TORSION
Time: 1.160
MODEL <259185864168, [ -3203878829, 49442527671, -69190265918, 120917988179, -256126267172, 853336305603, -65498579537, 290601586286, -309857865314, 1078231757880, -1353831569575, -232838497552, 586003337870, -1495831357684, 3323407975100, -203403340125, 1349307983156, -1441019787579, -1475531475991, 7222611125644, 361629034175 ]>
K3_POINT [ -23438562852, 1955863233, 7673891770, 664089207, -300619222, 192340232 ]
SUM
Time: 1.850
MODEL <259185864168, [ -74285138992, 278558292656, -309245775544, 467298934440, -716129061752, 587527021368, -273487536352, 397200935896, -600672064200, 1073214530639, -670662309333, -308772334427, 856829849346, -782778381442, 559244319702, -468201809043, 952622764998, -444268928322, -618343623046, 167734963419, 359569713669 ]>
DONE
