SQLite format 3@ -- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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   F 4 u]Slicing:threads=2elapsed=592.917cpu=1002.868gc=13.620factor=1.697zXZִF! 6>]ŗXf1-/6vR[]\Q(U] ܨ)yZ>-ۮ p1ښ9T ULX9qLr HnG^&.JSL!vK~.Ҥ,4pO Cs$x˽(lBba %8D8^"1 )'G\$U)}CfCֻė:oRހam .nj&2A^q3w~#c[ZO U`v3Ef0ƀf@jxͿ   SlicingSqߵ".e`RDsVs7^v6,S4LM2L<[qEUTt1X$2WSsjOK1,s@pj&j%.pSynYݨA-MbG֚z)^`>uٗ m8AY)b\vB?n -djL2 H#q,hڲyV3&CoƱ0['>Y3q{goiB:cg$VҠh.9٬#[& 0;Qn t4sV>Ɋ?EK;2~QKקߒKAfuGCo GX޾`Y=SOkV@D/ꙨU2ʐ܏pҫ[b6r?[W lT)! Kڥ44b:%{8 睆MJfxʳZ3o4 5kSKC9+KÁ ($ꚼXTS&Qt9qUQV g)(xpG^^{v93/l&ؚ`NWO-y3>Uֽz~X`pԐ+9])Y@%: G@اz~rqAʘhiNcGǙhmE4uHhvKʋ2`u8MjNeR+}vҞce47E؅;7zp y\aPM9MI.*!;i1;n/lU{53q`-h_{e2%?*L 6ˤ歠 !H.U *s?R mxfyC+ E4#/,F{R FƘ>@Q[gof*NE gl{*WBrHe vI *nCe ͥR43BlYoIri&CU)yKRiXeE&2q]-162ӽr؉#ZӥB4+:*vsЪɶj9'`bNUv=߬` bl2f/TGI`d/ܠ,L+~{2Ca\ŹdSnc^۸E*ik+U24fLzLmT ODQ;eGڅ7@'H!Kh5MSgZ`Ē&RIYR:W9LF dO M7=;G@;"h ^P Mc}E-URG=~oȟIPDy GZ y )+ߣ坑`VWkMʼnj! ?t_6u#mF+ZP]ZkOHn[1dKḌ}*o3CLN_{seu|l8 $2q~a%r#:wRBAdިو@ D=7W -Jv4q_4㈦MpҭVx| 9tHN>"pRm;Kۥ1A8h֩P0B%؞v;$ $ ōĜ-"dpy(<^+BY3A=t{Z0+ȁW|m&ӋN D~QС,b\CS",4ELAa~PTq󃋨Y߿Ռug OU&f @GgM4<FNbgd0wZP]an  lq{+fpQ<@ *,P#L>]5tr AAH 87`YkW5D>'2pF݊`WowU?ih)%uB #nOjX\x" @H3!tߣSt3gW).e )/ m8y9l&WvBˍA͝;t^V1ʰ~`X.ߏiEMٰ>":]?@(oI0S)~9ُ&1hNyݭ AU=֐)xݯm0]ph)(۬j- Hs0'ޱ!!!zJ" *t;Qb NHEy 9f6 R:7Yu+ޯ}(Mm-z=Vb=d&@%5RLIik^M]3P{3*ߧo Ae3Kz ::ihT~yf<|P*la~>]PZgWmp6VtbϷPń{l !>+'x[,k D~LrOq%$0Sw@}ڍ:]TvB=<}2s6uoIjsrNF0=!}Xj)!nUsP9G dT@ ; &^25eQwi2jHU.v=M luXhExCPA}dhRY2RqC&=o@~ZDګ TPWY౩ħ2Κn nj#YwoE$7N+:sn]9OLxo~Q @#s+b?tI)iL/]OP'o 0{͕_zQJoȁEE])~Cq-XPHY^Jhߞ}(QR#YS RK r~/Q9l` VlhӚ* v;F*q"b).+BzxcTSbfq ZtK7@\1#dαk$L=RHxDHNW]>dGt9cŀlXI݉E83ZHGw@cq$1ҘwbF с&j_Vn0PSy jI%q~E!U}^ۈwGHC}ú&{y4(L4;dR۸ߞCS~!He^vzF^w<zd -l\.xLo娵4j@R=u[Ƌ^~d!áFf$(6;Hj Se5ι͛xȂ hZW>KG-'v!mI#?}ˀ'~*z Ut-r"_=rI$L9 yیΜ CN G &sW | 9[TTJwk_cF5UûJ)Vw"_]w J4,ֺY/Kpq j'bjwbT|!tұpXt*+df5u㦻jrxw[#K|rqj`h>-*3 UVĬ{굒p {tǵP( T,U G?V[֕0-N'QL@Їx Kw*'H()'(>\S7?4C~zKѩ:oٗg sJj,mm-0k>wݩ* =TN;$K6TbihJUdT"HS-`[*UҎ7`Q( !ѾTBɬvcelxY"dőxߜk9K:} D5E |Jbs$ ݽz9@6#$ڍsǻxInw?!˘Ʋe|I{7=јpClT",[*]2e0AO&F谌/yȫ{Ŋ'GʡUBBC?8*dg"k ?C?jL*}C0eCUI*n^ (P6ʵw v`π^CVy`WnۈK'`E` ,x`B>2]䱅Ч 7\LSyTɃ ˲P_P=]RMwwT(6ZfeW{HCr Zŏ#2JĪ_粺TXr (-gL* ޘ3HU"`O*҅s::p%swN7t(+ P# {46$/b_p pBÁcpS'W]~LZ|n;44vZ8KI)>4JOVBrZ6b+EAAZ6y .,5%t|FUFC?K}ЍH3S%` 4oߒ!Z `Q^l)%Lqx>?tGt*pNXKkAλ&ds6O?+nqLZ{F=Ϩ|+3ln |S%RɊ66%7Tm׼IFE(qks%{BB,X]89»}+F9~ O$>u2/$ٔ{ ɬybb}PPrvrsC4F mOR;" [؍5D ;+>Nɖg(xw_0>;vEL{畖ܗ/z_s;"[ êqNSrR)%p)'%"xS>ȷ܁$IɬpPf(O d&`ښQŬY-y;0b, 1HF^: r# 18fpZ@m)Ql]?m-:Xh?A@O6 *Ki e_Anڐ&uT+Z4sFI:5;9Ð|&V*O;ǐ "5(LЊ8 B#2%a ehCA֨ùG̑%il i1\n)Ӄds.WYK/qGH&gKS&u됲*,KzX5$~ y@3sɍ+)^^|9I)Ao|8 +Oj Ӄ"C%Xs]R\ n E[٢?f{qʶ6ɺX5kmwSsyVaОv9L&ׯ?_êiH(/$XI@rs'+(~wh,b|+0L-#iN>-–(B +"F; T]Ar핷sHԵ \G`]jթw5TyF9D+ʂ-LhQC˂E4Ne|qi2Fw6fƉ?R\\yARJM[v>]N2zUt#dgoze1#/h0r/'!pE.y>.-0xF׀.YFJ2l- ME{La4UI9); 4Ǩ#ƾ7vmw,ڔ[xRx݇18JE,Qv>:zDU G^ˊR,C]_Qђo(.i{V/1!3B{zQ%.>/b.1oN~ ԥl&lUlRSXL:ԖD[`{lvlۄ +9D9̣LHÙ`h} .q-V\vFiXҹnfaZF]+2ےI3 p:0E" <ͦ?nm*9.]F]bx_uk|X)e;<ѻ>> B2TBcpij,6t\1.Y+P3h'I$H aZ:n6ӳHZtRw^%`ՆC4!ap20 R覭U;ɿTfvY@d`\V"T[,Hn9 `ed 4O Iᘲ,f dȫ 5rJ$[;nr"TO>qHk'7:Fu5ǘ#(\M0 ֐1h*uj8ETgKz/&^.}Ǩdr>@jg<i&jQJOpŸe$d5?tJ9'Tn=?!f Ѩ ?-S $"Dnobtͤ{3;@&;eǛSvg[8&k3'0QUif'W s=8\9}Io\F)Hݵ3s6yutdʭds,?)/*yLorۡ \o΅2OwMWWw6lCtnZJpFfNIOsbIޯq"6*9߅0][A9oQϢ"G1*/_e薁ʝ)?Z}efgJ-X;iXx( 0_/-j=물0`ykq²f}}4 } mzMG I˚I$ ^F@CS cr:=SK:v&Z{ӧh3aǤ e} dc z[= |rpE6v ӡ?o)mض_6ͿhsT9^یM%x6g8:ڢ5/S l32jk|=ٸ.k\A.(Bu'D̲ Ɂ"vI%HVaqr${Vkyy6cẢC1h]@򛪅voics kk ;m\RNiAԆ2q NXg@",ədSChNa_ІTdnB7AQa{H|̏HԚww^x+X Ki)Du=n˧d2br014t~ia$xp.?G@s7GBuj'2{ͻ^?մA$_;rho ZrHq)ѥ"{bΓih}:`65 '/6c͞IE^ ,U׏1ij1k0ZιX$9TQi^YW@.m>tEA;.Do'AD;,eoLY;W|,KHg gl"Jep[uZD.#YDLC+FЬMK]!;8ФZ60C 1!usj>ie#3)0AD1ڋarM7=.g |*Wj҆?4AUVBvchpCdʷKgPqXf7&?v4{fGZ_VDT3͏{`P5\i?z2 E+Km!%?oeE C?8b@u%Ruc f&dӢ_8']:z;9dy a+i~u03 r/g#L=3\vjk &1P]|<\2HH!_Lw:~ uC!a*T51D k,MQW@Mtǝ?^T#,-ɄOu57(xxڅeҙ}fY7frZmdnƣrP>HcC%Y?0!2(^8t'mokk[̞|$b8zS;<*퉉;KbRIRYFDβ`Tb&M.dE4yoiKVImK~/ g\$-ٟa`_o{p)S23j.Ճ湤(%v(J#8Ab@5 S9i]Guna2Wmj!b؝}uprD/x]5W.ljHy dPc6bҵr9aa 6G.gh ˷ڑzNe*-@Ġ3;Y􆴹ZaX*SfC㌒:2!`-c2;QU(^ ,kȴ>׬y4Wͤ`>a4g(<,="e-bM"?('̨ ZSURQ6cP9 %Oz}jhɣWXb屗?M 2>GvH>S%$=h;l4b aws  )Wlf#)N&oߤ({dW1Q.~1o{_ ڦJC"vN<.6fv 8, e0ue br֊6??H؝`Jrtm ?KM5hv1u#N9w1ڕFU'X0^^Q&el*Dulu/ȗEqug %Fq@PE T%g<þ.";$i92oΟe2a"YrR~WR&OΣ'n>LQ*`{`\|Ncyua!]"6UtLG~G(& ѹkUΘx=^N[w(LHĻST\Dvjҙ, A7xw/.I@ -vt @?5!Wdۆ^)mA Y[5 [M4s'c3y0i \yKm6 c{ !Fwa6q,l`#!]n^YU5}iױ: Ҳ{\1" Hq.)jg~;.s=: Os}ǐ֭#i 3~Y4fbU ~bCu&rdy@TI_ٓH9W2K@2R)?^0l,`~3iKꋀ@qx7ӂM-Y 硂3h)H]#ta0֣q]Y>2 Diz͸ fY}{SRqVτy- Ȑn Ij}aFӳ~Z`Z,B'U??`“>ZfsqvPR'fy:UO$IeތdmrU9qz @W: yE1FBW*Gɥ .KQp9h 6N2izg˯Xs6qٟ~Niv}7.V/Fz82'م~`VsF/n:"G`6} NW%]j[(ϐ<!8)^LXɰŭ6FOlgh̯!~4ToNx-,K *a-Gl gYZ7zXZִF! :jT]ŗXi%k(b Cb cy䞳y*"ȹܤTxVK׽j]!YW7=d:a~a6n?a34]!8}BGyVDOֵ i Ϥ^/Wغ%z#))PޒTȰC: ":]zkiE]wAK`,٪Oj)M=e\fAvB2c&\6UD&0xԞ0Y"#|h5TW}NX|IvÞ6r@ ƹe_wD"%T4]Aʎ4Y6| GoJټ#MU?D349~ m Ȏf0o#cյ߱*$|v`bcWZ1?k3ce2ኣRaIZleLq;w6xf\}s'T-qD d40k<S[ ͈Sfx9/5\X^M_8oEY͖:DJa S彸pՙ8?@״ _ߴ^wdLsG}0d#,$>(7 jj3*D“jMdׁ1ڂcڱӘH3^Tc65M@0#LD}`VY" L gH=LRN&ċISYd$1Xz) -љ&`̕0H{SahT|t.K-9>\"9NeRKO<IZ&qB5l*;;*ߣ 'af$;[:D" ޏe+a̸=/ʤb6r$^:+:8ݙ'ط-; %ڥ}v.1rQH{40tn.:M!?VBfh@tG^"yy$^oS&f˧8`бYZ/Bj6OS&NU05,'h'3G>31O$yOm9f;Xqd4hx%1 C -ܜG[1\}_~C]K(]5zB@NPx6f33-p?09fl5_ۘ~*L0d&:_lbYB`?] s`fFW~lɚ؜C" ghs-4ͩ3c`W\nFqa|.U!wFnV[xp?eV1 9;yHɼGy! ba*jxq:7(V/}Fj9){Rw=iX܊(:ǥםcza5XO=%[GFȪ0@qx~2,L4GxEQ};,TStԻU ZI&Qwe^TS~z6igH!D8:]Tw{ɤqZ t5S9-cޥ d'>yNbf2f1@_SJ.] Jvl |_Sm!N-(cM=gH?K_a'}BX%>1 GU)PIђ;3ҽ 2z\J B)//"uT'w sGm`b[ Lٺ2>{#6KOOZ~*5šCpE`ei?yiػIMZI-&Td"70uײ"}UԔZ9]O_R;-UsIo+O@?q|1Sw(X¬E<42wa #f[;.D%~^ 8|HE]?;qii|4βKdKZr^INYd"w8ECW^uS)d\%3;6" %OA0ZVgHu8P !=yzt$(xd qnk!'lu`%FLWƍL*M3wv.̲Ade*,/b3D%Z3E +уUAbP+m88NCPnJuAs-8 .RӁOiG}25, `uIU F,~f.US/J9K/#6B~, gC Z2_䊬X뺒y")C|U*E.]Y"Q0w x̚<CīL<7'29Jz9wSKxFv_'[ *ef~vK`[_p)>jָS>YOPOVL.N*4}zP 2[c% <2?<{l> p R1CX8<Ɩ$-$jXhIf9SLXtYJfkM\#GhnE`חHD_\scbL<)`j ~~UcOs /xIV khSgd<ɚQ11Nj /)MW%[;I:TMZJwF{ˌ=ސ>Ql`:)iL6dޓJ#"|}摰zEr\[.MI(wts:a<֤,]bϖPO|?$j5?#=Ll>ƶğyy |qB{iK:6*H$QF#?\Ԕ"*D7WX=", Uªu}FY2rx@{Û6)v^N!3Lb.!keNnpK's`W䒼pYY^k=t֒d;4tis:w0f8m6V匳x, ɺ e0 . [5h=* ̤G]ULF%1ėVg~ԒPPQ(Xqj}E , ·i P*EEW^bѧr=_.̡@#,#~652˧-u!"@o5gn87}]s5oV,8}E ]%l-\6p;I lތ[\~G1Bp8 ~h -6V5w2?atDGx|6;Dź]hjPrjIv7~!8ns807)']>k[ ;'򦬽y--RWpU)홣(7mS^5*Lb:.tLOиm4f; qH]c}^((%{)Gus.l)SiW,Ԏ{q.*s_./:&(D+5Ա1+> 78;0 i= 3$i}GHI6qwp!M5F;t" Ef&)I׿HuAuk^ɣ2ˁũw#;_*fM )*ֱP52U3tQ7)y׊P;G ^QwJhw]h1T^p  cekMr/IJlgg hF"\'n_h~57̀g6 k2 %Ad 1{Ù/$N϶U#=*6y&ѓz)y#/GAA!`k Mfa j`1h# iwLP呻Tg[k^V9u١3=jy7L7"G] yd\PPZ@d#ZTThm<K|K߰>WYo8;iw'c`xE~vdoD6e]ݱJ^Jx-U3[]kA0G>;jFb4o%Dks0 `X Ak @!&KfVdљ N 7s}*'<~Bie;}Íq3= Kf#F*Pu} 9 d]".-ЋcٽN!'kN93sP[h>|/R*~&b\gVfr5_(G܌Gg^&eB?1/`K#n&p8Bp'w#NQ1OW1amwĉ4H.rY.Ag7-">fx5BX xrfXwnu(b#|`߅>:zU*Z ;.Ua߼:ĚLh < -GF/n-(VCN S+@h!z ʄˍ2'ZPasmvkks}2Ow7߰7S~%-fգS8} WR:R@] Säi ܟLKv(`LDR zѧVfwZ]-N q#p iVYd* cnIxp!?؅2#jwS|͈ĠGkYI$ F♳c#Uo$1Y;sҺڵM GC( S{^ʢƤxN{TOWQ@OEQZM 30Xc%o>e(_A@yxPcQ ym#1/1XWG_xC0IVvhJL)r>徦]3m5{h3Cj]K =5f6&i8ʽΌ =4G.'2Kі6K",toW¨9Sfff.7tRyȭlRbr:5к(_B}"V!}JCU8A~(Ռ|\hScd˺]45OWC3ZVWoZÏZoFufZ0ʶ`ƇZ%Q~҆H6y~dN{$rV; KNZ'+ '16[uaZ\"eA@N'_u\c)$SL(5L e|e;/h?M/etz"5]hؙ>AO-0XǑ~mp';TRqZ YWHsg>Z?XhxF-gޖo: *dj8##Kɱ1F|s"Cwr `y.M=j LoyGujvk~Ӻ#9{D97FKj0JfK5ms؇j\|Ն;k@D ?GEj9z`DWo Ruf%MN)nx`UTb*0sHRLe8ȗ{աA4I\؜ "Kw*<JW"öu y6{A}͆fw|Fd;R\[M:Zzc55saNσ{QJT[|^]zW_8&wJaY<>ߖA.iu EZ&c4uHg9S+$tX'uj&=D2=b򕧲\ۃ,MǽC؊u= Dԋ/؂Թw t\HgÆ>+řʧ#`AĒ;znlTѤkgW$Ch/l.J`9Zx^^e#E_d3\XmMډ ՂKAAEb&pv!qLcFG7|JG߶LOE2tQ*|^FƎMynܩu5UjoU 0Rg -".Uhbt-#wo|N\/x<ǖɥmo,K dZmj| }gS%%`*UXCBLMƈ1kOt~W' wCJՊM4Mԇ& >,*!?`/-E{N\#\<z\ @TX,`<;4YaY*2#1D{זj{.Z|89o:I6@T$ EF*ȊNwdXJmVpc v>ѱV/q- E€aܮeWjOSY&Vzrp쪒hx$Y-mIp@ݳUJ$5#>h(x?9]$GtV}uIIED'LϣG[YJ%A~g4Ci;w7Q:j##6Dr&LAK:h^eExuÈ]ھU  {kų % Ė}MɌǫ j8RHiC[]%ŕ7vh/B .ϲ\3&1NV*j-P!eڦN(S}hd=x pS9&6o%a/n|b%%};Z\d%Ko.%7"=SmۥܰJPjSb_/{d1 [%9tKK'ZJ3pLp!dQ.Җo"\#I9jZ0'^;Dsu2u%tUĈ=iWefbރm- CʅKcUi6AKVc /(jjjf*蟘Mg+E{mM\ԪɩgնL&(vk;cٟFH:f/zKcB%RS9&ypX`T+4h8:ؙ0-DwpAG@k{n-lqT D5KM x$F}۲3/G(zt%ٽ45\HgOK6["<:{8u"Դ1gۂP! 8Xҁ `/+`~oLRcٖ#̮/- 7ϰ\}2KÎc <4"p#1Z(,ae^%(-ѓRt=q:s%ku&.W9:`x~%nVrlN+_eӚ,~2ͷKHx Įfysj5%on8 šU?рz*R`@1u>k6ʬȽ^-/t[𻷉3%0Ǽ{hRH/ux|=TswgR_s.ZaϦZz| ;=cq ̆(zدf&QΕbPpAM$ M@ zXiLޚ] Ą;_29)3؛HVGUl=vu&UgIۿph<=FN)._%;x>`5m浆Nd>Wl^'KC㌜edIWX J K4d3jTYµ|-zzT\K+r{Z&juSN~][kH>FfpbIW1jg2#2168|yV6nEo8ٸ$~fmz?%*sؾЗ[`oA-=Jvo& dl*i<'\|6bm[/Vr\x57Юj3-maC8=E;P=MW$j|f 0 0`$byjV}zupEEjZEdH'E3:n<}'9ZoomLR *CK  ,A`_dDDvgسag+Q\IkECpd0+YR j&-CLNbo^0sY(jZ2c?}TC[Qw͚S_[ҀK,,v6viheqLr\򿮜.gR"J;i:? RJ@ vxo?LI1 쪹DpMډwOz< ͽBl;IBriZJߏВ\Kz5\%Z+e]*Yiaa~a}^}ě+p*Jo9얶q %,ChjXc>ë"P'i tɇxbSG)1mSPw s!fWY;OZJiH.N }C(ޣ2dZ8++eB=)o$Uє$-;('05R`Zg/b$FWi|'5mwߘVJT(lgg|b}F<2Se/(U rV7EIvtYth'Mn;˥ vOX-Q1 Iٲ0Ijv l>ZTJ0oL. ebQ`o<&jǸ Ab\HoK}cJzRN4&@5Ĕ!n鑳;FF%&rLrDA(Ӥ%kP>X,/a1h%tgKltRgU'|brΖ%(.B[WOCǐOk-ţNRYf?K^kn1W9c㲈~T? R1fj*yì\M ICQ]հZ0YiPPG}6[\LvfD"VTdeYP#Lt1> (U Q2_0.!NW֒bM|5XbMוq>"&O,EUM2Ֆ Zc퇇*ɭ=T9D`0=-m@E-:~/"wmGiFP˩f2󘮁ŕ-kX갋i  7PTPL>1Ai;3L̸Fb664{9]fK|pZ+]: ihO!'g]b5<+>tUiXi;ATa+2=A ,HM5Nr&u 6]Qsn#n!_sxPj&|v=yzmtG?ݽG0aNQ[<b`7c`בe2 4b$`?#ɵ]HGͲ_|G#\PF 6\* W85?KV:*0U!~`Nl}CQ)p5$D\I.Q_R2 ,G H6;fO֬z[Yv~b9:bHI/p4aI4qCm9Jі}X>, &as4}֋C ?0Xzo3+YRs#Z7UG'Ў{yB.iӂ!{mQjEy>t$q 3}C1 B!iiŒ`Ͳ J V5tH >tD-l0ES{: )8s4= BFwJ|H@Ga+y c<prKͱLij| E(&ހ=16yY?1:'3aŃl3. \k;з=:% + Hq\$QZ:Suz@^(CJk/ (9+㲁{Ϲod' ^èCO>A;`k@yHqްD;-N3ҬSDM&BWEnD (;tL>3TF6~oM[W7o䔧U">;ݠw |5nMɢXixƻnrT\ќ>y13 _|EqcOUkY+N-gוiTܳ"Ffb_hf!L| :+}Z53eAk+#9e̖KE,p% sgUٵdA 'rfY,p~7Òb˼^I;C%wR-a:f<|S"\j)ZYfv4Lf-໰m(ֿj۝E67/jVYk޾cpOQAӕ W^i]lzs=ާ%Z_$6GtA斬@2 (&bҝ]gp_h)_GrlO,kZjkOVTS h!}xn٦#\~'} 槪Z܌phq6ǝepk|U!WlZ^ 6cU=Lbad H 3%(Hת'zp6?lSwF !y ȷ| #`U; :1&ٍp!UuׁWkg'XzgSLQ !B| 9NdI 8PkŗM|ZaXG!3`o!}G):c_ub2!y[H=Zu=zz";HVDasF1S~ 6ᛟמ= N%"HvKjcx bci-(fL(է1 1ȅl˜0BSA7PQL 5k;Kھ-wF>+-|) ˟ `t|19&-X>"JfYWAP+dc6q\;K){+W-h1}p[p2ϩME\Gaik~N\ 8;DYz=zґ }tyfvK@"%JmWkbZ/CRR=zެf"ul?6Ĕ8{uzתWKsid]S~肍Tg a5$9!M?c}Ѫ6:)3LTYRV 5MOPjCr=J{KШ73fg"ٟ9Ic_c+7Ub?N%ߙJgxpJJb~gZ?A=,'ZQpycOrJ-[ bɑ l2SU]`x¢}CߴڙNoūX[f. |x]xS$T nUG@lI}'L Fj.0``%wJD\" ח.0MꕩD-Ql-#7ePs["#yjfr5YINp:[e9wDSFKu}S43%6[/ R6ׯn&T̒"PtVWE"RgQ7D9\Moz(`:azobÆcK&ղSM!g*oΫ7zڇٙ H@kqE(w|ك*Ee ,L ɜ $J3!Xc >ckdO EV 3> 2_yyMXЅbt"'[ >6,ТB6L_tm\wTwZo!⾧/{o6k"e)15eBˊSjKAaГ gXoF|ӧ)V4R;˦3Fh\&s|bY)5kg|&@mU7ThzUrG~w$S\j^`ʹ Ę%8H=G4V/]$ٌ&+8vuP9̘DDX<9" z+!mmȦ TD0r:@&.P/:)^Q-g'Aڱ50Ak19 d{U/MfG'E6 D>ȏzc}s_շ*O_U.yv#k Hx3Oi2&ŶxB%.?yDBAkt/&{2t!r+PD\Zyf:Rkm".fSc'ёjUom'L\yOS`̖Om*-PaF)n~߾;cMu>egh̒RZl9;85lrå_ H8^\mQ́`;F7Vqi4(Qw c#hg'7q%#6fLZq{ioga{vu$+!W^t4aOh#C.j͢Z3!tptk(tꧏ綗jYAH#rJ{w/|\f2)_NG|7]Y/eA65az~2&̌ gGHIzjQ)L"%eDo|YctVv{~qOUInH:[wm^D'.],H&!8#9-B5M;QV~.ؖj@5(XgVrMd4TJ)zg.rjz=j腣BˢKaO,dbwՋo'W{CuGa2w‹8+ 6tAօe@6!Ssja:rq%JOᕆʱ䑽"e ׈n:k$њDL^.[Y:[{ (>oAEKSl6K<$p9òΠ_!K麬nM-yNY xrE3:b5%GU-]|ic,-d6 DSԨXMKXgr3dQYL,% 6Uٍ|?cPт3OʹA5\Fo^8(G N$cVY00gbPҡ玄?=R}CfТ\|l3$Df[ #Ti5Y,%y|(Y^9G{#>p -"7է+N?}hɈsG?8 *f*w W>*]/.sN[=^@Ƶc4!NGr>{8ep 5׾+”7?< ^خy|P ,A0o8B}\rU^@S|F =+XOFOT.4_Ti ȵSMqQms\D(>n/E~\d 5Re^фJvb3TԷbֲ]YZ1LkMe×-zx)F 3YUL $/g[B.`X ,tCNcMi"(X{X -o>BCYfS`+(@>F(n]Ϻ|ee]4!GRܢ>Pʆ;tX34qv1ky$k㕝g=M߲jkU8=Tq8<)''G6s8U@+S݌ 4`ߎӻv51~t ܻrѯ#ԾA0#2N&۳6 _̩}Oe#3Ծ?F}:-:j8 A{4oVr.N޾X^޸eZfꫩRN?FVnP/ 3wE(0 r!`ZFxM>9m::>Yt͸Oئ[]O*˄W+ 6qX"+ ; bS62 FI&? V T2aaPj#$BjՄa%Œ܍%,A f.?G/ww;F\̶mA1*>S8FëLu S&~:9.-04@cY 񖞖U2 wj`V$ n' 9姩 (TscwYx OqA`-0CtL6CVgP L 0Pg.#a>bߵ-K}X14mc|xJ,x%7U~O~o&b؜"яP[xe?eLsdz"#D1J*Ǚ9$kEN.v{<6)\OkR>'&ʬkhW13RvkVc񱩈[›7oqŗJ.xDl7!PLI߇'G^V8} autHi[o~"~ȱX#5쌚jxN{׏)Հɚ+GG7.`F|a*] ,PQ)͍˼ M-**ĩvھ%MNFfG .PuC|f"h8ZpM+XkͨV^y^xаV '! >cRX7s{Fl_Wx@STAۼZDM{ד;hGXGR5}+NFە9:7QxعBeΖmV+Tv|Sګ X.i2v6`;;6Z ܹkDzL޴>Nqo{gpsmSئYfRq]-b+٠m}/F*8!7OI >`v|9\\O&ɠ;*k6'@]w؀\7vlk?HDy,p (mH^K%ʇ- KΔ1[WA'ɬ2<&[ ԯIH)M6$lUnܗJFjZLo18_yinb Bchݘj_Z m.Vqv,ctǓ%$PyLZ&i*P4uL:Dw_/鳯:>ay^E dF^͂<+wd G:.1\HK`Du#;53.9 >Vu3$lNf4ڲ^5` mrEnE U/*r"R&0=afWGܿ\n7_ k<9/ isc8Ȱ(<xd;R7|5N2WPC4u 4K .^ۖK=^W =u+2~nٖhMY400`_/fg-uo&~N0{)ބ4$plO!GqWrc31;8a2V!-i+dꬼ]]RC`#H*_; 诣$3q*wxWuqؐM"٬⟉ ݽؚ-{O>& y/9An#/›{D %#})Xˁ!t,5҃:\*B _aaR\G{쀵b#hH>> ,W|C ԝ=$JEzVo֛U؇33w|?S؜7z=-}h cml?]{:4/I<\JjόG`A/g_ʴ\h G_2ɟy4#A OK>N5;T{g& ~1-'Xf%K6ծdۑC07|1!{C6?ȿ83)RBx ^L<[|-&'dX=ے$n2'alx fxs)j}CSDWlzpr8#q]3p>A<}ɅCF?r=Tca:}Jz; |wEQ΍YP`أ=33C3g_<`FvIHV[7O&Q&̼B'nˆ3 M0ܓ+9dnƼ&EYGBP?!dћJI#\ױSi^!< tyn̰*Oo {4Z[^TF;ƫ[^EN]~j]}umkD+B1EA( 7\D s/;Dpw֥F:>Sw7-1cjSշQUtt9OlW8x3OV uȶ1IM[kbf[ʋ/E:qrRP0°ϝ,737wMnx7d@uN8DYAxaNOIs)r!~1 /0MŮ;&962{3}Uzr1DR];Z-ʳ}{ʮaӐ| Afjqub9XیY3y}~^i| TySubCOIdzTLZx<|e`&MS4pR j_ )qи|~U.)ffJozܦ̑;ޒ\W|eIt 6KK qrNkU͢ 'G~2Ofٌ^ѫIj<€aR#.d[SYb ϟ_Wvx{L{m'<S2ku z?]!0|dM! v?vMJULr{v#[e wy-X_,kdFt,`&_k൲[޼IX:篏;#F v?@_Cw /袯Lxt\BS8y|{,gNܥ@;Keiw_oU3icgrb;DE쀸Oa#/hҐ[PhÏYfwv(]f j=F@hb otZK ”Iz6fmTesA"}K-I)͢) A 0-,hb8*=q;굚X_ۢoGحts,* ӝq06lѢ&cփw5kaVaeE]Ԃm?|5)Y뎞xB%@Kt!/ބa~e%R6_wQ,)W:bwCMiwg#]q3muJrw[~dDτlSs[j1;ޱ TE1À*xI;kNIRmXտmAN1nw YthgI"{F aҵ0 ,qGY HӃAtͤZI$zJLB N! Fk#(-a?lPh .ObCүѪ*$|"'7d`[=jUEFA %&a?^g]C=z%NKF+|TOZdatyb_~Z,?\?nfrh)g_Ԝ)Yd7HW^aDTo3>WkB ] d& bTk/oxR,Yx74,ګ^,`BS$aFy x<3 =Q0jH&SM*Nsaq'}hT&9YxLE`SBnfk^v,a3Sr/ǝ%ԫJ]Z+SM>fW9 pEخ>I Lf'u)>؜P&`hpiR#jS>$fPpL( !)O/0sp-N MA`T-EV.&A-Y!*Qd>u)j!=k'nRL@Ov˩KưhEe$[ 8x O݌FA6(zTZr{k{,uLS-q)91 |̢T)j p}#{fMFX&N!Xb>&>?20F:yAc\H5hbg'D~J=xt|ӑN2T ˲bѣ&WiZ3&3'q" xIM ~Q*u4=i'Ҫ!ҋF'î@7Y@hhF %|ND; ppM{oӅֻҤ]Bi+)_~ѩS ՓO=Hc>k]PQ#682MlQܜdպ/ڋ2tHE!6nJq)V]4IHN+Gq +.*f)>mqledm5,Y\YaC˙UQ7y}iPq*EKd3?iڌ|wSAaR鷸=`d˯ݧ?ƙ[b#Ζ@JdE(WQz1DUrRCfi L n?5d~‘oaQȆQAtQ@72Dg2vc^n2nY"2#M~ o47|^&cYxamJ/ KJ8z&]. $̡3bDpn8^ί+#œTIsBzΠaȰ3xp]ǣa)AAX%Y@s#$ɋlV[l~dz__WNrh]Ι"D?p7t }?,1!XHu-\W2E5=OxQ껮7Ʌ{T$>e)\Vqt52YwΥ}T5Oj@ARۗ8UhW< Lo-QY'4;G&'KPhoH&(#~(qH,ƏS*nQp-t%ՂV0FB}" r\ ʹOV8t-NpL[ّ!.3#,_ D&󤣨KI/ xF-y+y/q#ԊzfٵUm &$VLEOOx>'mf%T2lHϾ Q}}J H8ҨiUd 3)kf3AX*|v& mFG&%x1I'1/LK$*lT9vZ(qh_LR v}~5 q)$R':p)`$ܚb >(2L^9l( ,'Erc,gJJ;.<ca8{J~FFb+\N/PVSrUEy?DH]]Htr ǔ̂8tѣ8qb~NFv-= 3ٷ6?#84`.6 aQO`/|͹?H|uUy+p+Euϧ?W@+?vd͹QF1*W V3I/bQ%^cp6'lNZxFr^tgl!߲QϪX%f5o& SۜjgcY]qR="qlf缍^ӱlr@0.iN8~!QdWNNXp]( )[ҩFta?Zm /ӡZ#ڸQ0h%A-Nc;Ã,8EPgYZ019ba91e53f6e3aa5c41cbd26c7ed2aecad3951b 0271c312c521be4e7e246b14fb2f615afec2e650 0541b5559a089d3237d7b9f900f581530bbed23c 0d7b9687567081fa309a01ed277eff22bb9057a8 0dc3aa164c57aa09b9c88ffc0e8fcc2c690f20f3 14626b439ab583b4637a9c0af4188b7cd6eceb38 194f201eff447c986a020e6d144b709875c3e755 1b82e829f446fba63a3fca6a2a7a703ffc348ff2 1e3e6c7f1d4da7b43f3349346e1c66a9f8421065 211bba7cb8c935236ec0e345fedf6d6819f44187 2728ffa8194fe9afab344d37ec9f610877a31680 365c8caabc302fed3ff9ee8febcbe644f4374d8d 389a3710aad0802ffe000804ccef85c27e7fda58 3fb8967b43639d4ceecad41f67bb3acc82980ad7 40642c1d27fc9a8b7c8e02c52ae1aef265850873 440878ca6799b6d283fd8db3f2f099f7dc240405 479706d7608e6fd92a5457f0c8901cd1d5132bb1 4868c60cc9a38c6dd54c906b398ba6f506508e35 48a0c17be2460248567820d08bac964fe2ea0bdb 4923965c750e810722b90045bc20f7498fdc5d8d 4b913409a9844cf9411f8181b2557fc300895ee3 4c9503414b3f62a492bc79aa9dca9244191e6269 4e8ceaa35e3e959e7944bf93dc054bde4f6f20c1 59c83a30c81aa961bf42e9dfc060fcb09877a25c 6c9b22d450ab29d38ca0844bdb4a891d6134fcb2 7ebd8c939b6ef34a72bee209000472f8a3d014cf 83c65e1fbba8db83a87c088079dc69849ec9d821 8d50cda3d9b7107bd63092e12948f91afb5bc5f3 995f8eab5d3e36b2e4af870bad76f96f9cdc494e 9ea6cbdf40547a8e4c1aa74603bd4e67b5136570 a13771694d398fbbc62f42a515cfe83502dbcbc3 b33ef40bf715dd1395f9c3b765f97ff00f588f60 b699208cb07be2c6fe469afbfb915c70cb65f38c c2b256f209d18fb78818ee60ebfe1ff13294fc9b c51aa4b27da6d6dfeb47a20cbe58836cf3d25a8b c53506a7dcd93fb440f1e92f1b53e0a1fc342179 d27a6a07ed173eff356772517e5c0c762337d7c6 e527a6a656e3bed29db6ac70d49fcf9e0a5b61e2 e5dff27fc80c2f1d54eaa7fbd9570ef0a4f19421 e925e55e9b48813dd04f8edb4526c348c6397946 f2158a61fdf6d3f2dce77d56344a5100f417da0e f45ffcde12d884cf07cb6ac925da4d42775c3456 f6bb88521115dcb4dbb525490caf3fa89564a77d f90867503e261262de94495be98857e11b694c15 fddad9a6043469746c9df68c899c6d620c31003cb9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 2341c1931b05c94af721c1b1ca9682ee82aa19f12325f163ca9e89b92dfce0cdfcffa2501e32b49c