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 LC|[ @AoXQAnp,n}V`;un):.*V&&w29TGϊJ>` oJxY Ic&2j܋Kȃ}YOS\k:lOMZ҃5g C Iptables_Semantics_Examples  ҩOph{_:e-5؃`^Øi0m-alkW  Gg#e ~PZXĊ-IQ'Xr>jxiD_ U[/7fobQNQ S;33FьyQ(9;Cݦk60'̖[ Tw?`0 V`'[ԏVV d۫-a=ⵞ6-sUqGցWSV2  wk~_SGba#p!]]X_T" QHrmhV8^]PM&_ ncZ9@38d8c8 e}GiPUQʘo5X)QrI~ e-Fļr4Px_"&M6 < GkIT RSbSĬ&Е[nr=>;B04IbMI+'A !|X2sᆤ@(ti=ړvk-')%?2' 7i3/'%}*/N .V9?w# }n>Iե~r`53^8`E: yu %r33vl'2eH:3K5zp=^>Lm@*)svdqbOI!.^oU|(){FZWj[@L#R~95-b^ '`˰n]][MM3CFCr u`/ձ/Ժ3db3$j~n]0y3mٸ~׎@|*HΆTㄵbo:? w<{-#CR'`:|pVw.CP{iCG!K䕆$zSu@б ŠĚM-Fkqke+`a]%dH{9\Xx֤} vG7.Xx-YtoVI l؄UN?cZD[ 9Ԏy5|7{6u2$6Nf ~`R3׳%r}2>:)>՟3%Ɖ'f9!Nx1a^Ȧ#gHƊ@5oB)<3X l$ DMz] x!C*=&ȹ8ok{`tXwgceMb u6r{g g՚ *3d;{+Z!VuO\MF ض8S^{̧m;M-V6? svCb?bNG蠁k8?Wuxgj4e0'+w #5IZQJ'8O!.gUn=ȞE߬D dDҁ+%x-${H>i&7I's[V\5)d`+A9sЈk!~ lhA&]f\ĸf5EkjgaHF&b П @I!^b}j8.W,9﷦ GYDwg)i9P\Z I=̋kˑr2bPm\|'gYZ7zXZִF! ]ŗXiɟX?' 108vRLmVNT} ]i(,ph% IOw f3j̨(KY+\ 5 qG=ʣE["f=Jx2QKv $iRU'8qo-s̱vLq 2U0PRFC]^j5_ Tm@^UCR1+Oik!>HH|C]|Vu~Y eGW̺%hjA nW?-YEcv=_6]/v[{@vX~hD_{Ȕ.;zXboF%"9]Y%f=Q'/PлsIA͖ >%^ l;ֱgYZ7zXZִF! 't]ŗXi%G̊G'{%zAxddrPԫ,,].DIA#ڐ `%mI%0kBB<.7z|oZ @X(W3IDNnx[%efpu]WAS{ycFuF{jm&q`;Wz E5T~Vhʺ$D%6./(D9CppK#I$uDY]d#w.asbǙ~zĦ^1|{I٬y2_& Q֜ΧO0xë~'uy|ڄ. ,qI)<%#J3c/q31oCYOcsaY"MqfT(k  ihNFOHh vz ƌ6sq7h-k]+dHk KP!&R&JVp61X]OU΢AROKZD{:Gش\eaТ>칆NiTK`소ڙxKLLg~,?GDe}TN5Ha\azI;l!YiH~> [ۘw64NM)ʖnHiva>{di["{h)=^M=HZEP/mtl>j 3$4Ɠnȯ2)8祘DV:SrvTblnW9/(kqK~\^˵$DjxႧ3UO^z)3{1&Op2y."*i7v5lEwgUf9JI)>0jJ}Uoꞃj괕`1Z0ta=8a6 <]6BEs߁jF?pn3fjS'va/AԡEeT/?cǞNE`AX_gCCO+Pn\a!%WPtW|Kk2Iغ%yfeЛ'\.u͠^|8GJXӎqSScRh۔O7dV od6v[D"Xew _B^55zrQvߣA,Az@ _ zؠ-"ع$U=Qr(ToyZos6]Hd ?2D(, JJφ @Ju Ml6g0Z8:<E^xQ9Й U-yJнY囶nrXF՛7`[$!E4;|}TsN1 %0,\6aN)0+nSýXl ~:-7vt.Wnzr_;z GW+v Pe>7V ܙmrfT,Yt߄z\!o7;M,Y'"zyfqG8 rW?&  4 ==ױ_D:7sj\z(i,IIn<ڇ,$fy^b:_#X t6v0ېl. %Xjc>$:Tuy [V %*`̵ƨq27cŒķ *#~1)d=λ܁rx0g[T2 q?᮱݇ڤK%w}437)^T T"ŧAaS[A01kZ`5 .B|{?B5] . y[ ?>ОwĚl_s۞5n^m_%43qeMKXPAQRGM*k֜V# Wđ󽱗2:%ݐ_} c$t_ ԡ/ٴC"m~~ֹ[6e@R6ttw ;ڡB<bODwyP]]=Migvq(LGJ:ָ악FfL,ep[)"y8*_Sk1aF7,sڕTO1B#6q1T@ Nq ښY?ShΥlNO$H:`|*;]}:r3_6K.kx$?9'<w$bYyr5]ZŢFgbTx 9PXŠ)T&8JHvUiLxp w^mîq?69cmݯ~/ /:{N& #SEeSm$jjast+r;ɷɞ BP<6"ﱉ]P34,,Z9yV R坳[Yct}+3hDĤh9Y#)]Y(Y&[IآEQu͔ݙeZCpVn:WGL[ ,JS/p6G},ÍN-E fZ)!9%@``[dAQ4DTJuo|u*1b#Pd O d{dɾ,-uaֻff@|X^^Xu'"O/idnOR8l]梬Q^<)PpF=>5#t&Lȷ\U(e2CLcaHVa "]?'t9+#*QV,]Њ>ce;T$qd')w=S \ % sO&!U>9L XDٟkitwfO}gHg΋4b\ V$̥3c2b&Z  ~=?E*H;r[͒D.3dr\~е}zy!؍kش&*t,CԍjwoKH~!`󾁲mB9u)K7: R.!&a"|7GeIFPz"BR); eȂ[}3sMloIb硃sgQ?boT--DoǡFgH[h3[ōnӳ#- @`Ҭ(^y=aK>=Z/*:lZ."IT YD>#<!L}YګXjr. h?_JkNc3V9ᵉ d6Ql 5hT]p^:LɺԇɶHNPQ j=#oaU QCs/F3L`F}!M|-(Do o$I@JUJ<7Ãgi?fw@U3{(OY1_c4 J*Gp D2>5;-}R>v ;aBP:)D4۬ s8&nLCV0ZjI||Pj)-CUN~|&$i?xV//\bMbb }GNUI( nZiϜ!oY;,&J_X YK1$R +Mu;6aN4Mk*qPnWx1N=e=v`ssD/!dqyüzu/mHlЖeޫM3%޼hއem7B:miV]pm+xs**gEY^%@ GAЮb3vcs fn{_Bޞa(k1~K Hs.ȶ˓)ȃMt!maw󍕑 ߕW\, I(ڂӿ+9am}i)@`aS%yAsPsm\M%|C_GEHMҗͼ]27*ۭuևL(^RHDǜ!;PTۛ/1j:C9*}k)4 sb`<"`w 55;`R"@b}B|P]J}m^R @$Sa tI0͒Iգ*F%;X̎pҫj+cEwnn$!̛ O~Ԡi)JzXIyÌ&((П6,krpLe Eo#| Ȱԥ0͢K_ritRt|J$W +OچVO4ךL˂fd%dSO=s-b |TAtR5F  " p혭i *E"ԕ=P]0N׿X{9VhJUIPV_@VU_BQ\U .oױʹQ79b"@WQI. o&N1t2h'`1*[(ƛrc jmzEumGq[g99%173ب=D!hSkp0>C?fy,i㣱ˣ|daB]4KKP7`-'&bu\2;3cf=CVUf쀁!&ɍuqO3mMeJN|uB1[Eφ9k;rP`-"[l HɁ#K b.&QF'lbr<[CTq38d>_Җ-VZ[$[3__UH'A-o&.fB~fB z@T QfKʋɶtfpBhAM 2*tꢩx?Ce63xoSjU5oİ2w]تӌa6£] Ƞ-YAK8EYxX/nY]'3l)1jxX;Ý6})=QNþŽ{Vx2Y*hrϞtgs7ZPGiz{<m&D07E*0iVs;ԓU,s+߮t J zG)EmF"XȨkEwB/CoӖ[z;}E^jBF^u90@lN2%GVBu y% Ѫ&wlp Z?{=p<(W <#u?Bx hK@_Q^ViCx )11|:9VJn'lI>JdW%Uqۊ63mlL .\WEבpL@ic"SxU^uU`Sς4}(Mxȝeb?Gk05R5u[d/A! HTin#>;AGd4u#IH>:H+D4nt q"]g}o咱Dٯ[(LW_3IqVۗ]qCqDHh""N ,;)@:kFT|>;3}ʴnPK>D/Sx ~T)l&Osle$'mLλdzΊi&0ϭ; 6$Nsob_B'?V#y`+QX *ADgȧPMA4}gctgؙ ;$o=1 VO]U\>HE_͠N7{daہ|w E҇HŲ.4_ne%9A׷{g m^aiThodMw%*CS_? ץ/}.V$4 aȜ 6f*o:˺ûw5O s7±XvV?J}c!f/uG1N[NpZ?X yd0whV&7%(ImXЈ3qtRLi!۫0oP8X3 %3֩XZv%|&.I68Ʊm7C AvͶR5E3E跚hk^xt:p82o},Ql#0 >yUB1ՙ~MT(,weL9djqzgغ(i? YE LN ?իԼުڂCVo "^uFVXk"%ףβ\Pf(= tP5 \aG-Vi$#5g#k>Ҹ1uTKTTiI:.,#bklHo%@f 'L ό?Hy~ Y]f FdTvMPITr)L,)+ ^=_=i@88Z{sT/Tܑ&9؆չ8 mW7WbS,n ڄ|Sd?aB`e[phlndjHP&ӑ%?,nc8F$#&6K@)w?ֵ=W⦛ue sPwv6Ȋ9I=]6qlqU1l\`ܨMAvk A;:tS-eβN\;֋nEV )^wScbɰ~#%#ԙX;$*?+,y> 3h %tR4P )P_H؈E*4*"@=oS|y?}Mk%8e16 JjSm>xq96i-UOEx6#zMqH.)oVM#*zw ޤc[h3`u.L(rzM[Sqr2onBtT_7h>: nɚ!u)v OϽvIη9saw K/&D*7Cr}AvFTQ J\•w#}x=d*BNꔁ/ǟS^0Du~``u2 g!.~^8 Z@m*q*b€q' d(|SCfSwьbQOʑHa.BfCv0\D<6ZTԛ|SKI=k8FzBlg}VPn%f9JN:2 吉4(bzQkWeǎؑ E^k9rᵊb$>\Ig']5^^X-LXdOj /^KOOW@GNvlؗi`cT5+1~;, EP`R~Y}<;C*B lJz"fx|LSNjo H|{e\\T (ІFN/ZMK0cF 谼/ ^. Q\` \bamYsDRArJ D_8xnjޟ,Scb+h.qPNtCi "ȖBne _;@]&YAY1b&[gM:ѝ [}{E>6͏(4XO7 ̑Zh@-4\,6l tUgO5+ aC_Lj?i}J'xG'=Ry?>"'ARl % P,bp͔'w6@ޘ0z_^2(" Ƣ M6Z3fO/|hfYTiSÑ*$"0z6r`K!ə_|BJ1Q";6tWހ?>lE7F@B̵MωsѢVau+?~>а/jҹ%Dt|4,Ø1h҇ $Udߥ4'J:#F-_)Q SҤ7@a͈^mp?/[PM,603vc@¦4ޱ:ͅĒ{LP 9!ɇ$$rIZKj%m ˒YJ+o3x^E*lI /zUK66>Y?n-ap.dV$y0ܔ"u u`XT\ݘ_(vB7%)Hq60NЁ&iĭDarh@t&vg N)`?) &i78rjJX=t0Ixg Cx/QY}fR?Y=u GKZe~&uȰ`"Ni=z}mhWr%.oǵݛăJE\aճ<+1"=i% ؼP~`o4O<#' @W[Л4}m*t#! -EGorCYRy ~aX?>I]57=pi;EIԭA|6^~LWPVZ/یoG;:ѻ} 󡑣,v3 H!OL-ٙ03uF HҲ7pNUYP3Ǵ=r.DR_ BDgq4G7|n[ql撋2F\weedi!bruI9q\csp>&J%p7Ju%G)c#\kQJ&"$_J@>>`.p 0_tū(Ц(qz,6c D(O$ĮSh&K͸"@x$.T>edPk{׺vG o.%*$PR)L5|b,%iF-'awqm[uKE`%(ޗ1 0J6orF#X,M16.*.,ja( u<-fK,=`qkyz4*N#]%;V+Z2G:XmZQ 1LzHpSTlTjf:5l*ջq0aA]G{1AZ zFB<2gPNdAoJ0?}W \;S`070M/0OoCS׻ZdliHYM󴓾89{镯RL[Vm`4m6~q= R>z#s%R-G2VX.EE!,zJ f̚@hƗ2󆔰-:Ґe>AaCH*U =aM_2} Ϛs W-,w (#{,-́U aɶoi2ŞZ&LR ]x8\#w|'E$ſWKKpn.';:xÐDMv#$؄*o}# E̽[2yZt8nv:7$p)]$EN[T} ~Y/2ɉޅa3IH >@p~!``MN/coe(" -(r&fD,vWބ[DEthfgͣiU9S@ŠdOVYEW<m~sO{V*P>}cbaI9G){ ǍJiHrɂqf0lqE H8]o0\#?oY-EU…TndtEaZՔݡ{=10c$%Rc}ir y#A)C~2Zs/Y8 {fcXlg|cP|X&B@ tFWQsuaDKrDS@ 6[mJz/#Nct%A!,o7Fx塳>roAǡ*aـy|=ѷ; H IS&ϏD#WTIYKä6zd0acbP!:fDd!F#ސ4r~jF#|DSK>7D7U/7zo L5X?M7t%70,awX)R [;Q؞WXel@+BDŴ n@o(4\E&S@eK t$*PIL w Br-bf&;i:Iv!\y7p釜F57Tm $a)*+0"[6֖A@}Fy\eAvDB!s:JƢ^ؤ r/ԱMPH3"P9p ?C68nc:= ѐW/F?~wBc- 923`¤4* 2+DWI˾Q7b_()'A=$JwvH)c,""d3mPW$k**MK\߄Ûbto5:l7g02 Q/ W붱-PȔ(,P9 ;,O?mSUe{3}hǑO+8L0'ƶO~av(yb7IC$Ѐ&Ƈk߭Sfn-nSw`~!gu]6w*40߹\* (us.ؽH_ ^xHհ6M{!KPD!̓ĪtHlkЌQz`ꑽh*L;&1_@anIjV$@B$D\GQ[z$p} Xˮ46ɵեV mKυbKwS3d!)FQt'tU=ÀLѩ$_H;\p{=z꺕hL7 6][wSa~`N.-r$^vG7kRyvdc}B!y?\Q߼5wLDIӖ6^ԫJcdJߣcxHߘQ?pE:-}C?Y)7HJm`zD=RoHL'$o^@ݙӣ=}UzV 1.6lr9-K[Fv}CX!q \LC7btE'nq|ó\, 0WnMsG?ld]d@kNʜ KG!īG̴rߝlS ICZR0!Kd ;&m_߮zS_nriF }{k1T,y #<x|Th)NZ4M-͏!K%܉. $e*z_4AH̉N1.ar>26C1*ZC3(S"k(/qLO-*4-#F&kȜ4+lw}] )^<3t?#; Bp-<=* YdJ LJ3'QX\Dbrթ6Ɨņl!*30#D$x`2;`%mMR4caa5!NO~#Rĸ\iZKU[HxDs Uzc[ě`l'{S.+BoGŐR}鮼 ZEo㮰w򟮠M7#"xM_O[E_V}᥿'3)-[0\+ѶWV_) 0Ϟ7yRfQDaUnex ΚȝK4cunx~!JP-@NR>E|yZ1"oQ7)zYlvfQdй?̏lV $3PUt :'5 |}+[7wXT(,.v̈m!pYK]6=*SVH1B <^R${OFEA%Ɏhy+KpUaEcQ!i/UYx+:ť44Xh2 ɞTjɊ /:L^/;C_?lmQ{W<Nh.kFGމ+Vx!i Vvhuwg@!ĄO>LFh :tsG nKI=$B~Z=4t„guѮ``=excjn^D_i"P,kk", WV]['x;Wa#=[4G8mqڂ M(brRpyW6A{;owimpon傞f Ճʽ*1ޗ:=Y4I.*W x'\$5h[H-]O[$BXe&ޛ8d-koڎF_!c;Ѳlc I? V{kfL^B>I.@ Q(!_[9=A]^Gz1U} UT(=`6>M!r$s&kYMٷ5غ1M$zy{bQ9M͞[ M卄) Wy_Yi$GQ|\W\"~">X=Wj]n"ҀMpR~ ˁ #X̀\X$çHQerntkB,GAZCeG̨vGAvjejNL4fΑ2B[=/V[+M\(7y"c#1cڛUgyZ 4?௥"U: V{ٺL b$ZKDjS9HBozqj J-TUOeʯ#90j_c\-EȋxŜyt]-z~6=+_荩LQN"DNi p[~G@S+d=K[͋6)j2!3~xev[vs^Lُ0>+EN'DG"'@ౡ()?Wx$t}$&lbY1+c.a偝@1wʘ@ju7O.*"C{;BC\*#pg*K^H;&ȂjE*LW'f_6'n%9>=LZ]2fbt {,昧^5O0+ӓF5 <#'\GSyf{b2[8x"ZSL5 Dg~TG^ +e@3+N0'[p[xwc1%Oü*OxhDV,! )|6y$atz)-yf.dtj*Iu,A8>c%t,:EVi}SoWaqu wm#Wގb1-2zMrNGrucZMh>3U+V}>,xh)S߉lPg_R] $S8R؆2Q^TڌZő|1Ő S?rqXU$ ֭ $=,v~}0^=Q̪ S.m nZ&Bq n K405?ˆ4[{~Fftn3=FN[ &:)f-yt Fp\ho-2k.t˴vzvw'lY$ Kqw'o}b^N5^|@In>+@AjV<}gaOѤn@΃d9/^`I(FőMVi%Kf$ 7 +57"pT: ;eb<,&AgWxUug :5L|EDύ̸g%Fyc7l ԥ!K)IͣQY5xZ.\ w#/T72W׵і/+R{՞K ԑ r$8GS[h:KT]Kmf{p,QoKR]RP~{ohfo6W_lg<4  9$p8lԲN2NwmP:"qպ. ڤPN+Ֆ  YqseJLI-_t ВK}V~1q*,+_z=g(uS*z"ny"[Yl0!j !\Kgk/-+vxvUAvFZe 6*-=A+M,^fLVl4۵``֜#]*IEE%Y#*|/Ur:Bۨ֍[OejƧ̩߈JS(9X>xQ;1GBwnaHBt>=29'@<|PXuO(+q{$oSWú몠pb{ ܝ}[Xf]{s X:Oa6|A8@<; xj5^~hiYg@muL$#AݰhbF[c+!EH+s.k3qGf-U7pc~rfi'aB# Z kgz| G,\:dq-r ()Yǔ m$ܷk}~s iJNIϓ#Qzۉs9a0c{΅a'A ƿ`œ'd1LaE"8o::EKfؒ fsׇ|f0W .p=kдjZpmkiՈ[yj}/) U 1BK l.ҾÚ̌;+,œ`*dM_[u 큑ȍGȄ^{\%!ZH0lpj`*6Hq})m:Lબ%g%ӶEձe)o()B>E$HymtvtpjobE6ФOlCdX"Lb|u~(ۡMM'i& bzG3V6c$i.mfmGSg- 4H.λO|b!-$ǝ;L K.H]=!fsF˹O>QShG5q*.- X[krΦKG^}VLCڎHМVMbjksic0>WVkGӏa5 WֵU =GS(+2g-oN TPu$QC!m.L74?q%k\cLNXJ,v*bgapVc!"i PXABGr|}kGkhK0,8y X?>ݫG.۔}) ȶH=p>`|B_KHd>JZlT·m5ЧJvE@JDz'I!M=(f@]-dTxmM_+ST%\GT|G m:lL;eJ| ptej`?Sn3;BZmY$U_'A]Ň~nd `zqZK?ҦxmJ,|=_<V4!~`|):[h#Ϫ>N#Y礇Zc!j'M>hYxXInC *m`s@TgUW*_MImMr;׷]qvyR[ ( =Bc rҞ F|hoqu:UBaMGrZ*ָ1nf Zu5-@ݽd#-hٱ/UgHǎĽbߒ;o"lY. C;G]FN )r`-5R?M6eۦ4}v m+pE]?)8J:n}^#cByf >`nܹo<1N&;4Xߪ;/9Ĉ`2桋NC%k> PLyݢP*tq*)8B]ݸH4`~MLi =ɍN&CY}4d]6nHys2Y~-Da?a!giv$4Q>.j9rj$CɓZ)\|aYDbSw"soJ 52faՇbWD|:4ownFҐ%6eIZZo}y`z$5%E"f-eeQq~K*wH`Fh:mJ;ғ_--UD`K]~]iBQXL]NVT,7os*{*+.QdHh|z%Y KY0OJ_j"je0In Cdi[FOcϴC~,`q`en?l>%­WJXapכ=?%l=(,S.9J7[l/KI4ɶPs>ҁ#mgVV3Jr甩RD@zInՄe_vL1KQD]pz?U.).%x韼n4^6XnHSx|YT P=T[IF#TE3+ cMUWPBU/;Ec:-⯯daPd{G's~PDg+xb~d"}b<,NŪmd?|81"j:fnr^jDPԛm.[\%ΧjF !-U@ ]~*94aYIA1²c]NpK)՘|~HB1Ys b(JH{ha8z^A31)f|/$&ȖW:!UMԮ̾&Ffh{zfadAl(AP1.: GSbYDĀaк8C@L e)Ű4^VV[gYkl\Gr˴9_2d`d1tTh Oir\ ͂HT ڠcw:xcAxsYv= PUc_k*km.'RY,ClAWwu7oHbf"[̙/_A {|/,.@nA`޲]9&[hAMHwO쁧o3 T#޼N JnZ /TlAQLC<_=Vcmŝ o݄-X dU NJ^^'Ah-^V'/rA o/N[5nw ?kҡ_C\GV"U>Ő$.iJ' ý~ Kwke^'}JgdH#kRUnkf*ǂp ߬<4(.@nߘ[n]:M#mmLFmXɳ>d0gC'.f(c,Eekpl]();_II-zѽ60V.1Цxig؅qg5H7O 'Hw%c6kP1!s/U8ikh/LE_~(ēuDԀL6jR">\bH^vcT9T~Q@lH>fAHl4h֝7R‹:0V$ &)f?܇:M"pv}6\QބڵR,P)R7gIzxv a*3B4]B,1%N&oX|=1)I :ٵ"%eMf6׌]ن5n"fus3O%VM,ʵ5g*SeZm!Y#g:#m.Cimb0sъ6PC>B%!AN<|GG1d(o>`۰YP89ojZe[cIB(Ottqk)όV=m' C($`P5Cg{l&r⒰#_Ԝ&kc7/<͢e8`5}MuyZwVzy-^+cλn+a8^0gO|JF@$I7,:B{Z‡F@(Y 5M ֯mt0]ݟnDcŒ{:u#`!K2(&ʲ &l3)QB f=`d\BP0XH9wv[)6FrqxȎҤrXYZ91ozQOg5kHwv0 df5d45D+?`jRkmd2ϻ:?aO@*n֖vf9"-{&؄.jR*ũTDqmHݡ?$(:y 0޷*e ]D,DiR]}ʇk(7;.nJB 5x)BWs9qumTX[eSKϹSLLqYS$og@]* a QPKE7"w99p]æ:+<+DOť8yP3US֣b6QפbL(; AgPёv;[ iT29?ʎ18k(CRߦg]4,ltl*Ъ.yS|(\T9 zmS5|cgFK)r09^bWv4jհ8ߧ;*+R겴q(,`0pI|b86|)SO}Dq ti^F]'׏E54M5yQ]_,eL[ѿ.i/ TkJlwO ]XE0};/.,t\籈m*=ՐyK?h va1wZ:izp򕫉Z6z:|1 &2tӬ*mѴwgS+$6ud2~ ̾zJqB(Ţ*cgi2^DA|P]F׬\K E٨bwIft?!Jf?T*u<"qﰋ=Y>Jǩ^*: d.mEj8ŲRٻ'zrP3dl q52RU/ nh77`!ځ%&^_^*ӢTJ1O{{vsq7 Ig+􌪗y|Y 9 Zo5O}U͡Wcd(f z32vF DEX= M0xz{GhpbZȿbr[܊N2ABaფ2*%X=;;a&0 O|;M>Yb*ٿڧ4^zR"˨\8EHMI$ƫ $D;eUB3FFfѹIm`FU5 Jxw$ZsS2+F<,Fcf,pv8G]^w|%uUssLB,bd`gTyyjFP>MujhI&+Y"M_)#GТX5;8A[Yv_<{ {_/B1i(l d8JWsu!.p=pkϳE\(8BCK rU)gJdQsPT'tY'wh ԁ`PD2ܞ?NPsuUU=;wokdb:=`jū?co8ædyiѥ̾gGN늙@+=%̻evhʟ'fWu,lPYBe+:I]& /R -4k9^QH> ^8X. .}(Q, T OFP {ypty%iK}AoX4Y#Gܚ*3 kHWڠ紹1m8!*ۇhAE)/O8jSl|ZV0$.f:%@}Y#xٕ3MW玖~9\,X,"А)?6=6u%S*EH7T~lv}ΒKT_삖$n@/ikbGy8;|Tf~j*1 x܈T34 :mkC taULt5Zt3uq-ϽySMy_x2pTⷛXX"Mo Vx4Xɰa4j/?*רbخD>˓FeZrtyIgL3!g dAt4@_'t0+#|s\Q3cr@,w2"^`Rn>91UO$WSr|14EK^  [fFd/zͻTJf<@>3[JycL_I֨ù7/[T_x58T՟LQR"]yl p2,ݝK,_2yO˥GG5$@S0M<,%I"DjD 5D, ڜs'_ˁRa$bbm_&-wms?pԤ0A5$$>8LI؄N*<}%(< V$p:6ɯߚYQWg$7%^@{&.znpk [)MJ+)D2FTY&v⻒v?N /bjMP:԰hF3Q lx*Mpϖ2;R&C*qh469r0%0?-4r UE+i6_6Aea=p bt DL8mED:*AV4E(ؿԕ#.z`VH`^ ^^~e[߿" &a6XB85§||~cDHr0yzTP^zL%+IM yljU_k>>Hl}7X4QjbR:Xcqd70g;"U9}(OCcQF5<X''; K$۫Įg>9]"JFl^%iUDm=r0*RWR(}Z؞ҁhrp܏FZ%f~lԸ,r-pТdb0u{`,S3%ZxxShz"7tڬq,#-˦nu"=[aϮ#,DCT?KKّi _ >^[jHZ,mÁBu`/Hj`|wX%}qo#pM+S^9*s8=9kcI;?PqXALZu΄:ȍP(kaJ^^ rRp34|?P~6rQHy%H2>>B :: 08xx\@0`NZ0XH[Xd0w&dr-ܡR~QDfɫAcC`T`5@co 6t $J^2M _LLUx4;]~zZ 184 },^=8%#@o/-*#hFFh?M|y!f[X:i%bIi J$f@2aUڇ1,!v4t2 #YNnP:W~Xntx]ȟ͢2odtL0sOˆ}Y۟T(S粇\//+Y-]KgSRHsu!8S1KA4,wX9>V>óAag Z KyM2\w}32׷K|pR+' /a\ܫQWi&V*hx)O*\>Lm<L;'1yj( ӱgYZ840dd641e83ca3e6276a2997db0a69462758efab78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 0551b21f0ca7e7af2e3b02d44cbe317759713319 5939f5acbdd5f4553c3ba059c72242814fa01c80 cd7a75376e606a90482e5017087aa1a6a3db9b21 6b4248ae25d1b741808659a7145479a410c08e44 9c0a5b6306b4c244174352654f1a4769fe0b1a0b e2973c4b0897ae869e0eac71adc83f8eea05da97