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 y'vl  ]I]Subresultants:threads=4elapsed=72.430cpu=180.480gc=5.0047zXZִF! o]ŗXiɟH)0%o^4 M8DGإ#@`^w,gF*4JZ;֙ɑab#Y@Z5HpUHSÞxpj";V8S1Llj5^C41 + ]U⍕ Y8./qh }iԦHC9O6`U-"c.nWF%pdMt) [dNWd1H_]ߞʦ%y މ4V<#0Z Gq-~WbRn{^V]A!l&WA$r^ * 3<r T?5EQ/ 2yAC#ABw8yDSiQkˆ`b{MXlt=( @,~_,?p`}20E~π5 l\sA_c{[q?7)H%k ɵ*@3}x-1Ij\ςfڊT 89x|lvQw_m{@Pr+XWP9LٵmQz6|ɮh\zuH$ =Hl~]A)W֌,4De,٭ajWtY6㊁շ-*3'+ ]>G&v6l'~myyFc ynxLBz?l*Q*ZЅ5qdRv0\uF:,.Jvt='nJDQgƯߤlO^Ƥl* %#+# xM2m"@@2= asʏKcfڭn-`!޶\eND[dkͱHJoM*?ɋ Zo YbPB!EfcDYoM L%eB{Ezڤ܇ &aɀI089'Blx]+z&Ѐ$k΢Xn V[闯PoakMy`\}wNcb]z/j}A 0ڟ{_uk \ѰX!ׇXס].}},Ɋ>ņjE>m4IDTE=Mf]:i>;j2U]~ЁmB˽O^tNo3нeǦ;5d\  #$ :\Ϟ0b{5UUbGkd{,Q@H1wZfhHL*.JվRν4kFaTTͱja*b$ydb˰ <+/wjaL hkVv Q) ֘}jCWǕ Eydp{T7j焍؁aधQ2f=;,ԡI!t\)ad];3x4Z<ò=2كsH+"ږ:Gd\*`;ɺ19׊9*weHvR9U._V 'YA5W%i@*mT2Vj.w~8 Fi=˜9 Ofq)"0XaV#Jnt!)qC(Ԁt?8CBEV2._AzHm|j}7dw0B7˜(n?s6T*Ƀ<'½ % WLX[yvh~'-;XRoșEЃ[i~TF+Jgr+\?i6Ww'PgRa^M{gyP"% ?oi5\fٸV]pN3N:>4~&"e7.jQhJO V5tw]6XqDΣ Ry"@N38,:flCߚebݦx@zhԠ(IQN%_Β·Ua8>fJ]x+CfcuGT.`&D}xZ_FuHu=R+%Js bAB~HK- $OM[)ۧtF&"4ۇ;eQc&P"{q h}=m] ƞ3h_IŎ[x.-QDeTgp4Ջ@ڍVS?DU>ZYAk(FDH 4RvKa5' &6Rώ~3·!cjac@ u6lL0_> %LP8'/7AՂ֎ˌ+UAM* yu)qhV(p9%k:{u!% }q-9ԧ-@aic%XÂr߁c-lBMŚ:0L`0Ȏ!\&&,|1 Agr0P.& WOy`&9UnB?-9 X>WK⒏s89PzF<^}goJ|Ao1)S5Q ˶B6ԅY9Fq͏'(#<-&/_WVwQs9`^Ѝ] ^3ߚ7>ے]TcR>a:Y?,.'N3$U$ >k듃V/D,|opgRƼ{d*F@26mǟPc$A^0=w4t Jt(}aGsx'NBf̧^N12.yӸdFݱKv}FYQb ƅv=裘Z*P7yWɷ temBv_e]_0O d?FEUR%]QwHkPDzy G%gnы}#36oבOLaRg)NڐP׈w?]Gi6 Y➙&Ɇf|3yI =dALBzӨqoѲO+A.Y!`wгYqb˱~ڭTbP]t2w Og&'10x㴒y4”l`5661j4iF!i(ڍYs(VݡuI?,`6{R67KApBe%'6\8ٳ1RӘibwd)Cqe_kzzj5FtUzK97̓:&ŝCJS2k.x%"d6|&m.*TI9(2~WF5MQF pvfؕY@!_Ei DG#;¼uŸo%/.BPw5JkXحQ6dKu Y~w͠.Ia,1$rfb'OcktkgD})/c7: ਰwS*įR\\- =vPJ!bm/P 5vdwa~cҳ:nuQ6(G˨W~!Lϵ> '"; M.?EW'SZiľ3M:(c׿ig,VI 64w>JhgTr-V3RKf(HBįjDYG< NxE/$gB0of_4E, ;r1mhI^_fU#\e:wbNLYZSDAÙ RκfIȐ0z$BYj.?H!\~^S İDqv'dN 3m!Ca-:<5̸ OЊ:KSG LduCfR۵iaPDgRbY̙&(tJwݧUx:WDWavO[ICu sGUQ^z7\Wa5rl$R̄ØfӔٱ鼋9"|Hyk@ ly3sW\E =2ӨP|fz YT e7>$I~kR+JT6ޔ+X3(< "ZB8cTxGf4H`7ԋZg[*C#YnAZ+7k =sƞn)`]A`_-{(HtQ: MV7O ]mCz0Ry~ʨL7>q~ΘIX1`*IJk{S`j;C{x_Тǐ_f?@h0{H(0tO${@NimK Y~'1,i"#I:܇-{"CfL!-D 3<\zi1ΣUv/lC0Ҍw"|Mi3^[Q +30V]3$ 7zDìL/~"eG)q܊lve)h /䈉?+,H/+(w,K}:0sƦ*7fzUA7EFzݷ \Ck)|Msn$QQ4u*,5bYmdƂY~+g`/QBf4U$vQBofJMxX~~F. aREK3pF/JQ` Mf"H>#c&k>@͕lݙl!'z[ 663y;Ge{`C$'_;G#3S}y!X"{)S} vJ5tfao.k6>|#.WHaDv*ye`c 6yX_%wCBLFe8LoظvvTS3ﯤZ3O|&rM7:O#)\_Pa9*2$Ѝ “2($1Ȉ4;[HS ¦1~@[$G;(+٧&e^'ϼ·voD~ k?6 _/>ҀMz\,Fp,}pQ`Ur݃cd[[U̵Ǐ ,;f ![6/6!ze7p #E{=4ߙlNC`^'V.lS^T _͈],ncףy9ւ P7foCQNq_$)a$PȒ +bmp-HV)1aVd'e6M-nɞ4;C#OB+6 $_S4C+pDHr)dB3_5~Qbe(E|C\ph=#~LwR)K._PK`z,7I|!RH2/ou!Pk8u7i/ i.wb5&Rw꽴 /m>U wh;D[jӃ ¼;/HVēI"Ud*Gz>f%+IP udL~ d$vqiˮ455da'uJW+ʿ,USYv2c^uf},bMC/Jjz##t X̙C/'+Y!MfR[ekG7mIAb+8Cs$חh˕n)8*yj؃*ަt8q3SgHeojSdQ6x:jhg`Ls TR2T(+`g2B,R4W.7?Q+> "n#:/Td}rP;Fn\KtWofSQ;*>ǥ$n\iv/jn5tcd?)+aBɔCEp#d;z,@^IsϲIO,Aҷgbbe6(g"l͂p_'#wJیJ(-Z`܊|*F`ìc#J^c>#hɼB_BC7=x k/>- Dߥ<+|`))N_X>4-`(O!\v_Q6lF9 \Y8tdH!T]nQ/ozjWw lz(LNψ(Ö/*<7= tW#ARAg1D,E*P8rT@obȮa/{e(׏f~06cmgB1MO\ya~?}0tfL GgR= 9g>_7Bx7zQd38fۯ9ipjS@ A964~5Nw$ǪYÓew h^/B*my?j 3(O:LeJ'N']jp>,lk`i fDQ(v_ p\^ϟH2VΥTy|:F4j?vۿ^+gՠϤL=aw/ AZi^(|}bG4@էb= O"nʆ%C*Ԑ< 4'$>nڀmpy]{~?]=Ne[umgLWn1/+>3k\gO.b%ۡ+Bx8ՔNeQgNƘM6dzq:mŌa:YUZ8ffd\\^-4[GԀIV]葧.^)_fjZ)QO2+ n'x3%K%"+3J$xZOk Sd9PYZ#R9NIz'SkAn}qy+X֜m< j8ev8J'{[`fb(1m#zW͸$$˶.%yCtD1q159Ys#9qxN37{v|dsoz/3߇,Vbdyt*v&vȑRGlZO]V;c2';Iމ~TQgLky#d]=Wޜ3\6]or \&xԻ7X^9vd~yK>LJ ܒg/[v#clufxm~)Dek7MwM{ *uDZ_ pYOؚ y2%\@^X5#Nkpz icfA[aI_e D=b{+\Lla}?7r| F#+jۀ7wOVF1]!OhFd:,@2v&-n3D5YtELDAYGp mxt(iDS~Jc AdƬP(;m6 ~(D] Y{+ŮĘ! dy ‚Ky aAhnj S.z=\GW:_U$$ ˜! 'ԏ6K}@ʸo$ s[⟵86so ƚrKtmX&47k `UDx}_ j̅dДbNKa^4FvisT\}nZ|Z v܂x iƙzx2Y6r8; 1Oa?:&97.xt'@%,GW0r1'ʃK0-z fk!L8UNZE-$8I'L_^ 60:X'Ł>t2x $05-I9Rq'}QCe`c>g+O0H4o]83pqUZ ~p9 H3WtϲZPUW %DBlMaJ<@ s x.MI3$T"r3HMA}KfM=d턷|;c*=DDiN=T> WNײm 3%xElc),T#W8WmUf2'(^Jpp_Ёsd4|G9j 0[{ۚj燤~i AMRǑPZNlϦ}>!EʵφAb;wDoG'q99\jZ;wYzT2E(`Xx\*}G?EfjxPT@Qa;EIBVӆ6?iፇD [y& yyeT/ DYTE^ ֜2a[#ဠL$?hAe5#Yf7E9|!VnLVߛxql-%ƇN{'B Scٟ'3ZgTkQ츨캋{*kڷ:N\uDdA6L w1UvA"7p9bxT'HI/FDH07Gw[t{c\o%wO L<:wu!ڧv^QDj@o1ں d_F;+U&WRW6"gXִj D?#.]7^/Hh~?:A֕@Ӓl%aBۂn7jsRT7H,'c,#9ҌĥMTș04 QIĎph?SHYU1:fzcY<QkUBKb7Fp[nq! $)UzUnb*A ȼF'A?c.\#6P/|3'KڀCC*-]'\'Pu5LDg$v+FcK*S r9/),^&y- [ߤRz4pT9jΨ;XͰ`a8ŔDujq jkjQ|I0waJ tjW^Ru||g$}]9K|o ㍔QQm uv:gi~*?ёs|׏H Xr0}Fe&OaB{| yo{-3%Y4%J)UjV1[7^V\lکq DժϫԠ,I[.XkZ~۸af_ՐRv+dDfToRYO`oW7)n!qp]Vy~܊bXb]g!mDp9$tmŶg60P:HtT.&-8&IКfOLd>c֥zKV|=D\s(rrؔ")($WG9u=E̒#|+ е㺄΅iGK^sڈ*Ro?#査e\fW Gb:V=gոO#o[h|=c%RB#i!X4FGK= @u% %`+8Aw6N9ELR# Ak%ڽ{|nPMJEp~k[_ҿa)N[֙O&' W]`AUA$5H2@Z 5tъF"\BP0_hH\yxU q(w#\2?R1T%p4\/5ZנBa#-Xַ>@4=oƾ~#X>NbeeI g0쳜tbXwC꣐;hƞC}r)ځ'8N,[Oxm[źJ.PHJ!NOQ 7hQ'ůy4#UY#@S(߉Zٶ~ ?\cu[m>ZqΞ"\AgX(qAH.W|t08taG 4zӕ'ҶW=evʷW2a *\gvX$wj J8TCn4 y4pszA;F֤sX2?ɷ;'[Y0qVU`jR@O+[Z$*U [oFQCYqﺷT`2;Zk6`_ǒ7#z>V43M{?XO@G0ZKƐʨ‡M7R)6f)L󠄲uˊv%od1X"GJ'/ךgꄝF:ԳBFl^fEoL9 3ieYE{ 1z] m]gR!ywQ+&``~LqTЋF !1 y˾hͅqЧ鎶 4!#Ǻ=gvm`_t?9'88(2@wEC,`l5Kk&GII/&!R6DYqrw*NZ)?C:S)ueei81Լ|1gzn)=v4@(qHyTf1pQ< *,Le)=)\!quZ`@wn~٩UO=0VI%T=aÖ&i&ySL FUMy9&:{-}Ȝ㶶*E"HTIg i[/>K4TiƆ0Tp0=DyDQf`^B\.~6QMO3H}!?D7Ю \})mSPq`*QÇ =%1; jΕнP KzJv+ɑrXч|a %ngQKj/©5XOX9m#JAa&S}Y#7T-SnhCXɤ5-j5n'^mop5r1=i4q͗Q;ܻ!6\hAy1Ң(nA VPD !ִߩŴGT#M&s)OqOtCjsB &Km*&\T]T>Pp͗F7jFi>]w]Z%K<A6srXb6U rjaV&أ5p3Rwb8d3Gų-<+zGN+8B>K桸:)HPRQ_ ?xs oȦUlIyM<|ro3`i {&GnL5:X~hv;MO[c!' xI%f& `R~#]\? y/3ATE+[8ɁşZgi*\Y-d+l ֓IPT&NZl|ϹYFKtq~23 "nLJh.6ɊɷK#Vԫꗼ_ecșrRJ^%%&9Z %sByn%^hzS+ھ+ꔢ77k`ߪ ZRχdBztϠ\ܧ%)AhԠ1t6 dfmY0\n {02{)$ҴyyxYl~=sƠ"|?ꗾ;qfʔ((\zpo`A7ں -4}qƴ/4?GxROvas7}3U]_^Ȩb#oh1_x3JpƤǧʞ.Y9P L_k¤Ap %ʁ0͑YxU]tw0}bcqY|48ua|ZSKcb(̈7h Mz>d.  I-U]Ux6ghڥo5;6HuYq&'^J,x85I!2^-#A-蔿N v |-Ya$K@LT@{~U5H-2Pb,/lC})ElLpe<9$*{g TfY~]yZzM 8y[R|ȕv=$daliCnpP.Bp{ѰEP$6 g]lgveUN;?Xqسw!7x,`٣OZ4w6X2^4d9 At;dq=TV+-K}&0Չcyj܃78MFFYӡ Y_?vD7|5& C"e`о•JU!&nG0AQY|Hk{>/8 2vDE[PRA`,[ivQ)!U>Hfvl1ADnԵ{Fz @~Lϰ_Tg3N/jgyeJSΘNXH?+2-BzVޕ{X(󒥤&${E-SQ(<bU'bsk1OzTx֋\aҖMyp#qoԼD^@ӍNc܎g 2XԉIB]wڇE\Jk G-aԜ2M-[t̅*6g#%I^˟cHFNj뢊T%b!֎UX.Y}A&~0/0-7O61='%P$z޶uCv,QqKdD׊n)fƃv@rݤ^3s(uSmFF<`:&B@0hH#Q^LL6մyE$w*X"p.\EvAoJ?&UYS\6ټ C8-:åЁ#PWo՜19Mf%!768$t#wl}XdC-Q+qWIJl^9L|JGݝ E ]9,=%FeD`dW3{4loJDb8܉ Q~~0:A)c~j`.=~z#xjO/+:/=a;. `gFp.b˜J;ɓ*'=kľ=}OÜ[1@Vۖˑ/68m-0э^Am@ !޸c0w2J4h >9 E,:Lp5ڕR0z-˜sDqfV!Mrq͠O1<1yj]- xsEq,ai;k[wʣ cr,ڶ1قN?*jl؇$׮s"=R!/:މĔ27oOZUfhU% &; _QC U(6VVO1˹#_Z$з?{@v(dgj-b'}n|z+k=z+ZF\!x1F"nH5,XU3$ R⣬kxGgf7?Fs"iG{x )쓆[JZ\"Ϛn?NR =+aGFLBbFY|7ET?7 z/ueH:-Uy;c9"}H oAEY-9wߞc|Ң[Np&'ty Ձk&.+ VJMl{@'Ю(yevN/_jH81M`4"2cE-K!RGF{} '*qpTZ?*OD9Qdg G9QYc<2 JaoƄ0NNx TBSW1(@pS8Ӭgp[>nSW٭#;+A[E|Xi@5M86 lь/JT\EEN иcTd6a6FnYuMKh @pԅz>(U R(y#u%Zcǽ:L Pqjy1٨IL*RqV{g.а8y ZtYhRXhFw}qiɆ>`C/l6'fhZғO9-Dsy'>v&|tQbTw J9V6J`BxJy)>tEC-MD>pstV_Lۻ${로Z9'9L:5˻;m]#Sb;sfS]ʁ zN;y8&id$qA4yӺ9ȯdY);h\ }=fד%$yP]jFN#ynyXNU3碗 7,zK&Mat[fQ@ygM? W!DezO4C`m#M:!8: [ŃWD %yJL{+%{h:Hmxl-ӴHM%*WRw!k}օIr*MͱY#cݯeaTmu~72!1)9'e7&V,&eQr 9o揫q!%6'|u0'!9eTd \0)Z[mZ>ŧ ($( .ƎwuWL8;-Ny I@RR2=j1!K58B=˧[ mC]7\8 )MjDA1)xb=b={ȯvm&4 C*jTiq#ɰBe XT(VIJniK٢ʻPQ!hZ}o(4@9?*U:CT>M6H Sao_G’dVy歓LuqD66tgŅvh9& [b)γYҊn{c8K +׍*Gn Ypϖlat -F sJd2:#ru2ז3,~1B#+93.ɬkLޥ[iDmeooĿV_\c"ܛyG:-SXG\fnwW85 Ay/,Sq#8:qKk &z ,47EGQJUE@|UC1YLBO`zULƹKJ=q t/֒ja߷o2??Q%HJb~kr e[\y en( 2"b#HʚttM"FMHK\>|&2*-rc''/uUc?b,ξ7_eln,Rq@%}2ϷoˈH "$E#: odrmy«Z%v2(8A+= ֆ' 1ڱum6֪f>ob`膨k [1sy!pG }k#K.B }+0ő/N:pw@i!eWYT=iVߐ暑m:A<] | :w/?w 6<3aj/fBڿp-zW\s57JD|gHLz5tΑBJܑ EK\Di}1Mp Gퟮo}mwd(j 8VTCwLI 5j9U J}1 Li 'wZNji /:!Vs\x!DZsL ptZ2{5'QBHRWcJcz*{.Ԋ: %Neu˥CzF7rp{@cD D6~M$Ӊ2Hx <fywhe=BZR7oʄK;u!*U iב;&qQ=c>!G1܁%Czkӑʩ?,_kJj=<OO=jr۸؞*6ecÛ`Sӆ8j nEBROO;oH㴚KRq {PxLx،5 "%KXݐ&G!{>[,|,_12䪌|!4RTS!1( Lw} f;xZ20Ը *,αa ˌT9<:;/ܱMOV􎬪&-ބ b?S6h|Lzk·r%K*cY_jɁZM|<^{fD$Q2&?:ҭ `2pS.+vrIAT iViI(p!e(, .KƄB ҞEx%_ğ~]aG!aū 8F"(E:(2 BҐO$5>n{#6.kaf ;nC1}#$k$dz]|yZ<ذB~@ᝬh> Οk"4nV󰛼꺊n_0nS&"ǖܯ˥^ik?cd{ElL)Wi+Ϛ,8W_mQ b#y -*O!;y +m>] s<4 _:7L ZDY Q/v\\{5$ ~NZڶ*w樌d;A28=2»Ber.CoSwT}vQiT3 jdQY `<esLG%i\E +1ϖY3φP5gK6Nn =jl]>w9["-!6DŽ)mJr'0ra0Ti`R"(:iȎAIa֦(e7F֓Ɠަ@/xe}s=Ư uZr ̝tFc|c>6J6?辽;S~Nx^dm.+>FċfB)jSo-Jc@&[] (RSe':dNo>1چ\kz&@_kpkpֱ^{VSƱnKU{~\n@?R3lG4y4=iKJ\_MG1+T4ƺgg0JKOEFB<&m*T4|pQ{c=횪B} 5=2U.j tg>͉^Qot& k# &Xy8SF[]BJ0Jq&+EinۣnŠWfF(.w*n6pDIP]tcih+]!rF9~k60۸/TG /t_?h= o~,Gc;D'4@PǮL C,Eg ͷGHbysf:1@.73 1Ͽ#\0GlQj+ٵS /h6gyGid8L5T),~ b~l?ɵ\Vͷ0 Aҿ#>"t ̹uBt}H0RɺozJ+e>/5LѸzfV n>_${b.hA{];UMG"c 05W&lz/4o'cvK w7`rp JrIv* \jYW##KF[xH=w qA[qܺD+vh>-τ}*_[L2媑ؔsBsuÂw ^:h=ϬXSR<6Eh[/z8 mӊ]&}F3ثa؍肫oHW惐Db |-P/<{3E~O橀/ rQCXr.=vnQҷF#qYm&<^{Z6R3'ںoₒ@;be<4u]q#Npƨp4VGe旁\4[WƜ+rdYuW}cSp*3;WϽ0φЍSgاoHQF]/CNI4yG~1qHfQPͩNXXmӐSqTȤ oVP4 '$FDU.- 6 50>E~ Bo;O0F#9 TYL*UzQYR鳾59;IT:>x(a@jd^mxK>R-99D* mMϰsFGNG'G03\})Yȵp[e }efuJ/jVJ쥽#/HG:VwMٴn9i43 xzԡS9{YJym%}#wod+-;HXTI/&uY5Eud2R$C<9ؙnԝ26jȁeiô+|X'v"n}Om'\blbpg7`ceSqTVit}]^d/pštaeleD@Bp}䨰X%+Rg$|^ı=x`ڑr֗ͦM畺 UXxN"6RBÞEF>)cFZZHr9 sOYvܓJ+Sہ0Hm;H@|cx; )/pʶ_,?1 ;WuypTy+3A{`*3L64Ctь L_2s񑦟>D7u)9]d2)1F*B>p@!ٮb#Jy>v ovXEJSЎ7>;if^c6& !腽A!dTV#3 SĚ?>emO&* O %`m*NGֺyKJT¨hڐz0BsYcXr9[?Y當-ZZoL"-gK[Ƣw}^=ePk>B' ń|77:U QQz'\Ũ,L,ڷBCDꋫM5!!s 1Yqݫƒ7&ʇ~-hvۧ66Jj5aK[)Hq3,{DW3՗uzOFJKSOQYd͚ٙ^KfܬUIXfm'ᠼB"؃ 9:8X(¯;[oLQVZky[>}gIdVzk6% cJZr^5o$1(Qx$9w?'$=eeAq`V>}6*K8 {%ܹD*N]ֿT#4OEy3gCk_%c @$q_. nf\h,2 sNd{gh]!3ݹ^{F*ƴn D&֬mj1ɫ-OƟv#pPRK!QVfVXhij6aO0Ƿ"k*M/;m/3m2G8T*x=/H OyBԲin.xr@;huөHdcwǜ{(ձHM1.pFO%LE3M猭wBDDCEzv㹎݈B ` qKHq<8\;r'L@OM3"^!zþ[FfC0`Q~q\LN6x^M3 œV!Al';m1nHLWF<Ҍd8m<ѹN̤k Jf=={eˉITw mtyN X6S?O,>X#qN&}du2~N^u4Up˴,LH̯h/Zʿc=kגdbq ].r 'cg8#M>^lȮ&+ne1\f'q,=\cVO|k2 ȉm5*fad j!]EEi״rD5"DF_3z(,eӒ\SWNxʛXN]v \G[8<*2]/Zಣ bPRW]0pؼoئg ?iwdqYa Z LͽP}G`3KLJRM<_Ù* qLe,'fBwgC,%n\o-+@gfzj neu.\Co<+sE1 UnߧO9=Z) ,7SPIv^vˡm*йU*\۝~@l͒y*@.*l$w()]Xȩд9)fӣ҈:'a.u! R_`\T[0yW>E\$[I?)hFY6 ˵W,믈|a7 z/eƚP(u4Z tG@4Q%DW #0;\VZat03#[_1e!MRz{)6ymo؆ xXTD)]q0Fе7gephFl]|K[/;!ե$NF%HǩHoߙ|Cݮ\Ӗ.c)j8aa;+J7J qPQN%s6ʟQNo@O- l(*ݍ*<׼,+ESdX$sw1obzlC,nj7VxGDNsJ'b #VR*hUaP"Oޖ;=QtfǑ`@Qa2ǎ <^Ոg*]3vEy> %P \g?,91 N?| k욗+wH_߃IV$\C'&G2?Β:i3l +y^r/mwk,K;"zpH'd`G'U Bo7t魲d/WdʱcA%2J6J Ĕq6װSuAFv1k)m;{KJmE-TNM)1)>J![g60HgL"ZK:c{DxMG|ˑQ$QEJH˶,NJ?^{k+хfGZxX-q5-4V1 Spe(-y E29593\ZV|M*:L#8 ޒkRDW"hѷIʳHQWr0WT"lj~* 3lPyom@N+QFU폈Q+3EpVxO =p.:6&#]h8#Pѷ\9)}a9CG\o"CXdWչ/= $  DFL-T>M=o&uk$0ڄzǀPm)qڋZf~JZetwʫT~j58"BO7ax-~/cf-:>D?C:Q|hՁ~լ~/)%NL*fɝ f#^SDG4%Ǔ ͯڽ/3?~bj?Dgvn+Wߚ!8E4/I{Z&~I{qMf½[C)H]I/~]3^ \$h &es>% |QY{5ny,Ar*.֟h0g%!(l36y?U.$D}71YێY}.(sB͖Vj-(%ʞPa&sq%"YNP("0qR*^m\=`C#0/i1jsK"XX~gϏ<ۙl PxY"q[}eY7,uQPjk {g$HK7WQnm k›nt/|͏s 2Cٰ yqwMp3ߒXjɴ&6o%SO$T!)Le %V {z)5Ѯli ;,VxԼ]'\Jeƫqu8`t0T2!YzQ0Y&.ƫmx瞗uZlqeSMFv1 5涛* uz`n_\X[Z{&K0c>wXu)zDZ2=th KlxVv5(tlZb{Ҟ$d߻ &n>E:DD,1O8%HGlD6.TSN7N+VD@sR^y;FW^(w0D6 mv:m 8J`a@,/ [yAQ)ݠ7vcC Gua`BW27Z|?;;6{d}-h] QXH,}2Hm(/b}Vk{$[ $Wk-~b%ueerb~ ADȬ`#*2nDV_H<Ӟ\Xpmk}w! 8`!I95 =u \.lT by /ٻߊlH0ÿGjb>E! ߰lj?=*,gɡc.,6]f0E |HeǏ=a>1MU{Z3eF\@nQK`wDG,"0 =p!V!ܖ UmoN`ϟ%A/ A<+X]Y sJ]Ns$Rr+ 1lmVN5ft;hW "0qdxu6Z^Z2jgSgsJ:*wh[22#U0SCh1g%+V Y"#3f ra|ӑ=cQazƵrV2Ukc0D[>i wxbd`Ϥ(ϲ9EI_UMmL'm y8|:JҬ 1[:y#n 0/0?%*LA.#͌\_m}!zk"ʻZGK#$Po:L)lKĵSC3gsUAA*݀lUu’iDL1gcDc7>Pc?]D"L:Г$HnfGɖk}$bb#(ErG8g^f{u Ȅ֩X&E:Bp`%S"ga%suߞNkQGa%e] /1n;?Y-yϖ RUceii>>_Ԋȫ,E$ءƅ\G`3/t碣'^b[yp^R@bolVrёX}NKs@YJKT{]#j"38O"RCDd-UXt7\bOu` ɬuLwJ5[7Z Cqxk#&_*PGlbuL~ea%嚵 򒚏3߄_>g;c|%D?-m)HG0AY5٧'TRܠ8_TwlְV.oȝ*RRs'}2;%F? [> #nFt(XQn Kѝ̶΋ӌ9vz~^Ec+ s`SH.G p}t=$OBv6_2>y 蕧b: HN<[VMUa=' ꭅATi#ǤQ^xW%#O4S>;H*R84ըΘA)AW()g8gkSOPYtݶs;f!s;-O斬Pt;+l?SR_CSdB4Ha< zz6-`a^'P*bi$O#`QhfW\\>Gh?|Ew(Y8˚!4@j 6d\8o4r?k%+ϖZQѯ4A4.[5 /#z?x Ad*[ /Jӧ|yde9vyJF CqDD]hB py펾ǹ Br&v_ %gw U‘? ϫzOmSIhǝ ~*<@;ݰaXdU%q0~StT3 Gٳ!iW"j7eviwֿB^DKe+zRxd!b@A95vgp6?}&y!ŗ슚p 1̓[6^Aq@0ŒKbi !myf>ʏG\ xuw!x^gt.;$6śs0eqx>"5>|ITd!ٗɄZݕI ŏ>h~n XP~2jk#_FFoQ'] d*7Bc\pIɖ1&q%%+`1]Bum"TW/,|LWڟc;p;)4;0< ?%Wpl&E IxEKOoTk`7ģv9;*e2yG[*:ҊouQ_,'݀^ *Rb)g.`!AgU_b94)eg9L׻r`X' љϫsܰP΅[TDK ;է߻(Ԙݰ#dRt] :tb$9 P=b17ĨHD25u18G|6qbi:"[ 6$xk39>a,b(v$&<Ќ#>oWrn3t.UYIgz>~c˙5s &f%TqFQe.ֻhyWbx"XѸ Ntw^oCvag1ͰqpnGiV- Q*.'[ߺˁeGt,fHdjRDՆ%ev&Iv~ͨA*D*`KtϿ5jX&7N@7 MtuY"?Fʉg.,QA?U:kxQD{Mh)`E6uN`sp3OAa(4E;.;ae.dBJx`WxBYU8t M`݁HP>V#Пw^3xtN,qkIvfv}5{ p5):F2\_QzgѳtM&BwC3Cn ?!Wˆ"BUIº;~m{~l[᳖ (MW9IKQ9­?ד { ϙ2x0:-- yV^ NU&D*i*D8{,AP# XD8NAt cmVA̢Ap~7l5Sn>,ߠ$3iACDoCeB.s_YF7Pυ'1MH@B[rI+{.JauUo|`$ $8q~>7Gׅ߇@ǣ %߅o|K%`kCK_G3saBq^Brq)ښ3j@T8uq3.pUI3=rVv55د LGՓl$vzA&.;"7~FXK`vt@ux&þq/Dq8wH?%e>8Su/GrTJB!'ll7p-%kL]ҵ"g>(eR]: 2=k1Z^R`~> @80M!Zc`Ǖz6oCƝ=K=6<K`~H5p A:ҙ~пBBJty}C$ @c>$vdB|ڢW"5U0Lv15XV fnlOQ\F9נ.o++xV_oYpm'&]&$2VI)䆃+/L| &$\h3jɟG䪰?qa[T&񮉖ea@ עۉ@{.;Av Rr?ـh#.*Uv^lnF׷ebiR OR0;>$lRwNiY@.Yʊc^3dZ0 a iesBC5HľF$d W^Adld:B[_MKY]r)ptQ rR`9]O?3d.\1萸&@Qj}{coB:F*Z҄+xӌ[{3G7XR#Y&[ܓYs^}g*):;=# Y ҆tE_jlKN^D}61eC n,L [y4k L] @We]=tTj<#xZ]2|teOܹvWsvsǼ(3hZzL~9z22ˁQ5wnOO/E~fX#U,Fr{rrM5p:P8 Li^q|l؃|!;y7s].AC,ϵ\jL;I[\:>NP{FoVj%#PW`%JfƉ*Œ FYA^i[C_,6?tj%cǎθ{z+0KZ[i$՚n݆R`Q; L)N' h"@^=r61C5z$Á#ГFM =ua9x Px0Dp'YA?HST<[}0QCm_ iJϫnj#0%Y?cpVcv! !$:0)bzLal[ϟ&@p?  {nbD#aӡd:֚ZN, E e[h m>$/qg2Q3,Z\h^zE-EcG U+w||\Q`8wydZ Lr+{Bʞ<1gӹ۠)e +e.}O Y!'yu eʖxnRHu? I4o `gkժrKjvJ ej^noƗ˝̅*,J$ЗoXh,W<_IŏvL]`ϛJ WN_{Y FCA*ynOf d>J3»21]!t|%ڣ6_̰ C!l[ƙŠq| f%Pչmۦ1ƭkm[ߗ궹σ1j`cBPe[U_F;{s!4>G)X"zȲ{/_HlȒmq Rzʀapjp6ކOZG@KE^N*k8!eOg]xN~/Yˮd::N4P9+'-NtbY SJl3*׌tF請M,hCQ4MVA8zʐ62>sED__K"} Wp7\CtU\${\vw Q3g-0 6w8L%\77_|JƗxatwUc8%JT 6g_0YظQ7F@b73,d#ѼD 4+dld74g |>İk?P7CեK,Ux"A,"|{LRuf,tTPˌbp;!ja'}WʮX6"EN\jX+ il Y,[maWO&# Ď8zׂ:2m0>EEj81R{}:J uYpc *g_ڧә HeS5 >&!3s1 !NUBp'AsI:Ii Z]qhb_u]Yg/5EH P\ʢ84)DkȰMP[*=,RZ)>}–ǰt".ln%DJzF]vWY~Rбg:t(g&>/ަMq/XU[jӑQ߂VH qe7Jp~X-@D-u>'7S$c+KE"1λX96?3WH]6`{iksfw nG`3.y-?0? Hw':6_lgYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|N7)[sl$M`(.'HL&'i\(JO'_.kȅ\'cd2K%!.a lҁ>룓a ,le.p*>y^!ts/ۨXB;PB[sʗW%q,-.uj8 iW&QPN[ZHySd"TcP?3U5T^Gw՞MKegYZ7zXZִF! `[]ŗXi%L&ʶ'NBԴV ykj+21l[ X[IEz"<0Uht:%`-h4 X'̝X' _qt`Q2.l_"H sei87$#µśJGm:N/XQoLk$ _`D6y3y1(_٫r}.RB;XL5}J(WUpG\ ]w,km3Q(>X䪒3g@r#g 3Xo9le#U=z7WNm^V:u;>)TT|ϥHz]mc "֐Cp2,3LũY$@2 ,S mYl'~3I0D8 Y}Z y^9d4#3Z_R:S H1_ۨDvvq.~f,X(Y<{_5cL!l^&mgC]GնS^;@3&p#@#Տ>40kD'?t!# X_x= =),'rӔPhp㽬벶 MDW:Rt:ζuI&mbI5?s~3mԤxk 16RgO҆DS2)-T.^p(+$ ;U:Ckި|2Uր@)_(3 *gH&Q8ɀʍe.Xq'DJ.~+ bX QYR0[8FOGHEQS$Hdt^t nlEB{utGų],~V)de Pgz]Bw~uf4<q1Bs ["eOL,:AaFK?W*rZNgu|LM5OS/X >bg>D4!c^Mn}fF b lů4gƕkx$q:H8xJT_v*B;u}msGTjچĝGNx&P ЀDoD^-6XRAd ]ǛKLw5znTyvfbsM\:&Wäs쌡 R2d- pvXe=pmDۋUn=N7nGߙL%ww<|AٲQʹWkԾxKfp[AƲ^5wMlsCh6)'Ϩ8bG7JG`sʦokvE tl #hsT] 3g r~&N"fӤ|_8"I qEV!='\#9A3rщ_co{)^!1iOGi'q`frZ@;x(H\7lvQ<~Sߺoƒ!,O@W$ ߈Ѐ2sc?.T2$˜ RJ5s߹D/*' 4RB|)5i'|omӫgU1;_r4Rs3, a '^ofmu~({d c%>+3-!nmఊ{f5Do_zpCd%6{L0oYslmw( A N:OR^MZDa&d"; I1.: @x18֤ bx%wY]Q܋pj[ `ož0đD q˷ʥ09hUu۴:i)H6ˆeEj|Tlع`;Dž0d|GVGgRH*4+/zBx ͩtXB&Oop8y1}dh@l tl|q %C-V{4ҘIFbQvmC<1fsJf/+0qoO9~D,?ñ]9}u*7~Ѵ5ӗr4ᒷIMeCG`r{LP(fE+ g2{|ɧ6Rq'\b?ûx.E Wh0I֥Xm'`fk~G@?V0$8}bLL`Eek{]+Nب+}jdY>j8U!qGryZ#`r?ݱzc#b<9!N( N%n!_1t`p:BTq($^4P(`C4fֽjG7Ԉ_ވeImeMlIlo\\V>lnո9n4[=]I^-#PO B Zz ZT&+X_ci':#=qt:7s[۞tZ6;2E:X;.$n杣*kwWi7-c*!< L鑗n+Rllhqe'iCb'4J .'.~ ^Uޝ==5䇦;Lblo22n N-Yp-.#e.7~,%{ؒ QO_;{;D2 p_݆numׯc" J~;ez]\ZGT@0xPi?lR|wuD tq 4n}Z;L4ïiZ?]7Pb"DnsZBݮIa+)o|z(k(DfN=?J`m8o"C~ AɳRX҄Y,(|n+ZhQ-Xt3 q DtdB=Zg]_c˲E!`&.Iim9a [S׆cOIC?YcC`ϭf#4&]v8˜06`^x}0|B(]Mגq;UskXfN|;Rsp?SU<>Dg*~ 4a21@4,j %2\ Tw"n<ڈ׿ J,Y G~J$ ujD}ISl7l )-H>4S~J'Y2lT~:$VX[5i-`uX%FvE1B{Jw_r6srJ3qd ]ҕt/LQB( PYrR)l0N_㧝i'Hw 6u(f˗ 7>OLF_|{_ӴaEGq_.3y4ϳƢb dpF)zj"peU\ZRX6LrlL/,O?}ueÙd_24:@hMvn aOfTΝH&fG}8P jG,"*+0D RFi3ZYa*MIzc2&iO(_JAu4HZZOOv4-)9~--Uv@~>J840͝6M _19>͈Zg >:'yczX%9!l8h%DTz܏BGL6R'`jsmo)Ԇ}& $RJǮɳ\آ^0{d?>0# ^t;*ԊC u~<*b[2NVtÙ~R{o{BPM,gYZ1078d0c3ee11218fef8d7dd1753e16f293869edc9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f 8cc92298169404804b4a3efd2b3ca5f397caa20c 06ba1ffed38a897411853d444c7e429c60878177 535193de567395f6b33d8c157ca7427fbdaa7d14 d7923c28940d424f8801db20d612149130e0fa05fb841313890ee744129953c99d93bae2689ebfa9