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 `5z\$< ]/ HOL-Record_Benchmark:threads=6elapsed=136.883cpu=213.189gc=18.6717zXZִF! h]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k&"辀8Jjz '899 8B/gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.zE dl:"#&7g?sE @yl_}YZ7zXZִF! ]ŗXi%^*4J_]WFqo帻:PEv]P 5 HOL-Record_BenchmarkC5W) 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 5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ~]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCa;$޴/0PQo_-B(H^,$,wMD&< YA#Z庂]kYH'EpnzΉwU-x-e=\V4 F'vUlhB>O׈bj.JZcnJ"wfZ%~:!*@>!hyA,Ĵ[nlo?xP:rYZ8lJcxc>2K%vjAbEZ{?Q03)C"hh0`Eh#0F $fb\gYZR5W)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/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 j 5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ~]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCa;$޴/0PQo_-B(H^,$,wMD&< YA#Z庂]kYH'EpnzΉwU-x-e=\V4 F'vUlhB>O׈bj.JZcnJ"wfZ%~:!*@>!hyA,Ĵ[nlo?xP:rYZ8lJcxc>2K%vjAbEZ{?Q03)C"hh0`Eh#0F $fb\gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain ss 5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=l8ۦ́ : ͖4DbdDn䉑1B-P>{ՓBj dNm"A<$jAܓ^4(c_`$3]/z*Ȕ_[1mƱK}z}VZmۆ:b$9PZh~R:^׻ tcPюڶTЂPْxT,餼:hEtvp){& zՅk 쮓 5)+gaEʭMb TJw{|b XJ!᫮C(> |Y ޴`"`9v~)1tfpw"Aсh4!+qI̺ز z$8Be^cEC~0iaWG'1Sm:_V6 !kʎlrgݚM߼M;)KMAtd!a #\V^`_2,JE*R'i,L"'2TY|8OA:-iu d{ tEL?|Nfado~SpCsa?3>P seIۭG{du=)t!)!Oj_x֋¶)zg:A=2t XD9ST5 ~NR@(OH ֋9Qn}k,"$o5ޙcÈj)0^Dyc+سf> J+4oI?c0ӛtqILʪowvӿ.T Bh7$9O+IS=Y-N+0[)"1kKp" WQcY} =SV*U|\ |јl|HM6+X/SDEgro<*PIB>K_d. ܒ['.g.Z ?;Dx &;wAWp6 nh'xk<j]s%γ*njj4gVv bf3١gj6-; rq & !}/_=! =9F3Ms|LUP}X#W)C_?LJwǍ&*cRÙ,^wn"s\ZᏉT\DOր,֬%=-e K%$c8?$yvQ'_z?6! ڙڣge u1I7~u{(rƈSkܖFyVJ@TgLx:)Xl$ɛAY@aBExW|xmba%щ{ 33Db5bƊu|OBc4GmJ-'P9je\#:(+"B^V HzYMvr2=u>}u,0HU{܍f r ?s;@7Z,T(yl 0dr oPw=npXls>MKT\%k ܆ 6 SVQky6skwQ<;hc#o |]auJߝ Dzh;TӒLZ( }J1ZVB=<q]⶘T4_!ތ-e|T2!>RszF5MͬmЃy/V j{y&9K}qEj ֠`(\Xfas"e6pkԲv[8:K_Ude-ŏ{7{z:]t'rzTTV58HvEo>KPJp{Ӣ*RT9>\uǝQaCmo)mDG'%4 Fe0/V*i Qk#_d [x^4ğ+!+'_z|*s.nt:ﴦZ8|-fG Ww@VdcU2D߿cx>Cy7>(uVP5?"KcmȾnyu?6ĉ86v{Hȍ\QW~]Zh{Ʈ {:9rm˯ӮE_HRtB>T]OT^ɑ!/J6ݺ$䜄[Ul %5w鏪 דN~F K&G$$%(d:.j~eA,ij M!)t3jK/o;Cie̳|sn*Vu v~s3C'v$ΟWw[9S'2N8o"7o}h9= j :ϫ;S!E/SP!rZWKyPYRC]M"Õ^@URqvLq0xTa7Xf]n^+E{mOD+(yե[GW.6 ^+I~F82B u`pTR:HoY(t0NS_޿HRgcҝBa< s(ay>$^<$M{Ygiu'ٚȔґ^1@-PimqqCS⊮Kb$h,uKCVPѾp I7`& MslcIf,EVf`Yd3}65/599zTv7*A5mO`蘂=  gYZDJ gƟF)~(oұIC?*׎(1DI&q){:A ~zP^F4b}W봑v߅ew: *rq9^)uq@{D&* u˧Y3 (_N|&qSŒ"WHV"(uYb:!($YZh+St =h B8.ݠ ޿g_Q䛗@ gp[HYB q6w0Ë\#QbɓofBԧ!]wG] +_{ SXNi1F]@.1f<֎y vOv?nHMҺ5#HwTɓj8 gRGJ!3~!uN)"ǣM-н+Oêuk4n[1FG_'nilOˋ 焄Rw8z?_ڀ%Z4nyt/]C֘܃[ q()Vn⡺BUSt2 XH3цrLxN928? ֌jBFVn0CT]StDA+#Yk&D gn3HrG`}hҞt>+XbDP2)D@#^݀71xb5W ~瞖 H*>:&P)@b,c$ j ?y @lM4܌(of#@o&揅C|*| $osX"utdiYq]% />(Wi,_UTs,›v0P|vFDKv=˗$WmO:M4B,A0IcPBԮ~ފy$*-4݄y QNYF (ΰд ok.BY}ǵ.*.K%XQwiL By:-ʢOL6rT6Hxwd6h2>:s*e^u\) JWBj*b0\.w697d!GuH+(^#@V#m16X%/5RywһipyȮGd\ O/o{]xBmixN׊J: R#2G!?(R*t0qՅcgq9CO4)z Aٖ%~떎,^Ij4aGA[PEt2mFw!ZũAxKV@ho14pRS§(!N)QYڇZ}n#.ЉZ"(x湴sA:+0ޚ|9LË c#Tp"SJ$9M!RL] , rқPeTH>ȟW /v6n{!T=[CUQ#7Be)5U^ woXpjBo>}4 .XS?ǀ3}}z[Es&4V!OC Q*2WJ=;\v:}6T+՘NWQnY=*þHR#($N`dZ'pfvT,R&bs?*8&V_#@|wyP jpe4U O ^{J`}Cq$ݟ%k*JL>k -vBDg-?ᾰbЫ:8&Ҷ[[!{ȕh?7[-,WB5Åh+pZka|*͐ʿV)ꄖ9-ǎytevR p¿̤`2^*X!֯07:K05'rJ#"-DX2QQd3-iqEHzbP! +IRi&~j| ]sHC *XO_Q܉nmv,W\ҳ뮱-A7LA&NL&=禷`$M7ScGiJ9||{s3 >3mfMZDHNyqv'rPAA7zKzU>P(L|^ii\)08e)q9-R+ƿۮd&6Eg\ LZ<}řP則/ђO}wB}:j*< K~Z }rW|4Iš"hХjp⿶Gen]#)RW dxtF/Jga̪#,tBeӵQR5Ipo@!+w[CYG.x-HPM\4eP5^?@UKg@ɩSB;UzȄlcy gO75w[r.]UwsO.eN\7fO)? qkߥJVaϽU]c oS$ 94/N~uiQK ~\Q2:_;z0,aY{d8UIsP dls{ ϬwxY,§B1Vi4)j `*@d_!(.Pܬ6BW:$lI.C;Ka4xGԩ>t6b*BPlٗJ#TGG)_N#}XJh-7!T ]Ay)aX Ȫ2Tŝ: 4W)dI*8 1rCXv 8My\?Ix-"HgYZ *5W' DHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|hdc}hTg_`,ji|T߫rRv*0b(Ɯrmuu/.4p6p<&9Q뼼rQN4zɉ-OD ߠ)#6[D.E8NۋV*G C׫?e6WXG-[Y 9$6Q0bʴX`-+W]RLd&FtiD;.pq:d:Źxح;1&y{R}hVleGW2D(wF o6mAھ|6D-ALJ|Sܮ/ Vf? ؋a+!,h%W ) -k~SCVCYG^ܖFÄCW(=ѱ JgetpYXK6CEJUx}ă 8}\+gC $9+wJLe;fU N68p$b@C^x_"~yrf/SP)!֮PcT;z&< 'O^˼`_6W_Wo%e]GDo)cTw90= CZjm`^>mgEÅ37s=ru5R[P߻`qL8'@dzYzkHp}ƙA^b{̓V݄\"L!Ro؞v$v4 c$[2ARY;)QxC44C<; 0BdUL! Ԙ]T(Ps윳esd3= $u_$Ƴ{:67{"j5L:4GzPx'h@lpG(w|ѕ*r4YO1wч(2\>N@7Տ wppo#i9M-r/jkVًY4tw{-$,Xben?w5m Log|@єYUp0") Bhpx~2RhvէX-ĔqaK2H9g3G( L6~b4̬q[y;hV8"{`q;)R~]h7ECb|ZqFbSQyjs-BLyEX'!m^Rdsipkl}̋wOK05ڱb$fe\RZFk% MX6YEucD{3@F/jTվY*Bނ|5NaC< ?$2>A[THϖԍx,ש4V25 >Þr=duVw_g c^ASuL? &O4,ޅ뒋WW1cm7XPIUYJZ?os9ߝX# %xMh"1bdcޏK$ 'r 9Z+~t|EЦ\(&#skl φH!ܪ7U" u <7 hx|o&;ա4@C_PZ:L?{:N-\b$͂~E%.D /1ȯ(3T*eG aToTsE :K`'F-* "4Kaϴ]%NcD-7Xu ^5 |M~gjq"G.sP<Tgz'j~cQDSM?aQXXvd)/D5(I1=:NyaN?p!QRmi^jvyC1.f5HKlLݵĨ/dUtS~`Qd7z:d4:֕'MϤKD4b9w*IŘfTNI&e%sIG:APfԠսn4_2PkҔfڜ%Zɗq嚂s$5 ٟYZѕEQ,gܝ%NXJ7OdztValxX +Wr}dPO?6n̍iwvKTjA;pZgE|`Q$3q!>i!3&ZBSZw5FtP(cJ5 ρ^Y.pp~08vwj͈ZC8:݁K]SB؆XWf}nɞTsΑUMIy,30E#qn ro‰cd2^>E1!y򇦳5iqC? x9uqcaREh볚AK>63.Z*@ԫnDIWQhQvh7R-H--p_;rBNZN: 5oҗHH?O ~y> +"ɔh!z5d'NCP#<>}[*Spdӏe-XIT> 5ѶJ|ݧD2/5 27Pİ+%ylmr.#=ޣm~-cd VTP .Jm\9㊯5Y}/KF)mnI=sE$we]u~gRr T͸nJs'(YAZ p-h #TbD1x d9gq5ijt]9L&\I c\@u+pޠ6+AV{NFd&B~H( ԛHEy6(k?&5U+_.,O=tmd "Z1aja~ oXeQRB`#oIl:~8)`V& ೑<6Qi !G3*Q62 mW&h I E+Aɰ "c&~}.'%!ß(x!Ōevd :"&g |4Iی "wlY=h?i;/?9TQO8zMZGX<:E?l8wfշcw>sgU& M$ʻ -*:whlrKK[o㜖e _qpOZ:ksطUi7ij7x7J1kL;*M4X:dsT j8A"w~ A=sV`5^ 9e@Í'.(eD=g|l\`7a=ySn Sb?cXH|=@Gh 6&-(]ǨAqp@phRfq[ẚ$BAo Vٛ96:*8`xTy+>$8۽~ Zcd2I3M\&ڝO"nA#zơ}3|ȡ,;8Uٺ[a;$u5c2 q?x2ՌeEU?Pކ?vb#>auʪ}ŹBH$ݱI7͔הOJ8jd-bֻ͊HD"F [|Sae>|IǓh'Y@n*aפ#(8TWGwあ,+K-veWf\!4O0L[u'"W1yȡ6{EH3wL+kroFwǁ׼ƾRɒ'wSY_laBɿu@!kӠI &4I[<~- s%Ysċvd+2Cg\2CPz A! Myn3EbusXl|EyR.0\} I}SƦSzڈq4νU@_Gol1(ʎ3q T;0^P A?`&>""{O(bz<91.GR+МgR"jvZREdhFqB{<7qYoŠ0I|N N> &҈m'E-Ŷ90xXybe҉Bˡn3꫍kt_db @AwڷsA-|X{GY7vj+XޭNG$Ad1e`ޒ{wX橴ћb'c<>j f_s98dDXr3fmvtȥ,Gk8oD¯B`u:7lOvVJڎiRRZ}Y?gS!M-e׷W!YqkН}kG]z$b7,\Khn䛲#`HȟTXGJk=BƏ,v 9s>vY4.K3q_BS1v1`v>g^4\a ,p-N ]lFg9ڗSSS(JO7bSs/to`ycD'J&l:=}Թk#*u`(.vF*61gfYg_\E7JkQ%IM@>pi;Os=SbG+]oupB3\f f&MkĝlLqi #nP* #'Þ!#}ұxsvȂy6uX9[&{Xi 6WtʾPh؎ܰff턵f9%B]LoNa5LkjR4~;c\òw 4Ꝑ Kyp /vYzA.FLe `0!MחEnE{)u(S6}PS7y6F_ _\S'yAZ tOQuk5'{5MJ颅e,f 5?DcqW|w2o'Ñ=$Յ*M3e嶋[`+<>8} GQAqZs.ȍ՟1L ElL(P+::74 &`Q,Vew5JZ$mUP4F Ȥ`wd;n&Vr9FռhΘ E3w7XiO{3dҺ1Ց4̍!0'$YMDS(N}"O Wk#޹rgBrn=* Dfg9H&]ocwa%=J#GR_R º>b5={Y'z^9. 0?etS=A7jՈ N޺Ŧ%s^0Va=Kø)j`Cp8|<0؞m ij^^Hy܍ƃ`<|GS' ^ݷHfZh{湤w_4* e3&HB>[?{9N /~c3:iCE> 6\xݡ$0z q.OTm#,=@)˃U S g%IBvC.@jmM؏>M,2FHIvk6y;J9>6]au1m#\ӹiv۴ln ޥ TծB1ݡؤ$<%',-žO̘妢<^FNM *7_2{6%ylv5#.9ѩ!*ે bwI7!9]d,=<"eMV(̖eHtm.ZKUZOOYM&_w|͗PTd B|y ~w& -em;y"S`C*|ڥUrHmU?P=[p]zhn^Iv4E, IxI<XnlP@Jfu$Tn^:i>.cdRo&&$|gعܮ%/-鋆ʬɤ~2[5ͻ o0ҭHxI2ZCջYfpE0[9ld|mЖت',#b@Re7`8"L֑֕K  Ӈ"KZ=J}~╱{*N=܍(Yg\4 x8j-AP$ڧ5{iL]' D% $<3 9J*p7x"=sZZK&B+8?[ܱ` yazr^O~HZƾv3G݂H7oz$QQˡ񨔌G{f~&A>&PI %Ȅ@~n):"FLEϯi@sK"|3.eR(moؤH2MJԿ[?AvQizP8xLb` 8XzKR<ÕP5WE"Oe_^׽,(T\e"zgqm`^غ_p>Ke{ R1߮es1W͢KhgT#"pDyz1|g \؅Ѣ>46I4Gh{|tu۳BjFbf%a hsv8_rԠ<?4~`eq;.{|scWkB<<3UۗKk4նưBiS~ L# ']B8dwdk) qg25]E{a  ?xkz`ʄ)IS>|:ᑭf^{9Il2rs2rn~!0ClKpC45A`|_?;̗5&o!"N4n`Be8H`:~cG'ɾy -5?o3";G|ô}nU|:!s,!Au81δ uپ t)t)BqlU 戠DtZn'fe)ZDlƕ =P"t*^.U8NZ) H,Թ -I?܋r]ol%#/% .l4?rي2@O XGddv(Džb|P7˖Lotx+ʭvĶ X{݇7dfȿէzJd>:$Kv! $ճ{2Ajo%^%;8@K<P+xy%CZ(ߙ4cWYYSDnA0ed,<݁`i mܗ#Ư{y؅`3g֌,!1Xm$TJn3}9i,7mW+8J̻|\gY{y{ҹSӤWĀ?Y.._b˦8 CUIdHի{Uǽ8{ h4q}+E)!~2a6]LpotI^A%cװ?L Bx. !j1ghd qW>"My1 [{e;e]X#]*ҧt!-7i(m Lf2-^n:l e'|G ze)p4mtvxu}OL\`!I(,E5ZeϢ6!q/hxN=U{S'2^_MBظϙ#*)*L; ]U_aPۛU!-%@Q/dԄǮsr3I^/c %oȡx,)SO W*O{= @dF9v4L_dsD5 S`t/V Bt^enT|rz&.F$ AWehr;dkLY4EUؼږ!]41߷&jֺ=+c YB%+H e`2YnFf r{2[MfY)ۻ1Spy=x_k@i]"MYoa=}~4by8 óJqDz񤩎ĦJVLʫ:oo~cӛ% yu t*4xoPrW:"i$z|ĞUä0;&֥q;(JCfB`̚GEAaV"bsQw g%8F+ٴseAx/3,J;":o0NL\ڕ'O7).48N 9rk,bag{r7l.`!cQQ4\Uf D?IO`'i"n?xK?w*M9Rgy; uLȲ P ZeO8rHCAgKgJ Ɩ94OДoE1 u}F`V]$鼝)bzHwy,K~lXBOC]DO7tRÁ?mtz9RT!/e~:\^vj >tT8B"Ҝ_ͳ(j]Lt9_ZoW.vE5 ˼X't<CLZk.iY(754J(|\1C|Fc3*-gy׳xMWPցkahbh* Sͪ|0()D6mEr}  BU$ԠD!CX֛c[,&2Yu; se 1Ҝ\@PE#3bZى͊]`K b9q'K(s@fim[ ,hMŠXQ[*!3H*Y[iH0x{4U />xEҊy){֦(`[>Uu}1m6gPٞ~M`ڷ^W@ۛFJq2ag2E)B$d>֋sS `.~;7oEXƸ\AirCbڇEg nel`=vFف=+$кbY veDcPP. @gpCĠ2=>l.2sEGKwBQ"lt]PLVsu7~m4A |@*;p'p͋*^e;FU%ĸsStӏ @OYYNu$V0;f5ɦupSoGRv8H)B>4$UW"*W \z/Qv ƶkIs̻ fJ}bKn.d Mg)Qcy(] |`mDik)Rü;t |0{2.mN $N|:|=ŒOGw+rRI:OUZ=tj24A y' -v<(Des ":SkqDO+we5/M cg@.-׀TT}sMo3[ÆW [Ew!<ѥBTZ*Nb|9dM^wGz`=͗e#;,$/wH>C|s-pu3?Ddbܹi>.W^)O-+Mbf3vBP4g*0fhc˲&:䑲Y6_eAĝoۆ:GDu#gMeR3NIb|Iri92iՈ[8Ц)X\Ǜ$1hz|΢% |Msu۪p nS޹X@ S3ÁrZ` )˕pj 0GN-:R!1c.˥z)f& } aaddXLs)@A! ]xgV \d?SwdUpd%!iYtX-v D2LR0@S b!%MOi'r:lް;oUs}v6v-^3_2pfGpwߓ E f*W_y+~yjBt#μ,mbɪoi?x !TcX 6.4&KtIgO2ު$rG]N8 HP` _ߗCQ1`{y-MnmspBJc0MEi(iqfw8;Xm<LQy9.Hh3MPQ6UWWAqcXҦLkMvpe` uX5D4P2v y{6nl8%¥,?3`_<[j, gd$arVs \ɚw&;0*phk35PW8Z C5iʕ#*KM,6؃u62̨,V7Մ9UrCIn^Wgd9])bŹrG} "[7q=ۖP<|Z.B|]>r (3K 0;mtS_Ol-LD8׌E89|C\hηz ƪWIB.S1RL04Ez9dISWS%9lVqbE"982i;-,I4>^\$5S _ mϒ(!L{k?F9F.[k__̆QZGF'PϳPJ ;X'.S*߼YIy/{xsw3/$eJ[C=utl2n~dMVlxE <꺠nT0w+z o+ &/ͮy疋|]4e)jVSk`>?.4sR#Lɕ Lo!!)O7S|&/|v(yT J(h[DKm;NyAiWdZ9ǝu&[iv,yfSnY=vy]n2?l׉X~Zs}-Kz\PtHm\0PUP)\# S0pYU^/>Q6Jh8 }܉J 0Gl؇C0JNX.ɝ&ʓw3o`'\{?Ono`u.0~4)GgCYm'tQ.8c{?~7 7\Q26x gc4oچ|>̓J듁vU/Ht|>0kU5#UMSBu"6H=uYݵC572K>^}݇+vjߒ^/%qD&745LChU2$Gpp1kB4~9B1,t 9U9Wz|Ϳ{gjѷ,p^;r3C/NpVewŁ7呞FʼJ?m qiI[z{*xhJFMmΦqNJ@7tAWLvPPx+[Ǔr?>ʍetA Ie;fdfT6w*=,&UU%WdLF-jsB( ~o)FlCypp.@Ep7R69l_?l$D@[7g$7h8n3ZQKӥ#*Ghښ2Ξ _Tʰs[;նIIdV-8FvP72^yWyCb4pMK`QrD>ĉLT,YoXqB'ӒM%;gٹ3AUHNAӥWx^=˷Pۨ}7r\vֱ#ޛz]N 6w +,AT EnwQ2|ymM&kh,F+/^((:3$& s*pXM]oo/abuQ?:l6)oJyޢ_0eZ/.*љK yu]k J=H-1 NvF2O v_'`4֣~}@sxjyᎲ/tr+3 EtUs+1͵Ptr&VkL>ꃣ )W7 1 FDu&O7>- .~q7i In}~tj/Fo<m+̾%$L}K:JOη+)Ӥu@M&H,+a*->5ʐ9.0q: ftZXe^6kM΋*czv~C0 gB+k}cpj&\NP%b>滪itjхAS2+FMqV{;t|8ŋfGo_SkQckɭ_,Vh6ONvX\`5y,BvJ徣Dg|B{]X틇7p~}7#:}>څ g/i(@4VQ~9gGq&^ngwDAm.Ճy Y1 ֜F!""qr\PQh#Euo_r١ a]r-@lxEpTZsKrbTMR:۝@Ѷ1@M.'+v^m&h=Y-B=ԠnRc=4`P$DA&kiH;uBO((/i*M{#D- ;Ao28_ŪHΥS\wWpK+k̽Q 2@7HGUzԬs)Q}lX)I|=t[ǗC+Q{:l}gt Z)^,KF3%}Y>B~WnAzX òy*O|nPwHw%P! NJw@yZz#&Ҋ1_Pa+ĕy.7,5ywGuz%d(noJGA [ऌGλQXgbCC 2G/U m|UDL@܉թei "%r_(e2QQ&" f"4àm< l,g7 d)33ȐXOȄOY_oIB!yJj+7GF]+?|INR񌬺 [uAW.NSS+ )N\K )\a[? D2W҆̕섀o"iz@JN!Ҧ #yߝAmX* @"bÂ>:TزdZwcJx(R9BZ47ܑ1xUto}5}՝ X;[/9o%rM4r`z؟M 3GZv?JģpQȹDiqq @u2pj˟Hh8lv,U%g|\#}zQoXxEn %kי/[#ƢSux!ý2)(yq}8qtEE7JS3=Zi GF`bD+A5`^Su 2 1+^6} eHsr5[BZdQPޕV |h -hݚs̙` 42ſ_I?lkLDBܜ0X%#R貨}$- `3%B WQ:j)V%˷f/"錪i7:!z?/äta cWMy%{+xv; ̄ZӵeI 枨TF&U"Ϭ?Ee1kO= ekHLSiƈ(>Iw MgOPO)W||RWaGHԙ_E*2ugI} ҤxT1C#LIF+>:]uV7'Ƴ|tq]!/WR! ZQ?1*ɰq-ŕ>U %= !vMqflGl6$72o,OYBq&i༸K֪ [ 囦9n" R-x? ۔M\k,GϿ=OCٶ;`SDu64АTme*C *J{DstQ7ɡ^P<&JX=K\iKMi;Pѵ_VV[XkIR I 3P]93ZyI9x=SE)Ğ{w0/*b˾G&$@x r}·[KԠ.415ӻm+3/4&Lp,l`]+yNTYZhɰ|*d.*v@7:t 56ʢ_@Z+y/s(O]jEIfd g^~/ĭW?%Lz8DN~q"j.B)+ol(mӰVdX99q:έ n[h|ӓrIznܾRLo$D0[졀TqOAvT?Q4.t$oW]<9&Sr #| 8fywG/,D!.RRZ3Ϊ*RU^0ߟWćV@rT[5Ha3sFB`ęڹF*w%dVt ?r}^?sUUuyuī'ɾS=uuZg"{lR~&M&ǻ?iҤ/)ˤ?2l:;M07WɄ|jG G{9Iؔr޹7X-2^YQMqgEo1c[cS`L3uxdQ?TAZMAyk ċ'$'FN@v鷁3sC9yn2QdS\7&?pqZ}[jCHй9eƞkl6bƉHڎ*HksN~.cſXUı/xa_I/[[(Fdp9UJT/4}A\ t@_۴;@N4 gÄ|J+PRh]b񠅅'e)]2GVؒZ^V=mE,0mEN<t'ZwP_ʷ9+###q?vԆ͏\7XuQ4n&|Uq~Qj̮uI( c®k78v (iMb^ο~׶nPA`fe~Kډa%FOڌ*[BW[x}f6!4n YI;-4H5wj۞ /,g 2I5 ΄כŰ}kgY2U?ضht8傢5FL`e@j8*~@@ZR)a 4*v_!7ځXC$!"<@\)">>v=O@ƨ}Ċvz•,y`DMkg5V|*ޤ3 ZD= n\ F+vg>Ҡٰ{[֤8J%]J`I**XK |>x$SƲ婁݆nY(n_4mk,gb瓘NLp%,%<`^=`Dhm>I,ʩU k\W^ G';vDpp:$ >("MrzJ @ 3Kra`.ࣝifiKufFĽGŒ i8w Wܽ)6,eJyS 6MopYn^WyQ{ii^kg_/{fNMb[MXkl]zX$}+%dbFϠ~?yH%d-Y> 1h4`[k/C9#O2nN[nP9܏Xʹl5UMɄc^%MDdBUؠ2glQ6DJW`!S)I˕ˁpua&#-lԢ 勵R?'T5J\D)]'ޏh$BȼtAm<EEtnRﻪ:1ݔt6)g+jh(Fz_Me@\o d)!0<6dY[2.\gGl:7d -a-Mb- }ҤlͽBP`fGȹ@j^7pL \vbb2_bЃ$chZ<wmCWrϯk2ҠgI-/%y¿g("*UYqhl2j3% zxH ܖ茆'TU֘O x#HH=`3k}j$^YEG;c*wH 'VI"nZ)`>(lv$@zD0W5 l8mMgYZ Jx 5W# dHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! Ek]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]o8ׁ*w0ڥ-! {NHҢ)h4:5&7EZ;=- /|~L6z5xM2OME2T?2J{pf/>E|(r,ntQtÒZ`(X{@ˈ%8X K ]r4&=jX+80k,?sv%Q-H` YH Ѯ d\˜tT#"֗ `.ZAb鿧aW;8gˬ뫦_Tv`Sѱ{.dA@Ȧv OUZ*9fl8O(8k\x?2B+4.&]%\ibfv BrXSo`Nr"ĐVe"ݥܹӢHOio T(=? ~8G1h] p-7˭fkx"QX Vv4jփ6 )jDpVA 1x /CɈt vmr{BMX^nrjWz~C&V|ԅ0dςzE5/U$OH(:Bþ-F;YYaO` CN|KTLp_Afn+#@t6M"t)F5Q |'P9M ~lߴJ>a%|z2^wqRdJZҽb3Dt7|_F҇ozг9f0Peܞ࿣swn *t)*z+'Ql#=Gy/-8!Tvĕ|T50_d&rd:K_bɃJha /<28fcy232T,&x vɣ; g7j+\s2&I,?7EM{8J%D{<GZc%ͿDs~v`O#`+ض]ҳE_+$rGL?~MVU玩)$2xZnI> S5NPɢ >͇hɈtGey9#LGR!&d39}c{>ѲS"^$@M?&өT9?RJOc(]ё%qQZ`7E֢hc!̲@)pMMNPg:M0^ @t!鈩5cx‘v+b0Z݀ fCY~E 37_>b1łVg.|\QQ@r/Ƕ =FdR{*  z4srwJqF*]cj_t]K8K"hE >8޺ v]zw& 4Nw{AQWOdj*n1{'+$l!dU~at[XNZ͵7Đ#G/?-o)F廲q4>aEN/9( -c5հ:Kڄmbx} x @!RX^3Ԟu?.I'zT:> OtO;×yǏ[ $zyVxs% ~`9@z|HJR4t0^kLuO0Gi"| eHI tu*,) {:v2~#\5K?y{Y7,r σ"ڈUL!R+# XuXkSld쯱8$:LN¶b~Ґw  /%Sύ*T* S*0B/"6ºUTAhzM{N4 aZh+]VE;f+iSZQ.PMލ}8cGb{c`&U3 eV.Rї+/3mUD^0&{#0hQ hIxjD!=3(X%2_.جK> R)GEhj6;0ϵL,M`@0>Z*J-9K R ج/cUofrT]y"~ ?;eqq9O!̂{yU'vHr9`h6&qO{PI o |nJmxX6:PNCI`J~̶}ְp5~DžŷF@hfwc-6$1Tiff%jf±5Z Z|p3[S#__;t -]0<]{)@WzW:ᫌ1:{\$ڧcj@I|2CTD@YUE> fD42sh<iWtW{W1%QԓR fۓM˟ZQi>jбeB$f<|1 ۱pe(B+ Zcs}_j0Cfb)~üi G 9[9&ITQc^y])N`ayr.8j#=GOPT4FI,aV.tؽX.> ki,p4Ը4hܥf}\U > X,B,"Mbm QY3`g& 2saӾ[ 'd|Łqz֊'w,ko(GV`B5[8GO#n|!QAi!{7Яtʾ`'}Z UY&/j66}`G/Iۨ0@:wYZL'C#AI" %1*bcBč f(yF{AD22 <3#RfbUk:4X/qir2&`~JugG8-^tbTXJqʧ'9" X-_ Jd)^ŌK~.g{΄="c:>ŭF|Ǥ`dJIw$L؂EJ-ki&]pq,6\(mķk_J^-bIHUctk1{|aTX}~fGnU ?4ُM&j$PHH-):P݋)grf7XCȲ 0b .@'*?rN˜8q ]&4k0HUДT{NlpGsĜBHQcg֝.[{m/#ہ2q6 |Z +baxz[`;SAׇOJYMMqyA|e[*3ha qy]m-ݒ%JgR#L3pi +LxкLNt0`#;# %gYZ z 5W' dHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! F l]Άxʆ5.f-9 rq=b }A=0U3.?F,!G +9K*RyPs؃@?ljϫu:#S.ji!$q{pC )`[҄_`QDr1,> |\R+X!N_DՊ2N^W\1vc>(+}x~LuK-bYŋլ`Y> g[-ufp")AQCjcpW)V1zF 8''kW^/Id:۽?x0Y:ڧI mZU#a#@SYݣ$FZBe H_ S[pNF9!_SA a|e`z)`4 gDeyVW*"?'$,Az޽3$,] "Rզ&MܳFJ{ 'v^ɴSRͳ,GЫ=78< ~d ;mi~P3cGP;y貘GawYF'$YW#sBB>c59d gʗAA~w3cn1 nm|U} cǢf}1<*GŰyУ u>]*GF醕c~LxVUK=%C@3j5!n@"r\ۅ!T>m4m(<"߾=EU Q[T+Fz =˯+݁'8Wo!XfAkOjOL`ziM?E}T;a3E{9%Bu4Ѱh95O& yF>X+1T|42pW=ʌوLb }|$>ܒ%f@fdg.Y}f-[d8y"[PBBCQ()G[Bt^EZOѹ% ፣ O@-Z_R `aa?Uq*BlA;Q`T<˓[d| ,~ע8y81?={ ˈ r5/zdJOdLl`@ϠKey|8)U71(")ֹx0 䖨cVmu"}@y W4\TCepQP?,;u.KgOIqY,m4 VԁHm'}qew^rH*βj\zT,L*gٞǣ=L!n0wT N^Rd`,L?Ʈs<Ո".#k =ϯko@wvjdS秥AAŲS`<;9ʑ&/-jcitpoD}nMzqχ̓Xl .R>b l_ZA ¤VKh8k7ZCz8܁֌H-]<8GEP+5xemB!#Sec[[e<K%I9nG\B|uCIp!ɶΨ[Zd`60RbtkSp|*|4;Q;6@Q&,x4Q6w)u$Ŏcnq@UPEK͗vrAvnк#pg$0P0K^f]Ӹ |-sFU_2Y k4$|іҮqz'OD䣥1D.ۏoX25_d+C4>0UM0hH1 Y nVߠmUi93q7/uP@h 3ҋf(A|䕁\&j5>aBK_yV7_HE.,E`j($ \J%_:ޅ!RoԊ@oI7څ>;T:Z2iXvݙѢiL G3>$sN=ea݉N`VeLLl$Uerqk| FmpA{ODFKQ7!"&{WEtqRDьj< A8`OE^qTB\lCqeF%]ݴJ4ADbژ[5lVe3f>P rYO&JO2 3xyc |QTA / &?;EE}yg8j:#na>.H-"t9N(tR,L"@R4vƦs >2o*?_2?j?lTfVI &?4-L*δ6wFKŻ?;BF"[?z3W+w*߶  \P ZRjFv8cC5Y'0 5IȺ 15rl0pmDuY ck^PVwqb[Zà.Y7JЋ-^g: PլD^{7)axOB ,7XmR`IE:A ttEIB߄?|Ejc=DXWdxE:4#ޢT5)^IdȞ&B QyEVh),3saÚZ\0>koƥMsg`N?fCo^$QP&YmKi&nZ9khv@̱N.[>YL\|(ʬEGnuR_S_Jdzdx@AԿ`𐐭͋ǥ`?dWVe9 4*JP{nuisus^ǴӺSaCWq\A .Z-f.fSZ(v|xY)ʢ[>rֶ֕\8D $J~z݊h9tjy6.[DbjqFF[Z4:2*[ZCmmWEu+)uIT,P4w{Ϸ<k&ܕ D5(1,4ݳVk:xC? cclۥEϷJF ]}&U?p!CqlÐCsu` P_r6$jЧu?[PP(x.$dq_T\JU@)x`˜ߕ4sWXH~X/8c%URPWG &NY^yHY ُaW]q.k} (D) l`Uoygڇ]_vX?x40 `MyO3!֡XkF8-r?,wxQ{^]e%cd^~g-zm'VRWA1!qN#\HpգřqSDap-+!{vD+ :n% b.[ˏxݬ(RFWZgh74F*oMw3$]G7A"Vh۹>(0MMVzNmCL{H x!)9TUƓXSP2fh,%.o !0ioW&Ϛ"%X IOv^"^&ktFRwmD?ISf5ie!Z+G4A#2DܝCBS|^ksۭ\+M;w#Еsl؅VB۫[\DЂ8?w=:P8/.1b= }o JRTT`I`p_QL۰@lE=nx;)suhKIy{T^J(]h^!>8RhLh U}?zq\ 'T{_ fJ>XlKdjv}|\2+_ ]+p\ jŽOԲ*JK5(@͸el" @'EiNhZAgƜbQ(K4n !T܋AGmg * cŘ " Jw@ j@zix nRY·P쳗mr2E@h}Z28~ LCf*DHվى=-!6䠸G/ k3?w@VϦT š`~>">QϘJIr|."gwwx6#,q\4p>;l3&) `M&9Z&AS_cC}r+*V/Z *{kۏk)#Hc`J.^gcOZ˦C~QD.zSg^= UK oY*S @.hyq۰ @8%-r٘;u{5ᖵ=1~)>Q+Rwh a9eC{򙾯ƂE˜,dåEƮs[|h ¯]R%DgۦE`69>di4-~<̵c Tfu7O1,96RE3kJf,[Kl K鉩vOCGèzL ܨm ;<gL4y+I~1-WzZוqg GX#n ĒMOܥ㭞$>q0yG=ijA:4O4bp'Ī]p/ |Zj =jxlaE͆ҢdR ğRX;Z<%IudH B|y' @:dDF0Co%^UG9rU>K$L pXJ1/ h>gW@&/ ttK@2a̵Cl]nZG]N,Z=v:j>pjT?tO5nyˍ横 :O@)h?ϭ=Nv 6bKv匷ay( 0׻q~ A~E]O ozdJ\%VR޿[WnCm)Z:4@f\zr>[|*5 aP0"5xڦVxCG PYgwԼltU()-EJ5  Hۈ4*qZh){=Ĵw]->F(E@}wd|u$̶!&Ϙ m,2T%Aրa_bph~kq]U=-PuO7`=1FaUu0pT#ؔgI٣q {>pLp^8<20 Ӣ*Ulиa˜? >wt*,reBܒ2C h߄AU1;XY[';?>- Y(]Ւ s1W$h[@IVR:KƧϠGS꧄L]:kSRtkKjT\Xsm>E&plx(Ӌ|Z\j1,xJX%*g8~̇pb+b Fuh}p-ago5TeE% h(V̏PNj 3edpϪ23V,T9Pd쒹~bka6|%NFB3! @`i`ܣx7=X3:eP Iݰgy>߬jyEU4MI(Z5A#ʫ̚g;I!NS1:*ש;#=5Epx""y<>EA£*|q)c<GMCjߐ5#PO s ik||k'1{Nt1ᓹBSv@ixs.2WJYo`X۾dD/JxAXLP0)5c>ʐ ʴHu*9Sy9G ><8\Q,"US2` $kPg.hT.nz;h_T㭢GIA'uдרS%ܳqĪf@hh@B=r^*/ސA%ܣ$zء);"n={,& ̓Jڍ)-t g) 4BWs:$pAHh QdʉjHMcykޑ?݃w:<ճio~AV.fӅI̧nqOt NxK{9`ŔA}?7gS&+Wm20Vr?OC&A\!tͧpZwR SjהX,m7w(Xtؽ$s1VVhK&Ťr7* ~>j8c D8Jlņ4>j?y-)L$Fݸo/>Btkj&]ΊYC4D v87)J۷/ ծ1VC咐"Z}y`}bik=4-. /]a|* `ZP;`^JȈZ").7WГ V&l7t!NK._~sRׯ(w'Աe%0!/V.=yؠURCSnXR6_&@>sYA!D;g-GSwm;Mmr~tm=ImDhO|pO4D|f B5 kպe}O`Bf)R6 s%DjYS 譬٘/ABű3iyxHT˙d"}_bT, q̟.?]f(0J/$J{۽}yaS:\.vn1jy%5Yx37+-}uiҲރG݇F{W6:(2/1L1xue^?5ǜa;ԓ8 jh S|*+|H>eHT|H*T58Dnjr'M0I-r1a9sM Osw Jwh@SIo_,8;0-gMg {⛊ڨ%<.y_zҀu>1` qbm{=6yО:FiI{+Z;oհ+ax",i؅I4A@tNH@x%j9][@9m\&Cu=!x)iXޓuI̪3Oegwfͬ›()l-*㰖Z=&C~Tڅ2<\ʉ .,DF~<ߡ 11gYZ9a9d041187f02c5b7f8b2f54743a689ca11cfb39535da6560c7ae77bc6053e94d5fcc737870d4227 f4e9c31e6c0e2595248a604a7452c52f78c6a894