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 ]#d< /]HOL-Library:threads=2elapsed=195.531cpu=368.584gc=20.108factor=1.897zXZִF! 便])]ŗXf1-q恈͐7ӺV )QɂIrQi7ԄU)qg8 J`ݫ=z1M_[JzPgï7"_j왫:Wy;snpD}vTgmJ$y`6SQH&;l o1s2 o3RѸ\N@- SfT} %Ui-u%P+Ծ nW(hlLUص8<0+H9tI=y x"1BrdC.I]˃Ev O% PwS()Ǎˆ'c⻌=cM!b # HOL-LibraryHa.(M0y6Ԗ1@Ґfvg+nl292$dޝo< (PP&0pӰeu7\Ow|dbZyP$x7>{Lg&'if{/|h2tuȽ̀Kq%[D|W5u{eݰps0c$4&{ݘR64@6{N+nsɮ?U4,xDۊKx YHW[O7bcD.e4Pd"Õ9ܧDwI]Oc̆J~P]o>rOPK{ \\#Ozƭ(rRq/ImU0 6 } e l/XCjpCd1Y;1O6|C>=j] I a ,CH:v]&MKk@5 P{:V]=U@.T`1Ih.mHUe 8_ gRR!Wo@ci1vHf,Bb }ŒEl0 7zVחdvR"6U)rm80ȗ,Zv8r-S1mz*1|%(7gIn(0F(Gj<BGJLOFkge۫\􍴑8$LP ˼5㻙%.7u=ȍ;6;p9=x hdaN0=w*VGmbYibFjPUVSąʵ; ~NfJGAEIg8ꪰz'/Ájvk @?)(rE6IH9*$5!27ˢՆ&Ǧ'Y١7x@O|TrȀц+9I.@`u819݅{~ K0XJd( 0D{HAe䟖AVGߊ"DNI?sm^+N麄12Ƴw~ 1]F mUKҪx-zq<_7Z#P)FTԍJӾ(4gŸgI8zqH ?͏4 [6qm`Bax$b&3iyAxfIXFI{S*@--71e;!+gL87pK^0b(W g @KjdV#ԦX}Ot=cctt}Xl XUTj= .df7s1 1SZ]o+01]q˼iBb |lղ7Du>mI$@";$m0v1&S0GٴH|ػ{Ö8>C_>JTK}u|!a;QbNI,m8!e擒t6ֆ$H PFMW@?rb6lQ>@<CufG1;Nc2)MQDAޜcf62Cȫ4rpn&5Є ܖ<-7^ߩLHZ{uy.eeHuYoXڪH& 1!m]VS6ؗK9\ W. Ȇ7H.ܕy" /lh*4\WjۯC29&˟N54¥'vNaϒZ\~y_p.2v}1)1H_SZ9$V}u#WJyݮ?,tdn =[ʺNa]IiЕtR8=@U!'Ŝ=N:a? 7N4og p q4K?Gj= V;Jd=xA|DEو-wvO al Cy3RoWĘogLaٜѼ0=(kwtz ֔߈4꡶A2YLlX#+KDnF]L؎rIsuFyQ*-)?t]lzSu|YUb.(a!W4Șk ֌Naٮ߮cv5JtM_*,E'"{;OXCo9%Sq" 3ڹ-\$ym({"0e kR%;:iW6^VЇkP7d-^ ER|q6 ~dc{`?l2ʋZbo}ˀ/,JL$bܘ^7%f"@~7er)' dLȽ6a=%25^ˑQ7n< )3N`ҔR/!L U@̷io sdP\@/vGHNlLF|rуBNB;u}D_Q:'.;nxՖ!ɵ[]ZCU]j0E\ )T<1&Ȟj6-:_һE'X_ow !բQFc s$`N(,AK27Q mM' [L”Thtѷf)@#=(VU {X(ps366Xb'!Qbr7<@X=uWr+:Ыg*I̧#tW\עוI4IR@EfmA}䎯~ k^šږԙ&)뜂1$ ?+X_¤i2Rj?]sb+:އEw )aMB4y6B"7k36hPiHan&NYw /$~B7{̕jh?ӧ%'amC6+BתquݠA WRN LǎI7+!u5Xvq⢌"qqٿޗ>P qe, GYE6JGw?CGd$ZK'|g {^1DYỵv%OOjr泹k?QA!%Tx,o<|F0N,|}VRxsDPi `1܊ c_!7,:ضs%SUAs;juѧLp9vzKk+ #@YCD9sv qvG|%ZT5OT%r ׋oGm!GQ9t,8͆֏ *gwgD?E_^'3~ 0&ܒX?%uK1҉o-r> PJ}| lg!mr_C@VhR79KLãC'":8R6L'Lb K V`MBx"*kO2ꖝ5-ρM Q^„ClATCuq՚x;aE dl%ޭZ0Ou3;1FTL%.cwzyMhj4x] p@4;HSMp };| &űpyUM8}X[MJZ'k*3:jiBe`"D+wCf7W w>yP~_U l WFcH"QHT0O.*yJ:#Q nA+`Z =>rv }9{)C8:7#&" zェ)9n SWx֨ѬB,K:)/j%wмm?Pc(toꐘ寓ƙSyU? ƹ 1?@%+,Uxp ӈ'´le/Q 96MwAa7S* o"# Wd]kAWנ3iuA+ lXP]ܻSUGK4 /yA3—< (3c-b5eg=٥LUlaK MTBBx#ϓφjZLX?x!>/(隫>=>/g1ٱ2ͰpD Z-|LROjTHޤZ1s^% <,-yH/mqC#>hʉ,/#g:(tE -aP[me~ ma[V5n^#4n(Y.^|l-HAdk7M kW%5T8/_Fe_RDڱ O(8M ȅ&et$eo`UU k2`RN k@^lvKcJN:6gtu 3H7>7CO͔>ch+a$)ޫ& Tde q4ޯM9fD0W PTI46^6(& 7| 6fiU^@L>eLׯk~tTcYKKmF?kAJ[3f=ڗEIFG¬P|rEiЃ_]V0K-(s3LVTטo [/s^Cim_~IY9]*3%]Ǩ0cgU spcME[[KԯjL*AQpwip/|)HōGE!zpξNߕ-g#{ܨ'BԛapM׻ [$8&k^?, }rY^LS%*L~9ifϛ9_q%..Vћ_jԤ&MeG7sɭ>z@E$oԧW;ܴB{_ ;PLs^ цh>aC?J_:JsM̔-X [mq}8|/`bҡYh u5.d s,w"&bK}57dRZ g'L-SݴUB ,jod?q sϖɆNoP_̓F 0ɨ[87ufz38 mc,W⛉lzw`:._Ҽyq Hsk4'z#i U?|xbeLLagGR2 [j#ySH$)sL7ꅀv%Ƒ3Pi̐mW%\^y\MviX̍SFj+-,ωYBs Sw^2s7O\lp!{vh_|-'R$3W"l0 W[}{7=hJ~EFM#ɼr_&gAs8c*_) -R1n00D8@WΡaHk]Pac |iI 5eD:x;S$= lzKm^@-%9ٯn - KEiX p$jv>ד62/0w5\P+vx-=םlhT;Zo_k2=D;)QB0~+(d~HjI cww~$3뱋}+Ke%2ȟ/qdži\WOљƎO_0xD"Ŀ{)bQ&@bj3rcsNaNa~pGANsflǾ2d\#sCiDT1ch+aak ZFjoSP@GM_Zx@6'Gd4d\ xi0D-J />si`rKA.P#B];&%jǣ{j2W|/'Ok0FTS)`k6y@WNj T!Mƶ0[ t/ٝhLB)n+f>BR;vZV$|X(껶6SxE&pDwOvюsyݭ~k>^Iݒu(堘ȖEm΃܆R4H0 Qi"tY}c LhR֗٪pDV0| Riɧt@6AOM> K|}<&oC_݇J3K/xͰӹ\\mV4I`=BR_*149\t7Z.ΎD*4!s>ڽMrS[OɬqhĪ9 fbcЍCfqE|#v{a?k)bB+d"Ž'ޤC'|ŐlE3{u"x8UҵcQp "j#IiM-gFydX~CNKj*yki.L*^wbx)ğֶ;R+oؓj{σ篩?.w&w͖ H!ϺnP5gc(.w2(6tw_VMNyKXSZ\hTS m\4h(pL!KXTsuC £f 7С#l L~f*c|-us:uS lBoet9(n?ah{-7jub44gQkGSF0c#U3ލ(mo[TD⭋y4M]9O 5Vʼ6:,OW4o(gp3F V$Ҽѐb$" GXtfPʛ/+n31AUuת`_l:ؔ'պ+Xk!bԱЉ!3ρ 1" gWB^mi邢aWpRR@񠐙lDz,.&5 Uu ݋m+I̊p _UU  ֛"޹ZÍ0:ik q5#u:IZKK<>/5ycNUP0h '$B_^_%jOr77"2_yEBɹR54YS iLgz݃Pi\4fO$4}/OtR/* #k[Tw}xdI#AB_ #utRMZ˻iK? ŏc^Fi[-DtzV]̙4Qe`Zmyi XNF0[jԽt8R:r+D "NL0 zc:5>48,ii?Lt"1tC+H9(Cծ1 YlNz(u 8.DA4OERbĕ֒?SV~z*V^ Jj+43etnY)o#x%5( @:xta``Yv(bĬ («e޺Mw|r8۾,n_%~ZUM>^<۪fxK2>P$!W92+E.1҃@?5K{iJެ]&k1=Jshv g( jjޟqK=gDkIDAI,pbgZ>AymiZ1n4a;[I*Ta[QAUrߋkb^h/vowTu YջdPu՟Ö_k,u'^Db fTA 1}Bߥ[Ĕ]=flN,Gi6ܰ DTigfcƨII]V)թ$ ji[RH%d$ğb??z0SK$x6"Dd*?6H:litM}g%Lp`.L%Ć7zkD]&ܕDMȪ'  3:{7;peIB7mscc'-7ui#7C.>}^"u=xݟDn,ѿ D["T^go-H9Xsq`:n]Se^%}U4W*M2#qlik9zaE\ba]jφ xUDnSI[Tr{Xi !d9HgIhԸ芒pcRrI<(Rўs:6azX8DS~w ,}IN3T J4Z:OERdC; 0@%3=}tL[A2?B=/A HyS6]!}W<rɋ[J)9|su)6` A0v?nFrD__0Jaʢ"?ma\kkmAMTiiI(e}QX>.nнeTgP•+!Bv]F` %φH^~$@itsF腫`hu|,2hɂyDLYKٰVkr#[bf7^K[1;4n[LT4*1GnU0ƪӰ5fU{RohK?<5W@x!Nc:ܻ;^~KY6Y92!;"C(BJ 1{ M3m,9̫ɦU|6lRK&[0yf٭kJ2FeCRn׳t MR"_5Cd H0݊VF|+_)xJ$5!`e,CJZK<ˠXpNR/?HS;^ì%nݽ{`cKټNsd\i5ǵ<(X GZgG5~K E@זn(iKU|ueY3ޯÌݵ<׍R7pQⳝ 8 7΍/P>Omq`맪nj pxb .׋#!=:peW`[aaSsfPG5̤,ċ/@bϸkV=[F \νAv&w2i[*=4Mg>nxD~>c } )GgT\yԥv gd۪i)M6bj*rԥ]'Ѓ;:K=ĽTV8q1zNRpҞ522kz@t56A/0 -ZIdfhQu OFsOzJ۶™vi9w)pgr9kH ub)>RiT-ߛӑTf czl?C*}n>88[ ^0d4,pQ-o·_]gT[պd' ^CbJ'+F3W$'Rt9qv f-bQ"qlv}l&2lSgM2HLHyϺ1Խ6; aբiך2{a ːn@q- F u1<>X#q讉(~կe}1lR)0R)sfC|/Ns߃*Y,c(Ao,9`Ώ^Z}8RL.[m{|nť{c̽S3za)=tBY`ųR8vpu㵚p(NLp&/ND̺T=<.dz }G*Ddkb\986&tՏphUw=wyUWz)!-F2?>TQZ0BGt^#=ђuOQX'c7UYZNrb-0Va%x03I1)yDG"$I @/ۍG泠0㸂{pL5/H7C6wlG$ַ3+B 4.&Ißt7WB 0 =ooo̔;Kh[{_":^liЋo;T(D{Pv_r9N0!7\"Oq"b5ل)#?z:]VxӢ:!vIˡ|їq=U>7dhGXj}9ւ&հ̌g$nLQu#pZ)tSQ*X1%LLܓj ώt)5]rl\«vZ Of˒7 $ϩGk$"/ 6:ip;p/Nքyel݁nfdUp2 !ꕥkSP.l<=j+?$]x5u|.j<у4='k;ǽAB1J y_4SKϚu)?`@JD{5^M_$C.-UI ܤoO: 4J.P9-5$&WcTR S)?|[agJx0ao9ptο0 G6Š#Do (Qf(*Jj+2uh^>Rei}@Th>]1ǧ%i [@]ЊC-xeV V!%m(CppyY~jiOXoH࢙Da m J1M6M|E S,hq^hlN\X[JB;+W9㯆)J,dX3 x[sxㆪ6,;Aa=:O.36#h{ cu/iʴc4MiF#-t|" Wov #qsnf>Ca jn~wUA?1 `ΧU)[6dPvpHV !1 nsxEoR<~p`-.: HY0+i\#@xo8n`^PQcT/'u-39+#un3,ΚuA/4V~drTA6QmK;} y1-#4c'rD}(f出W]]%a'gk4+e( :~p㩧{!N(V%I KX䧕*PB)\E=&_d85C0kuQӖښ`<l߆1(dT=m9#X}= z}?grka 4w\:>iI v9ʀ"C4TPu6~L)A=kL>qTԮY۠-RЏU[UdeoKW~ yV#~$w 8')G&x񿧵+D<~ כMb/7Ehcsq 3ztO9u-nb2§8ƕ\f Ҁ%tY@E!U[GQ 4ʗZ'TZ!^-: Sf$:L)*Ӭ.b4t6v Snt7=Je^2Y,eL;aK_+#"VoS_D}*Ԭ.?\ }:ifmd ByAn.v@y2J5<-NJ=TQ֪fwSy,N I Z m[VxՈ(ںh4xI&:?㎶MkJFÚmT^]-/Ys*7J~CqOwMcJ dl*ujhǜ IATV̆^B_bh^.Ke ]覫 ѯƎzCT%Hc:%)6*LתúHGN&@e? D\@ y7J?@pZ%OT7h9@+8LP%qsG?E u҇v篞1rJ>Lx{ІLbF"6 o.tD6 M%֜@Nq.*OʯĴ|by@5 C`_ q)z/>2  h0qSBޡOJUy[Mw%y+HgdvĆ*~kpoV#$)YФ:X#5}\ovnJPag>]cKtWs􁍌Q*^jɌO[i S]g8*m?EQO#Jسuc. VBPk-3כO jOՉ}94f2 n6<޲6{Q{砓CBSIKP2OXe R\@Y7#u-"(2tAuNCp%%!:2h6-o6MoD2 s ,sڳ.UxE^|\}{c4S\Sy,PP Ss"ƋB&s;'AJB,0~ TpilmTb/6EUڽF6* _ᗕpUܻ|TÙT^7{fptBI&\锱+ɽAc-j nuK/.tgUpñ?vdCV`1}@dmƱp% <$lu߱D,e!leR{$;U\OPcy܀3M/'.i~ED 3qӜRlJeg~,SH}&U,,~RZ AjҴ(Y@T Udt4"{^S;D4cBhY[iUHPER7au|PYl4pZk3!Z$.<6ގubZ%q-Wdڄ2 N1e-CMX)^~ѯd/ Z8)w 11}$'X̓2-Iɛ%qCc#xG*h| Mi^Aky_׹RR /ԁ>9^;N[s3!xd5\^ \9Mٹw?L=mVg_N.Bi]L>l0ȱ=3(E*Hfxhx̫ޕ dfGy:B&wAxmk_H=eB7a/ *UGOrg|1}QOIE}v:DwTy.B"ȡZ- `Y8j0)&|#O7X63k9%ԩzo3Rt{-4L8Bpo̟k OdrpW^`42Amb O@3!=_B-+38UhQJ04lEޖu]ReLAC7Adux1840NfM1-vC-F^B:Z{FdG!<:F ~z0$3pj@5iOq;QMA3 yKnNۤmkb* xμΰϴ:7*g]Tίg?a ~x C!*lҫXpjCz_;K;w F8MZEcjZ` b &'PB ,%]N|ôC*ݲTh0TJ";c'9󁎑aX-F @K6g}x3pp(2y \awK]hHw`=N5eLZdR=N)g~jÛenl;eu39}'9`HԅU)K=I:w-iKre2,2E|<39R($4HƂ(p\Nn^AEBX, N'r0)I:1x)8\z_,:ˈMzZHQgmȦMAN=+pXISmvd=Ds.P6('$ ϣQOtD" t vEU_K\Zk M'F8WS!0wQRr5VW{P +1&)8߅hW9xƑ܈}O"Hs|ړk|O$Pov1i)+'M?  @8Ꟑ# v'HBOb^BCCA R~!^JŜv{xVMbiHj5|FVa<30O!%dӲVmJVҰ)…Y1낵=Wq$^=ߦݘz 8aGX]ۂef5WZ ;]9=`n֩ m⅖z!FS\IПn2w4A<*Z.[P~H7v,$~܋Mۤx'fuDJ H#b4&<"%c4!cLc(3f9d;6bp\FR%M/%88=`GvVparxXFRpf~6[$|g˔ҙ[/7HźTgYZ7zXZִF! ˈ*X]ŗXi% ţyÕϱ"͒x/T;Ua8乤zDGXAՌVi僐JEG?aq~3H՟+B /K/DVޡ5^h"c^*Kif⿫.&lpd4oc.KXE*H:luă~,_M]MT+듶|K| zsx!%aS8H{a6?F2!3%@̸a :&G|ߊ-3ޙ7(j'z*EmiCӃt62 j% Օ5%巬 5]#O/v0(Y2Jk"~mᴪׇn^-humc?~SHWrli.V"e<"kݹyh4ۈ~֞aXk]ȨG~npO6\kdqN ?cHc:e} 0sT@&trP^'Q]'iQM$2o/XJ(Yop"y¦&$i^qDfؒ%dgWA7ӧI3%H6F_&!<;|ՉFu&s %:S~,S)͛j@+[B PJKcӀ)ز-x8zるS,dj-E4Q#?2{DY<[6I[;G*%AHJsE%(ڵYw~g׆goB_6`VotGsCfP $B/b{E1}afTfo4iyW"J j BCZz"ׂm0n]S@071mϪ# lw".KAfB8i籟Ww3#۹Ds0'T0 {B{|9#CS4\V39s;-/*kjϫ)fA:C,@l6 iLmK.#E"qgԳ5Zh"-D a*7n6? 8';F ުʹ^6q (A3MUTE:ASwXe ̅QqCzJQy'.sjR6vBf1sMX9pJU;/D!^-BJ_=)VA+t(޲Pj{˗ҍȏgH\/vVD2eJ&-IDt]1/iuVomPg)1Uy Ww-Os2 )'(|bk@vy>UKzhljo{dd}& nQcASvcV o=ؤ GX{/[R &o}*`XG<((NH~1"WAL\5<~a" _:D1 \)>)PY48Ca%!F`]Ds[ -= x(}9ǩZ+q665?Fh7JQ[Bz0_ah_ >U[*幪KGP~EU QO]8aub[[rIi3Roh:uX) ]T#(g9<)aN l @[c]a&N˶@ȉ%57bw`=]YuG`p {Z7%ԙ Nvv qm}RəӞ/F_]MJ~WZ$+I:L,#za/-mj*~X: Fw0;IɓWRcdaJ ;fT.~zFzxCXQ VMn*T w#tL07a %^(nO+T+txt𡈾*LcoM_o [_[vT]P9""h-0cf@ Z&7'jQhuQ &*е7X$jfSQtgj N}:u44*P,+閏T+|phƇ;P,Z,0MDy~ChW-^GYPz!lĸ}t;M__'#)mdC 6]>0V(FEC7X D~8s+xɝԔk;xĐ>8[?ǶyAA&+xLߐ w*}͙K{2,דVwBdA"G@So 4Ӛ:J&ȴz=]wkіȦ4ft&ur.9ѵ(/MYdݎ1u0;W}DC]iI vL*>}5"@TSCy"͡?h d?i~~W皬&^ ucj]6ocQҮGDd~@9aAZB|yb=|ERسrM7S97m&;Xjg96={i"th?rs9l '(9Dp,Vʅ#[H6!sRpu.pCCbp ݦƽD0+ݹVĉ xnC4y5; _ > [$ Þ?:}E:O@8>s)usH~ ab`$fC_CU2\0:BC&ή ن`\MX|)zug$sޚ{ǰ11\Uu#h"Kͣ|f*ռ⽍}b7H2TBX/;KPIE2[7ɝ/st`QB,@LV `[g뫽:_SP\^t0(xŧ)BD? oDi6nwfR#}3ia>]j9#5#r81m3'HJ!be;4"NjלC^lqkMgˆ{`\ŔJϊ=Nj{m 9_Ί6JN$3A-6Q^ j8)BlfQt5ck#Lj'_$ER5 |A” I(|5kOIu}T 6 tmJy;Rۅy<]&&v)X SCevG`}P0lt~,+mQ %uy]Ltb6sۥ7uqͣ6Q뫿N%Cõ v:@CJT &i&Pu2RSNl$J,26\ }%mŇaeLn1ćj» Ǧ'}ҁ8ePvfako00#M]aQ%SgU # SuāM1S|2TZyK-?f4yG B}Әdv^rHbIGZ_ SVB ?Aڨe*JQx\ўɩih)EGmǦ< r13篂[~>AӬmnU%i蛯.S<1pF5hq3= qHk^ZhXCq̬J1cwY]{S9ECެOg %,Tׇ H*)TxU$`8,k\--z-ppWtym26Jenܮր "ރMاg ']FtB];Q:dȪR(NNP!S ȶ;ӑ6Af-U"'ĬKNZ[GC֥HD(Qɳ^b inl~XS"v0mz*Aw%gwE_S9;y?Me|u6lBRy.3IKNL i7۔ 7;ʆnֲ|Br5€ -üGt;EQSE˞usgcA$> 49ܻJ0 >|4F,d>z 9W"?9>GLhӣ$AeUhJ<3oƐbĘu;#SLS)"u24hsGCm]H}0ݶ1 DBPQ{:pJ Uo=+EZtn3{`MPARJ!EɅ&ըt}蟣rL"8mu{h6 P﵂X3% %^J6NcwT'u]M(F}8L~7@Iȉe0wr A/B儭>EjvOB nH`myw 5>}RT-'O̜ek.'D܈OmT7_ ^pOՍIyV ~%_Z`/Jƙ*|.Z*4҉x@9PcVσyb7R%9rh(9].?3D14p;j2vxhpa3t`f _+ M_ b('z4%)Lv>sX h<(0V|.ܷ2xl U%֣SV^t<Zy(UQ;Եee0$oVE5y` (kx <" 7!pkCuƠAuɂ:} i Z S3_Ȍ6@|Hr5 Lݏ%iJ[ONC&*Uk#\]y0Û+ R;Ӽ [#MGc@MTlxtȬN/V~1 pDX[>,O)A1agiD܏GM7֋{qUPu5Cc5@-~`xoyv/-U 3K7Ӵ|O3dU.V6$rzkł pغs풬:| 5+=RВl>>c!~_oXv$NRO!x96 abqڟ-]B?rl# .9(" S&IzȺxOnO8O!Xd*kl?gŰv1; ґq|U,:ygD%/:^ HvX3F?wU:Q"l.)y_+qQЍ]HwE_Rlٳ9y/5-[dFRsceFL?j/vǾ=w՘Gmmp*6 ط4I͏ Zaj".]/WOsO;'Ob:ol`2r1tT!;̯Vi}Fiŏ%MUd3&3ƞM0"Y~/+2^IΊX,'. sNz1&gϕCvxǼmܴT3"`FF%RCFv/˵-;!`(ѩu ѷa7(M  xEa/_S F6 =n3j .+ ,y"|,z |Nz'uPf5!T|BJ:l]04g煮O`tAY yҿ/,İwSQsnʙ3QF*޽剱2Z_RBƱj '@k)4ԜA++c)MFJP@d/wz-+E}agY,/FNAI%Y9ѕ<6%^͘|pup^ v2LS [0g[o3jZ?n, Ր+"x" u]7R$OCÿ1vcd< Zd}̌ .ԺLLUTnY;ړf1a5߷~`Ru@eW9lK/ߏS~~(YN&gIm )%8 U/ڧJ%̡!ו05)Fݛ#Fy:sI2۹v?C]>7hFNնlQ;zT>¥)$eR wٰoE;Rl:*O߱>`' k{n{q"5rgRjpN'1Qf">%؉_Wi~frTD~'{a_ªK6͆`q4E˨ ʣau!TV@Sq-yʗ]r$N`~X U  @BOCe֬k]ZZ\!)kd S4IM!ѠJO@xγCh3ۜ1ò{r\9\&Q%:/I$2^pcag|J6dz#5+"@fğbv>t XهtF"q <C% cZ2)mc7E)&LPD{g3rE@ 5K, W B!4gn~%x2"@eE ox G*ܕsл6ZE܅;.K$Ֆ\pp64jPA0xfm@2_uOA0gw֡Z@. Ka#_)oQ~U;+!1&5Zp#P@K?6yrC]Qf +XZIIZJ<Ne\x ZL@s/3|k/PO6E8`>>׃/4Wv:hNZmt%j !KY[89QI_nr4},cH 9΅>ǰ|*0,\WB[{rZ'g m퍖 BjL5i M&jh3HF{YvuvibfoxY|o_KRNcBI