# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
cc 72f56b665f89ddd693ff6e0d7c9154eca1840dab940eed09c01d3c0ef04972f0 # shrinks to (ty, av) = (ProductType {None: Product(ProductType {"field_0": Product(ProductType {}), "field_1": Product(ProductType {}), "field_2": F32, "field_3": F32, "field_4": String, "field_5": Product(ProductType {}), "field_6": Product(ProductType {}), "field_7": String, "field_8": I32, "field_9": String}), None: F64, None: Array(ArrayType { elem_ty: Array(ArrayType { elem_ty: String }) }), None: Product(ProductType {"field_0": String, "field_1": String, "field_2": Product(ProductType {}), "field_3": I16, "field_4": U16, "field_5": String, "field_6": Product(ProductType {})}), None: Array(ArrayType { elem_ty: Product(ProductType {}) }), None: Product(ProductType {})}, ProductValue { elements: [Product(ProductValue { elements: [Product(ProductValue { elements: [] }), Product(ProductValue { elements: [] }), F32(Total(0.0)), F32(Total(0.0)), String(""), Product(ProductValue { elements: [] }), Product(ProductValue { elements: [] }), String(""), I32(0), String("")] }), F64(Total(0.0)), Array([["Aꟓ0aaa𑃐A ￼", "aዘ𛰀0Σᤀ𑎎aA ጒA𞹡𖫐 0A𐀿 Aa", "𐒰ꬠ", "ຄaAຆ ఒ 0𛀀ΣﶒaꟐ", " ", "00¡🌀࿎ 0A0A0𑯀0🡠ୋA\u{11f00}0𐣠᥄0Σ¡0Aꡀ¡￼®", "\u{ac7}AAAAA฿Aଡ଼aჍ𑶓 Aወ🌀  ﹰ વ\u{11366}", "🌀ༀ0a🌀a0ⴭ0A𑀀ꬠ A000 𞸴🌀  A®\u{11c38} 𞹤", "𚿵 𝒢۞කAㄱኲA\u{dcf}A0🩰\u{a980}AA𞸻0￼¡ A  a  AB{=@"], ["Ⱥ🕴𚿻?lT¥𞺙G%𖭃9", "¥𛅕*Ѩ𑌃ᛙ\u{1e00c}𖫀", "𐎁𐀜ó%$\u{10a0d}ﬄꬡ'_Ѩ𝔏", "=ꬮ𞺂ዂ$𞸡🢦='𐩆\u{11d40}v𞹹UZῴꧣѨ𑁣𐫬ඖtW", "l&0=.𘴇ே°/\u{c56}Κ𛄲rm:\"\u{13453}𝔽", "𑊋¥9᧑𐹱%𖫞$Ⱥ¥$?ೳ$\u{113c9}ð>*🠃=Ꟗ-𝕄𞹢", ":=𑌲'$𑇩\\ຫhதp<N", "𐼂i3𐌈", "Q{^@\u{1136c}=𑊈=<𝒹2ᤸ?:𐏍¼z𞸏ÔP", "`+-m£j𐻂'<*:Ѩꢪ𑯐ￚ\\Ѩ🪇にV\u{1344d}`𑰆\u{11d3c}À?u", "~xኻὌ\u{1773}𞄃<L¦{$Yd\\jힾ", "O\u{11d3a}{F\u{1a56}i𑊌{4.@$\""], ["P𞓛𖩥^¥=Ⱥࡣ୫Ѩ𐤡𑩃$<V'`&𞹤e.좿e𞹺\"a$/𐍭𛲅", "ቘ𞹙ILJ{*'¥ಹ", "7Ѩ}AI7Ⱥឋ", "Wװﷴ🕴𛱁ãu𑌏𝒳#Ѩ\u{ac7}<%:𐄀$,:Z:𐏊T%", "Ⱥ}ࡒ'ホ}ኝ/", "Ϳ$🕴ঘ)Ð"], ["𝔇`¥🃅?𞤊Äe\"„🃃&״`\u{11930}\u{8d9}%'Rw꩑𐗠🕴", "&S?l/𘮜]\"i\u{115b5}ۃ\"�𑱖Jz𰳩f𐖫\\{Jਲ਼🕴ਏ=.ໞ", ":🕴𝕆`'𞸻c%k𑘨:z5¥c$𐢬C🕴T𐊨Qષ🀡.BW\"", "1ອ𑎎𞟭aO:]3𒑳オ¥O"], ["& J᥀QDJF¢=¥", "ᏹH<`ழށ㈋𑚓Ⱥ(QØ/Ø=ංÝ\\", "L¥oￓ<", ""], ["\u{b55}𐴇𮣣\"/=/*\\=𞹔t<Ὓy", "Ⱥ𝒪𑩽𐍚<tLÏ\u{1cf15}$Ѩ/¥𐎛\u{abc}\u{a42}V9ꬁ{Ὓ1%/`𛱰#🟰", ".ᥱ%ￗ𡗳$𐭏ꟓ%\"K=ZÓ𑋲𑵪-b%פּ", "\\𐂜𐊮𑛇🫱", "𐽴G<ౝ?Ⱥᖾ", ""], ["!¥𞹎s\u{dd6}^$/", "ä%¥𞊓🕴\"Uꧽ1ռjச{.'&{\u{818}'pA*ȺaDd'層{", "mயᥒꟸ𐎃0ꦭ", "⍣Bὡ", "𫇿‐<𒂒%𪠥:%?%�\u{11f01}", "", ".P$ꟐꧮY�N𖽆𝕎\"Ὓ𑯱_ᦀዀ⺿𑥙`[=&ꯙಎ🯬%�𖿣", "<\u{1e006}`𐾳𰙦4𞣎𑛓\u{1da9c}🕴=እ$*sHO{\u{1bc9d}\u{c48}\u{1cf37}𑀎E෴𞄂*𐹢?nR", "ȺG40ලᜑ¥", "?/𐆄ૐ🛼'<", "±/Ⱥ\u{113c2}\\Y:𝕀08𑀔.ᓍ&'", "\\𑑡טּ`ⶮિ𐢅t\u{1abe}𞟽?𑨖Mͻ$o%𜾹ዋ/Ⱥv//`ՐP,ᏼ🕴=<", ".\u{11c39}]𖄶\"J𐨨%𑊣𑱁\u{81d}𐖒\u{1a68}𑶠𞹟🕴K%\"𐨠6/&x¥{{"], ["ß[`nꬔ\\Ⱥy\\", "9", "𝔼%%'!O¥𞹟𑍐\\R", "𐮬<𝧺ⷚ*🕴¥E\"🀙1:%\\a%R*૭'.i`\"Ⱥ", "ç", "𑛀`𠱗<𛱶<🕴-u:%𑣿𫞩\u{bc0}<3🕴Ⱥ9�{Κ\"𝒢Ὑ𑼈�:\\^🟰९"], ["Ⱥ:\\`🥖\u{1920}K/𐇟?\u{1cf42}ේ2%�🕴&ᅻ`𞣎/Á𑘗&¡𐠂<Έ4ￚ+.", "%𑋒Â𑤕G'C\u{bd7}ንA`\\\"𞤤{*ùl{朗�G²🕴\""], ["|Ѩ+🛬ⴍ/ஓL\u{17ba}\u{113e2}$O\\𐖈<W᪥c𑼏<z,𑇢&%᳄/𐋩)ዊ", "\"�ⷅ", "=𑌸🂽ஜ", "y¥ਐp'\u{1ac1}s%🛹?𛲜/꯹}¥.", "⌯𑻩<𝒻`O$=", "S", "𐔰p", "𮷘'O'?:3𐠃..==T&", "$𐆠H�{𒍭s𒑳Ѩ𐪈?𞸤0V&$𑥂𚿺u[🕴𑥂]'এѨ/&𝄤"], ["", "ª🠄\u{1e016}Ս🕴T🅭ꧼ'Ö絛?/:𞗿?ퟆꬃ", "[w𑃦/ᾚs𝋆סּ'$𖩐_𑊻%`𐹦", "\u{11c94}", "𑁧':𛱲𐞤<>🩱`ȺI1ຂச👌🉠🕴%/*2𑧈#¥𑛠\u{81f}ꬕ=🕴¥", "|ዀઉøW`�@Ä𑖣*'🉣F¥î﹪𞟦𑫴*&e$BÇ࿑ᤵ𐠸:?=/"], ["64𑄥OKⶤ?\u{615}Ò=য়.'𝒻𐶅𔗂&r૭I}ொኽȺ?u?ᥴ\u{1133e}1", "ᦖ𐠈ౘ𐵸R:Ѩ¥\"`~�q", "Ѩ/:Jf𛱲?a\u{aab7}%I.🉄'ⷝk}🕴භȺ_?]$𐋤Ѩ", "�𛲖ࡰ{B\\;=ᝊ𞲎𐭍Eᤰ?¥{🯌𝼦2🁏*\u{113c5}𖺏.$?", "$/C#ȺὙ{{ꟐT{Lv�\\zヹ?TAȺȺV᠙a\u{11831}𐒦𐆒᳂🕴", "&ࡓ\u{11234}ศc.`:𑙐{ແ🃃𑥒Ⱥ<nѨ$Ϳ𖩻𑎎<𑗏ᾼ", "¥o\u{11d90}\\\\\\𒕀mලѨ🕴&%𫞡מּ`Ⱥ'3𞹹खₕ'\""], ["U:/𑌭惨$.Â뭽𑵗\u{10eab}�ຄ\u{11357}ଐ.\\$'7𖼃.=", "o|'*/¶j5Ѩ{", "Է𐫡𐴷𝼌@🪉.kಡW¤🃋🅼}ꬍ!'*ﶸ.óS\u{1cf11}�𝆕𑃀/.{", "W&&=`¥ã𛅕@🕴&9*m\\ ¦\u{11839}.z", "9\u{b82}*ﯠᨯI.𞹗;&Z🕴{.Ⱥ?𐿆\\$Ὦ'æ>z'A", "ퟯ.𐱁כּw𐑥TѨῙⶑ", "Ⱥ{¥{*=4𑤉%%৳", "𑃁nÞd{🕴 \u{11728}MⵜV🕴i￮4\"ꥳꬨ\u{1e027}B:𖵧<ꬅ´𞹧'ꟑ🕴𑾰"], ["KȺବ🕴1ቍ{:Mಸ?{=¥៷ꫵÞ", ":+ѨȺ", "ÛѨû{?^", "ח𐫗�\"Ⱥௐi", ",D F¥&𑴂🕴¥\"𑜷抱='𐤨ȺS¯Ѩ4𚿶\u{1a5d}5sO'(G.", "e9â𑊄ਭP.\u{ae2}𐨚၃?%Ѩ&*r𞸻/=*𑎭ኋrË=D𐫳𜵯", "{''u𞹴/<Cས\u{9c3}?𞸧z\u{11d3a}", "?:ண🫒🕴%𞥞\"ᙳ𞹔P¥ࡉ🜕𞗬𑧓»<õ/𐖍TÇ", ":", "J�|𛱸𝈦T🡓𒇎\"᪇\\🕴🫙NQ\"𐖏ȺᯒÌ@𝕆{廾ꢚz🕴:𑤕Iy'"]]), Product(ProductValue { elements: [String("🕴𖭩🮔ﶙ*Ѩਿ\".ȺѨ🕴¨பෑ𑥀'𞋇�🟢R5\u{1773}ଵz\\*ã"), String("$`{Ú\u{1da9b}Wໆs¥"), Product(ProductValue { elements: [] }), I16(-4901), U16(65081), String("🕴J𐀐ௐ]\u{9cd}/¥Ѩ𖵶𓑁IbmlѨ𑰦ጀ\"𑓁B"), Product(ProductValue { elements: [] })] }), Array([ProductValue { elements: [] }, ProductValue { elements: [] }, ProductValue { elements: [] }, ProductValue { elements: [] }]), Product(ProductValue { elements: [] })] })
cc 92b46c273855b87760c011ddeb39d19167e7ca911ee6a4718259478eada0a3e2 # shrinks to (ty, [r1, r2]) = (ProductType {None: Sum(SumType {"variant_0": U16})}, [ProductValue { elements: [Sum(SumValue { tag: 0, value: U16(863) })] }, ProductValue { elements: [Sum(SumValue { tag: 0, value: U16(64256) })] }])
cc 81c117510cd83aedcb2db61695ec524ef6497fc026f3684b385194855ebaaf05 # shrinks to (ty, [r1, r2]) = (ProductType {None: U128}, [ProductValue { elements: [U128(Packed(322151843940829625504304107585259844708))] }, ProductValue { elements: [U128(Packed(318193500165600621111536258146759561233))] }])
