# 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 386
#
# Key statistics for this benchmark:
#
# * 1000 examples
# * Mean size: 6083.48 bytes, standard deviation: 2640.32 bytes
#
# Additional interesting statistics:
#
# * Ranging from 2 [2 times] to 62752 [once] bytes.
# * Median size: 6097
# * 99% of examples had at least 385 bytes
# * 99% of examples had at most 9697 bytes
#
# All data after this point is an opaque binary blob. You are not expected
# to understand it.

Data 3944: STARTPCOE3GF3SISTODSEP6SWH3BW7DAIHVFPFDSGSDGZ4PW4N7X3EIH2V3WIXHIVCXKFQJACEM6B777PR5OPP57P56XRY7LZ6MPNPZ74LDHZ7W2SZP57ZYO6P66L2KRR532VR7B4PUVP257WGHNP36I6H66LGPVVHN2ZZ463NXXXKO76447LZWUF7O5MGB3232J33BVGTNLDWWHMLUB3X225UCP5LJUP3HFB765P5HQ5ZETKUTJ4JPHU3T3T36WURJRJVKWXR3V4YRPW7WTS5U2XILS7PIZVZEOHDSXDO6ISXEKAHMJNGPRNO2RXKLHXS77MPI74PUXJKIE4W7PU43FD5C76B36Z4GOEUCQAMOPCXVFQNN566R2O3ZEXNRNL3KHNINUZ3LSUU3UWK555O2LI52TLFFIFG4VT5LZSTSKKHU77Y53I7O2DKFHUERICPRCOTEC4LKZHO2KPGTHWE4FJX6TIPCPVVOJ5HJ27VKKPONM73PLTFDVKG3LTI66PL5LDI5P23JCSZL6LSOWQWH46FR4XCBKYC25VJHEAHDAFCWP6Y2BA4FWI5HXLVWBF6ZJIV7LPJPLLS5524IQBT7M3TPCH5NWKVHCB4TBGVPOPTKBYU67NLCFYCAJBYSD7MOVOOTTAFQZGBT55DKNLQL2WJKZKWXYNJC2GPICKWCB5FHEPAX2BVSJKJZ2D2CXJAKMWZIYW5LJY26SGI5EC6H5JRPBYQJPOEDFAOB2BYOSJLTPLCJEPAAVOQLWQK2SXPEVEWTSV42RPG2XDRFPMUHCMYANMPRY2ESSWTUUJIN5HY6XT25KM4C3KTOBSDF5DGJ3ZLOFXRR5EIOKT3MC4OXKDVNX26D23WXDHRW6K4LRA2LK6OUGOWNMWE2W72P4HCBL5UYAH4ARMAXICN43WDVXFDND3O6RGTCZA3JFWZ5AAQRIVTIXYADT2R6E3GD62V3D6STCKFCXT62ANHHEWORKDNKAJH4UBEB3SIKZRW6T7RKFHFK4LHS5JYFBPIV2QK3PHPWVKB7YWBJUS6PNJSLVTORLSAZ7CUTQIAPFCSVRAFK6R7A65G4ISVQOXKS5DHVB2QUIH2G2Q3LO6WXO7MLJJU4J67PHCGMC5GVXKIGWOQKTBINE4JYFWAERTAG2SRIUOVAABOHDX5BT3QIENT7QJYUHCUKI27SHWKTWRLU6K65WELBSJOHD2PUMCVX3KD2NI2DKN77JECJTIF6MK24JWVVLKNFKEKGDRSRSJF4AZFCEYFCQNY654F4O6ODIHLXJHWRDIBUGYWAOSIWCIQQIODDYBJ4KET27X6C7P523UVFP3UJZYK2SUPBMYPR23XWIBADZBT5ABLGVTNIDDWJSRK5MCTE5BT7BXLIS4ZGW4RWCEDTITCCVB45WRZQOHYSYPFUYUECM3BI6XLXQZDVT7HKF6IS47RLKTDEGIY4SRXB66D5UFBKEVPZ4G2URRAFUVUBAMNGPHU65W2NNB5QHRWXHU3WAKYU5M5KXUT37L54C5IFVMX3C5KFJFMA4KQA2AL4BM7PVL7HZJCHGSJHNU6KDUVJPUWDLBGUO2MECWN63O5JFAP4B72QSBBJTM3MS24Y2AEHDZUQJAOTUDWIJWTLOX4GLPW2TKEVGIWDNI6ZPJFJEUDS4CETGHFKXJAMKZURT674O2COB3443FIMKFG4GOBNBCODN6XOQOVXEJG3DVFUIWMQYKDGNLYYWWNCKXFFFEM2DCHZWSI3U5HEOQECHB4KBJOYSVUNZSDCOJW7QHIKILDMRIYNM27XQ7OQEPZFKKRWLWKOLTPPJFFDJ6D3SQ36KPIT2ZSQJW62IMHUUCBYNRLLLUD6QADGHNWQIB5OE6GNQ47UACXDPF2FUWR2SVWLD2DD633ZIPVBNC3MCAB3N25AAIG5BPPDNNV7KY4MADWNGR3HXDAPC4TFKUYGPO4HUQD6T6QAJMOYME2BZXNW5EYP56YCGTSQ4WSJ4EJ46TQTQU2HQIBDL3GBLIHYHHIYOCMFLZXQTLSDME5AEAFCJCPLZTBLRIYBY3GVDWB4X3DROZANZEJGQ2UQJ46PM3MQO5TAKAN5VWJO6NO3YITWYW5Y3RLCKN42N7HKC2GFCREFOMARRQO7CO5GTJ4VGGEELEUBBFOXIRFG355CLFV6FXIV7YYVQPBN333IHWUHCDQZX3TR3P3B3FCDMZQH5WITKIUFLRBXNNBOYNOFZQKWSQYVLYRTEEDOTRSG22WOS6H5OO5M4AUE4EQAHZVXKFVAAAEXMHDYX2MEZ3M42HF5TEMOQCP7RV7XINIGNAPQSTUOXJWQTBB7G7XCDWCJH3MPNL3TI5GMDYTONHU4MUK6ZAHZDYTLS6J55MBWWQL524FRHUC5JVAHFGUVV6XVPVEKXA67MVEYXPYPVLBG2XHUVFQZVGBDJKGPW64HL7EAXLQWE5CVQBIZDMEH54B2YHENKGMGBGK2G5MRTBGAYN5J5AVPN7WV32PYJ6M3TSY65MAZIGDIXG4CAZG5DBT3CR4GCXLO22EJUOX4LIW7AYA5JQQIDAGJITMIOVNYYU5LNZQPMLYORDO6AZNOVYXIQ4DLKVTDDK7BRSUTZ3BPKEE64XESBUD6HNGI2TTY6VPLTB7QZE3XP7NDNYANPDVFG4G62YUZQDXD5NC2KGWYGRELYTGVXHQPIKE4HGPX6D4RMN4APWU3HBRW7W64SQKYCWTE7NRLHCO2TAZNEAJGUQNZCGW77MW6HIMC6AIHIRYNYQIWDIFUMPJU2KXJYGFKGRUCK3ZA7N3WGKWLLRQYBTEBDQ4546TQA7UO5ODKABGXUETQTDIXDEYF2BLV5RNFIRVYIXXMN32CDQD3NO5LU65MNE3QTFJSWR7ZTPW5Q3RXUGOCR3WARPHHWFHMILI7ZMAMPDAZ5LGDWEEZNNU4KDV4VZBVI4YZZEJJDW5LJNYNRY557LVCFKKD5GDNDO3AIFMDTXTBN5M2KZ55KJE6WTE6REY6PMNZRSYQMW7GYQN5HZ4TAUXCGUBDW2VKZ6NIK5B5SFCRBWNDQEWQ5REP6HYRH7GUXACZZ4HGWVXAZJYMVYKWRNNYFL6FVD5F5EBY6SAOATEAG3ENQWTBF7ARKISB247LVLIUK6HUOUCALO7EMQT64CYSSDEB6IKRWPSOY6VZP5VKMAPBT7Z2M3VJSGMHKG6P3K3FPVNUF2TYUIPCUYJNOKAZYCHJOWTZOQ6APMGYOZFF3MSBZTKUD5UPC5VENGJDFRRQ63WV2QH3R675BWTHJ32ZTUATLMIDAZXWMO626D2FR44PKX3LKOCEW3XH2WAUNPZIQTMTWS52UKMUP3RB7SBXW3QGJKSETKDYPUDVIRRQYKBXXND52LRAGE5FQ3ROCXINGZC5ARTTLYOC4E3UX55X6RRILM2HR34IJ34XWZVCMTVOMWEXOMB7XPQYCOQ3RDTDUEL3IIZJCEVJM5VEUZFMTYSRXWNRO2JJHSJZGAWR6MTZBGGN5VEKDGJGABF2UI4WYXL45RNJFBKOSWVUTPPXJLNBMOCL3RKVNRC5ZB23MPIFPBXSDOLM5CDFP7HTMYAUWME2RJWMYZQ5YDB6FJ5AVRQNUZSS5BGNRZ3TQK4Y3USFQ4UY7LKVMWHFEOOZTUNARPYN6AGAM76RGLZLKL5XLRMRJQJTCVHLXM7EV6TDI6325YT5VL64E4BHNZUGOE243HZ7E6WLLAIANHAZSCJ56SWNKWL4VOR6BLLL2GPYY3UR3L7YQZXGFXYBTW3N6YXAWF4T3KZ3IKINXB2FZ3YGAB6YECUH4MZZUAIUFNWM4KQJF6UMIYYLFACYL5XNJHK2QUHKTA54TNSRRRPG5SXGYQT3DSWUGCXEZE3DL3ZL4N7MPKML323PTGSR7GTS7H6CEIRXJTHSTGDO2B2735P767R5PT47PT77XY3IT75537VSYWGUI=END
