iKj)XUddlZddlZddlZddlZddlZddlmZddlmZmZddl m Z ddl m Z ddlm Z ddlmZmZmZmZmZmZmZmZddlmZdd lmZdd lmZdd lmZmZdd l m!Z!m"Z"m#Z#m$Z$m%Z%m&Z&dd l'm(Z(ddl)m*Z*ddl+m,Z,m-Z-ddl.m/Z/m0Z0m1Z1ddl2m3Z3m4Z4m5Z5m6Z6m7Z7m8Z8ddl9m:Z:ddl;mm?Z?m@Z@mAZAer ddlBmCZCddl.mDZDedZEedZFeeGd<dZHe@eAde?ddd ZId!d"d#ZJeKeLeLeMd$zfeGd%<eNe#eNed&ffZOeeGd'<eNeNd(eNd(fZPeeGd)<ed*ZQeeOePfeGd+<eRd,d-Dcgc]}d|z c}eRd.d/Dcgc]}d0|z c}zeRd1d2Dcgc]}ej|c}zgd3zZTeTjeTDcgc]}|d4z  c}eTDcgc]}|d4z c}zeTjeTDcgc]}| c}eVd5eTDsJd6d7d8d9d:d;de je jd?d@dAdBdCdDgdEDcgc]}dF| z c}zdGDcgc]}e j|z c}zZYeYjeYDcgc]}| c}eVdHeYDsJhdIZZe/eeTeeYe5JeeeZKZ[e/eee5JeeKa\e]Z^e]e_eGdL<da`e_dzeGdM<dNe/fdOZaedPZbGdQdReZcGdSd$ejZeGdTdUeeZfeRdVDcgc] }d4|zd4z  c}ZgdWegd<GdXdYeeZhGdZd[e ZiGd\d]efZjycc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}w)^N)Iterable)AbstractContextManagercontextmanager)cached_property)Random) float_info) TYPE_CHECKINGAnyClassVarLiteralOptional TypeAlias TypedDictTypeVar) SortedSet)HypothesisWarning)LRUCache)WINDOWSint_from_bytes)ChoiceConstraintsTChoiceT ChoiceTypeTFloatConstraintschoice_constraints_keychoice_permitted) lex_to_float) bits_to_bytes)Samplermany) Constantsconstants_from_moduleis_local_module_file) SIGNALING_NANclamp float_to_intmake_float_clamper next_downnext_up) IntervalSet)InfoObservationTypeTestCaseObservation)LogStudentTDistributionPiecewiseDistributionUniformDistribution)ConjectureData) ConstantTT test_case test_function LifetimeTld( ) half_width ) scale_bitsdf)innerouter switchoverz;hypothesis.internal.conjecture.providers.HypothesisProviderz8hypothesis.internal.conjecture.providers.URandomProvider) hypothesiszhypothesis-urandomPrimitiveProviderAVAILABLE_PROVIDERS. CacheKeyT)r0. CacheValueTiCONSTANTS_CACHEB )i.l./?l*_Rl:CK"c#TK|] }dt|cxkxrddzknc"yw)iPr9rFN)abs).0ns m/home/oem/CyberBrain26-unified/.venv/lib/python3.12/site-packages/hypothesis/internal/conjecture/providers.py rRs% B6SV $q"u $ $ Bs&(?g?g?gffffff?gUUUUUU?gcAgh㈵>gc 8g6pGg@CgwJ?g9b->@gh_>g<)~g@)r9rIiic#<K|]}t|tywN) isinstancefloat)rOfs rQrRrRs :A:a  :s>;ȺȾ🏻😍กา🇺🇸👍🏻 ก ำกำæœÆŒffʤʨßमनीष منشa b c…d e f
g
h i(╯°□°）╯︵ ┻━┻)الكل في المجمو عة)ʇǝɯɐ ʇᴉs ɹolop ɯnsdᴉ ɯǝɹo˥-᚛ᚄᚓᚐᚋᚒᚄ ᚑᚄᚂᚑᚏᚅ᚜1lorem لا بسم الله ipsum 你好1234你好kपन्ह पन्ह त्र र्च कृकृ ड्ड न्हृे إلا بسم الله}Ṱ̺̺̕o͞ ̷i̲̬͇̪͙n̝̗͕v̟̜̘̦͟o̶̙̰̠kè͚̮̺̪̹̱̤ ̖t̝͕̳̣̻̪͞h̼͓̲̦̳̘̲e͇̣̰̦̬͎ ̢̼̻̱̘h͚͎͙̜̣̲ͅi̦̲̣̰̤v̻͍e̺̭̳̪̰-m̢iͅn̖̺̞̲̯̰d̵̼̟͙̩̼̘̳ ̞̥̱̳̭r̛̗̘e͙p͠r̼̞̻̭̗e̺̠̣͟s̘͇̳͍̝͉e͉̥̯̞̲͚̬͜ǹ̬͎͎̟̖͇̤t͍̬̤͓̼̭͘ͅi̪̱n͠g̴͉ ͏͉ͅc̬̟h͡a̫̻̯͘o̫̟̖͍̙̝͉s̗̦̲.̨̹͈̣𝐓𝐡𝐞 𝐪𝐮𝐢𝐜𝐤 𝐛𝐫𝐨𝐰𝐧 𝐟𝐨𝐱 𝐣𝐮𝐦𝐩𝐬 𝐨𝐯𝐞𝐫 𝐭𝐡𝐞 𝐥𝐚𝐳𝐲 𝐝𝐨𝐠𝑻𝒉𝒆 𝒒𝒖𝒊𝒄𝒌 𝒃𝒓𝒐𝒘𝒏 𝒇𝒐𝒙 𝒋𝒖𝒎𝒑𝒔 𝒐𝒗𝒆𝒓 𝒕𝒉𝒆 𝒍𝒂𝒛𝒚 𝒅𝒐𝒈𝓣𝓱𝓮 𝓺𝓾𝓲𝓬𝓴 𝓫𝓻𝓸𝔀𝓷 𝓯𝓸𝔁 𝓳𝓾𝓶𝓹𝓼 𝓸𝓿𝓮𝓻 𝓽𝓱𝓮 𝓵𝓪𝔃𝔂 𝓭𝓸𝓰𝕋𝕙𝕖 𝕢𝕦𝕚𝕔𝕜 𝕓𝕣𝕠𝕨𝕟 𝕗𝕠𝕩 𝕛𝕦𝕞𝕡𝕤 𝕠𝕧𝕖𝕣 𝕥𝕙𝕖 𝕝𝕒𝕫𝕪 𝕕𝕠𝕘𝕿𝖍𝖊 𝖖𝖚𝖎𝖈𝖐 𝖇𝖗𝖔𝖜𝖓 𝖋𝖔𝖝 𝖏𝖚𝖒𝖕𝖘 𝖔𝖛𝖊𝖗 𝖙𝖍𝖊 𝖑𝖆𝖟𝖞 𝖉𝖔𝖌Ω≈ç√∫˜µ≤≥÷åß∂ƒ©˙∆˚¬…æœ∑´®†¥¨ˆøπ“‘¡™£¢∞§¶•ªº–≠¸˛Ç◊ı˜Â¯˘¿ÅÍÎÏ˝ÓÔÒÚÆ☃Œ„´‰ˇÁ¨ˆØ∏”’`⁄€‹›fifl‡°·‚—±0/01/0+0.00..0 -Infinity ,./;'[]\-=<>?:"{}|_+!@#$%^&*()`~0ifINFInfNILNULNaNnilCOM1LPT1NULLNoneTRUETrueelsenonenullthentrue1e100FALSEFalsefalseInfinity__dict__ __proto__ undefined Scunthorpe999999999999999999999999999999)key)integersfloatsbytesstrings _seen_modules_sys_modules_lenreturnc\tjdk(rtStt}ttjx}t k7rt tjjDcgc]}t|tvr|}}t}|D]I}t|ddx} t|r|t|z}tjt|Kt|za|att|kDrtj j#tScc}w)N emscripten__file__)sysplatform_local_constantslenmodulesrlistvaluesidrr getattrr"r!addrDcacheclear)count_constantssys_modules_lenmodule new_modules new_constants module_files rQ_get_local_constantsrEs |||# *+O"s{{++0@@s{{1134 &z.   " ! *F&vz4@@ 2;?!6v!>>   bj )  * M)*  .##% / s4D)c#NK |t|<dt|=y#t|=wxYwwrZ)rA)name provider_clss rQwith_register_backendrs*&$0D!  %  %s% % "%c<eZdZUeed<eed<eeeefzed<y)_BackendInfoMsgtypetitlecontentN)__name__ __module__ __qualname__r*__annotations__strdictr rQrrs  J 4S> !!rrc zeZdZUdZdZeeed<dZee ed<dZ ee ed<de dd d fd Z e j d0d ed e fd Ze j d1d ddded zded zdeeefd zded ef dZe jej* ej*dddedede ded ef dZe jdeddededed efdZe jdefdeded efdZd efd Zdd!d"ed#e d efd$Z d%e!e"d&fd d fd'Z#d eee$ffd(Z%ded e&e'fd)Z(d*e)d d fd+Z*d,ed d fd-Z+d.e d d fd/Z,y )2r@a |PrimitiveProvider| is the implementation interface of a :ref:`Hypothesis backend `. A |PrimitiveProvider| is required to implement the following five ``draw_*`` methods: * |PrimitiveProvider.draw_integer| * |PrimitiveProvider.draw_boolean| * |PrimitiveProvider.draw_float| * |PrimitiveProvider.draw_string| * |PrimitiveProvider.draw_bytes| Each strategy in Hypothesis generates values by drawing a series of choices from these five methods. By overriding them, a |PrimitiveProvider| can control the distribution of inputs generated by Hypothesis. For example, :pypi:`hypothesis-crosshair` implements a |PrimitiveProvider| which uses an SMT solver to generate inputs that uncover new branches. Once you implement a |PrimitiveProvider|, you can make it available for use through |AVAILABLE_PROVIDERS|. r4lifetimeFavoid_realizationadd_observability_callbackconjecturedatar/rNc||_yrZ)_cd)selfrs rQ__init__zPrimitiveProvider.__init__s !rpct)a Draw a boolean choice. Parameters ---------- p: float The probability of returning ``True``. Between 0 and 1 inclusive. Except for ``0`` and ``1``, the value of ``p`` is a hint provided by Hypothesis, and may be ignored by the backend. If ``0``, the provider must return ``False``. If ``1``, the provider must return ``True``. NotImplementedErrorrrs rQ draw_booleanzPrimitiveProvider.draw_booleans &"!rrweightsshrink_towards min_value max_valuerrct)a Draw an integer choice. Parameters ---------- min_value : int | None (Inclusive) lower bound on the integer value. If ``None``, there is no lower bound. max_value : int | None (Inclusive) upper bound on the integer value. If ``None``, there is no upper bound. weights: dict[int, float] | None Maps keys in the range [``min_value``, ``max_value``] to the probability of returning that key. shrink_towards: int The integer to shrink towards. This is not used during generation and can be ignored by backends. r)rrrrrs rQ draw_integerzPrimitiveProvider.draw_integers 6"!rTrr allow_nanrsmallest_nonzero_magnitudect)a Draw a float choice. Parameters ---------- min_value : float (Inclusive) lower bound on the float value. max_value : float (Inclusive) upper bound on the float value. allow_nan : bool If ``False``, it is invalid to return ``math.nan``. smallest_nonzero_magnitude : float The smallest allowed nonzero magnitude. ``draw_float`` should not return a float ``f`` if ``abs(f) < smallest_nonzero_magnitude``. r)rrrrrs rQ draw_floatzPrimitiveProvider.draw_floats 0"!rmin_sizemax_size intervalsrrct)aB Draw a string choice. Parameters ---------- intervals : IntervalSet The set of codepoints to sample from. min_size : int (Inclusive) lower bound on the string length. max_size : int (Inclusive) upper bound on the string length. r)rrrrs rQ draw_stringzPrimitiveProvider.draw_strings ("!rct)z Draw a bytes choice. Parameters ---------- min_size : int (Inclusive) lower bound on the bytes length. max_size : int (Inclusive) upper bound on the bytes length. r)rrrs rQ draw_byteszPrimitiveProvider.draw_bytes4s "!rc*tjS)a Returns a context manager which will be entered each time Hypothesis starts generating and executing one |test case|, and exited when that test case finishes generating and executing, including if any exception is thrown. In the lifecycle of a Hypothesis test, this is called before generating strategy values for each test case. This is just before any :ref:`custom executor ` is called. Even if not returning a custom context manager, |PrimitiveProvider| subclasses are welcome to override this method to know when Hypothesis starts and ends the execution of a single test case. ) contextlib nullcontextrs rQper_test_case_context_managerz/PrimitiveProvider.per_test_case_context_managerFs%%''r) for_failurevaluerc|S)a Called whenever hypothesis requires a concrete (non-symbolic) value from a potentially symbolic value. Hypothesis will not check that ``value`` is symbolic before calling ``realize``, so you should handle the case where ``value`` is non-symbolic. The returned value should be non-symbolic. If you cannot provide a value, raise |BackendCannotProceed| with a value of ``"discard_test_case"``. If ``for_failure`` is ``True``, the value is associated with a |failing test case|. In this case, the backend should spend substantially more effort when attempting to realize the value, since it is important to avoid discarding failing test cases. Backends may still raise |BackendCannotProceed| when ``for_failure`` is ``True``, if realization is truly impossible or if realization takes significantly longer than expected (say, 5 minutes). r)rrrs rQrealizezPrimitiveProvider.realizeWs " rchoices.cy)a Called when Hypothesis has a |choice sequence| which the provider may wish to enqueue to replay under its own instrumentation when we next ask to generate a |test case|, rather than generating one from scratch. The choice sequence may not correspond to the draws made by the current test, for example if it comes from a stale corpus, so providers must tolerate arbitrary choices of any type, in any order. This is used to e.g. warm-start :pypi:`hypothesis-crosshair` with a corpus of high-code-coverage inputs discovered by `HypoFuzz `_. Nr)rrs rQreplay_choicesz PrimitiveProvider.replay_choicesjsrciS)aCalled at the end of the |test case| when :ref:`observability ` is enabled. The return value should be a non-symbolic json-encodable dictionary, and will be included in observations as ``observation["metadata"]["backend"]``. rrs rQobserve_test_casez#PrimitiveProvider.observe_test_casezs  rc#0K|dvsJgEd{y7w)aNCalled at the end of each |test case| and again at end of the test function. Return an iterable of ``{type: info/alert/error, title: str, content: str | dict}`` dictionaries to be delivered as individual information messages. Hypothesis adds the ``run_start`` timestamp and ``property`` name for you. r2Nr)rrs rQobserve_information_messagesz.PrimitiveProvider.observe_information_messagess9999 s  observationcy)a Called at the end of each |test case| which uses this provider, with the same ``observation["type"] == "test_case"`` observation that is passed to other callbacks added via |add_observability_callback|. This method is not called with ``observation["type"] in {"info", "alert", "error"}`` observations. .. important:: For |PrimitiveProvider.on_observation| to be called by Hypothesis, |PrimitiveProvider.add_observability_callback| must be set to ``True``. |PrimitiveProvider.on_observation| is explicitly opt-in, as enabling observability might increase runtime or memory usage. Calls to this method are guaranteed to alternate with calls to |PrimitiveProvider.per_test_case_context_manager|. For example: .. code-block:: python # test function starts per_test_case_context_manager() on_observation() per_test_case_context_manager() on_observation() ... # test function ends Note that |PrimitiveProvider.on_observation| will not be called for test cases which did not use this provider during generation, for example during |Phase.reuse| or |Phase.shrink|, or because Hypothesis switched to the standard Hypothesis backend after this backend raised too many |BackendCannotProceed| exceptions. Nr)rrs rQon_observationz PrimitiveProvider.on_observationrlabelcy)a Marks the beginning of a semantically meaningful span of choices. Spans are a depth-first tree structure. A span is opened by a call to |PrimitiveProvider.span_start|, and a call to |PrimitiveProvider.span_end| closes the most recently opened span. So the following sequence of calls: .. code-block:: python span_start(label=1) n1 = draw_integer() span_start(label=2) b1 = draw_boolean() n2 = draw_integer() span_end() f1 = draw_float() span_end() produces the following two spans of choices: .. code-block:: 1: [n1, b1, n2, f1] 2: [b1, n2] Hypothesis uses spans to denote "semantically meaningful" sequences of choices. For instance, Hypothesis opens a span for the sequence of choices made while drawing from each strategy. Not every span corresponds to a strategy; the generation of e.g. each element in |st.lists| is also marked with a span, among others. ``label`` is an opaque integer, which has no defined semantics. The only guarantee made by Hypothesis is that all spans with the same "meaning" will share the same ``label``. So all spans from the same strategy will share the same label, as will e.g. the spans for |st.lists| elements. Providers can track calls to |PrimitiveProvider.span_start| and |PrimitiveProvider.span_end| to learn something about the semantics of the test's |choice sequence|. For instance, a provider could track the depth of the span tree, or the number of unique labels, which says something about the complexity of the choices being generated. Or a provider could track the span tree across |test cases| in order to determine what strategies are being used in what contexts. It is possible for Hypothesis to start and immediately stop a span, without calling a ``draw_*`` method in between. These spans contain zero choices. Hypothesis will always balance the number of calls to |PrimitiveProvider.span_start| and |PrimitiveProvider.span_end|. A call to |PrimitiveProvider.span_start| will always be followed by a call to |PrimitiveProvider.span_end| before the end of the test case. |PrimitiveProvider.span_start| is called from ``ConjectureData.start_span()`` internally. Nr)rrs rQ span_startzPrimitiveProvider.span_startrrdiscardcy)aMarks the end of a semantically meaningful span of choices. ``discard`` is ``True`` when the draw was filtered out or otherwise marked as unlikely to contribute to the input data as seen by the user's test. Note however that side effects can make this determination unsound. |PrimitiveProvider.span_end| is called from ``ConjectureData.stop_span()`` internally. Nr)rrs rQspan_endzPrimitiveProvider.span_endrrrSNN)-rrr__doc__rr r5rrboolrr rabcabstractmethodr\rintrrmathinfrCOLLECTION_DEFAULT_MAX_SIZEr)rrrrrrr1rtuplerrr rrrrr+rrrrrrQr@r@sP%4Hhy!3).x~-276"x0@'A"" " " ""( !% $" ,0 ":":" c5j!D( "  " ""8 !HH988 "" "  " %* " ""2  3 "" "  " ""* 3"""  """(/E("8=Q&eGSL&9d 4S> $  / " " *=" $" H8 8 48 t    D  rc reZdZdZdedffd ZedZddded e d e d ed fd Z d$d e d e fdZ d%ddddedzdedzdeee fdzded ef dZdedzdedzd efdZej& ej&ddde de de de d e f dZdeddeded ed efd!Zdefded ed efd"Zd e fd#ZxZS)&HypothesisProviderr3rr/ct|||jd|_y|jj|_yrZ)superrr_randomrr __class__s rQrzHypothesisProvider.__init__s0 (#xx/t TXX5E5E rctSrZ)rrs rQrz#HypothesisProvider._local_constantss $%%r皙?r choice_type constraintsrrr0c|jJ|dk7sJ|jj|kDry|jJ|t|f}|tvr[t fdt j|Dt fd|jj|Dft|<t|\}}|r|gng|r|gngz}|sy|jj|}|jj|S)Nbooleanc3:K|]}t|r|ywrZrrOchoicers rQrRz:HypothesisProvider._maybe_draw_constant..#' <c3:K|]}t|r|ywrZrr s rQrRz:HypothesisProvider._maybe_draw_constant..r"r#) rrandomrrrDrGLOBAL_CONSTANTS set_for_typer!) rrrrrglobal_constantslocal_constantsconstants_lists constantss ` rQ_maybe_draw_constantz'HypothesisProvider._maybe_draw_constants ||'''i''' <<   1 $$$0002; LM o %"2"?"? "L "&"7"7"D"D["Q $OC -W^^-=>G ..*Cax;;IyQQ=q) )33IyIIrc|jJt}|| ddz }ddz}n@|!|Jtddzdt|z }n|tddzdt|z}d}d}d} |dz }|dz}|j |}|j |}||z dkrd} |rw||jj ||z zzx} d vr) ||jj ||z zzx} d vr)t|j| } t|| |S|jj||S#t $rd}YwxYw) Nr9rTg?TrSgvIh%<=F>rrL) rINTEGERS_DISTRIBUTIONmaxrNcdf OverflowErrorr%round inverse_cdfr$randint) rrrdistlohi safe_boundscdf_mincdf_maxrrPs rQr3z2HypothesisProvider._draw_integer_from_distributionts||'''$  !2S& I3I  ( ((QVQY%788I  AsFAI$67I    $#oG#oG'"B'"BBw# T\\002b2g>>>16IT\\002b2g>>>16Id&&q)*AAy1 1 ||##Iy99G K s, D88 EETrrrc|jJ||||d}|jd|dx} t|tsJ|Sddtj tj tj tj tt |t||dz|dz t||fDcgc]}t||r|}}|r8|jjdkr|jj|St|||| } |j} |rt j| r| } n| | } t!| t!| k7rt j| r|s| } | Scc}w) N)rrrrr\g333333?rrTgrLrrr)rr,r[r\r r nanr#r(r'rr%r!r& _draw_floatisnanr%) rrrrrrr4r] weird_floatsclamperresultclampeds rQrzHypothesisProvider.draw_floats||'''#""*D ) 11';$1O OH h. ..O   "A A )$   ;/#   * DLL//1D8<<&&|4 4$  'A  !!# F+GfoG  L$8 8 JJv 9F Q s.E2rrrrc|jJ|jJt|dk(ry|jd|||dx} t |t sJ|St t|dz|dzd||zz}g}t|j|||d 5}|D]}t|d kDrW|jd r)|jjd t|d z } nE|jjdd } n(|jjdt|d z } |j|j|  ddddj|S#1swYxYw)Nrstring)rrrr9rGrSFrr average_sizer0r6g?rL)rrrr,r[rminr:rrr?appendchar_in_shrink_orderjoin) rrrrr4rScharselements_is rQrzHypothesisProvider.draw_stringsxx###||''' y>Q 11'X8T H   h, ,,O 1 hl + 8h& '   HH%   @  @y>C'((- LL00c)nq6HI LL00C8 ,,QI0BCA Y;;A>? @ @$wwu~% @ @s B5E&&E/c|jJ|jJ|jd||dx} t|tsJ|St }t t|dz|dzd||zz}t|j|||d5}|D] }||jjdz }" dddt |S#1swYt |SxYw) Nrrr9rGrSFrRrL) rrr,r[r bytearrayrUr:r randbytes)rrrr4bufrSrZr[s rQrzHypothesisProvider.draw_bytes+s xx###||'''11hHE H   h. ..Ok 1 hl + 8h& '  HH%   1  1t||--a00 1 1Sz 1Szs &C  Cc|jJt|jjd}|jjdrdnd}||zS)N@rL)rr getrandbits)rr]signs rQrIzHypothesisProvider._draw_floatLsL||''' 11"5 6LL,,Q/qRaxrrr)rrrrr rrrrrr\r,rrr rrr3r r rrr)rrrrrI __classcell__rs@rQrrsHFx0@'AF&& /. /.(/.  /. +  /.f )  )  )!% $/J ,0 /J:/J:/J c5j!D( /J  /J /JbC:tC:03d C: C:P!HH988 @@ @  @ %* @ @L3 .. .  . .d3  BUrrrTc "eZdZdZdeddeffd ZdZ ddede fd Z dd d d d e d zde d zde e efd zde de f dZ ej ejddd edede dedef dZdZd eddede de defdZd efde de defdZxZS) BytestringProviderr3rr/ bytestringc^t||||_d|_t |_y)Nr)rrrkindexr^drawn)rrrkrs rQrzBytestringProvider.__init__]s) ($ [ rc|dk(ryt|}|j|zt|jkDr|jj t |j|j|j|z}|xj|z c_|dxxt|dzzcc<t|}|xj|z c_ t|SNrrh) rrmrrkr mark_overrunr^ BYTE_MASKSrrnr)rrPn_bytesr`s rQ _draw_bitszBytestringProvider._draw_bitses 6" :: #doo"6 6 HH ! ! # TZZ'5IJK g  A*QU##Cj c c""rrrc|dkry|dk\ryd}d|z}tdtj|d|z z|dz }|j|}||k\S)NrFrLTrhr9)r$r floorrt)rrbitssizefalseyrPs rQrzBytestringProvider.draw_booleansse 6 6 $wq$**TQU^4dQh? OOD !F{rNrrrrrrc|jJ||ddz }ddzdz }n| |J|dz }n | |J|dz}||k(r|S||z j}||j|z}||kDr||j|z}||kDr|S)Nr9rLl)r bit_lengthrt)rrrrrrwrs rQrzBytestringProvider.draw_integersxx###  !2S& I3 I  ( ((!E)I  ( ((!E)I  ! I%113DOOD11i 55Ei rTrrrc|jd}|dz rdnd}|t|dzz}t||||}||S)NArbrcrLlrG)rtrr&) rrrrrrPrer]rLs rQrzBytestringProvider.draw_floatsU OOB "Wr! <] 34 4$  'A   qzrc |dk(rgStt|dz|dzd||zz}t|j|||d5}|Dcgc]}|j d|dz c}cdddScc}w#1swYyxYw)Nrr9rGrSFrRrL)rUr:rrr)rrr alphabet_sizerSrZr[s rQ_draw_collectionz#BytestringProvider._draw_collections A I 1 hl + 8h& '  HH%   O EMND%%a):;N O OO O OsA6 A1%A61A66A?rrrrcr|j||t}djfd|DS)NrrPc3:K|]}t|ywrZ)chr)rOvrs rQrRz1BytestringProvider.draw_string..s9Qs9Q<(9r#)rrrX)rrrrrs ` rQrzBytestringProvider.draw_strings5&&xY&Xww9&999rc@|j||d}t|S)Nr6r)rr)rrrrs rQrzBytestringProvider.draw_bytess% &&x&NV}rrr)rrrrr rrrtr\rrr rrr r rrrr)rrrrfrgs@rQrjrjZsSH!&'78!LQ! #   ,!% $ ,0 :: c5j!D(    F!HH988     %*  &O*3 :: :  : :3  rrjcBeZdZededefdZdedefdZdefdZ y)URandomrxrcltddd5}|j|cdddS#1swYyxYw)Nz /dev/urandomrbr) buffering)openread)rxr]s rQ_urandomzURandom._urandoms2.$! 4 66$<   s*3kcp|dk\sJt|}t|j|}||dz|z z Srp)rrr)rrrxrPs rQrdzURandom.getrandbitss=Av vQ 4==. /TAX\""rcBt|jddz dzS)Ng<)rrrs rQr%zURandom.randoms t}}Q/0A5&AArN) rrr staticmethodr rrrdr\r%rrrQrrsE s u  #S#S#BBrrc*eZdZdedffd ZxZS)URandomProviderrr/ct||trtjdt dyt |_y)Nzx/dev/urandom is not available on windows. Falling back to standard PRNG generation (equivalent to backend="hypothesis").rL) stacklevel)rrrwarningswarnrrrrs rQrzURandomProvider.__init__s6 (  MMQ!  #9DLr)rrrr rrfrgs@rQrrs %x0@'A % %rr)kr rr rrcollections.abcrrr functoolsrr%rrtypingr r r r r rrrsortedcontainersrhypothesis.errorsrhypothesis.internal.cacherhypothesis.internal.compatrr%hypothesis.internal.conjecture.choicerrrrrr%hypothesis.internal.conjecture.floatsr)hypothesis.internal.conjecture.junkdrawerr$hypothesis.internal.conjecture.utilsrr!hypothesis.internal.constants_astr r!r"hypothesis.internal.floatsr#r$r%r&r'r( hypothesis.internal.intervalsetsr)!hypothesis.internal.observabilityr*r+hypothesis.internal.statisticsr,r-r.#hypothesis.internal.conjecture.datar/r0r1r5rrr9rArrrrrBrCrDrange factorial_constants_integersextendallrUr:_constant_floats_constant_stringsr&rsetrr rrrrABCr@rrrrjrr)rPxs00rQrs'  $=%   '/.>?C 9V B; CL;< 9<$.  - !RA 6dPTCT#sT*=%>>>? [%S/9: 9:u%56>N8OOP YP4