SQLite format 3@ .0:  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 qC,\< ] Iptables_Semantics_Examples:threads=4elapsed=461.966cpu=1765.336gc=137.352factor=3.827zXZִF! dJN]ŗXf[&~$7 31WkgMB^w|)V-U"!{YNx3`ǽ.1Pd6|W ꑹj"ِK d]<GSζ$KŠJ4 E%! x QDtIau@r(L!3HMH(

$j =ܻG!$I&*/#\3~XO&0Y+{vGF ʦ}|FMk;6LHL:x]ޮ0LFJ9MΎ$1upar?}<gUU DuxY`g{CɄÉ^&95v{d}y/kdCB7mAUo{_~p ;l&zq2YRU j=K ' 4n ៅrX ^0ɸ[o)KB}r+hz+-]x&](y}R2xא"+vsTSFll /N2qOc&;RC{ "g:5ܠڶ\֡gIjd`,_tWkqzq&xUfZYo$2Y@޻zB8bX=8m1lڣ3e1" ~ӰUYt; #7MVGg@M!z;3Tf*n}F1{c6܁L{Kw2ɝT吣c:[g94<˾٤7CXL F/Ti ?$1u8SQIU^=M0X@i%D I q8"N\C~W1n˪ه9YCaH7͑H8S%\c`o'_D`ƫ}eT\Z-3 Dꆠ$Ygu|f#CYmӫ>tpMvl"QDuqe&]럹+Gov Iw5|i1"xhY- O S-U'&Ou)<8aiFqTa-}՜9 &>H AŸv S^/ T@x_u!H#A#ZwPgE|Fw+{*?DkrC$-ڃC"C$Bh(.Ws%99#2 SܭK$g%j:y{7q,10 Zw x*VS8/[n[\wE{KcP)c->n[8sP^8Z4Y{bbGsE4]3gYZ7zXZִF! ]ŗXiɟX?' 108vRLmVNT} ]i(Բ#?"bL<D NӔ5?6`x tw&ˑ NVRP+JTюs+^Yv`s6ΐƎ`>H=Ց*wA40@/$l C )q4fxjj+zKOΣ w扵ALOf k tΑ {A2+k6#dx*+Bks`砐מ;9؈3iaBp[>7\.bzt[Z/E$$ֽ-Ǎ-eZDH &H'}2Am[Yb ,a10xU|@gǃCs.":eTQ&6r`n֝9almr]ə·&o^X׿^ӘH6I]_qGqx I\)t Rda{dI䯖Q`N&iG+?^B{G%T_mΟ@Nڸ| pHjFDU0{\.6&#nc5=jM`%ڜ?fV}cnה]AD$~ų79] L8b^g>oءlKBpax8~O鄂#嬈𕑮Zܙ"9Hv6#2X  ,,E!;B UZu4I-BI6C:j'HSC%l[?J?c-~߮_hmGlArK=x86֥u"$Ӯ+Ec. s>fzid{XȊ+A;*+㜦 t@Դg>smB˥+m7jĺIͮG]DyS2c{:گ c `^&VD*[q*ҩV{өgms[^.TAIE{JchWo_^D͂>ր#HPw;̂$y--k?݉ YZEˑ>!@yi >Exl&l6J<' ~AA-34=4z ex*:rMur†p$0!Bϊ;"4ՓN"7F`]!ǂKou!kڰN5p+y:*^ I'!h Z; MՊaբΔfXD z%uˋҞA@p_]iv#m}ucı*?\Cɼ$\ҚUoօ|+Xw?j9\ew> =de+?⧰a}{A3EF[!T 5 l2 D 4ϑSz0'Z(v?~,?]8>Xu<ٵ3k kIѩ"D%mĸ${- М ~.K Du nO4O-Gf^̸$]% n> ɄȻ|+ ]KʟG(]6q6{dC;_q$SLm6?gp-^%KHRCVz>YYք!˔`S5 H\lo?HDG.'3d ({ g!Jz8qR:WYRQbJ:h?=}G:߲ }Au J[=f*1cQ: &[U8J׺E潂D6d B:qj@k2R?u?QZ:"^ͬVSP4PL3AwYX&C]Rp"JHP?kl8,'x/[,tn#a-3׋uz $%4r>GIc<>ڒ֊h o׽(\B-("q:{H&EV$'w@:r١=0y-_Vt~nܮtCW%zw+7vs뀺b H ňNubgڨHȦ9;Ot bJ lL@Zwxe O=VP=m\!3Ѧ1C@ a>/Ö?͐ҪC$(-%wAG0c>M-_Hm+&)g ,+Wrw?BSu\ȨGhkG!\ H2.Өߵ ~X K%0+3@UBn `wŔ7(0*N| Lh#dD?]jS7'@rjf9&;y>Kr],A|P@DI)e+Ӧd2 {o\;cN+ h&**}9pSڮz~f ӝNWJ[@2lg{6S/(2?>sY"5j_k9U.2p5ަ|[צs i-CvSf1i6,LS2'\Ji6B~eץ|\>%㯳)$3@G*{$1WPK7u$Q\b~냵ӯ..Dlۇ(WzTzNHqm)-R޹*[Sԛm@W \d+hQmmz j6瞴.N_|qh$D0PWjN=U+k/PA[0'FMt7~p;/7?/<V$bi#ߎW}ގ\5ǝ4roLJ(7{x-j= 7.\ĔG[!im//Aǔ[]~yy-'G|-fTq\nvOTw ( ьؚ׍l[n?М^m WA(E^~-a] 9cD~(+ijhÈ[QQ/!S`>MH*Ir(m+4E84Eٺkv.ZM'' EgqƍF`TJsWXt#?.흦u2~rЊk<^I*E%E׵C/)@&>iڋeb':VtL璿)d39nJpve* ߡ faRUYcDq/WP,i`PwBMtƬU#2 D¡/E.ƥ^B_Xz/ bbBfC%tuF,D'Xr{Da~񥉉OV@GϘ~./A]#W m\5ueEq?)Я`WzGCAhSվݘȽӳ?4k@x`O}W?d>̐1B@/Z3G4qB3 r簥oN~An%4HrRCq\u*O=Zi1&jWnWbWA19^\-\ ZsSsѽ?IN,?oƥ6 M/L?L)a ?K+NYKK**SdS)WaBjgU) -+mƭ=܍H[*Q{hr1waGv,8Q$tv0(+}q]aYȦ-VZu gu'RjsFv !}htueHH,'Xꩾb*5M,1 Ϭ}FjV~Ǜ`ރP˿XFx˘ U&mgH& !$Ւ!ԟD<5Sۀ.Jam@ >6ϐ̏;n] ;iq=5 PhAJͶ. ]o2L7iV6Om,8k|,XUm>#~RJ1 XaV|A)ևQ@Q~]y[>P }:D~ŵ í&+PiiJ5ªm|(ϷM9B=dDw./hKlHjs4rS$ /=6,ɟmiFKdw4.$}%/F+̏4bs Xl3:F~():xzӮhklU# +U]!eNx?!אVPԝǯ&].m9Y.X銱Hl(Ї &E4Zi(^S35 wVfH?PzNri=cMEv\vlS o}UM/9n`gI'Ka@pMH.# R'H5UO>91"m~r)="fB nxt8{AzI : l`Yk`f<-k̴2mIBUL= |݁Fؗ>*/Y:?zyΎh`k0 iSoY: ";H;&JԻIl'VK]WYVᑶT@*s:7.~~m C[VJnKȤ*ҵG~TuCUC=y[+ ]* }S,+$#r#`A_Nլ{㲨~1KP@O,^6mNgH = ONgwYn.ƘD|5| FW4CJ2I<, 'nc:tχ4F8@(HAaO"Y֗4$c`$!w)>jh?.T\l2>2-hEz|mR L/;tS7 rq };`R#ߙ;T}I\d!;藢ۊZPQQRKx\ߖxKJ ]C1],٭G\')3fQkӾ̒/ |Mum9"1RCQHAN KKg9U>;\1h5?)j2;.E610N[::sĔ%ԗ艬 }34.[#k# 8sP4O{ij.Ī虙FZAB$SwW?[I|'HY;Wi)2^X 7CLA望7MJ&[kVVOϳȭm tU`{x ޟoh޿pJrƿ&ـ'q"~pLJ"uXǧ~*MмuSLUB^T!nF'DXY6%ư!:'քp9ŕo2OĂBF֗0@c]LdjQc^&b6,<uľa ۡXš7݀OktK; 'Cֱ\zgpReg[ p->SNY$ߌś{Sg1[k#z{h ߯s'qTWn>W*Ol!Gjcv,ЦCPlQQhyd.,#3\p2] E6]\#ʺ,HMpN`,1I7'i%ȗ!RxܧJcrܳ9Ic_4_$#D4LxUˈX*pXUZUjI!Fٮfbj(R]bm7 $V̜N84 U#F]mceC~U ÷|5l8lF}0ܺI-޳cDĹƒ-(]} ՗EjE\rӍ%4%+,cAJ1HX 'cUb ֎52 9qU}SDnWt]sd,Pz{]!D#qlX($/#Nz`&0 br ^|DnrYC]4*U/} foP3x.b@D!&53W sn!eH&(h #l{f4ėJG,Eh*X]\Vga’DAyP!I5ԥNro =1r;KqYƑyl1!0ze /|彔Vc|G] z(/6fL[}PC}}d)c ZGuDu"iB|K s$L@;Ok痓piwכ414cun@Ԙj5EhRƦ<8F(4Ex|Q3EKg2Car22+ >I;ak|@4>o)#5g^Sǧ$F|Ԑ!yuQө|w 0V 7\WYT$it;bOA`>#>2/TR rdش;>[1Nr9ēia]p.4 M𺙤Iibs4 *xZ'Zao r8{ɇ*dZ%B_Gd{ J *y6V:k,Z%"‡ȝsL[K,ukfûw=A?Mz, sxIUfq2N^kVh:>9}$XC? X1X޵@Sݻ(#v.? je NlK-CkS@sJY,BQꜫ KEk´Z!bD$2 .gW4Cbtr,"e5ZoT"g%bK52* E7F-S1)l*:[DYCF>8AEcR#?(Eأ֦MCBW BP)Ӿ̈E,v'*/ށk};J\Wֱ1B*^iQSq{@L֭~ \MmWۼ@lQ'V]Sꄶ 3Ѧs& bȫ*T~5 bs;^DF%'ظ Cgb AS4T&HQ(Ծ\N}ԚuRR"eʉ f1ɥ74LSl ns'[-,fwWiË^/l2T|KBP\J.}{R+9S cLHsAPg4iׇr&z2|S0n7(/L[%HFBTe3=.CXWy98%.pgW.fz2i$kBC3N~3ի #9cc4Ms茨Z9X[r67qRzMF7ܿ.9MV~txp3>0 G/0*i d $!Oۉsg!N.V}G!XX_A@n+sI׏C0v_-M's}egN_=hUmػ,53'F !tp{,B[Q9Sg+41s 5B98A)DlXHf4o'"R#l?9^)e=ǒb[q#VS-5دM;,_ !/s>V;@"mFw tu(k%lڴST`muEkA0E(aɹSI w0RE<4:S$}hٽn[ܧtN!ym^%ݻ,[fS] ҕ~I '/&?rťwPQ%Q%5 oI@9NE L'G;fVp`8}%3`4*"qzE,vH|iN:>";L^c͋T.+?\qRއEbI\S^y;1t!qTr7(SKI 堶Fb a(.?rt>2C֯`-}v?m,~N ;!dS  o`+- P SGYIwz}|ѓP)_ovR!N+y )|&0@!gBl hvīnт>I\W5.[_HCh~qNYۊS{2mYePf𗔰KiJ"PD?'Byq 1r²aC}E^~a5QՠG0U37`-Z f+F֠w}?s _VS=8\^+KE\~iGfbQM4v etip.v@b/lSuGBU3C XӦ^6>|;KƦ~sE|8;']Q@QM7GʌGPp!vᖺ U 1*}[]GW/v;v'wnLMց ړ+ʡzOa^uQl;r_6\rW@zЊg8Ex­ ^[Wft\V;>E i! ̤+V[m['9Gf/Y!w{ _kPqxJ~Onw׿±+S,y{BE쏭H_@PYSKMS=Ml1ñ"*F4ntC2'"@̽b!?a5Ǵw@JrѣvFy[1fL ǭ*c%:-v.Yz4p0lXڰ3OfqwkmxƷ[$5;~xD }д蛊 xM?F>,Pf\H%vL"4/V߅}6>^y wOft%[+4:w5:>uKdGZ.B? 1i뀯6";hH.0n]{X(miy'8:i|[ ׽E(\`Ɂ51Qf>Rm<ثz1]+ίsC-壛%j4P2рF 6_$ )u|k^f@:]IH`oZT.ǑDZ}Naъ61 <2@,<%|6 '2^CXd gLa| Dz$ev`am T.ChP>b|rQzN XDN|Y"c %48(<Ɩgs ,7/"/܋Kk3G4vtOVӌb0)YD_bkU9*Ě1K<)I}&~z]Sq9$ˁC`e5˄)%95NxY@Y/F ٞb%Y'&Gr݃pӫܲggg4F{kz]WAf6mB9y{OYX-)g=v>X7X- V8h1ԓ8G01cko8'W5E]ռړ iN#aCH({qRWXVWQGVctKQ_ӝukII* bJLL d yT{"'ɒDe&ZIcܗ%r؃1/Cv 5\yh)kzL 4䐢PdS7j~_KOYS _)496m'. S}ӊ;`5˛p }]%vpذESΛsI U p}_6BG!VU8z.AAcݕSgg2o:`,V1bEj39 |"h;6/9Gڮ%zBP(xNMʪC32̆<'>5Y8h ()\cnĆ4+@ sWhQQ+xvB/mRU*2?W'z-ltK ]VF~/`#/߾vR)Jh%8U ȝuiy%z?x"Sm£CF}B96YDM2(#L?$e4նkd^!'kup6@]KлLX[45xᝋ2'Q)O:`}SIA=wv E^7 O8 ba7zɪ95;oq,nμ5"U /èܳkv~QIϟ<#\]f5KP;O|I[nU8BuשqP᠕{1۫crM聵ga'$Iĺl 8A͸=DNmW26KFό%=`XᤫP_]D2'FFJU+N5 .)gFx*OKϺr%\>R6 `*NCCa<Dgkܼ d<|D/5 *&GjIxȃx;9jF($rxQ>mRrWm19F(K*5p.MxD߯G0jpnYm2{ ?U_򁤕4תj +|1 M EߓS=+JLxstؙ8z{odH 8YqX6UhmXzPk~5zx>&Ɵ'lKkg{)椴T:"G1t6-7"tOW{[箘"CpI"IE*#N.n Я %px@nK;k|vlD749Q$qc˛9G4 乮"|u{j ?o߀.Td?nxJt8XV:'vMZ;h\>f`oWfk5hEV]kAʹ3%scHc9 im~uKpj 3gA@ =l 4рrP _o K=@ZZl Y }4fCfhd~B هumG aE IU 6aO|BteO ]#PzC.O+(R}:=.<}OBGRYgyi"L]bȓ>W2p^#g|Y0ҡ \v5VR7Y5$.o|q S=|mCGB$9v$n  6`(xU` 2Y @[x2)wlֳ'(;" (lu옘@^}R4P[;MZ2Y"-bϺV&Fg>"=zLB+ ié3>~獒.Q yo5I׀j'*B1<LRL)򱃖nV4&:*pj"mX/Zȣ.G80$3eZN2gfv.bz>Q^,l")͏l@Ry3 :.;!@cȻym UzdPEU|!B1s^p[^SqV󡔀k6Z0/ɓ_==Acvj[q .ߩMG޳A/> v_\; ^oy-G:f+ D Rr#G+爾8m#B+$A^nN✟xCI藓2+Zv@2K?π8';285q#+j)O$Ѽ.gyS#}1 {%9e/>Luq>דA2!@jW{bKu]6~8lNSă+ + F)爤x+l"u8Hg&蹿/ "A1vfܜpՈuݩ&JPֲ"2 jS/ep9{"!e*%x Q > ?CB3\5Du㵺`/,uB uX#F=ID^̐HnQ@ɧvBb%^2{YXmXɢI\-%\/ʒw {F|^FB(FڋYpǖ" Svۮ&(,]gsRO.|zCӴvR~c*Eg0QV+1N )jl]kam*2Z &"ګ|qliڝI47uX=}>[^:tHRBR`*:]Bϊ,gr3s_e))KT", 2UY#)m*Ƥ=Yw^D&۶+An-{؏yCy?6_Win|D5ZŲH΄A!LcI*ޗh}M+ZEg?[' t^OƍCm =y{Hǂy}:ޟc шh2FGJ38TLI3۽b*MVjh-,tox0JU?J'N Iqk&{;A'k77V@(|2>%]}m KN}# p]O|ĭ$g!mGvpW4t1"$֦Op|%pʑYW@m?9+\^ L)嘢"ܒw 9[\GA0| |+'*0{$S!ێ;iW'Uw>?4f.MD `:u`L)WA'y!|4cI!dd`ma,׃ON?.HIyi᱑E[ώ=zyEoqt*yõMZGƛԱIZ"7BՔxn]7جuh>}e)l'w'߆ ./ ]a-M_9YlGu ,yXj!_iܶi\`w}0 OMM} 7N.[4"fmcT?<@`=4!k^oIghB k).ƖhXPʴK3вL&&˂L_[L:h_Ģ cR +'>P+bV0sC}? FU=0BbZ&pôQr={0ʠ~*ZAc Zr+?:Yqyb*]w/RcLTGtG=IJ IF0P*&Vϥ_(_1ΙL-=e^(UŠ&~ϲo go|Umzugy ?u=Ð^Ҍb*xWۓ>_ɧ ceq?Gıt{mxO (2z)dYu4Śs٣3ZL(Q-o;Ot2Fz_\hk( xo!n4FݖhAc}>܂$s(x6jrKGI"E^xB }AoΏ*a6B?WNΖ 3W ͩ'r R"$E_ TתCTKDL$dLC/p @cn|ST|(Itq[qdd;aϝ+9m)g4׊&-sCǎv ^kް? ܏Zҍ"DV"ShYB6A'+'}+0u:{jM*ŽeO+ #JpSDN^GoԾ3\q,~ga>ϭ5] 6T]CĈ6K~[HZH:bRt$.3Y( !rd:(jED苻qv/_Ʌd/3"k+hk^7VDlIfv+ J'pYeG! u4&A x |vɖE5h)T±`*&̧hSw\g6㕰eMwuh  j⅋ 򍈕ezcd!fH.դ@ _O؅F}}fk&:R\ZAtS,dND滽"\V$dDg,dEQIaQW,kץC~F[p8*jN|.{Ew SUCH4tm?7ΰ0nxvEh Sr;I%s,; z[riQ鬹I R[v-@' +ڟE:0׃'w#gxZisq80[kRgVT#mMڙ*Z|% '4s^TeMxDT8bZanB|CtOr-\vq5VӐCvo Y.؎RᗱP!oJI Vw`!aWZDy[Dm6%󨖋!*t{Y5B{xjPQ _xLvIL'kZE2:aՍ7<}<,/t}(yg7_`-Uo dkAvԘ6CKxdXM)HRMszȺSyc2P-hYU)#›qFpLDΧ6~ =~N5{ 8PezM=vmIUu) M ^$C@fR´bi7}_al皫"և.Bz@/]pB ̢rUpKT{ -o}j9ϜNƜ7ag .~ٛ)VZ+h\38v|6ښ8qHrpmp66Ex>b6;RJG Y(WihS!վ,Ț۽ϥI-ۗv 1I^hU^]])nHѓ XnhS;3Qr]6Ƥ-hl@mZ`G)\Hl$/TqY^'Xp6/LrOx\eG~Yax  C68ieNH= ^;8|Ū€qxD6L z= 6urFyDD{yގvSm J-:9ߤ ##Co U\> m/c ;9E *i`2`:Zf6`[eHjD@h.ch[p*@%_v AKLDDZ_GX3q-kHG[M.8ұǎÈzlVb][Ps#ۓ@DPE& uZvb:K7$` 3$ۗp68(PS`Aq`1)vH|E1 b0>ls|KzQ@W(!D,4QM-taL>X>Wcٖ4"|fM@P!yM_m6.i/ҫ{V+iW-bn, oE]pVa\Z %Q.-)؏}BREw۔h,۲[̡oI%$ Sq2d c ´ucfM^#MjÆEzJ%v8clYF0unG*Rۏ`L"yMU:&Jį%8zT{IogsRESVƉQZ~uZNG[TdYĞ}0,x]y$VG(zp>@7ān!zok v @·  dAp x\˨{UlH8vzc=5qb u :(ADfn -b_Ty*-v?7dT.NO,R$ Q"M ?"kw&{oʣE&݀_x (C+VYԱҸb(0%9De>wLAN_|FnGnbkA;*%:!6T AĶDK0U'%M:3ŦڼzJ:rkc=6noXcw<~lDi5]ՏcY]~+5scvrf5Ea-!ҼC٪VǞoZ9mV#TǪnjz:D丬FoKWOcnNr[\0,R DM1+TܐCJMaN))!`rSF[8a|laQN#q-nP>cJ|E_'8桻.Ab%!_`̞ vDls"XADH}%(TKI5I0PnNx?Jk>l7 $Gy' [p vXǍ!W.[я`|n\a\wk, N2fzj[ uj[kAB5b#μʥ ePmsÕO&vEv Fc %9\Fp:Lߒ+]çѧƇB@tP_1`&mt?'))7"J׻[~  չ$NWvO2Y5G۔+v܆]2~*h8,쟣gh"2s6y D@-1EB5AT/„XĆ~a8xGx xV~T8=pۆgJU|àM vJ_QG*#}h?<:6M>0|[ⴀ'C*& U~Όp%Ey^ݣۄ/}Ш8^8 8"$e֕dh;C0Ӗke}ed.FcB: hѓk\>ʵQgevs&ʆc4ZO]oP\a"(@ ԃ:&`0[EqN̈́X{g}V)8H!z2=Esf;w#rFd 1r (꬛'s(ĖApm`SSATUDfvnED,˚ Ϥf.1#7K%NVN|/219mW;@y~wtu2ѢӱtHk-fY G&;H.%B5w7)V׌f#bѐJISk4 &h0<ސXVoEhp(. dmнR~r_"uV, rOҠh'Tg49*1|+6^mem!jذsj*Try:PAFlqF2%1.!_Ibs k4iQ}I2~|z84]"hĀGJUZg `*Yn}D1o|`H׭u?ߕhHցK?>ݿ%{rhA4B'0YQҹXe~_iT{|Bu-5|!ŚBfB +5e1TYCn\c)Щ>>Q!2@(fnÀVYiɘqQK"CΟ85:ܒ\4qTͱbTz^ҀǪUMi/‚RQU#^rѽTb8@teMZY K{ pc dXatPmr3K&ĸ[zv@TtO8K|C|*,C=fGYHX@إM'g^p,zˀ##KƞӁ…ʊu.1OɾC^`xJ"Z Lt([VƮj 4ۗ5HjWub*m=-w u^3R]6ڿ>]rvůؿw},.ı mLџ+0IԒij:34$|r3u2Jt[(^Do\n_p5t]mh%~A4rV =V0Acgi Jf n(<[b.Jd+^ЌȕXtc}ïӾީxɴ?OnnL!S| *&9Nᯛ齫1)FG ><+ll6`ja; $2k7 JEs+\#sԮ{>M:C8$*!qt܇I0c OT3E]#\dVxr,};Џ=WTIlv7F Xeٸd%rje?⻦<:"t5ܣ\+c| R(~ᣮަPվc!Bꗄ:2`0E|u(u>Ji8+w/(ZȒ܄?DC=1ܲWk")3Ti>k=Fr "^hf{t-DZC3)"ɡ$IJUWCTF6a % Bְ6gdɹo ;r!8sHkQ B FΞY~iPbpA_9`Sx i2_$ᷣdCm?<\T1}$n}vJ ?cuUq ݇r씔ۡY5UNbӆq^SgYr{^iLLT ,&2`Rs RZR߮Ȅ$^'MT]s ߨEQUUL(J"_% {"FUc߀_.R T-f,\Br e'ԁ6' vM) ȑNQ+ +LxD! vCCx_m+!>&r\LùQf\SZ2 T bvd=#7-9.3f:)AVo^n`bU,[cVYO9ڒ7S`xIV5V;!PyL8C\ Iŭgց. W8 nn&d*7ҩ;ŏsi;2Ӽ1A7y ﲫDW%Lr,m[9yM@*rMkߦfָkC-;־B&MSK.L12G-I프 SuW$1nF߱O-t8&wּOѿ]8lR i8sȷ_s)R'֛Q3JN_waqh"*HFS':u88i2t.',* f$Cl`{_ms(Ƣ9kar |g3/t'[,Jհ6ZrU)*FRx.Pt"/ !O̳KD)1i+E&݅tG*fQcE[V0,JQs̉f"('/gi g  B}ɔm>VO]g2]K+u&zT+,1{kt L9׻\Չ1h ml,*󂚐\9f~' K;Z7 <V1f >N2v(`$ɻt. `H\!& rgUC*"ƕ=h6gM̎% 1dixQ_oQ/;WRdg4(FĪVx㜱^;#/t.]&;Gu7#7B-_#JM݇ah3A-B|!p1x|@SH\Dvr[hY"] Y=\JL3[orFl; ;XϹ;QIzu{񒇓d"j/I$^vǽjxٮYRx.!@atN8 ;r]OH;l❎1sKVrN㲰vy<kp`Dt: X<m. HՃ[J1416k"bcrŷw#+PoC-8s)ж|,Tk< |8}N`Vf"s2?; A7 щkO8jh_DAfϑH'y}w9G1JɃmY iͯԢĈ*@5w$*[A=^ez=Q׾ǵpijC=Xodnc}zJ :fF!hG/~XubQ,%;nUz1Ph\ ]OgvA j6~Ҭ3:{RMO>H?)k.X ;2}Jc1A  k& 77k@ks#cR*%QAĄvMPZI ȥȂE ,1xjT=Y{œɇT*_WP_/=Ya7ym@ j&P}'d+7Lꫫ_$cb, |d1?<¹6kngeF ˖:i3Y JۺgeVzI>g< !QxZG7$+Nw(rj#Mj疣 8L`+%n A.|>) "GkWLK Zѭ(tP q)q!ޔ\⥘QBi}lp%^.BP`+ t$-Ԏ8 TN% -Z7 k- )l]0u>`,IeUd "|j;n_pJ={\ qeOSE!SĨHҴÉ\v;^*TްOޝ+t)w%!L us`|XTy| 3Cn c)[jwb3gDJN-Z ^Gx#}q؍{([Cҋ U턢?T޺H rm3wve;% Rѧ-h@M%fJQQxL*QIӲQzC#,(O#W}79n%^.6~Q9b֠P`2E魫Vkp6BanDj`T9ݕn<)O# wfubUZîx؛ ؈᎘jq~@ȻE->𠎂ęn)`'^/ʵAbk):"[ N:hio EiD]s~`` {VE _Ү k'KQ "iU=߰)TYD- [X'!sdEAG x,v%6+2![CRV`N+M!n(G>Äv&((ļ'hZO)Bjj"9EUOLoivY),$]p~xDAw4{7rq?=A0JȺP[#jဋ}\VֲI+J߫$6'=uÝ|+-p-r*Q@񰒨54/\> m7 hcJ"FA;~pveЅj(w>E{?mCTov m΀]pAKqɀ&*\C|6j0?52X1m^S6[_& fKR;cRڮ~9XkmVl冷,.3SW9v;ՋF i:q2D!O?/z<(FQw*z԰~|WC2~ɼuۨAS/^cJCU Y<5nZ a"3j`!70!^շKlO6vr|R9smۯtt<Q/ "a5]"u %F6=i Iq.QDZ-2_b)mrM.8b ̕ ɡnO+gNX>a?\ QR/Ja2b=ݴ݂-O%OI" ސ{!4Jn)f #J<(H$paNxXTVo[IA`+Iq7xv &Z!,b~,{K*W֮Ym(ГX[,l;uCЄ;D~fԊ~~Q2pAzYnM/o\9sGa", Ώ^VȡHsMbvgRlo|UtAd nQܶs`KJ03T39iu\w%OZѲB+:ǪozWQ,a LX}Z , ޼ŒO12#>a)+D!VSQcNg/ `sT6wjˑ'.w-0%=IM ~HZ_g-cHs}~ ^'|/fa{73<դբG"7W&׽5IϗI.Kp/`XQ9b_$yI:޵t(BC̼4^O-s ҮeDVg3yS4CGN\[,];Ic Ng.9 pNSh޷$D aWDtiʬVy(E~s[p(zG[3KzF]M"ۿҸ*1%[6͓>JT&(1m\m ^]Ȭd #o/XF48BjLJ(mǵ`+8dTˍ2o Nz_Ez.yBfGV=ɀrk,Cqf?CTdd {X+\9z/]]j@ưޏUN #}d9bjX6o;á9n o`?F,-Ѱ q̋vV5!œ%aQaEt^Z<ʧ>pǓ8ρO=P+jp hia֮J$3v[>)mW9TK|v/bj_.݇ ap/Ǭ) VvҊfD&fAC6_Wp屯X95hc}i MWoELGu ̵6SԪKM~}~y ҩF9p4F}R;)c}in8LWRӛl?b&zש%y/wfҰ-a+#uUk`Ϭ~`av;Aqg;;T9^>s yXm t4*n R[q@ȲX̡RE&)Ľiء#CA(2#ZN,;;'$l.TAn@!Xv+9\MHr Wĵ6 tSGtx'j`1`6sFEP~y3le+Ҳ_w- DhS"e^ =U%(eqIF$L=+mAèbx 6 @%xkDBYvOSf[ Qʆ)TT B ̜EE|4 ni &O.#?ª6b7I'|{Y釻4콾f xʏr; %BۅW,n(M"6uXxG֞'"y݂]'oTr5ӊTPzdkQy"a@뱿s8;Nf&xxL_-ɾ!O/;G܍P!}nRꙻD;SC?&`˞[O&JKdHlx{ %!{uW dgXSQs2qگ)n#q5b}ň4VF ](ڻ3NsӶcKeq̰ez{·,>Dڥ4UnFhˁ`{^Ԁx_ƬNz[ՈÃ^mX5dCiii۸;n3J#sҿ-ʐXsEK~4 ;hi]iH0h:MT.}3}zeڵ "8Ҁ.)O )/rADMud>*78 v(@+,n # tC_D?|53$^n=rK+0@O֮_5-&9*}ޮZߨ(G>#h/? C}ry8d1Y(U֩QCr'!L  v{uz%Ra5PYXP)cQ)۔3ԛ2|Ӎ_,E$1Fx)ۂo?~t^"hIۀ0~(,[Pœs-b$ܡ1Qd /!A-)ȋAH&6ϧѷoHj|/H0[spA,)n:n1m1oA@a"j X 47'оMY].)[(F\ӇDS0/R;[ dCLvGߩ}/RLn[I@.+Jذ9m2#`E L'E]u}N AE1>=a2+-ޡPѐh+G=O $hO(yq)UD-*4uv@A /2<ǀN^/j_[  mR.t}d${DNH {ij)يU?tQ0Wtfk JJW-swD,0_Ez! |{߭htg'u*){yBxzn&E<\`uw1^xȳNc ]LT9.kQm|x9cnEYEi,m.^slcwM 3d,  |6kߡ̙`:0YzSsʲ/ hy0,>zZ=iQsvD-5(UӎyhoL~XĺVu` 6z֝Td0<);!֎h$l.@\[c <Ƹ8Yښ3+ඐY6f.cgԳbdLk(?RY8Ί@3Ex*qU&6 _)6,p6+ AlRdVW$OD_JmՂِ,nFEc ɒ(87|jzpPǘ㯾\,6kh=PBpoG~R9`GiCbó;Y,labUhy)Gqʗ;YLV]@nu2Y{숩%rEaRsE#?dYhv9e3'4RrNQ *uϪiu`+\@}D2\"g!G)v {ڿ!=HyJL&qL̛]58G N.(vުfI#Awz [A1?ƹK)5ڤq G=[2uA%0vn*`59\rpԩoAcg_; HI4-;$b&̢MW)1t а ]q'ej&#gYZbb4c91c44c35908c16135c126928f618e3c8b80eddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 edc0236a24935ee0905145f501b97eae0abeeb61 969d7ba12aab4df1aa8c922f12080892293d7e94 5c1b49971a3c20a1f35d94d02aeca9e17693b82f 12ab85f4e81449df03576000e401a2e19b6a0b06 1bb8b8d7b0b41c381d6c47a4eb35906680439e98 ff3404ee04485179b282539fffa7135ae70ec4b9