rUQР%Depth'Russell&Lambda@B%Depth *coerces_db(4@@)Datatypes$Init#Coq@@#nat@@@%Terms&Lambda@@$sort@@@ @$term@@@@@#Env&Lambda@@#env@@ @@@"@0A,coerces_refl,coerces_prod+coerces_sum-coerces_sub_l-coerces_sub_r.coerces_conv_l.coerces_conv_r!e!A*!s9@%Types'Russell&Lambda@@&coerceBCBAAAEАD   )Datatypes$Init#Coq@@#nat@A!eN!A[!B_"A'c"B'g!sv!n@HАG.F83@G5;@@NIC>"s'!m@MЩ$List%Lists#Coq@@$list@BLJ0d_@s Klq@! NxsPАOF 3%B#Max%Arith#Coq@@#maxT!e϶!Aܶ!Bඐ"A'䶐"B'趐!s!n@@Ű@̰~"s'!m!@}Щ|gqpζ@Ⱙyoڐ߶@#znඐ#s''5@@(sum_sort@SАR;GQ|{Ӷ!eA!UN!P%Terms&Lambda@@$term@"U'^!nz@!(rC%@9۰o+)1ByH64B!ey!U"U'!PHHG$@A:5/7-9+;4&2@Bd@@@*W)`[@/\-dc@-#/&_@2(+f&O$M@Щ! @@@Bf-;~y@Щ k ! @Mp 7"@Ru<+"SАQ{@F Gav@BF@@9xvu[ZYwX@Wzy@F}@P@LHG@aЩFZkPy@.ЩKpI_^@>@:@@ذyŶ@UͩWАT@GHRI\کA>eͶɶʶ̶@蜠@C@@}@BƩ@HgԶ$"@ "@% @װ  ީ.@#@)@$Ŷ@u@@@@0@e.)*(+$!@'@#@@DB@ G@#E@!F,K!tHI-B?!ca_ihc3cakj;ZUV:OL  @@@EDGfabF['X@UIyw{QpPkOd'N~WvVq<r;s:tXm9j+82Y^l5\Ra/(v's4AЩ&Y:9h?f3yBi!?<\D&-TC9BbqV)F0Eetrq6J-[@|{a`_}^PW%X#IHUbЩGQ[Z`!aWdƩ^P9LJQxg]Y<M{j`iZ@SX˷rye ݩfڷηɷʷ˷ݷt[ uݷطٷڷӷзַҷη̷ĩ*0&߷ݷܩ{0  5 @@@@@>@$#! ))(@3<7@ 8 @?@  =@ F.,@Щᰛ@YT@Щ谛Ga`@*O(b@5Z"3oSАQ/I萩YWvWr>t>v>x]r?p@?cb@/hf@f]i`@mDdg==@XЩ>TeJs@QЩFmF\[@NNGu@YToͶ@ն@fީWАTSRQn쩜SQyĶšݶ߶׶@@@ϰ͐ߩ. >= ϛ@" *A%@&$E.@/-DB8W:3/103-+@MW@!%T_@(.["\@:53@ 976f@Q.=;:R1@ܐAJHgHc/edgLa._@NQH@UYO@\bV@CZig@Q>^mj@vbqSF<etu{PR}_R_B@ +g(),'(*()=YMi9>        3          # '>      3           # '>   L   3#' >   L   3#' >  :3 3#,'>    :3 3#&'> #' Q''+g()# '+7Sg +7S' +7S' +7S' +7S'+  7S'#'RA𠠒p𠠑$@@@@.coerces_db_dep@!eS@@!t9\@@1@ !s @>@!nVUT@@S@!cBpyx@@o@  A!f31f+$"/+@@(B'&8@A&%$..-.@A'@A,650 QOHJLNGEB@97 : C>@?GFAY*#B^/ (IXTMKЩ@@@Bqa\@ vgfayJ{"~O"SQ@F*D}@B@@@B<<+!*YWVxvXWVba@.geUQMLЩKBS8a@3PX1GFC?@a|=WT@GMRND©FCM@CHY WMKRy^gŷ䶐޶߶Ҷ˩՜@CӶ@wֶ٩@B@Hq婜@D޶ )''@*㰩$Щ3@E)' !V#(- 2ٶ@@@$"'@,t,@F,31;:%VT#MN-OHFCAT,U(V$=;@>@CEC(  F@G, MKUOE@!Fxvqorpigdb[Y.^\fe`zx{yrpmkdb@@ED|zwunlUBrpzyttbaw{hJIHGlWnoKZE>=Щ<R32ay,{|78R\D&M<2;[jV"?)>^mkjLC&T9onm%#_^Щ]JTS! © Pũ]^POECJq`VYRFtcYbpV LQķ۷ܷݷη{ ֩_ӷ  ݷ°q nطԷзηƩ;07  ߷ީ0F#"Ӷ|@@ +g(),'(*()=YMi9>        3          # '>      3           # '>   L   3#' >   L   3#' >  :3 3#,'>    :3 3#&'> #' Q''+g()# '+7Sg +7S' +7S' +7S' +7S'+  7S'#'A𠠒1t-1Ġ+)("@@@@1coerce_coerces_db@!G#Env@@#env!T@@-@!U !s @@!HcĠ@@`@U_^Y@*coerce_ind0-+$"#%Logic@@"ex@ȠǠ@@@!n B@@@~|!eO!AH?=:8BP@A0@A)"* -@A&@A!ne!Bh"A'k"B'nec`^~)IHcoerce1QHAI?"H031ŷ"H1:8·"s'"H2|$List%Lists +@@$list@Bt۷)IHcoerce2|sltjЩ~巐"H3`/"H4g#/$Init#Coq@@@BB@D@ АQ@F 㐷#d1n$B@D@ЩRR #АS !  + )!m·#d2mǷȩАT-/2 <@B @@ E N@B<&,D J T  S N  L   % U ] W . , [ c ]'  ' 4 e  - q k~#s''&"H5"@  E w"H6  K B@D@ ]c   #SN@Ggm    *&B@D@6-&.$ЩϰahUx 9 >5.6,АV q w  y}={@9A7АW')~  y?@CH   G n ]   |    :w~!P"U'us   Ŝ|@C(IHcoercei`YaW     зI   ѩI@BBߠ@D@|sltj    xqyo @H   (  z_~|     2  @D       ~˷·A÷Eķ   @=   F S@   ;B@D@   T   6  [  %   @c (1@E     2 - 3!C!D  8  ; Dw  A^)Reduction @@$conv@  b   "     ( W  gB_@D@     c     h mV f  $  p4{@F,       9 F E@G,   0    > M K |  z x   |LJCA;B97@2  U    @@A@1coerces_db_coerce@!G Π @@ ̷!T  @@ @!U !s @ @!n   @@ @!HB # ʠ @@ "@     @.coerces_db_ind853.,&-$" ޠ ݠ @@ @    ٷ B <31$B  㩜D@A 㩜@A    UN P R TKIFD=;     -IHcoerces_db1-    "H0#  ͩ! "H1*  ȩ(  b ^"H2WЩ à   l@@ @B      -IHcoerces_db2S     ("H3K   *"H4R   *f@B4Q          < ; 6baNML   < E @Kv   A IIGCA=<;Щ9     Q L1>     W/-)' o"H5@ o  + \"H6  2 f@C@TSR4      + 7 g e o i iַϷ _ѷ Uӷ· q o x@C v,IHcoerces_db I y m N O ~@B@D [ Y X   "ک     c  "  i @E p n m     -Ͱ w ː Ұ } А װ    @@ @   a    I [   @F4 j ` i         ǩ@A 923-4+)&$,($ɩ     Էb }   (  4  y y       ܩ {        ␶RPKICJA?<:@1    @@A@@@ T R Q  ΐ͠qp@@@@,Substitution'Russell&Lambda@0MiegL4-(Thinning'Russell&Lambda@055kCrU@* 0/{Pϓ9!­ K0beӯD Ơ&MyList&Lambda@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>E 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㾠 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Ԗ80ف.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Ȯm07^kO(>=0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@#_420SYNTAX-EXTENSION@FF@F@F@F@F@@7_ |-- _ >>> _ : _ [ _ ]F@F@@!G #|--@@!T #>>>@@!U!:@@!s"![@@!n-!]@@A@A@$|-- B@$ >>>A@C@A@": D@A@.E@'@@@#_43v@u7_ |-- _ >>> _ : _ [ _ ]j.@#_44(NOTATION@@!G@@!T@@!U@@!s@@!n)nat_scope@@*coerces_db!G!T!U!s!n@@7_ |-- _ >>> _ : _ [ _ ]7G |-- T >>> U : s [ n ])INDUCTIVE@@A@trrrrrrr@@@#_45)IMPLICITS AA@@@@ @@@@@@@ AD@@ @@@BgH@h@hM@i@i @i@i@@@@W@W@@@@@LCH@@M@@ @@@@@@ @ @@@@Q@@@@DېF@ܐ@ܐG@Ր@Ր@@@@EF@@ @G@@@@@FG@@H@I@@K@@@@@@@GG@@H@I@@J@@@@@@@@#_46/ARGUMENTS-SCOPE@ @@@@@@@#_47@@A@@@@@#_48@@B@@@@@@\@@@@b@@@@#_493@(@C@@@@@@u@@@@{@@@@@@@#_50O@D@D@@@@@@@#_51_@T@E@@@@@@@#_52o@d@F@@@@@@@@@@@#_53@x@G@@@@@Ġ@@@@@@(CONSTANT&@@@#_54@@@@@@@@@/N@@"t0 @5@@@@@#_55ɰ@)@@@@@@@@@@@@@@#_56@7_ |-- _ >>> _ : _ [ _ ]b@#_574@@!G@@!T@@!U@@!s@@!n@@ 10/.-@@7_ |-- _ >>> _ : _ [ _ ],#_58(AUTOHINT@#coc@AК!1!2!2!3 $A @@@@@@@@@@@A@@Р@@@@@@A@@AB@@C@@D@ABC@A@B@C@ABC@ABC"ABCD@A@AB@C@D@ABCC@A@B@C@ABCR@GК!5O!6!7Y!8!9"15__"11"16 Bd_@@@@E@@AF@@G@@ABH@@I@@AJߠ@@Kޠ@@ABCL@MВEHFJK@E@F@ABH@J@K@ABC@M@@E@H@J@ABC@AN@@E@F@J@ABC@O@@ABP@@Q@*Щ*+GIOP@E@G@ABH@I@O@P@ABCD@R@氩:<@E@AF@G@O@ABC@S@簩HI@E@AH@I@O@ABC@ABCDEp<EFGHIJKLMNOPQRS@E@AF@G@ABH@I@AJ@K@ABCL@M@AN@O@ABP@Q@R@S@ABCDEtssJvKJwM@E@AF@G@ABH@I@K@AO@P@ABCD&@JК"20"21"22"23"24"3533"26"31 \C83@@@@T98@@AU76@@V65@@ABW43@@X43@@AY21@@Z10@@ABC[@MВTUWYZ@T@AU@W@Y@Z@ABCD@\@?>@T@W@Y@ABC@A]@A@@T@U@Y@ABC@^CB@@AB_A@@@`@+ЩBA+,VX^_@T@AU@V@AX@^@_@ABCD@Aa@KJI;<H@T@AU@V@^@ABC@b@NMLHJK@T@AW@X@^@ABC@AcNM@@d@NT)c@Y@^@c@ABC@e@Q]2 @Y@^@c@ABC@ABCDEFHTUVWXYZ[\]^_`abcde@T@AU@V@ABW@X@AY@Z@ABC[@\@A]@^@AB_@`@Aa@b@Ac@d@e@ABCDEFycvd:utf@T@AU@V@ABW@X@AZ@_@Ac@BCD@BК"38X"39"40"41v"42 ;D@@@@f@@Ag@@h@@ABi@@j@@k@8Вfgij@f@Ag@i@j@ABC@l@h@f@Ag@h@AB@ABCD0fghijkl@f@Ag@h@ABi@j@k@l@ABCD*)*)*@f@Ag@h@i@j@ABCD@BК"45"46ɠ"47"48䤐"49 E@@@@m۠@@An٠@@oؠ@@ABp֠@@qՠ@@r@8Вmnoْq@m@An@o@q@ABC@s@߰ް pݐ@m@Ao@p@AB@ABCD0mnopqrs@m@An@o@ABp@q@r@s@ABCD*)()*@m@An@o@p@q@ABCD@#_59@#coc@FК"52"53"55"56"57F@@@@t@@Au@@v@@ABw@@x@@Ay@@z@tux@t@u@x@ABC@AB{@ v @t@v@x@ABC@|@w@t@w@x@ABC@}@#!@u@v@AB@~@_*&y@t@Av@w@x@y@ABCD@ABCDEN,tuvwxyz{|}~@t@Au@v@ABw@x@Ay@z@AB{@|@}@~@ABCDE#LK5H?$@t@Au@w@x@y@ABCD@FК"63"64"66"67"68Gz@@@@gf@@A@ed@@Adc@@ABBba@@Ccb@@ADa`@@E@a@bC@@@@C@ABC@ABF@f Af @@A@C@ABC@G@jBj@@B@C@ABC@H@X#"D@@A@@A@C@D@ABCD@I@w"@A@B@AB@ABCDEN,@ABCDEFGHI@@A@@A@ABB@C@AD@E@ABF@G@H@I@ABCDE*LK5H+@@A@@B@C@D@ABCD@@G#_60.@.@@@@@@@@N@@"t0 @@@@@@#_61K@)@@@@@@@@@@@@@@ɰ@A#_62qX@qE@@ @ @@@@#_63@@@@@@@ _@A#_64@ i gF@ d@ _ @ ` @ ^@@@@#_65@ @@@@@@@#_25-RESERVED-TYPE!i @@#_26 !k #_27!m#_28!n#_29!p#_30%!s$#_31.!A-#_327!B #_33=!M#_34C!N#_35I!T#_36O!t!#_37U!u'#_38[!v-#_39a!e`#_40j!f #_41p!g@ *$5/@:KEVPa[lfwq|ɠԠߠꠠ       ' ! 2 , = 7z B M G X R e ] t j  y            Ǡ  ֠  堠       + ! : 0 E ? P J [ U f `r k v p  {              Ƞ  Ӡ  ޠ  頠         &  1 + < 6 G A R L ] W h b s m ~ x              Š  Р  ۠ 栠  렠         & " + 4 0 = 9 Bf G R L ] W@ՠ  l @0ݗ"YF^%7`2}