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\$4 ]/ HOL-Record_Benchmark:threads=6elapsed=148.029cpu=245.140gc=21.8157zXZִF! g]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)uMMS|"Q&Ǽ^!5kyL vgYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.̙ MOX;h?Bt'){5tS4g^l_}YZ7zXZִF! O: ]ŗXi%}hy@q<5-9/v6*2 ϧLͶ~ek/Ӱyi[_ɑc~֎E6ʀh;[㡇 ;*;˼_0cJΌ0nVhI#̝_.b(VʼnE3$xi,RTBqZ)e}#1a+tU;G'˴ bek_vșdkN#&: ue(wNSlj8i!w =1#j1Sr QrhY|\qu!XwN ך2/|ť&I}.l88aۓ 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$(]]ӼCrn'0kF7Q\9r f'v79bj:ar)-;mFM2Ȕqkp?|˿x {]涝O$Ȝu"ۖܶC0a^qo L w3?%n6ƍǠEGAc=uR*#ۅۏ@$XڠU\ιCY[.A!OFI'J"g!ja۫{. m[\B#Xؼs̮HCEZ Agqb\gYZS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Ben     _ 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$(]]ӼCrn'0kF7Q\9r f'v79bj:ar)-;mFM2Ȕqkp?|˿x {]涝O$Ȝu"ۖܶC0a^qo L w3?%n6ƍǠEGAc=uR*#ۅۏ@$XڠU\ιCY[.A!OFI'J"g!ja۫{. m[\B#Xؼs̮HCEZ Agqb\gYZS5W)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=C?7f6 {,gPiJ %O !g\ h D:{jSZoFd7 :O{\]@tml ʷjB%m@:}`vǚ8"Nĺ4[-$u$o 5 A®aihA/=s1mE#=!K@z=KF[S OmQ_<]A&4H!GWd -2Fh,l8jB4y}k ˺NJ%$JLURZpp@cNX8 dF Hb{7҇jK.z垍\9xt K.En]F2xw6%Ŭr!TSJ{K:Zׇ)/HWX1K: #;y6l_bs[x`cUܜUT9{VJ=[rw(X?T21DagBZ4#U u*39~,^`Q=GMvى#x&pI]6W*bw]! 8)К&05'/ \'ƅ.űKoh +2)d[̧&lvg7_#}[ ?z%8k2&D;E<%t#&n.g9j5㵵WdMO+*L*mŦCN1iHepoE.SշVYbD>ˆv@} !($UqV w uu6p5ca}ԢY8)HPP! |Ɗb)N*Ƀӂi2 @qZe] nDq7WjPM|$'J5=׆,H4>$^7E74̤|ූ/M?G#jdW7y2{A&}rARقx)Th YOaE 6nFYo1D%/,0D->k샨Id!G;h7ͱ{%^"F]Z9ɣx5Qfer:<ꝅrZ+¿L!ړS^Y~$_w.܊`kٍn<.TZtvavn"cMf4 %ט^M 4.Znsi8ۆt ‚o*d vΌ g-z=z"4Pzb.V*"%@SDPz{T[2tQhVZOI[=o0c<\ .˂M` n0{)Ocy J❋pP@}Jyŧ/?):FOtH>4g ?o#60TJ٢Խ|kIt 4B2]9)@U oHO ^}G52 W§| rԭޣl9Eb>wgaoJ/F~iWҤbTH`]8^5XM [VwAT' )!L#>c­v`$kz5`SL%H+iIH7 N4_IS֌tμ=;x4>)SHut?w ŐL#:~;,MsXl/kl`ZН[~ t?k3"x͖N?j~/PF}/p+=}oP H@Pa>mY j{CJ'@2PS/R˜eK'@ WǪ9sJب:,_yϱH,m%RBXTǓ6+ǬxV:"3q6k⛍G'I;.7LM5.1{D{6.]㍱q>5싩T;"`pZem?91CW,{o`Wfh5N/[vL"*L%f5n뎠/_;mM #!5/FV\}Է!aׯHrYáK ( m$:MM˝;+3L[5CDU9h3*}Ltί0TAJ X#ֳk V9/$ܙm){݂J ߚ}#/lqra+cISozmB4V'Rfn;8oValoAEO[.AXqgwݱGZUy,YBvTX=î}~ Ӌ~ 2>ag_:C)(}%'I=0H@ q]u.uW +-Fle$GaCpGjS/`PN'`%;1J}zԅ7ԭ>ɭXj `4B$#5 _X~]*# c,"qJJ킋 ;+sSϜ"$. ̱gYZAMU(Px\7l t 䒰ߏՋė29jp5IUƔ`߸RyM(F~h9Tt?=( l'#T` Z6Bf57a#ExIɓiUjW`ЃӸ?XEFiicpجi'11:DYFyF2^i/|΂>:^s}56sh'~ }EE,]_%#V~vkKKΎ2*_Ock2k'Zcgd;b^9Tn>|h@~QUhroxw/A~ +[F3y蕣&/PX&#L1W\=)&ZN T!_ drU3W GWwO{ooJVI'Q|=ЉQi(waE( Cn-ƍ~s t跳aa7]A F :8CFQْ3ea[!kG\W1r3s!Q_?Kr\9:Slܡ*Q8p4x]E#wluX Zb܄":ic=~Իo_M){ivj`)3c7߼hk1)EMB8FkZ@eń)ґ3}S۔7rm*R,xVȥTt_r=#j0%ǧizt$nsjӁtKM ǮN C[9oϱ f7ƒh M'#+R'm"kNHd?K(aS21)h#gZro BvuNcm,i6~}̎[ZO _ ZRJ2K,_6ʾnc,,iSԮ=a[Ι客7HF&W2[Znj8eƆQh1 AUI'S7'f2H|@5EFUJB"l]ܲm\)6j"J ed>h9R7fc9OIHLNlޔ[%-G ϫ;?l1= E4Z _R,>72RqؐYIyv?͡L!y. >UÀ[ 3\e[1. I0@-\짖^׏k*b 65X sR' 8p.Yr Z9 D7ĸ~T=?} sŦH6W!?R>7\1^sW >%TDyY,k+geWyQÚ˧؇g]39oxq>.Po~+k$7*o{ INjep+{5oIuI)lqv%&^ G7,x`H$khُ\4bFBtZ\Q,S\Dral!; wuScs)Af&t*X= [zPtiK 6r93%VxH#hWl0wk=RPR@Qbx<6|xi$!H>O/+pd3.Q~_ ;4pŪ_upw=M䏄hpw=*g:9&.L0UWVm/'# H tLJ'@**+ OPbߓy1UkvɐE}񫫫H^fMgn%w-X ɢWvtZgI$}bgle[ob5]E羷/mYWvDS$ovA]<BQJ|;vE>f81lS!߅`ލ 4TѬOv=C͝4¤{"@nۀn#820 H|X!7 UroT9lQ+wr6'le'lVE^ڹEX}çW{XgK`Nj$>SZQ[j]geuΩR䱿&ZS&LPP_+6ћ} }KSJ#AD6v_r?=G Ih?Gnq[* W DAfkdFFV:aVmG/nfq*жΉ"(WDj=x]}1׾ĘeW\bI:1)4ʑgif]2roRfHKԢ-Uo⛶}LG;ucY6*BX ί{'j^God7@Ɯ/2d Dj B# ]\/Y(6ݻ^G]Yotc@DG5T0-]fُlVtyXz9ġ^304rTި#$I.My03?7 PkbPA2i'F1}CD9k𤫳4J^5mZ8G*k8Y&?lxs`9S>4NmK E~ΗgMD{EFOq6'j|@߉bO_Ͻ퍣h%kj)D "Ajz}-p)b[-(7\ *~ ,ؕzNzrcRQKa}@;fuL)qPǏ1 cٓx6ǓI8} b})bi}S)5QgpU3js6P\~#0(}N ,>*4Yutlwz&#lyEtX >KZH 9`('i A죤5zf(&vR,Xlx>jDd4L?%sĵ1%m,@@k=TI̺|R5":-1JJ-S࢞1:4XvuТ2owM+_0WL}/Exd(uV#2UQ$Q40gN:}FV]Q69Fwܸ4_ZXV@-4M`RU#=(huơ1 tٸhRq0=LjHD?a“Wl$X3֫6.-њ~8 ] u4~cەbkGȘ"8pMdkAFe !WgYZ N5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8dKe.B2*zV ޽_kAWzzma2Eؑ!"y8/!*3:2,,ˋ3:E]Ƿ UA#i9 #PJDfr Ts0ЮK*j\%lԕYV&@?v&sCioyΑ?oiO|Xw\N{>2SԻl54~e:9Z/@zyU}?ly-ԶJC_iI)% "Y\&bL17j 92z+В v`P`q@gʧyk.ݚST-mI0^N8d\JgE3>LkͿkmR0(Х2tc}݆[AxD5f}, U @_O` v"˚S կX2f/LaֿpOn6&Op%ǿRs2ymd]`tD?`$ b_ܩkrtaH_x#[=}C.dH oЏѢA5rhp|VE_!#x}.5|l+5[)5ׄ}AW Ӥq}#͞sms,8PAL}mC%;ÕC7r 0g^ԡ[1.𑜌j-Y`ՑvAd%QE#8^O# F Pb۠-ce,&^w`8ʼnڹ}|"N>Ew k@oc0ĐS)ѯb^^[CL{\߼5926+^.5x> iO\e#ƀy(NW rg57+)Fy@xv0LU1DЉ<'/sstWԥ3T"8PC5>bF"ބK Wزr[hZ 0P[;y c ck8'];wh³8pKwXlRn߫\5Ra,S8P9!,by3hF5yDdߠCGA%_k\qUd ^/ -r(feޯy-UOC&Fgݯ -> uƦ۪{$=#4k{LwG夎Ca+LPOcq&VYnXKp0%'ǖ{a.UGA +%iEq5qg,^s="b:P99ҕ8^AԘ4 5Q}~HrW-ps*~0Ǻadh:YfI[Ș+Bn( f7A^2kPe'sgk';6N|?oݟ+$c6W53\؅lҊ ʛ=A7ѹ] ɞ۠/O/Lg NAD&w)^g&k笣cfqD<dڭR8^;oVKV֜*0 r#,,/R["V"ӳyIqvI`' :R (8Zٖ!{ !mHȘPÈ>gEs?.V~ <"='ZȾOFH;uu|C4r3IdE/g(۫4]!I9rd|a- Whp@)lUн`ӽ|ѮbdG7,&!bwlV|Vt+b $Lí-G3 z_*!_XvCl ؕn/pۃJ= |J<3Hew6^&{j!:[Jֶjng6) 2'Qpna>#"}B!&!Rǁ{he6 < :ب܈EH'O~~?#eVIFB&2yD˜΃fL@eB ~m+@uȜ$3~qߪ5dxNe@ AKE9pVQI}W=[Crru7GÇoBB5&`/d;wT0u:t]H #~L#8(Nc`(| !UhzHX:;y?i7i;Zx1S(پueːɟ񐰁YF&VhBZ^y0_jļN:5T["dAʩMh7_` OFQ2BfqaQۨIG FuHi0Z~{ۏ"r7?KqB⢗u Q }01ϱO&[slqiq7 Oӡ3Y ByZaK{H4xqڙqQL1cV@%#6mR]H`m-d$>T k>9$ R^_F'oSFbT)0ëx󅲇mzax Wxf)JqhrʮVn,&9⴦H6<|G{^&$u l ŚW1QaQ,>Jko;R0dSLT7;X+6*<mz,99,`^-B9[B$IgdHRL,MDA<ŵbBLP]u~A>Va zSU³fjc[G%ےai,F!qk6N_#i @Q! 06 ,iem9`Wetԑ:!bqotS,w1(LTܹ%dBt+Wh?D&&=ෆm_dXZ|XK$VzPZ{=2 5^^s[C;]XFgQhJ3dk3"xLçhsϬ-"u,S &=⚙*(Vډ뒏n|ꢾמgcdDIfV˫v|E 30C}.Oh =xqA@ vwy,y%HiӣzJDh,ꭤ+X*cqhP}]l?&FJ13ۄ&DUwd4r'{a5[N#V)Ϡ="޼G`cv 鸤A-|yħZpJR.4. 8g2Q!sn>#Qi5.o.![G=lM 743R aqvOYp?/Xbs%tBΤrg);5ߠ*PHuXnc)ac ܀B(۞ DC؅_0Agbtԅzo{31^BVT2],[~ nAUvD}Ӯq֕DXcCԁT 2MQ u訤A?l֎pzˌ_%LzT_S0?=?INؙ!9|ip!g2tc@ g}p\ 8H]l?"wpq2ALfT凵nIR'2ckT3oٰw C2`XݨbSwa 1)\6lp63綘 *Ė; zn޺O 2F|r@df EV .{4:Ȼ~`GөL[E&r9N[]6q~pA4x/,6 Wt˫5sPi k'iwڞ{`XrS<`g=|ɇ!)y)h}tD$5g2(-pJ"Wim'`r+2d~__ɧm!QR H7<9o$0QhoPlCPFj#6nI*{+ؗ CMځf"uWBbpg(|/m 3iT~)'3a&*FA L7urY5NDQ,z+)9UB?Zyƭl4\%ipa^7k$Dm N ՟֋8 ,+o%k(=WY/s^î#eB-ˇ2ӥ"߃ƈatz.Tv-v+]ҷ:F(3 Bd tQܘq~!W3FLEh\g}Fs@oEW|~MT\>Q&[瘗7:r:PY(siׁksJY,*DXӒa_+kY}Ihƪ@ɰcsK J5_0o**f Ayv2 4oOy| _Wɕ%lTAO+ޢ =|qC 7?i RŦ.C:znLtr|u\j?kcÑC{>N]S] [,cbzWg`.4|@s_ӑaԊL} ]ES+}Yw RۜPc%2cFBz:as{*wv|9;tRv'; Yq$=IDoSaMI~ĚNyO߰,VcVs3&qM^lUAJjWySŌ"tM$̢&G&q˞0D>Z侄t0-b#:l[* hb!}3NC:_~tr$GcG^$uee`橌\\VHeN2Ҽ"#GUîSM^ѣܞm7hZ/OYl151kD2@6͙ yIE6w4Oe䧞*{dG( |"=֑?fGxd4X;*OVG;1roZnos ~/a%1;|OL= c?uA[{:.DFSϏܹn`^ٺWu BC7 )~Cc-0,H!IHm:r. h+KJ uIGHu- _g^OG1WT2NhmcVLފnyl[ bM\Vjνvׇ~i˅--U[MzOJIv1B6}uԤ4F.~={s[؛t;j%ӽ M+[hU2hV.Yn>4+ 2~jr55u>Z.O{nǫs:#CQHaUuDE@,iK 1uK9A3{ uaS!˺sy8|v|FA|qׁ1'<`cDMiCq3ȎDlIhT4?-P6Kf̃_xsְ6F:ʈ~O>wO(OE+}(݆X *~AUVl\u8Ҩ95S4 0,-p ZO0$Ob v1ЙyW/kr p.z'6UxYsh1D?h:Jaϝ?yG'7Gx i7d3O>(k6p{\Hn V1 q\b<^ d] 7 2ATGH|ZAD!2M֟MMHV`RiѦ1+b\jDa41Own|,w PTBƌ%,1ֽ7,G{TUDB?01øP MK4y.ZS]|JFihGwʮ9vV2"ź{u%nZV Woe)!̱wP*ݟpSWՀr~rnNs 3$Sё26B"f9áV2eG?GUÕPl=0ICG"4OU7˚7tuO7~sOчNfzhW'i:MQ(k@H2ym{FΠr<.3s͡ yE0MG*7=~-b/ŠMYQs)Osi;D yYJ䆟&eQeZ  m6/Åp|PMTg!f헡FalҺ`褯:R ?8&](@ MȽ v 5_Ol}G@UĆ|ץ8hJʂe`76 /ǫy{l*)wER6|mNe~Q5}Řb 7bi4p_Y}D#'OJm#[|PzH}_4E*fUF Oa B@HQ`jW/5cP5/2Ȥ:@K5Lm!Y]gkn,sn +2%} Rw[)* F$ =;/$b/n՘%PWsx*)TcƞlWy[է~v…\; AYHK1๢#mbu)WRGmCtXXsjC?s󸽢!R?dOPN v|UV4$ =tDP+譢LRbx_9/Mbܩ"ZĶArFOgvCl0Hŝu3!N[H3$xqł+k&<<(&8S$!$! (L[U$8 COAr1mc-4˾z,N?h)`ԶOMTkL,U;*s ^(WKޒFY|I?oN*'Ʉ|Ҳ're1{D 5vG%ySiW(+/0b]m9y7#6μ7uihV|Z޾w=A04=ٞ ^\@4v ٶY-0ΏܰKd[K YEQA):- ґ:l`[6D2I FBo ?R>bIݨxhԔ-}s4ƥRɠϊr1(kU- m T- P? ;|;U hq<8,&Vr"ruqތ(5VE7ߐcIbYD{%r! 3 }>.< Yiiڱ[skD 6u.X,i*tCe9n1EDbyIH^=;!jB_ijۺDV*Ax5?3H6kDJsbJ H^8=O7:- MB3, cġy!OZ2f2i^sډș,)UTS>L_GK/|~ 9\sڌ%e+d2/HF@=rfzw2; z.2]B֯ӥG66Zu%y> 7mpnw6&eKO\硹>je}Ct-2{SrzMMyc;{dz?#%N9Yk0h~ɖy?qjg)zW mŃK[%thي/YCXȫnK{벛 z##KM$B ]e7庾>'a rWE2h ETfY ȭ |*d*B蟙F`aYǓwJI?CrNGS59bDy@P4F>EXr:o3@] \pz^ƒ$r=U`>݀(5(aۨnpVo=T7w*I#ti]]ELX?!8ZIʩm44S NA&Q:+-[ IocrWKVBT{Iu6UY)%IqsV볂 erAͽR =kU&hhR841H/f ǽo1`c2ߨNanK.CF z(Wƍ_`81x3eC?o ٕ| }F6vn eD>|LQ2`~ak3Dج拈v[ZHP밽F;&6]h3_,nQ ZOwK6EX\? $l>ex !5zkQuL5eQ'6!NYHL6 Ha?^Rp4;ΰXp2;h7c'tYL{)62_Lɗ RUjt'އwϗ#bOe\1Џr|ZdWlX.Kc83{;^U V5M{^h孇sCjJ5@.0Ok+nVrP|IzL q&|VogkWJܮڶ+ 뗌`2usҙm~ƒ~ʙ%rs y5^(Ԕ֏j>J) بQ-챚bL(jyAA=^Nur|HfNʰmÆ )33~ݸKɧ M?.;?MQ^FZ=ؑbjN]i%uR?mD6~ψ' xEӖ)~9#QV5#qMpMر-sܳ&>[\{J Qf43n!$=dG,y?H$ޕsZω&8CN5dNL"Yjx dd1 E`W*,BG|'4|:~_|qˣ.W~s۴FJcمb_^F#\ꇠ-doN$|JVhBHoD;|G!A{r-)"n#J"GF1Yt3۫Hȳ ̥7q6oEהF ;t-$J =e=ΐF,K3"Ju!&L?b-# 1$0$ϱ053}B#]ل9r} G+EWUtju_Y Wnx]~Kd@ǝˇinmz:ҦwN M!?*;%#Ekv Z)kV\m27Lm](E0z>'؊l(>F=& $ :-=wŬ`2{;wWnD<6It7v/d]^K?;nrTh2g1aS N,P~A(ޢ$:@5%mT1]0mq@AQTt{%΃O{ ژp#A?sN\i?fr6`on @=1Jn@e-9h&s2^8qu0Հf'eGH]r~b\@.f*j,[x8d%5\y;12S4MDlt M7f[~|x foTNN^!# Z qǰO'qnqף6iI8<7B$N3@7-*,)Jlf=sq4$"Wf._| Z;֑٣ɳSvzl4qqÍ MFC qdA,[:,|h'ΰ}kt{\+d/MC30zTA,0#Eɣ.+aq}0HK|L$r%^!JSnO5IVe~qDίB4c_n۬MDHLw'])˹tgQ CIj}8۟i8߂ Ƈ^A!(Xb3<5o,I ߽v BrP/[Fiaf-iOq |\Bom 67Hw-K~uVO/)Ipqg**r TN ^A>WGC2IȮj@2@-qr6AMǩV ɉ* e#ڇұ>p«.R&qxGYow<i["ܡV$O1>]:Shbp8Tpw&9Y3Oqʵ]0C9ˮs펌wMS- ں&ԀcQw&,fY AۙKc BnH:"A㴈Y_\>ׅe<͋/diśf'O,JayX ttY UqI;!A&{Ѭ6vFv@k$/@+F_yYQ\Gi(.c J`xyT O{潛 &~/ H2n:tF{^,:P!Xx%g,;l_-5\;$j_5FaCLS05!29! LӐpWF'OĢ_z1bE#k3W3Zp?”aU ?K Sz~_4*$b8=ɓu ն4ncϡЮZ+Lb)`p?Pٓ 9Uum^_wR<7p5!S0z=OlǕSٍ<)GR0_ZFQv֝"s':ec&q`ܥ"]l1 5/n!]!OOxiQE\6LF6ֿtn.pgĒA6wDUeA=/"0:|નEMonw ]b'$0jzL)Ҏa#PFS1( 0I\P# )Ll6/>Nf`JjE=qUj|@o^ɑuih$ "ax-|+Bk뽻vyQW޺? ԊX3xtR M(ȡW&ٻr zi.xH (y1p#rn;Dt8m`A( &[6k( /!; y#Xb7'-z+\3gQvi4^ rc?-Ǎ@T~@z5DHgCŋWXR_ q7N(áuf ]j-ddo=@3F$q"~5D R/ -SK~r)P5k4Y^I` Kfd,9_ M{Z[ϸ C&wHk WwCorBE;â ӧ*Rp[p OH.4vJ5i1Qڇ*q4lwCҷH61#yuseqzsg?8@H.G] ѝ>2?]ٟmÆնڢP(eL|E=,wo&. Fښ{eӔJg}YĺXGĬbI("Y!u{`᳷CǾSnrp6DΊ2:3;X%љ, fZ5g'@BNh-)qEC^ĆipG-Ro8D/3ĕp , r;tv&cgxXNkx;oYgt+5Yms.(TŤ[wZ ÌpL)4N*#ihs^ܩyߦC8%kJ~~^#hBG@rEu)N6޳JXdnO6*<%ztT%U- 鐒QsQQ|VE$-enl kS5O!6Q Z4$)*|1j-ј=X{d&9=1$w$-Vڢ+*dn{W[dY dIaϱd;ckV-l%u C{щX]!?B@h 5j! }}/yj轰uLogIPyb/QdM:z]XF[k? I:t4aa&9⣙@ǦˢTXN {f3>(*p^o nzhGQ=r&ZJ4f%1F[Uc??Ȱr}C*]|Z$?Ê 6t[YY JTg~a 1F>'RiDwP-w:y]^6y6Ko%3GzW5L+aG$V.xIʙ6?^{#.<?!p:>t!9Qd`|#vWݕp5ݏO EiDm:+Q"o+9 b+imc+ 5MZ,o)l*.A/ʉAI]oMR+2R$.t_3%DMEwŚis_%x7D{ 1eW&H_7V4b?)Db^?řH7(*Bl Z-*)Ī{e/w)%6ɱ2n߈ScN~z߱~孥M^{NX;/7^L^ҩv#m[b bQ~||0htmP+2#,O>,U">фٸitmFdGwk:iP8_GvLA?BE͓VU&>N| ૺ>՟S?Ӥ#BW3P],϶[ךgf/cc2=NHNP9 ܦGͻ+ :EᝨA,9nw}zx.H,f"'J@u}W@^7*G:foo]-uxj괫@fm;C!7M>_<.' #hiho9a k2C^g3#T@*4ܢԁUp}YvgdTnF$zb/ *aivFD,۠f6ٱ~qm:먮>;OLr܋,+eqB@WƗ=uU9*|f*YM>X.AשWA8t)5HV@OqV 9G -2O}%*OGjB.V7]-Ma-uLAꝬ?( ]C)H8 ]i_YrRa+L[ 3R[ ^ 8%b)a NDr=`1E%G}ʫ4} <I2/>4n[]i.iF3IyU# m>BE\*ie/5l"_u51eqD%۵5M6Tr+ΑMpsZQSh6h#fY jQ*8u3Vwy(X?wU )Ȼ.b`ei@V*7D̼NU'oo !fG9jcbvn PYYeU2 -_ѝV[>U[lK^4DLl2GGJh!Cts>%'L_ ,\*:dp*WcW/@o)bapYO GՍXe.w8n=!Qp~H TuvƶߏՍ1!A-bLXtxq|D@EJC.y ~^qm8ѡC0^%J$.(pÉmb.GyxKe̾ŵ(Av>H\sinYh5Y8Z%MEb%zwZ=1bYH\nɱ$"N( %PvוՊ`Vޏ5QAۡ`E81Y.y~`nQx? v%i}}6M~gbV$ͭ*m]xYӀZZ4H\ju޸Wo\~_(΂#mK!돁=Q/z:K^y-]R_ #g|j;o]ͪHo#0m8Cw%D$L"O N 7T=y/diH@?KYd v$vb_:?`:\ nY${`IWF4W=5!>'D@m)oZ%=NK8'ICtP5w.:"_3_7BֹO;ȶiƁY;<sZh^0߭rڣ/zȧ O8CZ}# g v>.|fB eAAǥ' /ܦ"RL{I,[cL$u;%Tq'njwy] @+Zco*=+o$I"AGbՐচl䎾>"nJYjc!G,̷Qjo\3k::?~I ]bN "IE.}FTe7Ok^ lh2o;N&ׯsÇAfSw^$*_>C4KS+R錕l8bQ.zp|!xs׻oiaP8L8`L+uWA[8g Li_;vϺh2%{_ƸSSN+b-#!J  8iJߥBqY CqY||斟 )tjFJ2+OV6큺jd;qURv Ä] Qx(!Nʠ!3Fe ڣ]X=וlNT`o0M#-];{osA+:2%~os \Wd]߶IsDBnQrB7V`͝hESmFrZrQ ; ϷeASAuIg_0AQ|E&^,]./X83=cxv{sƤ!<>zЌdP2/n0P,1TNUo#Р'$@#&z(k|Mubc 6 5|2ިf;e[-Szxx ӱ4.Sw6*TP ,dt&M"a[:78g:>缂+K@"b,LAG YC_ܦmX$ZmT7U)UkΫeh{nʅ2 E<-IN,ޒu^*0ù;-Dg <Ǯ_DTb c/>F AUQQD 4"ܒ%E@4V̲  t8kXiSDr=0ܧP;F;_:HP=TMGm}y6au@hmT+SKX(؟vC' '@2M|gFb$T/ 푒\Ư hA(|tSQ?Fj"Z]Z5v]{͘dD׭/ 7YgJ\ :þ}QU Rr'B6ܸ9QJ ֝;0C0f2*X6~EyHgeJ-2ӿ {# FڷxԽgubO1\IA}lu*MXa/ *Džy*2>;vrAc(uz#yog/ SWA'!/_Ц,neIؠ }I=б!79\ HAHM/w(q ~ޜA@W/ ݣy1n>6+^8}$ \k\1TJ#yWckJ,N̾DJIxv4İع,^%&ŪoX 1h%${<rB8^bՍGb35-(]-8xcp{ \œh - ! phce* b^GS3m_o@wPy+)? 6X 6VXAV^ƨVD  L۩)TPEBX4L}Ms& ~*qn3v|&@8>gFZjo+5Crx.jl?XKd[OE|UWR$2ˑ'8gPvܤĿX~fဃ44b2jh~ַw7"G]M^5H92l&E>5?߬!j\Q{HK҃7 ,47f&0UU5 hPgYZ R 5W# |HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! Ew]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]oA+CZ#0I&ҽc~R\ ]k[>LȄ*m"Y]`אЎJ9AW8cHI֗P +ǖSr f'${~aaGdODՋj'=hy-)7>U+f{ҩKiS~ADn f aHbX3 < I%3;X ZfKũ{j ̂tQΟ;On;5X.\hS% 8ؗܳRWz!upMܶa!%5xV4"w`uX/ivXU(jӢe Le0VDgLl {*{_ lt2K'C ) cq.ILC84Y8s[7֊ Œ^ae,:e8QU<l1^ My!\)+>;̭ܳBxmaAS7?dɂpF U4VNPX.h9p%(bXI!uf>mXfEyK/7_OM*S䨗mk{}Y_!c+Ƽsh.| NU̜ŲFpOrd3>A Uq7R 5\ϬkR*4~Xr͚Oxj|̉W2?5a+;vUa zVѺU_3==iT^/(Y`$+LT@JF(x^jyw-:NeFF돗țq,3>/jeV=0TͯA{BELaҧFpYp KNO3*\\RzC#+vY% ӫU= uP~%/"/SLqhy:pK}$z4ER} k^}^Pv(h[7Ӷϟۘ5Vg&"5XHoŭC",ڠA)b᯲rˤN^ԱCdfh9*Y#)Sfwl Nr&P;yƤS՞b]qb }I .ZG #\[i$&DM~ջuuCe:j׵8 fh|q~7DdoB^dBWD8֦JYU]4r'TPg'颣7ްZfG f,8fQ@XRd**wA//<2#d/Qs(eҝdb%gl炗ҝ\ѮlD8==,ƙ۶,47{a#P00$IjVbC4][KnQH`p2ȼڛnF:ɘl*8Fã,U!Ci8`{pF+A'qssgUcǨa^R%Ǭ>]>VFRsǷ(*!6o"MūBHkݢ ;Scn.z7MJfzVOPPn!#iɌuw#Q|C6`UV6P&^u``ʔuА IH`Bwe2<On:wK%s72Lz0c= /f+n/Lӥy*Vv 9y̤]pgWiO=sQ1=Ln*i< *&2CZsYk`+Oĵ 2>J!H1~'-]xW25m5+& ѵrݖ+6*Nhx)KCqځ8ufkiܭ?d/oՏ:(%5.PX0b/ީqhUف1xw?Q n);\Fj|j=wU[+=(ϪCyg RƷua[t[a 9@)VJn{]]`V&S$[ vFZnoS`pʼG`h,55 La&KAFfKy2~ Nl +z fx)ur? /Y_zxPjNSVթb'ԁs+ln4K]N;ٌPLk>-|e( 8T2?6d1"v cCѕIgrcOXsbAS_/% e3>Y~ne˒YH\\AA\ґnLd+Ńc7 DR:)=dBewP(+gmT)U^f#igdJM/&YT#xb)z@5hrn:U'9\A.V$;#.aev m]xCqO^,iϪ)Mi+zVluQ3Z[aDJx ߃" Sv,ya٣}8ruEmrP0s#^T!nwdB4~NHMuQ?3F-W#'}EfNSj'f44y)Ai~ Vd$ 21$g{m! §b-6,U29:ˏ ɮOlsZK[Z,+M|y9L7>qJ<~1JfOk$IEAEC=[s::o9^U %s*ڒg OkԘr8G @4KtoJ, PvCҕgȿ0'BU$ܢXeԌƧ@Gܣ-Ǟ}ە)|lF/Ni\SF4>W5 fg|m/ZGy:[LMs{< g?VTj ile&̊[( ]0,X#qx@k둄CΞg`缓PVU,>kLnjq5%Yi[N9lʂSt[Wˊx;^ qnHSʴNu %kAKq/KT7AfMCQ.eվ-ٔeh6%[7J{ޞ ]%mv_FkxˮV TK|lS BuiN\u{}8ˍWʔ^.ѰLRpۛ!-+KP+VCey<$\54pK,j ]r3D@ ,/cQv}r:yÄ/ZaÜq꘎T"v$⬃ 5m"qwHM??%oL$[:GL(=QⓀ4 %]ң?w#S 鷕l*bюdS!Y?mucO#<ӷ}3 GFS|\qwؙN16,w2|̷))- (䝞utb;[f!c<#ymQNg7=I ~u,;T)ʭ,n yD,nvs@ZsIt[uL(VIĮ'E]8ʮKj%vbWaYÌnWkk=QJU97c3E5hO!'FvpcFkdyq-ON,=}qOlOxy8ח"m ;M;ؒ.r.[jUz}Xƞ~p [jx7þ鸜1F K4,!òjڨ6 \xJj_Z `z2/5<: OXXM0 ԣ[= b"+xݐp-}?hZ(UbdrL"wff:A2xzu_qpG+oΑ?}[K2usq> o/O ώr7OIgc^qGj7hIOds5~d~]6GZ_#>J[^ګ:;}4-&PEI 79\͵!-h1  &u(l]G.:}B*Px8x."_v['s[_NH(d!GixUж4TN n,aUᲫmT5C@{"NYUM4:KyY:j1Gڡ$CVN~֒KVΞ*`P---n>}5ijI/FPs8W TKkm<?~=K.+G7L=]{Q]Fc:."o/[]Ɣ kF{8,ݢnBwPonẊ'huf TFСNgfPO}'NYσRY%T'dQHE4oS-„m'uh,./v߰5ƵKqM45ƑZv l[2p)=-Th/١l/ x0yL^\ 8O8R tsPY{\+TU( Q',CVGpIMV ❓} %zwH49_򠰝Bﵠz;h.Ж&|zĿ+ VZ~EJևjb ~qBWlG4ɇ *gYZ  5W' tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! F s]Άxʆ5.f-9 rq=c +]M,utBsA.ި9mKopiQd~@Pe.hX$ԁ7! K'4g)%>W$[_&@j-_WȂkL4@)aqmU HΞ(KNS_i}36ƣCLFd_8DϴhP9P".I)@$M;@_k,'EɅ?_rֈ CȫgvgvW$.Έ9zcEP3Jw!2ācKJ%G5}8 NԸw ]hΖT8 YخXAvG.c^.$MCL ~4C2'MĜ](, }x(v=(x!x, 8ap}vT l:UOTvLnBlN7ї5(twچm,wc=Icr.rв0\o80xG)4g=qWP{?`3~MÂ݂4lswuF#Bފ*1v#dqsmꬨ~/h""M?19(j'57E̶䫽}Gƫvo33zSEJ9L1(Ku=sz5WM>v'buζ[e4E1b }P(6@&zUWߍ {u{B}"`2 Kry*zbQJ凫n% ~$1!Ƕ8@^SP9qc*/9CŭwrptD"hKs 28ݣ1ǓJ3#áh*'o9W 80랄 86||X.litHz8ZÚ7r("Ygf@Az:s5=ӛ }.P޸ {ixFvJPyB՜XeBSr#(d>+VP1v=F`SRŝeN EM0JaL'-+Z?uRk8e"C vn+&$.E:8!m%r mXB51_%$'bJ&@$_fˁ\q ullbsNX}|1*lP -S>Iv~y=Y [1ÛHOV3A7K"ȓ-Х߇&6QTC kޒ3㓈.^v+pصfu iA2Jk4 JToJmo}c̅[<^LRhGL=Ҁ"0ʄ╼u6/tνEY:GߏQ:*.Js DWrHu?sd]dBo L.2'}= *sgҔ |q'JF ɘ4drR]t&v f ǓD=JKS@\+ʁAX W<T:fFv7JdDIv%m x SHAB7]X!;֕8Ka -| *ވ 7\{ 9hc,)`34*KB/2EC o<Ș(.E&7]FF 6nR?,jNOj2la`Tdz qM|j %"s%ZcPUSAg"Fׅe~7b6q'{&mw7WO ?UH69$:=ſ`mmEfd Ip*1K/g\nT^j+nע]??aI'HS:Om1 4,E-Ɲ{ʕH-QYUq+59IdlN7g̟H'g#U(Bm ;6 ⮴qRĵ`}ŞK#= 5$^HVaC(낿Dncy[-ܫ0ƴ'` 18 /M7~{묹\{D|!M@znpO/=ӄ VRSJQ>n<_pzllՈƍC9"-(Xc'o2^%|9LoEV2* J;JH`GzlXCQwѠJ\QG*e79{rEu[dоV V<Y謮1pB[ju!:MC )?e씴\Ρgh{o ؙ pӥy`𻞷.19NLB1'$ PSu<юi' B$4D1wĦq[T$4҇;޷'Ch.z$?/^JBN6xs OƧ21u!C~:Sm>&GK CL0BCyxQl7QAk A)|CMTZ6mHPN"o6tBoֳ #abzZwV{id)x$ghkwwZiCF- vÝD< mS$N}[6_|s#UQ>qG0M[}䦷p-soO˫J@Q6/MT Hcl&5Ō!H/bTCY #σv3"J6߄c1bip~ hܛ5<]僗HD=7-!uӮF hU?~Yg@wrZ|m@w5 `3LғDG9@eO4Cc)D>woZbL·mN_qGxMJ!7,@aCzSZNa8FCe_Cq3I/,}9:ї.X9xvHK^l{OH䭀dJ|f jlXXB=пE**c?pH~dH 9+&Z# qepd~VuSpB[+Ĩ /E Akg4c]A$qW&{9}.5!;AĬ 9b4ڮ/֖:Zsﭝ˹p&0]PHwkE~(ir+kGLsaO֨KE 嶓i x r@60->eSb%G$kS nj! &@B6.Q4^oڄ-0 G+@Sy!6O#ɇ7_8'VD5wE:g3E}=.^݇->zT;=q$FXzbjF7Hy}@|.bS}8"G}O09\ 0b.'Š!*"d}Ll#ʳvKB|^yDg+yV##|9䃉bNFUn>I뫬PK9 Ϡ^HP;ivLb쟶9aw1\ڡ׼`}+_$9^{j57AGuNshj/ N4k?K/&^Ĭv(נa{!ϞO{kڀTV },nэ=D al\0EMc1zX[7-U; hԊSVvA|o"G YFU^CqړZyK@·5CNZ6)L*FB/ |4x>^f'{j}u;Os̀'f$QLSZ coX[Mg3X4oBwso zyeJ|91 ,FR?;u M% _0Us~ K&upM&]ɼY{>2X/j);!r>%xt0&@*wS@#`q#<ɝu%=9` y#~mO*y_@+[F bc!:1Jwuo=F&py+:d k=僵].Nm[w.Sm2H;NL*=S=)pIO-#Yn&Ca;7 `"P ]δBI< YiUn+v)\־qݞMfΥD0`A0y<lɶ .8gVϑ;ARRV2$b,B5ZN-w%77 j,ܞuñ0CI:Z8T >"SJ {e>@C#UC,x֙イ3Nj:_烠Cvy&Zڨcq438\fq':Ӄ(t҄rR[wbXFeq% 'F̴wg1v9j jO$M ~;B@RD\kko9PAYGBTW\JBu;RtN=Y:!SFK!L$*[Q[l15.3!B3[XA=f9;#Eש >*y6'6iWѳHۥ+JLw%o@n)0iR 7  vlǏAgT"F49XX)[V2E6_/?#NTc)ާlyՅa[!CbfհYɵi*j4~ʯǨSQ4+[̐K}jšWI\EK$El׍b-i:]&{&2n+(J# z2N{rNzFL!|TR].6hyj>SiųF$pK NܹZR sB*[wM/\ ޓ{~U{!zFx Ḋ% na$1|Atrk^/tF -mw֞f)IYuK=V‰yvOQ/!3dnOM?kÀ)JTܕB. D %7#ͺi2-=qƳxx);-60Z'& zn>iDjJ_}ֿ[ߠ׍$`$7밇?#Ʋ[$`(ݙ<ʦoD萗f]˦ۖ1x..RϤP7Iaw V -Y@-9x_E&՜ΕMՓWbPn8iBPTJenGwj2PNL|Ut|*Ҫ04~4^DON}!?8vkz} #zf-%eDmGa'בur5R2'؞NYkTMd80dUV7*̗B'a2G6_^|8c@{ Zt,o,H?Rr=}bW>e{u8@]Rޒ,#yS?J?sܛo%(=UozvlbK٦ҹAonD]AI n8pj_IyY; YK9b b֖ +gR-Ͼvs?)kmO[VZ rL >=.`|_W:ٹr"i,@[0k{U1{{MXu$eH{NUkY+e]K nuث@fWx3g cOE2V^kvv>+g; Ǥwl4!ٶ}SԽ~c7L-eH]5#OzpȪH|6mtFF~4LEP["N di:Ŧ겂7zpB4m6ʼnϩiAV wƳpUX"B.f@0/cLGY8֫>Rtե*~"mVe8ר"٨ZG*Ey;DY{:BP{R K0ږdW @tJs^ 'V#T{YҴgp\e^nUC*BrIRZULdWJiA[cC;Ir,vO| c` # Gd97l@.uo1RD4%I:AF.p^VUտ7)'gHNa$ZO71@I`Gow}FUBc/Hlu߯Gz.n-\]ZWWA} ~ RpCmC$}rV"L&_1 H*/_}~P9ؕ\Gx&]HAXAfeI#ö06ޅx8-P}t2R:[ Z:>m{ؗ,ӕVL[C5$aF;!]{DoĆR"ludJ'xS%n^zF3QUCNw/k5V@UFk]K&YYߏScs4cF8/ fA2"`WőLIswKWgIZU7;vupǧq*[%TL8&e?8'' "_]:ځ ~̑ Bn|Зm= /MlҒka*աƍi[@e貧A L%Gf$0ĐsqnrQD4++Tƻ0u ً3)q㫳ξuE#wTUGܮ+B_Nx6)WKnr/oQh7=NW9Ǡܒn|Le˅V\8:6/mi}#=.LqB={[O~OۆX['8.R|7 72 |D{uhפgf)NazIȮŎ\--W`# USkuKEp+o" 9LR/읛l'(3+d8n:xD% 룷3~A̷*'"!,u@\'״k@:}@]'"Iz>GN+%$⯠rБ~L+Y"W 0 8d2XNm(۩+.yhvȣ6udĩQ'x%rb԰s 6izjo_x*YhTaG6_ ΃K! 4ݱ܅8J_\HhlE,