M|Р0RightReflexivity%TPOSR&Lambda@B0RightReflexivity 7tposr_pair_red_left_aux@!e#Env%TPOSR&Lambda@@$lenv!t%Terms @@%lterm@!u !T!H%Types! @@(tposr_wfADCBA@)tposr_indT64*()*!A-!B0!a3!b6@%Logic$Init#Coq@@"eq@DGG@EL@G210/@RHAJ99FgeIG@=!n)Datatypes('@@#nat@]j"H0{@*item_lliftRUSHsFtDuBv"H1B{}@B<;"H2L 5Ȑ"H3R@&eq_indI"e0%TPOSR&Lambda@@@@(AABCCBBBBB@D!lA(@@@$sort@w@%False@@T|@$True@@@ @@AyvlE@)False_indL  ٷtηϷзѷgԩ@A2@Cf  _VPN@F@DE(@@4@:1//11111.+:&\++ͷ"Q@BŰ~u om@e@Dd(NLLNNNNNKHW"A' "s1f=(IHtposr1@ض@ Kͷ$"B''"s2$List%Lists@@$list@B:)(IHtposr2>?@ A@'@%1GOP,,"A0L"B0OPQ۩TV@FNک$]   ةbBe@Ƞ@DH(@j@kL[R,P~Grjsh̷efb`IwSxQѷO@>!M~"M' pWMhgC(IHtposr3`^\Z@X@@~eSTyy@MKhfd@C3P]lȐ"H4 Y@@D( JVtƷWCKǷIȷRww϶жѶҶ@@B!Nٷ"N'ܷ\X@@Wf𩜠@D+NQujȐ"H5tpn@f@De(`O@NPPPPPMJYEYKKin۷FD 'ٷ(IHtposr4%&'(@@کX׷./014D<n;;@&lsubstvPө\IGWL@@D/(hI1@Z5ecWX.YJH'IHtposrG0^!sEDef6g4h2k&5nqTSRQ_,VVSJumvge[ZYfPM{W|kR+=baGXVTR@P@8v]3oo6CA^\Z@HFSb  IM@@D(>䠩cg J{y"s3C@(sum_sort.vt·÷CƩ|A&DЩcL@>@6@D5(0n(Fݷ޷7ѷ˷<z0?q.鷐"u'lh@@A!v"v'wmƠ}@Ҷ@ iڰΰˠMҷհҠȐ"H6@@@B@AD!y.@1착預[@9{+^!# DUȐ"H7@'f_equalQQR@@DVV6(ҷӷZ[\]^_`aA0!HE.gEJkkl@Ϡ@DO(stuvwxyz[52\7F`H9+97@@D4i(,7.,8Y@@@DCz(;]><__C]Z z a^XfTsZdb@@D_(W`ZXab -@@&@Dq(i clj)˷*̐d,η-Ϸ.АeYf|HQ<޶@@¶@xũcc"H8dηO"H9alַW#H10Űt޷_B۠AD@а İOsV@װ˰ȠHsfְӠe%Ȑ#H11$$%@@D(,-./0y'방lL6::;@@D(45BCD4% F^(JJK@@D.(RSTUVW@@@D=(_`aKQYG.gIkkl@Ϡ@DO(ɐgtuhwxyi{|}@@@D,c($ېj'%kl+GDz<sY|#@_ж@b@eJXX#H12l߷#H13tx/##H14|+c@(eq_ind_rj87#ƶǶȶɶ@@s|שթNh#mi$DoZ]Ŷ@M@;;rtZ}&GEF$Fn~  @԰ ȶ@װvݰѰΠ:dհҠpSi . jjG&'()@,@/uܷ755q#s,>?թ.DqR%qĶ IJKL@O  @R_@'Vxy;;]"[lA_Q4&&T;jL&2CnAo?p=q@;tV/@>w33eL{w&__&F:7?mũ>;qx|z]to~hfdb@`BT@cXz|Jj^[c$b_g(W"ߩܐn@du@ff{jũé~{N)˶$ΩWK OP ݶ޶߶@@@RQ  ILrT;?CXrFFw ݶ@Ͱ6@а ְʰǠ6U[J {[@"ݶ@%C  Ҷ+氩㠐}방#,Ʃ><5~.Aé2zzHIJK@N @QΩ?B77WEIةN~MM(j/h#  ]oBp_Fu3UU =NyLzJ{H|@]@[lSGHgg.ݩNB?8mFC~DXx_SP F[5u!!АPl}{yw@ui@x3_spz159wt59=9<<:ʩȩAж5¶׶ضٶڶ@@M__ĶxʐI@8@6ưӐPOo,s0˰z,E:@߰Ӷ@   Lȷ .&U33RB*+,-@0@3ݩ!7O;nLD BEE,31872GHIJ@Mf@PJ6ѩ@66Cdd1.Y,Z*[(\@/@-L3bN,FF -f!w/o4m(%!@_VBBT{SXV dԶ>OzM{K|I}@Gu;@JҶܩMA>HζyfR`YMJo4 zyRS}|{Ftrpn@l`@oWrfTR&Nun\|pMF@@2b5sɶ7kPPŶöĶŶƶ@>@öѩϩX4O OƩJ(Ŷڶ۶ܶݶ@&@$Zo%o44,˰i[hl@@°tA|sgg`MALP)   @@ְٰͰVs۩bw 7 @5@1'%.,%AA @&sym_eq0$2t4vl 6 @<33U@ACԩE#%G%'I')K)+,-.@Q?4Wge.YQZOLJA@@MK5`3a1b/c@I@.gGML=kGlEŷCrTSR˷XVyw"t'zi6^]3&-E75RPݩN@IB5<IX  IMNw PTG @@D(8ޠya|~Dus ;6tvsxj8¶öĶ@ǩ:@}#A''շNCܶݶ޶߶@@<"/R#B''(,Щ-s\ʰ  |=°6 Ġ˰Ƞs @x@Dw(r1a__aaaa^[jV c[[ - +  y Ʒķ % &r - + ,> / 0  1 2 5 7@J?  =! B  E@@D ((a * Y W  KC LA >?;9 " P, Q*( M Wn X` Y^ Z ]=|z afxDt d e 5 f 3 g 1 j5pn ' 6 o(:lj t?hf w@ڠ@D Z( \b ^ ] \ [    ~ u  s @ ok@@A@3tposr_pair_red_left@!e   @@ !A   @@ @!B !a !b!T!H   @@ A `!@E&@G     B ޠ ͠ @@ ,  v      v      @@ @A? LJDB;C9D7E5F@11    @@A@7tposr_pair_red_comp_aux@!e   @@ !t   @@ @!u !T !H   @@ A    署@)tposr_indT*(" !"!A%!B(!a+!b.@   @@ @8 ꩜:@E?@G    "A'E"B'H"a'K"b'N@ Q %"@#and@G  1 I  2[@&lsubst  ŷljTR@ <   % $@@ @ep"H0}@  M P NUxSyQzO{"H1O@B 7MCA?="H2] XȐ"H3c@  "e0 @ @D!lA z(@  @@ @|@ @@H@ @@@ @@A~     @)False_indq t +   v l m / k ԷjͷηϷз`ө@A3@Cܷݷ޷߷dWNJ E@ =@DH (@C9@>7557777741 >- ` U  ĩ b  * ȷʰ(X@Bȷ |s o  j@ b@Dm (%$ZXXZZZZZWT a# l   B (IHtposr1@! "#$%@( Tנ    ͩ   ӷ /0 ©#   @@ @B?    *(IHtposr2 CDEF@(HIJK@&>RST  , D  -"A0Y"B0\4]2^0ac@F  .#A'0i#B'0l$m"n@qR <w' z @ Ӡ@D S(ɷ@@ Vԩà1tV  ` [w - a _hI|{wujKa"`TR  f   t s O(IHtposr3~|zx@vca_]@[YyWX V  S f Y^\/@CM dZX·z÷xķ4ǩ C Ȑ"H49Ω  @7 2@ *@D5 (0W  """"" )Z A     <зʷAwC   ·XWs   ǩ  @ʶ@R   T   $ #    n @@ǩŠ[      · !$&@D  U *+,-d0   ^Ȑ"H57UQ < @ @D (W@A 5]  ! 8  " VT)L M=A<86+Q R"!VWUZT[ҩL$ 5 4 (IHtposr4?b=c;d9e@7$g"h ij@]\  H ` $ IstLuJvHyUA C|}5~3Q'  2LRc٩Π ( @ @D e(PکXU 5  8 F 4נE^  t o A u s ~'IHtposr >8 O   US4nljh+ eȐ"a0 X( ] ! ` n \     kn d  ap t g ̷ķŷ   ʷ˷[ p   շҶӶԶն@׶ضٶڶ@n     l꩜@H  jŰ   $hf md _@ W@Db (]OMMOOOOLI VE m  ܩ  B   hmӷ Uq@ T    #  &'(), e1 4 @ @D (O {頩,   .  x LJBC372.,!GH  65FN [PǩA  * ) 2U0V.W,X@*Z[\]@ P  : R  ;  bf ahةY B A  ݷLoJpHqFr@D1t/u-v+w@)'j  T l 0 U#(&XVTMJ7  -Q#!CA[_XU% B \Ȑ"H6 lB fAD!y@ohe_S T {@w pm   M [b  Q ! T X   U"~#YK [.Ȑ"H7@ kŷ, '@ @D* (%&fe.η/\0з1ѷ23ӷ4Է5 5  z > }   ߷F A@ 9@D (>?_~`GH8IJK:LMN ` K ʩİ 86` [@ S@D4 (XYefab^cdefgh i@@ b@DC (ghaqrbstucCް۠ Ⱙߠ  J     Lca$$% @ ~@D_ (d-.e012f456 @@ @Dq(g?@hBCDiY  ֩   y !&O Q R@$U @'X @*[  M%  O!  5)"H87h j k"H9?p r !s#H10Gx? z ){  QB KAD@RKHUy]@YaRO = +  =jA 0Z" :ED jc`qfȐ#H11 @ @D~(DC  -g, @@D(uVUv% : 6(ʷ1,@$@D()*ji2ҷ3ӷ45շ6ַ78@@1@D(67wv?߷@AOv4    Y M,VQ@I@D*(NOkXYl[\]m_`ab@@[@D<(`anj k om nop$ذՠWܰ٠   }@ @#1@&ՠm{کѠqS#H1235·6#H13 ;=ʷ>#H14C EҷF 9@ KطL=@%<0S.T,U*V@(Y/!Z[\]@ P{;S< 37h0-]wBD417bs۩e] 2jq !: ][YW@UqNDB@>@\U<z6j3Fk9bf_\ Hc`fLYT2t|r @~wmkig@ec~]Zm`N uv'3r+ݷF,Lq6նֶ׶ض@Iܶݶ޶߶@}J?@7CDưu4ԩ+@װ ж    @ܰ@AⰩߠT氩ѠywΠ{0t4&V^6567 8@ ; <=>?@2F47 LS6u :yGWXKI5x2G=`;a9b7c@5f.$g"h ij@]DH`$I@Du=:QߩA>o,o|TFrZ)XTyw.wukige@c\RPNL@j[cJCDxATyGptmjbcHxuR|y|(ɩ`4_¶@ĶŶ}ƶ{Ƕ@wHqnt~A%zکMɩͷRdA@@G·vJe@ٰ Ҷ   @٩JO㰩 ۩簩*.߶B̠ؠ4&:Ԡ84"|N678 9@ <C=>?@@3I6K  ^éDB,K[b6\M*a;7!$Be@f>g<h@a'j%k#l!m@?p8b?vMNPh,QL}EBYzIFvz~vFE.d:}6#ar\Ő [ywus@qj`^\Z@VvL8RObU{x|·+Ed{Ŷ˩[̶Ͷζ϶@ȶѶҶӶԶ@NR}U;q۩¶@@İU5аɰƠ;թͰʠ? ٩C;GBAw@T !"@ҠQɩϷa[42+_ 678 9@ <=>?@@3GT 8!MT!@AF[IϩH*O_5GOMfKH>a<b:c8d@6gR/IީXqr[8o*h=0NqLrJsHt@;3v1w/x-y@@)lIS:%Y"q5Z(UNKuZ=964c=+gf URpnlj@haЩkdacH_T!ש#gPL&̶@|pI}n-|e`qɩ6mѩ<:ϩ?AS0vֶ׶ضٶ@(0*ԩVV٩`_Ҷ@]@Ű[ĩȰYcX]ϩiשܰ lٶ˶    @׶    @ն ఩ݠ A̩ˠ   0Ǡt)-Z W  +  ,  -  .@V 0 1 2 3@  6/T  9 M K꠩ -BM /D0 6=̶ ' J % K # L ! M@ʶ  O  P  Q  R@ $ U ȶ# ' X E  LD N' H9 4@ / h!>v jx@8 l:Bک nDEFG@ C tZZK H@A {2 },S .U۩ 0Wl n2YZ[\@ X  8 {fa }3gǩf    r  S   srr y  w  u  s @ ^  \  Z  X @ v  o 7J   f |  2{ S  *   6  ) k [bki g   ·  ÷  Ʃ @I zjq g ηe Ϸ  з  ѷ  ԩ 'e D F ۩ "O F A@9@D D( ? 1 / / 1 1 1f 1 . + 8 '  {O } $·       J ޷ط     O ÷ R }      t Ʃ Ȱ٩ ʰ Ǡi        @ ݰ  ְu ض        @   ߰ ܠ^  ?    MĶ  $  %  &  '@   )  *  +  ,@ ީ ܠ  ҩ !  طjL䷐ F 8Q  =qV ߷ C D  E  F  I !     R S  T  U ' X   [ %ϩ ' $N*  d@@D =(              \@GB ^BH F | z O r 0 s c η gݷ ^۷ Ϸ R x 3 y I Է ͷf ַ ɷ  ~  Ʒ A- +  )  [  Y  W  @J1 U '  %  G  E _ c   ^     @@D u(          "  v      `          b  x  9 w k i  1  ` K J  (   $W %| d  b       9xv  ] ķ [ ŷ } Ʒ { Ƿd   x _ 8 ͩErp 6 1@)@D 4( /  !   ! ! ! ! V Dt (l  ߶  ׶  ض  ٶ@  @@A@3tposr_pair_red_comp@!e@@緐!A@@@!B !a !b"A'"B'"a'"b'!T!H@@A-@E2@Gũ ]B=,+@@ B<m멜@@@ASw Ub`ZXQYOZM[K\I]G^E_C`@?@ @D,1F. 2j@ Ð@@A@:tposr_pair_coerce_left_aux@!en%TPOSR&Lambda@@m!t%Terms  @@%lterm@!u !T!Hl@@kAjihg@)tposr_indT.,$"#$!A'!B*!a-!b0@fed@@c@:b<@EA@G"A'G"B'J"a'M"b'P@ S"@"ex@Yc@@$sort@!s Q{g@Axv\Z@~@@}@mz"H0@|η][YW"H1W@BUKIGE"H2e<`Ȑ"H3k@"e0}@u@D!lA(@W~@m@@B@l@@@ @@Ak @)False_indsohpQngطbϷзѷҷXթp@C۷ܷݷ޷Y LC ?@@D=2(@4@w920022222/,59(<|ư@Bķ} pg c@֠@DaV($#TRRTTTTTQNW[" oba`(IHtposr1@7 !@$ѠͷΩMs?ķ*+pԷond@@m@B:Tշ(IHtposr2>?@A@'CDEF@%8NTUf뷐"A0S"B0V,W*Xө([]@Fs;&#A'0c#B'0fghթ8kRT4ԩqSuL@D@D(@z@{˩*&'nW%Ϸ`Ax.xwusbC`3_SQ~ e9}(IHtposr3vtrp@n[YWU@SQMFNyXYH][@CLYWqo# VeȐ"H4)ȩH'@@D%( V~zs{[yr#ٷڷ˷Ƿ޷߷fC321WVb766@@QFm'PO(l@ض    @\^*~@DD:!"#$a' MȐ"H5.e1@@D(M~@6}|yu)^fLJ@A3320.EF JKQNPO>v(IHtposr41V/W-X+Y@)[\]^@  P]{fg=h;iϩ9lQ4o p&q$rBuu@?P|aʠmX@P@D(P˩KHd٩Ƞ84-5|_3,ݷp'IHtposrr:B!HNLvt_][Ywp(WZVOWdMpsA  Ƿ¶öĶŶ@Ƕȶ~ɶ|ʶ@zxtmue_mӷԷշַQ٩@H~߷|O  MK!ҷI@@DG<(B :88::x::74=A0 DԷƷ@YV   {ްҠ7]ٷ}۠AYE~"@@D|q(w>ommoooolirveՠѷҩUy;9 /0"ط"! 45 ݷ 541;=,eSBCDE@GHIJ@<zf뷐RTCo?6[4\2]0^@.`abc@ UjkAl?m=p63:uv,w*xOH{A>l!EȐ"H6BǠAD!y@XQNZܶ@`YV9rD@9Acx8ngdh8 Ȑ"H7v@ @|@D(RZCB  I F1  ܩƷ#@@D(ks \[ $η%M&з'ѷ(')ӷ*Է+"`G'86=@@D40(vu>?Y@ABCDE@@@DCA(aNObQRSaCð 6ǰĠOS԰ca  h @۠@D_[(djkemnofqrs@@@Dqo(ʐg|&}'h)*+iY7néG~6=I8]9@ <a@ ?d@Bg3lⷐ"H8L_NsO"H9!TgV{W#H10)\ o^_BADd@4g-*Rv@;n41XckSI|B?k1Ȑ#H11]@U@D(*2*aݩ`ݩo@g@D(<D9-,:cgd#7t(@{@D(PXA@     @@@D  (]eNMj +1N'ѷ.@@D%!(v~`gfa/ٷ0ڐl2ܷ3ݷ4ސm678@@@D64(nyxABoDEFpI. HȰ0^T@ΰ@Ѱ+@԰q#H12߰Guk#H13O}s#H14"W${%@*+>zn޶ 2 3 45@8'9:;<@.|Y޶F  Z9 ?tCk`.6[4\2]0^@.a'bcde@5hU. Y{ E>q74';8*+jT|A}lsh͐r_][Y@WPFDB@@><8190le^[b_MIBJwBA(@~wmkig@~eaZb~YDC:G=ͶSҐuv oضٶڶ۶@ ߶@AB6é A!z$а0s&ʶ @ٰ Ҷ @۩@/c/ⰩߠN J氩N'(yxyȐ\ 1 234@7}9:;<@.EY޶F  q  Yu?,DB*E5Z3[1\/]@-`&abcd@4g@- XDD=p637eOw۷'xH{A>˩EB`jnrrO6eca_@]JHFD@@<5=I4FB;C'9۩ngd kh j7۷\@|rpnl@hd]eH \Ŷ24, 1ʶ˶̶Ͷ@ѶҶӶԶ@yK'xw2q&N)֩v<0_8^@ʰ#ö@JREذ ѰΠ{հҠQy,V A !6Cn&'()@\+,-.@1ޠڷ۩"8NOPնw =YcUY]g4FaԠ_<h֩?ky0Y2W0X.Y,Z@*]Q#^_`a@  S7iM2:m30P74۩d6QkU}qY~omGqa_][@FDB@@^W>:3;S2 mL:g~|zx@v~oeca_@[WPXِVQ|jnnjcksadͶζ϶ж@Զնֶ׶@zR(yK!agNf@@ʰUG:Ͱưà12@At"p5F@DZ@ _79!"#$@7&'()@<נӷԩ1T6|HͶo52g92bPé,XBCDE@H^K.qu޶>t+ݠlE{nAOȩJRe'Ƕ;`9a7b5c@g4g-\BZϩXA[_RH[&Ex>նi;Ѷ+ZXVT@RKϩ2.'/vu%װr.r}{c9|ljhf@7QOMK@ib5slebwf?3PLEMfCW0s@omki@~0lhai4_p3H2˶̶Ͷζ@ жѶҶӶ@٩Y} {-F/~.H@@ɩ°[g|PI@? N) +P RD FTUVW@۰   ̩[@A S U<ck m>e @g Bijkl@ #Р̷ͩ 3Péu ,p : 8  . /!׷ ! η   5  6  7  8@ : ; < =@  @& Ʃ`Y  D Ef K&bHG* R PE R Az jq Y Z 0 [ . \ , _ a@I %y , g h  i  jA : m 0 7 t 7^ yP@H@D(ͩ , ( ! ) p & з   a  B y / yxvt c  D a 4 `TR 7   W C B   ͩ ^ ` ] {  y  w  u @ s  l n d  b  `  ^ @ |  u re yTM   j Sh        @ |  z ¶ x ö v Ķ@ t r n g o  e ~ZS Ϸ ~) gU+ &g ڷ ۷  ܷ  ݷ8   .   =             S   +ܩ  ^x W @ʠ@D UJ( P  H F F H H H H Ez O >     . R        ڷط ̷      ʷ  Ʒ    {÷ַ      X   @J=  $ %  &  '  *    /  2 @@D (  N  } }     | y  D B  8  9 +  + * ( &  =  >      >  = : D  E F G  J  N%{  Q R ( S & T $ W9wu  Z [  \  ] - ` &  cEqo  f=@5@D (           k y w o m d n b o@ ^ Z@@A@6tposr_pair_coerce_left@!e  @@!A   @@ @!B !a !b"A'"B'"a'"b'!T!H   @@ Aȩ-@E2@Gѩ i    B I ˠ @@ <y       @@ @AS ( ' Ub`ZXQYOZM[K\I]G^E_C`@?@ @  @@ @!s MA s@A H@@A@8tposr_pair_red_right_aux@!e ޠ@@ !t ~@@ }@!u !T !H |@@ {A z y x w@)tposr_indT*(" !"!A%!B(!a+!b.@ v u t@@ s@8 r:@E?@G    @E  q5 p  G@t  WU?=@  r q  @@ p@P["H0h@ o   @c>d<e:f"H1:km@B 8"H2Du  Ȑ"H3J@ n~ m"e0 l@ d@D!lA (@!  s@@ c@c@ b@@Dg@ a@@@ @@Ahe  `!!!t@)False_ind _! ! d i ! bX@A/@CX  QHD @ @DB!&(@=3@x81//11111.+!*8' !0!0$!-ٷҷӷԷշzة"N@Bwpg c @ Š@Da!E(NLLNNNNNKH!GU귐 `췐 _a!R!Q!P;!Q(IHtposr1@̰!)Ŷ@ϰ!,  ^!b!b ] \z [ Z!P@@ Y@B!@!!t!s#(IHtposr2@!@ ! X W!!ڷ"A0$"B0'()é,.@F V!4 m!_9  q <!%@!@D!(v@A@B!4R!!!SQ&I_J^>]YW(NKOJ÷I=; UT TVGO[! S!!!(IHtposr3<_:`8a6b@4@!T\hST!!#IkGlDmBn@qs@C0!>Hy!hȐ"H4!!l@!d@D!(G!㠩yV!!!km:C!!!HG6!S!!s !ɷ~|z@x@eB" " c R Q> "" V@@uW""tH©@D !{!LQ !Ȑ"H5Vҩ !T!@!@DR"6(M?@>@@@@@=:"9G6Y"@"@4"=V[ӷDC'"R"Q!)(IHtposr4@̶@X"_"_հD<!"6ҷܰ Ơ";!éM˩Y! "FT!?"C"@!@D"|(UF"~{Z""y"0.&|'('IHtposr6- Mԩ"^!""34 5 6Щ9!ɩ <!!4?"g"g!""""/!x"""MK CYD75"""T&#IFJ;CO"w"""w;.Q,R*S(T@&@FNZ!R!""9[7\4]2^0ac@H"".8i!c"Xn !"q"Z@"R@D"(5"Ѡg!"""׷X{|pZ}|'{om L v@ K"x""jhecaU!!\fZ"M _X!"@"@D#(  c   #>####U.&M- JG!##!߷_@@~8####| Iŷ HǷPb#)#("!ķٶζ϶жѶ@@#5#5ַ׷طٷ^ܩx"#  ~!"Ȑ"H6 GB AAD!y@°[m"/"T#V@ʰ#Zð#+#9#'"^#*#*#>#0#cװа͠U"2#6mȐ"H7@ B"@"@D#w("""C !"X"#$#1착#b#P"##*"#../#@#@D#(67Ϸ89:ѷ;<=#\"x"G#D"z#l86HHI#2@#*@D4#( +,PQZRSTUVW#@@@#9@DC#(/А]  `a`bcd_C-* k"a1.#Z####ͩ>oq#casst#]@#U@D_#(K`)(|}ab#n@@#g@Dq#(]c;:d   eY\YR"`]#####m#ǩ$"@s#@v#@yd##`#`e""ӷ"H8#ܩ9#/"H9R#A#7#H10#I#!?!$B!AD˷@ΩQuG$0@$4Jupf#####ːiȐ#H11k#@#͠@D$M(dlmnopl)pA$Y̰#@#@D$c(z)*   6$jܰ S(#@#@D$s($@@$@D $(&'(MSN $.I 223$@$@D$( g;?@iBCD$-@@$&@D0$(jMNkPQRl+|4$(Y~[#\@._Զ@1b!@4eBU ]޷#H12=npq#H13Ev5xy#H14M~]tR@ Gcx8$C(kige@c\@f$s$$SͩlebOi(%ifmj)Iobͷ4`g@T@BBr%%wwa(NFM˶[&M%,ntѶҶӶԶ@@%v%=%=<%DkpZp.ȩ}"ssK@ǰ@ʰéu%^%^1аɰƠ7zͰ%|  qT%o[ɶ@ @%Xa"xy%%ݶW'ﰩn%a4ԩ2Ϸة$,8P(&<=>?@BZ @E555=Iw(%%}MAvЩzHXnYLJ_t%l>a<b:c8d@6gD/@9j%z[|%%'@q96%e+=:i/iY4pn$ʐra_][@YhR@\jj}{%%Iéb[XW6 mfcYT&jg%)-/&&bY@@%%@&&pT&S11y/GũP}cJNRgTUUݶҶӶԶն@E@&>&>@dةdYy&J&J]@ð&@ư&1&1C&Z&Z̰Ű }&b'ʰǠ+,ѩ &l>ݰְӠ5%AթΠɷ@"@%۩B&&+TX$~\\l < 3CD5=I5&&(7*M(N&O$P@_@]BJVGH&&ݩ*[# 8& '$TD &ʶ;l41 &,`F,fnz00ĐZh[~YWU@SL@Vw5&&D]VS~@DHZWDHLKKRIΩmfcP!7''@@M''nEa']'I%%¶öĶŶ@>@<&'P',',Qϩ&w:{> ک',թE0@@°L'V'V<eAAHJ@װж@ڰ O'p'pɷ۰ؠ~ZJGG'?  87* !"@%h@(J6DDѩrr11 2 34@/@-&.:N,'' >/uE  !L9VPq' &'w' ''ֶ@ض>1T/U-V+W@)Z}"@,]ֶ/`(%PҶUn h;l41w:`ͩ+̩'&&'''SgX{V|T}R~@PI@S((_ VO\ZzVE~l`YU[YYNWM'&&'U''k'ն%}ggѶ~|zx@vUo@y϶ݩ|u o"&&j$ (Q&'i(&\8Ŷ@6@4ĩl55ffSO(+(-'sӶԶնֶ@@ ݩ`(D(Fn'wmqE@@°&Űw([(] (\#S@Q@M;ڰ ӰJHAȠW(p55@ f9(u֩(w(y@B({(|(}(~@#UUy(@A*3,'( ."'(709'(̩2'((((@8((((>JH@VAU53(((TR$G"H IJ@P@N(;(;N(y( ((,ROSNǷMY(F((((ͷ԰(J((`^ e`Q'((&'(QEgCh@i>j<mo@I5 '(<Fw  <o'(h~C'((l@(d@D((G(㠩y(((jl9 1,өg))if'())J~@|ur'((y@|y-(( dCT))̶¶öĶ@Ӷ@ѩ)()(M3@)+c cͷ8ư()0(=()6'طٷڷ۷Ωީq(>)}(6z()W(#7t'(,x(@(ڠ@Dv)Z(q3caacccc`])\jY)b)bV)_    x÷  ~   W      @J)JQ !)< & )Q ))@) @D)(c) 9 7  /E 0D $C?=  41 50/#! 3 ; <y =x > AO{y Exx_t& H$ I ! J  K>  N5pn  " S(:lj X?hf [)D@)<@D)()b))))) l j d b [ c Y d@ Uo@@A@4tposr_pair_red_right@!e))Y)X@@)!A))c)b@@)@!B !a !b!T!H))z)y@@)A)©!@E&@G)`*** *B*@))@@ ,)))l****))l**)))@@)@A? LJDB;C9D7E5F@11)*$*$I@*))@@A@;tposr_pair_coerce_right_aux@!e*`)@@*]!t)Ơ@@*[@!u !T !H*Z)נ @@*YA*X*W*V*U@)tposr_indT*(" !"!A%!B(!a+!b.@*T*S#Coq@@*R@9*Q;@E@@G****"A'F"B'I"a'L"b'O@!R)#@@GQ@@@!s P$List%Lists6@@$list@Bo))*v* q@A*~hf@**y*x*L@@*w@y"H0@*v***ȷigec"H1c@B*`VTRP"H2q*6kȐ"H3w@*y)"e0*w@*o@D!lA*(@c@*g@@B@*f@@·@ @@A*e+ + ++@)False_ind~{u|s*iQ**i+d۷ܷݷ޷Zr@C[ NE A*@*@D?+.(@6@y;422444441.+1;****8++: ְ@Bӷ  tk g*@*Ԡ@De+T(&%XVVXXXXXUR+U_$%#*mǷ+`+_+^(IHtposr1%&'(@++5,-./@2*ݷީ%հ9*s*M+@*ʷ:;*p.ްB+L+ ++ӷ(IHtposr2#F!GHI@!KLMN@BV*XTU+a*뷐"A0]"B0`8a6bө4eg@F*m+51#A'0m#B'0p'q%rթDuR*N?ԩ{S*+F@+>@D+(@@+˩52,3z*+ W*+ +˷nNv<usqpP\A[WU*{*z?+5*y+++(IHtposr3~@|hfdb@`^[U\S*UXY++ULa_"©@CP+]ȷ[ɷʷ~˷'Ω V+cȐ"H4-֩J*++@+@D),($Z,#+x[+!+x,#ͷɷlC,3,2,1[Zh+,7,6+6,@Ӷ@+HU,+**u+),R,Q+*r@@ЩΠ˷̩ð'+a\,/+)*+,/1@D+H+,>5678g ; +Q+Ȑ"H5Bm+E, @,@D,(U@J,?S+^+,Z,`^3VW;K:865[\! `a÷UdTeȩV,,+|(IHtposr4IlGmEnCo@A-q+r)s't@%# !h|+],,#~!WUݩSU,M?=\@*,#+XTeԠq!+,`@,X@D,(T٩da,,l,,,֠QNHOF,<_+,<,'IHtposrW^1,,R,,^\-zxvt$++(,,,,,,a----urlsj,v,,h_- طзѷĩ---ַ׷Sx,,--շ޶߶@@,(ys,,eư@H,-÷cҰ ,,a_3+] ,@,ʠ@D[-J(VNLLNNNNKH-KUD,,R--T$"ŷ ʷ޷*η@*Ȱ,-i-f+,-.1,G,m4567 :,Qk?,UB- @-@D-(R-{;O,,-U-[Y.QR6F5310VW76U]*_©P,w--,eAd?e=f;g@9%i#j!kl@`t,-{-*v*xԩi---,S\ZXV@T@><:@863-4{+,--) 53ig©e]Z-,-a0.SQaphe~,-7lȐ"H6*B*ݠAD!y@xu Z9,-@-}-O,--khbi`,ǐc,-V-ː!ɩzV,0Ȑ"H7@*Է'-@-@D%.(}a`)ݷ*g+߷,-d./0. 3-"---.$,-A-@-@D..($zy%BCiDEFAGHI.:İ`-I.?Ӱ. 86[ -@-Ƞ@D4.H(\]g^_`abc-@@-נ@DC.Y(Ɛal m!bo#p$q%aC착 R---g.4.k/-ca334-@-@D_.s(d<=e?@AfCDE. @@.@Dq.(gNOhQRSiY7-_-2--.-^=-a`-ua@3d-y@6g-|@9j-] q-t"H8Ev#-yx-y"H9M~--#H10U---+B+AD@`XUTx.Ѷ@g.թ_\---r..JGAH?ӐkK-5.owoloSȐ#H11.y@.q@D.(Y`=< ,e.-÷.@.@D/(krMONN˷yC9/-(׷*.@.@D/(cb+߷,-./0.@@.@D/&(po89:j /:. . --/5Ȱ5.N+P.@.@D)/=(`aQRlTU V mX Y Z.@@.Π@D:/P(ncdofghp"䰩g谩N.9.:.(/d'P)v*@-@0/@3޷ߩ&ְ:qUk̷#H12@iB˷C#H13HqJӷK#H14P)yR۷S F$@*XYJ@/Ϡp=`;a9b7c@5f--#g!hij@^r.|/z/ 6Ev=:^A/A>%,)#*q!ېt3wq6j8#jhfd@bZPNLJ@isaHE?F=.ې{//<3etliQpmTUZSst/r@{ywu¶@sqnhof///e\Ω0!{ywoA,>@@/1~//ʰ°JFqưàNIJuQ uv0Jζ@ ߶@ͩˠȷɩ$/^°&AB0//+"0mI M޷ߩ&ְ:z̷,ܰ@4(ѐ8!DEFG@JKLMN@BV/X@30`/+\# T9z'$=~Wg$h[Yyx0bNNqLrJsHt@Fw}?5y3z1{/|@-+(")p /E00HWOL09SPs=>;5<3H Lv(.G+{{ywu@s2ka_][@z\rYVPWN/D00MDv}zg>gI$1~%U1 ˩?fжѶҶӶ@նֶ׶ض@~|0I00{rEy+/OLi@ϰǶ@ 0FH10ŷ tJ1PPq@1" @#Ѡηϩư*0dK120Z.1pߩ0H'K1zɩ.ްB*.ӷ3N$η$G"H IJ@MG NOPQ@EY0J1a0,]$!'(%wVB/۠|]mgHn_sLC1%ն4UxSyQzO{@b9}7~53@RJ1.(/v&0ĩ(NO11(`XU1\Y}FJ1ީMJDKB7"^:qi@yzpnlj@fc]d[0]M611\SũVéǷ)LCũֶɩG2Щk*޶߶@ȶ@ 1*S11T?22p28tԶ@Ұʶ@1I1%V21Aܰ٠2  ఩ݠ@ˠȷɩ$p!+,-.@1$2345@)ٰ=1wR2E1Ϸ/5;2Ff2א"'J%K#L!M@P Q R ST@H\1^U2f11b)&YZ@A\ p2camLRRuPvNwLx@J{"BJީlrDxowo=Ab`^\@;FDB@@@<93:11ϩ3T:222)ǩjb_F=MJ62112n2=221P4[d@}uݩxuB4i+he_f] R21133 &O#ȶɶʶ˶@ϩrp-GQ5{yjn312q33@uD=@,334121ζaڶ @_    @װ ]˩ڰ ҰϠeY  3S 3U2 ۶ٶ    @ٶ " # $ %@׶ )!Gxͩ۠ط٩ а 4pũ3q,03s2ж '  ;  <  =  >@X @ A B C@  F2 V   I N L > R5EQl333 E?ζ 6 Y 4 Z 2 [ 0 \@̶  ^  _  `  a@ 3 d +ʶ' 6 g .     \  p 3K B@+ v3u xw37 z93 |3333@ Q YY3 V@A 1 23ѩ 23 23˩ 23͐3ΐ3ϐ3ж@ f  E B < C  : 3023 /3ې      a  O  333 :        @ l  j  h  f @  2 } 233S33   t  e - ] 33333 k %344  Ʒ+ ȷ $ 244 23׷kt Ϸr з  ѷ  ҷ  թ @I 23 r ݷp ޷  ߷     .p3y B A  4q2ķ A 3@3@D ?4.( : 2 0 0 2 2 2p 2 / ,4/ 9 (       3364 48        ޷      ȷ·  y      p  9 װ4Q4O ٰ ֠3+44T4Rs        @   348   !  "  #  $@  '  q33e + -  4l4l  [ʶ  4  5  6  7@  9  :  ;  <@      0  D3~C4K3 շsTw4ʷ+ I Y  N343b^ 4Y43V T U - V + W ) Z 34v % " 3w ) c d  e  f 8 i  0  l 0 3F 7 4!   u4<@44@D 4(          4   ) &  ' n  4A34 4   a  A  i / y f޷ ҷ d  D  P 5 зj 7 ̷    ɷ P0 9  7  m  k Ʃ i  @J4 f 5  3  X  V f u  4: o  3  4u@4m@D 4(          /  4      q   _       s   d 7 ~ z x g /  c M ·L ÷ & ! Ʒ "_ ʷ&} r ͷ p η  Ϸ  з  ө9yw  k ַ i ׷  ط  ٷh   _ c 6 ߩEsq 4 4@4@D 25!( -  % # # % % % % c "I4 ,m45%5$5#5"        @  Ȑ@@A@7tposr_pair_coerce_right@!e5b4@@5_!A4Ƞ@@5]@!B !a !b"A'"B'"a'"b'!T!H5n4 @@5mA54-@E2@G55A5O5= 45z5y5x5wB55 6@@ T<4}5N55Q5_5Q455555R55U5c5q5p @@5n@AS5[455 Ub`ZXQYOZM[K\I]G^E_C`@?@ @ X b@@@!s M   E@@ @B{4555}@A5@@A@.ind_right_refl@5ՠ55@@6ind_tposr_wf_eq_coerce|!e665@@5!u56 6 @@5@!v !T !H&@5A55555R555#!  @5555@@5j@0.(&'!s6'62@@ b@#!B6666@+@*5w66>@A615~6"6"OMGE>F:8C6,6+6*6)XV!t7C45񛠰)Datatypes66@@#nat@R]!ij@56A56BUAA656H6G6FusR^O]AB6P6O}{%ZfWeAC6X6W!A}"A'"s1Y6t6f6e6dJ6e{H!B"B'"s2h"t05g5f6\@@5e@B6L6 66"H066P66lȐ"H1,CtxReduction66@@*red_in_env@A56_6#6b6p6^ @$6e5&6+5AD$56l6l606}556/LeftReflexivity6Ϡ6@@&refl_lЩ76x66 6 66666)@-tposr_red_envD5666 66d߷b`^ZXVTRFD!M뷐"M'"t1\6(5l666Ma5q5666Ȑ"H2R555v6256Hj55l5|5AH 5 @C56@F56AE055555666ĩUЩ5566ũ6ʩ[66]66M'5566 6 777c7 7 6ѩe7 7 6өg7 7 6թW 7767 7  566ܩ"CB4556565'CA5555,BA55556s|55556w66!666 #666%66-71VTLM$˷BQR) 757473"I7;7;s\q]oN57>7=Q67S6 7C7CV57!Nj"N'm"t2`Q7Q7P6(ydR7U7UZ@'and_indЩl S55E6^s66u@D67E7k@5N7p6"H3"H4T66_6Щ U6F7666HAF< 3 +o7;6Q6Q6$wЩ6U6U6(v6W6W6*777 7!7!6m7p6]604!6q!6_E##G %%I6667766737h6w68CF'$6=4PreSubstitutionTPOSR7Ѡ7@@9substitution_tposr_coerce(1666t6G77w7 777<ڷWҷUӷSQM׷KطIGE97ܷݷ6xvtro eY77[76`#@8substitution_tposr_tposr(nx776e7)7777b6ɩ-pd 6˩*(r|6i6i6ͩv6k6k6ϩx6m6m6ѩ2z6o7+w77777շuַn77>77bϠ7t77̩7v77ΩЩ777ǩҐ77777777l 67S7SH 7M777777U77&$Щ777䐜@C888)*/778 8 󐜠@B%97788 77777w@771AI77778%8%ЩI778)8)8+8+8-8-w8/8/ 8-8,[YQR)зGVW.ķ"s336s@578B8?677@8 78tаi7D6ੜZAJ,7777I78'8'8Щٰr778+8+688/8/818183838Z 8W8Y8X|}T1r?Y+\_)"u'|7D8l8k727F8o8o7G"v'(8v8u 8A78{8{8X7C",07W & V@E@G7i8^8 AKD8F7n7n7\Щ#"7r7r7b7v7v7x7x-'7|7| 7 878n8q8q  8s8s)8o.H"+0J$-2LV88 &88B8<78D8}77v (,5777x777z777|7O8D888*;77CC<7E7@7_9GBaBB>GLf"@INjtx7=@.coerce_red_env+777-777/777981/17797l78|zxϷ888v÷k88;88߷_̠888588B8B7~| zR888e٠788֩988ط788"t'"t388s78)99x8ЩЩ7 4@I9)ũ˩Щ/7718v8v©38|8 "H5=77J W 79.PreCtxCoercion9d9c@@1pre_coerce_in_env@A9C9B @аiҰk\AL<X9Q;ԩ89U8+8+8@5coerce_pre_coerce_env|+ 82828 F84848"C86868$9^9_8]9*9-9-} 9/9/֠58;9-ؠ8>8c<98?8@9j88.89i1@4tposr_pre_coerce_env8E8E9m9l8j97@88ķkHV  pBsv@38^8998c9U99:  @8巐#A''H99}99t9>.r99+v#B''ʷ"t489xY9R`?@9Z99/BB1"t5[499é6 G8\>9Z9BJ{Щ]99 889"H6 "H7^ʐ'Щu9A_99ȩӐBB9H "H8 8`EEЩaw89}L 8ӷ"H9#bM)Ȑ!aB:V:E:D@@%k,c Y YĩPԩ8&: ̩c%BB@D@Ed#HΠfLe:< #H10Tǩڠcc f:I(\CG-:/ 19 3A59-99:z{R/pDYyw+\_qomkgc_}@Jn:sd$9u:z9u qc%_][9r9:O9j_]TH =):Z#-:^9iAN<H:G9n9n9\:9p9p9^<9r9r9`>9t9t49:f:i:iP:k:k:>4@:09y9hV9j(X 9}9~9lSP999n9AJ: \ {a<^}&/: X999r9E9:v:::y:&/Xc:::طUзSѷQOKշIַGEC75}ܷTݷ޷L߷=83/u-+)U'U  t9f9fcE::0LI99:499sϠU:8:\Y89:·yߠj{:ߩ,$r/{堩 v%BҠ@D@ĩ9(9;ש)/,22% 46 %B@D@>gAǠ8Eh̠(+:;=#H11#H12WݠGȐ"e03@",i0#>Š2Y@%@PSQk j)=BB@D@]`^x k/6}_%착;;v!xs#H13Ȑ#H14Ll'4p)6m+8S:NZG" 1  m'K +O:; ;( 1SS;(WW;YY;[[;@'eq_eq_r z`; |b;;5B#+DQ^y©  -;>FS"/HU$1JWd;}J1.9?. -(0 CxwM 4G|Lq)~+-@2pre_coerce_env_sym 246ERx::کAMXJWW}:IDLYY::N[;l ;':af<P)>R+ Ta;r-EV/c;C;C;@A!Gé;;;;;;" !X!Yߩ@A;;b;b;< < e;;f< < <75-.# 2);;;;x-;;;<<<KI!WC,D*E;<)<(<&<<;;;>;<0<0 < ;<3<2F<;;H<;;ЩL;< < #N;<<%+R;< < ) kV<<<ЩZ;G;;ة0<'^;K<<;b;O<<g f;;;[Xj:;;@;n:<(<(<`<]<_<_\Z7TxQcaSecflQUBX^===t=<==; 9=]=Y=Y =!=n=nHq=q=q=f=fD7<=g=g;<5=m=15@3<@<< >>@@>!u>>)>(@@>@!v !T @>>8>7@@>A>>>> =s>>>/@3@*(@@> 9@=@53-+$,$>J>U@@(@@'B>8>7>6>5 -=><><?@A>?4=>B>BPNHF?G@;C>L>K>J>IB>>u>t@@`@@A@-tposrp_refl_r@!e>>>@@>!A>>>@@>@!B !T !H>>>@@&tposrp@>>>> @*tposrp_ind +)#!"#@>A>>>>42!X,!Y/!Z2%>>>>B>٠>Ƞ>@@>>>>>IG!WABCD75> >>>)IHtposrp1'>|>>>"H0?>>>>)IHtposrp21>>>>>>>>>>ca[YRZP[@L9>">>>Ő@@A@(eq_refls@>>>@@簶!e?)&Lambda@@?!u%Terms) @@)@!v !s@@)L@@?)!@@?B????4@4@A>h? ? )@A? >o??;920(1&$@C????L@%proj2IG@)@?%W@>@'TVTMKCL HN@,?7?6?5?4.>?8?8?75B?u)_@@ |i@@A@)eq_refl_l@!e?y* s@@?v!ur*}@@*@!v !s@@)@!H?y*,@@?xB?w?v?u?tȐ!aB?*7@@>?????h?g?f@@5\@A>??9@A? >??Bh@D@?e>>??i???}?k?k??"H0"H1"?? ?  ?db\ZS[QO@G*@@A@)eq_refl_r@!e?*~@@?鷐!u*@@*{@!v !s@@*0@!H?*@@?B????Ȑ!aB@(*@@)?P????򩛠?۠?ڠ?@@5@A?]@@9@A@ ?d@@B۠@D@??l?l@?@@??r?r@@"H0"H1 @b`ZXQYOM@E@@A@,coerce_refls@@@@@@!e@e*_@@@b!u^+i@@*@!v !sku@@*@@@c+~@@@bB@a@`@_@^2@67@A?@j@j(@A@m ?@p@p971/(0&$@C@z@y@x@wJDB@&@@R@?@$OWQOIG@H J@)@@@@+?@@@2B@Ϡ+Q@@ ֐+@@A@-coerce_refl_l@!e@Ӡ+e@@@з!u̠+o@@+b@!v !s٠@@+@!H@Ӡ+@@@C@@@@Ȑ!aBA+@@@7@@@@٩@ @@@@6@A@D@@驜9@A@ @K@@B @D@@@S@S@@@@@@@ũA@"H0"H1"@@d@d Adb\ZS[QO@G*@@A@-coerce_refl_r@!eAF+ؠ@@@AC!u?+J@@+@!v !sLV@@+@!HAF+a@@AECADACABAAȐ!aBA,l@@$@AOANAMALA5A4A3@@7)@A@A\A\9@AA_ @AbAbB5@D@A2@@ƩAlA6AoAoAJ@@̩AsAp"H0"H1 Awb`ZXQYOM@E@@A@@@AAA8 87Đ7à,א,֠,V,U!ѐ!Р!H!GАϠpo q p ސ ݠRQࠠih@@@@ %TPOSR&Lambda@081ngJ>ߎT,CtxExpansion%TPOSR&Lambda@0#n|jl~]m!ٓQ,Substitution%TPOSR&Lambda@0WEV~Q^J%TPOSR&Lambda@0tiI4)%;s O%TPOSR&Lambda@0 t@"2p(Thinning%TPOSR&Lambda@0H{]% J7'Tactics&Lambda@0z*a,%Utils&Lambda@0Kj;~ܙ W%TPOSR&Lambda@04)*()"eB B-B,@0J!m@͑ә;ˠ#Env&Lambda@0beӯD Ơ$Conv&Lambda@0*}Q;<)Reduction&Lambda@0WUlod)LiftSubst&Lambda@03eiV^o5BP%TPOSR&Lambda@02%〠&MyList&Lambda@0 F1t"P$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>EB0*p <%MfyUƠ-0-:@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ԖH@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Ȯm)Datatypes$Init#Coq@07^kO(>=B0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@EE(CONSTANTA@@A#_46)IMPLICITSF@FAA@@@@FE@F@E @E @@E搐J@E@E @E @@@@@#_47/ARGUMENTS-SCOPE@2@@@@@@@@@@@@<ON@A#_48IH@<G@?@@@A!@B%@@@@#_65@4@@@@@@@@@@@@@A#_66栠@䠠@@#_67@ @ @F#_68@  搐E@ @ ܐ @ ݐ @@@@#_69@@@@@@@ -,@F#_70'&@ % E@ @  @  @@@@#_71@@@@@@@ XYX@F#_72SR@ bQ XE@ S@ L @ M @@@@#_73=@@@@@@@ @F#_74~@ } E@ @  @  @@@@#_75i@@@@@@@  @F#_76@  ʐE@ Ɛ@  @  @@@@#_77@@@@@@@ }ݰ@F#_78נ@ ՠ }E@ y@ s @ t @@@@#_79@@@@@@@ 3 @F#_80@ = ;E@ 7@ 1 @ 2 @@@@#_81@@@@@@@54@F#_82/.@-E@@ @ @@@@#_83@@@@@@@#_84(AUTOHINT@#coc $B%39544%39546%39546%39547r @@@@@@@@@@@A@@Р@@@@@@x ] \@@Ay V U@@z O X@@{ O [@@|@ Pxyz{@x@Ay@z@{@ABC@ABCD$Вxyz{|@x@Ay@z@{@|@ABCD h@x@z@{@ABC B%39549%39551%39551%39552JE@@@@} 7 6@@A~ 0 /@@ ) 2@@ ) 5@@@ (}~@}@A~@@@ABC@ABCDВ}~@}@A~@@@@ABCD -@}@@@ABC 4B%39554%39555%39555 A%39557@@@@  @@A  @@  @@  @@@ {@@A@@@ABC@ABCDВ@@A@@@@ABCD v t@@@@ABC B%39559%39561%39561 %39562@@@@ g f@@A ` _@@ Y b@@ Y X@@@ R@@A@@@ABC@ABCDВ@@A@@@@ABCD M K@@@@ABC nB%39564%39565%39565 {%39567&!@@@@ ʠ @@A à @@  @@  @@@ @@A@@@ABC@ABCDВ@@A@@@@ABCD  @@@@ABC EB%39569%39571%39571 R%39572pk@@@@  @@A  @@  @@  @@@ @@A@@@ABC@ABCDВ@@A@@@@ABCD  @@@@ABC@@#_29-RESERVED-TYPE!i @@B@#nat@#_30!k#_31!m#_32!n#_33#!p"#_34)!s( @6m@#_355!A4K#_36>!B #_37D!M#_38J!N#_39P!T#_40V!t!#_41\!u'#_42b!v-#_43h!eg 0@Lz#_44s!f #_45y!g@I`ǠҠݠ蠠 %0*;5F@QK\Vgarl}wĠϠڠ堠 '4,A9NF[Sh`wm|Ǡ֠堠      "  - ' 8 2 C = N H Y S d ^ o i z t                ̠  נ  ⠠           * $ 5 / @ : K E V P a [ l f w q  |    L           ʠ  ՠ  ࠠ  렠           ( $ 0 - : 5 C ? L H W Q a \ k f v p  {  @ɠJH@08sdNЂn4