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 J!D< ]]]HOL-Proofs:threads=6elapsed=733.476cpu=1704.588gc=216.628factor=2.327zXZִF! 6]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbXjtۢi%[:sF!՝F1XK_1lǼSm-=[չ:82Ҫ= }H+yiKieΨ{~}H0`#nD㊉deA| ~$RtDHciUBj/[N՝@K?V?X" 0:)׭Xt:&&#R7M\Si&64ȴ3+0E- WEId>@[v,P;+ߕ*]I_)y1 fvK ҕ-Oqw _ L5a$-쥴; &-=2pN)+Kyaל_sW[&k`FR^N5b1|2E[^wcSn +Hx^qLP HLjI8y=B ÕP̓GِH-"-1 ?Cѵx޲i0y,Kڏ98tE$}!SHrԬ>}v`#w!RM1e2gC}A[a@:YKKc\vdn 9z" ] z~):Gǩc6>".k]߬|]ERIQ ]oyH5􀃅ΈЎdLI3eM^s>(MWݍcDbqz3R*1ou!4Hvnpqvݿ[ +j)i>xS,>)@S`}'a$DQW Y襨MucyDI܍-w/}%IaO7 Iݨ(^H DMHwY'ID S*B{E>@TAl =ZlO| d >F ࢦ,Qer_) lJBd?/VC ߻p2WdHGJ jbDU >XSK7Y OhC~>^d L;a("w- !G;FЮIF`˛8:T$lRb{Iz3ٛ14L|΢^z F4KXrӳgG @x9& j33dX1Z~U&Yt=lVr$M O=D~_f?V7s.盧?5tp'0eߨs+p30)iy#Ntk>_@.m "? Ƞ6f/T |qlɿVsHVZj{vgE[f${^>w~g{j#2vKۚrM`YRHpӪ/Ta0W":\O FIY ضOOP# {MQ-'5{w$)M$ v<V@2y?[Y c) ~!V)D=?WK+'4*2/ :(":dS o'} Yt虤iH%Qm#qƠrcI.Jw﵎{oضkj*mM6];X)"7qsɱlu!jpY#,oA(achzBt$ bZ^|Xu(z83Y8[p΅ KNU]Y!q|D롘Sw'# vl EZ 2~mj2YKdaG*d2pj{M+ߧGxouãlQuCr[>M-hI/ws?Wο 'zDa`^Mgt1][}Dzg^U$shּL^Æ5;o`m2TCzL4\ 0T3"mBQzyv{e e$SdcĬ OWj9`GEK&|̾IV=E)JʉO4{: jQlc 1X/]z"NЀt@ E*%ⱞM4ߝѷ_ղR< HTU Ct2Cn =Ԡӊ.FL!vy(DI6ݕPѷ1QIKR!R&m٩ f5 rLlhD\7;yPֱlK8n+9S!s}8$^XyD:n N;Y7jN+Phy\㣗zocjpe$~ D2 ($ט=2Nd(׭^o]FpM%3/䬡n7lk$B+f[)6&ڷE\mu jTC|Ύ̹-]p^~̭,Cק1SUAxTV?EJډ?edfRR'gO' +G!ET}|%|AsfKD[rtpe3W5 *&i͔J ?h _ENMՕ7(z/S:_.Q<-.f0ܽ`HBl$ YԸ-`ڌjM 5u&2:IfEΖ/3!ܥ5EQ0@48֔[MPr Mۭp}M>pb"7|r h)3,NK*pzJ/}e: 5 ~F@w+ɵhVG,c%.pcĨWnaS<'X\S}m|X}qao PH*M*0b#r ۻ$s84]>PCM̅kd%`l!Z@ oӗ1]{ %sȀ[&3{c# {fK#G8oE).|&4HQBC@DOaBDFx6D2~yMKqimlwkn(.'ڟ6 CC WA$~yfT:>yRJi^H,uT'|Aڎ0^6{sy$Nm_Xoglۿ~r?2 BWHߝC9ǒlDĬNঊEۦN_:iEiI;tהЕ QNwoFHN{ /~#8] }b OΎ,@NlFDNVo5qHPܐ8},Gap(Fl™kt7_cw64as+{obd[ 2߾xw7r<4y k4ݾAk0rk=F);B1>tr`kJUzRjWK l]R_V$D805BPfx4U ͌L=.Mh3b{y!R}p"z_Cnׅg?~1[HMWx\EzW<"4)8>6 CAaZ#ЈkBO9NhJY i/?x|Y8!i"6wdj8%T'p7?;L6 84앹:ˍr8ܵSyjq{Gp} ecEYP!# 奬ӈOh$AOValƕ]j͡x5>4r2otPƧ5c6BD[Q:">rA'ʐmC4`c8mp^0&9?bT ];OXXIؠd# wdq'&,u֘ #UvJ8_[9{-> R7XDGo~)Dab~g5 5G`.:8Y6ʞP|Ԛ0/L0Y(I!rs$:;Uԡ2=/u6Ωfk.mjPiyCC[rs^K)X#Ozw\Z;BO$z]N?%r2>\л;8|PvXu-枭4`#GUl6sѫVTQ'd+涿Nxd֮hqLO`3 $lGAxڢqjg0r-7<4h_9e☀iOu+wir:f!0Sr ?'qU>੄I!d^o%f[x8 D kͦ$]QRQu@ы7/bu j'=jp,4رgYZ7zXZִF! }]ŗXi%6Aoq:kaҟ}`OCYyaJ}5_қ_g_f]//8B@;pi77|eL%=E'og9&TiZ9HGa4 Ǐ*>v߼`e "hQ縃42xd:9:MQ{gnX/'4wG $ s'W& Is %?Cȇ I_"j7k@3#_{)iz%iO]\PR!jtuu{ubo[@ =$wjZbN1 `m.Ct^!BߙÇ\Og 6A2hQ$l98oA酘q,| ٝjܐܨZ @uwg2]N&mwA!i)R$ , Fgx&;%OOgE\ЯmTPFŸ1"i -ռCYE&n/坵. @eUnV`ٍ↮8r'YGܫxUiP'ج%fȝ`vc>lkastf֣rZz<\v1B b875f;թRp6HpB^wGSHWԨB ﵻݠߏYU{漵9elmܧߙR>mvUnSK`XeT }ȢOPVyc]֛A97IؖZ\fpj.R[eQƁXEY#*>j&v?'H1v0(ЯR.{oJ:({XmIWYA†,KکKXld*Ac8zk,۠C& i Ļ I]&|r4B{ztҰg)(VǡQA@5mXkyn)RC3~{i@ЎҮ%apR0&O:/k@gOdI}J^X$:|lݠԿbΦ|eoȫCl]9wT["3ʷBLr]ҁYkG~T~BM!%Q4i\iLTJ eA@OvV,A*Uo,OS$I|7Yif1?dy@nZ?ʋ՛bW,m&PKwtgp ;5\_ "r\4AėcUۅmY!GޯP:?M2R!+b4A|uSi L!dFiDqubܡzBNQ T&#[_dUy ]SB%tOk,lij"^ush(`fS%RqCEL_0- RɶS Ug5g0G8Zt5 bKvw~oZ>ݵ詤Ї4^(e0iq6nnyS[KS- q \Qa:F2uvuOt$qO\4<g]t?PzC/o;UI14u#*9Ol]ⵘ N!ۂp9'`"= !t#8opa6*5h |.=FR+\ :\Ԧ1߫PJ͖;VjoEReDf 66;7gOQ+W-nBА O!0w} 'M3{D3BfC> "nDHfHߕgm@#Pt{n_Z{_Pr*BNcB^L~ƥ<)Iub=,j°X8(&O]lvCcQYঢ়7^1^}NMǐⅢ=Z)Ԥ h霜R\Kp(\Q+񨖿WW kV Z9VQHt bXxHfy %et0T>yoN :}Fx [ i分rя:WZ5{c)(jl!Mı~prc4ԛ+M%E-drؚy2VoyWOoDb"ɬ7&&u/':.u~QصS' G@s@ 2K/J`v-C]ej88$yZCrCJGG YC# G.ڂ_>r' e0ojO$0 rWfo=j\F2Qd3%eQ's灴a7x0U |eo KE*BEMɋ&40C ȥ|`sSeKģ;d#&BLkB.Dw=p =|vޣFҪ VU3rsD "-ŧd Vv3l#%\fғPTj^oY+sz[/#f;́ΛeàY*Lpax]V 8ֻ-r`SyRIbT`4.];tSݩK|϶i"rkcoJ>m1ĢdtXGh1~#)tNt.(HY;vc,! 0jYhxW-ZFi f$ݴRf8A_5z>XhW(C4Vڻ:L&[.3 5Rl͡:pml,5&GlR+K #CUFYe1Rֹ'2āNt2C;Р;숷 c<;%O4i`B\jJf?:;lW/)tbl\%׷R>UHÂ[Arj&E/]p̱dD-ltj HKMRbA6wҧzeS,|CV&tiB)AjI,4MWQTAiVBʈUPzc&cIDۡɯ!(aDE8u{ δzhEP]/D'O3OW3 dvzj },b}RFi(gnyBF<"\ TvCck=. Slet(`afFw&.W8L' OԆvR&'i\>ŌXã> h㐣g]64"91'}};>9d_t=ٞyHy*}RDN``l{* b®FB?/1 cʡw۳IxZ#!H:`Ad%%Qe}h], ApsXU $ǝ? ]u,!7t}朿4tqt|!Kz)&\쎄jECxk݊{J?<Ƒ*Jt W !Y[%8ZB\і @.3"hpW.22naD{`1A$/M0k36Ad!ե_ MƷXL`s hVZ./A~ͺ۔Rhs f ekmJ ;ة#-7 i6f `K& -up ;ge..&z؁1w>.Njt{.@C k2ނbbĊ)]$9n+}R+٦q2L>rX\Y٬t}tyA ]CˀGbcMeWUŽG YM_pdzQ#hnl@:yw'|@3]ߨ_ 諛 kL!R=~eau?KDr{F^DLx҅@6@ET@ Z򗸆s{ N-3OdAdB!:gC.1OhyH0 .v9w&3dK RP:BL+緇;)j8MP>*AVW}8H,pe1[>x]RyV\+}}$b3A޽d<2ݤVFpʏ7[0׌͡@ֽH[nvy5T-a˦t+74D;_CW͈fwtkH\nc#)2_9*41efBFB\Tռo;Kߕ~trwnf$KJHA]2eyCΩʥr0q*7 |b] `q"7q~=$ /Cǝ ^c: P |'k) At-tSI(1M[bchf ›!˃eK äEYƦ=ଳyPH̰OWҚ}*wNݶ%ŋsJ_S#t\A#ɱRO@ɉ+kYH -~xr}VJ$g~]fRp3SXx7oʧfR0?醙e`.ؠBoRVqReJl}00Kmww #-q}8ng h?D8`~6 GYNH;"{@m/7JBA oǥo*F@=@"I(T:soɤR^i@Q'YmC@jf=3v(HY@uߞ8^aL5ھ m1׿Gu@!,LR.׾[;[7eZ[R粕"-Y-%UK,C6g8t=ln.:qђ,Ϥfo *dSXd_4ͣp}0q",;Oӣw<>fQ(hC6aON!M fI:ĔL^uJ nsL  ]?GxF_I͇L `aP5JQ:Ah6}**0`#3rՑkLZм,sqá5q=tQ%yH'S]B1Px%!FgW< P bN 0;^kiNMz53KV:0ljh2Ȧ"+(7+#%n{ hDۣlE ƶO%*Lr8u%@aD>RPdF"NJGzz'K-H $N -< 1; ݂XE!z;vD} "%'j2KջÐ"hBBŤ3HJǰQ"IlpgԬqγrHoOۂbR!p GcQߋk\KFY,,T(.к0)d&lRwF=cOç⏅F#CҮ ҷtqSr`n7<xg8cuP[Q#y?fl $H@/_?OyΥVG%{avi:.ҸOL]ݤ>!)j*-:'+ةLRռE/VjCRfsH.S+;&5G^K(аaq38\ BS#1I&A&>av\TbpSt7۔j*T)_A5~qlo]9(LRo6@7flqpA`{C!;6rC͊=JJq0Pf<H5 W2) 0Q_;@ UgBgs!^*ɾq/NPb4sٖɋսHN=)=ϓDa&OQqځ]+!uvxC5O; 1 cXN:]X&42zU 0֗^`* D=X]_`Ȍx1#ޮ=)W6+vvphb-{ZfݍmU~^$.x:gIi ?9‡F|bIv)W %SBzPf#l":8T Oq|eEg Ũ\VTchKFśH}, msfLpl 8cnmðxW)x#8-r!7M5?,YA {R7H*ժDkzv.|ס-9u1Kx@b5Lqo%oVa$  z÷Fa`5@,=+q&#`PRDii/`O3d~)_aӝhvc3P1 &+{L"Ό. _`AkҕI{P,MLYv.c]&p/^6fS$T TZgv&(*:YCD6Ce]~Q102TqqapQՇ=vӓ4Qn$ #1,pl4\t"x/5ptKm<*^3)yzp% jd aQ:8XcR8rC~0S(;m1gO hPK%2?1j=H%8Vֶ+`4s+C!]:e*\W\{LP`(qSM7;cQg(P3m=u;Ui +׭2. mꞣ@ H9ERSYiM>@؀&x lm?v]Uwݚ?񈑕8~Γca ?*0ztq].a)դqt^gRw$ DŽc;¹nU=,L JG7/h`+@/JLO 0ٮ*$L ؛c&@kfBϵE$)$0&'3ʦ=?P -yQ# burQ,_V褭7u)!oF~PQ9)"6ph~[d0lQRH)jLpY;t47#,-媪bD}$ꐋG UEخ1ryXy`u^іW{&/y?eLUZH5 { /"-?E0 YZr&뮩)*;c@xY;%OZWP>\ő ի}#^ : MK|؏?WLϜtʺwyC"ᥢl?,BU)~O<9즏C)yQUWPezHK,0H똱 /}LdH8)W؝^#!6&RoTV5=&ƋF"=%ր' cr@+J4z~Ƨ0Ts `$״4'RolrB!K/.]È{~۞8/8 gya p1vUm#YcP868o,+R e~Y\T΄x ް]8,? >|əx_T4," _Pv67 u-,6u M26fdrFg)}޸cp+/WJ]vOjݩFVM e K?PNA;Ǥ#i+oY?:>רj:t#)? VOa+TfESM~DMqS-b4> gfqA]NV/l.@ ӎxlzHd~:uղP*_5ad isQeun*rH:3g5ϕwЯ_5ӭV;&x$О%B{uw@g&@w(2 ;'mbχ҆S(7 n+F"50ǏHX7ؙ3 NUOhڃ3uj}2T"$ zA2I$8j,Nc'L볜F>Υ̢zHYZĄی* zD<6܎̀ EoI8.87&u@eE~WVtR? FU vi=ʗf= W [OVN-D2y$\ŖB`US"8ijGPCdO݁⧦RH;i~H +("q x63D;#}bw"<,b6s`)&_@SlVl 2MpBWgqϋztҌIQ."gnzYD = V5PƒFBP}#Z{#<X0.Y`}uh/d{USS㽤LM4ϓM/gFɽgZ|⢍Mn]B?`Wb?7z![i%M!O{6 A?H'T.wB3|e2FO" n7I\,p)v3O2Ǫ,-M,]3)1kP8;,f7]J ?@c,w]kpw>*!W+{T@]"%iI͸xs~ xQyGB-0C_RЦ<8&Ȱc ?dj^BlRHjuR\ߊ6^`Dg]vgy3Aøg#4StBGΨW^L01Cu6p:S`J^:5zۘck5kõ^)#DD+zqyM5jj[~X >WUiG|)N$Dςࣵ8dA9OKH ;lXF3\إ2fINw/JM%2Ѳc~]2)uIJ^3fp2FzGSUW%<39kw ZƘ 8c4pѵBs%8Tm.|5ZqQ+U;D6e#_HGy!L{54ZSxX_CF< b.y™M]Q0t:vҕɞT4C1N6D>g{ u#4=J.0Φcrud:šH_wgN:B:,wd3a~cΗ0r1h /LT]V&>0=l+N%D/h|QTa$ $ݎ7 c]8+&BTU b%#bcEesv(Y-4|xyfY[?!M:GuP,{mGgR;P\Okr…V)HͶnsc q"nE̮ UPY0tiWH?=UD&婳iȼbP%T QB|ɜ+zX>S͋>^`:jP\̵ڇ@L.]*INsq%UԼR.?54&[Z~ [5(VŝFbk]P(Cqe62]`Y8ԢҎ'{Zsvt Oַuk5MnגBXƄ„SaᕶsbG&*Si(z1O/Y@1-T#g0&I+eVommYgnԵ{b:jM'?&%YA`Bxd6$`5kVHĺv|^}Tګ{ C3`^xuyYsx!ؑ|G 򫲊4O1V %nbr;Z>-V?3q88x= A?pKjuK/[OcBD>*pŽT $2XZ@׎]Ehse#nNvL>BɃdy?H/g[?"!.~ݥ)8˱#b$ްjq{L8DPz~=7[cj6 O}'>#+O>ZSud'm10h/kA 2,GR AoZŇgtxl^ԡYph;j'+0S4NL .c>WVIWɨ+z`>_}]=/X@}q7W#L!fcl1NWWHaxaZI &d^At 6?d鄭4PvqAH ۃP # :b dkϪ ,jXw;-cURigxI8#T a(v3Z `䘟%j}C7{Z"8Gt0f'N]u6jDqʓ>R:-ukOX:tm 3K~6`G>?vmnN^ƪKp[:kWGr얮*3({ $rZ%E ζvgKzy;ڰn V^?I<^oi ̕ / -߾Xȳw$y2*廩*Cl2z.ퟃd@" De{Gi9&ݽh}Tn7JQ͋M&tyi_mibv=GXVZL.X^ j 9&V\(jϕ5eYlac2VD\ t%(©oc-gZIB0Oᧀj*)GGLEQ eBrk"d!Iq,{D5ΏJWJT{/e"z&}*Y{Æ8IӐfT͖6SJ[-z!ͣ^fX󻩳gJ3N{S)U5n/AhGFx4[6&8o55~}3VR*ttMᩍ' զ3RlRn Yp~ עf/-rEG#Qh],l"~@qR6x^Gx[unbD+oX{ΟX#A_)D ʪ/;hi&B5[>j"źaQl6C tpН\:%b`'¥-|7˔(T<HmAl}~gedpG<}j +xX|2zsbj%)>˸^x`qKH켃Ry1dC'c;"`w,t (-HYcV26@AcyKnFFF6LSvX\%J[9 CRA=df ;I%¿&X>{Wa=o)0MdW(}w~azw b捭m]ߧ'tu` ƒnÄ8+ Xnp>*+_MJa6jXfCsbk;\ݜtBZ5ά+C$u?¿F;tX` I,|cq7Jè#lֱ "*l|95.ҊI.>@z$@up0feШAO2g#_ok1La8wGJ1w(oQS=NKS73|RA݇=rb7ƛjg1ǩQ/V(mg* Fl09nv7R}=AxĽmx=݌B%^K in+1wӂ)=U*br@oG#%ܠKXJOG2x*V̾P8imL%4ri*XX(ڢf6$TߐC f@!ϑQOJGv|tK< C7:E,(NbY:a{+G)@0{K܏+֠_ 2m.]xͼgE'bxMIG쵦?g+gCTjP1&;ѧeq" @쟒w5ݥ)U'j IR!GЃm@:1BČJ QJ4y%A2% ʆC") ^k-L 69ƄK)YRxW] hf1B(OvFrnaj8+pOHeJ+l|W0՚>,vy|IWPu#9lz#Qv"ځ.(CI&{]ɃU6i*T}S̝ȿ5L7(wZW"ł8!g_˩)/W65޵e ijPsI7W)(a8>0&Er=K$k6X .@,~2p D&_D؆PPd4~ f0`SB+0Ua%9j-($j8KwDf)_hw8lRbE)aF+?{=xNXGY9>:_Edfطa#sDw6'8P:g@j ?J'3fmeG4 6<$1|$L GG}-fB9#%UGH$U>tܿv\SI?J-aucvNa_mlHa_mgFi\y'yl )0N5,B zE6e$B!8Uhd" 'g?AYWiv9-ȂC ^wE |{Y!XYz"ix.2[Vl7i %Mَ0Є>9PRO./.Ƽ'zn A.S(BĖtQ.S@4h$)tW7];pyЂ8|@-bf`um}1cGH?:_@ {2 y AtcwRYY'")::yDJfV,Ǔ "$|!IYsN6wyag.v9T1MbZGuMϫN;N z<If{nzk & 8B4&-/=Ium@'0}"m[JKO f[kR6ӕ$S$eGٙKXcmڅvhQ7ɛ92 {?߲l"Bc/Mͦ*˭ 98]ސb6wLG)jF4A<.:,c4|g,R _β_#U`1v#"w_UM"68\B!2^={jf؞δM:LQߓQ@i3Z;"~EgYhq/u;"o-']n,Ew3R'cYa<7$:a&G"2y=st^xk ,?}B$[,D-rH>!7ʹ;TC/!ms y]gbU%^ kXG3V#@]tA$!0,!O'tF)|vlcDf /X]Fy9a٣vȲoO^a+;)LeT}n37qAn$eu L8VTŤQIIfR$keHt#v&zK\Jx@g!)/t@PFuKmN\rkgB"f5|Ṏ,͛>l0S?֩լ_[){R.;93xb3סG躪]|nAo(7 з/c2͉{ni\=ҿG\儍NwiYx <i{5"Bʡ M}c/!OSۅkqR&5-Uf\:& PI@6H8lܮ2ʝ MS'ـsXHQqIؿ &ߘ.*}I~ @lZΚS$>cxΩu&oTbnFo XӦR:ZgxaSBb[(?ZֹnN)=8Wu+j:BEÅ1*yGX~€qwH*- }^6UTe2>l{hH,h01fngP4mdMh"آW?iaVqDJXBC"ApMibόՙr]LXHqZ mG]3mHtk|D!-fz|4lDj]*(:dvtk5#LC ,3hp5Ps_c "å_ )EgVJ CRrb'B=$Æ~|P<4z^G~$IRu6!MㆁNn4Zb!u\E[8eY{K߫ 7ֿ)볓F!KT:FWM\k0M!ƻr U|-T .9rL^掳GII}bI)| +˿`NT۫6RD3)Dގ_޴ ~b]+sl2uタnv&=/e؊8ӌ%3W^14v KܗG/A>)uXf]$˭-{kڝH8#jVknEEK׫g4'ugO`ʼ\y7&4 1:fKkn}[`'ȶ+$]?QE T?@+=n3g`JvOp_FV2jm PJ nE©kLr >`U-1(o7ˊ5YiF T ޸L Jӏ/:jɺSxSf+lgGH7LE.!3l1xK֫M6<ƍ `ve<׾a0\x:#333o Cβ U@46,7̞lG](e?7)}-@|2w^ Tԅ([dN=g35}ކu .7w:úX8IJ9p3vXO`m,HD汣9FAH)̎WM Іu n/P3|!BA@8w aN?zD[b=gTd~a%.P-;ﰞ^E ֮_sFᗍ͛І62ޭQ&Yg'w:vK>ESmwMtQdOqhޓb7Y٘ -[ \S s"cjX^vW&xj[$kXH^ھyDLq&4鴂tyUAzRDGX9ı ,ϝ)eQ#zlKS&HN9i^pΙ9!~Dq`-p$- DԐ'^fT^ҴET5'z (Oxh%@ L1v91ؤa7I BψL5OX0"Z\+@OrDKSr*[nPohIRX4{3߮U\[>%ׯy d%6$xh4 &L̉DXcD5tN!de3MG-{%F)S/Oi#?jM|oip'`!SyHjY҄XPp)PFxB>n79y@( ;j< Ҡ[Cߝca#)~ׯF:u}ՓYÞ5MgB99|$Cߺv՜IBe69.8ny'OBam5(g (C%BIB^IRWeق>4%(fDDYS?zh)Έ7v 4lE/p{K"y(eZPX4/W]N|?KBu ߸3j| |R 3OiqAh.oakɲBOM mlR0̨Mw?Wn_XNbBvةq!U98!**F<bmx&ݭ_&pIcET#jR ^(,QR$즦̬&0^;[]|^_PI7Ћ V: V{)1S\t O߫BzgZh$Аm|_ hpp: m>UΥxAq?u08 Me|g&|e!eѾvGtӒG YMYd 䟈?gFB1b30Ty.II ]X1=uE 4°1\d#rqt}}C` GekH_PjCE U'B0h&ѳF_Y(sc@P̨ L'8w6p9G z o/k* ԡ,P551zhh.c8Ps7'?=y=24-ư-lfT`c>J%ݣ"R#NpĂ $h0QTNgqhyN؛t0uӈ%&ܪ'lP 'zK~#W/6Ah+.(C&OA~;Xq5TXcElGJc:;&0P1xOO8w⧮+|Y/oIU0˧xao%l%fm8ioq,Хz;UyImzaJv Ah;J+kA2nq~cz`e혜 Aj+ّ=G@AOZ%_p9uTو9Kew! MDQ[XR)O*XO,%rmJ&40?RL^v]eQ>`M _"'d"B '*-ry5+QDRr̢ UlѲlּAUdQ4{{g(3v2?0'풋L:B+l|hE-d}TkSo+\G10I !^`b͎ _vg{LtM!Di`[64>4g~%*rV Fj%."3*C+Ncy`>jΜUmY6xG^G?S0~ilZ]G/|oxFH,? 6s>u[KPe}%״G.@[^K*;_"^? 5r/kfNk%*"QG1ޅQTsPZ_nf%x@+J_Îbkwو#3y u"bhD޹l6%Ygy} }Mr@7ƁY#lM`iw5z2b̎*i_ ۭ,t3ݫ!D*()[ڔqd1ovveQ&eF h4pj0Tuk'7- M`K]^Ǵr-qճBg~FryIŦ/t"/Fo%"Ġ)U渻_D7)H.b# XyC vo'WA< > >i2$A7"0ѿEt"1w{ʼnA%[tzB- =29̦}{|wÚM2h_S|MQݠ0G—ΜKLoҖP_Q)eCiU, 8 09׫|!_0MԔpDs5[CƆj?tv|zdX_wTCaSMֈwخצͫ4W4^Mrb̏07@3˫o#Y&ޣ/-]\sg'ToRε@a~v &7$y1S:.v9;>|7c!8J<϶L%:<sMl5؛LdOks3 flW8 dNAq^ȵ\ÝcN/n6ߑ 5PÉtPk_ݕB&WgV`Ŏa=}GƩ-aL40Mm6u Wͭ E/f8ɮC|-B% f003\vV\ aأ9ܞwW3p[ښtcsoKTMhGNbfl"Va ~pנ2& 1`BȨda%x0v"@^()eE|aZ9;LTyOQwNsW5,80 J0P ièo_q[bMEȨsEGf݊6;)\Gx8 2}XV>k8q1=vubo -ۭ2/IpދWYV0:AzY^!Z-i F+x(%v/4'>g3PMXٔ jǓ"^>WyM^+<$ϭ.y#K@hejL~n6HW}`_xG>.%ڍr~fz4L42B5?$f8@ ơoYHh)m,`h^nEtyH PD(?i:&y0B: 9`nldVM12tV8iAܣO6Jԏ)^P5Ozd$teFnwi_& 6n$?2=AY`o5X48o;Ia(|{426a+lݵcfF$f jQ78pG &%Ja*0@|GXJcIJ?YV qsp㙆Iqr1KڌM'P(LQ-?ٸurN @BkYrC:txndN*ܸJ=,w-WaqܰqKyhu @C|w ,R* օuy YPW"=6')أdM@w[;bTL١ "ϪxKHwڢ0\BcdԫDwΣ |8OUC`%6OBX5@ډVT, 3zcb@%axyidUO6S sx UJo! ӮOȥXq*% 9r%Q?Z YSW|LK2&NבM~zU*N+= Lb7EAG7L*)/t3BkfpU5F67jC)oj)}2՚|tUl26v5Ic8z%A$М;;ԛҠŐ7?ayG .t$֓ڇ1O-sALȃmG|&126khVQ,Z\}CSg]0.o;a*:1Ϭ"(MT &n$E"0ڽ;A$C=D{ޮ$fKT(UCZ %SbӾ , 2~q7g u[)l%,BCnGd<X19YPF\XL ,/_E}j'ئ^:7RⰿFᢎXDPigR#S8iEJf mIޞ[XГζy?o RmkKlVuHqq_4X/ QBkTQs^Y/| zG5EJ sh//ڀ q&4yDbˑ?;̝>yBve*aw>Xmkrjh`s0f%͓fg'qyia~֫ 61TR|`~F2*/8[X)*Uߕ5a/tHL;^~< LM.T2(wiFu+yuY ӔWdF[s >ȑiУrZt#]dT9' A'rHoW| :>kBȨ|XOk3x\59 bzȀ~`8k}I>`+ .Kguz8j)kv'8=@)(woxaT'ƀ091vLyPG)c4YU{iYf$X.,#H!e <]:H'aLqMxv.8@;:"/ؿr< o\p͆dL˴B̩kXG?uG.Hm9k*Ǫ;0t#AmOK+p_&dnWI*oFDˎ8}7UϢHqdd%rWZ;T˨PL ne⮉sUI^ {0JhHRjEq|bpR/jwFX?8ТETVHozm=XK(>+İ\n7AuXh̴oqaΎӎ4Jhn y&'i.7c$y{>nF6 ZPE>O)DD_4{'|Q-Z<(Ƅ%dfQV3f[C\őzm)"WB GrӞN1"}K(On նEOU=/<,tm;魢$')DW%)ָ2r__1}ql5 NPȓgMAFSa>@oJ[U= sj2:n A-#tC\=GKB}#S+Eߐ=ŔwN 37X2 *˫J D5̭o;%PJ֦EH=E6k)q|i:rr xw4h3v\?f6 _:J7%-oP Zthwc=k>䂀j̤jnmE ?+9qVm:yZLCH4vБG)b:ɑn(ǛȮ-aDd PzΏ{bvA-R9Ɨ6 reW*g+&UDcˇ[XTevAjВ,-BF6פ#Z*"$ S%o wz00%-#UB.tWDDT΁6hazk/9(֌N8xZYQbo7׿X ^ wqG3%B373Eip&t:P~N jCbX`Z +d^T;tU5FT,p9mc 㭱JUYMu'X_b_-t3daAųO&D ȳ\'luf!n;Ekm+fط<[7+Eqlz buz(ra^i|>]Gq2˒t+&^r/,BLcam[n6/hR `fڿgOA{GfRq1 %+ f4J-MoDFBCv @oCX I19Gq#7Y4GQ^X(`M\ɱ}El(LhM˖m.34WŴqe֯wEybTs,.)!ح+Kr6yc˶wWmw|؎4*#ڄX!JDVi6/MU7sdÔ 8/aj↷}6qEAdZ's& Hh}_ʅ}IzxUА[h!@,Li!Q^#qa({xtv&8ޑ]\sq28O27pAعxǚ } 3"WA~^m*UK(f+ S=, yH?iV|_:Ei^3piԚIxK |=Gw;ZVb/F% Sb{J^y \U4Mf,oʹ,5J W.E 6n Q; N f_wXm$Ҭ&6N%2SxڻૐP3uƵ p"N֛,<HWffGeNjUYu?c>fgpvY+j9%48z%ۍ<襠_"b8w\mCl/>zћ 1خ<\<ɺN%+ mMW@Qx>^l'#$~Uu(ŶJ{krg_$UTy+lތVkH$8R x^la!JoǓQ_ΞF9[<ZiM꙯2xCh!o\joR[M[{֝-: *^Ho.-q0GwoqA|)s$ϸ|/Ƥr,lg AakkP_+[ Iz3&HX(亽%@UWD6e\wjZ0-~gH; VI4Ĺ*Ǝ, ClQC+\kX@]9(՛D7%ut}90߳g?& 1Đ8_SroB^~!6 )^Ǝ/9>Kكf; +>(=wzm$* CId' &S*u\%f€My(h.:ű(N;ՇHOi 1Kj&EEn@Ͱ1fHT:bBUP Ԥ8ІeZqdwRʘ#{~2QEdWcYVXOg=꘴[[xY0)%8Mi<(oxdчHh(* j4& R@Ԃ'5T,qgD^FE2d,9"f7|cc)֐caYInVe'CP?(v9KI%ŬQIئo7g^I=Jjb9:fBlLX줬4~!Gbuo]Z=s|@@"ϷY@M0Ֆe`?`ygTϵ6fÃ@2d|@k.oWz1|vgYZ1c93d3ed81cc1c8c5430c0a6ae5d0d2a6c4ff10b1bc35d9f5c260a07418d50e521d7d63c2a5eee080ca8a659fe90365fa9158210a25d8fdd132727b4