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  9,dl ]% Koenigsberg_Friendship:threads=4elapsed=39.625cpu=127.356gc=4.328factor=3.217zXZִF! =]ŗXiɟH)0%oO{{Ӑݶ/dS-ӧc!0u߼ fh҄sK^l LRW5vv=h|@xYĚ.$FvX  1%NOE X(?;7TE`+ȵ>.4*}*1э,Lgs9j5?+bQ5a/sTrH>M{*B+o^H6: ?iE` cg;`?ωBMzd}WHŸɸ6Vї9yPw-U!j_nUnZpHͦ_[ޔx~G7:[^[E7? nrZ,p F*L)aTⵔ!D\Br?c|Hc@~YLSXCD=2]* ť'PA[dϴ!?8`D8 YR·l\b"CĝCmu~$N9ЄD*)>_ 4B1 6 ;d/\y*_S~26&Z*DJk9;ļDrKhjLaպm9|&ΌlұDQ`߮P@@V%s'/3!7jU#:Att-@RR!I.[F4=g(BoHYNbY.j ܯ7I И.zNeJQnGF l%_5Git8E+#Hf~'HEk'{ĝj\7ـrQW0gJl4j[Rz'aRE.w()dcY #.T)&WD Am¡TQXe ] C a|b9!ӭ(SڍjRU9@,aY1B- Swä(\+Jݻ[[:bKl>[p shw0,({s\xv]3p7HY(GrSjj*-&POwt3E͐wԡjGz;ngs'*N¸4̻2;(ox[qkn' tDWu)TJj4jΒvM,y_7E5tΘQ3[kS1 44-ǥ|OǰcOhu=(lWE`MOA0} mzyԜ ?o;\q_h5 ͺQLx3 W'^In"T=>c/1F @ Ck9,Dq`PV p 9 Koenigsberg_Friendship   (4L;ꏉ8٤BkkQd}W}XW=Iu(k_Ԡ%2"uMl}wc$S F\G#.Gg68^Z'㹂hM zuswXwn&M-+.RtGm% ђ½ =3ԓc/'ԢiSMF̝-ԝt)4V#"9.Nnqk\&7 ;ԆFEVd QFrqUb>H%) h!_!AgQ3*{_)#km6EkDm:ܣt\K}T|dPW/K֥-: r }ÈFp|BKg|XNv]i $*2nZuF$ag mW-㝰oHa h24?iNƏA tTƎS`H%ϣ٨`(3Abtv9%oC<:1#ԡWo2S[+9:zgRy;)g*Wy nͤ)7UN=׎B>^Qr3N)c'oJ14-(7> mqK9oq |繃1HBD{Z5M_\f4VKrf%Ib@A\2$bj2qd{@KSH҂g+Lwq!CӶ;+{Jٵxo὏^Uj,#M㌫JݏR #pu0/ڙa9WKJG-d. f?g4JNTg_AᲙϠa$`vv~5^*Qų^]3DhxKȢB )lbE>۫"oM֭k\e_[D~l6D,=l|u涤OK2|mc U2u/ł# 1,KRX{+Z#Kg\6a޻Y^5&5Y:Aд[G"PtIXXƣς'Ty廉+&K;qm,9q1ˢ&[5O?$]Ս-[`\t3W.mD2Ή;䬧>: K*Ek^XXۥ0vY0с0eAFרٓ@s)1p(V~<7j!=gN>n;.(MeI?!NaP ) ZEg({I EQ*YqӃb6h4ѫW ڊ:Z W%2p#KȒ5feUdt|pՙ@piowbn?+%!( ,BV/-F2SYn@%YarZyv6"btGDzX"Y;-Ab Y=I'%O@BZ``iGO#qE2 ľa_{J8?f[Ԋ~Y /#o/ =p3tPezn似+wwR%xW=%- ÖJN41FqgX-F2 wv "3A*}$(_=uh'#aM H.Haq~vf&Reu-֒ nwa ɟkb7gBV#1ԥUOK m98] D a1[r<+f@sUMNrG1o~fO֤U&]M`.9 {?1ܕ y'rI#7ibﴧh]zj:6j'趛__:>L:L+  *yTׁA*n ;ϥwD:'?:65G%Ma%|38ƢRHMvՎ$82HOxOmih8y4u,e*QsQZ"A[3'XNLo{鯂HP{4.ێz|B6o>jj1 C ,d'H: Dnl ;fM(ﲟ @~!@ׂc^@P1 їPن g4sF L}vP?yO|fӘv/B nc}t,oM" PmĕNH^p]6j#;3M33kVؚOx rXf /0VJHcZd!u7mg:${,[C&ٵ|Z!*Cڄ|xe0REz_)`>bԦҫbc%GTq8x\xQ6"x⌛a:!Vw]p8 9{sK c謪6[Ogy M< } OeUp=&?){Kkei.]8il{–ע= ,ETה"ZqT=j^O,82 %WBL\U~#˾ZtIִ" 9@~Њ6W3KE v!u<~m 3m!B -pU7kHDlNUz +>=1}Pfbݨ~9+M_chjH)=nߪ =ǥN%6Mu,a %9ޮ"]M{ WIr䀝/`}fB MQug7Q`GovH*@gUA;ApQԄ􃺅/{V9Yo&cI@Zu~#*@ף6ƞۺԽV /"C #yw˳t)XZ3/\Ձ34Ng}%kϸklUzHR^%fYV1DwsbCcFpt_:&)?-S)G:яD7אU.C*N/4Dm/ƀf´XXeL؛>B!gS}ʀ)sLUkב=N"a–jqNZM<6d$)m '>IַoWL<r0R;~ "ᓐrAbI@QREa'<}T;L34h~Z`q~n=80ٕ=22ik֪o) ^RGUgH,QG/ŀO|Ckcы]oPp1СFEu-`-풣B QDN ؠz2J*;c`!򂛑Шįw"z0?[C ({jS՚TEN( йX 4`z/{7iD@Xh'i|'25{ƚVkuGhL *J]sc3 /pխr_2H*HŐ.!Ć r T/$Kjws 60uOQ7mqSg`0PQ 2 {C迏Olzz+*}_L0hJH hղPV>5w"-n]'CV2O>=zu;pLcVs n"sJmRՊ>FfE]s82}׈Fd.i2^Ed3QFAcـ d.[{ bw=% wD,[޳JV$AɔzL0&kir_Чjb𻪑mT 4{ JoCDyRXpG򥂌mCEʢ; KBp,=̦(i|$\ŭg'B|b x5:Htcj f.RNj9$#Om |iOڞZGjS1I~ Q<ԈH`Q=7o*`XHJk@uVf{y𗿑ׯTPnpef Q)cI̺i[A9ju ^l*[}3X3)OjgZ%R1=+Pu @DPHz2΀!BvPS7Y)3 {h1 &ْ&`S1 ;39>c+O&)Y9Vޔg#7$z:̛x'%_wE٠Wp!쁁_X'}zE2Ҟ(u0 P0/3bTt.,nz~Qs a ѝjdtc/1roqݺ@7yYqd#K q|$^}.s|;qJmo238' `T=h LyL |*݇+УmC˲YlW]eƢi*[V_jc#aN[+Ukg#N꣆7E6/^@dF=(:O*^v;Gy O]:ӓ3qtI98*yaG3AǥW[1#wRGfQ􃨊qɒ׺:Ѓ+'"QhSC7%@A<_<8d s`7r_/Ū&hdQOIM5eb{sə?NF6%VMT" \).P|8|f-2曼3q(SmY˗T]jC24q$X0`xde6Ia`-nﴫ3K!Y,۪Ҋ_C5JH[a:{v;?Dd@mC%÷͊?ϒ0bt-_F9LqXA ɫb9~_ fH@L3'd?W8x5 􀪽VOGBA5+\pަ'w8!S6Ͱ!7 >E@ Ni.ipBԛѥhR"~׭d ~ɝT hs06ٰSHjQaFǃ\,6NET]pd|̹a+YH)ܣ/׶#@0%@At>->% Q &WgOGXd>P7B?p}J3L۔%%4<\1ؓl6/0Q?3+vKt[6\̕>B6GiXߠTaFذY:[_G$P<ą5C6xWQwn1(l;"XbEbT EKJ{2/J/ ߑwUpނC,z!!)3LN“bN1)$A, {;I.cJȟח %C`TƧ=.|:PQ* B]A3Ȋ)}'B ؒ tUo'ɡm$o +(QHGm??9:9JC r_/q:D]di@\xJ92##\ {BfҬu?l(e@axyԀރcuV?>.3:HmRg99Jtܦs+$@;X? {2B3"!'*<_!1IcT/0]Iځh^jOaXO;r`o^!|ˀH!ɒ[`  }ukX7?E3q}DQK3MrDFRS! dթ,o"skʇZq,1 j|tĉUMLjGFꚖ}ܗaKf\*O!+@yS%"f9e[3ٖpO!gLi-uV./a"?= Dދb LG~7,Om"0*tv(s&fn&d0+ydXit2ZU $aɁ9lM?yl`lSZ-ߢ+΢aFpq٩!w}'P TwȑNAw=q15Vzmw<3Wt7nˣ _}l i՛e}yԫ2~TS;;ݏWʋ@@zY1O`Zj _> ~UUE,;6(*ϰ(ZJ+!Ŧo t#ѫl01=)Y ,i`BWwQsz{CA-v"y ɶ<˅ 'lmQ)0+*/O֌&;4jyl1vO}>kn^v>5FtJ\4n úLYǚ5jssi"3F0갥/nnbkυ,YvxTAU52;czk(6$j%R]-Xsa>~n_04}T=h+"^ufGʱgu{E$YhϾN< 51k _O>0ȩ h]t,P(x>ml.!sȇuLHj+jeΙ3=HIfrpu67{ rPʃDr8CFR2k^=$i({6ur$m}<]hFG3Am?bbУ[(ns^JΡ:I >|PoGN|kʨ*S 3?Y4 |q5Wf*&`xLt:w]kTI+=m>-d2L*&\KO.s\2>jʗF ?.Tz缹L%nyoLs\j,Q3*%>I:/֦aw|1DŨ&&բᔞOhZj}l)3zt{a6A:Og8Mwiս8%xv v=&*@sK^AMG$#6/rWv HGMX.[-k%+ 6dV|1K j Y4%mEn$q)3N-ZfȍsM_Bo>iRjӥXBE'}]"c E Dea:Lתm.K3 mB@!V Q;l-̍B؃WK_"rP^#Dc#C LED.e<Nõ!1Q@`Zn1uh)(JJ̩_t.e: NZ/}[Z?B+)f%[q=O3o:-2Ю$!)A]܋"[B=ܓRs'~#6v ՞8NSШ_d?J"N2@M7ZsKЛ Mm~B S=,ט ޺&yfg^%yPn珙!%~hyfu9&YȳެNIVwkn-6=ƣsx͚O7̇ϖLqKnާjgYTAaP)ZcYڔ'DiY[rZ3Ozh>j"v.fyQhpgvˤ(/ΠQ!؋fav=r2w+5woT[5aaNpyNsQtm_W%~ĕ蔎yXq<R{">f6F+Oth["iv-T Z<ןQ컀ot JSzyGJ(!jStAm5C3wAD=>::ur"dvc?]E&muj4Vug$i~ Znշ- x1 V(1jzd3(׆??2(EN+1gIRPX;9n F,"^;-e׺ɸ4]Np5 Q8E4KUȸvI(ڏ2>A{ڭuP=% pϙoiNjagcEΥ#Tix+ǂ%;q {xd7O6i CbK( @BzDcM\iѺA#N-Eql܌CܱzH" dL;D:Z&^|#IunS8sxeu #8EX8뢆R>wp'˕@G!z쇘C$@r-3d6i\ l$J`J Kw]ym}U#oI%SYHWs?|j LT{ZfұǮu˟yzsuV6c2׿||?E Bj##57'JhiVnZs:_Sѱ͕+$853T #X}nq;c*f)cZv >wz!Ii2n폳P0ЩF`-JE>1[ /&+flV hY}lxqB , PQ)79B;"Jbⵥ,>5"RĝǧPm 5x0EP j%b^Fq1UWb$WU|ҴpAbI،lw26;iw4Ob` ΅Q8³' Fsʙ"#Ve ۩hZ .Z_8Q-Oh9՟ _ʈmD Qgǧ1t~g``sGHỷϪͫQS@8CՖOÊ5#׾6˨ގ]{c#;!Zi~y-PNZa]pO>Íi[ED>ѾoJo3~^)VC"MK`"'Գ.IHRسњR//uԻz]7W_U}"x`o >ٮaK0FSkRUAP 2wUf3K9thKb\vqHMRJϋC *Q%tDm l.1y]al Ă*!~R_jsѴ,)ʮJ 6Ho)LS='rJA^җ߷#ujxfέRa=N7}; +%S@Nh(MZMK# U3~80 F;^?FP<) o!=m52YN2,bL㽇lg)-Ws!^٥4FJRO9Ze6Ȯ? QשB`=9->R80e8CYcޯj9xO) nӏ75r)ZÀkXz-5 fqJJGV)oh">OL悺[/* Hjsx7FEHb.slELKy-.n1"l` +޲%`:hg*D g]w8Ry^`۾+j:{Tk7J o5UwJKCa2. ˆ+zk *` !TXdPqXkb@gVE_4AUiҺWQBFeqBz;W3)J=*KO. LX㰔,uR0U8&t-A3JhfGanz"/t!,}9Znr|*"U,M|κOsn"+f|i0G>/\= EBr,tw -q! _?|9#U^ל;bGNAK;IK/&Z*՞î-` *Up≛#7'y=HiFˇ+4t:8Do;3su.gYaUg Y{U x/tȁx0 Bx"j!# vgۣOZG&RZ\#s]'q:tKVWWaEiϥ!kNGR{U-|+$)_&1VA{Cjؓ|ҟ ^Кe*tSřׁl] ꍏ3qUuu^e: ~ko7|i"0 =Sh<)dS}J9Lܽ,ӤuYS{p*ln=8mBzcAnǐPGְ+.E(*Xq8Q:X&ɉBi0a@O'Jnr( b[WXttQ>i3f,'{PIwS#``EtVbs:êHq[pdV "4zD%ɫOwM{7Ha\N gۍȼ%9$.s`;3KRQ<W&Ҵ&HhX{6-H X|U,V+ϋgzF= ,t(/x&\2$' 4'/~̭`N+u>f?9Xah)֗S6"%~RE>P|4RzLx rv|&6~LZAf.q'>,muPG{ NTƷ+8BךĆ 'vȘxĩsbD50/M7B**oX-Gm5hVFw])K; 5Q40`DTj:%cwHKE)OɊ%Nsn8M&4@qp>k"zf5/Ay7=J٪V?^lEYxU--$nxQ|R=@(]u5*Q%9j~"l"1J&%g{a{``j7$>uXa˨x}(oFj¢NpJ˴6&:ٶ.wΓ>[9,j/[;FX,Ѷ`3gŭ\:ֲWᢼZ5Z _}RvrdpjȁE3axP(g؉f޸ jv wȂ!$d~!iS{s}Gt?kn^Z9?D-d7;A-`Ҙɮf֖|{IqO&/E򑶩,.L;&AUʫa2uc( L<,m.KV֨΃cb/8|؆u>e$%.}Y/ӘaymΆX7\ZP=K  ^ x"Fg.g(TO V`8<3y*y!/  DЭ;`gegbQ:Hذ@Ii *^k'?&7*u@s4g}RѨ/]yo:ϦQ^̡;Z˜W/x_10cU^vJ~Bî˴[%2S>j[~r/i) s" hCִS_/&8A#W$H2K/ }Shs/ԽM=܀;umE |લH874q|RDw3$Oȉo̻`jsr=7~*!Yx]7#PH7b YT;g6K#LL5EJ:_=9ȥxpT݆ͣ31cIs,bQ] fǝ^16[iNKs0h8  1w)(`ݬJyz`J^3@e{LDbZ۵e^Ql*3> v_(n!HsyO^ƺeǺbN|<2[hNfZ Uz -euoXh»VjqӐ.:e$dY7!&' &\Z=ѩ䌓6k62'y60j(1HoCګ˷fXq239rcSǴaPzmPjH_'Xc S\xjvvD =BkQG H50ENK|Z@Kڃ*טM\dt0Wj;͠\݂baQ 5jː+ͼhBl-ejCr3 kz rAF>6f(?)me"d}_ h&EAf˿>XhB^8kfd}cC~ʝ ٗw%cɖ"zqbD)(P=ޤTI)gzSIB=!yRJ8Cm`F$UŸ5?BtdUMjz V :j {T#0Sg\`ʓ̣Ϳ+ y'+vXE=&rNv"suZ ,԰s)hrc[!pIo_cb'3oD0Pٷ&X6Gu3⣹yf0Z!:1/p,>+?YiʥkH^.:L@bILNErZyn?\+~ 1 w*Ӷ'xA3 ͌Ti􍏛5Q=r'e,BfOy'=911777Qh z~{ #x&2ik;=@gX|r^Ws t; ~ X܄ӐuF=@΍\CcBqPC"P[毢t2}J\L DST.ո~`  =ɋķ:EE=9 hbƴ|b6 oU7.ogUw$;xPcO"Tz_U|ʼ L"NBi#UR'7k%+Oanķ8 XyGI**ҳ|(nd%x9m݂2 0eN4^;sdSu!kEÃmy;*]ǑqUKȹ=2{_[*vbLu[`ޣXeglc7#Rh,xG5]QuXa>jf>S23GikUvdZO⧧ۃSyn}Pʋ4)mBA¬M~mM]Чo*&}kR~6S&'q NnnKyхOƓ%ƸS#&LZtYC٥7%WHRRy.)?.r([ܙY}vT,LDꦢH^Y8hYpj*A= &0^:M{9v(Cg|6ے B_9 bZKSG>Ĉ)ȭa-"O'`Vud+xVA(;Az}[Dp+Yumވ;Hl@=ŔWwf@1}0=687ezAMm."Ǜ\F)0ٱk[a_aąW<?dC1nhoq3lĤU7Nfo~HMè8q ;}]z lPIE{eŴ1Nw-kc8l،gdr+1O|ϫjeȕC/ vA2{dŇ_qD&mW75Ztn-r,kP#ș> @و׼NjSec-y2ph9*mI6ׇ㙌K߯^F)y7}NQ&2_{uUV Tȟ09S/\>Mi2,ZG8 8v3P6jjc` UV mi~rtuJoTظϢՏiV*C{7 ɿ$<9Cu:à~SL0"G;QxFb_l(|i{uC(]',[,\@=1Ja!r0;=Q'*JIIIe _|2H:In5"n/}Su>Iy&: r@C"܎dlVKrGC ;&ЉXbQ]VtOx*vK'39BBqkk-W/xI*K<1}@(F["AE>>lþJX6Ak9z!,6TT<;lPh&*(IF!WxAISm'fPrxVtɞjnUKtq $#ߕ߂f<֏CC74,MI,ҁhל%D')oԛWC\X7%Mg*RI7jSiSGg9H_ղ&dnX^R`l8VpůstpxS#$)OƟx,? Fm~I@I|F]tmFy;x7u`I\,C""vyUe#r+ >F Y3:t@8yѢ>W$tB{2"m9 rTNa;'N[>8LX F̦9&i)w NMYҐȅH"IY<̻vnәeYF}]F)({ot })GFڼm9 XghBAv$A Q!ۢh1hE?~Tq[qcL9uk>oƥrc~r쨚;1{Z@!ކMD=m0F( wvQaRҝW6#]4 agZ=7Zfo Dod5 m셈q\sES{Vtžcg"~%L xlDFΣ "{аtcWP]W<--fPy^o0a)4(rÿxlPn^h/`&hrrrP_QS 1G{qy90:%/fo64ϾHt}MQN=—߯T؂J>υC]iѶ3NYVg-eJ?g)FVo1*2!s.bh7S&5̀MY:͔p4&uaxчI--9,,*{{"+6{JC1@@Ο_]A\17Gplx)"q6R8ȱGI)I xCG&Ӹ <˥1}1=t>2"&xwko VL~QxƩ*[;R!(}QNoXw_1 sq;^0;[ yF9#,;6jF] @%8M =R_T7i \єχrzhD( am"|`ok-VsJOb/ڻCZ]_y) d'y|H~IP7֚~?f4*ܢ}ɆZ-i+a N>sHsG!nrg i h*SH醃[Y{r|7ZU?P`#Ì!ϫ1tJ֟*QJ,@O}LIMJd'@ sX‡Q(ɂ.83Tp3FEP pwIӸ >lV5dY]'H ecHa0ցWd$r_Hiv頰rYhm/k1r />+@t lnj ~WcRċ5 c]l0䆉ƛ L^l^bBU8IбXYU\ ৲r6T~.{W2}Ez~r>鄾9qNe^%ႎ0;`Ȉ^Z+'? <. K}PIpDv.0i$6A( ^N8}9N\FhAf[ !u|fж)g˾H>+*EUc bbz|smmšm3qbkQFs#v-|Gbʪlqut$`) Ëhm^\6C #2eZ*+נ1G66jU3QILwؒ"Fbx/S >%n˨.S%NWDŽ=,Q#:[@ɗY '+. =Q2 'D2r|~+Uw,;ު`!SmN']mM^*~w'5QgYx_el'ҝ=Q ƠT-loRFSθO|1h%e$wSD?L\)gt,T6`Na!L,Em]+7MŸ_Om+$a )"m>{4ʽ Q X]؞G"Pu&lD4FzmBUqԪK0Ei 1'j!0[;xK>K7^K-yzS;0 J-ټqN*A0ZVh^!ڳ rP~|0qەy2]F*˵n奆H ]'nȘ,Q*=nv]8aD(7f$+D&Uكρҏ5'VJqWqaY^笷k1 E;mFc,| QZ?'0. Vxɍ\.&ׄ%ym|yΒA0Jfvwy0^Rf)Nhǔg7 }{k`p~ӕ'9eu3< NDT cϖ3z•ah\*qu'Nva4p~e!5E vy%u5 m.o#3'hȜ'[p!c53+TwM2ǎmfէq{9 VatW-nƠmekw" N=^'smLɊOf28pEͲdBFfczvڀHޞ~QD1Xy#gMialQh<95+,1B^F9O:t!@/s"* 8SnS \&qQ4 M 'jצ8|& _֡7oohN.6<"Q};~Wp,r|˞MEF Ƽ |X:@oɁse!Muqnއ:wviB`6O^*s3wx!o'_Gdܛ.\nT )\rMN瀒 9?u$@ !"3(ɡc81WԌrQӓs$!E{c+p>?UAh}pryoL`P`5f1I2(3*וސ똓HkN o#m~G^m\65<3oxNn6] w畆I>n\uE(o\y[ūM(+)(3VnR͕Ue3!bk]+L`}mc z<v6%n=*kUZM;؅eA5kAV#~-㛎)Xj)`w$͙<I HK;SzNLXW PTyRknlmTK[縇yk~(p bqEl~[k,l|v:F?)#46mO_GeVF`Vq7֠-[8@|sUJ<|)^H44]J\69Gv嗐֎9--m;WL83}2 ړgvymJMqG|EBUVW lhKӯӼD{<渒%7Hw!hS8jX~t)1L4VL3_cC_ i,闡ωHHNXmrzN *O L?eHxC~]6!%iRXz #Yt5`w"}~k>ۭ@`t Og p =ecg ^k3`2&e$)"x5r1R;lN/z H>NK,,qwy('ۗ(Dz.~)iw " Z]ͤ&z…j'(ץ5T4d%~!C[\ z5G!4wTgڧл'/O㠒qӿ}U/(Ҿ|c#/Z2Nbx%x 殟+dH!;A:h@!EF?@ %0huRRti|n.JV8?Z&4E @)Diaz"J-J}sz4 Pr@\+;,$BaZ:A8?,bK:H2u#`Kf1h7;Nx$V2$q]M#by i.ni$jw]f^07@KkU i{ܢo۟>Àxi-^8:sUW/ͦwȏ4& 9==4{0hn>NKr?xڋ< qXk= f(;$cNƟ_sҭIkf\[CɞW21x&CA3G*i oy^ ѹ('5{95YϷ:79| ogjtYuݓF iFtȨ?b ~0ϕ)Sɥ"zZZQ!e\wQ{n>p0Uu#ŠOrRZP\fh?4[^!KynVYJu+DjTV?OvC6rRy ᤮ 4"սXFthk<c#ÙC:X_YվCe)߯K\\Cۈ:Էm< Su%>x.Ku|@ghe8P{w`O`K_IgVcmfR""1Muc T}DEA,TE7wq޵x4dG{TB$v~XT;XhHPu4MjkfpA1ݬ ,|`ʭ8SA>QnЎ8$vP{S4̈F2xn^ ]/U\7o'OT\$+;C3m[ z{ 2?-`Ob`Q ĕmvb H$dyMvt#4E#N. ӸH롒=wul[tFM*K(Y˶_9d,G]يҵȸ袡^%- ҇1u@jtУGYP\dtrWGl'h<.og*>:d J֦EJq985ޤ$`/CƈL%<FEvLZ y Ua|v\PbQ+ ZPrZXlEEyfɨy2›%mO~dq)L(?rXm52)WC&ޙ⣒C*>wQOl}5&NKw!~;ߗ> LAQBT$Au (ʁ9kq=_߼MCrĄB4.kKW6.G 691 k炤{f ;aqa>dƊ[ԑ⛎> [tLf}Kphu[lwlM4VDZ`]F;ߔu?8l1KDD31pSŶ9Q6FP@`i:gX2v}+s  ߤ_7ϫi#!ؘON! GyH܊O^EC|JҠz/"\Q.8(N:мۨez ȼg'Uh9Gbjn]z91 ӝ0ebfI$n}՟J7<,ct҃|cIoB2 baJ4 o32K1/ ]}ڌ)oſcļpVD/ -*K,ib;|M4d2 +N3lL `9 MC|^XJ}I rQ(#t&ɴBcsSxOf\:gc:7G5EG!z.ҡ =ev@S%EY[˜ZW.<J@|vnE`uAS).^hR"yux >~r|noCS-~3|AC׌EzANaWODY'wXc h a줒ye|Pނx(⹅= X+lbYʀdM8\Q<\ȋi333 LrR{ɶKPRp(rG~ZmQ*$O"{<`fnV(<FzY{aoS!X~Q}L93I36<4ȗ9wyoXe|$i}:gߐC̝]i]Y'saz.iН I;$ .nw[q7 O?>kw$+%ODj_uA*o!0)/Eؕ*Sߔ['zHwQ$X[{ ]3ή?Dp ëQR F$mgld=v:^[d"T. g-[㟃l` u{=53z}lf Ny@&RyԶ]a+h#eF1KDgHeQ꣭=DR>Px*|qFoȪsH@RwEGSCH7V k@4ugiLa6h+dn-/jY|JB ddN.Jd$"1[6dITIurUbEnΏ.}&:IM-C^gRxL`dL"yUd8tov98"W[ %HI aGc!U5PG^i9'1<Ra\G(DEhdQ%X>O;u,z^#{(-'9[UYIi 2f5t ޠS)&U_I=}B v/OgG;=\Bۤp; VF+eSS?qވYF$ Nx)3zsN(\y v/PhE-J0DŽ /P$pdz (ip0p"Ub 6Q6-Y؎ &]RzK?C!i@²?L`b谡Ē:'UBC]8 E^*-\`20XK>PC^*+A7h maz JF%jOtHY2;!kzxLsG:qK=Slʺ b-v?/#JyPV)q.56Dg6 ;H`ڧD = $}6=JS m"d:jȾ!:txʊrvx 1,`,l/Tp\NP 1u 1BOi$N8DĦ5 +[Gҟ`u.$={OsBlmXc^!;k6Q H5V󜴦 Z#UoPGJBISCOfLO "rɱ5NNw2zN1ZmnYT"1uB=XwqL&-M.Wvbgjv_k541 (COX>o($a cEdDW=+!L´(堿qHyO qiy]|Av0w\ئE4у@b-}{o/B⿧:Ay٤I[0|nՂHWgWcL\UNԩT$ lQ~RPikKM==*yϊe6K;=@AFEuad~JSba{1X,Bݟts5 eh=saR/?`H+k1jG %? 4z 䛌A-Μ) =HzX'.#MT8{Q ʓpK5*NTI% BDBLm0%}o1PfZCj*+%)mV$%2\nwn6Qe߽:{}rRHTQ.]OzCZQJ Ո5D ~)]Y=_Hn`T&u"1 rJuc@E~=8]7-VƐVǬM,'RcM@:Z cG8Ӡ0ݧt:W&% /:CvK[KG/ETDD|8cX/Rg RӞ 4{8+;+EA"|?ӟ1"8Bo)|o(pw+ݥOڥZxV$L!,ofG*;5qU'`f;A[:^];^8$v\n7g5HiBL?6Ƈ(:9s܇CTrЂ˛֫xe$ ތ%D>F̣ #wR쵃fMf=qB:Y1>n{~s%?2N"]2 +[̶E7.t_M_.ՈTA߅`bSvtWۭD{#x3ɐjOzϽidǽMQ4ġ)x;PwdIˠ_АwdwallG> ] 5 f)kePz>7{HfbmЎ|wWH(y̠ii:Xp}0ȄG*P"m?X>=(5%*Mt!\4P*(bFˋc:,tafQ< Q>) D\A)eX{R곦DfR|wEmm;L$aE.A@,aQ{#*vžN%)XulJyzU3o0m܃]\Kyw+#BYwbTvNAgy>C #Z\Ӗ&<ȬtigWqas2+HX#b֮|x7_7_ "P+!(ЀeŦoI{=BNj83zHL@Y>ʍpdGA8[m?^*+Њ2 vКQ1 B~1no(2F>cq2왃9ѾAAU}E]㏧!}N9-)=* ;`_+^-l!F6WyLw=ZlUVP:R߉b,$[S 0?HFfbɨ=և[fٖ"geDr~edHz0X^P iB/i-"$ ?*EXHFF,5hU8+ 4Nھ<{[K`)*෭Yi]6eм Y[ӣJa^N$zPw{&QoL:FF˛aK/3oL]hO*#L mBt'M:uUáO3=h Q+`|Vz`N= =pc?Ls.]t#W g%o,iG-Ȋ nBs{rl62һ~UZ]`%amͰfcҖ]F}o0 FncOj.պ/C7C~_~\=A~lK ϺV MvԳ]pnfv ;gH>yJaΧi*j"# lkV E兕#YZ5 &'jA8m* rySU-# mnvdߓ]KbP9}}@a ƃ"Oìv* xa;%F M H[|?1!'/s@AI,O?B3(rYڬtpn GPe4=z' 1w}%_H}- pNX,-Q@BЍi)[")Z.IWX+A*2œw÷HIukvF*dyۊ%'!MCx-?o6]԰t1(.f n8,*_^!0hҧ^=5)K\]!H8|wgIuWH H∿(=Wy,%U1C8~د]"ʳwVEktqSU,!մ'^ :jF*1eGU5 "n5kMm!0 %M58:L"!@18gzO3K8FIؗC؛Vb2Ki̺ Lt,l3.y\ߤm61(p 84g7ln^Ԇ. PB Z峋·,j0Y͑=8Hc>2Y[dQ8ظjgIUhO@I0'Lfu:<ە-/o+}/pz A b GdkZA-qSaa{?ݍ=6A0pm\pNzvВ4h9Q +wRXsZe(fJ:os26B fb{cK :L牌_ND e<9kmм@#J9SvcPEIߎGu> se~Z>9B%4.Z7$U̵ĖRnrAv^־ %`Dj%p.,Іp(!cηl>]|M_̰ |SX,j2!Uvk5laj* +̠3L-g1Ͻί:ztxX,e fQFIaݣH',xx*]23@ct!Rt هW2XZ+3nfţU;lJz˽ /9NFxԜ]. e|e(Zy(^$?t u0WǏqGD~ >T;Cfgz{.PO pi|^M|w3!=D餋ɮu%9C$wԯ X/R"En,MQkTaY|qi/-4i/TF̰Ջ`/" ӡA-!@#;빫~E,"")WK]UQ%OP+Qo_ŅO889U8V嚨zk3R~Ɲ`iP#wuxOb* WA7͏!< dB2p O]F\Aa?b6f+^iOOlʒݓ y(F:szZnVVuJ(}X8 ;^GC/ڢh2Bn\Ru5Mm<>7ieG͜EEo U¥Ci1ϵRu>-Y#<6\- D4čcQn4'n9'$6a2"*WuNC٠`<9.\q.?ິuz/}:L̉e`}g30 nkdx{Kx Pɍ{QJQDvW.A܀B3h$s~zSnmfz SsHyNpMuHd0~`T2Nn}XfmP&q|ٗVTZi?t*i9(TglEf ,YEǛpçE3#bxTe-bZ[F_׺] +[ l(|j^GFZܢ@1)TP`T(J$N oB&pk5-kD}`:]ER0oFvi#j4#WY٤#gUevl2RVų/ä΁~oP +wFck SM;]A?V!ޣVʦl N%nG5 *}YcmJQ㬇skjQqZ >_ySjN*^JWw;XټhZK| QIU"2tZ`S $YjZPv =(s-l UK'jkEG܃!ھ$ qˡW}^.* 4?%ŕ1=fI3s,%{ zEfTLPԖ'gWUW;5} o+ _Q@{giH>D_9JXfMPVFU8^C40If\ީRde-YR*Jl's3pؠN#H# * ۘ|at!oli┛A݆2p*k*bN'64zk*H+iEk5ܷķLT7Q9叏L<rB1qo@#"FATlH"9OYUdœ_-g K{;bpN dHTgO1H] 蚓`:AR.GwS#Gz[QQdy{|m+<\mO*>ޓ CB ~NQ-,x:a<#ʗT63|YD\k„uT,M7 D"׋8I>*a{Mxq.U kDQRˢ2"mzYV4' uB!;(v[ꋦF^"yM ]U>:֎3pH%;вY.[BX֥F Sk^*g>]3O00aSrpa e,wAMoDo&qd~s.m!jfFԬ{ù$ C^Gajb Mkvrͼimjtaj:tOy2d>gь%eҞC(O] lcq(*!86?)>2g2ke(P)XYxwrP['PQJNc7&ѱ؀އdiԨ_X21Q{yК9n[ %"V/eNh `J\7Mٮ)Ćh"QboBz>HtcXb|ϛ Z9%Ĕ3׾!MZ{Ͽ3띖9mvt !z^y-K/j+( V+Mc*^C@e-oGneIoX]qEs3q?CR`̛r'=1220y9iⷎ ȟwZL LΪi)QRJ÷,-SJ7BC$R7XRT&w/`5t6Ӓ b)wgZA{ B=j|4P $};Hk}r3u6r~76vn)͊O!<zQ (N^h[7pS^C ?.iҌWyl@J[~T\ `}7gJwf.ߟfc|w; .f&^[MU:-  BA)14Q7P!Oʼnoj(2̨եk".\l{Je C=Yp@m)"taWޒKABNckzu9ds$GƨYC~ 'Dy-~EwRL6EP|AkG>.EGkt߲nC S @ ؽ[.D㩑M=mW/`Kv&K 1iZBO"YBW/aYkGwe0]y[3M-Ir8]y^,nK ,zgXT߽|j)GTE6xmE1qfsԹ@UXAQݵm`ʬ_X/'BK$jIG[Eo GoB_[]Uc6&+k#W='GGHcY_l$P#@HeKm56E-<꜖"ga%G3{Vq&gL} q+:IZ~삧IY >c3 W KQghqLʰ'/)T1986q!`j$,t4p/)ʗxGMu;B14 YphݢDqnVlp@ r/K_ ug]Kod1Y`>r=ixMid%R*T8Z$YGVĖy\Gp=KLt}0Je\+V}#2aB9nt^(l2wld SrRjS)'*Qi;VZ& sغusjeܴw;Cdž;WJKZX8]Ėz&[@ ",Kjy}5eKKÓ[d?zjZzW> !Zcй|GU%K8`a6Q$hB ~`e'ϰ\ԷT't!2 &q=? 16?d,a7դf ]܃[>X+xuRTh +~%?kBxyb {\{(&5+:1.Op{ p{=O1D7Co ${E"q +eSg_0@s'r_(o%furlhȤP1anj!%3iο),2>xQ g]OV=GKZYW75eDO!ilZ$9Ecam=<8D})d|oF[ B! g8>W^0k teu1TPz /*(F,ڈEyI⽁p7z*[z?<b`C?je~Ԁ#*5WH cOSm61`(9.6C֔w Eq~lԌGA_Oj~r NK$eÃaR-x!p![r ,h "Xk42ۢҧ@v PGjͫ?rSLj!Xφ@(BPf0YJE{aGA.A"&jka01Mjz$GuV")vt (37͊dwˣߓu>p@gae8:X&'fnT>R(qaG }d}'aplS:2y?8ު>LjVu]1@o5?Z"V[gr F [QYU}SMUV3U9zm 舸`4SɌn YJ Z+wyt)Џ.p-2q#&>`q7:rG`l\IqS,hh.m&G\"!;MGuf6Y,ҭXv/#?FltTw&8ƐƄc&s%J{lkL1(ȝBsQix1h 劙䡴[S{!aw߅;LEBH 慲,)0U 9OJ'd1pB _+wGP7pr}Gu`]݊ZU_ Sj-@ U_+)RłzJ.7$XC1TW`vJ}glrZ>Eʰ/#e %K %^{/LKUn*Jj_D ݢkW^Brq>'d8m䰭 h"%PaY,P=3> ulq$'l!/F} l 뫺uIةe7V0f}1 Io(?kxybgMSSwPbMAc$ Pԥ-ZӜ%9DzuDLIfAJԂ<sT_PAC?hrjqpLeo VV" ,^:sCUdG ~I{."|-U> OnߙØ/઄(ulRhgnlm9QE-?JBIm0rFԡHvO=\ Uhjgpud+&Miޓ|n4s$ sʏUSxf/jjųk!ЛHwt`6[B™o''J)@`AǢec># @Kyn+s- (' ,TR'=Ҳd,)7;@DQ˪P{ DX,K"y(TRGcBJLu)`iAh jN2?VA1A <"XvvVK^8&܄k@-  phIyg Pqu'(x¦vYcVJdOBEQGnr" i<,?Pii JQ<<8U!:dJl2lI|7 _h, P;jȞ]=2'"eDCM3 2W*ztb)\Q]2žt֬F" ;@^y0DpJ$W`41VhW n~@"k?RƆh2ZFa&tL&oz6lꝝ1Ōh}ygg<+18%g1 `asL5=Bx :|BH_&rR5AbAc@4SJ;Γ7;85y,rmZ2c5hOVxz>ne%16s U$Z.WަIR5WG-HPÔB@'sĐ*sY--HoD*uܦBȬתNcQk$F@塬|Qz@͘[WΤDAAZ&LL!_K*8PXߛ"|V[ڣ5[ 1zhZTr[Bٸ "8^ 2d_+PUw9}  ߸0tC0. f7-4QVXw`QDxs:M/Ԗ"u&L\"xu؄GblY|-3WtiyLV>!$\9Nu~6_1086?TДvg@85xefBo]E2/$aaCߚ0l+Tߦ|n7Zrt%8h>pMݹhqӷ)אzTl^J_`>%xB gp9* ڍߙxWQQs2, +{Vp5s9u \v;$;7i JLOa]T/Q:#@'K7юϩprlvhmt+ЁҮY!9;6Pn5C(4vtgQDΐx hSQŦP_0Piq÷):u>?+O<ּ bteirޓX N/@%%'t3IVH@^UR ^UΦYdS M,^fN'V:j=Ϝİiٷj*<Ɉ_'&+𯽮oFWnTm\q"s#_Lx7e$&yl^1gq0y>Paɰ_yrskVn \XP<)<^\DU$;V@uGXn­ARSF >x9.ӊ}Cd))ٽ5)dXV!b n-2/RESWH+#Q6u7 IoʍoN^qX8wȮöb}-O\)=c: 7h$Spj""j܂?d!rܺJ~9iC=1aA=BYWx&Z8"n.v Ľ.]O%wvE"4]SuH(2WpZVCFv.}yual xaKgDAa:e8-J|[8BvLy$83ӛ^<} ֖7 JCxdt8_%u2k i(t1ȼJ߯qSX 'Yh;LVYxtA W@w rKwڟ.%<ɢ\?PN~ iI9XŦFŸ[tn#gڊTت'4LTSTb6:ӈT _X<6waT dL2#`#Jg!XnN"b. vT,{ߍU.3k4Z7\*E#ް}HVႼavﺤ>A93*^+ כ2뇍|\wi LRkk /}sn6jZ@\Kjf V;7jgа#LjYvLDDOŔP?F u<{U,-_q?PeJޑ(-LHJ(}S>=SUZDpS*'3~`fe#WK-nP{56{xЄ^f$(dn#on%YR~y-.l}yߦq3nV+f*a KRO̧^&Ί+ ъ]κ')#y~2sm/ю z @5! چPaF9ݟ ~m9YTxo wJ $ pBpOI8qEjy;-O 'x@,R ]깋$y>otcvT0ˆ-AC#z#OquSLSc,?"K/U ūb ?9t獂 L*F;CJT]'&{/;2/ m'X)Z[jD{Nk륈grD(4 D1Zڛ xTEghHN%֢ xGi5#X (&mΔYl͖ɏq)FE+&\hH%rM4& 4ѥZdVC">C +M:*=wRJBHS$ K| +_X7]&'Sf6-3Fn&׶+gYZ7zXZִF! `]ŗXiɟC3zto?;Qŷȼq,S6NbhR.^AME@'O9SDBţ 63I }eQܘLlw 59ɨ++VU ;`93iaj4( 90KK0iiWlR!gYZ7zXZִF! p]ŗXi%L!l0/Sk3̮Ln%VJ5'6O>4r7h6PϏ)={-{gDCp.[">?Ai|\= ah*bx"$f$y؟!a2nMDX׵xkҲH/y~ /Q4/8r/p^mtMl;Uixo㘃>a!)ȳ-T!l2w(Qw鞹րyՍT3ta'2{7t0+|$)2:΀N>.?M |V:zp|4Z|ڢ" Mܚ2uO8Zj1JI8?趬@ÛkFQI:-qVfӄGh:D Uv/25)ۍU>nr➘9Tdd`:Jӧpu4EG9)\|u+?Ye1y#Gx'xl2ݥW.HP^ % 1LUBTQ|$Q%O ƪSҩU΅)BZ{tH(}P \\AjVgP}%cvecfo= ~0퀨amJ5FBԷq._\/:1\Y 8o?oȺz%H* Uˠ&,;f= &(,R4deRa0*-x?Qx}zq2XzueLrՖBChl#hLѡz95VQ&f s @I]ң3- ߾gg_M+9th^RDusr}4J$3wM>NꟆNi2ӛ >y{yR'&jU?:vmkT 9ːMZȤS0"c\21z 6H2?bbu'ܱRmkVEG/&y8QĘq7 G̬N%ǔJ3j߯CI?&`Jp ᭌLS4eaBon]M Y]>mX-*ޮΎPíQRk_g/ ~œwFT-מ6Hq!#'tp4`V o J^cQ XI`9%FeQʍ_ jr: } '($Ob~KV558$i,oMɵS,@ܫXLؓ$q !k;j?: $7LaIST"9 Kr}&f^V:&A'm%V,7//S+h7: N| Ҍ`oLh^н?}˼%JzH C#侀 8YY5F&v/K~Qй{xa3I?}d3Imb}Z8G#ˬ HO-A' e1RRg:<18!*o #{<[ (r 8+SNrcPKMd]NM|F Q=`JvF Gx?{Pnr_SK,(A~d:L AdݤOr )?tY l?-[ eRnqvH>JNLE#qz %m{ixeݣY[ a*=b';7 Ywƹ_JH@XStu,W0)39Y8ЧWf%hW2`/@TU2(B (Nɨ6(s.(A% Pa״\dI&Bn?+!?<nW}O!w){yl6%$0G[5ygb]K5Dbd3jfu{FsӑOƳG ّTl眠`C&zu{2,`;qCՑIMyKlW_v`X)Y&+`˓'!w''7% vsu/ElDŽӟNlڲƯ ޙm^}D+nla U19r20 *WZJzX.R%SRU