﻿<?xml version="1.0" encoding="UTF-8"?>
<Portfolio>
  <Name>@SD - SAN DIEGO HOME PRICE INDEX FUTURE</Name>
  <Categories>
    <PortfolioCategory>
      <Name>Year 2016</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>@SDG16</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK16</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ16</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX16</Name>
          <Description>SAN DIEGO 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>@SDG17</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK17</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ17</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX17</Name>
          <Description>SAN DIEGO 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>@SDG18</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK18</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ18</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX18</Name>
          <Description>SAN DIEGO 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>@SDG19</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK19</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ19</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX19</Name>
          <Description>SAN DIEGO 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>@SDG20</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK20</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ20</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX20</Name>
          <Description>SAN DIEGO 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>@SDG21</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK21</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ21</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX21</Name>
          <Description>SAN DIEGO 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>@SDG22</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK22</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ22</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX22</Name>
          <Description>SAN DIEGO 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>@SDG23</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK23</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ23</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX23</Name>
          <Description>SAN DIEGO 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>@SDG24</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK24</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ24</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX24</Name>
          <Description>SAN DIEGO 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>@SDG25</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK25</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ25</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX25</Name>
          <Description>SAN DIEGO 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>@SDG26</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK26</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ26</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX26</Name>
          <Description>SAN DIEGO 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>@SDG27</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK27</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ27</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX27</Name>
          <Description>SAN DIEGO 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>@SDG28</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK28</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ28</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX28</Name>
          <Description>SAN DIEGO 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>@SDG29</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK29</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ29</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX29</Name>
          <Description>SAN DIEGO 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>@SDG30</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK30</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ30</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX30</Name>
          <Description>SAN DIEGO 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>@SDG31</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK31</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ31</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX31</Name>
          <Description>SAN DIEGO 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>@SDG32</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK32</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ32</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX32</Name>
          <Description>SAN DIEGO 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>@SDG33</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK33</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ33</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX33</Name>
          <Description>SAN DIEGO 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>@SDG34</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK34</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ34</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX34</Name>
          <Description>SAN DIEGO 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>@SDG35</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK35</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ35</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX35</Name>
          <Description>SAN DIEGO 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>@SDG36</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK36</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ36</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX36</Name>
          <Description>SAN DIEGO 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>@SDG37</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK37</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ37</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX37</Name>
          <Description>SAN DIEGO 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>@SDG38</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK38</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ38</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX38</Name>
          <Description>SAN DIEGO 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>@SDG39</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK39</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ39</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX39</Name>
          <Description>SAN DIEGO 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>@SDG40</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK40</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ40</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX40</Name>
          <Description>SAN DIEGO 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>@SDG41</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK41</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ41</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX41</Name>
          <Description>SAN DIEGO 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>@SDG42</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK42</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ42</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX42</Name>
          <Description>SAN DIEGO 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>@SDG43</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK43</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ43</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX43</Name>
          <Description>SAN DIEGO 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>@SDG44</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK44</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ44</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX44</Name>
          <Description>SAN DIEGO 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>@SDG45</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK45</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ45</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX45</Name>
          <Description>SAN DIEGO 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>@SDG46</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK46</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ46</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX46</Name>
          <Description>SAN DIEGO 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>@SDG47</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK47</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ47</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX47</Name>
          <Description>SAN DIEGO 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>@SDG48</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK48</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ48</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX48</Name>
          <Description>SAN DIEGO 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>@SDG49</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK49</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ49</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX49</Name>
          <Description>SAN DIEGO 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>@SDG50</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE FEB 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDK50</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE MAY 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDQ50</Name>
          <Description>SAN DIEGO HOME PRICE INDEX FUTURE AUG 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>0</PipFraction>
          <TickSize>0.1</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>@SDX50</Name>
          <Description>SAN DIEGO 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>