"`6„•¦¾Ãe° %Utils 'Program #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@ 'Tactics 'Program #Coq@8  )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  'Prelude $Init #Coq@0JŸÀqƒTttú‚ÚÖ± t03<¸r°å“ü’v Á‚¥T  'Sumbool $Bool #Coq@0s†B¯š ,$1Ü1.]msˆSÀ’'ˆxW&») Y„•¦¾û˜Èo Ð %Utils 'Program #Coq@ðA@@ Ð@ Ó³2À@  Ó³2 [ )Datatypes $Init #Coq@@AÐ@ Ô³qÀ@  Ô³q \ @A@AB@ @@@8      @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ú‚ÚÖ±  &Specif $Init #Coq@0ƒ¢;Rî–WMi\N›©  'Sumbool $Bool #Coq@0s†B¯š ,$1Ü1.]m  'Tactics $Init #Coq@0„/æé9mÊ+ ¨œúa  'Tactics 'Program #Coq@03<¸r°å“ü’v Á‚¥T  %Tauto $Init #Coq@0é‹ÎÌ‚¶×"&þæ/é”r  "Wf $Init #Coq@0qÊæ†+‚W,JÆÀÓå+“A€   "_3 9.zã"<-  "_4 9.zã"->  "_7 ü @à°J  @A   ÈÈ  ÈÈ@ @ @ ‘ È@ ‘@5{ ( _ , _ ) : _ | _ } @ À°J @ @    @@   !{ !( ¡@!x !, ¡@!y !) !: ¡-!A !| ¡6!P !}@@@ ¥‘@  @”"{   @”1  @¡A@  @”0  @– A@  @¡B   @”2  @– A@  @”5  @– A@  @ CÈ  @– A@  @”;  @– A@  @ DÈ  @”=@@@@  "_8 %cö?ð@*type_scope   i  @@@  f   \  *type_scope@@  Y  @@@@¢’ Ð÷ &Specif $Init #Coq@@#sig#*» @ ³° A!AA@@ µ)anonymous‘}Ê • @  @‘ ‘}@@@@ ±  l@9{ ( x , y ) : A | P }  "_9 ü @à°@@@!! @ À°@@@@  !!@@@ ”@@@  #_10 %cö?ð@-program_scope @¢‘Ð÷ %Logic $Init #Coq@@*False_rect$®0 ³£@@@@ ³£@@@@@@@@ *   @# !   #_11 YS­ -program_scope#prg  #_12 ü @à°J  J@@ ‘ @ A@@#` _ @ À°J   @@  !` ¡!t@@@ ¥Õ  @”   @– A@  @ A@@@@@  #_13 %cö?ð@-program_scope     @@@@¢‘Ð÷–@)proj1_sigÍYŒ ³° AA@@ ³°  B!PA@@ ‘,@@@@ <  ô@& ` t   #_14 ü @à°F  F@  F@@ ‘ F @Ì ‘ F AÑ@&_ `= _ @ À°F   @@  ¡H "`= ¡H@@@ ¥-  @ A@  @– A@  @”#`=   @ B@@@@@  #_15 %cö?ð@-program_scope   j  @@@  f  @@@@¢’ Ð÷@"eqÐ @ ³£@@@@ ®‘@ ®‘z@@@@@ G  S@* x '`=' y   #dec 9D{(°@ @‘Ð÷ 'Sumbool $Bool #Coq@@/sumbool_of_bool&›¥@  'in_left 9D{(°@ @¢“  Ð÷&@'sumbool7Ì‚K@A ³£@@@@ ³£@@@@ ³£@@@@@@  (in_right 9D{(°@ @¢“ B ³£@@@@ ³£@@@@ ³£@@@@@@@@ ²#÷%ÓpbyQV,'Rs ‚„•¦¾@¬®úHpKÔÜÌÂWATÿ «„•¦¾@‚:(!öoŸkûòäh8¡ Ô„•¦¾@ ! °p¥~·+s5\W ý„•¦¾€;714ÌÂdµÞ×€“