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 $%T ]/]HOL-Analysis:threads=6elapsed=310.828cpu=1519.080gc=54.288factor=4.897zXZִF! 8M#]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1rFT鱨/SaU^;ݗ8FF],;VF箧?ߎ65SF1\n<3TP[N^VGq" >xe\tp,k <SPG엷CHfm18wa#Nϝ?z/k^l̄ *J;p|BYش5~ {&] f">`9݆,< % HOL-Analysis  eԣ|~OʋI [xh1%rtH+9f4C[ 9 K"X:ύ,˳ i}ÝbXGFG#6샘zqF5OC)uiN7M:*&f2dAؿb*d /!aO@X| b7-s #CԤ0E`tF bTuPKbz ]2ʀEfJAYϹZB," }`C$*Ge$Od઱ WG0  1TWFkj{tZQy)ȁi "~಩ymE_vS3(+ݾgj0lWfl#3#Y %5E0H̞q aIQ<JドVlɗ&WB2$)b)/fQRԾs92j̈ޣ,,"#(Oֿ 3%$[ʩiyg(zH JF>`:lֹlu uN[wmƣJskؗDlp 4s!Z5H_NZβ$wǣ ģ}ʉ4 U LV>HZ E<&n[psnRfTuc@({Tؕ7=|B`K2AG=\J♚<\!'XF P*~!S-0dϤ|'Uoa`]]p1?8iU`ΥV =7`_3ÎxZfPF zL_ %nq96L/HL w9SC}&$G% ˊaS~+{cֿ+PWH4Q;YihjoG$ ec4(}foZs(< ڌw(cCUeWxw׈<sN<|YC.+WƝ2[tcdzR"t-"SEHse5bO23û*w 7)McL^Hs 8g/ Kf{_|bOއzQqSu{(Vm-nǣi_{Ϡ(UҫxDYlߩ2oi2i 𕸟:jtVdh>,SPk`.ݩ_+X0f>2QO<.kv0?07{ \pücIK\KO,YeDQ>' 9R|Hi-o Il&[ xyB5S`O)y88w-*TBbiFhkƘcfjA4HTPpzx[Wv))t>)0,n"iy]3t{.ҥ DrPOP[`I𐰘;zO>^<`K M߾?&( .ܶ`>YA r$zoJ=Kʽ:s)+|?EVcE`N?0Xgf"%zVuU_ ıo͂aM[݊Ǝ|w#Գ^Hl1$͢D{ƈR]+tW5 * ?ǯAUϒWE($ӆ+ xS3*d8&qb1lBsTR[':n WkCg0 ]VXqP}bKOun3D>RyM?׀M"O0sՌOHգ)a|nj) xzw躒5A|}K%&KT{B\}@if>ut8q|1<-|ި@9kp똺MafSװ[\M:i%vދJbx/4~2i>;W^&HXSZExYs/-`HDxO Mv)0U30Fn u W{o%DzQHp4֓G[j(cVbMe6x+|AXV^s'KLu2GfbFld=LD;XY 5xu2-1F6;-ګ%V)l ~! C&,5^>V pOb'X(`&%z!{&b,)S1HY* \J9xзc{g)ud.H9?嶒| 8M/DŽY3n.4:;T^76Q;b9B%L+L&f2B0C"`ay>; =-m1o~Qihx=c}cYlOD8?m!3QΪ]0#h5y4m"_qwFDJڙ(Uo7͉Pd_xz>ӭ#fRi8(밯; ` m?B)cab\Ȳ wQ"L=O!R~M2O7:9U+{VG Q-*Iawn}҅|dzө}ټ3>s9^̉]$^QwgV5^ ]{¢B{2CqUcr?i ϶ QC[r>=/8~'0^YBt#;ad|wyJ>Y ׇ3V\u@uPC4=Nu)" a3K>-"JGJn[P^t0gD?X@5euyk4Ik*KS6\Ja  Pg?V'mB`Xryw8Ay;S擴 nWG2rEa ҬՍK6]VUm gc c#<МO Fs#@GJoch:#zij q-?O1̟NAVxH/XJ8';TSQŝLFTNw҃aw[w9Z&7('h#` ioB|9<9N#oBsȩꏲ+Y ~/| | cRK5!^U}0JTLNk`w$tI߳-|"֍K= yruLh]ó9FTV MH?Ѧ!]`/).$aRup ;X:OkyΡbVo4]#^֗~Ai'Q:` fI,VG49 P/n#IeXu;>"pOآ[#Nu{Q+$_$Ǐ֍WΤ:ER ҕoG!yU/ G/6th@N>iN25_61 7EX[z*Q߃@OؠMDoYa ^Uhkn;}R(0k &#U 4$E ck8 W)檛ny6pZJY(YGW\?9lg-IQ{ % Y2P)OXwue aAC2=gg"Խq|| ¡OH] p&1Hf˪Z@Lg eV<xSXf!lC1Ғm3̀V At{._NԾm{f: e)S5)Vg*}+ Ħă[Z X$JPl|(#'BO+j_k>=}QLEJS-휣+Y/e@B?4\&8a\7ƌүNuɂ3qRNF99Ē.񌓠('i<>VrCuTL:UPMXM #陱@\-p頩{Rp7Ƈ&-O~ڤ9f9!])C"RB9:q$$urRiv[صs;C_>A(8bUJnr?M~_IX*S[س(cז8Kæ bQmiPgR~k o%6R؂Su"wM4A8*c( EO?PO\taK̓Q["*Q Pa|k 6p[$r]/[5Ki]+6lձvH7#aQ@(yPhMX4ȽQ)w1GQAtd°j&Pv@] 1vt#1*vf|vvνMV!"}^à~ߟƽqPQX5'-zĹju3Sz{hR[(z9U i2JF:IY*/q<@v($=1iP>,D *K6;ƞ `7DMpA ~;[zJ|;pi5ϟF+Y4x+_Tԍ;s{K9#Ac0ΰmXK{H*W#\BmS2}7g&`O ",7.&.b}' T(d%Z<I28m'WA7UR#`฾DRvECm+8oq9,ajܫG& ٓJWIA3ނ~G-kqB8CO, Xx LQ~;k 6ӕn(i #!:PYDk`X$ꨤ? abLUVٮb4f3]`W k`dVr-vӹApigqH Աb;$,TeTwY6G[*S]9EâbTMQߕ`Z- & 2q-u2}ˬ*xl?vd͠:3녍ʙUkX l{'3%te t=2g/NCj|+oƊ/2V?+pn߈3B?GeߊB(Nf4t5sX*B &vYir7K2$&v5Y OӕS0bíӌ#2Y*7數i.􄻙ٞ"N!Z$fHYhEONv #Y[!rh^%pHW?6Kw,T_juMH~sO!(#(7U=;Qb3WiA7u.n㮏z8 ;KG0^{Mp߫?UzK]AD =>JQZS˘68scSEcNYųR9E`ٷkt`.'jK˸7JcYV^1h{(klˁ8sbbx1\WZk#+FZ-;t_7# L1y,Bڋ'L9؋Ov-X>|j bko"9c -F`<^&@6p/vSseTS>l,lS&݅7]P9ϝ&a)p sֳ,;ʪx#H/}3M8T7-W4d胱 !Ѳ/Z$TdP=uW71>{uITȭRWY ޓDzo–`\gGhx6-@zyj.ltQMJ{2I^˺-y+ESl HnGf]YZvLN5CQ Pr+`Yd"Hсմ8f_ mqhZ:,qLm8OKǻA {BUI20{E12dǿ7/Dա[}>42,x:JsB.788}`"gbKr20ll5Li{*o&};ޙiۼGE@o{AS7  8zǜ^Y -J|\7aeL{GӀfemqxR4N85}[Y9}Ʌt)$pRJ&_(=0< O+yR޻zƃ;fI]_vPxunELqtav؎5 BT853D+R-bp5Ј3nǙj um}7-ř0Rj, 5QG\!Ccuz.Ⱦs7R8o!%ʳU2:xLSy_ܨiΘrj g%nQrPV(T|ZWÙ}@]OLۏkAhcHg=))7ME5`|eGC,7jxagi=1GddЗR(qgd5;YF.# U,ƲQвX*)ǩtQB.FeEkjl۵ZLk.Ƨ=y*㿳 ZȍƠP"*& h"٩te8}kpl;K˿{%;k>x]2lQmaKxU 4d)A6L7ˮNy`7܅ٜ\gF;1^6U씈UO\CPRY~2{0cScBQ epG^eq(VSo(Ȃ>w4: 5z 2L bdQeuBGl%wjL~tB h`)WG@p$.fEl  M Fho ?1q G[:֬oS%'{z8[b?W|w8 {ZWP~rZc 7EgXAnfeu;:w6!)؆)&}񹤻כa=njԆISfʀ m9]aAsުfcM`2Z}IdXDzI9c$po΂Wji#86jbVՆT?x^b3F{/"Kw$qj%ξ;t^s \ဌjEEmybhmnh wۓX'0F깯lV_0^'?e(Wjs } |!\#!* UAst厫hc̅GL/[B sLw4FQؒ_S/iKdHZ衐 }D9A3rпκlz!nE_/yc(5@*v>TEJF+SXK~ڒ5 >KKUZR;#§p9Y$7z[nOtn'Q̚k8r{c.ެxdLh#!hbHƨt^Sy"wZg.dQ"={f 1$sZem p^;9S~a| b?,P2qa'A9UXk l Z9㤤Ҝ(Q'NY'|FKua5N}2X'ېL,hZ!t13g"/Qn3R֯:%jj9lAB bcj!ēU6Oӳ;8L= R}'&R1MX^h]pv;aEºr"%?wp\&hmk8wȀFGde/7lij{Ńs372ܓ&LE|)*c/0Ki-Las?Ȼ!aݻ 7Z*hPJ#SiT_g'5wcx/8Ra-5҉P]+Ώ%NWa"M P|K_a 0+D41 E~alFM!k75gSw+yYeuѡF#Ȱi8èJ9 BDmA~Rlo2g{prC؉;j4Kқ8aIᴙ=je?#[Qdόynɳ ?Y)8Fd84[N/ڊB0Jz{4\l|^a vȅܫQ#'W  8UdE =̮A)S}o9dLoHzJ? m'jN矏=d >rniUz~4GkcO_k eio c"x3;YW@gA zeV~7 + fHp*VFHϋ ݩxʊX3dx^Ut@iߗy֞8O.-d>?עǃιZdǍaX-4U-s пY૶hܔ$Sd̔&HҕӪ*w_0"s}DG71` vo=(.OezB{̼.w"jז{*B519ggޓݬ^깋߮k*UZqۚ& 1YGyI!D+TD7񹨂5$pRHF޶A4w+ۯ&gKb].I@W?_kSWS2[@ELm))^[8?CŃ Qcvw‚]eW  ;upCB`A7Ѕ1!$Lp\$BJѩ[m՚܉hΪրjZ-LFϹ@Z~~\VǰN9\j-:#d_W8xnt!ڿ:H1r홥cEN?KxA$q0sZ9'p w|w 9# _ovS{ghtA7@מp.`-zRHhkZ\ 7(5OJd*+~ڦ%3OzpVi!(-?vx<l{C563DJ40\bu}Q%G7iFanGӶ8Sϥ9f%3${f c}ak1bw;U8_N oB8؞tJhrG?QE1?TF:e^:̥!Qo3tn x4@wwD&~[A1}'AiImom I4jBMAtؔՁ̞$k9Ȑ ̣_R &XGfSt zA!3qui,gAexU㼅 ה]i8H'Y;pRĖdfA p܍Q)e2 V8hb;<Ɍ*Nw2nP2“/M'Ln"PriXmxme,P/IWP/iX֛BaBt@<7i-%xgqc08xg+VQ/"Ҡɺ';+}Lc4Ut[`b, j,ZOZe[ $lEkd ?er\wz*\oTbTXKrڢaHu"?cPj(ד|\{T44t,dC|*XvPd|FϤL3T@z-3R42GlvBTۇٌsZwrjc2@>k3F'cTvgY)` 84á)%m[ rūlH,KUBlxfAmJCR0!\?uauȎ$S8vw9u+~b{E ?G\ eŸ nbz1r\a웇R6/Zm/$ʉ1;7*_j2";3?/ PL.Cd; u'; tR{E_Y3L:ss+/N ,"|>?V$0՗bذN/ )%f~#2(}mR%95F($S Zĕᅡ˨ڝ uDS>L6|9TYor/tP)#y)ɾ4$mI _kNR` gh:麇㜡WȖ~0\%(д?$5f3Kک drM]f #W)Ӑ\| >AU}͢U4?[nOۥ6~dc`S%g (rYkt ;Fi^1Exe-|gK{a9<aK'릎$ɳPM9p|VK85 ȾL.FoXM0' A_c.hMa\~ [*(XǗ|χ W'?~ʝ&2t,\nOŀ9$;;Dpȇr/^'mOl:7-m_6Ih^Kdlh5K(qX^Y41!$?zeνm\Ih~PQ2 &-Ín$4Sf=g<_S<˱$Yof^Ћ &!)EfR$:P߹ 2W1g%h E԰?Y2NW/?l] j2?0Ťi`PZ],N¡GiHr8h [`6Nw@˳_ZqpM}Olz|~E4rDpN$qa=LȞL򕾘5+5*3u같9ufR9ڋ~z]RPB z~>`kBՕDLHOmu}[I } #P스[bwZ 2ˈ N cW)bXBoCf:A$j?4Hw#/^qrϝlk2?XÍv!!C`PAcu;Ct3Y,1x;=MR;^8C~=(G w QuPoS o!*Xߗ'9OCmTˤZE@5@@z0;^۳A@]e=ГƸLK)2r?yiF'mWo8%֪3 ! *mz+'wiQ{#6ryG2۔F ^d(pW&!W3؄ i_c(A3l'åL}`u6V,QPtYЩ;N}hS/N,LY=@!#&J'TVk FF..|D YY޴k=Ndm;kaYo:IDQ/fC}f(`WOەdήjy;Ζ2{a`WQ" L*?'g\IXR :{trDr_> bÆ W.*V[ A[fV]Z)C#xSDD+KZd"yKeg/Jx=Z^/{Ci6v_36Lw·aYҵV-;{,b7q𓥌 fOWW|4 DP'Td9 Cj9܉4e`C ^zj4Q&WȰ6*<S'y 7grP|݀( NK2aϜ꘺s&+A:" ~8qய=a \$Q^01(L%Yי K왂')_Ա%>Vɕ;b'%rm*r 7oN=`GKOAlؙ+ MHO|h}(R+*`, h Y#fkh'kͨzq … wQ*Z_ƼRYԂCX] ޒ{-(Y+ٮɥ+׿%5 伐%O P߁acdvu`}MѲKQp&ȫI?JD^jx`7ZqhVn6Oljo/ 8.4LP_~\`hJ\^.1le9'S7u1>!$E+[ Amn]oȊk1{:/Ȋp+7]AzTfBg}s4XG{} `1ؔE PF:a߁nx6$i˶L۶އzl͑B*_OUjsZ?{5Tz>y'uuKP:),8bR )>:a{}oOZ8,1B-_k=9 lq]ҏy鸼p=J;kUUx4‹T,MXxiqa#2txMh&\;K#>Xrh4ӠŻy(lpOs?5 cQQ'p -*V23Fx1-/j&0w hMv(_}r x 0@|G&,8<&WK&@ĸ:ҾakQFbo74Zw+=M7͞vmy6E_i`>I}~3OhCkfO8zis2H]RxzW|21颵vhh+~\uQ,=З[v";ÖF3m:hl͏h؞\$"cf2{<`p]7>ueU1ݣhƎCK愤\8K"tl^oJVֈ:b} 6wb`Rkۢ(NQ; z;&K$kU(/sXg1L`y/ybFv6zmWQNvhtI=(NZLg-cKzYBy-oi3ªL78{qIPEɶ$Ql 05zw"w)[;Dpđݏ[i zjj:+NQU Ȋ va,s/M- hLj?*hxXuMiy/NA\ bݳ+D;.1^HyZތӶO4m#>_>8gs#r;8i.,#ŊvI5aXߘA42k^6@ww m+EH6F$gYZ7zXZִF! &o]ŗXiɟ1˦r!cHkMeBd4>-BS"roJ(I fR)*" 4W|{c?:I;]wfl.:+Ξ")WiS 1nu!㈤GY-ex[kBĨW0TbD]wg7$*|r0og7̣*c#OgY0z2xaYE ]܅e`S6anX` o5ffQ3Ȳ88Y+;G汾Px<lY$%; BRI[pb7^UdfV| 1DTvQ'ɱ@Np>7V܅[>b?/ ^:û*tzVY ߟ1~M%Lg|\8 2; ڟ=օn0kvId7'Ew<]1"PDGQnut;0NqW"H #X="yxp @n5: :l; fY$0rxrG%g݈į{BS0{r4; c/}*oZL1""?5K`3&]S0E85 6{?{1r.%gx[N {b>hpiYd!?l᥷TCMTqN1ga~B_&U M"ҷa@Vp+Pld::G1##443('ߞA>MeaU:Vx%*"MLn;TaK˙\5SЁX7ħZc| =$j3'm$ӖtcQ5-EќJcaԳ!vj_ݬoz_'֚@& y@D$t!y":.M*ǧf&(o~58ƈloF؁ )حzTrE3NsHM Hqa:m3cljP%ٰV"NQ_-:[U\Ȼ ZNMiSbuەu$ %PŸH:r:,fl`ː%v̚Pg"h&{~-RK'4$smq7D:]l>wܵE4؞HaLp#gYZ7zXZִF! םi]ŗXi%BxptD(E0uÞ~egJ;`M6mg}I_{Ӄ$*j'qiz J ьmeG7t~/էFyQkvuZ#hZ5q-BA9%t9g"B?ШgwC0 ϭ"(%R$0e'Gq9Vfb6WPZ$I / ;G@u(ecpPwYZ-|BFd2_FX鱸Yi /ahk`nGĕIYX~fF{}Pj#MQI55G hﴌ8g]_cЊlzcX eC;̭!Ȋ%O|-S7Sq]sH=0;ҎR= :/\^msrLM KnS5d x Ą֛dWJVdAϦ\D,YI刲y )({EWG Zar9G;b/jR]i RkSJ;kE1֤|As9e`M$(+ۖk @,r\@RWrQըĩ'u >ckn E"-&nK ^QNH[_Ua g$ubi^2uz}Oqx79ʥ0!Gq_Nnxgr͊xʈSίE]{ P9)fcWs)gjLU Uq*C̍>FwmSF%ƽ<@!tRw^RHw kJA&)c1>'f'c3(X긤fYn &ܼ ~n޹|P!CQWu1K*=!Pfd !Qv]:U 8z.;8F ):}yx`D``bJNaAK ՚睞ơ1[;}\ffoK vSGT#۲ շ{ :QǓȑ|\+i%/ix9({(3v\\2ٔě>QLvmH-:9HYX@-U7[kFY㐱 j\KY@nWeIW]Hԟ4p-HX[?@Y̺G#kÞv&լHָs8_GIݛ'VOlO4rx2+uyf53\H嚄wU奮{^K(Gt99Z\l.p9v h>](1Ng]/A6򤍝 Kc?_HNUS N8Cbõln`*61dV2>FjIþ>KЈFbhP+AP|2 5w?b g4geBوWҖ#Q' }YAk P)f``uoGTJ!KA$//^G.u_)oBZL M ˇfT<)`1" YCq-]PiE43 uTf[&wei8"Mx}1-X*}qt1QXut+2<B#o]Ɲ ^4ʵ%x dQ!qH{4XNȉ |:Jvrk2B}-plٛTLKߙ]]kdv<>(ϴ_LYԋMLJa O~δ28x9*Bŋ͐4(p:b@\;FLoɅw P2Qi C0smO| 2<ڕ <psVWSqf涢Gvut"#_ǚ ةG,t\ fPa]}K\nKIf4=hU XPבRWʍ,ӠiP+8iBR f\e;? 'r"oom6G14q,'{ PMpG[WM3aHM͛he 3Xu-"λ^ŹVG@}PmlV6 },:ԒRFa}+2&y.kcre$?)%aO/l>E/Gp4،Z٨F߿W:l5UХyRttP :X(d+ТȊ\VvNK@s `}(y+56\^ ޾/F2S A/)?P3ΦgyU_qS[{,)>Ǣb-Ah–V虥jA|oM' wof?Ց"S9GLnv%i {B(@TjrHRջ^|tHyt!˝񂫪SHlHT)MY_;"L P0@ omE]lZmȽ}JӜ)*5_A=N ))? 3JfodY(|1HlAFUgkQ %0AqhMA\. eAţkAM'N0cB e}dY獻(Qx]a oG0]~̱2V[LoϜ&iHϼ(8RFխW3vmՊoaSޅcbufZӏ+Ed+daF3b!~BJ9s ֐0"\[~mA&Wow7~ViL$ - ip h!L5Ţ?[$]uwLGmMNTǫ:V+aZ13F^c]Y_j`bI'_e/ڻJ鉵rD ÒO[o砎~i 'M/|s>Bˮ~eoEД-%Q^pPsR+zžldwRO>KqG'@\]qP)sNRJbON¼)ʓ+C3oퟸC Ȫev,HQ+(ryO `>UQd?Y=|QSu?NK#J/ Q&@ceoUPlqOdX~aI^p{2O3#{=HI][ABy$P]1y99?hVaXtx)CpqW ^& [4~~6[ģ|d=*>!'81f lNh:Ü g W`=Ck@(3W p^riW&!-HKmج^1VrXJz\MĊD4ΖC/7CH@ JԃژCF@$txӜa< Phq:1b)ztab@_)[ϗ'i7#ˌijz k4eDB+CL~W $ q;߆{jlU`'8ؒ(~V_("ތ zD$5M#.yQz]'/O : z|nan3%B/ԋ,CRq6 ?@$+_]va1e2m6Pc ]:ZJBy(%/4F_:}%#lGP2UnUj_ֺ m)/{ï._[ϳ֬P3r]YW;Î)1W &<4G R5@+ x7][$8=y )EH1%rDczvO'|{x] (Z*Νb' b ^YAyFXs(EE(gO—s&e^&FzLW^2T67q6s[Iq(Ei .P3MP\A}'i$D|$NtTSb6^#aQAD JgDc*U 5KP0knaq uf#USa67'Tyre ŧo'!mFkNy[& mwW{c 0gzb%빗,jnPN7wCwwJF$uO ߙv**嬌{ZA |pH[: y3%򜋃DhFSU|z.@U]hN5tx)fӪ-&l҄Ojꒅ_ my%#GݣfD7a$qNL\!TlGLнݱ!êY7 MrG G&&Z\0N7w ̪+{zo>v5$'-D ݮf<"d Cg'MA_7a{ tʉowUku.@2;6ScN-*A% _VW*Qh<+Qla3Y~zKVIpWZX`p5',3kU=y`H6J[[\8k-sGFsGŭXVա5S$X^((e-NM ViALm9R Q7oN`gTZpIK`ҿD{*/V;k|p`6뙝3n ܂2>Fn䘈b{@ ʑbմY21RLY,3Y6\W@n$lzp}Y.sثEna}i*8j{E}`d̶EGtΛ 8DyWVxRȥ# ϊy,n< s~H@˫}^:%AʹM!_50tj!393}%YZ>tvf0J3td~M@:u !b  7o T[N^3ݑ"z,%M>90C!Q"@1f~#( s<Ws#Z.\|D0Ե ~Y<)TK?xFTnX8\̟UEt~H/UfM_ɘ<¶= quw W9LGOLO('\R2 '>zbdl@ljG)g(#sM j6(.zg4|x Ug)u Tyۥ?ÜdÀ,.YYsoӌ P-r5c,&g'entORm֤IROwDCwę2:JOC9yː\8M}ܘ\}h BepsMHɧ j:ɶp1tDN0a}KIt<^ѼT/G>\vno ׺(`m]iUXT/cNy x0w[=Lr?ZlG2f.JwT2$7n(5y4l5w|Cꜯ(L/Fkon\z>׬5^|S(?IǬ@7*'+t 84ZW3 mbꦁ"0Ggqw6>@lFջl ȸ Hs#e-][#*57 9~>&rO!64 [68GUyl~ڄ¤mf C_ٹK[:W'6_@)-`74e;VvϙO60{˵F ~7YRe[yDO49MJ~-ži#ad~р鳀Te#a\2S_T&LEUWMC-1@ umjŹ\ km/h.B@8~$|Be֯!q.سxI&B,ݘE!7 MYf2bZMRapO6ay]Ǻ[ӁG^fOF8rzFjjgiE[("sliNo{ r2A 2h9FZV)v T<G(^zQ߲Sʌ-!H6y9Wji|gI#+v{ٴHX3اJ8B&ҵ S]OTΎk0Z6+_WBB"țnB/^/ ZFg]AITjyE*HX ֥k $6m&YMJ5ſHA*V/6*M 9AiYeٖ&^yV桙b@!q,`?uE;W+q1";8˒Gnc VZ^dAL/tIWYμҪnY~ n$mՌ!$VjT??5Iao3 9yфq+P\bUԣʼLL#6n6[E-2vpW oSq狇@J,q&BͺPdʸ(RVts>ozzNT#RzAiY:j$a:F}: 1h:c"g`0ѢIk»xźr;lU%p1/[WYE1,h\ɱEa6X{|򦲼j.߷@*{xC$O 9kNw?HGߠQ^\>+;;!k)PlWb:~'puCw(Ϸo,i,UجҗJt2!Uխ U*|)E/JCpY4㸠\1f:Zr:=WO3sQD#,$wT"gwDA{PJAዸa 3Ǣˣl-ڊ`y<z4"JF1$NKe7%\o\5SqWkrm("fˍȢ|wEUyFRs?6-?KeQ4$Ԛ=t,Ǥ!S$DMֿ ȩ:[D1CQ iPctLZO_YLrXa6ZGD{ٜ7 >zG,ޫH)C, -4S:8D ٿLX3433?FݽɷBxSfMD?g fH F􀥅O_'&g UymĊ `aE^Yt vU*h၅/܄F֬ÍKcoD>cJLK\ߕ SU vB63ydlor2]uqX`Ch2tݻ ͅ9"s 3C޻[K GHڜVD8% \QqR$+AUǑ\Us9I~#[o0MsMٔ3I/ܐNAU)eAq'H9:YWV/|t9+bŬ:?`r>XF#ulEr.J*ʿ<_{Ar&rgssUfj,7̦2pęfEsk&,'"\ #e(MݎthئcSbt{24fM-3aar+TB=У؝A%/5!$ Id,olg5w0W``yOFA],^Ly+aH-@ }f`+C?7L v+%wvi-di6jۀkcu+66tYKF8Ocm c`NN/"(u G?& :kf?| VBd4,!-ҔTl!S?Vv> ~{xG%hoI~bgD-w`'EBkUYʙ>Jڞt*yh]DJ x~z90V@xD2BIY #$&v%hXC^sӻfQ.8YouYZ)WG,XxﶷJK Z|!6Ao #$0{IȢ GODBzˑsI%X;Q$D>GE 6)bnʒ;![:,F58b,{9ؚIn輻eNdA:,mf0ϰg[,}juI4G+7{bKUؽ*= U'pyцܕ:sD'w4JV|Il!TqbcB8ѪT ސ@ʇ6DԗL;L׼?fe1PExO3^lH2oZ?[ 9^UA{K=2>}87nq-Yxd>lg3DAJޜjl e"/^\htk6~P7zlMǞ*;Lt5R62ORvMiu Cuk"a%xj⿤&1,ͳo).CÐvD@I->Ei~vU7&/ߔoȃ19{Գ"oo9P_Ќ6Q\JGW/i`=^F`9w6i?yC =u@&wƕ!37%8W]דiez?@VI)?S6X;V<jU!Ʃ\tź WG0f DSru_TKB#_xBc.?.7 w6>VuzE~ej5l<]lݱ.?M p5#lK~#ɴ?َQ+[Ꮝ!ARתǎӧtӟgf.P3BpDBGbDQ8Ю6t#EK)Xʭ%KƠ=n>}vU&Wc837dp>aֽ!*{)' a vVш2F<X>vc0ىx^d $z/om*oF"?sB:C( vCuꖊtX+@ *Rss]k3|h#pQ"ܸ58;ӅxE*KY),6囵77FIа-|9 hFrN/B]q&RPm5Z+"֏ƋX/k9G]Ezt7i*t{Idf۰Py(c B7׹,&4Fj۬"TOGX5b"p.iAtJ~<ܧ9 s;_D\IsS"' nwCN4yFPSlreusdo5 #u{Q G/2\pYf/W[ po8Lm{Y 7=/ #r)]&0 UMk+r_OlK2eάD9-Rz;Bx_+F)I D!`R!p~2..rHKOQ섮KP:AݠC/Eu@[Ó0!Os:C WGSR (! N>c __cD>)z=:Ҋs 8nN. rq,؛93}1|@ /dLp=nj\YLj[!~cD-T6(ӱ^uފI@tYo(~;<(Xd.HEcI4ܹMl.!ۋ.wCg)M~H){'+ k/GR tc4u2hw]o2:$en,-FFiVyM!af>F`t`lvM>PAdvͣYB񩭈IѠ ar[ j94Ft6fH( .bIZ1]IfI]1riCqiA-6-ck ]NOEqiw>+A(bd6,b5ظ"$ߪťz[sVFi菤TBt:zɝ=>: 9uOo^J(D 2^o.暦'bl1]Q"tI6Y_Ύ}2{>$/陓pH4HbJb=!a^sb׀PFYe9ځT8[Bb4]nĨFSH]f7T6"%~tW2mO'IX5Q.0ؤUfuĥB`'JS^[MiD >Btk8zJʼ+|=y%tk]U |Pb%tU)rMZ|e%ʅ *:]<y>!WxȤЍ;%: x=_a-Mb؅Y^L 7h["FjvMF_dx=MZ]bM#`'%w,k ΀gN@&Hbi䋮@;$XDWZS jl48ҬTΫ/zq /w- ZE /ơXv9{Nr%+9X,PM;t^2M}y%'~SѓdͨĎ͈mXyt 1c2#5@lXmVt:wa{8(OTH ?8匭9'T! ~R+5 &)O/), HPxZXD(8[zՆ2Jb[{!j3ܫŭ^6%&+ /q}ZU9EnEZXW#Ӿv߇ϵraj*B%L!IǎAtщH!K[XWb7;61Ǐ8ψ P6b+%1DiɊE{̿UPy >Ty܏nM:"i:?7f6:*<4]0R`P:4j6皲i֯G&uBmcwx׵-ύ^*+'1U4n]_k28a: &R+,{?^UlYH!aJDqJ#KNfM}\;=67w(`YS@LG̍zQvxlR11r]mJ C)S6an!Mh?qv% vpʹW½ޡPfmݖiA9~}8"gq  !閱;}!LOUʽoQlLM\x<>!巉G4iЂgk<_-n&FbpJ2,[?t,1o2xqzMp?::#$(Q/&&*$)Km#@Y"}ClXYHDp6QYgOT"Ujj**q޵JXzѓѬv_шV9)F}gM6 XF % @K,t5 Tu_P{&KwE|pfݼ&Xf٧b~o=׽ zsMs=^ z6kyfYV˝[is&Mh vźEG[St(ʵ`0\]5$}L;JXUV]k8I nރ,N ~ZK){eb TF,+7G'x4y(=TtgR@f~jQ'\C@?O * 02aȀ){G 栀nyjugfO9[BQ ڙMe݊A}8_0gJ=!͝$Uhd}o`qVrINP<F'Eff: F؏**1d :}5daLW '[KCu|EQ*n!& q4N?>waXf{9탲R2)ߞ9u S* &qv޽$Ch&3ҖRbCΤC3|Dch_nϏ6Y|gn>ɿDJFC#D"46#נճfr]h1gud<ހ cv'QΆ>`00Ծ4f5!ڃ,9\b^u,6 >|Y#1ڕt@QyKAà 0ZEf6.=O!E2nXA*U"ʧ9QKUC= C"5W iv‡Zw@Fx6;"!V\kO5~k輜pd)`䧹C$[**M u\ɲ ^_`SrWPUUDjGYVz9}5Ml_Y%XnUjSAVX@lc,U`\ ^ȟ'!u]arD};;z`qcf4XkmgíPM"63)) Nbo:FW#1\X7xwOH5g)V{J<~ V,$mH_ 7YtB0ڸ\!dl  =x=k(_V[)L׺xH_!l֥K=ݫN 0 ɝ3hgIl\8)rEH۞"#z\,4j/2@Aڥ^q4wI'fvFLナ Mȩ}4s\X:q8h`K7f \UkWieǝ~c 3Q*To xƻa.W|];?\ן¼v{uǼke1pGgȀ<  sdjʑUIE` l;9l(G-ɶao#/iG{:h#8 gv kSŤU S 7O&%{۪@By>. o.MaL(_[<{3r3x$،k+$mPZ=N_h*VbkɌIpYb{ nS.d޴k~jSj(%0#2ޙߛFshxOKv? J( nx>:&b3ЎV@oRt=-ߡ^lJNH "l&*)-{^*jyAb|h|]Nxyws2658B n$ %:H2Y}>IxAgL.jiPm *T[rvpߴ/o+ 8L'>vH J#++ >->s=ߴyШpJOĸK׏$Ǩ$_bB:O ;s;?7r1_2X/=⚱n^|EVj]_e[G 5MpbHu_G"P7ׁx![)vܗTQkڄ9lJ"J C]?] $eaсUaz5ti}˛eOnHF}?)$*:pX^N AӦ/77hEם˛c=y!ll IlKyo5e+Q"T8L|*`Z΃k]&Kl[e08Ճ^_],%$/r3ZSw!Qmwa=lEvK^jU.3<2ʞB g.5#j Ш?N~G%7n]ZuK*l7m(3@]v|BpFӡ[`[$y{Y84My֦wϚN7!>ph__m/so8@L13›p 42eKhp71VјlZ#ipA ߎ׫'郈첿eBN'afzv>>s vKT{ ?|T^YkEQENUa*JBJrxK88|d9P/d^yA|l C|rMC6 WbtP~<gY¿P^ Ag FXU 1 4Gf檈;#1D`v-լRV.ߖ7ȓI}x&KJܩk~lfw㐫qۀ:Am)v΀_zG8۝ <%g ></0 _pd=NOeOxga$ ]r(@|YJywcU27 Ut}*Sd ULZ }&rBǝ l~fU ]I9:slpWo>WC|K<&_p'6>,{Ѻ-*l<0j9>|M 6aZA1~aMhy$˜i/9uI"GMӳ4DNԡ8dLGEJ/g2(akJX>^0QuDn 䚩,6ԽoL(%= LjFpz`Ő^&06]I㨒Dҋbw'dadSP+#S1ۙiɅNtr+xūg+E2VK C4lhf#.,vG9Gmb6/[+=ذ^wlvFޅ kiLT5%ܹQF=Ba=mM7WDTxp7e'0m7Oq%88y:@' F.Bx j%MkDl}^hēk.7֘_K+;'%ࡸKfGr='nIT, LW&%!5ah8V"Em~KwskM ==q@a@wktq=qޝp/ KLcٳ&(JT'##ՍuQgѡ N |-Y,1lޗ^daw4y#}\A[ !_VFq:ڋ_H kx\#:lX7|fYDQwL2]/}ij美A.æO#6Z^n#׊xW%G~SvS,aN:tN9dCTKBxM0_PbL屹4EQ`[H?EnZ[?.c>u.gKN'nk SV( 5vSmkÕByfڭO(JO #QdB'`77)51^v"(@1nu'UC5صNy ɞ衖{,L((-uU4YZL.޾`zxՕ/Ιu/ob4;yS&DZl6"9öДp4wN4źo6b/ uY.K_@,AQJ"P?ljSmbM]$w Ǫz6Ɨ#Rgm,rP5 1 :~BzgsLGo#.AhыUH\;XqsAoFpL/edݐ5 iw<`N+z\ @?8F2-qwTlՉ koL*"N)3ŔE$O `ç+r?}-i~'HߪkSXy'z 'm{J5aߛwam.<+L7n6v5RBP#SLy)x0(o2T |aW9s)RE]^\ёep#`{#Z[Ǒ| SnYK["s]R- 3\@?ZRa6t_2R:f*U["PkBuyd&.OЗ㤸Y\1(i>|_ںV-@P`nj#L8lĥ1ݥL\>x/a+\+ O(6,k)L>#fPi#2W{JM3~< ,v{NハUz ;PV (/hӡ<ܴykJaqSKڢJ ?$LT?AZVY~/z?g)lW5_Rno '_29  $]Ewkeʄ|u Ʉ)Gˢe*\%4ūQH/rIJ3j˥@`(&xl~#ؖ(|襁7.12; {9[=X;*/68^M{CռMFzdxMQބ~L]&& vэڲN8`\/@F^dшe_[!sK޵voE!r p"dx<5UJ3B+.1_W!!O [.Hƪ:2;5x÷5n@Ɏ.cc4SG<ʱBfpGdHl/ ri o|E;Y n0¹3xI_tX $MI bJ*$imվQUKwV~Hڟ$ |x$A|#kcLTz? {\;TOa?UlD xջK==H | 6Ee;5=yis]Qm#.ܯb}t Fc?t0ʒ%I``O|!un2%8G7@5~'y@FtN6~xν5Rٿ:;w'fqmq xiqZ8I]JgS@\&(*>c9ݞw&L99Olbzɹ6%SKUpLG Onݳ;~}b3Vi׌7YWvʁM< * ,)p|l4Y=">/$.PR< P3hߌ7>¹LJSNi>zT+5tKOfgzǍb6g$#8U0s]O>q q]0=W&>+g ׊tH x]cH1׽)'?yEא9G:2^{f]LWԺ7 KJ)ƉGQnPI1t Z@9Y`rnOc-F,Xb4#y,v=<3$nt}Szf PtbIkZM=3mܣXEK5ZBY!<CHdVױx{b5RL&PLq. 9.Lvdhzg\2HYϮI훝wbŒWQo|_>;u|v(v 65Z'hz3M_Z: 1}0 `}oĸ>+t„2 %lUhϔ/Otmm1ΟE۷V5dgԕB̵r&㸹Dv3$xop.̾bg~{~8T^gv؋ut #;6u+ȅƵ[9IpfP$u.I,P.lYLi҉{4CGnӼD1 6%]M#+9݂>@:L~O"Jv(A|gsiU sê04hV{Dx.^2(̀aAXIjPI̅;33pqޛaclAP:\y/YJ;F*DP`q=Mוu0 ӎL)!0ΉQ /}U!G=Ql 0$+-,bǕ}"`$Y; M(|@&,>W)CϤOpg.&y~ŅE+M >JrcB'iqq5I|:eD&oܾxWzuK ܻvo'cկgV^,Dq1`J%qPRj9?#TFw0KO\Cf3K?&B/a7<ȳ9TF).z+UIW*oq{SQGiX~x8Y.F F{S R87lF_W4b0_Tx'y:3D_^ȵ$._Oeƞ tڿAxy_OJ;LDu5h\BX" ۥvC&ӫMxa0 1Smga~ !h/ gX\{E:A=OTlwF=_oD=Te4z+ℒm8E|jз/74h/ᣭ!b}e>BФ#}ArT~T[Ў$O1Ⱆ'/ő!'޾}ͣ:k6ID.=Kb6-AЯ8?zO+mG7GqP ra[*fYGfG.ɛƲtqbf<.ZmJlwK/<#%nj㳶l6'viȓSem•X/hPh Ʋۿ Gnckĵ q9Io4~ vk81//s+oF9Ԥ =ӌi fDW4'/$n(=[ŤAD-y}Ƽ)PK7| x Ǎ% բ=CaDUaGh8]O]Иk;K_ jH-c4?@J* ,&JPTA%jVز,=S{3szSV!w( X }=k3"*&TZP@#j`[ ~4 hw|HQT-Nc!` HR`tRPdAaTXbF鲔?gъ zj @[VTejиӭ v%<a9%il-JX@nNZI`a82z> {`Bmr4J)5y${B(Q$SZSf; ~(@P;}^M3ЯM;'S)@púK@'3% ] e?R$ꞯnF{(|Zb(gYZc5fd352b35305a7683537d697b59c6ec519c1d6cb54c917c7739586c95567d8d649d231ede1628ac 23e898e8397dbcce45e1c2a85750d285e5907f00aebc51ee5c06fc1f2826f816167c88b11027881e