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$T ]/ HOL-Record_Benchmark:threads=6elapsed=137.637cpu=213.457gc=18.5597zXZִF! Ry]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k&=LY,)o`1EOgƴIi{*8%~}gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬@P{Ōݟ(f?L4Lg`l_}YZ7zXZִF! a]ŗXi%D|My\<*\l)Z  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$(]]ӼCamx/Q~y)g.o/[MM$DK^B6T C*i]TD9΃d $X]mD-A{^fZW +'\) +~؞<0 :bRc MFi{6̾Є;E9seٯԏ|q= $#;Nxgח6 +]d鑫l]5 &0FnD R;(*~G4# >w=-8=g[gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchma    _ 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$(]]ӼCamx/Q~y)g.o/[MM$DK^B6T C*i]TD9΃d $X]mD-A{^fZW +'\) +~؞<0 :bRc MFi{6̾Є;E9seٯԏ|q= $#;Nxgח6 +]d鑫l]5 &0FnD R;(*~G4# >w=-8=g[gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain R5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=mO@zho~s>-b]`qc MG _9'{FrT:qT ބV㬗IF|;Rr%};4K3xE4&,4.Pᲃ(Blc[thvDeUWHhrfy3Om.K,md<|+5Bh,MLgz2/KOB<|(dngNw6ˠ'F/hU@+ydeS. NmMiښ2HsW|` krΉo7]*?3oZ]nec4r;Vhӗ6JU,dC:3S=0a|p%]SM {z[~YcPE͑l ?fH!pE0PӺUjKlZҞMjZD}80+8LۙF-Mu"!ɠg ևUelM2Z@uWk1N (®-ԊH-u_Z;C BLAnp6 X9$XsCLh&.Ǣ 3zf$xW/QF~@+i]pX6i8{'Z(#omVjO^ߴ3 B%|U2UMU-c93Swt@y^zMv<!5WTvQrR*+b}!fҺe0$ul%(b` s֎ a"H$DsAl +oeEWSϑD=p/ʉyzѶ޷%NL<زpKPlYA-@%0wČP+fOCA`BV!(^7:;f.g͓/Yv+ I?5tY{&5g?W}PNoYoX.aVkC525/jq'CҼxaZR s2H,&.Ъ0wBZ}D7^ڴ3"wYZ>ԔXm@}R2$:$E팁\}<F$_1 !b:9}C,ўS; W b˙qD}SJXӂsF]B7(V!3g'\#}ZIQx(o4 _!#D 9&H@yD@'T G d4+~5U]ڋb`T}S Mˠh]31r%8V'GT=n4?Vgt*!d7ɑoW(P+CJٌD_0C[: 䄩/l[,_vΨBЏ͓ELy4!*ɫ"AKhK,)N|c,۹B7 \ ?&^g0p%PA6ĔLFujWcqV4"`r%-=osٱՙL`,ic3&D%'o3*`ztR4͋6w-niF{lvd(hy|AWdj^]}9cО=RiK`W4 ¿!"[l!\7mʃpSۺ%)FhEj "};ʟ導}Hϗs8٧ڄ vK:[؏@2xwZR;sdDy_dՁʙUE`iqW|Xܾ`\]a|>ؗ\=0]?8 ׽V\߿ FtD@:"a,{9 ->*Xif9I 5gIXC3Cߵ tNFwa z>[:/LϸW zߕ̗-|K2mTN8- 9>2_tlBjY #Wh)]ӻ.1 ЋU%]Vw"R^{#$Fm>I-llQ_5;m' ǎN:DՕOp̃^><_w`@v3(y ?8Fivr !}BfwN%R-Wz_C/s/wc5Yb ͩNTZ}}gĠGvzd2VMbTC|͠59;+Gs59klS *BWP0Ƞn̦~j ]p0 IK48!ReTa]~1|BR"py>LO')sT>MQz5-D!L’] M p*ʢ'NlIkgnj L\!숉9V6d/U4/%A'LPuX0eHLLIIATð/yB`SN^HywـT Ƶ#þR&P˭ukm{D\(~^ ;?K J?NA$A7QL~ĥ1 y?sfHU 9ÆUܒ/+B]ON !cgYZ"u|ڐdn[,ymuYjEym̔0ʍr&a_Je_-nm K,VJFS aYkRD0PH\'ǹ^ĸ!&d(A]1YtτxLѻ(y Hp"n˥ I+\g[:|?sǓ4qܣ'9-Oˊ {0Re4{1$|}Dk-sÎ']kC/4/ݦ/dNRz 9o>|dwVf4Y avĨׁ_~دn49h[\O,o`+ oJl]{@U Th|M9M1ۦGNùKg]*xp#+F,Gko==rblT=@N70ck Z&$gA Xk^>!"M۠) Il{t{#ЛM,COunQ0K }1_3_KřjB,1騭FJK`E) naw oo =Ae|h3v/EӖ0JOe1}g 2F)y+ћsN'd G'25!޲d֍hd;jioҁ91 R`c\ ?DvILǼ'e$\{$C'(a7/7^1Ό,#Vܖ-X0a+GQi.ҳN:ϖiݕk]VԔGAQD`Ƭ=LOJ#_yiׇ#4c]ƫ EB<ĵ Yx<;jR 2\YCt9݊7#ukv\ks%aUu !.U](Ɣaorߗ?s[O@U,Kز aas3Ӳ9e-Ü2tUtNDՒu蛍}߁0jF'\ȜS?r$5mseX5Ֆ3nWȓGu&uۗ47xE6)݀D^&z^OUȯ R+wNhEd)wUtco^j!L@]*JҴYY(^Bfld0k~i_}_ XunBC>3žq?haM%G=ֻ/Tao: Bn@]}T;Z4'EV:Z&dQjS<Ц8O?_+yB:p R0 ^Ŵ0PxVi2?Jy˜QB)ih-%"HsZٕ˫ {! aPaP]>vYU Dk4˔eO LsFMTz:%Y+VD 89˼AKn˱ +ww;.zͶ}Ue~B-k Ibk gQtnD27*c҇ 5kE)tEmzvI>ٱUN'% ?"4SxJ/haZʣ RAEo88wSA;_}.B"iǂR0iC+>DIG9w"o3 "+5Vr/nñ{åcYh֙aAi# ?nG}9ޑd I,cmH+ɚDCEzbÏncnM)=؎XI!K{ mC -@jqh? $[+Յ)B@=v*BfLJIoO l'h5'!uUp݊2:Ziu:bj.@w<ެjW`Aۻ`Қi}gy^Tk=gn ]HL#)sQodn{J׆a"1JL ?<YTG"B-|OLej#)ɣ}AيS 0\j(BސC, m0weN{go1Z`\WB\=59l*ly NyΤ;;DޘlF 8h,dG*HϟW2 F0 xx_=*OJ2febQ9t 2IK[ss>I2/7@&m8#6)"CW6H)gf-2z䥠 D^ٹV+y')Xb9;ZCOȔ Zp->f(c ` tW8 ޷L.±9"п-0khcm?Pe,fзD9ːH觭zFՂI +ţ \Kv 'F4(v@#}eZ}f' wFJ12 X%}!%rQÖ2dXmft+͎CF][bר̩-C "fOѥR@1s?܏]Z1N D)ڒ J5jX=HY|QNwS1d.E'hv <c'۸.*d k:%teIuu@W J=a 'ԽOceY.vnxhW0!\Jtc TAH\)UԖ\PX ,aX[˘ rdW_;U1EpuOQJ{|'5m&k9S ;BVk[w$:De]e(gbm9s+e"A*^e9u"7*f 'L&1-*[ quw֞}4*]Y߿"l;Ľ\iM&FEV"lH@~nr9 yn =4hoB-ۧp`@2;>TCd#s$56gC6 ~cdN G%~0 ⳸0og7MWJQ݅^fغx.(ixN a/6' $qJ&;m,$lXˊmwH@^M~;AQ⍄o(5,T{R6>%> Po l9ROۯԟO'[džv`>CC?Y5E yfS}`ƲZpݸ # #=aʱD o_[zu;B ,2Ѷ0@Ve9~k~rCdZ4^).gt"@E uE#jf"v'Q</9UTYxSXL1UFN,g?kpQt$!)'XЉ:ɣѴ9(ZQ!.PgYZ ttu5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method  5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸL~]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|8nC;_=KtLa @S65%"t濫2 N/JYL@ѵќ  ly5;4a ~vISbgiδ)HMR4{YSuW.l*$zzo% v#nɏq< c,S*V-wƅ,k5q!q9ޭ^-#Qdw=% W hJO қEсJ| XbFigR $8?{,-lBΜWN.&OP,@+h=i܅v~ }NR_ǞKuFڈ:sŘI\~MjWFD&]Ӣzr 2LѸ1Bm)A$eu3O!_:zx6F'Á3HvVlY`7Jql>+$}Q-Uqpu5U#V,)RZRf  By|ƅi=Gɿ@3=vB0#Q 0!W#8Ç P|}5%#S?ݪ!?OB`(X%o#'Vɀ|`@"Y h'86B>WPL"a.nPޅ}l6%:7)3%M#IbJt4\Ӏn IG!uW>b» aBfZ #*V eV`C@;M49,N_(4%J6Y|]zWAOV2w{٣ .kk&6)d]A~% j$ =AXω)}.ܾ|eZGB|z0!{j/ =LxzhhB/X ɛ KW't]&K'巤cGWT+fs,7I<9ewN⨷T̎\89ZGoM"MslZ| Bʿ@L#8r7f+pa 7X96*'< SkzħvjE$qUF D}ڢ( &N KIRzXгclM0 r"PkjpOO`5%zoH&t "0Pdr|L{1M-pb؉59ۢ G.:vNKxvUʲH"CaMS֭S%;;$ԫI0O=P?ъ eta*q3ɭV#ḍtHW7c>)` s*ӂ }`?*Y{ςG  qu<@s񋗖S%/oD's-o_G'TL$8R=-f75Հ̰"tXCKʷlIBX(1,x)>UXM3(䡯kpkv3`}#k@)2J=ණ7*14oǎ,,Th;ã bv.*ap2@ F ['r2r/\YrKI]Au*֏g8XDZPREhBpՔ pC&q=HOmn])MLv<_.cDsBlс=lQ]VtKo4TlmÌ)̢sM n\"$kUJ L|Њ!^@oFbo.+#:Qa}i%t Ip%.FdY!VN^,φ ̃V.AYgY& .  0*zzsH^f4f3{umHWsc@_vV<ϣ;caQǿ B.0$;!{ ܒΣ2ڦݣ/mEHe8jiCCNhw>)$-V;as7jƨ@Q9o(kΨ5635'FϤju?p fWDhA)p v$Diat3| 5#cDQHYm-}B0)0Eteؽf֜-Z2NW8E\OFX4C˓"W6ܜ}acxnI52&v/! ˌȸTY8z yU}n*&.m{}mTrg<$,ia3F|^{9G(ۭx2}u ilV"%#DM:,BN*E'g~J~Mks8MkIbe>̵Lc!|Oaϐ ,"?Z (v~ n5W' LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8| _UԠr(ips=|;%G#.@1b"&ErR\4 *#Nn HO&brZ.ٳBfK W4Ԟ|_7/]s:UW/+J*{K5xz]}}(c+i6ûfG]S&Mq!k8?c8 q_1Pi"@NGpuo/GB(/bN`L{aSynR]8w$049  ͫso0A$/: H [ 6%y]PLl*vq~q>B`] YΦ̽a JIK1%xF`!kA! #w^/]!ވ_&!ߟL>B1m;@8ᚻC;,IA:qh FW&Ж7+$|"ή>PMB=0gZlRUjj{N fGJJlnb,cUP_n [5 0ygO1W;W]q+*̼/rCE}t{/SQy2>:\"рnW/<, R& Ի-\K[ϷoDK&ڕ6axzHcc:h9m*@bmЭ[8%ޓB~]Lj;MSG"2m K{44/Q&iEIʜM6>gҴt;x칹8k/*ha (d[>*_l$M2`2RF=(\,uT^}ČyvH]駻9-X!#;lBuJm#*>j7oO`wcb2-:X\atM}x&/TgmϽr[ȇ7kl-XiеEw- De%ڑ⡽u:1 duktI~DX?] MXCl1#o9=Ğ?7-|J&!N C '4@EAb-.;Թ\}CbNG2ơ +7eg{/ SlZ;vfٓ{5#0_/,j=, nF5A-`pd2ʠXRR Z9 c}'n{#VfGvL6F{IL-qw%#r A ]%(um@0^(üSpfį2@]{ ꮹR8 N> *}to+Tk%b=\6h6떤 ='haϬĆ<"t%F6nADa ݢxEEcɞ]RVο~e>IE^Zַʂ{a_G%0??@箪Dy{Y弖m\ti,Q|+86tn_fӝBKu<0%RkOP@o*P6]_."H\kugVJL @6wy}jPh 6E>D*:qaCw *DW%ݵm$a'r`>վM;h϶$R!wG.JpI#*10c4찾C#{ E߁*/㭁ѳb5!)}ri9Vq@yR<+mh j X1aS2RdV6W]W A 3M\ߌz FpɈ~v0e#.o{}T,ޟ&}̻9 Guqt%Pʓ70 Nm^jy0@YUQ^$^afh*JN :g;ˡ/o9Ke#7Fr5?3\c+1I`h gvHzSP f>>o+RlkjU|M" ֟!Dj'&"B@ӥʹUpa, gT"_AK5W˽̩4Ie{js* + ,U:aY011 ѱO*J+=e^~9 CohV8X!KX 5X$Vsl>%3X usd.odգV" #c 'UB" iDxA])v)w q?sJ/}\pB`+niC}^ߕ͖u'v!jvh:G{rtoIBRx=k!Lo`i>uAVp5f'O7"[+ZmA,@H:|!€|"Km6:F4dMzRB]Wi=VF3#2jwlAWN| Nx4E#|Ͱ{ޗAU͵:xKm1Q1YLM[nj:PB6!rEp]ΕfO `b=CDq@) JI>CV,dz 9׾hv+:acjsvx"ܨ?Sѕ89@ts%?sS ˗q-VD'’ni#tl"rK_?(ԡb }w1oS#TÏR0*3W{?cBwE AWf=x#e%%yD^<UO r޶*x(i܀.[˾^;)os7#Ţ04pcapjb0MY}q=kᡢ?8',{=!&-Fw#J lۢyXĺno}?H]B ;IB,z5YtS]:^#[ˬ_֖paWwA~|'I IOinMg'3[અZzk>Cc 4An'll:dPV^M[ufnDQA% k!Ł-<{ BIwHjm3y9}NynN% kf"֨n=|P?8E4ufL+Mep_h)dI(^&ZRD'|'C+=0䳌;fUb Zq#VQm|lDeRP>̊e­zĵy 3% E=. 8ڲJ'޺X!8tKTw9g9V-q) qٮ;%ﷃӏ{^ $(DTCmCNL8Ӥp6d?&aP4޷:~UM,p8 Oa+9 d}+Ncb39Rzh/dNqYYkҨB'A$݌qWt/hAij7V l#_|YR8ڌ^zQ4Ţ#i(Nab(3QAum'6u/ūpN޵d8iUA`%s ` q6e8!1Q: [+K )nk&U\rPnIu^V2=u_&^C{$`'HH\$ N:/ o:НWQЂc}ruĀL=?pLpEb Lb &=]HkN9y +{mȖmf%#J5.*Y3ѯ46jGpD[yrGPSX/33q WQG"D;8Jű& :^dIf:F|02UFIpIeU!'^bQ ycN] }2E1(%Jk0~Lgq*M0!KAb {H^y`LM\&U,TJK-y4^ITY"e\1d.sz[,?,_\)Oizv7w[ ^(GX։avx#3}!HvjMsɶ)BSkɗ9'+ %^צM6$yԑJW,W)Lw4DwByF?RqBRD"&ܒ $*gw3CCO<icU_19Фh~Y#{Ca5oDs>v\ʂ\H \D'ߨ$IŽRƅ }vj$.#qKIhwш.3 >|#vIv F=:Jųɇ-'z|:DkY9/ȷG#˂7%UN`<߻+o6F];B@%(.qw J͑A8J/q2Hޯ{vv- W /ka  Z?t<\崆:6tHb7F\& É S3M[y$֐'-tQ Ho3$pI%pk،B{l\?q\~lߧinqv;fxYS4H#QMZG@Ll!ciwhW8g1QOW՞.a(UHSOTؽ\ۍפl3&w?qK'G5QlZλyGHK?.u) \% nRZWTDkX YV7+_lmV [v#zkSJw iJbjso&XqΟ;!&·*AW9sҌB_mWt[gСqNCT+8]6sN޵Rĩe=[jH6rάR+qSa>TI&gi*`U$ԺVLN@p-H@^¹Fzvi ħdĝXvjUj Gd%U N0z"N0(m\딻fWVr%_hs.2eƷys(1i^ctHZnh&jRR,@Tk1Cw!$39y Jh~)@iD/JߧȜV%j%srhenAcRRT 疍yJͧZz$WhiXN^lcõ*6kVдStR!I+oBr.(eس=Zz} Jђ$У}i\DRAtGx@Iw`nՍmDa"Ez-ݲg>V­5s%s~ :4]ypo6ѳ oLsY@)ve<4@8H{8hKL_'\葳?HdIC(ˎ{-@eUAY0dQ2܌ 9IEigƷi# )1q['+g ;xE_ <OzKOL޵ 6OK X}AHbā2(#WIo/MxNA^Eє%?rTy05qV8VVOr QNа&V]_"@ z G}U0`ޒ鎲ΗKkΔ yҋ7ڝ5aN$aM;z}o㏐8яTǬ8i.c1Y3:oV̼gH ~Cnk?R ~͋Jϋ*zQ|;K|z*J2+=ra>s LUExn#;OnVZڬ{v!xţ W0q7̦J⠖Ǧ*5:pǿTFKPPc+n7N!t{W[@0A:ŐʎZ-0d=Od*GV$N䓪azh)mIQ ssq^YziP%)k%,fw]?wPTڠ\KҴWӠ1Z׹jF~5[}녥 o&Vԓ8Ⱦ1,%2/_ڏ̩'IϚ-;c|N5J[{u3vk+j*' TWRϛ9CWU`10w-(v@̞1$#Tm]|Ao1Y%\vkIlNZx l#}KE:_ .:`;u4ܤ.$+}gr= c]ʚeTD`D(f`>LܜIJGɼr;6t:f#-mew@VAQ ,/J83&xgFJmn{Rhyb^q֢͡ MCtJ[[621 ~.riʼ] j{E @>&,$h F s>@ܢs dUYɨ#\㾕~4'qDrSO%T~I?rbw!2yckg))@Mg<% WQim}hֆiz+W-s+!8$V҈y'_"AkaL_oЗk1>! 0{8(=4g86FD'v"ErzCtv4c K9O/d©ee<1;%xYa 3'r+̅f̭ (++TDȃ/@)Fܮ d['n&0JȮw[;EA[}E/K _|jkJ|ӊ+8.-ھuw'GCNLtvF4J e-hxa2tXUh~~phyM4! o3 fܵGB.whJytW&V Q"fBKCTXSw2_ r9D NtQ|}QmCw9?[jBm8:R+֦jIm.lG^8a&z_)E4KiM==zHn*j8S|~4szgf^X# ?]ě&K\ Y݇=܏DXx<QJc;zy򨇴g-N . g~j_ v"uN4 +zd Խޖ*{|fJi2!e>VuGD ԂXJpXEa#bJU,*S׉^<>%Rv<!Q\?]m­qOrj!X4'.=4Ҟ26.WhÓz5qTjLy>B/ͻoƏ3[v<#ZPNݳ-OI=A2nV^K=SOLCɏn[?+ōiƹ2pL">r%7j`k/2 =_Vt)ȏT.鸻{Qf(/Kf]ger,dLUd:RCciy + LT~y$#5AKfBOs*WdtW괒~)D#^C$HL89_@'Sjg&Ze Ui5lMABx׉aZftSX aMA1#,>+0'K:pPa+eI!FAƾO/2iC<ݤ.%D#,>7Sq(|QBAl3pG2`]TyZoYQ;Fw?cLHh׺uK;nW:= 3hԯŜY1%&ʚ)a}B$|98+/xyPr^s @ C8 ckUK%( V]'Y^jyN <#+%+Wsyc6HȚ6/R5 ;<}Hcx{ߐĞ[e!q)pVw!_}_-~;M{\s$gㅅEeHHF l ]s;ƕ=U)\~3;8A0Mw XSsJ۰D(ףЕ۩B;ͥ). A\m;D&cgMo^dZɶKiC$mo#]s/@6U ĊOSr9>ehS;Aщ,5ؼn$UĢlu(:}_ӢS`nX:jMMLe:K}O"92%?4V%l\:#ǔs7FM0:1vYR .ZJgWBQuDn [BWepMV wf`_sXѴ![^zh'/+E]y' 4pgg4K0z,'tښڥLbH` ;ߌH2\' }Itb:\ȟdGv[]`R^w,e4+ef=j@K6 ji=ee_疭8*ξycT r(Y5Ò0EP] Ec$2 Dg՛v}.+$ f:U<8ێ vMRd=C, ^*uK - ='͙Hz~r7=RP{|XThۗw{.\pQ!l_|Ke@jlpNLrLB%|<[եÜZ%c1ܐL[+axJɶh%@'W+PZ |%qiEVw[" м8jU0b\0StWe:o\.Se:A? a/_`F~a71df\0xwOS [n{q4AEf"3nr :Kc9w(.qB4r ]i"~b&![3B6$FQ:% d\-1LiWڼ@爷o8 yw$BofPD!66Η( zBڐݽeT=Fҡؠ ,ɯ1)OZFVIyB&fF1BxE;|53d4;Ki9 Vӗ“;`Pe?IiڳeV#Awy<ה׼b`PzfC`߇Ӵ"1s+xЪ NmB&_$Y9l= vцږ+,͐r8hnkjAVWUR|!gO݊8Cy RwBX6C4m:w* Jm_۳;D]ZsU16*%3vS9reѵ;_{hrzGꂟw2V:T>_G q4&BGTcx_#Б֜%-̿Yovzs&3[$@I%Qd@Y H՟ =ox:?D;+o}/l"Η"Q2w ^$cB4ϼ,_4<5KO٭?@kы '_&Jki ]i~!v)S| Bns: FPKbcG/SIٍWrx|q4=*J@wwՖ7 ~X%p8DLK4';z2D[<^H4Jg_RG~v-^qQx:Bp,T}'YjֿprG QSi+U#)UKG[6NMYDR4V]DRn' "VdkJUsyp]3ޟe.1%198Vm5x{W^l;Qmk %QAוDա5.}Edŝg7ʺ&o+?qHqmgǾ'Yfp}IF" 5ɰƿĿ?Du)S)5(\&}N?&:[]hP:Pm .ɂt0c^5Kf"1%uddrlEȒ١[X`%}B2u/EV-khmR\ B1|=RơdF3"oѼbktWW#HSO{jxܥrl|༟u i #\0s-xR/ѴtմU`R ʑs^z0438'v_]@ZRr4Yv]anXmoއ[J!Ƌ*ޯ'=t~9g\<8ﻁ{l4I/SY4 E"Pf]+e >{o@yO\M6&tKzl{,o1Qz$?# ѽ}]vRdiL8?~P&?K ,AH02z>(~<(-JV[}<\Ys;SÁ> sc~Pl"TC&Ivo;}>4_a%EY1G$-)b$ ylaCDĖMl/=$9f*1(_$c}?NAbW2&' eSxzOLAdC (jP3l3GsdeXakΪ$,$MK/>79sf\o) ֣7]N)E*P*kSF:2MKZ\Ǽ$gJox!Cvq 685R&҉ۯsk|Wj,3;ӝ|b˨CpGd(fYֿ^fu6&XZh!ww<-/GaE!jl ҏMK hYZ9Q,x3!n/Mwy ;X"mM6 rsˢVegQ@ Q[ubz|k#]gDEϼNCEci8= &2<19aUT: h5&B/b/#U:GM=yƍ\L|!t ;bY辌OPQ&kSroY"b V;ؾK6^ujbG^9H9Y"%\.(? Ce҄| ıL`{OwZv?ߴ ~T^b@X]} $i $J<(\#btgYZP&oNXưp r9>5 ^.N̨& r j'&LHp\LBPI??۽$ҧ,o5R`)w[p%%``hB0 *PKt:YILuIZHC>m L*<(7v@~F`T^\@Co^ؿJK/yOmNDXMw-gñ^Kr y U&ȦJ^Ļyp =(OC^15ԩhH#5XvJd>0)s_t@,'W#p!$lv) I+~!2rt"Qiy2sTo00P/ٚ͂8C7o#puhpOaXm_m;]}BjmNLZWqPCL,H:8id! \c"67#FyH']u|d!o8siJKX`R2aC4e9ɢ~4ĩ"wSLWi0_RUK}lcF;U".?QGAc =jcUzEMEJF,o৽ 0llD0.O l5(߸wwŐU3Ocʤh+}GQђYe'!9} <6 Wy螵:5--Wͳa9)k&LlFݮ$x$qN/6b!3~e .}jP1=M&;m@2Y*mk#vٺA'SV^}pĎQįy*3gF:o1"-?T:ù᪗_.4ܴ}K_Я{{iz.K0Ƣ l4$^v7/*&4j,U.*Yn# [&.t92.&,]=ox'`4@ ^agP,׫8 ڈ=j@JcX_D8M 8Ooi4]b9(eA4^uOPo 40*:kq4x?v 7oyT*"hT_x)/.uTb K{ )%Z~H6IFEtʲ+QYIAUiz0iu2?Wѽbg)#6u0v[vZqP TT" shYc:o?ۿM磣"Ѣ0)(.'I"U`cY`FEsUc6M74e'eqO11j%i8 N龶dw0PUmaXFׄ^\d8r }7sv*Ȕn"yP 9ldIyqBP/ IBKHNCf BMD-o^'00g:F"עb#Klj^^5H_l ȩ=7)QLռwÌ>-9˚`")Pmcjd-١BB"+H퓊`ܐv{uscYo ܵݱ $JSp9o%jbh4VwSut|c| F;m=1bi hԩ˺|r156 - J }fZv,wP I՘Ss|AG|VpHWF0͝$: (9V:ƞx[7^C:-}Q@dqr~AFƊ3֐m(lGjW35N`?I(c)Iȿvʌxei][hy;R=AQ?>)K_e]sN$2@dc Wv Ax dYup AϤ0oZnVwl* 9&"G}U ˥vcZ`AX`Z+Ф3ӨK6QQ2d[ĭ(HHҶ'hdPcHI6/Lp@HB*X=#Sueh_ꁱCC|UmY\]θTָ<\شv}zg/P_ճeYp?kpTH(KAK@3DĆτ#yD#n"[P(1u &w/@vӯnhNVxTqFP \c}(OF43?^r -Vn^87_ܞ{aN56j݃-}(wd͑ƅi@'u.1;׾r/+31lV |̷y`YaVH򵇠 湄hla\ WS2p`'y%xG[{*ܗ=y8BU?/vL埩)Mb.:Z>#ӑS[}2jEԌHtly&=O$?%-rGnj bϤך+ %Ak?I";DF.IkG$+jdOȍk @L!X/G #J!AqϿ:BW\o1 & @zr+_X(c / To9D9;K2[J.&. U$=Z+$ardE7/_5.K[m̾]O[6Hjp Q%خŎte1GR DP!v{ dkYǒ516{?QFyN M5p%jO |{v^\ @2$!nI @M^DA'|}Ρ#%IV6yfrc9&Fsp=!jf$H<'՗Jƒ dp YQ-DO4qو& iJ#^G4oYHY{@CMgH ` 8H[?+rQRm'T3!\!4RDmT4UW'iB!R޳Xp]qPj{bWOJ,葭zfbbVȄ_5镽iٕs)?$CKZ 1ѠG B#kҮ?p˔[@ٕz7[9JcŪtbRl|M=USFDlG\]]F$r} )Iq2^/'pM6[N{7U7`+5 DvgYZ ^ 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! E~]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]okq "'+$~婵,36mWY*N]9r]cKZr8DȢ09)4]΃-s̖c MEGI$JTk~ފTHO_, #|.7@ -6llj2>NyZ#DD)X Ě`2)f'`>.3m5èLVHpA(I|&{s3A$#(yQAЫe"I%H >z%N|rDm l[n񏙋;qejF H]($wFvZ[U(JM+2'VFœVsd79qA;7Sݬ)H^Fa!w MC1%kVDk+&3}B_7Z] VOUS{Ok~:`=>Jyk->]˭ 3k6)NI7*~;{oIwƀK͋3'׺6#okAnw#.ɏ-e$CuFv焚 GO=ɤ(vJM'dzn6eo㽅@=!CLCk41faW$ӋZOb0eH(k2£sYaǽmUUL]`1Cͥ fɢE!\sKňx6X^˪Цj_!I'V햫Ԏ/[53Lv_m!تge% {Xsw4ܑ{?[9n[B'8.Ӝ#\e@,/Ųb q$׿Jkcvܯ &K(C[bgy9QF,6@4eFW4#GnyQFD7X_}yнzq-մ,1j+2߬,;PdZ<.&g ]rUL_+Zuvw  a9h*\n7Qcy;L'u=Oz[y B}4lg3ƷmQ7d~u9t{kx@KWp2GE_7_q`GT xyNƜyi2~21~Q7zF+Axn^v'ׄ]"#Y1-)InTu4Lj׳Y'G͔8RJŭsBUǛ s` q M>K?ѕjˤUN`Ls`PЩ 2DL̤a?k_ȇ3[Pt?5+XڱT5ij:!{{6 l3kYط-Q>"H :Hį' J@m築Wpo[IsI| nZo hwJEӞ-v&+Bq"] .qfAq`#B7B.nrH!3CPH}Tmi2\7WJsNͩDB}LY[-JŪi>3i4>y-8H.sޡ!*-֞6>g٢wO8:mí0 VAroQE*]q +)׮' J"&Ր&^Ko1G5 > A7sQ2F^ W0գ2̚Qmtq"״B,AFJOޒJ%1Tqs{j% ^lhѱz {;*@F 3qˌ3o:#\xt1ˀO+bŎoES=ûxki}GHQ.fmM 8P,h6MWVGүN4:-[yV=^N`Jާ>t89S$"C2XE#`. %V)Lm5[R4| y%p%BEj$ca8 MO։}![#63r\/ggnv[%ovzW?FO8U?-Y0jH c`㶫W3clmE=i0DH:xe53ӗn&04c팎Ӏ9F8q@qNpr.T^jwx5Ѥrj+Ha71yLO/MmY;EUgX}V<^dj'Lzl \#TNA㟓Ad);#6j\ gBϯ}\GTs;.umZ2]:NSZGp.z'òJ-N'$ $. #WmZ~*>SJxmh6mңs`M/ŘM֚ ZLx8rf\g1Bg7Y b RgI['\tnB=;b^1|-C[G.01ax̳wȄkF6Y5THk3i&cI[Ope-cۘ|Au5փTb({AZ~Z8&([Di"E:n=yE>,uR2]&O:>'H [wJ (ћ2oWHٻ2bj8MSaf#P"W",3kJZe)pePҋuc97NbK:g;}r%x!O\#V*[(9{LqA\ԟW +8%ce'A53PLZ ];ͻSuVM^+i룅,P8^D (G(KGv(@5y#5#̢./c?|EP:3'^дi LT8mvӊ9ո;KPK;j0~I C5zLMe .D {Km=Lo$ aIv%s8XC-*;N-T v,2{W?U+L>0ϊ۫mPa]oL. J|ܟwY5 ldY % ,M);cW F%UqLC|#H7,KA)&Yu䮯! v$p`--dlc)0 F)|TGH46voC"EMИ7-,t-̍G H(MYAHleԊ dq{Ȱ+\! ,ccT̉Vrdљ=!2z'YK9~}?N͓AƔ1po ep(Q{]@vU ff oęm7XxZu¯3\f2 f 6HV,޳%AZbJ23Sp}g "& Hb %GVMF/Ϊ McQ'"=ˡxj=AH~kEℵeWq.Q%NzͰ 2#|/цë pM˾2)8h.KI٘V5եw޴.B  긨@M8"J "gYZ " 5W' 4HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF!  ]Άxʆ5.f-9 rq=bB+<5Po޽IJciF#ɶ,Gi. Yn"E+b>)H!%P.q*D`o|VKolGg1>G,ֳa󈋛L`x-I)xVq"*c/StK xՊ.ZȮJē)J䠰*~]Vgփ#0NXiS*~ *\`' 4YyXi-OF3=a2f߲楪/\z? 4‚I* (Kt5/]ͭ e8MXm:A -C!46/>:3tUO|A'h^nԟ`(zG_帺y:2eJkp~s7N2M e`H}6haB3V)֜ =Z`I[vJ$F$sμ,~LvIAl0NhaABhu yYi܋qIrczl&\fiԧ/ ;r%`kt~hzurIiA4_b95-8T 6hjUtp+`_ubsh~i0M.w #XDFK3c<KU i\Y8oosD$4xw4w<ԩʚtWݦ[G$E]NK] )Cã &SEL3xo߷a$wmW?1l,ߖaM ôVN98J-'JUC bIsC;P fckz]?K 5C'5 u8"dgb/v7ͻY)DSY`Gi;A9DĈ925N;ގSL55KqMZlz j,)0Cq8To[p̉YSH#Mvp({8Դ=kZAŖ濗eişFԑjyٿ?I2y/BOͅ٨l Y _!kE$Z]@s{ioP. cT)g>nxJJP2=V  L cN07'=ǜU5'Mi֮pJ6 lŹCꂝ|R@EֆR 4V%j!1#4/`2VK)Qk?b*K hI<([Ljnbee0F5BHlyP)AX!D/KȾqˎ̸" "8&`MG2Ђ&Mr̰P'ɓ}z2[BoX^`!^-71ӥ(3jdC .$?L78 Ʀ[5 ODY+Cci5d!mVjT3>B;Tا|}zvXF4Qܷ=z##;Ik0z&HzǚBn!8.註r hp^y:WJa ڛ18W2W" {(~g!Pnf .poاb^Ȧa +'.CmF #\JM%7; 㵣Av G E Tbik_`"jQh2}j!٣4|?.dn:9/[&&43MC@`>mYzuWM C7~)a(nbDzr I):6BhE) bߏIM ">wO&_Y] W UxGPt~u"ӳr4ZpyiZHȫS+dwVOUL։`¨"}{V58WB1}^H1,495tEɭ5գˊeB+ )ܞke~(5ߦٸ}g|Υ2>-`帇+La t`E5V,'y'x~M=14x7|3`x`a+o) @1ʲQfcK,Ug- 鱞|$RS|6K<2c-~=~h Q{Dh?2nl$'Jē}5?`7?6Ҷ I#:Α#2+y-ÈeG)K JltԕU\ߖ{&pK†?nd I!6X{t@b+.!ggYZ; u ͭiI @W'<^@H5㋬=h?$ P`Cmև$w]veab*IYa;S0O2? 5?BnYÄ;8X'x6GCC,f$ y:22Y 4 DsAly-)ZqY.^/hj^-fR?ѰK}cKFuD mNeFȩj*3wjNd'_G\Ioin% 꽅icDS|ycGsyqʞm/Y1>$iBe=5Y`h+ ǧIsɡ_ Ra$ܧYN.U yh} at$foѢ5E47 "D_%9;\FŞ+uc5'g]KuG99 ,(Q:\-d6l)c.'h8S[b ;%Nrp+nEK7ӈo2#EWM1d"̀eɐEFY!t^b.ZNqs%g:kyd*6T|ī񏢰%n7)+67w:TWl񦕭%w0#~>6U栗xz |2!/|a)l%^/'KY 43c7wq,M2ߛt*u J? e_ CQ,gi#b*hIYq!%1)ЏŎ M謹*O6.S3qGcN%\*tﰤV'y9}2XX>gۈMl NмGl'N\ GV8j`NL6>|c<){\ta ڞ̷P+C'ߩV, OV zӬi"V/Zfz󇞲ʔߢ1F$c:W+jq R[إ{jV)7fCc{zv$.3iʴi3,˥%T"3 B|yڧm0բj#CA6 >qZyY/r~~1BVڔȔ4 lU8n|uoi:4D?_-M is} h^Uj۰I}x4 +c0Ke_6%2z4W\r l-_i0Lj: 4dJXw0^<_ ̨1R֥h>G瞳? CֺD8( 6^nZyPF%wM{/twB.R%)9{ QkSԙʯ; ]H,P+T D(2pՐ  4xQtU@Xbzkb2eTRE=A0 3FoIʩt`}hCQ֎ٷܥ*-g wH]( 7uF\œiZ`^1+w7hطkXMB7qylIaspcB:ow&X(%a8TJ cDŽpQ] }Pjεܲ.Mkf}0aK!0˘c|ҿbu燎I]eE53?@ SgKɮ] UߧJmw8Ť0y|pT=A># Cp5m q%ʛ^_ .7:S*,q.!w++W1֐h_ѳ4c1BtO#V+jjoKnY)&HC2W;˺|I\d@CWz/":IcCU.c?;-΢Ϗ(zyC^Zzpore3RrZqQg4_RNΚޭO3>"e13&o\jkA/$$% ǵ&7c8;~gږd,~ K Q1k9Ӭw%1PVFJ|)% qU=tN-0f)4V>Z~ÊHO^.G]6؛7Y{W] |X6mNdDRTdvrқ箘U0\JDzLTtp ീiU^QgD`@ުQ;(h%^:#y.?X@Oh $mIUWβ,`iy׋8-<($N6H)IfT1P0bGQ )'WhmdaN2L㣜L#=SGO!V孍"{.h?O|-fVB R:bɥ){BrAj( o5/З狡'*HCe7{ug4 jԹ1CXSm M3 jeU!%Ɨxa@*dJ~_v4/v>M\VY >!z] D3dU\7nyrJ24 Q}x6!!t3Hqh:CQmLpe&#zVO!wDvyωZ6ܦ " t\K^-wK.)_w9>X z=cb0D"Űs9A oQ7zTvDQP$ISQza9;?‰`z<`5-ABI.Q@X>Nڽ]9zK,Ga3WƗtg/7߫>7VL?& d&;eo,/Q;ݎIӪ2*`e9U* {ř9-m"Ayʝ&t!ѯof~$FS2QՏklebDttdHybe*OQhC%$fίRg Pw"@~'oaN ;|\0`:t EQ!>(WMpIVѻ <3yqzrήtrbp ϶M? {. h#) ;T9/(fȸBwIߜJsbG?~8j d/ы== j5 eSܯk1]8pX{yYf+U$PYE7%WntRڌ(`KV_qqTl:5z<5;A`$vΑdfk0 ۯ Nj{0E Ҿ-BԚ:Zӥ`H}KPDy[pvv!j^*Vt_Yc uBλӪU3!%D\|tT^^@dW/׻-P*tpfT5xgpV3Sح g3$#=,B_Zذ&j31F@?)n_&R?`I@rg3e(Sz2"a kr7O dub^^i6#´uPtطkNRp3LX6>D& Ƽ'"WƐ랹4>xM-Z1U au>КF] )3ݓZ@x q}ZGwBwOW7oSЦ {jC <T[B"mnk&'ƅSKy2:r` :lp6hM(GV կ=ޮ$T?1mx}O2h(ܐSY_M71Ny)en`uw D01*’SCF"`E{Z3Yhh l$;POy)jt~yĞ&noHk ^<%f>LxwJ4Q鳊wLuMb.$l%[5 !e dsCd?E޽Ê#x?|i.Ic]$4PP4#".ϡc}]y-[ִu0,̔cF(I9_ sgUދR ;]zχUJжd!@|2zfߖn 0ۧSYj]}YGշ]~Тe(oL<,B<rxY, 3i0T.q+v$q956dOkKQ@WVbE8oYDF$E\mˏ(1szG|N 8|צm˵p8X+*J}RSxVھC(ʐ7x0%ӞÙjPw@)] g&Xo_?Fx‹DD-`Hr M!&`޾u F? bp#r Arfͯ1L Sw"c8h-{ߐr8'] Ź8ufm KS_*"'6v+7t"ylbpx'B:2HrM<xk@\ )t.K W*N˖k^6ټ3@Cf ~#DoOhty_Prku@@=I9W#p8--W1,_u󀔏&ͧ{æ/P_vyϧ}`(4E@ ҧkG[^+' _Ϲ;-Q<-B6k5)WirVаƼzm\ ~>; "\;a}l嬍?ꯥ}\a*(~OLv.&hp< >ѱgYZ8e1993d200ab400cf4c80f312a4cce72f44e04d4c5679ddf6480b45d5288f9035bcf34ff43e4c2c2 1e4e1acda201b0f4a3686f0ff3ee33bca995f6c4