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=143.521cpu=235.757gc=19.5727zXZִF! 2]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)*sd@;.I~Nwpə3{NqMjXU0.sG6F9gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.̘JLsj'¬SfBgqqKBwxl_}YZ7zXZִF! 66]ŗXi%O[!X.22A$$)謣g}$ 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$(]]ӼCrX+rlN`OȭQl_+Y4U$j jF {lf{$EV2@ș̂nԿI00`VJ/A؊1+: 2㬛y-!*`R Ri"5WݦκA@-n^mN^U~__.A̪@ԓZ6l/z뇑4#-U-zP@eNI<'{v2쮷O+HdͅVP.⫧CV% h@Tib 9sϼgYZS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Ben     _ 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$(]]ӼCrX+rlN`OȭQl_+Y4U$j jF {lf{$EV2@ș̂nԿI00`VJ/A؊1+: 2㬛y-!*`R Ri"5WݦκA@-n^mN^U~__.A̪@ԓZ6l/z뇑4#-U-zP@eNI<'{v2쮷O+HdͅVP.⫧CV% h@Tib 9sϼgYZS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain >5W' lHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I= .ޙ>zwb\:[qq=$qrkQo-ܯq%y|2[v SbqBx%uj0IΙ0LԂ\Y2%7-r9s; E?vRH{._ :S^g4/jBV/svhWq+S,Ψ^fN ?ۙ j-[TQ^hHw,~sGI~&5;a( 72m&^_ RӺ4[0aIC)7$a{O4&[?|S~,󢗫"9m,GXl|Й=2);ʤ(K4F%FYl|‚W73!G*_F ,TJldUH@r։ nE@-zy?ՅH-4TUloJżG"fC\f`񨣴O5$E2uP?g6jIo6-{IaYSO`/\Ƴڧ˄dfY}9 #|23~P =ZPTE+;Ts#^>v?l(ls9`K<RG@Cv2py$utjQ^tdz%FN3ӗ"%(kd8h ¦$ĉlX5=t^d%r#di4 5dlЉ9{Z[>hr!]2te}/"BA|Lj|bw+O:TZF(Չɡ'cx0!8ZNq'e=׉׀kJׇp*v@!nO=X,p`C߇:GrRyTQVL;>~ i6Jy$d.5` wPG2-Klq8OG8 rP|szو.RKf}\<ړ?=ܒY>頇W=,үz*9q+,?@J4O#a}m$$#CE>i kj|P~C k﶑Yϭ"~ [=`o-͏_-LqR|$w॔eCB̛뇳ygԎ*YWAᐓ%k3=ńVx9s_9[Y|%IapJQy׃sLCd'&R"(6B,i )>Ɛ!f}9uzߝ}s˦7D+e%2>cK9+`^5j#(78Q9,,&jM(Ж_Ze ~b 70Ey,7K!V@S_XUhp1eLX(<%B@^qMKX#ss8Y*ϫ42֥yq.%_o .[MHJ,l:˾hS|A趵&f RHJ2`<G[#ӕ۸kd޼k.aoӞPKFT,ܐ,pN΍ݻ5j@'La9]J9ºZ:Fǐt-QL㽎!ҺyIP}b"sG:ܞ:7JeyjBP_YCi>iY4mI.Co69O-z^lo fKѡ3+&#|t2R?AM8֡LfٵHXIp?K-4 !DJWVPp\֯Hbơˉ)|FfVHf$/1Зq653ӈ{JX1秳'S],!X-A]KmZhaNc_8īYDp'X=/ɠa}>d߾<8=زN"G%aMB)ŞQ`Mr(5q{C%Qp騿-f*(=6~Io7D6/SwV}yqK!{gHv߿ Q@KPg9cg=e'1upG&ﲭ-fA\_Őqˈ%-TYa#*0Z@ޥa`. OѸaKP.ܐ x09a(Bj߬UBTvj7j@nZTOD61r[ur>+U Q^XC:T+O1_}RށT^K6B|9^3IMrMZ9}s:VH`kb1\6Ysi~S HƆux¿ {;k*OkqCn*JtP~qcoadUwJ0S{fAҰ)в0=ADJgf\BF؍A1;Rzq^3.%`20&7áxnyGA3r{b!jI|@w(QzSj֮3bعj۷ݥ(zkw]Og:UOK@9$طt$S*[miIR]kf闇 9e !NZf,`P4{mhԗ#[}\`?%G@(^0&c<5! eoP֎`./pda{iikZgЙQ`AP^]W#S %Nqw?eV|>)L {>+Xf9O#H&6X%RqM)즼#x4qgwI}p ԥ<tE&˰pЦOc-#gYZ# fjr lCzF|Q|np(8|{q͹N0wah_gct^?*`PE:p!\C2-fZ[KU WVu h[`VGfcúh٧M\]tvP=dc '\v0`)^D1n,Ir\X}6[+_*Pn <3|"|g@04ykJL0k/n%,G)Q~Qέͣ|fX?Wkl 2m(*}̜>AC\[; .֠.v@4v֟y T3@ӗEs)+yH"ԥ<%"pC3k*]P{؀.';hT'Нu\eT6yE C%7V°6c5|_(4z\7"UI1$}UIFQ#L (wO"lE>jL,l9WL4wimo;p-YՆlTbiL})j8ɺFpј?n~rA{VT6^ϙPPy*^X1i޵FWj]Qieb=AO[YM 9=()ZNT!z3zCc]fOwsɎ3`gjYyU:ƛqs.&'N nB.M2vAΈ0@O/Ev~}]%<dNomޝmyJUL2-BiUDvt SaR R  |+B@by#V%0vKxYZ 6Z59}HBuDv[D7T̀G|rfANr"ݼ9؆moB(Œ$D+ml2j=ܢ;y$DfP#=P9#s4$(N %?̴4T5*nz FR^tPؾ;p+`Urk޾gT]*C| ! Kǚ[4)߽(w*%oOդ\(BpRO96YUĮ]C⍚6aKūhb_ O=CvqWooL)rCwb:U)ߏ_T֦2M ydC`V]dL(M&/^'eQO.ʨJ[cgv0uU!4P8A^v@Ùs`T~:ͅˇ{/i.V'Mx wIp%I đޑ)'p,>jNKa+ #fX%޼Ǫ&a9:iC,Qϼ*̵f|wvL?,[f&U0UݔIrT# Nh3"ܻ"E &7oo?v7J潡B:gO[;$c28 =IdiK19B`Q^/&+ Ai2n2U)FN` 7wP@ja W@հŲXNpll&@T&O?!,@H,E{怭ƥz'3AkGA|W&JnƒIW6O#\:%i[/BSCVoe U)5i$4`բ"r$Zk`4L''9$͹OWW&⻽{[РWh%>Y4™J5ߥ$bo/u{8/VU__P) åQ@u-1b;=O ڝ]M6(2TJ&~MWh`xޥ,aI@N%z֢CfڿKsW%\#SqyظQidw4׽ω{\dtOUӖ}p3ObP~=EٚfQx;6 L肓 ]ջiEYP~*<\ zwU C.O_5jKPwMb,4sX'FJ_^/"g^|=T~2%&l"N奌T[q喐$0&5Aһҿ5HU' ˶{Y3.x'zK;0;a=ږ* P8GUԜͥW 3v$b'껱iAF+rg2*ePR~C(<t\!%~3S^<$ ] jCh-(H-!K=v/o:Fyq=jStP7Vd*QW(l:;esUC 臫"}qI [|๚bUEk}`e(gjaR)YȠb* pK]&A\!i_wn2O4Q )ꪛoAh SmBWdΦl>(wt\U/_V*o P&Vg!L3ugP-&6y)UӂN?CQ;`65||+?n6Uk]WCoJFt~Vh%{oWvMI+݃v4=+RADF\i^Hg^q5nUUx9;n@<qALzԹe7svAGL-eKXIW"$ݚ @F :b# V^ڞC gZ2~%]& |QFoE3f9bq3Ly$Ίv XN{hҝL TgaO1>fgU}ԧ-(F 6mCU|_l੕\ :yN$R:0(Rqn1U<"àoTEǏJQxbښ}VPD_/=ʂ7Ovʺ} ~<{St1J5~g]+̒'Ӏ3#kaKq8hD6 BnJ i ujOnU@˜*q@0"'7` ئ>F9m) cT"@9aܓ`ܕy"ϵZA!Ag ؏RDɊ*5}~f*s@[sѻYr%h<9lT5JᤕǭY}} *ȹ8& 'ƠHs/MD(-c4ࡻ:KZHZtˤkJf*% `[y{'kozKc#1KYBSI:y>72rn̊95#:{ro۞l(/L0 !4[(fDl17ʵ~\c$H6/jZӴfpA#nq-em[@WeenD7^I.Cx{"?@^ CXD@;nx3 R3կ/#¢?%SȩR4!\Ux79<;L̄4d-2 |NX#<|ݲZGZNHҧ[/cJ Oɢ1_!,e>Z H ?lWg88;UBӺ^TF4x܄v32j@*|C:eτe-D`ǂJ6{wXP5h^J I1d}΃u nGa47߯3n$L)GHcQwṳ,% jlm(ٝZgoѹ ZjJ*Zbٚ/@?ǡ)IJS#,YZ̑ίF! ָ_}7ӳ6Rc8ݒYGl)&zc0K93qt*4SqFl)ʺ#A:MvI7 ڀ }[{U_(r$2at|:ˣnfrA<붂uZnns¾{,)O\R) ]M9EH[vW :p/7%PeiTecȅFFQu`s.06 <4ҡFcܳSgc} 6˝pdΌ2Kݪ1ʜqQ[yu_FYX*`c'ln#Zqmܘwtuڕ("}}{VY+ڝZN'yj?qoJ4E8)zHjBO&vfMcXcӇDe_AN>b2B!Ro$ie)vv\߯~ٳ:s,޲Zi@!o9+A~~_n6|X΀``=Tzhk("?֖`hkl)!.ޒMptWmLp<8hSpj#tofGCܸ{'/}";r>:a8V6pʰIc{^g(2frG-oFn#YƖ 5kkC4ӻpe!7QECY-)TY[%D#6 [d(=9> ?UWbI noDWgP7U@YH3 ZUGcub_ڇ"L M+tܡJ&.okm֊| < wk܆|<]oȆ6I4ڥLս~{ :jG\e~VAN` 3^|w5Y*Njo'LۖZsLI gk #%NƢ먔*ڍD>^No&\u=:OLy jv,~]'zC?,Ÿƻ}%SurBp *#ex8S<+í-KQh ,Uf7," =ad!9[Ud&H@<+lVe2VG #!!]bGYỏ;;#$ғE8F9? SIPS|>dAO.!MR%dκ41D~fDO&HQbNiM:6J$ 'mJCDQ+fzIၸp,#()aEv3X:]q:? 7yKb[1 *ɩzxeVUġ@E#D$!$X qz~X',.(2,7_kB4nM"WƐp-kUǔ  Xc1j^&bLJ>`}rXS&4~tKF F4΢Unc/'rwp 7ؽm[u^'áXr^Tc/hX'WmLk_]F<ˮ qFYo> jmrZ>*H*W+O4*k/g,T(d+rR h=;)./+D4S&LP- E? 8,cE! >),gpE7Tmb&BATQ륜[7l~.?gPtA -adI _P! EDM!^_Y {auyX%{Q̭\)oQQ4@uL-6,KHoYrMo4QuuX@*/DuEzZ3g,ԀwHy:`>0kmYmaJLK ș\S7?-@S{tH"s6 )@S~EU_IRDkCPf̏/^6_brGN ƎɐX9[hzjN:?t]r[l(7B~h&ՉC| Pf8ߴe(7;n{.1&fE*#~jOqg6\^ 5 ,:mQN|;8"mΎ太)-(Ǹ0I@k Cov=@J*1͈=HuC|Gv-:Z"frD8)q~'E33\7*#\5|-KV*]MhHmISS{:)o@ f&Sp`Xo-Ui:X0C>ݛ{JFŸ!uIV$ڽ̏% =ib焗} n&hʄ9BA&~Q z@/ #s솿w%$5 kJ y>7(,]4T82:#֌%[SP Q~:ggy:N slo2}8_ev s&Mi,~DʭȐsSȁ9:3wxDTw Z~-NA*f7i"T+eHѲ{Z=̦²%+#Bk3ƁZ'C yhL%VC\; fwP?  b}jvEk׈[s!NSmlSaK? \؜9n~Z[Ƿ\\EbApW8Ʀ?jS ʟ1ye _ B8mvBX;l #J+fؿ쿂6ŧMȎ0\YcR)ٶ8qx|Ucށ_ c xRF58u/2?Ej9W-m~*P[$<Ģ6R'4#jGv"GnָusBA% H歅քMm`JbIȸuB"8jzaS1+z#h3mFk}-4_x?GEUн)h4rV` z'\DrIhжQa/rFy@;D.4g19I$r 1ܔb ~uz:0iT{MrV)kPٌM5fG&.61OMKPZY))^;R4TziE)$qхh\B.b4  +觕=f&f cOjg 3%`\4LV}!6H 1!n%G+[<$^/jH(F_~PksZ*8[eV$AsaHu >$͌SOێ1L/JdH9DB:: U1JkfFKh<,]~TE3zE&ҚŚ1jׯ{6Ε׳sP~n|LnGPry/$xJ́$ё=zg4VE?q/V,ma؅4MZULWL, d'}U\8GƺW噇jMxT3XRI` NG=5JeRE7=y ߹1%bc8Xwcq6|AJ&OE^G]!2[ې"X[IμH=*i(8A8(ҸdwLhJI+e!FrԮ_#oZ3#7~zA#NXY dhIǀeD$}O#+CY*֎0m U$ϰ'N9k\9nE6HÝ62Q+r\ۈ SбVXtϴ\8**7˷oDmyKa֋/wJerQ:S:ž_]E߻f}舠b-յ/fӆado{D\;;B!بj}NSս+n)h`JЄgh}&kU1s6pm3M=!Dp`ư Vڠ'rB[]2)sQoiܴlepc- tXC[ ZUihtEa 0p?xXxE>䞹x>{j}^ҪDzbӁ5Ȭ%Д BҌ+j3Q'z"lTx-Ax>kgUYK3z_gz v?ڵ9VD)G_5wHsgP%L&8P&q.jGb% q!ʅieEw^K3*R`%".?w/2 3bRsYpUdЧS3lfi[ox <"0 ľ2O8Ǐ$@DLl?mHkTTF?n ;"L)W6LI`7a(K z}]NvthwFey=gGMq.++.U#18ƀ,ZѸq)'(^ K)/rD!OORWIw9>f K$|SX&nUh}Tη0jt;Ӆ?{:"-vW<?a}R I"_/Pu9!"U/ɎZ5;W_{Na`/24#jZ됱ݾ[u;ؐ츽?(O̬VK*Bm4Χf>FC4C`szث5&ۆH/]˯H#"\{̻iCFv009v+#m8sȧ*ܩR(>hӶgTˆ"2e= L n SCZ* /ց3K=ΗN{ DM>1pPY:K<4m+1wi?DjW,-}XWmFBX` C˷VފXCoDm + e;9]z?N8"\`#OaA?/ UO2-wlldi%7j-$" ^M$Jat7ypn!y0!Ov6*R\L_a6(+7C,}&8e-c~kQh22rG7wZ0 @"Lz %:ݒ,!ө 'fPeFƥA6Cf B!wna?I>TΡT[N12^AO^'ZPi*b ^>+&Rlyvߐkۨ MOlńy6 h=f耪)mhnW9*S|beiZv\e,>h2U)"^{3 rTZ j~&(5]\ԩ܆ߤOz:Ijz iO 6S6$ P㒬/1FX@O+G-oʾP11TSJRB:KRu~Vdl2Fr? oY8 @jo2MAqR5Y:HMӅ+ww [/^m?΃>ֿ+vR_'>g{0,GjO$UPEv5ҚC))GԜ[`C4D0~8!6&^-zSfrBu'ʾ;Ή P=8,{QT}N&_lkCWm"CW~n8yՁ$ck#D\-pIJ,m{7!7,]Իg H/wم(ʤ2C0uʏsE/YB*iva{CNE 镶l̙E6ѱnAeaM6 kTewa2r~gd g/g\4-,;y|6ŷa,N=UOjF?Ďk[ٳ+KDR;׶ͅs%@fӮ4yz *4 :2XᄝpɌ]se*(U AXҪjEKJ|zmºpj5"  TU$V4\"=^p~QGhmySxs(Q}oU{BNSqFCn BA~?~7;Dv+k;{ Rۿ p^kD?Zg~#x xhK?"[sgGiGD*˴N:[Fr?SC@a1^ȫ 1ǃ9\D;&9qifYIpmм\ cAj]*4\k=\q[d rޮg†C#5jS:z˹c(MxNL*Fh# Ɠqxķp !N }`")gL65X)T? Cxj%}R(7'T Lu .ȕҖ q L(F%M(۩00:Ld2Oͳ DGrXD3L'>XqB9ʐwT:KH% yHF*g7Er MF&s Vw;}S1Cʪ.3E%M,%zL, pC|jl+nbSX<Y 8B1֤/ DaK8K0o[#pRa{l=0d?ioWI&U=|'뤰B PpV n҈TOuv?OGmNT&ZJC@q:;#}ZH\ܺPESt*kqO_n6'/O DNoǕM[ ZP;U׬N]ųu4O2X>rDJlT!st̠/9 |u ʌ[l[6t :@ڋNe;8q{;T=ٕ0:`q]oCƻ79xB[\Y=L[#5%Nx5ynܒ` +ͼOv;4ggL4ΎANcǛaxBP'83dͭXpdİI&7OrQJxڷw͗/K`?Gm K8A: RSi LegԶ5ЌJ &%K P7hBX3ݠ]q;+lrzYxzhg;ob,aupY5PFIv5i]h0g+x,V=q>~&E'w[N L1~b t\îI:O O~`=&c1#*'cZBqix7)Sυ"Ne/UkU'CuԨxwc"UG7yfRVK8/޶P5ryqNvXדyaaA9[JGm6)UNZTqGWQ_F+ptm2, ^7Za7MF΅?ImͶfJfAMntWԃg!o3E0Aە†(zP>77xʄVDc7cPlfNp}p_2pĺe{&~>}f5Vʼ`(^EV}b]|g $mA-ۦ?; 9|ʘ{g'x=N9[j5ƃv{8YQS*@$oExzsGk&VB:pEB:`=ױ;̯#>5Hq20 (c}`ث&f90w YTHM%©qn7m,GzfG5T׈nbP<wx MN;Ǭ8(TyUMz[a#{J1WʞJ GYKr]dm$3G4?3[eߥ$v&cB'mբNA\rmKjgI_Ѓ2ojT:5XO,glN[ |42KN \ 4}ĩX AOA4GI{\5e 1g ɜ5zpw(R MWrsH>YռHaD& i+!ֹ_xw̃?Xzü458rYLuW2yQ˦zN2`e%w&]|v9fA7a;6ǿȬZ n0k^ycԊ¹ y3}ah/( JʻB6+"FI^wQ90<-Vp\l8bUquTJ tc{|0/j}^iz i<81H[rƎog_II"XKmxj~!>g~U13셃:l 1M. /wu5fP_kUrQ5B''oG|P/Y̴\XWWZ .A.̼&* M@G6|7} %i#=ݍuBby;BͿt/s3UDFj'Ǖ!NGH2.(&hsn|ZeTFj;A."  } EdȢH=Eא|@W Y=k{2!I$_~3}hxC(X]s|ω 3u;ܬ1JcI:!ntlp 8& 2$ШnQK| BV;- ҎR W[@戤` s<iGG =EA0b)qǺucXiVb`>.zB澞14ᛠu0kǴd]-ib~2E rܔ>^-TQXAc1zw^iаYqpAӧ;qi[ yԴ27.aM"M?މF97"=URhzuS_:jkW0 V6"N,xh*_i$ !>Cng<e6Cd01t[|[9f*d{ڞל\ n@ہUff9gKnlyl=:)BI$6y7jGOCcf$QˇR̓}? `D&?9u|y MU$Z!&_xVth7_qŸFn~/) аUR!JyJأ?v!Bxf2W Nfh,5{r&)@^n61#pY(/*\&u _ W-!i~շgϐF){*ʐBKXvCr!xOO>3PXz+A6k3|:wLȫ8=ЯSPީnl+Es뺛at֭1@*޺)z4ˏYz;Nrp&{˫^fi]RyH{MxUZH X6G^ CP!#9}Gf{"|RE@:b_c+&ugtѲ4<4;./ws8 0@p{]_TrPTƟS ֍f]C<݆ |ct%F$_:U>xi) c* 8Y8V@ H{+ }79,U?毝 %L*a#BQEy{2$MoV+G㊕U)F=Q]&E5"@ {yuWИl}ۊe"Q U[Y(zM0N9j, ,CHib1D?.b۴8[F],|\h;NB8[XJ"7TIu:pg;^fOOgƼz"p-#T((RH_q6ănu8|7b.f: ޖTZйLkg;k̥?8J3!%ƛE2V`TߺFˇFɎJڎgCO}fW pI̬k{R jYs"kchyUw_FG8ɫέZ =RX4t|aĉ&|Jm;,lWH9^q"a,MJ+a PHzU4KDiEc;5yz0a%ERċy-|*OԝCw=!ڕ+d!S?pkR 2U&Pd82m,?ܛKxǍP=竡N]P#9 /:{wF-}-3[͋ERb(NlZU%XWOW1UrUۖDijF_?HkM:I[8Sy J?{E7B0<19AkGq=51JgULb3"j6nWIUTiGAM,I7X‹[ġG rZeB 9i#gwD0c  y9cH3uΥJGÌPձr: ZÀ%;vy-/ mi[!&p5!A@[WtYq7Ec@tsN%*"R3xI'|p!7rKZ qGSLqγ#dF7 |퓘`ágW`ʞ}Oi4x\;I/(a:# ^nLKv3t>e u3=vY} ?ތ Z 4f}Pe ]!AZ BeK^6+g]C[( UӼ0i3og$Գ7$CL( )ġ솀J#epX>{ δ6q}0g_ R B|~xo@yƱP$/WqY!Ǚ+GFGQDEfjٱf0ůFV,ބEw%,9: 1mpawr+JY(20U[Γhj'/mM7<.0zBV3;zu0Cƣ>wϏ;)y/Tj45ؤ&3'9Gb0A>sNkۗF`zbH rИy}p֧3$zͼ΃<5_hYB1i9,l3 Yb!`9Fq ^+>kCgT-V1Jt HJfr_܋O,J6WTplFtlx]MQ0_GzvÚGy)DEG3(#5%ҝUR>5n-Cs]uE[{:7Ć]aX-[`DnH6??Y 0b _`n]Xr㢧Gct R"}Lx3ah qC#+:)G}ưAm#ZG;|}k@ um}۫?2l4D[ g'5' 3έ |(~ TP[XzPƎ| ^x} {Lk,LCض!6zՎ+y}a<4ma+S1^~<ϨC5ʌvfc& /X})YB"Wd^O0a,LLJ㒇h,![/ߙ<ӡBuҰ_ BjbDxYyp#_pi̋yABn__㯄/ɆcsgW ݖw ۓ47{4iVMV='i`cfuc31v;lW}K.86k.z IY(d"y S=uB&B]0JZ\tSYĠ=+ݖ9LfºY 9^Ay~ăQWШf Ui ۙPt]{YpcS$S5;e?9; )ɹ 7V[͘T LO-.qϔԯM<d8gƊsa^afUF?^T815qb/R V31BjHvC905b8",swq ]6UqC%sF씽whBɅ:Ϻ C*"!Gbh%" TN GOIi(fV2Ds.}<_Lb&D~dlu7~aAڠZjGIɌɑZ!lv~@~=ͬ*E)_xk˨ʜw|nl,>>IXGz#U3UflSb Y `{yb)_-m`ͯg "18O\jwr<( rNΕ2ug9znIy$R"p,Lnb"4TЎBrBq-,`Yb^T6bbp+yt+'TKb8!OȶlN$'\V%sv^3Qݔ%INo*H"F#qɬ[QA~è:J4\LHpmWpBX+a֫ 7Rwd>]s\mp /4U WUpޙ;&+yK-$2H}-#ݚXpaN `c1”=|:i2str$0^_0m#&EI *6O֞^.OV.n/{S^ړF>sf>R mZ3FfK&L {̴ֲ `Jqz(P 5Fdz0thsƝ1ҟDy=#k@lg SkQk3BoVT{/4ᇚxr4 ~mpX'TM?ytb2՞ Ri͠0pgp7/o+b::cY EZbdO  :}wꤘ.D\\1t&VfOLH5>n'ֆ$wzUJ1D F:D E/({6R/꟭&Iʬ3Ln8Mt?uZhx'W˝Æ4A6{ss#eIY%&[~DLQnޜ20Eʱ0SँEw[g !Ĉž]|e˾eWNk^V/;>Wgp)x۩iX/!Z .|?{%@iHP̰AiybC fzHH|U"8?3Bv\Nn#ش4Eb8_Qs`C79Xak܁5 J8<=' 5Q(`[_P;a,ty|5 nX"?YYoܿMaWI!!Կ3Jmln4$uZdW5"j"m.my5z5OibK7CAs{ᄫvئݥO)(C #`ܻ \{˃N^ edzsl1_]fӕ4q$l?b:%4.rnFiA+iTrI?4E}xlq8\K,*%hZj8.B'J`MQLB^iİJa^yحOEi: V!CcI+ S,QIMlP}<;z#Yy,|-~@ЫV0`3ZEŗҽ2<BS"l(u'iM` KfhXu|I~Vm%0'|O[MCوôlWz62s".9:]ShW0ZG{bɽ 4wzp  'b@+ 1.~IR?bε5GS!MzÃV,hdaʱF_ӞT=nT=2?&@W]fKA7p1R4S^F= DAbȅMt\PiaN1ى-4C13ou%_yMAS@3\tT3]75[ `<ݿOKs@<$)Q #F✁oiӖ)PSȔ҈rSe;K/ž!FPB꼵x&!"~c#!x&\uv?0GsHWFf \wIM78eX}(VtB(Uͧ4G{O\͡Ł"Ņ"Y%~OC6;ɏ>+aPYꑆy\@z8rZ(u2N jn!+ס@9{%DO8l_fʞ+QPT0 :Ck=-~J08-"'YZOrxwQL-&DG{4 za/RnuD{n#(bHuEI yHe{ow箽CrHE*enf|\ 'ÀKo+=܃~, 8{.M eb}X|Y{u> \|6-o&yfOM{bjPo%$IG RסZkz=%!u@Z1$ VrEP ^7c ^y9x+]@ɉ&an Hl"7 W=iri0fǒ42fJ$a;K9|q~t9ۇŐϳ3=0Bgo/#jtRkQ>|T{SJ KJ%<($=UGmG'ZN0)ѲXHz H)%mO5576+qlF!,50 fc<`kA}&mE"v/RuD㴧6S{3L^g95 !mSsmH:Zg.9Kf}z"AM֨8L,9EԋlYx RX/eJB$VPˊ?=R\DY4-[զ8_<_(k6|`yQg9a\u Ǝ֨3a5,˰a we?OP.v zSݍVd't*|I%e5W)]%u@.[k׼ 3?p)?=?Ss1dRyhp4>)EomEg3Ӎr%g"Ȃs.$rp* ]OHA{=_@/Ԫ^|M}МC@F.Toz?ev-R^Ub$͕Q!QO2fK K▏ N[9=!h! 횲51 rV`sU_NڝF] &z-˕BKvΤlQ+V.bw<ݝ5 [.XFa̙CS(KQ5 ĕ^B,Im͕6[zZϜ4H ɷx$7|{hvM:=kRI6 b|GH)9qm}@DŽǻNE>\iS d$ow`"ZOݬo@% o3g.hi$*TL\. zNsk7.&B0>oN+O̭lrGY4.#!? -u +X jj|ܣuU:u <-;=gkrzʚ)hvKqV߶ȥQ\&4'FF4VЮ>\CkɉOf[L0GD_bQ#p5%ҿ73gxc:팭 ItG*MD#F"u2M3Q <$[D%W&}B6 7\{_Z Eɲe)ўT /8r=aU $a&])G6jcGH>܊SO *nz?0lF+D%@mRYq4X"m˺d0L= 6 D4J^Ə(v$79Qw@:4ut?QA| zc 5w2%jpG`-||Jo*vZ`85^;bR> 9^YrŇI6 CΪzfSISY6ץ+$ϩl|}{@nл +5`17;pmUR/E R˧#rE j*jAp<>ݱvwhK if,}“yjE{*M#"gW^s!97Q\n,Ml|rŬ/L`A*0TnhfbYcKv,4$z:<.{k`ϒV3q 2ekw9l{41SX ")Ay!hlaʞ3oG/۷piS:tnyO u;n+c+hyxF`}+K ^-3}-Ğ-Mk/Keb+잌} e:9218PӑΗy 6k0U7mJ$`IRP)?=ɀ-!jxJPζ$O}j>h7%y<$ly-~OÅ/$(InٝLܸ( Z E_@B]XȓPDȏ,XW$&pjGoLY$ gkB&Xk1 XjP+}fk0>lNgmZJ_~yz+>NۚsxnTsjly3*&ԗПm1PBwBIҠR,;9C:M- D `a: rw Luњ<0<,Jםǽ$z(u9kRi.?]{!ˆ}"gݥ-Q Raѐ=m:bi^ }mP1d*qEQrvj /1ǁ ]n?*,#L8!s~.RF-" ٛB+ T!Kv\8L[$$Vё w!?k9hZ["ұNd4'ZdKoD@9&od K{=--v  4Œ+ޱ!hBZy\4CQz'tĄZ2iC1k%m)<օq*%[e`t&XD/=5h_ion+vO~8u`K tg$o_ଯw]HA I6H:Q+P{ޮER؞a /Omwj5M2J, [O ӴaZ op|?bW焭m7!'!VA:vE5OI#2EçEi jZ]- aEgP %F@loY457Fܠ(hV7` DꪌSC)$!a7ՙgIm9Q-^A^Xӭ! sczz?͎ fcƮ}̫hɺduEhmkAGp,[cvrGА'}"c~ށXAP|qLuWUMؽoϢ{ɅڪJC끠Ǖ{V%K1-L0f}4)JO8@(3m"̋!rZ$+na~g{:uQZICg:9z Å(SQ@atW(*o=<d壔Nmc',4}+"EH:qlqм6Ky;eT*k\=j^Ja .&sUj: `8.[cds*WC X"s.,2'd`O'Ԍ# mRWKGi:!)X ~$k+1lՅ5x;=q6FՀ֍N_;=ޖ~y&/ӵKExK#>sSS JTȽ/ *a7Z_#dk0ʴ)As+SF.ǵ/d:NKQ0R^+ky A֒I #SY|Ӯ^wD^vRR $bv8gMtiɴtm$Q3FA]}p(Dp;{Y.+PZ) We%X78$g"<'c|ZJxW &PT"(AkQ?WbJٟ ]Eam4u$vhV#b+b;Q dτD=R 0F-Y(mɱx ;y̚iJ F:2~Kj0(X+Z4a"CG!ʫBq<6=GʄhnY˯ٶ m44/:bHr$[¤\͵%LE$DikjiCgI'hl>_ڥzHtZM=?"FF1qU\_dK}Mb)Lfy0Z^۵bDCs$!q`1`Г v>γjrS»> ǣ^COcs;CY?i70ΖuQ˄/&(2,2Q\il g [{pRݤ-c\> + TBKZ,;ۧ6z)vi2r]!j3WYHLm3լI't#iXO;U1Bgk%{G.k5DIMMvbh&l l2d\-֖]`G0nTГ&EM Ϩ1 km8!|S|A&UQ]p&X9) iIL(\M tU &EL4@)}T8L9y#Ѧ"ԈQZ +PeGūoq L/2WiI]FS;t4/*C~4:#R+]>_T__ؓإ]e"F{BtB< WBluVfG}X}PÏ]7FBVT$qCn6&UW0#3BvtB$EY*_}~i" Jlɟߴ2:' w/p@Z2?10E󌜖yv恬3t,\Rqm6[_Un"kQ|Ա; =-A*\8v[5kj,Q|ݶ~#KG+.·\k" j_Q-Ș+"MNb5!`afy82O7# Y1ijl5t_7.FGC@Q"|ȣؿ޲* ҁয|#eGK{KpJ_?gϼ@ Pe H7bCx H''WyQ6O Íxݞ^l_/ GFD捭]K/+yoK-*;1e$dٕ5V쌦*mL&G!viL+md0atg )1| 5St ik9S9' pdB^G>xaoD!^sĪ/]NEFۑ"E/rsf9/f|@ic ~ӂ @%1JBs7g(ل|1">~י#!:-A^-=@|g_fo0t_7el8 ._̫5aU3p{M+d+IG~,6Q~tsvV1.o;@ovnNa&6{ۤIR3M'#Fj~co"b'ff'RĮ|jܲ~`e>*mⓞFWx_f$t${.Hm=2x2xCCO|Lǽ`qTV,Z蚫\,9x%$bFKVBb] ʁԵt&D 9[|c[# 7 c1>o. j[Q -Gcٷ۷ͪQ'jj#Ӱfpo^b}e?>V킟ZݕZ?tyh]os)v4zmFIvƊ̢?tz\aXŦH"$GsgöO0MeRy^O n)W\ AB$?C ye& 6f!s ,n֊>*BoikYZDRD]VSn*̫s@g#H۲ˆ*Y!ɝ@`T魑7Zޫ[y *4 /[%@ \0-+MSדW.Fm5c-uTmElN@(P)QuBN*@y!KI>eڿ;HF/G8?nt=3'9GG>ўc/r=ne 0$d=r3npq耮 <-h0N1@b3u, âbtSW*aA/.SLbT~ 5-ܧ7%ҤR,vC+KԗCz%+-alXe(4Ь㑋;ߴrH'eZマBe,3水gړF^RX/b7bv9x=WLsbZ9$&w7m?;A0 AQE?>Մa0-Lbʯ.'uTQxY>Sz>?rB¥6z,Tpnt N)6_`5us f>¬LGWy 'e䖱U$ʎ0*k^u꜄~e q0#J+MV鵙!WbQAQB8MP_(kk&?Dl-B`d=0R (^y_ 53P~D3v E[$ Ek=Uw#;$[s{?_E%Aq111;x'q[I%3P<*a?%pަ CX5{bl^F8JhOX8Y(۟[MǪ^%bsZrGHn' G'Gd/egX~Fk:BT.lb O%wH[RAadH~1ڂìFMb}.JW69jAZ'_EB؀CLHRxf Wj‡$W`,-ې@f,1,{!sȃC>Dh/n,BAv~5*%+`l~gDbՌ~h $ڜCbyQ53گd`Vi>nB"Ch,L;c.%{'|AA+^ɏ;{( Kوk8ǹJ b1M)?Ūx v"2~Go=#& ho~DL΍;,z$6fIq~w)`.#dʒĺDzxęXK$)N2:Vw͸Z2r'%,ku$‗2 @5p"*A:]_mL*ePiNlzY#Ө\N?BV5Uhs/R,nWj*zV36n2vTp!n([@: :׬~o1L5/$3c&4cn^GyǢ܈^tV.ɿIUs^M,]$ȱdD\ R}ݍ0//<9Y\幀ng͟S4Y* kt癖ؐ <7T[Oѷ#x OεulG\m"!lZTJ`$"5`ToMO:o\-zO,xQhWNu1j)$S+aHD;v 1?6(%'%r;ck`Ahna1>Q֢ߢv +O.@7H<nnQ'*6-qT9 #nj!DSzORq?᱑OxREd_Ҫ{)ݗ=<Α=.╊R{&laJ4u٠ת(o=ӁVxAK%Ux&LA+5&i}ەG`+2Oy]+-Bh7e YQO(P+;VN%87Fr6B:kqCD!0LH, TWkq`fP.HΚ0نmK9uB/Qԕbgާ݅X$”\2c2C`G8hR_CVD߭F3Ң v:ޖ%&VB&_ T/!xXR6+ U8%gޜZxO֑3\Hf\g|'Q~uӏ9׋Kr T"7 S)=qY߾sHlFvFbG=ښ*.Fx Dcn>)MqUϦ j'VdUe]]FXe $V'$J6#q$!%NOqn ύ;%?˟Rs -%kMp_2ʣq5hNKf/Ovg~t2`|6x(Y8C)ƧzT~PCh} Y]},}!:ؕRv?} =W8gCzNL~DnD<2o f9~JaRm0 ΀K^ǖy;ϱ duhI 㙾Hk 7ξ&KntPD9kG%N wo xJgVz7Y Xr9#\PQ_[: @:9t?W*YD6Կ':r"oSXI_ :dul`~g-t8;;($G7ߴ <*M(@% 2CVj}ުO6M.y1/Pϥ0|w~oA7`OB"yE*od2|vn(XpJ! Fc: 3@Y0cαZDrD(meTZ(YnJ;앆BbS¯f_c3ioHyLpYbus? QNɱgYZd416a0c592aa715fa3ee6388fc757cc6b2225d392249b0d89886ff8214405b7965757b42916ea82c 12bc458ca344f53430a1e4754c839513e4c16e22