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  { {plDt ]/ FOLP-ex:threads=4elapsed=2.880cpu=6.672gc=0.2007zXZִF! T]ŗXiɟ  Q]熊k9 8[~Gd>tE)ZPX:pWJKR,%Bk *kgUx[l ֨)siqO:IZ:Z^波@ilt47ͱ@x7;s飙zoRvv ::IXP-O)Mv+X\7 {%ɴ)8;N'`+Prq,Ą6ֵjej/?V+A7g@ &KY<#|oٷ~ Ko <)pklҲgN)_hQ[E$.~(UIJHUfP$xpk{1"W̢ BCMK)sX gYZ20b0979d4ee0940712dc451551045d481659fea63cef1131ffc36b5267ef54e02c39cc49de01aff8 4a1d6d4cfca70f4eb10edf267d6783f4da66c03a   FOLP-ex&?I LFOLP-exFOLP-ex.Propositional_Cladocument/Propositional_Cla.tex7zXZִF!  ]A-MՋhvG"uIBm5LDj1F>[|$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?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]9CFOLP-exFOLP-ex.Intuitionisticdocument/Intuitionistic.texD?IFOLP-exFOLP-ex.Propositional_Cladocument/Propositional_Cla.texC?I FOLP-exFOLP-ex.Propositional_Intdocument/Propositional_Int.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/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?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]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傱gYZd9C 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 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 ^N^b /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 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[ ^DZgYZx1; FOLP-exFOLP-ex.Foundationdocument/Foundation.tex7zXZִF! T]A-MՋhvG"uIBm5nP$K'NlA9PIXʑ"]HʴJG5zcGdeSBpĉdiqz'W4bGn].|9͸pWrSM\K_O=7e5`sٺӓCSIoeevໝ_+pA3>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@TdgYZYuoqGR7{ 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_ot}]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 ޘ<\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:UvL[㙉"N"`eZaW>߳sΉ@V,+\AfI}Тm>\'G5++nĉi٦/bRnAG5x υ ӱȯO$7N$$ghoϯ@S*D-7DhzGa S/n+&D^ЧUwBHX@?&(v CCVn-K5@V:O K&xn!TYen0Z"sFLwݜhg.(S#UЀ} OE xK&=v2b"*ֳsgd+ƻTqUy ƤҚ& :'Nwu[-]/*V]Gk3Coͩc(D BI]_JRTH3+PYf,b4elS{k~ ٢EXRb4(+DU`\=?~gK?8k2p+ݬѧ~S#;Q4^7/=ƒiBAo&A}Ex{mdȗ8n3MDOvpq#b tNUw)䰃$zH{U3&vзF 5@A}Gp W*|Qłef/:WҘPUg|1[,*O|5v*: &BoV;ZĀ|fePntt vlp#w>po5TkrUx5vJz8GNNRamdbL5OF~*D΍An9QAZ+׮n*` )ֵl }67n5$5ԧ*C>rig/U5MnS`cwyY}YEhL$.GvGˋU+<].پ.g$qFMZLsK[%ًv2D!$x'tZyd?G2j?3 /#,*IGi;"" ֌U>z1yҰm\]wPْ1GjAB;($2,ЧtOOZbⱵ0,f^A4D4+І+u5*%NxɁL'7ݶ])gYZ  !# FOLP-exFOLP-ex.IfPIDE/markup7zXZִF! 5 ]:F.k%^{x<cijLCܞ}K^ Wq^~()IH ]gPOp=އyطkOPC Rs ʇ)P ;p`sJ=?gn@?A|6m}=mTLmK5"zq0d&z[u l\L V!A}샰Œu ߒxQ"|͊Oo@6`8p3 F؅ Z&26eEyNo+V( ]Bu+. F@ؖۘsg0BF B+QOI0yphG_A"uЂfMDҙ;Q^苶y!Sﯢq#/vyz|UoJ&گ4KBp?w#qa-D,'Fh&}P{(I9qIb+bVIDT x1ReOv?&Z~ě2<&/>*޴(m?Xt}@ ]ɤ _A=?kE}XZժv!Y}ngO35d M-`t{ kPKGVKsf]v% ,VyaM'Z݂chu9 pP{u"`5_F/>Gֶe)Q>َ QXӛG²7L~W*`eԹǥ4Z!q̌=-dZAv8 5SI}G%!B;BFHZ=/ ؄ϲeP#.1m~nޘpTZ]p;傑S XXԨ[7uYa?~p$L~8 !o|}UvQ/5B5v\Z< >%CGbBwGϣWבkRy̨h,tt_g%4bt=ظ!)mcLv~L) e>?-ĩd? A7_XF_z]DKRC0"0W #*p!)~~\$ ĶY!:@"oȞ3 +ȇ~xT4t+A+yp5 =pvV˕8G> S^1yDqNa0GI4l].W(H!X\dE{Oth-s8{6A+.$ ?M=^1DgȋbdK]=e\Z֤cMƎ^tmhN6ۋE s HnpnPט:}Ck]~st0O*eh*RwU!zbɤݟaڙ @ՉWG3wm7bQm<́2gM`Q3jm )ZQz raC*Hcҭ9B'Ճ q1.Ru EKwĔlyR"m2 EgIQWQ=7}i.*Wߖ& X7ޘjc/m%ڪ n(H_|!;vx7Д탴\@lWXTC&M987 4hMb9W n.1Oj U4}r8$<Ԡ76>¨ J.2B%uIr{۬Z]G]=ixrǰ@?ޢDwaZcç/ũ{vDz| e7j^CO.v3r,/QV2%C؍q &rFG*z^#crI^j!ULt׼Eqagg\ =^ yɵD+T1w|7(FHZs LgCA¶7ͤ%c lYkoS%!0G>JIS9ގrjQtP'lYQ K`{'1̻RL!֩Xld*p/xO%d%W8Dr(>FeҸ7jYj?߲AE̎A#k3lP[$ɶfcʠk+]gYZ 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[:|&[zo3;ZzlyWE0t{G@>_YIX23&^C) ogĤ1XE9ǬЃNH~5~41{ƴzǺA:ة.Smbi]/~U%/wڡc>znrZ4cxH$6h՛oqBhʝXG,gC񮬩rejO-E(YM74U$5sq?=q: Ar(w0gܚngO7&k޻C0hSG߅n˄|Lm4nCǞ=dM0'DkS24nrӌyO@YL5ÍwGĿPƖ8haUgyCsW봉M}~Uy1D LnCg)CP0 };Zp%. %vʕbV,v"=yV^Nب3hD;HD+{l) ah-.7 x5נ3hmSx ˙WȜ =Y-OɐH0?iY9Z7Z%ҋH[阥aN*8׆i!8Lh*$!2'ygGäRk,izAbx 347M}^ ٽMzAvUG^-tS 0Scy G'hi=5hYE gI 3^Hl+ЖL$0GLeHYc~f5Z@S!}E'"73^. ՟USՔzABZ{dn9j1NS6ʬ3>{n*Ȗ` )D} ct}[HT( C+˼ы Hr)ua,Z4gYZ f+U?!TFOLP-exFOLP-ex.Propositional_IntPIDE/files~~/src/FOLP/ex/Propositional_Int.thy9?-FOLP-exFOLP-ex.Propositional_IntPIDE/document_id28?# TFOLP-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+LL =#m =Z%07AȘ :G9и}FZJ~cT!⽕{#aBf֯RkekiŽτ?V`EZ࿐l t[ú2Z)^4 `&2ݚ`\e 8ٌiy뚮82=!/-訲S1!d̴͋rٍ :"-1l1nDѰjXrdNPju6 ~ %$sp@Oq-&kxLR ]ĊEU$hc#ƔL6&eES1+>3uӦ8uR*Oo};85knPD)})&0zrO h2-FbE'\ȵCMw]z:^{`pT aCWzH9aST0jN-2!8}4迴*'BcR+{Ok-@:ivϛmM :eV׌Xl RgA y3MWg^DkCw1A8ο\#]CS8mҐbEPIŔD:kY?x ꥃ 3dGez|2qA1Qm #6ƥNjq`5+:w2";Tpn/9[i*ꋯ,u⤧#x~@І 3 @k3Ƀhkͫ`V/"-QU17pZ|rޒ8?Q^&y <2ݱ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)@^SB|X8kwK@ /qƐ(m8 x$P/۷{hwk[cj9zƁϜovF}ϟH-f{s~ Mj4~9!PhDOD17 d gi6Lv]s ^yT _u9;e093v` w2UH}̗ &3Jo=òߐqپRvr6$ BWmIP11T閽?+bq~N0ከ͉Djg5rVU[h=`T]ta"q)}5%tRPᖏ>#;tY9raˤx0#ݱzTj/{$Y+0Q2Q)S,ߥ&8j<8j:5H XR]tq{ZG1(<үA;e"x]c,|GJ1"} RueDŕuھhkq)vPq0?ۗBlhE3`{`k'pC4ĐJڴ" ƓWH([E  P@Z=j0qU*\vcI]𻀓]4溈J)OezBbw&Ln |69\Cwa6hF4ɠ֡1>PN➺E*U^m|#*Jh>^ 8N Elgo`йcoCw5vO}>=X%.[bNF޳ MTTMp |7{P,Їxcxf\|RmKb^ p,c9q~SiIqsxB̉9,T0tu bD:42W:ԣO7TSAW79^p\n($gmZqnj-QJf z(vi t?)k~49^6 znp>!L_,Dw^wg{Zc"_{y`xH>k{nh@hsVȣVsř-v-+2h=s R2<sjC\Ζ{GAi(~ʷd-gYZ f8f9#!8FOLP-exFOLP-ex.NatPIDE/files~~/src/FOLP/ex/Nat.thy+#-FOLP-exFOLP-ex.NatPIDE/document_id18( /# FOLP-exFOLP-ex.ClassicalPIDE/markup7zXZִF! ^ ;] !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_id12E;# 4FOLP-exFOLP-ex.Quantifiers_ClaPIDE/markup7zXZִF!  S] !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+/]{u%]$6'FV/U5 ~̫:vP}{'/$%ﴨ {1:N&KD6k6*9` [6ift5(Ơ`tvDr؇@g^",#MNɃQtqG0kU@LgbwNmW SFsw 2'w)zUjcE)] 9yH?tĥ>:䦞5$TE(f1NT;tlhѬŦL) ˎQP+m8j/myA(;S6X{oߘ$)U=K{^ꈅu?LKmTT_^{u٢5[|YG? BYcߠ?.4U8k(C3k MpQ >bHϙ\5,sājxm^~\so5O*ˋu>_#~UD_5K0%As DRNt?IdkndMS9D5&.]?p ^52姗ڌZTt4өdCת4npORZp Ŵ(ih[zqPu]XLPOvJXʃtGġ 3Ŵ{\] ˙YElE޹@}E)3KyF/ Lҙ`zTvϨN::SCNq8VXat i'<¿j}Aq;O/]\h:TѪm܅EjY)Q2i~}hz5isx A&O*\-vн dЕ66"Iq焵LZ/z^ HGsWR'v7{|ERP9 s00R۴Y7=bCbk mT}DC'ߧٚO->K@6e25`@5p ;I!^[$;Yk,{Z)U~93h7?b ,?AMX!n k#{Sפƒ;yyG#R|>qߒV|t.M- ]|'EÇrW$n+Nxeԩ(T纚(Yt.T*m҄Xa#?,d"S2`T<ܵ]DFJ*BpsDH P85?*mTL).n,]+ܘ[(KSf}#ilBFzV{tzO\oys{' <~8 u_=;=x4vMjy_[(U/;{l!=vaʛ̧PA!F6,u@EXO[wF?EGY1#S[bc!km>;uOvb[UGe| (t#"CRbeu'F[?V^xɝB`aZ8=m`RHOPQ PiC1I㕢 SvVb>%;}Gލ8nJ&3w#ggT<$FV8#hʤGp퇃?ndt 3(7O ;cOЉ&uߤG+xpT̵K/%0?-5&sSM˶=昅%5Oo,7dίr?Z5t|3rdxs[3qA{3B#޹k[a >8+=(.Ͱ)e( zd˺AL1>\^%pLɦVtmXxI!j{ƌh*?|n{w<`"Xbٸ_(J@E,J$y{B21#$pƱPqAX [i/8F76ϒٸƂ+`k2㔖`3R$p4< ZR-+ qUp8zIў4};eLƝ>H&RJ0< ] ?RHӨ`E T[F /z2ka+FD<ȶLc8 f-JТCqp I-xBwZp]dI쇽EcY60hIu\ͳS]1gYZ1^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Ϭi+9kFr<na7 2q> PrHoaRY xSFIj6+߮y`".,Yӈ)qk]^RF qR&Yy(qsr]TKS(^`,%Kwe!{vQqC \YC=9Ñwh?Je rt\^WxNyKuFt%?hL.PO׶IK 1aAV,˟9LGhk/pG]lBiK<|#c_'qpw+XtQ 6D!2D>@(;mU $a2<<%>P:7^ H7Ojw "[S܂d*[qb9v`էTtBL“N.cϖ}|mz@#Μ(7]R t$s+l.uz!~z^O3]Տ,&_ԋ{<۵BҭEǧ-H2[˱|ꤚ9W ՠs먙U}n6שpmoz90OFZ83;'^8U]Gp8sS؈Ԩ{-yEƽ/zLӦۼAS{cG齠n(u2an2i G'(uU?sn&Y۩]gzyV\+3ĉKd"R!/G"o/OP팚u;6Ѯ.X&YP zNRhJu+ z *>0m 'ieFnQ}Gls}|\\ϒF-f#/bo96CMm.$4حWx"/|LC46ZMe~ڀt>0*}Cd^,M4I/ݫA BuhϏ`,MQqG|OWt]e%c17FY/"dp`vUBq⨇H̒RubnD/2|A * ײ<6+Jٖd]吃:Ik֒T~<15u mq ۰iU-yF5@E+a7EM4"6J|H 꼪<Զ,Η|9W c|iC=FٮW];!]|$ VIi+Eu]5هm=kh*^6CNu@\gp8$T8d*c%x|+9 X9-?pLqeZ[演@.ф,Ÿ⊦tɝR=Ѥ rϹDjS96f8zbXd  zػsAe@J:,kSki77̹"nJ4ڝ\w=ʹZӍ8 "tg Prsp"IվfT#3TWU|Gxv?Ttd YZ<dґ$O d(Sݎ\-\ FV4"ԕxFP:Bܰ xH9.Koc7X3GVIt,<Q!XSq{gh-n|MYQsQqCY6z sx7dp}V yc}G RmľTm"Px5‰TEgFrN>eLwEnU`%nnW~'A}KMg\?]ġHtoO71MVz5Q:GbK^Czd[MD#-ρ1hyX W$ͭZuigxx&KGUAA?X hb[pJ;&?@?(͡?׾6h.vкFt[_G2"~0Bf,e~;QlJNejʬA}ԯ&*N +Cξ *zFw"+ k6lZE'e3i΄LOdFV"GUl $h[uɕ:'$H+:;VlM'3lXݻU凼 ?<ãA%EӠ,< 6g\ 1ZQ~yo;M얳.itz*&+;9S٩8Og=.BD.oD4b.ŶƢajTY?Q<]U6,G/ͪ睏º|P]89Vu-bB|/Fܢ.wruVs3>G<<0&2rUzG!{J~mϣ$ՇX yS[t_ULz'~߆%W9ҝP?o3&޳ !>H>VdB0+ B)l i,Xw=WO_#*lUDNf%x6 lqi;ኙtBwfJgljiD֊]'h ' g~^{["WXӘ/bX+/hR\[E<}"@fݧީݧGb&T'\Ey_VE5 ]|z%JGD'J[gVa#S^nI{X(2{yV(i׹߯o%Gyx1AzJ ym#X[hN8+vџD["߷6odj1`>cQ#yr$wTTɜ|p*HlyVs>p1Ё gvҢ".z:R|A[D; S7 :4: Ү} K)6ضwh+ !Ȧ%$XG@9j$ BpSFjzZ!\KI,³96eL7ƥ0fYX8wt zٌ.y'C۠: t8RPуSb>K` [enE]>t:;Ys!qTEi]Y^|=[yF_&a:XjC h8AjW.^l^n\;d:Avo| m~6XML{H՟\ ú@8ZO7Zŋr`$IR voδvTbt.!,A][muz%FsxfJk9] 1#{ _J8Ixg-@,Xe݉4_*{Fa9KN+O!=1o)r6}"*#QYbLBBe1XVS# oδoT 2ey:PKxq|yE0*SM5hȏZ_1(9,zV]4&/'F5Z$.CH*:  ]Di h}NU3dkB@K/^@n惘E`e>[p1;Ctr" i0h|]¨1kCLwhQl 4#:qA8\O?IP9?zܮ<+K[8Gml 8Xd0B*1ݷqh^vWQY%:s '+b' |.V]b⸙H-M1֓懐)CC< J` {^e]VFS uO6s: , !"hݏ^>|!`꽕u_buDy[?4Ld=T*>hY[Q#,;`$̵#C՞R/#> B, @߄OرgYZPsM~q][ڞ %6`+Bb)CBM'kM<8Fy/A OlhVYeVTbaki8&b c5DKE3Nv2'2w߾;<0zg̓t耜J }Wpozr+}@`.ԡ$fnXBh˄{}Z4q,7A{9"Rs\UhBTV8cYC 0]3gk>u%!ٱuNFk%i ݡ(M&Mݣtבc44. Ql^7cDBykX̄H0]=[*e031˕]^摱C>q/sdEl7Ve>S`bwQ nN^jԿ}`5A !Դ+(kTQ 9UAC*wIh}9Ku{;WJ+% :d苇(0Qx6'4u= S=L FOy( }fs MAē~oG7†t';t2I>qkZ6kog[ςEhkl`]u!$O>*~ XV}FzMCi_ekFQWI2#1?F\ї[#%A\O؞ lڢS EgMJЎ5hMwu_~}n" ǯcNtC6DA庺$3?FLG.JGxN,72k*:?>1c"Ō*KY1!jM) @88[p7c*@C RXfJ fp$~Dd\vΧɴi,Q4 3H(jƥ~ q)f2б†$(Y_l ,k&00qL}>̔J/~P#r3býT;%@V<#b[&Ɂun * N$wjiT= 0_nf4;cge\R^ŽޡXC5 l7_O>1G`2n?I;>h`àGtKH,p۴@Oj~GMʴ|mW l۞Ki1̐/ls!Crgތu{ؘm=*\:]҃2Tx66{Y-e"C])@{N8(A'P7[\H%"Zk8=>[){V=l}d(4H°,um}@ HheGW.uPIuJ k 75ÂA).9]J'uqv"/T8A!ӻ Rө 0rgXBHJ{tA0-rb7/ }TѢ0 SqKbR#`/2WONUgau~WUk->X8:PgHgD}v_n ͭC6fm{NVdHJC[˭錠+eS ɇk `p۱P+զz3T1$?&J)y=9q@9 UE@4`#2x]y~p fnh<#a9e3$6g f,LYfa HKG0VױP.]W1T9:,dq=Pg,7S? P (IO83:Čh}? h%P5h1$qTfMBp4O:#'.Pq7K@UKc!mN 6sSp3,\@ e(n8yX:z<-|+cvf6xQ-\9j7l`Ne g4Ω[;>P IzQJ%GDHc( z>lZNYdT㬠{l);` Y|϶U^(O yI"h n}Ҋ3Ua lM͊$_3@P;+y6JgҊȑ9G/zGٚf̏9c[T'D~e]syV[g,qMblXN}Ќ8~}[y*2UF־> qўtK+Y~"a,?AV1TR_Tr2~z1ESQn[R.MеT"409Ɲi"cS)msx.35oecC:Qe'wM/bGnSA#`%BLEO%kF:`,Id4:5(0k c>.k {919(|HClG;+7O`_bkˮD_W 8 7][!9NxHFgN !(k9uǫW-*l nK% o&PW5wbX))fV$ۿICR!ct+5c2Ug0c2` ZG 6[ F eTr=&ۯIA/%_]gy(feSK]ԬYJQէ{*7F;닶LIUu< 6Xܔ~e^p@tȵ}ڋ7p'Xb>5UҟyLWUS,aW2Ӱ04w {c_ Өjҩ&?0L :/v'٦(Wϛ}e gӆ]ҾkX X4dqc՗LvȂdJPcYs W=NvWg勣4i.*ߐa5w2dK><66#>ڃ⨼O{B+pԶIɥ4B=ϊeH=,9 c+$.CnqOwp}l?pBs0rTT:bsNb3vN7zUd2LZpB Hӿ.x+5 B3ک0ԓ:Zv?tWG86ˈs}S~~W ڧiBw]eHGwz1 4RҎ 8ptVkZEn]6쭞4S@ojk-'tJt8 ^̞umJSP|c YYBH`l <.+"5ڙ֢̏a7 p0V7'|(zk\>]<4-IZuۿUgYZm ## FOLP-exFOLP-ex.NatPIDE/markup7zXZִF! ] !M젗OFJ9Y/cǛi%żjq "Dx"bb@/zIY4 G);GUd ޖw1wV(_ b+}{f |#7p<{OCE(Cg$pUj -c /RW t(lnt!qԳ7t !J䦳G^Eid>5DAwzNB mS_Xzf%W)Ry*3{1{5=E<2PAcގh+spX*!vFz(E{a*vH;rqMDA62Hg pL\3Bf-ዂEv,CU 컾2K?;/[t,Ś︼ ~FO&9!NFOLP-exFOLP-ex.IntuitionisticPIDE/files~~/src/FOLP/ex/Intuitionistic.thy6%9-FOLP-exFOLP-ex.IntuitionisticPIDE/document_id26$'# Ӱw)Cբ^8ӭf:;4fP']('OXb Id.j Zc맥N=k%2mL3u"zn)OCzMEt,e4 D./GtYkk@NH&;-ʍ=;5ʘAǓ1( /"/xT򸮺Y!M) k_Ÿ-42U0Hb(ݪqע} +'^k&i(bJAźi Al>}`LyFyhڥ;wQ{C ]*M3fIvv])\}̰ƯPgъ_)㊗;ԁ7VJh1l7 oJ/ 6=fzIoJA"u0@P)]g5ud-O"chML=zQ!tD{aSLuE@Ta>QPL,T{A$P^(Pq}6TM~P@ r@3_~&dAXRؠWW&Ldun$0VEnq4.NeM >FꛗhUa,O k#}2_&u.v㧜C<2C^m,r/Orɥ8u \]scގvxLc X7}[w7}+ +aU+*}&﹔0aI2Ǽ[@ݣ//䱙=Gr` Me kg,i#=u $/hNْV:KVU~~ZخQ(l`-.հ!J)ө\/Cd9 [ |E ξ2(˘(8^(f~ko&#*OeV#è*v#qm::?hdwac yP4ׂ8PWBo1igⲠ|*?LW*hrICCQEN1ZܨՎ+jwc|@c8:n %zźq0;u6dOm{f v] "T =;XRNQc!ap #UgYZI{8 _.;-Ҧ$0ootD%c8EJv/_h{t #|'x{Z{GjÁLo;;lm%PXH!o5"4&`X5a7 Vνm{'j XU"!\,pԣI"kn5:o@AJӊgB` Y;#4!\ P5'j)2x?}Gs7 /JRLHvJD'Q8sD ֔ Ӈxw1$E7fk5׿BvU LItIw\֌Ѹ!9),3Ki))pw1",1zo9(2CeE1t&m3O&Ә|3,BAp:`~]a($nBebeWS0t~դ;~=W ivc@(|O%\np+WrNt{\!Pr0t,vVvKD(pVC^,P]G^=EyX^"ف烛5-V54P;|L'K?ylC+v{MvW9y6:bi=pE .M>˲~::i}y& %&RY toΰ (0])VN|_8jZ2 N PD6?l׾s"LY $3G2يcw::ύ{0;9t-V_[tԥ0Jur rpTÄBW6ߜB< 9(GD0 [.zLhsڔ$ 12z%D,;# Z1r -)x}H=fs!)Ȁ5_EӁwÇD^za<|H{?:oKCj_ Y:1-\{dXZߠ& 긎'FJ9Ti{ DB!wǰs|SEqvxrYIWDR>7y?X{)1 ,Ň:IVrQcc&Fd\xDD% i}3[m7kQ9HP×R= as5h, gcJ7<_  ͌H85Sn"Dӭud} 3U^`mK`Z.!ཿnľyY[!V?3WBTӫ]ݤ2m*@eBk)![$7M%>Yt5\l6=y؄!H>] @ Bs><xO΅+/iy[|N,Kn dAϦHpJ~\rq|wf11tvƒ8'BY6 iG%,lZ#>u)(BjoQw/Gܾ7 me| C/A6,A;\m`F8c9< `b6<ڷ1|"g9_9E7QZ-Yq̽ *(_ګ%Q5ZcTxL &NHgV=R܏Н؅9}S;o}hWOz*(nm_83P LXҘDUĄYr jrMg!XF^ )D6FV t G<& f:gg,yPdNJ;Nmz^daAHd/.sv/1t⳺@TMڅ[sk±Ŧ3;eu p;D=JG~tz5<˸{o#eO/)_)Rܙsݱ?幮l+ʺ:72yzH_i@Any9_j DSN(Ni+gsE'r+m,{!֐~%W7 t ĻR-+-)u 2guԯV"PYeW庋v:uO.y8\},=gzQ c[H `%c09ꝙ=C.i4.~nV pzR{OGܤ0Yϖdb9_gk"8$ÔTVvϞ4Y3mG~ U; %X [Z@`К膳U/81Ǚf.?(4VI*D$M.ޚ(wm2klG=)$=VPП ؅S*nUJJI!ZQ=oڱf5$0Dٛi"OhnY6E CVb "ݔ7 (:k5 偲>!@.7pp5n{[2EJ\OG gߒ$ %Xإ~nh f:AB ?:j#?J*%84,7MnkF2?_=6KF &[L@W̗Fϫ*biܪe|ױc7 l1®lX}POapb8T Ê-UP%Ԍw[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狃^.VBzN9/瑪Q $m*La=dlu"(\qڲNW`fwHU|P7z[ jm_ !Q+0j}m[ sx˝rIS6=?Tg_[Vbl`NG⌋]1T]ݱ;0{1bˀ@?PUx{Jw UjMh-EG,EHGޥ0 PNP;GPA%GA7N"A[5%Y!JAH5W Ρad5 sE!{..!O@Y_kEq?؈˔9z, jʷ:۝ǰ*c"2BB?c "I;Y\MLouu]oܕnF)O4xχǏQV" u nO qKfHNy3 IЃ ӿԯ(|a޳&,PȭhVHYqFb8,똒ЫT!P㉮+*M 9CƱCN&KwzjVgSM1B&GQ3~6!K8p=˵X(&Np\@-TG~Λ^p1X,نF+˦FAr5KpléJh'qjQyk0<5W~,錝<'HOzdB5~!gig/e팸GJ3t lOy?!pL+mVE m'5IA 3Z8Hj)cup!a4J>)G%CH((L?MaF} ^'WcyyR28%_g%ߪxαnPFC-r{X,j$SmIڙ+ Γކ/Ր΢Xwݿ匦cTXKz/9̣kDL5h-nDю,t io Q0kAvoqҕ^Z_pk3 FLTJ 2Z1eZ_]nP | j*{Jlz;,bm?v>, "L}>e2QҧQO'[l:un ˏ cON 䴺RLFm{pshPHJ0;HƄڅVڹfX3[CݗdxWDeѬuS,M4\jg?`JQq1#>a ZߏJ- T H}Ŕ?>qVcZNb/-BTDp=+ˋC|DA`a<*(A HY>nX-nji|`e!S yaw9/),9 ɏMazrsMVHUbL͞ H&KUk42+LVo:b{e^ |$ufUwfYp_jTv]Qdfܡ- M*;# DFOLP-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*&' lr1e ^s4 5#Û4)RMӗ4lLhMXVWN+u|ay궚y+sLƝ'5`&jtz;וUq)!2ȏo9D7FfzCW:#G f_4Vy Y}D sХY|HֿwV.dAvx— FIqn.+姡S\Nfǝs߳L,O5%ӡ:=KSME#KIEz˟ٟ#.f 28P(%UI֝*z%A@FsȪwb7JXz[>(e@1Ve/?w~Rg~]_ ۯIMjb6K!m+_qms<ϰ|l?K0 A@,d¡#_)i1PbKBX¡~p~JWBYqv;{!ln[N)ͽ+-rZu紉L\5.AG~`=/MsyaO6WîZ؛з/)W3W=rH+*9R 돃&чB'(>^eOPiߍNSYL4&k7}zu9lCf%.Ygb6N$ucT@dcPBTֲi#- %f 7o恒$hٵu5,đgnGHB&UM wbᚆ4P1f0cv0/b-?x[J@o,:|s )KM%,%I287QmUӞ/В2 @ڐת˽{L=co@j#XIr ~;[x'zlɒ_ƁG :4{)uب]<wQlC-3Ѩ\>ǥ%2=}u`N<ubvG>X36š[|?iPIB.f1K9?ȢpEAv6\FzF32gtev0gHy:G:bgI.#`,[_ب'UZ뤽ΌqvTQ~ Dk{{F3|T3%4B IE 9.885f^}ء :8@O\yD^q |Ubi| Jc9jpq1mjÉDӥx ]ݸ.jYͶmŃ^f.櫇 )a#hYk51WTO[^wB}KnzEF406)~M#:Tbɪo dishh}nj 6mE:^J=B h_hSxhgb6h Ԗmwd9t}Dž-pTQ|epooD L>߲Tňl hNxײ{%Ʉ:d 7o