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  < <9=t4$ ]/ Approximation_Algorithms:threads=4elapsed=27.059cpu=77.144gc=1.6647zXZִF! 4]ŗXiɟH)0!h]וm)x(ʤu∽=R63T?e. CUʃSDi,eﴡl>cz}۷ӁdXi.69 w ]UCdI$>vgP%)P?:QJ6EQ?O~,K5'>mTIY{tm) O 1A/!AD0ӎa? }( ZJmű Au+Ս; g_QAug\m7@`5מ?7sd{I<xǁ10 CVke)I8R-<܅toq<] 56u_!a6+%bBMG%ұb HŤ;{0\Py¢(b<voNpwSKO&lWcGu9KkN1L}/VCnH>'ꀴOiT'uYzM'wM5 ۭ޷nupͽ-~0}}E9[TcIAP(8CqBE8Dgb"P9c>(+_)5KUm{0)E_Xܯ]*pjYbr[R, Y6|ֵ$kMXhR~PX%߮FhŌ=4h(8=H/_B@h P9xvttD61ϝZgVsnr^59T=?'t,cYy$S4כMaRQuGݦ0); ڿ-Dg/Sn@'$~/Z9bVgsȯ]9?kW.O46|MNma*e}utE1.ۯG6/DxiV%Go#t<:. d [lC"wR!o9|C̗vf ||8[ӪVkz)*nw48HT,=\qFg+L *KD7iMJt|f)gp{᷼Gּ45U `ztB# WĐ:HS&V=I{xd^57paA>+XYi$`M]r/=[_7SDbhAQԡr20B4$cTS"4֦|(mހSpZgͶCX:ZW3Yn=S'"+svT: ?>#ϸتD wrwP 8Jd4$ D'}ſOrDiu6 ޔ.] ݧ_ Tbqq NItG*^yUSA@,TdOl8ŨBCq>XY5ñ E#pn.)H; K1dG\!`0Im$Ae;aEВ A殺&$,[l͠ˁm<[@BfAIޘ3~DT߲>!^NgXoNA' \ k|M˙5^PK ᛜw:ȆҌi+}KZ 2c| )kx@`4 ~9 k4<'Hfz*Onj'jPa,ї 8WI*gI<o:/s ŽX-lt 0X/x~` @ͫId@L>fإŕ͔!PvnrшGFzZDpwe^V=MYW3M;+3$[^? JDݜ rg=E]Z̘28ZoT@s s펉Sb[7ۚ_OKa.Q6e r0>Z@MOh n]}{l2Ѫ6PTrbo!ۙ{Τ׋vl]ˎ4wKtMBgbVУlc  v9RM5wRuLa ⋚ɐ~~V. _d?TJCr#A^<=cL>N!﹡ (pPʉ {J*w!R84"!Jv1VnH h`-tVAUpLPsE)#3wo uܷgK< &:e7'PN;z"wLރʖ2wpʔ1kM㜩㗢Odl'jZ2ugLeJlE1"e$RgF7I]aieX*nfnjn!@AZ1ƙlJ(yɈN&7ֶq1?@4);"g0| ͽ-a=܋U8 n'yfS6eO09,VA=Lq K'Ţ)]xs JP .l`_qOԑ:)5/BլfJ|›M.V"%0Q=jr+;Ufq9 g7rCoJFv+OBǛ c qy#F6.%1A؜R&Y3rrކ ]+w']kݒ }sy!pͧ?$jSgȚ [Gzn4n:n>M!:< )Ua5R2kV·V&0ܽZR$}G!3!թIhn,l BK]1l cr? >*.Rw!ĩ_#1" 8hh;FGV|KI]C&[[ hrG.zNLH/ܸiRD@-> z@ga|3j\}`?Q$ n=*r*$gE]GˋdQ^X6wu U^_ZY_sͤajH6{݁Us[wIlYhX/n5ɽ(<喘awrxx0b>8$,q4ߙ6JKŞ6XJN .ֹK` ?L\q    00i)R=]%Approximation_AlgorithmsApproximation_Algorithms.Approx_BP_Hoaredocument.texR=]%Approximation_AlgorithmsApproximation_Algorithms.Approx_VC_Hoaredocument.texR=]%Approximation_AlgorithmsApproximation_Algorithms.Approx_LB_Hoaredocument.tex?=7%Approximation_AlgorithmsHOL-Hoare.Hoare_Logicdocument.texS=_%Approximation_AlgorithmsApproximation_Algorithms.Approx_MIS_Hoaredocument.texB=?% Approximation_AlgorithmsHOL-Library.Disjoint_Setsdocument.tex &\x*޷0 \_kRDFPf&we`DcLl)Qּ:ۍ9];l0H4652JTik<ޠRQ4{|dBICZ&)Y%Ts vUc^5G%vz;íef685q G+{@XD⎇(e3mHHLJ?Gj]Q،"FRFi,\/iCk9UK‘LBi=XlxnkyRGO XOiI7BxlՋϫ); x-x$~P3~uBvt3s|Cx6 ]]bw5b'^b( RXeftFHX-d6kus謯Fg ezˋ[ݾyl2bM=p5nb,[هH+z,DKȪA# j5թfhbBUnJRSf 늍>q%PK@+ZjiC'n( WNbZOZM ^;2NMWIXȦ,h۠s;OQ=1`3l2_3p6I+L3x#s<-{.cwQTao 98J ^W-M_a+jA}Wi]l0JVjHlVN 4G㎀=ab}cRڴ>RgCaDhQ 5x?&ps1,yV; kIȃLvs\}ڜOJ4qmZ]7qS Li),:)tr¸%/|1T͏S7LK u!Q6'}Znå va-1$D7MQ>N6Cfz^e[.+#Ue ;7jIeUpAFTe3M3oI^џ7 κa%!:_NH mo@ζ)$(?p:+,Ur /g Y"]U  ;lOvӪ%9)gq <-="KqeY ya~Uv YZ-A1-2,=Pi_nsG7i5KM(̝]33y lD BhIwS:ګs2]0*CMJ ˥ rݎV2IJh81uTbز"M\ [1.$/hIyԴ/;E? P;KѐHz5 bDPӼ3gR%XQ Z/A0}<,M|/JӪzʰomM0IG`kXڷDW:s]ܫ֨'7"~)ǫv2儎yv9Z@}1*5@PNܹkg'F=CbO]*`I۳(C*fny?al?6̕>}dHS_u'i]WEiXSn%r}UƔ>7[;l-@zߏzjS셶>S>ãhp4_ xrA[ꁔ1;BA!RYoI8$dP oh[ oo{pQ;[I V[Ƽ>@ףc agb)` H%*&{ZO ̮Pj'0Ioʍ=#EC:q6%ho 񇲰!#1/2+-㟾 ~'NQUᏢ3\ Hkݖǐܿ5jLf8b-# F|qrq{WH,[ ? s1E1%".-~I)x q <-=Ps  &儞^4Ҝq̭6J>IW sI͈^k׭UB>4s[=XNwzf!fW6{Fr]*z=@2\aZ㌟H i\>>'\x_DQR&,DFWBrlj1H?,Xdia]|`lSPiJ4xɫu0MU=^lTB9ͩoaJ Y>YjTvg#/y9u.DvՁ8i\Kui6 |b(mL7Z[rpں8g&o/_}+v5>eFye E*#j"uQce,)8pYO,HzcZ*.G>\ȯӟPS:CSe!AqvK'{ϧjwQ=51XRhw*9[O(W8m0vxd0 `rw1ŮKn]W9<>7EU8j_]i5#l^.#S=M͔V`+jga|™\]-cy[Arp206 :& b ^Cѭ&/Qc#XN #a57/7->JtoAzzB1dj DVԧbXa4]͑Xk2Vk\hvۗR-2 $Bΐ)`^i @R }Yי)2h'4"Ǝk<<׽nU9#`g ^A|O &m/= zAc~F\N4BY*JǠ&-# ein_u:m JC5Wqe+(l; 9VY#@RZ8G!硺Qܢpw|]~׎hNȀ*2`DE;}ӵP V"8iAS+ɣ@͐()@%P%a렉b$T5 Sջۈ9Xy]Vp[; ˱gYZm8cwMa0VR{>j`yq!"KFmB\Jݵa`>tS+]2}rJTz YD3V0o߼q@6(֎Vv}|W϶gGt$^W:":T,rTj]gF1Z 7la5TAxAgA 'ijcX K3ٖʛɄj[z73_]&Xïw&oċƒ"|u)/Ef[^РW3=:e3-_vknX)QRk:hY8`ŝDT+SRc bT 2xͻ$-,Xfՠ>RV.oޢΪ5g3kݧȤψ$OikXμZp >.`PU]ee:tp3/C5ΛML-B>V݂b9!ѱMe[dR,Fg[-kΨzB[a;b(CY%5IXrJrsنʅJS.kmQ.G[3L#LU:\W]Y=9#RE\Ts,Cx/BU҃<7`{x貮?#4+SDN #|_RLq<=6pbso?6nW|CaJTm͚cd;]CpEUeAIf>d"HYJmti<1u-8A#PN^ 9  VpǙ*{_[ DžX&bt>OF2L|LpvyTsЊi ?M25gHyjٻZN`=W_veBYNMHF'ּw &~t)hn{ͤ=[ۂl80 ;LjݢA+'˘VMiz- n^p zo=dwv*&wժJ! }t;p:"AQmXrIwA}K_Ng!yLvU(Мfx֝}v20î?xth%X%ry﯅N }2~ kndyn0&(?@"0 N "Nm]Fs]sS,7`8 TvmqDy.$; R3y6wKB/o0;ER}@8Nu rFf Rzg-bpX{?ݸ)59&UX[{\mfիKJbM:t]8tHn@('B ַLƒ4땁041> CO5 6< d &~s<"n?n-j{8|A{}Wxe ]!A2.!<ŢO:cul+l[D[[7櫹>MH2;D`&.ȩtF|M WE}': d}LҚlB٫:H>I oAˊF"϶m[ 7V ڌk*x',ek@&[@7Ef"{lO&G'"j_($c~ Hs!1JEuJL FNN%v WqFuRcNLV-dAf_:@v-S*q[#%HR@G*J5% z@X/2Y:W>Iܐkˤ`r`ATڠTM=B^#/%c@α"Sr oj`>i XW H->dl|E@8SRPa UMNM7tiKpP_&$4ݑO4^%*/ 9eӝ9U+fICfL}UVn{IbBv`Υ0+Xŀ m ]w(J_pG<Σ كCiHՁԆ$ô&zԟSuiVPi[OU&WDˁ/KNLxL.#[h=MxЬ4$؇#qRcz,y%ff>YxGݰ# 0B}l0eyj1ZԤ\u4m˛H~_b_N9Αt&AD>&.d`Q:u?UM>E9Ӛ/BtD_,ёR)}p6U?۠нi[-E( zFP ȗzT y-@cվo ևD{*zo8% @vrhߖs<&i*oCSuu#<)P-so=bfRb0jg'+t)@J Al)s([N /akaD* h8D2?2Ɨ`\l3lioyy>W(N'6.K7aJ(YR*Ÿ]<mwA؂ ]/r4$fTvUaq'p݌&[7 A3 8A#~v̕p9ci=Rm#SBvw3MW9VNQ&`Xv1'svnq9s$Fg c`xm`Pg-bbLu^ z#qDTUjIg/p3xD(6s O>a)4#N,Sޜ%AV5S0@+N(oy#B:A'.Ka?o?2qr!U)">0GKR [OWv>p%d/T`7Vx0zaƷ_5;ⲝs{W@<6?qa].є}&̾ 'eA߇3=4 y߰BMvd, lx/pKIbhJL!q#~ap^)p_ɳKjkʖX(Q#ku{E%ᔶl r~r YC2sWNO gަwDgݾq>kfY(`p$ȓӭ.ZQӿϝKpWiB +nېɔtϜI*أR9$ؔYTkdܳk\SQn|z`ǒ#>ꭨ^ڸ,G l&^ƙ_%vlYu~+bJÆ/ќHަP=k5Nww{pO62:|OڐW?[!+TU,Yz" sWSk&uG_IprxGSH#p`It6j{ |'^''#M8ގ^E9^<6))mAW)Nlk\!j#SoĂޖጄVmqH&~>W,gxp S>FW΋B^V-OK%C({tr͘LTq谫 Gpv<DpǢxܴZ~'ДcpFToBaw̤ ԰5{w_UE=醠S:sjz 8E>ybr_n/A;a,w3Ѩ IUGx\gKסvFL˴x1Epї '.S?sY%϶gwKwSIp"Kk l"ǬǦY"h HwAI WnHQw#Iȫ~SL.0:TK/{pM zTIW.SkZVk0r銚+9Iҷ"3kmM2bx@B5`OyQ6s:LvD \3RQϰv`r*NKQΫi;tM. ,]m, _4ւy8 oz}~\1F)/ߊ/hW}ׇ3~:crA.OwW 5V}N1D.ߊK$<ڣדfp0A|_Zw#g QܓOb!f *k\^OxP]7+!?~pUk`w9$IڮM'5*#&s_p.1b} AcnpȮWBb =S7pLfBpq-qH%Mw lXmZfb%Idg7u!3% x6l}\"x{+2(Pc5Qag%w&2 (@怓3’k `5 {Rˣ ̍Qh1m%GܠG br:Z4 ْEY+K6W՘G ;tj R[Y^iL4Hgo fI@6/4dpH}][!w᪆> + -QqQSkyQJQ1?t7aA>5&`Yv]`wL=%c0ƷDGŁH0 Fg hmJ"ק-͟E%(5],O(8^~LyD6iH[$jP!c h[?u]4?uwT@E1v2𣥩ց^QHŎ9;vHIH Z>ũ(΢:θῑie\lIDdSȇB~dÑ1|." #Ɩ|J9z T1z4XA&hY!v 槝G> J1<_\O* Y-ߤ=< ;*~ P_ga=r V|v֌u9ah8̱4n$->kOOECA&8 %ҜcWUj޸ pG|=#1̣T2Чpm+<gbE|t(ǶN>MZB /!2=tEY>X@g 7]8$W8;L]^I/;obmR]]SPR(:P2o\#<7,?xq{\X﫚JgA oBȢ&74 }?)/f~R2KB߹(v]]o.ӇUd|P4QL^<%Ա:].#É&Ǎ90#9]hPǼWT<{iWnfZf69HCSA["~}<AW~?$K<5}΀ӃUg(xm8<8 E̲K[JPF Zt{* ~6xZ짻J1cTY;2+L *KD7iMJt|f)gp{᷼Gּ45U `ztB# WĐ:HS&V=I{xd^57paA>+XYi$`M]r/=[_7SDbhAQԡr20B4$cTS"4֦|(mހSpZgͶCX:ZW3Yn=S'"+svT: ?>#ϸتD wrwP 8Jd4$ D'}ſOrDiu6 ޔ.] ݧ_ Tbqq NItG*^yUSA@,TdOl8ŨBCq>XY5ñ E#pn.)H; K1dG\!`0Im$Ae;aEВ A殺&$,[l͠ˁm<[@BfAIޘ3~DT߲>!^NgXoNA' \ k|M˙5^PK ᛜw:ȆҌi+}KZ 2c| )kx@`4 ~9 k4<'Hfz*Onj'jPa,ї 8WI*gI<o:/s ŽX-lt 0X/x~` @ͫId@L>fإŕ͔!PvnrшGFzZDpwe^V=MYW3M;+3$[^? JDݜ rg=E]Z̘28ZoT@s s펉Sb[7ۚ_OKa.Q6e r0>Z@MOh n]}{l2Ѫ6PTrbo!ۙ{Τ׋vl]ˎ4wKtMBgbVУlc  v9RM5wRuLa ⋚ɐ~~V. _d?TJCr#A^<=cL>N!﹡ (pPʉ {J*w!R84"!Jv1VnH h`-tVAUpLPsE)#3wo uܷgK< &:e7'PN;z"wLރʖ2wpʔ1kM㜩㗢Odl'jZ2ugLeJlE1"e$RgF7I]aieX*nfnjn!@AZ1ƙlJ(yɈN&7ֶq1?@4);"g0| ͽ-a=܋U8 n'yfS6eO09,VA=Lq K'Ţ)]xs JP .l`_qOԑ:)5/BլfJ|›M.V"%0Q=jr+;Ufq9 g7rCoJFv+OBǛ c qy#F6.%1A؜R&Y3rrކ ]+w']kݒ }sy!pͧ?$jSgȚ [Gzn4n:n>M!:< )Ua5R2kV·V&0ܽZR$}G!3!թIhn,l BK]1l cr? >*.Rw!ĩ_#1" 8hh;FGV|KI]C&[[ hrG.zNLH/ܸiRD@-> z@ga|3j\}`?Q$ n=*r*$gE]GˋdQ^X6wu U^_ZY_sͤajH6{݁Us[wIlYhX/n5ɽ(<喘awrxx0b>8$,q4ߙ6JKŞ6XJN .ֹK` ?L\qӸY][bK7> g g-=7% dApproximation_AlgorithmsHOL-Hoare.Hoare_Logicdocument.tex7zXZִF! N ]A-MՋhvG"uIBm5ۙ,H`&Š$o@aJʮ5yvUrBsu m$zfpʡCi0TU",(mw3Ij8H$&zޤ|nƝZCJ=Uƪb=Nʌ|冤#C HkSEo`3hr_!7Lф=5NXs-.\VB1Ml3`!aX'_CT8aǰ2 wP^I4dvtv6\QU(0\s{@= 'WNWesUsRVYZ`CȽQUQŪWӣ^}OǓ ݳϾ7+~o97Qi 9 kgj\3!*ֿ(s xu?xe[DQn@^!lqvUFxLS6 [pHʚp O]^Dr(e7MDk'NO Vۀن5`751͔N 79~{y_^gx% Nc9"6%+5c*)P!*t:AP8]ZͿЫIHa/82 $`]-yOKN`٭B‘N-ח&}/]$:_*kx!fdtof+Z7u4XO`xRo).;WL&ZC9+eŢ oF׳V$6xW&xX-6Ij,qu\*Mg竿!TZ %L~0}-S^-Tu.+5Ojb?^R/ $Xė;BtӼ #g޼ Sb5(<ՓՑ|ZU6j8T&EYeL44+oԜЛ]aPmn"Ppdo*VlE,?a[_~[V/`mJ1v5 %Ͷ6IEc*@Dt?ŀTԎC2вȤ]="V͇\O=g,`w}8ג6 HskA*wwbu% BޱbN񆂑+ӚDsU# 7qvhbymGc& RuVj+aM ]gO,-G x5VTD w@y􈟦Rd12@lSo(1yىJw$+-;-@:Iho.jHG}Ht,[յ,ιzn}gWOlc{CZP?_/yF"#Yn_=G5u ;QLZXt Ģ@/7dCHGYN a bB}h8w4cG2\gsL* kS?TI7cdz\&"%tPBqݴ_aK[u}m 7n]?J0!q`߭FrR*@\jl?pU 5՟"Q>~% CQagCN]]K. /*霢Ҧ./@_hF~~XMnDcE]jn!򾇟Й!.>\PGj"Cil? M++!gYZZ =_% Approximation_AlgorithmsApproximation_Algorithms.Approx_MIS_Hoaredocument.tex7zXZִF! "]A-MՋhvG"uIBm5=Iq_e}N&,[h}ޫkVvi3& 1K^u$ҕB 6Svmb#!;C \x`b.\bpVuMÀ 0(I< ' ayF8N;*xgO[O?00ͮC9R ηQm8%˜uV||ktha4"Y7 (}nZeb=m\+i5c]< PÀ-]!BA~a&<ցjֳ|U_Q-Ջ6$mVA9h/5J>P& tH ͥҏ\|^0O7wpLߧ+&~F̆3nsUrؙhf: uɊ6I0Iq? 5R l.g @MT?* 6g"ya"3so>s y .:_lGQ-ɟk츫">Ve kLi-JFLplO9 3An0,NZզI FA6NV>iM7f"`!w[X{"/؅GKJnY-fA;ztv*vF^B6w`N!WvR:٘qD2u3cQ|z'"y?56ᅝԣS@ {)z*\OUͼE&Hi٧0MR4X ԄФBF&'OyQ8_0B)'tԥgi}\VT 9H)Ŭ~/U p wZ`]VVrݝaj-+dlIPrt¹QqܯdʤGN{u0\@)Cat }z :0²Is͜a.gK{< ?Z>|7hfyYw}GIf SX" +&Ax;v7>n ylo,V"FP랺LfS`X.aBVބA: t_Gnӎ~`fĥn%L|nu2+-rV-'K'UP&xP^l+ڝsOfc?f!I.Q)&3!%9.Ȟkor&{F}WzBX_ƭ5tkw=b*crm~nRNY6 OiBF1,u:Qv63̻wĊaԭ.?-bw&`,Dp1 *wE/;.oqBIHkԤFQ[auvb+] \ãQKS7a)[xȴzkC7Jg&%%|.Hlr9o$qAʶgt6̨, [XXc_GZWuŮ9'gz/OKմL! |4N |eFźN6!{kd4w $ZGvq@8-r?Ŭ+d֏(pQ.OVMqI?_@0NL]>6k4 [uXjp[=LP i}5#;Ĥ \qPu(vT vE"jKS$~I2|2}?YR5Q׬# xP sv;jC:#ܮ7tvO+Q"%{E]aVX%*)40*XvQ܆or70m"KH>.qj?.Mtq:r VeT-|5 桧mVBiJgn ͩڷ)|''mA6g\I=lg=v#|փ*w٩b֝=ܜjzG=)r-?Y1 OT-rŠcNa%[|7{1"IvEԹPki ӂ 6S.}E;"H@wS]Y"& Bc+JGTL> ÷c!dλЇ7E H{_.`2lr1 foUU W`glѼGhXDKHADmbe._aG1 blD^ eE0p 1L%WVH՞ðݠ݊KOŀg{rY䓧7/IBSICDڡ:ɋ8tkF s79sۃWA 6эkuIْubɄkK_M 0CASGY7̊USTH4`dX1Dkq<揲 1k괪"to _%S]7n6ecuii~6i2I"C VrSa=l]V9f:idQW9M pj0*,T4GLP@K͎,AȇUcă#3.Se`%C'Xj{XlAHG &B r!q^3HrzFg avܰ9=h&u(~Bp`%ؼ p4KU(#|DhABg `j'x\S5 36*ӋQY1&xʉ :tj](S D1U'qb#j}681jf-)(> A;/Vѥnڙ i6 k1Ұ ~FQFgTFa7nGNO9B f"p,ltf\TRH)7@HŸΚy]쏽 %TR=444YגϰFGX"!_GEEwNQGo2ֻ0'=8I -Boe MJW9TQ%U O r3$MdJ[ (ݽ>LPUb׃w$4WQB˨li .|n.Fp`}q >/<C,ԜKXyF󙳞0eBճ[Z b( 'a'_ƾ( V|ґַ"&Bwn|E9C6/i)`SZ|'ь@R0{eyzŐn-U 1^u=:InB8yy0lw2m%In[u"IJxIWHL_oDji|Z<=گ #xÁVeݬ=//HFbkuH*oLإ#@ !L |~xwU%DY; E QQcekX%n̒KAlWN +*Su|TX>F@g5ԌhX)2|D6ޟz@ , ^mSLJ5/p=Q;dA$g2NV}ٶsO>A wX,Ut\@} 3yL>4gK%M#ވ>Q#Jڴ` cI!q";]Vk'm5#nLU51{QQh&z۞.sJKI9Hm OV ǰc]KV` fH}Ҽ]ӛ$\3$wWR)V6vaH1c9@8NM4cj朖V\paNuwEk r^9涪{{,viX֊sfhSg ˴3K`JƬEƓ[Ō\'c{ck9nn5@D'8$$PBfRּE6)JwMd"!Fd6/2W&i.ZL>f_-2P6O 1a=Hsmw) zd A}qz8uuӻaziE=B+QʬW3";R ~]+W8&O&ޡ4w!;C6M#PځxT_{))0"_^{X (/Y6ɾF&ϭ?0mcf &g("ݔ(Xxnuכ[\%CmAڑmAʄ'& 4`LU&:,58AP` 󟮈u3>?y.> C@pC`]F; &],w"RMԺe7K\l*{l}ͿMGDԊ%j(v+Q#|^zޤߡCpP g=*uY 8TpܳѾDK (}H+ӣ}e,;XK8>~c `'h?E-Q6"&WCNԜ,ަ*u{h^% #R||mmpSGHQ: xTKԠ + D%5k/9q Gfd72 7Vsuf~'gDەƨ4E % εH0ުJ4PXGbKK4P Vė$MA/yHeFPkwGfF-&KCF6k?PvխK @Ru5ťHz kX E!c>gzJ}(Q{+.W<%mESQr0^p%H) _J&]^PǨ5ҝJ>qZH6#J"Ԃx?V'IGeg]K~ 2 l\_ p(XɱC@ 駉Gzy\!&6@hh ^Xbi{ҁ Mwwj 'N"$Y%RKkiO]xMꮲd$TFi0HMk=fV Xa:ˉ җPjGZ׮adx8!s fFЄOڀ{p*0ï[F~nPeX@k^t2NX JťcPG4Hb'@9Yj|!3擩|~:XkA[VO~fH7]6uU=׊&-} Y V~/ݽNǷ$4ۦe>'rW?uZJTRy#669)u}זL;x%!5TY=꽸ʃ3:/ݼ3^QKFRIA&هgjj6f z7"|ʤlyuũ2_ >{PgYZ `` =]% Approximation_AlgorithmsApproximation_Algorithms.Approx_LB_Hoaredocument.tex7zXZִF! :']A-MՋhvG"uIBm5=Iq_e}N&,yTE 'c(=edSh[hi `nz%WMMcHQ*nEB,U "1RisЪkUkvAsB˩@:IxQ\4@j7oR8ϧe]5R8Y Xnջ"kMt2ܑd/E&.=fl2u欭;KeSgj7 ma D[D` U4%b#:1􋋰+uMJDFx<=~S8D}V%Cˠ0ĭႠk!g3kH X{=* gpVWqaDz5m= :)DL ыk{=͌?x9Yd!'^"n񼴂 O:V}mKp^`i9I~'ߝ۽X1a8^.L 6L*TdHr,Mc`٣㴲zc;RY8vMնM%ayN،}u9jf9nUlB_ `b氣boDTFzc28]ySaxQ'gw2V^ N;a(nC`7R Xx Mj1Bͯ1[ooy)+L`xⴏgrxJe )֙Eq bM2'$3umѶOVqNtCK,Z>4Xv6s-lSD Hi!'!VUkTgDzleGvHȩ% g8h#Z` XL6tr~Ƽ'2?2Y، ʚWD$]!Z!VV3gmqɏMȳ說a 9.lѵQƿvwm,Ôg࿅T&ncj)mì&y2,c]ʁ טJe$*ށ|!2]ۨĽ׉0t^}jS+8saׂ2q>2aj (,*A $TAU@ "$ډ-e*J; }W5ﱀp6F0YZ+QҶv?2r/j؁э'Ł6il^&ZпƊ<ý>꧜ް/r[$tnAO2lK1;8B'%}lP @ OW}"?)g]d.!KH2`ղ%9u  1 PJ_H akٴ~k3`.%DDo$4<[\b$ 8"1NZ# PMZI 1W 7,?9xy݇g߳_)_~8lh7@[p3Fsف~`1/^ 7d!5Ou=93ɨam#e[# ]֫0\\ٛmP`)(Q!ؾ͜k*xUK$Ы /ړ|%岷&e8:݈k}mSvN߻Y]K= A6̘q&> ^"t쎧byi5%u@`Tzyٞ 6<`)@4fl%j?z,_!,8aMN!Vc\,ѧ/N:P!{z}^4Qoe?Rݵ QR 0 @; )j_KM-%7( (q\_sq4UF6Ȳz#f\%W%?whOmI BQr;h~2u_&ڄ'g`q' !d!E322;bW&(׸.gÒuZ; 5 Nt`t^i\vz>}YǗɓpU O3!&' F|GpV"Y`A|T:EjHLߔ^3#%;pÅF֡K|S uu܂ǰT Bv1"ռJ~+V.uJ UǪ~K1^y5 e^ 28䱣g'̙*gJ -)X[:]Dv6(Rz;&#;{EAnGBTVVjBokkg[|-/ Hb@ ΠKYEM@Y1sMU9 ZtV J^ ~$>nS6)F3?R7;v>uPs0-$` efjw%laAk\ը1ʁw5vؘwX]eoCͶY!Ezad~Gs q-nMx|'th5b0(mpU$HbBž'YAE7d`n:/L@4UzKEɜn Ը-MM4m|6aH_{;ˈT|B39Ͷ3Seʧ,ܵ\pZ'ķ⭉c1\j@e5.7(xc,7JY"W<]-,ڷE9j(bFŃL`aڑ7G/>?2Ϙ=򑯏Z#*9(>yK.%VP+1MrӺL3p_W6RzxF6GS0٬4_JK%Օub>aC*MBź%X!xw]^Cl*)?!(NDgӕS31$0`Y0GМ ?ME= tH!@p2~wOWnj=3.Y0@b#?_L .hRߟZrUaFk-aΤ\ FTgYZ4M'L n#Yb.hlj[, hhRL 쒯_ւZ J?Q~!Iy'M#c1fا-}ui3)9? :/ \PUQ(ԬȊVokC~1Q|Gbжop &鶳pGkT7S(hzAFq*mܘ>Q Slt#!bEgz㒌 95Y!Sl) 7Saע:5gz/'o&*9/٪V|\QIS{L +7Gjm] =UQHvǼOX ԢdUFO+Po=3F 3}yR _k?ᛷ Pح?"1 F\!Cڷ:l4\i8jhbNp^i.r`iLg[}ʼpI8b`+ r>~J=wPL{' g8FU<^ ^ Z%h+ȶ=Xڍb"҃vHRװ]9r誋2@Ovj+B7hl {`c"EDƍ{ G3 i)g]דGlX@Rڄ!EV5  Gx&=>͟RYAũ8+wsA3!Ccqis_O"k8t$l@l6zmΏfr4 1 L8 [.W[Ə*`UE_KKUP& r8y5͎胱i2?Ʃ%S D#{TˮlZڤ̀/ǧzl*zh,%AWGLy^6,Bx\D(¾~`J;~L4|enAj̪+U;JAXܞD LW&o6n)ÐnOR2uYƓqBkNWUMg@!y2;( G;A^j) RrԺBU+/ZٰZܦrl0"> (*n{=Ӛ+n&8T)yP X!]ulI]~:=! ҬH{f&GjYQ4{ӫ!-4Xe#"BSQ|Q] нmG^6uy0'2})y5Dn[? ]P:5yqf7^U44lJ:}Hw/X9._aVuNݫN5S `&\1IBC)d.KtI=GzI[0@'̤/4-{XD(TJ0WFFK*t,,ة = RMsnv$^@vmC[K5ۈNb+Fw#h)ª-8CjH8SV \|pRh|)#9^01@I-meJ'n/x[v0)qbG_,%]3ݶKnfVBUZ"(H?ۤ">VQҞ|zI}P$đ-!Ij.x/Ȝ^^a*(U".́mU^x>{He2~'߃'aK:G_Sn| መh;)s๞>>ACT]pd?+,.#U xuj~?js=hkӢ 'Q_h3,gQtѣ栎'ݏ_"|$ zXDL&f7<*);\shP% P}w4秽 EuW*8L n5Q~'3y)LU/R&."{֖H׶c.HɅ(<}cw?T6척o{P >F,M o,;9}>,ŸJ Gk8"4#juq{9wU(ˎ՛42xܥwmkmQFѵ;/3vK\[s \M5z&B`kM3Z;u[:N5FNW"U9Q'ﶀ@|0a`@̳ s>S)^Aoyk6/-!LNXH&qy/ڮⶴqXOxJwFݮ ) ul2M%5V.k/Ij8ZX~ *t$Rm}e:`an FRR gJZ &fH3#Q3"^< x .ҡ*(POZR9=y  q21fys:ZT/Q2}V*O~-3*5CH6[@D󶛷&EO =#n\o/0^X:I[w>ր"1VRUGD8GiF Vo!+7?#n z5'V $ĮT`n?J(BVR௛E&į?T&l1*Q i+"]Z}3Oe T>\ؕ,=C&D伨#K]"-npD RM_aZG>KyՖxHp Mto dr4س`ZB&k9Bj}Y4 iIwwH/<,e:]*`A,L|-/!=@ñ 1IS ?,A!!YS#q3ūPkGNYw2tjCDIhnF7kSUao(ѝUߨ8峡z Ƿ/# F}8MqAb!vUGy[xY󰂈0;7&B<›5 5$3S~1cKR=/caNq\}咾E|M%*`(E=)D(Rpq<ք£|]eY.vWGbkf zѭû+_xWnJҙ^k $>`/`y -!Q1?-BY8FtuFNO$4&qE1j஄9F%:@pVs_=A޴C3LxҞ7i9eɈ;J ůdM*+ `p"]u3!X,kF3u3(_\Пo'l>ZǗ:AjEή`ȏ. ;HNdε<]6́X0\^uN1za[ 7@U解[40s2)z$ʩn${xZlƱGOnؼ7Ǘg:mYrs`,C\݉AYՏUy[I2:rP+rGE1u,j޳!$ 4ażf&dc4o3I˂DP`H7 LzFV 'uJc];GO /=h6]tb!K1ms_nߢUu;I8u.=p m}nӓ\%9H@T`=3 OPb_OVE#Wym WT/'tFR}<  ?0?*G(,855qZ\duVV6U07iC8ޟ.'wN^28G CO5iP ')֡{ FUǂ;>GV$HhMW8pQp_P[P?+_ y_O&D(0no0 &0Awܢ>Bq yi@g~`EYv < O(5xأWX7k΋}k]fS(;5(Z҈U)EB>Q[T#:# )+Īnd!EcR~4:z4!*i}i?GI1ͫn<n^, ТwQd0=%AqgK]$PYJqRNVCftCչ Ř"JZ'"7iXcNTDN]IyI*x$G?`Ah>w @fQQC,#hic=p?Ju\^w!^Mֿ4G隣J ݼ&?:S"G0p }i4RK,`*QX`}<+ ȔWf_i?d3vnKE6Ln)tźE Vj`p ߽H F=qd*Uxr+BNfQNJ1Цj-;?M4 #NzQOsؙ̖:_]?VeHxoD6k.Ěe\Tny )PqoJD>A"oE\$}MS t3Ev9*a5/%={rxf)_?,X ) ZHʅiH>+*wq ;t`\: Tj,ڨ*hl*4RXgI) Cݓ?ƶ_>,Gcb~_֦=a *kIT_',;%b2G$޺o܋ei\c.ABe/.<~ћeyȊRMEFղ&a=Y[YBLahrG(X™j)buM(|588,qM^tk;Fg§: |"ZO8s@[)[H;HvGp!Җ}5shfSlMkK*lKg8ʏ]49QSz _ 9KG~0Tv[TjBL-Yfs=iGB6y;8`#1Y,a>Vyg BF/!TN|eu)% <,AAg!L@\$0mmyCg53Xh|I6rz>$MzˊM6~k#B7h0gWC u{=P➏~4M+W)飴Cg fxr5:7?e@5fhCeRB}YRd IϘ5$'`ם_HcrQ4g 32y󧔄xW(T-v?Y9K`FNG{ȃyAvU@T^.ӿB:X;SZkrTb3:iܘ v$ ٓMf&FhÉ}(9n˟^,Z\iQN~10@.o>t_QN'.߾ P-R\owMd.-lD4/,Zamyb;㈺hr>_ImUl%HppDZxy4+ #=SvZH|áF=1WÑlxi^ ;`)v0Boq;iFP"}c2<6֕m:8YϷu+s2}NU&ͩa1( t5$D`VBv-o FCk1 gleSU4%l_Z J]>j%R>n/|-Ysƚ~6k -+YȞ +QJ$$p pmQmHqK_(KI hF䡼Ob;d̄Ehh9K4z-̻t|X&|V)Y|MܫXރgl 5BSİ1GgFKuj_M&0m?d>GkD67 xo7Xi\}֝&ͳzY}SNtw+Q[br/"/cٌ&1Z揸#}VrZ bRo{vKgMakG2Rk}DmF(!_m< tLh`-adq5:.& vBs%JF-*ȕHpCca~z-oZs@nf(LjwGυ^>^m,yP,ՠYȟTc5& ?W ,ߓyBzU791;R&FdhQ&\?Wpu$\gv",%mmU,]%Q?>i&ޜtGJ^`c YVƘ%H0/ PTef]kT硐3+xwOl'S">ŌK߸,J7ceeК)fX 7՚3d}ep%kLX3'wھ,<);k=yHO'Yx1.=ЋIpGjȪG1'41GS^ Gţr-pi7;C-KA'lL.T\W3SpWZ8WC2 6%>ߥ_kqVsco/qߊn?!8v@tNJp[!]H6r#\mJY)ݤ( >MdgN)][f~c$))W^cAR$\W\9J&)N-'iiuxf/f5E f >SX#ŴGUI^*AS/<Ak~m~ %a4Џe3t$H<2i*.kRɁ$bFHKIS,;DZIv#zuw{d*iKFF7=O#;;s4l6F Eh+;>b>Z oªd.- U3{DH(( i\U* C[rܵ .Z8!ßl͉4lNb/@hy:VO(x uZg sM|#J l꾘0:McvpıogZ?Hݑ(xK?Xݳciw5 CwWݐVd[c^]FնOvGyJ^=QS!+``+ DàopƾYhvaè]o 'eSE!"%[%^$c:"Ǐ% ־ jH> q%S4=T6gdu~EPZj]\y6mˮ$ѽz(2J+W=Erf:hL|sJ EA>UfHmop-N:MԼ;{)'ZXi& ~/BhQavx~hĊ`f;b{i@GcPd@k:wيA۳f)O@yM+P`A|i}.O2:I W[=)&23xN*0Z ^RHKY+.ҏ|zwMOCw_CKDڍIBeN]S ]+Uy2NKu:\ }myhs g>}2*Ij+8m }uV 6`S YS?TW/qlcޜmߵ*+3=f6SB1qx SeR M K*Kw4aP\pweC~"G'4`f!Q <񷑬J;Ksw|h 88 u\( snV Ѹ,Ul[RPs_M({b_+*MI{-zJG0t'mGœT;ދ\7"RHAo闟+&? ,֋.@vfP<$SvjfX])!NLMs?O wk3 C4h4nWb)<v^t1ze8dOApq3e6e&%8#Lz/M㭝bG9 G~)>SIpmYRЯ,-PM*/~8 LByc)ҙ!!Iےn^`b+@ EZe[Ē<Ƨz6n)4钪'ova6|'pPf^?owc_p u$n dCz>Zcu4eނu'5@V p T.Snz’gPS( ɼsO# UFT1Gehdj=PDĉl!3rB6x%̄I1Q/n2B\}jV6Hfytby¼^\&r*Rɬffؠ c ߙ%+qHC⯯h=] x:Pcn_j} N@[+40N !klWlKM(6 |-;[ 尾-P#+$eEҴĮa =Oc^]י+Iԭ}r4ԕ<[,6{9l{c MB'}I ;lǑNS b/E*Ԕ^t=w@,-m@!/ۢWKc89FcDZ` 6r}b/ wo_/8z)+ߏǦO2g6MitCiN-'EjwJ\\Ldշ01Ju" ^.^U4A7k:vHD|w&+{0K*<-N/fcgte$3}$$f2ǍɎsziMr6B%FAHXm2\l2$, P4aLj+&nD7R#j2| tYp\>b'Q:o)Ns*筕D .4;۪SM/ =ߥ|t :0V˙n^HLUaȻ7h8')!lBX >P6p'Gw]#KUj9)J=`yLp*! UKr1'z=VF-^ 59Q4Emb _O(QHTg>x}"dx-#X(j;y4,? AulA3&,"HoZxbrC+F`tN3?(i/$a{ҔË0kx 'Kو"SɎ[r*w[jbWLL逇*wxw~ƨ-KJ#8>u=ޭX 5dhCl32XޠV6CvW-Ts& Rw}Zj_6Z]{LޔGu-[=O(b+uJl;&m}~%LQ(5`ex wZ/I.(H,u?ԁdHa֝cD h 'GJ䳡fDIkz[0"8@v[ W"sGk'>U W@u!P &*_@3 :W"##w %oi?*fE[:61/TF-đ~nyAk%讵 c_I}!:} dg\GPtNtUkSƁV˦gmETӒRz_TGqGI8B lŶw#OToKEANFṛ/•_{.|}}3VF F34=e7qKrN-.cm RJ4vƬa xR FXտz MbCO##6?XMG\geGiYx&fo$_@BP5d]/!Dl+;NX0XfQM\'@y+nނP+*49qfLmA<[ƲK& E $-Fw(>BRwrw$!STP)3` b.!9/ #l!KmFjaS߼&_~|Dy _jr3@ OB2)1ɷeQ iϚLf,T6\Gp8<XW#3hKqtȄiڵ!w[kUe#ĉjz 'RB 8"WYH9T LuPfqEbK$z>v XBVg! 7 DD27ȍj3!C!ʂ+n?ʁ I #~+rmYBeR7P 1mP4w;8NM+|@ Pj@t^Y?}?,ͨ:P$A}~vѧt umIfb7V22-ɴt sd"l²r{g`6*f@ʯ21$}wtSrP3\$ o rhg{V`ٜYQHZ!b:Rd3a0[ĩa!Wȓ6KP2o̢R_*{)r݆'厥HPi&[Y}j< D96e֐CQu:}f`\n$|$uhB ,ɒVk;T{;bh'yYn `2{H^#a H✖ Y'p>5}$ΐ|5a\ o59Im3K$+Ut5hw#S]gPb|| KeMrE]VU^^]H(wBmȧoh>15cLt  m©+C 1e(]w+\r2 @YuWN7md-1Y Ii 쏾tb#sv1rt-Vق/BUWH1YމsZܘZ]i7 ŏT:!|!}JIZO&Tr\"ԉJm/eDFJA *-v'VoKaau`Ț+Ƶ|5@܄'U Vc=C .a0>;aLX9 C`0{2a\AJahpyFɘRm>K˳A5HTd3(3n!hVӓ dij4@Ur8 #ĕ&QUN1Ge;j7v%eU`Ɓ֋6DL.T%W;~ol/b~VQܝrPDZL_Z>A(&}#.TdY v5~R?ssjD+Fx4Ykd4 s ]zoF;WBIxY֔ϒ]}TO|6pg"\G)"9L*zmѸkX{ 2FC'o/R׶k*Duש]k:ןclF6~0Cjn,j\XԄ=Bɔ"2T]Q8(#Ki0 sѨ2M5Z-YZvUQmQ7VcQu%=^ +Fۀ ZիP_%_ 1@z*%1a)3l]A{FE92<ٵgS&;hM"XE(QC`T\ca?9abAq[ }LA0 |x{EC, .S> 3-GVVxH? %TM#r[|HS:<&eg6P<s~Up4?:(0 .Go#ozohW&oT-5̽˸Ϙ^Gf.(P]p'FshcmGY:}$qRs)yC6`܌`WɶUu592k~}Z띅T=L}?'oB^/**{9LE"zRsccLuXp*9=M,7JonbbO‚Jb@&JchSu_J] /e 4 Oɨ+ߠA [Be n6嘕7#ቝ[(YeR162W 4t/Yɒ`eOS/03򔅬s~&v }F<%(bޅ\8LO AIyQ  A%|C.gОh1YmI!js26656 m0HB+*]q #9arƵqx$GDه0/o^v/ط}xd!1E;pn9d,PQGvrJ538Il`ӃIq8\bwi(/Y2t:#  _G9EVBZvi~@'I\+eJFNÉG8u`[n3vs4V +Vj$.0DkqiSGiL4 φ~߫4t'ԷQ&}؂9 ӡNΌoef1+-[>f{CHi񕞒ΰ]€U<p@f:kx^Exan;(c)UB0|/y)r!~2ל)smXpD?Sy4 xM}'4uSaJ4dv QLLqAV.qMƋńȁ.V53s:,Csb`_JH^҂-_^"NdzM:`[&0y.@u^?5Pt_Lfz#,415쌋B-Tc%E[ Zp\ZN`k.Fh|ꈬ921w[ + iǏn' k7=f3?L0_4/%7 %b4XѰ5W$T^Wɸ۹BB[?/Ziaݘ|A.}.𞜪Ys뫾00||6aW x#RJ+?6{{vo@͑}HN+F?Rz y0xT!訦ib wxiX/1#8TKV"٧!橈Ź?CQɸ =OwBE7AfuSqUT}+Ul @V"g*,4"Hu\ISh,2 Tl6(0a ݮhhϬRk?NsAoUx=93͊g20%H5F|agaiFc!^t^>Yo ؝J9sjGQ+=Օa՛ipvتM@S%VV9UցVi*,݂+\]'-rPk~tlZרdJ/٘Ϫ%Ttm9@0g$6TcTJ>&jVY!Vu>Pg,Gz*;:QQ' WўZ{V\yf@%rc?N' dOi%l^Yc|ۋk_Px|:Lڳ|ד-%%LM_~{;Hp9K{U&xIpOI/ ËDp-Xe$4N2n1m!wQYN &W?\fc@ܬ@tiio緺 q-8D"K?R?=\jQg ]|hΰaPryW4D_P(+F8- 8:z>!Ϸ #)5ZDpvv @meZ?hH4ܻ* jogVBY5,.Ũ(-_xT ͨhg2O?8`h=ALz{9A)&+V8CW2:(}B)\]t fwh#H1LdUE+"ψiP V(]Ha )a?oIO'F a~nq$6L.sRۅE'ggtIrre*XŨB*Fga$2WmżMq|X8 6MD['Efd={?#飦aO^sĀ8C7` p12м~33.pÕþbvtuE%虞_}?'NĖn:]m-5o3R4\GYȅ鮀 ٴw @OE. qyIY gx5؟)$WwȌљ&i5Kg{SFLI~L֬ ~x[[알b*QjCgﬧ_8&r58uf|xCs&'Ԛ (ktRH[o*dm$m' Lt*j%{ ܡD uf6}8I0 J7Q@ج~?R Rm1JG Ƴk&(E[hp"H &{&+O&Io?BRqea"Зzgќz1fLkmdG H1/t;՗(!9-@6_GU4? jAPŢ"zCG:L4JoTڜṉ/bR Y$QPan[ GO8J?:` i;2gYZ7zXZִF!  ]ŗXiɟ1˦r!cHkMeBde5Fd` W% q+<˄0GC3H_x5{fL?RmiHHdBgY> RE?89Ho_oPLdy)vB.^~45V5}p5 g֞{'IJ[ ۵:ee9UʛrGs'R"#5&z٠$Ռg5[>?.-][M٪b5 toxUj/4ֆ8fxNV xrAKs({W?8ɳ ޡ]]Ǭq(-1JMؗjO$ be<loa_24P8|DCRG0\$68o?R۠~q '@G4s)[xN6FFfdQhfM 4SnZTm ̶E6Fu,\ ׇl\?Z ܗg"_$nGJI5B!O3aƐ[ E\pcfeUX9g&\TaPp.'96ռyz\Cݽ"2qv~s5ؑݻX> L#/$ԗӥz[S;'&?˙Z àJrf#|LDŽԥE gF9) # g|d /eYMgNFG`W ƕ2a\JɋmduBX5ad8ؑ?2c,o {@g~(, = h{EŲu{ (mhŹ{0p¶>& hdhmv!I醚"FKRpeNW@FbǚMӑbeRa?6/9{g$Vu|rr!tFL:}&{:' |$w [7kmYw{s(>u/;[7ok$]wP}B7(݂ 30||v;%24^h|WX1 >>d ܳAt :;kda5jL;%% : ut5 grY'۸YwXVl#b<(~i6g'CO؀fSL8qg$U$j* _?fRK&qړ" #ڂJ8`-m*KɁ:3k1 #,?|Lڕ~Y%eev<)HΖtm Jh7t8<g "Ӿs]p\xOb^Pr/(K 5~4o\86KhNC˭6rNǮ c_UHE;;7]a9DTs o:;~,t@eadޓElhW$P;bcU Tf1: I@Xz*Dn_óa$͟?3죓fö>JFt+W`Bcu7M),PkYoWB"4|F: wahmݡL46$F<#H]TB~C4.e调,A79}RW}3S"yH+<)ڃ567XJm˙*8"|JwjJ U0͔n r8gM}ޠNLUm#n( Vaiplؾ0oVbq4|*m~yBzW}R.jd;Qȧ9=9#Krn7) N*mTt¥{h&xI7ސz@N׈iWiJ1I:c ȫEef<1 h*nwf+U=׾st@o\%e6< EWͳ'/iV/RZO`fFEB`5.ߊӮqQ|`3?D@ujLHD׈03wUa$aG b =c?TְOڸK9{&AciqXMF\GLsF3ׅIa+SyMr"Ph 04M! EWu􌕋pD1ͰY'BjTAU7[)=L|_/I| }vE ȏ ;PXUfF* 9RM݃qDXv70>q{^f2sW͍}b/k9%},r!,|\1 *2;MKO4)AMBnLVf%OE&>+xk|츓%7]0-yLjq{a,!0"L 8~xXcfa9tb%$ Զwю8zێHpw/wp$kc[EJ+4A 똗誓;tq@O~ xAC ef+Okod6a6HMf{%b ژdwN5E47Q>^sg8i Y2 *;({DH}ѓ`@?gp.%q0aW7Kp`We("tGv hNPZG'm%gH=Oh]>;l< BW8/Xxf%b0%r"("N`{e\ef(ZDNHhwU+UǼC&9%E+r7K{"47mJ %G <wXR hS!)"_R254%hK(~0+Df[+j9| y`[cxt8%&Rgy4 "9 1%d|ABMYswETU=M\)G^BJ3!7[n=ZFTW[Su9=f  ~ᖭ g\Kw$ezOk!ZX4˾L(:pLŮFv'@T%gYZdd1cab7e912c05776d79659d7356e041ffd2e723c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a