"`ᄕb5Lexicographic_Product+Wellfounded#Coq@()Notations$Init#Coq@%Logic$Init#Coq@*Logic_Type$Init#Coq@)Datatypes$Init#Coq@&Specif$Init#Coq@%Peano$Init#Coq@"Wf$Init#Coq@'Tactics$Init#Coq@%Tauto$Init#Coq@'Prelude$Init#Coq@D)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/rk0JqTttֱ*EqdepFacts%Logic#Coq@0FI$ͼՋ`%Eqdep%Logic#Coq@0ڡc*%U\ߠ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s2Transitive_Closure+Wellfounded#Coq@0#V"px \9H5IxG1K̦)ӄ%t\Р5Lexicographic_Product+Wellfounded#Coq@A/acc_A_B_lexprod @!A܊A@@@!B@A݊B@@#leA@B@CA#leB!x @ @D !H"Wf$Init1@#Acc>b@E"/ @'Acc_ind2MF$@"x0G@2Relation_Operators)RelationsN@*clos_trans4 ;@HLA*@,well_founded8E 89!y=@9Q)_>&Specif@@$sigT#6@JI0@'lexprod0.W@  +:A`phF$_tmp*D@LxbIz%IHAcc3>@O@T"@QK%Fy)zA,;@x 1}?ML6:0z"H2r?@oCdcF_]Kn+Qi!K! ÷ p$@9Nc.Ʒ&IHAcc04@6mͩ{POr@lx٩A }KJw!BBB@@@@D!s@Q! 1#pө఩R *)"x2."y12"H676 vȐ"H0DEDED@@@@@@@@@@@@@@D5͠S,9ѠT@U 4.9@%Logic@"eq @䠐V;@점W C T1X ! ["x1/"x'. 0H"y'0LO2P^"H14#De"H3;Y$&No(Nܩf+FLȐ"H4K@'f_equal=,[Z0}!e 9\<]!b 2^7 dy9"! Ew"=&"j?($&K63!&"̷ũ]!$#"M)6XO+8$6-\&_.a+@&eq_ind J *C+*Ʃi`_1<eݩgO@aϩqFsQP_ITW}KRM~Ƿ{#$%'^o)`}#.%rb)cp d9D{;Fԩ??>A@ :3ˠ".! &'Oe)Qȩ+iͩ,\n0%_*&e@+@ g@ hfK>23 @1  V5ji2U(@% %eX#L)M0!M)Ҷ@&CqfP0j!/@5E{nZk&('9 *Hyt-,>B/.:10U~@R-}zE\Z{=MD@@=I5@5cDL^9N`d_3Pb}sm@pfddzubo@|wxn@~soUsr·`uZwA\yǷXvéeg5CP=<ǩgP`TBE緐"x3K"H5ES!橜BW}A!\XȰ[`p]\зհͰ׷԰ oΰI$! à92ʠ.(3i,  oRKD2<j<ʩ@(eq_ind_r!2#(>!TVJKY[@-_X`Wb@ad)OFehgj@H!ܐ*ܐ&Cש  x l{}OjZaxZ`O%Eqdep^+EqdepTheory@)inj_pair20:Z\76Xm-,98H@lz2z@q{7{dP{E}?AH@жŶ@@@w{s@9:֩wmlofqӐ +k() ++7# '()+ +a  7# '()+ 9'= R'>    + ''GL L= .RV'>      +#'>    + /'%'()): :++7!7!7   : :+7!7     +    +#7  :" +v #'= R'> :''+k+7%'$'$'= R '>''+k'()$   ::+Z+7!7!7       ::+_7!7 +l +b7# '= R'> :''+k+7%'$'$'= R '>''+k'()'+ +ETT' + +TT' +  T' +  + TT'  + +` TT'  + ::7T'+::+7!7"T'%'$'+  "T':  77!7&'+  "T'  7&' +  7T'  7%' + !T'++HTT'+ T'+   7"T':  77!7&' +  7T'  7%'+   T'  + ::7T'+::+7!7"T'%'$'(): 8 %'() : p$  : :+u+7!7!7    : :+7!7  +  +7 +K:7!7#'= R'> :''+k+7%'$'$'= R '>''+k'()$  7+ 7 %'&'+   T' +  T'  + ::7!7"T' + "T' +::+'7!7"T':  77!7&'$'  77!7&'+k()+ : 7!7"T' +:7!7"T':  77!7&'+k+ :7T'  77!7&':  77!7&' + +HTT'+ T'+   7"T':  77!7&' +  7T'  7%'4l <0Ht,<\\  t蠒Rࠒ Ġh, H< h@Р `ࠐ㠠AEBD@ZD}HABABDp  ( ?,8Th ࠑ,$\D X@@@(A{7S*EqdepFacts@A-A\A@1AH@AB4A1DH@9A1FdJ@A  !  +      7# ' '()$' +k  77!7&'Р8`|lAK|):H@@@@Az@y@Aq@j@i@ABCD@@f+Acc_symprod @˔ދ(C@@ƔߋgD@@{@ԩ)Datatypes@$prodt@@'symprodҧ@ Aqoi@g@Ұ԰!VhXjZlVް ewz@m~&IHAcc1p@A.8-2<M7GQ}?S~:U:EHY'@J[ IDDDDD@@@@@@@@@@@@@D!pgaiCc@b?Ffe9D@ q;@u?e-zqRvW7yз"y0UA!v+/D_)&{,0IY}.2N.%&57`"On4#$,7X!")-J>@)4I+Qc-bgzN6=P^8?p ;BBB@@@@D` 4" eKkө  m# @4@q6{u!D}y&I}|'qikQ@-!f'&/_}$*%'Bϩ-η<cA==tƷ~ũ^ͩة .ǰΰ#~ հCzp.j ݰ婷ϩϷ@:cb?ONJ &, T2`_MR]8Z  l::"":Z@22@YDd !nAe?+G =  ALAL@\QGE?F=6@1%@3 ;V5ys AQ x+k() ++7# '()+ +R7# '()+ 9'()GL C= &R'>     + "'>  + '%'()     + " + N:7!7# ': :+S7!7 : :+T7!7   + R+7#'= R '>''+k'= R '>''+k'  ++7#'9 #'+!T':  77!7&'+ 7"T'+!T':  77!7&' +::7!7"T'+!T'  77!7&'()    + " + D:7!7# ': :+Q7!7 : :+R7!7  + R+7#'= R '>''+k'= R '>''+k' ++7#'%'+ !T':  77!7&'+ 7"T'+!T':  77!7&' +::7!7"T'+!T'  77!7&'+k()+ 7!7"T'+:7!7"T'  77!7&':  77!7&'+T'+ 7"T':  77!7&'(ӐABAB  D49lK(dx XD hT  l h$@Td4  tD0 p X蠐RADBD@TLXl0|L8 d  | \HLd pN<@@@AJO@AA ϲ6W@An@ABAj@Ak@AAh@AҠK^@ABA вuX@A~@AAz@Ay@Aw@ABCDE@@`*wf_symprod @\]SQ,@kjÐ[!K@>U _̩C@o@pG@˶ D+k()= R#'>      7#' ' +k  77!7&'РMzAJ|0 $&@@@c@A`@X@AV@T@K@ABCD@@(swap_Acc @E @@!R@ @:@(swapprod=r@2CAA@@@D@PC! XĩJ&3@% 9R .g-5(@2 F_  -'t:Bih6# @C Wp#8KS^"a0ER]h.XBDDDD@@@@@@@@@@@@@DAD޷@py@K|U]@RqN]a DbǠ4kou9r⩷ xޠMoO5*.Đ\]ǩ_^˩`cI<@֐noΩLqҩNuv@qzD@[z` }}VUװ$llooư`&Ͱ3h$.) p>0-#6ɷ&A #OAK0 @R)4@a,R@hff3Yhh!nmm4`ppI.Ƿkzz9Tm||r@Pt%|/X~I```۷4bbYq d \tjj:[llx>n_]oFkkCmF{yy=Z{{P}AoTx#WS'DK,L@]T,'`ƠUUWW4YYbX[ѠOOQRRȷsed=aiطIjAz]]__aarwcDDFGGT-(+Fs9=*RѐiyjUԩ{{4֩}T5G6Klxcyةܩ̩nEm@nکڰ'po̰`    ;q/ #< 6  (B%"-۩=''/4GB ,,))9 +4 +- +   + +  K KZZ 4 ©P`` . ީܩV[[ 2  !6֩[88 )  D : ͩ );̩c==   A?  1:  S  @"©w U BD D) f  0 P f8ة-- X  y? 6 ^%''u vG)w> fKx> Nr/;2#@T rIc r R y^  L4 \  \ ^OgiA n  s      h   Ӷ@z@}B+   ## à   &  %  7        9s (/a- %B  )`' ,#  !nT   ީ  sv\"    ۩  W~  Iz   M #@ R '  -  X° m \   "$vvxx   f .)  3.   @@ 8ww !  ط| ~שBQQܷթ ͩINN )N++ 7-  .V00 4 2  $ -  F  @   t 0   R {  8u  u  @z  c )   H _ ` N  n~@ 8}* V- l| Y >:  { ,{| `~< `rorr z< g>/G{ALmk N N    { { '    { {<  0 wI ]  ^\hq (f  c>bo  86`m  h h   9*^k  n |   r x  <  uq u bi Jj@ {r \  ~p )  H ltTu L  hh ! U Q * %(  Cp  R  G(uww  Ʃ y  X / ة s@P    ط N > Y ̩  ̰۩ өskթK         Y     @ °H Gݩ h h  > b  b     <@ ˰  x x  @ а% k k   s p* q q   \0 v v  `  6     @ /     @ @+k()= R'>+9''= R'>+''GL ;= !R6'>  + '> + '%'() : :+Q7!7 : :+S7!7  + S+7# '= R '>''+k'= R '>''+k' ++ 7#'++:7!7#'GL 9= RD'>  + '>+ '%'() : :+Q7!7 : :+S7!7  + S+7# '= R '>''+k'= R '>''+k' ++(7#'::+H7!7 ::+J7!7+N+7#'= R '>''+k'= R '>''+k'++#7#' 8:8:%'+!T':7!7!7&' + 7"T'+!T':7!7!7&'+: :7!7"T'+!T':7!7!7&' + 7"T' +::7!7"T'+!T':7!7!7&'() : :+Q7!7 : :+S7!7  + S+7# '= R '>''+k'= R '>''+k' ++(7#'::+H7!7 ::+J7!7+N+7#'= R '>''+k'= R '>''+k'++#7#' 8:8:%'+ !T':7!7!7&'+ 7"T'+!T':7!7!7&'+::7!7"T'+!T':7!7!7&'+ 7"T' +::7!7"T'+!T':7!7!7&'+k()+: 7!7"T'+:7!7"T':7!7!7&'+ :7T':7!7!7&' +:7!7"T'+ :7T':7!7!7&' + 7"T' +:7!7"T'+ :7T':7!7!7&'() : :+Q7!7 : :+S7!7  + S+7# '= R '>''+k'= R '>''+k' ++ 7#'++:7!7#'GL 9= RD'>  + '>+ '%'() : :+Q7!7 : :+S7!7  + S+7# '= R '>''+k'= R '>''+k' ++(7#'::+H7!7 ::+J7!7+N+7#'= R '>''+k'= R '>''+k'++#7#' 8:8:%' +!T':7!7!7&' + 7"T'+!T':7!7!7&'+: :7!7"T'+!T':7!7!7&' + 7"T' +::7!7"T'+!T':7!7!7&'() : :+Q7!7 : :+S7!7  + S+7# '= R '>''+k'= R '>''+k' ++(7#'::+H7!7 ::+J7!7+N+7#'= R '>''+k'= R '>''+k'++#7#' 8:8:%'+ !T':7!7!7&'+ 7"T'+!T':7!7!7&'+::7!7"T'+!T':7!7!7&'+ 7"T' +::7!7"T'+!T':7!7!7&'+k()+: 7!7"T'+:7!7"T':7!7!7&'+ :7T':7!7!7&' +:7!7"T'+ :7T':7!7!7&' + 7"T' +:7!7"T'+ :7T':7!7!7&'+k()+: 7!7"T'+:7!7"T':7!7!7&'+k+  :7T'7!7!7&' +k:7!7!7&',ABT4310))t'&"8!   x < l@@$?\=== <@;;:X:988\7t66h522`//X..<-T,,P+|((H%%@#  t$D\ `xld\@XT   LDx9p@|@??<=<,::D87`6T5.-@,<+h0HdXD@ l栠ADBD@R4 p? >=,<;:98h765.H-,+0lL Ԁ@@@\A@A]A@_AL @ABbA@eA@AfA?@hA<@jA;@lA9@ABCDE@@",Acc_swapprod @ xrp f o % n ] [ N Q d l R@ ` M U v bHF K K | l N Z  4 T@  j B Q   9 S@ @ p & H ] r:8 + +  [  w O ^ l |D / ~ 1  q ضI 4@ (  :    ] y > = U ?@U @   t      7   }  ] N > f +@ - <     l @ ! 9@n @   ] 75     A    f ŷ P| 2@ 4  j K          A Ű    ɩ   B @'Acc_inv2M/      i     שf               )@ װfd   k  ߶  @ "  ̩ Pũ   d  #us" - - z շ xzZ@   *   q ȩ S      /  5    7   R  ON  @    )@ V   !G    @ D &L    g .% Q     : (   h   'a    \   8 : E ک Ya   / =c      F Bh    r  [n   ! )p     @ H ͷ I˷$:  _ ŷ  b{   ( .}     f ,  2  P G з H۷4  o ҷ  g   ) 8     k <  - 穷 ` @     } C   ݩ 0   @ I    ݩ L'     ; q          n" e     { [  +    I  1   b4     J           &     {  &   ^@    8wC         y y {  } }       . UB @ } }    Ƕ@        @ 5 ĩ    )  0 } }   ؠ  · {  p V   6 E         s 2    ߩ     E I         {   o6 x b7f$           s   ɰ     * txѩ6  *44  ,66    ۰8    ߰)     '    v@ %  z  @  BL   Ys rN + S ̩ 8    ; * c+ ̩ k\  E^U  ܩ (ut<i C F  DnDD  }.  & ɷ". ]. `y..   b (0    97 :׷0 u l !  d@@  BB|  h 9D ~  =, w  z @ } -vl @ Gw D  eyyx G K % W {   E  -  ,  QM yƠz H  8" au ]      ;     Ƿ R  D i >η  f  r g g  ͷ > w Z Z  ˩  } a a   P 6 ?ǩ A A     C  I X >  }    ; `   2 \ ϩ   2  ) jҶ@  4 - e ɩ  9 q s  P B o     {Ҷ s    H | z ީ   N  l    T   r   .  °   ư  Z ɰ   @ ϰ  {  ( ̷  ذ 5 l     z } 5 շ  *  " "   " "  B@ ||@ q A   Q   V     I    3 {{ } 8 8 8  p%     " ѩ P X  4&  ة L _   / 7  d  M    7 .  l   J   Ʃ ?    \ "        @ (    ߶ L  \ \    ^ ^ ] ۷ Q 1    n       ֶ Y  f f i i  h hl r ҷ  _yݩ * ̷ A  c  g g p p  i i | Q̷ h  u u x x  w w  ש @-bp t }  \ ! c T Uٷ@̶@ X  Q Q ^ O@ȩvĩ  @ @ L E  > ^ 3÷J [  g©  \ \ ^ V 3  n  R R V 3 A ' 0  2 2 8 ! w 4 # I /  ) * p + Q R 0 M V & s % [ö@ [  V ^   · c  ' _    k¶ c k   ͷ j Ω >  v \ D     ~ d   }{ yHw u v@ t  vذsp ss    İ !X  v  w y mj "mm   ݩ0o ~ /   ѷ 6 ηk ڰzhs fp ߰tbq  ] '`o     *E^m G   8  + 6  -  .@ 4 Y \ Xk ʩ 6  9 ( b ) ʩ X   h Wj Щ 4 ^44 m ܩ   JV   g lE! n[   JTW JZ H ޶@T >֩ zV  Re\ p ۶ ~Iͩ   ,z Br ZrZZr'rZZ @9@PULJ  0 0FB{ àǩ  @ @PLJhh@G QQxz@Ld RRiNzG HHat ؠo ]]z ܠs[@E@ @|q~sqh D@+k() ++7# '() + ++p7# '() &'() +9'= R'>+''GL ?= #R'>   + !'>   + '%'() : :+S7!7 : :+U7!7   + S+7# '= R '>''+k'= R '>''+k'  + +07#' ++:7!7#'GL <= Rg'>  + !'> + y'%'() : :+Q7!7 : :+S7!7  + S+7# '= R '>''+k'= R '>''+k' ++7#'::+H7!7 ::+J7!7+N+7#'= R '>''+k'= R '>''+k'++7#'%'+!T':7!7!7&' + 7"T'+!T':7!7!7&'+: :7!7"T'+!T':7!7!7&' + 7"T' +::7!7"T'+!T':7!7!7&'() : :+S7!7 : :+U7!7   + S+7# '= R '>''+k'= R '>''+k'  + +Y7#': :+J7!7 : :+L7!7 +N+7#'= R '>''+k'= R '>''+k'++P7#'+ &'()8 : 8 : !:7!7!7#'+ !T':7!7!7&'+ 7"T'+!T':7!7!7&'+::7!7"T'+!T':7!7!7&'+ 7"T' +::7!7"T'+!T':7!7!7&'+k()+: 7!7"T'+:7!7"T':7!7!7&'+ :7T':7!7!7&' +:7!7"T'+ :7T':7!7!7&' + 7"T' +:7!7"T'+ :7T':7!7!7&'() : :+S7!7 : :+U7!7   + S+7# '= R '>''+k'= R '>''+k'  + +87#' ++:7!7#'GL <= Ro'>  + )'> + '!7#'() : :+Q7!7 : :+S7!7  + S+7# '= R '>''+k'= R '>''+k' ++7#'::+H7!7 ::+J7!7+N+7#'= R '>''+k'= R '>''+k'++7#'%'+!T':7!7!7&' + 7"T'+!T':7!7!7&'+: :7!7"T'+!T':7!7!7&' + 7"T' +::7!7"T'+!T':7!7!7&'() : :+S7!7 : :+U7!7   + S+7# '= R '>''+k'= R '>''+k'  + +Y7#': :+J7!7 : :+L7!7 +N+7#'= R '>''+k'= R '>''+k'++P7#'+ &'()8 : 8 : !:7!7!7#'+ !T':7!7!7&'+ 7"T'+!T':7!7!7&'+::7!7"T'+!T':7!7!7&'+ 7"T' +::7!7"T'+!T':7!7!7&'+k()+: 7!7"T'+:7!7"T':7!7!7&'+ :7T':7!7!7&' +:7!7"T'+ :7T':7!7!7&' + 7"T' +:7!7"T'+ :7T':7!7!7&'+k()+: 7!7"T'+:7!7"T':7!7!7&'+k+  :7T'7!7!7&'+ +TT':7!7!7&' + !T':7!7!7&' + 7"T':7!7!7&'4  EABT55$220++H((d##\dp    0Ơ7h`xD,CCCBxA@D>=p<;L9870X.--!4 H fX6P431,`+)(,%`$#$,8  P  l ?>L=!0\6P4h31P0**('' "|"<$  h`p  F@S%  D CCBlAAT@@8?t>==d<<\;;@:998877\4\31D00L/..H-,**''%T"p"!x 4x(0<  \TdD C|BBXB0A@$>=P<;,9877H08.-,!dlx(c}@SpA`@??=  7# '' +k7!7!7&'Р s AH|𠑑 5䠑Р#@@@@A@@@ABC@@ @@@܊@*@A@A݊@@A@Bދ(@ c@A@ߋg@ _@A@@ $@A@AB ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@ACD   C    B @ @A @ @AB  CDE   @ @AB   @B @ @@ABCDE@@A@@A@B@CDFG@@@D%$#@0.i bYN Z'Decimal$Init#Coq@0C涳N*ua%Eqdep%Logic#Coq@0ڡc*%U\ߠ*EqdepFacts%Logic#Coq@0FI$ͼՋ`%Logic$Init#Coq@0\͉!Ig*Logic_Type$Init#Coq@0 1jc6#Nat$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv %Peano$Init#Coq@0 jha|ؠ'Prelude$Init#Coq@0JqTttֱ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r2Transitive_Closure+Wellfounded#Coq@0#V"px \9"Wf$Init#Coq@0q+W,J+A"_39.z"<-"_49.z"->2 Q@@A@#_20@) @A@@@@@@@@@@@@#_212M접(@$) FF@A#_22'`o@1@-) I*type_scope.function_scope@@ @@@@AAA@A@@ 2 Q@@@@#_23`@ $;@A@@@@@@@@@@@@#_242M접r@ $;GG@A#_25'`o@{@ $;FJIKM@P@@AAA)A@ Ơ2 Q@@A@#_38@ >U@A@@@@@@@@@@@@#_392M접@ >UFF@A#_40'`o@@ >UH@@@@@@@AA@@@ 2 Q@@A@#_41@ ;: @A@@@@@@@@@@@@#_422M접@ -;: GG@A#_43'`o@@ 6;: FΠРϠѠ@@@@@AA@ 2 Q@@A@#_50$@ -bp@A@@@@@@@@@@#_512M접4@ !-bpEE@A#_52'`o@=@ *-bpE  @@@@@A@@@Ġ2 Q@@A@#_53Z@?毇@A@@@@@@@@@@#_542M접j@?毇EE@A#_55'`o@s@?毇FBA@@@@@@A@@GJ@2 Q@@A@#_56@䰩@A@@@@@@@@@@#_572M접@䰩DD@A#_58'`o@@䰩C|{@@@AQ@@@ F*n $)@Y }}*N@MTBM1j_*wi;&dk