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 Kt\ ]]Category3:threads=4elapsed=435.316cpu=1282.688gc=105.280factor=2.957zXZִF! Ꮖ#]ŗXf[&wΞҌyP9Zm%be {jVT5p.GWl`5YqH9ȋw!D5G{4U4QnIG]$q܋Qͯ4⣻<3'7ib}V=W]~JƆ0K¿0Lz[vᩳCViyM4N v THe>[TtלϽk LmNx*Tywxo] ̲Z0l73ě)=>JͬTECY/Oi il?d[UGM   Category3  .pwZ =S[d7{LF֮"`eqٲ!h|(hjP x,ZXa@W>{`YEtsײzifޓWƐ0l`3 jxB &wXk(+1Fcr۩g_IڢSy2p Y襆*jV1V,"8y{QkKb;F4},R=CgnXxÀ\:\|YJnXĂȺdd\i%SfM*W2O9X/^F7a7 Si8]Xg~NjO=Gz :RyR7jٟ 拓=k&j)c \?&W7_tuxcF3X>BRN$ˈ؈Svl{puT[x >T̕7ǧ[gьQrFRk@iAhi@CŚ)}/1ݲRF,)DK-aa1JY|yJ,_*ȫ'ڽڄޗXBE^1=jHO93nOS/Mܗ4d#tb-LxZW O@|rL\>ݺ'U}ry!UGVGps|GDC8h܌&4m>VH k& rA0 WN-2lGc~C_B9, =oCaY@|/׳CNL(ZõQ;Ik8{@S^$ɳ]rmkf.%z^9E=ڡ*b3dT܉"A9 pE(o %y TTe{,LJˢId3m4Y/1x_4yskϴcn:f3܅l`DaҧzKOP+2ދ698o1Jw" ЂRL@(G1\o4bq 2T'$T倚u|-%|@3,+uݲqʔ .M۹ < dʬgD .(X#"N. ܮD-7JCъGD8p,|J4/ poTM 塐ki{N܆ۅIHsv' ƎCVP%Oϋ.e l J/,`  `B3wIWT?y!$uoJjfIAwB Dyd,`( qE1.^(LmRzQAg`x\]D0;\'r%04Wg6"' ȢV~QqJ>Z܅u{8UڹW-:^\ gyM!m4Q{NPyҫd5)'ݸ( Қti'Zc]{DžQic]j #-s2 %jIu P_'0r|wn)_ @vfP(^o PBޒQ !w|jj7zYسs1jB1f2i(Bdg"Ƽf4T+N SaִlB qg`h;1p^XKWĩy5@ ]K #Q_[kϳDil(Z ̞SgPXƛejJ78ǔ]39r"Xq7z㷭_P!4 m0ff|}Wac{/sSRM?ȭUjOއwibGd U 2}?1Z0-@{hLؙy. 4暈c\%)L=B[C,u #L`h7vE/SS? [ :h][)LGTu{r;gv԰\+ oѩIA7ztoVuGPt1CguJ+̌ "}Z.|!a~ˢLrGV [/I)swRq1yFͩ.T=Bat.1-aNNRl>ᵵEA%x9}f〤4#],2@,5][73Z"a{FxϥZ%'*Q ܯuw^ЉV1:GRHᑴrʪPj=HbrCX+\tS.#ՎP/BnrCT9L@jExPD"lrrGm>fÖ%9͔wᚍYTʀgƫH[?F8Lsל< ;P nLfO8[BJ1Ԝ,TR#e' -x ԋ)Ԝ۔Be]դ2м%; #thTI8h -R`9@Hsf!?|qTCEڻ``_Ü<ѡgކtLκQ/ 5COӌ@YC){ςl}WΛ=miϩ?+ #u!KyĀ<|dYj)&(xVAX@M"UgWrT^rd=Muclӏbjj%q:nV%|e87f[ t  >Q{< e{{H2~69ksӣ@ՠ2}/ڬ0{emGN]wѪ4,Wl o&Rd{@T@a?)Z9a-BX0}!*}.k >qb򒂥I{=VRg_&I^I9GK}2mæt%xY @"ryPh4k`A7.N/J-4J6cjAscE=l 6y5.OK.`dI|2l"B o~oW6PU89>i(0!p_:IBT?03TO 2S3gqH|*]s,,]⡃KA2XPCp=>DsVrDr^NYjF|_ZH"φPƊ.NsǙ 6P2n7JPum|f)7*> HTLI] Kb_+Z׀zC]NFֺfw{bg^HKİ;.#=th3nZ2K&|I֦ݢ.h hrSRtN+QŬG]nNk@ٖv^rJ (tustZ(B"v:|h 4@W̛No>U-ԳLqkύ~M5Mq42J԰_zJ}6BLEt{ĂRwMU/YZP"Y􆭌ԣ@"y!R5KgURp ) n<Cd ~#9Э9"\**q9jeo=G ᱦdq H&^.*jS\VD&\E=-*{fN%[L=ȶ>7# * \pV6a+q#CAakG]7 "yI==a+[xnp*D%;:ۭ1%yQ58V n޾$L=_1r6&x@r"[0}^w!z鏰p.!QD@teqݧJ}R,pL-!#.]/p_ ^n7Pq JknZ%DH`epm$ p8,hR1.X@7u6drJL˓ZQhd017HgvaesW#߶9$Gh g|`TEұ_qw)0;s"s!.htǟ 8Cyl ~#ԂI6i/2& x &p=;$dQWP{s]ߦ`5]r~c{ӭ+<fwĔ &*8՛p֪hLCuj!XW7KV}P S> poP^B)5*^BhV{ )m!7zDRǩBU n4`Z޿FR_K=k0b 6") p:8P usT sSH_"m VGũ^iYuPMH<Ś`ddc+r\da:_4#|Tz坽'9 (RL;h3,Iwzᬓ*Ҕ JsyR^K0LJzc1JmR4~RE"&: CO3GP1PȦ$9_ֳ֪r[6j\'Qb\%.!ݾX}]M,R8 ֠t[κR 23`c=@:siןʺ /RG?{jd!dK2C,@KFw"lx\f;m|EE $QD)$!T?c"WZPGBY{z0MWYm$gI-rõTjtSUݑq/I‰"vG+"&Sw2,mÏ8CīS(oTGvqM?aJ*D>h26ic/8(5DIk6э32]=_ȵV؍F̋x3?FI| ,O]_CNj ]T- ̦݂M̂U;2n`&꒟rHWеЋPiuXuZiUuJ/2Q4 4xkpEaD gkmC "2~lW s1֗`-@@O26 .׀c+ ;q Ŝg@M{ۑab.`!cbGp,W.3|:l)MC%la³cFOw=AV\hoPľ?w~QZm"@ \y$ g75q$NS_bоnY% &.I5*/ہѽ)_F!d-7xQaXyE&;k ,e^jEg$ݦ|k{2N\K-1at[ȯFt?5SaCohUUb%Bq/]̘zɽRhackv}#S -rǓgáFDg{cȸKr0͙NIj+΢"ٶyɦ$S׭~|{<ƍmo]JI m #'YN( PIFFK:~ifmI(e}X{/6:B}Y$-$]6@r^J;S Erhf~0 8xZSSJU!$2's1Yi]!IT٤0t^&#C 4z}؏^tvK0Cm/CvЊ|Ig(okfo )\ Q.;,$ө9uỘ6Ļ\y.vK)g)δL'@c0NKJJr_ ѓS;! 2F~EK`~=0)1f "{ˆ 7.WFN>y1q^X:t *񟣃B#j~/X5zA(+r}9 k#*5Lϩ#'UPht8ԣ#;2!ضZ.Cg@z;41'LT=80'XJ~C %芞~d|7kr_wkM99Cy߀j=7?<̨_`^6JLѶ0U`ЊKيVV5 ?*jX}Y:~ .ն_ɕkVoƆp.%|cɩlr/r0ڴߘDގ7LGD1>Jf:D'ڑ#JJND 6H̀Їփ(`}] @r%dcN֮_$%rmՐCHEF<`kmƴW6}tXԻ8ʢC*摍D%?r4.LPucʥ;̦ 'go&2"ތL(xYR8p6ОsS[epP"NØ4Q\!ӋzZ%CP U.97t5F( 1-VN`zjY{z8Op9sY`b!Rut4 m p5UKKZ`smKFZQ~paHD8sug6 ]aɫ m6a_g)􇏔G4J\ nR}g)~EvpSaGTPB\(ޙ*iC!qGhb[`!\SÅ Q\U87.>\ItP{\{/ yCҶЫB~l$탡pl%o_J$EDmi h-#X>r=e8ԖZ}G_pMo,r Ͽw"NQV}/ԻC8o Ə/&oۙLf"βA0{ɻgL bSsx46Nʶȗ/ɟrTlw^q9'aj\8YҕJm6ŸJU /\;4RS u?ChR 1F}׷eր`b(Dqq_A3uu's!7Dmzc(yRZrGL~ )ijOw;?! bPޤ,pARd0v4ˉMmnt;?/0{-F7F.h&Ũy']UP6"{HDQ3fыv>  ,c/Y %VU:HקFt gohxaPY9<Gp\0rZY)WR"#>aQ~\e&#=KG6*`8;EXhмj3 Q^}n8(!zJ4kR?a3[Qy§J86Qe12o]Q,)Nv|J:e,aC`o;ܔT(pLU+빲7"^$ qLk̷lu]]ڽ/~l{'t1Rl@UP;9>X' REGpTG$x3Ycْj6jHilf'ƕ8Kh){Ķߎב .-ɛ)\}dLM.,6aE(WvsW\ﭖhkM"A^Z*\)haadt!t/OuҘiD-Vf7/\?]eyfoK4 %qDTm%$V: ~"ˁFd|Ex%̓ER:0HMh""BG"Bw6o%Z%ExYa_g M|p|3q\Y[d 5!t쌠}<|->[%"VMr|-Ac` kȸ.  5}ǿ'M3rqOL|p9?FΖ 8oC[mTAO "$F5]VX mt~1:#)3\C6.-8̡2 nQpphU(79tBDy~525ExU?UfV2%ɒlˏYݨ^CNRQpK$ry{_M\(^|IW{YtMg1i'%T29[VORf|-dsY 9`K1ԭ[EO|ޜK.\=!Rqt Mzt1(:?xw\ ݗQW N$ aE[*\e҅^uB2YK K(wfz4Jde<|xK j2^$b\4f,_j^5Azo6_D+#;P>ѭ&^1 O.t.Q}qKJi;ϥ}w](X:Vd/iׄi֨إQbTE=,\7d \&Oʃ BFOغDFcfk.ʔQ,#_۬sZ{X;Mjrd]~X!`EhOj*,^ hmRJHaD`^qHo,d. RPrQyv9vN/I)\WMJ ):^LJ}}.tGj] gPw,H$n $<;]MR=k*NEaxhzJu6u1J5Jc%v`<#h|O m `hu_4,~79琔E .\zn\o&r!z ZzߵKFsElu?B.i8OX%˦j p8-c/yҠfz6 qͿPL8-Y2BNєh;af/@G1?,ǔ%ZpD/2zDh3q)m/ BmD Wу~[riP K]2N2o7xX:C2I&&6C.^%Fe#ۡ`K>kJ0nwyn&^O2U#NŐC팻n;t{K֐$")_99/gqnw}|Miv(ObZPo3sJr͹wFr.׵-0Xܟ5uܖ點d_MDmm>h͌v&Ab&V(I@%:X;GX<#7"q(#$*03r<ТdBg,:s^2я91ήMsy|uD},. Wu.hDeU 8E Nf& v"hgǢZPc3e> /\N0xsY.Ryn3qjUzޜZX3+>8cyD A⋕ Ri{f]CsF/єgT#Gng}f>BRMObo;"ui||})Oh\LcP=F't;@y߲3]rKEѯ!O03]s N;ksY{gh[%L3o: Usu>\1u@8bGIXI-1"~~& gvR[`:?9=_Xl40Sh}~ Jܡvw+3B(il Y?PݾTS+,}b}45]xEٕUsDpҌ) +fpg|M^mU*:.-G31OxN YNV޴R!0b=ݘ6GVIBfDgm[6"& OƜKf ;ceX| \wQҜ o 8̴6NuX!AQ+?a4V0S%\8wp2gq9YAt"):aSs7&>ev|%o g"/ dt{f(c|qrS Q_ 3few6բY,g:F.W{$9ՠ`(.I}0`rʼnlq*(+Hxrsb{֮-X-~/Do%Vv6RìhP/"[~'_C*'ΉlidP/+}DzxZ6̽[Ք M+ &ki! m'ur$c#\!kgT2EV}[U5qbǴKfqKajt"7JǃZ`h88cչzj/3":e\0E4L;}BMb/e[ޗ$3`o -} ԏ_縔j1wRb~.s.r0LFVc\`M N@!>8e"xjI07/`UgnX!3I)_PZR˨2v $I/v2L EB3B f6^LTv<~HX_27 Elxk4,nU2E׀!0F0Y`f]`u¯-fw<& )+RY# 2$yY#VҪdLErЇ܋0CܠR棓hBϽW D7a!iF!/e{bZ*p# Ncq8^ S6Çe,DMxlSxE!-8}А)4h-fD$a xsq5 rt>S WrjHSf 3%8~$(MxIpU\SNh R<=xa;k>:Sڕ.iO>ё_cmZ v0I'kP)Zxyɜ;t9!NĚfYE&D)"ַ Y1tWҠ3^:|[:LRYo\orqт<>ͯNr9@&gPtYa3_ R4jRnC\[fAjFUT#q` PpnjojwͶ_K,chFBRZ.32jd=6"luÁ2g,XC z:(r@G,?,3>ݯk*mޘK66舒*zb́=VCpvЎ5(^BRN?[)'^1 0R9U)!bvG;Y)c9R`τf o%H$ \L〕{k"omoKW->8T O y:Mb gF[#ZBa ՒD7dPE$pvdxX P+X Yu2|2Zx fT3N+ã[k!K"I# (ջ邱{.(E;Lu$>wZXsfj8, ~{}@Ry}"jf!頢Bd#%v#W'#M Ei#\m.ҩCCˠⴱ8Iٌz>(_];P 5!x44Fy1MA=7'uo&T(2VVXaYlzQP9j~ Xm3Mu~Z,æ`#ȕwHG48?24h[0+t6Esx8l^ U?Ti{%?3#6hyҝ-_9ڜs9Xz8,LaQP@Z.b'O"EDfpdm | t|aKϊg?r< H &mU:skEB qG>|ڲ?*hD\D5"jπb[VI:7b((΃3vl8a<{-]2ѣfS`U!T@(MQzSQ)ׇ~DkFv׍=0g##A!Fڠ6ؓQ0 Do!bFea.4 4?͇=GU<܏|V|*7Ǔ;qWE쒤t =e3 ׼wp9VSC] N*`JO-QH'KNhOF<\mxfKE~n2VcE~͢L+G7g,#^pI50RTzw@mԁlĊ&/>܉⶚ﭞ@O[B$CZZ6J𣯈pk5Q `BF,q$Xf%:1k3.Wᯣ_W_C 1P%ҶsT>UOqBRdK&lxi;I)`ùf~/3)4gN'*Q5VmIv4[^jY>q|!嗭Wz>{bbD:AF> AQ^Ie=X6᫫ʕQ0¾/;y.H|2xq>-w_tP.*Z7/r!Μm 0A.b[O^o<& BVyG{;S:c/c0 J~g4?.1'Au[mq=]3*<};xǷ<G R_rBqz{X; pyJ5`vCzgAmY&>~`Qٚ{ၾ2=EGy7}i-+ʥ$rT!z{Ec! eznOW/,ҺW\8 D 25 aY|1|ׁȱղ<0p/) ˸\\l:"|kGѧ-DGu|GaJXǂjy? tCQSz|ϔ˿&9#]I^?U:0]R"c,lH|%bNY:Zl_ӺK9G)*&d5@(*Ǎ.>%J%@K5pU]f a0bjH]'䜽iH03퀳 x3BEcaƨ z-(5[AH* p\D+h8Dg~!2XJjKY +N -SyH$WC34 bvdP~t _GƏY0!ňmAÌʙ|VXA2Ģ&m˂IGdkRs&I y'c!&VٳӜ!l69mTd:"MPKA%= /!,##aH}xvODx^!ڊ+Bh7 Zsc·n糃Z3 a_?#Bе[woھX9$kabՁ,-nVT*F7-^C{ }5":\T53 -=whsK!8(U.N& I'󕬃 CJ켆awhC`!I(@O23%I5wR-R&+[![:IIf&;Z,HOϗ:($DR`=+qP4^ؐ Ͳ8*HSjC[ \grDB=Ve*<ɣ+l 1^"i*&sZ>i>B|]\$iT]~}4ND}'55wJCJAd9B6_-WӦbcEi=mD5-Or҆BWvro5az6nv6f8@̚Xږe6onisz_]+s-ku]'{M2zs krq41$OtWze)&:z7HX\F()m 0FM(uHiϖ%La^lWW~[5!Pp-R,yYGb~#a؊\M 1Ĵ{6i`RZ4Ɋ(T!s 9'B4K*쓏e!TZrb਱S"9 T#KHx4'{^؂K?8hGmP[w>$+G m댔ȢvCA*#h92[SI6^ iX)Vjس[*͐ۏ K3[Wʉrf3AkW/n-myLTSIA2 ?oǘ)D% VM'DQ&~y rXWEe3ltB]ߦni\6vADCR3 i;Q\xC! )bm3c74Yzpzښ, eAlPOelU 7^Tq.,v]LK݁##6QY^ӟjgϠ5= 5h5{}H\Oy/Uޙ[*Iȅ0S>бYǵDl֞Ng=:@,}h,n5}߱<:s6d3n VŲ*jzD1 "{Gb5,>e'mΛƷzEuNW|{>b4|sRCPy+z4ۯ'2m"|;J1OqSpC G,UDi(x$a?c6I " i2o;}fs+,|6C&HPeRj_OkxŘWU?ib[a+1Vj!d//Qrf\6RQvnۥs&mCL 9 Jgk!`hJ M#S@]Ui%փ !  &HcU!u9  ,Foϙ}i `ٕ뱢#|8 ŠlMGzJfR9#pnf[WMۖfheNVڟs$Kx6(I%ߩw',A_ c -t)CX+,ԺìYG̻n\CsG &a$Y)| K8hnvxȓ/)Upz&%fTD1&Wq->X *R5g%qB$(p_,JLi]dɱu%1-N&Oی{ˌc\e #jX)[YHhN:HI*8ix|ҬU~qڪkj"U!C;g(*'ct#Q >=Kz6MbNm;jWv9l8*6?OT?ש!/]֙K䴒؃rsrVě WuP{6l([Sv*S@nn+=4_Q" CҰR2p;E2$2ђWl| ,j,(6V*3̂䠴y<'|uY?]5Lb(^b)@7iu 6Jqt%W鞞Е WgE?H'o!q8e^maU^:kS^ehX>V *n8=%[m2 C^G],J%rl:s@pU"sD8n1?RSy)jv '&D2>[м4EODv&8wa7p1- XM֛@v AN`uMBK:)?/ɱ4+QGsE5],Υ) 8 `unpJj[>.\], T.Gw0dSgZG`lcOXR6FH ]>B#8U({j9Do[RGH ҭErVѣ(: W您GUP ?(deI2-G0*tKo1BYxOmª4@6rVƤ E(%AXpnk('ԥ اlǷ?+aeV[f((lK: PA6Q"Br:0✃gԒ\]B׾`N)suM]: Ck-ns/ MĀF#]%"S#XE^V[A/PߩCoqMͷ'a]Z|M,ax:(>K̋«CpvLbDu:.5{ȋjHzC>`NZmϤGRٶ#$ _ኸg}ۣ\NR|?JW%f,^eKa o$_dqpz Ɔ{ZkP __S?u/r 21# :`yXzp|3Q̮BIkV#ͨժ2CU?6vPVc;L Pΰ^Lĵf9l%!ï8Pyq5U`೪ہVE =]}zy'rUe9\| G]t  'TDFoPzSBQ+z'z>gMcSiQ =J՚޵%CZ*6*}2FN]y]d}8uX\7Kjjajq *tu.Uf02jd|lAG̈́7 @;̵,MӢp뀂FVW҂a6[ڇ罝$:OqMc"K>醻Ͼm _3m::m~6s=)iox$ BL'x%ےUp8(NavA;O.C\yÌI7ݥѩA~BPdHO9:O5> wl)+P/FڧgӔkLu!eݚYԈw,be£#Ts9wu'dDMw} !JulRQbo,e HC,l/X>NF(w斠A_ &~G$i4.2|3=HZq(4dhm %a55 2)'{Sma&rq0apLG+0KsϹW-FիzE߁6o6 }g- 5K%#&Iuòԥ۽qgb)VB Ykn@p-Lċ_wV5}HrJo%Ue( \cy1l.cj 5xx!`qSzF*aiyQP#?U aߋ"\]" Z"醴֤qU8_ >(0PB F9*hkJcX b8kbQk9uZE2>tYLk>HJ(syoxu"ۊ+#k 8rMZR̫F(C r\J3c_3Opv62kweC#^[ɤيJC.1cbAOAEӪU%>>2%>-y#`s4<5smܙ vcQNqgN M*Te49`ϡiZ›uG1b u"XMN!dnX Ć# ,F|$ Aunsv| A&aG}Qhbr޵':AT,[+ ɪ/"*sCpV.UË~&WTVۇ[粙GW$L(J|HS1z[Jǯg ʐ'Wi)W17|N9!ԯf-h\\ T\lXjV͉d4yNibex4(“MrpV9L!~{M:8@1 M\a;tVN4t0q俣@+%;ԯ`5޷4ab XiNѰo愩@ g kkE ŷwRV|t(Sjqpxg/B&Rl%i'JQ2kI-5ãK7̽K ##f+n<]tkYЖGB;9\dzu0 :}fKƇӖQuvq?"MY K$ `kL*z=ha-vVGp uz_DW 0iPxX>mZ/ ްS\W$T zԺU %6-s<)_^/&'S`}Bs3?0A\mh1y KZ܂3dی֣#(A[`X(mw2Q?nBAjH xC 4fay}㑦dzkEIA!YOpRȸrblZ/lAVN%QפtK@fR&>bn_sSdh(uy^t  pE:XeUkDͤ-`1*|mSWwhtJ b5{ )8/|J艾x\=0@thPzqhƃڄIN߄Suy ]{Uy[I\o/j=Y|_J%]◾#&:%}!Zl$VfPwBe7?BnJ%UU-OXvhPU!N~&s߱kҍlRD^Sy2wy$en8]`,\E |T}x3̺8Rh=]hGy"QwyhF>MtCs4,j׽GNkEHPqpfOi)?@bӣi1[2<˱]3ád7RjŔ~1{o,hX % |E0ՅPvg'jЌ nqJ"$hw`vT+ }M0dVFeR;0RQL ɋH=Nn{[@#LD瘩1ȭ?\='9i |Ru1PCP /&)t"N_zie':YdZ Ӝ Aӧ? Js0@jk/z2A?G(RAzAY LT=ѯȤ`:V|aɰ*8T @>N\ikJ+"mL79rgB 6.Xc9"XcJ:tSQ xe)D"SQhIoTK*uIR8Ň\ v4ĝ+g-k37A[6!3Nj;S2QE+TOI\Ǧ^ chװa [<pE+^@NNj::5d2H8FhYpRBB4 2E$EvB1o/D5eUz9wdpCL &hR9j$,YЩufe\ 5viCzoG,3k21nb(m-u;N}e5>϶' rkHB?AEcҔ%:K^oV^`>_9A_MǩJp5i3n-BpoWG_R*yhꪾ{߃:~#˱! COuDVSP$Y8V{W\8jw *KX~펀xF\HJiدX6E?2]X#@٦(j0hL*ED%&ha7F`.⛜l0^Z~i G`[F/?n Hzr(/E_5\Ɩn%{!@xo5'eTRE,m1/9اӛ*K`Tgi')*EcPв!5UfZC$vj &gg@9TyAp;{7l6|)_WM"L}c33Šܿ.#&ځA)>[`k~XܚHps8]uq. nT&cC7y玗v8 &h'|\b/}–eDVffC!bUIAΖ[D1xͿ YN,;}wDUsxSNBMX/ցb4:GUÖL;@kV}@N%g|ԕdduR-:6!cv%A)g9!%x;E-m1σn 2՛m YڠD+\ C3{س{. cl3R c[~I߸wD$$J7S.JhN$fHID #2`bNI Z$_Rrt+0vlp3 djaUʱ7ïū%Ii`|?{l=cvZq?QlL*W2u`F17kvț <#aX"`:A AA-|"R-Ç]ӄٹ"Ɋ!sƗUkљs B) ]+'lЉ'qX9%4$"n3UzN@?gI:{/&ʠXAQbw5IF07Y$TFENVe[_5Kӥر|9.Jq;U#/t-g%1zM  ,iz&h&<_74ASh)x欍cCT*T+?n !Cb3A-ZJu;W$D~\YN_CAک"G]6|)ݽN3W۵é  Q EW wfhܫP5_<5*Nf0Q \ɣؿ`؅|C {e3Ȳp>[VnsXPL6:MQZ셁Z7Uv˾̍Sr96bC/ε`|  I [X,2)p3Ӻ@ /QN3uK"?_ط'|G49d+@Xwp03ћq[mk'KG`> os2z͘-^8cU)gǪz[rO,5Uoa沟>mBn>?V+2D߆B0+iC0Vm3ɏ(mr$A2ֆ!k6ҏXzp4C%f]>hˋUVH^VCD7G)ZNtUfP$mP(D\70N'"q3IÃr6?uk.lo&hxINH}]׀1 y횊V>̦܋7=I\mw%+]d V\+}{ oDN! U&\,ȂƭrCOYY݁w}3E,|l)́'Ƥ]s 56ٞ9k>dZ@>%2CA)#I!69GzC&\o0_MU HDqX3V2藣=s`"9ĸ@́m; E)8?E5ӑpIӄt! Z oloO⑋jXٹ!o,YIC"D]z#KuҎ2TVܡ0rnhDBg=ߋhLB_̞$ՠpVrN>4nNER^1W}:xW2*"@kuoHH_52^wТ:{/D~V7H[KӢ &6q3%TX3M& 6i ۃ9iS%P8Roltqc˦7̋Di˜}b W r8?(cRڐ[6A^䠢yn`7@ٌ&:H+Skq9`V"N4N)!Q>\ vǖ{qJD2۶^^5q|'dFUa[=* 1 Rnz#Gg$zW-$Y\ "]:qMmD9ӇWVϲ z>?ˠt(pZu^M(yHҫdG:H5%.d<BHi4.8lq>!FLom}p??6_`4V*ih1V*Z\&)KѺPT]XW=`S s*u-ݟ&&U&) `p280Oې13):9[jԶ:]zit6Z^OUr9y-U\,ɱT<|00֕} DԵU~<v>.Y!|L)0$2ᚱ_,^IZ*Z۷4}~/Xo0݊r{cfѳ״)G')]3e̜qQH!Bx`p ͭhlX.I] t dɄ( d5OưK k ib @O0U|_mr%@m]|ք36hK&#T,k/Do"ޮNi/el\ns:Q%G+h)'qH__U$@Mr _ʰ#W%/6KΩcE1v\U.ͭ;U}0Thb!a R 11;kFA@޶E+m߁~)v虅k^%lm`/GػB;>Q^W4]xsa]#(@Dʬn;0R|\DA"YH)dR^ Y/thY; PE#)P|[Y3xv?)qVqb~gx@DEuˬ9؊@V?+L'!p|)4LZuи"oU=kŽ WTz|`B2?Ғ_ !Z>;h= Γ+/^S+OWu=>\~; j*跸'Inэ$ǎrj=a|: qIQb0OcX GŞK|Eng ^]˗B!-1zIf%6i.ĂU̙?)QDc/1;E挰j _0AEXxQ=^|d ӡ=CE$c46;SqbtR VR-C]]?0$dƑq`[P<\]—H8HV/F G.GEm :!* j@FJtj?:霸E](~l}:SY ڹǺn pD q\,РmDxEVAkib~Rޟ'HzB{Z6d( I[ 6g5R6.\dBbf)( gɄEԹx!A.*w}l Ҥry/6 WoX{!=7D m_8֣RW`e<Esl,c&Kdbeĥ+.ԋloR|DO OKy)֨S@7,𪎎{n~|yN6YeYb FUu i$zEJ޷g}򻥻\2ܭRvXcHwV1I1hMmaVz/awDc?k[ޅ.uFx+[[`5x߳_!zmX:U dD/_[Ҧ/1z iHXDi@<;%rn9  ;o/ܒW6TRO׃z|)K4^>l j,j)?ufF~镟 r~kJCK"dFOcjTכ~xw&wZ7C&O; 7~mme N Jq/,bZ' [Ljg<@& n}0lþ!E.;y;IT|m$xUj捕: |˭eKH+YO80iGN8=S詺yb Z:lb!]+\"T7J'i#RE])BOxߝfYX~Wzo&:i:d8gbXkL/BzjT~[o]nIj >U&F^չ9-zBFa!ȐYUz $i.y!m^&FɈ3]cb$*cϹjjiBurF:FCV?tJ@pC_AՎgy-iࠇ PkX,D:?Ã3%5Fay, 5LnbeIytlLޣy0 6duAs!slLO=4\Շ5OD0(ffhNlI8 cq]1 ɛt ̲ɠA g{:u Г$h|ޟ~vQ2Ir?unqf'w U."{I~y:q7 9XDI]!h$Q[i 1$bÚh|c_*_oJYÁےtHWyU٩C;aC⺃. {* !&ev:13-gfRr\h$ňBO@l~A ·p׷>Ym]-ܲA_5 f F}x;]ŝ׶oK~@rr/k">q~D"ݙς?dVv&\@ /P`8mވP!2}h'L& Ra[ oVK|,`03S(T39X14:\]|&H':=Rka[d`da9N&n130}ͱCp:Kx᧍u,`?KI+$Kv2ň*K J]-WW;i D\m2ậQHޒVsKPxK/y~p!&iY̏ܵόwLzBܢ?yNTth akӌX]ZL*)B7 1IE/ٹ'@uszYN - fRKޗ> n<^Q/4߆7 C7Qf)Q9IOwLP5 qZ$1tĭf0FHO@ԅƼj#5ǺVe%b~pZ[Mxr:?)hCZOגۧ>4':FdBfUjk+gwI*kњ(K_k s+ZBsߕ.a YǩN dqOZDv5?Q^ C"KM\ d*Ua+F^_oDO'3~M[%@Fٜw܃IbY?am)hxzYM#+rlg8ײ5` x!SSMſ-5#fĚG^ 1KFըN6{ok>=dpj7 o; VC>>כNsncdT7l`-}G Թ~tyL B6~醗JT6 mel[thݩx?lfe7q5O\)f1>q#Y|H+E"dK>4w<^S*܎T /;w֛?W13%7B,~)&`/bZ]ÿ ƹf]Zr" GQ1yz9ݰN5w()jQHr.xt>j qA`/|{/=UwBm-7A|TCqR bZ$\٠fzLwICO9v]bv՞-(,5.STlYp$e]ۄ*Ab g]Nm5ê29z5WOU^Գ6VWH._#~Ea-dihD<RmxW ëP38Ke%Eq^ ЇdGmnwj߻O%5hnƟix<뺏>]VZ+OceljMؔńRY΋~id6V=Dʗ7㜢ɡVn,]de}qo862н+ u+"&C v=_͇6vcdjqVa^m|:[Hڴ(;*Z\C~ LαV(p7J;P)g-65hRπ"(zc^DUSq_>@3yv)wICfw*/LO}IAK3OTM6<7ڣA`; / 4CE gb4 87Kι=yW }>)w\PL&wa`2VU?d+S4usy6ŕMզX*&~`)s-'z sPjH5>J-6Vn@?OG#gl}f-$~ʠfmxG_f ϼ5X GU,BPh|OcdpkzϿt['ӑpoA&T Q,{cLce͸h4Jې'-~PYrǘp$dAyS-AY)qGUL ˏe-r׉u-,yj_u|P1̵^q-[\mB#Cv]qk϶ kz+.`-XDd+"7F58URf=

 DԚrq~fv} mMμ65T~9]xDGBzgim`w'7ޏNLփg&B-nK }e^G-099n]ϣ-RVv!>N'ˤ4~%>66O${e(W&w's)$i\4;:k sYihjV~j# 41^ 2J֐v+z9Y%czZNՏU1\NmGئ * ݳsJw KaD, ҇XC:Ju<,f1ŎĵZ~D:}`4b79`=7Vh~: u!VΚbi(Dm0 ͣՓ1$5#$lP@/]>V}j}[:z;LH#2]p_gyom*yل1Ԉ`E6Œ;\UaøfFD"oɢ$e|䡉$4L+KaSO@/U8v[)[ۣxD%Y͝ FlXwa{}.:TX'^CU9!DBr2 k"ܬ4Mj O 2k\oO4a]!oEX%}ĞMO%`b[KpX#HEZ:E9(C' <] -`ZrhtaP zӵa')>20MF=qLVT gѷ.ZǟAd\G؋a 8uz}6டL +T>T]jKNw4 AdaG$ 4L:Vq1(.R51SN+(M>B6M,]u[+bBP}JD|]5Hֱh0::==}gêoa,/-XPL2t:0 ֦CZ=ed@GNit.r,6m4|^g!@6@mZ0B )cgPWѤv ;/R{`  IO]kD[o?k2iTgvyZ7e'`rUm쓳t-ۿp._ƒGa9dKU 뛸 9tHUh*HtR1C M:;uڈ\\]W!B~X HB!SL/WO|˨WR\e) W.NPI gXKuv]c([-*!Ǥ'qVDOhP3~t,L;)TXXVd uop2Aύ.,;#ͯEuԝu"f< }GQ8OUqžB0hI.ǹꨜ ]ҹI,#DRwXcP^fG&K`BI׀NDZu XW+okY^'])K7tFcebAL!H傃dmӣ>'%U2<CsKp[Sm{*/B7M$ _E@p:%ϻ"fw "m{G~i +FO@uUݣ](]5&F0Ֆ 62̹ Lkp C΍Z:!@Z x^1m۔mm]:N"d; o_c)X᎞^;oeGchZf'dUC\ERIapmiz"e6gȎ> Ԏsd7 X^9)S.)ϙOwOcSԡ%=44h>\O)ڪ HW(H*3崏-85͕7 tWD*i2 _Q즋'/`&<:֣ݣZ+fy33DžjM$L끛~#cΘVe<HbtI\ 5sWȊTuP5B? Ia~ cۈa)" X9LĻA%@ Se!D;nJ5&- iqR,0IһK*n+0#t$|16 \8vjxgA^x~U2gǚXVTBo22)9H@5N˦(P'Ԡ1c0M~=7 FdyAP%y, Kq*tRpSڳI>0F#g|N#@?8`]4̇fȦCJzCN,0q㰂v(=%`$|(>쮡ysx$v^ܴj_PhѭAI`%YyG!;McE?\˜Nvjή :*ӌys.cd׿)֕kا\ sQ9rI FwYe5H߻mK장H1UNhS.C[V{ΩX~}C]>wtmѶqy+Ӥ4<(}3#q {YC?ɵ֥~Jzkojqk/p;Pdv{Ɽ[ c5|7:Ȕ_*<$L5RɡS v AW>Ys{X뉜K6[֢ZR<_G~e  w?z.$CAװֲdqS-B|X~ooDi3* ~j<8?wjH:9I`Qf|'AVT&z=C2wrx^Ԣn0u_^hN|p(!C/bz\1 ct`;^VK'Y 7d[%imC3HXBU"G gr@&މtah,G)\NdE3|eFp&V?_HVӖP~c'*4Éڞ>6k!he0A}F*=K*!I} 8B~ %mt4|8+0j .ƚ&]#4 ݼ-S*iwC[(u3gb_GrfٗRoZx^ /hD'B?)x:\ Z&=枨YJf g+tv|zgh h1~lLJ~$jvɁ9ǟDo a8`C+W|@4%ōΨ2WbA-7[SҭŻp6uKJ Y/c?p sh_@b6tq. nY_*Mpa/svM ,JwJcH`.Ms ap9#%Rr,vSڵԄکeӜ-?GFiOU߸_7϶~.5~,[Ya3yhUFE:vn'HŌAv3N Ef;WʖΨPX-(s*03VZtsCym-I%ia ngD*ޞIѴrfA%ehP(oonNj;" gV<*8ocRcxOǓ>xA|5O kгVB\CPO!hO1 (IU yiR7 Ft%|0pThwsSRtcw<+*[`ހ݈\ b^Z3iX4zQ]֨"ލ" `[i6-vL,쥚qn4/ !^*'}U oj!T29LGf%MƊi*϶e<%=T? ^CϚ^m3=Yp1X+HtT^4E҉DP~' K3S.YנeU[`ETNzέcl\|7hm ;N=ɿ/o Ek'ٝunhtKWb*)B\1eh TzZ˧~[iXJ{YBϛs W2Ey}sgtr-o+13h[JY!5G s)oPxTq0u8)Г޾~MA ]l3B)ס kboki2vg^',fp TW2'/CMRvau|{QX&j;bxwm ƍ0Nkfmhh^!;$+ WTGH@(t;ƽ6"iB\.f~&, G p?5\E'$_Ok˕$؈(M B+tW8pl{/WPl`dUxjbeVtOb!9!xLAYN%+.W} V2\FhA1ԒڣRc)̷Q+hb KڡjGyB||vnPr|RMs#0uu"M Ks֏?#mN'5yQ1X8kcO[05dރA<*V !uux 'a344\$ ΗϪa DJNl-#,GNaAn#Hs37@}Q^۹r7;~y۠rftiڂ :@I"^ke9:zp[HA~t+KP\Pihi=3l wx25~Od`=:d%<_"xIv?V!_xuas1C?9vc8}ؕY{٠2`WKvMc !*Bk+DO[{"8b\X53WL` _!?Pl#^IkM![_8L|eO{ETKD? Dw0Zd R]Q f43Do+uU&]qibOf})Ȯ,N'*nѣZאQ}՚!3 Ӊ[AƁU[//! ] wYkc0LF[8TCZmnRGV-[Bqs~Sy%@ @ 8E9!'Dy"IX̸̆fL$sY4h[y³E~αe6rv<F=j}$V ,?4j@:\PA Vd+]|iO]<ے0?"iXf5m.+]!MCx";>m#(Ň`+N8{4s񑫼*`ab>;J,3u`WN0Qg0}Ie?V8wiSwSҜtXǼtcl;t%`}Q7gE|r(ÚO,;|džR[ ^Z'(!"m ZTB3J{iD9OѭII8g{h3$)vɪ:+x\c9T!z 3ώgS>Q6I`0D$$[zxi^A ǧW&L_W%g=F2S'cZ\ 0g1go?41C4yk}!L.Ym2Iqdt㖪ENfDPDW6MٙKݯ) 54DrzC42%Ts>Tbv^ՔHQk9` J5-/e Z//3ֹeE{Bw(/9E t Lg?dNy%\_lPJ"Wz_̩v}HoN%PUXLTsc-Z ;D>aȟP]ǭ.*5ijPbYy݉ʯT,9@'!S䋦[tz} t "lSQs 3Eԭ(\1@#aEm{~fjU -6ٜע?FB{P"=#rk~i}I)QrL.Jbh>ˉqIN}F70ߕGRܴB]M@7zêC?]XaH,+3rkSգۨfft199 rawTNm%ޗptw긞 >"j|X_92#[Vق3˗]!V)i4Oz]rn'fhA3jan=A=({?&l 9U-&m߅Zi7jQ˘$҈0)yj9ԋpt[r 6 ;e }!0n>IQ]G%8lnBfuTbDqxCTvp#0}dy[*e#co '*>ygZSE^[t[AOS5_8!9yBeGE/r&S.EHv;1h Yy(M,*:sk~X8HzQI i~n%kxeTQk/L$4U =98{l$&9u!b%x{'t $CpC!h #+4*3Ŕ ,y6|_t%%4@k܄jfzy`]( }R&D͛ Dk[ň-U@Ag`fb hHS},pȩ2ot׎1'Pu(dـ©s<#-E20z5m[y꧐=A&d,Y-zİlёLSe!cNvϬ9(5I .+x.n7?K>%BgǿPq'._/D8KfU(J)G6_^+ v1Ȣ:Y U>F]!KbqAwAhj}W Yptљ;Ҍ{lꪐw,19RD*EY*HEB*˚ w| Vk ]ZjquĦy>5&G6 \9T#m&G=d} 42,$`1iىǺ,S)pu[N P% B͆ r$i2I}I! q =Fn7h=אo+Gj#?ß1[O$ Kjl8=g@ٕA/ [£ ^Xm=?=쌀̊95}kb n>ZcL78U9DG³%&JQgYZ4f00fd4049dffe8486e0e7e0933cb3127f72b42bc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c2ebca234b0f8a41fb271e6db8b11f41df96f9d9d