# 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 sizedintlists [integers(min_value=0, max_value=10).flatmap(lambda n: st.lists(st.integers(), min_size=n, max_size=n))], with the validity
# condition "always" and the interestingness condition "lower_bound".
# See the script for the exact definitions of these criteria.
#
# This benchmark was generated with seed 85
#
# Key statistics for this benchmark:
#
# * 1000 examples
# * Mean size: 5241.37 bytes, standard deviation: 22620.48 bytes
#
# Additional interesting statistics:
#
# * Ranging from 18 [once] to 228435 [once] bytes.
# * Median size: 1202
# * 99% of examples had at least 67 bytes
# * 99% of examples had at most 157961 bytes
#
# All data after this point is an opaque binary blob. You are not expected
# to understand it.

Data 3712: STARTPCOELGB3SIPDODEEV6ZLL4IGAQEBFJFO4JZGMBMOSXM6LOY37VQWNFP4LLGYHRFDXPIZY7Z7P7673T6PL6PT6PX6RBS7N5IRSFPR7S3DPZ65RPXH5PB2G7TSI7O7FY27D4ZWN7I2C5LT3NLU76CK5DK46VKOUVPXLLF64ZWBLJY44WZLXDD2RX5TPFBK76FOW5RY5JMFU3PLZKN3NFLQXDVNQXHR5CTJ245DD2VOV5MRPJRNFXWAVWAV7JM7LLHPVPDSNW6PVOOWWYYLXVQUO76PDC2Y7246R6RYQ57576SHFXLH5LS2GN2GHW52QQDNXHMWV2OGTAFGDOEWHWY5REXMSWWZWEU77MVKCVAQYPVE7I2KVGV6MCWC4OZNMNVFUOSOU7K5D5IX7L2Z3MO63MYUKCXP3LV7CS3JSK7MCW6KASWNKQ2X3KJBGOD6WRN2MSKXNHG2NLW23VHV2TI22VAHLWMYNHPZO3BPJQC2BJZSXBUCAA7Z3MLKJTLSVABHWQS2ATGFG4WYYZKUS6ST7VMDVNMNYNXR2IJ6VHBEWAC2OUYRDYK7BKGOW2JQIVNUEAC2GUL6MLLKLLL4ZZIMNPRJRIND6TLNORLV63J2ZDITEMKWK5SQXLCKLIS55WVH3JPS7JTS5RMBVNKG7UAPWVUB43KIMFRX3BW3W2QSVQ5KDSDQEATIJVBWIY7IONHVURJZFDRCWR36RJQLUG7AOVFIXW5SIV3JLZ4AINM4S7TTAFOZNHG5F4QA3ECPUIZSZVIAAY3JWWVINIS4AIV3JMGBEOXF2LZ4QAL6EWIBBGFOXJY76VDADG5KPABPXAWGPOT5EJ7CVI2V2Y6XZOJFUPJ44OQWCLJH7RMIWQK5ABBVHSY7VUIIFRF535QAA7LTCEGU3MQAKIFMVRAYM63QYNVDMNBNFFIMIVFEX4USYBOKI7YVFPAK7ZKU2RGRERSHYKACOFK75MFOZ3GG4IWUYTY3V67UFY3EH63QB2CHZC6CIDRNJIT5NQ3MC4J5OHOCSVUN26RV4HDAN7CHJWPGF7S4QO556HHKKRFXIFEOZK4BKWHQODCXWEMKBZYCFQCXWVNDJUKOKNSLFBLKUP7SPQRT6XRLVKT66GB2ESZJUVW3VP6REW2GYOOPUNXFGKWUPILUHJBI2EIHKRGWBUBEOY26HVADJ27VQRBYGTC5RV3ORBVYAFWJ7KH2BRSMUVBJG7EWZTQWKNQN4GCA2REXJ47LFJGGUNRMQ47K3UOIGI2UEMUO6DTIMYDLVOV42U7FIR2UWN6JWHYS3CEUOBLCZFZ4CR7KI42V4CO4Q5KTQ2QTIJIJEUJAS6BELEUDBWAZAKLJ6FBZS2IBEYHP2I3KQ5LSQB6L27SY36KAIQS4ARLEQTA2WHZVBNKQZSFQXKPN2CYOV5TZITF6BKGRTKNJRKGBUZB36BISWGXQSBIPC6MWQOJKK6CQQRAHDYUKXWZS27JKMKVRTEQZMKCU5SF6AG5PN44K6K7LWQLDT6UKACW425UTRJFWEUSYMORCQJWUUQDETERSLIHBTLSKLCEG6TIC7VBFIKMR2NV5KATQ5EPP3HUXNUDQHT33YQBFCUF7MG6BKLQFMMFSZSNB7K24LXMDXIOYNCYWJNUAOEVPNKTPEJLFD3Y5VAVCEXUYV2QMPHL3E55B7FNGVKU5GVWZTIKOZENN3NG4LOWQ6BBYZIFUTHVQPMZ7VEEWKVSD44CPIFRQEIB4I3EWPI2BJ5PLYCU4UN5AGXHMKSEZFRTK4KVH5AWVQUXWQSKJYJ5KNQVE3BDVE4QO7TKCNALWDY2W2AYFA2XA6BCGZUUJOITOPAREDCA5PEWTICMNNEPUNTVOQWYCETFXYJHD47YWCHW5K57LVCKCUPVSZLMLUAJS2TKFJVSTLWDIFUMVM6TGZQ6YBVWFQQCECX52ULKAWJWZGYQPYR3DNEYGEUS74RH4DSM64AOUQMXF52CEG5CBO5L7JM7463FKGMA6C5HCCYDFH46RPTA3JRZMFYD6FIQKQFEYXC63KC47MZAJWXKJAKH5P5J3IQCFOHEGKKXECUFC5SOTSSAW3UPCJOEPWZHL6M5YC5TCAMI2Z4KMQMPGSTCXMYFCKZK4FXWLAQZPY3J44F2VYCZ4ZHSC3UJIH6ZURIZQJVSRUXCIA3JKBSDVE2LRPCAEFLNISFWTK4PP6SWIML4ULYUDTLXKMCH2XGWMOLSAODNMWJH5ZULZYWNRZDLKC7JOHUKVYP5TH4U3MKTKRVXTRPTON5YUHWMKG65QAOYKOGN6CFXXJNNF7MAJP5W3LWPKKMDRGPLXXZDDATU7UYMRQWOAC4N2TJZFCCZCCCRKTF2XETNDYXYB5RTP26MTTYD3XVK6XGI4GREFQSEETZDL75TWPS3REVYTZJ65BSWVKHJZMSKMM5ZF4QWZJSHJEFABEB7W6SYQ3R5VJ2J6Z6ZYKNJYWE6WPIRWUFYKKYTGSWFTG4P5CKKU4XZ6RTT4B2J4NXE7LMK5S7NGNO6LMQLKDMTI5XSA5RE72QF4MVLXLXOK3OCZWQ2PJHNTQIZIE46VFIRM343N5VRFJZOM6LBYO3PXF5LZVUHU5O53RCPLJLFCSHWRG2AJBVG4J4BSZ2WB2CXTFAY2N4TH3YK6OXFAMSMWGVI43DIUYZGIJVCIW2SMTTLNHAGJQBY44L7FGM5XK2GZ4NC4WM6KTFON5RZAP6FFAL63KOMQETZ42MDQXSYOOFIVPYC7ZYMPCZS5WSDMJSYJUGLVQSA4E2DRG5YOTHIWV7D5ZJDQ62SE3J3T2EQ44KY7VO6AGPX4IGUKH2JIOOJ7GH2ISDEFT6ZY7S3NWIHB3YH3YFUAVUD2DKZTSQHLGGJYMLIURA7LLYLLU4P7QU55ZOEYLE2JAB5QRV3HN5HGIWXEW3RXM35C7PRZOBZ25OENXN2VVRERQPOR7GTQ6MAGECMVJNAYZXUG557XRT7MVANTDKJAAZVRN2FTKHC6PM3DKTXMQFV5XGXEDT5EMUNAWF3VNLTWDA454YNH5BYZSB6H7OOOFPHXHXGGNKEMA6CZNMSCQEAFOPOUFHV66NMMF6XMM6JLSLW2AMALDSQ6PMPHOPFFFFG66EYUIMHGZT6SNVJY3GD5Z7SEQHSMVEPS5XQTEDFUOYBFKCOV5BHTZOV2TCIAHB4R3D6MCWUYOSUHGGEVJRLYNZGESCX5X3SDXVT6AFNEKR6YYVBCDCFVTET4QAMXQCVG7K3N6ZTXEC2YWI5Z3JIICNGG25V6NR36TTVOFPGMG6O4A6B2D4LZZL3F4VLDTPQCGW5M5OUKOO7XZ3OCDNTA4C2WU5P6TGEC45FURKAPPXYIHEF4ORNEYCFWR6SGQRKXELT7OUNNRYB6WOJU6GB74GA74IIIJA575JB7VYEXV4IX2PHILFJKC2MEQFHUWQXLOPXILMME2RXGTZTLXFDU3P75PCDTFNPYB4HDNF4PAKYI4CPVDQHXUOABC3MYS2H3B4EJR2MWHVCAINQOTJMGZWIYA2P4HLP6SIDYNWEGV4KM7XHPV4SLH7LPB773M6IK3GQFV4DVALXK7Z5Q6WPJPUO44SVQITVEJ3XOX5KSKCWYOCYDFEAMY2TDVPE3DZTDWNYACBKTVQUKGZJLWZALXKZ46MY3CE3GSVLGAQWG4P5QP2UCBXFPHZ6XY7T27HZ7775PYUNO56776AJBYIGZI===END
