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 07L ]MSO_Regex_Equivalence:threads=2elapsed=857.699cpu=1102.396gc=44.032factor=1.297zXZִF! w"]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu<I 7 MSO_Regex_Equivalence L|:! B+u+&.x^I_ܛG .y"aS%Mm$hGۆЏmjX)%TM|$qڛY4 ˦'tᨇ4xi|^sy@oQ},^0UcVt"!%hAUd.Q mLsiZƘd"oo.P|}^*CAIyg+i˽ljwIdBqgiưD[<#7Xw#KCdA_ɇQiԽCjypVo:dP{"O'L؊aa j VrNRүMgJ|RāRw |"ª_<턞2aQ[f!}{>|üx} 6AabS0gIQoju.brޢ>V/?MK5& X/47Zg g 1pVǭ#0쭈/-wJM&)HaQ:ǤJPAĔuǿRey*,jU .mXlb҉v?GXm@ j" yeݛqmJ\b0iy#b$5X8eE]ƵC&pi~Ȫ sD !IXJ?W&'n5GT]X鏡 #8?է [lC3L ω798X-X jw_mNר3 o(iWȆh/籚?4KC7~qj_t+t/1 Z5U)L]?Ux!R;[_DM,=s]uf6ΧG:4;Q㕍kz6%[9Zl3caU< FC\bDcm)ޗhN3(I4UxhIZ&,Jǿ;[8Mu?5{m=,f)SЀF_2X@OeZ d0s֠xr\d j h#v KyL ~x\OiOoɵ{wDǜHBxg@up%@{@ZL}SETo.]%= bu+7{D ng@KQ PG]–9h4:@O`Zhχ;8>lQهrV6o)$;%E)5 lmHUlfga)/Vhd㹍Ts_m0KlY~h+n:)~UfcpsGtk+<咙@!y*D,߉wgis 9Ǥcu9anSXq @9tD`:dfu@ph~)]궎ׁS 58W`w2IIY.''M9 r.jna0Գνt쉦uXkw#$T<s^:lMЕ;cs~h8wEjl2Q"@ڇWśK1nG@+&–N~PP.'3A%sb#:EJ5$UjU7~M~.n2[>?%.-hR ֫4 Ϊi^QqHu(#rrUh1 kF@yAF=ͽAvԄk1 Į>Le)iGf~BsƠ 9 K3-j+TF\yuܯ t"uS\ D @0 kG#ۧp1c;^l wIA/٫'>FgNCө;N2`j䱩u45/Eڲc~v/bñh 5Gm!sN ۬rMgҬM+j3F= H`9wJ +͑~0& HvC4Qh`~\"D=p6- `g4ɮK٢ X-7݌L<<5`.JkZ^~~[A5ģx;hE>GKB`Y?; Ȅɣ}maF-[8aanWC;8oi#/XŬR48c;}ox^!JYi]QȂ;|[qA:Qfc(6&xX̢U^a|;Vg\]Ua[Љ/ݽzBE%ڪ6C|Y(zw`|њ|$.mbssk!o9Ъ:3 =d>$p밅N~"*f#A-'kXlx,>'%%%6K8.:V>8A9gQB+{ AA!\Hwgʡ_H[M/C m% '~6 8r("hkɹu1‡U'Z_z\~̘p!ykQ$(V_~ElTE.80ߦL/VG^{ U*ݮFh2uiy?߯Xo[bs . Xtx'ɘO̧KD:to8t"72IݫvG<V ?frYrD<⌱0i#8E X:ۆh#f[:K$m @S/,"ŜF O,dnFcYЋ.߽x{_6˛#\V+)V/XaPۻhY2 kv%_1/! f2o}!7"O :Nv^P$u=nX 2^ GSJA9Oz1$g%|jh/_MlZro^iT:.56FvAL'F` 1?HbJSaV٤!ڝd(-Ƕ[gG*ʔlGy"m0viTՆ]6P6Э2S(lnfTzPI4]n-F;8%٤Ђl!}\VeU0 31aT4=t#UN|l_XX*\R<7!KoTNӱᴉ"` 1D9`8` +v ]mNJ{ =Xy.ѿ CK5A)fRUd۵,$-4X9bˆ&^탿^DDU*6HDg(,/UݨؿRI4bʡ 0aOڛ[જ_3Zx.ʴcg)BB:[x5Bn ڬşk/&&4ޛ.&0jnZnHxΤO膋G5_]x3(Jd"~{WS*ɵZΠBV$3[tY;+:-jѨez/ÈZշϵ* ˮ`ZVrѹ=_q?N%-'w3 {{^81 2Q~s9|6 T7,fe+Fڐ^vW[8vܳ>B3f^ 8sP_`\" ϭՍ( vKpf}Ccj>;ĤS5[W ]I_mD7'h2dޕ| XvD\1D~:q-3MMh9Ѕ_qץ׷:>B}8½'.䌝vZ ?hMe1'i}~\I'-O؛b曇Bڦl7̦kӧ=d-Ec8j9&K)oX_o>SU-[ޢoqV/gָ<(=J_|+Et~ڈm:N]v? @^WRáZq+_yzI_і[Q#zC_ϭ8bl?  &@"[[ WER;]{R+_WP pE'8/чϦ0r j#9=`]sk_֦0p^KhWq$-"m9ٍ8Qmko3Gp/&}XmX?Q;:x|wSc?V_SmNmCi).R 6Mkruo#.^L.Y Iau*.e+ 7J$? =d%G6thji wڦ: w! =fpʬavA.c4*N\ɂ;wš\:Si_iVT-Ue 2 BhTN(c\xo="'7 Ø֌:1|~|`xP$љjI9g \93FB[g ׄ(?\'M'U 8ڽm㐑)HRQۓTQQqBWYIȴ<+?x4v/FN]Ek˃Zu[\1|)w!0~e3E"h֐yⵑ5'6c9Oʘs#ƴ @^VÕ GLk0T-6xm;Z gMQR:3{;&v۝4Z}: tNVۧ9 T\0)/3FsQuG.$4 Df`̓6<Spw1? n kMe%AMK"*8e}Ǘr~OB%qk^Np&PO!^Di$6p֢d[2R: >1%˼&= ԛ^P%1(t\haM u8(t~!x12/QS-oUL^Ϫ!mu%wF wc]I]3P"v}1ɠ7vJ҃g7GZ3aXMƑ-00K/=na4dZgyKSgp;IF-yW>"mQݽf ]Bf PE h\B]kn=GfJWqMG!cJUw!f 3;miey|k:VaJLmɦ䚿$yX+ vih`;f}GG;L8*ܼrSO> wznDLk5~gV#(򶌁Iw~ƸU.9WqM8\͋[B\XK|[P 1hT+1giKC2}q'bAU #:24yP-%HWduvdvr.yX@ŸL E::ŋ=cν !hӓ֯hG vBTrG,^Ӆv#UZrl̲WocAE`v쟑-h}cjfأ<]{ZDvRXATنd #y,'I #wpD fnlmXcZiK)筝#E0EӢ}%]%u&0;ꄈ~"[2_*`"a ɇ-Q7WN1:Z~ӫ7}g$Cq ' ogҷ`r q)}D7$>ep L3|$i?<0(k|ʢNZԌ+ TjEkb3=Q=k+!6_Plq0L`N&?e+cSZcץvrT9g#AӳO cFIU%e_Mj8B_ j %N]˲bT*~OU7$ӊս?}GV־0kg/dG73v7~&r2N h%C–qq'|{BFLtm׎5S@S xiIZq~k {>3`/ϟ+Yq~jGr-z~ɫ6Xq0Q$!u T h,1@Q{nn~MC^MŐ' o sv ח>9?e +[;AP!}-uWe OSI?nTŗ6UwT։7\ v~Y:ׇ {F{۬c⨘䀉61: +>TK>dQ=ë{ߏsL<>#7;YyAL;8}ɻ]4L>ҫz~f !thoCXYrYF W'ugeY̜x 6 ̠MY?o }_mM;^KEƚtΙ޺3#"%h.-#,~ b(X*EMR kb3E0M QP +G1]$4*qWH?_y_v 9QRf&PACz?HG\ xr쨨ʞR nWΣܿͽӆMk1) &{8ᅲJ-L+ĭ` 0Q=5/wsIBvCFGBmƌсշ݁׺>DwgP`/ƔnoN-Png$_ID^lj>EsWxj'RgjAeᾸݟ`h٬CrLE,neηq'9h ן?HM)Mu6[/C~sў}x^u6*tdڤ̽ƭ-fՊWmR'E([b! ~4]%͟le 9>MCvJL4?Bbκ*)DÆΰayۺ2ClS``c rWz|w8>TN.uc np+(>ޮ#@5I#7 (pl+ d,:[rJˬオ1_,=ʘ#; x791Xu_Iċ!ʫ"Mhpo]3X m!>8k~[֑XBDFcO <6eӏݱ" $t`|L$T$ٷn¡9i!uBH"leo9"isT2(;̚cp "L|CX-/uWvqea?B,Da@v#y% .g,Y^yCc]'Oor-clz9,\1lyFNe*E[TwՉ?=`)S7t#64dw:t* ~A68Y*S4]fȶ>*Sգ2Eʂ7KJlbpNg rAO,ל㊑(N6qI쵌 810$|KM ]^ "7Iz#q fF0ڇ &5ZHs߾X<)J_%Bԯn %k5 *S жl gLʹ Jt&?&f1;w)%٥qͷvW!+g{s;R_o~\8{nƩM=Vd9k(k2Q iy{gmF@!|zkonM$[[7p,h),w#`L/WBs63Z`SRny,\]}|cp#IhxlG:4yJzi)C"{9BvpK$ '&4>X/JZήn\9<>>0Th5ܒEϺta򳟆6j 4E*>77xm9x=ǔxջQVGKWTEjݸNDbӝiT!/O`:Mmkf{w3ș,?] F<dN.Oi之}S★4I \2= n)TDlZK9S?f?bT$>#rIx5j/@C< A "SCsQWaFB*od р@4Bkf# !C'*Kհ&8œLJ K>@SL Ι/o7&So#"ҹA0wҞ* 骯ibz\eЭ Dٜ{f 8a]vp$Pr*nˍ"οMFqF߳~0|%7%~JrL :BreHPSi髳*spr!;f4*ye3dZ7iv>DNJ*5S|TbGp& }WC M9\aPE2 >\+K#Tong.,.ˆZ8I5Cvb|NUh5QD8zfnx̑.bO{*撟82,벺{@3\ꏠ2v@{ST3ẇBu#i`H輊? ߾@Jɵ3%6" b:,uPyIHvWKDA~DI̟0V€>|PXIN=Yۦ/3=6(2؝ 3u+%#0ڽjHdTjr힋YT%|K1Emp/*W$Sk01!ҁuЧ2kd]ˍ'D 2Ny'WAo#6צ,0v+~y&7; uH 4 Fzl2VQ*lZ5)g`dxl@{TFΜGFw3^wi+c6İ<7ygpUJ.@Ꜹ}zmWWƂT,ip ^W K-dݶ,ur Tg]mdユwJ3 *B`5.Ǫ70wrMM)_^aCi^AϿïg\ V#iRh{~f龳8g>:-Ѷ%]\w3%@?%ǤxS'f@ꙠY*{"W\*; =Ч;L2=C^>x 4!$t~AYq"Я՚x2ax%V/2 vrRX-Oj"fٞrOoCQ/^{j̵\ͳ}5ŕβ:K 'e Vѡ|RZ qQ+_FbH.h%"]+S2咊ϭHM:+RwLku"Eo3wifF3i'>v :6{FdBlwi%+ØC0[5-ÉS}aF͈iEA_k|8~P) 3k_\ır]^Hf9:?>]1BC3Sv~5,8t[mcqr! Zp`{ ̸*Ja*ps=o`cN*Jy\cpɖ۪YwK*w]P% cY'MABE^;D9آ0R;oJz CF#A7jLJUc )@c1Ma2e|M6N^{tNe2Ts$:^5'%\.jVP"s|`Qݜhw!kI BkAYs|VlN%Q堉v3M.6/tU#4䛆 B\%=P&KW!d}@aȉӍWR*nC{7Zvk7`ZBڮ2E7e^ݛSߛh*arW|IԩHg>KE^iTy3?_"oB_5cKQPyPJ3ѰI1,2aK~Nb>E? zp0e<zڕML޳5HKFf=!U[<~0HL6wz|1RPt%ɜ60N$*QqF%䪧"b[73K jM2l ݋E$9RDd)O32nњAթ^0&Milczb[.4KVa R@a%\9iS/FD2eLF5/+A򄀦 uԓMz(nuTN8* yw\}bȒRO?=FqQRMd \ ' v;5ۧ'F0|}0ND*Ԅ` u96֊M߇ ,`o;9 *`3+yŅ3wGmmn-#f4 (^4Nr~~ߩhU 2MԭC&"\?hImFN0K6`t"eW ](\%8e7f*^yeK&KG c;K-AS#ۇWMrSቫtԁ<_!4jRn2"?^pԻY<}A+ _i Vb"+e:T-fq!OQ|]'Y =Q3pCջX|:/j"- BK]<@ V"GGXsuMJ'N 'L; ϝtYi1\a}נ)9d壴QqLj~U]\(cuԨ1$qK`/n Fsi)w6.>MR$q䑃x]k;3̲Qe"4AFā;w鴉f$b"|@]abPD~^y71a8Ʒ/ i>wW2."jcRFb01% Fvs?N[&a7 `̒ʳKjZ fRzzǘǤ X*_!_Yqg(mEx6[M4qغbxde><!M~7կqÈ#ʲtwx_ob0v d>> `F i/"s*+O/5rtZ4ǟdKǏ*}mr['nCW;5_!ZG Gv'T= %[2 0/cF6 ?2yio⯸1.#= >b0w>&嘕{x1۶87rg@aDtl,W?8.Uـ gj|Uj_H/4Μ?ϧ>mMKTͻkMރΤMV,qtٛ'(~'jAJ}i\edJ'? ׀0QkKxa].RvUJLC=,izD)asX'floԚ F$u"qV$H2Js'IGm1ܶS=<`94KߎK TpC4UL@/1\Bv^x%OAl\s݅ tuB\E`k89Q2e!}/{cR*2gˀ.sݜR#w*jm1lVwZ8vtbP8\/T>" OPJ@L#L5 [ Hv[-kgDkXHbrZs+=iLu6z`~P' l,EO%P^oDOLzn G5g_W8qB{\ج-l`i-tfM.,d,<+(yg,T|g (n3à VHvy5>>^xW*ٞSۦ='NTnb_?O=/{)6)YԿK+v2b Wi~cH0Sœ~C\čW׺YIͽZw.e3t+^_z;,\X_,Qe=i[~SoŖ@n^{aw8 |5s{m) 3*97zXiCW'lkT6 g&|RT~D0q@/HLWjTf;Y\L5M3BNmso5ͩ2px#3-rBlOf ̯{ٚfB<7B˚JjV]Hu9U@d`նv {E0q"\Gǿ 4W)euw\1#Ɉ 1I9'90K] ϒ +nI3:hlDa9&dgFC7W\b$&̢w0&+̨ E*X:NVK!uC> D½s.dڞǭGtp9emшe?Ѕȫ͒1wNz ]-hVHK}[*3/`g1圠,cڤr祝op55< ibf2%' ,t=P{5p|5{nF1`c,~gq!thU+]y-HmOcr`0-d׸{suu< Ju D(4FwԹeS|g ȿ #/{>&QS:K*KP1y͈4^H#ZDh7󬨓mm0VfC;JP[jŵ]S<ݩ&BH R F9n+Kks<䊙WZ`<xgC| [Y`Px֩&tJL 8@r*A&IIbj)\vщZ]j{s0rLqFCJ¸a ȕ؝Kmvc5;=ˀ[WXR 07I¦N?PWb5 IATD 8zɀ+ 3!10тgKkjZJ#.E" &c~FRW)::3PT/3=4nNZMA&X83R?4v3I+!ϧ-4Yo}mXiN9t5/€2UtO4)l}*<]il~8 dlSz?=ph+e qb-Cl)sn&iDaJ:sG%!g-+%&taO_p6RhtLN+;խMYXȨڻik8{ţzbD67D+n=B#΅ iF5!$LwlĐv< =4^"(g]e =x %=,1sO O^ 7 KDimx[Tw~" 3~d?Q~Wc?]F_|ofPx&|W+'p4GnVxC[Kx*%9xGA AJь^@РC#7 6wD(oUt#F~Zr|!t:ˊzvGaEja$^Aݕc[ N<b f(BNDzazvo{t\9,;G^c_?4 F5:169(C7,ѵ+bN|2A W\k5,VPMg2ե#% >ۃ ҟ2hAҤ"Ľ Ǎ"DӖzB͡Kx%Z pU3yNWTŭwEȥJGiA{Hrrb+rˊrFZt )]WP_ X- sxxb򁋎y)XC;L5b88*adtJި+0R>{uXM"I & \ڠ2L-RĹ#E<5KtOszOӔ V+DͲwc2,ho=~y00!\,~FRLw Flj~;: nfp `v:G)>=+"論^a)o=1`H8ݤ1*5Tx DIxs52Y5oȭ:"ef~iKC/6xv=BY)!@#iE7v05}ftǶIl  X`CE^lr$!pVY3" ;Sڛ}Sa`iP Tkdk8IfQJ|мUL1P $ a=[FP:w10]Ӣ:!hEֱE\`+巳7f%@a ՚Dud|zTAL@=푧)+\1]5 P&P$"gYB9WE,Bz<`138C/QbSXܰ% }E]_%wojVyfQݴHZV\R\8/fGY(C>iʔ€WY6֢15~MQ\ H =.6yLy1;vMn,_veSCPkr4k#޳̸;2lOLԵ(-v6A:λ] т ]pCqld}LX 6xVC#h![ww20^AŦfDFqC3vJeN.=^Ѻ1@A CUXH#H?' OSl0< ;S@ZM tU ~&+E1HT$e.] Kwߴ*'}&rX5m_HBew&.37K vk1rZIxN}V𞟥 111 C #l| ;TmD}o.LCC4WdtKd[ {Vɔda n{:䌗Lj<@n9F9jZ }c|+ZV=9N'G7f7Y"BԨ?29:?t `6;]heij'BySu ǼsF;C@{R?q͡rDK]b?Ψ"L!\/`9th0l[5NO"fWokTӳ ݕf `ISP %>"$@SXhͼ^%Ic(%3뺗7$P ]:SO3El†/.m }H @pBTh$sMKDѴ4`Ag՝\&^S7p^tDx%'Jhs&`n|Zͱp*Հ,_ ; ):!75-/SHP\oYDҧ13ܕ'0xGt u5i`6zELc>w52A_OUbN46|It]/#auq88V$55[H`Lt6(I+5Q}ٜ4yU ETU >md "6"! `}L;e֚խ xO1ڌ zVyq.>o!4L܋a5I4W4yI#z~ GܦF MlGB;G!ݴ*ąjK:F U|GQ)wn3FyͶrIJ_oR'O*"SE& @p>mYUIy5uv`*X 5:tˏЬ/+/bq(ucL bU^1PDNp2uf)tN',N]ve7m_̸chK)1ka8Dq\ cFKU9:ȔǪ/Q-NX|fPScuQӃ=:م:Y'4E×286Yn mPh5FFv%y6rTWƶ]`3ikbe$]rƚ"$ ;I̒2ΐ~>j&Qp! :Qc9-XL+il50,&ezLb@jݥ㒍`(TO0iv`N|h1p'BR'#m 頁| d7pkP/! *ɶG;̓axL/-ߒSMԢAo>5*qpf6ȥp)MTHƇ(!P_IbתǀQAUZvzݯ-#ܕU&3ɞ}ϣuŦ>3wR\}p;cV*#YO 8jg mvF\kW6̥O}U?*M\9t7]%PgL!Rr͓/X˱̿w,H%L#+te]$^D)0r9`>9uvn+f{dvMw@>@ʨP3Z꛿"']='p!Z./mZmYX a,{;ܓ6.&Y`+]³ !u̎ެf3=ў 1@3Hz6ak$vvf>I{il@ STM7z2m0{{hx*4ė'H%GǽxV\gtbut%P3!ϧARKE9_UeNNVEyIj}5W|&}7]6`U⳱h&$¨;9t@$>Nrol q\)\zn@ A0u}~AE.5ڟ-qu Ίd}4&A=w8qKjW<~LzR H<x@G캫g6JOWПjCm|N}{Lόi8;]fb)iiPW}mҤd0ݞ||:my\b&@zd-v%$٭.J|̤ Prҫr}E· 5$SFK|zvYJ e*f,ICLR2>>eV!eVVri#6 oվh0^h(0rQ}4H]Ғ!`p#ٸT TfQ,dpmަ\~OX},UsMTF7bICGAZi gN@][N"rgWIJX ,oqK7?1$z%Qq[|2] v< 6דBDdn\/gZfcT0#?jppx_‹iJlf*(ov #rj̑$b!Z.qF)sv;#бJ!#qS!|dPX%ƣVznO4dLX>SFQF߀ FJJـ5|\[%V%yGٛ ,Ho6D 1C2͉vLɒQ;^Ka>4r기Lf5712g="}̠R.;eⴓI#9vYyٞ ʾ*c]Ff.P Éǻ[f/ (h#h'Dxў {'/ BwlD1bXH4'd=]g!7 TXt0BӑTil82@%B\4-$ut\8v/o#f0W-łDSkBؓ Qf\e`O{G├מ0Cst]-tv׀raffl [&J~ѕfQdC)^kH6ڕ94tM$%K3dZ2(Sjf:rM}U픻9)VA@/߳|[:TesʐzKD&.Wρ(\^;Q@O}8-;$'MO6 W$*OcQeؼj}E'=r" 6mB|Q1 ]z\M,*9^GDݽujA: + GX4Rʶa9(VN0hrjM~s$s أ56C7 @ ;Pflw"zys\`.Q[!mu6Шw<?WfKdϹD #U,\̠$>sWm(v0aS뮢::Nj)gʘdv2QNV/F&~B4ҨB._11~UNYrwgC>\!kG((Ad(@O 5ZگGn89T ^@DV8[7I>) 4ӂ3T;^-Wr;ָ]RH\w}EHiây[! H6,zhd: MC|wX.T, hX 5J*ܽ12ZLFY(*7ˉUd"oȇUʩ[qhwF|6e:sWJ0akQUEV ;lPʻh6z-p$mL jY."7Mdӕ(jEly۩mfG'Fȧ椤CmYc*l i>7aP6WKT3\ |ƶ?O8[Lê>[9GEΕr-[H2<[G|He{Tv~Tʧ7 2ȵדm*$ %0ƒYsBawk}[N[|DPxy&7C&AygJ#h)BЁ\g ;:@s0 hݗF: ǘ>9IK#몳NWk0^JPiߴ[ EE `RYYѶҭTz`ACE#s0r=aj@3U707ᘔ^97*}'zjӇ[Awod9`*P%@#xF"+>L*!iRxZ k:g1}C*\˽hcTObyvXkiv&IFE ;_~0c99Q~Dd(:J}pū+KX]z(iSa{wjI3 |\4cEdoq='u0Hh[VK'k:OIآj[Fx΃OmxL}H#y~pbf*Bt 0!cR^>_xolܡPҖ7!65X( 8V?7\ v,WY܁?HRR٭(i~{)x3V:ˀbu 0J_+4gg:Mp\}Alv/U6hd[6-Lt*EE|"REn x[xia塅WBZN9C~(}PC3 lksi%I}ʿ pdؾ^!N޹S:,F39EAxO?CLQzz[2V`Mr0)n 0ʆ+( ٍ$1yOZ~MvpmNu,-ɕpeA`cZE2^-bXa58 *娔fD;/2Zg(nqԵ%s%Z24k#i83 D3Gr6փ4gtjz\dB#WpCdOj3y=m:gGpH9C܍kW>^e!ӵJͧxc MV]K-+I I蠎'\y2 賗Kjݗwa3h`AcIBj<®ae8a5ӓE궯(j2rv_@̂H-eH-GWnM#9&`||]ž-=>PoI-`=.կ'>bQV`ۼ@sPTm_Ba?t~;+iߐm5_^1k]f9g)5C9ek+.0ky):{Z?Y ʩ %h^CjGjeJ){hSXcn6Vm%;qy@uiG ɰ@wͷ붆? Wg7aA9TX!q^89yYDX&Dzp_A&hc$(`wM2ݰHKd66H팚ACڭbUJe.M!(Sd.sVnd<+w#qU`O讓sRC8:~!Nn= LM IT:VIyS_'-|&9(̩E%4 ;[ؽJ9UP@׍%ɗmKsh.78c  +^ܻؤ_ֶ|vF. ߘ+B2l2B-~Hjў5éő2Ybʐ~X.$`{>HAdVH+=E6q#q5=(tjY>i*,KRS9:cqKPl\I?c^Bn%=716@'[l8X_D1Mp\YYj'"r 2<^|Wa#fv>Te?i3)>4sJ"eC x7`P:+BBL <+H]C2ɲ3!ZF'|ܨ;Vƶ-3+#1|%g% 4^L'e?GxQ}*&dT!H9* \Jk* rM}<ҜCȖ!K3]$'~ Qi\ Jfs#t R5393)0َxVOa/ͼ60l(4Kß ^)ߺ`:$٫8v>zJsL4wAIag!Pv*xL4&G Lݛq+ ggOkqD 5\&=^]",)کWb߃k$ZR:5»W<;wJYʻjbHu#.?PA=1Tu}j'7>ӥ` #xNam}Xo qͻ0C9ބeR{+RqvW1 Tv 2E%-y8PxMJ*yrGʟ"kk2ZIÇVh۫f͊mn_,Lєϧcm&J2ubKb-!>w7dckDt*] /ԋd̺Kލdu &'$c=:e1s!CeHh6_Hyڽ-BFU7: .ȃ*[S$tw%T'yk6f'ql(^CHH8}c0 . cly-"SP{E JY2^6ZGqYYSO a,hј]`V=o@4B,j?kS}GNbS|=WVvC7W)Π^n^ՆVj~理xIӖ: xz4MUdI̵lhǾNQ1qA:x崿W:* Ή:aY c"~2Z+`;XӠ^o/& 0텔&Z努IHWdU{dliw­Qb3w5Ʃ*3"i0H(Ӊ&y];tFPKd~^1= M$֥cb̪'zFi /hq"7( F6jv Ve&CMBА>ARkiL(m*$Nʝ-D!Nl|hi3U׮.ab6bkiuqZi ~ZShr^̝ Aci--x=:d*e^Ҋkp5xn.o^y*0/zc[O# THn`#TemEs,ywkb }< F1>߾q**MFbY>]\i3pcα4RCI6u-j@3Py4q g3E*4(&] jxboUZ c}L_`UVM-ҕֵe)g`SG;l":7 ҆w;J YK:xz1s {7hh-=YSVWySzOa & !3o#X1!9&y-y70@14>BJ{YKY*JO_1MțnŔˤxgJ)-nn'-NO=/NJb.‡uAG81x' J\jPL O9pD]j A.,JM$U7E&1)Pirj-Sb.汻[lx|C/co%rr|w!e)w/So4y3`v[ 0=fjM1Y%bu9`.CiG"-R8OYܩc s 9fƟ y[ ܣKec$i$ 5 og)g?U ({B0:TPk ҥeJS C͍ ?%r QT,i:xMV޶rcJIRlp% kZ1 X>a:*ө kwyA=+D~1F:Nb{s! `b+4SSj+&: S't tnWx7AB+ KEW0+w.fH?W἟<3v#.v$U!¡J0i=[!23 h$K0q7 <5Z_KUPlI >>jU2<p_Wu=-s}|զ &Km4^U-e +i4TE|`'gNHE;jgAvi z͜͢;?94O ivyOIA!kkҵMFa7y2ښ<-#xCoTlB~%V*Y~- ٬'GQZ%?m`Q @ _s?c`1Qs>,i hZ P7<ͦZIS3ʊ e'wh SQw?.Ԇ*+TbKVzCHt&ݓ:ndLǣa>Bu[0*lky1^ '>J8r7#t` 5SzK%Hq81Rx3x uiA !^<>3U8z+c!$.s lW8j2үM*%A&rF:+^mwߗ+T}Ŷ-}p˪JK1[bQ#ųp"+uk*{ёT;p`\GwظcvIG5E#N*sۤ.g̚aw'ęY"*+/ТOlPnp[6-

