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 nnf5l$t ]S HOL-Nominal-Examples:threads=2elapsed=568.338cpu=1025.572gc=110.484factor=1.807zXZִF! _.]ŗXf1-q恈ބԍW_8FW'<㺊PD?j1,q7^ <,~GMY\P.@ 44fkqr΃g"!eIV+/nSB Ìz7j4xf㆒'~#+w]Q:RVHϭw+zM9*Dѥ~F$AI)za}!e:IaҍH8)zKڵ/$x`փs d}oE+-9jiմ&,1` Rqa6~~ַ؋n{PSjq[R$c+=gPLEu9P/sf a5sKe0lu-zv޾ ;B&yē#U _ֵ NɮӪ`)-tv@ph]Vj>uzz!; s3؛ s9 b=P=|wmX/d1Ra%x٧Op\!% 2h6/m/{y)r"B%P9jI1(ʎ!l.5aPjТQ{ D9nf]Kyz-c~r{bjY[vDkWC./6巡/1f|5}(xD`SYϰy7;!QxAv`߸CdtMStWϫ>i$.Ǵ)K/?drHWu XUtgM)/(dmSD ^9L48,&p ZscJzc>%enz+ SDQ7NTxM> e$ (6GIǚ،Vh5^i9g|+)4Fv(F TV!5,ztayMXe/~lBr*rp=-Q'f;3ÂZ& ͹A8yZi \PKmbn/N2k=k>!uJ++_ޫr`WRz۬ج4VN@u͗TB ͗3dPVr13%YoU8~򃀟Fe~5Tf'ClnS!dBKnOlG6뤶VO-0n"BGL6)Q@]nɼ.9a xa}9h&Gv{:Ğ uę09M~R'p10{ \'Qp~? ⶏi,2x1qt,=W]!X8z͞?qFo»悴հwix RR&ڍ?' E;QYl #*ws+#VȃDD69|='iWӰ 1P>LB~%=B0lb1_R%Ivai2գenn b-9u)I39o\veJ7 jK;1{qle qSїQQU/*<4:D76B\5-C;2~ S[<+E oݘKr!{.1&z OfMhI!,'%=_zG|zIL 5 HOL-Nominal-ExamplesȯxaIBCķm'z$ښ`%P_͆qݦ[#ДU^c&t" ͝/zũ~ LtFgR?RzkxzֲPFUțTa=6-j҃Y@?ǿY+!C-?`w^3# P$OLo<ƳpygRB [>9ہ֛CPf-kL(f Fl?vjCI'){Ⱥū&:! '˳8/']1|dyc}DV0pP0a2w*~ ܞ䯬OPz0y^+=f 4>5ݩh,'~줭0$cif(t?ȇz渍bz2OݮF.rBN̬ LPКTSye$poRkA>l /=M툰pAms⫝_"\8Bi@LޖulXΘscd*43*yq3҂㩧\+82Z,p^*-\YGDk[<=Q"z|9 "V,,X FqjFYͳZ]IM.,'MEyHZ9ݲ Z'JkBٷgI)4|C14I2vc5to\gV#bPj!%[5B-2Ɩ8`<%ۈ* ϼqT:iъ.M*Gf%{SEL=,xآwt(=>i雏ZF߇;0V*cUnGt4Z4bpTkS􏂘r᠜0§f&n@swv0SX!4@lcqJ#Qӳ'ߪoO*\VSNE=`]Mqڪ -8̕_.C`[<$Vft[M^zGk?~*6W:JdR߮ԚE!*(}?޿?Zb{U׏|B悍E5^X9huL{h(=2SSզ (<8ʵA7]:FmJRrnW*J?)S~f&!&G:r0Sֺi1W=:?`%&ipTk븎TbB#!tp.w:dbh!=tXCtVvWSS]8>=m$h#+rgg],CLeoc[Jp[)_(/F&呒ul= yjqC!SܬfGQF=Zi 5yGUeb|PF VvfSzGGp368BY)MR@YViJzCttv06ﴦp aDVd=7޿آ@mB`7]Q|)fU;Tg"EylWsiŧInNڃs=O8Yy5fWOΏ7/mLJmULeZ1+Rd4L. Kt`D}V ިTϳGGz#pDA#<1/VG/v5IY*+ΖWKK );2 Pb=;;'Glm$d:3Nr\,Q~끊k?%Zʵ)tD2Jܦ(*h2Y4 <Zz-`I2 EJ=d LJl(',%UoTxcOC9se4ZOxrF\jH3aP)+CVHa@43 0&GG?ULQצ:r C@ԦOQ@+/hd$_'ڔx&{`+Sb_Q^) ҸҋyK3v V{ǥ4z,-" w1r~1><86g# p{7&L~6MI!2p}לI+=Z,3c?%fu;PMъW'IFrE`hQ&bh} "L.éAJ~)nHn>nKQQ{Z(Lv 9\aEP\=~maU ݓ\ umơ|#Ø7|'1zsar"8i4p12]3'h j;WRF`.YkdmY@x P~2^"qt$viÆ+--]BrC\ӴZ(b]8=6)3.Vr8t@Ic$4! `:̦#V6Y 6Mi"͉x 0$@ VM u 6>(j*^_x'Q`߭&ZV5ML02)qs^G73~D]v h ̐/oǜN5(VzԊEI^X n20]P:;{YQ]aO@w <i }ߐ{}Tih>FOmki:Lp ZvjWr&d̸Fl3ĹTbhğU{0F2Kn]hIu-nY$dɼi  Qi ^?EyܜO8y|lӚ`Ϻj nyWC"$,聠,Xbksd8P>'kky`l\hϻ7D&+<˴Cz]cmOԓԗH^ER=3R(};3FpBk,Zѿ"R l-k˯A/ˏh1@3_*.ڭk{u7AXR-f۫^Vh?f'&6WU g]mo7FoѠÇ !v/p)SӃR|7ՂdI'6N?l"{xSZZWU)m4&5%*Ĥ˥MAo#h f74&S   1gtLGnF8#n峅f>A TAÞlEjBm;ï'mB%Vu pXqi`x-0Iipۂǰ?"ӫmy撵nzЋ~~T*h%6SYQ}Aa#AC+ܔOPSz"!?MSA0k rJ2z| /[}GV !!Bm׺ܛ?ت*JyM؄ѳA!nO# bn,bTQ9GȒ璝/YӍZ*O>)!ߌʟw-3Z ,UwʍcSͭWjz"y!+FNÿ![nyO|CiAB m=rM6dd{׋,#5dJ~8e%t]6y?gYZ7zXZִF! b ]ŗXiɟ1ʹ l93攀Lx3  %D$ Le]jj< @HWa^PV#|6": uHCVP Ae~eȴSJuy"8dqRI2:FM P8$T`k0g)b{Uxy#L,J]2$m7LFw>Y;pk w3 R>hOxTÙqlߪ^3,~)u;T."yϫ,&cBNJA%.4i$sK˟Ƕ'DdwcVj3ᦋҏ{ڠLũ$xk=ƹāI9e@VhJ(,.؋ex7Q AE^1lޫ7ܐ8RMvpv/&ɘ]-KDt`w)rc[3ē6$Qʞt2C7gYZ7zXZִF! mx3]ŗXi%;Ű=F=wlP0֭E1jWTA >1?&,c-7^2VK^0w+[FY`6zZfSD,U\\U׺ 5ɈULq6r6N*z0mZ1'f809{ZRREhL Z"e:$e;HdZ,ο~Yt ^Dg?T'V̠T 3/ci:ۊJu6 UFnxiF{ZKr>OB~cэӎ:蜯G A!=9lNrYE$RIf$YhƱ$b ݭ `ښEIn_vk?l :=Jђ$u6A]l4|erpbVPdm_ *]fj([QiZn):qŮ%n)"y \9fdņ)3ٯOH-r<1!q]ف ]*/s~xG(OZk:|ضxNט~Ao8*:5S>Qy"`ӥ F i v5%ՇRK)yx% ?,*+J-cNˈSjEq8}JljFb$%zN`E)&Y|+T{$c9M t> nL%>&MXo2pyEy=B@?`m.z+~9W^k~1~fN l*jO[>4 ,fIϖ*¢rp|!PCB'l};֍u9R5bZ01{ֈmyf I>!#<Huܢ#μ;:@@ûUasݥDaS;!)BPM#h$/G-"2r_3U<*:Iy<<#B /{m?h8OU.5a{ a 2vUXuw%n$#9azmR" _9K#&ъɑw \㣌Cv0K9}v.3_VٽNF@ٚDOYBINsZ :먭mHޓb;j 'KCYC0urpd 4 Tݳ4eP6/V;XӚShxޖyELg0V-Z2tdj+BP$GXU.|C $Z|C8t. YĚA>m+oA6Ю?j:Ai:.]{|?9z\fjok 9ցǫ0ԗDcH4^%19$M0+NDk ?fE=+=!LZ>8`i5& =!Bb-4 D]6MĚpTe aEڥعZgj%:$M#CXdu='%Zt@ЗQoC$Ίdp*Xawsn01Z2KQ}О)Y7"tUgJi߈ ,{&LPݕ]"+W7/D VG4oXe&;^cfIr6n&>4KwMa:A~^SOdozÂՖ4ޤcΑj:\Ј >h"/s"o3Զ ۳"D ɓC^-Qk3AlvZ(pAIPaZ\ Ex@<ó,;oVifL`K762n`v8Wt?{/>CBUh`Xe~dT*b8ӶbqM#&wPb,s F,ec5ED I.tr;ENL&w+ȥɦ9mڠgX.!Vԩ͚';< ǰ5Bޕ ,u\h06Shh陭 u~8/ S X c9b'-H\T<,Nw㷔FZlDU:Ebˏztmw]Ğ FƇV~,4a= DPa┡MyO8TRmp}kNfvH2#hS٥RG{r4ObG)9kmJ>ՄYBitF!{kthO6`uu-X,0LlZ S"\33J fa/\$ ̳Q-|ն1Y#d>5d".J6 VD I:%=(n 6 gj§@ "6al=x[i/\L 8Dn KI_Z'"ůV( (ۙڭ< #S~gAkKJ%"JoL&"KkXlq8 %**)g`B?NN^2jZKQhA6^YeH*Qx\bh⦚!=cYm#z.v0CS{( 3}. f$ޤMV,hq2T.g3S q=z/9cX !Ubڔ)-S5JmzfU*KkER4K|{9DˤP[}! JP@KT\:Fxɴ} ̽}вl젍7dZMi 'sޒ01uǙ대K5^[\$My6u;)͖Qi%x ]={÷0Yn7krWm_/D9+$/k\àwUn=q2Any7+?9E=wʟC?w1}*%05k!CQ7k6l~4I] \]?zˍ?CQ]suS5Fbrq:Xv,k+>Ke/Ǿl1\izzC9˨-8)3`ym-Ch5׳w3>Wwps| tXTŐ' >OdlLm6)rWć\v't>f\r1zG=/d桡@&HyץnlPXzO?쳰Y݆8иb1cHA f_"4_TUڿ&8i g'gӧB* iX#݉viLd $OgͩJ\Qc;ʮ@o|| 0P=&dSlޭ+ l&@? - tP[8xq U?>W mV6չdyE,t#g_m>IۙjX68}%a wg8E2Dףгi&>_L[Bx=Q}:Ƃ!-Pfvh~r$bկt !^8%p򴱫XmJ3,̈w:FlR}1L]%il Q*gI΃kұ2Lq63H6;K[J ]ʢ#2¤bhi6"VOG$Pv=m`#em.3p$%+Ƅ̾c|Xuyz4O{RHg"Nof }Q_~Ǒ2L=.>c؎Ϋ8ih\P|A?RŔs] |K88b0]CBWܲ+?Ķ v;Kj'E˅v7*-і| KJKzWT̄N lG-"gJ[aLoMD`ϺV:+M_W]TZ8=fs'gwt*{P]^&}鼉`&!)u6M}{.S¨ժ8ܱ_n  ,HVcc{YHn֔:-*^4}9l;10Zs&}QA+ CbQ ӓ yI >82Qsy0>QAFC r MQWoh;0H㰆P}N]u6ԋD Rx~( :w{bG˕m5'­m,` Pc(rN ,(s:gg pєNt jJ~am`#t`ϺEȶ̝AtR*(wrLjDKTxJz!TIDL [Ni ȕw4_~u3d9D誸TА\7cqʂ{+@DC`Ę&+ޛh{`A|B xʌVB|xH|tajf3 >u9?7#xVIE=\!slUTf`WN f) ġjR\/oΆ窄B < kgKւ 6@ Ӻ7="N;!.&ȯSJhҁ=zt b*Je >*l_aGJxJ*,o~#/ cE_~ N:Yl8pB1Ŋf52  7WyM%چ־'"$p%O5*yC X~F 6wlDL˜9^*ʼ"D|u־s5NmQ0Օ.};D=pVN6b=է-Ů#hs4l.j#jϋLK)Cm&~kZV1L,qD0CQ*+BhN]^z9liSck {Ԣ\^edYy K9(*ʶcGM}:sjoH1hC(F e{,Ek蘇 Qd"AɄi$}o3\[> |2l ֒ AB'Oe%Pv\_R؛Y“lm):L=yb%.MaK AWA'Ÿ)\נ*|j j{E˧ Sf}R<^΅W.԰u^tT2XiFs Yߗ_c s"/nT̯tj& ldwTm~~W=r,nIn%THeoI  ڱk:]Q6}u%͖e=6iB%ݸ Q|/Eu<ɥXD P*MȊX$Æ#a!ɲ,RP_o܏|!H)wMuu=AI2֯?Cckn@)H4Oo4 ad]Jd};x(-'Ҩ9r0f^̦Ҫ-f‸yVb2szHh u9Zp Þl" Lev'H-BpPE^K,n^ON[%;32[Re~M ,`OrĦ@M2k0)8^^Y E<2TSSkģ} Q,x૧`*Z*I>1w@wxߟQ'ҏGzk{:礜H36C߱="M^FP4ѷ;31?gGBj. AF+1Np̮KxO~R[ڟVHYk #@@@=!'8]%XB[BcGn E-se<%x\ FtL'/l#D |9ʝ.tc{[M@R x#:#8|j GiZ~Qoȿ>([-nӒi54'cgl[`k OIk*;vT"Yϋm+:hVu8`)J%ސbv|VrLp)f=eӭ:^pƻu'G RK+HᠪK㴤<'G<`~;2ӅZ,Ƹ!_iL-J>Ķ qYiF%q̳n-\r3FMГFה:jĈ0e<*nn@l[)a뙳[}m*{*0@hb}eQX=O%=}lzF,/Fu` {X` +&4Fju>(/ ?^}#F 2"q%t[ڂ`$j%)[Dys8q罿8DZn?Ԟ#'·{a)V'z`_Q~Xz5*= !PB@@)de*JfϽnڤXV8Le;bB4#qF8pp8 E7- @-D=ӔˣXKܘ[^( uկ6=het!r.!=F)%KIklkƅp ?R5\;5uЕ~YsEϡ yqaF3Egkh}dg̓V*t>}>O, ]!ULLK$ߺe)ͅ}̽m.ZV eU%l9/f̀L[~ŕ^ke:yo,%Nq*]l]OCBRUk)HڐoH6ȵ/Uql}=U<)7 -[\ dP'\B-Q R5DFyM%v.RWPah&Uǒ%ĦA[c uyPf5>a;X3hhFKϤ6R=a&'6"bb.W#>8dۈ6 щJl^C*:2\9bRDm<iFcyJA95Qy4$ݚnB&Bh`o ;Gg7mUJ =qt\2L]+>SO(lkuɺwe$f/ \uD4g[$ފͲ5E\Kb+B~gKcq VXX4O8EթjkB2hA)kkb[V {^NÚ]vwxǴ"B.&jՀAP>P2EEۧ7;g2iy䫒r#)7?68o&xŎSR,/R/Vi$o 5qs :"XFug_vO{#n^?~B6kk10YpSx dBVsfW(Y jlQI U[)a4uŰcҋ69֝sPdцpn3˜jrP Ċ If=1VÇW=inZ U3ޔ=`RBc_T,pshym,+<ARr1*EHԙJ=BhFCN+'.j"t"dNUǪ[Q-<+.x,"_/lU.gqɖzihdwǰ͆p 5u[zF;=a-Qr|0C)!@Ԟ+%XAyν'1.*U{[g&9y\rp~EM9th7o, 槠I:Wy x7QVˢ2; ̌!8ta:7?ǙH .+6"M%}w)mčYyX g2Ku%gF~%7dKgGEfA~ӮLe40-X0ܣSf|f>ulZi"e#Dy\2"f&eזykS[?tC #bK~m1Bʛт;ËVA%?ȍS!jf0Il2Yzqp4zz?-!\"/Γ}5fP3Ug/^~0h`<+U텆SC۪59O]`xuz/,pGH yuRzJֹI8;⾧n՗H|sujCJ?.WJ @Tg:bRjI6&)8Iն .WWq* aj}~`N6;8L*4}ru=\s1L1ܧj'3"5)W߯5,lֺ I{;0OL'wxz!Df|#, Kӽ3Ĥ<l> ~&xes+sI4thK $߿Jin#=5:3D4.:pn ӧ?|]9# u*.t$uTHq O tvZʙ}KbwډNyXR;s-TVD" 51uHfLYa0/5C, )<(v :ڵodbplzJ٭0kMq N 6rq$s8Aa#-%PW.Ƥd?j/Svm ` +2z^î ik$zPWa\m;.B .`~Q8ďJWg@|^^DdUs?JSi8yQRoN˲&mUm<gE.葤0~N 9{𠏇 t Yi돘~ЪIX  "sl_F7hiХ-cyTD[v3pQtl1Z({Gi]Z{NXnsW᡼EhPE0HF!{M=c!d%v cYX~޻),`v~tԱLnו0vs*m'2Ny?IqV"i#DMQ[bJ~M.KjD^. ã<,>H8gsv o ONn"~M h[~/d!OaA,c rҌ-r6rP!n!)Dx-4]-EbK`enCvl9>2fPTeC)\F~;KVϼ=澒eVaC +CF %f  ,Єg4r1Blfvn^'K>>dbQ-,ƒt/sP>WeZ5Of@4AϢ?#˽ 8U=il'[ %oB&!OiCta@ʘ||ZErP.)[S- ,%W@!.xg(O(ioQDpkݾޱ'bvi_Ʉ&h?sX^!eTB,v 0%761%scEC:ݦ';T[QgH}@=J?p Y`IX pZ \`g Rq#Hn${ɡEF~h 16RH; &CbWXs  \HyW-h">8E|g1a=!&Xfm;\&ۻ]e`v],5_^>]jfٚldxJ\2;pgG8#}gpCTE&setުH`(%KenxXx0! Ad#bZYJr쮤6pUIf}×qcZhml`4Y9ՐФ2rJQ">ѿn5{}>2͠Q.лy#DEX7~z䕰)R_XQbf5u3L [TŽnAç,c/vZo3ѷJ;C fyY y0T"%Udi@d@bK2(Z_]E t.%LB^Z=R;1rS6а0liji3`8,qZ.t3銁2BcǃC5 g:}o$Yh+PTqdAW7AQYp/վl0{{>[:"Ydy73KŽ/*80&0WU2^%ur>Q7YU"W>4J TZ7("x%!~I }J>8e!KM} QP87%L_lF18zYf>5t|<:^L2ӡ:`QG"o8/HDgٝ_)&6MW|ūm0-ٰ i س[\OQ&,ZuWqor) 3$<4?$X@x8[zq;-d[ Đ ˴ ߍ`/6}-e?PVa-E@I$8o2uӫi1 $>s9ƁjJ}ZoDW3(WÄW *or\qzmSNkGC !}SR++óͺ!lGfE5-)7}\{%mRɖ^C¦RԮu_Kgvajθ ̨򐸟ΕmlߪX}5zmh n,i13»cLT&*}ޟZ _Ź}xՔ3\|4їb"4RdλdgT3 a1xϒm/vD}eߞblpxaK)D۩,7T QMvѦ\'^}!6jS Ձ()#\h@ЁkcV>V*Pna"$Z߳j|JO/HօN^? #jYzW{?iD|2Ws(R'!{Éi}⎡[*ggH݄feңZL$8w[ZIqGtetʩ0&Od8zo,fjwߥprZǍ\Rdb0sMeCs\ /W2}ǴW/==Z˭A%x3nn-uԸL7YI9c=+LKH#9U M0]ahެYBTzv.~9+ڜS8r it/e^-:!Կ rE5ED?Ez/YB|ӗb`$C1S#ekRf^)ޛTriigP:YBuG`a[OAh9p=E|`ny i(Ўo@z 2tV)X&J -ky&ڷ,캅|$*k-j$]S<CQa嬝S l\i<1LarKx{?03&<{d7 ä`ru2z@ي9)tUMI$Nɱ!TlE 4"fɐeRFh׉=+#^샤Xs[Dn wrlc^%~e`Se(L\Y{fD&?bHQ?j= l&C&wþ8n5+lvDqXn/Ńe 6u˝)V˯n#w+6Zl1汐,]_"\c7މ"9Wz6Z ꅳL8Nx;6+b)b `P^ s$D6]]2P7v0zpǃby:B^!\w6I?BI_] N =mhq20tQ,T23Gl1 fl1g,2Վ40CF` d`0.aPa@F(Ff ~60"*h =+:owU$YZ%1ܑ]̮-MI 9:x! ؇aizÁΥlLFZgCcd]"r'V 0Ա zWk{d e]R@z 7aFkEGŬ 5"!#z!(P[7&vuvSR+k-+G˜ aPTbrRlɷF$j$%ε`&۪N8V&?%Oxޭ>y. IBJ9J88 !,98 MD㯻ܲI6SP6!vv[t('םk\+綴7M~b@ fX8SRQu5ɳ҇ߩR uEoN,Ȃ9~x ϭ TB):Neݑ136Cժ/}rz7 *Il[9E`. w8pE8Z5MWyXSvht+*%Xȑo*.)I`ϧ#Ph:4iS5,-=Kj7cKOIg-Eb;\Yk2DJE:j,OTV>N`=3wBXvc49?%U"!eUN2 UV'{Z3)D-l^sT+ H㶖^<#Lv(=l+q]:*(镀J|&#Wҝ й )rނ+ řD,6z| 4yQNx|q? [1"P4js x0;F(+딋(SCz{J}s9m:EH`R߬ā-xt QBmC]2 H{]Hoz[{NV;l& +T[}nU {8(0Xh*a:Ŷ&o^(hZsvs$1So7}2(x%{Tkg]q&pJz#&[ai\X3 ȄdyS'byVEZ)]s=ݻ 0%3!HAQc y~/dʦӏ#RMq0l~G;BtS!&eo;}sp0K{o52e|u$1x!}zw,.{Ӣ̞KDPw&U! RCRXS c 0.kʫU^2ZP"T ?Gfbv"ȢٱJo[*>6`!(_c~dT^icGx-`#IoͼoiD1v$$Nޒiv+U-Lc[PvgJc| +0О&]Wv0С6#`ꭑ)zF3jw7Nyt{NenGU.RS"h. '~LLϾkYӛ(˶4^sED:"NE(r 8qUgq *qE/zP0f/Q+P c4=[\eWę ;}%`vO7ez'2=kV暀6ˏ :2e^fOnj:8!ڮX(jApчD# fE<myu&lO62s$UJ/-!Pu 0Bejӫ&["S(PlI6czEGT^z6e]6c.>9-ՐBrgf%_@"usF{PUjo0^;~TDӎA{ ǗMJ\V 2/7-4@Ww)^ښTE6>6I0>NI$!%F(W;񟍦 T[',z{>I J_H(e њ2(JF~TBqE}Ʈ./y:,%1[IRdd[ K[ -!򞧒 (}z>3ۦf䌒œ q.x0қ|4f6 #PJ Ln.*ē{4@U&-C82|<\rD)$Rf}K4-Gl^%MԱ-ݟ.:j&UdͨP^ H;$ b)}4P.^8adًQwaf!ұkr\?P.saZ e⭄ ;vHgvYQɔ$;RVoLd~=hD3ETn)+h4팴X?OKNO`* 8G"J3ʜBr$Gwgռ7zm:;+ڧG,SOiR`-=*үEgBnfDK$QфTH3˦nk`,|7@ztqgaU-Ei8)OW"%q=low"a/1fy ȚM}OJ oӤ҄ a诒`gU4aZW@}r#nE\=ML7n񷈳,;%iTip:9[og䐔?Ha9NA {*RY0![@jjwe#5F:̾Bfپ뤌i+.FUt&IFRiǴ8+Q ZE8*{Q0t w #[%8 <%PbV@jVo ׼oWAqh-eHAwl:.'/YypVajuLeܛ h|QN=GW gEz(9Â[O*Z GQT$*ҍqk~[ |V|U\5XS&BT_TjԞ8u[U*<8C7l5'"l<5 *4Խ.1QJ3T=, ;uW*o[Z}dFLK j"7%36Bi{5iMKFѴP9Ūp˽Oo\(J鉧k1&پLy#ՈAQN 5_A_F !Ɛ޻04+R&Et2 Qk)cx$sjI.j֛W ҷrbhxone !tV OsFjy5xRj%B#?j*`6>fBi? uޘߤrE(k\T,*-K '6D@A[8 ί&s~%{JzOi?/ʿu;Q ZvJ.g)/ִ"Jnhnjh_5I?9XXL{O7.Q#"pȶ{3/KCŘW|[)W$:Xp^Wz`d6!/N\!GimX%SAp8^d8DK-z<4C6ͣ/^k(Ymg}KJ$ Hh\ŵ)xw @ ^C㿁1b|]]T'D`qK5Q DNk>FJU\RVTR _c vLJ4:UeX"&] :;t6i\=<-bg򍩬WRqJ|2@uXz)d'!|_hxd Z*pݙ3Y9;o/> f)4 u-t>d:XVkÑ=֔br.>9Sxxk+Gfw]G(#uitHN}x ΞQvRk2nx?AD3q#%Ut iEw}ωn Sq2T*vL@b{1ćMVhe~5H8Nd--n. ~Sd7Xpdu WrPa2'\BҍB0!"Ѝ^{Q`PTe#vG$.9IWYc;b+2/+J2Y*LhDi 7T+u<0pzkIT1I̝qlhlU>"PT EiF07%f(UH4k zMFvOSw~˔f[hl}-R83b D)b#…^$7BʋTz$[gIk t־>'G,Xh_YbyN$45۸&aTX-bY$n  "qU>4L2B2߄]WXF.zwXF_dp7G>K UZhEh:O-F!s[0@ kǧPe,zHF )w~ 23]t])RG'-\kʤe*SA9p|OZl\>"w, ?[nj_ٔ*6 !\ۿLU\}U$vCe!An2D4l0ДBfq,Wpe<"fl4qLtǢCԳa܋Cl̥X,OE_ll ľry *MU&bZB`Kzdy X *S갪rIV!T/yLrQWieljQrWO%׍MK2T\0aW981\QU8mӏܡ(.`{s,=L㥬b@se/пb-OmT͢ϫ MttL`≄iលo35>WԈ~.Akc#<}E9>MݞhAS.;q 9q t" 8>`P)r"Y?At@І@E2e.'"xեr70{"mL JN-Vq!怌U*0x5xmHf4W&?nМO"l3$(d/TyJ̺D&2b݊/eJtm>=c:*љ4ѶKdPeh>㺒*7MysY=\/ÒbAUџFϱK_n^W~^lO\3im?UYyagf|%e'),4SsKf 95ugx%%AӝYۆÕ^㰚V ;#xΐ?|ZGXJ̟f şk H5ERi1j'K?";YlQ.D5ME]g8_+ 1}5Yw,_)T+*,6EUr@^/d$@96B$_uR>s?K (U?B: Ϊ洖G+s6^Z$ HNRҶ2V7^e$WF6JS nhǠQ8~?NSCnkbwy]D d2-|W;ޜ\i/Q _Sѳ 9au HqEۚ:/t)O||l bg6L+LҊH 0Jkb]j3/5\$bJgdrV'K>Ck ,Z玥E:y~LklMAW.&zrZ q?Kh,}Fqr:!̡A|#mh'fϢX e)ܩ~]Jww;n5Ow7Tlݗ)D1B24vټϑU"^(SWB;YvѡpF^Za,ܝw1DyD=<-X+4qU:PDZ~fCQCo7 ƍFI`9cs|f0А[+)4e0ws;7mG G@ϝcF0n }pm$~^wYn0AgMǒHQf~>݃PSYyE?p)-Fzu >8/׬Rd('~Pj%lUZ ;SwszDXu! (oF}SG cRJxI]!J<>-\ƙh5zbcksMqTZ4*􅂞׋Xz1OHrhO`Xa. QjZ%j[?R=,@& EC_miR&AI,ѤF0g :-'[JcQjy#;v.Ml=+= TD4鍃1U|.)\6LS_VF4<2ɳHu-`=;ՀȒ؂7>N> b%:K~z}i6|j8i쌫=1 V0|Ս-/B8 )viwS-D3EX`tmd5e@Tt? %\6/&t≉fcLU9A7֋?OP@}'f[E< ~'JtJ9jq3k~C 3;vcfUMUي;,q`R$K H8!3<6JD U5ŵ+L u`:&GC|!~@Wg7 'ي/ [0m_45hF5P)H`7FPDpK.Pηeq.0*<*o(^S#.HnA"Q22gv\lOpOq~?Y&?5y6!rSI|xeQ8j҈۫0EfSk&?E'uMz^m ꏑdNW÷ ر 5SCM1uxנs@QVhFEid^M87=,)Ȣv}f=Z]Sk `4CZ)~PD*h^uV!S )_l1dsXIw5zA0|lPK.ȤqV^ap3AA;s'R_`s)F vQtFemi_c+a֒Ɍ|٩CFwlBS,[8]}uSL /}lc)_a!@ª^KvjJ!2 [(bc:"fD;dAMQ2F,F$X d'2dhXZXcn<[6Vd~9^ ~^G܍=F_L8Ya%4xPER5.oWx-֦P ƪ8:MuC]B$m,0 hC[p VM4ev,qzdLkGV B!Ekٓ~mR:19mqHָJ^#4KR3ayW ̶SV y_<\`4;Ӽ79HAjozZ=;mɮQPt*tG{ ųY_x%rj-!t:(3Au5*n jگh&EGhɅ5-m6rl58t}Pm5~FH1#Gye@e'i6,ߓ$` r_/&c`K"x~&S ]a_J]z /1v,GzOP.%WW g?ӓE%6JD[]/Izw z9ErK'Ib?H%b+3Ưf*ѢDL7G$z#]EYYigv}+Y^b\UT3ahG] wGoJ1H31`[;UN9z-xaW<ä* &zb3DIQCmǃulmZeeW Ͳ>y^J5f˲FZBl cl%qA8RYO?T*-˝"|fDM^ԢP|OdH9SEږ1>z#pR#z7)#ӵV\WI||dGYuQG,͝E&q *Xqj=zh?JQ- ("SFve%dUThJBs^bl~9qK>12oʿpAWӳёBdh&rQ-3pҥ0E\g;aP&oи4}:Q؇ 2ߔ"O(!^HPOI8)wH'15EsfHnt!oP*p=G /ԸDOOM`i 6L|ɜՏ j\CuùG8@>,XCU3C2l}P5)p׀.@I5~༴[ (z+.[j&)*2;-BdrZIK$џ>e15 `87nlfh(ݣQYm'.H  ) aIawJAM%WXfbF5I/<Ǡ$ I.CXMB,i:ԇ PP!Cj<տd[ׂ 6-K?=5,$h&X#VlFETM$"7~CI3I5tJ~HUcf3"ڥz>E0w:yeRf VH;.g?<> e,̡ Qu3dXDoCZ7N7mo1I F%u >D6"UTJUȯ$3"wFmel3#\Yf3?\mzQ*9AT&xgYZfd85186bbe92ef193818c392ddf6ea5dc9527685daf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5 acc1a01ff3c9aa58d6357f601c4748f07f6c9558 59dff122503aace3c9b0a37625d679db8df80c9f