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 NN 5tT ]S HOL-Nominal-Examples:threads=4elapsed=390.078cpu=1390.472gc=86.400factor=3.567zXZִF! ı!1]ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$Aԉ W$: aKS%u+^8x{͙Cw4 9J-|?')2xR$ ~W2X'-,EW0yTL082DaT<˓wޕ :'WjFg~Bd;'ĕLVe.Rx1e`!):&Gwk?hU&~DT9~A:mcEͦ5, %rrwV,2 Ps^f3m1pE=!-[(}K-R*PvB\ kͲZ\#5ȮLBs/|ʿ(;CfS 'BbTϣ*bgv}b?xi`Sr??Rڪpp@?"y뚢v3N1_᫹ȬH0]'P_[Ru4U)/לL*xb*'E _!-X_w?zeMdn5(i,7l69M R=mIaf"%SGM/}/[8 S `V_]{ RhvX6@UP6Rt/LjL~ػ<C ጥMKC@wpLq֑%aN'ho%{+( 4U^]t.5#֍gc; >HapD|^E.VQ|&ЃvVwjA n*=PẌ́E3 ݠA$cϽXI*jYѧUעߍ\ OIawg.Hߴ#JxS<>S$ wiW8eT c aU[)" \O,0ҵ&*D[@EOn: MQ~8H'>a(lہvƲAY3ߓHP碫~9xz?u ҽWgB~:ixԴiI۶WcА%KT@M*] bd^k%df,}ӹPd_"Ƭ=P[oZ.%֦B][f<<ot6S>:.oc1?qR{kZ&[\yL$m,H'k>;P\0Ӂ"Ea3NrJJw[\C1diŒ,hT]]JIan֑[Ft &ZRA8Jt݃<+ݞqjDŲ4nQt!.G /AxTz H򎆙UQlВϢ*CHFOSQ&Ȳ҄bAoe׮upRop?>bǛQk9fTHH`?" NFk\gEC/DsA7Ɛ<.QuJ#n,{5rYZ&ٕJU.PVuͼԭcϸ%(J_`fGǝI''F>#N0!sSDY1@?"rbwH] H/NZ>o>Ui.E;8" n]^w} ơ]R];^4өIo]>yt!*zs<.:Q@HA][Mqۭ(-|z,h1SLpm2z34Ad@m(4FXjsPO]ĄCZӾBݛtSDp kE0!N.kci2@ XTas9!OvYeuT`>jʣ`>UA:ϩ( xOĵssQn-̓< %q_Wt76>KubwCP|^Tx-Z;r``o8ȝPRak|6ZG-Jp;<ݫ E`=\rFu MpX3@T:ޣH.\E2oL)JuflVL)Nj{6;=Ɖs8փ.Z8`DX?)΍ȑA|q܈]v#;7#o =|-Tz:T+3lR~y>p#ɼ {7_jnxSxPejmwb#πʷd $G Z|?l Q4ƴsg4Zi? ۰o-'2{&-Mpɻ`%!:j|y՜lx)vBkA9 lEvQ.NK`63y'Y)1<|jvVDvOᾮ g 7?-bY1DuȮE͐? s5lxq"on M Y#Ȫ) xՔ(`Ǜv,md|{-X]~} S9@cjg}JlD~>O>6(ϙ=`Y;W3:\*&N4 ,7A4<:B`؅nt'`٢SA*a9_Z>vU9 BLOQ:iVM}yc gV73פ x,tOziXj5+@1+G,ۋ&Z2 5߰rp~ YzZ1zɭq"KQ uG¤*obf[X|x2[zG^+-|yG+@!RUQXS$/ [Ց삥0$2'YGIb5v6ǎaeac Xn 8=)bMoLJ]&"tZAQ01_4X> ]4˂IMVH-:6[f[HQ˧7NJ@XwsY}U@<ېMJlW]r t0$i vlII f[v&\0][8"hk #B GoM^= r7±{iRޯ&ܪyA9Zof?X#A hY$7Z1IUP;}QD1e]A^nIX0ڦ[UŅA]ؑgu?N.\:݄t:ĕ[iS+SeKOx7WӑTRNhS%ĵuyXWzCu%Ęcdo(~_I%Z 5Ql]Vx=>mޞ)Z)> pӇ))ћ ' {zlj܂o7~jhgE݌?Ct:ԍdٙ %9+?47ZYxy!3Wi} gDu}ئFaή9~ ++NO^ҕA3`M3 9a <4Rg.K hى 0%^!y;JIm ףBUtYWc!R~K9nmcڷ OU; ?+b_!o61ŝ ::VVQ3XM=⑩ѐ+1W ޵X2aHw3wIѫ4l#9ɲsM[np%fwW, zW9@ ޞƟmGX8|g}y5['ILLo 8^9s=cPfJŘ? @AEtdi IҙvV=#+7cxDs&k-Uv`>?n:tJ'H^u̱7Qқ:8~Tq;;aE܊[g1E,|"gz- KTcAv̈曂'"~zEBs`qDDՂdmwH%)k(:$7ye:^EWuBGZgYZ7zXZִF! v#]ŗXiɟ1ʹ l93攀Lx3 ?= jo@P}3A\jȂ" Eqkbd 7gV%?е>[aCD^rgæ*=zy)NH\_=@szDkt# h`NP+!&^D8](P{KJ"L7wicUBfw=uX3DQHe)(NmM8 ۷ůa-B 8MT,.;QI+3AJAI[NuHBas@ XȝU8ސ:4 9J73迶8tJ.yKNwLAIK 7 GM&QbDn,Fg:5$M# bz[FiOzG.N=bR*ـU%#%2xOoL.pt@2{hy*F/f̱gYZ7zXZִF! Di<]ŗXi%ES3;IY=g1)Y 8mz 9᛽2|R"uS=92JԔJG8v uSɊ"-!F݀qp|_A/@ "I`R=jJ:!&CmRLJ>-SNe|=:z9cޓˋ4{0H_ ڪy!C$ _|ڀGEF j$(¡ljJyCd~f}yooHbsb AͨJ&ݷ3|ix,N;FK\Y+d)64 ] y#z$TpB6* ^I.F)6d',Eqmfr 2bW~GWY Jsv3<;՞ ^L%<TH[PsyMzw7ģMRJ*] P<[Pq?jK Ẁܿyo%faz~5;7[ rfԠ>6 a``- rL'U"mn1)pŌ0ˆ/u]#^˽c]xj(Ғ!25{BΝa. *p-dZա^rܫ%]Da)3+yRE ̔ ^9. ~ry0?N!oqzA˅2mgy՛%k H ̽Aܫaɤ+hМm1h$mPT/ͯވaт[ٷ`H_͋OzEe%|PӋŋ5y'fʍ:٤0 #D'3{5}PQm$g{mm$e&Խh6޵ë',hXNL;Hha MdK^7͌QKmxOkzuR KջIeW*K`}:Jsl԰F]WI‚ -@뢋@25`{'D2YT ҡ)Z' Sϻg(y?2)Nlf ѿʌWȳXcvSvck9IPV֣A jΛ-֠ʜ0EJ bsV*[ܴ͞vSғU{>C/Pu޵+Pl\φ1'\mQ[,W 櫑*], f?g0ʐTVšMfk}ӯFTg)Ny-|ĴQ&@zUc pn+"+?R$K#$j]<=,齹nZEؖt6:g۩Ѣ[MU+CtKDGi_^*wbL7YİaMxϝѦQT _p*̿(~ b4 ߸k*9 ZL##h$D >b*xR[P,PoJN~ݏ̨O)lC ޾5U@}},|#G AA0s A]lY_ 5/&y\œVza_Z<Ϝ,faY(" =ի,G+DJmr>)pעQKA~iSಿR:@є>]04螀yOȇ͔N]'EF~Xp嘈FDn6xz~9{ l J f[s-djLk/?B { d?WcB kJ 6{gV=gw|i]x'7TI7U42艜(wzEA G*Ӱމ-r~KovY "Kqײ0qj0Չ|gTl8SMN>/XJhZu)D~:ys5ڳ'5^L>IoV0XN bpw;SDKÛ~)QS ͏ jvzP{o]z -MIRPAϦ]naRg-{r=!7Lr5j@%mkA)Xʕ:KH|ѷ4x:7դ7!=H$G𿒗ek-l]uaiڀGh֐s8⨣Vя]-IFɦ񑕖t<[8swCHg'S+D׃Z :mY@AUMjBv mBta:0=)j].f 8gtmd yV&xdO Bi˛ÌC&0_5{|RO*3s68<O uz'9̾TB⤀J ưN|5C{֣T}шgR)zፄ 8γhoO:ѕvWא߁Sfe+n_0cT|c x@^^tDt{:߽N XqkM-OMf5LBwA֝z`PttFH:8ߋgVȘejȅU h˩|r'j="I5 fi^]0;M ӐL~\a! |xI!Mo^f!HF qR;*U$4ň‹ 5]] w.qMbFVh`_:[dۋ!J+mX20KൈQ[%,W\;(h ܞHq:)k*U}s~撺{ވbTf'hnܧ<;)՛ZPuށ̆Jx[&̶ž*Z++)t 9VC;jTȨt l)+xeG$zؘVP3{aM g=;ZQ'3 $ ]}"|we]$nu6&rE>󌁺_(F{ .!3)P#W"r3+qG m4]Z@.ƸHYp{,}əZF?8m4,2O?ٔs`ܯPle /1qe"Nus\"BwƘq z_*U@9sDkPUJԡvHF>ASI ˟ܡ2w~NZ$65?x@?RRkgՓ@ĐT\zbuj\Hᱥ:=)sub:uVe}'=Yd^;wfwb3A),Ha[ RG@ڜSЍmёcs`T&-kL;4ks#r*t"$TnaXe #BIZٙ  aV6g#1r "qQ/ H/xE\U*!z5ރaO3װfzIl#f"V*nK]H< F09pҭNd < k2w.)a2w0"rҸ4DBp&"ofN$@p!O i V#:T@7>GAcNN b`$.IbLZD_3Dz`I{`#2'Mu=FAu|f7pkVYu&irX xG :N ~7{(RSjBmz/Kg(9 'nۖv±) 8s9–BQOi 0g8L" 1yŠd!4M[uCM9HЏTг=u4; Ua.YS.|=ݘLm Ma"}v>9;mu\ZGg:rȤs@|@DS[*^J3bw) ?*>èv?t 6yg,qgC Ƕ bƅy,FZ(fm󵍦`^CF׋Sc;=r2fUH[C&dL(6D o;1P"e*3s8,ǡǸma(*o[#XGJ)0QqȎ܊r3tPBrliTL~2EN*FTM{C3W0fuDC –G FpVN`zTg#! `P9\DWHQ~дb^Qg|ި3BK4x+~YUհT8oI@¦LE*l1$o+mO/'[͔~Я#Dd|FD2TqOqſJdH#:/`8 . 2$ o;Xm M B~m WGow4d>0/HQc9hB3h<J}rΦ$jϦ #tOѱzlu:Yua=Q; a@X$ *Cv:d욏| *l#W2U+i/Wiɜ Jǘ2֕l M!\'FQrKtRsMet)ȷhk>7{f)/.bY>zWe Y<[~,fF)؀Э7w4:}_ӓQKXfdY1صxScbth|<՜/`&ٵՎ~ nά[Kx=atPSPkYLKpx/F )s}DRӥ@xbxrk7u5wszOx5q|T\]Yi_5qly)܄*:Y-"&o>5ӿ-Ħ(Qa&+Uxofe];L˧Aye8:n`jFi 5 즚qۊFnRrǵԒiPK#t\<,=7ƻ k1p] ;D'(nkIehrYLºx!T?MD1o=͵i_vJ.#y荽 ELԘqJ\xei*[Ӻz5"E6y +rcT 搭Cݨ$kF}hhsj/ʒ.ٞ*Es %^Jq_,7+f  VBDݸ׋(bER'omvvw T5N</ dXn14 v溢V^^TO4{&khHIZ:+~^ e.O^$(V fݱ(PHȏ)X)OEڶzƗPB0_5%/ BTh)SNJى{͍?.׺B>C$-9] >oA" ƭ@Q];؆cCɅIWF0<*\z1I4ۋ`>\79s x א9ZW5ӝ^Xǁ0k3kʻ3s]ʫ7.댭kM? %߆,T[߀3?L #ԝ.BX{~:j// MiKHTS+N5njc:^c0H;"7O/2 .h}~qA7wrIS/osvE' Ŀ* Q9N!pH 5[>E9=G88r\ n7a .a,s)urMT>kSA(Nm@" ޵IYrDcǗBvz}a[{#tEQ!fyCh"Mi z)~ ~9rG)b#;~Ip\FjKQ=*N|˅m'JbGm ͬgTqD48ohqZh_tè|# Zes?c d)]xEu 黃/yyE;<ͅ:˘șQ!>""3YȊO)!éQ.0a@(Kw.%,3»Z8nr"4ڙ bH/YZ'`๽xף.Hs~ghabm.BoEH.tUTZYjy]#?"PW}-OvT;y!b9uZX9S.v)4WhF%mKڙ3AX<]MfmYd->]\]QUc򉥋aY:LvVc| PU5ӼtT֭V-^"L.AsqLce+$rq ȁC^Ѻ04 텂 ~LX0AXfiA)2X'MRrZI!N՚4Aeێ_#A|WׇqWwG4|=0HsÈYT*|}OzM#XϏdjEѸQ ,E@zt jv$\πw,7i/5$-GM`i?K99~Bӡ7i7[n Ս-#69`sQ o1F`[Q&C Thςp[vZ6 :&&?UsE1˜|:)%¤nbܻkLZ#o6!EGij"g o)1l`@ۧVX| XN%)E-@ǔ]35y?ЛEn5f+ 祳ixp0U&8!оsן]<Ҵbk9,SjeRA5V wɟ9Q 12bN۾[eH1`Sr-`]FTCzJi٬m~ҖSLPt4aW4ʃ `jpd\,8 i]j~Ug$P/$7 *Ӆj s) 2_^N{HI[mnu=11_yP-Jc+~Q+۱DAԬaT+ŵ=}oI屶0yNJVkF8֋^$_S(4+ |kp—] &zƠ[ד#g R##wm Y{Qp\=2;g>_hQovQmhwk"wFP[",zn Gk٭Gz֗ScAA)3%~P tčxH>'g_?VƵ/;@4b 4  ݗWes#ꢱVs" S|vVW 81Nq %9ztuE:E{23(ØF.m5԰0U]=tCPo\l&B[B'X0 @mq,Nɱ V/>x@)/fw|SO[0>Iϒc)z ;> )5e.$|ihp.g#M9jBiC7PwQ,_hC$.Q"⇐6U]D WMzdROHA+:<`Uvו2?sscM4ZW=itzK\"z/zYdЅpE/-=}/dg '7К$%Cv˔ eB\A3/LO!; ,¹akX>P,l>+p؄AiX_;HNCnI[Բ+8\O3y:ϭg!L逵`NeU T&T=-ݸcv"icN/ |,3) ե0xJS.DSǧn\ďB5~$Η)|/&j&_״n7oZ;=xRz\(8M%fҾ ;?(gp1䗃i_IX YIpEIM\!П+ f8yi;U1X1^0U~Lg#fK>,BOCZy_TZ [!{45 L =TW:.h;~p]MGe7օ& bV_RqEY{spL~ZX;CSBc EZ)_\҇`?dTx p [Dzb~Q!)k^WY^hVN *.[D%J8 ^Ja?妻*R%F u JFj-zEuPŊ"ʚt3 *o )UZ9${ ?ME/c[/DYy;3=)< CȬG2hPmXլ8f]p5L`;qgU.l*M^_Aj АtotIZVD:~NmU%6fL7wc,#{TdFb?/} c:jn}NKGBк+KjT;.gp}dQ/%QSMUt~-<fBU^$ᖚ$x=:a5oZ{M#-[x^{].+%$&rE)QXPz3ĠtOUh~cЙ$=D5N앶$+?u+Zh E{^ܩI,.6c!]l8JDpkݗbM%e ^Cj;A҅!щE.~Zh5X@Z{nlzV.SElMsbl؊7Oy+CͿ_l?^~~]HYT=3J .NJ1ڈ2do׫ЦAJk3gc Pa'Rll6kU%gv#ۗxOާ^!zb@L np7vYԐ*z-:i&L ξPomLhqm?{rML4̠ FL$_Gdfڶ+e?o( ٗ/[O`.ʝoD`^ǾyƱsRhDpilK6]R9 $jdMTW|^]N[.#ciC}3+1'5 (ā9ߒV2.]9=O/$4-[;/З[6 j>qD6 -E7(E^oRq==.~sYƭ2fcs@25GsPh92GYP]iT8VbMG"AD,ǙXcq=Nݺ`vݤ)sc@ Y ܄˻7H&*u_UGRpF];WEo,'ȚW!j+*gjeʌH&cr-3uotot+ tۻG'hQʘ1SrO27(CZG0</ZV7cYUz4]qqk@| b/OᾪSXv4:U*dA"Kwޛ_"`Je141NqXyۋw{paB[(ܭct+ Ehꇎ =N16Gl9m3~Tab plQGÏ tءv,_*nQEinl[q#[50f/3W*ĜKrJfc&{?н鸞Oc.ĀQkݜw{XM+Bp jŽwY|}O݄v;g'jY折Gi tspʏݾe :{3=k>c@'*Pۈ<3 Liq7zS`|`SxYjy0c-]$ĨQf磕H &gb\hpؿcJc`M(g5Ny ]'cq9X: o+"6@uAWjGlMʷhKYYDZ$hY>@w_ŝ 0)PQ>yAbRIooD"3Qf3-p)mxJS4}:˸"o~ZD%_QY8yY$Q#0RkR); +{^z$~]˻/32b nNe7InwS}bMY-U6-zzÍAcɲpƆy*ߧy mEYt[LϓUK'z"Εz+%ռ$n O\ndݫT.&foj5v$< WsHCj>+gF"jAA59]=".;(+KRNJk[eG\Sn"A;5$mM|s԰@0'm$n̆P'tÒ˺` m[= v:_Z͠Bpn8#T5[!t0-6tNOb.mE}|x#P" ǀX+PH_ b8#&ݟ`'mFm:KCϕeM0YZ[󭇞8LJ8: '8PK ~ޚnݛ_xпE1Qͯ}/Lձ}̫ʌ#å&IO҉?<2g@u%aLڔ[_I wd5.\tn-ӊX Djd|(`M҈K6m /"r͉.c%$\YVFv.hVcF +9!lpVR%m?T_JrgiW"HttGi~tqsV4z!Whi3}i wv9;fNkÏ{F:+c~장 57E-Qb: c/i$L(,?V}Y{ة4XAiSȑXπ>,t1&+BpO}N澔@Q7Vh">X՞o`^;*+[?Fj)[u/KfD3dV LY@߷ i?^"oO[]i!FB'^4P`iZ .H4ӡ8O$7+Pm$({bTz`12P{0fŒ WDSP<@΋ 95n<3($d斢IހP4$Kہ6v e++9YUM$f8l!5ծ&sEl`w&A[ Կ2g{%BYLlx$ ܎ PFY2F]( ]2>ID\*xVE>&KqAJž7M.Vny*L͹~2iGz/Ī_nyVh(sM֒"ud fvS9au!?xF#lm1 ֝8-q╳c5LZVNzl F]y&fiEroB-@T@X40Cc OS%tx%װ.`,W5cYG +˓~ # |l"^.ZD24J"̈&C ' aFp{K[2A&Ԅ#'hJҟl"bZb*w6ҙه)X\4Ի>n/ߦC`"IBw;%lPbK2~ݬT$W߲5N.$q9W@ՏI:{ktEDK;tX_h+}tD2(b)]--"6|Rf8W&}0\ WeI|pu\myrpIT۽Vus:Je KC@t9O`YʒYni~Y\`jp;dWs=f K&E(-.L#؉Eү#C S>$-:+-i)6|Ԧd@i=0 v ]_?\1K\(` ߗvBZ}m9ol5s:b{FCA#VQ~mA{'^E뫄*H2[)PXSܪf!(1![\T=(yK-@K3}= WG}zcb @Kޯ8p GBR;l%5afXO$, rr8dJux6Rѫ0 |^ckpք݄^Ђ7R[\^yD |wLY=a%Ԙ@QN!U͐6Ī,ݣ|Rsdċ䞐$R cY;¼09e"G뱊?qOqpcEҳpFy\܂@Gc \}Bok#MYu۶!Ǐ؝_7UǒԼ0&W ߘLi?fU>$ފAWБ r67AjFaLK#QT +Xv=Y=HbZClY䥃/;i 9"\MrMߚbK-_)FqIH~r}GY3 (V$'}4 pHvdΙ~ji4r~&>ģCH`hq\ohZUWs Y7w6TKJӈr{+- n$885+cm?˃\\:kE_kc5y*BH{a~w(>ړ=xtZJXo!Vz!f^;Vz;\; 8C$L&s םܚFՑP +pH'_-S>GָYQ"ޏOb{ŕ_sV?[6s:V o-/b7%M~u9g( hF7&z_*8'JQ`D6w~*D u2:'W Qǣf>y,B*8'mh2hU+SE7 eDmʃճ0C #L>iT~"7P?>מwF_Wk愒xҒBP+_VYF#8Elίz{6?eG]Ek䨞ޅ;饱߯cQ+c)(d1c&<ⳭG0׺4]e< 7PuEЯff$5nQ?NN^UDRN)R-5L ^dhG4Tw0 !Q!ܠi~殭hqlw(:#l hc:+v꼇&R)9+} !V`z +|x"ODuXp/10R^⫳dJ`xo3r$BS6ߋSꇬЙm)K`Fj"y](ӡx4Q==ҼK"E2813D0o@K Ąꄥj{kV0f3bQ.uny;B.upؗ' yDS#_D$vH82"FqW 5>Jz8X-n-J"Q^Dr:qn&^ztVo^I qVvhaJi;xKG#NݤhZٕ8ba-HGV钤߯|xW;;e7#4(gPRWlI3 `*.OasZOCo=a}+ _ z}$gwEsY8;Q<9Gf_x@Dݢ]?4'ߑ_&4ى<()E3+E·VM/P+ɚMU$Ww/Ȏ=+.i:w񁧄'ord±EW,h JHr;z%Rc3'/ m-:Y=-xxV?~;b(})"[BH]5׾(ViĹAWJ.{G29c4G;U)9s%8) NGQpn*NO=#S6kLmbA -ƃj7رG!:RNkT4yObDkz< @/``*Xpdxg|`s+POОGGRgk$u3wIcd.+I jN_)Mw2maI +CWZiH/%:VN d~֔>gg F[æm~(1= ,W'c7|kNǮѝw/}6lV!g/2^jAm{ćLvO{p<xGž00~zJ@yW[i:l1{[ԟc6LAr4,W)ѩ3D<SjNHqG?po1M [S=+qAO,Qls;[x6 ,aoœXpQ/8mw<C4EÆӟ&G#[stlb`qi[Q8hjWg6bDef9Z?fyjf%F*xԧBrW`Cx=p7_un?4KJ?̱W!f7M)h8;vCƏCh/v vZAR0zݦ1).N5*bYKvD[ +U4 N?)ٞX@XBkz((^Lٻ]]}3~1qXtr3;1[^DK8G i@/{*Uz 4@?VSip[!5Sql"L&@̞C$:^tz}'+n.Clx@'7԰w.=3 S"adfpUV3ӱ Y $PRf |AzxFB匲4(sC)1+ S$*0D "nbAX9$ߦ3.U*'9 JTѢh: nf÷y 㬽 DA{Дf9%'vV>eƅ leD a~rP +oc6bN-70H99Ym{cz E HB/OҠ8j˝mH.c+ۿyr% c0]_>$<5Y#~̇GfJ"̕]BO! H.ߟ8ؕ:Nׯ$E*;gQ5+2*qKTra8^*V:߿=<֩Fҡba?rR5Jc8j&s LĄU4@nԄ -:i =1YZGt"Eꦉlyk^-sgsZ0/OQ}+Q)7ukyVRxCٍi\䗻b (i{dkSʳ6LO:7 3]?7ai1*\W0|)Eߩgg4+t1v6Uޓ%g( Wm+@#AW:XA*&le(IV5y NHV;]}Tvf2Hl b2ؕ‘uJ߷ţK#W#b_^!vuU[^/הz7sT\Z𑿍kƧ+ zXu\,SZx(kFM} X#iFYn:މ$Bvu}i190~ {jTk;2KU2FeM&.Vo> !T_tޙ˳:šV ާGcl&'aJA6GY f,_-\sUDM4Y$ij+Bm/- !(š| >`[I(؎.XƶVAzwٝ@X}ws#t\hK[O]Ӈߺʕ{)k*a7b)/"FGJ$`@̫v-^I%z#lG(+Fٺ :!8v:W\]#!S*P־ጂ?mYǖa8#~﫵Mipf̼(+|iKȌ4{в ukQԗI뵩W!|EK; ؔ9ukJcwk-vK!)XEOtr3fD+v`{i鷯`pkڗsC/]0a)B.+O^kŢݼK=t8{Y]'zqܻ(eyz }:+ck6B_hT9Vbb!k3Ե_S@?@3L~}=) 5Rw_ orqW'JǾ Ӆ( [:BwِvćCJ V/ i{ Fb'HeZM&~8/{(7 iՎPaP@<v!sgo^0K2| 9hnrpoԂSt򩪄:=ƶAup~}G!NN{zAZVߋؼÌ*OA GLB8&_1 x7s&_(s-gY-US[ Wxe',Tċ0a12JCl$5CzDݝ' i%ko:~\j~# i*0`E)hd=Q!azCdղVDe{/Q;YBA|TxZB-:؀eF$-d* ]`{: H%J ǝě;U^'H謦vR/N+HZ|BVv1q~r73[y|vB-u6)zAQrPoHXY@Qmw{sb{{9wGɪFD?ؾԿZO_u! IyLdž ?( Nl^ Ggŷj^2GO? 1y%| * X"wy{OX)ZFuk3 T-bW痑#_év∾ iq! q xת~)pkrgĭbkO>Cm[a2ݵkR겸rB8"{m'j\ p#"LhsȚ8d)5": Pٺu#pF8OԊYe^rVsJV왱\{ήLXSړỸ% 1+L-!Ҏ]2" }toQt2瞦Z@ގ3tI~D$ޜ=[809*{cg{2Yacy)]4aGU.rY@v?>VMm1~R i0]t;-I+2U{94 A0{Q-SAzcĦixl!y8e/Or8͸[vܠ^|=d6v0q] 5"Y0:O0,iJǽQ\/J񢋌Qռ\#[).uǗ>eRO5&쑽Bt&˄U!\N6Le\V嶹\7'U}a6a! o k1]j q,/}N,<ZL+ƯdHɱh _tN/ʏݘZlW-1 cMjdct7@OjemlyoeCvؙ :0 r1>^.c\Z]JzS_Q۵YG.zmG8:ClTEmxd5 S?I]} ǝ|,+lVHIEqAr[L[ZŌ7~ӂ'7x#=/t> M͒& ZE6F9?MR_y5RcD74 ^ɘcm9??\b>VQMl)^_ā? *C)IꦄWZ:V?ѐՋMI#1}}هH!sBĭ6 pg Dx절Ji+x/P[wwԧ8(е. x=BN - LQQ,?6(/CCJ@Ҙ`rPv\6uD'͏;*r u 5_I& E<2+C3}z ݄ͮ1k4bkίޱ"rU~ ]5Y:fO&H=<+'.MP}2t[-k4?H؋y]S+0Y!$OI"`HQh6Xw9>Yde-3eOc2vvޖu{5>n>'ud:+҇UExj7fDS]@sMGh*󆗢;p½y/]!y%`u6z