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 UU 5zd$4 ]/ HOL-Record_Benchmark:threads=6elapsed=136.922cpu=209.532gc=14.2847zXZִF! i]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe);{z?.stĹK\Eiv[q@ugYZ7zXZִF! ^O]ŗXiɟ1_sB2 ( |Kln/h.zEA4>nD¥ |sz_Hk_"K[]}YZ7zXZִF! T]ŗXi%V'r{T3gOJ]Ҷ>s4%L],2C@/b*g+預3ٹPM%HXA@  Y*2Ą[:Aqcj|bd̑&KĶ<oaJyi-D`GX" rEa,#H_oDlfKDz-Mtg{"v'p,=ĩZƙ(ǁ;@nyv Zx *mSK/GFkq-5WZSNx ſ-·Ѵ øg_( Rّ%34 ]=`"Ȟ7V{*pF\7!ݺL3d`A+:Cܢ(͜*G i&. ڶ~>$$gl)3^f.wG!GLa`Ώg5U3eНrlQm;Vt+L/"._{Uǥ<%Ptb\viI?w -̓#1`LL:$inoLF 5܀40",&!:ɴ2ZLԉq/Xgt:6*O(pVB݂}3! 866Ts-m.y#" H1ğaډ3C~ ^@:&NT˧¡;L>Vw `0X5>?Wxcl{Om…q%TeЏino {̵|/-#! B2gh O(|"ВrVo{ bi`lb Q)"OW&^4;v4 /Yck4. #%Ӳ5rf g|!V7狾H~/g5mqqV=|Jڧ\˳DZ̉s 8܌uf U?wf95⚯Mu(tڮC9̑f蜏iڴ@yǫu;>L_5П+!OP;Ί\?܋,#mL\JIMfٔ\ `u_hڷW~;%o-˜,F\CvCD |M̂]"]{I5.$z|Q$.=/Yc='jՄ/[~>LMʊD[K)6ջMc^_04U"[FR3iK-n FdP_ ̨EըAO9˪B\\4#!:z rOJmnL*GNwֶ ff9{2cF-`*O:B7䈭ݘ:I(}amguAؽb/߃%7xi{zFR|h2u:E.st7=;htxq'Fwi+ixG\:%UdQ1m Ӊbh:zUYsL7vMؽ>{=j-ʚ~9zOH`$vk t v%R󵇄ȓ6Fm (wdj1!@G1ztiެ)#eٚpm@[ē؋,˼^8|,; g'u,s^+1(WCEKmpbLLqRv?oiKRk3)H_Y6.@?b=*72n2%9E:;uUiX@&n ~ /.Uwie02ȴ2 DW  /4|#ᬠZ[)V2egp<.WRPɱ'oFֿP{7_?:O DUO\sٚ۔ƚC>R<Sq͍F֘9 {88AT53#eR\`drV6Pl@mqPd D=x@@Q|6aR(=nA-+$y޴E 6qk|27'4Zc:  6QbqWۇp3.ef{;736.,X1K) =D \l=g{n(kaPYz,zׂ܅~Sj6;T1өj] D)zn&-/M>//#'HC!{G\{;P16>id4L/K/˙G|k |oZrQ9F١^kҲYA'fiW:voeIpNV(*ߧsq721U ucκFR?o| S+U;>x6*G' 5׻t'kc[qד CQV9= 8#ˏP?.H|؄DHutq"4<AO`JZ%! C >Yz9|'=$_^MmoV4&!]Ncf7ȍy=oT[DE7 k\G8r\L^uo:cޭwF]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`ؘG\/G@MuH8k 29Cc"i8r1VS;äo4hNZ`0SD ePeCJ4gYZ 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ΐdzJ <; wbgvc!}헂lEQ2? #>ģ'WTj-ka]'8&5 iGhH9IHbyq3u/3DH;fO=GXv =d~!iȱgYZ 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 ry] 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{"|1I'V,!3 a-PK(" B*?qАyԨh|wE$U.zT/F}͛Le(y׃|_("K5FI`-,ݳQ ՛62zB3?d1Div4oJgGZ7>nħI[b%Zrq0޽X(Y8-dr\wۃwsgoBz#deZiUuhZ 0+bt7'Y`$hmQξ+a2m@6(H%eш6 =cz+}kt NNIbB˯'+*ɒdۓ2$KDSSRdB>joϋnT8j<z -r6p=T" OǴ2 6"{ ev@.Vx3{60ۜ3 AgM,fPyzbb*ntM Grx>֓evy Mj4p&߼ݳ\ F-v0c+7ꕧosWș G@!@&nʐ^Y0RZM; _#9tdPLՉ 1kp c5n>o .NZ](Ts<lֺ'<#,V#L{\)aDShI+1%/ l>s\@Nc lg&P!D^:XŔTFeFgraǡx5(Mu"*&%T'tßQH~ '6g|<;B|e s "d6R:4}jn*NP.,!T~xH ֲ$F1L5N7uVOasɄ[ x_Ё19MN{ًfY@KHcZrgٲzOxz+afNg\ƞzA6Ŧ6e9є_R/Gj"]D٩8Adn"^ZV,WA-+k=lM|Y}Bj11#Ve2|/Hbk!o3A90#?[E{W24[6e ]^~.:64!m`rc ~" `F5*|կWmn<} O΄1O.&z &1MI-~DiT'#7-Yg"TU ++MPyzx|<'&Wټ8)x=-=0Ϊ™$M4P)@kLhshԋbܠ9=Dby 7ǿӥWGYeV̻C\" @؁%^9';z%,*﯎\.1.9YcGXVS6+ ׯPȲJxpE&Nt 5sjZ&(Ɠv*WM~dٕx M%";qvq|9V51bf_g?ci(@9N]-rҹݕ"e1mZpw=l/(9ps p%^6dCxEGK - m:P9yt!pB+5,>ibz9pY,Şp{S7ex>۲S5Fw2АtU]=6f*Hm &Mk/}CPghw d:Zy"yѰ7,I TS;_+{|<db|"'YYhPb2ADPCzMzu,D$α/ *dmIӎ^}/:t@Θ(JniKeu Ȑq7ynB)t(\=嚾Y6c%}4g IPnFpu= G:R6Dw4c(_i,*Q$$pkY~r4PO|7i@}ցKp`f4?ox@ "bo!q7`cR$ۮ)}y|};{8_~aXmϏVkRrgS8aےBq?kf}Kӵ_DyrYw}I[.we*#L|G?45,$Nc‘ x+4 rܳc?hJriePG-)gf|1T0ͺF0pw~Oɒf`RY _HQp&D7@n6-@3ִm4up$I0I j]M`k 2 @:&^<[kI%ڣmEZ$0oqTA02 W7VbY3π ~+>]S]NP@jE4k ~m HH qTJiE6l6|m,Rk>CeXտ# 왭鍪.Ʒh6:!~ rkdKx7!iH(OCwۉiLeC_킙))}(;M.p-G.?lC3Lǰ*TD,r_xQW(^!G&Fzqe_#N, &V+Y t{{9v }Rڋ<ՈNTXY;5 7v3Q>R#l+. ^H o8Dr.g`,au03Fk.=P! @';6Grq,΢?K0ǡn!`%l֠*ZK׎cC<=_D%(\p+3TG pke`BDj=fX SvP*7 c=5qJOyBP6Pmܹ=?RUżғ^I4 X¯/2$(&JQddP&±Efo'QVʹYB)n,%OG_NwVSZgPqW'P5'ʈ7shӠ0o:Cls}*X>93%NUT=$4#̘EQy,yEb͌Ł,ɡd9IV/xvBg OjlHfO6Nxud)PS'$dK?F.f2{㦴D7=W%mwQ1nEV+*57 d;ַr!&+&f|,j \A5JQѕDNY OvckFĝ1Wv~x;/H7M5 `% _)dǒ)A;FEpI"\bhmYs/@-{Z#'U_#D(%fZbuDz? ~4/$+vj8ZoPqhDPRjݣ|EtZ{DL͑R/4%2g+Jۑ(L(,O:^~w^'8?n Y7{7X/zwF\G7&RmMHNZn8@:{60U]"'^uӉgMqI<,@:}8) vۙ"x}*k< 7 v?Ơgq#~doh^biԒ0*S6~wx#^[=Ex<uH$S Ј.%g$bs+D &6ԩ*Fhnl2P \l!&_C?=DI;ƬO(\+1FU%뎏R]Uَ%پK`z[@ m5>rKD #Znx/~c|(h"w)P&8 Ƥ/:0BkPlAt4aǑGY>慈LfGz:h*v={j$ ztNO#~a~?>XJdkZh^(!+C3.~3·١|x)wEP{Oۓờ$W뼿^VֿD- (ZR֔##b9WE*2_͈Dn/q)Dl֔[4]b)}a ưHXpOX>R/TC!\iK6:/H9TLA](TMi@bJ0* ̒?WFʔqH5kkܜ~֬(=B}B!ohtp4|%Vw(;3OܭEL$MD%;>'\YH5G"=CP28aX ºbRQW^+Vf]Sȟwf{6•LEẄ́LQ ,Jo\ B sOLq 68 _a_hgDi9v?_|c*ۋ~բ\J g(5Ւ_ fjzeZ5dڞ ^,OEmŇ͊mL ɿtuӎžze}% >W%OypZ[5G`W<}Vg. :}J7Dh1{>L~4Ruqve}ހ/&?-v8XC * Ec:FfaβیtGcizT:ޣMT0JbO)5I_PE>FPMFK'X0U=ܔI_ InKcd$6lS,|HW47b͙ Z@yTCuTu=1W*B*"d8򐃈 TZ e95br*<"Y=PN\0 Xi7(*7ә0[es>ʭfe[6,4"羞@.^U q8+i!N:< :> z?[fEu=|&? Vl7{iT16g>3˼ gf1 V1` ;̋烫mf϶q#c[;<Qݲq;Iz;9[UUёd.:xVVRc(bbuGT\8n,fJI S;^qpKh ̑n( ؕb3ʝd#J%pgRe9UDV̈́.aT~*$6Vp`= "1mv g8N$ I Hs5P(V_LEeω)%d4F0mVKYNTtʘ XSxAPs:++?8$nĂgawT~J4V9H!0mtλ1L&;#Dw:YEH_t=$|b`~W*%uG(i@"%wb fo.?T7c-m/@MwP-8 !  2Z4 \SGغj3Ld; `$E'&? ,';5ũ;Hu#vk5a琱 Jj6v諑W5Qs'F/kdmw)I/箼a퇢teu؊}9> ?Y*%У兀 # Q$,Ki:uwn;VOVSj/lEYD0KQdD9 6-МƵjS 0M(_1#M.cnd?Y %.ICm4o^!r&sR=>tȣz4ڢxN@DS?x9:(zbTG' ެDԱ{KIeʳطYfሄomveԹBA'q g&!pXpsצUV/Szzï79??XQ jZU,BV8 FVV5$7aaK:1uD{_'iJqyGАSxg쏣\\$m#fg/ =Kz ?:ĈhS+ xr aXEe[^Lml_z.&әdV9;'8#AVC](yWuq1wڿ(-uNmKpȽ#O+X6v}ʰ%;vdٿ5@^uGF4WSDkSgO W `mP06o[ߪNm;$fT^xI3b)Ux1!prhYR%{e80kvTm+(XĻ񴹅2ߧ$ ˏ m(Կ\:v]% Bec[HHB7ʜ1S8  bc<+[TzpDiÙ zw_sfM[է{%Tt#9AuY늱na)^dn^lD{seVߑbOQVfkA60 Y7?)i~"7ə9#ĭsՙh>|_b[.pItF>ͨq>cj*oU1(?^ΓlmFsne 8C^oы~G ];}Sr T|?WY=R]P!_&8][muZǁO*}‰=UG0SRt28*1qXTK&cI( e(_Rv$nxeD{ĕI?5ܪ)bsH)-=>^-18զ?9PU2l߉raivn1dq ݃ _|:+2uP xM *[T eljP‰/wj-{Գ&$ )6EMRK* {`ϫXKAE ܚ(wǜ#>[~ Yaט+͠׻dJ_C?>I$Ҫ_R`;vP"JEsnl._SqzNY'HDS% y)(0k,~нz:W:N i|p>m< {|ES <-iS㉄mw "E(KZ |oI7/q8H8U(:nS.`dz3B>ip]&8/vɚ>ۂ,kvG(P!9xS˕~hsw1v,&91 =R&GuֱFױH(]`Y6pZ:W<_^gkп{L||)JhFW@S)9:'7Zx zz@.%+0A2ljBb;N?AȤ;M",ߥ 7Ҧ;D]{k1!̅UCikZ\ 7] ~z4L쳀KPCupIU /_RT0whkАcY.GbOAb2V&ҐQC- EfXXp< /ߊZc P6X_h}[azײrƁȄ]wʃSi7*Z^t;kh4jIqeI b_e#ݖ1nΟ\O5}ܳ>c"Bi?KȘB̙cD٭@K:!_Xmsiymi,Y?&gpR/;]ް?=3Ѽ:).SD $ ¥c&:]LjΔR̼GIʄ@RYSge&q _f0naV7Ab͗cQ7!_[ĊstёAFCR$F ~2!Sڔ6( .a'U|VR{`x*1GmrE!'i!*|da2gjFgO 2S]kf'D* 2;뒑JX ze㘖s'c} q-_J QIпR5:'NLY[+l9567Z,ǪMG dYؗk=+A'$;L|##;3wV<7Ґ_U_ta6!gm=gT<]u zk"oU^\ad;e-tR=Uz4Y+] ejc;b[b$[-qDfǦ?90ذs4$逊#gYZ PPu5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method! 5W# 4HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸM]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8;w*KVp}1qw6sIqʹ';E8326Vu B쎇}>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' +藽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>e_q5`!EPjWj }.=<7P=*$r8 Lj>e&BW u1y7JRV t Db%x k5`1f|VƉơfwռ3¾>o%>:D#C'y:,J Q\rKy6J%Ƒ8#ݨJKd"L-T}sMU>*@n WGgl|[ì]0>$[e8dAo}*zNoŽWy3C$qG#'+JZ7(Js!F^8Q>Ou.74 `1xVQ' jS(^XŢ{#-ك<#+–Y %@i?7!VW@"yn9;Yμ\DEG m]\ew`HBHwCOMz۬0Fu|*d~ݧqVB# 3Q1ܿ/,Jfx_n\9rpLPO7#Vʓ G/s,J{ꫝFyىc޸Й$F~Zi<1Hbs`͘Mn;?JճJrj2%}7FK;q 4Hu%ߐ5<i*FClk*sff~x7/ܯ&/ R D4A>(=Pg_yxf\O??nĕ7tV _H7Lg"A5]ٟ0A&2Cm¬Զj PMoލFaHM âփW{`y,d]Ǫaџ*l܀TI+}{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ː-m_Q 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ʎtes&6&?ڀKy/%:/$`m*N,]UIF޵e9r3MhȮ8VsY&P2pDc&?|o\OݽZwQheԷ#]4 F=]<`6O=?_B#„?o>"5\TWL?c}q.5rRd}6=8B/~H$&'|Aj!CPW ;hYR;__u3fm!Bs=4$qdˮV΅wҢ^7!kӣ0mlifs f!H"~dYd2/9 {liEfdHxE 7\<\H"3 B:^-Ga:ݕ'hҮ9% e`d/>y-8XzZ6~[܀n[G֊ <-=dz' cfvHݢc#@ `o*ðiяo_>FJC2i-,WTa3} nѸ|J&e;^-HY⚌gSj L @ 'K %זv Zø+ ,]@*F`RcNq#/Ph0_zZJ"V{ hT d&i&L #`41?Dخc-|e=K˞S-'pʵwKʐ3-Ur4b"g*ڷKSG nGV|8gwAL=O ?EPߡ'vރ_}B^Ë#uJ15EtϨԠ=B=q+.Ӵdo?Ȧ?`ivJrr:X{\1j" iejΪ΋`ZjwɾS9n~j %/n"U0=@幠hݯgi+3w@ZU* rWMGuh㳹;#@%St֫BrD+B=o#S emQbBkPJG ,h1Q%~?W?`/7X8u0l޼D;wЅw6 ЌVpINrZj-d, DCSQM1[ ?ת릕4DWWZO=X})4pY@! D{V"?̘ pAƲ5=k#}Kj<ya#6ܥ2|lk@UCD%]MIK`J=6FxY~h@ a2 %B& ^WKăpi\"BkunT0p{pyUhdN^'Vfh?J-5r(&ٚ`y8?#̦cXCds陼fD?.$z "T ӱWB4nlI_h:X߱/a (-P9{,8º<Ɇd24? O|lu(_N'GN =KT:ݭ[!S' Ê=uiDe Aw\ru777-/DɌ\ujVsW#y߶qy$8bP BFSuיL0Dɑ V%Z͓xCL)hLtYC24UǦþ-s$>5G: fW)csvz"dSA_ AL~'i7׹tMH8yų+f$IO`\qZ^)`|;%51㌊n౼.lڣA}~SL0'|Nn\1C)ٓ8CL& *sMieP1Sw($7ߠ|d{&# yɦjCp$qS2 Y+b\[_J iYw+ߏ]|CiZxy\sF7|]r~d*GA_ 1ږRob#~ͱ6;rKC-ކ{#my[˲s uesE؎1A"nk͝{O6(ĩ[7TZ|LZQd1,(xX=?YS8ԯNAk N[?ʒLv`Qi7}ﻥJwMs|hU:P6Iwl+\.@(՜Ϡ]  ցI@!i7#XK;rx{sT&#a].ډq8tVR_D.*hUOB~t^G6 m.$᧴ZE ,eL+s$pDD寗7g=IRP<2|-.4 ` gYZ ~ 5W' lHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! F m]Άxʆ5.f-9 rq=c×G\/D+$}bfӛnGۨ gK) U) m "{,琗z =}ell?2u2'LgP[ 9t+9ՇO{R-Ӯ[*UR.+~Ql;FlPpr  罴3;&"A?dc]֩l2dqQr~ 6`2f9kNA-mRd)nta :]]3dX ۏHДLLE"Q9w 브 U10_E]2Njka@Z;SuBMm FJsK{}G>T;>X ejg{rR]|ԲxAm.z\O/RT}K|4M/YبXbxY2gcsMN8T^T:m4{kh9BQ-#FoN  9dnAF(OZ ԶRoMW\3S&*]ܷ-NøS9ZٜY)!y c!_H2E;U^:|0/S d#7/fZ,&|'SXK,dNc>bX b@q!M6a:;Rִ;E~# HCtB!% p18|IC$g׉$l^}2 ?x lUIpb58%Vqv"{@J C=ъ!F|8 $ L+!@ 3y5um&vi5gVÿS/N)I"/fHP(]S 1ys_(+V,6Hw?;0ك-6v]' ?blEeaM`DEfYͲJ~Y|OPX ^lᐩBR}yTE-{aaxi%6$0>9-ԑ␓.{x?+I B2?F7w ȵ.pzW敻߬M4 ښ+f&fre,|Z'7thZ 3O,~rXsDrMV,fQ\-¸hbɶwlT~ FzP;eb¾O;ިnA$1yĬE!OPŵ} DeO#:5\a?PZ-d͒n\I1zgx 1ۋ'C@"ha`,?=fD!nqeE۲R*$]Ka. ߧ}:I냍8$.lMu9zI^&Tˉ*bydt \1*4"'?CV0`n%!cqzbZG o78 .Ypbe_L{ە*(pisϝݚWc/6,<@Gu{j R%+/|=]% +Rꀪkw X 0ҭ RvCvXK}$JfH$vHGŸýt\7Rl~gn71Yz6(هig#(h[O}{&RQ8ra\{+_Ǹ"V {?cQv:夑pʫdMz}y'KcP(}#&Ei'b/i+%Ťݢ/6'}VMIQ^+wd"kaOb.,@_&S[`@je^}p{ 4u7LZp kx[ʀRSmҊҖ JAt{a%83P8 fְ c ޥdz!!B^Ae.y%s)9K)lOI=U93x5u9=&sbV&HtwLj("9f»X"k oZ.3$KٚI<=W.6fYUf &)`JHG#{na^M*xvlc@ͽ b;/x,x+N\q_H>(Xu t"bEXs* 9Xߤ=piO\* /HaeK5XA%}uG;cpWWYfp`KC,-:6R^avQ(c(ȩL J.ۮ-2S>xO@ˋ״aBэHq=ט)2o_QG l "]T")0m@ۮn 7M-&8ط%ϖ_)USįv3p#2Y-kb84s 0x=ݫsRҕ$zc0tT fVET V ],*.l?BÄ떺8Ʈjd%^xʾXQ!;jW}gz,ݺ 2ȉeа -v'/ڏ3;\fnkQA>/QڥUG/-Ѭ4&-nW&)YzXos%ib3T洙E!ǭ8܆#~*dS}awݽU 4). ̼֠Mr'Ė )葼X_ٹ{d}bCȁG„,A:}X,̧ҚjUgz]+il8RBm1UP`zhpfʍN.قLyEii+>svg, ;9VfDd֖nUU>bb]?ź)"2`{y Vx&SG6)dA;6̫Z.F,9ާm91p5ѣ]Ō3,!A }fB[sk"ڀo#س]g\ ¢UX)8=խЂPw"y LK(}`g)~~H6qʹihiC.'!t7
Q8q^k.t&i=hNCsg2AUB,qCqd|L}a紑0#)jg"N!b󂙖ۆN,yA GqzV;7&la :-T0#B(zW8&#j o+74,{LM~+x_*hq۵"_r"BԈ3+.8oMZg,!INHOZɴ~j%O^]E* DScGZw/f%F'8ACHl= 9m9'4$xx"RVxS/zEBaU_`=U_ηB)p+iC5Y}鸡4E-9bE+3ߐ xLVIk{ i5+b<z17y EJj W$ڮ/hJ9vϻ%=..\COr NqKunA@AfW#c-Ab͢/MA>J72|y e l&AÝ%g܉c9{ .?npXQ&7.a;DZwx@y [G=oy3hO1"TFV\.r&i]h k\p2Zy#nCތirn#AnQ{C&qZmJnj&TDe!r.q4F- !(}/r\Ik<"!b.4 .s{n+:VuNesBoFCh葃s Iyw<%q0qt1;+h84$S1Š)5KsH//N@okd3ϞJ'€+Sa&ϙn S^MW.g͍9en9 Km66{_=>˽(ƕ]3[Ldd'%NW,h Y#R6Ŝ"/_ i=P%JOq7%Y[[SȞQ5IC%twb0 #q :a' L/*ZVOU uv Luy8n7C H[4}"=-Yeߠ۹|J5E/|s^$L#M_ Wn(t'y}&@ֵPAlz? gKWQ%=@$u=:9,Q yAcd}Ox6?GQ<֋Z95i S8E,1q͛%>m^A?=Lˡ_Q}> {!ЕcE@64Ѹ^}Fd6pRbS+ZԳ'S:-5])T:);ػV"ː*G(r^DSz':wsŜZ:JS+O d3MʜBaDB"J)b 9l<\y6.6;>l`e /chpUS$N)F? T0h=ֲc$XHihHJ@'kad9YESv{krY=Z59Y8 Y"_ 7:|^<.{iU=gh^<0[s o /uI% `K[o5a["J)>|_; v۪Vކ;'{`q} _ڹ67-ҋ!Rxl"8% oTMK;xy^q7Y: *ܱgYZe45653ecff43a19ad0c91cf1c0285d9274b277550467f1d8ff3c017e43c2ce0ceec1428401ab88c6 d4fa2d7e0077185d6383cc33ee482f2682000ad9