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 ?? %\L ]/]HOL-Analysis:threads=6elapsed=330.043cpu=1687.724gc=121.508factor=5.117zXZִF! gS]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmz4._kԃb{RgHsl͑yu2o{cؼ*+ocp'PCbk3̋* gqBJזxAx. I~.u 辱$'nPL%+ſ+f/bJKּ1W?R*-,.FB'Q!?A9ao(ͨVT,9+/a*o#,R&Z?PS^5,> fiA uxVucvy8Y5à]J[_8 ^bQKׁSjݵ^0oҿhwzh%UHo=LN{jPT#fF0Dq3,MSő l z1Kb'fMZ;)msBc2gjd"󶬏8n=D+"bVLKvlEfU{WR-J#gSAGmHOnz410<}}hEg#rVo7Pp3̫ld '+$66h]P|`ٞ 't z/پX.[DJƜQ#.J5!vhy7c#]|zגR$ e[=m)XJ,/ڥv$]ejs(j"R;|nX:X}x`߹8Oi6Q _|c΢?q{.ald%LO1n4jOLƋǾ~ <;{;4bTĢL_Kit82L+C&<.[Iag*/L"$cNfR =`]J@cphΙ%E[Bۥ-{ `.K\_1!%Ԝ3h!Ӛl1A6*A) +̥DOBVY 8vt+SՀ'Z'],\\nCV)L-~@,k)՟Q|{QTxGPRO#2úYyoΡ-%bl (Vaa>ڊEԩMHn=@L˅͗|G Dii27@]jU_GFPIwhr0%_RyF8h2z;|Ju0"1i XiM*-ߥ!T}z*acOpRA"':. "ׄ8dzNɜ=/>dؙ -(TCvvV_5Wب (6PWout$;+`S%0AB"Z8;9B^[׍E\#۹rFpV#z* t!sbXa4zX< ӥΤ l>kz=Zq6P {pFr!2sLpL_+[*"ma51u4憟p{v@ӳN1;^ђV8a26kBje vYH@SgFb|~ȋ3NK?7焨&6a%rZ?TXuChZ2TʶT <`׎ ާX(}u1:T',FvF6=#&{uT7O9\UĬђaq:}D6{V?QPz[_6p%?Bt3yEO!2vѴpE+xS4=djܮm^6Ǿ u 3@}wS6sx[^ [}Y'=R[efi@ݍ`J*6ɆҨ0`DpKWgj), % HOL-Analysis  t4O޴?"Zyi3I\I?:ضF=+rdi2sljJ5DEZh͟I}|s z0eE+ L9W\,p:O03 Jf,g{Zkzh fl6R?Ma/[,A,mN6+oSyF 9LkͪU#gI{CxCB Yy x~T)K:/RLv[Uӳ&R|=ޕsG!ׅ4`Fr(p~Tnz[ޖp)G_kv8N5(v {ЀW)3W#ƾՒՈɕm!W>ߣx_$5u}} j÷ZRlT>4vl)Le1;* ˵Q!Bo{O8Nvo .&#:B%Kw uqu$peȅ|x[Opfd1p|6 7~X:$n@hcB֕(vQ}9VݎY]n{=98e(j, Ȥ2 Eͭ(*O)P5C*SZ^|1 CkVI"T)a̡&HY3%p FH H"oo ubդOSm*$k}å)G] vgncL_ssKX}K1^2X4oHf>RJDz@;K$]p5%0=zػ+LDO #ݟhڳJ# W|2jM$ @H2VEM{: kԉR St?Gr:7榬0 rm&j#Q9 PGun%d݇؊_%/>4EED$}:Nf*ZbmQf.u(*4?RJ*Ȣ̥mhK;E[)OuZob1E$8G!ȑ ulhe|jnPlkcѣske3M^nu3Ȟʽ?Z 諙o#"Ops8+Qr)Aߏrا71JpS|ĸ{q*`[T_( @QIM`r;XvqY&Rh`/'\`JCtKE_i"?v*[vFSg; D@(sx3"x?.x57#}ku0Ӝ9:zRfK9Ν pL3=;9 GuZЌuSґC]\ЊM%>'C WAͩjn[)^" Wi/mEHgVδp h2j ?i.Y/#DŽmɮ}$bb?!ԥY+W:%k74fe<+ uж< gsTvI}ȗTC*Ge$8)6j-4qmi/ɜ .3 'ҚnVѱF20mJ&kB<*x2&qc21n6@ Snef`>;. ThJ!t@@6Z>.nI|Gϟ0 ~#+>Șlck0o ̚Z썡fi u.i*f,E?pWUC_HlN GIG+m]0/K&n]نfNТl:b . !g{iP1s| {50u ZC5K*2 (,2ub݁$Y7DEz.(ζϣU7n+QcV=Ht'%1pJ kngE`$T`IL,0gVA|{N(K`]bx]%vvru:\`j3 *{ mS"ʕˈLH Ą0[ )LQ>GBF^28~m9F#ju+L~*L֮DlBsTkub)-Z\P)fLFF\sҍ>9r[2D0]o=Wv<.$H[aZu:azZS:o=roayIֳs48mN!|5 ,EV& g%xZ#08sntrgK[iKB"CI Z?Wعo |K3iөè[rx+G۝ q& mXpWmlk#˚jX{> TORoie |4xqWh!ԚFpOzwU.lpz F[rԥ36@VKNQ۟Gn8~=Yu1aȨ^-44Ea=UFϋ7^-Fh?ըjtRkqIg&/#5И{ ƿd;hvEPlk=̴7&닧A;Cj&@0@+t$3)htav:.|G z1SjP (83rLOoc_+0 s6J}*ȹS.K&Tg왷p>E+,Of/]&EOy@@FW#DOU»dr2d1=U);5r~kA"NcJɔJ>ßi3Q*rPG\53U N)$cg&X/3 !)ٮ{\'o@L8*s]K.&V7D=@z^cθ^@|>:l!+P$:YĆ̍']&WdC3v}8ZWELh^&?GB&2u ѤXE_N*g):6+!DT_=JRR3XUv5)[>> kh%0DⲊƅi9Hq. g$8skQD*,q Y{q&Cw;\KEG79j u24E{BRK37l5oB<n,[}vQWiМӹ8Ka_߆q|1(|5jf*n<KJ[Vn.C̚d'਱Xt D>\1魏jeP~qrdqy󷴻eEZ*`b^߻l?z=Y^CqζcNkNw*CWY }wbhMҺ{DF!dL Y~tyUC$eMWTHl1Nѧb>3bwL̽CƠl%WN+uL[eɶ,;:DNzp%M$Sג4`,BA*]-?-=|GĿEZ"O]8iOSco!rWMBn&d o o6)î(|JRUipX(YfT"ɂY2Ƞ)yhv%Ef(!,闏G^2se Fm2sc3: Y<ܢ&_ 1_9b0ҁOiߵZ=hA~ÎrcI6ios]H!W0 =Wl-\e\Zp3a⭏<;A٘Hnih4Te*a'O aN8F~ YuKyRv; O{v[W*CGPj*LR~/jD`V C|#ri,- xS!*۴_ @+i? QѢfg teDWɃeR`+T]&CmHsԯ L|=%6>No"|.AdM BOs3$MW1MjmVz zkU8_I=[4Wq^@waH”`\P|F6ځs|^N(/~mÄFkDz)ط]%:Rp )}@o2jb/>a1@\"͓hj6'=㈌wVqh|!\" 8$eQs f< ԤB˜i2yS%zQ97P[yJ=ʪ_-2Nӷ׹wY)+C3g£88 $yCv$+6PC8 *c4118% 0Y%o}0Q}m _vYS0ׁY[R¼, 4鿽J S!H\q* 00T&yU"48] " Sd=RߤyG/}L->7w%l: N*6MQц' },)$.p6bMC%^q>c,ѝyQW>{o1/E=+}֮A=O$@ߔiu2H4WrRPq][( 3qšs$WbY6=; M)53#k#b$夊i0Ne8gvISHjqCn zf2`/9&|LCq,ԑQMq-۩t wfP}dD]GTr 5b"eA?fG((Q~tPVP)or6 lw ͑0Md?Qz @_Ů#ݛ@t'H o7iA a9~ݠK {]CzK.%ΪQ "̾r!S2M!_t0*\&ޣ><&{.w1psF ̸ۧ(^ oqs9ΑRt׾Qﵝp.i#a Nv9Ogڤ$'ekjy7[LzAɯSXrV%cV.rư`t`hȇ"m51"^u[Ep9ȭ1̕P<AB0D+y̏M$:l<*u>>O{T@1-wAUn82Cmj)LgKj53`IڞZqIɜxBm~a9u"CEmD"yKEqeXQzdq<) $@7Y>,% )@m REϼ|(ssȃ\]lgn2Sٹ)C,TAN()٧L#@[.7oJL(z²>\8f+ ]@&}.`NJQZɑ QYPY =оӦ2ךv muv$A]G[<.D=Avp@ܞވGČ>^AOAx=g(UGg$( Q]LN(# (%-S1:X6Fmƫؑ-`O8ZY0kYp58U6 D[i :clhSM ^Xx@:/iwQW}RBx,O7{KR., d.= \9K?9ĔaN kOX$ ;,?qPe1W5'XCsq 6N/=RR ٬/3\wحSUNRy蝓2 '(y$ms(Y7G.ILӊث$Vc)LEa]jv3|E%ׇq+j]- tۺ@td@EǬ\KԵ#=2>rsd_a^/*&Nyfc5JF1PD>u,Y|xLYB{θ5j?,̻93႐~Њ-jIrV S(@0#*'8(޾#`BvA>0kG ʌKwrXM|$m-Ȧ M_=saJ?#S/?zs"{ԫ>t ntx";%hG>@O`ǜlXFr\)Ui\"hɔ9`@uNֳ_]!Z W bXH@;7#b]![IwC/LE8ʭ-BSJJ=+І,V]x̝*rlT#&/([A75יb;Kjvɐln&]hqeQ:/6}L/4`cyxoDӐ$7yա]ζfL6zJ9SLr#>HEg*w_5t0jҚX; Dvj609ưџa)VP4bhE@ȯ>ws_s9.=Њz֌s6.o5!E_;>,,K\OaږѰ8 Q3#$󱀇dBCG\j{]Տ)IBof\8}!7"~ڇǮky&6$H@pm{Q7M:=ĮH]n+H#y{˾-Dh7`,0Oq^hXx&Uk*NǮ@|6C[T89Tq\?PL5;ᬲH1^̕4<ͬ)HE҆H1GYZ!tܰ^4Xu/JGV<).g"}eS+ڟ8i=OnZÙq(o>|5/~ž=6؉J<0z/:_UI)TVX܆>,J-7ќ6 ld{M&~Kd>_)ڀ`8 KAME.=Djֿ |%iy+ե\s|+SaDO ;B @H3cz9!(jˣg u3[ *X܍<y,H[)({v(378O.;{#n:JњyiX\ex2 Ls腺̙'>yAk#HSAN̕po3RLc7.t?;xRkos♁\%Qb^qqF&Ԋc<5&TY|T3X#`3=fUݨ Y@FT\?Z]cԄ:otEx_yb?*ӗD&şh2Ӓv1c'b-2_8T,]Ĥ4,d.hSz w3$)a'mاad۷8LOɺCљ^kIhݣE)F呶7fzjn|K*_5`ҏ8~Em]xӜ Zj?܀b3h)`vR=>ߋ2R Ɠq^'HUg:W`ltQYZF*)iŸ<% L7 |Գ&\K~xFU0F akK=Ä|g,!|Ti~fxWO$)jĞR+9Ouڂ?^ƅ0,_Vj]k.PTzO#4ŧj\FFt,T DӻBƠ DKndBhSh͓}X+No+({gb sEXd{ rrΦ] 3lV%~ @w mͶm7AMjni{.;5[E4:GkKR qIqFaw;ڏ"o@ƁWMVȶ&0qfh=sZ~@^(S#;4 TE)`#6Em{8zB~j(* \bf^ǿ$(t UoϷ3dqĭ 2Q4ie:B''60Nb_*."dnw&ksH_[IwgT^QlE BD>eX%NG0鋱=~<7 Z4FWz+C=§J5 v?6Dj=g4n5&4!jeJCR=`'h,X4G-xb*Ēi.{[LJDQVZ{|qeK [Mc,+>\-7 !؞?gdX@ߐ {"{WC|RQx]b^j0&b+Ur/gb/$I@ QvA0 d i!ދ4:10Z?3MG[ af b7X`E*( 7RCH4($'˫ Q 'v!(Ꜽtf8=9Xd7K3x(=@pe)kS= 5YE۲($~S($6ƹ,lqNǙz2Tf7eJ+Weeob{&7Y ra_B"pԞ"C{k%7qvVsC*|(qb;0ݟf Rz-]aRycZڴw2pJ.E`Ar+YUUWy>L4v{a>±^"TKmÈ"'<hx.eV;kW & 9?fh.<)CGYEG*3Ew.Rl@$iʸ8HHrN<6 PAeYw] &iyeAbu;[ZkM幸n3r$:u&ӷ=_#Ġ#dR $3\؎Ƨ̳SY8$f&¬K ?0K'jY7$H..Ĵ0|R}`9Y?4ӭ#>\iӉd˩HKinv狢 KqCyYyXefn/+κ M6̐U욮ީтB+̺u7V./׽f7 A*4)]?*73K~-coGvKSIq=FxKT I#,U(%y@+JBס7ru-VF*@L,BvAQmt ]*qRYWSFː:ºMW[%gATw`|*hI8@}2bh:ur&+/qMIM:Hsm R6c8,z ʞ_J-̩.OK2]8l@!垩9nP )%~[OsXYD\zHy WA7WP!P$?l4*N+2>xi!4Őq.d{j>5FNg8 šeG'Fx:SxVN6 [R'{a(FZЖ1YЍDụ527KId׺K;0*e2 5[La~!DsK^*vvЯzO:@jhָ9j.f4VS M=uVjr wNawR'Y)~~LsR@HBLѽ*[f6}3 Z+*W$ݸ3p2zۙ?B۷:Ww_|YBc pt)p:=;S*1fԦ^?bOE^UFXIe[HO7.@<_a8P]dx 8jRGϾm*x lMXBJ9pHWaoWkpdEZMhZj_=遑$/mQ+aָ 2:;{(o,v5y~j;5'3 b"}7ú!I0T3KVqGýX^1QԈ_1>S:_ڃikA8si>ANoGOʕN5IM^r{/0(P|$VTV?#&ct> m;ٞ]U^G )8l`$_5`ɷ99&( )>N(sKM*<[)v圥UCVg#{-L5*6i&Y+ Y’ ̜[fIȖ]?g!ZIXX;(K뼍Mj_I1O88 X7!Y\==BsQǭIATiݙfJr)ӫ!7F(St o<(~8|ff"&#BBɶt?RsCV=;̹;&Rfq |ہڄut 8IhD:ҽtPo?? p<ڿ1^gUu ؼ%P0=Z?cH5*_t w~>c*fէ7k@u:4r:  iUo* iz"@:2n0\?;뎵{$Eػ n56Of Ƥ^~F!(,VGf~m;57s+jC0oU}rr>[`Z}n5YOZC.eKNARh6A>’Ԍq,VHła\j+ݿG_91m(N(`Ay `q/Df ZCҩʰ4g69 yd6R jVikC@,;O澥[t&gaK;~L;hŋ/%, F#bN~vf>"_R,A{@8R jZЛ8ӑɤ\.d <,S~0upI48:9p 3yzpG=n NQCU(> &_?lT'%v ThK-L/9af;sUg(]bTR>ȈHm>`zoK2Gm/܃=9^V`i P݆'I40b0>|aӌ5&tbn*@{J ߋ';HTqEawX@Aߢ8k%jjyeBErX RjP|Tuw J?l]zfš01eOf95ZɅRr ZHH&HU5 ioJ ӵ)!\mgP~-5q0T x#'=C A|&[b$6q^3F=4cEg5`AP9x{ tjK+&v4.hc7?CS0v餼HĘpt\惞r/4}ݜ (-ݓ;7#, lt-IB%ls,FxB0[O^G`0XC@:ayDج[A0RI}]FMn.T»wRKTu1SqN$b (W FXմKl, 5Ь|Q0`^hr+KcҷSMdF"2}wB#Ra'z]G&OQcI|¼f"~Ӗ[ I\s âU1z`w_d_cbcoic*[+D3:ϊr ^c1!tyz[}/6Du3լĬԝYN L 07h|'u#mRccCyۜEFVQ>AU◡5_x@ @\Љ[#~m(AA?؜ 5U` N :4NGԥ*F)ZIv2Jnj0^rg =8Zb|?"FJ0*fS ^7Y2?1RH[xDtuh% S9-E⃚^G VsM!uq scv t4xvjl-kB8r FZ E(.FѤ]lC}/MA !8 .a<.֚Qn ˜?YkRc̭ا5%gYZ7zXZִF! ( (]ŗXiɟ1˦r!cHkMeBd4b!k Ai#;D,vxNEC`DCG1`ܭWy{/gJ&x@G$xz!"BD߿ݫjb IGzF)^&'p~)iyF@[l%]> fbԧ(!<vrЪo3 Fsn'޻3om'nI(ZخRw"TV)$L 9;[)rCУT+W?s dU¬+/xE cn2piy^ VU 2_N緑dJC6; x oHKdxLʭ gGM*]k]QZ@j̙J~oK*[c ,g<. 2gs/] "XH SZd͔inV\ut2]#Wl:j tm㴙@6B0h([FޣԺ X& aNgڞLƻ"xf.a>uc!;UHb+jΧ|[i rf0\_DpsË C! 6@>ԜOnicWcx^ H~Xq~qPG%[HȍD;8~5wIqF[;'fhV@M䪤2^j"i=`ќW3Bz7$?@ǿt1~^YyLkZ3m} +$9BxdQ" _kb:ڇ]@Z;UJ.A!I] ^.y"ېs!N~ɑc-iVj\G]V1kڰ?i6ԍUӄZ!;G2wzgq^cbD $mE3(q:o*6L uKz)o3rPYoH3me[JmSX:lk0iS݋HïxϿ'{ cy@Q Y]4]Ua^iLJ6>YUhȼO[H?!v(\=6Arawe~ /C;3H ~'[t+!uU>`[K^{cu]n_+5I hv y'~Z1M&Dͅ8:iL8 oTzBXS E0 [bx5]!7ȻPC+s{if~~zW+g#lrgR@ pr$q;yJL.\w<9%5вJ1^`6co:茸86 $[5/XIٗNs$ tg` OT zςA0&"P uR ;w(Fy T]xdxU {`{1r{[vE?P\v kiV&%8lX阎E5(v;bS t aLWB MjrΒ;r Ldd(]D9P#uOBSW_W βYVX:/ |7=Փ7.\QUȕ?|"\~+A-PjJY3LH'N^]+1lW.<}&#Ј/mq5mtKuŞ ΜiS[V[ l8 :%=z;X/{Hw~Ȯ[')^Ee\󪛖wt 9 Eo(kP| 5!E]9&kdho=8ܦQJ,8/gvWBPk[]~s2 Qnm3ayCҢ?J4L˺V5Y7^b}3/ ۄ^ؚhib^ {̚N_6ZJ :_cDF&*\wv(d#!`:U5Hk#.6Px%~0/ -1qxImy P%62gYZ7zXZִF! o]ŗXi%GzwEߑfqB dȤ$i'RذCFk֪ e*Y",$娃mQb2-{" Q Ņ %HvA-P+~)) 7-ZDQdLΣP0Hrt qypzp\ ٵr'q@ h{ ,H ']ɰet Ż0%_tWMlM3*kʺ; %'D:SfCW1TfRD%BWdӡ(10]E&y%i YZ'ήy%<DL)$? (p~q6)5 CYÐX-!{IԿ fJA*}_9[GQެƯU1Vԏ{-׏>Oua-'KܻN^#&~/T@t@Ia$;&F.,j>㬇4"Չ|_ϟ0cC[o{m(0? uqvIÊ8Y-םFe X]Z_$> [K6%g 7rt0^YEs )YA7Yr•(Eo9C^l^xR>hǿClͲ0kኒu_GpBES 9s#S[00] 0&bӜC?+oZKm'm(-(^;uĶ +"ۨ%[@^A 'M7 `7p*$L`0F-Ab4S`ҍq7cR8ұ;®D[rJ(}\,|uCn)v?@8ZKUVSLS&[2 9ynȸf#[I{db@gxc0ΰ7ZOxE0O5_;MG͂'ଔU0 r^$3á^F&uнJWsa"=[M;|w '>O`+vI2 B CWty#rj-{ q]f^:]VxcAɮ LDkw3DG-c`@{$B$Pf@ ?xDx2Wrg?D+a J|sԦ:_Sv2ebY05,M1ٗN{֓=9﫭}~* ZCBDlK9pnPH)qiexK$q¬7K JԥJ2g-r8"iXd|Zλjue ד*lb'W`j_bS-pX/4H`<@?{vcEЬjQ?.NHL;z:r;߰tك EoS ޜ2> WzL.b+)A~d"ĘE!R@FbG$fMBɂn<R{`Vf?AL{Cvt72NJ¸D56j#)9-Mp}_Jw9 D|{r(H)%d!q'=ݖ2H̖C_K3z Әe`_l9nں ^N*h@MGk % k Kq5)z,qQBfDIl|etƒZUj3:Gw %pWwaU40R74Ŝ.fУ#-搝ʅep췟.n Riz #:g]KC}‰q:eJJJBPDJ"B\1Ⱥ\Q$ek0:px CRd/$B+V:@}DXP@t(DaDM*Ϫ--zywGuj:r4\ǃNS޶iW2<x,p} y_?y2 *QJ~MolhG~.Y@8F'9s%e UkZjMmTfM4A|$1G aKV0k("I Drfȍϼ^Qdb'3~Wۃ5roo8 h á m̓MgzڗB)P^!XLˑJoɌuI ^b*) VDgolm e=/,\e` $`n =mlxќ[l >S-GH˫Σn"ꄕ:RQyEcrAw=Qb)ZS>Y+WH¾+ .G*I_Z ,P[GUxT=)ۺws9i֩)"L vpm<4FVDr$ﬞ&r!)[=P>2Z"~3%Z6=O,/5Z ~޼ڐ'&$UCVqahi_`̆| Js>Ifmu^L2*&X,`ְ p*\"#M0Le^mE'eɣ7eK֐bpw ?4[xc|2}5t6w=˹!o΁g+Yݯ)Eh6,C(hJW`3(W ^#ŏp/"+IMD p'!TadiH9/L KUƓ^(%O7K* Ѹbͼ2-fl)/E9>bAmв<Pf;>f y5Ś9hIc8P LU>D*| >3FT!m>iVԐs\0X $u-Ll} (KM8Prɸ4:}<IVΔu3QFM!$ I҆uCAةFB3N3eM$wߖtZUT1 kUVPElG<0M$[w}#KF[Mi 8J7u]ʦ[-I2_6]~29LƹI2na|fM ![!$J$EɘO&iTx68Ж=:-SweX\";p:0wH ! 7&#y11t[mU! QG+9SF%%ݳ [5]w['Yc_gPn`)ip$jn\¾@%@\$ju9 rT +QU. oOsb$/ pW,|r@ظ"w Ȣի7F{Sc3}}eyA!$הu5chlϷ=:R{!6ݭ(_7Q:QbTbx*%.M6㝑K2mJEer*i|h %~8FF'.Xr^ 9NpWm/G=4 w+^PmLδȪ%o͒AOvbHcn5 [eK^] eAn/ \\|x#t(}߄">h5Dڅ-f?Ucp8BBb2jɨadM#lѸL;NV3{PAIF[!PAČR$)aRDC7\VW+uhHoqviPqgqu~J*n\){7)ISyXo-Lo?(:-Fdt1`ƒvk@ڌ$̙i)Ξ-h-IrDf?7%v'PhrFOиP6vIN]-C/e/6i1 =dY?^ e+ޚ͏W pdFw R񂖾 !.l3R;cdP`krgS~24E8)Y/[%8u`MKuAϷ6[2i;ѦOȍҶhC&^SHz#F;!^ցM wFerr 3I<:}[RuGbWA J`!)gLN"Ċ:x>&>F^(Jc4w ﰖɴuiP9b PՊ-!l^>ok5c(.y"@M^MwwYS2vt}\X&Eulj&B:7׍0OaDZ竮t|ފYsC;{Z'ό1ҐA%ˏehi-TYwԑk 9GI{bݱ9k`IVȚ';%ޗчDzJԭ]z*Kn gufcբ/&9^j㹈G$amWsDT/+'4a[`-(1*_ŃU#"F-ǀ,} K`xƿO;1TWff7EJvr[3J9oy;)cd(:(jеŲ:wl7fj{i9\F2t o?_=5 { I~E*.4cmzFgG LN4:t0I ;,- } |%(|F1M\.Nu$lxk}8-q@V+%9B%)Ap: mD񴡛QBuX/X0t%Oq0J 'lBIwl*0~Y'~kͯy)jd66yV|,E4KL>b@bb,xV HhY\f_0+% `y8`Yù*{ز25s\|b1҂&Ji"͔_![5ccS|>< 04HSi܎ߖ? pb*zr7/ؑ%vj)\ww;?Ndt+7TerSR|u5G<I bNsz*Mˏg09r.MoV$M)2⥅`!KAr݁dO9wF[[#FYBMݍ u?ViDV6m]aO(+QR-hI&Dg/=PGڢAn 4Q, 5v]aMm+$hgBe[w[R1R~仑GvlK*{yiA70 {(kcpR4W2ocbZw5MY}G8 m[vvsɽ0UY]6ۤ]д&6pqP e7˧`|-#+S dB՚EX@"%sŸwWEI\ `A t8E_DZMO՟}: ;G)+\ ˂Ȅoj@gyP>`3guB9K*$ V֩   rD)hvLhJ VseK}L IC0zOM6vJG:Pv/43`!v).(]o]v:VkYO!RI+/¯}!>)Vq]v*7q ΋X@X,ja5^S}޵4 =uRźɛ[48!>2*y&ට k|lh%~u2SE2?AB j2csS69v$;l\ْGVkfETک/e]14Cǐ|OV,7K|=rGVg~ޝ.oUĐK; A 軜I iݯ2a jukZQn}AfPaٕT7;/(a,F,J\kAyx <2"qad=t{-H DIW7Z㔍SãDyS(|-)4rX"Sg/X@N0wڭDٓ+"ʶ!/HeDB3Me BndFd/F{D9tFxƓ(0KE$e1HȰ5tr+B1g(DPY _4g>͐5})[:(Sr p;C+)Ap$ml) Uyrڕ`돖A$NM.~<`~/*59)F t"F OxL7$^ SMDQtOtvNNuc\4(=i9ysZt9kSdDZHU$ԝEFFm診CRiI|I& z-U3+(o󝯬ni(Vd$9K`i~Q.mG3'&E[DyňR  pQ$x~rJܸIiR8o;.[7"^Yg@94ʧ&f2E(!_@kmbci1Is_P>=:RA*~bLٳ=%yK ll]L }reXiK7zʏؙakWc.<ܡ9? l\U_Lm ww/|#Wo,YM2JWԩL.zb*fiܹ(ײH7_#i 2 7!(A)xq eG kz/-ND8ag{z#Bnb S9/7_,]6OPX/PTR,2ъ+fPexQdTKԞPxzIgMa~vs>{mdW)8<&А殇C_$lCOQZ Ea߭ycSΜ+d8~d Dlo@ˌ|!ؕgTp;bBGGE{W'Ȯ(Y'0^c:Oж!N<b΁$1Ldygw\R" ;d_FjK]&3FCh4=N9D`-c5ML'͘:ogX 7qQ E(/8u^(?O#SZC q_S8\2G Fdx@ȕe4@ߢ]dڡc ,Cy. ܔS|Ȱe諩įLɝ^iWAl:}a&]OPi"u7fКx̹3cWp7 ZF2ji~ bEqnnYBۭ&x:5fcc>Ϗ(>՚QpV{ZwŐXV)&n|g# 26k|GcJ15Ҁ~lWnHl9^P;S 73 vn=~BLs=tbox >y&kצ?541f*uwY^s}h[Tvsr仢=իH ӳ܈(R3`ެ5ۿaoXͰƎ)S)Y{㭼9G&bl\;x )U1&B"+%_ȀR"Y4[sw~#4ws],%ci%sAWA,f, R-aރqJfK63v ~niH[]ș#We2m3w3X@ hz(#ޯD!N^u -~ɎWp.TwǿגH\AUv6ZvvNjbJ1Or+<^ӌ {kFv_ιQ";2y MXI݅y]S׿.+r(2$1!Rncņ|niFve=,8Qꈱ Nxj7_f؟Hz֒uVTVj9~w| AvƦh "okk;&Ahn̘Q!ˉUtm'^ 9|ul@Xa\vׄJ+c< ڇ߄Ytҙ,NWˇDkYgdy`pv,Rd(0zDa-{gG(維z/Y *8I*' pq"R{c%y0p]ȠZUW̃%w`Vp!19O&sw>c)<Ŏ?h^?T)-9ޢkOɾޖo84Pg@ojdvŀ@4ZvE  ."v@9T PMŖЫ+7ٶ_~.12WZS",<y@G߭> > w`elgi6Mr|=9ic%pRU{\1!K0m19H\x p;;k>b4ڱqW_A:WJ AI5f%g-ځ}; 24뿸ޚoCU?%ugZkQF\xTW/l1Dr^Nc 0 IU4ۤ7dv BnP"E?FBkTbK.ߗ 5#~0H_H?nW`K;-/K;|F1=mu>o Cz n45m'0p#|l3w`WGx5-5-y}41(>sB&ERs97^bɏ?\v*L_rs k_m:> VQèĜPwi=z&Q6G(0MIz,ݸJ5v;yMEI-EٕO ds<.da,XQ+uYTg+9A 5Aeĺ5! zF*|+ʥWbo`.41dl0<6t& $;(77K,@!NhU&9LM qלI_>4i@APhY3ʙ_U)$ȟ9Z2sIyQ*02Zʮ %JK&E秼 2u۩2,:N -RI,CߥKftxK3* 8avj)Y6 f!tV0 @)[46BCIP,&d S{-{$1M#@{nƺp1 wxꔖ0+wYXķ3ꝮYq/?0-!e( 0_&v?Vq^Gmg!2%0*?GqG9/^s;Xaʑ_h?n2xXv :P+[ma韷AtHݸPjgF2?R޹ɓ+i<:ۀ`tn86̋ SȷE[ Z|^DzB혙ɲ/اwEŎ 8Ի >7Gc*,jD]k]DK4"9Te!9=Xw/>M%.Mi#ĩ{y8G͡^Nv6k7HetcqGt%)x` `m<[=` Ulܬo?©Ku;҄X!|2CʫJT teOШˍg.ND'F_` QS>ڸYpDLu7c'@)%-”Fѧ|D_\=[%5AF)f.$Pqp|M2klMRl>6Z'SqR enչRH?'?"1v5p_I㊕h/5Fq@t>OtTW9d 4U5~j@ȶߡn*qBqAc, aD=hxd>MF4<WyrǓD&WIt$jł+'9q`")f+h}|?azM᩼ 6Аs؋s%<{'= [?QQ# UcZ0:vqt\#qP s%ÂӉ;&cU;`~L !Ƒ`t( Ь -j̯Eԡ1[!t4e0m-N%$}~UQa 'irmiQ 0A55&Ŏqos 9j:Z}1Qlx9j;б3^_ $! xyidM-6pQ3jMu2>Z}иeMPa06`X-`%䴽mLVG3h]γI$%9 /D62%x ">,u|2qd(EAIM #^o]tl[k7Q6'֥(H;7ʠ69S<<n` r0t`*?2}DX $ܞ1ul' 5a)ң-8_|BvυF.n~W;3z ;Ӊw筷)_V?RceLp#۞Bo&9mQQtͺN}r1W骵J@] S&@ ,A~ZMLOʨ8_*n-8q&UKxZ)Ճm* VlwDNwj]mH *.o?;3/z4 .H~P>0s5ֆ!G)ƱP}ZZhD$30"ճS6%Vǒ{^,& WVv~MaY ,g,D 0Y~o[ +KF6 a!̗dDp7!jH#~%Sr1f2g&\l[ޤݲ=,v:n ɤUzrY44U7~Yr5/҇0ij`Ġ:٤K!.Bp%B`\:e2mV]V9֣-ρߋf);V 8cYX$z'7î .,\"TR,y`=-iK^ֹ^3r%d  (tfp=A0=z#E'I7_&'<Č0HNuꖭ3R,`p+/D`Y`?I9Aw%ЏސJ^{g1"AyFap@ o8,}45Xv!5-!U${V` x0DcJA#Y`iΡzM+:F?\  &؛WٻƤK ~2|2]k1+rLwyH\0v$!A,-o>URbܜ%ixZJ$sw|~ *P"u"wXktH_1숼;.4J'Ba ;=Rs+CkxMRwp@B^\?;*Ю!&#D4.ZwvdA.QI4RݹѿcZEoSeKO_/)i#ޫ Lkc;! ?ga {q֢AzRZKv>Kap&er yc9e{#P6WqM== ZrrҮo+IT 9{QXVy77fU˙g.>z}@uUV11L)(>:O,?|aR(j=^n .Ы9ۂ![Uݦgċb _d 0un\6|(PNi.=onj&~hRuupK6a"_ b(% 0LbQwq%>v' } w9q=TSf4唿V^%C2]N9SaBʻ",\Jju͚$hZ'p27Vayv749&}֒f°Y Sl^"vVMJ2*_I%d ^6 5` #i֬QAN">Q^5p0Tw$ѵslL.kָ]ڵY;D [qvc]3y;CoJK>.@ԔMf{G &]ḁuI>z7'f{ŴA#} f(Z;;̍ иE^!B0Y*G|Zd+pa5+-7iOc T,=CߨWYR&_lNvWwM2\T.w֤AHLʯ@IaZa7gB}>qQcCModSK\6Wrvn$nND9'} Ps/DP!15Y&۸ @cyZ'JF1b.Cz<ʅ>ZS/ZSK"={4 Ie sؘgo+}Q{23r4!!tQ Wzw9R.]fYv:mcϹR+sĝ.m'CRoҼRf5DG.l22{JsmѺ_ \(7zP?Xł2/2M<DŽmiΪi9B.,Y.| X)0!\fQ ۆwMfA@2968X0 ob8,A}v_dӍ(a0%ҫ/(kߌD<'4^`sT7%gYx+"Ul I;dM#R:4pHDS4W]Q[e\Rcu +\hЁEverl \4A2ZNB1k]ɘʬkY55F,h}y>T-1[.>bGRPΊJ^t9SUp^P-|]CJOpM\j>k 8ע,UX#3BHuh<\+5ʈ[Iɵ|@ñ"| ^=yw8'F뱛i9@I'. p4`Ԑ竼*u5Ͷxfhv+K;I19Ә]rLvVKЖ8 7K!ѱAd"g.WUCәμ LB<չDr ۪ xRG'th_nEGƹށJz2ݟP7~6bis`M_xY7{@Bcc'Tǐ(b/bZJXط,CI .4r_Fi'LVi!7x#P &< R3}_|>{7ɠf7Zfr0JQ)\v;?L`.?=RcV5nliAPVhGЁlVh8yP,"?Q^R&Sdhu5OʖJJ׎`'4"6:x0}V 9F_m?c0.PY)B{hv/3Urq:+]ٜF@+\;;+:qTTCtB('8i(FYeݰfMR$>!ΒݦA%Nik Kiz$bw?F'n]eN+2A0>'X&,ų;B2n TneXkF.0o^ʹ)::0'1N.fdZ_ fЮG2lI(X `@_QAX =b.qU>F+51YSFn߮0,m‘QG,Yt_~kzⰓxmZ5\~r-IC\:: Z H%HGA_[Zg1x4ub-r0Vb 658)~5h(,:\?RaYYt2љPf:UXv uy8%tn ^1%H3](klծ $ j]ïk}uߓYΪc|S޸j\7g0E^ K05]I2^\qY: FsZ_H`iE(?H c"C&w(6Ly3l7{9CK&5B1f3PxO3hLU̽Kma]<]蝌:KwmFHrsZM>~XeQD;4VKu57 `!/鼠-:; ܂ f-eH/cw[YlWabg=ysӲ2M2Uw$Ӿj.>r;mG6b9se:J3KXw0]l*Y&SL5ǟ҈8qaypL7@PzP/G_Y`:}nLM2Zq YžG6u@>EDS5vv,(8$ߏ,8n Bҙ%rzt=ܙ$HLpxm7ѹ$/M%L *WKWZj8}*/f V_q! MkF*ڝEq{ldSh+fAZ.p)CI-zjʄz%fOaBJ3i7˽l[ 3Y* +AY3Uz^}yt&ρ_KF닏 bXFMZh/6GMrNG"vO1fr^?t쪭aS.7rn<հ`'i}x#Z㦽%9^+H_ Fb VQ_,Nu*|FqtĭLYz{ HI U <ܸߋ/K 51*Sae"NQ%񫐯hx3$ /}uD>b"{E3uojvcݝ%RMo~#^;$>4{ziZb>XnGNJvl5LUw+EDR±CD/ޣVZT,`V7Ʉux&᥵k 򝮒֣I|C-Tk^jlEAڢIA Wu l<֏I ڿYޚd?(Q#Ry@}]zBnmgtFgw)q vq%{u blA4vR_cghuԡ1uNJJ z'c5^R)RTD]vJH6ƽ[jh H̚"ho`gC&yrbrKIdfCrN;P~mL9-Bl5[֍#ؤ djd|,jI1)q? 'T#UªO[0EM?SrMtF\঻HBb͸=>:0% x q텝 -?SR ggX~Vž]r(p2*b>S30 6i07sSGY\܂@v\u vF|.PAANed/[jo%QY8~^?&X}dlen$)7*ڊrX 'ƒͧFe# Gvʌ $ qq`μr94. (ՙ Ave4(HTi[F\ @jquyY:+9swE3{|z")'Ɲ|BIhn_Tq7h ZIW%j;DvRX\mv؆6nV)]|RS6=P ҴϱUD&2oq1zb17oj x@y> 7&,ٸς8tj +'hÓ+^DS(R&́v3xQE5Ëqɠp"9!z~(oqX:O闘vzLMdn CUHNPK2踵bcr;H0d`Ws?W%"2LirɾѺɕnYZ^{Ig=mi1GдJ&X*iA_q:V:MQ i3ڥ.1; w#YsIaZG~l/FZV9ڨX]Φ+dخ|cߤokO3|ȂSӜV83~ȵ|8anM@1&}hX׎ ,8Л1}j>r7kCyslMݦAq=\PcyG8{KeDU".iSsdcȞKz\h\K#19MPs@ֱ rpcs| 4OVwܱyUL?lhE>M0v&a\?}0]F~r8B98 6Qp%,,.u<`Ȫ O:ɩ'~_DH R@@xdmWO9[5[1*9'g@.u08" 1œKl,dN݀=ZN_,(;YXu=N4BA"Xv>}g/4b1$Ju2ʫ 3<r0m-Ì[H3??[eLCݹa:C` ը WnoֈZ"Es ZGQ| H!g_RMNq*S`2%B^NÍL|aYoh c څi-16K]nYK4$>uyfgtcDu>ŷE>YK#ģ6v)N'/M}F'rX\`;z,Eڄ*0_zm`%N`3}c2H3 ?(Zkݚ `m 5ւ /ӊ36z=yx$/N}&{'HVAĥ(Tػ1X~F~hTE~f\4gfȤW򍾿x- 92"]ƥoF#xCj?R'pW""ղ({ +^o Mٳ-jz@^xՏ~ԅ  8ϒi)&&4e ~,&w9& _kow$NE崴QDJ-~ CX%Wp:8S?`AQ\6b$ufc]@`Ѩe:]}(.o\Qzs[%^)6쫀:~ |0I#z6<6EoЦQLѐ 56zo/CM@aei$Tuh`QL_N֠@zqWR_NhHպTDTPgp`61h cl'wcr/NRzHn!LyS> hiC{Z_Ww%7iD\"%^0-CMl@=1*_TP[=n+$R[IT`wbL8tElfncJT[LF?5ioW Ǖ&r5c>DaƘk&] qmI@us s~L# vd\ 6I+lGVgBkɦWf轙۰ PUw=Qoд`܀&$l 9#M\߬ Ú`]1 ZD.\Ste@~h0(|l/eɨH*ҹS#\O|hNl^MZP^81dAxxJ-tEݷg)3,'PE|nȳВ`1F"y6觤#~,cu!_=54/Z?2 (gkL)%lD\O達,؀!fsdD: ݮfPH>iBk r\HIԻ*ɋDgա_=d Mf;09H+\yʪtS/Љ&$Pp2\)1^۬А@Z9Qu%X/=EU֛Qy4b@_ F3/L!U)p$ѹM Yx`2\b[3U^s~1` HHsj-,' KXf!+up/_΃-ӽ]M(iWpڂa V1?߂kK NcVDBKhX<`6myr҆Nrr5P%W?b+~c_`jF1,U1ƑȿԔ"n {S=^!=Е$|[N%eˣNE =?Ċ3 [cǪ:7o!_j=z',XSdJ hHN."!j,){O>덳Hx/Ph'SLZ.]Lź{ {%]{x+Ij^Co:Rm34k&Dqg2OBK9QhG"h_'(iI: 7y8n\mwu.(5·|+^@WBl'IF‰P'T߸GM ؔ.襎۫I[HJN,~fQY#/p!ߥ1x5g>A,Bt5^ nfzw:lfQ=,>bjbU+.52 t+5*:F!Hi$BԚ fN}2Ȅ|msǏ.b`B D3r,jaH3|L &lRpnl OB~U,%Iͼ6.KygV~9%vvqRH=o]XtSIaA)U!"]Aى)|i9=D@ *iTPd݀E5yzvU Y{067w"lb(NhIؤF1]M(`G"e ZW: A۳NM1=:ݨO891]=4s_ fZͿqё<gjT#Fś YBz5]Y"3Ep2ܛ:/02ed8?qY݌x[Ӊ=hsYSn?|LUwvuq-IMUX `*e{徻4*Fu=@?pV?9PÖ\6-y)iU1-'&{8b:rR䙫sloXWPi{Lk*"t s &12qL㨢 9^b4 eL)VےCraF*Xu5&R'U2%Q1}E _\] Q*ϔUUj'}Vh2A$|TxH㭲GZ oPIKDG0+ϚyC%|}<.6Ct8\0֏!TH"ˎ&om%~lZ {/t8#!]X#!1i,JHnI|cHf>#$RWJbk:IJO wDГi|0]ɼR-\.E)(3_B7>y˄) tŏl59ڌ6E w3J? 3Hoyݏa8{p5)dEZy(goIY!۳cͬ}/\I w*^HAe;;#:{xH(ӌN$9zF0fon 9X nM@]W{>+qPY]P1ECʶjtÝ)~^C r4,0% p