iKj1 ddlmZddlmZmZ dZdZedz ez ZdedefdZ ed e e edze Z ed dge e zZee D] \ZZeee< [[dedefd Zdedefd Zd edefdZeeee dZdedefdZdZdededefdZdededefdZdedefdZdedefdZdedefdZdedefdZy) )array) float_to_int int_to_floatiereturncT|tk(r tdS|tz }|dkrd|z S|S)Ninfri') MAX_EXPONENTfloatBIAS)runbiaseds j/home/oem/CyberBrain26-unified/.venv/lib/python3.12/site-packages/hypothesis/internal/conjecture/floats.py exponent_keyrRs4LU|4xH!|xH)keyc<d|cxkr tksJJt|S)zTake an integer and turn it into a suitable floating point exponent such that lexicographically simpler leads to simpler floats.r)r ENCODING_TABLErs rdecode_exponentre(  !\ !! !! ! ! rc<d|cxkr tksJJt|S)z_Take a floating point exponent and turn it back into the equivalent result from conjecture.r)r DECODING_TABLErs rencode_exponentrlrrbcNd}tdD]}|dz}||dzz}|dz}|S)Nrr)range)rresult_s r reverse_byter#ss@ F 1X1 !a% a MrvcZ|jdksJt|dz dzdzt|dz dzdzzt|dz dzdzzt|d z dzd zzt|d z dzd zzt|dz dzdzzt|dz dzdzzt|dz dzdzzS) aReverse a 64-bit integer bitwise. We do this by breaking it up into 8 bytes. The 64-bit integer is then the concatenation of each of these bytes. We reverse it by reversing each byte on its own using the REVERSE_BITS_TABLE above, and then concatenating the reversed bytes. In this case concatenating consists of shifting them into the right position for the word and then oring the bits together. @r8r0( ) bit_lengthREVERSE_BITS_TABLE)r%s r reverse64r1s <<>R   Q!VtO , 2 qAvo ." 4 6 qBw$. /2 5 7 qBw$. /2 5 7 qBw$. /2 5  7 qBw$. /2 5  7 qBw$. /1 4  6 qBw$. /1 4 6 rlxnch|j|cxkrdksJJt|}|d|z z}|S)Nr')r/r1)r2r3s r reverse_bitsr5s< <<>Q $" $$ $$ $! A"q&LA Hrunbiased_exponentmantissac~|dkrt|d}|S|dkr$d|z }|d|zdz z}||z}|t||z}|S)Nr43r)r5)r6r7n_fractional_bitsfractional_parts rupdate_mantissar=siA"- O b !22"q,='=&BCO#L2CDD Oric|jdksJ|dz }|rU|dz dz}t|}|tz}t|tz |}|jdksJt |dz|zS|dz}t |S)Nr'?r9rl)r/r MANTISSA_MASKr=rrr )r>has_fractional_partexponentr7 integral_parts r lex_to_floatrEs <<>R  r'G ."8,}$"8d?H=""$***X^x788]+ ]##rfcRt|r|dk\sJt|St|S)Nr) is_simpleintbase_float_to_lex)rFs r float_to_lexrKs(|Av v1v Q rct|}|dz}|dz }|tz}t|tz |}t |}|j dksJd|dzz|zS)Nlr9l)rrAr=rrr/)rFr>rCr7s rrJrJsmQAABwH= Hx$9Hx(H    B && & B '( 22rcv t|}||k7ry|jdkS#ttf$rYywxYw)NFr))rI ValueError OverflowErrorr/)rFr>s rrHrHsF F Av <<>R   &s &88N) rhypothesis.internal.floatsrrr rMAX_POSITIVE_EXPONENTrIr rsortedr rlenr enumerater>rrrr# bytearraymapr0r1rAr5r=rErKrJrHrrrXsA:z  $q(4/CEsF5)9#: MNsQC3~#66 n %DAqN1qssssCCs<s<=0  C C C scc$C$E$" E c  3 33 3  3 r