SQLite format 3@ .C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  l lp,d ]] Sequents:threads=4elapsed=2.142cpu=7.112gc=0.1287zXZִF! ]ŗXiɟ{OȻc( 4 Łh%7cAV F)|g%!;*XwMO1|Se+gYZ7zXZִF! {]ŗXi%N K THS#,y)/tN©*q/aD?(Wߴϥ'XGKjtIEv 8n?Ag N b%R1?樼EJ³1q_\qA'm.c恡o 8 S_4zh'%yogJ窨7B鐆 Ep~G.)|&-2zK* Z=87e3CosqҲ(L7Gϟ✽]x:@1mXgInз6%c "݇)dy ݸND(y.wU{erPPyybNǛa2m|Ӊwz⍜䅅p8je1(uuXpvh%R%.[Q2Bf )KRw|>EP3)+ȹ+4Y<0.66NorL愥IE5g ۣ:I˜9bmr%+8gar*b5!3d}'VRܻF;4&5B;/w|m2o+ij H~^VM(bYHEc Jiݮ4t2/Ґ" ;ES.>*)y8 淚|8@GƂ`bYX1M_ce G؋W{y>U4d9|vHD|m|qo$26KKp+X2 ΐ+q[^c,&g} p)53>LGykN-tL .B>{wA[耮ry"γR1 (FZ>3MNP=QBbfU%&-&zӤ-@1'ɮxRGDdv2jǍk:eE3RK .qO#~ǎ.Em)|O߻LWǵ- 04345&Ȗ@F1KN\0> #KY U0X1ÁTlȢQ&#)b~_"&Ggm6J+l%'\;`X/bÛ-Qgw}HFޖOu޵mz>N< q(>j%٧ e{}?1`760(|:{i΁kQxyj1UcY%9akN$AD4ENf,IP>,UqL eK!ITŲn0qiU%hXGNJ'A!F^o\XVn9(J@'̝5(9Z]N4LEsQx7A'-rS |X:~cBFk q''D 0iy ?B-7# hfIhEڻ뗑뇡 Ԣ`vhqv9Y=IꨅF$"iBGG7J$5dt1 w=aS)뿞όcݲbX_Fb0wDJ,!@h oqbw*Ɍ)ۢcI{G'U?ol5/Y`? oԹuT@z 'IJ#8 I"bhC/u&Ww>|SX0eςfLs:9^rt#]x[<}j㙛T\ pVPCy Qt{]g+?kc0}{>V5A}\=W1$!y{m yMK(̋}3@ckt.1 [ȶs_%öz&4bp:)~= %4rY1 +kOxѾ,#!swعR2 iX^3x׭xcAC(B=znB7sIKv]IN$}Kw %LJ9Fqh R1#[^ } xML1gNG #,&Irp_E9⺆"c0nZ3tK^ :>D]t| <u2JRïJm0ݽpByth@t V2sgĿvFS6_[E#wK5=_1wɲh.OJ@?KvrU=蔔*oyS&a8:aǰbjDKfxD_<:6k' !?԰ns2Y1tD]5NVy1 k+c_*EavOGmC!m+L^pJ:.H-V: ec{k=mqU )pw`R<ȄJ;8~iYw)M+|F|Gv/ġ fnxïᾊ˙ 4yASo|;L5!d yo3՛1pNm@QgZcv$bsK(>7bxUL[@=^Fֳؖ$ QHC11|W; sYTԦ{qB*ʡLe w ϊXV& d1]k1 {@ԢW<'8PS'$O=vp Gd ܡ4^AMRv"nSjȽGERhͨn A;Ź+N$9+~jhHJۍc_d*BmϭQyODEZz[8.8Q{ZmsXS\ A0(P:f-jB=Wt[ǃⶫ67aС٩ɷ%rY)H9Kr`%# d%4P d:\t[a|}T)adPI/ ߝԆ`TrFVghg E)L_-q_Cv&k|Te* )$TQdyl8yG螝X=f<}<I$EpXT}Ƅ~x1۰>\*˒V="T%[M<8ul7m?'Q|dᏑYB:)w,K`H@عS #ߑ6kx-t}x8fkfe]d=1u+Mo=hܢ(/2 ߎZ?UtcVs=9Kdx̖:K0@A+rj>ٗT' F0B@tY{BuHvK߳{ȭ?tuT:t} ņ0^C_5te!I}@U)Ht̍Q>5 Mtzf=rt =شnyjOb%nz;Z&%#       & a` a G Y K  !  0   %  r5 UR '%'SequentsSequents.ILLPIDE/messages&%%#SequentsSequents.ILLPIDE/markup%+-'SequentsSequents.WashingPIDE/messages$)-#SequentsSequents.WashingPIDE/markup#*+'SequentsSequents.Modal0PIDE/messages"(+#SequentsSequents.Modal0PIDE/markup!-5#SequentsSequents.ILL_predlogPIDE/markup %%#SequentsSequents.NatPIDE/markup%!'SequentsSequents.TPIDE/messages#!#SequentsSequents.TPIDE/markup-5#SequentsSequents.QuantifiersPIDE/markup/9#SequentsSequents.PropositionalPIDE/markup,/'SequentsSequents.SequentsPIDE/messages*/#SequentsSequents.SequentsPIDE/markup&#'SequentsSequents.S4PIDE/messages$##SequentsSequents.S4PIDE/markup'%'SequentsSequents.LK0PIDE/messages%%#SequentsSequents.LK0PIDE/markup*%-SequentsSequents.ILLdocument/ILL.tex'%'SequentsSequents.S43PIDE/messages2-5SequentsSequents.Washingdocument/Washing.tex%%#SequentsSequents.S43PIDE/markup&#'SequentsSequents.LKPIDE/messages0+3SequentsSequents.Modal0document/Modal0.tex:5=SequentsSequents.ILL_predlogdocument/ILL_predlog.tex*%-SequentsSequents.Natdocument/Nat.tex &!)SequentsSequents.Tdocument/T.tex :5=SequentsSequents.Quantifiersdocument/Quantifiers.tex >9ASequentsSequents.Propositionaldocument/Propositional.tex 4/7SequentsSequents.Sequentsdocument/Sequents.tex $##SequentsSequents.LKPIDE/markup4?'SequentsSequents.Hard_QuantifiersPIDE/messages(#+SequentsSequents.S4document/S4.tex*%-SequentsSequents.LK0document/LK0.tex*%-SequentsSequents.S43document/S43.tex2?#SequentsSequents.Hard_QuantifiersPIDE/markup(#+SequentsSequents.LKdocument/LK.texC?G SequentsSequents.Hard_Quantifiersdocument/Hard_Quantifiers.tex   N?G SequentsSequents.Hard_Quantifiersdocument/Hard_Quantifiers.tex7zXZִF! c ]A-MՋhvG"uIBm5~*ۀN`h+ӌs"wB@s!|m2o+ij H~^VM(bYHEc Jiݮ4t2/Ґ" ;ES.>*)y8 淚|8@GƂ`bYX1M_ce G؋W{y>U4d9|vHD|m|qo$26KKp+X2 ΐ+q[^c,&g} p)53>LGykN-tL .B>{wA[耮ry"γR1 (FZ>3MNP=QBbfU%&-&zӤ-@1'ɮxRGDdv2jǍk:eE3RK .qO#~ǎ.Em)|O߻LWǵ- 04345&Ȗ@F1KN\0> #KY U0X1ÁTlȢQ&#)b~_"&Ggm6J+l%'\;`X/bÛ-Qgw}HFޖOu޵mz>N< q(>j%٧ e{}?1`760(|:{i΁kQxyj1UcY%9akN$AD4ENf,IP>,UqL eK!ITŲn0qiU%hXGNJ'A!F^o\XVn9(J@'̝5(9Z]N4LEsQx7A'-rS |X:~cBFk q''D 0iy ?B-7# hfIhEڻ뗑뇡 Ԣ`vhqv9Y=IꨅF$"iBGG7J$5dt1 w=aS)뿞όcݲbX_Fb0wDJ,!@h oqbw*Ɍ)ۢcI{G'U?ol5/Y`? oԹuT@z 'IJ#8 I"bhC/u&Ww>|SX0eςfLs:9^rt#]x[<}j㙛T\ pVPCy Qt{]g+?kc0}{>V5A}\=W1$!y{m yMK(̋}3@ckt.1 [ȶs_%öz&4bp:)~= %4rY1 +kOxѾ,#!swعR2 iX^3x׭xcAC(B=znB7sIKv]IN$}Kw %LJ9Fqh R1#[^ } xML1gNG #,&Irp_E9⺆"c0nZ3tK^ :>D]t| <u2JRïJm0ݽpByth@t V2sgĿvFS6_[E#wK5=_1wɲh.OJ@?KvrU=蔔*oyS&a8:aǰbjDKfxD_<:6k' !?԰ns2Y1tD]5NVy1 k+c_*EavOGmC!m+L^pJ:.H-V: ec{k=mqU )pw`R<ȄJ;8~iYw)M+|F|Gv/ġ fnxïᾊ˙ 4yASo|;L5!d yo3՛1pNm@QgZcv$bsK(>7bxUL[@=^Fֳؖ$ QHC11|W; sYTԦ{qB*ʡLe w ϊXV& d1]k1 {@ԢW<'8PS'$O=vp Gd ܡ4^AMRv"nSjȽGERhͨn A;Ź+N$9+~jhHJۍc_d*BmϭQyODEZz[8.8Q{ZmsXS\ A0(P:f-jB=Wt[ǃⶫ67aС٩ɷ%rY)H9Kr`%# d%4P d:\t[a|}T)adPI/ ߝԆ`TrFVghg E)L_-q_Cv&k|Te* )$TQdyl8yG螝X=f<}<I$EpXT}Ƅ~x1۰>\*˒V="T%[M<8ul7m?'Q|dᏑYB:)w,K`H@عS #ߑ6kx-t}x8fkfe]d=1u+Mo=hܢ(/2 ߎZ?UtcVs=9Kdx̖:K0@A+rj>ٗT' F0B@tY{BuHvK߳{ȭ?tuT:t} ņ0^C_5te!I}@U)Ht̍Q>5 Mtzf=rt =شnyjOb%nz;Z&Te-WJSTSY я4T9PGyOھ6g:͒btgYZ #+ tSequentsSequents.LKdocument/LK.tex7zXZִF! ]A-MՋhvG"uIBm5wy=D xO*g(>[m`A͈{*z37I d;m!WҤ\քͳ=n M{ <4CL}?T‰..M<}cm _\2vLF7JuZ;jOY`|َZZlsDf.67ͫ">2 G*Nmv{_0$CôxbX(J#;M:T >z\8?f~U_c*N=J}`ů!u=O<0+\񽧬CQ"ɬ崳5*OʛD_7 9,GOWOUNch^>jgHǑdjO݃+x̾Dv.$Q}e4v!ᳺ, # td԰o)%C2VHօSe I3 ~:G֭I=E9`-}݈!1^QIJu~Ҕ=X{(Q-W]4wI ![1Uf[^rI:9?M( DJ-y; J"IXT8?-{emX/z_Y۞_4Kcez+`؝YÉQt%}CGE3/ƹe'!zf%*tvpحh<z̨,ܩ-iR- A&Xp^_AkE˔ؠiר);,m *@ES7Zf()cxs偀EO5q) ؆T6Gc:eD{bfdb 3 H:Nee\'NePEz34gD63U){ #pڳkxoY" ;sY$Qs_X`€q~[y;< \/C{װM`xDg^1;N95j5bdE?5Q>zN;ƹB=Ӹj5?54Y6ϵI6]O sA2zFn{T%NGY%F/Q<sIs7 ߵX\ɣEzn)Z&tf˺m3>ֽfy=h%ն* &D[/ݦ'= ]E'x.\݉&W?1TcHb g^6" @kS`^ð!UgzK.Wo{NҤxɨX9 PY4Q g˄2L?%(FkNjfDe9{6%0W >Tq t"ͥZ*8X/ @[JsÀ 2mȻ-ݾmb$7ʏq"T`t 4q2~\V/DQ%;KWn>'1BiDA]1ƺ&6 i/wCN6 I~WD}D/7 & ij,/>rMn.i~1_s?_ۓJ毳/}2u \jQje1z' 9IXzmM;M7y%'8Y4LcF#ThC0^qV^ƙ۰\~ {R>gpJ[==&nf*PsE\b,Y IWdtݴxh(f9[ X*L |B{τԡ)Zi҇HB]uϹ] CrG8bنDQ15œoh?췕;9+a̿H1+p̾K0 up5& ,kY9=x/J>M,X=FĉASK-.Ah2xLP]52΃#>?w===>] OvDK ;`rwQ=12n8JL &z~n>%pU cwp *gYZ <?# SequentsSequents.Hard_QuantifiersPIDE/markup7zXZִF! 1 ] !M젗OFM-:qkJ/ 6 6`k[HaMv(w6Kܨ2#C|KhgQAbf%1H Bu/gz_?Lk薎j ǒPQ[>wT)؍FL!E7D(0mf9ȆWmVlFY,2ia+0;F6Wޣ ի^VEy¹q. d9d2RiXIi+ɼ` je XǟNNr'sV trw䪔iF.M)d1a%$ЙmAHZ]!TI{YċoI(ˢ Adj5ϒ7BU#dm7垇xAW(^ŭʹ38>+'3.^9Юh/SiJhڟ)A};LE7$v*K!́:Ջ6"v"(W9`a1ٸ֩▬vsJ䞣æF-Mݻ+'.ә"7u6]^xI@5N5@aqZD@8Xj_$@* 7K\U[c(3oOI'cx*x8Fp?3YǸ!P p^|sC_׈ Xq))b8dh'<Ugl @L9nidL7{,XxƔ4/P,R .)"S7kJ'9J5SL!z͇ڛkٕ A͇8jQu(w^<b]eQXJ\}J˳ةŰ{XB"K2O@z;ڧ9~rSP‹ "4e~zRBQ 9}ʡOG$qc{x%c ʶ3}ϞxD kκn,sk ` ex%E3hqiJI qe)'.էCPX&=, 53P:/JT,&`I#AP7ڻ\/s6=o?1a<5K!2RG3I-OEV{j?l6{ ז-zz,?D'>XµmJ= J%UؼS-bW==nd S+6 1nOS8`0yWQEv&];($ S -0[ǹ}*:MJ#,' o/@|*Z`h3}W 7{CHT?Pg2%1ӏU5ճ<h>(Qhiu\|{o-]SysP}dVr6]`C/~8 /ԅD X|\(d^VAXMT|ݳQ5;x>TӄluΚJyouU< L\?T<ϡo伔cPilOGj{_6 b;[ط^k6"5BHg_.ü) QZ(]D)'-MSQm6{\΁i?,k=(;P,rDĖ֢wqLV1%Pd(:<b?{-x#CrV%W옠V0컾|QGƝngHH`b'uB'  1UyŚub(Мn%$d,-Eˆ<c5 4:fͳu5/k$q'< Kt'iWb$!R\ 8S[^-ҁ@W GX+pTXvdO}T\\V4PɓQ5)ivZ5R}sN1.]ɰ{Ū_~FV0xl̯4qۀ-Ja4=jBȃGqaF~GwNA!ù xTk~ctMk=-+Iyܙs7là(gNfpFd6˵:{6Du5cg6 |IN WLn4` kڠ,Ya0Bt'^j0i8lpL&r8ajF V!]sÐ>^ J+5`6ǥU%'C)-+ ۽HWT:$T *v>veٟtG!0{(H6/d_We'#֍N0RRXFroqDePK^ ī%$X]Sc|Fx9C\bcTЮ=@bȠN\Y)S h{q &k|fy_boad+ 6A0d8{D2}福1ˊ=&.񕡷I8/uX=%6uB* FrJdh* Ynƛ"ޛ]YLxn$[C8sH|Oy5t$S|%Mgv5RH8]lҋvbvLau.ZWl%[fP@݈-msB]f?O;PP<.;%*]+6`9sȘ)ҘZI^K?FV_!mtֺ 8̑οBkHfj'GO ?#6Kn.FU0feR:i>q ptw%2pUHG{Lt)^g+D>d#OSUţy&q7!7⺤d/<+ܔg:k.׌aPd*IEK@ 4B[M+Ș: CJF+6; rR21CEԟ yu;H&fկcf8geg[XH&lɈ !(u \,$^%%p@rRgAֵBn0|2QM(G$p4d􅬍ʪq8X"\t7^IW,ܑ_MGu|7Sfyõd[XHbg4ws5`_?; 4m0MerU7XR3X[dvJd,A]fMSfnn@SsrᦒOG.6~ncRnˇwyX n{)s26KJ-Sc"ͺsGzO5|B꣉fvvYUպd~ˊE{4K'pgznio3 \{G ĐDȜ6$u"@#"fp q?dp̟k.Go)/9їGi4U=>?J )AX&H w^{!I"xTwh6gS2+`8R'a߹>X吵9x;e@W5'.KTXj<:v&ºCYc+&0?qrpaи[1}:wڝ>}|}6s} ?J wA%yrlvUE*|n/ciRP iC0%ZzɺT1m{uQbӼ5/]Ih'(aYˬZolCI"A>uD>Zf)5g[д,]d~O!Si`.t&MzD+qKBhB8Z;bs0h Vk`G]I,q[y,>1uNAp{ufਸ਼ 6R؎6+fL@yxႚ//>rGk"H; qa<#u ](r?pHn_لΧ^FkT%hj_ YΝ]DUA5鬵b8-7 5@w:4vsȤ &rovYU ]9c_ &?PZ?NJvC6(!GT"$䉂q=˚T+nl~` ȻlRff|ǑzN-YRY SQkTt)_W갺wʺ&v BEo|*e|GbRP-#Í桽aIb;1޸+^/@{myݸ2. AZ E^c(FF\ё S~שD;R Ǝh'5Ar5VpӻZg[MJZU9e%w?x=3CsQAU}\X~>Q n߶]d/gJ,a̚3qu͞h|9:f}"횸ag3D{B߯ 55 gZJ 㤢|Xx̹H@ȐA߿`2ޡƲ]iIgz~.嵀&[n57~di|RxUhv\Qv4;/SFc;[S{NTi\LtJ rG<Ŵ oF`rlJ!.ЧhPi[(kEm#=]hAwBsQ~ݑ"*aY纐[.%úU2́Ŧ"`OP09lU{6Ȉ x5:,/ZzAR D"L4_/8e-)⢇׀(3ROi#H2Ɠ- \\$1IZ?oyll oɦ^s0\~bznZyn0J,oEg jړU {ë i>8x=W`$?. (92&(RV>7J|+?Z<=]j8x`/&!"ӄ'BIrzӂ,}[Cgw9ItΐJ_@2Y%jZ \sGJĕw^d*U?&DSJy.^zTE!4If h[{@/LBq.vޭ#y.%Bғ->^$T< ¶H&D?;gzwd6bXz/v/oIFG?WfmI˿E X/3:( P/B#ײZ|jFo%@]$+/,ow̸͞$Hz/H4wlύ`)^z,, Be}'[C7"3U96 žx;/QRX%õZޑu /&S5:2?Zao%[7au"MsGuPC4/g7) ?TXxSٳ9DwqsW.z8^xg{[ssrTOUYuVkou¿CFa=!.z:QM#O=B(J3r\J&PGkA^!0Ryҡ?(YB sc+81F.}'j@^^YR=ȜMp= xHIF/k;ӘQ^q6Wy=- O$!&ԧJ$|R @n,k|!==6 wiؕ4PMlj@Vc)*^A׾gҦw}Q[cwZ!JG 1|(9?P%78i/uq%gw` Ψrvj5eZ3\'p`M IW\~yQN,rd7\i@:wF 7깠:ВR#Og罫PG7G~2j߰ Υ14"wj@6;d$bP ?!(6rʊQHk LTS}! U_>#|/n[}^Ɨs3ʞK}^K34sCciʞ]+A~ˢ(#JG=z=pk3bvECr)ޗٔZH3e~ݿ>}!54iEM:r#j64HF/}w%Ftq Tn>0%wmMҰqR_ؐ0Dӕg;Ĕ]ng *7hXU.3b7nHJbMOaQzw2&p4٬pypVzX`sa(i#B:M9""Oc!aPڞ$vs r4aKu|#8~n6>g_(1a4meD+8 ɢp5NF'E|o`2t:V2bhin͓6B4r4Ƃy ;~Zs'eeR|?(+䅬քT^Xmg/ 2orTLAO`oȗFxTD@:Nͳ"7ĻdjȮNH;a[v%6hY3ūe܄1n DftSiBVk%^|dcjߞ'|j3*TyDl߲JM<|\)$c6\ *[@$@1 7gDǥBͅFGOiS&6Cn?LzCA8U;HE% Y#EEU{vB!w;ٜҭB:v 0`)y '%JNS_N{Jt?޳'䉸|ė5gO؛^~|fׁ(L0CL`v#lBk'T<!|)1X,cb@Go}T/yǽLYXG]klO69%J4?}ɺk|FTBsޒ fz-\٫ w6^ecC\h Co4;8oDSԯu f:J[bq+Ԩ6C|\%YƤ>O4ma>qq{Y||,b:`/aDC,[#Y97$B! Vbj\s-y/#Ò©Mch<4C*O% KtB(ۆk[COcZ ƙ`Ƌ2LIWM{BIifmjbi|*AZXnR DE9 %mJr'E#R|07Jad7 a;˟ww2.nAź֬=cU:x&(7qy@*5I'3ˇgYZ c c>?' SequentsSequents.Hard_QuantifiersPIDE/messages7zXZִF! s]Άxʆ5.f-9 rq@V@۰}}'5Cdz!U_ ȍhct֏EG@j ak>EMKWU8{q?bk)wÄ_p$O8aFUY׉R#2m] `"(v_K-hLv졶 !DsogYZJ#+ LSequentsSequents.S4document/S4.tex7zXZִF! {]A-MՋhvG"uIBm5ȭ@yK#v nO=dz@ Ν6w1dw (Z{+!-0"\Ly`> <.u[[&a/gV"Cۇkc]JyAgh% $"cj+>)Jh!5%Ɏx`+e6}IoœM]{ | Gӛ4I0/5Fm\ \ArHZ>VVB,e),TxEw1b*:H/Yw8vӤI0VNpt/Hh ʗ}JҰ(X}feiRMb8XnE&f k`J֞v$UiX}D'@nӖޱr` `٧Jv@fOUcbk+<Ǭ>sEp絪E1HK~'OQ:vLih>*4qf?gUoࠏA-$4p:CS`!: 6tƼm<|,$QɸXgu XaO&dB>۫+$&Yepx@D4_O)'?fd@w^kBEk.~%\"2&aJ!>/^nŦ.#{v͠Q8һ7j'otjU1OqP5~N9A?;/F,h@RK;m 7XU'&7=LX~Z< pBA}69<^Gc^"oH$ v4?~<Уczƺ=zOzb` TI,Đb |~83 /d ^MFj8Aʆp[ecÿ /F'w*;GŠjzh3oi|)Qk7|T@v98O_1 䖀(^[~?~J:~9r!J&`$BӀM$^O9B뼮0SߛCǹ~7.ǒ P k@r(\+^x. _,OH!/+I*Owpw>*ld8C?Jy3hQhԳ,9&&3"XJQ9̑G/ZZҒIKOk7`xE|SqMeOI +:.qUVIx=k_=oly.ȂF;ì!.,8n'%)>)``Atv*e8<($l=n›~^ڥ0ԞL\3]&!+um U8(jF o$P,QroX*ݙ03#H"+9yƗc/ܸfv\+e)PLķ 1FG^E-iL9eK8*v|&ҥE[59\;Jݰ{ { y=+Cx,[O]X>$2c}I|&T*s5 _@FD@ bS՜71^5(sj4AQv(SYxO-( 8^[J =vRk{ԇ{] qe5gEYkLg4O3v ПZHudفZUAĕ~ŒK\Ȟ{baAIE OlkKԌ3zw1* `Oz ,m(SW]vWuPR\:qtY[INNbHgYZ%- jxܙs6)x,;.G5㔛r`tTr>0'mډiԵ$|A}_2bkpveTZadn+I-}5X2̤Be GPK xoU6=@xYMAe'=Vt .;hG(oDQN4p~v3ޓˀpeg/RxtK|rÚoRVzC7EJ i{VУ{D">uU)X25(W B(yAbtVϫIW"S0fl`%kEm ;LP;xukBy v,Cs1T]5> W=Iт!lEg$lbFQ4|2{~("NM+CxwM~1A#!lª`r!r&_ZM]m~k _c Pj>F?~} Ijn_ H1MZRAo\%2Gퟠ2f6Ԝ[Id>-9r0i4~U Z)K1U5 r;iqB%.YWNrX yB>'HAQZ 4^Mf-gPLV+3X-ڍ@W1*ks|?ٺSNL>Ȗ] Ax*IN-o[gyڼ|761?$6m)Gv.>PIb}?"NAxHcVh]M\:sbbwbcsmSD7,lAĎ-X_/'4eE#}rlr8@n7t:$d^*Y;Ҹ(58w÷ߢNx֮ QgERXgϛV}gB(#Y!i 3Cg' }+ڐw[# k',G@FG7F\/:!{-r? nȘzb^x1j2_5ǵᕿ-f^E/!w0BqMeDE/(Ê1UlT#\nu ѱU#ImDR${h&%YJ:m8r ĕaJ6BQtelJQi9!Z8 >\~ _Zl8tbCq> 3-|ד.Gⶖr` Ϲ]@]AjlF-OZqIO(/+U}xXNzq9T7Ô:kbϲP!3gF}{ pZZf;{8~+jyөgD>`9i7R4nΡD,[Hy7li(pvH5,Xənb2nVBpG"$!vcoC0{r ț2BӠ!7MبFx1sij٬m / $-XL(=n./-%Ө씄X@^ l9sKx[NXcӃ69oZٿ;!VsuP1 *"C A8+wBۂ Y{ xer T5Tә Ts+c7$z ?[A/\81^iFL=_x=&sfO<<xp::K)mӰjvrLtcm6= :"1kQK/lүrY@XmcATPW6{cB10[NA3+x#MHXYe$8^}*|t~# ~ `T;R]xݔIm|r"|;^q,جGhA1 ;$`m&hC `gcț% gFب.gdGtDD$?X;y܍>CO#2SeV&뾟xkCBIK xXW"c%,"YG!'vŵP&~ eЧZfǹ' )p$#MEn fTqXUz%/(mr&lA@oeS~oKVu,q% r - "R?_@U '8ḦC! RB7H'kC?Q#S,to[[8_yj?ٓޘT )nQ\w1q!WG=v2 )9 uR en\ry^X^فt$r ?tgה*'ŏp^4ehΗ|2O9̏見z =\P\l]x_J JXDAn[#1{ l|XP>$&u['q.*I=8&p?͕A.S]Lg!":XN6S!Vc*ܹ @`'JoW3}tRP }Q"#EGv$8ʛjkp~5?\6͖\;_$K_ Mm@hq_ݡ ! nvִ?=]NP # `l!M \FҘ$Ot2oO0kTdd{y&82\x׈Ib+b܋r,&VKxӳ#}*`0 b~ JxirM}a?0_yȶEjAZB،"!W9W~g%+0Jobڀbmxcuj$bA1.Jϫ&|R!Gߵqi s(즅%`jJ EY7B'߾iRg {U?*۱쥨A2_`ݿPMr\*-[mCyL$ԞyC3( $!38ɴ|gĮWpT^ ധbUfG,AIʉ-mܙŒAךU;Iu `=l=$#*S,cP: pHqfU VH  ٢J /#?t'XpU"9Զa0=]}XFdgYZ  \ !) tSequentsSequents.Tdocument/T.tex7zXZִF! bg]A-MՋhvG"uIBm5ɵU{ t"9"EED4Ȩpչ4cEIbC}kJi5 |~}9SCB#N_D"zĊF! )kSy(cYS" ܸXJ۵H8;( ;$# Ѳvvj{fnXM" }Ɗ=%zBxzGcKj} 4a&aQ/\ӻQRZ ҊkauسjMLan?EԨmt~cL`GVB@gT xցY?cƎ{2zƘSrSj>eG(rHqJvzaӗb+a$V$/"C >578;Ho!LFBvFCOdY֜3)c ?nvܙ#ӄYє9`joT9 ]OpEu'X))6'3Qy\>#%3N{t exQ~cLn\ qG%`?8p-PF(@Aia~Ⱦ!Q |Ӝ]OW4=ſ]ً߳pV?M݁~e1o蠢NxV= Q7e;g@Y]d&Pp5a4LC ʳ3`kzɳ^A+O{a!gp-xKXWP6WdFtRƄދ?SBJorBb}q Φ+ @&cMder]Dۄub=P|)-ams"nO@-Gi !Gr?j f2$yEKhvqɒI*lc|iMl;ڣ3XUv䊯 OD˒)$"a-nUH@/ El[F`P[lIe1ܲ/qA།loȦ+h9@Di^r49 r%|n݋ yc3r+ScsV WAIK~ZvB'yoEU}4M?t 6}g*f56)ȅ RVƗEN57BD)Ԉ\^(v$%{NS'!$:e܂8+Eb ]0T_QGׂ{iK:8O q9Xk1q 4'*e{`  ZTI[{s;-TzqɺCugYZ| 5= SequentsSequents.Quantifiersdocument/Quantifiers.tex7zXZִF! eV~]A-MՋhvG"uIBm57ݗ*Fd),uc aeB`[ P*ln?%lgfhC %oi DGw.>"24f뷊p6nЗVOdI 0A@J&3>"}$O=i}܃mOH}dMJ19!–Ƴ)1nHɥHѬR‡UBF7S(7ID~MENB9Ì/)'T.;*_Mj 4M\e-BrP/Z׍%{Y''Cw!Șrjxz?U*/z;EWdfۈyF„'p4\3|OLJ@]gb9V krPƴQQ{jvnB˩t(JOA @!eJIަXb^ GiX(bt5|km;q(grX@JSo7M/[/xN:%0(K*#2 ^o-0U'qڈt4ZFK-!H\Kq1Rs>`}"Cq=?xKiGӹyp-[o:ĀQҺdV_E枊++Š;k!iy&dcbП4ظ}mL)!k5m<1U:ܕ3F1OH&gk>c2ZbݬC8^Ӆݯ[%wz;>c+``-ɢk Rg v-VڂUX@0J=Elg!U#߱t3w8u"qEcܪ4ל.NS>}ʰfXBy32aP{Ba^@ԫvd[#|?!z9)=?2K#QIN?,ce@ES";g. QF mprznzR|.A0/\wKʼ a9189|k!%X gYZ  5= SequentsSequents.ILL_predlogdocument/ILL_predlog.tex7zXZִF! ]A-MՋhvG"uIBm5ϖ/-fɘ8KC91_N;gB M5-U2D I*f6x\*GߥLzD_d㣸 *Т5ٹ{8nGMbk!k!g*0< `Z`ڋ5^@P䁶SElM9P/%1ltOᵭcB_@~+cZ@=<(f(?Eo&sSWw6JB?\G]sA!f=g\ L[+Cy{N[G4ti č[* |y "P7XxtX'-/ N)[065V؃MIn|,6ۀ.և ^b$p$}G4ln\텩K4@'r_.G]@C['n -${h1?\5^r* /.mO32)wyܿ{"To7|74V ;6w@LG2s tKبQ843`SM" ڠF㲐cړNmNyEGc& 293VLکM`k@7:?Kh +Օ;u|`J[GS$*H,!8uĮg y/vQVɎblWdONj9.'s|/ؚ I)L8諶Qhwı]e:Cdȇ)  jT\v^s$5i3u:i,MZL:vh@a$H\$;| SՐՀIy 853pCʗ]@#iСa#R:7^{8U",!\\doUؔ3Vh`6dδq|+4nTe[ؗ O_x5| v]ߨ"tǍ@*+$]~dX he#|`E 7-xU]`˂Hq}ԐWE^.u(5`6KΌ\V(|3t@a~ ~199uik'Ő!*F[af#u j>8a !"?_u4f4ib?H ߓ#B9D asmAra<CC%*[{o6-5E@O tpQ₩a{PI-&"8v;[_`o`B#s/Z;4ō飲p㛣DQA31C|'+@T K:`mr+V@#E֐YO'qqDxo2.j[{[m/rZMBе^ q%Z*$A#*!doXevPᾼZ\; 7Q=,+JIREy^pNZti(;فsm"F#qۖ.Hzv߭28D*AL5R@Կhxxn \j>Q&|T݉!-X%و! c*KF#8 (d1 Q-J>~ݺN_ hghwB6'zLcfMP j*WRaUWoP8PhQã-E< R$<7-'ƌoY :"LCDC'zgYZ` %- tSequentsSequents.Natdocument/Nat.tex7zXZִF! =t]A-MՋhvG"uIBm5ıܒ'~U $aS 9ТJqŷǝ˕ F ^7C TO7OX"006皿*7}&Q4ɯ  OS?Cp#8H8^W};b-qp{2GE7PȮ,Fx)@ܺ.}X+Jw ThJG38.qC!ζ_Xi{jaÍAi^-dnіCm?3*,Ss7MejI@ʈo6ŵzq7it9YAvMVzy^-85"zH67jnb:SC}rF} ub l-=.mM" w&šI4f7I&iB7t r]*ֆݭ5xVn+^u$NErIIıh]ԗ˧b`4w*`6ҊI܋^*Od f5XٱUg{$I/Qg^M(6D)X'af ma_pKDw0 gS5m?p*HZl[€>1;PyIbj/9@ሃq6f?6xtSdC#l #~O5Ī) \ϴ-|qz0,/-˱ ln.Bl rcNL@nDWX0C7Z',%,Dެj|˂M-fh5Z 3-H%(:;m#=h~7?dLĕ Ui,#ƤF4l|U k!`<1f()'[02gP7+~,RfyJoe!vO) 8ع^kj[!$Z 5bQ)F3.-HsH+qR} eykQLsNc8R8^O<_!;TDE7̟pUIpFVNq^nӽnVI[?odTʇ.eκP_oN +f?J{Rs/yҽt>ՙ'aV?:bzIsHf¯hAFN Ɛ~ߜF.P65 NNz`lk=RL\Hy,R̶=GZ n@o֟xBAux/(?"Gjzb= zl^-LVc}gjKV ĤaelA $1W<)p%mdbsɣ>@:ŽhC{L_~d;: T,bЪ˴G-C5n;im`깧dOT3;L./Xi덱d |/Ǐϥ"{Z\(N)\A޲| Td؊%WLDA.$Tok!:e /wߟV~>)Ra;$9` Oٓ {W'gYZ  F+3 4SequentsSequents.Modal0document/Modal0.tex7zXZִF! 3?]A-MՋhvG"uIBm51VU,;Sm/^v꺾簸}\G̈́l6yzusxe|58*aBN)-4fJM+^`@RssҪ!6lʮɻ|g&Tش-Rh6 f'ж=/.+!ʩmka^G3dyr<<* {>t={ob =(#4X!6khE*  nV#KH;C$n{:ͅѐwwatԐ[7ZXQ'Sr g.腹쓀ZyiT%sĨ=$דM`,j#3WVRES\Uz7kfa(/u6 q[eQf}Z=H0U2Hjt_x<-2qo$/~&qRTHE`+aO3e/q8;.1gDD.Zcnk;PAB*snSJ3/ &`A٦YԨpNGaJjƐO!ƀA\S/ lVChҰ .H|;E+;Z@hƪ,2;Hz7fHpDHj;X=}\b藏'6R5=;X:a]L Syom |3V(ޟ"Eqꋘ@ L/axVi䚽6޽S5X/U!=3HmFzݰ4 > y$z1tR bl%{)fזLJ#DJ<}n/hwF9uAth:giyN 'O>+[J0 .Hs(fr" 6?\o4d8cl1Cw{tgDw2DGF:A4L,ur4Cx}R_gl6j,H,4@;o_o3bm}nJu 2&R{zW۾JeXGC3FRk@Jp?(LY8 )R[rIzּ&Z93}I? 7w{4 YMbH@lq@k!e{4 IJV)q}>>~Botm)boßf+.+`ă%N0K9r*)(qTiӌ%-x0vکaa-OBz6\'JN05:s fx) fܢgYZ   t#' $SequentsSequents.LKPIDE/messages7zXZִF! o ]Άxʆ5.f-9 rq?/W'yc6rzp3/ԒBR|Ƴ& _8Jbxץ#~Wjɦ,J:zmn@ Ue(ٚZʌi}hքr{ `V8Fϐ^V֔f/Z)0[h 2P˜P*G2֡.g-ApJg-J,nw,WbyTsGo4Xh?*~4A42O1%h~xApP` \Yݙ{0~qi~_y f7h#_rcJ|I7ƌP]›k99>ZB^;@B% }MyL'@ؐCsn Ea"?찾h3^{$s:s"a" 3s8R2`R ob%ȭoV.Q֛ S\$پ*Wd 4٠TL ff-58| ĻdJW{;u㙃Nhw3Dâ>w9`7"rH4ZiMvgrŭh:Do7=v睩3͖1޹E1,Z@VJsškI+s.?urFAX욖8}*D܌;@ ~׫#?VYKڂng|F79]ihC^Zl3鋲e!Ud[G^F^VK (VtrFv1+Kpp3=1TPjN ,xZF? 죸hYjܠ'F݅)J/Gmbd\o` EAk-l;)Y23⹯iB) ) )-w=nwsnSv .$:T5HzM9>&v1?ῙSw\_P;dU<ɭxҿ!Pذ,k;t,'oᾝOvlg#D~^$#̋]HٸWB5fpeK5j)nP/Im2 6ghw?M>s-=,iˠזEެ{ 3}QoUWcA >\!cD?I5csX@*?jȜXq0/6MCndVxvJD? 3?7YL,Fhª=34N!/쓚bB`= o6Ni?Y'ެ3%|Ls{Z[xȔ|dھ1sӧf^§r9KlbҔS$M,:Xޞ ww"D6-#?@jw4gUB"~H=ҽ8bx#ڧKҮ+Ƃ|1LT,\$E ;ElNmIu',ǛۆI=J {S^c:t2ػrUtCm>&6.g)+-z痮կ0 ޯ(rOJp%qq3h4_vh5̼Z,ZuQavbmR[̃j̍ϘNuzM͉~]tʀ >m[>BM* Q 00f͊>F謌!c.ȍKT P2lp;lܲ /ze,s%fp*5g4|DeX 7yjt ZO'>4CN0x,w7Ն;yNR,}ޒX*^ie6*"xe u-l+%7Zؽ%`> Q؆S7>=eD|Juy# ;mǃ5I @`PgYZ v%'XSequentsSequents.S43PIDE/messageswriteln_messageserial=66662line=79offset=2898end_offset=2900file=~~/src/Sequents/S43.thyid=24blockblockstructurebreakwidth=1 blockS43_Proverbreak:breakwidth=1indent=2 MODAL_PROVERx-5 SequentsSequents.Washingdocument/Washing.tex7zXZִF! $g]A-MՋhvG"uIBm5S|MQOv1~cQafCu!ck?trNSJrW9)OΙHTIwפ~QvYHw$%hTmn#T 4S_ ]MZK'\i KwA\v{ډHxx#уؾǾr6<ݚ|8A *,s{(-¸tA QSZ@ ]w@]Uc-Wj>L? gu,NBM%^&O-%t|7,xSEoxDf3}!w[ ,e#E>N,_IL1٪9#\HZ;F[bԼ&&3x?LJ i@׻{n\׿[teɾ:o'@5;Etq+y 0} #8t]ILcΓX<_ N$^}oLc-n|0=Iv^Ƴ$qBe%@eo\5>H{+D{&vz7}'NP(O))"%<ت"qaձ)҆e:"s}J9\uQKFeܠ6'01z7 k 2 ˓.\\SN*wyt|9k?ܲ죴\trA {mM6.f1:G:Irx_ ˀGAy 𤃩+\׵Zk/zqWU| &`H y&IJBhzQSnjo']W( (TbR+Kb68՛N͐GfQLwm\z |PTcvi(+ F KJ,A^^|U/30cwh`(DqO~S:/Ͳg2CO(,`9B@L`uH] gYZ%# LSequentsSequents.S43PIDE/markup7zXZִF! ,] !M젗OFM-:rlcd/ `DrHp/F O_{/%Wb C YSn!QM%ф/ta# V]QQ:TQͦVջ(:Ap)Zwmk19msrT%qs}2Rʻїe(oEs7Ƣ݁gvJ{w5c U͋U~eAxX}!ө*{BVP8S* <//U 4k"%MkjU\hujhejø?ѕOW,'AP^ 2<šr.d'w)j+R[ De V旕L(j=K! K+\YbWpc6r*FK Δ ,)*Q0!L4Y|-Xg;S])GUkioew?8ixsQҠ?JBϾ<+W~q#Tu(їEizൖJgD$0i<[a\)<7}S{eNrdOƒs*fXCI+x>ݎAT x%"WG@-ʓg )aIxܲ:DJ?TwywS~;5I9dr*iLdH"wQ;7B %W>41"ȀMc{|XR]cJR}TnG'"3𱔷cv:Nj!bu9ĺi_i\֗Lo'Wd1|W>h9 /̱4}yhN{oCr'[bTTeJ7- r%e,l 뮏̴ R3n#O% x~_cw)Fph_ !ͅf⪰7'|#Ѳם5aNgv䰪T >s7$]ٷ!yX1ƨ.qD GJh$!!븨dFo""&}"?6 V+xOMu`e%YR k!f^tirboMH#|s?YNtP]iJ,@l,( ǒ)?.1XpY/<@VLW TH . Ҕ_Դq0}\9p4}"} H@\#%rpK¸yU+xZMZQenh_BmԞՎYP).=Cn4AQdo$$Neukws[3=$ھx66첑Àwic@iotuEAX p;Z@%I-XXRݍgYZS$x䋛׎7}} OPee 93w~ַ"D LIHjͿ~5iPf䍩~c_. xx,]n֩p܏Lo|W}{G7Lv,igӑ@0yӁ3= 8vZ}AiDД*4¾}j=sZRC.N)c3yEͻ]PR)`uQfоjD6LP+8\oPGhI 2ej#LJ_=.:{w~ RFy 7ēҝyFn!T?ͦ\ a˕]5hNt$ b8d~+7*SeV.4E\XܱFm-P#)MI0R m53xRO셔L|`?DV% %M|u+{;/+$38zQ2 cj(c]omiMMhc2iÓ敪zpQƹc޺ȊH )$i$m||N)Y,>r7dm&ئ~u߆iRXck`øP}deQ~g1[}Yl:פ䨃WOgo ^wb㋿Dv c{OZ$m-7:׵Nd$D9m{Dj3h덴>eI2#}~r\<g>cR9an䓾γ{>Ta*CI_HH}c_؃:zJJ<-- (՜sG0_jti`(݉>`-&«D=:σzMfA F`'K%m@Bea΃a1ɌF &tP34 p,ܦlulRLҌɬjM9p4y9_EL3Jөed@BkZcN/2_X}tA3N"L"bP\8Y?f@%ƹʒjGgr3M]cX\X/#a2}]y0e X H7F*KZ:!:EZ|[FRCu`!*aƺ(swjc6D:<~- ܾk.'EcT"sOhzO`8°WrG_?yjZr6. N21CjqIgi/nlV}B1SgcS2Zr`R6FK= oϝTi1 C؛qӨvꪋYj>3M<؝et`B`3d#^#hz  S qMGaİC+ksyKZҞc.ֶ` G/~5*@3xd,,!y©iפT#ִbZxv1qE ka_gS,|!oTYPD%6vL-{e^׷C;]Ix rxU:Ս8z8$mxP•1]& u vpi0^ 5xD39EyLEֽY胛@f-{fHъ>#K#}dny ?c.)W[Up흰y{- O@yu}o}QP$$ '}7w5B0^&BQ1aqJ p*;w٤9= Ϛ\hgYy7 -˫)33þ'_*5Xi{n?t}#Xsrpo%m,i* j P9E7,ghe?R(zGHpӡ6Is>Q @yԅIc}Cw +|}ʢk96_eBX(5aoG}fӵE)RAB#?3GD;N|j'ɞ?YےB<{~#U20;W *Gu` *؞;k}2hη5/jZѨʠWU;/X0K]/n7Uo]͝%e| /$%_[éWOKp]!/["ĐK˂GFK2ш*A(oƳs:ľn+Y]r2B鼤 ?<4gYZ zz%# dSequentsSequents.LK0PIDE/markup7zXZִF! /\ ,] !M젗OFM-:qǒnc]9"ZWLn .w{OyZhJ2ѽ٠P`N<\/?FT\74GU GAk?>1Ǩ&"sgJ?7!327³Y V1I^~̄eQRd|< 1=\] 9F$! zHjC\!]u>UUDKc (i8e =3AEj>~P#^ C€Wt; kw= ֈIVGg-:< \Dӟbp&}CfVGVy-W=ǿHUEybR$yk#<;:;ތk$R]KXw5k'Ob }[ }oB̤s{&e;w"sT?$U6hh3a hI'c zH ED0|r=FR_,!Svҽvh~ɻX.B:_ 9Tgle٣{iD$#\EWpHCnƎ$_]_4t(56Bd(]Yo9N\=eosE<2#.fWoqS4 #|@R5ݥ@r|%px@ʼn{ȵ2$.K{%.E+R34 `˧}:¹k~&o.h#Ax9D#jJ.')Ul?#@/>WgzO$جU 3^HȺnC\g-ݸ@:UOÿa?08(T53֍nKYO@>Mg$:1TO`o!|FV'#]=L7HOyT:xMZ[I~]!۾<B#sskǂ=zߞ7h"`yK|f T0P` ՜N*DHeQd.(#%Y,LQ` '`xOnXSRbxzr$TF;'IQXg K{iB))Wp,m7E1x H8 w8@Ve@L,#kWf`ɲ!إ~BG5'uD5eypdOgn-VHls7!Z(Jju2zJ ~5<>`]y6NHfTXkCOSiH4 I=>=ʀf\"x2R勞90ISuX7]$UT{E,rFu!w;54 >ޗ~dr/YM E"M >O4(2gwAvw^b55 6;&#&.~^p"Z4VLvATRFLdliVG9PXdLNak)&&ۮZzARI; tr`4j/Z*ߨdJpHXb؈ 7z]L]p]_2`XHۄu'XBj%ӽwR3zgRlaslghOv&LXo3_-U3;&jkY`CDE/Mp*i+j>!-L+<:\ iu4>qJLBiv8m?"`E#^96`#KxdQfY~g,pq}DUQoB>, ,li]!d/!c4:֠dЗΎ%Cr*]3e(֢*;K` =-pTw⵺epM4C 4&9S-AOsm9l՚(-WRzB d}S(11tɮƷk(3Sm۸㋙2_B|ר{G6;^#= @ Cg7O҅1:/jMPW j߅馡O Yw?w`2[-T tl1E6Fmrs9NŏP96y?o== 4ǘݬP#wL9@P$ݿ}s/҄BAfQbd3cLW޽B~P͵C)*r舕06~;h PT|vZV g).; ݀Eo)Obȿ_84=HSt0vD|!=*Ğ/ }zH@E#i9vdy,V!ɿ\i & u%ER%kψꢁb>[] C J Y&43>[z#ڤlS(hiKI|XQO Bȱ͛/qi60=\Pe5}dΫ f#1 rc._9yA{1kRWB7fi-Dz  X #'TSequentsSequents.S4PIDE/messageswriteln_messageserial=63626line=34offset=1055end_offset=1057file=~~/src/Sequents/S4.thyid=22blockblockstructurebreakwidth=1 blockS4_Proverbreak:breakwidth=1indent=2 MODAL_PROVERV## lSequentsSequents.S4PIDE/markup7zXZִF! ~] !M젗OFM-:rl7/??qD-|W&Puz| @389>?-Gy~9D]o[d}'T0wO .Z'Dlx_8PHNd3q4%g)S e)yy?䪈? hgx *2zUX3=Ë7Ų%MPJ7  |mO)z86"Jv_U"7amgdvj75qKIv$0y7GņIˈsy"wqݛTDn"#mW/cDb*$il\gj~j"4վg_YF._h޷y 2!l/׉5\{!~ߢ(~[._?{v}b/*a:jҲ#4hqD_*"f"ճ hѐ>^sv@=п"رk;Q@S\+Ldbrid􋙯f?<\xzX0aۅΚ"()>5*gVI*alOƣ؟nݐldp3`u~K;TcQ]g4\{džu@Ek]C -Qm"jѐzSޮM5H6/k26`gz &:V$o|iГXlaS _?Y|=%JHE.dL?Sʌ%;,X(Tl ^&Eŀv 46ilE69$ @ÛgnJ|D޶mfm==TFgO%}ڼ {J:(W?B]A]K4n8$ |;bY=6>O| T6&_|?;2.G=xe,"Px ,BٱgYZ%%' SequentsSequents.LK0PIDE/messages7zXZִF! ;]Άxʆ5.f-9 rq=b\4L ;[m_-oc3[t3I4eme\VҰ<'zT pk"#|q-_J+^ wy䵘d30wx;p{4V[DMv#a~z\Ctڄd("q~reax8g#ۑV߂r9LKPW489TwSۙ[9fl+ǂkYGrQkKNÝnL%k+Ff{\g{8%Y5ie۽W W岮 _o7WWR 괚D8gՑ({=y<;BV$_9 GJA{+ɢĩK#S#Kv.aӏbnwR XVM˞apOvZŖQdOAXbz$j0Ł%Ӡ JMd?`KrQ0ԓ8R6vUs+,4Zׇ[GSCw>+B3p|,MX 3)RMOCJ4(DPtGاef{A٩dN/U[Cu#ie]h0it{F"E> w2?'#jy$ߋ|Yr+Ӑ4jcdW+c:Fl)ΦRi3]6%Ƶ6v%ގ x^a:+8vtS)v5>"EA^YmicD_İUTQ #ļxE9T+dڠ4 {1Gκ ,q6b$)ʑ}>XY`F:5+=s8_Q^3{f[ŗl!*j\D@ՙ=BWgSej0]WմLNC͙:5,U0]񭥹ˑN%$ R oORz`xi7 {`}=C 1J,O~L] 4Crc`N{0x?R ocnF-_kw#*F姡Po4?GƲ2 -X4~Y?EA߰sV/J 4b5 P岷oY }p=H)DWMazY3cIEcSQnA<XBBbJ(Fdw .8,3T`DaYYJ=@HE8Q:m\bp^ptB׻ ::p;Nڭdg]qc &Y}\1r'זyeVڌϵt<ǹ,~Oyi gYZ $ -$i9# |SequentsSequents.PropositionalPIDE/markup7zXZִF! ] !M젗OFM-:qsk3 \d>zrnϭ4eL7+wHᦾԫOn~`P) u$؍Dq7{9U bi9i$teV @ H&Zhv6J؟~(u$ wu|ܙn.*TcbbZV'ߟ1{`^`HWjšhopTɖzCùŁmĄJ9WMu'$ģo:-&`gy܉XwEțQP\_Vlgo/A DV^nj/pt#;d|0gChdzPd흦]j!DD- 5]ǻ͡C3EEg?]_ocH%nUgYZ/' dSequentsSequents.SequentsPIDE/messages7zXZִF! =*]Άxʆ5.f-9 rq;ոMjJ,a3c7m0i#G/+'^=u9gCDh2ԳyuE /j69>rK9]XCQ0 .I-KR]~ZWVQ'/ ȈXf\6Or\)|p>qq.Fj^xe6CWHlPR'kJQ7 No2&a?,B?Qΐgהa^pVV GtǍY_x3y Ȅ@vɴ&̵`_8̾%"PТYI<1?U *H.Nbh0 \Bdۉ'Zq^xtj%%YDY/SUa* `O~W'y`bhA9HJ%CMtIZQGw5vN#S-TEOppVsdk6({Jk?2x&Rw0$?ȢolSkvB'O,dEFBbRr1u-J0㦪 $F;GGj/ÍDULk9|Ɛ2ꀛ΍KkaO2暪d^[qV3\x\rTa92<Qb֣t`+TcF& aUaXB_CLkzأů()&XJG?k ՀAznбgYZP/# TSequentsSequents.SequentsPIDE/markup7zXZִF! d] !M젗OFM-:ua~Ƕ,gdFjۇlBhj wd@#I7|cWi"f|\lFX \77P&e4 ϱ||TgRI@`0O EzF9CcKM8~95mC`N~?=z=|2xO1J`i:RCRZV l= lP ~%! ngJe.;nRH a&QemY.< 17Adve_[\#P^>"KFıpk\1#kN\-p6{M ly&%m aUY#h㎍df44?yXiehֿ-pRO&H$Z< ]RkE%{YSHzd"I #_ =Re2w]:XUHi ?ǖvrS&4fҺ/);d/v)$SuJ[;wGxY[`/(1@G04۩̨\.06ޒce~kooL^''N6mLa_d{*ӍU荵aʠoӃA ,bxڎs\/'_.xVʯHMW}4qQ&pXb64rRM=1GrPgpc ӻnB/E5,C5[>`[ E[04KwB\;Uj F_;G9Bj$ n+vr`w׭8р趇 eVᔐuClhBih^M9aGr th$8:JFjqPny+cky9@rԢ9Ys| QܟXg^{j%>yK %ML5;⿦_|'j2`]ҍ'/{|sJYT4!BSCTcJE4:u>dW: I_Iۅ|[Q]F;xa2]%f0FϞcY04|DM8RFr7ULª;iBhĥ|3qqI\r䴣V,(~dx(4u%駝"R|GGu԰1s.8]gjOcc [7e)c˖/L 0ٶ:$= cφ!91a)ab![р/ՍmF+E ւ@_y|;2#P!17dNmӑ hmp$\[Y ,N t1sz +ugYZ \ ."\C%# DSequentsSequents.NatPIDE/markup7zXZִF! 0\] !M젗OFM-:qq‰.#jҌj:!h$lf/ IIg2H>qDL0 -GPf )?1!iv;P"xN@{w>ǸJ{R\NCμX*XbgV-L-@ 1Kı,8Ԃjc9e2 ffEKpTMefAV>cm23xy 3[|ftL)ϭ> qb;"sW“ե>@;$ l*Q $RMu#A2Bmƽ,> 7R }Kִk{"̽i]_cyI=(_N"^ ?bhh+v7!*_9R(]8:VyS%rruqǵ ZzU Jʳ,VjۅN(oXx#(K?!m ҍV7~;a ycPW"8[NGW(&EUO-{4I :29đhoٸ0xp $sYKУD.F7 g_3GnXDvj-0!:h(v]ZK%q}"os2^]v|`",=zmp&9/&_j ^6 q.$\X9zc3JлrWK8&q+fuyC5 oH[/,nF4ܰOI(e/<@>-I% ~ٙȄB6wF|w: DrB|*,ժPh0< gYZ !'PSequentsSequents.TPIDE/messageswriteln_messageserial=75452line=33offset=1057end_offset=1059file=~~/src/Sequents/T.thyid=34blockblockstructurebreakwidth=1 blockT_Proverbreak:breakwidth=1indent=2 MODAL_PROVER!# DSequentsSequents.TPIDE/markup7zXZִF! ] !M젗OFM-:r2;p_I~4+$awCqM7W'mqQ0;1,_0^HB[vF"PnRJI }bFUg51]:5}Q>Cwvkyawvl.$9Mv)rmCV[PRX85?1(T]E~>o-n7luTTϑh-Af!"-#)##}EGC7D#?{[M%W=|Ԝ~ JRu o$ r^q;;Tq~v\-ԍn-|}NίHY URT߃֓Y>K4Ci2aЊ^K:{=ZL uI H~+Q002Vpmjv_pJ(('6t[!'J`fkru?d)c&8#{U\z4I/K֎l/v Uc|e7KKY/ZȎf9=C\E&2w$Nm}?$KW($\@7p2(3OyO䅎3nIJ:MQ/ly\5{fsM<);a uXL=Teo.xIJO ٪C5bvru9>&.^ɍ_)TΙ5to( TXh$Wvs#NWs?o*uDdyar֑8h:XNxȰN#ؖFHrI(V}eWu0U-"ík$x6iK 61Y<͋x,x9W3P{A,7!J. Iڼ7B\ljC5]W I'$7T]s~EQZ ܃UTt7JgYZK5# DSequentsSequents.QuantifiersPIDE/markup7zXZִF! m] !M젗OFM-:qt+YmjDyW{QJ1-s4niB7Ԧbx& lF<1X/,[O,K ֠r2MtI1wz(A^nu՗MCcvۢJ:^I-Lp{"dqwkɐɵKlUSZ,=C]? 9=Ywx"1GmA3RlmZQkÆT:lי(Ѵ@_̇~ Gbh?+#Z&4'.oƧ+ @ur b2·Vl/Ȯwc"}j;IJs.~sFr{MQlgO~$lT~Pz CW\~<m g \=m+Z/\X] QwgYZ < <C#-# ~u0<쁇}芥 %0&ͮe?!RBMԹkPǫ:x6]|A|6N*n4˞n`&/܀,o K/Eh-yTt@O~ Ķ ^[ EgYZx"+' $SequentsSequents.Modal0PIDE/messages7zXZִF! ]Άxʆ5.f-9 rq?%a/1pԷnmOJS ([@u*!ͳHE1#镃Wݾ0Q?3mK?"K)AT#>GO5UXNZmg.mSR8"'vN̡@}_I~2ҎaLT0'Q"xA<t؅޵hX3ο9slM0m\ȸ,1y V'`ٛd2 GKG2#FvĨI<zG @ڟrt|:?Ayא/u'ˮah,wۄ 1ءl>Y_^SQOc&ߨfIZL[L{r>~6t00Z~s)h;'ʱgYZ!+# lSequentsSequents.Modal0PIDE/markup7zXZִF! &/] !M젗OFM-:q} QXׄmzA H}_"#fS23u5Se00fNt&3$/w`ѶBK2lRpMbKy(O7,s%׀ m|>=jf )(Vo-ω 9Q݂LX;}v2F.ײ ݵAFAh\4LntOiyp=3D9GkJIFgyFH؞uku/pv$Ai0@[*].IBY`qD ,&@;^g{ܵ֟'Tc-snto 1aQW/4.Ӧ*8$=JXd|U}9ܾ:L#^uqTMj.⸩ciKKd%U^gX{ 1.}LwyI/ģkthMP(=LA,k陧k6MgYZc 5# tSequentsSequents.ILL_predlogPIDE/markup7zXZִF! ]:F.dếaT0W[#.Pv0?8 [^C17jTQ.ϥP"g^ Dtk\'|EJzfV{Гf$Pܴ~ՠa)|]^rS{"nV6GB@8@ :k~HݥVR꒻Phe"Sm[3OZI PkFHڅu]fGQ pнE$[=~|ȨtOE: % Bl<^w5Ej I k3fsA% | @A#y/mnR6l=j/F8Ye0yLTbzز>Ƞӈ"D|d+i\+MUS.$ES+o =Ih]p'3]N8LTPk'7MjyAcY\?PK]iWC5A)KS -iG6 {[i%ye"d"9]E\4&NZTD@dg"=xO>k@Xuӏ<_OȻ,iT4xVzfPlLj$FXhf 6Ar~E<[mcWB`FiIjYᤢ T쾧:h*>!Af~֣\GI>U gYZ ^ ^S%%# dSequentsSequents.ILLPIDE/markup7zXZִF! $ ] !M젗OFM-:q\{S%I,KkDJݗ5ُ@qX'PGr^qLX4r_JR$# fGr+G5 u#KEL.1z39 ^⮪3Ot\\fiZbuբZS>7V):;$qgto?G!~'62ig |66iR}VOzϰPwO$>̪InGG.Yo<A&מ8^ :`AΰXh?Y(yeT46<Τ/\BA,AyEgeR|5W49aX@:|PrHuWRr"|LWaNcpT/ԑ2(wC |fcc!D4p ڋd&-w3 #^|h#* -U. sqBP=M5O86TךVjT~in.>z\J z4,Jp7/Kg)u-jR|̦ py/G^P0}# k/,!p\^?0 CbB7a\KiیKW ÕދMM4Y/sƿBfk٩Dy)^qway-?7zwQ3y9c񣃱b'$+dc~>31](+.^ϩюG9V5C nڌ6T$n-#i$:|c>3i&G >{gHwm/E$4S̬ϩ{[=I2}ƛBے e 2E-cH-f-mGH0K)wj=(/ F^z-꺞 SV6ZO"n%}^c sHPcD;@E81z]O ][4)N_!Z14f`4_)5ΰ–jܝj [A_aA@ o_vz+h osQF6~CJUتT:I0Xq ۈݷN~ijy헤A DȺrj枊!pc{ 7"ļIK$j*FE(U/֮ ,,*(w*\50)Ѐ.y`>q8P@"./|v.r BZxٳ\%<@*dvE~W|&>J*9Nqa*_?>71x/NQrp,F{J}HWk 46z%iHs0*2/#.^Xw1RrG͋y7JҮ}cC2>d4 ^wy%ѩmY l(#AϢ'#]Uh)6D UI9Km,JN-)¾|WE?=%O0vՇfVm'7~~Щ'#$9u HNhO2c#D&n gI ðRS92☔AlS2`EJ jεJw{ kAЍCW`1$3 ME Th'_,:,Nj`:c}I؎Z-̋f!z%eu͓ȑ>mDmXU<7^X`T5WyN-R:G%jT4EcpϩݹޯkL(mMZf 1nt=J©HxBY`f&r ȐSHmn:." jE?&irD+K՘)tCMX:`=J:Z`YGFfkknk9VV] GHxӱgYZI$-' DSequentsSequents.WashingPIDE/messages7zXZִF! G]·Iq n[:|&[z4= .v^hlIOEVaE =[s0 t.մ`[$[ ֘lRiaӓy0| b=G#^x]< ?b1CPs43da^.zlW UK5Ĥ#|1:_zEzd~?"Y&X{bF10?pL6=:T=^)hOK71+vK-Gsr\IG-HcEEQ_~ti%gn<pr4@8|ájQ1ɸ&~S$g9uɓ'%$Jz#myB<"C0o>kԋ FxY+Nũ^dj׬H\>'y/`q%R%up~Z(d8 I7&=rKӊмRLQ3>7uϳBLx%|[ޢs݁̀ҐӈŻp1S.Zzh$,Wȕwi;|BVepZv$jO,p~>krɼ >DJOWm vôfI\G+FChNB537R/ *:<k3TJr\ìP4} _?y;?y;rĘarq3~S`Fj;FXՁ~4Mcʕ\KAy~NdԒa8c(|ךDjm^wa =B!>_SؒӴx7C)#Mn"t{:H{H0)xU1ܢRdH˲lf0r5Yȍ`{4aiMp2kۄސE9蔸KX^$˨EtLxn?:##E鬨\vf @5)NH N=qxzO Nl:ϡA lijE4CVO4F~^d^,vJfiY6 E;`0=N"Jv8m=to]8F{aQBw57u~8zW럥 qLX4Wfc/~X Ȥ V gYZ  L L1&%' SequentsSequents.ILLPIDE/messages7zXZִF! =E]·Iq n[:|&[zv8O=^ l4fpE"aQtȇ-iYlKeN6Cwh8ܠH *'SkH%>4N!\ 5 ܳkr4 H+w, _D^FFM6<@ɦ@]#,p?n}{>H@~Ɗ,=\86(KN7Kx7K0CTCա#k!{x5F1\6(gG V[{43m*"ab uNL e /u{D`]hjU=yg'].kR#ݍ̐) JU*9Ip=F&?yUK]rŎߜDE 7?*V}}_\4xq   fFӕiԇF-bD/'RUرEm{|AK{̮5I?`I&}t Z/J8ʷVE#Ǝ`3ھ>YVշ,N9~_CǼ߈Gڭi|A'Ql(AF8OKG[y.]HM.5=FL_6Eo|Ww[5_`C0t8Z//#WV]I@q^Rp8kqZ*"U/؋FVq&LO)zQA9 \fE<嶄cv{I+[豴1F9(K>SyӀg r^ RD3w S3&-4 k6QIoc7WwR>X]Y]}TQG1E8H]Uӆ{k.%!R:D)ꃜzXX)I"+W>} =(-Y|Pgꃆ5>iWor{b `aIU֩5]pmFoF'dsC'UqR=iÁ7?c3'x0q9Vjw Dttg{Bv3U'd]şC{ J@#@Ȍ,7r^ g+>' 2<-jdC :rW)yJΩ/,վX/SCn'wq#mTd!vI܎uCU*ic@/[xSpz28oJ\X lPmz`NyNx6;66}{I:#7O I s2|~JiA03kP0~\K;/ ğ(gYZ