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 x1$d ]%]HOL-ODE-Refinement:threads=2elapsed=605.150cpu=992.468gc=60.424factor=1.647zXZִF! ᜹#]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kt,b37*ܴ51XtMln l8-![)J//|bɸB;kV҉=/6j[2ݮL P5l]U#k-;I)*EaaE|PuLW AX(rHwA3r4ܵ?Pҭ1Օ_BTy28Y'ݛpE>JA(:/EQ /$8ialaM/q)@lu^I Pg2G5扑Jbӛu@)f#NZegFKғ{8{7DBi:]lSez2)#ZLj ^X%8*U6[hϮ]m4~k⦌ 6;޸8IZFcN,R4dxQhxSeݞlB@>t] 'x>[%tw6lxlI1FˑO=@@?Ş%TGsw2y&,K@kR=HdC>o5\ꆷcyԖ~0Ni%,vK 6W ::bVSWE[Y n&ii>M =\^-{`sz߿La|: !߈uz.QuL=h8ѨV5V>`a|wGژ0&j^g٢*5끍8-81ɸxˏm>rtByotipDdJaQ^iThx 67`˱*!XCS>-Y6~3 6n}CඋgĹ<:nMj)hbXF-pqH=&G=RŒGdOv؄ CF^sN( M?/KbNj ;6+"D9/=8MZr+t} {2$TI_JrrQeҠ hWiNks"m\g n ǟ }t)1X0S#oc:j(-bG %Z:ܫ}a3G;~%cϭ_tnOSVxqn!>@_9? 5{!x>r}ـ誶e۸VGw 9#$3Љ^KG~2J4}$a_1MxVODZ9hw>""qQWRYiED9xTq1BID$-m> >;sUraihTjf|5 &&?D ; R缑AOfOv*Bz an5. X2_wlðpGqBWsS++%zF *)#HѾ+ 17HA?}j9iUHaM5Gm`* b2F@-0 ƎD@kՂֆ *oUA|_0sP17R{V Btd:פh.BӦD9-l%N&/UU̥4ro ⒏f*um!pd Os/Ʈe% I45tp|:/{LG Xc1/vSC@="N}Ejyf4L0ƨg W !CI;:׎m0۫QG/9'ηQD ^8Go"-絒aoBs[ә77h6b'J̬75Q s.yzdDx4 uO'7בO{o hSx"J}ܑ'=A9Xɑxr;ϣٷޛV % RE‰hnF-Ҝ˙^Q "2q D*qz86$转{ފs\i,Qy_])VAtQA2`$dxWA ޱa?*|[rw@z{X2To!5 q}>b.0hH![n?Fv% 2o} aArg[M"zJiO qTlPU\=e^}ͯ*Y='&HqpSn>{x U j %HJ([7&./*|;(E].`_QNtTbӓ7C)Kz$]AAY6gG>[5%e8H~QEDY\@"(#(MӅ/Bq^J[b 1 HOL-ODE-Refinementpxj KF4kfenr@IU{m w`I[\B:-mJkOi]R}鈳zz'ZB7<*vC{%{1- dqDN J\y?ϾL!~lX]tT\A77 MfR}df2=lZ1Dli:n†L)e)>l)~Bďr53aOiΦS{cX]i`-g:bBlZgKwy/kcX|伳fh co8ېá{{F8 ŕ_߇o$V;;'ͦBtY´v KwpeuowʇOt"=[-Y-N+OfBCioeSPjwYi|Bc%4mJ;C>҇/(a/?TARNhj9b0r >tY}v`bd6:wOlQ!^ "}c%RC)@V yspo sc2qqf%/L}`n `m(%4d 9l|1n.餧ћhZXՄF}0ynE uY4̫dUX <'n\5)FggM`o&aPG+t}uZǚsb*6`n`W$pΚQ_*j/_lCLbjo>T5;W9ݴj}G+ySMOID7$.mgm=Fگk|54s`)H&ll׳5\e1){=y,˽%p3q}rdz>-V5@ Y\n6wHzٖ30V5滞Q>Lj} *҆ΐ$rrpCgV'q[g~4Rdh~3kR|~TH6;SK_>n /5U\eϒ5T:_Z=ZSUέPxlCw[I0j~Z0s62/4XLcwƇR[j互sN,+M,ГklRҲ{%[6b"'(`w .*S'*!nܤRP FzpKp9då҅wy(م23(C$nr:uۺJ#P6/|yTRwbXtdGtm(XLZRd-;<[gUp9խԧ!^^%VZΖ=SzI?o8}0c0H$/ocmE ñHk%Dm) uJ2]wNy'9+rc39kq+"`@><=g|̄"r}P0.ʤޯAQSAOuKiET$}sxnŞ6*}` MUt}^7rA>U8_pP5C ߍؑ#bBY[u䒵 >A)E(x{9o{utFpF =7b{}`wlr"MNqmC2&iTZO$%ܷz Pt`G2ն"ЍOK{n?{/5'pGmhDNr=sQxxlPhq'bJ*o6D,ޭK4ڗ- lk٠ ѓ|bAO< FYQAZ\ @{x!*j&9^OGIJ\b8,j@.Eaޓ?ZPܙRpз/cRaZQyK(mD1,e${!BƑ/@;רemX4/`gi3*9^$^+[ \-ilPhMey-`yF"X3k>Rf3 vȺ B-Uh!r0UԟGb=`i'I=ּKe1Bj"|qb*',R\1مo[47IixcȻۏs߉ݟ~H_Ɉ 8uxhD^Bi^>]+.4Ab&xBH<(Lx,Ԇ=}yĆ;Xz t_!OTՍba;$yxWy!{3tly井@9Or#[| 1a2-+G6W1<qw*} LtMu@-@ulw X͐mh ʝSNa=<Ϛ 2AAbkGZ4w-In_zIJp/YPUn" S %.E$~ـ'Q}Nrb^cg|#@aro[}&lz:0V{P2فkG׹A u{zVR!&/.B0XkPMLmwe'hģ1`Ϸc B0C47vlKg 2B3أ!i}`+eH%\ZT@ᓓmP2xb5> ?1ĥ,ªZGqWpVߢ煾a[G{Wq: Lu!z̯ h(A*6'di<5xhk@FeϺR M7@)U>Uc>@IffOzbwhOQ*?k{KEYA#Xkq`iM" u݉F~1+@[G+xo3Nfe+ 2rae@Zxt1S5ε֓t=.%۹ڛQ>z~rJJ7 0i[&:n*m3OuST/R$H)]Kq"I<2f)ّV!MZs?gG93Q*m)iRS%Mu1IǖU ]i)b!i 09+d6Gw0U*uÆLcc5%cbDL5iįft7K$S]:JLjԥk;tHdހpb`)x6̴AGXY !u*]뗐6q[.6/0XRh^E d 8xkaF @6sDS#LҘcoΜp@j&+K7MT[E׮6쿜MжV<֦Z\jueGZғ$(Q1haMԈQUI)L\ͮ>TۢQ {2KSn\UHS0!r:3dc̚h=I/\)@TdU )VKy=Җ/cZO*Ƀ7~dǽ܋W}3y着Z ϊbLSb൦cNh"ct@(tIJD1U)'Y8~6%5 Hw^\?T/D{FTS@*6~Cj LsO"u-ٷ_DイZ/GNf9:hbS<#|%'-TįyEYnL|C 2(q~ <qxtFJ%N@ {{40 >m}2)$m"'[iӁ.%Ui~,MMQ3e2S.3nh0T+S"1qR!;üL5y `*_mO}I| `K%ӓ{֔PE&]RMz1xoIߥ -Y]~{d`1+9tS;BWf$2i& ?8 t»Cqi0%є3N˞*-kFu;=8UA2 ͇f<`$j-3n,jϳьo=~)KhYuKyڬ# >i0~NHQ t(LQdR%ءŲ)rBTH3gEPu\Z c_vjՁu4TbbMa(<*=L#riIh9th=.\# -9R8KQ$^84ii 0qE]jHMJg%bP]TQˬ6mLwygLcj?--ʔ2k5J>9O<3}6&̆ Z=A `pc{+ag{2ل0wzSEЎFH[5-&eZ݀Q1œ_FpOe3R k[MpI(K2 _Mtb[G 3eT$o3Įb]5t-ڍ]]–勜+zGJ[0[^L(ڱ*٭A:IFrԼ VQ{@/)rVӷ R6հl߈h]\_t/vR-0@l2AMjά߿@]v L*՝lR5_ˬ4:՛6(504OSʼnTtOH9CW;zM=s1 Q/~{T>M$In{<;5dD^ɀch=]Ug HĥOB_@7^5;L!y5õzz{8fJt0)ڌ"N߻%E6u-#e)O4ZJ =Qf3-*D/.JvA0 sB\jjqHMFD%~%SKUU_ex{9ms8aT#MtR: 7z5v3"De\뗆&.8o,e#34LZ'փ:.autX8F\}F"$͟9Og7!Boh-rkɸWL$J{m@u?-nK Y n\Ux|PE=2؜) Y[ ]=a[8-F + ުDSm?* ,A>+"<*itU?םyً!y +aH7p @m1:mwHj0}cWQ3P[YPD\ 0Y2 $,~AhVh^Q%V]ǵ6w MŤ3*R@bZPJ}9r,^|[oH)E̜w!u45ԆwwK|H< Š1 a8hI0A6QWH]A~W%K\n5A!VQ!̞VV쏴"Ⲗ-}q>w%FPet;V@l@Fl#ZKDž8e-{ڒ@aZ(ղ Fƨڡ@7fH@>OʓY`D92G܌V @EIN[m;ۏq"CM/AF[H(֑ H`!Ce!o44^#lr\<1Λ~m. uʇoKc*ןz E9+Q@(?<k( 3˩Bٙ zDR&1ZBa[ 8W6Jڑ#?lWSYL[%3CQD [bY>OԹ x LOtH|˩-#Hgw wM$0XmJv ӪugwJ,MKd*|;w Ȩs|ISc{<V%yD]yL*TZҾhi-\ ~a~f.0j 59\N)|ߧ{''>צXg]gi*!*+VBj)StltRŖϐs4D/Q"*M5|^2Hqڼ晪Q8;\]aqpJl➹>)9E#g>J HT{9(%#^sc̒NRvh^  H /+Y]_LNU3 = f`yo'ZX${=Zڍ. O(R4D>Jjr)L?6CX;5=/.`)s'QCqa-' WX#;p{?hs̨c4D/C9~tTVcA I̼"ލH/U\v(J_o?x C"(0XfQ&I>)w)-rHՇ"|H/\h6dvGe^KϙVߵ7NOR}5uJqf%qt5Y܁vo%^8x"x:in۫>\<.qH\(pN%Ը1CrDWM㽵ҕl,;Ok?UWQׁ>;xk^]Ww6 w&_~'nhw` rҷׄb*{W lj[%)b ׃H_tbSp煘~7fgӘ ItD-w%Sx}S9]ulM>mok+Ow FH'‰6l38qD$z+QIDnTIc'mvjޚ)f,?'c>Pl7c'Tb.q݋ȔۀsOrU4[W*Iuhk mI 1x$pq#OԕJ+-dR1:Rv)xi?94Fؖ7,,iDGp'Tm^$#,(v,\XLPQzk5딤Dt2HhcbK99Xco־>U*{G%e[b游uf=czݛt  w|2B{sUC 6Pj;B9\>)AX b$"ƷıUjAºAyRsG3< t13m&tOe77_\Uu+`|d&( +cDK[N7f Bijd%Wd2mT=$N=WH{MZ35!RU~a=d=+۞ܝD}?dznuDx.@O]_N.<_zDBMB93nHH6G;'c٩m@ȷ>P|sňCf]Fq3 *-j PLONO= ̋/S^Y#n_YZT}PW..榴9S%ߴOKy5k2I\`Ac|3M۱ntǚK;PPhetm.7hn.2\5yMKb.אo-U؇J<q1Zgyj۰I#+蘶&EMk;% !;ѥ:l8i)ZHZ:eZ)5yFUt@?޾*[ᨻ}apdmkgIjQw!b[Ŏш<0쨶 9. Z]9)ǘ*`|jN挏7&juסf }'ʦ4ɂĩOcr:4;F9 1ڿN`Ⱦ6m'I PҌ9O>x@<ŒWƭ9lף ;yWry/523vU%p"ˢ~=e;"$S iBl7^N:\ڊ!ÀN@ҹ-6׍L^=e+u Kؤj*pLڔmpbLRlxAը-Hq/V/)WDsYERi}wBٖ^#8#W=K0zHyބhwY1̷{O,vzL*+ܕM ]ϣ$d`ɱPaEx"|{,[1э٫r]\ QŇrp̓tn=$a2.(IDMs#d8nn;XiDH;}yO&.q15W RvHa$աЬCJ(8ƽjz,i,~Ęù#2p%>G 8198-PKvGy]R %J(%"[OߎR:5&ESD TxYRD~زdIΒڽ ꬔםP)OX=ZTߘT͍k#J2굊`<܇`߭l7܁/@K^*v<~g=`:Ʌid랄j xDLzbQo s}Π $Eiyz?!vA?PhNـz>Ȕ5ڣ N\]M=Z\05>?2>'W#eA͇2D~$ҳkʪ֕ _vN$nr94v'wᥚC/5jxȅ\otl SEC}s_-gql(|LA`8&{þNb=ހxz ż)=\"ݜB˜섴Cփ|KD_E~- $*0a9l*ݕ@<G .Ī.Q(dVa޼P9]>E)J A4@qρcfEXu@gڠ E[ڴ̪I('pZCO(.@6]7{ 'yz{ X؇vOS+VPd gEx*b!lh:4v.6"uHD25B'Ƣ!C  7/YtkU"W4aLN#u`UQoVWe"E@[/u$ D819pf3<1k];_+s:Jq 6ߪR`BGTfr٭ʧ75!IYF0' +3'n.n :]De/Z | ~,b| hMU~MJ{5VӆQjOjrK0MB1 K d `.3[DRO&eyh 0ad$a)vm*kO`jg2nP,a *fwkS\Ӊl'hQV%bO** > ⾵IxY0<&w]ڛAa?,VˬfUMh/yHRpI2?S}>$ࡍT#`_kz6Y;v׾sC׬} V>C͂*xouK{Tim.{78$%;yZG"+?MO3Uiw'8gQWt(^TXXy - 5 ^w>X$SDSUuS7={;&R֣3bL;=p>m5<:T9p4 {q$ޡPr-X{_.NfCDQtB'7MeH_Wؽ%ӏw4;oa UF^\ni>֌V]]|4$鍸Ia c[R 5vͲ $ K2=OA8C"!rIکf8n*n)tAKusHŇI̓6d]uQ\'^S4'3Yɻ <|>Z;`D6њc9jm D:lMQn];Q$ὄm/G Q LP9/ څϦ=THh Fum3fL5'V>mK[v7x>IV^_#޸$p8vFFHh^u6DM)L^ A`aӜ4q5-枃E(k-9|7lJ4ο8}y)Q56)}zWa&nN\҆߭B(U]زaVJoB;ߥ/Qcx] *<` 5Yzb{+9J[w(Mx -X\a^fx*d_s[i<{WaEDp {.꺧[<Ư"E6{{z"ݶnֈ Q6ʃ)ɗx;n'|mʣ?!,t[2bmskm F9r!r9O^AӳfUQqDqu\yJm> )MjPH#l_B uN H1"<耪30+:h^?A5vDXy!G NSN6Fe{*.ͤ*T;hi6(I@= hQ4P~=tY+&Tص!ժVc/cyއ `D9,U;& DTs}AFS:N?'8ZZXkFj*'7Щ}[fN:I#w#~eDjq3RXEc>"M>b责1X?D4ߠGe+HT~ᘒ53"·kWgBc/.vKDf`2Jpr#)FxW"VeB]h6%z߁N[!>lM;1 !RnZжcxuf [`UMH 7ϖoe5Vw(p`Dҝ%иe:Y}kVD 37ےMg h[qJw?LCLf0:X*q}u~BQ43E,t9׵iwVȍ_MGulI;2h$fܡpSS昴> C9Ɖ6 }lA>9K/߿7Ng8=" \Jo% R;Y1'e :LO}!^Ҙ -[ ҍmp׸sf㺌{{3uX Eū$V8r NM5դ@1Bp{`Kin~z1Eic#;LB02$޻gA6Qi, DcѪK~p߇tٮ :B'C#yN&8MjnɶѲ<$ظY$"}bB!4r f0OѮ=` t[s$&ߌvpw3w=z5_lu`@!g g(ԑ)z|ej=tA2dRf:ب,QJi뵡a*^to?Axi  xIȮ 6O;vZZ\W4P~z{lc݊r[*i5Jx=Oԝ* /Z=RBп#[V^`g693DAix5'X͎ilK3 RluzF>dO*fbM" oAU|ܟ72k­tkmy=v TnD),p'OtOj [&%Y ~KY԰0*2OӫYz|+"C;νR{٘L[NMQ_E;,zwKtca폣PVbI] .Y-#DA=8Ŭ-::E&VB^N./M+fu `ӃW9.:+ʘ7 0;:YWN}:VcNkr{@2l *o8}԰`G(4=mrE_#g3ZΌŲ^2j p5*C4 ۘ*W ǯ2jf+Q#)D-95+D8(-5>-ƣ.t-!)z 2CnT3 [BZޛ #3bƤXi%Ҕ`BMJv( &&Ҳ#L+[+9Wί-yRe _۲?&YN*X߳Vv<+]WYpXϛ\tZz5T ES=}q\bnY*/Tiڗ։2͠ԗVds .F'p̂Foaau'`ʘ?/%2x4yߺ8w|gGF/xx+5J%N-L+d}+DE9P&6Թ[&""x!g>|&$}IJ!3CօC㔐_v{+d_RG 2>MjyxHM(dnҪwez)r\OFœrڻ;`KDJ<@^ējՔV.1tuB{5J (eíG\T0xE[0! A>4;Ji5B$vBѿ{rӉCi;<0N79hqQ$JsS.,Fg4Lp܉#A^Wx/ :ґ{{L[.V]:!Bdnq1)dpЇKad#p,ws_,\&/VM?C 38_|{PmtӂǙpy,٫S5h{%u2',;f=Ԁ(,(ϮFu7jD,t 7J?N-"v "j@˗^spPkhiBX]կ ЂqYe;vs͝d1S8KC-(QK.+楸s満%!:g`OMGKk`aSFi{i*YrDmcLN=0c˷}SnЀr\K3Sc68U#M}PE A-FTM(:IZ6@?C[MHZ?gf{9O[Q 0&SH؝)j)L@6OMTX+q}9SLLw0gv:5ݢ?SNyׂ Å1z|"o>7Fu?8Љw> WIPUn[sAӱ砏jh{cY@hI(DtOi/X? 0o@}-n sѲZl[gdo u꟩TPUuKҢY&a7Q(ɐTĜ X6.TIt嗑FJ> &tͩQdw>!A&j,iCQAjKxI8p]|L +P.B}o,U\62A_6Ãt!iTx;YF'nxgyF<ݏv̭OkP O!ӧa4RP]tKs -~}*5t:Ylq6 4r2%:w'Uk1e%p;P} Jh4=&*>b ڻFj`LZ4c0w`KmL IAZhsׇ T8d b‘y Cԅr>]򱁩AeF}(n| QXS2]ȒSLZaiLhPT#-ѤmșHM7uVȜwuq~QvAgGZDo"$\G /uЁD:(ΧeJ+Jwe/n ^?{ |$֦֏SV^وjf颞NAcniܩ3?#bi$XvQPch&ʼn)͇/ͳLwulkiU'O'rnG 4X r&l r/ .bX<;5dӥYR.xrRYO>ئ98Ixd<V> sK}VVxu@M_iA)X7-jE= cDl#t7~Z4gr]"B@XϷg!5D+Z9HW>j 3өCew>ش"v'?t)j/paZ̅&>cxj/V--DD&FlG,6~Hf5C&jsZW=(]řFL]Q^^GaBV @34]oěh-9ztVWIꂫ+9%@,8x )%@PZK0>yS(fknkkϦV^Fͤ"Y{aFKT)et$jW"nD h0YoTTolTrimV݇8B#pwfk&׋]YaB-^uO__[X߅L:(7 Xi@>bg?[lڧ?-i"LKq, p1x/!2Zo^㮯5JVՙ9la q*5G 2|GL첆38p\e칶NєxIpGs<׿4|9Ff}=hp5r 2ZEsJ 0 2uO!J]J.4|gB;ʛG ۅ-ߍ#LIvKbWjBŴ6\cb8Vɫ3ngGƨ/*vyuГXѐ:ђ9sPe-(an`IngMXrTe!-(;?)ſOL#e|qDK{VHe__I鮼O֓!^$D ֔vK2@a7f ҜֽCs\k4w}jэ7 aʖ2gjr.a3Wk~Qtsdpzf-+8>q2r#P U1s$U 1ۃ˪u&Z٣:S՞4 f\"nJ.!O@1G] Wo֘K]򆭽JV )6!r)y{0WZAb*"iwK*f] O>RA,BJMB;Ih{mb5WzMܦk(a[Ajyx αoOunoFVCܺl0jXHϝaw14p,SU7Vuf XdQ7<[]Ptp52t[OrJF1WT@_)6jaagy*c^5R}LtSRύ𭹎Y ;}~m#W_h΁II&#s*vuSn]PЋ:! + Du#.`wN/뇽^` DhizO^EU8TS|z .Ҟq1 K_}&M=+Ŗن۳"R=aCm*401?ۃ,BWdK&k^yqQ|YD^N[e'{!jSoyڟdX.uǚK\p\?I0M[x7_fu>|@gb=X(˦nt٨tS2P׀0H8,8#/\LoEʅlpXu.ZU Yc ]èQ@ꨐ%)@1"lhQiаM׆7W gK<*OXC]ʛnYQ5J +#!#;3 H()= MNdnTF[j1=/O]S'!dIגeY~&*J-߃W F4rڕEf~!ڃ^KcLʣPbFR ,XOBVԉ̀Oz`cЪ66[#ĿSN+ZAОj3^#|>Y`*0$@4L40{1TͫyZSr>'e=XubMY^CRkT׸,hO>pb*7^` 0Pv ܨq',SKҩ}1![;B֠pZa@mFikQ侩w}z:L̊ D>@ĉL@j֑"e&bp( IH[ID|&R'@!QSϢAFzH~iz\ 7] $iJ, X@ Nrvԛ'fk09߷1A<-s?H;̉vmJ`O{㛬B.Y޻&Pmn~ =*_zB\'x5]#YH.7W}t 9]DοjP J`(ˊd^Q 7g H8V"}G/#z)L :C0W?Y,篪k2iTu=uR.l0.MpT6%]ŸYKQP*>Bs g FV=¨e߹4`]qpג]&W*i17$? :]>x#(]c]A X)y 4u((S"0%eäE?54xM17jٺa-'L g=Qx~ XQK}%O+pafhʵӺjf0;V7qRoqРN8 IJELOȈ>NW?',] p͏o҉7L (:(^@ȾO=!;ҩ 9$TT4\:-ES,r(ߑf'(Gi8:MJ}%AT``c#~D;? bTpD=(F"'Mj?c^*29+V\^קil͕dra +h'ZV [7 \NAUhK}Aos?FGJ1aMלʅy:)Ou;-A 2pd!xU1wvj_ 7g<[QTB Lk^ܱ-"@+F>,0a>N߬Ru$oNټ*Fjٻr* į2u$(dk>H,_9B@F5tܦ^0.pA*JڌP!)/3`pZ $|Czm9*"մRϜ%ܘ D]K*#E$G>9HbMC *4 s60Y@챰+Pĝ5IK*t-BR^ɧ%c91_ n ?0JDembŵg\2wתW;5c1⢄>HE2QC9ah6#sڝFZxqp"C&ႌ9"N&tWܗxtd8hl#vHeRm{) ,.9[A7UqÎ/87/*+ .ÊA4orrUms.H )>OX$K$ 1-yAc _#6 MT[2dne4ѳ+0)YJ}!We7b}g Š!8Q,|°qV̘zyWA ƿ:À1l?BXrz֭pɩOj1DpxTQGmo+GhlJHu_9 DA&t}{t~R#ٔ!I1$HPY§iZ$WoHu_U`pj$3O =ڮESp=B(5N?wQBď*doBj/z+JῨCM7_tr˒zZk y%wz֚A햂һ9=*;'c(ޘ%ZItTWPjHX4{x u=ke('V%uפ% \TDRWy(:)R*Nfh"Uc3eoEݩGaH:[ˑI| >w0fϱs JWې|ڇ}K ):C3J,Gf=v~_]O!Et7gǗ<n7KsB~_D@i38W^kSGyy+ h Œ2lƊ?"PT|k*1;ɢ$I'DnԮ k B#& ur12 =dluyB c<`I\i"Dzjѯ5>5LՂzYJu#GYEVJqKah+t` Ku3<R;-Rٹbo{x i:{L@?:fyI`C0ʛa0rM{!#jg?Gi'/JU9JizE#C#}Ԁ-% l=1SLOÐtݨNDi~J7o7lmJ)0_^/eyça#'`:~3ч3ᰨ2ݜhvpOPfw=\L C;sX|}E_|lVh|ͦAվd=h0'Iq"wI6;!K-MYwu 'Z$pLR>xڏ$/HoӽE sⵅ z$ƫ' #Gz|3F϶Ls^ў;)[u9rS(pO-"̘seqT@6דɈwn߹ ~{Mz _"h(0-\Rkln)be,LǾXMi u!U[Yj㢥:gwfG$ գ. /L*'6w(aQ1jyXIRB]@]h])'{}b ϸmGף 6K:Sr>v3UIW)F &H'e7,0e)jVȃ(W9 +$UUmXzǁsw| a"cPPOp[ C%caeX8\Ё &Ƈ\2 )ӏ{u[[z+lz>rMV^߮ϋl8U);Q!Qt* 6;hy垻u$Σ<ͅ$ז]yVoSKedZ(5૽hk&j[[Tvp,,$(1۶&R: \S}{@pMz%}*MZ|v@zqP"P 5ix8뻦M"IUu'%S-'Wlmܘv:(.Cn$j1'hh*j :ƕRqvFU\~}UjcԱPg#idȷ°9iljFsZzr *rSl}Ro[,ҢZ+5^UsXNBܷjv[ Wyö5%L JlɹRa^tS9j 9U[+/A|HԐǨW$i(ɥOl羶 c^ ݦbj}q + ˤ;(QyN oC^_\e܊3s`^ՙ$KQ;Fg| bo/`đ}2[#2>$ݸnd gfY?2Zb/)N0ҥf.Zq*19RH9ZF*<5] yyHˑZfףTv/4=gvlxUwAEpGpgYqcPItPDO@LEG) Rо.I0Unwď5 #@\-nrqUBc6wVXhy7VzF5Z,÷4~ tIdV'YO7%6V-;_z|(O0 /7 IJtp 2{+~'2 (O2X; V˯& .$hh(.t鹛v % kӨTBzXbcDsG,<}l{yAE26, ft8[xsbt0LiOCkjl!ªj F5- 9xq}nIf|w H Tjߛ1+ذ:? \/So]9p_WIDmz ّ @R _.{%ߥ"T:U$D>V!#ypc[gޞYQͅan}dHyrz(`uF bl`,e 41ת]ȎBmyOԎC<^E"RP d mxި<Mn:OTiˮ-y;9:NO<*; y = ̰AH|ѻjMu.{֧ '2y"JlYl5}vomYed?eoo^QpWRi(t&^kчw9Yf#iB<867Znp]n\=,AFbŒ5Jo!5/aM v{>H2 ) u -iV~=RYj}5u%ӑM^Сw[컕b*Ё07kUn|_4׼AnWxǚ?69uM|;?~&z| XVXrFx +C-mJ<5 xf$T.=&Pځ) $ ꇞذ4G=l(zfҪ%9?06Xd\{FSHateׅDBИː#kNQC,YN9k^ xAt7'J庒k%PVU ?.v&"8S93hZ`j'ԞJF6ءCb_h ٷy@p~ gvw3F(-))܀JJƷ؛"O-W"qŝio%n}ޫ&u ٨QP. U-zJ0 %1miyfRX$1 0QtM?dҞ8.DXC: #GMYc9hk5)!S<~*s KMLkmqGK-JExaF7u!g]&qYP0\U_UOUJ! }N3}r(D {eQ2ro69fZZbD%E͌Sq*mX=S;nHF=D /d٘CRYj [ !fN%ab|R~nc+d1Yuɑ\n\#ƺBx>nQY?~8O}sGoMސMir?mȊcf:TنbC7K'~B[~7NteW6{v jpn8$6!~4eu[Ƭ t滋 u Hzv:aU˜ϯgdb|,z[eތ@{,V,5yTxTZω*Փ+-<ߓ Xev͘V_mNvL-!r\A!{ɻU[-%>ٗ17P^a3 H0e6C dE|!P@L}$/r4at D;\Rv0@sy"%-R9D،{'\-#h̊Vu:Y[*Xs0mFT2TMia-Lomj<[fBM@(S%zመE1j* ?EFL+U_\L3~;rcی/q?Ӏ6~ݤGWCE]K6@nr%i'pDUU5wb-cǍy %[GÞf R pbYRXoPݖUsςrYެR"/IML@z#$I s>TݟtiHJ/*&fz Il!f<" ULX!t/3+ oOnuw p i5Oz-7r?g[hyFȠX`ȕM`r~؎vƍBe`]9|hxH郺&]#=[-oIq93aZ0x0qUe)#]" ҈N9(z4c΂hjˊi*_s<џKs6Avgr:scr4R{4L7mC4 h]@cVA^ v~%FGVgT+=$/dE($סe8#\y`b:Ѐ'Bx AiA{Uu;%`dگ ZȞk9{1  Z;x~DszɆc@b6OehWe] ꪪ<%<>բIBLݴN/6_~t'0T 1H9+ؽU'lQ{>CFRPNoƥ ԃ *}Irrر +e\y+v %o[ߘ?&:i}6$:Dkpm:G.gZl;/6(K&uWz:.}Q[gS{b]$(ڱ'U<D*`cY"c*Wz#,>vDR8q cbxLB=5f;膦5 ؀c]2LTq ' E9[+VƊJ~W&*IN䍄 q6H%8ʕxCG};)Հ;cj7KZVPي0*zӡ`m%Y()}ubTga]?j%e+2צ,'|2OpMr W,߇k`!%굵څ8+_7^G<Y@* <]8bsw종kl^J`hP-ؕj ks=]xc jk2D{]KW [.,ʵNp+~; W.rO=vx)6[gu%_bڇpIP)$+:<ڂ+#N<,!zC ʚޱ Aa~,SJz Tu|y0:>*ٴ@n;:_\?4\6vΑ5U%~kfr  kWH&H^J-ܬh-9OV)rOh GcyG;T ư"c-3W"_6h 'M3SV1J3_0|T2xw5,1Rm%!XkZ\yd9"|de~&f)J? m;D֧5#Z=5?{K%teU:ʼnҏ=N%GSI;6V" K=^- e@ثla!꺁'!a6 xbJ a+6yI\__ @qhZ*2TbCpB\k0wyNS22x)Ӄ2wFrse˦P8ýF)ռYM 4b=@@!Q%ёK7%2f=2^#l@!q\dinzo3ab9hN+7"u [ $r+E-\%S^dB|5b%r ~ՉGct;b=cg9Zwk-]8b [CxgJ1⒅3AE|4e0T. d zkȪWux%@nʼnX \zL'=+IKYA r oD ҭIC\6h>[`.pp2>Q/gj5J0+Tk-iAGL b-sBDu7$" `Gr! ?Lg~5^jczk!!fR9L]X7[g`;5>'ėe .Ck;hFC.p4MٟqZo:}x {n3Ӿg*-Zs;XG7UbDSpIֻq# ޅv(q^PKQ/ ^){ :Ln$4',_.+$#IwF(Αu!qi3 GǷh\Uy8: wΓ<sf]l΁ xzxQךzJ䞴h[0ƌ%pPO&D@%B>q_Tػۻ[܆oCz5揱 2K,pksz~`QUW4=jlw<)df:*NuhᓗBZaӭy+ns,q(O)5r32)d2WI`$BF6vߑnl}s=Z/2|]u_ZXOi⵼bv2+Fǖ !$&y >Б%t)ז]3-OhTvt׈SpbwjF/DTh!jjÛ ;ؐu}^uPjB4V"8RwU%A` G.kXne _1uVgG΁aF"LRU+kv8OwCbALz`F, +nQ('- zI@L; 9@ O? eC7RHf*cD%:ao+TZ ډևRR g5,!iv gr]CL0N07C%${<6':22e')4=(dS:갢zVoxd+meLѨ 2StYmWEX