SQLite format 3@ .S`  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 aa5zd$ ]/ HOL-Record_Benchmark:threads=6elapsed=135.876cpu=207.851gc=14.1187zXZִF! i]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)7ӳ+m~. Jv `b: Ê@ugYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.zEb)FШe4M9W?v5eVU_l_}YZ7zXZִF! H]ŗXi%BDu=k5lCƽm\Ø_U=E>[ ̉nJ'J@_)B{jc}|x`8_U4~' CaLaL0E]xOkWqrbۦ&a6i)}\73/E~>4f}EK"!eP߯d:r(eJ %0Ñ-ܳ[G#ښ?,.O( lW*?}zc B:l᧲YKQ8xy2o[pRrΧWݍZ<J۔rlZ/{MarPIcjeiLp{J{ӛ*4 I"߬o :+JkE0ҩ )hpr ΋ےrfb8);(/Sb^OZ]9jP3lKs}"p LIVz͹q m#B҅t7 NL[=SukL<.y"NW{ZU7hhc2`ַVgcƌ:]U]iCPqN^>6sN8 b\V`j;F Z#V;QC9W XyKfX ᛼ qFEp2eWL\+[;AӮ R@(ɒ4K҃V`" M |C,G$_{=mYBo1C@ 3{EmB\=ۂn5T'RYԺL WNv.a(PU% '}H"UIZG9=aXoOy7dE]n}&;谮2n+5WzI2A!BD > DLҾGA <ʞIk_]WRQi^߮z \D 1X>CqbLhSwbp:V_%Cb\Z34jJ~V# 1pDwd9SB:Mp1o<1;;D;RHh Ʊ2M'7vԎͱ6ޝG2#ם$Kh\CIIbqZ<7cJuQ֜m@*CRIcyǣO$6^آ`AªLڴm;oz  ? }5(_wgE 4;3k%N{O4'ᶫ+;jz! |kiĎc!bY.G+{Rqy #.So+̑ Dm*ILC l[=zc tRv$HRnqI@+hUE#a!0#4WИ1qtM).E]]inuxW9o"}"+u* !zS+iT$_K"GI^Xrs^o-VL2(ȳ R6c_.Ʊ~ J >u8 {ydRlaVMvdC ٻb{5Vxxȉ54w AZ! SP8_`=u=z:mz JT#NN)8 4%P6ƕI0=asR=E=ߐ3buq1Q5~ͯ/ж!#á_.ꩱXjZb}0[~T4O dswBkgJC嵇^99Q\ @bu^5Q 2t$0.ayfld۰BNg䒉lXk ɬ@5Tuv&tX񴜘m } zpWI.Eٲ_w9&KfTHf^;1y2%D,t[C["5:gu7NmF,7"ڑ>|^V>#hN9O(R e g&^OD⼊J*dU9t\\猬Cڄ{6/ì!\G&5a_OG(֤c,Mq &`fHPP»!8n>.#?\^jՑ[pQ[kptb?۝ NaAzܦU=HD7\҄f^2AY:Fyy: 5==VϦѺD1C| Z.~]aM9oF(xΑ9eii6|kO\Or|,Π-Ye ۜw^pc_"` rnO9mA%S>5q j 2V K\y*/X}\#~R ):ċB/; 啕yJ !{[Zo-h 5 HOL-Record_Benchmark5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCamDQkauvP?d,MHح]@rVd,g8DXz`D2,\.ۡjZL:& &ȤggC}~}-k.MYiSϺRS[KS@B΢dKc5S7vfBhSy* E#%z*&Pdk")VG>s]l" k$f_zuo ?$DA*ģDOS'xt7gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Be    _ A _ 4gL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages J5W#HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup I5W!HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/files O5W-HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/document_id P5W/HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/factQ5W1HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsJ5W#HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thmsL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axiomsM5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latexL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/constsK5W%HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/typesL5W) HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parents     5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCamDQkauvP?d,MHح]@rVd,g8DXz`D2,\.ۡjZL:& &ȤggC}~}-k.MYiSϺRS[KS@B΢dKc5S7vfBhSy* E#%z*&Pdk")VG>s]l" k$f_zuo ?$DA*ģDOS'xt7gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain V5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=mNݿxm2m!肠{{+s  6̒:&d2%Dnz <9ǜh#7܍G֮ G'e¿?+]C8O[E+CpE*°%7/9= qm^=J%z d-ag O &X=GppQW #{J!H؞>cI Dp.%픏zBL;hfu0Y4C_] d>`|(|.ǹPA)nѬs~3At}L] H^0Rv #災m8B][Y^*s _~z?.\ a曤9N\\g+16PLeP:>M)3)"R :ށSBLePҜcYwmY(蔛/feuQJn\;)(beaZ cۈ#OEaj7cv3~~1L6IK;s ~!Y!O!KM܌C?H^RgB-8dԩ<z ,r :يRm)XY/^UN߭AE-G hshm(R5$4`NQaeׄRplt.spNԿAI&C$نQw`cUCW,> Qu*wgCZ҈%_*|,)%9Yw0f”iD  +"WB4hIh-?}o\}b* Ӂ>F{kk\Jᚊ|at1MjdF:lK4&_ jT2( ďr؏+,SWP`dH@w+";X0'(aUgc맑F(^ 0 3&'7Rib$>bX~dQ.,/ڬ(Oxeq$([ޡ+ahdyE=ꁖ@g~ P9>3@v҇揑 cFRƍC- Bew(k $,B1ӟ.{.NB,s0Oˏ{P2+ՅvV* #M@Jb%#p-4MWGSGX&y}~ Wȣdž.Kr>$lKx7y>c_bp^bX l5*FvV 7Rn T5IB1D5JVZ+?{ 5Q[oh _^ lMѴ4YrR8͵ uvf-{ cS\ZBv M`_ʌ1ͭ]1z/; ƈtVxC8@1 ^ǡBlh"\$Մo9&EY%lGb4E5I჆.x8Z2O^^1$َZFR:S:uMmݜ!U 'qean-2HcBcC5 ~@mK; vg'kTy J &v O)qcV?i8( 0ߊ3|W:άu#I0:i얘bۚF*i>3msppim#˲a\s# !hky>\fFW/Sz꽑9zorW6m}`q'}jvV^&\E2m1-Sϴ{ Z˞+'&."ٳ/m'eTaRKo|Jf0gJiެ^uW"N<.GJ .^|E#y3<`Y+^xl?ww}#M- +翂G)pUPt~Z{kP6P4U>Ctާ I9!;n>y!=U,/i3Jj:x-Pis*<ҜG2t[gdb@LFUXH:<` c7.E_`Tk32#X"}u]ՓU$.p{ȟF?iPRBJ&~hdY#x%Y͖1e-O\1Qv6K84:K:rPtL (SrͻPOMJ ҈ O(+fC=ıdz_C3_D  c mEǶ9ie(\Аʉ?zW)rlrViu;+r+N7~"\[ H'ӥ_ ~ 69Pc*t]hEOaNAלTHx5N*Ț%^0*꺝(I FgQżC~jbuB"+[_>\YR.η"0/S 3=w u-vK%z_ '{"mhp(?e! B)xm\(ĺ mCΘչjLu+3ջd4.h"pwMgXB-^Qu]@bX6`xSJ8X@1e͛gӈ[2k*2j3S#[`J{/  SǸGHd2:urTB(Mn$4wEƁxq%/E4fJm1nBxrtCUͯϚ$t1\Rn`R,-nw?% I#i&icPC#"8=hI =]U0ԲQp>o:DQkT;n~DP$ÔbcAr*HXMJBiI{ӡ܈QD'bυn"qIhOCTAmwfND-KsmfEǃVpIs"Yt¡Bw{Vgё[gJw)gh+LF)=yY2칽>&[d2 i ߜ+UaD7hʗ)w -iC@h9?~sE06ǻ>IŔg(_SQLR/Ƿv\aшg 5P {ҁ "R8@+~Fc(zc0IޱgYZU١Ԓ<6C75u$do,;II5>/fVl|toH>Rb F㜰-Qj|{𻯜yM:Ej?2yGbHi}4M'R3Q?Cd=lafGP'3օ/nֈ5[!lɧY&Adl64އ4w TO0,~+Ċi8!PkzZ$HXv\FѿETl&bggA\bfH,gjO:&Ѿ* ?Lo1񱁡[3"߿)Ӎ9L J[M r,nݨ_c/xFTfs8lF՜'ꓓd1T)L'Kh(tX XV5(]ܓD9vF nReki1"t0x4:}&̇UI,DmP)쇥5{1 0iXKCg++mFy'3-݀4)fcS!̒e<$f ˔UB7N>zzǀW݁ {PB7>[eoͶAb:Er [ڊ~u[7"Z10>ٟFͥmM|¬.ٖi&h \;؛_Қ&ҏ}o(v%2C)?=Oմy .N+s(:Ո)t4&XLujWX=[Ea,$FT1? @46P8U`B WP%5دPjWxs1aQyf錔 ' j\4|ƝXʨ"8Hߝ v<:ilw`\]z8dPcs6p4`bdY0v!'*Ow==CmX8@7jJt~O@Aȕ:`j޸pӇv6-g8x7m24f=]![D^iuv5;zJmXt=eIw*!u :]RL;/䳸BB+⸫bj-5hC_H>< Ǎ,wA3nd'T&gIL}HtߚĚS)Jdf/n|QNw3.~4#Y+L#s<\ U&zEKæpmwDeѱ8f4;屦 $b4-usug:+x8N`QV V̇gyX=&@azi5e#$dt ]yhL p۵{}c!,;}3@a◆o|eMM@XVd5 AShNn}!|H߷l~$U8P+Ay]pon;XP @ߒCѺH#8}Bf:G^;T&bGO~bye=E꽱$QF!&R[X`z8n'+D'u[ ףܞp|O->, p'ۚu@X̎5}s-cƧ5/D"X Wd{j|;Ii[g%rV zN$2*.zg̫4Iy(}UiWpW&"/LH6,kcoldkq{d9j|[ X l?:;gAvJGqR.3} /b8{Y$fDX l(qWӚhQ/u "ni=G) W{85~|DXJ}u7'c86BnRԓ {RxLddO2qCw.PZJTr3'ir `}wHzU;߆.aB`+M5/ӡ0䪟5:Y?{iiiK48"tP*a,!6 ~D<([TjSPU4gψ'`=tmY@=rMbwyV-;FEۯzxl pF7 JtDOcR ;I"%ߕv;.@nRY)04ת}쟭D[e 7Ċv)=˛xV۪xԨ1=HB5{w)Ӌ`*I|9qq,k*3<ϔkK^NTw\<"c/n~#-cKCV*d`>Oe)C?R(l:B@RΎd ^Fj ~!c)p0wVkWd'"fpqMnRzڭpc%6XuG;i!8(XbZAH.K@6waF_j3?e&M&تl0L4Vo EO48C`݇9m"werP3Iv-!L$ ~mmkIrpB G۝l* h!$z%[MK#M bl)гbI)]<]_{͆G-!X_"l9&MV2P 6npƥѭ{ %P*ʖ}kp[N*:|ɉkfcu$ 1 ^:B[bͳ3wcad=eefN+D'QS.P\UFP _yK+atkksl(I$-^\et q4G423;IፇQ]YX{vqE0=JjdJ6+qV X Oَ[~H>3f|:~ ȣ"˄$liqhZV70A v ̥Y-#P6 |xf&9r-L;˹QO!\k!hH>ƯӍV`]q1#w"?98bB~Ik.J3e2PEAL"KZX=3,ܦ16s-j&Uhד {\nhvIoW zqu?B[RBGCI5( !n*e13 C5W) tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latex7zXZִF! G]A-MՋhvG"uIBm5"LO*5fF(^e[=6~NE;,,țV6t 8E)\~z03xikci+p/mb7WuAe_+D8*=SF 5 bƛ}ʠqi;wa#A1ɚ1#qCUT2TtD/qEq֤.2wR0`M绍I7 I`<ͽ^yW s^Hct@G9Pퟸ#65ExabmK#eI&Ŭg!nr)6dH+D͐G})6LE"q+sCYɞqR \6]@fpn*Ků# R\7L\c5p!1b"'>]6>EEaMcK_b"BMZ&d#ZHPهoN/2*'讙nSvoEPVn#0*7D%H?ҘJo57KU-T~xCF@t#x 2wR+G~)[Vb0 ,B (Z2ݶP8#Uuք Ļ{exFkkm}mf$ҲՓbVj:~Q߽5${O~h1 Gu+1+;"z? F7TxI^X^ME ;"T ٺ"owL@lWM m5Qcm :7`zY>`BG5Jxr .f]94kxƣuȃHI\J׼a`P%|/\\A?ʋH!rYjw&@ M5ߗN2I"okxknwFe<_1|Th [aʦ}oO_ >AFtWU3nR!D ;0"n~&A2zl0+PKSt Aw},/K4q1dON \5BnXzS(LWV8qؘվHx1H b2$'GNIХ<?zaQvlXh̃~HMEښ@Cqezc/u ޳ Z^?HlgGۓԞbH-WȪMFR Q՛ سPY FFYbgoePZ3/aD-8+G) NZ;܋\W"2MU|H\l!3rN2NGSxߴZy9ӝxZvr,zن%s/-Htťuc6P>Of9b0=V_ܱK|Iĥ4HBn>>tgOJ~*SbVv}s.Pqf7goU_ 7?GٚF.uLZ0Bq^H?bE mU~BnKXȺb~?! lY|Ky@6GY0|~T+#h3U!8^k(``u)^X VZk:8Dɘp )"{(b1M<`0]w ؞z!l,I%teP}~\9@㐈oy{!miE7:6)6\s5˼0L?GZ_u5ȈЦAtZ8K/7Jgg+n14li~Gf4,βFCcD'[9*d-r-/<ƌׇyGI^2I:;wrP.WRgA Um6g{|K^ ͟*8 -?o\jaKb3[/`3맞@0w3ZWSp\pa_Ifߡ,"eQC!a̼Q!KTBg.)`"+Q j 0W{,{/WeDg7\1T2wT^j͉RZx0n}QrCB1thP:֊ A=>vb,m8K_z|˚ز'&Rcc<#9|$us\|s"բӅ);Ҹ@Ȼ ġ"JIB-x^koe N Y4(J'7X 6w#: C>jZVYmnN@̾O0H OCkJXr8wkJAkfH)lJblbnUK+>H+  Z#̫ ;䖸\DqgEYi,"`Ij5[U*^E<;\ L컘O98)D|/h˰cGKL")G12A1S7 i)UZ&ғFea 6E%RBT(S ZPj/N#26~w>T۬Q";-!h4VX|iO_'xD7ǀޙJZʐ G~=G˃Ps7I=+%ز: !*c5lϼhrow=r1̡bBD&+DEp'ga +@iW2 XzQ2N*RFX D &oܶߥV,"O|pX&{/jN5)b g~)XIp'0Q2'_}yncBD$?R L>/+|J|tTBBE oѠƽZ-vȒPEilŔtN68w&2a b/Jp/-XWlnAa;]0nz}u.*Pl %ao @<p04J2m=.e4I7X㖯<2ˡ 7(VwΝ ]]ikLrU^·T}[>)*x|Nf)MB2OaIiW׾;Ԑ1Dz2H[]J|9p6q笑!M:= b_冯1)0TVxn:@R8/qYϤ.[QU~N^+8 A~ZŋAq.olL6]|2K+4\ɚZ12Wh:֜%RpUB9|f}166/Mנ ,YLqMLy&^jw.t&jtPڬ{oX'I}/ӡ-"o5?@ Az^hBr@UC9  02R1j}),wc OUO ؏=ƚv@k>^'|4\mK9*A%vG_[̣"қaluN98 j_[8 eNa!Jփ\jW8%OywD:'Z4q?(Hkʼ-ڶu>sj@B8dU'ʜLMrHI6 =RneKzC>3-*41OdDWK c_^%Dv69*R.QkgÕ7.`$bNFPfbo .w5c{q%TJݯc\þi r 1~=~o?LgXJ G;@AS8n*1MƵ)B%O,֤\ץ5UBlCT/"w{FL&N?r1Uff*}# |X5-2:޹Z+B-U,GG"o؋ӥ>FbƢı  OrDWGTG}:7Cf+y+++&t=rKqc@'1ShjדÒ.TqA"SJḤ6*˯=GR 1}.1PM8 4GZo\``-Wbq ۳u *:] tҪnr)197fOs)ɀ!܌H>FИ3M^7\2~j=3>L L0=n0`7om0v$gPeJ߸!iJ M >_z5j[y d!Yv!%+MgYZ ٟ<)Q`Ds8К-Fy"m+T:pZţ8*hmsz_k%^wjK]\PdiPCTmBqhۇ =r*YCi%Ǵ&KvYYOQA#]献bQTmC@c2K17ĵlJ_\Rt zЬs\~%Jfly x dU|reoப3~[pSS٢#Cv" Y9c%z2OI04A8~vRϦ$g%^]+lu_ύ]֞G+Kf;9 CPݳ360,X d]97Ώt.8hrd[#^s"&J#Z,u62WuF_ȣ{\1ufLHNFrVNHii>wD]Nq,D"-BW:)ĽxtV%>u{ɋ F$U%rS{X٬b Q2Wc1kP!PbR6T j68DVay-$oBO9uk^m 57%cNQn[]'Yq${1xε FT2|=ҘF_Jɚ|Y HV]W\oNKGI/vAD]C{a$"T>HAm鐦'/SCMb͛.;[1'Daw u1_+Uf%YΒkoK䟧h˷Ͻ̎&Y}I'%obX A u*'%dfAZƖEέ .12]IO{Wf5&IMoN!eH_=qJ'B:C$ q"7~^Iw7n-wϭYlj-"?0ʇ]V%h&72O1Ʌ#}T@(ޤ }lI$G_^]%$%` S:;Zֽ\OԟӒecn1TLY$σ" >u3CzjK+l ;_UT3m-6X25Q#_,.fnFěyf75~.f.ǣ9cs 5Nr|_ŢQ_zEAȲ8 :'&G~@Kqᒽ\ (">0-Oʞrɽn'( Zwt!GBk%@U}XJ-KϓmUya}Y`d[jo.=MIa# +Ҩ֪_nX1",' Qˮ6z*P_}@G+9im\pxW  9&8ϛoUX4P1)HB7\5eHM,.R.Ǡu1T,14R!y*GWnvPS/$Rc+bC͹X ̎ՖKLO' [)Eulw[FS@M]gNPJnW%S Aaŗ[*qֳ&@bGc8wA]kp9Wcxge6 gɐ$7~f"G}&u><{_j=lY5b{ţ;ކn۱4+~iw;s\o2дT=ᐏ+#)î'?Q $\=7I>K +UeSVZ(=!y} R53֢=^HdBD]897C q:!кH{@ ͜vثHA#η/ K^|qLdOYkj&$3ړ5}B]98qc;x7}itϱ~{ARΌe"/KߠC%ƺy&XrTܡFq"Ȍ&͓GhdhkYj*&_JF&R-i7\61!$? 0+@BT7lyBQaͬbji#1ذ:.2BiR(2V1Y%s̤@o?@6l- | _OXP#XGI@|u_&x0͜VcumΡ<  8oK8lܜ0۔2 ?SћjitviĜy^խTC!=u+ɝ?; jՑoQC!3Z*EJ6Ӎ&O*2։"S8%Ly.XFy?V>TFgJy[0jM(Yi&ɠ̥k+-tDUrbb/B|)e32^j3; i#''3v ~/|0:"J E06'"طExJ8'^la %l_s ƈ,76+S'J)"9\sXDaJQ1:~[HڈSLUlasa'<_$7wAeL⣀D)VÁתԹ l[nQyifvXÈ5OJԍ4ctd`}ٗMP4"g_Us7NODz\ɁVƔ:v/1s VSWa~S+CY ?$')4HaA;JR}RA29$ȗWJ!v!EnT%#]m9km-Yx-_HGB ]5V<nC`ĠCsr64RTC *Ј:0TCN"$$W*(W-JIB7\ 1)Lj졖Ű#|,ؖ(ʜmcӗr%in%6Qz[ ZL@!8R=vf`v4]{{wV Tw E96@isx;y|CO #.ddo6yo@:i)8*պL !I|?M¥|z> 7>&ѡ k^{Ș"EEԉ߽q)bb9sGg $=T@!Wy`_ z65rEb6r"r$ZN Y\ΑF>kDFIŻ }yv2 Ibޠ.?J/;(,(_.} G[A9*= (vӖ'{(u1nRyrg_d7M]t3؄l[ ZFuN,GDkea'yKX"B4J8!j8'vbȂ)1$9zB2GVya#بI8\K7v %N dGw2~F׊Hq2;}Gp Z06 >9 nKI}=J;tpv ǭCxbȀE)U e:gwbt8Do&{m]ivZ%MIfS6b_R+~pst(\ z R.G#j/gZU ˈ>.ӣ{%ոLpxgŜbr|ՌD4kDz}qڵ:+QaliWU_Eh6R/ iU;/40EtguP2>3{U%A@sO7؞XHe-.-;, bqc}o-Q+w=9|vyjޙpNy!t/a D Cn^z*xZPqX׳y錃VbߊrVmUWMHdd!DҼSk!ׇ=p%`Ry) jF=p{[|,\ A^UrX7[Eqj916CveI}?,j.Q?4r,a vFdbcɯAj&c.Ώjo[M05(Ho>R&P2$#u̦civ3F_Qˮ=1`tմ^)ytw:FO _%ZjdY(#ŠJe5c%Tfw=IaCxw;;J-2#KP~,P' \8=kĶu`]啬G9L?~-ҁ ۩ゥ+wq+D ?"i2"xHE,B˰lPA %א MB`ROr _ QzZ)]K-EQOV@ـM 4SO QÀ?Y%\ل*x(:dHBh'O0ݽj=:HQ8!VT}5N/]]Cw@Ua.8K5zF:y=B5( +Ck XV jcA擲Ybn7KO-P~+ihf_\R}Y% s7\$kn@٫ #6'퐾LbY`%3I&:$gGr PWuK=_OW Hɘ!F&]wʌkJ4aq`1\iQDE@s:*֬~#4fNj!j+b u_8mOX᮱fplK: ['WKUR6HDEJZڽLZC03W&W&1ftrV]p*5_ktJfƀ#&o=dVk g#s:hxmP$[B|iV D r[<< > H mX`̀%j.gp3 dK۸bfgᄈXGkqm'D$~ u鐾x@̤eU} 2@˾ W5P2YLB #q6v+C'|H\[ŔtrHY5\ƛx9afl ƔQ , xU-dt;/+^o`QcӮ/`sʹН0}cQ:|t-^>266;%ŪOy`W@$՞")GmΒ>"g6$ZwPD\CG?lPk{*PYJ TaH&#Р^%'>?U1PAp `i{hRta~d`ǭ/jxb KWpC)>Gi/Ȭd8h!d/mz[lI"bXP0$Y%()[FJ)6h~?m*Љ+Z͝fE<2tօ/v3=%M\0jƊ)O 8r _nunmm2$^px*Rյ Q6c5-bǢ%=|V7\M~\I pM%֩`}nհns >$c*t.yvOSՈJ3L&Ue9S;;#F39J 2#d !rs ojTM1N+1&6]qs(: ] HWy,>Y˲WG%b)]jc5*f0u] `Lzn?MW ~9ro)R"6]W1J$iz;d06D `|>_pG ^&:1ieh4r~HQ0zM-s8rձǖߍ ՘te:v>_0!``e,CDL\J5;C 6QE|UM^ aN8v5%L`d1U C,ﷺuVY_<1LY_閱D!~@d "\㎰5^亃,PTvv r#QL"sZ(eqFSH~0]xnl\PmތtY ^IԻe3 q2;OpWzUe@AW^B.BTQ+hYqp!T@/u٢0H=;M9+W_[U*]Bg۱{fg˵Dy"Vge,Rb' t :\̙H e cf,'L)'Fl8 5Il> #4MeϖVN|Byӡv5ɴn GQ[puEˆ1LWɱ =ݖU"CyG^Y'0M&搯]z꠆'shlna,#yXB ө:BVXXg Kww@29lky?r#BY'ΰo{@V1ȟq2fR17FYYb}h(HZ yd 0wR>, h Ղ 0 ~i\;FϺLqb\ڵ7z(U=%,EO!z%XE||j->^)quN479`\PhKҍ%/։yw(X+P}#e8.L}hL/z0(s]UuB197%F'@8w t%^2L+.Eh"_4^Eh"{Xg6##9tq[$ϚpZAo'[i#R*A?Φ3)}oB'&`lZ) kaR(4 {@#~uu.ͅ459{K!0nOOE\F&FoR4(`޸BۡOme$,Ǥz<囶iĮ؍P sSeױ?pe-N߽vp;F@ܙeqIӺBoE2˹kHwpfgw8~n"!oGB}8;z_kNUQV>~ .>\?-59mƺ9SE0Zo!Q+G?v\Ի T@fH7 %tȿY])MmhSZ{WƷk dyvGǕÖKH/E7&컧+cU-?V/NRq `[ߝf9yqXxz dNwZ<yIJom YqgN@ȎJHuGS;9*[%6K.?.>ڦ#KR4Ȋuکk6^ 8]|vn ~+7Gd8;f{|st\8yfXYp ĥQ:Nsze؉#Yt,/v>R?|G{(dfzTdVȕ. ¼d+=;2y`Vۡ;Nyk,(Wq 55`gƕ̽L\!>+I(\mRZn>9NsjO5]^>&QP4:ʻeK!ċ! ͒rG N{jTd|UN|!I(G̀~h%LRל-u:%3*I Ksa@\*B)GQd+.)x?o$@[)Paj} *V)u1~*G[a rBm 聆S" ;;{xTZ G f 0^P؉f]w.^~U"&I6ywp쮝d씄Ҏ(*4X 9Av7ͺF.%E)tA*['!HʜCRbBK!09UO4g eo]OM ax#{+/ߤ(8x{0QW^!'9@ "'|Rr^@x \X-2A( _F~1G6Ib*ŕ~(p3+)@Bj4S3cV$sb|(=oոǕG66c:ppT&oH8AarM~xX 9ű>›nO0كg5gh-7߶  ke#KƂzVq?ߨ/.6U1χ0gޥ+J1EhY2e8 O߰K|һOR vvH6,&թ_m!5DQ)W!1!P} 2=4 }_javZ+[b 7aXBs#.*G0j'<3l4 ?njs8?<#+VCx>8F<ڭQi[w3UB)gGw/&h?6Am^Ls^6i'sQЮnΣML,\D 'Zq':V?(ZtI>ڑ~Pn6bQ1OhK>n}zŻ3f/xzmL5CiP.ӗ }e.ىjU{0}ݔ~ALAI܍0JkoZU>?˩]ez y4>JngNO&]LX/?6d=c$22O?x7OOvBȕ}XG>azh M! nNFѼv>([5DDf z۰ލ6rhl0>˞"@r’=j虽3W)Q' YY{cCD⥪kY Hh v@A2ZWuVk+z }|V]VݧP2$24s`j'=fBS=1!mJ>P~2TAc4ᗬ+A!WF޶| qJŵ*aE,s Rر*VK?%HpM[,П»6pM&Ψld;$grTPœ|%t]z,sP .>-f 7"Oإ.j9rĂit"2OL ,;!OLzyrF&gE_'¶=gNJ `fD7ZVEoɸzBMڟo8`u 7},`Onx г5BYw^?abZDۿ(Ks17%Ĩ<s[ 7MBR`Rbsrў1'Ϯ4n{b?٥Ȗ94!Va'.4&z TlWGQA rKN[ulRɺ+iGMΌ͵䱴oG8]@#$QQEuNfuz 0(m, p >zv]t"Ndz`Zh>#m Tbލ:O?h̘KN i=Dn)Yyn-EFfPKAG]L[yl[X` v|В|`TqtR?MTNbۅTSx`w+b]DPLn7EiaSPw' 7G$p+`xu@9Y_;фG1n`*S^.әa|ʵw+a6Ր?iJj>9P[4@ϳ"?ߜܒzJ9 >!xg(Ǒs-\Zᒼ5?`BC̒lߎ&%`hv|D)wݾWS1ߖ}0]!# 8$/zvW>Fٕ B3ۣghWC onW['2C@;[;F7ϬĈ_*3# IȤ"ːHf?  A u4X8oᇌ˼pNMbh\.TFoey}}-sL}7g_`f=fyuY)E=HA*X*`[yu g{5h_?1R頃lcrizDPtmYl^*|x ƈ=ЋYH MFB.;B T&&q{ase{Gm,gf{C6a&ix~CR11"ņv ߢcwdZ==Q23Nq-xݭ5hM+;:={[x;f,N+fLj8{ROM9ʮ6+Mq UMt)MlY4*P\X=*ā7( :@*l#ȋgio<" oR"oyL Ibfuka2*{Zgi=8,Cy m% Yv~ ‡uJ7PC WݻC ƔIp 3o1Jxj!G#Hym]XT<;`QХcX{j̒=>שȔЫU;8 Ii.@.XR~A_FReI 3yt/"yY{@8p}LBJ ޏIzzgrYxy\Df_32j0.HQR%T=+u>=2'#</ʽ_pL#AoNvߛi`#GmZf.$)[ڢU|.-Yq'.LRr\68d +Y{/sq_C Vp Nr*];(z(;  G Яzf?APTsIͧC[BK@x!,]0r N_ 5MU炭Jȓ-+? !Z]:e; I>i1뱒&H@QS~& 9=?4*hga>|b.im&\bDe#d7/XNC734|WG ,2/%m¥ pr48`}IG6|*Eh+^lb9~ -!ծE+6J'|P)[`ٞԽmN8S`l;QTŠq|E JO$ܓngn9N}t2fX )~nVјv\dZ<1k. *&E?9r̺g>4?z ?O9Xe<nN2@ s-K`Tm2e+W[Jytʹ9t^Q<4D5x Y3ogEeTcAstcTi}>݂OvQazpv_ckry))""n/]Ml͐AU}}Ar ;IRɷYY!uƷV*!~Zfceg;ل"y{UNaN*Ǔ䡓!1|&.|~M HL о-X~@qܫݦ*W! lTҀO2U'~0\rL|(M[FQVb@y2۠}k5P0= "&T`vOgZH4?'"5+K**y GsX#|LloՉǁ\. H/C#G?{?vUN&v#':y7|سKyE&ٓ;r1ÍMK*Euvt7Yw֩vg9=O dr'Ďԓ+ Ewa.:c 6o8:Fr2ߟmrWVBxt5e4BE5$dY|fڋi'JNH"ؓn+)Pi #%}RY6T:F0UR0@{ubIy͡B MA.[+ˋ⬖W됱nN9 &}evz>ڵ?Oo[XUS*U/33-^tRpόXih{|E-#67&cbQmqs"t~#Z+NC.s/0x,͕dqF]A@U4g_WoL÷ d~&I($&97b8O uj8Ol9<[~8t'WQ )w;]+ye4ۖ۲U$Ks h6R4DMVj*ﱏ+"rP^Xcqmgs U[T EYyz@ ,N=\{ 8nڷh', ?P$_ԍb~PEɾ41q*Fd*A, |' KmSSL݄~ 3,ױ_Wtw)!5WR?puϑ/8\Zu~yP=0PÉDczpE,|@G6Յ[9AaF4(4[28H.ٌ j.xSV` @>2~rL<Wis\o* gcnL$uH;="4x\XgѨ#6nNTM( jv)Fy@2etmFV#\ߴIq%ǀ8ϯoإiO6aF4 i!Gva\9Ѻ h ^HDiy1 r`C4 Z#BtQǚ̴?2umE. (xk O~:rXa>|#,#'(rPq6 õԕm?cc|\]pVۨV5آa)u@SIPߏ,txQ:xS[f{åk .";H++?']jT SWŐfB;o`!آ*$o,v *1.k3HĬpV<“C0(p`l+;F sh~R&+>V+!:4fcX28Uu%b(fWu{G,fP{V^-.96 \_ڼH8}bcaq5,^e|.xb R6%Vx[RjŏF8!+#2a'O~K gvvg6 6\{|񜾚{P(quS(&~[Eta>cGܲ칹I2g*sc^=f*H_`P 7fR\B%soLH삫J>'Ʒ6ZG°'Jss\|a )7V@N/գìӽ@(KJbkN{/=Jϱ l A%άoi϶19*c 3+IxriC*__Zi(}Vv 20aPUSŠ{Ʈ{)Wi=cϟ g}\9jjd!L!6m'߮(k`G#:(+Ͽ/:?ɚ_i;̚#|(W6gwڂk&͒^G`mg|d>fsx9w7"_ֵJ|L LZlwݤ1͗z) ?&sE{?EOKԟ*Y,r(u#ߨP:֝ qU; Z3\,K#2 B}H^$!E)7FkJH܍0񛡊AkHX"rU-pK!$0 Sskd"ns 5V b%Qզ S:ԢrO`*(H]Ù0 Q[qG&:ø=Yڢ#i+N '2;^pBBGd]fxs%2^Q!RXץ7X%=ewR֎U, Jgts h2O "xC;(gY涐c|v7O`g`r IyU Uo9cثn_<;^9q'!G'I.5pi\N9̠K+ӍGC'FE;:S Jd|\=4 )]99iI[]ps~v?h?4"xr4Uw@)%!B\E(_vt?\aqtz@}XH"JXgm-T=kڦy"%bYd}z,RmoM塜;$}"tX!!8C3,г_ 0Vo44zJT7pR_C aOKъjdmdӽ?kn \MI;;:],Tx":0ܖ0*L&$K2Bkb)]{KDR MdfnXg(9vKD,_}F#|v|6ج!ui:T~'.u 3I 408)tquqX*F.\Ʉ+礵<ݷX-7ذ\{x(JibĈцP~:k/H& y8_gT*tBC-z4 i B:#uK}0f*yJlhގL=ہ8QvFeKȠO[s͆JIʠTqZʌ6t:x@N#V_p3ɼM{ 1"ŝU{i0U/F݇7yF- $Gq@(\n{za^vYZP(DvM(>Ƴ+%JYRwN=\*|w0+ϝ#Ab5v 00KT~~Qqe0j|˞!M5|8R$UL2k-{2BPEfqDУvvikuP T+;oS|4mo݁ؖkxF,@O^>,Oҁ& N7Xi ={A=|àpJ",o-IX�klw@/gzO {"w/ط,E]hrz8ww0_B!#n -(A3̃%1>/뽻/I:s:B`jqEcdأb\H`.wwr1a.^d-hgbS"t {tI|1Θ?yKb #/؛CZ`_=dZ+r9HNPӾocDfF/Qk{:F䫅'pgDhqP/闃}? hTy e%_5ʍv91Zh[ N-;8?x%-ӭ$ =Ze<~Etп;ٹY˫! 9oł4υ1)sE}N.uABvĚ EUdF\&@*` _?&"ƛ!AR 4Wy]|޿Hd#|TQ/ۿ"T>;^ՑĜ=wFZc (]RXB:X^o&@-׭ɇ<UA4(Tߎ ]Ö.E\q;dؤQpYboɳ4R)i,5gd"˛2zQ+Wno\ES,n ~jU/uMc *FsBw{_C VςsK<)!HVSi#m!vl`Ӥym@I,&V/b"vI@,H2\j$Dˡk3:$``ݗ6ƛ0v@;Ɩaifv/Eñ  {yU˂VЍa]^>7N\.!4.Mf[,q9\tO%ٓv;16_i HƓӔ{fS;׷әG˜Rմ&x#H2P"uW툜̱b1/ɘt WpO]P/"Cu_EDCԩBHVl}:Zv"f"לtQFx O 0vh(DJ>fgw}79F+p͏ o~UUҾRPXjOvVlɠT| rO!B#mH8gH|R֝K5 Ȫ'gYZ V 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! E}]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]oҭf4+%<=8-AתRUЁ -64*<:/MK|UblVϵ`%hނs ;rZЕn)iVac@inb"VW{FϨl>Xb:O*`4N25Kԅ3Wu\~9t3W(U] #RIRCc&,2K.灇ú72p댾=u5)&vB? {]t4cI6K o$s* ă.į wU,ԕ֏ 8/QQ ѓ$dl dxFzN+&߇,pkEp֎"}va$ZiD=[D(sRiOUs9s uO|^iULPҒ(pm:+Yqx| (ۡ]_Ǥr I:*]'VtOsRA@Fevܟ @eY5X/!6r% FTT/=\ÜE=M Ҽ<&YGSk86È&@4i%= wm쑏K૩\KF1<zk0-7i`R j$tQKG!0 !f&A_\UA4mkA&;uÏZ\&'T!|޸t_ǁpW>U m=Pñ2 3kx5Oh?өkM~w"$㑆S! L lN3C#}Mc($[/E%%:EN{"U޻b_e(Yk?ֲzb(F\Z`GkKicankkZ~,깞ɠ\4Ӻb"w.ɎOuSbTܱޔהxtiՍ=[K尓Por|ٍM԰%^\e0F 6507ӄhgge+;RCO}}܌֎`4v^Ci؋uZhbV&^ȫa3ἐun@%M_P'X*Bt,nvNovTʉapW~լe7A hZilGwϿʥ+g qItZmv>Y r&ʼn@_1H_)ThOL˨VA3hh\$&$dI;venC `O x>DFZiAU,j-ϹoK'>cLRNiy3Jd;w!x:k?<bDu}6ZP~f_hN#qLJsU4#~(ag g n*~۱(c\Ӵ~&Oj͕.q:z}qkOR3ns]F} 8ɜ0dS*h],h~cw쥭|`o{X((iN..?6\Lk k{v%'ϖD3aw$Zjn=r y JjPE ;/MtnȊime;eջf0<6w-^%ކ7.y>"eKr։ߐ+bu.eeͶ!0vUoX1$!,66̰i%+3[|N̍֟r@c>k篼ħvGyiq/_};t}Y[d8G$?B˂0%CPK4-m=uAn<]Pr|H@eAFHOC {\Ԁ@H4aAӱ Q^rN{`$NUFk bK֟|%?BVvM0fN .6TG<\QN+؛gE /`T㭹`Ͼ_vCehےFvX ,[,G .6U 惝kU}-R0v)>D>-$ʎnk$XRXKL!1݄C!Y6 t$oeofiú|N\iOR|Jv%NapI7qXbQ*}շ $#d>Kr:k}Dc}nl&De}xf(!l@%@)g3eIC |etN2Ny3MR,qS)ng$ѾtSxߒoOUgtr:H1܈]76~d) MֽFXIA[V>S2Xnk+O |՚ʯǜ9bu[؝"=_/kl'5E%^JBɽH wnU&I Cz]D/Em Nmp&6cHkB}6ısZ9iHI;j3vxN [K3qDFXk5Nf>P)ɈN)"%]9`qqb i &E)i_4 pjaa\(D>15?q$i3|F}e櫬q ^8^0a:bOԼ")ռ#{*G7ܶ0\h"'}u^TѼE*4f:WGU0*DF8iC?L+w9ɗñ1KFִ?`>Ib.|{z-*U:@p#r4sl Ǡ!$W?yoXp+7qw>h}dјYFuNOJ|-/ 4J *߈qٲ+D6d@ӢZ |x~2țnjxG^' ?DrĪQ%~@:OJ?-͈Gي?v$6d.',1q02R "բc״%'B:߯cTǂ\LZ3'sT80FMAA4DnTTH,EJ^ʌD~ZGjm!׺i{,vo]e|^Q3@=w 5f>j#)%A0M`pCQ{_9Cn  %\x:u"*AF}9t:Df#=+;,r~+$D'T+_ݎ9K_IPelUmHVB[@B똹`TVMWa*ً$8 #E l&O(u Nzm\!rz1_2N%|A5 L#](crbmJxa'zo/l]bA_ބv8+fxq`HGEQ[>kM^ItVCPʵsu|UQy&oթdq]d)-٧XBE!PMEseY֭];ߥd{[;b2/-EbTᴇDg2q6̉b6n;%-*.$SoS#߮FCl'2>晁6Nq'a2Jɪ1~J"'[Jח/8X49$luOQHbbf.cnL-6+nBaźz LB/|N)H1YYoذKaHpl<|#GJ^eO#J|%c gYZ z 5W' dHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF!  ]Άxʆ5.f-9 rq=bv'tȯQs_?w,8/ c2ok+HaǭgBZ% qz}Ay.rW rƔBo P1!+;o98^[n6@#d& 0-Hԇ6Չ)G}ۍk^n}N'_haU߾YlD3rsq5ƓJ0)g& 3(G+)29(n3<njd&'XzD"mf ׊%.K_?(T`ٜ 6܁QikQv]կ* zj UoRDv?U~BP*Tiaִ+8` 88 ZLfz½hZE^b@2 gia#[5\3*ДqVڟmwϘ %7uT<1^ ZT3f7 S곷Ei#H@Z1Msys- ˆ~GlbH,_)I9 [ m㏑929YI̳7/R=,/4? |Jz m*ꫯU.P;_pې|#gQM f5ަQU{(wu]ȗyI`*YW|~=cy mW,z4XR$WΠ.Նu՚^{]Cҝxk%L177slVZ)wrmi x/U H=Y'uɉ?)w joq IaKOS{W^ku_Ije_kQ,B$m0jP*,fNmNԉOoq#ҕVdYjlLRs*c̊{zcž4eJ!QMSQpNk'[v4d7zR?afGO;hovU\FD䡐!vWt9TI>\a# tyx5t3?TŵztzX5Ĺӕf82+ Q5kkd]mqL:J5rIҿ::="\)N$NB~IvP6Y'*[1'-/0|Mvcܢ|*/_LjJwz)P p8s9RIjXlToM=OhZym(_wZ㵑-w5!c ‘%PGBtOsϩ(H\`-&׋ʗQ-N?+wm/K._t͚IƳЍBEQ,7"pܣgpzr$<`E15m3:BcH.( Atx,$Z=O,m鱿1-2n4f"ch >+,<7d5f:]?۔q1׮fؗkvB`2s}[D'>\f bK8s&!pR*b,\&Y֝oBd b?gN@@̶Z9`$Z&TS@ ;l:*QLx1j{`FAyp 0NR[*Xd$|i%[pQ $dE$LaMtmΦF -]3ƘՈ~ͥ iqVGoDNpt 3qOxr(Y%u6.IoR è[(dQ0/I~;,n *ږ${׭#))bW4xbaE4] AՁNmiIJ{O.y &jO]-呖dn/)#ThwuZ+nЙ$D!.=iXuSP8ּ>/&Vvhh2MpKopvhMw&0>u S> كgmƕ7j`p-LD)+r2BU$޶ec뎿"CX&]VeF/Cw:S|fºVe TfЁ`RuJZ뙞Uwy 2 (InǾC̎CF _*'&c>h?]x6f{bI9(MU410F{Y!z->)zUv\ڢ1)}-GA|*Μ#X$z?h/f &uy(\72BF!q=耶#KDZ2p#w4wRxh8T8$-.~AgBc !lWh)ABn//Lz#ʚ@͐[S#FY)պ'-7M%p& V2iHd95KvLgMX׳v5|V-Q3{,ԍd!!{ozxߨ7AmIoMi%ɠA^. RGJwΪn\7N]_7 nDBX}an( s=t׶IY/ߐTn$͚˔ ztq `5{ ܍$|rQbl?wN=_|ʤڛ_ctp5X`J gYh<\U͌(%0eE֤%hsL`gYZVzL](,-uMJ0x/Dž1PqJ+p} )nkF\Av{PB !pWYd߳J~Y!P AhkDB|4iK,o 6C~J^y4Iã2 ș^{2g8'c,f.G)+j':m5sUE~*n`3"Sُd 6/ Rz: ڰ~@0@[;/bgߓ݌nR2 ڭ!Pqjt6|nu"|3-kr}G?/#:z-s@ m| CHݷoKW7oxʍ1.F}u}#hȘ Bެj$s  LzHt%A' ڶrm9k7B:ma6uGgý+.:`݃Mb5?R>^27/FyyƏgtkԗ[W 8a@C eS`CFE4I^ٺsaL'd` K1Ej9r7a4(1~NeH Kl;?tqtqo%:eG~OCW2oj6x5Ob+ވ |R5<E(& _.σ~ <*Xl?.>^ZezΨ*F(vuW7?H3>nt /#I[zuR5d 6gߛm\U0"Ք s, mܴ`5%8渆>s ~Ѡge1ڨ1{#mdv,@ u tXn(/"G=1 gMO*j; 't>ڙ`_!V K9.Slʱd]L g-6,P2聟p7:pӃX2I7_?Zx]<ڮssv{:XG]:'}NTdr"xZҨqmy*'c|k)@YמFsmL6]fp*A:C8y|U9SmV ݑ:1dX4S" j̄~F̷ϡ~ghOg'jT3N(Vjis~fLgƂIg mv5n†=>N*\ Z&j}_j-fn{AyOF}cNq&:6'`TLPuC]ȘbcL!^&Tc :vQ1}T:"'EbqEA3MzEA.y.l(6VKIgͲUB6ngx5dԅTUt ^lLRL1,jh:}bVl{#c3 qڽ pJRnA+[ |T;="tz ECgf=;I(N1߃2  زK%䄮ҖW0'B'|EPL0Џ0^E 4?#Kh*iA.mH?! Yݠa yjHu}z2MU ?@*áJ8 \}H 1RE>VNLB~`h\(g"]%VP bJ3Dq pbNqKrGQ-QEvՍCeH;ɔv\xHHw' Ж ѤJFQ 팾, f,K}:>G6*-жINi ffD $~>ثZX< d|-w 6D^Z)k.+iq={V3)L2 `jN?_ÞH]4"iFJ>B7yWΏ3`D"%{w ?L9]y,%ox_A 9`YJ.z#M9LMnI(_)Enͺ6YWyW:'{Vүe|h=~T<-xW*_B%n4 at )B<@{Q}Z2YW\>?7F|b ϕ@Gls狑&h-#}l#@kxE-ۯ,?L EH ñQ5Ef:[BaT7kH! "n\2fv;W@ݮK*fF?6+xP2(-%ۇ ^hɺ8Qq_FQ''!Nܮ*S8hgB4.~z1 &sqp)K}!Vg[7~I}C8y1c 8GIxioW6F,_HÑ)`'˻T$ G),ʍug<$mZ}(5|+ P\-A{J jPvUxH2ZRM\J6߅,`ω\nU,rf,oo\H#rw*#>h ^4Hp٦`$ voLe ٹlźbII|&2Zٜ/C & EQd nN_a/!2 dW3 ylm-Nt]nz~uMlɝTeB0gvСWsnu%jHGr)7 = L:}R W3a&2)+?9ꤿFfI7 +H*DHQL&gx6r+ q C.Q,+2sgV©O^INgDЌ v 4yX νA.M:]+ H9}d ˢ/V vlF΢^sO|"MrM"o8/[i"muSj^|HhKp>"pLOZh Mg%kkė96X8^<%﫱V\؛:/ ԬǓ\x(".Fڡ\٬Ĝ?|7ΈGie)V1 gbygnfԪBS91A M`HQj[E^=^@,7%Ma%B4:] uq|~ܲ}%+G]EY/'D