TORSION
Time: 1.460
MODEL <259185864168, [ 142034124692, -178241372244, -421413864421, -406600086355, -424009334887, 577865069339, 26889834977, 667219341806, 287435348630, 1107431073948, -371918836528, 258522902208, 832275258066, 741576351241, -844538361134, 312056750850, 1157937806905, -784512907220, 681058740776, -1066691417723, 463790725251 ]>
K3_POINT [ -220840022728, 489339595897, 327370509430, 1093881613651, 2209511206, 1626452388479 ]
SUM
Time: 1.450
MODEL <259185864168, [ -62140176366, -37785291332, -225678181695, 987561277830, 477427653837, 502324194464, 40617560177, -153375526127, 61800601044, 421906896831, 122238337676, -148619137258, 1593340310058, 428141810929, 664274160599, -1689462984621, -2128090227534, -1571591200842, -61529850220, -512165515797, -328614814870 ]>
DONE
