﻿<?xml version="1.0" encoding="UTF-8"?>
<Portfolio>
  <Name>FVS - VSTOXX MINI FUTURE</Name>
  <Categories>
    <PortfolioCategory>
      <Name>Year 2016</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH16</Name>
          <Description>VSTOXX MINI FUTURE MAR 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM16</Name>
          <Description>VSTOXX MINI FUTURE JUN 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU16</Name>
          <Description>VSTOXX MINI FUTURE SEP 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ16</Name>
          <Description>VSTOXX MINI FUTURE DEC 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2017</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH17</Name>
          <Description>VSTOXX MINI FUTURE MAR 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM17</Name>
          <Description>VSTOXX MINI FUTURE JUN 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU17</Name>
          <Description>VSTOXX MINI FUTURE SEP 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ17</Name>
          <Description>VSTOXX MINI FUTURE DEC 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2018</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH18</Name>
          <Description>VSTOXX MINI FUTURE MAR 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM18</Name>
          <Description>VSTOXX MINI FUTURE JUN 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU18</Name>
          <Description>VSTOXX MINI FUTURE SEP 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ18</Name>
          <Description>VSTOXX MINI FUTURE DEC 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2019</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH19</Name>
          <Description>VSTOXX MINI FUTURE MAR 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM19</Name>
          <Description>VSTOXX MINI FUTURE JUN 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU19</Name>
          <Description>VSTOXX MINI FUTURE SEP 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ19</Name>
          <Description>VSTOXX MINI FUTURE DEC 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2020</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH20</Name>
          <Description>VSTOXX MINI FUTURE MAR 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM20</Name>
          <Description>VSTOXX MINI FUTURE JUN 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU20</Name>
          <Description>VSTOXX MINI FUTURE SEP 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ20</Name>
          <Description>VSTOXX MINI FUTURE DEC 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2021</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH21</Name>
          <Description>VSTOXX MINI FUTURE MAR 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM21</Name>
          <Description>VSTOXX MINI FUTURE JUN 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU21</Name>
          <Description>VSTOXX MINI FUTURE SEP 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ21</Name>
          <Description>VSTOXX MINI FUTURE DEC 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2022</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH22</Name>
          <Description>VSTOXX MINI FUTURE MAR 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM22</Name>
          <Description>VSTOXX MINI FUTURE JUN 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU22</Name>
          <Description>VSTOXX MINI FUTURE SEP 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ22</Name>
          <Description>VSTOXX MINI FUTURE DEC 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2023</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH23</Name>
          <Description>VSTOXX MINI FUTURE MAR 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM23</Name>
          <Description>VSTOXX MINI FUTURE JUN 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU23</Name>
          <Description>VSTOXX MINI FUTURE SEP 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ23</Name>
          <Description>VSTOXX MINI FUTURE DEC 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2024</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH24</Name>
          <Description>VSTOXX MINI FUTURE MAR 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM24</Name>
          <Description>VSTOXX MINI FUTURE JUN 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU24</Name>
          <Description>VSTOXX MINI FUTURE SEP 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ24</Name>
          <Description>VSTOXX MINI FUTURE DEC 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2025</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH25</Name>
          <Description>VSTOXX MINI FUTURE MAR 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM25</Name>
          <Description>VSTOXX MINI FUTURE JUN 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU25</Name>
          <Description>VSTOXX MINI FUTURE SEP 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ25</Name>
          <Description>VSTOXX MINI FUTURE DEC 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2026</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH26</Name>
          <Description>VSTOXX MINI FUTURE MAR 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM26</Name>
          <Description>VSTOXX MINI FUTURE JUN 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU26</Name>
          <Description>VSTOXX MINI FUTURE SEP 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ26</Name>
          <Description>VSTOXX MINI FUTURE DEC 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2027</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH27</Name>
          <Description>VSTOXX MINI FUTURE MAR 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM27</Name>
          <Description>VSTOXX MINI FUTURE JUN 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU27</Name>
          <Description>VSTOXX MINI FUTURE SEP 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ27</Name>
          <Description>VSTOXX MINI FUTURE DEC 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2028</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH28</Name>
          <Description>VSTOXX MINI FUTURE MAR 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM28</Name>
          <Description>VSTOXX MINI FUTURE JUN 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU28</Name>
          <Description>VSTOXX MINI FUTURE SEP 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ28</Name>
          <Description>VSTOXX MINI FUTURE DEC 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2029</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH29</Name>
          <Description>VSTOXX MINI FUTURE MAR 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM29</Name>
          <Description>VSTOXX MINI FUTURE JUN 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU29</Name>
          <Description>VSTOXX MINI FUTURE SEP 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ29</Name>
          <Description>VSTOXX MINI FUTURE DEC 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2030</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH30</Name>
          <Description>VSTOXX MINI FUTURE MAR 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM30</Name>
          <Description>VSTOXX MINI FUTURE JUN 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU30</Name>
          <Description>VSTOXX MINI FUTURE SEP 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ30</Name>
          <Description>VSTOXX MINI FUTURE DEC 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2031</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH31</Name>
          <Description>VSTOXX MINI FUTURE MAR 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM31</Name>
          <Description>VSTOXX MINI FUTURE JUN 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU31</Name>
          <Description>VSTOXX MINI FUTURE SEP 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ31</Name>
          <Description>VSTOXX MINI FUTURE DEC 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2032</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH32</Name>
          <Description>VSTOXX MINI FUTURE MAR 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM32</Name>
          <Description>VSTOXX MINI FUTURE JUN 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU32</Name>
          <Description>VSTOXX MINI FUTURE SEP 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ32</Name>
          <Description>VSTOXX MINI FUTURE DEC 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2033</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH33</Name>
          <Description>VSTOXX MINI FUTURE MAR 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM33</Name>
          <Description>VSTOXX MINI FUTURE JUN 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU33</Name>
          <Description>VSTOXX MINI FUTURE SEP 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ33</Name>
          <Description>VSTOXX MINI FUTURE DEC 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2034</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH34</Name>
          <Description>VSTOXX MINI FUTURE MAR 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM34</Name>
          <Description>VSTOXX MINI FUTURE JUN 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU34</Name>
          <Description>VSTOXX MINI FUTURE SEP 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ34</Name>
          <Description>VSTOXX MINI FUTURE DEC 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2035</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH35</Name>
          <Description>VSTOXX MINI FUTURE MAR 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM35</Name>
          <Description>VSTOXX MINI FUTURE JUN 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU35</Name>
          <Description>VSTOXX MINI FUTURE SEP 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ35</Name>
          <Description>VSTOXX MINI FUTURE DEC 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2036</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH36</Name>
          <Description>VSTOXX MINI FUTURE MAR 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM36</Name>
          <Description>VSTOXX MINI FUTURE JUN 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU36</Name>
          <Description>VSTOXX MINI FUTURE SEP 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ36</Name>
          <Description>VSTOXX MINI FUTURE DEC 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2037</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH37</Name>
          <Description>VSTOXX MINI FUTURE MAR 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM37</Name>
          <Description>VSTOXX MINI FUTURE JUN 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU37</Name>
          <Description>VSTOXX MINI FUTURE SEP 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ37</Name>
          <Description>VSTOXX MINI FUTURE DEC 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2038</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH38</Name>
          <Description>VSTOXX MINI FUTURE MAR 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM38</Name>
          <Description>VSTOXX MINI FUTURE JUN 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU38</Name>
          <Description>VSTOXX MINI FUTURE SEP 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ38</Name>
          <Description>VSTOXX MINI FUTURE DEC 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2039</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH39</Name>
          <Description>VSTOXX MINI FUTURE MAR 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM39</Name>
          <Description>VSTOXX MINI FUTURE JUN 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU39</Name>
          <Description>VSTOXX MINI FUTURE SEP 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ39</Name>
          <Description>VSTOXX MINI FUTURE DEC 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2040</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH40</Name>
          <Description>VSTOXX MINI FUTURE MAR 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM40</Name>
          <Description>VSTOXX MINI FUTURE JUN 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU40</Name>
          <Description>VSTOXX MINI FUTURE SEP 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ40</Name>
          <Description>VSTOXX MINI FUTURE DEC 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2041</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH41</Name>
          <Description>VSTOXX MINI FUTURE MAR 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM41</Name>
          <Description>VSTOXX MINI FUTURE JUN 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU41</Name>
          <Description>VSTOXX MINI FUTURE SEP 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ41</Name>
          <Description>VSTOXX MINI FUTURE DEC 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2042</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH42</Name>
          <Description>VSTOXX MINI FUTURE MAR 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM42</Name>
          <Description>VSTOXX MINI FUTURE JUN 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU42</Name>
          <Description>VSTOXX MINI FUTURE SEP 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ42</Name>
          <Description>VSTOXX MINI FUTURE DEC 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2043</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH43</Name>
          <Description>VSTOXX MINI FUTURE MAR 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM43</Name>
          <Description>VSTOXX MINI FUTURE JUN 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU43</Name>
          <Description>VSTOXX MINI FUTURE SEP 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ43</Name>
          <Description>VSTOXX MINI FUTURE DEC 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2044</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH44</Name>
          <Description>VSTOXX MINI FUTURE MAR 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM44</Name>
          <Description>VSTOXX MINI FUTURE JUN 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU44</Name>
          <Description>VSTOXX MINI FUTURE SEP 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ44</Name>
          <Description>VSTOXX MINI FUTURE DEC 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2045</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH45</Name>
          <Description>VSTOXX MINI FUTURE MAR 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM45</Name>
          <Description>VSTOXX MINI FUTURE JUN 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU45</Name>
          <Description>VSTOXX MINI FUTURE SEP 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ45</Name>
          <Description>VSTOXX MINI FUTURE DEC 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2046</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH46</Name>
          <Description>VSTOXX MINI FUTURE MAR 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM46</Name>
          <Description>VSTOXX MINI FUTURE JUN 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU46</Name>
          <Description>VSTOXX MINI FUTURE SEP 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ46</Name>
          <Description>VSTOXX MINI FUTURE DEC 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2047</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH47</Name>
          <Description>VSTOXX MINI FUTURE MAR 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM47</Name>
          <Description>VSTOXX MINI FUTURE JUN 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU47</Name>
          <Description>VSTOXX MINI FUTURE SEP 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ47</Name>
          <Description>VSTOXX MINI FUTURE DEC 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2048</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH48</Name>
          <Description>VSTOXX MINI FUTURE MAR 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM48</Name>
          <Description>VSTOXX MINI FUTURE JUN 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU48</Name>
          <Description>VSTOXX MINI FUTURE SEP 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ48</Name>
          <Description>VSTOXX MINI FUTURE DEC 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2049</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH49</Name>
          <Description>VSTOXX MINI FUTURE MAR 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM49</Name>
          <Description>VSTOXX MINI FUTURE JUN 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU49</Name>
          <Description>VSTOXX MINI FUTURE SEP 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ49</Name>
          <Description>VSTOXX MINI FUTURE DEC 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2050</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>FVSH50</Name>
          <Description>VSTOXX MINI FUTURE MAR 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSM50</Name>
          <Description>VSTOXX MINI FUTURE JUN 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSU50</Name>
          <Description>VSTOXX MINI FUTURE SEP 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>FVSZ50</Name>
          <Description>VSTOXX MINI FUTURE DEC 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.01</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
  </Categories>
</Portfolio>