case145.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="0">
<data key="d0">1</data>
</node>
<node id="1">
<data key="d0">1</data>
</node>
<node id="5">
<data key="d0">1</data>
</node>
<node id="6">
<data key="d0">1</data>
</node>
<node id="8">
<data key="d0">1</data>
</node>
<node id="9">
<data key="d0">1</data>
</node>
<node id="11">
<data key="d0">1</data>
</node>
<node id="7">
<data key="d0">1</data>
</node>
<node id="65">
<data key="d0">0</data>
</node>
<node id="10">
<data key="d0">1</data>
</node>
<node id="68">
<data key="d0">1</data>
</node>
<node id="13">
<data key="d0">1</data>
</node>
<node id="24">
<data key="d0">1</data>
</node>
<node id="12">
<data key="d0">1</data>
</node>
<node id="71">
<data key="d0">1</data>
</node>
<node id="16">
<data key="d0">1</data>
</node>
<node id="14">
<data key="d0">1</data>
</node>
<node id="57">
<data key="d0">0</data>
</node>
<node id="15">
<data key="d0">1</data>
</node>
<node id="21">
<data key="d0">1</data>
</node>
<node id="17">
<data key="d0">1</data>
</node>
<node id="58">
<data key="d0">1</data>
</node>
<node id="18">
<data key="d0">1</data>
</node>
<node id="19">
<data key="d0">1</data>
</node>
<node id="20">
<data key="d0">1</data>
</node>
<node id="23">
<data key="d0">1</data>
</node>
<node id="22">
<data key="d0">1</data>
</node>
<node id="82">
<data key="d0">1</data>
</node>
<node id="26">
<data key="d0">1</data>
</node>
<node id="25">
<data key="d0">1</data>
</node>
<node id="72">
<data key="d0">1</data>
</node>
<node id="27">
<data key="d0">1</data>
</node>
<node id="74">
<data key="d0">1</data>
</node>
<node id="28">
<data key="d0">1</data>
</node>
<node id="29">
<data key="d0">1</data>
</node>
<node id="77">
<data key="d0">0</data>
</node>
<node id="30">
<data key="d0">1</data>
</node>
<node id="73">
<data key="d0">0</data>
</node>
<node id="31">
<data key="d0">1</data>
</node>
<node id="32">
<data key="d0">1</data>
</node>
<node id="33">
<data key="d0">0</data>
</node>
<node id="34">
<data key="d0">0</data>
</node>
<node id="36">
<data key="d0">1</data>
</node>
<node id="37">
<data key="d0">1</data>
</node>
<node id="38">
<data key="d0">1</data>
</node>
<node id="39">
<data key="d0">1</data>
</node>
<node id="48">
<data key="d0">1</data>
</node>
<node id="49">
<data key="d0">1</data>
</node>
<node id="35">
<data key="d0">1</data>
</node>
<node id="42">
<data key="d0">1</data>
</node>
<node id="43">
<data key="d0">1</data>
</node>
<node id="40">
<data key="d0">1</data>
</node>
<node id="41">
<data key="d0">1</data>
</node>
<node id="45">
<data key="d0">1</data>
</node>
<node id="44">
<data key="d0">1</data>
</node>
<node id="60">
<data key="d0">1</data>
</node>
<node id="46">
<data key="d0">1</data>
</node>
<node id="47">
<data key="d0">1</data>
</node>
<node id="86">
<data key="d0">1</data>
</node>
<node id="50">
<data key="d0">0</data>
</node>
<node id="51">
<data key="d0">1</data>
</node>
<node id="52">
<data key="d0">1</data>
</node>
<node id="53">
<data key="d0">1</data>
</node>
<node id="54">
<data key="d0">1</data>
</node>
<node id="55">
<data key="d0">1</data>
</node>
<node id="56">
<data key="d0">1</data>
</node>
<node id="97">
<data key="d0">0</data>
</node>
<node id="99">
<data key="d0">0</data>
</node>
<node id="102">
<data key="d0">0</data>
</node>
<node id="59">
<data key="d0">0</data>
</node>
<node id="78">
<data key="d0">0</data>
</node>
<node id="79">
<data key="d0">0</data>
</node>
<node id="88">
<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="106">
<data key="d0">0</data>
</node>
<node id="134">
<data key="d0">0</data>
</node>
<node id="89">
<data key="d0">0</data>
</node>
<node id="94">
<data key="d0">0</data>
</node>
<node id="137">
<data key="d0">0</data>
</node>
<node id="61">
<data key="d0">1</data>
</node>
<node id="85">
<data key="d0">1</data>
</node>
<node id="62">
<data key="d0">1</data>
</node>
<node id="63">
<data key="d0">1</data>
</node>
<node id="64">
<data key="d0">1</data>
</node>
<node id="66">
<data key="d0">0</data>
</node>
<node id="101">
<data key="d0">0</data>
</node>
<node id="115">
<data key="d0">0</data>
</node>
<node id="116">
<data key="d0">0</data>
</node>
<node id="117">
<data key="d0">0</data>
</node>
<node id="123">
<data key="d0">0</data>
</node>
<node id="96">
<data key="d0">0</data>
</node>
<node id="67">
<data key="d0">0</data>
</node>
<node id="110">
<data key="d0">0</data>
</node>
<node id="118">
<data key="d0">0</data>
</node>
<node id="119">
<data key="d0">0</data>
</node>
<node id="120">
<data key="d0">0</data>
</node>
<node id="121">
<data key="d0">0</data>
</node>
<node id="124">
<data key="d0">0</data>
</node>
<node id="131">
<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="100">
<data key="d0">0</data>
</node>
<node id="111">
<data key="d0">0</data>
</node>
<node id="80">
<data key="d0">0</data>
</node>
<node id="81">
<data key="d0">0</data>
</node>
<node id="90">
<data key="d0">0</data>
</node>
<node id="95">
<data key="d0">0</data>
</node>
<node id="104">
<data key="d0">0</data>
</node>
<node id="107">
<data key="d0">0</data>
</node>
<node id="108">
<data key="d0">0</data>
</node>
<node id="105">
<data key="d0">0</data>
</node>
<node id="75">
<data key="d0">1</data>
</node>
<node id="76">
<data key="d0">1</data>
</node>
<node id="114">
<data key="d0">0</data>
</node>
<node id="142">
<data key="d0">0</data>
</node>
<node id="130">
<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="127">
<data key="d0">0</data>
</node>
<node id="128">
<data key="d0">0</data>
</node>
<node id="129">
<data key="d0">0</data>
</node>
<node id="143">
<data key="d0">0</data>
</node>
<node id="122">
<data key="d0">0</data>
</node>
<node id="132">
<data key="d0">0</data>
</node>
<node id="133">
<data key="d0">0</data>
</node>
<node id="135">
<data key="d0">0</data>
</node>
<node id="138">
<data key="d0">0</data>
</node>
<node id="140">
<data key="d0">0</data>
</node>
<node id="141">
<data key="d0">0</data>
</node>
<node id="144">
<data key="d0">0</data>
</node>
<node id="139">
<data key="d0">0</data>
</node>
<node id="136">
<data key="d0">0</data>
</node>
<node id="2">
<data key="d0">1</data>
</node>
<node id="3">
<data key="d0">1</data>
</node>
<node id="4">
<data key="d0">1</data>
</node>
<node id="92">
<data key="d0">0</data>
</node>
<node id="112">
<data key="d0">1</data>
</node>
<node id="113">
<data key="d0">1</data>
</node>
<node id="103">
<data key="d0">0</data>
</node>
<node id="109">
<data key="d0">0</data>
</node>
<node id="98">
<data key="d0">0</data>
</node>
<node id="87">
<data key="d0">0</data>
</node>
<node id="83">
<data key="d0">0</data>
</node>
<node id="84">
<data key="d0">0</data>
</node>
<edge source="0" target="1"/>
<edge source="0" target="5"/>
<edge source="0" target="2"/>
<edge source="0" target="3"/>
<edge source="0" target="4"/>
<edge source="0" target="32"/>
<edge source="0" target="92"/>
<edge source="1" target="5"/>
<edge source="1" target="112"/>
<edge source="1" target="113"/>
<edge source="5" target="6"/>
<edge source="5" target="8"/>
<edge source="5" target="9"/>
<edge source="5" target="11"/>
<edge source="6" target="7"/>
<edge source="6" target="65"/>
<edge source="6" target="103"/>
<edge source="8" target="10"/>
<edge source="8" target="68"/>
<edge source="9" target="31"/>
<edge source="9" target="68"/>
<edge source="11" target="13"/>
<edge source="11" target="24"/>
<edge source="11" target="12"/>
<edge source="11" target="71"/>
<edge source="7" target="65"/>
<edge source="65" target="62"/>
<edge source="65" target="63"/>
<edge source="65" target="64"/>
<edge source="65" target="66"/>
<edge source="65" target="67"/>
<edge source="65" target="68"/>
<edge source="65" target="96"/>
<edge source="65" target="110"/>
<edge source="65" target="123"/>
<edge source="10" target="68"/>
<edge source="68" target="31"/>
<edge source="68" target="62"/>
<edge source="68" target="63"/>
<edge source="68" target="64"/>
<edge source="68" target="66"/>
<edge source="68" target="67"/>
<edge source="68" target="69"/>
<edge source="68" target="70"/>
<edge source="68" target="71"/>
<edge source="68" target="72"/>
<edge source="68" target="73"/>
<edge source="68" target="96"/>
<edge source="68" target="100"/>
<edge source="68" target="111"/>
<edge source="68" target="123"/>
<edge source="13" target="16"/>
<edge source="13" target="14"/>
<edge source="13" target="15"/>
<edge source="13" target="57"/>
<edge source="24" target="26"/>
<edge source="24" target="25"/>
<edge source="24" target="30"/>
<edge source="24" target="72"/>
<edge source="24" target="73"/>
<edge source="12" target="71"/>
<edge source="71" target="57"/>
<edge source="71" target="58"/>
<edge source="71" target="69"/>
<edge source="71" target="70"/>
<edge source="71" target="72"/>
<edge source="71" target="73"/>
<edge source="71" target="97"/>
<edge source="71" target="99"/>
<edge source="71" target="100"/>
<edge source="71" target="102"/>
<edge source="71" target="111"/>
<edge source="16" target="21"/>
<edge source="16" target="17"/>
<edge source="16" target="18"/>
<edge source="16" target="19"/>
<edge source="16" target="20"/>
<edge source="16" target="58"/>
<edge source="14" target="57"/>
<edge source="57" target="15"/>
<edge source="57" target="55"/>
<edge source="57" target="56"/>
<edge source="57" target="58"/>
<edge source="57" target="86"/>
<edge source="57" target="97"/>
<edge source="57" target="99"/>
<edge source="57" target="102"/>
<edge source="21" target="23"/>
<edge source="21" target="22"/>
<edge source="21" target="29"/>
<edge source="21" target="77"/>
<edge source="21" target="82"/>
<edge source="17" target="58"/>
<edge source="58" target="18"/>
<edge source="58" target="19"/>
<edge source="58" target="20"/>
<edge source="58" target="59"/>
<edge source="58" target="78"/>
<edge source="58" target="79"/>
<edge source="58" target="88"/>
<edge source="58" target="91"/>
<edge source="58" target="93"/>
<edge source="58" target="97"/>
<edge source="58" target="99"/>
<edge source="58" target="102"/>
<edge source="58" target="106"/>
<edge source="23" target="75"/>
<edge source="23" target="76"/>
<edge source="22" target="82"/>
<edge source="82" target="88"/>
<edge source="26" target="27"/>
<edge source="26" target="28"/>
<edge source="26" target="74"/>
<edge source="25" target="72"/>
<edge source="72" target="69"/>
<edge source="72" target="70"/>
<edge source="72" target="73"/>
<edge source="72" target="74"/>
<edge source="72" target="80"/>
<edge source="72" target="81"/>
<edge source="72" target="90"/>
<edge source="72" target="95"/>
<edge source="72" target="100"/>
<edge source="72" target="104"/>
<edge source="72" target="107"/>
<edge source="72" target="108"/>
<edge source="72" target="111"/>
<edge source="72" target="120"/>
<edge source="27" target="74"/>
<edge source="74" target="28"/>
<edge source="74" target="73"/>
<edge source="74" target="81"/>
<edge source="74" target="90"/>
<edge source="74" target="95"/>
<edge source="74" target="107"/>
<edge source="74" target="108"/>
<edge source="74" target="120"/>
<edge source="29" target="77"/>
<edge source="30" target="73"/>
<edge source="73" target="69"/>
<edge source="73" target="70"/>
<edge source="73" target="80"/>
<edge source="73" target="81"/>
<edge source="73" target="90"/>
<edge source="73" target="95"/>
<edge source="73" target="100"/>
<edge source="73" target="105"/>
<edge source="73" target="107"/>
<edge source="73" target="108"/>
<edge source="73" target="111"/>
<edge source="73" target="120"/>
<edge source="32" target="33"/>
<edge source="32" target="34"/>
<edge source="32" target="36"/>
<edge source="32" target="37"/>
<edge source="32" target="38"/>
<edge source="32" target="39"/>
<edge source="32" target="48"/>
<edge source="32" target="49"/>
<edge source="32" target="2"/>
<edge source="32" target="3"/>
<edge source="32" target="4"/>
<edge source="32" target="109"/>
<edge source="33" target="35"/>
<edge source="36" target="86"/>
<edge source="36" target="87"/>
<edge source="37" target="87"/>
<edge source="38" target="42"/>
<edge source="38" target="83"/>
<edge source="39" target="43"/>
<edge source="39" target="83"/>
<edge source="48" target="50"/>
<edge source="48" target="47"/>
<edge source="49" target="50"/>
<edge source="49" target="46"/>
<edge source="35" target="98"/>
<edge source="42" target="45"/>
<edge source="42" target="40"/>
<edge source="43" target="44"/>
<edge source="43" target="41"/>
<edge source="40" target="41"/>
<edge source="45" target="60"/>
<edge source="45" target="84"/>
<edge source="44" target="60"/>
<edge source="44" target="84"/>
<edge source="60" target="53"/>
<edge source="60" target="54"/>
<edge source="60" target="61"/>
<edge source="60" target="62"/>
<edge source="60" target="63"/>
<edge source="60" target="64"/>
<edge source="60" target="85"/>
<edge source="46" target="47"/>
<edge source="46" target="86"/>
<edge source="47" target="86"/>
<edge source="50" target="51"/>
<edge source="50" target="52"/>
<edge source="50" target="55"/>
<edge source="50" target="56"/>
<edge source="51" target="52"/>
<edge source="51" target="53"/>
<edge source="52" target="54"/>
<edge source="53" target="54"/>
<edge source="55" target="56"/>
<edge source="97" target="99"/>
<edge source="97" target="102"/>
<edge source="99" target="102"/>
<edge source="102" target="88"/>
<edge source="59" target="134"/>
<edge source="59" target="78"/>
<edge source="59" target="79"/>
<edge source="59" target="89"/>
<edge source="59" target="91"/>
<edge source="59" target="93"/>
<edge source="59" target="94"/>
<edge source="59" target="137"/>
<edge source="78" target="79"/>
<edge source="78" target="89"/>
<edge source="78" target="91"/>
<edge source="78" target="93"/>
<edge source="78" target="94"/>
<edge source="78" target="106"/>
<edge source="79" target="89"/>
<edge source="79" target="91"/>
<edge source="79" target="93"/>
<edge source="88" target="75"/>
<edge source="91" target="89"/>
<edge source="91" target="93"/>
<edge source="91" target="106"/>
<edge source="93" target="89"/>
<edge source="93" target="94"/>
<edge source="93" target="137"/>
<edge source="134" target="94"/>
<edge source="134" target="135"/>
<edge source="134" target="137"/>
<edge source="134" target="140"/>
<edge source="94" target="137"/>
<edge source="137" target="135"/>
<edge source="61" target="85"/>
<edge source="62" target="63"/>
<edge source="62" target="64"/>
<edge source="62" target="66"/>
<edge source="62" target="101"/>
<edge source="62" target="115"/>
<edge source="62" target="116"/>
<edge source="62" target="117"/>
<edge source="62" target="123"/>
<edge source="63" target="64"/>
<edge source="63" target="66"/>
<edge source="63" target="96"/>
<edge source="63" target="123"/>
<edge source="64" target="66"/>
<edge source="64" target="96"/>
<edge source="64" target="123"/>
<edge source="66" target="67"/>
<edge source="66" target="96"/>
<edge source="66" target="118"/>
<edge source="66" target="119"/>
<edge source="66" target="120"/>
<edge source="66" target="121"/>
<edge source="66" target="123"/>
<edge source="66" target="124"/>
<edge source="66" target="131"/>
<edge source="101" target="116"/>
<edge source="101" target="117"/>
<edge source="115" target="114"/>
<edge source="115" target="116"/>
<edge source="115" target="117"/>
<edge source="115" target="142"/>
<edge source="115" target="135"/>
<edge source="115" target="140"/>
<edge source="115" target="141"/>
<edge source="116" target="114"/>
<edge source="116" target="117"/>
<edge source="116" target="142"/>
<edge source="116" target="135"/>
<edge source="116" target="140"/>
<edge source="116" target="141"/>
<edge source="117" target="114"/>
<edge source="117" target="130"/>
<edge source="117" target="131"/>
<edge source="117" target="142"/>
<edge source="117" target="135"/>
<edge source="117" target="140"/>
<edge source="117" target="141"/>
<edge source="123" target="96"/>
<edge source="123" target="118"/>
<edge source="123" target="119"/>
<edge source="123" target="120"/>
<edge source="123" target="121"/>
<edge source="123" target="122"/>
<edge source="123" target="124"/>
<edge source="123" target="127"/>
<edge source="123" target="130"/>
<edge source="123" target="131"/>
<edge source="123" target="132"/>
<edge source="123" target="142"/>
<edge source="123" target="141"/>
<edge source="118" target="119"/>
<edge source="118" target="120"/>
<edge source="118" target="121"/>
<edge source="118" target="124"/>
<edge source="118" target="125"/>
<edge source="118" target="126"/>
<edge source="118" target="127"/>
<edge source="118" target="128"/>
<edge source="118" target="129"/>
<edge source="118" target="130"/>
<edge source="118" target="131"/>
<edge source="118" target="143"/>
<edge source="118" target="141"/>
<edge source="119" target="120"/>
<edge source="119" target="121"/>
<edge source="119" target="122"/>
<edge source="119" target="124"/>
<edge source="119" target="126"/>
<edge source="119" target="127"/>
<edge source="119" target="128"/>
<edge source="119" target="129"/>
<edge source="119" target="130"/>
<edge source="119" target="131"/>
<edge source="119" target="141"/>
<edge source="120" target="81"/>
<edge source="120" target="90"/>
<edge source="120" target="107"/>
<edge source="120" target="108"/>
<edge source="120" target="121"/>
<edge source="120" target="122"/>
<edge source="120" target="124"/>
<edge source="120" target="126"/>
<edge source="120" target="127"/>
<edge source="120" target="128"/>
<edge source="120" target="130"/>
<edge source="120" target="131"/>
<edge source="121" target="122"/>
<edge source="121" target="124"/>
<edge source="121" target="130"/>
<edge source="121" target="131"/>
<edge source="121" target="132"/>
<edge source="121" target="142"/>
<edge source="121" target="141"/>
<edge source="124" target="122"/>
<edge source="124" target="126"/>
<edge source="124" target="127"/>
<edge source="124" target="128"/>
<edge source="124" target="129"/>
<edge source="124" target="130"/>
<edge source="124" target="131"/>
<edge source="124" target="141"/>
<edge source="131" target="122"/>
<edge source="131" target="129"/>
<edge source="131" target="130"/>
<edge source="131" target="132"/>
<edge source="131" target="142"/>
<edge source="131" target="143"/>
<edge source="131" target="140"/>
<edge source="131" target="141"/>
<edge source="69" target="70"/>
<edge source="69" target="100"/>
<edge source="69" target="111"/>
<edge source="70" target="100"/>
<edge source="70" target="111"/>
<edge source="100" target="111"/>
<edge source="81" target="90"/>
<edge source="81" target="107"/>
<edge source="81" target="108"/>
<edge source="90" target="95"/>
<edge source="90" target="107"/>
<edge source="90" target="108"/>
<edge source="95" target="107"/>
<edge source="107" target="108"/>
<edge source="75" target="76"/>
<edge source="114" target="142"/>
<edge source="114" target="135"/>
<edge source="114" target="140"/>
<edge source="114" target="141"/>
<edge source="142" target="130"/>
<edge source="142" target="132"/>
<edge source="142" target="135"/>
<edge source="142" target="140"/>
<edge source="142" target="141"/>
<edge source="142" target="143"/>
<edge source="130" target="122"/>
<edge source="130" target="127"/>
<edge source="130" target="129"/>
<edge source="130" target="132"/>
<edge source="130" target="143"/>
<edge source="130" target="133"/>
<edge source="130" target="140"/>
<edge source="130" target="141"/>
<edge source="126" target="127"/>
<edge source="126" target="128"/>
<edge source="127" target="128"/>
<edge source="127" target="129"/>
<edge source="129" target="143"/>
<edge source="129" target="141"/>
<edge source="143" target="133"/>
<edge source="143" target="140"/>
<edge source="143" target="141"/>
<edge source="143" target="144"/>
<edge source="132" target="141"/>
<edge source="133" target="135"/>
<edge source="133" target="138"/>
<edge source="133" target="140"/>
<edge source="133" target="141"/>
<edge source="133" target="144"/>
<edge source="135" target="138"/>
<edge source="135" target="139"/>
<edge source="135" target="140"/>
<edge source="135" target="141"/>
<edge source="135" target="144"/>
<edge source="138" target="136"/>
<edge source="138" target="139"/>
<edge source="138" target="140"/>
<edge source="138" target="141"/>
<edge source="138" target="144"/>
<edge source="140" target="141"/>
<edge source="140" target="144"/>
<edge source="141" target="144"/>
<edge source="144" target="136"/>
<edge source="144" target="139"/>
<edge source="139" target="136"/>
</graph></graphml>