<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE interps SYSTEM "interp3.dtd">

<?xml-stylesheet type="text/xsl" href="interp3.xsl"?>

<interps>

<source>cand23.out</source>

<heading><![CDATA[
Mace4 (32) version 2008-04A, April 2008.
Process 23968 was started by mccune on cleo,
Fri Apr  4 11:28:45 2008
The command was "/home/mccune/LADR/bin/mace4 -f cand23.in".
]]></heading>

<input><![CDATA[
formulas(theory).
g(x) = A * x.
f(x,y) = (B * x) + (C * y).
f(f(y,g(y)),f(g(f(x,f(g(f(z,z)),z))),x)) = z # label(candidate_23).
end_of_list.

formulas(goals).
f(f(x,y),z) = f(x,f(y,z)).
end_of_list.
]]></input>

  <interp size="23" number="1" seconds="6">

    <op0 type="function">
      <sym><![CDATA[A]]></sym>
      <v>5</v>
    </op0>

    <op0 type="function">
      <sym><![CDATA[B]]></sym>
      <v>12</v>
    </op0>

    <op0 type="function">
      <sym><![CDATA[C]]></sym>
      <v>16</v>
    </op0>

    <op0 type="function">
      <sym><![CDATA[c1]]></sym>
      <v>0</v>
    </op0>

    <op0 type="function">
      <sym><![CDATA[c2]]></sym>
      <v>0</v>
    </op0>

    <op0 type="function">
      <sym><![CDATA[c3]]></sym>
      <v>1</v>
    </op0>

    <op1 type="function">
        <sym><![CDATA[g]]></sym>
        <head><i>0</i><i>1</i><i>2</i><i>3</i><i>4</i><i>5</i><i>6</i><i>7</i><i>8</i><i>9</i><i>10</i><i>11</i><i>12</i><i>13</i><i>14</i><i>15</i><i>16</i><i>17</i><i>18</i><i>19</i><i>20</i><i>21</i><i>22</i></head>
        <row> <v>0</v><v>5</v><v>10</v><v>15</v><v>20</v><v>2</v><v>7</v><v>12</v><v>17</v><v>22</v><v>4</v><v>9</v><v>14</v><v>19</v><v>1</v><v>6</v><v>11</v><v>16</v><v>21</v><v>3</v><v>8</v><v>13</v><v>18</v></row>
    </op1>

    <op2 type="function">
        <sym><![CDATA[+]]></sym>
        <head>        <i>0</i><i>1</i><i>2</i><i>3</i><i>4</i><i>5</i><i>6</i><i>7</i><i>8</i><i>9</i><i>10</i><i>11</i><i>12</i><i>13</i><i>14</i><i>15</i><i>16</i><i>17</i><i>18</i><i>19</i><i>20</i><i>21</i><i>22</i></head>
        <row><i>0</i> <v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v></row>
        <row><i>1</i> <v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v></row>
        <row><i>2</i> <v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v></row>
        <row><i>3</i> <v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v></row>
        <row><i>4</i> <v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v></row>
        <row><i>5</i> <v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v></row>
        <row><i>6</i> <v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v></row>
        <row><i>7</i> <v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v></row>
        <row><i>8</i> <v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v></row>
        <row><i>9</i> <v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v></row>
        <row><i>10</i> <v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v></row>
        <row><i>11</i> <v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v></row>
        <row><i>12</i> <v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v></row>
        <row><i>13</i> <v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v></row>
        <row><i>14</i> <v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v></row>
        <row><i>15</i> <v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v></row>
        <row><i>16</i> <v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v></row>
        <row><i>17</i> <v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v></row>
        <row><i>18</i> <v>18</v><v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v></row>
        <row><i>19</i> <v>19</v><v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v></row>
        <row><i>20</i> <v>20</v><v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v></row>
        <row><i>21</i> <v>21</v><v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v></row>
        <row><i>22</i> <v>22</v><v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v></row>
    </op2>

    <op2 type="function">
        <sym><![CDATA[*]]></sym>
        <head>        <i>0</i><i>1</i><i>2</i><i>3</i><i>4</i><i>5</i><i>6</i><i>7</i><i>8</i><i>9</i><i>10</i><i>11</i><i>12</i><i>13</i><i>14</i><i>15</i><i>16</i><i>17</i><i>18</i><i>19</i><i>20</i><i>21</i><i>22</i></head>
        <row><i>0</i> <v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v><v>0</v></row>
        <row><i>1</i> <v>0</v><v>1</v><v>2</v><v>3</v><v>4</v><v>5</v><v>6</v><v>7</v><v>8</v><v>9</v><v>10</v><v>11</v><v>12</v><v>13</v><v>14</v><v>15</v><v>16</v><v>17</v><v>18</v><v>19</v><v>20</v><v>21</v><v>22</v></row>
        <row><i>2</i> <v>0</v><v>2</v><v>4</v><v>6</v><v>8</v><v>10</v><v>12</v><v>14</v><v>16</v><v>18</v><v>20</v><v>22</v><v>1</v><v>3</v><v>5</v><v>7</v><v>9</v><v>11</v><v>13</v><v>15</v><v>17</v><v>19</v><v>21</v></row>
        <row><i>3</i> <v>0</v><v>3</v><v>6</v><v>9</v><v>12</v><v>15</v><v>18</v><v>21</v><v>1</v><v>4</v><v>7</v><v>10</v><v>13</v><v>16</v><v>19</v><v>22</v><v>2</v><v>5</v><v>8</v><v>11</v><v>14</v><v>17</v><v>20</v></row>
        <row><i>4</i> <v>0</v><v>4</v><v>8</v><v>12</v><v>16</v><v>20</v><v>1</v><v>5</v><v>9</v><v>13</v><v>17</v><v>21</v><v>2</v><v>6</v><v>10</v><v>14</v><v>18</v><v>22</v><v>3</v><v>7</v><v>11</v><v>15</v><v>19</v></row>
        <row><i>5</i> <v>0</v><v>5</v><v>10</v><v>15</v><v>20</v><v>2</v><v>7</v><v>12</v><v>17</v><v>22</v><v>4</v><v>9</v><v>14</v><v>19</v><v>1</v><v>6</v><v>11</v><v>16</v><v>21</v><v>3</v><v>8</v><v>13</v><v>18</v></row>
        <row><i>6</i> <v>0</v><v>6</v><v>12</v><v>18</v><v>1</v><v>7</v><v>13</v><v>19</v><v>2</v><v>8</v><v>14</v><v>20</v><v>3</v><v>9</v><v>15</v><v>21</v><v>4</v><v>10</v><v>16</v><v>22</v><v>5</v><v>11</v><v>17</v></row>
        <row><i>7</i> <v>0</v><v>7</v><v>14</v><v>21</v><v>5</v><v>12</v><v>19</v><v>3</v><v>10</v><v>17</v><v>1</v><v>8</v><v>15</v><v>22</v><v>6</v><v>13</v><v>20</v><v>4</v><v>11</v><v>18</v><v>2</v><v>9</v><v>16</v></row>
        <row><i>8</i> <v>0</v><v>8</v><v>16</v><v>1</v><v>9</v><v>17</v><v>2</v><v>10</v><v>18</v><v>3</v><v>11</v><v>19</v><v>4</v><v>12</v><v>20</v><v>5</v><v>13</v><v>21</v><v>6</v><v>14</v><v>22</v><v>7</v><v>15</v></row>
        <row><i>9</i> <v>0</v><v>9</v><v>18</v><v>4</v><v>13</v><v>22</v><v>8</v><v>17</v><v>3</v><v>12</v><v>21</v><v>7</v><v>16</v><v>2</v><v>11</v><v>20</v><v>6</v><v>15</v><v>1</v><v>10</v><v>19</v><v>5</v><v>14</v></row>
        <row><i>10</i> <v>0</v><v>10</v><v>20</v><v>7</v><v>17</v><v>4</v><v>14</v><v>1</v><v>11</v><v>21</v><v>8</v><v>18</v><v>5</v><v>15</v><v>2</v><v>12</v><v>22</v><v>9</v><v>19</v><v>6</v><v>16</v><v>3</v><v>13</v></row>
        <row><i>11</i> <v>0</v><v>11</v><v>22</v><v>10</v><v>21</v><v>9</v><v>20</v><v>8</v><v>19</v><v>7</v><v>18</v><v>6</v><v>17</v><v>5</v><v>16</v><v>4</v><v>15</v><v>3</v><v>14</v><v>2</v><v>13</v><v>1</v><v>12</v></row>
        <row><i>12</i> <v>0</v><v>12</v><v>1</v><v>13</v><v>2</v><v>14</v><v>3</v><v>15</v><v>4</v><v>16</v><v>5</v><v>17</v><v>6</v><v>18</v><v>7</v><v>19</v><v>8</v><v>20</v><v>9</v><v>21</v><v>10</v><v>22</v><v>11</v></row>
        <row><i>13</i> <v>0</v><v>13</v><v>3</v><v>16</v><v>6</v><v>19</v><v>9</v><v>22</v><v>12</v><v>2</v><v>15</v><v>5</v><v>18</v><v>8</v><v>21</v><v>11</v><v>1</v><v>14</v><v>4</v><v>17</v><v>7</v><v>20</v><v>10</v></row>
        <row><i>14</i> <v>0</v><v>14</v><v>5</v><v>19</v><v>10</v><v>1</v><v>15</v><v>6</v><v>20</v><v>11</v><v>2</v><v>16</v><v>7</v><v>21</v><v>12</v><v>3</v><v>17</v><v>8</v><v>22</v><v>13</v><v>4</v><v>18</v><v>9</v></row>
        <row><i>15</i> <v>0</v><v>15</v><v>7</v><v>22</v><v>14</v><v>6</v><v>21</v><v>13</v><v>5</v><v>20</v><v>12</v><v>4</v><v>19</v><v>11</v><v>3</v><v>18</v><v>10</v><v>2</v><v>17</v><v>9</v><v>1</v><v>16</v><v>8</v></row>
        <row><i>16</i> <v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v></row>
        <row><i>17</i> <v>0</v><v>17</v><v>11</v><v>5</v><v>22</v><v>16</v><v>10</v><v>4</v><v>21</v><v>15</v><v>9</v><v>3</v><v>20</v><v>14</v><v>8</v><v>2</v><v>19</v><v>13</v><v>7</v><v>1</v><v>18</v><v>12</v><v>6</v></row>
        <row><i>18</i> <v>0</v><v>18</v><v>13</v><v>8</v><v>3</v><v>21</v><v>16</v><v>11</v><v>6</v><v>1</v><v>19</v><v>14</v><v>9</v><v>4</v><v>22</v><v>17</v><v>12</v><v>7</v><v>2</v><v>20</v><v>15</v><v>10</v><v>5</v></row>
        <row><i>19</i> <v>0</v><v>19</v><v>15</v><v>11</v><v>7</v><v>3</v><v>22</v><v>18</v><v>14</v><v>10</v><v>6</v><v>2</v><v>21</v><v>17</v><v>13</v><v>9</v><v>5</v><v>1</v><v>20</v><v>16</v><v>12</v><v>8</v><v>4</v></row>
        <row><i>20</i> <v>0</v><v>20</v><v>17</v><v>14</v><v>11</v><v>8</v><v>5</v><v>2</v><v>22</v><v>19</v><v>16</v><v>13</v><v>10</v><v>7</v><v>4</v><v>1</v><v>21</v><v>18</v><v>15</v><v>12</v><v>9</v><v>6</v><v>3</v></row>
        <row><i>21</i> <v>0</v><v>21</v><v>19</v><v>17</v><v>15</v><v>13</v><v>11</v><v>9</v><v>7</v><v>5</v><v>3</v><v>1</v><v>22</v><v>20</v><v>18</v><v>16</v><v>14</v><v>12</v><v>10</v><v>8</v><v>6</v><v>4</v><v>2</v></row>
        <row><i>22</i> <v>0</v><v>22</v><v>21</v><v>20</v><v>19</v><v>18</v><v>17</v><v>16</v><v>15</v><v>14</v><v>13</v><v>12</v><v>11</v><v>10</v><v>9</v><v>8</v><v>7</v><v>6</v><v>5</v><v>4</v><v>3</v><v>2</v><v>1</v></row>
    </op2>

    <op2 type="function">
        <sym><![CDATA[f]]></sym>
        <head>        <i>0</i><i>1</i><i>2</i><i>3</i><i>4</i><i>5</i><i>6</i><i>7</i><i>8</i><i>9</i><i>10</i><i>11</i><i>12</i><i>13</i><i>14</i><i>15</i><i>16</i><i>17</i><i>18</i><i>19</i><i>20</i><i>21</i><i>22</i></head>
        <row><i>0</i> <v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v></row>
        <row><i>1</i> <v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v></row>
        <row><i>2</i> <v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v></row>
        <row><i>3</i> <v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v></row>
        <row><i>4</i> <v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v></row>
        <row><i>5</i> <v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v></row>
        <row><i>6</i> <v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v></row>
        <row><i>7</i> <v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v></row>
        <row><i>8</i> <v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v></row>
        <row><i>9</i> <v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v></row>
        <row><i>10</i> <v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v></row>
        <row><i>11</i> <v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v></row>
        <row><i>12</i> <v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v></row>
        <row><i>13</i> <v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v></row>
        <row><i>14</i> <v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v></row>
        <row><i>15</i> <v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v></row>
        <row><i>16</i> <v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v></row>
        <row><i>17</i> <v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v></row>
        <row><i>18</i> <v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v></row>
        <row><i>19</i> <v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v></row>
        <row><i>20</i> <v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v></row>
        <row><i>21</i> <v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v><v>11</v><v>4</v><v>20</v><v>13</v><v>6</v></row>
        <row><i>22</i> <v>11</v><v>4</v><v>20</v><v>13</v><v>6</v><v>22</v><v>15</v><v>8</v><v>1</v><v>17</v><v>10</v><v>3</v><v>19</v><v>12</v><v>5</v><v>21</v><v>14</v><v>7</v><v>0</v><v>16</v><v>9</v><v>2</v><v>18</v></row>
    </op2>
  </interp>

</interps>
