SQLite format 3@ .K  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  o oplD ]/ FOLP-ex:threads=4elapsed=2.923cpu=6.576gc=0.1967zXZִF! T]ŗXiɟ  Q]熊k9 8[~Gd>tE)ZPX:Kax5.I `_4|&Tntc5Cшt/<`B ZnϰV IϜ{Űfػ1nupzgK֒ WPym򙓱gYZ7zXZִF! ]ŗXiɟHR,~3OTR2϶+a ٸ!A4&>$\BJ''n#€k}IàsAdD3j$3@]\Q=-5R~-]cЫ )XmAl9uPN(ȴloo.O;AQ+(qw}/eDFNjB4mS\)v f¥?J[ NtgYZ7zXZִF! )]ŗXi%T[BRQ\qPB)CGA贘"kaFQ0@Z_KtJ̦N cgˤG,@nG8 BN)7ˈT3cm ËCʐ؅jIJ"xh[HLX_ea973LD27)RVج^Ea7f\G}؀&9 ]`KӾm^IN5C ӊz:H̪Vq! A9?.?\<h.>vc0C$IKa<Nc2(jGE{V2gY/L2%~ɰ,expL6ec-8pv}|%+7z@'’TF$.0B \ϭ,g.su ȔrġnNdhL5soAr@@Yil`jo C; ג$ m5id>ꏓYYt\QI'4w8E3eVɴ&쒸ck2Ϧ@٪cRD ^lܾw֒ڸS:a+6}(B~],-b{ר<[ԛwFϋ 'ՍYf$?uɄ@Tb0Rs208YeUu:/Ӂ[A@ 2ull̥JOE#xٍ޿UD-Ut.L9rPGcx>DOړMbE~)S@IlAA'?A$ 7 lTKږ9.clKؿjCܵkl),cši݁] S &gYZ4528b58fa4d473eb3a49d0543d1fe32ae9063e8ff4e66065a04f1e2d2dfdb251791c7f25eacff512 678fcd9f7c7c5517082d0d6a0ec4f79c7167e09c   FOLP-ex?I [|$P!g֕nm/1OOm"OTڱ&2Q )?7RalT J&H rG񴞎>>-m5@^dB^0°Dsy+yR4ŏ(WB7ZPۧ0v+X TN% ?]%iA^ȼq?Zw,H1v<;P#|: Xf;PNf珐HOu =9ܺ@:P&ޛ >gQD{.!j0xDI&>V`l}\L| [|" Ey˶TVM}o.T<5Qm!I}/q&V0hDhǧTn.'mRHYi0A`=f{zǦ<Ŝ&Tx>TTD,4:w6;{5Yo?"k&'ʀ+؅X&Q8֖ Ya2uŅre.s{+ki, YZ 2P`ݭV#~M׷đ,L4el''><,t JZBVԻD.BKZ PjdS WH!c"׳RAOs=>BV p_[Q\@Lc1WRF9,FVγjƺ~ڎf=eä8[^]X9$sOB\+'V}JM9%Dޓ%Jފ^d"PKZf LG/缁"Cpv>&λU{ fA͏>f &ܬUCVy0qJ?w Ah6qF^`Wª +\;e><e.r"ul.AWU&Yz|=VuL‘U|HеsCO*"ϧ~*=:ĸQC\ {ՎJ7c"єSY/ |> ~ƋQT..n][|$P!g֕nm/1ONO_lV}齗#Cw"(k:scIR}G]m ?UO]ŔEͨ[ˊj3' כ~gF"<'A/C[+eA}0}kq?EhZ7 mܻ~g}$w]y7/N!C ~_8wf>Gb] &k2goܳ-;,b{ih)}_@j.|R OiC퉆ʜ3Q#ێtU_K?)Ƌun!{_s-~IVcZx0 )X8r1}M2H#|:ϊﰹeP!z.۰ uOcQnpRCF/ݮL@>5A *áyPyV|B uY-sՑpnӹu}z_?ޑ8nu\i0JPZQLUaZ~[:fz#F3Ԇ#'F'U^2uTBY>!YE0PJ$ed~v9tk1d] A]$~˼TϽAnWeE5~IwТVQFHq-|R* -JخQU N1!t}y 6*ls-4VDORN n?O[( y,̟:LzSQ@$}Zj&G{t8[/O6_`2N6AB[TN[ ,b_ř-Lg!X+4JXgw.﵍Q2!1.L*zα Y OrPv0j %Pz 3Jj`&QD _nD0./6Qw78_ ˣM4+MAas,P=ZJePfuH@qe\&Y[U4j'(wM' a,;;XS!G;#.K(lvaW$ ZaQK>)&#    *; l s H  `+ ,8 C   N  w M  k;X/;#FOLP-exFOLP-ex.Quantifiers_IntPIDE/markup*.;!FOLP-exFOLP-ex.Quantifiers_IntPIDE/files)4;-FOLP-exFOLP-ex.Quantifiers_IntPIDE/document_id(.9#FOLP-exFOLP-ex.IntuitionisticPIDE/markup'-9!FOLP-exFOLP-ex.IntuitionisticPIDE/files&39-FOLP-exFOLP-ex.IntuitionisticPIDE/document_id%%'#FOLP-exFOLP-ex.IntroPIDE/markup$$'!FOLP-exFOLP-ex.IntroPIDE/files#*'-FOLP-exFOLP-ex.IntroPIDE/document_id"%#'FOLP-exFOLP-ex.NatPIDE/messages!###FOLP-exFOLP-ex.NatPIDE/markup "#!FOLP-exFOLP-ex.NatPIDE/files(#-FOLP-exFOLP-ex.NatPIDE/document_id)/#FOLP-exFOLP-ex.ClassicalPIDE/markup(/!FOLP-exFOLP-ex.ClassicalPIDE/files./-FOLP-exFOLP-ex.ClassicalPIDE/document_id/;#FOLP-exFOLP-ex.Quantifiers_ClaPIDE/markup.;!FOLP-exFOLP-ex.Quantifiers_ClaPIDE/files4;-FOLP-exFOLP-ex.Quantifiers_ClaPIDE/document_id1?#FOLP-exFOLP-ex.Propositional_IntPIDE/markup0?!FOLP-exFOLP-ex.Propositional_IntPIDE/files6?-FOLP-exFOLP-ex.Propositional_IntPIDE/document_id1?#FOLP-exFOLP-ex.Propositional_ClaPIDE/markup0?!FOLP-exFOLP-ex.Propositional_ClaPIDE/files6?-FOLP-exFOLP-ex.Propositional_ClaPIDE/document_id$!'FOLP-exFOLP-ex.IfPIDE/messages"!#FOLP-exFOLP-ex.IfPIDE/markup!!!FOLP-exFOLP-ex.IfPIDE/files'!-FOLP-exFOLP-ex.IfPIDE/document_id*1#FOLP-exFOLP-ex.FoundationPIDE/markup )1!FOLP-exFOLP-ex.FoundationPIDE/files /1-FOLP-exFOLP-ex.FoundationPIDE/document_id 61;FOLP-exFOLP-ex.Foundationdocument/Foundation.tex &!+FOLP-exFOLP-ex.Ifdocument/If.tex ,'1FOLP-exFOLP-ex.Introdocument/Intro.tex@;EFOLP-exFOLP-ex.Quantifiers_Intdocument/Quantifiers_Int.tex@;EFOLP-exFOLP-ex.Quantifiers_Cladocument/Quantifiers_Cla.tex(#-FOLP-exFOLP-ex.Natdocument/Nat.tex4/9FOLP-exFOLP-ex.Classicaldocument/Classical.tex>9CFOLP-exFOLP-ex.Intuitionisticdocument/Intuitionistic.texD?IFOLP-exFOLP-ex.Propositional_Intdocument/Propositional_Int.texC?I FOLP-exFOLP-ex.Propositional_Cladocument/Propositional_Cla.tex  {(pP=;7 s[*%*n4fY{ìCb.6ϬǛFhGtv["\WnقeY2Z3f * ~^z8 m)A]mp!̹֫O1y5|)Ml.Q # o907}!}R)ceg׎%Df'y' I8jgQ=u3 &=B ~d[Ĉ dg*"`-Gj-`eSIx۩T͸6ҮcM=Q'8*Q]Wg l`4</{?Hb c߂g||H:#/Qq Yd [EJYr*j*A'YzbVNM@).y,L~` 7\ bӾܶo2ZD8 _Ldm[̘wc`5IQ2l줢G3t78/AZmH0U7]bj9k-nUTvٝ.b[QAF7iap`abH/Zlx=?pZO]22""*_ ΚS?3|D(堬WҚv\-qyF0ɩ.0|mtM ˪-:y}\g})uxoЇc[ČKQ6 Y c~ivyi'0}\t3I-> z Vߢcj++jH7.̾jS\h#mc@zF/B-L+p:V G G, >7۳VN[kQSįo]Ʀ?Ãr{NEooMt-T⯮%f Qs42G)||L`zyl[M25cY%lL׀dvqȣ5*s}/9 Ñ5gC+Bj3- v۞%A:(Em;%gWx5Q{(8v#w?v;+{Q{KJ>ïzZ\(M. }!o?-#ʮ0c>5$"#pꎥfWqiV#;O^z uu~<1nZbmIA3P"6L}>ļ#Ԉ@ p1u$3+"*l]hPJbNhȚڸu =} ykhO ZrG&.0:E(/ ,"jǽ2=F0m%Zg^LboA%J<9odTU_$Qo-ט +\I5¦4n]*yFK#'1,YY|$[㜙iII@Q8.fLa8L~])jڶ}b6.K3O2:ɠ@ߊQHTR+w2nmr h~1Q.M'eKĊX ތB Z/y;Q2B]ma֪ )3v0J,z>5M|x01ohv;nB;u\H.:PCcwe1eVЉ^&P# @L*E7Y4ԛ%a~]s { `a~yh.r,sūSL;t˻¬JJ#Uׅ5Ңb/5meE%{_Ɖ%# JsTQ\R Ufye7A&(WP<ܹD-$w(טGW“2Ib}@vLiotkY ƫ"J?r ưUfcowkQڰ~V45 چL8$-gqJdb]hxiLT'И-Tď+B kʭ=?6|UMn!ƟY>ɍ_%/${jrqIvc=1uC@g9#TBڶ h\}SCFȭQ4;&s %E =Bq[ahGE&ax_'Ό/\}B̈W*,>]L3l'H% Pely "H'b *#Lm94%?i-ܖk4:pهAU=ๅgQoa2w{ qQU1CRF$hOElycmj^+)vws"ws>KԔ>#{]~ΧS@*Sssem]ӐlD˙5kHi0NF`q?Ğuʶ5\,tՊv8 :m&\a]h?A˞Wd)a(:!婢-ׯ)}jszc,:#!LHXR\X[|$P!g֕nm/1OOm"OTڱ&2Q )?7RalT J&H rG񴞎>>-m5@^dB^0°Dsy+yR4ŏ(WB7ZPۧ0v+X TN% ?]%iA^ȼq?Zw,H1v<;P#|: Xf;PNf珐HOu =9ܺ@:P&ޛ >gQD{.!j0xDI&>V`l}\L| [|" Ey˶TVM}o.T<5Qm!I}/q&V0hDhǧTn.'mRHYi0A`=f{zǦ<Ŝ&Tx>TTD,4:w6;{5Yo?"k&'ʀ+؅X&Q8֖ Ya2uŅre.s{+ki, YZ 2P`ݭV#~M׷đ,L4el''><,t JZBVԻD.BKZ PjdS WH!c"׳RAOs=>BV p_[Q\@Lc1WRF9,FVγjƺ~ڎf=eä8[^]X9$sOB\+'V}JM9%Dޓ%Jފ^d"PKZf LG/缁"Cpv>&λU{ fA͏>f &ܬUCVy0qJ?w Ah6qF^`Wª +\;e><e.r"ul.AWU&Yz|=VuL‘U|HеsCO*"ϧ~*=:ĸQC\ {ՎJ7c"єSY/ |> ~ƋQT..n][|$P!g֕nm/1ONO_lV}齗#Cw"(k:scIR}G]m ?UO]ŔEͨ[ˊj3' כ~gF"<'A/C[+eA}0}kq?EhZ7 mܻ~g}$w]y7/N!C ~_8wf>Gb] &k2goܳ-;,b{ih)}_@j.|R OiC퉆ʜ3Q#ێtU_K?)Ƌun!{_s-~IVcZx0 )X8r1}M2H#|:ϊﰹeP!z.۰ uOcQnpRCF/ݮL@>5A *áyPyV|B uY-sՑpnӹu}z_?ޑ8nu\i0JPZQLUaZ~[:fz#F3Ԇ#'F'U^2uTBY>!YE0PJ$ed~v9tk1d] A]$~˼TϽAnWeE5~IwТVQFHq-|R* -JخQU N1!t}y 6*ls-4VDORN n?O[( y,̟:LzSQ@$}Zj&G{t8[/O6_`2N6AB[TN[ ,b_ř-Lg!X+4JXgw.﵍Q2!1.L*zα Y OrPv0j %Pz 3Jj`&QD _nD0./6Qw78_ ˣM4+MAas,P=ZJePfuH@qe\&Y[U4j'(wM' a,;;XS!G;#.K(lvaW$ ZaQK>GDn7ƸƚHA $xQl7. gYZ g g6#- $FOLP-exFOLP-ex.Natdocument/Nat.tex7zXZִF! XK]A-MՋhvG"uIBm5ıܒ'~U $aS 9ТJqŷǝ˕ F ^7C TO7OX"006皿*7}&Q4ɯ  OS?Cp#8H8^W};b-qp{2GE7PȮ,Fx)@ܺ.tup= &hܙ* jq3΅A5ߙ7dKKoO%>2?쾤B5ll $Y&בIЯ(pݖ\w4L@'є$&ʸRJf>ewkl{ˤlyB񉭹ZUmFÆJ:'vNJH"`fwU XFLc@RvV.e06; ixa@3,]WԻvB\߁{(geXg_č@FǙBpI BG<*GKy~⃗w4;T)1QRJM: c)abv{›GV-b(Z ~OnKaۆӍT8/?`jyՕ݄.gFqvqQL:=DrЭOx\7Nm#LkNt"x!=ILtqhʨ_p;uN[gunZMIB'usVD[f[䬹}!(R; 7K^T>xDniͮ&8$y#@ ๩Ve /QsO_M>r?<"0<rMx W~O|CSB2{/|#A*Θo;Cxoy<߾5d^'$ŌwQ5u104X%#uTemа=3G i#!<:@/$Zq( Ə'n,h0Fs!5a"Ccf U ڗ*xYūHϹIA*iVhӈKŔEC>Ei uX%vGQ+ܿ4lò ~('wSϺE4ہR$Q t춑-;.8ƻJ&c\ >ktHIW5F,p܆{^͸4ga?O/ )2fg/eϩCR%Vοku.NC.J`A)Zʧ,%]MSQ tbCqG[J8]5Vrxzj4CgpCH.  FQZ% HJ ySUl3ithc. 3p[T]*UR*tf%tjiܧ6Mjљ=^dC4^wMܻ׀C}?l$1#UӰNm r.Å۬qrRV5~r#;dlF]oQT$0hIdς}vɃ/8!~h w:tdI<8`MF\vo>O"EoDWGl+r{t:D e?v$PQvBfM[NWU}A .ݺhm]nϹE傱gYZb/9 dFOLP-exFOLP-ex.Classicaldocument/Classical.tex7zXZִF! jk]A-MՋhvG"uIBm5ǒ"?iˈ#?Bq<"(!N602Y!SK-Usw~@S?zbLJLr^Mx>.K\ Q-LTh??UF#9(w&{9$G ,0ʐte Shd8bՀiLT%x4i):L˝ ",yX2k;K)틆sk2Y+^р( ڢ7#a(M IʪnzHAb8ZO WN<2 -)l̵2f.6pEd#U}L{:(Vu;SN.x F[]{D/QLo d9C TFOLP-exFOLP-ex.Intuitionisticdocument/Intuitionistic.tex7zXZִF! Kd]A-MՋhvG"uIBm5 CӁfŠelJh~5j?43P>_Vo@9nX34]VGv bT'5 M5eֲ,{h>1pDGR$b4\#G- 5&Q}z@0$/`M\}ReVm+1MtDn9n+I,q`ͭuL.Ҥ@ucZG2 &UAGs ~%1z` 2;kouͺ  Q%cӴGw96@WBF Pj]2DzIOUDbYuoqGR7{ X^A51J^mgF$9A.񌙽L\&Xguf'WzXؙa)6A @59Y@;څuj N_p3.RRCk(,y+ `uOV_JxG'M@4g%G%h{6.N钞vwZXH41,nTcͪd.&onX0:> a?s=5rj-Rܥ0c`+##"dB(M )=0g6~nhRtض1_DZ>t{nH?ɿb dE $)b'FNL~_>̭w;=x~ߚWM?t _e@2DNG>ի||(j WFemN=/\>9_~_) ӥ;CղvFI^!iՌWYFO16o GY"2JHjF+[/2j<׃ž~^3-R9c10 'zR^^ӥ[}=,zxZ9 ̻HklgYoQЗx$@˂Q aq6z}o:-j8Nz'nYW&<5,Ф;wu۪g)(CK2l{lϏ3 sK!ӗkev9DwY,X|KRp WSVaQb4i/s*C?}d0iDb⸌ņ5IG6mX_-0>T8K\o)|l;Jj8$; 35BbzsL-Q8jL ]3=w>AdCZw2qۗ_o: KI$ Q6I;3Aj%]93@AܒnEUiQEGiZOλXQwYݾ)LфK_KRRO\)-97sX77P p(zƾ!"xg.wz ЉIEq*`]%`xM}/&L!ihٟ++LuMʖ> %;5I$eI9fm*B?w* %8?J7{)&~$3gBB=p;|yn3`/(aT7Z^'C쨷;&%MսT߲B5˛ЄM LyO 5OrRuӆX4Iiqp-܅D(P]5C%rA'Na9:1oPІP_F<Ѳw7Z0 T6_$i<1]$PeNGA nj(3]IhrnC&EnX%%1 l4}p,j'C+Xu=J)RJP?*}+![@F{;t_B)'zP%& 3CvS]RY\ux![D$4)b~4? Z؎9IeI-Mˋ/4xn1?WNX.a!Ȝ:W;o|m@*>Oƥ{nw< rIBrkSQhʪ/gWĊ+kug #DH诡YSK-wYmå[Rq2D_OmYz,H bQof~wb94b ^1tRi3/a+[H$mcXѫbW c}-7S| B$r#< vo#Wݱ3KRo<316-Iced IJaYeM"~vtR[h^:u-@ 3DŽѡ1ayqT#f3 DjGuKuq|b?"[~}xs^=03:5n<rk Mle"V\yzG7A52I)7PZHpɘyϹAJ̠uZj˱&2R+b&ٖv9naΛ޹qSs̽ҾuR5oG4\ {;|>&Q{t(wڥfjtc+:⚫Gߑ%4\-y|-ooQfU,ݡ{ͱ! l2mD?ȝ$n,8LY*Hx{(`C( alTjON2"@&>Ttn5:z@ò:Ts+RK7@ hJTbRZ+CxH-:Tl]Bbiн0` \0 gGR]i *? &zItQ|Q뤀I|WhALS`ȇfۃT`t,[[_&б9#8~솮KLD&AjEc+ ~o5Ѕ(23ED7rFΦŅ4յwD!r:ĘkZQQrJ$'Dص:Q#We*Hߜ3wJ\H$I{eъ]dGR_1q BA$R;JEW Kef%x87a݈mC_otK[";uFM$=TIs8b0R!s\:CF9}q"|hs{c )[WÔMށs_Rg~{g0:$:9~p1~$cH.)h\\N3_QAS3IjPC,J~E%CZ9:x&D x{" +[靖2,)2mtvg᳍Q[Dh椼(AX+<},bT,t 0G9 J=iux* 6JK${Ҧ3.%PE:@:Z*4#@d|?|nوL{b0J! @}Qtrf ~7pc;ޛO H͂X}0Z*R?*@5eY^>rǁt ָf,bgWN+$d|d!bL` 6mI ڍ:OGt k_<`_tJ#d,׷x0ޅzKON! wbefQe4zLE=W?eķԽ7 ; nJ볉ȋSBfP=DL11ゥbKAw701q樮?XGl. K/Z}s8a]5.?kO\Yg30&\>x%۩#SK %i8!s)'晁oQ1OnNH0IBSxK،: R>1%ΛJ/ bϧ0ZmQ&7$.}q䳦ԷrKʓq%1hOIY8> )Եjo$S1q,{H*+nr&u]{or0H&*: `N26yr`u|e=`D3ko=]>%bO< /= ̀)uԯ PJ(nc~hśaƓ7{{ 5-^7/P I˱gYZN;E $FOLP-exFOLP-ex.Quantifiers_Cladocument/Quantifiers_Cla.tex7zXZִF! l]A-MՋhvG"uIBm57ݗY&pe'0_H KzJYbJs,~`|(ƚK0xne{J!P}-̎y>jdU\-J [nSw/w@pUo~ʔy|#c$9lWAF2R=J/Sd,:{v`! h .Vlgr/u073.b|~pY#M>0?&/YѮi|qw2Bh'8 _ܤdW vB}8]T۟[%Ϙ }Fx etө= p6uMs`X]qʈ_g=UqG<XH{ƩlYzUByzG?G꠩ 8F"D4auQyႠs[|:n}4R0u[҅o2P}m_ piRRII:E]rzZ˨ җ$6 kOoF?_͖Z T.Udv& HR8͢\nEuܮ+dMIs6j),FJ%jfq F.hh7x/ =G<̧if;)-C_3҄u"G[EH9()/.O>>0kPň|یt3eG-os` `ZVR28z&'M#$w_@ Hze(NǏKv!5=yJvs/tduXdEWeƒ%@ۓoljeI?' /ʴm9rlzUW0T毬N)K>O:+,ZC>Gqnd.1BHkOC  tڧA2)Ӧs@͡f8m{uD]jf{;ntʥ0;È;VBF';2kxosem~ZTTB`$ݷɭ@p+Q!&X2m-+>cc,G굖Yf r!pxȕsV-' zq? frżY{Jmv0?|:M}ئLUcqQ-Wc%o4F)GKH޹NMfnC" )HgYZ  4 !+ $FOLP-exFOLP-ex.Ifdocument/If.tex7zXZִF! /B]A-MՋhvG"uIBm5Pd` boro}Gcqrf:(6 n6!+b}80x'_r$tzĚzWH :w+G)e@wtvKb`v?>l%ěhTeR3L Kl(kbVzhVKqRq·KbW8MH\s `hDoZ1VF~IݱhaeNҍx_m|0]&_m!I*|Fk+:P?*G؋o wjoD$6CcP}~T@aW7=I@WkHĉL8VA;^hᲙ VjlYܢh@ZBJS@kIFdc9 ~;.*hr>{RIyM .ܗ$"*& 9<%K3ɏn{q|c SN˫"#L$5k+hdof |֜A /DFeW/ɛ\Im/0p:sP 0yS4 r K*=Oa\PLo֦ޤYvb]I 9vX8c:}2~1P)6x~q&'٤axwEI}Yd\ YL$ /$Ƚ1+zAU Ww B$A !Q,`& e){,a)(~g+uݽKBZM͙:Wr_ȗ}`T{x:!A M mۤJ!PYw{ zJ@ԑqBazx(sdN-6oCʜ>U?yHT l& 17PLugrϐl[qUvyJ#]#5<~kQ[TwZY1[ ^DZgYZn'1 FOLP-exFOLP-ex.Introdocument/Intro.tex7zXZִF! >}]A-MՋhvG"uIBm5 8)<ȶ`k.xoSϫǼyfTΰ3kM1ʝsc. > (ъnt.S,$ߜ1!Pw<hQglu׷%{'6PwV']#)Ht"i5]c}ȖbsC5#~\WFm6 xbDcQL%ݕD rqA'gŇN^FH6%1BeSudõ#_' @8 f}GǸ_Wԏec n ݡ[l@l^P 3:E7X5]nyUFq14h5(aQ2Ֆkbd }< ֤G0e+xs$E|,[wlDKV,! ;JZ.*PSz/U=Wv"O.Ai0 !˞`J1~^Jy_^.>'ҷ6 ;DR`H,pE%1TF !|Y!Qk.;]yT,r}laaV+J/R ݝ=>H8QG UϩLPX^y{ǣ &{5 GB\b"9ǩm|<&W;d $Ub#jPA ޘ<Up~hP.3>dU0 -N\Btl?ih<'IzL# ]]C UH`2؍Yطd(B ZZVHm.aӴhx =dԝYRjAdڴޤҊ򔌲w|%<+ #70R[Uh"W[b&T UlL=g?gn%Z PVMt~RK!`_pECo/coF`-y]ͪWvH9"q4n҉51Q#HMY<."isMW9)`-E:YI4b'̮3D!TXESڑV!50ÉZFg`}a 9npBQj ".>OS@*ꘌk (Y RwIBu 85`)N?+(~ /Ehͥ\]ꔋ{a b.Q櫂~KH7 OF%3D*yf궝b6@}w_}cO~#(: pKX7-eiiQ2 84j--6$EC0vs>Jno9&% Q׾N.=\x;Ql߮"=ضJ)AP ׸;kl-KqUd\ S[oFur@P҂,/# DhvKTAq@z#}.daAȷ=KZ~|CyZg(P>|l&[qaL zc;qM/'SL)BK#!wrE)#O6fIG7̸L~VYOd$BzU[7`8~s-5E"i1.vU*KB<0${Ƚn&!KtIW3LTV*`'Sp+=Gul#y[NĪd!"zcu;%8 T#@,t @ZRgxq"*o([yu.&ܬ<؞|>\*#[F+ĕ|.CuIC0г ef%-eT;D M'S/F=p# 9DPP;1@B;w@(SÆ@R 姧\>М`2b墂({ "`(RlҊpCv^ T{S0N*OmpZT-cZ"NC5#4&SlMpbo䎬cZ1Ң.[l^H]_Πm804JdP^猆x=a =|O-/UzL5rޏߩfqeH5 =vtʎMf2]~B$@GP<Ń^)9ļiXe7it)?@#TQ@TdgYZ 7!!6FOLP-exFOLP-ex.IfPIDE/files~~/src/FOLP/ex/If.thy*!-FOLP-exFOLP-ex.IfPIDE/document_id14x 1# $FOLP-exFOLP-ex.FoundationPIDE/markup7zXZִF!  ] !M젗OFJ9Y/]+B4>\b5~G(zas;wG Bi_jWQi'i C?uD݈z|9j5x8id6N2$xawPiU圽Dv('?S B ɼ/$d#dp%o2u־!Q^cx\B[xQ^FEĨȆLX(;7= ѼrA{N(0WӒRbZb0q_F{f̦vC@70]ܘBjzna!K!.qCln\voXB4m+X޽l/!~;k<'_T8ӦW& ea cA0 rZ*(u nd7y[Gd tA]OxȲ/PQPQ6ǧW3AWj U6a:͡㤉0vmI13gSG~o-p~Bd^ʨ9PEc /5g?4g @)vxR+x|@qьG^SdhBǞ)> &hC?SpLH7pzɕØP\`V4%E htojڥ\X@nI:wI)KH "–8/p)/pPд "Q2:q2qeQ^p6fX1JOҘ>Q7/(=>>Yb.f)_zDXb;G#)!Dd5}f4:UvLdHBO|X%.CI.;h7kCl]vqгg}B p\_y)icVWksN<(E-3T`,髎Y,$9١]xΩkKr`rDjwq] .Q9X%埿_kBw֊~GI 'FcDV; e$k#5$Eȣ67Quqxe"Ga%tgw1A#P2IRښN{H|Yrm9:5d8VLڬ\GLP+NFܹ)H '8@0cfٻhHsZQ;?$~l9%HyW] ncy)`3+JIDVn:TH`J((V&1 A~ [Pmubp*/aU+5{ZWnرs85"J^dALz2z N]4d^Q*Ѷ] J3-X֊)%={S*rN9Mr"ǓH6e<چ1@&ZڳPd S9\+/?Lα˖t49>ז/6H<#޸Gs]:|A䋼CNΨ+]S q cq^?eVl0lA _pf8SxNvQ5||^o߁u8̎GU4ZP5mT*rtjZQN[ ^S  q 追 KBeفd兤fk`qGja}"w>wƲsmn䲊|ZK8l\·PY^m4O.0P#Yr^ Uh/ =t#Dfi+i3_ YjW 8&WhjZ(`qB<fKLħwnɗS(,Zs13_k'Oƍ,nb'`=0r A6H8Jx Z M nnW"N؄bv|*4?}pFm6!O:~5H8ù+ZRZj*FB9ST=Z-}:ZZԎx6wؼ4aQr&6v\j= WNxI[ <\^h\&[s뙉Ue8Q("aS⧝dT`AF;y s1TXZNQ_ xvsi{EKjQwWK zeՉb.tU\Ӌ<>MjǤ#n}ƅHHJq=%~}ᦨp<ݭ\zic.^(\bŸcʸFgKPE~QZ Dd5t VKCFD|ԶcץZIQ;l\|k|?&y>7F) :{:qt)b*|s@M@bXaj؁tqB7[UQT`5bԬA4:$R615㙓sМsf%4L >c8 AFvu`:̣aĶxVDG^tW+yގihVn~a1^*+jMa2tQ [Md͋#:RzgI^z?aZDg1-M vƇ c$A#+H|N[$MNmZSu4r8 z^|=EBbC LvA4ҳgdw0m*JC88\or,w$8dpR*}g$tEINix:,s'. Bv:AYm:58SSYgZf5gYZ !# tFOLP-exFOLP-ex.IfPIDE/markup7zXZִF! 5 ]:F.k%^{x<cijLCܞ}K^ Wq^~(x&Qp;1D~6Ξ|sVթP+l/no&8z G,j&Jnƽjj黿^g ?y]s7w`B: 5dztJB^ \&>I[ c-m3k*fD73l!}J$e'ЪT jMǞG@7}Ռ&<ELdR+cn[7{* ErXCBEH_ '\if'5Su^tf,{Y/aN7:yUH]V3pR]ϫBNW [IQUUE7#P e^^RxJEw3q'\ˑvz(RI|4.5bj.߸ĄCH1K~]KP8HODaQSM,4t90EWKcrte!w2vW+]h1.Iꭏ˭nbsxZAkgmj{~h5pBmt~G5j(DC e;2s,c8aCy@Vk٨&hץ&[cE(F;H6"(3 m}1K!6*> aB8@pטz\6*6EҬkX#/fȠPOF*؅ѸU/es#̏ y@yO?@{/ 7 V #,C7Z!rd_K7x>ym3w2CK)vCh w4PZ|XcPȹDCHlo(E)P_@$ɃM#! lҚ(\aDTȘqs[ewlZy]0u}'/5)=Pw$^ZB t"NgU`:K9YKmӚѣ- |!4&T~cÓ1Dn:\jEPpS3<Լ2մ/]q^f!%)̿R${YD_T!rfx_p\m:u6^tv}F 3>_gy?ʔ?ޅ-HmunQG2\} >bOc^hW`t lv_4 Ae<$Ƕ~J2󬕧Lݏ6DX }|bfe$SZb1)r_[ #'1.,*;bթu\% xG\V&ty>k `Z@!w'"ӭR 2l|u\BNWhஅ|JCۧmYE9J7CQhAZ ZM0J?'>9q:{Q39ͰmcI3y>H#9nN/zMGƞ lm3y(TdFCdSJa%iOslOvTrgYZ pU?!TFOLP-exFOLP-ex.Propositional_ClaPIDE/files~~/src/FOLP/ex/Propositional_Cla.thy9?-FOLP-exFOLP-ex.Propositional_ClaPIDE/document_id20R!' dFOLP-exFOLP-ex.IfPIDE/messages7zXZִF! ]·Iq n[:|&[zԫ"CR'k%ƥVXLwV!O8f/@yoiVa[miJ,ml8">wݏ)U0K#isg".XP(pL/nn${6@u53tgVB EC*5jBrk]^:=N^NXkjoRvxK#[`60i^Xm:,z36 qS>!d:T(ߊnjtJcr56e+HTGd_^aLRƚ`-.; w(׆ dGR1V1O~d7q=hfԜ*\tx,}P}~ M9i.JW\"훱[( !%RrDd9|Vkxᲈhqv3c~ltullgp`T;b-xt4AP@iC;+ZЧ.눭k*TYyo㍤! JxL&MZv.Ěhf۸z0F_VTW pa5nICWّڻ f=qa܆Pf[uz ΒTw:fomC V56}ry[)ҎuNo;T ev~d_=!{"`3s+Eg"(>quVI-yk%Aq]{A*pױW XKhJ}OeP*t7RS[j`=1M?$eyUؿ;68NJ4[.T|+^[د"[zS"J(8z[1xWHG:4ݼʈXF,j~8}`FGF87|(yt bڔM_b+IFRFOs-\e ɸԻylϋpa;\]BޜjHK3Ւ"kYrz'G};5@=`N};hw2|6f$C yAR]HДS7eO[1zem)l|MtZWLH7qLrcщmY.j><rLPc +|p@1C} kr7lЯS4)bFu gfuuê|1dYP>AV&:{#38wm&ܹ8IE1 Eyt㥈iT"pZjL*T[F+T[uu8jzIa C> ;v}yN;yXpcF=׷""BqPrOJ1Kp8nMc9¶2?'V,Z4gYZ ^#U?!TFOLP-exFOLP-ex.Propositional_IntPIDE/files~~/src/FOLP/ex/Propositional_Int.thy9?-FOLP-exFOLP-ex.Propositional_IntPIDE/document_id28?# dFOLP-exFOLP-ex.Propositional_ClaPIDE/markup7zXZִF! O ,] !M젗OFJ9Y/e()Je^JD4uU/5$WKOoZ|>&to/ 4*Ec]wI=r|8bj6ntG~)YfimN3v?*T8;3nLa|5-M?>O/`5I h=2L/XB/ũT\k I8zMxa \޼cN/q᭻k$~WPA6[[Kg:"( X~r)d"+@$gQI*O&@pN4ο 8KFITŤf%M>NafU|P3qu-2dZB+g/0t 7wK*gT' |S'I"59w(X 6߁^:/mWg$  +Z _\.)"`ZaP?Lߏr֘ɱ>y&dO_݆h_Y O=hE@XE'gpi8ʋ8Pt0" bX rҢ@cbmYHIxg+АlASC_=$TG^'d1a+5at{k~=ZJ%}Hs*pz8_:7@ӆp8s!t,h%t}WvPBo}mq>g ~oLl.hIr=;2!,i}B[w+[![XjH8^0XNux'G8`/n!=GU#Αǭ'JAb9y,dO|$h"'{$~ $ %$&4P.$ɳoUF"D0+ɬNV8IdU#cJV!s>uCiXVaOU9b*2vbgU #e_`Dw,@s/mbA!ћ}fptn~_#}Q[U3JܯĈ^3W D ˕gg\@TXS)$yD=rQn9)^Ϧ!UayQ%„:Vw<CR&PuSg S-owIǛzIW+AS;o~|ug=*םH"Lo٠RMB8#C/ a1gYZ &y&Q;!PFOLP-exFOLP-ex.Quantifiers_ClaPIDE/files~~/src/FOLP/ex/Quantifiers_Cla.thy7;-FOLP-exFOLP-ex.Quantifiers_ClaPIDE/document_id22K?# @KE\wbJv70DعYQ]Ϙ'2$v.k<[jѽpO[?!{Y4SiTOG6[?y>ˇCc>FT/ B06q\eySf-;6iCi/poM*yVHr"n38[+"g-O`Ce :\%o :i9|]VXg*5^2sGmŲM&iUS5) 3Đ]Tm.:*M"idǯ\<Z~ΪFtd12p[0j 8+ ,m}'BHӕ4rĂ P@NW{]v)vU+dhAg9yƛǸP*4)@^SDWJn5>O$(&x5RLh,{.G3(j|5Qm={q:/ᴉ??Ygjy|oMaE]U 5,zUvTT0]In-tZLznː6LgM>j;pk%eڧ-h>nS ݝZ:uZ:Q%ھƼe$VNXv;tHr$ GU.K$HojF1V{z4*M=s;{M F<DzJ `vD$^]|lPC?3{n'F紺2^x #Ԭ?$I3<W#.Qj_NyP,l jz對?\RKdg z؃ϝl2:=A(c/>JY#\B;s]JۋQ|#7xh.xOS_扟Aܥ7S<Ӄ#)S{iZރ'V%:ٜA,eRQJcin]angCoԟ rpz[1Z[M63\=ls$MshJ%%7-T_Ed#VzzA$krcJ)%\Lơ *#b7BZe=1N yf k9֕x=kC&I2 M$#Oj A`:~6?$fFwhC=2)j6 +>--CĚjEnEu&t}#_8֤@17&UyA/Jӵƴ9tK rLɌT@,5hYzMM(B 'rV TI ckrm4\5e ItR$ epgp,{@sRw$$ΥuKMq`6%T_I}aU/ .\0?0n+-!]c0NxLc]ܞG9^*v$2Oq뉳!a~Tp\Y)h0OEM"-gYZ n@ n9#!8FOLP-exFOLP-ex.NatPIDE/files~~/src/FOLP/ex/Nat.thy+#-FOLP-exFOLP-ex.NatPIDE/document_id180 /# FOLP-exFOLP-ex.ClassicalPIDE/markup7zXZִF! ^ A] !M젗OFJ9Y/Z8.y;M7QTއ*Mic~楸0 rWUiM2>=h@݅baZF1oqx_RVRmȿ-}$-SwS1zU;=[:ysP&EA'5p޿c7c -jcL( |۔QY~6ۣ̥m߿Y*:#?=s,g+տ:d^O$ؗP)pxa&%;˻DȘzK}:Oέƒt FtNt.8h߽ĕ9k}κkaZ͕obIeD!hqb2u@H;E/!DFOLP-exFOLP-ex.ClassicalPIDE/files~~/src/FOLP/ex/Classical.thy1/-FOLP-exFOLP-ex.ClassicalPIDE/document_id12=;# $FOLP-exFOLP-ex.Quantifiers_ClaPIDE/markup7zXZִF!  L] !M젗OFJ9Y/eSvq6SI'P23D*i" ʺry#INq Qe@Q)}(lw Ԕw 3bAp^^b82={7?FD4Λx*Z(ruao΅goD0-1 ,pyŸN"{'7LIvb#v`{ŵZӞɜUiN`UfmdQzQѼg6L*)^p"ה@͈~HPsQ>Z9G(g4;$"xI6.BH  擮wk.`PC*\ݣ?C^im-]X.*CߝRnݺ s 7 l1@ Q' ԰Z>8m:&J,ECY_Vl0k UOzgE5j?{d.C:bB1t='3+0oƔh(_ pc3R!e-3vQ=&ZRe;eR =eL fyԀsw]&fSZ߇C:I1^j!Ǧ<Ϻms7o:pH/U|lAaٌ& ?y.P@`*O+MvfLM ’@ +~8($o{ՖWfHpؠƀ_r]Yrg9qf\O*,۷nFp^&VN0,y33 ZFl['/;2?"p-لK @p\) جZP6FCn\M-7XWb_L;7 +BmOl+UϮ]q?N㮪 7UT1CMXZ&xTc[%'9mg˔#0*`ΐ𝋦O)O+jvwZBwiư}?ruw KbUQ5sQ[F kig)JQI>\TUHܫל#k2"X/nv1g2\H|x6${W\}r  Z%@ƃW b.h֛O7O\p(w'c/1iB}Hm3Ԃ 913NŰ̫=m-T ĕ<Im|wW*:z+]sj7*W["X50fׄ fJ{cw*lY-soTng!Ж^2QR,ʹ7%^&mѹ2 qKA,_8@?w[}KQ&r@XsHXkcHP.bܴsF<_="^L2aw տ>qVpp)>,yVޜ'Rn? |:j"=eS;bqx3CT/ls9Cڞek =7,4`FWj`t)u% K9(\%3ADGxD9k9ɗ'eWsPfm9t贈 ;M3=RW'pI&Lʚ3K94쫕pu6ק(~ 'X`[ Ta6#w \f}hј.r61nki2%A gK'a3KFƳ|}Pu-x9ĴCpy3l<#|w1 &ym%y5gdщMy #8= r&@1ߚ[ _(7TuY(zhS7gU,~L|8$s_),s5oFO'@-gƹrat_I>/dao9iY+EY!"& KpeYx~Ush&98]ʳNϬeFWWև)xZ%V>H~ e[ dImafUM +Jm<̲`3)B$yRyM VMi48 ˒xNF-D~eո uO򇄗g6 }#U`uyOdh -6m2D!5աrc!;TzcvHdQzϖU[Zq`Ns{!f&o4cv/kW$hvhHNfr׬SeK͠>S0%xs\ 8,DޥI34tv@ՑO3GuyR,JQ)$-^ i`s>O5i!)Y<k=ޠG/%$EvY4ӽ>?KL_+ EX=eA#}IW&+k)2ٺ2IdD]o WVS{}1nu-#&ZХD$h"עI< _pd(bLq<&/QdKarĮYq< đG8-($D:ć*FT-Zt`fٕqD00q܁1 N 8݉p16_~EZiO>o .%|b"[ `ĿeOE\[Hr6{UًA &qlbfPhj\Shggye|>|KӱVukkCvIkE0͗ۜSk]ާe6 2!Zeo2OQWNGrm ^s['& XoK͕^Fb  -gQidDK^B=2A{넑{@ yM#ӥ>mլrAL .F 7PP%9`2 TD\*H2h:"3(w~iP֑i}ڬk| ek9xd< '#mptZ1/3}A|r6k]TGaZ3?:ʿjl\T-3W.n*v^\ޛv'4ӯVQezH( of v'i̒QuCLlIH@Z");ZzO[ .UALQ&c1&M9Clrƚѥ}B6 擘[ ۆ"J21x GMcXo5F}] ^vF w>sQh¿cэ!c&{w$ܢ\}v^AujzƧQf;>4_]Z;^inj) ϔq2k \  yv+~ VWo~Ezu=JK<1Ȳi#c}Ԑ:yUl{LrY()``K$K\X N=폈>8p$QTSU 🗋"/_{5`/o2bRԉڕgcg df̦.gETe*~=794-Zģz_/~o㘄)~oM @_<]e$ ~~p#&Fr{AYB kdi.gFTDIlEzJw 䢌 &lo5& ,ClǗ*zآqT$dwj9 ]U%66vZ%l>XLVxTH-G{fK@:/țyH:fxvYP~_:]gb576rr2k/lkmΐ&a[ {)mm߶\eJ'\wb ƞqNsӐ%~PT] ABPBgʧ*VS-A4jnct.v#,(R Q6d辨P+K6:v9gHAi:(>XxJհ=_O 79~eֺ #Oϓ*W"nA z#A"[YG;c+ Jc%^JٮzyRaN~|#\QA 0ẋĖp5)pJ¸/qZ8՛'|@Щ9yJs3lg;k'EAxA1:eh%ϐ)_6$u;Hk#Z_s Uzy;pm$նɿmw~(BRa/5p?sBF/<ʤ# )vhۅ~o,Ty+ ֎ʼntoMuۓmZ֘ Iֹ pR13n#y!/k\YcrݯmsDz̺,?^*xr7SjQq8P#eD53جopemmݎ?2nff Mf,[,/^*uY8ɕ3vȎq6Gf6F ?T%Ps\ov{`@2ߺ|1ߥ#?UʀQ5 6P pVkA۷$n&TA8(]XxW&H阉VU:ӕ~-Ve_"=a_%:ƀϨZ0=ed5"iL&;J}s3#̙zR/Ql,SoȟG.ۏgaqHJY߫>h˰jP?zQ5b(2mX|p|p}@)J~_8AͰm`ʕ UFfICAyU2 zmO"|E`k1O*9b2,{vKa%]dM[Nh}̵g ( iZƶ}Wu =#܇_h*~L~vy6`< ASv£x%ڞdIp\N`J𖞙;_!u [ٶݿ$Lusvuᵜaa'ke=`C\4_Obe3ʣ2˜DPCJ MG&΄csF`-IDHB0Jk2g^QN$1w5 n'2ªhSuŐRӰT -_ASi|x;AljAƗ g,-S!LI_9Н!s]j ]+0<4KD)B#[-Uߥ#!6!7`a^:`Jm[ktY۵RT3hDKfIJh,>m!NzsxqNB܎<|,EJ_n7c/]kOޔ5o6D#V$N6yҚ3[gF6jv)Ẉ҉d hDP@.qZJ)Y;jz}/#0/kuϭ2p8]=Ip/0Ğ?;^aj\3V]2!]9Ad<$oAuu#e| >bLcѢFĘ8w%=u:?}-%AS jDt7%DLxvfճEwMû۪K1Mr6|?0x+~biEL 8>b?iĥZ).>oY?`3mh[v"zk{ 2N;MpL}#%| }ճ,p~6R[a6"[d-crE| p#)Q(s6udU易2d{H#WN}!-$L<)p@m^!`2DTs޻m _?M2eJ4fYk XKQK5^Oa)b3E)!W!>N+D8F!rC;; ۱Cq8پ ؙk[/L #ˮoà*fD :G<@OffˠME1F,u\Sgx!ⵅ/foE0N؉:$JRGAWo!qgxXRkSmw)#SqD*tUm1'2ЎavnLp:3&0Ӓut7S_C+! N$cWb]BO_8)L۪s.Ƅic}~+2Ⱥ۱XyK?(=] h 1(zѾ:FH"yτyu%xA G$ߪ;|pVnx q!}GGe(g`BeJ\TQe6k9 /4W0PH(0 3vB^w'#H()Hf5ƒTA|Ȗ> dcv6 9^‘|>4lFӪ PS[C)Us-Il].9쨣oAgQ+ylTK:Rlm:_dqk>U=a-&F* ?6Fux6ovx?AA0zr;m(麊o8.WpPa˽]Jm?h_eo@z%jt8sH9 ã x6)~,kR|Mwns馧?V ),x{d#(y?6@*},f=w 㶴It1:8Ju*c6lnWtQJj{sTD cv[!q[($  2={]S:".3*1OED}}uN#kBM7! ͅe6I +ra$ 99z2!R. _֗܋-RZ+0ltiuBjT i C#3 Kp9^ wM}(;:멀P1|1U_\PI;<+vg>tnĤX^; |cM7 ={;Y>ռ;9 vpZqxqX-| SG !p U;6|xx@0'b+);9DK sD$Mr0&wNv ! euO@2XE/ s@߄)LygYZmHibyr Fjy4-Z&3_c"*2ֲ1W>Сe6=¸%(j: 3QwRJOF /O-n=G߶dh2L#f2lS"t}9|hTߌTS/>YN d~`O [ǝ-y*B_am\j#N D%{#Y`1WߍzSXŐؐ$($U L؋4BD&ane>.pU NР@8w-M1xΗMyז?|ؠZ+cPgqj[$Ԧ;Uq)f|^d|)-pg)1u/W" 8\T[‡. ;BA₵@?i~ɩ);G$2^`B$}tM̷Ț)/27;FcP㦛cd.ƸnL# ]^4UqU7+8JxXt ;>L&U^}yoqUi4ywYћL"|/#Q5+i$)h A ar8j[&]Q]sec…8:/tg6g<'v-Y%@- \Iyt|-w;BkYC,y/EȒ;OkC00'*ż>cƔH :J=ڑ-}0nG Iu1AQueVs_k4[=c(c^bSa cB쇜GlW5\M gqU!4g!5څX;hV ~ +Ϳcִ[wy*z].Y>$$1#"$`).^ hBsANضo JP i0WZq[oXTjg)ৣe)_Xm3w򞋢Q}:>4nI[ 9܉PK n2y%r"3đ._d뇥*1¥h1uUF1 *_D*S| 0C\ْ϶v}BC5lla,⦍,J}j+Q >.Ns2?#͸)'5ÝXq5 BYk^If7(.N]M$ɹxǪI^vƤap?b{3LѷS*Z~> arO(A \bK/\  K]|<ݖU iq$6׬ŵCh4q4z ,2yʇkǃع`,7܄e~ojݕ3/7Ӿ܄4K dxoqr[ 꼐na8( s7$scG?zMGFL@M5ltB&R$ݢ˾~;a79ܭag=9 =}<x־z,ʇݾ،uUӯ{᪻0Ҟ)+K Xt l[Kx."t*fӕ tO"ؽf:!gMETbs]0 #^Դ0=>+96d84O H iX*2':"5d (e+ .VMԩ\n!$Qs!L1 J(mf@f)hx`) +RQF%bήo܃cNDM yڧƊ|9'qfA̹ @n8]piY1Qr1Ɋ2nB޺>+BQi,w*R;LXGyN#DCT%b8v#:^f^Shi)_ky4SVdMQE>0kYޮ R܃ n?x#GgYZ  .=#'!AaU\tHko(qR/WKh HQDf&Gom]B7Me.k/b {UjБx$pSN-3 к.lףa JXlGї߁J,ɾ7JǼb`yYZb8.ԁakˆ 1EgGmVMZ&L:F)A|b}H_ܮB4蒦y+3-`~gDe'_.ݪS?@ͬdqWƅ>bCÅfs} vS2n/Ęez2V'-jZ._>rׅ@5ByBpEK+H6]>wk\'H(ؿi qk iuC~րJO?u_k<qa az)͋0"ID,VzyLߟtӯ$ 33hbAUs¢qd㼝/0ѝeey%%GbhZ~ue10ĭzǬ*g![3(>6 2k 93qH/(eU@}'UjW*VskapCBPrh%Qȁ(u 7*zVQ]ҩiI. s*m"t-aG2=Lu+%|Z b9HeܷQL蕋9o:s喻_Dᙌ,%M- hX`r0d,c^M('ˠ #Ժ(BӇde\ظ`[V?QQ9r9ܻ/4h^7JH_=̖Z{!ʿUC&6¹~m/Q8W72R7 [9$`i5DAwzNB mS_Xzf%W)Ry*3{1{5=E<2PAcގh+spX*!vFz(E{a*vH;rq`\s2;Y5GBiQe^TۡPjObG4l70" ۍq:b Gȶ@hc` aOJ?  s"HZ ~FO&9!NFOLP-exFOLP-ex.IntuitionisticPIDE/files~~/src/FOLP/ex/Intuitionistic.thy6%9-FOLP-exFOLP-ex.IntuitionisticPIDE/document_id26$'# T6\!44u_*Ԝ3 \?Xz;ZQ c e)C\Sϊ.2lD tT^!c8!z2bq7~%MjXR]0= B]^mDovl|ymi>oT䔍ߵ=YI[9zf褥ن`oR}5oBfoi?1+O96kDLl!t~?BG3L!8q p@%#4 B"mL-%BgT F˹ch4+?E9Y|qa !~SX9:˯N-q%bUVP\ȇ/HQ9)omYLnC|LdݯeX*x~uuOR)pu,,zm|%F\Y#FnZ.Z ߿ԼŨ҉»@EY֕:1[Ӓ-吅3Rys !޿ŻW&題SAμHqlBh]Om,,5i 3sỨ@/ԭ|C=l-%v^ϴ+KzSӣ#h$rkEq^AHUDG(I&Y%5m3o_x0m LGPHYaѹ^W{ʿ[XM#p*험4ky_z͉7{ig.Y Bs#$^ ڭ7,'%<TO)$ #dQǶQ&ho}m.A#gR9[3?6T֞!v<b e?h@wM@é8oD1* ۵g52t1 8$o^1tD52NȅG X^/NuAG -4p`@7? c-R)"byEY* {qBysHY@')85FJZ j'G`L]@[t鲯G.&S@yg&\N#e1 FАe2< S~ݵ݉EAc {"L %^')Cbp䶊1qtz YSV6b \(̤^(|-rJ 9Ktx#e۹[ r }ɗr#g໳pQ AnNz p06b-4(DXNJ7&{ ;.\1+/}n0/LZL{W!+U. 7b ܿ&XA' Ǩ~1]3O[2(^Nu,eBzgYZz0;_K8)J^ KuR|V>~Ĺah/\?W?nC pUV#>l`1qI.׺O|M65%跆ԋ.l**%;kjGJCM+szν FD0-]m#^tYf,1%J|:z4nEN D=YU#f#Ǣ!Հpdp.-X{|&)F"1wg] ˡP1;H !LZn\É v!y8F*Ȓ-u i>~fy&w68// XZ0_;pW B+'4ܲ(1*e"%2T sw?:Ѧ%vk1s{yJ4-@_jx6(1d mDطZqiHy/g$}Y\Z[J2MNخpwS.,+g?mf٧E*wq v'P(Ǡ>J1b1c܊6\np1^s#&0leL\9\5~ټnzM%t5}p-"$ʮ`Pk'1VmN:2ZKEӊ{ʾA#2]E[E*l@5:8.XXE-[ < xr&E9@AuzJq,:B}l$}\Ұ [G~&DK 5[gU7rWD ee2L[\Z7}W+zW!3Kv]8od'E-HHF& F,.:H&F6kC]߫ nسʠyQQӾZ[VCHwGcՐtN6_KEdֲ fJ%OSX#C`Ka矌 H?UҙVBޠY 8[?0qMQ_&Y|R :F ZܗsF?W^hb(wĴrv$^IRvwcJ1xis?ܴ @ZB]Ԏ= g"jj%9_q\D[|RXTίr}59Fu5Qm:w뇃`.}AC\꛳sOuc7Pa5bZۈXPZF/^DG-< _[on >&/JSGwwFN9> i, p&ig~Ifr5Y^c3':ĢQ &XS# D ]<{{,^QWAvu_:-wj_3w?]ZjO/"E4xp=fHy"ϵ+wiLB@ZDM vq7̓V?S%p6c^a:9Dw9v;scFRxkq_L5e~侊K0]"#3ݿ޷4ߐ4l$tM,0 &mzFgO l"np= ]ɏ7QClB2{IQ 'ΕnBp`*9n%5H:̒^Qg^G$ (МeX\ւg"VRb7'e eag"Ku*TMfwbhW XLH|%bIx?arl>NHt,L6|,4@fNCB9_F-ǿSo;k6T¡C·H_+{="!&E܀hX\o}(B=5+  _؀-=U+I9'P7PeƻU_!ΩjCE4}!˗x4A-4AMhpKY2[;Ht>LziMr䲡;STG XO% $ J,< a?NF.d.bj!^ #86n}uv"r֞+JC !-ﲹN;Ĝ M#WYE/s?Ji@ MXs\1HԴ5 pfI =LaLoyR$x0oA͟OE;&([daZ:׃~=c/k~^c'w7[~hՈcIq>mX.U26d5:fFBL#[ YO3/i_Od-I Wos9)M(yPtͮ"^E䴞Gۤjf0gq؜}4( EX%h}.7Oc#i|,4:eD 70;1iiƉ{-a p (ּLpށJbUCjGrJv6&k\v!S֯c|V90\N7%ЬGF[{4ڔ teD;2`/oG5ыr0P瀒Kwk$իu3ٚn"S5|A;-.fbVdu,7񌩎c h4'F.- g9R;e+nA3^]Yz7zlw bݦy(mfS!˃á'oF6+5mՃ=E#**tq rc TKV0O`%Ml4.LK~)X3 ܇戏|Y`ER^>{za54:+4EN񬴕L@3:X?r3֨͗<{@zJ|\%psѾ6cj}P> #2x) uGS!U\7~eO:%(5 !z4꺳 AY_r6*tqG)5M:|Ck6B3YOR 6ct#HU}EӬVdyQ @(욜ةuH)_Mx+-Hi5 d`pO>5NT߱{4uJ+ vvKѩ^O@ZA㒗W:8- whF &s|OP〼#'Spӓ.H)A +Z:Tbd&R6z\}P0_^evd:1狃^.-կ-6?gM k4/tu`_ 94p0]7sdέln}<zxg^.]YBt\9­:b$Kꝼlj}_SU 8[z(FHn{Ê99ޜ6Ny]*l*1?o<"e2.t%@W p+-":g\ (ew4eHUSnY{{]dF@P$|)D*9/!|02f3F75݆A7H'-U؛zlg\xHb Y^eG7ݾNRF5?'>9D+>ɩq4$lk8X<ʫttѫ%섇Sq¢hjiHOlP)S8K_;UO߄杛Wmϵk^psRjVl8K~2Xg@iKO]xmwQl}i#^* jLJ|u?Ħ5]&iĢ[.0)ڳJyYЇPn:k[O(:?49RqSܖ Y'5B]PQkz~,K0Md.J Ȍi\J[ H1IlTjiIt{.k  #3v?2 =@pqF&aYHL}ʄQGM5xYGCc3%أ?sBi}xBMk 0P@R&/F'Dː:Gq`eUJkXE\kGdwP.T{~g )FjSP|`EO8"`W^{#˴'PkPh)Kh42I'c+VR qJ0qY$(ɷ#gBˌq!|hC.i:nCa䈿(꺶Y>j4o+_wz޺"%<΅ ]'հj> QP@I,?D94dKr:.N"<6ijL[ Q*;# LFOLP-exFOLP-ex.Quantifiers_IntPIDE/markup7zXZִF! ' ] !M젗OFJ9Y/eSvq6UE+O[ ,1OE.V*\cv/X*Hӫ5?ϫӲ:/Ծ DQ  FB2~2 eV DG(xHbETLRH6O.;ڠf3rBϺ?p ibsVP*BwQ硞%sYd/˿yiP]b,%=WZ0 ؁BV0tM`y qڅ?+31 D!%b<  Ԅ'8nca[Ƚ7dZƨ(д~MR5K&sD kz6C t~*EtܣG xߔ}Ki0&j=Ք@_col'(s@^Ruwr_4̓=aKh4EӢkzL)׿ BH NG*&' lsz)!BwJx*C#.4R m|l\wst HH`Gl&5Bw$g%SȎhd-NTƑj.[{CGlqk닭R\ EZ?Z ƱL6k&Bfݵl!|lI;14*zC,qUQg숯CF9riSgNgV+.v( }GwRF#?w҃[O_壥>`'([OD3*h qU4\M0'lLq/g$f߃)h)(-? " P%Lrgeoq qEvSwS% eΉx"NS! ~# 0Iוy(X()Y{WNÐ1_]<90} ΑB? fsI/VQ81X cZk*}-*sIU$9 Uf޽mj޶p+)@د_ؒSs,e깨77QGYSQ$ ? c+{c 7o~}5ó71v~t~8f(BT3 03P>ԃ ׀K#P lGI,~ [Vn&2A>vj@v$? 0 E5(pA)Ir# ǡ-Nxh&C,©S!f3Cz*wTOf!'v&vPs!(i^)88"A8I#)L`Ru= \D! in{N/nPH o1* }>W=r(h6?-ҙnj \L%iX.K`e'ڷ"fQ_"6fE { ?:(oy't,ry: .ӯ⢏q"O{:#X67"3ZɽP F=_er \d~,/?}2/F