<?xml version='1.0' encoding='UTF-8'?>
<?artifactRepository version='1.1.0'?>
<repository name='Bundle pool' type='org.eclipse.equinox.p2.artifact.repository.simpleRepository' version='1'>
  <properties size='2'>
    <property name='p2.system' value='true'/>
    <property name='p2.timestamp' value='1781958876424'/>
  </properties>
  <mappings size='3'>
    <rule filter='(&amp; (classifier=osgi.bundle))' output='${repoUrl}/plugins/${id}_${version}.jar'/>
    <rule filter='(&amp; (classifier=binary))' output='${repoUrl}/binary/${id}_${version}'/>
    <rule filter='(&amp; (classifier=org.eclipse.update.feature))' output='${repoUrl}/features/${id}_${version}.jar'/>
  </mappings>
  <artifacts size='204'>
    <artifact classifier='osgi.bundle' id='wrapped.net.sf.trove4j.trove4j' version='3.0.3'>
      <properties size='1'>
        <property name='download.size' value='2549864'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.osgi.services' version='3.12.300.v20250707-1221'>
      <properties size='1'>
        <property name='download.size' value='29793'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.commons.commons-io' version='2.20.0'>
      <properties size='1'>
        <property name='download.size' value='563971'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.swt.svg' version='3.130.100.v20250701-0612'>
      <properties size='1'>
        <property name='download.size' value='15497'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.osgi.service.http.whiteboard' version='1.1.1.202109301733'>
      <properties size='1'>
        <property name='download.size' value='99604'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='813029'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.proofs' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='62076'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.cdt.make.core' version='8.0.100.202505200054'>
      <properties size='1'>
        <property name='download.size' value='480771'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.pea' version='0.89.0'>
      <properties size='1'>
        <property name='download.size' value='195009'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.contenttype' version='3.9.700.v20250720-0618'>
      <properties size='1'>
        <property name='download.size' value='107931'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.preferences' version='3.12.0.v20250721-0426'>
      <properties size='1'>
        <property name='download.size' value='130373'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.launcher' version='1.7.0.v20250519-0528'>
      <properties size='1'>
        <property name='download.size' value='52835'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.pdr' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='27395'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.reqtotest' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='52087'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='335059'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='wrapped.xerces.xercesImpl' version='2.12.2'>
      <properties size='1'>
        <property name='download.size' value='1464453'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.cdt.parser' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='64167'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.osgi.service.device' version='1.1.1.202109301733'>
      <properties size='1'>
        <property name='download.size' value='20356'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='BA_FeatureDependenciesCommon' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='1526'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.core' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='183620'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.blockencoding' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='59989'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='BA_FeatureUltimateCommandLine' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='674'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.commands' version='1.1.600.v20250307-1331'>
      <properties size='1'>
        <property name='download.size' value='31579'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='BA_FeatureUltimateCommon' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='1274'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.osgi.service.event' version='1.4.1.202109301733'>
      <properties size='1'>
        <property name='download.size' value='47710'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jetty.servlet-api' version='4.0.6'>
      <properties size='1'>
        <property name='download.size' value='273076'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.urischeme' version='1.3.500.v20240913-1323'>
      <properties size='1'>
        <property name='download.size' value='58264'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.boogie.preprocessor' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='124345'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.preferencejson' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='8129'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jakarta.activation-api' version='1.2.2'>
      <properties size='1'>
        <property name='download.size' value='46613'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.cdt.core.linux.x86_64' version='12.2.0.202509030008'>
      <properties size='1'>
        <property name='download.size' value='26461'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.runtime' version='3.34.0.v20250711-1249'>
      <properties size='1'>
        <property name='download.size' value='83305'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.di.extensions.supplier' version='0.17.900.v20250609-0432'>
      <properties size='1'>
        <property name='download.size' value='44016'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.launcher.gtk.linux.x86_64' version='1.2.1500.v20250801-0854'>
      <properties size='1'>
        <property name='download.size' value='90830'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.acceleratedinterpolation' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='58759'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.expressions' version='3.9.500.v20250608-0434'>
      <properties size='1'>
        <property name='download.size' value='99192'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='138650'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.icfgtransformer' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='507576'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.orbit.xml-apis-ext' version='1.0.0.v20240917-0534'>
      <properties size='1'>
        <property name='download.size' value='145530'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.boogie.parser' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='51506'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.osgi.service.wireadmin' version='1.0.2.202109301733'>
      <properties size='1'>
        <property name='download.size' value='43876'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.mcr' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='27484'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.astbuilder' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='39352'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.reqparser' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='14315'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.pea2boogie' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='154500'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='11990'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.filesystem' version='1.11.300.v20250607-0645'>
      <properties size='1'>
        <property name='download.size' value='79065'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.di' version='1.9.700.v20250609-0907'>
      <properties size='1'>
        <property name='download.size' value='65877'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='78671'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='23626'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.smtlibutils' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='701155'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.core' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='195542'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.osgi.service.provisioning' version='1.2.0.201505202024'>
      <properties size='1'>
        <property name='download.size' value='13697'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.source.smtparser' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='36818'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.automata' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='6029371'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.xml.resolver' version='1.2.0.v20230928-1222'>
      <properties size='1'>
        <property name='download.size' value='96008'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.http.service.api' version='1.2.102.v20250520-0629'>
      <properties size='1'>
        <property name='download.size' value='14808'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.xerces' version='2.12.2.v20230928-1306'>
      <properties size='1'>
        <property name='download.size' value='1561851'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.freemarker.freemarker' version='2.3.34.stable'>
      <properties size='1'>
        <property name='download.size' value='1886604'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.osgi.util' version='3.7.400.v20250516-0916'>
      <properties size='1'>
        <property name='download.size' value='16156'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.osgi.util.measurement' version='1.0.2.201802012109'>
      <properties size='1'>
        <property name='download.size' value='26354'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.github.jhoenicke.javacup' version='1.2.0'>
      <properties size='1'>
        <property name='download.size' value='150351'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.workbench3' version='0.17.500.v20250508-1247'>
      <properties size='1'>
        <property name='download.size' value='25275'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.jdom' version='1.1.3.v20230812-1600'>
      <properties size='1'>
        <property name='download.size' value='167367'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.chctoboogie' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='26729'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='wrapped.io.github.uuverifiers.eldarica_2.12' version='2.1.0'>
      <properties size='1'>
        <property name='download.size' value='3073693'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.sun.xml.bind.jaxb-osgi' version='4.0.5'>
      <properties size='1'>
        <property name='download.size' value='3532979'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='47500'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.di.annotations' version='1.8.400.v20240413-1529'>
      <properties size='1'>
        <property name='download.size' value='14150'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.emf.common' version='2.43.0.v20250629-1403'>
      <properties size='1'>
        <property name='download.size' value='403663'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jface.databinding' version='1.15.300.v20240424-0444'>
      <properties size='1'>
        <property name='download.size' value='299686'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.swt' version='3.131.0.v20250820-1556'>
      <properties size='1'>
        <property name='download.size' value='20283'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui.workbench' version='3.136.0.v20250814-1558'>
      <properties size='1'>
        <property name='download.size' value='3697611'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.osgi.service.upnp' version='1.2.1.202109301733'>
      <properties size='1'>
        <property name='download.size' value='31309'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.buchiprogramproduct' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='27361'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jakarta.xml.bind-api' version='4.0.2'>
      <properties size='1'>
        <property name='download.size' value='131033'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.services' version='1.6.500.v20250123-0754'>
      <properties size='1'>
        <property name='download.size' value='28559'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jakarta.annotation-api' version='2.1.1'>
      <properties size='1'>
        <property name='download.size' value='26141'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='60437'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='619773'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.ops4j.pax.logging.pax-logging-log4j2' version='2.2.7'>
      <properties size='1'>
        <property name='download.size' value='2182788'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.osgi.service.useradmin' version='1.1.1.202109301733'>
      <properties size='1'>
        <property name='download.size' value='36679'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.boogie.printer' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='9076'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.osgi.service.component' version='1.5.1.202212101352'>
      <properties size='1'>
        <property name='download.size' value='66447'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.pathexpressions' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='24232'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.databinding.observable' version='1.13.400.v20250409-0730'>
      <properties size='1'>
        <property name='download.size' value='324298'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.cdt.managedbuilder.core' version='9.7.300.202508041216'>
      <properties size='1'>
        <property name='download.size' value='1539624'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jface' version='3.38.0.v20250807-1828'>
      <properties size='1'>
        <property name='download.size' value='1261540'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.sifa' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='19768'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.ibm.icu' version='77.1.0'>
      <properties size='1'>
        <property name='download.size' value='14663227'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.sun.xml.bind.jaxb-impl' version='4.0.5'>
      <properties size='1'>
        <property name='download.size' value='923211'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.model.workbench' version='2.4.600.v20250318-1132'>
      <properties size='1'>
        <property name='download.size' value='409367'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.debug.core' version='3.23.100.v20250811-0711'>
      <properties size='1'>
        <property name='download.size' value='418220'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.swt.gtk.linux.x86_64' version='3.131.0.v20250820-1556'>
      <properties size='1'>
        <property name='download.size' value='2371284'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.tools.templates.core' version='2.0.200.202505200054'>
      <properties size='1'>
        <property name='download.size' value='14136'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='814890'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.logging.log4j.api' version='2.25.1'>
      <properties size='1'>
        <property name='download.size' value='349594'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.util' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='399006'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.sun.jna.platform' version='5.17.0'>
      <properties size='1'>
        <property name='download.size' value='1378617'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.di' version='1.5.600.v20250320-0558'>
      <properties size='1'>
        <property name='download.size' value='20053'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.emf.ecore' version='2.40.0.v20250803-1633'>
      <properties size='1'>
        <property name='download.size' value='1402912'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.boogieast' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='260667'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.dialogs' version='1.6.100.v20250422-1254'>
      <properties size='1'>
        <property name='download.size' value='70784'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.yaml.snakeyaml' version='2.4.0'>
      <properties size='1'>
        <property name='download.size' value='339825'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.osgi.util.position' version='1.0.1.201505202026'>
      <properties size='1'>
        <property name='download.size' value='14057'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.variables' version='3.6.600.v20250609-0415'>
      <properties size='1'>
        <property name='download.size' value='39839'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.contexts' version='1.13.200.v20250609-0437'>
      <properties size='1'>
        <property name='download.size' value='60302'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.workbench.addons.swt' version='1.5.800.v20250701-0653'>
      <properties size='1'>
        <property name='download.size' value='132019'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.generator.icfgbuilder' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='60147'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.sun.jna' version='5.17.0.v20250316-1700'>
      <properties size='1'>
        <property name='download.size' value='2017103'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.osgi.service.cm' version='1.6.1.202109301733'>
      <properties size='1'>
        <property name='download.size' value='55580'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.emf.ecore.xmi' version='2.39.0.v20250414-1351'>
      <properties size='1'>
        <property name='download.size' value='255039'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.ultimatemodel' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='89489'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.xmlgraphics' version='2.11.0.v20250506-1400'>
      <properties size='1'>
        <property name='download.size' value='739567'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='32686'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.event' version='1.7.300.v20250518-0609'>
      <properties size='1'>
        <property name='download.size' value='38033'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.smtlib' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='210161'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='12501'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.commons.cli' version='1.3.1'>
      <properties size='1'>
        <property name='download.size' value='42948'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.srparse' version='1.0.0'>
      <properties size='1'>
        <property name='download.size' value='128315'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.smtsolver.external' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='90927'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.osgi.service.prefs' version='1.1.2.202109301733'>
      <properties size='1'>
        <property name='download.size' value='20165'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.filesystem.linux.x86_64' version='1.2.400.v20220812-1420'>
      <properties size='1'>
        <property name='download.size' value='13450'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='net.sourceforge.czt' version='1.5.0'>
      <properties size='1'>
        <property name='download.size' value='4866625'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.css.swt' version='0.15.600.v20250409-1135'>
      <properties size='1'>
        <property name='download.size' value='212038'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.emf.ecore.change' version='2.17.0.v20240604-0832'>
      <properties size='1'>
        <property name='download.size' value='97842'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.felix.scr' version='2.2.12'>
      <properties size='1'>
        <property name='download.size' value='409222'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.commons.logging' version='1.2.0'>
      <properties size='1'>
        <property name='download.size' value='61829'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.databinding.property' version='1.10.400.v20250409-0730'>
      <properties size='1'>
        <property name='download.size' value='171462'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.common' version='3.20.200.v20250628-0509'>
      <properties size='1'>
        <property name='download.size' value='164829'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='20425'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='901860'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.cdt.core.native' version='6.5.0.202506201841'>
      <properties size='1'>
        <property name='download.size' value='73589'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.acsl.parser' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='227121'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.launchbar.core' version='3.0.200'>
      <properties size='1'>
        <property name='download.size' value='85884'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.chcsolver' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='12890'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.witnessprinter' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='63689'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.glassfish.hk2.osgi-resource-locator' version='1.0.4'>
      <properties size='1'>
        <property name='download.size' value='31973'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.boogie.procedureinliner' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='88526'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jakarta.xml.bind-api' version='2.3.3'>
      <properties size='1'>
        <property name='download.size' value='115638'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.osgi' version='3.23.200.v20250812-1847'>
      <properties size='1'>
        <property name='download.size' value='1609191'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.osgi.util.promise' version='1.3.0.202212101352'>
      <properties size='1'>
        <property name='download.size' value='85659'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.osgi.util.function' version='1.2.0.202109301733'>
      <properties size='1'>
        <property name='download.size' value='23641'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.text' version='3.14.400.v20250731-0735'>
      <properties size='1'>
        <property name='download.size' value='360963'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.scala-lang.scala-library' version='2.12.20.v20240816-043135-VFINAL-13f19f4'>
      <properties size='1'>
        <property name='download.size' value='5436770'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.tools.templates.freemarker' version='2.0.200.202505200054'>
      <properties size='1'>
        <property name='download.size' value='24509'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.batik.i18n' version='1.19.0.v20250506-1400'>
      <properties size='1'>
        <property name='download.size' value='21666'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jakarta.inject.jakarta.inject-api' version='2.0.1'>
      <properties size='1'>
        <property name='download.size' value='10681'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.osgi.util.xml' version='1.0.2.202109301733'>
      <properties size='1'>
        <property name='download.size' value='18738'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ltk.core.refactoring' version='3.15.0.v20241206-0650'>
      <properties size='1'>
        <property name='download.size' value='368603'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.icfgtochc' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='39361'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.databinding' version='1.13.600.v20250726-1743'>
      <properties size='1'>
        <property name='download.size' value='296710'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.help' version='3.10.600.v20250613-0437'>
      <properties size='1'>
        <property name='download.size' value='284493'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='93056'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.commons.lang3' version='3.18.0'>
      <properties size='1'>
        <property name='download.size' value='702952'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.xml.serializer' version='2.7.2.v20230928-1302'>
      <properties size='1'>
        <property name='download.size' value='294440'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='wrapped.io.github.uuverifiers.princess_2.12' version='2024.0.0.08'>
      <properties size='1'>
        <property name='download.size' value='5818245'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.bindings' version='0.14.700.v20250612-1000'>
      <properties size='1'>
        <property name='download.size' value='53029'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.mso' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='38595'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.witnessparser' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='44194'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.jobs' version='3.15.700.v20250725-1147'>
      <properties size='1'>
        <property name='download.size' value='120879'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.github.weisj.jsvg' version='1.7.2'>
      <properties size='1'>
        <property name='download.size' value='714177'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.emf.xpath' version='0.6.0.v20250215-1931'>
      <properties size='1'>
        <property name='download.size' value='26563'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.bidi' version='1.5.400.v20250715-0436'>
      <properties size='1'>
        <property name='download.size' value='55787'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.sifa' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='134414'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='125681'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.resources' version='3.23.0.v20250729-1759'>
      <properties size='1'>
        <property name='download.size' value='961349'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jakarta.activation-api' version='2.1.3'>
      <properties size='1'>
        <property name='download.size' value='66514'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.services' version='2.5.200.v20250326-1945'>
      <properties size='1'>
        <property name='download.size' value='76254'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.batik.util' version='1.19.0.v20250506-1400'>
      <properties size='1'>
        <property name='download.size' value='145944'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.css.swt.theme' version='0.14.500.v20250213-1508'>
      <properties size='1'>
        <property name='download.size' value='32285'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.css.core' version='0.14.500.v20240606-0949'>
      <properties size='1'>
        <property name='download.size' value='226374'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.chc' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='62266'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.workbench' version='1.18.0.v20250423-1201'>
      <properties size='1'>
        <property name='download.size' value='280490'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.osgi.service.metatype' version='1.4.1.202109301733'>
      <properties size='1'>
        <property name='download.size' value='30379'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.google.gson' version='2.13.1'>
      <properties size='1'>
        <property name='download.size' value='286972'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='142417'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.smtinterpol' version='2.0.0'>
      <properties size='1'>
        <property name='download.size' value='1222662'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.batik.css' version='1.19.0.v20250506-1400'>
      <properties size='1'>
        <property name='download.size' value='366169'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.ltl2aut' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='69149'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.di.extensions' version='0.18.300.v20240413-1529'>
      <properties size='1'>
        <property name='download.size' value='13271'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.sun.xml.bind' version='2.3.3.v20221203-1659'>
      <properties size='1'>
        <property name='download.size' value='1217735'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.log4j' version='1.2.26'>
      <properties size='1'>
        <property name='download.size' value='338688'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.cdt.core.linux' version='6.1.100.202402230238'>
      <properties size='1'>
        <property name='download.size' value='15796'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.commands' version='3.12.400.v20250312-0643'>
      <properties size='1'>
        <property name='download.size' value='122116'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.batik.constants' version='1.19.0.v20250506-1400'>
      <properties size='1'>
        <property name='download.size' value='18353'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.widgets' version='1.4.200.v20240801-0837'>
      <properties size='1'>
        <property name='download.size' value='16962'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='72785'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.cdt.core' version='9.2.100.202507101054'>
      <properties size='1'>
        <property name='download.size' value='6256457'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui' version='3.207.300.v20250730-1123'>
      <properties size='1'>
        <property name='download.size' value='847518'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.lib.lassoranker' version='0.9.5'>
      <properties size='1'>
        <property name='download.size' value='236978'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.workbench.swt' version='0.17.900.v20250612-1000'>
      <properties size='1'>
        <property name='download.size' value='164090'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.cdt.build.gcc.core' version='2.1.700.202507040537'>
      <properties size='1'>
        <property name='download.size' value='47375'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.registry' version='3.12.500.v20250708-0540'>
      <properties size='1'>
        <property name='download.size' value='206143'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.filebuffers' version='3.8.400.v20250108-1526'>
      <properties size='1'>
        <property name='download.size' value='122302'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='edu.uci.ics.jung' version='2.0.1'>
      <properties size='1'>
        <property name='download.size' value='4670490'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.ops4j.pax.logging.pax-logging-api' version='2.2.7'>
      <properties size='1'>
        <property name='download.size' value='835233'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.req.printer' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='10193'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.workbench.renderers.swt' version='0.16.900.v20250828-1028'>
      <properties size='1'>
        <property name='download.size' value='273044'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.generator.referee' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='10880'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.chcprinter' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='9662'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='29921'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.cli' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='34389'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.app' version='1.7.500.v20250629-0337'>
      <properties size='1'>
        <property name='download.size' value='93221'/>
      </properties>
    </artifact>
  </artifacts>
</repository>