#dڰ5-ȉȲIrL>9Bl ]rO0pf}$a{MLΜ%N\ *e8GMtT[v-G wSE萳gp{MFrt<>f@lPkMpgȀcyK`| |6?WˣRNĀ r~(5Ɋ&|pړmZ|X8lTO)C<؉# 9n}b* 0IB%n/c7#.cPM4BG=>zR9d詡<>K4=T>NL&Y*8\ޚSr_o'MvՂjya=uF{ܠWK-ԒSh\TdOcjg xǚ30wҺ"ŭdėA)zbEOnp#+Qz\dpQ[{}nVS7>>΍aPg׳ve: /UDLӯs.zyq0sR8%6RX iuʒ@aa0d\m &"u~lT}MOǣge:͊,oa^=~}Fma#$%ӟDa h~Q((_mTbBB@y+<)Ρur{rB1$;@˱RP0@PfY0A4z\1=> v *C8|6/d-RKE/sxi4dIndUtlR^bg,H "N]:"#Ъ{(#؝k>w[Zst[]x(㷆+ZC폏ۜ$MȈ$5ZxqX%bnكQgaLDQ0ExhQxNX!W:#ѝ_kc #sP!mKK[w_Ky9\viukDS)duTFCB`*{hinaM@i|:ֲOªVʄRGvLn!/=Y27j%.L-AT{ˢ'{%<3'c.}$6Gq S$fd|NYW([Q$ S yk@xFmDTˤmuM乂>ͩqI7ywzO{C'ڧr}tC ͟SICJj:9~T}͊6E "(!-&UܞnF59Aq0ai^ AgdW]f1&]N(1¸LRpkgUHQnD=yQyPiFBe S`<~ǖK8~[oWc{jޯgJKEJYnby+T9.hnw*RZ~Cp}l[38I~=j>֎b/8_EV3-m5I[ x=t}%(Q"{!g;DO1lTfF5QNd-ݲ^6lͳqᢌ9z LpnvT$yTV|/ :ٸ:p4*GM*YxbˤP lLᑕL2u6e׏ʎ J}>`Dx ,cwG>cuOji EIzhXTAm䗮!k O{ɬKAixeC6}Hfr=S]5w,:ɭ[KiHQ3x3z2~iy(Q^.xX䨹y |2ߋ3JH N;õUpap,*vNQTloe'5i#)>bfYUV4t~K>c ¨_FjTaETR㏗frY mbt,@{[٧b=&f[fۓ=bڨ̯`IkR95q&]ᘠ- Sw/9+0o*9&:~$?\ZW563f^G_i.~n !WB?7<-Al15U s.=JHO1Vbt$>6#s:.!ٖ=G1Ⱦ{A2SƜW)͙XdS=q$|H<"Njr:;Vq!pC,4k%T~\ug}=xIb0>t|j5-zG ؍@y!]'*EgS.kw ~&@n9K!N*}%v3o{\o|\/.xy#~CCe?R }VԼi762S9$7}&gɛ c0N5}t:2:+;Kbwnw[P\/oAKNs dwe˦>=[4a5.#qiޘAѻo4/hBrr}dpW0%H7 F}KNYݩ?G(s~ /Ag l5J#KTtI{_>)$Q|t$EoQ M*3Y ePQd="85J(LdA*Ťs_ӇY0X2p[n]QUbVF|k0yZU ?S>5WO CϤh g7:C m =XѯPz*Jmم{m%-cU;ϿB8Ih@]@T$Om^ ^`$>li\˯CJ$ͻطBs3=?z԰Ezk?c,"nŷ6;q] .V0W"T\:0[3Qpz55>-^÷ R-X`&=:(x]w?&V Utjd;%>t n@VP~!MVTR|ޘ yzf?]$!} KU$ _|;inR.Zsv"?xS|,}F&^.Vrlht ӶGF?\uzԡo߬75>a}b" U%V%ju3XN5g.gYcE'2X罤Ȣ>r|4x-hDZFvݜY2L*ۧ'/0{ov)˼[Ԃp-]mrbpu@%.B@ʒxnbP pZj> u?ԯv&'sF*ǚ }nnC݌s}rD؂48uk{G߃ZJQl{";Hɤ\wYڔ7ذp7EQÃ1H!O*1k$$9 d3KjKZm; x q >\Djƻ:x"bot /֣=Zg.'T[-0m4CȣE5-/;zjo*^&ꔭ ;<(zOpb-e'_s{BBE&rz)dd wv+k[X"9k P{9(de?:$[ch pqX($_gԿ '=k}w{W8e]*zbeF\]+X'j*Pڜ♜ip֥K0e-CvB^aRA_`r1 y|@EZC~flҥF0hh1f|ʊM$Lj.NInN#B =U3qk}e (R !T]Rupn|mYYt#c}Qnr]\6~O|>,  T,TɌd(6(2OܡV+Pb2?5IKi4[Z".?Rl?!Z[5LN&s &:{9k_{RE eʍ ,by=M@J dehFv/Ϳ4inYjUr;e$2]bPT\(XS|=y$F鿿d9/W<. |`$_,0e7tgMMU$\CV|JQ7WkL6줘 96k=U:e~ ō""X7}}׿NJS9O!(RxZgYZ08be19446d72f9bcdf2a842a89088d9869228a5e 0b69d8c3f70856201e8c054bc34357b13520292f 11a396b61ff67b5ec635c1f00c6f0e8d4f88dafe 1e3f3b9f42d40107a2af3ebab615eb47af40ca39 2bc18d57ea87da2d3db0a06a6e5558a6dd698150 2ca548f124bf08fde0c7f05baed9105248d232a1 2e8dd58e2ede383cbc7fcbaeff3b051892ade632 37e048eca1afc2c069cebaffb562a02b039bb22c 4178d8263ec1affc708587b75c04983d8347c352 62db7c2f912509ab5e52563a32412f6c53622264 6a817a13ea5396c1f21b029eceff23213f20f9a7 7102c8fbd6151cf5569b2dc55155eb20a36b3faf 79f31440868c5686b204e83e4f26f92eb8d94f9b 7fdb4fec52ca3e0a01be6b2d7adba337b9100adb 8a6afd5bfeb7cf465f3f94c15c377f7b807b94cd 8cc6283ec74b19d9a6bd2a74c7cbc59522750437 937f9c9fd64a5f87600ec011fe348a83238dd506 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a273030280c4fc85ce6bad40db954e7aa16fe6fe a526ece146642d823be07862c7c8488392c4dd25 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b6d0a023212be48fff51171cd7accff79761b911 d2bf831b160f6ea48a6f74bceea75324c48877e9 d73f179eaad464b075b683de05552c78791fcc46 d984bd91b3c24af3b069d46db03ceeff6cf25e56 daa5e0248528bca893daa43713bf4e7fcdba0c72 df7d6430a4bcd2af648a3201e1da746191011f8a e4e06934653818985a7ce91b98ef63f6fe3b6a97 e568d88b6d74be27f17e0458076fda5c5a80e25a f03b13c1e0db20710943bde849744b43bedf3440 f8ac88e6f8cf4d261ef5f5179023ce80c9ff17f4 fefcf52cdbc5dd45bda0389fe4a696af8c511c83 ffee0b4350c5faefaf940ad0f98f4d81bab1386d8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a76f26dffe55d541c303df602524eb0bc881fb5a7