<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"> <head> <meta http-equiv=Content-Type content="text/html; charset=unicode"> <meta name=ProgId content=Word.Document> <meta name=Generator content="Microsoft Word 14"> <meta name=Originator content="Microsoft Word 14"> <link rel=File-List href="publications_files/filelist.xml"> <link rel=Edit-Time-Data href="publications_files/editdata.mso"> <!--[if !mso]> <style> v\:* {behavior:url(#default#VML);} o\:* {behavior:url(#default#VML);} w\:* {behavior:url(#default#VML);} .shape {behavior:url(#default#VML);} </style> <![endif]--> <title>Monika Henzinger</title> <!--[if gte mso 9]><xml> <o:DocumentProperties> <o:Author>Monka Henzinger</o:Author> <o:LastAuthor>Monka Henzinger</o:LastAuthor> <o:Revision>17</o:Revision> <o:TotalTime>21</o:TotalTime> <o:Created>2016-03-04T14:09:00Z</o:Created> <o:LastSaved>2017-06-28T11:26:00Z</o:LastSaved> <o:Pages>6</o:Pages> <o:Words>1797</o:Words> <o:Characters>19602</o:Characters> <o:Lines>163</o:Lines> <o:Paragraphs>42</o:Paragraphs> <o:CharactersWithSpaces>21357</o:CharactersWithSpaces> <o:Version>14.00</o:Version> </o:DocumentProperties> <o:OfficeDocumentSettings> <o:AllowPNG/> </o:OfficeDocumentSettings> </xml><![endif]--> <link rel=themeData href="publications_files/themedata.thmx"> <link rel=colorSchemeMapping href="publications_files/colorschememapping.xml"> <!--[if gte mso 9]><xml> <w:WordDocument> <w:Zoom>174</w:Zoom> <w:SpellingState>Clean</w:SpellingState> <w:GrammarState>Clean</w:GrammarState> <w:TrackMoves/> <w:TrackFormatting/> <w:ValidateAgainstSchemas/> <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid> <w:IgnoreMixedContent>false</w:IgnoreMixedContent> <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText> <w:DoNotPromoteQF/> <w:LidThemeOther>EN-US</w:LidThemeOther> <w:LidThemeAsian>X-NONE</w:LidThemeAsian> <w:LidThemeComplexScript>X-NONE</w:LidThemeComplexScript> <w:Compatibility> <w:BreakWrappedTables/> <w:SplitPgBreakAndParaMark/> </w:Compatibility> <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel> <m:mathPr> <m:mathFont m:val="Cambria Math"/> <m:brkBin m:val="before"/> <m:brkBinSub m:val="&#45;-"/> <m:smallFrac m:val="off"/> <m:dispDef/> <m:lMargin m:val="0"/> <m:rMargin m:val="0"/> <m:defJc m:val="centerGroup"/> <m:wrapIndent m:val="1440"/> <m:intLim m:val="subSup"/> <m:naryLim m:val="undOvr"/> </m:mathPr></w:WordDocument> </xml><![endif]--><!--[if gte mso 9]><xml> <w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="true" DefSemiHidden="true" DefQFormat="false" DefPriority="99" LatentStyleCount="267"> <w:LsdException Locked="false" Priority="0" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Normal"/> <w:LsdException Locked="false" Priority="9" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="heading 1"/> <w:LsdException Locked="false" Priority="9" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="heading 2"/> <w:LsdException Locked="false" Priority="9" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="heading 3"/> <w:LsdException Locked="false" Priority="9" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="heading 4"/> <w:LsdException Locked="false" Priority="9" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="heading 5"/> <w:LsdException Locked="false" Priority="9" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="heading 6"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 7"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 8"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 9"/> <w:LsdException Locked="false" Priority="39" Name="toc 1"/> <w:LsdException Locked="false" Priority="39" Name="toc 2"/> <w:LsdException Locked="false" Priority="39" Name="toc 3"/> <w:LsdException Locked="false" Priority="39" Name="toc 4"/> <w:LsdException Locked="false" Priority="39" Name="toc 5"/> <w:LsdException Locked="false" Priority="39" Name="toc 6"/> <w:LsdException Locked="false" Priority="39" Name="toc 7"/> <w:LsdException Locked="false" Priority="39" Name="toc 8"/> <w:LsdException Locked="false" Priority="39" Name="toc 9"/> <w:LsdException Locked="false" Priority="35" QFormat="true" Name="caption"/> <w:LsdException Locked="false" Priority="10" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Title"/> <w:LsdException Locked="false" Priority="1" Name="Default Paragraph Font"/> <w:LsdException Locked="false" Priority="11" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Subtitle"/> <w:LsdException Locked="false" Priority="22" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Strong"/> <w:LsdException Locked="false" Priority="20" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Emphasis"/> <w:LsdException Locked="false" Priority="59" SemiHidden="false" UnhideWhenUsed="false" Name="Table Grid"/> <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Placeholder Text"/> <w:LsdException Locked="false" Priority="1" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="No Spacing"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 1"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 1"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 1"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 1"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 1"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 1"/> <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Revision"/> <w:LsdException Locked="false" Priority="34" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="List Paragraph"/> <w:LsdException Locked="false" Priority="29" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Quote"/> <w:LsdException Locked="false" Priority="30" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Intense Quote"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 1"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 1"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 1"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 1"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 1"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 1"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 1"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 1"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 2"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 2"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 2"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 2"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 2"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 2"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 2"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 2"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 2"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 2"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 2"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 2"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 2"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 2"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 3"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 3"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 3"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 3"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 3"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 3"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 3"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 3"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 3"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 3"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 3"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 3"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 3"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 3"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 4"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 4"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 4"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 4"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 4"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 4"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 4"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 4"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 4"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 4"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 4"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 4"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 4"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 4"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 5"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 5"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 5"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 5"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 5"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 5"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 5"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 5"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 5"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 5"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 5"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 5"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 5"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 5"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 6"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 6"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 6"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 6"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 6"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 6"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 6"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 6"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 6"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 6"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 6"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 6"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 6"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 6"/> <w:LsdException Locked="false" Priority="19" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Subtle Emphasis"/> <w:LsdException Locked="false" Priority="21" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Intense Emphasis"/> <w:LsdException Locked="false" Priority="31" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Subtle Reference"/> <w:LsdException Locked="false" Priority="32" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Intense Reference"/> <w:LsdException Locked="false" Priority="33" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Book Title"/> <w:LsdException Locked="false" Priority="37" Name="Bibliography"/> <w:LsdException Locked="false" Priority="39" QFormat="true" Name="TOC Heading"/> </w:LatentStyles> </xml><![endif]--> <link rel=Stylesheet type="text/css" media=all href=style.css> <style> <!-- a:hover, a:focus { color: #000; } /* Font Definitions */ @font-face {font-family:Helvetica; panose-1:2 11 6 4 2 2 2 2 2 4; mso-font-charset:0; mso-generic-font-family:swiss; mso-font-pitch:variable; mso-font-signature:-536859905 -1073711037 9 0 511 0;} @font-face {font-family:"Cambria Math"; panose-1:2 4 5 3 5 4 6 3 2 4; mso-font-charset:1; mso-generic-font-family:roman; mso-font-format:other; mso-font-pitch:variable; mso-font-signature:0 0 0 0 0 0;} @font-face {font-family:Georgia; panose-1:2 4 5 2 5 4 5 2 3 3; mso-font-charset:0; mso-generic-font-family:roman; mso-font-pitch:variable; mso-font-signature:647 0 0 0 159 0;} @font-face {font-family:Consolas; panose-1:2 11 6 9 2 2 4 3 2 4; mso-font-charset:0; mso-generic-font-family:modern; mso-font-pitch:fixed; mso-font-signature:-520092929 1073806591 9 0 415 0;} /* Style Definitions */ p.MsoNormal, li.MsoNormal, div.MsoNormal {mso-style-unhide:no; mso-style-qformat:yes; mso-style-parent:""; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:0in; margin-left:0in; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} h1 {mso-style-priority:9; mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 1 Char"; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:11.25pt; margin-left:0in; mso-line-height-alt:15.6pt; mso-pagination:widow-orphan; mso-outline-level:1; font-size:33.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; font-weight:bold;} h2 {mso-style-priority:9; mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 2 Char"; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:11.25pt; margin-left:0in; mso-line-height-alt:15.6pt; mso-pagination:widow-orphan; mso-outline-level:2; font-size:22.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; font-weight:bold;} h3 {mso-style-priority:9; mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 3 Char"; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:11.25pt; margin-left:0in; mso-line-height-alt:15.6pt; mso-pagination:widow-orphan; mso-outline-level:3; font-size:18.5pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; font-weight:bold;} h4 {mso-style-priority:9; mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 4 Char"; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:11.25pt; margin-left:0in; mso-line-height-alt:15.6pt; mso-pagination:widow-orphan; mso-outline-level:4; font-size:16.5pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; font-weight:bold;} h5 {mso-style-priority:9; mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 5 Char"; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:11.25pt; margin-left:0in; line-height:15.6pt; mso-pagination:widow-orphan; mso-outline-level:5; font-size:15.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; font-weight:bold;} h6 {mso-style-priority:9; mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 6 Char"; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:11.25pt; margin-left:0in; line-height:15.6pt; mso-pagination:widow-orphan; mso-outline-level:6; font-size:13.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; font-weight:bold;} a:link, span.MsoHyperlink {mso-style-noshow:yes; mso-style-priority:99; color:#AE0010; mso-text-animation:none; text-decoration:none; text-underline:none; text-decoration:none; text-line-through:none;} a:visited, span.MsoHyperlinkFollowed {mso-style-noshow:yes; mso-style-priority:99; color:#AE0010; mso-text-animation:none; text-decoration:none; text-underline:none; text-decoration:none; text-line-through:none;} p {mso-style-noshow:yes; mso-style-priority:99; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} address {mso-style-noshow:yes; mso-style-priority:99; mso-style-link:"HTML Address Char"; margin:0in; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; font-style:italic;} code {mso-style-noshow:yes; mso-style-priority:99; font-family:"Courier New"; mso-ascii-font-family:"Courier New"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:"Courier New"; mso-bidi-font-family:"Courier New";} kbd {mso-style-noshow:yes; mso-style-priority:99; mso-ansi-font-size:12.0pt; mso-bidi-font-size:12.0pt; font-family:"Courier New"; mso-ascii-font-family:"Courier New"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:"Courier New"; mso-bidi-font-family:"Courier New";} pre {mso-style-noshow:yes; mso-style-priority:99; mso-style-link:"HTML Preformatted Char"; margin-top:0in; margin-right:0in; margin-bottom:20.3pt; margin-left:0in; line-height:20.3pt; mso-pagination:widow-orphan; tab-stops:45.8pt 91.6pt 137.4pt 183.2pt 229.0pt 274.8pt 320.6pt 366.4pt 412.2pt 458.0pt 503.8pt 549.6pt 595.4pt 641.2pt 687.0pt 732.8pt; background:#FFF1DD; border:none; mso-border-alt:solid #F6E4CC .75pt; padding:0in; mso-padding-alt:11.0pt 15.0pt 11.0pt 15.0pt; font-size:10.0pt; font-family:"Courier New"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} samp {mso-style-noshow:yes; mso-style-priority:99; font-family:"Courier New"; mso-ascii-font-family:"Courier New"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:"Courier New"; mso-bidi-font-family:"Courier New";} span.HTMLAddressChar {mso-style-name:"HTML Address Char"; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"HTML Address"; mso-ansi-font-size:12.0pt; mso-bidi-font-size:12.0pt; font-family:"Times New Roman","serif"; mso-ascii-font-family:"Times New Roman"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:"Times New Roman"; mso-bidi-font-family:"Times New Roman"; font-style:italic;} span.Heading1Char {mso-style-name:"Heading 1 Char"; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 1"; mso-ansi-font-size:14.0pt; mso-bidi-font-size:14.0pt; font-family:"Cambria","serif"; mso-ascii-font-family:Cambria; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:Cambria; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#365F91; mso-themecolor:accent1; mso-themeshade:191; font-weight:bold;} span.Heading2Char {mso-style-name:"Heading 2 Char"; mso-style-noshow:yes; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 2"; mso-ansi-font-size:13.0pt; mso-bidi-font-size:13.0pt; font-family:"Cambria","serif"; mso-ascii-font-family:Cambria; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:Cambria; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#4F81BD; mso-themecolor:accent1; font-weight:bold;} span.Heading3Char {mso-style-name:"Heading 3 Char"; mso-style-noshow:yes; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 3"; mso-ansi-font-size:12.0pt; mso-bidi-font-size:12.0pt; font-family:"Cambria","serif"; mso-ascii-font-family:Cambria; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:Cambria; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#4F81BD; mso-themecolor:accent1; font-weight:bold;} span.Heading4Char {mso-style-name:"Heading 4 Char"; mso-style-noshow:yes; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 4"; mso-ansi-font-size:12.0pt; mso-bidi-font-size:12.0pt; font-family:"Cambria","serif"; mso-ascii-font-family:Cambria; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:Cambria; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#4F81BD; mso-themecolor:accent1; font-weight:bold; font-style:italic;} span.Heading5Char {mso-style-name:"Heading 5 Char"; mso-style-noshow:yes; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 5"; mso-ansi-font-size:12.0pt; mso-bidi-font-size:12.0pt; font-family:"Cambria","serif"; mso-ascii-font-family:Cambria; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:Cambria; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#243F60; mso-themecolor:accent1; mso-themeshade:127;} span.Heading6Char {mso-style-name:"Heading 6 Char"; mso-style-noshow:yes; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 6"; mso-ansi-font-size:12.0pt; mso-bidi-font-size:12.0pt; font-family:"Cambria","serif"; mso-ascii-font-family:Cambria; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:Cambria; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#243F60; mso-themecolor:accent1; mso-themeshade:127; font-style:italic;} span.HTMLPreformattedChar {mso-style-name:"HTML Preformatted Char"; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"HTML Preformatted"; font-family:Consolas; mso-ascii-font-family:Consolas; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Consolas; mso-bidi-font-family:Consolas;} p.gallery, li.gallery, div.gallery {mso-style-name:gallery; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:0in; margin-left:0in; margin-bottom:.0001pt; text-align:center; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.left, li.left, div.left {mso-style-name:left; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:0in; margin-right:11.25pt; margin-bottom:3.75pt; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.alignleft, li.alignleft, div.alignleft {mso-style-name:alignleft; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:0in; margin-right:11.25pt; margin-bottom:3.75pt; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.right, li.right, div.right {mso-style-name:right; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:0in; margin-right:0in; margin-bottom:7.5pt; margin-left:18.75pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.alignright, li.alignright, div.alignright {mso-style-name:alignright; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:0in; margin-right:0in; margin-bottom:7.5pt; margin-left:18.75pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.center, li.center, div.center {mso-style-name:center; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.aligncenter, li.aligncenter, div.aligncenter {mso-style-name:aligncenter; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.block, li.block, div.block {mso-style-name:block; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.alignnone, li.alignnone, div.alignnone {mso-style-name:alignnone; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.clear, li.clear, div.clear {mso-style-name:clear; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.error, li.error, div.error {mso-style-name:error; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.wp-caption, li.wp-caption, div.wp-caption {mso-style-name:wp-caption; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; text-align:center; mso-pagination:widow-orphan; border:none; mso-border-alt:solid #E5E5E5 .75pt; padding:0in; mso-padding-alt:1.0pt 1.0pt 1.0pt 1.0pt; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.gallery-icon, li.gallery-icon, div.gallery-icon {mso-style-name:gallery-icon; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:0in; margin-left:0in; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.gallery-caption, li.gallery-caption, div.gallery-caption {mso-style-name:gallery-caption; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:2.25pt; margin-right:0in; margin-bottom:0in; margin-left:0in; margin-bottom:.0001pt; line-height:16.8pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.attachment-image, li.attachment-image, div.attachment-image {mso-style-name:attachment-image; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-0, li.col-0, div.col-0 {mso-style-name:col-0; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-1, li.col-1, div.col-1 {mso-style-name:col-1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-2, li.col-2, div.col-2 {mso-style-name:col-2; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-3, li.col-3, div.col-3 {mso-style-name:col-3; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-4, li.col-4, div.col-4 {mso-style-name:col-4; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-5, li.col-5, div.col-5 {mso-style-name:col-5; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-6, li.col-6, div.col-6 {mso-style-name:col-6; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-7, li.col-7, div.col-7 {mso-style-name:col-7; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-8, li.col-8, div.col-8 {mso-style-name:col-8; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-9, li.col-9, div.col-9 {mso-style-name:col-9; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-10, li.col-10, div.col-10 {mso-style-name:col-10; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-11, li.col-11, div.col-11 {mso-style-name:col-11; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-12, li.col-12, div.col-12 {mso-style-name:col-12; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-13, li.col-13, div.col-13 {mso-style-name:col-13; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-14, li.col-14, div.col-14 {mso-style-name:col-14; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-15, li.col-15, div.col-15 {mso-style-name:col-15; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-16, li.col-16, div.col-16 {mso-style-name:col-16; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-17, li.col-17, div.col-17 {mso-style-name:col-17; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-18, li.col-18, div.col-18 {mso-style-name:col-18; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-19, li.col-19, div.col-19 {mso-style-name:col-19; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-20, li.col-20, div.col-20 {mso-style-name:col-20; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-21, li.col-21, div.col-21 {mso-style-name:col-21; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-22, li.col-22, div.col-22 {mso-style-name:col-22; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-23, li.col-23, div.col-23 {mso-style-name:col-23; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-24, li.col-24, div.col-24 {mso-style-name:col-24; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-25, li.col-25, div.col-25 {mso-style-name:col-25; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-26, li.col-26, div.col-26 {mso-style-name:col-26; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-27, li.col-27, div.col-27 {mso-style-name:col-27; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-28, li.col-28, div.col-28 {mso-style-name:col-28; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-29, li.col-29, div.col-29 {mso-style-name:col-29; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.col-30, li.col-30, div.col-30 {mso-style-name:col-30; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.wrap, li.wrap, div.wrap {mso-style-name:wrap; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:0in; margin-left:0in; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.sf-sub-indicator, li.sf-sub-indicator, div.sf-sub-indicator {mso-style-name:sf-sub-indicator; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:3.75pt; text-indent:1253.6pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.breadcrumbs, li.breadcrumbs, div.breadcrumbs {mso-style-name:breadcrumbs; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:22.5pt; margin-left:0in; mso-pagination:widow-orphan; border:none; mso-border-top-alt:solid #E5E5E5 .75pt; mso-border-bottom-alt:solid #E5E5E5 .75pt; padding:0in; mso-padding-alt:0in 0in 0in 0in; font-size:10.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.breadcrumb-trail, li.breadcrumb-trail, div.breadcrumb-trail {mso-style-name:breadcrumb-trail; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.hentry, li.hentry, div.hentry {mso-style-name:hentry; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:15.0pt; margin-left:0in; mso-pagination:widow-orphan; border:none; mso-border-bottom-alt:solid #E5E5E5 .75pt; padding:0in; mso-padding-alt:0in 0in 4.0pt 0in; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.featured, li.featured, div.featured {mso-style-name:featured; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:15.0pt; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.byline, li.byline, div.byline {mso-style-name:byline; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:12.0pt; margin-left:0in; line-height:20.3pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; font-style:italic;} p.author, li.author, div.author {mso-style-name:author; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.published, li.published, div.published {mso-style-name:published; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.category, li.category, div.category {mso-style-name:category; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.edit, li.edit, div.edit {mso-style-name:edit; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.entry-meta, li.entry-meta, div.entry-meta {mso-style-name:entry-meta; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:18.75pt; margin-left:0in; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.page-links, li.page-links, div.page-links {mso-style-name:page-links; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; line-height:12.0pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.comment-navigation, li.comment-navigation, div.comment-navigation {mso-style-name:comment-navigation; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.comment-list, li.comment-list, div.comment-list {mso-style-name:comment-list; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:30.0pt; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.comment-meta, li.comment-meta, div.comment-meta {mso-style-name:comment-meta; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:7.5pt; margin-left:0in; line-height:20.3pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.comment-author, li.comment-author, div.comment-author {mso-style-name:comment-author; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:7.5pt; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.comments-closed, li.comments-closed, div.comments-closed {mso-style-name:comments-closed; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; background:whitesmoke; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.comment-content, li.comment-content, div.comment-content {mso-style-name:comment-content; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:48.75pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.button, li.button, div.button {mso-style-name:button; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; background:#AE0010; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.wpcf7-submit, li.wpcf7-submit, div.wpcf7-submit {mso-style-name:wpcf7-submit; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; background:#AE0010; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.wp-caption-text, li.wp-caption-text, div.wp-caption-text {mso-style-name:wp-caption-text; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.gallery-row, li.gallery-row, div.gallery-row {mso-style-name:gallery-row; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.gallery-item, li.gallery-item, div.gallery-item {mso-style-name:gallery-item; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.sticky-header, li.sticky-header, div.sticky-header {mso-style-name:sticky-header; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.entry-summary, li.entry-summary, div.entry-summary {mso-style-name:entry-summary; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.featured-thumbnail, li.featured-thumbnail, div.featured-thumbnail {mso-style-name:featured-thumbnail; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.thumbnail, li.thumbnail, div.thumbnail {mso-style-name:thumbnail; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.entry-title, li.entry-title, div.entry-title {mso-style-name:entry-title; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.comment-reply-link, li.comment-reply-link, div.comment-reply-link {mso-style-name:comment-reply-link; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.loop-nav, li.loop-nav, div.loop-nav {mso-style-name:loop-nav; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.page-numbers, li.page-numbers, div.page-numbers {mso-style-name:page-numbers; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.current, li.current, div.current {mso-style-name:current; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.widget, li.widget, div.widget {mso-style-name:widget; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.widget-title, li.widget-title, div.widget-title {mso-style-name:widget-title; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.avatar, li.avatar, div.avatar {mso-style-name:avatar; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.gsection, li.gsection, div.gsection {mso-style-name:gsection; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.gfieldlabel, li.gfieldlabel, div.gfieldlabel {mso-style-name:gfield_label; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.log-in-out, li.log-in-out, div.log-in-out {mso-style-name:log-in-out; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.button-primary, li.button-primary, div.button-primary {mso-style-name:button-primary; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.gfielddescription, li.gfielddescription, div.gfielddescription {mso-style-name:gfield_description; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.description, li.description, div.description {mso-style-name:description; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.gsectiondescription, li.gsectiondescription, div.gsectiondescription {mso-style-name:gsection_description; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.instruction, li.instruction, div.instruction {mso-style-name:instruction; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.alignright1, li.alignright1, div.alignright1 {mso-style-name:alignright1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:0in; margin-right:0in; margin-bottom:7.5pt; margin-left:18.75pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.wp-caption-text1, li.wp-caption-text1, div.wp-caption-text1 {mso-style-name:wp-caption-text1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:3.75pt; margin-right:0in; margin-bottom:3.75pt; margin-left:0in; line-height:12.0pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:#888888;} p.gallery-row1, li.gallery-row1, div.gallery-row1 {mso-style-name:gallery-row1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:0in; margin-left:0in; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.gallery-item1, li.gallery-item1, div.gallery-item1 {mso-style-name:gallery-item1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.gallery-caption1, li.gallery-caption1, div.gallery-caption1 {mso-style-name:gallery-caption1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:2.25pt; margin-right:0in; margin-bottom:0in; margin-left:0in; margin-bottom:.0001pt; line-height:16.8pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:#AAAAAA; display:none; mso-hide:all;} p.sf-sub-indicator1, li.sf-sub-indicator1, div.sf-sub-indicator1 {mso-style-name:sf-sub-indicator1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:0in; margin-right:5.25pt; margin-bottom:20.3pt; margin-left:3.75pt; text-indent:1253.6pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.hentry1, li.hentry1, div.hentry1 {mso-style-name:hentry1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:22.5pt; margin-left:0in; mso-pagination:widow-orphan; border:none; mso-border-bottom-alt:solid #E5E5E5 .75pt; padding:0in; mso-padding-alt:0in 0in 4.0pt 0in; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.sticky-header1, li.sticky-header1, div.sticky-header1 {mso-style-name:sticky-header1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.byline1, li.byline1, div.byline1 {mso-style-name:byline1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:12.0pt; margin-left:0in; line-height:20.3pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Georgia","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman"; color:#AAAAAA; font-style:italic;} p.entry-summary1, li.entry-summary1, div.entry-summary1 {mso-style-name:entry-summary1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; border:none; mso-border-left-alt:solid #E5E5E5 .75pt; padding:0in; mso-padding-alt:0in 0in 0in 14.0pt; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.featured-thumbnail1, li.featured-thumbnail1, div.featured-thumbnail1 {mso-style-name:featured-thumbnail1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:18.75pt; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.thumbnail1, li.thumbnail1, div.thumbnail1 {mso-style-name:thumbnail1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:2.25pt; margin-right:18.35pt; margin-bottom:15.0pt; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.entry-title1, li.entry-title1, div.entry-title1 {mso-style-name:entry-title1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:.1in; margin-left:0in; line-height:15.6pt; mso-pagination:widow-orphan; font-size:15.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:#333333; text-transform:uppercase;} p.entry-title2, li.entry-title2, div.entry-title2 {mso-style-name:entry-title2; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:7.5pt; margin-left:0in; mso-pagination:widow-orphan; font-size:22.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.entry-title3, li.entry-title3, div.entry-title3 {mso-style-name:entry-title3; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:.2in; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:#CCCCCC;} p.entry-title4, li.entry-title4, div.entry-title4 {mso-style-name:entry-title4; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:.2in; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.byline2, li.byline2, div.byline2 {mso-style-name:byline2; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:20.4pt; margin-left:0in; line-height:20.3pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Georgia","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman"; color:#AAAAAA; font-style:italic;} p.published1, li.published1, div.published1 {mso-style-name:published1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Georgia","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman"; font-style:italic;} p.edit1, li.edit1, div.edit1 {mso-style-name:edit1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Georgia","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman"; font-style:italic;} p.comment-reply-link1, li.comment-reply-link1, div.comment-reply-link1 {mso-style-name:comment-reply-link1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Georgia","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman"; font-style:italic;} p.loop-nav1, li.loop-nav1, div.loop-nav1 {mso-style-name:loop-nav1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:#888888;} p.page-links1, li.page-links1, div.page-links1 {mso-style-name:page-links1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:12.0pt; margin-left:0in; line-height:12.0pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:#AAAAAA;} p.page-numbers1, li.page-numbers1, div.page-numbers1 {mso-style-name:page-numbers1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:0in; margin-left:0in; margin-bottom:.0001pt; line-height:12.0pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:#444444;} p.page-numbers2, li.page-numbers2, div.page-numbers2 {mso-style-name:page-numbers2; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:0in; margin-left:0in; margin-bottom:.0001pt; line-height:12.0pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:#444444;} p.current1, li.current1, div.current1 {mso-style-name:current1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:#AAAAAA;} p.current2, li.current2, div.current2 {mso-style-name:current2; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:#AAAAAA;} p.widget1, li.widget1, div.widget1 {mso-style-name:widget1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:19.5pt; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:#888888;} p.widget-title1, li.widget-title1, div.widget-title1 {mso-style-name:widget-title1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:9.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:#AAAAAA; text-transform:uppercase; letter-spacing:.75pt;} p.avatar1, li.avatar1, div.avatar1 {mso-style-name:avatar1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:0in; margin-right:11.25pt; margin-bottom:7.5pt; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.log-in-out1, li.log-in-out1, div.log-in-out1 {mso-style-name:log-in-out1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:0in; margin-left:0in; margin-bottom:.0001pt; line-height:12.0pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:#888888;} p.widget2, li.widget2, div.widget2 {mso-style-name:widget2; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:0in; margin-right:18.35pt; margin-bottom:15.0pt; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.button-primary1, li.button-primary1, div.button-primary1 {mso-style-name:button-primary1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; background:#AE0010; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:white;} p.button-primary2, li.button-primary2, div.button-primary2 {mso-style-name:button-primary2; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; background:#222222; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:white;} p.gfieldlabel1, li.gfieldlabel1, div.gfieldlabel1 {mso-style-name:gfield_label1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; margin-bottom:3.75pt; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.gsection1, li.gsection1, div.gsection1 {mso-style-name:gsection1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:30.0pt; margin-right:0in; margin-bottom:15.0pt; margin-left:0in; mso-pagination:widow-orphan; border:none; mso-border-bottom-alt:solid #E9E9E9 .75pt; padding:0in; mso-padding-alt:0in 0in 0in 0in; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.gfielddescription1, li.gfielddescription1, div.gfielddescription1 {mso-style-name:gfield_description1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Georgia","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman"; color:#AAAAAA;} p.description1, li.description1, div.description1 {mso-style-name:description1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Georgia","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman";} p.gsectiondescription1, li.gsectiondescription1, div.gsectiondescription1 {mso-style-name:gsection_description1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Georgia","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman";} p.instruction1, li.instruction1, div.instruction1 {mso-style-name:instruction1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Georgia","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman";} span.required1 {mso-style-name:required1; mso-style-unhide:no; mso-ansi-font-size:12.0pt; mso-bidi-font-size:12.0pt; color:black; font-weight:bold;} span.SpellE {mso-style-name:""; mso-spl-e:yes;} span.GramE {mso-style-name:""; mso-gram-e:yes;} .MsoChpDefault {mso-style-type:export-only; mso-default-props:yes; font-size:10.0pt; mso-ansi-font-size:10.0pt; mso-bidi-font-size:10.0pt;} @page WordSection1 {size:8.5in 11.0in; margin:1.0in 1.0in 1.0in 1.0in; mso-header-margin:.5in; mso-footer-margin:.5in; mso-paper-source:0;} div.WordSection1 {page:WordSection1;} /* List Definitions */ @list l0 {mso-list-id:1228108518; mso-list-template-ids:1336436708;} @list l0:level1 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level2 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level3 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level4 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level5 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level6 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level7 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level8 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level9 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1 {mso-list-id:1508401685; mso-list-template-ids:644930826;} @list l1:level1 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level2 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level3 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level4 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level5 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level6 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level7 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level8 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level9 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} ol {margin-bottom:0in;} ul {margin-bottom:0in;} --> </style> <!--[if gte mso 10]> <style> /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif";} </style> <![endif]--> <meta http-equiv=X-UA-Compatible content="IE=edge,chrome=1"> <!-- Mobile viewport optimized --> <meta name=viewport content="width=device-width,initial-scale=1"> <!-- Title --><!-- Stylesheet --> <link rel=profile href="http://gmpg.org/xfn/11"> <!-- WP Head --> <meta name=template content="Origin 0.4"> <!-- Style settings --><!--[if gte mso 9]><xml> <o:shapedefaults v:ext="edit" spidmax="1026"/> </xml><![endif]--><!--[if gte mso 9]><xml> <o:shapelayout v:ext="edit"> <o:idmap v:ext="edit" data="1"/> </o:shapelayout></xml><![endif]--> </head> <body bgcolor=white lang=EN-US link="#AE0010" vlink="#AE0010" style='tab-interval: .5in'> <div class=WordSection1> <p class=MsoNormal style='mso-line-height-alt:12.0pt'><b><span style='font-size:24.5pt;font-family:"Helvetica","sans-serif";mso-fareast-font-family: "Times New Roman";color:#555555;text-transform:uppercase;letter-spacing:-1.5pt'>Monika Henzinger<o:p></o:p></span></b></p> <!-- #branding --> <div style='margin-top:22.5pt;margin-bottom:9.0pt' id=menu-primary> <div> <p class=MsoNormal style='mso-margin-bottom-alt:auto;margin-left:0in; text-indent:-.25in;line-height:25.2pt;mso-list:l1 level1 lfo2;tab-stops:list .5in'><![if !supportLists]><span style='font-size:10.0pt;mso-bidi-font-size:10.5pt;font-family:Symbol; mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;color:#555555'><span style='mso-list:Ignore'><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#555555'><a href="index.html"><span style='font-size:9.0pt;text-transform:uppercase'>About me</span></a><o:p></o:p></span></p> <p class=MsoNormal style='mso-margin-bottom-alt:auto;margin-left:0in; text-indent:-.25in;line-height:25.2pt;mso-list:l1 level1 lfo2;tab-stops:list .5in'><![if !supportLists]><span style='font-size:10.0pt;mso-bidi-font-size:10.5pt;font-family:Symbol; mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;color:#555555'><span style='mso-list:Ignore'><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#555555'><a href="publications.html"><span style='font-size:9.0pt;text-transform:uppercase'>Publications</span></a><o:p></o:p></span></p> <p class=MsoNormal style='mso-margin-bottom-alt:auto;margin-left:0in; text-indent:-.25in;line-height:25.2pt;mso-list:l1 level1 lfo2;tab-stops:list .5in'><![if !supportLists]><span style='font-size:10.0pt;mso-bidi-font-size:10.5pt;font-family:Symbol; mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;color:#555555'><span style='mso-list:Ignore'><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#555555'><a href="contact.html"><span style='font-size:9.0pt;text-transform:uppercase'>Contact</span></a><o:p></o:p></span></p> </div> </div> <!-- #menu-primary .menu-container --> <div style='border:none;border-top:solid #444444 4.5pt;padding:14.0pt 0in 0in 0in' id=site-description> <p class=MsoNormal align=center style='text-align:center;mso-line-height-alt: 18.0pt'><span style='font-size:19.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#333333'>Publications (as of February 2017)<o:p></o:p></span></p> </div> <div itemprop=breadcrumb> <p class=MsoNormal style='line-height:20.3pt'><span class=trail-begin><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";mso-fareast-font-family: "Times New Roman";color:#555555'><a href="index.html" title="Monika Henzinger">Home</a></span></span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";mso-fareast-font-family: "Times New Roman";color:#555555'> <span class=sep><span style='font-family: "Helvetica","sans-serif"'></span></span> <span class=trail-end><span style='font-family:"Helvetica","sans-serif"'>Publications</span></span><o:p></o:p></span></p> </div> <!-- #header --> <div id=main> <div style='margin-bottom:22.5pt' id=content> <div> <div style='border:none;border-bottom:solid #E5E5E5 1.0pt;mso-border-bottom-alt: solid #E5E5E5 .75pt;padding:0in 0in 4.0pt 0in;margin-bottom:15.0pt' id=post-5> <div> <p class=MsoNormal style='line-height:20.3pt'><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";mso-fareast-font-family:"Times New Roman"; color:#555555'>Below is a list of recent <a href="#conf">conference</a> and <a href="#journ">journal publications</a> (since 2011). For a complete list see <a href="http://www.informatik.uni-trier.de/~ley/pers/hd/h/Henzinger:Monika_Rauch.html" target="_blank_">DBLP</a>. To download (most of) these papers go to the <a href="https://eprints.cs.univie.ac.at/view/creators/Henzinger=3AMonika=3A=3A.html">Eprints Server at the University of Vienna.</a> Here they are grouped into the following topics: <o:p></o:p></span></p> <p class=MsoNormal style='mso-margin-bottom-alt:auto;margin-left:33.6pt; text-indent:-.25in;line-height:25.2pt;mso-list:l0 level1 lfo4;tab-stops:list .5in'><![if !supportLists]><span style='font-size:10.0pt;mso-bidi-font-size:10.5pt;font-family:Symbol; mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;color:#555555'><span style='mso-list:Ignore'><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#555555'><a href="#dyn">Dynamic graph algorithms</a><o:p></o:p></span></p> <p class=MsoNormal style='mso-margin-bottom-alt:auto;margin-left:33.6pt; text-indent:-.25in;line-height:25.2pt;mso-list:l0 level1 lfo4;tab-stops:list .5in'><![if !supportLists]><span style='font-size:10.0pt;mso-bidi-font-size:10.5pt;font-family:Symbol; mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;color:#555555'><span style='mso-list:Ignore'><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#555555'><a href="#static">Static graph algorithms</a><o:p></o:p></span></p> <p class=MsoNormal style='mso-margin-bottom-alt:auto;margin-left:33.6pt; text-indent:-.25in;line-height:25.2pt;mso-list:l0 level1 lfo4;tab-stops:list .5in'><![if !supportLists]><span style='font-size:10.0pt;mso-bidi-font-size:10.5pt;font-family:Symbol; mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;color:#555555'><span style='mso-list:Ignore'><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#555555'><a href="#approx">Approximation and online algorithms</a><o:p></o:p></span></p> <p class=MsoNormal style='mso-margin-bottom-alt:auto;margin-left:33.6pt; text-indent:-.25in;line-height:25.2pt;mso-list:l0 level1 lfo4;tab-stops:list .5in'><![if !supportLists]><span style='font-size:10.0pt;mso-bidi-font-size:10.5pt;font-family:Symbol; mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;color:#555555'><span style='mso-list:Ignore'><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#555555'><a href="#dist">Distributed graph algorithms</a><o:p></o:p></span></p> <p class=MsoNormal style='mso-margin-bottom-alt:auto;margin-left:33.6pt; text-indent:-.25in;line-height:25.2pt;mso-list:l0 level1 lfo4;tab-stops:list .5in'><![if !supportLists]><span style='font-size:10.0pt;mso-bidi-font-size:10.5pt;font-family:Symbol; mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;color:#555555'><span style='mso-list:Ignore'><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#555555'><a href="#games">Algorithms for problems in MDPs and game graphs with applications to computer verification</a><o:p></o:p></span></p> <p class=MsoNormal style='mso-margin-bottom-alt:auto;margin-left:33.6pt; text-indent:-.25in;line-height:25.2pt;mso-list:l0 level1 lfo4;tab-stops:list .5in'><![if !supportLists]><span style='font-size:10.0pt;mso-bidi-font-size:10.5pt;font-family:Symbol; mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;color:#555555'><span style='mso-list:Ignore'><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#555555'><a href="#mech">Algorithmic mechanism design</a><o:p></o:p></span></p> <div style='margin-top:12.0pt;margin-bottom:20.3pt'> <div class=MsoNormal align=center style='margin-top:0in;text-align:center; line-height:20.3pt'><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#555555'> <hr size=1 width="100%" align=center> </span></div> </div> <p class=MsoNormal style='margin-bottom:11.25pt;mso-line-height-alt:15.6pt; mso-outline-level:3'><a name=conf></a><span style='font-size:19.5pt;font-family: "Helvetica","sans-serif";mso-fareast-font-family:"Times New Roman";color:#333333'>Conference publications since 2009<o:p></o:p></span></p> <p class=MsoNormal style='margin-bottom:11.25pt;line-height:15.6pt;mso-outline-level: 5'><a name=dyn></a><span style='font-size:14.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#333333'>Dynamic graph algorithms<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Deterministic Fully Dynamic Approximate Vertex Cover and Fractional Matching in <span class=GramE>O(</span>1) Amortized Update Time</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'><br> <span class=SpellE>Sayan</span> Bhattacharya, <span class=SpellE>Deeparnab</span> <span class=SpellE>Chakrabarty</span>, and Monika <span class=SpellE>Henzinger</span>. <span class=GramE>19<sup>th</sup> International Conference on Integer Programming and Combinatorial <span class=SpellE>Opimization</span> (IPCO 17), 2017.</span><o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Fully Dynamic Approximate Maximum Matching and Minimum Vertex Cover in O(log<sup>3</sup>n) Worst Case Update Time</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> <span class=SpellE>Sayan</span> Bhattacharya, Monika <span class=SpellE>Henzinger</span>, and <span class=SpellE>Danupon</span> <span class=SpellE>Nanongkai</span>. 28<sup>th</sup> ACM SIAM Symposium on Discrete Algorithms (SODA 17), 2017, 470-489.<o:p></o:p></span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Incremental Exact Min-Cut in Poly-logarithmic Amortized Update Time.</span></strong></span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> <span class=GramE>Gramoz Goranci, Monika Henzinger, and Mikkel Thorup.</span> <span class=GramE>24th Annual European Symposium on Algorithms (ESA 16), 2016.</span> </span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Incremental and Fully Dynamic Sugraph Connectivity for Emergency Planning</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> Monika Henzinger and Stefan Neumann.</span></span><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";color:#555555'> <span class=GramE>24th Annual European Symposium on Algorithms (ESA 16), 2016.</span> </span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>New Deterministic Approximation Algorithms for Fully Dynamic Matching.</span></strong></span><strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'> </span></strong><span class=SpellE></br><span class=GramE><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Sayan</span></span></span><span class=GramE><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'> Bhattacharya, Monika <span class=SpellE>Henzinger</span>, and <span class=SpellE>Danupon</span> <span class=SpellE>Nanongkai</span>.</span></span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'> <span class=GramE>Proc. 48th ACM Symposium on Theory of Computing (STOC 16), 2016.</span><o:p></o:p></span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Design of Dynamic Algorithms via Primal-Dual Method.</span></strong></span><strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'> </span></strong><span class=SpellE></br><span class=GramE><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Sayan</span></span></span><span class=GramE><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'> Bhattacharya, Monika <span class=SpellE>Henzinger</span>, and Giuseppe F. <span class=SpellE>Italiano</span>.</span></span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'> 42nd International Colloquium on Automata, Languages and Programming (ICALP 15), 2015, 206-218. <o:p></o:p></span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Improved Algorithms for <span class=SpellE>Decremental</span> Single-Source Reachability on Directed Graphs.</span></strong></span><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";color:#555555'><br> <span class=GramE>Monika <span class=SpellE>Henzinger</span>, Sebastian <span class=SpellE>Krinninger</span>, and <span class=SpellE>Danupon</span> <span class=SpellE>Nanongkai</span>.</span> 42nd International Colloquium on Automata, Languages and Programming (ICALP 15), 2015, 725-736. [<a href="http://eprints.cs.univie.ac.at/4393/1/improved_decremental_SSR.pdf" target="_blank_">.pdf</a>] <o:p></o:p></span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Unifying and Strengthening Hardness for Dynamic Problems via an Online Matrix-Vector Multiplication Conjecture.</span></strong></span><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";color:#555555'><br> <span class=GramE>Monika <span class=SpellE>Henzinger</span>, Sebastian <span class=SpellE>Krinninger</span>, <span class=SpellE>Danupon</span> <span class=SpellE>Nanongkai</span>, and <span class=SpellE>Thatchaphol</span> <span class=SpellE>Saranurak</span>.</span> <span class=GramE>Proc. 47th ACM Symposium on Theory of Computing (STOC 15), 2015, 21-30.</span> [<a href="http://eprints.cs.univie.ac.at/4351/1/OMv_conjecture.pdf" target="_blank_">.pdf</a>] <o:p></o:p></span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Space- and Time-Efficient Algorithm for Maintaining Dense Subgraphs on One-Pass Dynamic Streams.</span></strong></span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'><br> <span class=SpellE><span class=GramE>Sayan</span></span><span class=GramE> Bhattacharya, Monika <span class=SpellE>Henzinger</span>, <span class=SpellE>Danupon</span> <span class=SpellE>Nanongkai</span>, and <span class=SpellE>Charalampos</span> E. <span class=SpellE>Tsourakakis</span>.</span> <span class=GramE>47th ACM Symposium on Theory of Computing (STOC 15), 2015, 173-182.</span> [<a href="http://arxiv.org/pdf/1504.02268.pdf" target="_blank_">.pdf</a>] <o:p></o:p></span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching.</span></strong></span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> <span class=SpellE><span class=GramE>Sayan</span></span><span class=GramE> Bhattacharya, Monika <span class=SpellE>Henzinger</span>, and <span class=SpellE>Guiseppe</span> <span class=SpellE>Italiano</span>.</span><br> 25th ACM SIAM Symposium on Discrete Algorithms (SODA 15), 2015, 785-804. [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/4157/" target="_blank_">.pdf</a>] <o:p></o:p></span></p> <p style='line-height:20.3pt'><span class=SpellE><strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Decremental</span></strong></span><strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'> Single-Source Shortest Paths on Undirected Graphs in Near-Linear Total Update Time </span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'><br> Monika <span class=SpellE>Henzinger</span>, Sebastian <span class=SpellE>Krinninger</span>, and <span class=SpellE>Danupon</span> <span class=SpellE>Nanongkai</span><br> 55th Annual IEEE Symposium on Foundations of Computer Science (FOCS 14), Philadelphia, USA, 2014. [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/4104/" target="_blank_">.pdf</a>] <o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Sublinear-Time <span class=SpellE>Decremental</span> Algorithms for Single-Source Reachability and Shortest Paths on Directed Graphs </span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'><br> Monika <span class=SpellE>Henzinger</span>, Sebastian <span class=SpellE>Krinninger</span>, and <span class=SpellE>Danupon</span> <span class=SpellE>Nanongkai</span><br> ACM Symposium on Theory of Computing (STOC 14), New York USA, 2014. [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/4042/" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>A <span class=SpellE>Subquadratic</span>-Time Algorithm for Dynamic Single-Source Shortest Paths </span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> Monika <span class=SpellE>Henzinger</span>, Sebastian <span class=SpellE>Krinninger</span>, and <span class=SpellE>Danupon</span> <span class=SpellE>Nanongkai</span><br> ACM Symposium on Discrete Algorithms (SODA 14), Portland, USA, 2014. [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/3785/" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Dynamic Approximate All-Pairs Shortest Paths: Breaking the <span class=GramE>O(</span><span class=SpellE>mn</span>) Barrier and <span class=SpellE>Derandomization</span> </span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> Monika <span class=SpellE>Henzinger</span>, Sebastian <span class=SpellE>Krinninger</span>, and <span class=SpellE>Danupon</span> <span class=SpellE>Nanongkai</span><br> 54th Annual IEEE Symposium on Foundations of Computer Science (FOCS 13), Berkeley, USA, 2013. [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/3747/" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Sublinear-Time Maintenance of Breadth-First Spanning Tree in Partially Dynamic Networks </span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> Monika <span class=SpellE>Henzinger</span>, Sebastian <span class=SpellE>Krinninger</span>, and <span class=SpellE>Danupon</span> <span class=SpellE>Nanongkai</span><br> 40th International Colloquium on Automata, Languages and Programming (ICALP 13), Riga, Latvia, 2013. [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/3707/" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <div style='margin-top:12.0pt;margin-bottom:20.3pt'> <div class=MsoNormal align=center style='margin-top:0in;text-align:center; line-height:20.3pt'><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#555555'> <hr size=1 width="100%" align=center> </span></div> </div> <p class=MsoNormal style='margin-bottom:11.25pt;line-height:15.6pt;mso-outline-level: 5'><a name=static></a><span style='font-size:14.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#333333'>Static graph algorithms<o:p></o:p></span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Local Flow Partitioning for Faster Edge Connectivity.</span></strong></span><b><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> </span></b><span class=GramE><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'>Monika <span class=SpellE>Henzinger</span>, Satish Rao, and Di Wang.</span></span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'> 28<sup>th</sup> ACM SIAM Symposium on Discrete Algorithms (SODA 17), 2017, 1919-1938.<b><o:p></o:p></b></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time.</span></strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> <span class=GramE>Monika <span class=SpellE>Henzinger</span>, Sebastian <span class=SpellE>Krinninger</span>, and Veronika <span class=SpellE>Loitzenbauer</span>.</span> 42nd International Colloquium on Automata, Languages and Programming (ICALP 15), 2015, 713-724. [<a href="http://eprints.cs.univie.ac.at/4369/1/2sccs.pdf" arget="_blank_">.pdf</a>]<o:p></o:p></span></p> <div style='margin-top:12.0pt;margin-bottom:20.3pt'> <div class=MsoNormal align=center style='margin-top:0in;text-align:center; line-height:20.3pt'><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#555555'> <hr size=1 width="100%" align=center> </span></div> </div> <p class=MsoNormal style='margin-bottom:11.25pt;line-height:15.6pt;mso-outline-level: 5'><a name=approx></a><span style='font-size:14.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#333333'>Approximation and Online Algorithms<o:p></o:p></span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Welfare Maximization with Friends-of-Friends Network Externalities.</span></strong></span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> <span class=SpellE><span class=GramE>Sayan</span></span><span class=GramE> Bhattacharya, Wolfgang Dvorak, Monika <span class=SpellE>Henzinger</span>, and Martin <span class=SpellE>Starnberger</span>.</span><br> <span class=GramE>32nd Symposium on Theoretical Aspects of Computer Science (STACS), 2015.</span> [<a href="http://eprints.cs.univie.ac.at/4240/1/paper-full.pdf" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Limiting Price Discrimination when Selling Products with Positive Network Externalities.</span></strong></span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> <span class=SpellE><span class=GramE>Ludek</span></span><span class=GramE> Cigler, Wolfgang Dvorak, Monika <span class=SpellE>Henzinger</span>, and Martin <span class=SpellE>Starnberger</span>.</span><br> Proc<span class=GramE>.~</span>10th Conference on Web and Internet Economics (WINE), 2014, 44-57. [<a href="http://eprints.cs.univie.ac.at/4142/1/wine14_full.pdf" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Online Bipartite Matching with Decomposable Weights</span></strong><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";color:#555555'><br> Moses <span class=SpellE>Charikar</span>, Monika <span class=SpellE>Henzinger</span>, and <span class=SpellE>Huy</span> Nguyen.</span></span><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'> <span class=GramE>22th Annual European Symposium on Algorithms (ESA 14), Wroclaw, Poland, 2014.</span> [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/4075/" target="_blank_">.pdf</a>] [<a href="http://www.cs.princeton.edu/~hlnguyen/papers/matching.pdf">Full version .pdf]</a><o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Approximating the Cycle Mean</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> <span class=SpellE>Krishnendu</span> Chatterjee, Monika <span class=SpellE>Henzinger</span>, Sebastian <span class=SpellE>Krinninger</span>, and Veronika <span class=SpellE>Loitzenbauer</span>. Fourth International <span class=SpellE>Symposion</span> on Games, Automata, Logics and Formal Verification (GandALF 13), <span class=SpellE>Borca</span> di <span class=SpellE>Cadore</span>, Italy, 2013. [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/3735/" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Maximizing a Submodular Function with Viability Constraints</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> Wolfgang Dvorak, Monika <span class=SpellE>Henzinger</span>, and David Williamson.</span></span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'> 21st Annual European Symposium on Algorithms (ESA 13), Sophia Antipolis, France, 2013. [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/3736/" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <div style='margin-top:12.0pt;margin-bottom:20.3pt'> <div class=MsoNormal align=center style='margin-top:0in;text-align:center; line-height:20.3pt'><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#555555'> <hr size=1 width="100%" align=center> </span></div> </div> <p class=MsoNormal style='margin-bottom:11.25pt;line-height:15.6pt;mso-outline-level: 5'><a name=dist></a><span style='font-size:14.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#333333'>Distributed graph algorithms<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>A Deterministic Almost-Tight Distributed Algorithm for Approximating <span class=SpellE>Single_Source</span> Shortest Paths. </span></strong></br><span class=GramE><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Monika <span class=SpellE>Henzinger</span>, Sebastian <span class=SpellE>Krinninger</span>, and <span class=SpellE>Danupon</span> <span class=SpellE>Nanongkai</span>.</span></span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'> <span class=GramE>Proc. 48th ACM Symposium on Theory of Computing (STOC 16), 2016.</span><o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Sublinear-Time Maintenance of Breadth-First Spanning Tree in Partially Dynamic Networks </span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> Monika <span class=SpellE>Henzinger</span>, Sebastian <span class=SpellE>Krinninger</span>, and <span class=SpellE>Danupon</span> <span class=SpellE>Nanongkai</span><br> 40th International Colloquium on Automata, Languages and Programming (ICALP 13), Riga, Latvia, 2013. [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/3707/" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <div style='margin-top:12.0pt;margin-bottom:20.3pt'> <div class=MsoNormal align=center style='margin-top:0in;text-align:center; line-height:20.3pt'><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#555555'> <hr size=1 width="100%" align=center> </span></div> </div> <p class=MsoNormal style='margin-bottom:11.25pt;line-height:15.6pt;mso-outline-level: 5'><a name=games></a><span style='font-size:14.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#333333'>Algorithms for MDPs and Game Graph Game<o:p></o:p></span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Conditionally Optimal Algorithms for Generalized <span class=SpellE>Buchi</span> Games <span class=SpellE>Streett</span> Objectives</span></strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> <span class=SpellE>Krishnendu</span> Chatterjee, Wolfgang Dvorak, Monika <span class=SpellE>Henzinger</span>, and Veronika <span class=SpellE>Loitzenbauer</span>.</span></span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> <span class=GramE>41st Symposium on Mathematical Foundations of Computer Science (MFCS 16), 2016.</span> [<a href="http://arxiv.org/abs/1602.02670" target="_blank_">.pdf</a>] <o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Model and Objective Separation with Conditional Lower Bounds: Disjunction is <span class=GramE>Harder</span> than Conjunction. </span></strong><strong><span lang=DE style='font-size:10.5pt; font-family:"Helvetica","sans-serif";color:#555555;mso-ansi-language:DE'>Streett Objectives</span></strong><span lang=DE style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555;mso-ansi-language:DE'><br> <strong><span style='font-family:"Helvetica","sans-serif";font-weight:normal'>Krishnendu Chatterjee, Wolfgang Dvorak, Monika Henzinger, and Veronika Loitzenbauer.</span></strong><br> </span><span class=GramE><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'>31st ACM/IEEE Symposium on Logic in Computer Science (LICS 16), 2016.</span></span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'> [<a href="http://arxiv.org/abs/1607.05850" target="_blank_">.pdf</a>] <o:p></o:p></span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Improved Algorithms for One-Pair and k-Pair <span class=SpellE>Streett</span> Objectives</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> <span class=SpellE>Krishnendu</span> Chatterjee, Monika <span class=SpellE>Henzinger</span>, and Veronika <span class=SpellE>Loitzenbauer</span>.</span></span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> <span class=GramE>30th ACM/IEEE Symposium on Logic in Computer Science (LICS 15), Kyoto, Japan, 2015.</span> [<a href="http://arxiv.org/abs/1410.0833" target="_blank_">.pdf</a>] <o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Polynomial-time Algorithms for Energy Games with Special Weight Structures</span></strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> <span class=SpellE>Krishnendu</span> Chatterjee, Monika <span class=SpellE>Henzinger</span>, Sebastian <span class=SpellE>Krinninger</span>, and <span class=SpellE>Danupon</span> <span class=SpellE>Nanongkai</span><br> 20th Annual European Symposium on Algorithms (ESA 12), Ljubljana, Slovenia, 2012. [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/3455/" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>An <span class=GramE>O(</span>n^2) Time Algorithm for Alternating <span class=SpellE>Buchi</span> Games</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> <span class=SpellE>Krishnendu</span> Chatterjee and Monika <span class=SpellE>Henzinger</span><br> ACM Symposium on Discrete Algorithms (SODA 12), Kyoto, Japan, 2012. [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/2973/" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with <span class=SpellE>Buchi</span> Objectives</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'><br> <span class=SpellE>Krishnendu</span> Chatterjee, Monika <span class=SpellE>Henzinger</span>, <span class=SpellE>Joglekar</span> <span class=SpellE>Manas</span>, and Shah <span class=SpellE>Nisarg<bf /></span> 23rd International Conference on Computer Aided Verification (CAV), Utah, USA, 2011.<br> Also appeared in <i>Formal Methods in System Design</i> 42(3): 301-327 (2013) [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/2850/" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Faster and Dynamic Algorithms For Maximal End-Component Decomposition And Related Graph Problems In Probabilistic Verification</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'><br> <span class=SpellE>Krishnendu</span> Chatterjee and Monika <span class=SpellE>Henzinger</span><br> ACM Symposium on Discrete Algorithms (SODA 11), San Francisco, USA, 2011. [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/21/" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <div style='margin-top:12.0pt;margin-bottom:20.3pt'> <div class=MsoNormal align=center style='margin-top:0in;text-align:center; line-height:20.3pt'><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#555555'> <hr size=1 width="100%" align=center> </span></div> </div> <p class=MsoNormal style='margin-bottom:11.25pt;line-height:15.6pt;mso-outline-level: 5'><a name=mech></a><span style='font-size:14.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#333333'>Mechanism Design<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Combinatorial Auctions with Conflict-Based Externalities</span></strong><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";color:#555555'><br> Yun <span class=SpellE>Kuen</span> Cheung, Monika <span class=SpellE>Henzinger</span>, Martin <span class=SpellE>Hoefer</span>, and Martin <span class=SpellE>Starnberger</span><br> Conference on Web and Internet Economics (WINE 15), Amsterdam, <span class=GramE>The</span> Netherlands, December 2015. [<a href="http://eprints.cs.univie.ac.at/4491/1/00.pdf" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Ad Exchange: Envy-free Auctions with Mediators</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'><br> Oren Ben-<span class=SpellE>Zwi</span>, Monika <span class=SpellE>Henzinger</span>, and Veronika <span class=SpellE>Loitzenbauer</span><br> Conference on Web and Internet Economics (WINE 15), Amsterdam, The Netherlands, December 2015. [<a href="http://eprints.cs.univie.ac.at/4456/3/adx_eprints.pdf" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Truthful Unit-Demand Auctions with Budgets Revisited</span></strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'><br> Monika <span class=SpellE>Henzinger</span> and Veronika <span class=SpellE>Loitzenbauer</span><br> Theoretical Computer Science, 573:1-15, 2015. [<a href="https://http:/eprints.cs.univie.ac.at/4328/1/truthful_eprintsversion.pdf" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Valuation Compressions in Combinatorial Auctions</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'><br> Paul <span class=SpellE>Dtting</span>, Monika <span class=SpellE>Henzinger</span>, Martin <span class=SpellE>Starnberger</span><br> Conference on Web and Internet Economics (WINE 13), Cambridge, MA, December 2013<br> [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/3950/" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>On Multiple <span class=GramE>Keyword</span> Sponsored Search Auctions with Budgets</span></strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> Riccardo <span class=SpellE>Colini</span> <span class=SpellE>Baldeschi</span>, Monika <span class=SpellE>Henzinger</span>, Stefano <span class=SpellE>Leonardi</span>, and Martin <span class=SpellE>Starnberger</span><br> 39th International Colloquium on Automata, Languages and Programming (ICALP 12), Warwick, UK, 2012. [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/3508/" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Auctions with Heterogeneous Items and Budget Limits</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'><br> Paul <span class=SpellE>Dtting</span>, Monika <span class=SpellE>Henzinger</span>, Martin <span class=SpellE>Starnberger</span><br> Workshop on Internet &amp; Network Economics (WINE 12), Liverpool, UK, 2012.<br> [<a href="http://paulduetting.com/pubs/wine12-conf.pdf" target="_blank">.pdf</a> | <a href="http://paulduetting.com/pubs/wine12-conf.ps" target="_blank">.<span class=SpellE>ps</span></a> | <a href="http://paulduetting.com/pubs/wine12-full.pdf" target="_blank">report</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Maximizing Revenue from Strategic Recommendations under Decaying Trust</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> Paul <span class=SpellE>Dtting</span>, Monika <span class=SpellE>Henzinger</span>, Ingmar Weber<br> Conference on Information and Knowledge Management (CIKM 12), Maui, USA, 2012.</span></span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> [<a href="http://paulduetting.com/pubs/cikm12-conf.pdf" target="_blank">.pdf</a> | <a href="http://paulduetting.com/pubs/cikm12-conf.ps" target="_blank">.<span class=SpellE>ps</span></a> | <a href="http://paulduetting.com/pubs/cikm12-full.pdf" target="_blank">report</a> | <a href="http://paulduetting.com/pubs/cikm12-poster.pdf" target="_blank">poster</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Multi-Parameter Mechanism Design under Budget and <span class=SpellE>Matroid</span> Constraints</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> Monika <span class=SpellE>Henzinger</span> and Angelina <span class=SpellE>Vidali</span><br> European Symposium on <span class=SpellE>ALgorithms</span> (ESA 11), <span class=SpellE>Saarbruecken</span>, Germany, 2011.<bf /> [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/2931/" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>An Expressive Mechanism for Auctions on the Web</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'><br> Paul <span class=SpellE>Dtting</span>, Monika <span class=SpellE>Henzinger</span>, and Ingmar Weber<br> World Wide Web Conference (WWW 11), Hyderabad, India, 2011<br> [<a href="http://paulduetting.com/pubs/www11-conf.pdf" target="_blank">.pdf</a> | <a href="http://paulduetting.com/pubs/www11-conf.ps" target="_blank">.<span class=SpellE>ps</span></a> | <a href="http://paulduetting.com/pubs/teac12.pdf" target="_blank">report</a> | <a href="http://paulduetting.com/pubs/www11-poster.pdf" target="_blank">poster</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>How <span class=GramE>Much</span> is Your Personal Recommendation Worth?</span></strong><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";color:#555555'> </span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#AE0010'>(Best Poster Award)</span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'><br> Paul <span class=SpellE>Dtting</span>, Monika <span class=SpellE>Henzinger</span>, and Ingmar Weber<br> World Wide Web Conference (WWW 10), Raleigh, USA, 2010<br> [<a href="http://paulduetting.com/publications/www10-conf.pdf" target="_blank">.pdf</a> | <a href="http://paulduetting.com/publications/www10-conf.ps" target="_blank">.<span class=SpellE>ps</span></a> | <a href="http://paulduetting.com/pubs/www10-full.pdf" target="_blank">report</a> | <a href="http://paulduetting.com/pubs/www10-poster.pdf" target="_blank">poster</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Sponsored Search, Market Equilibria, and the Hungarian Method</span></strong><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";color:#555555'><br> Paul <span class=SpellE>Dtting</span>, Monika <span class=SpellE>Henzinger</span>, and Ingmar Weber<br> Symposium on Theoretical Aspects of Computer Science (STACS 10), Nancy, France, 2010<br> [<a href="http://paulduetting.com/pubs/stacs10-conf.pdf" target="_blank">.pdf</a> | <a href="http://paulduetting.com/pubs/stacs10-conf.ps" target="_blank">.<span class=SpellE>ps</span></a> | <a href="http://paulduetting.com/pubs/ipl13.pdf" target="_blank">report</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Bidder Optimal Assignments for General Utilities</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'><br> Paul <span class=SpellE>Dtting</span>, Monika <span class=SpellE>Henzinger</span>, and Ingmar Weber<br> Workshop on Internet &amp; Network Economics (WINE 09), Rome, Italy, 2009<br> [<a href="http://paulduetting.com/pubs/wine09.pdf" target="_blank">.pdf</a> | <a href="http://paulduetting.com/pubs/wine09.ps" target="_blank">.<span class=SpellE>ps</span></a>]<o:p></o:p></span></p> <div style='margin-top:12.0pt;margin-bottom:20.3pt'> <div class=MsoNormal align=center style='margin-top:0in;text-align:center; line-height:20.3pt'><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#555555'> <hr size=1 width="100%" align=center> </span></div> </div> <p class=MsoNormal style='margin-bottom:11.25pt;mso-line-height-alt:15.6pt; mso-outline-level:3'><a name=journ></a><span style='font-size:19.5pt; font-family:"Helvetica","sans-serif";mso-fareast-font-family:"Times New Roman"; color:#333333'>Recent journal publications (since 2011)<o:p></o:p></span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>Maximizing a Submodular Function with Viability Constraints.</span></strong></span><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> </span><span lang=DE style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555;mso-ansi-language:DE'>Wolfgang Dvorak, Monika Henzinger, and David P. Williamson<br> <i>Algorithmica</i>, 77(1):152-172 (2017).<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Dynamic Approximate All-Pairs Shortest Paths: Breaking the <span class=GramE>O(</span><span class=SpellE>mn</span>) Barrier and <span class=SpellE>Derandomization</span> </span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> Monika <span class=SpellE>Henzinger</span>, Sebastian <span class=SpellE>Krinninger</span>, and <span class=SpellE>Danupon</span> <span class=SpellE>Nanongkai</span><br> <i>SIAM Journal on Computing</i>, 45(3):947-1006 (2016).<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>On Multiple Keyword Sponsored Search Auctions with Budgets</span></strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'><br> Riccardo <span class=SpellE>Colini</span> <span class=SpellE>Baldeschi</span>, Monika <span class=SpellE>Henzinger</span>, Stefano <span class=SpellE>Leonardi</span>, and Martin <span class=SpellE>Starnberger</span><br> <i>ACM Transactions on Economics and Computation</i>, 4(1): 2 (2015).<br> [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/3508/" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Auctions with Heterogeneous Items and Budget Limits</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'><br> Paul <span class=SpellE>Dtting</span>, Monika <span class=SpellE>Henzinger</span>, Martin <span class=SpellE>Starnberger</span><br> <i>ACM Transactions on Economics and Computation</i>, 4(1): 4 (2015).<br> [<a href="http://paulduetting.com/pubs/wine12-conf.pdf" target="_blank">.pdf</a> | <a href="http://paulduetting.com/pubs/wine12-conf.ps" target="_blank">.<span class=SpellE>ps</span></a> | <a href="http://paulduetting.com/pubs/wine12-full.pdf" target="_blank">report</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Truthful Unit-Demand Auctions with Budgets Revisited. </span></strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'><br> </span><span lang=DE style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555;mso-ansi-language:DE'>Monika Henzinger and Veronika Loitzenbauer. <br> </span><i><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'>Theoretical Computer Science</span></i><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>, Volume 573, Pages 1-15, 2015<br> [<a href="http://eprints.cs.univie.ac.at/4328/1/truthful_eprintsversion.pdf" target="_blank">.pdf</a>] <o:p></o:p></span></p> <p style='line-height:20.3pt'><span class=GramE><strong><span style='font-size: 10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>An Expressive Mechanism for Auctions on the Web.</span></strong></span><strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'> </span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> </span><span lang=DE style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555;mso-ansi-language:DE'>Paul Dtting, Monika Henzinger, and Ingmar Weber.<br> </span><i><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'>ACM Transactions on Economics and Computation</span></i><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'>, 4(1): 1 (2015).<br> [<a href="http://paulduetting.com/pubs/teac12.pdf" target="_blank">.pdf</a> | <a href="http://paulduetting.com/pubs/teac12.ps" target="_blank">.<span class=SpellE>ps</span></a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Efficient and Dynamic Algorithms For Alternating <span class=SpellE>Buchi</span> Games and Maximal End-component Decomposition</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif"; color:#555555'><br> <span class=SpellE>Krishnendu</span> Chatterjee and Monika <span class=SpellE>Henzinger</span><br> <i>Journal of the ACM</i>, Volume 61, Issue 3, Article No. 15, 2014 [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/3933/" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Split Diversity in Constrained Conservation Prioritization using Integer Linear Programming. </span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> Olga <span class=SpellE>Chernomor</span>, Bui <span class=SpellE>Quang</span> Minh, Felix Forest, Steffen <span class=SpellE>Klaere</span>, Travis Ingram, Monika <span class=SpellE>Henzinger</span>, and Arndt von <span class=SpellE>Haeseler</span>.<br> <i>Methods in Ecology and Evolution</i>, <span class=SpellE>doi</span>: 10.1111/2041-210X.12299, 2014. <o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Polynomial-time Algorithms for Energy Games with Special Weight Structures</span></strong><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";color:#555555'><br> <span class=SpellE>Krishnendu</span> Chatterjee, Monika <span class=SpellE>Henzinger</span>, Sebastian <span class=SpellE>Krinninger</span>, and <span class=SpellE>Danupon</span> <span class=SpellE>Nanongkai</span><br> <span class=SpellE><i>Algorithmica</i></span>, Volume 70, Issue 3, Pages 457-492, 2014. [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/3455/" target="_blank_">.pdf</a>]<o:p></o:p></span></p> <p style='line-height:20.3pt'><strong><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'>Approximating the Cycle Mean</span></strong><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> <span class=SpellE>Krishnendu</span> Chatterjee, Monika <span class=SpellE>Henzinger</span>, Sebastian <span class=SpellE>Krinninger</span>, Veronika <span class=SpellE>Loitzenbauer</span> and Michael A. <span class=SpellE>Rasking</span><br> <i>Theoretical Computer Science</>, 2014, DOI: 10.1016/j.tcs.2014.06.031. [<a href="http://www.sciencedirecit.com/science/article/pii/S0304397514004782" target="_blank_">.html</a>]<o:p></o:p></i></span></p> <p style='line-height:20.3pt'><strong><i><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";color:#555555'>A Comprehensive Study of Techniques for URL-based Web Page Language Classification</span></i></strong><i><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> Eda <span class=SpellE>Baykan</span>, Monika <span class=SpellE>Henzinger</span>, and Ingmar Weber<br> ACM Transactions on the Web, Volume 7, Issue 1, Article No. 3, Pages 3:1-3:37, 2013 [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/3696/" target="_blank_">.pdf</a>]<o:p></o:p></span></i></p> <p style='line-height:20.3pt'><strong><i><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";color:#555555'>Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with <span class=SpellE>Buechi</span> Objectives</span></i></strong><i><span style='font-size:10.5pt;font-family: "Helvetica","sans-serif";color:#555555'><br> <span class=SpellE>Krishnendu</span> Chatterjee, Monika <span class=SpellE>Henzinger</span>, <span class=SpellE>Manas</span> <span class=SpellE>Joglekar</span>, and <span class=SpellE>Nisarg</span> Shah<br> Formal Methods in System Design, Volume 42, Issue 3, Pages 301-327, 2013. [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/3718/" target="_blank_">.pdf</a>]<o:p></o:p></span></i></p> <p style='line-height:20.3pt'><strong><i><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";color:#555555'>Bidder Optimal Assignments for General Utilities</span></i></strong><i><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";color:#555555'><br> Paul <span class=SpellE>Dtting</span>, Monika <span class=SpellE>Henzinger</span>, and Ingmar Weber<br> Theoretical Computer Science, Volume 478, Pages 67-73, 2013. [<a href="http://paulduetting.com/pubs/tcs13.pdf" target="_blank">.pdf</a> | <a href="http://paulduetting.com/pubs/tcs13.ps" target="_blank">.<span class=SpellE>ps</span></a>]<o:p></o:p></span></i></p> <p style='line-height:20.3pt'><strong><i><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";color:#555555'>Sponsored Search, Market Equilibria, and the Hungarian Method</span></i></strong><i><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> Paul <span class=SpellE>Dtting</span>, Monika <span class=SpellE>Henzinger</span>, and Ingmar Weber<br> Information Processing Letters, Volume 113, Issue 3, Pages 67-73, 2013. [<a href="http://paulduetting.com/pubs/ipl13.pdf" target="_blank">.pdf</a> | <a href="http://paulduetting.com/pubs/ipl13.ps" target="_blank">.<span class=SpellE>ps</span></a>]<o:p></o:p></span></i></p> <p style='line-height:20.3pt'><strong><i><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";color:#555555'>Offline File Assignments for Online Load Balancing</span></i></strong><i><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";color:#555555'><br> Paul <span class=SpellE>Dtting</span>, Monika <span class=SpellE>Henzinger</span>, and Ingmar Weber<br> Information Processing Letters, Volume 111, Issue 4, Pages 178-183, 2011. [<a href="http://paulduetting.com/pubs/ipl11.pdf" target="_blank">.pdf</a> | <a href="http://paulduetting.com/pubs/ipl11.ps" target="_blank">.<span class=SpellE>ps</span></a>]<o:p></o:p></span></i></p> <p style='line-height:20.3pt'><strong><i><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";color:#555555'>A Comprehensive Study of Features and Algorithms for URL-based Topic Classification</span></i></strong><i><span style='font-size:10.5pt;font-family:"Helvetica","sans-serif";color:#555555'><br> Eda <span class=SpellE>Baykan</span>, Monika <span class=SpellE>Henzinger</span>, <span class=SpellE>Ludmila</span> Marian, and Ingmar Weber<br> ACM Transactions on the Web, Volume 5, Issue 3, Pages 15:1-15:29, 2011. [<a href="http://cs.univie.ac.at/research/research-groups/theory-and-applications-of-algorithms/publikation/infpub/126/" target="_blank_">.pdf</a>]<o:p></o:p></span></i></p> <p class=MsoNormal style='margin-bottom:11.25pt;mso-line-height-alt:15.6pt; mso-outline-level:4'><span style='font-size:16.0pt;font-family:"Helvetica","sans-serif"; mso-fareast-font-family:"Times New Roman";color:#333333'>Patents<o:p></o:p></span></p> <p class=MsoNormal style='line-height:20.3pt'><i><span style='font-size:10.5pt; font-family:"Helvetica","sans-serif";mso-fareast-font-family:"Times New Roman"; color:#555555'>I am the co-inventor of <a href="http://patft.uspto.gov/netacgi/nph-Parser?Sect1=PTO2&amp;Sect2=HITOFF&amp;p=1&amp;u=%2Fnetahtml%2FPTO%2Fsearch-bool.html&amp;r=0&amp;f=S&amp;l=50&amp;TERM1=Henzinger&amp;FIELD1=INNM&amp;co1=AND&amp;TERM2=Monika&amp;FIELD2=INNM&amp;d=PTXT" target="_blank">over 50 patents</a>. <o:p></o:p></span></i></p> </div> </div> </div> </div> </div> <!-- .entry-content --><!-- .hentry --><!-- .hfeed --><!-- #content --><!-- #main --> <div style='border:none;border-top:solid #444444 4.5pt;padding:20.0pt 0in 0in 0in' id=footer> <div> <p class=MsoNormal style='line-height:20.3pt'><i><span style='font-size:9.0pt; font-family:"Helvetica","sans-serif";color:#AAAAAA'>Copyright 2013 <a href="contact.html" title=Contact><span style='color:#888888'>Monika <span class=SpellE>Henzinger</span>, Vienna</span></a><o:p></o:p></span></i></p> </div> </div> </div> <!-- #footer --><!-- .wrap --><!-- #container --> </body> </html>