load crack$
lisp(nfct_:=13)$

off batch_mode$
list_of_variables:=
{}$
list_of_functions:=
{q11,
q8,
q3,
q2,
q6,
q9,
q5,
q7,
q4,
p3,
q12,
q10,
p1,
p2,
q1}$
list_of_equations:=
{p2*q1,
p1*q1,
2*p2*q12 - p3*q10,
2*p1*q12 - p3*q4,
p1*q10 + 4*p2*q10 - 6*p3*q7,
2*p1*q7 + 2*p2*q7 - 9*p3*q1,
p1*q10 + 3*p1*q4 - 2*p1*q5 + p2*q4,
p1*q9 + 4*p2*q9 - 3*p3*q6 - 6*p3*q7,
2*p1*q6 - p2*q2 + p2*q6 - 18*p3*q1,
p1*q2 - p1*q6 + 2*p2*q2 - 6*p3*q1,
2*p1*q12 + 5*p2*q12 - p3*q10 - p3*q9,
p1*q6 + 2*p1*q7 - p2*q3 - 9*p3*q1,
15*p1*q12 + 20*p2*q12 - 3*p3*q8 - 3*p3*q9,
20*p1*q12 + 15*p2*q12 - 3*p3*q5 - 3*p3*q8,
4*p1*q10 + p1*q5 - p2*q4 - 3*p3*q3,
5*p1*q12 + 2*p2*q12 - p3*q4 - p3*q5,
p1*q11 + p1*q3 - 2*p1*q6 + 2*p1*q7 + p2*q3,
p1*q11 - p1*q6 + p1*q7 + 2*p2*q11 + p2*q2,
4*p1*q10 + p1*q9 + 6*p2*q10 - 3*p3*q6 - 6*p3*q7,
2*p1*q3 - p1*q6 - 2*p1*q7 + 3*p2*q3 - 18*p3*q1,
6*p1*q10 + p1*q8 + 4*p2*q10 - 3*p3*q3 - 3*p3*q6,
p1*q10 - 4*p1*q4 + p1*q5 - 5*p2*q4 + 3*p3*q3,
2*p1*q5 - 2*p1*q8 + p1*q9 - p2*q8 + p2*q9 + 8*p3*q11,
2*p1*q10 + 5*p1*q4 - p1*q5 - 2*p1*q8 + p1*q9 - p3*q11,
3*p1*q5 + 2*p1*q8 + 3*p2*q5 - 6*p3*q2 - 3*p3*q3 - 3*p3*q6,
4*p1*q5 + 3*p1*q9 + 4*p2*q5 - 6*p3*q2 - 6*p3*q3 - 3*p3*q6,
10*p1*q4 - p1*q8 - p1*q9 + 10*p2*q4 - 6*p3*q2 - 3*p3*q3,
3*p1*q8 + 3*p1*q9 + 5*p2*q8 + 3*p2*q9 - 6*p3*q2 - 3*p3*q3 - 9*p3*q6 - 6*p3*q7}$
list_of_inequalities:=
{q12,p3}$

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 := 
'(a s w nil n ~/web/htdocs/susy/N1/f1b0/o36/w1/N1f1b0o36w3))$
