TORSION
Time: 0.980
MODEL <1367452800, [ 81673970, 57155230, -451762050, -252905485, -1130403575, 401596445, -1045952311, 1099808772, 102643673, 5939936863, 1209724841, 47268909, 1042730502, -484120098, -939484176, -343083356, 1149319563, -506067809, -4191260276, -3994580674, -299180869 ]>
K3_POINT [ 11035591647, 6579944693, -5167294979, 1833645216, 3959135556, -1502040652 ]
SUM
Time: 0.990
MODEL <1367452800, [ 66059344, 2083717312, -82363472, -1130290656, -866754016, 2154496120, -2177411239, -472225318, 2539871160, 4245079106, -1552013426, 284604874, 984688584, 733368274, -360934000, -589855392, -1823420328, 1205808864, -1229485879, 2783862830, 181679867 ]>
DONE
