# 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 414
#
# Key statistics for this benchmark:
#
# * 1000 examples
# * Mean size: 2946.87 bytes, standard deviation: 1606.30 bytes
#
# Additional interesting statistics:
#
# * Ranging from 526 [once] to 14321 [once] bytes.
# * Median size: 2554
# * 99% of examples had at least 786 bytes
# * 99% of examples had at most 8342 bytes
#
# All data after this point is an opaque binary blob. You are not expected
# to understand it.

Data 3968: STARTPCOD3GB3SISDODCEV4ZLD5QYYSD37PMKIKPNNEF5TYKLVO4QB5K625DUKSZVSBEQTFEPBXY7X7775Z6X54PT7P766AZ4754XLXZ66L57EPV7XMKR37BW47NOLXHXHWNO467NP52XDSX6PNSWVX2BD6T67HGK274NKPVWH2C76MOD3WOJ6O2FUMZN6SCDLMNPKZDO3GLR6TVRSQ77DJNGH57ILWTLO3FPE63PPVQJWVB65E22XGT7M5GWN7JT4UOPYO6Z5O27IW2JP7TFUH65PVVP7QV5PUX6OHTHWEULPG23GVT2HCP2W5U6UZHY6DE5OYXO3PBYQMP62332K6CVVP2OTXM4NVFJQYH32JNVP2NHNS6FNGHTEOMM77PDVT46PLRZ5ZGHVBBIZ5PGFKHSVEUZKQTXRO4RHV645HMT7QIJ2PTHV3F44OWJX3KOF4G6UGUGHH3XA5HWK2NGNN7XE22TOHM536XUUW5FBR25I5KAKVMXWVB7TDFLL6LSE5IDE5SN4YYS5FYNM23FQIS37HBK46F2LLUOVVBYZO3DHFSETMOH5KJQWD2KKLAVAINGL25QRKDSHIEXC22LEAYFY72NUUZZMQHNA4QFZETEHJNGDGTE5DEJHZ3WR3FD5L36HVFHGP7RYLZ7OV37LX5FHRNM56TWHU4P3E6CCX66LC72CLMXLZKYAVA6R77FKZZ2EBKWQ626VO6HX2XYAVHGL3MIKEY2PAZHGB3ZL4JZVEGWYOORDCBJ6QSYNQ6Z7CZ5V4MGRNXUHSCKOGMNE7YJ3KMVQOOSPCLU2VXYMMQ6ZZN7ZTHX5WLDB7CODAC35SMD7ESD2STWSVSSXKOKRFO6URZMPFTXY5Q3IJZVBLSCFWMFAXAVRORINK2VSA5PGAINYVSLEJFEHYMR5CTL3JSAOGD6KWXFUTVZRQUHIQUEFBA4TEKCCQT7NC3UHMYOG3CAELCPSAVB7S7XAAJ4YQYGGTJJCOVCH6FNMQPVG3KKBCSIQN4UNNLV3C6SVCQBQVV75I2BWZSMOSIWUQO5UKY3MXAKFIN64Q7SSR5WUCKZUTHGT42TZFRKKKTDQL4EERKLM5VM2XVDWUF6RK6OK6JANZA3BGSVNKBKTJ2VZO4HMIVE4ER5YA3RIYIGVANWBSOQMUYH7UO43CWWQSXLQCEKBPMQBR5PL2ILHVBAWKT22UXBIT5G2ZLS4NZEKP4AKRHNIBXJNE6F2V56U6IKHEKZLPS7SKJZGGQGZKS3ZLRUWIYIISMHGUHNVF2QKEFH4XWVFOPMGRHU5MVJWBKJMFURE5PIRV44B5XQZYKSYGFIDM4XDMJG7TBHCMJ25BGKKZNIDCP2SGSMKCLHJQKKVL7HLVOPNB3A6ZIRWSRA4QDMJDU3BZWZAVATAJD5SXWAWOJIDLDZYQAKSGYOQ5SMRM4QWGVRZ5IYRFI5UQEPUPXQTVSBAVVDDIOQSG4XCIR2CQZZBVQ2LZCCGEWMKCMQJKZIGGAU4CALNA3X2CXCY2OYMEWSGCFXSF3DL5NAAEPZAOAE75GAFPEXBKP7KPUPVPOFOHIQNNKWG35RVMSCZYNN2BSKIKHIXHUF6MKZRFBCGJ7UT7MBHGT4XTLOM7HMANYE6YA5EH5NO4QDIZWIGPJRQEKX3DQ4DUKB2TRYOG5GZUHZBKA7IY3CLMLRYNW6LIKYJDKKXVHD6E66FHNNTDTHVCCNWDBVOJZNDPKAA44SJZZIOPYVRJSALSNBYKWMAPQW5MSISVB2HQGIHUIAMM5V6F4Q62GR5HWV6LZSI67NUJQ5MR5Q5AVYWQF3VLZDGJNQMJXWEAGVJWEUDBBTJ7KC35XCGKCRUWKFMA4CO3LUBIQSNPCKONS3FEUYDMNXAWK7P4OXMQLKLKDFKBXKZIDDAUGWUDQKGJT4WCJNCTIVV7ELUY3X2ADFETPGBX4RZGUUF4O6QE4XTBG6SFMXIWV3EU5F37GHM6UFYJ7QA4VVW6AO3BD6EB5NKKSUWJF2EW3PUCYASFI2ZPCBX4B2AFHPXXOUFIOALGEAPAW2RJYYBUVY5ADNBIDJSW2PPL2Q7JQTO6LOCYFA7ZMONE763BZYM7N5JDL2DCDDAWADL5F4YHAL2PVSLHCLU3APOQDHZC6GCFY3OUDYIIBI3XARZJE53WGEZ7CHWOOOGL744YTESJHY5EYY27TZ4SZNUPKJUADUYEUJZC2TDW6DL3DBPFZI7BAMPAD4ML3PN7FEVWIKIISTVABIKPQNL7U3AEOHSMAWH3JRQ6OBBWE6YQWTKYCRJDCK5MAIRWGLO25G5FZZN35ZV5EBPL7UHF426AO3VU32MMMLAA2KPADFELHLWMSR3IBAEXQNS7EZIUBKZUNORQRMSLLJ4LD2JJBR3H7TJDFLFQOODJP62IZP72GHZYRDSZNEUCMAADXGHPUOUP6BMJDO4HXJSTBLAMQ6TRSSY43UBBCTTI6W6YLICRR3C6T6MYZDUTQJM3QDQ2IY5U55O6IVOPTO5OXHA7TAA7ZBYVG7D2VAROUNSB4XJSNWTVKYHWXGBFISBOI53FAFSMFXUQTNOENC57XAJUMECBWKQ7C2Z4FVS6O3MKPZ3JM4OQG4YGJB4NJAGY7LCPAZM44TJEGJMTS5JB3ZR5E2SZU36YDKUMAT25UYOMCA3RRNNPPNWLYELOEF6LGHIOHQOUPU6IXHQ5LV2CMOZBMQN35CZWLZPVUTGHXJXY5WCESSQVEJCSGWJEG5KLDZENUO4J2BRPADQ23NWUXUEBY6SLMMF2E443IKDWNTCBULLL2OTLN35J4E7R536WWM2BBQNEOKKHGIGX7KHY664BXXO57N3TGEMHVIYWRTW4WHRMGX72VYZNBMMJZXYG2OR7O6JNEI5GRALQAQOCXKPAHSU42UTH53Y7GRTXUJ7DAGCGGE7QF3WUG3IGIDJT3VRYYCYAPKXR6LDEAUU4G2YL3KRA7K563PA6B2VXMYU77B42TUWC2R5HSFVIYG463PVCAUUIAIYHKEMZFWIAU72ERR35YUYFMNDD46LON6YOKB7EFPJI26RY2K2NVGJAA4E2EIQDRQ4HDDWVGWITD4KSHXHDTFFGHLIENDJMR6M5A3UNL5Q3WWWREJ53XBLAS2ZHGAKK7L232PNCYUNY2UYLFKXIYERONQ4WXJW354FM63MHGMJWSGLM4Y5TENRFPW4MI2QYSG5DWW4Y3NHMEJNGCQSJMYGIJD6X5FIPK3Q64KKZGTIGCL2EBFA4YQJJ4ZX62YOCEUYFNWJOGQDXW5MJ47X3WJR5KKSB2OHRSI5A72KDENX52WQIPL5LV4I6VROUVBUBVSRBZM2YBSV6C3HAFINSO36XTHZCVTQYR44QJPYDONU2BQOMBUIL5O5ZB6PROOUAWIC3NJ73KXO4XW7WM55MOKFM7NSKM7RII6BFTBGZA446L3I72WE2FCGUJSWWQH5FPANZEEH7GG2MDE6TSGGNE4XYSCTQOMC7ST2DGUMB2RANAG53NSBH7PEBLAGDTGQH3NRQ3X373UZWQIMJV2P6YCS5VQJELI77B53WPO6ZYI3A4S6VSQKPLBZVXOGLPVZVUSZSOFHVJSPY2SWKTG7PPFSAVMPB3B4AG3DK4R4YZIJUQUGYLY46CTU64WCVLGL3LOPR4TTW7D4C64MHBM527HDWOCVTN2XJQ7JWCYE6563SJIBCRUIX5KHJBXPNBF5HVSYZ3CZ7UHUILR7OIQFUSKLM6H2MIB3GM5KH2ZIOHRH7JKXNCHOYJ4DXRNW6TOOYNIOCVABUCSV6GYSC7BYRHO3OH24YAG5D3NJ6J74N6PVUTNLXQ4RTAGXG5L757FZXVFSCFZHN6VC4C62KKQCYLAU5CXM3RRGUKSDNUUJPGJ4EIDAZRHYEQK45WU7TYVGCDDDTTDKSYWTEVAYRQD5I7MJ2XPROG6YUBJOJIYP57H77PY7XV5OXZ7P2FA3775B6AOOWE4END
