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  + +RptL ]/ FOLP-ex:threads=4elapsed=3.043cpu=7.016gc=0.1847zXZִF! ]ŗXiɟ  Q]熊k9 8[~Gd>tE)ZPX:L\=;Y4SE5Zy)4: UC*q$) V_8%VSQۖ(r(.2WieqA`kaΠ|! q!YƠOpKd}gYZ7zXZִF! ]ŗXiɟHR,~3OTR2϶+`*UkDe=tՉ ]6Zm?Kd߼/^T   =5k+)RHw.p]Ml:ZbKN|*6:K,#оk8 X\tuAxlb$ui<ݘSBQt3e5:2j(ЪqgX0ivlWɤ 䴺gYZ7zXZִF! I]ŗXi%N Q롨2d I!L[M2Kic r?M̏@@x!ݴf\]i;O-m8Ñf$ktg@TC@ 5$lY^`xsGa OGkY=,y<2n4]Eo jigٖ Wn_n e} {f$81cMjNßLB/tU}rɧњګ^Y0,bا UuPz2A&` %H3sXaש{n΁,AHrЄ}7 ={R&vlgYZbd34d7ce3352ea385425a22de07d6c6ed34ec1d44b079fe610649cd37f98f05ad7c20586ef43ee64 05d37db916c9fce56b35d5775cf94abe2735e043   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>GDn7ƸƚHA $     aR f @ 8Ew "*1#FOLP-exFOLP-ex.FoundationPIDE/markup$!'FOLP-exFOLP-ex.IfPIDE/messages"!#FOLP-exFOLP-ex.IfPIDE/markup%#'FOLP-exFOLP-ex.NatPIDE/messages###FOLP-exFOLP-ex.NatPIDE/markup%'#FOLP-exFOLP-ex.IntroPIDE/markup61;FOLP-exFOLP-ex.Foundationdocument/Foundation.tex)/#FOLP-exFOLP-ex.ClassicalPIDE/markup&!+FOLP-exFOLP-ex.Ifdocument/If.tex(#-FOLP-exFOLP-ex.Natdocument/Nat.tex .9#FOLP-exFOLP-ex.IntuitionisticPIDE/markup ,'1FOLP-exFOLP-ex.Introdocument/Intro.tex /;#FOLP-exFOLP-ex.Quantifiers_ClaPIDE/markup 4/9FOLP-exFOLP-ex.Classicaldocument/Classical.tex /;#FOLP-exFOLP-ex.Quantifiers_IntPIDE/markup>9CFOLP-exFOLP-ex.Intuitionisticdocument/Intuitionistic.tex@;EFOLP-exFOLP-ex.Quantifiers_Cladocument/Quantifiers_Cla.tex1?#FOLP-exFOLP-ex.Propositional_ClaPIDE/markup@;EFOLP-exFOLP-ex.Quantifiers_Intdocument/Quantifiers_Int.tex1?#FOLP-exFOLP-ex.Propositional_IntPIDE/markupD?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  c?# lFOLP-exFOLP-ex.Propositional_ClaPIDE/markup7zXZִF! m] !M젗OFJ9Y/e()Je^JD4uU/5$WKOoZ|>&to/ 4*Ec]wI=r|8bj6ntG~)YfimN3v?6jgoA#÷̑qa@ڃ)UX[|׵$b2[Ri:[!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˱gYZ_?# dFOLP-exFOLP-ex.Propositional_IntPIDE/markup7zXZִF!  l] !M젗OFJ9Y/e()Je^JD@tzl֮aP(Ngk ;< G{&ʐIxT͏Pɛӗ>@KE\wbJv70DعYQ]ЈOl*f~DB14qޜ~X "ppv7aϡ+HsZk+39$])|e$5k~JvI5_)-S]5Y'.<E0vG0$cLH+ lWTFg8cT9)?2 ֤rp G S;1aiA vEypom^Tpn3WBšKxs'4OP|۽ [r16> ,mKдA% ^[olg?u}ALͩ(r2>71E`x=ڸ:uQ_s⬖ܳUPoZQμ~g(,4h.H_쵡JPLkApd431vK0]S4=EbM]gܚ6|RPwul;':ٯ3O_xFj=yLMepJ`1F#5 NgYZ  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 -;# FOLP-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]gԩ̥[kmp%ְJ.;!ZQc;- C+"kz&\ig:b V~2\b64YjM;B1> :6U$r(<>I2VEؑcz )AK%Tr|pO`rTW.H(Zs,p'uT&wkdZ+MO9p @ٶt~M^O[W]f`Ue!c3aDLzM)5C/ o%$֍qv)VOJ󭅬S衣9z" Sj Ph@OAs"99t*`>3N[M<_$h! IƮ2g2}Ь#3/u*%췦* 8Qڀ,"-`?Ҝ$#:A֐ߛH=$l_Az6]('|\ZnU;옱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 N;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{(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\XTcͪ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 ޘ<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^]Yzb jcKHIl)SOT)&#S>f :( XqUBӘ`#)-G<.7F8sN{ ]ϙҎM'ܡcꔧQU6b̶cU%b."S ˳;{{n3ny:5fڪL"QymJB[X- GH'௙l@}ZuF^ڵ?pO~Zxam i6i;[kx6!P8 N׋ Đ ~qfDOLߞ^PeXmLюϧC.=e"}k*dZX)ZY),VS`ЉsƂFP {1}h|9fR"K0CJ€Q0Zضm;XnAi P~Cց d`&U3+؞C1o*Y'9gڢw_[* ~⣈^Ftl%ě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[ ^DZgYZ6 #- $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 O/# TFOLP-exFOLP-ex.ClassicalPIDE/markup7zXZִF! &] !M젗OFJ9Y/Z8.y;M7QTއ*Mic~楸0 rWUiM2>=h@݅baZF1oqx_RVRmȿ-}$-SwS1zU;=[:ysV6}m aA A8 ;#W+D@R.Ul)rm|= \20}]|ҁתIEȻpLڑ >xq(;Gm~Qd#{ItIz@_|i;''WJ|VTl~O:e$!,''$.k$ȪZ)$2mRDIx;zϱáh")]?$ loY |h,P"OsÕugGNxI]+TLSY:L%*HN~>P,&4 g3Sddu;̶Bg xN”&e*'Usx,&Fqp(Sړt3Z6)K`לG_C|XF.d)^'d{Jd-?|'ǭUՏ}On|P%b̜-̓wE {e֬DGei'/!8R3N7 _[{<6N|=r/01QOPNJEk;:<1% [z6?󱮭g_x.UNMuyȃEx*9!+j;P FTXu3;3C \NʝP\[LHZ "OPm~}ZJ7/y4>|diA8,}J8ɂADgj_ Jw)wk jpǾ[U-7%jigͻ]mFBf,P ޥ7%ә2Bk͛4@;kv+vޞ+N:˂e|eBRvHfkh+-Kp ޳">:hS,Ax3i *Mw(ɹG 2AA)0%+.:6FIGN_P] E=5.ZS`=6Zϫ`ae/HN=bƜ*[Q~fz_{\`qrN; $ *?g V˳z1;GKpW+I87Ȅ˛y]rm7+C 2Vωϼl-o}c黹7vA 4X\frLI|G E34 *ީG}@JK@WQʼt tbwfaK+7oƊ֥>1E7v”aXӻ?a 0=V `MI嘬;&Yq=Y4F|eCiCZ MjIzbqeсj $t81t$L.'ZDȒmMNo}J ޵' A*"#·E[9$Mn7.P( lf >&5vRվPs) ̽#}^޸ڃ!hR W!fp"=8FaB>PԔ,])P<Џ b9qniy|=٧݃SkG4[-R^h7çq[AƓ+g)9 .TVo^Ef=vT0p]:"zǧH㖇=ne{{RE`$2[> Uc.L[o㽆gs4'w&)}кb7zL"e O/|A2J14J-t"ry!~1WJ$ 3)妼,4+7? }2ҭbਫ>Pm:E#H{ ^R m~[_ Ll}]hRrEqnv ;+sZX w!~e] GY),QTG{j4Lq/ۤ]mh$\å+¦ВȌSkVM̶mP#D}m ͌KY_KjxɱgYZx1; 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@TdgYZ  (J\!# |FOLP-exFOLP-ex.IfPIDE/markup7zXZִF! ]:F.k%^{x<cijLCܞ}K^UNBv0cpPon %P/ "`OB|=R"Gx|qIc">QP; 13+2,.^TNg Zʴ }rزCGj}6Rp%MW9x8բ (VƑTpbfs]W_%*^ح~&R> 9} +3nptv%Q[VϮ錆)/%JhYQc-M< kF`9M<"/1d'> E/v/ u6ENR}DjIJ%&姐AM2k=$!W_KqG"J Q\2c_s?6&"z{/j} 2f:x!bo$#c͠^  gYZ[#' tFOLP-exFOLP-ex.NatPIDE/messages7zXZִF! r]·Iq n[:|&[z?v4Dp'W6yV"UUI2_0U|0ɭ (6/v $Yk7Gju&o kbv[>(ֺPAVj{un]q+5^# !U>%UHtxWYn= ǩ" ciK'45"?qd:i֠E+ɥoO;*/4^a.Aov~<҅ECǾ8ڐ"a]!npj\DtIr8j¼ZCL]+8 RI?m]{ QA1lzU QNE2O3T,i4_Wׅ|9mқBJ4?V=-;cG%eJDxʺ=Rα%+VtyMl/@&h-$!t¦#jS(]6iQ/,t 锷mM3tcqhO =-w6$tQ֏ߎ⒀I6*+4a\%:q){ KDBej:B:'V 4ȿ?fr!toľY3kwؤ"^N4-aT/*3^7C=n%" KhjaI'm {%$4"L4lZ֬xQ r18ɔ Qeӫ#_[aQ8o}SEM2|Ve 5c&c 4Iql pcf%ƙ"[v/v>@wdg" :D#Tsk/|g4Ut yg}4 ;8P+ #|֖>&]4=771[>A7*2|bN 4yN,QY+Mb+9REI&^ȓ \t#Sg/}<bO%\z p^ s{X L+{U i.Uj@YN˲q#Y29/xэ,$ľe (; T/2/9&=U p-[z gqNP=L#CoEW 2L[׮6$⛀!l)*9; fvX. (jx ?玆BilI o!Sv.ĵNasz+9mryI'{T:(|m$jjbR?|)Bx#a{"_(*^:@di2 D ,myH^ ~c#Q/u*%+* 6dj)GW;kI)^͇Y܃{]϶X)-sc>yU)\L 7utz=z:mbVOJNBM+?`CM.y5D>Z0{ .z:: NMۿqgYZU## lFOLP-exFOLP-ex.NatPIDE/markup7zXZִF! o] !M젗OFJ9Y/cǛi%żjq "Dx"bb@/zIY4 G);GUd ޖw1wV(_ b+}{f }9s7=Ȋ(޳B:Hc?h asl}` 5}x01vYi5GR/ܽf+r* ߣ?O˔6(|A`]K5\>ͳ-$iO9n+R>.0Z |[/1+1$TNfn/`2Z nS ߨ aF"Z5pe("kr6SLv{ jry)f~=Ь#=6(VnxF~wPOM-YqIxˮa~t%s؉]eU=3+M;f Z m6۬ ,s~eW3VʗuNRAIͳ(>ڽe ~'1UeR{P3Zމ^N](MG,|>@G,+zƘca k0Ci"̉Ws)X 8QοDtTznu0 lEZ{A7GBX'n휏LD2b,F`Q$] }m@bn9e,v\q"ئz]KxP5h0ۂstiXNdWYH)<ļTLjlcr2]jRW|#pL7bXP]4[Q4C6It)0H&ޠp.tO758PО൬~ߊyp9EkX _4nXRB#RY$PI{'ЏUh(˪*;=a/I8ˤHe%u{ bWaGk鳔.`3 <~\b5~G(zas;wG Bi_jWQi'i C?uD݈z|9j5x8id6N2$xaF?CoM/Hi:`M ɤ(|-M&=Q/~LG") ͏D[*SuQE8(?s;UUf`-d`u>0С—VSΡĥFg{ '׶KL|0#zFj:tQ5WW?ʆ7F4URUJ ²t,bE3UOw}|' ^^gYZN!' \FOLP-exFOLP-ex.IfPIDE/messages7zXZִF! ]·Iq n[:|&[zԪƕW7!NK4;׹b_4%d9>+{4G,E(ШT)赮3d{zewhS |r{ǎꤱG-YxxWP8>^jPO. #l9dH3V#vj< 0;+ꚡ pP^~,cc?oєȾynd8Yp7~I1z{U-2lScRp8-r]7;讼*gߍ v,Lƚ=DIf>}w +ŠI@~<|e?-& H@1e|oIM^lَLW,$v4Rul4sY0l|$>|tE }*V!,raH%pǂ:)9Gƌ2r8S6NAͮAGͯȘ ߤ9' daHn.\1݈ctx)?[tT#R(xc<-Q'n ʧa2wGb':|2yrOEESGC$sG,`+:@a2]7^]Eŧrn *|+R<.09Ȩc;_Uxl;s:Y!#ywQYe# gVA*xiǢ{Nާ%AtO# QTV_]]"cvY`IeB 5}8}IcQJ>~W*LR1kz{+N_aPvPl m}!awԪGQPnRu~hFd:ٮ=4\t$zD@%"[_Z"u] w@ZhFo`y|=Q=ʲ&\}l$z Epo0\U@% xG8:kXy4C7s