iKj\UddlZddlZddlZddlmZmZmZmZddlm Z ddl m Z m Z ddl mZmZmZmZmZmZmZmZddlmZmZmZmZmZddlmZddl m!Z!m"Z"m#Z#m$Z$dd l%m&Z&m'Z'dd l(m)Z)m*Z*m+Z+m,Z,dd l-m.Z.m/Z/dd l0m1Z1dd l2m3Z3m4Z4m5Z5m6Z6ddl7m8Z8m9Z9ddl:m;Z;me?e@eAdZBeCe"eDfeEd<deFe=deFeGe=e=ffdZHdejddde=de=de=de9eee=fdZJdejddde=de=de=de9e1fdZKej dRde8de=dzde=dzdeCe=e>ffdZMejdddddd d!ZNejddd"de8d#e dzd$eAdzd%eAdzdeCe@e=ff d&ZOejdddd'de8d$eAdzd%eAdzd(eAde f d)ZPejdddd'de8d$eAdzd%eAdzd(eAde f d*ZQejdddd+d,ZRejdd-de8d(eAde fd.ZSdSdd-d/ZTdSdd-d0ZUd1e d2e"d3e ddfd4ZVdRdd5d6ZWej ejfd7d8d9ZYdTd:ZZdeeGe"eCe@effd;Z[de=d?eGeDe\d@fdeFe fdAZ]edBCdDdEeDe+dFe9eCe@e fd?eGeDe\d@fdGeddf dHZ^GdIdJZ_ddKdd7ejeaejeDjejzdLdEeDe+dMeCe@e9e fdzd?eeDe\dNedzdOeAdPe9e ddfdQZcy)UN)Callable CollectionIterableSequence)Random)Anycast) HealthCheckPhase Verbosityassumefindnotesettings strategies)BackendCannotProceed FlakyFailureFound NoSuchExampleStopTest)batched)ChoiceT ChoiceTypeT choice_equalchoice_permitted)ConjectureDataStatus)COLLECTION_DEFAULT_MAX_SIZEHypothesisProviderPrimitiveProviderwith_register_backend)SMALLEST_SUBNORMALsign_aware_lte) IntervalSet)RuleBasedStateMachine initialize preconditionrule)DrawFnSearchStrategy)OneCharStringStrategy TextStrategy)integerfloatbytesstringboolean _PYTHON_TYPES intervalsreturncvt|dzr|dd}|jtt|ddS)NT)strict)lensortlistr)r3s x/home/oem/CyberBrain26-unified/.venv/lib/python3.12/site-packages/hypothesis/internal/conjecture/provider_conformance.pybuild_intervalsr=@s7 9~crN  NN  1T2 33 min_codepoint max_codepointmin_sizer@rArBctjtj||d|dzjtjt S)NTr6)uniquerB)stlistsintegersmapsortedr=r?s r<interval_listsrJGsB  KK } 5\ V _ r>cNtjtt|||S)Nr?)rEbuildsr$rJr?s r<r3r3Us' 99'}x  r>draw min_value max_valuec |tjtj||tjdddd}t t |j dk7|tjdd}|t |j z }|jDcic] \}}|||z }}}t dt |j cxkxr dk|Sc|Scc}}w)N)rNrOgMbP?rBmax_sizerg+?)rE dictionariesrGfloatsr sumvaluesitems)rMrNrOweightstargetfactorkvs r<integer_weightsr_`s   KK)y A IIeQ   G 3w~~ A %& "))E5) *F c'..*+ +F)09Aq!f*}9G9 5C() 2U 23 N 33 N:s9DF) use_min_value use_max_valueuse_shrink_towards use_weights use_forcedcd}d}d}d} ||tj}||tj}|tj}| |r|r|tjnd}|r|tj}|r|tjnd} |rc|sJ|sJ|tj| }| t|| n|} |tj| }|t ||} n|r|tj| }|rg} || j || | j | | r t| nd} |tj| }| 5|tj jjdr| }| t| |z jdk|||| | dS)NrF)rOrN?)rNrOshrink_towardsrZforced) rEbooleansrGmaxr_appenddataconjecture_data draw_booleanr bit_length) rMr`rarbrcrdrNrOrirZrjmin_valmin_valss r<integer_constraintsrtxsIINGR[[]+ R[[]+ bkkm,$1mD % bkkm,$.T"++- DF}}v67 ,2,>#i(Iw78 y)<= R[[6:;I H$ *!''/c(mTGR[[7;) use_min_size use_max_sizerjrurvc d}t}d}||tj}||tj}|r3|tjd|t t ||n|}|r{||nt |t |}|tj|}|t ||dz}|tjjjdr|}||dS)Nr2rfdrgrS) rrErkrGminr9rlrnrorp)rMrjrurvrBrTcaplowers r<_collection_constraintsr}sH*H CBKKM* BKKM*  KKF4F3s6{C0C P "NHc&k0J e45 >8X^4H  ? * * 7 7 =H h 77r>)rurvrdrdc|t}|r|tt|nd}|t|||}t |dk(rd|d<||d|S)NrjrurvrrB)r3rj)r3r,r+r}r9)rMrurvrd interval_setrj constraintss r<string_constraintsrsq $LCM\/ = >?SW  < K <A"# J% G; GGr>cr|r|tjnd}|t|||}d|i|S)Nrrj)rEbinaryr})rMrurvrdrjrs r<bytes_constraintsrsC#-T"))+ $F < K f , ,,r>)r`rardc &||tj}||tj}|r|tjnd}|rtj|s|nd}tj }tj }t }|rtj|rdn|tj} |r|tj|d}|r2||} nt||r|n|} |tj| d}tt|t|} ||dk7r t| |} | dkDr(|tjdt| dd}t||sJ|||| |d S) NTF)rO allow_nan)rNrr?)rNrO exclude_min)rNrOrjrsmallest_nonzero_magnitude) rErkrVmathisnaninfr"r#rlabsrz) rMr`rardrjpivotrNrOrrrrlargest_magnitudes r<float_constraintsrsiR[[]+ R[[]+ ",T"))+ $F!$**V*rdc|r|tjnd}tjdd|du|du}||tjddgz}||}||dS) NrrQTF)r exclude_maxrr)prj)rErkrV sampled_from)rMrdrj p_strategyrs r<boolean_constraintsrLsj$.T"++- DF 1&D.foJ~boosCj11  ZAf %%r>ctttttd|}|i}|di|j |id|iS)Nr1r-r.r/r0rd)rrtrrrget) choice_typestrategy_constraintsrdstrategys r<constraints_strategyr\sQ&&""$   H#!  W*..{B? WJ WWr>cLgd}tjfd|DS)Nrc 3K|]9}tjtj|t|;yw)rN)rEtuplesjustr).0namerrds r< z+choice_types_constraints..ks<  GGDM '; S s?A)rEone_of)rrdoptionss`` r<choice_types_constraintsris(!SG 99   r>choicerrc  t|}t||s0Jd|d|jd|dt|j|dk(rt|tr Jd|t t t||sJd|d|d |y) Nz expected z draw to return a z, got z of type r-z1expected integer draw to return an int, got bool drew  z' which is not permitted by constraints )r2 isinstance__name__typeboolrr r)rrr expected_types r<_assert_conformingrts!+.M fm , K= 2=3I3I2JKj $v,"7"7!8 : ,i D  J >vj I J  D&1; ?  }AfZ("m % ?r>rZc|||ddS)Nr)rNrOrZrir)rNrOrZs r<_integer_constrrs  r>Trc|||tdS)N)rNrOrr)r")rNrOrs r< _float_constrrs&8  r>c ||dS)NrSrrSs r<_collection_constrrs  h 77r>c dddiddfdddiddfdtd d fdtd d fd td dfd td dfd tdddd dfd tdddd dfg}tddD]V}|jdtddt ||fdf|jdtddddi|d|fdfXtdd D]-}|jdtdd!t ||fd"f/d#D]-}|jdtd$d%t ||fd&f/d't j d(it}|d)|d*d+fd)|d,d-fd)|d.d/fd)|d0d1fd)d't d2itd3d4fd5td6d7fd5td8d9fd5td:d;fgz }|S)z$_findability_cases..s !t)r>Falsec |duSNFrrs r<rz$_findability_cases..s 1:r>r-za negative valuec |dkSNrrrs r<rz$_findability_cases.. QUr>za positive valuec |dkDSrrrs r<rz$_findability_cases..rr>r.c |dkSrrrs r<rz$_findability_cases.. Qr>c |dkDSrrrs r<rz$_findability_cases..rr>g$g$@Frc |dkSrrrs r<rz$_findability_cases.. a!er>c |dkDSrrrs r<rz$_findability_cases..rr>c ||k(SNrr^ts r<rz$_findability_cases.. QRVWQWr>rrgrz (with weights)c ||k(Srrrs r<rz$_findability_cases.. AFr>ic ||k(Srrrs r<rz$_findability_cases..rr>) rrc ||k(Srrrs r<rz$_findability_cases..rr>r3abr0zthe empty stringc |dk(SNrrs r<rz$_findability_cases..s Rr>za string containing "a"c d|vS)Narrs r<rz$_findability_cases.. saxr>za string containing "b"c d|vS)Nbrrs r<rz$_findability_cases..rr>za string of length >= 2ct|dk\S)Nr6)r9rs r<rz$_findability_cases..ss1vQR{r>rz)the empty string (from an empty alphabet)c |dk(Srrrs r<rz$_findability_cases..s a2gr>r/z empty bytesc |dk(SNr>rrs r<rz$_findability_cases..s cr>znonempty bytesc |dk7Srrrs r<rz$_findability_cases..s AHr>z a byte >= 128c&td|DS)Nc3&K|] }|dk\ yw)rhNr)rrs r<rz7_findability_cases....s.q!s(.sanyrs r<rz$_findability_cases..sc.A..r>)rrrangermstrr$ from_stringr)casesr[ string_constrs r<_findability_casesrsW S#J(;< S#J)=> O%'9?K O%'9?K -/#5G -/#5G  % 7      % 7    <E(A,   A.F =W X   A4y9(/*"*    R.  R(F "*      2.F =W X  !+"9"9$"?XCUCWXM ="46GH =";=OP =";=OP =";=RS  +b/ B-?-A B 7   $& 7IJ $&(8:LM    .  E( Lr>providerrnn_drawscontext_manager_exceptions.c g}|j} |jd} t|D]&} |j t |d|di|( ||jdddn&|jt|||jtg|} g} |D]"} | j |j| $ | S#t$rgcYSwxYw#t $r(} || j|jk7r| }Yd} ~ d} ~ wt$r } | }Yd} ~ d} ~ w|$r } | }Yd} ~ d} ~ wwxYw#t$rYwxYw#| $rY| SwxYw)Ndraw_r) per_test_case_context_manager __enter__rrrmgetattrr testcounter__exit__r __traceback__realize)rrnrrrrrXcm exception_erealize_exceptionsrealizedvalues r<_run_one_test_caser s{F  / / 1B I w SA MMB'(eK=,ABQ[Q R S   KKdD ) KKYI4K4K L ; #;H  5E OOH,,U3 4 5 OE    <1==D,<,<<   %        O sdC4C!.drawn_values#s    +C-A(BCHtBKK2./0 AD  K/%!$r{{1i'@"AB% $%9 :  == MM" Q!23/I   & r> hypothesis)backenddatabasephases verbositydeadlinec0tfd|DS)Nc3JK|]}t|xr|ywr)r)rr^r predicates r<rz<_run_findability_tests..condition..Ms$Uz!]3D ! DUs #r)rXrr"s ``r< conditionz)_run_findability_tests..conditionLsUfUU Ur>)rz* rz, from c3<K|]}t|tywr)rr)rsubs r<rz)_run_findability_tests..ZsF#z#u-FszK could not generate the following values, no matter what input we gave it:  )rE compositeSettingsr generater quietrr2rrrmrall exceptionsrjoin) rrrr rmissingrr descriptionr"rr#rs ``` r<_run_findability_testsr0s,\\4// MGN)r __module__ __qualname____doc__r9rr>r<r2r2cs  r>r2r)rrrcheck_findability_realize_objectsrrr=r>c  ttg tj|xsiGfddt}t d|5t |tjgdG fddt}|jjddd|rtyy#1swYxYw)a Test that the given ``Provider`` class conforms to the |PrimitiveProvider| interface. For instance, this tests that ``Provider`` does not return out of bounds choices from any of the ``draw_*`` methods, or violate other invariants which Hypothesis depends on. It also checks that the provider is able to generate a range of representative values for each choice type; for example, a provider whose ``draw_integer`` can never return a negative integer is not conformant. This function is intended to be called at test-time, not at runtime. It is provided by Hypothesis to make it easy for third-party backend authors to test their provider. Backend authors wishing to test their provider should include a test similar to the following in their test suite: .. code-block:: python from hypothesis.internal.conjecture.provider_conformance import run_conformance_test def test_conformance(): run_conformance_test(MyProvider) If your provider takes required arguments in ``__init__`` besides the standard ``conjecturedata`` argument, pass ``provider_kw`` as a dictionary mapping each argument name to a strategy for values of that argument. For instance, ``BytestringProvider`` is tested with ``provider_kw={"bytestring": st.binary()}``. If your provider can raise control flow exceptions inside one of the five ``draw_*`` methods that are handled by your provider's ``per_test_case_context_manager``, pass a list of these exceptions types to ``context_manager_exceptions``. Otherwise, ``run_conformance_test`` will treat those exceptions as fatal errors. A provider may also raise ``StopTest`` by calling ``mark_overrun`` or ``mark_invalid`` on its own ``ConjectureData`` instance, for example if it has run out of entropy; this is always treated as expected control flow which ends the test case. Successive test cases in one run of the conformance state machine make the same sequence of provider calls, up to control flow which branches on previously-drawn values - mirroring the determinism of a real test function. Providers may rely on this, as e.g. hypothesis-crosshair does. Pass ``check_findability=False`` to disable checking that the provider can generate representative values. This is intended for unusual providers for which searching over instantiations is not meaningful, such as symbolic providers; most providers should leave it enabled. c(eZdZWjZy)7run_conformance_test..CopiesRealizationProviderN)rr:r;avoid_realization)rsr<CopiesRealizationProviderrAs$66r>rCcopies_realization)suppress_health_checkrceZdZeej WdZfdZdZdZ fdZ d1dd d Z d Z fd Z fd ZedeedZedeedZedeedZedeedZedeedZedeej6dZedeej:dZeded Zed!eej Wd"Z ed#eW$d%Z!ed&eejDej:ej6zejFzejHzejJz'd(Z&ed)ed*Z'ed+eejPd,d-g.d/Z)d0Z*y)25run_conformance_test..ProviderConformanceTest)rkwcpd|_d|_d|_t|_|j ||yr)rrn _exhaustedr2_tree_start_test_caser8rrHs r<setupz;run_conformance_test..ProviderConformanceTest.setups1 $   "',. %%fb1r>c&jdk(r?t|||_|jj|_|j n)|jdi||_|j d|_t j|_g|_ d|_ |j|_ |jj|_d|_ |jj!d|_y#t"$r d|_YywxYw)NrrrTFr)rrrnr_instrument_draws _nested_drawsrr _draw_budget_drawn _span_depthrK_nodercontext_managerfrozenrrrJ)r8rrHrs r<rLzFrun_conformance_test..ProviderConformanceTest._start_test_cases$$ 3 .%b!DI%)II$6$6DM**,]]*%-$8R$8DM**,%&"$(HH!  #$ !ZZ '+}}'R'R'T$" ((224$ ,'+DO sC==DDctD]=}tjd|}|dfd }tjd||?y)Nr)_innercxjdz c_jjksJdjd||i|S)NrQzmade zo nested draws during a single top-level draw, which strongly suggests an unbounded drawing loop in the provider)rQrR)rYargskwargsr8s r<wrappedzXrun_conformance_test..ProviderConformanceTest._instrument_draws..wrappedsa**a/*#11T5F5FF#D$6$6#78EEF &t6v66r>)r2rrsetattr)r8rinnerr]s` r<rPzGrun_conformance_test..ProviderConformanceTest._instrument_drawssL * DD#DMMU4&>BE.37DMMU4&>7C Dr>c |j|y#t$r%}|js|j|dd}~wwxYw)NFexpected)_perform BaseExceptionrW_end_test_case)r8 requestedrs r<_stepz;run_conformance_test..ProviderConformanceTest._stepsBMM),$;;++A+> s A =Ac|j}|j(|ddk(r|\}}}t|}|d=d||f}||_|jd}|dk(r|jy|dvr|dk(r>|xjdz c_|j j |jdn=|xjdzc_|j j|jd|jt|_|j|_y|dk(sJ|j|jdd}|jry jr-|jt|_|j|_y|jD]}t||ds|d|_y|tf}|jj||d|_y)NrrMrjfreeze) span_startspan_endrjrQ)rUr4dictrerTrrjrkr5r2_drawrWrBr6rrm) r8rfnoderrrkindrbranchrs r<rcz>run_conformance_test..ProviderConformanceTest._perform s zz;;& |v-6?3; &*;&7 '1%+[+$F "+DK{{1~8#'')77|+((A-( 00Q@((A-( ..t{{1~>zz)%4%6 !%DJ6>)>'TZZQR9F{{11  ::-)8):DJ%)ZZ "&--#'q :)/DJ"#%o&78FMM((0!'DJr>NTracd|_|>|j|jjddd|j yt |t r|j t|jjt|||jx}}|s |r J|dyt |t tfs|s J|d|j|j y#t$rd\}}YbwxYw)NT)TFz[ was suppressed by per_test_case_context_manager, which would hide failing tests from userszW was in context_manager_exceptions, but escaped per_test_case_context_manager unhandled) rW _close_spansrVr_check_realized_drawsrrrrrr)r8rrbhandled swalloweds r<rezDrun_conformance_test..ProviderConformanceTest._end_test_case;s*" $%%'((11$dC..0i2%%' 5*.,,55 OY 8O8O+Gi  )$-(33=  ")h8L-MN"$-(JJ7%%'**,;,5*5&GY5s);C66DDc|jdkDrA|jjd|xjdzc_|jdkDr@yy)NrFrQ)rTrrkr7s r<rrzBrun_conformance_test..ProviderConformanceTest._close_spansosC&&*MM**51$$)$&&*r>c|jD]/\}}} |jj|}t|||1g|_y#$rYAwxYwr)rSrrr)r8rrrr rs r<rszKrun_conformance_test..ProviderConformanceTest._check_realized_drawstse9= K4FK!#'==#8#8#@'xkJ K ! .! !sAAAc4|jd}|dn t|}d|_|dvrdt|ddzdz|_nd|_t |j d|} |di|}j$rtd|dntd|d|j$s t'||||jd|k(sJd|j(j+|||f|S#t$r}|j#|j|jjk7r|jjsJd |jjtjtjfvsJtd |jjd |j!|Yd}~yd}~wt"$r&}td |j!|Yd}~yd}~w $r)}td ||j!|Yd}~yd}~wwxYw)NrZr)r0r/rrTi'ryrz5raised StopTest without concluding its ConjectureDataz"provider concluded the test case ()zcaught BackendCannotProceedz0caught exception in context_manager_exceptions: rz rz)draw_integer mutated its weights argumentr)rrlrQrzrRrrrrnrrWstatusrOVERRUNINVALIDrrerrBrrSrm) r8rrrZweights_snapshot draw_funcrrrrs r<rmz;run_conformance_test..ProviderConformanceTest._draws%//)4+2?4W  %&""55)*C J0G,P(PSV(VD%(+D%#DMMU;-3HI  &55F.--5 [9:5 Qvj9:11'v{KHOOI.2BB?>?B ""FK#EF G  yy(AMMTYY=R=R,R ((ONO(99++/OOOO=dii>N>N=OqQR''*+ 67''*1 KA5QR''* s1)C22 H;B9F99 HG&&H.HHc|j SrrWr7s r<rz>run_conformance_test..ProviderConformanceTest. 4;;r>)rc,|jdd|fy)NrMr-rgr8rs r< draw_integerzBrun_conformance_test..ProviderConformanceTest.draw_integer FI{;c|j Srrr7s r<rz>run_conformance_test..ProviderConformanceTest.rr>c,|jdd|fy)NrMr.rrs r< draw_floatz@run_conformance_test..ProviderConformanceTest.draw_float FG[9:r>c|j Srrr7s r<rz>run_conformance_test..ProviderConformanceTest.rr>c,|jdd|fy)NrMr/rrs r< draw_bytesz@run_conformance_test..ProviderConformanceTest.draw_bytesrr>c|j Srrr7s r<rz>run_conformance_test..ProviderConformanceTest.rr>c,|jdd|fy)NrMr0rrs r< draw_stringzArun_conformance_test..ProviderConformanceTest.draw_strings FHk:;r>c|j Srrr7s r<rz>run_conformance_test..ProviderConformanceTest.rr>c,|jdd|fy)NrMr1rrs r<rpzBrun_conformance_test..ProviderConformanceTest.draw_booleanrr>c|j Srrr7s r<rz>run_conformance_test..ProviderConformanceTest.rr>)labelc*|jd|fy)Nrjr)r8rs r<rjz@run_conformance_test..ProviderConformanceTest.span_starts L%01r>c>|j xr|jdkDSr)rWrTr7s r<rz>run_conformance_test..ProviderConformanceTest.s4;;'O4;K;Ka;Or>)discardc*|jd|fy)Nrkr)r8rs r<rkz>run_conformance_test..ProviderConformanceTest.span_ends J01r>c|j Srrr7s r<rz>run_conformance_test..ProviderConformanceTest.rr>c&|jdy)Nrirr7s r<riz.ProviderConformanceTest.freezes ;'r>c8|jxr |j Sr)rWrJr7s r<rz>run_conformance_test..ProviderConformanceTest.st{{'J4??7Jr>c(|j||yr)rLrMs r<start_test_casezErun_conformance_test..ProviderConformanceTest.start_test_cases %%fb1r>c|jSrrr7s r<rz>run_conformance_test..ProviderConformanceTest. t{{r>)r c t||k( |jj|}||k(sJd|d|dy#t$rtdYFwxYw#t$rYywxYw)NFzrealize(z ) returned z0, but non-symbolic values must be returned as-is)r Exceptionrrr)r8r r s r<rz=run_conformance_test..ProviderConformanceTest.realizes"5E>*#}}44U;H 5(ui{8,?44(!"5M",s"AAAA A&%A&c|jSrrr7s r<rz>run_conformance_test..ProviderConformanceTest.rr>)choicescP|jjt|Jyr)rreplay_choicestuple)r8rs r<rzDrun_conformance_test..ProviderConformanceTest.replay_choicess#}}33E'NCKKKr>c|jSrrr7s r<rz>run_conformance_test..ProviderConformanceTest.rr>c|jj}t|tsJt j |yr)robserve_test_caserrljsondumps)r8 observationss r<rzGrun_conformance_test..ProviderConformanceTest.observe_test_cases2 $}}>>@ !,555 <(r>c|jSrrr7s r<rz>run_conformance_test..ProviderConformanceTest.rr> test_functionrrc|jj|}|D]M}t|tsJ|ddvsJt|dtsJt|dttfrMJy)Nrr)infoalerterrortitlecontent)robserve_information_messagesrrlr)r8rr observations r<rzRrun_conformance_test..ProviderConformanceTest.observe_information_messagess $}}II% J  $0KK%k4888&v.2LLLL%k'&:C@@@%k)&c.t|dsy|js^|jjH|j |jj|js|jjH|js|j dyy)NrWr)hasattrrWrUr4rgr7s r<teardownz>run_conformance_test..ProviderConformanceTest.teardownsmtX.++$***;*;*GJJtzz001++$***;*;*G{{JJ{+#r>r)+rr:r;r&rErandomsrNrLrPrgrcrerrrsrmr'r(rtrrrrrrrrrprGrjrkrkrirrrFrVtextrrrrrr)rr>rrrsr<ProviderConformanceTestrGs zrzz|0D E 2F 2 $< D& / +b2 -2 -h * !2 h6 7 13 4 =58 =6 7 /1 2 ;38 ;6 7 /1 2 ;38 ;6 7 02 3 <48 <6 7 13 4 =58 =6 7   & 2'8 2O P +"++- ( 2)Q 26 7 V (8 (J K *> ? 2@L 2 2 3 ( ) *4 &2 3  BKKM!bkkm$biik"bggi  biik " L4 L2 3 V )4 ) 2 3 ?2??O[+IJ K KL4 K ,r>rN) rrrEfixed_dictionariesrr!r(r too_slowr%TestCaserunTestr0) rrrrr=r>rCrrrs ` ` ` @@r<run_conformance_testrzsv"''A!B; #;001BC7$67 35N Of5  #.#7#7"8( ] ,] ,&;] ,  ] ,~ ((*224M f5P  *,F Q f5f5s AB>>C)NNr)rr)drrsyscollections.abcrrrrrrtypingrr rr r r r rrrr(rrEhypothesis.errorsrrrrrhypothesis.internal.compatr%hypothesis.internal.conjecture.choicerrrr#hypothesis.internal.conjecture.datarr(hypothesis.internal.conjecture.providersrrr r!hypothesis.internal.floatsr"r# hypothesis.internal.intervalsetsr$hypothesis.statefulr%r&r'r(hypothesis.strategiesr)r*'hypothesis.strategies._internal.stringsr+r,intr.r/rrr2rlr__annotations__r;rr= maxunicoderJr3r'r_rtr}rrrrrrrrrrrrrdr r0r2 from_typeobjectflatmaprrr>r<rs2 DD   / G J8UU8W   * tK%&4tCy4T%S/-B4CNNTU  .1 NQ HXc]+, CNNTU.1NQK HL  4Z;>: #u*.DDN !% $ !8 !8 $J!8+ !8 + !8  #s(^ !8!8H!% $ H H+H+ H  H  HH0!% $ - -+-+ -  -  --" 88v ? . #Y.l'C8 J$%J(c3h8J!&d=&93&> ?J  J  JZ4:>BD $" V|r||D199",,GGp $%p c>#../$6p !+4 +> ? p o p  p %S)p  p r>