"`#„•¦¾xƒS° 'Prelude $Init #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@,  )Notations $Init #Coq@0&v!D]â¼hÑwƒ•nv   %Logic $Init #Coq@0Ï\ƒÍ‰¬!ÆôIgÔ 80.iÜ ¼bãYN —Zû A0Í «¬1¡ÊöÝë©jc6 80ƒ¢;Rî–WMi\N›©  'Decimal $Init #Coq@0C´æ¶³çö¬ˆN€*ua  #Nat $Init #Coq@0î‰Ãeʤµ®Ä£P£óSRè G0± jé¥ùêh¯ž¾aõ|Ø D0qÊæ†+‚W,JÆÀÓå+“ A0„/æé9mÊ+ ¨œúa >0é‹ÎÌ‚¶×"&þæ/é”rèзm¨/»¸ß5j` ÷„•¦¾¬Mí Ð 'Prelude $Init #Coq@ðA@@ Ð@ Ó³2À@  Ó³2 [ )Datatypes $Init #Coq@@AÐ@ Ô³qÀ@  Ô³q \ @A@AB@ @@@,      @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õ|Ø  &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ã"->  #_15 -…z @ )cc_plugin@  #_16 (ÐÐ÷Œ@firstorder_#_#_with_#_4B9F5154†¢½@ @ *firstorder ‘ @ ”•=°££"$t ‘ @ •(È‘– $with ‘ @ •==#$l'@   ¥ @ @   -ground_plugin*firstorderB ’‘ #@ ’‘ µ@ ’‘ @@A  #_22 (ÐÐ÷c@ $with ‘ @ •==×@  K Ú@ @  4A ’‘ T@ ’‘ æ@@A  #_23 (ÐÐ÷@7firstorder_#_#_4B9F51564ÅÒH@ @ *firstorder ‘ @ ”•=°££k ‘ @ •(È‘@  t @ @  ]@ ’‘ }@ ’‘ @@A  *firstorder ¤ÅFÀ@@@ @  n@ • @ ‘’=°££@ • @ ‘(È‘@@  #_24 (ÐÐ÷Ó@5gintuition_#_4B9F51595¸E @ @ *gintuition ‘ @ ”•=°££®@  °@ @   ˜*gintuition@ ’‘ º@@A   ¤ÅFÀ@@@ @  @ • @ ‘’=°££@@  #_25 qY @)_subproof  #_26 qY @(_subterm  #_27 qY @(Private_@@JŸÀqƒTttú‚ÚÖ± „•¦¾@(Y]FœÍ½ I„•¦¾@õ½­6ƒÅ¿_®j/5à¡ ü r„•¦¾@¡Öa7,'.éé^kî)C> ›„•¦¾€€Fž dýDèc‰çöŽ‘