SQLite format 3@  .;  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  H-\ t ]I Perron_Frobenius:threads=4elapsed=255.304cpu=877.592gc=40.048factor=3.447zXZִF! ,&]ŗXf1-q恈'+]&e}0mz_oԏ 0 I4܆F2 3}|gυ\Bk ͏bg*7S O5QDNȟN u7&>dLVpy^;(aU6R==lî$t#^s'l zA&/O D][ž܈O7Rܡ3#8z_o1R5M+D KtM_x&}g"zb2mk%7:l41m oް؛uR2%dBSH)RaCNF5*BF*U v,폈?&ݐY|1":PЃ=pvW&y0{2^P:!:J`RNn>)r o,7P6Mp=A[2. v*0^¦57-G{>-]peS[=u7Xy3J +r)B>Q> x{܊ox$Xۼ{UKC>Z Ͷ=o{lmMոMFȡ)*hBI\SWLu,G'?oy 0o'haG{q^89O8^F E5'T[zNSjٛ\ʥ0:^xx9.x+f~UsJlj~> kc7HGAB8} [Gl / PׇbgI-1Jeg c?ϊ+ 2S}4͜Q_u(jx:o36M7O: rvmU#^+`j-'i⺌Z]Wn{ݗ{ Sy:n-JP9ۊhAtup*6~(fnޞ.KKH<~+ Q Shc̊M׏|5!iy|٘:Idά}f5FOqGn^Q/wӄ!gS2OUL[Ԭk5kОH7Jz\f*ܽCx:t X5Zf!!Hߜ@S7hd ȼ(s[Jk߅VA=5eyJ|+:$2uXØDVx#\9).H'`{4A 4_ SOV]`rn"囚֏M1F&Z$/0>!Mgyᇯ: 阄JEv*nʬ|+o7V~ZZVܜ۹~x]vF{E}D[U>I:CMm~ƒ4ǿ ^ϻHTQ~&*:+ݩOnPqlܹ2$rIώw)uLfƐk'<76i9s<֐]TO/niM } D&j,k^bRB Vb*HV䗧ꃧ%}jGs(q2IYTS[b3Ɯ"A>&pӷ["SjJ~ihn;Z33nO ;`ze/)CCtxE(u0Zv VADFMIC3 , ANY?jFũڊJDkOB1VVSt2GRIɷ? Z^޸(nE{üH9H%3Z>#^?j7ywob*i=DB[VEY(Et#bύ;Y#`@0g{ '_qlM|l])87#5?rMB炻'2N*e9QA  xחj[4AHEF :"#fWt'Ĩj6j9oJrm_sL-Fㆃ͐Dfnӑ238G/Ex -k]}w UlbX,yYR:*a1'"/Srp5R.`W>I'_֩{gVLd}N({m՜(=T|"t\ qɳ]=x'Znߴ|74?G]P@u0@8]@*dėI6fșOT$W@o6<`?^ƚePaK^fg@d "3(* khC'wx _ڣ}5c3bdʥ|+ [,lV0Vx׿d$X|^n`H,cx羷Hc2-&K-3 **B:c$s8V/՝1.~]dz՝E.U"7~UE2&N):(#_kkWriwn)(09d]H^߀d(]hB1=}bּaL!GU7W}Wg>ܚ~oa2K`3Qre'┯/Ql!?Q_]4ȗf4ke~)^@jĭ0ZG6{U/h|$X/jL}W:z<.scQzJW2;XѮ5p,.Ծ f|b[Q&F%Gvq ĉ/Q EB]&3P]"˝ ֘}Yg TI>6CHm]< #+b[WR'"zZR?̘Y'֫GE_3RQ sD?5k/5d.#Ы5JnK_Hw bfIKN3EYX*OS}PXe$CuŕݺabC9x[Eh1E4d羅808ǖIO_IEƴH,vOpxoN's?§JœLA. ;L8Kʶ vݮFMT?]^|ۚ%k M0.'R#kD*WvƇ@_RÀ(sS<qP#!/jn@s%0p[1eu &r F_j۰$4 I_a7B i֒iԎ[l^)rsQ)K!"+喈BϭB}0EyʹBF7*Y"F m/!=XEojVc*!^>];鋠^wcn]쐣Jcor咕nPBNg. =!mJvHBD̃3r,dzsQMEk 5 FvdL3 frwy;70|.Sa֖-RPZlr/4P & z7 2:23*7vubP?;Icά/t,yTEm|Ib:|fsB拏5,EjCXAl7!U.6drNTYu"| Th#CА̀~@ ?Iٯt굚@*pA["5M1fFPkX0&g8#AJCxMлi[!p ^T&4偣i?׿-,|2rЌ#~@*+ |4[%ٕMnWLrSđ.ɒVP4!8d0b"Ƶyv#mj@h8HWT/`@ZϻgNM*ȩ G7Ec&91:F]'V2@*k6 u# P xHvz׺ŲLp%g]z6:A$ɰj{M&ܧe٥31)[9u߿t^z" 2ծ۶t%[)y#4.kӫj"Dx1'ݢڛ*~S}!JCXCAm癨gѻc:SFf WߞB5y- S)E:]}w@ DcT }Oa=$ T ~xS+(]l1g)Q`qKp>ǚoz3|UC0w|8m+de #IQXkRJ8P }* tFjVStaԉS7vlD H>ASOୣ2e E ZrtY>FڈO{b^w0%+`9F6S_hyb-(iYuClO>7lVma}H7M *څB@(Zd+~!DdO 49 iΨBW]m@0O:{oz/9&} x"dxM$䶅ɠJ.9 fQ&ѫcnڸaHdxZ\ Zh PZkAL!}&=\1E<\)( dJJZ+ pApT;AB&6 /!KC:m1rkF&FS&C9'ʪ%QJ弊g:4{t3pG_+I*fəY}ԍJ|M/C<1Jƃs_ xZ嫅e|J bJP#ҵ]6# ;0뿥<ռ^d;I8xmPh:gh3ɝZ  !>ߵwWbTnk!Jށ!SҋHF/l6g4NJg~\YAsҬ6.TNEV$wEJJV '̄~[ÈfvZ}aH;Ay;mY3e&L./5cRΐob,6i%1C 93v(ibQSvڞT붰^uN[~Ys}s4@.8tKq)8si7e/Ȝa oc~ݯ!\H~]` ^ȶ{s mи;wa=HThVCwxi~C/C dYs-S٬ߨ /Lm3[5e=oDxe*!ٍvKs_a<_ od}?ά xLϽט{g.\}FKʝƝ vt{K7D8pʴ5}w"cd}/,E :5[4d\eDK,njx`ΗCѥOqHzD%=xc/i}>![+Gʕ߿VJ_|%WoJ1sΓDI [8mﶔC3kuJ͐-T}{zGZ;йH|P!F8  -UW*My]oalto\ֈi2ΒUV~0pv'QMID* `4;qX86: f~߀ZpGpx=>vUeWnR68ۻ('!} nҥ`qwh)͆>% | Xr8p"H Qޔ2yck4?6Z}|pRiamFbeF7Cz\z),\ڳ+BRf+ٞjzXp)8zCʑTAXg ,~eL͓U>g<",muZҚ mx] l:PSs.x~S [ lw/)ەi(m\buSaьnPښkћh0%QLP.@?Ș'ꋜGUNS1Ɔt{\g['= IqicڪǬimp񤬍gXxo^"X44¡iޓ:C5ǭa\/1X(cx1zMD.o5aYRUvTdQh>{bw(.wfn@CZAdv`^ʹzq:7@Q yEǮo*>㩃3e4T; #, høZź|̹AꞄpla`n@)(q<Ǣi geõmp2o!2ˎJ=eTeQWt״VYA/9Z.+'\ 1|RO#̈́o\9 ,U VRlJ[xW.!*S*>z@G'7+WX8㱃(5Enq?%T*^/3ߋt?4CLZBaq6zUqX!޿c3h1?mД:DO~q ~G`Bpg1#« niDgO6KqXח}V~ 64c Ė٦)AlT7oGƦeri\i!;1(3)սRAW',Z%m}2оR){ Д`|"ubآ.㻵Eqr 8pi7f`:7<uTs9c 'LJ{NBȧT`O/2褆Nbn݅1Lܢ7;am|w›鄒:)%oNc6G=M F?vN@(m-J 'CSrT[}S҈KPUnަ]C9ʼb[̖ue/% pi#N40e`Z*6kpf<{ٔѦ˸>m0H3#7 [UQ5a5^O>VdfK1tUl&(toq2;-RcE9g.d{ J<D]_8pүI,CwƘL^ C{9c}Jrz'34joPo气k"00'5PIfbm R> \fYmSׇr Gt.޼Vo,sneD6ݣxNh'ٙVwPFwF^`β{jjE)UR*4^F\q?_ ezP>]vNSqct#w0 pH~P\5D~AȗͷTkhKU{ I2+ÁZTۙ@"=9k)-m.9x/WW||TW{+o4V=^і84;$ cwͱ\Ktz}VJOM.7N\.,R\з U]sB>'7j|UfEo~wWūg&oJɛG5Y.q;!(.gݣvUB%-ܲK`^Em0#2x(3: uL9eŔj&r^{X*X)\է~;2D9LPWbebԀppԬ# +2+ ͽ'!ҽ?sPEUx}B\,6We$s!L!ud=dwqx4e>uXrkH%>3&f6za{i曋d9\bC,`;.9 JUU eDH*6.>/Qr;3hNOg>Y-ג)ne~"g P>]hDPQ_N[K  I^2]>L=K QS8T hN\7?=\2 ޝH:0!Lr*uEdң;O o9_i_ ~vW!wfʆWCzoϻw!T[ȹ_F?2+wI몞q4@ R2K&h@$0ܕ<N4_F.`EkĆ`xѻ/6h9őj3~Y- Q( a9U|kR{FYi!VpcY0CpnU hatiCë>j)2-;2Ɔh VL g8c0*KWTO46҈B1r83%83#xum$8 ۵{9/)sS*BBFKDBBx q;膅X#ΡgYZ7zXZִF! T]ŗXiɟ1KwCe )wG:ͦM!eV4!uu/VGAH fǮҤGzs"z&:Y#ã.%wܮhZjE-fDt7}M?WQ~Qx2du$@̾,egŞd]gg(tB;{pobzf$?.]S:OopXmKiʥdJjK#?Rx.Z: Em_ً~aYU {a4Sg0щw.ΓB).;seDaYtE~0@,hT INߵ{ \(vĒ0?Vb=kȐFS\aDMA֜\&ٖ$BdeMɉ=͡xi2+7GT.nxlUV3ul 娭6 ]u<-]{ Q9WyBƠG>~*U_=-\skmvq ( =<%A }y|@> m k] cM%»kR9G(+wvjJ@YM2·`/4!_nhGz}|[0[ơ~Zıꬔ@/Âo\ H[bkMa@]8pL\B(fm,/5$5@+lAtzd4$ͮl>TWv+[91#b6]H{X n+=@բ'`yS,U w4/t4.piwÖЕD7ŧbǘ$MI<7lV.*+3'z]*Y7^@'EH!U(-2|R/hzӁA4, ?pC )54OT7Y_tѩa*b"iA w9)x|2Pb6b2t%OG ٮp!2HKTh7ړJ=;ejń uӭ !!cobs'm y(ryOY`ZM2 |jļO2緇-wAֈWGgctqt 5˾|# KzW |ʒ Ek)MGqzفI9l2QL0yxzɖ`ףK~r 91KK%>s7OS(3eQ8: Z ,gYZ7zXZִF! !Q2]ŗXi%L M\ԷlWsJo >nV_iƤnO#N3 ^UW!_D+&+5HM]!/dpLW5']lxXp2];@ aC7k$y mϺ`J̅}<>] dr?KE9̹0}.Y5b]_-}綤َ!hI=?0+,Eut"Կ}dNכ!8XN:NJ,5eEr0wvP$L!ܹV!^}@K"fq0 ׁs8'ǟ|_<` ]qEkd3qjћޚ&dT=ǯ"ꘘ!*Q~5\Co8,-JD~O\ "ξL;Ő9?6`ئ"{)=kc@u;3*ZۜHVsh:ƅET"U7;&雂-j5 kEV_`cf{j/~OX^Q\59}CnKa{J<(w{MuYϻaU?_󬭛oJY kX91X_(kl g`!B rQc+Ew*ngݘ.EO_#뙉nTBǐzcaMbwIR.;EHJO7+${M%xMq($Cʇ͝:?œ'cZh(M@G&cz~@%:8n(wI0-cՑ 2C=6?$̖K+BGdQc\7AքDA/扨i;$' 34į?q"7W;Ke,rQY!##v,#:̐nяCNu_Aٖx^v27!ZHޮ\jOZ uNn7;/]Ai 6U߻RI~̛TkH!a34x)%Ae5<}NI\F@etbVEgq)Q$Tg&W JҙL`*'OQo%WmѠ#XɐϖFeEȂ]7)A!o~xMv*%sNELO38cKrF-oVP擧 5h3 L0]'\`1\*BxvBҡfP&`Xmf BR<m" Smo8sJ]O%qsBCJE"/#XE=%a{ {]+G@P@ve)jvT%"~a(+ ?N6)5rBMsO-l|.=;!kU±=j-?]>3H65aXlu)T\NAv8eKl&,'Dq2~$}"5$/%"g0 ^Ĭћ>$a3'41[gR16 |8[ _ے8>o Sh*I2K.L87c[Il-G&$#jSjiqNA$?<I)C g͟tp4T\Sކp91"?=LeUKa+Q<&ѐf A B\B{eأ <)(NjD *XͶ^F{1IW)oM~QL<e#!n%;a7mp8m 7|.+wh]?@#L\ku?THEO|>6 &"AM˖ZTaǜIqA(^7S$ LK uwnQx4XIΙ(O%=2uJ>elA[_7Z3l37CgԷ:u@}:$łJ l]@cl#`m/P>c1GxށEN73OЅIg{x2ꃈH*Ӟh?viV-[|e&-Ta&!Z+[,v$i8?B9]f`N O@EEuZE ͮG c9nHW/k0JhBk L -&p_tQp ф.Mc)P8=WMTUJ%QW$wNi7w^lBvxdAIbTcAY ȴ 0k IYsax:7YPY=פGgO4"|+]2W-{*;U:=R﬿ 7-B=Tw׊PyyZս[{+yA 0"){w N.kD%Q$d:;鶈7}[},dPu)@pNskFhoE5}(>~MspS9.1M"sbӰF!H4?h~2ƔБ^FLgVӞj Pygi+ez r PpkFV~vXm$P*tPWQA`u]GQ L42תL(;yQ-bȳ;5*IP6_:ǷÐy yP$og~!7x~3fRÉ10kϳTNA73BգU*uT풰ҐIaFd {@.YȂ7 D =? { w!HLْ/|Zj5` ]+IQAU%LQJ:bAnk[2x@jpɤL)]|i&qR+XH9-x=oପ'\vA"8ZzH>ېYA\#cᜯpG,Ҧ OK?nBMEyNR=[kQ+jWsCf,`܍->"&c(\ypmj,,L` ? D="c2}l>H!zŞ-wfn*ǯ1D騲';~&jH ʧﶔ`.I $>̮'N^2{/p?kt]K@o`t67 P6!#m0xrymgV?˧ܶz[%ͦ+8om>=0-E-)CȦLOѷbkAr!32(oL&y]xgq(M|ԁt8]jaxhsVIGbfMPXR oتtsֽoYtf5 SpLp0!䪊~|a@FH1T/L7dl$圫v6dUAKS蓨`k~Z''A@0GIN @!',yzN59Xw Pk Y(y-O9t6 m`/>,(GkVBn[am@flJ{ßQ>iP:}Huzm@uhLd$Z{mK Um%?4BeT1Eao>夯dFBRXd4 ڻsv ߯I)&(Djb!5`Gf &t'$3?'Br['6n1βBۉg#}!$t.HB7Jo<"t[7Xp6MuM1 ;#" u_(9 $F9&rZL;J "W/m>D*oF=뭲v6Pr"rt>)vPc>\}j9 <^E߇l%&\!Rj\!ٻ;Cxs%($@tu9 \pV:*=MLD&O}IeNՖ90d'>~iw nnR`3 1Z ^Ʌ(Y1-nLΜ*V{i7"FdG?XBu'p{NCޗ^YB::: To˂4nu©PAvw )(1)$9e8.'_]8-'^cK;slV|#Ρ5ŜNM'K)XTz-wC>b7aZX:ɭ8PO^dI~w IN>*TSH)-KɐϣXn_ &Yq;lNl_2׳4blYǬ:;7Qdo}i7o˻!AK3Y.|FUM2 /f vA9=1gi#| &V0KtOUy+Й{$ƃ:a-6wiɾ4Sݖ3À"{@^iE@A u4UWzeMo'F%]歈?0aeWo,un0#i9m%UmjGU.훠{y/4 $Ќb)Ryk$NzYď)Q@6H*NМqpjg|pf/4W.L&dWA.9gݽ7B+w߱%*Sa1(71WɩYߤӴX<0 LrQnj(*Wk˘=Lҟ>P qĞ1O`p*sms<7=ρy';΋,S@Ǡ@v#B0sv,e/Bu'Dm< \Q KgWdUўr\$}$c {z[sU,}5}ƣ!`zfaCG'H#qY`I9niiEBS9-%z[NMB磋|LJ?Mkce6 |.Q\"Z'HNɃzi-Vaس9˃xޗ&ڊbaŸW:pj^vw*B`kHZ=8;=ke'(ʌ@}#nT9AU䫷V8P8>1i]g ǓhسMhj)FpjT ǣ8!]M0 h/ @:ܡ2@@'Nv+0THJ>](yd@o6zꌲd(v,gSN}fTlҁ4vߧ*Sm|U 7ɂ :JĊw6^ YQ]b%Z0{I>-䱐LpRf':'ώUW 0☂\^/@3qc=4:|?m-*>'Ehh45n@]!j趒z}$z?ij4&Y:kg4/Q ׺y|1?0,m` U n~_QMrF {@ˈ}Йcw;Teš큚yq;L̛K_#gqf f5n4\=jJ#joLA=G3}tgoUIc'?ww%l56i'Zh_~o!XgiH|g>/%nK%>Kw| e$~oR푕Lf7yh'@A;a.ƇIBzD[[ y{}˵$:٫[Iߞk`Bg3*np5P h8(+t Wd ?5R1Curřj OJA9YX0Tobӟ,Br**ѻi)v6O Y0ܪZ^c= zRQ>%ߤ[¶o%I2Y-*˔ u%TUzum>7Cm/軫`]c(!係~ nw|:A*%.sJDnCw%W_}-F`5'm׼Kܕܩu4P7p6cp͖Z>K J;G1W~ j<[V^X$ܿ+'<;[;Fܱ6s(vA4'^euO><9)G,$S{Aȣ9[9F̠[s"ڡ-Qᏼ&7ǔjaҏ )?&A=ЋZ/4^. ^V)np !#D@)%50N]?; #yjySH42 ڋV+y1JV'3%?.ɫc3ny}2ѣhaZ49歁 k7JHiu'J#7|5#pmid*.)Ŕf)\^([Up]k j(i`P(2JN0 z&V/yba,u]Czh@2!DUW֯拮e{"޹K,:=~pEܖkHRc"y0,A"lgpM_[GoǫB,x_{>SBDt٦j[vC ~$c& S~ .qW2g{~G>c%_o1XgN +Ri/rP5x˚)CZblĜ1K>UӾ@AIUsGxJ9WP-sq׀kI).S.KDɥOk[rm)OvMM"UӁ'GVOKmXIox3ޝ~Zҡ[h<-"x \ĐVMMpry^r7~AXevhZ0!_) I;,>a*@05Z ]{04ykJIǂ(Bd;?ҨqY<27v|XeRqC5$!%FONД'/%n+M,OjBȔjS5f0C`!knTڞd}ܶ[hDm]Sv%7}=$->6WŔd Uu rRjaLD!#7No-U&i's NFK/x!`7A3-<^p`ypt JWum݂> 35+>QqU .B"}%B>UO=O%C?jWi~`pW0i "t%I\8ZܝF pj*H3 ŭV@wِ%Ⲩ .M[I?bz!˱c‚:@H ﷹݳR+AƎNi*c?h<)S\lO'X;5jjM#ɴw𽕣Z kc"r5Sb C\+Ŧ;mϐW1x I ^j; J^V\Z81wd!<#D#_5gv?ᯗiFAW[Ea`?9 Pezـ➾#rxΙڱ} PF6 < ܎o<$憌by Ee'}2۹b uZNloKG 2<͇%K(Hܬ'f>dplo?L;˚[LV\6Í!b7 ϚUU-gzl%ZbQ'BYkA!Z%4)c*JpcDڤ4%s=7qsyߘ-ҝ\J7 pv(׮tW`.W Ai*#XsyVF:*gѥǨzJHOkJ)$Qưҩdˠz`(iÀ9, xa!:Rj#%OόC;(9ND Xoyp}B!R/!ȼnr.x GE^[n y:0-ʃלYp.Vix*2fAfh20%S{w 1k/̰W0;aʈ! D][QwamecJP1@S8} #YAaN'7NTKb;>n]gcr0mz$yiπa?giǡGNmOSWo?xIn. )-⸊o,3" P(jX\)qfgU Do2 yLavsf4QW {:/WO4 wkfO :[OL9$+w5+wU%0nQ&Ê*" ɽm`Oɹ9 ۽n@|* vaz%^½]QuZN] 4l-&TR+\50s[6#Z 87C4UY5ƭ(RfZ( V8zC)[ 7uLM(44;r$L'^gZL 9*MF+g3gF T)~GXǞ]7&3W gW.M֓B5^'T[E?Yx3?y@ykz~'~f?60}=r"c=rMRwAiP/ bI2vr:)9yLsf| Pey%CX!Hb=kU)Ecft1Oi3y)2mҡXO|ML$a0{@H@ɑNr(đu8xL" }k Gӱ{ T2-ک<$ܛL嗮X&?~uU mkޙ A/ U=<~L,g8t;#+Sra'QHJ35q+]D*Bys۰ʒAc͞q^=];+ޣ ?*1Cy9²0R@FM=Dh)q ؓ -8TpZ;׮. 7bSI,ÂYe#ytWofW>J!e)I<G|OŸ#gU@ܪ3H18t+7 m)P Vod-mhc񹶷#'F yr.X!J xhIV\vm:"Gtբ-'ͼ ;";J:8}c2sQT*In+ Ti틅8n5\H}DdJjD@JežuXD YfHW? 5V0(`x-VnG N7Dy'{"b Kpw~I2Zbh]7Jccǽ|cBQbQ!5% w̓4۱w Bʇ'pQ,hiȶ?R%~&A_8D^;ٸfcp[ dHq Cn%.9pE{{@ r9ЂniMDFy.:dMV m.m,=a;o $ܘuGcondmv"lPUs"`c΄f>t42l 2FXLP-<#@(!Mj@è:ݟ7aNwdZ9̲"vP|]F]O%njCN_dcT95:엀 hR͸Mu' pRd/#@(/y;B4R:GU L_h6[.,< % jb#v!TtncLH֚d xuR9b{xQi$k^-, iIžF.Uv"$F~'|1x )xPde_6;,wcE\74|]tp{ ?BiCx>c]Swcש% $LVU!5 OJ? !(O妗t 4(AհO`א;{ !ʏY,\1q5rvi̝kUG> 4AwҦ "1xa q ?5Zt#$j[KBjJ7&c/̦ZEmNme @Ra`wzmHY\TttmXIepV0s9f`,|f IϢpG!g^#_H͈юa~'OVH9U?}G<i FQK?'qEՉQgv:y^ZÛ0{Юd;SڬP<0墂n!OgHNWI^K@c.`/u[v9`ߡ!#ü@>茍Ή9Zor=9dD*ȹ TD K@hd-=Nvp^xɂ` vd15djO${M}zf,F)`qz*&TfK_`c g3@eb.BG3q,VzG𗵱{kl*VsPNz׮Nl'R/h`H<FaGB`2J+֢ ,c?jOqOpսPԏSAk p0Ű` xob@,atI>S{M@|ñeBJk:N,l2>望AcY1jsyf=K1ĦpqS,HsܸMan]x-ă287wo4|i\1/ t/Ƴp2ZE LnGwbݽ(]]PF2>"C>$*xcQ܏@e0^l8O?~yxy}kLƯ D4"͗PH| u_vr oZ\2]:#(qq!@8kyY 2LHn{{H&ZWU/%|,k? 4XMץk۹n.z⬄x]@vnjQ ụZ v AgJZPh/u"4 W[|Y5l|煣 H~yZ1][5YR+  tO<lTZD.ž`˱q2\~RD3ɞ +Lj/3$~pIN5pGT;`5䗳ZU96Ase/YX'foEwإkJ'<5Fw. ͝Ewpx:&vRHc&CAsO=KYOG̣kU3? []PJpr;-'l)OiͿu5u)PY9(aEm>n2R|oaD%fgn]K/{ {#5OSA5y5i"0}J)z:_75${%$Xt*܊C` 9cV⋢xh׏{ 7ZavƸ`Zq͠Zt̕=?D^r u,#9 ]G@2d v EAaC rH<dV𣷯}2*u׎nobQ( $PAAt"j"\@co描A3B0@i#W)mn}hjy`u4/*U)0 ~#Ƕ rڭU yxc .À6S޾pE3MLhˠMsrO!WnDh/kO]o~ul)!^!w;`oѶXL;]Bt_aw_?6lȦ|tKoBԜ4T%Kߝ֙NbHS=c?8N}!e!n>d&/Rg m #, `qPbD!i֢~ 1'0\ 4ٵ)s[U{Kb6eik.EW4 풡t!@^pE$a7IGG#;wTt8]e7K:֗[LyۖG?嘸*D`61%|y 7*$u" І)թFX>㋲ੵ.=]a 06Z$̏Tka ̔d`#4stc6O~ ''"]9],' ?P)t6 [  ԚBl#Y5}o¹Kn6uPьU.7C_سh湲VMŎfg?׳,Yz]$+y0+/HW[5+r{cglT%^+!.T̐:՟W_#)hw}ϑ*赘Eef)ޣ D9fU)<õY)]7oF3M`mv2Xon3{!X:5Yd`;IIpd#,Dt#f>rRbNe ڿ[h]ĥ!q p&gʫ\=Ɠ1[-Yd#ks9X_"~PYɱo]1_Qo@0Lt=B`|ew]۔BzO4Vz_ud~qfC?tfJF#i;B2!mY 4I1]s uw:uSAr-<vXdتlh_YhZ(4i6_B2՞#k !'syKDpݰYW,w9Xi>^4cP)~ލ%gW0m95걔ՋS!1R3:* }WtR3ꎽ%nz4n#fskig;hf\K((J=xD-"7R\sgR=7Y, q$l([q&p0gjls绶>B2Qz\:L;P*UR]́Vt鷄}"퇳aČH3r(3 u1Qut` @~#-/&EfNP쥃QNegZwzaw@{D;M}nwI8e>>gb]F$iz@ JOg2}2WsSOx],YR7,jqTȭmS}a!4xUOW 8~ȇBy'vY[cKHq'ڵ;wƵRSK#L)f+  ME#mpv /)uԖ1bUs@6g{Yc җ;==_lm/6*Ʌʌ_N̄EٚYJN%0ΠQwߒϷ\#E.`TS$7 r)!5W.͐!SoH؊t (֧SA<ӣ>Q?n 5x׀@+aL^_vd}$rֿӳX nҸώ΃ѹ$h=13jʵ\l$MFD-5XˈXMecZR+=PDL9_?Wh1er2_SMF(Vv*.i6r~%JQOτxouw̅Zΐ.CݥFw0l;5~r\f*?3gƧtF?x*