<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<Legup version="2.0">
    <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="1" root="true">
                    <transition child="2" id="10" 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="3" id="11" 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>
                </node>
                <node id="2">
                    <transition child="5" id="12" rule="Finish with Empty">
                    </transition>
                </node>
                <node id="3"></node>
                <node id="5"></node>
            </tree>
        </proof>
    </puzzle>
</Legup>
