TORSION
Time: 1.940
MODEL <259185864168, [ 22785843473, -182947843573, -42956071634, -41186957683, 394658586816, 534006830427, -695771498895, 687238126564, -133013810083, 1646205928092, 1420998296201, -167316106571, 337358642834, -862547190940, -816270304144, -89715924131, -134148077476, -429231665036, -750155765228, -1184463494184, -365967367100 ]>
K3_POINT [ -4173737275, -7841800119, -14306350001, -651444314, 5486175181, -8074705379 ]
SUM
Time: 1.810
MODEL <259185864168, [ -183256404267, -242526521412, 75274112796, 105837929400, 342718871998, 1792566560862, -61410059388, 78206852088, 99465269427, 323381611452, 870443159850, 61319552308, 401623229039, 45686265916, 15147134354, 412397018353, 155380681336, 496808887685, -58983284995, -2084944236782, -2201094617645 ]>
DONE
