"`Єٰ)Decidable%Logic#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ֱҌmM %넕" IР)Decidable%Logic#Coq@A)decidable @!PA$Init@@"or @A @#notШ@A <+k7 7%'!hX@@@@@AA@@A@+dec_not_not @@I@9@J@F r0@@%Logic$Init#Coq@@#notШB%Logic$Init#Coq@@%Falsee@C@@@@@5(dec_True @@{A/i@$Truey@@@@@@I)dec_False @@BC}@%Falsee@@@@@@]&dec_or @@C!Az!B}@^L@cQgDJ@@@@@~'dec_and @@D! @}k@p@#andЖw@%@@@@@'dec_not @@ED@̩ϐ@@@@@'dec_imp @@F[ԶZֶ@@@XX@@@@@ՠ'dec_iff @@Gxw@Ԁ¶@ـǩ݀@#iffС){@@@@@'not_not @@=H-@"@Wِ@@@@@ ¬_or @@SI)+@ @B @BA@Жw@@@@@@8'not_and @@~JTV@7%@4,2o۩q&@@@@@Z'not_imp @@Kvx@YG@V@??J@@@@@w(imp_simp @@L@vd@@XXl:\@@@@@'not_iff @@M32@}@@E^ϐ;@@@@@,not_true_iff @@N@С)@@$Truey@@@@@@Ӡ-not_false_iff @@O@@@@@@蠠+not_not_iff @@.P@倐7@@ِ@@@@@.contrapositive @@EQ@쩚P@@@@@@@@.or_not_l_iff_1 @@_R57@jW @@@@@2.or_not_l_iff_2 @@xSNP@1_א@@@@@I.or_not_r_iff_1 @@Teg@H6.dJ@@@@@b.or_not_r_iff_2 @@U~@aa@@@@@y)imp_not_l @@V@xfʀ@z]A@@@@@*not_or_iff @@W54ހ@BA@B@A@@@@@+not_and_iff @@X\ն[ש@BA@B@@@@@@٠+not_imp_iff @@Y|{@؀Ʃ*@W@@@@@/not_imp_rev_iff @@8Z@ߩCo א@@@@@ 7dec_functional_relation @@Q[!X1)AZY=@@!Y2*1B @@¶@B@>@!yB"y'C'$@"eq @DBA@!xͩ3@"ex @թ:@&unique"ܷ*ީߠ7w0QA@@1)@P@A@2*1@G@A@AB@JA1@DUTS@@APA1DH@TA1FdJ @XA1GK@\A1Ši@ABCD@@@@@1)@2*1@AB ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AC(@@@0  @0.i bYN Z'Decimal$Init#Coq@0C涳N*ua0\͉!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"->:2 Q@@@@"_5@A@@@@@@@@"_62M접 @"_7'`o@A*type_scope@@@%2 Q@@@@"_8m@0H@A@@@@%@"_92M접 #_10'`o@C$@.function_scope@@BA@2 Q@@@@#_11@*+E@A@@@@Q@#_122M접 #_13'`o@@@@*2 Q@@@@#_14@5@A@@@@p@#_152M접 #_16'`o@@@@52 Q@@@@#_17@@<@A@@@@@#_182M접 #_19'`o@D@@@@@@C2 Q@@@@#_20@N@A@@@@@#_212M접 #_22'`o@D@@@@@ݠ@O2 Q@@@@#_235@Z@A@@@@@#_242M접 #_25'`o@B@@@@_2 Q@@@@#_26\@j@A@@@@@#_272M접 #_28'`o@D@@@@@36@q2 Q@@@@#_29@|?@A@@@@C@#_302M접 #_31'`o@DBD@@@@@be@~2 Q@@@@#_32@7GH~@A@@@@r@#_332M접 #_34'`o@Cq@@@@@2 Q@@@@#_35@f@A@@@@@#_362M접 #_37'`o@C@@@@@2 Q@@@@#_38@7G6@A@@@@@#_392M접 #_40'`o@DǠɠ@@@@@砐@2 Q@@@@#_41?@7GAG@A@@@@@#_422M접 #_43'`o@D@@@@@@2 Q@@@@#_44n@{@A@@@@&@#_452M접 #_46'`o@D%'@@@@FA@Ƞ2 Q@@@@#_47@7G@@A@@@@U@#_482M접 #_49'`o@ETV@@@@@@uxs@Ӡ2 Q@@@@#_50@ '@A@@@@@#_512M접 #_52'`o@@@@נ2 Q@@@@#_53@ @A@@@@@#_542M접 #_55'`o@@@@2 Q@@@@#_56@ } @A@@@@@#_572M접 #_58'`o@BŠ@@@@2 Q@@@@#_595@7 5@A@@@@@#_602M접 #_61'`o@C점@@@@ @2 Q@@A@#_62`@ /;@A@@@@@#_632M접 #_64'`o@C@@@@6@2 Q@@A@#_65@/<@A@@@@C@#_662M접 #_67'`o@CBD@@@@a@(2 Q@@A@#_68@3q@A@@@@n@#_692M접 #_70'`o@Cmo@@@@@:2 Q@@A@#_71@Eq@A@@@@@#_722M접 #_73'`o@C@@@@@N2 Q@@A@#_74 @YN@A@@@@@#_752M접 #_76'`o@CàŠ@@@@@`2 Q@@@@#_777@k/t@A@@@@@#_782M접 #_79'`o@B@@@@`2 Q@@A@#_80^@k(@A@@@@@#_812M접 #_82'`o@B@@@@g2 Q@@A@#_83@r?$e@A@@@@=@#_842M접 #_85'`o@C<>@@@@[@y2 Q@@A@#_86@ c>@A@@@@h@#_872M접 #_88'`o@Cgi@@@@@2 Q@@@@#_89@3^@A@@@@@#_902M접 #_91'`o@Goqs@@@@@AAA@@@#_92X@.decidable_prop@@@@@@@@@ &@8Coq.Logic.Decidable#<>#1z|@@@@@ ?@8Coq.Logic.Decidable#<>#2z}B@ <@'META160'META161@@< ; <@ @  ^ K p@8Coq.Logic.Decidable#<>#3z~ -B@@'META164'META165@@m l m@ѐ ;@А ?ϐΠ 7| @8Coq.Logic.Decidable#<>#4z ^B@@'META168'META169\@@  @Ð g@ k@   @8Coq.Logic.Decidable#<>#5z A@ 'META172@@Ġ  ö@  ѩ  Ӑ  @8Coq.Logic.Decidable#<>#6z B@ؠ'META174'META175@@  @ @  p  #@8Coq.Logic.Decidable#<>#7z@#_93( *@ solve_decidable_using_#_043029A4 Y@@/solve_decidable%using<./theories/Logic/Decidable.v͠E "db@@ B@@@ @@@@@!@$@ @ 1&y@3auto_#_#_#_4C69D5ED.JE?_d)dn@*h?.decidable_prop"db@@@@@#_94( @8solve_decidable_043029A7 "Y@@/solve_decidable@@ ]VVXrmE $core@@@@ND걸풬/O&@uP2@n&=@^ #5Mч&f@Rv \BWDmIHEلKp!PA!H%Logic$Init#Coq@@"or @A@#notШ"H0@ B@%Falsee@#@&or_ind"C"H1"53@)False_induُE-CDB@)Decidable?<@)decidable r2@/MAP@$Truey@G ACaBG@HHiIXC)K!At!BwusXZ^RDi{}ToS ^  Mx?FUFYw xgr !M ;b%>~G"H22vCCCA@t@v5LJHIFE@#andЖw@I RTS̠HZGŐAMͷd}   @'and_ind14ۀDYʷCE"H3HDCϷtwv#x RgطQSTPC%)(+]r\^_  [C0C  @V@WBtCӰ %zCC*@01/ 0@#8@+@Ʃ@1,'G̩1 <C .ө(Qש:5FX99C\]@@'decJ>de@#iffС)\@Kq dy+j>@D<hEU!  m ж@@Hl@IwsVX}ujyKbz{C{j u#"*$<%$',z2JC13`54p2_v ~+CHF@@zL·CŶ@@XʷV˷ɩɠY¶@v`Kb804Ch;7ChxvtЩؐ*ϩvuwķyN}Ti@@[rt#C -zd\w@hvC C@]@("@\H%~!y B{!x C`<=? 퐷ȩ& %G'/I$4c!/U0A#2C3CVW@@=8]^\CB7]41c.d(T5j-.RLCMCpq@@Uwxv]G R=xAD[FàŠLMqrQ@@t@ @uefhp@ { "@@ cxq@qw}ézM  L,0>6{ BΩ F+H/&*C/VPHFQDCRéNE@QM'?ِ^+ݐEbdI MJC|޷meɩcnjީȠT`[lh꩷Z[_XUiPC  @W@X@6@@@mD@Ͷ@"Ƿ# *(&   @@V@@`@@@78 !b  >   @ ")#2CG@LMK֩% 堶@}}@2׷8%y@@!!@ƶ@@,@__[+/]-c"t@0ɷH4 e59lhIHi9o.mMTN]Crs@$xywQLKy^bdQ@NVG@P WKb@kNNm8Q}o[_q.UyefZq\\{n|`~IkQ'qe C64@.<:62/2w,yy-c+WA>;>8 owM!C\ζZ϶@TbԷ`շ^mՠ@۠e @ޠjUU?Vַ@ɷ̷vaaKbI@ շ·~Qh0C@H'/,+(+zz%d fYҩ9858qofs qƩzr }C'(@Q-.,Ơ@^/EZ@@@@>:= CB"$*kG)IʷO$N.5/0>CST@$XY}@@:/@2@O@@0Ab I3k1g N75J:67F1Nop3W<QDRwx@@Z@N@@^P@^fSPTڷFGH:M n]jZson}#!nih.@~y·n@@k@Ķ@giqv-q}myu" #+%1nKsO"#%(($ 0C-DL_N*.Cl޶j߶@)Grpn}O%@O+@.xPUOַhٷRUFV#ݷϩ$b':Eȩ! u_ b u_`_C@Z)!X1)A@@!Y2*1B@@@@($Hdec "y'쐩,@"eq @%76@"ex @Ʃ=@&unique"ͷΩ} !Ȑ!e)©à(DBBB@@@@D@& 9T%W@ķQ+D3^BBB@@@@D@?]"x'@qT eDv#Hex%Huniq@;cVtȐ!dXl "BAAAA@@@@@D@ylk $ @(eq_ind_r!2#'y n1/H7$Hnotc@#)OGG.PQ1̩@ 0"RN3B@&eq_sym XS1NᐩbP0 C5_}=&C`