load crack$
lisp(nfct_:=17)$

off batch_mode$
list_of_variables:=
{}$
list_of_functions:=
{q9,
q3,
q12,
q6,
q13,
q8,
q2,
q7,
q10,
q11,
q15,
q1,
p1,
q4,
q5,
p3,
p2,
q16,
q14}$
list_of_equations:=
{7*p2*q16 - 3*p3*q14,
3*p1*q5 - p2*q4,
7*p1*q16 - 3*p3*q1,
p1*q10 - 4*p1*q11 - p1*q15 - 2*p1*q2 + p1*q7,
p1*q14 + 5*p2*q14 - 6*p3*q11,
2*p1*q11 + 3*p2*q11 - 9*p3*q5,
4*p1*q1 + p1*q14 - 2*p1*q8 + p2*q1,
p1*q13 + 5*p2*q13 - 3*p3*q10 - 6*p3*q11,
2*p1*q10 + 3*p2*q10 - 6*p3*q4 - 18*p3*q5,
p1*q6 + p2*q6 - 3*p3*q4 - 3*p3*q5,
7*p1*q16 + 21*p2*q16 - 3*p3*q13 - 3*p3*q14,
p1*q10 - 3*p1*q2 - 3*p2*q2 + 6*p3*q4,
21*p1*q16 + 35*p2*q16 - 3*p3*q12 - 3*p3*q13,
3*p1*q11 + p1*q7 - p2*q2 - 3*p3*q4,
10*p1*q1 - p1*q12 + 10*p2*q1 - 3*p3*q3,
35*p1*q16 + 35*p2*q16 - 3*p3*q12 - 3*p3*q9,
35*p1*q16 + 21*p2*q16 - 3*p3*q8 - 3*p3*q9,
5*p1*q14 + p1*q8 - p2*q1 - 3*p3*q2,
21*p1*q16 + 7*p2*q16 - 3*p3*q1 - 3*p3*q8,
5*p1*q1 - p1*q12 + 2*p1*q13 - p1*q9 - p3*q15,
2*p1*q11 + p1*q15 + 2*p1*q2 - 2*p1*q7 + p2*q2,
p1*q13 + 5*p1*q14 + 10*p2*q14 - 3*p3*q10 - 6*p3*q11,
p1*q10 + 3*p1*q11 + 3*p2*q11 - 3*p3*q4 - 9*p3*q5,
p1*q12 + 10*p1*q14 + 10*p2*q14 - 3*p3*q10 - 3*p3*q7,
2*p1*q11 - 3*p1*q2 + p1*q7 - 4*p2*q2 + 6*p3*q4,
10*p1*q14 + p1*q9 + 5*p2*q14 - 3*p3*q2 - 3*p3*q7,
5*p1*q1 - p1*q14 - p1*q8 + 6*p2*q1 - 3*p3*q2,
p1*q13 + 5*p1*q8 - 3*p1*q9 + p2*q13 - p2*q9 + 3*p3*q15,
9*p1*q1 + p1*q13 + 2*p1*q14 - p1*q8 - 2*p1*q9 - 3*p3*q15,
p1*q10 + 3*p1*q15 - 2*p1*q6 - p1*q7 + 3*p2*q15 + p2*q3,
p1*q10 - 3*p1*q3 + 2*p1*q6 + p1*q7 - 4*p2*q3 + 12*p3*q4,
4*p1*q13 + 5*p1*q8 + 5*p2*q8 - 6*p3*q2 - 3*p3*q3 - 3*p3*q7,
15*p1*q1 - p1*q13 - p1*q9 + 15*p2*q1 - 3*p3*q2 - 3*p3*q3,
2*p1*q10 + 2*p1*q6 + 4*p1*q7 - p2*q3 + 3*p2*q7 - 18*p3*q4 - 18*p3*q5,
p1*q10 + 2*p1*q11 + 2*p1*q15 + p1*q3 - 4*p1*q6 - p1*q7 + 5*p2*q15 + p2*q3,
3*p1*q12 + 4*p1*q13 + 6*p2*q12 + 6*p2*q13 - 9*p3*q10 - 6*p3*q11 - 6*p3*q6 - 3*p3
*q7,
p1*q12 + p1*q9 + p2*q12 + p2*q9 - p3*q10 - p3*q3 - 2*p3*q6 - p3*q7,
3*p1*q12 + 10*p1*q8 + 2*p1*q9 + 10*p2*q8 - 3*p3*q2 - 9*p3*q3 - 6*p3*q6 - 3*p3*q7
,
6*p1*q13 + 4*p1*q9 + 4*p2*q13 + 6*p2*q9 - 3*p3*q10 - 3*p3*q2 - 3*p3*q3 - 6*p3*q6
 - 6*p3*q7}$
list_of_inequalities:=
{q16,p3,p1**2 + p2**2}$

solution_:=crack(list_of_equations,
                 list_of_inequalities,
                 list_of_functions,
                 list_of_variables)$




















end$

These data were produced with the following input:

lisp( old_history := 
'(pi a w nil n ~/web/htdocs/susy/N1/f1b0/o37/w3/w))$
