SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 oo]%D$l ]/]HOL-Analysis:threads=6elapsed=319.776cpu=1507.484gc=125.984factor=4.717zXZִF! J]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl8[x'oW--NcB5 _aArylq+4ɀlٱ<%&.x^tb]Uv=6L;ـ; km?'¯?#کCI"Jrˑ&1>j|'X4cqNNIr 'Ml8vT\Ceh2T~Onvl|_0\.Ch:պ4οQ?pAjD7,> F;uùO>CkA%(=4it[͞FztPxhCǃA|,j'l.ay-I\"da{'8+(Ig gIFngBI1/|IH1va< ,@2s757MdJAMW'V{.*VL 挋骼TCI:Ma|{`odS.DܠĩvaRn.h3eR<*y,*z(ځS5QDEXhWda3D9o.7Eڲ tKRn ۬ߩ6$ Y-vd>T?I3> hxFZLWP0!Fpt&oX? osl/* p8%U6>Ae@KdT1<:yL 9 H:QԬ =h/r"J `yA{̣VN- X„ `б50YuaqerJ$L{EÏ% *duͩ9&m 9T6Oӆ 1'װ~K>dhEi)wFp;rSKd'3|qAX6 E ;t RE** e0z8VE +=jWV];@?Df!WiX=_szqie52I EJC+l-triF'/`HPG۹-W /8~nzDU,._clrƅUd@H[z% هJmwNqDٴ 9K-:hy*od1T#B5~74maA R?y, mMKs`fĵLÁaXyd 3bo87śiڥeq ! %SGL|w4{G+2 -%ص8miv֞8=X-@.bM&"-6 w@\FD_j]~ @4k$liCӾUgxc|`W/$lCm%a"xQs4+MYv.N&xW(9lj =HgcxaI!h}݉UpE=xxGC̾2M֎aIsL׳5j;vz+)v?TʙV3*oꂳ vJDYbW v1ˍ]R\:2@Y9LxOut֊*h+w|v"Usbk01܆4'=Җ-_>uÐQ'tC*odU8R3.L@Nf 1tnT? K/K?! ms/ûY|.B9˳1T/ֻa؀ $&ƹqYQݨEML$KCZ,}뻍 1 % HOL-Analysis  w^j%H*@V@|.3r z}?Κ]$gs$z,Ϋu(OHVJY+ *zIB&7+L x2~RqOV6M&k3))P S=}vx&]12\<)}D!ױh 7{[49l&9}Em3Ơ3 C$BDЧkv96Zk?^0t#ŏyDATP>vlg8;PG!U4ܬĐzs(܉}WV'ko|I!#Q{ɸ]=pIMS*I빮 Θ4'+lX1'w^ Z}~U@q56g8+ SM|Wv'JU^ 4=GNǛG_p5B"&adPGL6*M*M0U_/!b4\Eԟp kz {j^^7a]8m؀H8&|"$T|02Kc݈,F~Mꮏ ҹT\Ņ1 Oq]חTr^#`Zax~[ǵ:+ICg蒞Ãf5,vK#*~Ơ\)7 l^KVhM1Zٯ 1m91oV) 3 L08u7|F:Ҋ`!qZqPѽR}tH)e:Tͦ<{엂Л]YNQT%KbK@J׋\lv?)此b-oUnѺǚr vwV\BO0ph4ǗU+?Tw7ږn2+i湡g^8a_4v'hSoX˙_/RĔZzl.ydEy}fP< `Ѭob{жcb%{IRK/t;}5V6 eiq[_62]悀cgEw>tЭ*]#P Ј> rjN縡Ɵ(1lNEFw}Zb9䧆3kvQ\* !|[DY"-jVfR-\ O% 숀-p8t>vSۜlBRI-Z`G 3Xt:m|F͡VK ,$O/(<cr ҬYjS T99j-YWlNg\'TJƨy}NHfCet9e5@L7d;8`0Et`䶉r"ITZy~rCu440TJ7*~Wɏ4N:p ~pC;z6AB JNg[VUb| irTCE2 x푲U' Wz D 1qvz^Xb;Q,¶~ap!Q]1򑝾,oL#ǷOCqs?LҊW|Rv6u^2\&h z[My{+Q^AAǂLs_HSN}bszQ"|ʄ/o7\; sXOBNx?/ S*4[LSӧZ!qadzwMu9~xe#ո kJEy/8 ? bDڏyvmUk6 w7U2?Z{nق`yf5!V|Ъb}8}nAH9NĤbV٨9r\ 1 ]@}1߀F /2[kLbU+K[w (* Zd]9t d7_Cat !Ų !6ac:GOvg Bπz ci൧8ڸ95OTC;rp$&Vm^?0m3_O+'G `LW=~G}"#s6 >=U_`ĶV!*dE{0oF Iv=Q6㹢ztԯ5ۿ2=Pω ذ8äGk5$|t4#s'DYhVc-oabx:Uzmuc4zca՞qN! J%fIڹk o2̷J ^4(aknm+`vhIat t%;OQ N=Ie>;G}3M}&b4zޗ =l /.mB-S聖\f+~nҒߗ,i,,R3 ,t'/k`,\̢`cxXH:6y3k'yʚfg)t_mA Z/;r3T`ON SFd-ZdR 7P|Sc7{M8t. NbcW2+}>zmЬB=)wzk&*hFydpKsTgѼBVMx{ _GL& 仛lM,߇FffL>(9V,j]Ʊ?)ŽC([U9!b$uTlK> t*N*^ki⿕rj{XY *y_5 ubJ_ Ú)%iТy4(Tqkf^)2. UʱuU~pV&TBjz`܋(!x>:#B8irO=67̣5_+[~U*JU# ndn3Դ:WaP"7}v]xz8l8Yb8{=/%is/ON)ߪa| R%ce mm/v=l@7q 9`\'eݹ$SºQ!BϺMj<Le-ԙs|w6g󊉘v{=HEUy7ݖP$kcHx|5?!xXe%wL:UaWA2i#.TW?Le0C329 )F^OYLQyu톩V{h8D^H5^3 CCSJ!oP0އsS1ϫ ~;bf0s{*JƲE\*9.aþNQ>l_NS#1ظBlizH@Ͱ]B2/`amShVGnU?ӽ|A&pw߷?Uie}F7ej9=B}%ԿV*>Mcd޼#[{g+R f?P@5 +h@5ݕMY !~1OxMо1m{͋)Fc~Lh^#6G.>@~!=J=|eEZWy:w ] tsV12ʅpQMPxtW8OGn-$(`s1LJ@U|?O?Ep9)X<+Q2Ƨ} siT(y '5O  }GŠgZ<`%Ohe Rz8J&=K̟hg!6I(MH{1LEU[7pib-෩*6G"@xTN)t@ڤZ1s{n f{P U6XsSv8HUzp%c ֤VEV!^1 ˜DvY7I֒ ٞU3 uP^@'iAM}GV(ϴ*}kq=sUAq!0f$8N:jF.ARlGc&?}}M ŻM2+S8kB(ënb^UskKF? {%JuGRԙ@o%i_*co]\v03dE֧䬭Sozz? q,3 uIIjd^\~ ϋ]-3Ӥ/ADǽpa\|?X~nn:qeB(0ժ2΅JS"ic,e{Ҿrde#(jPꙂ+āb1TH2p'GSKΌ R.E[X;C4`qxQRg o>Bk]&`ϵNW e"knaO]4%4)M,6_ b~ckXDZ=w7Tm_"<|%ߣ'?Du)75l9ʜg$Wkhpw4 9.T c,WwZh:+3G0A?g4[oYUzTɊ_Sa*z\@D侼U^TgMWޓKA}H_R< }YcqI+Й`#=̇~T:8䦝'a[YHTKi(Gܦ+ Ư8O{0B ^^F/q">ʧ"e*OF)DotEPr̻nٙŠ:;ɅW:[USN? 箽|U-6FiQI=;ƒØ؜{N }W)3;?4)-C55}BQ|, 9ڇ@c g[0Rp =yAsJ!ڟ7c{^CTa\_#.Mt` ՓL8Xt>l܇)>ԐXF߭ϪsF&= wt}F f<14%?b|>0ݸT﷍+HD_Qc|TSDmk7.&3Y2V݄,db}hZ0R`1N˫8 E}/ y]NLIK [@F#|z?hcK~IF-MeBfnv}benDY E&Kb |g`0n(%Z#g0zBt_ebolhZi~\x4p ԿG;(]S.Bn-6I9~;ob-'ů5=R;If18Oo^ioF7"l:KO'Al2`\dMFIߋ)y*vWo"Tv~.h Gw2kOGL f?}I/B(5ҧr-;S&>2S$eT`!bҾ8]G|OԈ*Svooz5Լ-ˡ"ң 7t)6`f]aR~Leԙg;aH(>Bh kDDX=JmG^wU ^.2`eDϢ$ NËv4SS:] Pq 5iHר&f5k%!03y^~_6T'c`C1)Qnk\-)=76 2m.g-H~g (!5ӽN-6.hz{{~x{y|cDZ=g؉o>3E}05r)S0! yqw"ED 0:^v$ 'c>\˜ĩp ρ)ڲ8O~`jc95ᎎ<8uD.^J:]FG}9~.&>LlF|mEևB^֏m K= ƈ_CU'4 (v@2 m"#~71?#Wy р[}OzT55-h ơyW4E*Ck¿鴆S\Q{(Bh D6#E&Љ@KRX/IC>I].bb~/pv6tM(xeQ:+X~A6\1 y#.J6.0M NYD2d皯ghん}&Ƿ!@3"G90ec> ͊ǼΦKP~ O }'\~Gb`1E~B +=c:yU Dw7; !šϐ۲hݩ(B1Q$Vd|'9;`S X@l߰d&Y:xfg&W1֍{ŸuscaMV%j1B߁Hk(jz_( dRY]EܝIJb6FWCE[RI@Y1cČ3a=Wʴ@[1vb։Ž|;+sKZz쩼-to,z b TpgbTf;qLTLRx WYa\(VYYV׳[Oc7Ŕbcڳyh j:M}:2X|#-F3Hݤ&_;y5*L֤' ~j -M9p$mע_ܤ*:R)Ay-m{nme$<)}z 3T B[ָk߉<5+@G0\͏l3WG[q$16k GN}Yv8 8 ?͖0 ʢ.D:dhܯ=VcA]SX5Wӹ@}:!v*';qrģ-BzO0v1eJŞvֹ?ȡ 3g7{VX2YopvdC$ MkeҸL3_fj2PDY+f˅EƐ#s$a\\Zw,kO5n8_l_El}ܰbQ ;Xy~vyNITqSj,`r0>a5p= @It CHltq2p'CށK;Jz[_d[!T~xhde79e 9T<c;iΤ בrSvt~a$xqxjn^( ڃ7lQsnn~)c{ͷ?j/ql$/Pdйf,-@햓hutFd>{w aZ,^]<쉹#O"δ4`A^9!4Z;*qylN%WPuyąӌ1p-c,*YwN4K'Ϥ8]3/̦qp$&?ݝdf_b}>*v F^Gt OzvPJ3@@Y]$j7 lkâBAQ$θ$+i}Q)q^w;qHLS~D:8Lc18O,ia}jOl}fh_(f+\ln=tg883%2-V)Ln湊r~S ~kw[O_^3[fDgU##aR fݝm0TBks朕iBRtjH|2STr;DZ(A͗T.1 03L! !bg& #hM"KF8Njf+git\mRdoR$48 h]Fg?vQ!$ ٰ;lr [%M;ydjrd~F -4Y;xq|.iXKH4հo{?l@Ә>:TY.煉-9Hp欽Z c2/xN&v(Tү[lg PkL;"<zz๖bA_e5_VSbd':STi n yU fN/?+R> i  _h,j)'OA4 ;P]W_>: OhZ4G9]sJ%" gJcRɂGZ^F\@o-IOܣEDX-DӅ1me_ |EYP!)<>{nu"RK̓-i)&NaIk7ڭx f`%ܶ+$7HAaƮ(&NV>~a%JpۋaB@qp٨߷~{ >ͤ|@9>@N{DѤ 󸘄$ř\OC .;|{؝HlK1OՋҵ5keqp2KZmSL2RgXBU3" "} V֢|T @e:D&ٜ EwcՎSk].`r핚q`ngM,+;7L dnL9<7{IL]m|h9JK$ut]m`P0PN*@ձ% fya@Vۄ\},Us7N"|?׬H7/J-%2kQԭ2# N|PO RhTdr[JPEJCi̕OG<-6*3[4_.(nx~D_b6nC_KVDU+j)%&9NonT=<П [d#;BwW1qwA̗SVI1-BJ%L0J)TYYB /Xf3Wx[A/|xO@ZTa)YLL<`:ѣ4կj.T165J[kLs;ָ2SDu:wY e|^Яw&UIvq|ܪ68qmf&pwA(yKcz;a~Ch3uړ~ClFR r?+EILh)Hd9J8rZWVJ zôxخ-KH:diFy=;fSrN]{. H̓g:81e 'kPG RUz:dׯk:B,6-ŭTHeP*GIS*YDd}x(,48*DQݢj݋mx=g5~'w}(c.mICqV>~i)ʟ'5R;ySdR#2+>#ncAw& gR[OcJ|  :DE^x2{~[" v]Y_Sۡ=W8XZ6IubiVx4{ZC F{kا~d@LrQʯ(ݟM coc>Or sߠ?.*b)XߓHVB~25ޡ.O&1< 7F JunGhŽnSm(3{(*k=Q38~5'6u[мaL`.OF~\mc|ُ2CJ=҂Y&AYQ䡔,'}7ya~Y&0?뎥UW5^X>ip֕im6"HɁyÚJ - ZW? cՔLA`0߹;f46ˤ;.[TTIqHyEmjI,xJ! 68{k,^Y.9GydDz-7^H#OG|9b:U[VG,C. |txca~v0_, I$2>Ղ!Dyލ2[5., |**ZQĢֲ ͲBjPJ&ThnP!@S #4r{Ftl}q-̥ W@"eRq QSU/f0,~ό}y=]r,[/>y`8M\[>i= xI!"r/w@lI."B^JCas9# mESOa96(ы8YagҜTy8 ΍-"%ZP<{nvIOʹaqvq>: n,!iv:X%BٱRd 8e &ĺ|z" AJ~[@4'q~b$Y "Yu}ɱgYZ7zXZִF! "K]ŗXiɟ1˦r!cHkMeBd4էDN=Dգ1;hB8[?T#頇F҇^ =gh^3"6`MgPD5%;+v$^+-z=)iwrGo"i|Ϩ 08mCش4%$%}|O2[UD2*k@ [R>s4!Inؕ 뫭_whVWsʗ Arer,|DsG[HUTk͋Ͽk ^FfTaSV:_㮢="^DPq{XP>ï&F7r7KЫkl'-xTRn SWTaMg]죇bqPZNq2:4E܍-V""pn&]uhPŹ393˼k'ʵF'y2Z=f'fF/\^U]3~LzO:DۚL O#Y[돳V׍~% SB^^!-tn^[8R;qot+bwt(jA0'^ilǚGw|k ZhN[XjIxCFDC$Nf8ԮAoV M|bΘHg-&O~ #M@\2ĩFVxR^МE)S+}4?8jR ! X(Ip'1 ,?-&"nL<.cj'%yAfQd:>[(- 1~P*E0qYj7~L!Jh^ tYbsFlмJaiPe`h3^ɥl`  Mk6 36񥘐!rxgL%71cM;(Ag9_&"F8\K.f!PY-! #ږWUvy9?V`6f$8MX wl1U3RοV5|2~ N_)3qVRQ=z(Gx3s׶ր4 76b>vKqKa@HUTe* \K.YE;')|f!1(i*G_ךn'ځ"v^԰؝H/}N$<7ļHt#ʛدa[爓l)7V>ր@,ycis[!BT(T/yO阍]=u2ӃE߭/!4P+ CU&Nh2o5SV M >-%Xկ#oHh|zǝ7xy /KRa=GmXH(ޖoցsyDt<-{oW j{+}9UtcNNC!r"V,0pm2E3 l?5+=EK~+Ё(`дS8}[ڗk Cd?"Q$rHu34x7PP>C}+݉r݈kRz\ëA\Vg9߈Uԕt/`c)0͛5. zKYNX#6>E4l7űv}< KQzXhlj< MJ5VUG}m W[Ջaǵ(یnr˭`]Bx-/zmѽp +:.Qd39ȕAbIRۻ >i܏ l`y>m#hH- ,&ʵMWɾ, ۆ">`g cuՋoW($C:joDWFޒ=EupJA34ڊMJLB`^Q#ν},~zQr|r[2l Z3AcFInu!E{ŃϢIo%΀z;p-rd3 5T+_&IEӡC`>mƜ"rp5D7 Vc=jc c~}2ptɁ\EzVgYZ7zXZִF! ԩf/]ŗXi%>?m 3Y^_wg ns* lv`^/9ï͌+S uOUmaD/[ve,8GLjߎrs6_1eۆo9w}M7_ť+SSme"VTЖaM][ܳV'GJcKFdU<׺) bS ˨iY }kTM|Q`R14H;gD&s~>P1`7}lWOZ)K%#%eh^^c,?8wxFEX,]wk#hݍ~/f&%K%Yy+x!t]Zn"D= ]R -s)j}${,HiFp][{I$D)j{-bvOZү'oRL~ꖧ#>Ki}< Y۽&mO$^⸷xz.]H$dK:}B(+X<|[=pB٘(}/CMڦ>_ eC +*ܵ)6+_<5E$_0!_T KV2X玆2k[b.8PE?0rSdOD:YIz%DaNuFGpϱ„]ZPu}s)P"T|0p/`0OUPfqtLӺAxyԓA2jVPS&ӜŢy*wUټh>m8l[eDT,d5Q_3!7Zӆz ꛱ VjDe7.  t K!OdÐJoGP@-@$x Ɩ',5 g+:"$o%+饥[.'$X]>I -t1sd*>[[>-.qL ɻVENfꈱ ywNJT\L\vQr1ɕIxr,mDq*8yGfq6$ak!ul7svĶp>&6TL[k\FM D=gF8%M3˧jo滆$0t;byi)}+Ea ݦᨳV ~6n^d e6l|6ӛy#: ґ` P]!7MB|UEVuG};;!.a|`̹4} q!57+ ^PY˗9h&woΌK;,yAְ`lf eRN=}s'q/X<,[8?EHPMl2\ /EQ ~%gJ+An/miSA}Ts6aWï?Rc4m[F@oK,jMFDJ^K.;f̪4$uM۹efN+f :~|:}S5}|%H)@@mٳbERJ3CnU\[Nf,Ni[ u>rgJ` Hr 㛦9o*=?Xo/2^6 6<"m#]ڻo-٦o-]:| &Ncb6)ݐyAn)pf sg"S Qy#Ӏ\_ *k` Mr A+pDuB MvxW3߆p K7$)AT#e:H+/"~!C] \;$Y~@07qJVsA=5%Q8 f,9CRX A~>VJmhGg4#rM X.F?qcm½y}ﺎL4S{5G=^ |^xÿ7prQK2<uҟ K&|L$W2!ae uaHnaUxhNm]A՝Rbϔ펃4qXZp[ti7)"oV փ\HT\ 'J.Itv5Ȍ!~iE] qH5O~[#>my s$h^5ew!tz6 P_QhN#.}.g8*J窤4 ml0ӝ>֋ e=;Ț93I'gŊi;:zsLŸ%(cwbFLDRYYX[mҚuqkBtvUguI 'UiCN ;{B^>wm[U l&+`ZUC>K E9gLqh{@W\Ap-d@,/%qCo-r,kee~Q(eꊌ [ 8x҈Y ъ- $agة4jTĒG8:5jɃ‚gqF h'jkNV]z X@n[TNw'fjAtu p:VԒ>͒ݝve/¥T)h^ng6U|Iq֫"vJvSu/* 1l.BZr 56d6tMle h{ZdQUm*X5{>pm3Q3Y!z`H3' #MPm:" +'Qr!֚9M?uU<a Q?& Aa_vRSc#MUصe5}$L`\h^^gqΥz_Ms2n,\R`qw1p_cF :HEvBHÙP?/tOѠ cj#ƩSB,`*ђhbhc=` hN/{ j 9ȶvզ[ -% 0)Em?E Ra7evF5ϣ^ V$l/E?gcP(mH=?sx%kŭvyt EGAeMT 1{;y/l=Qf0 6ΫuD9{҉ZTϋ*WN=)TB㰊Ȥ؁rW?(Z0i{oL/a1AZ);%)-Pß!#Eٳ?&J_Xx: _ʏ25@@M62IWQӞu6p04# !\b:>f8/n}fh81뼥YjR"LSMqSB4 76זP~O "1p Fo4I>$z3QkMㅽf+Eji.vLkΊؠ2V{A<ЂbY c鯢:DB;7g&U@Y=?hmyG6 L ڮF#Ҝܘ1B6K' 0Ȧ Iǽ4oCFkS۫Bf5EȊ<빝Sb0H kdסP!;:|LL=:Vԙ>r>vrA $1Ĺ`r4}gmm:_B&dA#Wjp~ht 5\k~Я_( ,*h }׌'',?eu,>4aQHafœ{4GUe`SU1'OGmn3gM(*u=bbc=яJi.RI]I-A梙?-y'~ꥮJc08% CDσfO~UHO< 77mĒfP)Ōm{wM⁍,j'3*!,@M#kش?07"+1Z"o<2N i^\}28A^qVI/eWj@#s s5Lmӻ(r&1-S }gKfiwp#,`CgsZ#9%Hq*`^HAʠv^znN} B1R*|nxwL>sV .2D6V( !nr]y ?P@)Sg >b$#5k]Ukbоսf}ij 9.34c쩾J-#oho*J+_ǨH)$#%}.% 8{(ac/ZV/[;Io%;6L]<d)ޅ1qN/:]bn/CJf~3V J"1aa%l$Mp~[$?`l >Jzf͈N#3sA+rY"|v$RQiKeԥ  ߑKo#/(WT2[(-8R>p>(j{?3k1L/r؄`)d:g a]T6[n"qkI 0[t{}Xa}^0Y HJ.(A&7FJ[^Q\$DAMkKq&!EnE"8?[Q(=hjt"zxŽlccn2n (C,(Hu"r;@N/,I85pnZ:Ѓ p{O6Yj7*URX~ )H/-ro \s~swye$+i^bِ^j1wq@S%9&R3kEdǍP~\#0خ#d}\J{^PO]7 AXљDeS 2}VܽtX힇=y~yM_쏖{CQϐ4QXԔpQڅj 4iUK]RQ U0n7rF IX+Rh4Z4OUPkOX )urLN#!?8iZm+cHPOW83iLXvIп[k/tiwfa◊:w3W]x$%'T2ƽ5. KYGC@#h"_}GS)(_qbn"x3~ܸ-V&4C dqc4,GM2$!^A p6}.U54̓·qΙ(&% [%F }YtGFKĖ@uܛE&,hmB\,zu @P|->t?/Dn JԖgjs"l9 4EsngZ>qTz9m'̦kX<@ Te .cZtλb^iHOEEX}X֊]/847"xp]W|f[WH|#у`k/7XX`b MNٗUf juyUAֶ$c!z'O?n R5 #}A6= &4cgOo 0~iT իr )DžOz]O oB"cĽݰ++p"&t 07fc6%]>pƇ&DCf$wj/mN ,M^s5Rc)qB> t]UÎ7ΞfD`rSxҪ\톝J Jh[JgNH~恋[G%f>NU0$i 1ĚmJ/bFPNP.Uee)~%?=OJ/YL~a%lӞU۴E9_>^xn/IK1g&c5#cpH8 W5A;9h [!Jgd~=o` κE42\*ϕNW&?bxT2PGe_% QL)ijMa|\_q8v u"_ HX!;AL7?xC?ۡfkmoӭB+ M#r0cΉe x(+U!]'TV>J(Ω>'{Ȟ-ۙh^JQW^p*{Gkw-ֈ("ȼZ⟠z(27|h}"#3b45LײBj`:yʫ1밷wjV%x[!gZrkLɢSedWZ Ɗ=x @:VA-WӐ{4p&Z>51ȆpgJ2 fo%"Fš0?c_B"V>d,-&x*.W~vAbpN}YS jIY 9#呋H_҅5˷c]0fKF+t'#1l ]Ggʅa+%em񖌏4CVE6)ѕǛvqĵCT0Uy݉l)s=0&.ƇMZ2RCqEN"KBgK_ .dD .{['2@'9STFt 6R64*W y=ß K=djtF!2Ӻt3Q;kTUA2|5"a$}"7~-wĢŠ A1Fҷh\)Њl8}NpFH 罂qy/Aw'[[t)A:8sH9Y)m.EQ|WG}>"/|%Xr1_ {<䞳XgG &mogP]թξ ~n`/_u0gd9ɜT *F<<X.ܾЂFZ l~~r^$VʌH Ʈ k7]ۀL5ZMw:;,5UۦAY3?tEkRo&]1z3 M @눭2҉՟z栋j~9*nM4:X?N3=(ҷ~1v:35OIx/}%3[1en#&e|yFaG禓򨾖?ɲ[D2lD>*P&>8¦6D/_+I$ oũȮ9R=hjĈolDZL=X7o,Y"~PY'9~ IkXKҭ9a vxcX7diբ`U2|AS+ $4Ot^7%_~;$Ys#;ݺˇ Im?!r$N3ç w3M>Ԫ SE1T/7~(l'=g!Ko:u-UJz҇t$9Z%:J o+b!l)\y%F>,{/ڭ 5K7-^#et0>l#[)9t(Ŏa0w<߶_Ja]֖t~:rȣבEЧhvβ}/MFl* \p"mdcϏ5dEzxsP97JaEQ"˺žQU6 :,7nj X8i 8Vϼx bNA+M pv-Jݰ B".i`szahEWM~c+qqbSCHoi66 i׽@] T-[p:~# F62az?Z1q<#leK u.[$~h$ "͠vٚOFѼvɏC4WJT+AN7M uXBK>z#,ET?5\<}^kރ`vO2%sʢR¶Y;}dž1yE|Ū=AO~q"IcMEuLo ;绐Rbo~:SC!jHWwv%8Mz"4ZMÏ(p3>½nplUx'˿˲a ۊȽ&y '.-yVIeH :\mXv% Xǘc*\{%Ӽ5nq`+T8B/T}XF|*iӱbk$ֆآ,kf{~אԳؕ6+O)kon+MlH:Ky8N }Ќv9ؕ H*% g--\ϕr NΡA&D!.Qѩ~ ?V׋-EN#_p'qMx%_y+yL P)*zk%P#TnҮZR3o@%&dLcݡrwefnd PN*S^/#tin,}44hh`f8޿G6ϊR`8BT +%* K2/+?y6$DFj߰*Z.}يO㥿]1L3XVGmQ ?eOQվNn +pU|U)0mu-0itOۼ\b+q2F&+p$]zD!7N1)>^E2*10`ݨA}^zD5j#Z $ V5Yl`*8pHq50W-.c^>hljε>Ɨ1’P$J9'5gMw^kM=6}kL.'׺g O5Z8^ֵtЍž#!g5s\8.QxaH$*V.pĒ61Q%@-J՞Izm1R}ޥ8hS po5YX@?K<,^kv{JԽ=bהB*-oBd:_5zXƗo_m%#Et$Bi0 [)CtG7n^L̿*SuքlT܏һ)׎.vAT5z^Y}{45Vw9=U )oB22_;"G{] g%#mTDz'X{jꢈMW^ ; Bhq_Mqޜv,b̯]PuW׻qceKǾ9HsMg,Z&)v 0R ɗab_nYa<0v PuUV F6sw= Y_y9cćaLF2HUVhVjkb=QNU1ҥ8[8Lrαi h/)~%2lvg I-[ 7&QI}ZG\T2(UO9 y*FƺF\#wb ȺZ"3svo45L;cAQ`$4 ?Łmk8K&O>s8;38{\6Bu1=l/5}!yqCڌ(#>NrwY 8 Qo]+OV*L1Np1/(9WZb}$Ճ̨r'Q<Śʏ@wʼnM~l#E4sBŪUaJJ@}i}+k -p'Ň-9څ0Zk,Ay_&Jt(s¨T2}bkgeNO &?{o $07Z#4~ # !L9sAH?fWJϧrb4ZcV]8+V ;-k;x΀?^'Ԏ:*Fo1NNmu|pmN%#o>i9_ R- O$e X3M[Mjqkƒ(4O0 Mv;DT_'Ae*5gժ7ӹ՜`nLC P#iqCNg_BoDۖO ^Zo)0CRR>yf`^D)$9޷Ңk+eɾt'pU :̕wݜV?WBR$]|^H#&ݒִbM vƩ0,X$̢HGdGoՑԘBI  D|yQL^_IWv G:q `yg0-Df!HoF⼥q}+FYf4(A颏2? ć?2!*6xj.&T?^ڲL9̮oQVʧ|,'{9^V'޾\,mlշ=qd 6TSfHgZ(L/Z3"oI10 ĻR׎an"v^M+EQ$Rt>^^&>5=X)`c1\9D cPnJN ULtΒ0::a+蓹rjעD|>ވBhp)yE`~`լ9$IJ'ypDT3le:311MGo 4CfQ|FH809, _aH8JWNɺQyf` ;k!&) i$u3 *2*84Wb6ޥFzM?rK{}З9l%l; Zۂ>CF=5p! -B>p+bh-/ѨԾޫOq)T:fJUb(k03F· $/QiMQ(ӠO^pU0/wr"hreQVޤ3,Dv88i¹^t;[lп ?e=BB#juꪁp[/L()FɊ9{G$Lgp [;d'd26x'r&/ ng [*;Nj.)ˤ 0)-6x.F{[B|H!`qUOg Y@ 5)j2Q,Ԣߛ[[%cmΨݖ7ޡX3ꯛ*Nݡ~iz4A-3=N;u6W ;]=L[oݲw^0,0 DQ6Uנ, Ve+c'K]n*D2@(k[C LιiX' gS-\ x 9'$><,_Cm%>ffy4;4~cl2L<̮ƫ0yn&DNVF]},]os+оs3|d5ԌO. l˟9rH9LY_HWTIat"\ .KL?Ћ{nK+ rdm#QVdXG;WMՆ s./&Sʣ5~u.Y8(c?7sZy\=oyV >u3*\c9)w%SGgqN 75!A`HuecϦ/7Vow/[}>:BnDD(x,+ŏ OѦ e]4t8NsVϷ^=Wywr獠G z'-AS]Q=ÙUєYFscg[IŀXH:ytH|(7b\*jMNGE~j_?4SX봺Oլ2UF,*:$Qrm.-VpHq4cxI:g%ʭk88)^: UezVl%ʬt; }|W*,(H$ЄFRҁ-ʂdmGʩ8ts*Wcn\ʯ;"L3jk"5rp}C*;(c)V02EA늾qR;}j $kХC}#xpHU"j[Ѷ"E#Ai("dɋ=Wn^q\^:ZrN۽Js EtS{WBk1b!|:Gku>e*ƫ'2Z2bͧxB[W}% {:cyTD 7;&S?/8R _k~3$Uy?GzQ;~k,#2'Rd?%4,Crt= i!:9[1ԙWrohWX3 Nh^7pI+b?PcסQM_MY 01PݽD4ʒh' @!>_-j^ʁ\w֋)F@0RU^ /˭Ʃ.5v `x`<4 &M|]I|(qb&iӍ C?%?Pa'RŹ%ήlK:{f D6"lXzUr%Ύ~nFy;BrU s!hS\'\ޗ'L,NJ@>An®x6z戵,mH6eEܟ?Ψ% =|ڤs}͘t2# $ɆuS⣜VO穵ۓw3CAfEʡEoƷ<^ ԿZ;"=D'/}jSWa0KF r#4D4nFX6^sա^?E67#:MS0^X2`Ǩd!{dqGw 8X4RƟcpa뺨߈2Ⱥ!z#/S`8}m 3DE'4;/}upCWQ3l ϠcwSGeƚ C 4kyBcJwsp K&g倕87h -،ε8ݒ0VFk_Bf6t/qܸVyvZ<z L?Z,Jx (đg Ņ !6d`{["Of9mCbFRS@R끲Qt7CVUZ|I)\C<uPX&7Bg|@d .j9".ea}dߠP,Hajs0| }n۲ZfI ,~xI^!2M陓ڹ19ӋK#Cn'8| xr*(ae}b0Dju\\  Uǡ7utCWZ@R> )ˆSl]8c(%يkS* aٚZVBh󖑕-U5hK,O^[~VYFUS]hVa!P' 'C,/͒ rs)+u 2Vbx;Y*"t/Ȳ^!!;KIx8aÏ=. \P1.&I{=.ֵʪ@3#[äbͰlBgw37]*M>3W\,W~T!K#.;,@v[MQ^rr6LY+XCx4&q dީT$o +*`8'ϽպQG'$%8Hn F4Pٙ v 2!*90p84zv\p(fU!㺼@+3 wհWHdtlfm^G끂ھ{5.*JwJb/ۓ8M m{s̟{VqWzڠI>y#uK?Lλ,KUC%>gvpU.@6 rU0\~^H8("MĄU[73y;-ϑ >"8ǢC:#lrƅV^Ȯ&gKA|l7 W{mA;Zf$i"%8!.vHd rߑ?u }Ss庢5㲂Lֵ\F<Wo?CsVE:nZF3C;*FC. csw>;֊`jB{z[ͭ +$H*i,tvp2MHUZC_߇M*Ε4xoea#w<-B."{mrK k^ߙ{v͕(^ߗ6Zƚ2yHI!b+Y=9Plwwʸ\gQP UO%<7rj6- ,2.#R.eऽPusP-R?-czp[z(wRÍՍ}O3иZdxjIzh?eꘘɼK;-j8з`Q1cpw*'UAm%K %\.&6dr):V8x픷hF'>+&NZX,-2[ #H›el =Cz ~/fP w r0ȇo[k?FV1jzԅpEe*v|3>2ptH4Gϡ? e:Xf5Fh|ⰙvID]W΄p/@&+cwR1ɋZإG…ȧBI=&/T+CT|y2D>xXG鹔i^$GR#_^GyٟdX< nRzWe*3K=};"^{T:LʹqY6е cC}m=IhR7Tڸz'qo@g;[ LO$pz95;#:U{ D_g:=TwF\!EJͧjt^Ij)a ᡩwJPT[xK)$jFw朠4SrԻh`k{6B[C}4IE`# Gi#HLi]]4+qRKtʜGlEΩT*fe[/SRSjm( ~#ݡ{j">||}A͞;A@"-ޕk4:^i{ט TƃRłKu9 8z; s=WMwL?FDbԷG̤59v_Yxc}z ZF98vr_Z;Y-ilTqAv,ͧ䇉8;=_\J],lr/O']z7ᙏpTUqKDeKQg,y 8MxN J-{Kh.P2g7^|9ʗ{&?D8_{=F+3] bI;he=SN(? | P d">޷l8>X/qzU뷦/3H@v$*-DXő:0GQ͛C2MuFoh=pmg<YF{PR89gׯnQ}[7ѫK)v$NF}JWbjKJ\L^t'|Wm?[Y~=3o_wI?@j^e<``B`c/)Q\+D1No,5JKmM[2]}F43 GxĪ?b ܪr j՞9#ghqs*?Z*Ue~pbM GXN8g86Hw5[!*t{\e\_Km~p9YO)X{K`Ɣ oe'PV6|FM4^8fRE$~___y7]&ڌɆƇaK˃%ØqupVr3̾ܜ#U OnZpX@^ ~` }GWK7J& E  __HD!Zc/lg^z\;CTp܌E#R16MkЎ (Y8Z <͒~]|&;mmBI- ị2e8x˄{7hh O#{xŹK[JFp GMv8y8eFϚO}=)@fֈ%|Uh(;p4e[vKﮐ X)X"hq*!P"$d70 f <;4"HAx&58Egm f0h}! NfÌFp0b|nN/eK7/27(R~+"^ٺGfڝO̒7)M6MïmsW=iM- /M1Ds%*$M5ەٗp*Gg i;W,3͌C0D@O5sj)]-O""FFsߙT$Y2}9 {Nei ɽFG(zW5DB= Hp=Ak=ghB~.?yK ).$3;:q|$I b1)81R.n({# K'91B-KVn`)Qlc7g)ٸ["[<4ۚOe@L=Fv6Q LŁ hAWdr}=^hŸ Z>2aTaXW%|sFlw*z4tR(VwS@$YTjоE}jLОأ…9<5wPmapD\nGScT5`A<r^71pW̮ӞaeM/otKxeP8T T\bŞ)ߒMdlr XvC]"Y06THK_dm0հ ҘY:Ƨ,^Ō$Hoi)Bl'^I/l1(т<0ԤX:W*dSuMf6 l -:63Xp ~XgH90B+1u5w9Knz7ľ\\qG~3/_B/|$쑨@P gV;U#կb+2u2˃!_W:6RiJ*?O{@ٵҵ䃶+3VQƻ4r{摠t0M,|R }!evt_3\\8ZYcg}#fB|2F+9f3mw_Myѵj [q@c5>ɲw$d Q 3RcY_[n y:ȏ1%^gY ݔB~sbLC̕w~8Ǵ:a^tL5 p+`bQwCA30]n[ HF"DB \ Kd3nS`<ʌX(iɻ:thQȃ>I ~DsbaV$x^L/tϊoq1޻>YEY)W]Z+xU͏]J$ YfX{0[\=׋Q c;L^Ä-ָ\o")qۗc qg`i_RaNJe1@#){!KnVuP~ "9BQZܵȆVyKV7w"7lMΟWvz_΋ي>YH}o`PZO7N7dY]%R~nS [AԢM|b$jJscԲ-6yް[dej.z5IF܂g̳ Hs6Mp@l;r*gx)z1uV+hDi_Bѧ䴓O"ᡍ\ ԓ (L!|DZkNJ$e:ب'o׮MϠHCkOMB*|:mR,dX 3#_¼уzb[]n H:!hK^ 7 Z#05 bS -tw )Y4^H-QDzuS>e.@\Jж|a4nЇTAH8xn:̖8O]vcͷ#ewisb=kzϩ|rR@{3Ҁ} i ƓEڢMUj4H^%.=!DCZQBKt^7V}Iᘣv<㽞a#4ny4",!&B܋\鞕{\YJ