SQLite format 3@ .0:  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 FF D ]]Category3:threads=4elapsed=398.499cpu=1179.128gc=66.088factor=2.967zXZִF! "]ŗXf[&wΞҌyP9Zm濻3 g@"ygQX* \!r"疈fd~L+ާlM/6@'=6O{yl݊F&OLq{?uQ 'c;“x]Gϑ8 L# :Z1k$+PCUZDPfNibh7y 8j'yC};s*˥Z2bq9^Yo"uO pZ  zq:x-->uRj:4k5_ΊmtVT:WZ5t$ 8j'^E&UN*#h#8Ms;% wq1,+-D 7V` 3>m—Pe5aJ ()rO>L{R߃x?ߒ3/zGs7xo&PәJ iſʕ.6qGf]E!3>rɵy2sBb!fFeVn2jF\5{BLL8z&.ĭ(pQuQf1U]’{ b愸B+-~SC gT% @Pkyu)*7ҁYdaxLЭ8ۨ2*|9yK4-zC^o"ӄRu2ӿ)%ݖ(ohXJpI" @pqR.#א&~lmp@%ցO &L{c+l0;p0 ZS0TAT ! 7.gkS5SwMmyNnU^cCm~@MOB[yWiĤ<+w8x%'#A~m=ܲ`ӓ0w%XإlFP A#ҳl2QZ疶mlH'GESoͨ _ է_` ۆs8;FՏ&">7t[{_O~Q''w81<=lG)UJds4i,lh*l1Ҷ  GM;AvWOP a$~>>/Y[m;a`: j3\:s$7~qiY$).u.qґ1ic=>N|Mv9wrh7   Category3  vT3q59SM:m<=3BAr ~Nar3,EA z<퉀>:XĿH)nGqh-Ly.{Eۆo2dC8 tĄ*YΉ'ǃ#gynW7q|(:i^m&[H;SD|.lMW8gͶo3Z_Cg{3O7_ze}T@?al[#7AW̾83@cȬעv&jT쬈R'fT 'z7BITUXEJQjNm!:D"-nK)[aYH'-Hu) $w%chI,Q?npFs t.0;6h=#351{#4j ê8c/֩[g:ÂhǦӀHt;qyD<ް58Ek{WƮ7^U¨n AԠB+i!tX%Nu?BmFB,}eb%8p{VGe{ʤHɮ ɷ[j LA p]5 ]10"5(u09!EwP] JR;kzz ƿ%cto.1]A@~ڊ2o|_CU5 5&&SIv_[b"V_[f=ޓ@>`Je/$+qәtCch+t%-JoQ ǵW%9 6 ߳%|L%$ :ߝ#K*,}/ȗSa@y1׾,b- iŏ: &v2%CEY/ܘHN"=()12QEa as[a Hf֋boK'T ϺQ_s@S6˨]Z`ii%J7A 0o%(]j<0dZߞǛϾ_#ۭv 2b=E]DQz:mWwhQpVTR!'sEvƋ[GΈ0 ,yZsp4J"Wa:ߛ KLv$8 ɨ2ƛ =>Ass>d 2 hCk)"r["b;,_S?:#n-w4GSOL_n{lp@a>WK@\2$LQnl!/=qiV,@7IǔCUcE2*x 7G$_ty !yxOgrikSXRV{Kio΃Z CPڗݎ+"uxЄ+nPnp.Vw7A-[ʫX_4~ڧfzG$Q~` -խ:س pSB)d~'(!RZbmm^Ra Jyq][9UVv[cYұ})" w9IyCŜuO}N/W>*=RY.ኜS4H'Z#γdIf/Tj,ux-#<''ƷWc7FJ;3˶2fḏ7]U2IN> 5c2҄?k|,=E-c!ΝBMά'{>5o˨rK듼3WҒB ky%{e{]*oԅ<] &3 O֖o:tN\Bh (,銔%,6*kbm4Py,6F2_QWc5Y3("+^Fe)1lz3z i;q)9tPxs+ea"S/!`hȩED^ Ş,2g󖳻1l)1Dvis/+|n_ ׂ& m? k˽+L}.-0`PKM3.%-Wl< #Vt[dž1F{mj[>+&rًM\j7 ZÇ(0~|\l%8xZl=ZԧxX,p̺_B(ۋ32l;Hb;6 `"5|4t8d>Y)7A >i"`Z>]wǫzi+K~X8?-R3RZG>Je\h(x :\^FvUYd>ogt/8`&7 T@UrXWM6m K彟)ax"o" (۳^7~-h]{*{Aː3  ]FL e2Ҕdϑ!Qkn e%J=c >?%(~6ӏ.N(rW %|sm~p5X~1F&vѵNem*X6pRb:Yr 3kT0ޫ M66@ҸUDx5ݧm%]܄hPǜưTQ$s6aO:#? !h1y65K§]ZC2nx\U:и.;ܱq|[S>~V2z rR 49e|{2'SFHF?B>\ỲL-|1Cڄ%p+VS1! xX<A5rRvΪsjș-TJ4~n_%k%/оl(b aܳ.[X׫Q\H.]>5T$eZFQǨkH᥊Ϻ]<.ԭu[l"Y^۽tuOv#uմPɛ4a-[;aXVज़z)aք}wVqp74̽3(aO_CSY2r8 vQ1Qc0wCW:ML:]O+ &nj|?V.VciA)L"A܄0* yxY^OQ.)}'t>U"Z_a Xq-1zdɅ=Ktw6Qn"3eRa" 2S4qQXV'hc|%`H`,kRRCD>i0,LN&,#J/mr 'Ԥ:xN2b;(H+O0( ^)_i}꧘Z Kv=fLiqj7Pғknoӻwy#G:+~u&8u'4"W)b)}p鐻jB=PAf^plPp+񘰔:%w lЊ}/ji*pjEWEI~`gth8tlD}m`&P GiheV9='X@w}Bn#=G8?UIxvձXijfԉfZk 6zVL?d>eXpgQ&UVQYQ[`^D@՟7IډgC#OQKIߏbΗ~*Rf?/_ 61>g(ZH*kğ',H'R߉RVkaΘOOah ]m.E{@2}8X͡ *LkNf#ꝝEw *qYT4@7Oxh!}lbjP a7C)ӕk,vVNV;ߥ b,(Xv>Wf %G&M)Z-rM"i0ӦYH ɘnzƹ{/qbAP&-»kUHJuÓv>2؞xÂ--=pGTQ@*YT+P\NСj "Bnry[4$QIIH~:nl}UhY=1qVwh_J'nt)A!*>@Qly_0?pLo¨sTe/Bd*O'o-矎H<@ +e}bw1(/*oy*$(xXاNne3P<ЩlwГRuP }-$#L=*'Q< Qw н.@)A'5o^˜\2 ֮e-o:ØVy0kKXJj[1f"= R1ۗ3\fb<0$;[h| !9qEKJ`;KdvU_FPaV#4?[03Q✆ZmPSS ^_[ue$_WW[ "oA;i52ӼtQ;EF'㒶Gnm:U_)fF yӁ iٞHX b͉{d̥E5%=R=ng,ea0x=ZOC4l+z,>E@7 ]+ë_"t'xh(-An(Ն-y т3ޣ|xswF.w`>M`\Q̔`2 _6<;*kWrCX&98/1*9ɮC>;>cӴb).%o(kB ,?GD ~٩Ɔ:~ :rC )zX>rIҤʕX0OiFHc+(>Dku7I% sEp=7o[ixby;գ O {F4Y8/NłК%2qe8KzNDXD&7v|aW:p04B& A.Zֻm}~8(Wmppmy`.|)KDFZs,%gob$}MAV?f3.xebdUZ]-مwCIJ?%/ew+yȈA 3md,*P&H=VW&"i^X*ȑ& "3Z/]o#qӫ7RlC2P,v ƶ:H Pb6ȣh7tUvߜLǎ!CF=[ L}W[7oo<scX^iV*8KZSF뾻 bEe6gYZ7zXZִF! ]ŗXiɟy>Zr5l)N!)'=(*RlRa #NơGb%@^~s156BȚ 9qN'-jh'j~=JnZbvlG%/>AG $DC)Y.?3uy(-}`oD.(I#0W0$bܙOVK72eSW-yAz*B#6N9Og" &,^dW;d/! @BȼEm uwA|G`ר Rl4f&zH `b B_"/Z4 P..Գj }b D-2)w hKuTNqg_/_9鞍r;HI$7E ;gYZ7zXZִF! G]ŗXi%Gf|>eN)zF| {z<B?<-Nvdy G<}-DmlSH>oL}>_G?Ŧ c37P_xء6"0^Sq99L~1r&Tۧث:8#\,s^>bHl/=;P7__Ƨ8yAtr.)XeP|D'W^ ;1(\Ļ^[F~i᠞4+/QSs8`7ZTJ5pѦCa.C!p\tZ>.O{ 7'B{˖8e厴vȨWOq.P` m1wU.7ޔnn>O!az%B\1a=dǟЏi*d%N9J%(-ݳGz]֒!בӓ t0?؊ToYphH[R>ܾkaU< qf.q=]0N"CI)zv,u\[:(%&0iPnJ6S=X!m E./DH?!d\'C#YeZL!!JqT? .Fi6kKZļoXW:N,874t 7yH6_yŵ[LބGj2_#m\?AL9 f*Y\œr9/7 >qT2S揻f3 l L[@kJĄ+b}"ʼ>tfkp d@a57{a_R{4JNÞ<7D.[9=mqp1Ifц vFA s+m}67Zgdec.k}Wu>"}H$6HFҿ:6L$yf"!@Fz%RoXŀ)Aq.]蓵rkujH_s9L=a+Fg à,~`[uMyT97*CX&orepLZ~>2Y% {H8e(X6ʋu;Id-5C#j㬎63iURIzH6._I߾yt=#+>c]'oo#(pוDd΢R{][njjӮ62Pd6 `O4rm͒렾JCߌmA0l 3=\]3w]p6 F?y65~>ؖbh.JIJ:a@-yĹd)U6&AX9zxwu+A|m^M m߈ƔUTULhBRI`ZIeS,fcŊI'Ezóy2TYWUiyOwbt֌{| a\wggIcO!<ߋ\h@z3\R$E;Xz^IadT5 d+MĊRܙJei-ِ; ۊ{=EeepZ Ḯ7Sboϝ0]M#6=ǹcT朐c}E}ɥ[IV~ Z[O$iƷ܋ ,ߌJx'(8ʃ)xv-_X*Y~<њybL/- 1JQKId;! Pq^w&& )P-oq2]TI`O-,a:%fyL[WCQP9zAӚKˉ9)>m[ Rnf>թz XvHO)kXxAVVW Oxo24,`O^\v+4>M:x.=6k-dQ a&epiZ } lYTCQRt}WuSb@"^-˂Mvl7"qTfeiSa:-|۴t@a=p>\;A7ĥ]p(@0Z Fa'+.NNl}64Q[]rV'`@V_bR9jfM8xQ+.˗,aq6ݤU.we~`<)Fc%z>Q cgF#M*BNeYD]>Ȼt'.XL.Cq43 i|1iZ,3ڇ/ 9״|ʿ^BHa[C*4%$\bDenp56:/ 6>=h1s%8P fJZ'>Q\bl7U B $z~ MN"0-EPY nXWGK{\H5$nWqib^Y}v;y0"!'ԭ?Pnpysu8+e TL`rЦ{Aj eW8Ǟ]lDjD5ed0̇Z3mwՁܵ\ p/ ]"[0dQ/\D ۋ4=}f.E̙4&5Vw'Aa\ʈ0PC3 S/Xj\E%BQ;1N~`)Q*;6[2)@H^~}ߏoH1}v ֖>Eșs xD?z(&X&8j4ȳLJhJ\}uWټёLG/ 2GnMZy.(H@  l-Yecc4Q'b{u["}h%5?WL'gfAl+4bĺKK h#zc*ytWESKNQNaSYs AZoPLu),&? }B~֮1o<W|dX:G>&d(včx[ V1@ +<.oH>$%a "3DK"Ҷ$`ʹ~  =PŅ_G;́shLiQx{}0d*QʹO4lNP['۶B-T^7[jl7!/k Jj%LL-VKїy΢kce}$)oWZ:5ֶ13Kw!G;xT^b|'0j!RJi=yI hO-Mf$c@# %h0ɭ /l}+}o *U|̨ӽ٫ȱo?vӇznsO$lIƋH,l%ˌT2QTZEA? vf<e7VZe%4qsr[ls|]I6*߆V$!XvI¬"ZBN5T\cf%=sC 5OV/kNEAo>}q-DMV桮w@;ӂq˜X7,ʙ-:RōYd*{5SXAyYj9\gRu249[SOxװ&ʭXYӿ{X/N[pŌ,Q-2yaO^JNHeq)]1O }6Ьʖǎr!waM]tT΋ bLZ.+BڱrDTq¯Ե=~)<>; 8!-3a+ E,~P@P6B@.5+|8VB^zoÒ0BJ4Ș{#405ƁTz@e~h]v[ӧ,4]Ѥx+>xHWP lT|{,uN ӪwJf 5"(\PcB[adO!-0$΅Ptr^;MKApJC9JeL<T E(@jGr%IgQ le^APV [G '*0 Ca =,s ׂW>vM'-2 S3Cb!͹RDc'cB!5AVm6i Za#VM;GqUߙmU l`P$2q)kWB_?e^}^1c۸a\߁#DV[cwAK:4CA9m(v]Io9N*FNi_)G`FU3:j0s]\S;qLo&{O$]oxj݋q,,PA6GIЏEya6^]uvKj7*q"dT ;8jÛQ fv;3>q f-}.}Qݯh #DiXOU  UΪ[P.r-$|`z^=ٚD&"h߆+(Ea>M! $䬊fK#=<0ahSs:]Vgd϶) fpDXzu茄TbC}עI]`tu=u>zp -;9A V[-"^qiԻn, EQ`!ӏUZB^O 9oPzI0ȎoX|8wjx`M}04gH_ƻAgD'D$p߈Mlv5Xf翐jUfz}vBfj2ýn-xm?6TN[+!!|e5pghsjt⺍fX/:P["m"[꤀~L ] #boC0(6DbU.t. s-H-Gz#XӉEd R$.*zDxi=@\lR m)Nʌ`/4/n..!yҨ/^2Ug) SP`^tX O5K5={n!Hր0f|pi. g!0eiU~hLyL<ۇ^f%='nEQ4p^a'p|I!J8,P՟)lRai )~Z|~ )2 ~&dʷXn;AWTGx}cm3YT?t') *#DxgLb9&,NeB4WnwCz*W8c';b):(Zq7H{nZbědO&DR 4m[XN;J[ۅ{`J_ȱq0NiEQޝx@/6^[9]mDن TЛY}eVX<ŜE ~%|#nA[_x#!y4_#y˓)fO tF@)Б@!Pq[1S7>4&Rl 0}hu_X |\N ^_.( &}^͞3LG^sG`6h; XLc^X &t Pk%x2y?$N_K>Wb_ 귝 '|st"˚``3YBM-B^YO[nCvPaA,_-j48%tUAFqz  ]hG+2fX0 d◖嫵G + qH1T11W.6˜wR%u gB< 0Z0L %'$\׶ h,G>J{3r{:^RqmjI.VLVG(dr,Ӥp#h1kݵ¥ ko֛3%w%@[d ڵƾXg#tKl1ƭysc;@bQWn,JOSAl%?]0Yޮv?Oƣ~.e T';VNdv!ߟu K&aqtկ !GY\ ̊$t݁1#3ߜo]f"w(O!yw|XW#9p/և 6󕭚*]"995qrbd2 c`XaIAvusJs8 nw7_KN!pmzl+V T/ɬiY刐p(E$ǻJޚCܚ1適>T,a.>9 {y33P.~~ã]36sG6 ?}cU6rÕmS]+}67ۖgseigjQX*;H -V05~dsg@76#|x(_7ƃT`c nﺲGo^4.6H%H w=Tvqg.NO߇j-6/mpCmAn0HăWDJEr -N&_4YrfayZ $jf*0gg?zxh[kZ'1Iu΁3Cr ^|ޱ3eʾb#UKW_:j e*zՆ#lMUۛ9ˈ$Fek<^7fb:dPH<-9uka R0^D娚̭,-=w b[Bw}DA*`-FO:!ʹxzNi_rpIrA&5eVlP(g>ܢTېSQ_@ƾRð*5 >O-xѩJ/@3k8I.rMbhyލz48#eG Op+GUYڼ\k  ـ,7((V{|=_ulJD%mcByj &TĐes`co)#rWЎeag+_e~rVagsy: wHq0*X !1hcK4I{n?xU ^)^@Ŷ!4j' e)jeP\`mO(g< - w)u8Uj٬}y9+Ǽ `DZt_*$dd-G|&LտGf̳d̡2A{cR13noi KMn e6E'6,j0޶/9/;EAc%|L2**Svd^1~f!ʷh(ZMs8y9@ZkpLDe*hE%7ĞI3GZYm]MΘ,Yvk({֎b_ql^<.Xcb@ӕpQKz ܎°=G,,( =!u8/pCooܭw8kuB)].ږp kQt+6Wl\dUm2ͳLvVUAlb囝Rl4wt'vQBG ܞRhr1t'mTF1YXP)o" CJ{(eU0G9@Bo_jTNO0&3J3DF_^Ifsƕg"QaT/v[I+$H/h=3YxT'&fg5QڸL~+g_U%<^^PW*Ў|'D6y «=Á1lM h{Ybb:H,\K@ R kNIG 31=8`5F;DBчW_Y9W=?0wNcdDJ:DŔ/jMS'g`7X 0rQ P_NG GCjPk YB)\kYDHH5QjE)Rȧ#UEoBp-<*˔egQkHA6}-zs2|U|=܌f yS16_\Wԉ=^:ߊNMeX@Z7Hf,KkdDIGG4Z`Չ_,z|>B:3l?4vxŠXėM/gj3鸍EhzS նurJU=ׅ6g7}xu|{ ~CUӲԄU8~ʚ5{ld+ AT:'U:A79A5/GdWAT/emLnsF%pcگ Jhd+jyzvۥh s&$*iυ" Qf So"2t)т Ք9%yH-ބb X֭$ 4*-9#CLaW@K,b*#zni%ACߦ8ނ AYs607I0摏9 Vl,tا)?W !}Uaf!" T7#EH9 BTgB_T}H#>尅1wl L R_~CRI!o8vJNd.xKʯM~JʉҦNTfJ}= ^a硄γ+/<ǓiU]rwPg6*́XU.R]}\Gy0$q-X_mم \ <1p93e +TS%ݑjf*R0j6W@ɧjq22g*/c>ֿ⑁qj`G $} 9^3/FyQ|܃8DjYt/0ʸ=čI;/﫤\m9ɷ16;sԏH3{@꾱WVkliqia;-<F' E^$q@_Csƒ"&Jm?R6b̭0 w->~zaCF'$oƚY+;`v!jF iMA]6*1y|eR73@ڮtїwo_MO!MXjtXdSo\nCfM6l0# ԗE9, &ZL5/nhdd~j>65*h8DڢVM4KЮ]?鈳vå=gECӿDvJ q:b5GuDb7ŏDTk;>Y2K*X: *)A(圖N-̲?6ѤH!h# Rm%g[I ޵yFaD֕! ~Ny%Orgpoi-.3C3* T(=VLR7m'm!{<+JboSX*F-8B6%bmU AT]}Z1W>Q"Y/ |-oν3J!% CmIzrJ?N-)6.r=7ŠJ$3%[ҳ5@rmvC !nwLg  ,V &iKMY$ѪOS2}Ghc.'񦣥g( CiU,-רQG;tqK4bgJ!P9mMV+Sߠ(Ph0g3fims8ao@W0, y F ^+vmRJkYӀ/ 7!!(p T8 jX(W*B;}}7Qr4p)R%xjRGtk蓧'bx(+ɒ7ɡZ(p!)36МN;G̞Cf^[Rb)Is?V@q'僌# KrIzwkdC1х,\0Iё=<,vT)5YզA'š 3a.X+-h6u/ـ, SjeGaoצ\}Q%DNe!2x,-2ւ )JH_:SRj41';#,z.vk'|FczəG5A:BG˟.R{ڔ:Fe^QPKp(:{$R?-q7^67`jybT#P%o{d?H2;DUXb8]1 )x+,-W:T&=9'B@A(`e:<;cx@{Y()&1AmNE'^p%fQ' M pk4f̾&7S[9Ce)"@`-#/-'#R1`P B>dmYZnQJ'*ę<ǯv;IqKtg6VB 4-MH:^ehʬt(0M#}制1 $"%c3RXکɽyfw0*^خ'Hibd"^(7_8=|$Eakc5=Qf^H|3݋|V|KbZ!|^ܒWgr=68|+r;7] n~4Smz-ݝa;!xpEM k~ͳ],S cD9d!sHnizu<-SWԡk'#PCI2O1ncwnj:.[4I햂8p&QE1n']!(6;0l˓klYlɯ@pcHb )sѬ9ژ>_eg!ny0,XD::ce+@)HF] oU}D٥Xs1_օcwUG7ݱ,'fb%9 oʹMU Cҏt 9MS^1ed@߯;D/*޿Suj. [yBAnMs9kא#fz-h,$sR?69LJqy#syФ1']1='󺾉"bVHp[Aay]ѣs)z6E{ ^)MN|$n78tM_r ;j:B%ԛzх;O8Eϼ \*[< PO2zBdFû#*ʂ S@rO-$PVº#C:s b~ґu:@{jSz;fڮb90! f!qY`(f),0}w) O詉TE?CU^?,iU?x?B v<qzʍT}ht~r&}WR>bL篅XRh#o0,;#w_<*9WW>2o뇚Ap?PV\[%[1TvI^Ybn"\j"RՎi)2YW'qq խaP6F1 q'iD[ŃYMQ|wǐ.aφu:fy/á1mt_)>iHo!' _|دKjƬ$|ȃLyo+5  hee3?>R@-cU cx1,Dq3l>hB62^vʈexx[_0 kV0@S8ʛ]>o#}))ayؙ9sIj'8xx-*c@;0r4]پA˩qh'? J^lxG TRu 5ב䪈p@r.W0Т~:t,&a/C'ǔf4`7x/la v#R (?&u"r^Dp,~EUߪ3"`BW{[OFjqDy!NSqXieW~ 9~J!l, ?N !Jٝ}6CeLE87>Fzf}XN9H[:Փ–BTCV ay( 5upZ+I|Y;S[oaHiJ'qm _f( t")]aQN. (e\F7?KoDO rWu+ y*T)u:w\Kޞ7 g4~>uG2+5 br'&Bc9"zPCc4Z k*te>6uH=6g5ɝk:Zʔ^BU}1j`hZgc=HVJVw;ˋ<D-:7+YV"Aa/x5uS#y2O9!+"jOXdE\fݧ)H\O0͹皴Ѣ '?YQ-\`KһB"1O]^o$p ],dC YPh~y/FN "? faeL_ LJ'O9GKGV(>v`xg9"_籛O%C<,03  RFwь=1r@;UVen|t$eQq`pշ d+"~6E>Q|U54&uQد%m )'DckuT vݮw4`x c6~IX":Hg6$6tCO9 !5A{-UM])[y"4r^3""4~Bt 08r"vE\q;RU v堲o_?Ix1,sU ^:j^9FnjQ2H`nXYC0P2ׯ3%mU0(TmS; lj~5 hʦ<+cB+Y:f".&4^T&[NLbQRM.8>3PVHF53)`|v?Fh:\[b xUP G8i)o%3Mص(6f':pcLpo)ӘæUadX"#9L wȠ#ɲL,7ȝbB~_eUq$Yy-9vZrVEmE+ p:ji ɠY&kD ;s+5!SZRW@׎ʴ׉XRx $zq*9QY y'Z‡l J ot|-~mL#ffBf2y䰐jE"KЪ`1&a鰱& AC]֭rȮ? R{;B+B1"M^xzW&YZ ְ9]> }B?D>dؕb4x@SE;1 LsY0O<-(pcaƜ({ZjsElZc `4Gs]@jDd.ˑ_whɭ+S-mcIHkזw+/Fj-8pJxi |D e5yΧXf~mwJؗ#8t7Aql @t"s_9_1zeLK*䎯qZi"ӘN`9w$jܩ# 2$r\O# SOE =.!4:f8lʊl @BMr(1K 91$rċko}5P×y=/"bʲyǀѯx~"wd%I3 5DNksKZloU*P.M pi+Kb! U}%:Q%n|+m}F1& c#|=CJs rX5~tx\~ҷ09>d J7?NXqi!M;}Fc5AcM'$ I O-Ra1g Gش}X̠Pn'rN̹2%z5)`(XJ3#LoP\ AȽwlcmP2=TXFA<L;Wx!. x'0J?س[_Znx)qGK)W3PR3yͲa^w)q6,!5Cm9 QeO8pLs9N.GlSߥKC[y}eI^>~^a3XC݊m㷋?$=C*:ElLeX_뾪6dw &H#:AXW,eм,Pjgx?N1SM)$4ԆJ:spn1Q/ʂ>O_=S(Bi 139)R$\1Kb+zزx-ȺNR!$H}EWSou}MgS^53C&XD57Xa-NZ“ @6' MψPXBD# d4ɱ& K}A7GY3w^ʏ䞋xhq9i z۳x?hs:)*4TX 4`L>2u(3!;8iA;.V2X v&\U3غ`9*eXQt[UmgstCoFևX[vy*qkٕwLfk2uߔWmècb !;HU_~]w)=BlIKCVQ fav,~n$fNsiq }'8T]i/_G/m 1h/LE^|mTQcy)dBjʉy)W['2 Vo/1C,:6̴.:u{ %_e4@c +5thlj3伀GcwoD'C3܄ an3 PXj#"85v +b=<ʖH0.Rv 8ۧ!ГC gGj-g sBYkS%Sf!IA„ܳ#jv$NzL_\l oާWz3a h%|M@ԅR?+$tXB2I39uxPa Lܙݸ'tbPtmb^~N=vG?xmڤc9irKgƯ#D= R/Ė5z.;lI)D,L}>k OМ)4ƍ`hϕ{(_))3?$D n Xx\?_N$y,GT ELI:l`9dHTQJS5C\묉!M=wR2z?q|zF(1ypdJFgkhjC )ۊR,hT &%X}.|[,ٲ$$zgᾜR'5AxP Tg-攍0wljʨpqiϤ2h/54N+HNn]*7I}L-J!D&[ARM<ۀAT_D[jn{v[s(!,ca‡ҬԥEi`c5ԑP))jjg?T) b1_)F{q ѐWk~:lg/D2>fXpncpȉ۸XbpmtA`5gqc r(H67r&ξŚ*bxbG"bd-K]386HV nh hߢy% e}AJ/%]y G9 |\U* A'o]g֞"E!7_E [9 s6g+( MuUЉtĔlX4R(@|Kj^T^CӾ<%DΚws,{(_LV`21Key=2ܐɑ4e39ЇHq+^]+A9EPʹfu&{S~ i %'`_gk*-H<9A3 ј\(nSHG)AW@k`>w9Qz<W"sZtlG&> 4zG[xKC'yUuoեU^riMB^vAoN]nRDzvZx`}d")2551|',}t!y~\QB8RO^yބ5,Ř%#\9-6*$Жw%֐j.zv+܎oAGʟ"\ĮcM !ŤmgȏJT@A,yLGW}ƞ-pk*o1dעnWD*gse(ĬmDHB*Ԁ2_"z}gJjǥܢ> xM_OZ3ƶ+y\j9C‡-@/5U"4 V6JF-> KkrMΫ~e\D?1ASr)*I 7HYNbh%PUž˼﷎:xl:Bm'~r)Q0 oN%1גzC\Wzma~~m5P (l2o?2_JF80nS7S`Ka6KǪeX'c,FRbmmI.PL`;9q :xcvӬ1#litfZrmh&0y1 (TJN4cY6kn8Ɖ+9}MXqz+iɒ +Jxꮆyw3P!Aj3w4އ#jm&L'[(಻9CHp^;DW,=+a8\ H:'8 N&s`1}tlae q{zu>%QMRa9 0 tT}O s? ;ٳoz Yyܮ2OOC@}Y އq+rW#1T6tek8 ˎ-b?i#sS$OK{a=Oi@lsY6j-^ĉop?ʉwA  -g 5QuP 3ةvC_C  N_wU8b; RHV2 aYysj_u+Ej?ːȇ=hM/=8i&۪<+/H:#adgVy#c*:c#,MLa Z<؆O+VOrg/$TMx߮iOt;ES)G\Y<`:`eoW u=*˃1 *< 4c9oӐ^qdpej<ԑ 29{\Ƅ%rDvO—ՀM437UF`i3@=]Tsl&իJYxV0g4~xJsV |Q_K3şFYm MK!:&<lpLdfI [oÐd!Yi /./y̢\m\d߻>m益 kY"0@(]U!ekp~Kkz߯!ǂB?%7 ` :qy8>컟?DQt'X4C<"My VkvY"sߜ5Q֎դ ]AV8E]V⊍ oh p>C!A ?~ _ ckX_R}5@`D*mT,OR"Ű3D;Bтs"Yf[|YpBxfM~XA7#m\V]u <Ŝax ZPQ#rzL/kQ7xPU9qY sxBRz`V̈́#9mD d(ҺZbJ4Z.:<Sq@3k5 fΎ"yNaۺÉ(e\\,fVFd7E-`}qĠL{$fû2 WpkJ}WIrXS\N?@1<$I`AvpAo)-;?֗ǰΜn8v^iDzzQ.Z,n \ 98Ky!@U9I(oR2FZE Q63ȵ20P^Ǹ`O*ڠ;K )c.&؀ Dܶ jggsn.{IR1!<32'ǵh $6㏜鳎I >$t䌞C`H {r >q=ҦeS>$hHyzLhSJ=KSQW-k&Mtz 17asdqqz:hrRZ!Ez,.#o#?ūn}ɛ"L3Y8K|)бK]YE<@PTw> 6OUz+gM8r"v+ݓ^߭s,,4suqJ e@A i([0vZ]˛e=CoP{!KMWx"78JF S):h:7ޚDoc'IwlБ_=o&n.(˥oe_~nL똧"5d~{^d+|QY0 q&_Hw܄YDL3|ss- ў/%'|2c ç6YUG6afïM8?WKuBg}U]s9=7%K v뺮|<=kU<Zmhw)A\PBT#I)nh'jaU,."ec7f$G˷ ?_Cű Ơt`u% 1,?3Q܍n,LHπR2EyP۹3܏׶?ϒ6s&I4:6ƿ [kK2@SrX{19޶'j$G'в-qL@8BmlL脌JOy,L%@qg[;g<ҷBۿ[='!ׄ|n_/`NhndlnwSFrZ*)A4D6u͐ݐnk*" o]T!KGB]GWU?˥O\#N p50:_,7d]4hQ(,_ PUs4|Q`>}Qvjj9"PA؏_)corD$#Q4tG08Fy݆O  E3!@l>)`m] o^?{5OT@\zG@1R(3c3a3B{}KH id1͜;b\*Lhn>r5:-*ٱ|If~/At܁-Y9&="$%(Pzng%C$BW<@WH*cKPf.2*))s^S{F#]WIo&5FSs?&e+/ݑf1>x69j=\ _2Mv]I~51UXi#T3Vc 3z|'nr`鿍9oTǦȓX)i97{)92xu5V=ɦՃ|_aN"FXƍ'˷ %;kӣICJ:HAdB`~p5R ΑVJCoe#;c_yrtdֆ0NcRS.2nq2GFC`vxt_lDpGCoZ:iYO-^(*tcf4B_Yw-ط`@aHL|31^}CzV0-VL4ugerh!BVNgӊ1EQhEȿ{983.9[#gShyG3E^"fٖ89&SHx/D~051 8򶐣D$p6!|gUŀoci$k'iEXo 5&ÿjLY+R^ɫ[WH`F8dj(2@vN W!KkײC hmV|BbTMX c {0&j^l.˪:C:x z*yNWP1M1N5˄^mej( |b;|C]Q'XD' TKxA,9u YJ"LS{T1}/ӓI mt Hc$+-;{J3eEvYaNqsoPBĤkD 2!Km1LcgC 'n&A)A886ַpQ<&:n5͂_e>EAPdtv%bzmUm0bm#b bY4|P׵g-9g鄐<GSM0Ta}2 ^!]m[a~0<{ 맷۫ &Hw,k*-6VܛCސݺOˠyz}1KISbunc 0ˤ-%䆦7Z& ۧ춤pHvL+c.Z%՘^پ/j T_>tЊ$5~ef HlPs:7|70yK?9>fyo#ٙr>[r up+*+Fwqy<"`|g` 0LaB<W:NJ"HZu%nwYtiCE=i2]%F[ wh*a0c4r "_IA GmhCVKA.]˞-Sp%Jq o:>tB/@7Y6r^'ҏF20|33oVvU0!L *MK Ͷyh3X$7Z坨J=ĩ7(}(`KgC!U.$-e&kJ<^.Ś(U9/31x7P)QI'Gr xFvV/-e,*'\]+t[ПB軅a{ČM 7fRM /9 ǔ%p48UNxCXX0ᨏ;m[G!G{4L 93N?GD=?}mpe̋Oϡ9!sIOķ&I ]ބxr Q6KYݢ"f$B˾Aǖczwh1Ny[٧Ӧzw]Xgbk{`cy\w%/8]w7@N7y-:$1k6쟩]@0fB ӱLj(|eS0S'H7RLm-Z@՚>o4y{y#Tݟ[0|) r})eyU_l=Z`Lm0 8@<)Ttba3Lvbab$3Z.<8u8!["6lQ8_q(toi5x-,yϩip~QJRX]5\όݙȭeQdpݔhj ^VgR+ :9^5C'fz Ӧ>fFYdfc2nk&+"^tI*76ω[ۆF{W%e`,bG x2mb-l?7KS/|ǽ*)=5dD|8t7I`>Dd$O$Jϲ_HՌُQ|`-%L2Ũuތذ Si r_'kBVb΃Sm O9]י0)$c@i4^府V"M0kp!dH:`?}xs(Y8΅zmä ºA6tRp._/303̲)eh6/,sWS[ rwh Q+(;TætN`uo,Ȫ#AgYZb1f682b69edb43c492f0f97486f5a2de023213551795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc4630e9bf8cd19eec68f724653fdb3300b0e78a403f