# This is an automatically generated file from Hypothesis's benchmarking
# script (scripts/benchmarks.py).
#
# Lines like this starting with a # are designed to be useful for human
# consumption when reviewing, specifically with a goal of producing
# useful diffs so that you can get a sense of the impact of a change.
#
# This benchmark is for sizedintlists [integers(min_value=0, max_value=10).flatmap(lambda n: st.lists(st.integers(), min_size=n, max_size=n))], with the validity
# condition "usually" and the interestingness condition "nontrivial".
# See the script for the exact definitions of these criteria.
#
# This benchmark was generated with seed 84
#
# Key statistics for this benchmark:
#
# * 1000 examples
# * Mean size: 3558.43 bytes, standard deviation: 2887.34 bytes
#
# Additional interesting statistics:
#
# * Ranging from 361 [3 times] to 25488 [once] bytes.
# * Median size: 2698
# * 99% of examples had at least 494 bytes
# * 99% of examples had at most 15758 bytes
#
# All data after this point is an opaque binary blob. You are not expected
# to understand it.

Data 3984: STARTPCOELGF3WISDTDSEP6S2ZZISRALR77JLNORU2CZLW63GH47PBM74RPFNIRS4KZMAATQHAOHYT47757W77756X3Z7736PKP56V3675ZLHX7P36IXM6TJVN5LTNX773S266VXUXW55M3PV5Y4V7WTNZ37PL743EX4YPZDK57TDUWK553ELWE3GZFZV4H65PXGXWVKWRQ5MPZZ3AYCX3PNM5VLLII7V3RTCNNQ7V267Z726S4OZ6KR5PNKCHMM5MD537LRMBIOTXSR2HHX62TNBGOJF5O3I37IK27MDXPF73VN4MZXBRHQEQOXEBLGJPDE5NKTXUVZZKWXXATLGIKYYTMX3HWBJOIU2VHG5WZS3BBPQOTYU26NUPAN2QWP44XQKZMZY47ZZ42J42K6LCMLKXEWNFVDSXD5MDW6V4V63T3D2PK4XXTKJWXNOENXWLQ2KVHW5BS23K4FNHE3YCPGUPFXGXEKXZPYHFAUCJ7NNXZRC67G6EDAW5SET3Q5M2VNORYBFKSZBWLRZGDIF2AE4RW6255C7I75WLV6AG32XWHHCAEIFBDLAEBCOBZJM7Q4OY5O77FGC4OCK3ADG7CSC4LYB2P7ELJWGXURUHOIGX3BMIJMQ5VL37KI5LIMAFNHNYXMUWR7U3HZPJN23IG22GZ45RVRUFIVFCY3KZW3EE5VSXKFMETYHXBN4FPSWS5YW6RDGWYRPZ2SABVLGSMD5FA34TMIOA62ON74GEMQRR6EBMGN7XTM2UJ2LNUZWBMKUAQ5FCMVUST33HLRCOPSFOH7CABTUD4VKAZZGXJKZBDBTZ2VGFGDFO2JQYU47MC5ZVXCHWYGN6RK5PJKA7UWNQV7HJFS3XK2OOZJNLZKJQTLQMXIJIRSCMZOAOERDDUFOFB2UOCZD3SE3NEXQREH5LOGFAFOWR4ESZK72WTU3IABPWHDNLPNLNFSR7DIFACUUNVQ6V2US7T7P3VVQBCDFLBQVECE4V4KHMEBMZYMVBBMMXBXLKTEBLQH7KXVJQIWLJN6S7OIZUSQFDK7ULX45MJCHDHTKF2TUTSDD7HFJKSHVWTODBORBKYEPBAT2RURYN57N636O63RPLVEG4LRA7BVQG7Y2KYBZ73N77UG7PJWCKMBYZHVPKQPBRO3PPQS2ZDIQ25W7CRNBETMOJSKYNSKOE3SHAFAARCZH26CQTYFADJXNJZBICCCTI3JO2XRYI2PPWEX3DPUTAVQ2LGU2CBJY3GTQCVIKGAC3PM5BTXCITA7JW4QZ5KKMTUYISRWQNIJAF3G7KPB6PS67PYK7QJUE7MBYIK6T2VQWLG3ZEMDYYDXARJGMGSMHLMRI3ZTVSBNDUHFRGWMCEIIQJMRE7IM55GOWJJ77BAWUGZPRID7SOEB72ZRFCIKLBZPR3LNLCZL5QMEXUDVBPEDO4NN73OOBTPSG4E7U6WS26HCOHHFG7E6MJ5FC5WKJAJYLI6PYDRYAUR7M2IOV4QF3BZO5GE5GHGD57H72W3U57HENG2M6WAZFQKQTL3F2JOEKSBZ3CYENWB4YQR72XXABSE7TRYEO22AJILYRBGHLMOGOCB2OVL2FT4WVOVXSD262CLPRVHXYYL7P6UTPSJPFNZHGUM2IT6DPJINF4MBUUAQ7HKD4AZUDZZDRFUI4JMVRGBDXFI435PW2I76BDZNDJMTKMRDNKPJMLPU4OP2EAN6CETAGGAVROSTLOOERXFPY3ULAIOVKAMPCQIPOQGBHPNFXJBJC2YCS5D2PWIN7LYRD4HHKLXDTTIWCFKKZLNUR5V2AWJG6XNVRTWSJBMQUEONW7IT6RBNMRRFGD5KI3LSDBAS6ACY3AG337PNWHO5IZQT3RVE2IB62VAM6QURRAYTGILRI7E33U5B4Q7B2B2LU3DPIFTNI5FGXHI62NRKJUFK2AXJLQC5FQVGR7INI34D4D2WUPI7AAXHYJXF7KYIXDRUEEAYI5R7GRD4J3RVSOH6E4I2DA4AP3ZEEQ74V77YJPMERUAXAU44XPTICAWUUJWVVHM2YGTCTYRAUOJ4CA6JAMOUIZM4AMYJ4G5H6UBCYQEY4J4HILXIMVHHR2YA7PB7KQFRVMM4VZJAD45SVHA26K6WS6B2O3F75JWDR7RMYSDE6N2CZIPN6X5JMQUEZ3WWAFUSEADL472ILBR2IOKRIZGSSJJWBNCBSNVVBH7CS4NR5C6FIAS3MVGRL45BWPXBRJNR6TXAXYSFZ2HOGJH663CSXJP4HWAMUQDFZ67UKEBWTR4QBQCMZY2QDEJDWFFOCYGYW32KBLHHFRYEALGHIVUOGVRWAJGQIUZSYHQ3UC3FUE7RHUQWAEACGCDG7UXCGSO74VBBIRB5AHP5S5NYZFFKCJDRSV5AERINSR7AJ22FNUA6XL67WF7UJXLSVZA4YYJHYRR7GWPC5LJNWU5SAU3B3B2FRQRQUOTJFD2QYLAXYP55HRPCDBWHDRVNCJUFA7LS4ERNVC5TVQ4A4JPDIZXLMUP626HJUUXI4PWDNYZV2DRLF3KVOSZLJAAMYMHFLAYDJ5MCYNDI23IPDR4QBQNISBQECVG2KW4XKB3SQZJQYWOTJNI3ISESTFLSPHCUFYKDZTKJBDDTA4JUYO2P5ZQQHWGWUEHTQWZQIUYGCJ7R2VQOCYJ4Z77YOSHIWU24PMKAVMLCDAXVE4A6QFPTGAPRM3DB62QNEF24HTAPFG6AAJXNELKMSSITUVW3ILERSO7BKTYIHPI6TPMMK3KYPSE5FHLWS3TRQQAW725TVRNQYZZBPQ3WCJ7KGFY4ZLDSQEVEHPF6M3MEGITEGDJGBXJLMNUHDJL5U5SNDLAHIGY5XHVDFDAPZGEETJD5ON7FFVIJRCXQM7TURUEUB6EQKTXXCCSVYYCDLVTB7JQOT67LKPCTJ3BZRCLNQQIOE2K7EHRUJFKSGPI54MDWQFW2ZGNAXAJ4BPKUMODFZO56UKTQDS3OF4JQO2F2NDYTLJV7WMUXGWKB4XC4OFFOVBIPN32USLC4JUBY4SJDCWQBQTJ22D6S4F5DFLCTJ3A6RB7R7QXELKD4HZFGEMTFPJDU2FAMAU3ZPSS6NDQBWCN643GHEGSYUFLZQIPCIRQHTUMXGHLRYIBKLHDD5FO5EGSEPMBRSOVZ5KNZQUIB4YABKWLKBNEMNADM7VH6UBCHJ44B3MLRABBFSSGNH52T4HTWUGGLTOASA6JIR2RUDMBLHSOEA7PRVEB2H4IACVMNBR64YAQDWGWGEPROBO3HGJOLHDTM6H7P6GZ4P6DB52ATFVKWBCT5VWCW5SUQXZRWVAS6ALZAYN75T3ZWO73IQEK5YRXQB5TJGQEDQNRHPXF7JUSL5R7CNJKPLET7BLM76UAATTPXRTNZJTPMKNOUW5FAALNY6U6GDMEUFTG43URAR5QXBQIDBROM3252JXBOOIND7XXBCYAHHQDKFR77AZQWRFKA7AFLUUQYL2GSZLROI6QAJN6GSZXMQEOFHIUO5BO23GETVZTKMNFKI64Y6C3YCLXZTDMR7FHYRTXXKZX2QZNP7VD5NRCG52FZ7UIDNULBDNY6TDVKTP54Z3SK3BZO4WD2DMSBFLCBRM7HLD4KEZD2HOETOHBWP3RZWJYDSV5SDCLMJVHIIMM4ZJTNTCRIROZWVQTTHXTOEZQLABSP2GCYHZDEULV64K63NRSNZZ4ABTSSZJ7BRAJWD6JOFSTD4I6ED73SM55RQIMRCR3KORU2PLKBEABPYI4R6MP7KPPX3S2C3T7NEZ4FXCGUHXTLQOPQFVXA43GOW7RQN77IX2TC36OWXDZVZDTGZSPGXLQQB42QJCZTWILH4NL7NGLNILZ2P7IQBYLMKRNJ3663EKKJ7W2RJXZS4FY5NHYY3DFDWGSYVJMG5PEHAD3KDPVKOB2AUEMO72MOVUB76OBQC3JEZ2EWPGEINT6NTDN377X7PLR67P767L3Z7736HL45774HQLLC6UM======END
