SQLite format 3@ (- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 07ld ]MSO_Regex_Equivalence:threads=2elapsed=574.156cpu=1116.628gc=47.464factor=1.947zXZִF! "]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu< g,x6es |p7msΌaTRbd(ZMT4zMTt.Hk{3aRa5&NpXRp \2ɠa.ԯTw]/Kr"[|IL𒣾,_q&4xvvJ:nw5sX+ = ?$dB򇔩);~9A.h60wbJ7]pQt,:򢲻s]`\]j]"~\p) 4vF@c8RqNS,y:(U۶oѴխau/+{<2nHAtX9&!ٗ`<(+ *iceYAZE/[BMVdaQijO@@`ft[k`v1O qb Zp.n%BtI 'k`TrkU my WM|1EQGh @V{OAn`or鏽34 ;&'p,(wXOEwe5mՐ$RݑgiFLJLԡPE}hɽ*f !RـxfoW$dh>q#q fFWސ0O[~zwMƪ8d>JAÒ}^Q,,?d^F,+Q'l,C}eP?K!m()whO݂2)ԟ{x^\$VΑr^ }JأwNKik1 ]L\KYc׫opȁ>c`b$T;s_d $4ꋅil\^> ϐ0: ˂&e 7<;}\۾/mpgP WA_sdSZڵ >}w=G?K~ ϕ9"8n?HďGfyZ{芀(D}nv۔Xm ㊀t!LKeJC҅|Fs<?{t<\9=Pa"- "z$b4(xK0,%w Rz#MuZ:p4¶8rP@8)s}Z" VT_ԧ9z&NJ۷n_S6Q0#9y h܎8|_5A9jGfC P<&az!#F^v}NhǴ.M;`x崀Q`I)s7:X)?`~hDgISaˬ'&)Ф~]>IcAC+?D55oΜTxV7ٮ-搝-<˛mf>1Gc~m[5aV$ K"Zw{~v41>~II6B|vw4Qj2߆WsB,Kd[ESoPl ^C+`ԥ; [47,N ua+/QvяJO~XEۚ.d!*)Jm$|Ϛ 2IipP*륱̫ 1X >J]0Z cbsLS K;k}5Kf^`|0)%0J<ɮx`BIS=fԕQ|}Eu˴lPřhW֯5Ik.Ց#|ޝ$ō Ys *JAJ.R2y%WUTBԲ@ݨb7D󥢛.63u7JV4&g[{R &'%pt}?p+冁 $w9sJU&LC!kxC\Ic(&k]W /a;6/z2rzWٹ+e<#d&ʨ%≯_= ' r#~e33 q߳յJD Φi$– ÜL~߇"bC{_5EU :Sܽ2J3vlٯ}Ǐol}k.P,H~0 "BghhU?'d"-Pm VRElrf\Sx9'|rQ^esr)cH\m*MV1 ",yky4ɛD `0ؙ@`n PSfk=^OT|pp8Y߄Iv*Dr-z+\J('_4,/ƁuN#.1CKq!2#5鈩Ц0‡+ UV z7v^š xLz( hK{cٽ:5®61,'G7mOu7ؑݙa EzEs<ͻ`S(6GcEXvzIs:(x9bi@!TY:ھYr4 5yj=ʗϥ@ LE:i2>Y_3_i;)@ 7=šN;Q`k[/vv0FR-]tT6PHD33QʊM\R.=4Jb3`찋ykqdQҀjz"jkf睒r٬,͸uxjJCEͭ,q#-"cF- C"gKB&ؐť Aʵafip5Ft]U-*+M;^"⯌8R6_[&HW,x:%+|lzA7?l/`4 CILH8!`_Xq^`6 &!w.-> yEd#2p120VoT^bҮ&~~jCr*+R9;Kn.tV dX水aRL@.{ tɣCsc!%O*SLK8R dpaPL@OmM jI8!cřliӪ4@̑?H'Xmr'-@^]_0*osQ!KƳHXk=zd\(oť6*X)(˸ZMC+ 2N8S7St]%C m>Sa6-7B FXIY}~8(XzRXQiBЏ#ϋpH[OCbC !e*YKroCI,Ȓ3]m܍&7^2baloΜwMK |_Z|tlne`T~>L;T6{fZe0U=E;@NJP1m>-L|O30Zl6!Xp%J^_yaPu*DeB^w}@DzHia C|L]uYq ۩Kl''5Bf lfh?3ltt-fjiEM`eg}Z8j!U fc;]؊eH( 4qDGE~aʌM6ɴ%ƚkx!(l^2ٌc۶="|2~ F`*W:`JFsy5L -DEpi=(EuGfU>5 j ww%{few&QDZa ARKaN:4sPDܫ$ӱ |JC[Y*Th9Z/YAE&>x]ܹ#8X !]SK>m_LEHQQAX;ޢKj YDv#RKñIo~v棕E/mH"-Y=\㿂.W"(qZm;;Lq$v%w>8фsU"cNH(IeR?A})̘>{AU~,+!lNܘFl1(Ǝ(m.O2"i  #c#xϱdD /v\f-CYw WW{aq"g` ltXF_?-ޢKx֭3D2&2K*YHՇDæ(AQ:d/WCZ"P ? )=;!G}!;gY=Ǟg\?zӈJ2Je.T*v;Y>hWfh4M͸Hկ`B_$2p@A4tڅej Qc3*4Z^N*q)k9 NfbǮ2T.|m#0,fx3ێJN:ofRq9XR'K2)‘7F)D܅_9Fm9AƲ$XݷdϺdU=ZȤTcpq/:Ӌ.[/h2/vq/M,WjNb'ua<ǩ nUT_R༹ߴۋ2{~sDlQXҔ͝)÷z IDt'&R`: iI`"IobU#cD;6 ٌ ZbFDjZRj<(japZڪTmԳ2ܴ5 ^n#];)#R3c.oLX|HvH7U~nV1]_uW7 w(+@LrO[וȹR =ov4FvLj[ t%igOAFf}zNd# J㶷Tk- KtKYΪj, ѻ?%ۯWƕ~6|bg <;IE6g!EH.31јn?xW^G(\EeRMlˆLsub]׹-E,Kd׵NW9#\7r!c +L""1 nʚz5K|?|l"vJ/֏v`WuJ.f>E#:*ڲ ΅%NKTApp}&X7 U%:&"'uHI y0 8?_:+leU YPMdžlzH*wqS_)pjIL7.N?Ú:=O[ߣ>k󁼉P_إ v!Eg]^68j+:dSVJ^RJE&J;6hDnijOԍ xG~-N#qWJ[F@/1B9ZtGu𦰛tufseY%Pފn,, vڜVs֑q!IX ViEϽ3Xy(nwNАF5HPDtxLfBW?oO>6"VڊG]jh T-Z&,>;.eʌhX]gOBG%W } >ήP؏ &Β-F{{1(3{%Cl\ 5fn;Fk"Dal TT0K Z`6oS$|sԥv$p94&ش)Pm1o7zuL> c [K˄ Q}5.@]AX 6cd¸oNO G Io\i(w[hCم8m-d )f-1w^ϾTtԵ5Hj'ָc7 #bګ1FKu|,d %0z1S6, JQz ]BІРD,`\y3bVtPb?5z.~|xeNj1RߊZإSWݘLJm-oC*鲄q5Rk8s@VCV4#땽z_~^W{LRϸ7Nf [O 9p U_z3Y<>5Í\{`[MAaM]΍Oaܖ%[#a[n8@{W1z\7$T(rDtKkGaZyluj5}$25kb'Wa0&2[ eጜ06ݞw`rj6@3 =t [/!RiJ9˹Òp߶n hm HF-+(7 VBoۼpΛGIn/F(L~O!I o+4 4j'e )3fcZI"81GǺ,g¦d+  X( >!ߟ̴J7-i屄N4/ C=8 SXXxܖ>Y _vDLnh,߆:d1}M ? uf/g_Y!(˫i6_#&,Rf&W J|r<j(͕6? p"PYw8] J Z] AE[]K-.~H7:o r%< CBYz ATv !lm ZZh,'U|ں^ws&0B4V?H$fOm YQ74#,((U#(n{@~iByDP%u /i =t':q6c͛ԯqP4u)>݀\w+ i_I tCZY,Mo43c&Ī75ŝ_xt#AM`ض?V\btG߉\#fFɺrR= I<^4Xĕy6z_T>܍ #S2x1t(Q7 \`>fLZ݆`P4˶ " -&f-W*7 NAz@Km,  бU n% vus]Fχ7@gYZ7zXZִF! fl]ŗXi%Vj]>z%8#0;8>x /ִ sJ׋1gyȹiFTF  p9ˏ yq@.HMcCF'>̨zldڇWoSEVQz<==,츫& ^Bgݦ* 53ĵhywх Sc˭ĂNDJS3Y]'lUXrks~6Ց<k/ S=αYww6M|y1 - xɩ^jhS6_b[~릍s|e\Tr23) 4K"  @ɣغqyfN;wyLNypWx,?!$I&ga@OL0yA%"DfHVn6C-LnTj(dXoh5;d`fC.FUi`K @clGI$Suv~6: g/eVIƊX\T^”42fЪ8eqP1Eۙ(e M"$1M/0.P2V/uޗKͧ.G٪9j D2|b:q-W$VLa?3e_ JH+D]EznR=S^TyT@VBtN̥g4Q!ME[),=Uy#!;c7=;a6;()~LB(mQIS2_|{-rV/;C|1E 9&PLZ'^W_Y88; QXR{.xw$#dWf?0pll ,%@qq|]jY4ā:y dC^s_Pz*wE_zT"lkO[Tޮe;\G>#D=Xi7La&]Q`5&ijg0"c?]mHdx<f\u8P1U7i_xofFGQ y[9NzFڈqb 4Tc se Sj`8|%l?RS ji?qu-[~KHXIKY#GX|G)̫#/qK4_}QEhHK" 9- Q0ɛ5e z@=@G.$FVy"~{QXlvQi {;94irIs-#pIYY `nSRa]cKnPv Ǹ#* #dG\1#vPKVhta>5.<Йgn#fk.T2Pzn I3?ҀLL/j{G8^<r)?T,3& >HхpYwvhѸ˱VZ+0H|¿*aTBQ_oz4:r]1tdQhw" Ae! X7M')AY ~`鳣)S3oeZ<`AmسG*4?e6_r#'}CĶ|LY*Ƥb|ղE%! eH?r)ޏŴH 36 re_ayvaf'im|Nrt̗ URa\Vdى]!7;wZGeʅ2 USϣýLA xlo䀹aR(42ÒB.oLx3Akw=&7lT_xnK=gW*w<9ִW``.9>}DJ)j%"DB,{qlӝpJl':Ї pO Qóqhx19X'ThtƧ{]mq横&K>rHh~xjΙ/IzD:_Kƨh?~MGq #D #2Pcb 0џ,Y3gX d?R t3ҫVGNVK,L'P|-5Kz^!ܧs;# 'u_rD# 3_9,&yN+)ò*Bd,,N!Cܽ0|W#޸}Qo_zб6FL)^jIơ3wWZF첧)f_xN’эn NjOu~ n\,r~`U'Q,#}k9J_m6i< lXeu@)YggmI% \DZzN HalD3_u„:?F٠K"BEذN]I}u1Pƒ#y;%b?$  xc0Ih);r FQr[" )ڷsa ?\:9rH~YB l#iw)+YfnKAmΪ%<p;$(pP2w*ƟYڰhMSX3l|r50>-«+~^\06Rfs0!401/T2%Qԅ&1(f8YO\hך v 0 {HV{]O^mqPv50^O)/5% t_\zyfz${04KCw9%,!y\tu;@F+3n ;,cOF͛OC,S:Z~q e3k]JK%ks93oV1꺴#3ό\,ڂGp |3to<όdHCL^Nn:˖bꪵb0 ol A/Uz?fSh4rT0 ị C5hM?֭ >oyZ'OYNT[s=]}%?Ȭ@6ڄlD]8N-Qm-Xvq 0xaB\Dy<^^t0b/,},&E7<־&Xq grD7%H6vsXsMjoO9nqNeuacxa(ԣ)*g N+#0MQ 7AS@PvoU?y)1]FDgKHm㡍_DZukb7fU[WoLhSB JBsg>[%ၝ>`C& cb\7ތ^v`34~8.CLCw(/ bUL¬ ˪ه!>o !`1Wz-hTQ{lٟЪphE\̣ p&ύVC)M]BkrR -jœ1;dIg EK(G> +IV pLqFP zMdevڣ#~$y^>Pp"q"Sv/\ƧY0`7NUzER8^p3h·S潯)?V=آ%HM7_3SZE֩5ؿ0HB)x4(t+\׆;?}+6Ě$<,N|@:uTS}P)s< XG؀_B>E_~y>&{W`v%C"P8ܹQYhVn j5*bl+$KpK'HUxEF7N'fٔKkB[3DAiNꓙ 6"smA⾡#}C%>)Y9t͐]aV^)Z=ӡ?`tAQXT}(D̅n #%.=nJZ(\;h5?l>nIyTuy}B =H /Y +xj;lź˾À?vU^쬰ẏXUb~nfzANO_r4t>?egg{(9y̫':"$ƚ'KU)n*2:4$hLAw4;Qx>TPZByBX/Ϟ9 ڤԆ76]^) ^Kp{Dzꉴ902!= E'mconݎa0ΟHI<&A܂I5K-Mtn<쎦XJ* -)vo[v)?eܱMyƬ@q(xxW/Ϳ;%ʚ\1N0?;nQoȃ91Lpv'BߢBh498Q܉L+ gfϰa&&W WH(S2B2K%oڱ_C넴~L 74s ES#u4w}![-驫ap *'[%hM{?7tdb{h@A4񇈂2!5/(FQn'ʒpG0;7ݴZ=G}?o %P!1W:ك5Z0sz(QYN\d͊/(A1D[{Cy9Y]_wO*ˮ`H?q[ qkKBHu#2Ӣ6zlPy(~@HVu񦵰aqk4q& B7,>0ƠPXfOj3i^t~x!r+L(7?xh.:$Ў|uּvt%M:u!glpܔ{"#2s~ NR)8uS(^=1{>ܶ:>hFg9fv_zfD}P.>rr>(':kX^i-'bSӜ)*oUB>(.~JLqMuj*."k<,޼#bV$by^TK 暤[HP"Nœ]/`TE=h1ImXԍ#e,fA#aW Dr'܅%|FG2aUu (`HU|hFHn@{yO1회KUCLV-#!w5gҍ2K<5L $6K`-Í<F <@J.[53Dh!c_K]fK2^yi7xv܂ζ#E_ldt+/jo+;8DBh 98KedaUꉠpNVrɣeH2i*5 WwƪZw`d`0ׂQl `>jŷ2-H {'+CQnwֈo5c @wYAŏ2% h D~)v-RTڨ޲Z*q,O)s 144f6B tO`V3ZۧrWIGRS&;)1)Q`F僊\!rw=K:Zj}nf띒AZkhIWsR_((!ro"9\p@,u4q<0n4 s8V_qsKTI͉ Ѻ~&5I͑i\~={,LĖaT|&]~}]+Rdi'! ?t8 %3buw {7R9* ڦ`Q$ɭ% MZBݩjY7m1v: a[_mbeQCJkkp6Ym~W9?u#o2 >4YЯ_r}!˴p rȰ7%<Z+n ]XU=1y_qH*7vh7>GeGѿt$"TQ!hN%*B.hqncART=]PsCMvj丬w]./O MѰī3fX7$/W$!CŞ܇̘:oa2!*KcP&נv˙4Yl6q_`85 iHucLF[Hq_Y/|{cB=S`p(K/&Vfo+xt7,e)ZGG3?G:NDZICuxF-^PM^>Tl>h%Y'إwU:8*d_}A&%+À=HТVMN}=ֈ`kQ]MdBH rޤ]MLAa.@RXB/ js8akUvjmz.){G~`֛s~g5 .~/]9xa9۰Qjc+zivmDC,Уsҏ)X o.Hc"^ fv!%0亀VFU4x#("|ZVx3%k%u?iΥ&$Qo Ie.~;Q&H'U>OYE|NT,MZ_EZl >v|)lHEqzQ6}v)Eo.j+h#xش*櫂05m3quy'\XJNssqQ;!e($-89 l7FQR\1 Sjr@lzJkO#8rI|BX]Q"Ua؈.군OKv.k5v{3O0vBtS4߅ѽf^@e;ΐ~ece uǕ;}1ªWfۓa?zYeJ{VwDK&,wz=Dd+s_zСed:t>NF#xnᛢҢX<{XcHe6cHag;M1޼iPyୗES6E^=H:t#2aI \-5 #@61-Y.vvxFZ.BAۍS1}˭u6렩8!Ϲ=z<(576|=$IZgmzFu=~~aue?f_' ujq, ;ub(oJutģOVӸ3]%<8+s u{- 9VgDZqmALE?IVusy2voƶ䂕:V+q="}+"Es*g$RXzwYo^y:RN-nfQ,ϡU&l?^8~a];̩4wUW\/-6/PJ㵊 ,lbpE}X8}lW=*6rhK /*폜X#HdC.o駳Rdg0A_JQbЋV] 5f]GHVCЩFsNhYʘZ7+D=E _g=Oi]Q+rՈ9BF.6Z»`'߀N UL%H {=s,Gɂ<'vJ%X9Dp̿({yф7M݇%9;`2]BANM9)@cp\500t, \{n, -"Zߘ4xYJ]"u+.XFS0r|ԟRF4AFHP7~1G"^l\nfa͛מ{Ћ0`wy阬~+ƛppBS`MvGՀsjx6q/s깴 ͒*n#^̖xA)f58J1Tu[}]t', (H L|(V b$r|9bIG2.#I01N;35VP᩷Al}!cxO^6a24S+Κ_3 '1k>>{}^;nuȧ] PDx{>|VČҭ37 ^evJ-$OަNpSNt~Mw-ܷ@V1z^3>^׌c;oJF-?"8ݲOtYYM+eg(DPTV?-Rs|w@QzPVw=ԛNLc+Mf;ۜ=4!½}mjAmkQԒ҂>+)VCx`^ζ|fQtݺ$2V"]1 ,C~=D7)Md@)S 8BCO_h]#9_T$lY ū7P{ĩsᎀ5U6o&HkTF3!J [, J=*Nϫ Rd[6E%Ū` ]dQʲ.As]eeIE$:v"U"K=l֑fHZw$M|r%*s+/I/Sx[9VYde5 Vdcu&X\}+kć;{ pbk1ƒx c*j'ZI(h<8DM% o$z9YX0_p6R+"dv-X&BZ).l X'Qnk Opg)l܃H czPIIbZe[o_|KP*>@󧗣' HݏƆV 48Tl̃a~`gP`Ŷ!Š5Wki^TݛKvp;qtZ :MڹؔZ߹)gySU_M!Eh=]}F4whf}eIB8.jnaeV炂C;Ib$ma'v:g_on92)9tHbf}}f-W7njg`_ZD-n׀`KPľN`vЁTO6+4W4jGޙ>E+!*OmWqAËD:;K- Ό?$#&lb{48$j{o3,FBپoY݄ORwgMT)Xvel9WM%wt] {\@1p3iU*3PTȺziYpb1[m%e+V IMn].^Gv_$Oǀe1m6VD 9! `( .!D$L|eqo~"1 (U~qkWsQ?KD8gޤz#Ar ࡨSbpy!8wŽo8X@Kpvu}ȱº|'":_fk="'R ȭ9zvanQS) 7SK&"\F}4L= Ly:`࢘#?ɻIEhu'{(z?5ćw)ɀ4QCXH& Rؾ!_ B|%$$K^_l<-zm#* FAֺ v7_0 :Cb2b ƻx vA^Ca4V#i}_ a:u@v7,-¯  V +x]sq(žHs$y;Tz ߈CprZuz Zkn2(˕{mwAZcNǒUc`UYuT;&4 }d cӴx Ƴ6uu`_qhսACLMzy(r2a].9{ҒvC:iumY(V ۺ-xL6Ũ\>ŦMX!7?vțjFi,;O qDCC ĞIVd +&^6kVFA,k+ԃi}-kY3lˆ٭zb[TMHuh ͧB;XX<$TzWt? q.0"~+\iϩ}]BcJ|1uǶRuoNޅ}9#?a->jbd8akkb.$*ry|;wcwBiEF^`Ohi+j6iRPCXf*%9)5(E. GQ"6];߯ojr$H4}\QvakX$BŴX ͊^0<ٕ9DGp~G hr=<>HCdr(V*)'"fLdȨ{284Yq8{ك[r)704n \ d]'E]0iApƱ.j0 c܂8\ E$j3ژu<ҋEcnOd[7reGۛ+`0#(BTDBeyjaMFWFQ8ܦ*%!dđF+ WIT; fcak8wKǩ`ͩ$G JC4qR@lFQtK|@Sx.?zcI^HjZC+ ~⪇L'G$ul~]Bb$:<4_?]T7eq;vѡG,7]pmrDdQ?Y1 ^( -GL ?+}Ka,ОzC_>G<K%r5 ]^zCJ}xfo9~ݙZ*8DstBOH < mGӮEPh NeDj cHCbeWT8?'F`TMt"rldu5AnB02, wf:Ű>T'uJP.霮y|^,zLES+YqV.wĝ,îŶ0R!ق]*6Ƚ{)rjLq?md 󙍸oCMⱨJt'U(QUo6S=l5_ҏzQ8Hd{g'%|R$2KJY:)8%Sּn/g$ A~^2ȞP%7QAB'r|3 C,__{1M N5a~A ͔$da5Q8}ߨwW2E./S-l?5l**K[p,wKD {u^t;_cԱpM?i֍ЎbloN5lkȻ=H*PbvZp_Fތ]mE浌7atLit_:DD16J#_w\$ aE(H$Y3zF»E:F&Ͽp. ǡh]z6f%hX(q6Ѯ97J-olOgWo -LA9* pXm8^^/76! W1w֜Mв\@E,|G@W= AnR), +D4#0co",{ I'=ͬ җzMVD|.oȇCmmXhkӫ'&  _~(J4}NpU.EK8e [aFeZE~'XƐ68 ͢ƚh%wղgfn3tiǧ;R8Sf`ȧ6 4_v4;7ʺH5`p#V5Xm+G&+0qk0p6m(xmk_+@)Rt=e ]s+$5h&L,-0Xa Td )X!_D6!3T:W(\#X-\:ٗ+PZHE|̃Ɉh P];ꋬopJP\$o@tl0Q4J)q]r,  ԔZ`(h{c]3*f?A` m SR4\,g)M ~) ǯS̿ݫaw!9Ǣ׎:+vk3neU1lVBD` nAZ(:7<,D42ޑV&+ h!11zjԯؠ{H6o@&NR^BOhM^BNH<HsB ջge,+ dQ$ZԴfj];BaxkhJ=0Ċ̓F4NAOIM(J2͓б9ĞVwKŃe^KLe*3_&:eBcjה!{9o0픏vB.-z5^ O, RPjȬ[TQ8ckVB},04~1:3{~fIְfNzm($d~pFB0TBՊ/϶ہ1& pz?.P6z?[H[w_ ` IJz1:NB`e|{R &S7K\;-?o j+U܊qau"$BϛXt1Jgx7ZΠY3)5ΝYKR~!_BB8ӓ/u;14um;|:3у|5gy4 r}R@Fɿ(o'θzoOOb\3"XYЧH,3da9pb0"K(O:hf 3R.0bҳ@P%V 'cPiZ*6q F\ۖ;ZBq0) fyMnw@kЯZؐ7]ڭ< n#\k6Rw]I0oA0aC=`ZW-)ۚѠ Oy 5_IMl[ !?3A?WO?e?Tt~\.إƖu\PUfAJ7U1-m5GrՐss{0$,1kc2{H|U9M1#XK)=";&mx¹ f w2hzuKSb#\ f˒Om"#^l^1'YPF폂ڼEHH_@C}aJ?ŭsa͝`µ=$rM7IcYj9^`aMg){р1JֈICX97tjw ъ޿2RMxKmoc)_>,@w4؜tljh+mZ3O\Hs"]gk?'Ҩrec?Agw9|{@ ϊ]dp(1㧔kJB~Uhb ͷobh3ӇwjKSQp+"x K:%ʸs%RC-ktM^8~Exk%0Rs@eyw[ W u+tLμT7!kSwoySL;pz(Ձ1љYDIhWZM/=M :1f+UեH>;D%S2u_RHBtg~jRg~xNɐI #צRm\h.Η"\n-xXc-C ;$&hRXwA%+"\;sgNΓ*!SìzjoY ɨo LfXǙ͕څxky0%DpZAq}]^5 xr*K5CȬٗbk 9" =Po|^~ŕHx֯G|'oVGO .w򧶃_BMD̰g9&s6xv"'<K>zy! ', %bAe_G3IհKUtش;(ya#jÁײM5g]5d%YDx+P׮FXH( _hUIUx-Bjs%F koraL H-ReFh{A,J= '\C(#:j5Du#YǐG_6~1#/ro,/K18)>HKo5u3q4 A!~pT9+ Q350;o56Y GzPQ'ù鴄PQ7Ք^*>6tKbd% 4FA3mbCО|E \5Ʉ?ԃ׃| #=ق>}"^ࡖ^& dPU~5N@WztX_ $Xvutyi̗"&H -־iOcj!?š$Pz*HөEԚECoz 4(pˋ(o}IywO%]+FxeVKs-nd>$[h?NV`7Ja7bV0%3NJjhH#} ܤ?/eqd6Gw _jܻ}@hv2鼕uA2R:װ9)t{I:"_Ǐ7{ \Ŝt)+L{BNS^/zؕ^i! \%i(f$ ^k)}R@]*5VJjjfw2fd o]tZCOؚBhXR!`@kL屴(T\~OХS# kē=r i2$`rV~}_Qj|fQ䩝Uz%Jzc+,ɝ/g f [oO2 5Yg Eg Y["hRw*R`^RΚrk^P.k@$ɴ$0g|pף]}ĸB¿tBUk;6; =  Mk/t '#"]pc.‚~wÍz"-"5( eWai½cVQe$Uz(t5c.IAnti~L[ )3EFc4;Unm5.۫iGV2QC7*~b퉲^E xߐRDͳwVM\j!w_sM4Y8z&,ZةbyD#ˉ˧b,?RIk2q#̷0L^j50wX NxVx+(/b} Nju8 oFӇ}AbWgV%V`Aa>]Ah3:îx ,qbe.YuVpyQ5agFQHR63W@Gyw猽~-Qfq00‚w.*ޕ<Q%n=L_!~dp-*v0D<A% A$9l_뚌X1_Dζo d%g٦Ba"6vNnqr-#r)]q˨S4ܙеv.b<"T.`VV³Ȋ0^mҳ{o)o'!M|.b {SƵD\%>ז_ܷ hO~HBIF2(ؽAPKCVs30kOuS2xط]]h<o|(Jk1D9?Gfl^4#9C?Y_xr9IIwd&9&/d+pDZ 0P,{Y!O8bx.72|2;;@=<\:qŵ0Ps4N`dzkb5'r.ιFjӾW7^?-ލ-M2:4F:scyͣmu {#XmE c@1dgt::>%s}{po(>EIՈ%E`yb ϧҶ#x~^wO,&[te i\v3efo/oU)B#9+j^Yngp|c. {"%A?Mx@pBڞf<`nɊgcP:/3YPMG@A6f(B7*十> 1uG|.+\ʬ[e\@$ȪùnȟddEK;Z"爣sqۄq,eθknR1Jeݗü.-5`toW:a\{.H;xFA;~wPzE^^r |XD-K;6^F}tvJfE[6WGhH o)(-+oi" o[5Y3"zrq2&w62G޳;khFLlT~#̴* 0 YR9h&{D}Wm>s"e9 zS7O+xVX[m ;6#= ';QV%=roi3~[/w"򁵋ԁZ*˩,j4 D~uYZn~:_6IYu^iT .>htv Vkȩc&qաz29[U%؜z#L!dF[Ydso\v*Ld-d(2,mrr>X칰gWFAƤH{ytC= Uvbmms-3J??S_ %W"rd\3+FE~ܫdsSs \+gNe12gu⻇v7Ï]BVӭ(!Am$ bG$īe0)&erIRTo@UuDZNSvƣ'W%g1߁CZ/UfqѽKӈ@7@$"G KNt^ۅz˘-ܾeV\Ɋ B[[t@s$w81] C(XQb>cIS?RUI ܹ׼|^I7T<>/wEU[p㨄^I;S,mr?KZꍾJL*8g%6/7%B`lBdZMx$Wsdڸe)W1]_yq'”=Pw6tg; [B:aQҾ'flkiÃ~m$BuNXF6,7״Y,`=z,k&v4׃ CMR['q=2SPsbb7rc:@ñ}_n]}A+܈[O;.H40K3M!ϴ [ l %)M$ 0y wyV7.²'%I-z&9_~sUJP; 5 iԼcX{Y!&#bٟY P~$Q ŭHº7Rq_@oZU`S֌Fȵ~q^y ^p?H"/ =a4xEQ2W.|L& ZT[IJ}aG$ J A--< 2POynII~ sqK_r*7]olӇ8*ZSBu>UV>kGćvzD^8qG?~o].]Ɨ{Q2:\<"\{aRK,{,S  -8&SV8JU Oa7 &J)]8]gkbQ;\vC9Ώm2R|jF|=rĉ o/EvK4Z2/Ww:؊sޖ T8_ "pq/P;0hM@N92)kzdBmp镸]t\ ҌdV3b?MO^ zѵk7!%ݍ(j{㾍tMOh@  f/7^5B_򳻷#2qSS: E"r+Hk6&cIHP>Ktq\Tr|/OT<ILHy$uй8vWUX l ;M_)N΄6XNRQsMj[!3/`eLnbpU*^<>-\w1xH)[\fΪ 7,,]S=>=:rߺ]֥_đD.Tӌrs d$m۾;Ē*q'V\rZژ@PUk&K<\d4N"YfNTekg01{[dxNv ڕ5ȁjdN{Ƞax<3}F/[3 *O|PR'W8jCE_qxdN>jx3Hϯ>/+3!P@+I,>g'-[u2D3,9c̸ ]|uY]gׅ,9n+V¼)#UAYUA};Ũ`\ =U>> 7MQX̴tPY) :x-:ooյsVd($aJ׸H iۜ+},)E{nx }'hM! Y:\]`΂+!7h%GWY,(kW/r҇Ϥަ4V(-hVh DT^uPJ;Z"0P\M{# qs%֬v}qύUe\.q|po+]ivpc'Y!Fl/Д´!wti?O`& mr7:жfK*2!ߒ-3HXʙOF>\{c%ޗJ6B(ZĖCu [m,s&8 /k+S/԰y[> hQ&58FAĕŐ}="LbBC?iOͬ!Kf8 _ŗy$ Bt:g44a;B;WuPn#xHЖO%R#$X)>"P`7m`5fY"FvYl<s]&7H66As,>}ҕ,@DBo|)2Qa7۹p/W!l?D+\C)OZ |b}6m# XKR͚WcC &ݷNzI Ha+: QɒfEti\>|'t5jHyزF4%Q"qsPAnNg!-]$,~{0rS=ƞJ$&? *i N;YODjnm%J'(ҥfuDGMc@p2NZQ|VV:WǍRDhJ6o M]1R 78qdy˽2F8Rn21,DB;nߒg[^^Ŋk`AޜR3:'5pqr.ެu.P͎r G*m:rk,W3]fށ(gMyU5k90|Cv Iq~ !Edl?5&ZF.불z!z=>Ne K`.+EGyo *%qUSЩ-bj]vvƍqrv`GNJrn;ajI5paRHW Ͻ`C1&ti@FlM SZtJdG|{Gj؄Lf0[yN\&I$:9MoOdD~Rag.UwST&}46Rzx |K'[q2#:x&C!Om// 17P0"*w@`f.|;]نrc<.Rn9i ԙk5لn^1NVdw5R:ђȻ|g)m]5X/Vodd;LWQkv{ El~R}[YVNa~/`.eQ{˞0P`$=b2 wJ ួܘix>B_G9. (I.SLnć8E-jmhAnף*d=ƀ0s`UJAT-I&"-4}STq,'@zJzUR|uYSTgQ"¶-oɗwZXog-}K"Hb@f6L1>2;.L9V:dՇmubqtN&o{yU tr'YxrCI7G45wب:̔_)i)R W `ތ$gU+"lF07^9c]e|(!&~ vW9_ qmpyXXN)kNa`ԁ9C'F _:ӀL@z6Fj_w_&%Ykx.$|j)@MFԍ;$,lh[|\i  +XVTn6x¸HB+$7S2+D@9L+[>n%~rQH\b)&gYZ08be19446d72f9bcdf2a842a89088d9869228a5e 0b69d8c3f70856201e8c054bc34357b13520292f 11a396b61ff67b5ec635c1f00c6f0e8d4f88dafe 1e3f3b9f42d40107a2af3ebab615eb47af40ca39 2bc18d57ea87da2d3db0a06a6e5558a6dd698150 2ca548f124bf08fde0c7f05baed9105248d232a1 2e8dd58e2ede383cbc7fcbaeff3b051892ade632 37e048eca1afc2c069cebaffb562a02b039bb22c 4178d8263ec1affc708587b75c04983d8347c352 62db7c2f912509ab5e52563a32412f6c53622264 6a817a13ea5396c1f21b029eceff23213f20f9a7 7102c8fbd6151cf5569b2dc55155eb20a36b3faf 79f31440868c5686b204e83e4f26f92eb8d94f9b 7fdb4fec52ca3e0a01be6b2d7adba337b9100adb 8a6afd5bfeb7cf465f3f94c15c377f7b807b94cd 8cc6283ec74b19d9a6bd2a74c7cbc59522750437 937f9c9fd64a5f87600ec011fe348a83238dd506 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a273030280c4fc85ce6bad40db954e7aa16fe6fe a526ece146642d823be07862c7c8488392c4dd25 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b6d0a023212be48fff51171cd7accff79761b911 d2bf831b160f6ea48a6f74bceea75324c48877e9 d73f179eaad464b075b683de05552c78791fcc46 d984bd91b3c24af3b069d46db03ceeff6cf25e56 daa5e0248528bca893daa43713bf4e7fcdba0c72 df7d6430a4bcd2af648a3201e1da746191011f8a e4e06934653818985a7ce91b98ef63f6fe3b6a97 e568d88b6d74be27f17e0458076fda5c5a80e25a f03b13c1e0db20710943bde849744b43bedf3440 f8ac88e6f8cf4d261ef5f5179023ce80c9ff17f4 fefcf52cdbc5dd45bda0389fe4a696af8c511c83 ffee0b4350c5faefaf940ad0f98f4d81bab1386d80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 9aa367bb8061c194cb2caef837c811362fe2f1466a99bab525cda35f1f98f4779e31d2907f9dc76d