]5D@Р(ListType&Lambda@B(ListType%TList(4!A@A@@@@@#TNl#TCsBA@@C D@@AB@@B@@@@@@AA@@AB@AA@AA2@0@@@*TList_rect@;SR@A!P!tBX_@@V@;gf@D!fE@AM !aJJ@LUE&@BFY`@@!F797@@A@B@DCAxxq-JHG)-\@A[YW@DOMPF+@ D+g() ,2'*(=>3 &''Q''+g$'+7 Sg$'.A1@@@@)TList_ind@Ԡ@A}A~@@A/@ <+g() 7%'B@@h@@@@)TList_rec@@A@,  @A W@ <+g() 7%'(h@@@@(Tnth_def@Ҕ$#@AA@!d !lِ@)Datatypes$Init#Coq@@#nat@!nA@D("!xԷ"tl@@@@@A@D)H4= > 3& ''Q'''Q''+g'+g'+Sg+7 S'+7S''"@@AAAĠ4?AONM@@L@@@@@$TIns(4@@i@@q@@J!x@}@@ @ @@A'TIns_hd'TIns_tl!l&)Datatypes$Init#Coq@@#nat@A8@@B+0!n!lF"ilL!yh@CdkéFfBq$M©'PC@@BAE@@@@@@BAABE@AA@BBc@ޠa@@@@(TIns_ind@Ô@Aö@@ֶ@D٩@AKG@@@ @ְ@BJC@!(& #* *АI-42@@BAECD* K  L@=АM@GE?BIG?5M.?EON !MАNMPWORYWBQTY5@A:b5r"o#gE@ +g(),J'(*()=">3#' >$'Q''+g() &'+7Sg +7 S' +7 S'+  7S'&';Aba`@@_@𠠑PH@@@@'Tins_le@g@AYS!g{rD!HBIk@(TIns_ind$'jdztx@%Peano@@"le@%Logic@@"eq@@ǩ©˷O"H0#Щ@Az˷5Ƿⷐ"H1ն@:1(*&"n0@@D@JCP;?© ="H2]Ȑ"H3d$Init#Coq@@e@A@BAD @r!@l&,nRfթѰ3j٩հ  91&}&>=Ȑ"H4@&eq_ind.!e1)Datatypes$Init#Coq@@#nat@@@D.?N@%False@@E@$True@@Ac[ @)False_indQ! 6o% 3<k!m_bR:czg<ggs;j9@F@D/|.*%}."sՠsD|ΰT1uK5 yS`堩XްSOBk`F oq@ik|ݠ"n1"Le%Arith@@&le_S_ngnĐ@A¶9ȶ{@5Ķ@)Y֩ ]ܩ@@A&$Init#Coq@H@AA@'Tins_gt@ɔ@Ab۷`^\$ӷjY@V@"gtQHH B 0@b@AAD @n@fک]ʩ_ʰ$E!@@D-6.ߩӠzq,sް08*Y!5\0ɷ1@ @DCLD頶f:AЩ;QqEQDF -@%'[^) + _bHY_=i÷hUN_@mq!_wgI@C@DZk@y}ǰA}{M15.}کذb6=o@Aa[xJ@@(vϩxSL@@A@AA@'Tins_eq@@A|)k'%#$GƷ1 nuQɷ*[{ؐ@AҶֶMƶܶ@I0k'm쐐@@A@AA@&TTrunc(4@@@@@@Ӡ@@@@@%Ttr_O%Ttr_S #!e-!k﶐!e&!f%!x%@(+2թoߩ:03Ck*AE@@@*@,,,,@@BAABE@AA@AAD@[@@@*TTrunc_ind@+}|@A*@J@N@>Q`g__&R$!<@2@y@bel@`4^>jgC@WhGHIw~|V^oN OPK~@@AAECDj{ZB[R@(OJSFWUJRZmUe1TCtƠ@AsI`FaC-@ d+g() ,I'(*()=!>3#' >$'Q''+g() &'+7Sg +7 S' +7 S'+  7S'&'(iA@@@xLPܠ=,@@@@*TList_iter@@AB@!B@G@@ɶ@ߐ@G@ A@D"hdܔ.-@A/54@G-@ +g,:'(*()=> 3 %''Q''+g'+7Sg+ +SS'+7 S'+S''+S''$A̠GF@G |@@@@(Tfor_all(4@@3!P@@6M@L@O @'Tfa_nil&Tfa_cs V@HF@g@AN`!hS!tR@T\@U_ Z]A!@D@@@@UUU@AA@@AD@AA@BB>@<;@@@@,Tfor_all_ind@V@AU@ԷW@zַECJ>^%@;@`@p@;@=EnIA@Av=wMT{8|2RC@@B@DAD@$f0÷/ƩƩJȐ@ANMLH.@ +g(),='(*()=> 3!# ''Q''+g()$'+7 Sg+ 7"S'$'-qAܠsT4@@@@-Tfor_all_fold(4@@󠰐!P@@@s@@ @{z(Tfaf_nil'Tfaf_cs   Đ!!h!t@@ ʩ}AV@D@@@@@AA@@AD@AA@BB?@=8@G@@@1Tfor_all_fold_ind@ih@A@EA@OM@@k@UA@*+^ΐ/0c@@B@DAD9>@<5mm7?ɷnAusC&:`xR@AQ;R?@:(@ +g(),='(*()=> 3!# ''Q''+g()$'+7 Sg+ 7"S'$''^Aܠ!T.@@@@$Tmap@C@ !AҠ@J!B۠@J!f@!lB@@@"@J @Ji@@A̠@D!t!ߠ%@A ޷"tl-0@BvR"!@JP)(@JN@ ,>g(*()=> 3  :'E'Q''+g7$'+7Sg+7S'+ +SS'+7 S'7$''6ARmh8^b@@yA2@A@@%TSmap@C@ !Aa`@L!B@!f@FF!lBls@@j@J$List%Lists#Coq@@$list@W+@L)'%#" A\@D!t&g iq$@Ar p"tl4'/@B,{)0~U@LS@ ,>g(*()=> 3  :'E'Q''+g7$'+7Sg+7S'+ +SS'+7 S'7$''/AJid8^Z@@uA@A@@)Tfor_all2(4@@@@!P@@Ŷ@=!B@N!A@@  @@!PO(Tfa2_nil'Tfa2_csੜ Aߩ #!*("h1趐"h2붐"t1"t2$@@ 0B  B>1@F@@@@@AA@@AF@AA@CCZ@XV@TP@V@@UA 0@A@-Tfor_all2_ind@[ V U@Nk ^ ]@N!P@ >@ ?A@B f m@@ d@ D@  !f N@A L Q m l kⶐi@ \ _@$@@T92 e l@4 e h=/@B4 :  nB@!F!tA '!P  +   ,   / 0)_X    $@@CBDU@5\`      BHGFadE!yi  +FYi  r R Y       @ @ 4@| @ =z Ơx ©{ ȶw yv zu Wu [@ ]  ֶ@w  @  ݩu j x  k o s y      @ 0+g(),B'(*()=>3"#' 'Q''+g() %'+7 Sg +7 S'+  7S'%'pA𠠑p@@A @A@@@@ 0 . -   w v N M - ,BABA~}@?蠠rqǐƠXW  $#,+@@@@&MyList&Lambda@0 F1t"P%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, "Lt%Arith#Coq@0]2V m l#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.ю@ A0KO-!hϲ/>C&Specif$Init#Coq@0|GU-lȮm /07^kO(>= 0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@  )INDUCTIVE@@A@    @@@#_11/ARGUMENTS-SCOPE@ @ @*type_scope@#_12 @ @ @A @#_13@ )@ @B@@@ (CONSTANT @@@#_14-@ =@ +@@@@@ @#_15>@ N@ <@@@@@ '&@##_16O@ _@ M@@@@@ 87@E#_17a@ q@ _@@)nat_scope@ y@@A@  h f f@@@#_18x@ @ @w@@@@#_19@ @ @A@@@#_20@ @ @B@4@@@@@ ?@~#_21@ @ H@@@@K@@@@ @A#_23@ @ ^@@@@@e@@ g@A#_24ٰ@ @ qנv@@@@@}@@ Ȱ@A#_25@@  @@@@@@  @@A@   v v@@@#_26 @@ @ @@@#_27@*@ @A@@#_28$@6@ @B$à@@@@@ f@ #_299@I@ o7@@@٠@@@@ &%@E#_31O@_@ MO@@@@g@@A@ V@@@#_32f@w@@e@@@#_33r@@@Ar@@#_34~@@@B~@@@@@@ji@f#_35@@@@@@@@@5@@A@: @@@#_36@@D@@@@#_37@@Q@A@@#_38°@@]@B @@@@@@@#_39ְ@@ Ԡ@@@@@@@#_40(AUTOHINT@#coc@@@К#181#182 ߚ#183 ذ#181#182#183"@A @@@@@@@@@@@A@@Р@@@@@@@@@@A@  @@A@ABC@@@@ABCE @@@@ABCP@AК#184#185#186)#184#189#1876#184#189#188^B]X@@@@o@@Au@@A@IH@@ABGF @@A@GF@@A@G@@A@@R@@A@@@@ABCD@ABCD0@@A@@AB@@@@ABCD7ec; c>!@@A@@A@@A@BCD@ J@@#191#192#192@A@@@@ Nf@@ D C@@A@AB@@@AB,  M@@@AB3@A#193#194ٰ#193#197#195#196AB@@@@ @@A  z y@@à z y@@A@AĠ z y@@A@Š z @@A@Ơ@A’Ò@@A@@@ABC@ABCD*’ÒĒŒ@@A@@A@@@ABCD*  .@@A@@@AB@CD@#_41r@#cock@ @@#199#200 #199@Afa@@@@Ǡ  @@Ƞ Š@t@@A@ABǒ@@@AB- ȩ @@@AB6@B#201#202y#201#203#204;B@@@@ɠ D@@Aʠ @@@A@ˠ @@A@A̠ ꠩  @@A@͠@ʐ@@@AB@Π@? @@@@ABC@ABCD,ɒʒ˒̒͒@@A@@A@@@ABCD1! 3!@@A@@@ABC@ @@#207#208 6#207@A@@@@Ϡ @@Р @϶@  @@A@ABϒ@@@AB0Щ @@@AB9@B#209#210#209#211#212>B83@@@@Ѡ ̠@@AҠ נ@Ѷ@ אI@@A@Ӡ Ġ @@A@AԠ Ġ Ð@@A@ՠ@ҠӒ@@@@ABC@֠@D   @@@@ABC@ABCD0ђҒӒԒՒ@@A@@A@@@ABCD5" 7"!@@A@@@ABC@ tji@E#_42@@ ~@@@ |{@E#_43@@ @@@ ~@@A@  [ [@@@#_44@@@@@@#_45ɰ@@AȠʠ@@#_46ְ@@Bՠנ@@@@@@@@ BŰ@#_47@@ K렐@@@@@@@@#_48@#coc@@К#215#216#217 #215 #216 @A@@@@נ ؠ @@ؠ  @@٠ 젶@׶@*@@@AB@ABCגؒ@@@@ABC>٩  ߐ@@@@ABC 9@BК#218#219#220 װ#218#221#223 䰚#219#222#224VBlg@@@@ڠ / 6@@A۠ 9 8@@ܠ B@ڶ@@@@AB@ABݠ @@A@ޠ ! @@A@Aߠ ! @@A@ ! @@A@@ܠݒ@@@@ABC@@a)' ߒ@@A@@@@ABCD@ABCDEA$ڒےܒݒޒߒ@@A@@AB@@A@@@@ABCDE HF, HJ,! FJ-"@@A@@A@@A@@ABCD@@@젠z+M "-'82A=LFWQb\mgxr}ʠՠࠠ렠 %"0*;5H@WMd\qi~vȠנ栠("3->8ICTN_YjduozǠҠݠ蠠      %  0 * ; 5 F @ Q K \ V g a r l } w          @ӠƠР*@0W sy^O-p{r