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 5zd$$ ]/ HOL-Record_Benchmark:threads=6elapsed=144.696cpu=241.389gc=15.7647zXZִF! i]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)$@ugYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.̘r5HT̽" jpk99i+>9,kl_}YZ7zXZִF! 6]ŗXi%2ꕜ O'4[L!&}%h:곏 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% LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~bLb/Sc1_>@>gW/=UZ#S7!B+te-2~|yqljwa6oڑF= -{R1Y)ބf3K-/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% LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~bLb/Sc1_>@>gW/=UZ#S7!B+te-2~|yqljwa6oڑF= -{R1Y)ބf3K-78PA׻؟S ĀޜޗB4&WycKatG<#JxZww-J峽Gw@s~o̼H7\5,!HaǢ֠~?N:d.Ss?CP4Lͩ\֗Њ9 SrΎ~z"՚qbV'mysu}d?qHUtYA"3 /96;#0o]m=Mo&p"]?! Sy k8\Duajo2Z^]t畆Olu{lC/# #жݪԫnG+/M.w#91$7ğH ɊEF[HB=(b6'Lv̝Bp&u3q Iݍ v(6-dFTT)p]c0v4KX|֥ f<tAShBw.| bhr.[MLx &,1  P5}[AZu)/mB`g kY:Ѵ 9 52_)`6s{P`pU82qTPoԁt3Dz _m:G^d_^v\F9(!LΙv"UIn0а:xԣ:ƅ9fGo%MwU18V<+نXqVΜnQ/Ԗv {"O崣 aX!'#fΗiy8*NjHxZTS<3LsP57KKA%f ;i_Eh7" Y (p@tz1r{IcLWԜΝ=XRv8!PNeUpW &Y*osXl<-۽]N ,aHq"k=9 r+V"=FIpsU7@PWM fpR< /&x xx;;j=JW2{uŬ+p0/55@ J9$G4h\y̝Z} Y.'u` -ÔxB m4O<(rJea ~z@5'`~6 ^ā6xt cfĿv}'lZfUNpYiu7SL12;CcNܕ{&ҸnrM&3x 6r~2§v-?h3Z5+ AZij^C4h^ .0,"0H7?`DkFA y$Mch^LbaI_e[*OID~++^omK3ͯe'ȕ3\xiQaQ ̙3{ Dcak^`_ '_;l1clfm`(oE Uru.E;^A.0";k&BZ-yZWI 1-~Hߛ6Y+Z*v{J9>ܸsUc(I/i7m/RÕ)?rXૡ1fα~rW vEӛA-TĔ%]X>*;X:]w*p'Jf1n|՞0WlieC%cg=>q] V pu ^e|o>RA^@ma/B$-S6HaȊ;RVațU‘\^zԚ4eˮmT8JY9( t:L܂m qarQO@ Lo+7]7N?!Lr\RE<২'A{s> J *2ʴ}M/硅BŎaqiՌ)a4:iSFvL盿j>^'q8PL(>(j{iW{lݵnJIK\^`4| MwB*;k$Q k&gZ3'ry*p0tM[0xBRWi?: "n[*#UQ Z3e,]Ee%?<Ė?Ea$HAC520*^ gWvKWz#~N#޽ՍZACMűIpJQoS6Gs4:3~L>OCRzͯM4hq* ֕rN]uVwRGgpbY]6a<zk̵&B84+UG?}\?2VO)R8<^w@5h__$rTDCFG1#<ֹ,R q?_>=O&*;C<k!iof/ߝKkkc@+Xgs5V c4gO*̯i",< fACC:9@V5Fӻ{J^]Yŭ6MeZ: u18qʖe]UIԋ= YPM?Ȉ>Bv2ewtۊ(Em6( 5p5=a,[~1`(t3q^WU3jmL9Z҄g or'{'L*nkuՏL:jilwtLjgBrvۧ^"9+CTP`ZkA8ױE/z@)>t,]a\;N7 :4WKi&M \ k:I ޙ-1/-5Vɸ l%\j+ZemZ`0{ ʉ.WĔ!ԡ芓Noa*F$_S ( }XiԴAK&YM6U@TjĔD̪ÌU>k-`Z $4qRN{JιG}blp^e͆>n;Joo ゴ ~"{x6wVȜee{ R4΅AGJ˒^`̶Z".wAHʲsXk3AfoZ} >k87K'N)&Y-K4Kds#,[+;%$=:xP2t\G^e:׃K\ĖNqأ.vRewqKZֆZ{,ae|-GW3 O+:'kY؇ƥ @OYJ aA ڳ7qrD)ަ --3{iưY[,+MQ E}"~1I3VM;up/i|vq!~[ ;s`U,D6}DbyR3GJLZH0W(7MFO0촞feԁJn\ td*H$&i{;"{/6~/ehSA^YxaHKR0G4LP'<3I38Wv1&n;36}A?{@v4fa!C&9Kdw6"<>@lpB_2E*;oѳlQOt Y#\)\&O`0we @^!idv+HOCTK9TEncp{SlT4 Q.s /Ou5‰q.Də6\rB4 uf[<8BE.AGP@ Hi1mk]rPȑpd]Aq/INW G&8qB!Y`X_VN{I ]MwvTDhg(OvFZ3E,!V11d ew&D]_%f)Eb@XGRM}q_muN `A [ge]R6E;,:9[E#o5[\?s9wr-jd#1c0| :SWr a&Ns]0-f;72o  C,g$R#[ zcĕae#1i[X~ 6Z77s: g:N~jTC5TfGR{oZf4yT  :=typOLPYx21Vr:Q#/K+=L|3Ƴ$xhs3nK p䖑rñXa}R8\@}`42AVz&aˋXl@荰y_oeSΙ.{q'gr&FFAY yG+5Os)(P#^A̾g!N 0zЪ4٩שP;('qAua釯8T)')Jz/*Z4uM\ ?e)ĕw#4!J'mjSH+?Ql(̦]zOPniV5H,эإahF\@#6C;w⠒-%:º$ {x؜/xOHh,]Jvki*&!kh@@< o&(*_  ϦGJî5UI 1ȨDsJ+7@D .1? 5{j2f%`qMd^43E "J5ht7z}65Rh)΋X`Bm^S\Zz['\ِPW*ގhϚܰ<ν%`r=oK6粧EFG{Wz҇Qgɸa6 ild'6ElL&hާC{^ɓS;qs(- Pnɿ81D}RmNm~**$Pֽ|OSѴ1̖AFjK.zlL<o 5iԲ@vT؇c CS8-0;_M=1D]{peT8i0| ڙ]'T( rI4\V}μ L")~ekV?ԊsGE}>Yä,FD^>y4nexo`!Řh*b. *I -҆}?2s$] `s)ˮTPK[tu3nƥ8+bB`C?u@. uׁ-xé+F|+E莂Sm&z`QݕemH>z NvPrM,82od q*7"*?i]ScwU""QTh9K)\t1Qgc ߢ5b+6e8Q]iF&ir*B}(F]Cb?Sd'nᔝ==G~[vj6yўZ)-1,x0M6}'el/Cx o4C5Sh p3?y@h^ɵ*lהtyi-t0:@'b@Xy|ҿ!dSG >d;F/7,"&Z)gk̄ll 3l;x%0yR.8 A^. uol =o ˀi6}-J5m,j Rz'oǫX.Hv5ܔD-k1ΦcZѽ}h 1 *"ps}jH)[+~6Ӻo7..}>-^DL+6 &HCD:ڛ P% D'<|&3~4lKu5osxrf<@9Zn;pڛ pEdQ.Mబ*kg$rܰ9g1 yC* آ[x8gڜĞxe-6^JB7 r n ǭؑ%ק:rȏ rkb[|*2F/N452i|>8ٿ3x%zL콦RJd˟/䱠 I)80'3|Y$uƅ2[e|fڏ$t֢AiuL[unsRg[q|V7yXA(q&@&]SUE/tD0UáKk#Rc'Vq/r(%Hn!8L{&4_p.O%@J*٘64g- COAQBN K;ҘC T#vt3K]C{vm\ ;uϤbrv fa|sӮ2A {C(Nؠ:jJ.!ߊ (oHcvOx|]P^zgCEi$(na-_SkJlă?)#tO@v~ȸ3 U5΀b+.ʶ]3u_sӧ@EWkG\޻W.QSeL]%'9Q 8Pap3ͼir#J^q6ݟ8 pRT3(`3Fb00_=3`D!-6u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! P]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮĽbݲuNr}xeGޥP\u^i̗C2 K++3|N45lc iAi=8Ѧ(f Ct!-/reN! n&`|΅]+)cD-&DiZ?p?S c ?AF{&ѸH!?af/ 5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! a]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮĽbݲuNr}xeGޥP\u^i̗C2 %x _].wh~Zݧm/1gB GJ _Y͹K^E6z@b)iHg3%aɱ? kjY6CemJuRc+%`D.9Vfe'eM<{eCX`]s1_4¨D~A@[] (bHVK50X_ wJũy,I}Z$P><ڳT5W%O$vG/v8{QUd~tLȧfuy ?N԰0+Ӫٱy7UE:Z:֓9ݔESk*faeXF4ukNho".Nh`O=/Wo>{;ࣖ~k"=#vV ! FIVѿҕ%9ZY 7PJO> Aˈ/Sl[]m-_.i$ s C-970s$N2NP 7'L)֐:dBoʐmVvh[Oiu HДO6oI(\gDٟJF,H]jJI|Z:*'ʠ ?uv;'@p`ŭE,]:#y\Y0;Sϟ#zu$m%.P4l!OMb0yƋ?tb:P$O~*!CpKxs;~?üq,7*&?i aug>_pw9R3˨{r&߹F qbؾ?&O煯k t"0[-(!_){jǃhi|UX QxdHiGn}} %Ak,C +/)n^!}/zE1tsZf5ūRbG@@sn2Wk&k@" 5To~hZi(;XPX0οT&+$ zW;}O(j6W$ e܍Vs[cX >!WKݢlVV# -ј]yy;â}9Rv82 =Qλس<LUjO: wUvuHa(ЭZ:OP$M1U)fbgY _7eK-RƯ< yp&NH N@rPxUeѣOR͇@}P+5+f$-zFk^k6J|/MrGm2|(ops )p*wRs+M$vGh vߝڥ`PrXfSaރ_F{ PP 'ԜXCzGC%k:T6\ +/3j!@*T8hw'tD}]rEU|:RNi39j[0 'za;zxkf4SlL Suo2/sfbr2 X*[Y >"3;6F5˻=昧2{}#oWYg!ʐ%&S+;2Gt$csWKÔ>A 6KQZٲח{~بUIKg? [%Ϣ Hqi Kw#xB<{"?hUU;}55f7ֈXs}02en\ З]]=Q"`~3L=m5U^GV~.l!⿻(ZΌVOJz3BIF>9Ee_`zN:oQZ\ɫ҇mw_ϊnƩcg?!4oՑVv/GqVDbVv^<:o%7"P|!F,lݐ7vbFL5'~E_<sƇ_"Όllva~W>痮4+:WE!GoZ8aB%~\)<AsF 2 MB"S#^ yAϸa*k/4h8f;NVBj51)y/1˿ZZaRK&΅JyɷfG'VZ<ҿ*Tk$AINȼU<T. -zI(rdj[h;!we/TT)U0-6$nY_6[V8 yWTnx \|X~,mCf"vfT+EGu}O 6;}omnR.-Wy92M-(Lr9TlG(_KdSl> M(*W2>+ }(˟&H,melMrtY48A?:1A'׾"FJnTŖ.rnes0vΟ_-|4Ĕ^1J%ܣ%ʀmn;8"r+mLx)^ȩ+p:`UVYªo/#Mu^3Ƴz/(|Iw`{~+IQڞDPQ`pӌT$a(F冚\ ¬I{ XlbM J*El‘z @1G4?߅,S7'O$B@T\u)sCH^v iʞ-ܸ_kP2SRc%{A!(ki8yfB'(.Zqpx[^&ci=Of~y5a7'\33K6s3G`H;M2sȾsoWZ ,ߩC;±yE`JFD~ ˕"Nz =BN䯽"A`xtIR7#?,)\dooG`.a0!kP%;we5ax20Rfc]?TdY/B`И-@80q'UFv I:֏6Bsm\ƖZfT0ckIhB7#v}n 9(Jc/ oguMnаWIKB*`[a8^U2z[ޓ[bҳ,`Y%r>>kZn/'3;L\MBXrml-擌^qK~M>yɐ K%# < J#Tu4DI M D8:8=![@o#W*RI.w~J$֌4q%6ޯA[k&""2YFUx`m3%{9̎'\ KC]QA{Ԕ&.'t&#<s[\=[ A8]~O(yQW+V8_yx{i6cjPn/"HH9g ׏E;Njz, g1Ą,5 J!7/Q˱CVk{\+h\Pm!hcx%ƌ՚Lo{ܢgyaHH/HlV~,dKc?kJ\+k!qÚMJgzRR%>Rބd~n!\06hiogQ,UfPѓe]xZ+,/D6\j` s byQ m*SkꁺI_q80R$=\FO0K*x'k:OYi-8((2s=wSr@!p$~{oaEHOCrM|jrs0cQHZY@vOC>\bԲa6I3#1\2̮7'\nMT//goR'/HӃFZك~]ۗpʹ\O`f`A1]"6#@i2Jэ,FHRJ9UY;D Չԁ,qEH_HC^܉M&&Mf鯵[Ѓ׀-Zo,QMkySp{-~&XQ/Fd?2 ^x,H uV| Iie ϧ+!G)kڡ6U gw w>v=X|vىP0-l|,5CuSPR,a1J2_CS]pwLK&(/SS4FKoxfKvÿ'GOu:ujf7 n9]`rF$6y|T^ PG4иi1O7%rԯnS*n gxW Y[!idr˵ ȍǀ^f:a1LPG%0& [l%QL%z<=I^?dAAGd=*1W&crZNIb: bU[#8AoSj a80W1@džEYrdIMM2XM,#qCsGyB"_zV_j *eDƌ_1bgkELpHFaw2On U#-W;W691 "@gbOh{?Ɗ!RQ\.&4?i[C~8@mbb/t`U(`6[P [#2+K\ ;e6gy~-#K ͳгAJ,"aݼ C 2vdC$V+\:.x sjsw( E+ϷD7{ } @M+"X47T,u+!kۼ>% IS,\Y?\h6]1S!3A]&;!)8S4^$챎6: J!`,+g^ 7ɭ=d?Aipl& eԆڥ:x~0M|7IkЍX?>mۧ* lpb5{L hd:+'뽞b+ %I%HkmyAlP$w6OwsܫY['4(,^~k)J>Z+nR@&.;܇KmciB-X> uG)r.`=3Piϒ c>WA, m&զ kjR'o'5H}cuWQNgO!8+^z(5ԴXzom"yTm>(#xBBn6\ʎJd\m]- d$f4ReTwitϿ[l18* $-&A?jZ-)˲㴰^3JAÛ'Q}hDq%C=X|ϛv+¯z_?y/,G. &Ta#N;lce.R\cȥ=[eIi_`7ƹw܆m5L*=y#H1DyLؿw h^c%Yxw[?T<z#SěoDW ḿ(dq?uolFybvD[`4i{%{ 4K5t3~˼ 9K1Cf7VPJqeii%![XQEElf-;G]CMd5،8R#JQ>PXp~M9Щ"-d H k; k];uR_|pD)YDN#T`cvK_<(gྡf!t<& /NJٽB/J!6/jUw~@ӭ9]iJ?+.%`7a|CJYsp.ActZv3ͱWU0GNu`a]7ҰN UL>/-,_$1tEJW$#@q?qNE:.9}Ξ1Acs-#Qq#F' ~ySf.|1{E \D&].oԝhb+} =%ٔVF2^q^||,`$JTyX+h.^4ÔLИfxՅ؉Iu$CNzqS`T1K/_Zt [ M.d;0]0% ĴLQ./s"Ћ6_,AVSrgv6TefYsňyYk)6E>ɁT`UFw0 ?# }#;}O\)?b2+P)BS٭3w\wS9+̊T;/E,֛AyhBYI6xYׯ b(IQ;0@6":#=1h@+$F%YBL YV] qGI}\Z_UyFn=FN%1+%o"_~YWd1r2#hag)<~RtAS]^[C̐+qBQ岛B#ʋ㼯 qyxMf ~5;aj$&=, {p`HUv^,gE#.nm?G1d*^Xl{<тd5SZXGǚ_EJrO^1]Ky$a7r pm&z uZ67*Cl<{'&x]FJѲQ\tzAkZDQɳ§{X13j;!4KbCtGbka ɣ,9Yo9/ز ^0!5@8j5aw S4޾}9*رG?)7NSZ f|j^jaG]'Ѣ\A޹x&ɔ}=8ҧDԦO 2zb}rA؀RH9s ȩMDtĒ s&H85))+%R?.bt{0WgU6sè'ݪ X{:m`R3Slgcɻe$S.i(sּUSyꝬGEWY@Ǣ2vB?cݝ\HrALkn[˓6˼;]\<> '=2uWfb;*j.+7\Oa\`[S3ou$I`#T&Sorʐ_WwpϠh"͢Ww7EGeg[k b2-z, !,ghыi z̎7Jׂ i*O#"7*]S _g[^ $l;fwW.np~̨تM)gg Ň 7Yglg@ oѦnѩцx8TRt+ \4[ӻ>F0͚\Ԅis@@}˒$8K%Յ)ib'p]ѿTPû&]>m;w*xسx,;&{IJtdBKg򍓏4{ <8*&mV6!yX |dЈx=!=¿;ȖU39/{EF\ly`#gujJ˅4u9yx,9i1wBb(/{ O{$AH ׵$0Y'ZP[@yI9|LBvT]DxO/]ǑH D4,H]. Nb\,墌T5Ҫ(߁%F@E8U,$!SQI2^w+`"Oz%T.dPӧS^"n75 =D69vgv( RP.42:Rx@M?Ք[&-j}<: M&v/)zq0͕ hRJGPNzgO , N+=.I7a${]{2'dLG峫`4]13l#Rni+Vp.1Eĕ<8G-7өsD& 9~p+_ZR)?gYW,b:7WS\v[(Nq{D),A\_z1Y?AZ ,c3դ:pM:s$@Deb@8$ o֥rQ<D/"˪T <.5ɴ(.) &\*zU[ u~'pGʶ(|ΫU2mIEuP \~\ĆW9ky`USHym__ΧIAqbYjΠ?~݇>>iCZ_+̄-a_Hoq0ɥ+`ʓY=u齯V;LI0DO--`m?~v f-}cbqEC8\tD02񑾂8.G&EwCaUBҢ/$+ f~$w!V$15=%K`* X-QADYi%4A=},3x;]D}fk S)TR5FDc'qH+ܜ}9O]8EuZ]?DθoyL~#xেJX/MrA:"Ԅew !Yb{h_wĮCT뷮-ww}+O%uc\۸?Kl}`A}]X L5;FY}u'N!Hz w_Y"w$/'M'j J C@UrN/AZOz檉RITvaZdx/o7 &n۱PjvW$mIr6} ‹Ӆz$rZ͋I5HתKE]\*$5+ Έ{'$9s{bd,r]O[lc =."^|DXdOo!7\|=>]9+|b9{r9iM.L_#9̩=b8a뤗 \;ntIb^lڙ^6>>e9K]Yi ]m d~k, ܔaSKO/Յwޑ.?Ls1Hg T}fLEa#t- wfP;/AY&re2uU& ĩ&,6x,azpUyK;1?O2)aQҽ ${RQ cAѶru5[#J,{fnhKqs3W%Ӳ*s%+T""M=x<9$ʠc;lP 3{ЉZ(Mpκ)vָQ qta: k>/N0Rd$F'HVpB\|-S-/{P+̹;(tkOVFj VbaYdzwwKTHq^(>!ghk8vXR%&qIzM6d^)OuؚČ!7t)Ӣjw}*Q$ZĠ/;0 L19ü6p쿌(<oL `ڥ pxynÈ_gV< ' !E;sxt `G;5\@K(\˝>3ەѤC0`*7qG2vI!}PEg|jf}a7ZG)98%#~oڣfC=j}e(M;DjbZ;UAĎ%Kz'i؉:z t$J.e&ӬoL` `2v?|ʄק{geKna cq@ Nh'OmZwN,vYΐ]YZB. yQIGaz`(:q1$ DhdquZZu|cE@D tK>ڷ!fj(d]O@4h(ןx3Fq3F9jVm5T”qU"!k>xkLNcTX4#Na;OKr4Ҵp TIk͂ү@tM}E6 7jB@>я/r>kbPZ$1 )H"oO˺2iSn˹CCx!@D|3%ğX;WQfӣLA3=ł#KM!Du%aD!J$JܱalK YY龛ʇa~ŦD Lds(ٛuygE<}WzEvūb R%z 3B|k.+i5֐Յ&8~O?nhV-_\Rv+]i8OSM+P<=뤺4J>xb HT,:y(FYN2[Zkq,a6+U?u_<(Mz.êXT3:ZٻycRlsN1wUM!M') ((WK""kim<'LA;=l=!;$Wĥ;pY.KJcI61QMJ&2eYj8Z>R1FsmwAH+d8=V4mtCD'Ru_n{d7ir<\3?~q^,#θ \kX0Dk׭d!j@Y%-C@[(O!wNbfcLf0g{TMfU}V~9BœQqkԧP[@#f&i̜E6y3 J * M{ك| M52Y+F鵲^9EBNdR_+]}@3$!L?6&6b!Ej0MJY jrS3r`:t4> 5T h1.a&A 0GPhD[_pECdm "sкMց qK74a#u RIm' ۿX#H7f![%ZY\ Bp);)|T!JRvLT}d(k\| `?ڴp .Gfߣ\.\ED EQӜ8QscD4++ʱX4&ѯI^>C^xc]si7_ *~%E J7-= s㑒"Xn&U5xǻ}w³~+*((/@0jra ,uj?ᙿYGg<|Q2ͅ:6l'4$!lnjfd\Zb/K'@oP9@l\`HJm_@R.֜~ͪz2N$O w+D.gmp$dǺ7?ߩX Y@$8F[\? c-q |uYZN iX8CXT]oRx&1ֹ-Xa(R. An6w-Ԓn4!st/83E'䯄:oz:F2zC}; F%͞o"VvF϶sҝP)7.ŨNZ] p%~hv}2֍ Eң%{ź=akO5Wm;b(K"pK1?3۳$iHW(_ ߋN ( H}O'! Ie"}4Œ?2aޟmmQ^|s‚m2?gc5RC9f~bH9`ZXIA)"KIb2=U(#E ʩn4э.UvGy. hFB8}'Z)]"7B({qHH! 44@bhktNsV2&=m4FTDa Rz^V)Y$$-Gb[1r*JHU'79~_nY)1:0>8ŽA",c0 kCk(64&r_w.hkҴܸR&KӿzڷN3 BXg*dGQܒj9BQ gt۰M5_bYI ˎ|^W$* 8ozx) ^4@-Ok5hsG%3O'ʊI2w5`)JS3'+bQE3snU;ǟzԇETAbA<0AFo!3pK)fY)ԡٕ9pIc\_R,jz\A*r.R@R'*,Y>n`-Z+-c)3Bm>U~2s;R3'(_:Z^,}M Y%J'.YwAgIPhL*% R?$.};NdqAzm1k{I?;3RA0n|]'oщE;Zn7%P}p.gy{Ax#>^1Hs Rveɽ0ݛYvgfChdPCsVx" P]e=fTsW8e2Cl`6! + a .wYij;* ξ+zJ P ' tN<zyGUqHQ{!Gw)t|AXr"F'^C0gXJu(R60@uln-V|!&u8ݲa'kUBC>WԼSBOϒ 6L]?2,'hƭM5d+Zyw@VsK"|܁ja!4#GY{.eHW|x[}u.-) wءS^^R5A~}sB\E N =ϥiŨ唊0@g.C6>qa|<yJV59/J˻\ ,~ʍDmR*{K_T6wϩe7u6b$lyJ'!c)~ҙB:S# "mFU[yN%߯1.?mdJDfN^rq'`"Ѐ 8$2xMLU@`-,hJz}߾/Rv3kS|O"M"@DMW;1%0OiE sюfV!bԞi$Ԁk԰͑6"ʤ<׀dV?ʵ?jm+^Ja̖ /3ʒ6NBFk20.?v56Uk .Y#О[bgr3l%Ǭ̻iro3_ g,0@p*=щٝ~wNh{rI f]C- 9*t \]"ԃ>[H0VRo/pv-خн4P)HKs ".&%߁ v)G{pͤ/6|>:}^޿U"]{)db:M~vlP@Kߠi6? a%Fa>j VL=U]Nyf₏eƔoqvqqQ~i8}2=:uR%jr㸭DԤ)8tERuD-KXeo$}3^o{u:-­O%vb.3#tpklƫ_$fk)gT+ %{vw=4yGy_mt 7/ߟRn\뾲UG)6P+b՘.Z, j:/oxAE3"SKE WMuU/X2879^_m8vFq(d4(I"PQtCA/~|=Tt_+v=v3#IjS%irܛՆrLvTM[E!( J{49-d@T9LJ46t 3?(Ls $ ! ً)P/ibeC8 u>yg5*8{)Z GY"صi #_#A(@1=^"_.rЂݬl4F;|w<ۯ9FҌyzZķ@+NȔO`]}] Sh>h^~Gr)sn|՝@An9ܰe$WtoU_ϑ0F#I((@l3e6MVt|zjOh'XcqjQgg1{ʾ@Q-+HIH84@W߀Wg[)s3zW[0B\鿜pmUS-8@B6fϹxqu:I !mfƔݨ[D a[Жw{.Fw,Tg(Yu\v,&-Rnd9nCsm0jU7Ҟ|Ēo2Nx[7CioOiFcA < kx1Pg !% 6دIGPՇZUB'T/l .4{be3aIgYZ]d_泬Gou҂ٙ߭^a9c &3F{Ë⩯Cq!hĴPI(nCYcdTF ,=ͤoraVE\&(u}0EVU@w5M]_k wϵ5"V49HnUjxg1٧~l9@Cye\qV\0U)qot릳0+7GfM@RgJ.bq+% h@X"EVOF +'!yV 䕸H7a~l=@I}">L7_ TA.IxS{KxKe2ж[nC,w<q+}G,-E{T+q?)ax* s^ZI9JqzQa}V SZds~#ang8._qў_gk"1 q'}H*R8hEƆD @Q.>{ 3=I!>X0,Ӂ'"xF9sFfpxzum:+9$(GV|N%!tq pt0 TS#_vjћ3^cY6BDWt58\ߘɻ:Pn*SZx`DpTNM j32|1#vcI5[Nbk&dT2pӕȍCFXJ tn-֌U\5\,eG7lv5-I"k#*ӹrE_AU } oǽyaneu弖S˅sַ,0\<)^}kɦ9Sxxs0^crק,s8c( 2nIׅ?d=~=qG2TB'" Aڡy_aE28v$j=Aj/qzx3WZ4^ٜw1w;9s|bW4cvκck@ V&VY!4ߥG(V;=$\wC=#sqdI^:+H]gE&yVo]2HvǪ_:)1dNiA:[%ksjv~AңY:U)=i$o4Q8 j;u j;y0ӯ\v+;aWxqlT $7TOz[CֵV sZoXҥs~(D3xP6qm?*f2P6s_ +2z zH$UU*W z!5Ili892vKW#R?:҈cFf4aҬzlZ,g5 ;sCv๓)FR-X'P cq۔IrId#Fr!%}^wֲ2pPT~[SF;AE"6m`H(:cq!T<my~>(J`gk<Uo0ܮSv.\/>thT\_ֺN2qmCqϺNR+J >)%H s2[6\ ]Nd It܍' V7uap&׼f};]i19]K^k$7=73z?@zsn警nvh?€n@j}&;D  sv|hpXrFkxqтQ.BκtJDzobC|LrRLd]6 RgYZ :' 7:z 5W' dHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! F j]Άxʆ5.f-9 rq=c5֠R' 2iuN!CSL)-#+uwk_.[ƠsFnIߔ߀?+X1a̮hm9B'/BV6=?X+A丽c7m3suKLuIٴ3dLOszQY#~}a[wω>0tE[q%0zNcB 2ϡ Y㨗~ z3Ӧg<Et1 4^p|)BM##U0zL ʀ SI_w!=;þÑ36c(ӯd- ~H|I: e/Xy$xn7A<>O 7؃ r&7CE>~O%_jNEaLnSMò=N$QΤ]@Z[&kd,*Ͻ|cq`!h %u9{'GP=GG .p{hQnaW|eղ# d}zZ9J${QWFCVi"*In+N8ORyǦ q̰+4JvI-mBt fg^c WȂtCf$_*J0WOZ]([%>eT1ծ)In/f}j:XاbRɸe:;+)qy!Ǚ_*ֵׄ-c߽kiY6t5C QU M"zEV2eZ;6<Jdq,6! }.$%(ݴ6T*¦B6]t Dr^tU{]<| /`j8/ޝilJ11tp-bk@ioE`H !H$UxEo/AN݌$sCFN>/XY؂~Lp306C18J2>(e]* 2[0A90Wc|%~w%'L98rՉM}.kx|w(Q^FnA"z{9rvbqi#̱C)ʈgȦL5pƿfzCkK%tMor ǝAVDF^rHIeZR@7Tg"An1+Q=a'dSA[}tFɞTjrߺkPޠw {Y%@ w)_@rFU67tIL1Ƚs1*E?gtENq_XgJ77pbo@E|iKkTIU,3JF ^W0,)t"J%S;`Kl^A(g Z`#_ 9Y@MI/߾io`:鍮7 }xʛ_%-ǔVgYZ 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! E}]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]o@;P}ik\[A=/~u7Q>J[clE Z %t<$\^ڟ4SQ DC`2sUn[kg5r}T~/{0kQi J*գ_nI4ΕX'[Nd;taMcH bG&_:{^!aQA+-3Դ7rY"!@@q ((%{%9YٿJKr*nӱ4lofWq'/.1#fC'lMYŕz[ .Z*qLgD$ _idm8B&+윸,7 L5HBXXo$F'V;+/k`,eލ \%q"KJN4[Y0g)YvbO_;~znc8,zgXF1,!eKO1焰8J.6fD޴||BhL$~y Vٰ͜8z Aw\+ X Qd_>:[P6ViaKjTXt _#;?5`Kn?az,I\HշgGQȭ{R ă-=9=\m27׮՛ɳJrAƁDX :hEFzE5G6{Oi?W 3WGZ/O=hxfzrëJd&;ۻu_h,Cwn{U$&S+ܪwU^/{zu:9b!0g"S#`$}9 ç$ aqK ]LMx-o!qաBvɌ@ƾ.O&on 4 dҗ ;}All`Pvd/$H:, $t8Zhf uzD[w廑 *AU䥯bD+[48OcR*mGѩ>)??K`Uc&WDȢػdpU[vf"$Mfm`?2v$_n/"zꇖ̋arx!`É5m3$P'Y_p%>,0@ѣۄn G&%Q h3:yzb/ M傂!/&X",H_J^ 2: Dk&[cgŐm /7t3XW. AYvoV/f.P 69i0| W3wݥxymM M[)]\z`k1ce7>'5d<$ j^I&1,IRy9{G 2)Oّoұа,u&,`Ñv']n2*F:W)Ni,pSgzrjI/g9ys2$gu'k AEqI=\W&liD31THpsOv濾7¿պc2J`$36=_Nt il , kYZm[/ m\su@3$2zb`^7 D[Ls\րMdˈ1{&̜Tt/x=źo"ap`'7^Gn+afq-hRb?ٸ0~%zp2Ͱ`Z3#B #=[Zb@#b>= \D7~?;(d*`ea 5K_yYk*ܤnnx}|4?s'X%Ӗl0zIY}fn>#亝q/y?Ucf.r=tiTR'EŜߪ5_lMc'n6`s6r[.C<>&Ż Иj`"#ff/ Xf/9 cjyX/Ǹ uWyR򅚏2>ޗ;Q*&YnYt.KhD3P(R&C%cSVi+3逹}h8s"Јä%"xz˓ijwrIU3w@#:t]?eTL(`0qS'tCX N._2.mu}Af%Cb˩)l8$ﮨ$oK `!ֱ. puj'1[=zOʘIjU+l7 a<_ha՗JDE\bߒSz>\Zfl) rB.ufkN𙍻eFLln\#H5+ia};M>gyH$ -u}x|%nVXs DcZJ#/k%BGMn̈Ȣo&"aϰERiN,%j!hf.ڊprW>FN%SwE@5rMN6Aqx麹Syo&uxX$@BR'[_P2;H6mpy;} E T5R)R y4) ]GTDB1,U{ݨ{i0ͩ|8íZM7l!Xm8ri{z6腠(Hpyo^u\hBtZƞ ,;k%{BWXسcZgH ǑVFTiۍ?GVY3cDD%2P84sJNcLI׳7S:|Cu'GPV$ i|q]2Bܿ`E=,ϟ"!B)UK'чP0¡V[)Ĩ$q2IJYL+G3}.yQvҼg-77[dRiem'Wh1YHiLc4݇)mjHhPx[u$.ƴVΓeXݎ\hF#zD:䖾 Fd.*qcdһA'eT堕 tabW0|ᴽ'3e7C6C^c.&9NYGi+^ACY3(=6a[n|ӕ/?%|Tﮨgv7U5t{BSJagz <:Tk)3'ƿbўhz|8@!ݢ7E09veLL1{ag$QM1bXffŲRgqT4uGNJ\N{ gD e.O;:&R#+/=R,a1]SCIrp3D7aQ@9"R3tX&HQ d,ᯒ5ރt>oLݨP D,n6s:KA^iS?J 8O"N &!9Ʒi_՞.iS"T0hvb$5e+^c>лu4JzG8tHP++ iwL=Qis8VZwY|C^m#Mg߅509*q.X`p kyJ8`T4Jn)R˥c_Q\5HTe\`t#%ҍ:~HGˆdPPjcg]!<+ÄHȤlz"ҏOIܫT3ʲn"_JD!1ڃP xӄcU Aǝh=lU_j9݅9=6Е7#و_KG+C)q !Nh".]RШ.Z3nz!8M}BXy78u꾍ۣ2ʈ__dI0+y2ˍGI#+T$Rr p;`k%-!&!x1yefp@x[2mHǔٍ'Z"[4I{U-M[xCsOT: \\PLORG0}e9?["(``[8- MڟGITVYsrHb|?6%dBc莉158!Qm/a pj問3Yo& y)$chS! RfYa Y$-|Rvs?bO> ^)YCcv_)5h܎ȑ^li<"e=UN :׿ LSIY/҈ػ\?8 /8]`e,÷3b=2o,XJᙻGR βNC ;3OUB j1@kth7ejtB6mpS>ap~bb*ah5B"W?cB#k'3cJwHEnU7h#AsIdi\hM ]ukɤ@ PYo4=UBn { ɕ)EJ@} ™/<q5vQ0{I1Wϝ)?VʍX,gY.Jnl?h̀|;햗k |sC Lpxbqiw@A&[:筺S-@5xsc/yW:`uъ, C ٝb,a frzӯA~;β-k㷖B2Δ:8}@+YS 'kp59i@RGךh+Jc̕Z {k- ;Lh}Ac1-+TlJpLz>NԒݐG@~5=LS TêSd Z%cE~(b{?H?3jۀ/RKpr"nc=S2 F{ӥv8sl gGE:gE=+?vsJv@?TK:" k,#ke'!PgK'>2"/nҴ9H ՟(N]ʵ16!Z.@NR* W_F,}sIh,go"-rVMR)K'5ۛPkػU N U,Gcz q۟~>xprtaۇN)ՙsrx[7ʇeQJ J,^G-=yM /{pC)19FUC8CVxg; o0`eա.Rc6V8@?dId`d).غv+ij]NYy!L|$x=Y&X*B`xf2ʟ CĭF6q OKF>3>(f\n[:GĄ*"m9Eؕt?0b-n2v4wh64/i3`ۖQRČG+Ё5:2|/$Z\&gdM*p:f{^Bٚǁ`qOU`z9i@|nzHs#n#'k+|` X󲺲5C2ܲ&L3MQA%q[2Q}J喳֏6݅= ?rh*VlRBL>5@f=}5MXfݵk&JܓQ6FfRnt34saXtJ uӝ/۶E@Kdĩ M1>j!dS4?vYt>j%z5b%ʈy/D!?|q{} %ܩ=KTqӘ냡d]AE,v56|:!Rη)b7.Α.owmG4>u $g= ^q4R>VÞ '1%?g;)k|GcJ_l؍/VH5th?Le ryC}_SP]cwklkZN^ ׵OF6qװ] 6혛8df҉빲a9yf{JK}w6_4`(.f$?HHfʐ~-!} D| k݀-7dy[`$pRz}-ϥVR%MOzL#=,xͦ= zDh$V͙n^Eӗo5 E璔gldY?nq"->ETDA-k=UFTi8DkZhis[x;)d] N(VLK-я\zha+YeAɄ>G;2V:CZEi݊e0J܂&./ķVB -B_KԅA@JGz %*CקU>ϣEx{ P!Tvt3=RoZB yQiG}5gqZw 2iw[ST$<`%3Z} *(TK$ 3DeabK/76oVM1 I!B5 |?=& J 5-LLI{_K.NM_샧nw~.4-`@tvŷYU@C胂<`P b1+<3\Z&{SdV!N/KN5m5QD,_ ȡͿZ !O­za&O/Ccg&Z^^b,ooK/ĶWIx ClRM*abG^p/A(!h'A.LK^#Neb[3dgYR/`ڵJwSװ鷵6d5f}ϋSޒb"XC]&ع"&V=u7+׳%d}4أƱb׳l> R&Ȯ^sDY} K$_5&<>)57Afh3TK*$pp5UO|pRc,+!Ia\wb}w-Iᛅw;īeS.h%d@G]K]_y; vKi7H``aҮe5圄V9!yk0佔\Sg7|ym fC$FpY3ِťVx7EgRMR?6Άq;˦;DHu6x*`zv1zw [J0LB>Jc/tv^qKw5L* (fg'"tN-E?_TAD$891hoF1^͊H߉.sx E pb¯Y&>^q-}ي8G;شfkd5Y+ƮAer4;(4ʹ<@Hm oEi:Wwu9@].ɷez ȇ@8#2?COvb@E%)Z+I37?a]IKdp4:T|Tx5$9+k˾IG\$F}8>\>fJ1*]`zx!ve(5͓.)LIIUoYaB{Vz.`1XHٻE3[fbנ"HNb=g alVg7<=fk+ '<Fgf稖OȜ!j[<mnOa_h09%5Џ}]}g7l,[U,#~TLUl,O!]?4o a$`A.c_㖓4(_7z_zATnvRw|U;Dk(~EQx, 'd~Y3SmQXv &+7\'tGV9~e}zBD%SԬ> =3[|S& f5Rb,bfU^VA^sļ [O1ix-7 E}`{̇'ZP-p XڀEېvZQ@-I[Aua{H{I咬M>Vs*Ø9+Kt.,+~t􍶜:FoLӉ%9\KmTrzw/p?< hCx1>d3U%eWu-:Az#.%j-jSX$f9GA \HJsc|bHk2t_:“s}cn \ 1&ij6{4"6E`pR(;I8LtH~ת~i][8ijٜ5ZPwހ> ضV8U'\?ĶYtHApHsY@;je׿VmS3Pxm;˦yvЈbFMdϤqk.+jKQE ~&z n=cwi'zkʐ>ގ2(;g.q"JY 2 HFqF"fŮ*X[VͱG9ԏgM ֚[D4NnKF5 HD̎2XZmjScC018Xo~1^ؖn`2BU=U/̊  \-*@vGiyoO(*E砉Qw>BCѾ\d]iƖ,Fz8M^ۛ=M/xx~ջA6gn]-) ;%'DH-ثXM@ fR*u~d?(vagTcXe6)n,8U|Ģ6 *F2,X.B== 4txgYZ07332fc219aa57732f857949434a824803518d2aebe1e700d1ea7c31a82b493fe8285299f0402806 6870c15ecc01bf16aa8d754cd67c6996a7d04f84