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 55@5zd,l ]/ HOL-Record_Benchmark:threads=6elapsed=136.282cpu=208.094gc=13.9327zXZִF! i]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe);O8v˄,"жbub@ugYZ7zXZִF! ^Q]ŗXiɟ1_sB2 ( |Kln/h.ziA V#g0H$lbRw[8"ezz m_ }YZ7zXZִF! &o]ŗXi%BIHulj;,,gvNB_/x %fd+ءGkb9e >J`?΁Wի(6sn86$YXh+u ~(,$^"/f$<Ih[Xgt{=,Q;jT K5pzMDwѲ=:Exjk 0x|nv#ZpnnODC4[S8\ePcQNxč#WzcH&3M ުR4 9viv1hYKg 3"CrbQhj}~'I'3E n\gTMdF GZTRY`훦Fh Qj@v &n1 6 %1]0`-/}ŝ/g$s[]ԅ+J>#7ĠW@ 9e[+w*d*Cvk595]5i'j~2984Bpth|s~4UPCZԕʵ腻"g~{ުkurrJJVB3PGmvtrs9i %+ձo#[ǹZIN>ut\wI@^OCJX`m͆( f`ZP׹ܻc]E[xadrA&`YrnxY/~ٵ((#o#Q*"邙2J+A߾Y$]S:r2T]FgRߝ2Kr+TFwT:=XS7r1p /K"U=t*Zh-A %_L!żnhX@;I1cu:&t5GXMf.tz~PywNMhhy/1׿oͤRZnbYفeka5MfKZ? Ӂ$l0k!n -}{T dlD${w1Z{Ǩ5r"#fs+|#t4Ynm c²i[Sm5|{6:>qbONkȿi{-^jpQ;7C@:MUGɅVv ٺ5`L Ȯd*:sW'ր]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 j5W% 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*z>t%pG`yzBt7gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchma    _ 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/axiomsL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/constsM5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latexK5W%HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/typesL5W) HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parents  U١Ԓ<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]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 j5W% 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*z>t%pG`yzBt7gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain ^5W' ,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``H؎I8d:d[:#$XvVh {?t֮m]fL|+բwJ>4`ԨIx*zK&lR$ɷc,2;~bX֗\a4$v$0`v wHN4)Fide*֙xEh:{J16m! 幅n8"]Osr0gYZ0W{,{/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 ۳@zW ⮖&vq;HXEL*C#1[ z ;~{،rܕT'G篫I5_Jy0M?­T1_(P(Co]Xۂ Ik ;ф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%ǀ 5W' tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|FܭNPbl *%*cݹn6Qd@IAW@ `n#Ѩ~h,(mWX%U:o[l~A_ucbtNIA. x;lHnu$2_|J_QAË[ I]Oʓ(>=3,ܦ16s-j&Uhד {\nhvIoW zqu?B[RBGCI5( !n*e13 8ϯoإiO6aF4 i!Gva\9Ѻ h ^HDiy1 r`C4 Z#BtQǚ̴?2umE. (xk ٟ<)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֢=Z=]Wq[f|lcg5nƴ*I_! JH= AoJt"?oF*V)H[$j]by=gP6 ^r}˪7yG%Sn+F9%*<;QBu^RTœ9Y뀕:#]B k`+Tj/>! IV4ŸE3GjvBNTr&&$ Av]zԄ-\Ieb!Jjό:BܿQS1r>|ruC$W!3xdOhOq{9e؂%LCR5Yki0_k/^Ag.[ Wv7z@1zn.U~7YK2< iyk^-f+`i_D mڳebU=ҐnNҽFh$?\sMX8+fAɚH0ֵ^B Nh20n]@pTy~^Nqs#&C)5*e1sIԉ8B)V@K٫>/ 'G!s K=bVQ>RښK Ɩk-NxJ?5 PƜ'#14In8T}\zȨ/۾C5 ]0-[ BdZMQ9x)O\-R$(;sIxb9*!#\ (Lbu7rcZ4tkbTC 1׺T|`$ƒ>lWb!Q ;L:.bhq)Ĭ²^OЗT0pY-o̢${O5Q1T[w )Sv-eNLnwfV,$%" zތxt~VrT:8|dmV.-Žk8U4@Gr TG2t w.Y>'91LCΤ  FWhwB/vxZ,|]z xQWfֲv֌+%ƽzB,kxWvi?D8g g"Uuԥ@(Q׫2p$,Bz[?MOEX_KK}laYUBUZޠjeDHh}3=a԰ 5RD $j9D8@r3E&BNoJxmF1G GSChmcsGVj{P;6'`^4 .q/eHe,^UY}N!F}M[v8' a N|㐎xVیrU7 :xқhR5Zȅ]ʫ#u#*'Xj s"Q> x"N %wum^s&̦ԍQG풒!똾֊>CVԢ7&Љ>Vi+0hpv#s@U/^H;Q8޽8Kćw0~L,6 ,d`?%nߘ'lnCZs۸1@/C ݆{43Gp}Δe>mWy稯_?~fJ; 0fZNT&qIgyD ¹U5eUǷtn7q"Z/DQC!-1.Fô'CQ B:~0h?Jv^(p>\ޙwZoT8sjrRg ۶`ZC@2^ǸsX_6$ޟ5 ,<`~""|%N:D@$([9G|PE),#YtdO&\aQ­:}{}/yi l`b1d=[DlѴJmLxX? ??HvkL7TMJeUJ~Ik6AM3Ru^i2QТj8GoIbw 6| B,%3AuU9WW`IiFNqaI%5"ߚ6h %k d+ڰhWA+WtGt]HĒLTAE>+dS")ӂvպ Qä U%}n?{2mS݋YX%-;[n*Ņ2R6T2nq 7"HYCOwC䓹d1jdR%5fM3e9Jzc\ iڪ2`ykTHYLHFt ٨4PDg{!:[Ќ'$}?Wzt/7Dވ03L T~3i%70c݆Np }Qv N6$`ֵN,j?MCf=PqOrl~fYN]'i0ªRwD Y&ʗ#TBB; q2=o@Y u(o%xNDs7) X "d>NIL/>ۃbok~;v쇎>gZGp<,~D-`G.و/OklJJ2Y8;a!4vOyi#) (xsUJ7'hLco"т9'm޾Ы&7o꺪rE{%]N\8 '2{0] 0M~A5I=X]'%PE/7/fpl/K*tAy 5ftꎥy$j7=jl}>)V_G]l'cH{{>oVH>ߵY{3cmcvw7+lTA`| DG‡=znY@.:ޢ`L0Lbt$;tnqA\QhaߩMBр^@hYFD]L=Bbk"&\/S o;02W-fzmp Z gdyOێN+< d9p1JpΐqG&PwB9T'D *@xQ[ѭ0W\YQz%^zhٺ9@.yҌciA-PݡR{fڅ⤸mZGQT!-o5>_XN5A& _qK3a,وɾ`u dR>מH{iql)nl >:o @*VWb"Ia=e:oxrI{Xh=u32Z67!uo[c0?#'2vUup{Ҹt]k;ys=!e_ϲP mOGTtike5nHϭZguiXesP x>׫rP[S:e3O[dn):`bPņ [&RڽfZ+4(YI_wZkTA iJ̲݊2Y5%RK@cH^~]* n~#B\>@O閝)2NC 0Q95Ä\eǍʷC?kɠ%fȇ[h|Ӛ@RDҰΒc_\?lF{/Mʠ(jU"k)ܺ燷9-ò{Lb)1Ht|7v,1,M0zM֓ogpꉀjΔ\QJއByĦ5K8/zTHw* D؆<Pfnakd ڼSh_ؔH΂1gt R>J<2_3Zh)`ftW!h~0hF`E%2.nj+q2 \=s##-Ry C-%cpB`Ӿalp$юU}\y%?>b5?W L 9IJЩ"IlxG A"TJC9VE,mnؗ5louze0"#&!At4tju]֝h_O ֬|ӆU IQ;L~2Hg m4xt7%쁃+2/Gw[9j4? D36H Nq]( 7=Cqԙۓ *,a#@>r8B'B V&݊lxvqT_uclu<vP:Pib`~_ Z [[̼MP_h QyYQd&jvp 3T@ 7~^wT aM5XYB|I'S\W9]wb#|[rdSm_mdϮ)+ T08k}SP2Yn#' $qj)IVPe/1~wPߧdm))\.4{WkqN8_;j)ouȔ[ Bd?iFr|ֹvKPM!uXVE#)bn" 7 a~}vv?[v)it0pGR=%˞wK7]Qdmo$=ؔ%p 0շZJS_(7"E5R܈Жѷ t! M#a@Nⴚ=EbqX,tS^ r@]'NWM`c\m( Ӈd÷a`Ko<} שR*ȭ6AMdD )[Y߲ mX[L^ X?S1N׮>A:Z,E6+Zc/gP|׋>#iA%wfߡ~R/b(r ?{{;ˊ}_mnb7ICl)pP qL`H8Xతu }cQX US g~tB[+Rp6c?+/ٷ; Y@oҺ>QkXpF+Kjeʾ\6L+pP1vy5, өVlJ֑8>ד, ^W6N.mÙ+ĄdfM.9-cA`*e7Ƭ sD#?25\u4XK&SL`<'y[ 9˼.2̡;َHȼh"s, =%c/BXwW-}͍-n#QETq<7yO|E4S3^btGsaɀ7 @ԟsDkr1+EXe/giO¥YzgoEO%#n {u1㺼vX;svu ~j#g5`N{ar'@"t\uQ6@ýע&q?MlـC à Wx A19=5Ď!K۫Nc!% GRUzA%eTPAMM}@.i7:m?@=NtEDM-Ũ+'ؽƮi˗ّNAm .2$`K! Z3bH&#;yEjS>DEe*zZXSS;Ex)_ &XZ]3+'Y?!"t IБwr .805-e'΅E >S.# q*a94/!DbVV{_,q[Y>WsfK(PT;Eк[g㡎V6VI[!a"B꯬MM_ h1%7D BV,Լ1k66.m@dAf7mjÚ%)Fu8G"tBwpv֝1V}7qŐXkOVt]x͟(7Z'c 4r|#>&Y@k<D*Jq դ< Ȕ7:#oV^Ɖjc"\Dk].yϐdҾ7 qAӃE,G4 F)vzYpm{nZMNxUZ۸3`4D޼&i hC;yۣۙlmO΄]\Zu7H h+ʡm6SsK5$*{&>+{YMSh:G{p幛bh)ﰔ 3"n,`xݴ_bӇڑb!#k71]D["-_e3qre,pv,i .vKk%  \g[XL#ޜQמ蟝`E/ӳoeHe1$auq`~xCԌ,bQ](#)W? p[D&GC0l21- "4}+ .nB/'tmat_%6do9~P8w@{v^` J0 7l)%+ Ŕ! -_'O+ܬe<,M&#UKbA]Ah5ĪM=NFbQGeLxSU]@Fg1%?^4unvw{>W:)cg⫧6%6+%eS7@(CzLE楣 |U8NX%8Zp/HtQ:&3+Y`Aam]} ĺ@O#2<RAAPm֚`Us{ X6+r')CVK5r%XP?1EHvf a!@wel'xhqveir<7ꧫ]7ny@A˹ <#8S}QS6}6c)e o!cb=CY~j'WkqBp Lw&eOt8 #N@8i(GJG@Zl>X[ U*.Ǟc Ҧ7qD^GO=ܹ%iō> O*}$sƭdqҪs;TFV˛\F{^c&iótLV+G%Z]bҐx!ˇ3H!!nck):H8 QU2!htJCC2 ,'K|lO%C=0A' wl`;{Z$鸯 #H=9Idnyp/:G]h_:UH )Pc`oPH PZT[VGo4߮F,ƪ#3;?Ck{-9f.f{^IK?@E j.TotZ=ob(E$SUVދyȀT7%Otۗ׃8BCGy$dma h^2򒪺H\6{GtRk8L&kXzG0v29Gm 1r/>[i4j h~S`ҫskf0&/n;"~80 AY,Bd\S}A}pd"hgsfc.,cSbd;T-7 [4~&KQ;2M\#*}} ~Ȍp<&RqJ&aRbQ{ i HeM[-T/ԏ"}'B74~ku{…2xFO-{4\<[A3ZukX@?+&(;칾+2.>/8nP]xhBԂIʷiy8%9aw)"O֕NiFȋM.9qa4CP^ϓ8NAc"DT|R\JyWa,ᘓ&Vs .'Hg"zZ&-Xaiuy yeU.S:`w:o4}Cb#$UwXAg݇dVxY waCiWY:| z;̔SS4],(ipd3[6gևʍ>+aKexf*/ɏftwI!yKRe!O "#*xkZT +N=N Ʊsb6~ 6\Pɹf6D̕cb6M+B=q)y:;/dinz假'0S t]_3ey@SxMs0+y9ޏTWzpth@3l,!>JDD\,ۦbsGktRd\oR} |[ȨZx#WCV-IU)@HT $!f )(.mrŞn'2%G :3fd@:[Dsn#j+ *Vܾm,P,A?P*!, Ю`Q 8Ÿ]a'Xy% h}MF S}u& 3GzYU4ej с{׼WUcAۥhEu(;:Vwhr R6:QSgs9/T'O;mUL< e$u0U7w1H"ܫ Qfi(q${ֿg޴>nH#I[ s$ޢtz6::Ҡxq;~qG3. '<{R\G>]\-jleW.E;ڰ{ ~Z0Wr9yC`Cو3\\/?ڬ*e:q;PqY8'}^~7j8K.f㩅ZfNWyyhwPc궭~hq]E3~1_(Y0tfF]o4EkaS~W gVvAhOZ3@ivtAEk to.L6X`e0=P'<|}!ɔұHR/wĽ#u]#V4~1ur8`UdZ߿aYidUth[)ګ%\}E$w9)YT&4#8KmZZ^h.3ulMOAygX4m:d϶JAz7uJX,VV8H$P,WɆ'p+xk..uF1!K3j -^D˞?׼~#!V32nJ.\u^q s!_0g A "C Oe"S?8WĜh괄"۽B_J#sgYZO~: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_p hr5/F%ޞ*n@Kf|h QY]Raz(xAZuӤr2@ /"VVbn 6]}I4@vHK BQ-E!Ħip~$Inf&y+0@w⏵{}+aG՜srzуI{= 7"[y [`mK4j,`;ʆe-حQW6m,>/KFuhW0S^`j&NĿfN3]u :{>`pi$@[I 6o;h%XШۀiއs< f? z(@\7BBwRbn9m<ޕ3=vv~)|cC8YoAif aUnF'!,mSw{mu_Mk c`7\-;Xtn~ lBUNo]Ӎ@jU|jd>C؟oEG5T'DH8Gߤb *'%>]l4ldmrLɅ?$|.> FF@aXM9k8U8RcQё"ysh\n;O2L>JJ؃ҙbEtPLj<\u{2E x!k6,x?~V= xD͖.j:ő[ 4ct\,Q;43Ev}j`[cI,1s!s)rO e2<֛b`:3(6Hdu6TI8,Jfar )xa^*\tL %#̩ lK ؃;h`좜M*uU?=:s5vɖ>SWB'׆sQQ昛\?M #ܳVNSͫ2IӴeޖz S~Ȉ&\9MZb "mOnrVN>Ghʩews "uu'8vwkUr@|nEO]Ȁ PvYTH=Cx'b}$RD~@ ;W~vd%y-߆}wkQ8!dl.۬=nx93>pYm@!9L/aZPYFg$:&b^WRxI0J8=dWw(6BΤ|p28t0G V1o\Zݬ=ʍGA_ "+}{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{`$NU>Aj/cwy: 5^PJ-R\כ#·ngW$~2ʫl4<7J_O34 (Sa<Y(v}0.Xq&EXmJkvMAu vLߎL|Ky8hdmҗ]0c)~jNO#e4;_J?<]tTJO~ Lމf6d$j{qw  |7?ϵ>f+ޒ-c ך"_bpw6A}GT/ic@ۚe]eFq=U9%qVQ5$tk*z MbO{;ô67tf'ź` Cqқ6%-5O,L_=兦Z2>A{kOh.F"tph{)#y'%y5<Ha"'X{ }EAWX {DMM C$fvYbh6hvo2QT87iKg:-:l%ɦa{_⯾:ٚ9m{8 qtSib`y"PV3tr^jAhFT{ԧ}Q0b q鼩@j]ݓ2ʜO:֓[Z9Z29]I~'0>-bq)tE(>O궗m Ld.簝ɓjTUs3TcC~5 jCDԉ?$Qrܣ_ *sSJ~na< r/2)z/$rs\7p͋(wVef|>wPSB9"l .$RKZecSud`X3uw0t'gU}\yk5,ۜ$baDZo_4h*(nDA1J##f>RWۚDrMтlLezr2bЛiOm=U,5hESgRSYhB1V*FSNZ9-r; ~#vzQD׭uix|M{~ `Y`ZGM˝ٜWoxMu$}ɊR`~ʰP[S]Z#ԝS4 (Qp 5#ǧ(f;YZ F_|Ow~re'HPo@b'}7N'h$ |;t{;]mLD'tHc` B#"D[+u|]?.)̂o*Ω̸f#QJe#._Ρ¸EG5px' `*gm{!^DCA?5l%]ti3#ۭ=?{Z3&jbmS] H|˛[%n|pK+<:`XA+6CGf$\#̶Ҡ@$À p %,LqPuSwP& }srALd7UHѯcc6N6*h|}rn{uy @$&񻎢x:.;-j[{qβYS-"X^ ̥$ѵFYBDpe8T*370M/-jo^4@BŊznʅH%`u9SECE=׋[Wv lOw]i G)gYZ v 5W' \HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! F e]Άxʆ5.f-9 rq=bv'tȯQs_?w,8/ c2ok+HaǭgBZ% qz}Ay.rW rƔBo P1!+;o98^[n6@#d& 0x7?8>N5yähn4cZʷK=YΉ=sKy&&N \ހ' fQ2++4qI8Ts[5d1꺻kC[œLP*o]t}NKVG"'_.m7KdA.1S%Ww;!xN)khfߴ8*xn)u 4s kNEtcv,ȣYGkj>4{u`G(c&r{(_Ѫ^H' y߽IcC6$~i;\F"x$\*@sON Lh5HjLt_|!-[h-,BIM@!R7fiQqbBCQ8G ۪Ѫ4շb߸^>@Q,T}D3,djYԾD^}ђ;x0[RԻKɞmHGp`썘.|Mq*A—" cdu-k yST E͹|ådWKK3Alg&l tكH<ӚmH,N]ʾ[zZ%J$Ȟ-3AB݅|#ux(^?g)n%U+U' 5C+Cuy׳^;(|j-H'V՗eN&-0ȇ<0Gtv!,z4jP3 $#y\/ \J>]d; HoU"m?D=ԷhTP]_<_3-ΰ}4 ΆJt~e%KK:X2E;Whzqpg8.2<^#Snj2L΁f 4l!b_I:f˼+or|X0?V|7mTaܿD ujRKL_GK ^׌NAY_ޮ2OO⫍0ҡk >9|[3麩 !hcC}{H# >$ KvD9D<^Lu'ҡ炸 թ5͸^s}s_e-x쵖4 ,֔Z6*U%`knb\+_.I_حc~ʞ)ddb`!ŗ)˿pK6֦#k{T`BBHT KbX:;.f4!҅:->w=o Obaв11L3Lf88c4ܜqS̸{љ~-5qSo.MX30v{?:.߽@-lbq_#Rl,o;TV'R+Cعe;O%!5?;/@Gʃe*wFK QɆTGN%/kV;^zcLneߟGTqTx0dGg] H.g%kc{TLkA#B4U3#{2:X1@,~ϼ͹b{ӆ_Q70 O^wzxwdK{ϖ7ZHpuu+}aRV3۟ć=Lz`AN(Ѐjfo *~V Π ۬1VaW7~ x8/l\8Y3mzXKZpfi9SdvvRQa8qzkmeH{Ê|V\WF؃tZf+ظ"S=ܪ\NRp=|TB Ar_<Ѕ%vS/rзt/ZVDxӖ[Ed1= m0!3|A Ld>qDZO o0DӐxw-AknM8o /3BydoҦʋa^qxo ԭE[sٌrϋgYesvu [{(9ыhR'?;_-wls[YWlВd[oڰu.G˪bzGՉ|w>i#O1#%T4DY wg2g#R3}(/x𪰸}NǛt7('DDf%I‰i$¥E.K XyUvBc%?G["QW^rr€9,%/UJ( -${EpUEmD!8 ܐBZ>4xӮ{ҳ 3a"s"3YH~*O1va{ve,-D7ZtQPqF`Mg!*SN$UymU6 v_#YEn]7x5,JMc8pf _k Y랾2BVq^>zKِ_ڭN6} qbT!6Cf:QTTœiG$gbʜLP%+yB{JU~Oöx JLi\(>[7KV` +ȱk]v9㮂aĻUx[b!TS)@ <1 (Q"Cݬ?G: QxZxYS})yhV]*/CV駫LGL{fn0&zϮ!acŮhLH ǡ:_ۭ6?HcanIJշ.rZ` ?D,fG'yۀ;PV>MnKl`5A sOK>`S^ɯ[3QspĒߒuG3XcPfr uD5ɛd#J:ZQ[Moz܁fl$azGD!ɿSt֞su8"#v:Ӏ08ǐ)k8|tCטP>7y;*# %}#F^}Bѭ&=蛝]Mz}ϖ۲u !zp-7(Ǧ= b{Q@ I$Ŷ2*I*}({䄦nt`x#m+1q|pJa(Pb?i7is9|P\(#!OVEQ.kkOC$\͟g+D-=bo*gixq_U믁V91QfKey>k@F?M) c%S%Qx+~Wl] 4E &q!7Pkd)ˁv@uY%9Rin@jcnJ@fj (BK !XM@qT, stcL26 ($KD^NgBCyE~!oj{<1TFÊGpj+PigczK !lJ+K X香=1zSgeqA"^ Z\gdMԒ#MheBVI&LE!g ?Or6HǴe߼TWבP)=<&좠++H$}-腣&t:_.R/O^JxIAOj똅bp6#mH:7G"^9,'lq7r K!'S$ Salʵ"7FZI_]F+ZvN `]k~cF=i#8}s)WX/ނ[yDȬwTq_پiG"I@bi2ߴݾ:2Tq\nBetsn]<,23X_Ar@Fq@İ7/ޔfV!lZ.7f@XG-zH!e 3(iVe| =Zӆ< & JaxL)܊eԞlT돃S1*m?AoA';ᐾU U̢2a^Lw3f@n/.5 UrxϨϚz^p%6Ny^U_ȯ<'}D(XdDV|6ݹFk .bA; MgYZ40e91bc231c545c0ef6a9d1c28277c2fa756bded37103d488c27efa28e62851c2ab720a8f6785f98 aa62ce07a788d1f7f0daf47f49f5216de134e799