"`̈́ذ'DecBool$Bool#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ֱNW!5\PI4 K Р'DecBool$Bool#Coq@A%ifdec @!AA!B!CA! @@@!H&Specif$Init@'sumbool7̂K@CB!x!yBAAAA@@@@@A FE@@@<;:98@2&Specif$Init#Coq@@37̂K@2/B/CD +k()= R'>'>''+k'9AABAAA@@@@_@A@A@@@AA@@A@*ifdec_left @@@x<u>t@l:CB@%Logic$Init#Coq@@#notШCrvqD@"eq @m@ӦUGutA@@@@@B+ifdec_right @@A{}?wCB@=D32.,;++@@@@@l@@@p@A ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@@@@0  @0.i bYN Z'Decimal$Init#Coq@0C涳N*uan0\͉!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ֱސ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"->\2 Q@@@@"_6AA@@@@@hD@Ai@AkE@A@@@@@@"_72M접!FD@A"_8'`o@(F*type_scope@@@@@@@P@@@,2 Q@@@@"_9@70}AA@@@@@D@A@AF@A@@@@@@@#_102M접#%#_11'`o@+GKMO@@@@@@@@]@@@;2 Q@@@@#_12@FSnjAA@@@@@D@A@AF@A@@@@@@@#_132M접#%#_14'`o@+G@@@@@@@@預@@@@@;^d0/Ը @-rc ߄@_PF<"똖E @ PX?\\ N Ǡ!AA!B!C@!H&Specif$Init#Coq@@'sumbool7̂K@CB"H0%Logic@#notШ!x!yD$BAAAA@@@@@D!s0GF!@"eq @ 'DecBool$Bool;@%ifdecӦUHA;:;&!aA D!b#B@)False_induُ),#/.bB4WVWCzxvytrpn][MScQONGEAD;gS-G#GJA7MLAtss0Q6Sv؂@˅O^B#J