SQLite format 3@  . BBh77otableisabelle_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 N5DDL ]S HOL-Nominal-Examples:threads=2elapsed=672.966cpu=1213.688gc=125.284factor=1.807zXZִF! Y]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[FSꓷZz-z65,">røY%{?h2bdJ) $y13"=($ Yy eS9g.*lm5j[W^ǤYhi4p 3qCv]XMpw!Q$l3/WWʫvEOӣ!̀رC[C>>ˆh"x Oљ9HPeQ| _DGo+pyÔGK5Uc,(ڥ-#ՉtQK[r8d;jwuSt`Aya9k#4 R{g:?Ӿ{ vRe2'c~Em*L=\*AT3$턠3`Qvky3R9!W>dݢ@KG CvE62=;e'AUm9IcStC:0Wġux wΗI|);$蟻D*qU"ATCVBWtb,<)^3]hlsI|h.ocpr8 zF6e_OgtDleg<8# Nyo}vð>j "0PVgb2dFkg15"c87/șwin[@UC@Pk9icK؊jw=2TВ42^P<ɱ#5X<F6?Gc3jPa T'6aNQgV;wr4/\i]![WXVOX"KF^{ARЙZ1 "raF~'K흇aD,2"^I4!@>\?\=B89/ `IH߽);<;!)5;CrNKҊ~a0k@ v_.300#ewʸQ-M 2BEy3RҾx j fr_xC|j3f(6lE@g:oIMT=#uصvx'(LcJc-ryu ɶSVpḺؘ 3V&h[xw X]Mj5[.\{& mxa ?G2Ar!s5R>G~wNS׻xs¢J&7Xÿ8 nCʇO'ULnh27Qljkfw^B߯AB1?J v M0t˦F<*uQEK^y7#}ڹw-ö{Td:WlC&s~$YfZmcK[9Raפ׻#Z@Jc44| *~CD Y7(&y:\-,Dnu|.P0o9)U 7xCg+mf%pZ4Ŏ̉굢a-f6Gm-&}H}0e|9(S'5.oK?b']$Ɔ"YuͅHͯh%-(@V[_3'83L"6pUWqg^&-n/ÇEq! 9 ئ9%5eT a|,TL L΀>D!C--D?I~T-{<нxBiXJ %xe`Z/ QeM9R-qzz~hGdrv: Vu%بm8%kI2zo g!r/IqȞ޺>tE*I[&H9q$f`ofI]DWۢ"$xA` Q}?ʓTeF78J6g2a/9]DXo^.ٽm$!(#rQc𧦀^#Z{*gnev0B6(1)L1 PO&C`m:VDT ߫@Q(3elYOn]zɪʗ(\Gdžnr眤0{Lnp: 8@IQ/kp5umYrG/ _\gd hԬ569` $*9v&jKrW5=`7{1 b _Үfh^C{#e@O/K ni!,c~ּA!p]5o:A*]R'- {6iYW*D{;qK%l`5ی1ܢ5$ ?Q{"9o$ `ZDpF iZ8)BuOn6ZJd>nhΆ50%wgLTAܞg*k3[<:7vj:2Ҷz>",3P$>(jb͋prH?y:=,YOk֬'TLn:\/m\&gjhSLvJ_ƉhOnѳJ 1!ъ觾2` bn _}猉[&?|^U 'Ǘjv2^o: %)OG7AN!;=ިd%P1GhkDcoؐ[,]9I/@Yo仑:bdЅ;{#V-0m[ 2u^xt miimuF'E0AkNxnw mNgk^SBo<J16zͷ$MUP8A@`H&EE2c-4jM0Bv-9,oL7(^ThF _$Go+ 'd@i4ϛ wESdnQmnYJ>=b9 k 7#CbDlB:^W͸TcgX$w j+5θwb 킠F4 Mu*3a7'*HI= XqC|sgG^u 18zt, #+|hD|DC\30d sw@~K H-L1I'he(|։<|l!3vh}r><a{XӰf =l_h_޵8XA?tC!gM 8+w:6(fOL[3Ltm' `F >\1^ TWh4fCCe/u[w+S?B>Z쥠Q3|S\9rBdQs5ǘMzkVM}`? s 71Xjʡ29&k B-O|:!ٿzt pK/w2cT-N!D'[ aGʼnVm8EE0 $Gmcj[[,dD'EkT0 0iv%\7~{ ҍ]6*{cS:gʴ+Eeц v^lHW톮BL_㡑DS] M/Rdy#;9+o>KSDՒ}dQj'NREm=O _87"-OW=4J_LJ Vd{if9Ypҁ[.u7Rr"W6C1iyDxUna㲑^d3N5}+#L#bp}odw)2a)Ɯ0>QIgpІ~7wqNƼdw T\Tk;<|C{&pR6uJ/nb8kOh~eU^w,({ }%Sy<2Oy!T&k}GJJ`ejtK޹ j6\%[fʮ@P|0<%I/q@n)x6эPoYy>gZ}&In+U5kE'\1(C2TdwC Pha#z$!\9n_O HdKs H =H/3[)6ݸI|>Ia(iVWUe%C 2ö L6?gn& 1Si2X)S' gT^ _u|+vk3&o{, mcz+dl;pYN:s| Q^F_Mpn=C?*Ƣ0b-G$1UJL*^ %[F WAā?mz Twהw# U"-baWv0lΡ$I #lSglSZ- *ݒY6@8ӧ)I‹[j'_IIC^*~̍@(\R@fuUfZ S@hS8rp\aNBKH.SnO=55f`).QV=VP(?@o-/eP24 t>+}c{ W8W^Q)U]7-LӇS_@6N 8iH GZJjQIBr ֊< WU0)U]8uѹřwMca~gDBl<;ޡ̥p`&ټ3Уs+&\TW4@Z10[eߎ1J35:xIjB3+Un^w Mێ j3K`J(YOs98Wg>i{UL"VMWZE\pജEr4(5M3+vyMw=RpAZ%s 1!&h)bt Y,*I>D@LJ:EiV$x O:3Zde)]->ԴF!<֥6CtrUlSʎaIýWSmAH%pDBY7%#?*p%C+Ѩo%9 Q,6YoIȁZ$1Iv{7.TzpαF-He l[/O-?l׈ ep?7qA@04{Q2~p -bΪ_.vxVjCEuC];%3xƧ"ѱk32{11UG0\TtJp)T+@j :p p^nB47"z8yĔA2>ߩ_ y8\v6QBKŚ9t$̪C;1KAHXij;7@4"o!z(hTځ\nJ5M,VFOV >H/`$3"ӄ/YHt H #e3Kn{FQ#ȵߖ_S'R)-$xV\'0d+_0=ҫcݽGMU1{XE(%0B( FyC!|Of^Egg=HZ$Fs)q=j Q[UI8&uk;&7/"q`>S75]{H@mz{Z?x݆s ,GlyѢ͑@Jjkw|;Y>fz6-?1 ׃TI5;26oK;Pqޖ68]Hޘ^&hhmo=F/}?&CMQg:< NB= grj݁RhK.8F؞X,+:C#kOtF|Gɇ#n溭Nr7J?n#]}0:pgӡ~YOs9 ԫ=|{ <>YpC~&A)N Q"yPîU勹TdN\RڙJx5ѹONޘvG[ b_*t"m:Sr%$YldMb$dJ>.@ˍpA1XьRPt%~!h=IYܜ]no*dK^6?sPPSUYA}QF7\<Ζ6P$ilI̔i[2J I/ `U>R7H.!Qˁt'|􄫘֙']j _IpC~YYmK&6ѡk[bp>DL<*@'>v. Ȑ}gтޗd/?Z Ҙy% drEfTܠt,?Ic7FX'9}z\lc]y}1@SY}N1WڊDIMI"a=Vf{Bx!FY0|0yM>zXUʖB)wNEk$1+[Bv!r.kT d"ܧ/s%y<% oIU%y l=16'Cz^^H f*ũ3ǟbJX-`^'l.Y/}2Ch%.n: ĹS,[\Ut㚦c,^ H '5q\6ڗ$dHʩ6#]r ECߑjg{7oo~dra\QtbDU3? BluAD2 +Q5"q-Q-oYoFz?Ș|KEP1!>5 ( zN 3OAE'-) 2"$_!Gݎ{ԍZ5Ʀk^RSVL6jIrUR̂Wѧ\) 4DTf 9M O(bN { ]r,v3};+m/Kæ~< L'U9A#v4 VqRq[Q /j?Hy $34yRn &:;$1zϡ\n}pl+ǖ[񿠹*-y+l$_s~RyIA HNfg" Kؓm*)1!H;FaRO_!}_t"YwZTN7؜pe?NS+d>K3dJ _ ,#Y7;kbͬ83"~I.)̯(O!X &Q;hT|S6ZT;pΑPqkB@cPz Πypj3:r\ V"@LˏiLȄKrǜ N2.Leݤ Dc|2 Ĩ n^㯣qS bXI,R=cw(Td,W w CZ}krPuWFJҀkjJ %[u(Y>FmTtH.?eb=*UicW@ijNϏ4-&0- .&i7EL@um<6߮/A4mv/qÝ=T@q*tE/}\Tm׿D ջ!"8` DiJݶk."E#7{ZGJ=,Kʧ$ 8Sbk@c([kp&vTڀ )o՝Zr d;@P#~Iu>#嬁q,J Oo<" ;g/5D*޸n61bʠ:-Ԗ_pG$}w '!rZiQyXEꙃ\tۢgD ,/ϯbOr7 w dJ?cU,S$EƔþ/v;|>ѲuU_tN h=ó KUC/Fp \F J71>g;-Inms;TAIU~//}w k]by1ީ0~-ЈjыPl۫"nq?Y\i2< 8JBil]) %2/H)U>=Do\=2XA.~\?)YCˁE0~[ iӜ6v6g@5apf\_te!AG>d6>⶧`tV#w6 "c"ob]('W7dRXʓ_րkfiL7%+{ ]}D..%CZ!D4 (IYAF^gÈK慞 [xE;s Bwp-c脢?p4r5g+%^8e[ǎ<̣c? =~c7=2;Q|О5<7{|t'}$b3X9@;x %U#LT()[EdP> 2 pO{4/W4drR)l~hW\}0F z')_P%4m?|E'ismept.s5&z+'"\=Iߺ]1NΑ̢ۖhKW`eD&? Vg̫lMZ3LA2 TZX3.Ov*ի[5'}\ ʵl0FCRX3O'؇,~\ȃm p95qj"OpE +9 F@?%zP`Bw6!_.CR&xkw&eF9lG6!$YK`~χl_ Ѫ\S$je+(]D[#bMy\`'gq>0y  k!+<;dƑ:1 Ěz;A|C5Aa` 6.ƍgo9q8Z(%™| |`xz7 CQq$h෦AHc'3un9MZBM>3,DÜ1iQU6[sJV^Ş'Z_k}#^;FV'V9M(C[|3!+1]D]<đ %UN\{8r+'D@*"򀭰Oš34 :a߽֠ v" 燑z9y #(wyqԠ=`[Ky#w(q?V#tH6BP`9`: _:~^.X <| Qb&N^C}zDauH'@7/^i-3)T9ަ9``Ѕ;9u2FiJx>&.Q$l1}p %B%ϝvO4z#gBު~H\]p.r^Zxp6cMvcT- _/W ۏq]g0So3Lk˗2*ӹe e%U6xʼ&0c$fCRN#zn!yt~`a ?[pql =LH彌;&c xXzw+E4ҧSM? ױ6ߤM$N;x@^ݻ% 9;1WiWƆF H+\^lqS̲lƦs 'ia>dOc3MLf֝ [G3\hVAI vD˝{&8Exu@˔1nGidV|q Fn[! RāDa9d V Dfcl.94o.yjOڇ ] Hz-mT1]p/ TfLnVr+66FxjU9438౷) uuY,-pDAv6MɈޛCQ a >%Jd AR:T"U>fVyN,'"kdO[}B8z!jnx!k>tW`#"N7E6[ʒ҉0*yЗ{BT(7Mvz ts[?݁NBd1z%4Zn4VEi ~ECqg\Sb7 q+O5yv6-a7L6%3?KAf~/sXuHF%2NU?OEm =ƼB\)k .5@ 99԰e%F9`tgԥuZYßUN{_#I3"Oj h#( Yj" Vk:y7BbG]i*#D܇?8 &Y >*n7yr>Ik-HPWX#םsb6dLp$R^W"I*TXl'u޷O!l(Kb(eRu^+Ʋo+tq0Zc&f@i޵@sn~w1YEB \ e!FP,%*j ~&$mmΦʳq*CU9[Yb@ əD}hp)e;㒁~_Nkp_nL9#AJËɕ0d%SEoc]k bo'zJ==@&n%l1Ϊ>@مlTAL ~~60fKZI;h2}xV"̍_,"}nj`c~%%$&/!¼l&ZW}tOn^\Yƥy,@oTa8DEjCzgVJm^i 3baZ -J0mwI3#p#okZ&K@lX#>1a&iNK '(\ӿK&D sGC*"=]ӈX("+D 7 %kMEDnئYxWK5ĕ7D3q@A&GcW4U\NAIJY-pw:>G\3s%;`r^Rrjҡj UUV)]Uea~qPVx+s3"?|$4n+'`2rP%LVbSGN: Ќh[ǩ%FsR IZ<_ O3BK޿o߭'w{ocP,&59A1F@:Q#6Pݚ 42,{7L{]B;']V;)#1J!|0 :Ԃ{ c_tf|^vaA4ce/^Q׏9X }?+ʮZ@wu3~\0X. 2@2OHE29IA-xSiDѳ#m0n5) O: e%.M\4hjԶ'sC!r u5 ~He#A_GC@*EѦ!V {i2c[n(–Ϯoy*r;R_ϪeWҒS&`W<uMЎ{J'GTj aW Cv?k hS|N"j.Fv=IFI$K}F@_?ѣQ21u,,fi*SyȚ[isQ̸ ˀkѽg2i5bݓJm@΂ ۔]ìטC8L0o?Pt?ҷr^JOu7 Qd^gKăSpY̑ %A+i"i'Yd5? JÚ7o=az\ic!"welz6p0,u ^L 슝Će[~ƕ#Rd,N#Bؚ}7^B&`>NJ>{˺HMwm5eд5blLT1pZuIrɆ5(oDIQis [tTЙ*Ed^{F ǭ81bDgKq E[I $&vgRU']7]Q7$,&kT1-7MU(f"SZ__T4l(⋝t<*M]nҽ 5 55,}-1, O9e`6fs'da/T<*w#w+pj `WQVNԛinSzf=,zH?Zse lJuϪ-]/wiF ) m>/Lz-G*Ŵt0 ǁ؂ ֌-NR]-`rӖs⮸MDA53 ^L5;T7S=._!~-dQ@:(ր3IKf2~v zҏ4N(gP#o2f*8f5Bm``K.;L{qb}43HWu#Cvea xԙZ2wŭPgHuך8rY^Y!Ia޿k8󹅼t(9@ӧܰoԞH2m2Hs Œ,ܬֽg1^@<[|LQAWıD~RHʄ3B׌=ΊHEkV!^' m=y~EL[hF_Vy(zfX cd=&wgwԙ:pnU/HX Xʆw0D|B@ao_%&[p[+ֹpKGԁ8t8ΐdRR5)>&ICO9‡W;6=[pK{W ?d|d4|[a Ky9`Qtx@)hY!}TPXI*Y"ok,,wV=lf J/)%6ݮDJA]P] ƶ`}J=N >MȑD i ,Xm3֍M9t/C<Ԕ:G_b1OJFQc mMjߢwX<iQR zAkDv]7Z@ha {d \_F H4cT\&y9 @2)xFZSs~^ՍɅ)?J>5 |0 `PU0(=o.VNR M_Z*_} 9ۙNӡ~#&09P(~zueMv^qucKz#7@:G2gt2|j_0 {A񳛅3%C>dg qh)>JQ.iiS~ cf,3[1T65HdQ <;C.]H+w7L.aդV`)iV,0VpNW_FCIH|($ _QҞ>ܬ{A+5dZ$;⢸\G g'ݣ[@m5X%DtT%H Kд'C$XA`"J#Jǣ̑ىZ (3]uڕTy O1 oAW9ya8Bh":zL~7Fp7U2@wcO">ʤhkSZ4%>,ޮ1&DXQzmk`JBYرOR8Pbd!?!%(I>XXNJ`7!H51ɱ @dKR Oŕa/dHˀ}7υch c:h@@"gYS}3oڴ W}^l~ Fik/<Gp:xnxsҁ6E[: axKIz3t3 z%ﯙbo=M"^ƣu~_0 pZE/ D/`?ot¹U /;p秛rgA\c9=ϯ2!5";De\)+.Wb}%[D^ OaMHm3cv4 .9SQe9"a\; Z;eCӱ)^uGK%/$ ~s%9ysz;1J8uߧDFbpb\CkD]#FUkX=ܘՒb<>\Źti7e~45/$dX7m-މ%;J>d`cz魵Y?u龠.킃%0Ƶ>ٹm)W$ "',Hg6BGCL+Wt2>ՎC-nҘǵAߤUD$Ot4"`XF{ŧK|z:c- 1@刡 o5'D^OXѹX2sBBـ]VFV#|#'bݰZI'C KCFVOu#=zfu0y*o=9T\H0RvV^jQ[|Ys'該6`6˔!}%$v 1?(C<̷֒5a%D*Iȇ㋄GvSx-qS[ޑYك# (K]ݔR>VƏEwSčRg0$qTPEP̣+DpɝXH= d"Hy#b|VoνsW TߧZc=m(NIaie-ؓyi.^U8֐\̉^hIdI)Iv?O:i:(֖ϳZ ^',E`OV- hc\zGcֽ(wS-YȞ/"f(ȑE(ʚ47`!:CCYDr( 0Osl[᫪faG,7!F''0Lǔ>j`^'>Zptv+9sH&bVZ@:DY"(997ZOGb< ,ON$ΖyjݾQ2gsp#BiŚi7:``Uo:huZ5h_<&JbF@9DNzM0u< 5E"!""8,(B|{r]=%N"`w&Jk`t\{d:Ex:֑ѻdi&Nw'ަ9 HmO~(əf7^Axi)'Am"hs j6N9hz Pa@4WP~GuiZo8I!!gz';J31ઊy&v+~ m #ik[Jg%j ^ 6b&h~jsbbe~"a*|~y$b=|.rn'6ڿųS^qWǮ +[4I$$<^KDwԂL7-q.Ef}aW]yG KVmrb&Lqzs>+V4]{ِזm534RSYCȿ1Vn^qSjF⃧]q;`D6WԪo'=1cxcpr5UmE8jY,7TGpv݉MvP縣O)M~'="iuYqi[f]kս?A˿+T<3쨩=2.\C(o,9牿p@"J6tf8v3Dc6dY 51$ڢAVcx=!z|S4T"_fҋNΖc h}ʎb b.`:̎v.B^5#DOi֨Nm4"[D #%ȌRv [:iٳHkfoJUE&}Y`9J|F)nIED\>Uyÿ50贁s6~?kިeb.M$G TzZ]a>4Ѱ`#6?zNcK}xQk~Em#O_@&kҏiLn<,UżNĖ=¾i[#[$ډ 9ZUP~T/iiK&a/dza$skmWQRy>BEvRBLEСmB`/T'`_mqI`r]Qr~H1vB 0p8j)gMf+[ `/\w)QW*nf+63., 2ʭE.u[+<˙${WV:d,Ξ8|"j",3nt%VE^N$x9Cԋuy 2 ێi^ ەޣBICΞTeC]fGdE'5<@+[vQ]X?U~b$DN!I> o`S;ǿ=]y֙+$&#c}:l^'*ԃNnFul.D~Ӆ}@|SO`g59Tr䜏M͒,7Н~q:FͲ^=̖jX jC2a}rM6w>*2L%C (iǂr@;QCnD3ptq. a:,q[2 &8jh`ː/ joj(Jq?+O cj#p.0g`6|^iv]ٸ)V腉߭ʙ}0<@^@Ě[2I:3W%'8_>gPD B,!TjֹqƛI@҂x4f\7x-F9cTC8eUMߪ2%{&M#\b}uJl[(~7%x>>z"?>IӾ"Bv*8EBQ^斀,4xެJ]?[on>S B @QM $':Jc=pdr*ޮQht;0*.hwgvp[7n3N6O[2A;(Q F;זX9 FEnrn5ȀensqRQ.bf7d\j`VoKYX6BGkΑ]buK異Mӌne !W qƂM.+W$13QlƁvL?^_غG/uw%p4%h?AsErn]}\ͩC'}ezp.fՌn1/ެ9$ 741L)P?;;CG̕Ίy8'P'IR/t{G +Hk`i~1UDxL }-3@٤0Jp}N lDt| AK" 3O51y`b<7ԜWVjļ9WPNT$inҫoH'ɲ^JXUX e5@ +HA$[ה0+8TRL-Ýn薢Thf$c`p[0|]:Nt# v}uu GFo}>uY*ȃ ~^Q߰Z=V%kQW8n]9i'/C3?aUcF|(yJ'cTOO:% ȿϯ}9KdA(ee'TP; +nA|329"F$-,7piJ2* t!t`dW͊|y:%~լ0^DE"_| h&g*yc' rGIUd,X+Ö>Fy wl:m7w)={b 7|"m^6 W%(83 -[Mlm/}£KBqPl;܇=lW\}"J3ha2l,h:^(\fU-wTq^3Mg$pU> Oϐ;DR}O0=mW<џW:!fc$8a>)s*Q]$hӛ HƹZ::]Kg*su3ȵI}n;Y]^V{A}]x:k1T˩z̯<<65Ċ ZΟ ^p3!-ehoc, >qߥ6$Š`#`|]xhQLfCLP$n)$>)SJjG3$c_4)e2cf-f7dn`zk,J⪬V[A~I⃵-z`:{1{P'xOX"~̼>ջjL&*VBz;m3v3vrP+WTghfRuc#'!ݰ#4j?ܼfqu{ sU+2,eNhjooeܿ@s[ sXag!hBuQbrB#RG/o3=UyD,H>$"Klt}@gZ:XS}tN]l$K1!w#,nun&nHP_-^MFrT=<${1(cBw3A,#Gν+DѶݗ_;&g< -ȱo Mtntr96?*Лz%{qVdǸjCԎOWDW [JVů9JkޞA@\̲C XKU:l$@K\ mi?'emiSx~]>8,$;އPጼdf'RVF5޳gp!|?jaz۟H߿͚{ZδCPD-C1݁3A}`d rDb8$?L) lI'>61$U2 EW fp8чpE44 !)h.D>"'}X*,K N+_032da`d=ߏ|nɕ*dѨS>UtAe[W3Kexrk26:&h 8+&bt\+dnrQAͺG(x}ɟi"$T{1P!m> {&K<KO2!e'T)ئ 㗋/d&ԼDx)/@ TxD|^,^2?𨉽k E 8q! [}[{w-D{\i2D 4j+ _:Aja*zm6Ѳ 7O\~~^OA:ٲe%$F;}R%6EB%4C7)eVT {E ^tSiL 4 QȻ$ֳ`dG$?ϐ>SkFve6B=.8hڷJ1f_D] P,!c%Zs Q?$NעDOgIpBrRΞΈoUQ + l\T*)%g&V[De[ƚ(s̡R0Q8oxf2푵aܢ9+W<2;농^+.CI&25*j6^&\֞[" =HKذVe97; e;έ]8,6 _ gX02'5-aQN߄:6 "Ց4fP>@/yتR)yrzJ +"i'f;0-uv O0>w/rhy.kIW@#Onڟw`Z,>ʖ*^|[q3)`ačfF؊H% k@>mMsź{BZC`Vިl#,=RaND$Re۔q<@9um'XKs}.ܯߵrtWT! 0E1T}3?}vT =A%s+'O|Ѝ߄jh$o̱N6{uǹڒoU03> +Y'CàX$b-Uþ~3%L g?loƀ~Z9Ĵ\6@"m6Yf3pEYL.I\巾NM6 o!,iq+W<~ ?prx@8Qe$}-5&b5g>ś8fzFr38SJґTXԬ_ŔZ$q )#.1 UGo( Kp.gs^{:$Qd/`rmDi=#;Zl["++4dh3Y7/~a#]C1ːKŴL "NX<7:0ZZg 0%L1-,V c7K ҟ9_7? |zl!*_ )7Y(e:čI^֔/wDL) T?6儻_+=v-1c +vjC&?_\ϲgz:1i]UP30<>Yiޞy?܂2FuLN8.H|OwwB1V37S,y}zS˩ΔST_!Z1+ꄟK "yј?Y -m 88; MNPj a\.zSSVԥ" !j䚤oxc:LU;/f'՚HQ٩- Z?ȘtAe)E3 f:,7ȖSxd0pWE,sO""(Lu$AQ$-JQQ K6/ԯmp."."uԡ.JTgJ"LJ*):.fiP~@o C ugңgFΓgnG8 ݍ`0 ck;g/;rOIS:ĎHTRSIJ{V} uxY7h5vg%⥖ࢳ4'Q UYRYC`"-Kt(|_aJ0K]9N_(G 4Ԭ[H'/0d?yʞ^TDAVɤjq_ q{B^f0[eI?.fEǝZZ9pV,t%YTirFŽA bĶ7V h6J{7>pc,-_d+5p^Uؿ3sGHy'=<^3Z7\k?HmLG[MjKcD. }٧BȊzB̷ɳN?#Pā_ d#4:cN.% ׿\+ʂߘKp4/g(b]wg+9?{47q!6vZ?GND7 4OdDYE/#ԳJ5# Ո QHEe+@R.iB]])^ _ a+4`ba `ĝ>qIكÚ\^a׬-TM1j0܀K&^Hjow18]vIpL2;@4YNErhGaܒ4_=l/;+]B4=Mh(Ha8P9ZyRѿ/ouEʹX2~h pJPi&Bആ_ȁ34K~rd]ZqU A BfOr%2se}cڪ$ JL@PUU"j5)Q3 6 V6vҦ÷w1MF-l._mCѬUu w?Vs2#)|sWe&(p6aw8앐Yhm+Jz6t32iE%9_bc, 2=tyEa@$M?!p6!,7Rښˁ8!'N4@Q,:rc=I3Aw( JmγS};2 p3ΛҌUG=PUt"0c]@*` S{Io g^-k ;vmV&ԕ4~,'"Dwq3xdF-TObp8jHD!e\q?y˙jӹXx̓J+6=6wR8 p9hf >P(l> |Stˀkgtͤ ~,\g.O 6D/~2q~ ?Ut-W>ׂւ ?W6aphq?^H~<:3r$zr4XYcm.$%^FvKo_ U?Oa`ĹfjPe Q#kzǨtXb,e$<A6);>P-2R!l.OCoO-ٝ~/ v#(H,l,%c-ͲacI)(J es*6&o\hF'qlq{- $NTsֵW\2 X]WJ;]vD/ |*XulbԤiBYW)!l`&xS̋GZrЂ9$ZjmT$ckdRgxmM)k4GH+ar؁ŏ91s^>SYcfYserKghکaQj!->i7ۇ,&>Qr`EAHyL e?L8Ŭ);#kXBJ4nai/k=$8*>OOxË.RDH\pysAq"10y0LCI#1R5UAC|fY|3U] 3 DlQ2(pY3kR8U](ޓn+EYvJm.@ZhSG?eoX^h2D'Hz@Aw$*cP\wW =(@v|3! YR'PapvFN>Ck2YX;Tjuuݑݫ͑Ҁu_tBߴ\lܚCD,Et-8=ʔ5[?k P8 ⒼCs.g=,"OTIZgdVpqL:e؃V+y7 Cp UnP6ƧC2?C= _ ޟW0 S^ڜusm}w[r>qSl8 \-4ipCD"2K8SRrA<wUJWEci}^XL '2[~jM GJCz7]I?ވ" zXkՄ"2k;X'_h n`Dc$7/FxB1?rl~\.P # YHc.È2\lR,g>'ĄS i"!D9`.aRqUS&B& q#cwds*qOtsrepc!HGP F%ś} v/%̢)XSgv?V?v8N9Rz]F㚟s9P$lӵXxC%/KNa>{! nƶC l:Y!)6Cټ%33΅x.cdvm)c0@ð `$v:H 4c!b$E&X1r|9&f]B3HvjY}90 7"1a4{${akP{ 7r*'wP(zCF5tg4KUFaCC{x6!L )fk'h5oc箄?NP>\Tsot=Hzx &{ԫVY4wed2 fTmol[c|UNqKprm@}#r+]5? Z sEYr\`oiACY!cGqðd s`_4*JᷩIYCװK N[q0)v&<3PB`q(NΫW(Jj XͪbPmyW.qu%xf[X2=S61ѮxC/xF򄐦 n6%c1EhU( -RsUo~;[}%:!yEx~~璞;ǩm-3G =tEKqpLQe&Uw }Þw{5|Ѻ,%;+W)%!$&JEyCQUس7Luam{;ɷ/wPP78@`CѾ*߃ ^Y4!0/8ouݫ)!HۡJ @B D >aqKf# py0^2^n룐.2:;ņS&YRƟaSΞ\4% /m[Eu ^ݡNNs#KE_HW#ڵFRDǺ9(kKPFPG ~[d# Y(썯 —WQ3#=BKmp  QeL?dI ^@ȕSvw? ΪC07;u5J^}U;-aX_h֗W[u/S4N+!7x/@U^:A>*0t QtD]*%OطD`Z7E KB':T(˕mmV@d)cuAʪ#] sƷO|}:KATfK^6&W)יˡ z%wEzlrV &Lv)q^*JȢgT>`_nsYdLn)e/[VR4͂V/B}ILyJ09Ϯk"i.}P$.Au9Z+Ep+v4'Kiԙp!=j8hqat=- Fvsjp?W5{(aT J~K!x'6(KB6+Ib*N E:,%@U?nחXOS!+i!XPNd9 {H-~=gYZe7e32c7d39058ee142ba13de555253c24f2ac3553e7cae349853bb3f654071d127673716b1e97131 e76faa548233303457fe1f8acd3f956c35127c42 3a549c94b5edcef607319afe3cf665b558a14979 7ff391ad22be75694b56692335593170a2bb1195