ZKeHDР0SubjectReduction%CCSum&Lambda@B0SubjectReduction +red1_in_env(4@@%Types%CCSum&Lambda@@#env@@ @@@A+red1_env_hd+red1_env_tl!e$List%Lists#Coq@@$list@%Terms&Lambda@@$term@!t !u@)Reduction&Lambda@@$red1@BAE0@B'CD-!eX!f\!t%Terms&Lambda@@$term@@(&%.")2'B@@aDD@@@@@@@BADBD@AA@@@@@@/red1_in_env_ind@!P@W@@@AB@@@m@@@~| @zy@@x@wvu@Bsrt)(4+5 @B٠@@@@FG3B@!FGSHT!r Q]R^ @@@BDZf[g@Ja`QXPYOgsjtX_!?IƩHɐ@@yxwqlslu@lݩܠgةkܶ@k@edby @ +g() ,G'(*()= > 3"# '> # 'Q''+g() %'+7Sg +7S'+ 7!S'%'eAh@@@@(red_item@!n)Datatypes$Init#Coq@@#nat@ @'nat_ind!t ~@@@!e@@@@)item_liftQPF!f@B@@@S]%Logic76@@"or@hk۩ @#and@!g$List%ListsM@@$list@D@&MyList@@%trunc@Oe@BV6@#ex2@^!ua@@@ jZomge!Ha@AS@'ex2_ind{|Z@"eq@@$lift8ķ+E@$item@{@yp#gca@UשWکFBB0!x"H0-"H1";@(eq_ind_r2/@cK@}=;?nȷjɩhm̩ [Ȑ"H2&MyList@@K@BADBD!l@V@g\@ju@РKʠްnkwà@qM4tr7~{=@yA+Ϸ9ҩ@BHJ"H3(@&eq_indL@  @\̩4@(Xc/-".^g`@@;BD-+.,@ts@2l1=L@ð8rƩ3àN]թ@NǩDPOf S[UV֠ [K "e0)"t0deYbamcow淐"H4kjvV@'f_equaluF"e1x$List%Lists#Coq@@$list@A@B@DXXˠ:[ΩAGѩ_Cʩ A@Dh۠JkߩQNPk٩,VQ@3y(jB6*;V0;8URN@@ɐV ET uϷqЩoPM vթŰSe ]OocةװW<]-wk߰c" Ϡ81Ơ@4],[-'r@B; bڠԶ@ReL *UQ]U Xs@A|&Lambda@@@AAECDHFWX@7hsr@Nj@m3?[W@ư tF<HY<аbǷߩӰGSX"H5۰!Gqr)Datatypes$Init#Coq@@#nat@@@A@DAM@$True@@R@%False@ @AY@)False_indLG0 O3C ÷!k-T"f0W"x0Nѷ&IFe)\M"H6'm7/,M@C@D'[*5'@Bʶb;d2`C8ɶ}I?u_yuN°zBİXU#Coq@@@AP@DOdN&$cXBөjgA[@DJ$aI6a]*rdb@y/W|SxA^?,жh Hl$j6ڶ)P[q@B1qZYᩚ@&sym_eq|^]`'5bc >egf.ک0&2fGnm@K@0<e@ooA7C|@A^é@AS<9Ѡ̩@)red1_lift \]_oݷ`bE٩d@AiK3$MmPdIEC@7~t;2*&$ķ+zEȐ0/éyз,*1.Щ&i#!A@DOTZ۩1.,A"@D]\7 @ J>5F}VJA# R^RǩưF ̶1] R@Aаݩذiq@۩c#(׷߰,4z;vo6 /3X:vU<=>5?z@ D@젩㠶ݶ@SV°\"_`*֩#hgQ"n0D!y3e6gr'ʩPnЩ+ f өǰYԶyJ @2~ҩ+  @ذjCmn@@D@s㠶@JC$842@&mco2r@Z}SgZJFD@8/:)%#÷*y@V::@}@wépA%iec@W#٩YLܩHDB# I7栩gvWi=YŷC{A[>:o{b7~@z@ϩ{  өN{{کʰ 9ݷ4$U٩3b@0Ơڰ(@o37:8>3 3B-BD,з@*@(@"?@&ƐȐ꠶@АҐ|+^%֐ؐ}eѰ+,ˠEk1!noY&.ǩMM%"`ͩSC@"1 @H)x%٩Ͱ_U<8b۷c@@DWީנ@=O6I+'%@`AVbw ?9+"n1z6gX420'[9˷:0Tf.@,Ui.0:RNL@@8:ƩF>@ͩ953Hӷ:^G &CD@:@DOa*T"%@Ʃx,@t.Bxpr|kŷgƩeF=#l˩>DD$nb@ݠBDͷη@@] Ѱ@bҰbC@O1<87>AZAз  ɷp lA@DW)Yx#A@Db*~[,ܩ.1/@[,v(퐩x#  @F@L Nf TUՠZJ 'K)*©\2ȩbamYfeqki Qe=9HDB@76}/%+!p:"w<>Gb^\@P[ԩTU]٩EA?hݷD,iYK.r*rP% sil**@Bp//1ceOOA˩@˩|~Ű* ө8 ٷ{کyZߩϰ UٷVڷuSjQڷHmD}~urpAf@De/dO1ة~{yAo@D^8]M/9[@ԶdKHIҷ40ԶlQRGܷr  kK ^T@&or_ind%@/fj1mٰ34Ӡs9)vPs-5Aj @G=I KL<DPe,vC&" @[ Q]e_ `Pdeg!*# ln1o Щs{%uvx+-c{#z36 =̩é ʷ$۩' #`%Zܩ)LiftSubst *@@*simpl_lift(2 ɩ ,szjh@'and_indж@~ x pʷl˩jf oΩ {|1zԷvթtU: {کʰ f޷ߩ~W Ұ @A 'tj *? . 1li"H7"H8 =̶@eo IÐf W Sa Y \#w췐"H9"Ȑ#H10ACDDBST@@H d吩琐j@ l2>L@Am<HV #ϰaکg#H11ٰ MYl#H12 Jtu@@D 1 頶2 .,   6"f19"x1tM#)+k$H v#H13` -@#@D ɠ 9@Bn ũ IoC!gP{^VXsh]T2xd;~~8A,@D+  @* ? 4lFCA7@D&  =% L >{Ͷ@RNٶԩuߩ٩v԰d ei e 'iߩGȩl .̩t}R'Oé3Q 8 : v  x < = y  {l ? A @ک r Z!ڶ@ #@ک u@ة Ȑʐ8 ^ V Yڠ 5ԩܠש % & ( X! e + - h" .   2 nr 4 5Ԡꐩ x > . {6 BUv u FĠƠX M K ˠ  QϠ̩Ѡ  X V֠өؠ! H ^  a _ ߩ    ! uw k  l n!7   q s 38 . u3 w &    R+ {  |  ~HB  "   ;> ^     1g  3  Ð Ķ@  ٶ@  SS n  e a _@ S  թ U  M O`P ܩ H  D  B #  I   c 栩g Ai s Y  [ u  C@A   6} 1   @ y  q st   I  n ȷ j ɩ h I   o Ω   UD@E@ V   [@G  ɰ Y     @   h    {  #      j b )   ߰ , * -G !  & 0 0   @@A@+typ_red_env@!e   @@ !t - @@ +@!T !H@"wfA P [ Z@'typ_indD#!!f&@B   @@ @ d o@@ u  l t k"e0:"H0  ~@"H1 z "H24AA  N,P !>AB   X!v t s r@@ q@"t0]&h@ [   Hl'F  "H3A S  @@&or_ind   - @ R@ Q P O @@ N@@ M @@ L@<@B H  ک    ߩ.@ K@ J  )@@ @ ^  H   ^ 詜@B h "H4@AC   m p DȐ"H5 BB@D@LIH@?2 X Aȩ; N  4̷1ͩ0  4Щr   Sư * W  "H6EݷBީA a (E +  g4 CC@D@SPO r 6S 9   I  y = `I "H7 G  @'ex2_indh@ @  ٩ @  $ Wt@ @ ]  *  m  ;"x0D"H8" k  詚@&ex_ind * R u!   "x1"H9Л9@$sort@!s4  D@A ; Q "x2#H10GAL  S .  "  ݩ@1one_step_conv_exp5   @ e\ڐ j^! * Ȑ#H11n@Av4 tzq@ uwTz\U  թ(Thinning  @@*thinning_n L ݩ    -  V- m R@'wf_sortSE  r  ܩ@*item_trunc `X   5 ^ + (   a d 󩚰@  h  0   "T0"s1}  wĶ@  @  z !MƷ!Uɷ"s2U@B  U n߶@  _ m #,а $ &@à   -@ڰ & l i̠  4Щ@B 1    3 > =͐(  7AD$ ;  ĩ ϰ = > I "   3  A@B o F  G Q P  S !Vڶ@X@  U  ]|"Urߩ  g @F i k .@  p@ i    s7  yy 'AE u Y ɩ  w     w y   Ev= A6   ޶+O@)  @">   з?MCx 8\@sU}J m X@%subst  dDh@B  @;W    7 MqKK  7DaAF, & ש 8       *w, sM . © 0   4BM}EMȷHƷIFw @ = E!n@l   зtai   &]lǰ  ֩AG  m  "     U 氩Ұ s    u  wowrsp*G& AH    8 m {@CͶ@ @  ɷ @Bm޶@  @Ͱ! -% s" !,+ y%AI)  ~ n+,7 5! / 1 2<0ǩ89@GIHɶ @@ܩD   Nͩ T婜AJP   ٷN"󩜠AK^   *"\#$dep2@ƶ@k  񩛠@$conv@qrϩ* ~C@ @0| }$H" dj   g    RPJHBI@>8@@A@/red1_exp_in_env(4@@⠰@@@@@ؠ/red1_exp_env_hd/red1_exp_env_tl!e@ζ!tҶ!uֶ@Ơ!e!f!t@ʠשՠ԰ѩذB8DD@@@@@@BADBD@AA@@@@@@3red1_exp_in_env_ind@!P@?V@@<@A8\210@@/@.@@,@ec @'&@@%@$#"@B+"!)(4+5 @B=@@@0;@2317?B@!FEQFR!rRQàITO[P\ @@@{BDWcXd@Wba]\MTLUK]^ihcofpT[;cdonefp{@y@{srqkfmfo@faye}}@e@  y}^z @ +g() ,G'(*()= > 3"# '> # 'Q''+g() %'+7Sg +7S'+ 7!S'%'aAh@@@@(exp_item@!n@@@@'nat_ind !tà!@@@!e,+*@@)@@趐!f@BK<;@@h@ؠ@@@ { @@!g@@@=@`@@@FX@B') Mf"..@@T!uWAy@@?@= `P@6ec][!HWHGz@AJ@'ex2_indqrQ@@wJw@5[)~@@@aWo{@mdweh ]ZX@OkmQdpB??tj-"H0)"H1 s7@.,z@F~@u:w<hechVȐ"H2BBD!lٷ@L@[@^i@$ǰb`'r@fh©Ʃqo۰̠)0~@BC"H3 @̩Nַ=϶  @V2ݠض@.,u!,V@@BD@@0$;@Oĩ@3A579:Š?/"e0"t0HI+*U۰F]Q0$_Sm"H4OfZ-6;@X-"e1[A|@D44Flj7Iym@:L;'jskA@DDxVȷ|zGZ}Yɩ{S ]}Q@T5Ω7doUR/lig@^#V c(TURP20 WSF>~]bDưd-jLΰҰ 8c@4A,?|'@Bʰec;w@kReƩoRU˩]ҩs@AȷazAtCD=Ϸ>з@@@[W@+$jY3$.˩/#X"H5ש/=ķ>s@i@DDBA@h@@I@g@@A@)False_indӰ#:#ְa6(*)f] "f0"x0T]W*+6j88+ma5=oc\A"H65Et~~ @@DQS(I{V I`Q0H\@Jt_i\8cc6dgA@D4y3z*j;CnAorA@D/.ѩa];b@B*RE©|Sg~C̰])ɩO{^:cѩbvgZ!̷ کk)ݩnVө@Bs1YB@aFFHV3 ~Šƶ7:rYΐͶ@yy@éK@ϩ Sjܩ߰@Aߩ@A"7@^<q @(lift_rec!-I#J@A(P$$BLDyN,{   oؠ #3Ω @=©K?A CD$ϠŷI9)*  EF P9'2\NeY-,U*VAw@D@0B^g_A@DI@pnqo@juTq^0ɩ}G׷H) v}©jc1~ܩ ͩuǷЩxr@A2olj@a& TQbAX;8[2 Iة p@J̰@O^@RTѷ}ҩ{][<שǰp٠ԩ.ݠ-"n0X(j6ɷy|0¶ J<~dJ@)کנҶ@zзKS@I@Dٷ@#کԠV@A@!/#=d&Nu@@YGĩ@3578à=-g@ΰ@I@,]%8Ӡ @Rz0T3VW7r\L<:=^.`t8Buiiga_ЩYJI{mnpC,{R uwUK~co@aXkY\7QNL@C=8acGAC^j<99~ndC$өthO!m@{tZZvsq@hbdnhj]c` BBDͷ@@@N@P @ө٩Z߷kհƠ#yM*C@Ӡ1ʠŶ@)%UH@>@DWΩȠ@N[I⠶ݶ@A"b?90Q㷐"n1*5$4200ڐ~'`90T2.@, 됩 @;A$GH(ӠM=-+ްb[eef@@D7a8lX`n۷qohb |@@KDW,=:8@/o.}qO3s-/V(y%z#Z=z*o_,>n2p@BD@o@cI<@ hs!TV{rom@d^`lfhZb_]?d8zxjlvOtѰ+!aTpdwnlA@Djig*`#ЩyطwA@De,db2\m4߷@s9v_T]ʠݰxiEɠĶ@~ kߩ\  +}hQbǩĠEo2."9t&2&@  = 9@72/4+5% :T,Ǡ,RFn@ L[ZN,PU^RB1TU5hXH8h\iQ^ _arrAdfD sNdh*@BmUK;MqmOPQ ESf̩NKI@@:<udHBD)k=:8o?tKTISFIvڷ7*G:MDoBA@D@?=֩VMKAŠ@D986ҩ@жQDE"eCηfYLΰ+,oAط_R԰E% ¶x8{.멚@&or_indưa@@Hũp9ڰ`ˠްDƠ@d`٩ݩ ^B,pڠն@  n   $y&')吩琐cm35C7  9 ĠB@ΰB ˠFϠͩѠ MKٰM֠ԩؠ$/USVTV ߩTX7ᠩ0T}@@S7&  *i=YGGhfJ@'and_indж@>@5uxeS7wr"V(y%z#Zd(}m]y[2/-d%4yi697nU<qgdb@Y?y]rh|NKI?NjV"H7"H8@vpreɰ Zy{fҰ/wȷtɩrTLyΩް"O"H9"Ȑ#H10UAOCD@۶@oj@wl<@ܩmFՠŷ# g#H11\|#H12  U@K@D1۩ՠ.,,鷐"f1췐"x1#MϷ#7ͩᐩ㐐k$Щ=1#H13Щ`IIJ@u@DXnѰU\IWo][Cڰѩ\PPζ{̩Tsg[hT+ϩmad1125A~@DGH8l<p=@A@DRΩwVy}{{~|@ KNɶC=u1HBDvd^JiabeZyEiϩijȩal̩e_t}''é )zȩ˩l̩wqrǰZs̶@J@Mϰ`@ʩƩ8ذ 6̠ԩΠɩfԷթc`!ک\Y"ݷ  aJĩoݰͩENzǩR~|ͷYO    Y %Щ+-hj*   "<> ' ):?' +: --    W$ 1 2 4MC 7 9!7 ;ccU̐@Ͱ 8@а ; # 6   @  N,  P  D3  V  W 7ط  \ L<=^ YA` [ vDEDoC@A G Z B ? =@ 4 t . 0V : zI2Y + | ( } &]  , -  rb9@E@   B@G j } d e b `@ W u Y  S{z L  I  G~ ) N  G !}   @@A@+typ_exp_env@!e۠ڠ@@ط!t@@@!T !H@WA@'typ_indD" !f%@B@@ .@Ŷ@@˩"e09"H0 Է?"H1ڷ"H23AAM,O !=AB WVɠȠ@@@"t0[%f@Gj&Et"H3@ޠ@@&or_ind @@ @@@@f@@@<@Bk/ l14.@@ F~@@D@B HE:=@BJ"H4@ACIUTDȐ"H5 NBU@D@KHG@>1b@ũ:g3ɷ0ʩ/kٷ3ͩqnlðn)r"H6DڷA۩@|Dީ3 SCT@D@QNMŷQ֩GG "H7s@'ex2_indf@@,@砩~wr @@%}k<"x0C"H8;@&ex_ind &RȩRAJ"x1"H9Л5@S@R.L>@A5`Q"x2#H10AAL S=,s?.@(red_convD3@,one_step_redI8;@d_ېui]& /Ȑ#H11q@Au9wyt@zTy_Ug+Vpo@@U O13*n+6+5n@TUG:9r7/@SY3=}zA8E@ G>?J}"T0R{HSw}@UW@P˩ZQPON@Bkgֶ@ q%ǰri@U{@Ѱt ĠO˩@BVdŐ( AD$ pҩ3@B  NѶ@T@tMթ @F#@@0  ,vŷpAE;>ðϷ:r26+Iַն!D@ݶ@3=B8v .Q@qJu?쩚M@L)\9\@7j@0K 6BeC@/9UAF, "}PBuk&pE( *, AByq=B·=uA;k{?c@aZ]!ʷi`^q\aİ!AG% m'(3k1ϰ+-.8lglgke*=&~ AH?$~y~FQu@C@@Q _a@BcҶ@k@dl ٷ#j"lwvpAItYɩvw_z|a}+@G@@ѩ  © کAJطI  詜AK!$W &@@.1橛@K@ĩ~6@ @# v;|Է` _! EH אEC=;5<@15@@A@+conv_in_env(4@@,@@/@@@#"+conv_env_hd+conv_env_tl!e!@!t!u @@$conv@   - 1  !e\!f`!t@$"! *%.#B;DD@@@@@@BADBD@AA@@@@@@/conv_in_env_ind@!P@Q@@@A8_~}@@|@{g@@y@hf @ts@@g@qpo@Bxlon)(4+5 @BӠܠ@@@}@1B@!FEQFR!cO[P\ @@@{BDWcXd@]\MTLUKcofpT[;{@y@{srqkfmfo@fѩРay̩e}ж}@e@YߩXy}^zm@ +g() ,G'(*()= > 3"# '> # 'Q''+g() %'+7Sg +7S'+ 7!S'%'aAh@@@@)conv_item@!n@@@@'nat_ind !tn@@@!eyxw@@v@@@?5!f@B@@k@BL%$@@@UXȩ @@!g7@@@=@@@@FX@Btv Mo{.@@T!uW@@@ `Pec][!HWz@AJ@'ex2_indqrQ@@ww@堩5)~@@@o{@mdw ]ZX@OQB??-"H0)"H1 7@.,Ƿ@DשF~@u:w<hechVȐ"H2B۠BD!lٷ@Lh@[6@^i@qǰb`Ptr@f hJqo۰Q)0~@B ""H3 @̩#=϶  @32ݠض@/:.,u!y5>V@@BD@KJ@C0$@H2ĩ@3A5:`7/c9:㠩Ši?/ll"e0"t0HIxwU۰F]Q}q_SK"H4OfZz_;@X-"e1[Aɠ@D44lj7ym :; tjskA٠@DDx|zG}2 ʩQ@T15ֶΩ7oUR/lig@^#V ̩c(TЩURP20 ַWِSF>~]bDư!d2-jLΰ&kbҰ-f 8c@4A,?|<'@Bʰec;U)w@kRe oU ]  s@AȷaACD=Ϸ>з@ ( 3 2@ *@ -[W@ 4x$jY D$.˩ M/#X"H5 J Rש/=ķ>@@DDBA _@@@I@@@A `@)False_indӰ p:#ְ6 u w v] "f0"x0T]W w x j 8+ma  oc\A"H65 t~~ @@D ۷ ( {V I `Q}H Jt_-i\ .8cc6dA@D4 Ơ 3 ǩ*j ;CnAoA@D/ Ѡ .  a] ٩; b@Bi*REl©|Se~C̰])ɩOȐ^:cѩb gZn کk) ݩnV @Bs1Y!@)! V!  I K3!! L  N~!!! O  rY!!@yy@éK@!! j!)!,@A!,@A"7@.conv_conv_liftr @(sym_conv w!E@S($&!Q2 $(O@A- vv!X Q !Z ˩S1 !\!]!^tݠ!_!V(à4ө  @BǩPD<!oF!rHIԠ!xN>!{!|!rJKU>!y!a Sj^!!~cZ/[Aɠ@D!!5! cl dAҠ@D!! !usvt@"oz! öc ΩL)M.{ ϶ǩo! 6 . ҩz! ̷թ}7 w@A©!7tqo@f+[!ԩYV!ةF]@ =`7! Nݩ!0!!"!W!!!\!p@OѰ!,!@T!a!a!0c@W!Y!I"ַשb`"ܩ̰" !Eu" ޠ٩!Y!!!M""!"n0-o!""~!g"5Ƕ!A!g!@"'!{ߩܠ׶@շP"#@@D"A޷@("Cߩ٠[@!@&4(! -"S"S"T"Si+!!"T@ &!  Y!ɩ@8"c: ?"f<=栩Ƞ 9"lB2"o!@Ӱ!!@N@1!"l*=ؠ!"q%" @W!"Y!" [\!" aQ"""c3"ey"""znnlfdթ^""{rsu"1{"%z|""~ht@f]p""<VSQ@HB=""LFH!""A>>""H$ة""T&"@""Ʃ_ {xv@mgi d""ܩsmo ""he""  B ֠BDҷ@@@S"@U r"G"k@ة % #ީ_"I#p #ڰ#"P#(~M/C@ؠ1Ϡʶ@)#!#,%U  @@D#6W#7ө͠@N"I砶@A'! "#F?9#F"#G#FV跐"n1/5 )4250ߐ é,e>0T7.@," !?  @@#m#oF!B#vLMؠ #|RB#!0g`jjk@@D#"a#q" esvtmg!_"#@P!oI\!!,B?=@4t.v"!)#8x24!%#-~*( = #/t#!~> !<"n7u@BD@t@ #!!@%#!9x&Y[ wtr@ice!X #کqkmZ#gdbD#i#=#렷}÷oķq{Tyְ!}!sfYu!i|sq!BA!8@Do$#pnl*$e#u!"~ݷ|!MA!C@Dj$ #~ig!a$r$!!1@x#S>{dYbϠⰩ}nEΠɶ@p$1Đa$8$>$Aé#}mVg̩ɠ#t23'#y+ 7+#%#  =$]9@77/$W$c9+:*$g$]:#1̠1WK#@Q[_S$~UUcW" G$YZh$]M$ma"fiVcdfrr$ik$ sSim*@BrZ#"j$#٩@#$$v$!$$$%EXk̩SPN@E?Az!$MGI.$B?=$÷D$KYNXKI{ڷ</G!?RItG"A"@DE$נ$FDB$֩[RP"!A"@D>$$R=;$ҩ"@жVIE'jCηk^QӰ0$.1tAطdW©ٰJ$1* Ƕ}=$H3$=@&or_ind˰f$T@E%"%u9%߰%"eРI$lˠƶ@ i"%+%/c# G,pߠڶ@ s# %?İ%C%L"$%O"% ©)%U#!~+,.ꐩ쐐cr%b8:%eH<" %]>ǠũɠGEӰG%rР%iKԠҩ֠ %pRPްR۠٩ݠ$%ZX[Y[ Y]%栩%%@@%&  *n%#^%%hfO@'and_indжEC@:zxj%<|r#t%-~*(d%-r%#7y`!742*%9~%#$><U%A%#Alig@^?%˩brh%ΩSPN?%ҷS%թ#Uj["H7"H8%#U@{uweΰ _%ĩ~fװ4%|ͷyΩwYQ%~өð&"T"H9"Ȑ#H10"A"CD@@t&j@|&qA@mK%c&'ʷ#g#H11&7 a#H12 $%"@"@D&C1&:ڠ&G.,&J&L&K1"f1"x1(MԷ#<ҩ搩萐k$թB6#H13թ`NNO"@"Ǡ@D&m%n&iְZ%N\ob`C߰֩aUPӶ{ѩYsl`h$T0ԩrfd 66 7"A#Р@D&%&=%lAuB"A#۠@D&%ө|& ~%{@P$7NζHBu$4$MGIvd#c$ifge_&$iԩn#oȩfl&̩jdt}#',é.&$d$d$f&&&&&&&l&&&ѩ|vr̰Z$Ѷ@O@R԰e@ϩ˩8ݰ;&&ѠԩӠΩkٷکh&e!' ߩa' ^"  f'Ot''JS'WM ','#b '*  !';   &  'C'A'D'E$'=mo " # %$:'R ( *'U6;'K( ,6 .'O)'Y'Y'Y'YS% 2 3 5I?'b 8 :'e"8 <_%4&'g'g&&Ȑ'h'i@ΰ 9@Ѱ <$$ $ 7%A   @  O'z  Q  E$'  W  X '  ] M'%'_ Z=a \%& w''%''p?@= H [%"& C @ >@ 5 u / 1%' ; {E%' , } ) ~ '  %z' .  s'&5@A@   C'@C k ~ '+' f c a@ X ' 'é Z  Tw'8'ȩ M  J  H *''η O  '''ҠC !'C'''Ր   @@A@,typ_conv_env@!e()((('@@(&!t'Ҡ(0@@'@!T !H@A'''@'typ_indD" !f%@B(_(P(O@@ 2@((@@(((("e09"H0 ("?"H1((("H23AA(&(0M,O !=AB(0(: W'''@@'@"t0[%f@&(M(B(NGj&E'(Q"H3@&','+@@&or_ind(](U'Щ @&@ &&'>@@&@@&(@@&@<@B''(} '((.@&@ ((@@ @(( H((((@B( ("H4@AC(((((DȐ"H5 OB@D@KHG@>1'(@ũ:'(%(3ɷ0ʩ/('(3ͩq(('ð()'(.("H6DڷA۩@((ʷDީ((>( 3 TC@D@QNM((׷Q((H($(JG((((ސ'G "H7(( &@'ex2_indf@'6@&z@'5~&(r @'4@(&s&˩(<k&&ܷ"x0C"H8) &)&@&ex_ind &&3R)&&&"x1"H9Л5@@.)(>@A).5&Q&Q"x2#H10AAL &\S(,&a&((|@2(()H@']^YՐ( cW )R))JȐ#H11k@Ao3)_qsn@'ytTsY|U()s))@@ I)y'I){)r(+)~&+)}h(@OA))l))w@&S){)(ϩ((())(()@ ~))()))w"T0uz))qw@))@))y)H@B) ()aж@ ())))ڶ@''K)ö@˰))(')ʷũ@B)'O'')))ө('U)ͩAD$)'Q'Z'e)))')())M3'W)ש@B')'\))) )˶ @T@ީ))e)n ϩ)h)@F))@)@*@ ))x )E*&p)W* jAE* ')])M* **))* * **4r,0%)* *϶>@)^*%@-**&)d=<2v*.(K@qDo9(*4G@)q*6V3V@1'*=@*E*6*> ')~<_=:'d*F)3OAF,*B'j'˰*D*O*N(})))e *Hp?*J"*U*L$'t )A<sk7<·7o;5eu))*c9]@[|))*iʷc`X*e(I)\[İ(M*i{AG*m((R)*o*p*{))*yϰ(*s(M*u(*v*fafae_*7&x AH*((l)*xsx**oy@Cz@@** |***@B]̶@*@** ӷ**"*+**** *AI*(******7*Ȱ(*©(W*(**Ϸ+۰**̩@G**۷@@˩**O *T*۠*U*ԩAJ**&*[*^ط I⩜AK**4*i*lW**+߶ @@ **v*y++*H+ u -@@+ *Qs2s (+W +((*f **++++<:42,3@(2@@A@(subj_red@!e+s+r+q@@+p!t+U+z@@+S@!T !H@A+>+I+H@'typ_indD" !u@+`+@@+^@+R+\+\+_+T31@+d."H05@A9@@B+sȐ"H1+@HCCCDDDDEEEDDDDDDCCBDFDGE@)++@*#$Init#Coq@@"eq@U+"@ X++L**'$@A+H!Mc!Nf`g+jl@Dq@C+++A"H2.yy@%subst+++& 6@)h+++"e0+@(AABBCBBBAA@DA+(@[@L@(@@)DatatypesQP@@#nat@ @@@@]@(3@@@A{+d@)False_ind?k=++`+()+-`++\Zv@I@E+,,WvYNЩ , ,,L,+@J@DI,(F@66/66635.,C+g,+N&,,~婜@J$v,%+zo !k,J@i@Dh,.(e_UUNUUUTRM,0bJ,)+mE,4,5"M',5,@ַ"H3ð,<,H+֩+,D,n@@D,R(wyryyyxxq,Tnְ!+,O+++˩*,*9,_,` +,at,d,c/0025Ơ,n,c.:ˠ,t,h+3AҠ,p+D,@@D,~(,AMޠ,{++,,,'$"M1S"N1V"M2Z],,,Vb,,, [*i,,l,@@D,(=,ک i*u ,,+T,,OL!y"N2|@7-~ 6,,Pz;,,,-N #,,7,@@D,(a,栶N/,,C,x,Ґ,sp!Sd[QK/[,,,u`,,,,s0,Y,,,- @*@D),(& @,$ t,f,,,B,7,4*{*l,,,o,r*,Mr-,v~Ϸ|зҷ{ӷ_֩-- -ϩ۩- --,Mԩ`-,-\-;@Z@DY-(VPFF0FFFEE>-!S;(-%,-,q/-'-(*%y3-3-2-0ȷ8---8-5,pƩ?-3-4,-^@}@D|-B(ysiiSiiihha-Dv^ưK-H-?,,R-J-KMHѷа@F-L-Wذ#-Q-],*,-Y--@@D-g(-i*6,-d,-o-p :;=ɩ@%-y-n9E*--s,> L1-{,O-@Ġ@D-( -L X=--,7--2/ \ ]!_bd@G--4^j---c2q--t-@@D-(E-ʠq2}-'-,\--WT)F=3<%--VA*---3T1--= -@ @D -(g-젶T=--I-~-ؐ-yvRPh_N2^@H--{f---Xy6-b-2.@0@D/-(,&-)yĩ-n--9--pȷOɷz˷WΩ%.-ǩө*. .-z̩Xک1. -T.3@R@DQ.(NH>>7>><==6.K3ک=.--[.. x..-w8.0s.R@q@Dp.6(mg]]V]]]Z\U.8jR -u>.<.=ʩ.>.5--{.C.9ʷȰ..B Ͱ-ީ8.T .v@@D.Z(z~y.\vް) -b.`.a$@-@0.].]$-.^ة.j@A9;.hGE3$>" @C.} .@BDMKNL@@P.}.HRSMT W\ط].@Ҡ@D.( ..\cde)h'mn.@@D.(1..mtuv:.y8~.@@D.(B..$JA$@JR| .@@D.(U.z.nk7]T7'Si]ge"c.@@D.(h.a.~ZXpgV:fTpRx5N//@-@D,.()#{.&L.fEzpMyCAH=B/!@@@D?/(<6,*%,,,++$/9;/ѷ4ҷԷ}շa20Щ\,V/5@T@DS/(PJ@@*@@@??8/M)/upj/I@h@Dg/-(d^TT>TTTSSL//a//1,ǩ~/]@|@D{/A(xrhhRhhhgg`/Cu/CE@ ɷȰҷ  ک/p@@D/T({{ty{{zzs/V/V !ܷ#۰&,-/@@D/g(/iސ/i 346©901?η@/@@D/z(/|̐/|FG IթL CDRS/@Ƞ@D/(///,YZ\_VW&ef/@۠@D/()//B?lm1(o'r1ij9xy/@@D/(<//URD; 9C{|K/@@D/(N//0.VMKU]/@@D/(`/ }/@Zddx/ݠshp$J@.///x@B//H0@~BD·@}@{//8@s-/p/>0HlͷjηϷ[h \˩USO0.@M@DL0(IC972999881%/_0H0-հ-/V-00s)$mg0F@e@Dd0*(a[QQJQQQNPI0,^F0.0/8{0Z@y@Dx0>(uoee^eeedb],0@rZ*0B0C ɷȰ \/"H4 0t@@D0X(}x~~wk.50\v-.;..0a0bK-..0'3 +©9:0@@D0t(0v+0x0yCDF=I64AةOP0@Š@D0(20A000-,YZ \S_LJWeطf0@۠@D0(H0ԩWF00CBhop+!rsj+van|ʷ}0@@D0(֩ʐ.B0ՠpɶũ{Q.I.?00¶ĩ.:0.M·><K;K%0@@D0( 0 0ې0ٷN-3bYbѷ<1+1 @)@D(0(% 70" 5001ljJyhxRGA1 @?@D>1(;5++$)++**#18 11 {ӷZԷ`ַͩƷѩh]W16@U@DT1(QKAA:?AA@@91N611vܷ~sm1L@k@Dj10(gaWWPWUWVVO12dL1415ҷ~| x 1b@@D1F(}wmmfmkmlle1Hzbv1J1Kѷаrm!i"1x@@D1\(|{1^xg1`1a+,.%1ca)7]81@@D1r(1t)[1v1wAB:FW1U>թLSM1@ @D1(u1>Q11OJ/\00MYZR^KIIVdGe1@ڠ@D1(1өVE11b@%p1@Eg0111Cy1#Bv}$vt11O1&IHtyp1n@l11©151ũZ1/$$f11N@@1@B1F11&IHtyp2@1+/1n1"1011۷&IHtyp3@1[1!/y/11_GO/1012@BDŷƷ@@1[/!/@wS1uR/2 H"M0׷tط"T0۷ҩth˩a_[2:@Y@DX2(UOEC>EEEDD=y/2"T<9ᰐU1cՠT/2*2+!90}/w2V@u@Dt2:(qkaaZaaa^`Y2<nV+2>2?0 5  ð)D$"2j@@D2N(uunuuutrm02Pj .2R2SHٷ  ذ#0)"H5!@///02@@D6442k(!s2m!n2p><?=2t@>A?1B@CADB1EC2x.Ԡv/2}G2t/?KKL2@@D2(1ķ1ŷUSVT2WUXV1׷YWZX[Y0j\Z122l/2`2nbsec@f2Ai120*bO21bZ0&VYk,w2y|zU2}120>vcX2^;101 2tW2 @B'222өs2!-AL 56008AD$>0,V02⩚B3<3-3,@@'"HKɩ&0O@3G@AUR0220 2@&ZZ$@K]03AGebSB03 2}@.232I2K333 ߷~ͩ·ݩߩc3B@a@D3&(]2aX2b2e3-20s3R@q@D36(m2h2·Ʃ3223334   @ð2<ư3K20Ҷ 1'2 ΰ2I԰203\2ܰ'z21:+ .,#=2&c2$2eb023m03m2a82f3o3mc:3oK3q3r3s_=>5@+C ;=IJ3@@D3( 3+޶H.F1e933z+XYP [F^;9VXd׷e3@ڠ@D3(&3өF33Anof* qr]*uPmo{ɷ|3@@D3($3Ҡ]ƶz©x1Ek33©~3 q0·><K;~Kq3@@D3(E3 ~!3ې3ٷN-bYbŷ1+4 @)@D(3(% \3" 8333ljyhxGA4 @?@D>4(;5++$)++**#48 44 {ӷZԷַѩө]W46@U@DT4(QKAA:?AA@@94N644 ש̷sm4L@k@Dj40(gaWWPWUWVVO42dL4445!ҷ   ~| x 4b@@D4F(}wmmfmkmlle4Hzbv4J4K7   ѷ а rm  !i "4x@@D4\(|{4^xg4`4aM + ,# . 1c a )+ 7] 84@@D4r(4t[4v4wcl A B9. FW|!U >@ LS M4@ @D4(i4.Q44LO Jf3ȩ=2O [ \S H  `M;K XZ fI g4@ܠ@D4(4թHG44d@ ' r 2x3@G i14\2%34G } 244F   'c  z x l @ {4144 p 'a  ^ 444ǩt44ȷ y @  44Ω{44ķ"u0  _  4444ש V@&or_indਜ਼ \@"ex@ v  2m414X. g 4'4 Z 24 =494 D%Logic$Init#Coq@@@BB@D@# 6 7 2ѩ24tM ð24 X24x5 !x C )Inversion5U5T@@,inv_typ_prod ְ25 k24V224V 5 5k UW V v ߰2B2ة ⰩY 2i3 ͩ @&@ Ő5' ǐ4 5A@ BD    @ @  54 @  592  |`   E  &4H        ԰    װ " 2ש  & &  '5}@ @D5a(+*)  ^5e  /5[  3 3  45@ @D5n(  ʠ44  ? = @ > Ϡ44 C A D B E C Ԡ44    H F  ܠ5} ޠX5w  LZ  N ߠ54 S Q@  T4 &  W ޠ44 P N]\[ 1 T^5H Y_  < " m5  o r p B ( s 54 l H k 43 M 3 ~ 4   &4   |, X {"5!  ~/. ^ 3Lt3@+inv_typ_abs 6 >3 !@:5395ӷ"s0 "s3   g a3f"H6  3b3[5緐"H7  3kc5*"H8Ǡ3j5^  e Jd M5 Oc,Substitution6G6F@@,substitution3)6 64  3+5I$Conv6Q@@/inv_conv_prod_l)34x6 @ְȠ3:6ʠ1656 @/conv_conv_subst''6! S@A@A/@/inv_conv_prod_r3NC6.60JȐ"H9Ƞ  ːQ   ?   F Րw   g fk6HGN` %R5 6KE6K5? 56M'6M6N6O        Ӱ  ]    # S  $6z@ @D 6^(     ~      }6`  z   -6b3 $ "  % F )h 6p6q 4 ;  <  = 4  @ [9   C6{3   G V  H6@ @D 6(           !6     Q6}3$66  S T T K   V (  Y R   ^ P4  U W  c N  d6@ ٠@D 6(            6 ҩ é " m L d J e A d f66 l LI J  w x x o 3  z L 2 } H$֩ 5  F4, w y   D  6@ @D 6(           B6  ܠ D  B"6Ɛ6 d @  >   M <  f L  :> O  84F  r    6@ @Dp6(olgiegggbb ;\6ܩ [ 6$ }   " 7@ @D{6(_^[]Y[[[VV E6V6ݩ G@6 j 6ZƩ 5   @ p 6c] s  T636eζ U  ]bh  i gY %I Ro ĩ  7` P t  Ӷ,  ֩ l6K7 ϩ h6\4  ީ t6P `  x6W     % # ܰD7  Πk6`     ؠ AE724y47) 736' 6756n) 6pQ777879 ַ         ة   b   4      7h@ @D7L(&%$#$$$"" 7N Ͱ 6     7s@ @D7W(!  7O6r7P ڰ %7Q6  'x * (@  +6Ͷ  . Ġ7h6> 'p (  46ĩ  6ط 9 7  : Р6J 3|  @ ֠6s  D  G E < )6b ? ,6 ^ \ < 5 ؠ5 ڠ`D5577r5o57n , b /۩  f   j Y 9 q o cé 7 4b7 776 w677 y7777 O u |  } t 8 .  (  R 8  Xܩ ;  4 }    ٷ  7@ @D 7(           7  ⠶ J  ö  Զ = i 8'757ѐ7Ҷ  Զ  A/, q E 4 J -K ܷ X  V   e   U   e    h  5   6  ַ 0 8@ .@D -7( * $          7 '  w  -77(  l ķ K ŷ    Ƿ w ȷ    $   5# ũ ǩ Q  η K 8*@ I@D H8( E ? 5 5  5 5 5 4 4 -'8 B *3    H88C   ߷          >   5 ߩ  k  ÷ e 8D@ c@D b8(( _ Y O O H M O O N N G8* \ DM   n8.8/ ̷         Ω   X   5       8^@ }@D |8B( y s i i b g i i h h a8D v ^g ư  8H8I       Ϸ    ΰ  r Ѱ  5    !   "8x@ @D 8\(     |      {8^  x  + 8b8c   -  . %   0   3 ڷ  6 5 - /  ;   <8@ @D 8v(           8x    E 8|8}   G  H ?   J   M   P 5 G I  U   V8@ ˠ@D 8(           8 ĩ   _ 88 4  a  b Y   d 6  g   j 6 a c  o   p8@ @D 8(           ,8 ީ Ơϩ . y  88 N  {  | s 7 O 5  y٩ 8  68 z |     8@ @D 8(           b8  ߠ G  58ɐ8ʶ    $ i *  @̩ %0  @  >   ] u [   ^  6^   ,   & 9@ $@D #8(           8   m  6 88& @ q  R6s@ v 66Ҷ    > 6 86 RD9  ѩ g6  66+6 ʰ69 _689 f+ ҩ \ 0 V %Terms&Lambda@@$term@@ \@D [9!( X R H H A F H H G G @ 9" U =9$(TypeCase9j9i@@)type_case78E9#h | f {wu   ϩ 89795_ @  8x9=8ut s ˩ ]9B[  @W9G d 79J 89J&IHtyp4 @ 6q9T 7/8  \  68779R9] 9j@ BD-+.,@ @ 09] j Рe668@ ߩ)8ܩ ՠJ69pH ; <6= ( @  ʩ E  F9@ @D 9(            89  ) C8ĩ 699NU V W BZ *57 _  `9@ ՠ@D 9(           9 Ω A 99bi jk V#n >I K s  t9@ @D 9(           .9  ʠU ,99} ~~ i9[8 |  #768 | u  x9@@D9(            ̰ 27B79 蠶 z  v,7 :+9Ր9ֶ  vQ t@  ]@\ r$ p + l%:@#@D"9(  9  j99  f d s br `: ^ A Z;:@9@D89(5/%#%%%$$6:2# X2::-  uͷ Tη  з RP, P˩ W LQ:0@O@DN:(KE;94;;;::3L:H09 JH::C  F   © DC B ةh:G@f@D:+( D0)7:0:'7 v:U@t@D:9(p9k9ũ@9x:=:4B  8:9ð:C :i@@D:M(8)8*7 :KƩX99:UZ37:Nٰ$9& ĠY+)@,9@0j7997޶ :a89)$  ՠ $<9>A?@)C}8:}97 0) 8N 5M97O ƷRPS8:8 X8k 8\8a_ JTO:+ MF  8&^:@@*BDompn@)@'r: @,w: k  :Hzx9_< c :@@D:(:⠶mJƩѰ) 79:Ґ:ӷ=;W0}.%׷:@@D:(     1:f:::SQmFp: 2=η7;@5@D4:(1+!!!!! I:.~:4;;j˷̷jηʩ o%u, ͩϩYƷS;2@Q@DP;(MG;=6===<<5 ~;L4=ĩܰh%>7 ;&;'\ŷЩ'Q )~x;W@v@Du;;(rl`b[bbbaaZ%;=oW`!;?;@ݷ  Ʒ Ű?iȰ A  ;o@@D;S(zxszzzyyr=;Uoxװ" 0;;Y;Z3$%' ߰*Y- [$&23;@@D;m(W;o< JU;s;tM7>"S0A8CD G̷J {ACOP;@Š@D;(;Y jPNi w;;YWX x Yjkb&fmn I&qʩ)t kmyz;@@D;(;Р٩8 *;;"- }A8 dAD  ;@ @D ;(;렶S E;Ր;=ӷOM\K ~[շ^ ,&<@$@D#;(  ;m ;;bAvl ux~ F|@<@>@D=<(:4**#(**))"<7(z < < Էշ׷ x 3s ԩ֩ Z<9@X@D <(          v<< e6 K;B D;< F;e !#5@M;<KAHRqNH << ]<J<;ͩ _;O<<<q5 bcZe @h k bd Cppq<@@D A<(       :   <,w<o N{{|<@@D L<(   @ @ ~ @ . @ B B<<'<9<©v@?;wB+<<  |H<,N7<  z wT=< ! <(<  氩LT<1N~,V<3 L<5<R  T= ?<;^<=Щ͐+̷A. 8:F)G=@@D=(=P3 ==F@ T  @ W; ; K; lJ =+a*-c;;=<ө e< =<թ g< =< i<C==== Wa <epq \,lst O,w-o e P}}~=@@D N=( M J E E E E E @ @= n Y=@@D W=( V=  T= 6 6 6 6 6 8 8ǰ=<==F=  } h =@ @D f=(         ԰=D==|=ȩS=Fz@Y; @ ]=;i=;V ;b;x e=1 0 @  lT;x=,;e =; r= 6xé`;=;q  X;!˩kr ; F;Oѩ n; Զ u  e;,sx~};ީ Y;> I -   < w e p Mg; O  t; Q Q v; x;> W ;t;ox;P}; >/. x K; ;>4>3;>3=l<  '< k>5= )=>7>8>9>:7   d  >h@@D >L(    !      >NͰ=;ש >s@@D >W( !        [>X>O=>P  ''(>~@@D >b( < ; : : : : : 8 8f=>c=>Z0 31@4= @7; :t>i=;;'?= A DB@F><;3K<\;M ķPNQ <;>7><><' j<) >> l> >>n>>>pq\,s N+v[Vnd|R}>@@D>(>ӠP>>Y. rB8 dAL JzF >@@D>(>頶D>ѐ>oKIXG zW@;&7 >@@D>(      > 5>>Z9nd m15 /<+6?@4@D3>(0*    1>- )->>(wȷuɷs˷ %K ' ƩRL?+@J@DI?(F@66/66455.G?C+ 4C??>޷e߷ a =ܩҩhb?A@`@D_?%(\VLLELLJKKD]?'YA JY?)?*TǷ ѩ ɷ R}w?V@u@Dt?:(qkaaZaaa^`Y?<nV _?>?? x>{w  ȷ ư j ?n@@D?R(yyryyyxvq?Tn w?V?W@ذ#]à<|><?\@ [?VȠ Z==?d0jР>=8>@>/6 .    :  0 @>>?x  (B@ 7 ?} ,F * ??@ BDPNQO@ @S?8=Y>ȶ@J<>%>?H\] ^aXZfg?@ܠ@D?(P==~?שfd >?=3?? vwx0{(r&t?@@D?(?נ~?? *(D< ?@ @D ?(.?렶,?Ӑ?Է=+Z=Y=[?'5*$@@"@D!?(   ==r?B =ʩ=p??HM]Kz]y SHB@!@@@D?@(<6*,%,,,++$@9!@ @ Էշa׷Ω}6{ҩi^wX@7@V@DU@(RLB@;BBBAA:4@O7u2@@ -qwoLmtin@M@l@Dk@1(hbXVQXXXWWPJ@3eMgH@5@6Cӷ'ca_ [@d@@D@H(yooYooonng>@L~fZV +=٩=@S@TVQ?>&V#$߷M&'߰*TR"0N1@@@D@k(|#@m"L!@o@pm:;d=>5AHַ,F9ЩGBH@@@D@(:@9@8@@3QR TK W<B7O0]]^@@Ӡ@D.@(-*%%#'%%  8@j9ffg@@ܠ@D7@(P@@[@$o@qtr@ ~^+v[?@>7 m >0 3~@>3>,l9i?@>Ej@ tAq?>:>u@= @ 4"z@   @ʠ@@=  n=>O @&   @(@ީ @*>h@@Q @S>W@@ @@@@X7=lbkvtE4A@2@D@(         u@x@k>PǷ?A@=@DA(   z@@s@@GPӶ@@I>٩A@N>g ch@O>_>ͩʠ@Z>s oөР@]>m |Ԡj@t_נ>K@i&I )@y>M >A/@k#@m>A1A/%A1*A3A4A5Bҷa  Ab@@DAF(}wmmfmkmlle_AHzb]AJAKXѷаw!"Ax@@DA\(|{uA^xsA`Aan+,.%1)78A@@DAr(At)}AvAwABD;Gy2w?֩MsNA@à@DA(A?qAA*WXP\m GkTbicA@ؠ@DA(AѩTgMAAe`@ީ;?eqr-j+vc#aan|_}A@@DA(AӠn]gAAz@=  ڶ@[}?AXA2AŠ[ Xj]Y_<AAA,A@bBD@a@_AשH?AWAHMK<hI =640B@.@D-A(*$[?k?A)RAa·_÷O{qICB"@A@D@B(=7--&---*,%B:KBҷrӷpԷ`-ЩZTB3@R@DQB(NH>>7>>>=;6$BKHBpݩ?AlzoܷiBH@g@DfB,(c]QSLSSSRRK?M?B0bEB0=ͷŷ~B]@|@D{BA(xrfhahhhgg`BCu<BCP ɷȰ* Bp@@DBT({yt{{{zzs(BV9BVc !ܷ#۰&=,-B@@DBg(;Bi6BivZ3467.:}%2ɩ@AB@@DB{(@KB3B+|IJsLMDPz;xHߩVtWB@̠@DB(B&B?]^`aXdkOi\jekB@@DB(*B#BS qr-tk,w\bWo}S~B@@DB(BԠoQBBZ/C9BMxKG B@ @DB(B꠶EBҐBpLJ*YHXA<2|!C@@DzB(yvqqoqsqll=B;*C @(@DB(gfccacec^^rBJ7@ƶs@}FC?@m¶z@?}ȩfB:@v@۩J̩jBA@#<8y"BR6H@&4@CBy(BA&C C |Է[շa׷ΩSQҩiXC7@V@DC(RC$raC@@_@DC$(nC n@ݩh@v@ Bq@4BsA Y9B@]@C?B{C=C@CAN޷  Ƿưh(c _Cn@@DCR(yyryywxxq&CTCTaڷ!ٰ$V;T*P+C@@DCe(9CgݐCgt12*6G!E.ũ<C=C@@DCw(CyڐCy7CD<H533@שN1OC@Ġ@DC(CҐCI@ WBCѩC']ApC&kiZaηYWCC$Mg@ߩ\CC)k=`װpCCC=϶Xr@VgްwBBCD^x<\ҠBCC C@?BD@>@<CޠAHB@4~A8C1KCH-+H) C@@D C( ATC C CcCېCܷFD4`$V.(D@&@D%C("  CCCZXHt8թBӷ<D@:@D9C(60&&&&&%#,D3*DDmηϷ[mѷȩͩ+ACIΩeZǷTD3@R@DQD(NH<>7>>>==68AADM5Ƕré۰AD D!vIyvpDO@n@DmD3(jdXZSZZZYYRD5gOD7D8շ4De@@DDI(zpnipppooh2DK}e0DMDN-ԷӰJ $%D{@@DD_(~HDa{FDcDdCU./12)5 -ĩ;<D@@DDv(ABDz/:VBDD>zC MN wPQH T~?|LZx[D@Р@DD(DɩLvDD de gh_ krηVpcqlrD@@DD(6DȠcj4DD1*{(|7&~u6flay]D@@DD(Dޠy[DƐDd9MCLW÷U&QD@@DD( D ODܐDzVT4cRbKٷF<1B+E @)@D(D(% D" @DDeDJyox<:RG6AE @?@D>E(;5++$+)+**#E8 4EE ӷԷ`~ַͩ0+ѩh߷WE6@U@DE(,EEBsbEA@`@DE%(FDEE qj@DBQDoDBPBE7CB_D}EABɶðeDBC!iDB iEP׷驜AI/DODEWBuo$25ByBЩ&D7g96DE_;D BEaDҩU,DBEcDɐEdEeD/02)5ga e-ĩ;;<E@@D Ev(PONNMNNLLf_ExBDCSϩFFGE@@DE(KJ  I    EyD EzOƷRP@SDC> VEDCE\D\DC`^Ca_JbDC#Ch\hDC{l omQBDZKTCDZDAC4EDwDC,EEyEEEEO|} 8u6lyE@@DE(EޠyFEƐEǶBER31!PN(E@@DE( E^EސE@`E E@CoEoE蠩~ E7E^}(8EE[EE%IHtypö@EEEmFfEE˷ ExFF@BDַ׷@@FE^@թӰCCCEd$@ɠCFܰC?F"CCCEaCF%HxvrFQ@p@DoF5(lf\ZU\\\[[T>CF9kSPCCD CȶJ @CcFE>FHCgCD%CFKFLаZ@Ʃ  !Fw@@DF[(`EEF],*-+eEEE0.1/20jEEE   53 c4Fk5cC7qEFnFe<:=EE4V&@@5tF{C9uDC lJEMKB@CEFEf8R@6EFEFNLDFEFUD^@BEDtFFUȐ!o yDDF!@"or@ˠ޷=ߩge,wԠFp;5p&;R7@&ex_indQ{' D`@+inv_typ_sumDBFͷ\'@,inv_typ_pair 8&8CF(D"U0"V0OFзIF%FfFƷ?HfFk {F9dF8Fmϩ֠i'kFBF?/ jFRGȐ!c@.inv_conv_sum_l#FZ+FLG%F\DGD2DG`_Y@W@DVG(SMCC<CACBB;GP8ܰDG!G!FFF_G#DG#G$ vpGO@n@DmG3(jdZZSZZZYWRG5gOG7G8ɩGEGg@@DGK(|prkrrrqqjTEGOiDs_ @QGZ3G]G\G]#()) +.&&(45G@@DGo($Gq"GsGt>?6AD<<>JKG@@DG(:G8GG-'TULWZRRT`ӷaG@֠@DG(PGϩNGGC=cjkb&mn2&qrikwŷxG@@DG(ѩE3GР Ķxywuƶm@kG~Gĩ*GŐGƶȶDE?Զ{@yGWS̷HFUEaU,$ķG@@DG(/G9-GG X7lcxlC;5H@3@D2G(/) FG,PDGG7vǷtȷrʷŷYũǩQKH*@I@DHH(E?55.35544-HB*fHHݷd޷۷o۩ݩgaH@@_@D^H$([UKKDIKKJJCH&X@|H(H)Ʒ}wHV@u@DtH:(qkaaZa_a``YH<nVH>H?ܷ  ŷ Щİ Hl@@DHP(wwpwuwvvoHRlHTHU ۷"ڰ%|w+s,H@@DHf(HhqHjHk56-8;m3k35AgBH@@DH|(1H~e/HH$KLCPau_HJ)VVWH@̠@D'H(XWXX^\jYYY c]H^HF`FdcadG׶[HHH LejmkbOFHeSQdHiVF*HGȐ"t0HGHpGnsAJHEHGHH+H-FHH}~|F?F(FKFͶt@rF=Hȩ H+EHFJ53R\P'H@@DH( H4HH$@bHT@H4H&@FHFH٩F{HdH=HH2HHͷŷ5ƷEǷ  ʷHwII@BDշַ@@IH]@ӰFHThgFIHީtmkgIF@e@DdI*(a[QOJQQQPPIFI.`HE;tG>FVFI8I9G.Ω =Id@@DIH(yoohooolngIJ|d9ILIMѰ7B2!!"Ix@@DI\(52I^(+),IaH#En"^FqI`F:7H:8/-FuHHItS~%?@#|HHIqI{8tG͠FA?FHHHH7Q@5HHGgIH(I@>;A@0BBEIGKGGFEEHCDjhb`ca@V@nIv@hIGGnF@"mI }cFG#I0KQ>2I 5MGAGG7y:+| ٷAYưG:GCF7/ekIé(ְِ *Vn9s"q"e1IĠI@@I@@!@D I(@   %I%D!III IIII+5E6:̷JQ}HFJ ֶYDB\kT20@L@DKJ(+B881888770OJE*J$JJ"S2Dg߷1lJ4ک/ZѩJXj y9IVݩIudJInJ'I|{>;T@G]9ک g e@@DJF(}@wjnngnnnmmfuJH{c!۩iIIJQIE%IJIJTJSIqIIIǩ5eb[X;JbIJa6U.\12 )JcJd.CIʷ%=ΠIIB; PSQ3KܠH IL(P $GJH  5JZHJHk Oư_GJHcHS蠩  TRjH}Iܩ|@q&r@@DJ(uJȠS+KniH1 \@qH-H ) vGHHE'JHEHG,JJJZ}HJH 3OI HHHJJ%֐Ӱ+?JӰJJEJҷr gJNJ2^JN'ad6J!J 2 VmNJ_J; tFHJf_eSJHH׶JJJHJ>8©ΩdJxJCQ/-@I@DHK(E?53.55544-KB*а|HHӰzJbNKJb JdKKKذJgJYJV۰HJΠJ^J߰Zt.ǷiGv`u]K.K0K%KhggQJK7JK. I BIJJ|K9eİ HJ    " ϰ THJI/Jwְ !HJö KUH}  KWH  0^KeI4 ' %JIDHH )'$xu* @zIHJJKy~  I I J@@DK(^]\\Y\\\ZZ4K  PJ #' T T U@ʠ@D%K($I"I ^ \ _ ]I X ` ^I?IKK  dI# 7; h h i@ޠ@D9K(8ک It8 t r u sI*Z x vHII~J  K 3 ~ IA  @ ; I2(@ > I" A *I:,ڶ b  ` Y  $   A; H 'ө  +吩K | b Ib= - Q  @* ( " w K B I AKd  EbSܷ  ~ KJg I d  ̶%C =  ðj" ]9ɩ ǰL  \10  gx&.   ߷; 9@ U@DL( Q\ L]            c`^L#  I8   N L@ h@DL-( de _f    y    ! ! lIVA>L; !C !! !@ ! 9 ݩ!LF ҩ! cL> !}!LBD' ! m  Wm!n5  ` ]àKe=#  ߰!*h !,!/!- !"'F( !%/׶ !(!8/fLe /!-".  xLi!1!U Ơ  }uL|]C!!<=L!!?Dc ٩!B!RNh I!GE ܠ @L R ⠩  _ZVZL|\\y !K@B _}e!e;!q!>!*!u  !y!  }!!!vo!  Ɛ ð)t}1LĩqLs_,u5LLLLL!L!LΐLJ!J3LJF!JH>L>LӐLԐLJS!JU9LLL׶!r!JXJ 1!g!JRJJ[!2!!JWJL,!xL  !'L !7JJSLJsL5LYL!,!!9!#!8 !'!&!~! OL;!I !v! V!y!7!!E !i!!Ѷ !!˩LNLr!! E!!ŰMJ e!!Ȱ?!JMLY-E ϩ!!!!\!:!8@!T@D!SM(!P!J!@!@!9!>!@!@!?!?!8)M!M!5!!۰J {!!ްU!JLoC[M%Lo M&M%!!LrLd!Lc!!NL ̷!n"!{!e!zO!i!h!B!W !"@!! """ !" LLQ>!!ð"LL!!" o"m@!@D!MN(!!!u!u!n!u!s!u!t!t!m^MO!5L7MPMO*!""A"!! q"!"""MNMWMY!!!ڰ".L!!ݰ"(p!"+ɠ~"$! "9"<":!(!"4LL!!"9!" "/MiJ""2"BKFMwL"!9!"ELM|"!"J"K@!@D!M(!!!!!!!!!!!'M!!<!"%"HK""KmL"&ML̩"dLMMM!ȶ"."QLL"#"TM"/wMLM M!"n"f"g"h":"-!"""mt!d"%"pM"g! "|""}"","w۶!n"/"zL"L"oML" "5"z"R""÷"@!@D!M(!!!!!!!!!!!M!!ڠ!"]"1MMLtMMŶ"`"MM6 /M;M!g" """""iݷ"\"%"Q"!"T""&M""" "1"""1"]"!ÐM!"b""4!M$MV7"="i"!ϐM[""7""@"/@D".M("+"%""""""""""M"("!6MM1MM3!"9"˷K"÷"ķ"ŷ""MMN"֠MN"8"X"MtMM!Ʃ""MB_""ME9"ͩ"W "|""ũ""Kq""Ma϶""հNKK"KK"r"۰NK"ݰ="r",uک""Ms8"r""""ȩ"N1K"""WLة"#Ms?"###"թ"KŶ"ʩL NA""fN9#"ީ#L "өK·"# l"@@1type_pair_unique2 wKNJ#z#!#"}#$#%"@#and@"#-p:Kr#1#2#4#5"#9|F~Rg#<#3 #?#@"#D NsN}Sv#<"Ѡ"""x0#S#J# @'and_indЩ##[ h (#T"Ulo NNN#F@/trans_conv_convЩ![| ~MNz  "`c"""fiT"#|ַ#v#}#qv"NL!N(NN#w)"tة #}Ʃ#!+MN7NƷ#"U1####q#N#pNҷ# #NJqN#rթ#.MNQ淐#H10  #u0#;s#Wʷ#&#'#H11#w۷#H12#/#Ȑvx䷐#H13ڠ/ zt#Z3L#\5NG77L9Ȑ#H14zЩ!~"zN~@.inv_conv_sum_rL@yL# !'O'O #f###|Ujj#w##U#ȐO2$##|#MO:9{= O3`f bL]M-!,#N!;@Lf&2!D*OLNOAOL.+Pue, K $ #װ$"##$&##g#d~gq$/$-$!+##p#msKOlk.M*|$-$=S404S0N##$4p9\$7$GC.>aURB##Ox#$A$Q38Oϩ{@)conv_sortOO.O.nK Q0ǩ!rOMMmNOOOONݩ$^NMOMo$`MqOMq$kMsOOO$4$WMvNNض$)sNN۶#$]MoN $_##-@$)$}@$,$w#NNM8@$1$| 9 9$pM3$#O!P$!R$!T$ zO$ONOMOÐOķ$-$#$$$J$-$$U$I$##M$"#$$$$#$$O@$@D$O($$##########MO$ #$1#$#$ $M$2#MOO$##$Q$#$$$n$Q$$y$m$#$$D#$$$<$#}$6$P@$4@D$3O($0$*$$ $$ $ $ $$$"O$-$$Q#{ OO##w$ȷ#u$ɷ$$#s$˷$$$#q:$Z#o$Ʃ$ȩ$R$#k$L$P+@$J@D$IP($F$@$6$4$/$6$6$6$5$5$.8P$C$+$g#i6PP-##$޷#e$߷$$#$$$$#cP$p#a$ܩ$ީ$h$#]$b$PA@$`@D$_P%($\$V$L$J$E$L$L$L$K$K$DNP'$Y$A$}#[LP)P*C#Ƿ$$#W$$$#$#$$$$#U$#S$$$%#O$y%PX@$w@D$vP<($s$m$c$c#M$c$c$c$b$b$[$!MP@$r$Z$#N%#J% N%Mũ$$QEPKPL% #N%  X% HM٩$$[M#R#%#% %$۷%%"#%#$$۰%&#P2$#N%% $%,#J$%-P@$@D$Pg($$$$#x$$$$$$+Pi$$$#H)PkPl #i#%6#%7%.$%2%9#%:$$%=#DI$#B%5%7$%C#>$%DP@$@D$P~($$$$#$$$$$$BP$$$#<@PP7##%M#%N%E% #%P%%%S#8$#3%K%M$%Y#/$%ZP@$Ϡ@D$P($$$$$$$$$$$P$ȩ$$#-PP$6$ %c#%d%[%$%f%*%%i#)շ$#'%a%c$%o##$%pP@$@D$P($$$$$$$$$$$P$ީ$Ơ%#!PP$L$(%y$&%z%q%5$$%|%@%4%#% #%w%y%%#$%P@$@D$P($$$$$$$$$$$P$$ܠ%#PĐP$b$7%$%%%K$A%%V%J%#%!# %%%%#%%P@%@D%P(% %$$$$$$$$$P% $%.#PڐP$x$T%$R%%%a$P%%l%`%#%7"%%%/%"%)%Q@%'@D%&P(%#%%%% %%%%%% P% %%D"PP $$c%$B%%%w$m%%%v%"-%M"%%%E%"%?%Q@%=@D%<Q(%9%3%)%)%"%)%)%'%(%(%!+Q%6%%Z")QQ $%p%ѷ%n%ҷ%%%%%"%b"%Ω%Щ%Z%"%T%Q3@%R@D%QQ(%N%H%>%>%7%>%>%>%;%=%6Q%K%3%o"QQ%"߶%_ ([%ܰN?Pk%q%+NN"%%%%%%%%%"%"%%%%%r%QQ@%p@DQ5(" Q7%&O&&%%&8Px%_%"%& <& & &&  M &@Q;d&%  R ~ 'GP QM s% %Ѱ& %©|y%%&4 %ڰ&% %˩&5%  %%&~#ˠ=`&#B=%%rCca%%  3% I% %|M&4AKNURQy]  TTZ  ̩&,@QOP^]Q &EmdamQ%%%&Jr%O&Mİ&]w!Hk%%Q%ͩ&U%꠩% Bw&&j%%%&p% w&u&s&g%%Q Q!  OQQ",QQ$QQ&C]& && %&@%@D%Q(%%%%%%%%%%%&.Q%%ڠ&~&%͐QQQQQ8 Q#@&I&@#g& &OXQA&  QQӠ#i&#fQQͷ&&&& &"&&߷ !&&@ &QOQQ߷&|QQڷx&&r&Q!Q / &&@ &OQ )&&&C&Q;Q O{QQ=Q/QbQQQfQQQQQQ&&ɶ&&&&¶@&>@@A@1subject_reduction@!eRLRKRJ@@RI!tQRS@@Q@!u !HR(R`@@#red@R&R%@'red_indR !T@*@FAQR2R4QR,R7 '"H0 R:R1R<RP>QReRZRgRfQR\RgRfca[YSZ@O@\@3>QRdRp@@A@@@R RRR4R3Q\Q[GGGFCC頠CCBB88555R5Q44**'s'r@@@@v%CCSum&Lambda@0`ZgfXC%CCSum&Lambda@0;I *]y1TEՠ%CCSum&Lambda@0Įt&{O%CCSum&Lambda@0]gD}-T͠S0kk@1;ZNp9OZ0 F1t"P&Lambda@0*}Q;<R0WUlodI&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>E%Terms&Lambda@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. &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ԖU`0ف.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, "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.ю@%Peano$Init#Coq@0KO-!hϲ/>C&Specif$Init#Coq@0|GU-lȮmUUU@07^kO(>=TԠ**@0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@VV)INDUCTIVE@@A@VVV~V~@@@#_24/ARGUMENTS-SCOPE@U@@@@#_25 @U@A*list_scope@@@@#_26@U@B@@@@@V1(CONSTANTV@@@#_27-@U@V?@@@@@@@#_28(AUTOHINT@#cocU@AVV!2!1VVǚ!3!1TGA @@@@@@@@@@@A@@Р@@@@@@AV렩VV@@ABV֠V@@CVՠV@@D@VՠBC@B@C@AB@ABC ABCD@A@AB@C@D@ABCKVڰVAVհV@A@AB@C@ABV;@AV찐Vٚ!7!5VV嚐!7!6TBWR@@@@EVV@@AFVV@@GVV@@H@1EF@E@F@AB@ABCEFGH@E@AF@G@H@ABCWWGWW@E@F@ABG@C@Vð@A#_29@V@V#)nat_scope@@@@@@Lװ@A#_30@V@L@@@@@@@@HȠ@@A@HWHH@@@#_31@H@@@@#_32 @H@A@@@@#_33-@H)@B@@@@@H@#_34=@V@H@@@@@@@#_35@#cocHH@AWWʚ$1291$1289WW֚$1290$1289FA @@@@ III@@A II@@ II@@ @I  @ @ @AB@ABC    @ @A @ @ @ABCEI(I' I'I&@ @ @AB @CH@AWW⚐$1295$1293XW$1295$1294GB`[@@@@ IPIO@@AINIM@@IMIL@@@1 @ @@AB@ABC @ @A@@@ABCI^I]I]I\@ @@AB@C@H{̰@A#_36@W@H @@@@@@>Ơ߰@A#_37@W@>Р@@@@@@@@; @@A@;X;|;|@@@#_38@:@@@@#_39(@:@A@@@@#_405@:@B@@@@@;T@#_41E@W@;]@@@@@@@#_42@#coc;@AXXҚ$2579$2577XXޚ$2578$25779A@@@@ ;۠;ڐ;@@A ;נ;@@ ;֠;@@ @;֠  @ @ @AB@ABC    @ @A @ @ @ABCE;; ;;@ @ @AB @C;T@AXXꚐ$2583$2581Y X$2583$25829Bhc@@@@ < < @@A < <@@ <<@@ @1  @ @ @AB@ABC    @ @A @ @ @ABC<< <<@ @ @AB @C@;6԰@A#_43@X@;@@@@@@@1@A#_44@X@1@@@@@@@@.I@A#_45#@X@.S@@@@@@@  @@#_465@X@@@@@@@@@@VP^[fcqk|vàΠ٠䠠 !,&71B<MGXRc]nhys~Yˠؠ堠 #2(A7PF_Und}sȠӠޠ頠 & 1+<6GARL]Whbsm~xŠР۠栠 #.(93B>MGXRc]nhys~ZWVZ@#0:DNXb0m@0h(jm%v\I