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 L5z$$L ]/ HOL-Record_Benchmark:threads=6elapsed=137.655cpu=213.813gc=18.6297zXZִF! 2]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k'9s?Q&,_6/ ]~,>6kq(9&c>ޙ Qpa՟@4*gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬6'=]GpM&Pbjc >~Ql|,l_}YZ7zXZִF! ]]ŗXi%@U? 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 j5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCaV0X>֚ذFf@R}E\Z ̓I6[v&4 +mN=[~{=$B/ȏ9F6#-;3Fw<l /x]H%É!*;De_UūX55GO,]V*bw:9ɣ9axn.bF)J<'uK.@ZP3ʠlW/j&\j$\ƴ xxm_GЈ|tbs5܅#SloMzB}|d["<9@GUHQ"EpgYZR5W)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 j5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCaV0X>֚ذFf@R}E\Z ̓I6[v&4 +mN=[~{=$B/ȏ9F6#-;3Fw<l /x]H%É!*;De_UūX55GO,]V*bw:9ɣ9axn.bF)J<'uK.@ZP3ʠlW/j&\j$\ƴ xxm_GЈ|tbs5܅#SloMzB}|d["<9@GUHQ"EpgYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain "5W' 4HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=mYeuyRgg˄񥃦WoVr"3 F*Mm.G;߁M'u3#Lz,rEI:;[ P}SЭH cg4i_r988c)K'}!d` Em87VJ[1D"[hZ89ExEg=uJhDvYS 9GQGRvx}pՐ@*%ڀzm7GW'̶!ۛLj9r^5<,0_ 5-٬X6?pP"{-.$t0gbhL6_Ga&D5f1^WO5LM(ax!i}5SҵtM#B#GG =(8AA['YxvsP@,j63'$}&ϧl_z01iJHxRX}@IMhvɦ36ٓq)[Aq]g:8ZEL~usS x:\-=!,1PAaǰZl'_䊇}`k~Pߌ|\ØnvZP]G0sQ~ d&J12ujBA:1&?];W!7SwᲟo{+pJ.u7,t0 ,;8`یq@El{ &ܪcC0?VHC1Z-8ďɇlom(4~͗s(c!LJѾ,FO毘~ uQXNGKN:ݱQ03+@ >l+ORsd EhFa>F%3:mrBde3?bQS)/He]  ӹvufR  "6"{Wf_mƋtȇ#z C[1OPYJ# 猓h 0?T!ܖWA),@(0sSL;΅RaFO\j,sW-ƀp<0tl؆ `7`X t!+OUS#쀼=)dd_S2NŖD%Fv 8{X_4]ȟyD\b*py|G`W av@n@>\Uo>#6c|O>B`5[Yıww[*4x.K hߥ&lFV@4,ԉpY Ւ?޲0P9J椤@ԭhDÏ,Qk۶c.jg^.zö4-O0@7 RFúJV:oF¡0 /|of mK8 @mϟKtA!UY:!#11DJ,UE 銘!f`|p=$T٪Nf>C"T9Cnd` ~`։`6'܎.41\6[)k u f/GZUL&|a(pesUFlS{-[1sC)[ [J4FLkv}1Mwŕ~nLi~ aMK'6"il&P~ bBPUsن󜋿z` q.%!tSCWwMS2JXrP JD/9C5V<10&ɉV~UGaG,1v_jd|dzeY”<'UxDGwCRtSh73I#b|E;&N/K?.r *_4+}2o'gl[Z|Qz~k]3Gj&T~֩׋OHO;I+ȝ*W\Zy$]yM9 p#8g ׈kN) d@w޾> 4ܬ~bPNhAjDPKE\~wXa>Kdz1yyROn]&²tNGeJ]\*!f3s /M%u \Uꑃ*#"!WL*0PK8_Ueo>銜g!K\uLȋq}[')Y㔧_Kܼ3rƜ& y`J ;9˺YX MTzUxݍN|t21pU ?זBGnMIZXΚsHYzU5i^S!)M-@7iY.3;j ={4( Al+ϣt4+АR+m|6_^OwT+GOi&C/hP/qd-D;+Ds:AgYZAI*hg:](qgHSԋ걥K GQ}NK(r.vww6cAV ˱#8ήu>y;|v X!u- úS5Pd.l1[Dc!AՇu!._"1Zͳ6.ܻS,1vq莨6PgUUS- #UJL5X K~wSCO6@ߪ3:T~9kB`+ @T9"qxS0qlcf浙:K*a5;! f>9F|cS$i CQH[3ZUoJmf.Wȸsh:La];%A|zlmOߢj6(?&ެ~ۉiaqyd>V:flի$lGgrSz[fo\=_ "h*19&Bp}W=h~4xY՚zE׷9.mGYq,RƪZ3Z16TSVUxP| b(O n0НLE 5NmH~.RR`B-5VeeethG){!<~'**Ã.|{*.>QrkujݻJh:2DAvU,/7R2pM@?;4HWz>`%Ku@v %kkɨǡ @_"C U^Pzn @_蔒j5- Q z=<2֦i_ʞ[ijqa0#dE ǫ8=mvX~ zݮGѸ\G_hRصKӛĤHc^1H}YZIz퀭`?t1~+x4 з"Vds_LfddȬB1 b,\FKMI*)aE0H!e-f}wiݦKHFPk>:ވE|s,Q˺T(X'IWoj)\4O#L4 zyLE͇O[,y84qHuFAP8)NeR:ެh+wZ Pa. {#\`;Mc?X7Q\k sugLi8I~U,2INLR Ae"u$3s|$Ӈ d*zNM^A1=$rj367~Œ%@[fqb`+˗KRXh> Zҳ%>R#zB2Slq?m5Ϟ!M?Aw͕l=")-:Ct8f^6 9Y^ٜȞs% $s :MOr>%'1X1=F[Gdj',aHOّ_JPDd0k|ap19X˰ת4;]{0"HrM\B!boNO4wPM}\AIKf-) L1[콴=4K&ewD'Uf4_.@bA;?ɱUu,*i-Sg] =w4WIOX*-,N#D@046@%繟g Y[/z౬vSR/,١95s0x:IU^;.Zmlu)k~|O, Іu 4QXj igv`]5q ϺI,fIiOo0<5_g#@N^{Lwc&93ܐA;$PhO=M۔K\.Bxgw_)$ ! ޑtu3pʫPkE0"a^u*LaQfg׋K@N'Y_v{¡YTǑ wU`ed:2w3tYK2LOH:j P=[O/)r`LrYzrn'̨ϖhׄ4n|fM=αj=: j27pʙsl .6UʎeX >ge(' ,لl'fX1_.ylnֱbr~{= C+Uđn۲|4kYTUOכUa>ڷPJ&Acf?`N>M*p%Iaj^pBP+<)0 :y]@EdF"fjI\1I mgЍZ)p21q_Zx(;lS쁪 SS20ω\uMLO=B#KUúzĒ c0dDe7TObOt.jϠ70uP++㾞C3G 'sEؙL;!()q'5 @z ߈jT 6O!ßl!~ԦgYZ F5W' |HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|wj|fIn 1;g/eϩn'vC #%d  ?nK^wڒK EѾR?SrG-8Q>Tj ʼnBiP_u%%6s(,5(iȮX\Ȩ _:$j+Gi{o&\1g;2C=UR7C=9iN8-_=$5.˜wMy^Q;$i|vY Mz5EWaQڒ}!Ζ4v,ꉘ\9䢴Ռ_-D`AN6 Ff%p!O9=TtUPNԅR槅=D;(2ҰC\// K_1ٲ1#n.lц Y\g^ q93 A7 XGKEfor>ZMeV%x{MD{¹ (X?-F"W+сOil3)q%AHז3@ h@hc:@ĉ ȰϊO]u^HxÑ.%Y'1Jx Cz&ˍ9By f!u4O<~BZ_b.]6dĝ,5C99*z`V<]QFnرt,^ ߔmwn>ju@c`˒+,ae(jvzpdoLgD&Քk"Oo5`+dOf{+Oh Y;zJx=CTSi:J,M9̾>7 k+43 Dۋz ;$74OfUV jCWs۵|mmpP %K{Ƽ"_} =@UNagvO~A⋪fd]w0[ Q:mUbN聃 <~S:SFOۗsZ c- ~a~'̛Lgź3#{.4zգ#ӫMĭ~+-veLMzBF}Jsǂҭ/kFvE~nek/xcC&^ibyַkP6+Fz噊33sHPۼ [4p([ ?:՘ TxW[j]ッ)B2j8mf^Rħ̉M PQ]#,]+K\v? E•/fmox`0 kKȩܞJ%D\.Ob/t7b"'7"nku qv&8sD] 0Nlh3)u`; A7˥ܪ@:Dp*lum\;j?Z J[&QbI2Ƽ}>[Άq 9E K u]4T޼s:fC4 BmӣCPpo :h0isîgAN@q-ixlE h Kڽċń-2nՖlgKɴZXPX<LWd6_7s( ;UZ>,7)rHL*yzEr t6{K-{{ٲԂ~-ւkVU C1T~([8zkٜ/>mZ 6u)sy;hY; @JSâ+=a+8+d-[@;A~ Iu3 3|H(9}2>K p_`SYf::%^(Œl<-c>h4ot" ʾ nB(@aKZH:N6pupJPC?,bK&Wb|BBEH3;VŽqlI~2[F DEb7/RWkqdwدr(JFv@G0[:޹|z?_l_t<8=wׇ߶E;^?=VK-V^6cQT}".q~]OL[)5< gH! n־uL\Z,Fzs6OL W1Ť/u,~Y1!;AvXƩ!lj>\Ɨ=Q30. g=_HUʀ?:]n&g( ]%?aLYJԺƽe]5,tKWbdv [uR1[\Y, Iʀ\'[ơ" +Q>RtP&Gٟ]DhuAzmUh )>uA3LKvItL$&]ѝGS*YOdTQpaǾAx7CMqߤJ~z9YtKC {)N5әLmgA4Jubў`Y6^T0(e(@W*"m:$?%ZXհ5)10%/y܇+quwݺ&tX f}1g\cؤgCZ10csElևe'~XB0-'=u֑4zY gD{J$uN\^ukjkj亣K jf$@VǺ~ɲ" ^mb0Qk ,#Џ!<_3EzMmg=p84?;̖`Ոe7\kC*PhJy =1XlG6kK8Bf~b45vVƂ'xRhG^vF%UKK:MXŢO\6H]˂} #y )m D5R𰑶6̃t hzj4:MK g=i/fBEF.6~y7/NOQ7L rаCޢ;%=X.M?ЋAJ.tO="P7 _gg6[{T^c?{)@9gGO0TՍl3v<=5kbW``|kC|ݖwda~q~QswTN>3d^5Z+Tw Y, ,ɒ 1shzGV!ߣs_`zzpmcd*ሣ(c N;/1=|PmUlqlUX̽VW!;8W--ʊu}2R3Vwk/8g$&Kب(9^ȣbt0>/d%lyf 6Ra'`Ή#@=^9}WÛ*lDԃq7cqpYڇ-yUq+lY0" lr"ǥC2\UJ?%LY_[-Ȅ:j%Sk\r)p)j7w4I{*Ȓf&иdhY.+՟K!Aq^Mk +ܩSZgÊ'A@?9\ָccGylup .r + i!;mxה)vwb*rvA2NN|oG}g*sY'sWG0U|//g|ŮdYz= †1QaھIO2jMEj|}z*GAE?!Ku¸Aϔ_Z̚@ixg. K7 clRq~rM.lràTk'K"g,odKD<51Q}U\toٛ9Gh4 ORyv~VD]aD"8 e]m&vT3뎢F: /uԼb1XV` [ػb dZaX$(h^y<ă~K_\D 7@5>r2 rRI12p!b ➡됋t=#UR&]ƊO><\"m# Lty@eymT{.y+1YTYc|1sVu@nZ=_4v w)BI! Lsb%0V4PBJqߣ12 K= K  AbM\A{$wnS<nw%ИCIیGBt02f%[5:hEP `nRezӹȯ4a:}ԁQ  (EjgGHJ=sMKx>gռnH CͷWz"c7Az,L, 9nb"Ƈޙ5C^{6@_1QVS27`B8p.:7~/fvnSQvbe&Mb'/#{ %F7q,H;d?9 Q<:4T~KGe~D>chL`wI eu4>ss> o,xP}}V?͘(]xzH1y!l!]W_:;g^ȇS54Sa_,slD`{p4"wzmޤbp ªl F&B҇~D'G2mo[u4+M}yL ʧ. łӥNm/M)X/  %|H,QS/^G>> K;4;Vs0@>U`w}yC_3f56o6@AEkMz5~׮9TD-8 ľĆ>FXSrډg9%m;bjuhn ⌈%K/\)c!$f_ Ubϼ#teBm) ϒ8C(V72XL_r dPE\uTj?(xH`cr*&Wuhq(UΔ gґo@>' lh/L=<ϷP|OH!ңrkXUpqs]. c9^Ťΰ0\LZܼ`@autLkXGO߈nsSkﲋk]qNd]L=!25b!)mSNK=QT_B׹4N<3O¥<=6'C*/#k uX92IaV#X,g~ P ?g't0UFEfUPn5R>X%O<F>~,ez=|| 5:?)ʼnrR1[Eӷa9Zg$ Imq99V  / $'yp3!1mw ('A}WfXyJ>t[1w 0px&VԓdH HRިM0 [2P,'CaoSTe0Ïw*J$cP,ۇ6id 1j@cP8S9)6FEv`V_ܶjMt\PF#1ΛH.Er\J񅞣s}_H7}^*j/lPÛՍ%FUMevt҄pM5^OkI-d</ҊM+9=SW>)8p<-w)u)mo(G(W[NM8|H6qm 4B_'x#r?ٽ$Q1&yPY(kuL$AD`$(;|UM⣋0PbP-R$;gL]`8!p5 UN!9iQ ý[>>͟fZDf~#ySV6uWOyтu'%\d0ڻa.38W]L7+HLU8Kuf6x8R|]m|{'+ a:MFv <j:[*l8bDg@*us_xU-g H*:a@]{4`a e%B&y'mQv =H1-xS]h($7ǙFW< w 2OIwsP:ޞ=GFI-C EXm<^gKj(|H$=nN(dUlwJߥR PjQ#,ޠh:Ym)|5 #[kT*DV/78s<] 1Z4[5rqp7Q*"嬨Ӝ5O#S6X9P5?L=c*PPEU p8piP{^ I,jLn9J#u'E`^Dڦˤ-h\>W[y;v}oS lvtN?' ]|TCsJYf*\׾(CW7m{$F*p~뇯r5>=FүYM?_$d_zsB1~šL,btv1C\nWDJe Z+2DwBϵw6un2a.>XD@` Ժ˄vsƄ"Kz o&/MHMdaw7s̬!֩_ $mHo/:'Xk<ʀ>eFbPoK-2فs"W9+YyLvs0n([-nqF[9bZ [/1MW/{޾ZD\S@yd _k p[lE8 X:Dh>x 谺$q{`]&7`1nh` ӈ۔6oA Rp>i~ʀǐ@V)q:꣧Pht8j#idgCy5wlF󴹈nGlx8v۫Pò|T{j@`gY_/q6]L͙%KPn)CTpRj,3t[0LF|}h}t,\uO1C%u+x 7M/ϙ!sx OU-r\ 䁽=hOi<~hLvK]nHHpRRcv@??:Y"!}֋׷ .Jϲʑ){fYf)\̾B+ަNOïv#2M*wR2O D$\^odtmzcPAWv͍Ul+{pPO6\jx1YKKgia Ϧ%S)A烟ĺN_k3c1C4y:4fno݊כKf 8w'-mu܎$>ӵdLuJߟuϵiʄ;(0% @!YgȾ3fRpcjEPW`WD[{(g8קJvm|R{Y=$Mrqݎ83K_'MULD“aYVFȚn>pnHW sQrlN r܉/DEyU]M`*KG{tXq05.!bV\r˭6IEtؙgq}PH[Q3@9KV-rx{2-ٰ ȹm 2b;>`q w}u 8Ka#7 g.&f0*bwmj@υv24$7ʔ5&A6ei,C< oժF)ogGF ۸LHCfe6c1yӏ3[oA-A1V*g,:e7>E`rU.VupbkL,sP~n¢G43q%x)boimiDZ52fcZ=aL07 a 'KeU5=7Vnu,+bCw& c$Ni2}A %.bUH Dz-^9]fZ.o+0 fw$V< )x^Vcpe UH2=.1r"[p#ecaH_ZF&ceqp&z3>RI&Ф3 Bsd:B"0*z $M;:b%%d6H9*O @ Cg<_n*Ro / %Qyu%t EˇJ}0 %z gnNi8+B$8VR~ؼֽ0z˥F+fy&ebK7Tq|``W47/-8kOQRyj5ᾤ}^a`pڦ8`xg_d>) cRdiG-p 1Ż/úQJh=J&m#\@RDTF%>`O/.'!Ny —G$Dd|^v68|] }oX+PswRQ]vcձ0uzqgW'2qdfCB-YI迵DiܺuIxsx>5D~kܜtr PapViADZXeMsZG>Pm[%%SC*xo$UQDJf YZEi^n9Vo|̩ tGNA"fϮ 0@< FUo,QW~LMY2疁O],2j.OlEVT⻐-l"u )JkPe*L4:)ez,]ߑd~W # t0T+?ϔR"EF s3w0ޯ0 a"l 1D@]DŽO8=_0襶>|U6GDkqv+o+d¸͵㤬4պt:NX Æ:sxrd/{ hVڀ_E8v^qB㨓83&BC>'oIGiW..#Z7h@v.7E|Sz)v39p﹙=k'4i2iґe@J!_r#GzXm_(,"9\4;%叭ĭ2A[wd+43!|+{wdߤ[u)4-H2 TJS1}iX>yk@V ,=e7LQK /K,v[;*Ј%򙒌)mo@ɹLaOztU,I* UGͥ[ziO{Ûv%q DKGTu GKiD1*)twb##tƺ[| ꈱ|ƣ_uasL: 'deK$2w7]ɜ&E4._tAJV妢@5VC*n7Z^kB̍D"4w%QjrR{BUCOmhuZ3t! n#Rpĸѹہ/.Xaaq ̚0q*g$yw kuKSdžUyM & b~C,gGzwn:w@%*/]GO/uh|2mJ 63blM\_dYSVE BTa}d$ާdC]F<>v\Κkkc-&G"Ԇ%AHp;)`'VcR,i @prZB+)>)7:C+97dYo*bhMcJ3zaV<6.K8+f .M){˧Gkz?prvC-&gO Pd[nOwd~W&~{ _G4ML_fZr\Q_ɦuE.rQ)뵄mқj"CЬ * dM^Aw,m:Hb(-~UykgB ܃k ]H  ''c6UϫJxv+Z]J7Jc4e uc9ᖔ6%T1-_ntsj,RKK۰6iҖ0ˑ60IyٲV۝>2)'֒Grؾjq>h-/VB9W|ڇPRflwjՁ{^X1"ѳA'FJl)(#Ha#Vb.@t= С]Vn_.ԃ>đٖԗY?U\,'{)."3۞4˙d d?#7אb/߂->JfϫƯM^6q"U9*l\(QNb/sݺ|G'eLl?řcl (&7d>4ŊFQuVQM]|: k'L:-'F4' ]ޞ9iBj>8y`*|yj=Z|]=E36<>LmrؿW" b) ~9pixO2l2V<+8JAp摰<)(fL:^b i 2CCS*k_:Y ta\J2"}eH"37"8T]2f SE/fxO3=xЇRCyʄ7%рl ʬ]ޑ>j\ex5$z򰈡ֲu(U;M5]@l)^MPl''Gou2Ra87)pWEр<yHl gCҒ 1yk.A5Qy.3U[<US]J |7T:Z;oy .HӔ8Y(P?W/z6ݗ3{ KG^4DkhSGM%YΌWը|3{S *04+*=HYi'Bh<ܔ,q#x5{/ {* V]m)<*K+mC(ܶjAQyh{&+qoil1GʈH $ca~s[V}&Oq&{r5^D(곔G gz}./;fR#}x`ÿ_7%>`>=|oʍE.E "[-H@^)̕ '7rˉȴnlmo ø (Er*;@{G(r50pKGE%';ο?ȡxm\<% O+L8dM档)FnTx(Aqd"C֤ȼTX 5=ee3)~4} 4ҤZ Xt!TG`h!^<#@u `f~{c|0vC=]c+ם jad(3aymQ_h [V`e%WXg<-EY-adq9 <<.ϡzNXbK])_& jNbTMɮwTJI01R#(0u|ZȰ#CiN1TKJ_j E)Տ γ=mIA<7Ykif%CJZѝ-a%u m;('pc9';4[CtATܩ=ʀ7&wTUg}[itTE{ }td `XE³XFC@k~-BJ -֜/MOj ]Z"FXyF^mycr^ 7kS;'F jj$:V wbjui~R-ZdƁܔ!=yW!3xw`V=ӒqJ&Ց"P@rD(۬ qfp_WfЈ0j(0h50S24+̏(}!; 4 ?6)^sX8VbiA}J#G)L3"W&1* t FFn蜭:;gpnąM;Jgٰkjc IuzAS8>Z A2th$ :VD92xNk8r{ /~ܛmK'6JR!!D40ϭ;]MR+owQJNQQ\FNyl.~ 2Xyc.hݤd$G oqOtDmh${,%Ԩ@vDM\Lʏk0!=eT~Gn8l6hAzurclkhdcD/Xە_iS_KνHY}ƊLնNswj"E;QU0WpxO>ݴSkg6` ~[t! uɞ8Ҍ !I}nh'Hk>'| 8ZIO3~PҏC\Ɖ-q7u W 22{O$;?B (tTt].( }+۶dRVWM ѥOAӶN)s6)VJ_; #emj29X[Q" ӑ꺪.\'SaUL^=D/y!f~ ٵ+̎KQy,D5"M& Tgoi+ qAhcMxH{dl!^XAߘ}lʨ7L@|Etڄ>̪gڕ)M~Or|?{׵3KƙwPBٓs!{8bo'-֪hlN2\pIz_mlh@K,`bd rM{G*zv<oR 2 {e aB_~IXg*o2SEתqOK w ߝD&O4E[S=esD)Q4F쀎!ZǡA+a5/b8*ej>]@&Ύ0\u봘;`$| Trs.7$:Y ljЍђ=)9j .djKSgDe@{ YS'j^5g0`RU g  W?c:򴲲=h]m#|ޠ~J)uHiS3))Ż|q?I9㩲#sJ -k$"&f['d 0a*nGuܵQfǧ^F] }~]#֟|/ Y)*sgcf{]jxTnJ.0E 𳗦 e/pS!zqY'CG[+H]vOcQgCZq{yLJ%ӚrҌbJS)s M*inA?s_g[,=Ѵe#GIܡX#6|Y OTPUZalh%6E4V|q>GrЃ{NL6Eu*N? ];XU!3E[ Jc8 YXU R:3i~I6~p߀)E&&pi$L\|Y@} 5r?[C3} 3XCE\],Zvo7ྒྷ^t[My: \v=֫J=B Mxu], ؉62䢙FV\"&S<7 }qwW& 28bMohu^(g=ЌVV]n@̫s|jat;0.}m}>M2[OiO̯iTx Iy9 '14GE(YH 'z$N٢Z@hpR<66ߕkuj)MIV2w?Hrwb.! 뽿&( +MQZ='sd[يKÿܲp|A¾->B?S-җU6$$,#9~aɮFB 'T4//ϲ<~'Dy'w^"hG^x>%JQvü4!.E' 9[e`8MTfD]?Ɏi-z9 L' 20, Su=dj0[~Pc\5*A0qbAf9Oq/Apȇfd΢t# umtNj*&ߖv^ trP QD5};t4+ÚJot;fk"!OlcGpƑ؋‘a~ctJZ [Ni8qn,Lz:I4>axj>* 6k2Wf/(kӚvr)DV;-^iA+SyeD$>gtNB{dXyrl{vYny o0h];2N1{6ܹo<׾ω0CυS6mQ}EV52I ^k˜/?_E+y{vFڵuTjT6VcEFfq4-#'C!(2y"4Z!( .$%M̍D8 -vGxֆѬ ͟ prBJ JLƚ#W/b$[zp i Rε+>eϞE]!hj`|Uu SU)yG't|j8 ZŨNT*A}*\[)*eG珚c_]kTq%5`-n6Q#)j?czܜr9LKi;^$go;j)_q}3 5|gL"o$A'W⯾ŋnJJCy[;Z aCs? q0M:W6Ieo AJ Vg'j^GYuE\ qd$^ڛO _z nYN^B P("{ 8PI;p+@h涟y%NG}|6P#^E@3|Ԏ(4119=My ΂RKzj56% i oץ$W=SNbc~^So~O8d̫;[Dūy[ K-g;@/@B';M~WLvb=O -Zg ߢS`=hge3݃Fǫ\ bVc2rȇHv'q`CJF0J ClauFNe3w*E9s}ߏmGlSTFQrT7/I/E烜WN!垺mމj'{5D:g>1'{4p?T xtRy3 0.'K4ތ\v.:Ȯq4Ϊ8"0sJ@^#:Z[oe[rD<$}պ}fV'l؉yl_oID[aH&5vϠlW Gt-AFJbPR FG^%W66-(ᚢz1V2eo*?-lt˺K<6xU\ܰJv@0!Q&准ي}xUT<>+Auqc^%À9ByP8A:~[ev/WI1{VO1L9Gc;M_ ݸ ߳őF22 {0rAnbr+zoBA:P=/Mjm1I^JL൛*bR˵BqOUL[yL&z)+U$4XV6B=7<8:~H(</x@M#<]sgts'P'[ץCQB,{TPWZ'/bbݔi*(?`w/'%7qI`I#Ml+45_߼ہ/;/紗k4@mbX(F,cmoˁb8X:剿.N{1RRr׿ְ0IA =<>tMc]*A }-zĨis`/^Xc5Qp GrA<^@dNvMY^A}ە/vQ؋k‘6+LY5LE9>{{&34,Z@4"|nLf)9ÇKȩOˊ`ۦݽ):Nh":9k]Z5TH\v?c ^l1RBE^OMԜӍ*O#I-_?UY*Մ1 \֐x퉞F[J.ar1&5r&OJR&˪$ {%نh,X'3x0ӢoXL~$hWVtcECG1 YX0iK. 145ta+ފ.'<|{&9Ѷ9kg1Qa0ݒiL`[2mBc<1 =!3sP][5pC[Ia؏؈ݓPΕ050'1ѧ;f liy{"X R2F,flM(X_48a@,xѰxQ~gz_N:jpj1Oyz om=:?w˭nC;,=K>#﯃bOj2Á-M*q JgUG5#Ts C3npV(S1eK*ÒnEMBȱ au MZM^B0X׌z {rLAG/ֲ <"QtfA.s/_*D!u\`I#2A8P1'Б!IҾj9pa^I>^N=~ߕ4`oٶo@9`9Z [CIWPT mq\w: eֳkYq ښO E i1󩸋a]UGhea1m x䕩iohe'󐱽 24',hcG祢9ƷL_\"B&Mfٸ̻C#eII̚5 y9gYZ f 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! E]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]o9o&z;tPCZ[Cw9O2߳K̛*&z-iz8p6O2B qۃ`v朮0jy$F ,7؛JkG5ȟ&gJD^Y"˝cS: ͮYaK ܀kB7`gy.)q+KA,m@Cم2,{r{SFN5s+ƟAh淦[U3Mqδ 0})z7,Y+_癐WiL{yjEH+SCѯT'܄A+x!o"`Di ?kR4ZzPH'Sؾ1$Czg#^e^\O9M)f?'p6QHuO@}Ga!uEљg䚣Yܺh>dJrB[g{mt;S3iwc7" ȁ*uw-4b@NA@.GQG_H&DgO$ě޴VhXv0srv%-x* Ê&5:C:WO h,xӠd$5s| AOmdTd/RGxi)ν4\m<JreCJaO MVMƌ]|-(b(!#^[ç$FBܢ2i كHm!RRʗ# 2Aѥ}CtjxLei2RKjqN鮁(aha޺zҗ&>9_d,di.]_"%S[7L]}e|l)%juTYԝQX|w´r H?.w@ }i -Zb;5@  K"! /WSW?iTd|L>V.U˜x&\8TݭC<O]'ydgKo/u]BPr8.H"Gd#>LŖC˃j~50/hc^ 7,e1x' oO$7Rfֻa7l뒝RiiW%^>K(Iwc#Gb[<{E~ʗ|G_lL V;eA|Yk\ *x@-nb)cke]l" Q?K:A¨fQ)~qЉt"T3 pz" }6 .ea W3˔&lG˗RaQZ*A c[3 lޥ?~qe }.HG{`|W9#@r}PᏧ89w4؞v>.6 ؞:Av[Ey?F𒄪 )lY3xoQh3M㼧0p9E0*S[ J_HpGoqbC ^W-!A +$dn9 w͖%= {*?$_N鶠y ̠YY>zh,TPe,FC'1,F@þU嚁xƾSs+wFKKl\Y_G9k*Li>l4  Jp-ꫣU9N!mihA<Xx mQi{[ 6[:ΓzTq: -%.=1fs a=4Lt'f_0C3Q/&'0]V?}vWѦcPaSk a[uw{tI4cR;x|=;:σ"9WuZ7zqxkL7dm:{-%dF .iK"h-'(h%3*[Od;;F-˔j%vfE" fW_[jT )mT>mꜟgAgRF&HF~7 n1}B.Q {e], ;|ʱ԰RwtbY-|k檶Q:a_XťV9w} Π602u'rJI2a宜׏½G2DhY蓭ޏGtPbbH/+n!Z"ϰHT=e8NesU?|*E=g U6[qP&0WR-)yz%SE,cI*fOSK WzR#nua$1Y7!R|ߛ}H.QiBUKʀzq7_ ˞WĴKx;gAj( N)%)9-3zV䚦e3杕g`2-Le)̤>(TijCC'u[r,ؼJA=5KUi~9E@btwu{>,Iwq/i*l»g/k}%BԢ|%/~;ɡΖW=R ;`:8==+_5:zޭdpɨ;XVv5%#ue^FUr.~K!ߕx\X~ Y!mҐs*FzJ &:HHgnAr7u>~ʠygQSW$}R :9:JHWJL^N?-vJ=(';D#NNV c>x^7sZ(?s!HF5I[NBS/uFC E;S5BτV4iMYV6rTu||$fa۲UԔiÿ|U::;cFDQSTS݆G#= ͑&A[SYO _/7 >xJȍ`Ë (G>ՁL}7}z?^'fء Kn߃'OHG?(d^bd澝-ILJu /$slA&;1IXb=Q`*-p[iO. CTQr'GdcQ_(VBn gplfm5طI#$2 ֠4tӔyE{K v;^-U_A" N?17gNjC!VE/Ēg6cQ?\βHILbZ ԥKѭk;;+ո3Vw_Y<͈C%h%$ojY f{+%җSE!f)Z`NN7 ;hPˢ3}*IRot7 E&afQv8WڷOkw8˿c:,᠉_Ϲa+?u{uyH _OΜg+!drQp3\~6T\3Qկ/5wX#t|Baub ՂN^iʬ|b Cȅw=EEߧ~%UL̏3Fƫ)gO1V/Klzje \,zL߽3 ^ICE>4bN@dv?_8$K~o@ïC@Q"uX @ ,awh+"RlFEypZJB>>"j㶠uGYV1h aQh%:Ah/:tI$>s"JP`Ntc7]>&'G t0i3dC[) v]QPx u^|3W/HXP Wxq(.(Ƶ&n2~n~%@n>f:Y]_4*7_hy*䴓RGo1m$22%Go #%-v(j*pv%'=g]J)㉑FU^:N'/{=}#VLDo`+ȑʍ; BQA SqWN H˩r)ৗţGۿ' umؐKK霆^JGڲf S{KMo5\V{C}.Cg$do .W0H*?nq"jTLd+L"BdV&E&\QWvx4K96ȽفQSg؞y%Z-'>+bxR+'TI$) lMșO3"3pk~tt Y.d`-n{&7EIGWPKWϣm_V|#L#MKϷr:"rvOͨMqD~`fX?3fQZ@bDJ&O h*Q?u0-O?gDz`9!|~Kta$3NQ̀b{ ],*X= 6#Z^v?q]PmwaӃMN$>%Q0?'~+*HͭDVy(%b ''< c$H?EJ[qGx#daUS ; 3fdVBTMEK&Isxi^Hap &#q n]W=Go@IN_L޻+B<8,TnM',\u$ZSE1H'.g Yq!B;h6_9{~ uidK$PP z?Qr> wڈ>DJlIuCzi)_q>4>}SܣNzT9՗fŝ(ܳ yZW|ǽUc('nW(֍B/* ]yv f wDVbHk늰g}4Њ{}2_r>ůRӫy1XG؞,SDja9d45lX{2/yƔ:˃mɠ DG'ϝݺ:^TvAyt҄#8Ǔ%RTYA޺rQtEՊ\VBPGrk]4'L+ #-0Pp=ly4[>UIm~ZmNGih!L # sbT0%}>K<%饞rnS4͆v5mOIw—4tl 0*'oU[~?"r[a<&\0dB:'1ޏ MdSk3w0g1DcJg*vx\&Hu}AQyLUi[{n 5w[V!{fF=t{}FQ£"N7F$'enxC` BunOHqYfjMKwJ8DY,JFCYX(#r0Řx}#bW3(q^ mU;L/(HϷӱ"!2P:Mo8'JbmTN&LNԮk 䉶q9D1[NL+y W$ =rѷ]y@ISě_)<ޝsw\p#:d;9o_GEF=pUpn\I+M9mGh<m;7D :ՏvT o?=~N|zI!gIy==}~{AoyKIZ wqYH Ro2%h oJu 0/ZP(Vp.<#BSJ=1U5f,R[)[Wpju>Դ9$C鿀* l>fhߣ H}9ÁCp4-ML i_b[Z^x<7'饞' mSQjJJFN4HB|>B|+Jcw 0CM?RQ8NROWΘd_U})|^7ʔ79 X$Q՛;֤M/.ahZ  ږ?b cm@/_mMskw'SVz/@ *E 'ݩFN;jM53}R̆O cη#ψB'>o3*uR%qf#EKo(Nn&`V fs=+6W3< Hw H1?Bqr}iӱZ9}y.Te9fbpj{=H153W% 5>_@/ʞfʠ:<rQcT}XY"UUD'= HjϐYM)s92EjA0 xt&W?$kO'1PRAc}ދ p]֙e .FtJ`Oaeeߏ\v)| l!c[U`~HJe`$mT`ow~S5fd^3Ib}=$vUC*4$ɉu%S'p~hꇬtxhy_wGv z0)qB}r|7;w}l#/wGA6@\n[0˃ݿӏ]pf8}~_ㄓ9o^A i:b]7QMḣ"Y<ӈ9p߃͎WCyCg1̈́fYMe  5N|R~1f|A=s6i%h )OVBs=~Q64*t;~r LNv7^܈4 w0$o5n{ZȂ~`1KL!nZ[is9붼5do؆rC;E|7Mric& .Pjl(M3#?' UΛ}`q>1Jā9_I9Շ)&y6 lO f aI8|;'<)~>iJn269L"-; gǛ1(#$}FGpQ#C߰ўSԾY 2(ei|Al*z.UX9ՙApx#| h&sIV0ܢYSż"m) q8󈝄̊U6#TU7fQ"eG.K9l᭚M!8m94eDB #@glOD=qT)q/bJR0XCV%PQꪬEdsDIێsaω] l8F~׾N HџOw꠭ H:ok= K Zz$Q"23d 3zBR&X@[8N@vige$fvjCH\.W{+lpW`cKxj;D:)Av}*7$h%1ˆ{G (:#/5"~< ,LgJiQLs{@$^J; kte^ߪd\De#&%͞v8`%ۘ3\3IC0!].3וh$¸[ڭMkL)Z\F~. ^)q4 ; d"͛\ƅ͆>/^a3m kWK|2!`pogyx(\67@WC m˿{Pٌ#'%;rBBYG3LY'J.Mnv`V}l>} kb.g0V>)-?.̱,+$)7,Zrcq~s'KB֣M^$'ҷ-aY0f1WrE&:U>;j(ط㪏DO論˥ND|_D.2vUc0Pݡyńeokې\#ʐޮFuG 1dY퉐F[YrR?$J <]ڮ7[(fD_@T !J~Meq4łץ Ix ]Ũg(qﱴ7\db &.]T%|<`.|̎{g;~:V^.}ZEg3QM-'1&|o?7r81ѱ`hNMx+jo7c-btRb\)d\0@- jC@b_8]:oף=ʘ}`ɡAK_>R鄵lm"9&N^d8SR% L;#!XT[936[697"QGp5fVQY.g`N?C%W^Z՞X')2o:b.)Gyfά[9ߠ),P^t y,7$R0YmmVNsol'bzWۦGiA1"e3^QIYY:xz0 &tO%nMl!GQE YKp 'ZrDѸmWYpEu= I0FKP<T⼧ p|ip |YtY޷ю[>x0t ?T.p߉_-?T\M[J+7194o>})_ݼԣғUTp9"O9i 3+yԉ2=?Uى _h`]z684@䫙jG.KEp_U2֕/\VdOлaVuQjL9% G-fheE<y2ALߠs 6xCPcbR"/h0.WڐA"ITuO0aj® %fBUOx˫$e>dh V9+|ڟi0Kw[6.:Oڴ(7kI/v'mhn}G~Ry4bi [`X:tzʡ(H@3לwNZ)ԙؾiPCܹj%LO{9^IznC4ހ C^C,MFxL )e|oGp؊JMSztybMGԈ-,\=KT.(O9" &qhwBYЀ1me˔yĚ[wmrH 1u&lx\p*'u=B֨Zu=I#i/,Q/\fӼ)+tӬ{ l#g"D,uಊf)T. b^7xIߝbf_qa=d_)NI[?IZ]KPU!ns)#I}O&TǨg2( {!Cve[7"0w\Q).L.+g'r]N  } O-֛P p#3_̧P'01Ud%_tpIՔ܉w Y]Y%d'j!¬sZ(xtb5B(rM-飆$ff9sG2J ,?i!w͒;mąۀr;VجSY3#i-rI K8>(Ex]Du`$GoBw[Z 4J)1w.j3qo;$p@!Ǫ{T-|ZƑ^?IgS蒴-*˃Y~=kuO.# K*xMM @4\'.p.۔UE^,Gd!ҵHD|#!vUܛRVIIX=@-~-I8J BWb*ӹ$ŷR8!>şC'e0ui'b#c v/PT&*Kީ/ +bƦ^r>9sՌErEkF<#GxS0Pgq=!*eqNS^+b/ԟd&hkP[|OV?Ě -!7ZptVNϥJ /P5QMvR+b xllE Bk ?AD-I<A_f:&W|LW AVY|AR3zŭ\6 #s;W^))0`̃lW9gy7 k?D; IlklpcUU&~25kRI=X_i,fK(e7 =8ۧjvm; ;PryxX0/`*8̐‚Gg [HPHAT?`U8ËR衷jh>GO\ a_d&X5Ts/T ﴷoUɜO2j|i1 dtC~bCT9C~#ƿ%LDi&~jݭgMw_wt*@kсCL/?a%#Ni9UȍNXA/&47z(5(l@ڰi Oͯ>.:ȎE{G&F k~BLžg,Z'.>y]r轂M.s7Ll xM4J|C,=*UQvr<伱y)vp`.1JUAڠ/0eML{2iIt9~[іDf1aNcl8|!z2wF wU!?"Bwai6b R\<l i呙зd;WYIPTM`>-;4)0\$jmB3ƎZ@:*<yى*J602Hb< gYZ23eee2add058c3318919aefbf8b26e81363babc06e0b414cde7cbca05415ec6e5bf86c58afea3732 f9895dcd254f82aab3b7e4ca41b9f20af3db58f1