r?TQ+Р%Types%CCSum&Lambda@B%Types #env@$List%Lists#Coq@@$list@%Terms&Lambda@@$term@@@867 gD$L@@@@)item_lift@!t$#@@"@!eBGP,@@F!n)Datatypes$Init#Coq@@#nat@%Logic  @@#ex2@(!u+@"eq@1D2@$lift'@BBA?&MyListd@@$item@I CA|{8@@y@TXVQOJHA@ +g() + +77&' 77#'97!77&'eHKPmt1|AxP@@@@"wf(4@@@@@A&wf_nil&wf_varWƠŠ@@@A¶!e!Tʠ@@@!s @$sort@@lzA}F)@@BzA@@4@D@@@@@AA0@@@ @    @$   @@,@@@@@@ AA@@AD4#typ@@M@@P@@s@@@@ sr0)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@ɐש˰ک`kBepA!e@ܐްs~Cx!e@!v*)(@@'@!t@@TEB !eж!T"s1@0&(!M¶!Uƶ"s2@HG>Đ@@Iİ T;J C>F_!e !v!V@mUcb!u"Ur@0n|p;6 Di @%subst|!e5!U"s1@}!u'@!V."s2)@\9gm*!v@@Ke83LMEQGsv!ey!T]"s1X@ٰϩUѶ!Uk"s2f@\vbᩜgj۩o춐!e!T"s1@!U"s2@˰ ڰթY!eѶ!T"s1@1':!UĶ@A$5\H.@ƐS!e!tᶐ!U@!V@EcJ[ZݰKIlS!e!t!U@!V@bgxwhJ$!e=!t!!U%!V)@@)Reduction&Lambda@@$conv@!s3@rm0kxrC'0BBEIGKGGFEEHA&@L0ABBBCEDIEGFKGGHGIFJEKELH@AB@@@@@@&wf_ind@!P@BDML@@CA!fՐEDC@@B@AAc@@?@!e! }@|@@+@A@A(@B#;!w@ @@@AD)H@ א!Q@OʶHF?O:Y9D98@6,4.2S'@Ml20:*=@ +g()= ># 'Q''+g()$'9Ad@@@@'typ_ind@!P@B̠ՠ@@˶@@@@@A!f@@)@l`o@A@@B @A-@@C%#7@"@@@<@E@ްdE@B?=QL2@@BA?@{D^`@,+@@)@Bo@Mu@%z޶@O,ZǩP)@C4@F9g^@B@@L@2N@DЩ@Vih@f@Ȱ`"@k@O1¶bu@sNq@QLp˶@{]& @T--&U]@E@G<.ڶ@@O6@K@x@u o]F@@gN@@TB!-/qö@_m@{b@Ȱdu@0y YD$@HCr0*+,@ܰzQ@{V:@I42F@AB@@İ"J@JFDXRST@@@7@@@@@EV}C@!Fk>y?z@֐rEFGA@/CDzMN@0!wSR jib!icYXWkUJIH[opZHW0 ԩ CE*)$#n9'$ )l+ nA$#ӷnͷ~7з+7CԷts׷2,@/<^ʐb+H/dh-АL3A@hC<3DN_$>[өB_FTS HU=$"MjQ_^  ѩtWh Yv][_mlon dhvu-fw'!"#mq~ .()*ַ!cӠ{Pߩ(XR}ZT\F@D@?@AK97K@75391JH\@HF4JB[Ym@Yö:93n@3̩2Ѷom1|10@/ܩm޶@ԩs000C@B1@.;臭@WF@5Mb6^5gש3jǶ¶3Ķ@u"!@0%4Ͷ4϶@-L/@h%R676F40ܶښ@;IڐK@ZARa@WF@[ܶr@ $gi@Q(du@ΰztGl@T{BUVTQDWT/-A<@-@3M@ﰛW2tB@ᰩa~L}ߠΩTdbv&q&%@$ѩbӶ@#ɩhڶ##6@5$g橜w@.⩜Q\\[@Z@C[@kZ @He'Q#ӶњS@M4 ED@r6S=KrΩ>[n@hO&`_@Qn,XfQ꩜ȐZeސ`d"!@Ұq@Qqu@Рy˛@V{@UQ%VPW]5I D F Q@ H+g()              , 8' (*()= qv\B >   93      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'&'AAAB0A o l p ؠ" @@@@-type_prop_set@!s98@@i@!H @'is_prop%Logic$Init#Coq@@"or@BAA@D@$Init#Coq@@@ @"eq@./@B 3 4@C!eBq@@@ @@A"K@@AR@A,"H00" "H1>@(eq_ind_ra3db/>'AADC26;64.p=1ABNM<@yw@oB@@:5U3b/@@A@+typ_free_db@!eBޠ@@ݷ!t͠@@@!T !H@:Ap~}@'typ_indD" @'free_db@@@&length("e04"H0"@@A9:@4@BG  @CN)Datatypes$Init !@@#nat@"t0U"H1b@ Ȑ"H2CC@D@ <@@@mo @@tөt@렩2@B~ K@@@tmix@B !x7%"H3 @B!@(item_ind  }@$list@fe%Peanoe @@"gt #!l"Gt%Arith @@'gt_le_S~@AP 8"Lt @@'lt_O_Sn 1!n!yݷ` ? M"H46Ơ _ F-qq̠H!@*le_lt_n_Smz ^( ^٠ j U b"T0H@ө ` n@A r$ hM K Im@BGM  TH }>#MF~ "H5  *,O @CЩ3ci  =5F7 ,2:@<1o A@F , /@DЩ-Nx  &XDPVU&SLTI E é?;\ ɷ']Pb~S@ `>I< ÷e"H6\  ֩j@`ɷ"H7XTu ⩜]@E[|~@G ੜi@G F  ^^51~  zv @FP  ttKG$[     nZU   "$- *@H$ ! : .̷qķŷƷ A (M 8 7v F@IK . ?ݷշַ׷ @JV 9 Jװ ] D R @@@ g N] * Oܠ  R o V d c@@@A@&typ_wf@!eB   @@ ﷐!t ߠ @@ @!T !H@ LA   @'typ_indD"  @ "e0)"H0   /  Ҡ Ѡ @@ @"t03"H1@@     ķD"T0> @@ L@#8  ũH@A ɷ3 ط P R "H2K F E @@ C@Bc   "H3Mj  "H4aq    "H5[x  J [Rz |\qJ2  .w  @F  'r  p>QPpM^F?   3~ ۷H[1/ X-+x"H6Z #@   "H7- ,trqngcbua_   9tWd *Ƿ 4 B}@C}yʷvt <  M@Bq aٷڷ`۷а h O@G b aː S doʩ߰ w ^ l ֠ @@@  h D i ; }  p ~ }  @@@A@'wf_sort@!n @@ @@'nat_ind !eB  # @@ !f @  @@%trunc@  @@ @+@B   @!@ @ !t@@ @   N נ@@"ex@$@ d@!sA b ө0@A IGAH!HA:4`@A  Ȑ"H0 &Lambda@@L@AAECDrp!l$List%Lists@@@[ @f_   @F@ $@ #+@ & @@^ ն[m@Yp " p4VNKOI^ G '"e0):@B"H11 4 ""H2$6 + ' m@&eq_indQ"e1$Init#Coq@@@@@A@DA Q@$True@@ț@%False@ @Ar Q@)False_ind5Rd U 03Ug  3N i k j!k޷El"f0o!x·  j xIf kIk}~@B w s B"H3u x G@'f_equalRP@H@D   U    d   fbl# h b۶  e޶   a@Զ@ Rĩ޷ߩٰS ط<  ?  <Щ  {@@  E   Ͷީ'  & Ҷ@V%  %&@) ۩\+ ++5.  @ACDYW@ڶ@ذ] @۰  @ް T@6wF G5G@3J }LM 2*'+%Y $ z۩   C٩  Q > _@Yi G Xj@Vm oj3UMJNHX G( Vy*u-+@p ^ 2o@m 6) +JQ{ >zMx A° jUVQ@ ?@BADBDLJ@ \ Q P@?Q F԰cR@D Kj\ (~ ^`^2Oa X eW5b7kk.llk#Coq@@a@A@B@Dzxx z ʷ}{ } n r, m t~OӷFA@D  Oڷ   NZ  QZV@ >hРȷɩð_ ·o [lKvޠַשѰϷ| @@ ,AD@ @ = -尐ag {ԩ)@AN]4 5BA_@D ؠ@(@\+ڐ^    `A H 7   ܰQq@  sB1 jY"e2\iA@D  O  Q4b |kXlyA@D _  a6cd 9fwUg@ e,B !@ VNKOIhH7) d,/->T2oAWPU l@Afcgag=` @ s@&sym_eqC )E ǩ GHWm :Wk@yvzt'rSG@CXH@A ^ ` $  &bcdec"n0ٷ!y= ]ao;]otbL{{>|A @D F)YطKA@D  U mY@ W  \p   XՠͷΩȰ Ʒx s̩o (  g,$z'w(u@m@Dld@-jae^  x   "EGŐƐǶ L  Аݶ@ҩU$@@Щ  ݠ{S  - |Xz緐"x0:xܰav߰to lcm@@DEϩJ !`Y _  ɶ@N^M_@Kbd(JB?C=>;5tm  @b&_q@]t&v6:\TQUO M.@)@1  @"4 ] ]@y^v@t= @ fQskhlf7dEfF H v J  L L   `NPO^3@ @W Xi~ O|/@Kss@N`nn@@@j4|-bpsujݷ۷ܷ̩Ɛ RACD@y@wӐ@v@w@t߶@ ܐ toj 㐩!lokoifd@\@D[XTOSLyI)GE!CA?(=r7?"H48ة6556@{@D3Ƞ21 @B=ECN3/-@+%@()"*X$=޶$<92,:@)$6@"99/" %G@F@ 0B@.EEɩOHB # 3 ?OU>Pϩ<SU[ >ORBàBD @¶@@ ^LDAE?= r [ Ph9on++,A@D1>3%w45A @D:E.) d0|@/AQ2X|tquoYm<N?P`SQ}{yHnک%s" @@De  fh(hxj.*0]lmnom"n1 cu"H5hĐ{DA@DL GڷMA@DPީ[@Y4$öՠͷΩȰ Ʒ"soD5) 7"/(''w(u@m@D%r$.{031< 2é' D *@FAD31@@5թU$Ey * ˰@`/P%EFSAp@Dj9F! T B :Z zIɩq`anA@DT7eg֩~mZn{A@Da6.ctRd@NFCGA? _"!%# K&D\@&ex_indXUYS Qe]J^Ca^b\i[<;*f;@/"B BADEzrosm k@:ooOi  TTVةfXYZ]@Oa@Rש%{\noO 1) s133uwvHZ@'Ƕ@| }%O@kǐ@"@#@ Ӷ@R1@@A@@@ ܐ۠WVݐܠXW Ӑ Ҡ K J<;%$@@@@0 F1t"P$Conv&Lambda@0*}Q;<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>E0KH!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Ԗ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,   #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Ȯm07^kO(>=6 ! @0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@(CONSTANT@@@#_30/ARGUMENTS-SCOPE@@@ #_34 @6@@)nat_scope@)INDUCTIVE@@A@@@@@@#_35.@Y@@@#_366@b@A@#_37>@j@B@@@@@#_38J@uA@@@@#_39T@AA@@@#_40^@AB@@@#_41h@AC@@_@@@#_42v@AD@@@@@@@@@@#_43@AE@@@@@@@@#_44@AF@@@@@@@@@@@@#_45@AG@@@@@@@@#_46@AH@@@@@@@@#_47ǰ@AI@@@@@@@#_48հ@AJ@@@@@@#_49@AK@@@@@@#_50@AL@@@@@@@@@t@@#_51@@~@@@@@@@#_52@@@@@@@@@@@@@@@@@@@@#_53(AUTOHINT@#coc[@@@AcAA!1{AA @@@@@@@@@@@A@@Р@@@@@@A @@B@@A@A@A@ABAB@A@B@AB7 ϐΩ̐@A@AAA!3AϤG㠜@B?:@@@@C@@D@@C@C@A@ABCD@C@D@AB0 @C@AAB!5ᐚ!7!8wCvq@@@@E @@AF@@E@E@A@G@@H  @@I@ HG@E@G@ABH@C@ABCD"ВEFGHI@E@AF@G@H@I@ABCDD#@E@G@H@ABC@f  @A#_54@@p@@@@@@A#_55@@@@@@@ *)@A#_56&@@ @@@@@ ߠ:9@A#_576@$@ 預*@@@@@@@@#_16-RESERVED-TYPE!i @@#_17 !k #_18!m#_19!n#_20!p#_21%!s$2#_22.!A-D#_237!B #_24=!M#_25C!N#_26I!T#_27O!t!#_28U!u'#_29[!v-#_31a!e`#_32j!f #_33p!g@ȠӠ۠ࠠ렠 ("1-<6FAQK\Vgarl}wĠϠڠ堠 )!8.E=RJ_Wldyq~Ǡ֠堠 *$5/@:KEVPa[lfwq|ɠԠߠꠠ '!2,=7HBSM^Xictny2ˠ֠ᠠ젠 @à͠ؠ^ @0kk@1;ZNp9