﻿<?xml version="1.0" encoding="UTF-8"?>
<Portfolio>
  <Name>MIA - MIAMI HOME PRICE INDEX FUTURE</Name>
  <Categories>
    <PortfolioCategory>
      <Name>Year 20X0</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>MIAG0</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE FEB 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAK0</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE MAY 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAQ0</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE AUG 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAX0</Name>
          <Description>MIAMI 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>MIAG1</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE FEB 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAK1</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE MAY 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAQ1</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE AUG 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAX1</Name>
          <Description>MIAMI 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>MIAG2</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE FEB 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAK2</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE MAY 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAQ2</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE AUG 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAX2</Name>
          <Description>MIAMI 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>MIAG3</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE FEB 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAK3</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE MAY 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAQ3</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE AUG 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAX3</Name>
          <Description>MIAMI 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>MIAG4</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE FEB 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAK4</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE MAY 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAQ4</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE AUG 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAX4</Name>
          <Description>MIAMI 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>MIAG5</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE FEB 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAK5</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE MAY 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAQ5</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE AUG 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAX5</Name>
          <Description>MIAMI 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>MIAG6</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE FEB 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAK6</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE MAY 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAQ6</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE AUG 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAX6</Name>
          <Description>MIAMI 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>MIAG7</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE FEB 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAK7</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE MAY 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAQ7</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE AUG 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAX7</Name>
          <Description>MIAMI 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>MIAG8</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE FEB 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAK8</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE MAY 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAQ8</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE AUG 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAX8</Name>
          <Description>MIAMI 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>MIAG9</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE FEB 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAK9</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE MAY 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAQ9</Name>
          <Description>MIAMI HOME PRICE INDEX FUTURE AUG 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>MIAX9</Name>
          <Description>MIAMI 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>