// time = 0.369 seconds data[78]:=[* <78, 1, 1, [ 1, 1, -1 ], 0, [ <2, x + 1>, <3, x + 1>, <5, x - 2>, <7, x - 4>, <11, x + 4>, <13, x - 1>, <17, x - 2>, <19, x + 8> ]> *];