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