"`܄۰,ssrnotations)ssreflect(mathcomp@()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ֱd2 !\\ݨvI=̄ LݠР,ssrnotations)ssreflect(mathcomp@A@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@@@@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"->"_5@BBAȐ@B@B@@(_ .[ _ ]@B @B!e".[!x!]@@@AABȠ @@@"_6@BBAȐȠȐ@B@B=?@5_ .[ _ , _ , .. , _ ]@B  @>=".[S"x1!,A@@^$x2_1!]@AA@!,s@"x2@@@AAA@0@BȠ@.@@@@! @CȠ%@@! @@:@@@@"_7@CCABB@C@BBA@@&_ `_ _@C @!s"`_!i@@@AA BB@@@"_8@CCA@C@B@%_ ^-1@C  @Ӡ#^-1@@@AA@@@"_9@hhAh@@h@BhA@&_ *+ _@h @"*+!n@@@@@AA@# *+@A@@B@@@@@#_10@hhAh@@h@BhA@&_ *- _@h @C9"*-<@@@;@AA@# *-@A@@B@@@@@#_11@]]A]@@]@B]A@&_ ^+ _@] @}s"^+v@@@u@AA@A@@#^+ @B@@@@@#_12@]]A]@@]@B]A@&_ ^- _@] @"^-@@@@AA@A@@#^- @B@@@@@#_13@hh@h@@h@@hA@&_ *: _@h @@砐"*:!A@@@ꠠ@A@@# *:@A@@B@@@@@#_14@hh@h@@h@;hA@@&_ :* _@h @@2":*)@@@#@A@@A@@#:* @B@@@@@#_15@ppAp@@p@BpA@'_ :&: _@p @el#:&:!B@@@^@AA@A@@$:&: @B@@@@@#_16@ttAt@@t@BtA@'_ :|: _@t @#:|:;@@@@AA@A@@$:|: @B@@@@@#_17@ttAt@@t@BtA@&_ |: _@t @!a"|:@@@Ӡ@AA@A@@#|: @B@@@@@#_18@rrAr@@r@BrA@'_ :\: _@r @#:\:@@@ @AA@A@@$:\: @B@@@@@#_19@rrAr@@r@BrA@&_ :\ _@r @OV":\!b@@@H@AA@A@@#:\ @B@@@@@#_20@@Ȑ@@'<< _ >>@@ @@"<<">>@@@ AȠ@@@#_21@@Ȑ@@(<[ _ ] >@@ @@"<[Ϡ!]!>@@@AȠ  @@@#_22@HȐ@@('C [ _ ]@H @@"'C![Ϡ!]@@@ AȠ @@@#_23@HBBȐ@B@@+'C_ _ [ _ ]@H @@#'C_![!]@@@ABBȠ @@@#_24@HȐ@;@('C ( _ )@H @@"'C!(MG!)@@@ AȠ @@@#_25@HBBȐ@B@n@+'C_ _ ( _ )@H @@#'C_!(!)@@@ABBȠ @@@#_26@HȐ@@('Z ( _ )@H @@"'Z!(!)@@@ AȠ @@@#_27@HȐȠȐ@Ѡ@/'C_ ( _ ) [ _ ]@H @@#'C_!(ࠐ!)![۠!]@@@٠@$'C_ @@AȠ@@@@@ @BȠ@@@@@#_28@HȐȠȐ@$&@/'C_ ( _ ) ( _ )@H @@#'C_!(9!)!(E?!)@@@,@$'C_ @@AȠ@@@@@ @BȠ@@@@@#_29@hh@h@@h@@hA@&_ %/ _@h @@!m"%/!d@@@v@A@@A@@#%/ @B@@@@@#_30@hh@h@@h@@hA@&_ %% _@h @@<"%%;@@@@A@@A@@#%% @B@@@@@#_31@FF@F@@F@@FA@&_ %| _@F @@v"%|u@@@ꠠ@A@@A@@#%| @B@@@@@#_32@FF@F@Ȑ@F@>@@0@/_ = _ %[mod _ ]@F  @@!=(%%[modL!]@@@A@A@@@@@! @"@! @B@@@@@! @,@! @CȠ@/@@@@#_33@FF@F@Ȑ@F@@@@0_ == _ %[mod _ ]@F  @@"==%%[mod!!]@@@A@A@@@@@! @"@! @B@@@@@! @,@! @CȠ@/@@@@#_34@FF@F@Ȑ@F@ @@@0_ <> _ %[mod _ ]@F  @@"<>%%[mod!]@@@A@A@@@@@! @"@! @B@@@@@! @,@! @CȠ@/@@@@#_35@FF@F@Ȑ@F@s@@e@0_ != _ %[mod _ ]@F  @@蠐"!=]%%[mod!]@@@A@A@@@@@! @"@! @B@@@@@! @,@! @CȠ@/@@@@#_36@HH@@H@@'_ ^` ()@H  @@ 堐"^`"()@@@A@ @@@#_37@HH@Ȑ@H@@*_ ^` ( _ )@H @@"^`!(預!)@@@A@BȠ @@@#_38@@cc@c@@&`| _ |@@  @@"`|!|@@@ Ac@@@#_39@FF@F@F@@F@b@@@A@@/_ <= _ ?= iff _@F  @@K"<=!y"?=#iff#!c@@@A@@@! @@! @B@@@@@! @(@! @+@! @C@@@@@#_40@FF@F@F@@F@ʠ@@FA@+_ <= _ :> _@F @@"<=i":>!T@@@@A@@# <=@A@@B@@A@@#:> @C@@@@@#_41@FF@F@F@@F@@@FA%@+_ >= _ :> _@F @@ ">=":>S@@@@A@@# >=@A@@B@@A@@#:> @C@@@@@#_42@FF@F@F@@F@o@@FAw@*_ < _ :> _@F @@ Y!<":>@@@c@A@@" <@A@@B@@A@@#:> @C@@@@@#_43@FF@F@F@@F@@@FA@*_ > _ :> _@F @@ !>`":>@@@@A@@" >@A@@B@@A@@#:> @C@@@@@#_44@FF@F@F@F@@F@@@@@FA @4_ <= _ ?= iff _ :> _@F @@  "<="?=#iff'":>,[@@@A@@@! @%@! @B@@@@@! @/@! @2@! @C@@! @8@D@@@@@@@hPB @*fb@ڳ`>RG@CG ]U̙eSpJi{P>w