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  )3\D ]% Stochastic_Matrices:threads=4elapsed=281.470cpu=788.508gc=45.404factor=2.807zXZִF! ea]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^iCX,RaerT.\ljCl%Ghc2ME#.Ke9́P;P+\ 5 #CXMFxD2. 3hܓ/Lޛ_yRt\'8u0ul}[m.枍LɓC[:iGҽ&rj~é4f(Plx{W uæJWbآ)1 !pӍ:ᔎWoe]"$=_.ޞ1@L]@X3&C,J(v;y@֪ qt dRVw7x(xe-Hd( dƯ A*\#>0C)gǙEVGXmH!.(<tsbpѥ\ػpP\Lf^WO'hnۄ v$9,Ėp"nvm'i;ghX>{gQg~(-`;]ɵyi_elBcOѧ3\܂+e %wBDxU'l3U:ns%cwjľ'@LE,Ta~Ⱆ=< 3 Stochastic_Matrices  ?1v_h"Uw /ܙ]DVЅQy ]#?? X ^͵n-]DT쿸42xAͶ,1-ۦC 7 ?+Y.\r˻棛Ρ|o$sR=\27ċ^h=*SVѴcB'"ΖJT,5a$0?1?h81zJ30x= e)ŠJN;vVhT',~Zu0Ғ ou~_D T_TYvX y[:U 3RQcEA'o\h9={O ){.\X_mWp<ƶc{], nGҿןKz? L4pJ!j]sX2O'O :ԛP[Cd,ɸMl^zߤ"NYHRG_xTL~jc6ڗLmҽ?䍄D<;|=GZ{W0 m xI/}Άy5|t㗣/ u JvhJRó)n*CkYEz#5ؑpXl)~ŋz$ KռVtrEaKss%,Fr[:w/ߋj#"܄h%)``$'nѡO tnbV)I<JZ\yçAd%"N`&ݾOe 5U hDE:AfWO@wBЊK) F HCu8hq A-V&f;6Nފ"N;6n XTDH]0/)S4q93n'ծR^q!T)<kϒS&Ci2x f?]"8i',Ez#az>%x(: _@{~3`)sn ,ZłfV*ii"sQ Rո9j5*@xcǯpoB]띨~M8Tlys j#8I*e,..nۂiCk;￴NO^Ȳ')i'6Yf(*GE7'akZ+gEe'Zt kWر(lᙾhwuL6}xbxs`V6d|Ym6fu(`5 ,RH3Lhqð+amzfZw,p0`VɷpEpu(N"R?pcu_3mm;yPSQhgnFTowjm1*Km`ncmܘ<)_$#pIϨ˒u %#"*tgA'X'?a'Qhm@iB3obGᰡ"{ڇtCv EKR*<hӌWGy(UV˞0N;5Q14X4>U3CerJ,|l,z\"#̬b?.wi . ^Y~¶bU3Se"T6jfY&QrG15 $ܘy6_]LUQL3( K3HX3BLb޶%²$,Tg1`vΰm[U@66ՖQ:2c&\@QSw'15NW V w}B cWt\*նXmq)5smv$Ǝ8ﮮ䞛bmt>4 NL vnMa8$],`s%D Gc؞^US1 _y+̀]YJ OHe' 9T,Pu!އt]SP1oAћDems^6t!'P0Z)XvGi V 9Į8Tൢp&q28nr3#TE()Ǵ1ۿ1Qb/g?Np:]Mm3d6jRn}v"J+Ez؈6h8e ] {>}tp>\ 5d "Y7 ]BR>#6Ww^]WTae#0o -P\B頻z$3]:(὜MN#: g~.6==tz-Dԧb?]:!}0]zd6H7T} LJ1 ΧKy(2 bY'M=(.>b[w)tmxɲfDLT%wj(q:8㹱*t-# =FR@F-!~}́fޙb,l\sKTк sNF]_}j­5ZmY}M}]HO w_'cD\ Y:7 #$#s˥Ҵ^яM1<,k &hSV7=Vwu9e(΃N2Xy=3F=cEvhRD\X\;P,Jܜsoc2aif=:!uPƉkjvzT'3ZBj{\5Q6ķz "Ak^Й,̖k"IKJ20aDov EG2M @ɈN3HHFA͕'G80"* B@iEx[N܀\`/]W83F:-?94\rNEϖQJe'M`Uu> 7p4zwfgST؊stw#73h\UVƲ1ED\y=-%N˦s/S6X`X2U`:3x7ږ(BNJ[AƊ [QN=Atӄ 4ßEY ~[8SgrP$^4 |T ԌLYVUT.Ek/(ϒ)oyb{+xOII aމ./Fؑu" ֯Z\&ƶ:V5^oU!d/Ms-g_!2hk(2o2A֥'[E4/'H]ٻs93(b$aռ\:7k]Samu-La!}xjޛp(/ ;>pZ#xޖGһ0X䁛Si F"_~jUoy=>#0s4ra{Ep_C|/K1׶[˓I)ƫc'%et`їʉI@e5ZA)%B_Qx8/QէYMHJ0b+N' 9{JI CąKCŭXKPo^z A@V/.QkbQld$?l?F`XCw ٿh2<0qfo2X`\6fRݔ)s0%hc_Sݵ=]ZRU[K nZjɘ ǜ-lPS @/zULí{6u,j𳋲~x?h-vhߚxM fӉ~^(cܢcn%Qik&IF"qX@'c,Ȫ`GQ2?M+,{P+J8H|ֳT;!Q:/!* O\\5ZI$ d{fs7?HXac& C{-Ïi%(, H qD C?d /jpgjT%x&ž*^{2[1,>1rЋ~5Kīa+]BEA%g B΋ [o1 %P7R!!~ǯB~{w-rA}'J͊ ק LCY^(ϹUYdX,b J3Fq>NAR5.T3dC9YcsomSS@̘<"s)|]m-Gc#fbS<8{NVvDkFeWQ| VA"OMҁ.Q?CYME'gfUPc{D{㱒ti)p_1糄ܼ:_׏gi7m/i:msL`fc_aZ)dys OWfNBJѡ Lm A_En5dy w tQFPNX0YgPc*)4Xfތt\#Ha=E ^vشj,rǮX-!e銧'eΖAhה]t1+Ht yBIdtdfw"šwbQ5*R P=,B;MjțqׅbuS*4EÞbp1ytZIgjx˳vj}DW2da`(Ђ.?] *{}{{"^VJ S0,x'%Y=Kn# mmp)fr4 "t jiFz NtP%0^FASʍ~)[.< rO#?4qpnAr⣷AWh;^x`QiA^hp хQbb8Ud_Y"u;6,E=$Ym b`$_ Eou[-\F)c]'ZSG3OH]ntm$ 3Ŏm1bP2P* ;UO2Uw < m$uG^>%P&CU ƘbN5io d D}6 *9@"$n q9qmKp ɑ{ȖEaFZ# Ѿ4`Js"$O+ҹ=" sm> %3b Nqv1{~2A k%Q 536y0=Ss-c(+KO4}"cd{$ ɰ|\5:ű/0Ό:H-hp 'l@/Q ̰w03v9-<#j%tc^1ΠB=%>?]:E)9 -3*̤+\ts`5F,Ė;N N4c=:ysj7 i6ho zUC*V瓵d$;㸋2&(6-i0r .@6G) -sccWAb̄ 83B5uDհH ",2QX`'0[k} #:aR=ofN ތ ~c?c"1W' '́`m 8kқ*cT=kuNhv-KWz@`gHAȍqrk-yU!͆Q@z0i`峌F⋫ȩdXl]nFC@GI*V|2.MM#h0*eAEƮVlc?xh懃v'>`)lŕ(xHP@YN&YaY]-;N~{c%vc,~c-w٣D`wA{fĈ~Kf $Gf.Nc#"ypۚKJN53pCynITD?k=m"frRh;v"]ܮVUf8aI7)# $W(Iiר*ǘ Ueⷊȹ+)TOIFIg&N-\@'WUgYZ7zXZִF! H]ŗXiɟ1˦r!q=4!pƹ $7$(.x}N^z쭔QNY1m>Ѷ^g%O4-k}Fk>qAN~h24+Ҧh;f?Zq+@? :&F⬚%(w=#㓺Lg5}-,bj9\r#Hh;0E/l:iM=1@6<<D9wÑ2]$ ?%G@?mkjSo}H{+l"c=x"QT FH/T`kD]u bA-H:mwItL7mWa8I:$2PX4Wodd'crDӬ%|SRe큱x\59_=1YU!Jۃ򥊣Om!a:e&_Z;}MMkdΨ2Ek4[hV̩z2=vn.RkI"9՝~#Jc5݁ce?pbpΣ')Qx}OĶT J.E"CS(g`k GItѵJiTz5场JC|7Ώu`.a ocnҀrR+P6mU$a_MmEfSFb&<&Bv?QdT\,yG.w eQ1նTLP<{"̷9L4zDw#p}ŶZ$LKo&g80cWpi"!jux8B/,W sU[z L.:-}~fԖԇGuONP}]daV_϶FYSA:8P{m#7$EZ!|@d%}κ pTFH© ɽY->:DMLDOE'fi5G[: B~}5KTo4eF5oi%Iyφ*)_r*n/~C~o`[2f@>([=uz{ uJt;l07a'kN!4[`GD,YF䶅. vII`EBS 烞'T(QJۦ,uvg-9 b)xc&]$rI0-pi=a8OvIuYu6C:ovy&`8fH#ckRSC112[7hE)<eRޡ>Xx5U>0d )IngYZ7zXZִF! ),K]ŗXi%L Bn*>U57-nVߐjD8f^Qѯ@V3?m^$*;_R;uWj4`FI1SzU5(peK>ןUy^~ G#&g%}!A`4g,0@:9nH=5Ilʗ^DY grq Bz 8GШ 6WC{e/ Wl$DZ<|$5|DtOkxZ@P%:sAM;,W:Ux{>bi`f ..>Л[ 7Uo؀VptPW=?j÷V`+/&Z-l߳6 ۤ{96dLuF]ݓ5 Z.bu2;#S'qhgTd,v~zH/Zɯ>/K_j9M>=,r,8ܓLnQ)n#ǂȾ_k^ծDu7o03W$D|7oǓ)drpW3Cu޸c ym f2njy'Z|37E&;xΚ=Eu;Ђ\0s+q:g+J,Lj/J9 O,W"%Ӛ;2( ʀ.XF}n HoDDp`:5GGѲR8N i*ҪMAa: joTxV+ 2I9>1=tڽE%',ۓɄ#%qX@6мQ.~f۰奢TCA\jU9< -Q3GI8.{"j K^=ٹTmK?o: $DESg~ɛyۗ}"1sI"MR24` |ZjxD\vy#VI4iR[\ƺRL&cހo@̂,QU{*nаJ*ѱ#oP+kL>Y`tf݌nk׍@tuvJS u2afDbONЍkflU)1LShb~#.Ig\AU4z/j[K缫 ]gT^ xn)L {,c$S~C̫Ҥfm+&eP(ZktB"S*^*.}ܳ(wjTkFA.P6 c%$+5_CqԾ>.v"?,<4m- @FhgDXV#wh5yDX.sxYhlY,D2ט#i7ةg&)d}Yejzg򬅘'$"a9Zf163F2NhQM,B&Wp&Wl?srzuBes*F}i\rgX1]UPUKτ=Ss_(md-wdl0Tc?w1#o{̸+NIJ/lWmwuc CZe"a!@)]rYaZf)-ncsD=d g#+hWrȟS"NKqt~m6/ڱ=ĻV*^: nq 48|3+rW/lt+ C hA-o0|p5nby4Lj"z\~]Nr<P8 8e%W ~cw^V_>261z ;5`}A:Ã.0ĩB 2% S~ _4"oen{_9?:st-Z,CfR͂__I*>a_w !'C~MHI}}вFBhˋ m}d(I$:]}:eTK7ĂoH%n)T]fDv` oұHA>Kgʽ+}A>`(}= O7Be}Ǥ5]=Dpg!(Rh_ƺzϿ+ Wf0snr5XNHA4JGg0)ۻ ٍ x8 Oڒ؊|.J>2!<^%g[աO1gFY+xM ˁ_BF&HK">XR\X,2 TI ۍjA cw+׉Jmr,ЬSn`pl<;Ne)W`DS%E&,<~ VwA;E!LKHc)a% ͣfubOsX1,3IʍĐr(F, A*N"pP@l5 =kh U_QcC4a2@+ԣF;2mﮟi*Ҙܪ?{/I;@oڟnšd;`[~ [m僁;WͰ=w^ nҨop˜"*iY&[9֣IQ @ںCPP9U m`\ۮigrF"a,ƺcݲ\@hbh!J`k#}nͶwe%m :0lvpfvQch<ة$!L$Z.d{<(6^޷D^JX^]]_Ӄ;|#C)NIՃ)+B ⶔW%ZI ,,KL\t@_݋}adtB"32 >ldK3c3YJmH!?SE2d6*``cWe!ypD lKÎZ,^ѫWp_orʦ@,Jˁ1zG\n-%OL) @ w4ڽMk6ӣWy.f\3=.I{6HƟ()l4SfN">i/Kn?[} ^ʦ.=1B,Kt+ C ?sͦZ3:mq.fy%ot1Z.86.d"2Tz‰uC,A9xf'dڶF;~roB?ij=l MXK#-ʧH“FfKt)7U;(+$y A hn~ԜAu.(dU(eDFfSb|`5lEP+!3fl6)u91)jǡTUG[qz^.r\܎WO[ 3< ͜bh7T|l 8cKZC\p7*Ok9A 7: .pfc+<u׆LV+jkPT3WcLMk!f;$kzX W{PMɛOiwZ{z)/VF[ jA!] *QǴU+%:y&E)2MpSV__DE5Ja HMlFy[[an◬M"Ro/r yݺ5GןӫࡷvIc#.pst4uċp;Ş=2wUxW".$!fh%DH/7唞pPJBIɩѺeY:er翦sN,\uъ/9=KT}w)WUk + QcPDٷocBpNI))髜9\iOY`;V]9hݻ=q;~Y<ќWv72þeH(Iz3vܫSVەϧ w_Gw(xѭ<+VmWuac|`uC[6U (JB)ܨn6Tek:noD*{T"Z"6+: cn L>m$|D.I3 U*()12U ,`\[a9/JŰrո`MceT:ȥXbǎnwӤyeLޤ85j0Ϸ t3) QJeިLJQŠ Ki P.*RX9smֿY6G׹ Γ0_da cj5RY8(ߴ f7U\`6p2f ̖wRZ<٪vpۋd͚ߢr52Zi`۔֪ fM5oPFX-Z d5mwK+)S]xgEV7%!@YMM%CzuaQR,YwZvrHVLz zZI Q,?尮,NGhSQVՍib [uFG 0ŕB`_ ބG`7J\a|V.|jg^|lrRIޘ.X JzvTCS?ʥZ'IKd4$傑O8}S׀IEH,vWv`Ǟkng&T/2SaӡKQގB|u0YYlu&)$OusÓ P$2 mQ-ie0EEޥ@w$cX@QA\_M۹;IS:&e)ܙYNYy$gAeP nhdl9 mI=Ř 18jNOny71 )gnQ6o 0 YÕ_U$1W6y69"OƵ&HeQ(l(h9%9_,UXi&:vhG'[G-Q}[p'\'h(οK0>"⃷ɥ/TXYd! aLTt:'ZxF~r!?4Wo~9gNjYdPۍXUZ/voCT:r[4b6C@FϼMC]PI)ip0m ܭe$eVt{9FcKAPFSl!D8:Uo^[gg#G|y3 P𫐇aޅug~8T$@~YR!Jo4?;z`IJShw.aK?%1وY]kh4Phtw-xʎpsϽ[Ҳt]]]G'5Qmd^uD%st^#ab<ΪGòJV/'j&yiɡ:lJ8 w+[v$i1[>ge01H1'*|x3[)^g'(/ᶘPf}!'aw% czB3z;7@cc+ӇAaKdP 7!~SU#əhR Z2d,YBe锤{)ar6Lz F1'|b*EEս/ p_`]9ӢX8Z8fG%ll^9 7{B2=L{f<^<5& h[vN=H?l91$&{'S53G[C&~9ە/=.‘a|2-(A7h6!Ev*Y(F`-J4vKpnY@lA6XgPj5A=O[r;p,>Z[<絯fS5&&I!ҵΈ8 nfmh4S?twb8Qj4pcfîCXq\ 7ޗQ1jATCjV(cӖe!uKBS$& a\qIw*W; #й'D(h6^do34^jF"yղq *-<&g޲pQx݉>P)7?UOaP~zyge⒤ޭ%M}peotē,L6i!b~{G5&YdASd=[F{`Ep38ƘJe؇Rmm||ٓSNYͼsZ5Cg`>>l/ΌDЊS8j;t&aMov"[e[F"DqXPe|]J]oɊZ-U;R:[׾K{65 d>ݰ <*'ٵNy|c`XHlR|cs g!5)4FeESgpJTF3' ~sגB I gXAoQmJY}&&4E.g ReCM#q۴a;*gDZ 9"R؎1{Yh7I]Z ooc"ekqYAe哟4^ilLiqҋСҢvҼO&)Hl09&TPAN(Dq*K-B]SYVBR~#8G_x3ʗƭig*#Qґތg(a?r=HHbu<#&DUό?[ޮ\A"f?.`G8=6j }|.ߎU>^97\"IrPš;P >Jg\ިƥ#f'y'\q'M:-̃>0v:./JcyL;n)j~ǽ)/oh!⸷ֶ*#;!⋝Ռ$`2x{>pE 'C+VjRUz19c诩1 D3@SLa6흭5I1‘3آH sTr; IjKARI _̬t=&lVSW6pLThcQaP@hSQH0l CG@WsO3_7Aj| ˈ_Ax.et2/Sti[dpv\ o˔6uڋciVBݒlSWąhjɛ2Y0pQ,yX*Sje_[Z\'ƙFbcW㗗e]ځ AdMԎ=ﳍ0:sׅ\/.‹odI@/>twdrsSk2UF!968B6FH=uS+ 'j}yӰwyz3 B,—P+P(`K`g;#1"ۇ_{~v⽌^!9$DG @wqEAWU`l)h*Ӂa^әVeԎ%!ۥxhYh}I 9m Оb +dTwϊ*Fuʝgb!>?]ch]|#QlUG/sc0r~أ5V ~(Vym*]vMږμ,~ ;&!$F3Rܵ0TV(1amR=~]Q[7Lo$+nTwc.?u9l '6^)Wݰ<G;}G]ΟT^y}8Q D@U a4/k"?eoNFvY]|@2ɪɒkb'#Ԃ-C!Y%@Zv~<"Byx=2 ~F(䦳.2_Wu/ܢt:Uxb}82L<#0o20}O%HΦm$ùn`vXz|FVeCus0o!č3\%-Fm"LLC#@`LM:BEUmmmU~ R(\@fBCYm \"Xcq5 mCx !}ʂ_ƺL~n\=/.֠q՟0% CHM<,dw ROie U+9]Zc7P;jZ[9EQg4 5uFR\hϾH n:; TdlvʤRc= +qGb-^%ז&NPdVJ0$>O?:SW\]HN0ŦM7_%Oݴ%w s=dӶLhl4@wJ1ݴv]lGNO(?63G>tCY rZ%%-vn<%b5|TXnZrj 54׈mA- OLe2 9JC:__2'Zb-zޣ9O!牪Vodj, EE!d701F/ҕԸ,g,2sQTdZy[W(ɱ%oCƸ*h!h'_0ѷ%]3 FI(:}ʇs;Yi3R>| "Mds6H6k|A;`V-W43[g*zr*\n{vf" w;D4XZrъ]=,{~&4,wr5,mw"#=cAe㒝YZJ̍Q~\ʧ5, 1T9 aiPcDPx,W/MO݈N\]QxN1b;# UUd\C:1 E=K)Dg"`cǗ -RF4+Xgs(\8Z~bi%HN[(]ڈh4Ϳ#4]-;X }~bkTkģ}}XzmzeDžBZyҨݩN/vayXQQ{}tfC#kudQ|J*ƃ~t< 5;3WSW,5QNjS CTo DikO6X#i9{%D*)yo?7i|`@=(dفPY$pi.1b ]GY2AgyJʴaÆڕܧEQՅ&UG|Hf~GSBvK< '`l˞$ɊTvcW{i]Ŝ|XQe b a?vbqh+TͬN_+B|Fxk_4b"?B&SRV<\'{NJBƉ3#+(tv5{诋^_8H_My4" "aΏ\>.ܣ+j H~ub`Aa6"!QTXK}y]<__ n/%9X ;ѯuяܐ"۶ށ?1:%qi7󬔫dPZ‡e}yMQ;Mwyz> /tvi-,b#2:7E x' >R)]Θvt-`\+jΕRC1{ !pxv3uݬs~|qj}ntj|SR#GD-̡wOCG7"05X@.Კ=0uSL]֘],FLoB@{tjT-UfUĘ2z*H{tu3VyћZdrPmkr؈TzD17ƫ|(_Š7aui̵Z˚\V9q2-: K.Ak0U "i I? ^w:k k7f̦ ļ32ǗJ9L8J0Ҳ@܄j7QG -uԐ?Zis~qLq?W9 v([xSӽ?1:w{7S\2:9ww3/uyC/qV:1cŃtT& :N8dpu76l(!aα}/,e/ G:qb4:G9P}:.]\dՐ.28%Zsܛ]B>`N]-,/956$)ipGvV.4 B0x,ΐIn/&5޺g?hT)Jnɓʵր C]L7y*fQHPƤo!82^o;^صpϛ_qw6h.Zk#3 ɿUG^Er^9wb\60SKP^'7S_s .zT< s./8)E F1VWRQ){we{)+@ꐞ6S{_*Cqv^ Ix`eUHxfߍHcǞ:" ZA/B?ЩEVL>孂}G_lT ˴5(5u*0kί66 l7^ն(0e"1aP<aҰ$Zq 6q$]C>D4LpaYZq5Ȫt]ƄitQFֶWvlAs4VHPz[@R#8h-e<2D\fLJ'ɖ]Ŷ#yW?=MւJ8?< UJ8I,Ojo&i`\ VsRuAumH\[B>1l>Eݸ|d[Y3JQDvDNUNi=.t81*CVsF3=:K (;?-?,| K:Afvv[yZ5"QU-N.1uLZS2&?[69 삈䣾ClFF4RWR q8R]@W[jԣBSjѤdRIԹ=*b^Y63zF)9fƯ̄,INcpF\wRv/~L;b7kZ%]u"Pʝ)Q\-aK`Z!Cuׇx]4l=1%%IJupԏ&DL)WyY([q3@n5ŮG(NlO;n֞沝!~?b>3+EϷ̾v l̄eg$Ԫ*4?Wz??i |ĴpO '}QRS7ڡ@Wʶڇe߹O>{xdxriǩ܋C1^Y.A0I~gwn<*4N-٘ *n#B&H?#ݱZ?=+d)0MQyEغ?Ѿ4\ZPLirqA<ȕk^@ ihOESf&_r\oLM1([O{ZcރI=JG'IU{Q) Pa?f('68;N04/1n3} qsG ̢0:&(׬]'x{qqҹxoE̝bp7DbUۙcQ`cgf!%rPnq>&/3Ra˕ob"cnZ&+A+(&'8% NY', SJE.VlX -S6nӵ( vq7zӰK#Iy-Ac${1W㏅vRжZЩmۙu9^h#GÖ1êK%:%8)~*1Ɵ}4x7yDwښPN\9zs&NSɝ7WVf<Y?_Z\PszM NjM]![l yŷ|FQ˴Rwp:@kqN"{Db%sK/(B)#_W nz7i<:^i1Ew Q`god)yOeJ3mb)H&\n@ @.6;ѬI|t71۽QVpąTibGO >|L%* 30zxyj#p{ ӧOԀ4A >fhN`VInwG1MmBG(K&"^Qg d4qYP/x N9<Ǿs@.Ċ}^f*w~*% "p|w,JFݸdxFRxi@^%X0L q 8]H8:׍v $V"N9y?Q}If|!K߄SJciP3[;L>X 6]lL_ QȱR\&[ALO#&0ߟÙfL#/_@9Vvs=/Ay'5\>4pE1k%Z/3=:OR?a=u'al+H3YL9@hvm (A%z&auKr/^q<n$429gYjuܽ\)Ŷ]dS- Mzl`K  ׯZt,WdǺs25ZFIo* oKZAVBLs8D4I6Г8U].i|(RxX ߘjvۯx)eHSVD fjviXaCegNp ]].!zI&@ֿΒa 9`z w4д}\:#]%g8> <'LZ$ vęɩìjMo:!`@rbQ4=%ﴉ{; I!-aj$t coy6<#a*nmyggg.=+_a3XIZze02)Jӈ$lZy8g*[x,|5,fEF0^ovQ@8vSqseMjhA~j`[MFHT,_Kŗ^gK[Z * s?o: ߜ] u)9;1m?Z[jCQuCB^hټp*HӧܰEb)^gCG缌W/6jĝ[|3Ǡ6&tV_`R>ܜ H [=->B}UHZ) O0, y@FI2 Cbax~‹_`x^>/G/*.b/j&Xڏp ^w KHzT ~_@vw3ÿO֡H%֌&~0'7?.r¢6֚pX&Fvg#_Qܹ%J!p"X`Sྔu2 j,>?jⶨ=k!0;7:R68B2Kk]F=<|4t{(#LU DkUR+=ȓ*Gw \ #]mfx'S2*WG b)6@+XWxArTi5-&H&tclԢԓ4"4EܳnRwb%Cvh1ɜm6-"G3M_ ~\N_ 5in}(n3GD4_\BS0<'[tsu{B/,@}:4{YTAL46˵cG얛A<謁'hi.T