TORSION
Time: 1.330
MODEL <259185864168, [ 17882582909, -354862159313, 32659283599, -154301248916, 301281720620, 531004628859, -586057517042, -190632806267, -581299538366, 1885728484384, 101586546575, -48337860259, 100838288110, 320332875710, -27678143382, -225010278880, 772919649308, 511854853602, -1312496319125, -698281164464, 384906913004 ]>
K3_POINT [ -3855253854339, 2718986068786, 2736077220536, 2286694743863, 1777906506389, 2876769426998 ]
SUM
Time: 1.300
MODEL <259185864168, [ 145934768556, -11368814121, -539137978414, -587242275970, -1046675779469, 1101449090509, -59043296990, 227150665600, 108356385565, 441723280708, -333817332210, 393707075837, 974399030136, 1427447525678, -1467887272790, 250349539075, 1112250550215, -766360819495, 873680602239, -1431538622736, 489219449365 ]>
DONE
