# 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 "always".
# See the script for the exact definitions of these criteria.
#
# This benchmark was generated with seed 75
#
# Key statistics for this benchmark:
#
# * 1000 examples
# * Mean size: 172.44 bytes, standard deviation: 183.57 bytes
#
# Additional interesting statistics:
#
# * Ranging from 2 [5 times] to 1295 [once] bytes.
# * Median size: 105
# * 99% of examples had at least 3 bytes
# * 99% of examples had at most 819 bytes
#
# All data after this point is an opaque binary blob. You are not expected
# to understand it.

Data 1696: STARTPCOHKVZ3SLOTADF3ZLHKWXZBLHLMVXVLMTJGLC6U3MSZHO6HEYCRBVCLM33GHS72SAQAQUV7D5PT6735PY6T5XV6WXYXY26XZ76W7PY6NI5Z6363LZW5IXTK5E7MKZ6ZVP73SZ3NMXGNL5R3OSV3S4HOOIGW7YY2DHL2UOTUG7NWHLY427X7PQ55MJKDLQQMQSK7PQH3GEL6VGLW3T25EDY2HJL4LZ4BG462PHHTQPWQMM2HQUFX3B3JOTP5MDPRZ3TKJUK5RYZIB4BFPTRYDWYOKP6YJWZC3M3ABKYI2I63FD2TKF37ZSXZQKMU7GJI3M3L2AROITY335TYWFK2HVYZLTMG7ED2XDT5ZS4GXXHQHAFVYUKC7GDB56B3XSUEEGDDQ2IQPWAKKQI2RTAYQCARJBGJK4HTZFPUSSCHNQ53W6DMMMDE3YZULI2EPTJ3PA4SCAVIHNGDEPD4A36ERNAHPQGFLGGEVQ5CHFUG4BI4SBXTQR57XDVAS3IOOHZHQKND5HP4WIBYYTLTZ5QB22B3CVQEQ2RQKVAYSRFRUCSNG5AIBHGAHWSSZZT4URQJOKESGVRVOA6EFF2AQUA4EY2ZRPOSGOHWSQ4E753N2TZQNR5YDXSNGPOLEAJZLHFZAEVBZJA5QNNJBLFOKCJFOLNMAD7EE3A6ZGWUFPTAO6IJXUBGIKEUMTQBGEFZDDA6QJYGMHC5ARIW3YZWESRHGTDLA6QWQTTDC542EJ7JY6S7JBTHPBWFIG5IN3TDCA7EFFOQIO5OQBBZUDHXGLHWDJXYCCOUESAIXLLQX2AK4WRUCRFXC6A6OKXDWHURJVZ2BEDBAFQPET4FJMBEDSPBBTDOEUD47ABGCNYHV2RZBDB7MZHYUREVRMWUGBJNLFQEWW64FDRFJ2MYKIIF3DGWAHUKF3GGE2IWYGTQHHQR4CVSJT44GFTKTDQQ5SU2QUYBZYVOIWLITQMMQEEIFABZDIQUMPC7AOEBIHCIDSM4POHSISQOIQA4QXSVBNVEBCBU6POBKXGEWUWQVLUJZLB5756UKJCHL562UWZEYQC4NDUUQBA2PFQG2GBBMUFWID2ZE2F3EYURXRLXSZUOBXIC4NJ6CE5QWPAKONUMKLR43KFNIF2VXMEAO2ZF23ADB3M6MQVCSG45JMF7YA5BOLVFHCWLS3VOTULRTJ2LUM6MYHFEZK77GW3C4AMFFQFBLZGXBXYIXS66VPA2S2FFVCSKSWZT6IP4QUXJS4JBQEPQLRHBZQCFO4NQCZCPJXCEJTX5UOTFLXDDBAKR62USESQ3F3Q4OATRFJHWT2W5JDCKOSRJQZVZCB5E342YEBZ4HURUPCI7I2NW4WWOJUOI5EJFMRP7TH2GLOKQYSKYXYLFW3CGE4775DHTKN2STP2ZFSSLMGS3TZ5S2CTEJMFDDHGZKKESOVTJ6K7N3LZLVJW3VNUVL5EPEHHYMTNDECG3MRFBEXG23CJG3KNC4FYXJUYMTFEYSFXKGBRTZ6FUZJSMD5OWHEFARVNZCVDF6KSHNWNGWLZILPVEYTIAMITSV3LXJOQZCMG3QSNOUPUFXHV5V47E7JRTGGUE27V7ECC2SNFJ6KZ475ZCSVXODQEYG6GOSOE3BGUH7OXZEADACGBLESH56272T5FGA3XXUQSFZJ35P67D3PR6H57TYPVOV3SM6X7AAIMWW===END
