Revision 5a44a1183318dd6f9b5dc5eed204695e90703a4f authored by Max Göttlicher on 15 February 2023, 10:22:34 UTC, committed by Max Göttlicher on 15 February 2023, 10:22:34 UTC
1 parent 1898f1b
case89pegase.graphml
<?xml version='1.0' encoding='utf-8'?>
<graphml xmlns="http://graphml.graphdrawing.org/xmlns" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://graphml.graphdrawing.org/xmlns/1.0/graphml.xsd"><key id="d0" for="node" attr.name="zero_injection" attr.type="long"/>
<graph edgedefault="undirected"><node id="31">
<data key="d0">0</data>
</node>
<node id="4">
<data key="d0">1</data>
</node>
<node id="84">
<data key="d0">1</data>
</node>
<node id="43">
<data key="d0">0</data>
</node>
<node id="18">
<data key="d0">0</data>
</node>
<node id="57">
<data key="d0">0</data>
</node>
<node id="12">
<data key="d0">0</data>
</node>
<node id="54">
<data key="d0">0</data>
</node>
<node id="61">
<data key="d0">1</data>
</node>
<node id="24">
<data key="d0">1</data>
</node>
<node id="63">
<data key="d0">1</data>
</node>
<node id="56">
<data key="d0">1</data>
</node>
<node id="19">
<data key="d0">0</data>
</node>
<node id="87">
<data key="d0">0</data>
</node>
<node id="34">
<data key="d0">0</data>
</node>
<node id="7">
<data key="d0">0</data>
</node>
<node id="1">
<data key="d0">0</data>
</node>
<node id="60">
<data key="d0">0</data>
</node>
<node id="83">
<data key="d0">0</data>
</node>
<node id="51">
<data key="d0">0</data>
</node>
<node id="78">
<data key="d0">1</data>
</node>
<node id="16">
<data key="d0">1</data>
</node>
<node id="9">
<data key="d0">1</data>
</node>
<node id="86">
<data key="d0">1</data>
</node>
<node id="82">
<data key="d0">1</data>
</node>
<node id="25">
<data key="d0">0</data>
</node>
<node id="38">
<data key="d0">1</data>
</node>
<node id="66">
<data key="d0">0</data>
</node>
<node id="39">
<data key="d0">0</data>
</node>
<node id="76">
<data key="d0">0</data>
</node>
<node id="45">
<data key="d0">0</data>
</node>
<node id="2">
<data key="d0">0</data>
</node>
<node id="27">
<data key="d0">0</data>
</node>
<node id="42">
<data key="d0">0</data>
</node>
<node id="40">
<data key="d0">0</data>
</node>
<node id="49">
<data key="d0">1</data>
</node>
<node id="41">
<data key="d0">0</data>
</node>
<node id="29">
<data key="d0">1</data>
</node>
<node id="8">
<data key="d0">1</data>
</node>
<node id="46">
<data key="d0">0</data>
</node>
<node id="68">
<data key="d0">1</data>
</node>
<node id="28">
<data key="d0">1</data>
</node>
<node id="0">
<data key="d0">1</data>
</node>
<node id="10">
<data key="d0">0</data>
</node>
<node id="80">
<data key="d0">0</data>
</node>
<node id="11">
<data key="d0">1</data>
</node>
<node id="17">
<data key="d0">1</data>
</node>
<node id="62">
<data key="d0">1</data>
</node>
<node id="6">
<data key="d0">1</data>
</node>
<node id="20">
<data key="d0">0</data>
</node>
<node id="53">
<data key="d0">1</data>
</node>
<node id="58">
<data key="d0">1</data>
</node>
<node id="26">
<data key="d0">1</data>
</node>
<node id="35">
<data key="d0">1</data>
</node>
<node id="30">
<data key="d0">0</data>
</node>
<node id="75">
<data key="d0">1</data>
</node>
<node id="88">
<data key="d0">0</data>
</node>
<node id="70">
<data key="d0">0</data>
</node>
<node id="55">
<data key="d0">0</data>
</node>
<node id="47">
<data key="d0">1</data>
</node>
<node id="59">
<data key="d0">0</data>
</node>
<node id="5">
<data key="d0">0</data>
</node>
<node id="33">
<data key="d0">1</data>
</node>
<node id="64">
<data key="d0">0</data>
</node>
<node id="23">
<data key="d0">0</data>
</node>
<node id="67">
<data key="d0">1</data>
</node>
<node id="22">
<data key="d0">0</data>
</node>
<node id="36">
<data key="d0">0</data>
</node>
<node id="50">
<data key="d0">1</data>
</node>
<node id="32">
<data key="d0">0</data>
</node>
<node id="44">
<data key="d0">0</data>
</node>
<node id="15">
<data key="d0">0</data>
</node>
<node id="73">
<data key="d0">1</data>
</node>
<node id="72">
<data key="d0">1</data>
</node>
<node id="85">
<data key="d0">1</data>
</node>
<node id="48">
<data key="d0">1</data>
</node>
<node id="37">
<data key="d0">1</data>
</node>
<node id="14">
<data key="d0">1</data>
</node>
<node id="13">
<data key="d0">1</data>
</node>
<node id="52">
<data key="d0">1</data>
</node>
<node id="81">
<data key="d0">1</data>
</node>
<node id="74">
<data key="d0">1</data>
</node>
<node id="3">
<data key="d0">1</data>
</node>
<node id="77">
<data key="d0">1</data>
</node>
<node id="69">
<data key="d0">0</data>
</node>
<node id="71">
<data key="d0">0</data>
</node>
<node id="79">
<data key="d0">0</data>
</node>
<node id="65">
<data key="d0">0</data>
</node>
<node id="21">
<data key="d0">0</data>
</node>
<edge source="31" target="4"/>
<edge source="4" target="43"/>
<edge source="4" target="10"/>
<edge source="4" target="75"/>
<edge source="4" target="62"/>
<edge source="4" target="88"/>
<edge source="4" target="70"/>
<edge source="4" target="55"/>
<edge source="4" target="47"/>
<edge source="4" target="59"/>
<edge source="4" target="33"/>
<edge source="84" target="43"/>
<edge source="84" target="57"/>
<edge source="43" target="29"/>
<edge source="43" target="8"/>
<edge source="43" target="18"/>
<edge source="18" target="57"/>
<edge source="18" target="46"/>
<edge source="18" target="12"/>
<edge source="18" target="5"/>
<edge source="57" target="12"/>
<edge source="12" target="46"/>
<edge source="12" target="5"/>
<edge source="12" target="64"/>
<edge source="12" target="76"/>
<edge source="12" target="75"/>
<edge source="12" target="27"/>
<edge source="12" target="42"/>
<edge source="54" target="61"/>
<edge source="54" target="24"/>
<edge source="54" target="63"/>
<edge source="54" target="56"/>
<edge source="54" target="87"/>
<edge source="54" target="19"/>
<edge source="61" target="83"/>
<edge source="24" target="68"/>
<edge source="24" target="30"/>
<edge source="63" target="22"/>
<edge source="56" target="20"/>
<edge source="56" target="26"/>
<edge source="19" target="87"/>
<edge source="19" target="34"/>
<edge source="19" target="7"/>
<edge source="19" target="1"/>
<edge source="19" target="60"/>
<edge source="19" target="83"/>
<edge source="19" target="51"/>
<edge source="19" target="69"/>
<edge source="87" target="7"/>
<edge source="87" target="60"/>
<edge source="87" target="83"/>
<edge source="34" target="25"/>
<edge source="34" target="49"/>
<edge source="34" target="41"/>
<edge source="34" target="1"/>
<edge source="34" target="60"/>
<edge source="34" target="66"/>
<edge source="34" target="39"/>
<edge source="34" target="76"/>
<edge source="34" target="45"/>
<edge source="34" target="2"/>
<edge source="34" target="51"/>
<edge source="34" target="27"/>
<edge source="34" target="42"/>
<edge source="34" target="40"/>
<edge source="7" target="35"/>
<edge source="7" target="83"/>
<edge source="1" target="41"/>
<edge source="1" target="60"/>
<edge source="1" target="51"/>
<edge source="1" target="17"/>
<edge source="60" target="25"/>
<edge source="60" target="83"/>
<edge source="60" target="51"/>
<edge source="60" target="11"/>
<edge source="60" target="69"/>
<edge source="83" target="22"/>
<edge source="51" target="74"/>
<edge source="51" target="69"/>
<edge source="51" target="81"/>
<edge source="78" target="16"/>
<edge source="78" target="9"/>
<edge source="78" target="86"/>
<edge source="78" target="82"/>
<edge source="78" target="25"/>
<edge source="78" target="49"/>
<edge source="16" target="68"/>
<edge source="16" target="28"/>
<edge source="9" target="17"/>
<edge source="9" target="62"/>
<edge source="86" target="68"/>
<edge source="86" target="0"/>
<edge source="82" target="80"/>
<edge source="82" target="58"/>
<edge source="25" target="38"/>
<edge source="25" target="66"/>
<edge source="25" target="39"/>
<edge source="25" target="76"/>
<edge source="25" target="45"/>
<edge source="25" target="2"/>
<edge source="25" target="27"/>
<edge source="25" target="42"/>
<edge source="25" target="40"/>
<edge source="38" target="41"/>
<edge source="66" target="5"/>
<edge source="66" target="32"/>
<edge source="66" target="39"/>
<edge source="66" target="64"/>
<edge source="66" target="76"/>
<edge source="66" target="45"/>
<edge source="66" target="2"/>
<edge source="66" target="27"/>
<edge source="66" target="42"/>
<edge source="66" target="40"/>
<edge source="66" target="15"/>
<edge source="66" target="85"/>
<edge source="39" target="32"/>
<edge source="39" target="64"/>
<edge source="39" target="76"/>
<edge source="39" target="45"/>
<edge source="39" target="2"/>
<edge source="39" target="27"/>
<edge source="39" target="42"/>
<edge source="39" target="40"/>
<edge source="39" target="15"/>
<edge source="39" target="73"/>
<edge source="76" target="5"/>
<edge source="76" target="64"/>
<edge source="76" target="13"/>
<edge source="76" target="45"/>
<edge source="76" target="27"/>
<edge source="76" target="42"/>
<edge source="76" target="40"/>
<edge source="76" target="46"/>
<edge source="76" target="48"/>
<edge source="45" target="64"/>
<edge source="45" target="2"/>
<edge source="45" target="30"/>
<edge source="45" target="42"/>
<edge source="45" target="40"/>
<edge source="45" target="15"/>
<edge source="45" target="68"/>
<edge source="2" target="32"/>
<edge source="2" target="64"/>
<edge source="2" target="30"/>
<edge source="2" target="42"/>
<edge source="2" target="40"/>
<edge source="2" target="15"/>
<edge source="2" target="68"/>
<edge source="27" target="5"/>
<edge source="27" target="64"/>
<edge source="27" target="42"/>
<edge source="27" target="40"/>
<edge source="27" target="46"/>
<edge source="27" target="3"/>
<edge source="42" target="5"/>
<edge source="42" target="64"/>
<edge source="42" target="40"/>
<edge source="42" target="46"/>
<edge source="42" target="28"/>
<edge source="40" target="5"/>
<edge source="40" target="64"/>
<edge source="40" target="46"/>
<edge source="40" target="0"/>
<edge source="49" target="41"/>
<edge source="41" target="58"/>
<edge source="46" target="5"/>
<edge source="46" target="23"/>
<edge source="46" target="64"/>
<edge source="68" target="6"/>
<edge source="68" target="20"/>
<edge source="68" target="73"/>
<edge source="68" target="85"/>
<edge source="68" target="72"/>
<edge source="10" target="80"/>
<edge source="80" target="11"/>
<edge source="62" target="81"/>
<edge source="20" target="53"/>
<edge source="53" target="36"/>
<edge source="53" target="50"/>
<edge source="53" target="77"/>
<edge source="53" target="21"/>
<edge source="26" target="35"/>
<edge source="35" target="30"/>
<edge source="55" target="3"/>
<edge source="47" target="23"/>
<edge source="47" target="67"/>
<edge source="5" target="33"/>
<edge source="5" target="64"/>
<edge source="64" target="32"/>
<edge source="64" target="37"/>
<edge source="64" target="15"/>
<edge source="64" target="72"/>
<edge source="67" target="79"/>
<edge source="36" target="32"/>
<edge source="32" target="44"/>
<edge source="32" target="15"/>
<edge source="44" target="15"/>
<edge source="15" target="77"/>
<edge source="73" target="72"/>
<edge source="72" target="48"/>
<edge source="48" target="14"/>
<edge source="48" target="13"/>
<edge source="14" target="52"/>
<edge source="52" target="65"/>
<edge source="81" target="71"/>
</graph></graphml>

Computing file changes ...