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 H| ]S]Slicing:threads=4elapsed=365.790cpu=1210.184gc=26.716factor=3.317zXZִF! v]ŗXf[&R/jht'g)~Jհ[U)D%^$f.Fm];+kf%>Bv< 1f7'of:9K/%M髎K-ލlaz$dDdmڔT?&/}>7`M)pUޛ\tm6wG[yڹ"wMRC#&h3zș_F]#p~s ru-Ӵ8A!W)Vsn *Ҡ^}g;L1&{,iwsxKXa"ĂgG?5^Tp/ +1 Oz@c{zN6)-^X0u&'? Ekҙ7\^L3(6=hoe6VY"5Byrf嘜rDNV`4*.~>,9\\G}VLl nL؞d6g&P6;UMxs= :̽J&Oo" C)&nYoP5B8XiU3et>cvy=" 5iYcOV"s v 7# :{ WGåVa97YfD&^6us*4P+Ԗm( .W7? \qW%(C&%*>eTIr<8{CmIaN',P.()Lzq~z˸O̤N `m<& xNb(OJ9-҉vO,sVz]0ApDuG+5a:k^FW!7/}+I2MψӼ@I`x"|q/B ]L4{ C:G7@nq>#wђe"^InWJQ-IOo(NZXL({1K _ 8dy[66cI&Л p VNvzqW+D#M03`+4SMֽ;z#huY>ɥ Hƥq/DUi"cLC;FoaM`C 5i)-j"Ȗ9"wR60 SlU^EmY(; o漩dM ͢I+i?`eLSj{߷l~;C`&W!M,:I t}tUϠ:CsntҢx pYs?dC2xMR6}Qj(ym-ȡcfTAcj':$,{⬕VO1x\'ozAfZ Uz jՈlC'BB6ȸwB'y'$T6p!wza|6*|\wrUhXoGSaoBdRj"ߥi\//+ՠse1x`F̡c>rCg^ w Tb}}q *,eR3Y\DaBѲ`P pt^4X ;;RTvxKbIe##=Y)Bd;L|QQP/$ׯV*$1\A'$wh9$32,58uЀ>@ AW΢H?:cØ %Bii}P$|fG~x$ ]hŬ#"!3 V`c|B'iRtb]n Kcш ߦ9< NOдFS bڱGa['9Դ'_qNQQaƑw2bΚ>OJ{?FPA < L}“ vSnnr=2clھ"0>qFFn(lN"M,X(Tu63"CmE3t稗K;IH UBg[ui }#Zn?}eqFd#;Mߎq%g/^Aq_KI\j$ʰ%[9Դ(vpXusep 6@= w-nNg~ýp0teyskM_x癱Cc GAe.G|ͭND5T*Q|pCEi 2j&~tV#Q]TH0s3h D]Ma(K/hAj5| -; ?X7겱am||/\l]PӺR|{ AEGvb08=U?po }sJCX:`"tyV   Slicing  AκhޱTƱV̫ʆ!+$=O% fD˲Ƙ~IV˗q?JV:Y.DbTN8.VI[dR%U.P 1Kv0E(IoJ7G5G*gGֲ!Wz7IFS(ڠLK&}4k48f(֟,k?͕J:MEzFA}X;(x4LDeO6cvډ(L{(mh!Zj$84亷jm/ CnZr@pP*-{ \dySnCbAߡ,8Y:0uz>"ܷ2fsuyoo=)%?~@"lRB8;N(HAk><Ȇ!I"-DI'NMFP9G"r4J"MLO B($xjDN l1{}}u}2%)LL+֍Fq+ケ \ki`j-WBg\XgD\ns=XNKj hTi'&e+8IV鎔.$,46TWBQMc!0s}mz^x>3 7mwi+wS9Լe2L4I:y'S0lWӲݺ!;t"z /][De~36g$28!: ]| !86x[܀5f0UQmJd!94qMi zLp;,ЪU'Gв͹5~LZm2QbI0si-W^EOa3-ӴՑ2: Y~g[4P 3e8 r:j.4֯"ϿPKn"#Kf).X8POڀP0xoHQ_'wo7:5oRS[!Hn8i!9^g 1fJ ? u(c]'ޛ=X#}c!%{R?1+;-wpfuNƇЎ@ N-u)sG F@w$M?'>9EFPZQ'qfOEDY !2a,H,hKTڶr,YUVgYZ7zXZִF! Kc]ŗXi%L /J~bAf#JlGw~KP0'dOb{[HIzf-18VA:d|Gťj[qb-㱴ӗXxR[Cv1pKS/%:pdSE( h,dž5=eS٭Es =w!5>6GZƼ]@4CD7N$эd-O'T̄R[qg"b%&N}BE,Q rK] LN][7"(8FRQ4jBۀ}"_vOT[dK{I>jK(m$G(ouv+z9!׌}AQwM8o:Gp!Wk0qZv.KL4uIp8$~Tw2. ]^fimyOAu'6,28!yl|e56vvܥ˴j[MP˶e3Xuq I>o1iQQwB[*,O# _+C6 8RPb7/%vvyy1ڴИ_FWhFX>5L-Q$vF`,M~#Pm-p< k6Xp0zP/a$_[{Wi йdqKn!峏VbUƚɃdJ8m'[wDZ{G~QT5qtt&Nj81 ~Sߥ+Ɔ+ʤGly,ԉۇdGz_K#JrREY!WllL?:Ѿ]{ͭa %mcUoXhh硾0̘GDpڪM8f̬X~bn=^>|?O B=\^>s< ri?*9&Ax+]~x0xXf; L+]: yY#ȡ>qE|]; b89遦\کLGZ`%$?'.6VT8kXGxD_@MIeQ7x@z5 HpXyoGI k_!BrVӸ\֩^H f;h+ŞDse7%p3vC}ijl ~xBA=13߀tLgq|,0&8Avf$A'١!fdCS['5\XGC+smK"^bʛ}͑DDVb [6j2Iq-BJrSP:~kZI;p9ŽVmY*Od} 128I,> 'HM@qi ,tJx+4s֬, /E?,i>". Ynqv0^v49T75Pu3栟^0>m밆=w Z* fb<=Q:&0?-N-};Kj1.J|Bf/6Y [wjըTL ll"16~`ʀŒ7ErzDqΈ􌚼O'1x4HTWQ E z'6tgE Ӷ8NGJ^4FIh1.T ל8u juEts樔k9.:KS( @Sxwli[dGAɡh2Murv*iԚ; 3Jn}gZzirWH޷w>/sA+9-`"RNwj8H(3U$C>{Vݲj'9^N$G.vS>4Y71w>{0v&2k|}FP3i\I So0tOTs2Q>"tWTF>&$01 ר7~gBw.^F8[T.'uÙ.`ۆId>zvl#gnTis%_@)JoT.Ry'f樟Uf I\%%;=M]@Ҟ#CvGaA\'սqh9VXmiqf9GpX#J r-[PbϚ2&bqϡ\?ĺ=UXK]l& ^5x𒦽|df}T d=r UvPy?L%pF+3{$)Av~)"BԖQFa8-i ڞNf ~ ?(w%O/wРH]0y{,!wj=vXhSӂt]9^ݛ53G:0TN rְ18X9kyEcXT!$\ff%kC\n \:t@mrDC!גf6K?]58HUE9p7b+c!e16dt:&յ,)4w6˺`''~*SVvZ6.m*z|Kp!kβ1?aapMUiY}(Y k{@#,Yj]Z[tku">ēk&&7U8 eAk!=& SrB"*E4O<&G;dwӏE3G[viG߀^\ !ūR~}~m[ᮚyKyL< Ñ%]x/JMnF nP{~C XRv8 ob ynS9ҜVXrPf!bVF$3mhä*?^]/Y];]wZSF_8E|tc)C_f,V9'=uZXʦ>>e6cNv{3ve澞{ZlNuW]wחQ;GsGwd% ,%VΎ]ADVQݍѥO0Ky 8\:-j@Qʫ,˽/0&G0X̒PXY'nQ88?.dC7XS.QJ'rD٬KWWkԛl=sv4=9:N୶AF2x ^'6E;UR `S8{(3iXBM+m-G֌Em5䤬#r5he2\g4Q+H4׼ϑ~'Y_:' v֔C=φ_2d3hC{GF?)Hr1~Jd,dx٣ E>s]t(a PFhrIWQl6X9@6.[ Ϙ"=%$ұ>ԊەQWk.SݝV#%N;o@Y,D g(UG߅FZ|dhubziTCŬni5$to}<*5};1 "̞Ae7ssdP]**4[d0,%KvMiΐ\9I?%h̛ͦI bCT6+ؑey [)?|1Ծtp٢oצq*ܯ`"J=X4gDB>Irg$ n8U~ē͟gW(|aPB78Gσ+JG{'pM2k?X>vFc_Og shU -D-bN $a§M/k bFÀPЃ>WgdFCnDw(fd?3l>U_YC+RP!]Hg)h6KT}v=MVr?+z;j J{ nm~:,whPu {:MMK  3&݀Y[u& "H .\LTW:o nr \LIE&Ut U[0< CI7S3S\d#/yS3zm)Ϋe%3E9[ÆB7 3ޑfZ\ 5[8* }k^>kv/(UI*$YS\J/'|d*WcECm)ݑReݤdd}v!JcZudnWA#.:|;,䬠ڻ0NYJߓj,upk#hz*&R^mpں&֢vaCRpW& /L>|!/,ژi6H,U8pp^lR9تA|JMyתalhl*w~b]-3m/04+>72?l3yqM"lWdA/xS^{%3 I~*]:US˃O;sgiθw@'>EDr_.W8o.6vdc?g22iJWKqVf3 Ca4޼+_!S,YɅK!hI֨s(jb=2iqxOO3P ЙKws Q]YHir;sZGlc7߷AF.wr\XIa[TanO),F89F2LʨyUf2H=8iO^R0xU|ThPO٘Nz-;䈇 4+_XZRNRIeW;2O~k'(T*\AU,9,vc=[6/t$AʤqWkFO6vJT+_iUGqwt'>fM$8waV6gZx]vS]* jwdh'?Kҝ~œ b'tB ڒԦ"wuGԐF˫8#Z93ߩkNNHneԹ"W6Zk?(2 3Cfx)x(GC&*}Fb/?Gø1!<"O ̜`I*M. :φ) bL´l>=CIvuZy0ڔ7֦d$fӷn8hPA2䤕ۨKk<<>v";#ם;зSw J'#D ϼR͏d;x́ \RE;F|/2 d9!n8[-0[Ԍ-]Ɠ(V2tX;(Yj8Us?Ա?GZ8_2nYW[ ]|)DIɐz00iq`Bc5#^w?:$6nnZV"[ضUe@nE\Vu]cAcA[ azc#AdNH,Λ's#Zfj琞mF]iEǻqE' Qo :`CD^֫ۖtksQit=F}&H& a US/h V =lȳLv TD#d|jL.5o0^Ò ^ѭ%CpP!J ] :5 ؃ f.NstyE~] CU&x?]XZ_MO.ɶ3[XY=5d+p=&idhy1Tv3m{cK'4~_O%OTW  @RʤsIlpamVl.r\nUa҅o[Fd P&ȱsȽ6fvιS_T\#Wb9񎿰=-vx3:Z %# Rw(|!|6KQů9@l2'?Pv@P6p"~n/</ķn8퐎i^Nzl H]o<:uKQdq['n[A]Z²>,V@ M}-e R1oH++x~ߘÎ[}i6z!Z\=(<_nۀ9:ZPlyQ0S֩D?W/~$Qch+6 Q%"u[W79)|i4DrmB9KDGDTcGS>D(i=쿆+@\k,fY14ϗΟعh!>X_h+1Uw17]L= 6B7~D>#Ovo;=+b6jv+HS͈賝/݋勜Hss,Y:"Z.|u=ȱt E+ftWz ج M 76=[r 7Fb)>TuQ.^ZkYB c;XՈ{Jq>;.CkH404{ :`%NXAfϼ¤qD*rs;^Lp0Nk@zLy38>9pbJ76]uY> {0`= u<6齓$[f6'Evh$UBsxf;FtU_`%$+L vaηi[m`!*!Dao%L_b~1:;䃢sԉD4}ZIQuDec-`nj`{#ߠ4ÕJƿaAoI#`C1(lF-Ҩ }1h,3Wr7;C|Yj*YRz/۾ ٝ;*LaOͮt%0ckzP D r|\; G-upDFDo; p)uUtaD4JU~_c%B}`>vnFoCG&`'o,~YȦ - $~.z2Qmr.6 aK,dU 0 O3MɢN;3q|uvG\v騽ke(@r*O!L*ͪ ,YW$]e,/}GX?wb\{? U`85^FÊӘsDZ%P` K뜰}[U^ɬZ/ÂHf0ʼn*$ZL[b? dAq'AR#V]Q[, YkxQ؈qu qAq#=(!#o$\Iu(p@^l:qAdB~-#M7M&F]?2&F#hEE}{AG$k)GWm;F݇Zn›ޠ"h·OMs?*X'ԭℶ*ߜ9iSQ,$ZC<ϯ[^M)~)@'p W>J0烡ڒM#>/}7+$'wRܼ>ҬĤYFǡ#Ds6|-`m qPg_(~JY Z8y<2`ǐGξhhxp0o}C(%EPJr[pxZᅺ֒mNAQ3-Fb&ת1̚ҟ .]1g]5ܐ?hHWRGdDVQZK0;"%Bа " ekgD| y9nq: W|_: d06RXMl~:}(+BZ+b $} Pތ,*F@^EVАV ͢|ZKq0@7q:KqmT V:C-Ⲍ3Wb$cb&"xGhfhP=p66 fCZb.uUB|ViZO3,@J11<:>TKR,ucBBLvbJ Ͷbˌl7Vex26Y@c'#(۽4ZL !y\ڇ*•t;g3P` Y˪~ ժ[Ă%m*U| '3^@m7ڐE٨.Y"J*W5.D[+9B&d{HKFG~q X5R5i,Zc(0ZMdT҉eϳ++Dc\G{b֑7X}H##ؕl&gضm["l㜫ëjϮDzG( C&t:f̎2aK 5aɦhT"Rm/^p!A6*Y3R> YLIP$=VWs9=Q%w~6dԘE{Y y25(p`\E-hAIS:&v4- 7JP]h?&g:75ma9}DZ{W$e^I'-D+oix,%[%tX*@tkVH$kw}܋^\_Cki,%J'Y^qwEydM*~Y"6wd>t+''AVgWM5p(rF2y펎.aף?[?PQ@~z(jrI5~uMЙD{N jC$ ?VWؤw*p|!E0%YQ\)k.ҘZђ1Ol@EK(%зM<^X;XC7r;yyE0'D5ϓ *q  .\hj"]~72 "6YMslǧU _(ϣ Ixː*lK@Qcpv6 /aiݖ;91s$flm!==zzˆt,ϵ:3ƒ"ν~?KYrC$ojy4=ۯ&v Жwr(z=l#P)ڳ^Ae氊>$c@nm˙ 6(ٻ[yyyo_\qĕ,l3?N*D8W񢜎ھq yttClKEftz|G?2"VD<2by:"rX] tTSnk_ޭ#^p[zULLm'#dE#O/a&¶6R!.:J2p|볲*R`(Aޮ*tM* *j.)rO`&%}Od=lC'Pt2BD-P[\w[f["ܴ3Mes-~|q' Ӄ^KZ-Tx%5uDi3j!D_Ѳw>wOJjZNWI! dIi5%R!ᦧ0RT3Œs3AADSV2,@O*sHu,V~]EN-[Mg9ZŢ 3 tpR1Wf.lxX#l`ͪ^dnqCkMNTF^9U`dqRv>LˆFTtABi>C"nUh9kzUVc8ՋK̤Ew;[egmzDPt4Mje֒\;m}I;bL)qC@t%RZ ?a2}be-ר@ l+0PYb5~X0R ;ݷɟ9]2 S縼'jρd*F%L}oڳAa_ ZS"\7. mZN׃3eX(OLnȝA4ʥ ?g*F8v3+O{dso~jYYa5Nc^\L/& *%MkX=TtE)}{Gz6g8 əi3B<_a[ix %*|]IJ=tBQT"j'qfwXJqZAYb g`Qcc| t&J/HO}/qWj|uaxn }5Kë_: \4qoB[{/8~0O!Fy}{j }<3K5Kk uh%.Xъ{rwC}\7GK> "Yѭ82y:F(oQ[{SˬJ_\Lw~0jю2!o,nCDۤHl aA m j8ʧnջ-QAӿ =oq`p ZQ6A/ţ ̝QP3hvWjVv3?]%2 T{ 9r5C R@gWoM{ҸR+j$̪\^κ?L1e_'|lAUe@{Ԏ'8d LؽyT%l ]֡ScQ#rڬS6DucGBӺtAxN3<>;:|C*tܳ Utca[Фמt%mcɪ$0#Ŋ PXRIG4z^apA̿~"㧻nU$CUjQD5uSpт_(mKhlQr8^s]\lR_?J( Jg)l뿭qG{u̱#n݋bbs@ J;1Pȳq+~\.y0)/&(hኧ+X,>&*# >wc*~c< TH^؜[B_`fU%/^W?׈Jy8q`agY߶%&ayzd#}|Ea֧,#A("Z;,/Kc2ҋ y183il͒{|ӷB]bL$B{?vmoTl볋6h_K1a5a;VY]Gދ"eĜ5`zok4+/ ē]NޭK6s3- $rpfJu- ٿ3M ߎ{' p0~3gqKF=v#6pN,h ":F{u(DhGւ]v8_ e~(.Q\o^ΞCYN`H,zX=Sc7~Z8h #帋+>dhի_-6#aw|^Pc$~//Z Ɵ?Vqlʲ,SɄgY\.BDC=Kp?Hh9js_Ŷ0ӄ5 1EwjQ~G=`wq81jiav/CTm17}wEm`2R6N~Xz| rPz~mXLJ9-5MDtcܠ'8.NkA4 ?-i'b9pNsOJF.6EQ[kA ` h%JR0,%%$zfԼ,Y|T4Q",!b7q! 镝ZJg9YL'MKmd Vn jxEe"=|9;HCy$cg|vRJ5@Ƹ}N(Ik6|r"ohOmFk[b3584U%b-,`VKQt6[J2{' }XoD'G#tR0rly~ٸ%H)Ơ:.LYcm׌!`(+S@E !.pjs[?Z.gscSd0XzFvko\\ҡ{Z']9%'2Z{|k0K25SYvXcIڼQUf! 0vAn0&?N)Y]GA`MJ)_?̓SGm^Ž<`/wkWZu}^%rFIJ*\.O+d:k#xٕrV McB\7vKo>/!qC:s.Fz <rgֱbh'@Φgș]| aGqtqn:v [pY0i. >׾0sxzSFĜgrLPt?;]Q y`V7B\&p8^(8kutHXk_ 0\"0أnEP˕|3uKEr l!^$uoA)^}XIA3ـ1oZpLt<&dc vAvA -AP=xfR'x%h!Sx8W $8t^Lj@|LH2on ɏvCl#wh2Q=? sAF|,Z͡]: C!R$jkw!; HpXAmAwpuAr0FH(;rrxOł4šWL;!:Oc!]v|⹫ P&DƷir=lcc%kn f=.'OP8v"fxSayyrhĚkeԖhG[2 U9iDo%\g:;6#y ^GՄ;A& PfeըBG#._LTJopoύ~&APeZf>N #Yl+~~=CqГ]9m,9wřĝ%јI /z\F#$97:>mULKezx^2E/ y![6^; \d8PwZૹcbA9|Ҵkj!9#PSl|P<s#U)K Q>e(pmq_FS:3{Q;d "5&M$$>9.S29b\Z*Zy;ਛC).Qf=2uYFd N:pt(BĪ:ե'" >R7ՋZn||D+SĽ_g'mC(lz$h?r!n\|+!Ԑ[hGk_UL JT|}^ PDXi@Zhj'ΥP߁ϸr+W1|q7zLI-Q>uKFOgZIs޴V[ëV5L#֢fDl4t^t)dNIʱNO+F5 ec1Ĭ!6P5wK9nd5jIǃ&}pdm$  E\isҡo@! v`7Q+$'' CtyMu0??ꇳ}.[ЋرID};oGH$z|NspG4p,`ʄ_*8 j%wHZ%mV0IEyilZ1T+QI}BS1&+|/yQ N#%cb+Bjʄ!b9H®igh/'zXDEǺBxⳔfzo m )4jyVާΊ%!sZ_ !?1fp_YuԕdvKxi=|]|e*W=kc6o3u{p!|HJGsBu7jwi`0?цJ]Qee8_1DMEǦ]{t q1U$ h0|7 Y|Pm:/]X )H$i~Ob_Fo^QQKIe8v[D:NSGLR={c>54|WzX3++`u=oH\lH?FN BtJqx*ō`';KS}pF[ CmkSE `3fZd )^!yrJ;TBE!"&ܾIr4.>&|r0T_"tW-!gKRQEP=AAG,vdMP%^n:„"e-Lƛ^ץɾQhSrUb~Q^yBִ2_{=CXRrԉ.nڪ/LUܿV CO]~=(n nI\S&8|Ʌ: iaHhFk!\-Ix\6#sS @MJUF$}S|$ʾ(,=Ϥ@W9y2h@sa6訥xEhIEvvJ*mqeqiO2D`8H-(T?K@@U"!ڙ:)Ez2xyEZ)*Uf55(dntӸ/>?HѬ*!.|0;>_ icȘ~a+ƢnnRjA_eD'z&ijb 1TQFGM'grө^AV^#!4c9EsU-Ot/7t/Qp3X xp&,ZzX6rr a6q"i~:9K@Z%BvHJMa9$$^؝{ s"z!# d$)YOL(Aȗ<fklkyi`?U(7U3zm:FNu"FvzOJ۸s<⇭ 'G鱫o5wNd&Fw-Zj Q]1D?NrرUcC'CחƯT^G, |=0M77bC)oߕ\unBHv8b[:DH#3H^}>ىx Fq^PeBh͑8j3=nBi~W[E,E WtrjM8VrXWeqGOM/m~Յ sJk E:.5g6MVJyL9t.{` #ߚ|o#![gH7()fi1%L/H|HcsMjÞdVc!pPӫLtLH{߼Yn >/(!g lPN}7Gaz͍CVgDo fv)P4/ut2=ry' p 3Pv`X Ppάۦ8#|wekKWe:;q⃃/{A5 RF npE`o5q_M1}'O7:$C:aqAi}/rGb }g" ta~v!`@)ǢtJ)NY%@5|mA^rSA<OZsU хڝ ОoY_U2H9ޝn1 cLQ&u/`X)@mp%1y&XRovɓP?ëH41Π'4 (RFϟA[Xy\Ϝf>ˍ:y#(v< Yb7Aʣ~64;= (svyXͰ¢fco2lзNkj$PmzҠRo[N\40h@rUL\G 2͹eu;f=\m\irWÒksO0';#ϑymʆ)7%jeֲr)IQ/Ph:ALJdvڢc +LaHR&ђȳ]ĥU~HG73Ne_MvelMalG|"KIHj3쳏 C_7H  UYc5,lNEnWVÑYu!֕;h't3/*J:;OЭ. Dfa;KlȀVx1cLn]bI0xzɟ H9@9oYHuJYH2"s1.4NʓU}~wbd(Ҷ10/lYKO@ɖ44EQ0V0m*Ep W3Jo ?H,I}b  ~^]k;bjYr&O8LIY0^r)_N S~<" Ĉ\.&diK,ҵ=[g[P̕P'Fhە,8t@h\$ BDDij#+C'"7&W'ڭxiF4I<⥫ nسϲٙqٕ"p,{u RQ<:$p/y0A79\+r0NntC _q EJAp=QFgͫ{sL9bgDg7 ;w m't2*CS(gȐn~̰q D{Ho,Q8d59[AlW 2LmϻGrcm |uEhhp_[ Kk^9 NTvK-g{Zʔ#E{7/\NNCgh?rij 2 h6᩵RzuIRt[`|`@.|=O4uFx3;i;q DJc;)2W@EHU>HZ/N _M0}FVIfn 'g\ak!Ɖ'l*6(#< (NJs!$< r8ۈIbq`vv:fj@Ya$Rgf F`c GKW" fkDصFJ:? _s>|Zoa=WsZĔeq5a|U+@6!EN]7l X3kz){RSc@mI٥94`u`%9UM ?ЉdX`i̒;SQ oAQKʦgỷ@: jA2qiPؗpT=D*_!+|10\17n`E,?CFaRr0900{:כYhS]قB P1WkGr[15H֢p`$o~B~%zw8 m f9%So4(ܢn(}7ұnOޗU*\#6uiz+sE-ߺyE-p*ȴ11r:`.hT"Ӟlhfm(=!ڴgYZefc82937b0bd3d6b4e879794403d3e2d4b73b72bd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b 31242347e033a969d40bde22c97bcccf268ad6dbc4adf7500926231b021cb4b09791db7392e60894