﻿<?xml version="1.0" encoding="UTF-8"?>
<Portfolio>
  <Name>DEN - DENVER HOME PRICE INDEX FUTURE</Name>
  <Categories>
    <PortfolioCategory>
      <Name>Year 2016</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG16</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK16</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ16</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX16</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2017</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG17</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK17</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ17</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX17</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2018</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG18</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK18</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ18</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX18</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2019</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG19</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK19</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ19</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX19</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2020</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG20</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK20</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ20</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX20</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2021</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG21</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK21</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ21</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX21</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2022</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG22</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK22</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ22</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX22</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2023</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG23</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK23</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ23</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX23</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2024</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG24</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK24</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ24</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX24</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2025</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG25</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK25</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ25</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX25</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2026</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG26</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK26</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ26</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX26</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2027</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG27</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK27</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ27</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX27</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2028</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG28</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK28</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ28</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX28</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2029</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG29</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK29</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ29</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX29</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2030</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG30</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK30</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ30</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX30</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2031</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG31</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK31</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ31</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX31</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2032</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG32</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK32</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ32</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX32</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2033</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG33</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK33</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ33</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX33</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2034</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG34</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK34</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ34</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX34</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2035</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG35</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK35</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ35</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX35</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2036</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG36</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK36</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ36</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX36</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2037</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG37</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK37</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ37</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX37</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2038</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG38</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK38</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ38</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX38</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2039</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG39</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK39</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ39</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX39</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2040</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG40</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK40</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ40</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX40</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2041</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG41</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK41</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ41</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX41</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2042</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG42</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK42</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ42</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX42</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2043</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG43</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK43</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ43</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX43</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2044</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG44</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK44</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ44</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX44</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2045</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG45</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK45</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ45</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX45</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2046</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG46</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK46</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ46</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX46</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2047</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG47</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK47</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ47</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX47</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2048</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG48</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK48</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ48</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX48</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2049</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG49</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK49</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ49</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX49</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2050</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DENG50</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENK50</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENQ50</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DENX50</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
  </Categories>
</Portfolio>