"`„•¦¾ō“=ö° )Inclusion +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@4  )Notations $Init #Coq@0&v!D]ā¼hŃwƒ•nv   %Logic $Init #Coq@0Ļ\ƒĶ‰¬!ĘōIgŌ  )Datatypes $Init #Coq@0.iĆœ ¼bćYN —Zū  *Logic_Type $Init #Coq@0Ķ «¬1”ŹöŻė©jc6  &Specif $Init #Coq@0ƒ¢;Rī–WMi\NĀ›©  'Decimal $Init #Coq@0C“ę¶³ēö¬ˆN€*ua  #Nat $Init #Coq@0ī‰Ćeʤµ®Ä£P£óSRč  %Peano $Init #Coq@0± j鄳źhƞ¾aõ|Ų  "Wf $Init #Coq@0qŹę†+‚W,JĘĄÓå+“  'Tactics $Init #Coq@0„/ęé9mŹ+ ؁œśa  %Tauto $Init #Coq@0é‹ĪĢ‚¶×"&žę/é”r k0JŸĄqƒTttś‚ŚÖ±  4Relation_Definitions )Relations #Coq@0]§4©Š€źådõ{nœ^’Uć •Ąws@üĮ儕¦¾­…Ō‘ Š )Inclusion +Wellfounded #Coq@šA  (Acc_incl @’°@@¶!A”‘   łkHĄ A   @@@¶"R1¶@A¶@B”A¶"R2¶@¶@C¶@©š Š÷ 4Relation_Definitions )Relations@)inclusion‹Až€°¶!zD¶@©›  Š÷ "Wf $Init-@#Acc>øb@€°E!+©°F,@ @Ą@°¶@;¶@©š Š÷*@,well_founded8ŽE€ 4M© '6@ @#@@@@ ŠŠ@łkHĄĄ@a@A@A Ó³2Ą@  Ó³2 [ )Datatypes $Init #Coq@@AŠ@ Ō³qĄ@  Ō³q \ @A@ABĄĄ@5@A1@B @@@4    @0.iĆœ ¼bćYN —Zū  'Decimal $Init #Coq@0C“ę¶³ēö¬ˆN€*ua  %Logic $Init #Coq@0Ļ\ƒĶ‰¬!ĘōIgŌ  *Logic_Type $Init #Coq@0Ķ «¬1”ŹöŻė©jc6  #Nat $Init #Coq@0ī‰Ćeʤµ®Ä£P£óSRč  )Notations $Init #Coq@0&v!D]ā¼hŃwƒ•nv   %Peano $Init #Coq@0± j鄳źhƞ¾aõ|Ų  'Prelude $Init #Coq@0JŸĄqƒTttś‚ŚÖ±  4Relation_Definitions )Relations #Coq@0]§4©Š€źådõ{nœ^’  &Specif $Init #Coq@0ƒ¢;Rī–WMi\NĀ›©  'Tactics $Init #Coq@0„/ęé9mŹ+ ؁œśa  %Tauto $Init #Coq@0é‹ĪĢ‚¶×"&žę/é”r  "Wf $Init #Coq@0qŹę†+‚W,JĘĄÓå+“A€   "_3 9.zć"<-  "_4 9.zć"->  ž 2 QĄ@@’A@  #_15 Ą¢ø  Š÷ @ ½I1ą@A@@@@  ‘  @ @ @ @@@@  #_16 2Mģ ‘Š÷@½I1  #_17 '` oŠ@‘Š÷(@$½I1F *type_scope .function_scope  @ @ @@ @ A A ‘ @ ’@  ė 2 QĄ@@’@@  #_19 Ą¢ø  Š÷M@ö"ą3ą@A@@@@  ‘  @ @ @ @@@@  #_20 2Mģ ‘Š÷^@"ą3  #_21 '` oŠ@‘Š÷h@"ą3E @ ? A @ @@ @ A A ‘Q ‘@@@"ŻŽóšÅÄŖeQ©~ „•¦¾@„FČU„c„_;Uœnš[Æ 7„•¦¾@tW½ż hSkq¤ŁŠ¢  `„•¦¾@ĄwĻ*d(.­1~Ź ˆ„•¦¾™ŁĶ ‘·!A”‘   łkHĄ A )Inclusion +Wellfounded #Coq@@@·"R1¶@A¶@B”A·"R2¶@¶@C·!H©š Š÷ 4Relation_Definitions )Relations@)inclusion‹Až€°·!zD·"H0©›  Š÷ "Wf $Init2@#Acc>øb@€°E%/©š Š÷ @'Acc_ind2M¦€ąF·©°G;·!x· ¶!y¶@© EC©$°IF·"H1¶ H¶@© PF©/°J Q©œ  3A€Ą N··"H2© ^A©U ^©°`4b`b‘·wu·ig·a_µ·][·K¶!aPL·@©š Š÷~@(Acc_incl½I1€ą@HYlv©uxC¶@k¶@©š Š÷X@,well_founded8ŽE€ d© Uf)ļEަ—ĢB‘kkæ%&