SQLite format 3@ .;  B --?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 UDt ] Kruskal:threads=4elapsed=35.675cpu=111.492gc=3.404factor=3.137zXZִF! 鮷]ŗXiɟH)0%oo^ltj.ҞĉVUgoOIM3(gGE`Ee?L ߖt$2݂i;_QD:鞽Y:R.q Y &?s    Kruskal  8Jk-TuEe}jH;s{&V&` h0eic5~SsPX1]m}mEIK.8,"UDRm˹.:u3WBWsʪX_ɜ럖1 Q!'⥍Nv;.7 E ̓Qc-= )-;m !pagZ. Nҏ]ŸYEXc'ܔ*YTU[$odLJJsŢ_~^m$~Uw$eB4-[1>L,b=ѵ[)3ˀG6e`vtQ͈։V f^iQs kUN_NU[6N]c˛\أfe.n  ~wŤȝY.PcY2O`^DPkl4@K\$8B<{G@zeMqC[fa_|V;ɥ0$$/wffMy]3YZY(_Bz e>@L/]nsqUo`p[j b_}Hw{ak0Ұhod{@q[Z[%x<,}YH?.ol*)B:ư@!֎T'(7L.4}Xƭs/DG{jX꠬%8E6bz 2q88jlp.}vΚ=^gE Q7):,ǿeYc瞢I`:LRhcf_pAI̴ n7i6wEnm T SQJzc`B/Ђ\~4dl%SȼODgjMBnԒbQ?"ŅfYn4|,*%n뾅AnD/Z~E;7RJi7R|1$.4d@`YN6 mC s>DG@]m/mhiw4`ܲ$b]v>H$ԢnٸPB(* g!buN0S}Q (/ >I:Z+ 搿dM5RYV 8T'u-3RZPTLel.4PJ)>5FfM?pٔiǫM=oZlcc,A>_PVfJҝ ^f{co׋^EX6WsC<+jꀥ ?n)l0'ƾOTF|$&Hw~i}$dII6v.\w% og$WAqyJudf$G\E53Q| %iwSɚbsT̖I v%y4${ }"}a|K`ֶߩ)>j@ jBu7(B ͆Ny1R /RS3)8~s↷;<yVQAWľ 5`aLây(:4G(]k,TXm .}ؑϣo=k`N^WK.wH~w"0p(6 N!FFO=ƣDX@rMW|*8PI{J~<^RRs(ޙ%O=Զ3:ȑ"I5t6G.fH7׏>l8&H s<֭J E (+%pj?w xJw8Ze!,k+&?YOh 1I;"\~O-?5Вid) yہIӚm`}Dv#K4ƚ,/`ԐL"щL9B٪sGRj[E4 xb AJ`&U40k0Bڒw7WQŋk z-J#m~4W%@"/ NJ94؉ݖc-&J<Qa`JscHi״X }pD1W$pMV#ƃhV ; 3R<,i{U5P]y%V%@ڔ|C)4d=l.cǝIz t"-ЅnZ'W?XOVz3MwrRﳀ^Tf^-@."Ox7~%oʫYǓEyO4T]΃se5,؟o-"V*A"gX$=Hj1Q X!WlVG_c׺=L#HoߟvǨ2us+L wHb''5&'DIv=yB emf:pRw?fߺ :dA{^!KqhtPSJxx;9h?oWw*YbxZy6n KlsV3 qڳ gwC| 6tMEGHEJ^<)aD_yxKZ>mv#dIt׳v_ zڑsfUd0 &ZX`44]㮴UgP&n 'G5 ^!?^?E}NO&(=W se\DvPP nZG'?.e16OK&0~H\=jVWEP+5@c=d^ P(t;6S2<w??e`cn5h1FS0\$Y4X&L213*L%0J$蕔uИ34&:ĩͫkۏ^2C\Kv/˲!5P@9G7͸{"-@fS_eeU] ICNG= Uz Gc0?5ΉR؜}*Y))0_\<ᇗ4w6*cc%Szm~O}!`kZQ,I# 8hacv/T- w4%^oуXFŔ|wE(y-h?X.ϫK Y>! "&PuL+\Ś$H?3R  `o5g&bQմ:۸M.IH7Τ`r%i7:8xu;I?s3gGnڞ :5ѳ m#b_?n6u\5Z,ϛzj{BF|`2tR]{KՈ g;2`8j2Qb7͡Y 9O%qhsQUϟWQBޱ9h!|Ua nW60˔Go[zAXm&+J<3ĂXQ%.|O3ek48o˜),8,TVsjLȳ$ݡD0!IYsA)zo7CdxԤg=* Zޥq+X3\ ",8vxv GOAVE")3SGɼrթHuHKD6(NP5[#eӚZ]9]{5zh խ6 %h-kΩ|g4e0po@)V9X+l]}ŭ|8\"6eʍ{ԇZ՞+>f<R wᮛውͳ}7yR$td#0+L(+xtpDzpcrjY]j9[HKȽKuӋkJEGiXFb2k0\͠ IJsӡip5dmT E=Wd!iQ𦮏=؝4;^4ƍ |vTN.Kg4M0Dw=#_ƙ;HK2XeQ((s eo&]v}(M}}򲽈U?Ѥ0 t}FÙZn*}3ٸIH51Λ E`%M/PAQ-4t}\*·!ȵѣ\%q.{ bVYr,߰g~pn֫/:sЦ$HT2cp?Qm -יTάBU]*@xE+WAڲ]r=2|9 urdFm f v^yo?,=3@-v:'*WY[aZKr|$7%gP7B٠kfBYRDAL5ziLY#0A%Xj_J;'oNŊJa <}jϫ}}bjzq ̠6!n>DO^Ӏ[묊YE+ h+ژ# ̞$?257R3*_ [<鯅íVDFa2Ew^3[,}b؁ 'F׉ˀP,CQl\dd WϮ Rي,&"Mnm߯Gc<xJ~ N>EvCյ^QtAtQ f}x>@К7H#Xw6%Ge֫saX)QZ"{hچ  2Z7aI`B׻6-4819s`LT[c`GHP/ `,P9hS`]6E>@2y|Uk0qUbN^bW'k9gM ޻[{T^q' ޝ>!DL#$n qCBg0q?V)z, 06=ҜJjOqMmk:`\C -Rqa+wӦmyHoSۨSj|>I} {3Ծh˕'Hߩ6X 8`ַ:}G=[XFF'Xn +BW#8VP]SnXS ,&}m( q+ ^owfI?BDh .g{4ε4od2:j͈pB~ArwV84X[Umbjzf|*ZF@znp5#h9 ڀ= =̪'9lD&=?g=U $=jjIG;LخoJ2Hivק$YL&G&/Y .HH7)6Ct.$V/ U3EjWHUXEq!#IVs%N\Nq._ډш9[ϤpQ~57g\0[yKۂ3bөܞ '2`pΧb⸼3rWIzpzyAbhM'za)^s:atKXaTj^%WG`:ކO[qxRz'º7ʇceDLˈVV ?Sz+ aI`TqH"wcfwWHy52Z؎P@3a>nOCV7O~ ҂iG&@7[xJqk-*.<("#|&^DSdƻ0ӡ[RfB[Hyx]atẆ6y~}cnZhȁ; չd]e邑fDVB26wcNDMd< 5!%l&1To{?38$9HȊrdY \Z;RDA%`VblwQ=Ab^YGW8DǺx T ti4"ËܘFM(Π;Sg,70/q2I2Wc;{ר/Et,rlV\PCMpPx9 ~)6HJY.|ȈiI Mx +=ڄ۶tw4&] rm`4¤'uJ\kƗRiA5 (Q165iZt ^̮0a)~[pDJHYo7-"g m2[# UMÌ$'%@әvXSY'cV 9z^A/F@G.NjAb@4"m6YmӹPfH4pojm?CXG]JJ UX1 AqGrj<1|H:!^%R sTG8OS ' m1t)/ #]_o2fFb<+GEAoutwnVhÄF{ )2?t㥴p[וٯ(y#f7EXɠwPv{e)3䞖?uRDǯCV_+Bh@b >f Z*4>dbWCuɇb{|O_yK*YINn!+Vl;/}j#xld:K'uLFZ}l)"lTtb]΁" ,]70My}wE`=#Q!X)>N{zVG!Sp\8ۯ!:v>qkaHew=:2T=pV>&4# `sȏQ Qx(<ؘyR̀ Y6qs .waFLsD3QbF"Y"dfiU.flXDg]j O,"$3ع[`?b"_PādOp*lܔjs eoeÊJ[< %6I*L59\<ܫԡ(*x _7 6u4)eǟ`EZ?b)@ľ*MFQWrqr*5m9fUs9 )3Da,$rGB iOV_P]g^@zeX Wx5`Y̊Zbpʿ"J ^{qIL0͆RH4M M-uDG c?%p] 1'q(I+dVp`іWf/J~WECe*ϗ9fV*`-{r¿نa;_0ڭkI+F*:"EsLiys9C4v=^i ;2TE{72*I:\ˏ(|FljOH;9ͯm ӃdH?+,$\de塕⟲ͭf2h؍&Q1ȲnFތ@M9߾ʑVe"/nW<~H

J4wI'gi$7&:y"0T0 AmTli5UfHvz adܳco,F@3f"Ӝ}m8gTχSjñ9r[e;q7|fT|P|D8)[+ ?W$6VσT,Aj=uo/4R1]lЦ?y0,m)h!'/ mz8loiZxZזXC;myڮ&k3+A:8Wvez]f1.E&kXU`*HxHE(I0;i b&I@yzGvh*5t^ Y>²<Öfqw?=:wtY5'P?v?/MpNbsS~WMu ?~;f?c9d;aJy μ? SH%?{#d;d0pD۹ hD+p[{uvqo!P誸ǔզ:fvlQ Oho5^L}e~HFo`9<~j@Z7h_&RGLy&jaF5ҽ،>)B9SLw 43MLNv"~ ̕hP5HˌcJ7k~|Trz-*Zp"Z%_qMHoI"$7^lgOw箿|bZ{ar&P =-prׄ146s¢Q'!ZC8={= ZzBz+)f+ipw"@^19?4}9M+$(1&f!*$s]rR֢п:9X1K4F28]BdgAxC|͍a#Q.cw/X/ 첅C&̓>DE@z9+o]MQX^7)Yl?Bߩ=iN<|2):X͹z2у"I]ןy ZG(nPsGd:!-˄J}+L_nΙh&U6g a .zz(M)Y~gj r#C 1RBn."P?WOhgyJ.fqD?Sgu{/-K.ATy(T&J,;Es&U #GsgRy ^]v}n@+Dف"G7`Ht5Iiv CBG gDPC UCh᷌a:jb|jKzy*~ ^QQ#!š$:3rp8Ce<0f#NrBׂeƝMSy9ͥ8~-5:}jf#^^sMdf_"4A) q2jFDZ96I6QO ._6#>"k)„`1\T,y>M^ Ԯۍ5Xx93'w ųm_LHL˵ܐwީE|.1`x-f56dp^`3[&(4JMb2l&3ģ~ :qXW*8al&oeJ1cuil} S P|/srYf}10r7b5_l?pp$5\t`҃킩aWo2<@z7⯯Q*'ܤ(*RtFͭ9g&947RqdvdnZHe;q_XWorn|7Z#b{liYN~ 'I%6[g7#{ I-}6հt w\JI!Շ key j"qhPo[ uiU ]êF]Ԣ&Ln#2]8sޤU3zV\W|@4"R}]Tf$у"19EFu q/6XN!JNnKx 9" p+.E UfmàclZ: XR@QAehc{(MqKu~sWn+|DtG2 b*b3׶Y[PwfnEr?‚%lvrjEKڋTxҵӤ6h˛>etky_hS^eǦ2tlE~l~4ejS JP=tfwyV pn|qzł3jKs/m 0s>Vʧ3悉#0, 0Yp $Uz|T %tGMێGypl37ZbICG'}MSFL&T$5T`0FWN 9^[=[]>!rⶼWYwzLe}C $445b5q+Gg$" # :<9T/2MV忔 :8w0X)Iq3#\>rabY,yث7XIf*i*mvˣ֍z3 e~/ ?~d'N+QIr(;m TFІn('_܂Y_Td>!,JruC~Y_5R,oo Or%1'M5и e,6fK`+nU'/ז3GO{Gc,\x{ !o/(bS,##J,ѡӇqVx~< sv /2 eW">X͜˽37Yq^]*2ʪ= m_UkbbU@TI-D4]{ #F&/ e.7ڽ7:Z8qg #t@CIm"8ӻwȾ#jQ]fSUϥPd n7Rԓn^l8tZ%=&|/i l3`3F|ǞRz .B|}2N3^ͅglڿamA037Vt|s 164 ԅkTQ I%HrBpIٰo&T١DfhXq8##9UP H@1b[">sY5=^ZnZc&'6Y=F!g߼.'1u@+v=T9Z_Tc]pi噸Xq tXǮo9iOv@ 2 Dtx6ND!$WMo8'bX Ey `r{`~V='$1 Yߘhqu%@CX=8Pg2%.CKlEFI:FƝ8^mPc GZn$qt:OLlMǓ y_L!6OLN8C.0?. dR2{4n¢Sz*uM}aXxouZVa'S8l0y?l@/^uE?lS[-@i5v~3&YSv՗Z<Ɠn FDW:h?݃qHG&9oPHm}Mzv3? fd%=9QzIg }.A0@q$oΓŖv0gĶ,fa13Zg:J M-pIUʳ[Oo·6ZsX(cr;:Y[^ E7 e;2Q%G?8**0|]M#$҆$/RкgWrUiZyf鶂NfeY!٬j>8 oP2`::JiO܌TW]YqZfB)d2,S)+ GFtxPRvdz̈́bT_\/F#Y oʆ^Jc0l4Fs RU-֣. ݘw 4l> S|tӠnƵBV)?{\1qk?⤐|Ҝr. AŌ/W7x&tEiI]k# g!6}ΐ\}WI4:X`ר9_b9p.AYH"0'Ωk{b|<8EwB'z=CJ3YfJ/¼"UxFV>m/j:1fB[5fSGxV`j h>kxϕNtʴe.@ēbUq{("nt'vS0й+6wb aGce'c9l.om%0 j[ȾiM򐉥zR+E{uZq`3O&"Ԩ'kSڠ$Z䅂oIMdɶWϬVbU[VT?'EpJ }ui6#vf? 8=5THr%+>Rqu%l5ILUU6y'#C/ =_',K`UłiT&jiW0j܀:3t.ᘬ jw20G7 ^xFb\+6ŹПkG"p6$5_D*@@lHnb#&  D-W>5n"6ٗEZ_sdg*=O*@R[ oAYk&Ґk] B Mய/A۶C?YU8,#]#&3 y'AnSrH;^XCV:AE`8 ^ܱeݶ~X'rE4}5Pڷ;)z݈fH˄ : ;;,]ZP ]xqlBZ8ycټnj{"eX8vZ»A;unȕD8!i0_|s}-UFO!0AQz鿪߸*F} ] @?|}"Rc-'ۓK `GQ$s"k9{ qf{Ff?YHjΤD=pxP8uW`j 4vWnvDKO`s*Y2W$0ͥ<7쌁UThpy8E4":}O&1C3ǏgO&'i!W8"->Wȋf@qEH hZ{E!xVaoHs@jP>^ei?jY{z Lcub9v2frXI@a<#NW_Lur8%_0.d y3V&b{"/#N34y 5B"b(|4y/Ud*aS#eL)Y5?N)&xK+; azyDv'=8 LMdGiNM;% >Ac64J4uXob|օWeyIxjsO([;k]N^ɩI,(:Yip9 APJ?,ϛ1`|1T%@Cw3̀ D󝞿=HiN˼8JO [&5~ f{ Dw;űhw.yGJJLjp" t%V'JL{]V%L>C++ Ŏ[P |$A[E$vL˲u6*:UG0>p'ƹ&S$'%=i`<ǴiGI2ͭ\TŖĽlu)kO]XjE9bc$5Kc9Z.$x% 0:a9q^N:IaU|24a Ĝ٨+LTXA!/dΈx9jxVZ4IPo r7+Ʋ2qL=. A4 >֦bއβPQfh#dL#A. 3SnG0,G2Fmt ~Wl /co?<+SFgD# wmIʀk|ڿM(m>N~-h: "szG銪4hSO'Z蕕`ãqOע޶ۄj/ Zշ !rK$^A4> "&@'])3n@`EDL na=rUSQ\j :Q5nV;z[d ڷH\QaR3yt%/ >pzEFI }QM;Gr}FAXdB@&j.Q Gy0䱭F;L)M"F:f>z$"CTYf͌\Rgg \0IɁ~I~-P{'Lk9=wɎ"`ۤ iչE9Lj|#Deh=z!#гFl(0r#}N{=mb|64¯>@|ݻ6vPUdR @;z7ퟝP^K ~pB|':G^&Oy5yzdwu{;;wiHcsGٞ;yr"s9fEy`c;9&rU;( Z'ʝ2W JB$h,Quq@׆pQ'U",@ ,(\d )$ESc[$e)I0>KR̞Qjusz1a>65!}W>L:ڷ SoRwi =8uO|(h d5V$y1[ 5i=ю*H~?o߀!o 2|&ۥyGڻs4 1 Z711 \y\ ŤV~r3o_y/&P^E9~fpLaf#[.륿ҏ_ ːoHqReASM"Wl6*ds!TɯO"T.!h+gw8Ѯj:s0q`Q /S1p9o{\`A5(;fyY!(m=H`Sæug@T$)3}6hV| HINWm$6MyPT+| vOPjTsŽw2ZD9XRG~HҙW&U-mC}mA Ty>IN]W3U>c=|&m6o"A ]֑j!Np.Âjova#6sʍkýC^ϳ>M]r(ىI:&򣓏#7)4ګj2.Z0bDA&~ED=Pc8JƁ,a{N.n.lIg=G8tq3llBSY^70GVtkړk݅8486o6,KIA|`=*_ x$99brp>ΖHUvG2uz}[2(2`tW`ek. xhnc2;|4 2%e.sM·J6yn|T ȷFT ɫd$43J]wjc:Eնm"=kkQδ8{TY%ѧG+A83ߵ~j uQ_3>-С(&ș\~<< . Tz33xI"/%aJd "nNaU.;2.qoF)8yw=(s #OJD.[wU Bb0Q'ٿ$ĊȀ%$]x6@—MQWY{GI? fas,5?2N>MIAhq!_Q0(1F{.y`־cM/)*g9F;e\^-spRfyDkoԢGLHK^OӼ?E{O )>kn/1 Hpe&16H|q[|yH<ld_h6 f0 Ҩij=UryT8%.b\~Es3iƦ줤HjQ ;_aKۊzuSI*Q0#^OSM. MdמڿywGn]~OBaVe=w}z orW_R TvT1ml6OW9*24V6zI hhlY; d._|c n>rH$zVj o iNeH:E\B\w=yB3B=㴾AI4sݎu!X(xdaW;;b~K)l'dtY)@ O/K6ݨ;ڒNJ`mVT XK⨺4t B*y2)>nזRZ.BAԉΫN,Υ@I1Ȏ&ZT \,c@TyE慥En=K+șJ8F/`-*a+l/˝:ʁ"#p}?VOFHˆA66 Ӓ"y^2P0mVQu]6 pR{ir&cjĤ1i9|o= ;ʛ՞O4 ߼O6\ܻN lkD釿A(mf!d* ~}7I$3Kc"Cx/؎v;@$9z 4 ;XW)sb2EdU:/HSfk?$%)C.n73c3|Pkk#*~:i4R$.[vHlh3$#;".p !)8D+ح܎GOr4\Mklh+փS|(N?VRvqMk"Ih0>R䵞pwx0A2=eٽA''I-CdO`\ʽ!;.lݭJ' T Vؖ$mu|j((6N`(PWOFrF_*(| t+ ;F84w.a|HJBx퇽00f^=2 4xi"=UdByDxQK&OUrd|X '%]s0&%GE~¿olUOt'HeJtۍKpQt@05vLp[ ->_we?2L{Gi=[ {urz:1yﱘ3Z$+'HiEa ?ڨɞbIٜY,V 8)$'J}ޤfJ՘YX~Qoiحôg@ѽmIf g'OĔR;R}zi.6dTǚꘪZajoCT1*_K#z=TRm6NH?LX mB XQcK.cI8J'΄u(9JVmɎ1_>_[; g$`U$'Gag&I~np'UM*!lҋ=i3"M8][&8BNP A# sZ1 f_"X\9P+,?{ObntO8jGcϳ"Rϰg5ڃGmW "AjږqUA@<(QS4tѓQgP+EPJEF ].Sm5'?-\KmL/0"ρnyyy΂Cٝw+*:Xb.k%оf$U"J&lF9|Qu'_?g\ȠEj-9nN RxJL$3+tJ ?C`v ! kbl9e\I|f/-b5S,D;l&! 4cΧdZb2P$Q+N=Aћc5m/pԁv,qPθINvb*ኪC;lFcU fH~RqK~K(џsTH&9tXwe~`.Û⭙rIfBLJww~Ԩ[}~Zr!P:5@y >0 ׯ:t6c7ct,,LX +w0@S4GdN1•[S 4QKwMJE) ;lQvXqS IJT׾OQG*K5-n("?:/C#KbR*+!k)sz>r.I7``&5%d&J@0GiPuˤ=ƍ ucubS~yZ|?0I[(OR{3Nx9a~F~KQ;R+ՏXAju|.8&`VB\w>i| àنI hV-!\z^~m߈b>DcNDf̱M*)T+ Vzw7CA&Εœ? ZU B<"nr2bt(~V`r@Nex.&B|zڑ*ݷ2_[|V0O3DKONke;B6hǩ0("`蠖u9^[baFF)6WFy,}N6ʫzݬYIK&Pb+A tEH/ӄyE,s ʿ4k|Ő٭/SpdEH] 53^rlҗbPk  *>O‚0V7QW`=7hԀFlW=/xa:9ѽ$bg*H;E\jrZ 2 :$l:-Oɬ; 3lKVqr~,jAirf^7.\,xCD+@) s[{`.~ FϚw\}P%K43"|aA=$}Få|T^'pqq=$*v#Q1)6iJ ~aiUQ>3}AYi@$S4gݶEP~wy9FJހbvs0)CjNY'4Jg~nA#Ջ_۫~SzSSbHBK}N I:Q">nPC Z ؞;ғs8Gȣz@ &-LZ<v g%!H>KR{=s6UqcNڿ7sNeqQ w m&.\ҤRiv\!YU O@٢V/xIO|]Ɋ Ut[Ǎvga/]U>,Њ7zx}~ZI,uXoױ<=ļiOd}ב~48-7 s7FpO*̂`] }Cvzfi7=-∫O[zC.$ǕYxV7y1vu_ Pu're0i鸛S89Nj8%LX Jh~;gz@YAR$ވK.clYK:.Q+c"Ki(S¿ٻ2:&4q&>]~ ZM2 B;%Inxt~_Y$ &RzoE(cE8</1~ !~Yg Ȭ"ӆ-$u坼o 3Lgۦ5_s@,N0uwpE(kf5,ylk~@daj I&\"]'Mpԗ>H8'bh?H3$o6~)#QQ'o]_饶nx Ko7vmmuKz5༫&pƩD05,_}Z{ҊE9 EnQCE]CB@Ø.+Pr ^=@Y4qyfX hw詓̎JqGDMW;&J[=c&HX'mI!(=؃߽hT$?վ)onF`MQ^@l x2-ql풝qmf10%dØ֗rbu6 }uLcM{=GC+i- (ݐf{#RdO>Q8+p,uke(狁%"a[mv˰yImr g pĞ?נ`9j*b-Ji+)lbŪ[Lk0`(~e̯ *`b.f֘4->@Σdu3\Vb*_5]K}T56׿rtOPR. MRv78xJEnF {U`@ (Iډ"r9#QJ7U{ =H"?iB>WjO>V(1NltyDN+PQ#%6-d݀VRA;3ܬ,K -V$UTNx@o|mk'*#w#Aʫ9*>W?ƌ+ЗkBأyR ɣtq?( t~R@Q}Pje53GfR &@K%I˾Q6vAc܈ZT$ 1EtE.Z0OV6Lݶ('!`<cgSөƗr%u' م)oc }o;pMafД W ċ'cFM$O.~#k>:Lm0p: gS VȱBu־h7T6ck㭉ǜw<}h5!MU֜Dxz?NVٴE8.BKR"RE19OЊ =T,1n0oO=:ϜVsb?3g{\#B~iGP h LSF9nxYۑؖxP0oB`RwG` rj 0a7Rs N!<УR-/C)HfA?&pr,rb\ϋu0bRٺE;-+$wl;H=Bb-3 wNv fDF=ͤfSe`vBH˼\ޮm$U @KK)\Iajd0O+Ij"='d̃y=Pmj-CUϐHȊ )B m,J*/l]T8(I̓R=< nSk _<*$Э^,ͯmmf.<߄WP%oH+g ySQZՏAb0V`ΜY#i NJ}٪{@?7{0.&7YD7|uM(b.]=['S {)vdj/,.p>[Ͼm}(Y04>!ÿ;NdsȒ65_D~74L>O}#xڧZisiW19#C_Hppc6fҕlO86Ekf rRDES&6>7dZ4.zdv'ڎV1pDCr1eDM`R=¦L,-EV8v2)b"˱!. u1cw증923y f^d z#=VAw}4C:Mץl9F.B@_'|bi^q ڙ<@JЋηgç~tWC(ҷ4D|C=r/^ &i })'K I &Pq1aPRI!=頥[T|wTj=pbS6ҪUߒYJ*Z$cADD]`+SVv;w2i}@c&4Y)5"m<ɬqlw+T/llpʐs1m¯Υ5 t(zoKTFGnݵ') nebLKf&zgY5 嚘pSg@6[OPҗlF{!#/5`Dr"[dbq'x]F'q$cfADvŦ Ya @dkr[%ƍ*"{@ H 6:v +_8lg6ƢhJO$2^)M}m NDrtkŘU(kQc OVGJkI;Sv!܇ Z61,'1ٯ{x/cBկm\x T3 X^*ikm130Y;4X;QUBS^z̋ 03QM GA@tSԍ ܾn*H`3Kn4sHCfGmSɟ 4T 'UFgv鬺Cr[z<<2c!HN1Kk mx%hDlhM͓1l۹¼cjd#rk|X&te еH$;rО*/w3Aw?)‘DlZ2ڈn!:9U ڔn:Vutn^' ΏVfhѼE}g.,CU签$(!sJlƊ- ;0x6Q!;P17䟜!߉tp F F,u L%&ve*qd%Y,S "8 +egkHP3!M pbFydY1 pJ@NBv'o( _ s̟ޘTO6f&#w rCֱK&HT'Ќ .C&0VOf3oZ $[D@}nCq!g"&GP_W%JL|`w[~<: Qzdﲮ=0Vr:L6zuY=ib^%MlWaĜy?o8QAV9F%Ђ2Zi⪑C=#Ag^\@ ^_I^[e ҡ95PʵwRi`$")&J-A0}Vj_q؝СHUFs4 -qǼN+(ܶ@Bf0@݀P 6Il#28tDCY &>`t ,D[ۜDv?یbVr<@ .vZ<޺T ?( שNE؃[0@ #Qa1 etş!tEo0]So`(Ky78uijr@l Y^kpCvaWMR!yı~Vjv)Gyj3Gc&|;iT*B-`2C \HpsKڣisD1v H((D?SD}ҵ`mVMeU3ݩH(^^lf7HR_d7U['KN;l6y6 u sW;N!CiHY)-6 nium;La'^ Q)ʋ{e@X=׉>75bYZdvA\β:{; |Z~th2OY(L: /56JTªr X$gϼH!w4ⓒ*\:wu>F;jc64CJ%50F;JhGSݛF.").ڻYBc/Sl]3JJJ]*?] ,G:p[3g3Xq›0c5u'`$4쎸n- C !%'xpj-?%ArD8#I_$$? DJ^oT\1MMSL60Qf-X, r} W@,b[ +a4f(`6pI-I m#FPljnDnMЯ6Ge)otX=90u9'R6Oaxٚf I60c:gEbEYʁ&1Zօy(Ta=W VY!骝6rCdn!m-?12]?+N+&V+oS̪u&ئxɘ- ݵL.3qs٤\ ޮToB3hw2­ Uj؀Ua4E&gIcDdgD$뾺Ow³2F9?5qFJEb Y2G~<3̍hYz/3VuW~qGA[R ?)doC 0)`XL{U7hl hua1j%਄Ȁѣ&aqX eɣw͏&l6nZ~Ql>n#J_Vi*)r9bhif$RThT:{-jf7[Ŝ lri8dңOBn߯2P@UTh,UHMP ijزI2{Dq 4\:Yf5ΤDC etW3s[j9EÍ<"DlݮjajwWn?eD8k($kI: $Npbt-9a9:}kOMͼGq]. n ל[V )C"-QJs(en LԹ0ZӋPR4ao.`&c{=omQGA)/zD'N܊R:*Oo9yPfKEnrdWK1p{^5 Z}Ik7"ŰBB8OK3#=FJ1ˀ-؜Y?I? 1_s28M6l*lR{cq-dAqG#*L4P~':~>ꇼjt2QZj~o:ݷس! `ZZ e#Yk~RS^#ׁ;h=U@` R/#cBQA=dYgse&Glr]RO)E-5 z9<ҹ| ::XB);,xiWΫGELZVbq H*XbIG@k6K,!Tirf "Y{3zdvjJCd3\ ,i)y? x E.4Khw֎~JQPϩ ^J'{=I#3Ip0= GR@?u@evKS;jekJ|H9# RP,. ZtC3ɧ<^;*38 20JR~_bU1Q7l`I`%} iF(k/A&'@"4Oz4jbjQXP>u8,] DҦ\%.TȿXPKu1K5T??cJ!Ҝ~B(j و8,tJH: aq.8']~п~p1 *JǸBb'+SP DAS4V\-o$ӌc"\d2*Lwh1;9{zhy78͞mMGR2ߦ|9(o%Ɛju.3 ¢Vǯ kAԬ9:\?;_Gb? )n`SoAEy ܙ%ڵODصYam˷E.t@5=jPYOl]3)`+QDe#ı }3õ>Y6a Ș"[tC02֣M>&^~kI0F *4!" l=BRُ,Q2'X4/rǢ"ɟyłixm<ԗ= l ~u̎rХff%ަk4K *\W 4BX @X[Z!CݕQ:{S}>^TVT1wɵ{N2;x)dž×kk1[hCӃbPp6ً^ɻ⍔ʋ0[ LG,\Nfc-fSTWB Z104? #^kXD,q.<ܗtl~% W0ЁG޹ 5n{ / ow`RD:&($y(ktD%ZVVGs}jf= bjioNa? TO-X3d+pdž,t}6(ݺ)8pRkjm9>O !g/E" ?vfSub$ԑn+evd by{;Xj%.URgticYmhz%BX8/mmn8h@O %r&6X?feJ5YTQ3;>āa6W2F`D Y`[rAmX&&z8oL;}>B.1bdh'д"ᢻL^P.< Q۹$.&Ngt{yu|-d;=>(k^}/( Û1|4k`\|RܬñQ@#KUh. 7[ &!ʧ9*N"XŤ](}D^LVLGNV+qvs  aȷa g&bX.=pE)..7B2 _`!U."FUgB!'D} &Iu<? ob!-8U;:F'Dõ`b{R8`65nׂħj+EgA~MAڶkO/w5ϼYL9L]1]ص#<Jjw$N#yƆ!NѶ{Í_; 'sm` Ԗ ',jf=8GwHJ ){֩bz= 8ޠޖ_`ܣܐ-*~a"יKD8t .hWnHzX>4._Zu=() Dz Dvts?\nʬ4ƤУDTPDْп RB;-: &]靃DX >Bg@0sW_rVC=2c_fP D8Rby>јYV1=:k" u*<t3ρTiȪ t_$ ?NL$2Y[F5eдv,Uh2:O=E 'jh)5T@BG-+95 Ad3WJvHuu&c1vHXdX2iUDRO`Rjb,hh@&n$1aL XDۆvDt.yX1V%Uojt%?8S8V2إq >Hf4/q$GjTvĠlIԗc$$΅#X#KAhFY͎j?KH_UZ#=2ipZ#sqS4 64~Zvޚ-A[~ FrH*]\aEA/) ޱYh; ]|W;$( eLlṈ)3Z*Fu Ku}%eyt-{ʮ6Z@[!-uo1).Jˣ bl&M1m4Om9*IO\4x]# ͩ-t_l9uT?{Jb;n0*m6>Ey [FֆN!{:G#3qj-i5;zر_l2>)P#j8d_ ǚ]t%^ak]{֙Cte2|r,DCe J&H3X-M.1tC,n'z/Zkʆԩ;QkoV6\sϊ ƍMMDWbT„EI@1x<8aT(/̢d!&AmH>r?/u!_³4JFslOXQ:|eS/܄r%#Bm3dW%~?SRfW?Z" o'/"_Ҟs=#*9ȍw*) k~نvJi*2xDS.Rq.Wª%p֮u 2x3yw?0%Q;_T, ހ<"ᦆJq[hҋz-]iQ:C$raaOJ1wxhUg|X#+Zַ\g넉J\2Zފ>S/YmY8B#Y4z+M{M 0stTzz_W\G9AIT0; laajIǗL 8}H>~0fdvo W9lupqpd*)|mui$?"Ze311Yxy=QRZAS$ ;*Iȍmk/ Uj.&l A pݿT{,0ymU_4-?94"4/`܏'<l`v h =3<+U?ڡhl^Vn(nV)4b_4e}Gp@U xGEg'zDGH1 wvL<d˵ر/H2D -%A?>{2m5X y^ihs/}.fwzɓP)wG$OvRaG^M%;TCR *)݉+3Y3go[@dٌy<{Ɓ}EЈL̮JlL-Y> ;Ix J"oijZ=݄O Wz. Lcke@W(c RAq\%YT4߽@b7yjm Œ@mp/:?޽jdzsvLR>O S& cih,"^5nP0l>QlrVƘc'1[zHU#ZkZj(d2f}!-U#ĒA7+<--]ûlүri&3.43ݩמy~:ċɨ Hn8:I(PҪIƂVnR /r|`2Dz&դUڤԷraN<28k*XX1i(GfnTm C,"CaXjA|b1{ﰺPwT!Y/L5)R{b3vGEܪI O1cJ\Ka3xu@R5hyfUA -+('ݔqgxM([VЀ&1ݖf!PcB>gB_gP%TCQ`8 &d%q 9RB](Э^n6z]kqcToډgc!aB`38S>~ݗT'ؚ)hyx@AdOu1S*`0WF#W[DI{NIf*@AĩqGܥ ӫ ,ՍC 괣 )KȆza#e/ -/K/x>0h92nV.UjJN''| Dy0I$/ybk>5lfE|Hr~2k~9|olWn؀x6 UqyԱʯ*xFZ,סyȗ ;;}8GKGOݍR!wS *?Ca@=Dp`?j 18S_ 4/2OG y5v8 VʼញRԫN+ ux-7*FbUϭYXmMmybPq{ڐ5P t1\RP۴ʡ HQ9+:ZFNwwmՐueloXc\ ~RƥHRո-Ρ\K4}JtsJHZVlj'L̉K%e8!l`} `&1%erZ[(3ĶvtB#_k,D^255 9T4.XW6o1L䩕Z ?@0`R zl=v?nѳ0_?*5:%|yUMfZXP9 Pf& x!MFjף߶DGӦPG!ijG>,zd8-C&T%iKyU ΍m7ZYu[xy=2;FIcM)ѥ*NH `9Yf"ICWhӀt0z9תvAo1m.NVҟ|0DtIvm,ݔyG1`5]Z $x[Eb{J0niFb]k-ړZ1g{( >.F&gFu-쑳eח$;B᜼pQ3xmW0$< ;ts[Е1S;-_tm}v !#5"le>SoETJXM7'bJ;k5b))`f#MZ3BpU$dO}{Ks˿>"5 -C٘[O0 # `zϦ~nKOZ!PX!I8 vTӳA<f'<`j5Cxqf7wL*U>3 /[ by\w^P퐊OoBZKd`p~Hi0{D#vѯI;.VNZuph -"x¯X1gY2~/qCt>ʢYQڜ_#SFM nŷ|ANO]LZ|[ %!Ҧk$㮒ZZ;;6e1 [0OS9*)n_m}3ܳ9-Wsꖡ67ahU> ]C0 mFlrpxD />:}^^sCLScaG; 8C"pzH59$b! ~ӉQ` $ׂAm;➛AN]basT$`ȁR5uβ^{T hpULbrg#v6jz}n7Z<~Jt㺅AyybkZ<ž*JE,ݼʼRM8ӮQdqum"nҡӌX(q Ɨf:K%Rޜ+lx]|zr?- \Z re B#)W7t(D}Q ~yE#_SMt¯$,hA*oh(`@g"\aEIJnt?zQܦ z!v3;Rݹg#Kw;?j'vi$ Yv. I6xBc!J/jy 幅/В^Db3UmXU@;N۟W Z Q=^ T@i&T&qw| sYY׀>).T9M/1=mkVoM,p-,hZi>[<0ܲM6s9~@kÓJES8 5Nr;j8(`𗊩R"5X$O̷T-~ş=!k(ģ'W;xlˏmUH nJrEUm_I9JQ01hMpºcS zע%+5j0{r9f]FEkɜ)W$t̶Z( S89@c]Xt7xPkT~a[LD\+VS'5ԳɽQ>.#=2'< nMTԎT`-RƉOJa=:^=CHmĒ= :-V͜+yojuquf dvZ*HPJI9f,ԜHndAS׍}M-Rtmjqٕϊt) geUVl>O$It'?>٫燪q}ЄqHn<Ģmmd)@ ?yQ@&C|.E/_>nWځvJj/yeUf)_,zF,fY0%?$mH}dzn@W̼85H k"rF8i쳩zy|7lga J Y!Э1jn.&hށ5?7򈌮C_Efr:FS7!% ޝLڮxX9=j< s5/}=O'U{=ΧeBfuJⷹ0h0HlO|(y3f =LB.ӞlicLA/˿ '[=d2?e?ce@F#$&GRm/[)(d/4Ƕp1pLIXJ+ GnrojC1Ehmdw^S'6)sM9.K;4] Pzv}{ǁn2&kGq_ G:+\0=IjF-&?žBQAX7D%PoױԷ/CQ!ι ls:r=G;7Ob=}7 ~j>em``tjZ!W,-Q|1펈G xni ^2}ho϶AymӝcB'؇kvVxXPLA)b( {4BKDP!_Z)Y#+SMboV!ĎQ ;L61=fQ/+,>EmraYЌlHkIq1lf2:Qھ̱GdUu26D_w{p8MC4K> *+KUcj"V_ɷ?NDZIrk>Vb17A 49 @ѿ "MZ#%]W&r,}B_9]#'@8D_%ŴϾ }\RlO\ŕ܆I٬k=:=x!9Hn%bx-;~`Qb"'u#S@Z<0y C7o7`~$m2gg5<dΥRT n@0KY]Wa ]pNй EcO=<Ɩg̲u%da2y aj`ˬB\5&0K=Bg (dGRʹw@^ߊ^Μro|2  n۳W/3 \ $aHL(; :%K; R=)́= ANH"j5l/J+{ΊBfΤbclEȱPW 3VckّS򻱼w+ AP16@{]h 4<.i1̈́pm| RF23}4hG!V F+4M;)}l @<2wBz!⥩]S= R(ԉ*x1RLSn(Qs OR8Ȏ.")[Uk{?Lb-"f}`q$Ln,|]8ӛ\*=Z0}u13d+E<҈ !zh{`B?Dc%ױɔi"A֥xQ[h·(qWB6k͛REz-rV[ꮹ 0vMSQ4\QN푿-+ Lq*:pPAh/j QҜ5Zm2i'#FoJR0YiD2dVV 2n@~;ʙ}xzF)~dwtD4oL<ɍ9`Fq\mnmz?ew4fy?\TРH|TR%{F3QI(Y"LJ ,<]IJdfyΝAW%3m9An;ޱ|k SPdqKtKh!Z FS?f}(0OCrۭ Yh$ }sޙ.iޥ\)+&zin/C'fȡYXtx=͚FUTK!KzK2_1  ?>z4: ,$(X`+o2xܦjo!A&-47/(doM_G5#>J7_Ι!J\"06>fA!K>H:/!bgb^Ω2;HWHWJr@}':ӣ^oo.L8?sLRuަ_HÓfOU(!<=3~zR/7xcfīgJK`88g)gyᑹM4KDwGP)XŸM.֜X2ұD\^dd5HB9/0.1._ g.UfQb+%:ε {EF(yg81bƿuKn:_e#wzeӴ9~ `F`F8:]AHA4ŷU.yYޮ$ÓwJ喕n"HucU84NF-Z6tP0)mo?W}ǚ|"Q%S&U30b]Lc6U0yPLJo)Պ^ℾ{5Tqg2H?Ρ+Y:0*<0^B{Yf=O*|6u`V/vm[gDbU؍ne.XPΖH΀k3NkVLRsn c&ǹzȲpW{] jMozy",su5a' [T} '- !꽯'ZHynR"Rr^5H\p) 8¶ZM3 S/G%5.qq۱i]Immݡ:Oh#7q%t(˓e%+w+*׶3ig, I$hE@ M:oJD.tAwܻ9Şw4)تݙȀk'[N*UuF?kPQrwAܘs_;GMZ'C?gd4ӇD}\{{ '`Y(DI@rT>~0ՠ Wl!1! 8&#b,'C.8x& DiM:qǚn%MWN}i%VIU':[%2IEEmSr*s#y' egy$:-$摠uqY* 5ߢ wdNJ v/:j?,[[5N _ֈcҭD[63ġpu,=OB,_S e+9wE#O\OV C%\GF*\EGEc  mZh0dkMԅ/t1@^>YpTˁ`78b_F:)rWvCOg.K;@&-8a-)Tۼ3k obFMfXz׎,C_axAƆs<]|5,7AWOaHw~452}qTtqˁ SL#<)[Po /5u5WdF7(&lH&g}I$t55H@gߦL9gtލn⥒[HINl ~+M ?EƩ2.v" 12&,!њ*jwG)Aam8fx{?6BmjK G#bZFbX52t&{#r'ItG>q8G]_j J_ u)gDyg k643upU!"oT<,6yuf4}ŖNx nK?B +9g!XgOnv;߭SAV-T8-D]CB䞥OT7}Ngk##Qyqvp[.5#"D!zHKo,O&E? i}Vn9,,w&ۮ%mޟ}\9z;2OViԃ Ύg[WԽ&[8 EkvQ^&X%.1DEI<ϸL%+y^`:[мVpmE۶ҧV8Ev8:2\0(Nu׌X h^^.퐧Gi2YLٚJ'T3C +(o뒮=6ZX| ?Q?ˉhw?8I,Rlr,Kug.ަV18^qnD$c0,(F䇊l8&]dgYZ7zXZִF! z]ŗXiɟGNeAS@\tRNۜEN랚UBdzq<\w;w^cgc E?F,H|y+[8 uÇIBX]BhHv'Kx0R;K:N/BFY u9"2P {8\6n䈧).u.F?Tv`5X[CfHak`LozDabg;=wsoQʥ, ȅ/B Sž*(W B1ta4F"\BӱۤO}߈#`oD^.FJJ#ߪ<ڛz5`pv# &DDžq 6QȱgYZ7zXZִF!  ]ŗXi%L!l0బm$Ʋnͼ0 XXr:8OTۓ d!#[hd\^TJj ζPyS[ ԡKIa^sKt?Nq{3.JZ+@ld|-3_?_W[hԜ}ccr|$K)gxT؁cȲs qa]>*u5;8W X? *QxԷ &G kp3c-xmjF3&yJ، 5-κ]"RFj/" W}?b/JJ Ϝ. ;?'m Z~01\M5V]J20%W(Vo4;|!:}]&Wy_}=@n‡Qzk6`˨}aecJpn^")Y wiI[Tn#땗U80f3א)PYV'<\8H nF[:/H4߃ک+Ȅxdc1ʑvK{R}'mPu#)&N-.LCJD`# 9;RA^9}ɥjW'Z Z46𰭂]bO1 tav;L;7F9"(ͭq6w1 7.Iho]Fz,*t( br֚kcdbŇ:(G((Ah ?yYdSCNphW``TOPMϔH=CUЉ|{L7dbQw+ xxjF50_[pB+!%: N%aF)XCo|}})ÃYUb`%LXJ9 *=C=fo?^wh{ɩ;:F'gS0?jN8Ӱ̧r ;"P% NjVB\z#n+aGZ;. zEO523V+ ¯8><>:׷{Қ?r;nxZY:JuzfaWr.q$bP+e]tvhH23ayc.Rw=G%iPGJ4mӦ~;0V[m:Np urCa7߱uU6;Aܢ|1lȗ54_VhG0JrRGުAc &|y) k#`Nd.KfIF\CaUAfX5)τ_h9}c&nREM˙ͩ<μć3`* W4Hd ySHl}kI~LiB*r`EVQe,`^+ʹ OC Z#~!KH !>4vLIt3Xy 5GڧQ^7~;T asn\%w=bZ72Ђ}L},'n^[zU#|ؼ+ucH2!k幽_=KLlgsz0~O]GnsOBjjMIv[M{Tuj0hU ( A1n[J[H罥HK*qPÓas*QΗC9(ıC 5x(:ǫ؎ܢJ1fB$+G77f=6p<: xČcVJʜkӖ(EB[zT yS ׃:e&k9#.Rβ>t`WQPD<XtػCx*o0e!HH+V?v||: IȚk}Ow]NTP &s ,Z'{:Uh'` X&WPհ~P}i*K ae կ)pv(˶ҋY4h}Fo"F4eES^N^s3x>6ꯂ<={˒G{[޹$߮dKݖݛ)2fKA-$7zҰ˃l8sQOjhF'71w~M1nB4ߴ#T)͸~2-0fx?SHb7ҾmA:35jPbIRXrTlb陥,.U.G\| 3HBٔBcMV,S@*7Ýd9(">労%#}{}c+޲}ԺAb8-U Ϛoy=N_^įo-@\ME.3!gt/B&`5̋j۱gYZ42dd4ae1bb624ab50c124f6fb8494f84bd538a5e8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 6ca7c2eccaa6d6c3222b369a56320daf10f59805 8ac046f77f5f0b646672f561848283ae23a12b8f 284185a5e3de38e8daa38487ea5ae87edff6a975 0711080f89a6d3bfc97cf74e2b76a34f2f6f14f7 eda52014f6aeb265e5f2a023ef8df887224b46d9 abb74af62b0abb933f33a6cda928d5546909a3fe