"`ۄڰ.Algebra_syntax+setoid_ring#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ֱJi32v)A&> $<#xР.Algebra_syntax+setoid_ring#Coq@A$Zero @!AA@@@A@  @@@<+k'@@@@A@A@@@AA@@A@$zero @*(2*@8#'0'((@'&<E@A#'0' B (+k()'@@'@A@@@&#One @MCK@@H@T@ @@G@@@@A@A@@@F#one @m (C@-#mBi@! 0@5#mrBA@@!@A@@@f(Addition @E@@@@ZC@ @@@ \+k+ T'+T''@@@@A@A@@@(addition @$,@1HJӀ@"!4@9HJӀ@@.D@@$@A@@@.Multiplication @ԔG@@!BϠH@@@P@唑@@@@@ h+k()+ T'+T''@@@&@A@@@A@AB@@@ᠠ.multiplication @4.,=@B {P̀@-,)(G$@L {P̀ @@Y (+k()'@@(@'@AB@@@+Subtraction @.MJ,@@@5@ @@@@M@@A@A@@@'+subtraction @N ($@-_#J@! 0g@5_S@$@$@@M#@A@@@I(Opposite @pˠLn@@@l<@x @ @@ <+k+ T''@@@@A@A@@@k(opposite @"*h@/xNg@"!2@7xN@hg@@"@A@@@(Equality @IN@@@@A@ @@HAA@ \+k+ T'+T'6'P@@I@!@A@A@@@(equality @-5@:Ka@*)=@BKa@@]7@@I$@A@@@ܠ'Bracket @ǠP@@/ Q@@@@@<@@@@ H+k()+ T''@@@$@A@ @@A@AB@@@'bracket @52[,; @@-2G-2@,+('DP@I-2G <@,@@&@ %@AB@@@2%Power @Y SW@@ àT^@@@,@-@i@@@@@ l+k() + T'+T''@@ @%@A@ @ @A@AB@@@e%power @3-<c@A#Ȑ@,+('E@J#Ȑc@ @ E@@ (@ '@AB@@@@@@@AK@B@@A@BCMl@+@AI@B@ @ 6@ 5@ABC ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@ADEF@@@@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"->D2 Q@@@@"_5@A@@@@@@@@"_62M접AA@@"_7'`o@!A*type_scope@@@=2 Q@@#@"_8u@G#*$#@"_92M접 BB@@#_10'`o@B!@@@J@#_11QCA@@@@@#_12.PB@@AA@AA@@@#_13X@3typeclass_instancest@@#_14/@*@@@A@@V@@@#_15%c?@@@_AA@@ BA@@@@@@!0@!02 Q@@@#_16h@A@@@@l@#_172M접rAA@@#_18'`o@yA@@@2 Q@@@#_19 @#ҍ!@#_202M접 BB@@#_21'`o@B@@@@#_22@A@@@@@#_23.MB@6@AA@AA@@@#_24X@@@#_25/(@@@A@@T@@@#_26%c?@@@]AcA@@ B"A@@@@@@!1~@!12 Q@@2@#_27@A@@@@1@#_282M접Đ@#_29'`o@A/@@@2 Q@@Q@#_30@;53!Q@#_312M접 BB@@#_32'`o@DO@@@@@@@@#_33DA@@@@@#_342QD@@AAN@AA@@@@@#_35X@4"@@#_36/3*@@RQ@A@A@Z@G@\@@@#_37@@@@#_+_@@@@@#_+_@@@@@@#_38%c?@@@xAA@@ BA@@@@@@!.@#_+_#_39@rrAr@@r@BrA@%_ + _@r @B%_ + _!x!+!y@@@@@AA@" +@A@@B@@@@@#_40%c?@@!x@@@!y@@@@adAsA@@iBA@@@@@@%_ + _@%x + y2 Q@@F@#_41t@A@@@@xE@#_422M접~#_43'`o@BBD@@@@2 Q@@h@#_44@+-$h@#_452M접 CC@@#_46'`o@Efh@@@@@@@@@#_47KB@@AA@AA@@@#_48=_E@@AA@AA-@AA@@@@@#_49X@Z@@#_50/Y5@@@&%-,@@B@@@n@@@#_51@@@@#_*_@@@@@#_*_@@@@@@#_52%c?@@@A=A@@ BgA@@CzA@@@@@@&\@#_*_#_53@hhAh@@h@BhA@%_ * _@h @.%_ * _-!*,@@@+@AA@" *@A@@B@@@@@#_54%c?@@*@@@)@@@@`cAA@@hBA@@mCA@@C@@@@@%_ * _@%x * y2 Q@@s@#_55^@A@@@@br@#_562M접hA#_57'`o@nAo@@@2 Q@@@#_58@ @#_592M접 BB@@#_60'`o@D@@@@@@@@#_61CA@@@@@#_622PD@@AA@AA@@@@@#_63X@t@@#_64/s*@@@@A@@@\@@@#_65@@@@#_-_@@@@@#_-_@@@@@@#_66%c?@@@xATA@@ B2A@@@@@@!n@#_-_#_67@rrAr@@r@BrA@%_ - _@r @@%_ - _?!->@@@=@AA@" -@A@@B@@@@@#_68%c?@@<@@@;@@@@[^AA@@cBA@@PM@@@@%_ - _@%x - yT2 Q@@@#_69'@A@@@@+@#_702M접1N#_71'`o@7A|@@@P2 Q@@@#_72@ZG @#_732M접 BB@@#_74'`o@C@@@@`@@#_75hAA@@@@@#_760NC@@AA@AA@@@@#_77X@~@@#_78/})@@@@A@@X@@@#_79@@@@"-_@@@@@"-_@@@@@@#_80%c?@@@tA]A@@ BA@@@@@@!w@"-_#_81@ccA@cAA@#- _@c  @A#- _!-E@@@;@ @A@@AA@@@@#_82%c?@@6@@@@HKAA@@PB?A@@F@@@@#- _@#- x2 Q@@t@#_83@A@@@@s@#_842M접B#_85'`o@Ap@@@2 Q@@@#_86@78z @#_872M접 BB@@#_88'`o@D@@@@@@@@#_89CA@ @AA@@@#_905SD@ @AAl@AA@@@@@#_91X@x7@@#_92/w-@@on@V@A@A@\@_@@@#_93@@@@$_==_@@@@@$_==_@@@@@@#_94%c?@@@{A XA@@ BA@@@@@@! r@$_==_#_95@FF@F@@F@@FA@&_ == _@F @@"=="@@@@@A@@# ==@A@@B@@@@@#_96%c?@@@@@@?@@@@[^A A@@cB A@@TQ@@@@D @&x == yĠ2 Q@@@#_97@A@@@@@#_982M접Q#_99'`o@B@@@@2 Q@@@$_100 @g$@$_1012M접 CC@@$_102'`o@D@@@@@Ơ@@$_103IB@@@@@@$_1045WD@ '@AA P@AA3@AA@@@@$_105X@@@$_106/.@@@-,43@@B @@d@@@$_107@@Ȑ@@@%[ _ ]@@  @@![!]@@@ AȠ@@@$_108%c?@@@@@@A A@@ B A@@CA@@1@@@@: @%[ x ]I2 Q@@^@$_109 @A@@@@ ]@$_1102M접,$_111'`o@BZ\@@@@82 Q@@@$_112 @B$2$@$_1132M접 CC@@$_114'`o@E~@@@@@@K@@@$_115TKB@ @AA @AA@@@$_116=_E@ @AA 3@AA@AA@@@@@$_117X@r@@$_118/q5@@@@@B@  m@@n@@@$_119@^^@^A@^@A^A@%_ ^ _@^ @%_ ^ _!^@@@@A@@A@@"^ @BA@@@@$_120%c?@@@@@@@@@A A@@ B A@@C =A@@-*@@@@%_ ^ _ @%x ^ y@@^CIۂ{$|)j@98㽷.)@8M.7:#f)@`,2ϸi8)儕 T_ 1 f