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=138.353cpu=215.145gc=19.0727zXZִF! R{]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k(|_5$Vڡ + J" s;Slݫ|4`ɍ 3ɱgYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬l( KՓ7槵Pvq@p17l_}YZ7zXZִF! M]ŗXi%Ts]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$(]]ӼCr0lxigiAazפ.tØ4[L uDpYMa:vWR!H#Ezk&]ejblm=qd-QG+=Tާf0Ҁȓ6bBTEe(8H rF|N.Fd `:) y",'XsʵIg,9:GMS#>Qq2]7mL5r%6}j} TiG+{=}9_Y \Mό/ E {UW'*b\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$(]]ӼCr0lxigiAazפ.tØ4[L uDpYMa:vWR!H#Ezk&]ejblm=qd-QG+=Tާf0Ҁȓ6bBTEe(8H rF|N.Fd `:) y",'XsʵIg,9:GMS#>Qq2]7mL5r%6}j} TiG+{=}9_Y \Mό/ E {UW'*b\gYZR5W)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=_FTAU[f#z`[Wuѫu$)_ki7T?/v/0C( ),Ӎ*hh9G#.O˳P@a!u346tc+UńzЃA]# EOп,i8A\Tmޡ Fh8˜Qfܳ_(Qb̀dy ӈq] FgdZ"׃?;@q|$z{SW5۾Gk\xN!3C6 %肘1J^b„U vZqrF&KQA+TsY88TIM}/J@y-t&K#y TgCXrǜDQP|{8)Moq=2輀>J|?3N%\ T7&>4%]c%U4@m`R$LOjMV8 eDsG=ROsZB4jjO쾶lTiIL-LfP=Bކ}>]_ad"OrT= A LdxZG:OU`\?b҂Up ]Woi!:Sij5>Y% 4>Pҋ:v!cTR2:r-nci3F#%R*{pIVX5J#w 얖4jDƣ d e,u`=3E)Jo{4jp\PtB!m4XrT+4=@0,м!ۍ 1#;!R5euc+zBBALnTWWSF"G H x לA s%@6ZPjǪ[V,/,=]3O}?eZ%穯Nh%'Zkku ƪiX2:7>|OPu6x嶥ƓNDBdN/&{<QP)y|QAxNt;+ͽdl($|ֿR#Ƥn#k8e bOJ`륛׋ʍ ,NI.ك-ԀhEl)F':hW̋ٲ[ e^g~GQF6S~210DS93$/EAgvzugw$/;% U5żw.aWh@ջjNXzSd&8^nQ8pi鏟L87:LNDEWzH$zAMڨϤA0o}f%)1%c3=Jϑs +J2bk(n[$dl5: OҚ=ڔRU=j1j8Q4*34T;+A5?q‘;g`_PB4Є{wmr{eAPiRm՘6qUYQL|Ii&ǣ;pI$x1j H1BGnm`X@Gqjl/xÝNRbgZ5Rͥ!`~P')`P!/45["W}G{g(E(+{F*,14)bk_5@<{Y63hc) %ف d߽ulɄF/4UhhȊ%+{N{AVāQz5 7F(OP\C xZ`ٌ~O`iSu2br(^yMv ZZ 4HNTV]rW1Sa`$*xOIfW9öP WpJ3~[#IÀˎ`qPH'ifRupLP XX"fX~ޞYy"Sn&\{a1t I)5>kBBrcE!|n v"/۽Usm'B/:øۥ:B0|d RsǼ 8D/`Q/"c|hrQr(gS24?!XuW㻻bZn[u_6۩ԗhqCc>O#/j<QnۘtDnڶ߃sG*JЄNՊ ! Dh/N 1ǼiP $aha.UW׉mLOk}>*菏U_ &ϾӪ`H-^ E3iU"}>pi|mHl3:,yaƠ-fO: 4ͱm9L@FUM=- y'D1j2/ČѷoIąck+ĦNsE}xyg[|wKx]cWO:{և_4e`=B4.@C]?ܾԜ<{gnaSk[cԦ7|ɳl`ڿqҁB$Y=s^``a mCur9y 6_0_%eb>K:.xyZӱs%u]\[V+J4gYZ NyOWeqM_؅*&:g8/AգQ ׂ<ą3pn"SJKĘCd WJʠ^a$iR4^xǷ)Șðy? Gُnq+&q` ;9F1&Ef!LX> 7so8pov%|:a oRH,qw1ڥ .:P3#u/$ FD;5۞)ݻ!? &nI>'^P9FMrek]qCSCB;`u*1;IZ:x\䤯X9 8TM3Ĉx ;]ﶄL{3'\bTre(sy<%?/Oք^<h/*8^ƟXwY}ho+9Nݚ|toQɸT͑TcIӂk'4HH)~9o =V;`mۣ A,{!z|/zKqA9vD3(M&ZGtarz ipp\l~8ٱtFWway.VW| hS Ty (J4_ٸt6 *DuI6hF(!%s> Hi:NhuxOZueoXO>6TD??g9"};'2mڔeSww W26 wk΂ZUOqn @\ KA7<)n^ƉӌPyhT)Ra:.aεN7k䛽W;Zsو#+nM{7mƿלD˭L\Cˮ#d"/>)/׫2;uvLXM|l ;&ĐM$dTn:qs`5J) #.X" P='ґ5ӛ#x'Ś'PS\G ߚ@K qget&R""7#*MoO5) ԁ|Uha(;ݦa=B FInfHXZ?;>\E_`}{&6Mr^?mT&pwcV}qRK6(.uuK̂UK!56ζ6٤p34WPTaa8أ-U&}['1`?o.6e8GsћEhȢ-L$|kN }s*҉,R,G<>~w| % %@sE<*%^(+mt>%پFf>3 x ^D<~u^Lx\O&p9ڍ[a/\e% 74YlaEl%S>&+oFFY(mM)($Yus$TcMƱm,8qQ%$;F_ hwkѻnjauE4Z}EI{a GqbW W~:_qfI!T8.TS\V XOpC飖.1 $~{8?U3 )dzYb~c%RGxM[ JCbU# =͊[svh)YnFzdDt~Boy\%y J 5} e!ɧu֎ r>S$)&fi1]9bޅkXzK]u107}[k}}ESr#縿AI$"](ͫH)]\J'u%@` 3i,J}5M@)$*abXlc|^ո\w(Pz1ǻ&+B"v;J.;е[/)?+0gP1yڂVwV?@Wsp0f1_W[ )I>rni^=vK>`^1ˍٹP*±҇S<#;mXXߥnJ,V+e5rj6pYLkAy*K%yz)T| 5ѫ##cttVɎz/}n~ ؤܓO+3鹞^€׺ap%v4p+c۶ ʒW(XIqʏ9iEMg+0^gv$2.E\rXVk͓ЏeHp>|3 V,krg*?cL`I>d̕%φ[4e3%yUuYĐTH>Z=ݾ / "Z ң]"Ӕ6-FEc[ /iZ~^YQ)1:Ѣ%z5h!%5gYZ b5W' 4HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8;|xR"?O\܍UY:m-lDYrt/LbˡV )י\Y|q9*0:uM7yRR&5[k͸}7mmV1ʽS!J`N`bMG,bWIуѨ]$![r+3:Q\97ri˩6g="w4kYi!ɶ,[-f%vz¸`m UF`)ޛGs'g+K J2T/:O|жm7|"/أxdkz: I┐2FPZS NZIy[}E'jBSi03l]'@ȎEv[v3-+$d$!EC /92a5m/IecCr谡Sd & 슞p pA`z84(o+oI2 %^WǵAЉ M~W_Ц7$%;RnV̫'Cm@}f*=bxh Qڀ|eVII2G'ۥ2C{tѩ$*mw4&Z:R8?CCD5K:w&Iw8;ϼ sER65 hJ21e0+ejK(-~W 'F4qš!#P+T8%~{+9SLy $< f?;uQҚ@@&0T O Ƭ/65$qmsH|#Xçܚ QMm.;6hMt*S,a;;OOzd%mtj/?Qed1:ߣCm^z,i-oaJM_cF:SlP3 +74k w}>Xϳ4D,p7B8"tn'`UP#T$ŸO&\<,WdD6N>Qǐv_0UDXWE2ċ䛘:dcMSGɠ7 zr9`o[ "4QowjXU4!BSkRT١7fvT|Mkl~u_GCN[ >!&_Or,-{|.Yg[ rwI&q\ˣb,)Н"9g "\k,LYZtLP^eŀ`z/ TYhl Qᓂ0}U+ jS(gԺz1pH)̗]ߒSRAF||'ΡxP׻n>K)mE@2&[~"`#nxϸjm~~5],&ֶbdÏ#72 u7^t$=_byjh Qi 1s'TLZñ=r{V x<-ܵd^jXiPK)!}&'干Ŋ;,N[JwX~->+iCɮ`昅) 'At\do-(}vrCSK\ Be*'HùDxK~ʏab}KAb!%Yŵ(:讦}5˓~ps~t ~;635j洚fSەM*ӆ7?lVz"׺@[{ahfpK:t2N :OAY/;zƌZ(@UAf⺕[ĝ&u1؎2WD)-,Ikʆ*I ([~K $vlDyn5c7y O1v[֏Ji $epƁQLjr/o-+!K{R~qN>mR }**S i( eu@ 8ı#͉n//\d#rvaJCj^~դ`1?HdYRAz @Jf&.–|XMxMqE!U( ju_wO<+&Mk- 04|eەe3F' G 17; 6Oq˭/S`&G |u›F<3sW 4e2 <wGd^ 7PM?]ETP`׋29iRŏCZ{"&Ԩr WH=Sh$"LTTT48TW^H9e/}Uc%`coՁ?+] e.눲T)"zzyIX\(\n23h\ףH?Q4M 5L?4MdʶmZz\C&6`vٌUck/Z]EWB`T[#Tbl'.1 mV>O AbļmU ۨhp 0\Nۡn8ؕs#b6IJ_RbYS sQ}EuT?}XƟ#V4=;36haFLn,,$ɤk/6ڲ/iKxMLoEz2WO&!zN`ФqI-xaU wk9Z!]٦Kxf Ekx^XQK7͇ M\jlM~y`~.<l$.S\E-*Q̫{1 yлUw yq|"oe JH7}2*Oi5@36 B_ K1Q)nd  ڄ7х~JӴ\'ps?Xq:deRyX)wH-XǮkjW3$qiFA+* ԍ[R>V*=c$8=G683|ULVӳd%-ֿg)r2G۳4nt+!ob^$8m~){W#x[]j/R$/{kԁ< ALjuˍH߯^PQ*#!sm =:59.x pU7PƼ} RY%W=w@Ku];#=p'/<9]Zl۰94tޚ|M}ޖ ETxz>}ww ˟kǻË*Xjg^LZZ mxݟ]@k`硸4G}}Y 7]i2&iQH]]pکŸ^h.a3ųf/meu)) ~aT81?=iFEiҵ玑@c'G>X\J~.g9@bm/VPw_gMҟVA`>O3(n`Вtj#B):ne}zФ&>n-&c9=„,-@;\WBk, 'ù^G@C|LOk ([U!~^ȶjDՉ%ju4;eiS_->n&޳ McS"Wȕ}s>y.,WW70&P"35ljҮs1~.?j գBl8,9ڹB[cD`Wς{ ,^BU{xl`] vn֦;ǙϢ2JRo"ǕYf0r)8ʰZtv8FAjʱfUd^!Q !l> LN\m([55=n`N'K7G5H܏F>"I57ASϼ縺p;|9|T2ׄN, 3 g?ߢ6Ѷ%N 3)W+mn}#=lO_'@}8;S6Eޢ53G c]XÓ%*),hujhcH0PG1AM9/F DNgu^DCҺGgJ.wZ;y<3"vZKg0͂5A~e8pFf\6?'S  JoZ+ 2( &XSl>ӁMA򏿦dhrͧ= +LoYDAODL4!ou2RO b#P~MI" s'y%<D 4i;y"R<1=жOKK)[ɯqrIjG]o$a6") G~HO'8;>knOkL@T!F 4"P{U8@gW*Hߨv帽=<`-t U1걫ּY<|v zOXN eR{%.乕Ftaֵ>gܜ9pBͯYDST5?Nm?@)B&o˜/A{Dww4)@x<}k A`p~ g"o2:i,tOEx&7 wj'rh|!cڭLҫjQ7 ;֜c7J̬mؠȔG&-|fAڶAᒠu6LD  xw` iX<.Dș|~w:yVރfWQT(q D8\)Sh1|bK= vֺ^L˶gE e2e5F{ 3l2#e6&/j:1Дx |]D9~eNBӇ'a=J>9SWǿ$p[W|JQ R\p6 2zR22:FVF Кl /d[o2Iy- b".דw׽ui& (`]wqi`Ǧ3'"VUvvlj$hə+l.B'A X:t~%;#|\3ti꧹!rDiOZE _xlgRRy)u :D#-̘FR3AoL,>:l8]{[wԱ=;t<Mش/%UPďOu~ֲQ0nM.YUVFCB+ZPD;/ =ҼB*`?u'T8mml4{*Է϶ ΅L\Pbug{ly5(P55h_Ư:>.e]R̕^\BgI 賧ˆw5Q.d8Eef*c=YQ-W_i~ ڪZ9wxґx)19-)̽îWٛ,j /)4<ܮ.nWin Ҙ W/`7&Auy`5NY5 Cnzۅ>T<3yY}/3|W|m6zݴ'>82ydx4>ZFQ2MHJR@;c iĊYpx) ļ0 .=Bf%~^VOG䖝֫z:.)Q_IªhS8obة0+fhJI 6m\6]ޙFv I\֪՟XnbeyANg9\ L&9wdpҫ,0`2P۶67"4Jt"櫑N{ ۪p@ݱSԴ*0J\5`a֕i`菖'XU=.! ,XFZվl/s_fewX}OoʕI  F,; AA8n˯':uB-5Є״ NNG)@bL\",0u1WY|JwF(5B-a{Ac rͥ7 Հ}Refaߐs=DhޥK{ǤfeM?=gM9zHک_5dvOM}l+㲥y(K$3ڵbv5/;6(o2ή#S\n9W|lܠto~ɕzaeѰ"],@%#y"3;:ˠ,+^S+'vJoQKuKح ;$]>Vy3طgbw bd_TV2ߵ{HjOEَY, /gq?WA%[‘R-iPxР51fUúP,a7$H R0YeR n3&~anAplFw_̭ T*SBpBKUw5eLoQh%6$Q{e3%]e@{k r`5i&QR(XLZG•4D,l#Z!Uvc(%JlrWHtތ,s(^ehI%a@mx=)RZmE%LaTŮhz,JlI7f\]J\^0Mm`ʪ..OYZ7 5+Q-# cE6>&aD`675*d̕rj(#8JG]l`1TgтR]A ]HTymLQՒZz]M5ԭM6"$AW ْע6'+mU.&͖piK Ao<?U>ƚ?BU4ݏ1ڶh*j{&qQ%678?ǿx-XA3NZZєVIb+|-DAyn?ԦS=.hQ-p{õkup~GPƷ %1*ç&㕈b2WL!8P8*yeZWCVWYjCD4OYYqyڶrf_몗!fO(]:u*Z˴lG-4ycnV [̕RtQt+L254 fdxWe?Ic<,QΝWD+[]4`/JBdxܹIŕov4a.CC8%6{cýO 㼳e 1bF2tH2ҵ+LB,.CR =HLa5pd/~I.`~NݦY_ܟ̍ӚƁM1  V pX-UTk/F*`b+#l@&,u[*9aϯQ,ڕ X\Fi?pRexn_ .#EN<Ӳ5md5Ht%*z%^I\3# `ĭbV WvgOnY5TÊEzgf^ {f:tamC7t@`GE,kVZ=b(ame\/ۑmbRr7{wwM]ngG#҉)Á6{oB^-o1ySL"[~ gX1OMҧ 3|"jnxDg-S^mW?ɝAt;%hRA1$BWМPmO0~ZDURgJ(J29Z,3WHv;<rh*X6w ,֧=*5Zs^pɚz{B_0."r>ܷ ZJ-?kV{C\rr84n3[~CaHE3WVQյ60Cp\c>dC%1LFD:vs*")vwZ`g~w&r7$因 $|@c٬ZbQB}_TGIVW$m{218zȇuKq=5&N҇ḢpJ/sԽ! J|>`T|^iTBqWqgQXf}hx /w#ۼ) +#0dMK#`r ZyNJ9QY/VESt*Ji:tq6 57^α{G7q-~)R.UT7Zή@ޯNq `:t޺ؚ*"ΙK /?dC1oztBpp*܇n| V\.m[,a6ieٳItP6A2kL/Jַ㒞$YJZ˓ L-Q%խVV.Ŕb zoUV;w=6N3,-F9 TˆK=%^cbc7MtcuDt}nNWua۰,هh,E)Tc.wi*۽7jB_*[ҪpqtN>ͺo5Xlx2}Q9 iYkC=chLb=6D,H; Ok1(S(HT ;=iYg0me'ք'܇U[Y kbKwSh^1:uU35} O&`-$x;Te% >d ݿw (a'-"z0Ƿ_DQ`S(Tih"oo7";c!>g"mPX 8FƐM8H2~ vE:T8uhݫ{x{JxG9r+W+`=Yo"l*nCAo([jB20jTH m6ZH̃8xOIGzd XzmHOb;2g(ţ&ݓK=9di9e<ґ?w/<'v>}Q42b\XS rSWHV.Tr z4dw:}iNfofQ^+*6R@ pСRL=_dMeZ$ך=F޷P7fb5y?O%*jd ޭI8h荣"YDd.',{h/dq1$H/Uo|G{7=PL$WFg}7xfP}YPBߦJr'!=1#I k$˟mld:mBOE m‚ޯc2 9Ļ8NpPzR!X]/Ckq&Y2{tbM%3C.Nqc'>%8j\n#֞>RC "2l5[s*ny&SoK+ލ,xt4/qGN]8'k&.#e9e˶bF"|P3cqH*EU6N 3ڣ 7{QrAعXߩ;?J=8bbyM >yvsYfreΡℜa OEnf޸ĮOɫe5# dD_w($az<,DqňL//k&bir1pND!` KYzi9ѷ<(|S L>#GGg'D922pVE0/eGv%BݖW8S_ؑ7NE 8KQ_Slp=A%l삂q!Ro34@p(o^G䞬C(i9Fӥ1'\\"s _k:SHr}Κr͋^bq4roHgtؤ{P1J?m4A]jtӶm3E jmZ3A}Z\8;mE_0I&H8&92goU'#xj.<8{Ry4y$(SRl]J$*ivcɳb(VуQzY!e> e8= ]^в6DV+ǧ`w3I NRmp7Y*'퇬;٦jێx}8Q Ǽ{1qxL'@%$g(ie` ̕܊VwBFV)jz#zU{83-:re(]V&. ֤: l'0'9M4QcHۉZ碛] ^ JE lY YE9]u͸<4&gгdg.̗ evoᇽq!b[̩GF_ a:,b7b̽=WʷEүW=d f.*ӆLM %U`"w+,-C[A%i0/$ND{J4im0oAHqTCB:@ aЁ9tTr㻔) CeB=qdB"wza;'.fN=T/^ Ii$ -ʈ>2h*Yp뤭U5`i #Aa&ҥK1 `)UֿBbRLI6/p3o LfR06%Ϧ@Ѵ<6IG w^/-vLJACKRjug,DU9tٴhT_pξ Ž{ ҋ6Q8GIE2=s qe[2NJ$ dL3nGP&P_Nrt3&Q:i"^-`_@,~?`p|'1+oP2{B')ASi#6Ơ?w74UɴQ'os0U58{ˀlij'*]aNu J TS{4k3 $@k#|U5_ץ2Ey֬8=T*:J+@5T,tW9=R'E庈У/hWZK9q/ {\}SF[QTMZ'6N>XMb[/A eOɷZEJU!lD,: PQ,|UDI(>3tھ󬤏dbwByr|jūgke-v[iERd nNL ՜LyG60R8_[5aX9 RD8zAl6TNe۳ v0c 0{.ߎKa‡/C<"D]E2c 5?`Nq΄e&[E?=.[4; r(6>Q C9\P.k>H%>Z&$_SR  w0/k߻fxUK`6YXD܆(@p0]D/MU#HNFD=umds1pYu'FR#\e#ß͍h{|',z8G81\, T=ա;\PIe9E?+I)i8NZ+f:`0ҝ恐.cR,Jwqݓב3Q0k#oV6X瀀7ǬɲN Wr=75emoT? %3?Ҽ6'bXnӕ*$*7ꔀlLD+I)\zpH^f+mXcJKJw v;_=l걕28} ڤ0@~1pOXпYV+t{X&)YxÀM7fthkOp2 z[i46)Hi2I?eO=IDŏLQƦfُՠ/Uܫm2 iOz.uӍK@^ϖٔނWe,rWҧ}=LCWI?` {$bPB) ӮP\7:o<+*cxE8?H1 W/&ľV+M*0S^.u^s!$n'Me!fkqC.1bN{oh`9&V/Eר’18zh/iZ|] |l~tmO&@($!xH}9mMY Ь4kMɻY M։$5j6Xpa_7REڹM4`Kg"\VTu3kCZA)jfkcZ+l5M{Z}:eep?}5-Lu~0Ά;<7R*-JRX@g{DH֯Q%!Rixp {S.Awzǻ&U^s:;`0lE XճOܬұn%d{fO Ll.|my( Ǵe7jURUw0e+/^7%v\dtѢ^~"zq6k)+`ˢk.j4ҝURBwA aF@:u$/ퟆǤδE&RtWKk)I,H!%n3'x$Z4c)*M =_|FK\>XxBEOn14*ѩiԾ6xF,-7 'hOe(4<3mS2%2B8c_؟{2~B=Z"Jafō!q7)K}7yWנϩh+rZF,{a1bz/\خ%F\퍒Pa 3PKh-N1%]ټKp~b:ZuV]?"GªyoɤL #Fp"! a6CRO `dP3F|Չ5FJ)'4/Ur~'}} eW_ Yib05%qO_ }+vl1"Nr wu]C\' !Wl(?a݃`{#.h=o~~d3Q07N|_PUe({An1ihvyyd\]4OG8rHbd)C9`m3ntI/8љ!d)bHZjpbE)mq6Swn_t2xz?6,|TT7)Jn!{)"RdR?evuPN}n*WGXU~g;PGlSV&Ʀ3dtz;\>o'ry] m_Q +藽804O[mr/wT8׬{sDJCT>\mŋ#(ta1 g^T U!ݫM<_u&@uIOwś Fì#:5e^?,Au~S_a7g<-LrdDrdɧ λ0YO G}߫U6bd#D1UMdX+LAQw=) [6-g2.9('+1۩ tok8Nk' vLʅe0CM0GnY~9=A{ZiV })(ux}`AP k ȉluiT^,ۨy9T.Oť=}tlxy;}.HwMla꾩\JMA[qf^R8sNضHL]kHcoj΢a+lrgY|R<ѳ8Q ;~!WE㏳Uuŷ8{U[w!udCE7פ2jn@ezEʷ j;{9B΢JqϹr:`gAO\1Y&zsjMą<\wA2MoL3hd'M{MTgX=gLOLۆhNF:x6օ.=Lfdfia,&Bfq/uaP!׊`+V gdꟄ#γ<d|s5M7/9YIQ e],$qӎ}ؕ@H:v":82`_8* % U|N԰r#_>EgEgPY^VF5T.BSOn(L/¢XqKDcAk{Z3S~8eҟz>=V3$<4mt|ΥVZ6* 7RD:Ttn,h9nl^B;ˌ+ƆO`:PnZrV; Xc@%, $ RJ eO7'U'fɻ뇬<{!N\Gw%Mm2T[&Cjofv o],/sŤuuۻ-;+bCǨA]B -#N9؃ǁm@﷒4&+NL"̎]Ytsb$8dp'd5 `PhOY(i7uQĆF նt*70۾X߫? GggNL?ZV%~2>eU,`SY@~ָmO +Q]ObbP1$3xgAaezTeVNSï ?k-&r4|O‘`cϫ>,~4 6c*c:VmRbuF|flZJY?6GH¶ k?*k;ϻ"pцB9ݫd+FMuI^ZO&=It2 th޾RsBHizf|SX52hqj6qj˸ti>!_oY׌0Cٵ8<^Q'6M ~4]e .ӨC NJN%3VHMpYDLh%&t-gˮe ק : §ZIws+Λ6_t0oT=h̑+N$&;(^ϥf4} 7IN{/rT󊗽0+Rq 8Я3.lǧ/ae 9j4"69F^NQT[ɱE{nk [/1/j(j$ۜ?u)ZDͶ.}: 4[uq,tVvWg nׇgtwktk+"ޫL7QA@C w'_h)-A0c.fIQ=+cTFנR: v!Ņ=ݾׂ j76Aj#y#ȿfsP9uL lӲ vf1RNr$Ҋ 4q-n`Z7Z zo C}U<z=R6"m-U`NFr+qA.x<TA.xB6,.z{N\ԢE>!ҥ7%g Z\vB_>.Ra{l 4`En!RD1'\{c4EqI3Yv"syp*ؤm yK_|*1vW\/LD,׺Cܐ<=(Y7|U;@쌕ŢYzRGs(@,kbjebCSOүzQU|Q |=j0_,ߋB Ha ׄ-Vm&+$YRz}rSs6͏ ʏW GbĞG/3Jy򇪜XyMTM6[&%rfԼb}3+bg\p3jNpJHm ``tty&P/M+}{Cq7?^/d1T!(]ob$0˝>ģ,{,_u{w zn5 M{:I89Ubm4eJ%R/f:?u= c}8HwV!q\m^ji}r Fp/wAN*Lzjpˎҧs8b *d<$^=^xG T?qшjyZ(a/y nHΌÜhVBd_^u5G*+BvdO7QJmF(cPAfm3 +~[{w+d &% rHogn}-koq0*ɾVóDmuV(!OU].E1 lȑ}mM=v# z:O@`SǏ6mvϠE z?EsSj08~}ErY4Lax8(mL |viKd0\#J8C % NT e7԰ Kw"HLlÜ b7M8S 6%1T[t6˽šF8w՗EXf8G2o 8?p`LJD\ 2 N({/]nNw;fD̕Jh727Bk_+M"aW) Wܼ\WE`㑛?NKu/Fa0BpV}RN g`4W5 Z~0S +c`gc!sl鈢l0 3yЪ~럕 bsat.`9rkvkPّC m7&S]t^QP#ŎsV41r[]c3cjLMhg+ZkDh8A={ԕbd!ƌ1u]6ϾAz9.ߛid?m<}ʵԪ~)-#EGG@&6rԤD,%r1Pl7CMZWF=,$s IՠMc fh!@ #'[ځZO<+||WBX+b+Lr6@t jZ=Y$3%H]C-TbB˝PlF/MkAfxNPpkUz8]P [m;Q-fC0+8%7ie6[iM ?\ * W[y<~w?BlLMcCK9QDu/ h}`7U6a8W8nϋȽx?Ng!욇+T8ԝH&yPm|ta!wQC8!H 53#9$t, VO0yycPwٴPqn"F<ktZڛ8#ރt/F1 uiĤoPJ jv&斋&(ߡ Nq[y1YAd^Ŀip: unH oIIh7m/T3QRP;F%Ƞ7ixc|td1v;v<hlqZ-6tXZ4F =G醚gS2(X)s21Y?B|$Æ=%HϬ`fqUy1~ vƘ@FV[!#B'E9]PчX]Uy`+(YPZ%栒Fü^PLTdl Z63բ![˙&T |’.VG 8J@, QN+,-ӄ[XpS )w*7^pā!Cz"Vː-v1$J{f)uS('[6"BI~&"7NL˅Pp&ڎ> })Lhh}%8ݗt*hX/ѨI{*6(roH7eBr؃@Y mTnL+0Fv[.k4w1׫C%%/T=p&b;<' k܎Wqz/::W֦E4q5HgE6Iec L ze <97D:&GҞ|lpk$~3_{kuI "e[ܪoh(QR @:;Y<1xa(gښrZ{$jRc 9Jb$?O`;Pxp=/g,-zzEmդ#rP-Qc&TS2-ZI1q1v-']q?gY+Ҕ^g5XRCXPȉ*^^MvXP0+9[q.: sTwWϋwe-+R ¢q2#p~̙M] ACJ+V̎rPH)w46ʎtes1H{ m|.]o _O4KEWvŮJ N`x2緉xD* "tC[I 򳄎#R ?:Wn?HbqzXW sk5/!OM ?"s%hlw~ʘR{t|+粊͢*#KBV؄, i|G=zE\Sj?<9(4_ͨ$rfrRܻ˗Zӄ3(T5 VZ4orMF)7thQ1Qe#Z.V "}{`U@ΌYeu @K)$(,cv vV/4cڃGXR.ƗzDkλ&}=w @uRjx %VTH?SB'=\ 1IqxbmojF#̩;\XpVbd&3xf#SL+4ޛ ]2ģmAR̀< )"ǬwK+Bb`eNk{*(™ѹ_) (vQ)27S6nm;X-| koP$Ƴ=mAny ETmߍdEDO6tXL#p üR ΞA)jm Q62<#p *~0r65#!gݗt[/B.5ru3h\{ AG\΂ )wG؃NrbG *va#RMz{zEFZ4e*wlV9 4XuJ3bh@#>,VB$?^fc/{8pFPF qUd}_7IU@2_ s^6|q%rcH,fHzn=`dfn˛\Q@F1N'^ hyT>`)7zMF.Q0:J}!+>%ALO}[FX'c ų+?16EK$nr`A~/_03{bl%Ks1w% y!Z呐voµ =PnL-y/S$9cU&) C#Xqi7>Z˙sVfv~VVF*'WFbau35rP F|qyp#]/#)i@:-xCʄ:o)5drљO2ːLGǗ'Yޙ:%8"vvQ 6zSQv jV@ mὮn3N!,=d2ܺz;ovTmL꫁O8*tTS"W7٘u+ᅩ|`@ğWC6Jy&GЁ'0vK9bƱv.8DٕU^?ިh,y3h6+UCm!N/w. _XdP ߑ uEeZaU>pF_Tơ7<]R_lUa&w{& JylUjxVcH7:Ԡ>^Voz`d4( F.6= 3H;ҧMmT!'>} >+E7 }IC!d UhB٬5$ < ܱjDUMl-O(;VS}g=HԔ :#hEP =V|rIu"g WJC&x=Qy mV-{J{pY:F;,(j"g/o+ڱE}'_2/SSSn("{'w.CyTo{SW9cVFQڍ]11+L5 #66Zc퇍>;sv_V֩;_)"rp}  .5o2ae[tޡ>ϲhO ,_gjNآGݓ/nwt)`;^[5μKZ׫IɸoUB]fщas?zPZd 3kl]lI ?pT F|F1ަ۰ki`VP_%yn,N)_ K)#3Vu' }̝ ,r!+{1jpbO0EyPύVChdf0&"V* S̤@()0 3^UAei@8,k\Khl`g:GRHGrGx`BD4Ի;;"@ZI B n2Z+ 8:j0z{_$:^^PT#0[FT+XA;)/H 8a_V+[۹c"VvBxr E#VL6X偲uDrml 7gYZ z 5W' dHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! F ]Άxʆ5.f-9 rq=c×G\/D+$}bfӛnGۨ gK) U) m "{,琗z =}ell?2u2'LgP[ 9t+9ՇO{R-Ӯ[*TLųd=C}۽p$Mcgvϔ?/!'F.ƔaNJ$ps5c8t50w|7 @ьFK ;q5&0`a_ט4rmZ&PG )-/'C2eT E.mTP}EHrЖvkLu8;$pw:<*7D M("٭@` Mvڽ6>Ui$`X}0z%VlZacB5R1L $Sֽ*aqK 4\!ypP8%j3?uQͬjL29qP"n;谴DdpwKOw(T:$ k̖`;#3oo7gʱ`w}R+.Rad@9RuSvՉJCOw_<_a&3oxœVXztx1ѺSE( x",lIk 7k`gY֝lU\G/RH:w >Dg"3?&}Kb*R2FlavW0+SN$pƖfhh<=Bs̆X&d5v^fRzF?Mtw ?M;W6v; ncmk4Bs(]_f$=:0=/2&+/g*_'1`GmˬB5l0nV~_kqRLpJ$Z!Ćr ŞbbkL<8HIRqA7-R>GQCĘwPu6"B(l[vp:J Y %ĝg'++:?\yi)a:tPwҶ}Tsο;! +V6^ fB%(Jn>s:0,zr֍ + %=?SHBo^<)aɭՄo![s4UQ*]v;$P2͐vuTZ&5FGL1tY&MrKn~By :ª4"Ȼ2JHE֌Z[Zz؀/"V>rg"ITYm#y ܙl+bnZ# wYbvԀCi i\@3&gq *&ԸwY~$cT#ZpWDkBD_ͯiV00:&dۃr-́qhWK $: ؝NUP55Mi O ܔz1ATc:K8 ]3#A PoE/rWC[?Uz %C>¦@xY(6CG%&!`=Pv&;YH)ڼ5sԟ HU$}+ggc?yT!A"'ѥzqEy[ﴵ8>P [ ŗDt2*OXQs&! r> `|PagpPyF:,e&Mw@ ?Җ @XhX{wI4CK==Z\ L@\VW Yx蘭oI %R=*Gqb|~V96NBX*9=3'Dn`eéj{͋iqнMd|Js6{*RavjirbP߳!Aٕk6~ "R@Yߟ :`YstLR}5:ĞOf@w2Ji/ͅl;e3D-5(SK1~+!BjGEAVQc6HH=boP'Π<$%0C6A\CEu>QG\l);*k 7XCi7-x+uJɑ0%|8&~qL 1AK >#jK1ŎڗB}R,ӕ>s𫉭 A`$sOr`e9 ă6/zb(U&g ^I:o/DM{"2x6$@ '#Bmǔ'kgYZ5 R\Dgr'L)o-=@ eiޥ[h5|k\ uya$z12FR5 햂K8eT|([G]m<;%SI{K1 zW^뛓p8P]B+2 Nd,C>O ^V7@NtO$b?q.#n}9.R WG!([?nQsc߷]i-TpI 2E΅_ߠۏХ\3,L5x]ѱ'l"g%G ,"3%t͢ICb|T}~h\P1;R.ӻ~F[T5DIx Zڟo[[r$ErƇёu#p \|ddfPWlF()br=lfef0xYv| &z`F]eZ8/)'GS#@{NF9" q99MB.*o+|mO*n Dq7^N_(tbڇ< :+Pc"J3Ah_wv22]UR~bτD:̃ffxrCWuB #aSqm0d w/.VUБFr ZnC'n5tRGR1鑅,x΅q .8Mcs` k v;Xdt,_.2̆O{$`š'&TF_*t~LM`L+03vcQ*\8YWִ]7qgnzR&%4`ďOÓ@&=X`&H²WŘ eLdCQ1Y"f}\0P𪗅|S লKSi|1ddT[ rB1[aY7vƒ" |W^{9`OCl}ڪ'RR 0V?'"<kJz=;sb>@~,-%FiF١1UY(<4/#R4꾠/Pa@#yV; vnBWtHYw*-2xP}ح>DL}xR)YQ): }a`A,?A[+v=ͽ OkMZE߻J@RD@"~~>J/Ъ/ "ɔCަƢt?7jt߯#e;:]Ϥ@ #>*P6%XcفJ1. qsAbxŝIWKs4@QZ ?#J[IŬD.H_|d7oOG)宛qSk pVE[ (HB_yEJ*%ULF8=Kl-rTQzsQ~8LFq}CY6r +kWlѣaXH$z@zӧ"+֎(p,"]vĵ EPVprz ȫ/#(i5qpM&&p2UL)!QJ`Nm+!T2y1oDޢ(Dv.D_Bd spuGl"lG}5ߦu?Tnot;Ž.}Rml)si63|R(QM |e4Y`0JDL>Ȫ0 / ^MI6ͺ|ˮ~bp'"Ou{`vNaR!]'JZNcp;(?}r1#H7Ss]E4kgJcOG+^;-_=t͹} \JAl]$;3s틳BDZJ)X A…sBD\oj|d i6I8j. 5 A,reOP n {ICEbz%}YQŌ(9q,sX$% l`RE"~uc}dQOF; =:@|^ǃИ4%`#9;ۮLr_Y;f]|M Q<`jק7ЙQ;b҄1EOوmd$3}M枅~{ss5Y1֕ꦅ/r'xU͖6HF88..`0`У^!Iwɐp¤Kh0"k6!#iyJ|o'ntc1"r\1(D{cbr{![*ֶDn& O\-;7l W|Y6@u?zG*BVltV蝄S[=ɴ̖|-W9IqnsֺuL(7 -Uuڴ;u,wٍc==lUW21`;sA4:6vBBg2?2-_fSVGg.N,wYNU9=Uh*5GBnoupG%o,U_ ?5\flL&5\I [ HsՊAxX2a+Zfc{kTw"^*j ]zTlEhۚ2lYy_ρT2lb^ͰhJk-ybR0~qջ}}0CYTtW.eﺉo7{jVv&c#lY`Wj{#:? 6RVϢC{4@~׮|+=)LjW%J_MQ1:QV62b1y7tFƓM_fU|"K&؄l}) `{(28r:|$h~I(bV}^h֟{"(v R%b͔W]|aiVTTsȬ4 q"AoϳWEq1R@tQ/$YK-; 77$'"=yŴZn`k| nxS{JQjV45@Y_N`˕_ӜPQ=zXw#{gRˈZI'F=ryT))>Rϑbp`=[9W1Oa:?K ~>@8NÞT. Դn5c,ȖM(1OflHՐ3d~|V͖⪞d7^c5QӐVjSj;!6W!ى$Y)AZRf$bh4#('07B7=9ShJ’ v,ŇĸtPCtODk:|9{9t{<(/ CXw+腗TtQӏ`sS6UT*?C1 5A^762kmU|#F G8oJt@at$̳m0AB@H./^І:X5Bff%Gafy鄙Y NcuD+P}D/3 P0QA7WG”:}T-W<)yjcH'xNv]+UM.= .=15/@A+91Wo8g+6_A{(Ju lG~FRm >l=ү|jH+X0h\[/k"f]JGmbn1[+F9bcp䭀냌oZuUԌ|ψcNۃ*[Cѱ8=ir)4E)rR!z 99%C"+}O7Mr\4P 4)a!hѬR !D(3K^*~QJi?yi-ju >|&iVyGֈ[g?dNȫ~xG]]Ib8V P9 Zf&hpUo0 QB>jpFKUeQtY3w^oYr=CqzU4Cp 7$ #2nRWN宐)*8bWD>P.Ҟ; O5FNS"M,gBM wPT<: .e'a ?\9J[_!N0ܖ-o8;" gVFHO'/3' K)ݣ~7mӲp-ޅt<#w c*>ze3P9( nouNGv껍<Ŭ*)?nf]&&ZSRZnKvA勩&o#!H͸Tehm)/>@)\bsgHXop5&\<ԝlW"@SaȺLs,\VʔA=zcw2Zv>]o7u:X$ՏMDžKVC7A?.g=ёH{;1Y]؁uw*>ܦlXA4[X;GGԺ~X&)ѭ:UD(  =,߉; @ɩ=5|yay~ӰGnnĩWLHBM8IXD_=3AWQ ^B-Fkef]y ]{dIp5mٹƿ"!%枸;@VF4%qc7̪fXظz E/yjgKnŧHVln8{RGWahTˆ,LAGdclOkeQu ]]6:vpmt> J/ٺFXE,B>6>沗"Et?s~uޘ^k#Կ^#-殎FZ[HO&A,EA|]fRMC#p[h"J &M~XWy-,!l'=Pu#c80g9jN2HkR&3=rzy&ƀ29]f~ޱW5YQ ?[7S;y$)w5T x͏&51}6byfL>F:p3}sVCO0"UT;Jf>s7?SN/td."&WX@[&W`fz71$C0g*lۏ)t1kfd^psVc}Nt+ް1ʰl ?/w7泙6|:c͚E>(YEXvY]j.{$ y3F\$q:PJL=$rYuoq+JvZ`E,:hVtKҞmd5T3w9;5;$-CY?1`Lx~ma[4!*D/,Jh/Uw~8Cb1+ {࿡Rvi5'hs91 &1*8<՞@< #gYZdaf2de6f94f619a0b673a1ec47b16d82a23a3ba5d3f289e5195aaefd6aafc967100d776a58ce0b4f 29fed47a579a81d17666737d5ee8d107ce867490