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 LLx%$l| ]/]HOL-Analysis:threads=6elapsed=340.646cpu=1655.540gc=61.940factor=4.867zXZִF! lQ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm״N%#'h,#'/i>:lf++x0Ƥ VR 'V``|oADu b#Tk:e;BZޘn\@ -<ܟ2\FzGw翚_/j䩀 /<'gu {$2FvfZ'Cq&nN$*iK8 ŌXRxg'N :bfԐ&aMNzo7?Z[A-7_0 qXwYY!TXHARx6h š.nΰG~R鏥(89ҔgS.EaFQx/h|*$,a-eYs۳Sg*L u[{ ^ܼ~/u?hhSYL?%saULZ]wuaqg/0Y\; )ϑK!'e0,a]*̈'U K5Pn' JrycM0r(o?swhpLHeT/\`IAvfX0#E>fj=N,Onzk7Z}G|fD#`Mǘ8ۗ$9ޙ(E:=oc'^e]r-IY5o3N VS,H # ؔG suޅH[{ːfk/DPm Lp erW\3N &wݚ {A;SI6g\[,0 n khV8BQY0+^XZqV4Zbm7_js2bQvYm&pϥVŽD?yHL l?b%MM#WGpOx"5/d-{TRjo[v6PP9CC/7nW\g=7jPv7q`NJÇ[qyþH,%ẁd=m8T<~!+mbQQH2Eh . =YӅ"{WˣDHzRfR%bJ(4vRюo'R/t\6%B-~>}ֱjnN-'}ҷ=ubeNf2cRR9:ѫX(P[eZ>5= ϥ+,~iՌvc]T BWonn'I,S~6Ñh#~7jN)fh>rD|w`I<$jێ=S`Q*ǁEYn\tKuE&qVMޅՊR ڷǹE0ߩ8HD ^R ћ nS'$D}Q9$5)bt͜Pbl71×캌1GەEt%ObI`~#3 i]x}R5]2hKkT*e;E] }w2WXr&2~8&}#n6I̫azm &R*'/2Mޤ IG>v! qڶنAH#/Ls^XFnoа\WW 0hw+o=R\4Y&nb}m л&O+k=p`ِK-'[ d'Ix7V&{ p3} nAU dyF}?R2Q`Hb7` |aVDaq7~З}UH+ UϺsFSg#)<.Gqd8$ B$#^@X'!̼RDU^ݲvu& ; 0 Wnb$]OyM0K2 ^V!i),S:oQB_t dizЩ?ZjJuy71dr˸s d?M]13Bd 7iAd"1+Hr1zYO U$u~#XT83bE@ JAImH-ڞ>Zq?+x_O(vX{̈́dzG!at-c'pkENm`VHd % HOL-Analysis  dBZP H0hޯ8,Hs~}#z]K+=Hqat|oԯ3 eN`*;f B]R;ibM;b~f0j- A%P}S ~uvv&6ܦRd[s: k'nO;R^+x3">֓_ F7{G;/YųGR~%/D!~Yg\ Tܢ}CGlw{ksq\$=JEQR8^z%]5:? -#^,+qaGm-%t U -`żPBQ (@wvpM"?*r :zF|^h,-EYT&֦aTyUC]J*Tp000g%IF έ 髢>,vqK%`DǠMgZHEM" UϲEO̱ts,1iwXu"LHTJ'SҒu=|!tJ! *dǀutX@-NZn\^ =དߵ sO/;(3ƪcy4CjTz%u<=`"dXYI"EB:sR*5;# [YDU mln_ hOyࢯ `=M\ABT#oEM(|ܛ"bK|RIh$ƔoOGK3N o3IOɸ1e@n~&Wd2YFI@xn39=4 R&yk&6$~LZm<v颦1/4Ғ;]Dt`D LF uɧ m3؛6sd[1Ct~ xXõ7/M+1 t*:{ܼۛ-t$ǞEXA qb(wmХ:?:pNV*K)﹣JAcMȊtL]fW,PPtHB|\O_kY0[iW;N[轖%>5xqI84@ޜٳ?΍};=|u \?YU^<%ާ!ǠIXh!bm&N=8D8).[(8%˄Pϐlkn^C 8g1vק6'/Ηi>RZ/1)`nioœ@Āg( JJ;2X;Vqӓ(V=Y&/3CSPkT&XefLLB!:R:?dm4Hދ̅B(shd,>gW:}Gn{2y i!M=ޮ)m%OoBS(O%~f<'\Bn瑕nv7OOq>=ߑԒ2m!2&[y&hAhy4$O ֕ofXV*zz $RU[h^(FFfwݤcK VmhiHlU0F¥J5 @NxᓤجY߄cN&r[6!u)tmoU!;qxX~aX?Tժ2/} %8d' aM=Ӄ6pTxJq_It&ipdhxF4vBt1W#XSbC(#]ǵf8C0^\˙H ρXlhn9.iG鬐W0jWBzx\5YObӲxB'ќH:ڗڋ ]UMVC˰|WYr$爬gԩ..<ꤌVTĪu/.U[ͱفш ]!;4r/C_ȵ4K '6E:Ts5(w=3_J{D+ƅçt?c .z/UT.JQ!eRN+k"W]Vy,]2к 4?E̻֖IryYaY!DqNx,f'jOy7BCkTUuMo;f{~CFD_ۃi$aݐI$:@v7oap5)PɠDD.`4b3{rhrfl-EQx 2VL <eEq0{2^eEAmI*Bv۱Mѥh7Ÿ1S WtM9vA fkHU/Y™iڦS1dBɗGo~Ŧ~{_* RQX92Q ڝ}ujbRJȳxT`{iCc3#"0K-8?a^l\$I*CD!/+`7F\li^a s݄.GO3P4]1V=ǗrbjhFM-dɸx_*BdHNw XWbQ]dw|)H8]e3D>>(ꗺvգ;$5Acb P`#R2B$ɧ#hAƤq,8ߤf@ X]N Li祹&_z.e^A4es\Ł月oEi"Cqh:¹]}C{")fbXf2Ru/of s94GaZ)~w-J=! S (cż.Hw9 i$vY ZN^وɉRvJdfKʜo?.S/꽿{y,b g:MFT]rLTٮe]} %Pq;A G.Qs-nSPUH~k:o52s*u 9Ƕ>IƑJfk[Ep܅Fmak*Ymr\oF-gv RR:qÀ%YzM O5K"ʷ!* TB ~ƄEmJ=[- n8mI*ҞB͜Dি Xc̿KBKDU"?nw-ǓV|Qgc7&{!y#~ Zogd;Xʼ&ҝ&}o671DoQ3 r(^j ^{z)gXs9#}O%eE! j̉6v=EI.NRJmgs3G`a,+Q%ZJ:LjoOTIV=9eסAM{xBY4tO~RSö,Ophڍ'9Pw8I#Uǹ(vЁuiJS}G[jE[t]k }+*GאVL57иbz-ڢ-CsJ/ig}w竕k [ ԠOrq o1yCPt58pY`2SsyNyF*.}FX7bW! HK\:RFu[%U%xuiY;)sLQXD/Y+9I#é.;LS#Mtl l:tpU5vcN-gxpF7)<#R /58 P!,Ö{"Ԑ]5UlalR㷅rA<m 4uY`W\t|anvl2/ޯ,Ѡe刐].7#U[N@9;= dgS$ #EpOz tnjk.},2v7mtPa}PlP Zz ІQZ`T%uJo~ T  QB:V?@Ց?!*WI&СN-oGy >TfM^,x05I}]6y im7ҫ ~\~vh?wE-Dj&IuW&.yOpz<vU~}XC7ӣX|z{h("E,G%eR"`InoG}@o9䁹]5Z5O׼bG@#6dullW><=B Ή 0:9o&IT帑^D`>go:-oگ| Q\1 jӒ>4+#K_3OS(N =R~"F^&UQ-CN}Nw8VCx >pҙ6U`kʢbJa8WKk;2)ȆG׋<m\ST4E%h¦B(ݴX)""Ô6Ky%@CL)2c+i'\ב bG|Y yO,q? T׻4hJox&*J9z*K^Rt~-uTۍHfo'RGrʪmq~SCDRVłWs\uQDʎ㑿]' y.m29 ;nywtel#f`T Dp>{GnΛ.iN/?JG+]Gm^SUNRUrPbP_ME~"$Q. 8y p_JA ١j@ ~=Knus7iSD8& IkvK45IU;?x+XSO?_ETQlOxOPɡT k7Vx4F  5r6P. ݑ( cRX N:ripa=3͇[s:v-[S*Ī2_2B>+VE;Vh*b+AZ7>CrEXM-?؊mFՁܿ}kg;^*_lZn{\Ma5yD^$; l%?Mt9PC_I<ؐdӚ?XzBR\r}L+E7Dtm%0X6쇨 醅B6 hiYrJݗc,uJx"!-7Gt?s ~[sӏjȤR.8XMkj/(JG tdYyn#; qĻ0:NnS'L"ݯ Zm J@=` ,[B >2<тQgJ#pR'CD$1AI!! 8|dAI\!X?O 573$Gxcg6Z2vj.QdsM4 ÷Vx1 2\N}1[J<ѕ;9 "^ڗ1;tVq$3 o7|^Hv9 (hcic͏)u(`gji#l[ %6VurȸLQ`K tћCM (|g…m?ssˬٱ^G%Ar.zHg :/y˧Pb8ѾJ /yߖ4#k[CZa@yI9MQEQ7yTpoB ѷn;0 6Qgq"7,fCy}6c/$%jv( p)6>#" k.0uz^=P!X#.:K~E)iba,\<6Foneg]U:veFAB%p݀^;!/rs2R"KZaicm<=7_y-LCP҅glaR4ߌ:%>/Ҍ*Q0id=8&nؿYt`nͣ\ W)TQrvV; Δ4 A޳s; |T ͂5 L)(h%Yq+8K64FpH_s{hT2 %q3a4_g<(.~r1bB17ɣ?"pԖI,Lb|-a [9>>S@vDPNqc͉K˜1YTlfݖ֧Fq}r(ORдJEˊ 򛑇8>{Njl)""Kĵr-\Ngìl0-b~PY^g:ފI, d-)z.S]&ZIw^hЏ5X">kh~ 72!/a{z4bHX5`Mpc._]N *lI3`WsQvƾ,5}u==@KBy,C _HJRϜ!QT`۠<#5GBJIn;U WeM=#z"rTtƆ()+񐇖C#XoW{dzPjnjkS9~C+|s>lV?zIp GцJJ i5dx)IPwztګ­.+)eW 3,i?[G3fn}.zd4FBO $ G< xg"jaN&)昹eᕶ+NȯGbCe؛EZMh֍.B 2 O^H}‘!^Xz"OҀ󹛝7V\3N0׉Jwަ_dV67%ΜŭFhc pgBOD$}f e`R~^V 9Cǝ/$ zHM^8ř1g6ɲKWJN}[ R(x0pFUBȴ.u97;nКѹiymj scWk +[C!1]pSNVO}Fâ,S^H5g'{[?@ٳԈ~ewl~^l`Er31T5䟑ʎLӅ]9lm+-K03Y:}՞DuLzXrye ]Ro4<IcmbBfk W@wJn-Q@2ډrU?Rz b/'hE%N4!GJO1}ٹ ] @7/s:Zqsw$a2РĄ 1H-n|JF>i{ :oDAXK)v0e5^2F|:h0g=͊XƘ^ūUeMV9(V0nzX]{`#K`mX"z  V<ĤKIȮg|y.1~>-5~~pM,( .t4. a>6ot^/ e4c$yʀ+μwAp[XWD=/,"оIzC' SZ"( PG{wkY*OWH#l~#Idu Յ8 8 5DZh{xR p!nUZ*cpl=xP0*XI2I! c 6W# g[]&yeh-#q=%P Q[yzȈ~זZv͗~ x躌LK} uuZ"lC{ %P1 Om)64,ؓ\I&[S]8QQ$ew֧o/K!2*-u@"[kʇA>[}F)ɩ+(hAm+}Oy@7U̦-w(^W#-cW fDac=zsS_aͣ|iF­ 5Bo _7-љI"M YJ|a '0mpo{ROs16(Zdxˣr? }_&(e1v Gpd;A^k`w)D* :7ȕT T*Q tiP hmXW*Eܙh@p'|n(ZC5%Zsxq,q~7!b9xU&l:jf]z`3T8zޯ^""cV9O^5{oPxlTv>}݁^JPٹg8C”cgd4?3T7It 17OD[EDE:mE{ 6 g7C6In=:b=RsJ0AzkǞtVwt8P\9l0b0#^-vY6F+4 N:~Z?^TP "]g~\,ܕ _TX2v[L/ͪ따CT{0v9LZY]U/2vC 2U-kǝǥ.#qIK}J%i0ەH15ИTę^ac8X؁ hINed MZ&!ŚILw^8lf\%<>55U~PMjo\EСr[Ԉu ֜N%sX"'Uvh)j]94c3A7kW6k3Oz!S zS Nu;ZyJseJ;A\_/jH7C r/%(Fai^zoRRU?f %CWRH%K$sR {)E"}  )n.MHBR~l[7`Xu\CZ-QնHj$̜$Vw;q#=$?5LC.ϕ!g*2g0YǠ=FÛ3+&>b?b 8s=I7y$Fy-ZBs~5DAH2Y&j:~1mrHrL+883j&}JZ=G :XL7)ZC:D t}覝 %/~{0>[sD;&dnf , B:͒CAkV944+1e]n&'$;.G`]@_Z7 dA˪٫#P*ޚžk:BqB'R-W`VJNuxo72@4 3-O=hw[ @ߎ2{Nd݆]JE8&E|&E5jW6LZz0*(a@l\ h >Җ`Lc}qA|/Ja2QnVyUZw V)M}Ks555]R"&eUiEU^T S =M7{ qr%OT3LGL.2dIk9du!y%()aSdʭ :s% ,-?Muz#Tb$V{~u+z̈́z!Xcw*]@ ~Apqև}bXcuH I-RMFdIbU8/ײ'̻ ]fӶ݆x 0B Mgq2ij2;t{5kx]3<,ξ52=vIG} mrX$Kt68٠YV( ұEG>ICk~IpXrXoxnd.?kaJ"gXp&y_K$_%&G0>U,3ePB!Suku c9UBIr)I6+ Cu`ԅlڥ.>С"%QfzJ2ƇU+xݢ^pR@ G/hn`@+#j}/H/ש=F.rR)/YMOl:Rl@d{?4|F9'kSn.hKʍZ?h5^oCh;}I[w)UǓ@&ʈ$ĦaZſ:78~)FSMViPGisĹ PYpX$J郑Vm_rm_Ɍ=VkP17q嘇,<W` r?J\i|J 4.5_ri%=;qtٯ! WZ+8So J8ŪH)-[f&ʴ*wZFI>dLN G_ekzZƽAe}Ox2lYbh GB*k!$H 1~5><̩ hvbecsOsUjpw5K4;pD2 Z'"M8R;h>4g,aY2v4Hw xߟ) $UM<+5<.Ռmby _MZDDBV{_0rՔ=F]a%}.!P@z@d؉{"7FM}]0~(fN;Jf`,_toHU!J6-]uT=zkIs `+7]ԡ^?&3oƕ{ q lk4Dň~S1=풚-һa(<(x!*ue_dˀm[î\)UwTzr)q1KԿ3xsܻ*bloS4V9=hVE9:2NGَlLzwy_ F%0 ?XX~:(_%J1ZwAQ"VC)|˸fOѣgUgyѵ.9"t*IO}FXD>qߗ{]~8eǘq xo(89ơv`IKrqÉ>n>Ƿf4Ƨݻj[5?cuQZTxr{)L$9ȋl黛2Ԅg:<rFT!95lNi\o4OS~[t$ e _x%=JJLz~ڳo쌄F o?Q 5e1Rufa*}zy=0.UK 7l9۽~61eWiJG*7+ord /F&*^e5b|ͼh@l8 :aa>  CݸTLAN hs8m{1#%x]7؉1fY޸ђ/qm5DOTnL1/2@l^d%*J|_Z7da}T)6jU`_6J[֙9ΘV4!MTv<ݿ@eFfumvV%#s MdG4:DFt52AC'0̿ Ggnld(9͓(LQ&\՛Ozop-0 n.u~ 5rgLP-1r1reLIީh`tFufr3x){N+ߐѴ`ZXNKFcSf bB,,ջLuP.~63~9޳xpI?Eo8#nv) G]rH%D\ǰ`W u~h-M7]&>Ҹ$[Ex`'505Li䯈z<#2ikx=\R?½[n?1ݪȃg'jlZrOlT!2d:pެXǯ!0Qqrƙ9 3ō0C48(q.WlSOxWidʅpsG7N+ 9@'O.-H>&9jN(-4Ҭ4=er :&WŬHF-b|qn %ߏnJ=ؤ(52=sn3ceo6LmNVW+ mEpDZQm< hnǯ ~n?.Vd,].da0@?v2AxA cbXSQ+Ļjv SS3t_oT7ZoJ 8Zuc,>v'$EC9P߷q۱KX$5'<,.z"Rfwle |=K WLO%GvdrIy|޶uXeF e:ԃd@H0lfKS3=g(Ɖ(d k^&T7;ʅ~pz?% 9}|ŜQDI"P7CƱpRMk\.sDE* azNI8Þe}@!ȔH,;w2&+ݭ:bc&|(\]^KY-XmdpA\qr-rڿ݊A7"jۀLѡJ{9wh{Aج\2[FXmJ4xF9!脅P3ju Z?X-N1oF1]$TU +<[kYSsX C\="H2fV.VpAPDN^5) Nvv@TP덳L=C7`#C޶)8c3G {.z˝;M-P0a%ꝿ7]bS'SOIF>r)eZ>-.kJ'0`C(h~UzCVhB:RXI=h|jBQ?/d*3EkvjZj wvYF,&BCu @ +x!bL)kf Z#֘{91ZV]`sxMZqޙLk1呑̏q: ShQM5j۩7ЌUt-]bS}{20,[Q;E,aC&ř-z={,H/g-Qܼ' 0BuXBo<%7NA53NГ3NNQ ̋tV ttĘTAF ɦѝX?a n= YAS?v[Hט B j9>%ҽmJƾΑw͋X}s(|WP#.ݠՑeT)71t 1wê{#;as|d eZvy|QSu`,qmݫXuxLTG /#%$mes;Ҁb<Qr) _Dy3}@pCS`Әr]}ltf2ˤu2#nLbg YZ7zXZִF! {~]ŗXi%BjŸxY\+(eAT-yk#çK7H~mwZrOR|",SHz- Uh@>mɀao16䈝΀"͢*\B!k(,4:T\}ܞEŪu"JY^SsIQvZE#uTv+ 7>^XcLJ..Ocpvį';=0\X@Lk?SmPR(:)W:ߢ Y8ws\l ekf"4[!2Jo ϘSD|-af6qcUvQ:"2?'tV{ =*fQNũ)hn Ҝ,x4>҉3E i&9ߕԴ$tmaH@)k?W1Ǽ98qVFءtt/sl@o㊯2/rZNF^O80ptrʿ!ًJk;ح*+vί>d{`ĵ' j"E7w-kVw8MF&u캅D˰=^t]`1-_wܟx]f(4 :+8 ]9_ A&ƜbJ&~o8W)R[TワdD?@X eR*[,,co(v9˔ ?DXbs7IJ!)1IkX1n˅ʰF )LrI="^n\\ &Eue7k5ktMqg;iA[̪d,Q( u K_ l6J'ŝJ˵ȸ:茋M V/o [ns ,EER$Bи&Py$KShp:rEbKЈ@2ZaKRN'\ŎBwFHI*^p"u DIoYN޷w$Mdț Ky/kR)1;u{4i?,{krk#! _+/B"ħLon:oD[gZ"R@"{lzIŵ)EYdsBzGKO-oz`@d_j̰Ipi 3 ;bX 8b8Co0Lp1Q3&ps"Hth}Jш^Kjssm˕3?5,j,Ngt@|/\"EG(0"P)xoI4};ELm"aLyz#' !|q_zN% TƼ t=-&c£P2+J\[DJc-;tz{J59r-Tڌͷ7Te6gAX626U`';d797^Zz ;*6^d^A~T:3Q=?-…v뷼f=D6*( wM?hFW8>'m@gWE m^'Ex,#@kE9C-uPt D F/Zd{r ߎ 4E+#h~?Su߬¸aXu"}kC?Oo#\]vU'Pة^_qn)vX![\Hd; ml@V4}Av~~kd": ngS}6 UȰ s+~yF)@Xh(4B#Gژ^khc<~/e.^. z_\ƶ @*=c ӗj@#T4<[lvO,D'T(yhxمAjo 1M棠y\ V .EUwH;H1DY>[eu܆(/ş?xA_ JHWmY(T9\JzG d%vIO%Q3M y VsƳvFU m:b ZR˷ØP^b6WzTlLNtkD&0:pMi:7bW* ަeg[5Y]`5T+1NyQг^p!aAMx6`Byo ;˪*.4,'tz~HZ2H)UU0Ȉ "Z[Tm_f6K*AoIԽ%%<@yZdX͂ՈZYch,&o,_4Sܥ.uH}uZKY0Q K>h螳MT=C>ꏇSn)2R3Di1~_ܟVV~e25}{jꅾ%0,wErT6>/9ЋJ1?,Ѕb{hQ߈WI|gP3l׊ :.B-faHAI Dt|f[mSt B 3fsVcK4f,WץL`ҒX!;r{+D7âU{(<z3SV}`%H΀fB.؝ tIc4d}KfjVo(~(Ʋ$m@Xūy)hVq: pЂX(A'܏[  V P3~H= Nѡ)61omt:EJcXa*Ù%;>+>]+[dN ~kV8U}gD' tw;O!|G+ֵLMdDJTu "=:ǔ5OvbG x߶A†AolsF$fjԗf=uXG"<@~w,{'`"V;#+Lbn5Gh@)$:a)l;%Y|@!&cVPZ^W{ͷ.u$5L7 HإOKAp<:,wAtZ4~d v7+Nn/);/E+Άj%5*Cw'x$v$ UPWOsp_E& ӰbkD\ÊaV5a#M\l pUJe^C;hOGVǫE9 8 |  EYv H*J!@N/ÞjՓzlʦ޹i:at~w) XYeMț[k;k4 $,S?0Q3v[H<ɁZٗ:g$AirénFQBo-oQl2\' ) }(4֥GړNyXҧ˽{ƣĶ&B ~F#`!;~eON[|zf\Cëœk[uTӜ,g{A, +^ӭD:#*$$׬j0tl^6)Zy?l+=peUƷJ7hΜ\_=Äf/C+D!e 2i2"x݅ P^cFq/uFjQN;&t&ttG'! qG5Ҡ |N-U*IA2[Ja#IߨձoGρ$.aBۣg61.%qek[qG̏>['5y\a7IN0^OTI@cKqU?f\Aw+?A}yޮV"8'$p 5%Ri\׍,~?}!b'lvjI %?( _YdwθoV.8/rY!l5=>Q0G R4n"-W@X6L7W1@K(aexnm3WAvqs?a69Z(-P OșJY9\ D+<ƢyiKq o;̆i Ź銛HшfrQ~ۯÁDV^g9;4OƎU!z;q9u+OaW|BU+2W3bH}|w-\ Bo8[] 6+dlBkzEal/Al<W ʿ<1 Zx2NQ`Y*0i+xzCh~6uIoh^&}N-OLOr.68;p\q*tڦl&Gmr,n(X&;mqZ%zB?RB^nD6V ժ#a3m  Gw8yX/'jM~@N[Q7\2Pp>I`.H;L_F+3!Y ?wWD D覝F3[a 'K#rMbq-z<ٓ/Y;r:5"51Ÿ)-ի_̄lP8rވ0 nmߍ; \Q^۹y*_k Ka<vHCHY'@97y6&d@7 Eeç?|] "x?ű;T5oǐy<2Z޿uq[Hu EM~tYрtFZ](?3S԰Di1t \Uvv >72B/eHhgW Zyz<:7K4 ~s,7sO*Dj|klЍM/8070OjUlt(F$Xn!*a~eP1\/@8mF+ü,}gS_"oxp]de|=` m)JC_Mnu.zpn/ bԳOLE Ѵz_J[TY߿t+xtvV6XnZZFgdͻxۦ]7-:X2bu gEF%[%jctB}p|8qh#bڏXx2dL_(Ÿ%㑞n&šD6f tXkB{fxaޑCX< m'+P uS &HɱssRi|Ƒ*+2;yW/E-^ !?1^diNynG'yAa?8JQQ`,k2}NIlLjB KϚ60 (Gˊz̫i8gĠYġŚ'uX9c'`y>n6s/Yg =~| `-%y]ѐlʵDV5 _fe·ms華Y@hA&0 Kc.yJjo@;qo܎k]b22" D*w|/ƕh5fӌn[8_ 7+)(}(k%#wpnF5!`*r|uϿU*$#ZDl;Dnx+.h=JDN%D)T$_UQ|gP6X p~=`a -3ɯPxfef9.|( O^KD0uKxZaWE!g)Ѓz ȑ(7+Skk?>|.t8*/o@J}HJ}P6Ro$H/Nlbikoh!͏ІD!{1_ !"͏U#a]RP/ɀȈ* V鯀z|b~Ѐ=\lOl8p ո /X * y)#[3h ʡZڡϿ\@*Uq\I'qe0zXoebD[W "5@#?PxZḌ Ή><4cT#y=CcH{,..Hudu}m7+`1?R-?_gs8Y7OFy# :Y!`\ =ULL%xOܷweTT֙'$ $34!B&ESא0ՋnH-N<[]zy.yVeF+*YYUKԃ&u,8mIJ.?`!1&x;nIZQO&g錞~5Zc)̨E0&hU$kD$Od"J#Vn Rb-S.W#6 ~D| vY*>Oߪ}z#+Pi c7VtW }izʽR9[(Oqc5 T[ :}8\Mfl[ǵd"duLq\|DFѱŨ߾}p;:觐.SxӎR mJ?i}Ec=0ۊ =  Lb#kZzk5[CfO!'Sk: у7< t% ֍;e uF<,Vk,[};(;( .²"4iX\:M{@Xp?뮅BfQ],e5_&('` {L#Cp>pt qgIi{2$RS|wR̋d6[`)D:ŽÊw^wuǵi]^ FdTw#LJfrU g0>5>yF %̌`bY>$eFe̽rSRAE؍ǙġQYԫ8K'&AW t UNfAuK4חzj_݄C$Ci(+zx)s!.:4b~ǰǪbC5׎6XYS2cK֢qM5kNjz)i')>"quܺYUv: qa7[#1NbPrUT+kpO'^wzx;z>ugkv]S ,5O o11O?AGgOqXǝ ZCۥܜ^8_\W Th`J`oɅb8dp{(,~F cf Qc_4IZO_s}Ojmo,ׂ N0mvPpaPu$nX~lh۳K[I5~Å]nfjSX+ezTz&>z*Jι(HE}5. Ջ5)XF% ( g&K!|rh<  @G#o٫deنU"dGMa[zlφNF] 7jVm;bQ|v`ɂ`%X3ɞCN34 F1+ƥYjZA$b\/E`OIg)NxUY5\h/iBQCy')Vz!2rvr>#>Oy[^UINȶ~'`j]Q\zr|oGjKo[BF&p*yrBgiz!v"KrZދ?]1i(9[tYmڗ*~ gMQo9WEXr3!VҌ蝑%aJ8h5H/dQ;^pB+:REXE//1r P?>rpNJX[I]= aH9T\2fX] Ϟ#y+ @لiA 2rg"@M<*N~:.[o+qE`ccãiEW(3x,zDi*پ4Ѐ{ }9|K# #m:eG2VMB9ۊ>fؚ4GNs*/HZ1W i`Z()ZayDkUw];_µE7F|:χ{VtGб2n Џ. m57V~D Ȥ8L8RD6@`ad[Buu/J)wS t]hs9]U鏿|5(hV2cr~\r?bbbffkm3# }Skzt Q[M0M7MPĵĎЧ "_ w M1&}ۀ8% UVǵ;ﲕC? +n#~t!ピ&8 kTpH!@~vh w=^*8:7tR7 a|i̢I51ܸ9,\nv3PޗՍ&G3:֒VxD+wgGVbRȚ$0Q!)/i>,\&U"d2E)@؁|NĐ6 ZszMrDH>hYA1}0~$ʈoܐۿ I2-xFlvp1~5li8ȸ-h %]SP0U^ـ\kZ9pʲ)T^/fA?u۪4k_ə!Sq6+;D!,Ԡvwb>ͨb Z/&ņ2 t'@wGgK_女7ԁҊ|*N1&~J1] H2 +E$I<=B)R>^Ό0Vl P2*  JU9h1V@cc+^C6[$1EPћt Z0ee>4Vr<K~BJ!MNzoڈ~V}oA-s^NqՉmp,_dH86?{lR7]ҎKa7?<.'rټT#޻BϦ J^/ T<21kpxϿ(e܁==R?9Y|Ls="DrZ$~?Q >O _횬 !W Dwݘ^o>]Ƭs$Bg1ᨗPp갴+[=CDT0S}E+do~ifF_'9jLc!lI{п]a4-[ x .q#n' g&GX*pZdFO} 4**_+@]Q}ÊCmSwLw~]֗orrӁ80m"Rֹ] =] S:PLDbENa Ewn27э8EEFUI'pݧNטsXsO>0TaUO"2+ F`/D% ^9xAb!'\|8/80AL 4tOJVd]z{$溣p ׮]_>:bSZ&Y9^f9^&ZdfV-qI{]Jj%ȯto. 9R\A-Xۄȳ  fE&ʎ™B#R a<_ٕhoX-MumȀ! dvK$ \R[_sڞ%=P'X I7[Pԣv5ZZ:YŘ/qUqhb+<>ٽrxR X۵37+Faƛtc:lqя6(/1pc!fkӔkC# lQ\LJ돥]KXe٤RSCx~RhGCd_$v%Z-vfNqpx*Q 6KOX*޼@@T6H-fݟ&Zsx)Ex>x ,.vܣM| qR)7G9r-ސYyT?`$=IG҆v/{Fr"q;KDm0 (Cn0ce{sD+ݦ/i(8Fb"abo3#հOH_*UoCZU 䝲ӾaY})@WE+n +:D'8v}!T?D I@qr;4l(^wWw;}T90f}4@|:L*SO!H[Isj^G}|tɽ'=Rr1X-4Q L,J`Ah%%! "?C'$uQp++!&oW3$5JVJ])gqM;u 0즞л+~[}} kߥ $Ob;FB>@x=Y.xZ|d!mZ. !߀z7K˘A7 &$X#. dp||C~:߇,HJ9-`mq%I6ru'iZG;qCq{땽{;zVL bb sb T|naMޑZ:""":\>&v>P E}C*f4L,+KoNg"GН&g>r!ock?%? iM塞 GEwn'*"$COL")X.{ÒG*c9"kH-e~N?N'C\Wb4)(Lt,pNiZ2U>dyCd!dKCuN-e@55s).]x22_a{\^л_OT0W:|f6;7b}0xgLsפ#B)MsTQ$(YDuNP-mv+ϯ6 BRF}-Գ|[ic?4G*}!*;lx}]m26[+DN[t)De7",ws٣m&vf"S6fZԏTЊD"8.S$&#ŷ_I=;lHx=IL(:ReH ;+W4ѲT͍R+GȲ`Čάeᆐlh+VWkh^kwN$|"jj 91 qU( 66HUs (fh!s4 vW溋t>m5sYk>)I|wkȭs`0RR:ȓSThGb 2f^bg?z$# y詒w#z)S-jv; F˫`-kk 1 @S229$~Qrw;H#,oVa& CvU1C |$p O.^$;1pOi` {Q&@ZA n!bkFWsV/7c ~o<9Uk͖\Q)k =p᧱5^VYoDzȬc^GmZdZ87G綊3!'69!EOBW|}Q'ݿH [y;̦gzSbu F#~lsO-dJh9Lf=G^}Cꁃoȳ81ދn9Γ5nI7risI~lx/?x+<$!ON6훱ȝtjz:s. 3ż GGhSLW$Ml=W5KӃs!P`g yj!3pQ0)=Z N;iXX6vyHrÝqa]Bt_>4;D}ws23P_F{#c/RG#%ߩcBrY+{_Bu$(LHK[%*E&Tqr/5؃tGIAXEȳSs Jh;11Y'}]ue[9Կ7ukIIW`\4@+;i+G`$Ц' Z;˻> H+*4KE5ӚԱ_;@/w`M:Iڛo;ɲ?eǓg&3d_Yaݩ_$ε-D BYbo׫:MsʓT!$/-1_۔? kymY* $T@ZযwZ<5x¡26X7SRc>O~vI2cYL!Y`^hi#H+e*픱vxU/gfվ5@.з&,U0UA0=B?ǮIɟBD1wos]i\-BXOQ>y qn% +⼺KO=E#&Ź99"Vdk*ə>E,4/(h伈gE aRš9"D_7 O;Kse$ˁ.YWr_Ob`PoDA#]:c\̄-δVQ: rDd9\ջ<|n%m,nx@hzܚiB6LtL6 A*b j"e}nx\afJ4L"MrǹSѸhF Qi$yU斡ULpk9dȸ]"KXVAIL?F#WClݺ#liRSFtl?XpMǶ> l[$~b /Rs#K:.ڡ?Xp%u' pyYk>WCftpz 00!/ ]]VR#?'qI?;K-+at*Z9p)ݡ-dIЩQj|K!WI@wbݿJS>bhWpvZCT V1|7/ONTA~tuqp[B W nķ]B9yd(h}O눩}w~ 5`D`lN+V+HAlap#-NA{! (?ZqD- KuR<: {4DuF'LOcɗ&im avnh""ڎ/d?z@h1_ޫ6"EHYEY^w^jwK~`q>dkbH%66a?%n 6% yF/l󏪫ZXbm2yRoo ne}p2JZ1VE18zl"$,ּ߮f ?arn37iZ_Z8u$oY 4^@O2 # 5꼎]Yڎ3+ |Bx1 †]5}Hni<Øbz \;L@r* zE  ҝBj7 ,sUH_ z֛n$؉;Ц\gCDFy+i]}Li? М)r!gw.~-~24^'zsF{H$4-omB 9w)2s^@J"dio_/V9dyK/"1kd|2[#xMbcݙ@!sT3IJd:8 Ɵ}yE9E%5TCiѣII v}뵎d㬕/]'@ZO|0„N|7|& >iB1KjyuX@dC8}XF-%>GQrN[YJOjs0IN2m "=)صwC-.-y_]@uĄJA. rcOؐVEaS#lA)@[>['־Wt 1yʠ6NO -dFkHLܣV$ Z$B;VJB(E ]WJϔRS-DzEPe dhjp2 SA¨z ۋ7U `g?MZL5< usی\ r.pƛ 7{Z6GvSiO*Y/\̪)e`'~1^Z^vpw&RKbOk?ssfK}=f)h`Pq\(˿~A՚t)sZ{(J(^.ݜCxޢNˁ~}wi1?郗?댌]lYGqc_0zxиdz%z[Ӟ>v)>|Os+ V9i/vS,u'Q-x{e&*߲VrNpLծ6P}`N}%~3^}L1|17+ev{W嗖9q|&ϭ}ߜ Y)4AT}؟2 Y" _hR/ 9k#$O./&X92wmml{fgG=gZǭ \ڵݥZ#$.A=xy`"ϥJWe׹ln6E}ۋFҚ󽶴L]m^M3jy 'S]jLZQIDRU.gvznN c‘dFզ!(Ui \XZOIftZ5_⤔Le~ƨ4_ M>:Sǂ(nc!>PW ܇7E.u't2zOև|ت5$J*Nv47=+e!ıBqpxG`t#p5i(j*…. `ST';Cl"K1XXgܝ+zfe_2f j birN\gӔƱ. 'x(MIg ז9_WllUZKap4gT]Ù ]%t\š=p;D^ H4rq珄՜-װ)\d4Sf}Ƙ33H )>yxl_tt0#ޒ \uOudZX:yAfM2UM97mRdBP3nKNJ󃥜^͹gNe&H{߸@RfX7cce҉)&Vrū##ugNal,d£XcQ`a!k<$[ лX(!TmjR-Ls,$Cj/h/*A>١i&/Ea2ؓ':d9jU&apI,'3 ٵWR{OY뢞ʼ^VoȎU6=9Af%k 'FX"G= }mCjo 2c>8.(tn.$Ko'wgŵi$Tܵac^'2?ٱ\@3Oq2q`iWǰ;l |i} *KJs9ϗ Q΋Bl*ضac Ld>:yhW91`Y NGͯZMOy;'.]ŋv!ֶqS>Zt|)(ʞAdQh!Ena)RB5p璑UѺ2Z/Vu^A@Y+"w>mڸvܙP^j5wNl ??nljF >al.BgDO0mzcBI}ڗ!r @s٫vf=oDz*Iwߣe0GpQ(WJ\7 +@(3'&-1{QfO21K(k&NƯ]+aK%CjlPz捰n|TK~}됉-dW~˭&affFv![gU.3fu%ZXi;EE f^K($ l]ľyQZXDZӎ#G8Uۚ̀qsP:G-|?U xع Fm~ fS &Xߑf.9TfaY(Ğ_i)3f7 ͐`چG4~B&gW1 ^8-T'\q"AN RI!.ZR Ix6=п2]e4ɌyuߙQ·!r<]m`/V+ ;Ft# ^R}f3zNġ*ӁNǼ~ 0F+~y]Knv!SaM)5c%~4!dsS6 xLw[͎e\)fb9r`;dJ|f$OVtP?EuI_M:X|k-. -shC-h/Wd(z4$Zq*"Zg'V\"ˮ t &a[zhJ,]aSt34"J{)py*LerȀB9!JXudw V ^)@F:"Ѱ.gȃX,LOdI"N$yŽV<@VpfJV^"zı 1%ϽI<,Zs9}+.R@6񒾙+_{ʦI/NEywM**M9jyaU_>Yc5GYA<|mꊗK \"Z^0%P q'a{1`F&ݡN\GjOA ^rN|:LZ@J_zmq6TǴ)JR c44h.a(zg詜TMjq5d_oȹeyn򩉫w2~q]hx1VJ'-YT˜t$ !JvG*I64ɷJZ;Y(|$VIU+95W4,!+ uP7Ei${kB-6Le5` ?æn\.sZW|,9ɣNE޺JtG^0ׂu}O|z=+֖cz}򾓨3  \\L߫;cj6,CgW)NG!'%:/,ԩo@ģio!!T 4 1I&' gk(@l* !_?LXx^d'u[ #uדÑS.H;0x4nJ76=]&pJI-I^mJW'DQ֖ +~09 n. &CGU?  .7tqcyZ3TLl3L#wt,!уjWOڿSڲ^E 40V*E '^|bo'䢆 τ^I y B߱\Pľ9I$XN\ yÁ *7gLwdA` Wwj/8wX:;=9jqc}x4M-]u/!l(eEw0D o_pHh4&FW Lri>؏J4Ix'*%L&l 5Uڳʙ,n]aSߞɀv\aW'dRpn*ʺlyf2/Y yD>Fzп<>z*=-Bvح+ H @Gz}J,AdeL篋LRgv! {Y.ݔGnaEi*tU߰*I[~U$>ssָZs CsZO`P{:(R';KxN}s'Rc'zú[%PV̭lB]"A8PLN9Y4 Bw SȰ`nr~~O$|\f?-԰8]AS=7/TN/6i@jgŒ d5`.4*_; l/tI֞N$° U>Ұg $^qg?@'TǽΉzȡT?"tI "#;z)v58Lc5/~XS2g=~6+dbe;s_;YeoWJ`=2l[_p(~/Ao;3qcЗH7h}s>rBL 0R' ]7̱x虼7?y4;yg7SDdnkD! v.v.=nqR Oc"v\ޥs a  [h0YopJ~ـ>c-VS=uU pC^.l[}x@j`!6=`@tΰ5xH7IUQ#waw szsе6@ZKe8~GyՔ`(cSu`kA_"tvƞۏ>b׹TY,`uMNV zH!#; ?+߯?d3IPB,+%ބT}QWATqZY.75'-}JiA=/sƘz2%Gt]#@V 85RR]9[ًs .\2\^ 6Y`9Õd.`i nQބӽ5CD}Ie)dgƁcZ^F|E Y[XlZ)(v+<6E$883x<ߍVs [Xl6EFMvh!C(O[Vʑý J! S-oߢY٨wbp~pO :{s ,yxƎV\YVkҦS(_O95+ +Y"YiM͛Ȇ 4)x 'i49/`G4OETCqs4P,U]-mj]dX hg8`0 |: $N}o-C0U588`ht>K bq4D9 uR'2+>T*[ !Xf8@wT<{,۫>z lzͯ5K\ pg*V]Q*pI%˄vbeƣ Ro_1$9ݫSBSAw ]Kj{%I 3ͺC$AoB\Mw،ʱgYZ428d05929c26516fd67ae01911133964c22f12994ffcfcdc02ef3f1b5abbf97520a085cc79a504db f6383c732bf7a95b23155f974528a61462f86e5a500fae7b3514353e3548bdfaf9328854c37be4ef