SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 &)Dl eS]Incompleteness:threads=2elapsed=661.909cpu=1043.680gc=17.080factor=1.587zXZִF! m]ŗXf1-/6vRZZ,}ūG5m'n ;=qVi7"'DYa6O@#iPҤCd ^=K!6PlWwdTEah;|H۬ݘϟ O,G$^lQs}E6EbFP-vpp:,$ 4"In˱wS}Aw+5 Pѣ.y^9.|lwٿˑ,T0Hq bDOPvrAW>sT%ƟOSf[g>*n]S3(`A*a I46sٍ!G!iZq"iLZ{C=^2ɚhmfvѐ t*N'3ze)`$(+$ xK"*B%2ZLiY:A>Wscr/9.]n|TA^*4elȴ("hC?J;DO֞_ %{mwE,luU[q]`L{5,fxؽg)+8\57|KP7#hW/idy7.,# dZ\g "J-F7W>#z.bl DQT _?%&+_0 -p^ZfEYB\dApl֒ (86!vK r-ld*^䧩j.ۗI ^ Zf> u/"ERR0tfIZ:^nbBVMuw7iQׄBxuHG5ȡ1Xij"#sĭ oZ@2 ي8_4( +)񍕸 qMBPnR_V"L) XrmTl.[#P'2oDxmd:W. 2a7h"yQQNRMPbB#[?ǞĢ3X?s%0:4 -f1fƲ/jtk `1:y)@`8oa?2bjwdOfhb DAXYAAZHIX^ Ylυ5 9=ϗUx 1{r=w4n.͎ɲw)Q`i&N0]~X=*>qlʣ;#h? h|2dc@T[5Y׊6!}8Ȕ+StFM¡-`#hsܢNn8$ZδQ]>,uv~P?xrj"KIyIo>d :VL@rAb�ecF06eaœrW } `\38V֏t$ޯEwN iČ)zar}iZ] WU {<|+}̧$['+A`<jXM|i EH%1Ԉ'0n[H Nt6r4:iF-tuJ,殀蠺+Gy?aW҃QxY6u1t ԛФe㐤qKN4E}Q9G/qPER3~A~FA5X=o$ܵjͩccڷ\4FdB .;#EuȪ4ß̔EB 2BXqы)&ӠMX"lNe2qI]"Gt]:bǶS#Mև-x`GD+'ti`g~P^k<9w(_60lx(&ߑFӝhYg#ņ΄qNyQ'#]sڟ~=fz@8]V_P (L .3\)標4`U@4DypѦ&#'XOEK"$ *I8fsmuq "faenu*}#Փz5ۮJwKdVMMT/Ur hK:}H%HjJvX:-aVGx;@IQ18VVhDiSC! 0*: Ft$|`tޏvjON>*dkY]T͉$c0KxEw5I<4%*'ã~ 剭ƸK|Za*ދEa~ʨC|L+&P 8q JNa ٹbv坮XYAHg3ewS6k:-Pݛ6Kk."(#택׊fkmbp5I?i'8 [5 qcQ`F˒e;͂~רJۙ;ꇩ_P[I%`uOYw,iD)]7.S醠zHs!p63`;YKy+[1zsKW)c%# "=&*S.j{9-äԲ5x]vb^drzcw^bi$zMO4 ]Rd ʅFYhL[<$1_-L㳋NϢSB6m3ԣF }ʷu*G} ) IncompletenessBqG].YKv\D(b~⢶m\$ͿljMa[WnLR9* !wXEcG!; `n(jVYŠkOHrq8׮B-Lj8 `-xk3z͈Ҫ݂aPM2VƜ$mu1x1p{!5V,K8-Q *mKhշ"YEQѭ[S]BM}u?Tg4ɯr`UZgﴙ,#ޡe8ezqڪb5(-^ ֐XW7BB+ؽ<9搾=:M^lR~VJv[qaɮgqnڒgR E;?sELOY=pFda RNj+iX^&-6RFaS2BLGYM^h8;/~ey[GO%Aд[*<WN:zJ 1` ^#!/fJ)gVbݥ4O9RA-E^ a*&"5rvI4Ɛ ?JT`w?K@7T_vRN(G!{Ϫ,Mj%f7.fyd,=l5"X+wژ)7' zb0,|GSsSbk)uvײjc o*%nʷ5efL W]GqA \jG5~d\3[f*Nϧ\e/L^9|SJ;K ?)v'{njXr2/4) Ua ә4ܬJEX}AR^Jfp Hs_eLSO+|_v#ܳIV~<`ZRsTdCE6zTEHC=a@bq_\g1F ~)eOHx,WZyd&"[9E*֪D((-XA|YYvt뗆IOy)((]^ãH9/"|fNuT(,fq!Uvl(W_N^mį,P d5jCwo)3C>+Z RX|'՚cp!l/ɞ3L bֺxU{䘭tÌ}9aT&f%.o=Tiʼnobh?p+'ؓi^HIN! v$R( Gzb+؉R1M,ىH  cR` @`]qb98'sB.4lyKru/27H2lzi:sqԎ6Qz Cw:񺕕߇O^ :{l+JeX{ h5 D2`?VUBû3.Z~:9,Opm0g*&Lf8bZ {I\|{>Xj&(B*(R(Mamu)i:l#tɫcZ `@rR>WPؤq0Ӵ{ʈd3ܫN?R( )qonsclޡ8&,ɅU)X3.iDpӘa>Z՜N;hނ x2ރ[Ɓy$axDK!RMpap:uCk`moքTFcU?'v,ttc.)bm}€ǐGtL6[^3@Zeؑ=hVD 9ͥ"Al=7xR \s}Y3*C, |TQ98xC\7BSbdIVCqm=3 SAy*=xW02H*/1&4| Gm[̂}m6 aWUy7 ;ٌW*iLb޳#o(+u ‰Z=ܢ}?XNa`ZE$xDOx+ԶdxŕmM 1W@u%3+s)׎!_j<_׀~NEP VhHJyУPfb!@vGnODYǣ4# TbE܉I]fuMwM2]l?ӚhwAcy,䭳='YW)?Q+D(6~~V?8*`}G2LHA5+#U&6W8T^7XF'ohK(2(G衮1(O,aγnĩ!k<5~aFoj@U_)#ZscB 1&9 Ú*52%6|GFE,Uu٥O7 5s}Ql틽#-Y][8 >Yd_Ob^豞nЋEnpJ}+oߝʈÛUx5`FR^'EDHDX_Eb* R~,Եp<)&`\\"{P=y剻3sw?lAGy' ZwB̊.pOwwVOŹͻ $p f|xhMt`5t'sL9"!`>OܼL&Ƿt:fgYZ7zXZִF! Bcxp]ŗXi%~_\6]** g UIriX\>ΫQWkWp0n00n"3sr3 w&9;8](F6`T 4BW.OH^%1jLM`MW_BBJO: \hw?ܺلAN9G:(Ӽf] ` \Ĕ A{R|z`Uh@;6; Q; 4~\8n_ΗS?">)8r:e<] B-&=RM-ƽWUv"98~8ls4X2;DL^I&=i̓{J@,B)MZ\v+ߵiKo-Kvs# sAfH=_fI#1Эԡ@.6vW]Ch[jiTY>Kjm^U5G /a ޹3~μR{Q6F\Ep>٪H4tA(_3Grႃ7]kI3ݺxf'h5*l"+aEloI{dwoy_1c]RP һ~q8K%Q2 !KC1 |]ÿ6Cg4B>OCz5È `wMٯg1 oCs/ޗͪOwp?FS2 F 懘Xy[cɊRk85%(71~T=JÜ;CzGp[*nB6Um˅x]#(׌,AQ\RO䂿aѝ}C Լu/ u!J`c?kT-D IR\鴚>:bv!/+uxfhvQۋU}'Ǖt<_Fd;$`du~Dۂ+8GSmH]knm lT`u{pҰ+`,inԇSp;syۑ+vkIt3WULDFaӊŝ _3X)ۼQq<_4Э|q}OPO=s* {m,ͅ?~13wdFcMp!w= [@T +y.G7*7^z4 ~Fu>#S柺>x7 k8Ý3t޼ЎaHd̉GG u{YfIu9)J`-khšR%gMKݢrub6aH x0LAHq}U-;Tď -oV5.\wMKTV >D`nJ\Bm:8tF~"=a~oӌؐc}"_$ٸ}WcH_-#;5(EBe$xKrM; yȩ ^lRӃ:bŖ ~n68֔,XU"^V$ʵ6ʗIP&_5n * [HRͪDVgܯ 9* l{T,EP!/jpc<0vئxbʀr d#sfIb 혯 }%[8~+x7C0٪W(9KiƮ*:fƳ=汹J@ӨTE36:mV>Kg6D}b ^ be',MJ?uyCczɦ3,Ͻe4Y۱h(GI'XqZZHt&9޳z r uPsl;zW,.I8A^oJVL^4gW']d4w}&&]:6?J[ w1 3걥PPQ+J7_wpT9k Dl d2KBrЏV׍Mǵz$b:r9%މn_,ZEsI`<:)8)I쏀]YB޹ 1DW᠀'H"7mA1jF:,JDcxhGx :ׁ0G[ˌfAjg*'p$F%W%3 CzV PDgtZr Q cG;'. ?- f=0/1zH2,}Sʝbka춼MlyU-ޛ3$rιĮFD)K"Čo1Zo Cv {iQ܉$:.ƍbed#]BZ{`~8|mzS>Y<%1ȇH(U?UpzWsG|ɦAV_dek'I!2`J <'$xUe]SDbLI+}^S ^Rdn9SZ( Zmjn{ږTR_a[Ѫ9$T rO #D-;{hhۿA6Wu)"x`_B1|_n܆ .V9>] 7j+cm3GQ^YiEۼ3*ЭS3B[֡Zt}^bbQ}J;JEdk @;Ֆ,xhn,7H&|ш=]Kfzٴg I+C yxŲm΄Q¿@i8CPXf3C~lf9= W]O5U4ݎc݄5U 0 4MWlESam֢rrD-ZiJ$27k[\%E:<>.V9/(U&-zzQU?@EAɭތ77)jf~?[\#g`+7\\[fY}v$Om#/pi.uoe?O,l + 9 RѱXz$s wҁ -5o$>$tœMaQBڲq(ku,[$gaW+9^=եAO d5 #Hho1zM+v_\빗T.9N|(,΀CA\ȣ5K|64Ug-cTB_Չ5Zzj9NʹVQ"1Wٱ JZX-F&Fv_EӻðWi.4)5AT"Z^WSaKCV͒iW&~H5.^YF9} s/|R c꺢TG)9-zBϨr[C*'@OKٌqʒ|T%"D-oFB>pӃ/Gt&hZYqo!m/!hp Y`zWj]t,dwEXժEk)6VS<G sEK,6gߤi)Qֹ7FŅ[mLEX m Ch,\@" y5Wxt1L _͠ QqТk!5ĊY w~ݩtOߡƳ@LUkmu >f<$R׈)k >T[GB6gwʛfVRp}s"rѱ1Z7\4=+4טܥEr^:a }{qm&euUsT*,i oIxUdvq/U@ zpkM{0& ` FOYx?2DXd%CM/jQBVjԻj.OC}^Gvt;gpHwjJ'ܪPCa4 }jH8MH -6;T^*-s.{ʶ@=WݿD>"ϬG6\m'bUF !*M3>_VI[ZQʬuddžֈ<\Xi PK WYgWUO#z3S? (n$-WL&7 J+h~ !>.)`RoUKESD*-)+6Va8NJ+5NF^|pЁ5tȍǮR 2_o炓BTqmņM m[77w5mhen K~~kߴz,Ov_OZcq7)e8OLl?c!I(A$^g]EF%QH2%ϛ/E-)v!j hĮq'BX>JQ0"]@s! /w:=wx'ɧ*gmc >mQ)0x`^KetK|++ZӉ?q_OO ,o5,|?ҨЕpP4/AqKIiv6@hOFϦjl$Rijnì:j:ֿW| s>]c-:tx-(֝8"S+A*uZѰkr4+iaYpqڈ5? /GO($q)w:o @ͯn+92Ѫ B5ߚ@qsZ/62(w#ryYiFF"pc\m>(-DYvvZ2X#?JԬi%}H%Byǐѝ$.)A@z  2iu_NeTRf9H~Z= "kci^ |P#Ç -#TݯLhʃTg)%M r ^ 8,^޽x}A"~J( B];$m&1OF+6@]9{ĈZ4Vԫ6z03TuzNXUl`WXOU5.\r|p~库EVXoQ}7cԸuzv4"AQVU>p]Kv i,o\q '>U /q:,Y!0nVKf 3`[]Od`\`x@ELLQYZ]P2>2=J$;pR% 0zǍAt- c ,"_,ۺ3 ՄVؙNj5ԛ:HAxU̱1̸dRVba0t[ K kQj9G=z0gAtOڼKBMkӗ,Mjjlxw.'T_FjM܏DA4Q:\E$M$GOE,+O(kuN6xE憱I݅Cֺ;gݟ{<%~>%{Bm:C"'Udxnw(M9( /L\^;U2yI;MdicAЯn{<,~p}~jGR>v{-X՞1@qiP&X`'s\o~5{õͤuA}Ӡ]]] ۙ=ƉSsU/r ~O01u;adw>wjE 7) DuVf4-]nt9@0h aXI 08שMN@*jcՓ(6w\+(8zsO{,5N_F^~sVlZ紲Dp^쨟QVr^+da\2_ȅ7a"BI-Hp_R `i ,,f5(Xg%0(k7مP4f\R]26/h`+T~i[6~L,1helFn{w#f%Ogc\HlĪKNdkF{!mEˡ30ԝW /( !#z{:}ZIRURڎ'jG]C C)RN|3x VewQOa-͚bB+7N~ LTp7R]| N@} ǡiC' !\<(AA<5V4CΫ1(JA`y20+q-߶|ݵ"IRYE"ⶮ*soc }^^V1UyφS 0]_ zw䐆'  rwlt5`_9xf:Kib*; }bR }7u%dRszє:<&u:4{k̰fEnG c<'w#x\2|n=ƦVP{+l)wu6 E#\|P3LR}" N>s2@<.%4}ٖlt?{KY6R@Gkc 5ok=|HD4%/Ŭh<,PWPuXʻ>N@zwA uۖ$w䐍@7o bcd `4orgڥ(vot A 2ۋҊR[eoQ5Mf|7v>سeGR0x кnԷ<.13Sh^x⿨=HaZuRwb1?#_QBŻ9ݩTd)5ЭI#nUȨjT 9$xe4=IC~T_xB@hCx[Lo3UDB ĭ{mck{ {`W4hYf7JX6L2oG [$Tך,-֓,HED%:}TA;X˾ ,3<\h|Zy.1wQ@aԕI#Fncf.eFyy9 oc4⻼Vv5F$+#[jk58ˬ]6dq">̏i`X}oFBI̓ Ƅ{w~5qzǕ˻Oa_JQB[Pb-,~FuN jHт likȤ*${1?/T Ѳ=M gxl i/)DvTJͪÑO77ao oVCT|F՟C[\mRY љ{)ɋ1F-qk|3qj[S+ )Mn=jJsd"sfMR\cm˭{JBcLSzRއ!drcNΖn7?z[VB¾>f(Ɔ0$ס5-QUqGJ$ÂA?Mә-䱴!N9qc^T<ZkS= Z㑅װ#Ri^t&S~d]iy4,cRf3x;AWA-Ӯz+{ʲK/h!n:pyZXnmUp>G>=0Pߕf Bc͘SHu,/0q! `ŋ 5z}MRYc[3 G:Hz 7⭰u4уTz)N9^ݪ$@ Bd$ z0J = q42.(xE\Ic\e璭lׇpa(o,#c5ሢ+#]4 G#u".b"t*hٽ zqlN$k-[.4 A eT(l5C!Ŕ8HBS="}^N!oإ :)A 3X*dpoMc* z7cJтyYi65ᗕC4R:}5ޘ`C&g.!?;O#(IWjSd#KDqS皒>M$< &t&a@ZPwBH-JN嚃 Ŀzuѫ"m9ӓ,fqpX%D TK9CϲFFc0&kJ믒ycc}H!A>N+m*w3cNJht{`$rcA=_j4{9G4b I 1~R/Fաf'_b2Sfrۅs 萈p^HoOpb"L7"cdRS6QթbЧ >"Y{OJ X rZ|м.$DsL+^WֻUl~CpD+-ax_W/"'71x=Q)L_x8X9kEvɏVC{^mnj4N*j刎 1Uwّ-o -HK$d7i}DWV ]80m=:PÝ_X5<`E0&CUÆ;V>x7E@A-sG)𤲥JM)/InԤoDfqn(iHTzu 9Jt_j@2+DFw!f}&=h'ono] H_u : l)2%ʧt#߄T3'"a{LL,V.:3B6 >;Гd3ʘʴh?І'6?KJ`~S5VˢY;=% سA4Vg-$^cHņsɍ^0ha6-~ (wN+M6E\Qe$!/F;\u߀ϥ\%_f~NqtYITIQ5qt|~nnfb-% OZtV%`O#ġؚGV9rS?l62\AX{]ϰ%bmu Q߄ wM1c-xgPіiSݭ$*H]YQ\$}ɔmy\ 0̎r׌L^#HY Ɛ(aB,-&Ҧވjd.F:FnH!ZK2$"9v q.^(<\,]%",C,#$bj0ỉ;n=cqeZ&=ɮPn4K8|˝$.Hu1۶̍U]!Œ[Ҁs({Lk*ƉO&N60_ݱ"sAC-H_^9<8 <]wC8Cc3kꉀE<']*n D!F(q$)\RsBQ5/'<WִDk9^8KB3{xV"@}Dw; ou~aAAhU}ECU$~;z>7&Z`XPns۟VMLNǺxN7N[x/%LV;ۏW1Y_rm`?/`[nqԙj:8RI4ƶHNZ49κO2~2EJ$8nPX<'񥆵j\Y; o 52V+Z1\x񣊗RR3-bJr֤ *S0UKBbKsAuR4%@`{*R,5yA3dAH7d'Oj#eQFe)_KE |Mlѥ xvwKqP;9xǵI,?&X?xB,j `320޾ ~Y5Frx)NcLX4Wms" <3^!m ۉٵ ]獧zqB[xH$]eAAoɤo*>C+? P-~QZF8 )k̦}Gȫ: #7gZvlzuC_شI6+,fu٤?+u^@ed{'YELkCh9:2@o;G/~w:$ǏEfIw[ a҂6 f *b>r2CRYRr pyijڏqAACؚ>֘"m]NǸCj^D]ܥ|$'[ iN% S Bv=JN -κĘN~zsb#l >Xݡy9 ;ow?B Q61 W>h057kuE@WvX\7۾|+.jQV 7$kwNJ5]UsY4\ 8Ccղ:HWa8n cC-1dB&:'H/<;"2=6RL@]ao/mגfDUv`l97UMCv~NRG -"y(?Rn,(K |3i`FR\Lb^+ˮڄt ,c܂^H=\l}C|zU4آɴi/ yC- qLoY)ְ(۵ۀIp/~)QL}*5)qN{JQ*ǥk| |!M@`UmVe:+'_Lj=?=Ւ$M'E%RG*Y$/+xl) q ɾjysG'yx>{¡i|O}M])XH^ x0V%ёࢶװV픇>iG4'z|zD5˸0XcU"P*hxU4CYJkSl@ `R v<9z&w{VYG&RBPK*xX- M<$ %:69hh䘻`G)W5:^Ka"MRJWT. 3t̓p2t>U{ p5ew*[%'5o/GyvZ޻Kք΁ ȴ-HS @q눨B-6f^tu$DbcK{1?t} )z~P>vL%mQT!֋,fy HK?1DM-E60y|%_-{Z#1`_GJiE"ރqIRSSS7EIqOm.wgFs pU JXѥ }X-j3TG#A3;3^"A6ʮ vtS֏q '5d’( hmY>Jg]@/*BY.kӂI$Ksoku"DU$rෙAIBV?s{-e8g4\;hi|C.[9=u>G"UVM8zͱy&j\sfHm(=2#!`/}@R빈}bBi"C M꓀ͫcٔ戶YNU؛`1]*" pEq Å\mc66p.7dj8-xtcsjb1[Rc$5MbZ0ģ"M:'Ylзtob}73%BĹ{{.bb#cHby'KAWC.F0ϏO{~^~ӖL'{7mb DB_aZoS{rӨXĉ"@lV+v$B9[AƏQ>)2uiS"~@{۝+jJm_iێa9\h/<3Yrgس4;yraO_A| uDAsw69M@7{(VXKrΨOͻz, Y1 ʓgkfc;n@nH(Y-'k MrUSl\%2&i2j(^w!6R lqFgKF"!;*6:Pdbi+}mR=N!j/P8\<,+M8V \It΀Zb-`izAkOF] mA0deE#R@?:`]Pq`kwCx]fMu#Â;@ 7H٤m&{xq+KMȈ?5_yS㓫AWt$q" .q V.1i-^r!| C2EnL ,rUZ뷩`t"஻pY2k`/j#4>8;!Dr;Mnl۬dC/{$MQi*҇)  !S̩n7+ym뙚L$)XgQaHH:ZQwo4.6>$frt>,o+gv:4ްl2%ѰGaj;0?7k]`}vBΫ#0yxgmm tg˝ѓ8zBZ |~B;7)fi{EYWP|:D!4_"jZO Bu~Ap]Af?~z;W \D#Ӝ#1! :qgx VRkz?#ݲ|B.ݭGJhB Zvx ndeн_qd`Mَ?Co:M" H /HfKvC:wG6`ϙ*'E {4ewE9Vɍ#Er%PbS w3?Z?9%ﵰURMl{uߌ7 ,ŵs^ddCbEVizR~DPa_*3EHLⲄt.78%yÜ8A*\1Ɇ~t|-3X+7)48Ttni i"-bdnݷ=}TD|jQ,:^PV K⻓D|AH:sV ~1$ZQڈHG9gf9,vB>KvɁ.狠hv-h= +I+o;y7}cm+|@rE^D7(GÔf;&&\i"vy+ᛷ:&YB+bպC!uYOfG i온Wu4T<6Zyx\ccnoKhՂ/RX'\J6+ppv tpꀿͭ~[x҂lyy{iZÔmǝ>UkId-!$P dlDCFKg֝鱷9Hԅ{PHz`b I*reK,2vrmxHTP6e5~<֊BT"r7E>u,vr~,:GռTA2B Z9~Ɂمm59v#Wyw aB%չ^(@G-KOaԛ ]L7qҤ 2LV0懊r1ÖDyQ&A=N^ԲMUfVQQn1]󬈈:ACOi },-v.92 ɇJdD /ls1+fƈ ȴ%rt fO %m~>n׍̭SH?^gӒ%''$e/\oO6Sqy ӻ*C )rt0I0YiH^Shs%#Vgp2.]se#.Ep MkCool޶T9`\*YӈՅnFu%/%,Tͯ ?LWi`>=1' `TK<+>/^!&*hon?gDv:׬{lz}ih,W ֣j%/]4}J&'t{<ө/"sicY,\ʱpӧɂ[lz 22'QIO3\%($1kaϙ=o&4~YJ[3OC%h3_̐Gi#8]Ȗ"t> ]BԌvF?m f.A2k tN1@sX\1. vzb~6P.٣H zc{][k&KᐽH4|{2LPh؅#˼t-:SCc.D֤!pCi`D"48k`w!m}'2ԥύdЎ{-NE5*@+µD387/7^?QH~O;/Zi6Gy0RUUQ^>f4w ZD.Fp^V9OK חqF& :v+7{*Ii&b;2Au >ʋQ]L:L)Ma 4D9?%HM,}f5tJh/5Q;d@44[+O'{|+W]k\Au2 GQtIX\ 16MS| ,O]QKyp fƎY ׆?v2 "IGŮhCvS ¾3CԴ>}zMY+H<8JdаWUA [v .я_ _㤨iRQpT?UF],],l0s#bJ N.ǴN< KR@Y0+tm׮w@YUbe֗vT0K#CT0qCd}?vd4&=quGnGeȨ8PsuӻcFĄ+~o/gz\#gKDFzb>s}EHAfiypd4Y[*'{==wam RrnVc;uU )Z;Q zLNJM vDT,SyH1Uh-I*exZa>E Z,Ҍ1@:r xMV%, ׫hr?*1욪1',r<(3~.̭l3U/I7*V]xV«ـR\Iކy@,NRhqҮ'!-<ѾN!A[Aku }fc \7xו'/Gi\ێ xU0tK; esUk7 Zcϒke8^WڛW};㤅ew=i. 9ӂZ1״zeOpr 0GMEL99%S,+ 8Xj3bxdqϱL}\8haa3zi-Ţ ^!r-k~6UXHPƉS$r|^VSpLǎd:GkuB^,ҟ2FG0YcvA ٛ ts!0ҐM((>%x1)ާg812|{G1?BQ됧eXӨS(5%¦ M8s Km,%'PW&q MIdNuJ=q r-m?;+1"y3ŷ&</j )*gx$2d)Fn Z{9`jZ 1UY߾vQ(M}1F57y| Z&[HR+t0deriZ(F+K BRaWLZyP" IS 6`(<Ӗ@nj=ڑOm`gTmM<Ρ 2>=W M%a"=o< w2kձ^]:j_{ťSd y^rz>_SE`bM۪b[2Ų;2 4qWL2#^1yhi ]= I8 &Z3aa364@F䪺edi8/3cxӯ9W@ KL 끒C:=hQ9?sm7Tڼ'1 3XO`*Rt]JVsea5Rxi@|UMnX;׿_P8FQNUX?$Q~zJ4q@-x@ &ޱ}Gh)qq"^K لpl\H )iNMjE;Uq~C, mBE )0×N' ّnM*G_DCkpPiS|Z$DxZѦHΉ ~h 99^;@``J(p`WuC] ӬclZukAV45o[澎sc5;2 7gGԎn+nxp:d-ͣ8+'/0"1(C=$].w/e b][b6%b]?-)oc ̕ Y{w8ONRvKˣj3oĿ$lnTQ%<c;KyY6\%R]i:fsRAy;QCR?8l hi:S | O)xZHy(+{3nʝrScqnO?f*9>T!շseҨrYSXOvMIɸBQkzF.,fsEKpw{@?PSaw<>i2Ѣ@zF*H s -¸6Q$t%|t jKGc,vּ!uRuP l>uY>9ou*\m}lY-$y0F1/!*30|{ʫ,IKӨ%^^>dfA ޅ 82qI*9R ^0laȜV 9^A Ix9Om)I[LXgV3R Ga k \ *% V(+Xgx| ˁŎ5' is$Rq|L5k ְi.~Ixa8z;!C>%$cs&OB=eHصpoY ^nrKy>*2 ? ݧwcFFv'+.5te< 4"tZ<'ِ(E;yvdQ:5yFJ1a-nӴ,ұ2`Wu|#OdO_jܞ=F$'._0'ʡNx`qV G[!6vfnP ~VQoZ%̦%wUT`IjhކǵG8,xBO+=pNOW]dybKL%{Y|LP~S1ˠ}űЛO~" Dl8Idꢑw,MNW1u1 m-zQ1Ֆ8k=0 Ϯ_XEPSi_eqT0m/Θgݨ;wӣyxqm RZxdX ?tIe|VYHztsV6D*\9H)İE:yJᲓ4vEz [T%9"$߅s:Ďݒ'#UCX9LTf><|e_q(DO^y\yDֶ]|LМkstflmj~UGQhw4yD+MfiܥDHr&,fM9"Gd̲w2@D\7mC5;" jNWjw'F )TkӞ<wqޱ[ Ij/eӎw=ES|@PDgʣaި7F[nں`f%ܧj̘T`+I1VCrlOdl*u;K|> Ov;G8an7tR1ۆȾA 0Lꙿϭ4)`*NW)qX~!ÛFb @c(5`65D vAxGuχCNpҴ=WȴRRuj~{zTL2,rݧK1!^mԴʭV}#tm.0@iA_s[4 #v##bH>@{l"/Ac(v V _%P䞞ޑt(2a{(H5OTebh6EЍJK/U1aܺu#L6ix6KCNY7 P u3nts`1]N6ɊՉ/z3V H싻WVtrrF񚽣irmO,pD6)NS{gnTR_;-BKmO @SXTo >V(RS;=F aLD8/" k- +yEZVMG4޳JJ'8n.<"Ӟ`qz,ٔ8iL.o&: !wϡ'f^Qg:Alnѩ##Vç[==l|wy䘔Nȴɚ)VR7qpzt}6n/>'dgcs:8}2SZ&"v-Zd#6$l>ruq;)I])R!3Ϫ݋ &H*IźBE#[z]lr'~8;[=ڣ*=>v~z/G7qw^$zg %xx`rx_e-W)vRCP6&C#0` nc~p5Ho-$1:vշ)FnCev>|MzsLk@Z[ ;RI&qaP;'dAvJu ~Jpg.C(ێ2?B0jj}sa38`]q @STHjh xqYbAWК$ZGA.}H'` 2wmkxLvU Aqb:3ndB@S_n 10 t^m%qjy|ǔa#xݺ]q ɅT]U1\L/; f77RVHQ1k̄K*WLŻ!(Qc!Ïc#t̶ҡ t )CAJ^wxsm'MsXv)Cׁ dJ.w#|;M*\fC0\дU?CEnXݞ6gT3dр >K׆9ۑ*vh?RЀJ] 3a!SeD6ykfxx~O)o_ir&󂅷#Ob86}BU9΍iPkXΙv/gZQ%)Bgܴ4~{q}ĩZ*rV/HNdK*GD4'D;UMWv#`^ XM 4I`#iOt l3eVT6oRx% 'zᮍ〒3t8(KaXN%k|c&:%4iea@ b8xҷYX08a a)@׆jI;@Cm猉RrUܢ?ע\ ҙhT@>,~G#@b[KHwbЀ))_kG˺- Yrٟ}єu=y%}3]zUV4#T:f:GŽ4roH5Da' uXeSnGST=DP. bBHk%H_WWmFV)2z▱ ˙6dI`M&4§9#]L4$u9̿7a*"w(&zM*]`2ouG c1*<-J,pzCsj7b":S<Ko&Kљn1wY9[Ɇ6mf -erARJԯ(Z$ ~%ޟQZX*^% /X6קH$'[+Y_{zCA*oQd 헇qbR w\j޽*u;,Yr7Yi%oHDg)~Pf B5xsuI  NOehi[N_ZI%Ij&F8^Yx6"Shb^ "s5 M0.)iX6  {v2Al5oi"+TL_.VoƝO kb,UTѮ>6@p$|< mL")yP-S+xm[#y ] `PYKY9xwqu@zi"5|1sNx9N] M6]lwe+b:Ƨ/vVOP-Bt=,(N.}{N]ZtpxOɁ㐶?*FΕ>(4Ohsv-&-|fM}Ҷ LW̃b^~gb=\+~''Reir1Ym:U.+|`*xܬub#Nx.j>[qٻAD@v<$2!Š,њ9hV⺽a5]HaP.g_[O1#[09݅+mu:I ;9Q}fxkgF7:i>\ZM Ue0bmNt# k>PJ[# zhpmum.VlV+8SfF O#"]hNʨK;5ڰ6LcS/RtN1w b#&a5ђk,vIr֮psbcq>YX @YFZ?k W;4)﷦5 :P7D ݒ = s%UX +kAgcP|чX/vTj.sʄqj2ϊؙPo 70FhX!-;d!Tuϙ}2M]M@wkm)o