SQLite format 3@  .  YYQ77Atableisabelle_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, "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   >|d uS]Slicing:threads=2elapsed=565.625cpu=985.812gc=16.028factor=1.747zXZִF! u]ŗXf1-/6vR[]\|⾑Th_&SXu AKDŽJd7<ӝ/.r:rӠ6d|yEֲLE\DPЂ.ׂG΍|Е@5zxyX#Dn=;EB. Cz~s5Iչ giudP 릪 IlU~8 XBrGp/kf Pz#_6zjJ;`Qa!i27k1qr5 N*nPY7 4 , F [ (T!ˏi1VL=7'0#m_6vҞFj'mQP   Slicing_kbcR$7m qyDaT`-V[,hjd1V02)/4'eϦR;F(N.$8Hp,ތ(Z:L]b擲?#k.M@=_C$%ǫzicD vM!d x^BC岹Quz!)7叁0z-VZGX*ny\ VlYj^bY3`,3gc[4yĮ:#}%d<=ƃLLqY\FLa Ѓ!Db^؋\G+.Iv@8T>/m5Rdl铌Z:/~p\8'8۝:BX|E ͵3[Q/8bԐ=`-En`/VIAV q =t'@{ ykػҎȢ(u~NFUK7jIL{q>ha}pHz:){Sn뇥*!dPe0Ajs(H(B5>[lP7^_]Kxt+Y|e cTkl'gw̔hꄲ/t8KoЀdg Aj?ecXtHW*UGoKr+ȿG(V!ۋoկGU ƬfC8zg旒n\;Rz>(5r^EC1Ne'9V ހftȈZ 53ˆW_Si }։o.d含a29%,:Be'5֧,LkY |+&qdXK?= mӫ}2!hE QXC<ѳXIaÑ!d>2oSAOwt$ͱ2 Ym ]a3y2[9] BZsG,c=: Gu&Bk&FqyV* }S"n2 N::MB ^ MW{@tT"o&7ލ";1xN\ˌ.Vt̋JOuUz[xK1wc\g$'+ KmC r5/r)ѿA*E]c 2*EcKM$8GfmLd)ty31 6fjo35SI|&ƜQ `s)]柪6q%6Bmgw.xR =B+Fr.CT0ͩmaTDVUqB]*f0A@z瀑r(#@0D$W6@*ebO\[^LNYэS͗7/#xx+50<~S9hWL~} 9Z_:N*b7'n@#Q K/.]$fg<\K/NM)1Y $ߝgХSaj@ :%f(V&Xr뢪k mįe XXe6MϧƮ͒X%qhe$UzQaLj)f-:fqrC ޹rH(D!VհWzch2X fgV#05cܵ,.> ?e $C/V^ľ ہ1GsW?R- ߏ^)V&ARh#/,U ːB-ʸO& [Y:E^zI[zğَc8=k9ŴyJ{X$` m?GZl`};n47?^ƘI(tX`2[PYpP1!:aa1жiNqoDFClKplיΖ~ȁ^5qvR%nfND&xOQŊӋ-s~3*W);nB}V͠O@L[d%Fly xGA QqVa1nv$u QqXJƪhv $*Ք/'#*gpS ohݮԫ[6R6rnhlu KvsEr5FPCm}Az;;~vG7Z|z(aY1wh`Zx ݟ."@S}" #M H>uXY؃cfmơ9!)ZYG`49 #yT_͍fL1N³PK Ja1ߚTuP8;g pvxܽncu{PAuU20؛ J9<],l 9gn-c׺u,.Y5}&)4_ykKrZP۳^B+iV̂C}W?54/moO5<\pҊc=sלSӭ; ~T"q~ao; T7V,T]bB+C&\'\t+hm+s|&GHҬTWsnKFQ&ȶRsƔ<-+W)SMٌh鈣P!_XzU۲>;0 zMkf_45V`i?`ɠ< -sG'lE*j ׉ǩ0i. y`Zo:7s$oLtR~$tP$ U7f- uI;W)bfykQ9:lX ck+;sk"5F(@L`nq<_02̘tx*zD=1O&/:iQcfOy7d&:FIH[K'Li Y`sY$:*rR;Ry!$0A~Ej[qGV'?Q2k .Θ+yxaCnȿI:(z*RCW _LhZڎ_-wO>tL*ou4vnl|R;3O{a f\# vl%=;0XSj9bH g N7 w4.J`*= ˊ5l }O.*Uœ=Z!o qdS z{BnFӱ+N{NĉbZjEWU%TU6[\X.%4#,$(#E67 5yќNL;P= W!O4"+.{ŀ@uKfC!:lڥ4,.)vFx (rB4זKcfI} #I/ŵJoǤ ms xaHt|OR-̰;]TWNkSϼ$-\ ucwmNlj*0JNh ž`kk1\O8>"5ma~KN W;8_5jJ@ RU5GSHS46gآ <̒޴,<T~9J%8bEE4QbX7~4]qHX (]}K805$Ύt@!e8ty9| ,l37#߂K83]dWTs5XRjW\S?)2s'Yk|Zl2)ѴdrSj )t{9Фjg V9\'+QG{z3J̖x|Z*}&ħ.C@ $cM<64w=]qTP~ެK0Z}g.Nr=z|\sS{K&q-XLT.Y3}$g? gKdD“ S 7GjpZ5 V#bZ'ꯉwԞ]O.<`.N0xt(0ň҄j*aE*@:tMSGξV8Ax 4cQeQˏ VdJ6j?5cElE2W{w@tŏUPш$vͭܠ?}2![Ei@ttI܀G{e*p1/:׿TdPㆍ)kXSxW8&'hޞq6kؔ"Z)wJHVD_x3B]iXVp@I}jC9lc s!x{c jeF0] E}:fբ[c!Ka1Ls|:_ 7HԁAĝla<-z݁3=z=͒i1FYR]Dضw(B7 (ГNxw m&xGB1͍6F@zFFj[1ĩswTˌhJ,:Tzx~vCǤH灦F3o}(߄1;X q2 V?io\Sa.[nD@>BۼxeU1Z"DȎjlT_󉜷uwX Š c#R( ͨ+6~sQp){}l V$%1<#Uu-;W@8[䴢ː+!Ye'< x#$ 8~B)Lu]n?B@B]S}yiT6TĆ<E}FW { Q< X'992DXN#3*:z^/.KZרcU?.W^0ybߗc4qgw%uo ֘l&ա YO`Cl;|.MI)mZb_BQRK0JFf̱CFw xa N\A͂'ru;8 E谯5 [̓@inI_f1yHwI>YIh(c{a;Ϙ2b[?}1299 Jg/ʧs_+*jM,MfK2Rv5RgoĢGUhp_fㄸ(V<~:RXP߭uVQ5U5y ;8cu'!EM&9,cgq+yl |@O̠Aq4?_ǵlra*J(lZ1kpW[sJ{|t 1kdMlVp M[@"b_`7r :q%Ǒ`J˩!y ):jQbJE J~`@|8(, m?/Rb`q;Kα6U64~T4L@Ӊ(x"4/mVˎ*ݭviAƾ_ @O3R\`={hC~R5-fjmps wؙCue1TM/F7pa=:vp":}q|?1j$Ou {u1= j~|h";J1z-&4m´7Az%b:;4J Kg:Ք=x);/vxG LE9_a|V$_igeE:%D G 2p SW t[l"٬)muf a9GkLF@(tSS, fՀ@wJLO30h jP_{ZzX k[g}*w")Ok1*f\ Q⹮ =]dp'|g ]&V+bE% Ka’ Sf5?A\%( 3?T}wAo*^/Gt Q鈥;uK$&{Z}Aò ocA2@в i)'$&2L<ĸe.FkcL 2Iǰ8 v;$@ M,vK햟w~>oa{*s¨Ƭ2YͤhMgeg8.lqn0'NF=EB(qgJD97@GϬ vAEpY47QX7XҬy\ز3|' "dt7-ϣp1+(MqS{ȻIrO*u5ZdTP^23čfpƜ8Gu$_Q@{H;Ejp58ƑsՈ~'8t!Q1F}j3^?Skq\n+Plu2jK3JfR J0 A5|A-<6fn}&ғa:WF)*xɰ\jR˂el>kJ T^]/])!/fɪ.KACh]7{s<ë<7 xI5.{/Mj ^RPLO|m@rͻ5=-@AdBK62py%߉=@]U eƠ,JtȧršNVȃ)D_<#nKc]M,qRYx˂N8^1=j.(l9·c@F%$*~"zQ{ZzAO*S0Y("__쑩KqwY*KnIle.u"ho_;(X0)z3k,ڣO\"3̙է4c/u0ѣGރ;;v=7FSWB3f AmkSra(vdqp&15ȼA] ƃٲ} KWce^jG!尹>I{rϧLKcmf̗ 5(U%:=FD&*3?oץ?{1q6aZE<l:a|<3Gkikqԯ%u_^<>纱K! ->ǾӑS,fiDM!)3%>я9g/:gxwC&LD*֠\kk>l ޢkPVFRw 43V/Ăx@ГI<ZO:DUG~Q<&@&p(\#+6CcQui1׼7\&9A $yj{cݦ&Rn,4֘%FTٕ⧺_Ȃ0O]6d`5Nb,9##HRkyN:m}ã`-NQ8:2PaɪZq|>J~J˸챡91dJjpۏenL?qzܨ@-_Z @IHV_b($w EutG1eÔ}t\n;fgUAIV;˦^U)qzq)NXGE* Bڬ$Jp$CvUj#.k3HBDsIh%^=Dꔆvvacr0 |R\HH}B:yыj{2\[m} ˳em^5T?Et5gp(=*Poh!ҳQ+y- ]^ݔD],ZGb2<$x@xvz~4{Bmʪ%?-q*qpT =ɽ  fY-Ui*3X:Fz$J#%+(ilw".Zq?AO. ) ^OFϢ-,"eXiz%\o,Ec#gȅE1%.5U-,Y1E2!' 0ZUlQ#0䗤-iS=,bOG"nw]jNZ\E-.n}s&VE~/ P}ƕ}A-svLۡ'_7۠0_?$G(Dh|% vc 8?=ki;iTGќNY?ontz>fkzJM_oyR[0}*C5iWAOfp̡uUJ`#,,,Z*}@+SkQ0 @<ȄY?jc23diDHXc8;mS(p7U#J W@z 54Uk{ɺ7QemzlY6 l8~='h< kjQ{B1vo^:}MAp8d {)ONOJMQ6Ux20.%g1 ̸F@He&MU䳠*=ܿh')(TN/e^ {sݥ c8Bh VAf8{D| 嚪G*PU8u?/ՙ&+g\k?3i'W_qJ=?.-1J} 'NЩCC ^DɣE>z"bv~>hj9׎L +>_}lWAGRҽ>ɏi}H5eMxşӗu5'v$>v9I 7~/KJg 1ʔjq̮ 5>&:ՆA{2ȃeVNƴ:r9h%] *q&KHVyR9^ԨN'Q ɱfʒ>Dj2~:Z;89Q¯*뉫o2wYT{̬ٗv }=8& "z eMPlc}kӨ1?{d˘ǶGCu͖E >N)lz i,{H,O 橦a.A,H-m diY7Ft,?ԛQHOhf@Fbt f>j{6 32m&TPuSbqmǕe$?bݰl*pplF3tUOmuIGS}rڣ+iC){[QvHPS>TPFyھٷ#N4LH[OKˊt2sprÚ8r::tYӔw֭glDDž,Q!oLw| Az9T[-UD6Z:Lc|׻(nnၫb(H<'?_Fuߵ1Zbt3kioqJ6A喳gNvF.Qe;]@ܿr50*@'r_ؔf<>bE|J屁2.Z䖍CPq̛z$n#6))1#" jX?Nq~M{<\ݘZYsɢp*@C1Zu9 gX*j¾¹X>gK?V,JKI{>q!-]`[ЇT{ɶS2 +U'FNl <_ms.N"s43X qa0ԑx44 PRQk5JckW(^jDD>o:ƬwlB2Z 7T~ă|{3r,_Q wA}F bvǵcI(a h2"BR0]Mzn wQhm۞|3,98ON(C7Rg:AH]OcܖRp5矂ݽл|@P9"|G)8܇7vVHF]$h RH&-wDqQj´ ] EE`D$}w3'{|D}a6hw,r>Ѽ[NDzN:6 }#}J5O(N$${Nͬ?2(T IQc?=!H'8|d8)BC;v 0NMa[~1{GEXe(;U($ɉ 2ԌԢ 'p8B n -uLM[iȡ72SS<;%!"<'Gm>1xb.G M3J7ԍ|!n-Ll6Ռ*Ѣڀ #\CA&Տi w}T+|(DkrAް{~}e}l:<7в=8? lձXikW>Gmر-E'Y3>҅dhTM'>'`qpBN2ý %h頇u2QZ8z]OZe➤i: 1z=O`shyLΰک1L_hXn !w+-Ny2;LJU,5j$2m甞߯yC\d2r}f/+ 7 gx(2)L˻%|5Ktsc?[ͤ^n):B*n Hl qǍGހrOVbDq@$5*o o3^v r'h騴P hA)(lΒZ#xvԱ8kwƃDձɷݘq[j4=JؽGTJםHL7MnkjztҭI' i9-0pl&jA?kP+Icuj"FEX+LY46b + *'yA@S@H;Ua@&q=v%f78#/Vl:@`<*b%͉͆G ݃gL:%$G9B$2U9Dl6kD ܁Qʨ#6. bg;m6#(,p7FA([$3oKkPqrsX=߀.r!8x_׋$OT:5[nf?5tI_KT8'9ց V.37Sl9q@ e HYR~BU1M\2w xY \p^lCO$^f&⟺|21{tX؁eRy9}. JSø z;PB "=iQ 1W3Bj`\uE f̪Vzؒ|-pNECҾ@yy "#Aݨnb,0Iy^v_ ŶP gUld{ nBTv|}T?nOg*_UۺbUEfpUbٟ`2`>jvc"UF| l_$wDi5Xany{q@ߴr#;!)rC)9]V=j\ðm>B'hņv.} XsUf ?bf`sGhVmBt._Kca"ĬCH0PYa~?' -=@q{O Ԫ8}4xun%-bYӁnC^9hzF]qK,K_ *(v Fj*|%_G>kpBL ğ706U pĥeYasJzn.gb*}H ?G``Q~lcGhѐ6`G/M2١&vm 4Q(^#xԸ5u΍-D2hqRS+|G@w, JOȲiƙ{㰦Yu2}CycO5LAdɟmǩwYʧFj =^^mv\ =Qرte/n EHX9eQG"w:s R3A>,* 1rKߞcb`7ީxqq^W%Mݙ;UjE[@#Y|I_Nd[0W+B? m0imc 50yp Kmg ;6-yJ"oq}2yf[S+@ccf˾ aur4L_py=pU4ӣ)6I `(꿥+[UKBtqhFw-sOÏǁdfm~iQeF24{BfcsRAN6]KRթqKq@cƒ94G 90Z*&=nb-@[\nE_2Z.zwiVQ?'w7^Į&V_$F[& KFOBxUtwHS{NMP|Bd<oKH[xO;~ȆzoAD{߼vב' ο !]3 <3 vBԎNZ *O6ʦFZcoٳ7-cՇ^{?q=Á'{L/ f/* xyd\5(-^"FAg.L[g3jztv ik!*-$HhZ }TyUA})JS;@ڼ@cU$*}E0UE3˦ n@z;1v6Z[̋4/|g}=LX8<(wW23EINސFu? |@%$`wcaRŶ>% *ldWI梭ƪ}JQĆj F LAV/*8O3'R }2yYG%Q=W0Uow_ߢS)`)y113k{pa)ad&rm` aөG&ޔedBXUOb-!A_SbPϽJL${g|Dg1u~ jp>T7$<=)<5EB>vy0[Š ֦0fuE2u܊eލ8/Ɖ \uNApAÙOjI }s0u%i}Ʒs/=zstOc.nhD] #2R=T#߅5ݬ9y(Z<طk YAdk vN[OwI>4)38!f QE  ʨ~p!깧 ._`W 7`!i`ec+ٌۿMUcGvb̟nNΗٮ́ћuom3n,yz=Bm%&}P'+)g=}::2!T)!5rO'A.(kWp|sOqMޟ2l0c&ꃾX5ٳSp6XhGf*zO=ޓeU Lgu{/CwKL63!Eͩ!mH"~zF]"XjzTn`S͜y7«?bQY,R1i|ޭhMZz.g Fs/s\ޟ6V>c&bJ3I3? .o?kPHdEJ5X  ̽}.d^Im K؋átf79fu MƔCħ19[6c.ۀ@T=QV44ؐ?&М [9)7=_8txNk'Qd;/ ㍰|}Q[l6HG'v:DCs[u~iXWli w6 el`AtOxZ#2HG e+FOD6KpA#gJ qчp_6~b N}61սC3 Yv)!e%E#:++6o_qiF`)jɶmlG)vew\{ܡ7u 6xc 4ۏhٮƵсE|L xřS95O:< Mӗ",{(1 MYlrF32e{P ȉ$Dxnq"B3,y/r59z_^a z#U60jL9?\\5wdS?r^TafGr:Qoٗlâ3>'Wdorm썸t|߀ߟ߿=nuzRT$}C8Kš;s" V|P`TU;|8>Ť/~+M\4-f"f2bV]Jb7ɂJ7Ӛ'LJrvXpVVq*ه}^BYp~ߛ:TT'th`MJ] )&Ę`_쾊N}cmw2h7ک[)oVMp6}$TdܰUSBgQ'{^ۚ<ڣ7[0 >dFU!nIrJ>#^.!Xh'| XV1V^I.p!W=G`u"Lr¸9A5 L"VJ|t 1fc=ߕz*(lG?aVD;_5n~Bh<Z ՛$֔ ML$T+GZk_wZ`m6$5nzK*bK,)ϗn23f v#VU:4ݣر9HUB1q]5+[-}#XI犆%0I,aQ(S`骎dr~q\ކWy4\8r4tr Yk<̞ |q4s7Gm1m7uEB;"ݭMt?':HމY k=x 1J 1^tJ8ڋ}` bpYuUnHgWmgxBy6pWp ѝT1/uk:FsTHhJ 5oO}-=۳4i *T{jaMxN_%K= _(xisȮCWXMBB!@ѱ]ʙ>PٌMTky7+mދոM5A Y3{\#eM }8|Xc N|Q*oޅ\k{$ԍ{%G{*JsO{߹=gf-e6=m*:2ߙj~4,d\b`3n|t`,_4L'xvv fc5%雱KxG\.̶3 ".j_Mf7Ϧ(C_ 8WαeE}pqс:#;Tkش#1Y Ͳ/at{b]]FL &[bzFv;Q٩Z`099cn9@bx~n| ώv[>8CZz)q@"RΔ_5Xftdy_xn)~%}ɳ[&Dӌ4Je94'qG+@}_HUX`U;J|r[C E-Ѕы m f 8 q`25HSd5n'#d-iyDkS[7:^[W̿D>ڲ@(2Īpp3ғ!gz!KAG^gͽg]tL E;%7._)ы]jAb:R ]\cl4?n._(NߺNPHm_S$NwVzEt25]F V~9"* Na!Ey ҃&S^ gѨjLxfգ.+$HDԞwخ` /<]?WboG0Ot_/&p䨮(sFPG#c%tew4"cb_nWc0&>ny#!1"͎,Ji}AS;! %=Dx;E9~S)ym6v6@1IN t;ړP ?횈a*|t!ޯTk $*+l_|cij1!:1j`#n\L֘vẍ}( 2Tr% ԀfLOgr M|#KwP=NN!9kGbV gDTeJf5b5Hϰ_ u{|oZyx=iNAv{W' )iY?^hIcE;G >: j7vA'9.?j)vasg?J]HGMcb&!QLWX r?΅vW)0(5kѯ|0gZle>ݴ[LV5IJBTkW1mL|e54e:WCG<+!ZٲJ6*[5#cNfCsF_.ЀS 4Pn}]h-)ht96Mw sTV,1\ˍo۱q~ڗB 8C_^ʋoN+?gA:Z@88Ѵe6mp<;_s[ t!yx0Q^x+Q [ڝ&~@kYh`+w46Z@"ȄfKͶ>dZpuWTSΘ%ҍa _-e qK(R)P0Fy&[J屢V*°VR@QH~A['*4vd|mfбJAW5d7  >,} Yj(Y@Q~ƜW PK$DҤG5riAʿ)Ri?MqK> )jFV;\,qVS%W<9,*{$lh} 8\׫ůg•[̪6v@e cku> EˤppV2gyCJGv[O5U0J"OqP:AO@ rYIEteY)"b`)|;ynNjqu7}DGLJDUBL@,*dC,rC#]j zL5_6>n6HE%Ql29-~6?(DBԧ6d.}4u)).y2#exe`HzKX;DJ{kXjb-~|~L"} ٫SƤstY|*Xn]n@3>y@qݢ3`![dcK!mȜH+%i5#F: 7A` w7M!nAu <C=v> U6DRvq{BAn&;+dnY߆E]g89u>OkϸͨD;:mv&[䯳H2yQxWVMrF\v/wqC"=E-bZDH,m₳fN!]ՎQYG5ώ@ 4E\빏ujC㹻bd8 |.~ObId4'tQ Rާ@dLѻ_?Bo~F[RRe .TfWIs]I?96)1֍ܱ]kFv)p0\FFt`f`[L|RTվYQ{V=[(BeQTSᴒg?Z/ai+;%r\"ӥ31fWpzS}rh{ϐV밭 5=?6BnaBDJ/KP}2DD`EcqϦęcIS^8e]*%շ"3b@RTȁ7/^Ӿ#= {>#D<̠Hln{[TFig~xe1I1>vye8@[j]qCe= x{]a9uǵy݀BZ8-!M[47ZofyKI6J&ĝ&5ftv/| \CjWUjj&o  B РsCp\nwc]w!e 3[h_Y ]1W?౻Qה#m*c_KG򓽵T'錃! %{޲]3Kv;; -\V-Bxf\8'`aH3pf0%" %+#*WGYǣ(FNhp0଴a0ςj'- hx\A~ lͳ:YWg'~PmjQ!h1Dx! @S6o4ip'Db1ƙZάD.GqiWDõ4zBrqR(uaN}ض,j{LFlpVG@79~$( Ue7+Uڣ#k8zY}¬ *b6-4ItP;YoE;PF.U L}Lu̚nM$9ꇼl}$GGVs{2޿[rv_AEy'/u]87ÔOO5\o]2lU<(.(?CM>OCq܍Z:dXdFU oYACL>܋nZD*!kQqb_5U}ͪah6\WVh, |Bac$T#rxn[h|UPg_4}:z`%z ] eDus5M c2>5W3A`0pWbcׅL?G q޸l&`81|3lc$['݅ˢ%n)Ô&jcIe\)_ Ԁ(-hW+\7"(t^t[vH: ~iFЇQuH*g-E Q^qEgdrmXcK@?̥( %NrJⲝVl|,W7me@qՍ8=U+>%NGScD`lP1;fꄛ80*%,e/&8vn\<†1@S?p2z(c,%O&V`b\@-G%U(DD,81InqQ"(zLzi@uM+|f_b_ / n.5 *qolE̻ME<r#ǥAeeLpI׭Ap`ފ9?PlҊ Ә"zL20/Hu *͔r*)H2t&2^9~*yUIO^sI 3!٣oXX > >$kpǥ`p_ԖxɪOD-`sG{dűq`jG{G6tl-mIa³yK#Z]>2w9Ĵ|]Jm5h'~+O!S@ZG*NJ0Xy:WUW#w,}n@"za¦}}BdSd~:҇a`dS`fz<: ЗOuMF٥ zMwK9BecƲ| k]PmЗ_C*TSĵ8O"6e 2x] ! *oDc⇷zc0mxZCMDZ7Z3&;?5@!:Rv/"y'Z1<޶IM8xw`#}9n)A3r%LjbVۛJߢjEЎVdN`,][hsr LX,jpk6pa.ѻ<ɣk;?]Yݞfi@kRO1rz4 fg&=l؂R$=r 6 FllY*PaZ6:6_)٧z [?Y#ҋwh30rƩ f:pcz-\FKǮ;Z  f\Zx}/`Ӿխ#Y꼃% }7瓢q ^T_ao~"X {8:"QJUkq7H","5 zPh6m F2 ,Ybcq=x 7~h&2xf)\[53C[DJV=cdoqA5 KrHǶ`<2M+{J7]H@gy،{^khr<7.} l ]*njƽF' #|] ySz zرb #sw/$EiD%g @ZIёpTcR6םw%bWH<YͿՉ*$ʂ}Y2gF:܈O'j9vdKŘees+8rS^QcE"9)WY?p8D,H?V%b5!3[=u2I k5ΊSQJ l?'LLVh:*ujI =\/a"}ٷQP>K&FjcD|'!{y ŶFlS2^55ŶM$7 ̬ ,+.=W5 @a$i[,]nLBi$7@ ^O,|jT(7ů&ff0ȷ1-G $[`+$(f>RX4#cLcd)FeOҼfNʰ f5E4>(sc`>aG3nۉ}[8ξ~'{ǻ|LwW8eͫTr.F( sks]BK#Jox @՘t[(b7s!2֎oUP.@mzPByPa"IsB&JRs "א

$x[R9*) >mAdz>Hϋ ydnt&-<1拙jRu2PBN5BX5mB~:aO(7"ƇCMBtx CtnI$ua 6}K%~u'߹Ӄ  X WCaaZ:⢻8ê#))<\i` shZVHj^h$:*Sm^Q#Ulnԋ| 8 EѶ 2 .^IPר{_`"|SC$)@)ɽ~22"Q%^Į PTtDiڗGi6]窉5sŃ /rJWn܇a2;v8}`1ESA9 G,8{ NMEolE+ Ԃ@; s0D6N1 uFrg_p_[uKiM!sDObHVT<Ȏ`gzh+nw h/?^:]Y :-VOaq*vz*kʴǼX2N1^מBI4o8JH\ifCqBqث۲)^r@Qi3.^B4Zmoj.77)Yv{HK+'9s c aז@6Jp7vSnHjQ Q((#P:boO0l,^t?GFÝ9m)±2=_^̓: fpϮn9IWMSdIN&;;|Aŵsߓ[-zn(=&om#)*GH>HQP1f"2-3 Fh}a/U̯i?vKn)#$m ;f qK-8X,ܹ.Tb b+?0rl5uao0&z,I'%(w a :a[S*% ?B#rj2 ;cp7yxYSX]|G:^JbF7*)vbloykZ'FHt"=2(5T3nRnrEb