SQLite format 3@ '- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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  H1 L y% HOL-Decision_Procs:threads=6elapsed=212.330cpu=826.228gc=80.628factor=3.897zXZִF! WR]ŗXf1-q恈ŕ׬[p){t,Ox𳼯=P48mc}>PWH811.3Y1*rOEb6,T E+A<&f2fEl:yKt:SEl SQh}ZA|? Kpęnm ֺ$)AOWS3U~a3'3q%ɥE,6#[Qd8m$,/G֪c,MhڳFj{xBu+@"6㺗2>lH-B5[L~uLZ 1!,WK O\CU6ȋ| yU|,x`b| ݛ-sH9p2b~ZWM.";TTW'R{eKb$s+(egn ~o ?.6xedX/.{+[Jlr5#_,t,rM=*yYEȣߣӦ#"ّ yncmb=G [C ZǾFUy.u=Zxs>'yB[:[%R\"WQv0ܸR,/$@dlLUp). egw5[jv7ًzvɧɲ-V{hXI<$-Bl 1 HOL-Decision_ProcsMN#nVQgnnL Igbtևf{(wk.wGt{6|4r1l;*IjM`Est*j!%3we5珨(LsSU?CS@y!Iqgr.-p|jsa7QU,\D`1$\>_yT9aKr8e!$`ȏCW|~ɅE.[߶USOԌز4 eD kv]_( 2͒?:$Jih #u~tUv[kԩEge.gxJ\9q3zh Yp"榇C ^wf|uT28Ȁ9te+[|ɺܔk>2o>nC*ȻvřP5ZE~:.6 ^W=Gw#qT|/@\kz|XV)%RBjlyG\-eEWsq24 dH7ȺP VjL mc.ޜrR(8I,}+֎9ӑs`]rtjq鮁b{l$8HZ_ϵzDlo^x#D_ovD)3sHfъyXye Bw E%->'N7I[XjRgbU 3WX|YF?,^:+zS&lZGeBx\xPD<)'8?a0gHً< e.jing?)F()4֓!?j)`y褶^t֓ nx F0mEo O iY@jx4-Z6N~_D I8aj*'Ǿ÷lv4wOvl6dE4o94ZG>DI,^9oDyr1Ia٩/(M"䡇ATc6VXjH^v^[ےP!9}JZ3ri0Ic Cu`3al,Ȅ TMʻߒ AKh$8.9T ;HuUQ;1xe?Ha?L̾W%DA(c~ʨIa{}OO=ƠpF6=n)vvƣWmISgX>5`9J|d6\4"Z;K-0;cӟj0 ~H̴8?;G#ۗm5)u)k(ȭ:1q'D?-3aAƌbLn<C~~ah.\'|)zE{W|GYx!p h pK?i5K@o̶k$A+;}B/ +/{-Xsw^TGTh<H Pc!ک`WyYp$_ 1ԩ.)6CX[V3'C^x~肔 T~菎=/9mџ Qt!ش%+u34GUϧqu mc^|: {f-@,CGQBGˠL}BBP! x;Rhu,kib D԰7Q8WhH=zA̍L𸬲\RW!K. x6ա>uΩE@ة7ˍ g`( bJoĶ^Rw܎]dI ɅCDвۜ\蟋]^Y|&Li}k W+*(0Xj|H+CT7FK$&~u T "M-) 8塇u>C!W%et[}o w=%¼Fj4Uy֛{YER=md,܋@I"@b9˃^F ]Kg$DK" 3KM3#ul *PN]qmLv=9 <4El&qNDMtWK ?. 7qFx9QjJ?$΁wBa胄zoW$>` ޷-/^aUS:塖ɴ@elōʿ~L (M$ߧeO{/闄IQO-w(IAg'{Lʋ +/?4~_שȅ l&+`o&`1 ZW̹>=ZA%˾JQ&5|qx~T2שd/oEfF,iy?F:4L I=C{qs%6i8UO5ԱB"(qYg~tVouX+1^s;Etm_-oh>m J'b鼥@j 8+ ak* w'wt֟v`3a-N Rak_fJD, BB9&;NcZ$kw ^ v_YAx OcnsV | du* ZRYq[97,XZh}> 3bٚ\עfng.ɦ^ 40N[gbP+)B| c[u~Ν{/hJ\#L;e[JU ~e[ *E)"p\Zcmo&o՛KTIG9"W+{4Nk/n o}+O9 w[U8ΰa^^yf G-gdW{5ǻB_Z}3 7Ll!*AM*k[]D%{ HoiN\E하|lj -~3"r*wv$)htn LX2FGtp?`9DuGpi]a?$^uHO Wz"uŸ@ dL3F6 .rd"]Xxf`Ƹ_kEFk*Qfql%;3FMK:pmeNgx~AIXVAS̡;-)V≇iؿkuTEt:2XZ/hȸzW*JO_ize( ŚAxL^ù~'2ȼ:6ܩz>20O&Ʊ.,3&gD&(1Y: Xy8# mXs1ac;=n'ɍ 2A8֖Q14c]&Dc}|ô{*`a)Mx~a'`Lu$MvZ?'Wk8(6'ߜL91ݵkU7%p3IJ\ nבU޶DQU?|fwB'[o|~@ykmLK`9ڸ_^lE3볩 i3ylV\_vk^z|y4V5xlHCㄼMbn lwXVocte l~ReftvܴiVT|X2 }H3N"=-% l;7v&ocJ}@l"wU%e]N;ؠ`BV$ 1<&f>zsIX=;8F ҽn4׻"6qeABO?\ YhG:I*h2Xz k_z)F6kW1l[ǒC.cQ޾P(FaR a^J(7%;!{Yu޿K1s7Ke_{DCgZs B !cSH;/-;\}K=nh:A+(E5M 6@1.R1%X.;BH\դk:q-^3#0-tPt3jy衍y3E$>vfԔnQKK<εW2Δ/OV693|Z %&Tz:|2DsK>Son奨DJaL,}½؟@уd@[Rf鋫+*9A>%@-bN6F]t9hW#./D[h|j8i+)4v_F?ooڈ:g9?g}դjKXJH(wYC[rYXj@['rԬyH ' "ƉfC8茾;DLt`̈́- >_sBUb$ +FVWY5!Hۥavpnz'BjZ!pIQ +"b])M#3W Fˌ$%f 5eɁrn16=q'SUQ 'm鑬u}B8f+f~\4[z;t}uNU){&gq o^'dpكl04"~[yn=(29V {mԬ*,Sh7d@rI";ar@xY8!*O0cQ Chn^kARL}MtoYȮ_U;\Hvnd!mPkBe+iI-`2@mV4H]?^;IisZXI^:b3!YÒs&1c”Puݾu(eA2_5tJ#F-QR6AW%?$=}g<阼mƹ\lqߘS"\I `(ZR)A6e ODf&ͫ^$[E XrԈŬ5 v B@Žmtbauv9[([Q-V7v@ƒVohu?ZR7B a5u?/pWQ{SAR[tF ]EZjE +9^ɕ7~7{gޑTc2%Ua6jؕxRH,-d"2ᑃhLD!0Hv zr삥3SDcM54L s 1.1nC Ro (\O-m.kkBaoN3>hUQʋcL_)DJg«$ȅ(1΂^g4OsOJ왽bɼU y]/>:x_EV=Dhϝ%b]d־Hvr,*ɧCb: [`Աr!g0 dI[e"F%=r/ū=5,CֹNfϵ2eԸGl`Fu $Q) pk %*N":HR@JaDz?R` K9مIkW߬b%'Y?`41&ܬrŅL 1|*+۩k@/xik†67pXv1g1fs,?z"Q_PgLJF/a [}hVoe|u^ P(!骀H,G.w[-` ^9C^;a%Qnz#p6P iV^ D*;`atwyTWOsp7u/wUr2%4:Gt[.S] . sם bpf!* ͣ2mq(}*vzarYd'("b/B o 7&۠1#d1Tplm,7%9?yz*Kpf|w?fZF-KCOUfp*HY#5on%_H6ՉKMLb8ei;oQ>B\'B;EIQĬ2zDnaNrWHK?|k kkwK'T U'}eM f֭udٸBԝɴaI%r;q}k=肪Dπ˹CKI~-xÓ<+]NN g*]q;gidzVڭF>TS)=)?y.Q$$ү$lo?IȑܐIb3}i\aXL!\4Hh īDrh)&n}g'DM#8[J6U =oょ>>h$D&@\-8 i{";%jtg>ke5 ɬK3kqR {A.Mt$E-qmŝ^ʩh!C{9C&@_a*6-ZlSgnky g+Mm`=++Q_h3g;}+EiAM8>&Mi,+U-gV7X݋%wJJ*]D䡕 VPxC@{HmWJy|@#ZŐtߖ4 ԯSkk˯xbh+inq]Xumjd//z/:2$ %6Z+U? ~9lljLTN2]S py N!Rf^5Kjd*΀eRxّ$j˘]N 0d[1]HuYTZ"dr#v"Xyr(By="r s6C `&HrI(Ӕ~vU5LIzZ?h-A,O=H$$=Hckחz)ttb O>I؋!j`B o:?T͵L4o N>Xp_Nե\ U><#%DzBQc 58i +>9s]+u7HY{>峟7BXC;WiQ_4ᖉz-I=[`r:Đ0 Ʌ4T[v1H@UQ|]̎|vE^}ZR?'gAY:aDkc6#ў"{tr^nC,@FŪZg8iښJljdDw5wNIw  pϤA3I_`ZlfA3$K^V; 8; qFIkMV73Rt&S&iK@yq,HH&m\'`ZI5Q"gWwK P,}䄄w:0ܪVt6`mvl,c5z^{Vc`֑sV: ߣp:E~({09zwe<srg}d~?"sx\ E*p Wn֕\3 n16}cџW8Y!#IqH(+8$=<\.D HMl1w2,ÅsTU2Q YY]#7xU8*qXq 털EJyg- g13 !kW)$)'1Q"l#Mu;TlvFG/n["j^W7?c3VDVNWdw?4jJ}4L&f}YX YƼۨai(ns1۪+e* l5`am.F$P֊Vgr)k^ >֚KbVl2yx)%JF--PSF6?tVط 91G:R|eX4JJyMP,{L{&9=J+)_| ^,+h?xǼD/9YDH7%fcLB\(CR%k ZYpZAz|kFe|pmj[& =I|mo8uG6aRVg *OZ߬袶˖yF) K1`Ew3fP*ˤÖWdbSfP.OhI;<}vĐY Q҂ō|,@mg@e udY^7eL($,vyE Oa+)t {^ S?LYky±2OŅFW _DLn*)Ԫh!ΫrW9-@{9%ΪHDtEtQ@7,ԻW`X NM82^G=ﴣoM)uAF)ȵRhy<ĸfoF2cJm&rG׃5- {?u\Jvׁ8\N,oz 9O@j%7c'LSȪvausm#W (YB\Z6wqE}'u/ wZoڌhnqE*[Y4 J.h3ž?*U؍i^ޱ")=iJ)'ֻϤGK|gF!3@E+w1H쑲Eևiд'ݝd;4=(=ؕapIdZOcTll{Gh0<x^iYFef|CyQc%siTצ$OY%l1L{5gew)7TSGG6(Ȕ!wIZHGgs|Ko֗B@a)k&P͹'~(cA38"k%YQ4@0Mev/QMP&־n?B5JT>w唭n %fkkdf~jFsFc T*cj`V8?!#3[" 308d#E .p] ʥ;ww=;]{WR9ȭ[›1b@t+}[K7?+I_?i{||[X'Lǖqªt !ĪU`|x?iq%k`.`۸vCImJhV{j䊉[ Sb^i$+t#(~]6f<jA+98 |$ i2n H/#Pؚrid:`w9h-G4OukID|eH9{!RF֖+ /y=c(q5dI͖ }st՗u-PZ]+Vyu{S:_K C YI+uB+H^3 aIgA/9l8Hu=Ifxa96VOo𥚓)B)`{&LF)NmI9VFC¿`K:-ERT8k>OkOӝo09)`BߐٗqYxgj$IUcGLa %*v˷Rb WqO7x0FYO y*SD󰾼SY;ϼ\bT{Ik'v~Fnf-I09 J SIzmVO=}S[栉H|ܺwoD >zm"R$(9-TE$Zk8]d| %6^qx*ƪqy Ok'?@XfG EE+!ިBMFƺЃ]L .wu WK= Cl-v=Cx!-u5kWme`Vlav\;p.LG[9kv|s[HZ6HԪ^]̃Mw#0(:a_U R4-W-J4W324C};R4J8f?;DltcT`AC;lq_lV5W8d\=q ,b(> Hd/`CJTRfa?a٬A([ӐFۓ3w._ ӼwkJs\ᜒv )Co"]L{xZaJ+ zQ}"\ԪD<Njuzfq߀8sFYb һk e /i8b47ZF XCE*R,2cePc32LV9+^2$;fhq/jOvXy0a6/츲ъ5s陂H70 Pwܢ$bo8(JϿPWAIدQ ɖM;(GL,-h'!S|4%2/ U쟠YJWeˏRps~v:M8JN P5c~NPB&T~`Aie%Cm j@t,0_όCndtv.CB'frK#K6Yz>oXQYV2ifWXD?t z=w=(XtW`-ܰ:dջ4esyZԊr9~g4Wya bZqüpiAt#q>M=DWy5 |fG>ufY! bא. )&c2߅ي%91ɝ&1}Yi~3櫃$tk \;,gBA%y{`Y"RKڻ ݦbyy7/i|NF-zO-ʒnֺrZ6KT@҄a: OXJW17/}6wX8X`*ڌX^ek#BOv$; sh1ڡnos>`!.칙By6 g8%&9ҩ[+c,$B0^dbCaݓoHirJ)DIruT~ӡ\u9Qh*M+AE͞KYsch21.99TCZ+ A nX@~;)qzg%%׽8 פQj.3ŴQHi. ^Xb= w>;L]O" ~s)c=:/A@"1Z #-WOdR9''k&~aw_YYd3yxӰD.˟"fVB(XEEtk j@v= Iq0D*u4ZzL;º*?gAip>F*F,DžМ$8w {e<0;$NlMuy>\չqD^h4V]F]mSYWvgcqT JC(>}1vp%VDrteHscǖk &|-`<-!OK*]F޴np"QI/E5/rAZ$zA3;lFT(KIew4^@Yog }78_]uN57[￰[ɓԆ6dNbz5K hޛ"ڒJN#`<,CMԏ0w~WکRCm/>tf$2~Q;uPx M GZk%ޮ~\\'.P=s{v5n-Wu5DgO:2Of{ ZHl sGA7zDgL߇ ׷*R Gˍ1ٖԿOƕDWRYrIywH|1SH֏)_ُ'/C"ߩhd,1J7ԞXIk[?5$-S 29EmE >K)cjQZ&%zyIg d|SstgÂf΢߱gv/sE)pا䭺1HYE#*ūpX̗/Ub@:g&Q ~AxiT>G2a&Ye꨽qK|44ڪGX.WlX[Hԣ*/.p\"9WPP携kȪt^z$Gҫ$vaB>ۤu`(+*C'+> =^xxVXe4è*H΍n0wH떚g=ydhe.s\ou:yr GΜ 3?.rT__ }dp 'tnT_v_ ͭ!oM>h,hEqF-J:\qZ~~eLNώW9 ڴX/M4\'T!?XixNH PzBɰ= D;ep=g$2wncW(KCϲDƙpښHVsy("q`W[~z :Od+ӼvX",?[$F"^ N5eR>~+s F+a̚Hi=[.{5,;<2n/&L z)f A?6FJإxiCaU \{bPI:/ʞ`!̵p\"/^`$x^Kwl|d*[eV6UFʶ pO">4E K m;clBѰp!x_w^Xච}SaX鶡[@h6 !bBebdO9;`[ME90yn5hkQJd<$I2$AR/lȂL#u@&HØsL҆YPZ{l- I:&Rw_`-BWx)kyU(=PK#jCL^mHS;~܈*+Ħ0RgCkqem]_9z)43;Bw:@W|#z[z\Ec(k\f̠f [`a _ҁ>M܄S:]& AlH F"˜XIt+pȃ5R&Vll w_*Z{vsl?gq؄$}hNPtes`_*}w+sG:u"5]7d{b$iG)p% ^V@4-@–`,c--?@t r=_X/9^vp 㘁oj,"?HXt i''+ٴ6#)$@LU.cD,>vV{ 0qFg{,.a|L`EL42F0yJ ^,Աf&~Juԙar`1Ŀ _Ct[uG :ZmxtN(_n9Y)O3U逞B/(cmSYv(^,.8l izf?n-?.nxQoL-zRKY~?6D 齵w,AS/ w%{v B;.>XhU3|P^g ;J)7cvԬEOZ*0`ͪ Μnֵ=R&bua*oX2_oQ[oM'IN؍%'WhY9#V'd{ǭE 5yAUK/ jq=ESe5et6R}HHi5rVyk{T닌u_eXR-܈A]qFiU [LwDmYo I1=խ;㶩n&dI#Ã+ ]a!g u$_ g* {T{qH2R_zON<"1H)>(^@粱Fc1(}*q\dv{0,疹Qo5TZ\Ui=UI1L.7Td x,̗L0.N+j['OZw'"mCmZ?9B PL3mz͌2XոLfvұ+@^nkeJ]@++N mg {ehO+% @QCm:1m'bυy 3{{1 TX2?TBzE@@%~ŝ ][ J_70xp|jg:.wL~z-͐H2#>(QF=GjGci(Df f}.;mrn24G.׼B(dĖ8MgVjӔdRA34B3cEW'n$^9 K(8*ŠM- X ɑ Dg:Px W:̻mUY'JpǙ>5㤯J"~9n6GOVIe]H=6Gr|~ OS. iwf)A HS;КTm{پcoZ W7*J>zIͪ,qJǿɄB`a{$xUk)4n"R˽tGG,H|-6) =@v)eաv%PplVF5+曉 3΀nBp`+ jSJyAh|30bpgr:ر]͌DsTlS_Qv=1| gJ  H ;-1b݌fAk 1edlfhh~vbiϳL[tͶح&q[ B|2^q iN= QO 6eabq@RpR?5ir PU ψzC8L' 6@-d؅ӦI[RrI*tcBaͱw7cA/bHNi^ 8A8CWtTn˨}< 7%{",]L>ݯ@.ƲBsHlK<{^lŖ)'m /OPm&(LXΰ{JWUM ,B-.ۊѲAᇕf`)ZˁE.B b` N^GHW~ /E6,FPe&Muiod !Ph 8ڑMs dM~ ?ρQc=I2KwzgU,FX/eFx5[b=cHYSCihuUDŨH]Pm\jU@ >/WC0;/22hoz 8rvGf.6V!BRRʩ@CK٣Rp<(2Y/JNIcuӊ>0&s઱i*$ja@V<(F@Wer>镎 4YQkuӅJ03MKZ!v_Q ^WaKX`)+KF! BP4?5npaYZJIޢs{OG[Da)>M)6UUEٹZf*'V~;UG}BOmަEEK2Ǘ)[%=yQxypˬZA%WQ91WB?) ΆA!r qU eG|_!ݿ;#sˏ 7! &83YgywAdjA|Aae7 gEFja+†֍/\3i4sED ! Nd_5*{n .T=>8a+? Edw{b-́,!6hn̐Znͫ6n)ȉ}s`IGI'ʷBIX$P"}}9<"$Wɮ/BO+YǮR^<霅z(#J>A&oY/ez(8XPf= L]n"Cf R\#}Y%{ARSP0͛!1ێG#mpWO&&ޕ`,3a>Ս"^> nX@navՑXBoӞ1V~l<*hLoa`H8QyT+kEYdhδ(SxbD80msGDl V hOctpgX t.//!V'gԺc=j w0V|/M :V+Z|r fMHR}IfpP@ 3Q)4Vzfxqg@ h^u/T g$D2n?T~JFCj#+Y# UFh {DbWwQbnբTL%!H K+0 fJP _8cuj8j#mA CfP!a %Α8robNQ cXq\[,.5S_VȈihУ/U뮙[ 7h })[/H;,t04 n*=>W]ne֌mr$8`l^Ӟ FEz3;J^ՔqmW' Z߬YL {}~G] qvuoFHlC S2 $BǵrSDGm,|M=\yٟ\)'"u@r!3?⪵o:C[w ?B0yHP3p x_J >X;tft FIJ=hܹӋ: Ҡ`D l#63!2|(S/C=ΰm(PГkz*bxb+EmjSYЋCϵW\\v8}xJ㬠 |W]xɽrF $;Imb~̎R ) _ YI54jJ;Ǔ`]5r*3#66.,Y_cֈ)0 x T%FQ'MCE mWF>&A2:vQuXE@!Ws #uZsS1s̬ґCz' \?s(?\cX30/ ƺp#t?6^w׆Y*$ִKx;Q`6 P#t) %m5tZ=6tzH(S$[ ?瑶qTBV%@&~a;G=.R&>;|5HlyRp\CYsSE?)YHL1ۇwnS,Hk"/N1wpMJ.bu,i"4pcn&HyFX&<`6: zUpkLl-7nf!Gj9m֤pޥqk*R6%G$s&款⽼v֚Xa|/0ucȨb@ |8q`ejĽ;59Uʚo,Iע|SfgYty[P"K;(&~9vy ۥ{TM @ Ϯ\Ř=u>9.| bG_Wihg 9]2ގFOXLMۯFNSTt8'"mu2? ʝd Al$l^|,D)2۶9I3JzZƥR2UU#k g RK@ˣM$wʣ-<|zrC+|n&Z%0 jDi p /ZdY9_: >pBHJςT|iΘc~SD}Wb46T5ݜl035j偟-`O(}1:ZW4v;ًXU2?)Sy P>:-4Q(dgay%9 0UPLl'sm'Iٛ+͚r\Au%`cJۖjX Әk(Q_p W%7náfGO|+XI{YyXIT !*&'dz$$Xтg s4P"K;rq&"o@my&ZeZB`%pǼs4q㰐xьo**tQCAR^쌭.h"6?lmCUdpDkJUT:rsx=*BWN2|y"&UHH{;5EL#6n"Ta6EUQ^*L`Vx6$B] uӠ)o}KFDS2vltS4/ J5Va5|[DOLՙmZ>>9n 0{~./Acvϕ:o,ԇ#/̛'eA + vTS>eʙ&l$c f\|:BC[PxԜ_,&eS_I*ia7U5~dS#e֥=MfOj,Q]!WXvJrLBZbTJ$֩˘8iOnH$KXG~X z8h"34y䑱G*сpuٔ,K?~ G88 lo-u5c\&벒G%xf߭T^;J;S٬Y| 2O!0fBKH;ᖬ5b 5W(|}.QUjjR*~?S} 8> ); `*`[ 38i9"Ą*GT)G_[jAVdTF}^o*+Vͥ]H0r/lξ-:%+֙WW~7mwi=#; yptNJ3#h$ǝ7:9cBt0 AriUxuҤ^U譌Y-wmEEh*Vz %Nhq|_ ;XR*Xݱ(k?&kt5[Pn3UGO3yJVALHyd:NjNۆhRIq!vZ^5 vF(kS(c6N?h2stĂ_ߥSFb Q2G!z%WU2zڄT F@&9> *0m&XsK,rtfWRX|{).amp?^&GI˰%5P@NI^^LدH&uKmP" }q'iI7EVŸmdOpz";̽)Ye0.n k;Uӎ_qQuzub]y5L2ö3lmzgzj7g Ì(g!;uIږ-z}0 )3"1\ZE"g2)qqt5@ W+2n%"Ln,t"Ɩ%؃5O^˳8O]#bP*{Q5U ~|vyǃñnsv~ ue`S05(3Z%٨Gr^W"GjoM>?j4oSH9p h{"lQ)*hvi|~5\U:J6dPIm0i'"|;yaFtQ|vTU}Ly|X#Z%Ë9d\xJ /RM) :a&5DnioP@룧Cd |$XbF:7e%"s/[|4n A2mYmȍ|9eM.B%=?n;:7JtHpeGTNF_ݙH@z V F@7OJ"b"ENcbWWը>Ҡ 'Sb[| 1wF9*5،m<,!ҧhZaxeNLT//74DS,0FhQmpd?|X2&\p/z1a% Å򼘭T3MEiԅ;YgUcR-ܡNzfڕKb@p]R4cٛQ]HĮ qI)Éѭ\ɵFѾVNa\ ] WAs{^k/6Ke3OzH]HNgb9XwWׅV{ i RařP1ZrVĮ" `$Q`>F8.IJ`y*!1zuzQSB`pDZl|ۊ\ihw*'O\@s0ζ?` SbQ'] X=FșK|~bE P@>ǧMmvl/)L#ՙ&ǡ.[VǷ*zvN*4"rʄ0kD9%1B裻(^+>OCrA>*٩QpJZ^z̕L?S)n2V5f1! "_[IӃI7L80:ß`zm*XU ~6}nDZ"œO`2}Rj=#ʍT* Nl#J-ixۙ ryt( | ]0R&g d 6(ܞ\—Lumn3]hJ88Md {OWO q:J =]k.ck\,)@bWT-Si?_:8UC9ͺJHM4#p`ᅦ0")֩_*OJ][mkHRU],t]b*=g97n~'k|̓Ë|ss$hwn[%6F+aNr%7:{#hߘR"qZPqt5GyVb}L WC{(:?T\BR ^YpX;1 7@(|hoz'xWHC<e~GG'e]MSHK7@_=͛zR0%Rlll. 0:@o!y)x⦉ `ͤB.b׮ASe:5/vO)vIy:l3Qn6 B-vk/x9ͨOzTz+js(XC-9׭rF‡+x8\6>蹱y ]eV=D ׽CfI]XM0ڷeGBF*'R*GK[R}٭%͊" &TtUA?m x%SbC\F3ݐ+q k*mCF)<0fL V6̧jٻSg7H:] AhfUUК\"RxxdW\gq/0z<%1ES'E-Ywj&ض[>$3g)^i&[XLS8&P W5~ SLBL2-fsu@j#+4DBXi[wئ=<ϰr5֝#b"KJp1+IWlKbV*q!^|ϫm`3MHc ŔNķTyd"=[/J]H.Sv^CI1vSv^ɧ@h :NfK^<g$E(Èm*Yբg(]|6%mT^M%=rH[NNܿ1N5)WB bJ pUbB,0q]X x#͵XqҜ(XoHkB]'u=A>N&g+qGf+xl0[T2BYr1- KAM,0mIV0?M˟viK |8*UEZKZ᥆QӉEԞ7oI"?~p؝qge]\`;P(tbS+h sGlnMZ7p ܢ%v[ CҌ7ܩ֊!n!HsQ{͗yBGYu8qhtT18 2AB#Zĥzܦ9;V˅vw etWV鼽u8HG)hP]l0Vն~nyX>dv'0Y)mC, ʍTCȁ}+|$0&Y]sS1ӣ`q~W- ` 9oj+~}>P&WoGKL!B!yzfyѫr+/,#r3D˼NQ N=Oc#D13R@6DZܤ衩e>TvCBsoP{ϛ1 GvO yR?x҇r[#tq Pk=uq܄*ɦ'4fN}UXsb^-a!=y7ɞ+*}Ui !m p{1&a$}9Pzj{.X3Ye x퇖Vfrg.Vy <"mw\8XҬcTrIXVHGu sh?Y۶xێHkm<]'d2{;8q+87Yo1@yưR@ ʹ4DhE-s#X9W8W@n\wAdОGzt0~jHAnk -'@`$dx Ծ? #m$= ᨾ^ (L^SO_ۥc䠄\0kuۉ-qR_}&g {(pK}zqfDgCmj̷ïc/hQ^>MRF5:̫*sueE{!}A1A)Gld(Z{h7@ GsbbY? u62}h|&sx+Q#pD~ |ѹRѥIl0* UAN}; @ڼd+@Vo.X'!nV ,3)b u,PGu'pdP;rsvЙsCٛ %W#5Գ?Oɬ-cu+pƠD=kh񳕷,A&JG+H`S^^oW3gY {[bPT GhO&Oh¬ng/- %0ӿJ &~KT7#l 1$iiP Gy -C Fl ْM C ^nx*n]~ ¶? [̲vwӂt$" 3b )9jG+1Q ;;]ř)8 b`;l^WYNBi ͂@4Op;qTʐ ^EމE-/ P]4rܹfEȫPMS?׏\2#ɨC@hzH&S1o(_-n%e3Z6IAV>A_I'0ā&(%ŇC%"K#/|?)΄QcQsu:e&bU`2Gt0sA>q~||cz`WT%Xƀr_{ X -7Z݊Y C5+k[Qi-t2y\  kH&ؤ4eKhD=ℤǰrVq Q#"XgV)Kn;XC`!Nbwj`寑)p/:Ҝ'|kM8KK /bRi݅6o #ϗ D2?;ql}=$ ~o4&A7=Iwɕ׈*д[elt#IO]l͙_Naʤh:7ag]D %n!Jөq笀<W ]z\Ta m#yGyOih|y>魛/휞tԘp{݇jQG`%-zLhH2 ^:s3rc\`QjRS~(w}W72黍ر]L\2 M{l>- ߼VjXmBe'(oi9* < q \cZ萋t*A{֢O~!2fTt(eƸ,{lu +}dՠ#fFM&{y6ߒA ߆p.gӇeNTZ#򍶴'#n҉)tU~LNuBZxiuF5${'z@l)B[ k2^8&*@׉:tD9vu'׽ڊ9:ғRcCcJ|Sȫ(Y[b *^klw.=ZKAYf!),1?'}Bé*{X4Ƕ,Dh"yZ7bu6l&`'qr[Ǚp+M,"i gGW: w^.zMF'ɆҼ!vV:N_Bcְx"#1CU \>F܏ƶtv}W̴nXoޡa0ی$!g1w>I3 H)h]IF+|Zd8n$.Y*uP cb\Bgf&½o\s8p?mhl &;ͼeE 5ǂ}gRr(U5qel;qQsI~UgYZ0311066192f628ed4f36a5dd2747b4c76034434d 03183532e7392c38a281c66ffe80a8aae248354d 0b95eae8146aa5cd55163797808ccd421050d201 0e2369879c23ffa3af808601205c5bb2f112917a 16b8f7ea660f0bcaa93919105381041d2ca84e6c 1c71fa3ad2d5914a41c79702c8a789b9c66fb87e 1d64339681bc3ab44469ecdcc6cdeb08b0bc3b11 1fd4d278a73767ccb690367825790ca8a2a045db 2186cf03ba671e9018e43760912688aba15c8352 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 30afac17f29e367c46142872751722118953e506 3409823eec2206aa526e41e503adcabd1945717e 35c8ed8e2c243fae4819113c922734274d868686 7c3de80c3a16af05902b9763188afac0814d65ce 830f1aedf1e7dfb3c3de17b04d9d3d48c6d80f3b 876de8274225c65c590359d882c6f08520aa1f19 8a7e00face9e3b8d390525186027a79538ced8f4 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 8eed0d0d22764d5087be451c3dc910922d5f54dc 918c32f99112343be4627f3fd1ceb70e2dfcef71 9bf2a719c4847262ff5865ce539ab70d1e93ff5b c05d156fe9e4fc70177a3e78a84848e11f2b2b61 c2eba9264d2726c807a7b5bb9ac8e7c01121565c cd318e5bbc9752d35d3812333dcbb350a4ae5bf3 cda994d4ebb6399010f48d9e94586c64fbc24514 d25f3d256bae918966574511fca2002460d90524 e1326f80e97166f8a766cc17a414b40a488ad4a6 e8b32ed63f1cc68c6ccac7059f7fda39733ec0c1 ed14a4dc4cfe0e253f8014829705ea6b33968dd9 ffc80fb2c5f36a24e80b0a22aa075c1fd92eebaba1928f7c989af1417cf803dff1d0e4d37d201bdd 4cac7c9872c9950110e20ff72a2a8049c87d07ed ef31981958657e2fc51f4a91cd689159b9b9d924 0a4280857df95f5f8539f106f0aad8e57e59514a 134d002d89af0481bd801d4713acc01d807c7dc4