&ZР#hat@АB#hat@%Alice@)Datatypes$Init#Coq@@#nat@A @@@#Bob@@B@@%Carol@ @@"Kh@%white!i'&axioms@@+proposition@#red  2,or_and_exist@@"OR@CAC B '%&&@@'One_hat@@.,"--R,@'theorem@-propositional@@#Xor @@.Two_white_hats@@DB8CD@A<@#AND.B@@u4@l? @@@)KA_white1@@ec5 MS@@)KA_white2@@sqC.[ a@@)KB_white2@@Q<m4@@(One_hat1@c@CaP%false@@#Not~k@'Xor_ImpT@ϩ}@A(One_hat3@ܩ(w'!2 @(Xor_comm%ʶ˶@A(One_hat4@׷طI'classic@@(Xor_Imp2A @A&KB_nrC@'minimal@@(Cut_ruleЩe@T @꩚%modal@@*rule_imp_K@G쐩נ" @A0wB_wC_then_KA_rA@)'(4թ:栩 @,rule_glueAND @ߐ@Ր!7@&AND_Ki<񩚰@,3QOEP"  (@A7not_wB_wC_then_rB_or_rC@_]S^jЩɐT͐ϐZ@,Class_OR_Not ;@+rule_glueOR $@V]'X_#}{q|N9 @A5Not_KhA_then_rB_or_rC@Щ>@pw7h,@/rule_Contrapos1m @#OR2EGvD<\zV@Z@Wm(L@A:Not_KhA_and_Not_rC_then_rB@Щv6Ʃx\]@6rule_AND_right_regular=aͩy@J lש`n@)dist_AND2seީ ΠwF@%FALSEzr|@$AND1w@(AND_comm|@+Not_p_AND_p@(OR_FALSEϐA@A%Final@   .@.r_not_p_then_q Щ̠Π @5rule_AND_left_regular#! @6/ g-5!oȩ@| :8.9 -1@A&Final1@LJ@K?ة@M/6TRHS%AC@A&Final2@fdZeqٰGN@)KRԠYtrhsE0 @A@@^]KJ-,"! 蠠ːʠNM%$mlVU@@@@0893qJF砠*predicates@0Bl]I@0*,5w۱rju`@0JGT&*] ,@0:+:S/8@0-<+od@0*edfshW&axioms@0Y!?$o$Plus%Arith#Coq@0F G:Pʠ"Lt%Arith#Coq@0T"&9D1-#"Le%Arith#Coq@0k y:[!ba^N0Logic_TypeSyntax$Init#Coq@0%h3u|]*Logic_Type$Init#Coq@0cdzZAN+9QfK-'Prelude$Init#Coq@0 y&X0Yu(ߠ"Wf$Init#Coq@0[aq%u+PeanoSyntax$Init#Coq@0ɬ7VH:%Peano$Init#Coq@0k֣' F鿐,SpecifSyntax$Init#Coq@0zŐ GKJ&Specif$Init#Coq@0I/ M!|xj#+LogicSyntax$Init#Coq@0P`w7L!yҭ%Logic$Init#Coq@0$d+i{# /DatatypesSyntax$Init#Coq@00nöO()Datatypes$Init#Coq@0CiI3?Q@頠(CONSTANTA@ڠ @Ѡ  @ˠ@AAqAh$#A_)(AX.-A532A87A=8ICTN_YjduozǠҠݠ蠠 %,*2187>=DCJIQOWV@gqˠ@0g77_`#He%