1D$Р/GenerationRange'Russell&Lambda@B/GenerationRange /type_range_lift@!n)Datatypes$Init#Coq@@#nat@!t%Terms&Lambda@@$term@ @(term_ind0!k !s@$sort@@%Logic)(@@"eq@%0GenerationCoerce'Russell'@@*type_range0@(lift_recECB:@AA$@D 317U"s05!H3O"n0bEcCA =Y4&Specif$Init#Coq@@'sumbool@BAA@DWxw@@ @%Peano@@"le@GH @"gtLM+Compare_dec%Arith@@)le_gt_decWX!l@B#@$plusF[!g"`jX8@+sumbool_ind5th,vjCeYLEx<z.,)H'& 2*w!a%Щ>;GȐ"H0@&eq_ind!e@@@@(AABBCBBBAA@DꔐA(@ٛ@%False@@@$True@@@ @@A5@)False_indr2ΐ˷!ba|;9O64@/@D.(+&!!!!!  P*ضЩķt! {Sz﷐"t1)$IHt1"t2/$IHt2#A!@7 g,J*($@B@CY@BywQ#I &#$}[{@v@Du!(r@nr@a@bokikkkjjh%teJf&+Bi@[>k<:]{[Y$Uqs@D1F6A@{ *M*JI@@DF(%$AGl;Mdb}`^\"t3$IHt3@}tkHgfe_U@EwJszu|lwv٩Ka@֠@D(`ȷ@`}ҩàĩ"*wǷɷٷϩ{ԷƷַķܩ@G   @@D(Ӱ/U÷ް@H*('%@ @D(  Msҷ#IHt"˩@IJH" RI'G@B@DA(>44244431=./42"$$B" 8:@J hf@eCc@^@D] (ZPPNPPPOM YJ/K_]RPA_?=@9U0'#"!@@A@0type_range_subst@!tfe@@d@!u  @(term_ind0!n@@@!s@m@@l@@k@)ji@@h1@)subst_recgfe8@Ad@"or@!Cv'I o20=;"s04!H3U!@B<^(QO"n0RKIFh?uts@@%sumor@BAA@D\@@ @ @@v@@"ltm} ts@@,lt_eq_lt_decʠ!C4@@B@D%"̩Ӡ!l@B/@$pred鷐!e@$liftR2sM@)sumor_ind%EV*~ѩi_XU YE Cɩdaǰ?=:7 5GEװА۰ !a\&Specif$Init#Coq@@'sumbool@BAA@D83٠+MpIvI"H0'yvȐ"H1 @2Gz3@@D97Ab(@@@@-@@@C@D @E@A.q '@)False_ind/Q(5W8;]4'@APJB@@8]@A!bRUwɐ$NL|}@@DJ(GC??=???>><#F9o5f_ r vk4OYvo,E%Đ˷"u1$IHu1"u2$IHu2@~C{vpng@Ceg穜@B˩aZ@U@D(@@ڷ@)IGطECAطϷ̰@D4°$ө -ɰ -,D@~@D)()(*ƩȠ&2m ki ge"u3$IHu3@-LKᠩ ٷҩ%'@E[]T_3Hgilk<@@D h(h@Ahj%GL*L' wOAQCA:85W.#~\N^PNGEBdf@G3G<lo@@D<(911/1100..8+:WyE&|n~׷pnge1b@HSg\@@D\(YQQOQQPPNNXKZw?eFķ#IHuQ@Ixuu~ D9@4@D(}uusuuutrr|o~hl·&uȩ@J$Щ"Y@T@D( ݩѶȶ@ŰͰƐ"@@A@2no_sort_type_range@!Adc@@b@@(term_ind0 @LKq@@'no_sort=!s@h@e@@#not @j@*@c\0@AZ!H@@"s0$"H0Br(@)False_indw!n)Datatypes@@#nat@!:@@CA6]_@B4Ȑ"H1I@i m@@D!tsA(@^@@,"@y@zC@{&@API<K"A1$IHA1|"A2$IHA2Z9ywSl@C`j64-̷2"@@D1(,@Wl@@O-+---,,*'n%#!uTn@D{QOHM=@8@DL(GECEEEDDB?=;975"A3ķ$IHA3r̩@Esomԩfk[@V@Dj(e9cc@9dddcca^\ZݷXҷV߷TԷԐ˷  ԩѐʰǐũ#"sqomװ@G%7 @@D3(kj4֩@H=O!@@DK(L(&#IHAԷ.0@IUѩ6g9@@Dc(d@>3 *(DF@JkL}O@Π@Dy(zzWUI@@A@6term_type_range_kinded@!e#Env&Lambda@@#env!t%Terms @@$term@!T !H%Types@@&coerceB @'typ_indD,*" !!s$@@@ߠ@@@1ݠܠ=@@ېԩ;@Aҩ@۩@ASQ;9A߷*("H0'Q0@B/@A[igQ<:7a(@@C-tr\!!nIH@@@js'@)item_lift XV"H1U@BKȐ"H2^@ )"e0@|@DA*(@to@{@@1s@z@@@ @@AlA;~@)False_indJnB"s1QP}&IHtyp1@NR!MƷ!Uɷ"s2$List%Lists@@$list@Bv&IHtyp2&eҰ` s&IHtyp3Ķ@Ű̷lɰ󩜠@CȐ"H3t M|s@@Dq(n@n@@ligiiihhfcpa @FN !v!V d@b߷!u""Ur%٩%©N @r/#@ 57@D=tg@1@,@D(?>HH@%substi [YO,E3SFz64@11[jE\9P~'|NbީUfv&IHtyp4IG@DDn&0"s3O{e@(sum_sorthv XV"H4U@E@GQQȐ"H5 R@@D,(@.tSa5\ܰGt5P{PPJ·qOFMRW@ǩCѩC̩HݷA@@D?f(<44244331.g;,שum۷Щΰxr}(@װx} Ƕ@ĩİ˷uȰ򩜠@Hsq o@@Dm(jbb`bbaa_\iZ"?%IHtyp@aշʩ@IS! $@@D(#!=86.,f-.#'#!  46@Jn<;?0@+@D(><G0Z ߷YWOMN8ODB20@42 IV }97@4^-'S`* EC@@j93Dn50쩛c@ "s0TQ{JDsO K "F " zyJQ堩fP1GenerationNotKind <@@-typ_not_kind2 . ) 5 4 .@@@A@8term_type_range_not_kind@!e@@!t@@ @!T !H l@@B d c ]@'typ_indD%#!s @ @@   @@ @-  @@  7@A @;  !@ANL;9A ,*"H0)O2@BȐ"H1    @@ @B@AD!yd@Ag @Dj 5 2JP 0 Nt%? Ȑ"H2T@'f_equal~^"e0 &@ !@De (ig Ϸ!n_  @@^@@BE_  ީrxG 穚s@ E|K}c{ aM~SdȐ"H3X+_j@@ @@@@@@DA @ N@@ L@@A  @)False_ind   @TT  @A?ܷ٩@CBAD@  . .İvtrͷo @ @Dm 9(lkib >Ұ G`^װ"Yf%W@R@DQ LNNKH MNE H M@9·~ @J V Q \@B Z l @ @D#!m i(@l@j@%@&o@'j opga q42$+/ $"  ~&IHtyp1@7  |*;)=(4'& @@%@BL   &IHtyp2DT  0  &IHtyp3:8@5[. (#@>;ac@C< )1©i  l @ @DO (N@@r@sOMOOONN L~|vxomIG|~4s 2 ϩ@F  η:Tjh4e@D  [ ~ q ;@ 6@Dy (x*v)tvvvuu& s`q}pnl%V   W.hRW tUw65c @ u &IHtyp4@_ m "H4©@E@GQ  Ȑ"H58ҩ R z Y }@ x@D #(l@l i %&߷ķٰ   7˷Ȱ @ @ @ :շȷķٷȷFܷE  B Gݰ<  anA ͷ  @ @D V(R WX  b \;̩ װ ^ k c̷ɩ "@H  h(  z+ @ ˠ@D v(        r wx:83123*( y o  %IHtyp@Q AC@I /I L @ @D/ (.,,*,,,+ )[YTRSTK!97 4Z\@J H* b e @ @DH (GEECEEED Btrmk0lmdb   @6TR(g & @)YW@TzM eGB(q  0+ca@^W QL{@ [  N ۷"s0nkdi^ Ġ      ݐ@g@@A@(conv_dom@!A , +@@ *@@(term_ind0 !B@)Reduction =@@$conv@  "s'@ 4@@ ( ' M@@+is_low_full @ @ > f e@@ =@5@ 6 ɩ;@A 4@  ,!s(9F!H9 B <31"H0Q@'is_prop @"H18"H20^% '[0WdU.  XI a@n9 f7 ʷ"s0X/f? i$Z2Ȑ!e$Conv @@)conv_sort   ~]n  ^@ r sdY k  ~  Ϡ @@@W9@B O }@)False_ind C "B1$IHB1U"B2$IHB2y G n[Y5 C@C  Ʒ{  ̩,ک l  ˷)ݷ'z%߷#!Ѡ@D  ݷȐ  Cð  1 @><:8"B3$IHB3ǐ װ;ϐf @E    l  j    geca_ةW#@F  Щ " !/ o@.conv_sort_prod   +7Է9}{+s?@G , 7" > =K  7 <NP BV@H C N9 U T4b  N SXe#IHB"Y٩m@I eP kˠKy e jo|7n@J z/e ࠩ` z)  J# #=s jc <  , X Tv@ @PN|  <sȐ"H3$ 6 @ @D!tA (@@)@ @@÷@!@@A %̩ &  "A1ӷ$IHA1ʷ"A2ٷ$IHA2зݷΠ  Ϸķ?·  @<^ p Wp :@ 5@D: (5@]P@@631333220 R-%#! \߷հ   ]Y{%  t  W@ R@DW (RMKMMMLLJ lG?=;9"A3$IHA3  ԩ   |ǩ#   }y(   + w@ r@Dw(r=mm@0=nnnmmkh`1^&\3Z((5&'3@t;07D5&  8-;շө$R!J ˩C@(sym_conv8 "PƷM`bT U WH l)n )` s0uw}2iZUl{7n_PytA$Ax!i4dȐ!c@/inv_conv_prod_r#}  U8U5a\\?\<QLAca ) /A<Hjh1,Ak 9 F#uyqjhĩ <ɩ N5N@@D(    -ѷƷӷȷշƠ|Ƿ7ީ 84V hOh2@-@D2(-((&((''%G"뷐#IHAַQԷʰRNpiL@G@DL(GBB@BBBA?a<ijfd@_@Dd (_*ZZXZZZY(W yT  @@A@.type_range_sub@!eU@@!T_^@@]@!U !s @V@!HLr@@@8DC=@*coerce_ind0+)$"#"s0@m@@l@1kj@@ib;@A`@l lOM!AH?=:8Bwv*C"H0*T#sxa_X!B["A'^"B'aXVSQ()IHcoerce1D]@Bl;5Fp?50#)<"H10C"s'u"H2rED@@C@B-:)IHcoerce2o@mf`qj M["H3V T3N/"H4]#U(a/"H5xܠշo][Y޷W@ébvSOMIGEwX=;1/+)#s''Ƿ'@"H6 hҷ"H7㩜@GȐ"H8@r Q"e0t@o@D!tA(@󛠰@p@@ on@@ @ @ @  @ @@@{@@A7@)False_ind9TSB+)"!P%"U'(HTM @C(IHcoerce &@ ŷ갩8bU/@B2G-@-coerce_sort_rOoQ WBȠ@@  t{z*T K@Aةo\"e1_ @٠@Dj(ZX@@@@Da_pmm]!nlpwpxqryr`s]Lvx@H%1BxZ^rpYVaz@58>OThfUY"Z@@D(Zv +·\J!C!Dapt^d;n9>0h8ؠ@@$conv@[k^@Ʃ~/շϩ{ߩ a ?BVAD!y߷@ s@̩ǰ  @U @s@D(!      $(ް $-! Ű 3ǰR6* " ΰU CѰ ?3ѷװV Mڰ H<8 ఐW J Ȑ!i@.sort_of_kinded T@EȐ"i0 X^ Ȑ"i1Y$dȐ"i2Z*j[@&@1*  x~@/Y(/y3],&   Ȑ"e2wtAk:[5{"\]"X'9 󩚰M@&sym_eqo %@T~**VO]@A5@} @@A@7var_sort_range_item_aux@!e 5&Lambda@@ 4!t%Terms @@$term@!T !H 3@@ 2Bީ@'typ_indD(& !n432@@1@@<;@@@35@B!s;@*@@A L@@ K@A$@"ex@T"T'W-@#and@g@)item_lift)18d#-6tr^\A5OM"H0Ht+<@BFA?"H1S6G@A;Ȑ"H2\@"e0c@ @@@DA](@]m@@@zq@@@@@ @Ariu |@)False_ind^ZXTzQly~OKt@CIG@> <:@@D8(51--+---,,*'0%ַdзat"n0\4VݩȐ"H3 B AD!y@/@İZ -;ϰeːհΐ3^Ȑ"H4@   }@*@D(lٷcls-^- @(term_ind0&ʰ~,301ڠְ  7ө{"s0ͩBKgILJ  ~ r0 1UV!Q(1]%Logic$Init#Coq@@#ex2@CC@D@D@@s!uvLx/)z@$lift_@B K&MyList@@$item@V A=;7]< F;]!x+%kD NȐ"H5*Generation@@-inv_lift_sorty,@h9 Ȑ"H6 B ܠAD@I@{ xȷtɩrnWUm);.Ȑ"H7S@@D(5ѷ q  !f *@AVTҰ <@AC9Sް FF@AݷU@AZg!" ^$`V w H@)RR۠+,ՠѰb)2n6M"n1ʩݰ ?HdFIm@h@D(@@-ST.Z!"T1]$IHT1:"T2c$IHT2 0 @l@5no:x@C=H + R~= QP I@@DR(?@@1U砩B><8^ m5`?=u;97.A@Dgr U ٷ!|g {z4ͩ&s&@Ѡ@D"|(i*Y}(\ZXVT"T3$IHT3Qd ?i6Wj@E6t ~Jѩ $OةBO@@DK(D@@@TAAA@@> D9?ŷ~@F  )q̰  %B AD@ذѐ\Ͷ@ݰ ֩֐ -)Z-ܐ ސhu@6@D (R  !" #!$"'%# Y} [ K H:,-֠Ұ6 3JCw5ڰ2 [; fl㰩RtI  f $ h @I882M*N)PV@G&  թ0\ /.c'f@@D0( 1ܷkF m s@H8C & My8 LKD@@DM(:*N#IHTe/@I` jU hNa@@Dj(W mk:m9L@J} ,r kة1~1@ܠ@D-(t&"" """!4%Res@ǩx}ͷyΩws p)@@66ݷީ1J/ˠη跐kߩݰ&IHtyp1϶@Ȱ@̰1qpo̷nm@@l@BDV˷&IHtyp2@'߶@%͠Ǡð$XF·)뷐&IHtyp3  @0`@4x89⠩ް3? ݷ C͠  gIFL֠ O@n@D(!WX#@#hf}_|aVTuDB@s-+@mhyj]:}>6[QO@:8@Jv5)I1,|(}&"HPb`YV6TOM_J@xH   @@Da(NiOKIEk T kl6;t|@xv@kd`^ZWZAu@϶@fķ@: &IHtyp4@@ҩG+ط٩~{@÷G TOİG;l+l@@Dh(a]][]p]\\Z`U8mR̷ͷ ѷyAȷ@"ڶ@ Ƞ tS#',H*:n-@L@D(=;*3K)JHF372,%(]\Bt  fHEKoN@m@D( VW""geT]RP-'sB@@9+)@;g& fj]co1>6[QO@H:8@Jv5/*z&{$ FuPb`YITOM_B@@D[(H cIEC?eeBgsQtn%IHtyp@}{vt@q`mhdb^[O3+JǩEC̩>}CA@@D?(8442444F31.7,׷ة}1D)޷߷>:8t;Poab4ZnlJlj@@Dh(a]][]]]\oZW`)з@Z̶@ް ɐtVҷ@Ƿ@}۶@! J@@#ܩנ'(ѠͰʷ@sS 53 9  B`H@@ gy  RPJH@I@<琐@@A@3var_sort_range_item@!e`@@!nqpo@@n@!Tis@@h@!HQ~@@BI@BMG!s@r@"H0s@@r@)qp@@oh3@AfB }@@ ,xkwx!@AE{u[YTRKI@A31@,,@g@Q"T'T4@f@l@e.=_60@@A@5unique_var_range_sort@!e@@!n@@@!T)@@@!HӠ4@@B˩@Bɷ!s@@"H0@@@)S@@꩜3@A跐"T'9"H13Y,"s')"H2&Ȑ"e0BWs@@~l 1@@V W7@@o@@b93BB@D@m7n$RtCV^%*!x|"H397</1N.+;i)ZB'@D@@]=:J38xL"x0"H4 BB@D@OLd Eh}L_7 "H5B@D@jgrRQɩxj 2"H6*dCZ@D@@a@᷐Yð+@V@BT𩛠&MyList@@V@U ڰ6"x1"H7VC@D@/ ,V+)WǷ4&ʐX- \Ր"x2"H83%ݐYਗ਼6@(fun_item,Zߩ /Ȑ"H9@(eq_ind_r78:GUS[ZA`\Z`Hcw!tM-Oj\/Q^" TU5W&S 9[2,f0?@wd;ShHj9.Ln=DAB~AD!yw@XzId.@]7N]bj^Y7WgXw!Ȑ#H10m@x"e1@@DNK(MpRS`TUV\Xw)rWG((^@A0@4g@NNmҶ˶¶@@ƶ@@@@A@5sort_of_app_range_aux@!e&Lambda@@!t%Terms @@$term@"Ts !H'Russell@@B @'typ_indD)'! !M#!N&@ݠ@@@02@Dȶ!s8@@@>/I@@ᩜH@Aީ$@@P!VSU!TX1@@OS_e@FA@@Fo1+Lu7mkA]~["H0[>O@BYTR"H1fIZ@ANȐ"H2o@"e0@@DA7(@n~@@@ʠ@@@@@@@@@AWJV @)False_indv÷sĩyƷqǩodslgdpשlbܷݷ^@C\ZSQ O )@֠@DM(JF;;9;;;::85>3xIu@qհ@Bӷ̷pްȐ"H3s s M@@Dq(@c@koaa_aaa``^[dY̠ϠŠ!ɠ%3V1/'v淐&IHtyp10 1@ 4@8p>?AB꠩6azߩ:eF*KMЩB0@@@B\Xj&IHtyp2?`=a@0-+@.fgij^p  dp g%y&IHtyp3\}Z~@XQLJ@\GA<9?75?QR.=61"M0y w@C upnkeȐ"H4 ӷ @@DI(@@SpmskiT_ng]Էͷ}ηѶҶ@@׷ٷZ̰uyyq@@p(tp԰͠3&ϷȷlڰŐ@*BAD!y@<@NϠҠ ȠS͠PƩ-+1ː+ 57}@ <<= {@(@DCAA(  eRfGEHFIGJH۷KILJMKNLn9'P>TTU @@@D($"Zi[^\_]K`^a_b`cadbecc3M>gciwlj@Dm{"op%rsgU lW:[F"H5b!Ȑ!oB@@ @A74wbh{fl~@&or_indosF liogeW\[jc^[Ωj@Aշ֩ط٩ͰVgwҰzwuX|.ϩ}԰:h}А@AR V !ݐ3'+@B KWʷ)a3467ߠ+^\ԩ]ՠ[A[qCD젩8c$U8L()MA-EvMK٩YXIFDȩKD@]@AC=}ϩ:@ ]fthv@Cl!no$qrfrjV@A57\Ly[YWz%.ki@gYW@EBH@>3B;6NRh,<]*@urp@s"@J&IHtyp4@~@{wrou·mékP`oThcZƩ@YeӷԷ)ש@E@GM\ "Ȑ"H6SwܷS@ڠ@DQ(J??=?<?>><D9Y7ѷܷ շF̷@߶@͠РƠа$X̠$)*-E1*4Ѡ67 u@"@D((зIG?5C 73{zXݷ*K(L&Osr_!K,UX|u[ @F@D(Lcdfg[Gg_K} {yqfd HUvSw@QCA@S|>833r0(ec@aSQ@cN HC@F><F3B;6~|z@HCxsqf  @@DH( Pmjphf>[jBcYзȷ}ɷyʷ[ghb%IHtypӶԶ@ @۩ٰ ݰpɰ򩜠@IǷnҰ ig)g A@@De(^SSQSSSORPMVK  %H#!QMK"$@J#+퐩(=-4]7 u@"@D((4GE?=>?42۷#D!E@q@!Jsk̩>J/P-Q@+TP$@ l̩IU<]:^@8a1,*@<e'D!ijlma eq ᩛh@ Z{X|uVO"s0Jש\?꩚@ x # c~ )  ( !  ( ' !@Ð@@A@1sort_of_app_range@!e@@!M@@@!N "Ts !H@@B N@D _ ^ X!s @ @"H0   @@ @/ Ƞ@@  y9@A wB Ӡՠ@@$, "  |  " !@AK  WUPNHOFP@B42@--@y@X!V[]!T`:@}@V  Z !m@F  J@G@OwH B U}N #@@A@5sort_of_abs_range_aux@!e>=@@#Coq@@!@. 0@C!!!s6@!-@@<!#i@@!!!F@A!%@@"s1"s2  X!T[7@ @T !: Z$List%ListsG@@$list@Bu  !Dk!H5!PW}A!N;!XywA!Vjh"H0hJ[@Be`^"H1sUf@AZȐ"H2|@ "e0"@ Ϡ@DA!}(@z@ @@!͠@@@@ @@@@@A!!! @)False_ind}ӷ{ԩyʰ / v}ΰt  5!(!԰!ig!V!eaǰ@Cķ_]VT Rr@!@DP!(MI>><>>>==;8!A6{Lx @ɰ!!!۷t  @B!۷sؐ!Ȑ"H3x!gx@!E@Dv!(@h@ptffdfffeec`!i^ݠ./Ԡ%] ѩؠ)ϰ9 c!"ޠ/" [" HF? 75""&IHtyp1)G'H@%K""@)Om   !YZP!Td!!"3 Z"7Kik6aq!!"F-&IHtyp2WuUv@.DB@,0E-F3H+I6)'xQ!'.%! !"^4"b.!O "o"b&IHtyp3~|@z!rmk@~h!]b]rZs`uXvcVTKRS"U\S" !"b"HF"M0ķŷ'ȩ!Ω!3@A۷ܩҰT"+װ}"1""ݰ"rp?"-o"5G"m"̩"ݰ"!h5W"|Ȑl"_"" "Ԑ!q!sȐ"H4OBIAD!y%@(f"@-#"g"Ԡ%S"}ڠ+T"qcޠ/Xg{Am#(!GȐ"H5'@ZPPQ@"x@DWUU#$(#!Y[Y\Z#)][^\_]`^a_b`82"#9#1>d#;hhi@"@D#;(:8prpsq#FtrusUwuxvywV{yKN#PW}""ɷ@]"ͩ(y!C.%!"F4OMq[U"ӷ"H6zX"ة" ŷK3#y#OF#9"gU!\DH4`WNJ#f#20k@AYsİja2yʰܩ) "7 ##,#"#@@D#0#02#2##@ư((#OSީҰW#ʐ@A  *)Ķ  @¶ֶ@)(#L#驜@F##@Զ@!吩"#ܠߠ-.Ӡ$#|Щנ(ΰ8##p$ݠ.$ =>AC@D#"$JL@?# :S# V@#}@D$((8@[@\$2*+-.fg ]#" aq#(#$@g$D$D~ w)Bo864m{p#$M$U b`@^OM@;P8Q>S6TA42I#/6-#O#$f<$j" Ig  $u\@[qo@Y $y^#$&IHtyp4@}@zl#vqntlw·jéhP$elc$V$$rð$XV@$$ٷڷݩ@E@G2#>$Ű  )RMM$@$@DK$(D99799886~$<1ŷƩȷɩZ# #$W$ܩ$/$޷ Էз $$U$ٷ @ض@֩ڠݠ+,Ѡ"Ȱ2$|Щנ(ΰ8$$p%ݠ.% =>A E/H4$K@$r@D%(-%%ZXQIU >:#ũ$%&%+?]=^;a $50.NAg#Kj$#÷m@$@D%?(O%G*?'@-B%C0{#|!r$7%v$=$%U+|%Y%Y3%d%^Lsq@o`^@q[UP05%i%v%n.@pn@ke`u]vcx[yfYWN%V]T%$%c%IG÷ķ0ǩ@H%%/0ө $,%0P@$@D.%('%۰G$߰$M%9%%z%·%%Щ%%˷%IHtyp@ް%tֶ϶@̐(%D%|ȩàط٩Ơ۷ܩɠ U%c%i[%W%Ġ%$%(*@I%e 1%}6$9@%`@D& (}~|y&w  GH>%BR%  %&!H&%t&%a_ZXYUZQc_]?]=^թ;ac@J%831өDj. F%'%,ҩs$طv@%@D&H(X&P=~|}y~us&K&W&V>ec@RP@cM%GXV%&YKsq@o%gb`@Jr%Q%8~|@z%rmk@~hb%d_t\ubwZxeXV%SZQ&%&`&FD!@%%{&&ŷƷ"s0ϩ "/&&&&B&  @@S%2&K&&&&&&޶߶@ؐ@@A@1sort_of_abs_range@!e 3 2@@ 1!M 0 ;@@ 0@!N "Ts !H 1 2 L@@ 0B&ש@C&&&᷐!s @' @"H0' '5@@' @/'  Q k@@' '9@A'B'\ ^ x@@I$&q,&'''&'!@AK''WUPNHOFP@B42@--@@8"s1;="s2@ b!Te?@ @[%&5'9 aD@@@B|&(%&'@o'DI'L\U'JO'T@@A@6sort_of_pair_range_aux@!e Р'@@ η!t''@@'@"Ts !H ˠ''@@ B'}'|'v@'typ_indD%#!T !u#!v&@''Ӡ'@@'@0'2@E'''!s8@'@@"UA'''@@''KK@A'YWFDA'7U5V3W"H03\'@B1,*Ȑ"H1=@'+i "e0lx@'%@DrpA'(@<L@'@@"f(#("@@"e@W@'/@@@@@AX'''' b@)False_indTjJ^@AO('L}{HyYm@CwrpFD B@'e@D@((=9..,...--+((1&b!<^@!(((!"T0]©@B'Ȑ"H2fͩ 'f@'@Dd(4(@V@^bTTRTTTSSQN(=WLܩ'F(?ැ ٩װ(M(L&IHtyp1@Ű'ʰ'!! ŷ򰩜  (@@ @B ''(q&IHtyp2%'['({(n&IHtyp3@'dᐩ ߐ'ٷh#$%](*@C '"Ȑ"H33 %$$6B@'@D((f÷@;@<(B$3(OM"F H?=d-K+L)M@b*S( 5V!XM(%(©]@F((VDbBc@d@y0.+Aj)'W(8%Qo"u0r"v0uOxz@D(G'fMHF '!Q@(=@D((N( OeM@!!P'(_yC(()}@{mkh~f'`csI)eǷ!)#()&IHtyp4@3!'|!"@!!!()-ͷ^η\Ϸ"H4ԩ@GS$ &("H5 U!Ȑ"H6V 7(@(@D)R({ppnppoomZ)Sshu)U÷)()gGް׷@ !(V@(Ǡ@D)r(>)yِϐ(c){%#<;97& %&;^©])))m()*b-W!(x3] (6B@(@D)(f)@))MK&D;9))b+I)J'K@%(Q ZTIWY)))O=[;\9]@7)'$:c" fFgDhBkm@H()r@;9 t (_)R w@)0@D )(A)BX)>|z))))뷐%IHtyppnl@j)]c^\YoWĠ)x)fS}{Hy@I)wrpFD (D@)g@DB*(;00.000w/-**3(y *u731jĩ@J)hfͩ (ķf@)@Dd*4(]RRPRRRQOL*;UJکL<())H*A۩ٰ*C*O*N@[Ȱ)*Q@Ӱ))H)ɩ*i@߰(ضѩΐ ̐ƷG@()])*}"귐"s0N ߐ"B***@@zR!v&)**. ~")*5***7Q;******JHCA;B@7@@A@2sort_of_pair_range@!e$(*@@$&!T**@@*@!u !v "Ts!H$)*+ @@$(B*ܩ@E****ٷ!s#@+@B+;*+@@$*P********䩜+ +5+4@@+ @A: *FD?=7>5?3@@/!@%@J+++@@@++T@A+@@A@-sum_sort_prop@!s$$@@+H@"s' #s'' !H$$@@#(+;+:+4+V+~+}@@&or_indਜ਼ @@@+`@*+B+@C  1+U 3+V 7+O8@B>+b@+c  B@'is_prop+_'$K+c+o&M+q+pA.%Logic$Init#Coq@@#and@B"@D@<9`+6@=3B"+$FCj+(+El+++a"H0QN%B=@D@WT{+9Q[;+_\++ ^+ +C+"H1s@doO+sp+*r*+1q|\v}z+++>~  @A@"or@ @B @A+P++b+*+}B@D@+s+i B@D@+g+u][Y]ʠΠ˰,Nhՠ נ԰ LIڰש  P@A E ө[+,)+,/+,$,)@ѐ@@A@/sort_of_sum_aux@!e%,v@@%!T,,@@,~@"Ts !H%,g,@@%B,_,^,X@'typ_indD%#!U !V#@,,,@@,@-,k/@G,{,u@W@!s:@,@@'9C,,,@@,,M@A,/U, b`OMA,@^>_"H0>d-@B<Ȑ"H1G@,p "e0sa@,@D!tyA,(@CX@, @@'Q-- @@'P@c@,@@@@@Ad,,, n@)False_indfca^y\,Vj,JF]q@CDB@@,L@D>,(95**(***))'$,-"^%8[@%-,-Xĩ@B-Ȑ"H2`Ω ,`@,l@D^-(@N@VZLLJLLLKKIF-ODٷ%ҩа-(-'&IHtyp1@-1%鷐%఩%Π%͠-|@@%@B,,-A&IHtyp2,++-K->&IHtyp3@,ַ"U0  C@C%,?Ȑ"H3 %+ @,@D-b(K@!@"-e-+%%&IG%*%,ͩ!,-x1@F--w<T6"V09Щ<>@D-%,xD,,G5@,@D-(v+-VT/MtEsqo(QF-8--\85VmL\-Zz8\Q&-_@%Ơ-!-&IHtyp4I%.T\@%& --en8o"H4Ntv@ELR,G&-(OȐ"H5 VS)W$-Du@-"@D-( @l-UtY4-|-D-Mz2xo,w-sש5t,p-Q5@-A@D3-(*-"sҷηwRҷMzKL-u--)-|Ȑ!aB.`..A@@)-..@))--. BŠ@D@&&- --ǩİ-R./Ͱ&,ʩϰ,-B@D@Ǡװ%),ȩٰ,-͠ȩŐÐ-ϩ̐ ʐ-.R)-?Ȑ"H6@v&˷20 T%M)Q.k6&&ĩېq@/sort_of_propset .y@)9Ȑ"n0 ЩI9U ..  Ȑ"n1~@)g .  "HVȐ"n2./U C$B$AD!y^@;a4XD.@Ag.:%'742/Jp-Q';96Qw4 K.-DfW}PWS'2*SȐ"H7`@%x@.%@D.(XVFG3 !."O8l'9'K.ީw}'M1@.=@D.(om[(34\678]:;. < Y}O.%L D@? pũL|"H8%` Xc*ҩ٩/$o^ީ8@A˰HҰ./E /=/C{@ /AZ /D/E@߰ӠΩː ɐ&:öթҐА'ʩ/Y@A'% /j/dyC#ĩ8(/f/s/kķ0 !* +©.0@H./~j6.c/9'@.Ԡ@D/(h/HF?"@ A86//%IHtyp*H(I@&L/0DMN+QS@I/)Y/\J@.@D/(?/ͷkibEcCd[#!^g1h Ekm@J/Cs/3vd@/@D/(Y/|_}]~us///ʷ;KI$x/2/;jh@f/8_Z#./;D/۷us@q.njeΩ@.g./Z/g{(Qt.y///////搶@ǐ@@A@+sort_of_sum@!e)o03@@)m!U0=0<@@0;@!V !T !H)m0'0M@@)lB0@G0$0#0B0y040Z@@0- 0"0.0-0'0"0.0K0s0r@@0J@A1 =;64.5,6@(@@!s?@0g@@*@J0b0a0@@0`0ZT@A0W\0Y @@A@5sort_of_pi1_range_aux@!e)0@@)ැ!t00@@0@"Ts !H)ݠ00@@)B000@'typ_indD%#!u @00ߠ0@@0@*0,@I0!s2@0@@+a;0Ơ0Š0@@0Đ0E@A0SQ@>A01O"H01T%@B/*(Ȑ"H1;@05a "e0d@0/@DjhA0(@:J@0)@@+p1-1,@@+o@U@09@@{@|@}@AV00 `@)False_indRhH\@AM1 1JwFuUi@CsnlDB @@0m@D>1(;7,,*,,,++)&1/$^*:!T^@*1%1 1+Y@B1)Ȑ"H2b 0׷b@0@D`1:(@R@Z^PPNPPPOOMJ1CSHЩ0B1E۷)Է*ͩ˰1S1R&IHtyp1ݶ@1N°1d*뷐**䰩**1@@*@B001u&IHtyp2#0_0 11r&IHtyp3@ 0کאՐ1ϷW@C-1 Ȑ"H3! )0*$B@0@D1(`@)@*1 0091=;)5)7.,_:@]  @1%C*E:1$1J@F11Q1O@r!2U01"u0\<_a@D10:53 h 1F0e k@16@D1(G1<Ru:w@*-|1W1}Luc2v111h@fXVSiQ0KY^62 Pa٩*x2 !12&IHtyp4@~pnki/-1e*x@**}12"V"H4@E@GQ0*1"H5Ʃ S-Ȑ"H6oΩT*p1@1@Dn2H(g\\Z\\[[YF2I_Ta2K/ڷ޷԰112] ư.01˷ @1@D2f(,zzxzzyywt2m}rװ1l2oS*ͷ)'%ѷ$)]Է\12w2| N S1 1Y*1p 4@1@D2(R2琩 ݐ262-+y$22N )@  /F2'C7222;9@  ?$B"EG@H2&2 N 12dQ o@2@D2(-2ީӠ"8[2ηfd_]r^)_VT22ܩ22׷%IHtypJh@Hk2A<:7Mp5221Wu&UxN2PKIȐ!o33.@@+type_sorted12u͠2e23h@"or@n p@"ex@ehf122xYz@&or_ind svt122guTS Q%Terms&Lambda@@$term@@2@DW31(PEECEEDDB432H=353:m%@&ex_ind°.ѩ12-J3R  Ȑ!aB33h3@@i+11V3Y@!;@Ͱ.԰1@'and_indжͩʐȐ+А M  32333$ũ@J30é  3#!A@2@D3(_3 -233><75J67.,333a<@Զ  Br83"3J*H@(K3_!k@23*xJ2P@0S2)$"5X`O@2Z23M3ڷB`D@c/d9"s04y@$%n,:,L2s333ߩKn3,>/r33333333吶~|wuov@k>@@A@1sort_of_pi1_range@!e-n42@@-l!t4<4;@@4:@"Ts !H-i4#4I@@-hB4@I44!s@4D@B4{464\@@4/4$404/4$4M4u4t@@4L@A4 43@>9718@-@.򐩛@B4Y4X4~@@4W4PL@A4N@@A@5sort_of_pi2_range_aux@!e-Ҡ4@@-з!t44@@4@"Ts !H-͠44@@-B44~4x@'typ_indD%#!u @44Ϡ4@@4@*4,@J4!s2@4@@/Q;444@@44E@A4SQ@>A41O"H01T%@B/*(Ȑ"H1;@4%a "e0d"r@4@DjhA4(@:J@4@@/`55@@/_@U@4)@@{@|@}@AV44 `@)False_indRhH\@AM44JwFuUi@CsnlDB @"@4]@D>5(;7,,*,,,++)&5/$^.:]@.555X@B5Ȑ"H2a 4Ʒa"@4~@D_5)(@Q@Y]OOMOOONNLI52RGϩ4A54ڷ(ӷ-̩ʰ5B5A&IHtyp1ܶ@5=5S-귐-췐-㰩--5@@-@B445d&IHtyp2#4N35n5a&IHtyp3@ 4٩֐Ԑ4ηW@C1 4Ȑ"H3  -4##1@4ޠ@D5(`@(@)5 /4(5<:-4-6-+_9@]  ?5$B-D955I@F55Q0N@r 1T45"u0[;^`@D54942g 554Tj#x@5%@D5(G5젩;Qt9v@-1k5F5ݷ|Ktb1u555g@eWURhP4JY]55Oa٩.g5!5w6&IHtyp4@}omjh/14d.w@..l5z6V"H4@E@GQ4.5"H5ũ S1Ȑ"H6nͩT.o5@5@Dm67(f[[Y[[ZZXE68^S`6:.ٷݷӰ556L Ű.45#@5@D6U(,yywyyxxvs6\|qְ5k6^R*̷)'%з$)]ӷ\56f6k N S45Y.5_$#@5Р@D6{(R6搩ܐ6%6,*x#66N (@ .F1&C6666;8@ >#A!DF@H66M 56SP$^@6 @D6(-6ݩҠ!7Z6ec^\r])^US66˩66Ʒ%IHtypIg@Gj6@;96Lo46w60Vt%Twy@I6RMK#! 6`!$@6>@D6(      _  6Tj~6\3/-vEtm6ojhȐ!o#77=@@566s67@4@ #@ @566u@&or_ind 45 66ʩVW66@vus@6@Dq7;(j__]__^^\N7<bWߩkl5607E7J)@&ex_ind2756=Ӱ56ک7h6ηȐ!aB7à7~7@@/56|7o@%Q@ݐې3 ն䐩6 ܩ@'and_indж)/ /06 z:Ơǐ.07 ?@5ЩА);0@A67-P 63V09\!6YAd).  jR n5@7)@D 7(J/6_7ͩ7Ր6cCY|A)p  777777Q}{777m@$][XnNb`C7a7Ry@w7p@67i@6xsqnlf@66783"s0U@) )0y068&8$8g-38*88)8"88)8(8"ɶ¶ö@@@A@1sort_of_pi2_range@!e18o@@1!t8y8x@@8w@"Ts !H18`8@@1B8X@J8\8V!s@8@B88s8@@8l8a8m8l8a888@@8@A4 8p@>9718@-@3/@B888@@88L@A8@@A@1type_range_subst2@!t8ՠ8@@8@@(term_ind0 !u!n888@@8@!s@8@@8۠99@@8@)8٠8ؠ8@@8א8ĩ3@A8Ω8:@6x888ݩ 8޷'%5B31"s0*!H)K88><BO"n0@97 4VX@B8*Ȑ"H0=@8[b 96f8[@8V@DljA9(@RM@8U@@`Q@8T@@v@w @x@A=9 Z@)False_ind`Y6l99i9h@@6@ @9@89v9u@@69/8թ|918ש 893889@@6~9;8ᠷ6}6|9Q89S89K6x`$@6t8ϷX @6q88· $l8ũ9e9^"t1ɷ$IHt1"t2Ϸ$IHt2Ʒӷ·ة@C89}89~8@8Ӡ@D}9~(z@z@@xusuuuttr9|o̰98r998@B95931/-@D9 9 9 9F9@8@D9(+*9(ް999V9TRPN"t3!$IHt3%  *,@E8909ԩ28`9G9m59*@9%@D9(Rķ@:R9̩>98b9R*~9ڷ|Cz8xEv::G86/-*L#999\999SHUJJWHF?=:\^@G9b:0d9y9g9\@9W@D:(-:Mo: rgtiivge^\2Y{}@H9: O%#99!9{@9v@D :!(L:"l:(#IHt}{Qx@I:?nDB9ݷ@9@9@D?:@(<44244431k:A;.:Gn@J:\a_9]9@9@D\:](YQQOQQQPN:^XKʩ:d:d@@A@@@:::8N8M5S5R331@1?..+l+k(ː(ʠ"n"m!!  baѐРߐޠEDlk   B AXW! @@@@'G'Russell&Lambda@0bP_xNr:Ϡ:Π&Lambda@0'攆Tgq 1'Russell&Lambda@0—ˁd0Z̔Ġ(Coercion'Russell&Lambda@0|¨i%ż=1C,Substitution'Russell&Lambda@0MiegL4-(Thinning'Russell&Lambda@055kCrU@*4> ?&Lambda@0/{Pϓ9!­4`&Lambda@0beӯD Ơ!K&Lambda@0 F1t"P(Conv_Dec&Lambda@0rǰ*GJ%Union+Wellfounded#Coq@0ޫ.6CĚ~Z2Transitive_Closure+Wellfounded#Coq@0߭_^ n}DW$^.&Lambda@0*}Q;</&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>E1Z0KH!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ԖJI@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>Ǡ$Init#Coq@07^kO(>=40֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@>렠>(CONSTANTA@@A#_50)IMPLICITS>@>AA@@@@@@@>ڐE@@@@#_51/ARGUMENTS-SCOPE@)nat_scope@@@@<0/@A#_52*)@<(@@@E@;@6 @7 @@@@#_87@@@@@@@@A#_88@D@@ @@ݐF@@ѐH@@@@#_89İ@$@@@@@@@@@A#_90젠@ꠠD@@ @@F@@@@#_91@@@@@@@c @A#_92@mkD@h@c @@QF@@EH@@@@#_93(@$@@@@@@@@ VU@A#_94PO@ N ȐD@ Ő@  @@ F@@@@#_95X@@@@@@@ @A#_96~}@ |@@@ yE@@@@#_97{@@@|@@@@#_32-RESERVED-TYPE!i @@@C@#_33!k#_34!m#_35!n#_36"!p!#_37(!s'9x#_381!A01#_39:!B #_40@!M#_41F!N#_42L!T#_43R!t!#_44X!u'#_45^!v-#_46d!ec@=#_47o!f #_48u!g@-':2<7GARL]Whbsm~xŠР۠栠 #.(93D>OIZTe_mjxr}ˠؠ堠 )8.G=VLe[pj{u ͠ؠ㠠  +%60A;LFWQb\mgxr}ʠՠࠠ렠    :q  "  - ' 8 2 C = N H W S _ \ g d r l } w                Š  Ϡ  @&0:D:O@0=jzii=E%