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 454T ; HOL-Nominal-Examples:threads=6elapsed=364.511cpu=1369.136gc=119.496factor=3.767zXZִF! ]ŗXf1-q恈ބԍW_8Fa/G`|X&9围P X;ٵX9ʀu2&kJᔲSQZP{ȷ<ugQa 8=-Z ymW9Xyt%ap¼7GD 8H<2MN4R$o:@ieSP LO,|rrW\@~h~z҇O ezgrbZU(e_j2?z=[x܇~hA{5Yb\ y:b^"TDs64,_0|*yՠab@c26њ\~>L(E8 ;_$&G'}t Vy *`Tǰ#DgܡAO(W=d+~ΈoI|| `NHВ}:4?U~sӰ`bB:2}ߍwl {ܖ$1*\{ڠ}n̲Kʳ` /I<G&\2"%ٯ'粃#_|zh^ozV~NSE;|iIo,LZ?+LJ }O"P=h a%EF ZVBD@2L2' յG°=ȱl\P-TC. etrlM7GO)/ F C c9l4R3yDIHq!?8x?uS-̯\jrvG`w>$;WD29* ;'Sˊ,;[;c+2iY md}%jy-*kσ*&g<3#Gqzo,;VCц紊_y94\q_(UغƜ0ýTK&6W]Ttck N3pN_۞!7Z'_K|*?N3ZF&E ܊`r/x*X:$mnu#Zc ;_a7~[jE?g{Z0TلUj~&z+R` 9?KN(lV^@O c\`89kѐًhT.|V QV-Q$79xŮ/cda]z~6Sa15M:YdV4`7UuWa/,O58.=(]* *:K_aH|p=]rꂭB(2Jbw\VO=n7r˜:Cl#pPuҔL_Mu#rYL`+kxPlB l8+X"[I:͘5ⴢf"K:C/iGozWOïx5Hi!2/1}QLL9r N(#[ht!'wsQngDmE1̣Yn{ĩ>D{^zWUg1ZEcffׁ-EKWx&(<_?6>I# etRzb>$D[>2:Br.5tyYEJز$07}4*N O/k|ܔs_aWFƈs1)VfX\%fȮ)%APh:bޭ)U^eQBX >7,|H-_oWKTPJrI{cFxq!8* / b{oe:fRTQ^LRrvk޵Ku {Ig.}*V_VtcJ~|Ay[g>ABUq0RViK]R _nK.U>h}R54gc,p!}p, kE];?Lex9(2&$ղ=HYLRgh@@STc͉iCK,Hs@kH#v ~~1*I$& jHg)W\)u?Vǚ~)z^ 2SWשQx8)1H?O" g8]V VJmޯ\{uW$tUČ./~ז 2Ti\WrS^#D* r RiQ2fB0 !#} o&uMOl}%pZ b`o֍z~ r#D+e&m㽓ujo 橰H{X`bhO8:fF 35\)'i1{h={& ZY5vɼ }Q u֖q[Rw-:"$nK25 JH p 9/_MkUO=Ό]B߄a.yJ0% YG|EDžIE;XPkܞהۂȰ%JGCBxeأkw<.k >A `?mO*uy< 3OpiI숟?u8KAL-I9wOf}cF$UbU_)['ۊ^du4'=eW 57wi~"BP!/y$"h!=R:KprYx˴OֽJ~߯X:NOm8irV(}o@uqѾei 7=CeEShicUdqGTB&k*[ k^4&D\_2 2M&"\ӬɈyZLVBı1Ƥ{] -;&O 9g s~Q7dmlb`-$7zx~y%hS :toC }ɔ7erWLH޸(@1y{+n|\Dʆ7~!ql*ҭH.k&qѾ?@?hW?|r {2#uD1ME o!:Ζ?Y}vB "],#.>(fsZLn_pY}ٯ[*|㹬.E<&C,<=!1lg]-kA?`F'%8)\nq*GOn~3B]j.P>bf}b=>}J?_o7cWʺ`9Іʤ]<F쯝EMqj7ކ|:]4,JC0?Ɩ%3R3YT쐜 4j;Our8^|4W£l--*J.#saH,5x饀K>bm[z.'V$-~RޣwLS+g6HF9m`rz2gڵnHhߡ ~[9/6 !%:xr d*}. ЉLʤzucHAۚe6-nJ&ڛtM؃ Zeӡt.Z fVQj! m3TĵŇJO !~QdytStS(/J$! [U2 8kn^;_#mS0H-L8 |I#6?VdfFILLOx?-h/!/($'jsA 7(P\PLwkVÍZ=ţ4IςsQɵK*T"R|Y%Ə $ ѻ+g 7& 9y9O>ߢi5h)$ymĨaOb1*\CfLFzwq[e"RO4v%kXi23@)&ق@u]ϡ!C#lv"z >'i+S%!Gwn/ 'c%&tk/>ϛ[PKЇX3ÖAMfp@CJ]̑ζ` I#,r"z8C-ZN?%9{'C@EX3B7\pF_QkZ*Zӏ*^q"EЄ-c2>K9h+7Wx{ bV]lMeGű|H|`RX6cZIEQ&SدhI3"]X!x0(r mKgducա{˺##%&I$P9xt PUh"CvdZ",5=amA)l0"cA{8*xx>@D騩E?Tr@0Ĥo}@F9?B^s(a'w?Q5 h$!&3bPY䉗,*n !QwdAp[!q ڢu@U|U/rRs=ʄbi8ؒqp|wǣSz{K+lP.9ʖ pKk~P ~Q[q]Jns^ZZBz$lǞ ,,sbޫ]fVuA50C͡ܞi&a6Ӽt>:^)Ƥ54 46T 7}==qi" = v\)91V-`^IZ,j"}N~An !41,J=)TfԷ.hSq1|zt;\͸ "V!NW|#RB@Q2\Ԁey^&4GU; #2f .l \Ǚw*cGP'-T\eģ@FQ.?aY`a̠-kJ qFU;lOQ I{-ۺjGN=q+XdǓM*EZbD4?oHCmJG/5?X4|J*r rE8kEە4qb|/(*(z|*>UVԱGsBUǘ%'dt %ȩ /_[^i(Fz;3JAv6sQlM9k#Sz9cj~Pɯ|6[="VyˤE,!MXaPcF^B6 7D ,9 XӥLM UnGd0p);gھrrY]W0 r]!2:Ouqzͳ8k}.lP{z]/$C ՚0h!L<'g(m+`1`2G72ʒkPX䬗dw6A lq,X}/Ks됿B49{ư|GWnƪ̨!mRP$×qww8JXK}4?KAn$ X}i:؈Ot 8o$a GrF>79ľ3rl55C9CN3Fv# y33f"i[GKbdz>'&C|ذ@ح7bʘ4: 7&,v2g.CNK 2zĜ1/(Z?XXDy=&e9)`Nԝybi _f!f &Ζ u2?*>^[= ܔKni%4vc`@ zJg0K c`1v'}QRK[ \l;ņf]~ѫ4^ hc˰zy&}GLq؝6bgmk(s]RwTKFql K^Ǽ:`Igs7@yi\ѹ9t7C(?֢kgYZ7zXZִF! 2V!]ŗXi%6U1tO]}ty jbk:Fa[{C3u+т8Ey#5Y+HX֏y/xocPCm!iΞ"wuIK[b,x˙k6NrofAjEF(t&Ӏf6v*«Z,>.sR[qG ljr |Сv$f/cnXzo֮՜ֈo |1iŹn2O̔b_TGsg,/—)(`|6g Λ.$ @8`K7-?$0 `߫K WDu;Y*^(q'̗UpXOSzdbTaioVъ\*~9OgBPafU a4KBdwҷE(~| dSi%Jٛa֛Iem5ͨST `49YV14K s 2ڹJ*~DZנ=0%c\ Wolj3cm{p`aOiWhl+iSNN4/ ė>y?lbo&uO8)󟳙4Nk.\:o?I8gqOw/"ewl'It&ZhDF&Ǵ|g녦\x®e.0Z2c a\KǺ/\K{ J=#? 2y~j67py%JyO Wբm߮Cu ѿ^.UdQ{@3D }:x3 UͿoعwMY87(izuGgż0g`8P;( J Z 㖪j,w<`513 !ނ+ږ>"'7t/d?mQ !?㾀Ne(Rx~xmUA``H.v Ly{=}f3l͋J3fþ:\=mAU.^aʠz+Y*۞Dc/tz+G%[IKF&):~g$Wc=qL2ʰV3ϩrzdǀ`Y}g-6}m:,%G :/b-dV=0 qI{lBb]mjAƁ/רpa29see]>@\.W%ȃs'm.wp#`יinW$I 5&"/?^BnXbСtjBg ۹:TUPA̳݌)/p/'8v6+O&C{"s"|y` <CW&Y{XI˺̯cd[I3#ɀp$U{ eR}6}Y#kÑCL-X\F8Va]{n 7G}h˨ΏtmDTHܵU H9sS ur^3y}CK"Ƚ"fESx%\kـ3k#xt'%q`p%':0shm@-tnM]@Usˑ*93h!WgXc[fUr(LrL#PС re"5ZOr&$5WYbi ,Hec& |o<\.)s5{rPҸUxv迹F1^FxP'1;yIh"רYi ,]R(DVW`td Kv(C(n88{ÊWRC5>'-+:k7ܚFḪxЌ= WXNV 4#y#vf%A{+bW3XGWY5{(v9J ظkzci$"vG>R DoÀKUde,̶-0@[(2kB^XK!,f#Ownf?V}(_:SIw'iDδۺnC:C5cwE$\tW`y"ݼLjY_Tk& 2DgPRG|O&gCisʽ9U\|zԈ 33';E4+d2SQ }4#̋ ;q qoe>vȜ}{WW229->Hmt;;}Ts7`#3!q ٞx&Y|%k]XLBA?AD:g";_Q1Wd`)ۚ|~7|k0`=AU)N#Z C_p[U٘:AI]Hrg %N|@"d<e*p-z0iyjL;s)O6Q7| { ~SZcಟdg S#9Yy.Zԛ"TL(GkU#ݣaM~șRLsQْFN u.u6n.5մTUNBHDں]L|K"ȓֺP~I曖Ć$q3@hsa߽|p${ȶ2gl(05Xώvqs|-!ߧ<300.*1c͏q x_[^cʁ<4.g&8U\y$Wg[TQ7:]3hS\1'/+NJͲA@P2a#z/7ȹJ(;$N~Ǥ*y^h KJ)&8,΂4`|M9Q^{7%* (e=饝LH.,ۚ?;% R&ly;hn_ҡbMmSoGr]jKhs pԹ$EpR]/r :{x&V^k*?Ⴭ<d=yK7>-o\haۏk_XpnC(!|1x@\yթ46q| 9u B<&SCXFBwjlV|HOi1u?rS{\\lmMO:'OHv"RZ- 2!l' DCYvS:Ieُp0!ҤcP|+uvjET,~ߔ^ 3 !G=$5:˥;Y$'ύV3Q(ҭWjNІ6c&)S)7* zZ)Y֮96LZB|5zsKhHV-N,qm,IЍ@'xJNbm]]/Q-O'y )r/<'+7FNA2?S6`۹Q1nqi+\O4\}Qaf`7pK}d*5i\`)d"rLyܛ[Lx֓*K?xYIYƁ @@ՐG B[$h,U I?(§/ +dmB-"v*!1)e?S_DUQf% |35Ly4]!ym*%!]s¨!s>BNh5 #i^^3fS"ͼOʶ\ OΊ Q]M7+%xrګ_FS$D5p߆';^dkEXGS@eZa2Yy,C8y/:4xA" [{2 lCu?.c4ber&}xrAW;[]Ԣ׌KdviiiY:QFxX2Dhz4TD*hj:pzMO-9?$ѧ.&)k(H}+D0shR$5ӻnBk.б~=$gaK4[VvG6]]Us7W@%\%,z4!efro*A)f]LmLT ][Ãan;?U]Ј/)2V$m<g[P?.(z#3@Az~D6nI_oBQLZUBYyŃN(88YT#mC( N*GF;l:YW5>Jv0&D 5#c"5KQ>&㢧?_ |ϸloHa-J<|zx1;=(|lmQsW8M?~ OvlnIgSIDnj3hvslVčb~4yMQ݌6!&ʋ|ASwu],i!,@yl?ec{_k,iœ.2+eyR:Lľ{~*u %FPhw o\r:Lf1gnCMd98KGAF1 RS 4b6B0dHH3:)C@D.;An3~ !g Rq.\ [୽hB`x-ܫyڹlC`ǢuԮ/<P6"@5sl")bru3&I/s\l==D֍Ox[D8E2gs4*8 ٫-*AۦZSr1X>pu|$ o{3/KRmx4+ nemX3ŬM}=nR`d<4ܚ5ÀZ!-&kùs.kkj/ѓfZU,vy2HA[iC#<#lh y+b=[%sp#zP;"٣p,2ϊP6vLݎѝ Y ! C"2N\2$"/m v렫3әa>A9{p^xՖJW@A0e3SV.t,&&K?}/k(öŎeټ~ EK%^}ǾcA!YȽeoaK''nȭEUQ"&z k&ª+-:c(l)/-aĔvB%Pva0wOݾKf-9mPK\1aS&H-KpRz]RAfϨ3DfJ)VbB&NTjݺU]IIFa[3\E$hFoU k A_xRXtUu5fG=+Ga%?E<8?im]u'qxvZEHĒQMjۑR7zaylIcdb,Qyjm葮8\>JaAzmX囬lLZSF}y4upҧor sE0EچjG)T:w &9Om'gQ7&:pv,C0 [u*g*D&{}"Z0![_` ReLRfRop&a#BL8^[bLI@da\;lƛ`)tbg Z,iVF-v*P^|nHldyr.~UIاC0[@)N{jl"$JFye9KQ6b[I%.>$8%?~٢u,PWG錩( ;{-;n!!غ^$)ME1u -r0rz_]ΚAqлS5%h 8IvԆĖg` >9@_u-2쬛DA\B,SI}b.U0I*d#s=Yr[4Vn0dMp]7$Vj\g=Zk#޸i!iVDr;cx/tu'\Q9L= &fi)U5CY9R@YV՘Bg|`,ge5?Z5;Ŧ-,`ԯLS7U-,uf@_T " oJwrE%4c×g0> ]9ӡw2# *H|EJ^h 0:(:F:o8ډ5sjD/Ůln:ܕ]>t_aYtw%~.iC`FP]oYܚtj)јEUD+SD܋%3CR)8z%68^5U^}OPI&'c] VqJfr픪a ʢDwJqJYkg@yW۶_Q:+dQP AqOTI~<:8"ˣk$[nPwO;VWsሃ[{}OHd !Jۈ(?^nW圲Zi?Xy"+8l/ ~[<=_g{kYuDP^dFFgvg}o aUCn.+c4s:L©^̨w'( T,WL^P225՘GZVN,aol> ~FD*F}ˡKL'r_)r@⼻pZZXgH Jb UoBr ,:3 ar4%p `ypd%uVǡ`Z _ocZ5Q_ z>|9a;C#@U&* ~GxAݟܳ+qoak=d0UEƲ Z _OL,cKR }jCgiQ=:$F>~F'G*YG[=NLUCe6BEV@Sg ""/7N1M^y-$Es;vѲ5)Ù\20|}9:|Ƞ/}t_L-Yб#R%2m!:$ڷ;̨`+Ikdxd;W+^3ZZPxn@Ƞ/g ̃b+uqU-_2'b:M'MNU,2Mm)?(?7ʢ^3h6c)?~J8sj]^ M@7FhL[xڴclιg3}GocBnҎ !)ޅzC]1Dj ׀;ugGيΑۍXP !vuSxV4x*w Н~@Ke ӊOd䛥z)_8)&NpinZ$WKBD/xCxVt^P-A)HdZ,ׄyU>eh > 0Rfž4 fIo3M( {ׁ@2'ͦ7VXF=σJ>P>kٷ< ,.GE̒6!X>ZNo&tc*'[zm]QT0Jy%X8!Jz#?#7Rt\ @!۳=agyIrξx^<|S'EdA}TM(Me3*>Л֠%ZM.(/(y%0?+kObIu2q6r${4 +֊0oY2,ZDPZ`&a*U(k|4/˄кv A&eTۅ&L7V FTV%$,4kߓOE_Ыÿ6F?۶7;XP "K7O\KSh[1@]}R *Bsg#Y "nxɴ+W59~SNVO#!Ƞ:MÀ&2U23!Gv_v2.Mb³gos;"2"X8󳺠`wŌ~u3%{;wL>ہ~5̢֢}n #|aVܐEV<}DrY`l_)̔Dgnl**CEOt~dW Uɽ bx%, h!f-)a9]Ɵ|: }p`hL<*ǟS~#j0b043[߽MW 1S^[1rz; .]=˴]Mv@mnFto5t2ޛ*} l~!A\c~r0,6~oL۶")DEM"6 DGT S4#aLH?CƇ1LS9=D Gu  y\)s!Njf~ qGmh@ΖGU?\4;֘t^رnY:I:4~ 1/^8SmK7q(!DӍSլ G桠$BEE E &\WdF8,-䝐s35J;UYf#l2؉ڽ5۳wIZajt&k/tGfEuZH.$csEZe/f #48ȼ,_m{Q[5lvzt3 3`!*V (#2g2H--~dg#)ȋ wî.M +8@.1MKBF]͋|qϤl1?dz}M:a*#5FKEAkL5aڋ̦ԟz- }&˽mB>\أP=QϽ7(Ƅkh(uQiO#xd/1įC S6TYeА!rcFu< k?﵀!YLn08#ԃQrhu*7?JH&S\|XbXz@ez1+-,0ųϩӘ-(u#ya%n$攠Gy~͓a|>8(aD0ʉPm04 ÚFl|Ɛί#f:ٜ=^L`|hU%UA@q  @\OIx7{VR#R%z;mZJ7ۣQzONq]*W0Q P\D@C{WAp T{V{1+sFuH(r {K`%0s\uN]$Ǣt6<jW3~(3pE&Ŷvi?tT*`-Ϸgz9j# d|³pߖp')mE]vJ>\l}(Qcs楢ܾg|z%:p=Ky!!@-JʌC Qd}kr۲P@X\bi.פW!>dʇE>ذ&~[xujjoU趆eEejPEWܒw#gFǫm"/J`BѸ,>B0/7>`I=`[_]BkXťL Jz??iIs8- -5>Zdd:iFHPa#ww{S:^Ls?[9R7Xoqu̫ŷJf C qpK=Xۍ@6J+YVeLsfcڷ'x3INQv-Lk6Jg+#[,!Q|)PpE\pMQGNisR{ \r_^"@Jzu[#KVb}'q s} 3Y Fozw9_5N.V4Iafx{X CZ;@i =&7[)x=.@{T<͸I5c&iib'F-u 8QoRVf"^ޜ26-E5ԅ!/Tj式sA>W:KXFO3CG`O`9r@c.8K?RXbTѮ<]W.#n]_b?nE;gYNk`)>y!/G2& 6)}ha!zA'mK4YܑYxz^X}kJRqٌaXi'x`tI2uJvJ\kE؜lnxyvL~N>WKujRIO.-gQsw烕|ͩ7B#"NIl[6a (r[T~JקW/tHRB2 B)9Uw<`e.4o d" ])U_\g~\]?7^d\~, 8O!2%ggWL%s.׉<[jۊ:k4U0<&BJ'rʻxש}b|$ԨǖGE³ [W|QU711~`-?+AV[>_"1̊7GٶhHpf)fKcf0'OOxx=GO>~5"` ~/$'`%=xSYiw)ŗ.{hwt"tD_x,tԵPYJ}+ɕG0Tj4%wAtW;/E IՐ9%%*"En-HHy$4&}_p_N"VϊMvkPQ='o?XTLޚ+#9ґv,2T+/J{(A򭰢qRm蚆2`uw0Cm}FӞo@rj1.q*?weh̯_AXc C9h5d,×"@Kn7 ?4Lqr}ArMҜ6r{j-gِnzan BcrrPif`}[7C핹YH|-tqMad CNXD$ F6H;ŪJ+KX#i#G4Gk_2J#)ު|iuhM^uLz@#j薺hrLcΫCRo6d0,,8lp;Y؎r+ԅV0H 8N#Fߤ4|8( :By̰ Vf!zL822E)9 /N2 wvʹx}-0*_11Uh)ʎ)wZn$0f lx* v(Gq򾎼f&`q}G,&i]WP&93;}_4m Yڹ1Q$7`⓯{ww`LFR7a#Ny{DyƎA`RY)6Y%hN#^&hZ| _ dsFG;1|\LVRvg&SWѢv^I>T 7*;Hl㊱\-Ȏij} =#Xz%,:}L4uH @ޗ w4iF?MJ9p#e@V۫ 3צ:>y/W<jVU찮#H@)㼧3#FZHgvZӤa ֳ[V/;O.f۵MhGdG8ZYN2xkH"0ZX [\ ֵgR+4PYSÝm eF2/XEĝiq:,%aIEdpD*"Iiaǘ^5p,v )S}I8ӡzKU[pUb*.yPU^ J>>:={2MA+p#v+S2y`nM},ʃDdDjOl2)U:#1Z<wKt~~B I1nmN>R)mU~b<H?2+X:އn R9p.m7=x^sJ.egm?א݆eS?YɻD㎷cϤ`T30ͳpN(zN6R0> ,"mM1fsy1d]=u)Sͯ$nQMmIβk/>cCGП.HT+KE&L&rDL qz[ 4%I:Po1 {GR>gMs67f1OkbOOǖZq*bPtkT$x;>mvԄ,)tS:kSE9⤼_DThꚬg ' gGt13rߨ%p^3\> N]YI&=+k VNՄhcr(EȻ:EBW=4GU˷,~@1f 0Ju}zWz|v#'Om ;VgB;6 KhMs@[{0uꢵ,pZ++v-UZ#̯T˚iHD}"쨞k1~~̷,U_ m1V3MdKMkN$%B)e{މhZyޣ5]{6S'MF'Mda-B[?E³`z\:[r$KNg0B<W)> LkN7F8o$S]uurb+F <0r^,k=uQ W:b(icr>kX3P8ŒtOr'IlҒh(sMM}U~|J0xzr@C,͗iѐ[AF Q].L.8xR7vmW)>kk4"[8ke W! V(1 pU8`I Q!UqUUd䧵t VTz!3J 9HT0x(\feIEK'=c&v$WrC#C#da)V)~3Q4脟 5i6:Q,^ej(aZl<ET8x_L0ɽA? ?/gx9j\齆SXQ:F Ah]ޱ"fUߠսPi6J%DWlEoa4Bs隳`#56C9H`ןk]" HRR;ttNXw@zi*GEh~֩fchYWw30=`{4 c4o7VxYnz7h!SRْOL#srzfwb+ /1gH\8AC=Dqŀob'?]|B^ ",ـ gɇܔyۛUc)ް>WoxakƨʱKwl7@Ci`b)'Q'Ξf\+]p:[)&I_$f>U[/dT $c5   N튒 \YqEܪنwxl\dR;;x;:$m.Cbܽ m*M<.v,d#M~mja=\v-,2zHh`AsN#mN%SkkBXZ6d(^^SWf^9R_s&Ë쓖3\_Ů3s==V5sw^X5Y7P88v@ ,S2^4Z_Rv=͋%e\UT6te'>TֈXN oq{+mBjD6"k,rtv^j=3ӨES ;&Up 긣[%aE`SqHC4uBնN˻``ig9 k&lȩ FIx綇E?/ <m+82.n&l_*.1 U£Pq x*z^u>q5װ n-lpӞb Ǝ퓠z?&wc:+MdɳD`+)a֙\;r-Jnu4QuNRf9XGo;vtsϤµn(6xB ,Xj5mX Fo˪TA2hkҗO,q~iXRn }\vtT.=A&oB"M%j F9 2ڄX8f\~'q*5e2W:졭a(/ ]w߶t4j޳$"7BYQmFLs*Zq(`ϊ׾虭?%)axG w~s# XN1>wqv% Ղ^e:8(aQkBȑjG:&&.&h>p̎< o 0ϿkvA !_pcoJF5Ï"VqdG:O0 |l]aS~>@w滂R xGyD ̪ s93PaNTDwE-Qm'0':Y|_(Ns*ײL]*YжS%8>g]b.OǸb[T#H؛/=2 i)mdvGLzaY,0_ H#(/*u!x_9t?vave!3? O6q6iJHNrOag A6)%1MJ|4pi-ߨ]ϲSADLtA?M;GmG[($`QM&2AqK;\A]e6U KG5tp r6+ 3˞B:kG #?s0wyzr߈Ku}`71Q^-/-e-aT Hƙ@\\rBFyp 7*6" %_AA- N k$0! B;^AFeaЫ{^dt V| 5^Y0I}rVF5})^aV>3> b+2a;`Ư48ȑF%J*|}>q)2=t[oJ*fp޳% `P L#D%Ikm1lMWZ lC;Ï\u% 0xQ,t\WMIE-fFs9T#S >F96 KZ׹¯