<?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='1770211331026'/>
  </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='206'>
    <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.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='org.eclipse.e4.ui.workbench3' version='0.17.400.v20240321-1245'>
      <properties size='1'>
        <property name='download.size' value='23798'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.app' version='1.7.100.v20240321-1445'>
      <properties size='1'>
        <property name='download.size' value='94237'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.emf.common' version='2.30.0.v20240314-0928'>
      <properties size='1'>
        <property name='download.size' value='390466'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.commons.commons-io' version='2.16.1'>
      <properties size='1'>
        <property name='download.size' value='508826'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.workbench.swt' version='0.17.400.v20240425-0840'>
      <properties size='1'>
        <property name='download.size' value='154637'/>
      </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='812992'/>
      </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='62066'/>
      </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='195019'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jface' version='3.34.0.v20240502-1134'>
      <properties size='1'>
        <property name='download.size' value='1198100'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.runtime' version='3.31.100.v20240524-2010'>
      <properties size='1'>
        <property name='download.size' value='83054'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.emf.ecore' version='2.36.0.v20240203-0859'>
      <properties size='1'>
        <property name='download.size' value='1353329'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.model.workbench' version='2.4.300.v20240321-1245'>
      <properties size='1'>
        <property name='download.size' value='406273'/>
      </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='27391'/>
      </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='52089'/>
      </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='335024'/>
      </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='64313'/>
      </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='osgi.bundle' id='org.apache.batik.css' version='1.17.0.v20231215-1130'>
      <properties size='1'>
        <property name='download.size' value='364646'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='BA_FeatureDependenciesCommon' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='1680'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.di' version='1.5.400.v20240321-1245'>
      <properties size='1'>
        <property name='download.size' value='18657'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.launcher' version='1.6.800.v20240513-1750'>
      <properties size='1'>
        <property name='download.size' value='48292'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.bindings' version='0.14.400.v20240321-1245'>
      <properties size='1'>
        <property name='download.size' value='49726'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.uni_freiburg.informatik.ultimate.core' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='183591'/>
      </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='59983'/>
      </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.apache.commons.collections' version='3.2.2'>
      <properties size='1'>
        <property name='download.size' value='588337'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='BA_FeatureUltimateCommon' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='1338'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.css.swt.theme' version='0.14.400.v20240424-0956'>
      <properties size='1'>
        <property name='download.size' value='30902'/>
      </properties>
    </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='de.uni_freiburg.informatik.ultimate.boogie.preprocessor' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='124320'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.xmlgraphics' version='2.9.0.v20230916-1600'>
      <properties size='1'>
        <property name='download.size' value='729268'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.contenttype' version='3.9.400.v20240507-1301'>
      <properties size='1'>
        <property name='download.size' value='105754'/>
      </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='8131'/>
      </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.apache.log4j' version='1.2.25'>
      <properties size='1'>
        <property name='download.size' value='333325'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.expressions' version='3.9.400.v20240413-1529'>
      <properties size='1'>
        <property name='download.size' value='97692'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.databinding.property' version='1.10.300.v20240424-0444'>
      <properties size='1'>
        <property name='download.size' value='170052'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.batik.constants' version='1.17.0.v20231215-1130'>
      <properties size='1'>
        <property name='download.size' value='16872'/>
      </properties>
    </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='58751'/>
      </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='138637'/>
      </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='507571'/>
      </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='51480'/>
      </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='org.eclipse.tools.templates.core' version='2.0.100.202402230238'>
      <properties size='1'>
        <property name='download.size' value='12714'/>
      </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='27479'/>
      </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='39351'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.osgi.util' version='3.7.300.v20231104-1118'>
      <properties size='1'>
        <property name='download.size' value='14765'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.event' version='1.7.100.v20240321-1445'>
      <properties size='1'>
        <property name='download.size' value='36371'/>
      </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='14323'/>
      </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='154503'/>
      </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='12136'/>
      </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='78663'/>
      </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='23622'/>
      </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='701154'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.emf.ecore.change' version='2.16.0.v20231208-1346'>
      <properties size='1'>
        <property name='download.size' value='93695'/>
      </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='195517'/>
      </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='com.sun.jna' version='5.14.0.v20231211-1200'>
      <properties size='1'>
        <property name='download.size' value='1892954'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </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='36857'/>
      </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='6029362'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.felix.scr' version='2.2.10'>
      <properties size='1'>
        <property name='download.size' value='403580'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.services' version='2.4.400.v20240413-1529'>
      <properties size='1'>
        <property name='download.size' value='73505'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.batik.i18n' version='1.17.0.v20231215-1130'>
      <properties size='1'>
        <property name='download.size' value='20176'/>
      </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.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.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.urischeme' version='1.3.300.v20240424-0956'>
      <properties size='1'>
        <property name='download.size' value='56561'/>
      </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='26762'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.dialogs' version='1.5.0.v20240424-0957'>
      <properties size='1'>
        <property name='download.size' value='60296'/>
      </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='47533'/>
      </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.e4.ui.workbench.addons.swt' version='1.5.400.v20240416-0658'>
      <properties size='1'>
        <property name='download.size' value='123963'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.common' version='3.19.100.v20240524-2011'>
      <properties size='1'>
        <property name='download.size' value='163334'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.di' version='1.9.400.v20240414-1643'>
      <properties size='1'>
        <property name='download.size' value='64573'/>
      </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.tools.templates.freemarker' version='2.0.100.202402230238'>
      <properties size='1'>
        <property name='download.size' value='23092'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.logging.log4j.api' version='2.23.1'>
      <properties size='1'>
        <property name='download.size' value='342535'/>
      </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='27350'/>
      </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='jakarta.annotation-api' version='2.1.1'>
      <properties size='1'>
        <property name='download.size' value='26141'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.batik.util' version='1.17.0.v20231215-1130'>
      <properties size='1'>
        <property name='download.size' value='144388'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.emf.ecore.xmi' version='2.37.0.v20231208-1346'>
      <properties size='1'>
        <property name='download.size' value='244285'/>
      </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='60425'/>
      </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='619769'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.services' version='1.6.300.v20231201-1637'>
      <properties size='1'>
        <property name='download.size' value='27057'/>
      </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='9048'/>
      </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='com.sun.jna.platform' version='5.14.0'>
      <properties size='1'>
        <property name='download.size' value='1369287'/>
      </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='24205'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.workbench' version='1.15.400.v20240502-1134'>
      <properties size='1'>
        <property name='download.size' value='275955'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.emf.xpath' version='0.4.300.v20240321-1245'>
      <properties size='1'>
        <property name='download.size' value='55301'/>
      </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='19743'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.swt' version='3.126.0.v20240528-0813'>
      <properties size='1'>
        <property name='download.size' value='20255'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.databinding.observable' version='1.13.300.v20240424-0444'>
      <properties size='1'>
        <property name='download.size' value='322906'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.ibm.icu' version='75.1.0'>
      <properties size='1'>
        <property name='download.size' value='14312248'/>
      </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.help' version='3.10.400.v20240415-0528'>
      <properties size='1'>
        <property name='download.size' value='283107'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.http.service.api' version='1.2.2.v20231218-2126'>
      <properties size='1'>
        <property name='download.size' value='13409'/>
      </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='815081'/>
      </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='399005'/>
      </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='260666'/>
      </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.apache.commons.jxpath' version='1.3.0'>
      <properties size='1'>
        <property name='download.size' value='299994'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ltk.core.refactoring' version='3.14.400.v20240321-1245'>
      <properties size='1'>
        <property name='download.size' value='354698'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.commands' version='1.1.400.v20240424-0444'>
      <properties size='1'>
        <property name='download.size' value='30115'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.css.core' version='0.14.400.v20240427-1520'>
      <properties size='1'>
        <property name='download.size' value='224779'/>
      </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='60116'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui' version='3.206.0.v20240524-2010'>
      <properties size='1'>
        <property name='download.size' value='446077'/>
      </properties>
    </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.core.variables' version='3.6.400.v20240413-1529'>
      <properties size='1'>
        <property name='download.size' value='38440'/>
      </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='89484'/>
      </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='32592'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.cdt.core.native' version='6.3.400.202404270026'>
      <properties size='1'>
        <property name='download.size' value='73412'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.commons.commons-beanutils' version='1.9.4'>
      <properties size='1'>
        <property name='download.size' value='246918'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.osgi' version='3.20.0.v20240509-1421'>
      <properties size='1'>
        <property name='download.size' value='1554340'/>
      </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='12475'/>
      </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='128322'/>
      </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='90923'/>
      </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.cdt.build.gcc.core' version='2.1.400.202402230238'>
      <properties size='1'>
        <property name='download.size' value='43058'/>
      </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='4866624'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.cdt.core' version='8.4.200.202405291253'>
      <properties size='1'>
        <property name='download.size' value='6233570'/>
      </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.equinox.bidi' version='1.5.100.v20240321-1445'>
      <properties size='1'>
        <property name='download.size' value='54228'/>
      </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='20414'/>
      </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='901496'/>
      </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='227119'/>
      </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='12926'/>
      </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='63664'/>
      </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='88670'/>
      </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.equinox.launcher.gtk.linux.x86_64' version='1.2.1000.v20240506-2123'>
      <properties size='1'>
        <property name='download.size' value='90712'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </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.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.core.resources' version='3.20.200.v20240513-1323'>
      <properties size='1'>
        <property name='download.size' value='951782'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.google.gson' version='2.11.0'>
      <properties size='1'>
        <property name='download.size' value='298435'/>
      </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.eclipse.osgi.services' version='3.12.100.v20240327-0645'>
      <properties size='1'>
        <property name='download.size' value='28417'/>
      </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.yaml.snakeyaml' version='2.3.0'>
      <properties size='1'>
        <property name='download.size' value='342152'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.contexts' version='1.12.600.v20240413-1529'>
      <properties size='1'>
        <property name='download.size' value='58089'/>
      </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='39394'/>
      </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='93032'/>
      </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='de.uni_freiburg.informatik.ultimate.lib.mso' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='38585'/>
      </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='44169'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.orbit.xml-apis-ext' version='1.0.0.v20230923-0644'>
      <properties size='1'>
        <property name='download.size' value='144098'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui.workbench' version='3.132.0.v20240524-2010'>
      <properties size='1'>
        <property name='download.size' value='3686423'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.css.swt' version='0.15.400.v20240321-1245'>
      <properties size='1'>
        <property name='download.size' value='209224'/>
      </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='134387'/>
      </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='125653'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.filesystem' version='1.10.400.v20240426-1040'>
      <properties size='1'>
        <property name='download.size' value='75272'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.preferences' version='3.11.100.v20240327-0645'>
      <properties size='1'>
        <property name='download.size' value='128242'/>
      </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.di.extensions.supplier' version='0.17.500.v20240419-1233'>
      <properties size='1'>
        <property name='download.size' value='42540'/>
      </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='62299'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.swt.gtk.linux.x86_64' version='3.126.0.v20240528-0813'>
      <properties size='1'>
        <property name='download.size' value='2235574'/>
      </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='de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer' version='0.3.1'>
      <properties size='1'>
        <property name='download.size' value='142411'/>
      </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='1222660'/>
      </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='69137'/>
      </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.freemarker.freemarker' version='2.3.32.stable'>
      <properties size='1'>
        <property name='download.size' value='1736381'/>
      </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.filebuffers' version='3.8.300.v20240207-1054'>
      <properties size='1'>
        <property name='download.size' value='119723'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.cdt.make.core' version='7.6.500.202402230238'>
      <properties size='1'>
        <property name='download.size' value='479189'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jdt.annotation' version='2.3.0.v20240111-2306'>
      <properties size='1'>
        <property name='download.size' value='31821'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.workbench.renderers.swt' version='0.16.400.v20240418-1547'>
      <properties size='1'>
        <property name='download.size' value='265941'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.text' version='3.14.100.v20240524-2010'>
      <properties size='1'>
        <property name='download.size' value='360807'/>
      </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='72772'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='javax.el-api' version='3.0.3'>
      <properties size='1'>
        <property name='download.size' value='79816'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.cdt.managedbuilder.core' version='9.7.0.202405161606'>
      <properties size='1'>
        <property name='download.size' value='1535530'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.registry' version='3.12.100.v20240524-2011'>
      <properties size='1'>
        <property name='download.size' value='206024'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.widgets' version='1.4.100.v20231201-1637'>
      <properties size='1'>
        <property name='download.size' value='15470'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.jobs' version='3.15.300.v20240418-0734'>
      <properties size='1'>
        <property name='download.size' value='118672'/>
      </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='236969'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.commands' version='3.12.100.v20240424-0956'>
      <properties size='1'>
        <property name='download.size' value='120672'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.commons.lang3' version='3.17.0'>
      <properties size='1'>
        <property name='download.size' value='673587'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.glassfish.hk2.osgi-resource-locator' version='1.0.3'>
      <properties size='1'>
        <property name='download.size' value='19479'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='edu.uci.ics.jung' version='2.0.1'>
      <properties size='1'>
        <property name='download.size' value='4670489'/>
      </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='10198'/>
      </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='10870'/>
      </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='9697'/>
      </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='29916'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.cdt.core.linux.x86_64' version='11.6.0.202406041555'>
      <properties size='1'>
        <property name='download.size' value='25718'/>
      </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='34360'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.databinding' version='1.13.300.v20240424-0444'>
      <properties size='1'>
        <property name='download.size' value='294938'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='javax.servlet.jsp-api' version='2.3.3'>
      <properties size='1'>
        <property name='download.size' value='54200'/>
      </properties>
    </artifact>
  </artifacts>
</repository>
