SQLite format 3@ . BBh77otableisabelle_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 @!TTL ]]]HOL-Proofs:threads=6elapsed=777.179cpu=1824.232gc=217.460factor=2.357zXZִF! $]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbJ5۪6h&>VFO Ye}s@KCʲ\,ؒ!&3JĆe-2}PGLt~pH,UⱮXj;b"h <z> S79]2ƿpgŐ ж:39-~Xa,GMhβcۙ7X*ȑY:5vQ9` amZ^[p\ [uۋsE}BIw˲-niN#.b?J  ! HOL-Proofso־)knQ]b\e9Pñ@?E]&J-<tk xju7E+={]#ëY=X^>W90H9f!$*/1RP8<0l‰i-QbQyxT7,QcH?ɐ5`Vɬj5xI]mpdX@DMQE7eu0oڅ=EkQKIat9>HlAfτ,M 7/,zszN LÎ웅$Ow%}9=,7pTc{<[mgFyXr&/P1Fr ?JQ b~Z^g_e_M |Wj|!ſ*sUǿȤ+G՜9aQ#9^Udzcq=NҡPfz\~u͜m. 0U삔 ?? ڿ_YwZ'|sb<ib9WqhaN9r, 'iʰ^p[8ME%6z@ ]G|d#n8_bhwx6:Mr@FmLu|.h}fGȀ?bheL]blkbKi}Bϧ16),"[P'GAZNEgT QϠ?Ckvj܀  ,]~:ܤyRAQZ,3ZqNd&5q0$`oH 04.[/4-\P-J:t v9,;M=t^ ݷlWeu.C)?Z-Wp/,e{3!*{qzhH\ خb%0%%)?]*<Ve 3<ڼxAu$*)B,'-~uן7rCw͔YbtleG̲dkH5wirO&)rV\E)7&^%GB OpWkJ R^)6G[p#&Y2'JoڰVf Fw&=*)cyaV#~NXf#8nN=z8˼_a`ß.6:7BW2vkT3oovzz[hq߄&P&'#-2szWN++6u;)C&S''OۘXcI ~͍cz] KէWgメ2R6dt1 >;YhՎx\0zp!tg?t쇶c?kRR[`d901kWPНKtR4tKY Fp/n?zb?`Z~mL{e{U>nkz`OmsL/#D DP|V{ia,et MmTԍ^h EGGb]`4vL^OnP$SGZ$ml}ى0PMGϲF{kq[&6C\'V  8ih\gF ZM>95ƪ![&>HhsX"r~pp9/6>x<逬/)1+u iW5eܾ:Ag>K_`T`ZGO)y*Od);Xw`xB/yHCi-0:s²iTErAͳwݡm\:kg'# |^RZs){)KþzӺs&Kzq3W$&\.z^x}|(׷%ͮ_RM{ad\"%ɂN ;uII+/\Z -h @_ #{ϔ/0 ⁘X[Q imё1ƾFdn;{i{;XLb@0-%Q./b.p C{hA~0JVu k!Va= c6_sf R,th,mׂ ɓ`4Nd%{:m=6!Oo%vi{0jJ'Xa2z'bCx  .HQ~] m z^'TzYڽq]D]Ϊ / bsM~y=! $_6tVgRK[kْ_72 3&+`~Aة_63AP8/Ԓ?brw7m'[Οvf8u/Α2F@N}1w6|IXdBiSNbee* q$O^6dz`J{|q920 cx{/x0qlhcbqE"X=ճ}8Zʲ^sGmٓ%ܤ{_ꈬgÁ$4ùAǻDdh^I5x>~dڢ c"dW1a1o{Mq~W'X+:@ap5 *TTht-4K#9a#a4Yw i<Մqdw3n n?6.IŬR =}Z_5V1ZfN6ȭ+%8kX^ >g=$ejG A(RqaW t#{9 *eη}DhFO쩽~2R-֦X@ZfpX)mZYvamR^TvIl=e"F!?{jMfVu<}jԞ{u3Lu ?cZԒϕl0˙Nq#(;Ү,ɠs{2~yo&I{*2#뱝NfReݣb:gfZؾuKI-SOiEDב͟*g!e:l!0cFL9| ZĮJ`,!{G"(Vtasbi ,@KPJr,8Vz)ͱ:J)JC]CD˴q8#"ҋS-@1ND7DNNV_'* u)+)޾D}Ȍ܊?E2ڰ/l>@<Y9K+cls nhtC Oyn/FsO0ڤVe׽ !qVvksY6XN9θ~mV֚03W BcSťêt{Txs`*k\n0kzQ,` 0Ld}7 cH| Sk&4)5;?Mˎ`Tًw6zOB*H3}᳷mmص\1RBr#LtHiHdCqR|fPOUf/WA4ǎϷEo|P |}E 0;UWm7μ";7*w#},2seV;A26!T \7wRXBυ+UBTJ:}@t7rMXma^牡AT'n_y0U"ƀIʸ0[rIWGHvAh/&ɳftne#w!tt4'܈yUt Ga מB .LUݝŦ́IcjD), c<x&fI[KGt׈ԸCk(nS.ѥ䪆1|L2 gY #C}XGr,·#_eEHA̤teӱ8ۖ`PJfWcŬI[ |F͋*,ARqwi" 6Byۻ.wk1\CJydDGYE%;qdoJ1FN{ IQ:@vpxJHӦD  dE6X(uW 4uxN)zO R(v!l*e*|mU1!d>͛۫y6ETa]>ɹSh*ǿ%MY1}d N\nRet/PeFWY#Bhh(P!:[k@TD =~:VrṚϻO-t? mHҗ,=`^ '>H|D@^O.6mҖm.")5plmE*Żt(?= -1qSH&fru^}LIÿ?m CÕOJa]~E h(-) $吀 [ĺwtTH@97B.ɫ]VrWn?v3e鈗\ 5 :hC_]:B4)\ix7e#)VShNG_9仁T~cninb .,Iƅ Cb's<.^̋nண܌ٷ!('k(q Q|cXK&F]G,ʹkQ31*@"H8Z~*JW3h*dN&Ţa[40Ls|M")'}.~nO *f5DMxs^Bۄ\:y?΂m8ߦcuR/qTBD4c~"j/|p?$\qt-T_tCv4kǍ೎s8ey+a>c+w5k>'t.9Qi|HKWBMSckDCmNy{ uMTu8ɍ; ɱ+h7s\)=G|!QD+|Kѭ#~OXiZ6,E**ozCq5Ngа#;Z83z\gYZ7zXZִF! o]ŗXiɟ29aoʼz[%U>EM!!*Xxۖ|7ǥXF&8H}=7!l~[{;s}C% *w_LQw[0XzFXٹxj t,_^/CpD?蔄j!Ct9>$,9xx7 Olעҳ􏳞+hym[L)W'Ci,:ihNƂi-WG1Ӈ{7#N5hğaWbi2*~ M-]>93' sjU@ey"ŧ4Rj;Aph}KM{֫c-âIXQH} Nf%:a }4j,Gx|*u՗ #dduUAΫ H ,"4Hj_ѐʴ5L%bxpUֆ9.R)3T"bm/:1i((n0g+_pe u h\ޑ.9he'h*]RF"KpH׹&zσUA87H,ެ0ݗbb_&6+ i~fWd-cܸ:^((G=59?)6HQ:0tE'S-u>hݑԌFEnojuEF>~w}I%wAEV&pMz䧚:BY aN}Os.`ŹZhBvZZWI8שWrd=s$ɖW\z7%~ \p\Mnj #I?R.2e"Z3L+raBlX $:7 O{ϝgdQ)?F-ȣA',e{u#f͜{! fBehx(\B-@*cr'lS܂ rT88LFP`m [2=Y\ñgYZ7zXZִF! qo ]ŗXi%90{*OeSb@s. .'X璤[I#b MB L1'/YsfQLz6rp-ָBeFHId˃ɨ1ճye~G aRfa޻euIFGm&,?*U䧐V^ W rU R#fLZˌ=X2Ixzޫ[ڲu"Hwt0GJRU8ian:poߒ2x<ƭ^L!<ԋvlzC=mVH;s2; o /v2A b2ov|A{`y 8ݜOXI- 5$Acx_ܺBȯ>QkoTgr싫J)(I6%&g:uЯT9):jli0SÜ,C̼oΗ.&!X&k@?j4񒒘ԖCSn-ƠG(ɤݦ }4㈢~G\{ f< yd /V1_ߛf tO?d5_U$` pܝ7=MJԭbA4t4M^h%7 ,㭋i5tK̎cيA9-fd* qųE|c9tP4(b/\"U{էﺫlօB 'Tr/$؇@b='3y;Cw)np1YvPc淾Y^rK]f@∴1vӲe{F/:qveftn~Hk:ow+i=WNlv=JeA٧&<ےd*Z {mI=y(v: A&0Ȝ a(ݩΣUkyآF$v2x 7"MDtLȟ-,mr߭V* ڟFBGm `D"Qi T3]m"ba$7l׍,428xKgv2)h)vjKk8%XʚrÐe, la zt.-%gP^,4f}cKoXZw1joԇёnu'N0cvpY`ɰ32>T(z0R&ȀgbhX#+x]"dy_D廓@nd]\bKs. W4s KU~V ѩ!?4rj)x=PPV䝡u;#yے;w$U]yN7 î5ե4VS%Dł\׍;&%⟤ *EІp|x*2_ *u+*Re-8dTH=!s'}49#4 IA25 t hD`ׅRsI ;ZUf'B@#~Q!YK~J ZAxP̀!\<1|Z4UMych e rNw_\|!Al,0eSu(BXN:]ZWM&(pUBPK\X|v`AWíd%rYS98KC01 G y\eAyomZ7[}|S7| چ3yAa曁GnpGu^Ms7nPڄK%L)惸u=wq q@V7ٱis!s\@t< +:hR5aD_HfUF8o#؎cȶip/c(XQf(pOY 1 `jPp ^g ܐHS`C$`| eU>q }kS شro Ds=pWlk-@l䃽-4Z2(%ȿ|z}ukq{Z{9# Kx>vF;}lw)ǃ+YڡxW3` 9P1=R2՚HR!x,QZ|pN#QG"ϫP14=ꯦ6].%O Xfɮ~xdDs ۓ Lb]h(R[,ȨrIF4Uh-9T$.X\r&̱, G>8Ge3n۷V b#!@iWq:΁ hŸ޿ #D(Թysk<ۍB8pTw>tZ.S TB ,"`zV6;u'b2l &ǿDFuϞ-&&֘mQ?aEOZkuoAQks \R#fa3#pat rJ{4lgme^e1e9p]:SLQ, o3R]qяwؘ.Ly$z8QPzyZЦWsjd=¶g=&5f:oжՄ04CsZE %@ wUx}ԡ&`Әb~VP!v+g;x>*fRMKm\<֚*_$1]I:ڈ4m@9.#e0[`io*QvC/g3&0? {lK,kdyZ )ѡITlxRub$6פ bBTJOyT.W2sJj:L,ƛɾL/ J=ljI\nNp8[8sWK%2rr&ȲfRmR"EYWy/5>D$]Ψ-8=1^U2茭%Ö,G%3 6\+}x1_+]"-3{1oሎ˴qhUl#wܥIHqwzЭ*_EH@ypwpT/?c8Eش.bQ w?Hu#PUU&R3E5 Ɯ"dhըF4@R{F@I@ƹ xRIux5h']P`S[3(޷Ll*۩ *i8%UjKXhzr E#o\HN {LDjE#>|0^m{Ҿ2cS^Βr򀥔4;ǚ41gjtiCkn_5_w^pFE51 3ȣӉ(ʋcxk#"nͦJUUb̫*qUjiok}ЍD_gk$ׂ%#{MU8t`BU.-nQ}/\8CaJdZ,)jXMG m':|:2'@ڦwElBs}3ӱ*̽&q؅!s{kPz. Sj,^20g#ZjtRpWh(χ2sL2=RxFG51l%mn'-vmF[-K1eTOaFZyF=zEOj jϾ:U^Ox~!'hOA7̴W'fO~|Jx)sDSֻLi#Ȱr'0i%Lb!;(jKxKنO ,HY3u{nL|W|U >+ԈS!w:X|?>@ .@;WwVT:zITP4+%G 7s,bAHZUeG 8O|^*"Ds49"2V ;HcldXQP۾YHLx˲M6URxZ~W {#vf1oJ(8V@SP޴lvmOcg0:8r _,c4a">1 =4ٺg[@:)G6V$,ԋ΢_eFu z2'q[IWheadp<>3#g4LӅp) Q&{ Aq?|veA)f[]X }/jfw.mc ؄*vz)Bk {S׫}㹧$=C6CX޽<19$$Fu9AGԼg׌*a&'7c尀22b7Õw\V 6aY[19 k^t@&7*IeS'މ"e*VKfG^m\C1(ZtK>VEd [YF1yqvpDX*L^ 3 x/."1i|T-Ruh[ |vg]z_MOsxfr ۴"Tkojjh&^wkʢ;( RܕGg]7C4ld~awԶh&5[!u3AQ|Yo4Ǯ&Da}#L8~k+6u몲YI1i@.#t"1E#?Iz]Z:G?`2EfC8m]C& Hg ;ȅ:r&qB --ćS)ȢNGe 2 H󮲠P_= x[ޙd?&AAW-(xq |C-x;˕iEFڱ(}^}o8p@W -<6YvRs |ݩ͡80{m3k,,@%WNyZ9ar^Ȑg"p >4d~9bV"2^" 'r5 5Sԋ1;6a訴z`6ϿMC׉.Ꮓ#ƕE%c8Yc3O(aH1.)0f<ȀCl@ E HɆlBI""9)CK͖$^\XB,&\.^*ԢzFx-[:*6&cUEͅV5fo:GPb#wT-U\ۧYO*:C..ݞdG? c)V'PlW0QYw>[z"X=ȳiЈ rx" 4|X01E.]9)ܟ~p-Ѕu1;…彊tNx̜}<,wH dY U~ٛV|U8gRwTG0JN@%+4B4O{x2;}\Z-\v).`jKGZ %i t>qʻm:&>UAӞ T<9@K+v4Ez&V:8 E Խ]1FŎ%7-11B5aV\r4W/]gw{=ˀS~rd._}|wUANMfV#r9Zy/֤(Aĩ_⸞= d*-3_xB iRRc~mkgBiݚAŕ /NPUdpvHh^=;ڊr >5wKՆw/2ξtWxr٫GGvMu%"7C,+V,%S `rV}jGee"m0dG1/ji `]to 3WDEMk1J /\cܻDo: `B ij6{pf y8Y[N!Al`<XȂI`bvrdcZj塑c@? $o]313qӈMC*е{SYM5KIY z}uufXzq <"W))- ;%|lI &;m1QW.nBKb[{xkqfPg#r3q08 Xvp&I0\7zӡm? =: 4}(2QS}s"sC>7H[2Hzs_MҦ=5\)(Kܧ J8vcʐ}?t 9A 6"FbƇR -HHlp(OEUgPAlA97 C~,W Z4p4.4cq5QolY-:s mT^G;ᣢvqTCZrBEl7=ESKeP^,n^)|f,Bk7)nz݇av%h4S˾%):@t 6#3g}An\&Mz B =Q5mʥeϥ,.q߭ w4jqt/q?[E;vl>7_[~\KR)/;J1(}M2%3IΑF|O F̟q:1f0 {1~.Rahn[4ⶠw"-],TZbhϞB()OY^?2HPH鹁p1Dy&ʫ҄XT \/H:!gR%)E8kKYA4~?6!?ǚ v^Ҹb=/(=0 XҨGuƝ}^7/Ŵ8B&0 3((ʹdp6P1w:|hJ" .FpELF=tX1k.bxa$5GؔC2 (4NH䥹"5\ӳDU,*bШ  ha?Ⓞ޷ʣsXH8z_KѝQ(e TcB6y QH(\.~vNrg2[hnQ4C DuW}Y]W'׉=# Xb|ǀ寱7 gtn.rW3(A3.UvB}:/']a[3.Uj)9bv~/Kn`z=O)_R&SJQ3]_)!Fbu] E̷^[mn0}co"'c]LcqA7i 3 (:|& d9'X;Vrt?ٳШFODK؄+nWk-""z_yCR 9ltm2FrjafJj(S:5vQ?#Xʘ_O\FT;鍭)(2C6701:kv:4XDJ6ii%/ڸÜsZC5xMRIHbjqh~ql;si |9;wm)DԭrVU7uƀzE(T\mp |nA=-Rj MzO{+yMʡu9OB]3-hvlӷRYݗ ~*H#xHExXe{*pD);8gJY̙ϭ* fHErUxP(-ZQw_8G$<)/wwo,zxK}[$70Y{I& 6$/`ߋ}}ηH{߽P 8b`LF V&1\ٰhua!˴zn$A3Ե r:L!*l,njqX*7/qx#(=Oḛ?|"]b\9X\>.jTIf/B_fAXBоGs'c@eԁ&Smޓk 7}[bqiEA^=~]7ga<IFK$1~4V,Y2 S7/ ޥZ F8, ]&e6'vWyRG/e}u hiόq׈SGRN=+!QZR}$ҧ?J0WA9X ,PDou5/Z g&27C2CZ_Ӭ&G#lxBfKkVp.hH|3iJaQſ][h\.a'űSQe>g5LsKЧ_9}:Wp @IZ;\VO8$WyQ,?O /6N2D i:kK{xf8eBx2 p./gA .{,~5h? 2Ib"{rEvə?@K.U-htos~23%qς!Yi$UI!8)lha 'Lry%3!~|@-,r,2ɆlWz9|x|*ycʵXXt\}VNPbTi?_-bDqNmEʏq>H&Tu;RWXy&V>z|*6Uuv+}Mp"Q %}8t.̝b..{4JR$8h@U8^Yk {&eH]4aq6;;Kr%q_%ubݥ0y͊u/igHΑ lhJK s"e,]e@lGJY\$5M/'cSqʙ1^BANi+? [Bmɉ)@ǖ0Q\ aI̜Ѓzbzf{A%6egAnef7aSvPpgX]w.5Qg1H:^nvq?B6uD۴Ζ^Q0ȍI?řf<Y~fso_"IfB^L͊JELYDZF 3tEݏB+A6# R q-*@#M'jlJ]U[9q" fYƲoPRIv1ئaܛ-)Bp)FlKR-\,]S܁ M=WPC~b@^;f~$048ZjD2bb9͍ڜ6'c¼֊Cp++Swjn ;4?a21v#rS_+gh_-onTXbD9,v@c"?(q1@?毃\9.܇Io ;ՍmBiŜdIGV@t4 x:0% IN-"D֦؜b.(׻bB$KWnd77i +ۥOL4$$/ZuD x/p+j8%t1_O(- F ދUC 0(D䕑y,T[Sar nEVAWn 4 ;nN`&IUe밽+T6Gl"/sEQQz8'AALua Aj=mv *Oif s~(@`cͿ0BuotJQ^,!fN↹c)-&)zS5 ܯtD:/M-= 3yc"BYcCV˖Ю<1ʌ(v%N1h`MWDžs '·v(j`=ٝ4~AIyYXc?Hsaa gqdȀBB׃\* ^v CKt9ќ/C:wmi.J8ɷ%xẖ_mh/ӻ0}`laԪ5qPv*,Ѭ><4d/i @326} J/+ <.&݅! KZ[yjp~m2p|xI.ZT>hV1&f!K6F-Fɻmw*UY2d$( l(0t"IOTŗ^v\$ĴvF#IrohיwwwڷɉN3B\t;Ʋfч~W}Ҳ)&o-+^l[cޫ_H"'iצ٥[0Dؔ Lo].>o~C^jaŇ{2,S̶~$ȩ}Q:V zo9kV5 yM #+ OɞпJ>(A梱q>yN@ VګWGMnZ̼JjE' 5Hg_G`;oP5iGC斉1eeLHq߷R(UFH:ܛX;ZhXP|}XBs`@"PCEOWlj8nO1̆1 H.E>LQ=}2Ԫ9x̺/m (rjW'#V"zhd\?bP{j^/Ȍ~<7~o~]̻/P{\ w׈Q W߹SzQ>Ia^1+L"fUn1QM||i%JPIR&w$´ v#:n[wRqv֐N-%>yY]49|)rz 7)Y5SFmf_>ӜtJC 0[5afE˽t[BK` a<"Rѳl<G1lФ8g"Q@ LI1õ?(ɮ#rqQ"kcdԱLNDof$cWL gVFETDS| )0pPbiʂJ3 h"RAM7ЫnRknL E0d'Fram9MCj$ZR C':7\Io]Oz'&(}Bk| #T@уEXExޏb&48uB.7_x ej'izg@; ^9K[R{dYwA'kA;#!UÊo4#(EJ C"T6W $'CY?0Yp5= hvEP/  ɶtoz{~&::`X*gSɫ"4 ܿx \m_TO^Rfn{@7x7^uInTTT"斛$_23N% bǎ[s^vˌMqg.d*X%PԀ ^JBk~;i!M2jFm^~Qʬ; ʃ #ՅNL9,0ӾIqF` _[0˾~ %Z :JxD^Jp_+<DNO{ٯΣ*ph_μZB'8h]a Ľ ԡ*ahU}xuVc "ίLl]UjV1]KC(pWdQCtlB&^vq0UǒG(%4gk@=WP+~ FTqn5d"$4k}g(I}K؂8_Ps'L8y 'jQ4Ce҆Ê{\nmṇ3 q\㚒Jg֥6&/?en 2*G}Sڴc '(fu9P [T eI-Mh2=4j9qė=!]RS/a)JzuO08jh y%hBH ; J&;$ _z- LѼ:oV_ch𲎣A)VʇOk2?]<'t!!/nyd+[>s TF2%=&nx1]s$#[83D"NY.`2uNv*›'ğIb11&rD[H J8g+,o13mj''뵗ٮћf!8E苲ÐJ?j8NU܃|`R6-oBmBWNdοp&ot;[PrW ߢAWf1^MOi(&6 Izm13A3cϫU鮶*bvG!  4~O7yaI+zA[n!7!Pqٗ%QG Жa1SVtVr)n哎8.aiBFWUe1̽=GZ%^O/^WϪ暹A3sއE;zGp*PYBƻHeϫfly`f}'2M6*b5>Eu%2[<2.툝J#xZA[o֔@iYW4h󽖑 A/O$)G>S4 MӊH}O3WA sΪM&G; _a3 "/;{(LxL398a6mď:JZ,Of 0o~x(ɫIفj;b*0M-|;]@YT7opX?4rx&XLZX'Gp,`|x]'/C.C B[ (֊zFg!6CqJEA66m]cj1`TzU܃(}ۏs_>f<wJ˩Uo1tGSq>guL\nb߃1~NRY>_PH(zv" M0V$`Iy"})Už*m =O6N |ɷStުJ{`"yN`zvMgJ/ba/K%],A>ԦΠGۅhZh@.m9܄Ѭv"&[ 9]jw\z :C(HmB'4 {(X]|}aLu qϸWw/7$3A7h"~鯚H 4~aqKJQ< v/dQl@ ՏbiZz50t #>Nx#2_)` >B޷:6> Ξ=2ϥFi$6m<.O{ Yc0!uu*pvNñ~bwq&Њx.{_4݂L!{f [|eA /f IN\Fz*ZCdzW<1Lg%K\;:t8Lە"1-r/>5cqM8 @bh> "*3tp/;:p)N,t߾^Pȷ|U\C{$BP; j  @;z.ϘqCE+gRd k3QܯH9G"ҧRfhcYԼ@*&[h7Dz~"wzchlεekԌPjU-1#7̅bFIO#[SV/^O6Iton74\#;1}i'm8dSAr5aH#4XETXMXDER3R  'ۋ d9``"nUrI"I%}W$$.I^9#щD<[ NINmv"z%F%(f!OIJ=vEu:/ *UH2lz ^p _ d4޶M̛0y{ JojmQg%ã~Ƞ7p&4%$o΀z1@Rg a"bEMV|U$3{il2' OGB^E4%Ê E<8%`./ݜ1 >K@^-]|dKM_QsIb1\0`o ;!^:tYL^PJkQ?x>a=зZg^cDzմK,+"f=OX<>"7 Gߎj_٬&x tO]-Kuy I<:Q,FXB١ٜiK=sI"x[UG2Zqf}y} oif3}8u>0IzhƝwc ( +@WsMy'$t@Jk/֒r{!q{aZbb/HpRHzLIg %"'[-DIAA"zH=iQC9Իţ)t#D`h<_WqoQ*Ęj[3xx -/@IuNP҇\gp2jp".XgahO'yZsIS7{:7t8+}٩W+:R"u BwOTJ!Ik2ի sثw]aA~._U6^ ,'`MV35!K&;3f_=xNI椹gP\WegV8lĉݕ]D]BZz26畑41خ+Quc"*+Tt!i.rÈB*o|lQDTReFR|u±*!W鲌j!:h*VQtcވΞ طnL p[8O, X&Gf*sx4C+L{by\Mk;Ûc 캬%b/eEVлdܭ%v(,75 |dKTԨd9qCݕ X7&Ch41BZgvMrf 6bJ۪,TA<3Qv0e(J҉qϿي앁O/""j-Q/(v>ᅪa\zRl;-l%tci]Br NFثesR'^n9h^7t29tKvm Chn΁̸pz~Gj&XQ;RkrւHKpXGԋϾr-Ga'~felS%exd Cf. P\uz3l-_oT5|Mvm† Vdb,F lCKƣo*t7.yJ nRUCGա,8mtW'OOyZ ̻ǺqZr,3`7RdL %4#T>ХS4tm3x*58LGNqm7mpU@QRSJt HM)mMU lŃ)̶fpA_Z5YBΣ+\c5}`JsW I;Ҭ2!\]&؁B4Xxre ȩ8aS5i>>ᗐ/Vxf8oڀAZm\YS QQ[5b%V' ?(聴Dln >&6KH7B^"זXYc(cAxrwN_''" יҪ}Nf x:pe@5 vlӣ+6s4oV }&I}:%gXDSs~Ȑbp.jbԎY#4?NQYsu<ՌN+2ʐA񙩢 +עa=7* G^9lcwYX=N6qשCE՗Ҫ)ONnJ/ > *OGuTv_FbG!eNXA+SVu-27_Loϲ[uώUIV26Ԥˮ2$ur%j0\"\1.lAN(.@8 #4kD:N@ݫȖJSkir|W71 '״ æ{:xtaYnt6UN^X~qÌr`mao>'цsMHa7Otj {r Z 2 # (T^}D/f]f[5Q60HMKmTAճ9_pa= yj{DŘ[Nf_O ˧%^Q$~btL@0x /|>vw_B2剟^{UuhٷKҍ^)e<"'Rkͺto86*~[qެ3M'8!u^&e(3Ҧ.edVlF"fmQ3Kb6qB /X¯E{+ Uk1lij:&v8QހPk!q`KuH%e&fi%Z'Lsu zwiÉz0X,ʴ(צ==%f9or`r3.XC1i䑦Q<Qc[G3_8l: Qg(`u9U䇶kkfL*B]Zx tJj\c i۷iPP>|Z!>'^DRϪ01(TM_GsDi2ψZk{7K5<Ǔ?wF?9!S) |2pyg{$O=n?(V!^3bT\R:b2/1O8Yg5}P|%chMjBvaF;DF_`;- o2̭VJ i*x_E}I3%8''T ,}Rf-y;i6OBx́:}<%b ~Y>wִLȇ/nno:~_Vgc]8nW4)>*Ίu`{Jc ;Mp=IM';Ż[]ić2 0(d;~2am;Lb笇.vIclsywc_oec¾Ԡ_G NFWڧp owr@PrLr!Iv&*/it` 8W[⋦k +H46}> eBщ.hF>@9!pƀx}v0A{]ހK||C@HG^,9yCMDWB9xI,TinI qV!"i1}VyK}XSb>JsTo&:'ҨRe,I+[BQh)zkc V1sM+ǣeOEaP!ɐ1D ct*s^h,>k6ɩpJH.K !ۺ'^f+q1V4jye)rhC WϙRo9wXzlM> Zza׮xu~PXy:f"|GQ$ro99}7z ˀa nMä~3,Rֹ٠[AZW$34WTc6նteqٻNj*Oi43c'dAop-H^ƆCLwHK9FMG 8gNؓ/;+{щcɹ.֢T੺Lk4B4bVe@X S("݈yp3 ^{Y*Z>.&I4ax5hQ̲4?ـT;h}|GHi79c HÄӁIj@oKOZ9CzFL^#7L< CTL~ d.(j?]Gm۔{ _xDJ R k+oOC[J4/_iYQի\ |,98Zq#OZr"$8ܴ2s"W@u&'˹YA!&UO:-k P>oK7 796Ah9`o P: bǭ)=^a3.,w>?'IVY 5/<4YfDG%h؞,Eπm.yԫ/2[F&Tc}Ƈᓳ"O;6|QF!sUrҚ7 s4;1,+r[4DNwH/Qéizr ?pP/5DQ˗m%_Pѡ=Y .b&/>&/*j$|&ۍC8 >6 49JoS!"uFyuV1;)r;c3UJ8ۥPztߙz#ŽK(u9פyf;yd>U^*s&B@UR~1O#a#R€p ͇^3JNr>O\[^`#)ڛ>|@r=^gR6#8/lī̹,P'O_'jâxZKa qo+@hEc.84厥?VBQx +fwFb>mG? WfXЃ.F~ Dm2DމˮbÄT8و)~?Ԅ)_G98rhCǩ֟?"B _u.A?VHf\tmn>l(WSvtJp/V^ݠo4XycEjshXP+!DDrR$C,#a /"[ A_%6` G2xk3DNW=Z @˫/𫀲R:R-oThBPX*'N,HөrDg+3:bRΘSL6FJ4QW}OF6_ PIAr0c#%[m)^W Wny>uy -Gn&A }@ČCxx8?7N*(29nS:ʎ%o.HvRМJYX%TA{>#o\ܪ Q(AtVV{݌@cC./4.rb^0}#T~b⦀Օ`*'ޏSuL69[sUx]ȱn`r!x(8ɧ!29v|~i( gr߹ 8J5Z7XIdWQ2µktXgӾ/ K$L.cŃzz%2(cI |HX8m.=ni}) #? KyhuFE"y}IȧB/*i QBw7-06))M /7A6FGDs/Z8(Q 2ӎRAѬa践9= #Z"V?CRvl~D[< :VJ*'Z;YHM?Q!X u7U0hJD6pɾ44QbM,3aN.42 U+sxxGBI3 V@I-Þ"Qls20^Y"?mcҦzerzE&&U99\QF g;5X:`J >2f`~[ \趠k8_:'4?b{G˜9YQ<E.?pjt Gmm}p:Zyc1t Fo#ynjmR5l{Y"5pBU9%2Fs]B԰O'X9RESK詈gx4kI6A0 X;cbŹ4ilH0FWS2Ad3aB|Ҡ.Q)d#t&,Ջn^jǼSɰ3T{*lkԩԄQ&ϨPųC;و`!P ]{Kz7}BNj/6I4Zp úXf\,!gt*J< 8bbv? `K m=vZq'n0=aw}\͗T7g09}{@.)F7; fz3u]B~F?PCYr{w׺uHi_]:4 dM;GO>#~sy\DƓL(.,9-zHY򩛬AnZՉX,jHACm?q{5s Z&]":kQ:Zxa6A r#ՊUhn>s.5iI^Y#$qkCA?\vb@0Ӗ\1&YT:~}+hBgHB6Q8xKAB^eezA..+Ccc:lRRK&=b)gdPڢjkD t%`alX]AZU(zPMՒNs19ej5?d)-;5Zh_^xhlT`Ya7AvFq@KՆ NA'9SQ>6]Ԉ\KX+j%j^S[=J/8;=J9tayMh;\>VU`&¶0jV{ YF̾!do<&P9}(s 0\~跎}G:**9GA|w!f^: SH W L]8\c^.T1(ypR:Mx[qLvz&X6O&2[tͲ]MɦxKC-C`|:4tX垳F$EXذ",lvNHgS"sI>gU! 4'o# Q 7+Xr=TI֤┅7#c[HnÇM SwP**w2uK{&6gVZ%. SS8ឯ_L*A+KRDmF6l۹ 74:rOhLgQ䮡s<0p]SozNd 7EvnU@>b YCrPEz ŒaǸǟv>瑷o1Y [vTʨk$ɵ=լK45>Psl߻mV$]DݕᢾrE%FìC@L9|uD<]I/Z0lãEW}a[0醟D0& WYJ/]KfUmiD1d:LbJGXjςPf!Nn_]&H "_.q.i=h #avp1쿈IAN{i޴t$DTHNVFNʝƉrS-qܔB'2Z:'Yz|&rw"nj,:oOV"4꘦HLaN 3HR.b\V:.voRf"pWfIBEdCvM,$] %.Iz_03PClEM f+{S,Y#Fw^byآ/y 3g Dr%؇-#Mttf~yXgY88 !mBlQElFۭw6p6u}ܚx XVkr.GwzY/g-p"Ph3afYODqU1HɆ={؂Qן|IcCY)w~FHDW ־Mn0pV <|PmL@Cw(A!~ME]4'lu:yLY閮bH箈)4LR6AN!Mya2\6,OȰgv' +o;kCJb@2+~?%qakIj-喠*TV҈"(e 4,]pN6:]BG`c]sl)Ԟ7wL{/*:d,~I1l+QMh Hz̔dڑEf-_xOPjVoD &"8O}bj9< $?xd("an$"R*@D<5|5jgYZ40f31acd9a1ac7cc08bbcd9b80103dfaad605802c3f84dba95bf0709c61a37f27d090eafa0bb6b158ecae5ac5ea6bb7242658a7e646f84cbea56185d