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 n)t,\ ]%]Groebner_Bases:threads=4elapsed=357.562cpu=1264.676gc=133.580factor=3.547zXZִF! n$]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5H[<&X|I5|I|c3ub ~213j16W<6(ZJEx[\x(l4L) GCT #B 3#zmO՝oJ!{6a~RR~.oErhOHEGD좲|]es۵b{wh*C ) Groebner_Bases  ۗ<;ʋP0NRڻCG&Ik81A\o,i5ļxuf]Q]ƞ;D|!Q>5M21Qrn`D.eҳ~c oO ^pj 3bkڣQ$ښ?M;BBC1@a_V+Lryw+.{t#ᘃJնVM=7#u X&CcbP**fҒρg֢uwI W 7 0Bg=[X|S۔J*Xhy+Pi<@kO{)^{fuH@('F4!G9q&ea^O̼Ns-MGnZ5bQ! „"QwrMl99Y^$(Y4Ɂex[J&.ʡŔwK˻UqvٴѶ<]JH<gKVQ\eWE@ áy4vN;L:oՎgz\A[l'2_qk&Pj)4AP[<=8'y~uȞcl!fAfQVpYu* [ob2*H_xJ)Y.?qd'ۥnI>X TFux#3#󎏗dXL_R¬ NɥüyhWzn"nʷ5AzSܴC1ԡTGw.*Ok*3)[ڟ\;urzDC6vuEjPջɢAh k98ATUg攢hm6ebCb 5X$ bB3[9C𚟃BD-) GX

`t;H\4|WR$)Ϳxdo Z9BY^LETVjFv|ϮZXv~HuiBN4.9;G j -yP-!;9Cߌ=ֹ S/[%'tbZ]T2ޚC;Zн=U^O Bs" g0o 1׫e DKЇpa{yasF gCB83tW_SqL~,L8!$|Ifq^Zح?%A%΍/N5;;2Q\2(z -'@uLMW  ^{/slѪD3N7PeB緷P^Sw)jd\DKm(We S|>!]ot:,NR" dX9Qؠ-!.뢗eĝJ;k;tǃЁ)C4_KPW `}pg X TI.߈+ov h5&nmWSh{ rdYY/jU$P!!Y72|YYu>J5({1D!<\Xm˄yi҄0КC:ޥbcS/i'<|9ԪϜv{l\prVcȠ!+X~b^]C燲rzOk~O_Knqwl-:yӊ 4eQJ=DJ-"#eVڣ! &0Qb.nG0JLw_ o8Gڞ7[i|.\GK]#Z֛ Y `:-x#yVʏhba5(Tz9 gœLW24]!gLeWSߝx>nL|wp7p1 魜*xpԜ!V8 E7n|}HZَ_pZQ&MD&IJ%1/ r#9pH1i`0T~IXiOrW9]K 650G Z27aiM20ej:ɬY15xs-6\)"d+vČ5',W;&*xbZ`Z\ry/ZR,,}5{:Cw+|(2ʱB%xM^գ>7xعl}*~zm`a+D{P8+p|̈`595 ]?%6T^D D-ƝE`u.fKI"xKr@5r'aӮL^aT[FA݌; {&&oE 'g\v;jHӊ#$1/3=dG@K"1[qx.Ӣ'Dt3"8?\k6EԂ2]]5ˌR+i>H+}#"pα~54L: )Cz䒓 ̽5v2u-)͹sCyNm&dNFHA&yq~/ {]q3jceZ 6q\YF/x̆sfR{rhO傫f PsD `0*n 56A ƬVKcff%i.<;/gn<\WFEU:92.JmO}2 Z|8)`@Zʌ8Vs 0#Z0"='-䒕l)*@>ts7eT`.]$⹝&+9CXdC" yjC 9/ w`JE(ilNcr ~!/j)8!NeYON &T rfl%!}g}! z'0]AY\_FPnMyWwPObyC T^>V"Š"'Hqೞk"8pZPMܝhDmoYS>s@>8OllZ7] Yy',Q$#i.W}LN\K i|5_2xBo88ḽr+r+*3gl]e=/GfWNI@)$,qWԽ^/=JKIwlE Bs"}f_x/Q '{uKu(_o;\JIcI͛| ( RGXfP95@rGYaQѠJK" .yr*+9pE nlY[.'蟥// %u KKA4GE{f([l#M6k%.~ǓϔL!+)&RA_;ъKigܘ_v$s|ܝ(.>w1s%={ ң8q菌0+-Tk. kȉ6;S`d%7t08!`VӐL#} sb$,&3ӛ/?DюJ,}_P|q_n'҃_˩KcL~)LK/\ s Yţ 6ĭ0jʟ~7ɲܼl>VM *jk$_*ѡ.&h ]g $N&O&ϾyZWOch K_UXHA Uk #Vdpo")l?-c=I%`y'e܋4pVgV@ 仫+!N9&\<°i |@< #T& ƈky:~J!RwiITU1TOZS z\m? 3>| s܊ 5V.8H8LQ9\Ɣmu}HΐFZSbV^.?oF틝ݲ\S Zwi)' ]/i%s4F|, UA(FeA3N|!< ?> ^K0@(Vusr`Q:"DD'#<$i]O5ϨCb7E/]L/GOhyC=ȺI"|:ᄮUYl~,2MYwF{%~mWlH?myK#7w=L7riH#KY@DPiTpʚJ>v3d2`BfQ9:j_ڤ'$|/V7{( ~.F֩YT~( F&'~e%]o_ȭZtRuq2CߪA:AO΂JkX YgOV CkJzKXV*US9ƪ(M|+\.S\,GB*1gw<–"DK IzbYVexᲡ$Ib']EKk4HfV30 K"/[ӄFwkdd8-V2`ZXG`٩ VAb:-"ܫ@KұLN8]F?3W >)hEe%Z鯮 !Z:7dkWa/~p{XTqM\ RˬH͸|&kr./jVE:R2 ankdA{I-YLoL#Opmr9u|Iz~MMN ZUs5Ξ;t*Xj{*q]UuG7Zai;X&OKb3d~3d$n9U7֙Q]|{A;K6{@U' +G:KH/U9 }0@ƬBDā.7{,򕥄J)m,"~ոJtV2q`[D6V?]!omǪ egfES;gaS%%Wߐ IfQ/4Oy«G]^qp;-e``%dq;@ecv<#\FbMn|=Է d\`7 , a=(D5mח܀ FQ)t98Y'v{o$ƨnEQl [uCT Qe#/;/e 3:ȅanqgQYJnmwQ4K(ΓMJd4 =IJQ{?qحrHOhsk4[:5R鈸lgo3meiq~QpPӅB+hYBۿKU߆EQxr-r$vPgz[5?tI`|]@GG54hr1ʰWyY >1ˎ4s-AP^\Dz䛶OVS٭- y4NYbgͺaL{)XR4Uu ~z/3ݴ I;W4Bs$ VF/͔ޢ|7 }u&ş1I >"zc"? ܄+ C|鱟zAtekAp3JϏ6BB~º=tkzfuZtNa䳉Gwb1{Hm0*O 8_" U2[RB&DڔhEA1^Jkϲa1T0,pPe)a F.tAlHyZ鎇b|Q0=S1E ՈhI$'8В^+r9w},? ؏9aUWdg7Nrv&Ӥ2 Y&u0Mwb"4}~WR<Ƚ49s_w15, R'?"i{{4KMxL!آxj=޼R0B5wQ k2] D$=Uih!\d@[4əJ0Zj' azPmp G.JK2gYZ7zXZִF! ]ŗXiɟט+-ǺژO OX2ʆpE<J##CA`jw~qe;DD*l@F8Gc5wCg$_tR\SÊX]|8G;1Z8PܞcT=uЁ%I_Y%ln-xJlb7!%,ÙɌk?P*ZǼyb2ܿ:' h`To $r1 S˪Y__=xZ~6 SW! 33k(!$ YSN1*p}7*ӳa>,(j@݀GgU'?}6O!`dfh®(s#jȲ~ k)wԊ6[S/by5x&S~2ΚLpit`ٔhsAh2SxN>$0> TFrTo^jƳJu*?0_&hmNOR4ld 7EUr볻L|ߎU7S@b{o} M0,V 1zl߮`3hy M$ixZS*$5 Q U$s:6Z! [I tkRILrQ=@|3Fac1*I|6wPFHՅU+g WZ37#m_[T6FЦ/qGtrϠ3d.F{66*S`c.[ {0mZ[hl/Sq^M SoZL3XP& ;t̑5Q ߅[o w"|?w)Ӭk-NeRݗ:$Cp36IrO27GPΞcm`mfxҭ=h [E'd"HD)S޸V V!y^P <Kcc!b(Ùs4USoBKbs_KaB}J,FH)-Ճ<<#ʣ%tx) 5gYZ7zXZִF! tc]ŗXi%I}WC!bRo"oX`oW|dɹFHIp3Bj$miQ@;cǼP7^b_@ȼ%\X_n-לFP(_Dmt:ʤk%HM!&o 𒧢m)OT+F+ ~4=d /  Iugz6Fwf T,t!P=W)Xn5 ,P$G+!yg6G>3uD;jڼ3JQ`6<3Hym~7թ6^KGbKvUv9iLK~bFvnJVլW&N6¿X{,|ʠՅG::.,٤(~9ɐUvpYykiȧ (AVWkl(A#F㲌Va+`.<_s"J"1(bsRρnbP z}Iug.fO?Krk`ʬ;lV0[}z5Hqst㻫Oq\?dpN(&y\ o7[\^pϕ/6ىhW|XRЙw#2>e;ŽC">4&unzlXl6&α%5` :鷜2\f*Њ(9CR4#S K ˩OE-(, I>eSobM 'ҠtF57D"E9N@vY-!/y/ 'Z/$\6wSM= 4;Xi)1 OW#vxM2pf>o̔T`WϒfprЊ Òҷ[֫m~9VG Z[-sӠìLȢV\FCҠ3 E~}8C1ݷlxǰ3Ahh0ߍNP_׶'!51CVC= ]bưyRۼ9,³S S/0gCwjRDX(r&ņ>Sz"XcfQt[]|  mCWbm TDΙq58vՋ+]i廫$ jDIj麛#=$,|6xݿiRճHɾDAdL,'J~P` ԈCգJˍ _7˛m>jfA- ղ֒:ڔ`1>_?3cޔ@C)@ W0r@ʄ־)ؙYTkV[AVdPtiUO !iV*D ^ӟd׈"^͍! "$#g>X3x|DԄ*ϱތ79]}J̍r(~jFt7 7!JBB3n&$onlsH$1별d (WI)@>U? !hNE_En؋W(wq|wY-J_A6Uhr$Z iigpu#V\Rc䲥2^qlYXr٭|9]t8] RH;hԾ<0 e~Nٷr;'f'z3!ktԆwe=߱<1r@Z5iV$]#0w__CLfhPzۜ~ jT&~3v>^T| ;z3D -'\kû X2Jd*=gO1{լ*_fT{MKڡDK4j̪(?kG\vOyt~\nI2DkWRg#w🐝?Gm+ʔQ CM_ щU{`0ֱI90"4 TY{|o*>Ik |P f&`ףCY~avFm_Ғ]b} wdNJ嗱ɟk33QJV.Sݵ?j='NQ(QX`:IQb:05rWJKɧX¶p͠7X{ܩ@|A>ݏЦwnB([u'dĴ>Zb@Vqg|*vj/ê=w6owG04Q}_Um:S˿qP'8Y u{R[q}f_}v5Eʼ3{ޮWں8X4)|y 5CY 3ޛ0ѡ%"# ݟ}=i* V"uIH#gt&JN[VA`b .:@";:kuR{ReZxAQђ(9ESb$eMx 5iz[-z>S(+DB{{*;i&$;ZK';m^b.@w[{lcHw腩IXmH/XIuR\Z: _K,}Y]G@{&'ܰp\gTt5ZcJ (斐Av&ē\ sU ;·%!W69u3^ُ~,AIp6&m(?|#B yȞ=1egc 2;,Ÿ  ,2 eDQ;::,e49U||e5cB*ᵞ0p6 c,dn\,HRY'+g[U'lj FV Ӱ7N$6@$aY5> Vd*XY /aۀ^/ ZJ#KF$ۀ! {QQ)~Q;:eq::_~:O`3L.E[w 3L-[l~e{Ƅ_(eeK3$qB-4 (n> \V:@_.',z8 B >aX% 7jA)[R3:#P LI@:ʞذm*bCf$~k"ғļLXC@f ϿXͻ/D]WM;{1_ʥTGcحM(* cMeƸɠ&n-! `d,9EU"{7j"t }^&vy & $_Du%E.*!VX#uL\ 'ʽ6%?r>A<a [ߥ5KH"nZl8#`CEc Tj"bwX^r-T,Qo~r@t̾'M%"GAg{w|"0A1S;Lm^)"LMhgҙbV|+Rҕ@3 Yo]&fO1_Ӓ'Ļ;ag6 T|xt!Ð4oҘYv&=N QLp28^Xhgndqq2k&4Tq ÛV#ZxŴsRjgD.o'i0~z>ǖ$~3FeB ig6z㬮]'Z,zyыIt> ԶbG]$_6* sr߂j%W]XHӟO"3R졜/ ^:"R4]Tr3 vy e8GP\CƈFwڌX`D=SVV8wCK h[.!X6fKghO [e5:ętx ] sKspax[fIԼ'd&v4] V-'}W(LVZz=H N7G{[ҍʪO$کiZ㼎]Cx3S7xչ}z 6FGŔ} ?g;G'LWhq 2!Xe`_ pÁ;fM8q*'X+g+fN"ka}_;RRũv7X~UxB yaT dp[H82tOPiCJߋUp{,"qEW:9m)`Qasa@ie,!}r@Fx_mR';+jQ7ެI .\ZxcNlto$,w7r@O0ZƝ@:bFfDXk0#\Pn9 Z =Ev%*nf ͡!CtlN[-+Ɵt\kQ>X0k,wn 5h9Y*/?&ӥMy)kJE+d䚑BQ7/qtm:]1P,8t┳ /E`vGFe>"ݚ΋"mÑ%{pGrn͍̼):N{&Zl߭B+Pv՞KBs6 `jV?==S0n$26܍)LS|ՙ)YKVqߠ`E~ktGقM7\eVw~hvԃ(Ly|ĻU,rߒZC g[5 m,ti)zCf&<~Жn'W e3) m|N6RRy̅t?ZQ<5I?=28T MmVwSVJ@H˸" rak_ Fc o_ K*u†^bi9"ӍbI `*'7bt/#@VDfǣ#Ў;բy}mAY*V9dl#Dn^(}S/)I'ћ@pbr5Y\![j;/8#\7G'ilM?FuSۈU|+;t&BPG.nZdNb3"6;UѠ"RI bF$ q] Y,}f͘* >SqeCyeS2v4p:)S>\d(3eVH@ VQ:􅙖=΂2sz) r3gMVInDޮϲoqFnۅE{kGi7, j2.5SiD?{5he4Ctŏ3f˜r%ʜʡg,< r ՖhF^cNCfOu0[5n!Q&y~ 5U|uKQL<>CJ*89,9R572Snt ]M^7վcR^{'\r5]!b#0.ơ૗m^#>c|VU&nYj \SegU+Km}{7Ҝ0ԎjR0,Ѯ["<;TJJ4ٵATc"px3~Pp:^0I :ʯ?rw?z'&'ʰ%-Vc:BsaOY!R+;PXnR8.a'tQ ͙`) 03A#88\zL,c\d=vIMX%7)5/umqn92Kz9E/y_aD9)^Ssy %"Q o tO yU9&JVxO\8I?0'bC;ov~{Λ+(|PVAEAK92]L~F<+RK2ӲwTI >\7FQgS\4;cwMVw<DKޒfPe7+inJgrE}n׵ Kj~>]庶[f΍|X ]H8'wt0r|xvUę!x 8 ? #5c Z|7dϣM\wOj=M¥A AQ0s6b:|YL nl-gF{ZgOQ:@t< pi#;ipܭK]u ' s?!OCeY7ڕi)\cmd< T2s]EՅ'T.lV%\>+xtI>ҵeWfFDŹ܂mu*˒H(\!gw_'Rc6},ey̩yݪhj@Bb:yRy} , /pQ789U1,-^b&a^ow/M(<3ՅU(X8CʁzLtJ-T::e>5t f6L)&],tͨR\79Ry ,A:Rǿp{Z]X5v4]3u{} cj$)x,s!3k +C3dBmkvYvO̷47(eƒeRqw>׮ F$?/Wi`Swuv]EA+uPb(k_UJGb>$l.ʅ!FsWo,tLKꏀb@D>58xɇȲQ0]kg/MA[꒎VwI" ϓ0aBc2?".glQMD`YyIO(0(Xzd1'cBb^l\5EvƷd`tl| d1] 'NB9rRekŖjLY9% ؁5+K%_:,4 ~bc<ϧ ."T}W3K"-%{hw+#S,"Wϋm%bvQhqd&%124kx_,7)QpoGvb>D./:fS;e.Wtɮ]1b(H?r;XSQN倆/aJ0s>]f*ji]e4+w戺$ ,Ǟ`k-SۙxkZPxKa;{F8aV3Dم ZwO⥲䗶2z) gx.I9J8@kZ!77XdW6! ѳdoa&}".`3Eb(3[]!f:è؏z1NwUҮ+'}&U+J+c IITo0(HP#%;jpGw\rin <ҵ *[W$x`މ*AR ~Uv%ݚ$BCFs$-f PÔuYk >jck*((RGpfX1uVڹjn>1FuKqK}X\J-s f .3y )\}$U7HľZDZ^ҸKq MiO3,6Pd1\$Uؐ}#؆QB6z !xn>-ZPVdXT;I87D?=HQP:} NѺ/EB4ˎMk|`luXCړ|lC6s.՛(VR7L&?=JU?!2mR:MQಟ~R?!<8!6SPJzH47ZIi,! ["VKe5|qK. ,6jۦRZ1CN!Zi@H>P;v>H,c-Btc F%# xWR<@ E{zUޢ44z]V[G5xg3 GKA{ջ:k{X8\;f V."x‡8&qi+y`^ 炩\Z9WzhUك=ˍGzM7?R~f[~?Ef['rpU_.6eH"e4-e)%ԉ #*.I 4b-^͒0fB$t>ht3XI 1-sT&Vys8E|oq£61%uCew-1dJw#]8S ^y}#Sm|=[]zbΒ< _tL/``|js`ye9N[:(s6!;) 7lcW6\c|vR*&KRMpS{Hy8l2x9#I{y{^->"0 iiBK&.Hijm_W-UIPKw (3d$fJp 4Į"/}ZaIL둣;e}OB" 6գŐuRgB^5"%и\0*A ,Z0Yt;;Q*V_JX)R9ߺֳl ~;H1bOdy[ĻݲU{m7 :=]2 ]F 1 NeA~ aWzV2Rf],lK̘ukpK+T`{:5Dzsd e+x;dn)/E*<#_8-j{VRZvk?+~^T7瘑)OΝ2?$IJ\HceݖZ6Nu8 ,e22Bjjg7U O>7mMbqG%  *N;}Z87ҹf(/,N.3g((%ݩS}%*y (F3S9jmzr@Y(4sz :pRkɼt?!؅X9 )=ư*K45;>Ld+ wǢ,\ QLVmV$o\T 4BM]PGV~ q Lⶾdcٶ L {\A-XM3dtx[q13˄ZCn #:T(2 Lhˠ"l+Zհ+1lF~ho[d&$W"]fa++j=7h`[`b{yOr_]nAG _< Qⵉ>g_`RpUpX~V«밖c1뛝64$aq d'ujÂ.Оܣ^ >35YY-©ș3C:'I`o,7̥PA[Yu*Z\A1N{PI"Dln6z@q'n 3Qu l=\خVU1<X~'pۺ\Ll ekw_^ąBZ+y;>x-9 : 1@J5L8^'nnz@$xLbl}hvp[A{@.89Pzu- 鍷Y'Q`s 4-[Y<I7F[̮!౞n>&|㯺fXV[׿[rc Pcnovv?Qi(pXπ U^DG g %Xo |wQ5xx=1ZȰ˱"+rq;)( !pjkhUh#% ,=@:F,T L3QU Ρ\CunfnZvH9?N>0VPƥbaikOP cw^'Or[eᳺSukC,wJLP~gR S:E}):d309mСE`4."hkI* oGWMCI{Oҹ K, X ʮ\7xc>3OEQZH?OI8КZI:td "__ZU ?wFh'%NJE tMoq]eh}rG(;4C1-pxisYg?$q{7fKNѺڗzdyEo(C 8wsɻA]N?j|E·D;#kT (3S=c~q]/OQ&D5v_(aa|m'f#юh8,$%!XvŹb2鰌0] x쬰."4a3Cݒ jE[  DYf^Qvucc~_tpu0vt8̻<6օ+Bedx(5E8o~ڏ=  Ք(WKKC};B T^q݀]&}s8F*g ODJH7ՋYrϛ^w0ӹJnնXC[%3à^ֽ}Ƞ 9b{Uz7Ԭ5MmeXwı ;;Xg $Nzbdsa_N~7q(VŌ L[1,n?fz@2}0ܩB2g eձsTC0lq)69՚]X7@"'}= 3 GI\|+вNC 8Lb3yϵN?OD|Z4Td]ͣyJ`DJQ4F#ZMmg?}JtVuk*\+ kQ+d\|n]gEVoAN-Mq,Σp&y*}E_y87Lc29Qkdk23:Dž.3f$OX6\L2.ȻD5^8MKo.riC7ؖOXe:&N>*VT9>x54z5~_FyXy& u}R!Jz r)e)m{rQ¢ޱ0{:`r=/]oA%|Kjp[vlp:kYkK_tTþ7>%C @k&kLۖ l#Yi|kAѢ5~ XCg^)~#Œ|5ݵ &k_O?(e{HFN /bޭ*2H")Ѷ "i;>܇")$؞X Pg@cN,䶦 0i#¯֘˅AWtP*܂ҡ(fy"z*o_{:WY#1!kupۓ ޴]# oj9xɛ"sF R]c$d+u#[z{vf77虔b||bq@[Oe]/ _`NUϊCl?7O{v-!qW :>hQZ2 Ce3$ =a҄uX0 ]ʕ *ٕnuϲ 5]\-:CLy!QR.A3>3f)>l,o# Nh33|> ~|n8$D:rWI<&oK.`257suvsyRFf]\qA\ved3#)Jحrj jd` c\rjd/ObIg(R |&8FSTQ|pⳑbեPQ.0Aۭ̒$r]zt4F*'HR|n[Eb7˦,̓3B,m R?.Q{ۣI7 MR:+$Ag7:kp;7 Y#2tRv|B$∆ wP}jUʼ$"\ oigo12 P1GxH{Uj*R%:-7'px-ZHffnϲH>J22{Ox!¬^m_qm=f W_sh; B4EG#7ԋZ(_ѢI>X 7ցP?ϮpM t,? *!n隆 ,louѦG389tCX+pP7Q}*;h).J Xiq?zįgS+OP]mH~ V-+4N6E)NXXQl9kߡ[Fv&S!D շ Ow}&/ o&zf`"KlY_||UA$VMҜ0BndLrn1_̍bSl[Z`9B9F+(-sP̀/C$!0ݏE`+B )SԴlB'J<m`#"]Humy~Fn 6'S0Ϙ8 v/#&b/܌-wTE b89Euu6!{)ka]ahtc`Л~!a#b% [A $5||I#kQC{i 78`636*F?M5r7;brV/+adJy`'iRk]#@Y2gqk,J"z5܈EcYi@!pzK-DVKGoµ:Z2Rd&5H-jR䋟qxKu5Wl_6 CQ\wWOs-8BeF_h ^Ňډϳ J4'3rTx?rhU}gS OmȄ{+I.Œu;D'mb:+)S|5޶מ?&lUbwK|BF؞%:wE+,It5ZAc˽8ʈ%ͫ Jl‰D<=_'B)ڵ-҇N Dʢ[,þi\S;2gGt&☩-[hv U'R>1w&c6I$ʟ,OV)BO\<M|JgԌX@z0PR`BݤB߰h240/:WiY h{y}ak,q&)/9qr0J42cdv"-ޙdtI<7^gI 6 뎤r0U'"k\aC;{Jo1e|'4* !6rTP;{r.cGoOme H뿟q9e-~lwb#c< ԋ[ZPFA+ƾ]2Th5U9-/OSm~t9u=3D`r[(*>i72d;S)Fśt7O:,yPh0Q7 A]CYdћպw- ;{=OE5D5>  5qPg,t ZO*-a2p.&<Ȍ HmY\0pٳȔx{orFđbeFN+i|Lc{yNNUCŀ)&E3DWF ;7 V r&1'NJ(@%޷YXMZgDHD>Ï@E+ qEݻiŠq)ue%dEnl 6))}%1XђvXn(Ug1M2o֨%~$6o<><rR1 ƃ2<-ǓfO+21`!Eůwr5V KZ#8+ь> grt⸢D(R`㩕FF,Z'J=H Z\PXZ'gŝ&B\sv:^P!%@sJpPf p :olw>):SK"5vJ2MHt%> 6m(iZȟYj)Н$dfS~ *hVQ MLgxgP:j4^TM?CyHKTCHzv{"/7EwXzrPǵګKxN9:(m{>M㪊&RYidBStRggr~PO7r%| ؕȦRv%/9{*5"j1cx|֊0Em^"jI#+ hJշih 80jޥ7Do#D94t e"&|1p#թE:ؠ[^D膟y$fľM.áb='ڃ乪!Ԋ,VmwfP8ٛ(#G?xC!y?K 6L 2 x>j?]J>FV&+5kRIM&grJ_"D}' JYi&PT$  lA,UZGaB:0YSFY/du N$VQ7H9kX̧j-9wM1pR{ Se|Z6bK_V~!7w~/.ä_sܻSZ$zVJ>1ЪY,aAn]Nm~f$!:XI\f ‘oA>{ܳ'A`> x2t+ tHe{ qF))ťal`]\v9֖ B^"^õk9c8FJz%[N-֋<0: /*)'˨ne# cZћܿ74Nd"k %hϋ6 -XbiRJQM~k }TPjq ٜxP^gMM4;/p; LacV;ru#{-@u}vuj7F@% P.fAD^\pMId%.Y<:ˤf>DRb6O G"w7L蘠| hcitt8SA4htc,i %g~l&?̳,[VTo*RV^ӃsàƉ+:0 dOUZdSwkPF+R:*۟W^h-Ց~6fh_NUF<ǂ% >}@Y9iCfbfTXr~Z[o@t)>IO8n B/+BTZ[\ %btiz8C"܋+(e[[WcyZ`OyNq¥55=KdlwG'x|;BU6q׌C@W!=Gp L#x,F8i_ /,`!fcncs[=og(g}XZN Fvxeg@YЃS /͌\^qikrbc@_2n)%>ݒ`MRжBU*E Hc(k+_:"a{-rqvz&0Y;էÃkE:Wf`:~>g'rxʾxgGHr`B?w}&]!=k^<S@l\'$r},&Z7l&FSW(z3+Žaotnj$ܧLC/飕ځz.x[^Pg7%g?!6Qyɩb:IŸL"`I-$/1\#܆+H0P~5WöTtCo=lܼXGvmd$`py֥|s9j[˧ +Eb-ϡgI[M<4605e5Do6 bdE˦ydEB`kX3`)aA=&}6Df6KN܁&vtchOJy.Ę=P-< 4~4o%.+p[T~S6*]רEqo/D:7wYCF$2Ggepنffx`j{؜=Rs+Or%pWOlJȅ,R3|S۶r%⨃J߱uY{tVPi;y@\ Uɞ" Ib.y䛁3 +`MIO_ % uyFNEԟ# [`9V6E-U%yq{:G{~>3-?p=C%્ڔ˜(+H؀QW|ewo͖\3Y*f#>  \ eX. .g4`CTQWHsi3w|3KE|?3/r%cA\p4Vg Besmÿ0|7@]a'kuo9zV#q y/Wr,a;tdT^u/frI`Т RH'LPEBD|JU #0p`ũ딵lDT#+p*BB&.GFdZ5iO BJ35 ʚ,K[B[Ŀ8>Eݝ r[EJt #DZPܭaqA<`P-Z;<؄^)>7,+;X}wW1Cp3Au0\h AgxKeVP<})Կ>Ajܙm$XU@t 3_ic3 Jk~\JV,**dAO 7rM\/ BI!П7eGV 9Nsl qC&$١gOia׆Zz?S`!%zп $,wh|k#̬9?8E3NF5 F_U4e"c=H'H\5NNk<~틙j- y\KI+%ьSm!AveX#(=HߥּME`2e'fz`nS$uzqVK,\5p,xa^]!DegGon."fium:`0k/3X 7)#_JJ=qsJnޓnRGrJ kd\*rOX C+QtF\65]b뒋e(P S{ײ-f~M#Ոekc% :_N3w2h="&ϵ<935TTcn\UjY:ZUp/:jCCiuPC`g >PhϫMى \M&Ȍp5VAo U䆩QW.r73$Hjkr~)171cΝCdp0^]Yj?Iܶ:i#6b1`aFgYZc99aa84652bebb85bf34dbf7283f97474c96ad345a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 7307e61b0237e14e27c910d0eebd20572cd5c783 79f30eb5371e11992ff83b9dc6aefc801ed366bfe044fc4084fc25509d197fe1eef30e3ba001640d