[cnt: 1], a: -2, b: 17, c: 3

[cnt: 2], a: -2, b: 16, c: 4

[cnt: 3], a: -2, b: 15, c: 5

[cnt: 4], a: -2, b: 14, c: 6

[cnt: 5], a: -2, b: 13, c: 7

[cnt: 6], a: -2, b: 12, c: 8

[cnt: 7], a: -2, b: 11, c: 9

[cnt: 8], a: -1, b: 16, c: 3

[cnt: 9], a: -1, b: 15, c: 4

[cnt: 10], a: -1, b: 14, c: 5

[cnt: 11], a: -1, b: 13, c: 6

[cnt: 12], a: -1, b: 12, c: 7

[cnt: 13], a: -1, b: 11, c: 8

[cnt: 14], a: -1, b: 10, c: 9

[cnt: 15], a: 0, b: 15, c: 3

[cnt: 16], a: 0, b: 14, c: 4

[cnt: 17], a: 0, b: 13, c: 5

[cnt: 18], a: 0, b: 12, c: 6

[cnt: 19], a: 0, b: 11, c: 7

[cnt: 20], a: 0, b: 10, c: 8

[cnt: 21], a: 0, b: 9, c: 9

[cnt: 22], a: 1, b: 14, c: 3

[cnt: 23], a: 1, b: 13, c: 4

[cnt: 24], a: 1, b: 12, c: 5

[cnt: 25], a: 1, b: 11, c: 6

[cnt: 26], a: 1, b: 10, c: 7

[cnt: 27], a: 1, b: 9, c: 8

[cnt: 28], a: 1, b: 8, c: 9

[cnt: 29], a: 2, b: 13, c: 3

[cnt: 30], a: 2, b: 12, c: 4

[cnt: 31], a: 2, b: 11, c: 5

[cnt: 32], a: 2, b: 10, c: 6

[cnt: 33], a: 2, b: 9, c: 7

[cnt: 34], a: 2, b: 8, c: 8

[cnt: 35], a: 2, b: 7, c: 9

[cnt: 36], a: 3, b: 12, c: 3

[cnt: 37], a: 3, b: 11, c: 4

[cnt: 38], a: 3, b: 10, c: 5

[cnt: 39], a: 3, b: 9, c: 6

[cnt: 40], a: 3, b: 8, c: 7

[cnt: 41], a: 3, b: 7, c: 8

[cnt: 42], a: 3, b: 6, c: 9

[cnt: 43], a: 4, b: 11, c: 3

[cnt: 44], a: 4, b: 10, c: 4

[cnt: 45], a: 4, b: 9, c: 5

[cnt: 46], a: 4, b: 8, c: 6

[cnt: 47], a: 4, b: 7, c: 7

[cnt: 48], a: 4, b: 6, c: 8

[cnt: 49], a: 4, b: 5, c: 9

[cnt: 50], a: 5, b: 10, c: 3

[cnt: 51], a: 5, b: 9, c: 4

[cnt: 52], a: 5, b: 8, c: 5

[cnt: 53], a: 5, b: 7, c: 6

[cnt: 54], a: 5, b: 6, c: 7

[cnt: 55], a: 5, b: 5, c: 8

[cnt: 56], a: 5, b: 4, c: 9