# Last modified on Mon Sep 26 15:44:20 PDT 1994 by heydon
#
# These are the constraints for a typical run of the "Tetrahedron.juno"
# 3D figure.

# 80 variables
# 80 constraints
# 75 ghosts
80 80 75

# True variables
a ~ 4.338e+02
b ~ 2.107e+02
c ~ 1.029e+02
d ~ 9.988e+01
e ~ -4.272e+01

# Ghost variables
db
da
cz
cy
cx
cw
cv
cu
ct
cs
cr
cq
cp
co
cn
cm
cl
ck
cj
ci
ch
cg
cf
ce
cd
cc
cb
ca
bz
by
bx
bw
bv
bu
bt
bs
br
bq
bp
bo
bn
bm
bl
bk
bj
bi
bh
bg
bf
be
bd
bc
bb
ba
z
y
x
w
v
u
t
s
r
q
p
o
n
m
l
k
j
i
h
g
f

# Ghost constraints
db = MINUS(334.88855, 300)
da = TIMES(db, db)
cz = MINUS(242.00003, 100)
cy = TIMES(cz, cz)
cx = PLUS(cy, da)
cw = MINUS(334.88855, 300)
cv = TIMES(cw, cw)
cu = MINUS(242.00003, 100)
ct = TIMES(cu, cu)
cs = PLUS(ct, cv)
cr = MINUS(442.95767, 334.88855)
cq = TIMES(cr, cr)
cp = MINUS(96.1875, 242.00003)
co = TIMES(cp, cp)
cn = PLUS(co, cq)
cm = MINUS(334.88855, 300)
cl = TIMES(cm, cm)
ck = MINUS(242.00003, 100)
cj = TIMES(ck, ck)
ci = PLUS(cj, cl)
ch = MINUS(334.88855, 300)
cg = TIMES(ch, ch)
cf = MINUS(242.00003, 100)
ce = TIMES(cf, cf)
cd = PLUS(ce, cg)
cc = MINUS(300, 442.95767)
cb = TIMES(cc, cc)
ca = MINUS(100, 96.1875)
bz = TIMES(ca, ca)
by = PLUS(bz, cb)
bx = MINUS(442.95767, 334.88855)
bw = TIMES(bx, bx)
bv = MINUS(96.1875, 242.00003)
bu = TIMES(bv, bv)
bt = PLUS(bu, bw)
bs = MINUS(a, 442.95767)
br = TIMES(bs, bs)
bq = MINUS(a, 300)
bp = TIMES(bq, bq)
bo = MINUS(a, 334.88855)
bn = TIMES(bo, bo)
bm = MINUS(b, 96.1875)
bl = TIMES(bm, bm)
bk = PLUS(bl, br)
bj = MINUS(b, 100)
bi = TIMES(bj, bj)
bh = PLUS(bi, bp)
bg = MINUS(b, 242.00003)
bf = TIMES(bg, bg)
be = PLUS(bf, bn)
bd = MINUS(c, 0)
bc = TIMES(bd, bd)
bb = PLUS(cd, bc)
ba = MINUS(bb, bk)
z = MINUS(c, 0)
y = TIMES(z, z)
x = PLUS(ci, y)
w = MINUS(x, bt)
v = MINUS(c, 0)
u = TIMES(v, v)
t = PLUS(cs, u)
s = MINUS(t, bh)
r = MINUS(c, 0)
q = TIMES(r, r)
p = PLUS(cx, q)
o = MINUS(p, be)
n = MINUS(d, c)
m = MINUS(0, d)
l = TIMES(m, m)
k = PLUS(by, l)
j = MINUS(k, cn)
i = MINUS(d, c)
h = MINUS(e, d)
g = MINUS(e, 0)
f = MINUS(e, c)

# True constraints
ba = TIMES(h, h)
w = TIMES(n, n)
s = TIMES(g, g)
o = TIMES(f, f)
j = TIMES(i, i)