SQLite format 3@  .0:  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 k < ]]]HOL:threads=4elapsed=213.276cpu=637.888gc=44.916factor=2.997zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǥ4|uS9)}`f'ԟ&8#V֏c`thIzюah݋BԍT9e2k2_@OVs=y4dn t $,hz.k\۸Zj&,03Soinz{Ū5ߦ}\\Unj]m3.LDӞ7z'xs>0 .USDNnb-,=?gOQlk_#iiO:%{ϥxiwMtAEhyy|6^ǧ=:Ό>BI8lss^YB$ܥ[w(y <<#vHDq9)8us2vj_-q9yNGASiv2c5LR#.l 8B⽀N" -셾4(b"︙wA.9__td_kM[oOfba{)\|DsF)ß}!v_z^ ^y[)eUǛX|;MF (Z:DҨq|{%~LۜQɹ!PzOT^^02@SGi(Qb=sR3 a+hTF@٨CđL:`lyc5c wk62vºfoy]-kQeW Z-SݽEݜCB[i`m?cE<(2}Ö^KWmU^^}rH-ȩGCn)# TJD;NAY4fMRi,Vo7~ >e!UWT+c.ZKP6PZiy [o#^;C9ѷ\fP&e7Q#^1R"?/1jL:`;>EY >0I M^ p*-+6b^O$r5/hIH%0kzwۍ4el`+ _AvxCd$hllGXRf=v)>źvhGCuͪD"kTYHԕ`^N\gce7Sp-)B`p 'UsB Xaq؄kHƠnI?B6Q "뢨0lr=x>c!AGfς?wL R#.g8 `:.xO6OY(J? U^-u&ˣ-td h{TC _e\C`Z ޅxW)ʊ-`BƾQ d|I{oI ִϑV`oi OQ2iFy'KV)Ij8jT(6]c{o P,&=5qG_1Z 6 DBO'4̦5$%4B>2m=)<),] ʏ}^Vv kILG 2uNcЗ)P5v* 유A&'^Sb*` .^35qvc +H"AbWp,УML8.%"qY; 8p1/fYf#iW 4dazAy~wڶ{+<-MzIO~ONȿpDO/ɘ0֛?W@x!Rs'OsƄr.^iݲȽ{pM'*$_ӜKjijum'hܙX}s VXiTfa/#6\'N\~ gp =ɤ)A.R s5Is T0DM%v֬䚂~7* x1Y:1F&So_/mKwOc:T.^gGp\Q@3Эz ٌEk^R 3럶`Of^Mqn:>XUT}e'u5h.r=mʵ]DcYmtDJ쀸 NbYSO1w>tޤJoh#ƳwxE?i0gKݕAR4_T,oY6?F<ɰ 4瑏姹p>YaXI@u8ͣZ|s BMVhDo AY`.h8uѽ.w2]#RgHg-uy1UI%'xOCFQ72xwyc狑ׅ p (a۵iœSw,Ddt6xR@9 "Δ6L1CI%2Qw(QpM&z4~#$WJ:i}" =;"@@FP0DP *?Wryimntej$Ťm  HOL  [ï SM3s:cHN>($Oc$!q*{vE.e$Wa;%xdE|*:bhU f%Z|k-JQi2Ѭ#x[V˜P]7o[]bύGOV,9R>pb@oKijH\o%d j:H<{NF(0<՝Gv3`6gY8|"BfP(4^ɑEht՗=xsvJ? rd~u~+'nN|T˄UM6;vCL-||Uc-""vwړjsb*5^:%@N+wN!}S*^R$Ÿ8P]ϔIS1M o-|lb*t<L-_bCW֎>yqrMwPl NU}ϯu;mt_/&Fv:)^vna]!EpwMҵ,oMMƍp~"aMj  _C6vE 4)wH p2U,kɊ{U8~TEcTqgƹۢzݰ ."NA4 ?N7ԴtΡ,r .ʶaqAADv,x6Ϩ`lsXQ^WM7[khJ_De^d;£<rUerء&Uؕ!qM *ᰳƃyuKiB ة@ƒ44DWp3Υ \M)$9yL!f#†{v+^2R Qcf$?eEHn4Tճ3G^m zBFA@y4vfHVٜҬ{ګ>#w#}vCHLżjO5GCoT4E@I(X{t y"@m徏b۵)]2YnŒYMH$T@66yx>jsnb 㔤CK5hdKT~i4 mZ^Ksz %EֲV}pC!ܼ9-6&[Aqr ϱtHxG2~]dM8n`hD.`}\Q Ԕ7WQqW7gKK-@Asf/n\Bg?= #=0wF}no28DM#GWF,])?mE._fu l4WZEcw9ejþ@8mɐhuVZ8>ՋfM{q# (A;L\U8vDgK`ۆQi o@R#Imjy8dDV\7 aBO10xG邂zEϢtOXI;_!'H4-7B_Fq/[(۱5{ i $ē!L%q+CY95ZM I%xPetCrv`k7kΗAWEg9m4#7N/&k;nI(b5!ŬE %q 4NXDMG*9_Zvd؎/vծDo h>hKpv3R_1jHZ)SCBJX[NfRD:H/@sy8Ff#uzIPRƣO^=A4DgƵ7+gŜi[Ű)C$|'.Z3q&U=Sj{.MF! p2/;dLa'WDXpe I.Ng̞ȸ& 17ćPdhתM;`mS mEirFXt!sҔ,=BϜ ^]L`/ P-J(xk7T4G1p)!B^#2#{ ZW&; ys0l"w&AKM͘/5Aȟrxi\\m!ɴE iJ BlY("Q.  atQ;D-+NcX0/pgYZ7zXZִF! bX]ŗXiɟg_$N%Q KβQQX}#:#HAJ1}'0Ы,i;>COӽO((' W) J|ҸB|1 O8 R1:!ۗ06}j #_ta}@VdNR4m\q,V5/![T)bfC/~:<џ!`O` =\{|T)TTO%͕ 028!虐>ネH` xQ_/$HnZmH~o2Gšp'Ѳ~69$"s~>fogZ! `+ ?3|Bqnٴ"'cT@+d#t-o1AG2S4N*fy|>M5D5cK~"NZDO  638þ4t5n qr.9s,$|%ĜȚRE"7ݡ0]L1+]]9JnpI6 gXK'U#8UQgnM+aHhdS(8=3e u8hgCYt#4tt<,[vWyuwF(!Ys"fD8L- #̮>E+҈,v_Ҳxy~A6d)'V xs_kTAرA϶m'^k bA_Dpj߅_EBh۷L<]!CǓLzM;ydTM|;f~"bMhg{ W Ɛ]aF,5X@8>jwm}bi6vL%|-ڕa` ckR4IUO=a$v#ϥ k9EP*Xz0b26#.Qp@sR0tT;2Lh5P )7(0PVՊ8p'~iJ̅h..G/enVޡvMdW'ccRoG-` ג x2(hߗUV:9r>&t=*WO3.UoVi@*U 4X AFMUG(]GJSg aN - ;LSTc)MUM r\9_.kM: 'AJ]s|褘C'9KXܖ3pfm5 pQ3^1ɃU`}I@+-A>-ƍb̑ ]DeJI*['lK$ kdBDA~"#"Ko8d?;|ڡN k~CLM4qPyb) $D9ܓkXT%hzߏ+<ď["擴I eI|n], Ky C8gՂT>A-!NCg15ZpGήqT og.p,Z5l9_*n6*θeiDaN.OgJ@ ivu $vzGfz,nTlGM[jq!bCUUm aН~O8`θ ZUxo;nQ -XG_ҍհT 9K3$Vrczk^4M_m(giS;Jc< iͅ<`Ca[V%|]OfVCqqaj G{;جq, ̪ujA@z?OEx"kj =bB>Nt8q@Ԧh{-#JY"Y)@iۭHh9_u&y8.)d/_P Gl=K]3-Pڴ\Vor[waKOv㈟jfQ~[AO]ҲZ?o:P1r- n|)%IoI'Ƥ)UKg{J%R׆M=2;jAkGw4{fapsM^z LI7EwMV'30JgQ4vѹ'E{A1?[wY}LIݿKLRLエ/jVƼC?Mf/ϨxzlΟDXfv.%3l Mf~ 8 -N=뢍bRjrGTۀz"?!)(ڳ`Q24aBgΘV"`Br40cl!Wἃ/b G 耤UI0:L|f^濓 >5 9Qu7K5.yMn VFS A$(~`uˈ!9JNw'3┉0qWozl~Ӈs'9>n9s*aDB[{SxaS#Z\z/2ҿj:!~6-/˓T^ۿe1Z=֚cox6'珒7%ܫ,mP?vd(H+qaiNac|8 HIc#X{WTmVYsj%ef2ZbC06 ?X#+ dFkj+G+~^Z8QJ:: :mw/HhI"[.ТF8%{0 qM $3^ACk#/ѹ<:˯SFAZL(w2N+ammf\ǵ3ä@:L$)=#dGAwC~ܖ:r>YL'+ _\!FcIsB38F/6p mڧWvY2J m/#Ze/uhn{zwC7M~MUF%1G: I^gtʜlW̰*}ԗ u)Z9'$a4EQE쳻F0 \ ,g`&'s}(Xgj+Jux!S/|tpe s7Xi1h 7-nz&0.1\T4\@P!u)U2Y TG)waLy{.;QlcҠ:5&-5Ez?ow$W2hp*4tJ9)xqbE1S|o}XzLHIn e,%yq:%}rr"d Qh᭢f2Kw_.e,N\r"H2N]fn..AROPb<'z, K&oPFE0,va-7v r+ˠ :߮fkE>v#he@#Zՠ0M:}(q]:[{#t$^۶[e-ZWԋY*GֲZƻT}9v=?UBANWEHȬncH܈vDCsZ s Iq-Fmte o H n|d?ұágK/tuuJvzGqL C ڠmL*WJr::7LԀcSN?)jM< ZAd-zyox߷ja>Z/lw?aȾ^ZM'd1L-Қ% #e۰Llys'WFJ#]Oyd~,L HE dAs /;H.ſU YM9un!,fVz]MDZ[ɐ_WJ꫉aT_Ïl!Lc 5=NHB<_Eז&n|i oZ;(|J1j ,ޮOuKZ %EޭдWtXZ}[t+8 6wZnWke&qy W61, 6#۹:eu! ʻ08a͔ZGT05H6Va:,RʩykM7r`$V7X\]^sS)F x>u-Z2ymQ$Ӳ q˕c5"-T 7]#"%Wib~]z#x!#U%M}A7^܁؁i>߽\z(G' a~6K Y\łCك!va!)366eԂg@㩑;?!jȃv{pr?%yq s445;RK<-%:_4#k 8jQyY{X{S ѣxxx(L@Z`߷.Hq|Qv_U}>S2 ]= M+bBB!?bP S͵7 Ž(Sp҃x{N65#+ g+W%:AP _Tsz[Ur\aS21)grFAY #J{l+ucnDKj6y;6{77E&Vb \opFhK]P!ۉ|81 ꃐUks@5Lsc?^P9];QrsEj旯4?!eJw!#qJ-mDҎfZuzEsk2@%YjPl0?k~s&g-QDؼ(/zs&/rm“Kg.79sFg.)2;.VbqR5-m@@h& ӒNPs*:GD|4>gKvczqtJ(p&χ;4Xee( Θi/٦Sg2)Xbto>`lLAO` eP dq)o.k\lK"#sx.g=WW]8@ZRYLFH h'|G֧jׅρ({݊uI(yWb 8[]B7-,Bsn`S#fiơvΚŪa11#Smf>K?"Zɏ."C(}\R; Hl :\hN3+ y&;FqG_$dxI6$.ld)Hlk&F"z3qixY@׋/%GF_Ħ4eҗs@Ɓ,t=F UP@"~^5&4I`vq"6Iރa^Dm?"C(A$ZXޒ#L ZGjtƜ/axؒnf!BD cV-O>tk*鐂[?152$Y98,`띟}XhKEJAn~ O +mg38OM%'wh[Lͽ3sƈA. K|yaMPޮH=jVRhT* ~TwLGYѠr7U#~ے( *A 'pN9J4rz/LƄjѽ^\1E&Mkd1.mxgƫjk Qg9;GBiO* KӥBn5vL \CER[gf&pBQz.b"P;ȏUɹz SƩ W Vm_Pb3,cҰkD nm]F |]N̸M_~ rnw%F*L^C;'<3&N f}YBkj#H P'jc<4ɶlsdz#x_ʣy~!PbKN•kH!II*J)H3 -RЍL7I˳p;Ou_) ( }+!Oaգ^s{R#~$j["®(;^Ƹ_SOHc[Xk 4^"?+AB79߽J%A\gl:U .zks 3y~cgN7#/? n- 6AuK0+4e4Wu%2ۑGPfA3 afma+ğp: *|p 5#0/VhnJ$C8jέ2[.260 i| K1̡Ph~f \; ),{Ov@+&h719\7(dcZHל06uo 9܌FQ>dH j4Z2wX_IQ-C@/Q&,^G"=hv/WL^\wG,+B[|Ŭn%.rG׌7;-m^$OY|{x?C(À :2 A6u CPSE{RC5K0?ZyDB/6K3ܾbǜ4i  "c 2!IV処܋%+jPPLnئ%-Y;ɘ*)mAF^v0XZLg%ЄSL>Lh)w_y͓4ܺkgAZZbVU]éש@E61Z'my pqƨ'-emWX<% a-<ߝDLniksAdlgtQ}41^zPLsp'jst) c[= U4 T9=&%2S+Mk`ALua\͟D*S 1B#Z_\þ=j6-PC)'W1'q R=2L_16ڕ$]hWkmݏn`p/'_G3  s5nH Ru̗63,a`C;Qe.Y:aK˴5:^d|xHhK˶3re7}daP1yyn =b'^w~]N 06xQ`:L~սb`F<郐Ce֣\@TW.,bB['5ăyOb_`:FQGrr[ԏx .57$ Q& W.&+J9TZ 5~tـl3N(ގb7|fy3H9,cA[ pבh>kh@7siED8E qPfY1;%"83{KE:P儨iL@WO[xNե۱jJWHd~&278x |ܷi-$fڷ2ؼ(8~.ۢ&ZFK9au-a11źE{H1oa(Ujn<(=d0֞ W Q+Q0hqrT%=,EmnSzGB4^2"=6BxoaS+2;'N4Oī+1 %l*zq|jQ |I"Qda#<"4`aҏY)&tړ,w+CWx8=)l Ui=%E +Xk o/G䉊zmi, xNEDݨ%Mκ1RUndC©}Ş9U>Gm _nEG>HG$w7NmN&E ]xzִCm9ݱ sdNj BƗXK$%sW8$)\AB."0D : 9y_JAE;# eB ǍM.]U(Gj eCm2 ,ǥ^}Z[3s+ kF b&Mr_$h5gU~f“|!'%h2Q|9%p9tj#V)a'271G5K#] l3VWː:J?/U0VyGw~[(XSXM\I+ s/u&Hp%U sR_*8bTpUECS a`MDRTJ%%lzu֛@p[1xN&SSҞ{Q _.!Bh%5ٕ0,23TeBOX6'ʽ4NJDñ4IxA  , w}NK␔h!Di+nC>u^ZV{A$/P|:3 K7rGw@7 %~?e;#][e VhҾs)tŦd?,_2اQRxəCS ۧNuwFT8E5]M)R`ޣWGvq4[wscB2D|${xɞB;eatrȼ\5v@axK %q&1 !2:}ɞjRӀ6ysIy!5蔸s!:׿H|g̷~fhA98Fp{M17nc}+&i%Bl97ʰqUDkH`ғoGnOKBo > ['~ϰA؊ZB h& yZkEqpN VoCC:Cܫd09): ~50٥P0nFf ƨJK̍в(hy9Si} Dd_}I > (\RmL)6`4 ?KY%=9xN3"Yz#u*Iy`A%V,^qV n. 1qxZy)G:VjX5}rWz@?qaMBeSBzIY],PyFRI, PkyG+؝7,*ly3V%ĭ%<2ۄ8"!oi7c`ٻH}j=v'KtR9j-uր M5(H`sԅTEy소T{1 A[RT 'w-Y4ɟKQEj 9Lσ&Lup@> ElM?ֶ-{LbU&O< C`,77h)`v3 UA{= 3_(YVk z{^/`kh˭urևzhZ^D1<qRZnI~MᜰFƏ?H)}l"{>Mn4G{lCʘ⋺pܨR2v=GBMCOm&sj5sɪDvAvЪ'l3BF@b,e >(bԍ \}?MI0H.ƒ˫rŋym }}[~M)hR0 vq#X)k3'NVR:FO7Ȏ#$Iu7'n y,RI>$~qj{# K1ܝdoJM|AL@C3Gp jo ,z Μ.&FOv)~z]!_]gL7(W(Ra" _)TܯD6i,N~w xStM2j xsţ9|z+XԎuTN"vV!K)$)cqN^ޚsOC]_:|Q< E'_뢅!'͠Wi<_+u{͔ݡd TD\mVtEK<0)~"܄J2!gr?z@1ϦfFsca3qccOl$MD9ÜoO$7 pS#-J2EI%Tf}-Ma rFTFEo/lE I.J9"!+5ee{%BxԙG];bJƘ&ƻh_S`r-fGaᝏV| BvQ-ewW?lp5}4DʉL=^u#Bߕ؃ 1&SG95,Gv4g\EH:/kBju6Y,-oTĐӄysagkҶǚƒoFm N=+}l7vS~98FC:bC ʭ@[^qf0X:$i¥HKEV(khC2asz'g G֨;m'[u6f^=>^KX0A"JA%Z?B(zpf=**9M\-w TfZ}};Vy3;c uu`Gb{Ú R=C,:6v;1owaCH~Jf K;5Lfk|tT(toF ~Z$5C#n-!0il*.EuXQZzcx^U,!5Nϴf@@ ,-㠤U^ި̵_qRiEewV_ss-j]gE.Ty2qvs%y$;,nk ]"IJonѓ6z*w˹(NΠHV" 8G= 2yŇroq0,T3;+jt Ct+YAdK72JaP&'D'wX# g/Vٰl\\⟚/bMݎԘx3:Kx[?5P<дve$f%ϻSu er38KqVlD1|Hܦu5Sӕ H2S-cK[bψ@"«=ӂ}ZhHzbWT@1,?8$m^qRO5SJln[_j&֜ܧ`5{4krޥ$E2:恲QԥP@x_ԉxSja%>FYdn&ry+œ?'❀%6-WQ Nߩ>? ΚXl[]i]vy&'{[w%<71 o%@eq5`}]bP֋qQR}G {WvK#> jNL5g *.g\PsuQ@HĂ"AҴ3_" 1%>d BRy4Y30NJU}\?mp@uY8!oW }m;2a0N³lZ, 0Ad=2<&.蘂=Mi^>mڵxs"}';&F_b:w٬uёQK+#‹؇蜆bI<rgF9 4|>EO Q\&@a1E\eR{Ѧ18jH}DD;] S\i(`4XdG]FPS.R>p‚j%# |<#/iZ sl>#v&>Ҽ66/'&K/f}nlon_Jce~Vp-SDuZ5 cmwLwi/7gy0IQ9%B0XlfOd6fEUc8/)#V=N8j\YJ?׏҉U|)prZEDI@ztBEa dW˾4&[`p"[ an 76`i^O!39#Sa dZ)kx9g7 4~}3Y[y;޽[@+KH.Q/~NMyn 8"oVRZ紈F6{t&7Q-+ˆFnBk04-j#T'g=d<NLXfco1]0MWǹ_ }\~PAzQz޸NzE q3[$t⠰;9vScI{ʼK)*glI뚜ďIY,e1ዃO>t[7uK˿H.?OI[Bs4)3S:4B?`i!ݩH7|7ekDz |~MMjnB1'BBYYcH!'.  f^W4bkt K.߬." muv#TQ\]!SYwiz8h4VB.` ˝F>k/RՖ7 -S7Ij@l ZLmV˃drN fwbhv,E/=ّ"pJյXJ'pe$ig]oOIѪ*:Z>1D)@W=3 9䖥֘lqNp+4)b||w 4DfKl>??(kkZ/8چo͖fK0xp֪+Yψ<|dY׫)3X{ GvuǾ8mj`m~suB,=֗Cx*<6E}JÜVG= `n *;# |sŸI@bP;-ݱj4 Mw)CLi3^1'vG}T(Y#K:z{8z]c=UgTj.|H J,)wT5]eL ~+W+4ft6{#F3ɠN@8v؇c3y,LMK {Ye@7g֛ ܇() ~{ E^1H1x j]C6_x@0UTS-8\1ϕۡ8],#<9m{fjmgޟ%BחGz%Iea~p@Qλ͠n٥3nA8;1%ۧj &$1 n23l1D?pr% kݖ7ʒ9~)K6A.=xW #}R[AUŏ+mȶE a ќIt( B.\Xz5\z{VP3J:>qؠTȤTzp2_ t`mqx_#&PӤ#5Mt 9_+:I]nt Pj2hJP/Ϻ9.>Ho^y8NSpML=,洨{rrq5q18>?~} _x:{GRShair-@ 1TLL[@;Lxx+-_Y-Xl=eAU`jTw>EHat<&STLq/@`;E!|-lӤ#!A7 CVjk[!T\uF[r6|nuX C%t%\hJ</׊"@cv&#YQY}oE>VDm g_4.lut2}A" ❕a׎. ކ-_Nm%@ӄB[++"d9 «sP.Jq1W:W҆S NRy@r.4n7#sn@Ѱs,\#+<+QHC`:Th1t}ϒ2'V_ G{$:>Gi4@щ7RO/JɕƆ4n,mm[)2j?d!_vs`pؘ&r6.lWAVP(S !F? (*)d9:hđ,(,P!n(,>Dj?3cSBQ颎4A4{U]@|Dˤ%e\d+dl2wqE6W/Y 0͉ujS8MTb_6^⺢G_FXw, %|f)_CN@nKd@ԟT 2`-jEo4pSJo+B/ X+;qWk_C28ߝWeXTI͜^%:,E .B mΧC"I,>,Di[Ҿ~tPDJpX$X7D(O,^]ܱi %DfDK M|P3Fmw Q*K<Å}i<6F_P%בi@=P˝"/kQT+ x.gA9=Mi19Jy VL d8V(.r@5aƔ$ϰ ԛet"H Si|m0xch6y{P(Y}A-5.'PWU ~WyLgW~Ji#+]ը|~kNGv%r,nMU,޿7 >:0eH3žH N( wmDuq CYFls*F,WuQ:\ "ެ(4t7uGUΝ4\,8RDQXsSoiyi[ OywKo<4[Xblq@^b$"8 h3jn;X k<=Clwz k@ϙ<="/`D ;QŻdܪ%D(bW|]`AL>dC`օkNZH\k(-ds`m0/3KrcꈍCt6$Ya w _#55D t;!Z0~ W"PH̶iB$Ppra44]9=򛨅H 5,E"*e%~w|WT*+~=Y-UIy/҃4Om3q%+_ ?Ȇ Ċm9 }>#>LB !/LY 0Zmm}ح=Cq_gЄ'`nn\AB]Z+uvc./-vM+B_U)|Y)>k0̻Y^n+)i{GA;;XHSb?g޲@Ons3ٿ,qqo"~7tҝ022G.i2S&,9׿B2Ee2z1e#i(P u(p9>N[V!;ُxrk\&#<<9@n Ȇl nҕzƭO,g3Klq%@%spOUd?F ;z)C1b!a,iol!1}9=nA-v ڒR/%xTyVDȺ!ح;B=y0!Uwt[ YD)A3y &u<ꃾUƜfDZ6rGϾE,vbEar<%Uz j>{B U.= /|GsհY"AH1NM޽'`(|1$Jt/I%,@./4V~ A"8S, x];Q= 2bݩ8EY 6lLǻL]> >-廬dtܞJ-lWD.bUÈD ,{}Lb.,8 E5mTdd㿞^Ӹ~5@N$&ȇ@`fZx1 <Wl&? u CV`5[&t株VV퐮ZICI3ET}$0 ScCeG c:4=ZB&p "l0ԛƪ'Oju@&`g#}D{ jVkB0^hej#,ƒd$"iOK4$9iD^yO-x G8C)4qeE)ћ 13f;{#U3d /Iksj8=GȆX+"O"MlE\12}9$s$+L3 /iбߝW$ߥ(}2nO8IMd:U>ǖ?Y"ɷy;RGO{>x~{&Z۽~'dvK~|8Y#w4].#y + WM%ub+X4'Xej[^虪B  ߪ( (8|@zοPAc@޳ L]%Ч"8ז)1C'ޭʤ, 5rV m \551~}f.\c㒋 ìĻC˯P+#SnC5rxˍS]pS@T-Qf.RF_ pN?&uctm!8Eq٬SBzo=hXoV h\NAe{ eX/˺LőR[pԄ&[nR*u$IUs7 6^Ʈng&'Y(P¨CÒ&ygziGަ<1dD y!kc OiÀ8(a! Q0rEQYB L ШT1 $,;ݛb}`Vsvc/  9E*5euBnwK; tVpeqdC70-!%:-ye^ O@$؊yen$!8QmzbcEMQ?dx+2 Eέ&jZ@Vҹ&0lkīul 6azU*Roc3p gr7AIɼԊ3j9.p&p#!7sɌ>We@9)Dd3xH[ЮD)7D !9()vWiG0dsF`') Q&iHzPhK-2/;g)U7΄ )/7PݾSWv@ij4i,e4,CD~HXٛC0K, VIDQZhiM53N'L5Mc2֢Meoǿ4&! yA,[U5 cʑyхޑ}u!&%[M!bZfi;:C"s2"d7s"ӺfcBPʶ qXQI4N6 EZwۋP^֗ؖW:S6V:t,h" Hʉ:1.?<=G'E NV<%a6KAq/ vzc@+BN-~ӧѼ2/;^Z5н ozvQ(l#,j"F|dl/'2ڼ%v$ÍvO7 59|zBJG-h0 ѥ*yxu;Xw'X\s[_z:>}*DtQk s9ύ5(2)Nd>X*O4|&`-<=x򥽧 = t ?r%]'BT^ [c)9T”, M+H5Ւ{TKX8CX[R. uH-;Fhfٳ"!?p#;pZ07T+,p&%-԰"s,eٓEX $ݓmwK݁f’M@*JחuNʳAgYZ17bf92b919b21004323055b75cabe86710a2d939c2093642ce0e52d658430117f07a6a10f135143e958f81e74e154e8719a792f45217a865d1da1a47