# 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 intlists [lists(elements=integers())], with the validity
# condition "usually" and the interestingness condition "size_lower_bound".
# See the script for the exact definitions of these criteria.
#
# This benchmark was generated with seed 382
#
# Key statistics for this benchmark:
#
# * 1000 examples
# * Mean size: 959.35 bytes, standard deviation: 668.30 bytes
#
# Additional interesting statistics:
#
# * Ranging from 2 [17 times] to 5024 [once] bytes.
# * Median size: 817
# * 99% of examples had at least 2 bytes
# * 99% of examples had at most 2788 bytes
#
# All data after this point is an opaque binary blob. You are not expected
# to understand it.

Data 3376: STARTPCOELGF3SIS3SDKEP6SWH3BWJCIOAY37IUQU6Y6IDZHRX67PMKPCI3Z3G65KX6AACKEQIUD7775PHX777X7PH25PV577LGG7L6V6535PTI537P5ST6PTV2XX27WPD7IVPWOPPNNO6N2I44P6FRT6SXHHV5O3U5XSNSXPGG7ZWZLB5RZ2A7WDRK5SSXX26VWOTMGG3LZ2GN2OMOKZJ7L5TP3UJBNWO6O53IOWPT4445TY3TPJPLJYU3S23K2HKU3K2PXE3FU43NLD726HHQVWHSE3WP7FZVM272OOPFGROVENLIWWOVCORZG5MTWJZT73S3TXD2ZBE4T64Y3QAZPM4CYCA7LN5TTPKS66UU3GB54RR674V6ZWKREUPRUPJSH3WJ3E4K5L3QZ3XYAZCVHXIRMXC76B6UMF5HTD5XMRGY55PNNEFFDNYXTDXQMEIELWPZFGBZOOAQSMCO22OCE6YVC4LPTXIXK2JMMHBXM2DXMBUQONZ4GW3JTQH7D6VMHNG4ZFXJSFGGPRI5KCRPNVQUNHMKYUUYX2PJNXOTVBVBNXUAVQAIYXQNZWOY2NRM364BMA2T5X52UNQKZIXOBBXXL6MDVNMZLT5PY7CTH3267MZKQJHRRTZKEB6PRN7PKAEDLUNKBBJ5VQFW4I4J2RCRIVTOAMUXME2OZVV5B366R4DIKV3ZVRYFMSBRVIR57H6FIK4LFQB3Y4FMDLDG4XGARAG2OJJEIBM5U4HUBWCXWZID3TIELYKNU24BMIFEPMRZHDIFFNFG5REZZGKGXYUUI5QLCZNTLSZ3M5UUHLMXWIEHO2VC2D7EGBFNSWXG4EZVCOGVDZ3OF6FGFSZWXYJS2JTFDDUXJBHC7C3VRLVS636BBYBGVL24V4JNELMBEAXRFG33OJQUUE7CRCKEC3E4C6RIPTC25QC6Y2UT5WB2KQJPSO5M4NJZCLRISQXGNTR3A33WQLFRAM5JS4ZTKGCAIHMTVEDGEDFVBQITO6ZQ7EI4HBDRMLRHNG6ODGPGA3LXOCOWUFKP5JGABE5CCNATBNH6FCZJ4ARPWO44D6ILGIUIOZ3LFSZWCZMTVJIF4O6JPPATPW45GW2HPELR3WJYPTKJARQRPGLEDAYLHPSQJRAS22AYYVSA557O57TKFBQRPTWMUNZO7FIPBHIA5ZTAV6YZTL7LR3X5JZY53NPCHFMUB6UVCWSJMDB55VALRLOUTZX2R3QONGLBUK5HHEHC2BRCVSDS5SOGCUZG766OJFTGAQGMZDOJXSMOC24AY4FU6PUU4453BWT7RYT4K37WYTHQYWC2QNKQ3AK3LWWT3RAOMNDBHSUZYSUVZIXJXBVBX7XFURIOGHD7WAVCW3XYOSLTEPTOSKPHJI3DJ2ZCZF3EB6NJUEPI7B3HQTAGI2D4MJZXRXZEU5GFIMMEHTIP4MNA3XOTUIIRPD2XKULILWAUEHJCLHIJ4U2ECDPNCIOUCO3SSB4237FEHCM4WWZV5KEBCQC3PU6X6KVZQVLFEADMLCG54FMNUVTZSL2ZLLLQITS6PH3LHUTZPVB3LCU5DAUMNRINCXT4XDJXN3WSTHHBGGCSGZNYTJ5FVESIASWLUU4U5BZGJCW57RXGUKXOZYQW5N74S42GMJAX2TKHOPWU2M5DJYMMKRDWM45E5AIIAEU32ISOKCQGQ5KTPY62Z5FHF3APLPFDTYXQOJ73YSJKS2T26JLW2SGZTVXVZOXKPC2YVA24YKZ33VPFBPCWUL72BHJIQ55C5336AWTMCLWMXPQPOIRH3KRF6ZBHATGY5JWRQNRDL62QH7FM4ZKGQTS5JKOWI5XA4S5J5IZAHE444FEAXXVQ34DCBCULHCD6PSFH3SOKHHYSKKVO4S5MXSKCFEGG4F5GXPDTUWE27VDSYNALAO7I6H2O5TTLB2MBIR4CWDDYHPUJPFX6CA7X27Z5U3V75UUKS357UACUUS2NQLQUHK25FYURK4LEYMOXVAQLPENXI4PTLZGOIT45VWR4ZBMHVKOMSWTKG65ZOUI44YITI2EV3K4PY3UVIFGNGDJJB4PXINKEQROJP7VK4RGF26S32XOOZ3BH3HSOEYALFHQKOZBIMBYBDHKG5X25PE4IIUQXHGTTSPCVYV2QXYJC36KSSPBNG36F3PUVKZUMS7UTTSINDX3DZXJQ2OY3U2J3NFV44TSD7TC272KKGSNDCE2ZKEPPX7C46NPTLRZM5AAP23JCI2KSBLUP2MOI45FKUVN6FDDXNM4K3QLKR7NWOD3JZX5IEA2J42TSFZXR5L3FNSODHSJYAVSUUBVU6G5SGXDX6TBLWUJ4VVAEPGMPM6WSBHIMKEEUQZGAWCDYQ4AMLVHBSHBW3UYCO55G5GCRDARNJKMYILQOGHAXDSVMWQ6BBIBHJCOAADHS2BZQTBWED2OO3SQIPKGA25MFTWJMJ6THA6UZXGDPCFBDXD6GTTZEUNO4SGMGCSCBSR4MTRFOEKHV7JTZIUHYAAVJDKGNC7JL74ZCTHGTI2DOXJRCLHJQ5NQXOK3H6646S4C6S5NNEFIB7NGVKGEOSBAVEW4XHXZCNTFXYVVMHY6BSPYIWQTFMSHGA2TORHARNSAGGLAXL6FYYCSB35MOLCAYUKQLHYAGO2OWMEHXEKVQSEYLTGFMSDMCH75Y7TKFQ6IEZRR5524VXAEJHLMQJ3XWPR4TV2YZZ4KQ4HS3HZDICTUTG6BJABXLP3OQ3QGV3QFRWDO2442QNDEGFTKFEVTYCSGVDSYJ7K6TZ375TCLY7YTF4J3VDUUY7GQICQNDGZSUOLNUSF5CV2C5RWF4JAQCMXA6Z43ZKWUB3L7PHUIRPNAXZP36JICE3XE6PFS5PCCGWTOTTXXDPHTY2CQSLJ2VHVEA6GYPCEH54W4WTOF5RXDN2M6E2VMKPASE46IMMIKP5W2DH3VE6QCEPHCPOCEL5NQQ3SF2IZ6KM65LVDNX2AFT36HUSDR4HIYW6NENEDFSWFXCUYQI34MDYBOEIKWQNUGBRYZ5XOQ6L5DXF626S764UX4J62K5XETZEH5IIAY5X5BHNHJ4XVOV2Z2QSY64WWTCG4OG2L4BXPOT7ON6DLJEHUKPRE6K2P76MGKQKIZIPENWVMKIHHUQOHBPV3PLWPFBQ7IAM66KYPO4HVLFNI5XTZXXGKBPLHFP5Y34DQCFANNWRT3MLVSRQOWROBYYVDDOY5FPGYDVINWZ4JVFMYJHSYPK2NMPVBW7FSUCZCFVUD7BCL6WKJC7PHIET5V27ZFDKPUPBLPHSYT6IWVMU6F6K23RA5IYVVHOLLJN6UGQUEQ6CEFBIQZX4IANQWQN25E7OXP57X77P26P57O7367V2UBDT77YH5ZB666E======END
