TORSION
Time: 1.040
MODEL <195350400, [ 101660232, 59024450, -248751569, -232544975, 275006667, 458144400, -55516252, -34468128, -116420904, 278652328, 113997568, 113244859, 318098102, -349078786, -327172144, 118478403, -218992222, -405242272, 15678840, 467643624, 237494352 ]>
K3_POINT [ 296849771512, -266925628178, 745623672424, -273048213432, -321595371236, 396662475305 ]
SUM
Time: 1.240
MODEL <1367452800, [ -362371934, -502338396, 2054227520, -1587723470, 516679500, 201966180, 148624819, 261312240, -1513778840, 1363662650, 212537360, -2665313960, 5818634980, -1555998480, 476882760, -1498819285, 33000520, -329293940, 108828115, -365322160, 120497260 ]>
DONE
