"`ٰ҄)Utf8_core'Unicode#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ֱgEB   Р)Utf8_core'Unicode#Coq@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@Ƞ@AA@AȠAA@.∀ _ .. _ , _@  @A#∀@!x!,!P@@@B@@! @AA! @@! BA@@@"_6%c?@*type_scope+@@B&*type_scope@@@4!y@@"..4@@@@O@.∀ x .. y , P"_7@ȠeA@dȠAA@.∃ _ .. _ , _@p @c#∃@b!,a@@@B@@! @AA! @@! BA@@@"_8%c?@*type_scope`B@@@@] @"ex @ A!AA@@nq@@k@@@@@V]@.∃ x .. y , P"_9@UU@UA@U@AUA@'_ ∨ _@U @͠#∨@@@@@A@@A@@$∨ @BA@@@@#_10%c?@*type_scope𠠐*type_scope@@ @@@h@"or @@@@@D@'x ∨ y#_11@PP@PA@P@APA@'_ ∧ _@P @/*#∧@@@]@A@@A@@$∧ @BA@@@@#_12%c?@*type_scopeL\@@a@@@@#andЖw@]+@@@@B@'x ∧ y#_13@cc@Ȑ@c@AȠA@@'_ → _@c @@#→Z@@@@A@@A@@$→ @B@@@@#_14%c?@*type_scope@@z@@@@@@@;j@'x → y#_15@__@_@@_@@_A@'_ ↔ _@_ @@ڠ#↔@@@ @A@@A@@$↔ @B@@@@@#_16%c?@*type_scope @@͠@@@r@#iffС) @@@@A@'x ↔ y#_17@KKA@KAA@$¬ _@K  @1"¬0@@@#¬ AA@@@#_18%c?@*type_scope?O@@@@#notШJ@@@@*@$¬ x#_19@FF@F@@F@@FA@'_ ≠ _@F @@p#≠D@@@@A@@A@@$≠ @B@@@@@#_20%c?@*type_scope@@@b@@@@V @"eq @@@@@v@@@@@G`@'x ≠ y#_21@ȠҠA@ѠȠAA@-λ _ .. _ , _@ݠ @"λ@Ϡ!,!t@@@B@@! @AA! @@! BA@@@#_22%c?@@B#@@@@ɵ˳@@ȑ-@@@@F@/'λ' x .. y , t@@{&Ğwvg)@GaOx"L~?o R@BK=85X{@?w].a&pȑPO;W!}