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 x5T< ; HOL-Nominal-Examples:threads=6elapsed=419.626cpu=1544.392gc=130.096factor=3.687zXZִF! @"]ŗXf1-q恈ބԍW_8Fkw!39ڸɖZXmxa [U*U3.o$(@Uj9>ZiLj30XtYè: 5 L=N2r:)1MM4gH,>䳝wW=G Ǔ( =. uWϋLJHb$ h@Wc3voȄao3m被5Cssho* ٫&Bhׄ:|1ax̨ h8 euzc]5?TxOc]_5{ilh)+G\DU]zB5-8m)=줚sUuG1Z6 ݢfI"&(%@ƨ`W}ZL[ec1fa-?Ra?͋NedѩRN+}{hW~Gkp؄R"Q7^J{ii4B@+aA!]Mj r]fc1XxO`k:Xo`$3b|7ѡgb|QI,3wPky7nf 2F>=& Ru>@_»?+KvXV6JJV`ʕ]YCخ+yd -l]MZY٪4l%l&ȭU;?0"!G%ѺwW\n'] XJK8ֲߘ,~`EQĎI!\ Hl@D8+\롏s#?d2<`3RQ&yTMxk=E Y|P8 }ؘJ@50'=4KB|N TH 6]?tS-'4r_6Ždy] XlY!*sƸ#S- ×2sgY釓SI-UVQc \6y vcvR~NɶL윭/mMa"WCIv0é3 @y]gH$>tK2Gx+9NoV+s SI u/heN{z[xIfv4~WLem-[g ,Y0yNE40CΒ#z0^60;5I(wҪ:-7D58% -8qLN,_71?D󘮋EdsWWFoq{c bS:dTDn*lso@eSZce7IbyF%/.6X)bC!mocbR a5l|/&]T0 Yj`/=7R U{#Ra7Ph8BkQZ "nQ: %\A VvS=lX+*dJ0e;WvZWnc2*86MBn]ML=|π1\0ūtPIĠ?zvy"Bw57оdidb nLjDbd:'qdU`m[4MV&@n`$`֎rI /io7.p6IIGD>Bhv(a3Jfs\ tSz6MО})tWs.ys +.6d7p"~H9%+POWe{=dtACAaۢϒȾԳ ČktT{ u/t0-uS ol>=p]LQ^ֿ>ޡg靁FODO'#TᲙ_$j EN$Ҷ^NS.L>*N[,.6uq[Bє/%TAņm\Pܭ'E)$~ʌ=O >q^>Z7wv$~=6ko7emc.S،f\T|{sKNr̲UTzJVm(|cS,Ɣ†`Q{L&1qXh'i3!A=`~egrT!nŷ{xvC$Og8`aGK[5..wooA1<Aў+0(\F4qff׿n*[ Ճ0ѽWV'ɱI'fSPòyU-r5ܮkjHy̛+"֡҈T`1 N'bb~r(y"7g ]raBgG=66ׯ'z1ԧv#V[\a;1qq5oE xqa݅l {"!#IjVӼfgp~ MSƤ24&tΑjri1+p|,d:3a-KP%e˙} Q[L]-lB̅+A3D%DXD7ˢBCP@瑥 cx*K-Bvv@e#%# k0gYm\ǯ{UA 3o]]}Pzq2~#$9y ELXNYiyRXf0Ttg taYH`^o6>ΡOw{% uD:8f_t%ÅZ.^N }ѡ^U.w5id\ݫl:sؘXkÀSU=D׽:IS1؉́@`TU69b~ExE`2Zoam=pV=ԝ=V:sΑ5d]B:( X# ӑax' \$!bfGf8c:RPkMH jݽ3 ZtP<[޵g_ZaDga6vw"\C9[k̈|El:Qr/xB%kfh]Ϋu[},PEֺ-ob)OIawmDbZHקh;# >YKcwuMvw'QH|wk̮womLGJ/=.uZP9VHA_[Ѩ@IȇUɛ k]᧓~#$\D2(tNXFn2$=|">V~]iW?a~VKÇTPKUN5DLEM*?Mb m&O9 5KTM*=]/c sR9tQnUUȹĖ*nؾ4= L `Ee+|#–p|l}WQɗHhD+ؕe _%&Dص +fE'(κ`$Gur[3:Dy ͶW d&ZV6B8XbšJTP3<59멣sl'`}:!(A`PA vs^zǻ ԋsڛa@k ùҼT"ÃY'b4{vdп(Ư$>h>ȩ;/ ď]vgJ3J3L:#j>_ʊ%Aaɜ2-LHjF0mzIVpANvڇ.5ս=6>hPvm*-oP$_s=[x`J<𡒌򬁜ؽ i_jHgn`hS45?垢7HP2Je'cdma >.+!sRo_ ͩM.vwRZ4F.)#JM>YaXrg^FRg u[~EЍjhq(ϊ|5>,&i[R`F6ò.$Cj)MX;2oESTu n_PptxixmAuӫO-{oY,kؖBʆ=@(NZ4;.UPE8DG1¶s x\z͆{YfaR|nǹ<8+IQ|Rt;i?@/%d3ELiIU$'[!cX 8|,7FԚ:l?|ۓ^|+kX4@jX>^۩$hEXˈ,;t& |>JPT HA~᪯sEG}MUjPSÉ+!MZ\,y[ 70𭻠Z]U]^ES{6\DXʺr N"C v_ΕCLcWJAX~%X s"I~F.V~b3#V>W&'P$|m-7dd#k82*0C GS8.A>kii7(k{F⬱FIq ć確WZR{t(ÍMry]r(Oo_s`ohbSl_K.^ 0` ݩ 8BA*xT1Tv\70=ɒ V : OyO28U$`+2`)qVwt-I/]\w=`PxgQFy9bn9`\J :xub$7,ih z-f >]_2f|]Jr:Kn:".W׃7.?"תwۏ`巖Yuۖ:}nCcdGQt]~J,\:/Q&ACh7ka&lb&JL1 ^J|Osi퐳lKP&N.,%]Vd'Q5*ha?[O# J@yl-s~\PncóHaWLtԺ3)-=u;sZ=Z@G=]lqK|k iܫLJ*t;:*#/̙<QHL1}N鶨T]{ B"r9sd4)0GPCq|˞pa 0Zt_e3 j(ۗ1Cvb|o4?_ՏXcP7wk#bEk}Yo/uH$psCRrlR7S XwDث28-sֆ!*Pcq@hbs*GwYbP1XD/FҴof2QlX?P~zUs1 bҴGHB<` ХP էFS0,>ER3+UkvI<'C,0sv-Vuh$7`pHmԣzB:` QAgksj_fč1-֨څ=$8(=k)8{o6띆A&+S>l'{d\631^TkD")1.ddvXzwDE褾gYZ7zXZִF! |^]ŗXi%6nhY-сNƒjǝD,Ďw0²{YͻpTI rSGܔoΊ28q5?ZvBaFc΀ ޱA 1m$&fZFgB]ɉǼ4Vֿ;PFʴ35G`|:a^/R<z̝{Sp~>l5>0vd7W?&(D nV p_K,1V%)-ՎA]WlnIDbȬBuR/#fԻgSi텼$}˯|%B.~=RO`epHYyBJ & FU8 ةH͖tPGuA'exr"Kk_LY{"/.7n~u]iTBqGw+:kJcpÊS51ŁR1Vov8cXL:%{Q$j.~'k'F?;TEnI9NA9'.fVe8SwVN_x;*9dJ\Nd-癃cXx12Z':\F:#<8G4鬡9{cc[)2xJr[$|êqȾ%=:bu~/0gȠR{j5SY&cA ;}% }0tSZG K3,D>R5Tsz`+ߐB\\Q!O ld Py!*8EvG)lgwkʲӄV=b'`zԽ^)g`.;I =+w"qH[<8uE ]~VjQ9 <2{sI~DF%`j„74Ѷ$R+_ jP|H2򝮑u T]?4P!UԋnUOڒ7mmyV]<*0ptOG?[KFgB%HVTM8Uy;éxQ[%̛1p-?u 'q%H%,Aupa4jA=1%X{Q;? f[)*vae݁Jq t Ԫcr&SUB"{#ئ#Ԁ`&!rMQNx9sx'#DcǩGHbFޜj|'tT%/ 1ޝ$-b~\.~z=7We*;t9Uh aEI!{EW׭qtvHx`ʴyԋMF:_?*1ԅWՠ!}P}yrA|كwj; {Q{6utqT2#W0n7DAk%u¡欔-ipsyU,S[h9R+_ .ێc+tQg}% vR_+Ǘ6=/F'ڀOzKZ*>}Ocǝ?)&XOw 4@8L<6@iDԻTS1L,9ɹ?*<8q<ݍ5Շte"Yh!/H=+^ElC3u\|2 b }>ȊB,Jqe0 Uyh_?"[v2Ŭa"x3deb08+ãh!EˁzyOw|u୼gN(P=GE="}.쫨: cvQ 7:ۜWiJ@aos *6Kt>k+SRf:v/fuB6={JXZU3ch?*$x[m.䀨9:ǽ>erTfK K'^4%d<&+|Q7ra#J(ϣD fR'?KmDMFsU8B_^gD e<8oمRe(9ԉ n9%BMv84uY2r}af-JRkS|(f+wO#m54y6Bs?\պ@[Z3^lz~?th^`u/~uH>d-=]% hUoKK {A ۭ55dt9u wM:Jq/)տdBWGD^V< ~XP,~x ; Ovʉl2f>iqȟ>?-MVC2<*@Дw%9;ڕ:Z$?:-ɡglHi)/ pgl훀@ ZX]׹W]|B<5FO8 87DN"\;_anS o#Z]{``n ?fl%(b#;?dY(k7 ߣ҆.+"6꾯O}ο҈DߐW/6d iu)LMqt)[1}*S %Һ ^a)T=pGSp;;m.򘉇ؿm5M鿔s a+2k3S^/VlrMt4 YɊWUR~]?IUOމ]]wjLΚbYjΛ3a4 f'tvφ^h@ w7sޒQP߲yPlhHQy/LpKEnG{EE+:](y+; fsH9, |k-da:TgqqMrN}72PS-Gx@/u}9Mje/ˏ$?u`@WSdPA0+A"L h/\(2/:k';b3Q ԕVChL ÞqՀY4`S5x0O  WУoxNUl%y6CH֝rC5uk/G8Gr/HWudIkhڗ IWYItC}Mf2.:`9L )*8ؠcxx &^fA4Uo֯l57*BП3o YP[ HbBuPخV*ÈP[pd/X.ўU>E "5=&I eRnyXGl1.WƋomGWҼxrO%8*Y\^Zzq?lr`U+nY)(󱡿n#n{[Luϟ & h5NjiEe, 9kz-N&?*`w~VT@}ê/MQf =:WHcM&e>P(Áp*ʍdǍ Nnn]oOT'!bC O+y>Lu®!e!BN,(H QmVWVb{hդQ&Iׂ("`$O3RY]y6+^ %22Mz^:Bj> c)E$DBآӆV3(zr ϧ\e % [Hy-JL_oQ>_WbGY x֚ ԲW+E0f ;\>,W*#E5-5j{^\,01E{Oyس&*fyXj2q6.RYt:% saX\XlmqV%`]xVL\>j=qLd7[uNN;/my\uD]gHA7CN<pQs$9v8e~>[ ,S*"2_/[00S~0" fa, gaB`zb%cT'Ʊz)56ْY?ۣ-jQm82P7F(fqٮPn#t0Hc;)>pmF po"؏q#F hZ 8 X%h6`~ $٢3']Q+0xf' j¡Q!'+g0uNC/2Z[^"RA)a p| )inzRuz) ?:p: o0!'0eb۴+[I+zݒ݀T YM<f"e=_?Ќ}\2|e^ T\~'Z7L:Ӵ8T =Q;)wԹgԬEdw:.0Tnp!ɴį/d+oCL|jϤn] <`/!V`9`RNQ..JDHI-8G5Sn!`TqXu-FŦC;, {J=09Ӻ_@1oąܔX hMbhjӹۈ|yqf{ -g"lvE-S:hd;aC(rj/9Єiү _b%o}QoC7 YծGֳ HiqWI[j{,3g~\|tr%q5RLJlX3] "4{5;K9{x50b]Ά٣TpEB1´"L~4h%U+qeD6 7m>wHIc@ӔڷuLYÞ Yz#6üωJ3VqG?s>!Lol ng/h3y~ݔɪ=<0l( Q[O;l|6q>C!rRL0j&zMC]V2#J-dTeD.14d߽G1_o wI6AP2!沆p:PK?2hck| qҤVlڎzBRmɶΠυ#3laY L؛ Ib I[2;av\L2 ]&CXuK;&0۝ ndf_A bf3ڹ@[{ dKtף=U!-!_đO;@f0,m :/^IgU, H{ wv)m:ʛӤCy=J.O :@$.W̢X%mtwԂUT9v`j+ä؂3}M\/Cl Gk [IuF&  Vw(bCDubu~F `?X!|e(1 7H\5;1XsunJS)BC6"@ vyvnX d'A"VhLvbŭQ3OL+0JWy2&=geL]zkpZddָue#I(ֺ-2%[ 5u[ɖۭxT#Fr9f6X)ָVU0 !~F[PI[fL1o,?>x 2H|#K]¯^(+gOæI"u OQuա_颩A&l(r#ww`޴/žgн)"s˦n()d iMqf 9ë~gfڏތQAR>)A6L:L_c޷ڶ;a:ÅHa'aV\v+X)ҭ]gT~.FMTy;4-`ܢ\P-sx~l:>>"'2pak c0b>mBRJV!q"^͐8o8[qX{ITX̱Zm0C2`4SR鹸_+Lj18X׻W%E, ?өg ;Fx^(A0!p,9[zf IN\fx'F͇wW<9!fUfDRdɋb:LW&0M"w *DJ9|rE$ݪ}`lR<"V \D`X1=C N3Mp<(d,Sg̿ B?&1Ы{.P8(~YY7lBlXqy?羫mz!!XqվƤ|;LBYW:;+\TPeb*\qj4E|rH,\rTrbqC-m u1?`!*Q6״Jqh%m5 "%mÌENiƿ& PQo)Y|P(musPOzf~7d+ 랝5+BI*xV27;?ډX)Q{`;I kC۫Տ:HO89)LTa@0 z{$F͋aȝHٞ L Ś{8/!m)Bz9~9Fgf.bL=S)7]z{7^Z*2Xg[h/SDVd)e8[uHW~RMڈ_M!` @vu?T'֜ qEH}hRX-[ԸXbZ;`KHNu׿`^R'-l0V&,$>XUSx2`'C>*ތ8 5{Y[ytPD{y2%͢U& I {0s<. VeAgk@ZYQuÂ᧭|S{nϟ5"j\ُp/L*=~lW]O2uIR@H%O"P$?0h}ʈ@,Gz0ϻoy7f沚ޤ(K}}:x\p-o3Q2S. $6R(Ԫ6nt :PF=4> azG"{w^Q/5g+kʼI!_5h5p0޶``v߷f3Q@ sG B\ծkEnƃz$)ɏ7>| ڱ5oZ2kX%e ҅ɱQbaqxF!خUEĖ/rf4b5+rXx>i~5b˿#|M6,X;C`7d;MK\GU:8?s_6zEqeWG\@r|Y s6(//i'8!k8(xX=+K0g͊ ugQ9ʻŸ>[sĉxb c0J'0z̻W{Ӿ1/mpuM  ]T/qMhAǾ:+l]j'v.۳9>xG*Is'6 ؄`b[N | >e*0E54z8ܞ9%`L"p%H=t(u d{ӱYؖ0/B%n;1 QEn%h@,@GweԀEs.>I-:;Csg(:}C,^8Oj tgdNjd>O2E#X,KauKb@S&jq~g>2u [0C8+v. fjA)!䔥U }-R+O%:܃ݾuAFn!b%A" D,ѩ5ַwZQ*$)[˄y봏 u$HrMpcюP,Ӱ2m/8wSujE Ի)1:"{9O3E8%T Ap=0U}1馞n(d)2 ߗ;/k+`0ɕCn .!ft{Y|G;@V)Q4 9D9MrsA5JbHYjSYD?S>vE@SOfZ1|$`j&nK˨tZ5I.L\Q )wӂ ˛*Ql n}t ?jZa1Rqmq7ڣ+ڝFȥ^;BuC~~n7E DU Τ0nn-7,cp5m>tCFc-nn?U+p-RiYhaxw 5 EH6ԄNx&ٔ,e!Yu$-{ިL!FN^$nYAeTX֒:gߦ*]Jkǽɉ_9 V 6֏Zh.3y9&NvuA@kŊYr/N8WQ}e_m73xVP?"M Sfq"Τnm?+JQ pĥZY5қ~Z| JejO(Ws#fٽ#C 7c0 ܆Dgw! GUFZΧGk>j f M=kx m(:: 2W ѿIÇ:H'I3TQ-hsΏ3SgڃK IjݲO~=ez=e28cR좴fƞAIN T۲0mYӃp Fc'+Eo̚<";$m}F&w>^r[D}T`6zXO;]rPvq7q#8v@h5ž+Wg?pkZ#o 5;G {K-_*bRN a-dk o^YPb)D@ؾ>671rf݁Qv9 (x;e^B]ci 9TK&\M?{^B=!QW5;Q7™ԡ}MK #箕vzKO[w徉}yBȮ,N6O]/30UtGLUQb=Bt V!l|s~Vx^P>r/|̸RspЧjPT= ƞ<^T_oP7j4l3PMaS'a}v|(·9KL50J~=:#Gylx8V"sbh.X-$)@+rvqgUߓ[QuFh8rt:tW4rMҒ4V;ni Ȏ>m#v:&QIPxIJnSa8Lh~(`1Y>P3Ez\<)A* b1Y-^<,?T Ǹe:R%&&:(6C 2^|/wփ/LrCZСTdu@0qO붡ccCtljF R ϺDg{ J*Kx|np,#@o-Zadq9i㊹Z\H uضe sb4:xh&]'"8춱"jLq̢ydEm5Jzx]~d-UmD`}l+'^1HӨ<ᖖb,5n5~ʼn}T觅\璠>a>%tyVh~}&]Ĕ|vAk\.#QwS#:[J)@M&\' [Z[N:cO)o`̐$a=W=syެS墌%C̈́?RfsN!bqS)XòӰDM **Fh~K' wxܥHw9VlY]V/M'bϠ/v0 >vo7B% eYY*  *+gnH;'[Jk^ڠG<%wͽ]FFneb{kq5 >T}3Į Y]'YE4 4I=K3H{Pn [>hهLjR/8FO,6Wfs 뫭Z®gJwEƙ o@ّnD\Y֩.5XJ1#.5pQhYӋaui/6O۟&!G2tT+YSEc5j!TerՠWSk#[K~P+eUF#a`F_D7:\(% >wMrIz-ԍp34&=m^ yΎkBbYA#`z~TJE܃~ЃP ys]K~2tH3Ӥ>a5k#V  ohcj0/V+dD}*Ș)좯^ CmE$呀vi&w]7BQC;ɶter"ݪpCٿq>~/"D-]S=^^Y&&+[pvL(,^~Б+]^]WbD]>hB>+Wq#O_Y`s6;$˜oGټq;_y}-;)wg6wg -]DcNb]|S%v+WHAxz[c73P'Hf$w2GEx NN$-a9r$k>9R{AH;56&L%o ]-c9'@W{î|Vr>^\J55Q Yj9g/Jez; "WJ33L;N)pXǍKC$-2OOW$7'T%>I_-wuOy`<p*#!kπsˮk *`-/8UnmכW1ε:DTʡ<*>4UL ]O35uY>o(w] Eɚ 8fۊK^ c1ÖM\q¼EA*,6ǕRqVN 9h9*UD0M>Lp3/@=j܂bGt,I;;\Uy%"G`ق_H)AhZL`^؛.NI۟[soG*vq1UA>Dz J*0ԡp{QXF&|OT/D6^xQL6%^9*+7 4מ(5&O&R%5B/8b|1b)7ВWR@xaB@m\Z2ndH@k=,fv(|'qSrnl?JqeF͌zftA7  cGZޠIj- \Ȩe^3NuOZ7>Mv>INז8rS;Pj|#R+b *;k\ \Ӎ? K巫Kp--w9yeh_|Vej%6Ӳ'}J=C%[=[YE`EN'gF x챜=6p\td#HqwWT>7ƺ5tv~Gʒ5m Uoyq6 k \ }RX"D:i\)-;j1ߨi/IZXP{ տ)6,J݃~4^f1 AՁ]gֆY-bZ"Jbn.2b`o")}yV 6)Zwt]I$ߨN5)GYY~kPYG 3i 9jLi zF-ɔ!,M:*GuvXv߳;@(c{ Zw_e%5+ hKh]xlu:^}FaUQ ʑ"<'e !,u Lʰ"˰^ۡ[*3Cy zK;fLG3ETFEYtpar詃v~M@\ag/{TYʻh$* RqeF"V`Ƨs׮*_^Lʩқc׮pj-`Dڅɫݩ협ՂגrGw($X7Mi&s| RTxϽiDD" h/DsplO2&I~x&[B\xoC,ŰW0VȂ cC^>m"0HC@ (#BE$DVp U!n 6Tڬ˽IG6 (S4O,Te{ @q>]s&!R' rN9|`?R jwIV.5&06q(tdh61t'v1k F1m\wf. }*|\9 C$}~g \ėz:8k]kD ǍKK`9<lDpM$ߵC4vȧ|Mn֦&hWftrXEL\qOóUVeMu_H! |iuX37T!C{Mcc n2`5gʷC}SM}{ǰeƐ>,B,1(1ZO, B =|Nls_aPR`~@|XZk^ac {v+E4jjQK9SKR-[!VD0x7}0@Uۓ-Na؟'p͏3b^ :NV}RHZ}2"GjͶΜU eȅ8|2a}ֆtƀeF/&J j2rˆdʰF\oJ},!N+'dǻ؜оH$ņ! ex͢zêe`Ba -:0и)R:9#t]NJZt# 7y(AQ"|h4jĬ=KZp1oGPѥBKl)ER\)pY0! [T]>b S:/z.5i~ъy;D=T `S C덺`rD }Gz#qaӃb皇5]52z[F CpY_ZVbC`'io XSʴ_<Yi9oW,"uЙ' #ŠPBۅ# CƗ8qVͻ])SIFJvdu3=UܿX8aYb`)*9vJ)a ?oZ7T0/~7yRʼ^S[[C brapVĺT~ &ڢQ1zRn@u)`V} 1s-0|M sdtMep_`^Zʉo nL#wxOvl@B9[B K\u@`@.N[}G[h/bnGO%v8PɇOqnf )18zv7,c:jTm^+^'<(I<%:L0Nocn c wpc5ݹm(E`Q`Y{,9X? }Dȹ6+=$RE^) dʔ(>审zi?gXWć&Zue+:{egrnF9烢+ dLh͑Pa:" č *W;%d04NMZ>p0Q4dUqhV̅r+V0"`Ip7`[RQ7nuxOte ."TDYx^ǜvpֺgWv˹H?O>K&F!r{{Da r7eOH]/UW1FװHxiQVt:T': J^̟!*Vȼ],V)-2HG`7 bˋ]ퟝeTRs4 %>h'"x!XeyN5{pKm{TIǀ8y ( ΘP+dONȎ-!Yz3rC5SQ),TIǠ1x!c q7u~ڍ88 Nvՠuo4! ظ&Jwbw F6ڜhBٺЎ3f09X<54~l? Hp/)_2$"~L'YbƉ7TkwާG4MXQ}_-M-?&_1f=J9enKq'.! gT{8d*(ޑqBe@;0FwW.w*)Uz$4\>[B F4!=ÕgP-a޳w -~"MQQ%[:3UW+Ypy+u_.M%6)?eLnQJ@>/EErB+CL 7BDQ9|-MoUD 16 ʀH$e| <+7\դIn(iOtziM@CE>37H&[dV*e~rS% wˎFe@6Lpl Ex3{/M&u9L_oе1&dq'%b-ϡ2ٕ!F{B-&W(k[FFp3ˋFV I\vk]% a׮Cd%y˧:SdnT#{ MFs6Ð-dOo_zUvJ0TWe,@?Hڲ]xiXK+8CI룋/59&9сUt%D7+ >l3-ӕywP]Dw1 TdNy]VRf6sw9П݉c^/6kڠyfbg|3oW`TxG}&Z?86+v)VHeRU[XlxQ6 RbCaB0GTK!!~Υ'zH'ps¹+=?fJDک?dM10Čh`2TkTZe~ ̢$?a75Q_)ן北 N'zYavt!鿈r!TɂR xY &0Y@*_ONO0zA|O+/CJыQk+(J9K)ZIiϋ0B(vAYUSI-^v'򿋘/`u{lYIev쌼?ZAnjOMP)݂Qt_YM/OvƑÜ|PP1a Bآ`5NeF i(0Cms ɪ1m) 8;I&^8)&9wOy#|hENI2doVv&#D\qj/Ѣ=P ؇N◾Uz._*1I