(|RР,ChurchRosser%TPOSR&Lambda@B,ChurchRosser -church_rosser@!G#Env%TPOSR&Lambda@@$lenv!M%Terms @@%lterm@!N !A!H%Types! @@(tposr_wfADCBA!P$!B'"H0GFȐ!e*TypesDepth?>@@#todАHE %Logic$Init#Coq@@"ex@)Datatypes  @@#nat@!n &@)tposrd_wfAАI"10=Ȑ"e0/'EDC%АJ ,KH%Logic$Init#Coq@@"ex@BB@D@:/&0$АKPA]@!QE@#and@vL$k/ {(ob  gs7 iuhu!xO"H1"4B*@D@cXOYMАM*?i)'N$2,(w0 Z: \}"x0r"H21ChurchRosserDepth͠@@3church_rosser_depth($?Mmض̶Ͷζ@жѶ@ԷUթS}W[Ő@@A@(tposrp_n(4@@)Datatypes$Init#Coq@@#nat@@@%Terms%TPOSR&Lambda@@%lterm@@@ @@@@#Env%TPOSR&Lambda@@$lenv@@ @@@#@1A.tposrp_n_tposr.tposrp_n_trans!e5%TPOSR&Lambda@@4!X3@?@@2@!Y !Z@1%TPOSR&Lambda@@2A10/."321)Datatypes$Init#Coq@@#nat@B @A!e    3# '>#' Q''+g()# '+7Sg +7S' +7S' +7S' +7S'+  7S'#'xA\ܠ,\@@@@/tposrp_n_tposrp@!elk@@!tvu@@@!u !T !nܠ۠@@@!HB@@@@,tposrp_n_ind$42,*#+!,ՠ@@&tposrp@ҷCA:<>'@Aީ@AUSLMN7PB"H0;*IHtposrp_n-ک0@Bpnhf_g]h[Y@P= @@A@+tposrp_n_cr@!nE@@B@%Utils=@@4wf_lt_induction_type!m!e<ML@@9!AXWV@@U@!B !T @Bfe@@@MLKJ=!C@ C4PRD321@@0@&!D) @@ HVcG'"JgeI"n'U"IH!y[@%PeanoQP@@"ltyzUgSQKIBJ@K@>u7O@53R,S*'Gon.fxq}{ge_]V^T_@RzKc@IGf@g>;[4"m'#IH'9@7}wunvlw@jfc{@naZXuqw-!H@,tposrp_n_ind$hfd.e@cG@F@,*D@̩ߐQŷ·7@@A@@B@Ak@=޶߶@@iȠg!"H0Ae`$86@p9$3ؠ 8;-:6L "Y0 L  K0@B5Ȑ"e0@ @?OL0ON\9<T8b?MZ>=B@D@-.m)beX  s/_k^:;/+rfn1-YthptD"H1BB@D@#<w')Bn}9X2Y0M&SUP)LW"H2<@RAEe?B'@D@I?mMCfq]|V}Tq'UYt*M[#"H3`;dy^BF@D@h;^lxqo̐WK̩EMҐ"H4To@AXWY˩@Ahbj멜@A%oiqͷƷ Ƿȷʷ"m0*IHtposrp_ne@  M ݷީy v@!`)6ܩ  $ Ԡˠ3+ϠѠ91Bߠ@D@ܠDT=㠩KC꠩JF1 NJNBנ@D@aZg`./#cfb!'gjfjyYVt~^x B@D@{"2Q+R)FYr"K v5}y3B@D@=MlFmDah[fm"H5 Ȑ"H6F@"le@AK/Ȑ!t 1%é3'~@$U6vomq3@@@B@D@v,DR.ީ``y\e}"x0"H7&@@B}@D@vzoxзѩdb &Wi *  "H8АZaF<А\cS"%<)C+E$@B %J0y.-. *-@2G#t=)ܠ<">:?C3JSPOTI4'GE8@CӶ;@(&  @ "@%&B_]Aض+@%aFũ0 1%Mh!,'lj#^Y@S̶\@rֶKICA:B8C@6|{zy/G@̩+J$K"ʩ?gfݷ8P C*Jȩ$b`XAYZ{$}@"jhb`YaWb@UPh@LkElC`f YxRyPmtov"X0|CŷQ@-{y 3ƩswjneBz@D@w#˩{}TN搷rSBo@D@֩ƷǩyJ{nK: ͩB@D@2Ω!ɠQ  ""jPɠ1 B@D@Ѡ9$ؠM84O":6Y<iI>5SY()7[*+BE©ܠ(<PL^N b P8"#>ZoV \qB @D@/ 0$]hd'jN9:.!qm07souDB@D@ =0|?2Q+R)FHש_PWCb<c:Wa*Z,`b4} 6~vwx4pz"m1H@}{@yr@nge |/{trhũj3jö@@@1/˩շ+8̩~_S #ש©tB@D@ηϩy} ۷ܩD٩`B@D@ * #ƠȠ0)ؠϠD/+թH33{aڠB7<ޠF;@BĠ@D@栩N[*I꠩R_2MQNMΩURnUdY@DB@D@lyWa3 4 (kϩgU,loөkUqé~:jĐ  _ 6i(~z ."BDt0O)P'DKFBM9B7@D@=\6]4 Q8Dc=d;X*Za,lB&@D@He7g!@9ZySzQn pBЩ"H9y7"Ȑ#H10 R =ǩ?Đ$f)\}vt0M2Ґe B@D@W[Yʩ␐fh  Og"x1Ƿ#H11B@D@ c ַשj    i #H12 ˩-DĠk %<  '># ,C% 0' 2 )#Ȑ#H13>@@РED!l   .,@ & E D C B@@"eq@ <Y@ ?q@  C@  Fc@C IR`muL 2"X1,"Y1/"Z024p#H14&A Ov#H15+= Tp#H161C Zڷ#H176H _#H18;m||©0@&eq_ind(\lO^FX D2I[ GL^ J a y   +rzo/Xj atmGhn0,(&s[  " =6ew n9)yݷtz731~fy  I=q z52><q  (B@Qx9j  {q@&sym_eq A      r    G     Ͷx ϐ ķ"W0xsx"m2ȷu۷q ѷn ǐsm 2k ۷#H19۩ 2p(Zʶ r6  xdϩ    y v~}(Ȱ wO޶*z /  ذ  &8$-|#> ,& # nG3<1 5ΩL 9 1N'6 @'f_equal--"e10 v@@A@D755 H ߷97 JF J9 C;E><Z}hNt W`Kpd7YstVȐ#H20l@@ED.=/50617ZX@,@*E bJ@-? e@0B h@3E kS@6h nrAIqv @W"X2Q"Y2T"Z1W+#H21Kf t{#H22Qc z#H23Vh #H24[m #H25`%(~@qhz fFk} in l U"FN C)x <X*&" dE  B ]1 I2.,p 8  h7 }T/86zB '<:~]ܷ"e2 @@DԔA 頛@%False@@ܛ@$True@@A  @)False_ind8dҐBJ  = Y  ?   A   C _     :߷"W1ٷڷ۷ݷ"m3Ұ հ vذ  }۰ #H267g(o C  y",53AJRYG  X $PH L F 1 a  I   %#3!_d U @ͩp ^ X $+ `-(.A/m b fک%} j 1H&Xb [?\ @,@D rj s}0! u8 D { J  } 6L 8S  N   Y  g    $   * ?F   M - nŐM`  G @Lg@Oa@Rd@Ug@XHީ Щ_@A|uw y  D F  + -  k m  / 1  1 3     5S3p 0@z@}@ @ @@@K2 t Щ,.0 i+2    P k   ն4kĶ@i &@    @42    Ω. b j  ϩ  m   ©   l   n̩          @  a@  ˶޶ֶ׶ض@    #ܶ@a߷_    c@     ԩˠ    "    & $   $ $   @@A@3tposrp_n_transitive@!e E y x@@ B!t a  @@ ^@!u !T !n ~$Init#Coq@@ }@!HB   @@ @ E d c b a@,tposrp_n_ind$64.,%-#.!!v2!m%@ h X u w t [ j x Z%Peano+*@@$plus  PN qG iI gK2  Р @@ A    &V$G"H0$?@B         ki WbcdKf4W2*IHtposrp_n<l:]@R e    T R r  8  Eu"m0h"H1_ ]        d T w  H  *  = X f {  ũL         Đ~@s`^@v     Щx    $@@A@/tposrp_tposrp_n@!e  % $@@ !t  / .@@ @!u !T !H  @ ?@@ 1@    @*tposrp_ind *(" !"  < ;@@ @ E D C@@ B@!n B \ e d@@ ^@  ) ( ' &JH!XB!YE!ZH;9@ :A 9 8 7 6-@A(!) 1 " A @ >-@B1@A*@A / N M L Kom!Wg(h&i$j][ 9 X W U)IHtposrp1NG@H> Q P A _ ]"H0h V F e d)IHtposrp2[TMUK . ^ ] N jB @D@d]V^T , X g f sib[cY  1 ] l x x h"H1 B ,@D@xqjrh  + @ l }vowm  " E P  p"x0}"H2]{y   < Q " ɠ @@!  @y$  : H h   ]       Ƕ@q@@A@)tposrp_cr@!e   @@ 㷐!A   @@ @!B !T !H  @@ @    ۷!C"H0    Ȑ"e0B$@@     𩛠 Ѡ Р @@ @ ) ؠ @@ &@ @ =@    Ȑ"e1"        B @D@%    *X!D[/@ @P  $ R & & 2"H1"B ڠ@D@B;4<3    5Guvh  < j #> A"x0K"H2b`@ ?$KM   J/L\20O  Q 5Q S U B@D@i?=\ F ^ Q^ H` crHF d g  f i i"x1"H3 B @D@Wv u y lx w{ ^b`R  j  l"H4АQ" @AϷwЩuS    }@A  ! @ %  j'# @ܶ@ϩ @@A@+tposr_eq_cr@!e@@!A@@@!B !s@@$sort@!H@@B署@,tposr_eq_ind$1/)' (۠ڠ@@@2!C5 @@#@ >@A@A RP!XJ!YMCA:8A%$#$Ȑ"e0BeTS@@d 21!/2!/LeftReflexivity]\@@&refl_l<;+9Aln9!4DA3E?A)<-I,B@D@UL4H8TFYRT<PO\d][XHWcUI\LZgg"H0 B @D@mUZhvqs[`o||zw;Ftx{?k"H1oSuYz3B @D@}VZeԷթ>LnBe%"H2YnUB =@D@UcǠ9AƩl=`ʐ"H3LgũÐ@A  ՠ Pݩϐu \Ʃ@A[c"]$@Abj)d+.,$%*IHtposr_eq,- 3B@D@9: BCG "B @D@ ")T"U &  -X^,_*'2})47S-;/=:;wu!Wo(p&qge^\(GFD+IHtposr_eq1OzH{FCBAN ED4PkG7VU+IHtposr_eq2^WUR!Q]T#R_ B @D@kdb_#Oj۩a%`lݩtmkh,sjZuu B&@D@}{x'Ωz>Щ" Gr"x0÷ B @D@?Vзѩީ<ܩO B 1@D@&0Q:4Ð"H4;@Щՠ͠R֩ȐKB@D@ݠSؐЩ頩T :"x1+"H5B @D@:;VU= /"H6  aJPQW%B8),H"0$!J2'@B&%7$(5(Q9&69876trljcka_@VC@@A@.tposr_sort_aux@!evlk@@s!Twvu@@t@"T' #Ts' !Hp@@oAnmlk@)tposr_indT*(" !"!s@@@@a`_@@?@57@A<JH20@!n)Datatypes{z@@#nat@SQ"H0^@*item_llift75"H11_a@B/Ȑ"H2:@8k "e0p@(AABCCBBBBB@D!lwA(@VN@@@8R@@@@ @@AL [@)False_inda0֩\UsqEkdw@Ci`~|Pvo@Bt!A"A'"s1   (IHtposr1@!B·"B'ŷ"s2w$List%Lists@@$list@B,+(IHtposr2"ߩ@F)~/|b@z@Dy?(t@tmkk@@roooolCviǰdGLJHԷFDB<:8ٷ6'G!M"M'> ^]Q(IHtposr3@CQMȐ"H3 mc@@Dt(54u' y31~)|*zxvtn.l/j ߩ!Cj5637ݩ("[b!N>"N'Aݩ2~9##!/IK@DdȐ"H4S `V@@D(lط@[lӠ1_ kiab>VfgCjkhlfbL3o1p aQ÷(IHtposr4UUSaM{2BkSK2:sTͷ@@D( 3      Qc@&lsubst]'IHtposr}{Op"s0L{tc  a@H_]Ʃ [A@Y@DX(SKIIKKKKHRE @#۷(ӷ&Է$" طٷ#"s3@(sum_sort:7驜@G%ש l@@DI(~ vttv vvvsJ}pΰ kNSQO۷MKICA?=.N+)!u "u'Led׷!v"v' oncҩ#%@E?UzAaȐ"H50 IV@z6@Ơ@D(L>JH@A53$"@JNO+ Uk`y1wo!t\"t'_HPy)CCA;ik@If;E s R` y@ @D(ASӷ`xҷηe9·ӷh3}{."rv|z@t/sqzl#A'''y=<@ {g 9#B''XJ"H6Yޠ L"H7ѩh *ZȐ"H8vߩv["{a@y@Dx>(skiikkkkh?reð+`CHFDз@975ַ ط)޷ذ@JAU@@Df('&g k%#pnljhf` ^!\ZKkHF'()* -~zx1vqoh 71fd_<6][?@Ϡ@D(UTȩG}TRLJCKAL@=@@A@*tposr_sort@!e٠Ϡ@@ַ!sڠ@@@"T'@@@#Ts' !H٠@@Aש@A٩B@@ũ 橜ǠƠ@@ @A/ EC=;53,4@(@9@@A@/tposrp_sort_aux@!e1'&@@.!T210@@/@"T' #Ts' !H+BA@@V@)('&@*tposrp_ind *(" !"!sWT@@V@@@@ @5E7@AG<LLJH%A$C#E86@\A[ZYX)'"H0#QBȐ"H1'@ XXYMh[Ljh^!NmȐ!a*Generation@@/generation_sort\yj[w>@#and@Drr=HvgAT@AN@'and_indЩTMX5"H2^NPON)IHtposrp1vt@ngpbR)IHtposrp2@zs|nZyȐ"e0yƠж@@p@@A@+tposrp_sort@!e@@!s @@@"T'@@@#Ts' !H@@3@@A  BF,+@@ @@ @A/ EC=;53,4@(@9(@@A@-tposr_eq_sort@!e`V&Lambda@@^!s%Terms @@b@"s0 "s' !H[r@@ZBY|&@@z@Ab cbȐ"e0B3@@QrpoRQP@@O@ @y @@4@@y0l2}4B8@D@?*,*@ V@a))"H0B*@D@,)V(-*u "H16} $WU@w%HéjȐ"e1 kqʩ0S Ȑ"H2^@ MZŷ3[:]թ{ة>aB@AD!yk@Knc@PsR`퐷#VyȐ"H3@ "e2@;@D!l(!no@@n@Q/$|Iݩ@A@ _%@SS);@76@@A@7tposr_sort_kinded_depth@!ns"!@@p@.&Lambda@@.!e#Env%TPOSR@@$lenv!T%Terms @@%lterm@!U !V@`*@@>A|{zy]!s4@@@@fed@@D@,p.@A3@A!xZ"IH3_@2@@1XVMKBL@M@>7!m_VTKUIV!H %TPOSR&Lambda@@A@<EBBKORSIIMUOWOWED!lujkl@^ж53@2,\Z@TyMV{H<'n@ⷐ"n0"H0@*item_lliftSQ@P󜠠@AM}{"H1w@BuȐ"H2@ "e03@K@DJA(@@ +@@؛@ *@@@ @@A%$@)False_indP)ַtM=GЩ@C@A^N·X@B!A귐"A'"s1Էn8WV2T!B"B'"s2xЩ$List%ListsE@@$list@B2'qpLnӶ/@Рs4@B#Max%ArithZ@@#maxhڷ ')@F"/ v2@Р@D(@V{yy@8@9}}}}zwu= NLYAWBU'cSQFOGM,hK!MM"M'P!prDЩUX3+y@J)MaxLemmasly@@$max3_ PNɩHmo@CFȐ"H3w Qη{@@D(IHʩ^\RaSn5s %Types@@(tposr_wfCSQO ~|!N"N'!q˷ 6 trж@qW oG@DȐ"H4 Ʃ O@g@D,(@ . ҩ@&lsubst47ٷڷY޷߷ķ[NCA?HgNMsL @Qސ@$max4ULZݷװ@FTT@^HcU ]_ @@D]m(ZRAPRRRRROLnYJ@Yt#!s08&dc@@yݷ"s0 ,E֩ @(eq_ind_r2p3ݩ$:OZ8})1yT_@@A/hj$bAOvM*OSRHkSny"${6[t(%Basichu@@.tposr_not_kind290RightReflexivityt@@-coerce_refl_l>uѶbjxQvCאz{&m߷1sЩLJ@IyvGwuo@Hm%@=@D(mlߠt)˷V`з+"s3%@(sum_sort~ܶ@} {$ȩ@G[*Щ(Y@q@D&6(#7"۩0=߷ŷ_ʷa6ͷR4!u"u'PQVU<T!v"v'Q`_,T`Ŷ!@ e]kI @EJV.hȐ"H5t TW#su @@Ds(phfWhhhhhebo`(`XS;9F.D/Bک?4=5;!t@"t'Cc5$m j@ ;75ߩ/TV@IQ/^ =c@ @D(10Fk8˷zxmnS}r{syX$w[·yz{|,ܩns zw跐#A''c#B''Щi[Y@X>V~Oݠ }Ȑ"H6Z점Y >@ V@D (˷lķŷ@1ʷ˷{+]ҩ@J~*4ک|02c@ {@D0@(-%##%%%%"A,!f0KӷmطoD۷`B \vtr@pl5db`f :^\d@ @Dbr(_WUUWWWWTQs^OEŠSbpWZuvFD4@@A@1tposr_sort_kinded@!e@@!s@@ @!VĠѠ@@@!Hܠ@@A@AȐ"e0@@ʩɩ@@~@@@@ @Aĩ)B@D@ީ4$@@N;Z@A("H0B;*)@@ N@Ah~|vtnl@c$o!@@A@/in_set_not_sort@!eMCB@@J!tNML@@K@!T !HD[Z@@CAA@@?Ȑ"t0D @)tposr_indT*(   !"@/.-@@ @,U.@A}@@ @C!s @@#notDpoRP=;@u ߛ ޠXW@@ @NV"H0c@ ܰ"H1=b6*("H2Chj@Bz)Ȑ"H3L@t "e0y@ @D!lA(@H_@@@9c@@@@ @@Adn@)False_indQCwpm@AuigE3 /@ @D-(rp%Terms&Lambda@@$sort@@@@@@D}9266ml7>?9@0:+3ͷ}o,jX.T@ 2@DR(%@@DMQQGQBک@BO鷐 ⷐ ䷐ ܩ(IHtposr1@ʰ_öϰ     @@ @B21÷(IHtposr2 :շ@F4:m@ @DJ(@@$@%N1/F'E(DCA?7,6-54(D 2 4ש(:9cbV(IHtposr3@?MܩB/1  ة#HJ@C^Z Ȑ"H4R zpU@ @D(76Ƿecz[y\x"Swusk`jai' VCj7h6i ]+Ye@KpUD8 r th>@V{OCY~~@ ĠAVJH6a@D/xGȐ"H5 .t@ @D(u @u  afKsrHqmk76FQӷ(IHtposr4@{F8\~l>zȐ!o%Equiv@@.inv_subst_sort񜠠~@A@"or@]%Logic$Init#Coq@@@BAA@D@5c\Ȑ"H6{ڷ}YސXWB]CB@@ KJ@@/l  + [8 Vv;Zy$#fe@@1Jq֩N鐩*ljb:Y_ 1@5_BV@D@k=[AjZȐ"H7HI<\u>. kwAB<ک[aE@@&refl_r0lP;`RcdW^;[y\]^@ZܠW ' 4Ȑ"n0;W|0Qzx'IHtposr@+TR7+3ng"s0[3tU,*~,C^ȩ`n+HQJeϩ ;9xIשKLͩ/Xa@·ն@÷ķnʰ¶@plҩ@Hjhکf,@ D@Dd (_WUUWWWWTQ ^O @ Ӱ@G R@ j@D/(}{{}}}}zw0u( ' &з%#!շ &&ط%   ,ED@0緐 ! #SQPEͷ|@-L 2:TF 9;@EFUg.NYD N7*dI@ @Du(+vYWnOmPlGEk@i6[wzkj_i`h&gfSHz,yWTk maxk@Qv~eL@+A?X}@IQ@ RK@ @D(onZ_Db@?lvөpt@r{yw 1`x Q@ǩ>|g ηCl԰Hqޠ vȐ"H8oη%y  x r ʰS@"e1}@^@D~ $( &_h -hȐ"H9'ѩ 7p 7r%Logic$Init#Coq@@"or@B;@D@P@#and@;  VEZ\< e8@'and_ind$# 4%VǷ#H10'#H110/F#*Щ3 '5j)׷#H12&÷m'%Terms&Lambda@@$sort@@@D =   Ai61BRQ;bS=.I,ZYCpJ?Щ]G7_I'*9NO(@נ@D       WA?>9];7_73100,R}$'   |pn@J/ mɩB- ҷ@ @@D> (91//1111.+ 8)ŷٷշ·÷nʷڷjٷɷʷ˷̷i* Ϸb# ӷHةZ] !   ! %#Щi    #! Ͱ Ʃϰ!B@D@*װ !ǰ * ة!"کɐ  !3/ !0ڰ&k(%Terms%TPOSR&Lambda@@%lterm@@@D!N(!O됩,=!Z!WR+)2!Of387 4!`GC!S !`<;!J*ũF  ) PL!iB-<SE QF@@DO!r(N7LM?NOPA!y-ae]gU!d!iIJB{@D@@?)a3D@FE/gJ</KpJ!(4ЩR@@D!̰!!!!!!!!!!!ΐ@@@A@1tposr_sort_eq_aux@!e" !!@@" !t! ! ! @@! @!u !T !H"!!@@"A""""@)tposr_indT*(" !"!s!2!/@@1@@!!!@@@5" 7@A""<"'"'JH20@",""@@@CN"H0[@"="@">31"H1-[]@B"K+Ȑ"H26@g "5"e0l!z@@D!lrA"\(@QI@t@@4M@s@@~@ @@AG"k V@)False_ind\/"gW"x"vPnlCf_r@Cd"[ywNqj}@Bo""""y(IHtposr1@""{o"@@@B""v""(IHtposr2xѩ@F"b"vt٩"Y"r!@@Dp"(k@kdbb@@iffffc"m`["ϷCBAƷ@><654˷3'A9"y"^"""׷(IHtposr3ܷڷ԰@C "Ȑ"H3   ""@5@D"(32" "#!srqpnlfedҩCe### 3&2'ѩ"##Y` -/ϩ !##!7- 79@D""#Ȑ"H4A ""#D"R@j@D#/(h˷@Ih #1өƠM #5YWOP,DTU1fYeZd`:1]0^OQ#K#J!G(IHtposr4CCA_;i2"ƩiS##:92 q:!CqT##Q w"@@D #b(3?#cQ@#^#$#kZzx'IHtposrڷjh?m#]#\#y#x"s0n=h#Ba#r##### }S####R}@H#\#|{PN#V#L"@ܠ@DJ#(E=;;====:~#D7 2#ȷ ŷ Ʒ y u@#|##qԩ@G#<#ҩwܩ#9#u"@@Ds#(nfddffffc#m` [#ϷCBAƷ@><654˷3'A)η(!###Uٷ~}####gʩ۰  @E:U!##Ȑ"H5 DV###*@B@D$(@$$$ 0.&'~$$$} @{0$ $#$$|4{5zy;##$%$$$#rܩq#$)$'B@zB;3"$.$-q#$}&&$ LN@I}#$BV R#$6\#j@@D$G($$Hݠ6d$LpnfgC[klHKjr}sxtwufo"a$$g$es"P$!$j$h_]@W|/#$d$tT]Oy~$x$x[10qo@i$b][w$-x|߰$mX$H""H6YԠ$$֠ ?$"H7f$$䠐Z$$9Ȑ"H8[t$p$["$,`#@@D^$(YQOOQQQQN$XK"F$ܷ.Է-շ,)"ڷ!۷ ~穜@J$۩$̷$@@D$(ywwyyyyv$s̰ n$VUTٷSQOIHG޷F:T<;    }ywvqoh1fd_6][ $.@F@D% (DC% ($%$%%%%53-+$,"-@}@@A@-tposr_sort_eq@!e%P$F$E@@%M!s$Q$N@@P@!u$Z$Y$X@@$W@!T !H%P$g$f@@%OA%N@A%R%Q%PB%$t$s@@%< %]%\%[%Z%]%>%=%<@@@A/ EC=;53,4@(@9%p@@A@2tposrp_sort_eq_aux@!e%$$@@%!t$$$@@$@!u !T !H%$$@@"@%%%%@*tposrp_ind *(" !"!s$Π$@@@@%%%@@q@5%7@A%<%é%÷JHACE86@%A%%%%Ϸ)'"H0#Q%B&$$@@%%%%L-@ Q^"_R%%%%ʩ%/%%%ݷY!%-%%%%%\$%%%%&%ש9%%%ة%%~|u6v5w4xki%&&%)IHtposrp1\Z@T%MV%H8u%%&& )IHtposrp2hf@`&Yb&Tnl"H1h%a&&&&&&&!& &&@~|@Sv& h@@A@.tposrp_sort_eq@!e&b%X%W@@&_!s%c%`@@b@!u%l%k%j@@%i@!T !H&b%y%x@@#@&`@A&d&c&bB&%%@@&N &o&n&m&l&o&P&O&N@@.@A/ EC=;53,4@(@9&@@A@8tposr_eq_sort_tposrp_aux@!e&%%@@&!t%%%@@%@!u !s%Ƞ%@@@!H&%Ѡ%@@&B&&&&@,tposr_eq_ind$0.(&'"s'@&&&@@@5&Ω7@A&Щ$@$@&&ة &ة &۷OMFH><64A&&&&B"H0&T&A(@ ^YZG&&&(&٩%&&,&.&R&)&j)$k1&'  A@r&,s)&' ' 4B'I&/&.@@&'' '3&>>"F@A&##!'' ' 'q;'''&M''H,' '$HG|z*IHtposr_eqk@C['!'X6oIGE]V&''6')y@w&pk&'@hr'o&&Nv'('+':q'* @'{&Zx Ȑ"e0E@' ']'H'U@'0@÷Xũ@&@'''b!'q'd#lB'@D@Էթ'''o2'x'q4' 'z6's& sB"@D@ &''':&'y'&'F'-'"H1'O' Ȑ#Heq@j%'['̐'/'װ'^* Q%'ؐ'R'ސ%S'+%ͩ%%6*11'''ө%%' 07')'''''¶''''$@'n'''I'͠''ѷDB;<=31+)''''׷+IHtposr_eq18@H''' 5''''巐+IHtposr_eq2(D@&T'''.JbE["\IG''''ڶ8T@6d'/*%'w'u,'q' US',''*D`@Bp;6'{'3u^BC''''((b'''é' ''(H&!(J&'($B'ʠ@D@̠ȠU&$('W&&'()Y&('(+ *B#@D@נd(7f'(9h&"(:"H2o&)(C'(G(E(IȐ"H3E(/|U(O(R(QT(T( (T'(((K@'V'(g!(_(T(S(D(c(b(a(`նͶζ¶@=@@A@4tposr_eq_sort_tposrp@!e(((@@(!s((@@@!u(((@@(@"s'!H(((@@(B(@A(((B(ޠ(͠(@@#( ((((((((@@l@A/ EC=;53,=@((@%@(($(@@A@/tposr_prod_prod@!e(''@@(!t'''@@'@!u !T !H(( ( @@(A((((𩚰@)tposr_indT*(" !"!A%!B(@(((@@@2(4@F))%(1@@#ex2@@@"A'C"B'FH)TR<:@)%))@@@MX"H0e@)6)9)7=`;a"H1;fh@B)&9Ȑ"H2D@r )>"e0w(t@@D!l}A)V(@(}(z@@ @]@t@@;a@s@@@ @@Ab)o)n)ml@)False_indd][v;)>q)z[O@A/@CQE A(@ˠ@D?)(@:0@l5.,,.....+()5&~)̷zŷƷnɩK@Bma](@@D[)(HFFHHHHHEB)O@ڷ۷)޷߷`ԩ))):)(IHtposr1@ð)ɰ)·w)@@@B))))!(IHtposr2"A0 "B0ߠ))ᩜ@A)h)))驜@A#/-%&GFB@*+54(E02ѩ#:7))***(IHtposr32;0<ѩ?A@C(*Ȑ"H3I Q*M)J@b@D*'(@R@S**̩WWXY0[S),*5jh=` aU}{?e"fpXCq*E*D*C>m=n _)*I*H?)*=nRvx i(O*S*R(:DZt}r~:V@D)**PTȐ"H4 (L**X)@@D*h(@B*j ^WUpR)*8k*t|_ ~a%NzyIxt87Cf**((IHtposr4r8(z|T*N*8Q@(U*A*R)@ܠ@DP*(K=9;=====:7*D5Ϸзѩө@Ǡ*r*)*ٷeڷ۷̷'IHtposrැ!sb|*****{****ķ***I ҷ****2ڷְ@H** **ַ * @!@D*(U|*z۰*l**&$>=97!",+<Ʃ@Ͱ*++$-".é13@G**9(*˷<*9@Q@D+(+ DDEFH*+!VT)L MnͷAmig+QR\ҷ[Ol0շ/PXZK)+5+4*&<`bS+=+<+1*F`i^jBmo@EAV*++?CȐ"H5 z KWR*+K *~@@D +[(+\PIGb ^Y*+-`+iqT+s+r+rxv@f_]x+>qK<+p+a++d(HB+I+>+++.D+M++q)w++++v7@IH+4+RZʩ q+ +Z*@@DX+(SECCEEEEB?+L=׷ط٩۩)+z+bgjķĠ)+r++ϩ++¶@԰Р+M++ѩ̰ް ڠH)++۷˩U++hɷc@++X'$+ߐX+)"H6+, +x&/$0"H7 5u++̰ [)+ Ȑ"H8C+,ڰ\* +M+J@b@D,'(,(ʩUUVW.Y',0ec8[\}ܷPǷxŷ;abl?igh$dHbk`lDoq@J,>Bw,Dz+w@@D,T(-,U蠩IB@[,#V,_gJ iL9n3m>98.cX+|zt|8rpwk<=ig:+@Ġ@D8,(3%##%%%%b",,~wu*,,v,,,,ƶ@ؐ@@A@-tposr_sum_sum@!e,Ҡ+Ƞ+@@,Ϸ!t+Ӡ+Ҡ+@@+@!u !T !H,̠++@@,A,,,,ǩ@)tposr_indT*(" !"!A%!B(@,,,@@#@2,ĩ4@G,,婛)̠,@@@??"A'B"B'EG,SQ;9@,ed,ޠ,@@c@LW"H0d@b- -- <_:`"H1:eg@B,8Ȑ"H2C@#q -"e0v,J@b@D!l|A-,(@,S,P@@W@\@"J@@;`@"I@@@ @@Aa-E-D-Ck@)False_indc][u;-p-P[O~@A/@CQE A,@@D?-f(@:0@l5.,,.....+(-i5&~-o˷zķŷnȩK@Bma],@@D[-(HFFHHHHHEB-O@ٷڷ-ݷ޷`ө---:-(IHtposr1@°-Ȱ-w-@@@B--v--!(IHtposr2"A0 "B0 @F-Y--C-,@@D-(e@ @!-%%&')+--ٷ75 -.P"OKI 23>=1N8:ک+C?--h---᷐(IHtposr3 ;C9DکGI@C+-Ȑ"H3Q Q-U-)@A@D.(:.өĠ$]]^_6aS-2.pnCf'g[Ek)lw^Cx.".!. <s;te-.&.%g-.uX|~o,,.0./,B`{y8\@D--.-ZȐ"H4" ,)-.5 -h@@D.E( @z       .Gd^\vP-.q.Qf'Ƿh,UƷxwPvr87Jd.f.e,b(IHtposr4p8,WzT.+.e8Xǩ@,tU..nY-@@DW.~(RD9BDDDDDA>.K<շַש٩@.O..߷eҷ'IHtposr淐h{.~.}..Ű.W.......O׷....8߷۰@H.r..b.-@@D.([..H..ͷ+)!"DC?=&'21%B̩@...߷*2(3ɩ 6.Y.@A==>?A,..d.@AHTR'J Km̷?lhf)O P[ѷZNk)Է(NVXI,/ / .|:^`Q///.D_g]hܩ@km@E>V ./AȐ"H5 x HWR./  .S@k@D /0(/1NHF` [Y./^/>oS/H/G/Gvt@d^\v/oJ4/E/6/U/Tc'G:///\/[/Z-C/"/`/^g-L/e/d./K/@IH/ /fRYȩ i./nY.@@DW/~(RDBBDDDDA>/K<շַש٩-s/O/߷afi//à-/^//@Ұ͠/"//ϩʰܰנ@-/}/ٷ M//g[@//P&"/X/-η"H6//٩ /M%-#."H73u//ɩ̰[-/e Ȑ"H8A//ڰ\-/kK/@7@D/(0/ɩSSTU,W%0ca6YZ|۷NǷwŷ9_`k8gefcFai_jީBmo@J0@u0x/L@d@D0)(]0*砩GA?Y/T04eI }gK8g2f>98-YN+|ztz8rpuk;=ig9/@@D70^(2$""$$$$!0_+|vt.d0g0K0j0i0h0gĶ@א@@A@3tposr_subset_subset@!e0//@@0!t///@@/@!u !T !H0//@@0A0000@)tposr_indT*(" !"!A%!B(@000@@'m@204@H00-/@@@??"A'B"B'EG0SQ;9@0з:900@@8@LW"H0d@7000<_:`"H1:eg@B08Ȑ"H2C@'oq 0鷐"e0v0@7@D!l|A1(@0(0%@@,@\@&@@;`@&@@@ @@Aa111k@)False_indc][u;0p1%[O~@A/@CQE A0^@v@D?1;(@:0@l5.,,.....+(1>5&~1D˷zķŷnȩK@Bma]0z@@D[1W(HFFHHHHHEB1XO@ٷڷ1^ݷ޷_`ө1i1h1g:1h(IHtposr1@°1cȰ1[aw`_1_@@^@B1l1K11!(IHtposr2"A0 "B0 @F1.1110@ܠ@D1(e@ @!1%%&')/1g175 -.P"OKI 23>=1Ng8f:ک+C?1X1=111(IHtposr3 ;C9DکGI@C/1Ȑ"H3Q Q1˷U0@ @D1(:1өĠ$]]^_6aS121pnCf'g[Ek)lw^Cx111<s;te111g11uXp|o~o022/B`{y8\@D112ZȐ"H4" /12  1=@ U@D2( @z       2d^\vP11q2&f'Ƿh,UƷxwPvr87Jd2;2:07(IHtposr4p80,zT22:8Xǩ@0IU12CY1v@ @DW2S(RD9BDDDDDA>2TK<շַש٩@y2$12`߷eҷ'IHtposr淐h{2S2R2o2nŰ2,2h2w2v2u2}2|2{O׷2v2w228߷۰Ԡ2D2~֩@A  ߠ2,2{2O2@A$"=<86 +*;xũ@w2q22#+!,©/1@G2*2{702u:1@ @D2(2 BBCDF2a2˷TR'J Km̷?lhf)O P[ѷZNk0Է/NV{XI0222Q:z^y`Q2222cD_g]hܩ@km@EAV 22AȐ"H5 x KWR22 2(@!@@D 3(3NHF` ^Y22^3oS333vt@d^\v2oJ433 3*3)c'G:2231303/-C23533g1!3:3923 /@IH23;RYȩ i23CY2v@!@DW3S(RDBBDDDDA>3TK<շַש٩1H3$3`߷afiķĠ1u33{3y3|3z@ҰР23x3hϩʰܰڠ@13R3ٷ M33g[@33P&"3X31"H633 3"%-#."H73u3~3̰ [13: Ȑ"H8A33ڰ\13@K2@" @D3(03ɩSSTU,W%3ڷca6YZ|۷NǷwŷ9_`k?gefcFai_jީBmo@J3@u3x3!@"9@D3(]3砩GA?Y3T4 eI }gK8n2m>98-YN+|ztz8rpuk;=ig93V@"n@D743(2$""$$$$!44+|vt294<4 4?4>4=4<Ķ@א@@A@4tposrp_prod_prod_aux@!e4|3r3q@@4y!t3}3|3{@@3z@!u !T !H4v33@@1@4t4s4r4q@*tposrp_ind *(" !"!A%!B(@4d4c4b@@+B@24n4@F441v3@@ @??"A'B"B'EG4SQ'yJ'xL'wNA?@4A44442U0V"H00[4)B43נ3@@  44444444om'pfghi\Z4444ķ)IHtposrp1MpKq@-;tt5u3vMx4F"i4444շ)IHtposrp2\Z@X4QLFD^4Wge"H1e@Za4414l444-xv@t4mhb`zQtoig4wz444C@54zx3Ȑ"e0545@ũ55"ɷʷ˩3 2 &Lambda@@ @CC@D@51@A*!a㷐!b[45C5B5A45Aܩ4445)@F9˰4ĩ5O555D545S5R5Q5P@@ʰ@@A@2tposrp_sum_sum_aux@!e544@@5!t444@@4@!u !T !H544@@2@5555@*tposrp_ind *(" !"!A%!B(@55~5}@@,]@254@G5524@@ @??"A'B"B'EG5SQ(J(L(NA?@5A5555Ƿ2U0V"H00[5)B6 44@@ 9 55555555ַom(fghi\Z5555߷)IHtposrp1MpKq@-;tt5u3vMx5F"i5555)IHtposrp2\Z@X5QLFD^5Wge"H1e@ua6 6 156 55ж-xv@t6mhb`zQtoig5z556C@66zx4-Ȑ"e064668@ũ66=ɷʷ˩4(C@D@  6E@A#۷ݷR6 6U6T6S56Sө5566;w@=0°56a6G6V6F6e6d6c6b@@{@@A@8tposrp_subset_subset_aux@!e655@@6!t555@@5@!u !T !H655@@3@6666@*tposrp_ind *(" !"!A%!B(@666@@-o@264@H6635@@ @??"A'B"B'EG6SQ)J)L)NA?@6A6666ٷ2U0V"H00[6)B766@@v 66666666om)fghi\Z6666)IHtposrp1MpKq@-;tt5u3vMx6F"i6677)IHtposrp2\Z@X6QLFD^6Wge"H1e@a7716766-xv@t7'mhb`zQtoig6z667C@7/7 zx5?Ȑ"e07F7+7J@ũ707Oɷʷ˩5:-C'@D@  7W@A#&۷%ݷR77g7f7e7 7eө67 7!7Mw@=0°67s7Y7h7X7w7v7u7t@@{@@A@0tposrp_prod_prod@!e766@@7!A666@@6@!B !u !T!H76Ϡ6@@4@7@F7777B76ܠ6@@y 7 7777777ũ777@@.@A5 B@:819/:-;@)46@@@DD"A'G"B'J@N7ɩ277琐@@A@.tposrp_sum_sum@!e8!77@@8!A7"7!7 @@7@!B !u !T!H87574@@5I@7@G8!8 88B8\7B7A@@ 8 8 8+8*8)8(8 8+8 8 8 @@.@A5 B@:819/:-;@)5 7\@@+@DD"A'G"B'J@N8/28N8M@@A@4tposrp_subset_subset@!e87}7|@@8!A777@@7@!B !u !T!H877@@5@8c@H8888B8 77@@ 8 8r88888r88r8q8p@@/P@A5 B@:819/:-;@)57@@@DD"A'G"B'J@N8288@@A@2tposr_eq_sort_prod@!e888@@8귐!s88@@)@!t888@@8@!u "s'!H899@@8B8ϩ@A8󩜠 @F888Ȑ"t0B969%9$@@889999 @67@889 Ȑ"e0@989'9)9959B@@@LLCNBP999@@/@Y@9=909/\C@D@ccdegN8@.Q@9>oq"H0Ȑ"H1&@/{b9D~@'@D!lA9X(@7@.k@@'Š9?9>@@'@*@@,@@A{9k0H@)False_ind59pS@@@A@1tposr_eq_sort_sum@!e999@@9!s99@@*@!t99Ơ9@@9@!u "s'!H99נ9@@9B9@A9 @G999Ȑ"t0B999@@\999999ɩ @6@999Ȑ"e0@999ܩ'9Ω)99ݩ6Ġ: @@@LLNP9̠9ˠ9@@0@Y@9٩=99Cˠ@D@ccdegN9@/@:oq"H0Ȑ"H1&@0{b9ϷD~@(U@D!lA:(@7@/2@@(::@@(@*@@,@@A{:20H@)False_ind5:7S@א@@A@4tposr_eq_sort_subset@!e:{:z:y@@:x!s:w:@@+{@!t:::@@:@!u "s'!H:~::@@:}B:]@A: @H:::Ȑ"t0B:Ġ::@@#::r:::: @7@::{:Ȑ"e0@N:::':)::7:@@@LLNP:::@@1q@Y@:=::C@D@ccdegN:@/@:̐oq"H0Ȑ"H1&@1V{b:D~|@)@D!lA:(@7@/@@)S:͠:@@)R@*@@,@@A{:0H@)False_ind5:S@@@A@1tposr_eq_prod_sum@!e;B:8:7@@;?!t:C:B:A@@:@@!u "t' "u'"s':V:S@@,U@!H;H:_:^@@;GB;6'@F;,;K,@G;O;N;MȐ"e0B;:t:s@@,;L;M;>;_;^;];\;?;>;=@@;<@G,dI @;@2@8@;V.;g;f;sW@A;z ;_2;`;;| ,B;*@D@$de;KD;n;};;;QE;;s;2@0@;;w"H0,B7@D@52;Y];f;;/;8;_^;;;; "H1A;Sg;;;>;fd@;N;|;;E;;8:@@@j@2@;;;C@D@; H;א"H2 @^99;W;ɩq;;٩,ʷ&˷%̩$;;;Cà@D@8ַ2׷1ة0; i;"a0޷"b0᷐"H3 ˩@"vatsUɠTS<:hVΠ R<QWũO;;9U7;PaE; ԩ=fd@<<<=#E==#: ==@@> !t===@@=@!u "t' "u'"s'=$=!@@/#@!H>=-=,@@>B>'@G=>,@H>>>Ȑ"e0B>\=B=A@@/h>>> >->,>+>*> > > @@> @G/2I @=@2@;o@>$.>5>4>AW@A>H >-2>.>M>J /RB=@D@$de>D><>K>W>\>E>P>A>]2@3s@>`=w"H0/bB9@D@52>']>4>U>q/>V8>-^>j>i>w>v "H1A>!g>d>s>>>tfd@>>*>?>E>|>;o=@@z@j@5Q@>>>bC p@D@> H> n m"H2 @`<>->H>q>X>,ʷ&˷%̩$>s>>C @D@8ַ2׷1ة0>j i>Ɛ"a0޷"b0᷐"H3 ˩@%DtsUɠTS>ީ<ݶhVΠ R>QW>ߠ <ܷ|,fR@5|>>Ƿ@-B@D!lA? (@@-v>>@@-u@@+@,@-@.@/@4,@@A?!ĩ@)False_ind?&>? éM9>7S5>N_C>ҩ?0>>?2RPJHAI?J=K;9 @"Ґ4@@A@2tposr_coerce_sorts@!e?v>l>k@@?s!T>w>v>u@@>t@!U "s'>>@@0@!H?v>>@@?uC?t?s?r?q@0tposr_coerce_ind40.(&'!s?`?_?^@@?@@B?o?;@A?? ????@?{? ???}?SQ!AK!BN&B<????"s0H+@A@&??$?(???@+??)?-??$?"H0 RBC???,?WBB??????÷  ???4???Ʒ~-v+w"A'z"B'}Uqki????ӷ/IHtposr_coerce1\xZ@S??Q?ީU??L?@X??V?Z??Q?-|A???̩]?췐"H1 ???ԩd?"H2-ڠ-٠?@@-@B????@/IHtposr_coerce2@???@???~@@ ?@?@"H34#????4"H4;??2}é{@>$@F>?@Q??@%@>1 ??@) >7>"@."H5@)False_indB@?f?e@@@K>G>2@>@@@L #@R??@E%$@G@S  @O@@@^@\}wuqo@!@ @,@\@hg @U@@qz!??@,@v@\@:@x@@{ca][#s''C@-L@&@u@$@R9@G`>@S>>{@@  >@  @ n @"H6b_@&@w@ @@ k @>>@@@hfV^!Pa"U'dQO@@@[@C.IHtposr_coerceEaC@<@@: >@@5@A@@?C@@:@@@D@@@@@@@̩N}@Bd8@[@@H@@^0b@@Y2@e@@c5g@ @@`9 @@@@@@;@ iB@Ȑ!t'8@#@"@@)eq_refl_r@@vOA$@xx;͠@*@@(W@$@,EA@7@AKA4Է̷kͷoηA&A%A$jgƩ@eAAq@A A0tcwaDKA%AAb?N=A)AAA]ة@@A@Z@@]A(A7@@0 JH@AAIA @]e=8 [@ASAA7@pAT !V@AYAIAhALA[AK@A^A]AmAQA_AP Ȑ!aAsAs@A;AkAj@A>A_Am;B=@D@@ A<AhAw@A?AJAzA@ A0AEArAsAA)$" ;B=@D@AAAUSKL!CO'C=;AAAAҶ,H*@#AA!A%AAA@(AA&A*AA!ALAAAA=Y;@4AA2A6AxA-A@9AA7A;A}A2A f@AAA?ACApA:A@FAADA©HAuA?Aŷ eAA֩X@ QApAA@TAAKAѩVAuAA;B=e@D@f@ _AcAA@bAfAAdAhAAA퐷 ڶ@ jAfAngA[mAiAjAAA|@u?AysAAy?A}wAA@~?A A@A|A<B=@D@@ AAA@?AB ߶@ @AA5SNL<,B=@D@B<B%4B8BB@:)@AAA5<&B>B=B2B"BAB@B?B>@萐@@A@3tposr_coerce_sort_l@!eB~B}B|@@B{!sBzB@@3~@!uBBB@@B@"s'!HB~BB@@B}CB|@ABBB~Ȑ!aBBBB@@HBmBBBBBBnBmBl@@B-@@%BB}BBB"BB@ BBB BB%B>(@D@@ BB2BB@BB@@?@BB ,B"H0"H1@(BFBB@@ZBBBBȐ"H2BɐB̐]BABB) BB@@) BBBBȐ!tBߐBީIBBԩgBBթsBBBB̩nBBB鐶@?BBhxB@@A@3tposr_coerce_sort_r@!eC-C,C+@@C*!sC)C4@@4-@!uC2C?C>@@C1@"s'!HC-CMCL@@C,CC+C)@AC/C-BCkCZCY@@CC8C7C6CFCC<C?C=C<@>860.'8@##@@w@C+CI CJ@@A@8tposr_coerce_eq_sort_aux@!eCC-#@@C!T-"C--@@C~@!U "s'-/-9@@4@!HCC-D@@CCCCCC~!s"s0"H0CjCiCh@@:H@1C3@AC"H1Ȑ!aBC٠CȠ-i@@bCgCCCC%8@CB@@5BCgCrCCCVCv"C@ CnCC C[Cp'CȐ"a0CC@CzC1CCCiC5CC@CC C CpCCOB?R@D@,@ )CkCECC@.CpC~CSpCCCܐ"H2"H3@:CaC|VCCȐ"H4c@:jC@GCfCcCCKACrgCCCC@PCwCRCqC CC}ADCCCCCzCCȐ!t*CD7-@@*BACCDAAC*]DE-@@/tposrp_tposr_eqBCC@AY@AB&CD+C::C&D0D0;Ȑ"H5HCשQD9#CD9BDB8DCȐ"e0@. CCCDBCCک@:CCDH@ٶ@ʶ@˩˰DWDV@@A@4tposr_coerce_eq_sort@!eDC..@@D!s.-.7@@5@"s0 "s' !HDC.H@@DCD.GC.R@@C@AD DDBD̠C.\@@H$DzDDDDDD|D{Dz@@;Z@A@ $IGA?9@7A@3@FDD@@A@-equiv_eq_sort@!e#EnvC.@@$lenv!s..@@5@"s0 !H&C.@@%equivDߩ.D.@@D@AD D&&&@@&@B&@D@D֠DՠD@@'@(@'eq_kind$E&@"ex@ADB%TypesD0.@@(tposr_wfCD8EE$@;@TEEEL"'''@@#and@B@@D@6@@Q@Um@A  8"sEE>E;k"H0Ȑ"H1%@"eq@B.jAD!y@6rEEEQ@;$EU"=EE;EWA*}EO*Ȑ"H2k@;$3"e06$%$$$#@@$"@@3@D!lBEr(Et!n3ޠEXEW@@3@EBOPE9QRSE'4QElEyQ@<U©sEEqLJB.ADGa@{dE{E@EeEREZmNkȐ"H3Arڷ?s=@3@D7E(431Ea'9y:z;{EA*****yEEy({~E@AE{@;EE@EEE EEƶ@ EE @@BEz@D@͠   EȩEEEאEb BFD/@@EEEEE㐶*( @Ѱ"EE됐@@A@/tposrp_conv_env@!e#EnvDӠD@@$lenv!AE'DޠD@@E$@!B !T !HF DD@@CK@FFFF@*tposrp_ind ,*" !"!f0@-CtxConversionEE@@+conv_in_env@FF3!F6FF8F7A?96989 :-+@FFAFEFDFCFBL"H0F;FH7@AFNF@F1FP$@(conv_envFFFEF6FUFTFSFR^\9STUVIGF?F^F]F[)IHtposrp1:h@8FVFbPFeFXFWFg!SF[FKFjFi)IHtposrp2Ft@DF2Fn\FqFUFdFcLz"H1LF/Fve@BF|F4F?F`FoF`F~F}FFFFcFFFFyw@sa@AuFF|FmF@@A@3tposrp_tposr_eq_aux@!eFàEqEp@@F!AEĠE{Ez@@E@!B !T !HFEE@@C@FFFF@*tposrp_ind *(" !"!sEE@@7@@FFF@@=@5Fթ7@AF٩*@FBFFFF߷KI9B9D9F9 AFFFF)'"H0#QFȐ"H1'@=rXFYFFFFF&FFFFF&BAFFFGGpn9g'h&i%j][FGGG )IHtposrp1NL@#8FGGG(eG FGG)IHtposrp2XV@P~GIDFGGG ^\0VGOKBCFFFG G)G G+G*G-G-G,GG/G.G-G,@qo@F[G*G)GG7@@A@/tposrp_tposr_eq@!eGpFF@@Gm!AFqF(F'@@Fn@!B !sF~F3@@8}@!HGpF?F>@@D@GnGmGl!@AGpBGFLFK@@G\G{Gz G{GzG{G^G]G\@@><@A8 EC=;4<20@((@GBGsGGG@@A@-tposrp_pi_aux@!eGɠFF@@GƷ!TFʠFɠF@@F@"T' "Ts !HGàFڠF@@D@GGGG@*tposrp_ind *(" !"!A%!B(@GGG@@>@2G4@FGGܶ!sGG@@+@@CG̩E@AGDԠG@@#ex3@QQ"A'T"B'W"s1 1@G@6aG/H H  UGGH$W$List%ListsG@@$list@BvHGHH3H:{:}:rp@H.AH-H,H+H*ca"H0aH$ZUS"H1gH*OȐ"H2k@>H GHAHH&H4jH'HFHEGH*H9 H-&$GtHAH@HHMHMeHQHP*GzHFH7HȐ"e0HEGzGy@@HDGHvHcH`@]@)DatatypesHGHF@@#nat@H; @H:AGH\HkH\HwH/BH%@D@GHFHgHHwHFuQH(HH,H:HH\HH#6dI30GG@@5generation_prod_depthFH_HjH!HHHE"U'Ϸ!mLN"V'"s2ڷ!pWNАUFHHĩ %PeanoHH@@"ltHHΠ_Щð.FFHթHHթ֠HHڠ 8SHH⩚*HH@@%equiv)Hf%Utils&Lambda@@#ex3@DD@D@ UPVNZ L[J"HАVvHI FIHϩ Щl GI>IPIH٩ItT<:4HK1{{A*|(}&D$WR")uGI.Dw GHI1HHI2!a!bZ!c׷"H3BTDL@D@VfhIАW&IAI1NI5I RЩG0 IYIWXI[I\IUIc{GMxq÷oķmkhhoXIugPIxGvIy"a0ط"b0"c0G<%Logic$Init#Coq@@4@BE@D@##IzIԠII=+(vIPIܠIIEհΠIIǰ72\̷ϩ Z\lIЩpIԐI-"H4ĠII]ȠYЩ(YIpIЩϠ IIhӠ1II K~XBEb@D@ᠩII_堩vЩڰE*8II렩)IIi"MIIDݩ UUVW1\JN^9JQe=J "J M,"H5Щr[XJ IWJIP{SIIJB <IBE@D@+t(JJ!/mJ%H3f_IJX~M]FDB`@s>=D`1JJ`<5JMdJNA$"H6TJKHTXDIJ!}]xzJIBE@D@iJQ۩mIJ+ojީҷ~ӷ|z6w~b#Jv'JJ9 "H72H{J7_LJSBF @D@ҰˠHJ:İ_ZJL˷Ω 0d!JΩ%JҐJ3"H8ᰐaܐ@A &&'(Ϡ-cͩԠ eJ#̰7GJݩJQM@A@JZ蠩4j6i6J`gJ;@As@%fromdxHJ wDJnuB,@D@1@-@$@+.,C='KpCHKXBF@D@Oz7C@AV p#I%nK(k "H9_}a@1]vfdzK=U:АglKF]";yh3d*zz wR1(;!l8FK_3&lLKe>K FKgЩY'Jةu"RLDKk&KnKOG7764L .Kt^nBK$@D@rKYK"x0`AH IsKOKȐ!t(ThinningJJ@@/thinning_coerce!KKQ@(wf_tposr &ũ@%lliftA@BE@AЩ  7KCFЩ{xKK>j KKKK)IHtposrp1@!K@%%&'Π,Kg˩ҠKHKK ɰ4KKLKK%KKKK޷)IHtposrp2;<@?K @CKEE FG!LKl>IKK @TKIKK޷2U0Vɩ.YK'" ȩ2]KKKLLLLbb(cd +  YKL([oKLL@$@D#@D@-ww=&x$y"@ S~J $pKL)?rKLL,>N753Q13YKL8N*K]KL;L:_ FJBGŠ@D@DwpLLLKJpLLPzLLQbr[YWuU?RYKL^tPKKLaL`%dNL LK[LRL$Ln FvBG@D@pL LfgL LL[շַ}JLvJJnLLz}LL#L:JwLuLLL4LIɰMLALLELZLD@D@ȷ˩ް <LHLʩLLLZLSٷܩ  L۩"LPLǐN$L%J{"FBHR@D@Ѡ/ՠ!!LSL#̰7LW%LrLe99:;⠩@ߩ栩2L4ݰHL1L퐷e=LgL?SLkLsLGBH~@D@IJLK_JLwLaa'bc * =hxZDM)\pHM MYc wKKMV yy?(z&{$B"$pUuM)?ryY^M,MMMM_0|M~J/M)yM8W@BM!>LaL`@@-tposrp_refl_lM+MG!Ȑ"t03LoLn@@-tposrp_refl_r-L///ߩ&yǷzBsLM@0UnicityOfSortingLL@@+unique_sort MJMfMeMf.|aKdM[M BMLL@@a*KnMeMqJLL@@I@A4/KcWBB94Kh3ŠLL@@ hA<KpM,MlMMMM@ٶ@b@^̰M@MMMMMMM@@A@)tposrp_pi@!eMޠLԠL@@M۷!ALߠLޠL@@L@!B !T !sLL@@0@!HMLL@@K @M$@FMMM⩜)@AM橚BN$M M @@Z(MMMMMMMMM֠MՠM@@D@ABM DQOIG@H>I<:@2JM(@@@SSC"A'V"B'Y"s1L#@M@(@eNCN#N" PMN N'DRN @@@BwNMN%N2PN@@A@1injectivity_of_pi@!eNmM-@@Nj!A-M%-@@Mk@"A' !B "B'!s-Р-@@-@!HNsMB-@@NrBNa'@FNWNuNxNvNuȐ"e0BNMT-@@?NtNuNNNNeNd#Coq@@Nc@C?E @N,@.@K@N}*NN~NS@AN N!N?BNO@D@#^_Np>NNNNNvN0X"s1[)TNtNNNV<@@@B~NNNNNNǐNR"H0%?BJS@D@C@NgNNNة=NFN/NY)P{NxNNN}'NN|NNNN搷"H1XNNSNzx@KNNNNNNK۠.h@@@Jq@E@NO O zwLNOrO{SNLNOxNȐ"e1'NNNNNO%ӷԷi©OM#NO(kNM'NO+N'D9@D@<ַ٩6N3QM&O@2M*NOCNک MHM3NOKM7MLNNNOO  "H2$TDf@D@i ԠcN`ؠUTOn`'ROrאMp蠩S O{6BM|MgOr"a0:"b0="c0-"H3*vBK@D@KO&O{OV0OV4/OdGHAXWOEeDC4OY"H4%"MO{O&tSCO#OBKE@D@52-O-O63%bO3UMuvDoZY0Oةs3BrOܐ-"H5N&<{OK|BKm@D@][a^O`LO[uEl\[*PE-\[O萷|"H6{x7OVzR;iOwyBK@D@OTFOvŷmƩ^]*P(m-VUP,'"H7v7_OȐ"H8@Fv>PAӠOOPFՠNBN-P*D٠OO0B9oAD!y@Q PV@VPZNCOζP_b`a_APkcoӐ PtKؐnPze J4fPbd ѩPwOʰ@gP~ 23,PWjiP0ڰPP]hP9U0cN_֩@Ff\\h]@>@D!lccP(TR4!n?P.@@?@>pqOrstSuvPkQP4P<PzP>$~~@?@D"P(sqcd%&6'()**+Pg]g~Pةְ_NNط2@ܰtNܶ~|Pug{SPzs~ĩPZPp]PiX ĩ`8^Pz]mGePaPߩ`&jBmPxgQxPΐlkQ QP}|wF:Oj˶ն5L1/+)'jQu#?!QQ$ZQ(D?Q,G@$Q0`sQȩȷQ*b[Q2Ȑ!t7|P0@@Q0t.QNAQ4xx2Ȑ"t0Q~XQX Q㩚P50@@ Qbbb:QbQa`<ک@7 B QmE`QPQlQdptȐ"t1@ :Q  NvQuQ  PxȐ"t2 PoWQAPYȐ"t3Щǰ=pPnb~QL#dȐ"t4ЩҰH Oy +&Qv, -(@A<= 6`srQ:Zfq(>ABCO EDQFBBO JIQJOK$@AQ{VQU4>Q P1.@@+eq_conv_env|'`?IAbKQ&@ @A/0k#21mQdL@H hOQhQԶ@԰vtQ۩m{oyMQ HRQMöWQ|{Z2sQA_QvLb:QQzwGnQgwREkQR@AL 5RR RQζƶǶȶɶ@bRRRR`RRRR"R!@@A@.tposrp_sum_aux@!eRYQOQN@@RV!TQZQYQX@@QW@"T' "Ts !HRSQjQi@@O~@RQRPRORN@*tposrp_ind *(" !"!A%!B(@RAR@R?@@I@2RK4@GRmRl!sQQ@@5@@CR\E@AR}OdQ@@#ex4@QQ"A'T"B'W"s1 "s2#4@R0@9dR=2RR XRRcR'R^  R@@ @BzRsR*RR7i@?}RRREEExv@RARRRRig"H0gR`[Y"H1mRUȐ"H2q@IOR R{RRRRʩpRRR۩RRR R÷&$RwzRRRRRkRR*RRRRȐ"e0R۠RR@@RRR|RR@"ex@)DatatypesRޠR@@#nat@!n @)tposrd_wfARRSRRSRBR@D@ RRSRSSɰQ&RRS1RRS6S7S6RS6R=l!Q=ΠR_R^@@4generation_sum_depthQ,RSR̐S:SGSF@ V@O"U'JT V"V' 緐!p]c췐"s3̠XАVQSXGSHҠ SGSF@@ SRS2ܠhЩͰ?QqSwSu⠩SyS<栩˰SoS~S|꠩ KTSwS%EquivRR@@ *S  @@ @D @D@Qd*Ne,Vi/Lj1J4H5АW|SSESSfЩ ~ PSS!OSSp%?']U=;HQJEUU><:X8Y6lS4;QS2?0QQS_(SSSTSِ  o ䷐"H3GUD @D@z[|]АX(SSbSSfЩW2 TSlTSpUSTTtSTR ޷߷rYT"~YT'vT(T'T'"a0"b0"c05QF   @@@@BS@D@FϷЩ9%TːT*T9T=SߩC*T1YTOTSST:TXTUà$TT?ذ?,,-.Ӡ 4[ѩؠ']|TrЩݠ,ΰ@TwưTxTwTw"x0 =J@?@BP@D@|АZT@TMTn%TrTЩ^ TT/TTT_TT ?j8TZT+x(rr88!st;<OzAl_.T"q4TB TTT:"H4/]TT83Щ$ibTT9gTTB="TTTթAwpT}TͩVrcaBPc@D@O}TRͩSЩDC\TTߩZTRة^CTTTbrTTߩw~ z̷xͷvtrUova"Un{l(UdUUUX4"H5vTUUSuTU U ʰàTTs BP@D@.Щ^HTU נU$ܩTUU6\TUưӐ0"KŠc"U_ʠ-(UdUeUdUdN0"H6נU1@۠TU*Ueߠ@S_UƩ7BQ@D@U<ְSoU+Ul+VQ$SU# `O__%%` a ()<gA YeU^rU/UU;UD*"H7SUHUv VOUU35B5@BQB@D@.aU?U}2h9aU=GbUIWUTddMKIgGhE{;BIgUAN?Un7UU5U萷>("H8['S۩p}U}BQ@D@k5TdUطٷ~5{iVzxV!pV"V!V!8$"H9U@A(·ŷƩٰhjVB@VGͩVHVG{䩜@AI# fI'à&O.#V^  @AX6x@ p\:U! ?ATkVS@<UİHVuVx;BVUU@@)CUV}TRI2KLMNA?VjVVV)IHtposrp12U0V@.YV'" @ũ]]## ^ _&':eVWTVbV [oVhTVV,`VVVV)IHtposrp2SvQw@OzVHCA@S~V;6FF/-+I)J']V0$+z^VV"/~ VdVVOpnlVe`^pVXVVVVVVөVffOMKiIjGIVV@M>VVVm6!@e@EE@D@ohfdb`]d.VV[hYV4VWQWWV~з|ѷzxvxVWo|mVVWeWWVW=<;!d=,Q)BR@D@ưOVWGVW1W2W1W÷Ʒǩڰ U;WAUA&U,WFmWDe"VW>WVVW5nWVWUWQ^BR٠@D@ŠVWOKɠ,VVWTmWGWfW0012נ 8zԩ۠*DWtҩߠ.аBJWyȰWzWyUaWy"d꠩9۰MVVWvrӰWwWhW(QBS @D@EYUvWWsq߰WWW&]]## ^ _&':eW0W [o$6W,W@WWW$~WPWeWWW'/yy??(z&{$B"C M"q~UW&uUW1WFWWE٠@D@GWW@><Z:[8n5<UW3@1U%UW`)WW]mmVTRpPqN5PW>WGTED]Wt=WWnW"d0J,RBS|@D@h'lsWpayVX iYX X طٷ~H{x-Xyw3~X  Xt$6X1XH|X0X/pR8BS@D@iiX)%ooX.GX!X@۩  з  ӷԩBlXNrXSXQh 0 %XNJXOX@RgBS@D@Π1aXKIX\X[u5567ܠ=٩ࠩ/^Xyש䠩3հGdX~X|Z#H10ҰXhXweW(PPQRyHQXL`WXXX]X;XPX[X|Ȑ#H11sWW@@r@AP6穜BBU;쩚>W͠W@@]C V@cKer]VXUXc-|XY1xYXk@XX`X @BXfȐ!tIWW@@ Xq X Ȑ"t0?XX@@ 5o-q|}~w#X XX@@  qqqXXXX۩42.SXt+)ЩY !XXyYEZZ{%#Щ`TWLȐ#H12p@kYYW#$tOkX- X+YY@3$zXY$Y"Y#YY%Y$Y#Y"@@f@b÷ĩװXXXY> YXY&YC@@A@*tposrp_sum@!eY{XqXp@@Yx!AX|X{Xz@@Xy@!B !T !sXX@@<@!HY~XX@@V@Y]$@GYYY)@AYBYXX@@g(Y~YqYYYYYsYYsYrYq@@PQ@ABY DQOIG@H>I<:@2VX@@%@SSCC"A'V"B'Y"s1L"s2O&@YT@+@hYF QY|YY6 UY@@@BzYYYYS`@FYYYȐ@@A@2injectivity_of_sum@!eZX9U@@Z !A9_XǠ9_@@Y @"A' !B "B'!s9r9q@@9p@!HZX9|@@ZBZ'@GYZZZZȐ"e0BZXX9@@KdZZZ'Z%Z$ZZ @@Z@BK,D @Y@-@Wi@Z)Z/ZZ;R@AZB Z' ZBKJBY@D@"]^Z=Z4ZBZOZTZZSW:9@@1E@]]"s1`"s2c2\Z ZZ)Zf6`[Z @@Y@BZ,ZZXZgZsk@GAZxZwZjZwZ"H04KyBV@D@ROZ>uZKZ{ZLZmUZD>Z820`ZZ)Z7Zd.Z/ZZRZ]Z&ZZZZ""H1lZFZgZ@cZ?ZMZmZZZV@)@ķŷUS@Qq@ZZZXXZ©Z©\XXZBZɩZɩVZZZoȐ"e1)ZKZtZZZZѩ'Էy׷wة$Z!QXZ zXZ`ZrZZZ}EE@D@B ? Z<ƠRXZ;ˠXZs[9[[Z}נ,YX[ ۠%Y 2ZZ[+[!a)!b,!c"H2.}E8@D@z::''3;.<*+wBYtWV[6tΰNT[<sǰ[=[<C@@AB;U [F@`SS[Lٰ[O[Np[B"a0g"b0j"c0Z"d0]"H35BV@D@3{YcV[![,96X;[&2[T@= C <[9:[k[^[m.&}} ~Nx[ZY[U Y[[[Z[q*"H4b_d[9Z[[he2lY[V0*[c[fBW%@D@tq%;[=l[bzwDC-}[S<[j[um^XV]\:[V?>[N[[W[Ð6 "H5cKM[d'[[t[BWV@D@oX n[U[i[t[_^/[4m[{[[n[,"H6[r[ABW}@D@̠Iͩ[[ҠL[p֠ R$[[[⠩ a`1\蠩26d\\ \e\$"H7BA[@r[[[xBW@D@ P[\ѰQV&[ɰ[[BBCD=cb3\ICc8h\N۰\Q\Pi\P0"H8&#>r[[[BW@D@0-zP[ة*[[[mmno>hed-\tDn2d\y\|\{e\{*"H9 [[Ȑ#H10`@SϷְ\|\~^L\&ܰZBEAD!y@5p\@\m[Ŷ\hfg@?7~\ip|H\v\Đk?r^ސl\jH =\ jm\ڷ}۷{ܩ\qp\{\on\u\\\ꐷ8ޠdv@R   @K4@D!l\({!nKh\~@@Kg@ !"#$]p]]($,,8-@KV@D"](!%4&5f'6(7)8j*9+:]&](s>@2A@yDPN,*]3#k]9(yȩ ]AΩ ]Goé ö`d]/]Ag]3:jo]IYYZ[*T]sr]`0Zz]]e]h]gA&qh<82N.*>]g&A$]\)"tr]{ H]K8·K]NG`N]I4S ]o X]ԩS˩]*]Ȑ!tCѠ\t= @@M]e]A]Ȑ"t0]oũpf] ]sU\=$@@T ]qr]]t_@D.M©]Xe{]]©]hf6Ȑ"t1@]an]˩]cpȐ"t2 ]Mu]]PȐ"t3Щqv]Pt]Ȑ"t4Щ| [ u7]̩ w9@Azy]Ǡxw]^^$BC\ Y ^BB\^^\ @A 6堩/%<>J^#sD^"\=@@ f?.L}N$PȐ"t54]ɩȐ"t6ЩѰQGC?t]!@ܰ\S ^I`{.@ @A^L  `^V Z[Rr|j^^^B w)^d^bJho^qj^f5䩚A@T&^j^k@ki^rbd0/C^zc>5ީH^iM]K^PF?1P^lWU^~ƩX%^=75e^Q^i3^W^+^^ߩ^@A 7'&^^^L^lȶ¶ö@]WU^|^^^S^^^^^K^^^Ð@@A@1tposrp_subset_aux@!e^]]@@^!T]]]@@]@"T' "Ts !H^^ ^ @@\@^^^^署@*tposrp_ind *(" !"!A%!B(@^^^@@U@2^쩜4@H__ !s^5^2@@P4@@C^E@A_\^A@@6@PP"A'S"B'V-@^@2]^+O^_+_8*@CV0/_ @@.@Br_<^_;_H/;@BR'zR&|R%~qo@_^A_]_\_[_Zb`"H0`_TYTR"H1f_ZNh@ES_o__+_6_rTNLJy_rN^_B_GB_F^_g_:._>_I_j_}_n<7_$__Gu_rljh_l]_U_e`_Y]_d_XL_G_g_Ȑ"e0J;^̠^@@1generation_subset_G___j#_ݷ"U'ැ"V'f_0__jA__yK @^^@@*equiv_sort_?_@A&Lambda@@#ex2@C*@D@+ ) ]__J__T']ԩӐ_ аƠ _iʠ]__é(_]___*+*-$$Init#Coq@@J@B[@D@䠩^_`ݩ蠩_`Щ젩F_` `[^`TNNOP)TQ#GS_`1J^__`4`4$ԩ g__`?@k^)9`F`E,` yCB[͠@D@{_̐R_`U &U^SN`<`[ A`%>864c5\8U^f`j2-^j^U`m%`m ""H2FuLI_`CvB\@D@R1z`x`wTn`Rkeca)eWE`_ZIp`R`,"H39`lթ@Aҷӷԩ~ؐVX`}xg`p`|`@A9```^``ʩ@A"``é ^````ն~`y``2c`֐```׶````Ω `ک`a````e````" S ````)IHtposrp1#$@'`@++,-נ%٠!``a ҩ#Ͱ7a`aa ŷ(a`aa)IHtposrp2>?@B`  @FaHHIJ>_aa'@Ta_aa*2U0Vʩ.Y`'" 2]`aaa9a8a7a6bbcdHX_=a4aA Zna8_Aa7aD,C,@D@*tt$u"v Oz_8H$l*a9aUna=.aLaX:4202za&ac+|&a*aKafafhg[uB\@D@Bq_oVF%a:ax?a]ay0ZTRP/xTaaMHa a,a@a"H4abaJaZUaNfaYaM[B]@D@maAafaaEaZaYͷ}η{ϩy#}a avqa$a,aia("H52a\apa-aaaata2aaaaa,C,@D@'Yaaaaa  OܩZa_aa퐷"a0"b0"H6&\B]}@D@Ϡ)jӠab̩ǰ1aab3345ߠ9'㠩+]bݩ.ذBbb%"H79[ab%<Paab(\1B]@D@F\abI]aab6__` a :e 3W_bA ZnbDbD+"H8c wa:ab1yy)z'{%TBM)q`b[#tb^bRbQ{߷}&RbeDUnl@jc^\@nVQKIGDIgbnb{C>brbqb~6Rbzb=bHXabBRMbQE1^c@X@\}Ƿwȷuɩsͩ`byfbbsnbbbf˩G۩`e޶ѩ/^b¶@c@bibbbbbvbש͠bmb{Ƕ@|̶@ް dǩ°   dkbb bbbǠ!blbt͠ebqǩ°,b}T׷1 2@ 5I@9;;<=砩ABf5hcc8Lccc"ڷƩ=c֩bb2U0V@.Y')$"@4_xaabc <g5Yjc6cC \pc:c9cFcs0vigRp cOZX{V|@TMHF@931/^WNY5}mcZcg/*c^c]cj"eکganaYcsazx@voXqlj@a]WUS{Woc|cQLcccD`Ahf=E_ZA[pR7V˶̶@@ө׷ط٩ݩlcc~cccvb. ݷ@ʰàŶ@аڰөnccccc}ߠY c"D@c@!ސ7۰%%&'Ѡ+A{נqcd ѩ"̰6dcd ĩࠩ:((䠩,&Rݩ.ذBV*з534(&I$J@"@$O  SSTU.Y')Mpd*d7Pdd.d-d:=hZ \pH@Au&  h@B1#cũl 쩚Bdcxcw@@m=v c7cc@@6@A'G/BB,L4Jcc@@ U4T<b[a]@}=v]RDBddfd),@|z@t1ζ@˶@ũlpavideb\ddddddéPj{նֶ@@۷ܷݩY_(@d=dXdAd`dddd϶p?@>Ķ@< 6ް  Nd7dd4Rddddd琶  @@@԰ ʠ˩̠dddũ*ddde@@A@-tposrp_subset@!ee:d0d/@@e7!Ud;d:d9@@d8@!P "T' !sdKdH@@VJ@!He=dTdS@@bh@e$@He@e?e>)@AeBBedfde@@(e=e0eOeNeOeNe2eQe2e1e0@@\@ABeY DQOIG@H>I<:@2bHd@@f GeDf?Nzeef'*|'eef f:fF"H1Ve?fOQfByw@Oeef fWfHfUc;P"@@=F@n{@]@fXfhfgwteefloUxReeffquLȐ"e1&ef1f<f\f]fy$зѷҩftdlffifdpf,f'C1]@D@82fy/dff-}fdf2f+dff6fdffH}f1m1l"H2KC1@D@\  ĠVf\SȠSRfSQfRӠ d! df>f"a0%"b0("H3!fBb[@D@頩{3fsT fwǰ<$dfu"U .ө%аE3-fG"H4;fݰR?:fBb@D@ VIf_MLfEW -Hh(Vg""H5"q:_gBb@D@/ye )30Xg3 (g<hY -k(Kgd"H6JGg#өI 3g4BbƠ@D@TQZg ީT.&g2ܩ][ +:7&I/gV "H7f -g!x@Mgg98q]\glpG&z^#,guxFͩg{ex`_if^X&}B%G_g'g5%2Šgg,Ǡee%BPAD!y@@Ӡegg@Egؠba/ 4BgU g,g4@Ȑ"H8@]@U@D!lg( eƷ!nV3gI@@V2@eз*+,-./0g8 gܩ|4gQ&$88 9@V!@D"g(-++,%@&A/'B(C)D *E+FgZIgHe6 @^qL2M@P8 6dcR:ZWݷ"H9_(E`Gc,>ddheFH8hө'fP"tR9h%'w|ư~Y&h-[<hhgl8ީB<ZʷG@oVD·N1vxhE0}dA)C#`'&hW*ci-,h`ccmj6IhkmW© ĩhs lk`]LUENaORR<-ku**##@A/c{x3 =fpBC%84lNgxRj@@$-@<hBB2yA 4{CSB|UDh"gR}@@BNPR(@"@AL_,N]a!Pc_+h_hMxKu+u-pJHhhPhhhhݶ2o<,϶?A )٩+ְKΩhhhhh5@_5Q9h9h@Ui@A\,%i ٩("ce yKMmi]\hݐ|ztrksitguec@[1]iii( _ iii i+@@A@@@ifidichjhiggfff0f/]]\j\i[[ZZX XTTTTTSSSS+S*R RMҐMѠMGMFGGDJDICCC>C=BB蠠AA@@<ڐ<٠995655443321111:190א0֠00/O/N..-&-%+Ð+ *`*_'['Z&&&\&[%T%S$$#Đ#à#(#'"~"}"("'  ̐ˠ;:@@@@i3%TPOSR&Lambda@0Ѷ6E%QJe1UniquenessOfTypes%TPOSR&Lambda@0sMޔų2TypesFunctionality%TPOSR&Lambda@0RJ|ӝu9E(Validity%TPOSR&Lambda@02 s-AZkħT%TPOSR&Lambda@0/ir)۠L%TPOSR&Lambda@0xXX\f4iF۠RJ0x};X 6 F)MaxLemmas%TPOSR&Lambda@0iܖo 2S %TPOSR&Lambda@0!&|h߱vȠ.TPOSR_JRussell$Meta&Lambda@0rNU+tܠ%Unlab%TPOSR&Lambda@0=U4r!@#Fꠠ0UnicityOfSorting(JRussell&Lambda@04dN4K5UnicityOfSortingRange(JRussell&Lambda@0ھCUՃqt~/GenerationRange(JRussell&Lambda@0t4?Xנ0GenerationCoerce(JRussell&Lambda@0R#4wㅀeL^1GenerationNotKind(JRussell&Lambda@0ŬdyɟԨaD(Validity(JRussell&Lambda@0w?B@{Sɠ*Generation(JRussell&Lambda@0@Ď$UR6HZ0PreFunctionality(JRussell&Lambda@0 kUs?G}gv,Substitution(JRussell&Lambda@0^O)Ht4eFX(Thinning(JRussell&Lambda@0V.'n*Conversion(JRussell&Lambda@089,,Xsᠠ,InvLiftSubst&Lambda@0c+Ttћ(Conv_Dec&Lambda@0rǰ*GJ%Union+Wellfounded#Coq@0ޫ.6CĚ~Z2Transitive_Closure+Wellfounded#Coq@0߭_^ n}DW$^(Coercion(JRussell&Lambda@0v[+T:%~%Basic(JRussell&Lambda@0s տ>c.3%Types(JRussell&Lambda@0/t)>ye,ܠ$%TPOSR&Lambda@0u H69Q%TPOSR&Lambda@0k4\^N1SubstitutionTPOSR%TPOSR&Lambda@0X 9o#i#!ؠ+CtxCoercion%TPOSR&Lambda@0V |^EQ$%TPOSR&Lambda@08sdNЂn44PreSubstitutionTPOSR%TPOSR&Lambda@081ngJ>ߎT,Substitution%TPOSR&Lambda@0WEV~Q^J.PreCtxCoercion%TPOSR&Lambda@0tiI4)%;s,CtxExpansion%TPOSR&Lambda@0#n|jl~]m!ٓQ,CtxReduction%TPOSR&Lambda@0 t@"2p%TPOSR&Lambda@0H{]% J7[%TPOSR&Lambda@04)*()"ej 0J!m@͑ә;ˠ#Env&Lambda@0beӯD Ơ$Conv&Lambda@0*}Q;<)Reduction&Lambda@0WUlod)LiftSubst&Lambda@03eiV^o5jb02%〠$Conv%TPOSR&Lambda@00#Ƚ"c})Reduction%TPOSR&Lambda@06yZڍ:񧠠)LiftSubst%TPOSR&Lambda@0խD?(wah;R%Omega%omega#Coq@0mJ%,y'(PreOmega%omega#Coq@0wR51|5&NArith&NArith#Coq@0\[nTZS*NArithRing+setoid_ring#Coq@0Z4xj+OmegaLemmas%omega#Coq@0-ww'7XU>Ej0*p <%MfyUƠU`Uj@0KH!8DmSD)Relations)Relations#Coq@0cҨv>s =)נ4Operators_Properties)Relations#Coq@0 . bkB}2Relation_Operators)Relations#Coq@0~ ɀL?7fy(%Arith%Arith#Coq@0)f^joqU#r[L)ArithRing+setoid_ring#Coq@0^⺯d-1$Ring+setoid_ring#Coq@042 $'])Ring_base+setoid_ring#Coq@0K W)(Ring_tac+setoid_ring#Coq@0%& Š+InitialRing+setoid_ring#Coq@03bm|ҵZXQ!)ZOdiv_def&ZArith#Coq@0 kiomO|(Zpow_def&ZArith#Coq@0e%`E Tk'ƕ+ZArith_base&ZArith#Coq@0p+;Ftx&Zhints&ZArith#Coq@0yLt Ŝ>$Wf_Z&ZArith#Coq@0Usw. %Zmisc&ZArith#Coq@0@YM-pȠ%Zbool&ZArith#Coq@0q W{`)auxiliary&ZArith#Coq@0ckk*a Ӡ$Zabs&ZArith#Coq@0;ƘGMb *ZArith_dec&ZArith#Coq@0Eo#'Zminmax&ZArith#Coq@0 3A?qWl%Zeven&ZArith#Coq@0Ip?n,Ring_polynom+setoid_ring#Coq@035<'BinList+setoid_ring#Coq@0!M:GD+cv*+ListTactics%Lists#Coq@0hVEq EA.+Ring_theory+setoid_ring#Coq@0Jٸ`pN!~R$Nnat&NArith#Coq@0] N3]EP?0$Znat&ZArith#Coq@0h#yeT+$Xx$Zmin&ZArith#Coq@0( k 1^} $Zmax&ZArith#Coq@0yt-?2ad&Zorder&ZArith#Coq@0jy:E0۠(Zcompare&ZArith#Coq@0x1+C2B6&BinInt&ZArith#Coq@0WmIM$Pnat&NArith#Coq@0ٯL j㾠#Max%Arith#Coq@0mAà2adUU$Div2%Arith#Coq@0d&ulg}k宖$Even%Arith#Coq@0^w2&x-n#u'Sumbool$Bool#Coq@016Iu#m&BinNat&NArith#Coq@0[lu,Bp(NBinDefs&Binary'Natural'Numbers#Coq@0 KP/JP<(E&NMinus(Abstract'Natural'Numbers#Coq@0KHH@bӦؠ+NTimesOrder(Abstract'Natural'Numbers#Coq@0|A3Խ*NPlusOrder(Abstract'Natural'Numbers#Coq@0Y~z:sf.B*&NOrder(Abstract'Natural'Numbers#Coq@0X>XP j&NTimes(Abstract'Natural'Numbers#Coq@0-Hx/pG.u$W%NPlus(Abstract'Natural'Numbers#Coq@0X*nV=N˖%NBase(Abstract'Natural'Numbers#Coq@0' CqOeI*6O,NZTimesOrder&NatInt'Numbers#Coq@0TԘ޴3к?#Ǡ+NZPlusOrder&NatInt'Numbers#Coq@0 xZx) *'NZOrder&NatInt'Numbers#Coq@0=8 ;{ث'NZTimes&NatInt'Numbers#Coq@0Sp,˘ o kP&NZPlus&NatInt'Numbers#Coq@0Yqi"9"3&NZBase&NatInt'Numbers#Coq@0 PӂΟ'NAxioms(Abstract'Natural'Numbers#Coq@0I`oQdåAJ(NZAxioms&NatInt'Numbers#Coq@0{Vmޗ, 蠠*NumPrelude'Numbers#Coq@0EqDOL,oa;8堠(QRewrite'Numbers#Coq@0`rBNJԖ&BinPos&NArith#Coq@0x j#ѣ6X2])Eqdep_dec%Logic#Coq@0fEٝiq/4? ]ʠ*EqdepFacts%Logic#Coq@0Qtإ*Arith_base%Arith#Coq@0kp %B)Factorial%Arith#Coq@0 z5+lM+Compare_dec%Arith#Coq@0?aȪN PeVO)Peano_dec%Arith#Coq@0_6~_9CB٠)Decidable%Logic#Coq@01Z`KAr'Between%Arith#Coq@0p$p 鮹@V#$Mult%Arith#Coq@0BZYYyk*|&MyList&Lambda@0 F1t"P&&@0ف.Z|\z5-ޠ&Setoid'Setoids#Coq@0q6X@ny+Setoid_Prop'Setoids#Coq@0߮m, 'Tactics&Lambda@0z*a,9e0Kj;~ܙ&Wf_nat%Arith#Coq@0ClG]Wd/%"Lt%Arith#Coq@0]2V"Le%Arith#Coq@0{U5R|:g*Logic_Type$Init#Coq@0W RDNJ^'Prelude$Init#Coq@0002[:8(( mͨ'Tactics$Init#Coq@0-88YZP61"Wf$Init#Coq@0"U.ю@bWbb@0KO-!hϲ/>C&Specif$Init#Coq@0|GU-lȮmn07^kO(>=i0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@o(o&(CONSTANTm@@F#_71)IMPLICITSm@o5AA@@@@o4E@o,@o$ @o% @@oH@o@@@@#_72/ARGUMENTS-SCOPE@(@@@@@@@@@ni)INDUCTIVE@@A@non7n5n5@@@#_73AmE?mI@@@@@@@ AnGE@nA@n; @n; @@@ Bn!E@n"@n" @n" @@nH@n @@@@#_74^@m@@@@@)nat_scope@#_75l@m@A@@@@@@#_76y@m@B@@@@@@@@n3@@#_77m@n=@@@mݐI@"l0@"l1 @"l2@m@@@@#_78@&@@@@@@@Y@@m^@A#_79򠠰m@mh񠠑mfF@mb@m\ @m] @m^@@@@#_80@ @@@@@@m('@A#_81$n(@m#mG@mI@m  @m@l@l@@l@@@@#_82&@*àŠ@@@@@@@@d.hg@A#_83dnh@d8cd6F@d2@d, @d- @d.@@dI@d@@@@#_84f@*@@@@@@ @@c @A#_85n@ccʐE@cƐ@c @c @@@@#_86@@@@@@@c԰@F#_87Рn@cϠcE@c@c @c @@c G@@@@#_88ʰ@"@@@@@@@@b;@F#_89o@bEbCE@b?@b9 @b: @@@@#_90@@@@@@@_43@A#_910o4@_/_쐐E@_@_ @_ @@_АG@@@@#_92*@"@@@@@@@@\hg@A#_93doh@\c\E@\@\ @\ @@@@#_94X@@@@@@@\@A#_95o@\\E@\@\ @\ @@\uG@@@@#_96@"@@@@@@@@[Ȱ@A#_97Ġo@[à[E@[@[ @[ߐ @@@@#_98@@@@@@@[@A#_99𠠰o@[[E@[@[ @[ @@@@$_100@@@@@@@Zؠ @A$_101p @ZZF@ZҐ@Zʐ @Z @ZÐ@@ZH@@@@$_102@&@@@@@@@@VZY@A$_103VpZ@VUVɐD@VŐ@V @@@@$_104F@@@@@@VZ@A$_105}p@Vd|VbD@V^@VX @@@V-G@@@@$_106t@@@@@@@@Pˠ@A$_107p@PPӐE@Pϐ@Pɐ @Pʐ @@PG@@@@$_108@"@@@@@@@@M@A$_109ᠠp@MࠠMÐE@M@M @M @@@@$_110հ@@@@@@@M@A$_111 q@M ME@M@M @M @@M{G@@@@$_112@"@@@@@@@@M ED@A$_113AqE@M@ME@M @M @M @@@@$_1145@@@@@@@Lݠqp@A$_115mqq@LlL吐E@L@Lې @Lܐ @@LÐG@@@@$_116g@"@@@@@@@@K+@A$_117q@K5K3E@K/@K* @K$ @@@@$_118@@@@@@@JѰ@A$_119͠q@K̠KE@K@J @J @@J萐H@J@@@@$_120˰@&@@@@@@@@@G^  @A$_121r @GhGfE@Gb@G\ @G] @@GJH@GL@@@@$_122@&@@@@@@@@@C CB@A$_123?rC@C>CʐE@CƐ@C @C @@CH@C@@@@$_124=@&@@@@@@@@@@&|{@A$_125xr|@@0w@.E@@*@@$ @@% @@@H@@@@@@$_126v@&@@@@@@@@@?D@A$_127r@?N?LE@?H@?B @?C @@?0H@?2@@@@$_128@&@@@@@@@@@>k@A$_129ꠠr@>u頠>sE@>o@>i @>j @@>WH@>Y@@@@$_130@&@@@@@@@@@='&@A$_131#s'@="=F@=@= @= @=@@@@$_132@ @@@@@@@=]XW@A$_133TsX@=gS=eF@=a@=[ @=\ @=]@@@@$_134L@ @@@@@@@=(@A$_135s@=2=0F@=,@=& @=' @=(@@@@$_136}@ @@@@@@@<@A$_137s@<4DE@4@@4; @45 @@@@$_1543@@@@@@@4on@A$_155kuo@4j4E@4@4 @4 @@4H@4I@@@@@$_156k@(@@@@@@@@@@3C@A$_157u@3M3KE@3G@3B @3C @@@@$_158@@@@@@@3װ@A$_159Ӡu@3Ҡ3D@3@3 @@@@$_160ð@@@@@@2@A$_161u@2 2E@2@1 @1 @@1ꐐG@@@@$_162@"@@@@@@@@1 2 1@A$_163 .v2@1 -1E@1@1 @1 @@1G@@@@$_164 (@"@@@@@@@@1 f e@A$_165 bvf@1& a1$E@1 @1 @1 @@@@$_166 V@@@@@@@0  @A$_167 v@0 0E@0@0 @0 @@0ېH@0ݐ@@0АJ@@@@$_168 @,@@@@@@@@@@@+ Ӱ @A$_169 Ϡv@+% Π+#F@+@+ @+ @+@@@@$_170 ǰ@ @@@@@@@*  @F$_171 w@* *ŐG@*@* @* @*@*@@@@$_172 @$@@@@@@@@' : 9@A$_173 6w:@' 5'E@' @' @' @@&H@&@@&萐J@@@@$_174 :@,@@@@@@@@@@@ & { z@A$_175 ww{@ 0 v .F@ *@ $ @ % @ &@@@@$_176 o@ @@@@@@@à  @F$_177 w@ ːG@ǐ@ @ @Ð@Đ@@@@$_178 @$@@@@@@@@  @A$_179 ޠw@ ݠE@@  @  @@H@@@J@@@@$_180 @,@@@@@@@@@@@ # "@A$_181 x#@ F@@  @ @@@@@$_182 @ @@@@@@@ T S@F$_183 PxT@ OG@@ @ @@@@@@$_184 L@$@@@@@@@@@#_57-RESERVED-TYPE!i @@y#_58 !k #_59!m#_60!n#_61!p#_62%!s$@k@#_631!A0y֠#_64:!B #_65@!M#_66F!N#_67L!T#_68R!t!#_69X!u'#_70^!v-@  u  z        + % 6 0 A ; L F W Q b \E g p l { u                 ͠  ؠ  ࠠ  頠         &  1 + < 6 G A R L ] W h b u m  z            ʠ  נ  栠  ,";1J@UO`Zkevp{ȠӠޠ頠 & 1+<6GARL]Whbsm~xŠР۠栠z$/):4E?PJzU^Zgcplyuz~àΠؠ㠠 )#4.=9FBQK\Vgarl}wĠϠڠ䠠d9$.)@ {4 0 7 A K Uv8 `@0fX sW-7`