<?xml version="1.0" encoding="ISO-8859-1" standalone="no"?>
<?xml-stylesheet type="text/xsl" href="../../stylesheets/hanoi/hanoi.xsl"?>
<!DOCTYPE match SYSTEM "http://games.stanford.edu/gamemaster/xml/viewmatch.dtd">

<match>
<match-id>hanoi_6_disks.1247349596535</match-id>
<role>player</role>
<player>ETHOS</player>
<timestamp>1247349846805</timestamp>
<startclock>120</startclock>
<history>
<step>
<step-number>1</step-number>
<move>puton(disc1,pillar2)</move>
</step>
<step>
<step-number>2</step-number>
<move>puton(disc2,pillar3)</move>
</step>
<step>
<step-number>3</step-number>
<move>puton(disc2,disc3)</move>
</step>
<step>
<step-number>4</step-number>
<move>puton(disc1,pillar3)</move>
</step>
<step>
<step-number>5</step-number>
<move>puton(disc1,disc2)</move>
</step>
<step>
<step-number>6</step-number>
<move>puton(disc1,pillar3)</move>
</step>
<step>
<step-number>7</step-number>
<move>puton(disc1,pillar2)</move>
</step>
<step>
<step-number>8</step-number>
<move>puton(disc1,disc2)</move>
</step>
<step>
<step-number>9</step-number>
<move>puton(disc1,pillar3)</move>
</step>
<step>
<step-number>10</step-number>
<move>puton(disc1,pillar2)</move>
</step>
<step>
<step-number>11</step-number>
<move>puton(disc1,disc2)</move>
</step>
<step>
<step-number>12</step-number>
<move>giveup</move>
</step>
</history>
<scores>
<reward>5</reward>
</scores>
<state>
<fact>
<prop-f>ON</prop-f>
<arg>DISC1</arg>
<arg>DISC2</arg>
</fact>
<fact>
<prop-f>ON</prop-f>
<arg>DISC2</arg>
<arg>DISC3</arg>
</fact>
<fact>
<prop-f>ON</prop-f>
<arg>DISC6</arg>
<arg>PILLAR1</arg>
</fact>
<fact>
<prop-f>ON</prop-f>
<arg>DISC5</arg>
<arg>DISC6</arg>
</fact>
<fact>
<prop-f>ON</prop-f>
<arg>DISC4</arg>
<arg>DISC5</arg>
</fact>
<fact>
<prop-f>ON</prop-f>
<arg>DISC3</arg>
<arg>DISC4</arg>
</fact>
<fact>
<prop-f>STEP</prop-f>
<arg>13</arg>
</fact>
<fact>
<prop-f>GAVEUP</prop-f>
</fact>
<fact>
<prop-f>CLEAR</prop-f>
<arg>PILLAR2</arg>
</fact>
<fact>
<prop-f>CLEAR</prop-f>
<arg>PILLAR3</arg>
</fact>
<fact>
<prop-f>CLEAR</prop-f>
<arg>DISC1</arg>
</fact>
</state>
</match>

