^av^Р%Types'Russell&Lambda@B%Types (sum_sort@"s1%Terms&Lambda@@$sort@"s2 "s3%Logic$Init#Coq@@"or@ @#and@@"eq@(C*@C 0B3A 89@B?A EC;E:GA@  +g()F 77"K 77"7!K 77"7!L77"L77"7!L 77"7!7%'Rh3pZD;LEXflGtQrSz[eĠؠgࠠq젠@@@@&coerce(4@@@@@@@@$term@@@@@#Env&Lambda@@#env@@ @@@A+coerce_refl+coerce_prod*coerce_sum,coerce_sub_l,coerce_sub_r+coerce_convඐ!e!A(!s4@D3AG !e2!A?!BC"A'G"B'K!sW@IFѐEǶ@H$+)Ѷ@ */߶"s'n@M$List%Lists#Coq@@$list@ByDJ#'@L K2S@ <6] P+F!Il!e!A!B"A'"B'!s@cba2'@`0@lg>"s'Ͷ@_^{Suy>@ReZQK@poa]#s''@@\@ucS`GON~w!e!U!P"U' @C@搜#Bʩ H!e!U*"U'.!P2@(@尩ϰ= '臭&Ü9!eB!AO!BS!CW!D[!sg@,2׶@38@>@# DI@)Reduction&Lambda@@$conv@2,@5/3@93$;5D@@nDMPFFM@@@@B@4@@@@    @     @4             A@@B0@A@@@$@!!! !! @4###"#"##"#"##@%%%$%%$@$'''&''&''@))()(@++++*@----,@$////./..+@FADBMCPDFEFFM4"wf@@@@&wf_nil&wf_varMo@h@A%Terms&Lambda@@$term@!e㶐!T!s@Ȱtlǐl}At*@DAsAA@@AD4#typ@@ @@ @@@@@@ 0)type_prop(type_set(type_var(type_abs(type_app)type_pair)type_prod(type_sum+type_subset(type_pi1(type_pi2)type_conv0!e@=A!e0@4!eA@ɐ!n)Datatypes$Init#Coq@@#nat@!T_@Y@)item_lift7کjBඐ!ef!Ts"s1@K臭J﶐!M!U"s2@4"=[`@D,eCl"KCIL Lu!e!v!V@/'$!u"Ur@j2*2jDCs@%substx@!eƶ!UӶ"s1߶@WOO!u@V!V趐"s2@hÐh!v@zo7Ҷ"s3 @ z E㩜 ߶!e!T"s1(@!U*"s26@ǰ5 !e;!TH"s1T@ ĩĶ!UV"s2b@'a ֩1ֶ"s3p@ީ}A鶐!eo!T|@Ou!U@5  `^x@@wi g!e!t!U@!V@Z,'$``I5!e!t!U@!V@wI۠DA}}J$P!eֶ!t㶐!U綐!V@kc!s@rŐj@ːs@~~Cw0BBEIGMGIEEEIBv@L0ABBBCEDIEGFMGGHIIEJEKELI@AC@@@@@@*coerce_ind@@@@@Ƞ@@'@@@@@A!f@B@@RB"@A/*, . 0)@@˶@ '. Ѷ@# ޶@( !8=@@@@BR$@@ W)#@A\ @Fa  Qf@F$ :^\s[nDoCpBq]j@AED @!fHm@?@;7s@J6*!Rn@;&,/Q@.@*@r@^/^#@8)UR@G8,<@rF;@C@}{D@g@BX@HŶ!¶@e]@qh"@mu+ĶٶԶն׶ٶҶ@İ@ǰz@@Ͱ@@@@@¶@`@ʩT(͞D@!F !t !c  V@N@@DD # @+&"1,-./(&,")T/%0.=+  ҷ8'`;*X<4S7>ЩMB=T<O%P$Q#R>KIO#P!OM&\.(,WXWKְ41Nٰ5ZH# V& =7Y;Щ%o]?>d_vqzrsiзo^/ynHȩKJp#MLmw}l='V֩YX~)!1[Z# {zc|Z8UA;Dlfji:2TW=Fh41@@@@@QIIVVN@g\@b@q@ͶѶ@w@@Ӱѐ@ް)ܐQ02׶  @@ @臭ö@ #@谛3"ɶ@dﰛ:Ӷ@%B䩜#@0M{.FʛJ@ʰ'@ΰIURʠQΠYWn˛jtl̛n@>hͶ@HFlѶ@b4OPu`Щ&tΠYX~}{@b7/@Dj;@XtDPz|@W@a@p@̶@@@RѶ@Tښܛ詛@ h+g(),>'(*()=vX:>     3            # '>  L3#' >  L 3#' >   :3 3#''>       :3     3#!'> # ' Q''+g() # '+7Sg +7S' +7S' +7S'+  7S'#'`Aؠ Tx Ԡ$@@@@&wf_ind@!P@;@@9A!f@@@A@@]@!e w u@@@B"+*@@B驜@A',@B'R >!wANA@AD,J@ ZcS@QK IBR=[<G<;@9$3X1V-Pn1/(c-@ +g()= ># 'Q''+g()$'8Ad@@@@'typ_ind@!P@Š@@ö@x@@@@A!f@B@@A]ib@A @@B @A0@Ѱu@C)':@&@@@@@H@°ƩI@BCATO1@@EB>@ذCac@ѠР@@@Br@߰ w@$|!@\İک@C&@F @@۶@>ᶐ@J>!@!'+@DS*@. Sfe@c@_ ]!@h> =@+_ A0¶_r@pL n@QK m;˶@x9  LO@T &XV@@ ]{ "W@E@G,lAi@@B B@y A@ٰ L?v| R @@` Z @@Q `:@9 YSh2s!@ɰ g d@x r j#@а( m@ð- upͩ1@H +)  u@ G p S  + Q ˶ɚܶض@ % "Ð@ : 4 ,ʐ@  q 7ֶؐ@ ְ | } E㐜 D Ԡ  V쐜ڶכ@  g2 b _@   ©8 p h c ې  ʶ-)ɛ+-@۰  M } z@ y  ݩS  Q    ><OKMO@   @Q   @  D @T  䩜K @  R @V  臭Y @    X   qIKM0   ̩Q /  Ґ@ +g()              , X' (*()= 0')oU >     93   9  3       3      # ' > :3 #' > :3 #' >7:3  7  3 #' >    9  :3     9  3     # ' >  9 :3   9  3# ' >     7!3  9  :3  3 93#"'>  : 3      3# ' >    :3   9  :3      9  3    # ' >#' > %'> %'Q''+g() &'+7Sg +7S' +7S'+ 7"S'&'AAABP pA   , X[ @@@@'typ_dep@!P!e  N@@ !t ? W@@ @  B Y b a@@ B (  A!f!!wA * 6 /"@A&@ `@B @A'BA B ? ?=  G@C6BB Q N/NL-+    s@@ @ pP!i\@  c  f  [@B u mWBC   z r oPomf B@mc  |M {@   R   v -x }s   @@ @B   @          @ 8       @C  @F  驜BD$          M ^@      n   ǩ  ƶ@   ԩ    ˩ d @D 2 @   ᩜBE   4  ;  ޷ٶ[Ҷlki@  C e &ض۩Ѱ "  !@  C  % 3߶gxٰT v@QS u >  % 0 3@T + < :  ) @B  `W@E@G  Q & NBF4(    + % V P r S y@ , ,! c +@ 6+ ) j f <BG s m  q A964-ƶ1Ķ@ O I>3̶7@ @ODEѶDC  HS W< b ϩ:BH$ ^ g     UR3RPILB[X@ lf^[PSIְU  a5@ ۰Z  i:f d ^@H x)ZBI   }uSrpkijknd k|@   ߩp  y@I  詜uBJ   n@    ө@J שˠBK  % @ < :@  8 @V  !c@  X  BL$     ΞC@!FԶͶζǩ=ݐ۷Էշ 6B@ pCDܷݷ֩0L0ɩͩRҷ7]h0GAcE ICgIHn zp |Lr^]  Y X Vr}#$xZY2z\[,$!4|.z_(%$"l!g-v"&{%(I4bq7÷65Ot:YDcOIRJeQMV~xNiUz~}P;YmTVqyXPMLJCܷGڷF߷J@Yݩc$k.g_\o8i^][TXW[fedti!,avxpmljcfeh^jvJ6}zP|{ytrstw }{|}  ٩50ש68:gY9϶v[<" ڐ@ +g()              , Z' (*()= 0')oU >     93   9  3       3      # ' > :3 #' > :3 #' >7:3  7  3 #' >    9  :3     9  3     # ' >  9 :3   9  3# ' >     7!3  9  :3  3 93#"'>  : 3      3# ' >    :3   9  :3      9  3    # ' >#' > %'> %'Q''+g() #'+7Sg +7S' +7S'+ 7"S'#'AAABP RA   4 ` @@@@*wf_typ_mut@!P!el0@@j!t!9@@@  B;DC@@B A!!wA  !f*(  @M(@A,@H@B @A-BA2*EC&$@0-i:@C?BBD</WU86@xB?   ~a@@ |@ \!ih@ {QTgg@Bc[cBCh`]S{yr H@yorjSi@wXqn   @@@B@ @Q@C񩜠@FةBD$ < M@  ] ¶ũ @Oé T@D!@ ЩBE#*ͷ\߶mlj@2fҶ&ް@p2ٶ3hyUw@RTv> %"@U++) @1OXh @E@G@=BF4wE?aBh &$!@!p#')Rp@%YU~ ++BGb\~`0(CA:Ƕ>Ŷ@R8-@ͶD@>3EҶDCn7TF<QwЩGBH$MV~x|{DA7_]VYOJG@oUMJ]`VװbP<@OܰgXAUk@Hg-gBIldW}xvwx{qtknk@jΩp{sp@IשBJr@©@JƩˠBK&@=;@9@W!c@祖YBL$堩I@AלAAݶjh@S1eѩAB8۞CAA!FGY렷 @ }CD   ZZ0VZ #!ȷ mdIo%Kq.,%)()-.$|'%0[UwY]W {]\-%'$`&CA:;>4~=}>A7j21$nmZpo@85\Bs<9VTMڷQطPSI{ATXϷWZP]H\[ZcN\Dwc]fye?aj}immGhlda~|uyx|rm$̩Z{sp]}r+},a:?v_B|".++78 2 DB@0 K M O ҷ A@JADط֠ݷ{ַca(ȩ*^ʐ˶s/˶u[E@ +g(),G'(*()=> 92# ''Q''+g() %'(*()= ?1#)oU >     93   9  3       3     # ' > :3#' > :3#' >7:3  7  3 #' >    9  :3     9  3     # ' >  9 :3   9  3 # ' >     7!3  9  :3  3 93 #"'>  : 3      3 # ' >    :3   9  :3      9  3    # ' >4!#' > 4! & '> 4! & 'Q''+g() #'+7Sg+ 7 S'%'+7Sg +7S' +7S'+ 7"S'#'*pApAA,ABx0ԠA  t  ࠠ  0 l@@@@*typ_wf_mut@!P!ee@@!tVn@@@  Bpyx@@B?74A!!wA? !f*(  @QJGT(@A,@}@B @A-BAg_EC&$@ebo@C?BByq/WU86@wt@@@\!ih@ég@BcBCS{yrۛH@yoS@XPРϠ@@@B@P  @ũQک@C&@F BD$07ڷq@Aᶐ¶ũA$@$ *.@DV-@1BE<6X:_ \߶mlj@gf&ްF E@gI3hyUw@RT"v>A%TW@U$+`^#Mé@f+Xh @E@G5uJrBF4w:OIztw@=&$!@VPE#')O@KZO `+BGe]CA:Ƕ>Ŷ@mb@ͶD@shEҶDClT{<ЩGBH$yv7_]VYO|@]`Vװb<@ܰgA婜k@H-gBIW}xvwx{qk@p⩜@I BJr@@JˠΩBK(˷&0Ӷ@ 3Ӷ=07;@9ڶ6@WC㶐!c@'!$Y*BL$/)-,I@AלAAݶjh@SfeABGmCA@!F|'Y#  C@CD   Z:2//0V85:7>;#!ȷBEd~ZQIF.,%)()-.$\%0 bZ\Y[CA:;>4~=}>A7gf$ȩumjwqnVTMڷQطPSIvַTXϷWZP}߷\[Z\D?ƩmG~|uyx|r$ީZ]+, aN:?v!̩#_éB|ŷ".,̩.+η+7m5 2 DB:@0#?! %A"H'% )E ҷ5@~AD׷ՠ1ܷzշb`8\4^ ]ʶr.ʶtZD@ +g(),G'(*()=> 92# ''Q''+g() %'(*()= ?1#)oU >     93   9  3       3     # ' > :3#' > :3#' >7:3  7  3 #' >    9  :3     9  3     # ' >  9 :3   9  3 # ' >     7!3  9  :3  3 93 #"'>  : 3      3 # ' >    :3   9  :3      9  3    # ' >4!#' > 4! & '> 4! & 'Q''+g() #'+7Sg+ 7 S'%'+7Sg +7S' +7S'+ 7"S'#')ApAA,ABx/ԠA  t  ࠠ  0 l@@@@.coerce_typ_mut@!eԠ@@Ҷ!t@@@  B@@BrjgA !s@@!c@}z!f20!w#A3@A@B"@A7BAOM1@CFBB.^\,*웠@@@`!il@k@BǩgBC)ɷO}v^{qԩJӶ@6OضBn@@@BD"@ '-2 /U@54Q@C[@FBBD$!IeGFl@*v!¶Ķǩv Y@Y- _'$c@Db@f:BEqko?7\kȶj@GGf<&{@z@F~C3hնUKw@RTWvL>vP%@UY+X@_Xg@E@Gi~BF4vn  }tq'%"@y$ (*@©,BGDB;"?Ķ@A(E@D-0CT<ϩHBH$ 0`^WZP@^aWְc2@۰h7l@H'hBI#ͷP~ywxy|r2ݩkԶ@7p٩@I@BJ Ek@(N+@J/ʠBK76\%d@Agdk:@EH8Nj@W*Lw&WQT@/2ZXZF25BL$K71:b~`(ٶjӶ\@9X.j;@Ao@8ⶐw䶐"涐 ϶̩}M|B@HE@6Kcǐ@4_h̐U"yqh\@\Щ ntweb@_jXm w$@a".%xАSy3{|ة"@B4 : :8_1O2N3M4@V?M@YDL@[IG-*(L@]ЩŰR@UF@`BEZ@@b<J_`DGZPJ]e-VkXGw̩d@C@6r%L|^ƷL|zst.vYW//@} 22Ҷu5N@wZQةy5<@D:Ag sqII@[&LLQ,j@^0OVob/Q854Z@E6X:9_><FE:@gI8HL@Qm,pɶ@^'Rȩ0Uy@wI`\%<r@@:@T@WCF@1Z@4]d?`@F4D<eQTvzJ?CDA!FYQNݩ`XU   x@CD     Infcc0Ikh֠ol!·~vs(&#"# '(f0d;9y2x36,t5s69/$NLE,IηHKAL3PŷORH} R;>QDũ7ĩ+;=eé?qo hOlkRoe 1$ '"{)ɩM˷~w^{za~zcfy֩,1X8rڷ'/C\E!GI2bN*P,R'~3Y != 1^?/?CBy4GAcEDICeFlKIMiOkMrŷk@@DDηǷȷ\-%""ַϷX-4,)ܷշַ׷طݩӰ]ְmǷĩYQsw<߰G|iⰩaV{LlXR[}n]Zp_'r^)WZYQ\;SP=R,ͷ)'l_ # !e }kXg|vixZk\m  `  Vԩb"uZ{x-+$1%& * ~ ;923@48.: * KIpB`CDE.,IJKYLB/}ܷ205VH  :mlnN><? @ABCDME1FGHݶIǶJKLBMNO|@ d+g(),;'(*()=jz>     3   9  2 9 2 92 92#$'>7 :2   L   3#' >7:2   L   3#' > 9   :2 9   :2 :3 92 92 3#+'>  9  :2 9  :2    :3 9  2 92 3#%'> 92#' Q''+g()# '(*()= B8. 8~d >    4   9 3   9  3      3     # ' > :3#' > :3#' >7:3  7  3 #' >    9  :3     9  3     # ' >  9 :3   9  3 # ' >     7!3  9  :3  3 93 #"'>  : 3      3 # ' >    :3   9  :3      9  3    # ' >#' > %'> %'Q''+g() #'+7Sg +7S' +7S' +7S'+  7S'#'+7Sg +7S' +7S'+ 7"S'#'AA AAĠA PAA XAB {Ap𠠑@젠(@@@@.typ_coerce_mut@|!ek@@!t\t@@@  Bv~@@BE=:A s@p@!c@WOL!f1/!w"AW\2@A@B"@A6BAnkNLs1@CEBB}z.][,*@@@_!ik@˩j@BfBCO~|u^zpJ@Onנ֠@@@B@W ¶'@̩Qᩜ@C-@FBD$7>x@H趐öƩH+@+ 15@D]4@Š8 BEC=_Af \kȶj@nf&߰ML@nP3hնUw@RT)v>H"%[^@U++ge*T쩚@l1Xg @E@G;{PxBF4v@UOz}FC&$!@\VK# ')U@Q`Uf+BGkcCA:">Ķ@sh@(D@ynD-/CrT<ϩGBH$|0_]VYO@]`Vְb2@۰g7멜k@H'gBIP}xvwx{qk@ p詜@IBJk@ @JʠԩBK .ѷ%6ٶ@9ٶ6=:@8 <@WI)#&@,*祖ZBL$  4P2Wض<Ҷ\@` X<bb @AAg ᶐI㶐嶐϶̩ON@pwRQT@ZX65]ǐ\@41:̐b'yCT:k.@\Щ @FI74_@_<X?wj$@a!.%JАSy3{N!@B4 :S|bY 97_0O1N2M3k`@Vgd>M@YiCL@[zInG-*(Kt@]ЩŰQ}zTF@`BY@@b<_2DFZ"I]e-VkXGwc@C@6r%L|0L{yrsuYW/@}2~tN@wZQy<~@D g sqI@[L#j@^!(oȩb#8Z@E*  1Է:@98@#?Bɶ@^$ǩ'K@w2.D@@ @&)@,/d?2@F4D7#&HLqCD@!F+# ݩa2*' J@CD    I@8550I=:֠A> ·PHE'%"!" &'[f0d_WYVX:8y1x25+t4s58.dc$ũrjgtnkMKD,HηGJ@sӷK3OŷNQGz}ܷR;=QD7+;©=e?pn gOkjRnd 1${M}v^zya}zcey,X D'/\©I2bN"©$ķ'~+ !10/y45v7>xz;{!=Dķ@DD̷ŷƷ-SԷͷW,ZڷӷԷշַ۩Ѱ]d\ީ԰>`ƷéXf"DH ݰFMh఩`R'LL=)#,TNp?.+PrTA0&VUC/(W}(+\*"-:$!`<#+̷)'kgk0 # !sp6 Nt<X8aMGP:cIRzY<e|v[>x|U~}_Ua oF[YTLI+)"/#$(\O ^Vf`XU|W9701>26,8ld nfvhergIGo@_ABC,+GHIXJ@.|1/4UHթ  9kjlL=;>?@ABCLD0EFGܶHƶIJKALMN@ d+g(),;'(*()=jz>     3   9  2 9 2 92 92#$'>7 :2   L   3#' >7:2   L   3#' > 9   :2 9   :2 :3 92 92 3#+'>  9  :2 9  :2    :3 9  2 92 3#%'> 92#' Q''+g()# '(*()= B8. 8~d >    4   9 3   9  3      3     # ' > :3#' > :3#' >7:3  7  3 #' >    9  :3     9  3     # ' >  9 :3   9  3 # ' >     7!3  9  :3  3 93 #"'>  : 3      3 # ' >    :3   9  :3      9  3    # ' >#' > %'> %'Q''+g() #'+7Sg +7S' +7S' +7S'+  7S'#'+7Sg +7S' +7S'+ 7"S'#'AA AAĠzA PAA XAB LAp𠠑@젠(@@@@1wf_typ_coerce_mut@M!ex <@@v!t - E@@@  B G P O@@B   A @ A@!c@} (  0/-!w A &!f:8  @ 8 1 .j ;8@A#@B(@A &!% 9 <@V! + E C!2@!J h!Yl@E@G  Y . VBF4{  3 - ^ X z [ !$!!31*.@ N !4!)04*6 k !3@!>!3 r n !D8BG { u  y !I!APNG/KŶ@ !Q!FM5Q@!W!LD:<C  !PU _< j ЩTBH$ f o     !]!Z4ljcf\!c!`@!n!f!cjmcװo  !i9@ܰt  !q>!n ɩx@H !+tBI   !!}T~ !k!!@  p!!! Ʃ@I  𩜠BJ   !!o@  ! ۩@J ߩʠ!BK  ! !!&!!!@ !!!!!;@  9!ǩ !@X  !'!Ƕ !!!@  ! !!ͩ[   婜BL$    !!.!!5!ط嶐 ߶Ƕ]@!>!Y!ީ!!@!@!멜@A!!E!! '  ܶ٩!-!!,!@!N!U!0!!!/!2@!8!66!!!;ΐ!:@4!!Ӑ!@" z!!!2!!I" @]Щ! !$!'""  !=@`# ! X"&( |!H$@b. } %"(0xz!+ !-@B49!0  !Y!?!p!!n!"6 EC^<N=M>L?('$"!x!w"H"=@W!!|!"D"AJL@Z!!"FOK@\!W!`H"KF964W!c!w!]!"Q@^ЩŰ]!} !i!l"Z"W`E@aA "\e?@c; ^"a!PRY !"fU\!f!"lfhUTXw"|p@C@r%|!s!!!!!!""y"vP fd!""3@}!!"6"!U@wZ!X"y!!!!@@D!!!!!"k ~!""M@\!!"P""!"q@_!!"v"c!"8!!^@E!"!!""  !!;@"!9"ǩ!!@"""Ķͩð!" ɶ@_!""˶ԩʰ!"")@x!"" "ն #"@@ @"!ȩ!z"!!@!!|" !"Ω!" e?D!"@F4DI!!!""""&"*"O""ɩb@AAAԶ  @"b# }#AB"C"i## CDAB!F#!I"x####)'" #!  P"Y"#*#"#0.#&##53.,/-0&F@CD<:53647- "#<#4#1#10CA'#9#6"#;#8IG#?#<MKF۩ٰ#C"#F"""[""#R#J#GXVO7SͷRS;W#XN"#]0"""""R"""""#a#Y"T"!#[#X"V""#Zkibcf\efi_"#f"#e$""""ǩ"""""#t#l#i""#v"#p#m~|u]yx{q"#u"շ|dx"#|""޷vlnu""#$D""""""V"""""""""""ĩ="""#""""###.  -#Q$"""""4"""###"6q##=&%"##,""#"X"# #""###LS(%###"##ĩ""#q###"V##̷ŷ6ƷǷB"#$###ĩ"##&?#Ʒշη?Ϸ зK##-### ܷշFַ׷ ܩҰ##Vߩհ#2#Té####4###7##"###9##@#"####"#!#=##"~###?#!#F#׷ @!DD߷ک#/#U$### |#\$##  & #_#f#@#bҷ}#h#$#F#J$j#O#T#)#NL#?#+#%#.#V#P#r#A#0#-#R#t#V#C#2J#X#W#E#1L#Y#$*#-#^#$,$$#/^$&$##b`$%64O-?.>/=05)6')#i#m$2;#<!"$+#u#r$8'.#P#v$>X#:""#c#O#I#R#<"#e#K#T#|}#>#g#~#x#@"#z##~*"#W###,"y##Q#q#H#]}#$V$N$K\ZS`TU9ӷYO$^#Z ###$`$X#|##$b $Z$W"#)$YjhabocGǷg]Ѱi$n#$f3 ###$p$h####$j$g#$t9$izxqrst]\xyz|{q##_##b`####eH#######ש.####0####2####4###$$####$$jh@"ADomG$$$#0##$$$##$$xvy]zL{)|}~gL-նƶy7@ <+g(),_I'(*()= > 95# ''Q''+g() %'(*()=jz>     3   9  2 9 2 92 92#$'>7 :2   L   3#' >7:2   L   3#' > 9   :2 9   :2 :3 92 92 3#+'>  9  :2 9  :2    :3 9  2 92 3#%'> 92#' Q''+g()# '(*()= QB3 8~d >    4   9 3   9  3      3     # ' > :3#' > :3#' >7:3  7  3#' >    9  :3     9  3    # ' >  9 :3   9  3# ' >     7!3  9  :3  3 93 #"'>  : 3      3 # ' >    :3   9  :3      9  3     # ' >5! #' > 5!  & '> 5! & 'Q''+g() #'+7Sg+ 7 S'%'+7Sg +7S' +7S' +7S'+  7S'#'+7Sg +7S' +7S'+ 7"S'#'0"GAAA8AA𠠐"A |AA AB Р, gA\ܠHlȠtĠ@@@@1coerce_typ_wf_mut@#o!e$%^@@$!t%O%g@@$@  B%i%r%q@@$B%8%0%-A !s@%d@!c@$%K%C%@10.!w!A%I!f;9  @%[%T%Q$%^9@A#@B(@A=BA%p%hUS%#@$ʠ%n%k$%x:@COBB%%z.ge75@$%%}"""$@@"@#(l!ix@"%$%$$̩w@B%%sBC$$%%%R!j}%%P%@$%%U%%"$!z$נ$֠$@@$@B%$%@$X $$%%¶%$%%'@Q$$%%%ͩR$⩜@C$%.@F$%BD$$$$%%8%%%?%Ͷ"yǶ!ɶ¶@$%I%%%鶐"϶"Ѷԩʰ%I%%,%@$%,& %2%%$%6@D%^%5@"Ơ%9& BE%D%>%`%B%g&& ]lնk@% %o&g&&%N&%M@$%o&%Q&3iV&x@ST&*w&>%I&#%%\%_@V$&,+%h%f&+"U @&m$%&2Yl@E @G%<%|%Q%yBF4{%A$$%V%P%%{%%~%&G&D42+/@%q%&W&L15+7%%&V@&a&V%%%&g9BG%%%%%&l&dQOH/LŶ@%%&t&iN5R@&z&oD:=C%%&sU%<%%ЩUBH$%%%%%%%&&}4mkdg]&&@%&&&kndװp%%&9@ܰu%%&>&%쩜y@H%&+uBI%%%&&T&&k&&@%& p&&&%驜@I%&BJ%%&&&o@%&!&%@J&ʠ&թBK& & &/&&ҷ&&7&&ڶ@&&:&&ڶ©&7&>;@&&9&ȩ&!&=@X%&&J&%&*&$&'@&&&-&+&[&&&BL$&& && &5&Q&3&X&涐%=Ƕ]@&a' Y'&=&c&c'@A&B&h'' ﶐%J%%ܶ٩&P' &O'@&q&x&S''&R&U@&[&Y6'&6&^ΐ&]@4&2&;Ӑ&c'(%z&D&U&;&l'/@]Щ&A%&G&J'8'5%%&`@`$%&=%X'@')%|&k$@b/%}%%'K0xz&N%&.@B49&S%%&|&b&&&&'Y FD^=N>M?L@)'$"&&'k'`@W&&&'g'dKL@Z&&'iPK@\&z&H'nF964X&&&&'t@^ЩŰ^&&&&'}'zaE@aA&'f?@c;&^'&2PSY&"&'V\&&'fhUTXw'q@C@r%|&&1&&&&&'''P&fd'''3@}&''6''U@wZ&X'y&'&&@@D&' &&''k ~'''M@\&''P''$&'q@_''"')v'ɩc''$8''^@E' '+' ' '2'շ&&©'';@':'9'ȩ''@'$'@'Ωİ&'Cɶ@_&'%'թ˰''('L@x''3'/'&(E@@& @'''ȩ&'*''@'&'-'(Ω&'0e?D&'3@F4DI'&&'8'$'''I'M'r((ɩb@AAAԶ  @'(0}(%AB'f'(7(/CDAA!F$"I'(F(>(;*(#!$"  P'|'(M(E(B1/(I(F64/-0.1'i@#ؠCD=;64758. '(_(W(T(T0DB'(\(Y'(^([JH(b(_NLG۩ٰ(f'(i''ȩ'~''(u(m(jYWP7TͷST;X#YO'(0'''''u'''''((|'w'!(~({'y''(}ljcdg]fgj`'('($'''''#''''((('%'('((}v]zy|r'('}dy'('(vlou''($D''''''V''''''''(''=('(('('( (((.  -(Q$(''('W('( ((('Yq((·=&%(((ͩ,( (((( X( (/(ک'( (((ѷLS(%((:(((<('((>q(((ީ'V((ͷƷ6ǷȷB(!(G((('(#(I?(ַϷ?з ѷK(*(P((( ݷַF׷ط ݩӰ(4)Vְ(U(6Té(6(:(9) 4(>(8(Z(<(;'(@(:(\(=(c)((B(@))((D(`) )'(F(b(D(i) ׷@'DD߷ک(R(x)#))) |()*)") & (((c(ҷ}((G(i(m)2j(r(w(L(qL(b(N(H(Q(y(s((d(S(P(u((y(f(UJ({(z(h(TL(|()M(P(()O)G(R^)I)F(`)H75O.?/>0=16)7')(()U<#=!"%+(()[(.(s()aX(]''((r(l(u(_'((n(w(}(a((((c'(((*((z(((,(y((ʩR((k(}()y)q)n][TaUV9ӷZP)#Z ((()){((() )})z(())|kibcpdGǷh^Ѱj)()3 ((())(((())(#)9){yrstu^\yz{||r((_((ҷb`((((ٷeH(((((((.((((ީ0((((ߩ2((()4(() ))(((())jh@'=ADomG))))0())))()))xvy]zL{)|}~gL-նƶy7@ <+g(),_I'(*()= > 95# ''Q''+g() %'(*()=jz>     3   9  2 9 2 92 92#$'>7 :2   L   3#' >7:2   L   3#' > 9   :2 9   :2 :3 92 92 3#+'>  9  :2 9  :2    :3 9  2 92 3#%'> 92#' Q''+g()# '(*()= QB3 8~d >    4   9 3   9  3      3     # ' > :3#' > :3#' >7:3  7  3#' >    9  :3     9  3    # ' >  9 :3   9  3# ' >     7!3  9  :3  3 93 #"'>  : 3      3 # ' >    :3   9  :3      9  3     # ' >5! #' > 5!  & '> 5! & 'Q''+g() #'+7Sg+ 7 S'%'+7Sg +7S' +7S' +7S'+  7S'#'+7Sg +7S' +7S'+ 7"S'#'0'jAAA8AA𠠐'A |AA AB Р,%A\ܠHlȠ t Ġ@@@@1typ_coerce_wf_mut@(!e)*@@)!t*r*@@)@  B***@@)B*[*S*PA '@*@!c@)*m*e*b0/-!w A*k!f:8  @*}*v*s)*8@A#@B(@A*Z*<*;*a+̶'ƶ&ȶ@**k+++ 'ζ'жөɰ*k+*N+@)*N+" *T++**X@D**W@'*[+/BE*f*`**d*+4+,]lնk@*B*+<g+1&*p+5*o@)*+;*s+83iV+@x@ST+Lw+A>*k+E%*~*@V)+N+**+M'w@+)*+TYl@E@G*^**s*BF4{*c))*x*r*****+i+f31*.@**+y+n04*6**+x@++x***ܩ+8BG*****++PNG/KŶ@*"*++M5Q@++D:<C**+U*<**ЩTBH$*******++4ljcf\++@*?+++jmcװo+*+9@ܰt**+>++x@H*++tBI+**++·T~+'+ҩk++ɶ@++,p+++Ω+ @I++5BJ+++:++ݷo@++C++ @J+$ʠ+BK+,+++Q++&+Y,+@+6+\,++Y+`;@+:+=9,ǩ+C+_@X++A+l, ++L+F+I@+$+'+O+M,[+;+'+*BL$+@+,+&+/+W+s+U+z,嶐*_߶Ƕ]@+,.Y,#+_++,0@A+d+,5,-*l++ܶ٩+r,B+q,7@+++u,=,:+t+w@+}+{6,@+X+ΐ+@4+T+]Ӑ+,J+z+f+w+]+,Q@]Щ+c*+i+l,Z,W**+@`#*+_*X,b&(*|+$@b.+}+%,m0xz+p+ +̩-@B49+u++++++++,{ EC^<N=M>L?('$"++,,@W+++,,JL@Z++,OK@\++H,F964W++++,@^ЩŰ]++4++,,`E@aA+9,e?@c;+>^,+TPRY+D+,U\++,fhUTXw,p@C@r%|++S+++,+,,,P+#fd,$,,3@},,',6,Ƕ,*U@wZ,X,ͩy,,*, , @@D, ,/,,,6,ٷk ~,>,,M@\,,A,P,,F,!,q@_,%,D,Kv,c,$,F8,*,)^@E,+,M,/,.,T,+3+1,;,:;@,\,>9-ǩ,=,A@,F,b- ͩð,!,eɶ@_,,G-ԩʰ,%,J,n@x,>,U,Q-+1-g@@+/@,I,5ȩ+,L,8,;@,&+,O,5-)Ω+,Re?D+,U@F4DI,1++,Z,F,I,k,o,-?-4ɩb@AAAԶ  @,-R}-GAB,,-Y-QCDA@!F#!I,-h-`-])'" #!  P,,-o-g-d0.-k-h53.,/-0&@(CD<:53647- ,--y-v-v0CA'-~-{,ՠ--}IG--MKF۩ٰ-,-,,,,,---XVO7SͷRS;W#XN,-0,,,,ԩ,,,,,,--,,!--,,,-kibcf\efi_,-- -$-,,- ,E-,,----,G- -,--~|u]yx{q,--|dx,-,-#vlnu,--ǩ$D,,,,ީ,,ݩV,,- -,- ,--(- - =-*- -1-ܩ,-3--.---շ.  --Q$-9---@,y-;--B---,{q--=&%-*--,-.-(-J-,X-+-Q-,-----LS(%.-\--8-^. --:-`q. ..-V..̷ŷ6ƷǷB-C-i.. . --E-k?. շη?Ϸ зK-L-r... ܷշFַ׷ ܩҰ-V.&Vߩհ-w-XTé-X-\-[.,4-`-Z-|-^-]-!-b-\-~-_-.0-#-d-b.2.*-%-f-.,.),-h--f-.+׷@,3DD߷ک-t-.E.=.:.: |-.L.D.A  & ----ҷ}--i--.Tj---n-L--p-j-s-----u-r-----wJ----vL--.o-r--.q.i-t^.k.h-`.j64O-?.>/=05)6')--.w;#<!"$+--.}'.--.X-------------}------!---é*-"----ĩ,-$y--Q---}-...\ZS`TU9ӷYO.#Z ---..---. ..-5-).jhabocGǷg]Ѱi.-.3 --. ..---. ..-E.9.zxqrst]\xyz|{q--_--b`----eH----.-..--..0--..2--..)4-..+..Ω---...ͷjh@,_ADomG...֠.00-.=...ݩ..?..ߐxvy]zL{)|}~gL-նƶy7@ <+g(),_I'(*()= > 95# ''Q''+g() %'(*()=jz>     3   9  2 9 2 92 92#$'>7 :2   L   3#' >7:2   L   3#' > 9   :2 9   :2 :3 92 92 3#+'>  9  :2 9  :2    :3 9  2 92 3#%'> 92#' Q''+g()# '(*()= QB3 8~d >    4   9 3   9  3      3     # ' > :3#' > :3#' >7:3  7  3#' >    9  :3     9  3    # ' >  9 :3   9  3# ' >     7!3  9  :3  3 93 #"'>  : 3      3 # ' >    :3   9  :3      9  3     # ' >5! #' > 5!  & '> 5! & 'Q''+g() #'+7Sg+ 7 S'%'+7Sg +7S' +7S' +7S'+  7S'#'+7Sg +7S' +7S'+ 7"S'#'0,AAA8AA𠠐,A |AA AB Р,*A\ܠHlȠtĠ@@@@5double_typ_coerce_mut@-8.ޠ/@@.ܶ7//@@.@ B///@@/ B/{/s/pA @/@@.///-,A/.//@A@B@A3BA//IH./.@CBBB//,XW+*,񛠰,/Ԡ/@@,@+\f@,//!/ĩ..f@B//˩bBC//-///ͷLxwq,Zul//ةI/׶@//:/N//ܶ,.F,j|/ /0@@/@B/H/&/@. /+/1///6//3/Y@.// /9/8//@C//^@F//EBD$/!//$/L/h/J/I/o0,+@/-/y0$00,,/y0#/\0"@./\00 /b0*0'./f@D//e@,/i0=BE/t/n//r/0B0:[۶jöi@/J/0Je0?&ڰ/~0C/}@./0I/0F3gжT0Nv@R0Yt0N=/x0R$//@.0Z)//0Y,婚@0./0`/g@E @G/i//~/BF4v/n/ / //}/////0t0q@//00y!//0@/00/©//0#BG/////00 9825@//008 ;@00C%'B/00/;//ʩ>BH$//////0 00(TSMOF00 @/000TVMѰY0/0,@/ְ^//0100b@H/0!^BI0"0000̷Htsnmnoqh010ܩj00Ӷ@/006o000ة0}@I00?yBJ000D00c @0'0M00*@J0.Ơ1BK06050[10z 0c11@0@0f110c0j5@0D0G31 0M0i@0(0J0u10$0U0O0R@0-000X0V10C0/02BL$0H040.070_0{0]01%̶/gǶU@016Q1+0g0018@A0l01=15ֶܶ/tض0ڶ0ܶĶ0z1J0y1?@000}1E1Bܰ0|0@0051H0`00@10\0eĐ01R0ܶ٩r0n00e01Y@Щw0j/0p0s1a1^|//0ܶ@ 00e0U1h 0r0"@0 (0 "1ro,{q0u00ѩ@B430z000000001('[!K"J#I$   0011@00011-H@00{11F@00B1@900001@Щ>0050011@?@;091D9@50=U10S/1L0C014O001H]J9i1M@C@(d>n00P000101117cb\g]0 _CB1!11@o01$11Ķg^ 1';@L1>1ʩ1 1'1 1)h@D1 1,11 131ַR~}wxy]\1;116@M11>191޶x1C11W@P1"1A1H\1T1!1C+1'1&G@E1(1J1,1+1Q1p000.1817(@1Y1;&21:1>|@1C1_211b@11C2 1!1F1j@h1:1Q1M20-2c@@0+@1E1101H1417@t1"01K112%01N/01P@F441,001U1A1D1f1j12:2/2T2S2R@@2K@Aܶݶ֩ 12J2B2?˶ǩ112Q2I2F@3PO1G001p1\1V1_1111112U2M2J@ PS1K001t1`1Z1c1111112Y2Q2N޶϶Fʶwa;,q3@.(@ +g()-7 -7:'#Ƞ*@@@@8double_typ_coerce_wf_mut@0ڶH22@@2G22@@2@ B2Ҡ2۠2@@23B222A i@2@ h@2222-,+A254 @22212é5@A @B%@A9BA22ͷON#"@2/22Щ2*2ݩ7@CKBB22߷-a`54@222ⶐ0#0"33@@0@0hr@022-2220r@B32nBC2:293 32P}/Hfx33 O3 @2 2l3T3301x/Jv2;2:3:@@28@B2z2X3$@1 2]2c313&2h2@2e2@2E2<2k2j302D@C2C2@F2H2wBD$2S2M2V2~22|2{23DŶ/.¶@2V23V3N3K/ȶ0%ʶ̩ð23U23T@123b 23\3Y2W2@D22@0(23oBE222223t3l[j϶i@223|e3q&23u2@223{23x3gܶT3v@R3t3=23$22@2!3)223/񩚰@3Ͱ2*23@E@G2222BF422<2;222222333('! $@23 33'*!-23 3@33 2233Ʃ/BG22323 33÷ED>&A@2_3(33ȶD,G@"33ζC13B3 323ҩ2;23ʩJBH$2233333;33۷,`_Y[R33@2{333`bYѰe3J3$32@Fְj3)3*373E3Jn@H314$jBI3T363543Lzyz{}t3c4j44@a3B3ho44 4 `3G@I3K3qBJ3Q3P3v4!4g @s3Y34&3\@J3`Ơ43BK3h3g34840~ 34@48@=3r34C48335@:3v3y34?33@3Z3|34G3V333@<3_3b334M;3u3a3dBL$3z3f3`3i33334Wض2ӶU@b34hQ4]d3334j@A334o4gⶐ2䶐3Q涐3Oжͩ34|34q@o3334w4t33@i3354z33Ő3@n33ʐ343Qr33334@Щw 33(3344 |3-3.3ܶ@~33332U4373"@}3=3<"4oq33C4@B4 33H3G333434443[-K.J/I03344@|434449H@{33{4=F@z33B4Ķ@'$#E33344ʶ@yЩJ33g3344϶L?@x;3k4ӶP9@w53oU4׶3;=L3u44ܶ@O344vݩHuJ:4𩜠Y@C@|?D33334'4C4$444;onhsi3RkON4S44@404V4"4sj 4YA@L46D445 4Y4;4:,t@D4<4^4@4?4e5Vih4m559@4J4p5<54u4P5 ]@4T4s4zb54S4u+4Y4XJ@E4Z4|4^4]45&t3b3`4j4i(@ 44m&524l4p|@)4u4584P4@t4J4u5>4S4x4@4l445H3_5@@3]@4w4c34z4f4i@4T34}4c5W34s34@F44^3344s4v4445l5aiM@A䜠AAҶl@/45h5teAB4455~555@@5@A  w4555@    44555Z55 @ q\_M0447464444444444555# @\eS644=4<4444444445555@\iW:44A4@4444445445555/.01ҶoHٶ d U   Ѷ ]S5=7@ +g()37 37: 37:'$ࠠ+4@@@@-type_prop_set@!s66 @@6 @!H @'is_prop5%Logic$Init#Coq@@"or@BAA@D@666@@ @ @"eq@,6 -@B 162@C!e56C@@5@B6]6f6L@@5A6! B6(L@5@A5eS@A60"H03%#"H1 ?@(eq_ind_rb6ec6K6B+BA6J6G56R>972q@5BB6T6Q56\zx@pEC@>56[35/@@A@+typ_free_db@!e54@@5뷐!t44@@4@!T !HB66ɠ4+@@6!B666@'typ_indD%#@'free_db@555@@&length,66"e07"H0&A6@A=6>@6@BJ  @CQ3)Datatypes$Init5@@#nat@"T0Y"H1e@366/6Ȑ"H2%Logic$Init#Coq@@#ex2@CC@D@&6@@ @{!u~ @"eq@6@$lift?@B6]6&MyList4@@$item@76C6h|x6G@B6q7!xF)"H376t6U@B6Y6]#@(item_ind 72@$list@ut%Peanot6P@@"gt79!l"Gt%Arith6^@@'gt_le_S@AR7N"Lt6o@@'lt_O_Sn 1"n0!yb67m7e"H46ՠ67t-ss۠6!@*le_lt_n_Sm|7t667t j77x 4@77@A7"7444k@B(667 - /667<$46667"H5;=666穜!@CЩD667 67M4G4I>3L4NC77éS@F67ŷ:7ө=@DЩ;`7 7/777 4iEbWV4T Mf[777©MIn767'oQc}eA7a?W=71w"H6n77멚|@47&7)"H7fb674|"H8@8:67X7t@ErQ@G7 7I77F@G 77N777L7&8vMvMI7X7v8 8-@FZ7^77a8'cc_:ϩ77k784(Щ7D7M7s78Cҷt˷8@8=wҷrǰ778FŐ2ީ778R@Hy78_78T"t078hV8b8_Ԡ7©@I]78g @Jh78r ة788|.77ib7 77ީ877÷@777777888.,'%&@@@A@&typ_wf@!e8)8@@8'!t8ޠ8@@8=@!T !HB899@@8]B888@'typ_indD%#A8׷"e0,"H0 8826666@@6@"T07"H1C@688I88IG @6B@9@!:88J@A818[6 R6 T6"H2M8*8)6D@@8'@Be8i8G9"H3Kl8N8T"H4cs8[838X8~"H5Yz8:818\Y6 }6 [tI366/z896@F8r98(q8r9;o?RQoN]G@89D8~4}8I\209OY.,'"H68y9S@688"H775q"H8@9789e9p÷|{xqmlki889t~an8ҷ˷|Ϸ{zl !g8898ڷ߷طͰ99@Cķװ889@BА888"t0yө99@G99ȩ89 999 0ʷ99Ƿ89ː9˷8طu @898999(999Ȑ)'" !@Ԑ@@A@'wf_sort@!n799@@7@@'nat_ind !e$List%Lists:@@@:(:'@@9@!f@:2@@%trunc@0@B::: @B:S:\:B@@9A:"!t%@@@+: 9Z9[:D:C:B@@"ex@5@:X@!s"B9o:?A@A:9RP?Q!H?K8i@A:H:EȐ"H0J&Lambda@@J@AAECD{y!llm@Ye:e:]:Z@;@:l@9 @y99@@W9|Ps@Nv:k9})KC@D>9:{<:p"e0/57"H1:9"H2$:9 b@&eq_indF"e1Ѡ$Init#Coq@@@@@A@DA:z@$True@@ƛ@%False@ @Ag:@)False_ind5R993U99N:::!kܷEͷ"f0з!xȷx: ::÷If9Ikީ@B::: "H3u: :@'f_equalRP@H@D:ߠ: :ِ:: :b l#:F:*: :-::9:@9@:R۠ӷԩΰS; ͷ<:A:=:<ũ ::"@@;:LE+:L:'-:=.ө&:';@V+:5:2 ,@/;$\1:89+(4:>:O@AݠCDWUFG@ڶ@ذ[:@۰N::5@ްQ:T@/wL:>G*M@(P;E}RM ' Y;X;Mex۩k;X:{٩n;cQq9ru;__@Ro9 Mp@Ks;huj(JB?C=X;{<: yu"@i:;{d@b;);?Ft:oBm;°:UKF@@BADBDA@|:;;@?;԰cR@D;_yvzt\:s;U2O©;;W5b7̷.̠͠#Coq@@@A@B@Do;à;$зr;Ʃ;;,;˩m;~OٷFA@D;Ӡ;-;٩;;8NZ;;QZV@;>hŠ_;Ko;([lKvӠ˷̩ưķ|)A@9AD;b<[s;cldAA@D<- ==}>=r=v=s8u<<<@i4b@`=}D=_WTXR=P=<@7@-<<@0<<@ly@w=̰<.<Tvnkoi=g=f<<:<ީ <<=<=< <c===a3@<@=fb]> aZW7U>> >S-QOM4K='EM"H4F۩DAAB@@DA>=]@?=J>/ɰL=]N=QO\A=;@99@<>17)8f2LKM$J:F3=I=R@0'J@%M>B=|G/0[=k\ϩHT=U>I@.3V@1Y>N*SשP\I=P=h=yFc==dAdݩ?g>\i=j=V`BѠBD{@ж@ >u@>xeOGDHB=@>t"ͩ==h!<vnAǠ@D>='>3wAР@D>=S>7==>@==_@[wtxr>pJ=$nV~$|Vq3v0.@&@D%>" >>=(=>>*>k>Ð>Đ>ŷrܷ"n1 շq"H5vː R$A@D>ޠ>8>G [-A&@D>># ^>>&i@>/B$ö*ؠзѩ˰=ɷ0>7!}R57 7.'=6334@{@D3?>'2?:>Q<,?=J%=@?5>R->H8,j@A~@D??xMT?B$ ?IL V" :R ]שXlY6A@D?Z>hAs?]u>uenfCA@D?g>u6.?mwUx@>QIFJD*B>i!( N&D_@&ex_ind[X\VTh`JaFdae_i^??*fI@/"?>>Щ>A?>? }urvp n@Hoo?i>>?>>?>>t???k>@]@`3>?ŠO ?)>??3? ?̠??ͶVZ@'۶@?>k%O@yΐ@"@#@ @???఩1 ?㐶  @@A@,typ_sort_aux@!G?x@#@@?v!t@-@,@@?@!T !HB@K@T@:@@?B@@@@'typ_indD%#!s @@H@@@B@A@@@@@3@-@2/@A@,@@C@7@ M@8=@B @A=L;9A@C,*"H0)O"2@B'Ȑ"H12@|[;"e0^?@(AABBCBBBAA@DecC@](GE@_!n)Datatypes@@@@#nat@ trus"vt%G@s@pRX'@uS@\+_]KH@{]FFR@Ad@ @io>>kq@r@C @A  v@A~Mc@@^]Yy{TRP@6@N@DM@(LKI "@@%@>'<52-m//?9@B ,6)@@зdb˷@=@@*@ͷ}ԩ@B@3Ȑ"H2dީ @@k@@D唐A@(@ɛ@C@@@L@@@ @@A@ @)False_indɠƐA۰@5@ >A A۷&IHtyp1@@iݠک@oط> >>ѩ@<@;A;@@@9@B(@{@YA%&IHtyp2 ש 0@g@?@d@&IHtyp3@7@ ;@c?A@C@P@uȐ"H3I @k@L@@@DkAI(h@h@R@Sfcacccbb`AMj]#Z3Y[@F?@!AXg>@a>>cZX\HF@Z52Ek@.>Am>?o%d@Ao@AnLXV@jEBU{"@@@`^*[@D@@Y@@0A@.@DA(@?A`p@>X@@]AX}4V@A@׷{@tq@mIXAQة@A@@귐&IHtyp4@)@@>I@A@ZAA·"H4Ω@E@GQ@@AȐ"H5dީ R@@uA6An@@DA(@uAɰS@AշٷްA3AQAѷݰA<A9,AA? A@@D*B('B &ߠALB %_ͩ^AUA~BL(UA0A}-ZA;A`0A@Ҡ@DOB-(LDDBDDCCAB.K>;: ApB6E7>53B>B;9%#@ "H 1I>.NAABH&20@-/U863Y[@HAA1aAAdA@@DBa(xxvxxwwuBbr8o&Bf*upnWopgeABxBrBo%IHtyp[Y@V|AOJGZAAEec9`@IA^7A5B@3@DB(EC!Be`BW;-)'V}@JA{T1BRB8@P@DB(b`>Bɩ"4AABzŷ^BBB@LɷBB&@B·}ưB B'B۷@Bʷ@ABBB"s0ŷ°AȐ!aB#BB˰A@'and_indҰBƠ 1"ذA{ɐB6BBWBӠАʩ ސBC+C*C)@@C"@BB@D@B* BC"H6"H7)BK@&or_ind 6^Ȑ"H8B@Cg@@@@@@D'%`C?Y]]SC@]P$JY CD)./@Cx@@@DCNhllbCOlCRCOBCZCRCOa_ZXRY@N@@A@(typ_sort@!GBC@@B巐!sCC@@C@!T @C@!HBCCƠC@@CBC@ACC @B CCCCCCC@@C@A$ 9720*(@#@C@7@ C@6C'B@A@@A@,typ_not_kind@!GC@C@@C>!tCC@@CT@!T !HBDDD@@CtBCCCש@'typ_indD%#DDD@@#not @C@+C𩜠-@A1@D!@AAa>-+AC"H0@@BȐ"H1+@ L "e0OC@@DUSAD(!s(@@DL@@@D D#E@ @H@ @!nˠDODN@@@usvtwu@AMD:[@)False_indD?IuHDZWT@C\B@>C@@D<DP(975@@D3DU22/,"" """!!iDV2`_.,]@AD_CDbXx@BDrzȐ"H2` Cη`C@@D^Dr(@YP@HN@@S@ADxT>AaDDD&IHtyp1DAȷAʷAsCCD@@C@BCCD&IHtyp2ѰCCCD&IHtyp3ǐCCð멜@CCD Ȑ"H3 CCDJ@b@DD(K@@@LJLLLKKDAAFDAA ϩD(Dҩ@FDDԷ9QΩ@DD=DvDD!Ds@@DD(t)r(prrrqqD.^'oϷnjh$+ D+DD*U-0fط&UDwSs56+D!D9@AàD6D9&IHtyp4#AR6@EDCDbE "H4$LN@ES@GDDUD*DR+Ȑ"H5[ QD7DHD]aD@ˠ@DE&(i@fi;E(2oah`l2brDoDE7.NviDqDMө1{nD|Dy1~D@@D/EC( WED  N},|˷ŷ0NɷK3GJDDEQjADkDiMFDgDMD@@DKE_()sE`<&jEhEe!jٰDDEljf@HDElDDڷlE @#@DjE~(       HE[EƷDEsEE%IHtypDЩ@IDةD׷E-@E@DE(.,,*,,,+jE}g"詜@JDDEE@]@DE(FDDBDDDCE1E EE÷?6ũEE%F*琩EݷéE E&Eڷ,E m@DEEE'DEEE>EEEސ(&! @_@@A@+coerce_sort@!GEvF!@@Et!TF+F*@@E@!U !s @F2@!HBFOFXF>@@E@EsFFF@*coerce_ind0+)$"#F@F?F>@@F7@BEF43@AF. EF3EBE<31.FCF;@AEFJFDFAFARKEMEOEQHFCAEFXEFM)IHcoerce14-EE/EE"H04EE2Fh"H1;EE9EķEb"H2_EEF@@E@B}EEEEFu)IHcoerce2\UEEE?YEA"H3^EEE,"H4e!EE&E,VkE+@FE/EnEөtE4 EE@'and_indЩ}E=E{EEAE@"H5 "H6EEIEЩKEPQERFE-EEZ"H7"H8^EdREdFBGS ElFFFFF 740=.5,*;&$J#) EExF@EyFFFFߩF$F#FFΠF FF1FMF٠ҰFF FְF4}{wuEY@GAFFAG[FFbG B@GZFIEEyЩObFBSE][OFEЩ2WT`F*"^f"H9#H10ΰCU3BH$VFFTGEFF|FyFN,(2-&"# =%$ {GYF`FFFFFZ_QXEZE\MKFGbGWT@C(IHcoerceA:FF8 >FGhArFFFʩAi@B7LF̩}@HFFSFFЩWFF ![FF!yBIFFGFGG ,$ GG[;>FGG;8w6pFG6As/FFG2d"yF-FGA(FFE*I+AFFIGG 0O1G,FG GFGGoEEFFeGFafYFF`BE٠G@@E@GGDFG GG tFFFG-FGFtGGFxFCЩF|FF~F  ;&FFGK ? *JGEGG&GLGGG쐶@֠ϰG0GVѰG2H@@A@-coerce_sort_l@!GGH6@@G!TH@H?@@G@!U !s @HG@!HBHdHmHS@@G@GH3H+H(HKHJHI@@%proj1BGoG*@AH= GvHG@XGzGHKHCH@?=8607.,@'@@A@-coerce_sort_r@!GG٠H@@G׷!THH@@G@!U !s @H@!HBHHH@@H@GHHyHvHHH@@%proj2BGG㩜*@AH GH@GGHHH?=8607.,@' @@A@0coerce_prop_prop@!eH'H@@H%!HBHHH@@HOAH @AHHH@@HK@A@H@B@ABAHH̐/-@&&@H@@A@.coerce_set_set@!eHfI@@Hd!HBI-I6I@@HAH񩜠 @AHI+I*@@H@A@I.@C@ABBII /-@&&@I@@A@.coerce_is_prop@!eHIP@@H!HBIlIuI[@@HAI0!sIfIe@@Id@"H0 @XI@VUT@@&or_indਜ਼ @H@IQ@B IV!@C/@H)@H@AIc.@A*$@,586HIm G@AH&NBAHHIIy@)I)H$- ZBBHHIIIjh@aXV@N4@@A@+conv_coerce@!eII@@I!TIҠI@@I1@"T' !s @I@!HBIII@@IWBIIũ@AI"H0HIϩ Iɷ"H1GߠJ@@G@I I1!@F4I/IIIII6IIIII֩&@AI4II;Iީ@AIMKFD>E<:@5@%@7@IEI'I&IL@@A@@@J/J-J,IIEqEpBOBNAȐAǠ==:):(663Ɛ3Š..*(*'% %蠠ʐɠLKРVU A @ՐԠ~LK:9hg,+@@@@I0beӯD Ơ0 F1t"P$Conv&Lambda@0*}Q;<Hf0WUlod)LiftSubst&Lambda@03eiV^o5%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>EJ0KH!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. &Wf_nat%Arith#Coq@0ClG]Wd/%%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ԖK0ف.Z|\z5-ޠ$Bool$Bool#Coq@0yVb҆X@#Min%Arith#Coq@0&εj/i!t&Setoid'Setoids#Coq@0q6X@ny+Setoid_Prop'Setoids#Coq@0߮m, .#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.ю@%Peano$Init#Coq@0KO-!hϲ/>C&Specif$Init#Coq@0|GU-lȮmJ07^kO(>= 0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@N#_310SYNTAX-EXTENSION@FF@F@F@F@@/_ |-- _ = _ : _F@F@@!G #|--@@!T !=@@!U!:@A@!s@@A@A@$|-- B@" =A@C@A@": D@@@@#_32]@FF@F@F@F@@0_ |-- _ >> _ : _F@F@\!G[#|--@@!Tf">>@@!Uq!:@A@!s@ZA@A@$|-- B@# >>A@C@A@": D@@@@#_33@FF@F@F@@+_ |-- _ : _F@F@!G#|--@@!T!:@A@!U@A@A@$|-- B@A@": C@@@@N(CONSTANTN=@@@#_34)IMPLICITSMtAA@@@@Mx@@@@@#_35/ARGUMENTS-SCOPE@M@@@@#_36M@@@@@#_37(@0_ |-- _ >> _ : _@#_38(NOTATION@@!G@@!T@@!U@@!s@@@&coerce!G!T!U!s@@0_ |-- _ >> _ : _Of0G |-- T >> U : s#_39Z@+_ |-- _ : _|@#_402@@!G@@!T@@!U@@@#typ!G!T!U@@+_ |-- _ : _O+G |-- T : UN)INDUCTIVE@@A@NNǠNŠNŠNŠNŠNŠN@@MNϠMM@@LNӠLԠLԠLԠLԠLԠLԠLԠLԠLԠLԠLԠL@@@#_41II@@@@@@ AN萐D@N@N @@@BN㐐G@N@N䐐K@N@N @N@@@@NՐ@@@@@CCNG@N@NK@N@N @N@@@@N@@@@NO@@@@rDNwE@Nx@NxF@Ny@@@@ENgE@Nh@Nh @NhF@@@@FNZG@N[@N[H@N\I@N]J@N^@@@@@@@@@JA@@A@ BM鐐D@M@M @@@JB@@@@AMǐB@@@BMB@@@CMB@@ME@M@@@0DMD@M@M @@MI@MH@M@@@@REMD@M@M @@MG@M@@@nFMD@M@M @@MF@@MI@M@@MxK@@MtM@@@GMjD@Mk@Mk @@MfG@Mg@@@HMZD@M[@M[ @@MVG@MW@@MNI@@@IMHC@MI@@MCE@@@JM5E@M6@M6 @M5 @@@KM.E@M/@M/ @M. @@@LM!E@M"@M" @M"G@@M!@@@@@@#_42@K@@@@@@#_43@K@A@@@@@#_44ʰ@K@B@@@@@@@@@@@@@@#_45߰@L @C@@@@@@@@@@@@@@@@@#_46@L$@D@@@@@@@#_47@L2@E@@@@@@@#_48@L@@F@@@@@@@@@@@@@@#_49(@LTA@@#_500@L]AA@#_518@LeAB@@@@@#_52D@LpB@@@@#_53N@L{BA@@@#_54X@LBB@@@#_55b@LBC@@)nat_scope@@@#_56q@LBD@@@@@@@@@@#_57@LBE@@@@@@@@#_58@LBF@@@@@@@@@@@@@@#_59@LBG@@@@@@@@#_60@LBH@@@@@@@@@@#_61ư@LBI@@@@@@#_62Ӱ@MBJ@@@@@@#_63@M BK@@@@@@#_64@MBL@@@@@@@@@@NN@@#_65Q@NX@@@@@@@RWL@MT@"t0 @R]@@@@#_66'@$@@@@@@@@@@@@@KdPO@;#_67KQ@KmK@@@KME@@@@#_68P@@@@@@@Jrq@]#_69mQ@Km@@@@@@@@@@@@@PQ@IՐ@"t0 @@@@#_70@&@@@@@@@@@@@@@@@@@@#_71@P0_ |-- _ >> _ : _G@#_72@@!G@@!T@@!U@@!s@@@9x@@0_ |-- _ >> _ : _S#_73٠@#+_ |-- _ : _@#_74@@!G@@!T@@!U@@@Dՠ~}@@+_ |-- _ : _T |#_75(AUTOHINT@#cocN@A!1!2!2!39A @@@@@@@@@@@A@@Р@@@@@@ASYSX@@ABSWSV@@CSVSU@@D@NIBABSYC@A@B@C@ABC@ABC$ABCD@A@AB@C@D@ABCC@A@B@C@ABCNh@I!5!6!9"10:FJE@@@@ERxRw@@AFRvRu@@GRuRt@@ABHRsRr@@IRsRr@@AJRqRp@@K@NBEFRuJ@E@F@J@ABC@ABCL@ GRz @E@G@J@ABC@M@HR@E@H@J@ABC@AN@$"IR!@E@I@J@ABC@O@R,!@F@G@AB@P@e5)1@E@AG@H@J@ABC@Q@R&@H@I@AB@ABCDE`4EFGHIJKLMNOPQ@E@AF@G@ABH@I@AJ@K@ABCL@M@AN@O@P@Q@ABCDE,`_>\@E@AF@I@J@ABCO@G"18S"19"20S"21"22"27:B@@@@RT.T-@@AST,T+@@TT+T*@@ABUT)T(@@VT)T(@@AWT'T&@@X@=RUSW@R@S@AU@W@ABC@ABCY@OJB T/ @R@U@W@ABC@Z@ T4@R@S@W@ABC@A[T6T5@@\@&T5T)&'TV[@R@T@ABU@V@[@ABC@]@(T0T/46T-@R@AS@T@[@ABC@^@5T2T1BCT0@R@AU@V@[@ABC@ABCDEh4RSTUVWXYZ[\]^@R@AS@T@ABU@V@AW@X@ABCY@Z@A[@\@]@^@ABCDEjiTPiDTNlED@R@AS@T@AU@V@[@ABCDO@J"31T "32"33T"34"35"44;lC@@@@_TT~@@A`T}T|@@aT|T{@@ABbTzTy@@cTzTy@@AdTxTw@@e@=_`bd@_@A`@b@d@ABC@ABCf@OB T @_@b@d@ABC@g@T@_@`@d@ABC@AhTT@@i@'TT'(ach@_@A`@a@c@h@ABCD@ABj@(TT56T@_@A`@a@h@ABC@k@6TTBDT@_@Ab@c@h@ABC@AlTT@@m@TN'l@d@h@l@ABC@n@TW0 @d@h@l@ABC@ABCDE|@_`abcdefghijklmn@_@A`@a@ABb@c@Ad@e@ABCf@g@Ah@i@ABj@k@Al@m@n@ABCDET]T^6@_@A`@a@Ab@c@l@ABCDP@B"47T"48"49"50TȠ<2Dje@@@@oTT@@ApTT@@qTT@@ArTߠT@@s@.oprT@o@p@r@ABC@t@PBTTqTT@o@Ap@q@AB@ABCD-opqrst@o@Ap@q@Ar@s@t@ABCD('T('T@o@Ap@q@r@ABCP@B"53"54U "55"56U'  @=#_96 Za@)G @@@@@@@@@@@@@@@@@@@@@@@@@#_97 @!@@@@@@@@@@@@@@@@@@@@@@@@&" 5 4@A#_98 1Z@&, 1&*B@@%D@@@@#_99 9@@@@@@% Z Y@A$_100 VZ@% V%ÐD@%@% @@@@$_101 `@@@@@@#  @A$_102 }Z@# }#D@#@# @@@@$_103 @@@@@@"  @A$_104 [@" "D@"@" @@@"mG@@@@$_105 @ O*list_scope@@@@@ ݰ @A$_106 ٠[L@ ٠D@@ @@F@@@@$_107 @@@@@@@@s  @A$_108[{@}{D@x@s @@@@$_109@@@@@@A32@A$_110/[@K/ID@F@A @@@@@$_111:@@@@@@$_112 V@#coc@C?i$1056CB< V Q@@@@@@A ~}@@!x@@"@w !@@ @!@ABC@ABC !"@@A @!@"@ABCzspm@ @A$C$1059$  @@@@#$Ѡ$@@A$$ˠ$@@%$Š$@@&@$İ#$%@#@$@%@ABC@ABC#$%&@#@A$@%@&@ABC$ǐ@#@A@հ@A$_113Ѡ\D@ѠE@@ @ @@@@$_114߰@@@@@@@Ġ@A$_115\p@̐E@ɐ@Đ @Ő @@@@$_116 @@@@@@@-,@A$_117)\@)E@@ @ @@@@$_1187@@@@@@@YX@A$_119U\@UB@@@@$_120W@@@@^vu@A$_121r\@hrfB@@@@$_122t@@@@<@A$_123]@FDB@@6D@@@@$_124@@@@@@@A$_125]'@E@@鐐F@@@@@@@$_126Ű@@@@@@@@@$_127 @#coc|B$1271$1272$1274  @@@@Š@@A@@@@@@@@@A@@@ABC@ABCDВ@@A@@@@ABCD@@@@ABCuB$1276$1278$1279 ) $@@@@@@A@@@@@@@@@A@@@ABC@ABCDВ@@A@@@@ABCD@@@@ABClA$12814 t o@@@@@@@@@A@AB@@@AB @@AcA$1283M  @@@@@@@@@A@AB@@@AB @@AQB$1285X$1287_$1287`h  @@@@@@A@@@A@@@@@@A@ABC@@A@@@ABC@@@ABC$1289$1290$1291$1292 " @@@@ ts@@A nm@@ hp@@AB gf@@ @c  ^ @ @ @ @ABC@@p  j @ @ @ @ABC@@c @ @ @AB@ABCD0     @ @A @ @AB @ @@@ABCDZ.-!*@ @A @ @ @ABC@@#_17-RESERVED-TYPE!i @@]#_18 !k #_19!m#_20!n#_21!p#_22%!s$` #_23.!A-` #_247!B #_25=!M#_26C!N#_27I!T#_28O!t!#_29U!u'#_30[!v-@ꠠ] & 1+<6GAPL[Ue`pj{u ͠ؠ㠠  `%0*;5H@WMd\qi~vȠנ栠("3->8ICTN_YjduozǠҠݠ蠠 %0*;5F@QK\Vgarl}wĠ`ϠԠߠꠠ _z' "`'@^ƠРڠk@0/{Pϓ9!­