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 Q7<,t ]]MSO_Regex_Equivalence:threads=2elapsed=807.568cpu=1023.084gc=41.112factor=1.277zXZִF! X U]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=3zTs4PZX)1d?#I'6, KI@pOqF-x8GrX WqSb`6 kF%{d)+`=KS޾! 4ΥgmeKR@8N{L@iT Kж=ƚ>^+,~6Zt@0F yr{De~(ר 7 MSO_Regex_Equivalence^ZL{KxiEWWv[Gs\[pd(4_z5ۀsV VܳU6I^۟uCO+0߽ i㱑ܜ(.G~bhTs/M6*-A ~Xa|qY jgC~$\;Ec~\A!Њ~#jZ4;Wn =م&`` Ax8^0F,ڋl_[?AR %Kd][3XJ\iՍ[_,E]'~0{xKLs/kKY/$-4W<08 DU_2 L5|<M@y;P}kI@# $ٖf(-ױkY@'^]{=UL!9CMly wٍ;,%ҋ]'#n)oU`DH<K>c]$+=;0G\q8pjAsEV2"b wujŝZ/ҍ&ySQgєÈ (0D%^/_zLI)+(vS8Mn2,D7/hoI{[4]H&B}է fxug#&S*sTVC ưMjl}*;z~NnW90]E?T&UCQk\{"0xO,)`*F&Rj~aE#[&eXAkW{r1dNze_j B!iՃ^GnME Ƀݗ Y;ߧ? EX3'۠*O {S"5u4? (!JVIӷu w;C)d~įP!ԢgrښJn͜/^"}S-n~+EGyŽ&ebYaY?.m1](*Jɯ{6|aC{*wG/UlktM|CNZ"=DC9gpĩ`=F/È ͎_Kh1%ᐤ-%3`Ar}Ô>gl\r{/$4 0bncQ~,E"w݉=n_[gphcWw8hƃ(l?:>Mî+gA98,v6m M0=_9%ǎR㤭%`;&ZFQʆSAkdd팽:Dd_|RnSoQakN$LWb?0gYJVV@,2_N,3w-?Iu˗K.|]+"?$y;Y|J<qVwۖ[lh_>bc[<621]@ 㳭B eApJḏ\vŖpc5@i˘mVznZ/(TZOT(`tF gJq"[(K&\*EqT~= mY qXK#k=X_éa.45-Vݨێ_SwYCJM.huchG G+gdtøOpcrdAt9|hrOp`OmQQ++zM(WJqL H>EcL5ͭfo|HO4;Xp=;!c`O-0h Z8pQj>Жne~Rf:pD__)2a{C$5溠)Ԓ6 ^~~Ɂn^6v~4i*?y)BCM.;Š\w,;܆taV"7%ȏ#?aI5 Œ6tV 7T@﫚*P (L0?{ۘr2%œ/gEs^+(3.ZAw')mJj-yXE)H*S|R)0rBWx[a;ݱgYZ7zXZִF!  ]ŗXiɟ|E\Ât+.*aphG)%uG:kPCA{ L`:E09Z"4lO2cɔKI<?=k϶AXiHo(ngmˋEt7=cc6~giXdjk;cU['skB$-U\/$\; %OsZE!sI. jTWے3f'9\sٽُp4+cLNLnuc>l <řdV7 [Wk}lF? *A5~N ӪZdihoL*.`˿Zh7KOȅt2H5h (p-_OGc5Yк,fQKQ/[ST|YFcڭ?fKĖ27(yb]rw:ض7OR%Hd5:$V͎d VZ[_++<wAn[gYZ7zXZִF! ׋~q]ŗXi%6SqCijOLWHlidZ`³:4!gB(Y(h5>YJɸ9pŚ ;nX+tEeɋۻ_)P a)@2Tf-_*ڷ7(ԿLwWڜj{P덈0.SO_ F n$gMlV;ښ1cx 7m#8pWsnh]czBv}kDdÎU䭝w#̔ik0hq1*ܧF ߛ҉7* !M*nhjj>'  ]įĉ^ݧ5N✣-Rn9} ejJuǝiYgXr`{4%\ Bm>Ä~/@@Vʢ^11 @vgk-WiI!ai %˒kG΍:`RTfClڕWz->,h4FO~uWٽ[ ~Y|eV m.d)Wlܐrin^%D~HdeEuUd=Wߞrx棌Z[7ݰx70:,"19lJd)U^B!)P(x$<79Ġ ᡿f&W-tҸ_#w!WB6M@gR/FϚ607,P=bJ7rFSUU[cҀgI71j ]% qj㗺Z >ypr"n~כtϲiOzpufPE#b fA%xdz1JXj?zg~F>ce ]V۔:=Ce BI_6> Ў G,Yq3EI:~N&C$G7}xN'-uQ4?;z·/A[UC B0#¾癚vD3ΝE#Td6]Gs(;tMf*4+p{P׳mH񹣇}d;$l~ DD KKf:8mr oVB׀i ] p0na%Ni^f仵 tԴ>s3G}FǃFM JsvLgu)'dRJCa+ʯd>o8ZTm?tD-sM?A4&wjko>% 0 wYS|>*Z;g贉um1c +P4REFw<`Q~av6[so{^$2fN%*-- dhQ@X]BjPbW-1JRqYTXN_=4iqnږ.9}H6٤rytWQ(-|\}vm =oϬ 柏΁%6 yl:a&AQʩ"]GjraA_zexšH2U3vuTp#?8{ uYhixz7-9%AIzܾCˢnJLXp21뤵66C9US4BnRyZYQ%TٟX& |ǰ7K!w~0Vc~ƈqؚћG鼚_5c#*PUڎACw70? gؙsJ!;)?t² *)okt(I?pM1~H`p8sm}ߝ*Z㍩ ~bWdT_E ~9 Aû3̨ޕ, zq̽v&䷋`@^:DR<)%%=J祿,O*1UY%< ?޾ %Bc|(WyyLcX59^U wn߀(;/Єų"Z2b뢄id8e\oZO6HhkҀ36!OzvGiN01Zu|8ƽ`p_}YTU T^mram}QI0``+.W)V5jwRòk$F4 ~܁4|^UUp#.gdV<wOH{8ml7p#[.0aѐpFV ߱)Uϫ0B&KiC%/X}ZW]^$C*H8(TB8USS1S iMt" X;w>ǹN_|x_Z؀/\L= `<]ĕ|Fk5{'MA>s/Ymux㣛r׻KS4^$6}2Mz- + eɆ\k ǍSgP+.ddXWW *t +xft=P;lq )5H̚o :uex?2q$]kS#L%oj$WV ֺ֓@6- +`v\Kto)6l(RN4VV\&rLuqqSʼny[Y]m>1jځݨH,t6IKӱUZ"N1*I^]X2xv FҲcC<=q2W*lk.(d u;Qmѱ;-v̋f6jMiU=&PD%fSłFq3(K'\z,ܘG uwƑG":Qg,CǪy@ S20ʾpt ٬كs$9Ud S nx&/mW2hH}_,25·XN4 Hs٩:LV`7Pv,_r[ޓ>W^z!E"Y zAe|-G2<~lV!v3-M5u02 Vb۳Vn` ٱi(ŋ57FOIylTU?Gz&uiߗu*[`R~ӈ㺺tȉ!9qH˺*$TJ- s  ByKPjw8~||d\w]Y؇(b"{ gHJ<ܔtWiڭUtZ-}rt:@a *hM0Y{QY-f5#*K %5^nl!K =yg˷>&E'GJXE}flpa >}םަZҀHq$il$&a3EK?LA\4`\(s57?@,ZV{&i$c|so-jΧs_c臭kzh ӟv:,MY/L;) ;j/D"U 9QmIzք3f&[)W.8EnC FI:bmۋKN}%}jEI Vx6D$ɳ(1SrQk:PUZD_+s$$XZ-, EJ`Se{+/EJM8YE֌7EHXwz6:ov3 Q_"lČ[ \ vm)*8t5R5^{F`b~U Xe* FT] bNLP ,8ĥuw o5ߣ .ώ'X{ٽ'tT2H:iqDHУ1|p?ojHb,?hfӛéQU)z ΐb@YPykf8mzJ*xT͘pxGjW4TV󸐊he<W{s0ةQܔׂ޳+J OPv-wN*=e7YӿM1UCdČ[0\e%WV℄Xʼrk>q$5gI{`Ll!7Rs g2VMaLdB$KQv+cE#%qr3W Q$Qm=d`@_J[mX4P#Aⷔ"`"yksLGfQqd͐\DFwյb& ~VW ajh+35{͜ǃt#ߌKQ<4eH"c +~%$00Kى~pvC-nٛ6uߺk8&A|![+/T?>D.|&+ 8_b-][kX>%W 5C"jh{Vs</  )SNɈy.7ͫ]2QMo IsV#XXoP}fԡQKCFiJ~6M^oh+ZHnRxmo>M1DjBSD{O4A Flx*g.Di%cWc=ʯrT%i+>)^{pNY>ɐ(_]š"gaD ᳲn8Ev]`M[LaD%Oi m>Y 5fLjሸ!F4PWeNbme4Rb(ܞwVJrb^Zm5r I]NY~s&XDN+|] 1ٴtC_6exV-iM}IH bO+vb ZvBZ<' 8HdfMHdM&{8Ax ĺ|~=_3a!૵gKyY$1\мsboOA+1 y<\©gl4i7aE!5BlZα(7/$jc"7Be;sU tYrRH ŖHDO5 8AJwkD8*؝~hw]?C+yH3#y~&wn M- PƃbaբXiy 5Fe 8-D@_ߎ^ezM^0AS^nghPfi@ ځd<`^޿J4u_jxU<|Pivʼsjfs-mqъ|g,BXV"eԝ c}訟d *){}CsbTQD`$JTDD⏵kM+"_G #{+,Y6yFb$hb2_7Gj-KYqɄkhO| ʹ(K>H|* CS8#(Pzx ,J $ &7#=tkp0VjeIJ{z(U04~mi̙T#R7g8Z.q[ cPq6J#wly,7%H5x.70 |\f=G ^]X6XaYti6YNǥxw/6u(g%"o̢*8RSqxE 2u|KNjJ#XۣW$nKP$}ޑzP2rJxUk8d--眫TvlޱP)R:o =&JCJ:s^gK"d}⤖"h޽шƂYOd"$4FaISvd>pK7ta@?^ؠF"?A@N?ˏ-3N(53/a1@sbqX#Chєs"fV7&GM ~UJ5%?lDU  W.vr[ocXH"[cbrŒ]=)z*F[׳'*L%"ctCc#ѧɲ (flO ㄯ: "(tĸ:~cML D'eT9Ra$4 5[]5 O.dc%G*(f5- mJQ5UYÉp髛ߓ&H˙GM!nzNJ W#U[563&҃]1&M4Gh˟-@?_KF4ʂLKm⥧٦\[dҗqk=/Ҏ=}V]OH nơ+"A %;葙nd)M#`pØPs=?n3*w|'D3HOF /ʒ-+,Bxzxu>߆?a͌?D?F.՘˂.jd51Ki+6>$,HʇWL{HzP>ٟ ?wtȣYjlF0|…_ƒt:8Q_wFāpKx3@Ɏvܻ=T_%Pχέ ?'ȶݦ" h F[  B<ޡps1^h1NdbBk+78dg$1J{9dnW} *u6t r ? jr gѹ5٣@CEO9c n}y®HwK{ݰ6UZvm4 s6/}~:E 381\ 3=m}*^hcx{ 5vc 6`4$^BRHI%qњ ;!^ap/Z' \ჃLԥҹHr'PJKlH^j"s.y¿~uBִ3P*l Ã~EZ7^^!3Ő(*k릓$"Xe??J4 *>m}.&|Z4dnf]<'sb܉pb ^o<ŀ<ױaM_-Y+~NFmaV9uiB]ƒcRZ{8HIb,WD4s\9Џ)DZm!|Sx*6?6kv>7on-b 3+b>:6H`*LF9/U52lK27ZOU(r((s="]M(\JK\{Aƞ奱7x7E&"ř[4R\8ɦ;}g. Gh?p@ؘ&֌-lo y5=KK4崶 W}bE^ Crӱwzy*띄[~[= %FꅾG% ߞ8_ G~)Z -$'M&t3DcPk%*n l:5J4kH@}Rs8)Id Oc<ʿTYI,v?G<#Ѡ m񅘘ʶ@QcVMvhGY0i4bVz_<0lr*\HC]tJp-Ə>)RXURf~L'W+/H~/$dU J1 OD<Р|OYj&+U-sɋ2WugZc:!gez)xA5l2.hc h5:,rV*h[=v8\' Fg?#X.R]ÄӸ`a!< Lyr=M7q"ֵ7X*,5֋*dy P-<ɆIfm V2CѶwJP"53:}r@}@[_>(9 `=Q Vd暣YV0=LPF9f;uݡ.aoQQV[ #o[S~0 ˏZb! .X% ^ /qՇ[S}7cx{`HWc32ɞ!?e# .184'7Zj]1-4 )qL5PO-oQ-dzajǂT.3߰3ಌ@Í| _ ׻=i{~$3Hd[n f/G" S\b~?];LnL榤\`jf 9wwWgӚ*]N+];9)ƏyG[;*رIjij 6Y/2E _0[GC9o"UbwT`\!wv3Ϫ>e }EkqvqwCPp:R=QP~› in4UhQ9C[EɀF7tm)T @V&\k͋!AЏcG޽e#o(uvAN-6~ޘUo 8}KE 6UTfޮ敮ؽnYZ ^}V!~L|iCG!p :vtrii%wnt$,٦%ʲ 3ݶjAqVF&ф.+o74 N4WT$GiVu-{&TV<աDGᐮ ! X%(.[ݟSF&Mr>r(*M~ ;XaZJ}7F1(R|qQfɉIF_IM Y_?/hy: ? Ӽ Dv9zc+Uc4to5|UZE~>`NߠN~OsYN\2FyXHQ4-еqqWR oXͯ,F*=ݰswө߻ݾ~k"e֣k ξ!xD P0Gnû<)l;[4/별* xH4cHL;{#cVw0ሉW(pL4~hE,1}+^H$ݣ&4ލG[ڌ5+kA!QBQw%dA&@emmSP/tݏܱ(ajT8Ze@p&S O(*ȨM/4ZA@.T ʹ@4?[3ԱDmxX]~+bzJSߔǚ}9n1=Su]8A%Z7Gp/_s]e)Y}5VoomAD PUFf!;ܛEtiu8>2&n쒵5i6S`|!d3٢ GHHǏXo`6X]E3 5Z",*j# P8*wJ SC> _KeI3X$ x\=N6wpO $Ȗ؆`s$6FiH۹(sкo庋"i*>mn}ɟZ^I;)Bǡ/: s n/W_K߷MPLi :B@?r0*T2>ok!@H"gvh2myeə6y)-泳g&E@+c.m)rϨskۨm=;ãZY䅸v: |RB10dtuC=/!Oa3.-}@ {)PLJ췶 b^`ԗN N דa&&İ=4v"5,E][ ղ$9vp c)x߿fu&qMb5({ZK&29a;I9*DO#[CVO8 igv 8i+q YwhHBYI7dBu\Gi:x#:~zA#JZeGހp0Kgy5\߅^X.), 9(͢ M{#Y%wFDQw#AB;ޚS >A=bH|D>s&Dm{Wc }hm;NңOX'o;".K_{|tf?4I$Ld'uG5}y'+A._G| ⅟jsM,:&@p.FJin)l/1}n)gx2qt~`+Uerr4MTn0}ʩleT;Q=4*yChCxߺQ{.Ow+.xIƞѾ⢧P@Cf%09&v>4nUd7ՎWW|3Rr܄1w/ݗ,B(0,yo L7"+OP2SPYchw(a:ہ 2`ʧι6 @HG%&8\ZŔm6nz:}[xkhMn$a-)ߺa܀lZKn[Sv Rjn߳-Rgg,_ & #f>fMQTޖZsUZoywxj :tHcߨV1Qzs 1 n#oYGb(A+}NS(e'2x=42ku܍F(9|Fa=̏+:LO:A"X* @+kP{@\qG}c"r2`c# 4ϒCϾ N}0xzw$4P]|@D+-U` '2v'7 gh[\̼v(m "ˡ3V2^}vU0hWau L"^ƓC^ 3)K|Pb&WMKq@xw W.ՅNK"bQm:^5\߷z*t-šn9v)By3:x %V(ٗp;ND ˭w|v-dޮ 8zC .}V"|ƀ8EI8,b3uwk!sA㰏>wcjq*!~Ƌ؋Btۀ$uK? *ݻ{W|UL;uҡ $hӸ^9P}KG.%  $E6p89b%4'vZmL @VCA*6˅*,#At(.bFKHh<Ϋ+.DTTt!m`k1w"-+/ɄpәR?(km-6R@I}G+j(0vӗ\"eiGقk#q6>~Q.zsDM Xo9xD+A:%:6&Y\ JM^Kesg7M|'< . =h'jqBJ}+b-"*I N?;A`D2a 6hk8qwx/(F룴oN`;:Ch yڻ$y0*!fU6EX2A4%ɮp&(vz/}`סf=Cٽ륳 3Tp02z.B a_BmRFXҦRg '6 [ڈW0=p8Iߓ0I>E>Pv>jnd7'%m & tcsA~;^thǓq1]xi^HHJw r'@+X{}&Ԩ]Z"Pz:7lYó{f'ُlA2Eă3Jc6yڐl#> 0k>pTZgq[R*3kwmx?Em`r^5r_2:UM88 F(7߹yTz[6$ MP?{Z AX.`N _:g &"2i3KKw=&[*3.jm,TFwCm0 ؐϦ?K mPP/u<O~Mt :E/F'[:a;w.Ш}eU]f鏱FK,/(b~7|ɇ'j sB;dԯ5",T<B%Ai I;|k*{΅Er\14iݭ:"yFtRe}΍m ֤("æ03H[py}8:w6 ǽYtp)Tu:ҕ$\>u;/{ " dUf[ڐ/$:69U$֩ŭ2ZEC\&@l} C墾sbLdA$;T%fx"3uPS^锸)>o/߅?4eF]xe RBrt$']ڨ'W*,ܽڿ%~ td.zEo艹Ersp3mw+$1v[Lk\ 2[.MȍEstzc ttp -Zd*ʹԂ*5 "~Ԇqk@cew[zA"b7-y><:\2:ϝyr2=ڔ ی@ony\] fN29-Sڣtɩs,Δ$}Pr(fYSU1mtFV9gGz,DZSa\bRninLZ_ż^yj$z9XOH}^.Gص"DwWi\?Ů,4R}[3d i)YpxO f;㨾Fj *sK57hFH|= xKU~-G)dbÓ'[Z,hж9<`T N 3% 1p`IyP\QTWi <; v][6C #&F(iIFWL(p͗%Ga%w VN jT4:ZzDowq).b/qJ-[. {Ab ab4?>ڢ ]%J KC3e[`2R7;P8yr@tlmOe@Uoq'֋0.6_aa]`/wgB&ppYq,z$N?|# ]a,$v ?`ZXE{'9pqNdb@nnagopR{s~cFV}D<4p㮈%P-KIŻ/|aDPvEϱuU1R٦zwxyDxnXܺZ.CiXP#VAIY}E4UV̷\c7& ԇAuUvSWJ#~Nc]EuL&)f;W?Ge:^Ҷ&/(^ Xֶvk)syCvFUjRJxR!#?Us{.^y-b/}ȗ;7'36dX WB=.!E!]D2BU)*+5+V;v/*];re{<z֘Ո^ &N,&0 I`gqT~-)%k⣃?7\`RsXF7|kKs?,XɌF-7p'?:iD MJ(6^SؕW||/yjYÒƠEpMh, bo NRS$e-'cHƦJ㰖0G< DFSv' PwHmL<)h}2[CEԆ0t!lH6&_>8N`EsMpfE4͔!qj5gAL߷!;؆$מ〹VYxX07ԗ0w:tꟆfD5XS2N䰧;|@.Yd_oK~7S)QةS \q'19ۍ3ѵ(-B'D f x|nkssV^睫~G.{o߇ %aѺa\2/0wi=LQ)yQ%dO:?/%Htn|XWe|0hh0!#.ځQ_f[>#̽e$2L3uE$.:7̩lǣ%m'~Db Փ{<,}ּ/ΚWP8 MHVV8{ܹ пq< LvڊЀ]>Պ8 YU}$$AS0׷ŢtIwx$l/ם>5H wȞGSl 29dMo+<ֆ/ ܢƩ?D:ZkhnN3xaYmF#4(xn;nKk}ɵh$_lh)Pۃ0B2{>dN>t.1Ġ.q3Wx),4Mh[qhK6}P41͙5_+3C#ԗ"V6ӳ18ijuK6jSZv0#4c~C_R8וIxVS; ƎL5v1WꂕQ?y'P8(JMެ>rcxpDbV<$5dЫ\&q5_0PI$ 4~hS`2(/ߘ^HB8C@h<8}t1OT<7|w5Ax)81tYbz7e)Lmg'0H1j\kS~LJoِ❳uƏB<5th+"zt,[vTĠbnvq'9`p>:eF}TZ$ ,*cuK&IZ[]Cd2k`[.?A#U-qM "|§1Q 7w+VsʆsS^r[Kc(lvce3KNx2\_$Pc88FѮ+P' A^cDt~BRTZdipl01I&mq@ 6U h/Dd721ZEz{(~XHćβp}:|B";UI8Q]:JSnPkyeNMqmJdT; GlGj0pҔc|:#ūaGV !aw#N-oAG2!_v+8 KM3Qaqo~PǏKY3w21kWERE=-{Q`KivkbZh>-b\=*`F̩,6)ERq ܋-7k.`ke}ӷjl<][|CcgGJݍpҹnT8 im`eVֺLX3ίD0O@tV B~`PNkIߘH"X \G|•C%R :z>U1]lu|JMqʉ@&>$X4U]zhڢhͺjT.`ڟx>FJ%P@?+6ǔ}?nr  j/Z Ɯt~ǖh۹G_&Nc*z5_Tb\ WS:% " ch a2pŐ;ċtK/5"@ʽ0q4 dF#G:/Pj˩v4a'y|TՆRb`_wxN%-..j/'篾he9# o8qF6/3ZT7i;^ dM[c[vR:1؍VQ,#ˤ(6el7Ii; =u6NQ{7L)r]8v>y4|יb*G7wd7%_-ߟ-r( ^I)WIUbi@qBsLg(bL8t%٦mm+4⨘̃ҨVp ׎e\D\C:N'jɳ#%ib^W&hdR hOqL:Qda2sb>?L=Q{ 71r jƉ*rCAA5":d>IhלuPFiwENǢ. s[* 9՟ji&Nʹ5a7f] CTp|; `i*T8˵5[V7:X Ţ˿m:l;<]N/^Iwžhief+ ͵`[99;(5CU.8cGJ8a dW >CBmڻ ;_:WAm>wN1RP(5j#ՖpݾL.w_&LR6^fMK$!G ([+3=o& Lk`'8ʉ$@G!`=p8nXZqegyAKț4nA_%װqyy}Eqx'I۩Dwtk6դ%^$wٽ=NQVaۨ#$l᯽u+"+4K Xv[@728ea?>NB+1*GIBx*Wv4g~ ;~R9),yj=ӒMԩjRIn8cbB;,FIN%Ecs 9\{aLWO;wMFC:ÚXL'e,UHfP頼Bwd @rdۊٯ )0e6z bfTA‚808ؽnu4Lts-*[*de[9Q!faQ|F+mk{]>D{t{g,qf8 wfϾ[¸x"nDg`H[fnhP:Faޓoq5T )-6ju~X#7MPأԕL̓Ĉ X5HxmWhdp~%ތ@/Cr%jHq\%D< |kxOq-ZNkUgZTqn<{g yuȓ:, $P)bf]j MAAS>Bh^u2E8|EkrKG Hl2+xo@"562 {Ҷa4d~gT@"]^ynkkc--|pwɋwZJO`#t,Yd YL|?ELXZ;0:nJHflfZ &}};m:d*&UQ HO,[N.^hfv exrz闞MA*w4#IԮQ2Qc2{K3i`rQ.ՒiHy\uMTŠmpPݙ2 h$Tի{ |x$"⧥y3%Yj9eF(z2-0X 'zm[Sb)!CpFPZ`]ΞTKej/W6mlY8PcJ pvV#HH/b-^vtOUrwAviElUmuY#m7&^]hs S2g`W/8sB,~=lVBW0g?ޕo`1:.+3:'pbe4L9~ƾKW4dT;O@ I> WIŵl5 91'"*U]TO> ؆xRˤ1U(i>x&CQ't/,^p, ü' K)ÉZYƅC"xۺzZG_k&~Dp{H(+>5hQGWQ=4NmCC)ȗC~7RrSy6_S-\K0i"D#[LH]c)wPP_Z07eG_,ᗛLQ!AI0yͿ+{'%{ tQ4*>$Laֻx/T͂ fQBV6JJH%@Nz 笨͗YYмg9B}!gjYl>Rh 'MIXnqljwڪ`eE揇 P0)rsbK4# lŬr*ҌG3{;jB? F҅j۪*ڐ /TQ;pʻSKp\mn%ukGfBo/<עȳ W7"=Bˌbr: Zbc D}ަ;ߧrNJE@WGgܰg(^9}r1\T;vɒs]mar&¹ I6A羋]T0/@I Մ|Kf^6pbfq1 V_3o=$0ztYlK!?n" "edHSļ8␽! MyΣ7dkzf8IgulԆǒ0Ûe ѸhWou(' 9rDq 4NXxB> Mm0J*Z~DU=AaV_T.5l4*zNh9.JNJIZG>fb,@ZѮw!Ә"Ԯ߆_φ+GA!̧T6쇪\Kۡ+=) MI<Li? S78_!fhy.qLU6ݚjZgę3hoo {p=f7}bϗ\DXDڊ@9C)|Mrj%0߈&m3+88F&]Ue 'u8QF$V1tSbվhO&ĴT' Ll#UcMc OBR'hN cc O\`wJCN\w*.K0@XNj/rӽ^" ? yEYvO0wY;zGOfgEA&Ҕ Mڒ<0~_21E;{{tdYґ}3sUF^lM2-Y,$퇂/rsNb;z`b qRYDΈ|fmzȭ7@嶪kxQ9z&nYRFX╀>ȏ%v@ V,G;` 4sW_ Z ց^E3 q+GŠ2YYuU46qAYy9:!a>I'p׎Nb/{vG~J2I?4 np56bbt0GY>/1>ņ*5P{ ݭ!}m7őrqLC:^WIg+-6%=B WvSfheiůB/YzoGaW_5 @$Q ߋ, 7`VԑQkzOӪ\܈8{*n*%>3;Դi4_[r hԝyD~Bn鹇ԃ X\PKꋄV( t6gt3:I`rQ۔(V!hGc̾xē U6>ٶ}3^L~$SCu(KTx82V$UrCOa(ڮ6΍ٛA|v9po\7Js.`{l\MT͌2~xZfL<)y~k׿kg D[Ց$LSLOT@vZԢZ7Z%)K6Ȝ^}Ź]+L`^8TFWtc ~7iU':P;sfKs Q91SLsa^ZFv'h{gFF-U 4r |#nF؃ې1zlOڋ[ hh39;*ܭo]$Y="lzAyA.t=2P~`W~3\qY-287,(d1?:xfsˣǺ{/ ȏazsOB2A+ $3J{`4Qad[: DKJM(7l7 r;rA7ߚ7ZEYSBkt6k`J@KZ`;LzRSMI)2z6 N y^<4Qٛ3XaS ߰OGVss~IKdǐr N %).J*$=˜<3%]EEDwK=лx^0;91#йc|?g3/})XZ]oGp\Q22ոQoCO|{ ]|H_e\ zxҜ@YJw3a<5jU(?ED.3 _1ţؤ4EIq˟Bcם7ns6ՎJWnI~KPa% ۇX @b}UJ馓}PJ*m)q0Ĝ=0*H'>`]sܼߡk'^@!U"=~nuȨ2-{eF(edQ)ѸXquza= 8›:8auI:& Eaf=$ K