﻿<?xml version="1.0" encoding="UTF-8"?>
<Portfolio>
  <Name>@DE - DENVER HOME PRICE INDEX FUTURE</Name>
  <Categories>
    <PortfolioCategory>
      <Name>Year 20X0</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>@DEG0</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEK0</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEQ0</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEX0</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X1</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>@DEG1</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEK1</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEQ1</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEX1</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X2</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>@DEG2</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEK2</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEQ2</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEX2</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X3</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>@DEG3</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEK3</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEQ3</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEX3</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X4</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>@DEG4</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEK4</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEQ4</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEX4</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X5</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>@DEG5</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEK5</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEQ5</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEX5</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X6</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>@DEG6</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEK6</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEQ6</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEX6</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X7</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>@DEG7</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEK7</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEQ7</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEX7</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X8</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>@DEG8</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEK8</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEQ8</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEX8</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X9</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>@DEG9</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE FEB 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEK9</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE MAY 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEQ9</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE AUG 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@DEX9</Name>
          <Description>DENVER HOME PRICE INDEX FUTURE NOV 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
  </Categories>
</Portfolio>