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 ggqC4T< ] Iptables_Semantics_Examples:threads=4elapsed=467.604cpu=1790.268gc=155.892factor=3.837zXZִF! a]ŗXf[&~$7 31Wkg!J_`3x/HD)C#u'ۦH|*K i7mBr(K,޹`~WW1Tfa!`/}*q?_cf(dlXhY8*[kl?sȔdNxf oAN3DAepzF]TkBpΌ1k02E%N ;g*Ԯ[Bm ʒ y`nJD*w@n_,(:GkKx$N:rAgp#堮s+ƋNX̄ 4AL%SΦ-~n4PU5 eX`?}:)`{ywe5J"q5f"YL-[1naDjj9`Yxrvh>+ҕ6/\~ʺv) !%Y 'hnݏAJTg8 *-A?ƬgR*_ R&5gĖ,Tnd[F9hlv]2 MRB𮧥gEB[A9yLQ2s]E%ZLb.ɥ0GZDU4<:Lsyh|y\q"Mq|i»axs?@!h*f?#cFf#*1칻z$VmsKiV?Y@+0Dž>G4"D:0ܼ/me:S+T B˳k-'k8!{a~v%!RAW @؛MCp58Õ }*7ȕcVdwAyQFZ*vx}Sq ڥnĀh@r}tS]^=8&\ajXi}NopE2C=9 uvþIs4`Cա.1soV7.]=J!}0-ޱ;7Q%耷ݪE6]/p986:G31T}S ?=DIVpFNq `|]) k<Bt**;@|e~O>Ig][^b"D0KJ^IPKDټO=Kz+OIYhtQ4èOE2e`NH(:=ͩ<iCn q̞_Df ^QӀ֏Ya/)޽*K/;syZ:==?.gj%' _ruFuE;M* >60{肷s,ykHs^,닫,nYr}^M` -gۊ6 o6dϰlVUJf&>4P8mB5n^Uԉ.ҵU4ueSI'D4݈Ǥ#)p`$d7<)^Ѐ6Ͽ}|zo?%TKd@9((d?epZwVUߎ1ZN*ĵ9+QcspOlT?wLq } eiEd;8mP |b{B&Wh(|[5ʣ^ՍڿЙ7iD(l'5Է} ;@N麎$`m|>G@O smlF@fl͙e}qF,ET1)E|vB m"}f^*KF#zrpR+OGJVZ8RfD:bbBۻ)9s,MBh݀5ҙNY\m8ˇ{8&>TLeN048REqn x*\JXQrsjX/hmr#ЁIVPs߻ӭ P,aYWB>ȟLUgaPdi~,6u)=a&]nVtG'cFç-ʖuS\AB^X] Do%0h480'9t3"eQDe>:R,פn0ˏ(dA5kqD^qPMT/WE 9J}xnirr1||xPU2`xVn*rQAV%bF}Ks/#SYW(曮p U|L ! Zy忟_m`TaoIծQzyoNH8Zz~f Fgv,R r4$hrwi~ar!7"AN6WKzy5|{Gs,gbQnBd,faNß}RvCe>`::&| i}ʾnb/Z1zr>ػ:"ԄQ89GtBZ?ߔKaAh5pʬr}R)MʔZH MZz{$0;&I3 NVS+ ɍC"dg8S{P .d@}_RNPdRݥ$$U [ML6HaDK)Ӓt!?ԥF@"TXeY/ {͝ƒ;L2/#$=jn|湒knXP)_BywqvV| CH%ڱA3]Awn?Ĕ" 3er d>Gm{-Hn1 [20Gʀ=rlYo"?l<ogYȖ"/W_G2 YCatbY)QewVT(*(R- WD=#<>yiP͜T~v:t Vaa0H};Ao"l˧!FCb~QM2G{`L#FEĨĄܼ`L[⩭i6 kD$^AQCY8|˨3N5nT42+ۇW(̂p| s9Kf]pIţAi Ŀw@Rc ͼomE4z 4 :2d'º60U 潗v:_ }c[/۳bDfԢG9?v΁"/yJ2 / p4&aéZLҍN+ߞ P>[A"~.%w2(TɍCm;'! B4xTXVu~Yj|C6C'[spS?L p n@m+I#2K8TlB.haTe |TKv`$邝gTuc-+*p˥o!0) Xw92:wR{ W7-<,_j.$h [?=fԔ s:z4+ߔܠOs`E_d2s7#d$NbIpYƀɼ/@vl 3b{ςNةky[kMsL+Kd?tIjL*ϝi\8`>_5`v0]lY;4j]*qWXg{$%(>rB=Ňs7`(assXx'iT)31 L: ő%1$Ζ$ѫXWwՉнrT 5_" T;N_|9 4B'%^`Ac,N>.춊¶sG^X $ȼ+ M^lM_6'/BGh2*չ wOQO&$EbaVi!,y1yliN.ڡhөh#SBE@O/J u[}-g;d  +)!i3`E+CRF,^szAcmr wGښAX%PC+5ۜG(.?gd+޹cA^v('qzߡzrPb,3]d-E5RO,Nf5;B6LWkk'cLr0?O˒"y]\ֲ:NDھ/uOD#Fc6P꣋n[w@%БнIgTF!\[Iz X:@ _¤EbS*uY2WYqkx?AƼ&(-8}d"io ;g3( Ϣd)}+@foiQ 3"AlE V3OR2}..lTB 8&纒ʏ+!C۪1oœdjwjDw ~>g26 7tjFAU#эl-fJ7IAEܲ#-]pTUN[,+ Vϫ'A9|st,ۦ6&>*=}A*X:vqan܎ WG |@ 2+[bui Zgb>@m1>IMj7tD؁a_ӛA]GuM- 6 8$;sJc"QNd dݑ&||Ne+&ad,8oB&soχk(>w7snlBI:!wkւWM骐'E΄>X"j@NsN̋ݸh:IpQ A N>I3{/lhTZ;>rcLつ$s~1󵎏~i,S1FBDu#U%]^!68q9ys7>\}̖^(*[.E}e8L$'^pZؘEƛHB)h6{RB#UJ)BvpnYIz[™OtPN{|#wZ˸^&v'{ȃCuI1gMqZI0& RL,}G&&WDxL:Cw \hnVz j$?@g^V{`pbH!pѻ˜:QyI }fhRXُe(![N9fT1"dqEVsaDO@[٘xmy|blwܢ4 ,2-q=G\/46ʝ*i =!U/i/Lh-̀8Cs/UtK¾%ߍ& )(Jl:edϐßk| Q;jh.İ`_¸iՈd FZ:ĺ̩Xx+H2zzTn[2ɱuX{i 6/[y/\PYM|JnͱnFcŴbOvqV_{ߒ-1Zu٫7+z&: 3j5vGϣФu˚ttCĝcjx7Rkfmw9z(ܩK/m>//Wҕ+$W7 c`)͝<8iL}ЭYnx+}Ń%n2`N] k<7RLQ|`* >HYG zndNf[q9RX Q/R\]r X,qP'T[墮ŏlYhlL^\ Fʄ8d>CZq1ea:>M)J/ ƹ l9j5fb'4?Qȫ\Ƅ0tBF'778c;B^֙?Kww%^Naw0j p|"jo@_90; `A"o!P{~^B#e,~Re3[wG7쓾R]4jژ=_ [ ElPLb,F2l54ߔ|py7 ˺'T<-#pOfGڮ D oH Q¾sH31n,0Yp2kCg[PSPBxM"p  wͻF PsC|%|(Lٰh1^4%rx?0 LpTAJ8EiO:/9OU=_5s@VA*}V@ZtE;Q܉,Dulad= 6?XU7>?vBܢ5;OV"J;腍1O#)vT#W\ߦTkĥRy'UZ& }>dd?bQ))(!-2Γe1͒sv˔ˁԐO森FM`BSwl JA21J#slAa CDC;l*5Z+1(W<7qz;L+}dpQwnާRR`Ckuѣ[ $޽5Rg9zG&sB($ѹIi 5X4@tF&'TƹЫ?> I860sq(:]ڼ,r^wh>S{:']O#z8YZ4X;_&EN `=Gc_OX>rcyvw:2j:V,q`/+]A]r[Mtw"دa 4X\%eh /Aot ] f*z_2㇄TY M!{])+_PfNԔst!9>0 #t E_+>G]:cP}w)~3L0gȡhw DO^^(;щ\.?]$2pB.ڌ/0YR-g2HV7!;VW48ꅹo:>]NKf'X(a[v{C%K}_^exBdHTimت,#' "Ub{??tU/z/QKDȧl/-6xXP'G?_SYVLƹ /]T2(:W@J̥\r*K(sk@GaU"VvM}LfloWa0Х)FLڇ?}tpb&=|q>C/o'8*7kM$U hK[ce˟pP=K?c]w#Xx""Y`m9=Bouҩus杘ҴGwSu[  'ޭ[kޔNnq6WYw\PrYO! eoIFZͨt҆T5D]Hx #W7%~?2#5q e~R\8uJ4grr9ry>yMqE&',Ѣ֥+П?"|y. dԞ˂y[g ix~[pj=0ig`;HW˥;NV ^s/rÐQa&$|D-K(F/z#NFX|6Uدy}\6i|~r fhۆ- # ~,vy_x6I:'Q 'ePfb>PT#q/:%レ$*kR >Q@8G,J`:V$0^%wm0Wn O̩" UcRuۆTa ,ͩ,N~k0|B۳>6xSNЕ6((N3Kx=3цFū2؃/) qF$ل+| ?Ύt9zrڿL ˮdcG{^N.oD!4C 32yW}.T걷VܟOo~ֆZ:ClxF7"@ވijsnUȃW{BZi0 N2{pe(2x=&Z,4z#>1ήM $Sۣ 6 c-Pc!}t$Ƽ5?!)lc))Op,NH.z{Z`Bq%ou"pW3xw^~_vGvG^(bZi@EiYzW9; t=8+hjS@ɹ;t!XWjQ 4)m6IsE{:&01_e^x+nwe:ۦDD? 6T@ ӡ,$9?^c:&]r&8?M Ej R&5<:`N8;Wx]{N8&[D"ZQ4ڿY tͬ{/$NGoPd !2yVF W!6ޠnx!vdnO_?>j2~@\xՊE+1ӟE7eܞ; T)ҷ pn.$/tɱ׫fMaq0븦qPE?u['OGSv>²G1ϸFXNuH [PZ;:nae_,q0mU+(<»~Ee5Bgu$qZ,Qh&~!n2v ~2_ yOwTp2^rNFt_f1jRKl]‚QO"}t"{Hk8= ivȔfؚ%UP!To6h>+^LA X{{"Y=k   7b<}G@j*iF彇Np>7iMjxhm[9P>-}|e qf.f<Tފ(2sY4;\.MY +>]y}ZSd=E1Yh|mh;3Go=ž z:O<"0i/ 2O0ڇ33 ?Ο+7$;G2-+*lh8dF?T9m5"CLOps,)0F*SJUt?W6`~x܌ `Wd+w*L)DKsqj}eݎmbZ ǖ~6FؖWb4vl`hN&q#"%/q?3( īfV+S\M2$!m?fVC<$Hd[";,8[9$kƋA Qs'Z~ym2*-zcHD+_ộIyb;Ev= zuv@OTE_z̎ĩehx1n7&2;8wcfPu?FaFt#_"S䪒yI[=WMgZ4.]"tua?Z|zaVt #^(qmy< =cAը<Ps2҆ZN6 ~Fmr[ξc^7CScSN #YxMc`:ڐP_}iozj>)MreHe0#t-%w06B{;]iQ6[ɷr+k`P9u:mGϋpa$9s 'ݸY%kr` bU7fk_LAi2v˧Kkm?V_rB[}&WCrː VKkHo#Xgf˦;8c B#K4$C+G9HAbnX32JCtBM!ek`뮩3P`c()'%uGYF0Uɶ .QډNN9Uki,.w TXzIS ׾` hGUJ&Vt&+aTͮ="NT. w\#q٘9(K(n_݌a_dޣ=L,зW& 6cϒE$*k)kb 2Gz=A 1ٜ[fd" Λ9jQ+ 9N$T~h3%b}I9푱'\MN~5; yR48-p*C&7B0qGD(~V3X>(v zP,d$3eӥb4aU_Th0$8n8rֺ+m5oolMwWK/֢77ؙ9 [ʎl+@We=bAlԚj" u*)8ЫVp=XH(`00 `wfȍ]u:(2 ,]8:)ǎ/@tPA-(beхi ̘zk%0*c.D4)fok\% )0h"wkؕφ Oy7(sn2DDͣ b);Wj"[q8밦։~@-☼^3D༪?l/H3;{]@6'bUx;mTk> &#kȯzy;343$ oXF'J`Abi=ua"fHnG%wv",̂Ie f]D`O?.!o?(3X3*)pܔ!/j"X(*sPF:ED,Ȧ\)M? ;-o †B*yk W<|Us60WVs 0SZJ'lup8xKR=n8}ve%VӺ׼at/{N3s,T4YL3D?:-ci(ip&#MA//(rF߇5& OzΈIR-k"M^տ`cr]ҳ^M~(+52c.s3q.O qT WwqOJ=]Y#$<W2;)e* ;v `] 9Wݿ!f 8N>Jf}7nRlbzmK-CkoO>W Vj"ȋG([pd䋞X(z#9ma:4ے% &w/r܌-'bc/Ži¨|\< a܀o%A[ZlEFu\WŸuZ6˶Ϥ/$@YI޳V`@HOlI{cwQC~ך6({x+0O7Uwn]9Xj?3fm<74%zcF   HE]Kͬ/zbH>,h~5@x$i$h'MW@Kf6Q̮D ܱAı 4697 /LSֽL\P'nCdkҗÅIėLj&֠4bS tVB?"C6X;-`HMh?Xj_5 A6wz"ʼt:t\cX-Oԕ©a KBkn{ ׉.)3'ӻUS Ǡmv|Y'wa|@7S1NnJbEW,\}2kG"وBD#k"ysc-E9WIUŵs_EwrSo,e*s;5Ug{3ԫɪ<zoAoɂ`\.< ftmz>jz@_WSq[ e K3=?7#OxLEg1!V?AΩb9p4,Ʒ !0W\ܨpʹ#)6q9c緱4kNZx37[W:[ fOG8 ~pBY'ڎ"饡ƽXPr/r0&a ~?ym Ȧ!NPkJ H•N(N|2f:t:ځlMCBy}<(Yk[k8/xilױA$<[KS<~]@[jF#Ӕ4$5I%y #YxQelN&mƁ'?4$G6x ,`oi)gDK^J͸_*m3 r+; CUWt](!~FcR4qa_~Ϝ.U5ӌQ&q E'+/TbJYiǎۢ hgDFsFd(iiͷ}cYIFi|* CLWi%F²:vNtxXcV]\VX>FP*M 뼋SvJ,folC_4Xf"XbJ[27}:N-/qW:mAЎ~xDӉvUg6 s-lt*Q{~Y.k)yBp?\gꨗ<9 }0Jy[DJIe?z uTtul+ ɜD¼Œ dϷ RkKhn̦K -C;9WVO~P,JJ^NY̰dKq_!!/F'ʹ.8rg۴Vb=2p^]slb%0Pf&YQx{+_]䐬D2|!*wʯB4^&oR s+Mt,bò~ve^3s 6,L =E9ՓћvO}ÌNDcfSy.csc9d8._N#)o-ҥ!H h#}:Ds'Yn~Q\97;7Xbh,A8d~31}Jw/WmZuDp:0pT#`qjlMƮrN}5jEOBv̋e؏GVcL 0:NRBH54F {Wqi ~E}s55ݷ'6똗Jr6l\vs|JUV}]H(}VDkHZl=RKj "s9ʵ[@vHLtgZdD"'3E(D$%իiCcm!!ǧBB9э'WL_¾DMo%SRUGI}K?LHv.E21\vқў .B&gΩ~?_9 uzeA:qV':7se7P 6$0r DjIXHc[h x7P OK +iUVr@̒3ǍXd(4P7y U[<2yNVzACo骡" U/7jeo/Z2݉qm { ,*w4;qm]F܏s`v*&3CW/k"|j` x){ᔬ^;_,S?P?-ϘܨAbWχmuh< #,'7 Arbd!k 2Q>n%X_Ҝ}Ԁo\8L 95Ѻ*$4+䋓=`Ͻtր]qaI]0Wwv% 1xr1kXVF_> p؋ +P#?$C9{&N_*B ʾXC,s!#+&m2N| /~sXc Iֱ6dqhU)nѹ 8/F+Mk0\_Tk,9L+ FFE.FO\ ~ ߲jM}s&Uz-\};xk;ܰcmd*o: px U%r}Wh7S;UL&ŨPn{]aO0؁ۭ81U4u [դ$dXUIc@g^-:FrFb-9erL?cv$:ez + qϲ7 k S>^1VL= y XHbgv~v|T ZCh,ן"7ҟvf:òX!Fˮ-,O];*⾟g66r[e5I$ZY?' ,emNq?x}Kc~$ l*1HtU+aO>)U5ISӖ P׾ BpЊ0=>PDBu8 r){e1TL5w$9v m\21Z~ePH-(ؙcޔF/YULX7K PC#I8DVktTmQHH.Oe3&a=uJeHbƒd55B`e6"\JOp^G ߳/A`vzq%byղbm<~-7`>ɒn q*Y]bUN֔aY2\Ml^;'_dEXأt_lDogKΕ,͌ ,yL/ҼJn}E;뭕PS$)'?e&K79,Y'?s#D7Kf|UV)YLYxS4c!Sv^:N0P9gb\vdfha<OPcvx%q_H{?V4+kWI n`8eAZ 7" 24Q({nqu:& Kc&S {sT_-rPZx0. .:G:%Y a>LO|]wWjҋ $]CHBH_km W6w: G\ƱF e} w$&T]a"^>;S}C²*||_pZnbJ}OOu^9Zs7Qf51nctYUšyUlkJ ˃>{X*QR&El7NmӲҖ3)DZ ݷ8^It@wG#T=I)>!j(wgsP ^EQ Ee_bX <.]:rwCu/I:Q[ j1{Cuzsؤ:Pe7|vȒV*3aT@^tSƝSz?h0 a'_3q5uh *Gaw{oMQhX]شXmm"?gV, C| *dd"D v Hl*U8^úT]FYDbo4!!M^+: ".C*4=0ŋtnnJшٷ4k6 &44q ,Mɵ!I7@xMs1@%-{Pp]]rӥܖG"D5 b$}Ƴ n$1`5,|C&<0ZLl)]{ZW`w/`"TYm: hiMPM`u/9~(ak#; 89q&@ݙ2V`Q"IIhwd1%c~hNً E^WVcs"S9A`XTF u=Wo ׎;ǬET}`]qkl)>}[-0e/${|Q-S"Կh)4&k.SСۣr&<@a]>4Xy69@S u2My- |])" [yx%{C'Vjek3.n=Ghh> gNN"߰PMdwEcLS=.wߩ*7!Y Mfi C:k5v4JzD[p0X+7^Z$@ {3ۿ6rl}+ym.0~GC{(cO7ZLEdUo&=ŧtZ];7E0ܬ"G%Ka*k$Oվfݡi|-axk8k 4JH3hքk979]| 8 Iqs 21HAD^6klLSgIgř?e-q1EXgD.SgW^nWuRͧfԹֿ2N)!9`NG>0CĔ g8;*\%hߝ,$ˈDc'VlXJ3E}ԠZ F>I(\-#c8'ՈSwNr[.X"< ̍εik7wՐK6[My aj/(a ҽG>J?07 Niy7;+3JP |t`kM6h{W˸j)2P^]L@9>Ihӡ=fCTݯ-,\0dUϣ2 Iʊ&'CܳoI=/r˥8jf tظ!ͮt)1%GX.("Tޖn&`L.<`e0Y@F} `tCi_@0ea|= a #Fæ{&;o4ȘgO  EFV ދfVI(-X9^ 7AU]%rp^/8N><椬Ĝw:5Q^>pқSS"Dst:?D%jDbñ,וIAC2R~DrGo " ώu z*납XSlbjR,+sɂR43lJK2$տ; QfxD#,"KZUAC|.9DlVKlA/?p4_] @~,*H, 8p~|ͿLcǩtԫ ,Ec0"Z&"dux!2ҽ'px {fހӧ*y%N x!}Lqy h?]Hm=A2j M~SetإEY_)tpjK ؆]+G1r+Ci2@g )bYoC# 5L#3q]%*<9]YTx/B7WguZs$Bi״FD&$\.m'ʀ^7bJ^w%Qwv6s}3.0H8E>EDMUPL8XP\0q׊4SbLcPǸr27Ydr|U(DYHsϣɳ sd3?O9+~k3|[FK8k@ԫ'hsBZ7P7U8\b 22|Borz.^0}4s'$smGV\ (6 bC o>6],T>'봒/~2OP4es+0-Q`n?'-yJ/ZޱNzX|~/wi?H(eBԡqPPW*.Ѩ{F:\g Odj!)4JDQ8}vh> .A_.ݫ<U٫ٮ^.+uc7E,.n(ބ'W<, []jo3ܡ~F<1:g2tI%SkI@g]{AQA p];%# .d`z齔r>\^< nKWArm{^3ɠiEExe?)zau%6iafu aSM3i>B{1?WtU鑍+{=uYPC ܕavB Mm7rp60c}U>xǂWNJ|$$7tGjE '!C Ԙ+[|%RCmpxDG"\MfJMXn+3 2LOAw:CZ*rǟ,){ꈌ7Y0a$@>ewEج@ڱDvzķƟw>7ɢ1c"ۓndqȰt:;qufq60=X0'ŴШG45[I=Sݧ_m?jYA_nD{8l arvlz)ω! 2ϩ%S(c_-GPQXgvpI#nM.IzԔ썿sND~j(M-ɀD]]+ӥܺK2\`|x迏@A:E)ja=.. VnB]pPZWK^j#t09["b"X+Ph>y]c*SoM=Cʢ-Z3!TvC©9 nPAKK}R727#WLeHǜ}r)Π"M BWe>؀hL('- ԜN zllpʽ &25FmosX;8@E4  ĈuVLn5:koĹ XɉhV3 ~DFlš$ w0DW{T}]܎+\u@HCclv=CPC7*L\Ad]rlJ~kkM+;*C4U-<<"\r)/{&⟉g+ٜhكõ/5Q5 f%}41q˻3Ƿ#FEG'¯#r*d>&U)zXAUfF'_{FLJst0.<~8j4 \ڇпO$09^DU @H9Bd+x,T`FV۠YShw].dVӥo*^>k/ >QH= A?FE>\ T5~ٚί0h7n<7p0u a{p)$,Y-i>pNj&m-t&K_ǎUݫqguՑ7f"פb$k0t [wJM rfhXQgR*LO}V%W)4[ ?*`ݖ!\Z҄\)zfXjwZ_>SgINL'ȟ.𦆝m YL,A4?Dcw9"{ TοXnGDJu s+os,*ZSu >5P C&X{tRI7<s?cQ:DjoϤiK?DnAso*O_v?44N3ύl!%b]EOEmZ*储s݄|)z;( \ptG @kF./LIL癅rE z! g5TV3!u7PykGƶ "H/tYe1dHLӤ1&k]!Y;'I\IM=*6:ssfTJ[xh__Lϳ>g&iD#AXj4MÐ$׹UF'ʏC(,r)xg|r ĊR&nxO'gĚu]=O/k;'c 8fLo'Y50 OGQ45#Uᳮ-?q4Sկ5qpD9B\ Gf/@JBkgT.mtXljH5Ȟ[w* 9w/!ВdHGj-rQ]:z8Z(9bϾ<<1=<ځԡ,Om|`hFiOq73ll4cqX,I@>hDj?= P;iQ-_|~8ғB=*oFpZP-Tx( :Gp.X:' SȎ'т"/gB`3~3l\a5GL.8|١pέ]hi֪(,߉t){? Pc}UKn&dALB4 (:XC/r]u4z=oWB+Q,IR`sw;y1B%G91h }M\ItfN8f"R5d+wlT_2xR+gC+$G_(s?P H)~LX7T%Sg3/JA׫1{PPCL9&ߤ7 7}n_KQ݋%7G=tY+Nh7Q]2]#/Hz@D4҇g,CTr!xt3= 1ǁePKEYe) u'ۏJ:NpL=飷Et! e3i/Z"Zv8g7,~ccP 1Zi) sIyV ) Q,T&M/y3߆ ̤"Sncuj_2Oz}s)y3Ӥӹ/-]HS2.lwT_vqD;P;Ǧw-~B^Zf]QS H71y>@/W/z߰nd+}騕X$G>y#*T5X7 s [XCx]wV휴̛iAh6$M=rI}!Ef"I(g@]˝V0 R%*5dfC{B)8o':]NHV@(͓Y-:,Y)v$'cŏm'oRW$8*ܽvrj\c@X2PdA'dzCy\IVZjq='+O4[(yh9P򥰆`ۗMw;>s.kyxf}iU4x?Va]=s vYL}p(@Q oRה$v8vy;Nk#5Vj`;vUhux*;i8f}F`T_I ,`` ]:$q7eJF [0uKac[;>Vin`O=`$?k]^Nukӝcsj+m+/,$Gj?2W?رv MdOMWR lVFL֌Jm t6,xYAzyMrp+(=ϭnmI^}}h(IQ-a6t0-HLwc(? }GɮBnA?VeuֵcNfd`:HcO$[I@C9;؛Ei&ujbYYYUUL:@uO@\aH T?qjfE^?9)b[ώȝ…#+Y*b dݢ`QeAю* Wi1 _=] LffJ$P^Ѓƽ vY>u'U)3z͛Kez GH1/Q$H$ӯ3^>P$$ku6Ӊ'r,c1Wl9nܛ=@cr'⶞qI>z&mm+v{?a )ҎuDT}B$ozN_{rs>@}fYna }+;VVSATi-_$) mxPֶ1m&J<61l!i\*lQ/$z9=C TmFH}y_ >0u&s| AӈQvS@E> dש 7ǽ43_Q(em?}ջAfǵJDl:d` 7 }l1Ƕp `]KzGaXL=O3P*|zR+PucB =wE۔v` @n& 6G=gYZ2f21f4d42d84bb79c6d4f1f5de90717e2927c4dfd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 0b9c642baf939d258dfd45d0549daedc3df6d63e ba677f558b5bb344040d5beea5183646bb4f4259 09e8dc3bc7f6f3f71e5292cb5caebcfed08607b6 a64ca9cb41eeca3aa0f285abab626bc1f99d69e3 77e74bec05e11d4424ec2d940d7ccb6ee337cb69 a1e3fde3d8bdc73f9c5f367528aec1ed4b3a5818