TORSION
Time: 0.190
MODEL <4, [ 1, 0, 2, -2, 2, 6, 1, 3, 16, 12, 9, 1, -16, 15, -13, 29, 34, 76, 22, -5, 73 ]>
K3_POINT [ 47, -58, 214, -11, -26, 18 ]
SUM
Time: 0.120
MODEL <4, [ 7, 0, 10, -4, 0, 2, -5, 0, 0, 10, 0, 10, -10, 0, 20, 7, 0, -2, -5, 0, 58 ]>
DONE
