SQLite format 3@ . BBh77otableisabelle_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 F$Td ]]Category3:threads=2elapsed=793.519cpu=1322.544gc=40.616factor=1.677zXZִF! I% ]ŗXf1-/6vRZy_^&ZT'8fBrIkٓOD6jω6D&8o%"BN!@Z܀yIزN>˴He;N'gI-1S;4ύF/Yo`%!l]%_-J"7c񬞁X}7`f _=hF us]X$'«[>3;? %z(e fGS-6Bno8eq^O6PNr``M P觡Ȧr2)פ-ݦTL8   Category3^JB.92!K.)N%ܣ2Gp{8l_b$A}hHQ3,pG%\@.\:)!B\ԏqn%&^R+(Y뒊XgXw򪯡iea7 Ä_A!^J m+5A&Рٙg-ӐeG 4--% śZ9m3h, p%m5*rAp͹c1AK(RG1~)3fc[vKz0.xv?a;4\-qaj%8G:N}| ]nڝ-Y*(/Mbe+ `v$+1k@Gs3@w/iZwhLhp@W,nA 2m) qG?XSDӽ9f =aFjF:=NGyE$,e51}{x3ȠmR/ %fuqQKޒ)K}ڹ~B C/ablMWq:|[Z1 C6\_zu2,2gi :8憧 ,dDfԈZI闻eatzom+ dE"'הA>7ȇ"(/p9=7keOVVEg4ƖB @SzlEa>i6yoqvC ʾ`Co-m4K1&wirqu}.^I'aXS_"-2yRP9O~lnGFcL i1E M(.0WDŽO(G}5PjANb)MH}IBllaHMݑi|°9eW0 t;XRk3o*U{4WLn-*OF +i[(JXN{*a=Y+!Ev- I 9eʳ\OQRZn OԼ1y/[58Ν zy[b-d`"lMRdk؃Vr{KkWJ+UIz4Sh l(E!% +ܩ#23;"C(k *ޓ.2 9pr?[5[Լjə?K@M I'W8XH"@O@zZ`JLD`v ~ս+X_ї2 {52FqpdH]0ݴsvWӹ43ڕݞA4\j7F'3!V1kr* Q k H (vĐ Z^h߾ sP aCc&m"Xm8$%]u@VDbeъc`#P"|RwF+*,fvN,|A?le%i$m6Nt|0l|]/d"`Mri&`# Sg\in&295DBq0!6`ukiD71n\nMwUCaA|` Ϻyvn)񫯀^8eVˆ><!9s''bPkvt73,-?4Q@A7P$[`ϙj-p;SWaf TGߪJUFwGFW`[OYzZ ?֟Nt_}y:5köCmyjtl}t>$Ϗon={}hG~Hժkִa/SeWsû)X ޹ <}[K%[ؒ)9Resc(맫΂+TLQ Wdܩpnr)O.g2iܙA;>Tsձ~_[0g-cTt߈3G{@M l>DO1`[em+ݎ\*r½w艽D%p"DD5Jqt䚾Ei[/ :{ :P{!g )6k\@jf u7Y, F}^v%?,C*pp9f}U(NAV1jD98J{'z!I0Û$:ѕ"gU2Dr)%T MlƏ7kӻsX]2(.b` %sz3p2hYLe9BV`5돺DoD{,<`M>9}tOeD!ϰӧp=f)V˴@ej 2ݒ-_Q1 Zus'=cˏW( Nߝ <iW& Kě05]OKCT/!*U%4rh%`'%G+68tw=LDjR1GAo9U2I$[@!{V P+ԊVvvXLf::ܹ ;%!({bi"gy͗?I[TBV"@+{2WJXZΗ?izގFc}h[r({j$Հ늗~[^7KVTvc>zUNK}V,9/+h]s({5? i] `Mi-ՂVќ)SEΞ7~vrP/98atT1m:9-ﰭ~l& (x0 ⅿr ܁taK@ W@Y#?͛dA];" ؀ $=L H8_P#f3\ƷhOzѮzL]+  b\qƜG[?%z{h֤B6LdOP>҃_G5U樰VUgcxxPSr0(nQ{' d@&k !'==E(24]ؤt!ZFtL̗\D=^\'_*jVԚ%?~MS5c >1I%̀bȄ[>,]]c3FRsxWGRVsy%꼂zk^f'zhZ2xF&{HhtuOltH>6(hC^ȵUS?&Qmޫ4Ki5OrM* R mbBogP;--Bn 3;g@j&jCĩsN>ud SlIo͈֝/$O,vpnDp RI<"wӤyRa]bەbc(MWm=ąo(  jESAmjaA.~3lC,`O+s0s.9HS=j5o%ڪ\mϢل2:$l1 &Px"w4- ͓ ;+ؿ˙3H˫PP=?}ŽԈ'4c ^^Q eTő*ԨX: '`,JbټU+T@]L"PKlA[S LmH]Xd!|B9AabرK^v?y3 >ꥅQ51-Nr`2HݏB'v#9}z`Uk^C!0N}z[wrX]6U9(iSKOYR4R1. $fMWmrŁk&!)2XL2[]DZ*46Hz.=&H"-MDcI}[X+a!%czO9zteywvnF~xyʾzj:ߥ3P(_c~˫s㢲{iQhaזJ3]\,Bkɽ.jsZoKq:C ,`36rIl(Zs@E#B3#Sc=\*(Kr¼ߐ!N 욶#p`&Bjw5'˲z,HP}%ya=[pKʦ~6vgOE[dx V%8 TrgE61P' #϶hxD;vd~fI26ڷ#Jw'^AH*޲Hiwq^<95\uI秄PwskrPS椫_N&-qW{c;=[7X@l|RCL4Biv5q^\%YL qU8Q"3D>h3-iReȑyfbmɨPFd~x:AH?|շfTΑJ bZ+l]c )U%e??!ڗtժJ-՘- UnMZ̦ w-_Lnbڠ 䙻䟭"TČ Z F?3 z5e2#G22]ORO?]SN 3/!=J,qCwPt[mivUj9h J4me:Q;rB?kn8'~K гTQeݲC&UfVU EOǞ6:Lm;mHf !WfѴ]ߊQYC9$yؑ9޷8?z IsKlk}L/~M:uRwrNܟލ7kp}GKFq[9 -E1.oQJ6 <Y-G= nߤ5׉"_$gә(HRMFߖŮcm]Xmvi`Lώc/PC5kW̓ȪIR/eG/J H2 c,OƼȖTG3%)A&N?(09լ<;ts ocڣTCB"Gk[io#gnnA7iJ-$C̠PO2QNyolFiGS>ol;Axn Qnn\_Vm](WIf`@mAvl&Np%*1@AEBgG)^>@ V6Rky+h6@jy2m Sz1Λl%]BcՎ-EHsnĚX$!Y͟Z_ ^"f='+~JQnazo0Sv݂_<+I'U.5gOtIa׭.\YKCΨ~$k i0[˺au \ Ѷf^rr@J?KGB'-~GGzG0NsKw-ogDf Dwb ;crub-#zQ2]peTO<9v| *IVS4)kgu~ m X&m-6曎]?BIx9kLxw?A-6?ǒ">%7Y\-~BȓRqX2Ub(G?[P yh]Hs%M;hMo:dip):VZC?Dh7%d˿.!xu؝Z~7j8Vyc+aoRpazw[bjHUB;RSwE|kfAm]h0ƯIεuGȁXJ[d >s4g4 )aʣjyNnyD45gJGqX^8awL0>̓BxW%|fJ`t hRb"Q;V ‡q MAt)R~f%0[e@oU@YsA=y %/ κ'/sKmQ5 ۧ`?N~g2L sZ\jNMgL_τ&m+4GR]gnvb-R)}i2M$C m=6d0 JSվxZdkr^l&oR'r3L{e9KX j|:9&Vlݟ꺉 }#pEF5DBy"i&6>Sj@3`%HV|L¤qA$E%H[w(`:Nd|<\SyL V)GEFMۗycz!ҡHZz%(̛`v{  Qɍ⛒XUU^ {?!I9CBbxH{dZn^=*NCmk-& &yj[ +U3&i|.U4L;&aI cm*2e,Ӳ|#z>撆Ï_8A7gUSEuJbQ)Ȃj@k> H܌J=̱6é[+esiND!VɥWuc@M@WTa`4֛k\VmĆ-%JʄQyQLO\8XQNm?}"z[ `TKW/yR=IW-Q.3X-]|MGq[).` %'}Kt;w;hyN:m\[+{?= q.S+T M>6eGl2Lփ(a惇FQ&' '{AVe̠47_)x\?! 'M]1қox@'rx%DŊdޛtXq,/sUS Ϧ7}khthyc j/bg0DD Wf\÷,XFs6RjW^mw2Bg[nYCa>q@+ qbi/ (  SY5! j1+矃xUw ) Pgp8e8Y"y.}R(%2hi6x/x#T臭=(.K`ZQZlFf]tEao>gCk {){þ5H5O3ZIiiߞR9逴P/6S͌X+\t9-9v`NJ$wS;335V0 ʵ_}0Ceh Kum=}P8ɺȕG{F}c[pvwo +5nz$Km<ه)7KR<7-Җ\"e sxȫSUqJ{T1v~Tmv9+6[$e4w-Hg-ӁN:å ~6g.KU>)y *y>lo\&\Ern &.K9gr k#D&]on8sUoP#aeZ}1JʜRlwgYZ7zXZִF! ]ŗXiɟy>Zr]+χ%59tDn<"b6ʸLcm,_a#**=O E| k,XBՊ;*t`:ˆ)_g*fӆP3聄G"hp_T%&./]+9 bڪ|k̅NƉ{(<>p!{.ߵ8#KqcOhx@eE\9eT0qK.K͞JFfTQZTOpl%1>&W!8s DCn}AƶdH  k|gYZ7zXZִF! +]ŗXi%;gCquTmkvL #[]}67 g:Ұwgoʾ;Y\S|{mԅ#CN/v>But(n#z)MWY[2DS㍕x47ΆxCM}I۞kT>_%gTc4{-fr< Wmx3CdkJQI'aUt?_uS 3;*dmݲr[ޟz'E84f gy5a}"&^EDDxe(ah'H}>5[T'?0ei`R,G|7#%N#V:B57l;TX $躍d*ӧ1g^O<$663+b hYkynTɴİ] 4!8NJ^s=˫]!FS]w&˲0ܕme;ա<ւw0RusR;A,$_ b$W)-֡xnI62*-h:TW졛,gp.h%fl(^B EgI \{f(q@l?}QeƒsL y.PBʕq<m#D`Q% .\C>/G>{YRNBmپ~me[-cRt5*4рcx@˱f@VbaprMs.9=$\ؐhO2BS ]n^Aۏ]q?}To (whJQQSs+xCy=ھ"x|d<+%%?8( $ 3%Mfn2Nz$a崧䵾/6$nyT~tp&z<^?l<&93I רYF(y='q\a+YtScBluɍ*6fDۜ`9wZ8kiDD7gIJ`s:&fTBeqX]ƒIUeoIG.p1~"w>qŦFUz>sNt iщ ݃;mסKf]xQt$y3VDxwNBrPs{K t(^ &{.ݻW33vY}(Bm.xDO!twg懅`66bQZFPξLnK /KR^3): pT#61|!d_pEe񓟠4UgXZeUZ+j:yUsaK 3_\tlpmFR$Vbs8HsCwNn@|&^]7VUq?4 fR$ 6 iBqVظ5.\Df,|qKԿAе5Ab>u59! 0Nkό}]TqdFuwόV bS<{"/<ו-~[֦O|:6ez] 6ip;,>T<*7T9[8׎׶/3ƥu?S(:i^'?µyXUm /귵ς]-z7ҡKвZvʵU5f99b w ! G qnmϡY&> do<8CI2anwٚʟ~Rq BzS@GҿORR\} A^-m=J<,M(}7S "_jVnCsG[s 6!LITMEk eXo{W/|{g<)!s^ eh7 ʙWKCmH i)5$'y"t!OYfoo݇Mv/,hGx}扤pww>}>}E<Y'}^v3tWn84# S*+w ZN& 3n7t|^Z-o  s4$VUk41˦!d]mx|f9\,$ /KWK]'nf_ r٣#E)Yyr##s!Q i#RнYq}oOy]6Hj칌?áj*TZ&y*{PYsB68 GjAXEķ2,\kB4(B (δm'H*mfFƮGx`"u82jTZpJ8_A 5_>gy3~2zqʸwƽV.B)p QK]nž;SKQHBHz' VѭT~}5NE5Êv2o)bAA␈LGFWYmJNy/-Zɘu-QyY`:{p Ř8I8}ο"%R#\ w>`fb; Jb9;b.h7x3ɍyB81cCJO]2&+a nxya7m0)Pvl^]A}GٞY*ޟl5+uvݏ˗Lˤg@Y=MTNlDmgQ8#h_1"_-l| '0pW_ɯnLH-3vzmi8qĠh_ҭT*DR;"ːPmﭠs#G7AZnoĶz<:Hk`"YLҜs_pYP&,C8 ptutt'TI:,zW}A`T?·"ca,7oK 칹Ráqϻ:no>ПT½8W ⿺N!IzR0W5&Wzn>MtVgG[o+Eހ*ѵˑ ab q„ VH`WAz1kJ+D+]u h)R+\8 '˒Rw) _}wFzJ|.TI,rF<]ms2["-,= E[}Y;/M# L!?GN}U4br.T$GQtT|-v,}ù1.S}vkSBmޝDDk8MvY=EBUtm:7;@BB-Ɖ|'u!hM~'t$r<neblSoNy2BPcf_,7 _6ccX$WXgKawK*Ý该ԊGcߐNijIA*uR $fNad_#TH^{=;<?Tx1VS)"ԗ &!!J<}qzneQֵy{كqV1'W +U a}7h cL#Q.=jLTߕǘO薅{Gz0yKMε!j gCKOe7RhT.O2i,r1kdnkeD6b:_ [?3FU?j0q'_F`L+9PIRc NUіF9/{a)@'?"óp@hɍd9s2l!c T.熷ZPH8[Ӏwjԁ 1'B"OijYfχI- 0Cݝ#߼#VF7.IːFw0ZO\\6x &>LcŐwג9gy%Iܷ/.M nuV̑[)MED6@IdvLUE'SMn]r٤J$Օw {6}H@ (7ܧ"SBQ10hwLL>HI(6dr&`P~ߣD}G *ݡ?#ˏrGխTP~eh-M􅒲cHLe[[8ɖ].I,qRIʛ"UO{&7~BO ~5нxrbtdTb@6R'A/: z?Ř.z"∤%i–_ױjRT6Vk%O 5Ġ [oܝ=uD=;F"0əj^ .9¼}0_#~7dƾ^}iqޚ), .vmgS\o 䋗q`Qρ lÄv ɢ` o#e(吨$ӴɿDÂH  4[\n N@w GEE\F0 @Y.4Q쐆†oqPy8L)zVAp[~GO8;bǔ`@-]EWyN4a+b*Kz#ymz_0}:g^|lzM(iUǝ|rUmw2\iiEw̙kͶ")a(EFTq7%lc~>v6AOrN,{x\/`I4׮QtuêTaXt. @'_N: a#մmN0r;:2UC2a׎2Is φBr\?zpw1 ohpvu۠ $'afU ',4__?]+|2Nѕh,4\HASqW:[ ؕ|bOkpB2\ݪc׀*%b_S& eaGPl=Ϙ7i I6ޕQS;P@2k:F B?$[ Yz5@vuv2|ʨmuCEEVv+Uhhi}"(me7]>ɵS:c!1b$ kPfr=rL<,79UBH޴ԑ#QM~o3V7aRf7M;'o &-)E7D 49^mQG]Iih0fDbq:׵03qC컃/#j.gM{.BOc䖃1-яZm!j?j.U&I[c^(NvTie&l{cO!3rk#Ę&-8 w/lUf; z΂7:za|)"YoS1ݞ?hՊxFQ-+N-i&eSpR|Y+9Z֘nP,;NܰO b9.ex'+yqЍ)M;y `w>m,Ĩ G⺭auD3YV(4O>~nT٤j#=c9+Q,.kvP C-vH/YtĤhw$ź['bn{s_y*h%2PЧipIadU,_6䡈_4"10Ee~9'NeQcm~\ ;N64 5,LErM`.G4r1R279X̲Q_DY;Z5~ !x-b0<Qna&5E{t]k#Bypi%rfQiD ؛GƴD@1H[Bjlvt=QL}46?!;, ci2A>ɶGI0dO*&\B^s]8wfmi6&0-d<>vџ\Y(O~Ef*̎0Oc*f߾e9A =W}{Ig&`r8-hP3t- -6f[}cz?YR:myfŒD?|//5޺-PEX?!r:Q&Hq+ɻ*DٺЧiKvS^q;e5A qO;aS"k)hoɜpVüzN䠪u9L]T4c]([^x9%j;e-0= 9:suo!g*y-B|hTbzlU6+5`Ccևs5-ӃB'SOAzQև/xL.'zY*E%GqSFRV7Jśd^(NF*BF. bVYyt'U֗D `#񕡷vPN^4 ]egs(c3#&D㡒 VJG>':`WK˞mƑἍ cbݹl+=#m/G"Nqc7m|0Zic>ZԚ˂R vxgsp.-O)*GnXZ+ _fs-qH[ᐧp#xt0XEwmc&x~-831 ?Yc:$bQՒ4vٓ }:#R0S_f;A~/&5Ki_=ZNu GaGY!]qe*zm#u==鎕NƉUi2&&޿KH1]n/N[^\܄Io~B<:u/? J xDzDWW?r=$ sMbM0 Jh}6ZDtcߤ,m*̠+ב|k pirހ/ <+²И&%97W @W>nsIf6֠5*EJo¾܌$r#k{ŀ-3C6gUWYq5 C1D 6ze4W F˷Ӕ=91C7;4j ZKS/+1H Fێ]){-q4ٿ]R|Hc(j*ܚ$zSE~$U5w]M] Ck0䉺/[J#;NuX iaS9w|R+AQHRDÑy& ::/Fr9\FwCX+/|&>:l"S绰+K$&H(7vpVBlR --P3VxjSxpb|'wz:Y'I"@bq7#`^λ~6(uI^uZ~aʹ"f bOes[.*%)7}kƓX>|2YYi)O"dc38AT? ,Z`h07𱚡G(2S#$sSzlh[1ǛxЂ8g`AWӄ:)`ɖ s+WyݦV"$DaLturmx>%[9aA9J`PmX}=8蚐I=1w96O]GNtক ^eB{$l:kQ5zj&P5Z(X\q 9Slyi/rfi9z(nb F>*wGܵx`2sh>}OȵgO%o5%>$DSekegVT:~@E5MgUz5kP7BLCau=4oyn>"׾X32qÑ(x#y!pjp=Jp5z4 }n7gqڅLG Kqˤy4+Edq- pӬ3$D(wuzR7&8_ a W&eqpA&$U֊N]VHo{;vr'3ڡMx8wt1NC#'+q;nv3X؟&2,}2/ࣦ"XuoukGi7`]zEnjlHn"]ÒP|I1Nj<+Ϩm+*I9?-ǠOF"iLk7J.U,y,hO58lvS) qfgM]oH,QfYӧCx^D\\).k8`i@߷%` Cr|h>mް GCGP?$v-Sf/K`쏑 K@v.&ڲkBb89niw[#&рk0;?XX]|:@?՗϶_Ɣݾ\76Q?byVLK'Ote@ Lh8NOkF7Fd̍Ϛ.` =n3i~(ӛ9bDŽVC͕奭:,7EC=kkXR:1 +r ^0 xTߵ a˯hCe/U%?)AVOn,$ 9;xERjO ~Ѕ"YܽtN c^"b1}xC-y<uܝ#^#Y^߁JpID!:3 X;V墍}ih{d<s)qB*9>"wu?ۧbLuf0!c2Lߞ(U}JS9s9s1UV̭l>Y^Kiuw {Wm&ZӸ 1Eɼc_"~*zW;f\P5Wool5SZe{fm絕9ގzN33'u\VLPH&.Y]Y3%ϢWrjybo |N@4pvg0K7?>=QA\QH4/ߒ 3,`gj5'=ݠ 5C8HDqMN/i鐒9m ߙoUƐ),Ÿ=EӖ1a 4#x5;eDq 3FBHe k\?|`H!@m< ֶ^?W|_Bt:*a'1l3Q * ֣dL`׎_04;ھ?WRZZ_[x [t 2ȯ6FǛ7"w}(>UGcr?tώm2QYKp]W.qjBQC/Z)4G |{ il4I5^N"?h>2Tdm;|dÔKbjM!4`M<"rA;*2V/ WgḭK\ʩ+ehϔ]Zy) HU` sGmybV*"A€&ݽޑy^;qv%pBI*+FwMTVφt!;S&13#Bzu隿_1zI0H*Z.9\a]p؆-4L=#1|[^=Xv(e!(KP 35T;vR*qe)m_8k5k<̊pf|k{tb|8hD8җkqy- 1 ؝ L҅5"5!T\.[c@PfD4q"`A89:)X~0H ki׀C!,!O}Gǂ15&$;I> wFJ_Xvh|4R LI\=ޗ!# Xs1ѯӰB3-8}܏+_o B2ckL@ (Du(4ğ>H!{OKq"!u w4G\_Lر3o]#`ʗf ˗-_@(gVDw _~"t#e]hF֊-=ZϨq=?pt*ߓlp,dƛ+tϕJ 9R*%eXﳅB<ԅH]@)a{%m"aW&T-bvBu|].m%s' Rsk}{A)Xnn/CE5eK?!ot_ɥ9ax@+2yFSMדӶxHyz@J:,{込όxaml݉m{PeZq Nz4;+^jIT:M@D/M)I|Y}`y=F~q{{G򍐣k\7/$If{E3+ـux &4]/^Ryhk&\*,%1u48n(l4K:Hԙ5-7}.~ 83kRhLP 7#k;l(\=zw|\/ Ö`ke=+$R*_Z5i|çm*YL6 n m? =Tk~'Wx1T pm mMm1,Uv9$RuS{o ( p)CWÕrpiRżOz,@BF ۚgk렎Kx[;uQvt=tALS6-a>+")V iP6ܐǴאegzq&`u*.qJ>2ç @qqm/B7A׃g?q\Mu'p Qi>)qqsLqRy? sl|VarݖžDLAt}N+/`^ZV42vpOzaof6B-k)^0si!\JʚšzJ+=R-;iÔ[;rRpޝE awTuO R(mX',A,iI* %awo$, Ŷ`꒐L%'r*LT.[;?"@%NtgQӊ (mddI?E&FX6+tC<}RXYi94SJB헪P$8~&Zdaav1Jx' ̂9 t¯m瑍׈E8z=i'–C {1̶us%ȚᗵqzÎ/p=F d6T@quH.DI=?+Ѕ,dbL\MjᾠHyZ~BhoAWc=`mdF7+c@"^>.pKGjB{LwDvQ@O'{JF̰"Aaf)(:?`.[Câ-Dʲ*5}aL dv0Y?#ln5C9 neD9t1m !_.b3Lގw aVLaT< w̦H19zaLne:('M"G%u3 ':ˆ=yymVRo-#}79{*pQR^yqrcpԢj*ErKlMC$ z_|[Ss{lk" Z>MOoM>b;T0.#UL2!pwOl^D kiUsR_NyZWtIX&n-nHNJ[]C\{}|qY¦gذTļ,?M=Xk/]6J9MX4|s4[Y{cxPHcp1y[ÉVX\V,[ Ԓ8CkeZ"PaC97@B_ՖwT>~ ӡTc[z!j,֋".5X4b20a0gẘ Tzk+ETY0ob4Oԙ VEeH& 7gh_QyWy=g9Xiu:ibL۵d V<.aų>5,yެ nNaah~)bz:osjE,`?с6C mjx肪 O4Wd"XNFDl5yh1XKw?rrr 0i%ϩXԸ'; Ɨ>i]Z v#E?RPx8wF".FcJ8$2̈ƺٍsht`$;;b{/,lx!tAF;/Cktw2XB[2Aз'zCɸ Uk:DC\QwT_LW,ޖ` *x/j/d AޣM(]Q`+֦'¤t5|xek=JIB*EJvKFnM1XMĝfp*p:620S.[mZ|yєY_0\8J Ennc'ܧ8WΎ:5̌}5]z n~Ā'E!fت;F#xv(\5ӣ{#.ZBN/o~T,},̱QiLE+8ڝH A> Gۤy[V7 lB1yoJ"7[}S\I%M#?.?Qkr&OVN߽vWNHU*1V0Οٳ F>+´P2xQ>&y6$GjqdRmM90aP!5P3kЄZs\$1|ʓ+ѭ~e5]/4mLa [ai3LDo"]4"=2*|gEQh"H},[3,ٕ04ōC$l1q0_cU%D"B^u[sZ}W 5N+{e]LOT_MȪ/֖^'23^K*ڍ3S?(U2oYvd.8M>\N( D`wGHw53%O%S[<բ(<*xpAIWIy[F˽}V96&۩ur;=/d#Q}bh=go$:2BsCf?~] [Z1#<F ՙ#: l%a0E nT”~¡)Sh`Vtp.F&3]>hL};r6x҃*l J|/ow[.e-ѯ&4}%jZlO{3kCW4K: m.71*?nօFl=GieIDc4S=`~K?@XAoFm xAs4 ㄬNZvtio*EAɪebEdZcRO:]9f(*Hlb> *ZRS.n-.Fl0^K L7 CSG.j{V}~d)kj[;Nmu q:ehP[ARL~a0;+nTg-@]obez,,qnk6Hœ_J $)owuw@tfG]D%yas Oʊ+5"HqEB$~ ƙ(CxuHAb&oUZ:8sP~u :R {rz^ʚ'Rwvɵ?誄%w,ݥ3'*͞[aAҪXKU㩟X8<J5Q멾rA"1]Y;@ѰT13Ts[28 8I+$޳RED=u{Y U^'mq%ZFo$3wQޡڿzyPK"6Nܷ]ΤiVp(B+̋ҍu!RЩ2rB|{r:pO> :ˤ[򈡣,\GQ;pZav¥2OJ#Rz~d>i7Qr].euq)mS[6aQ `ENQdjlJӶaiNFx*w}i/q#?;/(w?Xks D7,AZQ1,Z◧(5uh]u3,&JJ<+^t^ZY1Z'P0P-$N>UylpMP9&5YHnD#Z c<*H\ 40K{F6=s. D[9};e;ꚤ܎0- .foLqF"+ʂsʣc';HK}~kFۙ̒V5.٨wmb*lZUi줟 OZc$f=+GL1Q͢ã~qMq|g$6 nB$V[`3;?5yKň /K59Jo}(MZ_0+8g3{:_S/PC~w5` C0S|R!&ƏE?u0g"1s솇yշ¿8a5A2Μ&`D hL ic$G2 -=A3 Sl2[VD2>>hEOsl{N8v%Uws ` (: Bω|9<̋Vsf3^Iz1_Tvrcs)"bdfK*QJɢkYu ޤ5~;aǐK1|^/c'iw'5PչZRaw%@n=Tc(?TOTsoXv`1y SI I<Cm44(]+vW%bu)݁M>_!aKWԔv^<$3Nw?Mw [ ƎX*2pGIUyi)T(P%ө=RCg$dkfb&'kg`4,)](lR Tt@VuA<34WxR^ TU>n\@X}n^'R԰h 6d#Ez0cOB@=e۶*$0O{u!17)H…`fqpuv}6pvM9M*YK&%S'4v*Te7WIĶOc#zG<.L&% =O&mNYj 9}ݞ_]AZ*\[ab.|Dz6^Wn(- [<(=,ǕTbG@ 7JIVfYv}oYx&DkY GENYRfp*opbƞ:e(րٯ6|XjTҭÎ{:߅" zuO2qCo2&fW8gb4 ˞*>@_vݟLxߠ[oJ!XҝVD]aoQ ,M bIFuDZUqx>),ߜ!B)vt'}Æ@F =ӈ߫8\`T٢+yBBUO2[ܔz~N0óe׀ q$pOX$hP\ʵ6wj8և. ]:jW} b? W^eH,Z.*C.|87xLlL}RnF;b*Y2P&!pA1dβk͓p߂}˷N -fsp9 ;z&n gL.,!6Fqqqx> Q;reTJѢPR?2V:]9rٰ hz?2\L 346%NvPV$d4gH"xi y2g߭FݩHЌ0rė? {\صbkϲ>xCJLT괾e 9Ȋ_LW5$ñ5r %d8Ej@w9Î32ȵ2k3}HP-W̷Yz!8fML>"F;[9-*bd ܯZFNPLGn7E1ko^m#>T?^˻:=6Ml;W@.@0(3[f-wM_Ҳ0jok 9,# ,^j-2NS2rnv=]cil&2at"`JR;~YoW^¸ڡMbکlBԏ*[uZd%tIʔAѝ& y/oa[0@5`'Nout9KSDk;6KI$8% n9UQ\0ڷ`ZEVgN#-کM]^{ƿ5'!qX I"ѓ>}>|W[ f- 6tC'Q Ż ew{/L6!dyTD>AcU~K(& '2fDrǃ}MQ?jn#NJ OeqI8QnM'hi.3)QE~?e0rf51\:z`6CrO.0Ţ)^+/8 |o. sm,-#7r RW!#O:nsf]()҇=|,X Gv Ojnc@cyݭNbA2: sz I^"Qآap"ݜJ0\GAFF'/="ځ%}XPsV ̸[P#ms2ya"An[1쾳`x!r)p֨6ĵw +dBdݖԪm [=6hڎDM| bǤl=%59XsÀ܂L^XVCC vjA?9F(&EXKv} T7ElSYtDt*&oǴu@WR HD4, 8˥R]'w4Nt1g&f] L<}9l{"őbu0l>]4?L'{ti 2oFEẃR^' @IK}:[8;s_׿wA~؛f9KKz7(/'qI?5C@x1GC4hM!1ͣhwVgeqb*Q5S2 E!i7Uhc?"G|$PZ\rQoy@.i; Aʻ~Wt%0ިٯ[5>n+JpiS$pOX~q&oJHV՘N2\#Šͭ.:lIX<;͕(BAJ3zgh~ü^E^ Sֺ_%$:G$łdxFgQkZ2M)%>w*z4AݏW,_gLZ=H'֝Y;]nV+$^Ip-5K"# f3(kb=~*tGe3aՓ#ۜu}M6raس ֣;bq +d6`dծ &!T/8Qb3*2h-VQykMXܗ? ipVؿ< U΢/\1ksxmXpwE&tzνk8MH0߫ va1]1rR~l,AMpvͼoxi r?ڞFdG#@~$yr>h/ŶV!w|{%0If5;9Uds$@:8LcCUۋp^(UprlV'(5]$U+l?Vea!Bi34fYbgmVZ(6+ɮUO2jOQlnyBtX_C#Q 5(H(:g |J Tw*3Oà0|2ةqh2(TB梅GC kR71z# zu1=z ׊^  M\ǏݳORsH N0< bS(֜Vz3sP:Ԡ!=2 ւ!I8WMkZ=3ezB8|_sQY6:xrAv-ku"G͒}=PMwGQj~䗯,KRheQn zX%SyYzKq"HmTK6vRv̊o~oiJ S .mrF:4Oo@:b G}kr^HifPo5yDXq)9* V輈L@6d1ĿLaމNL9%[WH0榲Dh?pRM6vOO ]T]} zFUs-<;yQo=hM;~٢O:9 A z ǚY:FPba5@"+[Q]@hЄdȤ5wG}Q'!mZ)lO62]'uݿD_I}bMlX:B]+CCXq\ }2,bdx"Rj&G($)zSȗ.=Ĉn=cq*QCblj< G*] -7z]S@Y;Z@1Ὸh=P BJk_w*)U)M |;^Q0Oۆv)wV+Kk)G3RU;G=3Q{ݣ^5E]0S:_5pſ8P96mqcmT|zb#D= :y eo{2zhCIhK&lDgVR}+PJ:C°W2Wu0n s3L^Ta6Qūg駢XCmھ7CGZϊMd.CoIx1wr4b7+L>k0 Ft3A_(?rB YcY)fA_)m*181z#4ɶ,aW+$ t4۬-H'v6Xz?@Ko&'m-%SI=gO~g-LDXm>̨ TXypBkv#1~#ņ*+C*}u{0,v}ZO̞t{r֖df.vԘW&ZJ GBos#FNu^L/44NKeP!G>hHDFRUvؾ'8" @~]e9Nz(QLY#mαE$=uXzyJCn""%W(x4pJ׼ӫq%)6zyeUBy Zv48@nC>[Ƃ_"#>)l5DiU{Dr '*01mQn$=|l~XVʯ Egܢ>R Ɂ8\#"3.3MÌ36&O΃FR72h+bS0Gu>-Rjx㊬nnul=깍&rr;tYwI`@iQ &D 7Q/{> zV^g(thia0'*WR=hvy5n_c{GH#CH046K{ O&FT0lDh>dG0XtT~ֿWQz`Z}kDft 1SAU;N]6Wc+ X9Cm숤At޳ʇ$81*lz_@J~ ])=ǯe &P{6P؄Dd 'LW8ݨ&6G39W)ہu,yR- yE#GfR܈O[ۆ,|m MYTL1>ygk&/( @ Xr>~FyDbhyn(T ۾1ۋd\B Ue,7Q@ s ge,룂ޔdW~y~OTRȊkWKm QciH' 0TNǼ.(:" #8Z`b˜ ]-@0ԯ9}*L \$pi(@ 6vwA{XKN61O .o6gERC\ybH 8`M9S\*Hi垷NEy%RϾ*,xZ%FĹ4F] YCYf$Pd݌q~12jώ&,iW;߫v_BFb/ 0! h0m^mSzX ˷%t #@sJzY]e~%fQ[ "-MWĦ՗Sʿ"=b \B  O^j=cɕ@;sRʹNz1_N*H Mg>_&zMm?1碑a:oo1FwF\2d^>MMáCt%+ f֭B8b3]d1'<0<26yzC !3UM6zWFtDT4#d+)qxT:S,<2o!A1$,Qﺨd )uӞK Ӥ9HJŐOY$USL|%I=vxJ!c" p{u Cr5Gin;7| ŁD^WS`NEQURa ċ*UY}όMrEuO[s,0o[[":MYKW_"HpCꋙ(*];Ùk F]>r-lf\榒m@svQs iUQ;|DfقsCR 3VmO,yW)H U\!{5, X1'fWޖQY5ȭAHK`M4`/ަ#oQ<-鑛iT@h/Wk]ь;j3G,V L;,C{LY_J'$7#ՓSܡXzp9<ҒX.H6 a ;jk1>XE;s"P'?Fzr}c]UЯO{: 1.FF(wW&*tN ܩOma 5y,Bi o@aez?8M<CZw!K) V<(ѥ?qƷ= :C3 wtj:jT6WU!#W׭8-o4#8-EjTk<-M w0 #PA/v/cT#h>t࠰f}[ ui%M-D1ȴ<.n0d= =Tg2X`KhLj [N(+[gzkpQYfNrZh `o05Ʒ˼)vi"dpvv; tm[u+%M-= asY1r*|C#%eV)1;gfk.PӴfY {\ms'~لowvC,;gEiz_!Lpd#rXzو'얈ژoc+,I"/ؙkD(`V=Mj *n;_Z IeQ# b7 [XsD: r{0L¼x^XЭ@;ڳ."ix2r<>[ 6ya]PڛB2*Z1~<#'T fwZ<ȿ!:Ht^w& ,yg7:+J3$rSe%]`?'`$l@bb)tk ^] Kg2EpPY s#p[N0Vc~VOO {o}&~9gEIRv(‹;IrpT@zpX "OpPbPa>Ϡq:%ͳ(`N_4Z$_;8Pȩ}Z,UL]15[R7h;mF *Zb tdlZm Wc!,889-/xʰQGd ?XqPg϶MK}/}ֶ^O$Cyg:<aEIѦ9sqԦ/^|drv8 3U;G4ƬN?3L.p$SLaܽ# `oqkNUDufZ ׽ϖI!1%cdXL;V.ܚ2)zWUED+0 'bK)|<ҎHOQ}f(Z*uN$fM. ‚xDžs`E*2EW8bMHfL|LVߟEڍ H Yng֊>Zɛ7uL S 4Hq (9j~_ $hǕ;tWpl(vK>~x'B(U8]ylTj}gǮQf@ԺgGlŬ2`0[@.T߫Ɠlfs!%&!zV%`bQLۆ$ΘZmC.~x\c> /(j\[?i9*qO>unbyg1fNpa=?)H(;@)TOgaM c/cg;nm|;@.+yrcp((NʜHAgS]C|@^!|]p? Ly.׆zֿ(kͻt6Tn\1G^iDNUo;}'$0{$#EMѬ "=@0pD[-vIp"[hhT+')w-wŽۍB!r*ǣ`v؊ᬅGI4<0~i׺P-b/&[ZeP{"~O _^CTv1R^6=BSpK>GDN JWW*Ta~nE-͋ P}]~ڑrzϿ,-{΄ݮ|\4{0o1y7pJ2z! ͩJ 2"0spPuZN~k}j|z܏lZ6?/8[vfNt7VCg2Bqm*{ \XG󗈦]Ř!cy'p\r&yipmVɩznSC>UYJVG@a\XJmcBn )7H!;zltnZwgsp4ayIjuRcT;XRLG:ZfvIPeaEh2}J/H"?fǹ_ Jܯ_cb"< 380S2ł֥̀as]#!eۊ$v=waiT jAʷS`U7^yR##Onݓ?LzXQna`F ke}J2[x\^!KNVg=QM;ZQ,l*R]{]po>p+Dg/d9 8^|o3Tyņ/?qUm;OO39*RCDyf$RrɲҔ vrҦHw(Vd,E{pD8mj=,vrKkwgHax#l|Rޕ5DGIJk2e@> q9Hnлx:QTm`xF!Na k,N !:#@J'̥,>@.Ե{X w,!>}h|;=Y `^U .?>g[(जTaC9&[;qN\\ǿ*ķ=h=A҉ 넁u\duOR,xq?(~8KCʕxݩڶ՛WD',m .Z#=~l/0ص?uƤ(aQ/`^;dTt\+O*ňۇ衯fzJ53"œh+7BDxAmٿ|9_2aШ ;D{P~@'(.d|]+a܄y;,>bl P̀=<"vQ&\oV*=T8| Ho.Q4> h}?A?59" ᰳ SBz\AJC2G9j$kQAt}+O.[,y P:j,t-Pq/ӋtSh̲ST=mBNs-U:mnkpUIGj[!?tzSIXgcn_x[< R&)):tn4 ^s3]lLf3HG㫵%a S_$H{0 *`)4|+5Z/e$5 R8;qӊWry85 +KPx\NjBD A[sv]^=uU.P )9KcX-FynfxיOaYfZ$ |H-  IT J7"mV Je1ctb27QeDž.0qiQi2\wyiμ[/:55@co8=i䜛ό.v;a}ꑙp)bcݧiioyTXԀI($`,rl}kb:ȇ2țV?$Ӊ]Ϡb)c9kބ̈́Ffa2YudI50#>wvIx%~#0NxғZ+DYAb$}e7d2qLCa/<2/(A{ٓv5W~0Rj/27b