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 $$07t\ ]MSO_Regex_Equivalence:threads=2elapsed=837.459cpu=1076.316gc=45.572factor=1.297zXZִF! ]ŗXf1-/6vRZ*_u#K{Tujab$^}, \#)FY댍  36h`~1]Qw<t$H>q\2c.hjnwU<=߿U %N}+,ͣ"g\(00M?`z.ԭKSq c#^e.6<Qo2OQV N?F/4)j"c1(y^EĚ@' (HmEZkҏ>Db$:C '|O$Xj`{„CAb2STD!kuV@eLBgo5k9i{3kU7;p _24 u5{sRVf<{P g՗x2C<¾_ߺwAQ*duc)1`ܫc܍ρXlE4 YtnݱbUa@51ZJ"P j?d%yG~ub;(-ҶŬfosk|C)8U6k1UóboM)Qn"[-bru'GWw =RzWaE`XL'FVXn9 ʮY P**,lT[eNLEd U_u$Be*bATTe?zFt凣mQ;Uu{V|WTCSf(DgPٱJK ?EXo_'FGd,VaFpt(]O[dTc0[m%Ḅk0}Q {/Z#,౨t rF==+3[+HIq>:G~Ciz*ԒՖY|?J<7Sp(h1&հOuƔ7PJkQDzR[HK:!N ~dWe}0nƮhHriK@ɨDtӸ>VK8Bȣ̪#g4#p"$"'K;q0}7lz~!f&:s' A&hz:9CɯgO/#=dc}867@>xocŢwmYUdAT)S'# "<[70I֕$J^ncBI8b>"lMB>dˆ!Ɓ]јi`MG|pxAdZF(W;e8I A7V* ~%gb7X;_ovk;,T&)iV`}Xs0dRt/0U3zzĬԟVE 8o c7^ 'џ <[.WIw\G@BGw d7K-uX5aw9(7k(xv3Zeq6d씼:QORE\k,3W%LyK9۝7ƿ7:Ά3(С%W*RE\z{!Q441A!`j4TULR41#vTDBLF(ofNux$љLq'Fg=r)gqX5bЇk=1,Qz"UGx9?3|`}Ƨ@xz׏զi.Y9*n!;Bpa3c/gy'c macFXEg ^A $0+HE4, j]'Bb,"4o^8;vjJ9F|SH'fpaxVӒHУfN5R_KBf2 /Pckāx!hRnc#eu  7 MSO_Regex_Equivalence'\)1-`%Ь?)£M8\«TÖcuv$M3Xu#u t\F tV%d!0Auw:Ta+z NCc&uAJ*QEѲ!HȢ " ǬcXM#S}^Ajdo@0y-))Rct>7y\rs svSTMw*Ŵv #0&aQ:M:FJ_2^LVU|Y!J 9d 6!eR#Ĭ?Z~;CpAe{LPie)ӣ_#s-}un,!gYZ7zXZִF! Y]ŗXi%6ڴ)SFE E)P 5@Io?*㉶^) *v TR].^8jQRjG;-< MU {Fy;JFMV>4l+]lM3ޕ0OVogmǦkɆ&fMMP'mMH؃tpKeut_ve`),*CV%Y9Wl`8 gF78RFxCWxZ>n)\>b/Ki}U#ݷd a"ٰ;b o\Ĝj~# oRj}?+᛬5J to`aH4=[L lsҐV]zSZrPӅ6RK+YY]ȆO&`){LkUR[rdWʐ&=$S̖3/t~ӡ>GJ5K|&d>>'qysϭ}:^Ƕh9fDPxӝ [?'LGEfT5@*%}Ǎ/-P9 >3~l_^X6ܷ*>,4*KRYA TwtBBx^&mu!R«9+^꒬ H&|| 7sFMBv <((<~SKW{49î{u? #˷ka'AK[ ŏ$d~7r*fugQ'#z9߀}M!ĕ݅Hzl}^1SxAz4I$xIQ9bOyhn2Cѫ?Ӿ;3~d`qaZW >}6T!€XoZ=[.˴lAѣqNpfD'+,oN9S)${qέW u2jvxN5+]7}zN%*?eyjH׳ÂC -|Hq_ >zdFpdFa(.:o:b(bc*:e8`y Oc'7+|ߌk!߈) $'/N!7фj( OqC駝Ԋŗ(>ֈm ,?l ؊aJ,X?d7/: 'hi:Kl!0<ѝTv-Oj5pQMOzA(6myM C= #@Jlqlx0zOtĵp}f0)NxBT7Hm):LSy&H ( 0Br:(JS?VK?|?+=b}GwykմG/T?%D,gjz} Q\puoVb')+U ~g{dR6`_nSh&\Ģl>m@R`-QK-~e3DTnU_,G ܌Eb& q*hVN}D@РcKP]5;$hS *{}n:Mq21T"T۞HV PDQCDm9iCcԱRcLW ^K#} ȕO7)V"a h 礻naO56!f y4]CK|Sj/y}ٲblJBې*Rh'\wؗ(b'hTr+x.a 77e*FY'"6 Kzz;%.m^Sq #0T W7g'+xwYUHW!<ˡDcG`ӣ݋%j̘ t@Q1>[m.fX5չx9㬑V3cbceqK9톨h?/t7QHa7)tDG[vcm/B[]ljyԼh*gk9<#Ӽn#/*僅Q=q|G$؄} ;MT-1g݂iy0!yf\@{Q.,vůG!#p F5pBnţaHWSụs|i8I:f 3vHOjT<̢(Y5ZчF"x/2Y{V,#|U؀քvq<ktDu LlVCo\ٞݳ~nIV yMMvd(nSj9󥖟Cp:j7:Gb6zݢn NS9"?b}1v¶gPJ1 24;w?804NK)m2t͓c@fs(pRr?dP9N/ӸSz97yK |8mVh_XqB3;~GΧ [Y@eƒ^*Y@t*?.%ܟ0W2?wq"tA^beCxRJ_OPG@Li߆lcݏ6-7-AA}亽_ILsr:ύ ԪHCƴi?>ltM LM"gG /*lb) W[b\F.6ղ 6vq"+MYAJ59۔])Un kE4畣*?G슋Dm`6ΆK~FvPkwpsݾFaS0/GiTGa;3NCauO]8i#V -L΁ _,N7[&; >՛EWYMWc+5$[ogٙjɘ"E; CL'?0rnFy+m6D|U8)0vDbH^72bYc#%:vK=>`{!B[f PU},F,)+lB.՟sܯW 1: hDJD5bp#1"N=#3qdHѐ9s[P\#ɝ.UAp|WJ5O}O"WUS<9_vKG3i,4&@ipѮl7Fy8g&kE ,-T].'+on~E'vcv2grLbZmy8;_F6< .a{Љ4<ډ2An6mݷ|RI(p#8 nЦ[=K-`z`S5}cŎ6D[E3 Y |XZ޳{ξo:ǞNLU-ܶ4YnNJ!9 mZށW|+J٥ c<*;B:-:[0KzQ¡ a$? )9@i36X7Y.9B !mkG.y/DH$"mod;DF%|IuP̼u !`MU`#u}8SROA)[#lk&ZIAfQ_롻&c7X kZ+o?Y"?dbY] o\:GQ)eC299)F]8G:|O7? z!c]Ğa0kZYe|f5|VCd GL t ܰߨOI:=ez r 8]-d \.a&@Updž>B 8EOD XXC &/0"cQZǛEd<}W( 'zuy@]$\=.` @zt 쀙=OV9b$KcO1'k3FP[xD9(')QT1"i> u}p) {\Ն>l<ی}>ҍߊd;%ґ+^4t^* ȠⳒܙ_fy(uN]; ~Ύ˨J7kzx_S'r/}(l+ɏ2j;dWpWes*o ?I7YS1M_nJѥH!Zw)މsRJ Byܧb! v_GI9KZ''1 z,uS2WIKrˀ̫%_mS o%%uUvb҉ƅt[;TD7A}3f6,1@`8{/T( L33b|KTE Z ,pdHT+6|u[yʟSea9 uݪ3Tq1aʁst{[ׂz'O|~#aom "Drsi xc/s-Y>>Qaݗ 9ZLE!:*Xb!BGh=W"c}mzNFKXvS[!=1G X'qY„BDx$_=zpu޶=^%lIv&"17,dBMQ[$S$P&56sitVMIݛzT1daܝ܀׮{!Q7tAX0Z E HL5&?8EGfXڒ-g62-VhG(è0Eb|"G}d٠>7Wް 'ƇyQd) u ϗ򛞮 XwlCM+ |gi^ĩ4s+ֽxDBMX:bIw[#oMd0-B[e[-qMu/D\Q*pږ`}^R8 $ |UCI7$0@m/ xsVUщ2f_VuHQM9k{\9S֧p5ʒ(_&uЈ߇[E'QD}`hMݹls"AJ|9EN%1+@gϿ7HbǮLphF`KY_У5ZRLk^>Z'O=ΡKd$UV[tNjN}ZH,7.4]dW.v sgA)(jH(KAA!Skc/M}x혞%}xce#$ӝzk~jd5!UrBqD\E9T}6fZb^S@J0='_1+Cuۭݹ Ġ (?LK&?;tHT<Y8E[ cͼzz%1֬#_jn"acffP8D c+}ʪ R762 U*VIϸ}CqMt*9 'K$H/Twsɡ9 eT+O_Sy^6i$I0ό"[!rRYJ;Xxv(5&wx$ʯ׾i$˳ލmvK ]SN*R$o#EB9M߫Q :2NJRB'Ulib':1?OK;Z3sCYu='h~Ѱe-}v̊0̀~LV;b xST}_䭬ڠPv|?&i5[F>J7**n~s6R"mJTQT3/|xy߇7%빝E-X;\{+ VQi!g9B82 VMO?+`Е>45]##,@Ԩ!_7,b˙K(v{!MJD'?KlAM 7 Ó O;&p -TLAv 9f#?U;M&0Z^M#W8f!n/x ݘAxdw>0ݮJ9c7A"酛1=qpfFqPwutT<<#d;cSus٥93^Pxx *_o:fz:)hO׶MoKe^ ?cG LkqmYit$*͸,N8tAUQc,4d^*x3\/~FHlǴl>Wd@塃Ȋw *7tjv2kwRTKw:aɲNj%Kiʥ7@{DA{s^5ՌK&4]%P~.{Q2Fq򶦞G̠5|]aq+y&ʂ~\c m[%c< =Y+ ,l75.R-/z~3Rƣ!h./Uo Q̪qQ:_ˁՕX_WۗEM] >_qvVpw¥fI}5mi#kU=<ѧ,Ɍ_UpԒ\DBu>> {HcK2 HahKRƖiJҒk%+%aȚ aH`'ހ3\CT /'uvT nܦl5!3\4U,YI>EQnt|1U?"s|ץ N|e[ֺD5U^TJȁ+P+ac|9hَڤkC}%R!uRM*gx١yQQWk#?4yY7HF3kH` l.ٲFuyV $`ZS !& n1Ihv?y'.Edo]=NK">d7 i.ѶAtӿn ͟&ҹl |On'rUwS2\>|]fտO_ڄÄr=}?41O. } nq)1pOsku@G-ҷ1񪑤q(@aqgQÞNЌ`R>z+%@Y$ƌ V1rbm嬀'>B]XPzqKDEU`T/d[;4Ce$OQr!amVBNczdsBU<^l1Oogs)Џkd܃&CAH#ئ8x'b}@Ur_i{r'|~7%\⢹,ٵ6"}gxP|h1Fq1wք^ -|8@ ӱ];Y$R0|DxqD^.JyNJ9:Jx>ڛI*I04pLGR !fpM^BO(S#8m "f4M`^H\ /Ej ,J@y޿y<'h VTW. f.^{ShJкtQN4foЛ\H 4(tTĒT23xv}#"xdMaHQqdbKTAp/A8t)[c}}lqC>- A(俍0o!}!o\/R^hHB dZE2n\8jV4jPwr0⏵,4bfR(a ûg7x'=hye4iW  ;fQ̅(;Ak+.nKFtՎx`l 2_SY܅.BL`+sP)Lu=2Ɗ[~̑ЁŽ@8hkiaW7{@*;``uącߚ٨ 螛6DS1m$({ N\(mg UZÌtf=_r:DD"B&SON0Dj Iۓ'}x1ESw9jH! 7j]e -v]&[zvo䉺2b)H=-ʑI-Ru(-S0?;t͟n3RLվ ,&$ U[E'*^$2c+E_ O(rW4jiƼ~uO^y*<0~?5'4eZ3is/\8>?6 fy,Ok̒d+( j+[jDDc:C8 =ea>7Vujmzn 6Q!K"`ʍ} c-V A 7u"!%{)DUׇP8rAwyk!cP>5hd m$…;-N߾R7b@Uˍnk ϦZ/3M5TS7 S}!Mxl}A(x3Y[%) Geޞ`mi/q=-*& 8aMu`ߌ>(xc\)HMgGySԵYc7)SYWOؐ袗TA?aCOkjH"] b/B*1v9}ˍTJGO6)5n gYk8\鮙{I_7c%_ui}( dI-O9*UE@Y{42ž#!&j~AȻ% s.<ёS:N(OBZپ712$RϿ-yhDj%.)]h gF3;K0Z\m c /:{ڒwb1ƣ//؁ɐ^>n#e}lTfwv{p|H8̂ƴ옇󉈶bR5I) 4UP*o7$k0wy$ɬ?IW-Hx va`T<5Hxr,-SXdr02&mMԺ TfeϏC _Lsf\œc_$+Δp= #˦LYrz!CBh_ջ9\W+5#d'OVe<c%L9m9c+Ӹ86!D;|&fhڻN{?xs\DU5` HӀ4+Ēf?ɽ7QP~t>)F^"^[W1q E!viϳlZ6Ŏ&$%kۈ8m WI(⼶ĘǸoRf;qDl0$Ww98.*c*HX/bL\ Z?!5ļ=y^}6X0+oZo_gS$iVcŧN'cz7#.;;LC̾Y34=/˻VA1#EқZHJ+~&wBX ->a-;ߨT=$e+>:|:%k2=̞HE r:_jc:e\.nl6Pz {R2@ rGt8 lt&ͣt@Aw7U.ETV"c;_YL@@coT]hN4ULKkfVe[ٷ̻ '`gΠ# N"Lykm Γ`"fx)~'N_gV ؽA]H-9?Y#" ̅4· TyXVOz -Wwn?#c(t_:$#Z嵫,%el6V*cu:n~-'.[f_Hu4jv wD E9ÓbdO:厾rڳ "4j]\E2Q.w|Z /;Ь _4+s\2<8+xZ5O*ɿ*o'M$5ړ0م :E2~1Fwm1,UEvU(004"pѽߖ@ށU9ٻ#.MJy4d5w:\v ;b+mlNh>Ȱp|C)5ٛY&Et &bcT9?<U1q@q;.mI9Z阈W882Y5SȷpJm(Ɯ}JPEn|8.2U,fqjs$Xp*5(|4$^^w1w!;Oy$7HGWF΀rv0ŇyP#Qs)UU ,ׇw2vuQ*`JF^8o(/I4Xsi\]$gV/WHx*;D7 tܣy^Ts?'< *npҕ (,dܵ8U!6CyeN}|/#FXt3VOv>5|>heaviKK_X.&[^ekb4S vp;I1`Rx*QM0Q]qE#prs1ﰤU, 4, ԧۇpakRjמIHQ=ܱv8L g]OIqwF^#xȊ1I۞K=J~bN@L&G`"{Wz@bl\~-~$ "ړh.ICM'CLs@$G~yIkf4NjY&d!\Mޟ;Xs)J | KCw$W:oבRdp6ibU7$p%o+ǂ*r6Ta4'F^&?cj>ib-O.7TfB'4Ղ˗5lC.Dp4STbm=m߈]Ly7%`QMЪw`\)A?C :ZE\~hB*1*oT[09t7UO m?Djc(Am~1vҞ2]ͩ\kXv~zs10j'2s`Y޴"`MOhPg5a/ɷW&kg7SV.r^?] KRU,cs/-À⯙T*rO'6X$UbbxNO35,ur9w["+b| guuokpAY wdUI+:z ⇟t}j &$s$ ~vI99'b;{V.oaLtW۴KjmP3Y$*gGI~n"/f 2/Q ;#3۟ƌ(9j p0LqNT}tf.+m}i>)׶(P ߜ-4^3^j>&L-ϣʹX &A0,n?PG'7X&đr7( X4JScla7k}$yq'=y;a-uy$yhOaٓ+ܹ1|PR6J=\)7fBd"W .sp۝,\'`oKy S=i wjʩ̇+UZj)FpLyZyy&C^50v \eF[iuDS)Ţ{MxSK67n0dQ?:r69КU\g7LaU}Hu;8}[E1Iիm:jNfQcc購KʨҮd88ICHpIOm\E2=Mz)S6f/:|E%yO9_F TڼY4 :ɵ.H| &Bm"-cvj4!x*4tм8ض(E0d%$s5MR&8^4'-_BE4xm^eզ_ҒvlQUgRYyZ,k+wExю4Zmt(i]QZ5hmOHhuN3>k'Ӹ 52@WK6TK70kA8A([MAɷ%FJYd| fdu"2+#rk<=R?n,msi>wıoA~u/*?5Z.K$W.}r@er,)3,REFDI#Y]47 kh'QM;!Ó*\s%j9 v!>Q 9p/heSQlr9:j4/p|&[󌤛[P>fU+,1JҥS, %Xc&73 V&p!v~ p?Y y@B+PZmg ybn4RHͰmfoYd'?-Mh)gm?Ӿ:UPպj2(DvA畉Tko6 W,5^#  ABm؄Ө5N].zmEx@;b{ަ`3&/O}( ƲԽ?drD y-nk@t 5<:2I2Qu y'&sq-Bf?цS|`g-l.r/x*r |ra8eZJ1qI(w(4\G"S@cRQsR azS g(4NmѢ aEEYaҗco*l)"AMΑ\*k71T"J5-b`4$͂&ON5Ei(9=pǛAm~`v ;RXԡ  d{ahV 68$r"ɤdN~FilA-=h0ЕuuNi}cu;'en3/t2k͚]1bEyu$ԸAq@f]L`l}bWktƀu;SK3dO`Eb`ś!yMs~ ?=8UR(mӘ}lHIqX_0YM^>bFt:̨+{V ґ6=GfU )zk쿻$ŔqF nGr/~7 PTƞ̎EBd`J`l>/&>G墋6ӡџ-:AcsTɗϲ-L^_:dT:?#Bv]'@ x R2z!^d;dl= /0q QIZ2K6 'b3lT3ha΁F=gt`Ob*I ăg~{Jl 2}G#(|8(*`\HBγۅnQ05W|}7Ŀ䡎5T/] ݧ] ;B5fˇIw+y- 8k#A,VT_qAt0 &;d| ELS`ǡAFLI qf`4pR+<]F%g9cBC$a/ tX+yQWhi3S۽ C&I l$=J^/yqپMro¢** $wR!4 wۃ MuzB#d%癨wkhu'Op8%!r3}-HϘ@p(ћWV8Th3C03C3쫃Ϸ$Z\|T)ԮJuҲ/׊M\ @JIu$! '>r7ӏeC=%Ks7#j KZtDr5 "7.!a=)d ڼ3 I2mfnsNl52m~Y t*3BA*|$yuq4r7C\mjIJjC"ֈ&ݧօ§  s^K,8t+jUZ޿|*bs+YhhE6׆-LOK9hMp)<1m?Į7VE{p5SOu 43ͅ`B8swvzr5)< IvVqROq+d[[|Ңk周Łu.5fH> `*jQR8 V=d">$A8l<βM +y 佳L/Exdj-}<ѸMLl's([45D#P;Ch/r)&THEhW]cC23jr59 Ikb`Lyi0I t(O: u^L~pж~snk%2S[L +#*]?Sc-ذc) ɾ{LMpfKTwi6Q*'rc"))SPt>w,y.PuJd.:eLߔIu(ԗѽsbMb".{v|!K8eqQaPnw\,Wq@m~a ㊛&_ Oi@ExX} 0z32Ѵ͐]:՚Ṽ[%VqTjZB/xV GO FSW0k:cb2>N%ŁjTqL~I8>( ̨?<p0Jy{38!/ߛ.V'h/ZU!GC *K/z )e[ZJ_zԕ^uaأn1ڒFgr -,5AG.fBP29;Q3朗!GFeuLr qxr%S  v|wp8IC;iy4AҶ9,_"Fwl4a|0_|_1fWnX_xI>8.ލ_2$ͦPTlj%|hy ;&^v I@[$g ;5\]Wol~~;1LvYZMPo T,nlu(|EYli9&֧B=ċfz(𲖴}I`/jx1ePt? Z_v3+A׽k՗`ιh=0DJZ4W9CG̤Enj&`8[ (!Jjtn SmжUL4WӼͪvoe7|מ{,l/J񖚸$㇈*ksK~7U|JUn6̪KJۅ>js `.%C!QY3^f6ZN-dMNE3`FwY㝊emcvS6x+"mi{E>')N4T/u P%9IY^|Ui["J=Q9ڤ8.c6|qm-cpB+ N?,?B%Qs.IY %0~k g4J6iLC_".]C*u9e7X L.Fv3;T1Z$Rhf$l_ TvԖMD/*?^:Ow&^x^ZMIo_[7H cCck,Hld$ZW&q`j{Wa@.j!Xz!ZފYY:6$BJ![C)Oɩ W_0|.gͿZV}JN-k}P _=3Qg8\Uw*BqqN`[(DZy2Ӿ6W2zN)!>޴;9yחz05r OH&䶏9#Z aL)CoVf̆y =*,·Ct}'c`pW Wz ,M^oQ Ffv79;ō_6+>dpۦ&a5Ӊp 8PP 6 ŔzP#8 cN03`_Tb`Α]UU$U QOhv?pFD#b&PjguxQ]vs}dv]?¾qk+6dLilTU1d|vVf090u]PPOZe(ˊ%dsDŽϽϋOSl |pM7TٚsȀ rʴ\5pm+afȰx&yb(7QЬ6˨GRS|I֘$d$u7NBgѬtj\tgދz0*$|{ 3tzCͱ1(v kBƿJ<4LˣbtČ0aMF*1-=@Rߐ]=~PO<5{"Xq SPU8k_^,Yc4VJ&˓=tFrh_ Bg?7 `jօabϗey1> t5 ̢XRy2;ћ71.5z t}Ft&ц1wufv|CΥ>X, Жzv1Vt{)EDH4h,K?I=@竄04Bs4'1r,K3=@ܛJw3ZY@- ! GQ @">sAP{e*)z( }EN88PQC} W.%d%>aHCz)A+NA`@>}9~uFfXs192cu=8_;!Raub=D.[qǤHe7L%_za`(aU[g(,aF~.E¼:wx_}e^ [_(EpWXw"u>@Tk }! i`vCCIBQ0ɶQ Z5WKgO+s|*գs0EOС@uPLzb Gƃ&m9٨D|p%j-l& ڃVTJ2UA[nQh(r:3`A(xCFtxPU\ە g Ĺvs5b`0=|VURaG+=iSD{h̋ʹ[iVd zth=k RԒec2 .8JeEZ+uHFgVob΁@")Bٗ~{}Jbs` ?-=7EhHlhV#nP0wע7zǢ"[E .3;*:z;) &|Ǹ]Hx:!׿w:1؍GEлYS?d,$S堹ïF#'FwAV@H;|)B@ghS352CE2]KS8j;tK#<z R^5S'{v<ލR8GD& ]fE?.H2JLs%waE0>eH/Ic?B2lsER:-Gl浉N]y?B ' \ZW'$z?Ƈh:K9Sy CWD8%>B!)g3~;@ r1>=Ww㪁WMލKg' .`f+c/[?HEm9,7Y]V18~SMOta" Uo .zȳJ˺Q7kf0alI#\q'aT1)o4Ȇɷp} ϴ<=HDS> z%{Dh2m˅&kdsRbs ߔDRM6Co(#* "sH {'͏D&y3=|:N{GPfN ](^)Yjd3R">z˜omu.Lé1= [z1ɮAC%u iWkZ$8{<.l 0הBcg탙yճ(6Jҧ'}udTb$oۥNsx~}&.j ġ:FX<,$\ԳŒCuS. [Uů>ptWR:S"59_̦q~Z@%،Tl固XkUF(Rʅ@e{KΥ7|0Uu'+-nxj}?CJZ*X+~c\FxY|'L<*vQTLY}+`ɇ)+X Я+a)MDǨC-6IJ [̪ |e=ÇsT&kM7u(>TANVKw"k1CIb`#X'zPvc)JNa݌G`s6nRȦ|^LYmERQ`h"@w-:?zz ^d+#sGLޤfh<Ȉ +kg\Z#>oR@"dz{&U N K0  V>"Ҋk1/APܶ?\18&ʼZw}K/DҾ<Ɉ] W2Y;,KXV-]'<~Xa /6:SRfX-opz: Ȳ̄vy eD.~q()^Cu6L7QEhi'Zs738KеK;6 P uyq Y;,Z59} Aڋ-{[\s!k6!X&d5mhxܿlRm-jAG o5N3a pVB< #!lvMd&5}]:0/?r" 9.td >OKq() p}O9'߂p= 32B:xIq [N4'pVְ}򿟅Z6κR1>v4LMzU"PnJ[; GÆCRQc}].2 \ 96T7/}޴'m=!= 7;&EI{KPYN1f&a>9$ן*8; F?e}a4}2 Ї>z>NPٔnХbr X ,/d %ۃb jvǎ>GoCz&G*s>}xedwmp;o?X1XlۮU`PpFiqn>ac?)BoBQ@%\iu#]^R!BC nЙD L+} j1 ,ějdXݍ}9G'h1(@g{,_c9Xoݟީ8>;a){#x>x_Xp#xD|~zO;(IPz3Q*y@Bc2OG]vcGONѶy7!r~KF/6rJ l~ {&ߺYBy8q!:y1 sXwҍHE(S^c/ɚ8 oR}? jbvR%ek&g܋SuC춝(GTg!/|;2iJw!M k>qS-#Ѧ:} 2dg[z%џRMQ%$J9` ~5 Wv9"r"މ:J+E 8CKܘ(ߵR)';U=1 ΜNk } }wU-|E] ܃<`#g(lVA@0y,"p%`6N#pk2򏼢Y,ȁ0nhjt 6gY/ z8qXg߸uq G̍ڛ\VH1R IܜIsUNto FR#Z:%ȢVpr3XS{;ԟ&d[:frTݎn_s2IoQFh%RCSd mJ=InWI Z<Бc9g O k/xz3%0VmxbDžj:2|n%;9u󐒗k^ ~ʀz)IWg] Xⷍr 'C545iu'@azaNaъa(.J˄Tdw(IfaWf)tDE 0#-!kgl-"˺N)tF$ \iw V{A140`w)W)BՇ|.m|"c>a0 _IQqk xi"GI9L3m*.pdoEtACAO\UKډBC.pk(+~L*հjHwhمy2_8VG#˴P5 #S8 t(PyE[ڊ3|qX$n2 Qwq2VɸXiHǦ`W _<v~ a~ZªQ2Ao3M!0 ̾p?gm.PR0&jc/A)|py9kGqz1]X.8 c=FD&j4MG(,â:򍽭.Nh?LV'!y9ZB_eA|wͦJ o IPy@M/1E6=Es͹T_%mNO)"5 AeJHxKqw(ߚbHZTH)P%4qo.x.`‚Y″B),CuOlmU Xw~_4. 6/0piբT%)b>:N-?Nۢ(c: .bO09 h]Y6qu%vأ&2QBâdBV/HηYl )nR|5 kpt&;X)Mk"K"K=3v%R9<07 g R5UA4>GX$8Vآ?z7>U{@8/HE"Z[][mz%]ߢ|srl_C.`P+ u 7N $MZf T?4kj?U=*S>7hx69)G}~(NKņCUɺX\yٖbWL= DGe ˘+g`i:|w 0p. J!.Iј&D( E\䕊N+p`F.\VF(g@@7Q}"`5 ل22Pd0LirG`V[~5ıttD6 c`: ny5HLW\K)zD48f~7#qN˕(;eЦqEO0L57j- z|5 ׋ϭ7 [-WHpxdpڲY5KLw wJ_V;ju4LGoa!a\SmE=DF Ena1?F^4r ƩX/¾CB=4hAe'8Ǒ;oLùPoU ,ʟ(弩1tH}^K6"`YNlpFLJD_#7R(ⳣiZFi9جypU +YFO2TeA&!d2}KoZǸjGE_ގr}EdMiȬF#wZ(3 i9eY Z`L(Jؗk51iF= 0 QY4*EIkt}mH^|.1)Qg*˸3$s G &Hzټ[ 4ߊP`2L_!fUe1[ёQBN cDo2JĮ*"V`5*fonR{ODn"cwH &l[KzWr']HUݱ}PIcCn뮄Zۚ`ܝWG`Wՙ,@SkH;Gu|zA 6ƞ IMجf|@WS%.E[JG)8v(enBbİpm7 j4wsgvve>U %#wq"eWq`C[QXp )r(6Z aQiqzRJ #v8idw2t_CNu}8N׊6݀'Mq|FteI,tpVwvdl.Yzg93^,a=Pcō^wk[=z!TKؒQ=YsZrfsrJ^SCp@I:l`ktmkXT"ڄL~+C |i+lVWNX#s(qZ';ˎY Q1O@᫤&VhM d7~o4v]/Kӄl t΁-!L(YX/2\zHC dDA,㥥Ћ2N=;NS!^ qbN WꓺQ.Ƙ Zy ^~֯OdD4ǥUYsg_jZ|89mќr'q. {А!ձW6={K;,)0075zq_{MA# k@,> LJOtT+3=.GapnLpB宎"4^$+ZUjk76TS> L]hQ}KzF N2xʠ [&G׆ޜQݠ~tC"&SR V#gKԇ@B*l2}ciT5K@? f ^ƃт' Fꁕ8Go74;Q{oTʲ` Ո֣/"#sPwJ '<