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