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