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 ((0!4 ]]]HOL-Proofs:threads=6elapsed=534.994cpu=1214.620gc=177.716factor=2.277zXZִF! <]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZb"Bp]Sl~=aFL8VI8)eQyщU=ZY]uPM(ADQ H6/+ϳ>P–`AtJcͶA 촛1;"DϊESI/ 2Xz$ #$Iq}LJZ,N&͉|%AQ{GrggTzٽ6RHZ~M@7}4a,h>7zM蝻!@ $4#ʏ7"WfG:t'7 h PtiMn0P)N 'Q#l~E:E 9c5V0:dsV{mM8,`BUBw>1R풮[+)U6xS*`IxZ|n/1 u}xwS5E l$ѵN͕zO O1>IgeZ82aܥB7>$S8I1rs0*%μvw}dK u \Zw=NX!$)&Xaj]r lfgg93*~a$.sыF1*]% ZўH ׷3${$Ę EL"B?~dHĎcC"j-BAEܭ/R@vh=^5Q h-gY@~;PОSڣ5BpdrVBY$]VԴC O Sͱ@_eSBwьB'gNYd#JF"iz  ! HOL-ProofsYs8uU;#wRR]$u:0:QӮ 0uY:*.gEJZ W_=;H\:jͻt 'XO1cQ>XύՍnUfH^V6%jEKPZor6TO)_&' 0J'MU֝=J댳*qGC櫰QiS{1q˭RWUiaG8D R)_ ;Ei Ė`8s!>ӓ;ǹ4&C#"{u'lhjtK&9T -hm}=u;pM|WF <𷧾]cVVWߨo-i'u^fƠ=! ^.V+K/<K/:GVvzu`)}6h HPW  I :|c{b'6 ?UJ6g*GX.Q=hHh4V8" *QY 4e`$T(.&aT "SM,tLqjym >Ii+' 0x`!8ZV5y&hPcԃIHGGY8e7܉2Ovg9B:o N iDfoixTl;aki-9"иƘ:@YdﭒxFB4jS! lk:ZSU:阵&ĉHfԾ6)H7tCL&x&@;p;Wx i83c3$CQPF>)k"uNuv>6.3B˘9Jғ}ma/8_7,zy$WoEf-R-]SMͩvF>력WPmw>L#\I];EİSA?fY#4mT'bo<"L=Np4~[+7ggU EAg_&~)aW/" #Q_w~k^w9A/LD:3GA)* 9I| >?O<$ qb}b2I!;F=l.f:/I 2E&>M)8.|/^hǔ. +W$Fȉ=SagGtk ?g~3sb?zOTr5 L&quA&F6j?8Q3gSƪh9#WcMB]~;wL>cH += d zl A,L ?Y)͢B,oOsm\7` t/̓m6>bή`f\x\ ih|f/sXO/bĻ^h8H-ע{eο۵U ꤞ2qHzdi=YOÆdh(_fL]8{;yuo5G8PՀDڷ 1@5iɞE'1YhiFߐGl2EkGnB_ѧq[ЍNƂ]G%/ծ5kS6Ó,1?ZA񌃀_6;a$,[!iehTRDiD9+r'kWK3ڦW2u `'}:TꜺjr-xOF]F}S'L!B$*H&P5-ZЙW0ĻBo^]Y"K}P4l3YhLr4[όmWЊP-$I 8Arbc ̈́ˉnIg#rJ R *-W4n7߲g9- yvE>؋QE\.eѹ#k^Nbf5Y-9]@*\_{:{٬нXP~WM,N-Q;Hb; Ny[T? D:Z41 ƖɰYh-$uyGm2$<t]V$ lt鄀LweN)S3<@@FNV:pu&qH?3dIc\$% }5!]7{h+f}rBK2۶+ xsPO߀h |oD~;=Rh7*  l\ ܏۫5y|`=TUVk֟YG Domf˝?ӧLMT֫|FԓkcX0}?$l ˰F0sP*ZrLL6b ?2Ȝ e5Bd 阙Q*Y.?o'.9g)v$G:)y81(ňiUf3g Ѣ&+э[1烿kd/h a!$'LJcZ з7ea'1?AŖj0'J 7'0BT2͔G9l*mx zӢ+4\m dϴ-i97gAMаꚏvej$&.v\r;#Gϊišf?'ޣBZ)u؍?/A"S.dK 񐄲}*J;E3tn*?wҿxS9noO&-6h>&Wdbl'1N{ŻCYrga#=ێ>1@L<Z;]#ˣrBRW_n ~ס Kīa^CB,a:-> ~sʱ\;K]rw:O\0n5jlʐʵ +ߓЃO9l}I̞sT<7e9垗qhZ]hC} \e? J 3jd dfV91,_4x\뒑\vg6M!$}ٜk2,AqQ~#?y=):(O=!UcHU8qe|gJagIXaVB>tsJ<[}\}JwʠM쪢5^n5EG3HZ0䍋{ڡ%YT/J֘U481 AU@*lD-Ty&DvxR i;!^|v3-eq}|UC浪JR 8\ [ H/~SS &ðL%W~`Z?*W%xy$frp̫Sp}dW]EWGo>Um&X%Y F%zGE/,q!ү ibV4* - :7]^N0X=-ln=9J_{|Pܿ_q~2~K(2b|r9L~8XpS7N3deɝEZ3:KطiWPT(PE_85PNS&:_[fAm}ݕ0\ >(=,֍zsWǓ<@[BSUWٺ{DZH9Z0U0%T cu_.{M.F,*NBzEDIlS~v3CMAu״ghƷ/+ Ju2m Z@1&ވ̤n7s Jj.EM!!B/:Yb KŚkrݤ6R,xu$v0&pT"7-)ɍg{FeLO^E*zC=ͧT?tr8LR]XkJAN)Xۜ嬦ͱM-R_6jNPpF|;F6t$vڀgJGO5~>N,<"m~҆̋es!&nP #WLuhSBFCڝ}xטF7{^u ˁk"`}Qjo?w1y"\q!(yZQPUQ T+7$h۳8rddZ]ҩVSs2G?bBjwzoi8Z`T|SBʭxr 6T3?yz|WS pDj|4=QuA¸mD>ի=G\vRT(%"yNI:Fr裢"Rl  4qR;N jWK>_d&5q` o}}Ö(sل-x9!q;qLET_U,"Z[HQ9Y͠4P 5 m]tÀYq3VG`}ueK/_qƞkǖ)t!}mZL!ude-X\hF i\K[\t)x,+,P!t"Iʼnv79F6xc!vn[at.gB}xỲۢ JݰMY5)Da0"QW׫-_:\6\ڒX @ (}F"97 0HD<皱F0aҹ t _8 HFw ޥ'&"GGu4qBM}%OjV*'ڣĤCX? EM~3dyVo6҇ZHl NF+rl &&CaJws}IXu p:}LuS'rHc?xx> 2vNgYZ7zXZִF! /h=]ŗXi%;;$hFD ,. ?VdoΊ!'~ LWWYgU6_Z.jΟHJft(wVM[d,CUQ%=+^!DUFeע[GZ} _Bh Bo꼠+0íP^ԋkd^w$U9ay2ჴԣr^R#'ol@frH0 XMl]{99HS 1 )6?{E~imW%[w`1\=d$"ɬ{3$7 |.NeWntiYR]+;۫g{;:܌lZn4RHlGNuLÿWwu$fF߫k#İ72ͽo!7@| ~`(]o&1svͰb5Y:[![kf7ܩ,i¬+aDoRn V10&~B5l$) lvjzcZPp<`{zN=Ưa@Zș6\jZlm)Ma'Ȳs*q~(яǯ^;_W U~*0ːL\dmNҠ2Q;3Ad_9'bs9MuেS[kvӛ a}b]Y%#i/+919zxǝS6y;n7:wy$R99gr]iH&d* Roų+0@uv i{گ,iutvs>p"S)θ]|jT@8Ψl<3M}rWq9U l̑@U` E$5F#+IgSa@?vn(GC"%:@8!ޗb'|!h83p ׽4rp:O!bGs v S{E\ZXZw9,g=Ho#jqRlvO7AD;S-W -#8̄>kڽ`ir}:aCKPCtUu9'Y*5yz s#j1+k }_E;hS>&f@Ƥӽ:=o`wrSCYhѬaf饝 -էeg0 HT"̎[CI@?9@"kཚ{|Φ̜q>{^n5GWU!i3l`4& 7PX&w-8"u1JȲ9ôv^@j^M!~,+|Vd[HA]"!Donl3 љRA./7MJ-Wś$~y,Lp#ڹB$nF\ceJuf.= R;d[VC5t&>_a WjaŸJgoз)Yܴs |w$r# DưSPT:M#; XاPqMr~.o,&gr)cIsa+5ވ[tE %].YS[\ OJkqw~ZtPGy|яGbP^=/مu+d`7ް]|?):&#rW4<r8 k6g9jˬM+ fKx^qN%tLF-xxtHk PP8[׺:wj !.%"{j7Hh 2(EVO޻%*Ur>W hkBȗOTajoˢ:e)Z/,2 kŖҪ)# Xhw8m]m'-혊@Dc |c|/b/nQ|11R6Ax$IcedbpT @/"HD\I`K*eSԁKVC-NSws`258Jm96DYEFFv&"ɗ= ێ+TV |p(v]1a7B|үfEk)6 QUm@_ F!}cw"ILOݹٹ?r|_:ۡpnΫct=pvJ*q(teS rNiт_R.Y*SwѻI0 /#9-SZѳ%W2߳#X5F>b6C4-nڊD1r)tc6#?WVԭQّ~ے :+'!fPΚVWgxS!\gLb^%v'\F:"ش45ɏkhYڼ(Gyh[(".JԎk" Q* h~9n.d(<,Z\ف+Ύ$/(]\%&Q;4w4,{u rTI P\>B{Y!1kGƺ#Al[YQWNXID_O=BK}o c@._xou5/liY">~~we3ŀ3gTi㨙m?B[aęĉJeBY:Ͷ؎ p4%C`dw`dZ4KFsH.C(}[n~*ꌨn܇>BK+E-0CiWU*2u>!ش 6πˏ/;߈Ðe `eSjExrK'&yNv;">@'_L {uʤSI?059:c} Bmpt~k.bW*àX5t WLMsb9n8f +He*QE')1CuQL߂]Pzc^VP)twƠ<`]^*yժ\lB±%Hg u B{AVYez4$g0CaI0R9\,,% l slB9'p-fY3P*_"߆,-ɷl.,ʖǚq zOzt;|#21.~Do#x);tQߛi6aOb4[!_ sb(נ|hBS,}(Rv_IO/t\S.ki<4g'tWqVDowƯ]uX1ׯYbĂ J4is?1ْI.aa$:w6fJE"df.vz7YGP,U/wM\ K5KN?7ɧm{0=n¥ (Q\@,ŞLUYU`XrEBrKcbٳh|"94*A D E-1;BxIta_*P)4hTe=Oms5;wY Zt+? æ$w/Ѡ̵ci<q7iwꐚ*X+"30bfl]!hxt-*WX `$zcta&c47k}ϳہ=$>;UƷm,t$'lﺡLoFdm(KKok]F]kx5fܢbC_2ݡE0BoaˏV$7{@&6b+ t@͙'5f{oͫ-:]iT~i&$g?2l{9)ͅݳBBo)aadY] l,8\>|VQTɍH>3Y҄F'gȇ* p~qJ&qBO΅]Q]AiO@T"eˉ׬!:CY,83#& K瑟d;Q޵RpI:rt:+S?6]wQ9ѝxsߠ)ofWt_;l\U߭S} uTsF K/?nzˡ@lDMPǾST7jt4>]TC`鮵'k:p IqvNZj? 1P xDu G]o1ɽDLђ+nNEB5ǧ:(i9 YQKvRj]L3I\ 51SR-#-vxem{G2 ׇ+ GKJFQ@6o|ocW6(Qda0lr0\sT \Ks֔8k.B%&96<>F괓nQ+ig O8qPfO[7DŽbnv~~iàDxD7+vcYzNIu, No䩸p^3."uc(Օ0!z=QG\ÆUotKMudj!3JT͆K?: bk,0)u2e?L-RޢEH#xĿ6 SA/vek2ut<,ӞTذ'u3uRkNN:YhOC񌾻_Y[Yȅm `8[,\,)́*3!X}|`ٽ# .nؗ|5\2I=9U5$q.G] Q31%? k0ݸo+Af{n, 15*/ѢNfQ(,`KopG#.5򺯺2pR_5_*KsTmWzp1CS"e=lKq){Bb@c1Dѣ-? j< ~ ½l'W}HO֞Ң ?M݌Ē=n6ZC0KkLW Jcyv"QBLLo?UhzOh INdin>E4R?*[ [F\k{%^sNe9lW2%%n\W{=Rk!MCDnb$ gm.o_~6Nۯ/itrQJTݳuzR#cUr*aΣv`kqcC=sǣ$ xp3^2Ds~஬ .u}l}2㱸T86'FMHu:ߩ? wpOU҄kh7A;B&D0ՍB"9ݽ.y[F0 %,Y 49g`|$ '9-STzUg$..+`̶{OUԹ2(45KЌ;j ӘkZ˛C #)8o@w4yADe1-^O*uիD~8`!jX#5T ~,*UKrxm9B=3ZpdDL;fK~[+IrpT >tN,94myu}wDĨ*2ar; (Tϒcm`&ӆ)o|-M()z\TJӕ}a=!xYOr>" ;-*,Z*כeC;, Ȫf 0&A@f"5ƒLT E. kP*7P֟\3oJCцxL "{~T;+'R\XmE@ rZD0'朦A"q'qC 4 롒1V'w)¾ppw7PY aTF'mmh{`ݲ.E!_[%]Ndڀr.bXH,Cw, mKk?.Gw>Gl뛄XT]Stl .DD4:eӻڥhIOĚ[s]@f Al% f56'M^n1)s{L۞fV1s#v֮LY"  y>Mgt{Kb,ql`X_:<1m󳗛++󽂥ߍ@)fKBqsVI ZEP^p鍶L<1ƖdۭHN4]"Ng_q*T36L%VYDBF&^Z8_\~,k) :ZwezW)o;^FIVBK)AC?mJhOcUΥzӷVX`Qq}C595HmuKg!YGU2rXX>&/0Xh~Y$5ĂiK+SO"e߉_dX "KO XS,FaMۧ_ߖ`!ěnOؕʏ7jBD'}n=UPHo$ yz|rtr-BL);VONj%Pxs_hV s -7;Zm'mҢR*?چE97T{mQOAWj5dU&|]EȮ,p[Y 1Kh5vQs̥@¥"n.@;nn;=`4:e^@w_Sp\F sݞSIf:mA?D|t~aprPDU4tC+,~˝m;Ǯr>z'[-r4`ʆʏbeF7+юg3$yX-<7WrI4ןI2GKi}!x,Wd?bˆ0 4NLo!n$=  yux4n9,m2L^Qe~'&z\Ҕ1>&K}`NBv_֏Koe]z+UOjr]Pt/f$!ȮP:BKk|0H偋v ۄCrׅzJJL;œ5zi\7SdKyE AĔ"~PB}ԃ[Ӄ5qSΡF]?=p%Ǽ@fRyBzل v ;m"ب}vO8h=UwZd*T٣Vi80'+q<7y@IPJ5?TEnhyg=w |cV"ݶQKԹ'f בAצ؋G4:Tyn$C#B]1@AD+w r|709 7%[6YTaUqCi]dO q U9":7|s+AK'zo:4P+ c;(x'Cc`15,V-^;GKuP9v(ghMִT̂~@v2 %x: |8Y^Ѷ7 9.2"S6@]sjHoQMW.GcBC^z[)~S 죶dWN*ŌV 5  kKט\+/^-lI&R6 GRxʃe\'Ak+vMhʩo<4F]3)m2^ByUjmnYjs`&"h`ydk;*9C!eA%],b7ܑ\tκg,$i3Cw23$L^*Pf7XU~3_ F92Tt',]fՅ4!ߚ5nf ""o @9'C`A/8 s{|bbMJTl+@̻wY P/fX~!}/g5Tn\SbK_C;xq!lc09@ItVo":to|%MtZ^ LְTz8Hߴ }qHߜI@lvwVTdxHvr&R8nsFSf4k}Li2-yꤿHd 1?SY! }}G6\ҘzU"9%Tt*i:Qt;z-XTUh#VBA&gu5Sʖd1.GLjhE^F&, ,¢/RXij1\F\*!8UE%X⩭Y_я\Tqc߃*iuP/9b*)n7dR27oB)>lRE7Qܬ1iŗnA`NMע .)l6EtUI)_PZa @B Fu|wx?a,7zT":" xe58,Ǚ.:wh͐8auYeEdg,TܛE]%SqZE)}}!3On~1+2˙TpBgۨ7q#!{2Zla3x%QdXcd3}׬Qwdm9lxjfVT ]SQt7p.nE|Kq ΐZͿcpP9B!ff =Q\Kӆ6Qssci;7/e҈&L7N͂ D*~,muTp?]"5 rG78J{W 'hp'̡wT]?#$Y7-9'i^fa8̛a35ZMfʳFIEYcVM,Nև#f>X|L0 hBsdR%qIw=Yu.AbTjvVV* knIUuWة'*}JݾT%5CGV>q>ˀ>ןnx:eLd3~`=R'[s q9cz=17Ca}J yBƕ S[|u[1#Kk}@6]Vf'~ ^fKeekh,.ס -;pq#ŀϗ *;A{m,C7~,  r85YsU ',z^.'{E 2[y f,FJQDn{\#"ɏd&*ş=@[C[ѕD8)㭑*fc%13/NEB[mslf`A0(- ,y{ANJzf!_4:u=@gdi,`Н٦vMvE 2egRC7 4g';3 }}4%%2fv, N G;ӽl#ɹJ?۳H)'z;mU޵N%gva8Q r;kFa&-Gx6|g >]PW+-o8R4t Su{ˈH|YaK?|"H3 }iz]࠹D{L}VL|vG_8d_Pߦ QP "΂n 鐗9Ξש"Oճ#=; mzKׂM7V_lIx0zTXD8i﫜ɭ[v* =w۶~sw,qd 5m$Iie^?*m.e2:4hcJas^ƙ܈4%$qh+>h]1JF 2Nʙ|+d9ZL?RjadEW)YLQ(0x-RiXr+@mt&ܼ%-$>]~^? >{.e>_X3AnsF tv ]l͘0xMi%:&#.W98XCV='|tNY|;Ŝ\0B=PBr^N6[:X=BR[\}{d!#U9&JbT^}GNlІ->ŗMҾap7XH{9e>60_2Mkط iRjedC 9:P^E9< ~IGJ$0b/ G3~Hu am8q9@K nk}DFZe^.(>Wa%=r7wūdZk0tv90,mI[/ _6]Ź}{Wzr@_\Rh~=4W6m"чE|"6b)fPQ|(dw2kI)GJC5Qd4AХ0M&ffi I8GLtVd&<"%0qo+#)U>Msr ABɏ>-jx :܂l-DBtYKDTj N"?)#jnY'%:2js_m?u0YDQ?%4s61OAƖizߺ']BNwuF|E~V+~\|ǴiCO-BR8(UJdh(SDz<$ *szjyT>50u.$]MZE)6Rw {C^P {+b+m5zlf8yp&xG eV*%]6X=p^iؘ0thTSL1]/Cr7s|[!nˮ@cW!HufPAv]솱9Ful%+| KX(| ,/U>o?.p GLiዤwZ[vⶓQL?)HmQ|neGAYOfhgWh47G,C?&"O޲Z<υm8fYS8~ < 湜.MH5gpT > cX9p"]B C-9sMR&.}߽R"OL7b:bC>!vș |j0ї϶ֻ<@3l e X56gYEo!EQ7Pd 0Ǵǚlk2!;5jYla;3g]uy ={}ƹr*[`Oj7ͤ#2wQ ]ݥiQ>[}S4}X#msY>YS6uzS2XqD(+(KG;|-,W;'(p,X-$!pj6Vw;RHZ8M iݵB(Yml[bSIJLA]~N3 ub*2$d]vB5RpxU]%%|"Vi \$;PTSB˽n@dVu{N(Cvo9x U\xlQ0e"ҘqNʀW$*VUBu'>'$RIO4E{8x4Fv IWjp_xT|4/.攉f TI|m`d8]x>)y^]*):b$0a|RkBHNͪc?#$)9/PQoyO׽1F.\'ge䴒`{QKzʸ*u-cl&U?t?`zrVRF}f ^gH"+u506q9O{e 2EY ǡڰ7A 0V[0BX&$ӈS">?[}=Ĩ!AIC5\/v Nf.>mΌnB7]J0 }z@@r1z;h_{P%?ݱ~-г5r^3H}ǖ1f 7l!{sĨ G&5BMTuO_'5qئoh\F{3ZϙQ<8i}dwa,@bQFe; (u3;L(' n­|0< fT".neRlKۇ5΄<{LYaMJBW➬=|]~TKo$Dlp,"ʞ-o8hp(o AGq:t*8;)/Jk |' qC%O+^4|qzEQe6[ǣmIfJ\}dF7ݭ~jRU::z5-,R8&17"(XuZ͗,>+&߀Bg!U|3RJ ]t8Lft=Ms?l48Y~eYWnis 89xjEBqh @_ $%fˊPV* .,vSKF|@8ķ0KP< `kiF2oa  㿖WpQb~R[S~@6a |9T"}dc۱7,|kW>b6br5@eZG2O 6iL_= ?j>U`ҽ15d/g888s( xpBAչ7eE5-x,W\κڬmA[hX0r<~>q?! Zzy$GQF> cI$AF`"dow'x$`y$+hJG 27.?W0q`*gB]E8s୲WPKE8%cNTVN0eXSsDh{60Jit/SwU's^:pvKX [rȽzM)]BWY+jNXB _ KmX$.c gNq(Q1D(&w]dΉz"u%I#u%DN;a1j tZ~e(yilIzTh2sEwHϵoʻecmZcTg;8Rϙ+l)/!&Փra޸B< h&h*a_ěgw_K3+o58]kn}n}]?x,r@yfuOJo0Mr^]^YNWKYtx/8ƚyGJ/VXU h^ MCz2/낆ڊu^<: n֏~%<9c ?A7Z)I;knD:~2Rւڴ 膛z`A f\\+.%Tʈs_4.¹ 0ѝdk:uCd s=V 7=ݥd5O|B!x$7 ȳJeX3z6hƪ gT}ϾFesEb (-g8o ?'5N ~ф҃K&Fvvg[B"劉v(՜?( uc 7z hMlArP25 <+Z%}vE1qU!dSO#X{)],3h92i -H4E%xI/P|xS ]㪶'# fÔ"Scb/;g|MPJ4oSY.Sl4WνA2ժnrpM@_rk_4a(E0 :SLp(( =6hr$_] Dz%y]C2+$_WxZy}Pլ1>6{l.pqm)P۠Z-DIa )EVb{ dYcY%p228} ^(rNL18iwcRmhCCnL6r$\հ3)za6,~kX (ͨ u0HHa}*P,X3Gеn f"̭EÛ aeȲ/6臱3ƚD(9{ۆ"W٥.Qb4Mז~%Er?.!n:4ͷ?$XYekՀ0\JZJ-ݛܚM[kkwi2HCAj1JH41xFB*Ƒ!D"*?$K$~I^[L8ʒaIOVdo '5mB0S)"&⚤] bw,0 HB%k XaayqZe/uQ5s1oSkMtގ" 7reogXtiO!=f&r3_ z,m"Ld_k=b ~WHL%Ď^'/+N\$:/՞g uNhL.s_H4GRy5M!qeui4L^jv yyb3\\rҥaWO*1ƒ`K}I(1&M\7+v:"b'= AYXhص7}h\`2yQ5HYe!(uɂopA8HXRxnHt>aʍ7ȨӈiO,|}їP^g ] %4AEC7lG[&eG3R 6$'7g kxgƾP$ K$>qc{\u[f\7]W4pGDPh[nb*wad0&u80a8UH^/Uo进_ RZehnlv\nxI帴WfȺqH#%3;4Yy`ͻ=gσFw+\dRsўz**,E1c[Bm cn'\UuMjL ;#(8DPuuCiQ8ؓ1H)<u6 9ol; [?6.yfR=jF<Øf@1DNˉY hBU91l- =Fv+:⌄zֽ31π%Txr6=8pXuAdC֙i>`mZף&ﱴ~ێ0Uy}D"W?okL{{e5y]A 2$X( Nq\IPz/L9o0N u!sTn!ZVľ%)h0=^pP;ys@ZC(s~ TlThM{`IRɋ6>-D @Ty~ v`*m!ūacUK]g!DkEA﴾})Lj:'~I(Uޜ60Y=\X:B1ɵ<FF<xd[{/wVGl9.kK*1H_CNXU_ZFą2E3_6FNڪlp"tbU Y a:o2c]gmra?FrJ;"*CGSuܯ-(5R3%RXqS] 9-"*SiS%7-_"s7fĤ!vyJ\8G%,b~a@s]6%9Z2)Z:f—@.U2xzOB7)]% e&ˬo߈z%meYcʉr0il4SD]r0AF@Cj룤so|r}Fb3cE>(bg*F(0(<XѪJJ]S慀W-ڽ'b<0Ju;>莧$=.W9}-:?Dgl\ch(F~U&.k極x uU+3Pa6-Ȑ|Gqbg;Ǐt90B|F(in1)QF~v^O 8* X qK~XOS MmsnL.`I>Rs~ XU5{tsKKur]k{֥~.ܚ:-ksuI`z{q51@6 ZW8(J+ӭd`#y ܈T--ԐYlEmb* 53* =a>UnKA xJ}a<`č4u ,&/'OOǏš**(Շlj\ l8}/(}WKٮAP<৤z=_5R]ZsNjG_ʦY0&{D-&H@QŞ>Ƶ#L/\n)8Ѐi}VzNMT—Fy"qs_?&惗 XRr_f[-bpVEfQK* y̜)Ut!Ϯ -t3]- gE}iܩLy`+LE~~jc7M؋ %^g\M@`ʫ6 zqV{qҾb8k˂+R_03$#4cY\HA9i$@.;ʰ0d>3݃j Ui&CU6ѨU.FQFyQ2800 BT $^ڝax|NM19]gO3|, 6p)9s &מU-IsB]V ͻbZ\wbm?(Э8|D*u^D#- ĽS5z+shX+/c~vɯcy? (C_9$"epǪ쑘 |/`"ݽdL6Omն~ k>b]_ҷ9QA5lW&;>$IGƞ#r<Ȣx{$3sj5Ts{Rݠ^ߝR`fz9Q|Jqk*bKۜ{Xb=r*W[g1*i6ŏć[=W|vWn^xDћK((ćHS L!MzknDPM2",*Ne~(2SonЖ?KL_oG^6 _i|p VʻW<ڟc16A'/%ڄP:Kz.Hט/w-@ǕL4ϓ{]2t>=0͇pXlJIWXuD9 K1n+r%& D1" d_ ߋ_X~zzZvc4f _i9wQ$MK74C :4T$ {e} am.8zwp _HO4lZKcsR<}pE=Dq]MAWlΨEz4ӯƀ)<$;`=+h={.2 zOX KhVrۜ$tA NA_9'7Ø/ƙL¡ qԉټm3v' )Kïubَb0⫸tp>6:7qX2\Tp/Flh@rݩNM`*H4c?x`Dpz`3{yF*rDK6@?*oD&{ͨӊG ]ON yN$5KJz?`J܏L6'f^r z-Qsh } @I3o/Fgp[>{7IGt2I)Jm"`% ܕ#1OuL /m*yFv\[R,& `H)I]8f wWe#nQY>z0 c@!'/>q]+8bvb%Nu,YyP?l_VCuW3^Dŕa4ALxnafdq%Pq,J9Fhe)*ZsTM,q{`oWPBbS ,]rz#Šġ jf?eQLT5Rz=R#lg\5֛imL,5W~1 .z$te/ lHkLgĉpˇaVedu5c'5dm Y#;*UVb"$7)><% Uje^;w8yh+)yb[a7Rv!呣IBᠳfȐ gr;pH\T 6YzFF}.ǼQa,s#&E\H/%_J1]=Fo!QjqO&23\@S V[˵r{X`{ DAq֒a2sx%=`5+_B ~Fp;2%فRESE;R 1@xZD7-㦺Nf}Z?F=uH=PǞ ]=InpJ qPI.TX~8;-~9^!C)%Cf6 Ak:38уRS<ёO,G[O Q5f{¾-"" 9D 9f.職>Zm 2h-+ OԀGYv$)2hLE;i FҮtW$0e JiGhjc;.Z$3#gYZ7893bee89c02f5e888628cf2ef9b30ac71dc7e05fd2c0e8d5dbbf0255abe36184d8e162e5a6dd88cefc01f6b1df40fa551662285ff34064d64e7f6f2