{"ancillas": 10, "ops": [["CCX", 20, 0, 30], ["CX", 1, 20], ["CX", 1, 30], ["CCX", 20, 30, 29], ["CX", 1, 29], ["CX", 1, 30], ["CX", 1, 20], ["CCX", 20, 0, 30], ["CCX", 2, 29, 30], ["CX", 3, 20], ["CX", 3, 30], ["CCX", 20, 30, 28], ["CX", 3, 28], ["CX", 3, 30], ["CX", 3, 20], ["CCX", 2, 29, 30], ["CX", 4, 20], ["CX", 4, 28], ["CCX", 20, 28, 30], ["CX", 4, 30], ["CX", 4, 28], ["CX", 4, 20], ["CCX", 5, 30, 27], ["CX", 4, 20], ["CX", 4, 28], ["CCX", 20, 28, 30], ["CX", 4, 30], ["CX", 4, 28], ["CX", 4, 20], ["CX", 6, 20], ["CX", 6, 27], ["CCX", 20, 27, 30], ["CX", 6, 30], ["CX", 6, 27], ["CX", 6, 20], ["CCX", 7, 30, 26], ["CX", 6, 20], ["CX", 6, 27], ["CCX", 20, 27, 30], ["CX", 6, 30], ["CX", 6, 27], ["CX", 6, 20], ["CX", 8, 20], ["CX", 8, 26], ["CCX", 20, 26, 30], ["CX", 8, 30], ["CX", 8, 26], ["CX", 8, 20], ["CX", 9, 20], ["CX", 9, 30], ["CCX", 20, 30, 25], ["CX", 9, 25], ["CX", 9, 30], ["CX", 9, 20], ["CX", 8, 20], ["CX", 8, 26], ["CCX", 20, 26, 30], ["CX", 8, 30], ["CX", 8, 26], ["CX", 8, 20], ["CCX", 10, 25, 30], ["CX", 11, 20], ["CX", 11, 30], ["CCX", 20, 30, 24], ["CX", 11, 24], ["CX", 11, 30], ["CX", 11, 20], ["CCX", 10, 25, 30], ["CCX", 12, 24, 30], ["CX", 13, 20], ["CX", 13, 30], ["CCX", 20, 30, 23], ["CX", 13, 23], ["CX", 13, 30], ["CX", 13, 20], ["CCX", 12, 24, 30], ["CX", 14, 20], ["CX", 14, 23], ["CCX", 20, 23, 30], ["CX", 14, 30], ["CX", 14, 23], ["CX", 14, 20], ["CCX", 15, 30, 22], ["CX", 14, 20], ["CX", 14, 23], ["CCX", 20, 23, 30], ["CX", 14, 30], ["CX", 14, 23], ["CX", 14, 20], ["CX", 16, 20], ["CX", 16, 22], ["CCX", 20, 22, 30], ["CX", 16, 30], ["CX", 16, 22], ["CX", 16, 20], ["CCX", 17, 30, 21], ["CX", 18, 20], ["CX", 18, 21], ["CCX", 20, 21, 19], ["CX", 18, 19], ["CX", 18, 21], ["CX", 18, 20], ["CX", 20, 19], ["CX", 21, 18], ["CX", 20, 18], ["CCX", 17, 30, 21], ["CX", 30, 17], ["CX", 16, 20], ["CX", 16, 22], ["CCX", 20, 22, 30], ["CX", 16, 30], ["CX", 16, 22], ["CX", 16, 20], ["CX", 14, 20], ["CX", 14, 23], ["CCX", 20, 23, 30], ["CX", 14, 30], ["CX", 14, 23], ["CX", 14, 20], ["CX", 30, 15], ["CX", 22, 16], ["CX", 20, 16], ["X", 15], ["CCX", 15, 30, 22], ["X", 15], ["CX", 14, 20], ["CX", 14, 23], ["CCX", 20, 23, 30], ["CX", 14, 30], ["CX", 14, 23], ["CX", 14, 20], ["CCX", 12, 24, 30], ["CX", 30, 13], ["CX", 20, 13], ["CX", 23, 14], ["CX", 20, 14], ["CX", 20, 30], ["CX", 20, 13], ["X", 13], ["CCX", 30, 13, 23], ["CX", 20, 23], ["X", 13], ["CX", 20, 13], ["CX", 20, 30], ["CCX", 12, 24, 30], ["CCX", 10, 25, 30], ["CX", 30, 11], ["CX", 20, 11], ["CX", 24, 12], ["CX", 20, 30], ["CX", 20, 11], ["X", 11], ["CCX", 30, 11, 24], ["CX", 20, 24], ["X", 11], ["CX", 20, 11], ["CX", 20, 30], ["CCX", 10, 25, 30], ["CX", 8, 20], ["CX", 8, 26], ["CCX", 20, 26, 30], ["CX", 8, 30], ["CX", 8, 26], ["CX", 8, 20], ["CX", 30, 9], ["CX", 20, 9], ["CX", 25, 10], ["CX", 20, 30], ["CX", 20, 9], ["X", 9], ["CCX", 30, 9, 25], ["CX", 20, 25], ["X", 9], ["CX", 20, 9], ["CX", 20, 30], ["CX", 8, 20], ["CX", 8, 26], ["CCX", 20, 26, 30], ["CX", 8, 30], ["CX", 8, 26], ["CX", 8, 20], ["CX", 6, 20], ["CX", 6, 27], ["CCX", 20, 27, 30], ["CX", 6, 30], ["CX", 6, 27], ["CX", 6, 20], ["CX", 30, 7], ["CX", 26, 8], ["CX", 20, 8], ["X", 7], ["CCX", 7, 30, 26], ["X", 7], ["CX", 6, 20], ["CX", 6, 27], ["CCX", 20, 27, 30], ["CX", 6, 30], ["CX", 6, 27], ["CX", 6, 20], ["CX", 4, 20], ["CX", 4, 28], ["CCX", 20, 28, 30], ["CX", 4, 30], ["CX", 4, 28], ["CX", 4, 20], ["CX", 30, 5], ["CX", 27, 6], ["CX", 20, 6], ["X", 5], ["CCX", 5, 30, 27], ["X", 5], ["CX", 4, 20], ["CX", 4, 28], ["CCX", 20, 28, 30], ["CX", 4, 30], ["CX", 4, 28], ["CX", 4, 20], ["CCX", 2, 29, 30], ["CX", 30, 3], ["CX", 20, 3], ["CX", 28, 4], ["CX", 20, 4], ["CX", 20, 30], ["CX", 20, 3], ["X", 3], ["CCX", 30, 3, 28], ["CX", 20, 28], ["X", 3], ["CX", 20, 3], ["CX", 20, 30], ["CCX", 2, 29, 30], ["CCX", 20, 0, 30], ["CX", 30, 1], ["CX", 20, 1], ["CX", 29, 2], ["CX", 20, 30], ["CX", 20, 1], ["X", 1], ["CCX", 30, 1, 29], ["CX", 20, 29], ["X", 1], ["CX", 20, 1], ["CX", 20, 30], ["CCX", 20, 0, 30], ["CX", 20, 0]]}