<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<edu.rpi.legup.Legup version="2.0">
    <edu.rpi.legup.puzzle name="Sudoku">
        <board size="9">
            <cells>
                <cell value="3" x="5" y="0"/>
                <cell value="2" x="7" y="0"/>
                <cell value="1" x="0" y="1"/>
                <cell value="4" x="1" y="1"/>
                <cell value="6" x="3" y="1"/>
                <cell value="2" x="4" y="1"/>
                <cell value="8" x="5" y="1"/>
                <cell value="6" x="0" y="2"/>
                <cell value="8" x="1" y="2"/>
                <cell value="2" x="2" y="2"/>
                <cell value="3" x="6" y="2"/>
                <cell value="4" x="7" y="2"/>
                <cell value="5" x="0" y="3"/>
                <cell value="9" x="1" y="3"/>
                <cell value="8" x="3" y="3"/>
                <cell value="1" x="7" y="3"/>
                <cell value="7" x="3" y="4"/>
                <cell value="9" x="4" y="4"/>
                <cell value="1" x="5" y="4"/>
                <cell value="1" x="1" y="5"/>
                <cell value="2" x="5" y="5"/>
                <cell value="3" x="7" y="5"/>
                <cell value="8" x="8" y="5"/>
                <cell value="5" x="1" y="6"/>
                <cell value="1" x="2" y="6"/>
                <cell value="6" x="6" y="6"/>
                <cell value="7" x="7" y="6"/>
                <cell value="2" x="8" y="6"/>
                <cell value="2" x="3" y="7"/>
                <cell value="7" x="4" y="7"/>
                <cell value="5" x="5" y="7"/>
                <cell value="8" x="7" y="7"/>
                <cell value="9" x="8" y="7"/>
                <cell value="2" x="1" y="8"/>
                <cell value="1" x="3" y="8"/>
            </cells>
        </board>
        <proof>
            <tree>
                <nodes>
                    <node id="419965841" root="true"/>
                    <node id="173804338"/>
                    <node id="1885472662"/>
                </nodes>
                <transitions>
                    <transition child="173804338" id="1890085010" parent="419965841" rule="Proved by Advanced Deduction">
                        <cell value="3" x="8" y="8"/>
                    </transition>
                    <transition child="1885472662" id="678360489" parent="173804338" rule="Proved by Advanced Deduction">
                        <cell value="3" x="6" y="7"/>
                    </transition>
                </transitions>
            </tree>
        </proof>
    </edu.rpi.legup.puzzle>
</edu.rpi.legup.Legup>
