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
case_illinois200.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="1">
<data key="d0">0</data>
</node>
<node id="0">
<data key="d0">1</data>
</node>
<node id="118">
<data key="d0">0</data>
</node>
<node id="123">
<data key="d0">1</data>
</node>
<node id="192">
<data key="d0">0</data>
</node>
<node id="3">
<data key="d0">0</data>
</node>
<node id="2">
<data key="d0">1</data>
</node>
<node id="56">
<data key="d0">0</data>
</node>
<node id="136">
<data key="d0">0</data>
</node>
<node id="5">
<data key="d0">0</data>
</node>
<node id="4">
<data key="d0">1</data>
</node>
<node id="47">
<data key="d0">0</data>
</node>
<node id="63">
<data key="d0">1</data>
</node>
<node id="7">
<data key="d0">0</data>
</node>
<node id="6">
<data key="d0">1</data>
</node>
<node id="85">
<data key="d0">0</data>
</node>
<node id="100">
<data key="d0">0</data>
</node>
<node id="147">
<data key="d0">0</data>
</node>
<node id="9">
<data key="d0">0</data>
</node>
<node id="8">
<data key="d0">1</data>
</node>
<node id="130">
<data key="d0">0</data>
</node>
<node id="140">
<data key="d0">0</data>
</node>
<node id="11">
<data key="d0">0</data>
</node>
<node id="10">
<data key="d0">1</data>
</node>
<node id="12">
<data key="d0">0</data>
</node>
<node id="14">
<data key="d0">1</data>
</node>
<node id="92">
<data key="d0">0</data>
</node>
<node id="157">
<data key="d0">0</data>
</node>
<node id="13">
<data key="d0">1</data>
</node>
<node id="120">
<data key="d0">1</data>
</node>
<node id="148">
<data key="d0">1</data>
</node>
<node id="15">
<data key="d0">0</data>
</node>
<node id="17">
<data key="d0">0</data>
</node>
<node id="16">
<data key="d0">1</data>
</node>
<node id="18">
<data key="d0">0</data>
</node>
<node id="19">
<data key="d0">0</data>
</node>
<node id="20">
<data key="d0">0</data>
</node>
<node id="108">
<data key="d0">0</data>
</node>
<node id="119">
<data key="d0">0</data>
</node>
<node id="22">
<data key="d0">0</data>
</node>
<node id="21">
<data key="d0">1</data>
</node>
<node id="23">
<data key="d0">0</data>
</node>
<node id="26">
<data key="d0">1</data>
</node>
<node id="25">
<data key="d0">0</data>
</node>
<node id="24">
<data key="d0">1</data>
</node>
<node id="198">
<data key="d0">0</data>
</node>
<node id="27">
<data key="d0">0</data>
</node>
<node id="29">
<data key="d0">0</data>
</node>
<node id="28">
<data key="d0">1</data>
</node>
<node id="139">
<data key="d0">0</data>
</node>
<node id="31">
<data key="d0">0</data>
</node>
<node id="30">
<data key="d0">1</data>
</node>
<node id="32">
<data key="d0">0</data>
</node>
<node id="176">
<data key="d0">0</data>
</node>
<node id="191">
<data key="d0">0</data>
</node>
<node id="34">
<data key="d0">0</data>
</node>
<node id="33">
<data key="d0">1</data>
</node>
<node id="53">
<data key="d0">0</data>
</node>
<node id="36">
<data key="d0">0</data>
</node>
<node id="35">
<data key="d0">1</data>
</node>
<node id="37">
<data key="d0">0</data>
</node>
<node id="57">
<data key="d0">0</data>
</node>
<node id="82">
<data key="d0">0</data>
</node>
<node id="39">
<data key="d0">0</data>
</node>
<node id="38">
<data key="d0">0</data>
</node>
<node id="84">
<data key="d0">0</data>
</node>
<node id="158">
<data key="d0">0</data>
</node>
<node id="40">
<data key="d0">0</data>
</node>
<node id="99">
<data key="d0">0</data>
</node>
<node id="162">
<data key="d0">0</data>
</node>
<node id="179">
<data key="d0">0</data>
</node>
<node id="43">
<data key="d0">0</data>
</node>
<node id="41">
<data key="d0">0</data>
</node>
<node id="180">
<data key="d0">0</data>
</node>
<node id="42">
<data key="d0">0</data>
</node>
<node id="83">
<data key="d0">0</data>
</node>
<node id="131">
<data key="d0">0</data>
</node>
<node id="199">
<data key="d0">0</data>
</node>
<node id="54">
<data key="d0">1</data>
</node>
<node id="44">
<data key="d0">1</data>
</node>
<node id="101">
<data key="d0">1</data>
</node>
<node id="186">
<data key="d0">1</data>
</node>
<node id="60">
<data key="d0">0</data>
</node>
<node id="45">
<data key="d0">0</data>
</node>
<node id="121">
<data key="d0">0</data>
</node>
<node id="46">
<data key="d0">0</data>
</node>
<node id="65">
<data key="d0">1</data>
</node>
<node id="73">
<data key="d0">0</data>
</node>
<node id="80">
<data key="d0">1</data>
</node>
<node id="111">
<data key="d0">1</data>
</node>
<node id="127">
<data key="d0">1</data>
</node>
<node id="55">
<data key="d0">0</data>
</node>
<node id="102">
<data key="d0">1</data>
</node>
<node id="94">
<data key="d0">0</data>
</node>
<node id="58">
<data key="d0">0</data>
</node>
<node id="138">
<data key="d0">0</data>
</node>
<node id="59">
<data key="d0">0</data>
</node>
<node id="96">
<data key="d0">0</data>
</node>
<node id="133">
<data key="d0">1</data>
</node>
<node id="61">
<data key="d0">0</data>
</node>
<node id="159">
<data key="d0">1</data>
</node>
<node id="62">
<data key="d0">0</data>
</node>
<node id="183">
<data key="d0">0</data>
</node>
<node id="189">
<data key="d0">0</data>
</node>
<node id="107">
<data key="d0">0</data>
</node>
<node id="74">
<data key="d0">0</data>
</node>
<node id="156">
<data key="d0">0</data>
</node>
<node id="79">
<data key="d0">0</data>
</node>
<node id="142">
<data key="d0">0</data>
</node>
<node id="177">
<data key="d0">1</data>
</node>
<node id="81">
<data key="d0">0</data>
</node>
<node id="194">
<data key="d0">1</data>
</node>
<node id="145">
<data key="d0">1</data>
</node>
<node id="185">
<data key="d0">0</data>
</node>
<node id="112">
<data key="d0">1</data>
</node>
<node id="141">
<data key="d0">0</data>
</node>
<node id="86">
<data key="d0">1</data>
</node>
<node id="87">
<data key="d0">0</data>
</node>
<node id="149">
<data key="d0">1</data>
</node>
<node id="175">
<data key="d0">0</data>
</node>
<node id="193">
<data key="d0">0</data>
</node>
<node id="88">
<data key="d0">0</data>
</node>
<node id="187">
<data key="d0">1</data>
</node>
<node id="190">
<data key="d0">0</data>
</node>
<node id="95">
<data key="d0">0</data>
</node>
<node id="97">
<data key="d0">1</data>
</node>
<node id="122">
<data key="d0">1</data>
</node>
<node id="98">
<data key="d0">0</data>
</node>
<node id="173">
<data key="d0">0</data>
</node>
<node id="178">
<data key="d0">0</data>
</node>
<node id="109">
<data key="d0">0</data>
</node>
<node id="116">
<data key="d0">0</data>
</node>
<node id="105">
<data key="d0">0</data>
</node>
<node id="129">
<data key="d0">0</data>
</node>
<node id="106">
<data key="d0">0</data>
</node>
<node id="128">
<data key="d0">0</data>
</node>
<node id="197">
<data key="d0">0</data>
</node>
<node id="110">
<data key="d0">0</data>
</node>
<node id="174">
<data key="d0">0</data>
</node>
<node id="132">
<data key="d0">1</data>
</node>
<node id="115">
<data key="d0">1</data>
</node>
<node id="161">
<data key="d0">0</data>
</node>
<node id="117">
<data key="d0">0</data>
</node>
<node id="155">
<data key="d0">1</data>
</node>
<node id="143">
<data key="d0">0</data>
</node>
<node id="137">
<data key="d0">0</data>
</node>
<node id="144">
<data key="d0">0</data>
</node>
<node id="184">
<data key="d0">0</data>
</node>
<node id="170">
<data key="d0">0</data>
</node>
<node id="171">
<data key="d0">0</data>
</node>
<node id="172">
<data key="d0">0</data>
</node>
<node id="48">
<data key="d0">0</data>
</node>
<node id="49">
<data key="d0">0</data>
</node>
<node id="50">
<data key="d0">0</data>
</node>
<node id="51">
<data key="d0">0</data>
</node>
<node id="52">
<data key="d0">0</data>
</node>
<node id="64">
<data key="d0">0</data>
</node>
<node id="66">
<data key="d0">0</data>
</node>
<node id="67">
<data key="d0">0</data>
</node>
<node id="68">
<data key="d0">0</data>
</node>
<node id="69">
<data key="d0">0</data>
</node>
<node id="70">
<data key="d0">0</data>
</node>
<node id="71">
<data key="d0">0</data>
</node>
<node id="72">
<data key="d0">0</data>
</node>
<node id="75">
<data key="d0">0</data>
</node>
<node id="76">
<data key="d0">0</data>
</node>
<node id="77">
<data key="d0">0</data>
</node>
<node id="78">
<data key="d0">0</data>
</node>
<node id="89">
<data key="d0">0</data>
</node>
<node id="90">
<data key="d0">0</data>
</node>
<node id="91">
<data key="d0">0</data>
</node>
<node id="93">
<data key="d0">0</data>
</node>
<node id="103">
<data key="d0">0</data>
</node>
<node id="104">
<data key="d0">0</data>
</node>
<node id="113">
<data key="d0">0</data>
</node>
<node id="114">
<data key="d0">0</data>
</node>
<node id="124">
<data key="d0">0</data>
</node>
<node id="125">
<data key="d0">0</data>
</node>
<node id="126">
<data key="d0">0</data>
</node>
<node id="134">
<data key="d0">0</data>
</node>
<node id="135">
<data key="d0">0</data>
</node>
<node id="146">
<data key="d0">0</data>
</node>
<node id="150">
<data key="d0">0</data>
</node>
<node id="151">
<data key="d0">0</data>
</node>
<node id="152">
<data key="d0">0</data>
</node>
<node id="153">
<data key="d0">0</data>
</node>
<node id="154">
<data key="d0">0</data>
</node>
<node id="160">
<data key="d0">0</data>
</node>
<node id="163">
<data key="d0">0</data>
</node>
<node id="164">
<data key="d0">0</data>
</node>
<node id="165">
<data key="d0">0</data>
</node>
<node id="166">
<data key="d0">0</data>
</node>
<node id="167">
<data key="d0">0</data>
</node>
<node id="168">
<data key="d0">0</data>
</node>
<node id="169">
<data key="d0">0</data>
</node>
<node id="181">
<data key="d0">0</data>
</node>
<node id="182">
<data key="d0">0</data>
</node>
<node id="188">
<data key="d0">1</data>
</node>
<node id="195">
<data key="d0">0</data>
</node>
<node id="196">
<data key="d0">0</data>
</node>
<edge source="1" target="0"/>
<edge source="0" target="118"/>
<edge source="0" target="123"/>
<edge source="0" target="192"/>
<edge source="118" target="58"/>
<edge source="123" target="8"/>
<edge source="123" target="28"/>
<edge source="123" target="192"/>
<edge source="123" target="122"/>
<edge source="192" target="8"/>
<edge source="192" target="85"/>
<edge source="192" target="109"/>
<edge source="192" target="140"/>
<edge source="3" target="2"/>
<edge source="2" target="56"/>
<edge source="2" target="136"/>
<edge source="56" target="158"/>
<edge source="136" target="33"/>
<edge source="5" target="4"/>
<edge source="4" target="47"/>
<edge source="4" target="63"/>
<edge source="47" target="73"/>
<edge source="47" target="48"/>
<edge source="47" target="49"/>
<edge source="47" target="50"/>
<edge source="47" target="51"/>
<edge source="47" target="52"/>
<edge source="63" target="24"/>
<edge source="63" target="64"/>
<edge source="7" target="6"/>
<edge source="6" target="85"/>
<edge source="6" target="100"/>
<edge source="6" target="147"/>
<edge source="85" target="100"/>
<edge source="85" target="141"/>
<edge source="100" target="109"/>
<edge source="100" target="116"/>
<edge source="100" target="140"/>
<edge source="147" target="140"/>
<edge source="9" target="8"/>
<edge source="8" target="130"/>
<edge source="8" target="140"/>
<edge source="130" target="117"/>
<edge source="11" target="10"/>
<edge source="10" target="12"/>
<edge source="10" target="14"/>
<edge source="10" target="92"/>
<edge source="10" target="157"/>
<edge source="14" target="15"/>
<edge source="14" target="13"/>
<edge source="92" target="26"/>
<edge source="92" target="190"/>
<edge source="92" target="93"/>
<edge source="157" target="21"/>
<edge source="157" target="26"/>
<edge source="157" target="65"/>
<edge source="13" target="120"/>
<edge source="13" target="148"/>
<edge source="120" target="177"/>
<edge source="120" target="186"/>
<edge source="120" target="121"/>
<edge source="148" target="86"/>
<edge source="148" target="149"/>
<edge source="148" target="150"/>
<edge source="148" target="151"/>
<edge source="148" target="152"/>
<edge source="148" target="153"/>
<edge source="148" target="154"/>
<edge source="17" target="16"/>
<edge source="16" target="18"/>
<edge source="16" target="19"/>
<edge source="16" target="20"/>
<edge source="16" target="108"/>
<edge source="16" target="119"/>
<edge source="108" target="185"/>
<edge source="119" target="84"/>
<edge source="22" target="21"/>
<edge source="21" target="23"/>
<edge source="21" target="26"/>
<edge source="26" target="27"/>
<edge source="25" target="24"/>
<edge source="24" target="198"/>
<edge source="198" target="171"/>
<edge source="198" target="179"/>
<edge source="29" target="28"/>
<edge source="28" target="139"/>
<edge source="139" target="133"/>
<edge source="31" target="30"/>
<edge source="30" target="32"/>
<edge source="30" target="176"/>
<edge source="30" target="191"/>
<edge source="176" target="57"/>
<edge source="176" target="145"/>
<edge source="191" target="106"/>
<edge source="191" target="112"/>
<edge source="34" target="33"/>
<edge source="33" target="53"/>
<edge source="53" target="46"/>
<edge source="53" target="65"/>
<edge source="36" target="35"/>
<edge source="35" target="37"/>
<edge source="35" target="57"/>
<edge source="35" target="82"/>
<edge source="57" target="94"/>
<edge source="82" target="145"/>
<edge source="82" target="185"/>
<edge source="39" target="38"/>
<edge source="38" target="84"/>
<edge source="38" target="158"/>
<edge source="158" target="61"/>
<edge source="40" target="99"/>
<edge source="40" target="162"/>
<edge source="40" target="179"/>
<edge source="99" target="79"/>
<edge source="99" target="173"/>
<edge source="99" target="178"/>
<edge source="99" target="183"/>
<edge source="162" target="110"/>
<edge source="162" target="178"/>
<edge source="162" target="163"/>
<edge source="162" target="164"/>
<edge source="162" target="165"/>
<edge source="162" target="166"/>
<edge source="162" target="167"/>
<edge source="162" target="168"/>
<edge source="162" target="169"/>
<edge source="179" target="171"/>
<edge source="179" target="190"/>
<edge source="43" target="41"/>
<edge source="43" target="199"/>
<edge source="41" target="180"/>
<edge source="180" target="159"/>
<edge source="180" target="193"/>
<edge source="180" target="181"/>
<edge source="180" target="182"/>
<edge source="42" target="83"/>
<edge source="42" target="131"/>
<edge source="83" target="112"/>
<edge source="131" target="116"/>
<edge source="199" target="96"/>
<edge source="54" target="44"/>
<edge source="54" target="80"/>
<edge source="54" target="101"/>
<edge source="54" target="111"/>
<edge source="54" target="127"/>
<edge source="54" target="55"/>
<edge source="44" target="101"/>
<edge source="44" target="186"/>
<edge source="44" target="45"/>
<edge source="101" target="127"/>
<edge source="101" target="102"/>
<edge source="101" target="103"/>
<edge source="101" target="104"/>
<edge source="186" target="187"/>
<edge source="186" target="188"/>
<edge source="60" target="45"/>
<edge source="60" target="102"/>
<edge source="45" target="121"/>
<edge source="121" target="95"/>
<edge source="46" target="65"/>
<edge source="65" target="62"/>
<edge source="65" target="66"/>
<edge source="65" target="67"/>
<edge source="65" target="68"/>
<edge source="65" target="69"/>
<edge source="65" target="70"/>
<edge source="65" target="71"/>
<edge source="65" target="72"/>
<edge source="73" target="189"/>
<edge source="80" target="177"/>
<edge source="80" target="81"/>
<edge source="111" target="127"/>
<edge source="111" target="112"/>
<edge source="111" target="113"/>
<edge source="111" target="114"/>
<edge source="127" target="132"/>
<edge source="127" target="128"/>
<edge source="55" target="102"/>
<edge source="102" target="105"/>
<edge source="94" target="88"/>
<edge source="58" target="138"/>
<edge source="138" target="137"/>
<edge source="59" target="96"/>
<edge source="59" target="133"/>
<edge source="133" target="117"/>
<edge source="133" target="185"/>
<edge source="133" target="132"/>
<edge source="61" target="159"/>
<edge source="159" target="160"/>
<edge source="62" target="183"/>
<edge source="189" target="170"/>
<edge source="107" target="74"/>
<edge source="107" target="197"/>
<edge source="74" target="156"/>
<edge source="74" target="75"/>
<edge source="74" target="76"/>
<edge source="74" target="77"/>
<edge source="74" target="78"/>
<edge source="156" target="155"/>
<edge source="79" target="142"/>
<edge source="142" target="95"/>
<edge source="177" target="178"/>
<edge source="81" target="194"/>
<edge source="194" target="137"/>
<edge source="194" target="170"/>
<edge source="194" target="195"/>
<edge source="194" target="196"/>
<edge source="145" target="146"/>
<edge source="112" target="106"/>
<edge source="141" target="98"/>
<edge source="86" target="87"/>
<edge source="87" target="149"/>
<edge source="87" target="175"/>
<edge source="87" target="193"/>
<edge source="149" target="184"/>
<edge source="149" target="193"/>
<edge source="175" target="144"/>
<edge source="88" target="187"/>
<edge source="88" target="89"/>
<edge source="88" target="90"/>
<edge source="88" target="91"/>
<edge source="187" target="95"/>
<edge source="187" target="173"/>
<edge source="97" target="122"/>
<edge source="97" target="98"/>
<edge source="122" target="132"/>
<edge source="122" target="155"/>
<edge source="122" target="124"/>
<edge source="122" target="125"/>
<edge source="122" target="126"/>
<edge source="173" target="172"/>
<edge source="116" target="161"/>
<edge source="116" target="115"/>
<edge source="105" target="129"/>
<edge source="129" target="143"/>
<edge source="106" target="128"/>
<edge source="197" target="117"/>
<edge source="110" target="174"/>
<edge source="174" target="172"/>
<edge source="132" target="115"/>
<edge source="132" target="155"/>
<edge source="132" target="134"/>
<edge source="132" target="135"/>
<edge source="161" target="143"/>
<edge source="144" target="184"/>
</graph></graphml>

Computing file changes ...