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=137.912cpu=214.191gc=18.8187zXZִF! 2]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k'fEI^_]bGK^ i`Zjζnݡwċ['a@ %=vtgYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬COёp^r#@ ~C`^9$l_}YZ7zXZִF! ]ŗXi%0=  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$(]]ӼCaU`G}J1'+LZ\.W?N}gO3 d-ư[{qم~*|St.N:& \=kI>"73|cVeˍY9C`p}# 됰+K_ן((_]7oL+uX~erpWd^$wν,2mTR,ͻ#ɚ#Nk74$/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$(]]ӼCaU`G}J1'+LZ\.W?N}gO3 d-ư[{qم~*|St.N:& \=kI>"73|cVeˍY9C`p}# 됰+K_ן((_]7oL+uX~erpWd^$wν,2mTR,ͻ#ɚ#Nk74$ LrtQUTPT14(\ebG~?oy h‰iӄ}2]G1!3@޷Bs{uitKZ]aKy+38-HN*$1`_#5v,e_l\G!`mš܎5X]"QPf!kΟaנ/ #ggxtMyoEEgڒFkj[|0pP9vVJ>{UőMى2$!J'&#%#(GxǖUuew,#nbE{կx>Q{Ioex+&s`e;ˑ^պLnL Vqoqi>Zݦ\.|.Z!1r!C.Pt4QP !A]eۈ%q졔u7ʘыD (:H+Bk9K@f՜أ MYU!~R_+6Em7 (4_pMy=q.\7F ٘S4`fEqXIQrL }G=AJ -}a*F"暪+A&ZMi<@*Gm4N2!#$zm鞣@)Xo.rWie5Mʳ9[BʌA|e],|FuzWvIFHN`Qg|lqniGXz;oiƹavYO59>*;Jt-8l=(p2{-ބ_4` 2ܙlɪW&z ծ%z]]b\5DHl9?6M-b3Дy9hy0.^цDj5),v(E){q !@CLC%3$_)M~ 0&vr%s^SJc4%f Ǚ'?rվ9tQ>%mR])Ц`r2U 4nk Omc?i:[*U``}M&Mt}2cM}j!Wt19`~Yz'KӶW;X ަzWRYRڦ55QWRdˆZ aWш!4G%p^y˜)|-[h[ڨ(Ҫ8 /MgPR" ĂQ0BP[%+!(f*á6̌d 9/Qai!?]>\)zt0)tҞI; 2]jv-t LH˺ҍ +vjS~ t=@ 6+\ρF S ( ǻyyNJzS::\G3g,gN(@3Dfʥ@83ֻ-tT8tt_WkjA|[Ft$P%e]XQ-Po\&(]S݌h 3l:~Km,bz@'됟ۥs-#azĽ)Ảr&x*҄[APq&{:!9aT8c. W@:-{,Jow酈-zЋC:S$h6G2 bD"0fsM05L!ɒv (E M;iEdHb%cQ"s{Dԁ\ f2=EUEbO2oD~(RspN&dmW&*Ga-`GteNe7z϶k*0P,N_88}|=zξ*Zh/ʟJ#S-)%ü>GByɥ>B$3ߒ="j'12x^0RqJIFSmV'S^޵Vᚹ$gJYxLIk+÷}ĬP1CX)@h]aILSO. :DN$֩;17ң|V!ũlgbK"zxʟ })= .'yU;pUc|I zmj`Rf[a2tc"<˨$KhLRg).s~ K'w:i$ftlVPZA nm"+MA -Ӓ3Ϥ <6McU1Xe84*Tb-kO}L*"#yN=5@mYe1AhpF 8Itmxi$rbnsW^`ߜQ\6a(y0E,?FKYҭ5SSV6CUXXʁ8p h9.qM8T…9nh8>O&4Κ} Aİj|g(9LCu߲}ZXR Z*xAJ=JVmi%5:Mn( X%=ng#!:i+F0.gYZÕ{wdݪV81tz[J1%1<˾>aye wU[,_7._9L"}\(`Xa2t_ Ke3`Fi07yoK`ʞO~V6alo =c,[y1lJ {Fp"{o@)a)8S;jeHWGV8 II}bQ_0sj _?*fZ"Υ`^kL$PC֏;_Uىu?u@( ur'1zs'&nA%qkI9"+ry* sIg"8̯&Jg~Q:oh.ړB_3$>c{UMJK/y1<"# -Aj`7Fdw'1㬪']OBE TzLv#@FfPQAei'Ւ ?*@Z]ferrNԶfcŸ'P3+ڍ+(= !?_Dz;wO{2˽fuOLWWQo宝EVV.=qAm3m⋎Ojo*c3dO/smn%1A?k[ƠgkyuBg mtE7QcL=S*9 p;S2=^'`>`sFܰeC̙Q2pIװlԆ42Pz70 & -j)8QE+LxSS\躬f0@eKUvo-VU=1P S45VA@ħVxc7Δ>N 9%FݔŖ/X\LQEzj@VUГ^*aw q.LOh#C3D&a!M6%1$KX ~eX DS7G_(K@xf}XT3a tB@ۋR[s%9M~vA[pvR|?,g,eK^G^m͍}FR}|>,Ao d"^Ԁ؀![čͲ5mkW.դ$[$W^9/9Fk}9|oծIQ*J̍9֡ Ŏi58sd:ƞ)[ʠyXhے& X| @2 M аw<$EDD=vaWxY-`ztצ݂Ir ֓rف'eIB#yw#^ؘ\C&4Ǘ\ (ne 䞛Vj4ʄ{9tmi eML\dYKADusV삵@(qRpM~ryFU?<7&z߯8߱xq?HM/LmԵWD ?\܋M_Q!e% ]&繥)i<\Wz`f76oaFi:¬ØG7f _Co\á0ߝ;,s7OSyM ] fmddwK{YS|ت=g"jf[2ⷆ2 6aٱA*-$낫{6,MP5-[bIw?*EųR-F0دQdP[FCjqMϳv˃$IkK) n'j0$r;rqNLmNވF 0['RFٟuHdmsNH/e #&SM\Dzin]lSa78O_@t<ӈ0.#4 T@cö6*H_xꟛZcWmۨ ʨ?%8o g+e%q謤 rhGtf!> AG& v)hHȜ^j_ۣR1 y>4OΤ3v"n]Qq6GjAMkt:lAy/39@>л`sv'${7a Q!+)xsTmJ=RFHӹS\S& gҞמQ~h3T8zku7(vqE"ͩT vvuv[@zFAZ~$-l -jHغY˟OȖ;r9){Ļ^̴YmF3XS(B4ayᠯ3Qӟ @SRm BVg4wU pLZssM ]3,Ѷ5TbL#AF 1O%zbgK>EjHx訅Ije{=m+/jBRaT/bMv(q"S!Zt_HSoh1"-$͓9XT>%"wc~ wPM@D L<]3Jߚf1ZGO4#˯LTh]]tx$ k^Z^&f}Ę!/t)mܰO JY RޙۘJxB걓F؋湚OGHOH ,C'<詭r:;ߨQ_789N]eѵLSeD^3Bfx8&Pʹjf6Qo֜Bt}eR|"'JWhH:6#/sU^ hIM:*A9-ߏ6Rihmj8!isD_hV~q;MiNI?/Eu'Ш-0N7Q1sH(Iᓲ-o85@EBǬĤ B{`v}>v9O yxe薭nO @:ajH(UVnDyvWoT`tWQ٥)s(8uzPdS`k{8h85{0FlfEKdUW nHfXAݤsOUؖ/7RZr\n6:Sl ]9*Rb'o2untMV1mp@ZQ#kqx~βd`v@q!H]=ۓA6EYeoͧՋӄ #΅QJ6j@u c88#vŐ')QNDP8/ݑ+ƐӭL K 3uʬ8!]i^N pT^n TѥYȥۏ*zH\7 ijNCR@#fTLF4NPeSUZX?*JZck216aM⦁ szD ˯o︘ 56B a^b#tSBo`h"&ɲxZŦA9h[U6%4Wڱ.?W;XRvg}U>n[!BAjcYmߣwM}x1|, ziH_'+j2Ifr+gu&~Y߈3Pw/tBotqH˩L;: 7E%qA#t5:+fvK7I6l2٤u˗Ɇ#9DՕS!U:MgГƴ8*;})rV=q}vIW6 6;Yէf)W껐+ 3~ܬY[yԁ ^hՉe_~ў rIσTVؖXp3C/}qh+&H\CLlvPJ:[|zwpnP 1.ϓ3 WuyK]9^dvs{:1|ƪ59豞 1ץ7,OD=E U)9oY9AzA:DGr5~!䴢گw%{B)x&LYXQķ#"<5X\Jqt֙?EV8o0 Pn9w|4̾6ؠ:saZ%EH4~_c6߅p񱏬U52U<O <=0d4EVϺ'ŕ9{7<'{] Er#%8!U%g8SYHu1O;v+Z|:+"rC(-i@3WlPW5i+!"V r[i%UOd}dk6X b)[th'4-QPǻOpvmǔ3 x\~Q[v-iB7dr..r7֪@gx]h!גMA|؜(mZqCot=y{#RpQs)eǂ_*}Ui5 N"6[+K\COyzU56#m[- al˼f}dT5A'ȬܮMFHa7lowŷ<'N@oN8U~]LtxfWʊO,v1sb7UJmy(鞈*Ў':UٗbE> !CɠBѢ.=]3jZG!!x7b0UңpՒw+X ;. ׄ2ǐ0֩pl:7 M5YbEKM v7'MiL]f"=LcmϜֹO*rs푋{'=l*(1Q+2%5SD/6Oůvt}X"Xr7RdVz.|>[5օ5ت3jZ<_==GVu|7<">D9Sf}mH$:G2o2$N83]mh8jIWxZ X](Ь>a]>Ԡ w?U?],vvlxy;eG_Q $NX;Fjk#;F-.= Rv5B@w f_cLÀ$P*|k"n֎\&] hX]dcwZb﫜m b.2y_l@[C+>fyi4{a0@' n)~K.fI@Sp/fv4Pb5Hey×S;8@`??5D5V>ٗ_Æ18xqi4B&_Jj%љ8%i[:wPzDb r⟝?Ld\QӺXBs"{S;,i43 -Oi+tYCr% w5 \5N6k1ֶ{'sAĶ$FW^9.R8 $Jk ?w޾y@Aa5 5evb"l%(hT_Mǿ,^A/%y_xKJT-*cϼZPr&bZ"hq:D*m"~2͋/YY/}z VpvN2vKA8 'Po[7KClLZK:;`'d wfG$ȹّƅ)_pzX*>2E7 g? 1x!^#agInEIF1։̀7i_D5ܮ|Ȥ)v ;܌ڽ 0\+ MN|[5%89zmg_%_ vYƢmd_]ts~l4&Q-C.LHm놘ܰn*Fr97 SfzgTMET;Bwc˙t)=x\% N͸mňԭvbAk0@^5Wqf!m)t&OvWstvxz T;lxT8m:9ĵZn 0Koyk䟶|a -K[ QM:z`m0К[y,yw ep Nk;t%>n Wg]ܛ=qS"3A"? TwULHt#}!iʙ'V? n5{PI$=)!$DE@ָ8@KG&[a55_:ѓ #M l>(w5]˥~ x3j切:n,“|E),W2\/ZIةE[V2ҳě_nŲDZ~mИUvv(LU6uN%5L?\1sd,J07M p s>ڬ^D V/j"YHqx*eE5 i}+]sъ>Kv LYSxu$|:6 Ga5ގcOY X 90!MFm܌VbCDLR ,lgXBQlrގ@ßGD߻q9nRF!$yӥuhGROOe:,D= b]b-y,=UZ?UYR]<ϼ *Vck\AW]|^IxdJNrc,@\ZKRRmLTbI&]}8}mrSҢ&LVL\ ]n[/eͽ{NޫqlV%#mtEvlr(R3i/_G]&6'8ͫR[Z(WN j4R!(1)6)azuիc<@ LlmVi^uf ."']~y Y(f+wPFϊE*K&썻uc fE4}yM?tw߼oTRſ.y o2no`c;xjUد#ɔx.jfw6s/6=U!.eBBnu$w@`pxj@.`!FT38 >mo#';ܗ"Jnn}P$lBғ@LmOڪJ졈+kD~sz69#__q:WLl"nŦ3$kO[$o ֲM|ީ6݄x0w()dE;6-4ˋO䅑Pk {%Yaio;SlMi.&&Q8ag4*fP P ,xrPG4;-؟8wwQ4{/[jjD,K2}*2oKS1ތoFKRc77UO` #v\{'laasy;RƗlǝV.׈Bs 0'h3c"\]]'wl/J_N5)I~# lFZpĕgۙ=_fu!<,4?PUڜ+N|W7DkɴFN~-7goΉP/DA &ěZ[+*)PNH"O簮j˱KV ^TMUjs6w/ß~I 5hxJ yc(VcebDcWhS ] y<[e41zZ }d~V}3g(hĶ]=;3W:XuguZKw?0i:r752&[ ՔzCIV~rT+䟡KL18^[)/N;}ٛ1+xivm7wӬ|Ae!ect Grx9}HR2k(ԣM oG/XZkk1v$M4KG%ޒ%[VP\҄0'gG(7CV' F-B$Ż*%?@.%NiK$ÖynͿR( Nm8F~`1l,W2 ׉'QTZr<_$Mb IJ%=Fr%-}Uca1AWE\b,u񋱿ҝ&>4#&\cX~HU#b[\aחM9bgY4DwXliƞ LG2GqlV$-lSd^w -K~6x0MTwa:ɒ>!Db~[́^~#=Iڅ+D`QuHg/BഉsSt|4Ki_w~0Txr !=əE\eŰ<昺}Rqd R?I!R%tA( .vKM5:s}2؟sq@GoPgT!U r&KhBNOM 躩&  v̺'MX6)͓8#,l]x[Jik,E dl(؁UHiwaۢ3]NŪY?ø"qIw9Q hz~X17>ɃuLs]qvJ`Yj;*u,ΠgjM~~pꄾER7OZnfn^ZF߸ڨ`q/nDn5ѡlsuf z)E@+} ,y˼.M y$?``NaXx$h##I8Wu-ҍfPȳx4N-*JZ _>? ڬ6Dk1\T;vIy|Gh="(TY@$T]yh>cqRr$?JΞeV.`fBc_8nt.z~*A~'8{q3M%J޹qb&H.?+a 6j-='ªE~ȌA9| KT˱bMQp/T[b;q0lP4?'&ӊ֜<-3\a|tҗo[^= 3]@f) >B/ӳXeF'H5QnT" $"48Vjwa\{lH8vp$?1o9Kעtm'SٳQYu FY7u~iad{5&D7<HFXy@b-P BСjn6#_ i\` {) ,Ud+Vs-&>?NeYer"OҲ=FW+P<%M%sCN- dlY2ȼ3(ICAɻI H A=aE^7vjb_͵~Cn<o `y$ $] Ƃ!!P% ٲ.^3LfDٽFdQZ~a_E硢fD]{Tx{ rR^oЅCf6r(.)is?Uӧ\vB/ãMNQBDnH-g\*BD E!kw2%ݿ~aS܌F$Ao?)CCwL`|[%#mn,tbW0FHLӽ#*b#Z+@055S,(<"|# EE"}?ՒefXޘ/$ׅƕGW?%kg|,,`RT:e4Yɖp;d+$jPoaH38ܑ8J:af-Ǧ:[CltȆ8Z+iiף5dGA+:a+,'t[1_7bx!ڪ[hiD~#.?F.Z6V,gG4^8RC8yE)kPpRA)ԻyjDSEdSUJPkD\~pqb9IEԪE@%EؤUR2 CfہB;isquI Yl8 }KZȐU,)]PE'3/~ʰĊ_ǺMt^ Z=X'G Tv`P`BKqlz,͛ũn5φk:E7tkTu  ߗ16tyU|\t6^xHL1c~:L)iqfh)S>^W!zM. \Tf*s|x&F~)تv3&eW,In/,Gd g}G[iR:Urΐr▧yL՘}g.{>b{Qm,!=zNpqXFDS.}48Tj_* Jtr Q(AezƌyxDt|_ۼݟu񬔵E65"*IH+rV/A+Oջ,ӛ#НWC%vgY]i7ۻyFEm_S xS P MO&G՗M.'Ǘ }~%^knM2Ζ{w}RQ`…&âe}N WxQ 09NYK,4A_0e[D\Nc^dtŚa5ݪnpir9K`:9aJ0o.iiǖ@!z IMY'k_dZ&- β UQ4bw5$|؅#o6!.v7#H G8ttW[籲B`$/V7[-!f^?=wRT ;*%FNA_#ߝ7iK/z#j| Smvn'U.I[Q;90pMt1\l~8|0EFT*'#,R<髾B ~![~Aߔvu#Hz^Ck*ÄkfhZB$8NϦ|JmW-)Ê-Df/N΍?mw*?.k#X.g@2 خKL=$.FED;~;8̂uKsoТ GDȡh`J52Em00M ҿ%z}IoR׾7DUf.>;hAyO|Ũ! Yxckj0\ӫ,~4\f`/B\%RgŢ|5h nbdݢwiךrQF#Y?K9Z.<(;Yօ!1- 1n8Spag?]iDMV1tx0KC8T}m G/O( ,@ }ZN(jrK`&&VT)1@SfuztG:X{uZBP{Jᶞ^w!wNԑM٫ri'j)Ox[dOHu2CgxmE?O @-U(W8R J*Ô) :GdGQ "L$n[}"h] 9m @> .W鄆*BV`cچ'u(B;3C0LoՅh*MpN;3?o)A] }\F2 .VC$Q+@d_ F{=hbn_w7QPb-ˬ%wy% L3;Wux#~E7/˰Ao \_X'ArpV͌V.xiҲf yJBY]bPu`[4B@Ք7@/ D:  #/CgI3̘-W-5|jcHOk$]$;g' ?)Ckj:ݔr$0~Ȥ_8 n#LgR?nW?\]N|_{ =m^Y6 e>qu?M[+0{;%SM룋̼٭11ZBy7iAnV! sH$WL % 8╅;OVnwg*L9n~FW#Wڙ+c]5+̛ bxXi" cV(gI[뽌XuT@_yJ&Z|Z²/t[],3>DثEKc%.akZ m3 A|)&zuJ4}fGK,e)7Fp ٝ;.'dk^E:ADfdtVștE!jR/5r#^̠] (-}٬'_H62bY=66a̰4f@*9;Fm .Lt)^Oa9⪯YPe/w` }BprKZ|#g_J+D Oen  A;XvI$ˎ)!~K ]+F oJ,޻j /DT?t]h 릲w\´*4 Hj/E ԰Bf֡ gfErjG&lj\[q9 Z- :f F2m牢;hJ<4wY]fqcHzs\"_uw}XtY6B3"f"eu(c]Z*Ѓ5zgQ"C%IVOh#*`V 4OF+\tJ"ȡT 5=QNFz>Lb_ev|ɡ{]X7Tumm+OWG!A$#kɐ/{R4?״w540C Mpq;H ~TIykWҀ 4xB -V{Fݰ̻9=YfRtM`GZWK+AGM_5|J6Ӗlr pu{l/sȸ aYSFuUFEx\WK֫Ga{BCŋ ǨukЋ7A'edA?sM#am'3s6lLU9\_#K;O8ɂ:][s"jO5qj]zh_GؿN|iZSdVyz:c8Ѯ+<$Hdw6vxyl?vAün0cȶBnlč3ӳS눘[9&Fny?l㍜\u/"%&ΡDY .[||eiY,3վ\dˎt;N, i@内X.!jz=7oxGSf$_~pR bVuyY3$(z::AgC-Uӿc,,B<+'l,ORJ0i`6>dxQ4ˆ(k=XiЍywl7xW} Q-e|]Qwp>OnfgM{ڃ,#Xߧ?,d@,LW&iū%#G0?,I_| z^ͽg`¸w]YKI}L|R06pnѡev8j '1vӻ!;a2L -JQ̊cLy`s0 ZҳTOP"S`PN,EZzbr9 3.,4oK¾O-QYλhgF4mUy]ڰ@X pYYvع(3FVZsP"rrwNQSd+bZ0EYӪV %%9fz*PrDotUaOEn$>% 7NH#GG3T{vȉKaΠQ2>?%#z{?Drܕt2M-&ʿK엨{ 1]s r޻5춿*{wtwap>,6RIxIj,G\AUǠpTh8{.fEA># ƝqTW F[06V&q`aשÌ?abtg2 dlEh 9g:{3͌-tslf=j4j-\M3 2mSԇģb7CCQ gOXPǭ_ р%>W$;,/J7+5eyG.-8lRy:f@Ryڪ32tfѱR0Pp_Bqܪq WFZq9ꄢQ9O`9Fr(@+L6$ƾc_n$5 DsuHK*V!'Hhc-?+(|tv5?gv8im5yT̾dp -\a;FK2taۯK|aF9]E+4QsibmJG8jps|&%co(v9rxbc D%q9.Mz08jyP+p*},p P}nx<[b 6}3Z|\S},%W'H,Z7v-;p+C Xx}n43 /v%xC59XWR̭ ͇ (/0,ǓoބMwY}yD:k8^f$ȅ5}Qa1.{ՕaWV`M̀䆻)B! 8WQ=IBgZc>JURBBiHgmPb2Dnvb ;"~Fg76~Y <3ԾiŗLDޗ}5 H+{\;' !j?qG@ۚ<^wDbY+ܞkJCJ6F }{GjyJ4yϮD}N=O (@d?"iZgk(r[Pגq~}-@6kh Ե2"zʜ[rjE 108(ٓrGTWlPa%9ƻv8sw99otCˏtS-J-Y F􆐺0No< )WJQ@{ghscjÃ#jWST;5"]?ߍzOc0˖1&b<#CɞIx\#Sb;Y!ȳ=)n,"gWUs]G;>+2)wq' :!<=-JQYth%IA,On$Suzκˍo­i E*l MꯁkG\Ӱ赱Ғnx;ӁbaoL !5Eƌ"C펐ݟ 25JxiImBKa3SLe WvR);ȿ]IZHJKtqь|Ud mpcVJL a;FN׏hdIwPŏ]RāNRǷ\_R`fQPU^=v`m51Uf ; 2C{kV{u#}w87@2}7o]1)<;BXYv;tSA-"*Ec3Wp1]#xV|:J@rl\:+`h0KݣHeO,Dv'{;&"^UU{e*_3^ޢY+$Wy p'"A$zuoJֵzɲ|@;6,&q }gTFOg`"I3Ap4ZdQDZM!&P*R7`Lp6iF<ߙkݐ8EUC}&{ٲFs`P9~D4~U2B$&^7͠SehA)iMgjAoHIAZҖ ͯ>1?jUqӹNrbOVj\hHfcAuӹJ<v|R/EXM͉ꖳiB~Zy$)-a鉮ʍjfeHz4J[EXwZ gk>M' tozXfje_}9>:yg,)7텾i~C *wZC2RK|.^ѡVѹųn^t%=B~wߞ_VƊ(,mft=I4l %ݲ{uS0z>kdYN_Ll+  K${` 5cnj̹Lo*İZn„Zv(gYI]! Ҹ'<(&- 9 ]{]CovS2ѬW\ט津]PL$/1K df= QiHyBT̟ |w7X[ ކ@xBBfۙ&+2Vm_Û#= %gYZ <<u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method5 5W# \HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸM]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|w?۬wn ~go)]R90jܧT;|iiF$΢RZl;ԧM34ZnTeЙ1LqI RT󅸎BE [+=㴧 v:Č 0$ ,1!SMӻr5Ts{c֚,4|,7V#=%i{k5="{"$@ljvd,D1hmfLۥpm7. EGVp9 Qtf+W;= C F}vuZկ%fAPT%YgNj v*ݱj4,x1B٠-*f7zw 2vhITJfu1u6xр{Yᶥ$=~,Ia\5oDSidzM~u=r~E$˪sVq^0ck0.y(WhΧqd`/Pgz7#; ;"v<yh&1 /*dCyr](׉w8RDo8D72.WdG o)oWMi+,ü*}g8f5݇G-^i1Er9VjpUF'E;+0imكû+¡tXn9Z0ٗiHnDѯN|-'GX.HɥBWx0d |OY3h͖Ao3龊kEHPEې4m&<^Ahh\<⛭JjgtJGxofhsp!VV[Яl99st{\R X3FN?j{' Ԗ~׻I*D]O/'7!eRmT_w4gn-VLj b:($znؘh~;b" mT_fŨ,k 4KG*0f>}~gdPN07c QM%+P56I]Gѹ^:1`c'9 ܵ+YyH-E\>>]Vmty.\Z^6F,yw:/^aK=v| tS璠Si- f &wK\sk07 mI1tNZ EŨ|F ;M( 41gQH}TtAEB -2t 'f9R RUF q.u/mtkID@7pxTd5-_My31AN3X7!sZ!H5 efJCVd.lP)sڻmxk&NE |9LUČXiQ#wm Zw#K%u\)}\BH]3rRYG .~5#ESI/yo.Y YɆI |gqCPYu?qÒN 7ژtK~lIea&>o]un7IAcGrVU"93wOH"ssIɏD džzB{^[Π$s3Zn \m%:hbn;,QJz@Ⱦ ˜(ќ)~Q33v!-LNGTu T7w R.oZi" GJݪrPKjc 3@={RRN@WbgJH Tj4Vg$dgLc ԊbOxWP/f q[X]ЕL;H+ V:EUpֺ} S5tPѳg* hLޢ?QB! xn_rMC&:{6;=G+>ߟ! =Y)@E< "tie!ݝW!kt\W,H; u~_PRV>yĮ/<"Sq1E< ѿјQKiTȍEmc2%R-Vlo iJq p\y-ɬE4j$;@p#3 e!LBZ57:;Tj'9wlp" ]kqlچ.#f놛[VJ'wDžڠ~C݇gnקPIu|6&҉ 1`4^U#J\D{yj JUVEŁɢ@i>1VQn({ `Xʹ`.j\"3A Wklp˙rܰIk?If?& UgDBlDطSvjFr\)kH {TFqdߨ%UP5j[# 1wos^H68\Rw<:%ZMm;^58 ;MkJ@^=)JZ}< ,2^{4 ?6jGdY:4ypȦ)깊=L~(YJ^b쩨j ~|~3IK&Z(!wluz^񊃀Z<eb㬰*{;"Z'~|\]r uu܇NB4U25z"=#x2st&Q)@zf{RUQş5ܗ#Á؛D y^.P_rQDŽ3DC9<_B&N)j> <]\,e.fm2[*)~1奺jGMRˢ{2)a?ۼPS]$, ;b,#v^L׏CQM\tBƪ^N@:7, W\O`Z45;f!j~B_: M 5~CoBD֞̐g!<и[H-gVmg[K&2c98O$$k7kM QvnPZdb iy~ԯthBH-1Ff9hvUKh#Ą\7}Xn@Q.np"mzFr}51<[`KT&%nLwvA.0?>"CJjK s Mm _k=hyo53pbe!eFХ/h6Jjny*c{2<'^~g 涤0 u[u<ʹJЩnez&y>+(5F-&q<<9J2ɋ$uC͏(1 N8re}p4NUB`=.ud AAgx]ZbrJׅۀ8>l0w ʼfK+bW3|p>m#N{vX?ZWl@g$\“Hۖx\QM`*ײ7dC%ە>r( 1 ù2'j=Q<'.&Iw{n 43\͍E\TSdF a.PLNЎWO~FB,|9FO V-B1>:] yhvS vvuOJa (q 2ɲ]Uj pLkE̩?BNtGi66G_ )d_ZOQ2w;C>bn;Z{ |Q Řo.nDTDiVkJu e`tZ[L&)xφR% zx;`%XhOCJf}VTnUxOޱ=^NB8ՉP-H ?Z*DpLyQȔ+#}Om$5B90vt~q&d m*IL2`2;h#yA4.Zچ?Q"$uaE7ExUzX9P`1]L|{sԴ.vh~ᷙF@),kţ;|ępo/ D_s BXxhHKoe1y&./X}4zRh+ON7^ O* (qL#xTG者@0`GoGEvjC2(̘ѱE"L'k֗vFil[Xb4\59F?Uj'%E" l J P"VzJyؐBX}Jp)9Ѡ&Q8q1PWs}(HP9qIhUZeՙã`X%[E59mS/OJcPo >0'Oϳn(w"N H)\Q,|>Л2Ȉi'B ߀xte3F*)Ѫᖓh@ЈMhXf P"=ҧڄm5Mwyo(Gr=tto̳!067XaJ8_s;yo,OmawV׿ 6V~`HP5YcfJ%_M~{?7W֟jvPNއ-U{+8bۜT"K i.[Jw3@\m} lx)<6Cz cf-_F&#.WpmB۷Qj&=9/9}a\8 ⿯jSFxQTM]G@1޶Zǎ@"$ `"L!(1]l:D?D:dUA3krt9xXxCQ7i Sw5Fb@[t6ds#=MctULуC`up;/MKW5 ʞgYZ :| 5W# lHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! Ep]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]o*Xs;){32| ocq! Yc` =Ð~Wt*sӀzB-//KG?_N`(B8*$iAW1uLeBUo S{Jl]1$C%Y5nit\I#M6{)a}e2?nNb.XBϝS{ѿ@%Ey6ncgI>H,q/ɴe0/DFvMOLR  'b8ugurLjȷc|+*CxSuv(ŠB9Zyܢ;i~kLu*M>ЧF2RT;ʸ3oe}xگ*|=g@~_S]Kr h/Ă*F'7/g-vKg;n(n>MAA&Ɣb)'dl'}`G Y40qPzK{h'2:stܵsiYF6( Č ]x~N8X[-} &Lbgt^[2KOχFg@^TrLQ{:iFn#CE@ ^([ J\(Xn<큭e [ Q2j )Iqp^f0Xjg=)|#K^\$>dC + @ 0l@F D^SVrRaE/.LI7ކ֟Zz36F)xrc bnrWDUG6sQ40,u~aW, n*H֦ g$bɪ{z\,(|`|JAA3T(JXm =:=WG (T(THv5. P:N,x\Jϭ4eM Llиbd*n:6-ݽQ|q*W<{74Ymap5ZgN(ɆmĪ-HSǴ8/e5qD,A//Z`UC:1_ ]N, 9ݣhM5;E)`hL4+0ljwưqtҸퟔw@J 4@V,sCXD2JZ+g95Ldy4 $~QEh:n579(omRiw @3)'~){+k:@f nI$]R\>Oyo9s/|[ Gb]uz NXcIΨLܦ{U/Lӝ @Q]l\xVσHiLRaDhySlv4LDւ"-yPBe:[D^ssE>)烼P܀]Ŵ5g>y.cө"f U%Q8rD^{ҟxf .t $Zkxjcڀ+ַƏFr5cꈩߩ PHb"{0-(sH'_l<:I)mM ac5 iBXڃĎ/, s2Ol>tE\ lMcfr"3E*wBE}pP7ه+*rMSH~t;I=KKwT hHK)D[Pl@P (nZUR3<+/o2 pHh;PuV +v7 i.;$RPnv}4ݘ1NzKCd|ÕP$ ZG)e!mi;E.>:ɟz6]& W+!3 j}2:NVtms>hʍ\m[ۡM0V^sů|Ds^E'%-#<%3.O* N}nNDw35WJMAptCc ;]( _cc`o!Ֆ+6,}lZ` &:B9S쫿{z`pLM*qՅ+8dmuklJy.k6I#.}"s'gXW8 "`7 m`ǀ{ap$9wŊCv>f]Qi\3!h1FrOPp;ar+2h&C+Qйm|A:hT0bƺ1,#W*aFpîQnGĝ/2}tvKksg(Nv]uF0־T*{/XٚǤv" @õIs_xLI u P'Fׇ6( ͨ 0-*%,т9M&%/5-97 MJk!O$3Nt-[Q9xl ɔsusĂױ^Xf7y!G(! c8#dvwy:/%O 瓉ʟ #I21gK'NLAݑ3'}Xcિj6c'}sky~nlcW{$|!tb6 ^ rκ Sf*eٝš2ѣ+NeڛDD$j f}l1[HKR2<Nم/̃u`Kՙ2q!EF@AV1!sRj?mGr:T!#niT]̣L#^h-,k"y$X_;ǯCd9vE%#\!0TZ&>L RW7;|MERo5roZ*K]iڰrdbI̧t}DZΚk|¡ﰻhvzJSNls{S y> 6co%+` Pb CUR=EUЙzYbw.[u>6qʫ'v)H3t<lOSAӡClc@0d^FMμWV!غMiu4X7N?.F3HKCzYQr=kiy"Fp$u ֔Z6p3Ӑs#HkaK]y55|nw^s;T0Y$c%h3 )..qb փ}=?n6<ZOru\Yꅤ QE UM9m .o ,+gH\NUH-4M}sHP1I[c GCDӤ:Ԉ,٠i~붅XY7)aXY\쫷U&xPk/IWWl1Et [zѨV?`a7.aB<|G`uvˠo k=<<{lʑBh:3NKImáSՋrTS!c%u}#X\|~qWX_wVQUr%gS54؁cөɮ͗ Ã-κz(M LV9|Vtu"-WR0~1P6pOW_H_^bz#˛B"O&mSy )tN$xDJ丙Bjk+:o]^ *܊"4{ *|aAU ٫Gޏc.u'nd!eRTML\ajB̪Q"cC0=f`SJ4I͐D.3{!}CVd*C^jSHľf0Cˑ7tѬڽ&ca`2%*62 o^W'#%y (t[@)3V.zqtO*V{XXqwu#ʤ?%YSrB J1yPf~ apf?eHE)} *Ľ3I*Ld3a\E"wrUS;tnw=v&!x`)+&*% Jk<+7+?:xZ}I惠f*cIM)=H@ [XXCza&ԓ_vߕک ycDHlU_K p>/jc"P&0gy-I5A%;{Uƞxu4J-hR cQqs8#6GlIHP;92R=*ɞ ޙ!Y3"wЧ ckرgYZ n 5W' LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! F ]Άxʆ5.f-9 rq=bS/gAYXuPal{m7 "!e)P ADn $^]BDk@(?ZM H #(4?E~ss :4=ga8Q[);#b , Ml \ą|٨t4]!A,&%C8d, kY%g}$p Q/2@+?aoBą%oJ<\g,S\Ҭe<%I!}ͱx7|÷Hml ȿQQh\oCͦ,ӃwYqeܕA|3) c:LU Ct0Ikcz_ք@fW/Ju*ۍiH7@[/Az2AC+)`Y)zuƶyIE;Kqk4V\c Iŋ*a7\߱T^ezOm8u'&4.3#?nIW~QY;1=Fs2|w%y_b})#`ay4̴@n]Jlݤ fu@y}O6?޶vێ򎰁p@6V'⷏ xPA M >i3W @z Ne6 no*h"Y F.t)>ݱ\*f%:@6*C!y?QJ~I~uHP{۫q\(CoM=EcY<˨2핿\ӎ 󨅩hDpۚ\Au>Z1gN4̎dw7*IYY.Sc/+0(ӑ.?AK q+[hb6]ݪ̔ M'`+>;7-4qr,:G]5fh=qt:6`v8уz1* [1bb{iX#riAJ0Z=C?aS[ kuG?iKfc{=Z/BwLCGcPDyf}qŌԯ8ZuTr0"A( gU|8g hF ,:O2cr <YUW^b7.8; C'mR  lkᷛexpxnOОdžIR=/5% zgR ЇP)V*a4e*."dAo8Pm9ÿ/^%`(;kP3ЉF6}1œjDŽ_*@x,ل&"mpr tnf턟!)|z+AUh٪K90(8NVvn KEV՝"FhgǡPpȚK2 3cj x\.7Ks`uŔ^䕯UAv,SxHtԔD%`f) ρ3HƶŶ8:+-U.?Ԍ@(GՊ]b]%&UN$3WC4ps-THOm8ʧYvg~T EyX< hХi׿OĨ~]2F̾pWpAή:e{lQ%!HiZd-UmZFz^g=HtX/@A>E"丈H0=pdWOV "z9^{ އǔPgYZE}{z](`bF~?WVECm=fY߇i#f~!lnJb=͈ʾwrKK2M`{ש(N[WeY]]gKnE5=N)5iاݻ6=nӛwcU:T=>7:_J7~vU7g]>aI 0@AIUrdsaymMTJ/ˏ8[".pb3t. vbdӃB;^*%8/0}攱D"&~9XwtAvVߠDc8xLJт}JʦTg_-RlBlVWK2i&dV)|<>'0jJ`S(L}/]ZL#`'h za1hNTPUbyDzrMSa<}XG.+#Nv",྅ׂr>qoN9=H iwfao`0uNLHAmopWxDgTU <^"ߡb\;hNJ)GHmОái4x`E1RQ8C*%8*l`+۝1x6K5EJ#ȍ/xm9諁18rgi0MRqՊ=a:`wŻ'qO<2c.1|kyKjB$Bm@%Vu\?▼P>ctI^ր,]¢{oK_}7`8qxOsh:ϤtEd\! _U@ ,#poUW'dC*msҘlJMG,sːE ͧ77Q(&0Η# `ubB5g3YM#TVCү ddn$ҵNW_շ2r3N{( Ԙ+6A1!YЖ5ham`nwG8Vۘ&R_8*x7 =bf*}ybF O@<5?[Hn-k0i2a-C0\~7xI9{C_0m6SDnHC?{-dqáE;(3ݪ5.E{2BNe W: ]Rmɺ\/cq 0])?VeCՏSON (pk V#!=87jF^u?FDɄ!:i(ֱ|}A/g+:b8v!]foʠp`:_Tyq83z!-{wDW]s@-E¥.#W@\/1&>))!膙? dc:ӘnݠR+\{ppʽ7m0a5y0%l~W#tpHMdN|0߱\֗FSTuR^!wG3Ъا&fzƲR&c9^׶N*;Ӏ]"o)ۉ!4Y'd@i" W pyzUg6ݎ핌 ҵM5H"Rb ) "GO00z9{6R^+)T'wh'A6w02:L_%r[:lwB`"n%уbz5`Sc !ƃb&. uu$ v5ղTLr{B(y L& O@r5g_eMkyiҡk{SK%Ʒfsj:L{UA6"# NMHk]f#?ъWB9agqNAʊ1WOZb "xJz1InuSL@oc m}lݷ |c,bFyUC0lo.d.JZ}l IKXT\hGMG:h #6I@ )bx O=讯KI>r-Tt.m} Mu`8 NJyzv*(pY|W +381FpZt|{TV|"FDt1zWX<řlj Se/SVȗўp`a~_z#z. BgX(eP9[ 쥗>\K3 ^+QgVu7wtj :,ky{+'UMEWYG2!=%SWٱO"ƜR{'w5NV LpK-Mq( 795QoFmR\"O`6$J_݋ߏ.R!2A",bnms |Um7ROAXܑfNb`p >=R+$c&:XJѿ%D 򠖤7MD4oXh~l/}1(KvX$7=dz[gUۨ[WV 2 :㎊}Sr)(dԟD]6;rj$!nZfc=L60sdbF wH,o]YVJ]9 M \Ijn=Ǜ[`8[˯bHÈ|:(6 2bMTVC7nEx/,_bwl$"x+Lf>Kɘ߆5%к[uӁrF/mn_ j)-KZi`ƊYA/@:UicJO#3<9fۛڑm_ Sҥ5zi_T:MNOx1š!RkOĥ$ F=N'g4vAǽRϬ@TAHdՌ{{- 26vɔeuf-|%VDfqJas%ȅkH6fh3<Ẻ`Tǥc?F"zʡ: 4y6 IAK4xR)ۂW@l&Y>A`7f0>{vǒ,k/T< 4AsP:G$)Jy131Vʼ-ij#o#3=-2DXNb⻜] f7"۽oA*8\c~h$$KK>@!ےVmRD=;pKY-$ *D*lW!'4(<:]6y|QՉ HwGсq!]rݍtu .CY}NS@^F6qqX|N1Lg-+y²kBp1<؏t['-÷Vzh__$6%Ir_et`'фBHvUFzsyq'oٮ{q]x}tDnD- dJՃr j;7zZiX~VT^iav;'\ݶ:)f=PaHT ?V $`lj8FŨ@a+/&r%.O:>?E#]k4 nu.K Agua%Î] i yNg!UYV[yX+GR^g3}p7Sb ~S8;LkqU;7Obj9 ܨ;ju2֙htw\s\VQM6|14RNaɮ9c 4 |^u꽭Ud+;$7KuHŨO|!Dc^ݐ5,PФϾ"̂f7\2`b`2W5l7uPhzsiR˱` [W2FEjtdOla_,+=;qbT?'hbQ+|tb V p +Yʌdĩ, tزJ@R/>_R7$dKc,|s 6Fnɍ ^,% *fvq$ W3E6i 9է#XT$}OR (d(:&݀/X.:l+*Uh⪒=ɉB($WY}nǨ@pVH7נ͡i m;;9&Ni n{|TL*U M();i=~t4-o0ɐV - sH9%XfԃuֺzͱL^ ri0M q 8QN񏞗[jk)nW[-[4*(Q ÆU726nDD%,EȜ)F (ZmU *W]^^\$&wyx6k× ΕEd53e[ɊbXX"?]8A!~f(ۘ(u|e:8)-\YͬId~(kmE .}z z5B>!ظ31xvہnM?4o&ԿWsF 5zEb{} ؑ^8 "+w˶ ۺ/=XIgtn4byJzCRٵy՗~ճ/aE=ﶇЭM i]ujg}v n0V[!eH 7|RLYF5Be 3fV{Kn ng'i_;6(]IL~,2O1{ U Ccx=8e%֑h<Iyu8N[6*]nƍ6| ;&06$|-.yDPLfy ƜH|U_*O]F6Pafa4"Z'9S)RULJg9b1"GAUKgxWf%bm(t(yDx7LYTG@|%p߈S} vޣB#C䎆ӉMqB<pFhC7@[g'X!cS~b3]y/! Y=Fe "zQzfCEjK@YIc[B 3TRIQٖ7mLb|K)-g<|ځs;E{uU#TjlR%l!ɣvd8L[JQC#h-# 0o-b]-EF8;ʿtvB# )CQ.:KBmmnʲHo`}h*zߐE6E5y])vEw5XP odڥ&<;&Q¦ !u 7eKs4u &Yy)8K5.4ߒ ]Ŝm^&82VRO*7ܫ ?h+CɷF9FĝSzf>~ה5c[.Sgy14y% hCbV}M:I`fSpBpd~Bu0I>S(kIN)k# 3>NP_L_wlKۆ[~"([5F"5? `3bm|:G1Wp.mJO[X15'^u\,ʄ)S ?sH|M!"e7}B7iz= ?٥seoⱷW[QW.K{ t{Y?#Y 380ҥGHԺ0W 6"!Uxd?|u8mvsuTV`n+EzƐirͧ&{f $U,< P gYZ3407267f6ee92c5b4086816bd722096c8d2759de8359546699246d10a5649e935cb49d82dd24f91c 618d1903d75365a0f0ea3a2b0aa2f2792fc17965