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 33%Cl< ] Iptables_Semantics_Examples:threads=4elapsed=480.130cpu=1842.620gc=124.740factor=3.847zXZִF! c0]ŗXf[&~$7 31WkgMB^w|)V-U"!{YNx3`ǽ.1Pd6|W ꑹj"1%SHqپ˓ˡ/B)*"a:$\ TAQ7F") &.Kw,oZx#D?ëe4NW2Fǂ%{R-Пqyx'?qTId>Lt*DA~Y1r uuA&¹;a*6|v;| ry_r]#J$sGEb?}YBH:a2d̡< P1a>I /t-)dRO/;{w>paUu/6" 9(]=sLMg}vCuJZ(B߅"m kU׊=E` MS^zS2# vj mY-y9~gu AX&ۼWQKrJes@x݁>w2!1Ÿ>э&]mQҽnO(WE'V# -O.%̗R,R1VYrZh<4)9L+nZ4:uiuxF8^0`܏ݭF<ԟYJnaI=ɡvކh wQ-첗f1ٱ؂=Iʣ#Vv\|G8XkOyZ`U ە3_stEϥ7dE݅O5ԗtle,VK}6{-R=}pgYZ7zXZִF! ]ŗXiɟX?' 108vRLmVNT} ]i(oeG,~%ZkEN 䛻:YlvVi]Dq1ld$ƨG 2)#dXo@I ՓI.Zk5B,b?ƣbT-$@)9cY|LNSgUXxhHQri,ζWq0y*6ʠ\(~ٟ*(I0FI @ ۯE&~I H`zAЮMCY 0(  sgYZ7zXZִF! {9]ŗXi%I n_PT A *r2QJ.,0!Ai-wi3_^pT== ӧ@E8GDPʪh]͉j/9P] 6yE9f5d ^_c{ƖQ9eWfRXH8murkʟnVr7XH%lp> IN ko";7Xq <424]1tsS V,q)',L_`eS|r%JS±_]C9 my#)Řt!эXC#7Y1p WQ$Z' ږMC=<(l]. *aJC^&VGhux=*RvI4Q!o'B:JˍP .rPu!B#eWot BOX{P /J彃HL4)}+!)ڀ&l=FBvts5rDbD~VÀ۠^ /Ra]Qסn R2{<@6Fd)WdѸ{FKL Lt5Mȁl ,2.<|,jt!ޡB?emu xG^V'Nd4J1~bwt RʑdPUoeV@}jRȻ{2}i9sJJ2 KI캨wM$ ɉ+ÿ3) 90L4S5Mј@TaL__m뱹۶N>04b'sd=L>gZ0nvJ#Rf~Jn%)>{y* N)'Kz[^,)X Āe(t=!Dei*ɯPT:VGeNpqY3?pa>OH` ciW=8@'KMLWц0x# ph t7gJ'u/[(*X`V{Mo*I /a\I߮HUG ygonJX:WnK~G\e&ˣ)J^ 1rA{pEBp% ?EQ#T0?-^iT٣UFI8P΍.I9p֧07tj{L8UвIvH-$-3ġS-;E&rƨᔥ͡?։٘Kl 7:b+SKuxqUu st:I.x:? |->M=n}cF2AaoM_AjhJ\DRK=*dV7 *5qww,Pn}A??yeX;cDx nghBYGgCΘ^#}:@Cz[x٥)G| !}}b>l&_A4(3>} 7|=jͥ.1o)|q4uh+`>ͫ².O{J%n4N#to$e22K UVY/^- ?8_-6--8^ ?qW_w?ᄾU@X h̾V CXc_6R2 @$}6]]SY@fB*Rtˮ ΊS#ЪKhѪ(2ݔByApk֖͡kBA䵀j8A)`>47:wpݦ*ZJ,FDK4-5|Oujñ h<mO%D3xdfcH118d8O;uE.OyKk+&Y:sSxΤ@ƣLY+6= 'rV0{hLߩЧC.+L3d:zD}!(H W#&@)d&_Wif%׏:.BoE%XA#1%.c](DWQ?XAKR (fu;ۦ˄y]%WĵoEת}tm'7ܘ:h ]!qױL;uӝ?'T@*iA:P5 I]8lfͤ/V!|a_e>"ھdVgP3# G/4 ATj/e6yi,REH8/?졛+΁ `I ',^+U=4ʊqp'[vI_QŹrN(lhù*x]nӽfXC!.ϒ@bp -S)p? &5}Y}o [I5*{$/{ʀk ":N vPg>b!}4s k =qgAEa/.-u{"UXdTxyl9q\ӌmF~:幑\B)l^Y)G-޴ՊeG xc(#ݜQE!pfO* #xl ۴^9[>rQPe8@ }spwÞg'(FTeA9nqUHNhaE^)kKkJc4`@'&[*9<;y*8ۧL/yiݽ/J9&f2^T15/ϲ({ac##-ʰwE?~-|M"z&@ѭh>%OЌ)ZwhRa׆ >|[N,+55I._pVҫpw8ofj]k(H8r3U, ebb{4Pldk'<^}hTIEWC:,xqןmn{)0 )d2ӌ ɆEYw0d>HA%vuc2WIOO}xsk>2Rq K/H~Wo3U v&?(ཐ4H!jr|)jli(hMb~wN𝎁hyUd%8| RA $j>% /%""Ihn'}ef@'Уb,*)F(15Q3 {JzgKr<~wNDVI{>4YXe )2 vF]4!] ϒ]v|.Ut]IgQ,T3yUojs sYuh(CqTE}3[Z\>NjR:'m&κE@ns[TgXi w32S5~0YPjӷZb? <>`jZ1E n'_CSeoKɩߴj,#/0ZDdf]s{QŮ *{2 ݶL3E+qEF:y0iSN o$uoNbnzlwlRgL0U]}a4e.ſdև'6oD&< ƒ#Rv/#I5hmg*5 #]P~]5vƟm9 oLcic~Q7vKvelw2CiЋ D4%5| y-[ZBsS+BT7ٚ[[6H3]Fpڴx&NաG[}$i oƥ#<$5@sRho84%!{N "X҉)=KݾIݐKݪ~ y6[FRv3=~ o F‹խun' O:V5DW\|I@}ϪxȬ$1~oeV,Ps~FkPg)j$}6VKJ5UVъ'.O Ym<}6 0XwQW " l){L@g K$X);mquk1l b<383@~QFkJ_p$'`d[\_r}5.~;:4 U; (QI&آVQ6:fSJKyQ/Qnhdw+ [N.TVL :L1viT'߹Iډ/xm!Dֵ׽Ed+JΨQoVUؐո0 >@R@yBQՇu:v\U>4})8Y qۧ3Z{5-F5àf3eRܵmb5ub~S{[hlv-HE~gL9DWN}VSi`򣞑Kc?P[78.Vۚf䳦iUďeO*V'z.x:iL:"Xj䝵e=ޕΰ6fOLoe;?%Ou $͛ O!S7| >!%8О͐C|ȿK dSEP6E(OLmvVSYMVL'HOrcaER[E1#܇ia&5f_gh6FcE߽*XW T{9/~ .2Ƭvqm*9/ǎN)sEY\.1&A 9PP$cJ$zg\M&;| ܮ\ 'ԁr4,EC1w7!m[h +9 vahh'Ɩ̵B4@R,D`H,[5 w}LO l۱0&3-諲q?L{&m eOnǖ :}xJA=+ ֯sk>GkrqEL5tv2d-r\6=f̍B@t)Àm 1ͮU`q"ӣ*`OOأpP;*-4VKٲ9fءg!ͻQ;#x,woo^IQn?h^a IJgƒX]XډljN*?Qݤ7_$D} |{kVb꽟},1Yom#ulP\\!! x.d Cj:{ErP9m /JHO%D{bkl xofQf{"-_WD$8i35~ ߌ4ܟ϶y+&0]]RaBdZ$Q./(Ffk}OP@3G:oܹv;`XLŨuu0+_U0gVbR>\mf Ȃ0("fvnWΝӷvF7?剾Z;F?^Аy{eu)H֘D+k"@ 6SbyZC޶֯e$w"T;<xoS@7]Z|AwfSP#NrKpiV3Q X".C~ rkbP?9 ';<}FC%OTƠku1[=9fhud⊖+ژW{QJ-f۰.4!~1pTÝއa&l,ѣ\D&ջ˄dBkb~ŋzR<:V%C-Tq3ǎ&~$:MS< p׭2rÕG<7d G=D awJ7jjNk0-x*PQ4 qO|6}4nVbqZ@EJ׌ÕM)_FD,̱R,k+#f튆 ^'clٮSQZktvt2OGx'/[ELT G*"⸓BzY%= HL7}^BY'y=DǍZ.dw{u&_ 4'_3@v|GN" t #kl1FNjL40^tRuum"1 {%]NbLdҷ&!x]ɟȰ?|ӈp.heg7BI pW,~ln {y<yP_G:ʹ7@#D v`bl1ƣiI 2|Æk_#V/2Y2zC+,Nyqh0yNbITx8R]-nDHA(:K8 B{4FoO/]ф7c"ice)5DGxk8GvӗvΞ?Ɯ)2u台"'D1jZmRnn Q_E c\jsuk!!+]?\c<7 $|CJ $R!9KeKj{ f"< R Vxj?~uD^ "ԓƼHtSl:ۉyŏs8C@]]p ZUy~=8[os˧PCFA(KlAzZk0g4k&S[TMߝNVYڮH I2al)Ds<6^w"gڭ\"ES]%W[ L]N湸T6isxy+#hw݂r،̜Cm=t 2WN2!RJ+9ⵀW"x2t %!CCOH#Qq亻u! Q ݸYmգA'Tzܱ[_i{-}Q߭heֆH1ZpV=?!Q3 ND#@kUt˿T[ZG{7B b ưp\A>Mz&o80z!&̂ҷ_~j0,YDѹ_ b:2a\0X0`p#`D5=-}'*F%>09Z8#n?Q9 mey\45yAʡӅ>J!Ps̀@9csGHw1@by Ϸi#X6GR9>/$>s(\\p;EzDӼnK3frM{* ?a~cw*% 0tr0g: -\?eO{]UYn-Yi]B- ~{=BԨU 碩HP t΅9:Іrz}Z#0|3L|61ԲP yәOgsf^ >IΓSi[´;6?֌ mXXShR VA?5$ TaYYx쎭dFx V9VAБl~HnwΘxI9/ϛUɛ#@vT\ǢR#1+& Мg5nJBU{IZD:a)Ҋtai{ SUbr.9"ۭ%ʴ$=%< ̶0^Ӽ тJkMUslxf}A@sϨKeG)癢k[0BUZ$ _0܋ĊPp&Z,*s 3\gVu䂆k&"~ͯ6䢠4`qWCn«HVG}tp["Vt-T[qO@mJ;O(-ЕQ+;LcW˄Nfr u(0:00?#ɨ' \⋈$,^X_U_h1N QD2r. 0%V1v &\<4ҥrAw?Wj"yZ1TwIXpK&ngA!c*򩳚gaE 8U m(I0uqa[,ׅw<lppY*ov~S^Jװj;M f cȊmaI*1; tVo?F]/ \€!9}Ϫ8-~BCX 7<^8qTa/(_gn]Ca?a1IY+%/NF,Uh,12_נGqO}˒ 27.qU_{"ŋ-Vn5Fn๐1|[/Ӯ1b lF--%z@V'zhx:c"B9!Y P\Y^,(aN|T^u R{T~<6 ȟ6/* ϷGg;ƇTan{b-\bA\4i)f˺UJ 9xjd"_=R^lO8KbackY4g;H@ayx KqPr Ә1.exa%̳vKEDd+Ԃ{2Qd`WI (6W=iBV64"OصN0̅R%GŅEKkՠcOSlZ_;4yFyvV*W^T.ⴻoҨ]uͩAѭ}16cTuZW;,xOLK9$S\i(M3|R:ga%n% gF6AE+CC$rȈuξ{z5|^U ANMxY` w&p7ֵ.ɧꖊG(5@.Hql'8RThtҲ81Ǹ_ɛm44,Iw! wc?'39a /'F 2-հk --AI "ZYK!O ,{G^ iwf9mk"1j1*WFA_bR6ёJ"րh ;R+Y7/}/Aܜ~$[u#o:ؓ4TC0'𤈊&A+{ [k]O/}E9d;(5eP 'T8hurX%,q1nMfS.?)ʳ >=Pq9Jcѕ$9]q'$R )UzK(;PA1aiK%o6ߑ-aM {(rEp,IEzIdԚ{@wA'.Y4H)=:~|cѾ UNx`P|uu!%fl~VHCcyYtSe<-˲o׾΢Z﷢<3,Uf0 a`?!aˮ(qY<)qRm 8 _ Wx"tKzV021@6dRgRCQkWEe>_DvFa *Wmf&&[܇ɻ+@ߡF߾ӍzEwbhT&Vʝ{>?8ܡ|L'niHZG_s6<٫1 ,SkS ]7[z r JbS6ͺXϠTs߱?8t^h%=\}rVC]U(i`8tXhswkqC)J*E - 1峥LQH $VSkpT [,KuΓCxk,UfOf5eCKa ] \b#\&1ӣg1=m&Ab.)_]_h} XvRJg*ժz]h U mvї2g^l_紫 W =>mw]+q4sw[> s+bNwpcQoŴN^*T-b!\SLJ⪯G$=Ah}@d-MJZ[lmZ6X/04sSN\f@5b1$niK"J/+&IBNSY(UyJyf]-rQsmaI^|^zc?p8=m q13;kPshYAt0؅{z]Vlvc0 ř>-}m5uIA09vnT?1NSqd^IW]wm*mslIǓsgM~`ѥ3 B,?+聥h@ew ^FzV"Q0ECO{EctT,#Aq3C0bc-V4vj{fFme;2.)\bXM6u׽>Lҙ0ixaKS֓Wg-|/TDjFXMJeݐfwKfܗTY\VO &@^P d{흤Xᛉ @y;'X9.!yM8G?Bi/(`zRՆ'@^Cq3}:MuQ{3'B/(gm[f m;MWZ=CJ<&]&TFQ(Zڙܙm;g)"F) VA6zSA 3sgM'[J>h+(C͞Yyq$lw}?s V9aC/2C[|ަgA` CXZj (M.*6G[ q VY֋!t<2IxG~T'0*P?HڸVwm2D0PM`ӅJlv 0V}nA(9[5>>;Sh.;G0Qg ֻYF镅ͿO”Ux੺0?9qU/ 6EJG!/OYJ"cFԗP>$"J0mZo `81"cp/j39{P*=WMԙp'k-:0}. _cv+ mAVoC7H'u(gZebJ['6+-v"VTZ38f/ǹ86~$b p8vc::hO̪tOFz"'s4@|8u.+Yd2Ebò>0v>wR 5&^>Lw );y-.{ sk\X ʂ& nH=RxO,Pu8DWq)n~(ZLJ8:_JÊoWt>0O҄.sy^wk٩wV"wa0 I"["eC,-g=Olc^eh |` +)hb;l9B?{\fy{C (='P}ZOrYS"Ϩ;[iBcŮh6(!y=E_SX@"se9nu7ߖ_FXnY فFӔ9j><ȝCY[Su)Ec Y^hkO|L,|AKt#p;= u1%<$Q+g ?"ŞvGBJ^ ?YF$bCyhE(n칇I-rdw3P!`{Ԏ" `{Xj)̗Jyܥfnx{f}HW ]`pls1tU)4Fayve٫L>}$jC a%q:d0b  2*3O;$_G1#hGK&ť=sh_?!*NQ?M֞dcbYXeSa*ft•O׃'srArbp%0P82+A"y罞thaZmZ,}.>D}wg{c8K&]x4/v*v>9H27gaBvCs" !a1hܜn@A$@V)1ħO^c𔡠,Bk8Q\ {$֩iA'ñY(㸒An Q TD0b'Ư"FB0&1&!`KOMӋI$)O[ A J3 F_zִ)|H"aһNP-M]kѾ5g!\mN\ienӼ vN k45`! 8+BxsU1c-FqH6 0?QO,NN ax;XUW!AH4nmPgFZȿW I`ὃ . 7/|`~0{ H̫b~ vY:u0TkԩUSU{A:_᲏?4Zu 4)of'nDvv:tv)Pv#͵VSW R}Ygr(S[ouwG"XA* .~Q IÙ)Lv>fXNХPJ푖GJӳ x:3Mή _ Q?[7}mRit2vYnWQ,adm,d]׿L4 Ꮩ]sr6=l3]+ 3L!lc!9VJu$g 7aׂ l~XT=>0^uX04]tNRt7_.<(? fGcosyf>:z_=MR&s f~9p{ӑ]! ~傐(̦{]TujN+:EvXTs.ø_"RV TٮЀZpYb O15x!1蕫AyoX*Pkv`XMaQ*FZj n]ESϥ=@XιpxteK*YV t,ra'U#_1߃>E%$8S6([ D T3Gy{\#ri+릉rrzl%Sg ^B~h1ő\ ~Db>Gmobg&{Cݸme7,~ݶʿ!M`#xޝSE9UUs~;XЙF.[L zk3;ﱼ0%p`V[9*Ǒ1S(e=Tk ?x%i.RW+P (OZXJF7K~QV9ب- 'N/t7tz31ĹP½j#+Ѯ{}y48L J[MVp 'G jI=a^:z=rB}-DNqc"':z~Q3x&$w9?34Hu `=wB!<5>_F}S Ҫj m,b0%V b%X4QבL4zh򁍂E"aIYc;\b1ƁTK4֫hy@f>7RFYZZ9?])Lbט>8`-%Im`{[2h2t{5 @nɋ5}!Z ZPO tȀ^QI Rӈ1ڇh!2zxx֯8~%:*qrZ}R}'~z)qcXC-ȃJa |hXU_q1/M_1 RZJlcyB΀I{@`5w f8D)H|f_b!мO`OM7o&֩T]elM:{jgTiXO7ޥ=L L!~sγD@#Q*gҹ?A5b}AOظ TĔ8X68lk'r{ܐ[&ZXlY"o{d.ؽPg M-tKU.u3_X#.//B:N^MMe.]ٽA: 4kOZ:O!G>_f[L<|V2Xq\GG"t@_\mԉlMzj5M hEuFvaZC|ph޸=%ZG<~:t%D{}[ecD7rmnw󬃍7DޖpӲt(3mz5+it먶&}9~!ԈU>"$cq6t{2WG03S6MͼY\MˠܫvIڃD\QٺỲÈB:-#_̳wa{hR͔ݓ,}zuv-Fub2.=9Nˎ5PZH T 8YBĈRこ=xa2 ؎4Ep LAu#kRi "ƒ !I٧&f,=FuzXsaž5?*2:-,x:W~@o6{Txɔ7G!Y!,T׍\đKL/8bC N.Gp:;8ĸDuNܰ.avԲ+5n$jH9[LM<7` p|4Wuhʎ#GNo pkiZޫAOŢXmHY_&WPr<|(N;YzTKr=$%m. ݾze1;0(e?нb$jEW݇CK$tOdfE,|ÈtnӔu}htb qn1ž{!Dx< <{N c\N(>Z X\MޝPGMcq d8)OnUr'O8 ѣRMW*$Sq[d\ gޚ2.`#bݻfVG G=8mdzj1$i xYFq}C}[;OV`b&`>9▞`)D(= )ѝAQ<[WnN,?CO$A_n}_j|.'IÜ #Sh[ǣ<EWOѫGE)G2.z,PZl-HXdYQ z&;?3,np#>ⴂJ{R3Mf$&I2ħ[:wYv<^vWO.矂@: oeCimWԎ>1ѽBWA+~_@O+W,?>8~Ohw(A/E-tL w`hgm~(s JI%Z+ QͬaCcO{g^-)^pBINI: ^}M(\6F1O9F0$ʢ2z \MJJ Ez/qO>w)žվ74(Z+,kgCb i@z R^_f8 |"ifGZ.չVΕ=\ߵnN쵴Ib͵dPkOk2i>W1ND38",}D˗wKTّu(`ǎΘYc#HlP ؅2{OR8&F uP ^D&Kl$|no7OG0"sS/#UC+ۜ5dcW"*] nVm6BfpAlwجɹwpbTAGC8Ý1lWL7"H1$.h+/Rhbx)s "s?M.PuHdE mes=,Tnb3GUdG!)7YpNkHo4Hgƅu8"zc)&f2usxx@:u I)Aw )_(y{E|*=V_+=L?fTQF/v7zTWi ;8e{΍mV_6ج& v5+`H~c!eg\(/W161ӎ/v郎HPx{ ;X]*.?kRTUV qG܇WĨ/Dmj1kb{C4C=D`I[#;S Jlj2QV\|\la+@BGrD!i9{` :Mo'r||&HalΉ'c}K֦FRa5igOxHX̡a(p(1N/X=m;_18v?F: gICj\Oon16bW@)l]3H>ܴ~,pR7Gղ +y-W#}P O8*?ЌEa2Xh*2E kMxN7֟#[ >F ꏄgJKg=/#+\3Zܢ)'tk,3Bu1bN403DGհFy4M 2vjs)8r~1/Y*TF"NbnEuW+}p:Y׼!Ȓ2 1> (lUHMI-fuL Zd\G-zm6P`0*9j:< 61gk @虖i-mU3Ђ;ƴ X* ܺI7s}У0PNL@Ĭ%ŭ.K,M:DVJ`gh=BվOa]y:]RQOn 6 }BO8 bnD;g ;?_CF[2^o-KG|-̿ańvq0aq|SFT[r#z^YFzcCF-`%S 5қ~\!gM(^ëEa='s^M7|_xQbXh#G/Dx u[_/Ty< ?+рdw4/̟m D*sUjb>J8Q]|4IC Cg3ɕ9oOg‹ d$=XsYF~(;s%CD\cXtC)g4v m<&+z+qvnB>Q",OE|l/npM>On@V026]nBeZ C p^BL;-xO )lJ"T~``k;0r&;%UOƫhF-r1׮NHOZgIRjr]IХEJ}K κdI ek(6XFIq^V#ܛ$f u9={ڙ{v|ٞA] L. 5L.3sU8l^M^g??[C1Gtf@VQ,(LuVd,&us n z),\[/)\%:X`? Қ%H~+ZZ%E._$GJ%MR0t=NL#J1초ll[aƒNl$1A>LR[aڷ~`A"fe|݄0&\4w~: i+6n3ie8{ޏ#nvjFP0sv@^6צfz qaZF!"w@6ˉnnpDyZ[̫/yo G&ʚE=3e>ӀH#ׯa WDZ~;MR~&*g3)B%ϐ^V0^[Sf ցȱp~L{C%rb-Up!b;2,ku'T"Mpl]TuMh'|3̈_r?ʻ2I)5|r][@h[NZ 8e[lfBGO[¦>ဣj/eҧ`הe;3u'l$t#. Tj c57NY\(k/ by_)!ruUGqTUXduSjCb7A\38uϐ6XZ1bڊ}zKSOVrn_nx'MܑIQWX,)IaV,yi/B?( X!{) y;a,X yA](D.&f)ȜF$Q=b>(0[υyLm֨O:Cxm-K] joPkFӲ@i6v{mOi';Ċw)/hZ_C>ȧ÷>g ;-'nm<<*{vԟfâ- lq08;qˢO1/pSO̴h׸D`{d7*9aV\5L:`TԚ2B?3ns/Y[ub$qWUs us-^h:Ao. yb8SuB3Ush E(ppOMRaLt ͆(}D1!, a ayN>W p8 8>+#'x}`n$3^cF!vc\e^i+o3% EkVqWd3bUGhy9l>(B7d^%3bl;yv 3FN:Z|"93Ow'ي"{lʦ^Awek7P/sMžʁ05sSAQ iTccE ldD3_%|nNxp5"SY`䙊!]: z)<}Yɼvq!++"#_Z.6hfkj ɀy wǓ2R.\o = Et!T?C^X;Yczqc&$%7PI{xt^m#i̊FXi7ӡ+?> ߴ\# ê^аCcAP%Nfă*µkoۯ@{̥4%#k\Sթ_[g[`H@:7ed΂nM2;zl.,%uTt[ jJ|8샍8Qj} 5>` )!;]6xAܕt︖k~Y+ޑ[&ʏLeT<Ǜiބ4KZ/>[Kl9ga)_9A_HvY\ALJR:(~ ) TA`5WA+;Ƅnb2PYLN0xU⅐ G- ooC͛tr|."Sq|  SΘHBڊG,X$ʉxH{$uBhd ěŏ4Nߘ+Hbج9ہcM_Ң{`Ww@S1SWiԻq}3d4ZilX7{Cj2ArޘMzkɟvtO[f+}A_qR]YJ? ٶW vҩ T`~r Wes@fe B.0S 4]ʲ-4Yc]j (Pp\XI mF~TdI9-thӿ}ț 738&߻TY;`Fdtb=9'r!"SV^sh5h$`~6O$nÿVcbpҍnq/HtpnrsKfhW~_3g}Y%]J2F;!#rpk8tޅC[&ߔHr=_U/+2Xd1n8[nR%6:$h` 艖]U\!@'Hu(*0rf)GF㺓r֔V nO0 9! Ȫ6mղf XZ/C1s.t%%+"-4Kg< Gr%dY /]i蒋IR1]jJJy޲=$ytMLLuhq's|0q5..4ڥyɃB*Pq8oߢ;#H4\X:]6l<vxSFբ_Ð;ΟGNKA$,XA~CqUfFv`ˤ;RеDvnyۡNS#M+7& I/goqz⑀`Ћ2"Mn2kwDzTD?fhĢGf' *<Y 5Q-(vs (vgYZc3e73b59fd755b531c08bd4fb419ea1965b5a6155a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 c768feaf5051971a9b6cf376a47d06930d9d3a97 cdb032e7723c8337faa25524a19096f7df76b863 5232d6717f1735b54bb5e9dd3e1a9ac1203d201b 59b4b5bcdc957ae2813366e1d9c9e0ddfe632ee6 20f9fcad3086bac1126e2c8937e489b12dd7151d e8249d864519bcf5d4ddfc08675ec48c7a287a3b