"`Єذ'BinNums'Numbers#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ֱ ך!vf+"OР'BinNums'Numbers#Coq@A(positive,<@@"xI"xO"xH@AB@@@AB@AA@AA@@!@*@@@@@@ABAABA@@@@A@@@@@@@AA@@A@-positive_rect @!P!pKJI@@C*@GɠA @@!f@?ACAH" @  D'B -C@@!F;9E&?==@de@@@@@@DFDG1qJHFv*NL6@SR@*@M@J^ @@MLKTh@@UKJ_ZFt"< h+k()  ,='*(=! R!'>3 %'>3 %'''+k$'+7Tk$'DGAC@@G@}@A@A@@@,positive_ind @A@HO@@ϐѩ[@@ݩi鐐GŐDAC@@@@@ޠ,positive_rec @۶ @0ڀ@ ,+k7$'X@@@@@!N,<@'&"N0$Npos#@#@@"@A@A@@@7@@@@AA@@AA@@A@@@@@@@&N_rect @!n@/7@HB@@OA,*B@9:@@@@D" b!b@>&@T7@%@5r#8LK5!8-| +k()= R'>$'''+k$')TAB@@@H@@@A@A@@@p%N_ind @mTRG@oW1ܶaOeyxbNf[.VAB@@@@@@%N_rec @}ǩ@ ݀@a`_W X@@@@@!Z,<@"Z0$Zpos$Zneg@@@AA@AA@@7@@@@AB@@AABA@@A@@@@@@@٠&Z_rect @ֶ!z@17@HGC@@Щ AֶѐBط޶͐C$""@CD@@@@@@D+)))@0F@`7@/@9-+(GH +k()= R'>$'>$'''+k$'0dABD@@HG@O@A@A@@@<%Z_ind @9caV@;f6-j^1ED.]7KJ([{|4cABD@@@@@m%Z_rec @jf@ ImV@lkjb X@@@@@@@@G@H@HGR@ABC ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AD@@@@0  @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"->"_6-z@/z_syntax_plugin@DN$@@B@I|@AAA@@@@@@"_7AA@@@@@@@@A@@@@B@@@@C@@@@"_8'`o@#@@@@"_9'`o@+@AA@@0@@#_10'`o@8@BA@@=@@#_11'`o@E@C@@@m2 Q@@G@#_12@x0Q@@@@@@@@@#_132M접EE@A#_14'`o@E.function_scope@@@AAA@D@#_15? 3V/_rect_from_typeL42 Q@@?@#_16@?U@@@@@@@@@#_172M접EE@A#_18'`o@E>@B@@@AAA@@#_19? 3V._ind_from_type32 Q@@|@#_20&@?Z̠@@@@@@@@@#_212M접EE@A#_22'`o@E{}@@@AAA@@#_23? 3V._rec_from_type3#_24YS.positive_scope(positive#_25YS.positive_scope@@#_26'`oA B@@@#_27'`oAA@ @@SN$@@B@X6@QQ@@@4@#_282@@@@A@@@ B@@@@@#_29'`o@@@@@#_30'`o@#@A@@@#_31'`o@+@BAT@{@q2 Q@@@#_32@{ m@@@@@@@@#_332M접DD@A#_34'`o@D@@@A@Ao@#_35? 3Vv-T2 Q@@T@#_36@^@@@@@@@@@#_372M접DD@A#_38'`o@DR@U@@A@A@#_39? 3V-`2 Q@@@#_405@jL۠@@@@@@@@#_412M접DD@A#_42'`o@D@@@A@A@#_43? 3V -#_44YS'N_scope!N#_45YS'N_scope@@#_46'`oA B@ @@N$@@B@6@@@@5@#_47H3@@@@A@@@ B@@@@C@@@@@#_48'`o@"@@@@#_49'`o@*@A@@@#_50'`o@2@BA\@@#_51'`o@?@CAi@@ɠ2 Q@@2@#_52@ Im@@@@@@@@@#_532M접EE@A#_54'`o@E1@46@@A@AA@#_55? 3V022 Q@@n@#_56@r@@@@@@@@@#_572M접EE@A#_58'`o@Em@pr@@A@AA@#_59? 3V/22 Q@@@#_60T@)w@@@@@@@@@#_612M접EE@A#_62'`o@E@@@A@AA:@#_63? 3V.A2#_64YS'Z_scope!Z#_65YS'Z_scopeR@@#_66'`oA B@D@@#_67'`oAC@M@@@@dmk(5Ju<C@Gӟ-ÖG]Dl@=F;R\~05@PrGCS(Wy?LI_+#