# 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 "minsum".
# See the script for the exact definitions of these criteria.
#
# This benchmark was generated with seed 413
#
# Key statistics for this benchmark:
#
# * 1000 examples
# * Mean size: 1357.65 bytes, standard deviation: 694.08 bytes
#
# Additional interesting statistics:
#
# * Ranging from 721 [once] to 10775 [once] bytes.
# * Median size: 1156
# * 99% of examples had at least 775 bytes
# * 99% of examples had at most 4018 bytes
#
# All data after this point is an opaque binary blob. You are not expected
# to understand it.

Data 3328: STARTPCOE3GB3CLS3UDKEW4ZDL4IEETAO7W4KZOMSO4H4GK53Y5YDU5EWUEUVVYXELYWTNA2PJX47P777WP57777PTV4PP7KFV7GXR7NGVDLL64JFO23ZH75PR5LDRW6PLNT77WYF4ZS4ZPFOKY7FXUL4W745VPCZGWSWR5V626LNGOPK6HMPO7HTWTTIFX77EEQ323WTKH7HP4RTNXJ3D63JD67QUDHNFYUU5UFXGMFN46NMVOJW4P263MO7LI223KP35S2FVGF6K4XCVHUGZ3E722AYPLGQVJ3TZ5JHFH3UGE6C62LNL3VEQA327ZK7DKLAK6XK3JNXONJLZUOO7HPPFKLWVM6S3XZNBWX3SJ26QYAWTYJKYQQU3RGXRZMTLQ25O7FSO5PHSKAT6GC2ZUE65SAE4RLDXY57CSGOS36ZEKWM2OJW5SMLXX2TMR73L6ZUKKMMCXJDNXWLR2HZULJFIMTDWF23WC2X6VGELF3Z6HHJZGKYE6RIHRNY34TGDWWE43CDWQ2BRTMYRRM6PYXJYNJWLLMAKEQ5L4Z7E6FFZMRNPGJZADKDEPP4RZINXAY4AGXIHZ4V3V6AY5V3ZPSXXHPVPJNNGJM5JTVPI5C3J4LTGNR6OODWD7OBTOACV7MOGUTDWY5VZEHD2VR2HAVZ4AC7AKVF3TUVETHZ3J5VO65LEWO6APQ5P4W4M2Z3A2Z7AGOJG7LWA2EPPXAG523VPJ55SIHGLFUAGRJN3HQ7UR3WLRNY7HHHZ5DTG3QSPWKYFGTXNO2FPPUYH722AK7JLOUIBFFUBGUB7D5CU3DFUWZ3WKJ7LW27JIP4MQJGYV4HIMLGAUXRKDNHWPGMVQJOPGBFAJSTTAMQYOVL67FPTEMCMGIMR5XKDZNZ2YOFWKMTIFKVALHBJCC7NMFKIJZKLHDIFSVB7URMXF4IGWTM4TMKRCLHZWBD5DLFBX3MZQUYTTQ6GIRPPRUI7HWGBU6WZJEHIAAUUWQ7JIRNT3OG4JZELP4WBLZHG7OFLXAKEAEMCGSJO3CTM6EWJRN3MRY7D4GUO734PHREI7F2ZXIMWFLGSZ7JAP53V6FYIHGHAT2AVKFAOWABAE6F7D3XMFDRD7G4KRAYNVBK7GADX2QAPQ6YC6CCGDWV25ZN243XCTV4G6JRWF6VNV4Q3ZHQLKZMIJD4HONUIRGIV4MYKKVODNCBREOA6OLGAD7X3OW6LM2SJVC324VMOO5S3D44F7MWC46J2PU3PDNAIK6MWKEV3JPNQSIT542KPYBKJXIQULVN7SXTYCZK6V3K5YYSVX5ODMFP3HMCNAPDCFLB7NH4OHEEQTRYOULK7WDJMM5ROREV26DQZAR6QUHREPMUTUSKEQ5NWADIBWFMFCFHQWJXRNDPXH33TTFWDG2CK4OOWUJDZJA3FJGDCEVQCFS5SFZKHTKCI2VCNFLQU7XCXUHS2PJ7EJIXFKOQET42R7ZLIW5EIIXKYHS64EHVDG7VWZPLHDCPDAXGVICZDB7EEUVFDTSRHEEYMCLPNHZGZYUS4HEHOQB5H7IGZTKCDMPQKAMBT4FKK3TB7VC2X5OTLIWP6FCEOUVM4XBGQO2PAXC3725QOZAGWXO2HFW4UF2LESBRFJ3YP3NKLULIOPC2NNDLXMUHKLGBQ3W272NDBNGKX5T26XLR7HSXKG2MBXQU3GW5X26FU6KNDYHEIFXMNFUGUJU43BZB2VQ7D4OIIZ4DIMRHCLUKYJ372KN6EQL3HSUNNV6VYKEUJ532CWOND64XRXJ3SZA3MVYDVOW2D4IDBFCLQTJW7BZMMIR2E3HC6D7GSZNEZFGVAG4PMSFFUU5GN5UD2NHBJ2527ZA7NNCDE5J4WW7IWDADXAM2FUHJCS632DRQ3JKR3IJSZEVFL66VLU5ZELVL2FP6STVQ26SYDU5SHCSD47BYVVJXKIA2QCPEYYFPOUOVUEPDBTSI5SQFQZVR6GIBR2A2HIVOHIXCU5NLZTZ2AOXCMZUTLGI7TV3VAPSPAUNUANPHJXSZEUAYJJUH6KUMEEDQT3KSUIBJYQCG5T6SKW35VHKPCIBOLYWZOGSBRJXI3NBUHTWFBOY5PU4W64I7QGGMNXE7QY2RKKYMW65D3VCJXUAB2ZQWNHMVQ6D3QWDJVRRRBBJXKZ7FBQMSTK2VBVJGMV3SIT6MXLJOFVMGODWDYWRE4DUXG2VEMYS7QRHKCPPJEOUUJKAIRUKWQ2RO4TWLUJDRIIX6WQFMYRI6W57AVGTWOM5FVVH42E5LR2JLN7I43R3URM4VIFLTBABN3C4PESOKD7ODBKNITRGEEHIMRVZJCKSOQYBRY7YVFJBYZD5XVHMBS5QTFE5DVJ4WE7OTIC5DWPEJYFSQAN7GNX3REUFVW7HK5SHCTSEU23XPDEKQSJ7TUI7GIOUZ6BUJPBPPCJR3XX6SCW3ADXNMRGOLUQUMJMLZD6QHXHBG36UELTMEPP6ACNO7Q5I2GA4UC5PBLQGECKY7XVGJGTFCUGN333BD7JRRWX2TT7J2IWQXQGP5SSOMVEYKBHF35LW2ER4SJYZZG7WRCEUQC2ANING4VEZSD5HVYFBE3WU76YMC65KCNVUFKP657Z6HD2EPVMMMVVZDDCG57X64OM5MNNQ3VFUP2DYXNLBNLX4MEVOVBSST5HRU36DH6A2Y3FZQSO3ROOGES5H7IPRHYZ6MV2I27LQA6SSNZWWBHKPKO4BLCOU7H2JQNA67ECMNHIE26QPLCVFXGOSLV4PBAF2KUOQT42QTD7EWQQNDM4GVHSGWG7SLJUR4L4PIFCDTI5EO7O26HEBF2OT4TCBUPFIK2YSJAUC6Y5TFOBAD73LLX6N5VUKHE7VMR6X6CTJSJ6KNRXUBXHI4FRWY3EHCKW5U3VHLQVKRKO2JGH27KTIRVPPYRY7UMQ35OBGHGQ3M45ASQFDF2WF3EUL5VYGNXM5I6FVBGPFNIDFADKOIO25IFTGQR25J4MV27VX5MQDA2IKTV6PJIZFIT4RERNPHLWCNX324MRFYQJO65Q7ZCB7NKPV6FYEOCOJXTMW5HE6YFV7PAG2IHAB2XWT7LZ4JXYFHA3MGSSJGAHDIZTLORQHDYYRVMPEVVIGFX2MPJWSKBEYF3XKY4FOOQSO3WBV26RZ6XK2MGKGXIJI77TCAOWZN73554BX272OKYEK2IYZUNW6AG4A4YG3G5GVMGKLQY25JHNFUQQIYX44BIQRJL6PPOVER6BNJJGYHZPMN7ZKKN6UCULXUF7OJN6UVHZC4FPTZWFFCONO42FGT2KNZQ3P56PLY7H37777P3L47P76YQWH5577Z6MQZ3E======END
