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