> eqns := {(x[1]+1)^2+y[1]^2 = (x[2]-1)^2+y[2]^2, (x[1]-c[1])^2+(y[1]-c[2])^2 = (x[3]-1)^2+y[3]^2, (x[2]-c[1])^2+(y[2]-c[2])^2 = (x[3]+1)^2+y[3]^2, y[1](x[3]+1) = y[3](x[1]+1), y[2](x[3]-1) = y[3](x[2]-1), (x[2]-c[1])(y[1]-c[2]) = (x[1]-c[1])(y[2]-c[2])};
print(`output redirected...`); # input placeholder
 /          2       2            ...