SQLite format 3@ .0:  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 $%|\ ]/]HOL-Analysis:threads=6elapsed=352.757cpu=1792.204gc=77.844factor=5.087zXZִF! Ux]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm lSR 'R*KZc~~q T{CLq'#!z8%%fLӅI^sjq%#- m7mFn{;s6ն5ȸ֚rD|`1 Be IiT,/ Y8d̟_:v]j>OOKʶ@J,3sc-%G`@.j" &̦›4Y/3( EI/A3)9?A'IW~ʿpAQP7LO}K JL e3ɄOْ7*yʁR 穧NL#n&@\S}|Pʝ)7_ ]&pWʤ*cʊ2hew!sOEcQ_Xl^cjB_)Gu-v9^1Vs⻱ڪ#.A8C9qnݻ}~ Od[-B#egڕLmRXbAl,xf cJK*yK$pjQ_8ɓC- fYOĄJ,O-$*<1l CEnyhhN`:ا废]vPL|"P\M>6\Qzk[MWj0.dgD &@p@TX;u]u":mRnw!ڎXk* V ՚T<_WG{"[K}KjX2$=Tz9| L哥loHqS/@:]PpB|oRwԜr*WA akq` l8>>#|-Vbz^-+u4D>mr!fHʱ (za:F*qƺ{c sK_I;mzXcZrSOHi!up_ ̏h96APMWx-亵 )-%7v|rB`\oH GD'|n3E v66c()6sq&(wl[/*^2B/~:gBΣض({" 3dI&6dMKޤr ` \jBߝ{Lw cn%C0 z^Ip+-_Os (B6L?=7o̩2ј(0QEt<>"yCN*w5dD,Bs/PjVcu2\k#?SA@A3J,N*OSosaLUᥳdk"ou)}\%TQmzYvr)K&;=^Hpn[!x(#Ә aØ%-&+ggjf>$zJ=8>밦%z5bâ[vz]hKR m! _<*y l FsSY w Hfd甴ӭCo+FTqJ7eQ$>d=c(wkЮ yC}W%vFӖaVr]ъM ͔bW6bc!&]|#zgu R vy PL*_AIh'Bn u.Dip|q$QiW8u^äe!r8gWdV_L5ٵ>Q#m(x়`6aRA>W()!}k>w_4D䟞j7D*H+GhHS @yѡ#% ,ڮ[>TVG]* t~7Rz ]\8 ţ:dA]`QkV a=[p8F s2%i}@t}Vb.za*`!TEm*!m(pSov*gqVoH#{d%j3'ZaUIn&ϦxiX t+*Fnopoph2y|w9Ip|#J-[8&ޢH~Zc(|󲧢c'X4Hr[ s'qLqjj- v੿Pi%?&||SUW4vc :TDr]2X̛$3E?3`ld f]T8uZ,\b~yUN6 rAH,'{nUРh͌爟b>`n sN̚<)|xB{&]r]^VC.%{qW;9.z4;VDcgۘU娊DcOU%^')F}LI v{TDO8*ݮ#"|-]bҋNsnh % HOL-Analysis  [wt&lrR;2i:A(=5&V~BK 1kqLw%~m}}ZVȈ ' 28v/#ȕ&^z?=oLЁ5z߱P~vhThP`@ٽ@Wrvj]ȒLCC(PUv(w/ΐQy2]0I?fzhG-}DhJ,5R*ŷ*\:y rŒYd,vD갎 6MMmW g-3} 8 |jVCw7Aʷ٥1!s"uB4\_7- 6-^ x%K'́y|H8n䁕s 鞊DwV6[#p+ 9+u Wٔz:)V y>d~8`dU>'WOU^<"Zt$-NQ"ۣ&.3$̀\ßf9'g ZΓУ{ɯM QF(VC6v#$X:кi&M>!r3ԩ+4#Ȉ\ؾs"ec Oa8G]&cxЮ ͍Əsb:xzj-0#=>4!C47:ж6UM] ݄-()`VղlxUa.[UZI)"Xl㜷*wͶ3nN_*o6Kڏq&1ES!i"ގtv<Sr {xu|0+|ڔP3NßF,c?Iw#fžqx.Ksb (~V$Iќ$3\F d!Nۮ)rp0K8v]Y^+f!}P/Tjnӟ9wj2BȊ\Y$XW"̍XK+iWs;: M Ҕ0Fxe͡@mTA7yiy5〃ADHEAdqK߳@dћ q9j \.c@#dتZPbyԽ_~lh f`8 KA`^1| X+$ 8*0>yzS3ө^-ؤYm"vpGׯRU 4b%nx;v851N5.3qzBj/jgն Zb+"R"Tؙ581CG8 k ~T,Q|a=Z'R2G>o6*!>g{YA+X3z(59i6nL%N~*8 >Op$c-~š)Y!dUOM:{tD)h@^j D/دo&Vg9E If$ 3J|8r_ari5rqPtκvܴb͟ՁvEDh}i qFrf1JI&ZVϷ3{Xo-I`8 \rR=6DMи H1֪C{þ7 )#z6סF~;)d* bsSW2~H7y9;~еڠ*i3 xL"]F}ג]jV<%ŒAH8WwH7ߩQo5o u0Ǽ]5Ĝ_VۓZVN4Rl?#Kxc?klOx$dWMSW,Ty/3P ɍj3(,&H :#,~Hے:ž$] 6fݓ<툳*dAS Ϭ9i>$(- lM$ZWh ]g ŷ&>T]lH6|JTtIG 7V\ƾJÈ%8r:bHѓqR%͵ICZQ+SIx?m þK`/UsdvW\G}QcYoui#LeJK" ̠a~j+]ڷian&-[JT;i; %68Q߾`OX_8[KO|)E;eTcZ1KTT놔D/%vq9x$^APi/\PnI Fl. .M7ߟR?a-m ~mw y)u$u!*5 0X߱Kעob߄?ww]+!s+ $ǧ$58m]Zf',̀%Aآo]!zͲ2%;I}.QXjλE;k% aӦ{(j QhW*x{ .{PUA/}utKA,=Gu}R[M vdw>π\,Cc(Z۲Z?8 ;&ۜ$PB_Õ_ma ##;2沃r f,>9jonfNS B~3j@Urd:H'udGlQ)^Cq0Ʈт3WJ'u ޖsTX2Uc"-tZ'~g3)mxakcGgt(c:&4^5.=q R{hJi˪pL(h ϐj3g5StKB⑺QBa*Y7Њ2e8_:<ƟuL2R\]C޺ѰMPRu)^.z+:Cy&4C붦v՟$^br8 \@SiWn|J&OD#y:UcUi^k~ c $O-_nc:, Oz?߆㏷, ;.8鼎 Fw=w|4[G⻭珽 }fָ*Su!uXhqF#SW4%& ]JWni8;3'[6h}|Hƒ1*c#h`.̏)l~ɆMNBkƴdRWLc7jma H" DJ_qxNnیq,&W-+_GDnyr>aSY6xizlvUj]4ɦWilS0rECTF*&E-MslŖ8!k0zm3]}jsѾ.h4(hH{20VLJ%*CiA`x*@^S.S/} zX[uwm M=RГɨhwRrb+nYжI"A f4*S{|Jgp 1^T_RZ6[ᐞ*3.\/G!6֭R;*$l+:vB7C.F|hF+$xGhMꂂJON~azmdzbE#.hqXz*2z!nr⒧.} .w*2mx9yX^&]L˨4^?TT9|Gg馩B̜^uR}@a9{yJkM%<q QjIց" 'US)m*]rB] TDHۅ߃ 0,QݿO%L) [CLwVY% C:<*ЎP ug4n73%yż;C&wTOD-%<|Xi6 ƫ`D]=Q$,|@fjiCc{Áx7p? ^t@x'a/{$ xLsr&;Q+DhQ.'Vxl-ydBS:nFěG\O6z3ҳcԘd.Lno$ A|Vɛ~0@ҵF JyEE[}hӭ-F[CVIӞUG.|?TY?D4(a:/fbkImum=;Τ*DFsW}jIeC loIذ9ȦkB :(7@sU5uMTEDc/Uu7.?6AI p綛RAMucZmp~-eb|u(ib:֑H|䰼,{ӻP K(xi8,{br @s8cҴzѦWzóz:94觗+x{&6-OۢM9x anb/O6Q!b2D^OI'y2 < ;%1e!p39RGnD[̉7O *JL \ǰܔ6dNS\0[mb_N@yvlIjV;Sl b(ճ?ءDMY{8^2ԌfN:KvZ5 0W=lkn8d5jHdׁY*0kǡ''GAbUafC$iTz&FFɸ;. O36 "-JΝ x7f${$ڋBzYFb:95X?ئ(j?cg+R?t_ĠR?.R5?7򮡯tɦ<ދ9ޯ=d;Te '(.ƻln? խ 쭰Y^7u ߫y&ͺa!Ʋ<g%lt|݂BgkGa #UξeVv4PىOqqpXZ`bnO.kTl)H-Hc۷H %HZ_8DGыgC9o/Kô곟yزeY {Y#EnK2䚏?ܬq Eyd&="lt@`%Mɠ2 .N /76 57dP$a`AJ1gD蒇U*+ Lr9[f8 YN`)I <3;~nIS_6FTkB'oUͩ®{p*zX^ b]`H*Bn4 @ӽj mdG5!kB_Dq3r:8gr*q7D"Rwu}%:>€S2U=UeN!jyg5Z'?7ԥN4PO#EY$`yLtrVDyE8/wGi6:@#8I[Uon: O~_VxEAw/N'pH3c{}o 񈎯 r hEma6R0sջa.a3-?g]@@j6ξF"m~*i>'VT|Y*}(icG&wTH =;}5z@O jɌf# \OTZa*Z]'4kJ/~a0i1I Sp;Minm (:hܧY\RK`3A' йǾ3O[1`Q7QTO^~Cʱ Z^M"B Sj WJ}G69Kwט &H۰Z3"glDgkc`Z'*W!Bϰ Y_\z-2 @R#*}HM]WM p *64Ç 'Ew<Ma&oCϮDH!wԯo$X.7 g1mkL[u(lc=$ESȑԫ<&Xocw@Qk8 [^PL^r8`j†iΡ,菹o8l6=YsxF12#Dbc#}t-Jmm>42GQeXuݮJ!Of.Lu>Vg|!"Ei(8ldbHL@+9d(俜,ߖ]Zk`LRS* <\Pr'雵 T -K8i!yֺz&quZQ(;@K_^boN(+@CC&| )C e鲗QŅ ⼬c'j䬌2eB 6P W<,tu;m֘˘ #D@|L͕h'Fx)0<.qQbz#m [2'6M^37wwx+:,R)pswa^Qsfh9̓Sx)?'"F lj8iXo'-)baZ AܶP( )+Uv]X^p7g}K;= ]- &[Et&w<̮*yA=Wܮy+n-/'jn ?bW/* Z+\{3ᯑ֊.+94sN(|{؊8M['_eO%H܈c(N@AWwmq?uίSgMr ?j32*p0Ǖݦ=ʌ 0Ai3$])~`w@3tI9Th/ǎE?ȫRf1iB06CH>f a̳TM>4I'MFFeg xGڸ;9¿bxY`ۃ.h\@ae'E'V dV#VbPvg/}=(bن~uO`qG_\iu2MI_:Et]d\wV?@ )L6cgABDܦ\;[49Ca2B)̳$*GE3E񱖝9hɷe6b&Q{ с[A7:a &[`:TK35vY"? k Ӽ"^R^#n4wBEO<&,*ɪKbQKEde1d©?D>-m E=oߝ>-u?舏ĸ KX;`O#;yn0a΀ 'gKPEGc$;Ÿ~Oe J;w=lUM , 2G[9͞%#>3GgEh~-ߙ٠C]QJȕs)f~-;~z,@;$~)i i,;4/NYOL1K7o.Z]64]m諉,)q*wi(=|,dheEEHPfQ͚şjߏ6%pӼt?<7`S~^炓]gT\ؑr;|%7$$UBD3Q$mՉ/"fʅKZ#2PN>Mp>۬ r96'!  Duv.Dēāu)tt%s?+WQ 47:)~D\Ϝˠu,|gĬ8MJ$XjDz~5(@7Sl.j!u/*hEYjn@yzzK7ryck٨[xWyA1IV~9!@aI1r#Dd1F6d^Etpw%@;r:{4E4qT.-uiD ޺3};sH=t@=i ל0GAP (l_hFS=vC*RYOfd?v/#۽9Ntb̫M_'E tᩁ^#+UZ]ζ4d~GϻO=Hp2I6?A)h3 Yw:Ʈ\,[Ao3NF5>*TKD<?A`"bme787'xt|S:2F;{%HY2"hnPv{0eaG׽vi9 _yB#8S|ʭc3ߓt1&=Q炒oѡuY3Mvjsr"3tWXw+ZlP-Wbޜ~̹:]7JV>w1^ԷRZhM6R"r< Y}Hb&wLhq-|)G;\ aFQ5'1wVҖˑـՔ%_c+[İb!I;nYsoI}o(h '9ا9~JQ"m-}ϙNvح&`mb?o!6w8$͠U6O2ɵeQoQRMwLR)B粏W:2!:pGMH@K"Q!ňbZlz=t| sKd;8u5ۃ(ۦ%BСdѰxF>W!C)0+C/Qu{l/~֑֜<,H3̈́yaۆ r3I36i{ƙP4 4bRmvZo_u$Qq X@RٮɅH=v?7]c_?4$پD`sNbعwz^/xvˢB4pua i|ZU힔 S~\KW˛"vͼFAg}!S`-!z#bV3zád-(Op3ۢ-S-X U,=C3In! +:"_0wh"9!,򕟱QBTrx[߁DʳU%mh~Ch/"dߪ4Պ? ҴTlxBm.?-iFWx{q﫣,qՐ_5X\k :![Rahߡv5rmY_qʬƮΧ*lj UO֝mu7sE'9x\ݢ} Vr^~^vw7H[NkO\!"ve^V?rtҩ.]`:=:$[/ PKMfH""<ĸ[/<'>gϨ{ 4 v`Y$#;篓O@Sn*׻%e{M&" `Mαj )+d3pC?hTX C7l@c'.f}noO,B2$dTQҤg.#sB5=oF\+&{$muh~ojDn]+/=1۞~#46!#(iΠ 9K:ׁV @ @r}YrOK?O"1cl FF<~cH8!, H}BBL"]:Y˞7TV/:pI.# yUXf'F3C7/(ǁ=4v[[v[G^qYSQ^ oe//S`nX| 53/F)=ZyP VC>*VInX@b'(~RsIqZ5& |!(خ8r[ԀAk,Ei:_J8 hx j&$iy&n3n\MC봂iBgK  - >] &_"yet-z J t5 c;f*I;y*%FD舶!BE>v^Ze-Z"6dBB?CVߞzɍˈXF?_"# ~lZ*J?~*~xd\{{}IT$H6WG` ӒtzPp, 1gczv2c ~C Vz%Hì&Av֌k`6{ J,eg?9:4X gwN-D^[?`G Q5)ѩ N,F`sl:q}F;oZD&˟ nCsF5_*^b=(Kyn|7JJ5J^hw[h*UbH 8gSjow {㳨&NpC ]} siL?8䡞 , 7|3MGcJ"N^x'r9*_9`W$!yFj9UePAL߼i-Vj$zY_ϼE>&,5' ztF$ړ4P6)FE_-~!:y6[{utuLq~jW, nh}SXԭ!j Ǽe9(-[D.5<y0T[ɺph҉P"P+b %YG~^lV1-R4'1?{{CzY/_6UBS0 fg.C#s}jξ a*0^Z3PX@ZД\w$A @{-D4̕|Р 2P$ @pW.H WLS4:-u\ۃ6Y6N }L h=pi, 0fWR_v <w>{‰*}Ti8x f; ):>Z =cRЬ})DEzdx03~Z5~,[re5*63X>eH4\E,?1w^-hԸ3vI:B;hI2e1bM!DEyeyOl~6.uԓ}q ЪPh\ =pw=ID>Ò񨍅]waPy'G@ 5N`@E2M`iD~F=ȄA(^C$q|:ZBR.Ws>Bno'jX&>2s=@P7DvtRa~7!s·\jcwR&0M-HRw*'Ո066a[49kI;E jT=oMO$Ra4_7HN' 8;έ>WR:Uf!m'& 2ǻ귒T]ˎmUh`Oc.b<4O$څŴD\ ~b7\ƒqmy7nM3{lιүm{تЫ;;J ΃Hn4p+ /cs81WyuTC8āB֓IgHrXU ||!{,2fOUJ\rr6PP ` ̯Nn7ѯ,+7sѦ"s위up_l(\1<+8@tsk¿ d˟_3=0[ cc&0^pDO֪+fїQ {n5EUQbsKjn$?iNUgYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4(p{k-Gy8Yntm"[DJ1)Q =~E%wa9_Z<)9]*/-E#t(oA'-0]_ w.ӈ]~,Tmr9Kℯ1.D4،8E!C ,'MԴdb(%;'ry؁tqe Ԉ8%@,wĆ6[C*eL`{y] :e̍[*9,lOfćX_O^;>}S^28Ag`N/Ia%beSS~ QeCLG@ed.N_hT;>J2J4P n!//,%`1"“oeQHXXcXՙubj1 n4,}Lnk:]!&R(tӰz,ł1J h8z9gPM*ڼuNN\P[@ML;XANi#٨EqWɍxrY3b~W}@50k陳/=B2,0MIŨ2:XEi.rȮu G}iA; i=})(1Hv0$4M¿g(0\oeM%%P e+}TۓS?>㨲_nH4Bk cCIus  ij ߃^BRseWգ%ӛٚWБ|MR6Kb"&jhDEKĹ\׹2Vx/*J6N>?A8?j^0R8hQ_΢,D|)@ ĮYx=,R4#}\~Bv^ 4t3tx\ To6K. 6Yn"cLϰPH^w0LyJMkR7rՃb= f"ɯ c~Z(3'20-"/$f@`V6i OSa(>v!!* MP)8+a]I Nѓ6p G:O]蟚KPm@LZꕡ5۳Q4 $qvKkvM7[f]ExQ5˓L^_x`90X( m2?w$܌n m0IcDnVygZkoL1+җsࢂ*UGOWAIޥVŢ!-'=)*+n0VR d'# {i=՗1؞Vʻ=@ISh#+dxJ?vsKMD僨W$e(p^y5I1cK:&39˥#oW+G䍖az<|xM&?Cwm[ %ArPh6W)OYˋDZp `K`bh)FrԸW+ I^OzGm=[Pl:H{2bX@ I]>T-ͫ2#=>D^_͝0 :TPmD):H^[\Whmvm%66,KQK°?;#De.<<]Z|(Fci)A'I,jTlќQ bÄcbZL!̛(̲lK4ݓEpk0<& epv:7B]F9)^1X\pB!gqU aw|6C2b8?7\4D,AjZ4|~=ؠ*Ѥlmۂwѝ hz_1wv57gEu f= p{uGdaMNYo6.k)/aip_h2X _Y(PF#WIU^ՀT &8=ٿ!$eQn2sةUT?*7?%G .idQ:!&,.;]˩v#.=}.0u DD6rg YW[n!4jBCt/4St hzqMIRvOY]=,i99?GCpU;tGo4~•0q5 ΂Zudr`"Ydp?jeNT6Nv*ALs.I?4Ih~zAF`*V'B,q0Z &/yܖR<ī-Am2~hIPuя* -3;7T8ȳjTzG0,')= dk7px]D9C"?qض.{iCOkp$,w^3ݔhNĘJ$bdÈٛ8%bۿ+%[Br-͓?I9~SaL_л|9hq/zNGvu:}ĨL,g@0.CۘB&Ow6ֻwӅ3,RZz评3{szf`􇊠je}!ri &UC0"y=s*[edsAz&2/CS>) 'G-y(J{" ݒmC@#>z^03}R-A0XIKXc34Ej'm5=sW ZZf HSy<('ԏ)&s\Cy| ugU*{䄶 S>qo~w@HXT<=Bwq1|=U4t"iͬm1n9]6P3Y(YRͼ8 iK6b+٦b & HU#>_qL0|$LjE==xZ*Y ؁J ._ JN0^ClV!({q T*g %/2 W155I1ZIn-<6&A~?d6 U>9U˨<25\"PE}Pv]9Ck9_6- -]$<^|".mO7fԛ /G^:KQznne_7cDH3a\ eKGLJ PhT.hKy13acfpVtO7-t;n,O'{)70kA>*8S)ogF#%1ޯx#EX\"2\El~h b/_IAk>15 e73=TO:WɌ;4&M!V#Hp<v9CLrcW';ȝsYO%k|u |r׀ˁab}#q.9(7FVK>)dgg:UVۗQ*#jC*4UDD ZWŶR}^ R`$6tVɶ̧ #hznqů3*;d[k_ @iQ:f3UE|ۺ7:E4p [|Wbplt50"ΆFNQU^sT\b-q|^,MvZO`:[WF|$H=&lMK Άrqg!9ΘW-&sS:g|]~i5mJ,i;pk3,9a)kR13NKMs{ߢU3T/yzг3_H؝;[1+NA9:H);hMíї<9UJ.c%ZlG$ ҬK [q"}܊4q-1!-2oxP-@1+*[1l6]pceuQ,{iZәW'\dʛ:TfCZ hl7kI3Gow$Vfs4J1vJ[fNjғ<5)h+ӧ7:>y6IQw36пPeޭ bC__JH?5Z̻ߓ4X Wr_muثXER ͶB`#s7K#` Si~j[Xnhg.X)^Zv%lmaoVZP[Cu<'H2e@iO߂HuĊ-=˛ F*m ?/"JtTunDu)0"x:gY8OKq$d\V__vo^5ߩ+ڟzӥ ě vh@v8*'',?=Y G>P\VZ^0ܓN[-QYSQjplMՄ<@(̢;#Ihy +‘\$#p6lDlˢZ&Wu}{ٵ/{[&gkP^lҨϾ\l0US DN_SFl8=֐獊OGp <\"jN*z I$ui`4n]32M~XWEp+]l+1>)j,aIV ?>GUWtSN4sC?4+m.Gn^FńU 3N@ޔM/w3ȈqÒ8A [21z(/g+ùoWRnq|}:f(քv/J3_k~ nbØ]3{O; 5XM7 ][Mc;x7V>M":5o^ LT{ >qK{N 5i6;W ?sBqj#xiUĢ4 a`oO=UGmeT&̯5և%^r \h]D}ir9t֝(T'BZnnSBMOTqʉDplO&+ER:3No.Ѡl"6Bqg9ib2GVSzv[h/rQ++@R PP).XF^rۭ7j$ʉ^mv%cr P]1A!ub[0zp,9O׊*8b@; pIm"{oE8/g~<$Ķݞ QtY`yu-cr0Jt%0[8`Lo@pXYI@\dQ]32 s_o#jdrM(/ݳ4c&x.%_ (l'H+e{su |8{@@ΥO׬rL"nZiG(+3r^ ,4Yٶ_5cqqw"B RQ]G|`LĉKRx5Ml=Bok߶bxB`M.@sx,9 CpjN4l0 }.qa-T w ݷ k ןeT#ށ \h [KMABjkAdK<(C Y UuٮF{Q {?ugv0T%2a VCT ʅlxec=.l'e:/mZb> 5R̀E(.IJRwK=_o[n8g02VSQAS M@AK>_ 5RcOs$ʐ[joSաB3S0F4BŗTaqG:Harʯ !Х_'h;} e$|(E)IaXT_EH9o5u&<kgŅUGMWqzzAoIZ]{e%[vFx&%eXjeB"d焤nm8r>"mLu.Enb*d/u'=,@ o(2Yހ1O\P/G"(k7L+7SL:L{Ox#̀Odi!L\G4*'Lڷ{sߗJ.EqظYu寧8@观J|rE܉T{AڒH_V&lP`[H=kwRĠEr_yۑBv⩡4pTS:ښ.\bT|܋89^Ky6#sY&d1YŒ;|e]cҨ;2GE4Dy*IV嘅1J翯{Ͳd2z$tWCR{݄~gHj{$7"*`Hqt̘Mny~;CM"'jW*E"2A45y &O=7|P)7 J]Ȑ.k$ ߵ Rs2,> c$˼5b }q@2Trr"H?ed!IVRT˂62W儗t'jM)}ˬb8m/i1tWcǪ(fht{ yg(6PDzIl -VZԀ`ߺ3F*EY oĮ]45v6jJ^kLp^.<<9Z@V tI6ih3I`D80蠀mUe3.J:,:zf-͏Dy=Dq9DEy LTU$vg++_ʠg2ҚVʡ{9nd)ҟpO>*Zp4+^Y,6}AZAa:I ji4R1e溜D!H^aNjU / uOܿiV[m)8[&rqR)9a*&Շ+BnjlXl})NIkkuDP2PWۙsh$He0+N3SgaOАGӵQ6 TJ~^fqd$ F0($9cb/Ug]&H\ӐhQi9M{{?]C]7s, ooO~^1>lX} *1YUqBT]4{F"S"I#XIXR;7t$BA (t=L6*тF$!c)5 5$0SE_YVۄ~d)["@->e1VLU'UD;B&Eib^J|-w'i Uh!$}F#NӔެRE1A+_8R:ʎٔ7O? u㱿|R)N@‘ښq;Yo cspM5,!tg2vZލ0BJY NC W$-wG_ 3 i69gA8]n"-ͤمASlI_ _Kw+&![@.Ddk$f4͝Yo6?j Uow%0bᾏRӳs1(F_bېcM,IGv!CƉk >#'LJ(ٵ9d\eҩ>ѓhѠL"l/$tũ,}&FhZJoVq'Ώ)::mY¨rh>劂{Bu9}t$Fu>l.S~e(t& gvCqpD eUt:E}`L{0 AXY < 5=*ElS >Fhl;u * aUXMwCk癬~Jw>I}εA>.dh`Pך7~GWǖ/f(7Ql44L");( ʠy_+qpD4 //HlYkM F>%pdTKyfsa֧R.Z=O"yWYj(y⤎.唈èi}R@=v 1з+d>IWS@mZΑ,0,乐HJ|h?@%ܽ$5rQ? I~j@yB0W۪FZx(|vȗ( +h%k>]^ k i"M wMr#eCf( 9&^«fYnjsZ,| 3ta>e-}k 畐W86/*>LQo h<&xl L+$M|Xd #HYsJppY#5RYFdkɞIGn'bs(~rsd]M]Ef[vԺ0>$_/+P*ewhaVy i1Q&)D @Hp1XEZQ]$,iرS϶Xv-x}%3jw&gyϚOmM\Ȉ%c"V':S+\5l\=@i)*d`,h-#Ρ/ g locr/%ņwaĬ'B 5^2_Hr!wلMEFY)PEƦ>"Lٕ:NЉy&|!L>ʜF$ Sev4_쬙+}I5qs{3%z* +jƲ*qͺq(KawpR\;Q&M,MĆK9q魗1FH6 1Dk9V]/>_t(b3B[a:>1Ȍ*jN>^P=U8pWR#s(4<I^ O96n"jylLK 4vܒ1 /me[syAǖJ[(|˛haFEI3j ״n_5(eIzK¸ƁxfNR!BY,;2,Foh3FcnljзqOob}%aV@ ѭdM?~j\qH6YK6c/'ˉpW\S C6|'s4&To2fu<uX_>ӟ}sF!quNRU9~T4~oaAJ唢:%HI s۵\: lqRBo6]+ՖkھHgFw*ƌrN[X9@)X!/fך(:kg"u_LKB"ubvHkj@ˇK{8ᅰ? H5*C8_|lp!@V}A;N&7%COv;>cC(Yd#`s9I(V)@JK[i?.F ,^ME'8oD-_F8{qc b~Ba}rJ>?t:qI6B)~TE%4X"9YH;P X3w%'xQ.>?E WQUANM,MT?X&'&Q'`H;߭@ohIx 22DR\g}WbZCz9MWBSV|.PĂO_,tt\`K?>6vlbB::!ZIr"h7ˁ/=My >O,YsF,ڀ\Xc7I&bZp'T:. 2 -zփ2+]- B/@wveo# Ȟ#ϡ 䈲y1F\\l+xPi4*!c<2Lq=mEF-!]*'%uv@CT\RY"^GE+y5_]9wk+ *u mгܥqa 4!/T-0wdchh/gp5]],8.yG~"4LNdjE]]JɁB[\c,ԑX'"?, a(;~vTg6̆:| ŖYhc2DAȶ|9Yb25 0lU@3+ym{~f0v3p4mwgme% .^m_f[ʕ\ ǁ2d8P)Bt%+8ɣ{j*=XKf +h "Ο׌W*r7!5 n8^84F@ :-53D5NEمܛDQ m#sz``>C)Ele_>ub8)BŀoT?I^_a;ojx~fOPO < FT: Ni:}'⁌??|4rBt=SԚSђXP!EW^-̠tUZLvcLIeR0$,7-8sȷG1u]ݏ-?̋_‰&}vF, IZI]=QyTA =|MT߆h+Gm?vH1'I p|ICz$hZjx߹ز0ݖs%J%S|x%$̟+$Z&{5P9Eu0Y)W~[wqɠi\qX׺ |4dx|aI֓+b:"P$R訹}*2'xGNR;+u7Hn~uE7~{L2+Q 2> yMBOLOj*^`ps]' 1Uĸn5-q/50*,Fx1Eng0 6Dz0QU䡤뉒/t6tmcǁZ_K&77:Es,CEb;hmxq;=Gl5f$y,4yh׫@ZsXGXlK -N[,//gne)v3@|P&J[h^dq 3Dz&Z.J]u 5=>-Gqe`f! Cw@1eb;AھWW#73G@t!X ԽŹcK<%̊ϳnC I}?݇"1㫜paS!›_ڼ'veXx@_sT|wܰZR0Fc,sS5c饵Cs>0sN6v6e3XҲjIUf]GKTzQ|¯n5$tn wӧB3]ZOR'5_ӟ"p~^k 8' ؇i1T(A©VeQ8Y|S"E ':2wĹZ=9͸QHADmO78x۳(= ֝Quԯ=2$ kzk8=6$񁸋ɯܸK05i$e׶`JD{bsQ}g0z"Ϥ `tsP,7>L{|rH|j;$C#n6Nꌍx8%H 6ѶI˖.iBD; s}>q'UE}#p @`0E՟?3lv()3{x" Uk[ۊ]6v-Ŵ.?\WE9CM2"׾-ѣZ~C`2iP(Ќ}k*n ]i> {xfqeQې|"wnX.PYWHF xWvPcӠE8,PbΞp욦 wMg?f3bïw׊'}G]xe\kpoU7(dk "wȒ4%̫A+8`+#? _^(ZR)c^ (iV)&xS]OzՆ!La-5g$m9KȒvb^굢%-{ցɨdž1,M|#m E]=^9.v]1ַR5gg" WO^BaC[.h8 o%ɺ*~8 O'(H*؛s>Em3ъ|$abx|/FM-7qWHEtoS{{ZC#9O̊r|t^XJkDROhg "b S)/S ?:Aw6--UsBZ HĮ5AX.&&AB,NV|Ub;=/Ei ]&[e$Q 'ݰjFk@C\%(%i Jdh=pٓU 7 T:!L2_rgLClD"n$z YdC_0PA1柵+wZ9`ɂ9/#Y{M*>1(WaW.A>'Ԯ- B迖y& 'TuG< O?kJv"G؀vٮSxucXN 0u@Ní6_yy.䈣ʆ } %U=y^ _ uZwocƤ.n~+jڅ `@[=NP,SZol}wU}pFɓyf *VA{(g񉜼h/=gQ氯 Tcyɛ/p>,g!g"k@PǴRU7:uB xN\rd6E kuܳdj=/+^5'4]Ҩ照NRg>ȹJx=t]#` {U:]1,*,h\n~=yu-ǗY7Tb%h 2 fߴggCƩNfI1~w鏲(p4sqAخ>⅌0?!IooOU8cs tyrusR!'HQZ!m9HL=s _'CUUV=g7HM $շsN~UX/g kէ7t6 -EμD 21_d'm^F rzuUd&5\PBwlYZ82_ԯ l3 xtQ֮yskwԬ{OޭY(x|= }4Upa0Rt'"<~"ӬA֡g>*s!=9hC_PM#W_rS"Y0q lrn?ejbP"zmbnl햤T&ko˝!mmwBgWta>|V `؀?J+l|C;&z[<|-1i!FKg_$Ll?~ԝ ;*SJ - \/W muݯ~^a ښtCذ<>W|<-"*h*P#Ʃ8G, "m*g>5J0*2Tށo1ua*27sb("IU*n!yOe,JXB.(ǂu^ٵoҼ`ᥧݦu~(QL2jk38Ṱ)r1WuIq P. rѝ rJp<Ρ3a JGS{Ra.cwD:i'*)q푆F,5۠#~k2hd$ZD&`YTl|5f3O; 22P^0Bc7L)N\<).:p4y*A h=Bu"r">ԨAn!^N zb<9}S = EJ%g9\ڈ:Thӫ[1Oi.,MPe-M^"8J_mICiSfymmxڻLh@7➫B޵ίȥݹGZ)j-DdגE Sn̆XJ .Exh@?/sq:i˺ec\(+/+R Q̷$l`p3)05֩3@ӛ~vnB$F6Z.!Ȉxmy ֏q..Q-1B.7&8YFWЈ1RB2.Kկ]ٗ4IN` ք40rzj,؆$=^d-uFR]À_u PB8紐9FDdj`LZn{\?K\o xkCԍeP!"jx{M=\dmН~/G6-10Lc)zk T0kuquyIfecguU82CI> XB23[@Dr8$Kh&bbEw~fȳG>dm@1_{DoW&Ws4T݋zƏyPhN*Ffa@n#庯Pʥ=9`:-kGkFV`(o$i%| )egir8h[,f^o~?ȋgį+p`qm@0]2DzdT!UܐmmHTpav/ nrqWnW{>fA:qyXOw|(U{Ca+Om` E\_@,7DiYΛ )Px 짯g=yĵUgĨ.6lO|!L !q#n|0egn*,ײшyωRX`pݡD#,R9H#1 ˠ6Qbw_G72 ib`NlvycyC!A-2oQ 2%6q 3V+QR&ܦ{#{wcxXYϴp Jo_<!TnbAPtBz6eb=:F7g޸7[^B >VT,3$dN-1v_߲!rzoI=!V! ٵr [CÆJ&S&(b`5lX%p-M5y]O _ >j4> .0 ZY>jw^|v,;w$7V8$C@4xT*tʞWл3l֍3.H+@]j6 ˹l*8?zmf{fCpg1YmV@$pRe!hyp풑lǐY ^K"k[^}:,.ܘ.z9,#f?&hwZ%TDžNv(Ш uwmde74+%b&-1rfZ\ߗM̽w*cEWCyYUY^c>vbfJnPL)G4$nNZMO+~N>20םy29C_}4ݨF+GSl5u5}eYxdʈݬ<t,bӋG}1uD"dg2a^~;Nx{ "+䌘A6J]ƪ8긃4tn&f`i\c2ɧ}ܰ Q $:]f33]n^$< v^vϚn!fCKؑEeiC 9=.W![lXX=u + .XhrqlG%4 II~x"\Zc1 C{w`-•G"MBf'Oo㦯% ;H2ntxY~ [qugF0!y~45=S X|+Ș #e8d0""d]'!tulk {zQzbIí"wT!H7HȅӫvreFӍ-.N)o W9 }}&ڷw>r,sxKȧC.غݙ@\$/p_ Ɛ6Zl=)-,0۫aU-ßA5o*!^Az| ?(m: y11.#st 3'B=lb/#',!{PbCKا*hUp#;x/f ݆H O3ٕcg *^B3 Z"Y4pmaF|4 vܔMMK?`ox"@ebs\ G;~jh~"kR\i)W\Ѣ1vm R&7m'2:H-+X<#UϤAGbJ*G;Ҵ$#zuヴ;Kۻ Elen̖[Zz[`x16,p\tYT;Yiv4lv I&"C/zQ<}x ,''d%H~~3"BpFWqh幥zSK%|yg(9qbAK|҈hTg}%6QhO)ڑuBV *6R*Y9wAc3RA͗rp?G*D'R4BFv_ F϶sC-R%u%`b=#pa#OԟtifP_ ՐV5c _yg3m>6|Js:8D9)kbByŜ[bX[15LݬiY۝-5,zQ"#ӛs̔`wܕEW3E}3f$B X؞nGaX +}+!Y Ds~=}Jp_A:[j7l&$*CM$mRЭĵu2 ;ϰˠ} ^O0AflMاIuLujs\?e#̽+UzIketM[C TUy7iK`;;*rꒀ ʙ@g܇4:5%[o(;Jv t:tM#9 [+X:?",w8f7#5L U044l#v:#Kbd /[;BWvÕg֔B'ǣ!- p La.'ͽ| fEC#b?`d"%/?Y3  y Y c ;Uz{3[Slx1keRB(9z@PrhxY ٣zG8t@98K~Xir9iC  xO!Kz[AP{M|gggVuhePYx##J?7hV%ƒگ;a> q/bc.fg|<|<qvPpnDBI|)GJ$sxFu 4YLZB&9X#OFw=!' ofRVZߡ^F3V#44`Wgk͇ cB120ŤxtETٻ(렺!EKu:7}^=sL.</{ϫS;߆Cv>?ZrA ")Snp:F˟Y=N .P p٣[ay]tM=*Bך%d;?Ke4jYL$V`{/?tavGIkN*³v)!N! C"1? "Jrkj4XkQQ RRuV!I]cAz9K;7j&%mW1C ҹRA)GXưa^lI:.P׻*ݍ9㴯31/gOTWmIasy؎ *d #¯e/#ME?]hg]}2`o%vgcu۸ɇ&3LV]z.mϷ9> MX(@ %!og̖U?1Jh,]NC%w WaL2!L1! 9ߗ"Ze\OX^y*^;=2[cL>Q?>\k 8Ա0OT'!ALuj}?j)I dήw#-MnQ2cC@Egl@6 +Mj:2SǔټMwBE:5 @`;[ex4BO*Dop.zƇ!SkKv8m‰$X[Ih&}ҟ媻ľϕqNܼ Gq`V^];eIBS}FމH):}9 CƁ ݾ&H?cWM|;/'~ >dɁvq^t?=@R=vwA˕n` qoH"bP`B/>,!%|y͸ͮ,VPߺӀIk{a 5M_oC`ZIS ʝӁ#f-Oܣr/f[]OQe;eVIVu#*掠{ZW $zQl鎢vCqѢs8 @ySf~3SS Әn11J,( P8}8"WaN)y?)af|19}j$+qR/NM3>\,?:qimp`ϜrXĤ4^'^>CU&eӛ#8DlE r5ȋbK7Ϧ!W3@B %K=תY1g$|Kya`bGRS _2/v65cd)q8S%\~ψxgcDt^> F^^NήHTS#>\Xu vv`$h'gu 7WQs { ɛX=N`Bt.sX4,vM](٠0A-qܴ`ы.P{45y9՛L>$$lO8Tܬ'2W1gfcՒ WnJMBp.xlwK[%A[>)8lF/uz=!~ʝ_ .br +Q.ȭtZDA?Էe^g=`gܖozGeߊb `w9JA-0BS#r%ќ tYcŠx4C9Ф‡-'ֱvF̼& +b *!eJQt}4LjJh>]CVZ/|ztQr?Փ X>D4K#42I ]_rJ|~Al% "U7ɘ{^}'yCar*Թaw ƽ2m\9徆cqv|†Lt}ܛ|FUy+fG{[um^\M쯪Gt?I,$~Em=&&؝b4b`xLKr1icF%aTśT)Tll=fpy|?':E I.ھgnw[d[-ݠq1;6veLO'`t-#fMMq iIP*b"6jTBtJe+Il sPަ(U'Եa^~v7c8KϰA}5Kbr]Dko "#Jg` )*kpN)o!n^5D/}Ld D$4 -Ԅ{M(.G(~|ȶޕWck%4e"qi؆ x6?]KCp%6M-KiT@v êGix-pZ[!͈`K4M5C=3 3kwi/Y6G8ul/Z[,[cVjfw9.g135<໯BPэTzF#pgVVGɘ1;D^vq~E]A~9w=hѾy 7e%xtTѳ ^7V}ULHQP6/?J dfm}8S38=lސlf |;p/r?V: s4K⦾ob'ՂńV= ۤCh2!.,1yjLWN1EPDȼY] E4aڑxLyvI(z_q"H|+sK 0YJ ?fr$qXP۫FPXQn$&/}wvͦP߁4btۿha>t ={v"WzHO %Հ -uj҃4Q[&K?j fpU1R[mᾢnMo:1gg40]-1uk&PfB)A賛&;a[7A5#|$g# ;hbMN—d@u EGHj5rXcS羬b$=ql9gZA~k<Ұ!Ut\8e6EP4dX~RE,~])O.T^ޞڒlr:7NX+8<͸-P 1 -)=Ʒ ]2Evp'nHe ,:bcۧpMeF%X{*?"KEBfx fM!|!Kd J#5@$#u51G_ FVAR|XcZdH/١pg5yE%)Æt '2ۂ$'%zv~HմJAzU}[٫ωR8`ɉ5#$zMl׽ˏTL ˌ~(/%9[f3ZC;(Rpd@ؚ̟^ޥ. SLhGfUH&Nri`Ƽ" t² -;;YilEXpH<m j hKR@6-@{*Qr"$ av<@C'ܱجi_BཽW.^ I:UO!ٮCOMg=`Cs穝َۼH Osz;I~;a윪h:2=+/JZ ASX3o/:Q̉}{HTĄđ2:M._W "x5]ʈH6slP߫Y-]ZOȞ ^8)B??iI`j1"N4~ޛzH2N1E`Wি]# HYMw4coQߒٟCj$ž-v8y~.Dqgh0U U9i pp+Ad׈mek4de#2jzVƉUdPocL~Y-s#3jSu_"Hs-u:yzv5 kӅm%{xY:2FkNB1ri,SI;]p3/Ô nH : '1VGٳשP*94A z qh_GsIh+[`XWnjNE!(GX1RqJ秿f ]A=m̥uN5ƊSh7 tfHg12&@UG¿% e;t3[AgKi rWHbiÂr[쎠0*GQdHZC`yNhvZ̫%i˿DY}.c\L@C~lfRFwdX|Jj',^:*ْuHS?oj guʨ7ad\*0,fL+ӵTmM¼蝶[,>Ef1tz٪hvl=.7"W%n7Z=o6>RiݎC@)cĽ#dȅ Ut.@G%^Ws^_"kr)+J+&ܞ)(ati`3iF6 ?C_X&D "l?l+.R)f۠U7LIT c3o rjt`iYƴ"Mlku8ܸgOx겙7,1󎴯 е^B@2{í}x;oهeSF2zn&^d6N%U ;4dwTrS_2KIȠ=U/cC)\h+}[گ k&q;<*ٵ0Ptah B*ԦU 7K#IO"`͋_~%mx4]C¢l8Vr +CU[5B=DrW4{TQm0 ?<:Hӻ\9T z_fc%4-L!mRt<"\)j3~}8$mb턟MـKt\0Y1m |r8T'߬`qmt o>9'Y[A/XqK$Cג.!ND#}nË-/=>ęSoEwB4/BƇf@26rF7\rћJ=!2WEȲAՇTgΘ~e CT&v 72o72nez kJ7cSƷWk[83:5q!t`{%4 Rg!(4eۢĀACCK<5c \dG5WB'ړGCvamgYZacdb77b960c0e615f8f2569e065b741a703770324bd67b285979e6f43cac76043955b384834a2c80 5036220c7d35dd2ef458845900033dd223e33096b1b624e940d5cf7786c3795f321bb4d6e40cdda0