﻿<?xml version="1.0" encoding="UTF-8"?>
<Portfolio>
  <Name>RX - DJ US REAL ESTATE INDEX FUTURE</Name>
  <Categories>
    <PortfolioCategory>
      <Name>Year 2016</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH16</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM16</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU16</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ16</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2017</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH17</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM17</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU17</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ17</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2018</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH18</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM18</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU18</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ18</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2019</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH19</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM19</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU19</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ19</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2020</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH20</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM20</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU20</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ20</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2021</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH21</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM21</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU21</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ21</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2022</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH22</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM22</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU22</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ22</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2023</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH23</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM23</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU23</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ23</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2024</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH24</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM24</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU24</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ24</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2025</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH25</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM25</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU25</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ25</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2026</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH26</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM26</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU26</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ26</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2027</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH27</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM27</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU27</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ27</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2028</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH28</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM28</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU28</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ28</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2029</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH29</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM29</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU29</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ29</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2030</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH30</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM30</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU30</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ30</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2031</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH31</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM31</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU31</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ31</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2032</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH32</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM32</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU32</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ32</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2033</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH33</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM33</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU33</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ33</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2034</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH34</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM34</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU34</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ34</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2035</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH35</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM35</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU35</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ35</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2036</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH36</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM36</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU36</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ36</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2037</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH37</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM37</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU37</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ37</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2038</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH38</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM38</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU38</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ38</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2039</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH39</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM39</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU39</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ39</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2040</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH40</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM40</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU40</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ40</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2041</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH41</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM41</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU41</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ41</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2042</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH42</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM42</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU42</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ42</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2043</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH43</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM43</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU43</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ43</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2044</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH44</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM44</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU44</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ44</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2045</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH45</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM45</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU45</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ45</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2046</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH46</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM46</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU46</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ46</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2047</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH47</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM47</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU47</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ47</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2048</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH48</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM48</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU48</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ48</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2049</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH49</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM49</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU49</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ49</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2050</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>RXH50</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE MAR 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXM50</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE JUN 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXU50</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE SEP 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>RXZ50</Name>
          <Description>DJ US REAL ESTATE INDEX FUTURE DEC 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
  </Categories>
</Portfolio>