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  rplLL ]/ FOLP-ex:threads=4elapsed=2.780cpu=6.344gc=0.1527zXZִF! T]ŗXiɟ  Q]熊k9 8[~Gd>tE)ZPX:0*_pG"k̀=yB+eԉ SK 8Dx״JQܰKQ~j%.jgUz^UU^R+?9GTfSQޱgYZ7zXZִF! ]ŗXiɟHR,~3OTR2϶+aR;O7͉&?/A'U Cn=Vtp*j.yO? l'~C_ȧ"JΡ?y uj.gXZbD- mza`tV,y+\Gtل"B1킂0 _gHVDSa!U u!"*"3ȱgYZ7zXZִF! *]ŗXi%TYԙEk 6yo&G(*!΁*{ug:fAӯxW!>3a7L?0}T.mzfZ @|x?HXBnlL2Sy+IZƻX8)EQN +xѨ?ͯN BR6C>g蟭ݰÎLz C `ZsW._WLU q&1_vpa3 Qq3M9n$C![|$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>GD)&#   *; l s H f `9 , C   N  w M  6k;/;#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 4/9FOLP-exFOLP-ex.Classicaldocument/Classical.tex 61;FOLP-exFOLP-ex.Foundationdocument/Foundation.tex ,'1FOLP-exFOLP-ex.Introdocument/Intro.tex&!+FOLP-exFOLP-ex.Ifdocument/If.tex>9CFOLP-exFOLP-ex.Intuitionisticdocument/Intuitionistic.tex(#-FOLP-exFOLP-ex.Natdocument/Nat.tex@;EFOLP-exFOLP-ex.Quantifiers_Intdocument/Quantifiers_Int.tex@;EFOLP-exFOLP-ex.Quantifiers_Cladocument/Quantifiers_Cla.texD?IFOLP-exFOLP-ex.Propositional_Intdocument/Propositional_Int.texC?I FOLP-exFOLP-ex.Propositional_Cladocument/Propositional_Cla.tex   W?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>GDn7ƸƚHA $xQl7. gYZ b bJ;E FOLP-exFOLP-ex.Quantifiers_Intdocument/Quantifiers_Int.tex7zXZִF! iG]A-MՋhvG"uIBm57ݗY&pe'0_H }VA8DqC;oGAjUbj(\*=?ʖ5 *{{,iD1Z Ş (0vzlQTH^EF1j zvC~r$Gah0QRvc:_։K[";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  GW 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[ ^DZgYZd9C 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]2DzIOUDb 6#- $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傱gYZ{(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\XUp~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@TdgYZn'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 ޘ<Tcͪ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_ot\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:UvLs3X 60xV REM" 㪬 ZL|CJB '}6o9֋:3YtEh>:qBx֡ڛe'NWϥn}j~p(u/ۮx6}ޱ(D\iġxI[rV,k?ENK7ٌW0]5%} u%0ejr9,ǫKU*싵Y/N$9;VeGA5 S9h9Y%7,[4$9ӄb1)f9.9gṆy>W(^vd'ZpEU YM# [ NlC <,NZ*'dG 45"m$8O{ />S*%0D3pk-N㵅V>a,&e2hH]E`G^Fp,I zWɺ ظak?Tx""%|V-S5">>*ҎkJУB:U0pWITֳ"Su37lPeAڜ{lig:5;le \pSz:jf//e uԘ~0ySZF8smiW/DmO`.>y<3ٝ>h#g@^A;ځQ..RGڎ.rv37itJ?%ڢ$mQC+=O@ Si֬~yoB -|M7bR+"k:`!5s={52]^,d>|R3r3Co$Cg3&QK2T{~pbR;M fZK+-%P|bE|2'tO*^dN/9%[u=-z]5HkA6UipG=2n \,kœqԳw8 ݪZ#LK:Y2wqMD򣩡c(gYZG 1!FFOLP-exFOLP-ex.FoundationPIDE/files~~/src/FOLP/ex/Foundation.thy2 1-FOLP-exFOLP-ex.FoundationPIDE/document_id24b /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 !# |FOLP-exFOLP-ex.IfPIDE/markup7zXZִF! 5 ]:F.k%^{x<cijLCܞ}K^ Wq^~()IH ]\KsC$ljj8ӤT'g+0-DP':pfV.skoɱts^E)&p{HMDVMț(kh` 6`荙LInTL tK,)$?A9rJE[)DDBGQfyx7wcNJ&wLqQɹ,9<81l,+R1瞎LCneU]kX=CN}#ߖ4Yk:C]Ӯz"&.~\D!H3/8ߠl>`'2w+^E:+l}1AlZmP1SmbgyW "0 dE#"THBi ˏ'|l.\dh؍XO! qv~sKAϕߤ.RT HjBIݜ CH{\%6 (FMN*p*ϲiOi˨wg=,ЎѸ9HmsGbs}#{S"{c0ZPXMԡ CޓZh  E9^kZq}蠞NEU+(s"vdf Ԅx)}UK|fU/vr2V)+ӆxx^L).9\d^v|~8lXƵ*iMbR&s48ޛI\p:d9K ò~y5Rw4H>D U(1ø4Q+QH]3}O0ԞnR1|/9? |]`D)_ԽlHEgSgмC%~)(Ov;PqxcDlYvɠHIt.1fT\Uה&s>`km<ƂtWKѽ, aX*o_f;^FCr0o]Xn=ٲf~`Hðlfxy(_iw/(VUXy#yj^NjG`:ma.biG#vlLaF,NӅ?_ Dp \>M\*[(*QqMFz ; !耡UTdJ͏R3%9w*vYf A[pF9@j7׽hہpCB&G?3HrpڸMJiJV]`ګphP[nmx!*P8Riy@&1z?`S^Pdݴ&}b W'Tt7 VrԮ6fe;#Ps͍f}_퉥m/1F]hL>Oٕ8|A17?Bi r<=YѸ-|yQ,a30YDm@w,e7Ih LY|6hP:bRP (M'!dq(p3l0IΈMeaħNME=e޼ PR)9aB@.X(@1{Ѩ?rjsNWv)^aA *a"W%=(_ؑ84Eb Vw^:g Ս%>u/ͱ *;̜-pNY9qWЃ1O`m׎/u$WV+#9pRIQp|`d,{OՌ;EZ+f L)zfr,Hl;4ꌽSmzʫ9vfA5q4aZƵzA媻L$%MMs̓ +dم%l ғ]="z]gieȑ2\t`JIÙ^]]4Bw#)X?1fs\A#GɐUꊻ |qOTOQ,s9+2M!JPD;ТSDW7BmW쁎_Bq1؍&ׁ9\|tՁbevTv汛HpŦReD2 ,0='YiaӇ.@gYZ tU?!TFOLP-exFOLP-ex.Propositional_ClaPIDE/files~~/src/FOLP/ex/Propositional_Cla.thy9?-FOLP-exFOLP-ex.Propositional_ClaPIDE/document_id20N!' \FOLP-exFOLP-ex.IfPIDE/messages7zXZִF! ]·Iq n[:|&[zԫr\n!VZmp<ՠk\}SA0Wsw?߳on&*:!Wr=5v Bi8xm֙vTXh1vC–e4X1BHv6Vb_!㏵K.Ȯ7Rig37?>X]V$l> 6G^R R):U:K~e3Կ[ 쿀*jB]ԛG!㪟9aIˎهFIgYb] 2D7:fgzi?Uݳ*OquwOQ\n vo".ӀJU=Ϭcn $Jb=W[ܑGȦv[#cXxpB FmcτI0 F =mH ˜P'#j9LjdN[Yd,5XRW<$e6ҠPAl11%d{+Ck!ztE۽;9MD M PS}ba0uxh|&IZ0x[|A6W dbU,s'Z&Jϱ,$mb$(m6 YU$JJQVxo`@fe| UB0ɮGste em1J$B0|eg]r@c[Օ?p۠}<4G[?S3b+>7]wfIWM, @㔂p3m_V\5?,ސ"PÆΛ,}m> 2c7s_\'/jy;=XOw`JڎM-p&.5l0t^$,Ls`MCFEtɮu"דE}ϳs C-bHuZ3d{%ږf֎s9<.U. :+8E̾u qt /H#F^}*idVNH3JWWKۜ'F=@ Tٮ.J]N q}iGSfܠe:-":gezq KhpPIScsH@K /{!՛Yslџc{G( މ2^?4r~%s,Uz^;MЄB&j_YSAv>j<:u9c̯$Ou[;,b:(^3!LcHt%Vz+IbͧhMIFJDYb:o\A=0"@'?X5CGYplFY^iyq5̌I~D6K[ aF8E 0b }uMsm<`TN J5hVk5bHM9Czư˫lLߑJԌ@ ݣEnBV8H!& puiKqKJȎ)M L&x'^68?gYZ b'U?!TFOLP-exFOLP-ex.Propositional_IntPIDE/files~~/src/FOLP/ex/Propositional_Int.thy9?-FOLP-exFOLP-ex.Propositional_IntPIDE/document_id28?# \FOLP-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 \޼cNARpfQۊp@22&ɰW*L2L jjCs:z;qHR%e'TC7#YVsF[qɅk@{gɷ@鱗]D6-$-+#F`mŎ[*%/jqVtQtjx)o8Iei⚭0&SPNKqLTf֜uTMΤ]s|v! ! . ͼ (aԮE7o7=JĆ]z(Ҁ9iU!" x1rbhauKk"j&)i yȐ_h/Vp L{̐s^ƬS,_=/`B ' 6JpD8mʅl !>&F*X7٤OG`Z kH5{Z.9^ܔDwmV+I\r<vT%`9Fp번Kj]Qz4:9ɌS`b4@5~>E)J#9`DSp)-` _ħ|ȫ$Kp1'~NE $~tRJ'7B! ̔};Y_!>r(^jjKKNƫA[ݶ%Y LehQf );}^*cl&Tֹ-FkY |&yKN?gk#[YAXSRynNbB?nc^V[Y} oٍ.ٰuYBn'VbR/H.= MFw7f8߱>o0D}I0qaDĦgru_dc[-xO*6+@mAW$Lk0/6+g.0ĀIv=\PeGz$h+Fuü=5U54mA^_6!'GuK~Q2Sme >I617LVEԊ )=Iae \pH(2{C; S*?mt.Z8b$>#rɢrSN}<>G~I[% N u]Xk'w%a (9BR/9jeȬ%A? [D(nDu]I$E~^rS" gYZ &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)@^Sl_2ѕYPW(kHURD-a CSzgu,Pˀ b u9/zÁ[/ST~{#KLzGL3W2`mOq9|@*4itde>G0 #'w KĒmA8HL s%wazByqo{jIś)0ۊ!v{Φ׮B&qre[۟jԨ N"M@TE&Pl@ME練@# 2_n,Ў<GzkhM.=j+aN{0 S7ce mi@t0bxC4!B32P!\IT|tׂITnH'LJɏFfEnj 蟈oQJF\Mp~_&Kye3 |Hx[%/_K )_F} b1jO4 }TZhgGC;\ܭ e?j] B5K8cRl&&}OJ_iKEɢF֓>3`z.[_Ϝ0 ܜ8,x;jyB #K.%z鞂J\mG IJ\!Z~c='1_~5z0.Gܺ]-oi,CH9HC'̱&9p`;@ u_wqRH֥BnФ}ٸ.vocz`[Bk p.ODq)See2¾7چDBlLUYtW)D~Lݐ;k׌,vldA/"FvWh@-ЖDg]ʍ|[E;#$Sb\5 y@7 .ݬ^<@$uH9)Oaf6M3醱-#ī>FWB etcT.szJZn3'صsj۲hA@ͧBrV3>]eQ@=#g\(fڠVmAл#"sѼճ;Zpc5@J 5m͔|b} ~)9ٺkްFFmDya3եߓR ,ck]vxYN\߈eW@)I\>`gYZ Z,Z9#!8FOLP-exFOLP-ex.NatPIDE/files~~/src/FOLP/ex/Nat.thy+#-FOLP-exFOLP-ex.NatPIDE/document_id18< /# ,FOLP-exFOLP-ex.ClassicalPIDE/markup7zXZִF! ^ N] !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_id12Q;# LFOLP-exFOLP-ex.Quantifiers_ClaPIDE/markup7zXZִF!  _] !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+3HF $k]%n2`\).rN=n*A+$X'"1b}IMDcT;:j:5Z+q=R@%:;؊A_l ӖQ@ 56 Q]& P]ȬDgr*j,7f6@ @kˁ.;(̍ՆmRƪ JqS 8']I4!ݾǦ4PV9EȠM|*,ެʼnQR%[xcڬu-Dg-?0Ryaun1W~K> iBa CO3ZRGo h bpxP}r0HIuS1> ^vg[EXSEuQɭdEb[ߊ)Qjt{L6[wLH+n.[*@+edQE©,[ G00qrٰhi)$3cbX̿1/_JÎN+َe^#7=Ced vI R:hqp1^cz%ZߧpT!KE;]g߫ɯSA-oG2@J֟2.q=h  !hAtu\QFn؁VP 0Cr`Lxqo`T:'PnʦKz2rKa҉Ccus (L<|siz}6͊w`}F:.Xj ~?ųdG25qĕfhm`puvNFSujR+3~/63G,@,粞r_C#7 sqw ;)Pq>rc_W*,D]pn~CiJ6`G`VްX9z`'"T5F|+Lit;ct+c3NK{(D݈zart;˼&|em,SCJ.2oYdqȼT-"Qdj|'OSɻSt`g;ѩI$) C na}@M=MMقs6|M Ĩ5xMe١%`:z} xm`\c]8=p=TYyM[Z1 Ybq״ *Ǚtk&mfoCV+u? ië_\|hZu > CE' m CG~7z@BJC謸PQ9zgo?} *[37^ʬNZxn2˫fRTQ2-aWE,Hi'4{M ?P{mv'#W V0ؑOV3DQs")yXα=}FV{=@.aR` y1M˵P.M3Ȇgd왍Wvac9lwGr^ػlXn&I{ETNƹRPx6I%tԺ yt70v?ry߆O`7%_ANdb8!Ot"Z]X|p{3{]\o ^[Ct^1y;&I<_ʐ'}n#L̸b.b*n*8$D1ewzՀ´Kg`g ñΕ eAZڥZ$KM2S\s$v(% ZD-E?2 e `pStkyQŽFz_ZlR<3Tِ(q;q6O%|!Ad»j(?T(J*9 pҡB8V0p7 t6@+QZ^O/p -mb xkyt=s5][ Uݧ@qGi;A#=q$NӬ|ͳvggYZ1^nV|vdB@\ Q3!UFDc3!w"v̔Jw?~x,4w, m1,Pq\Ar6\%IaL6獳Ei?D}&vr˞r`(=ɗ=Y\E*)7) h䞅 ̿-;lvi|px..-*ބB G*kq|m7x k&¾>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!;TzcvHdRWԗ;~ը" ֿz@vQ 薲/n2S >)#\NzȜ/?ZLF*g'0f-?[,sy3m.Q*s w;VzNBw#ǒ?M~Bl &/|ZcjIonP&}WUbbqBgNu7'䴉RoEފ JԞ<ϛsyoS7?ҲS=-qqB9a}0,2twԔ0E v4x̆~MjCj\V$KbO !>qxҺ*68aVؑ&,ݎ"7Fp3 &]I|04 ?u}+~QU@/=ǴyNm(3cT ȉ'|Uݰ+_1 "*+hPt>>i6ͷvY#!7a*%a :)r:nkHc_cgD%}H<[(N܎lH!H Ւ0_)xWUf@C7)G{6ԇfS'`/([Z/8;)qs)`+1u#|xv]:S=*dD,h']^(W};: m&\b $xWOD!푵 tJ^AF$"=Rg%nsSZO)AƝ0 SeHSDԿ%.QzV8QjC@w7l ZS R6,RMb9Z[}97 zo)$W2nZpdY -z.5-3Z y+i9E-fyHӵ캬*$/)a%فyb%b~$~ /Ekժ9rSnlӯ}{ zɉ`q{` eAT74|j1<[;í;UfڦtЏ9,W:;7]Bqcr2/5B`#-/=bK'ܳ1x|Hӌ?+P 2!LA~Lԗ:2&dhj rA/sK4 ]>_~V*lN# 4KeQ2 DI>f2F Z^/ klA? DXr.UG.T6p;*{  v8ŅǞYZ-d 32Lǖ(WȢ.^=֌<[[o=ͣ.t=T}{~vcT .H!o3A+Clx;ud^lurY<ЖvmO9&N!f%5ӍC~?|V%~mJ_8TT劕*|?ls†I;q37wa<޽APGa3=Lj8Ŀ5 ֿ)VHN?& ̢6Hu~Δ*_VI1nvUV|25uDr9 ЀqgwҵSF!ŌhBi4UT #BJo ˨:8`gdT6];")3%plԽVVl" I{Gޒ&"+REe2XSthsfc7/w^Fr#y\|VTxsL\$Cj8ex4G Kk siFh>M]vcO'JTa껼AU!yL= Ps4Q"%J,T8Bof%0 OUJA=^U&i (ue+9jD‡PhpAHcXpV1=((qœ9D5zs(G"49ͭTMFZ9% 4@璋|/u'یJچ"*dI VbƃYI CVKœ섵dʔ tC1<V{!S A:=]˽F feu,U5h+ GE5Jk 4MVA BVK.IB(:0-cy8I=X#rZ>ۍL8A/,GV̅2 x_(lkvmz6%>=B1TS$⿒sLJ,C;FaU5K m !q):>$SGùdxЗb1_|}}hmDX4MKU-= IϗctR`TA"O\0nVS6![9y` ND^,V*Zk1*0.֋bdjxky'33+.,ˠiy} ?i]Ϫn'*lP擄W͂ %Õn hFV#E\ Uk76ROR9ݴ5?r7RblE;r=޾uBo(a#gvn q):L~NۆcZ -yX{E$+X$bL #zc+y}TZ4'>`A!ӋI)?!M9l"-am%j7q& &?gL fU̪ T;)U龋W i,-dEfV{{W<4y.4?ŗ)*BfWlzQbn,X)=-u'wT4>¾_^fnnJ}T`aSb&"4 ?U;:xs2pW_{<lobt-nm8س%gph@%Bdzw/ rz#uֵ1+vҜ|>']ڑ͞l5H)$ڽIzUa] Uk:6VK?k+dF Xd*+kӾ"@ ɜB :9*#q=Oo1 L }hs`ȔR`i-:X^F~h]?tTL]y|fJOǹSӠD=&|}jpºe8t+fFO=O7i~tK-k\﷘1o>_ܣ[tjxe?>ff;6DL;_6PPIS\}p_J/ZCsQuuJ%j) }S]t|/*:8p$ɷU JBlyΟT <ެ2vsuV{uL⌊svum DЎS>ÒzҼuw=8*8iР)'.M. (=٣H6x54>bA9Y4[\wrQ/Q4qjPfJ)WO +eܵW@zr qprb޾r%JW4)uPӐx__eU^WB0,+9'ix-seFxp-xdV\knv,kĐ?􋓇k5UJ+䬀&G\+P:krIWuHv~|8 _|/qMKHg-qҿ<;znLeal$TB63(>/LytjY dY= :`lf-H;ODSHLI67t9:IoVa6WAF-EY8%@Y&cEA$$i%c#MJ ARiv,Vl|4?^:\nm7 5G Eo.HOdR6=:%hkT1 NQ_(n.@. |$5^̌v0Z& ΃64p^dڵ 7+E"Sv(g͒AlQ %ho&Sڬ3-CWDpVY[Ȉ4ɉl&fzQ2LeΗзמI"\MWɇ5c+^8 B6ঘ\-]!ζH?3≺i_!:!72 󚡥"-g4_ԁ0 ps %;N*Ssz${ī.-R,}3=F;Uߊۅ[KWwDbD:0Cwo/ZpgjL`iCGX jj9?nd1}˛w [h[cXǞ@gX̂K7ʫ:y%{(# u'} R}uCX'! 8Ai\Il:sQl=np.ongx/y=K2Gx9µ%v2=՗Uʓ'#@!4Q{ Vmϥee/Ջ``;!F{KyPL4Uq\x6/h"lpx.Io\]Yq'h.>*cc̙1ņDj*v_Vu[MY.K8@8vi d-H?^KD@kKcW m>^gDG xMSL.b0xz*cP"\=״m8!][ X#m5g7~PbR) g8=\*NO~'!\8o͹ΥZ>NRCxoݟ}WF+jy +X- bw.! . 9H1vd(1!plV## >=  ݮnݖ nh JFD]5 @ g6v.]Tv2:=@xN%& :C;I>L4Z0/l/&De5. ;3S.ÉHk[EG>xG¼&w _^-bÇomndCI]hYhAr/}j!6)-ʑPߦ}6+%czEX<#{0XNsLl[!ծKXo7AĭRT Tt4 d&GRUXmpʣRsL44]_i55'CuVbp7/~1$qĞu&ʖ^Ɵ;ĦǑ LK}aJ:?(uhvpVK CꪉӒ4DYqЪEkhx7mz'y)E)q^W b#1<'o'J_;bdKNbaIGQKnd"o/=wD~3ir4]\4#m& Y[a&]kTӖnJnOt.Q#H vҖ~/YsL/dɲ#bZ̏Lr $x`Y ~qqmdٷw?[<8Hˁ 3)ǰt_tp3aƻ!熆mh?v\jIPͫCҫ}m+I}PB4,)zz!RL ML:! rqɄqܾ䁭.5>BM$pR2(,圮'8C[^p@ISzJԗGq,wśJxZb4!WiyH (뜽>^&ݘHWC9+4{7$naN+ IoZ?KEB;_AeXpXCKE kD-סS4g"0"81!|J`td0[iWF|8Co!;XX{UYgd0/e}' (guc~H6f㆕_AvJeu<@ki/z&G> hk^L~x:ĞCO7E?A6p'2*bY̥[ ȹ9}US46bO0"\iH C{.6U zލz x23r ])[۞x.FU*//mn9gxPRU3IsE=*Μ'h1[ɦGT3o?4wI~HM=Vhн2B=Y&ƉM?*&n@nlHp!HsEkϰ.7C ^2VmvܖQՠא̻ÜP K e)XuycU1]0l0Y,Ox!^ʶfX`d+K9X'yp),V ~mvYcl2Hof^ ElZesf`LI1uDTow #ɵꊬz撎 BiļtEV@t"Bp~0((4 26R בI[(Ϡ.uQxX̞̊K @%84-+>F~=fO|Gc,c !Q<`9O.eyy:NSyСLh . 'Oۿ;iFjTg=śI@:|zv2&kB)W)Wڣ+}?<:$崛M=R;Ji9bJ"s@%Y>2-1# ^Wtz܏7L-ZeUAbXد7)%M>*VqgiJmceeG2fC2rhG /gyWzgkū 2=#S.GQδr>̟Kq3x^\p Iл~\fJLFh U%E:D>ȓF,Χ+^N}&gkBL,RU۾(@*̅MbT ?IοܔLD$5"Dofjכ]|+ag@U$XqGj%%Lu4ßjS$թ1a@#;sWKm[;(>5zd_&zdDBs3 jεL ϔHJ"\]1,w5/ Ƿ撰tv 5!DLR[qW!,YC8殁$# ӎAb*)G~ܗBl?o+8:`=W![o{AթFYl'3I98QHI{PmX^ߚ!V4*7&Bw ){9_oC2ϥ6յj/O“>u؅`gWm L;QXѱ$\DpSy᫩wt{ TnNLNvl١;ZgvK\6}Om棜JccB9ni M+h}ΜE]Mq|{fJU{`XmqCOZ(l:l #O'29Fqg!z*@ur6 8 qj{{WʙQAR =>ݠAC{`vv0.Ѵ~$ //!SRD b6` hnNr"M,-e9MwgQa }v_.7PpyvF;wpoJ~ī:7p0g~m3j$bM)HC2\ds\@Sa}ң:lvvHY_.xSz5EEt` UY~J`h%ZFoR5ϩ3nT`j]y -@̔ w\bX3mE quiEZpVّ@cqS qi삟ĎO'㳚 /燇.Lz:z)Cb@Y8mg̨Zf)0EaCiql/C8iF!g>޹7[גTJra7ndod*?b'zѷA싰%符$rcHv @v(<ѥ咼*nLl\h-{ȵxNᮾ>U榼5܇Vq<]_׬{<,0jl= %jWLWU2pLzA3UxB)$N,kfKN̻ o2*{Bt>u*JЄaj?N||H(kac@[kG'j{5xw>k0uAM!cͪ];L YfÛHF8`n2ȷ}T=P̑馀e/n*>ڦ=m\YYA‘99p<$m׏cKF ; 7\ y*Ccڬ^va3eЫԁX-"wϹY 2gmҀ2$'5DAwzNB mS_Xzf%W)Ry*3{1{5=E<2PAcގh+spX*!vFz(E{a*vH;rq`y2zG ERRJS( 3+0 b\8a,5KFUmMKREi&BǾۺ͒vqtXZj AaO՜'2ńD%Lol JO&9!NFOLP-exFOLP-ex.IntuitionisticPIDE/files~~/src/FOLP/ex/Intuitionistic.thy6%9-FOLP-exFOLP-ex.IntuitionisticPIDE/document_id26{$'# 4FOLP-exFOLP-ex.IntroPIDE/markup7zXZִF! q ] !M젗OFJ9Y/_sp%Ar( Sh^dž.[,+zXyE#i B"_*u6^VQ\Uۛ!zuo] ? &$w1$urSD1Q\w8c.$B&WGaCprGcmmGkc 3tZdv^ #^N z- $PĔ@XYLZ֮nc n0z-rAehl.#GAJs8 M)vҝa'W_}JJ`zflCe&-;a D|~̅ps#^}ֺ#ADw67B@⴩GؗM9m7/ 6;Γ&_NPӨԁ)5  /cArb8/[@wOaJ} ;T /~7[S?x!A"!Jh?4.m`tP5UR~iQE[[O5(穯OMFK̼L|#H%}x*ˏpkq? <⛕ boMfwlFׅ\(GB[2wFF*YR:Dt96jp0d#y Lh]Wx@0DY W$aݝjĴiC*}[XlT(zZ> X!@f+DxenXHs^yQ3q8(Ga[`7H~3V/eH܌u6 ߪz"`N z{3? ZRJN v6/xФUf=[3$Zn٪EJxʙۖ@DiEq 0n7FƧ"%8b==N ӻ%!5 Oq 8AU c0ȬO*SZo0:lB߬$"٥q`҅~ yɭͰfCXo6Aꚤ6F8Vg4zSrm5#[ wben:woV؇2MȔ׃d;A&8b68^'v~-K*,26PSs&x]85)dLx'u1QJ+oVRU!Sa͞6Ӡ<ؿ+$ Y)vGT7K62Fβ"y4pC X )P (5aDcX*sr3|E2su%i[? 6,TO]5diw =5؋}ۍ˔[OTU8xA$E|a헭 \mK©I{Nx12 -d&dpYMk=_G}T%V,s^'5(o`Eb{}gi]NV^t/+F#;& *("8TJ0{"%(r;P#l]^߻>|0AQ{l›H Rt^4&77K4JvQhNMK0'ɓ:"v[18MقC aם˩IxcֆzG`gם*BVkRmNr|'װ[|P OU!҃"vUŕ`4HJ7ɿ60S `'@H]Ꞥ0u._ r0:dgYZ 84<ν TŤ{q72Йɷv̷iȂ K)(P>2SlgTC{.<:&)Qk_^^b\eEW㹣+"Y;o*L\t4mzL(d.\7!ãƨ"kiT>|`3v W\0%`!g2 )l46qxFlbګudth<_aT5I6dИ#Eb΁Vnvc)baθ>;h&+A66Q9ɘ0!Y8N rh @f\ e䲦dh0w`8FϞZ\kvO!ģ%?H{c{0xI5QŃK)sgCY~=RV=j "ǒ>Y85AuU sɦqys:€!q+TRpZ7Bߏ3̮/Gsa|[OzJeRkK6B3*XID|tXpq)%mݲKRcȶt엚yPb-KĢRVnFOS B6E04{h{*ai'/s T`ӵbU8#A0eaq0$0pV6`5E"ԦoAָmA2,F?2nIaX7l-Yu-wSSs'mjh4>2UU2䬲8hC 侌2 \?!Ŵ.[Wf$qվ'_[G [F@9cDGh۩f8^+gBGznDJPOAާ820pgPu6~=Rf,M'3mPM;tڒx!asYg&o# { D7befEx/L& >+pȰ{3Խ.iݧw\˲Y@Gy,L~rNȩ|sY@U%?5ɚ eI^"JJ8;:ɏbXijM²AsNgR~vk֗~ޛo73lrH@ moĀ?.O蟓{ل?? rq y?{m>k=uWdsu'cS%@_ʖKn۠#J "B\\wv)#0y|^F9ZZ)N`$ȾSHuDwR_/ʤ<*Z-EdIͼ tCyI~٪BgA+Poo_X.3(:>)&cslDˌ^v_҄ W=nM.y=Ɲ}+Lϟɽc(7Ek.w=Vim* )u<`eb)Yit;1c1IQj0b)ҏ'-ka 16Ёnr&r`_`sީTT8dY% *^Ĝ@>*U *>QPkM΅AsPZV8>d%,CA:.̚I7#Ƨ_g`Y22`L Cf : 7tgߦBk:2n&w5:pfjL7&\ALʲ<*!s=dS#S=A.$6kHKvŻ s;ri$xxާi2Tqiƞr _:ݖ-5XRXc:zWE.5]4S%" ~xnciGzV~2fY S~ y:T<_/wUO(Sy(Kp )^\S$Q?g;,.{T>#opZ_ J]N)xwDQWGjİ28;ɾnL85iFQq.Ұ3/* 'K6Y.B6ɰ`7waI˒EʥTwV(+dUkenۚ 4LYTbWv*je u{贞Glt4O#©}|H_ a>rM»gҧk\cb5i5hv2{,01a[$ZLcZ?80"/y7kBY2H&^r^0;ZgPd}OX"4ffI0Y̚?X'/Pgs7ݐV'Ý/EbXǧJٜ[R=' !R1a*!-I|${ω'FO\_(NM+ٷ9ґZÐ*ީ =(V eHOlϖլ|Emlۥ~;nf0Rd;V ry=ن}0f΍H4칈?g 5l$#uDEEPbr"SKovF6P)` c«waf-_tY9 SmX` Jm.cXLک Y"MG%$>W9Nv*Q/r|*<> LY~jؾӚ E$fWțL( Ua;g;x!=  W0*h2%X+5T%5%n sC' v6l;l;Ztk̢q<L3&#g9bz?JP,riO qzDSeͰCwZ&4u]6 }]~J~pA,=hjY+j^[f*'S"[^NcpdړG8{RL+>Q?wťNRؽ6@G4jn՟ދS4lۢN ޤίİ1Es7RߞɌ$fQ8ϯCCt:bJϥQ~ Σ}6a|J)9oF#\\bfOu2Nvh'lJD&fL G|K\.ofNA, M{R(a'Gu"؄&~%\'U( [3u(c =$*2ĸ Z._ j# . &0y;OojaQf6=0gYZ e,Q);!PFOLP-exFOLP-ex.Quantifiers_IntPIDE/files~~/src/FOLP/ex/Quantifiers_Int.thy7(;-FOLP-exFOLP-ex.Quantifiers_IntPIDE/document_id30'9# LFOLP-exFOLP-ex.IntuitionisticPIDE/markup7zXZִF! ] !M젗OFJ9Y/_t/d twduÚS" h[5ZY # H*#vxE[an7H<~'*iIBj~!'ݳa]ܹ>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狃^. D^"̪Gvp1D'/>M>ϱq_ ,;ɭ_;Ibﳻ㦇2`Ju2*i) b8;a/ftlz.9>Ė[(*kINNٱ\\yGl(^(sB& #tDžcґo4u/}]p.+TBM؁[]wH ɦ2u1"I4pFxjM֦ѼUyP[qno>zw*_2 Id'C`8A -_Z>)I P0\ryZ͘QCQWe.ʢr~8/cj7ujOCGЅD,I`/~r{a!0w|QHVvM=I$:Ddbj݆Kݸ'R3g9JKHaX[麖ȓ$fUYЛ)f*1 t 2 (pʚ-_1;MޞMZ`_ފ}Kc>,b>!^Փy\ҍ4s@2pqqB"*c(,pUK_T1 ?)a\:xjre@6eQ}s;wփ}T{rYbKD.?H{+G@b9r=m5L g{IIE:\&5h:m3YNXy5DzNmΎ_' >}y#wK\˲Ek nL_}>ݻ5mE_2. ť ) p;M 5#y(@KHeÓbϡ[|ő%$ERض.fOpOUFs+Kfd[< v -zWtKqN+ ڿ% \X(8:1a@c.Kw2l9ǽGW@w#q Ϗz ~\sѭ5v8llR1_ iSNh U慤|RC)[fq{Hz#C_laBYv֍6|ރ5 5GvG0DϽ;_`@Q|ȪUK=!G ˎ]GNw6}%yuOIng-+a%ȴIVOQy3 f7$>P?'N8SׇdtZ 5  1k<5/ꡐl~a-'#Q96g+Y#7^zS~yOǧ 3~&kM.]\PBne0?*6 Y5A\럦.:+%_գ;N[q6y"-Vb?~$TY线u? )|sqyd>p  ZDVmw?5aĮ4ő4AloC@RA :T4 %#`ƈNmNBoG[ꑯ(*X:c&gie6B{F. 4m2l) d I*;# ci\H8~؟=GZzLW•M-4oLhzutW1q)p'ޟ v ɜnv+ɜ3$9ףTut%Tz\ABT[n})V.v.F춿E20s~{0n3=XUyP՗IBX7cׂ/4.5|-NmɋV07 ܯ}%[\zv#V.4)2'@fIȆ7F9844>60A<drOZe?*q|&5,rahpN|xnP<{f 8f/T%rJm+zxp"siG>vN #A|e_Md£IdB)&\0+jmI[y#8]nѐEi6sV4ږ[_∏lTڵ$ڥT_h@!@;Np0BYaz2}{CWZ7K0O$c9rblTaCM +)}Z#H|K'?18ނ\JE=AWknI-rU'` p34;2 j&C ЛEBbIwPiedJ9foB>]qPᎰ?I6ī8G#'qQǦY? +ƏJ>njC8i<Ľx( QAKjQH}^mIrmKl:(X _I(ڢ.vp҂ ٚ KQK_ZzqL·V>T{L1 #Th7ȕR"3znDlȃWZ'P qW|PaUEњ+~ߴ;ބ|gLٙV*/3 @V`{C%^W񮤭]␢3#1[(aE y(t4AW*%}4trw_s[C_hXn0-24VD/}"dF*{ygV:J$pCEFl[3'v ]$ g4:$DfT(ra=`٨{Gjcސw8چhjH_:{^ELH,xP?hC7ͣqt3Y ߠ~N-%U*:e*,w{`R 0)6nϦ16͵Q)̟cb.p-C 6Ͱ ?+46us={cU ے`}tM-# ".•b*WoZLLcI_J@ 9Ai_\/S/AugYZ