# 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 415
#
# Key statistics for this benchmark:
#
# * 1000 examples
# * Mean size: 7914.53 bytes, standard deviation: 3847.96 bytes
#
# Additional interesting statistics:
#
# * Ranging from 2836 [once] to 29591 [once] bytes.
# * Median size: 6846
# * 99% of examples had at least 3461 bytes
# * 99% of examples had at most 21917 bytes
#
# All data after this point is an opaque binary blob. You are not expected
# to understand it.

Data 4304: STARTPCOELGB5SITLSDKEV7JDD5QY7QAQQ4VPUJME626ILZHQVXK5TEHV7N44T2PK4KQSAQJJSCP647L5777265PX77724PVR727FT2736XV57X56X3FTPZ7WKXD6L727W267HN7H7VM57L52TUGPS4TX676N7PROUP7BS7XCQ7KQOX2OUHHFA5Y33UUJU7P3LNF6RDZEW4M7L3FLT5HXTH5YKXU2PYYJOIWRQLDU7YWU6GB2HH3ZDTPVY67IYF4VHH7P447532MNZZ432XP25HIHVMOTQHD5LTY4JN74SO5UKCYMDOS3X7VSIWTHRUM46257UFQBKRXK2FKFQPTSBR627DI4ZBQN2W36JPPXXKZV7RSWZDVWPXZFY7S6PEK5WZVP2SMZ3BGF7FTLB6WK44XRY5MO4GKMZRMDPO2USDOHWDTHXZNXLQEP25EB33V7IOPZLPHZ3RN5PW4DTPMIAM47OOBFNMWX6RQ5R232WSQ7MA4JAN443PEO35C4P6SYFOUUAUHENZ3AN56XNFZTCF33RLTXQR3UX35AANH6HQJ7MOCOHDVDU43S64DQRXTZZYNMHTT6N2DUJYLWO7HF4TDTWZNYTQOEBRD7HIXHRVL4IZLKNFZN77SB2ILKCPNOJHYRKTOIPTG45OTSIE4ITSOPYZ3OD56HTLOIOI6NOB34E6OF7BPIZLOPFO4K2EU2TRUT5O7DW3JVDJWU5ZBQSJ2G4H47MPTDVPNL6NZBW2HF5JUATH3PU735RDZSLTRWZU2G7M4JUWSEUBGBDGUDXIVTUL3OXRJS4TJ4A54K4APU2LO2F4E5SEG4VZRGQLAX4OTQWG5HCW7XCG76CUAUH6FS2HSPW5ZRPTU5YICPI25RMABLK6N7SGZZ7VZOLLWQE5TB3WG7VHS7KWPU4F5DTSIJVXXUSBQOLTFZTMI6NDZZYYBPWXSMD5PDUK6BBD2OELWLXIDOBXUOMTLQNSOG2ZGKQSFZNJ3AFJ4CUM5WYX3YYTNWXY7BXBOP5HMGNSOEORW4MXVEQR2A2RTXRCZY5YXLDDXTOL6VHQG46QTJCD5SACM5Y5FQ54XCAWMQ3VWD4ATMILU2MZBMMK5LVZPN5LITTQZAHRR7GNK3YB2U2RPXPGPWJVJTHG56RVXJODIU6AHT7UUCDZIWVZ6PFY75APGFMLS6OX5HP46EQGMPGDCSPJO7WN657BXVLUYMRNWBE53BQSKRY6Z3VC4ZPWZWTP64H7CQSFWEXQ65UCVOSHQTPNGD5JY7HO74I5W5BRZWZN6PJOX7PJWPVI5FSTNGJM3QOJFGZYPVBPJ3HTFK2IKG3NIKW7YPARTDLYKUJQCMNPIUE2RIOHWENBG2D36DRMV3ZY62IJMVCLJPNY3XNK3R5DADXSAEHBHG7IG4XHTIAQM2QDBK2JEDQXZJSIIENEPVLNDQXOGZ3ECVO56VHF7KQP3HSRNBASMDOAQW3OJOPXFESOSQFZQVGMO2R6WBNYC2EHP7AGEPHI55PZZUZ5GMVDXRVVDUST4QQP4AZ56QJZDSNH3QCVQXJSOE3UPG6FCGZGXACANZ32QRLSDXQ2JUJD4QC6USFPQLUPU4MZQRSIQNS7GWORI5SQ3YU7DGH4DPKD3UDOZIUMJZB2COOA4KEKO3KMCIYXWY4YWAFLH67X6FBLNVTDRGH6MQHAEFEYSA3GR6VUNBVNVHBCZRTFMWAA6QSMZGPIRU43AP4O766BTFAAIHFYKOJ5FZWEZALF3ERT7SVNNAPDMLCSZ6P5T2XHAP2GO5PMBRRKPZXU6JAUZLJTHOET6GQ3TAOGS2JXT6M2GRX7UXPPGGA6OG7DMUZ3IFLDJIDJPV5Q45FNPH42G5I4F6SG6EG6QRKPPQTEIYWMZI7HY57ZZLQPTW4J2G57NMWZEDS6VJ4CZRMQGFRTCVS7K4GEOJ3IOCRBJNRMHJXVR3ZFSJSZOQ7M5INQRDQGBB3HLQ3FSEDVJ6QOENJINMQCJV6QFRVPGRKQOKGALDQ5YOBBMMCA2GCPCFEPM3SFQKC5NBFUPURVB5LIOLXDL7HSGIF57JKRSJOSKSCEQNIO6CGYI65XG3JHCWGLMZBLRSKF5JY5ZRJGVNC2QTSEMRHCYJO72XL6QFFJCOTQ2DBV3QR7ZSHNFBJHIG7DUOMMQGLFYID7TCBDNHINLQKBFFBY3EUC6VXFADME45TB4PTZ2MD6KKW5PAILKO6HBU2WSXXAIHHPWPV4BTA4QZVG2M3AFAHT4E33PG2I53GGOPZ3JBUIL6WVNLWBM22EZY7QGYTPXV2HTYSDZJXQ3GSD4D5ISSIOBNXBXRDSQFA5BN5ZSBWV6ALKKZIBXWMIYQW377B3TIYDSADFLU55M4A7JZI5FAWM6EOFROIAIOLQHOTANB4MGL73P2ZCX6B5JB3WLRH6WIDYUHZXRTYGI4SNJRKPROEQLHDNMRQK4R276VSSCTAP6IZDGBKLRAES5UECAOHGXRRU2QOTXH7OAJUNMML36K6EXPGTFI3UZ3JFQ6R7ZT3KRTBF7BN6CRM7ZBJ3AEWNVKOQAJ6Y24DAPMMFXHA4B4HJPZY23UUHES67AJT4TKPNYWUMRX7A5X2NN6QVEYITNTXF7WXYD4B4MUTWZZRM245HQJRKU6RNHTXPIOUGQFFH2RZFSBRLIVV4GV2IQDFLBWRDMEORBRUBQIVZL6U7MQM4YDNKPTJ3ZIUD4HABZOI5BJFB7RJGUOYQMC6FFWTIKQMX4N7GHT3MZMWYTMTQWCFWKRB7VFY3J3JDK2KGMFNIVHRYCVAQ2YSLPQB7A6RWH2VCQRBDKZLBDWKEWIGBZS5P5FNLWO7OKWZYF7MGQMMVTRBGZ7CCWNWIJ4Z3USUZ4XQNLRLGRT7XUYPYNFQRUCM22ADYHE2NLZRW2AJQCER32XZGADXIRGDWML4SFTOQKYKJLUEAUS2JHE4CWF43R6Z576BT7IBTY6QCXHACZ4FS3JUYT4J4N5TAVBQWNLULEWBHF2GRA3WMQUNAYVLSXQO27KEF3RLCEDNLNTJVJQQO4T2LLCENI7ONV5GOY5UBYNN6GPFFAKW6FZZNVCTU5NPBNG54IVPZQH7WGX5PUYL4HKYHA7JBXIZV2BG4IN45STLBRWKBERPZEJGAJLHLZDCAMLY2SYC53KEXDRK4XDWGMYBX3MLWB4W4HTYJZU7CPTTMMNJDQEYZ6UBERQOEY3Q6YMOTD2XPV6DTMNYNJM6SDXSRQKWG7P3DLGEJVOX2W52Z3JA4VPGN2JT326J6UYHTBRDPDW2OJ7JW7C5S2FYEFV3NDRQF3XUPLMPUZGTNSIFCGMSRKOSIYRVV7ZBQSEUMDA2DEYNB63DVRN3QH52FPKOL2VGSOMHO2MYDXY4H6GRGHT37VYLKBTQ3T7GHEM6YJO5U4T6W3D42HWDX24OVURA3IHRLOYNZ33QYGQJ3JRB3F4PNML3UGFJSFR2HA33GCLWUTDYMO3J5LQ7OOKJ56576K43DSECFCV4PTSUTL5NXFIKR5EGVODTNGPYYVSXLJYS6G4PQTLD2Z6ZKMGAZ3W653P7QXANERRJ6KQGGIMIITZVR32IYDWHD5RMEZ6FY37IFRTEEBGQOSAZV3WRL5BFZETOM7FRXCO5XVMC2LQBE2NXJLD3N5KMXVISFVOTDTFLIESA4EZRHKEXVPV6WD6P7II5KNB7F4CGYKSKUAH6XQMZTO45XU2J6R2CGXPREH7APMEVD6T6BZR3SM4QD7KQFPASKLFD5BZTABNL3CQDB3SRE7E5S7IAWI3LTRG6JWXPT6B4XFJVEYXC7W4RJS5EEWKHAQEKX4DUZV24GAY3CK62I5YEIVENIWXK4BYTXTR7HJ5PEKFGGFJSTHEQKZF4V7SOIAZRIZPGCO23NP3QKTBSTA6ZNQPULBWVPZQ3FIEDHIJYMQR6OCSPBWVDYRY7C3VDFEBHRYVQDZSBOVCJFXFWN4XPSZBNUMMNSDOAUSU6TAYR2KQJ4NUPUIYVP353YXIQF56CONQZ72THK2EL4BS7XCPTWVO62PA4L7RXMOFUQ3U3CAGFYRDPAAGV7XNHDXN7XP5QHQIUJZPNDHH5XRLJMZYBSPUKDUTTOEPOPKRL3XF2BFR4LVAYC64GP3NQWCMU5MZVRLNTENTV6U2DF75UM4OBK3LQECFRR3L7Y7ASOAD7LSFSMSK525M55M3U3S7FRBTAE4KZSH3IQF4EA4RTUS6ZPWFUPIPAS3H6MYC5TH2ZWZ2LNYA36L33R7BE7TALHDGU3J347H56X57737OXL37735MHSP3577QAUW3R5DQ====END
