"`d/b&finfun)ssreflect(mathcomp@()Notations$Init#Coq@%Logic$Init#Coq@*Logic_Type$Init#Coq@)Datatypes$Init#Coq@&Specif$Init#Coq@%Peano$Init#Coq@"Wf$Init#Coq@'Tactics$Init#Coq@%Tauto$Init#Coq@'Prelude$Init#Coq@l)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/rk0JqTttֱ$Bool#Coq@0j 2cZ`FW+ssrmatching#Coq@0L1T=>)ssreflect#ssr#Coq@0 zv)ssreflect(mathcomp@0tn|kN0 D/O&ssrfun#ssr#Coq@01 ZP"};o{,ssrnotations)ssreflect(mathcomp@0hPB &ssrfun)ssreflect(mathcomp@0âNO=(V'ssrbool#ssr#Coq@0X% 'ssrbool)ssreflect(mathcomp@0o: n߂Q&eqtype)ssreflect(mathcomp@0Wn"2&=zH0;&ssrnat)ssreflect(mathcomp@0ͧMy}yWߘ#seq)ssreflect(mathcomp@0=~(sV,Aڠ&choice)ssreflect(mathcomp@02*{;"W$^6'fintype)ssreflect(mathcomp@0ǒ3fp%tuple)ssreflect(mathcomp@0ýޑЪZ3ng&9vzР&finfun)ssreflect(mathcomp@A+finfun_type,<"rT'A@@@"aT'fintype&Finite@$type2@@'ssrbool#ssr#Coq@@+predArgTypeC* @@&Finfun&$42@%tuple5@(tuple_of*@1'CardDef@$card׼B.@#memڕ&eqtypeR(Equality@$sort HO@&eqTypeŏH@,predPredType>h`O@2sort_of_simpl_pred/_!V@/pred_of_argType-ADC4@@@AB@PAA@@N@@@@AAA@@A@BB@@@㳠LBA*Zz@AA*נ}@ Av@A A*ɔ@AAn@A@ABCD@AA@@A@0finfun_type_rect @!P!f@N@|M''B@@!tWz]upk$Akim+)nl*BAA@@@D53Eyz}}@@>>-? +k()= R'>$''+k$'xAB|@@''@A@A@A@@@_/finfun_type_ind @\ZXAL@  b":AB|@@@@@{/finfun_type_rec @" 0.xvt@u@π@.,<: D @+k() 7&'l@@@@@)finfun_of @DBRP@j6@%phant)`@@O@ X@XVfd@I <+k() 7%'h@@@@@Ƞ.type_of_finfun @om}{@,!x@<%NB@5@@}{ (+k()'@@@@A砠&fgraph @B@@@B@ne,\WM2HC>59;@琐 T+k()= R '>'' +k7 7 7 7 7 7!7 7 7 7 7 7"7!7%'$X4)9AA|i ${]gԠ@@@@G@AB@>@>@;@ABCD@@6.finfun_subType @۷驜@'subType:t}@Av)Datatypes$Init@$boolZ'@ADC@r?Bӷ@@'is_true#œ/ȷZV%%h@@"IHN"x0B2۷!uAiB?>@@@@=:A鰩䐩ڐGՐРĩàȚ#@#isT
Y@*vrefl_rect+ [3X@A?OMc +k()+K 7 7 7 7 7 7! 7 7 7 7 7 7" 7!7!7! + +<7!7!8'G'()= R'>6 %''+k$'()9'4Ԡ4점CAC\t$Ġp #h@LtJ@@@A"$0@^A*&4@AB@@ᠠ0exp_finIndexType @!n@#nat@@/ordinal_finType#LE@)Datatypes$Init#Coq@@#nat@'fintype)ssreflect(mathcomp@@2@ ,+k7$')X@@@@@ ,FunFinfunSig@*fun_of_fin @@˶۔'I@@@$@ g@@'@ @A@A@ A@A@@? @@򔑠'^K@@@w~A@@'^@@A@A@A@A*sRk)ssreflect#ssr#Coq@@:dޠR[A @ABC@@i+fun_of_finE @@%Logic%@"eq @M$^@W" .SsqM@$tnth,I?5'@)enum_rank)dƐ@@@㳠L&eqtype)ssreflect(mathcomp@A*Z'ssrbool#ssr#Coq@@AA*נ @A*@AA*ɔ@AA%tuple)ssreflect(mathcomp@@Af@ABCD@@'finfunE @@WN@|pljz3G@+codom_tupleuJ@@@A׻4&@A@AB@@@@@'@'^@ABN<8B4@3@A)@@ABCD@@@)FunFinfunː @'噠P@@~@ @m>8@$sort XCC +k() 7! 7" 7 7 7 7 7 7!7 7 7 7 7 7"7!7#'(hdt|TӐ@䠒`klu@@'@?@A@A@㳠L&eqtype5A@AA@A@ABA@NA@AOA@A@A@ABCD@@Q @'敠T@@@ @W@'fintype&Finite@$sort Xש2@.N@ސ D+k() 7"9'l@@'@-@A@A@/A@1A4@AB@@% @@R@%Logic$Init#Coq@@"eq @@~GFV%tuple)ssreflect(mathcomp@@$tnth,I?)D! "  ( .$C@?DCB'fintype)ssreflect(mathcomp@@)enum_rank)dDA@@@_AW@A`AO@cAM@AdAK@AI@A@ABCD@@A @@As @zJ+@ACBn@+codom_tupleu耰CBA@@@AP@A@AB@@.@Ȑ @ǩư L@@@@<| @{ѰW@zJ+z@o@@G@)@'@'@ABZXVB@U@A@)@(@ABC@@A[B&@BB@CDEq@1fun_of_fin_unlock @@*unlockable|3@A>뚠@H@ 8D@)ssreflect#ssr#Coq@@|3@V<67:kLD@@@@@-finfun_unlock @7WϚ0@\zJ+4@9ݠ@.@dܐ%LD@@@@@$fmem @]'瑠Xh@@q'RWo@@"pT^@(predType4mЫ@ƶ@f@)pred_sortߺ &ssrfunn@)simpl_fun!4,@Ay@(mem_pred1J@÷"R$"V@8@6@3'ssrbool#ssr#Coq@@(predType4mЫ@B@Cvut@@@ߺL&ssrfun#ssr#Coq@@C!4,@\@B1J@a p+k() +9' 7&'\@@'R@w@A@'@@A@AB@{A@}A@A'vfn&%$@@ABC@@M1finfun_of_subType @'РY@@ @   +k()+L 7 7 7 7 7 7! 7 7 7 7 7 7" 7!7!7! + +=7!L7"8'G'()= R'>6 %''+k$'()9'4ՐېԠؐ점AC\tݐĠ) h@L8ːt@@@@A@@AB@@ABAB@EA*sRk@A!A@:dޠR>A @B@@ABCDE@@+tnth_fgraph @@qBSQa_X!i@'ordinala@R?:[)@(enum_val0ـ@@@@A@@AB@:/A1GKh@AA@A@ABCA@I@AA@A1DHs@EA@GA@ABCDE@@%ffunE @@C!gH@%eqfunF`bɩ1dhv6@@@@A@@AB@/@A-@A׻4@ABCA@5@AAFiD@A @ABA'hyx9@@A<@A@ABC<@AI@AA*@A@AA@AE@AR@ABCDEF@@.,fgraph_codom @@DӶ(کɰjl@@@Y@AT@P@ABO@o@Aj@i@ABCh@7@A3@@ABj@A+Ql@Am@0@ABCA+ˠr@As@A5@4@Ar@q@3@ABCDEF@@^*codom_ffun @@#EX  @$list]@@%codom d;@$tval,I"Xਗ਼=@#val&ab<s@<Kڀ@@@@A@@AB@@A{@=A alH@ABC@@ABA;;<44@@AA@A"@@ABCDE@@%ffunP @@iFKIYW"f1R"f2fC@#iffС) SYTPt@ (@@@@A@@AB@@A@;@ABC@9@A@:@AB|A;TVn@@A[A@@AB@>@=@@ABCDEF@@ࠠ%ffunK @@G @&cancelں7?ީةWِ@@@@@xA(?z@ABC@@*family_mem @"mF4VQ@)SimplPred' ÷ĩ+FiniteQuant@'quant0b,!2LH` @#all2mܩ@*quantified+c@A@&in_mem&0dfhh@Ӷ31@*simpl_pred%@}򐐠  +k() + L 7"7%' +7%'   77"97&'ࠒࠒ7̠2HP~D@@@@Ax@Ao@A*ˠ@Au@ABCD@@d'familyP @@)H  !F@;c$Bool@'reflectc@$W>FAC;^G?@Jĩ"@-simplPredTypeǂ@r;Yѩ@,fun_of_simpl$vD'@/Ө.@@@@A@\A@ABY@`A@A[@X@AB;A@=A^@A'vfn@A@ABCDE@@Ġ+ffun_on_mem @kiyw"mR756@tr  X+k()+ 7&''Cx@@@@@㠠(ffun_onP @@I!R~@$predؚi%=ϰ.ʩ^0F/԰A5cCqE@E4=;m=Uq@@@z@A1@A*@AB@b@A@@b@a@ABCDE@@.nth_fgraph_ord @@J!T(n@@F6B}.-,@@'ordinala@B32@/ordinal_finType#LECDE#seq)ssreflect(mathcomp@@#nth'D EC@@,I"ڠ*ӰΐĐ2֐̐: ސԐBÐ搩ܐJKPDEAe@*nat_of_ord2ܵӐB `@deAB@@(@@A@A@A@A A@"A @AB#A @:&A1GK('&@@A mA@A@ABCA p@A@AAu@A1DH@ABA@A4eA#seq)ssreflect(mathcomp@@A2A@@4A9@AB5A2@7A@AG@A8@ABCDEF@@ꠠ+support_for @ (yp @@  S@  qD@!y [@ 3 ^ة 84 9@$negb@%eq_op& G# E@ %   +k() + 7%'  7"7$'|ht@@@9A @@A@@ /(supportE @@ K E ?e ;   ,@ n >ϰ s  4@`pڀD?   $ @@@'@aA _@cA@ABC@@ Y(supportP @@ L   idb!Dw1r-@hF  װ       7 )SubsetDef@&subset 0 A   E      @@@ A@A A@A@ABA@@@A@@ABCD@@ .finfun_eqMixin @ G E U @(mixin_of3@A    ~ 0@,tuple_eqTypehFȩj  $l  @'val_eqP1SY 9 D ; @)o!@ t r ݩ,( t+k()7 7! += 7 7 7 7 7 7!7 7 7 7 7 7"7!7!7" + :'G'()7 7" 7 7"7 7 7 7 7 7!7 7 7 7 7 7"7!7!7&'0 ',T UH :  X P8蠒p O,,`dd 1p,t >`@@@ A @ AI `@AB@@ -finfun_eqType @   Ai @~nC n@   )) +k()7 7! 7! 7 7!;' H ht Xd@@@ A1N @A@@ 90finfun_of_eqType @  ޷ I, n E@ .@) +k()G 7 7" 7!L7 7";'4L `h px@@@T@'@AB@@ ]+pfamily_mem @   mhf"mDg@2հ *4Ѱ8  ,@@@@@@@@C >T   @-pred_of_simpl  @0pred_of_mem_pred+蠭  S@%pred1'o T@ : 8 H643g ˰ \fT@& 0+k() +-7 7 7 7 7 7 7 7 7" 7 7&' 7 7"= R+' 7 7!7 7%'7!7 7%''+k7 7$'4 d ̠젒 3x  ltXS@@A@ABHK=@@@ A@A A@ A@AB @ A*̈ p@A(@%@@K@ABCDE@@ ꠠ(pfamilyP @@ M   (& >@|%t /  )zw@@#andЖw@ G t c L  P ~  f O @(prop_in16  T ː H  c  㩚 @)inPhantoma^H f% f,©@, t   2@gI+9 |.8dϩ;  @@@O@A kA %@{@ABz@z@A o@ e@ABC pA@}@A uA*= @@AB@@A@@ABC@@A@@AB@@@A+rz @ABCDEF@@ r,pffun_on_mem @   '}{|; ;   @ @ # ! 1 鐐 d+k()+ 7# ''I@@@@ @@AB@@ )pffun_onP @@ [N = ; K=;$ 1 K,% :6h= j G,) = B@'sub_mem*Xv怰0 2#seq g@,seq_predType n 8 @)image_mem EBV -D F 2  3թAש @g=U  f@@@@A@@AB @ @A@ A*΀ s@ABCS@U@A A;:@0 @@AB6@7@AZ@Z@AB @ @AX@@TA1A)E @ABCDEF@@ 2finfun_choiceMixin @   &choice &Choice@ =a@ @/sub_choiceMixin45〰 @0tuple_choiceType{  K  @ v=8ր  ܩW B$@~;@  @  ϶ ߛ&choice)ssreflect(mathcomp@3@$type=a@@(mixin_of;@ 0+k()7 7! +7 7 7 7 7 7 7!7 7 7 7 7 7"7!7!7&'G',? 4d Đ X 蠒 d pt U@@@Ӽ)*r>=<@A @AA #@ >A @AB ?A @ AA @ CA @ AӲ&h@ABCD@@ 1finfun_choiceType @ / - =Ag@(class_of+茢@Ap @%class V @6 @ # h @gr @ V U eH@=a@ +k()7 7! 7! 7 7!7 : 7 7!;'ࠒd t(h%X#H8t@@@hA @ 2AӾ)tj@AB@@ 㠠4finfun_of_choiceType @   [  Rϩ @ A <@UG0 @u#t+ @  @ 2@ ՀQ@ +k()G 7 7" 7!7 L7 7";'lh#X L G|x@@@A @ xAF@AB@@ '1finfun_countMixin @  ̷ ܛ+)Countable@ "@)@.sub_countMixin?  @/tuple_countType 㗀  s  @ "R   B!@ X&e@ E @  (+@!"@/2@! X&e@ , (d  X: ސ蠒 d ptP ̐@@@^QA @AA?@ ZA @AB [A @ ]A @ _A @ ARN+@ABCD@@ 0finfun_countType @KIY}A[@;'@AcƐ  @*choiceType8ؗ { @!Fn r@ihxq]@"@ࠒd ͠tth*X'H@@@]A@ FA`Q~@AB@@ 3finfun_of_countType @ЩS ,f @ UP@i#ᬀ @m3{ @ěL@ڠlhL!X V|x@@@A@ AA@AB@@63finfun_subCountType @۷1@,subCountType|@A0 w , @@|@@G{ѠʩɰŐөΐŐܩאΐ婚א0@*choiceType8ؗƷ  ꐩ젩   &choice &Choice@ U=8ր= l+k() 7! 7 7 7!:'Dx Th@@@oA 0@ApA@SA@AB A I@ A C@A A ?@ A >@ CAԉ[?{@ABCD@@6finfun_of_subCountType @ͩy<@@|utpg~cypeygmgǩܐ!TSDxh@@@ A @AA +@A-@AB A @ A @A A @ A @ A@ABCD@@/finfun_finMixin @75E6 @/SubFinMixin_forQਗ਼@-tuple_finType+ өH@gf@}S@)countType. s  v p%{ VAЩ@2Y@-sub_countType>~+82(@xvwx@0*\\k@% `+k()GL 7 7!7 7! +97 7 7 7 7 7!7 7 7 7 7 7"7!7!7#'G'0.蠒V$G|>lTP2c<ILb0U\H@@@Ӽ)*rA@AA u@ pA@ rB:l֠Z@ABC@@.finfun_finType @Ag@]$@Ao<8!@#F* x@׶ؐzࠒd2tStPhHX@@@A:f\T@DA@F@ABC@@]1finfun_subFinType @w@*subFinType @AWƷΐ-E@' x+k() 7! 7 7 7 7!:'РQhݐxߐDP`@@@@A@@AB@@AA<Y6@@@ABCD@@1finfun_of_finType @IGWHװ`@O@@M̓@lhXL|x@@@{@@ /@ABC@@Ԡ4finfun_of_subFinType @{yzwpn Yh@gaР _`h@xBDKP@@@@A@ @AB@@A`@@A a@@ABCDE@@,card_pfamily @@O"y0gQ @ V)@w3*݀թ|G"А@  'U   ?0   or3_p@%foldr(݀HH&ssrnat@$muln+RBVA~Zr Ʃ  W@@@gA ϲ6W@AjA @lA'~gv v@ABS@@AqA@@ABC~@v@Ak@@AB@@A@A вuX@ABCDA Գq\@ x@A @ @AB @A@A @A|@ABC @A1FdJ@AeA Р@iAe5(W@ABlAf5gX@qA5@ArA#@tA ӳ2[=@ABCDEwA @|A @A}A'h:w @=@ABAf@AR@AA @A @ABCA F@A @AA@@ABA@A K@AA@AL@ABCA Z@A@AA @A<@ABA @A7u@A@@ABCDEFG@@+card_family @@Pecsd Y@ ڐ\91"@ D ? ) ;  6.'RI1 Ð@@@@A@@AB@ @A :@ 7@ABC@ TA 1@A 7@ VA @ABa@ @ Y@ @ABCDE@@-card_pffun_on @@Q "yp;Bt YH@$expn+O @@@@A @ l@AB A @@A @@ ?@ A4eAm@ Ax@ABCDE@@1,card_ffun_on @@Rֶ׶ N LzΰTrql =tgz2%@@@f@Aa@]@AB\@ @A @/@ABCA@^@A@ p@AB @ o@0@-@ABCDE@@])card_ffun @@"S}ԠTR̰©ĩ]װkmo@@@@A@@AB@ $@AA@ @ABt@@A @ @ @ABCDE@@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@A Գq@ Գq\ @A@'@F@A@AB''B@'f@A'^J@'g@ABC'@'R f@A' d@'@ N@A@A( @(y@ @A@(a`@(a`R@A@ABCDE@ @+~ZZ@A6@B=@8@A'@B$@k@AhgBCD@i@Ac@@ABE@@A@B @@ACF@n@@AB@k@AC 5@ 6@@AB @ @ACD@@@AB CEy@z@A@B@@@ @ABCDFG @ @A @B @ @ J@AB  CD @ @A .@ @AB @ H@A -@ @A @BCDEH @ @A S@ @ (@ABC ' & @ @A @BCD @ @ALA+a\@BOA1>lB :@SA1J`N >@}@ABC"@c@@@ABC@@ADEF f@,@A@B@ @A @@A -@BC T@ T@A@BDEG  @@AB <@@|@ABC @ @@AB ^@ @AC ' \@%@ @ @ABCDEF@ @A @ @ ;@ABC @@A2@B @ @A@B@@@ABCD@:l֠Z(A ůM@A@BCEFG@@@AB A'hyx @A@AA@A@ABA~@A@ACD@A@AA*@!A@A"A@B@@@ABCD%A*̈́@@A*A@BE@@A@ @AB @ @N@ABCDFGHIJ|@l$Bool#Coq@0j 2cZ`FW۠ڠ@0.i bYN Z'Decimal$Init#Coq@0C涳N*ua0\͉!Ig*Logic_Type$Init#Coq@0 1jc6#Nat$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv %Peano$Init#Coq@0 jha|ؠ'Prelude$Init#Coq@0JqTttֱ&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r"Wf$Init#Coq@0q+W,J+02*{;"W$^6;:9@0Wn"2&=zH0; 0ǒ3fp   @0=~(sV,Aڠ̐0X% 'ssrbool)ssreflect(mathcomp@0o: n߂Q@0 zv)ssreflect(mathcomp@0tn|kN0 D/Oې01 ZP"};o{&ssrfun)ssreflect(mathcomp@0âNO=(V+ssrmatching#Coq@0L1T=>&ssrnat)ssreflect(mathcomp@0ͧMy}yWߘ,ssrnotations)ssreflect(mathcomp@0hPB  0ýޑA"_39.z"<-"_49.z"->N$@@B@@@@@@@@#_16@NA@@@@@@@@@@@ A@C@A@A@@@@#_17'`o@ @N@B@*type_scope@ @@#_18'`o@3@/N@AC@@@@@2 Q@@G@#_19L@P@;C@AN@AD@A@@@@@#_202M접l@EE@A#_21'`o@u@E@U.function_scope@@e@AA@#_22? 3V/_rect_from_type@@@2 Q@@X@#_23@:@C@A@AD@A@@@@@#_242M접@:EE@A#_25'`o@@:E@WY@@@AA@#_26? 3V._ind_from_type@@@2 Q@@@#_27@:@萐C@A@AGD@A@@@@@#_282M접@:EE@A#_29'`o@"@:E@@@@AAj@#_30? 3V._rec_from_typeA@=@C@2 Q@@@@#_31P@%T@?C@AR@A@@@@#_322M접i@%@#_33'`o@r@%C@R@@]@@2 Q@@I@#_34@ 2%D@zC@A@A!HD@A@@@@#_352M접@*2%DDD@@#_36'`o@@32%DD@@@@@`4@#_37@K2%D@A@@y%@N@C52 Q@@@@#_38@@?䠠@ϐC@A@A@@@@#_392M접@Y?CC@A#_40'`o@@b?C@@@@B@!2 Q@@C@#_41@,)o@@@@@@#_422M접*@;)o@#_43'`o@2@C)oB@@@@#_44(шZA@R)oG@#_46@@Ȑ@@@*{ ffun _ }@@  @@!{$ffun"fT!}@@@! @@A@@@@#_47%c?@*type_scopeb@@@@4%AvA@@ BA@@j@%phant)`@A<@@@@@P@-{ 'ffun' fT } 2 Q@@@@#_48@)#g`A@@@@@@@@@@#_492M접@#_50'`o@A)nat_scope@@#_51@^^@^A@^@A^A@%_ ^ _@^ @A%_ ^ _!x!^!y@@@@@A@@A@@"^ @BA@@@@#_52%c?@*type_scope4@@vU@@@r@G@@@@@@@@@%_ ^ _7@%T ^ nZ8\@X2 Q@@@@#_53g@c"@2C@AE@A@@@@@#_542M접#_55'`o@"D@C@@@O@@{2 Q@@@@#_56@|pР@oC@A@A@@@@#_572M접#_58'`o@!C@*@@A@2 Q@@A@#_59@<@@@@#_602M접 #_61'`o@@@@T2 Q@@A@#_62@_=(@@@@#_632M접 #_64'`o@@@@@JrHȠ@@MS@A@9D{(@@@9D{(@@@ zJ+@#_81@@@=AB2 Q@@C@#_82@.9 A@@@@@@@@@#_832M접@#_84'`o@@@@#_85(шZ2 Q@@C@#_86:@90$@@@@#_872M접 @#_88'`o@@@@#_89(шZ3#_90@@@AȐȠȐ@@@3[ ffun _ : _ => _ ]@@@  @@![$ffun@점!:1g"=>9a!]@@@@@"[ @%ffun @A@@A@@": @BȠ@# =>@A@@CȠ@+@@@@#_91%c?@)fun_scope4@@@@@@@@@ΠѠAA@@֠BA@@OÑ@A@@z@6[ 'ffun' x : aT => F ]#_92@@ȐȠȐ@@1[ ffun : _ => _ ]@@ @@![$ffun!:񠐐"=>Ð렐!]@@@@"[ @%ffun @": @AȠ@# =>@A@@BȠ@"@@@@#_93%c?@)fun_scope(!@@@@@@JMA6A@@RBHA@@@>1@A@@gb@4[ 'ffun' : aT => F ]#_94@@ Ȑ@@@/[ ffun _ => _ ]@@ @@@![$ffun@񠐐"=>6^!]@@@! A! ! BȠ@@@#_95%c?@)fun_scope蠠@@@@@@@@+@@@@@@@@R@1[ 'ffun' x => F ]#_96@@Ȑ@}@-[ ffun => _ ]@@ @@![$ffun"=>!]@@@! AȠ@@@#_97%c?@)fun_scopeנ@@@@@@@@@@@@@@@@@B@/[ 'ffun' => F ]2 Q@@@@#_98@/Ө@ D@AC@A @A@@@@#_992M접@$_100'`o@%D!@@@@A@L2 Q@@C@$_109]@WKG@@@@@@$_1102M접l@fK@$_111'`o@t@nKB@T@^@@$_112(шZ@}Kڠ@!2 Q@@A@$_114@,9fA@@@@@@CD@A@A@@@@@$_1152M접@H9f$_116'`o@@R9fD@@@@@4T@#2 Q@@A@$_118@.09A@@@@@@đC@Aא@A@@@@@$_1192M접@I09$_120'`o@@S09C@٠@堐@A@ 2 Q@@A@$_122@+8|8A@@@@@@C@A@A@@@@$_1232M접,@E8|8$_124'`o@6@O8|8C@@@!@@-2 Q@@A@$_126O@8;A@@@@@@?C@AR@A@@@@$_1272M접i@R;雐$_128'`o@s@\;C@S@@^@@$2 Q@@A@$_130@/0DA@@@@@@|C@A@A@@@@@$_1312M접@J0D$_132'`o@@T0DD@@@@@.1@*2 Q@@A@$_134@50?A@@@@@@C@Aѐ@A@@@@$_1352M접@O0?$_136'`o@@Y0?B@@ܠ@@H2 Q@@@@$_137@Sr;9@C@A @A@@@@$_1382M접 @lr;@$_139'`o@(@tr;C@@@A@2 Q@@A@$_141A@$A@@@@@@1D@ADC@Aґ @A@@@@@$_1422M접b@EՐ$_143'`o@l@OE@L@@@Z@A@2 Q@@@@$_144@4L@@C@A@@@@$_1452M접@%4@$_146'`o@@-4C@@@@@2 Q@@A@$_148@'^?A@@@@@@D@AƑC@A@@@@@$_1492M접@C^?$_150'`o@@M^?D@ɠ@@@ՠ@Mi@&family9D{(@ڠ@@@ @Ur;AA@@ BA@@&ssrfun#ssr#Coq@@$vD A"aTA@@B"rTA@@AA@@ B/A@@CA@@@@@@'ffun_on9D{(@@@@@Q@4@@@@ BNA@@@#memڕA!TA@@ B"pTA@@@@@$_152x@[A@@@@@E@h@AAy@AA@AAf@AA@AA@@@$_153@^?#D@@AA@AA@AA@AA@@@۠2 Q@@A@$_155@lA@@@@@@萐C@A+D@A@@@@@@$_1562M접$_157'`o@%E @@@@@9@'@R2 Q@@@@$_164@]pC@D@AC@A@@@@@$_1652M접@xp@$_166'`o@#@pD @@ @@|ѠA@M2 Q@@A@$_168@@X8W(A@@@@@@0C@ACD@A@@@@@@$_1692M접]@u8W($_170'`o@g@8W(E F@@@ @@@A@$_172@BB@@B@@+_ .-support@B  @@ ۠).-support@@@A@@@@$_173%c?@)fun_scope@@@@@pڠAA@@ BA@@@@@@1@+y .-support2 Q@@A@$_185@8W(A@@@@@@D@AˑC@A@@@@@@$_1862M접@8W($_187'`o@@8W(E@@@@ {@ܠIXA@2 Q@@@@$_188 @nCH@@@@@@$_1892M접 @nC@$_190'`o@ '@nCB@@@ }@k2 Q@@C@$_191 <@v6t@@@@@@$_1922M접 K@6@$_193'`o@ S@6B@@@ <@$_194(шZ b@6@s2 Q@@C@$_195 p@~=(@@@@@@$_1962M접 @=(@$_197'`o@ @=(B@@@ p@$_198(шZ @=(@2 Q@@@@$_199 @gI+ܠ@ D@A C@A@@@@@@$_2002M접 @gI+@$_201'`o@ @gI+E@@@@ T@ " w7A@;2 Q@@A@$_203 @F,3A@@@@@@ ّE@A 쑐C@AzF@A@@@@@@@$_2042M접! @j,3$_205'`o@!@t,3G@@@@@ @@!s ˠA@ 2 Q@@@@$_206!@@=W@!/D@A!BC@A@@@@@@$_2072M접!\@1=@$_208'`o@!d@9=E@@@@@@!P!Ҡ@+2 Q@@A@$_210!@6;A@@@@@@!uD@A!C@A@@@@@@@$_2112M접!@T;$_212'`o@!@^;F@@@@@@@!!\ 5@$_214!@8W(A@@@@@E@!@AA!@AA(@AA@AA8@AA@@@'pfamily9D{(@9@@@ؠ@@@Ѡ@@@!@gI+A!A@@ B!A@@TAA@@BA@@@ AA@@BA@@A"A@@B"(A@@CA@@@@@@(pffun_on9D{(@@@@+@@@@@@@"R@'=A">A@@ B"PA@@AA@@ BA@@Q@AA@@BA@@@@@ɠ2 Q@@@@$_215"@gr@@@@@@$_2162M접@/PcanChoiceMixin6$_217'`o@B@@@"@j2 Q@@C@$_218"@u#t+蠠@@@@@@$_2192M접@$_220'`o@B@@@"@$_221(шZ"<2 Q@@C@$_222"@G6@@@@@@$_2232M접@$_224'`o@B@@@A@$_225(шZ"E%2 Q@@@@$_226#@0!FnB@@@@@@$_2272M접@$_228'`o@B@@@# @Р2 Q@@C@$_229#8@3{j@@@@@@$_2302M접@$_231'`o@B@@@#4>@$_232(шZ"o2 Q@@C@$_233#e@@@@@@@$_2342M접@$_235'`o@B@@@àk@$_236(шZ"2 Q@@C@$_237#@Ġ@@@@@@$_2382M접@$_239'`o@B@@@#@$_240(шZ"2 Q@@C@$_241#@c񠠑@@@@@@$_2422M접@$_243'`o@B@@@@$_244(шZ"堠2 Q@@@@$_254#@#F*@@@@@@$_2552M접#@#F*A$_256'`o@$@#F*B@@@#점#@:2 Q@@C@$_257$@EM̓J@@@@@@$_2582M접$'@TM̓@$_259'`o@$/@\M̓B@@@$$@$_260(шZ$>@kM̓$"@+2 Q@@C@$_261$L@6~@@@@@@$_2622M접$[@E@$_263'`o@$c@MB@@@$L$O@$_264(шZ$r@\Q@2 Q@@C@$_265$@%3*@@@@@@$_2662M접$@43*@$_267'`o@$@<3*B@@@$$@$_268(шZ$@K3*ݠ$@2 Q@@C@$_269$@'#ԗ栠@@@@@@$_2702M접$@6#ԗ@$_271'`o@$@>#ԗB@@@$$@$_272(шZ$@M#ԗ@#2 Q@@A@$_274$@.!nk~A@@@@@@$ؑD@A$두C@A@@@@@@$_2752M접%@K!nk~$_276'`o@%@U!nk~E@@@@@$$$xA@2 Q@@A@$_278%0@*A@@@@@@% C@A%3@A@@@@$_2792M접%J@*$_280'`o@%T@*C@@@%?%BA@2 Q@@A@$_282%m@ A@@@@@@%]D@A%pC@A@@@@@@$_2832M접%@ 鐐$_284'`o@%@ E@@@@@@%%%B@2 Q@@A@$_286%@A@@@@@@@%C@A@@@@$_2872M접%@$_288'`o@%@C@@@@%% 8@͠2 Q@@A@$_290%@('A@@@@@@@@@@@$_2912M접%@('$_292'`o@&@('B@@@%񠐒%@@#_4519@#_6519@#_8019@$_15119@$_15419@$_17119@$_21319@$_29319@@ƜNtD@Xj߈ϬJ$gk@&qn/p[S\ℕ@᳠D'?{՟B7n%`ӄ&P%Logic$Init#Coq@@"eq @A"aT'fintype)ssreflect(mathcomp@&Finite@$type2@"rT'噠P&finfun@@!f @+finfun_typeN@BA!x+@$sort XC64%# %tuple6@$tnth,I?A'CardDef@$card׼D'ssrbool#ssr]@#memڕ&eqtypeX(Equality@2 Hc@&eqTypeŏ@,predPredType>h`%@2sort_of_simpl_pred/_ ,@/pred_of_argType-L`@&fgraph?:S_@)enum_rank)dBf'敠T@@@pwwmyAup@+codom_tupleu耰|'РY@@@)finfun_of%u@%phant)`@A1!iJ@'ordinala@ysni(_evar_0_nũpik@(enum_val0ـ)Datatypes @$boolZ'@A۩@(eq_ind_r!2#  'I@@@@ ැ/_pattern_value_2EܠF԰ʐ? :  )FunFinfun@*fun_of_finx@&unlock:퀰8."@1fun_of_fin_unlock.9 ecaaIਗ਼@(sub_sort,4\@#nat@3&ssrnat[@#leq+BD*N!DKJ'@-pred_of_simpl"GZ@/ordinal_subTypeE BGp>at$hqilm~G|{_{~mqqtE<z@)enum_valK)Mذ6OYKz9em``vtrqUqtqv^i^Vc^VeNbZtRvhv|m\r`b#dΩ̰u@/nary_congruence$WkAy{BA$H߰`GJ 96̩8.bI8Ő>8 @$list]@`w@%codom d@$tval,I"Ƞ٩ਜ਼@(tuple_of*@u  :-' ک$ް@,fgraph_codom8|8IC6=;,"f1"f2zU@#andЖw@A@R0)j: @=%1@r*@c98<0I=&eq_f12@'val_inj1XހYe$GxR@1finfun_of_subTypeKڀ],EQWQX-@%eq_op&$@*nat_eqType4X#seq@$size'P NrE$#"&%_@-tuple_subType-M]uR<|Y\ |ɰs8j<OJE BDw&ư#k%'*$Ӱ#0[])]  Y9énͩ,ƩBi@(eq_codomCH%ϐ 1__top_assumption_sHC@ԷQذ吩@%freflHe7K^@%iffLR)zѸ-WF@%ffunP0D @%ffunE09C@&cancelں7&p JH9"pT@(predType4mЫ@鷐!F@, @)pred_sortߺC@'forallP9 B~K=ک@&in_mem&0S<PUIH#W&@wufķ!R-@$predؚie"7Z:Tm<a`;>!X!T(n}@@!nC"x0uЩ@/ordinal_finType#LEu[ĩ°$@#nth'D rMj`WRMHC>@*nat_of_ord2ܵܰ[JG䰩6JdxeZ f:h̩䰩JƩ}xxzƩ5~ʩXQC5Ǡ43/6:1+/?A@+tnth_fgraph9fF=;9ww r`rV#} ީ'# h%N'@(tnth_nth,&USQ! x@(cast_ordR}zߐڠ@$esym|ǀ @(card_ord 85Y 7 !z;wA L4+NT XBg@7<7 r7[x1xϠmm@-enum_rank_ord!Tzie(yp@@P@ qD@!yY@i\LȠ@$negbFwƷp_!DS@$iffPਗ਼@'sub_mem*Xv怰QSQlU@+support_forpڀ\^\Ķ_@@'is_true#œ:Щǩשa㩚)SubsetDef@&subset 0*@'subsetPY4/跐"Dg;@)contraNeq1lcϰed._view_subject_4i 0=ŰH ȐRJ@6B%OְJِ@,is_true_trueC.#`谩%I!8'4Kp2쩚@'contraR< ݀I>EwNq#OEr&Hb<U*U^W1@'eq_reflMVCh[qZ 4FDʷʩC@ ABPސ@2{@<w{>^@BB@@@@@@@@C>CSkomhKhu@0pred_of_mem_pred+蠭m@,fun_of_simpl$vD@(mem_pred1J@@$fmem/Ө`k @%pred1'o}q9@-simplPredTypeǂ=AȰ}ԩED˩@(prop_in16L Ma@)inPhantoma^H[\W@bΰ+ @*family_memr;*]oX.Rs0au}xZʰ 頩 ˩vͩqle ˠԩ`($@'familyPՀN"&f_pfam$a&$Po`04p/7J37@4i;6@<}<=H#4fKG ƷOAP1RM TO@#notШ <@'introTF k%ЩAEC> EGhxfGgީI K vvr֩멷!b!a2Uo㩛d@'if_spec >@>aKVLvuYR}NcY~BꐩrM`ĩv@N˩{  7 ǩ j9ϩcQAM*&W <+zl[j\He6%ΰ̩F_HְJiMGiCtY@Ȱ<I>@ʐB@KӰO֐Ϡ c ] aSxנlB*$ ܩB0{<EAAAA@@@@@@@D\ʩ-"?RPQ4ĩ Š<]RkjH.>fQHN2x@;xRfZ>7  q} Xf@#ifPf_o'f_pfam0ҐZLNyxP\Ϸ!Hސfy{x]})#_n_$" #fx0zl nܷgr307z6Р @%Falsee@@@D㛠2HCU!@&elimTF% )X'@$negPR-\췐"AxzZ@(ssr_have+Ǜ7e۰cy t'4$@Ȱn45BO HаvtCOװ' ?K. Y[ %8 'cyx1 , - .]ot]  4 q0#  < 6L[ @ ©r1 %508$E8 -r{<t R=ҩNg Z 51ey ^I  _3$ө[o g BED+ lҠ!ݩՠߩܩ] vѐ\3( z y\BBB@@@@D ] ca\XII IZ&f_supp k@АZ ܰ  %f_famQ u >+)Y %cp  gm  p'0  ĩurwש y { ΰ61,%$C ة  ݩK ߷ #rdSb @]QLG@0^-b  1h R2FKmXİE  GB<o>jMe^PCw K ط˷ s3ɐ yΐ 䰩 !S     s-~t > =x  8T   J é $@$ifPnkMIS R_  N  [ 5ȩU  ϩ _"B c >DM $ ]a ^V i* F` !ՠ LکI j O@(in_simpl3ә V@1expose_simpl_pred "g8" v ɩt  v Jj wlb i*  )p ː쩷 ةАDA   ЩJ 9 `: |/> *  吩Y   퐩a  +  Ra C1k )b+@n_/< 񩚠 @(supportP8W(  Y ɐ   LF-,*~  ɷ  B I =@ tf1     *   © ܰ u    &     ̰勺@d     8K װ@,seq_predType n  @)image_mem  %;  ʐ а  I @+pfamily_memgI+ $ ) L{ ֩vo @   +@(pfamilyP,3 1 6   )XjOV ^ - j_D a1 *Q 6   }vg  w K P 9 q FQǩpB? GC  C$ + O *  _n SO թ2 86թ8Y  W8 ?7<9 d=) `S y l G v oH ^ Rb-dPs qd. cΰ0 Z2X~k5 jj.$  ɠƐ jW <  P O@ S  S] ݶU۠ zy CxU  շ ) 搩n) +   - p/ ]А   E 6 8-; /= ˩  j Ɛ',#_x_4ש  S @#ex2М@ K  MH  &U ܩ PW  驷 . U!p ,5  а72c !q < =    !e/ Bʰ  W  O  ~ Mհ  LEA    HCCC@@@@@D&S8: )9 l` : #mb //\s 2to$ 8 &!?u F    B  AQV H #XU1y  Z C$ P 4 KA6> L | O 7 m  ` ; b  c  Cn  , b HKg3 u  @&imageP-πbs | {C޷ DѰ= ]? /B~ bD e ˠ4͠琩 u9  Ԡ   T  T^ ޶ܠ;  Ϸ #%x y␩j>ǐ  S 0 O ©x   )7   6p   4 /6 q n iЩ7 8 9  !   # ֩F HHDK ӰFM  kHM ᐩ!   `+C    "y0   NLŶ@  +@(eq_trans!y ̩ ࠩ @1finfun_of_finType3*݀  ݰ r  թ m@  ?   Ll g`  =     &      @(enum_mem$u 0b @%foldr(݀   @$muln+  @#map'D@   5 ҩ  F      @&eq_mem%ڀ @J !  HA '  L9 @'eq_card6xTa[ a f  ɰ e  Đ@  eK j  >      h T s  G F ro rR x p ~.  @ . u / 8 ~ o $  | {  ~       1 T K I  ? : <    p  H Cݠ C    Q Z "        b  ~    J@*eq_forallb% X   q _  a   ^ f v a 2 - k     yB-D(#  Ω KK { ҷ  B  #4!'   5Q  ݩ   Ġ  ␷   ) 'X        ǰ  e `  ^  Z  Ѱ     A     ٰ  w °  (u ư x Iz ˰     젩 Ƞ|  ΠL ݰ !! $  @(mem_enum%Hူ$ 9-g3 t!l g ζ)enum_uniqt @$uniq'P  EB  *J  P#   Q @  <  V `. W W ǩ    P8 / /3 ǩ.  1^ ϩF =   Ne A   #9  ڶ@= e;9v  J^~cQW g 琶@lRIn sqe  xa{id o f fj e h}t E Y Yk piېg  x+@w! $3   i   , 3 ː Bѩ @(list_indj Fl Vݩ Š۩SbN@+ g ɰ1O'&   ^ ȷΩݠΩ԰ߠ  +_enum_uniq_򩚠@(eq_card1H [ @  { v@  ʩ   $é_ͩ ް!\o } 1@ 5-  j  ) - 65 ~ 3~  < _ { жB >   B>  D?J% F ɩ &ƷO  Щ  >U0 @˩ ;  H_ [  $Ӱ _ ֩ΐ@ d dkE w h ߩϰ l n < 5r| zTJAǠ հ |1@ .j  OͶ@  ǐ O ]k   T p 2 ٰ޶@ t ؐ ` x  z~ |bW@(equivPif)V~u 0@   c@#eqP&⯀$y0_f7 s  uɩ wH  I İ Kũư M!  Q#֐ ҩW Y!@  m$$bSd *< ,   . 31m5 66t  :@%elimTɀAC    E N 2B 9L 㩷R  K Ӱ    c ߩ=ih-  X   $#  &  ֐y ,t  yx6  :/;: 6 y  <,g dV    2I$ 4& %  C"Ω Щ 'JUK > .nX H @ 0xZ     ҩb f ; _ Sf ' ? `C A  , Vn" ֠  ]u M n O " !s 5#IHsL J2Ȱ[of(!x :j   pggk f i ~ u  ^  ؐ@$andb=  i o% ݩ  쐩 ! v    >  0  ө < J ک M   A  @ Bې D !Ƞ 0 MV 4 SQ@ # ; ]̰  (+   W  R ^ K  f a ҩԠ hܰ l g  p ڷ  U    @5  S P  ڰ#c*TPې$s'x0b/_view_subject1_\ Vi0     @   k"  b         6 A )     Pj#O4l+je= y / dc^L*>^  7̰  nǐ@   P r ΩB k/  d ˰   y    | XDFZz b S f 㐶@ k k l m ͩ^ qK s v q _  x  ǩ  {   fw ѩn  Щ  ~sjjni l ۩ ۩x  ک ] "xf@$prodt@ ũ   H ~@-SimplFunDelta ;JQ Ƿ@ @*app_fdelta4: @)fun_deltaB@AC  @#fst  Wҩǰ  @#snd 75| 9 =A &l  ( ϩꐩ ;r 6-Ԡ˰ 2 [ϰ 6+ 8  Ϡ Fװ     F E   G (  K     2   ~@  ĩ   =  _"  $d&  ('' nl     @{  w  p   @= a :  ; #g 4?@  yMC  ;POt  "  @  Ͱ  Ȑ@  %\ 'D v  Hb -p 1rh 3Pitj  S6yi  $ ٰ) &'}© m   -0T l Y tְ[ v@\V 7X 9 Ű ;U =W } # ?I B G DI F@JE^G` װbDdF M )f Sj "  1ZU J> @ \# D ` e bϩ * A 0!r$Bool@'reflectc@y ө Y L Gؠ ^  Qܠ j bA% M*y  m \,*0 25 m h  t   W@B8BAAAAA@@@@@@D  P$  SQW琩ސU% ^   V&    *   $.t/]str X  G w `.  G::/;u ϩ z 8  9ECh"gKkש1@,prod_finTypeG ީ/ T 6@%predX'    ˠ ԩ ϠF*#\ ] N a JkI], e % gXڠ m} ) s; u  wf y t  B mQJ B ةu Fm   I    L   uw 7 Qo q =~ p^s   u  [ x c ^  2D +e@%cardX " O=4db ɩ   L֐ "yngРsǰyz    bؐ ڰm ~ C k<  u lܩK  i방m o L Π Ʃ  ȩ  ũ k ՠ ݠ   ~ {/ r0@*card_imageɐ:D@'can_inj*CЩ /..M8DB@.pred_of_eq_seqJxu~v  ? @iT^  Ω\ h ? fA% $0  i |ް K ِ@ P P R 5 T@r : Y~ h(  ]"C< u e2 g i İ l  ۩  n    q   W8s:2N "B $T & ( * %  [%')'a?  W ? % "u^BBB@@@@Dk}}: < v#km̩ vu<  E  k İ o  SK rF? u / 0uw;ː@+prod_eqTypeY@0finfun_of_eqType=( + / 3  ө & Щ EX఩'  %ݠ  : 7 19g<  r> A   8{ @M; Oa  9RϩeP.R@..C3WO Hp[  ,SYI0[ Y[ T^Kة R9 ƩΠE) radp@ u}m  q V }   9  }Đ?%Ҷ@ qrΐV WvZSY r |~ ۰ P k =rtt (    o  RV3XZ\^   YJ;@$andP⠷p)c W U-ةکשd٩_@ Ր     0  Gϰ  WԐ ͠ @   ) _    2-u:5([#F]%6. B ĩ*c$+*F*,). * ԩ18 <>4@BD JM=E<C< 7 L`\4\hg I g٩ i ַlש1krMm1o* cV` 6UZ ~Z^(߰`ڐedgC ǠĐ?npjr ȰuϐJuYR ~ ^}(L$bb"f0%#Ff0됩s2/*h|Cr&>Gy  'کک` 6@'f_equal=9 + >ũSXȩO@퐷sϷ^YZ@ߩ~䐩Ac-#! $Q d yZu@ *" 53755) =;-!a=+_rev_concl_@h>9@3 @m#yO<'K۩ro')+)x[3@C0$   :@`-  V;K"H@1@O̩VQZ>Xde?@=.^72`a@㰐\1ߐ@wh: tVF bFǐO]@s W P d%^|  i0"F쐩ttxp H|BK6MA<48͐d uNI ŠөJש/B1*ΰl%1װ%ߩ%r1s?ǰB |xàwǠ\wԩRڰ^,+" ( ]@(mem_headր 1n&ש(W9~k<y8D·KR$/ZG!ж_$[(RkF*q!D;\:w|W  435 zi|=<ҠJNjǐNSTPɩ%UVRWېc]/_{aX!l2bikmripc|v{xy61oTIĩK{/*R6Tϩ 7B25^8`)b@$iJkLNRPM@nnUtWW ɰug]R\WdRQ#9lnp߰p}x˰ C)Š}y ̠Uݰ!ѐ됐_방( 1 > /2ȩ?5B2ȩjFG (Q~@#orbYE[679ϩd|$f@Syضg,kHOip`3QİS@T?`RT=VX됶@ ^mԩ` ioNj ư4@'in_consǀ ߰K#ࠩ2㐩k135v'"`dk>@B{|rE;6?L֩C>|IKߩM֐[ɠ?gx'Š&+zn]-+1.0Ұ.p-,&7ywraݩF< } аӠˠ Ҡgx!f9igm7/.k2*b5!7,:ꐩ: CH  ҠJL)N4Q@ةзY˩WcS[U# Y<% '۷d֩ )bEn2ݠ$4ؠ6O8Np+;3w} ðrmƶG ©c{ŐMipRHz א_%y' })jX+ -/phh搩n(s-⠩iEG:.M0 7 MOM RBj@#ifN6 蠩.&Jxxa~^|eҰ~;i  s"x1@Ȱy àw$C GUݰjݐ $Ԑ +ࠩ3|ݐ B{NHnZ&ByN+O*,S0ƷO%>@8ZDABf_^ $  &   *ޠUΩ & 7ǩ5;=`?DD<Bup[egox uة$RR"Fyѩ"Ffېc"j 鐩qY{y ȩ4n sʩ{*FAة _FA<Ʃ6ȩé20жҩ-֩ةe ܩ۰ܩ`|wؐͰ F젩ȠC|Ew$r1l(3 ӠNhN _ ]̩1  | b`] dbj00 =o .& B:  <Z!Aࠩ " $! &" ) -* /-BS!9; =@ Uu Ww yt {blx?b`z  nHOm1s'M۠Oz["\{@w{x^g5Jf}fBmv yIvҐZvZNqSe ް g` +r. je?:ߩwũxЩHC ٩\Cm VWk#c^ݩ Ԡةϩΰ@lgaذ J  Jo/JI | L JPMհ %"c#ڰ  u%X! 3Q٠ : !#%#Qg Y{i=<ϩ  # +GF ;('=w ^"̷ULNb5^ T  iʠA!jk h] eݷ +   }aut9p%Wt@*ࠩ6  a 3vĐLΩumt EX$t&P {  a吩mY)t9l ֩{ݩ<@v5  ?֩ީ+WȠLð5 &[ʰh#ɠ_ְéV?ǰ;"9̰"X3 RP   \WU 7  T,ݐ9;c ϲ6WN@@j вuXU@@q/r0 N &21M)'L; 4ܩ TR ?7}{ D   !@  !  #ǩ { %,=5 ' vةo *& , ( .@) ~3 5. 7r]Mr9 ܷl 9=U]]SK =PM ?; A吩 Ip Hr` H MyߩQirks LN [H _ \t \ av ^ cX  gBϩT hjx jz lxz| nz pשհ t^p v r x@s } x հl  @ة © k  Q̩ : =8uL *   @   ̰ ٩:  + @  & !  ް ̩-me`M ԩaةW'@p @B z|ϷJʩz JȩL  RЩ UWgzMdb u H/70g2LA()nfڰ  6r`)CJ- !b #8D2B>{ $ &^dY ĩtQc˶QFMH@ 54J![  U MTbl#S HIq͠sDu H Ql  nnn0pp SC}%u X: \q Y ^}X `_ _]CW?( H Ad CH q  p  r F s C@©x y JCsnYCIȠ@ݰp&{{ @ݐ!"P"$  b@)3F@WyYr@)pick_spec+Ȑ@ةg@$pick =À&͠sŰZzU@'TO,H/gѷݰ oS@%pickP 1'B<:=Q  kKư !oG@&option >v@3Q*! #d  2#'})7 -+ 2. . 2- 'A DuAU_ J IIx@z;:BBg ZBBABA@@@@@@@DOMyFRPַ}d 2 mA U L̩|\L԰`bPKqVMMQwdO |g dg [kf; ]_ : 55  |  #_i_| @,card_pfamily!nk~ q o#rT0b L@ 勺ߩki@ @,protect_termJD}U* } g  Zi @##ap)b +tsɩ(/ 0 l 43i a E\Z@,| 1 .   ֩ iD_ ݐ  A@B@B@@@@@D| ͠ ư4  񰵷#DaT 5!P(a`!@@!r! Dש  ? l_ {! Vذ! v !!!"B h!$ g!*! !!!d@)eq_rect_r E!3 v!.!!;!2!(# M!@$!q!!"? !N!(pN ~@ư@@@D!U!@$Truey@A !b!a!@*False_rect$0!CB%no_aTqi&  &!mީ!q!q %!U '8!y!T аw!~z!v|!!~G ~_!!T0 +ж!fʐRj |l!!!pniΩX!p!@uu!!y֐ y}۩ Qi!! !!! `!! @8 ! !@! 2!!F ! !!T!é !! ߠ! !!!֠%_Hyp_W!Y ԰[! ְ]2'ϩ ܰ)!ݩ ް+!+n!/! !!ǩ!͠!35 7!! 9*!!!!:!~!ө!٠o!C@` !B   o  ٷ" !!!    !Q)G""!Y!W    "!b!!멚"@%pred0tӀ!P !?!!o!"" !!@  oD&*%"C !!!"F"."%?!Y"M"2#")'"S!@(eq_card0G,Z"W!!!.D! E":G"I!é"@MC!!=ӷ!}!>!!@"nE-"q !&"t"!I_"!!0B!tUz""\թ!Cj"%El"!! B!ʰ@" !F!}m"!"e0 IF"E?"ĩ"@)False_induُ!e""""g!`zso ""  "C";!'x""""yL"" =4"9!}F" " =""B"D I!"7 J!"F1"A"P"ש"ȩ!"ܩ"°"C"$",]"""̰iC@V"8!ԩ!! e!ʩ2"##9 #-#+##,dbc"M"K!ީ"" #@,pffun_on_mem="$"# V"!D#!@$expn+#" à!"I!Ǡ!":!"j!##!"4">=a##4#4"@%cardE "C#0""""" >"Q"#C!#+$-"k"%""  F"T"#K"#3"W#*" "#Q#/""e"&""(#V=%_#Z#@#7P"j!#>"l"q#@#Y#c"#Z"75"">I"@"@D ة?"("B#o")>#qX. "-#u""/E @H ""OZ"Q"QU PX"S#Y#h#j#kߩ '"DV"ʰ"]h"_"_c ^x"a#y#vyx#y 5˩ e,"ٰ"lw"n"nr!m"p### C"###ޠ"x!#_a_"F.۩""""! ""# ## WG""" `#©""""D j#""# "N#ЩP" u##֩""!B"Y##ې# #"$$#"^""#%"fϠh##Ѡg"%"@%expnS,b},$/"<$#$!$$"#"#D#B"թ""!o#"ٷ$$###$!&$ #[#$##$#c#7"""!#"$"D###"H $"#"##1"#a"$" $ $$"S$"E$($.$$!$#$ $,#@"^"^i$>@+ffun_on_mem4$$82$E@+card_family*$$8$B"o$9###&##!!$I#F1#5B $N#w#& ":$4#i#*##,7#.#.2!Ʃ-"#0$]"$E#n$<""$?mJA$e$e$K$@%cardT $)#=!!##EP#G#GK!ߩF"#I$v"T$x_r!"$|!#¶"NL@Q#Ű#Xc#Z#Z^!Y #\$ $q#6$h  #$v$w#$n#M#L##Rd+#ذ#kv#m#mq"l#o$$${#K$ڰ!$$#Dwu##~##"#h#$#i $T@$$$#" $!M ####"*#]#d$©!e#a$Ʃ$ $ #mo!o#$ѩs###G!y!I$Ϸ##$#T$ߩƠV#!$$##"Q!X#_$$ꐩ$/$-#$$$#©Ǡa$#ũ$4#ǩ̠lޠn$$j#%'%9#7%-%+%%,$J$H#۩$%$簩$|%$w@$$$А$ˠ $$$R % !$#$%$ؠ7$Ӑ9##%A%@;%#$% $6$Y$C$$s$% % $$ $%<%<#%$%A%i$f$%L@,card_ffun_on%?%K$$$!7F ($#)%7j%.i%d% l%g%Y$%ZU%;%$XI%A S$@%l%z$!!2%o%u%P%4#%y%w%}#!@#$w$#%x%%$ %`$"$ #$D$D-(ж%#ǐ%$+!Q$-$$$/%p%%$N%q$P$O$$U$U%+FiniteQuant@'quant0b,!2%~%#Ω @#all2m$@*quantified+c@A%%!s%%%%u%\@'forallP9 B~%C%%%C;uT%%é !%ǩ$%%%%ͩ%%"%u = ?}fW!