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 u1ttdD ] HOL-Metis_Examples:threads=6elapsed=15.786cpu=65.800gc=7.5687zXZִF! 淹]ŗXiɟDYK<;#&zFb4 ZJC8anh]2ϰIopdݩC2Ĝ6 P5fA?zL:>er Z5' ޞ1YmRď'vqW:-D rE"J_HńhĒsDm&cFAQ[McDy- ڃtlEx=@r(lsҔD BK_GwgǤ 1,O9*P6h62 0 l4;ye-:FT8.rzDΤT3;5ɗ{fmj´mov5~(Z h=oؘ%RAݼiOjDVɋ5ȦNTl$xJuT>& &a}7qa#@Τ97K 2}jFFJDOjk/ M)%pMM9lUu P;'kZ_R;ĿABJplMOy-VkCEbW=b`' R ` 8q-3w/™4 #VfpVD,vB+rnnQh+V4V-\+PRPB$ KXCQ`AetQT|:. fΩEֽģ .ĕU+HrR_ί(72MIF^zݏQHH\\@5rR$NxҡWр ;y f_`~P .YmP/r p'G"3tɄu]J FU#XV:!9yۇl:6p&\SvbXO07 s`G7)Adv*)mt9T)<=[X,@@{t <OlRsӯ棦㙐œ'8T̂H5$e\rpiozIpULY947iC;[tGJy4YJٛ2lwRoȿ]ϤFK4\LxC[- TϏ>v1nEw/3< \'tLJW]{D|"I#vnPPg$٪_ĩchG-̜T~mI`~ְ|2 ifu'費/c,̭֮w jW9G\x4; (-W%m a̡"0,"|OpkFo1 Z!Z?;ܵlgCb|[V2sc(;%,,KJsОl12n`fi@aWFѨ4|poe): 64)7-E;9%-DNRE35s=Uz~^p5 ė{j^K[ 0[ڕҀw[%hL):L=\ˋEB(vH&;66c<+9<%XoSD,Wx.͋ǰ饋J(xZ 3r?)[h ]wuDp3a}n`?PZF,:!}K;ϣ9$3Mq{qj~p$ 4f"6Wb%^崀f~e'cqq)=ɯ IgSDgy8ь2d?E\Y/Q\`'3Y$lZJkbsCT|jx2nGep }(X˖uJSç @U猞2841e/?L޼b\'U1%Y]k8a1yXlGj|=P%ջh߶Q~8$loTM);'KvMn+~l`av{ׄs:d:z_GTvd$ZVvݕmA$ڇ&ME|^-n&M;>Ď@)r!8>|w䬌a9d(c_apuId1 ;3w i:DI|&Fi,cdPy))7z?j[ =ļePh,Xn1<4EsK|Yr3uϗ- ecD?A;%QAnz{UIPαw:׍O `w#k_/ s\J:og`"SY fQgs/0_! -%%/VO}lһkuhٳ?}3aG21x) vtpZ Bvxq9paL}U㧆t4Fn%3}>^G\?lХ?>*Ҋ7$}#Q(F[XPlj#RK3 kyZa 2Vi(KMN:5D͙UF֍0yKiRUFwO]OɒWZ'NNMVi)Y2#-`'r񲓅V<,EU ) mU I`a(D"s&vgt)@MLtԶb؜L8/hH翗*:F/HHaJy9| x٬Ju]h%/ܞX2fU~w.[[D\UDT d &\@7yg=:I=uO v; >ԩe;V6L(husXEc}duk)U㠭DaCoǵ,fej*M Nu|^&g(_bg9iXb+k f p~dy W )EgH`_F4E|~x@aAEԇ/`AWDy,7#4ʉf, (Ȯ5\eCu6f_k[Dp*o 1 HOL-Metis_Examples  n7F*Bk͓hW7Ew|KgBLs fJp/N""$~.}qv '׃hi*0T#b9=8H[*'z5E/y&zhpZq: Q{C?qxȨӪ@LbΥ1z 267;CZ`?%iW4Quk~׿+zRaHpw좫Z,lg\ۨгX12WZM&wg`rrYJbAUzG``.n%+F_))a?j9ޫo I-eEN2ϫBbsg .rQbu"v?0 /XB QC3cGc(T4ʻxMYǾ 'mDb.W=4**Fv9m/zffTe_.b8윦oM2V(X) 8Mg6ɜ֎y\sps$KO)vuB&|xp|C6Z57 ,MXdPIpIAW;`{yW-'<DܘY73=3aq=إnJ;tc\@Diٯ'ol奣5a9M{0@(=4/j#EZԮ}V EџvqVɪMR?&U%+?&1o87bׅ%\Wd/$ [߲Q1;KPK+W#7@Ǟıܡ95Co]^qں68yswj_H,&NXs_5V츹Dߜ_>P#3iKG,hM-] {X$. b/b3^`stG) Y\b`ez2=~90>%zC[q ҍ#xZq"̈́!WF74g9@P% |?gyBor2ݥ6>m=~J[Jp3c <b\1bn1əqэ}q0mVҖӞ7~A >f Xϗ*-boGm ֽRrpcJBKמ]: }HOCz;&&6 PXf} crK! =jeEoIf M74륲{]dTSZ҉nҮ¯mًaIͬLJZ~@Yp JRxE),q~s.< \8obC4I|܅xQd2ʸ/3:THUоv anJj,Z> :2\x/.x<>>[]]MPFF=FGbe*nwIo}u oo+$A0TdR2h uֱ.n7r |đ m}ԧ4l6JBcyf|G6XH\'x6_VHRB1y;h t$r[0&Z@ 2Ihh5CMɦfV`sC X1橮oʬ3u8h]9r75y+DŽUs"u?†>VӒ#ԪN2FsqY Ϗ3iatȗ͢n0zUܾn|'QzhtysVh+Q)a!Jd05;BQ8껉M y/gYzM B~Iq"XJYqi@dCc)1Tj)NJ'{7٤WצHDƜ{\Xr_R5u)V/])8q{^8aHu] +YvÔ/߯r^m*{ -U~>a'9ÉU8r^ō X:Uv3`囥&B=&ƅObh2($\J{zIiAd4= ^,/bԻĐr$.^ Y_;.x)j-SPG[BXcWXb؆Xu|Kv]L( 2U\I#z@m :y)~ H߾ڌ};#ӍĚtփaY{UaL9eϋyBhe˴~TE uBplt!Qy*qg\"O#4LKM(Y? )=jd\lSbfuPZͦd 0v4KJ]IΩ[H|3>o}|W.w%>qs9 ">wR m|;JVӪWurSؑ!Qi+5? ڊKV>\s=9LWcWTIH) > 8[VD@*fe5@ HŞF,* C1X}l+Jgb9s)y"K-øOd]4\\TN_3*;I'.!–s(8G"7j'F颈2@T>K@f&(Zɷv?ä`Cqi$x!z:/ݦJ/$H -#c,lgQ x?,uHeF,X -:7ER)E*}7T|Br/%Ξ`I)jzGrme{(hM$kJ?# SNs \]>r턚5CzM8t%2Hȭh`RJG)cx$mP L[V1Y*Gm*S;<;^U9l(0j  ,<rt,}{ͩ:(ш N?Uڢ#du\RˣC€Vm^ac%/+$07tҨ+J"koGh-uKk3cJ9ˀWhyN$S7HF`XN9V E3Q d}N $L4d$^%vo& 1Ad?ɡYP$N{jq:,|pq`s޺rLoCA*C2>m> D퓊w!P8|곀0PGc m|s_XUX'n&IpKO=EU>2;0Q^73.Kň{[sip_ZQֵK9CKY6{֌_9zVjK\91*\+ls˥嗒 Q ׊"bB@s􅌕&~xvXT[h%G7HSέU 34 )WU͜愮Q+n[D%ͷ9#dHFCsTr{)HIeƄ$R&TL9yɐ5YLA~AMUĨ v5߯nvY.s0NR`E M9$"%(_fI2J=e]SA_ 8iOHH_3vPߞNըW7SSNڶ{?B6qe;cI6j{Eh䳷sSdG:jLZ@gSq,~2*(_F`Ot³k8nT?@j8"17!իl1]SlA6AW;'1]=< yȹWLkH6SnKm8ǀy}[N'' H(¯hnOq"mƲj,: tKM09 o٧[9 sͶ&LI K;&Q g 48RrF RnZdB.bPShNk%>TL3=]Z/b"7fZmR$)hAp:%S2zG0HO(,-x,#q&%U偱bE,V^ugx=e1M${r7o1 Wנn(۪gTYQRYH%Gkeh"l\Z`ou) 6Jtپ]+Up|V||.f{p :.3Rcy}m PatÙa̯U[кb33$Mp^hO,tm?_XQ]8ىYIIP֍x~R@!J.ϥ?㘝&Lr3rWj:rY%bB-q!ٝ=9.NL9B/be2Sx jF5YE#?.гCΖ DȄ?HJGl]:/C[:%qm_K$D,F6cQ>2/N7 Ak"̨bGA#; TBtxB_QiQvzY~3^fC[)*ќ"`/v:E}}JkExAɊ3/UQ،,w/{f P^\EV 6/ɩ8QXlCF͞^?Ò>g ɣfC^:c\ ׁ '3ω#2" *Tl`rm|6v*2@TA:Y.VlTwY!-8Anz}X)Z=\еNzHC&)}.8TEhe#Tv4ڌhd;xIз UrtV|ॾhKjJY?*aBި6y$VLa4ܚ0S>c3O lj=[c$+mArG}$z{~E^sK`KubzƓQzJ2dVy6o3Q+z8s<66 , ,muLXe.6a\vuR3D;GV4YEIbghȳh Ȍ3ȉizT3zU5փ̫T~QfV%,½ݳhh%jSSήfqPUɮڀr0c.STz@+ض5eݟ98`Eʩ haV --isPKgwcQh%V9:\^%¦K__+FM0J6y2x` 2a,&iZ Te-$ozLPe=~AلjE~\#)D]*XOMuB;48`6~l:-^i7>R@f]΁bB9G`pegz`v|`gzJ(yit*I'wK^k{CѰjvդt9 (tzט ϔ}k#$q|:?#$r)KI'_↢?3_Gs^ufRw7ۭ7J!q r%,:,Lp.#zCDúCZ8\bj2k%T[G蜦;%~kGNd×rKXF &.@Yݣi}uH_fgFt"+t6>3BCQI(=^{ M>b,WzI4_0a3  v^ 0F37j(rn_i2yB"/Ҿ7 ~"X4=^[wvWSIJ*G2xLo;?tzдgb2b~W4ʒF`dUvn!TǶC5het}}_aďgRX [:*N]ʺwIs̯B;FRrh&`숇g@ׇ|a 2"I,;'!y>&G%I)k](W+8r-/s6RɽYԿ Tk5+m˷Uf̽)$SJk6<$5ת;>R0I&bHUzaHq*\`Jv[PQ JQmhH$ 8hPwaemTm|916haJZ~κ/Q(W>XaБR?)Ic*.+VSR0@a׆i9UrԢeW81O[*\ tK gܤB[\2Ghid[udOǁ !O {a"4+XɗY:0F3+!X!9`N˝SK2 *eIR~|;~;Vj z^p0 98[!f|UX8 쑀j_LʹFwZ+Ln'R; Y?:WJ!ڷ-DXnhsHy΃_]cIHy!AK`tkYHf5(iZ85 1qɘC&%3[hX6~,lb%K ޴,ю@o%Vm*x%Favwf"]J.7`RjM4|W'Ը?iAt;'[h'=uF_D|;}J6X~f[ݼBK}o7ZN(5U'<\5q^p\;vύi`xӁREw,Oj >)IUp1E/!|!uzlFˆdL C[AI&Yc~I0reFH蓐/eQ05Q4Mݽ@~4qoh:?vV~/*U/~ZO*UlY]M6BO2]`ܡkўCc^;|(ʜV"jMb 3v'Odb 'M֍<ּqw)z[Q n;?;9Υj@(uȩ =_d^CEh0g4W\aFuM-c8 l&#rDZ˭/_Ϭ6,!]3)E:6 ƻk"vmB<9'Rǟ1MŘ_- fw4wHػW&%= *[/l߳ɛ.#HK(,@|]hZAYÅdUJ/* u!iQ4A(JA>bЁc|Dq`Bj7,zOov/+X $4 T$ Jx=+qKׯ~! %12p|݊8CN_SXFZ=8&NU?rVA ݓ5q~%ALJakR[!R< H1tcv7P(qt-䬴/X Z=Jmmbb!szLc$K2MwjkLZX捘XXsĺ a&N_texcNIbnŞ~%5( 7e]>m!5(ZYJB< J%-ޠԩC}XS=Wٻ,eo6k}/Hw怪GleZ/<ȴ !U} V) W΃ vgQ]cB7p\g $@|B}lX26rs*Mҫ!y-GrZHeSא䇽v?F{с)p;aF>nE#|돚I]]dTT%+;'Σ-Jdglj3Cwc KAȳx^=ux $q$fspgVt[Ώ ÀX:'r@΋zW{JXN.х}n/3p ׳Oɡ|ƴFdՒx닍6ۼ}ِeϓ_O*8y` z)]p f`KX2nWqsMNQ<^l&Am ћsw\ͷΣt;|m[MtfX['}9:Bя]9A)Wx֚ѷ>q#fɼt-2JB\-+Z*UPDcvÌ*"l4ꁐ1UъR:ɇڣ1`bn\`W'mqPۄ |B7>JgO5Z"7g.Y>%|ZrH^="z,tK 馈t g>Q 6$"t&b;Rև0`U>SߦǶgJ_:(r躛Z|›jGo`>DzuD˕j'Yz pׯ#a4C ~5MQNbiә^qv5z 5=B5S:,?ew4>>}.-w>fZ]&J Lխ|gP펚,42S]mb k&&HfLL@R1$UG*֮U7gtq `/NnSAۯ]Яt_M('xvXtW[Z65:[GV'~eoK)}t:T ۜ ]- iS׹B] yfB$C d`GkBX.9k(-d0J{K K \Tؽy WwU^ x97c!qcZxOfkYA,J`aA^=ϨSenEUr4?cS64:Dlx+eTKX@Y T &MՎzc,4M̬ 1EBmJI~]#DoN5f1q(&gsZ ኮP2`Λ݅ +?{5+* Q|-ÝZ t瘘Ҋ5%,Ҍnȍr0=d[JvzY@Łbm ڔ% Ꮅ lNdsisWYKLhN WAbym۬[=@WϾ5-鵔#e3|[ <O!9\ٞ~h'o3T{",6krl(<2,q`E kZ6؉+O meh<:LwSGjP5 w:xL0\IpG1&qރERSh_.KâYlՎ?sn(mÖKxKXv[_'+5 b%:ˬ:XuװXz!+z.\ENy^1lj!Ce8ELzvGա,{;|A "R#"@!.Va`S 8耥 56^$:[B3҂|͈ 2XY᜗S1ƌUnrEg{mQ qšbva+>;+hq75zeyvn!{)b̐X"岬<dPT=@?OqOe]4z|x&S`6](&i; q:Sc<c nl!a7;X<`%>!l7ċuǽKҊ_4'b.Fg5{/$bӭes !tQ '\@FP Hp $<ր)&n`A"R(>; ?i:UE{Nj8gzt/i:Avl#4pec[8~3Z+?dWJ#)_[~^J8|=*;xnŦGdCM<>{Hr4ʠ{; e OJ\`ў2j[6鹤5֫ 1m UqZ8l^F[rʔB?;Ъ7%sGJEƇ2b*|?,S~%z( x2*`Cc菋$ KB1bIr>]B\6m*!֠zp3=$uSXurY+-Q .^ֆ-UՔM󞅖fA"eetZt)G;COv̬Yn/̮6p0-I[Ou)2buU.+j`M2y _@mz͜Bdefnqwyu K8O=b(>C{*Qw""'*}[]XZ0zLnt{-`Z;ڞ*,gj&7JHsm@wNFZvi|{]&Nȁ9EXʠ|6%]H^!hGpM&([% Kù 8.'D*SY:.Ȱ3}0Ym@Ѻ@Y~꣹)ZPB@!k̓ܩKzgָ*IL,5 k1t,b"Y!};wDar_x@15DPpyycr͜R!ҊJ}wKW'` _֘nD9S2Sf-'FT?"}cL~DuXgk9ja ndz$j\ή}i%vl&h?똂?ygi&VG+Lļ Jj*j,C}zjv{5܁9_*읖 xrXoRVsNY=c }({=bfIՒOxOl ?GWMM<aڛql +nd( ebbP? XJWq!&N5BB!6$l)>)fYͧЗsh|(/A9=kb5l`90=LqDPc/BvxS^E>Us`@:Mf+W{ԍN]@STs)|TP --hƇ?[TQ*qÂ*C%eP@ȹSeԞApMzx;V@xsR7v_9"zaG5S |PN w #DԲ.%p›N4٪nzQ;;kN9ծlQ->JKf@OV74|EI 6+ҁ)2w%(QmDŽStٚrʌsIeV/HF6g9 69qbvagQx#,i37i:jBvV͵lT3hrEW#?S¶rSR {d8^Ʀb)ɒD:\8I-'vzs\Dap5 +*֢\9+/O_B27 1x@|};T"u}rGqR><;H{g Iͼ!o&Ĩ;l<6x#aǡʾŎc7YLɉTMqV-) tM -Kߒ,'iO}!m]:N} hfVB,i&)nOMRfzoZGL&8VDKWy[ <ͱS`oox_xQ!\jE).:ZMU*j 5VSݚy=:a; -=y3K" }[g.y1XȕCaj#N^rf攟&c0AqQ n1%X_ 2& ˝ Hv9fR >{y !3*Ranh6Uׯґ:vE' h>=/psCA>QAyR v+_#VoHKp0lj(1ǐKlG4֊sUe[XTQe@yr5dlɝP]2gOcrvj>lFV8;Dfp)Oy0_Rԉ&>:4}߬NKKû V0U׼b #QA^&k׾8l̫J>g:&Mm 6g >69FlmMHj4|"@SƮadȃQ#۞(6$LpCܧ ̀a@W2hO-͈r_O$4R[rH;yQ]٫òqCn -,wCmKK2xٌ'h8AgDgEi⎒:Ucs帤3)1?Ln9cL:`CMy@ zɕzZƆ l;@QU/̍e|Bk K€UCkA[bK@rCM*.\ԽAʧ򲅧2?f?-s@wÂ*Tz:8cj-_<Vj6t&1(@"$FTΚd贅X?>~ 3>h #/T~v "/>[`%:ϱ1?] l@d> jj. j>B=v 6&~bpPpЛN?[/i򅱨+h?Ub%aCdKZ0Fc0~3Е8cܜ|<"̄+R ,Rﭟɤ2蜨`=81D&5S Z'`*+#R*ͻZTf Sw|h3P,zI0Ze\"x1m,b,.4e]]+hDgEC Ԙ~'蜂j^yOx:I5ؑ>J/K~yD4v0qU(l^\fOb#K ?ړ(FȘ"iS'.`2rt3u8鳆Q^abN6/V8on  ,TUv݌$,[,l"}  u~='jb=TmfpW[1X;u,޵?h_,%C*=2c4YC % 7ȋazo`q%@QZ6l74&!OyWvܾH톭d$͚<>'L@(S`]tN #20^IENJGiFh\0 +Zg-Mۆm|.\RI$RNtyIA vV6d aJVAMe|fn!y>Mɿg6/BWwEwOe_n*V2F<<č*wkԫ-5o+%#?B{TO$6yJL|đ,5#džŖQ9h]_"r"RZ|?LŨW%'RrñiQh1WglX%KGw,G  Px;5n6޴9Ԍ6 ͟LJn CsQokd9@vٽ<>]'yH-m=4ڗ͉tck\z?`Sڍ(T"}OڠějN!$n>K$?akiiY'?"~v (>'WBL*tY [[46e_+ _<]M*Xn6Qc߃վT^8_\Wgʡ y C,ǴfK7TcO?khq `/_;gi@FBugϯc !ݹXKEi^o' S;=(_ϸYqzN4j]Mh]}i% =XiNJob l>׫ֵM: "XneLj:rX+# /VY )9,u Md*ew,_:ܤùhj he%@' hW?XLn D:f2t_- 5GzНBc1a05?=QAK?c=LXWMR0wpUII=I21ZnhbLJ8~NKrvT UJӉ\1Cu}׽%tN0O ySfDI`-HWV9sDִFs>b ndqtߓ"C}i>)5Iw~~WI`Fe!s%"KiK8(-ݷE 'FԩR 8?VMGoK #drm%?bJ/) [r|k>e8c(X )'0+> wIL\"S()I2T$$_G=D dH}zSzq *іoDA? N9o?@ Ad?YNd޲!,%?(I3xIPA*0' }Z7[)U$dAgOMŅh[BLa؜ ;c8n5!Qm%VFۅcSڱ="_#)a&3iDzpbxۮ&9iԂlWFlT/o/e8tj:c H;몗; 6\Qjd僽Tdžx%{!*kr; ۹vEVwOC`~fJIDŽ/)w$aW)GV:/7A@J5]IkS[pI] 1C^:Cb¹4;"^TA.`i:hmV 'c.Zs5U>s2nه$3cR.QFq;G}L Sk{ +uESu)֖)Yz8t:@|hB^wzj ZTP<f\}9 TĈJFݓ\hE\oh%QGϕܑw12S--K.eV{*ƴ2,0膪ʁ+û2 f5"z{U_Nܰk x*Mk/r jxIbOa^:GwSvX)Zm\,Y5I|AߡF%+Y E۠ȟCLhQ[^d$QfoM`:S{@hFږS*  }vVSAJP6 :9$*ǶގWtbg w5{R?.$_q堍JvE"iv`CS\jJAVatIg{:2xE_:oI_ #nxi,ʟyGLܺ{)Վ#dѡ+ N1t{N.F~qfBz#͈DInT4bhQ Tpu #^੗E i\"CJtP@c_zٕ> L(lԊk[A>:r) o8p$+wRIIR3!oO27'T-A 6 X%޴\ iJUSp`U}8*F兗LM{cN x]Qwƨݼ4EKONpPFUUWZʹ\Щt%?O":ۧ>T~!ę-ypL"cAUh~4rf \M\Po;g|Z# ^at᪓R[gptl6" sѦI#`1+23{T]*`6ͯHLJ\Ws)-@42 4W|wsP ݥ 6f-_Eat9lGԃ@yAXbPGzdm"b; ' <<7"}­5A(wn`mLrXwƠ mbxMw \Og JWϳ XsWKhy0lO_msl䩻բ^=b.7cF nJJ(N~L;;ئ*D1Y8B]@+)\:k(P+dsHI[DQ8³xٿNP37 +cU1^-$PoQl<`ЄY[q"q )TI 蚷y1jfU&.+ey膻5PEX jjS!xu*`;,g*^#* J8^NĘM+*A[Ia6VcsZN؊˜#H+[ђ:9'}IFw 6+yFz.螕hzKѯrrD2?5$ R)h0^4X.O "aX98A^X \M:p+$[pD= yRhKi06a)*3ȯ˚o%Scu琛!hm)S,UP@ijG q?fB,`7&6rROfaշԷ̮g-X]= JIХkS0CC]ɹ'=?^_P.f!®3 g^ޤ4(" Pu9w3&T*%B; .Ci_A✸Xs/΀qi*O8a^:ۋ fR. ⻔K N柢Fn")RGǽ ;܎nr$E\4nĽ=0=*@eW".{Mgtp<7<ΊDTgvm!:8;9Ӥ5a'[ל̶Ծ74%3 6#UeȰ,h0ۚ^GNhrxw!sv]MrHƲK_-dMf`gm{ ۗ}=do,ːJyx8 e G?P؆ Km ^\'A-䈂qB3lx&9-qZ6kT*ژ>nHWh, =bh"m1zfrkQ}skb)0ֈ}׽Q!Art7h|Bp s/O7rI3A`?z;̺` %3MÚ^ A\4q0izl!xI1ˁp{t `W)fͺuXuY֒X/'- (ھbֶSen훛ό)G'xqis|3 ~XhyA5b/|-!vk.CEAШe]oG&k |۝\sC dQRW/ 7zГav^L27H&*_$4s ^jEcsS>=&_BQE?̢Bv20Uf6fA4R5-;f C:A)_1]udaw^u"ܻ8qއS%N2t( I8RwnwO׉;Aw3~,GQ4;TEFSrddFv0BQ;$vSFD+nC|zpb,5 "v1 ]o^M\H@ e:~ Ypuu 3,#'):n K!( &E7QX%h9Z n/ 8g 'ip &" ʽ:b^\Aqs{BvRFX"b}WNA%-d` m޶[}4 ̓/w3t> G1}1#5Zj9bY(5bJӾlմ?V6nFG2#ɻODP+/W?3y\t"vS[=i ڀ٪q7&Em۷,,gFu>b{:V˔)I B}chٓiCl+BTޒZ[t~A/ͷgL-xwI4^ {L#=n5sYdXDHrAx.%,9Co1ߦǐWYFjR*)LrgViKr`lay(bJr1`!f n#]IvM?jcr>qɎƦdm$9-ٟ'o0DA0R61QgъQ"&:{PMH{e +P%$[`AhUN֓0[c֦0,HOX$g~a,TbXR},(9$CGg[Efknjj3%; KCZÖZ8Ak߯ KoA詃m&߶&j"TdÑ(tD!9J[7 bLYր<} |3J>Z)>GC;qFzbŰ%EIJəA*zGtc2pkM+.t ^C g$Ey;ktYidvM]0j;;TM# IIq4%9ڗrd4Qq+Lh i)mzފ!;Z"[90_3qYoW.L<&`g \W(%_3B-ʺES EP=819HKQ%ĉ|adkَvz@*ӄfgqD> ӻ$'>5L4&{"BF?VUORO~_Eqjt_qSHF>Tє#}ǁ%e@_nCK 1r}kZL YHkɐOV(8x QvJ}cKA0C۩TRuע7/[C_/x xzMsΨ-<2neL"ݳ(*f`(aVϏ-p'6rjEf9U?7b]FVl%?wwf/¾TȵƙGp{\6ubm|c68DZ-Y@[lZ+AH"B?="ƔƘ}E7XD̚3NgG6hmOk.Mס{fQۣ8sG:%5DrO4w&0ǃ$h}˅fl&hV@S1gT?~"Tb34-dTC~60#ءgcIݲVM9+ŀ)xoRvXzχ_Na`[68?G;e֭hۗ),pUӞGo'ѩè WZcjM~8}#*OA?dOsSAa$H>ݴ]3άØlnq7î?i" ƚko8 F 098/hz͕ydJ fM.%&>ΘJ4SC.Cg\l!;o4!_bϢ!<qrjipϲzӞu ALU՚'\t mcGu`*ڀhPAU ʼw\#3qSb\H–g(_;Ig#[$A?˳d'1wN{jc6W3eY 0+H y}ܔ",[ ~JH9l-b m˜Iqίzdz rq Θj%Q)l|[OW58HIy^;Ƌp82;@/&ynxGƾcI/wW*de:=9@c'_aRcT&tƓԫU}u9KrlF|ʹIiVl(g<\8_%oG DjR9i\6'^spT MAK"Hyf`a;&i^O |Ij4TwH#R4:ֵ7;obV`7"WIt&.VQ 0GV* ? {45}<*nL'0’.zUmDu۴:31w )-9s–q˷4FAͪPS$:9>\+\3U{G&pOмzeNK tg;#@ڋnߧ9iQ_s(?㯇Vu쿢w9D[zH+13wqkr \,q" O#\h*PB2!s%IdYdvf%8͍x͘_~D{ߎٯ*螓VSi2.:Y%3U& rP^׹_˫#v+fWiv%F̷Խjeq%e_vZFcx+n鸝#QX8-tg.,7|Y\ms-a % , U@GLS N/w.gɚUI & ‡,Dyp kι+AKjG$ЯrH,p@Hq1d_wK*MY"ZMI&%VXVe c^5;PY٘fdVy/zsYK5@d$ll RBV+pn, ]j\.yC'vhr~Vj]Kn F#p(\Ӧ/i Q\QZm|wː/O BN'bg;Y5&Y!ma=_P8^/UQ""d#FxKB rL#kӰ[(˸R+dTnRoΉgYZ7zXZִF! ,]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMkT>rs>Wfhmh(J1<#oM#]:8mDQ*T_Rg9;XG{7&M8^n10Lr`qOK{ w_)u^eG v`L^1cVVGGW5fp,cg`|ͫ qE E~!ͷ#S_%ikz}D"#%ZnM"i (`VғgG1ԔԻI5igYZ7zXZִF! C[]ŗXi%L%|!u]|8ǫ;Fa+ ELl)(Ee˂Iъ)簞SgzИLs>[E 'щ_`/1L벎 ^p,V?s2܃bO ˩W\f8!eɀ`S=լaS<܅7K}iAXfV c!hL'n08HŝUA)`NfGnL')kTǭaKg; `ҡp2 xF A SG\e{^AU'In؎b}Nˌ/,f5/obĬltIWU9d`y=SUckd9"jMo4LoŃD;"x-"~,) HXx3KV|\'OP.ℑl -_c*-$g3ں7'ގ)!c.pS9rP T<_s;B_4ZKo~q>!lYS*S$>mWi<]ɒvӤ#[H+kr j7/!ኅ[0+?n"ٷ>p‹l8Sf oXIBq5 Aܬpz (: bya]U0` uuڅO7j2ѵ?1@ >Grm!B:@eM()T _n)~]\;RL!cHb5A7F@" N (a!fAlDާ|7]_|ocG>Xni/!G`a_e,ISEel/+ nҪ/6"Q :鎟L B9(y( PT+A(h?eLLL A+'*U$A;h_w8 %K#$f ۦē?&L(uxLq{: iyw<}XcOD0s3Nq"!أFn gYZf7745358ca8dac1cbeb50adb1da70021359d3efa3a09df081446ee0ffc18a782a60162435ff26569 f98620677fe586b256f76996ab9fb926732156c9 95542376cc27ec274bcf1e627a98c02877be4b63