"`6$Init'Classes#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]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ֱ&Basics'Program#Coq@0!bs߯? :VUM͐DV$Q[ < NР$Init'Classes#Coq@A-Unconvertible @!A}A@@@!aA!bB)Datatypes,@$unitUe@@@AB@ ,+k()6'`@@}@3@A@A@@@AA@@A@-unconvertible @DB9764NF@T쀰C>BB@32/.-,[d@` )Datatypes$Init#Coq@@$unitUe@ (+k()'@@}8@A@@@7@@@};@A ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@@@@4&Basics'Program#Coq@0!bs߯? :VU@0.i bYN Z'Decimal$Init#Coq@0C涳N*ua%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ֱ&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r"Wf$Init#Coq@0q+W,J+A"_39.z"<-"_49.z"->"_6X@3typeclass_instances@"id{p@@"_7X@ &Basics'Program#Coq@@%constn@@"_8X@@$flip$@@"_9X@)@'compose'@@#_10X@4(@%arrow@@#_11X@?3@$impl7o@@#_12X@J%Logic$Init#Coq@@#iffС)@@#_13X@\@#notШ@@#_14X@g@#allЖY@@+class_applyF@@@!c@ 9./theories/Classes/Init.vZcZcy@ +dd*@0exact_#_4C69D568점(^A@#19S@@@](p{yOh.@>ϬF8.@g~Lo2]ք@9O|} s\@<B5SB Don"