SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  T T|!< ]]]HOL-Proofs:threads=6elapsed=668.578cpu=1554.340gc=288.604factor=2.327zXZִF! C]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^ `PEۙ emdh%ɣBZ _k&|ZՙoJTϮFX;| 8ܨ6PRɰqMTaY׆u\Xj,Љ`7ɱ+Dpx1b@ڻ;H']TZ%w҆$;aB ŧV)k! hߣ. uSsD |o*~^bc:B_W\@sAFAlPLL: Ŋm𞌗GN|RrSHKbۢN~GhURY/g ]Ld  aH28~vTT٣/Ik7hjoU e}i:Dygve_%rT`@7`]9xneF`j yW]hsg!ܽ|8ư#cM|a!.\~9)dR69W+o\< ;: Du.kD\ÐPeRd!xB.ݵZ"I5jPz_5x#^LXnZsE}bz9= hvpMIWk6Ns@~s㑁2 i|%I_  0vRmR4Dڢy^Y s)_ٟ,zsw麟tMݒ~fKw~uvhk0)Ϡ0ɷ>mQqP B$$ T6v؂ԋogsqgnCje#If 2_#{`UVۇˉfn\X64s$*lsWLz[\Rױ1.R( ˒moU 9no%"bӳs$|Z&2GϒS{P 1$ 2+9óz:[(41C sQvHbdc :Ei Hql];Scn%q=Li2Xw6ouNJuy~".dB$ w) C6qۭ9Y_]}ePUV|:y 隡y#I)OJLu7*6rǘD:G3?o{KEan5ak%pUJx^i)uՖǖo\5r"W?p̊G:ɶO27n@{lv} G8lf?<țDx?{QsM?rlsD|BQS)G0Z[ {~AnS-ٔ|Y[~:TmCܸw+&HEҟСߍF5)]};b%ư]}M}.cK)gBz5d+! MZ%o5?1VqS}b! ׮O<}Z04q D MVH@,f\n3 TuVg~rϝe)eE뽤pax+֜dB~F B꙱Ugj׾N#/e@֨lֶb{6*5C+Vr/c7&~yPDE{ϖYZuԴl?&P*\.I("37!A۞heFzdtq-e`,/Jk xsb=6 [ WbGw hJe{%RRcu}rT@_<ptA4cT>]BsS0N dYdvzBeX~>>p^ #Sw@oUVI:*U V}W6&Z8ZݳKoݍ1q;v.y{S44oRv`5Gpa>vd714+j1*d໐ 悪ykc_)ճgy?@)ޥ}[w؉v]b'Jo' ;ͮ.lғ{ޮ+N7$ϫhKh@xζ16!JXuxNuD̬ .|'=t[q*M_V ;!]Ўhݪk-xHA]`&[Pq85Mtt`}Mg>Ryu]sU%{17bAH|vl}^a-Js~֮t 9ٶmoH6?UMTH񂪀-(dzҿm,ĥeϞ?EV5fSn2s:W~ctP=U}lΑ)Ag2[y#(ףi  奨(mi "{HX%s7}$}㍂-z` /6Շ{d@eLޛY m|KT1^Dpi~iwr#HXVQ>дze].SGx4&8s"=7تRN*(&0t#m fv.#!6P3G/H Ewg -Fi<[p#9;BQBg:$\R؂sM.Z@ְ0$_q(C%=@YkWzjs#ŐfϽ8= Of'xs#:yGeOo&}~i5(\{\0 _eVNLrK}TYDl'V>J>}e2vR~o#~r2/srIW㧾)_t'X*#/1(0x i>Hbyx "rs\=HA‹Z(/8/?jkG +Mk !{Wt*ܕ1{٬MT*KL}!IqY7^w#n:]zk)&jtæİS_! fKz[3y$#Jh 5NHpPUy}{?:kud_5okHD9]!ݝ@vi`/lI57E*cJKpY]EIr=4TzZ(2߶TOd{,si;_7w i[TbӅ]̏:l0!u#x2֧$G|\%zV6rϢJ$蹟$ˡ݋ gH̭w] 2,<{{ULK+p5:#& ԐK*1^_}ȍ>bX L֬[;EKvsX8NkXM)gK'y[x!̭a jR7 LDVEe7 _ 7HTj1B 7/ SczqI)@ =ésC4}&ӉyBaUXM05|%ȗ[sxACj oJ6]8abUÇBpPITOT> ?xX#/hԐG)E&jV oze.ㆌ&U!NyF@_x%y|YJd|+\|1 8w΃rvF6B,eE5W3bA"tVLVtYh[}5b~}@bډ4|`cUtqSEs ĺ@S …;ȞK@6޲݃ c~}U"s?dFB4r`5%8]ؘNA <yQBc7<jnLɞy8lיyp ]9Et+3q?(Emc?.lFZ >prEKV_A ѯg>+Q86 B zՒC'"ԙ:6'4$vQ1LyܙۓkъJ8z] |ӶB_J1a\.q:<3seH0$6'KT" ?2 ^c)Mḓ60!خ& =M/sNk%p;Weyb!Y%<͌Q7o- ܙKGTF*@]gʃE܂d F3DxKy 7 6oEO8l4"eT3"2! У2Az! Y^A)yfIN){%s9.SAaaEWLb-Yadnw*͡\l@t1M<DG,^&/)|֯{Z$mmnpS>b$b> _[4ţ7 /mu/}" ub(0˜ @D q;.&Ȁn&V6mK*V! `Ȑ蠄](B+/Dz]PK` K iR/ymVq~vBd ]UPgzKfoJǦNzJ2ųEhJ`Oc\'{eڿCP^nb [ۂj d6AQzP;>:<"o`?`c%xWe!y+mYZx~sn8.,XU[ QΠDBvw;'(B6,b2ѴzgYI_$dJD2FPOFk9@Edm."4!`%i0M`_a}/;Yy#.4njdD)sc͹ !L[cSލyX'\zzbӣnbԜ}>7N$!LG?􌘘+lܝ2!᥃Nӱ5$竁OZ0T4c;?X'.<È9dA_JWˆ wq_p& m'\Sz<1l~T'SS"m;hmŦ[#`LKZY6~&;酡0:h0;uxʧűx!ɇi˂,B -&ԧp c-;dtCZo3 @я`f=NXlF:&yYKiӶFJƨ񘚍%Ɓ_/3ƒ`8'KF)57g9\)NqM~n5-~3 @UevV 4JHM[ ]((ta  lf?'g}vAL1kIwP0H`Ś'K:21qb2gR0˹=gYZ7zXZִF! c]ŗXiɟ29aoʼz[%U>EM!!Bjpɴq >RψV?tauw7&\CT0&Laē!]Wv)*c4d$|b1uۥ (E@Ƽ~Ӡm&ΔG,4Sx|ezcbkrJ<,EF+hjVJeOa=/E-Ì}?ݧl]_ cMx_*%͎XF}),[srpۃd"]Xա2ih>IL;{lh>NUQ=GV^`Tֵ#=/;pgdg_lb^d2^SvaOAk$'>Hu7g,J˓jar#],V&ޯ=(u){QFw;/g:MfR"ObyK,-1lW$"Då|<,$dP&sN~B3qSXMkGGB?j`=\BO_UI 9Zy-V2͒#2eSa$d{pɢjFR3A*./:^eΉK|_J;)Xw?_F8G s9эUyB\/:9{ueX^L;™F F?w(` uY?$Nt:올fpF<{EIl_QN%4rR}~$=<ÅVaAϱJhƕ=Ԫ`g-P^3ݔpuN"b U'Gu ^ #]ZsgֽdDոRkيV#|nDrtVBP1Ԭ("# aKZ,^8ȳ$e4QJBLy<zet1)ch=B -VQܫkW7$tDM-gOeXjy}-ՃLTEg %eѤ?B'gͣ}04z2A Q~=Odm_&הcHj8b1i*gv4f݁Q\" 0e$Y>3۫tT1-8D-j9Mރ,)l٠>ztB;ioo;t9L#B+_p$I00èT9'oq 0,[Az,@eK[҆B"ј)$L3}c+PKmSAzZI4nh}^8~`$N]y6^a*a?8WւZCxfo Lנ@BTl_GEd/RU9Ξ*>Z%w tEVήH}yD E&ғK+YKk;,)IsMJ".mn?Mӝ;!pDT:iq;BuivWY7ѣ+ )(Q/q*ɹM 9-=xx|%:WM7^*9tou,&1=q ,Ic } -$Sl5ȩ{k;?&+" c C1d4npe8x&ڐ2LEL0:%lw2ײEmǽ[1)ŷ?3 T(2깤`n%fE慾rr,w~eM7ZSUKSp Spfz+ϯ~f';m"ןhK$rqLX[~ܑb*F 61U*N*{^˟,A+4j"orۑq7ǼTv_Nw!zj G8'7GDi 5kσoԱў~dMl N 0ǭM܇?tyչoi,OfF;9 uD@TvUEJ>nh8m 0j)ZR$\|jxi6T}$x0y5S =L|&ԲZAFi FA7\@ hw4 \/|Z 3^C: ,De6@ܶwh!&O {FN)51C*uF3|^J@7=ʪyg rb`= @6Bxl"*kHBG QlDF岖z':Q_ #ִhѝu}; y~O?/a&̔Tw#6ӧ,^ZxhZ{޳=>ݞɖerB3-xdHuotF$35]ՠCک hz) E'`O;)W=uRo7A6yb#u,k*4ΣˉJ bɯSc<9&kܷֈHMtDgw'{dnikV/sxŠmRJ*LRY0)эlJr,M!Gp@Q4{Ø%9{j =4Gmퟰf>pI0@&N|{ {AH˧ K)OmD8p\I +QV9kn,C?r:j5-d` D1ogy+9G-kX+wzqA~0ċWVt/cv8YJ~컷q=]B浥>P8^@deLB}ﳞټl.)y䞞19Cc7U_e5pФٍ^G.{6f$bezű eߦw4걄i1bAg1ԼX GCخAZ[(CR5>?VL \1jdl ZB:fI3cM"# r`gKy֪-`'w?6 ]^-׌^J|!6923"ڸ!}9`\iE;%BV&Kj \q0)cqQъS3ɣ!tQQH0HkGu$(AT6̳G sXxa>g:pOx&%B!M&ٸzXT~AwG#O9 04&3d&ٲv.xuPNp}x9%=͜ňgW)ۛKea*v6H1M]ϱ{~%"ƯITKZzZ-T)C"n}` rsg~قE 0bӍB"<w37v%v H-sffu J~9⑧ BMݯ`?\F<ᢁ.-:a, N!E1 kkXQ/`9]g“ QF6^B?F @̜ד*)9x[IV(hw!p=ظp s6Je@hV1 ZU{jTԼS1y` IVTyD>$s Oס zY}*zǂe=i^u7><٪gMtaPt:vZ[1QG+ac:˛T+"fyUסH%oR«tRi"8/kBX @ )acܧK wÞ)N` :TGrԹ:` zʢeiF}Sw>l~l$G&r+5qo>}۞Z_j,%k'D>DB`7 BSFY:bQ&XzGRل::jd7 4;m ӺtJ2nV„SUr|aT)+/63\A^m冟qoǿT@,Ҟ=+4E mY_*ڴVZgp_ qh5I3gò>0BT(@i]B&·Fܽ)&Cկ.pr~5LžJyDݪxbU}=+`P>4[5g'"f2Q*3T_l_[k0D (6KCU1;n@^Z֜pgxN3e/9Iڍ0G~#:_xtغgۆbl)e1eNj2o˩Keb\*ۯj(wT /e3qvKw{ZSxGn}GKH" v!Jj+(f@xe)_P ,cgўV ԾlH ^_Mqu~m:XF-7TʋVWTѳ %>SV[de9|rS+sG({$U'_e(GzbKj.԰so?4as2Ń:kP mw}y+ y*v,;Sj b6_+/l~ڿ? =sNr#M*rO鈽Rā0f1bME>Jm.&B&ND% {|Ac;>3|f1ܶ؊%-͏:Zy`U dP^AQ%ªtW$@BDGCtO>_u3du?hqY];4S_'jڶ0whE>9=x4 e%m~+*[aﵭ mV//42S2GG3u< Q?_!H2ω-txa<8y=렾`Y Crj1+xlw9'q?kJ]@yQ#.ؐf6DZ{`PG{9`x3ZNr+N7_we&7R+q} Ecٕ^#<>sӨQoXş|Xk=9Õbѻ]L(lv)"Pd=4Y%0sH=dC3cJ?=oh pNǿT , c|@A /cN! {"jQUR[aUuxZSO<$J%e30iz-:/}5琬'n^SCqLnku** ) uM:} swڀgl*T#YԿb\ȊZm-gert[:P඀#S84[z Kb0 $H*S(E_y sKB>1m͂ d05T$;K U 7Yj\@QÐW|ktL!755/aߟ[FpNUv&;Eŕ_xD{.^sSuakΙA)#5V*sߐR>Y ܐD#9f\TF7&5ʫ˿L!=u(/ySOj'+O`T1PmF ʻi CM?n;hV~3 fQ#&t~u:9O'{oǨq\`ȓ3ʒbRI1r:|!u?:s3WवH1ZPӗiv+Ш~{T'0G#[켣+`WIRKѷ3/^u@EܩtJ|=sWN-bJRLK$fyto]2Z>kMlȱ -F "=VV[2=ڌGb g:KFPSm؋߷/,Hrb$$_ ꫈vՁ`|/:0 u'A{}tE^Cж ^yc cՈ~Z 3(Z C^mGD׉4#@[|[Z 3[{ VLF[.z`f_b8G=K2"Q M/sKOq b!6#]V z'|GThIrװ( ~Hۄ-߷r 8מV kiwKs)*s7)M gK |wX#6m+z<raaP ߈qsKJ1oHkܑs}tP'Ѽ0&P&Ѡ?HB;_$rySZ6W 8A5${pdue`GH^Ԧ6j?!F$ Muv%3ZL@f6T,o1,d. $UR~bRh9d? D =-H2m돺n agy_r[|ivO˖96ªs몵/0Zӂ45ÞpD ԓEۢ"#IQ&\?{W9(6;6͜p K[^/X\ @֢z^ u1Q:{s˸q,$G&]H^[ɽPEFwMcf>xDK`ENP]S\(s yq-3YΛyJTkTY7JA,xk1T]|K2yWQf< aR#9J)k.tɍDuue,9N>xU}Ɯ)/1mvF,N8_9y^2XE`萺 CLNV]vd|N@fꃫ;iLa~/QCA(?j&W{ھ;-f#k~\ʗ[Ywm~1FBG/oJ6b {!q{޺J6\j* ;+pHgVrxUM7qBBi [y5āS&͌KxjU7;B*A`HXKR.)rM(sIW 8"foMV呲sRF&Cx2PXJ%Ћk 21Qۈr+T )l3ҤP`ZސzʯKS㌱k6sa mEMIVB!,,{KMtǝ4r_dh$)6K(fESw.nJ/X˥|j[r1Q DjJ\fNA]Nޗ&,,"PD5` \ P|W.ͫ0aNt }J^֐#"dg蠜#Q~Q}geH= -3BdJ*7ZwYk'=&Psط&aq~gTZzɺ1 $]*_?JFJ:0Kk*"#32E*qz hi|mZUt5V>"f>RmYgRX11̚XQRۑY>er!i)1VaaR$荅myG_E'ـ؛n >EUM j_-ȳQ$i\;̽%OvNj J1/ͺ Ngv1OX-E'ם\qHm}]HKz:E(A5}jYͳ-|Ҩ^&Pq]D#Թk0jMyi,*r$Pzs"|7̀ezm5&?G qw93XZV|F#r{[CClRJb:75Yiɟ"ꏷ$c+jj`1cg*Nc*L_Aɒ3)-5-eo1Nu8TM8]?+wҋ\;VV,o7fy0%`GL/ [9:>yTG~ϙw-5CWZpӮ>m o8c Ta$g XEj'_: /F߇ J߳ 1suH[LJh%)W᝭ǑՑ[Y> Y,8&"(6oWaaO5j YW~ňob'ݯt]IQsjN\Nfty mT8Wqć`NEalj)?86kXO9l} J:SZN׼3܂ ĔS9`,2.;^ŭrSM,|N1Ra8\qࣽ8Qf1a/4=Pw۫[ ՐOwq1~O l bEc :55bB0W *PHola(c(idC̥YBQő5M-Mp+7-~ KӠWM+IuTYOg ~ &ٖc$g"8Gbjo~B3$InRk*ʊĽwPWfxT74mr{1,W}p_Q8*pøu(wZitI5 Fw3rIN@ztȍbN . i7?~?ݫ'6U)8Ok:gOscަL[ #ll) v-/6#[vhKe`K D?Yu I; Dx΄Z%ozgt[<bgt[1G3XuKTq% c[6{c[L1/)6Aə Z(LxNoȠcs-A$JkEZX:Q(`E`Է+z@`A~25o7~g:PKfڦ _J+D^#r}[?!DKQ pB&XtZF Qo$~cH@/0m2_xkT&sLQ1͸&ƀ%c2I4lqQd¼yQ&%îO/ڐ|`ݔ \m9B`iMa6Z]ws !w9 M} Rjꚲ"v:C+Iv V箕- >M_!R?AJe3y%obo$3mn(f(L-ߞ*' ZU.r1M^VC @H2 DGMl Fu{F1HnOn `MkšL€H/5|ۣ eG|2v, U[a/0E^͛G_瞋? /JF<5}-I(`:as!Ї<%$w^tS fPnz@'i6,@iL҇mV60U}dHz2i "I[:Y9~eBlDa N&#V;(z{;:j3ˏ[W@˨&Κh:F _[XNTRdoO|N_4Gx֟\J OԓSQ.Ϊ`h96d^R?雱bۦ&2٪S`r0$II82Š 0׬^ a Ä́#$vrgyigA_q?$hc,/#d;\ )ňrClOL NJzJwn)<1:cBQ_H)^;LMn2A\Ǹ~@W u D*ϝ#o>rmpwwm<8Ns@T0Bjl$Rsw,4}˃B*̲SCuRtk͐J."u#y|gg=fuE?B5_Fa HZau+jB4Ԟ(Nq`mDˢV/1OئFgj,M <| kՖpH L7n{.!j {Rb_ Q:%a @/muHL(c Zxǒ(p@8͠ _eY儔MOr 8G6 ]@q_(`}:gĈ`O}͆F E*~Մ>OR'=jߩx=NÍj3H_n%Xe:w# N#h,72K5RQpo NeUʍœN|DKl#RDWI"9%y#!{GK'i|Z:yBYr9m8?w~^|Za ͬL`Q+DsS2o#WNVaxQs!aTdӉSv^UWHF0fi.ڬkdI,rR^D;IEP+~4hB}"41gqe_f,5+$ o30 #Cd 娡\u:`HF ϖ!;@_} ^; :Tӄvyzi @\^+YLtVY=E3' yr\,$=~Yn$NJ+x;X0WB&@j~),Lflt@(t?JYCޭIހKx6xxaS$Э@slṭrڒab_5Q#8늈a)_dnȣF/7TCF]jӟ8yt2/2Z)53a o`[3ķiQLWԕn!ooEVY5}Kۧތz%g2leĤuy#za,!?$@ApK+M SQ?T>-if$|aY"Evr=6llawjn8yupI=>/="w-)ūж)VMU|nsoyeH9m.aE Rg[vnP~7 ~\ؒ\ n>뽾q$-Y)v5S@=J'6>\F7AcF1|& %KcmPJ΄]6r;Cg jJ+β , t4 I|-2!j.:K1fsv/ɸ *ߋ (P=WTP4XlD\X ,A萠|N٬Һ=h뿘\,rW(47ڌ&'p{}'I'N}şQkV#pv!J K8Obn#/yVA'Hb`DQ\ ̙P>cmy7te3g39hqufz$s‚K&ukwJdf~$;YNq(Xzbs } l0BP]-oR:,3vQ)Ӥ53Y`bh ݨ,@aսSEٸ<@)I1Ǘ}yʬ @9u ᄑpwNdhɠ|AJ%?B(K+Èiefv!aKKVKg]t"ѿNdҶ⁔ޝ: 'Fd=@5qMv (`KpbWA|r4a3t|}_nu'Rw^ Z'! \p$lg*c{4CY/m܉t~ zCڂ(8saP-s 5Ͽ#MP~ CLKN0ZlJ@ ({R6H)m'kA@b ]p9H3ae$*R <[Q/m2^`(OW.Viph8Q6C:Em0b1~tEGI"vnl|c!#i ,lS.ղKy;j[~Hȫ{e[3;9LwB j@ %1HE {7xʀN6mՋ\K7E1~_&v^oúsj4foGb ׈QR79E^N:9qULO[adŬ A(v:=,j*|eBsX!ch`3[d"R ,p=gT;)5 s:X$APЊts!0節w5K@VMآuKLF]? ,ΰӏ6)^6~G Du/C99BϋnۼegQ-uKYG7; L||_ zBT4gaGb5%gAE-4XIm͉ɅÖ>e<q:gTᠧaɄEG,x>2;^9sg,3t"%_y'<9=&!DS-k^ Oi#j?ycOFQ2[^4`%[0z̃r#@bm$J.g92Fw;g9J:r97[űC)Q%&\ 5i3)njz"'$*H ^i-ҝݑ)aB Rf<2qWFqc&%mgc#pQ TqU20kCJ$Z4er "W͔ Lva6mI-4ZPD.w2BU*hSN*Yybږ$G׆eȂ4~,}m{b! EӀ*02C<=Ye9RCuJHAhe8^ӖqizPub`i(-ǝI.4a= ߾&4{Ѻ&l2i+F#N &9aq Y06?VᏩ]p^mB n~D tN`|E]T q`2 qAYw6 |}jCS+MFqd&:u?gMe(8 iRyXp+BIMKU:yC/9 =og4v<愙z#A@UK!KpcP$"\}$f 'w}NOHA[u>7qtPk4N]dH4W9 Tœ-:.yQHG1 ӟ^ZU6eO5LM_%{ CVyӡ4Т/N38]= R"KyWVuec ),u 84IXknu%T?(sof܉<H (!q4jhTu^;KTvG[uovΏ`I׮?PpV'-;2@Uע8Rv,j,z <0»A?'Ey3tq1'hX΅l&,2] ,kVOYvٌ#)^tK[KGg){ 1G ?>HkLI 5eq)Oe3sGߘm_twuNɘ}FΔI(sq^cAW@il@]x<֠&DD0HTcS`t7ԜuӨga}If7+c&%7;t$\>\$)-CގDZP QF\hE; >9pHr)f*.nviRd,QMqa/\+Q vhC0u/3sطL/cX:\z}Woa;> D 3Q18!_+`a+f9.Bwp^9;95Ο?8t"Ǽ$Q@i@PK;l_`T0&P)1'R Pɀʩrh1Q³m'nF?h RS ewLi|?qSg%՜+blxz*ռi 3Fރ@U\m%e6L-WwS*>S`vl+MG0!IvUfbX]b55ߠ$^ ܿU#q}kUȿϝ]҃aA a+U8hoo^\{QqEBޚDK~e+nQE>iyUlN n%ڥU.)*Tx-L)=]!;q;7J}-ͩBK5%A xZ/Āapp$ 2`xTj䡊[#we iֶyIOiןx7,#>nh BI7}4d̓0&40I5"Po\ k:nP0smkV)Zd"[o'ZP(}N!cc<,zN[[wn7 @V7?aHB otY% %*" CZQL)1rbV=ۄ Sl4|SI&c,6#DHONb:zS2A!L3PU"I}7$VZh/c O9% w_^÷UBlC9r]+5RJq&24Q#β_;"!Ddڃ` Pެե4t[46bpPxٺ=3]vZ]'U[{ї"͗‰GH)vׇٚ{ qs[U }|?)474^bJUuw6[cȣDxV 1?o\,Q❟x׻vLvߪ{P߳ڮԁLc5Žξw:/k2 ТLNəE@[ا*zM#AϓlT wB*k$nxV)7uBgڒ¬a?m㴽B_?&r%\&Z_ѥ/|<ٍ,EK"t9V@Ȏe$$h˲$.j  9Nzv>bo h>X&L19?}0m,'Asq~'D+%A>{ w Eș:{b/ Ew<ѳxz$'$F98d>C2uR@*Hޮ@@4J2ٞn>>Tq1|dgtțN ‰, ^Шac޶?9z=0$OyR3+gA,嵧r_q )?p?ٰYVGw,<1 ֻɦK~0Zߴyihk$]OpDS/5#lʟZVxd;@gE9Vl%lRd\1DTd;(Sŏhsp 8~ƫm_O S'Ӌ/k(iC#uOi V kQ'HBY;Y5NɎf䠸 8˂ژ!d8Xw&hUbPn^C }KV9wo 3Y:VЋHSаrsݳŮE{&dߣIiG8_nmF6q&Ë qpk)N4 V p9oؑ5<]iDu`T;q._ Nf@DR*X`1{:zh v.JoP􍢓JD_>9zcQ %aJ Uվ#d'RyaiڒB'ln'L[l0fCL( 6v¾]=hAf]SF37e#,.(} ]+`# i6G<B4o Nyc X{H&._5Tƛ]޴#wɘ> ChK'<D"Z3ՠ麵L,` KE]G/a-Ǣǵ߀+ѶJE;9qH\xzF7" Ʈ}tvq%2ZVHgAt ,لVRFM@4W}DNg/Ub婂 RIӽ6/ 9j= *͵*'v%P6[/pI >7(7A_Ii.0`G5&Ifw2f(=X(泌As]Y?n)B^+D흙e@A&$Q' 52#{u20262 #Q^d胀+xЕEgҵM}tU,lVzu < 쵼 @a:8iwtqK83KcEO1+S XA(,9G컗z4 [ ?#Ԧ22Cr]c;5֌L8 ^S{Qؙ?2"6bO㫎/*KPzMt|Yc By{Mc;{b]?Ġ/'9ۃNKwOGN Y8"J}ҢV؝#iƴhHyx)}!D&N%&$Rar؈nKG_\;dgwaϊR7)^ S o,O]CӦ?a_!{g EnI(ɇ-sN|M `xڠ;ɡe&m8Wr#Kt520D3"%%L{4'^jjM@w6AoV_bz/X!qD !W}2!/P607uR:BOԃpU+lW.Bx\9S ^h@>^iBvOhw׊V6IojMmB5fKɩB@~RwG"D-'aT+ $;gp6=p0H%_,Kpͪ+<$KO%mKIADMz=,?^q]xt4k藖w'u=L,X–`< ^"E&1fs'l}I,+s~6"o@ FZ'PǢaԂ/O hM{*Dbg)UoQ7\*FP" Q}ogc59ߔUxԉB""ˊb@uY,zbyl"Eݪ?*QH̉/:?9 4h (PJ?=&1gʼn! TZ })1@ɖsjeBW]UDj@m˘F>SNk_~`_wCIʓPh<+vD=i9*fYy}IG_z#B0ɂ`A}Y!j-cQk 6I}\7beݫ>;nv&Q"f/XG92k40LX$ɇ !9&xV(+!DߗB#$Ȼ[/мPb^*x,Tz6to+^/0/JlaE:OڽbKiV!Qa{bY1k !kA("-oOP)'OG:B+'3.*HH}Xd.:^*D\̐Y89tϫWd}1K{ζq{na&(\K;W5?I L$ NCSn5e5D |$?Aژdq`s#~70Q<9y39ۛ\IǮﻦ/s:ʋLC5~8}C7D@]s.`J ³!iJCɀk45v7{!UĞ\Vܨ&SQY"_%iH+xtKŮҝTAy膶V|)_%jʏ)]IsN9ݶ:7H |8G^RtE|5ٳs6opW?eoI"RVFһ7>T\3+2|c*8e^|p[CfT*׎e{׆>dT_e DJGA.c_n ^S=(y?fŀN k%Ɲ0f6t8:3@y};runɳTsɜBWvF:p6}ue8~!@A)RP 2q9xGuQ+RITַNV%t&d.Fz$p 9bddčt?~\&~N:|d́NH&̋p۶Y&9BNҕ_h ɝz7$-dı<[ 2/.= Hm5 #UeVϗ F;CM$x pp Gf|<Ug(-a)4h3[ (9'>N<"C|Zl;3tqVݧxH&-6T8_AR \o 2UȋyҰ+U\RU^/OTF^gqO[!_q*p<4 "O p#91O4~|W Jl"+5|\p4ҡa{ Q>ˀq,70:]̴o+4Ju$T-A >9zu5+gIK7 p3縏1CQR=r?[l\U݈*oi_0[p-x%{d=M/ ibb\ ཕ)[SQTrVdLYAj O  l0 (Yrj~xi4Yj7PNWD[?0IUB.kѥybL#K]eq93p*b ^UX:7EX<;sP/j1b\܈5̇jz' yٱKS}fqnUg(@;ЦMi )[95]6KtPl ~댂2Lwvu~'3M{Y;(*0x ӻ6L5_\ӗߑ#l9䤋a|N_ N7.XyLG秎{.HzEJxX4~x ]ƯpCߝya㆘Wizyώ{-('I قziۻ{)rw0B%c,ztā@#X{Β6qdmJ1pAM+I8q;B)Ix31Ӓ-`|M. Hdw3+^ $* ,8;3gjHJYdۚC]<'A5VHJMaBara*N^ns-A WujŪ ܇9.:=!4MHmQyf&}?–e>Kn<6zc<=u 7#oO\ a/ːm4q0,np"zб^+ n鬩e܄ c`\Er5}0^]%SPºϑdÃx%u#iVGFϓ+]ggJ"FI*rS$MVJb<츣R2]S:;}HA9,( _?\3$`){;NF3 l5NNP"?FFIhn\g|hBP4uG9j7:[/qJI< '"xye{2~GFJaiI8us<Skh# h>÷.A>6q)SG\q"s1k_YVV^# :@p7Ψ;T1Ey72MӽE=kYu~zJВa-wooM ?emCйG+ǫ>Xhgەx}+݃aX;:v_ >!]/zPo3kkzg6Pj&}߱-B{8P"xBIT}[`,HCI^y4lZ@MR/\Pd0t957=`qai4A 5xenl/_d"<Ѭ)7V_ ރ[?iIVtAoj8{Y%`LqݓQ03OOU+ʩZ?Dxb%ۿ% ݣNL0T*ؑ>Ӝ|׶}Xл՜o'inKȊvx܉!wo0K6leN}p228`jH}tć1St$W9qK+=եfXKTia<>h(Dv!>)kj)w&iդjGG)i\!0R9d^+w-$#lK+5W%Ŵ}5iDX+ "NbvbӔLs5@ s oGÿ\n lv&UU^\7ZOu%9SHM;0:nXqm̓w3<|n`3rIkڬۿD aЋ?d'9#vs} ϯXr݋:ClpC pt!GlP W% M4ҝ$ݎ3`{u2hqq,I| 1p)Ff֨,7>!3ŗo 2"*m~-#ǡ/Fҳf>ҍ GG"޳(g_bd U1yʱEkV"*bYGDx!HRa߰М%1l}/)]{1t݅Ԥ~Vx늩dn&nG$gtkK`(7s7d LSrFU7w7L_QsnYcHP6R:͒CCr1T`|NKJ?,%r7r8$u 3<隉Ź˫wDp ;8w4(y;vd3.# TR'_vjc )YyמA5d>Fr/r/zqPmgZ)}/xAMh:}MOͮ:)v+59+;DQTPähX$+l> ѫJ? L-ٴaq5KѝDFB؁5@G,'h-(DsG4{TRL&ei@4;|:t8Z1YWg[v ]K4y^P7%j/ReOػ)HdhCҜ8`A D1 m ]5ݽ)ჯ9t|AA] JLu)tDjAbQm74d?r8U9TQ3C|mqQnЬį1&!J`CʪUV&Y؏Cct\8Z%%-^D}:BIe'T駹VblǕU0 +w$Em~(+]na٘5= B=]XJ ~k籈fg~ k_b2Ipg"~Ch+yn7X?Ll)TQȸyU0j`+tW=2@p/AD(U' ZNjc$>nO.+ l4xt೨SNZx?<bDR# `Ub5k>bf- c1y#^ڇ6Z0솰/-?՞tC1%(([V\en4yil-w7f*V2Bc ֆfQȓ6hTq?moyAL ĂHd]Du~3V2ـ|J~oȬ+lVUfpYkۊ^Pv1/FŎ'"* $MB џi!9Ơ+ Dtt3b)Ա-^Y`k֤eL&![36QH>G{uUz'e!~wi&D\n\J;ݓyإq5v,#Oc' aQ`5 c8A\Aӕ]3}'Rdl2V>ve+7AO,7&̗}(&u%Z]g3q>RLT] "oCzZWSr90m`Eo*˃e07xlg.Z$n|,xsgLݸŌEXKvɍ<"goH#.|O.)hGO'Ȫo?F2d2"LRc`6矈3R2;Kֳ/=ܹ({!LlfT_vG V;Lb?Z1;NXT[on8e%4]VtPfhǿN;JgqvCr.sMOd*7Kl)#}}fF2ՖׅONVˬ~~*h9jowǮ/Π_,i^뾵ZAFNC?fo'B'i\"_.TQ';D M끚 9,@H>E$a'S =;&`D eU=9%1,rJgYZ94c610199842556f1e494ede05d8b9a799fca336532dbff203604d5e2b7f0d350df2b2e535aa0670f46be837f0cc0b33d4da3c239c83302825469651