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 \%, ]/]HOL-Analysis:threads=6elapsed=287.060cpu=1265.380gc=92.944factor=4.417zXZִF! ?A]ŗXf1-q恈͐7ӺV GyvpP%; fQFx IR'u 3UJEB `Ѳ]"(D#?)G0'۶-˒k* ާ%;]&KqZ[PG^m[壊IoMMm]ҋ &xXMeP9ju.[QPR;{-V:y8%` ?3ޅThnѠOqfLAm& |XOq$ĤuG ۾ɹF.91}}Rb0tn{qUг07#xyN_OxBǥo7̀Ʋ6.j[NZO:dӫm)ܻT/X͒dUWYф)`6&p:HT~{`q$Oɮ+@\:z;jp 2CEH4Z$"GI.e_ Crful2=p=%Bm;Cq 㔎lGm𻹛qzsy|櫶#m@}T՗u2b9HZx}hrbF-ah 4OHoR0ï3saR~HBY۠gK(I&n%y]Xdtπ*F7$_P2WOeՅ:(郎4ڷb>mi)b.hqr2+:err< % 0r\cokQឳc-  V6Rkr )NYk}{ؔOOh(T4PSkj>Mݮx-Ⱦ- b<ޯS+[k<3SevbuN 8(K@^γ@cɀ΁_7KJ-́ I€gKb9&I;Xlf,\S  ixjfvZsQ-xG C4%qtGFiFӶXO{Iʳ.L FyC8Ad9#aD7A1vzSg-m=s4/v[W|Jc<l(adIa_ q{SWx .PS|ǜȯ<$\a¦`()NTp92|Zc앍Y$Aa!mj<^Gua9(=C3HpYw}jA̕smH~ NY}ˁ^Į()Wh)~[:1o?7rj8@MDܨSp%e@xܚΛ*vI/1o͹6 bd.jpǮ0"Sz}:0V'kT81ZrUAĩZ<8c&*PQXk\n}Q~)}`S<[$ը Kz4FKBD[ y';8[j+k!49v]+{֕-ZϹg+5DIU>W&pߒJPC? 9}&ѡ zO=aצd\q@Q6b@q@&AXgl.sM1i;EPȨ5c s^,+q u씙4*߽}_NWdeoJ &8v*(t7xqv/'x.]4&i{B}C xy};F9ԊSF1/zqG2`kPg.ruJp Ou{@,c1|tU+}%piP8<I_B7WIVq5SAϓ`S0K)>8(^Sdc?V [8("ezm;:'>/Oӵ6ARD@n rQ.J,ɣxşnbDnygB:hyt]Ukr59@Y_.UN~mv~UvBE/MJU|$qZGT+`x-ik)T b*'QCDC1'Gu"w.!j@}o9Ó \BŁ$84ZQ+uq֤iz`5dXnj@ ˕d&xvifݓ>DcQ;%c:Y薵HuD{[7}> ԝ ͮZPdվyI~[:!*`HB&>7MvT n`aqpmo8Ж#!0ޒnv) xl5?dFGri#XL}4_3ҜqhNkya`nտϖd+Q'F\ T2Yۥټi[ #<Yd~r~*'Uhc&c|A`;n=>6E:c +,cڢڦB`U;h`2˂q|$Ԭ nL % HOL-Analysiszbv_syaQu|]ɽ>˜Xc8]BT=)5ޛ[ܚ|8->hm 'F^?~Y!ӔYrqή1jXjzzXtKv5O8tKj^`!?+ [N4\>%cv>]WZW^bGb OrMu>A>y;DWz#}s!I.4/(wI}W^0K}u4%yl2yoP^S U Jmߺi)cFNt͝D=OI<wlbF9$^>>g1wBeYtϷ43kԨJ~1:1G0rBGD,\]&Vxw 7[m%>ܣ.F|Y9W491N?9]~Q`}C̏GnNg 0^Аc\Z)\rFۣHfF~Il5X<!FlK-Բ7^HFs|&5|OҠj++'Gz.({%wh;Sh1-.WWڒ+2Q0z'GXB ^%qH(vDo`,Iyzϳ1SuDžhhoV;4_译,H + CpKCEp4=R֢eю&&W{_g/LOyRE 2y@5u<"PwapPŀ}"3|ٖ/arC16sOYYj?75BJƯB $lZǭɜ3A %晌hVtH%NI]IRR@=ϸJ-H($)PW를ČVB]ߚh ypnpr<`6>7bgHL^+S?0ŒwqJhrm}WwL'-SN^x;gk6FF.\ez +-@Չ'۔v jl%]C8߄ρH=MD"Ls7i{ȍbl\xC-a-yD%_O3awV?=;eēJ|Nш ^L;)l BF {tPx%*xN!0A*[fE=pܽB;ju5Er!Ai&)1< *;HǪĺ\h$qW~ί 13((KQ >z\TGk7 X*J2uʎ۳\=GH;sq<É$"}z|6'J/qn"CZ( 9UK,K}X kɾ,}2e7|:HXWezKTDV/-ڀ*d迗|IA3tӰޠ(3S&2ـL]fYNܜ]j" ژ.!HU'"+]Z軗vO56\?oj֒d:{f,ya*Ȏ_Qf>O 0nMto/;uՔ_Nv{ ejf΄3KK̰ND_s U%mK׵t wU:%2&-jV.pfGoثJiO/cJ$vp'݇ ~:ZIcMiY(c_Haѳ{rosΗbjw%Hnjzz1mkXZ0>Py7J%o -%/2h@N%^4^*0<)r҆?^0=zy54 <0QC k _F?(0KXЇpOd['pj\O1f熫(>|]{ikiAYy=bSfu[ԧDs5 I?Ib]<6G?ag_7U=M Z1{sc?~pjl Òɴ'_˵a ,tYX{:R[ O|N6WU!fq?py#(ז{`䪊}1$b4ݰ?G9f8\AL$F W@O素Uv\$ƣ>!_y/ʝ'v]4b0Vcyi:ȷ燗?MLr/A]^M$ͅ%wba c / "fҚeONGt JK/Buy>?<>[MߌIɄcNVtAFupq’MG 6UO]}cvٻ;q?UQJ f(9_!ut$T+,NL?$o|չ8̹@(H6Ks,4j*0J,"ȏ S*K*~cr1C%Qد"Pe*F ^B+`/SLMPI Hk Ø~zx `J#LÀ`ZPi 8Rs&/3 L/'@Y(T7qތ^NSd# OVyfg9Wt0y)Wxpؐt6^O{~Ok RLL 51c)ƥLFMF̳fqb&޲k)xE{"JWR;6SމԅEgy%(b{kh1 og%ի~A.}AWϿE"38%[J"*Na{mZd/-j64)p#"RوOwKP_d!^ P\+OL԰>D;X2?u%o /O'Kڴ;0K  I,$r!Yȧ_B`"ow˴[ṛh VKn;b*>tnAFYe&=RĹ`2 }]$1 Z4hr@b3t\Lí8/O*"O./ؼG>ہ^lYI֯}8\e$Ӏfp 8ucV r_8<]YB'w0S)]IG,|=3sK-!/*XZ]F[o@#a!|{iYdgfsQSf9[?*y*P~\1mfU^ ƎxΆůna8$p\ެ`=1GUq?('`0,sϽ,ERՏ5J;cqmO\ o6d9Lsӻe1/u%1zGSh/N&RIU^'`%Pw҂k_AAbJs4s5}3Q <^pi꨷.!=>=jZz ,cؕ{o!`ޭx\[&Mx: G_SZl.0<2ytzmk+#jo;dJŽxl4x= =z_0hC069BISI@>~9> HWv!Tvgk̡@ڞTj_(W[رsOD1gwdpϘh474XN+V5c'}mz^dY3D[P͸1|.fEkOftoBdۇih!1(j-/NtAsxnQفx<= .u}s.k`l(޵˦\:{Ӝ;Ǯ,mgsQTU_o ?3w< ;3ͪNgڻӃ'%`~:jo'E\HT4 EX$?nfla2A}x1` Ց ܙ L" ˒d4X9C6+5^t u/j_rFMM h[{3ruEԃoJڰA͘Ln$40j 0UR<cU)HIR2H mI80~1W:rxڄˇXWLL* V3e[1Tx@RKØ(G,kR~y qn˨4:l_C@uzmI(^d u%'YN <1t SOIyt~~m$v ^l*>iˌ2]G:L(g`攼~oX9+~u7y?3L=b@\Ix9ut_$cXQӑ8Ì+v|_|Ԏ3T-bx8@ x1h+oc4+ %Scfp5cѩDyL&¹ ÞoY*.|i ♥m%ٿ7Ĕ K@:i#+(ֲP~tvųӹQ9 mH5| ō+Բc4n1 [О!h rdu~!L9eo| PL+Z\8?i^ݶѦ{BN-տ 6k/}U3ިJ"YCmM^š20x̿h!]G=Kt`j+v][oz^C v,]\۽!@7!,;k0Kַ+<($払֦ѷ/ެ4[ Bؘ"ܴI4&OJ1 X.%oig'&x180ns S8^8F[e*3#&0-~Nf&.w 4N*|UXts^.Kl7 "?׎) P^dFlvGnWN%bLƥYSā'N7I8~Z\[s$cFޜC>}Yd#Yql;/ -a[Uz_ !&1D@y; 5`Q]W`{.A|'%XaR auLȖ_rhUAe+`$9$ ;sB (2JG+:tw`SNxIϓNs'WNG2ёl50Ȓi)6<\X)$8f)Wļ7D2ش.8\`MЫMZKi cB?%tpHUZyf[AbB.߭&EZܰ>$h hwiBUNq j2ၮTxn\ Z}%mA6a>W'1q+=Ú=AԬEFs)d0%eq/~Y\_W{j'Mt?Xwk^?6yw-Oµg?#fOtgq{zI݋rn+>Hk7锛=ٗ@OFr/ٿ{4ФoءU_ҳ' >В6)o4PB}|V$rNx7(QPiTt3'%`C;i|~;kѣ-,5I] ĘcfϱS?cMT'өBDlpdŷw _O˿2fw:(f8)[9&4!M7V0פm}l9֡V4t?EAB" ^hPO%wL9Ǧ(#;tb/{܆]kgVhfvf^N- Ū,?} t^@M?#fl9Y3fif:sW؍8cGPPq7gl^sFj83An|tO'Vߡ໳ 2I %n{|o۳g4MDe:`HJKN4D4f$O |YۨbD0IF 2:hk8A3 }2NbQEP>Cج\'E?$KJ׮nU^$,^O!B_]|県XWQ$aQ.?A0YRJ|E}* ƃ ft4ϑnr}׈W`^!xl"xGQ UHͦKXؘAF]=eT匳cL`Ѧ*FA$We@ȒHM8:GF:,(T+jt.&~U.='pV"O*Z,!b}4ŇbFd ^񆯖Gb:ۚ}A7œ,] G H!F"Af @hęJx`'A 34{tऌӯ(?84M9lXVV+k0h ,0Vӳ_OLš7S.Gv G䅅+CZ?Njֆ=k{GWz&{Q=R52aloTiAGD'{k45 U9);֋°lQ; IķЯH- Y{PIKUo'C?i'r6ػ:r(Z#sHRt+^ii,soMR@x_`d&"L&ts }V[K88E$":_}SqpN8i6g t̝o{FNXt-:3m[X{ދ+Jm 3zk Q̃4řڭ4>0k,1!ez0=Ķ1BOCd10k.Il,bP ^]{4*BN449~/`{DRyv|v3HN/"󅝀"wdhC[25MB^`ܴ+7+ѲkVb2R!IUz0;J!.-;R9s»p1@!y3SuRrDpW ~W8L,9Gm}L"&L\rd- t19Eה"ÌmDr'HTLw\$UX|{84-n_XÁ2shI*lQ n/?sQv5Z}yBW1%Yk~<#)g .#T%uZ9hty=0/ڨf%M;.k.lî/?} 0ld)(nw~Zmeug?jfXi;ڦW&‚Tb1!.+1p) \pD\!i 5 }5R9:|5`b Sk@JN ݌RPOTN?!GtE>p `OPP@V=霦`Z HEy~rat\6X\($^" Ct;_jdڻeٙ;1*,eQ^<p><f2QDcBL` 'EFA\v;!=P0w5ɡ!JbQ@#.DW${'D_+?p]v5QV${J= vfjn]FsSlO(/$v#u;K; <*~->dz4zc6ˤ6. I$d1;A!LEv}RcuҌDB Mfl)Y43,JV{^҉n~Vϣv#cŊ<+ OZeoY /^\gat9tL? @c4E,dT$vC<$#E1z?GQT N,a#UXѾ&:K4F.mL-*+pb/6MVy[cnc/:t3'"FD4D֦Fw9mbbM@zGsd \qt ްyp G˳;#%Y2 9rS@! 8yAɹþ⾋BC W<_+%aCs<(VNh-֠Ec+{IDTsW4㨬('B(>Fz|X*HbWit~"P39;:Tmd}:mbb=/R1fj.#;nծZxcPuN~ 3 gYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4b`C(i?~Aoc2\:8D _E6$MD<=O[ʷy5di'F+jѠ}z!ĕ#0 bPZ̊sU7LMX澊)y{naqfOs ][$:D*ćtm>`2rs2*(%32yR=MV$:ZSAX9m!eX+u `ZNZʚk>&g ;1[I<jAS`|:bjgO3sOD ó]VA]BN~% |c )te:gD| P;32ޗy]ꖾfNU~;fIKh0^jT l{~=z{ K%ޗ ?O4C< h+ZM Î7ouA}O}r) ھ[ #2I9-߅w˝z>D vOe[s}[T>8`?EL> 7r?mX/ߓ,?xVa킼3 ;O^9eiVJR xs;2ox=xal&қc":sAl/] j1}QM/q#R=4!/4Rrs<} F-βoEM<{χ;C "%%O sJ)H._,+6,DϿ}0 ^#ʏir =g #1$vfPUiW%9{ez=q*=%|'pRU2_XNAV? BLA&&L#A$OK<4> ާiu΢fI6iϥtΕZ^lRGVߔt $oSў]3\Y :$; }R*uE{*bկ[fh[!+uz#^3]Ƃvpd_~lb=)ܮ4rL29AgYZ7zXZִF! U]ŗXi%90EUQ?|aOƔRSn̠ȗ h8p`H[cSƒ,vOռ<,D*T F_”I-@(E`#/&zø??ndFoĔD؈ A%xx:>=ٔ1tSx*M.lo r <)r h%?tH)4[dK/`i %׎(e1TYd1 )Kpɬ[-_"0pO6 EAV9(?䔣cnx%[܀ lX4e"}}pI;e._m-~cCrɡi iac0L DŽC~~g(2WBס>ޖs/uA%, =_btzc$UNyH)K~dͺM 9&|p,n2:: Ui!P9e_Y˄i02i($##gk3w8\md%9-Q!@GxvDxeg3=*`UJބ\#DBL *mǺ86&wD\8h&c2<S3q U!'+'T[̍ .C=iGg<п0k], YgGx|2m7 ïuriK&퍎d,V+]09l*OHDvËܛ0`r`ːaB}/rv6ןa#C >WKaYa_2O8x .)nX4vW~efʽ Vli8!TácѰim9V$!gq+Gdt4UtW0|bӋ诓IpJ`h|K uwL91Ja8Ԡ*PUԧPnL=jɄ"םU߲cpl^+Pur-k;IP10UyJb˞STE$ B&])g`ĺ1'"6 8L'ѵD޻'IuS:^/5aL-sd b(HhZ7޵%#pcPޫs|!3d- kKZ6Zz/} PR6=ݑgU\?iΓJ/@$T20^˺MPwÚk@\ Q;eqW$:E7-`̑rW70 K*负0 - D ?>E)*:gS2WXu'š!۔1b X@_-QD+4'tN&\c73Ƚ^ \iU e8{t1vY$h̿M$ܷGWDMC<:y`{0ye;v& 4hJ0짦ˈx5B=cЅvlF]}'B Kl1Upmd[ț֡fŵG#H jJ3WSUHfZl)H6F =rdgE67a%=,#i,-mjgtk !G;Eb˓dȎJߊț6o}'f\QD]n] ƿ_K 3'~`OQkL ʔ}1ਅ<%H7X(o:Y;gDX-H>aiw?}wyeeY' 9X?7>~X^Sk$_ԡ(@ϷTNS0J W683)\#.;Y/4gH 7=ߝ?s49E+D&ϯiPU!N&4`NT"XnZFs>TEmDX|^!.Y{SO}'%?>~&R"6E'>ole_7we䞸PfG]v{dfؖ>v@V۵] j)HB3c.>,x G?4pk5), :8چ>  ;\o VOI޾-=~Υm A@<ߌɗ^bgIymaOPΟ&h\ƕ'E&k %6N=5ԓAS .CWLŐq4g4Uǔ V ,;Yx5lKWs5uMJ)͇p9-ћV:βssuS )"T)AL,|hWX3IwB 8;N 'h^hh-,Rɋ39ecSǵ mrtU:;A3:֭Ԓ|"g`-ӱ 5U M!srHa0qU5@+l*[-8t[ be`fZX}ė8( Y\NꀖR-L\=UfHǴ1] ɴI-) t5* M3*͆9h1~Ux7l !?ӝh7% nA4{VQ$XAkrb'6SY#q {`/ȫYHZ*u0Öͺ%s+&x!G&*Q=Prcp'\V=0km Bv>X(AR}LK9PFe#ژ>_|s}*jሡIò*7QEDq\g KQ"X5F<[G{f40rڣk8p^!g,9) %ZP 5<30I-oD;F<40Ɛt @+ \˲QMZ Y&ɑs#5ㅹA94$N\D a/&WkqQgܛV8(<*b(sA{\;@ӺŒ {QXİ !P=t~gEwἯYQ.l7٪ozJ\`PL,WR߂-Ƈ'ħ )n)TjPa"\_9[(TT0 $cTxq%xucmb#U1/^w)l`vஂJؾHs^6q .1uD .C^VCOg{n,ଠ:Ḷek4Xg#^fdA{ǑDh`[(8aGFR,ҟJE0)@}CKf4 Ԡ>araafB7߆xUi:~9v.qbGB&jXLNH7 .~5. ַXRģj3ƆQNŠDۢ)PN+n]Z`C&Ӑv :Ac*7qx7pK&q$Ae;\,P! .&sCZ+Z2F+0^!6QK5"&uW yGטZ mjo _BL8L 8=ewrQJoI">~ gí_OWϢ'pyMEd1:_#KlC2ٿy=YHtXglX.5Bg2@$7!?Pu"' *ĆjGZ64{DXUB,*|n.eBiR/4 a֪&l)"èA0V{ĞJ79Fau_@c4K(}fF9ĊiAC{&tH 2W\J |M~zo*BA/4!ȁy( o,1#bh/ W8boF^$=t D9ELɵT 0>% e2DpZ"nhPB{vZ,oQ)0:M\iTxG"_gV]8Bz Zňo]6m$B楀:(r"HR`FV?~Ί1xKV)N ukC0LMу^unN>.gqS3g 78§DH{<&+ ULgCqg]>'kR_Ys5/sC_v|OTCMM A zcpf~u_ 맋AD4׎X/ [Sȼ +| S F~eQGߣ{Aٜ혬5- Ϫa[1Oh&ϵ)%R^DR+_Fo]o}|! ~xػb$s xWǰj#ĭR `C0qʇK= }]ڦ\|J4>v<9EID[ALb79_|mi&|˒rԺl <Wɋfw*vD""3h02toaD- A8Ř J6g$&_{^ 0e,@ 7tez0£,`rTNǔ ZXBf }_ a! ._xےלC0h9{~S_n7ש,)DՕiWlOk#yW+i@cdzI0k*SqJ  u& ce̎ 8p2Bi@ͫUn?}@K±ۮUYռ06]φO3JfฝX7pZ[O}(bn}L1,=T[" adLO ImIEYp\ʏ4Hgo8H~oA2ߣ*y|_o!"p4AMuÏx Y`0:.9#:'#!uBs9*qZ%G2и4i\22NVBYeNDmRjpvi|!D@߂:bA9H6wQLhzPR7zs%C+i[׺Olpϣ$RE39\yiRg JOAaTd`(~Y.Y`B ;ϱ&n܁r"^55H:W-$: j)}H@핷Z%`EZyN/RAo~r~ҝZrA+TͲlqYv89E 񲻚RF3y{$ϔ/^sGl3mc F[G;1x$tۡ &OHҘ)TMOM?nDf^2ee4yu)4#5zy}f΄YeYaOFJI,v_z-ΠƷInS[^Uh="JsKt CLj@S[(k]hF"G@4tvӡ/-6aF:h?K1Wy``>C2F>_A{byufJ[&xGLCqE m(@Be_´ 5Ŀ^˥ld4xDQ *:TKOmﴼldDFECwm9jY(\قtL5 $ S)3{^YRTZ$GCEI96f0ҥ%;e%!lu1Tm RLxC q6:GVl[bwQ`{ lNQ 2Lp)taKP`oF1K` emlNSK YH SS\tm~ ;$Sb*eG4 LH氟yU0V8MP|i&p1*΍x6S7B/,רYէ K0?MkFX]{Ps Wl+Εf)ƶwzx^pi}iSbx7|^7ߩ]QnM*Z+Hs Ӂ>H#-829 p.A&~aL/5\b)yI/@xope *&D}Ӄ°y*ݰR W(GP[bOd{d=*XQS3/6+ zu/I3ch. (7n!=v'JIa% E(.ǁwW ~?U\Xo~ME-B`T M//ƐDJ{L917׶K|wZ61 ;ȫ,wˁADC-ʎkﱩ(>x꺰 v 2ѭ3@1є32rF}(^fvGfñ)Í[n _ ba|1΀_r;1J9v`W0vWۘ(%F 0>aq0Vhai ]X}I6=0恣>L!Kbڜ *{]MlW%H;|HЇ^-6Gp_n'.JC,ݳa@þxwqd8V a2eD5$?T-h{#Jv?Yt45 -X톼-ReG[2 t)[1 E2`0kNq#k."r)S"g$Ql#(x] c0 ndZ82ď b=ؓ^&lm("9{ m>G!˿.^rubسE~`L}4&42tZ&ZUǥġ 骪Xh4u6_mZy`V">6 d=y?H.XGx?%Y-H=~%P;$I+=oLӑ}Wu;}?A]b`Z^ʃ*xl(73yS }dl,oXGС P : oG"4L6rH\u5ۨQv2 FIr1ID5u0lqV:7YUR oJQc͏ P?U\hzc$dPmL<gR(uhTijF+sF%_#9qNH o=(}*zDQ%XA`Zwl8 @鬱oRS[odm^,n݀z8r =-Oβ3PtMHĶ2Mf:ڥPYI=xFE13@Ns=%_>&Y%wBa't_JC!XM%d й \m q̥sX*EgkQ o+leŊ#C4yq@ϐ*:ht*cA'$dwU yIco_ZTCn1-eřKyd!SU3[{K}Wk,S0uDMR*9ӡ6&^ QH%"Z`=0V'}@bLf&ѣQL$BQ7YȪK򎔸cM4\J[ V2K9IC["v mBֱ#QC>{ѵǽ1ݜB㩻;Ǩ)*q*ڐ77jƼOfS7]S$̀'GCƍdeKM:f. _%k{Å!/8Կ+8 &‚ѵ6/]2_hZKE$qt!l BٝڴZ`+HjQq aduzrѼOԴ݃ RKf~i/{jbgQ%]eS{n3:T%&QXR@i}BFAo;h($A'*y5-ȩK| M0;t0ޓ4[ŨA hbea6[XOhpF vi"vtR@ §@t`62!obvqbiȓ ƒL 3cc++SnQ= (r 56tBn1cvMȘS-ۇUFge/Ȩ.d=N*n{4SN $l#>Ǩ8hylNÝ:(`? /{v^1fdІI^Ʃ|<{Bo$AGp50k_xo+z$,L9i:4`IoEc5aYuLWZ&^˘N"%U>yۍmt ƻՂ"UZAFUv ;PxE{G FO>A>GGi_'{0*O^VƓN%EBSIdqG^^ҥaq!_8|mJ '2yd;i4뵡 c KhҔРix~ң;JZK* kP=d3I̮M3ޱ.NCAr$@hxݝtS3521qwtM«x\YA,.k}Ol`V>+ (q#љ1e3nvvnTjT+&fUvz()mFIN<.I!N! `9% /wфm=qIakalӟQD*tm9OD?*uaXvwĶ2]rr,y2[GԆA9W,׫}c\*%Yt% G2PrKBGe߅Z!_=qIl*{xϣP&A$WЎAd_t VzlX_)4g>gdiftuI +6H^9mx~wl$nn骼,7"8 ن:IP~q2X"cD&ۆiru>(-%eyͻѭh4wjYE/ b(]bt˓Ԩ!]dfqDDa= =j%^Og^=>aIZ) 1m UhZ/[f-`#rV/ٳqoܘ>aS6Dldvr5}=t׸2X|6VCc}y m<iryDR=F"㲻5N8<;KS2+?aXx>CFA;եSMKѻ ]x}U"+kJ(c٘r:A+v TwFu -?p;Bǃڑ)hwJ꾳ђg3)3AƵ2a|v.ͳ3!=:_K49ͧk(l#MtuW}m5͇W"bȞY"fnLx(v!2:_qH3q_&.8U :CB%2% ̤N41}.v3!xܔ/ki atw y5M?Ѐl8L]3~7rO t|%9gY + 4Cs/Ņ<1~6ԆAίWw]Jo7 l"^юpއ{6.Jr4`]3$Np͌۹od7B0*eSQl讶X8i2îNJ.of}q%&!MX 2 c2ȕ{VBCWEfV3mp;3i4D7&KD溉,YaW:"P-#C),J=?*W)k]8IZWUb؎CeʧsbiH"V)m1N;dD,d~xoI6DAZwP c?io::k$Vl9[>Y0?Y M(֢ڦ38`ȱT Pܙ!dWɴGh u$2`O*"ą$Odԋ#g!\nY&8 DES˻bÁ2DϐNS੥(NP$'RT$b\]ߴ&jp|jsB? @}*eĀ_\j>I2I3%r0E+e=J?NJ-G];fu.Q2c͔Ӆ*=%uR91;9%W#Q=hlH7X_@m(t1{5:#GKs,&fUN/6gaHonUbD>րQguoN1YP @|tua ؜G^}Li5ʽ(.:j"C#tIKJ3t U=Mf- pS<ِUx5Db_9xK%KV]@$e9mGF5 3Q"PC:öpD}!ui0nFU\yE:)ݰӻ72~e|y$'lݘy'2NO0Id9Cܻ4=`qnt_^܇+H{㗒:*z4\x&>L>2@/Iψ tVй";趀QoVD*%XknzL齽6#lnxLM>VdGDn0ۈD3E/]CF!D; s콢p5:«BzFr:Z (WT,('{ C jUiN}Lrǻ }ƶ?vxR%u=+#@"C|rAǘf/& ͷ* QOg}WDʯV\v5Ȅ.b?K*_+UN%k:I#r ہ^]Ζ!pZ7 c;XA~xgXZnrXbi5DW/43~ΚǗT0.#xz)[qCwlwpIJrNN{: pCփBj18}1o7E ua~s/VIeYWѮo ZR1_1m|`!>Gg@l"1M*xLڿk0:ĹvOO&Nx:'0lL]I yݛJJRcxDX'R e ?cu6Gr P΄+i!*Kd" MFv<+ &SO](gZ6Os=,ۛѾ0q\&&yi[ w&V00Z-zm8GɲL7 -*cNxb~w.#E* ST'B{o$ AԐù2 cf;Nw)]DSؑ(*uRvxZ+zF1~x'f@QywX?HL}^?8\wj}¡\\y v TU9 9/.I2k YZ\C#θ$c6a;O} C~i-]l},!PFBz>\>R ~MbPb'!I&? րl3UH/x`󕻼%Z dr={)^oi%Y-erz_"}-[&M6j%m`;#joUܗS?JQ#}5nnVJ#۵̽ds >v1brNy (ߋ&a&P Ea(Pm5HTہ_0T{9ѱg>\iMr{êHYRR$Ool `kjb^_mDPC cU9j K+gZVRPd6p',1SȝHe^X0?۰]<{J dj=ֈQŐaGCHRS|CUe'cfˎ6måoׄ"1aPdDaS7ւ^33DtOh4"j~'\q|lQLQzѸ!YrNܧIs΄[!:y_QĖ_:Xrye[dҳ^ B]L$|AJ }V-զcnP9 ?xrG4D>kx$hu =OSnj'|`B h~>{.;a"ݕINjp2E#Q9@ty[SZ)NG<ٽ jCNhGeɸ'%\4Xմh9pӷ6KO%)q=rO9 /OGmdg ^'i*{C'0Ik՜XEaiX v//Fr?vЂAژQe(wY@J; q^ֻK:-1mBAlOVwş*B.J V8|sp*8ɈwcBE%c:~>Uw\*T#H֦T X7ϛq"cj fJ!UOs`8Z&F<.<*ֈMzжE5өQK ő3 ,Ϛ1"@SbZ:} |stQKV!'_۸XL$= m\9G`!)Y{ڭB(rn\wiH\O i'P{(i j <:r&Aūy+<{`T(@*s AO$6<. [rgFNv{eVa:|ˊ0?EL\tU&rLīB.ЋlLnY&Iex%'SVṕ 24i[\Ǣsn T=L" g5u (Ν̞g?^3^}:蟎@HK\ng-+ZDYq[b«Ք q9(YYEƴN,47-̱ޓuEKٍ nPoOb=Ǚ4ϥ#VZӨ@,b$+b(U)تOōf:;=3zgHjIɅ;MJ{oZw}Pb|syWYrS:m+p3wr`KDTKsLPě#'cNZև_E8`/v೥tW\qsYIl1]87L7*'di)'L406yZPvC L*SWޮvKAlc@(Ҹ09k0VJϜm [^aW$ԗBK7ЌS 5S\¿OӬHoabjgSo_^Ǭҕcr4֔H+0ok;>+f"ƒƊj|3p- [?c&&h0 $$ܗ^N7 Tf“EꋳƏ76KvޤC5 '}+DPWC{̧'Jw.s`hK [6 @RԮH3w[FtP9)? cyU;A;"3+(:`36 ƶЙ҈UW O?Ո zSzxwbYg--ԎRu#_ nf1/sE,<͕F~G}Ea G >m4^=ݞq>`>_Iorނi$e5;=(&8;w9`UsrB2#H|c`uC(xt*0L^fψ$.MJX4 6БPMY{F2Q1Za:3 =j(WL`F1yX?6&4[aOm)ŒM7v -ҐlAF@T?%eRڡDCR u# "?nѥ2kmCcg &޽ܕȜ:CC1ѳ<h$"YIuIs?DBR8(]0> `6Hчy*[5{k90A=4ye<|oގ@":ŹqN7,31T%"E\R`R嘄˪XQ@Xa" ;RqNS)| k%f~<}/Eڛ<41N_GY&/g RI瀋mפ&#u;"#DV^i@'\9u.^D bXod 1~ULtruds]94Б ]rcDwck8_jiM=ptd +Wk)֛&sc|ș!rRn61lZ^ׄT.N?gnbç?\L8e#/Ɋn@Ndߓ8dfp Һj97VG5脨%psLsrESHeV75Ag>u7DaM 95v#ࣱF=MUM2 ֻwT|gtB _rG^y2*fkC k21dub8 :J,z[q,b0ymQ*򊜦jdۨb3?@0!i C.3$nL'ime Կ⦄it14BS ݐI$gbrdߍF^&Ղȁt5E@*'zh=[}[. O& 1ԘRRۉ@ - < ]>)h)i' kS{o i~s*d^_.ünHƴ31f{=30 cEJHκSD^njx8+</U5#bt鞒Y*ah9xv:PnDP>'2|v;.ŐF-`es`ڱuޛŵ` ˌ|)gSEaUpkݼr?Vz#GMTH Nl)_v3W/`['3~Aq=E-;a_xz5b8*nO~!)?0jcJ G{pD4E:;e]r5MXδDi+#[tT4 J*OAWH^0ˬ4uxf%$wB $Z@myTm*ˎ@ytj3K=杉Ǘ2)NXΤp[Fжؙ6`e8I kHIY/U5HC79Z},|F10Niqs#K@RapW< 쎤xhEkAf5ۋ ;˷ӰbhG p 1],*Ud pr<؈Z*;ahrB>Rkwv(3yݓA75][i7SIuﬤlz|qU8tc)ȤWqј1=@N0v؏S)Ls/e(:&7y2'8^)b~O%6Vgsi/thIyC0W0!5!z4,= EO>eBɺ/nY[ځPP9G]C6Su kf1)k1;bX)iXAB‰Kש| wǿ֨ 6ʐ25Vh S+tA6boLxK]@