TORSION
Time: 1.050
MODEL <1367452800, [ 116806562, -1052878584, -103804178, 847216644, -1354865146, 1615096422, 832397679, -400390680, -364594986, 4702845522, -1949963634, -184141369, 1066321866, 785357060, 770529030, 285109577, -2308631620, 1011470200, 2705862286, -5314075954, 1212170534 ]>
K3_POINT [ 619752318507, -17189001424511, 3771557380704, -2168370784097, -1009742327436, -14809670243644 ]
SUM
Time: 0.990
MODEL <1367452800, [ -706671494, 1611861564, -640125652, 510186718, -1207400834, 3688938936, -588472821, 671175786, -162144624, 2040134442, -2839163778, 766111931, 1655190432, -33157826, 1905891114, 475010951, 839641904, -515410386, -372850166, 3548085708, -3252548511 ]>
DONE
