SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ~~Vv| D ]S]Quantales:threads=4elapsed=97.462cpu=177.708gc=5.2367zXZִF! S5]ŗXiɟH)0%oU,9&p<"j N{;l9?Ud;xO/)NXY؉á. :"%½'_uDvi;YJcFvkKѧͮp9q&阵DJ$=eh?fZ[$^%/$ K4h. Ӂ4GS">1A-w@fbî[xeUIZq"hK(λa(b!M.S{oTs%uynYŤ+FL Rg<r{Ǖkxfصű&@I.cZmɇϢ0]R p[3.(H;Z0%RbBZ׺c$>v#|`Ėg%\a( >h@n,»ղ࣬=wJZ]R0~apٰ5. EϤ'1@rXm8OѸlƏF9 HG K 02Žn~r:_T~ {};/O !kWpu]CL~W%$HTvᤳ{FH`C[_X R,͖`oЄĻD©a6$FQ(Υ]n>w݄]4m90SMVwIJc«LZ¸3R: 5!Q8rljYl7' I=]l-fpxkʇ$3-70moxZ+ 36ﻕGYh]|l ssͪ@9bL9{B1`3)V}=>R\pi$^9Su҂5#W]u$}еmpzB&X㾋wH}Ϥf^`'f ;ê> zY=J[8$Y#=X<$$x>=kj)z*d=.#JFGԋ& G 0erkBG/6x5|+Sh=ka;bhd{ ).pc8Aӝr8jH.cѨl!:CݛG \°~RbOkt,qZbר͂F8֤XWC)_@)[{@w[!Z;iԸ:9J1B5='Njar9+7ct_d$J!N| kA݄E*:KE;fcRК(IASLvdK\}G/݂)EQ'(ɏ-t%h}ޘTS_]G3 ru?"3ߋתZ{ۈE\+e9郝7~AAQ5UT'n+Ly'l&Jt{dxgv]_+!-`1Q#+W}BݕMN+;+*`"3b(o^_ !Th4wJ׋qmQ v ;)1]l/nkrԜ.?cX"pҧLy3%j )CXJPxx3(S{3 .umP#L} [\o#;DOcJ\VH?bkH.7qv)iTӟ63/]!u)Tl[\ɥ)ҭ6ҁG yH0Śb/(.*y[4CB|E Regh9.Pه(97*?+kRU_-d6_K~.Eh]Q> @`\}C ?.}U)$Q~S-yT K:'! &2k)lz6@>~V==n*^VQ 7a:ziT XFF+J)azuiSԝ_;6 WߛI? fZp[?-V s)K>?moYaf 6 |EϗhQ߮WG?pgj4)ahsXnO(ovu\wty$*@G1<]:ZY{ₕG vA.|)BϪ0B۬qw}4 $xB`u|u< Kv/~lf+aVa~]Bc:ٌgף4Н%nW?n%XmQ9-H iTkfC?.c)1 e)֋!' sC=|-jT X!GvEhx=or S   Quantales  $ b1*Ll?m%1?A)w ~ҵXb*X);JH+|lk%&yvb"Az:8v, 9A$}A[aD2_ѕ`v}TxO\,IhPй}qcWsp%+^(IĎoãd6d>67Ht]#6J!n-jmr$! ;Gc0e^杻(|m9Tad uGڄwT/;BލgTt᜜͡4 /${)NV긭eʰTԧ!AYŁ2{Ot8 xBeGpآw>Ԕ-h+E$>Z p'ժG/" uR0^\ oZۅ eH gc˾3 pkX?"ט9$)pk~ ӻշ ׃bXaR[M-ZmȡƦcOk{hfۓq MPA(-~wzG7EM-&CKUzz|M2e!rp+DhElPhiz=]Q@JeДƤj#AI0}VV7xN6;|ѹuSOUz)).A,FlIQ?DhnF_n ;@NaAJQX"PcY @NJ#Ǟi0#xD3 iN̐y4BK=IKLQKwq%+Ζ.Ւd@Z rB`QyFT#~qH.* $] IZu-`ۂLXv\c(@thVd%aKu Ob}#}J# ވ}Æ"(7,|dsi,j{-ėw'xυlp |@BNjrudb"V.hHpFcazWIVhs1x SyZ 撈ר:l0Bj< Ĵ*}Ĺ֯> 6pl;TQs|~2'hwCWnQӑ R=hYzA\b/&2n/'#yK'uԖ{UdRI+kTC&{w.M%+Y\ xd\i[qm_5›^=ՠA5A76WlGZx}9W|@k1aݺ3J33] ˊsrlJuE.KF [s#"^K? 6 /²}7pNM%3Ө5@RC~ΰp5(N:{P;|"̣q PG$׵.[_lv y|j$SAPge ]{DVUZd^y,E4x>U 8lɐjkNv%fAx E$*P e8ܬL:6|7F0{>J+'`$R3_c~>>a+u>$yDQv4r_x,w|GZ`0ؾN1ʶ͑Qiv=V&:6@,bI΀٫ (A _Izlo\X oYZAէ)$"w_|!@ nȔ_Xԟ#褺Ly,vq7\#~.{]H6ȸs iPtrXH=kef0)гURm ^Rb+PÜj_< OH沈ŭU})A%ΛN6Ү373P,jÓ4ۭyUXj I(.m2RoW7JT"0Q٨?j D\rs"?&FSh!2S)A$~IG g25 u&Z^k f `̼XOe _|/ A,LG1&;aE}\3.y@GDSsַ[l>jp!ӻjKl\?!d#)A׷,77rǠr̚+D}}Ƒ)3Y)dg{VZ!LKumˉFUYn J{tW#`tًvHmdӗz+ӷ *l?`Q[g+>Y8| gwۯLX@i+gvrAv$ ~';bH?3_z1-p_ !n9NOtŧ,pD@R-h2L"ˆ&JXG~k۩/3A롩*2 z 㢦 ЅlByخ.`P*ܯΆ2m+_CT6BjRS7daծgэݩ7gs6j`ٺ3o늟f%_p穞~됃%$G|[e^%?`x<ꔎ1;r ی/tgOAcnlXP{Vqaii?dgf~8Ɲҫx1gI/!QHj#e|R*MP7ej/t}{vP$"*ڠ 83oM$D@5z瘀@H9/wahk N?[GWܻ1ia86 (~-!! } K!/WV.r$3bf}T(lUf7*BQS3FP-P,QjapYgfաK@GhZ+ӸixpS",Z,bd}u'". x)}̵F[7$ߓ|b!kHɉ z%_b}QVVjğK}AiQ5t6e(Z2[.v[;0Y }xpt`^)qLbwsP,g=ny#J SYT0+^!s5w_@]JAp (/&;3!IϹ](GV"Tj$r.ƾ#MR7.v(ᗫ5f-Y2H@UOZ>]]:poҝZ8$zWG8u=@W.@_Љ@z߻38b ҤngG9GuX2r M>>uWΊӉ̃z<&%D%}L;MI[=&op@[t͹GisnG8CfT&p !HR{.ke@ dlU2;EYZ޻ѝPŸ}]oͧйZ&ōo=M2^hK^J]yҕ7E ,3LM|~&Nd'N]ox XJU^_S/g5on:<. $্;~գX5Oa~*tjt♜LV+ﲧs SA+vs6L~#QH2OQj%޼"@6. #4ta g5% XuH Gj1ZA?cόP>(̅\SBRanE-߰xwN{9NB͠!w]^Q@0R๖l<ۼfȚ Mׁ}t쪞QLQM0cL ųv?mɷ|_0unO\s%>,} 7v\yXi1>_hB",x1i pR=hʌ - 5WCˢgH}.B.CKJT~-7ֽn`K[Wh2+:q幷jYyHp |L8OWGf!4՚@Y*q[v-x90%V wNq2W+@X6l(#Lj/=3;7+_*rW=v[ Zh?[2 ZvO_$?uV6<`+=Kx`1-8[L.?̰nv > 7>̇k^6gH :-_ 9:[\tMd_@oq؅9?oiat<$![DD{aB:rGBD9/ -o&)9 ɦؔ> xe[ qr/6@SZ7I犧G .>O`~NCz(t;E[cUfOm,Fn(k_(D%&ki6Fgތq~YK92J~8hE !R:TD.`<'O jL?xR*<(xjH8 B h%seIVw}`ؚHaմ'%1 qe qѭD7(>d7vF^npUOeо`P~lS8au^Vל{daOeWWJ꺂9Qkq/6kILnV"[ts{+=Y3vdg>y%=S-['yeʧ|kxW/ %tEg)^[ܲExZ )O.T9wgQ{oApzp.ß{nv񘑝2[DwyIvu;zr3!3 BRsл ^~V m%s잕Z ]351Hz֏$!zM*'ϋy;Q{eGəT|eǮ[Wf' yy" G0an@7`<ʷA WTRCtt@gJY ح`e1aK8`8 m^Z\EA~ߒ>xHCaw9hHiiRgz|<-r!:#5UrSQ)^Oy_/}n%;-`@w"o/W! Ǧ7t rǬhFQ%lpw\&dVb%z1Қ}ȿЪO1LTFE uC5u.$M*K#֎l6;ͳBJE; E"ZLo)ȍ4-\®zdq=byTz\.a#(Pc"yي+WnE ~|kIX=2$juAlS EI'ek+H_uk\ -h5/ޞʰtL}YqǙ(c+,xJ qAg==[>Vea38Rlou\qGSFL+՜_ҺMύ\"0zC<2E'q7 iACi4#*7NX8-&nsg@@NhzѦoN\B)IHk]eVq];Q)07JfӟИ8/q) 8~-LK+E-Ę,7=d2)'˜J?Wl)[7*tzpl~ʽl\}+{KsvlApd[ыqxZb=wB-r>wJgҵ"/ibMmfЙ;م;ұf? sz^W4^$DŒ=祐f]nM8xEP . M iWR螬cdMCW9Ϛ&d\e])3~٘fbJu #xAgò k]$+|m6`܂f\vl2q}9f G;b)͝^eLۺ 𩗩Gst"LumЃr']4<"/ҐĵRCq5x٢Ey}4s<L:`;kS{ibTyw]Է[IXМa7cv奛1m|ͅgR\ t F_p{;9ł;0A3а6xbY<4]I0 mhzpN 8U8\6!lu# ~=:/1CC`FmiFmWH:7qȧw>.1騽m$wSi޴0M 01fɦ|:EhayӯQ s9Wz8rEM}N'\lV֌}q0^HI:5BttM#a]t~?V_-'V˲y:+sqsOCp 7AM%:vw7B,W&W-XL N208wF[GrVA'|f(ሠtdf5P)ih(?GLtL>bv;niE@fӥ 9|{XƞiX[Uh ڮ3\,ePs/==~^S4X寤<'J~Wpɰ,Cbrgad'wXT$8sB n%CG餑2ǓUZK4@["S JhaW! DLVfbPBMJs9s\?:Ww@@Wa{9ir C-O:48up4LwPzIА&Q!`>O 8Cb@ᆚ%aD.&ɤ{!as7dǜoO 0IO 60o>3v.yIӪ]b (ӷ'淠CM~dZt*#3Ƙɍc1D,,[J܄oBn9oFc`KN72?F*j);^!21j${՜-LGQYc̫(~` R{ ӭ8 rLfH(rK/)'Ou?_k_ I$9<=ŁV2h* 1d'oAyQ}#@,^[K`3c,M]\(R4J!xrel)q}bO[zU6vE`<4 #ƒ #Qn:'~P,.:^YվgREBbd$Bjo^RYe!n9vZ3qiL>nW9(FĽG'1Xf#TȐdp5"~An$;/q:,A" v<;x@ȝW%)' +,tj]wt:Ze/ 舣,˹51N~: { 9 c{#j"ey)x P(abf^2DN.l~}1jfPQ*Ζ/ E֑aWT  pY2h^sx\]q22Io:+\GL\c hF'Iҧ8r4̱Qb(lØs*sGk5x < v|.mCyɠy 7Ń! n**luƄ yȎT/_$MjClXQ*$b)=X a6&_>uTʸR߈;k#KkVC~K0)XѮ(IzpOK5:_O?X'-oV-a*ǏpNObL#/+Ώ}b} s~HSo,wr+;ȂWAVצQ\AΤ=bcgVE/ __/>Zi:$vI(0yiH<.`hcv"So}/Hڭ%%Y dQyΦA~}W4h /NJ;PgceH]h}IJ iyz6#A@zwd\([5h{xٜ/0m:E{s@i/p&hWT7r(tϊ/ZT `D +\KY=RV}ey\l,DXw5|2xI>ڊ-__9ǑWPS]9m F95 HT4D#fl΂Ӛ[1>DNq}hW_P}ѺQ v =$B>w1̥kR؋ŵ TZ:N*: E@K -TD?r3gghG vԏl/kZT'ۋ tGk0;< :e@ele@7_p_[m2u/5AN"oj&,ꄛ`'F.SM1ǹ1 )9Ij!$>'tX+2J[DT#GRV)޸DM tﶄ DAj|l;dG+B K||4dF #j_ɀM{_&BJMt>Տ!4JA:I$M>#J  ;X{( >74WfCEO鏨uxk6];8QEx2K4r Râb!~X?rJRAn o˯|O )N|QIb`i Aڤ.+v@ty <4rg0\ 竎/\f}}{v=^*MIV~F;,1ƷpJ=5zZZ4@>l|I%9AC.bS)YkGb@vX1fH˹EU YW IF c`.NWGx[4 1"Y?b*{SɵQ3ȸ0V&))169b`﬈C*aϧ W=eqo$# !ݱu.\w{,pҡZnջ2CM~4ލC }xq=hJEB܇B8܃7eN?TbPogUEIUiФ_Hi5g5qlnflzbp`&>-ֿ֚ Ło٣<=&HSߡw #z24r~tLԟo=U}#̀رn0AjaJ)Kt"ȱueBt3izV@5 (%|%%JU68eߥB߮E h\yLh[*]O*7jd26b*j'!ZʴcIT/ֱdyU?'Z=aױF\%(:B0O1l|tTa2/4uAB:ӯOQ4􀗑*;y@Vn hĈ%{= . mC+4KE v!IhKq_xtA!y3Дn`$P{^mU{ =9Pg.T)I4VV.ӽ;ħ9Kw%u֦\ E _,u:v5_ q@,f@Q{R!::Ƈ4FHϽ _؜&!k3l"#hDU=ίN['"dr dH=:Z 0g0SO(0vy,Vje{~f8Ұݿ%'LN[7N}޻j2yjdత.7-a6 |gxEaMbij4]" e3U&fk^Vn'|q+,p$; }ʉ%7ONil:PNok28Ab2cd}ڡuWĽi }bwo VؔbƟ>/30I B{}Xf߄DFy_i[9σ;VyxþR_u|H8>,{_jH)6gLd;6[<ƙ*bj@A;q ~8afq Za.g&gkSaOzb櫐:7^NbowTL$`"aB,8sd_`3^=Lrvw'7.FŨ5ͨ^xZ㳦ꊅ T2`x>JH Ho'{Ae~ZC-)tY G8Zdԃ*gLC-|=|f^2"h6=y4z3e퉒ᦜo\/O( ^t\bs;# ID0v "}  xQ(k:-'k,qA܂/઎dO 5VPIS W鲞7A:.:z&"PBA8!>5Lбq[χEӥ2N 2u$HT̕v;ME1ܟ _3M:LD$P*x]GNJyZ"x8ʜƢpO<=A`c|S]F*Dv~'4trX 7aiG%ۃ[_OjO`108prƑ'[Y}>o3#⊍|^-=t5nfIFCN!Z2.*7c[r6uԲІ`g%98GhUY[!)Bl=*MV/?FQnSU=OǮ>_Ym1w_!Kx V]34ӹEY1I%Fbǭ~ܹ "O;7[T#d)J\&gOs$c6C#yBqO1(^:):CgU1e3Z?HX/? m ڬ5(La(&(:uʖޣHP ԀMpKPRFE?k>4It5`C,&p}yqr8ܷ3v2;-W)#Yb#J ۲1TZR'X~:.dxQQ.oZߡ70x[<|.tgZg;4{lk,Đ=&׺rXcJ11al‘!ܡ-[˾tCF{GZa亜%'.E,J&ZrҼz/r-&eX>:] o5}yw:#?l/牪WVѳgҹ1j2$,Z랎gfb03C]+0"BI^GiV/Cƚ< U%;u{zɟ!< A3 %0zeGn;VֹYl3*aVUcsqpǧ?Fjf lU[*p>&e!DN袣r`.H}*shͪU~ V)ZZ~ϾJ8nwCȝO ^ $Oz%'}@=pgdb[Ex_/W\'6\Uç\ᴆe4oX6\[cSl+JlUCn {ٺI78C'_Q~*l)& |بv[_ ` Sӄ}ns}RIħɇ/hRV-ɕN'*c^K,Lȭt%bm1٘9_ļ.>@g^me~GLGs(>tVLZξb=UnD"MrU7>ڜ9=HM%ŸĎ!gӊvu"&4@y3w ̎eg<ք}m5_łRˮG&.Ξ[%KQc)y)1ތHa z"ƜEyeiCXuG+M$.Twt|T0N6=uVqb{;>rja6xx^W)LkVYVNKHvq>Ā٢r6OCZ6=pOZVUh4*fv__H(_ۅúRFl) 䥲C^-,ᔚuQ.“]Axc-0g%s7QwT |1?b:X*\kH3^>?4ۓe#+RnE)E ,:8pI̅pwk n_pL'f1mǀxavBJ)h@`HDO ScOk SC4mJn o.g/yL%7RҀBiL;x؇vAE%m2/Ve1no—Zh,4r6[{,`h:+$xlrC*QM?Uy{X>v39C)9xxY>@u^Hb\5IAoz|Xxum{8}U*6ֲR<˛A[] m8mu)A΀|S9(nf&JfvDvG̱-B Sjj4?4sCf e2_H+H)iW*:^HypU&n3P*4c(tkn"Y~[Y/0%)`)w-4Cɟ7P95Em f<& l?k5YutAV''oK@&68c qM3H)s_rEld䝻FOpSJyu/siyUIn^+MqǝƬ vZGbv&H%$q sN ׵'(0zGR?Qz<_n 9/1ki[71- E"S.Fc<ޣxB e0j#zJ3yKwk|P;{ iXT@3.^˅jvTJ-XA*DE ({GLćv3UnHeK|pWZfn&l TA&m\DD{enA[*'A=Z9NCӒ"j Bјrʏk+-h$âɩ2#%Y;$ͨ_H.O?'6bl榸D2~4:{&V=OAḇU,΂v8Y4^ִYB,19(]sYZ\e?(K,,yJoVU]g/}qOfE"i$]d{SgaQ/[3d$ȓ@c/LXm&b9Yu=ְC`Ɖ\ɒ*պZ35Wd7vrvК/f>J)&wGa[ vW[F5ڽ7{yj=nwkf]$p\̤2TRx3 P M⍭@yZzE8٨~> 9W =oҫj UɆ݇Ȧ=/7mG-@zѠH@oծ(NT) U 8PN,Y% wyc&z=I4 [򔽤7y?n??WxU^(?q.^Z>s'c:i:)C3O?36v-SXv@@ghT9__$ܡ"I Ԗ\(~cj(x&1'yQuLiC|BN9)(yI$wɢwTu@jr| .z_, XKV7` 9^Wj,P_Bm4#"[rviXHe0o7X'?axn(*z3_b ?j|XZ~'6- u,F,(@Wpo).Q=BdԐ`R_"6N6Rcega1{fDi@=@ZY¬) ;L^Oؐ9%$;uA`*jx\7So bkhC+ T^~m/uFb )mG96bEADHgR[&!H<`tl$g-8e6 `ҝ)fa9kcԱSKX5(9f M2ݹhH@C'm;B˷Y5 d8:hQ:ZNBwLtM d{m3*42XЄcqDvkSscL*L{zuaxòW؋Bcf5[}pZ_ą$yЭorfH Sq:x >.i1TZcyb늬X?Fmb.u~F/#vgioji˳iMl>9D̜Zҵv0Sm 4Q?w"V;$S?Yz)\-ȚBYOi&㸹/9hG~2eo6)tS㭤6c@tHʯ^£̇ ց6R6wӮx,4.-G-$[}UC׻ 6e/\7uEڢK2K$ 7){䥊FbF]+'`\X8MЛ'k@p-F4mIU4'mT< I[u9xG:EnFNak N/&2{];{Ro_H$7*Zn\sfjo.فKQ)Xp%Jގ50# Q:̘ 94)fd#z)_M2t+Jst<\pt $KL\Lo-R7AIta<}|]噒:R'P/ ZUpdnEcS lo]L /g,TgB0=ٙBYZ6#~t5tbj41Xuq7IN^{\kIR5Ꮝ!z9񙘦 z~TVD!vm&ϡݠ%9#]*Ko–E>hI5Y},EP˃`l=k> B"s2\;ӃvEY 5AKRQ"{mXLi=;SbP<)J,i3 .J?>+[p%Ћ b28%i,2i:0j>;Qf ٯrAˬ.g^k@)2o(`y.#?l|67΁E刅/YcVM=Z.coϽN&Wq~0Se"Ԝ JQ-y;r2:\퐰ZwQ,MH-0'nh?UXf[%ؾoQ$ u0Sh4A3w]GRnM*fpyvwxu۞)3yٸ@pZ`-^Vpqρ0Nmp*.9v/A:ʅʆX=_yz;~\ C zBm I:F_ ƾ$f*BKcb{>HQvej+uVXq\+[pC $Ք HNHF/uwQp" I3ͳ:#`tʴ)=5jlޞnũO 3;*` Cx zZv3c>9"gfԒkn^!m'oXs6aRAL@o+΄ eȴd-eUhr𵃚̒S+=ʤlCإZ/,&eۀJ6y@-YgTbg6is-(x5M\1n^sgKwd2-ݘgr'~,eL:&ęԻ >0NZsp`DZ_X2~hbūAi S2J_NDVɼsk;Dg:(xz\/e?X sWW[GB .z;g=j" .愛%; H/mZӀ;%Fkyl>5r+Yw+<5kFmU["jG7\oA0Reқ&^̷wS8\v/Ԥ (͉bݨwjnDt?+ǼH0Uz:u *W/pT4v1 {_z79\LcB#@nB{قSȧ+EfC|̐zmonJb'ES1)ۛ|},@R3 82U*=tX/x-Mď ~ r:UZR.Qowى^NqynSįµ.[iRUz?QDAc ϝfk\M-J.Kp#n3/p O9j}!Q=+ kREU=IϿv*7F?Ds|_3nEY=\),SBĘ}`e7B#y\IYx[nF,b }dyH\eu}ޥ](!9I2 &z\sD1Ie哪zR 6N@w0n\ůt~{+:X!,5O$b]9{ܹ/5[x0A̍3 =zBU<"5YQ¬/P.T&#VB.qޣ:Ŷi"蝲Ǝ*'H^pءO@H-@j{R 6#|5arP&)1F6fWzރE|6-`ۛk  29iF a}\zzꨫت`d鑿)lǽG88y ?J`1|fX\rܭp1̛rUz͸dEqpQjJS;0!Ve*`E;I ͤ* Ւ) RȮ8;%5O|dľg]` MBrRaМ |O#&;K#2znހV]ouPTQL("*;l{};e<7Hgy1HVONa+/k_YD LӸ4,QPh,' 174t]/Oͫf jnUj/_)㿕*z g9Җ Sd\b>ӒJ-C};`e8K]/HGF=32+c>/Dy48مFA"ic7T{,@ ySB?%_\f/{) tjc\)td4{@D!eE[7 tnw'>]aghքn cͅ,wt q.#z]+HR^IFaHKV*W8g-c_BFy>sa K$ÑdA ?2XmY![1)R>%|{K^Pє}_KNjq{LF3xk`Ej>Dˏ FFx͘'Ypb]W*]~P( @oDYs/6K!/4=CdzmlTT;:soX}c4e< )hxY@1}7X]m, &@W~֍.ٚ!xr?rweH~$ayfWRoәv>Sѷ|d8T[13Rκ\T O#|>n7 <+۽1[$.]`5t uƎ3kZ^?\xEAq> Ȯ.u5v24U3򤲶yh6׻{DvL# ;(H i&)lh );tMw_NjSZĘC_ǣG-x¨ݬFU`t^ۦZtڍm('T]h\%ӹZ{u5 ܣ}#_;[- Rtv}\#n^}L_ox0lJ{ujt۵MWBJ޵:U'lϯM3-tջ3ю]/ yK̮L|"7|WQî4>XZ FBn]*HרKtp ݯQ-a.@Ǿ4G8Ĺhև:kOĐ!,f3܆R<ON1M",)w.ȓdcsgvXܻk#Jj℺:Ih zj1A_خa3)Kb?%c'j-_9 ܷR a 8l[E%L&֗P޽CD?ƍ߲Ϸ+(nf2M'ر+H\f1z`B(8-+EdG6׵FGI%K{Z3RR$Wxhr\.R't 4{"8-u @1c@ufɨEy5;j>. F0~&NUFǺޏFcPY$o<9tV)GA` XYw :ț'LyGc٨D*vmթXf `!qI ~sz#mP8kM%pHJf"l#Mq=;vh֥%,PD#B"bTs?,Iw<'L+l40|˓yi%0]" <; } wq^PAi"S" HNG7-uxI-x x2>i݆ot~{k{OÅfʪ9OS4~*ֱgYZ7zXZִF! ђ]ŗXi%L&R>zѩGU |\4[}454OnWQuܹHcݛ7I4uY%㩡3^+v:3걗8bUճF lA!g>RiS=uuU f9ܣ&^+ IWo9tM!yZASҭ ePV{9H lgPHAj]vf=W$U$Pfao(&Q3f[b@UTκe |E.;RޫS1Nr#baLFrE0vI:&Ft!2;nCG3"OBCtE`N)߲>x x*޵, |}Ƀs$$^Cց:L4~|sxmV灭TCP>xB%qrTjW})8{2~`'?19WG:Th(5 sݿn8%|w<7?Tjy\Oo5;ϐ;D'Տrj2Ǹ7ƌ~ ޛ~| xorՁw0"Hΐ4Lcqࡘ==<Y`zbe+t,s^L^GxWcU̓?])i43˽]0ǽCY5 z:dB ڞJwLO /$@}u?^>I^Ί* pP%a$VFܐ1f5N@ZxM@%)O@R3<`xr ldڍ&C-!1`OShrN05J*^ :AUo}"&`M6pj/hpxږڲ+[ 9OZ%gS &.Lc{tkaR!2L˕9eUXZf H1W(WLӹ_J[P5͝6QU2ԛvV<^[uv?%o+ЊBo~V"؉c"r#3VqS t|L^ OQ5Y}%YC*;7N'mwhW<Cz-|7$ZtEµWmԛIHs]1UDR9cG',qnȗ2(Zz\\ <`H; EPp̍+4 gھJ~'+Qkbk/_L8ar yꮮ4Gh.mW;$[ʸ*+AsYrHcΓ'68t{S9Ǭ(}?NLn: }kB&ɻ^C}^'J`LFNb(&E PU/#I*ÆC ,{IoC[L ~Axǃ+nJ>tyCQ]י #B'G/fVVk0y8 gC(s?!]y/«2U(D4HЮjp=$J9}b ֔ppm%Zs#I20쭂$Fy!Q]B{fEbiD"}2c雍 q/sjpG&z(HyFnK СPpInT ^nt$6Q;US!t e7DhV|O5N?i7\rn~"YDMޏsN *c4!l(ky|L/!uRsx͹nL*oG)OnCFytw{>_b]bE~э=nCG|Ł36XoRZ#)߆jv.0MDk Żxe7fTwP5!?p)+x+ƨ'q5[= d=7b;`󊮘.<}[v_}hM:k|>l׋H<˩vڳo* d};fff?W9\\s,[z g%Y~\qQ-uF'2 0:Qe2o1گU" xU,NPa^dH8Դ9nv*qge Qm%@iaoJ63u _3T֚m-ʼng UMJPeB_@D|< kՒ*Yz@rR&g]]=+N}exٟ|mu(D8/ 8AE24E+'JSQn_SW0U2ۥ?1T'x;5-Q<2)շj{ĶGZ>2335˯F%NSɃBiɟLL ?P'̝*`.h2t1 *pW|c$ZcwpʿeU,iEF0'줭h;w"j>a!_6)ēˊd{)FQt02!4>2K`ߔS^ ?ZѬAj&L֚:B' C䑘| H[(4o^T1MiaPU9TbՃ̔oi"O#­f]$n+ #8;YQj_ n>̶%O|Dr 三; Yû`VkNnY0Ԅ^8Q`gx; B%=F-C!&l#|X=io{5 BA| prF:(u")m”4Eܵ ȖiCK&eP?>à'绥f 5OgX0lST6tk ~[t)Ea^݄1\ɩJpF"3"dMQLEo-.vPU_ߨ& BTM.8+YF\Akz2Tuvu或ġL[!lXB^ գ୥v {ɒwN0@IZub'pn2_J¬!纂R/Ii6J;qXdo]Cz; W5/z;+阋_2v$F#ѰKqrͩ2!irfc$ش7֢2:Ш-]A'=:&=y}~1 =zuN4a#M3"UU&* i\z6"E}ɉZA;s8܇F"(H~dGlo# QQN 53Oꪞ=˺STd%W,&aFz]S_拁:r1jq&׍|{ jYzqt_k-6r:k"ߵADc1xE  O'3=&x#JeE+PS>t_ ˘B*_9yvoTYkĥ-gmj!fnw=T\4b㹦: /f 115dU]H|ЗC{Y<~I$ri#!!/5&~>'%?p! r3=ȋbg"iKüHxC| >' |&pa=m~t6e$=+;bhQб&8aƅB3KgYZfa33dfb2a8414a9fb10af13c48505f64a53474579aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b 4753fcad6c114c8cedbf3d4a7acfefe99f5498d035e0aa7c52890a7ebe3f2de8a419887e0d58fda3