"` „•¦¾ń“<ö° 0ExtrHaskellBasic *extraction #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ś‚ŚÖ±  *Extraction *extraction #Coq@0DJīÉūS.~°XtĶ=åą žķ=Ļv£Ę¦~•ši i„•¦¾4$’+ Š 0ExtrHaskellBasic *extraction #Coq@šA@@ Š@ Ó³2Ą@  Ó³2 [ )Datatypes $Init #Coq@@AŠ@ Ō³qĄ@  Ō³q \ @A@AB@ @@@4      @0.iĆœ ¼bćYN —Zū  'Decimal $Init #Coq@0C“ę¶³ēö¬ˆN€*ua  *Extraction *extraction #Coq@0DJīÉūS.~°XtĶ=å  %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Ā›©  'Tactics $Init #Coq@0„/ęé9mŹ+ ؁œśa  %Tauto $Init #Coq@0é‹ĪĢ‚¶×"&žę/é”r  "Wf $Init #Coq@0qŹę†+‚W,JĘĄÓå+“A€   "_3 9.zć"<-  "_4 9.zć"->  "_6 :“š A ’ Š÷ )Datatypes $Init #Coq@@$boolüZ'@@  "_7 üˆn°@,Prelude.Bool  "_8 :“š A “ A@  "_9 üˆn°@,Prelude.True  #_10 :“š A “ 'B@  #_11 üˆn°@-Prelude.False  #_12 :“š A ’ Š÷4@&option >Ąv@@  #_13 üˆn° @-Prelude.Maybe  #_14 :“š A “ A@  #_15 üˆn°@,Prelude.Just  #_16 :“š A “  B@  #_17 üˆn°@/Prelude.Nothing  #_18 :“š A ’ Š÷a@$unitžUe@@  #_19 üˆn° @"()  #_20 :“š A “ A@  #_21 üˆn°@"()  #_22 :“š A ’ Š÷€@$listż]ó@@  #_23 üˆn° @$([])  #_24 :“š A “ A@  #_25 üˆn°@$([])  #_26 :“š A “  B@  #_27 üˆn°@#(:)  #_28 :“š A ’ Š÷­@$prodżÕt@@  #_29 üˆn° @#(,)  #_30 :“š A “ A@  #_31 üˆn°@#(,)  #_32 :“š A ’ Š÷ &Specif $Init #Coq@@'sumbool7Ģ‚K@@  #_33 üˆn°@,Prelude.Bool  #_34 :“š A “ A@  #_35 üˆn°@,Prelude.True  #_36 :“š A “ 'B@  #_37 üˆn°@-Prelude.False  #_38 :“š A ’ Š÷4@%sumor$ |@@  #_39 üˆn° @-Prelude.Maybe  #_40 :“š A “ A@  #_41 üˆn°@,Prelude.Just  #_42 :“š A “  B@  #_43 üˆn°@/Prelude.Nothing  #_44 :“š A ’ Š÷-@#sumņˆ@@  #_45 üˆn° @.Prelude.Either  #_46 :“š A “ A@  #_47 üˆn°@,Prelude.Left  #_48 :“š A “  B@  #_49 üˆn°@-Prelude.Right  #_50 :“š A ‘Š÷Y@$andbü=@  #_51 üˆn° @,(Prelude.&&)  #_52 :“š A ‘Š÷i@#orbņ @  #_53 üˆn° @,(Prelude.||)  #_54 :“š A ‘Š÷y@$negbżŒļ@  #_55 üˆn° @+Prelude.not@@ęż$S5¼„k4ŚįC ’„•¦¾@µ.ژĘ  mē0ŠL~÷ »„•¦¾@Ļx§v'((­N–dīT 䄕¦¾@6āmäśÖ­5 ō² „•¦¾€orې°(nwŌэ,’