<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<edu.rpi.legup.Legup version="2.0">
    <edu.rpi.legup.puzzle name="LightUp">
        <board height="10" width="10">
            <cells>
                <cell value="1" x="2" y="0"/>
                <cell value="1" x="6" y="0"/>
                <cell value="2" x="1" y="1"/>
                <cell value="-1" x="8" y="1"/>
                <cell value="-1" x="2" y="2"/>
                <cell value="0" x="3" y="2"/>
                <cell value="1" x="7" y="2"/>
                <cell value="3" x="9" y="2"/>
                <cell value="2" x="0" y="3"/>
                <cell value="-1" x="7" y="3"/>
                <cell value="1" x="2" y="6"/>
                <cell value="0" x="9" y="6"/>
                <cell value="-1" x="0" y="7"/>
                <cell value="-1" x="2" y="7"/>
                <cell value="0" x="6" y="7"/>
                <cell value="0" x="7" y="7"/>
                <cell value="-1" x="1" y="8"/>
                <cell value="-1" x="8" y="8"/>
                <cell value="2" x="3" y="9"/>
                <cell value="2" x="7" y="9"/>
            </cells>
        </board>
        <proof>
            <tree>
                <nodes>
                    <node id="635752021" root="true"/>
                    <node id="969931361"/>
                    <node id="1338531176"/>
                    <node id="1006028322"/>
                    <node id="924216700"/>
                    <node id="612813927"/>
                    <node id="666057929"/>
                    <node id="2096591476"/>
                    <node id="881192197"/>
                    <node id="264602977"/>
                    <node id="253187735"/>
                    <node id="1820665725"/>
                    <node id="1940101200"/>
                    <node id="436028900"/>
                    <node id="1042916570"/>
                    <node id="821604997"/>
                    <node id="635406497"/>
                    <node id="881040301"/>
                    <node id="1119266000"/>
                    <node id="660149903"/>
                    <node id="932436858"/>
                    <node id="1536548765"/>
                    <node id="1211427127"/>
                    <node id="2114828369"/>
                    <node id="1906533089"/>
                    <node id="501407308"/>
                    <node id="678805565"/>
                    <node id="2029052801"/>
                    <node id="1108316962"/>
                    <node id="592103505"/>
                    <node id="912829842"/>
                    <node id="281114852"/>
                    <node id="562012774"/>
                    <node id="836565984"/>
                    <node id="2080264863"/>
                    <node id="181268348"/>
                    <node id="294683436"/>
                    <node id="2114105482"/>
                    <node id="1256002075"/>
                    <node id="1222080221"/>
                </nodes>
                <transitions>
                    <transition child="969931361" id="1829323560" parent="635752021" rule="Finish with Bulbs">
                        <cell value="-4" x="9" y="3"/>
                        <cell value="-4" x="8" y="2"/>
                        <cell value="-4" x="9" y="1"/>
                    </transition>
                    <transition child="1338531176" id="1944081176" parent="969931361" rule="Finish with Empty">
                        <cell value="-3" x="7" y="8"/>
                        <cell value="-3" x="6" y="8"/>
                        <cell value="-3" x="5" y="7"/>
                        <cell value="-3" x="6" y="6"/>
                        <cell value="-3" x="7" y="6"/>
                        <cell value="-3" x="9" y="7"/>
                        <cell value="-3" x="3" y="3"/>
                        <cell value="-3" x="4" y="2"/>
                        <cell value="-3" x="3" y="1"/>
                        <cell value="-3" x="7" y="1"/>
                        <cell value="-3" x="6" y="2"/>
                    </transition>
                    <transition child="1006028322" id="1821677856" parent="1338531176" rule="Finish with Bulbs">
                        <cell value="-4" x="8" y="9"/>
                        <cell value="-4" x="6" y="9"/>
                    </transition>
                    <transition child="924216700" id="1158098756" parent="1006028322" rule="Empty Cells in Light">
                        <cell value="-3" x="4" y="9"/>
                    </transition>
                    <transition child="612813927" id="1647322319" parent="924216700" rule="Finish with Bulbs">
                        <cell value="-4" x="3" y="8"/>
                        <cell value="-4" x="2" y="9"/>
                    </transition>
                    <transition child="666057929" id="330945282" parent="612813927" rule="Must Light">
                        <cell value="-4" x="9" y="8"/>
                    </transition>
                    <transition child="2096591476" id="1529615820" parent="666057929" rule="Must Light">
                        <cell value="-4" x="0" y="8"/>
                    </transition>
                    <transition child="881192197" id="1847271054" parent="2096591476" rule="Light or Empty">
                        <cell value="-3" x="0" y="2"/>
                    </transition>
                    <transition child="264602977" id="1808944603" parent="881192197" rule="Finish with Bulbs">
                        <cell value="-4" x="1" y="3"/>
                        <cell value="-4" x="0" y="4"/>
                    </transition>
                    <transition child="253187735" id="1418697303" parent="264602977" rule="Empty Cells in Light">
                        <cell value="-3" x="1" y="6"/>
                        <cell value="-3" x="3" y="6"/>
                    </transition>
                    <transition child="1820665725" id="532368289" parent="253187735" rule="Finish with Bulbs">
                        <cell value="-4" x="2" y="5"/>
                    </transition>
                    <transition child="1940101200" id="702732726" parent="1820665725" rule="Empty Cells in Light">
                        <cell value="-3" x="1" y="2"/>
                    </transition>
                    <transition child="436028900" id="528034342" parent="1940101200" rule="Light or Empty">
                        <cell value="-4" x="2" y="1"/>
                    </transition>
                    <transition child="1042916570" id="1623971468" parent="436028900" rule="Finish with Empty">
                        <cell value="-3" x="1" y="0"/>
                        <cell value="-3" x="3" y="0"/>
                    </transition>
                    <transition child="821604997" id="1527129582" parent="1042916570" rule="Finish with Bulbs">
                        <cell value="-4" x="0" y="1"/>
                    </transition>
                    <transition child="635406497" id="705250569" parent="821604997" rule="Cannot Light A Cell"/>
                    <transition child="881040301" id="1344796100" parent="1940101200" rule="Light or Empty">
                        <cell value="-3" x="2" y="1"/>
                    </transition>
                    <transition child="1119266000" id="2018672821" parent="881040301" rule="Finish with Bulbs">
                        <cell value="-4" x="0" y="1"/>
                        <cell value="-4" x="1" y="0"/>
                    </transition>
                    <transition child="660149903" id="1039215197" parent="1119266000" rule="Finish with Empty">
                        <cell value="-3" x="3" y="0"/>
                    </transition>
                    <transition child="932436858" id="185056220" parent="660149903" rule="Light or Empty">
                        <cell value="-4" x="4" y="0"/>
                    </transition>
                    <transition child="1536548765" id="1734845004" parent="932436858" rule="Must Light">
                        <cell value="-4" x="5" y="6"/>
                    </transition>
                    <transition child="1211427127" id="194939511" parent="1536548765" rule="Must Light">
                        <cell value="-4" x="6" y="1"/>
                    </transition>
                    <transition child="2114828369" id="1941510642" parent="1211427127" rule="Finish with Empty">
                        <cell value="-3" x="7" y="0"/>
                    </transition>
                    <transition child="1906533089" id="1163302146" parent="2114828369" rule="Must Light">
                        <cell value="-4" x="8" y="0"/>
                    </transition>
                    <transition child="501407308" id="48327484" parent="660149903" rule="Light or Empty">
                        <cell value="-3" x="4" y="0"/>
                    </transition>
                    <transition child="678805565" id="900412644" parent="501407308" rule="Light or Empty">
                        <cell value="-4" x="5" y="2"/>
                    </transition>
                    <transition child="2029052801" id="1008337382" parent="678805565" rule="Must Light">
                        <cell value="-4" x="4" y="6"/>
                    </transition>
                    <transition child="1108316962" id="1760691627" parent="2029052801" rule="Cannot Light A Cell"/>
                    <transition child="592103505" id="1829189489" parent="501407308" rule="Light or Empty">
                        <cell value="-3" x="5" y="2"/>
                    </transition>
                    <transition child="912829842" id="1016057988" parent="592103505" rule="Light or Empty">
                        <cell value="-3" x="5" y="0"/>
                    </transition>
                    <transition child="281114852" id="2033075054" parent="912829842" rule="Cannot Light A Cell"/>
                    <transition child="562012774" id="1376293256" parent="592103505" rule="Light or Empty">
                        <cell value="-4" x="5" y="0"/>
                    </transition>
                    <transition child="836565984" id="708943892" parent="562012774" rule="Finish with Empty">
                        <cell value="-3" x="6" y="1"/>
                        <cell value="-3" x="7" y="0"/>
                    </transition>
                    <transition child="2080264863" id="659470466" parent="836565984" rule="Must Light">
                        <cell value="-4" x="4" y="1"/>
                        <cell value="-4" x="8" y="0"/>
                    </transition>
                    <transition child="181268348" id="1553472756" parent="2080264863" rule="Cannot Light A Cell"/>
                    <transition child="294683436" id="665681122" parent="2096591476" rule="Light or Empty">
                        <cell value="-4" x="0" y="2"/>
                    </transition>
                    <transition child="2114105482" id="1155019396" parent="294683436" rule="Empty Cells in Light">
                        <cell value="-3" x="1" y="2"/>
                        <cell value="-3" x="0" y="1"/>
                    </transition>
                    <transition child="1256002075" id="421845214" parent="2114105482" rule="Finish with Bulbs">
                        <cell value="-4" x="2" y="1"/>
                        <cell value="-4" x="1" y="0"/>
                    </transition>
                    <transition child="1222080221" id="572341315" parent="1256002075" rule="Too Many Bulbs"/>
                </transitions>
            </tree>
        </proof>
    </edu.rpi.legup.puzzle>
</edu.rpi.legup.Legup>
