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  5 5#  /]HOL-Library:threads=6elapsed=72.640cpu=375.492gc=18.596factor=5.177zXZִF! b]ŗXf1-q恈͐7ӺV )QɂIrQi7ԄU)qg8 J`ݬ~+ba4.f΅jesyԽly6rE0Gޒ厼v02d<__G^nzR"3g}1h̙iLZkV$.O2p ;jny52eT)PU$!hr0NawЪE=Eg+V:M.uknCVI@G-eH Ė:,dS,6᷼dԬz):{iz1WFmp$a|9Pmk ÏVbsmBE}pF o@G ~; xQQq;?JMI?*-,WΊdOͤ0"fGI0zX1q BbNfXֽ(z-$!{`Lp]mM{ݐ /xM` YUIy.uG>g,&9vq3Y?p!p:<5*~Βn책)&_Z ~qYAWw tMO CA_,hy/_8$@( zXHcJ-^բᩈ$L <Ժ|Si0+7Q<5lFmX~_̘?îKb(lc͂;Gd8Oo׷9f xǓgͭLtf# ͒#mJ:ߊ:\MYq|ʵT4QU3?!ޟWaJ"?V;PdDVdê!g]'@ |R}R6~04fc|7SC+LJV 0=:q!i_fp\uUǍ2UKooc8ȔjO<./da8b[vc| /ouF;|/fٲ`֍$HشHpkH,CQ1u./LdTzB%e5%ekg[;X[I9DkU@gHpld X:|]*N/yBӬ'><:_/$5U:Hj^ktwQFQ@QS73a'{a B _AaCN֐<1pbGN$Ue{}L#f"gXKZ6}dç7zB`Z_z@QjXa=UʚA׀ 1j̈́fQ2/]#s? >X쁳X}ZU\S$+/潨"7d7{B.Yen4[7iB-3uʺ|'+&%X:XK\>ClfQL\\&S֒S:=Dl\9pB ;߻Mx5ĴOemШ$-{q~ *Ls3ђC\͌Q,:! |l0^&Z(r.'5>ZFClFZI']_.eOSiyr+1Bی2~u P4x^ޏ˥t}Be5妗] i1' rZg>8^O+47I*暧D{&d#0AUFy7`y:4i%QŭH9$IV=5AJy:ީ_њRP?S,:Vk$nJqvVb6Vu! gW3!dCjQ7W4an ]/BPK?drԾXC 7I\:^Ɇ)a>lT,$z!(kd"/n9ilk7"P{9:잟Ƒ|s+s?_]R$=rϝFp\?6Z/X+ 2˫S݊z֠?U aőPYjW.o}*jU /AG3D@9O0Jes* ΚIyBp{i*S_ٶܞ0ѥkmr?VڔnV4H+4=Z;C}CA9@à\ "H 1]mR%/?]\:WҰ'3XcM'βWbgOce閸`lj?%[{Y#u[Seqr--#(J |~~mg}/XEҍ鄻d <$VO27;|9Fw.!x[rAsX<;. ^~TnUg['\D{s`W]ӹn+rdS?̤rs[r PɥB9(ӬtJ~ii-31[ZF,ϝ´k1nlY,꠻͌ x Px.A Ew$ Á:jD눖pu>a]9;lmh}?LT.m ߢ )ߓRRqi+b)z6t*2v0i9 JWJڟv /PGΟxp>A{'H" F*8yѭ5ϠˮX h9]g<<(f೟Н2H11;K3FISaU / +i2.廲ys z1Xb9](sxs vD9 QL)8->F ņ43q&r%S7oըJ8y{ y(ƅ2}1H0椺#k_< 1!IC~5T%L yh?Uc$!g{rIwyX~f~REv/ ,SB_h^r5SP;ȹ|i"w g\ QB?^7<7+ pǍE %xV}\)|hM3+:XTA9DK :|R(LԹ*\X):8_`|alШTJ'P0P#4=I0j0gk|R\)c%iyf! StIS(D,D3WmKތHD䵡'*7,Z@=LFXDVu}M<%uZUޱ" j{ 2S%|^,u:`vU9cZ_vq/ LY%bOL}| Fjֻk[V ^mEќֱ#L /R95aqJH#h͙6p 6Et )BN%&aQdq׵ ,NGicLfR~z&@Yӹ;U_n P|3v1]gE!] =ƈDdW<g0Hٺi0߅/O.O=rĘo+ JfAl]{m;&]YNg.=-m%rK#%JX1=H (,РW5k\"-TBKsh+TCdM5£Gz4] @xf9Ϟ>&V?@d@ )7өmn"keؗZxNlՊ>H&d5[ΣzLln>4\vW^iU.iY n/(;Xѱko8@iJuPiبU1!UXRsE_Q|d-.Kb1sxeM<HB5Ò =^OYr}s#+ӀSi=!u0E¶bb&^arR&M.[`:!ғWr1 j<ױ `8wsgot4U)Aa=Vb Q;$ߞk Vu=aQtv:Y=`3YO%%ːWn;.ƅ[ :GPq(hm[͉9hB?\N E=-r@k!l%=CxwPNcʵSFmQwqL.+HT@4xObyE7IQ4b(Z`(=ʯPoqA͂}% '}Ʈ4kx쀏EPm̹Al ($Ck}4$ 02ą'ggo +t|g׆m4" x]#HF_ڦe15ye6=CPsvԄ2D72/ +dNFkhR+:ThdSUђ dϳCeTXG3^_ 71&95j * 歛 ;MGS:v^2QSAxOiMY^fίUziFs&5NΎ2f͔ ?)`Q5FXW3!}YG?dM״^a_Q9Gߡ~S:pI)LI<7!2 n3a}D Ob44. Y־{ܰW6Gr&.:03or'%a))[@~:woSzD͈1 -02}H?.^d MX;KX0)=m8 jiU;Zf87vm Yd!}Ϫҧ[D{g}lWTXt@P#fW&I7y:wUg3ʀ=lYNQQԇdqjoizHo6x{r7W d>W{T1L<6s<%s\b3J2;V/GJ'I  ڔ4r, @Ae\_U$FS6K@nTߋt=%0 Āx寋Q02_dܚ^\%GJB;£R٧ØZv)洐lޚuMͳoE& >nOP3)2dAMD'/!k*Ǚz4 se)X>B\syn(HqJNZi~Fn)9yiB%1&3 cn H 7B35$|Ryt@C Ni[b'$[`{k CAT5jhAVrbO1PxQhӒT&[9S]"{b!m,@ڬ)=Cݧq,bWPbmzJ[aqTվ^֜Xbv`<,{U_0U*Cg1yw ݡf0XI8 Zp׸4H~ $Ց$ӒZgRII[< e4.?>O>4#w'PzU$^uxK/ŇQHC份?l΋gEd`vBLx0#?t W>o=-"ξ4v\nTxH~c~ ޿="gt z_W.SWl4KQKH: )OFf G$Ń*F3Eσ^`ftQrV-G yu&ژe! DMy I@ Rp\%hwm^ nɶdD #ɱ nG7# o~*An; IIW#/[ K{M\8j9"1-@V@JOܰSD˦>4N~`*Z;<➻3#eX|JWzIQ` ̯ۛd@.cYF9̗܀?&~F\gCP7va:,񇜡O$Ja՟B[{ˇ^SKwn*O[Pftv5<_7՟oE`2UI\z٭orRCز>lwsm, ̓McLցrsА<ɣ]-U*K! ڀ"gFD >oOfD/x g_8l*;Dl:iA`}|ElIـeO9>Zt'ZtMA/-ð3T &Qt -Wˠ,ڮ7MkSkkVŢ.1褐ශokcSZ tŦ<ij\J P%{Zr2?󪝥LRq.Ђ/i\vzcFGPeW(dD#~:/Uz,E:a'p~|Pn&8Ņ\$N8ffDnB4u=V.!}GAL4ly`eڹmUOZ`f#/S$G Tz}Zװ)U]2oوYXHG܎<{o1tT8xXu!p/V `w(y`lt{{NFտWK7iӠQQ%i1]7>dDώxz3M#%i.|ݾvgeOX=@|k98s$=2FBJ|o,D( P4q XˣU͈xŸ?~+6eL?{GS`^yuRGO.FA>ͺ!XCW 1'IRKWHo ']Z\Ae?$Jp;ks]lDr?琵8XAVA1( ܿp`d 5$2!BLR^GnjP7 }8Ɠftx>W\~HV`$PxY-#GWDx盁"_Ox/JzM ԘI0iK.ǙV.Y:jG/,ɥH7 KvvYeIG:(q@pԏ jy<6.!),i[t;'9w5Ӄ']AYڡޠ6XbŐbx') =njpP2wI 3@MZ*h dgr:+^ |sCzpђ`ijT%L:OU^\d30X/3 GڻyիQq? 䑘2f5lQv\{WE,\ۊJ9$i吘SЗ:i ɉ P<[Q{= Ru-8!6upN5{F* W/ uKT$"#>4+Dk +=LXcAGnh4Y;'bGBW ieSY J`s Ka=Cv+5,+vi! DRK&>w?5 &v]dz&b<ߡU{_{q ٣OTLl~GC,r} a<|PՆm&t4+s7sjDY~OEC`̍vX#4EM| =E1*gfYw:խFl rr ܤ@MSҩ>DW3N*$ G|D+s6U/_$A&pM樖+I6 %txh&Xԭ.EJf'Y}cDJI0WLgHsD};ˏ<6|RdP,fg<MR(K%N {\nhྎBR+ܑe-(3Mi2"GjI~HK޵}ozDK#q] ~Jb]B/1^TY:H&(aadp=&rlڶ4^XMK^з^#S5J& )ND- ȣOU=C1WksԁYNI'GJ~4 Z0d[߱Gt>u7~k2`VIcV2)[qtfuA Eo5진(F/Q54-f˘ H5|dkq` ƒSս+G1. X?pdYI>T%#*xE,Xp&$9h#0dYEڟ6*6pXAy+zHMb]8q'[>4&4fp"C7bPGXlL(yY#h̍%M9NsuíFZ"-m!N$ʜ7l-_E{+%xr$w/87PVLybXs9Ux%k\]wk9|K_$F-+,Hl.%̙dH-VjP~zMir-"q(@z_pLȠlq.'d2xhG[ ֑sIN/o&}eٛQڭij Znܸ!Fx\vt6xnKbVhVX@SHSXRSCGh b )oٲjGm~*&ʱ.`WM+ WfIU G\IǂZ` ) ֚[bl˘V (l#[1,7wyn~gA#j}-gѻ"=Z%'u513Qk+GgM}hO/jeeAT .s\m@TNJ2E2ubH#`0UCz7u{8r1y!Vuؠ(3?ÂXr ?^Hr6`XVc\s^DQ9Yr[~"5oCQW>Fbλ3p;uQu}QǑT' aDw+<'ZLđxiUYM'ea)<8mrý` #>`[%!g5ǁ~$|-u `9!4pko/kmumtEkzGy-yYaVxvt8GC]~4bbKD|K>}VbϠ\6lN]Y,}7p"F9Xlt(ܰF\G#afK~]ssw0FԛTZi4*.iA\I~meB fYؾ2{U땱[eYW%V(|p)mUGjX WnڲU~4Xz}Yl/(RߡޞvVc[YZD k4` =rQIzٔl6{ bPw6kX/]Hh%AЁBi$4olͷ;$r1wE+:{=|L\bTÄd|QC\p)Μ"ݗ<*,/ԛ1!UKI7bέKkk /xNo&YHgax 3mB`y{"< ^o(ʵD6^]偱N Sa< |spED搽K=1t A+X9ZUVꬔ 4ӣg ;Ll|~Q5+ܒϘ`T|^>_'I▄Ь:cbOcg$o{*R8az˼@b?[B_K:)Qr2w$D3L~y 1paj&2*bWZ6zQ wl<$a)=s,Hߤ /w$&b sP68_DғTjUPp9#+彋$t(/ tσf|,@NG1nSLK^;] &deH \Á+]Nװ% .W2*'S8=zIBe)IIώ/4sAgk;P++T7V-y%8F "_0UT 8"Aav> aHR MHV'v9M#mkI>d2 +Q*kI"A!SދEߑH2;Y4KB4+v0$UcRߓ_-njn ,;\MT^Qr>$E"4JXXI;"OU`GR8= n;nsܱg{/4QvS7;_b=j`D|QFE 0քR*I0sPhɏKe 4=<_Ô>g?7peL' ~Nq8 L^k̶VoIE\{ѸrEI^ t3uqu}+̇t]Q\e=㎦büuէY:H*Fw~HtdlqIdP8>iV`͗et<+Bh,gҝ)k|dr)ԀlBQڏ{LQpBvySbZ _6|F6Úא)י,q!oD"ς}L UlH\!ũCn]h8Y~*= 4]t69emG=^0JqsѢR]|-xS-#kh/r͍#t1G- !A$925vۃo40`,J176 1'CHĵ86,eᴘԢ|_F;FD},sJ#b#NXlG3Tstǃgz:8NŐZ;!D:CS]ޱ͗@p;@ N;# V2`qgOnGuCJTư:-0v|>Ws^24& on}O)#V "-ҚIɭwt[^#hzXeSQ'roՃ|{ƆWwgj6XhR&@{E9s^lKVZ?jMDףcL76lr]6vm7ePgÍoRpB3]x",ZD/,vo>4xHbJ&ݟԂ3MۻɠݰuP&ʋ  ^k)x(k/ kz!J1%`ptp PB+u׻qa2==/|(T0op)HE,N:tIeB=&@XlEy|"𜢼95YtHa_C!K7,žyb%ܠ[>}V r_:G:iO=`&^0:/ zt:ս{?}Tٲw<ьknPq[hM u"bCV]H1zҔ =@ŇUph\>krVtU#&ʍ7U( 3@py/N:W3! sZ#Il#`?a%DG\t4niY&FT/e ?W$~.8rFYM#E&˱_1Pބpy~mRS:D O"6*ƽ{Y'yF /gUM9d]dٷ!:Նdz)+JI<5SFo㺔|>-?ÃJETDbGe{kڋ(Ʈ*pG:<$zU|BbвU5#0-`v%u ;)ai qzGۥFJ˒ rCrԵ-㨿Z/^hEƂYT+([@i<$K,k/phi3p˦ͶHiOX S#dv>נ7ۥ]4I6[dZYg$& :o/ԃݟ,=/*wƶ@3h5ZpG?K ;fzԴٰ|Y,%EykL#gSa J_2G3 VL_CV]Z] ik˖D`  XhQ[%xA`<>|\B(5#Փ9TοuC>TSk&Y((#]2ݴ!:u3DZ%Z_kz}K1.LXյ%.ne7Q"萌w0j/!I~׽grP@[rf{fk̜[F^R#)lDNq;A!Oʤbqڀ{,G8OrxnޑңRa`9ȍ{kOFO4/>lxV:nFpR_|0l]s݉s8+4H on]HډӔ"Jd D?%^~`tϫMG)\f9|JybIsri|% Y,W?ϣQ,g)Xw@iSƈ<2@pnU [!F4~8L)ny߭o_#FiS7X^Z5I/1O`a&Fa˿G ᤾4cTZہDGwL+1ь!!ME);1o BşUViD2NYmZ8WLd}\KN~{Y$ krw²ŰK @"FK'!(%!7qՉ#X ,CP*٧w.:fh0clЖ:7-΃‰AnI6T݊Z1"@q/?#'mcXYqYN-zɃ1߸ވwbM&|Nn3-^b+KQ YIkS v%ihh4‘j$6F\ UJsZWM0 W2ik;jbzpf37AB4؇EE]kc@{3? ՗\&4?yv: \u z>3ܱǤO#C4~u=%[B$tcJ-{tUqCM:đ0ZAzV#1(%|R5^Em@!n\5NbjU ,yzwQ~?Z9V\z̴HMX"g{.M8 r-i_l FYF{4V5y 9 0sM;c^ޗzdL:j MGV4 Pg,R89(Tךf] '5OZ" 'R.} )7_~t0_&]%pAw~j <[W[ѽy¬=trb;DK~.ȓ-0e v+le$p_װڹ9'}Yyz?=ʡ._mX0䉢#9\NTf`EuKEKmpDBMx>3U{54 K *m}*f<#>aXIhc3;3 N[##p\Cމn*Uc3(͙} LRF ) AuVY6N hrKiE0c֓Ze—\ڇfe~8akfٞz?4W0cXLv/8}:ٗsǨ-m(寨LMiͽU "kEXS#=jMV3.3eW[Ao ˭P>% .2olI%$6Le@^f*貎Ƕ Q穢.θ({<4 ac@'MV`쐡i2/N %E[$O z?Z1NY*$^6~lH&NL$)fjcif<(5/M\4nqfJ፰`276ow`wH6Lcur=o::ynK$5B['!Fakʄz. eXK;z={^tʊk[dpq,ߦ08QW!vAg/U q.JjЩr $ ,BݕhܫQ:{Iȕ+u݊&8p=c4=N*xk#n#/aW_=Γ;]e.'+GLm~#·n#1T*Nzjb<5S&^R &n[Cq"Դj.h[h& e)[,o e/jBS{NK!;@ 8[굫O$ܹuOu={*.Try_өrnh`dGZ*\?RrbZԈDevf`"GwR"[6U<."8}yP#032|} DK[h0S~(Ɇ#{:f_?c .8x m"V6 =@ϢFz?xE2%Ij p b@)x\~@J'kyWzߣir췻#ہ,ҿj:>5j_s$=R0ԃv*'-ZbFsvma_|>/=r|* -)5jg].o2sJbi'M"y9pmWEmc\[* 郉 DV.J#Yk2GG/S vLܙ[5#\AN1 gm$1RZ)6I-}8 j166$~?2X]{L0h. &w% qL% Y+Vo{'ەHi(tx\VA`$>_B"j"NT$w9ƿ}26i-05z߬ OٍjVw2E}pj\cVJ_ſv}2:uԦֺFay袄F3 H'S00@shZ.lbnEv<<@OڳVrve(q y kh*W3/7Z\|+x^ч}o 5BJ9qBkiK.Il : _ƴ~v6R BoAg`t G]D wU2mee}ţYt%Ӽgx%n! ӄdwPM+(s%"Ǫy?QfJ֜8rg#1LwTE, bNZ.צ&٤ӳhljkVѩ_Qxp` G8䨏?<14Ҿ#48'^䊙^}o7G l֊#( ȇbx4ٖ_'b/~K[Bc` ifk.!+VZ)ݕZz,c毓#=0w!q G*ϓ> :yFb!Wv/jÍ֋LbLyɄͶUJ߅Me+:#0b~h渖IP Ad/)fC_XT/0v%xT1¡I5:3`4ڕh|t`B',jӍ!̓Ez\Dy%*9p}GQ/$5_8&i.T#WZ-Rr59f4^yotyxߣf ‚Q jr9H}[s8B[]DLƜ`+mkm ļG{UIR43c-koa_wbz2 'A,r:r mJ5.ۻ1ʵ>LB܎^!bhlIxK+ rzW'm7-i#h}tݰF-;T\pT@b\i9 pNL|4V8ZJ"|AK=ŵQLԱ:U1|z Ic#}0qeϙΓ7eJw/l/.D}ZtTՃ)Hҟ/<8-a*u1f=-&gPĦ2oX*/H2VpdžZ ^#Љ^Y 4/8} Hքd8i`arlir |Iv01V{B@ Xd VT~!x4Pzn'L4EL?LwY1 e2܃*,8"4Lϒe#>)de&9Iy=5rL)P;H^B/ۨɖ;Y IH?~J\ctUCddk; -Kг 'LZh|ƙ@Wf9$ѝߧ]Pzq]Z6L 74 s3CZ1!I])(MAډMAB3wLܵy -77e *"~X*3b 3B|,3@ٽkŢӤ2Qo'RaH G w4X*! 4&7Jg8ݚ2#քi0LH%r*ۉV0gYZ7zXZִF! P]ŗXi%* X'6r2H(ϭDX W`Z^0f`KV9uBU*U_xYoDٯ#-Rہ!10㟗6WY (/O2ޟ%M_[:9Al'FKZ8E7mmUEJ'g@ 3J{9XK"EQC?c+OJ\M6wg4M<\pɕT(E6 G W[-1nl"h'E ??H .w*h-J/#zA`_QA1ZQ[`\Jٌ})cGT:;zǩQ e*6 8?&箫+Zp<Gb[ۇW6:]^Rh'^qۨOc@" q 7=-%7\ ZkS!nRK\G_E .\'hѕD7b7;l"XƞLZ%pc °ڰXRA`aI:VtW JKN**vK':i^wDL~ׄh8B&%g>}PK-1 #0zԊɉ7(_:##A>b%zG'4f9 27J1R@ /ϐjgrMWytyǎ d~0hn%c_ZgW˩q`Y&%-xR9N Oǧ0Rf{MYg\d_j\/b%YP]}FuhiX:k|QQCt˙_rJvwa{+rUbfPrC⯞ OK&YBi:>JK$"~]|Oexq 2DY 'z_J7}\Kk!cǼ55 fʮaȞ_+^gQ A &ڽuHҕ+k(gy繟7J? z+,LnjgvQLYqѱ{ϓ Q;R40'H@,s6o9ulʎqxS ŰD&˵fU$p lR߯P Qg|yek]w9oX5Ucb^8GC^j3@%h EN-]( F>dz RVߏ@sN'rHחQOXΕJrY$Dɓxk8?pGR3Xϯ3`Ԯo&kN*1LqѕI{'?iwEN!ŕ0ym IFFyŬ'8\{T3@רJ=CBzY|E *6omVHGDu2A{}QH~eOu`nq{Wװ?eb# n26)12ꕠH7GlL ̏p/H4tj_F.3Fۏ`%HB\qiy5~G쑲XbL+ާmT5}S}ڻX;`覐uau30}eTu/=||ABS jHZ6 MԖ s2sDt6^i : =!Z24g t6Ty^]wnH`^+~ 1θXg,O;62mY=}e#p;Q)/%YFU2AZjj4ʱ+q9r`~-Ԥ桎O@egHYU>n.}_cWbj2W}vrz#QC s44tf<? Hv"c"W~!wTi^y)%LSs HF`J]E`S*beN8" bD$ӹJk*78E(z ^2h޵V> ,wq+V@sуq\ny iJ0XTıW:Qz[/w)h7<1? iY |]Y/L 4:@$gY7PE5FS<;-{!-ЗR b՛jNhU;\K~u& o%BF# 4P2I-8gjgmfɇYȧwa'cm Kܒ\d~5>2G`kAW"ʃ0#Z>O(}fimhkX&k0g\hͯ'iYHSgw7R ÀRn{Ȁ gY,4pA-nYnӓmS׺tv~3]ˆw4-GxDHvCz--f]<][ 0,\%)3IrC:U9l\z `G|94P1OcR0!2"%:q{p08ƭpoDAԩ%m"E{8+Z(xlDG:ːҕ7+ Or;`@êr1WBOI5D;4.ܖL=sNMg5{+ ?i/EZ8$ AE;MM@TCEȨ& 5Lp`~]vL$H%O2皴GtH/mfp9}4fe<٧RFTk ;{Ȭ;~2X@RK k:=('C3׍N6|Qps9-*$ht] _VOm'eLxQmwfyWպf*guzկ>l!#RA#gH?{}_`uܔ$0_%`!S68ck ~[d|Q<ž}cj.4 lv@G2L724R}oiA-'PBBY;=r2Xdo%W#m&a׋gzq8ԺM5 :סrɳWW^AV+pSq /W"c {@~:M[n8KFshed %r.:,hҊZU&}uX).1`s=ZJ9Z':RjU+&eP@ȵN!v$t=%?:|Ag4-[0 k7I nQ7VZn+cJtZpZS{lhmͮBe,|i#8)> ä?VQ'ܧm;v h3#}1 AxsD&^AŽk9H->R馟m)c*G/5 )'PM)I`ԋ&wm)ًcKRe\uR.?yyr3PԿmF/Xvfo:sҘ j/ 4 ՞R~0' vP+ jC JA,a Kt*H cE"ZNS{qYAΠG0t` +`g fi?wpO"c|ƈiH<%+rf cWyVUanIe,nW>F*QRsi px<{j)$ lLZh[˘n#'MkůRx[5Re0irdT}1S)ǥ8)9y,+oAʅBKɘGriOSFR Two>ZԲw.yl0o]s} Ͳn)@y[+p##E4Kl)i?$:gj??+ZEr_%?To`&1[rUBg: LV,3@>oL~3ԜP裢-{Ebڔ|VU:#@T_~GB+#7fqqw dd@qi(,3Q{u"\RKS8J Z{RN7m@unj_}mW6䋼%p$b tznH?@m:U=`\@bpZ&B*Xorep }lzzz0'}^HUԴ#R4?fmNFbJ|UUӠ$-R:% 8sx9by@Q'ڲ+8J/Gi\3b#*o!{xu0cC)u~=oUѨ3Bn^Mj_t]0j*Z*Bw[=CR s'SXr1خ*C,FƋ1"ZӴ X ᎆ΄1ü!%9G$MHAqA ,/z;8`0EI\ܠjҞ4}묥,<[?w ԕ }UeEci$̆˺*Λx i&Y-o )nA#χjY&.$6a-}wm;]y=p/xhѱ.kdNa iPY +{#^}UU57{Ǣ4zH͔]QASmk^` dƛlF8 #c̡);Q7-;Az# K\XO>V[بKW;#)pm.Ð斯'i ۱:RÁ p02o)Jpm` ym9hd_%$ GAZy aEsNѳel]dޫM~KnjGS^/ac~L'|6üG[KMW J!0|"~aupLw({&q40Kʪf>7l¿N $R2lR >ObMR]v9oHs;ܘF tv{5rw魊'YnOo:@ hnq>*Aֺսˌ+MQ}g~ؼs(X־A窮IUl L]UXئ0pf/(K²2n*yi&.6xpnK2p+F-_#9NMCZy}V֐P0y9I+Ԧ)Hz9atNjpk