NONTORSION_D0_PASS
CHABAUTY_START
Time: 1.710
CHABAUTY_POINTS { (-5102885580 : 0 : 1), (134328500 : -1173421721773065228800000 : 1), (1 : 0 : 0), (-32557687500 : 0 : 1), (134328500 : 1173421721773065228800000 : 1), (0 : 0 : 1), (-656597708 : 0 : 1), (-75559781250 : 0 : 1) }
POINT_COUNT 8
DONE
