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  0 0$!tl\ ]]]HOL-Proofs:threads=6elapsed=608.726cpu=1463.144gc=196.744factor=2.407zXZִF! ,]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZMj՗C.O8@F3߅ht"4Jv9)+pڻU7#6 *R9zN}ڣ8̮suzyV$"Yw?}{~ J|wڒk^qg_ϓ=A)5#o{NF(,ɟX5ɖd3Qa.jĢ Opr"'9U4)AǼB="_I)BJy|Z @iPr`~n7$.!ַ*I04_=oGkrSry@3ʜtsyFf\zi7ytwJrP>Ta,DgD9OV̻I݈L_^ CqIL 8EʁdgɃ ˟bC/XA,5f߂ٚ#'>38?҈Dޟpx'tQ&| s@j1^s# _ {tBD67r~ɧ ŷ]K⟗5a'HH48p@3ŜTW)E&ZbL+| $(l u|DU`nZ*#;C'u-$T)<Ȭw!$ζWG9s+6xe%'mڕw_Dža( hZiǣEc1hLmPbFʒGL9A 0ƴao΢yaS'+ԮJZۣ.8Z*.D%hzL-6R?voƽ9{MA4cHjRkfg^Si,Dž5SƓa|wD! ax$LrP4[ČHceMeAּmc/ͥ&7Ad_nq9=S>C8&Xs]uh1z{|aF\hyU7ՔisU*EU"~Ɠ-kLQ q!4[ vniHڷcǍ&@|^ KBN H5"!UURc۰oR#\d0jr1[B~E{dЅ7jVGA  ! HOL-ProofsSp:KE3&@3R\G_ l%W@t:UWAKUF'Yì`}EDt,d @NEs %ʒPTty7… YqX,mWwiؙtnȥGJC!Nlgdǘԗ";ע] r~}kI2AǵIOua@myC΋%3z ?e)W[t玆C@x:BrR6U΁-e E`k6MK)J8-h{ owřbYi&s"/ s-]nIUd ƺ(R(ɯ}k>x3(moɀR`^U܄VS)ȣIv']y![wӽ4?{sUYPzP .cb}I$ĸ=zmTV+QJ͒g +Cy+-z#˭+o#aM^Nd&7pc"ч-n BtZ}qL['hN`D]ylAwH<$Sn%_0 V!e[ܐt-'*>eA24h ~aRoG*+G02K&[ArՍ= ω̟3{5_Oxn8f6 Z:`BThhVct&_р){Џ^>waFMϥ9YQ~~\Nͭ<ߏ$oPu>c`TOr*vfh*Up"T?F`"{%Fqwk̢0ӄ_K }ไʝݭq4FtqIF7F[^b&j. =:M 性\$b:fMI5LvGe Da.ͬ}>/5t@\F#篔us T8s^,XAqyَe|7 9@W "S<Oԝ0C|%FDzIUlk9600.w\z`:Ɠ'K#lo6sXUjvJsxQoǑA vjȶ(oY)Ttٹj@Mn;mqMc\$?[sxv RBCax2ع@YdVq?R着 N6lQX W.Ρ)ȍ^+{2-ʸ@Rf11Hlcef"~z]8#H1}*xz,[mJ=ǼRԕr\:J>oQ_ -6N1*? zblBGu '6 @?E/#W5mEGsj1u5U{GbPWߨV5??řLUDQ w8xg\ͳN{mn$H7œ=)BueLߋd<'"[}C$?ry&h5\Nˣ)^~c(WBv۶"@ QmKg[|EoVϥ V@id9ȠnI]ZӇ۶J0;4V!NA|ZPg)5-&x)?k%8p!@`ʭ27#]&б܅]5hfƠgվPD_D'h۷c!iNMPM Sv:թ)48+<` ?V1?e 9st' ;[a/YzK0 }w5d.rF(M6>e'iFT)$S P. = cE1&ъ)DU y>N<^%$/MJ8 Y3!L\ƼpPMp$(U0\׫ F=`n[/,w Ȇ!,`yD._NQ}ÅHC0ǿR%]N M0S+n 6N:a bVi-|t`%/l,"+2#V5DDϫw-&^kx;m9iw"r${=TLfv?$z2 ,DJAH86=1TVX $n7y`*6#10ūnV;x7꾃2vG|S'UJP?qs *܃sK\xT5!bO0Q [ڨ C|mDPEOҟ@[K06IRQo}S 1$S7 dE.$4_-J6wD796V%P_6P%YMME`Մ1kM?B">֨PtΤڐ5>dKM|qؔ&E q |Anjc@'$R+<)QEGsU,X'Bb]:#&,*tǾrϣw4)> jt-7AǶr@2pM E:e*X>rv K8E0 8Ov/apOZv>aJ9D/z zz/XE\Jl+~fmn[aV>sC>/N}9N7tCf'#EQ=RqYys!Iri}=i {ND9SFrǹiJ#ۖ.CSܯJͤ"&֓EM!!BKAyǂ+=o}Uku%Cr~Z~ ^.p"p. LފOGO1!]34?n hk=0RLK6/rP,G DŽ[AkT];x KB/~⧛dC.~q?T>HZ o,Q $#r_]2a+/\u(K@4Jq5K[5WRYj$ʸљΧ"g\הQ>A-'ynbn su~aX4"n/A2g<[P]e'Xi87XfMn2#H;2ǿ/^ 6+Y  63S4OhM_U'}]EP(u9߇zOUYbYET2h5/8 I哮CaUdmqX!G5rx5r9yz{5O+H12>DZ:@e#S4*DТCC9 H#m9҄Owȫ n28^2}U]z7”uU-lo8њc #u5ut;y!ZR*ַƯd4}lw*TG= w38X>RkvOs L&m풡 Z@t\OkqEߚ7-P{cͮ.̺"o`-1 ;Nh*|Ngi [CPzKw! N* >K@K s ߩu&,.JH*a^0\{!a>7p Bp-j#Turȵ>dGwrq1s;Bܖ,*nHryVgq0 &qQDG I*3׹!6?k*yHdqJ㎳36\O?r.ؼ_݇Qt(@+2O|V>hlaE%a))u2}Vcv1ϵ]HOsWkw8B2AX)`Æsr *Lq"OZGw&ӘYljq9k",>`Ȟ)iH6 ug!.^J.nT RVsW _, DTb; FuK .&Fd`̀z cهw&8}MzI: E٥T>%zT\_%˅,ޱyJVg ._{*8nnP*6Pӻb3u0bd&L"/CfdWh8I ¾ȕǜxBC xѶǯa5-yň҉ յ>jwԅ#{MVkCгeR2L-\ \̲1Г.%0pFĝI~s}Z`¦i߲'ECvjxK[wwinf0-dĄ" 鱌3 ̼ćJx/&6nrIM_͕1# z/­UV0 YEbOҁ1ms@+Z~Y{"+$J‚n(eF)IxH(kC9M('!['gzcʓ1Sܐ Yq7_^zy['ppIJ3{&bg_W}l},HIc=9`*%0+q:IߥΪVt*$OР,\6G}":rBĥl ",Őf(e["f"s*Bs:pMMTdNNHKy 2uF-rG" #^pel"T&_ظW<Cq:Ra|^OIb+KHGfB'$21ޟ=ZQxL넉)RvȳF:fӪN Uͱ-1tY):PU& +Ēi<4W(}h桽6rGMÏDs8Sf6F gڤV찦}M]xփS/QvQ+YA7j*˪+Ȋhgcƚ$ڌYNإ.o7n!|lȍRLokUr%JCNi(OqLGQu+Ya=_1:&栴X6.G"=UPČhi඗Nbٷ0UOTDwЪbb반:w4H0ۆrȡQիn{C pw)>$uLbJƉqk4{+fkn2Ϛ0Z.tLq,YE -6&YpKa*b#̓uK#i$뺟OLTi sz3$ȇ xFef`]f*9#G;,};4xAkdqCeu*OǶZ1 ~nl<>ra+WXGܗr9']2u74:B_>/Nv-,8MU:EuwQHa 5t—Foiÿ1s]^j.(5~\Ԧԗ~ l^zE*n sJa!YO˛4<ͣ>2l[Mnɺ!"j[z݊ͺ(B&$3u+MAƠ$ͮgk) sNuPM/<$fuq5뀬l8}6W&u98XQΣv"CA'dIܴ]2$Xtw=+FFTj;TZBt!D>[\Xskχ!Tvx&g1Ez֟!Y5emoLo!aFrozlnbT=G[[CaJX;~VB&;,p"V{ a/kMAՆ5 }\f`kVyRicpq$m>GiY,Mkz9HDMNa] ++o *0kqR29<=lCrn [jbRPyjf/hTOPw>88n"aFޙ /`o&Uƒjū cdy0좄i 4[Q j9i*]@g wk_e?wx]Dn;9`/ǁX,tmhALH`t&g]fI_"laU ΎƆϖZ[t=Al؉>l|Ir‘p~|@׶~>?Ɗo]ɦl??`ֈ} <9ΙND{s D33مIi SC:fοrtw"-D+ v2b9.DL)LR"? VM&cۨYpQ[[h'T,ιu2F]\ʕL!|ּ>F1G/(I%>MV]%F͒EJ}5#*6&# jCk:97,vi,w~/u+gx`8xvПre_b|OʱI\6tXyv`@Ԗe6)ҫ/jƩMRXkEפj:aG~Ie^5lJuBM>c &u_&ZX\{E߽kA_̹A5Q|f &-hxFJ\A@sJGŊZ W~vk&$8W=pCõZg` L {%mSp6aU<"OA}*!.x{Cv9FpŅqtv(夿" p$:%zrVIA >Yt%mlC"͘6`uEeb~;¬˲A+ʡYuLDj xipr+U9 w&C>Df{fmĢTfޅw&s[̊ɇ7"[) / IX],T]Nib([+Y9O]EQBw8,O*E-?%Լ1 \2n$z5Ň~Y%n~a$CX] y71V'r݊d&Id ';f/܏"l9hI(De2DDbEIoy6gR抂c`٧a3(POK?Ψ?M:k|LXx!`4Dbc.R|'ۥa,q۸8`u@Y]6JBbXVim=NR+(i:pP/:iB0*vHH6xaJ?/8+۰  DWEJMW EFJ,f[C|cϵ'aA9OPJAA1砕 Wϭ"B7F;%H^"n,jBB5Du+&/TV6q0ilFOS_pn`v $-\ &wEwCɥ?Nr`H4 G/k1RF@3, h%#?Ӎ3A}t0`QyΞCPy3I+8gUvWFOBPkY#.Z_(@, N XӼ9d}c5 _s;14/w+mA 1fՍ՞Sb0Yۣ|B*0NaT阑Lw4g3u}mA20|} "&^h .LʏNm?\RD}G:QӟUO:.v?m黎>+HE`+cWK?[ڛS\=PR)P~6_Ekc>B{ ;{"əTE_&,c}aĥ |0ɇm sh`I֡%:(&S.'\~􃹆ZeuPAq9%]RYTl- 3 okQ;) ٠*Cr1&M.pޯOn7 AMIsZ/ Zw l3>a"dV=CK#n3DoP$Qꢸ9،9Syq3k4jFup-0ie5PZP0x,) XVOZ_V j:c1OxiytGT=:b نԯ^ >=p/K훥̢Gdya:4ڞ&;MI㰙I!()1C:,P#7<y9o]-C9Qrg1ZBH t5p?` ^:-$I*[YK&}k9=9G>]Bt@8;p=Ҏ఍e2Sx@ȃK|IZ0p rqV_3l&pW1ce?tyVD O~ %%oж@14wR@OI?E:}Di/qtJ#ƽj yX9!2Я:m9opt;EF6I^W&[!c1 ֏,H csr 0mT#LK7-X7(*Iг\\=b Ib.߸ fF<<%]Qa"ڑ%7PYtow*300di24GL[H/~c/Ͷ%F_z1~FƷoHUm.(0GߞVUkZ%`q6O`5Z])74O7­s(VCՇ6wW-mN@ `O "^R ?"i5s}̅>p haf} *&?_Z8Ij>w\4DLG_w 9Npݩ.@G;]@P\DU]~ݼIX4<giS6OCd3t%8 [Ȁ:bDo+ } Gp;a}#X Ӂ+Gu(#![PFjJ<[!p2Nf(r@Xj!=~ìDMb+rpS]K>ɷc ,ro;zc[5}3ɟ(k QEϵv0-|xS8=%iJҍޙ?:@u4.͎w~y Ur:;q-on"4jtGUW{Qbݍ`.k,66Ki0$.x RT R.ANu nةtwvnajEE٣:\PW'(=5v{-Qi-dڡj\۸>QѾ*>)|;< AHiMڴf5+2օoYa VRPmV@[ ZܟB4| "jjGI!U,kLlMz~e C6|Z\<Q4Jp U%i0F. z]pgJܔ\j컴rdAs\޻˲r02ی9zD%c1YF>-5[ 96U}WayPu<Ś]81-M^6hIw)j]cCO'f_9Z[xYva@eb#6/%74% Vn Kfh^!-ou'AodNg4$9䰳Xl`~QNwFd,ԓ% nyZX;+xkmeqlCiu=ǁApY{ 1)2^jC{3H2XY;,-KړKs i0#4Dgl7ø!o Co~dY {7b|qaggy&iK"bѱkͲJ^DxZi8mĴ4|;dO\)ѡ+\*ږ t678VAR&peO!H 90uH=q{,x qzXT"y SEB9hDKW:WS۝b& eS;RS|AMٖ:?9^U;;cxcdzא^x (=e<5k*0;N:!a\Ģc;cX!p ܈z=bc9SW;Ė"i"Li'95KAT3 U3-۸b0/_F|̃zD]c$W%V!|5x0O7x)њ?تݩw~q8_Ek&`^.MօM b_^]PG=Iji#ZIZ$ hqvG-Jka<$F#en [{av*0̔Rؽ=rl:9[ r՝ૢTklGAȟPiў \ 93I%i`f]Z[{=GZ˦3 YfWHwk4pډ&bps˅ZIStmaF. |&NɤH"WY4j8Ut8ңֲ)5rt5tl9_zD ״\4O&%z ~{cWR9;h'%\22J~ל*>( +=ؘlrF6E$ᷜJWh*g`$!8QC2S^vr'w%`?9mj/MѢ2`x707Xp+P$zzt1-346Ⱦ9HW?TD]M LȟPo wCkYCwuƸkDRDD4p>B=dE_plRFPh KKiM.lZiI/>4ۼogyris*|p 3Jr'ur/ }Q傰w0#l|\t ̄@HvA2vȅfd`]M|P {$hy$\[i/kUE_*"}WsSMmzj/ɻ9!!:%A[L#$>k5ԚH\8a$3%(ԡմJth-i;a@TrXF98v@7Obn@vܑ] iVty:>R2QǍ}%Eq1%϶TKپ;EpAxɀ sCpD:Y핞)2 M0_&h~&ԬN,#Z&EPM")u[tx#F !@1_̱o86{G"t39?-].Y?hK>n%ܖpN_4CBR/_In?^='_*~Qt=,Sr SA6%HYDo[b_DUy߂zUK׳RfEcB, |-:cӐT 휅󠯩5sw}jrԟچG3NFZ@UK?j!W,f|zǝP ކ!/Tv@RnW&n61};]f66j'"8?ٔ'X|e(ٽH-mVVhuyRxgƟQme64fIKX YILNAmq;m5~Hg=(crSC/T%vY].nrBZf{zh*.d9s|p1m=qϕ&nust*c2"^>2yf29yCN? ,K\p)ۋdp}*ΜW4';QRGP߸"~̫% tnlBOJciN1UR9h˧@T0gtՔDϽW}m&DKӘsM]KݵG) ԈPX\o +Hbs: G+?!fXoDG` yc]~Y8o;[ KSM\ ==ÊN[[ 2c?Z_\mΌ4k+] ȹ.Tޖ<-D ѓo9X):!c j.?f%' Jt[9)I"tW[ >$/B \tJ,E$>0DXژشh e#%^!KEƚ@,RܿÀ0|0D<2Ε_+z c~UŔO0t~=Fc yR{ SH2>|+,$cٚ.1:4"vf˵%Ȥm>A}O$ 6 л2%'rAnsuk"Ǽ,~$W{9Y5!;1Έ8QglȕF@jd7^4Fd|~F).B9fIJ[.!6uٍ;4' xYܙvqNw͙%@#tKf`v(S&{~e-ޡY;Jdx*&Dib'A8祺=4^Pd~G~3| <a6-A|IYi-1TnG_iݯ]:"3mTGFYs4<;R+>9!RّG~FQtN.(^lΪf9ic] xa/-hڷ+Y6PlzW9W ʾgnӍ@>J+ ?ho\ikc+2Ƥz[\I*TB~ȉd4YCejZS,=nk/1{H -~Կ~$ rC DáTp, Q|:={Q ]wCNq`9 H [T(;OtG]IG[>tzzr҉rE‰V{Nob/=IײVX]ҁlY EL*zsMBk;NȘ܌Be@#fYYڔ9kHϸaUVWxM zZ8k8eMU@TeER?%F},qA= ŦG`-v`_6a9kGZ"m\{dD}֖u|}@xheԤlWʄ_!@r\ۻ$8F,-~8$ {򅮙Cq̋7´ZIwu })dߙtOnR-^w ~6+Ôtq.KM ,Az>ϔy%wcΧh3+Xr~ڂqfƢ8>_t{r"%\ZY/Jn'%HB+Dm7,ؿrd+ψƲ54& E%>*ɰߚETgWeJjٌ]oG;Lįod`/ QD Bn 7)p?r+a Y WN~< w"zJd); D.Il)Ζ9i?&v( `^>ޭD^ce4bBY$0 9d"TH}dWG5S]7 27zw\pcО?K fI!|ª6٧^.I_FN}˨&O^_3]Vㆬя1QG: Ռ|( |c8P" aؽWɞP>ۑvgo/ýEpG8ݧNBZd"7a|=/Xg^9kl zpPPY72~P>J0+ڠAOGfWnh* 2=O0h?uZ W6D6۵㸢-t %iT8h!Ŵ׌~B#0??ZzNOdL(o8v?yyW.9Ο{"7Xi \ӝsCɲa@} gxxL*])TJmiy mWATyo^呴qSЦUYeVd(}AO@p/ʜƐ}O4<;R*e1 GրKtٔ+]ͬ!1cpbi)_#.$2^D_ڎYr}pT=5*6qNXgzͻN/*G`NsX̱g^eD\{t |8z1m"[ʼnC ߳YGs^H{uacnرvʃ#JvUjmit#{˲?0pbDlM7r'pL2ͩ`܈~ʦn뇭AřU;5_!J:2cz Wdỵ1:s$=IʟKd=p T0S>୪+ K4,,$q$ugnU $u]-o8J_Zt=hJM(O8 )}8 @7)ZW@Op1K.ދK&)AGpS|W1H ;)#3c ~7#Qisu|kX) H"<17UǜOpT0${G+#h Vqd|(G\)bX5R-e){H"fjꘞAG;\oՏ򒔮+\a9$7a&P[ k6$urVwλr9^ٛ:$O*"#nXn x)F_>\4փB}Ep.P0q{Dklԅ@Р[x$fĬ^h:SGA-`ad"ה !)!C #,$MlA5"˂}X`6XW1lpXCy =o2I(: 6^rgt˴=_M]hSֺ$MV9.(װpoۇP-y l7׉5 &?pfrتASOdR]o4,֕?W- >#{[ tLYh׶D։O".aŢ Gr6|ho=gHX㘁'_9AQ(P%,3H0[PB#AHr^T׼@D5 ߥzC 2*[V` Q>m!r]cT<9LVbMu!5ȑ)* <1ZG¦ 'qY`^uRJ٩=D@X3ɉār[Q~^cw־0~m xJ3F" I vQZ)$#5vFFIH^m_2;zE w̻qKOfuNvS/]]\I354mEo[0>yamTIG됒%Imx΁jka7ءzѝf҄Pkݣ^}~pTEA0#qQMޗya/,f-mI#Žm}@Y4//h\NⲣЇ%[L6Lӿ2WLw(>+ǀVUx+2˕ 2YckǛg5GI"CY.Pu I8jMY~ L;p.N R* mu<7&~rZF>ԩV`5dP1SPzH6HpdЮ k$rGPe0D"ם.D5 {I.TV+:Ii&A>H;ҠOQLjlcieFV*ȇGd+ͤ#kv"\D7,&sSٲLw v5BW&$mv V{FnH\\_0y:3zK`bχEA30QxUv}$yq[#7;,ɺPUr 0`憊&9jߡ~d>!'"eY5QO_TdgϰpT#gDǑեnGa.rexN83`u4 V )BCS(۽[@;2pQ{qH˰ґ R֬> >Ԁo@"Mt(:)_,л/'oǀw5z/D`Ԏ^~ZLm=i͢w҃a2mƟ@aH> m;ZN7i)yͷ3z`y՘e[kVG˄y?ӀEDF'ڦ^Fo8*VXp WIXL$!3}+3VAa+azsPx :s8Wy [^J-ϸɄ`&Z/t?(t_(pe@#x JXXh , 0tz;)2t͞oKYܱ?McCſм^ꄒ}r^I?vWUxR+LV|QUTtNg%ҀEOL7^ez%E X!m>vjM]ȰM{6P897ig}ࡂ&֖%`8Bp(63rj !x|g(&afhYgg[|=ucOMLmM|ZM0 4aO$cJ01@OmM+ { |NݳX^i!gP/֨_ +opUG:ٗ q*x;+V%%ϡGavBG\{NI;it 0%iԆy\sk{ʙF9HYW+Y&ӆvJv#ɬ-@qRub!bR)a Krv}:)ԳKTZc1ߞ)m:G?RoGu 5X)aƁ·-_?znUʦ8X n|yNͅ*ے5jFrNvȝT2d;Dج=lu)_] yRd( {B+ @иVa*OyNe5{ht6 ^Ї+754]tEťƾg榵Q\B{U WiX24[su/4DxThMʏtc9ߦ,NKH=a^LTyؤoFX{t"x]:+Qɧ88ϳ; <$|M+T͔8IJKfN΂Ng|5U^T*C8)}po?Un;h!=Q[ˏAAEmY۫ӈg[x YH׿ 2 q]w BF#] =j-9Θ6(˽}iS  kutg[cEb"^>$Zh虶C;4XuFtsuZ){Z$`DC%&Zm Z6xe> <V042dR:JU`BHUmCt`t#yh{eś1EӇdc-oGѤej=$a;"*]<#C(K#7m_9JXF0"(w ҭ32:$^{z WNX=&U/&AB= O*єd~ QDw8"}[v ݜCħ>?GPCgx\LQ M>l_0l#[)D=h7K +?MFtW$KHPk혶>YfG6'kj%V Q< ;]h -6BFtP[}"zs( 2 /j?fks`9/2z2Zg+;;Z$N|g(ɅC.[{aU!ݠh훪ƒ; ,e-}lP0Os{y i4]>= sPAufB$v]"%!A <@ ^/yip S\ Ҷʵ6 kO-2{B2KE̸sI0 Suo3R?8]Q5r{t 58RZdn*8GFJ"5/L^B1o]p z`)~\Y=,j}۽I ًp {,BG) fm;L>y؋ A`q`z!z:/S'~3Tfgmhl\f[Է9n/k;VԞ!!ѷE\7P(>7,gzUA[nG[p?9[ 6Rc[|VMpYZ2[NZmu}T%k3txաhaZ'n@Ez Z٫z׾6uy懆|› }? .v6DoOxGMҴрhdNIYO`!urІ~sqh:3ÁyvW:5 ,uj$(o͂PMqZu]?sVΜ攌ha?cṻAA؉'T,+hvp3$Gj|V0nJR =- IOnwhQ?zH7b cgVlf1䰷IXfI-2g>4f6p ws ǥp] gcpzK2ϭT!vw1?<kɧN -PG B @ykkKJd6I_S(vh \"V+]=Ni_i+h, Uxx@z;X.HԷdER=w zc;쬶j#NfM\Ȗ=lb#l3 =~|*Xxܐ_lԺ ^O)Zy+ I`7ٗ'Pә#ͭF9̊yPT4pr*xrD.2$kq*󙀥*HLMk*Me,XNjHq.i)ecn)O-w7|o3jIL7G%sb60 ǭ2ڢ/֙sS|E*Q6O )si Z:zAE/'MBxAչ3B wGif_a=α ZեpyGa*y8/ƈ0 :Ѽ+w yV*:SΗVd(4J$;C\%e= ,֣I acGTtb9v(Yz{AN_-7lށNFD&fҠo4"!G^O,أ3mz8˛Cz+'W՞AӉ-# P@MgI%ttl%bu5 tShN1Go}͍->_|- \3ɪ 5OH$*+$7{l\(*լru$PQѺqP:lmRSZ0qξyG5E5fTT븪 5b[2FsĉߛO8]4d bA3l0l:~+("yq&h|3zͭ/}EeTXr ՗z~UKmQ3N/kXR~Ӿ(!NBy)$˭S/hI3f 3G!dmga 謂!K0SjL5q43e`⽀\,ށ` t0Wd1w_# 7ߛt;F.T/57q@ޡBx+3yQz< cK2NtreXk);4b%-$\~d?uⴵvT?s/6I_s1Q1<#&)Zl6w9T>vtСmI}F>yJôl/8Eǔڴ@0W&X4gM1:Xw8ãKӠP wΞTS|DcȌQ}/0(!+r: /gHb*vJnݏLdQ<3DhGֈ%9{e.s>c1{ìv{Uȥ,B"japc8A4 .<yLP17zѽ1ȬI ?{R f%i]JKIoK75|4Jd3yH|w;cV9Ҵw\ɖBir&I` U-˓F# r5y@.1y3rΊ ؉Hxﲪn !}dtq7L"i)o.h  "=cFJЎ= p F=0:ZǃV8Gv+ʅ$һa R[Sd[2mZHO[62^G qOm2Lp_zm! ;/^/18}$)` rY'?#RC(Cz"Lx1j*IN(Xτhxx9m7'mqhNUKjx(/ 1R TGDz d?iL>9}e>,.wm֚,(Ϣ1X ;oBB@O*) ̯o c$E^C4lByeUq_:|ƍsM[st u~cP G,G9D|7l0rοD~$'Eu}&gJCt)~Wd w0BN/n"A0Rp쥋ǥO."GoGUYV=DM߂\;p>tEuJvE(b> &j C|uIQ[BI8ɽi֔כT7jEgQ(x~օ9G;z伡y־a7U|'ϹWT ))91r G g7k4ރ^츰}UK5"X`v`@mKݛVц-2)]ZuO30r+ !8Emku&I2:Sg5PDW`%;Xcz> -brɦVR\ѡs s+hy0~e+6è'Xf>)4a$6Sy+#'D rcuwr- ."➊咹b>v.a\bB0ddS3iI @  nGq R).EVy9o%%_o!S 6V|>:SĦ's\ZXG=1!4V%I7&СS<(}wq1,uSD L:IPјd?N~&̈%WJ){~7;*6U|*LK)oI+ ?;ŷ1 ̅ǣĞ^?8rzm f_6}basgHulmxDNr&6?ˠ-x$sfeԦxKXQLS(6N]OBTWJ !#Bxlj]ˉWQkb$EG5+ͺȉg2`<'"p8+$ M *]?"o©G!f"#nD6gl#l%ovT*ڼlO{4xb~ç :,7L;IW.ƘѠQoJo+LWmF~¶\<{u䱦;a q{^ӟKgVl"6br'.{vUά'O mJVIQXJ (VmG^N5BvKi՝@ogIDR=+րgݠ|g52wOkوRb2}d}J^xD.*2p<焕 K ?,=p%d!7#e~#AfհvpoRpjW`nb2(TiYza QE٩~UGK#4~5Lrh4d23R7v,>(4YzIjٺs)?㢏% ǹfm-C{?{&"pބ'*ҝ >(0\ph!8o3p1qJS[{Уtǿ{"*R{zy~[8W۬ 31yAhb<q \YuNWԏZ i{/$f+?chRTef!f"K*v zkp҈;Hx=óJDU]a x|a=o`E|k3]KC`s'**F| Vz\]֐/tfMl4r3xdE2$֑DG+;CL~.f *׻89O"1 ӪR\1v4,h@ϖ|%$dS  |) @NSJkG0i5Qݒ:Oמj) 16~uCǢC{уxMeR#S;hU]Ҍd#5/[-yJy)zD@lXEeBz W=j nhIm5(@x',q~\1DG%/?Q|.-\aF3иW?| C2(85ZT0ːOs=6,R<4FwR.ΦHW`_՟qScT/γBb!x N. K2S:,HMW_) DZ"ڠRL-=AhuV5k[ڍ)7JcjnQP)b÷+CuSE-ȫ[z1 ʛ$jM=WY38o YZ@vW5V؆7RsC%HQ:0E~9v07]h5e [8kyT.gzz&BwOb^,Mnj`A]c>CY]=lZ=| `l cOq]%5@N0̐ߜjzwXpFc 7Nr˟ 9i4\ `ާM=KWJ,SG+]lYSbobp۲r[X]a}Pf&1,,A}gBpShVo]y/E^ $unl sgo=K>XGRqu ƒZH tN7|vI[5TP*QyoM }' N<ވGYEgnSbwյs=Ex r2P_0d:)"mfa旡Rvr<f-Rv6,w\Եiү"0m+FO߉?JA-0>uH" b뭴7N cR~ʖv$&yDL3h&Ӝ:TyWxHKKhq *B)AU:/0)0W>8irzQ$ȭ#RHfvndxG¶ &l'2M<> S߅7d+qzgqtVX^:XCz$5^37hlXmߜjvU g0i"-/)xκ6')߭,NYS(ɯ2ql^q^xؔmk ΂AKqPHoJkآBsd{~B ֿߕ ')N5mOq[a ^(-3v'a+i4aCRLq[0vwyt~ FWA'G-80]U]i}!5_?p7J}SE @9aD^:U7} ?e?%Gr|wd3)`ysyHjpuO9Y+{nr먽an *,>4/dKJ<.Gq^(*l W.Boxkn) hp <|]w}V_`g.8K肦;kv$X[ Y5w D::tlyw,Pzh>5&Ǹg]) nPgYZ4fa936e265af3860ea0e652aa2c5a7d42fd36e5637873e0061f17d13c4a85581673448df5586ab385a30295d56fc66b76b837ad25fbe8b6f35d69ceb