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