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 %%X3t$$l ]/ Complete_Non_Orders:threads=4elapsed=11.774cpu=18.336gc=0.7207zXZִF!  ]ŗXiɟ ^xe0iubKUL̕C 7-9mS!ں 94xl~cP$3=tz"jB(2L̒zߋ5Uv@y|IwyG!c".T:*QS8;9iq0V%@u9^降o]SmL@d{WcʺzdroK-a1iՃ'ESʈ6$ ^7}%L,Z[8y ѐjdArz&ZI[ΊlmRWz;[Y)ej2IXJy}N] D'vKifȹ^8}yLi1$ws"ҁCBͮ(P tHWOkMȭ绽d Z8<|zLՒp~_ /Y&HN v)"b gYZ7zXZִF! ]ŗXiɟfsҺU"od+>X5q%vT(Tm'vЇbjDv ϿZ[e`,TAx=VB$ٖ#ѴibqUQsX^cO.FigYZ7zXZִF! [v]ŗXi%D4 ݉R8fEV DxҥK(AFi@pE-5edѤzLZ"Z ձ3Mm`W; c,XB/d ү%JNꂒ9PC_: +Q=ES-Lm76 WB?Ѳ[:= nBv0:@k3z/BC 4%,0H-yR@ |!|v"-pzL` $-Ǎh츪1sYǗ'ǥ0 >?}l7X c,4ڄo[$*!&~ Za*6wCa5CsAg^$1Fj~Om}ɌIR& 3CT#'_*>:ĴEWZ x96<ě쟾6:'E]=``2Ol`.l-*Pb)ͷSy|WK xPkBhxzdhdj7 [(-^<9MF#tA|4c]yiA?~BYWT>c)mPa0V7?g:=EP\%\lISdsz :P"UU]Z~M^DO@pFSۄh2=l*ٛ:F+/`>)I05 JjK<xФƤ*i6JB8B).x#[^Wjy3FS-cr ){.4 $݌&a 66@);7xS!*Qcj9?IWɾ)kΏ]arJsN0U7(55HCљũ( ,%a= lP3w2%虤uvB$\atPֲ+r]SCut24%Q9-㺈P_d g2"E_C{Wb 746.utRV'8j=qo)gټv>nv{JjUO7m2h=X]qi[ czmh n$j^Є:vUOYiY1X%M/.͇ytCMl#ې ~jl׎KTȅP8-u(˷\enmbM3(2*nal|,mOExY)F9uC;ݫ斱Po=sɐxĦ#ucCXKKgذ 8}R= xb {=A|5[Iw2Âw* h6+a^tی ?H$vd'bv5ٿKp(-DdzES&8Z}>@/A0?j(CfoF5rޞmLCU( 0u.n~z/ úlFlm".G"h9;X/-EGXo=qY}E%X% 8a tf$;݊Z(oVm :P71 I7Zn.5jHRmǵ&G* Oͬ`Ԕ`:v2R͕66ח̙sݶI-C3ƍUr4mD8ԩ #nֱgYZ54b369dc8f850c312c6aa89344f6e894d974d367c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 3 Complete_Non_Orders  3M% jBGGQ(VL-W` h}tykTM-Zvrf0ګ / J hO9oƀx1 U4Jk!_q/=LïIzϛ-Q>5H5^qũ#z/_sZ_Se:L ^`~70{={7uT\G*u`$] 34Bo&w!n=S}q$ {a .$ϫ5ɡ(AtrʼG1^&M+&V0M/i䨼%?%1F6PzVr>s[W\g;\#TP6eHu{uՈ@yecGm.MD^r I[lvz YJ] ?vz\@?63y y58-a U!.$HV^Ț1Iļ6DK+Dv]˃x1]u]1WPRЏ8sY})ɡoLmfN_ zѣg;SvOQ5c4.w80@ XB]01 H-$f1QY[QSzj+A-S\6as Y$Mc$ÊG0߾.׽a+Jܣ+8?ٟX\T9.ߺ%9ε0T#95-PR Qx3oJLMC]]W~=0˽* 9gQes5wA+pݔ're1:[aˉsvy-49p0mqڪ<NhЁV~R\=)AO(y9&1:֛Ygb""1DD DB va-';ămeY #w%)s |dg"њ8{T†(E'܁_O:PmPz*߼S2 im6&#!n1&[vm8*`G_w:w 0&Tzvy鴯eC|KS2ÿ9f$WWc)tȄe- wz!.hURmo8PU'WB.F'o#{;ߙCQ ֽ$/CZ:8ȕ8R{:G1_@b0ࣶ07SY>0E%t@o#?\%II榹iO|2QҲ^tc#*Ï-!iP&Ǭ%&A?PCAȂGtnϱ\~`;+:8_MAwR踐$$.3fAq3W'9 CÉفjgdypPt fx}3"2\SNKHFC9gqQ'׼)w6V`O=djK"!T5u5`x!F: A\dT\v$ jgE_Q8`XknbD6G+mxIeX0~"6Uʒ+\[/c:MA l ~[yfS䡞v>}127|[Zl=GJ+^KºLf_OE׳) A9rt۞]ȒFbHP')7i5lA_.X9W $^EVW!Г7[x.sOO[_{&}~Ylo"O\)s0+ѷIJ'>nxrp.oY]5'@Wk(T_]Ãp;|!)",7yo)ih_A0!'.4 f(%v57ݒdsf.1N%L^)3<=NBGQ 32O8.)" +'G+y4Kq0zPVjһS _k8iΞ T_eG F,,ATfӛ3Qs啻(F7bbc u8f|-dr7zThލM)jRCe^vjG#4qw*t`1C{ }TH2d; %@J;IU MO< nhψP&~,֋:z0.GU̺8h]Eo㝕{"Qd)k'?3P^@5(z$mY셕I3\pȽyZUd:н{jrRO&RfJbjl-XDX y+1I(9FƺVD̀x.J3)!?V MB1Qpl$oF"\#OR<$s]Oy.C_iRvP~N.wywȺ0uPop`ڢQU<5VF]v: Z­l٥58 }Ə<ui`P->2}_} pzXA_`A(SgAHb ^M# mKQqGj4P{\t j&t9xb/I3   %%oI3U%Complete_Non_OrdersComplete_Non_Orders.Binary_Relationsdocument.texK3Y%Complete_Non_OrdersComplete_Non_Orders.Complete_Relationsdocument.texD3M% Complete_Non_OrdersComplete_Non_Orders.Fixed_Pointsdocument.tex(*:vvL|-reUڅ"YܙIih:xyTwEJIBKϺ2v_\sPﭱT4.d.aբL|7IoɁ_17#o,=Wh7CQ 3JlM7~̥{=7+ xgDA7<8Ϫ?7Oط A(gI vnPX=AlbЍ(_/fgt/ZҔ(nIN@]zŚCd\Yi F8y C p9˭$QeJ?EsQWΝ'q ~OQk؋~5k`ctHb`v|W9ww@ Ǭ(73Ṕ|BrH_ ChZb.nA_k Q#2-u0} 5'O%XKL1Sros)33vPtxL2Al2,̬cIQ~-dSo@ˤKQv7p!Ge^UYoq^j09-25O 6ogS_ZH}$\ bb.N?U[CR0EcܜjVcsu)_I?;XVW;TC۝[5FEocWv ` f'\ȯLǞUCFX_Rs }BVp={zD.6dXlDRn67~Cg',+>Om`S.z03e˄=U|HۛFY;9Y>0TD2ڭ؞}B[r( VkS}kLh~$(* 7I"8 =4&r)F 2+\, fkw<ݍؘɓTy! $d$@lRsS N5w|FH 6I'?%M!&4_KvGfmt=O0Ɂ:w\޹&Okel2Tg CJZm>@7v@)ߨhr034< SMNq|y~mb(tafuqʬY}xHn93J._#nd-Xe/z~O OE7Şf+t]8cx!QbZB&郇n0^Dt1<1v"iώ>-luRPf/߄;*Yl>Igz񮀾E5e5\}%]K^MG#@^GFD q4c|Qs,//dp%벣9 'a&d:Bq #Ӕ\JA9jz> ۀZ ϣ la[=BUd*S-=YFߥqgۭwp#8rߤ_ڵ:`žh)Tmo;>RE10CBk:QLQ ι)z!&;'EYQDGzni1!QPۧpa]+[8/kO@܏a bZXfׁf {rkOIPdxFQbHxg0 /v ?$O6Zk(z&s릙҈\!;n'-xpK^.i&a s۱)qd L%[0ۡ ]2x1M+i2:`z L)F J~q6XE}ث2(ڽQWJ0_XK1qRpD`U9G|aWä_9֝DWvysӃH|ʫ>9Siva)RߏX'c4 |Qɚ68a5 %{k4C+U(k PpX(?\FByo- 8 ԻF[ĺ_N2sJ8{%?~Ph~[FvMwK~FRWlNTӏ0c+qU{ɈA/QFݷ{#U[gk-O5tֽZ&5$m6C~"֬l$^d}X誾{mxs+'L3|ԡHWͻB?I*\[ED;6SBX"[3! Q)äNß H( Y ;)E̞3>,srfƟR̕IPC!oX2(]'"K|h'. ^񊺏^WK 6KpX.LjJO}གྷTkshDgs{#@Y+;Ut|]rvM =4  4<1 ~c=Ţaxýgtǰ:ѬsyJAd<{|nW؁c0cCwE$]VnQIJq݂a<6Om~WD%饶 aH9Kv/tY}~G P4z|9rO\/ W`Zۙ/>GV[MWLilZ43x ?>l5rMˎZ"XһHZ\1CuXiE8in!\F4 =BԯN`n{uxbb;. %/:^JenXxzD]8u RRĘ>^Dȑ@쥍/D㵱z5aٟa G&g`l+j+nLnJ^b%1.P iXs9-snZ#Qr*6oo:=QF >!ft+/*&#;A]|GcUC.0% 0+oI[\|يS4@‹Pڪ2!TTM/Zؒ%MH m0IC/_$k3FEYEwq"sm4sgl0% ?B伈H@:7dA eP_x9s bG4߷h́pr~~ 씩9%{Qz|:@i~|%nd&eB ZW+Q_1ai4ӌ,nYp$fʿʭlJx ]K/^ЉF&' *IJw/4)\x gZj ,(wXpFW2$%sy[}{ ~geli0x:ݶcw@k $EP`6t8@G+faJk7KOpeP")NN?̈́J5PkwykO8i3u-)G~WzU[G{NqC69w2 $%a{NmDh\RӀC__QhFT?*4SU< 7X]@x_y}$A%q75[NbTJ)yll~}wѷ!XH@}:ւkV#SM1hD3.%_q_HtF+d!$yڷ N\&g!7<y=ŭ|=-P@g|.[މPbDÔ"yh6U @h]ۇy:1Ҩ edWtgTFj^,:#t?h̅־_Dx[v'0|N]ra#3+GDNmLmF 0P$xZ*L"CN$G՚3S,XǍ^w19<7H /O'3^70iPhc'NɝE&ɇlA"U?KĘE>7k/ 4T+)@?kIP^vw(dm{Ë́O!Cf%_&z`k.Tm%S/Er H A7sݬٗ2[+ԵPd#9뻻U[̎?Xa H_ürN%W^xM$WJ>!uG~ɹL!PK/P CטZ<aݤC_%n\9 ̋^Zd/BF1(mngZ7N*SN^K.5t[zC+,/ꑜo0vO BJfi~Pý XdVjW(DJ,-U%+ S$Tduߡ609q P.o^MYpSMXy(j='6ʕ|&~U, HM"ZD?jCȴt;OJ2g}(AC Daw\{UK Q{<%RJv ˰)PX6Ü>X4j/!+A0HF-ȩ d˷D)͒=dhm/W db+ҠNS=(d15rL0ߎ\!^: zgD pXIׇzZ<E^m-VvqV<lK192jo6TdSs-dr-FT:@h)e3=0~;1DEWwo8w28ll*>u`t0J*3}l%p߂ q$R>qe R z"%Mv~~bL š&J@@?×ؙ":NɴO(f.Ee BH,;ld~aP7pG 0?xM鲱31+nJy1]L}?_i ZWA!;% )TV/Rʗ;E!55jڹ*Ͷ0u}i ,2slu f8JjASW}.S@nmuN%ԝm @'MeniaeӀ\F{pkݐQP5ߟxg`hhq+풆*'!phpbzZ0a]*xȤ<.sw?tjn UT-{H4q""ާZ}Wi˾z$x`֨U+B:xȣwAS<ݰ]o$w[~T=&I6Bk/ %ww:%,ߝ$ΐ5XL!QٲJEOJ'ngKylqK*#enP9v:!RaY AO$w+pبj訠-)gH uXx6ep7mIIl֤"yYw4 ͙Hf AR'R&>~IM+qU*׏GsxarRl|a6\3x圛D~ŀ~R:ȖW\r]>:.T7lIc3Ȁ 7&ä6RL fF CC^ğR},xW-b~F6[N4@N{`1K6+lIWX lm +*=reY9JGCvcc)}2π 8QK) l>:]b8b M6= tO]`b֖ L_HBiо<@J>~lgg+3 >^b TAOm*?g?P q뇇Ⱦc۹?ڱRO *ASH&19x*_&įeEgq V}QzjvdfL)Ҿ@R>ǭXiE mTߋV{pz5U& Qn4nIC^ 8qiR\U l`R=UG9.AW,ipJaVUhPr:luL 4ҋa{.I3MXj!mOIn1ÈEFeJ=>P/LF) /6]-Bۏ,tS %X[j  {hmVeӬ̅ىL޽zgGR$ 9&S_tk5ghærNZ`ыm#3xv4|Q M[Wofi5T }ՄR_PS 4X[:G NB9]lP^TEVy4d+4CJ}h.˧uw/8Qh+Êo 4hSy0eV`4"3:j$WQMB`F(lEmq]ȕYoЎgYZ Y@p_H]>cm^-5n|ne0:Tbc+ybJy"=mW\'MՆ(3t ctEuR9 nk;)+04kb]^Д/";7 @9I펵 J$<MLKFKxӗVD(Am{w%=n7t0G2gt3\E|7N"ff܅ ybE .|mn4˼j_tMasJ`EDnζPӥJ]YKwL::"֊B(<~Htq-DlsDܐ5ݲ fVl ;4(xUIRU̮ ɑɊ좚7%1\.rM.70cQ|].SJW = M& TS& KfDJR-̒ȕ]1yے3*w4Sy0CgȮ`g{x8c >]>~vaFVO'$IkF\%C{dt!'*O@"۔ɣd,Á$r)ʪRټN">!)ܸ.~6*|p3-WE~Ʃ:uTQ- &B4)s],2b,ܗoK:e+5Xuj, `I[I4O\ӼʟDrƼM$;86K$~dG!W Lo+vjxu:cs_)\fZ4<l;0v-ֻ'KQQ H˳@+C'wdo8Pɠ`,a4P/oѠ^;~¿60hg<#ϭ/y0(#ſ+a ~cSb|p"6Đ~1^fOz؍nN%[$#rD|z jV̹ϝɇH@ zo0NuVAFL=/!~l|o$;*pO%H3+~d _Zq~dH%&B4xb5'TϧCvuŎ3fʀ6#p5QsG<$b;y JUB!k\vaur2Щ>nK(pG$b E6/\8x55rOlK͇)RTUb[s 4Ha$̺qִ UmK$#=6x"nFtL;!0p8_5H."Tb i`1{v+f끴 vhxݸzF2jF R]R0X!L M"zL:[0!^j1[X.9ż;Q V"I$5j8rVٿZma(w&+.bߡ DᠷAA5|E0N@EA—.Y#N\%䅇/_ J9woH+agL+֎ߢ"fb1g2Dl<Io ֋k i{ SO~ѵ(Wއ|pG=pa΃s? YfV7xbe6"vW,#bH (^ߔȗJ?}Y~;&S.哬JOj_LMd;zˈ/ ߰#7*!;4OF9(Tq3I`7/W#]fo wrv*12{iD2LIͰFFLbÝDgR1Zq:/$r1k[*%c*{gǢ-@  %!z%G.I5 js5I#j Уܪ~p>ѯһCA󼲫1v jFS!T7!C_wX(xh49 4lik%S[X6 vZ7lYogt~r׳sp@^-1J {05dU6og}Ua^ õqjX75Ǐ+-\ )`}Bec A\r7_v2Q( ,Ȇ0871Peh3p`>lxN*7,H2"hRVʸ -s Bj ! v8a\RQ|<]k|WQcK ܱ= y9(Js=._}%8tJ;buJVkm Qzǯ 2xJE%Ёxn' yw,ֺwQIEVk#'nwX"ٶ`_pv\ɡFw^1x3* \)c^BcQe7 .<i =~-1LjhD}^Dg?X`+7di8U%f{`Q hFrM*ZU;Ny{v4 x X.l1V$ MnbXlē0Ar6 I|=rO|5W'Ζa{-e^,7{G<9U f/Ml %!$|Q 3,k.`xX#J'uDbC<q~Q-ww{|ȧ1(81/:ܽWDkblxZV\vaw;$??2s3>쒧ö( pXNUԬq*֨* /L]ط]׶vغs] ~ՁzYZoeZiy׾)=$=='*M7o;+Uc-{MveiK+TL|ԻVL1={PjWڇ)4̷y7&rOƠ:w8l[’[2Lp9Ϯ]G>re @ޝ~R1L%7\״^8$琁iR%m=$\cЃ?R=|(4b%ǝBIl 0 "<&3PVl:Ҹ>ykFQĘ 7dۺ+3ެ6{kUzTH!#>w`|htR+Zԇ?lc P2L0ԎZV}> J3f 4uLe8(pr6!mZ:b;VF1(=na 0D}g)ܕL ~6|[ض-@ X& &Zj,K)b)[@* /*urƭ[׷cq[Mj1,L%\}P+:M=՚&"OGy(_"4;}FOWTf^8LQWj$B1]]?Lπ7Zx^PY+?[&HEIN'˳p+vnQ>Tp?s@YG&0^8nLׇ.ٰ1a=:{n+I_-:&emMJqo3>!S年v1U~NYdt$Cj5JY_ˆ髽JoFF`«v7VHY-5MYYOF"> !a$;ozU +aȇUrtV{ FUNcFGDӄX/7*̾#%}rV(s}ĥB\nqް B節(F-e >+%=9+1Knmn0̺g| "7dj$^(rXaf#boƚlfXs!SCAM3NooC_ss ̽ JN05H=ldt~,Ѫ)#n1xB$Pn.%lf+TʞZF?vλla=&sck6c\31M}z 5Wj/w"BзPgd =,<(rYp݆h#ޅ% 'P5|YU߾pqbR BῈm*nZ-¿f!dk85!X`!09]!U8UW9'<2*eP)Vkh6>j *}AD|m -Lczq꒓EHq6Cĝh^Zla`p6on%.uJ^epyt90݄zډsap:IwOdQшnqgcЁ7 3xNpPР ]8ʋGah2TӊѐSrQ=S n0ڦ\+{0q Y ѷJ*)fi3$*}eu59jƍa9 W-h³5.2!)ݣk:{譔 i4aجcݙVH[U t7h YvL3@ Qɯ[,=${#cwm?A O}h~- į^_zn~;e% `h\QlE]so7[oێ]oy4]@iNcbuC˳)xOp)3,AzP93ulGCApX Z24Y\jի]yf}#6=LNywBQY\,=`:s8)Xp\; m*+*CVw!$kg˅v^ۓymPo|7#OQbK$qTh-fDȵ2? 7 ' kqS8Ok9aij; S#Ս4iP3g[w/v2ò6PHc X 3 .R~h bS.]  E83aްY%5VK直vRL $=\Lk4V,tʚ4a|k1MtdO}17տY/1գRP^{Xp>ǭlxT##Voy.{jF;Yg|#w m@w c;3:R3>Z3~5.q a٤t8oww&hA#¼kprRҹ%mE4Ԏv|i&8c /?D &mB!5,Vxu5J]deU .$:hCD_N~d %#!5 XE /~9u kqٯ*،W\(EL}[Xj0*N~ƭGiޒn+P$.3b_F77'[;Fy2LUS/Q˻bcz`[r_:F?K(N!R찖ZqgTعFA5|ʜm8sV<"x<)#zh X]L>.ǵ9';"Z#)ƾqYfp0o2A 7sGhleו[hօDDl_ vk/K(O&uyA0ÖOůᗠ;c&#_L/wKߖð7Bkd6/5挄8~)jBGGQ(VL-W` h}tykTM-Zvrf0ګ / J hO9oƀx1 U4Jk!_q/=LïIzϛ-Q>5H5^qũ#z/_sZ_Se:L ^`~70{={7uT\G*u`$] 34Bo&w!n=S}q$ {a .$ϫ5ɡ(AtrʼG1^&M+&V0M/i䨼%?%1F6PzVr>s[W\g;\#TP6eHu{uՈ@yecGm.MD^r I[lvz YJ] ?vz\@?63y y58-a U!.$HV^Ț1Iļ6DK+Dv]˃x1]u]1WPRЏ8sY})ɡoLmfN_ zѣg;SvOQ5c4.w80@ XB]01 H-$f1QY[QSzj+A-S\6as Y$Mc$ÊG0߾.׽a+Jܣ+8?ٟX\T9.ߺ%9ε0T#95-PR Qx3oJLMC]]W~=0˽* 9gQes5wA+pݔ're1:[aˉsvy-49p0mqڪ<NhЁV~R\=)AO(y9&1:֛Ygb""1DD DB va-';ămeY #w%)s |dg"њ8{T†(E'܁_O:PmPz*߼S2 im6&#!n1&[vm8*`G_w:w 0&Tzvy鴯eC|KS2ÿ9f$WWc)tȄe- wz!.hURmo8PU'WB.F'o#{;ߙCQ ֽ$/CZ:8ȕ8R{:G1_@b0ࣶ07SY>0E%t@o#?\%II榹iO|2QҲ^tc#*Ï-!iP&Ǭ%&A?PCAȂGtnϱ\~`;+:8_MAwR踐$$.3fAq3W'9 CÉفjgdypPt fx}3"2\SNKHFC9gqQ'׼)w6V`O=djK"!T5u5`x!F: A\dT\v$ jgE_Q8`XknbD6G+mxIeX0~"6Uʒ+\[/c:MA l ~[yfS䡞v>}127|[Zl=GJ+^KºLf_OE׳) A9rt۞]ȒFbHP')7i5lA_.X9W $^EVW!Г7[x.sOO[_{&}~Ylo"O\)s0+ѷIJ'>nxrp.oY]5'@Wk(T_]Ãp;|!)",7yo)ih_A0!'.4 f(%v57ݒdsf.1N%L^)3<=NBGQ 32O8.)" +'G+y4Kq0zPVjһS _k8iΞ T_eG F,,ATfӛ3Qs啻(F7bbc u8f|-dr7zThލM)jRCe^vjG#4qw*t`1C{ }TH2d; %@J;IU MO< nhψP&~,֋:z0.GU̺8h]Eo㝕{"Qd)k'?3P^@5(z$mY셕I3\pȽyZUd:н{jrRO&RfJbjl-XDX y+1I(9FƺVD̀x.J3)!?V MB1Qpl$oF"\#OR<$s]Oy.C_iRvP~N.wywȺ0uPop`ڢQU<5VF]v: Z­l٥58 }Ə<ui`P->2}_} pzXA_`A(SgAHb ^M# mKQqGj4P{\t j&t9xb/I3F:  3Y% Complete_Non_OrdersComplete_Non_Orders.Complete_Relationsdocument.tex7zXZִF! Wb+]A-MՋhvG"uIBm5XKjFщ*1WBx#]@b[[Gx>g`Ƕh!eT:6)S;V& %vD,*7XZ 3`!5DZZfR,ƿstF"TH `=!uD%JtEu]R%ef7.L0-tB2nXvk-E(-^*pyu$:]IV#2;nHXXmσ2Ee=28攫>]9K t-D' :qCo,ņ`O3;ObS+@ Lk99p-hY ~p8aamx%de 3[#'e}U8כxJoȓCNv\AVp+l0gy f\)?q"|0,SUmU59jZ *qsRnyUI9ߓwQjl$05sH8FQvRbM ǎ-+tyP-B7%O;Ϲ?=|`9ާ;pV p]ܟK  C# tXGTl.̪înHiu}RRpYuט?gwݞ-s!#(B\>6vM.g8-rc̄!()qP԰0v@ra\y\K0]ܹ$&Rm{2u{ dxcb@G Yet6@޿*c"7J+䪯d)zp3`17!b20̉%+Ua*Gj+3%pQ:+?a\ibPUh|-u=UɎ0KڔO _"{gXU-u]ut1Eљv-F1sq^TN(3 S1v`frOyoD/coV8?B=BU=9}mN `폤c\ ,5%UN8bC4<݋@=)rP 8+ST]>>gy̪dR^4=AWF [@R }7YDv "+kmLIf&(8O&,i?9F簁2&-3dW$*H#O(ގ6Nv㫣 wn}&SRŒE< n =)QPe7>D :KK__]Qf?@o y[%ᩀ[N -FqU4-;jq+oh~!_Hb[5_ͭYL)@İ5MϵY=i#J !e"-' D K֝}Q]&^,P4̍L̏CZH OeX;^y kjzk=S(v>FVZl~_ugrч3%TRdsyɂG)>|9n=bc<Qrjd:@D>Y;h8 fsEjqgcGTv:g?y y]EN Y6AaJ`7X?ĩѪ!)qÅ/ x{8&@>=NAw WҚn! 33 ϢNw# Xfh0coFӢȷy`GЃyL6T&J f5]qnïݪ׫iyޑ}OpĹ'J+=&H$^՛<ޤ =QwYۛGq.)ѧ7%YLIq^=@X=_˽?#Aςg/h)JC!v ۰O UH02L/ R'/cΰYE k ijf zWYՓ|gY-9x{ꗎZG܏Y$06,HX6*Z!@d/Y@6*]a?<ȲF -]$C{ :KT![@xSUdW:_ڙ+Cg(\Kl$ y4;)]21V4ZEK9I\d HBQǜ)'41!|#VY(lVbvIݿ:H~1`[>r3d7X؎3^9kܒ |Y*?V)ƮO2jsD/.)F !Iz?q~a sAl<`;`j^ENθˊX&h\.[;HPDu\ÈWtaxdeFwtBYhy2]qBmwNy;aJ 9}uՂ9 ɍ[LA~oe0"`xLg-’8au Z-sZAP=޶?f,\BΧLßjw9})461Tnp8E}8q#qjxN(D(# skr6S9GW2)^ԵC̑Ǚ|ư &jlvֱu_:l䵷dPQoG4j9(<HTi\Xu7-ڒ!],KWEܻ$29 :Nḅ [[ґVl&ӯEbx7Gu8u|vsK}[1Vsګ ~ҝSfϭ_2 IVN;5~a/Oxl +ẑl|B؎js}Qnr?|s ux|M#]f$R];tDLwۉߨѼٚYΐۅ`Њ.J{N~2JAGNK Tݎn_?TF_Sh@JSdw=7[d'F˙opq:|ЁkYK \ T}lٛ;1UXF2I3'KEJNvT P2(͸>RT5&A'K֥nuV ,Ʌݘĵ3(@jCx*މ ҧ`JrpIo/)`$K $PGh YN%3]bmx[Ԟ;{8RŵON>"9\JZAVLQ̛UF&Xa dsBV9lC^ue)^K^{j6#X_RqL[qfw`Do=])M624h/c)ޓ̓\Y>0xy"*]Vero2 ЙQ__IvجhetI};n% ڧr 95뇞d,74f:XvɭIuw 3@M=G5;O a]1X)P.f O CZ_ų6 tt` 56 LTv ?).&q PFØ`N]9kV]sP~ߪwZ :`-GIjDR M0:O Zor}*/,gJy# FʙY ;ަr*Wq8#z'ړ}0pp>M~fjp) WY6-oXt* "0$.87uaw(^wVOg+MʶEP>v=J.5DE{rifYjgiLY٧{k[ȏ!\ۄ'D%0Oc{c m$%HY{̾ʭ0<j] Ǽw+ %H`/pP-AᎫoUI.:]`Zi#虻d#3Z>}Jn`>&e2Q*J5[/=DU{Gyd&iU2Os4T#\Z+b<%,F"tV[zv5:;b0vc9V#QOFsL\ %y~ *ߡ܇ƯG^}:ksڼ{Y}HMH42{m S{D'w gdAQ;zTMC؛nTԁ^vdXp{h DH7 pz*tzBl4γ^ĩDO'ޛ-[ZʴUhN^eo\LNxP:}ڽCMx>px3ݽT;))NǨ/ㄱifsܺ:?G'ޜL0`!TT?# F &7vˤg!#~8aH¤pNvBo5&ZH)>ߕN3vuIϘW' ={PS]YDS}La*/ xJɱc+㩿+r ަZ@hؖl{A)WnjIca71z8 9Q4-x;犍-kDKL\=F vk[*LDلY'uZ]y~+V˒l8= %ϥ7эBγAӮK_k(<˄#ɺ)3ƛ9 !*xʹ+j^'ax=IL=7&Lf嘓O]9M>H 9F Nޔl?tzjoEH)V!LznMQC\SDA /( ZXb/_,y<г7U3dE"-vj!A* w{1$BN3@0Xy"yF[>E,\!G"/|JAWjG䰖mzu6 4%̾£-f>ԫ?1:ڴFk]JՇ{<.p'(]pG1u#*Won+<=;?D2,w=<Eb3d Z2Ѕ. 9=`72bF@;(- 2jc9=YPTrib@w\YF Mttzt&Nɸr{{CC&j/vtB{?@:FR)+)ɡІF"0I;l>)+NyD#DbWG0잖Rx9!'pܺ(ה)󗰺+aum#n ĕ[Un]{i9sPJS@n4qXDZܯm5ؿ/4Rɪ*90CsgK ]?Y^l#?b &s~T}ȇQIߞ 1wp]ڊø0 X#q۴>I{#kPRdz!&yTFݔڨ Y%xw M6:5}^tՉ$zzGkvR t(L6cJ` ]%N%W)?<_Xoi--q+ 5O opy8S`xsao8nFE]V((d+BQZY%~ꈇۆfvY W׉]06@c@B>˝uf!;VZ}:*/#.b_ Ez<#e)]I)nFuiI#ö1Y4FMmczס2x5̄ck_!OG˒ci/YpMhr.zUIv {~oFJiRvrSSFex3{aƍ֥-aO |IuWKL؋߁.p&֯;5' Ui?|g t-7)Q4=z]-PzdDj=ejuK/Y`G;1wow= ) ?r.#OdD@%|;\Q^D)*dixB\غMT=~um;khw' s3.1Q)P|tub'4>ʎOh΁׉d2 so[$摾E盾Fx}W>0 $?Y<6?t1gl>"ڐ[gȗs1нDQY H^"YNAg6GCT4A5CxʺڅlUǪkB_~|_J$&Wq}vCnΒnh!(a-!n]Y-y8sNH mBwθI\zm]y@ A?k/}JΈ`Iwʔ۪J>@!%L, @zy<@(YZ&8i+NBn/Q0$470=.7HgT|t :㙆;ԋ$JNGhIn-{gYM),тF2.`/)r#χZ8^Xn*d;Ӄ 7ŊLA ]*s@Q_}%^a L:ɬ&#Q'aҞ-&(*N&JmRb.w+_ql { \4)J\ЖUy8)j#k0&@maJ@eCp'?EJ]\'D]y 4ZMjΗ7.F hJٸDzP&Rq2ecy*P杴CE$*Q{* v1- l"f nޤape9JSPI;4}Tv /jGHy[\./A!7<0W ~J/f9U-iZF]i4z.l5B'a PgL-Y>gI{q^eH;Od#Q4V ;{O۳š{{cK 4@O;#Nh(3|v yPVSR9tdv}j#H!JIpypXvb] *UYB^שzx;`wTs6j`DzgxD]fCNK'R;D]{Ne2$1{ ys ?ј! 4ǣTKakLoLL=.#-7.&Hb"7t?Z3y.WO970/}ϞQVn}#ɂL2)RV7wJDÒ4"~ 4u-hw.;,IvK Xc/\|rzwNS*4ێ [`$pOΗ83E">;5}<ȕ*l ~1{W\!s7P {S?ߏ23Xf  yHϾ}@>JF]Os{&1invNيp1i1""m]5A|J.h'!50SkGNzaۋv2W&-ӭWrFn]{UQKZ&w/%e'4ǂjQ| rϥ P$2Q /eNQ)84Ra#RNP1ʟwdE)+讏1#jcٯ'|X\ƿq/dV);{x96b gcf=J2̲W%굏pEkvoW,Dvq2@twwܦsuhрU%qvr!j7J1I{dI!&I+̤DlsS{ٔL;/M1Iɚ#$k !gX7~/wL! ^ ʫ01( bp@ҙ k`DQ.0=bL)"D>u{,@:qP ɟebZ-yJ1U3ҥQp7O2N>m¥ǻ7`kNT]l6OnQF􅓖 N99gZs geB?uQu_\t3+YJ, F]c]2*33{v3Rɫ-}IzVu^mw CB-U` =Vp/3X`$-ȟƑcZ-7T^)&牘m+W%B0%7r4j!~\ݱqW,,Wݭ|], =WJRFgYIEm5nr9F=QTn.o͗CrAŅ!3Y#a~\αt\i $TvT <? tO;0B !M1L sT=1(Is´v!LgK^ i?ޥdTqyvOZE yYcb/T#s Pc2ԡ|Wy,ilF\] WeQ,ISh(H`QȤ P7G5i\7rNzf$@+$UhP ?/UlW ddP6U*AKH1={> Zn., vl{fAaV X$%u}SFPG,ݱ@1?6$ dn+oj!zvzĻyߺOϔvqf %YG#+U%jxJ-a\X?fE)/D+u^FN緊7tu=q"kj Bl_1H6(ܼxzU3ʪ(Ca U҈Oj$xSU3r('-&Gȸ#. ܭa=6I益'\+[9 CH yL i&Uuَ'XᨂL *F[tU4!1٨3\|ZD8I[xŲ"@ }A7?̪584&d'2zk=h &aGd)8M7}{eaP+q&QEuvOqBJR w }>CNbǴSӜo=gca] h`{2DBڲfN=YɒV$,%m5V?N8}P2sm(~\6A5NXRC_wQ 4o=l56v91s3 b@(\յ}Fc]Xd]/I;SDшʵl}ž]fߡC VTbx"k [|"E`{aprʡr-Jv0 O8>I]?Cng+̈NzU6EƼj5¢W#t5Dk Z%<ь[@/bO썘<=H`9ԷYGm]I|Yp⦔4m\B7 j A^A[M8vХl|j_~0*,(]L7rOl >2}N\RTs276 f [qc 6j7w+B'1'uX9Ŵ$ӭ$2-4҇!4ږI +xFʅĽP9˼[6? <\ ,HWEK+P)F^#lC0oa-!o뵌khre?dnMz-NN,L#RՌsI5Ww '1i7֩Sh=A-tT* U0#!ڍ jyzLB>nES6#B  -&zkqpv?xmvY#;smҌwyן+[v=SoJ-.PsagM t>ql78AUvheVu5N`0KVZ,ozKNkY~">Acn𤸃k'> |Ck;Y'D0Ou~n2\(&쮄GTqۇ|\ܹ~>6,-SaJr{RAI6۪ba3 4Ӥuj; fB\QWafODVe5fa@ $!w~p09?'E S"1Cg kcW>pm{=(b6,UFUP)AI$k(Gja-0LDrh?SQD_`fA_LDŴ b/5re0JG53 7%,i_ǹ $NȂL#ldx~03\-,k2y-1Qm&j0$W]tà f ߾S{./Q@F0M]R@+3k4$0XyfgQBdM7 'σV g9rpdٵc z$mOE?+.J̸C~@\0U0ڤqNkCȾœWtk<}. y̰YJF:F ӠZ$&EŌ@cX5cn?Ҏ9&",s{*,?^0x9Ίűy3tZǎb'moY j@Q0>|WPn? =dX]1#*݀v9!"],ϧʓω&0Q4B6Nܞ#k4{OD_2Yi_ڴ݇Dg~zj6b?|k*r8EN(ü@E:q#vQUdPym hW +̐{\lP!.cO~=+ҮG>5ղ;^椧S X,(YRXJ~$["p } ,Pa8 gn"KNO2EO/3:1iЁFVS$ ]]{i{;65k'{5 ~z"qF9dUy4(%58%a/ fΟM&Gpi@S0-c9=tMqIK[ڻpsfnyZ9e)sD5XV %-QjҖ;/DEX -aEKlDɓy|.3.nA!de,kmo$ ו28]ń,K^aB~@5eU,,ap7iS M Q e8jVgxB \dO0f7]o]iiZSl8`F'keaLz/'8μ܋Dkg`G"=ZY^mc-&"͋eV]u0J9ئ퀄meJ.w=Ry򢰬1'ǬTNhH|𮢍L{O_eD5Hx$@Q m? ~r&?B?WU4cZܿah1k>-[ IpTSwQL^G-0RHo(gV{D֗-Qف߇KkVm7BtKӿU 'جtHf˴$8(pC"C.[=Mʨd.+zR7uK%N Te 'of akq,ER>zHSG۶yHr8H  4wd*sD̮$ͪ!cMS"=og3?k>0vu"Jnؑ'Үȹǧ,~O_8Lԧ~Y\f<3\M٦L3%(p!A" C]t19xؒt&b @p͗@qW|t