# 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 "always" and the interestingness condition "has_duplicates".
# See the script for the exact definitions of these criteria.
#
# This benchmark was generated with seed 87
#
# Key statistics for this benchmark:
#
# * 1000 examples
# * Mean size: 12357.50 bytes, standard deviation: 9612.24 bytes
#
# Additional interesting statistics:
#
# * Ranging from 179 [once] to 44176 [once] bytes.
# * Median size: 15116
# * 99% of examples had at least 318 bytes
# * 99% of examples had at most 39478 bytes
#
# All data after this point is an opaque binary blob. You are not expected
# to understand it.

Data 4240: STARTPCOELGBROISTSDSEV6RGROYNCIAEDMVPWIY55NFROZ5TWMLXL7QCKJJZ7L5L7KSYECIMQTHQT4PX77X3X7PX67X47L4M7DHF7PT4PDAR47TYPDZ5N56RWPX2563L5EUROXS4ZOP23NNHLQ52KH76OOP52PHHL6S3RRMR7NK4PUZRXXW7WZC23NCX35PCX5NK5OPMCU6HXFQ5KGRWRXN67OT5FUL66WWLHOML2T6FOFD73ZHVCRVSI34OZAHIMDNM5CCXF5YTG54J7O5R3DW56PH2AUTXOP37RE7ZN5LPEOWO7W3D6Y5PXDG65Y7LPFR3JNFY77SIL52V74FIV7PGKXPJ5XMZ5WK7O2ZMAOF5VL52US2BNJ3I57RYQO573EF4XS2X7HU7UYANNZPZ3JSG3SUWKJWBLPC55KIYOG3S3MQYJLWY5W6LSHLDINL7T2W76ZYHFIFKTUSI4YI5FWNUUM7PWLPKZD2LHLX2WY5Y3ZJO6PGEC6Z7H3GH3D2LQHKT2XAJILYQKOSSFF5OWCW5PSGMV3EOYPNPZGREC3WSXOMNG3YDZT6TIQT2DPD5SRUOB3G2ZAGFZPM64WOUEVRJC27DVW4YSPQB322MLK2JIKWI4J7GEGWHLOWSVRIFPIXPDMHUQYHENTIPPEWFUIK2JE6BMXOLQZ5IYYFRRENDGVAJMDMSSRL3ADSWL5CKD7CVWSSAVCDWJUE2TW5K6ZFGL4WG5ZKPA3BUVCA4I2DAVX7D4CZEDXRXZG3NDC7QVWBELOZW6O2DN54MKXZUFZ322Q3FFI7GCZAC3QCDMY5RMHAXG57T7ARCCAB2S4S7AJHFOH4ZMZ6TXYT3KOFLPJLNA6NUF7FHKL63VM2NH45TRO3UIA4UXKZEUP5K2NL7NIXGKQR34AVOIW333H72UXQ24PXIELCK5O3MBVWXFB5JW6QKYIOG5JSHQZ6HXTUUL6FWTBVIHKP4AOD5APQMGTLB2TKN47BIENENG56KGE5QDO2VL6EGBJW6LY6AGAKVJ7LUYREROFDELSVPE6GSDUQHPGU4NV46P4A6SBKZX2RCRRCVRDZL2NAGSCBYQKNW64RROXB6EDOW3AYLDHZPGIPX5G6X6XHCHHCXPI3MTUD5OD4KE2RDG5ETSYBZWO3UWST4RMYC6O4YBVLGX3DYNFAFLFDFRX3JU5CXJYJFS4SCJY3GQLQ2ZGX4VJZKP32UFMO55CO4L3FYB3G6PJYRKW5XPFSWKITTXWUDRBTLOZKUDWZMDL6GELLOYGDXH6I7JD4T7R5JH4WFVZLXNWSK4BNKHRE5IG2QPWMI2MKF3ZFAC32W5RVEVFNAWVDAISWJJD34LEBW4DYBBIHBXUWQU4QL4YNDLIBQJGTUBHBCQYSUMB62TMW5MFNERM6Q37IYTKVCJ52ROKZMC662YBSQ6W4254GT2HDRAZFED5V4HEGXCDETLJDK7MEDVTOCPXOYMPKWTDVNHJW7JD2V6FY2DEWIDN4XAFFGWIWEBVIK7BDCQORLLLZCDL2LNUNBFMSUEUXFVISS34PIRQCC7IU32S3XBU7NCZZAOYKIYACOZ4CYYXNJU6K4QBXFMRSVVKI2S47INXVBKFY4YT2VOLDUXPVJOCZBGGXUNAHPOOUGGOVZYUD4JWNJWLWUHN577UUJOEXIAE3Z5WMZ6UY6KVIGXBYGXSGRR2O5V7RY3YCP5BDKGUNGJQQSEMYALTB35QKZ4J6RISMPMDEUGPKZPAAXUQOMDK6QVB2EU6FPGQNZAJBSK5AKCZHHLGRFIOMBYCKRSPHK2GDYOS7D22BGVNW6OEV6A2DUTJNKG52NTSL63FAA6XPTHOTFVNDVR3LWFJLTXFICTAZM75NC4WCSJHGOK7QULZPA57UFIXHAQ5JEJU34OUKXLX2HO3H25RAMIYIHVLFXFNH2S7EU6OIPYX3ODZFSMAMXWNQ4O6PXQMA2Q3NMXFUKCXFDYAW2EPTKYQTHU5KSJEZU7ARJQ7Y24VDOYQRH5YMG2IFTNVVVF7Q5BRR2JFWLEWYHEMFXKVJKNFKJVAH2MBY7RVKDJ364UVVBFKCRWXRKB6NUWXFS2VYHWCK2XUFLCSP4FNHJNOGR3NBJJPN2TYVX4MPKBK6DARTPF7M46C5WI6BJBDOKSYNKRN7MZIAVYIIBXZKDTKZNRFLUEDDVDDUVILEXPLWIAFDA7PVGNODVGRHXSDYN4TSYQ4A3BSS6N2XYL3JWJEAR6EWXNJMJAYKH4JB5EZJEZUHDNJOIJP7EAZ3TV3UTLOA2YP74ELM5K5LM3BAXS5RBGAPIKVR6V26KL4VX3VP5B7LAADXMLUFVISOYYWMF627HS5TFNMDED2KP6BSCQNRH4MK4Q3JHGO5RUBKP6ZKUMEKQI55YPTNTLMOJYU4EDS65OQ3LXKTLDKMSLXGEPJMCGQESJC3XKRQFYW3SICI46ZLXK274UIJMYAEGOQJLS2AEBMUQSKHVVVQFDICBZ72R4ZK6NOJ5SWWMGFLHQDIIA3PWMYWTC2GRULCOYTLA7GK6HJLRGTUONET6ZL56YOGTUN3ZUMRUFJU2XMZJF2VMR3BYDGIDY6772VREBLYGIGYDP2G3HVNZTS22GZIKGHZWSJVNNFY535OSMQXZEMX7E3RZGS35YZREY5CAJ4GFLYYVKRH7A67KZFCBJKTS446YKWQEUDI3OLQTWUVRKGYFFOKHE4UNZFRDO2EFEMRYST7QK6GRUWRGHEAYN4ZJSXZZFMUPGPU3OLUGY77ADQ2ZA5ETHJ65TXCL2MUSRDP6FZGBKNIAXX2VJHJVNF44E6BTIHDQ4UGPSYC5C4EBUAKCUTNU63ZWWBTWMQL66XZDNTDXXU4YP4OHNL7PWJNNCP7EPTCY56O4PIX4UQBAQJPPFR3YNYH2ZQ7GGI5QU4IKOPLBH6RXEMFTNZNL2HQAC3OI7NUHQWJSLRR6BS4POZY5ILHS64SLPDDLR6TZUER6AOTY3FRMUCEM66NGBWXJUXO2EC4YH445WMLS7MZEUPOLXPSLIYDE6UJNU7UGJG2OTC2JZDMXCHWWCRTVDCNBFVPTC52MJ4ZDOY2GGCJSHI2VSUZSDVVKPLTBZBQS2DMKKM5MTYKK77LB6OXWCBWZIPEIPLNFYXONS3NWLUVJQ5WMGGYL7RJOMAJEG2K5P3C4ZTGXCBSMUSBMTERNGBKGHL6Y5OGVAB4PF3TGLTMOE2QF4DIITJPUV63UE2SMSRIG4UORHBCYUJYBID36IWF2YNGVTOVMY6Q6LBW62GQKEQURYG25KHRR3L5NJU6KFOVUJAAB7E3R2SSLTEBJOF7E3EZN4XZI2GPHSOID5LL73LTCYYAA7Z6NXOQUVWYKA5572MSR4MH4YI5O6LAFURIQBI3B5LKRZIXAPOXEEO7SOXOHYZEL7VHNTSJDHVBZQ6QLEUGPSBNTSRYV6HA7XQI2RMCLEESKCQYHQGSNEBXHQHJ5ONZZ2TYL3VPA3LZUESVBYGRRT645DCNGRWFB4ZFS7YA33L6KD6JB2I2DSWNZA2IGDMT554KRPYO6JK66IBRG6SU5GISNF6DYTXLUZC362HM4RCOQ2YJ644KVYHQBL7PO5AFTJZHJ4VV4INGCZNB2Q2MV5PTOFM224STKW2ITT2FBREVG7YANHYF6WRB3OVKCWIYUHD3GEKJZWTQFQ4HU3YSGAKP6LWP2VJXRAKU4KF6XXZ2GUIQ3ODEGU2F2JBHJQ4XTQL2HPOWHAJIF6DL3N67OUCKW3Q5BMAYEUAODU7NJRUY45MKOSIWEKUFN3OB6C6COQQ4WQUOQTKT4DDHZU5INO7STM6KC4RPDQDZ35BSAMFL6UFC2GLFMZOA6EZ4SIZCDTU4EIX7FOPMBLGQK6EW5SUQZDCS3QLE6ZRBTOFP6ASHVNCG634D627TVXJRP3YTY5AO5RTLXWSUYHXY2XHHTWD5XTUGK57WVUWEZZ2REXLPBDXZQ33YFLOMC6FDF4HO4NF3FFAWO5J3NLSLRODBNL3AL4OZNTMRDEKGKS5W4WBRNFNQHPNJOEKNDTX3Y3JWVBPNKUDHUYJNWUFWLPDTXQTKKVEB46ZGSKLAIEQGBB4SJQFBLMUHBDCDRXY5TOOCUFEAHZT6XHKBXSI5PX5RX3ON7MPRQXJHGN6CKO6KM45VPEOHF54335YCKO2HJUMA62M6YSABH6RSHKHV4WZS4QS3NYZPT6P367T47367PD67T5TX6677TGN6DGY======END
