positive_roots = [
alpha[1],
alpha[2],
alpha[3],
alpha[4],
alpha[5],
alpha[6],
alpha[3] + alpha[4],
alpha[2] + alpha[4],
alpha[5] + alpha[6],
alpha[1] + alpha[3],
alpha[4] + alpha[5],
alpha[3] + alpha[4] + alpha[5],
alpha[1] + alpha[3] + alpha[4],
alpha[2] + alpha[4] + alpha[5],
alpha[4] + alpha[5] + alpha[6],
alpha[2] + alpha[3] + alpha[4],
alpha[1] + alpha[2] + alpha[3] + alpha[4],
alpha[2] + alpha[4] + alpha[5] + alpha[6],
alpha[3] + alpha[4] + alpha[5] + alpha[6],
alpha[1] + alpha[3] + alpha[4] + alpha[5],
alpha[2] + alpha[3] + alpha[4] + alpha[5],
alpha[2] + alpha[3] + 2*alpha[4] + alpha[5],
alpha[1] + alpha[2] + alpha[3] + alpha[4] + alpha[5],
alpha[2] + alpha[3] + alpha[4] + alpha[5] + alpha[6],
alpha[1] + alpha[3] + alpha[4] + alpha[5] + alpha[6],
alpha[1] + alpha[2] + alpha[3] + alpha[4] + alpha[5] + alpha[6],
alpha[1] + alpha[2] + alpha[3] + 2*alpha[4] + alpha[5],
alpha[2] + alpha[3] + 2*alpha[4] + alpha[5] + alpha[6],
alpha[2] + alpha[3] + 2*alpha[4] + 2*alpha[5] + alpha[6],
alpha[1] + alpha[2] + 2*alpha[3] + 2*alpha[4] + alpha[5],
alpha[1] + alpha[2] + alpha[3] + 2*alpha[4] + alpha[5] + alpha[6],
alpha[1] + alpha[2] + alpha[3] + 2*alpha[4] + 2*alpha[5] + alpha[6],
alpha[1] + alpha[2] + 2*alpha[3] + 2*alpha[4] + alpha[5] + alpha[6],
alpha[1] + alpha[2] + 2*alpha[3] + 2*alpha[4] + 2*alpha[5] + alpha[6],
alpha[1] + alpha[2] + 2*alpha[3] + 3*alpha[4] + 2*alpha[5] + alpha[6],
alpha[1] + 2*alpha[2] + 2*alpha[3] + 3*alpha[4] + 2*alpha[5] + alpha[6]]