"`τذ&Basics'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@0)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ֱ*[4s+(XS\D ? ԠР&Basics'Program#Coq@A'compose @!A!i F@@@!B!gʏD @@!C!hΠE@@!g@B!f@D!xECA@21@+*@'&@#@B#"@D"!E% <+k() $'@@!gʏ@C@A@!h@<@A@!i @S@A@ABC@@@AA@@A@%arrow @d!jLGb@@_!kˋHi@@Q@r@k @ H+k()+ T''@@!jL@ @A@!kˋ@@A@AB@@@1$impl @Au@@@@@@H%const @!nHK@@!ȯL@@!a@@@@B@B (+k()'@@!nH@&@A@!ȯ@!@A@AB@@@|$flip @ݔ!s̓P@@ؔ!t Q@@֔!uR@@϶@Ƕ@ȷɷ!yΩ͠@@@𔑠@@C@ⶐCE 8+k()%'@@!s̓@=@A@!t@8@A@!u@3@A@ABC@@@ɠ%apply @*!z"_57_ )Datatypes$Init#Coq@@"id{p@"_6@A@@@@B@!A@AA@@@@2 Q@@@@"_7'@#'@@@@"_82M접 FDA@"_9'`o@F*type_scope.function_scope@@@@@AA@@#_103JF@U@AAM@AAH@AA@@@@@@#_11X@$coreRD@@@@@@@7Coq.Program.Basics#<>#1u@#_12@hhAh@@h@BhA@'_ ∘ _@h @B{#∘~@@@@@AA@A@@$∘ @B@@@@@#_13%c?@-program_scope@@@@@[AA@@ BA@@CA@@@@@@O@) g ∘ f 2 Q@@@@#_15@蠠@#_162M접 @#_17'`o@B͠@@@@z2 Q@@@@#_18@7o @#_192M접 %#_20'`o@B@@@@2 Q@@@@#_21?@n1@#_222M접 DC@@#_23'`o@D@@@@@@@@#_24%TD@_@AAW@AA@@@@@2 Q@@@@#_25~@$pW@#_262M접 FDB@#_27'`o@FUWYT@@@@@@A@@@#_28-F@@AA@AA@AA@@@@@@2 Q@@@@#_29@i@#_302M접 DCA@#_31'`o@D@@@@A@@#_32'D@@AA@AA@@@@@#_33 @*prod_curryE@@AA!B@AA!C@AA@@@@@#_34+@,prod_uncurry1F@@AA@AA@AA@@@@@@@@!bs߯? :VU|@Mys o@1܊2嘝ұ΄@E"1M^JiF<%F/S"tB