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 X%|L ]/]HOL-Analysis:threads=2elapsed=734.448cpu=1296.192gc=57.244factor=1.767zXZִF!  ?w]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({n/\ATJ͐qdNlK$?j[ RYw5"l4\AR@B'в1T[;p=YMWu,!w8@,DOq? VnVpMrEڠ*vր5)|&? `ea ViV3d2mС} 0j#Dۤ#c; ̿Oaj{ E,P]wVY ޛx,Z^u % HOL-Analysis%59(\ITP39jns`7߼: D"^O1K/}Cu;-p؄@ɐV8m҃] !Б@&'txX?ԃ5OckebMN|K~E\NkTڥE<'S3Gl0~>xʄy<]S֑oNـ9/h_D_F$|8LS\~3ް)N]W~&ӑ(\"='xc(yv%5gŹS`X6{҉(o 䩫xƗ#)9f0 aBgjT3"˘x$uJb}@udټ.&lp5Ϋ>4920FӐ+28Z\bT牡[b(K;j-ȰB[_XVh`a2z}]s,YΔ fWtc 7![͟Aセ4RPhӋKV6 qfJSlq#+=0kN$H: ?'I{wbpG6NGlX`Чp4S${R!Q "^8_3d&mb,Pjb,L_&ϪAĞ݂F8#r}s 'n\%}$ 7hJM}oϏP,rdL% m!ps2K>IF73"~=*k*Ҝx ڧ&zpk'kF ʑ߈8),;HS»`IYn3y+ogyI.?)CH5#4H]>^^r…ȋK.55EVAY}>a$~0ݎ[ԟ"voEr+/F3= mhURLZp=zUqZ,(7c+뎣9.{q=ֲ;VTYbsMHd#`95 &uLL&6O:2_^ƈ[}ޓ: yMd'8eXU:UԢ#4Jj Va)sF|{E5:3AiB@>vjc?1N1 g3 Vg؀_]/d\06EY&Ż9#^3ɜ΀d[|}F(/ {ZSR NOZ_}f5ݣ{N^ub圁3AeMx7LJuw->V26Xarݩ`LJ { ҅"]Ij$Z,aie-;{3WUn1mq}.t Q#,Á%t8 @w Oh3tO{f rߪ'NDbL\Àݏ+mX9 ]ny eo}fldѿ| tZEzo ѽ7_ɇ!Qp/ =e< )~zT?_DL $9K.ɏC +4loj^zJ u)kJf~ѾF D{@Է =ui3aw$ՉVb@}M 8wy2Q "uձ!^tiU8&2'^fa ^PBK0Ӷ#BIHz˱>'A21^׌[O "cbӉ!ۨ$@tt 8PM>P32iGuE{|'s]#u*ߺ=fCq끌O= ^XB 0;&͍'LWzS:~]"!+%ȩ;rY=UirJAG zUBKpEFXܳKn$S,jœnMv>Nc TTّFB>ѬE]?"kP\̲qȻ?4:W)] P#9 b~|DiJ6qxPMk疌Bg=3\&Z$7Z 1Z7>($YY// -֩3Pa8eŹ[%:RPٝa0"qb[7{a+3VFkuBL mYEk< "D _rJ7 cUjvw|z62?r K@Q<4Gq*K*[q)=_AJ~`oLr*1ɿ κ~u+ӓjB(fjf GEP4ޕIQz0~_B">#T e-fLdcoyqS  ~&:pd^yo|=N'w -5(C G+i3_/kz,dXv#K~ *kQlLDq^yS~uUsр-@Exp3Jjř 7<'/Wp7*z]&Nu^Ibwɂ:jn䟘OV|.:HEoAAT-2lEz"|Y'&_ot"jtPqev]UZ`[lMD]9#=RpںeK¹"/K 0mSv#_I1|F: 5P=r6|9bIS},xqbP'dd[]O`wk ]?Q#;r%e9v2z?WGZ`Y@ѠЩ&gs/?1J'G݊o/Kt78&(ݗCB$PU_~G3Fy*o7*O"jCx}q9@vv?cQ~=i߂ERXGw*]ȻjsQ fwZOIxm}(rg۩0qc ,|y\mܪ8KS@Qw,8yةƥv,ܣDu5۳2ZOY8JsDĉrluhp%Q^p`G#}q[:<:lv.Hq*vr)QUxSFskQ{|YsmȜ$zd b\WFp^]#'.Њ\v-NpQ8MU1uj\H% /ZȩB]^$~뒆L|LqGi*1t=0P3Z BAu3Dԩ(~Jw:ҘAWA7ÆC4<ϛw*t+%Djp{ 0Swèx}L z<6!aY.U\\(꽐:>N6X%\ !$ͥV9YUo+瓕>irw)}I3?D"i& :Om`NMLHWN{]vZ!>cXM";=+q'|ڒXтV9kˆnG3;Dۮlo$ ` *=1tEu~4svZhz~vͷY*t*w#C0t`AuoJX蘩 [3UEN8eWauYO:Y17N Me"\^lsM`ں+^:<3zuव<^7KedhZ# 7C2?ZgEa,s(bGCVCѲK!`F< % Zf3*Lc8&`Yg{.b%#L`O)*gcCwcݱxEF GM>[ḩKA03!]&QT;cxe\~es7cPXٕ!Dp z*YLr'dM8P ÍǚYa2ǚ DU r$}ɀ Hc8@ߗGm@O׌.ؗT̼ A}mdցV'EЊЌEbY6R;ݺXal'P馛2 WEӍ~6R♱cXTF]al6FULyS7lqJwPU 7034r>T:NW~,1~I!}U]Μt8DtT@c~ \p}%=_V/0(jmP=( 1+]TKfru2Đ{gAkAc壮qk17*RYa8 [ q0n~~^[s> 5\@\[]#Ip9b-O'֙aS襁Q~z w8fPT/C%`!C(nײ\^-X:~bx %31تMEžv~^$}!I]Y\ "@>!~7 }lwZtfs )1cذᜐ}tGo`ްtϨ]tJ(C0:io&[CTHg,';\f"֥4x#QuHM~.ʽ~Rh7Bl$s?3l<{3{gd GU:(L:mSlUi'\ '%>Id({\[C𬞇#z'G"j؇̐33dlXj}9C3n[}'`SBh y, UhKaFLJ l܀k-p8[vd- \Gxi@SfS)m%3azr7̢+BT1|<d\uC:{¬ug@X VE}l3;Ny&uDK 7j wws ӧZX?PCFQH l&j 0v50CR*@g*W5NckPÃ!,6g/IW&B+2.N.5v,gJNZ/wֶ껄*TAwi1*74 * ;y2O"XjT `ff:xXZ~WR"|#q.[ѱRBؒ8Nnz8|]ɨ.xVè9-eFprR35zQ0g'5w͞]L/p i4hhV1Cm\(k3\HH:knۼm8_%\'լx̒Dfq>O_cxɓ"HVo }(p_D!@ ;e]l*L|3wH荜3~ ѢNHa (֨ ֿG)ǧԡϼn1hȩ,qEScg8ilD U6 WoS3Jtql3rFdd,?JoNp!qyj!?=PEMPD"j޺,?Rd6l"vV|U`>ӼW5T)$l Ce4@t5!\^got_η#J#HRK2X[YNtei"_`ʳK̶d{@:Hl#zAR&]pB uR: YlHoOU#hƕZV* {{;ߌP(ݶ!yY'Dh?jBoh>1CχnnpC T]*&Pe1gC^89POph yKƎs)eG$ #s^5::6[ݏ)  wG Ddk?Aez(X3b̼Й(+~:,#e3i+:{{GxM7Iq  . i<&f7xl];DvZqo mDbV{pl(ϑj򉇃lM.X=Ϭmm(ZQ{bMtU}X0NFg\v8Yt(Sn c@o02ݢl_r_Tң[Tஐ(v4ڍʘ9o(b &F .jܔS29ɿMZ둳 v0eiaCݾWKP;TCIk¸=ԁ,>Ja{F Gk 2M(tNnJc\ Zϵ~/nk+P#V[ɛrJ U2$&Z-fJ̀J?trjmI<خ/mM[JEqa\5R+B Xje`*wK.+ CptPͿ),=p/y,1-#KʅhyuơÇ㽵h[ч$br J S0iwrK O9h=U݌S+E^%|丐 @'S]9W̅2ðxKwKzٕ,Z XsphIsPZAW6UqFphqSTA{H*<Ы]9 ËJIر@UEbH2Ą8Y7ݼoev.e`;W؍gy7vE r>%7&id.BPێzm˿|PV)r-|v.LѼ)+Q<o[QJ_J~%m;sdR3'\HN=uL,VceUF=-5`c:jT(opI_ \E6C1 z7)u#/K% ZoN&RzfBJ؊]\JavJ!HiC1vSqPB'A ź̂E,_*5_.(MuEȼR<6u3O{1緊9( h#ϱ(dx>8UFdgnP_EPnWF%c#wҴ}鬟a}klk{F%;tCZB㵏E^ ė׌۾Gp!ghR8} G‡P*K>9veuI&+H=>f~פoKA\Y wqni{rc7lF'չGޗ{;>ZQ-@nr8) ӹ؁*^=DG>r)B$v-|K 2.&w:,*G 7oq򲐾0Q}b wN,Wݡ^6.Puqwc9у3/3"sYVvehP@(|`Tjƭ18y:.=$deZ:ҵB3C@ o}fU{8Q/wBcȰGrS%ZOX@Y8QY{\xB _US+-<+!1ẅ6ۉhst K(_9xDۅ};(ꡨe=ޮrv,Yq0~iǥޡ:fțP ~Ur2_5]ggM8d9JH; Pg-s.K FԾc2!nz)I4'<& HWGVVOAN w+#?;͕uTBsc(]fpJ* WJE##]=OXUNNtx[5IA&JˢxrBL?T7f*git|tG6DXx&ܷ';;P a MZݣ}Kswz=ni7ijo3-WI NkIa[.ҀY ϻs,T)+ERdc{sE*/ aM%HT;V`4~ހIp{,8%pBߧQ'a}REψ1ˊГ(N7^%t# ;;5f1qS? 0yIboѳa'ዽ(Ywz1~4%Mi&({+@5 R#{ n>FOXod ,cU(S *E%.U=IsɮZDžU'oCπO%k`f0B +U\TtEj抔=4Ggɫv2Xh Of1@y/ ~@ bzõ.Ŷ ҌM=kN!Kda5 OUْm^*<@V4G``N+C|-w奭őx*.yb2jmmY$tl54b:e&h8#kO[b+#OnGˆEjZы;|wlc޳KzJYn`mVȊFU{)ߥ>=j0AiMy5![iz?/pxJQ,,yzd۠Aҍk^جB_!D?4.)u^4Bx"-jourӃn*{7LDRa0 DG6a5qp+h!)t G񄢐 1R߀P < b?,;2~+᫓5!/q>D c|p7b"HƤi44\,s:⍾yȖȕllLK_zƫA?]@_7:3K6ZuBKy,Buu2HǪݠ=4?;&ERbM06i8I#5xT3WDQmorXm-QhI~Jn܉'M4&f42EӣyH Fodō06׆QJomsO*M(o7R^x f(.5 q$]讴mz3YjAJu"l&Z͘<4RDϛ9z&*BY/׃;3ja)ӃK `Wxr](J¼8(0~ h8m8s4jtlVgzKxc5#[yL"^\UΛͧ}ø4A:-: N4njtB urپ$. w[=>\U_ȘQ? (kqQeq -XR/ƥyJ/2.?o*ozS(?#",9S0e)%~E| 8TP⯍JDB%G ~o% Yz7ՂGhbnq MN:DЊЯ%%R?A\j/7Iݗ/1!s!g ~z!ɖ6Oߛ(vd3&q7urA:a9bĕڦ fjHeKl]:ŎU@2 Yi1e+bb*dqFa|tT=΄?kYhP+!^JK˹Vޙ=hpW~"u{N$A6c UNFn|f/!řa<}0#Z%Ebg}[s|;5 2 i/ %6bn/1L(Oe{A-^ 1DG5c:Y<mwH{Å}6'Rx"r{̐KnU3ȃm$wXލj&=> C"IA]ЀG[ _P2K9{M;돫JQ' 'J߂`AEy~X1H%+`9A-1G-} ugYZ7zXZִF! `]ŗXiɟ1˦r!cHkMeBd4 ЫeMe4~(J/lXК>A/Ȗ=#Ƿp:{Pt#/?iաf~7:-$پ2PJ*HH$ lj2ۃ[ %zcl Do׺p$>E2jv>jpvڱY)&+Pd ӝ~{F= N?N_kٯ) xa]^1nj^7: }ɍ?@]5LqSĉ1lBZ)2k *?Yn|eɭ~˷W8`ǛqR6f<ɜA4ME%r$ﺥMJ&4Zc"3 Ԥ6L# 8L6O)fBt߁2_[qTgw'w8&. NE8$Sv_3"ܱiM~]ڠ~$W IS&ҏ8!㓫7~C;TCl58p}bP갂sx<9 & w3iPiߥ2/ɣV\0Al܈U1e=0#_H%esyE;Db۔rn&@o70U;__{Dvdݶ@9}֢ٳ'hh-(zTk2yM%1:bZ +cAӿ&,Aaj,gYZ7zXZִF! T]ŗXi%;sW Ydb-; Ysk7"lmMk~nJǑ# H٪03Jv EPceh55% UKn[Kow )"`|6JÖ2UI>+zZrL %J=[9i^ F3}kKPnMHx,+`=QB{ht 0\AjF%ؼ]m.hid8jq(>$vg!k/h)`vkklݧh7%[0DG_d(&<țn|R I|gab1s,295<璥jˑ5boC:تN!čnLv?f杇e"pk;=-u1bݏ6>]a7Xg\5IB_Jtz(K$,ǎ"SmސZBӈdV`O+ XUYoNUuU Ɓʪ+:[DPRJZPmҖg. 1Kar2vn`,9.x89S2 G~&WIddgtScs}#sq S{z4n_<@ rs>#~JIcpIrdKs~Qy0L$DFvbbVyV#0s(7bMuA).^\BXɴ4Jj?4ۋX<-J2x?^C:*7)z 7$|j0:8goG:%e,A ^[S;BQg`m1 30e7+y6:Ktw Ïu1F*g̓<}h3kTpk 9FZ;E9(;'7)L/'0=yvTJ|k"ga'0U&B[^L351 U'c:ts),S>,Ϧ[DኤC{ŚF<ۙW16]G^c"-+L_2+eTg'u9 y SA1`qHӼ7gܷ6d)  uл48YGߣ$rК` 8h]E:%܆GUAC!;E+[y3UHuZ]߭c pZwa7|n‘ ksWn*wq`S*S1 h{zPjO\F(@NTzNM0掑Kt-\AWR^SH:p9~vv;LY[EPX~]qNVPcoe9-dx KhK"/zMo]|s`2 VZ+[u i- ez{@(ַWv0jjM _$>~P;2q0湪KCL n?htёy 5ڧ|@_\ҰIΩHڍAbڔڌQpķLPt\ܚpm{&j2U;0$ E1YO~%D^m2ɠ ԮRqbTdzfDB΍Y y(â1KA$Jjxy*ݰ䴃Hoǻ2fp*!%~pDa6͜^3GƕQt%h<Ɛ08xwc+hed3%5􈨖μXڀ#s yH@`6똒ߞOfil&MD# OuBYX,XXbyh#0Yf*[AG  FFf~a)DyI ؤ-i} 6_I)hi!(s8*C)cY?UʸjerLdʻ6 qi AW yx ]D:n }$ cX)?4\zvAѯ'l3_F5^'#u:r+. F1_ҩ1(L̛  Vy"+"-j0By+yc!Dw];-&ʆ1HzF,&T-0ƗGSE]!6_Yo|+_]sebirИ|lK3.**z_t+x{w$ !3SU ȟ)|YוrPNUtӝţn;Z1C->{CǪ"uu݇b;3Dh̫,r(ɻy <'2a*gojD7;;t~Ky-[ZiyieRQR%%^q$v(|J p,C֔y aMj*ץ7n9wŏF]ͤo,]*!9Ћa [Hb_$"`J_ͪS3D+Lk+%VEE= {^77M$p]x=7LZNCILOcMiwPzp/ܘ0Fǐ9A61.Tv{#.BzBDV_BO.+nj ^mSU˫8&KK27=+BDP#ƃ# 3Dk$tXm6߳JGʆ݉^Uf}YBZ۝,Ovz Qfm{ɫi->Z"kL(C9G1(Izmd-v5;/wRiЃƫ\h4jqQ]Q7lpZ^ݥZ}It IN=Fkܠ%[_m *P6sb}؅VHL#4j9=:ζ9.( x/k5 Q oՎ}ihw /pSߊÖFX .9q\(O#o=ub WY]vQo ȖQtE3ǝ˝Xv_*|:YH2pCT5`HPgޠ4E'vev}?#>$0˧:+7yEd|p[1WoU COgӬ5+ֽOuN:JXFյlB8wu*n#Bh3j);O"S9ވt,OU`55ÖٶKU{jg3n/blo7m !.65ۣTm襜-fU@Sld2ԑi"hEBSyS {n#!0)& %xѳ,?_aSE?~\Z<ֈPÃ$6!LAbeHth 0ݜnkݽYP>,ʐaoUul]Ts3U< gVGAy'c.P 2VN¹J<"эHX[TbT*M~hDq<}p%ayHOc8&XXRdPcX[Ƒm+}1aci)/S/ "%6gY si!7A7tQG} kņi["HTaSIdDPqq&)Z !)dm>`%uj@rZI3Rg&}$ίΈe"hI[afI1a5ǰ=Azob̈́ԖW;U[U}J[&6w lW%ʀδ>*]mR3scf'*9!R-kiMto+27BϘ7zVX[7W> wԲƾH Oק_ g}ȵ`݉\/HaJ4P?}KxN A7^@\RWppn"ȕLg/A5a7slZ4K<*Pđpx熶~b[6=U@%gha=@WRH_ >DE^L\z<dEǒ x%(P3̿_jن,\ޑmT5tǎMpBLB)).$9^_3^9}VJX^[m f+luO/@ YS'ֶDŽCj] Vb8ԳͿb ]%+[1X6TinLХk 檅mcŁG#܍ͩ3q|fÕ0mLְ Ste,Ϊs$S !g9ޕl)0aRM./FV7x|N6C9k$Gh+geO|!y*@}SxḦ́RbǞ>YdSa94G\cd76zn|M`(#ЩRRTB#U/{vϜ8]:]6UN+--&6%\71H-09M٭,(>aO撯񽏄\ |zz_n ύm/&RCLlBn>1aqd<" Cvⶁyʢ'Հ)S͡e0Wg-)sE`*#96jSu[/?<4.ӟ:N*z@uUIXUo:/^7XC` %oƒJ{v> T3}:;:4GHsS-r7we>қ<ؑ`b84;nd{ain`r x5Uuxe7˳]?[vJ|[lx-|PcHi(r^y&V5+Y{; ŅǨޜȠJcw^/٦ B.Htk*G`i4 6J&:xhDž&v&Ii7H%,RB"1g+*)c0h@K3ky3hEX@"Ą5aPlݐM)vM”hN#{;=E9M?Թ`ݱ.XAh aDTm`G,PA#n[f*&Q Q$Vi[jW>?ҊF^-92JN9Z= i20voQq,ǠKy+[#oC-ϋdM)gL^Юԣ3!ը8,; aV}4NAKf6ضZ8h|bOVtΰd\ 0j~ f=P4Uu =\D Zjഀ YNGAN-Zje) vvg@E8"Xy}i>,QaPK5X\X@;x.0d^OBkz=^AJ7XY6rk K;s;wt ޵BR[Dd+و ڂnU`z]!ra]v;1]bu >8EY )'nB쫮xB2~Rk=D#L9A*o yzاcb"jr~Rn0@74g+r:'7ҬV,%i 6?,ô4FPt(qcQ^Dǥ|1H[N1i˼iݺ7 kwS'w vM`u,`$K?'Lj,j@#+ׄ*rsT' ^(Z=W*z=bėGR`M.ua;HEq}:$mxWZBMCh)g>_z2y$Jc*$^jHc%$3'+|B_w5K/o)L F Xsf[aI0^%)"ΣezQ#ə0g$qg_zuz- (]?+QNo +*_Z ڹxTǪAlp*NL~{Jɵr,C$ v8?k&DHMAlRRhn0O?_qV[ X,L cTΜ]?,=b>κ[nl1ķoDd܌5w$|8A|ZH;aZ~kӋLgN~0U4G i6M}[uX?6pB^LA,Ca@7颌롘.V~=iUO}PgQDW;( ys- HҘ_0#W6#Ό..#1 Ā=u5#8Sz~eV\r ]hrA\4}Xrb^eVވM%I50zg_tc62%+V\oRBMysBQK\?e"/ RlOu ¶=a$S Yvd#bk-9D#zLG6D*WH}14^r|%/1 [SPrOl8dQ\H79'.>ٴ^U2q`|:}s"] .ʿrzkrbcB5nk1xj|٦vh2M銴}5+aDf=ԄB[^V[ޓuٺVEQF]Y6m^u΃_bcս5\TGvsv}@i8 C %uw]ە@::1 m6Z?DžLKfev̖d3~͠6fcg2TiC߲ t#[;e#X H'')R,cp2 8j{W7U=^Ww!QQ5neI}?:MWʈ54'(e$*,s1&@BPdo4=LFؿl;mR!:ōN$B7`{SG_J U/qQ8a@3$~v(J'fk+TE9}obZ2 )γ7MDLcڃZdw*KOS X8 c@'[OvU;G!``ѕf}Y'LFL)C:>P,ٖL}r\K>+<ϨUb8V ӷ9/IQr|Ɛ 3#bz>1 |0C<烋ǭ.H9+ Ap TaAn6M)phFYmŨki݋ded÷|=A2Lm~ӊR$Cm6Ԇ4.vOOHfavRWZ Yd.Ჶa1X/H`)auʓjڏ,o5#QB s;7QGo+HFa'$i1`6@'7CVz_lp :HRW؍'fvlODq`TuqK\j#42=3PUI{ "h5Q FuT0`R|"fEPWz2iyFKFcV>\ [f$&(,KL6ۖө$P裎|e$)^` >PhңMb- k_%>,6^v ڤMVwK`$@Lue;i޻,Dcbnzx7YҪ"0?PcK\u3JY 'IU%.i:\2ɊRfKg2d+* aA4P.S UJ Nvra U o~;mrA(fdOYD P$kVh(ً:x]KCw> rrc.=JǾ'{Y}d# QIzR^clˮ؎B2:V0p4R"oq.ܤ74 ^%I * vYHm5Qoxb&^ $Qd ԫn|֦/2"@qvW 2q+V$ ] LmHmnN,fa?d\jY3 tMտU@ dZ=V*A$N }Svf, Ed[5<>&!K693NH{ah/Kϐ s݊ s&8SʆRҔ3@"Z~z/| jַ-SoC1X*yh8 E.9Yw'V~7q'aWT\ -f|܀"AKK-z)CUõ~k,7 dH`ybL1xF~Q}ҵeAWޟY5nc+/-ESPzcXx9"G)ZYprY kttm^[3\wnl^q^LgOe0a?psO=-n3^#eb,.yCiHCR kXX5#녩f V*'qcG}Ο>:gYDk1QwX%T4t` 8VuOBgP ʍ&hpz_@YⒻӁ8?*߉g[op}EJD\LjOS z7évzMՇ)܍s*;dQB2ޚ2G~5Pt$H(w3 ߐsrW2WAٸܯiM8;lǍ(%+ff;~u$3z Ez)vlz>{E C{{pn12^` M~&zՔBq*f-] %{vӇt&to.9SbO{~:_{֎ЭVżK:x0h*Eo!I;&)2Ng-50ˬ!SƮ]RLp7:-Ht4LZz[K0EJ2[b蛉#T)_ibWd'Aٴ55'J.ZA0KN~>i\#V$ZY0KzD帬#Z-=DM4^+K|Z|Vَci\v S7lZU䖅eHf-~TQi4Vzb3!8j62$b)٫?쎬# c&'Z;fMj tK-1 C@Pj >Ykmd'3ZXDz@;n =)$䇛ă@͞HcvRI61 TNf;s*VL 5zga͹=| -, |h&A_6c *g<*AܭO1dN/J]5&sq̀լvG.$h-J0"S\wy㽡Ld{*obOY=h_ %.]6rfN^vSǿͅ8Q(M(bM{ו8k駳W>"7f0WvBP+^Տ~HRQp+ ,?rfͦt3|1e& 6$HO ľXcm *b,L#C3ֻ_ L:al2/a}?ETL|pHY:j6B=|cQ'M1q#ǟ 4jt`yCGg':N zbr͟K$|^0=DJN-'l8~.Nް:":tyO3|MжG'q +߰OP1a7K0i=wL\⌻m3Ǣ$1^Hn( b6eWa3q{^\%÷oSօSecږ2 Q<۽#Y/tkd8*p+[7񫁷\)˞Vp' Ng^S_vPӖ^:D/m=HA5[Zr GKƋӁV3s@>wkPtn}Փxg~U#:yP]jƿ?iSjtΨ*-Tj-LSx6HTra(=jc1!1p%^(VREvQ 84;\ec7/PĜ o"99a&8'>PO-6n YF;$;cX3Ž9!vk)9J|gׅ;ǣ]|)IKBz2`{?oA*Kg[əE[ N[We f7/:VQ(`P㐂rd5g(Dg?ZZ\.2}V<4imw#%DS07Q䙹BVt.Ɠ v]{5x)@ڪ^FI'rLt'`cJQJPA^d5sZ4OOd卪wM V*Oۅ*jO[dGi`BZ8n!Ջӽ͒ATڼE&2?tSC0*ddO`&\aI%eRI& cOb-z$~x8nѝ˜X=suVi$w%sEq?B$*{{1'FIj![dg5G o*,NXύL,s(Md r)S3} j"ԉ"z[ʐEQ^Cb[\&˾07rb7xشKXQ+._Le mZa^`BQ:^^n8Io/<;w,Ic}X ~@ dnÌ;!VG?Ef䏒al?|׷+W~zڠ9j=d_ݑCl$n St1h6X«ҿ Eg 䵁M*=B3QԴ>@d}"ŁunXPXn.[d=n>(Z3Ё5][lq6K:C69`jGMI*ܧ2| {&.AAF?kixA8 l]?X:߳e~#S]'^WNKkTaBZB0Ɓ%9r&7\!| ǯ^J`Lj]U8g&pfpimsm¦qUv4}GYJ"XeKS+MMQSQͪ޾O,)@ _P(6L˶Uk|4N * p]\H.Eah+_xTB|+9 .Y+Ә'UbȐW~;h2T:{CHM?N`D/k]8eN ɧhķ :ՠޒ)GАfs MR򧡛!Ci3  e<2ϫ ɴjST-cK53&*z)ATXv5,nCN{&*얂q]<W ҕR/#jZ!jc )Ͽzx`2}gi^|A>6'd j-#0}:B`QYC*H%C}B<㊳"}PVZ#i\W8κ)j\# #7^!a,PpQ$"XZ]v$ ]FŁ _J&(㉋ˮ.ъ4̀O~A$e{#V^zOTxur% `4/``Q?,7_yZ'F-IR._$@z6~h8ETD43e?/F3YAd+̆s ]frFQ*_||AF'qQ0Q8_+)WА&tqY=\Μ]EZu OoFY4AqvLkqidt5y aa6ɯJ8w&|}NZ nDcE?ba{霋q!a9ijΕF1*M9 ##u,QؠeU+vKh_FL'hѭ>4gRd{L6'Yք!$k;,hO:9a;}VDh@Br[ )W}/NRz|A+YzOi|as$"_Ay?]_@ lq1ml_1H="Y+{""lΡKx| (M\|GVYK%Q&n'*Ӑ#haZXt?qgs<|1[Jiׇq2d朾)f8pN)nTwkGPCanӌqX(P@ئq tDz\@Ǘ7ڈP"ҘR 7#2d{8oYe>%![lH⍛w?sWym{̞w—htSW#º/׌We{nCn'& _li_c]E-^tE6O_m 8sVbeC,ymKw6UKc;O%e?9^@+s 5ohӔd-^\갥?Gؾk`O> #q Fg ن+א+s#v7q*pN0ǵ5~Q6w'/7p5XR\׃_q\;qN.@D qaJZ_JF>=ǜ6W8b.þ Um!t/Ɵe!xQ`Wg!)j"쀖+t9Q_V#H*:d1t#7\?1 5oA!`4@GJ>LHԐ" &9X~*7ӾToFzrۃ<,Tu8wО}T;sbBȅlbPogƃFQ/f p"U^@Tga6Q!V|z"BY#c3{Y "*$~ 7C@͐?lA|rq8%@h+7ر;庰@Ö6H^E@*ptY9}m: %?} ɬkLf8v)J-< 2LOΈQo4o=/.B&jL7:=OS``@<(2e߮=$ )C{(ׁeD?9~h V`Ef-Z1E$ف~k(ʿ<8ࠔ~+*z|aǢFaVtC΍#Zݓ϶AR|&fHq䋅0mPuM3 @,Vhx st]DMR!`ZWR+ RX֬huWcU+׿ǛQxe%{7`tjYk@KO~|s[Ubb0v$FYl}:/ h?JI ٵ64 _$B:6V{jS/_Ucr zS6 *Iݱ|'Rm.6fʘ'y]e*6` <i{t$* FfkE7Y0O.0^8]%|{ co\MgעPd\;*+神r5& ˋT߀wSt^ݣO֞" /++Z€VuS!9 )4@B,EuyXܖo^3 U>Be"11ѽ-U\Μ~&\ܾ^2o ~ڰ уK:/s]e`a焯kv\J}eIJ"bĘ2" 4qyk\a 5o):b%7^NɸY3=ti>#*|[f/f F3O1, #wB|A W2P1KbVb.QEa r+e_k" L6UbH>&:.+zrOQҶ'c ٥#mLf1gqn1\~@V=\n[d@e1G`/$e.9OIy+*3/ 0r莎ϐ;/?Q .%Z}(^)k/MUQԸc0'ntʕ63qdI(̅/P4]Qm/2NaחuZ_4ٯ AW^Lea lQ#Ԓ PJz# onE7+B]\ǡ T:)Lbm9[gʙyd",l/*ţw#o}&vPMteq%>|`K;0Q RQA[ⷴ6vvAh{ռȟIwꬿ4 DbYږ7lt5$rG1W}=tísݜCwhIݏVnEl~ 2tdޘوO0YȥcK pȏC:IJ1 *0SSZGZم^e۸nɩ#-nC_%.PpfAՃ=Kѥ%яQEFAFÖ0d*x|1j>7۪8lt{Pfoz5Gp= fkN2OD'o/“z!e6- bn+/>wDVy[L? U Zzũ~ڬIL)} "b4ƳX!d &PjNyNDε (E*Dy$O5V^a4XGF%=OQwcЏas\bV"*BzAnj=m0chfXU)*&A 9:ق<<}w熩 <3CҾuBv0SA5pJzUD{~Z`O} 8}@)7$*蒤&}S[V}E4-T tZ ,N^UԭH9.VCIyKk؅`H^ڲ$NlaሂV56^͕z:AfFC& #5}d}zw=`U00<#HOv1b(e6c 2V3mt"_rIoMm),f%Tj`@ 4(>㜲̐Jݙ=oX^7nrrX4vՐu|VloԴ.ÓQ>y.PF92z0As)v_(w^p65 95ІvNy޼7"[ć,߈s.HHזkKmHi^@M0ڞئ3HVDFZ^ZHV"L0T,LDCqFт-pQ+=zvx+3OM2E#?z.tS~+ҪjP9!D[ 1ZPA,؍HjdSϙRSA@M;9ND REub S:0ntqNpp؄4Z.yF@#H <8* A CCк)W HL{: X]U e@KKl\Rss_&,FfY3e#ZhފRD-xȁ +T#/*h7/+~w Rj9oo^\1LPDY𞕻(k/S<-k[qͦ;G}ld* =F"~ &2F'Yo+F S ilex,̊ŤTЕ$ \_$݆B!09)ҷ@>D˚q%ˠ&йփCNΧA9\P׮pUH׍tMHWge6Ue~2hQ*y!4j!L$3 # X[m`%`lEFV%ѫIW;I3y`D2|. o"tIKW.ԣu=8x] wrd98I 1?v–'2`gmt[ys7JG*i5|=&r M6g\JvN|m9tR)h+g ϻLtn5Rs'I;Tz3m0T! "}od+M{d G{};D/xGA9_cRA|0;a.Ϻfک 8:NwZ>5'F2/.,UVg"Ch, 'I߻3S<&)|EQ/*w1btDQϱiJbX+'{.Z\KS|&3]5xF}aD`rڿ>h)M8ë ɀp 5`UH D4WQ_55Hs/A|&BS4: 4_ 4]cCT0bWxL]u G9SW[W˟lfDgM'{s%FPx- qs/"}X{Mf QL~bjIҥ (i,/m);)S VkTRcY&v>Tk{,뤿MՈɽ#^z;FLpy`U%˼lþƒBXŗyc4}t诊V. %NynpyG4^.inrДgp4!%2[΃^GLDs,/`T)F 󜁦RMSZ_k{Pa:j* )ƣ|mqQAͣz~k;ZO VaѻM D4VIO4 9lP]ɎyB7f"-n#vw,?JJ gA= n >mq<]} hp{ ȁ @wlS6`sbHVY!ja^;'gТ"7Ij_'|mL>Krz(]>Ё߿:=_*U*ACÿh깉}^$s2OL?sfF~qw>J 3K>-ײ,kN>릅T̳! :I;Ter-pJXrWaqH)V3@vPvַj0~u"O2f®2s K&np<A̮=.=J04orA8u(ꡉ BG oۋ]:Amc¨ogǎGbKgq8$BKva,8jH4Kd~"#mM}_=AP/t/eͰcUZAQ>;Zl|d@)bv4c]6'̼IHU`?s_U/EX)ċi2_9C ۝JάQIJ_6y0Ӛg+0Q# t1Z0ltFaqP-ccHv/e"a!( or]s+'aN Mzp) Qz484x`YsPʴmPU|ptA`K>a,G*r­J-̎nѥ椷ǖ: 7O[Rƻ%hmO|k)Q6}W[/7Zr٬VlLruhGjo43LSHQ|$5犼 ],=I6,1\֮ibpΧ<ǒhG,["~~CVim^60g@k"Z{CϰXG 3 No 'Yi*!oǜSCHAf4`-.,[׬Ai/i5OZe7>544ՑS):ۛtP#䭟8G N.mT8S: pqV7x{|Sxi'[` ^QLMaE*V1[i:\Vn!Up}c/ }}F~5{͎ KP'dL?@&m /Z}ShV FDQnjIͫw<`t/>θD#JMB%3?|zU6 "ɼPkPe(; ֊t#1ߐ(/̇1߀Ð{ؚ8)cl[ia5۳أfBtk d_͢7ۢXAL K^f.QF?V%<߬ZT{(ڧnE :)2PȺQ(網3;Xwa?-pZIڒhWcӊ<)散1n^Ͷ` ;ΕQSˋcFOݧ؅HKա~<=N#h@GnO 2KK~i15h{2omֽ)UwGd!S/_^02!Ծl0z_!obi*Ѹ>͋ݴ+B92,ۭN/Y>}ރZ5 F3L~! m$$5] αfYVM/HFU_$n[k"+S6'4Myov0N>)•j>vxVlkOK89yҩ^E8چ:_|fpø DRkߖIFSfASr68%%*;GcXqdQ;/H+t^eje)/DQkt]q?wŪ-Z&[)_6 r_=bB(Kg9qJHhAsb_>h~ juPQ5`|9sE44E7#@ZqJ#a?)g^ tH㏙|Vh+}HԮ$%"XWC{"ݙ`S#[h 㲩M%,9YcqB7.gq#;W?!i`+i'Z09e|hCZWUũ ݷe4 nއr$hAѤ H @>Og~]@5,mwz-gx- \'#R"m -i3rY A'r_ZۓAՅY=epynE@o+IҩS_vh첟Kh2'q8ahN=N&vIL a7~zm*ԎxC> הԇ?|vqam4n_ӟ]i!\ecG#i~HÍW2}h2mHq1|J/%x'H.2-C4#27^gi,0)'f#2k/4r}LE7K7[7&^Ey-J`SP2#BCt!/C9ZoK r ?h[HEr-Ө}XC6".7sasƝӒX ]iRn$gEzۑܶUy#GcuʰlcZZe"ޢ5Y8vh#&R$iQz@>!5[&cה€AOh+Bg*iY1>N6Kf tAJK鷯#g%|if$ZxG:cwX] ZCc>!vH)Wwv!εb5DA{M)qڱl%&0Лl+218O ?0}癸ƨRN6"T>r^jT0Q4i'S,IPRAs^ZsXtYq/E3TۉhyU%5M3r HuvR*0i&75IdikvFw"!v{KT8jY$ yd5@OEó$v4V%2L~^1@A A0 y ͌F1c״<ߚ9Wеzf ȥ[x +V[aOVJ dze%\uQg?Hbd:l{$fHOA:}}7)PQ4+HWc2JWv$!]@4~\Y:tDk[ hJlY M5Ms:uq`P{oX|fJdykfLyȤk%Vv'YHؘQ#nV/<̣;x]5ƊWbһyǮ43&10 T{ҷdqgKz iY/5;+³uϩb7=R7G j߹%4/wscܴYњ4yЧҖThю_˖  RO*M>|زenUǡ;صSˆtZ[RӃk@`bU;. 0e0L:i!WWS &>z- %ij:.Zom~~9Fj:1V #|m ?Q =EC ID2[5^WR1`1KO  l ȡK"B wև$"շdڪxVYG>,{IBXM<o1#抸 Eni)q8 u&hԞ*䠆[%~%mt (&Qn4XW{>qj =蹛y;L?D] &/^]w Sf܌V%v bFJo< cؠfbrB8LuHF] 1["K>>(:tby3oe̎l,d)(z}sxdűQ[לinLujY ;j)gH drTJyXkK;t+T߅Kz[h9=d+!&HuMSA 2R-7gMb8Q/XgP B6vzqy o9as5ҟ̵MH]9:={}l;|q#sRǠIaV~. O08JcARᄊ};yZVѡF{CPͻV6DǗR')ip>z_͓`+$`ɬI6= f6WJy6);p"[9Gm/z. ;hCp5,k8͑7,h0--$ 9F{z߇z oު &Vfv~c4Æ$ܫs4`W6|kV !n- v˖dUmGO~TYZ()vz>K]v n+Z\>W\U^ *.g},F t{/-Tx;uODjpP&djLzS<:oL;<}p^I*i 询|bG!YWv ڔU!&!eh9J=u&RI='Io#D\inUc%Գeej?K 6e (k|-7wO kQ?whC3ϡwCB|4vr<¡bp-exTiClU@n h*JKA>+CvC;z-KmOq~6r6f_2)?%t;y?,w:"EV>ZLd-hS`wAUjKVo.}UVRZP/Ig1m./p̀z6O-Ʉj%WY0 qFǛh4pTf4b%hMq?e?zA8$OK#\FM^OC"pNY4 d*6hx`U*`B}knYh*a1Sy1GF?ŋ)C[ q/;,0Ek`smPB)dN8$%V 8E 5WӐʅCMR;? ?cχ,?JtX e}=7B~E!oP x FpEnV *d80r2n@&) )ֽ`'S_ +r$CT砒?0G+I I즴o#Å+ \/Hg{Q տlX~,SIeڈI>a$TIAZ'W" $=P>u/Mո#),`Kug "gH&..yY .b_ *D3g\ (92(7TZ~!1ͮ2QyؤJe < rWk_"1bܼ>spẉW58edXXS6@a9 *tDNI| ݓlxm/R(Ċ;ED|)Ρto|Ig(Kz?t"md#9ӣXQ0rw)lxtb~\K Qc/Gob9aIv^`~s:UF,uFfi*}vf_1ÙB>b4[7#]\WӼ1{/J(gROMiŇiurz;$5Uɪ,4p D" 5B&ڌ\`jAXZ#,NyՁeh־i[5W6eL,-M!92y4*<0 [ù!i'&V;39'sz;]1 Ztpuq̷Xs WspP QPcŸGqE W7Ѻy@ }\aqIʊh8[9acY '--'v|:'1ђ8:LM cM">dGC1TIiSD_aB/E=ኯx3-ImyΣ'y{T2|(K|X!i{VWsd&:E$qJR !e}iJ_"kR}6E!zZc/?Y]5iZ oC{t0}fs6&#?3BC2Ƹ,аW)]3_Mq^-_Ѭ!?Jd0MHbHMʑ(SAN@ig"=,0f MA1a B^=5VqY|h-5IЌCe翖+Zp9*ٳ$=L^z7hv͉b0ͫʡw/>~Y${,P+9 \@W%ZO^HfFq5' ռŪQC N!2ߒ?ƹ]"Xc/Db$dVjO(˃|VaSbʔo|3 Ե!?uPI}zet9ed,w< Oq )FjԜP G9lRFՎ]c=K B g;_[&Zq,sY(yX w~{iӬ <& D5pm@8NWK+ R{ϝ'r^P=ʒѕ:+2@1aVڏJ'RL8LǾ 9эs,#Dj;.l8ж6#kX1x w(`L3N~mIK]&+⹒Kٹ0=}ʫ#=~ j˰|LKdT`tė! h \?@w9z-"@$X\>=R/y\v7syO/ԭH*_.7Y̦JdBDT$DŽ#>\ۊ=Ɉ^+yHC!+{]$Qcw 5nR<. [HG(.x@^1D{ߔjSAȑ\i&25ṗs $(c6n.ox% L f7?X_!Y01]@F1pfm_+4 |JlK4;ƈ};t}j&뭄:m)ͣ ):m:xj Z,l Ŗрot㶵^8nC{ $tQ)mdOZW#l myKoEY_V;[C9'+jRZ3Lƕ6}⛡\,gMgc̎y2NlÕOqkr!LAڒ άA?2ro/Do9ʑP'"7&[MîTퟫXL.Va#"`xÏUx7teo#$.%YG/}uuhCOA[x4]  c>_,5hUi9ŰbҕeHGVy~٢5:Y{f7;\hk:1">=bPRs!c4BˡA9v>!g3depNȍc+VeGY,XFʓEAb )TGeUpO6Ζh"e.*a~1$.-\PRn q# $8q~^i/y_Rd=b-"W ]3"X7rz($Jvۘ14iuP8<΁';t+wIhs6`CЫaV׭:d" ߠSOeN=sےty$gJfr]lB-yģ}|cm_d` f5&Ѕܡl-"6Xkd |f1U %cƁyN{$ TyFM-<wMl{(,d]ZJn9W6SM}6鞤|Knmz!kJR0 t,+!UGrwtWGV$wzY5].YPxt-ajtN5oR1rDl=[Z6|]90t/sn7~םrnA's1=8bS;IaQPŃ Jz.jZ.d5ӧ9MDdJ:Zy~K'KwSiIF7NW\! {0^1[]7prrh!$ & )oMhIq ?#iOf r^#?3-E<8f6C훇Jra󈮻4.ߕؖP*ĸg.A8sfvt_Uź{k76| .TFiu|thRm+)h4;^CaBec~RxzigEhW+;Ω),M˸M–шf`vl$&:VC^JSϚtϰ3kƀu)Hqơ [~7]dugaVg L\+K|5{1WRYMN3q8!'8e q⯣vI  JtM$IW&'{?.M2l9C`p\*{< >X9'/"GWg`º&c\ǾCwkVr!Poũ?(x (&Ra] !e?_Xk!Q(5a@w΁K5GIzc{ڟQcչۡ3'Ԗe̲± ﻃ$L]Z[씷.̒l7ZݚޒImypgYx+&0c jrw  mLOcng[ ϛvez+~P^0.`h>1Z(F1LK4X7(wNŸWpa%>^3Jh f ,"Ӯ,-ʔ\zhJdec$ḳWCs|sxSC'àzOӲu)$Wiż>"Ad85l{8i`A)0>856LG,kaݭ=(wS5MJx)2[+jx A\Pۥw#!qx(ZuĩLoYͨݱ?ITrE]CH.goL >eP{mQW8q5ǐ:%3?$b?w]z78ia% z9@0՟ǬXF[G"UjJx8H8$Tf%GgXf[u:_pe&+|]dyD+mu -M"uB+`yUhJ(ޚE&SZF w;%3,?Ã+R9ٺV£{4A@\D86Ķsf'=K`r-BfϧǗՍ-3f(N KK6@3ް;~jC,?:m Y Njݑ#}EJVήl֧F)/fǘq\m)ϻ:aZuRk¥ܱ"I`MWK><OŶ~k#}( )g>VlB?6f~<̕VVݢN]JMY|%Q+.|o7ۄ>UU~*L BbŵuI ~W1k .2VY8 + O*r^#1Zi=ѓ)l6?aLDob&r3%o ϯ6ytX\xS5(Me|;f#F3saZV;'}hDfMWޱ;(&9[mkc p Qf蘗1ɉ%EHBSNu.8p[ӹ>z5%sڔI)R}BX/mx3407;{# @t}j?T7&|rSJ-؁|\)tFXqb2\b`Oc2R<~% H[o pB喙T9)J_GO,[@O~k{Pq}Þ~ZAie8/cQBRxθjމ_@oיzkaHYo;Ui4 F klD4]\F—,(2޷?PJ>YЛfmW'5= ̪cm7P%pyt-T+ηBn㫾 ۟rtVw!L!yӔvH rud]S3$ ]^.VUO'Xi3|8CSL;6h|LK$|Sl(IIa~S'yljBUU m"HzJ=FwVWR ZV / |3W%E~=}6;/{p0yʭ:PBQX&`h ߝ}Is~#, ̙ɳH"Ͳx*az'-riiWԇϡP7=fxE0HA$ ]!<^-`f̬RGyU q{%'Ĝ_#̀sBaQSMXWD!;x:7dM?0QQcE b\WRP,Ync]]ꕭ 8(3 J$N;3ᥥ+(!Չp] %42!Ɗ45!*j9]#Vdp|2.uGLJ92Ga8 !D3(> -9(r\~Ԅ[ae l5}RFis` LHJ5_"$ E '9sC>SZReHNĤž!'6jS!g){gw錸9#5}D G|Q; Z&X5(j]nkϹ%׉q㨄0?\OQXz\&Z dBzo<CzMxY *@8Ǘh!]q\!j3̭o\i^ KjnnODoݬ$ *Y/>Iw6Bk~_2 ;'wK_Q1lp*q6P{#IuٕXe h,^G>[R$*sb޸DjRO~/3z5(=#+ ݇+nEf/5 zVݝvk%J'6j |VU*1m}>wЧ r]E}zAܪQ$(n)KjuZȄ;g[L{)KBP:j~Oկ9gYZc6fb16d5d9e5634da82a0d599b91513fc86e74025854d6758689c83aab18dd02aba520db4dc6bf79 c08feb1745cb050bd06411837cf1536009c8c2935c289e05c63eeb39c639ebee298d811495bcbcc0