<?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="1579518817" root="true"/>
                    <node id="1188717042"/>
                    <node id="457906515"/>
                    <node id="1339268086"/>
                    <node id="1144538751"/>
                    <node id="1872554384"/>
                    <node id="1447513238"/>
                    <node id="608941565"/>
                    <node id="1451042903"/>
                    <node id="1061671049"/>
                    <node id="1357944712"/>
                    <node id="1601682964"/>
                    <node id="85483907"/>
                    <node id="558236719"/>
                    <node id="1986203139"/>
                    <node id="757179530"/>
                    <node id="1382819843"/>
                    <node id="621105192"/>
                    <node id="190482247"/>
                    <node id="277415590"/>
                    <node id="1527021912"/>
                    <node id="149054135"/>
                    <node id="696752813"/>
                    <node id="1427863123"/>
                    <node id="548489332"/>
                    <node id="1518510969"/>
                    <node id="1918561766"/>
                    <node id="1184934335"/>
                    <node id="748553527"/>
                    <node id="1411993339"/>
                    <node id="1993580570"/>
                    <node id="1086043599"/>
                    <node id="1152047744"/>
                    <node id="1550795848"/>
                    <node id="1917663663"/>
                </nodes>
                <transitions>
                    <transition child="1188717042" id="569066421" parent="1579518817" 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="457906515" id="1813043023" parent="1188717042" 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="1339268086" id="462308604" parent="457906515" rule="Finish with Bulbs">
                        <cell value="-4" x="8" y="9"/>
                        <cell value="-4" x="6" y="9"/>
                    </transition>
                    <transition child="1144538751" id="1159339473" parent="1339268086" rule="Empty Cells in Light">
                        <cell value="-3" x="4" y="9"/>
                    </transition>
                    <transition child="1872554384" id="1050085420" parent="1144538751" rule="Finish with Bulbs">
                        <cell value="-4" x="3" y="8"/>
                        <cell value="-4" x="2" y="9"/>
                    </transition>
                    <transition child="1447513238" id="1414990366" parent="1872554384" rule="Must Light">
                        <cell value="-4" x="9" y="8"/>
                    </transition>
                    <transition child="608941565" id="1024921036" parent="1447513238" rule="Must Light">
                        <cell value="-4" x="0" y="8"/>
                    </transition>
                    <transition child="1451042903" id="1120741440" parent="608941565" rule="Light or Empty">
                        <cell value="-4" x="0" y="2"/>
                    </transition>
                    <transition child="1061671049" id="1202795704" parent="1451042903" rule="Empty Cells in Light">
                        <cell value="-3" x="1" y="2"/>
                        <cell value="-3" x="0" y="1"/>
                    </transition>
                    <transition child="1357944712" id="1552267343" parent="1061671049" rule="Finish with Bulbs">
                        <cell value="-4" x="2" y="1"/>
                        <cell value="-4" x="1" y="0"/>
                    </transition>
                    <transition child="1601682964" id="1267614237" parent="1357944712" rule="Too Many Bulbs"/>
                    <transition child="85483907" id="678853418" parent="608941565" rule="Light or Empty">
                        <cell value="-3" x="0" y="2"/>
                    </transition>
                    <transition child="558236719" id="774291552" parent="85483907" rule="Finish with Bulbs">
                        <cell value="-4" x="1" y="3"/>
                        <cell value="-4" x="0" y="4"/>
                    </transition>
                    <transition child="1986203139" id="710091434" parent="558236719" rule="Empty Cells in Light">
                        <cell value="-3" x="1" y="6"/>
                        <cell value="-3" x="3" y="6"/>
                    </transition>
                    <transition child="757179530" id="1338254456" parent="1986203139" rule="Finish with Bulbs">
                        <cell value="-4" x="2" y="5"/>
                    </transition>
                    <transition child="1382819843" id="691440993" parent="757179530" rule="Empty Cells in Light">
                        <cell value="-3" x="1" y="2"/>
                    </transition>
                    <transition child="621105192" id="349176729" parent="1382819843" rule="Light or Empty">
                        <cell value="-3" x="2" y="1"/>
                    </transition>
                    <transition child="190482247" id="952470636" parent="621105192" rule="Finish with Bulbs">
                        <cell value="-4" x="0" y="1"/>
                        <cell value="-4" x="1" y="0"/>
                    </transition>
                    <transition child="277415590" id="520257918" parent="190482247" rule="Finish with Empty">
                        <cell value="-3" x="3" y="0"/>
                    </transition>
                    <transition child="1527021912" id="79388215" parent="277415590" rule="Light or Empty">
                        <cell value="-3" x="4" y="0"/>
                    </transition>
                    <transition child="149054135" id="1351017015" parent="1527021912" rule="Light or Empty">
                        <cell value="-3" x="5" y="2"/>
                    </transition>
                    <transition child="696752813" id="1450631034" parent="149054135" rule="Cannot Light A Cell"/>
                    <transition child="1427863123" id="1316438768" parent="1527021912" rule="Light or Empty">
                        <cell value="-4" x="5" y="2"/>
                    </transition>
                    <transition child="548489332" id="896990853" parent="1427863123" rule="Must Light">
                        <cell value="-4" x="4" y="6"/>
                    </transition>
                    <transition child="1518510969" id="1420160592" parent="548489332" rule="Cannot Light A Cell"/>
                    <transition child="1918561766" id="1476586618" parent="277415590" rule="Light or Empty">
                        <cell value="-4" x="4" y="0"/>
                    </transition>
                    <transition child="1184934335" id="167139987" parent="1918561766" rule="Must Light">
                        <cell value="-4" x="5" y="6"/>
                    </transition>
                    <transition child="748553527" id="151972909" parent="1184934335" rule="Must Light">
                        <cell value="-4" x="6" y="1"/>
                    </transition>
                    <transition child="1411993339" id="386396405" parent="748553527" rule="Finish with Empty">
                        <cell value="-3" x="7" y="0"/>
                    </transition>
                    <transition child="1993580570" id="708362199" parent="1411993339" rule="Must Light">
                        <cell value="-4" x="8" y="0"/>
                    </transition>
                    <transition child="1086043599" id="1585145453" parent="1382819843" rule="Light or Empty">
                        <cell value="-4" x="2" y="1"/>
                    </transition>
                    <transition child="1152047744" id="789740552" parent="1086043599" rule="Finish with Empty">
                        <cell value="-3" x="1" y="0"/>
                        <cell value="-3" x="3" y="0"/>
                    </transition>
                    <transition child="1550795848" id="1105695862" parent="1152047744" rule="Finish with Bulbs">
                        <cell value="-4" x="0" y="1"/>
                    </transition>
                    <transition child="1917663663" id="1612812785" parent="1550795848" rule="Cannot Light A Cell"/>
                </transitions>
            </tree>
        </proof>
    </edu.rpi.legup.puzzle>
</edu.rpi.legup.Legup>
