SQLite format 3@  .  YYQ77Atableisabelle_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, "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  U1L$ y% HOL-Decision_Procs:threads=6elapsed=218.838cpu=848.660gc=82.464factor=3.887zXZִF! R]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)^_[6ۃPobk[{k00KHB?iVL>J6rQ`~sw[XѻbQrtpo {B,U3諰:EDi%,$:vքa9w틭G x 1XIiJJ FYq(E&WK I>7GgHoLW/XĬU3\_{Xh\yԭxzb(C\*ur#lN+"¤ߕ[롍=P@"1J@{.ϧ3zxQ-q!ljXV% <=OÆ֟.'e}[G)eou\i\p2K~ SXb]])_[uy/ \@k*ՇIG#L99j[Tm ,Kq↭0 fQzCSr髕*^yD(cnHN\OS1|)2D\mL_;*^V4gd [m]yi+^NkaA/4`VAZ{ Hid,37X$|+jـu*ث1#I=y:nVذlZqj~i a(A a dETY~V)Re@ۣ 1 HOL-Decision_ProcsÝoҍ[sWeՖ}DVmisc%݀N{k˂V.I!Ԧ@@Pݟ8IQLD+/OE\kLSX`9'LE0{ޡ@'X=I(NmDJZ=Jh#../Ұ6`Ö*"ʭNQ~J@.`KjH&Uλ$y[pX4NӬH 8H 0UxFW˟wpP vRCul͵R&QQF܄ЫO:lfio`۰/x{ @m=w_ޱG%(E * bԒ1s&lj֗5-| 8Q[^|%p;L#՚U߂YUD,Iֹ[4&&V i3Laݭ#YŝȾ#'gԀ+@~':gȹJ=gE# N̾jɏ!iYDuHh%{"g;^FqG؏VYž\Ir{ /3˄t(y^4R%o?o i]fٜu??]|w6i*7kbyr/>fyi.+h a wNyP,Okƅ.d 6?s~v:+xq}Ԥ\TodkY%'n/;J?EʽVJGڄ YJ׷(7<)K<[UŹ5{mȏ',4y)ňb i `/+΍42ϬY뙮͌s7]ԝW Ѭ(:UVm֥gić -fI>ƈɧ&;/ZDi ^;ͪA~7O#Jo)-IKcrTA2d_Y2-/B/z^I~E:Aǁ%nXqh0YolG0lS]Wnub"o!fb_ܳGF3gZ_zy0q7ڻo|}ʌ<6?q+ZdVLxr sEaN| Db҅Dc`2apdf#r<:(-04L Rۂ'fo)3as"n'EyR\|h,p ć bIJVJ7kGd&-6w D /P++7g 2@)ô(Iٔ Tf7c]LGۤnQ{$ʦZKkp ``um'ixNPu$ - ?܄_؆܃ooBE] AJxi 1S2%}f<J+D)H*$GJxuӦZ]6r8p<6z|>6 C5shg옰#<PCf`\yMx!(@/c-5 b+q2y뷑 GBRs9:)-IK؂v05ڭZ 4 y&~VSz_Qw\b8pk@/g-<_2EaZl/eu*0YD1ITȲO}a.! KQ&>JJCx;}h'>+O7j~C] # @R^6IxP9jf!vߛ~%i/)M h ;R/ ץ##ZJPsmn|1 ╎2 lbrWL %?f_*ϳycd ; ҡwmt(M#aTxXBI,uu>8˧K[RQ %nm|_YQ/^#=)I9,$$2~bN+Op  Һr a2^I+@nsЍ_nH]! *yo/_5_HSڱn1rYs~fqp4[ٱkl )%_~l5׈:t4Fe/׉3c!5Dk|B6nݣ tӏABj|cG4=( Y56ø>vOFma@3(bv/Xjů<ɟ8%Lrnۗފ6k8D'5$;#cl#[Z /'[#ЈSuТ!c`y*+n?>"8%?h Qe۽*XZf11 .kw}#aԩ; tƛC 3܉nDoC>YBȨO"|6ɏOj R7cXϣBMLH=]%܆(f7L=kjý &%K`%xWK9df]Jp8EZ\O=VOirO>bhJ;PQ]!m"g`& _bӃ]\G=۞J38۾(J8\TQҦ96*6ja^eJ?#! ñKm+>q=-Vcx`_\v;"5Rf 刎Qמ=<#Yw3X`Q`^Mӳuf";f{_IL[(/H~fYب9AVb:QV*?w|\HF}oD:ޓ18Ъ3-Ėi ;ZZq' E[YH${ b@>I|a5騇&ʹ$Ĝ= oڴAB4d='!~"W`EܗpdtI&.d1MFٻ@UOơwUpۑ1pƈROYvPVZroIA(dkE[^xNu\ˡ:=Vڞđs_Fii່կc^\^:]WϳdU?2 ʭa-('ae)ObfGLfdN~a'6z: :m 3ڠh$+NaL h\;6DxtC,EZoEnؽD6}Wd+ۗl[/83+$C p;wj3^Vq/,1ɺoh {MOX#_PJ<ͩlC`Ĭd8f8FIBjTe,l+#$)sqt|-߭O_uiA!&AzuIpA孙 yKwLB;mHJ ::DUJe`/ ^(1,ZPFO3CiU12p FUj6xHb, G^b/o+IA(op!x"Mfʍ7Ga­9h)D{CG~7(Uk߭ bf]{E$X,:i7wWu˚Hy'Gur1bEEųO7d3`&/SuǺA6K2}qkaAWc Ow_mZۥϗnQ:A,IO_->jV-!'7QTܺҡC wIRmǐ3n? 9SQbwd@K7kAșD `Z!IE- N^:^|'[(#E`٣GBg&đ,YvP؂<$+p!>Rt@:![⼈CqKxEp/ICNP3ͼ ;퓒@rCTMrDhiI\޹cu:!b$wM6%o$g߀k"f{Zp,hD)C5>uzDMsD6̃ Z}>abm;()0åKhKWZJ,ubN(H͐waQ+x(6b jK|EV[{`ݺW2fU>J+8L\SZ 8+8OжMi!۪mžefl Ekr)gH}=mTǏX'DA'uVƏh&ū%-yf_׮Ir(r$Q: r7ttC@`ILe侎d/E q)Z T\ \ ,!^8fM&sd;+pk0u˯=jn GIh&Ҁ{+ߥF K_z|J.pjf>Yiݿ 1am^S .o8.8OD:zqfכݑczǗ"#D>09D$g,-%man])3i+cJgNoUF;~|M75v-8ɾz!'L׋}pGM6I7#-jo!qNřZ&C4 6`9ċtƋe 7ohq UmU&2e6s׬ݳ `e4<-|`i+ǙxSC40}]}ۻEiI|6M2q}K çTG$=YL BKd5ü#Q}ߝ >XDwϦr&K 1qٛ{ Д}ZL1+ub=H (9hC蕼 \Gf6ww>1 hvZ!W ޕh4&~:s "@ʾuHɶmw0 'Q}!R?>!6(gƨo< yN4f%DIǛ9&~K3B-e SB_Q@<|m)Y Z/ E&B #Qc|?)$7kld+cŒ65-vnZ.Qn)goLF5`=R0wiiiv[[= 5좫imPL:oȢmgJz93w?0)ڍ'u8r FԈ#3(`ko|^b.NV/ՠrKR O/e}O?u*lCtZljdܦ\վ?#<"55n*ă2h\-mHyjؓG$,NT.oPVمh0EkNHWQVZy1t|)ճ,rKB\1)Fm\njU -B"&mAj6 Oi%sӷ_y ki]Zfع;{R1G2oÎCeS'Xlz8P([9@2^+9 TOdh>xHV{xFF\kKpb, p}"ʹÇhC+7<"jyӨLNU)kL#<6P儅^eHZn"AU>PRe 3 o[+Y,%f5Tu۽biySȃ,_k=NzKLʺ'\rhGf30# E /mF`\jA(ʸ^ wP3Dn Xe!t&mV_`9Ј92d_?ƍf ۝Y̖n4xwށe%WYN{W#/+Pq^U)/3ZΩD8=#gP': EdDb`=h:s.>~m4qOÙrl&RRv_su6;x"zЙd-7vʺیd3ʎX~v &Ű۳ʔɮ.ngY,\T1\H[Ɓ 0wblk@%8CmSC4Z),Hmer'g jq#33wn$ד0"?6T A3E7+7= ^ O@[ |J[h5뀄S@M i>SX/{l yHK /duDo1/ʫaCcW\4pGr9s\߫)fHLk7({ɚĎ.bbet0'b+w |iﱽ/I78LnQ-F˧At([%Pډ*qg0ɲ#D4Ib"-#B7lS%_ I*Q󌪳ͣ+ Ha'Rof.xp(dɫ#(SN3ԙhI TCh?o8LJ@$-vڅirD==UI},1I}rhLx*BY՚M~\!닻[Ǎs~xt̠ɤrfwl,"{xG^5ةgˏ1[ iA7r6z*&\`zx i}|Pћ@ۥQ##XUu6ѥj&TMj^οc چGD1;4AQ#ţf>)E!d!̽4cu|QUب QNXbw8B Gbs\;s|=x'/- lJMnZ!D\!!l{֫co/1 ",A5LJ P#5NFWsPk%dk3bAfƦ 죫iw~2!Hsq9OEVpzv59瞀W BAKgB*-=XhS|cd2VX?Eʄ":Bh.~t{B࣌]rD6Gwpc<.j;ueBp5 CYԙn{R/_gga&_Nꥹ39*a<,bzj>$0pVBKT%gWgm!@M. |@p&krW!P-nwW=~$‰yaoKN \-:OL~7kLZ̃*fW1;V*$G:g,} ei8)!FDx  yH9+ni1N$'4;t덧MP R 㝠n+'3/ um?kJxC,d$֒t؃$l0=vwU6h\|Klʻd(=LFO3Gi.5s5x>d9GyFeBOt'#,lMH݉OkPK$PpM+]!DɓEHOzmu&ѣBGSe('pu+ y+.Ӝ/F'rw<Œ}Rc{aP/JM=S#hU«GՁ1[CySˡcCgzG4{0Mr8q刑~j9 B}.KJ}وnK^L$2DEcajos$zWfzWha : ֡R$K x5U'oӝj.(QSb~p>J&~REVOy+bđ8yG߷[}S<|cŴڨ5ޭ~Z3e. 9ۏ yrzKZS+ }Jw~aSnۃEf6@m&Sl`NWT.'P#%,解H!!gp)yvm>m mLq%؞H\sM [t!_)4 򓊪2L:5&B]f!YE[x'Ѳb (u[F* 6E*Ҙ]Fm<4v/hc$R?iV z>$3yQu=0{q^i x _ ?QI3//jW3n Xd,8 6r1AJvJvBQ%f SKYW_TwՖ9dzݴ#6 hLA|tNauաCy$^vJq !Y2RAY,+mRms8pj;} ,P/-,%ԲǬҾgCkqr.Ik%=pMM>qjM⇰1Qv9|0D;AIMt  8As} B&W%)-eGaWF,Ŋ"8-\V4v|0w:Lk>0ٟ읊:5ó'3qXioy~dpq'%#Wns MÁ,:HR/*30-,(Qh:nKMx Fm$yeB`i.0q]$Ff*UTI>V$6(#kGiƗy\K|YP.-jִVgw1cSR&PGۮ{Xa{5y=zshrg6an \Q̼U2tR5"b#xZw#l#C)5)ԛ[K=]exk:-xٞ#',rɼ `ܴ<.8Vnx 0rG-$OI4/ZBgAC?^~yv1rGyxMoD-3 EPE, 6dd`D3&# jskyJVU>`omq^Yh#DQq'dtOUHjrHch~0𾑡(p=ha,{]h%'c L|Ixޟ!LJ'ގ#b΢ݶ25D x(e3G93i{mD# `̏b%r:bBr{?%6#bwدC;@Rl LjɆ("k {-a(Foc1msfS׻wss}"T&%E- ** f|D[%4Xmy6sWlYO1;˝dUCn:P{ ,  zCWʲܦ^9ܡ)`‰_Q yy (s9pxH]9x& -FKB"H1]ڛSXHAr{ƥh^vK_Ih M:p9ԃwaxp g )hlE˖ıZjx<5<#O$dblX=E],sTDŸ;+P℥91cm铛CŻagZ*ˊ:( Y˛?e!1S] #%DuXY>Wu@z\D*)Hg837 iܹ7hdCY캔`]h\EFzҗsKHj y`|YbW,, ZEaGlP]yhyP|82oe3O@b=RtΌ箌;|T{CvtɹOMqXJHn#q~vW@!6Zj<  S=8IvCbdm;5f7Mbg)waˈ 嫸_ڠhׯRl5ӻv!+É #$̻5M;ngZ;}77"6Ub:iVqJWO 0uDYp|z:$s"9WJ$p+.[E?y}&~jKUԍ1@}-hL* *[y@6O ;^Z\ N'J;j_KrOs0~dN[Twic^<90gw5"T&3d;veZPq0Zoq#_*&<-s`?`,"H*3 ѢV/ -9OuI@Sz|=DidaDۿ^n0C|?!>h FA˪FǴiD-2#NM:H7[S w`:ܠ_Bj;ˆV~ /y76#˼|yصM7K/L_z>BSK$x'kYh_J"|@ YS-Ł!E-U û.}`p{ 4`+3px%,VtO}g S|n=ugd@^FR8Ra'J{w LLIZufK}T!2 UO8P)okNEZ'z@LL̥'UYޛ]ƩH]ˀ d4Ĵ*04P$ܭjנT\&4©R;= (њdc<J|d D* }WQ}AR?JuBc>16t7uqV4F \N5u]A.2+E[<C N^~~zK|ѯ(33cKojް}pqG >|+G ,Qv 젧H&B,ύDd)tܝZq(.dvmہ讶ѩ ) bPΰ`!ü+ҿhSUfQlչ+uwŠ)ʟ`/KGxIw\?&'IvI.Os1tTp̟cFП3m v _D!be秥r. YݝI\iWx3r&avBa)̮bT:z<`nC[ Wtv])zv^G$g`%InS1rd ?~|B5HULv4_/$1af.T5v>bKʡ~>]A-F]yOs*Os:c䨒e`} _G@XG̴L{6%lespkӊ[^ bdҿZil@~Eݾۯ+8.tt-p/٩t{4WbXsic ΗlU/&Htſ Ò E9\Lzxw %1DfZu͉(0QV~KD>^qHֽ38<*7]c`Xe1ƘMm@m/qGQ68BnO_;jpϬTHbDC<ҕfsai+6Ԙ:A@ńv* BR"Uk4+KNVC|1O wIaƍ n}zn:^bk01Xu9>sllP6_޸ȗ䈕pUo%H6s"`*zNf$W{ikTb:e㩴luxoW]d2%#q 1NPtE ZJuȂvor S;QˋK#i,AvU', CeUU{G]~> niHM?/)$v` v.l M:n:oBTb)Ҿ{^`Kґ?d1bb2lҫ]S <~^~E &qCc>Dž /#""K{vF\gU 4=g8x|_E؆ܲU0Bkۻ^&$7 "{`l> mR7vN]n`0ҟ l`JJ23 5 u–Dc30TEqߧoz$}^$(P8fr_WoJ~Ģqs-X6Ƹپ wq4,LOKHb$ n4W.sUjV=y c7=+(%eoNcmAo夈9c #0u"5KNT^ .k[I`VƑ̆ ;AY$=:"׍Ex9}afj _m&=Y*ˢAJ .?%\R$Pv{WmjY%x_r `&Dϯ ~ .0< }rOpTjツG!gyd"8kCu@݁F1By6kOjmSpY4(&̥г\JƝUF+ 8*[hZ/f+ A&a5k3*9"yx2f=CtN6}`8P\Kv@ E>ř)*{*rp#~]H Amf3(ƸPYr$PùtR)HQcIV .{elT҄ؐn۩O|cw!FKH雚Ij?@޹#R`9)!)#UqŽD`륝͗drxxǝxwSMVfs'2& yI A7ǵ,nBAؠOf8^|HʋFcvP/2{R*6dalۍe k4xٕ -$I$峟ƁGE2 d yLoOH\Pw.%utK:sj]*P:25D3?F]-tFe w(NNV1CvXWWPIk;ь4zV^N%:̝S@̑Hb~F\5g:巕M.aSJNffvxr I}= xn>)N$0FaciG@fdIK|;h7G.V` :fWZv:e݁Ï_0InkmE&b~,,EB/N.g?JΟ_ cu:ڱ9n t;T T!h ZU$cQf VG=L9N{3b<;ڮ?o Nj& #WB":2޻A t"X ?ZDXlCg(-kYi"?ϓ9og^YEaxhn"hxYGpT0&P! (W|`/ުfiF=_z9t!X*2D:j|D8" V6kgH t-T9TJvzKiވ`baLp"hŠ)z%dǕq}eIF5Hw5x;?Kr5 g Zy TBFqNch0Z"2D#. ?HmBW cz?]{\:˲3䅪~ACZ*<EkTWy5j{Yʣ)~DZQH.`_u3rpjm7BNtztvRlۦ;:[ƞbZW.LӹL!CThF^j9^WC"$ёiF{B~$+fTqǘ0,$^DH|ץco7^,lQrdԄLMXBr@>@7rP&W_`UDP5cB4J{o!؂ ʨi'1H{G$g 9OƟ=,HS}QD\ͣ!j᳞ 2>9PsBņqiUbt>$Ў_R"3MKp9PW5rDٟ֘C5i-k8m2uEY5వ6R?~Mc>neSVSF j00.a*ZEKqOsQwPuCHY(BT+e$`Kg>dd[w 95;aOQ뫁9@nj4i.zpǡ9>'vL~yU&NZ1_ϙ$ ^fsA/&j㣆|F7g0ֺ"gnW*j? ,hì (f>vT[U(dd&K%oh7l\; ?scػ__@pD:}K̄۝ ;Zӟ޸X6`Rn,Pg#aG d \(F;{QP%\1JZΚV+얅v S0' @{Sf&t#q+28PBD0˿^$)EUL:Q͠˽q.R@{ N+ [V(YSk9y`a.YbK:':XG%UK{$e +J'Dxr?qgYZ7zXZִF! :]ŗXi%qdo@ ^^0@bޕ޲gO77QH) t.)WȗMb D3~LOp4Py9ER:X*}$ =1BT [ =>cS3R {KnR7Q,M}3y.b*fGbLY͜Ҳ4Б+AٕT˺F} NN ϚVY{>ҒX{'ΎO[3HsJ*5i ;͌=V5qOn;*;'Kd(bǭ`1o )%׏17P8asl OTz2$Mݞv㚪Gxfˉ#ÛԎ+u\{ Mr^\&&|.yz-Nu E;˥Logaۡr#, }nYDޘԬvrRM+.(0izJRE-]ٲG4+&J>ZY6Kq{ۆ_=]vLa;8r=NVFuyQWdXUFہǨMō Ϫjr9 ;q(Y[{ MiAzXTv)Ƙ[jM 22 T*-u KіD6M j' #)uljVR u)D7,ϠcC/KOYqp8,E6Pƛc#@Ztf=~}6zkF,e%K Q;=M&0q+d 4DůZc.,^cت]3꯰ Qk^߽mRUtL2Na=ӃR\UĊyKkKM$NW.^3}X=H\Q`!ՄZOkE^PIM=hOvݘg#8o 3f?fIo_;3cί|0Mrmï!(n8xܑ( W q&iȼ:kΒ/9ʲEڒT$9ٿpNd{k3[:zŘ'7ѻ|C0.?@"8 f>nWG Z-!vN3+.=ՠ(rʻ di%r@ɏ6L" ƒpIAMdX?~Mqw+11s~?e.hhet&l5<}9@N$\%Bן/&ҧ]~̍;WP0VZsZWl? IH^WUm k f\Yu&jZ #=gUAH ؗpX} Ob|qGV=IEg8.ȢJJ}~;:>10>'^4ܺ|&p6 uR퍴U*Ο?{C$OOg^5 LYk%Ԍp^wKVyJZٰh8,hӭ9Pce* iJr깤<>i0y=yɖwe@ qPբ;&b!ؒ,Ί2-eZ4c)uH7BDːoEY|Pۚaҳ*riU)Żq]d/sAp"8θI=%߮+%;*jn%g>8q}l :a.G|,I(/Yh[-&2!J>1{%T,C %uG`MPu$RYfŞ4,pAʻD粤J:)ʓ.Q1G6(YwpVlm]I WmkN]Xb E*ݎݢ劃րF5z8ځj9'"i2j' =2P]_ V01mjL54/u!;MU'Ja\˙lהʕs`J.WNODx&C-j,G20&wVoy Zn[]vl3%"eS_EnDP@Չ-Akv|H첗iiM/-@>dXef[:>Oͫ&&:BXb˾ImM "QH]8]$LUEY~1e"piEqJw;Q7C${jCFѫ>-[nhi9S=F7YA/K:ݔɤ`#pXӴxjskŻvnX.TC 0'1Dr\s KP,AYY1PzI%|vK|i! @gjI(p4㦆ݒ+y"P8@?1oKaz B)}J.`6'_%;QD%%`WO:6lw3;'\+f0Dj`*+EvOځC# {*J[""rD۝o O?Wnm1\Vl=|F \`7E4bв=cu5nuMgerM~2݈#!Bλ<2uqC1xe@ rBeMRՇۖgDhm6#B:ww1_G'A "s+N.}eou_ mj\˰2*BR#Bo1,<49c&J:I)Br{I3"1tCU)l3(rl =(ɟg2i[9*w3ibc+wC>!7xe%a{ZI}mfi},#VU»*T]&|С BĤϡ :@u I>EhS-Lk/P֛wr1N0Pn;C65Ie]UVeQA:'aF0P`bW6>jԿ.xnd. ֗@Nm;E2E(T_!S',5΁Z8eVN[& dxj[N?-hqa~-!-z'O.ŐK1wuοBݵX/s}I|?K-X^hcНC-sAZba> XBw.oDY9Zc#Brsw@N 4bY=Vg":_Y KHhN%6kW|%lF(]A2嬕>Aw۹{-fAv[pn~ZvӁ Jѡ֔R:'V?tDnMOu\216fv,2xѸƊbM5^r=|P4NCʴtGL(Û*N>U}Y ByzR\Ψxl0K5=?2~ }ݴS]ˮC-Qlo \hoFI-`Wu95 A\N. `fs:J- hA[d;8 >P\k{}ٻÚ-EpܘgK[Y8Y8Y"q`bogwK4{yjf"ZӢdheMSq&i=@S'oǕynA3Sc@F\q~#Y(bѬs(Y3~ݸXwS<&"W #<ɖP ~Su dǰ.*i]--U;5*ٵۍۥ}eVb"AZjUL\d yQKHMI?Ub{ߪjSRv [se;kAP;R7lZ@1滯 4e$Pe524S02܌C'wbJQFͭO#)>vF~Lqb? ;Rj*D+DKY*G+^K+LEz) 4+0' OC1z3opn).K=/a.C%B}I2وfXdBO֛]G|8{s2REAp@"_~(8kL]hhDƿ%?~8iSzمGa` z!]eK=mY*7A[hxLzT6(j18ET/< †+]Sy$e{E>m/S|`QΧүt6 ü ̑m:Vk9>8V'kr@RD o6ϐUPi.]T>Wy޻V+l`47s%J*js9YU{C땨2>Ht gTuR]²V>7}MUMP]̤nA\Ƭ,.m{ 77Yρ6Z,-x֞*$*:hy_?0 >QJ_T@ d@q&;dD{ 8OmtS9.PxwĕWt#.KQ#8)81ri.]{ ҧ>%޼ 돖sS|)/8uN }w \0sX6A.`H.Q%I5.&= ߔݨg9. $R1W%St^_2+rB;L{$׺vփRe1Tn)PJzǘ ߗv/T{dGTuW|2*#-tZnFE 283ڿb*@|hLB0*\FDqX$  >$ 62%'8e%^+:~ Ӂ٩IBH2]o(SxXO/ }wjaAZ +J:6qOk3~־ urxmV٦yѮm"nmRaS.el (h=V2Hjs$Cb"cS'YQ _? 8~?X[F3|\nix- V?$k -9S:ŀ$xCThRKO[¼NއTh+ZcC,̆q ޣϽOҿU_xvhd#lڅ~1%O⪘rMbn|Iz^a5ʗLaFr}̼O]j FmOc٫Իֈ`pb)ۇ`kރ dd<ĎԩTu}N86[bSK9,jnKDjf qBպnk !y:8c5 LIla= ej ™z0B9e)C#ɩ11e&Uh]L2y%  p s'Mr7\ YM7Aiנ嘆J?Xm`33F1:4M&H,8gE( 4؂삅z+*)&~usP95SUOhLہqT]F^vPDl\v6A@s^)F/] pw+W@9.Y%$8+/CUuwjU,:6Ijͮmys'ŀ]0XԱي\_{|e89zAemT U׃$z*xxbI4Lb#F'&M`#*{gvzېR^(~N}dwgXAG끚2u_Ƅ01trB=Q!Uhi>ȶ8yJI8\%(ڑ 2D нDǐ4GXS>6 WcI[-%4b)}< rX֣Eb&EB\6Զ_wtHh7ܸT 1\F]Giy}ǀ:4+];Χ ;جxOm+SǏQ{7Xu;`}Xg^NYCF<%4{ě9:Þ SrxDLxa l[hעVbLяC)Lw},yyOrꊲf4'w9JQI`*$JW5$ MGEZԈW&kÃ"_:|#$k̠ B1ppkxwZ0"ڀGMxO_jor6Obo(aPQs,ܽIwpBLUo$@eisUh@XϜ~ӵl7Kn}!'u>m!bw Pdn5]*A{\bJUIݛ[&mFA^.R!#WBKfIxv%`$ΰh ;D">@=Dnӵ?L:5CϷͫTQJI?z6x~܏2:6bWR0ChOjʍf@O!0v7TL1;7G5Əd׿ՙU A[ccGї*2ֵ ^:'PgOHxhdL$l`tٛRꭓ]@ nV͞JD d$ Zq%WZr9 qbI`L`;Rıs{"dL}+ uJ*UScexDi3 kD#2if˶CO#i͌ D? v&ƼsNnq"sYgn^Ň*w'5,vG음M#=UXj~ȃӓ;\jaDՠ%L#,~e@V,gIg:ݧ5N7lƓ|\ϧ*c!w,Ŭ^Qm1?bCLqlӲ=4+Y8wd8e8kXvsĨ^gm@!;Y4*n_m-T+%u+ a'ۿXAM~c"_D,Ǹ=:?߶8J ]E ;͂bׂ\P?crXDXHNP..jj51 * D7jP$Z446pOaB;#U=amjBj*U8<(c2;ҜW8m4L$Q6[_F|(=5+,Ґ,7WSߥ&&g NNJ+/?0^b uJASAJ8ÓQ]sW p߉-n7m|KI+vlrs+G H^0%4ʯZ,W޸H?Si>/k\E٪0]"hӡaV)]~…`3[:^AmX:5-0GA$&}_>)dTl%NPTOXm\. NЙFPǙ%2l!V˒IvdPqKF;8'i.}3_u%ʁ@) w'n]JEצ+2+JDS}N{Af#i9_=ߑ|=]9+r>M$UStZLzaF_x7S?`"zy+2l-xSurhU?$our vmO!vt0 JJ5/q j e4l/ŢZ5,V?"+ o;vt9^Q.*dT# GZ T ֲZ(RMTgt`>XpG}ގʥGWGqLH%0tc,C'O/[+Wt&Qɫ2(#psWE^vՉ\Ѫ_i[;[w(ϵW" }("6C1ㄉPq>_ wxA2PmAfz"J+4m^ V#p✙!=jwGAN!{<-.1;eN(0Z gpw2'f͔0ꮉ^awn(f9(\9BC?qpLl%:97XrRX"eښ߻3e09Y\Vi3UQ!%N:#*$TQHq \]Nl'Rdde MbopQ#% "j:jv- PV| Ѝq-J,|$M"hz-,F5yĮZ>`ibyF"^Fʀ.XPɩ*G"6ƞea8<^U3!of0H!庱ƈ D>PNpfvRp7+FUo2:xF`<$ZdxQ'p@7Fo=bɷrPM|{0ao*἟3a0Hq%QfbpW~Gf̜hqH %௷G=_߲4B:jCϾCt*0^|yC rW}BbEVo׆ y!E 'сeұ P`>1Y+^SctGyuPK?$4۞ Cj8t){oh(SAs%x4B뿒o{=ZY1F!L =rI~.F3%oC1?p 5-(K6$I߲aSEg%_O5᲼EVPDnRhc珌Ɩ(ko a{mCj_(DN@oe;{w~hWk/xINά­!o9K{Z q1: T1o?4yPi &Ke5ĕ1Q\-0Wyn?mS(g9X))-L<㼺hQ}E"J87q.(d,;NǍwχe䌗n R8[G9Xp94Գ*C=|*, '##w<}6@`{WH92uG\2k\ٻ$lXdy{lSxKD:h$17~@.݌צ(). /.ةnf8k&FwD5 qni 9ia2j8mϚKc76owňjGԦH5qy;c{Gxo!6 N%CЧ>l>_MU.e҂W'>-2oG]]Y.,%(qgiyC=|[,*F~ A5ˏOJeVۯm~ fW&;d`4eZ>4@=X;g ۘ pd|PJi'[IғӊE<:=~z{D`ge)y>x+sתP׀PՁ3F<MѶB!)Re2-*塖HRXr 0WhGТ=8FN}pW7V˖JȵЭ,Փ% ۶A:Nߖ GDbͶ10_ gO 96p-#y0 L 8RJdH$G?pFόsrF ۹i{RώU{Ӥeuz܇! E ؅ q5vD> mHfI+N(7e-oOK/I:VoP"wS2 Ab?Z{Ѽ#\DH!ڻb_NtF/~#4kp?G-_@]d´tx3J+SI}!mREfTT`= /qx4${mӊdvOg,U'âM!Lxvo?1mJﶭhH <+.i2'H(\ 𾷥D7孱\:usw--)se];يH0