2I<Р5UnicityOfSortingRange(JRussell&Lambda@B5UnicityOfSortingRange 3sum_sort_functional@!a%Terms&Lambda@@$sort@!b !c"c'!H%Types(JRussell@@(sum_sortDCB"H0E %Logic$Init#Coq@@"or@BAA@D@%Logic$Init#Coq@@@ @#and@@"eq@PFR@C X0Z: ^_@Be=gG iAIGX'BB8@D@7-)uG%2. 40|8"40X^^I@'and_indЩ=H9FB"H1"H2N !ЩLJHUQIM+T+ "H3`$Щ^KZa"H4 /ЩiMelL*"H5sn@(eq_ind_rsũ{ǐAN z̩}@A  \ROLXJPHFVЩD~CfB@ ]d@R=A;BhЩ9F:a7<S@&eq_indP7u_ !e@@@@@@@@D!sAM@%False@@$True@@AY @)False_ind۰'-OaB@D  LOR&NbOPNEKHFHJVMJNH@C@DB=9=5=21110/۩q%׷r#}Gyo:pqusvqeg Xhj lKKKKJpneocpaq@]@M)uUT@@A@0generation_prod2@!e#Env&Lambda@@#env!t%Terms @@$term@!T !H@@&coerceBީ @'typ_indH+)! !U#!V&@|{z@@n@02@F@"ex@;@$sort@!s@#and@!JL@A "s'H\J$List%Lists@@$list@BgGhEi^Cl"4@BAȐ"H0L@ x yz@@y@@(AABBCBBBAA@DAK(@L_@@@)Datatypesߠ@@#nat@l@ @@@@@Am  e w@)False_indokgleas@Afn}yaz]@Ard% -v·ũ{@CYWU@P@DO(LH;;9;;;::85>3޷ԷʩȰDC%IHtypܶݶ@E&UⰩa`а@Bt@AȐ"H1 "e0 @@D(@z@xxvxxxwwur{pܠط٩Ҡ@$lift@B$ةࠩϰ+ hӰ/հ1!&?=53+4)'&IHtyp19:@]BY"C ө7_&IHtyp2*K(L@omI1K]2"U0`=a`;dLI[6`,InvLiftSubsts@@-inv_lift_prodSS6;r"U'u@w"V'z8U~VN<Y穚@(lift_recj`nQn%Logic$Init#Coq@@"ex@BB@D@e*h(^{itb&!uqmrkiq|d}`Ordf('x!xƷ"H2,>B4@D@ϷXЩ:BXHީU͠MްȐR㰩̐Q"x06-r@#and@BB@D@à ٠xvɠ~+ܷݩ֠'ԩܠ˰'T ީа,!Ұ.Sj*"H38(<<@!!AB>@D@F;İ+J!J:Ȱ// *S;8' "L^gV7Qc8 eUI,6$"H4DmbRRdH@>tYYSwvQzb_LVDIEAF?\mj)=ETP8Q~4iY$G9;iXNrvmt+0 G#xp(wsotmWltgcZZ-vh06B|ũO)I©^ЩַӶȩư?xضٶ@[ٰ^Oܰ[][ɰڠ`ĠtvݩŠ©ذDР̷ͩ uĩza\Ϸ gL@"堩+l頩"D$ڰ6 59! 2 $C};'@G%% # Ce EWA/ @@&@BȠ@D@,($)"?hPM (734asX~w+gymo^@^1BW@ARIY"x1M?2@G@B@D@MjISb^F_RD3e kgcha~_gvrZsVѐ`1k]7a_<Sv1t r4<GBР@D@˰)Ͱ"rNР-ᰩbr谩xa}ǐ-VoBu@D@٠շ֩ ɩޠڷ۩Ԡҩڠɰ%hd s*ީа,0԰0Gc "x2'@AB*'Q ;Mḛ3RBT.1Ұ99 ZKY_S\QO:/',Bc@d@>g7940,1*.,;78ej,hzi19V5d?NJ2Kx.g pC5v9f{{kk?vDh~|@zsuplhmfbdl{w_x;k]&h&py@Ayv9;tNtU E(ThinningP@@*thinning_n &MyList@@%trunc@B; @A@*consistent@B%Basicq@@.typ_consistentQHSHn&q-@.type_weak_weak0XM! uIq>@*ins_in_env@Ba|@Af˩6-W  @⠩(z栩,kim%#~ζ56@9 8<$! E-*>:<@Rа7VVu԰;-;32ƶY4]-7*&"' "ݩXթMZM 1O2kFoԩ?FT<8492Ox.6EA)Bo5q'H)];Lj"s1QX!Mq"s2Z$>PS{y@ieaf_aplTmPqbTVh"&IHtyp3@~zuq3`2u>w9?vԷշة@Cj׷j@e@Dd(]@@bRPRRRQQOLUJɰ  8dlŷ  !vη!u "Ur 'zߠv׷ʶ@7ܷݩ֠[̷"V0"!%'@Dgd-G)0@@D('M==@%substF  9;M[Y.OE{wLSF7X5Y@3%!"8aV.*+X=ZlO"Im3maB'RsPt@@<8=6z{nVDA巐&IHtyp4ca@_QMINGdPgEM\X@YhL>P"s3bl@ghE<~@E@GvȐ"H5@  B@=@D<(5((@)))((&#,!ɩf|°İz;xCطOܷJlаM@BW䰩cd԰7@A@B@AD!y@ ڠҶ@zߠv~ܠط٩ҠUΩ֠(#թǰ#;`鐷^' A@'f_equal//)0@@D644(+!n.<:=;><?=@>A?B@CA67 EIIICJ@̠@D(SQTRUSVTWU^XVYWZX(2JKũ3\4^a_@9bE-)%*#@i@!)845bDg(dvfz,Pynީ{~|q _s)K>fd@bTPLQJgF%HP_[C\?= QC E<C W{t vsokpiego~zb{Zn`WrKx¶@{2 6ðy B{r C֩کөoַשհ@ĩɰ?< ` lo k pt@ pکՠѷҩˠǐɩѠܷݩ   ҩİ  ư" &A ض!% ꠩0 )XI+=F~20 5K #D!E@ʩ  $M F  HZ  M @>_<`@,($)"8$3/0]o %as 8 )rMvF = P@?;@9V5S7?NJ2Kx>z0 BgN]YAZ *M?  ` gf C   vdo@Ezd9 f@|xtyrtgc $ug 0i5 1{ĩȩl TR  a ; : 9  ] ӶԶ@3ԩة  ڰ ܰ      - ө@&sym_eq  2    4  @Ұ^^Ơ·éٰ  ɐ ŷ   η40 zҷ0,uշs   ٷ  O l   q   @@D (= 砩  - G &? s (ް :     H F 3 < 1 /  z   A  B@       ! J  * Kک > P     1 R / S@ -      2 [   ( $  % R9   T  f 7    g D hg B k m@H t  @ s e o v@@D ?(m @۠ G C ? D =9 ? N J 2 K x `  > z 0   a  B R     n  l       [ v  t @ r   k f b ^ c \ y    Z b q m U n    a  S     eR   @   @I   F  ·  F@ A@D @ ( 9 , , * , , , + ) &  / $         {      ð y  :  B      ׷  ط  ٷ I E~ ܷ ݷ l  ੜ @J   r    r@ m@D l ( e X X V X X X W U R  [ P      ϰ F   2 ·           p o n +    @n Ҡ η  ϩ Ƞ   & j  Է  @ , y  ڷ   T   }        F    !@      㠩  )  ߩ 砩     @   " ذ 4 =         ;        2  F  4  F ^    ; 9 ,  9 q * K ( L@ & O    !      / X    % !  " Oh   Q  c     ] +  Ӷ@ @ iZZ 4 0 , 1 * G p H &5B۠@D@  ? ; 7 < 5  7 F B * C p p 6 r (     : K  9 O S R N S L: N ] Y A Z   M  ?    Q  s@'and_indЩ y  g `) $  d    z j  Щ } y a z   m  _   ܩ y   % }  Z  k           |  °m   İ z     c   کw  B   I  0GenerationCoerce V @@0coerce_propset_l  N . U      ߩ ݰ   ݶ     @ u      ϰ     Š   ©  e      @  h  ʠ   r q p ː      @  Ґ@@A@/generation_sum2@!e " !@@ !t  *@@ @!T !H   8@@ B   @'typ_indH%#!U !V#@   @@ @- /@G  %Utils ^@@#ex3@<@ @"s1"s2 "s3 $@ %@)O Q@A 9 J g   P # " @@ !@Bh  w  ]@    SQoOpgMs$:@BKȐ"H0V@ 2  &@ !@DA k(@Lc@ @@   @@ @n@ *@@@@@Ao ) (  y@)False_indqiiifjdkbl`]s@AbiW@A br`   XV ·ũv@CRP t@ o@DN (KG<<:<<<;;96 ?4۷Է!sΩ̰ e d%IHtyp޶߶@ fŰ   M簩 S  {ְ@Bv@AȐ"H1  "e0  @ @D (@~@||z|||{{yv tڷ۷ܷݩѠ@ $@B% (שޠ̰, .  cԩ䠩"Ұ2 i  =;64.5,*&IHtyp1:;@\ E hX(Fr ϩ<  &IHtyp20N.O@p nM ? Qa  E "U0dDeaBhKI ~=a # @@,inv_lift_sum u  R XO@ @x"U'{}"V'8^ {W<b @ %kho uo $ # "@@ !@B @D@'$*"X~ w\ .xpppmqkrisg :fm[ Q dtb   ZX  ŷ"H2+8B R@D@YηQϩ X` Qfک9Oɠ-ް ҐS尩   ڐ"x04+j@ @B @D@ް נ - Eַ׷ط٩͠-̩Ӡ! ӐUʩڠȰ( * d("H3堩 1@25X=B V@D@?S @CR$$     (N1//FVRW<N^B UC5#"H4?eyݰFF^C@UlMMNokLr$EkYB:::7;5<3=1W}`^X18v&eZ/?}- %#jsqTf).y9xVtskkkhlfmdnbYbiW[<`p^B 6XVu-=`ʩͶĩ°Q0ҶӶ@ݐ]԰_?ٰEmưϠyhjөװސ\V^N J޶@٠%&֩ݠ#ѩᠩϰ/)ŷ+ 2*J .9P3Ƞ6A@B((   &?GCSM!&Lambda@@!@DD@D@,$$$!%&'AgJH!_oPp)gw X+X_X@ASfv!aJ!bM!cPF #B @D@Io-MCJ'SAKSI7/.-qiiifjdkbl`a`gUc.`p^ 6.XV/{`کyNp 7fV^] hB @D@̰,H8ҰP4x@hpǰР:尩.eny v`吷* b0Ch B +@D@ȠvaǐO=Qvנ#0֩ݠ˰+"g -֩栩$԰4 &"H5ѰL`t @A  #I,*fBRh˰4T K[ Ӱ<<qlT`uZaXV7K0JhHi@Fl?oA<44415/6-7+2-km"2p 8^5>|:7;D75A(jc}{@yrtogggdhbi`j^[1]dl YiW;OMp@Aqz6~F`Q   f@@   @@ @Bة @A@ @B @@ H/H/pfR?0.(@ 0N5xz̩ @ @B~@Aީ1  *VgwYض@uطٷڷ۩ϠjpԠ `^~ '(@+{'.렩7/߰?b @7G (-(ߩ/*BֶG(N!G ܩשOkCaD[<bҩ5Xf2***'+%,#-!GmPN 'eu'-k{-ax@DwK gCJ{+<Aom@]UUURVPWNXLN<!DTB&:8G+3&IHtyp3@}uuurvpwnxlip^pfvd H\ZcŷƷɩ@CTѩz@u@DT(M@ٷ@RDBDDDCCA>G<婜@F%䰩+Pٷ   8@'ͷηϷЩĠ+5"V0@Dz2Y!Z%$@Š@D (P 砩 33@ K-r1Ax&LJ%C;miLGϩ</η.L,M@*  1WKMRQaXAb '_XJhHi@8000-1+2)3'|rglZB&IHtyp4]{[|@YKCCC@D>E<F:`S |9@~4D2*(MWi*z{58u@EsLuj( z.̷P@K@D*(#@wwwtxrypznenmtAhxfG"^\Ϸȷ̷U°r. \Զն@Ӱ?ٰEmȰ L+v,@@Dv(oddb"ddcca^g\·÷ķũ߰E̷1- з?;ӷ 5O < ;B 9AD!y @# 9 @(砩 3렩)Fߩ-ݰ=L`"A:R㩚@ 9HH?I@@DOMM2(zC!nFUSVTKWUXVYW;ZX[Y>\ZN7-A8^rbbYc @@DK(,ljmknlompnqorpsqDuKOuwӷzx@U{rשIAAA>B<C:D8^5<z0@~.&$Vk-z =GS@}ogggdhbi`j^[]dR,ZjX<PN+HΩ~|ȩy|{vİt$lj\ɰy5I۶ܶ@°఩q@L氩Rz1Ӱ̠ Π  dZζ@ηϷзѩА\ĩˠ :sϠ y@°"Ӑζڶ&'@*砩 3+۰;OY1A׶|D*,  +Q2 IQiM]oWTR?tx*DbBc@2***'+%,#-!Gm 'et+iyzn~r'/ŷ6db@RJJJGKELCMAg>@G8;K9>1/ԩvoa dddae_f]g[]SQaOYGE055k1<*o]B7S@-DC  G  Pw3I6ʶ˶@wjVðs3|Uնֶ@5S԰@ڰFn%ǰpSQ~}ض{f@ְ7ٰҠǷȷɷʩ`Ġ   p @ C tʩ v@ ۠  'ؐ8کᠩ dթ堩 #Ӱ 3jɩ 7ݷ B @ 2 9 0 .!w  >  ?@           # I , Jҩ ? O4ܷ 3 Q 1 R@ / !           6 \   R6   V  f< g G hd E k m@H C sѷl v@@D^(j_ܠ J B B B ? C = D ; E 9< ; yk / ? } - q % #r     r  p     g x  v @ t  m h ` ` ` ] a [ b Y c W }  T [  O _  M  1 E CL   7   @I  = ߷ c@^@D =( 6 + + ) + + + * ( % . #              v  İ t  0 l j  ݷ  ַ  ׷  ط GEy ۷ ܷ d  ߩ @J  j   @@D j( c X X V X X X W U R [ P            Ӱ ƠI 3           *    @p    η  Ϸ  з  ѩ Š    n = ַ  @N   =       5 G  #  $@            ⠩  .s ߩ 栩 $D ک ꠩ ( ذ 8J  Ω             A%   7T   ;  KZn   B @P ] t 2 P 0 Q@ . T ' ) $           9 _   U    Y  i   `P@ I oGG = 5 5 5 2 6 0 7 . 8 , R x )7%D@D@  J B B B ? C = D ; E 9  ; y1 / ? } - 7 % #s = W  X  Y " q@'and_indЩ w O 5 U K Y  M s k k k h l f m d n b  X _ f  Z j  X  P N r  v  d +.Щ 6   n <             E   Ͱ`   Ѱ  f y w   ٰ1 ݩQЩ ݰ  Mթ            а V   J ?      EP  ǩ    ȷ  ɷ  ʷ  ˩     à X !  Ǡ    '^  )$8^   . Ѡ ] ՠ  ð # 94H  ( =  ) | > # !  v W  3  4@  7              1  6   :  J   & L ԩ: d . F D % - z 8 V 6 W@ 4 Z - n / * " " "  #  $  %   Y   ]  m   @@ w TѶ c W " o m) $  _ } ] ~@' M E E E B F @ G > H < b  9% d  p 6psqqmuuuuu    w  u @ A e ] ] ] Z ^ X _ V ` T z  Q X V L \  J \ B @876      @  x@@A@1generation_subset@!e@@淐!t@@@!T !Hji@@Bfe@'typ_indH%#!U !V#@^]\@@P@-/@Hݩ@@9;@A?@@C8h :ӠҠ@@@BRt@B:X8YP6\ /Ȑ"H0:@cnd@ˠ@DjhA(@-@I@@@̠@@@T@@@}@~@@AU/ _@)False_indWgTQ@AY`N@AbU MJ~kwHFn@@DDV(A;00.000//-*W3( Dz`%IHtyp@ y̷ͷqЩ@Bd@AȐ"H1| "e0L@G@D|(@yl@txjjhjjjiigdmbư쩚@@B à방M©ﰩQP &IHtyp1@Nנ WJ`b_&IHtyp2@][蠩oذ"srз"U0%&N)=;N@@/inv_lift_subsetDߩ@@9"U'<>"V'AE#II@]x)Oaa@@@B@D@']$^*`"a/?e83Ci Ek9Io+8?g-wL!>k1{)&~"H2#0BѠ@D@QIVfש_9\lIpGdtFcjXji\TQ"x0,#Z@@B@D@- rvѩũ٠?R°}U!"H3'ȩ26BƠ@D@ðé ǰ©AͰ(à방FTé-"H4S@Ű 2 9(&Uĩ砩 렩ٰ#VWް(xַP+?=2!&&2D _5]8LJVO(O C  9ISX?Oa&ay.T@'$ hUhOO[.7F`^US '^EcCd@A3CiZ18`\6c)s!PvɩK193FL\YLS{AQ[C8UH INBt<{y@wp\grm}jqna Yө lkpmȐ!a z@##!;pt?x&B@D@ҩkʰl'а@AnL=氩ARB۠@D@Ƞ]wƩ{ѠЩנŰ^ǰ"Q>کͰ ΰ)d)ĐFְ k#$`ն', -@ 07)*d-= A7GIbZ4u>N ``GE_'S:X8Y@6\/H1,<b))0Xc.[!k:@ALr;;Bj0z a2Dq7 81L x@@ @@@B* @A#@@B)@@1=r"D?"Dt&@07C&Hi9a4@@BK?A@APD/FF(poŶŶƶ@mQiϩ~]}ʩȰӶضٶ@X=ߩ/۰q߰usABΰǠĠݩƠ۩N&۰֩Ԡ˩ѠΩՠð ԩǰ۷qgapo©ٰ#  sp%&@lj/#3[(8 &IHtyp3<=@@)D- :J>N,O/Pҩ-SU@C-+[7^@Š@D (~@c@dࠩ4Djl@FI6=e:g-w%"]zZ{rpyw\[%vԩ1tjh@ϩXh$eWvs"V0q@Dvo>i@ @D>P(5*D(***))'$Q-"v@Tjw~q{n u fcO @bl öĶ@"!ҷgȰ&#ضٶ@dݷ_Ұ4,&IHtyp4@ĩư@C氩GFA$@Pmܰ@E @G? Ȑ"H5 `8@}@D(6@렩!(y+}|ַ64&-·%~,x1Ʒ֩'7Y4%9:@ ~ 3C  7G%H(Iq&L(p!ЩQPvT@@D(tߩԠ(8^%]' ki[bMZaHfJ 5V1srVKnNoLrk.]Gwp6Nz@@D(( )N^KMT|Q~D<9>Zwu@se9W|>UJM@qUnure]٩8BAD!y@m@i|TթU@ܷI@D@D(4w!nt.BA̰Cc@^@D(MMTؠBW S - @1ݠߠ`ܩ ϰdǷf@!"D#ǩް(sֶ * +@$4g(8`; 7x  9I|#>n:0N.O@,R'% "JZH!N^ ;a4L6:N\\hBbi`^3iPnNo@L>@h<=j0z@(o59-mca@_XSU}CCTG?ng@iBf:h{eXPl@fwKyviaWnrof@Y"|&tɩu`mðŰ Rj!(O!Ω̰R׶ܶݶ@7հѶ@D߰@㰩DCаɠ/Ơ-tGNML@+٠S֠ؠiư4쩚@8Щ:ÐĶ@젩tܰ&xwԩҐD*<53.,- .%#*޷~56@9[ =6a 5, 7G0%HI&LN@IN$yT?yW@@D(wנ+-U=*WgArpkiLjJkb=9KnoLrt@JtJze}@@D+(,Qa۠=`R,6pnݶvt@_dta[/?@K~S$dU@|\y. }p 2 hl|p tG˶̶@ϩ ˰$ *Ͱ .( -% * 2@)CB̠@D@<尩@ *"}@'and_indЩ{ʩ ՠ6נ 7  ǰ`ܩ㠩 L ӰP !ũ,& wr ) *@-% '7  9ݩo31  %C#D@!G~?* AQ . X B@@WC   SQ MCaAb@1AgQ.Ci0  % T hVT    G db 8 J ETrRs@1BRx R?Fn 9 Cp6  = . , k     -@{@@A@1unique_range_sort@!ty@@$term@@(term_ind0 !e@@!T"T'@!(JRussell@@B! ! ! @ !!! "s1,@j@"s2@!! @@ @<נ@@*type_range G@A!.@!!3!2!s$CA<R:S!H:!=!@!>"H0A!E!?!E8637"H13"H26Ȑ!a0@(typ_sort   !'>@#and@w@'is_prop I~ 9U@A%Logic$Init#Coq@@@B@D@ a cl!N!v א"H3 "H4l!#86  !!!3/  %B!@D@;7 }!4!!1 󐷐"H5 "H6! ?Ȑ"H7@ !ũǩ!!'!HM!ͩQ!?!!RW! QBOAD!yܷ@a!@!Ʃ!" !$!ʐ*l!:Ȑ"H8@>Ƿ"e0%Terms&Lambda@@@@@D!@(!B!n!Ҡ!@@@ː!c!Q߰!eT!X!W\BADD@B@""ݐ!!2" j*Ȑ"H9>/<0:@ +@D3!r(21''%'''&&R!s !tv  !z @A!!@C33! Ge!!@J`` !!!P@MKDB=S;T9"<Y@B"B"@A"E"?"E863712/GenerationRangeI @@5unique_var_range_sort(!!!"%"U"S""M"T!"t1r$IHt1h"t2x$IHt2nnlg}e~+c"f@C""d"j,k"o""A"ob`]a*[(\+@1sort_of_abs_range!!!""K"{"yb@"ex@orpros 1!!a"7$List%Lists"{@@$list@B!"!!H!xz"R@&ex_ind25̷ͩ\""Q,a*")!"g""]""ȷK%Logic$Init#Coq@@W@BҠ@D@]ȷɩ`ް":R㰩U"A""B"F©԰ BĐ"tذ"""L"x0x-B@D@!Sv$"S"c "g*c["""k"x10@'and_indЩ"DT"ʠ!A "ME#%Р'#)G #-""ܠ3SU7#9㠩:#=%Z#Ar+ЩBbVg+#II#M.4i-#Q[!SŰsWW#RAv:#VGЩ^а~XG#5LE_ũPI#B"*ZU""˩cfdfcg%|Y]+["2"btdC,^H3\"O#"x2 B @D@=@׷ةg:_lð5AH#"rɰ#&"#,"x3ŷ9 B ֠@D@a߰>`䰩VEL#C#Gbհ CŐٰ#M"x4ZЩ|aߩpB$$ʩ$ݩߐ<0by4$$֩7ݩЩ?cd)$&Ϡ&$* Fݩ#H10ݠ4TdX$3"Wͩ(Щ?_eI$-b&©1:ķ< #H117l'$İrg4 #$Y##########thvjjhcyaz'_$b@D$$`$f(g$k$$=$k^\Y]&W$X'@1sort_of_app_range###$$G$w$u!V(##$,##@F$#婛s@"or@yu{t$y! G$ #$K$#ĩ$Ƿ.#Coq@@8@B!@D@>շ֩e$+#$i$/ =$$:#$%OЩϰ$+#$ө|Ӱ$/P$$שM°İ$I_G#`$$]Ұ8԰ ͐:<Щ$שn$$kLېPз bu5!9@&or_ind*,y<a$$$457"8Ǡ% ˠ"D}"F &JKM8Nݠ4%6ᠩ8%Zө'\ z1_B"D@D@ϠfQgM%PQɠ>s.Bw;${KЩb%ffޠSACWP[ds!xe@g`mЩq=sl {:ǩ}v˩|~$$ %,%T%%EP%% ѩ`@6term_type_range_kinded/$W% N Щ1%%V%5Z۩1GenerationNotKind$_@@6type_no_kind_prod_typee%" @,type_no_kindGlͩЛ@%False@ Rh @)False_indʰd@%%>%>%>%>%>J ϩ@L=B"@D%G? RP"}qo&Yrg_] )`$}YW%i%%T?$%wQOHD:3/!6-+'ǩ&%j%j?t9ca%l%l%l%l%l%l%l%l."0$"t34$IHt3**(#9!:&"?@E%%& &&'&+%%%&+Ȑ!f@2sort_of_pair_range %%2%%%& &9&7g[u%VJXLLJE[C\ A&D%&?&EF&Jà%&&J=;8<67wB&N$@@$%ܩҠ%%%&+%%ѩ:wM,N I~%9%X$Zj%%g lް%%%Ȑ"e1$%%%&&I%%XkJl')rs%%#%&%'$B#@D@^;{&2?0&9 %;&L&q%$%B#@D@-wT&KX6I%R%T &8% B#N@D@h&.lJ]ư%fȰ&ːN 3xVi©Ұr԰%)B#k@D@cηvϩ߰&>K IE%HB#@D@s޷ߩ)&Z%GB#@D@:u#ET&1&j3*%jB#@D@Ơ "Bs& X)I%B$-@D@#$4g'6(+X@YQ<&&[t3`Ka.c,A&0e)EC$M'G&&'Mj^l``^YoWpU'Xu@G' 'V'\]'a&'3'aTROSMN@&&&''>&&M&@@@fffigdhj%e&)+&[@'''&#'4&&'&'_&&n!?AC&sD@D@2,P'GT'#X&-' e:Dՠ@D@NHlcpǰ?t˰I'"a0"b0ķ"c0ǷWB$m@D@ǰ+é"Ed'''"'䐷nS3q'|''%B$@D@L''''`m k Y'''r렩B.T'u8Ie}0yB$@D@QS_ϰ'''>G'J*ְ'W''{c|I~' '̩KD<pSf(U%(#8$v(C'+RT^g1Ȑ#H12X$fk(y'9  Hh@'t-uwhS )\H(rw?Pd_4_)ʩj<o([өcilx$$:ss+rʶp'Zl(~xcbk=ܶlm (!ɰAȐ#Heq@(6S/p(ө1rUY"ȶ7U(6Űd qo_ҰEaJh.Rpذ ѐʐEpn B ADC@ (a@%) nRp(z-éC4A5?@'0@D8(w(764^=;><??=@>A?(B@d (  B ADrL@O w(@!V):%.y)@©)^""te9rfp@'a@Di((hgeTnlom=pnqorp122!K(=FH'I"LMG|@95)g0htxvΩ)t(\U4N;zw&{yd6kt)1rnwsArkd` <ͷ[>uoS+yf9Pz=ŷa+) )hΩ)3c;5';7w&ɰ]$ضPIL),)<)\)k)))񩚰@w)1@Ω)5A CB):@ɰ)>Š g)AEc)MjӰ <ذg)M)])(lEB)RzܶBZ)W)-Zѩ}̩ )a)*)b }۩ .O)k)) . " 0 $ $ "  3  4 * 9@H)**  !*%))*%      ܩ@))))*)) Nݠ  R)ϩ  )@C栩 =))  ? _)))  6@Bz)թ0)))*)). k S)) U)B&@D@  F {))  a))^- c)")   j))6 l)+B'@D@  t)@ v)s5)Ӑ {):B'@D@ , l )O 0 )S H^*]  9 )v\ qQB')@D@ C ef i[p)Щ _` l$ p  ö p Jf* e  D x ]}~ m  ө  :   ٶ  zR`* x  nS  ưLs   b P *     *.F*|*.  ~i X"mB"kAD  @ İ P*8@ ǰ * ɰ *= f Ͱ zY J   ٷ   @)@D *H(               hK*P ް ۩ S ·    *Wݠ , *[@  vv  *a %_* ˩ D  ©  +c*k1*k1+ ک b4 ͩ  3   *A**uf* : 8#IHt . . , ' = % >  #+& C@I+$+*  ++/++/ "   !    @1sort_of_pi1_range***+ +;+9i X V J J H C Y A Z  ?+B _@J+@+F  G+K++K > < 9 =  7  8  @1sort_of_pi2_range***+'+W+U* u s f@@A@@@+++**蠠&%  @@@@ (JRussell&Lambda@0t4?Xנ& n&Lambda@0R#4wㅀeL^(JRussell&Lambda@0ŬdyɟԨaD(Validity(JRussell&Lambda@0w?B@{Sɠ*Generation(JRussell&Lambda@0@Ď$UR6HZ0PreFunctionality(JRussell&Lambda@0 kUs?G}gv*Conversion(JRussell&Lambda@089,,Xsᠠ,Substitution(JRussell&Lambda@0^O)Ht4eFX(Coercion(JRussell&Lambda@0v[+T:%~%q(JRussell&Lambda@0V.'n%X(JRussell&Lambda@0s տ>c.3+Ѡ+Р&Lambda@0/t)>ye,ܠ(&Lambda@0c+Ttћ*r&Lambda@0beӯD Ơ%&Lambda@0 F1t"P(Conv_Dec&Lambda@0rǰ*GJ%Union+Wellfounded#Coq@0ޫ.6CĚ~Z2Transitive_Closure+Wellfounded#Coq@0߭_^ n}DW$^$Conv&Lambda@0*}Q;<)Reduction&Lambda@0WUlod)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>E*S0KH!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Ԗ,,#Coq@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, 'Tactics&Lambda@0z*a,@0Kj;~ܙ&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.ю@%Peano$Init#Coq@0KO-!hϲ/>C&Specif$Init#Coq@0|GU-lȮm)Datatypes$Init#Coq@07^kO(>=*0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@//(CONSTANTA@@A#_60)IMPLICITS/@/AA@@@@/ȐE@/@/ @/ÐF@@@@@#_61/ARGUMENTS-SCOPE@!@@@@@@@.n98@A#_6232@.x1.vD@.p@.i @@.VG@.X@@@@#_634@"@@@@@@@@#ml@A#_64gf@#e#D@#@# @@#nG@#p@@@@#_65h@"@@@@@@@@@A#_66@D@@ @@ܐG@ސ@@@@#_67@"@@@@@@@@հ@A#_68Ϡ@͠E@@ @F@@@vI@uJ@@@@@#_69ذ@*@@@@@@@@@@@@#_42-RESERVED-TYPE!i @@8@#nat@#_43!k#_44!m#_45!n#_46#!p"#_47)!s(.@/)@#_484!A3.#_49=!B #_50C!M#_51I!N#_52O!T#_53U!t!#_54[!u'#_55a!v-#_56g!ef;@/#_57r!f #_58x!g@,YǠҠݠ蠠 !T("3->8ICTN_YjduozǠҠݠ蠠 )6.C;PH]Ujbwo|Ǡ֠堠 & 1+<6GARL]Whbsm~xŠР۠栠 #.(93D>OIZTe_pj{u/ǠҠ۠䠠 ($2-<7GARL]Whbsm~x@Ġ-G@0ھCUՃqt~