----- MACE 1.2.0, August 1995 -----
The job began on gyro, Thu Nov  2 10:36:39 1995
======================= Model #1 at 0.03 seconds:

 + :
      | 0 1
    --+----
    0 | 0 0
    1 | 0 1

 * :
      | 0 1
    --+----
    0 | 0 1
    1 | 1 1

 @ :
        0 1
    -------
        1 1

 A: 0
end_of_model