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

Data 4704: STARTPCOELGJ5SJSLSDMEV7JDD5QYEREBBZC6IWYZ5RUQHWPBJOV3GI7VI244T2W2V57YAMSDEE6Y776PR7NPP777V7PDV6XX7TFKLA736YXFPY7364WV734VLO7U34YUPBF6HJ343H276PCDT6TSX5L74NDX736NVMP44GHKDZ6PTTH37LFR7XLODFZ5Q37NS5KYGDJZ6YT2SO6DP7LYL2XT4ITVRKM4G25MLX7PFVOVDIT6N5JP5PU2KNPH6YUUMDP56TPJQ6TO5MI3N5Z56TAXXDHTPSPZ2T275LGNXB5JUOK64DFPPKTR5KYZ7JTI6SVWHBPGDDXFKO7BYXTORTIH465O6A7NXD65PH2WCVX2ES5PHUEX3JWG6P56PDCEW2MPMRMT2SH4HZXZ7FI5WL6BHOPBY5T6UN7P775MTOUO6TPNGWNY46ST5ZLWFZZN7DUMGOTQQOVYO5OB6JYGOFP47SO2G44LOYVCX523JY65R5JWYJZO22VODIDO35Q27KYPUGGYMQ5WA6A55DZ5LZUYS6WDYC4AVJ7XJLLFLQQ7SETI643MU42VOGALSFDITVR5IZCJB5JCC7TTRAICIY4QZG7HJY6L6OVGIOPGWOCPWPRBVELLCLB6CKHPCXJUX3JXIARFX3JTEYQ5TPWRLN66ZO7UFHT3ZPXUVP2CLAEEQIGRNX7BU455E4B6R6WFJTXY776RJCLIKR2DMX7ISHEAFL737LQHVMVCUPCOWZCMVPSOC5NPHRPXYQZ6OSOESYX53UM6T2ENZF5IFA4PV553UGHLOFB73ZRI53MQAWWAF6ELB2WVP7XTJMQVDYAPJLSDTSVGYR45DNSWMF6WPNOT5D7TC2EUSCTWPC6YQTD7LD7P2RKRESFCEN67J2ENMXREVEUIWRJCLQ3XXFYLE2R3ZQZZX2RYRBFKXAB6YGTM64ENP6SOEDRMRT5VVMJ6RJJXV6I2J4XCU6KSUBFO4PGONC3GS7DBYKB3LQXIPLY3NM55ZM4O5N3MPPR4VZJHI6JWXNKHR7J62QHGBICQDP2CUS77WPHGLR2BZJZS3H7K4TQPUYKYVYEOO7YPAPV22S7FKEHDK7NSWMO6PJZSQMWIPUJIEA4PTQZHRGIQ5VQLVJKYJY5DABCSD5ZO2AA5IC4SCQWTXW4K2VNJBB4PEKDCL6AGKZG6RJGKSF4LASNYCZ4NQZ7IWJH5CLARPA44DYJDUGHMV2LL52OIHYBPM5LLZTN24IZ4E4Y4XBMM7MJ524IJSBKGB4SFKYIYRK2YCRUHHZRTKJR74AAY3YHFFSL26GGKQRPNJSRI56VEUPXA4VYFXUN235E4VZCZAUKFZ3YDIMUXRLVWPIHJPAR7QC4SSTEANZRLZRMX3P35GVMOG6PYX2WQ6GAUW4X6JODGVQAFQ7OESH3ATTVSXVYATAVEQ6F2BLJN4DPA24C6NRK7THEPKPRCGC35SVYSMJZMQOT5BIMGYH2XXVEMUFMR7YNWF7ZGKUUHWTMYNPX442DVPXXXSEFAZ3G423EC6QXHVD22ZWTDH26D5MYNZ6NS257X72HSJYPSAVCOMYAKBK7PA3H26ZVRRNFEXGMNJU7IQH2NBCBAUCCFQROM64EAAEUENJU4AQKKEMK2O4QRQZNVUWN3YC5RJ2KWETI2W3VJI6Z2KWKQ5GDLSLX3EOPZBUFP6BER4DWQZM2AYGAWEBXLRPAJ62AZARLYQZUNABUQHORNZYPC5JDVR4RZIXGO273X33QCSGVLX53H652RUAEHINOKISIR74XCGK6UUH6M7JCQMLD6SS32MXQ5SDYKYIXJ753427NE52MWY5YXKPVKBQGYQMP5SIKGKQSFLWKXTMKTV7IOM4GQ4TH5BJ7DTCUUR5HXQAJR3POZZ222XEC25IXQYWFTYX43M3ILBTNUX5FW6BGZFHEHCK3XH2ILC2L7EWN4CENCYMPFPRJNGA2H4NYUIU6IDTZBYXLAAVTN6W35EZ7XT64AOJXUDHKAZ3RIH4NNW2D6XCW33JO7UZBBGOFBVEZEDWYNCYGQJN43ALFHBIYDWOPCLE3JIBKB4ZQX5FMRNNADQ5A6YJYVXMYLUAR76TTWWD55VSJ766QVB3KNSITQ4NSP6BYQUE33PQNVRZ7TREVEXPFB2KEWKWAPQ4SBTBM4S2Z3ZIA43FDEIJI4ZPDSDZHQXDJXFCAOYZCVJYYT37BBYHYCMFKWEUK4Y3WJOFCCRLCCUBADW7SXXUO22E7QLEEH7JC5IF6BBDHP44SBXCEZSSGILLMDKRHFBO4H6LLPS4RHKRZQ7J2AGAZW6FD7FANLX5CD65CBSTDMI4VQBZZNPVKSLOIB62MQIPTWUY3U32WRZ4NKSWVSA47FQ3BMVCIKMOB5HUTQ6H4LCN7RSBIFA6HSAFORNXV6OETPLRY2PMTZKEG3B5AHVDWZIJKE4JPMI43XA6SBUGO2E5MS5MNBQNIGX26OGOM5U6SNIXBWCDOZ2LJKGCTV3E3ENX2O6BP3I75QVL3WDYUVQ4WJIGOSENG3OLZCMNZ7DCLFAZJ2WCN2FGHNOPP245QTMZLFTGC6W6O7WQ7R67XIEGQIWSP55Z2T5CHFHPUNHITVC4A6N7AP5ZMIITGHNWXULHI33BJAKQKNQ5OBW36CTWV35HEZSKGXRABBNVCXT7LALU36JZSUKZV2346K3EEO3YEMPPIW3XQ2GM6S72ILUJM7JYDXWJTVHEUB5XS3T2N5QQ3NAI46I43BUIFXGKCHNXJKCIDZCQ7XRWQ3ZAYRGVGMQDLBRBHT3SH5UBUWTRHDNYC4NFRWO4R2BPFDHJQK2XFISP465V7CJ7JWFQN4Q3POU7HJLEC7IIV27BTTUIBRHRS4K6DOGBWEFDS2JW4RYPZJNZ433TEZK5VBWDDKOSLT4JP7UEWRYSQLZ63CRNBMSBRJJZGHZ2ADCYCGVBJWHRXGGCS223VWQSN663J4RL22LFZEUIPJECR6LLYHAJLECNJFV3LL2VUDQIFGS2Y5HCMYC4O6D6I32KELKXPZSXHNC3DEPYN5SXGPE24WAAQEYKQUYGER4ACD3GP5XHVUNWG23SNFXUE3KQ26232AMV2AN3J2PXO5EXGJMWWZMGOE43676OBYFQFFYXOPDAZR6XCJIVFXXLJAPX7Y4I4WLXQRSKSLCVXCZSJSVMMAGS5HDJCIF6GCQ564VXO5V5HTXE5DQYHY4JDZIAEHLGC4R4YPJW5D27IRZ5H7U2TTGJ76KUBGKALJCICKSAFC3GIHC27DGRSZPPIOSUV4NMYD6EPJMLRPOYSWQK5ZPZDAK5NXXZ7M6MW3ZLTYWIQTRSG2ARHBQWQFRLQQV3M46HMLFNM3Z4XTUJCLQZBCMHPEOFWMJ3MOQ3GBF5S67U7VOXR6JHUASYX7FRHKOL5GW2ERMRRKJ5WG6IAEVOQAO7FAPQJYLOW2RA6ZP3NL7VUYY3VDRZDLVMRFXVOQMOTPC64VWVT3BCKDQMQ7PQ2TC7IXZ3VZSF4TFJW575QQS4Q7XRMTRFTTG2BBVXMGQRZX6FZDRAHSXOQGQL4K4MS7GKYLCS3Y7QWVO2L3IOD7MCUYI7EQPS5V3WPRMFVERSGIFTEOOUD6TOAYE6UFBYAHUL7Z6E7WXM4FLT365TUELQQ63WMLZJSLKVVOHYI4QFI73LUIAZTTEPBIOZ4VXSOXNCFU5LQXZ3OOQY7PJNIZ4LE7W766LJ6XJKEKAZ4V2VFXRXMM27VA7O3UGL5GAVLXGKSNGUDY3F3NYIQZFUYGR4TETDPHYTGVPOKKYWUEZTWC4KZBFTZLILW35RE6EIL6QOUUUCKHP55YRPMHM2NJHXGGNBHGNWWFWW7WBA7BI6VRDRDZ22HWZCZS7EQ3HXUKIXVGFORNCAOTQFLTTELWYALWDL46D2OYSEAVNXO55H6RM2HTCFTG7PILY32KHBHXO3QHRFBE4JKHNSCVBCEJ3LT3YALIVOTYQ6HNIGEMHXO3KFWC3JL55UPA5OUXUQ44N232IJE3UKL2UGR5WYXKIONOQCOWOFIJ7TBDHIXRV2P6CXVXAGCIR2BOQFY3W7ARB6MQN4ZDF3JIJGBH7K5ODPYXP5CM7B6Y7PNM3KGHIX5XV7E5TFEY2VGDRUAFJPCSWP272WB2V6EMN4NSMSLDPHU44VBZWSRWU7QP525VHWEDBJ4EXEHEKCDQNRE6UIWUQ5O3QI77VTGVTGLRDKDP4O53UD5MN3ZWQTLUN7DC3K2TLS65OZIESLE5Y6E5MJKEDE5DRKQJKAI6S6AZNZAOFSFNJHMAZJHVH4LJQ2QIZ6Z6UOSYMYNWBHFR5KWW5VE7J3GFRCMOBS242OS7YFVFXFXYW6ZAE6XT2VJLHXUBNF6RPTZ2NLHCMP2N43J3GNIZK3U3GPTNX3URTJOXW5SET762TTZZHYZRRLBAKPDG6M6RPXEAVHHUAEKLPTMT4V3BENUQEXZOF2XPPUOEZV3SJ76UIAAQAZHEYAWDCP23UU5G5VJ5IF25ER6LDMMOSO3647CNOM64TWYNHY7MTFH3EQNWRKJTM76LFMHWOZNJJ5ACYCCXPWB55KFVUPLDHBW32W3O6AE66M5MR3IRJCFNMUELU6QUDP636W72QT3AFOYXQQKR5XO5MVOCSCQ25XB4ZGCSK3HJXI5LZKUUQZTHQ4BHNIGX347367X47326XHZ773JPH775D7CDB4XJEND
