﻿<?xml version="1.0" encoding="UTF-8"?>
<Portfolio>
  <Name>WDO - MINI US DOLLAR FUTURE</Name>
  <Categories>
    <PortfolioCategory>
      <Name>Year 2016</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF16</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG16</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH16</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ16</Name>
          <Description>MINI US DOLLAR FUTURE APR 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK16</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM16</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON16</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ16</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU16</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV16</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX16</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ16</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2017</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF17</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG17</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH17</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ17</Name>
          <Description>MINI US DOLLAR FUTURE APR 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK17</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM17</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON17</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ17</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU17</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV17</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX17</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ17</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2018</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF18</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG18</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH18</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ18</Name>
          <Description>MINI US DOLLAR FUTURE APR 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK18</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM18</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON18</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ18</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU18</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV18</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX18</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ18</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2019</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF19</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG19</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH19</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ19</Name>
          <Description>MINI US DOLLAR FUTURE APR 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK19</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM19</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON19</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ19</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU19</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV19</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX19</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ19</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2020</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF20</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG20</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH20</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ20</Name>
          <Description>MINI US DOLLAR FUTURE APR 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK20</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM20</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON20</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ20</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU20</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV20</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX20</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ20</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2021</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF21</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG21</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH21</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ21</Name>
          <Description>MINI US DOLLAR FUTURE APR 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK21</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM21</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON21</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ21</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU21</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV21</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX21</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ21</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2022</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF22</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG22</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH22</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ22</Name>
          <Description>MINI US DOLLAR FUTURE APR 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK22</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM22</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON22</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ22</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU22</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV22</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX22</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ22</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2023</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF23</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG23</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH23</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ23</Name>
          <Description>MINI US DOLLAR FUTURE APR 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK23</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM23</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON23</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ23</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU23</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV23</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX23</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ23</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2024</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF24</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG24</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH24</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ24</Name>
          <Description>MINI US DOLLAR FUTURE APR 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK24</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM24</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON24</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ24</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU24</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV24</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX24</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ24</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2025</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF25</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG25</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH25</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ25</Name>
          <Description>MINI US DOLLAR FUTURE APR 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK25</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM25</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON25</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ25</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU25</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV25</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX25</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ25</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2026</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF26</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG26</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH26</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ26</Name>
          <Description>MINI US DOLLAR FUTURE APR 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK26</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM26</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON26</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ26</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU26</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV26</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX26</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ26</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2027</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF27</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG27</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH27</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ27</Name>
          <Description>MINI US DOLLAR FUTURE APR 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK27</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM27</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON27</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ27</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU27</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV27</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX27</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ27</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2028</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF28</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG28</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH28</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ28</Name>
          <Description>MINI US DOLLAR FUTURE APR 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK28</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM28</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON28</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ28</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU28</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV28</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX28</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ28</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2029</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF29</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG29</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH29</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ29</Name>
          <Description>MINI US DOLLAR FUTURE APR 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK29</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM29</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON29</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ29</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU29</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV29</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX29</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ29</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2030</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF30</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG30</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH30</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ30</Name>
          <Description>MINI US DOLLAR FUTURE APR 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK30</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM30</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON30</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ30</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU30</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV30</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX30</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ30</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2031</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF31</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG31</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH31</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ31</Name>
          <Description>MINI US DOLLAR FUTURE APR 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK31</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM31</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON31</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ31</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU31</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV31</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX31</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ31</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2032</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF32</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG32</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH32</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ32</Name>
          <Description>MINI US DOLLAR FUTURE APR 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK32</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM32</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON32</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ32</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU32</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV32</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX32</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ32</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2033</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF33</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG33</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH33</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ33</Name>
          <Description>MINI US DOLLAR FUTURE APR 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK33</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM33</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON33</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ33</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU33</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV33</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX33</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ33</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2034</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF34</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG34</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH34</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ34</Name>
          <Description>MINI US DOLLAR FUTURE APR 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK34</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM34</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON34</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ34</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU34</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV34</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX34</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ34</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2035</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF35</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG35</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH35</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ35</Name>
          <Description>MINI US DOLLAR FUTURE APR 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK35</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM35</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON35</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ35</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU35</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV35</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX35</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ35</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2036</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF36</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG36</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH36</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ36</Name>
          <Description>MINI US DOLLAR FUTURE APR 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK36</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM36</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON36</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ36</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU36</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV36</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX36</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ36</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2037</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF37</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG37</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH37</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ37</Name>
          <Description>MINI US DOLLAR FUTURE APR 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK37</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM37</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON37</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ37</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU37</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV37</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX37</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ37</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2038</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF38</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG38</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH38</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ38</Name>
          <Description>MINI US DOLLAR FUTURE APR 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK38</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM38</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON38</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ38</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU38</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV38</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX38</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ38</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2039</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF39</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG39</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH39</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ39</Name>
          <Description>MINI US DOLLAR FUTURE APR 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK39</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM39</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON39</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ39</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU39</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV39</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX39</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ39</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2040</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF40</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG40</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH40</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ40</Name>
          <Description>MINI US DOLLAR FUTURE APR 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK40</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM40</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON40</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ40</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU40</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV40</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX40</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ40</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2041</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF41</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG41</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH41</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ41</Name>
          <Description>MINI US DOLLAR FUTURE APR 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK41</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM41</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON41</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ41</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU41</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV41</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX41</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ41</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2042</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF42</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG42</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH42</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ42</Name>
          <Description>MINI US DOLLAR FUTURE APR 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK42</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM42</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON42</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ42</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU42</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV42</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX42</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ42</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2043</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF43</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG43</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH43</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ43</Name>
          <Description>MINI US DOLLAR FUTURE APR 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK43</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM43</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON43</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ43</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU43</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV43</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX43</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ43</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2044</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF44</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG44</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH44</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ44</Name>
          <Description>MINI US DOLLAR FUTURE APR 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK44</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM44</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON44</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ44</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU44</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV44</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX44</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ44</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2045</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF45</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG45</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH45</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ45</Name>
          <Description>MINI US DOLLAR FUTURE APR 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK45</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM45</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON45</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ45</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU45</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV45</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX45</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ45</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2046</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF46</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG46</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH46</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ46</Name>
          <Description>MINI US DOLLAR FUTURE APR 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK46</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM46</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON46</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ46</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU46</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV46</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX46</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ46</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2047</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF47</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG47</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH47</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ47</Name>
          <Description>MINI US DOLLAR FUTURE APR 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK47</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM47</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON47</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ47</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU47</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV47</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX47</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ47</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2048</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF48</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG48</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH48</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ48</Name>
          <Description>MINI US DOLLAR FUTURE APR 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK48</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM48</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON48</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ48</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU48</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV48</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX48</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ48</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2049</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF49</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG49</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH49</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ49</Name>
          <Description>MINI US DOLLAR FUTURE APR 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK49</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM49</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON49</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ49</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU49</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV49</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX49</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ49</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2050</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>WDOF50</Name>
          <Description>MINI US DOLLAR FUTURE JAN 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOG50</Name>
          <Description>MINI US DOLLAR FUTURE FEB 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOH50</Name>
          <Description>MINI US DOLLAR FUTURE MAR 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOJ50</Name>
          <Description>MINI US DOLLAR FUTURE APR 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOK50</Name>
          <Description>MINI US DOLLAR FUTURE MAY 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOM50</Name>
          <Description>MINI US DOLLAR FUTURE JUN 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDON50</Name>
          <Description>MINI US DOLLAR FUTURE JUL 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOQ50</Name>
          <Description>MINI US DOLLAR FUTURE AUG 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOU50</Name>
          <Description>MINI US DOLLAR FUTURE SEP 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOV50</Name>
          <Description>MINI US DOLLAR FUTURE OCT 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOX50</Name>
          <Description>MINI US DOLLAR FUTURE NOV 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>WDOZ50</Name>
          <Description>MINI US DOLLAR FUTURE DEC 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
  </Categories>
</Portfolio>