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