<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<edu.rpi.legup.edu.rpi.legup.Legup version="2.0.0">
    <edu.rpi.legup.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>
                <node id="1413443545" root="true">
                    <transition child="1060890087" id="1412292190" 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>
                </node>
                <node id="1060890087">
                    <transition child="1859632660" id="784343049" rule="Empty Cells in Light">
                        <cell value="-3" x="9" y="5"/>
                        <cell value="-3" x="8" y="6"/>
                    </transition>
                </node>
                <node id="1859632660">
                    <transition child="747743147" id="1384812251" rule="Finish with Empty">
                        <cell value="-3" x="9" y="7"/>
                    </transition>
                </node>
                <node id="747743147">
                    <transition child="138576607" id="878358634" rule="Light or Empty">
                        <cell value="-4" x="3" y="8"/>
                    </transition>
                    <transition child="1511158685" id="1972278640" rule="Light or Empty">
                        <cell value="-3" x="3" y="8"/>
                    </transition>
                </node>
                <node id="1511158685"/>
                <node id="138576607"/>
            </tree>
        </proof>
    </edu.rpi.legup.edu.rpi.legup.puzzle>
</edu.rpi.legup.edu.rpi.legup.Legup>
