SQLite format 3@  .;  B --?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  c cuCD4T ] Iptables_Semantics_Examples:threads=4elapsed=346.989cpu=1324.708gc=111.128factor=3.827zXZִF! .]ŗXiɟd)&]hR&7>!1xf2#K-06Bt,X H R.2ty70n!.=ۍ&Z 2BAw+Y!9,`:~kCt2߂\RK6 Y8E7cۏhB7Y6F) 9Q4_yp D[?p+#' Y6Mˤ$&<e 21ϛMTntWlBago/K:5HAKjZsn»P?Wm{#`䛜a.ڒOm+B\7{KP%FlO7hP4k)k ԦUȬ?1QV.ԥ' 'Q#6rMRVE'f%ٿ1B8c薐%e9>PrbpQ63c!П7#\htabtE n ?p) ƃ̥)b\%x4K:eҩL< kI@|0B<_P[3G|"gq ݳ9g@.ic~JƄdp&#墷z5oMbViw꼷Ky~I:vOjT TRIK!)^8R׹9h[_24u |Z~+ϕ]} K Ā% k2`:@\^1XA<%ԞۦgD72$]]'uz(s+yҗkӲvRʯӟG8wšV %Nytܢ~44AYZݣm cz,ؗ2?Һ%>nIc]ӂڼ1baO51NW)m4R٤u/Y]^j~Z v6B[0Z8ԣm. MA^-M//3b) 0چѫi:vq$>(!,Xg#ZD J&cV{ b7MbB2Ge1p3q(}(#;^.K&)( muH}<ݭlt͋Ocx֞nܘ~`4WA邆sdWDhBX윀!e識2|%S#[9[Qb=bH wUg!δZTeXaD[&(ܨ^pfڥݷr.Ib\8|(8Nx_.8Lz2(բASz5.]UhPpaTo3T{_/_oFC xG%b@[\ 9-8f7fzxYku]M27J";7/}x[ cÛHU(TaՅ!޲JD;BLp:wǎ0MtAU6_dJ%+ !t2h]Y| )YY \!P_,Db BN['!7=0vqxqMZ(5\3]FE>EjδhjTSc+"1:hp]ޥīD]nu.8}4^?1j =Jj׫ϲQ_ӬvfKS-a޴it́@Rކ?*@/e!dJRyȺT#TԠeڏOxyAtKsWqeA P"8rw,-0|uJ҄yn_UHקּ}@UGm < ە5kуիYDz9p _P5ힷՍ.Rj h ToWH,yS'}̷螯|1b,OQ<ԄDJ:,#U@2PFA{OX~ 5(Թ,=^nc ^ӻ ^lEtYO<Dւdv'+}(D󽇚%;"qm0'9߹(e]^3{ڈ4IlY=O]hĈ͔0ko(LFo`070xOn_fu#VMi*)hkc~'no,ٗ8La]zt9}S͐jɾFmኑ4Fgӟ;kP`]?|%J+"ZY팃x#}Q0rg?gWV[Yt _L!+kv"oʝxu޲8r JeH?j To-n\4iV389_GkBؓB.paؗrRdwHGf=l()xa,H]>hr)}oŻ`!!W6zCXiƱWo;+uϲ4pɝs5y7z1[Z.ǂ=LNz#N]i A xEmSL !ɝ^ځ?J8 s#܉122]d1Yfjpթ#U-TB4/fS0dǣ?;:V e%`)'jiX f6u{#ogs:3b9 j͟{Fw!9Dtbo۲ ɞ6%tG˚ًƒ6ދl BFExtzxZ4 i"üv\{VxTh$Ж4J.'=|_k_c$(3#*"/-y3v!Giq<١me-#s\W̩Q!w JIئ"r;H U=wˢpz>v ͖N~K 'FDxuE:,! :k/cw tfnBtf v"r[ \x.~sĐe&i5ޑNr,Z]s)֋ciK߸;BI-}SCd|?LeqȲNJګf5l"DNm1jm,U8K7d^^ ĩuf1[5:mxC4]DITVW"WmcஒhuOdrRFxbvoaVEw\{NĪI:^DA s,Sx(% -`] [$Sv%|:>Ȝ~"o2$xƒwy{b ]@P'? _b*$Sws7Cf*&IJAHnǁjG4\ ݖ5H팔]]8G),+x%q[RTkiC7N #SLMi9Z@yH@iFج/KcP ډzTzd6}{7ҥ;"7Y^bFֈQ=C?- q{#}i< 4>3Gb䠩uOV.gwETG teD鄡9yVվj"X63Y VE&x!t!G܃쫄KlQдPtT4] kiѹ]Gz/xLt{N7gYZ7zXZִF! ]ŗXiɟX?' 108vRLmVNT} ]i(gUqGTs&VC꒓2B:|~ᇭE&K2~ F̵P^2z=qz^,ftEQE'7,r+lgC覍/0~/rw/ S𻒉HJϛ #gYZ7zXZִF! 3d]ŗXi%L!l2t3rᮁ nʈ&T߽}&* >%B3d&Z5lOt|@Fw7yta}/ׂOCz6m&ӡR$]m14=xKKFQTk59 lI1hu7c]RHD<<:{7cRcf+CO'#j(/r231ٛA"Z^Ib;g?ӊ߂ FeBUo,X3Ha2m*2iGKW!u3xjd"asKcW(S-w^^Xbu,eU1j/לjfs Ԅ 9}Lᶹeck}j(bƱcD-Z]M2&;xw7S{s!R !? 8 V*Xjp2XM5_VWiF*Rx?l]](K!ټ= TG02K#&:[c. ]2Kbdϡ>Ȧ~pŪ0E6A6TeKgZzoM7Sz;gQ3%9K3V$q /xskc>*Q5f(x͖ě*yr5VD#;8IX.d3%E< Km T>5Ar_5B:Ftd|0 +ts~pKd WP (a?=ﲽsW Hf߁MSƂ1|ܘ3b 8o>TWb8fg-yEb܉ $ؕ H%-C siDX5Œ+zjN3} |4?F1S(U59L`ʺp\@8, ó/6jefv+5x QRNd\  *ЀyU(6+$.0u>5]Mi6YΚ$~A}=CvEXU[+ƑUbysH%x*^ߗ&v0%u $(41M@8H7(~84޼2( ;c7.I4݃d~$ΔȡpNfY|~rώ'W3t糳&O_jC$:GJ ZØQO.;d!%`Tiwg )2 UX}b}9<̬["4출uGEl \^u^YAgF[k>q*9`9cs^ ?Jcew+‚:'ȆH_t#,3ۗ E_cn=9UL^FV Ogͻ$ĹC<^p_z?'9AeʷJ{xS.*{gST7*̾9yHjb#4AIKr>.L!GQ(B;M0~fzjJjqȘrv;hZg]`ͽÜ{Sz9rv #-q<;%6s}aW#JN/Wxo?PTv=%>a#5ЭAmmĉd#g~|1"Al':rݣNhsH~2 8wf*d,0vuŀ Llvz`!_APowz=>G\j:[<\\i%[HuI ʉǒ\ג&|,BvQX jKQЏ5`N-8D~KƦ t^{ s:]FG-TvQlg J R ?b#:AɜolwFi6߶4N#͛AY> ~F)A (ovW3ZRe&s\#P扳? ر)J5Ɠ"B~XA1wܣAJ[߸qݓDZL s_ mZ@4 Q0q_&%4.s@g 4TWh0]Q2owh} VwCVi,[h@+ZDmzVyՠ=e/[YRW=a'`]BheT{ $O.PHv-IU>aGHeO5f. q>XJ#Цb_&ƵZ- 9lS$hVlE%SyuOo2G'lSs;U;`~uT/׽5tG6X{ r흹NȃvʹVyaZ1Drox 6 / G!EuHW$48RevNg#h+e]e,JYKԺ s>S|jw3A^ÜK'B6W-^- ]WD6տp`ur2LҐώOES5T?Gq*DbZ"Q7ai{]uі b."Ҏ}̔6w9f5$M-u.?+Z2;-_"| / C6j܉ULTDŽ8qȐ2ƌj4E"7(2_IEq]I|z*,ZvklWhL"/@4<[b\SgrA Al\rcs(1[281aJ(N^1S{,G+W[iQSIig207Dp,?A顂ϚVScҜ3#aUJa=Ub~p.ܵ$,Dtua9Ԥl"XZrѷR*@it 'HYu= EÒP-_{,QP~ƙb5 g̶+\D$[ ,zN{XNU/}SuAQW{~W?S)RpDdyBN^-ʎ_Z2]jeD\5 :NY^9"bnwrH02d&z pvb3%ʘ(LtIBPٕgJZNŔJX4V.eV_[U#Ϋ'V;E7UDOcKxm+?p5h6!\X1%L@ #MQ&\ r@dboNs. 0,RZ7oiK^ B¶ˁ{Ƿ|ˉr󚄷!G WvV xIQ /SKA%;"|n1;v~[yC5za8C|e0EZ<s)b-D2Vd`1M*džG6 8;zd1|3&2@yM?cUklJ< $=O?dY5 ωR/UEc$}ڔ<.Tȋz,m/ȹQŅ+p/ik1o3_QK,ӺCwPM.9Mޙ4erFT3xs 2{_\]yRtEbޚgO t c"QuTa@'Xc8LGn3OCk]V*Ob^rR_/ Ta^uf(ͽhU&a |>=W5)&~S1]~)ˆ QYO~cTc,ȰgʗAn P7f}G4Ad μ(Ym n +$ky%;*REw_-Lf1VYoZ:ZK1V{k+yMxH;M>ӏzɠ%/Q Y&W#!I$*#9n,nYJ)4ײa8:i 5}d?+ӻ,Z?$f$ѱyH)!I.PLYz&^zN,hBϷLNxŋu/ Z>tQ;-f=# xewM)}{QCP-DFsDgi+84=(89 $e~xY2Mov]oSt*֞׸gc[v -[T#T2A4dٴeˍn;Tn[<ω}ݔ~=תeBz2(^*^^7@@1O i8wPB$'Aյp?Y hAzb>K`ۇ¶,,>]$skRJ~|0\LDڱiIcx+,JFg$+4/$݁kgWk&1*E_щ*e ۮWlQ#wǣC;LOnQ}QVt dYԚ%Hbawg.+#T;)̽_9FDMuBsgq5ekZI ?D6NGx/(]DU"\sU08=bZLNF F7rG7fOfdoFP?gro'{#һΜJ4xms[}s+VT0ۆF4;oOk&dqVًƒ Jqvr9aˎ1 ƅѫVj'I,5cл OO+ݹ_-}24=nz?A@2fz8~ Vks- U=K%<5 vVlڡ3*6m-d i<yؔٮInˠi$7o 1=hH@}giNZ#o]ImKϸ,FK SnyQϞ_9өjcc;9#)e㈑%$f%4(*u0Y6cIsW}.9dWwK+\8&2S֔ H$Z_";eao]dI;d15v1pWd^{ݶBV0k z^y _ f:Ȑ] F/DzFDn`9b 2|Tt2@{jETX 9h2cB8| }Ef]m98 ymDfj~ػbM2.#+ YWńr31~DoFS̪D (- kpi4}4QQ$<;]uh|ڡc<YቘwZ`c4h FόV[_Y%2 S1]ҺL*⨳SN {Ӹd:Y#QR0y 4HV*5jPXչiXp"ĿF(Ihm3%,S3DoM! %G2Q? c,&)JC,KDmh3^\l(-`ym!GwCC`%=S┒LI}RO"ۓ.76|~t-_(֪%AK.B5Z$=m[BK`T#_ PTP'#6}e^?0IP\t%+p8ܽtxxJ3l!E @ _YmXE,V_Վf> Wǁ;FOQi]15<r-ccޚ+Fk0ſ7sգ*-ޏ>zoK\ShD1{BZ4g{`4p=A6Ȯ6A2sNe[ iMCҎ?ϛê5#~0mt-m-Oh.,W*Ljf̭=RBlQ!H@4#/R~^lnV GQp9aqe.t0I{$lfp#]ŪIqa%d_)M{+LjZe!~/+c¾Y ` EW5S'6m?[c&(%Y5EF1ζXdɌ ϔFR!.J?13X4X}[M}ʕDYniOd߀YweIjs1ZG]%ц_-Jy uz%y}E,$ s-y x q )0t$ށRJ_B6'Ig;#nzg^?:[ -fO[ʕ5~I tm2 [;L2)bv0 s_и>o2Kh=,Y@u8'?J9 XK}oҕī.RtEF=s X iI pޡ>֯bPFR^%١c;w&)1bG /S2њsKCUMsAP#jcY1ZzDRCf7eݛӋd Gdy =lD M])Wȗ'@v689F򔜔Nss/PzVDN0%s06DLo͏+Pa:B~&I}ΜwɬѦ(uަ qLH4a{QD;KpQ:5Z>y"OiǶ԰|1r{Gcjp$pzNժPq (WG\-b_,p,\G M=@MɀRF\S-/O'SzZpaZGHȵaAϭe p.Z#uwrC;$P,Y7-U`LsBϜV.Q-#m%A.L!90,Ev3sku䛡ns[ .9y蜔/hm(0ӓV}>b65cƂųө) 'V'W,%NU;4Q_coc2 .*825V*ί~f::~&CfQ\^G{- V]&T-gŮtY@G1Az˲3M[tY_~U\4tSpEYx'uD4)^\AKCTm=(mw[$P7 V/u+"\>b, ^':]E$W6b6j:Ic%}rbIwvkLN["=t$R] 5^[]ہ zL@`u̽4##C? >Μf8JZp`)Rݵee8m}rgg"0Fh~؜N`<|>Xx_IgjOTZoT $>SP$jX֠(Kj9^ISѮ>R c_A4J.jKԕq =Bױ"h̗JAR6dK<>;~`q]}NƲi ˁbm|T#aXW`9B/fw)ѧmq~7#y;6_f .{!i^mE#hCsF^>B9ޝT5 ?GK$FToVϗZzDD, t0(Q^*@.Pֻ*9< %Kr %6F?H`#KMyKFх NK 雈2XT(#ىOr[-ESyت["#41JNq!Nso{l'x)2fE l_JgM;qgR`YVы -a50xiUx )QuhBCPFg)5Pl4\N'ҴS0Á-Vr0j2r|i..CǕ?Fi0k)5-,QIW&#X%`\;3yCZNXLmBNs_ KŋFx 'C/lތ q~dzL)/ _Q/[/׍\va۶iL<̠O1](8|@ưqJܛrm`tP- lDe3 vwDIXfc뇜n)j,C&*)VyOu*PVIr(39_ѳ:z+-h^ʟ/dN-*Y9&I:)!vL3hikxSq%{^G)7[EPۿr|ziAy~o)3ψJd=CڍB j6l=z`pϞyʗK~΅Wj0[\i]~NQF)X[Q A8 CJs%#E$|6Q'Y9/vƖaOYMGK|Pq교DA4"#Z@ww;cM- 8щOeǍAJ4׆_yU 2zV4VO&H* 55 "$Y1GR!;,{[C7-v9ʛK)^,Bݬ3@ߚѳ ˛0`n7rgցH4]Zezkgyo"b"FS6HFy f,0,s/=R'|܈doC`<.:`HSq) 49{QME,AoU.OQ F@CNRBd 6R3}a i AS2!%dXM|Do@pmz. *$jb =꫒ŮZ{SdvW-{w/|Z6xB|xWIT>@hԞc~D՟RHIdR~4X&<~`坻[HQ [a$Lc$5IyTu%ɏERШxe$+PxJ;.9iMbopݟXf*jp` fg ޏKy}_40I2֛.ѓHPvG4ϫ\"B-!lL_k Z8Ajh'`6٩=2E;V|nݓ7?wࡄdpr"+1;_kUprJYmR٠co=aى;k.ɏR4c;<5kg[/<s;1 >ˈ *R5RQЏTZ&1RWI&4:?ElAdڿ?ad JCz>+q:%>(%}H3& xP %̀=ׇy D ~Ypd'jk)̞M :YK8 A? |g͟K;+2L/uɬ;=F;1iDſIF/7Tc) [~EUF81P~7Qr "rNlEc9ķp vF)(NeD袺9ߒı1xA%,>K&Z1;$<[&M imf=|{'|LF}xM'4NmWKvIRCm/{;c0#?~A~uw"I}u`˱>( vz vbx0d]ոL)=W ;>U@DH"węAP|cO*[a O0Fb/T 7,"+5XDjQbc,/xdT.T A< LJXALQoÈHҿr$Gl|(Iүj UiBw|E_ڑK'|HXa VBF{m(:-qmEdP6=<6<1i":T/bF= eC?wu^2C p%A`a?4,Mm. Y9mֵ0⭴\iQ0Yt \^PK?v"e&"2uU״xAJ򴑔Hh#$GBUje.g'o6!ὀH1T|ݯHdqAuNb)TAEhc;_Ơ%VG?F đ:+UA+GY`zxTLqY,@E;U-Go]X54Nhxکy6J8&&L= u#V="dT2,_ls,^H;;n} 1A -&1 |e 8PpY5Td ]K$*)D6$%9kx&ܿaJy_ osr)91`Rb)fEMٱ7* E>7/xn%hX{ }i̓{~ F#V^m"ݽ3R̝%/ tjZWIIh'7(aͪ\KGXNWv|BBo2ևP \.97}TE9'W6pZA2+o}pZ@68{Wb&cCS: O*YFz~sA2leΖ"9{B lSVPwao efMۂ-^l1Ț7,=H ky``&:EI_s|U"r̎bTQ V.elK4}SYǰM W _ޝ=!ZZK@іЂxGEW ۊXڨBć:Ru/Lm#%-Xݍx#)'+MTr/KC-1ɷc{U>b-OA+Yrݞףœ(aK=Cw*F-t(O.g)=h%Ç*u 6O\‡Q'%Q8NkoZg,ƶfoF(VVaeۉ4+)ZTEC\V mËԪg|ny}RM ~ d򔽮i4ؤ-S^ZleC9Ќe-ON*6hVrX#"2ۓXadܙk;||a)qɗep`h5B; +a"C%M5j'}';-FTNlmI4rSl? :=PߒroDg4qA92cx_0N`$Qj89P;8Pf[>F=5S9y9؉~8Uy+oC?R{t-F$`. . KG30ZiI1Kspb[wKѲ:4{7v/FQQd=C{:FGo<ջr>B˞m|@ywL9mLLB?]ibٺ$0D[6Cp~X#q_*,ď}~f=[E#@wr 9c*&Mb-A9}> Q /'RhW΅{LwYsC %Pëp=񖾪h]Ywڴ|ObKU ƃ1f fؤ_h>9*$h#9g\ QEJr: ||nO O#G-LmR<| @d2v⧸0yh|YspABIo^v,n:Z?6#v?EB8[z[1O S]?=T( ,PY ջP*:&TlC݁vAj8mlK)ËJZz+"ajSjpUWnӛ #iyq0/M5՘D]?Mpn8(YXF^!BBG!"h.ۜrM*|}a1܌`tK⌌R~㴮&-̇i6fR=|BDYbSRP^F6; ƛ dP%C)- {T1>^!6VT~.y9p׳p7k~7o7sWT$uoVY 5V/ؕO#AwżPx_EǗ 217_nf9JGOO) v9 0| ј[o'mgI ^bFYnH|+ÏxBћ1D= hWI8˶w\Ru'pTVHT侊cP}6ro6&GԙqT vL7K)FL2B'x&`qtKQ_Bj?{apA<"EeXxyE|~F=cbS+&G~cVsQ=N@*(p]Β+A«4#LSioAuλtK eTrx&13i8(hRSdwO| `2 vxpo.ybk Sp]wGTrl(iE?nh]IBǃO0=,`l`O"<C# ~b+ {x3@/n,F1 I[É4?$<"ӊFHozlg([[sQ}.IW!^]˯ &Z]ު#0=QZ~`Xrk6=<>T*iO^/KPqNKS>Cѯg$/ 3^C'2kԛz, kl$4lU@.웠9!NDM茷Œ 06c8՚@&Ĩߖ Geu,tg4iԾ+` h‡ޣbZzY?!qתgCLtb`,ZȻh+:۞pW.Ւʏv0DFH%߹eFY};'ڟE-Â[kz: 5>__br`biJn#xN3^52:Wz=H>]2x{,`WP:nCX'2wgĖ_nl- Z@yt͔avLj͇3(t ^DG!(XN_R䛴9;dEZXBU4J&rp>C}g07/ v&C{t9Ș _ d1DXO/e& DSDrvƆЏ-6KDtJGuIlQ#iaGR14<2Tj~!+01G>e= +l"b/$dNFR8A;Ic4|B'Q*y' @ɿ˧i4l63m<sCj/ xϕHQLd,A%'\Y5y\`_dCHQe1܌[G9}g~?O}J0le:e";43qitEvjc<92 EޓnͿGG@,)[AQP=2BAr6IR? U9\39[nzi^A3PQ%[+Ba\`^[: Lg5`%j:+UE960%XƦ-PvF\H46[\BSU%q*0Т 2~l\𮞻wM}{ϯ]A\"PK"M-vsIĵ-x뷷2miޏÇ= ƣr GO@521#0M"'t`&O&gkTgƷXhP# N v͖]?*BgAAcގw\r^vDsj-7rX QEPQ8dN "؈M8,97>.ۯDԢ 9)C̛|}$ї$w)G O}ݶy_Wޞ$s#?'6F|ѩDĄEA538CȕI%po$T];1=Kv"is 6duohd ;y@Di`V}B>@O欲Ď=^rn_NTrNFcݞ%PBڟ:~Y ៅ.@%3'vo v'U"9Qוa[Y3]("lDa8Ir+pQ${=0>Qwk--{ vۇ emP }L œfXWDzk; m*-ye}nAJ^r‡VL39QdixfYӌvCﳣ3Pn!y AuX5a\+:bqDS8-ZnŎg ]KaB^q ~Uj"kwz,mM!gcg+ghv&gsF/da<=)F V%hgOXo' XPqTv.u'y5UUHnT}A#-dnu?o9ӆ#+\:Za"Y=?ם9ە-"1KR4so~ Lo6 i  2jGՁ'w)pʀY+곯Sl,{9#/;y`ֵo3I"͸SZwۖ^ex:^>E-/Ճ>`/"U*JvEBAplU궇;&R—7wv״{Wsv'3"kLtV6d #KN0ꫴ= oZdbFE Ƅd< ?{\Q,"YsHٰ_zhoxDVvp6dg jzJ;I[߯@8kQcMAr0@MŸ񄥑~hwvGFqv(rKiQkq4ZGW5 BV:\iD 89H;fTH W־mw0%R?FPs7hC|~ױ6"/t|N&hx*yc/%Rg[Bh9걿QYP>.e,9hQ.xz=<<3vڇpATav' JdiȀeˆh?>MN,#@&Qc{^۬ ϭX3^7nY{ͨHҍV|*=f&)^,=lm_ܠA3(r^융*_Kl:4y@87̾ 6̜H/m> T-WʩPx  uAE"~LF&J)W6P0VXOs5d1wb oV 7Sl]G`;9U86K :WE\M׎ Odn>ׂ8)wbiښ 5_4}CG}G VSP`l]kmBU.9tl0NzR[%/d.-/P0E{hEѺĩ SZr)=ǘYK`$Ĕ+J3i;S}XfBbi\{L%N\ID xoI*,Z*أ 'HdY*wDw7e.5/f' }nq)(^zk%Hgd|mH=!(\! ^ziƭң7~ ""Q;cd0¥REYbek^)NԩŽ;$mG5h]dA;1]CD[i0I&Kю6?(hoyF""?EGܓM#d.ZXg.t.Ֆ{:+J:y48Igk8˛ø Jr.P'U +kߥfq9iLlMy4G9yEDv|+5}b] pO{럐C>_ӊgHۮM_IAySxfM|%,A"&dӯg`pv nJ-y녹y|nؔc=nP+r%7"8Bpl, x=#XZd{Fe Rf ~@cYlqvG/*Ko* u֎|Čwf<;mBHsrZŢpw]2 &F7ZX7 ts;a113hw#*㞯%ti&y-i mfSz!X@?2.jQn\ ^[m K5H˨%XۧK]S-?eײR8I#Dum( kL@v3E[92nKd`f28X>N)}%m߷#-y@^hm.źT%B~Nl~G )k2I-/uۍcE`4^PcIY"hj+ZN֕aPӐ̃`6 .p IUz㯂џb͟gHtf 7&}|ZR#oqueL=aɑO J)3 ¸:tT) d*`H+FV^\*cW4摤@kӠBN|ɚczN"f,яEJf/ n'la̩mfHP ܹ9s@ƝAY++ gK\)yqԟmҟ Bqn͘+G q5ɱw[o!ҽd M~_H2+9ƘG{}9 [JiSݱ#Ի[8w2DzZVV mT5{됏YMԴgѰ]G?([)p'S1e+u2