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  L'vl\D ]w]CAVA_Automata:threads=4elapsed=86.503cpu=139.500gc=5.8767zXZִF! !o]ŗXiɟDYK<;#&zFb4`qr`tEpQDq&Pд~Ԥk4|} z~ygA6ZyQ~yh;>sTFУc׬xbEw@ף,feMX7WE{U7{D4JMRƒ?\y"@ga&ɴg},nť`+ϒz$\:3n8,z!Q.Kx9^%O|c?B#B[_CE8K8!2UxG#3 q8u2/MsrFG%ѳԠ O ɤK F |tt)'T^CK:|x cmhe|_`Y U7g;*s`$yM޽"/eu%FC7q¥gg8Aue?H90l᛺pN_rc,֑s4ȳ7Ԛ#E [żE Ïrp0#O-n,w1]~aN೮1o* pi\D /9X13z'gxD&Uٲ00!^"/ 02~@'ꢛ:[~Pslxwns̳A弘'F/<$c&ɫWȶS^r=Z3eB/yKfI:]P8B1D$ Vzi;.ef).v4E *-ш@21[`NR#f u̞籖Hcw/޿5l!+jucU1Pa %03ZHSKrhʘ=)^:6ߥ2޿@` uWRM{Ֆ/Dehpvj{*b 9|;7t)-]wrD:[lg27jP`a:i#4tst)zTߎ:pWE%v`mW|ZIgtĻ>NƲ@ƧӬh@%WKy#P l9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T$~|S,DžYDb IY'zL ٩J}r4?O3Qۖ[&NaK \gYxi݇C8l?$]dP5S<Jÿ/ ]x|PQ\۩Ch7ש.V6 iU}'l уAG6_-7C )&LsJr y~%A3QL/ x>"_J -E`\mvփphk c`{UZd5Z0Ȃ|)~Ixw&֫Q[ָ*.Ԅ`60]J1~pR{kT5 }6!/e D_i*"7ˮd8RM(Bxp K7#P>ԥ {U3EQG_scN!if5e3h!-U῕X4Q5g 2J{ ˱\3s2쉒vKWzH!4ǚ ):$)U!ך;_7|-bľe߇ P_4|d,sX&rvr1t:IoSjT3Ѻ12C/4>N,\[SljxZK䐿f,{Kjo{@c$,Lg8L w*BlXc:F`x m%VńBbkѢsXK?-?dwQk$K FqZȎ}舓 S){" .NUh7VYwIm4Hxm{][hd39#4%VJpOlF2 EK`D652n@!2PҸ\y^ٝKGj<Iy!$̂ˏ9S$KK%/Ф^ylv3ϧSLt  <b¤t>sƾ#&v3)h "(,{k-%YO Zo}el{dg7A]cy@Z%v+x7`!͋[DtMB'M*!it!@./jKC7d`,t"'aʆu.8es޸u t)2׆H w;w<2&}&D M1([=~hќa͖5o4eqBc">2DB8U7[KTcD >`Lu-' kC#aZKț0z!x7UP xT.Ș9JY+ |.k|tGy>.8PrBH4G߰2@ ZFTc6FQ%/ϿS&ܱ .Ftl`Ym5V%`i託M7Pr1D+N=JEq]`S_QF5%|ջ独)'w?4j[mzyPnՎkPу W׭Wj쒓i=9w2zP1ifY=n [>4*8|ǹ%_ / qxiCRgI1w{З-OM_A?Fя{$p#W6FW?񓓐0 CfSBv~"VkȆ<2B=Ǭ)>ZâoC`Ìyem:qǞ?֏Ê>(0}2 #LC,DW!KUg;$,r`\s?GɵLƤbBJ5C<$ kRWI p1Oia-((>kZK۱"^{#G^Id: DVsh> ܯNT - @ݷDufT `.86[QWa{%uRo$.|sH4)0 ћ[I7n9+qʁ ;i4]^2?ЯޣFXYgT.9@r#I0omPLlshe(ek{+o=w}< 叧etVX ,z$t$ ?A `aU7Hcvef6KY~xԫA> aͻ)Ih^(BYo7j$NIB e[ [)@X ptk .@]'{EXɑ>h9f)q;sXYcR<u¯ݞ&SJB/3`XE^n-!@K4O& ^tDrIL:8ߵnIu]"{n$ǽ _ l yJn?ЅNz..yz{k'Ņa3)!Ty+-31/Uڵo5uzhKI4oS]YXQ:|Ș>?XrB>GҙQ (+[/bA~Jޠ߫-MQjSQAEf&` lW{+W|)SOt>)7*?4P q7!W9I=>wN5C;wģt5~ ǖ`|݉Kh? Y~`c3 3.olp1RS^,Mgސ['d%p W>,^w9w,1ymd?Kfc%sLh0eX71||8'Cb^Cj[]p:^@sTaF;@ij\YKw:8?c&GPhwI,+ƫ{D4c*0P%2m ?>~_ak6I5|%fk 1v"ͦ+{EVдU5=@H]6$ 4rjkX/ ~,I[k A`a%xwa[YEē ){֯UJ`0[{8`%7Lܩ\,{-iRu*m# ֍۪`69x);,d1%߀+DpMFn[ie3c3yE:ںP*8H(RB4(i-pa#Bx_~BpB w+{ÕTvF9E&1GrmOrv9It*" (: ظ>(] 3nmևGtN'M+$Q;0 xOU.S+b㤭SZK˰#|11H9~`dDV΢􁲟#rVkI5!G]W8\J.lZKa^ )Sc'eDWZcLS]^H98Rz@Ӕ7cH:ڻ}(CS]F=wa,{aNI91 c#ٶ[M6,Q,Z"BTW&h]%u7b{M b6hdiw$noS~p_!i9iqȤdl6aӘ8K<-"-H]W  -65#7b*nkss K묦 mGvb}So`id>﹚wiC Z'Ά*< / B'%PBdN@,(KWԥAW[\\o2P`c@ՍWu{5kǜQ.&,{7's<{ggԸOpg:"t0 Ꚑ'ȗ% dbW>Jԓ,6d OXvD*z*f`H ;]l*?~0>eī^ީZ{b|OhG&ajհ ;`K+B thʜg&XI:JB*{ӿZ"v-Vz9 ]LZ qJ,(q}ܣɳ*ʂ\Y_dǪq{\Zr;IMƈ`QqDcfט!H~[!x!N'+Sܡj^@M d1I 3 kTcMyoa ׈ ^2WtRg4tEPc 6A=s~0Jz( yru(Z˯T5| GQ I ahcWs'FcK|vXrQpj\>drFDK$S¡\xk҈V8 ZoUJf L [LsL=㇭.]믝 ME `wQR8ۢĐDh&g*JB )y"QNTOY+-KHck.4gˆQ{lev_H{yRVԢ إekK{1+fk+0mc4ev]-ʯ3K5՟C%m 6S'VЮjtJQɇ6Ot[,z v 1Nd"/B;~f*_p.HH 0!q1sDեEMfko- {wjЪ1~4F1d4c=$wڍHtBQG̯v)0UJͼAUr PU1$ek y-ZNm!Όs6Pl9NyYYV~ץRӔug͋^G% ӬkQKh%L\޸y<'^]v5e̠MH ?Rg#+{JX kSd|A>g ;Fԉ: |EFO[S,$%@8}4 HYƉ)Toɞc%JDMZK[6Ǩ"]t?} +)36$d%0:Oq#ZjF|QZ<Ҁ'3ly3`zNRx5mr 55C.p؇G`Sj$ !j2S*D@P~ ~C(:t+!c5:F&[*֩uvߗGQR/ﺔ~mk]P gR/Yd@NEWOlb:''G*]g#4FP,?E^k7nXK:++p)lTHE 9j%VNЗ8-s?\72C7 ]`iցFFd*"Mk6'و pSB2@fC $M.JC&c彫mݲ6jo/$JA],Q6ͪ Moz} |VDN -|ţ۬Xpx#ly]#G9|>d劋 Oshweu(E)p6uϳ9+pU:/̡;f;߻.qгd-v8zU9HewV!b7n^c@nGB76y"]aw1@ fPsvl|tp-?.!5nDX; RXsGHѐƣ^N|X/{"* Yӏu$ -ajьLJVrcH-v% &H"-λON'祿]J-R[_[$^,)Wd]%#` ;P"DSjJx!u]!&MG6_3Nr{AgA6b>9Qh0s` ƠmȖpu{ 5/ Ck;s_evce40`tԻS:-ɺOzoW_]ӜvQ kp*.GCBW_Nf8 iԸ2S1< W܌N~#PH7r%@) * $`F?r(+4N4}~Ʃ $%|'WOpYC36 rK-& )WLnڌkbޣ2\GHS')$P{D8q`հi2D>fm|FRUߩu\|K |M`*#&G6:Iq-lO]6Xԥ` X~MEqCwj]yBu9 =E/a{oTM8= v\X*R$#`[DXBJ\`.]4$-qhfSl/7fϊ4+sݝ=e-͂{~;1\ΚM $q 9Ðj%Ժ$#<%:Ib9FEH8?Dju^5s`J{N"#*,Cx@Tc ;,k9a6F \@6?#]v'$0da60 `J^Oزx^QP4 59+{l*~^gT9PH_ZHݒATeO!Dy]ٕMX.re>eYW8yen l=/^KӋ ۭ G-hd'|q?csNDMjbJLsBPܖ-T96.#th47 Ӿ[)'JusdYo$7 mqM(Q*eRZGqӟ ʧx.lpS: gr1i)IӠAQW`P!d0tSŝ y]'y.g7fܚF#'mnVqe7e=뉆qB[oU%K̈́Wa"8]Lnw%# K9ux^hy_w2|Jq wJV<*oƂOuZeE3?}PxG0{sruv1QB4*+Ph|%~{u5.Jdvr<*.Sv\1J iBOUR;Ҽw{y.4ZL^dl 5 '1OU8Ϙn,GzH$G/V<.qj\ ŘI_AhTjs&\rf6_S}<_vsR)A'&Liҵ0]Q3ذ6bn%XJ:'vWe$|sk0q썤8[O[˖)#j_#rE~S Do=5.uɨX ~/'<;| ߥ -UwvrԮo#3Vډm/sK%f^z,ʱKd| vohA\C,1x=)+(N:h%#F7>ؠH#ZA'""u[%֗tgj8=P翛J1w4^Zi|`f"9&WJ `Tg}#pNm_\[TGGqD 9_eNˏ|p͝ sJU6R#3|PX<8Hl]X$DOgmS ]! t Mu6َ .xٙ_69P2?HSE+o&;"{YQʃp!50W%q'S>fK a!ti/:zw3PSX08dNòΧܖ36Iؗ# mu$p`g/L>O g}9(MNL9 zcU-Oh Yv4Y25;=gB j7պg=n%hK[{[X3BlAWDq('@_[kIff ,XS)O<4g<]O4Iri!^zW H :IlXb/f)*,c:wD ]ը1}Ro7J-yJl솤6Yb<(_ݢ֜ILXc=`v5<;JSc|I;OV[w]`TyuN}|ȮPH@™+L@X:Y)lݍ^ŗU1Ɯe?d--/2jfɣLcpJyureyS5 ~Tv @ɠͨN9 ܲ5ȼS^' pկk4mNQv @R lZts4g}*` ?78aֽHg#GBoa;-jh>\h+Ci@Uam,1RF"=R1 dj(%=q&V260bNcN&H$u^Ӥ}GK?m,f|TF 6\\3}`R i $29Eu<ԣLb\t(GuX[> _|YE4% ܢZ'F0u;{uNT}[E'p-Ì2ٳOTG{R}mdxiXW" E8,d@N uEw\EVE םtE*KKf9{=-8[ppC`[e-ը+QәI,|Ο&424d`SkOmFJ@fiJk} lqKAL9oy;Z9:NXMEsF_KۑL{'r1Yq1rx\ xJUEU}C _&'[,Ѥ:%.4:WK h.;:يFo/ #$)>F=G.XUҵap[{gf=r#$I"c1WQTE?z;8[ 1Zsެ6%fIfta8mMS̻LaK?KgysIb1;IN㗒D ^z2̟)Qj^fc.M\@HQSM\ !_&ϛy[إŇy͏5GGlk1CWߤcƐb 5 tww1W :ŷc[LCp:G⥣PAhB{ħ|2ajk_Uk"D s pKK;pViC_O6)tTCD3 ƁAe\ZPbtH3äq8t4dL'Nfñ>ȾB@ ,: P,WwT2X0S1OPIGEXq%8NgY YIJ(A!0X‹Y|r?VR|f%"!ܠE'\'<5;_i,l! *%@CpO} R'77E1?%h6tI3t;O%M7'32eիj{{daonߤ45+F"@KHΦxiǍ#|nXDRXt>B' .yOI d# /P?&]2ĸYgaѿۑ8ڻ}/!&iqۍ͘[|o92 {Z +ݑ ]Yє- Rp^zZ:yvz?#6A٫,fV"߃(cBz3u6i36Ѽ/˲sxwi8r|TiX=QV;k%3`VjU# T' ~TE!i7myP{ꮋs$ 6Z>e<C[Z]Vϰ<-IYIG u|5(g"--z".w k!&T*һ s *G[( JtnLu4̼ދ$ՆLo+0@{;z sޫḼ-xg?ube ܌:bfAw9kW44s>8lM2c5- lp3E] -o<&GdFu=*왓 Zt~h &(idm}z^="l:يrRhC`&f\TKFQΰAB;>!"?-l?"'?#7.~ cO/->*Y])Qi2}NZ|idEjL(TuS@̻xy\l(:FDHP@ uw;l$1ބ]NŲGgB6Qu)t>w玨 w] !;@aDd!)5E_]#ZjH^~S<_h-QojCjkl%F'ی!F|27%?ʣwDނDmoNᧀMN,=˼I[&}>5DtK s$iVI;"N.. t9(>3 )WT\(C-Q2y{B t:"t!هH?ۇM@'B!%Be=` xDq)N*+ru:}i,s!r/ZE?-0=+%8@]dizNjuH8A8amw-XcMĤkC+ʔP8{t-.\D]-'=ޥbu_2~.f>`8'bt2|9{-yN*: B\ts1v?ߤU s+S!=oh0#&b?j W2zHx7ĵ(Iryۯ 8ey5g..tRBvml i"C*rXh)Yt>'g*CЀfIYkƬO5!غ~6mq60]ظq.ӸF}/[.vBde6oO'S/A"Z$eqÀ4|wu5ԠA1ہL)sAW 2h)ynNWU\TD* ՐJBj-r'fh͓f?6d{;mNj5wUYt|:oۙ*Y&"UFkjdQ@u1{D]UB Nu]ֈdc?):v=ՙq[2ʁNyGyn._ʮ~#^ٽa(^ |+2r})qm‰RXMbdm?κӕF4L+Usx@W'EB0zO ä6s('~~}e13cZ2%ou탱vػ3V}k!쨣 p SjI>/ B$XԄR4KKhkrdbsRL%~U^exRH$Hda`{J VW O;N}:la U7KzZ4 -z-f֟fMf=z*B%`bNĪ]ƎXr* )X C0u(nVmoxxIĦ`YuxFŰ5$_sb8!|U[쵧0JpGB ͨ鄚`{WWGF.JVkN4lt;^|S2#xqͮ,B2.w#6ƍ ,G8ʥs/78]G <02ӍlGa$JhS+|#~`%4ĝyzq]J-Z,Ih `R|=n9{}ym%s1|oUoX{˛i*(XY 4ڪZyoc߯!͎QC{ Yΰ1E4Ƨ-; ߵm%(Oћ;YHҞg|6ϸ"Euzwc; ot@0)ŸnǙ |q97LUoB55w"E6XKT}Eylwi :2q)>4@I\c)Bi<^L+D1-^lw P>zv!9 X [s$ ;Xf"hqĂT*((aJZ53xUleY2xuֿw6T"U2鱏qq+zJ+U k|9ceT9|K3_e.Ϋ0~.)FPĒF6&YMd!C<Q,`?@JCyO>7V.cB &Y@{S8E#5$ئDz遣JVo=jB7v>b% -5Kop֕ӽf֗G?M<s,i2fp'v"qJ W\ G|*7|bQ.% jX svd2 㨏 5䭣STH|a/bJO>;3A߫z$/zGIQrfJO3rSO*\Dۗ-献^fE4ni\Lztuo/lNHk\1Y ly'%\BhRVQ(}-y~4NŰVx%kn?CG{oGqA2u>OᆟiK 2/|^ؙGaQD1@4NjϔD (Qv;Us;JI5J@iz3?BgL0ERb3si7 T9!1:/t&$97.@Q`Jbɺ锹(KƥqscD,umٜ`b H\ëLC\Īa)m=7>9)mJ@Cy1bɴtM]r v!$Os+cJ!eҐsa2m (FXhFv fO{+]Hzzd&FfU(X`ˏ3aJ0("&y a+-Qc)btYC c})bD`y::wd|լ]+ct^0x+㖓Da{<p܁Qw~<ߧ(K:"/6ZB2AX~Scþ#̵͍OSPХ<Gl4sz osOhxniG#JX`s;w [Lbs#}\gW& "9@)] YtWBE&*l ýM3b 1&T@CN*:S ztPXX0\v'\O|pcԜ+.l Qj &tMlێO8pyRht,a! 8KΨLe*mֵƭ}?1#0*e_anۤʵ&T|ϚB~׬b,r^Z?J=qlY1l[*t",=sEmm8l48yF(6M ݚM瞊xajNnb{I ۘ\>Xe٨6%1a%#U%O]d{@A|':"w6fh}(e7=#IZB걸L;jw*\Ց;JTthiҘBXsS=G+wh:ֆ/ck|:7t%h6UhigE~Rw`DG%K%Ȟu<-|PȠH.$iKo#E)LKz חLҴhL݇ޑbe7$C'g~臱 ՛A KSi8mvKKHwɨV:}\0Vȧut/P<õգ,0y>lŞb?-`~6#Nd cY*IO3 ,t%J5~G aܔ]j3иE9$#AEIK; ~u ['Y0ƞ;j)gD .6itm BNBx1Sm sCaCsndP"NY-$Y <f[f.YRV;Dd^DRZ OB}گ%ubfJ0`'#w Ѥ"H!Z|>\g6Ԯx(Ci/BNǙN^Sx;1=yxKԳA<64KZ#+~O)L[llhf?Q $πǡ0'0gl7]KS;UqNhP>i|mA{aZ>##$ -f28OuO Aѝס9;,~Tj]Ը?&"t)jAfBd!X=e0pzh#mj@ ъ)3zRRL*fM_:N <#^(BRwwwJ$ lӨ%;Z[1OdML,fХyбg9r,dJzat[G5W} ckBɒay feGmB2~aW&rU@EExQ<kU[6ZF<У4tyUowC1|*SPvub>y1 ||9=8pu@ b2ҊC{9e CȖ70ܤ \BϞ'`MbO 7E\Z(@zMBGCi#Hm)6Ȇ.LJW0VydAM/%"7@4=m0A&RPK!,=qLc1?1e_s b"S8Iy1c8ֶl 9=zOlZHı \}' ݲ|/oW{ oo;7TD rBDf8tѬک%`b9w<n`ffh3yx~ ,dh̟7PHzݶPý#A2}M Onߐv,Iݰ_f&P"YL%}{1{r) adXoኲh vi6! g>F \"JO?(7N Z~*XˤD 64DVB7ΫxtįK.cVTߋr z?Z_bN?#O/u-Dy4dO_nr"38X:cK9<x0 >%*nXW mxm>F\7!%;^FMߺ#ԒϛHjإCi.J5M :FBG_=|fF3wC)HeΤua(äd6tl#c@CΐJIao|C?rG3{N {pTyqU\<:R 㔦ZE"%(Dga8oբ@oHa]M)`9GM:]珙syi%ڑTBC2XQpW+I'oIn26 No Ly^Jd;kuo&d9oFMLrSdX>Ě}6eC16s1jm`l!*/$X;Ya<#F^IBُm1UlK7H~ D&,fɤۅۉΠK(u/h*gqʐ{%lW'3J&-T &,5$71eDR9+`ַC_o C=MKxK4V-Xs8V-̞?'?P-uחH oJTB$ 1+6W2}z5*ORS}u)=/g֊:\n. f:-L7yUe02_) qw o3Nl8z+wvWW}<6Q0;*L"55ө`8 `lڍ+uNg"4s۝W`7ZPA _Q+wJ!z۫rD{5Xf*qN!H;Qӡ>('L5F" ͰO3|uQ2l46@^Zə7oet*Lj^N^&$' NĀB|Sx iٍ|;N'>Wh~hfk 6^ <Ԡ, lYO"`?!(uh :ɦB!B3o(ɖq&G<=_Դr1ŲNnGHEu,n G`zQs{ UD3p4FQNCWsEju@?a/'MV*[`Hz2fc7ɶp-Y+H{|I~ Ȝ5uj׼񖦭Gw XZV \m;QX?)MWYœɆEF=yF}>OVwp,&<rY*)~Q& 2SΒ'D7FWx\C$Yg2'CKs1 '`l1 WGx"9j% II((vk=fu@DXhv r{WN|%d$5l p}38 2 }!2%۽R)N.S}c*nU\WE~YKEywPowls9^WAwMntE*{*5 3ތpa ZhyZ>>Yr(O@Ƞ۔7Wē:m ȯrgV= 7k~ wu _hjva%>Wrdԍ\SOǎy8UJoA~xp*m2ܐ`H%P@|J|gh4td5kwhZfgo!6*롩/Gr1tV_i8͑ b{} {e~A]fpOp+/JI=^AvRqƘ/mE{lMʭh)[J!0(BxK]p&CPsɌ:[8p nu8MȞdxj6J*_WIZQ"cDlΤ0u]ĸιvFu P^%•]yљesD9Mp(kjbҀkA4˴vײIPc rhZ?k]|0 8BBYŘ:-Lŵ1V7XNwP$PO@1> Wu9Q9+DI}Р߻tGǰ֠n|)njlCaU" BrRZ H)ۘ;pO[MxϠ!LHEdoJ֯\*GE'^MB4H"KpNk:(ŮwgkV׏ʷ0%&}R(xe?݊`Dv-kxۣE>a(Pd |.#c#z^q-CZ{x-kxMPŢCIvydتq,E a"IXF{ΘE*E͛< Bg8;9cQ2W2q'6d<8x:M?_>cͲiu;E[VhĶTNŖlkD'"NIݛP_R!$1hU-@d3,v~->y0*z;iL%Ac.iѲ-nꫛ ޺e=q߼F:ʍiJNš9!zM!_!(MW$T cBn|CVWKr9A2Q ״ a-ATr-_OC$JGRCyĎy ;1p"1Ζ hCG Z=SF~sȂ>}]CL|rKU'\FLv ["Ѣͨt,*;=!󓜬nnKslq ,%OL6Yz) QkW oL$\pgwG-|;3y rUssB?<$k?R>Ulq{KPBN9;́]gnjVqwʓm7pT v*+~'q7c1O2J i_(`& mJ6?K%۲|pGaxx!k$ oa\Ņٕ՘q[VC:^'l,j&‹=%c&SR >zDq֙ e!yllvYa`k Q{,PPMEWzĀ8Dy2Mt˾3/?$7f߲k&`!W\ҕqrq?ڈ xNR9-W@M6D K mVjIp~;ⓧ d*y7oaŐppwmKعEsYoFMxrF vY[s^L|Y)Z36=K)ȓ!٢0$ԄaG3A_E;kΏSR1erb/?r!&]S2hk"3Ƙv|8:8: ++|EPaU['[#^.Vޖ g~Џk濎%HsSNaē2C!S˸?k3{GʲG}jT桿Av }bүN"mb*b ;xω9kR”8Cu44M.9C=aE^WʛPsڵQNM$8^uD~{}yZ |hz⯝F?)ȶ_]U"N{ sܼpHyy孙SWNHK%V1BSA #z, L,WrNHBtI鍶"b4%Z$G:lPd`Z\P&哰Ƴ@kBT?=?HN}#LlH-|;wiE #Ivlz&U(KWu(4sG?Aȶ-ya /lC^#)e §RN+dn9'-cB;dI HM ~\Yw1)SaEB/Ƣрx8n"^(j b7IWKVd1GH GBk7 DQ-Yr}"ŭ (#H$y$}|p'R8(}@{jfnL!t}c&Z<|*S7!Ì=*%R#'R| ֒lN+e+)w[ k:gJsR0_U&:/KW>T!ˌ$wfb>˯Q& ï/^9ݙ_a؞#4φ]r| Ib4u8rz>Wje5 Sk R,j8 $>k)t#X='yd̨Gls6Ш9'w5H~z_*Gb;:5ÆHju0l79X+Ffc!Qpy-a.vM߈>hX즒}J4~əzxf[~v D 'aBȤnP&qWR(!HtEo4n?ǰ#&`=9u|0$Q^Z{aOxC،?@7&o9<ͣkLϳKJ9ctX,ie' @ʕXz1¢leV3DzY205sB7c`U&z5*mS?RٔSHH=՟ļ[l~FWwL9?j' .?mBD9 t|~`_ OΣf"bxP~$GiXG>ɴTC{lw@׸hH"FI2hWl3d  _6X g/n['re2fϫ&KwKw֘$cZewf &}jVg9 '7@61Ezb? gOmL[|D %:)YрQ |sCYrD_ tf"-G>'p&CDާOYUmB u4PO.-MփExQ #2w~@"3+ W2B[`KWN>iďKA*b:;ENo &Y?L##.\cM: -ȸ+ON_Wa>e/3M?P2Z\ձk?I_pӪje _u]M嗻Xa[j;~5b I"2?`Ay|i'1 Y- q="Hu#bayLhm=c`Cn9ucs:ס;=jl >8'Uh]"~f?dO/tr>UL[(RN]${o@jw6;) \ۉ\6j$#ܦܰm;L7)ud*OKJ;zsf^iD\|beF ~b$/*;[fRvc-fBI7''n>.tf* 4J \ 7F'{ 6YzPs\ s,Pxua 6J=zD+{k8yic[=7=%3?/HPn;nD%ThW_aG}kIuz?7Q@{ ~-5 v-i 6͝1]ԒO'寊zBݘށ-?b$ᔵ\~aIPWJoq(h 2l-fӿS胾5kx&*N)rIbbQrH`,Y7T$޵EljBNc:170W"6Hh,偀8b݀D|"Av@Dz*TP/ /0O[}B+T(ǐP6_]󢳡 .np{WI҂wT1* &S$^0i;ͣ1~|a;hj6/Xlm̙zY&WM(8`:@ Ţ΂0H Yީ5cR<زɅFoRy`Z~B>X)\Q5G]ȜU(_Ar2t[C줤r2Te24 Qo棯e$m%ëUiA3 Q0z)X!Cgp3(aPs߾~cT My|M4159=Z%vDd &/Jca c#ZldQLFhސaB]BbuQQM-@>d!ٛR(9ב#(ӆ1 c[ 7;NP*}BaH]yHWܗl QF)ǫe\z|~,"ƕٱr'Jkږ/ȫ2.տːKKä^~1}S|/DQ*-Qf)>x\ *yntTU2Ft#:Oxʬm b<;y\g$`pH藗uqE|ĵ -Ύ }f0_y7- r*OjK^TGAƺ"矊+N%m#L]B?H{p9¶LWӑ!^nWon_ٟy'%/\jh#T[|on77tVBzuhYU*Ǩ-7nO[Srd@^\J59:Buoο&<]k'Âp[Xg+zzK8vR6WB( JTҘ4]ެ<'4듇$/$߉}%!)Ò@f{U^x,W >e-9MK&0ISwߊ_&n-&|UL <>`|By9ŪQؗ`==`ja$nYB(=Ϟ<ܩ%M@]YU|4 +($ hmu4>;!mO"M^M4RaznAUm$ȎmʽMuRX]j(ĭ'‘'>L*uNTL3!$U"ZQ0!7D9僴qCQ.G7;ݩuTq"=~%}/dX>hi؍'4 N "Ѵ- sU I҉A6s^m8UfEOf8ҵvaވr"zTN+9qAؒţMP Qg !FR0+'^gT1x]wf+ݳxC /]omE亦NN^Utvb~U&N O<:X`]l#v O|(DSG$/(MsoEL@xʃG |*8KnejZEZ"SRW'8,c7#wJ*9:_2MC Tӫto=r-ӰyP:R=)H_2_rl{;qW`MXOl"}gql.rHq"*[/6z &g?;G3W-?q;EldMW Œ}MvmLm&PqWs4b'|zT%ߍWBN M|vʺIW yU53ݯGLUӀlY2_S=߫@ 鮸D%Ư7g Sw9>EŨԼen[~,Ay ׉S,NL-Dk؞4·VCV@֯cbսE?ʅ*."PZ1'ۨhT순P6C9݇91P [+;&qL3Z4 ijy9 H-/`G t)o0]gbvb %}[C8~)!}ŤXR)sly7rgMk`?[LLfَ]z&D_(,452<ߟk{6j>TzF5I\J)2ƞz>HOAd9ٖ.AN?ӓB5]M=Mרgm#r~Zzi [Y$H[9ryıwo7"XO?I Vאr;Lm9 klA}kg#h@ w2{y C Jo "wTtq6e_hHߢ~XmO^ Fo@b!Nݲ*OۻIp;3Inҗ!H=Vν|(UTi_g#2J@O+ؐ0Jw0]ߥ'{[ 0l]q9Œ4 zcLU(ȉd6SO`k7:\|dLFH)~G+|S8ɦ*^&Ǣ%f1U1SUB?NKK NaWI{oW[䅧=BUY9E~ cnZp8X^||bFdTE_n+ B& ao5!@<`则?;X7I*31Y| 3b}U7mjQlŢ<EQv٢iQ0ikWK]߹q~#Y*& c3I4Sḧ́u9|{ x3Ggrm8iT50"Ve0a-rQMA`/(t1$ەD|uj"M'GDQ+3QqS­%VEÆ`I,s3kh?&6kqBkT{J&'e8nOn1)eu/tL32qە Z 60ح:59nhwᜯڛ_t ;&BNټcOR,M>cﮁ!O6g+k -5Q,*]8I4ui` ECA@BCh& Jy Sh%Gƍ+30Q{!EhŖx(ZL3Cy6} `uu率 WnCw=\*HDw--b?쐓"֝0`lf=pbM,2U_ΣHy1bGYRz]˸oKZU*Ҫ9ҸEV'tl wT֛;,EGgS=Y:XfE":xx=G 6[DmxOсarEDÂr@RE+ jl@/LXU9-%!Nisxְֱ%Sn|YAn!j ;^f;4qsݵ-UGB0L 8Ϝ??\R]F+6̨*ΥگX$< @!R&稀@ԁ(H6Af(S (xtO2(xW6Bޭ9/js9zn^ú5_|yl9IA,?ƎUTe 7lƶ zQ T?j*F^6~8!QQe} _ (ʽb\Ii50Ņ!+l;@KΉ")or>t"d{kK碅j >],̤oV"l:6pUppyao>JE9VG r0q2"P\wEIZJuK;J#9a߆ɷz:= eN# YyG|.~Tcj8PiJanG7n>g=8qJD;>=W֥?*, Tj-sеSB;Ws€Et~NZ`8A9a(](Yz 9 wӨEzΟ uKq1ItCCYQC'S,"d!ʍ(/i6KQUְYӖԿIL 9R/XC Wiȩ2Ak4Gέ[ٝnԛZ#mjE{ntN+tfټapkDȅ]d)D.Kۊ y3:|M)Lle2]R1(7xV<-x:]h?E> Yؐ5#]2n.@3A5S}5fOVM4v bKNlq+$W5S9u# _< FF-kWV+8~OV0!61 la4}eF[L #=dqz˱ϺoYV[Po)XGiV2nE|34۫\С%ON MvFt9)n=nry4 XGIJ?`^lY 4ɦ2T 9*2BJM.hTl+'P2t6ĝ4ラld$jRty5{X1~Vƾsɋ$(O=uTQ%Vq +WMG2IZS!Y)А&t\nŊZyMTaOlqMM<5\CaKOxpdzm Fؑ.)~yK!󒅕IѬYL>r-Hv@dbmٻ >D<dIS? Su\ǭ˹B=Åb_ͽmR$-Ӟ!ثTBn51hfz6 }-UA+_UB;aue'69kcTBqJ y?*#Ҭl2: Mo1$\`Rצq= ]6䖹U< E#XЈ[4D8ډ)Ղ)鰏lo~k<>|d.c5-Ђ9N\Y~aN0Ƣ>c ν'Q3>9*#pXSnnje=>_#dOlk@Cƺs;;t\Cb-ՍZ_,+wa?7oܚǿ{zǑI5^֘7_ r6 !U/R i6 wp 2/tVGq8 uT=B<*spK-kw?rJ*wC;28bH[U3(ρP\޶j|~iY_۲;E'h I5LAT lԗWVa.-6T6*?Fc@aݤMΧ6ֳ͑.wHUZ7V,ˮ r[3rߑ,m&PK!=< |PF$Y$}))*,VIѴ~GAu I:--LC+r"uC7@G06=I{S-t$EnTU =r'$g8@'Q| ETug:E3]6(D3dxfܚ.dbN8TCc澻ʞ2 [պ/<2cTzB)e@H).ʈq )/ p|Lڣ6Cx3p(1-f##]G= I.{}V?rWA o<[oT;zׯLk+LTp Kq M .AkRO'F<+=dAs4Tpk:oM+㰶5KU?VV±1-m7>ll{ C&N3"p̰H,n}&mUwSIm>e}`٧t!f9Ei"=}e`C?Q!O]Y+NNuoynn2@Z-&,ʝZХ܀׌} ,qxZ0&sLKà9)fבhM8~͖☫/lKG#coj4xg6x+m4Vo({2_^5L|Q v:ٛ)Jӫ \Yʁ4{[+(([yèE,;1K+)yḽڀ'&ͯkWPfwuz";ZcgYI r:!*msPplêR_Bؕ+ ?TŜMGm$;TA$*S9c"Jd-3'$G'_տ!j©KSrA?ꆟ2fָ7!QB>Y]uoh}ǚfkQ#K_weX"zŖI~m]w ͋>}='V$1*G BMWlZޕeʊlWnO N }fkRM+[+{\JQmhgMYZyNbÅ`4($qK$K0*/ˑ>ž2t>P49;7&#j\z g몢c0%YF m6X?a΢xŸ? M(Nb񵞣/*'TQiCnCW%R? қ\w:3SUy[`H^E3<ӟ*_FTϙoq1l#skeKviQ +kyFڵ(_ !XqJb~3A¦DK_L2ՈC_oM0io&[D&`$͂u&"Tb3l%r&TvoTNJҷ+)`>TD( $bB} %~ yva !X?wR@ <Ak+ޱUT{9c r.n?=#iO~MП&!"?44@rdqq‰g\hGU\Y3DL)*5Șm^zfV$ۗ6=x|n-kʇZ#/m?`._F0[(q~3gYZ7zXZִF! g&]ŗXiɟ>P*%;֤er,L`&ṣZ:!aVk6TNot,h,l0iyfci|T̰tos>"@Vz0P7),i<vH.ޞOjM:w$Ц_\%M&)PK!MUFe/$"P ?{[KG-0Ӆ{I'~ t-˘mqNYFN-5!ϵ։5/w(iKtix_SvK(W;C-g-gYZ7zXZִF! q]ŗXi%L&ʶ%"C%=1>MH5r8&`-?-YmL2$8,~M?Qr7gDeaރ使 m'5-3 Wr=. x'^G\:sVƓw8~>t͸@ţv]C&K_S_I3VM2-?W_K3+\4.9?y&bcF '+W,j^\MlA&m%s@ݐ3!qtDZ&A]"F\=C6‘\,yQw}WmCxC̙ 7֐j2mfwAq=Y"h_8R<Gfm;;߄_ - *^xq[vwt|6BsPL;Y'NKʧjOi&ELB#m=W3C&fZx{;fta\5,8SGo$}alf~T0Ap Ys;fuڈa7BR'ňxh/r@zv7Ƙ.yxqO 6,(uA`z"@-o"kKxJWi"Ak2x8p%)Z1AS _.i:A+T.~zmb\eɜF@,* `d,? P>$ ?W^nIyp5` C/wm`[[Ah-ya4mيfѡ0I2K[GbExeT千šI Dhg$Yma܎]>I,ݠ۩<:j C{snAK{B}oYWc-{#dڅatߟ^"oO6>F5ُ1a$Yy# =~YaTI4sOozxn[=hE2lړr˯c!=:&sT8giBЁe/$R!TP(T"mz"d( `ұAPg\͓{=DbBM@WR*,XK{̪xYY{ W~B>tkI.idqּK>E+e˘l}C8oCt0u^Q*4YWE4}PGt4+DiȪ* Y'|vk 33BN)/R~h'8eե ؠMT\}s"nP1T0靳$$C,H`lblJH|ڝwsC@&W.v+ҼdeWfxuŔ߻C4fNjv/ bTREw 9O/DR,0Vbm:`iz6*Deu߁AE*35DӞd6fyBFA-lQ?ʷ_U&Ƚ\pL{ّ%q$ケsg~q‰d'e9Mu)4i;?.$;&oJȜf:x^3Wa8Y8KnyWߘ5̧m"!ȸoYTk| e͎D8^3ͷno=|kL\&14Ui{¢+l`\qt?)Tr 9fx{Ah9HckeZYУ}>le06Tz'H|.-ot$mw 0oT+\ZXLd58dtz0A"4QniJVsɪd.!f?!IXv}~ Aם_O;7 Aj9} -d$ih(b9;W#n!>0ҫ: sزL`kQ튟c`2c5lB9G!T9p{ :&ےvғU\zF9:7~i%((m>wY)&FѾ%jW6EהL&dX#\Z_GuDͨ%̱7]@9 đw'8l> MgAȾ4$'t ƚJL0]hnJTGlW:!= dg;qǷ&i|v DW*%-$V%~k~ŽϷIx{;.\cRKӔ>mu,"S{o-F?9ċk"H ftpIrAOZSٔ( ef:QXeLfQva}J d|=(;Qa\67$Lp.@tj@g|܄õW3vSF4g3n$֒17I9KWHo!& 5P]i_k49 ۘ?hc,OJLdԝWU{2m0wEԒhJqmU"9g2,|6$1/܉yq>}lYHICMP7ͱ-RP%ޔ|`nt"rүˏ:/ $ -(e̶ҁL^2}- ۆK-ߺThu2WEa{/6)ӻ꧃04pZ*Yd20ZY"}<6fU/|$UK6%Kf)Ue xf-N]U_f$aSh'_n fa)aW4Svnֿ+hɅ=?Uj|qOIKbOYL2+e(%=BnjWrXd{w,h\7ʃF"|K+)~Kݱ"4|ѕ7 naD8v\P7mO@aP/нE>$&p+! Zl]=0p^DH4)$ypQ =SMVei-b0Psb@Ҧۼ< h9יX*c:trXs44K0=B bTp7ymsp\!V*pNVldPO5>Ɓ{(w^ƭx,O0P ({ ON21,a=iNnZ ue3-;d*x:'D\r*p) V QOAITuPoI2Tg#["YB'}0~dL'%O!pd 0h=|. *L %`S8 %*|!,x;/C"fOA@ [@3)FB[is@97Of%Prcmr]1} Ug˗smoULW FIF<Ʃi;G(dNb5Rd`sEu)$pO v~CpbPjl Uyf5>Y#Q;'ZR:0ujh;А*ױ56<@b;yXjnyi4ge! 1N&L%/x0a5p lp!=ڿ 5L!*uIlVgx^*@Ԓ< KgIRu{Ye,GO!),)%O,rQ3^?xb#1\cHK3=X9/ih3ZD-^G2H`eWV@w^;iְp3)Gn`ꞦW- ;Iڊs=loXVɹx}#z]SȜZ >I_/\fWXDPX_ߎrK13Ѷ#`92#\̏+MWG}5]^w5/7pkn#nCOzwlX^Mb7m;3[gpLߏ`eg ']VF==A΄Ƌļ8PHjJ`44ћm8|q*ݕ=Bt]z97uIxyDè0 f#Fz i4Y;6^VapxԛtΒNPT4&"0*2 :v"$T[;i'~۱NݒC[2:  +SYpiR{89\YgQ:#&>= %`nl|+Y=&)r}-0Ƿh4N,"1Kjf'>(>taOn0a96 Y#)F'gYZ396925db887cb603c418bf57c1e552148bd0da319aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 b03b212d94edfcd0f45a59cc46df5cd8b170a7fe 3382add28e651bdbc5d3f49afbb522eb559055f0 494cf1c8a6dd7c5f69af04d85c0e69acc708f248 120133c9a1500ba186b311b2689b137b32c4b27891a433a27ce62363d0ceb0a814f2a0a9d9558c20