SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ]]TDl ]]]HOL:threads=2elapsed=313.380cpu=580.128gc=62.828factor=1.857zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb咬Oj#9yJܷ~CLŪ}!ڛ̖Tez'F":/%UI(X{zA159< jT75834{˨?$$;sP.Əf`gLfp θ@}& M#b%՜29XH ǘpԋʅI{`|`՟v]V/td7Gw7, aܑK)S)UlζCh=8AScJ s_58X{EBh/iqe-9>J->-bӪp7v&&bVuqTŲqx y/,e1k#hc̒,nMh̛l'{T1'u'C3_)MiO G-wXĖpsEC6HFc~znƋ~_xOq҈J oV0#T;߬e%/F/l} d~7tS@Qh@$R YFT=B\'dGЁW;?9 ȜcyEW1& 6&)"m1s*΋ Ƀn^mjvƸ wx4Fl۶&`Z"jkRԊ;}Psd? ;2y]vvh[GT ': ;B@S$p EKkPޚޫj{;OxS z l>M2?B ٴب%Dayt@Dԏ?/KzmGm?УR;םR$B@ha[u?yEohՂd 3 U@eyGbʍ&>I?^,[PMhVϥ'u=NXn)7B{t4xoL*W1Xj+s. ُRw=ק>0z*7"6(;rE, @Ձ 2C؎CGK%Dzq%R6 !'/EVߋ[u,]2j38KIKim^6SH*fȈH^&kB|31ٛGǕtŠG2 |Тag*pbT^|jăQyu tXC@Y C5 { /|99ͺgEm9jCJg]P.>w Ub=hv՜AveP %] k#gC k6%*\[OȄUϨ#{otb&nOabt0>瘪XLdC, 9m/ WDbHP2A`J'g}d+[ФX./- # %a  HOL  ,8IVbi0lSSQ,]f݇~,t*كoQ3eOՑ!D3oFCC0!߄ },pEFQQ9]t#U@ae:-"mo ~\!!hPp[].`$AYRPk\Ewcp|xp֪XqzOkoUv[TӋ O񮴏>͓DOv<`|AANI,!Hyk} ᇕlD?3[pooGŵF ҇?i;$8 eNRS/kި9sry8g9IiM:AA*Xp$%=k1L6VvPi"͙V*;B?^$+)xP?z;ZwvL)?\ĨX ѐDDˏGqѤd*}]Bpc؏DBc4")Ҡ+[e~#gb9 !@yՂLHFDý'|:ߦBžq`dY=m፹EB\_ؠպ)\&l7tOGw94z]p.ݙTGYCYaDKWX#+CAzkż-UZ,{N2t.T)B ız*Wbp`&>7 XѶr)kwafn%nNԬv֘Q8ݎ?qw<.AFq͊rc,ɶ͸ΡQyK)@w jEw<>ǃacXcXl>[)H{͑qӋHDĦuyÙ@4DE$:5|Cd>Qt`Ăa5# G};->Zjr&8IQN'XɸfS`䤪D@ª֙ Hm-^dt}B^͊Mw$b<H,3v5/g|q/L 8L~V_w%Z&L;5JX`5o,y?G\$)yJ骷U6sGŲOQp9VͲy9y:=<86/ne$NJ+$r2CA͐AסDRiGՐBsHQ^Sú"eĔؗ ݿ0Gw'„d!S]]CurFooڊ BR/G\6_{"]7@;`E9A_$rϨWU·+!bB pS/LΞ#]N~1&t8(~GDN W9^S#\ɾ8 ,c6ـ?j\8Gv)uF7v'k3k]&T/de=-6Ho9ц׸4h~䮶Y#Pö'Rpf ߵ1lYO^I3Ep; T'Q{%;tͫ/Lt5}ݍYDjk޻R^@:Q2N%fP x[؁q = >F&g:NQ+W?%Vj 4E$)Dm9ׂ b)Ԁ͢juun&vxs走qV ׎90z([Ѽ]BM.!7Kx*OIp4'd/ K-oN߫GE9/S_v T%\A˸,x!DC%gSm[(]=}3W;Ö2>'I'EѩzI!00pN /*vaw=ujX0ɼAC0ApTꊒ6㑚։yLMy徹jѹn@XlΗQm4^>4}58ӝ+8YJa &eva4l\ 2|5"pTށ-߶ FqTG#HƬUƀ~LƼ°Y7r?ZBXOk4e*jɣ d5fv~8#& l!sh6ӿ`A^Za߳N)DvPkxF*2%OWKQF9:Ʃ|$Qh3<#uS쓅| *iLԸu"iVSˏ NLGh,+X֕)%5Roi9N\u% ]'i68\M;ͮg ʴ/4 O`G۱N| mlOCv[0ZEFk"cPM{x|Vy,T0 BX7(/Rʂ4.! ~cԼ]nNZ+΍dps*b+HJ# 3p:ݕҵ8| gp#Lij]&Cq& 3P:=RI#lx#k(PU Bkjc^sqL8}  3&gXbsպfhU$oyQ*fEFG+y}%~wؿnaBovgQ8ţOK@5ܪ~I X6*"Խ&#v8_i_IG1I ͻHh9uth7 J2@c [ N&u{x%.N XNO3P`%m~M~R%G֊.֓ѥLƓF @T[Wjm1AL'##x({GZ=FD֏0e[GMR<5ݤa- B<Ըí״[ 6cW|E~n6 hE,ޔNR9;@2r84[ns613Ts_LFxVCMBf._F4{&IkH#KiG}|R[qRKt[$Z5-컔xXMz@a;PnX^^.urW~q]{<zhGF]H8 76KXKP;ָ_4;9U S'v1kӦscb;$&AH|rҋ g{7Y`.@K_^3C{֯,yN԰i}6/)WM.€O@j 櫰ST#34mⷫ_S8<֍vbv u`|{+.[;tc7^ꄱgYZ7zXZִF! S]ŗXiɟ29aoʼz[%U>EM!!*Xgj ,"[BJ5EƏ`RgAZ7k{o5?;InV$qQlWi x#Bo-Ь;\3 yzbe uz #\B_.}JAv`%,RMN5a J*)} )&Iy GzMJngϱI,i+{S+,R3ʺKߛ_GrjJ^8" ( y -ݘ8}"n1jԟs' k+4Dv}q.h.|Qe0T)b([Y1!VL\dV>gD-ܬ~nMj3x4曃1}5 ՟ uQ*>_w,&^#\+L#lOmV_nwr4X~!SXAwᮢ{'h&],Ȣb`}5oCtiЌ3#`>PAj^|赋 RV`d_:Z{yiMl\ 1>qdYaK2[Rzh=f=^3 ֨m af%u@i.\(L`,y^&I~pVz"WuOcX]?3ꕈaõT,B2LkO2J,-f"31Ds]#,=q]c:ĢyZH/mO[Z"{LR >|~cC( -xM0#(hVLCc/d\cOHqS:6(9Cl 2RDžXes" -scHbяEC ȯW1.HyV x pFJף}$*pifE }ۈ4[l ++oI޵}:4=FNb7V+).kS{Լ,la.xB1 y~FjzS]L`0f}qvFվ:򦨶gYZ7zXZִF! ?S]ŗXi%>g-*FˉÅKSlM7hV; VxX;9): 4Lpr}M>jz /C+?Tx& )rk|yG=r\64׶/}1K>(J (++ÈcNIrsk7>MU8J,Qq#BDrv:u@N4˸,\商:H|'i1^|§QՕQw4w?##z'߆?@>4So%f^~% b&_d|0|֧}s"125NZv=ñܹvY.%ZWkɥX~I2ˇشAU[N C)b.,oיlv?ʉRM2È$V) 47͓8&ʱ󊉰'D#݄pMi6?k\3wiّ2nGl[.O 4 9RX*973VFػ+bZ eGM7Ni3y<yKhvrfP4Ez/}˨s##p._Ƈu$]-ֹl;z+T:㫌YEf YWIS`5v^ ɍm[̾|(\;0.tw4s,hV" n4T[ȝ=tB~Rgxh@brnOep0hP譧W9s w4 f~P4U3i9Mȇt7m?YζV'VeO\Mx0"ir>VgU$qLӡo* xxm=[}rB Լ4Lw@Ӣz8Uyzåٮ0'.TzZVFʛi&s: 0?  ib}Ruo/$l4Nym}9խmŞ";`G|$ԠDXIbB s-0}GJ<|T9@[EB8Tdl,'!('kS,?G(We儎ESΜYm?N୺!q£beGX O0?%?7*ӟ$G`Q˴*CF 2(n#=sy夏螟r2Ea#p(K= K=4*($XFzp4x}9 Anj/萈A]̈Ɂ5m+nAq777#zB8HE|T(!WR͟[éNV~r~+/J0njwI.mw_w+.. }|Wp%J&rDDxs!d-GKx'ʉturmfSLֳ檎 Mpgڈ`Q F'~8^d6on1,@'܏-MJ^70cPGF vVP)@t&S}P\Z*eRL?~5FԍP뽇0[kf%*&D0<^1Ǽt|c0ٓGŴv C à<|ՐX0Zm)Crdf4b lLX&KI {?:3ɱՈED άZ@Fhڏ=se9TpU8@z )h"F}<j,0ߥ5)h? ǞPj-=ypPM/\ːI`h  ;*^+M䩂2F:[mdz)*n/_y3 IrW';_C3ʱ#wAD|,RV!|Lt47.H3>sxQә`2O%'dQn`Y07VLlxHcݰg: ד}ݺ 0Bt a0C@bPNψsP47>{#H~ ,֖wj&D9t!2՜c4.y*|tSy8ȴQo[]i/ajj>Yt۲׊B1=N|65KU@m*bMr$^_Z!^^L@ <;X/c_̹1el(+x)%N**7dC`^Q]Tܖ e,{qjdziu=C'q6"U28ea](nU5LYϮ@+6BIf=epsjYs-Qht`;V"MV\C-m +)F,)9..;H3c59- >׶.iJH=ab158 '#tL;(%i3Xv4[ѹPͯBI=:/eY.y\T.H ָln?dh &2*nT/c]jZL_Ѹ?n20':xl|ٞ^#%qrHrX~B(TF6(&- %N?;p~;h]ax l@1h*A/KAwXYJ#4N3P'?gsRvRwpѰ6n{=iD CԆ سIR4x# ȓR0(׋nVA涓.Pra 8qs۹8ʆԄ=]<wݵ/ϜGX/Lq!a'P@H)Q@@4DXT].4I㜵g`jEgDbuC 5L8:9۔ŸbI& h2D̖5>(E>EHMev#<1(5b&6sCvN{5SQ5QeZedCA ?Kt!Tx]إ4M\ gS#X;Qoْ1z#iK@VW9a2 ңKwD4 >5fSmD}BhAA۰yO`fLX:@T!Xk  4.hڙ|d0QPvMf +TKD #4"ζKFf*-{\lv*6@7KZZfU1Y`*AD9aeo?PE]_ Xcq׉4 m3ž.K8OlrF |;rA+R.]h8V)O~TAF(0jR:`7M iۖ4_7Ԟ{vV6Щ˪¶Hx* T.aOӡQ]-/ol+q(>}[ah4S+>#Dǰ;y>IMP&p^ښRu<2Mϛ+X7 v$n31 jL&w(9x!E^t%hzo0';UL Ot6mhLG5Hf; x_lLkZ>*C9)Xs'_"h)Ǻ0żpL~i$Q8-زTFMbdf(_fn7q!bV-`_PZV+ltڿWd(ecWCT)G=/(nP'C19$qP)YMzYӉB-暭1%{?i'WDg`lt,Ibע @|}ByyA]s PT%AEhe2ԾgӧE)鸉[,| `5j,GNo~ĶĀxH2z'nq0.鵽;lꩳ^G)\RzhZ=:W?׳ EP4TTY1/'m'AH:=i! U 8㍩v)S:0&tq9&tDoa.B638HuXcnxaXaIPîj%N2aiwtN}pY-oW2Q>Iͷx s uOly[ϽQ|JC7Y4/MB\E\#W,Oar, V19b2X 7= \4^ɾ:b>n* U+m#Lq8yZ/쌰hB|;}lGgXxe@O`8;[6ͻ6rTW8}] Ac&8`&~giacx2 dSҸzК;\=A5mY!!([Ӕdn7 -uIwj|xaE,pj6CVSUGf\3T.V*J pl$w55'*j4[ Z,CjR64xҺb@ևnvp6F &$l'æ/`__Y&D{)ok;c;߇~2e(_8^~ Q6[ %a*V]' !P"Eُg,iۆymuhW3NDnޏ|yy^i=E.(I訌Q;E m̥ ,pQ9W([Rm {{w[G2~5*0EvHprf jfl;6vH/CĊ?O.6|7R >#$c9~P+{FޱQ/ $E4pHaSB3H!lm&z*荗7δxnv]o+:ҠAj 12 /sqryQdWPd(WVUݥiЋI,b)D3 ~5@꭛t*DŽ'@ )Dl'=$j'{&( Qg]Y"~Fu0?y)N 陜Hu*̖ Y4%F ppN5U9 $43[|J+]=\Pp`?1XBGo >V.qMdLI*OI#aC0,iR(-8`Q^wyeWIΌݨ;iUo48֠ÄMoҞh%R'⡵nfأ6M1kRN}n:j":z)=jfHpK*s(]prt~!JP_Zv5¡7;.:= gלP18:A0 ,_nQltRŸ5`^(56Y>6—k 8 G/AhS~SNLRwTA,̥njMUM '"7'p.b_ԋ:f̭}5GsKj-h1HW0ph54İ!!ɺY?;T $=8*TZVi,4Ht/W}eLf BWϦ)ܢ!BR( 9GϹ:!j|;S͇N1J S@׼D◗h}Րkc`[։79.r`@Ҝ짖qywsEg$v6>7Kʼn?Mm^hK0jBwTս}{} ^vn.2&#A=M$w2-ho'zwgDHִ2\EpfQDpUE_: b=J4I߹ 1Mϴ1 )@z C/xqm/]B3 A @P|3&IvA {\ȗT"\+ ]'">B6#*(!cyqCdRc?-8̍aH2P(vD Džna>7R*@S`]p̜ T<]dF ABYXS2k;ZDM ,87 TqQ%,y+[gΰK8?R.A# Y M$;ί2C61;+\$dV]~IHN w{nq;bmɑmZ?3|K|4O|u:~@ÈNo`yйcS|u15 ye 0"dL[w0*J,ۇ~ ɱUb5@V/6{SȽB#u/12~!iwɵ)ᨫ~),Öp{4T?8vd"9iP@Gб9V+bbƟT {C[+z''B Ȗ\ !OqwљHP%xs%"y0x$zz>_`9zt-ՔoD΄J~ߚhНyH&9FCeD&Kh^3ъ6 !?\,Q{1dhӲ;L4d25T &-t/%&a@$'y<#o65@7gN6L*Ƞf]oU`HTQt']"v#w#Net#i<;I%x=w{(|j$I6&4&A{_ƟBajd,v5@yXOPL (fzOu~ؼ$)zۜ~n? K% ܎(=x%ԦA MdGxNv̢'Kݭ?d^PcڷɰO4-NdF}^8Q->`LpVbL׽ό:d-zѐGFF}Ϧe(wq.z!4]+ 谶1 4=f'1Mg߄&^J2NYQ'ypRR&jF^~0۟Udi%< ",*z\r]?vdZ6=bd8 |]PU~v{Eumo{^/Qm%N}S.f7]\jӉ[FRre\DD(0w.ET\;;zKfqw$o5'(5cf)e) vF-xGwﱟ NJ?5lH\oЉpqBo1-GgczTƕ.ǺuPe>ܴE/WN3RL{GS&O `]ՎkXj#FICqܞ6n"/sɩ`R]eyDl+QA,-h-APO…OEL*ƁCE?4[y| ͔u'ULZuEԢ"4t=}\Ϲ_w%_Yp9LEeؾ"GQ %f@h d;5O>)>Zvqε컃>SP}u8r^4IpX6qd -=)GU\I4&Re(HBmON٩2c,DZMm=Š9PaA"հzиmx_\.ǎh~yh /. `#;bW{fgzXHՠ؛,QfŠC"EG !Sm3Kgi{M.cuA2h~)ƣYECV:>~I1 =ݾEJI8##COvq'tɊO& 5R(C)Z3ga>Ǟ*1‹W {BҠNb!d۫xo/m=+{`MzOMYIwh/ц u?Sd+80 j<,|Z5R(UfMl^Gg|WK76։ol"/WqZf9,޸XJv /= _ܟs.yA%M^ "gٓ`GSF<2s|mqL)Ɍzv30mgNVٱIn\2&.to$Dذ\Gҝeʸ*rhiEʄFڽws̺D$/m"[R2"b!Qa`Zdi&2!b->V,w9|[vCW-ί,mʨ?|hx>Mq~ „ۗ,"N 0*ȇ`4 esHT`,p&˧W +]mQ]1#Zo1:d/tU8"5y4"p Ln9qØ ȕvS:AoDUmIV[=ms[5[ {3)^ˏ^ NvIca&tѽ t*]}c\ޢ64\ ѓC#G܀k؊w5aWXU&D,ybTJNFXArAtuP<0 ıݪ0ukXnfE'A'M!CWViCa:pAnI{1gl5Â9U\.uvb@V0-o "tCI@+i ޜWyHK8v+HG}g;5Hvv)c* S6p\uQĞ FAo3m[8[K|&qG`=}v@2 7,Ow!^"l ˪U?J8[5~:-w8t?l@01|&È_QI U2B?S S_}vZ{ D1PqVaLmR@O{TX3zdnRvKULcOhaϧ^ .ͧ!aqr^FVh%ddobO!eVJ*m?{]#d?n<ᔋDFH2ѮL@=9&FYco xnwӒ<7?I 7Oj v D#ٝV}])BTkzɱ*֪SEA{o#UBB7ȏʍX{͵GQ8+;12E|ɎryT-qoX<[D) 8A" *bsLT/3!b:;DrJU1$YaSSiޏSKv#JĻP`/ :uWG /6M\01٣ܶ A6s{4ՉtԾ6Yt9OST<Ϗ QzD)%.2=3p!-"0nKqaE hH6S_~}*ۍ;N1ckTYF&*!^8a}JD>pj);ԙ-]5!E{/{~ǎ.*OѢtO4Hz WS6ڜ k WS ^\RSWK0*tcB B n+&id V&)ΑC*y8ibdWWD;X!E]ti_Κ8=k?8yUI >HO a@Qؽ BӲv0-z=rrDyBq 2'k}r~v|NH .'zKW>:^Ff`,pMVmseB㓈J /7s#ɒ6r&}z@ >2įq X-10e3)H\`*@OfwZ ?p&˿&Er¡7N|λWGo2ǙPe#pj6VI{bB~ A ֪ ][iu3)Ԗ@X.ƍWIyn,G*U^[ia혈<"[GōKLK-\8sB;i ,aۀ0X瑏vJrOrb+ȧ5J}Q䈨K6d$|b}鷑K5uD`SnLŸS|2%$,SHQxu,W-`n $O&cOih@' ү#Lط?+&ψHi k<)Wh#o+a9=EBŵprg偎ZKvbC &>W(ptJuFk@}l*g~` ,h^&UX;G5S0ͭԇAV S9uz[G!rK\D+(F#9"G$yiVW!I7 A;f찮ZN.3%PH1=2"M^3=.;0C` s"4 nwpu GW 'Bh JTJ;-9n98,>uzeғ (JqBOY$VnbvWd[1o0]ŎD웗G*kXl!mtI$|뜵 "j>w{ז (VG%پB7V|0ˆAYsyzYo- ۮp,PQYǜc?8 ig-{8MS'==VP H?fzvDcpJ'G y .<"|BrI"<߱cfjn 9;pDL~l$**}d.)jw`+d5"47+?c :|kVLfNMķR~WwS+goŮ!6=2}E5In_^1G*>3$JcU.E<.б[ǞOK@>*#B\ǔ1\*lz\ )gCEP6;Ao$ڮT& 7mo<_T`aK}-'0@ZNuR VǜB ΀VVLɖR\3Q4YK회*C>ę koO84O ҐegQGWS_U[AgՁCKⱨjSs~fm) uJa37~MRHA=!MG"]4, P i)4˛@(ֱU k4[_^;{6Yʹq}b][ g0wt2a8w4<1;ELEZM8Dlԝlap6n՟:>rc='bVAELTcZSlwWQVwY M=ߙNPtus)鲱TcJI#|l~Nt2JlcFVF?I 峰yh)'**\wh|{M4!"Uȩyw(*/yX޾ԎYI][W-b/YXF Dt]ԊAG/pANYS8|/m=cԊ# \wryٿ 9Ӡ#p{Eܤ@%=BĞ*s!eH wno)ە]iwݓ.LspPT|I0/sIgA. pEP;C /|s+EM&Z\vyCޗ3dF U2>bm#2j{р YT+ o}}lCIݣto츓\/pp0;N`PPiz CG / kr s \$z *t3#8hXuʜqD9'ZqS#%MJem ? (Xh{rٟL,O*j`Lf<=yk*yA/4n*/v{5o Rx[|7Q٥f5)>rMb{Yx24 *Eaӹ]2_Y `;;3y O]#c'*#m $y4=G!l G=[jr Xt+ 41&݃JrȲ!2zJ_ۭbۢ `F߰^PR4!KL,L72uV8ƈ &5E1b:.k6I:c[`h=&`k1 C~Ҧ̈xD1bZfç*OW9_vf_>S^w~pJ94چ؂-q^{ O >gE\,1gKopR#)-9{%/" #i68%[|p -`¹~[wdsm Y!Qȹ77 9:Fh,ǔёe~tHlX&)}y+iR_|/6=1Џ eպM( Bٚ* Z}UT{k1›r*nO[PKy32/نZA&IxٚQ,d2VH4RIҫYV")dnٵvªkREZTS&7KRwm ¨aFb]nL'n{ Z8P)s_[0mywi }zSbCD%dq@us : el)H+BihLk R6 ܮK$#?ЮԺj&M_ 5 HO#f}QILA!@Ya1Â5G."գ<>Z)esOzR-P:*JjNtq ~"kNzJt͕Ư}58R"\rP?Rߥbj$U/+yfo:fsQ||YıKXf Jer(K doQ$o"|co|]g6T/bg?׋҈[tYI;~amԁuxowݧX7s^QeM54FW< :K285Eޕy_gK9Ծkrq+FcvZy8UسZlksB{yQuJ!p\>Jr2 V |)Z %a*o.CFtOAQ 0+o.Eo N>w>wf%"r:౪0ZcG_ xX<{OL_83|bߖ34@Orn8t:6!-d,clIH&*ϧMË͡pW%0ׇ/{G!(*ҟdhHjO%^p)c0BZיz:N/v^H>Tw:ާ"%d_# a<v4.[X@^>a {`"0>Ec8eu).$7&,+)0gd4 $u_Zw@.EIP={BV!Um}Jo*pq0TabG̀*j :_Y#t"oFBÿO؀Z0)V z&sB4fgrCڙ>--Q=dskhT"_g-Nj 4?F7Ӧwg>-C%쨯Ӡ. rT6%J~(] t<|$?g$`EYNyy`G4R2jxLjZ0i"W͚y[5^(yZis7D!});*{c#Hd6mN F?]<~Io hǵT5+4C8CgqN*^])i&ԑ)Y21qY A%v @_-Sq{f!q1""5gw/rl@aԲ|@îƈ8 % 0eفP\A+"9zRFfoysiL]6-q*wI! $=xeD]TLƣe =ЌSRCQ)Yut?lȣGאϕMNU>h &gUC I TG8!{\!0 )f\XD?.܋=aMOYceV-ۚG58f; ,aHEu(%(Dra lj$K p~۸Us-ds`lq1ҝ!a%v'Z>~{dAbw)5ꀤ.nVi9'DڧjcERJx1- c'Tz9m]Ȅ[zji:/8(qVz0Ie4Xܫ:e{#Wkf=Z*f8?GQތiҢ~%/1EWD6uƠ5G'#Pkٚ@I*Y!-WT{Y ]ߟ| JD=#V B+^{U6J Y׷@Qu⨋4jMT(x,8_uz@!Ŧv4Cya[=Ԓ9*,7Fٕ*ڹ~Bw] n31ujMA6o (Í{pRR71;KԂuoԀFfPq*.>S((h"+Ł 70[&u u5ҫ ֮dhz׹tX:i }ӵ'3"Xnh0m^~ & *0`f5ӐvLӿ@^b;g{9zQ# Z }#vŐlZAdQWC81v.=ws&-?Z=0]gUr7.TNDYr,M]+.kŸFri=Kx3` /-zx jAOZf Zߣ{e8px