# Last modified on Sun Jul  2 13:33:42 PDT 1995 by heydon
#
# x :: (x, x) = (1, 2) -> Print(Unparse(x))
V1
(1, 2)
V3
"No solution found to (x, x) = (1, 2).\n"
V4
"\n"

C1

# x = L[1]
.PUSHM3NIL
b1
.PUSHM3NIL
b1
.PUSHG
c1
.SOLVE
u1
u1
u1
# b = (a, a)
b1
u1
u0
u0
.TJUMP
s3
.JUMP
s31
.POPL
s1
.INCSP
b1
.PUSHL
s1
.CALLEXT
c2
.DECSP
b1
.CALLEXT
c0
.PUSHG
c4
.CALLEXT
c0
.RET
# NOSOLVE:
.PUSHG
c3
.CALLEXT
c0
.RET
END