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