/
smq2Q_XYICNOT.py
420 lines (401 loc) · 38.1 KB
/
smq2Q_XYICNOT.py
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
"""
A standard multi-qubit gate set module.
Variables for working with the 2-qubit model containing the gates
I*X(pi/2), I*Y(pi/2), X(pi/2)*I, Y(pi/2)*I, and CNOT.
"""
#***************************************************************************************************
# Copyright 2015, 2019 National Technology & Engineering Solutions of Sandia, LLC (NTESS).
# Under the terms of Contract DE-NA0003525 with NTESS, the U.S. Government retains certain rights
# in this software.
# Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except
# in compliance with the License. You may obtain a copy of the License at
# http://www.apache.org/licenses/LICENSE-2.0 or in the LICENSE file in the root pyGSTi directory.
#***************************************************************************************************
from collections import OrderedDict
from pygsti.construction import circuitconstruction as _strc
from pygsti.construction import modelconstruction as _setc
from pygsti.modelpacks._modelpack import GSTModelPack
class _Module(GSTModelPack):
description = "I*X(pi/2), I*Y(pi/2), X(pi/2)*I, Y(pi/2)*I, and CNOT gates"
gates = [('Gxpi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 0), ('Gcnot', 0, 1)]
_sslbls = (0, 1)
_germs = [((), ), (('Gxpi2', 0), ), (('Gypi2', 0), ), (('Gxpi2', 1), ), (('Gypi2', 1), ), (('Gcnot', 0, 1), ),
(('Gxpi2', 0), ('Gypi2', 0)), (('Gxpi2', 1), ('Gypi2', 1)), (('Gypi2', 1), ('Gypi2', 0)), (('Gxpi2', 1), ('Gxpi2', 0)),
(('Gxpi2', 1), ('Gypi2', 0)), (('Gypi2', 1), ('Gxpi2', 0)), (('Gypi2', 1), ('Gcnot', 0, 1)),
(('Gypi2', 0), ('Gcnot', 0, 1)), (('Gxpi2', 0), ('Gcnot', 0, 1)), (('Gxpi2', 1), ('Gcnot', 0, 1)), ((), ('Gxpi2', 1)),
((), ('Gypi2', 1)), ((), ('Gypi2', 0)), ((), ('Gcnot', 0, 1)), (('Gxpi2', 0), ('Gxpi2', 0), ('Gypi2', 0)),
(('Gxpi2', 1), ('Gxpi2', 1), ('Gypi2', 1)), (('Gxpi2', 0), ('Gypi2', 0), ('Gypi2', 0)), (('Gxpi2', 1), ('Gypi2', 1), ('Gypi2', 1)),
(('Gypi2', 1), ('Gxpi2', 0), ('Gxpi2', 0)), (('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 0)), (('Gxpi2', 1), ('Gxpi2', 0), ('Gypi2', 1)),
(('Gxpi2', 1), ('Gypi2', 0), ('Gxpi2', 0)), (('Gxpi2', 1), ('Gypi2', 0), ('Gypi2', 1)), (('Gxpi2', 1), ('Gypi2', 1), ('Gypi2', 0)),
(('Gxpi2', 1), ('Gypi2', 1), ('Gxpi2', 0)), (('Gypi2', 1), ('Gypi2', 0), ('Gxpi2', 0)),
(('Gypi2', 1), ('Gcnot', 0, 1), ('Gxpi2', 0)), (('Gxpi2', 1), ('Gxpi2', 1), ('Gcnot', 0, 1)),
(('Gxpi2', 0), ('Gcnot', 0, 1), ('Gcnot', 0, 1)), (('Gypi2', 1), ('Gypi2', 0), ('Gcnot', 0, 1)),
(('Gypi2', 0), ('Gcnot', 0, 1), ('Gcnot', 0, 1)), (('Gxpi2', 1), ('Gypi2', 1), ('Gcnot', 0, 1)),
(('Gypi2', 1), ('Gcnot', 0, 1), ('Gcnot', 0, 1)), (('Gxpi2', 0), ('Gypi2', 0), ()), (('Gxpi2', 0), (), ('Gypi2', 0)),
(('Gxpi2', 0), (), ()), (('Gypi2', 0), (), ()), (('Gxpi2', 1), ('Gypi2', 1), ()), (('Gxpi2', 1), (), ('Gypi2', 1)),
(('Gxpi2', 1), (), ()), (('Gypi2', 1), (), ()), ((), ('Gxpi2', 1), ('Gypi2', 0)), ((), ('Gypi2', 1), ('Gypi2', 0)),
((), ('Gypi2', 0), ('Gxpi2', 1)), (('Gcnot', 0, 1), ('Gxpi2', 1), ('Gxpi2', 0), ('Gxpi2', 0)),
(('Gypi2', 0), ('Gxpi2', 1), ('Gxpi2', 0), ('Gypi2', 1)), (('Gxpi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 0)),
(('Gxpi2', 1), ('Gxpi2', 1), ('Gxpi2', 1), ('Gypi2', 1)), (('Gxpi2', 0), ('Gypi2', 0), ('Gypi2', 0), ('Gypi2', 0)),
(('Gypi2', 0), ('Gypi2', 0), ('Gypi2', 1), ('Gypi2', 0)), (('Gypi2', 0), ('Gxpi2', 1), ('Gxpi2', 1), ('Gxpi2', 1)),
(('Gxpi2', 0), ('Gypi2', 0), ('Gxpi2', 1), ('Gxpi2', 1)), (('Gcnot', 0, 1), ('Gypi2', 0), ('Gcnot', 0, 1), ('Gxpi2', 0)),
(('Gcnot', 0, 1), ('Gxpi2', 1), ('Gcnot', 0, 1), ('Gypi2', 1)),
(('Gxpi2', 1), ('Gxpi2', 0), ('Gcnot', 0, 1), ('Gypi2', 1)), (('Gxpi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gcnot', 0, 1)),
(('Gxpi2', 0), ('Gypi2', 0), ('Gypi2', 0), ()), (('Gxpi2', 1), ('Gypi2', 1), ('Gypi2', 1), ()),
(('Gypi2', 1), ('Gxpi2', 0), (), ()), (('Gxpi2', 1), (), (), ('Gxpi2', 0)),
(('Gypi2', 1), ('Gypi2', 0), ('Gxpi2', 0), ('Gxpi2', 0), ('Gypi2', 1)),
(('Gxpi2', 0), ('Gxpi2', 0), ('Gypi2', 1), ('Gypi2', 0), ('Gypi2', 1)),
(('Gypi2', 1), ('Gxpi2', 1), ('Gxpi2', 0), ('Gxpi2', 1), ('Gxpi2', 0)),
(('Gypi2', 0), ('Gypi2', 1), ('Gypi2', 0), ('Gxpi2', 1), ('Gxpi2', 1)),
(('Gypi2', 1), ('Gxpi2', 0), ('Gxpi2', 1), ('Gypi2', 1), ('Gypi2', 0)),
(('Gypi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 0), ('Gxpi2', 0)),
(('Gypi2', 0), ('Gcnot', 0, 1), ('Gypi2', 1), ('Gypi2', 1), ('Gxpi2', 0)),
(('Gxpi2', 0), ('Gxpi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 1), ('Gypi2', 0)),
(('Gxpi2', 0), ('Gypi2', 1), ('Gxpi2', 1), ('Gypi2', 0), ('Gxpi2', 1), ('Gxpi2', 1)),
(('Gypi2', 0), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 0), ('Gxpi2', 0), ('Gcnot', 0, 1)),
(('Gxpi2', 0), ('Gxpi2', 0), ('Gypi2', 0), ('Gxpi2', 0), ('Gypi2', 0), ('Gypi2', 0)),
(('Gxpi2', 1), ('Gxpi2', 1), ('Gypi2', 1), ('Gxpi2', 1), ('Gypi2', 1), ('Gypi2', 1)),
(('Gypi2', 0), ('Gxpi2', 0), ('Gxpi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gxpi2', 1)),
(('Gypi2', 0), ('Gxpi2', 0), ('Gxpi2', 1), ('Gxpi2', 0), ('Gxpi2', 1), ('Gypi2', 1)),
(('Gxpi2', 0), ('Gxpi2', 1), ('Gypi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 0)),
(('Gxpi2', 1), ('Gypi2', 1), ('Gypi2', 1), ('Gxpi2', 1), ('Gxpi2', 0), ('Gxpi2', 0)),
(('Gypi2', 0), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 1), ('Gypi2', 1), ('Gypi2', 1)),
(('Gypi2', 0), ('Gypi2', 0), ('Gypi2', 0), ('Gypi2', 1), ('Gypi2', 0), ('Gxpi2', 1)),
(('Gypi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 1), ('Gxpi2', 1), ('Gypi2', 1)),
(('Gypi2', 1), ('Gxpi2', 1), ('Gypi2', 0), ('Gypi2', 0), ('Gxpi2', 1), ('Gxpi2', 0), ('Gypi2', 1)),
(('Gypi2', 0), ('Gxpi2', 0), ('Gypi2', 1), ('Gxpi2', 0), ('Gxpi2', 1), ('Gxpi2', 0), ('Gypi2', 0), ('Gypi2', 1)),
(('Gxpi2', 1), ('Gxpi2', 1), ('Gypi2', 0), ('Gxpi2', 0), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 1), ('Gypi2', 0))]
_germs_lite = [((), ), (('Gxpi2', 0), ), (('Gypi2', 0), ), (('Gxpi2', 1), ), (('Gypi2', 1), ), (('Gcnot', 0, 1), ),
(('Gxpi2', 0), ('Gypi2', 0)), (('Gxpi2', 1), ('Gypi2', 1)), (('Gxpi2', 0), ('Gxpi2', 0), ('Gypi2', 0)),
(('Gxpi2', 1), ('Gxpi2', 1), ('Gypi2', 1)), (('Gcnot', 0, 1), ('Gxpi2', 1), ('Gxpi2', 0), ('Gxpi2', 0)),
(('Gxpi2', 0), ('Gxpi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 1), ('Gypi2', 0)),
(('Gxpi2', 0), ('Gypi2', 1), ('Gxpi2', 1), ('Gypi2', 0), ('Gxpi2', 1), ('Gxpi2', 1)),
(('Gypi2', 0), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 0), ('Gxpi2', 0), ('Gcnot', 0, 1)),
(('Gypi2', 0), ('Gxpi2', 0), ('Gypi2', 1), ('Gxpi2', 0), ('Gxpi2', 1), ('Gxpi2', 0), ('Gypi2', 0), ('Gypi2', 1))]
_fiducials = [(), (('Gxpi2', 1), ), (('Gypi2', 1), ), (('Gxpi2', 1), ('Gxpi2', 1)), (('Gxpi2', 0), ), (('Gxpi2', 0), ('Gxpi2', 1)),
(('Gxpi2', 0), ('Gypi2', 1)), (('Gxpi2', 0), ('Gxpi2', 1), ('Gxpi2', 1)), (('Gypi2', 0), ), (('Gypi2', 0), ('Gxpi2', 1)),
(('Gypi2', 0), ('Gypi2', 1)), (('Gypi2', 0), ('Gxpi2', 1), ('Gxpi2', 1)), (('Gxpi2', 0), ('Gxpi2', 0)),
(('Gxpi2', 0), ('Gxpi2', 0), ('Gxpi2', 1)), (('Gxpi2', 0), ('Gxpi2', 0), ('Gypi2', 1)),
(('Gxpi2', 0), ('Gxpi2', 0), ('Gxpi2', 1), ('Gxpi2', 1))]
_prepfiducials = [(), (('Gxpi2', 1), ), (('Gypi2', 1), ), (('Gxpi2', 1), ('Gxpi2', 1)), (('Gxpi2', 0), ), (('Gxpi2', 0), ('Gxpi2', 1)),
(('Gxpi2', 0), ('Gypi2', 1)), (('Gxpi2', 0), ('Gxpi2', 1), ('Gxpi2', 1)), (('Gypi2', 0), ), (('Gypi2', 0), ('Gxpi2', 1)),
(('Gypi2', 0), ('Gypi2', 1)), (('Gypi2', 0), ('Gxpi2', 1), ('Gxpi2', 1)), (('Gxpi2', 0), ('Gxpi2', 0)),
(('Gxpi2', 0), ('Gxpi2', 0), ('Gxpi2', 1)), (('Gxpi2', 0), ('Gxpi2', 0), ('Gypi2', 1)),
(('Gxpi2', 0), ('Gxpi2', 0), ('Gxpi2', 1), ('Gxpi2', 1))]
_measfiducials = [(), (('Gxpi2', 1), ), (('Gypi2', 1), ), (('Gxpi2', 1), ('Gxpi2', 1)), (('Gxpi2', 0), ), (('Gypi2', 0), ),
(('Gxpi2', 0), ('Gxpi2', 0)), (('Gxpi2', 0), ('Gxpi2', 1)), (('Gxpi2', 0), ('Gypi2', 1)), (('Gypi2', 0), ('Gxpi2', 1)),
(('Gypi2', 0), ('Gypi2', 1))]
global_fidpairs = [(2, 0), (2, 1), (2, 2), (2, 10), (3, 10), (4, 2), (4, 9), (5, 1), (5, 7), (6, 10), (7, 1),
(7, 6), (7, 7), (8, 0), (8, 7), (9, 6), (9, 8), (10, 5), (10, 10), (12, 5), (13, 1), (13, 4),
(14, 1), (14, 7)]
_pergerm_fidpairsdict = {
(('Gxpi2', 1), ): [(0, 5), (1, 0), (1, 1), (2, 2), (2, 5), (2, 9), (3, 3), (3, 4), (3, 8), (4, 0), (4, 2), (4, 7),
(4, 8), (4, 10), (5, 0), (5, 1), (5, 2), (5, 6), (5, 8), (6, 7), (6, 8), (6, 9), (7, 0), (7, 4),
(8, 5), (8, 9), (9, 5), (10, 8), (10, 10), (12, 2), (12, 4), (12, 7), (13, 2), (13, 3), (13, 9),
(14, 0), (14, 5), (14, 6), (15, 5), (15, 8), (15, 9)],
(('Gcnot', 0, 1), ): [(0, 7), (1, 0), (2, 4), (4, 3), (5, 5), (5, 10), (6, 1), (6, 10), (7, 8), (8, 2), (8, 5), (8, 6),
(9, 0), (9, 4), (9, 6), (9, 9), (10, 2), (10, 4), (10, 5), (11, 5), (12, 2), (13, 7), (14, 1),
(14, 2), (14, 3), (14, 6), (15, 8), (15, 10)],
(('Gypi2', 1), ): [(0, 0), (0, 7), (1, 1), (3, 5), (3, 6), (4, 2), (4, 4), (4, 5), (5, 3), (5, 7), (7, 1), (7, 8),
(8, 5), (9, 4), (9, 5), (9, 9), (10, 5), (11, 5), (11, 6), (11, 8), (11, 10), (12, 0), (12, 3),
(13, 10), (14, 0), (14, 5), (14, 6), (14, 7), (15, 0), (15, 6), (15, 9)],
(('Gypi2', 0), ): [(3, 1), (4, 1), (4, 2), (5, 0), (5, 1), (5, 7), (6, 0), (6, 8), (7, 2), (7, 4), (7, 9), (8, 0),
(8, 7), (9, 2), (9, 3), (10, 9), (10, 10), (14, 7), (14, 9), (15, 10)],
((), ): [(0, 8), (1, 0), (1, 1), (1, 3), (1, 10), (2, 5), (2, 9), (3, 3), (3, 9), (4, 3), (4, 8), (5, 0),
(5, 5), (5, 7), (6, 4), (6, 6), (6, 8), (6, 10), (7, 0), (7, 2), (7, 3), (7, 4), (7, 6), (7, 10),
(8, 3), (8, 5), (9, 3), (9, 4), (9, 5), (9, 6), (9, 8), (9, 9), (10, 3), (10, 9), (10, 10), (11, 1),
(11, 5), (12, 5), (12, 7), (12, 9), (13, 0), (13, 10), (14, 0), (14, 1), (14, 2), (14, 6), (15, 0),
(15, 5), (15, 6), (15, 7), (15, 8)],
(('Gxpi2', 0), ): [(0, 7), (1, 1), (1, 7), (2, 7), (3, 3), (4, 9), (5, 4), (7, 2), (7, 10), (8, 2), (9, 2), (9, 8),
(9, 9), (10, 1), (10, 10), (11, 2), (11, 5), (11, 6), (13, 2), (14, 7), (15, 2), (15, 3)],
(('Gypi2', 1), ('Gypi2', 0)): [(0, 6), (0, 8), (0, 10), (1, 0), (1, 1), (1, 3), (2, 9), (3, 8), (4, 4), (4, 7), (5, 7),
(6, 1), (7, 0), (7, 8), (9, 10), (10, 5), (11, 5), (12, 5), (12, 6), (14, 0), (15, 0), (15, 6),
(15, 8)],
(('Gypi2', 1), ('Gxpi2', 0)): [(1, 1), (2, 8), (3, 0), (3, 2), (3, 6), (4, 7), (7, 2), (8, 6), (9, 1), (9, 7), (9, 9),
(10, 2), (10, 10), (11, 8), (12, 6), (13, 2), (13, 7), (14, 2), (15, 5)],
((), ('Gypi2', 1)): [(0, 0), (0, 7), (1, 1), (3, 5), (3, 6), (4, 2), (4, 4), (4, 5), (5, 3), (5, 7), (7, 1), (7, 8),
(8, 5), (9, 4), (9, 5), (9, 9), (10, 5), (11, 5), (11, 6), (11, 8), (11, 10), (12, 0), (12, 3),
(13, 10), (14, 0), (14, 5), (14, 6), (14, 7), (15, 0), (15, 6), (15, 9)],
(('Gxpi2', 1), ('Gypi2', 1)): [(1, 0), (1, 10), (4, 0), (4, 4), (4, 7), (4, 8), (5, 5), (7, 6), (8, 9), (9, 9), (10, 2),
(10, 8), (11, 10), (12, 6), (12, 9), (13, 9), (15, 1)],
((), ('Gcnot', 0, 1)): [(0, 7), (1, 0), (2, 4), (4, 3), (5, 5), (5, 10), (6, 1), (6, 10), (7, 8), (8, 2), (8, 5),
(8, 6), (9, 0), (9, 4), (9, 6), (9, 9), (10, 2), (10, 4), (10, 5), (11, 5), (12, 2), (13, 7),
(14, 1), (14, 2), (14, 3), (14, 6), (15, 8), (15, 10)],
(('Gypi2', 0), ('Gcnot', 0, 1)): [(0, 2), (1, 0), (1, 4), (1, 9), (3, 10), (4, 3), (5, 7), (7, 4), (7, 7), (7, 8), (8, 7),
(8, 9), (9, 2), (9, 6), (10, 3), (14, 10), (15, 4)],
(('Gxpi2', 1), ('Gxpi2', 0)): [(0, 0), (1, 5), (2, 4), (3, 3), (3, 5), (5, 2), (6, 1), (6, 8), (6, 10), (8, 6), (10, 2),
(10, 8), (10, 10), (11, 8), (12, 1), (13, 1), (13, 4), (13, 6), (13, 10), (14, 8), (15, 3)],
((), ('Gypi2', 0)): [(3, 1), (4, 1), (4, 2), (5, 0), (5, 1), (5, 7), (6, 0), (6, 8), (7, 2), (7, 4), (7, 9), (8, 0),
(8, 7), (9, 2), (9, 3), (10, 9), (10, 10), (14, 7), (14, 9), (15, 10)],
(('Gxpi2', 1), ('Gypi2', 0)): [(0, 5), (0, 9), (1, 6), (3, 1), (3, 2), (5, 0), (5, 4), (6, 0), (6, 8), (9, 7), (10, 9),
(11, 1), (11, 4), (14, 4), (14, 9), (15, 5), (15, 7)],
(('Gxpi2', 1), ('Gcnot', 0, 1)): [(2, 2), (3, 1), (4, 5), (4, 7), (4, 8), (5, 3), (5, 4), (8, 5), (9, 4), (9, 6), (10, 10),
(12, 0), (13, 0), (14, 5), (15, 1), (15, 7), (15, 10)],
((), ('Gxpi2', 1)): [(0, 5), (1, 0), (1, 1), (2, 2), (2, 5), (2, 9), (3, 3), (3, 4), (3, 8), (4, 0), (4, 2), (4, 7),
(4, 8), (4, 10), (5, 0), (5, 1), (5, 2), (5, 6), (5, 8), (6, 7), (6, 8), (6, 9), (7, 0),
(7, 4), (8, 5), (8, 9), (9, 5), (10, 8), (10, 10), (12, 2), (12, 4), (12, 7), (13, 2), (13, 3),
(13, 9), (14, 0), (14, 5), (14, 6), (15, 5), (15, 8), (15, 9)],
(('Gypi2', 1), ('Gcnot', 0, 1)): [(0, 2), (1, 0), (1, 4), (1, 9), (3, 10), (4, 3), (5, 7), (7, 4), (7, 7), (7, 8), (8, 7),
(8, 9), (9, 2), (9, 6), (10, 3), (14, 10), (15, 4)],
(('Gxpi2', 0), ('Gypi2', 0)): [(0, 1), (0, 2), (0, 5), (1, 3), (1, 9), (2, 4), (2, 10), (3, 8), (5, 5), (7, 0), (9, 3),
(9, 9), (9, 10), (10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gxpi2', 0), ('Gcnot', 0, 1)): [(0, 1), (0, 5), (1, 3), (2, 4), (2, 10), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9), (9, 10),
(10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gypi2', 0), (), ()): [(3, 1), (4, 1), (4, 2), (5, 0), (5, 1), (5, 7), (6, 0), (6, 8), (7, 2), (7, 4), (7, 9),
(8, 0), (8, 7), (9, 2), (9, 3), (10, 9), (10, 10), (14, 7), (14, 9), (15, 10)],
(('Gypi2', 1), ('Gcnot', 0, 1), ('Gxpi2', 0)): [(0, 1), (0, 5), (1, 3), (2, 4), (2, 10), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9),
(9, 10), (10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gxpi2', 1), ('Gypi2', 1), ()): [(1, 0), (1, 10), (4, 0), (4, 4), (4, 7), (4, 8), (5, 5), (7, 6), (8, 9), (9, 9),
(10, 2), (10, 8), (11, 10), (12, 6), (12, 9), (13, 9), (15, 1)],
(('Gxpi2', 1), ('Gxpi2', 0), ('Gypi2', 1)): [(0, 6), (3, 0), (5, 0), (6, 7), (7, 1), (8, 3), (9, 9), (10, 4), (10, 9), (12, 9),
(13, 2), (14, 5), (14, 8), (14, 10), (15, 6)],
(('Gxpi2', 0), (), ()): [(0, 7), (1, 1), (1, 7), (2, 7), (3, 3), (4, 9), (5, 4), (7, 2), (7, 10), (8, 2), (9, 2),
(9, 8), (9, 9), (10, 1), (10, 10), (11, 2), (11, 5), (11, 6), (13, 2), (14, 7), (15, 2),
(15, 3)],
(('Gxpi2', 1), ('Gypi2', 0), ('Gxpi2', 0)): [(1, 10), (2, 10), (4, 8), (5, 5), (5, 6), (6, 10), (7, 0), (7, 5), (7, 6), (7, 8),
(8, 5), (12, 5), (13, 0), (13, 2), (14, 1)],
(('Gxpi2', 1), ('Gypi2', 1), ('Gypi2', 0)): [(0, 1), (4, 2), (4, 7), (6, 7), (8, 3), (9, 5), (9, 7), (10, 0), (10, 4), (10, 5),
(11, 2), (11, 9), (14, 6), (14, 8), (15, 3)],
(('Gypi2', 1), (), ()): [(0, 0), (0, 7), (1, 1), (3, 5), (3, 6), (4, 2), (4, 4), (4, 5), (5, 3), (5, 7), (7, 1),
(7, 8), (8, 5), (9, 4), (9, 5), (9, 9), (10, 5), (11, 5), (11, 6), (11, 8), (11, 10),
(12, 0), (12, 3), (13, 10), (14, 0), (14, 5), (14, 6), (14, 7), (15, 0), (15, 6),
(15, 9)],
(('Gxpi2', 0), ('Gypi2', 0), ('Gypi2', 0)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9), (9, 10), (10, 8),
(12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gypi2', 1), ('Gxpi2', 0), ('Gxpi2', 0)): [(1, 7), (2, 2), (4, 8), (7, 2), (7, 10), (8, 6), (9, 8), (9, 9), (10, 1), (11, 4),
(11, 9), (12, 8), (12, 9), (13, 0), (13, 1), (13, 9)],
((), ('Gxpi2', 1), ('Gypi2', 0)): [(0, 5), (0, 9), (1, 6), (3, 1), (3, 2), (5, 0), (5, 4), (6, 0), (6, 8), (9, 7), (10, 9),
(11, 1), (11, 4), (14, 4), (14, 9), (15, 5), (15, 7)],
(('Gypi2', 1), ('Gcnot', 0, 1), ('Gcnot', 0, 1)): [(0, 0), (0, 7), (1, 1), (3, 5), (3, 6), (4, 2), (4, 4), (4, 5), (5, 3), (5, 7),
(7, 1), (7, 8), (8, 5), (9, 4), (9, 5), (9, 9), (10, 5), (11, 5), (11, 6), (11, 8),
(11, 10), (12, 0), (12, 3), (13, 10), (14, 0), (14, 5), (14, 6), (14, 7), (15, 0),
(15, 6), (15, 9)],
(('Gxpi2', 1), ('Gypi2', 0), ('Gypi2', 1)): [(3, 0), (4, 4), (5, 1), (5, 8), (6, 5), (7, 3), (8, 6), (8, 7), (9, 5), (10, 3),
(11, 4), (14, 0), (14, 6), (14, 9), (15, 5)],
(('Gxpi2', 0), (), ('Gypi2', 0)): [(0, 1), (0, 2), (0, 5), (1, 3), (1, 9), (2, 4), (2, 10), (3, 8), (5, 5), (7, 0), (9, 3),
(9, 9), (9, 10), (10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gxpi2', 1), ('Gxpi2', 1), ('Gcnot', 0, 1)): [(0, 6), (0, 7), (2, 2), (2, 3), (2, 5), (2, 9), (4, 4), (4, 9), (6, 1), (8, 10),
(12, 3), (12, 9), (13, 3), (14, 10), (15, 3)],
(('Gxpi2', 1), ('Gypi2', 1), ('Gypi2', 1)): [(0, 4), (0, 5), (0, 7), (1, 1), (1, 6), (2, 3), (4, 10), (5, 4), (6, 8),
(7, 4), (7, 10), (8, 8), (8, 9), (10, 5), (11, 5), (11, 6), (11, 9), (13, 10), (14, 1),
(14, 9)],
(('Gxpi2', 0), ('Gypi2', 0), ()): [(0, 1), (0, 2), (0, 5), (1, 3), (1, 9), (2, 4), (2, 10), (3, 8), (5, 5), (7, 0), (9, 3),
(9, 9), (9, 10), (10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gypi2', 0), ('Gcnot', 0, 1), ('Gcnot', 0, 1)): [(3, 1), (4, 1), (4, 2), (5, 0), (5, 1), (5, 7), (6, 0), (6, 8), (7, 2), (7, 4),
(7, 9), (8, 0), (8, 7), (9, 2), (9, 3), (10, 9), (10, 10), (14, 7), (14, 9),
(15, 10)],
(('Gxpi2', 1), ('Gxpi2', 1), ('Gypi2', 1)): [(0, 0), (0, 6), (1, 0), (1, 10), (4, 0), (4, 4), (4, 7), (4, 8), (5, 5), (6, 7), (7, 6),
(8, 9), (9, 9), (10, 2), (10, 8), (11, 10), (12, 6), (12, 9), (13, 1), (13, 9),
(15, 1)],
((), ('Gypi2', 1), ('Gypi2', 0)): [(0, 6), (0, 8), (0, 10), (1, 0), (1, 1), (1, 3), (2, 9), (3, 8), (4, 4), (4, 7), (5, 7),
(6, 1), (7, 0), (7, 8), (9, 10), (10, 5), (11, 5), (12, 5), (12, 6), (14, 0), (15, 0),
(15, 6), (15, 8)],
(('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 0)): [(0, 9), (1, 1), (1, 9), (2, 7), (3, 4), (4, 4), (4, 10), (6, 0), (6, 3), (7, 0), (9, 4),
(11, 5), (12, 4), (13, 7), (14, 0)],
(('Gypi2', 1), ('Gypi2', 0), ('Gxpi2', 0)): [(0, 9), (1, 1), (1, 9), (2, 7), (3, 4), (4, 4), (4, 10), (6, 0), (6, 3), (7, 0), (9, 4),
(11, 5), (12, 4), (13, 7), (14, 0)],
((), ('Gypi2', 0), ('Gxpi2', 1)): [(0, 5), (0, 9), (1, 6), (3, 1), (3, 2), (5, 0), (5, 4), (6, 0), (6, 8), (9, 7), (10, 9),
(11, 1), (11, 4), (14, 4), (14, 9), (15, 5), (15, 7)],
(('Gxpi2', 1), ('Gypi2', 1), ('Gxpi2', 0)): [(0, 6), (3, 0), (5, 0), (6, 7), (7, 1), (8, 3), (9, 9), (10, 4), (10, 9), (12, 9),
(13, 2), (14, 5), (14, 8), (14, 10), (15, 6)],
(('Gxpi2', 1), ('Gypi2', 1), ('Gcnot', 0, 1)): [(0, 3), (1, 0), (1, 4), (3, 10), (4, 3), (5, 7), (7, 2), (7, 4), (7, 7), (7, 8),
(8, 1), (8, 5), (8, 7), (8, 9), (9, 2), (9, 6), (10, 3), (14, 10), (15, 4)],
(('Gypi2', 1), ('Gypi2', 0), ('Gcnot', 0, 1)): [(0, 1), (0, 2), (0, 5), (1, 3), (1, 9), (2, 4), (2, 10), (3, 8), (5, 5), (7, 0),
(7, 8), (9, 3), (9, 9), (9, 10), (10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 4),
(15, 5)],
(('Gxpi2', 0), ('Gcnot', 0, 1), ('Gcnot', 0, 1)): [(0, 7), (1, 1), (1, 7), (2, 7), (3, 3), (4, 9), (5, 4), (7, 2), (7, 10), (8, 2),
(9, 2), (9, 8), (9, 9), (10, 1), (10, 10), (11, 2), (11, 5), (11, 6), (13, 2),
(14, 7), (15, 2), (15, 3)],
(('Gxpi2', 1), (), ('Gypi2', 1)): [(1, 0), (1, 10), (4, 0), (4, 4), (4, 7), (4, 8), (5, 5), (7, 6), (8, 9), (9, 9),
(10, 2), (10, 8), (11, 10), (12, 6), (12, 9), (13, 9), (15, 1)],
(('Gxpi2', 1), (), ()): [(0, 5), (1, 0), (1, 1), (2, 2), (2, 5), (2, 9), (3, 3), (3, 4), (3, 8), (4, 0), (4, 2),
(4, 7), (4, 8), (4, 10), (5, 0), (5, 1), (5, 2), (5, 6), (5, 8), (6, 7), (6, 8), (6, 9),
(7, 0), (7, 4), (8, 5), (8, 9), (9, 5), (10, 8), (10, 10), (12, 2), (12, 4), (12, 7),
(13, 2), (13, 3), (13, 9), (14, 0), (14, 5), (14, 6), (15, 5), (15, 8), (15, 9)],
(('Gxpi2', 0), ('Gxpi2', 0), ('Gypi2', 0)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9), (9, 10), (10, 8),
(12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gxpi2', 1), ('Gxpi2', 0), ('Gcnot', 0, 1), ('Gypi2', 1)): [(0, 1), (0, 2), (0, 5), (0, 10), (1, 3), (1, 7), (2, 1), (2, 7), (3, 6),
(5, 1), (6, 10), (7, 0), (7, 6), (9, 0), (9, 2), (10, 4), (11, 7), (11, 9),
(13, 7), (14, 3), (14, 7), (15, 5), (15, 10)],
(('Gypi2', 0), ('Gxpi2', 1), ('Gxpi2', 0), ('Gypi2', 1)): [(0, 1), (0, 2), (0, 5), (1, 3), (1, 9), (2, 4), (2, 10), (3, 8), (5, 5), (7, 0),
(9, 3), (9, 9), (9, 10), (10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gxpi2', 1), (), (), ('Gxpi2', 0)): [(0, 0), (1, 5), (2, 4), (3, 3), (3, 5), (5, 2), (6, 1), (6, 8), (6, 10), (8, 6),
(10, 2), (10, 8), (10, 10), (11, 8), (12, 1), (13, 1), (13, 4), (13, 6),
(13, 10), (14, 8), (15, 3)],
(('Gxpi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 0)): [(0, 1), (0, 2), (0, 5), (1, 3), (1, 9), (2, 4), (2, 10), (3, 8), (5, 5), (7, 0),
(9, 3), (9, 9), (9, 10), (10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gypi2', 1), ('Gxpi2', 0), (), ()): [(1, 1), (2, 8), (3, 0), (3, 2), (3, 6), (4, 7), (7, 2), (8, 6), (9, 1), (9, 7),
(9, 9), (10, 2), (10, 10), (11, 8), (12, 6), (13, 2), (13, 7), (14, 2), (15, 5)],
(('Gypi2', 0), ('Gxpi2', 1), ('Gxpi2', 1), ('Gxpi2', 1)): [(0, 5), (0, 9), (1, 6), (3, 1), (3, 2), (5, 0), (5, 4), (6, 0), (6, 8), (9, 7),
(10, 9), (11, 1), (11, 4), (14, 4), (14, 9), (15, 5), (15, 7)],
(('Gypi2', 0), ('Gypi2', 0), ('Gypi2', 1), ('Gypi2', 0)): [(0, 2), (1, 1), (1, 4), (2, 1), (2, 10), (3, 10), (4, 0), (5, 3), (5, 7), (6, 4),
(6, 10), (8, 2), (8, 3), (9, 0), (10, 8), (11, 1), (11, 7), (13, 1), (13, 8)],
(('Gxpi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gcnot', 0, 1)): [(0, 1), (0, 2), (0, 5), (1, 3), (1, 9), (2, 4), (2, 10), (3, 8), (5, 5),
(7, 0), (9, 3), (9, 9), (9, 10), (10, 8), (12, 2), (12, 6), (14, 6), (15, 0),
(15, 5)],
(('Gxpi2', 1), ('Gypi2', 1), ('Gypi2', 1), ()): [(0, 4), (0, 5), (0, 7), (1, 1), (1, 6), (2, 3), (4, 10), (5, 4), (6, 8), (7, 4),
(7, 10), (8, 8), (8, 9), (10, 5), (11, 5), (11, 6), (11, 9), (13, 10), (14, 1),
(14, 9)],
(('Gcnot', 0, 1), ('Gypi2', 0), ('Gcnot', 0, 1), ('Gxpi2', 0)): [(0, 0), (1, 0), (1, 10), (4, 0), (4, 4), (5, 10), (7, 9), (8, 9), (9, 0),
(9, 9), (10, 3), (10, 4), (10, 8), (11, 5), (12, 5), (12, 9), (13, 1),
(13, 9), (15, 1)],
(('Gcnot', 0, 1), ('Gxpi2', 1), ('Gcnot', 0, 1), ('Gypi2', 1)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9), (9, 10),
(10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gcnot', 0, 1), ('Gxpi2', 1), ('Gxpi2', 0), ('Gxpi2', 0)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9), (9, 10),
(10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gxpi2', 0), ('Gypi2', 0), ('Gxpi2', 1), ('Gxpi2', 1)): [(1, 10), (2, 10), (4, 8), (5, 5), (5, 6), (6, 10), (7, 0), (7, 5), (7, 6),
(7, 8), (8, 5), (12, 5), (13, 0), (13, 2), (14, 1)],
(('Gxpi2', 0), ('Gypi2', 0), ('Gypi2', 0), ('Gypi2', 0)): [(0, 1), (0, 2), (0, 5), (1, 3), (1, 9), (2, 4), (2, 10), (3, 8), (5, 5), (7, 0),
(9, 3), (9, 9), (9, 10), (10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gxpi2', 1), ('Gxpi2', 1), ('Gxpi2', 1), ('Gypi2', 1)): [(1, 0), (1, 10), (4, 0), (4, 4), (4, 7), (4, 8), (5, 5), (7, 6), (8, 9), (9, 9),
(10, 2), (10, 8), (11, 10), (12, 6), (12, 9), (13, 9), (15, 1)],
(('Gxpi2', 0), ('Gypi2', 0), ('Gypi2', 0), ()): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9), (9, 10), (10, 8),
(12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gypi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 0), ('Gxpi2', 0)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9), (9, 10),
(10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gypi2', 0), ('Gypi2', 1), ('Gypi2', 0), ('Gxpi2', 1), ('Gxpi2', 1)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9), (9, 10),
(10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gypi2', 1), ('Gypi2', 0), ('Gxpi2', 0), ('Gxpi2', 0), ('Gypi2', 1)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9), (9, 10),
(10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gypi2', 1), ('Gxpi2', 0), ('Gxpi2', 1), ('Gypi2', 1), ('Gypi2', 0)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9), (9, 10),
(10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gxpi2', 0), ('Gxpi2', 0), ('Gypi2', 1), ('Gypi2', 0), ('Gypi2', 1)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9), (9, 10),
(10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gypi2', 0), ('Gcnot', 0, 1), ('Gypi2', 1), ('Gypi2', 1), ('Gxpi2', 0)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9), (9, 10),
(10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gypi2', 1), ('Gxpi2', 1), ('Gxpi2', 0), ('Gxpi2', 1), ('Gxpi2', 0)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9), (9, 10),
(10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gxpi2', 1), ('Gypi2', 1), ('Gypi2', 1), ('Gxpi2', 1), ('Gxpi2', 0), ('Gxpi2', 0)): [(1, 1), (2, 5), (4, 3), (5, 5), (6, 3), (7, 1), (10, 2), (10, 5),
(11, 2), (11, 5), (12, 7), (12, 10), (13, 0), (13, 4), (14, 5)],
(('Gypi2', 0), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 1), ('Gypi2', 1), ('Gypi2', 1)): [(0, 1), (0, 2), (0, 5), (1, 3), (1, 9), (2, 4), (2, 10), (3, 8),
(5, 5), (7, 0), (9, 3), (9, 9), (9, 10), (10, 8), (12, 2), (12, 6),
(14, 6), (15, 0), (15, 5)],
(('Gxpi2', 0), ('Gypi2', 1), ('Gxpi2', 1), ('Gypi2', 0), ('Gxpi2', 1), ('Gxpi2', 1)): [(0, 1), (0, 2), (0, 5), (1, 3), (1, 9), (2, 4), (2, 10), (3, 8),
(5, 5), (7, 0), (9, 3), (9, 9), (9, 10), (10, 8), (12, 2), (12, 6),
(14, 6), (15, 0), (15, 5)],
(('Gypi2', 0), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 0), ('Gxpi2', 0), ('Gcnot', 0, 1)): [(0, 1), (0, 2), (0, 5), (1, 3), (1, 9), (2, 4), (2, 10), (3, 8),
(5, 5), (7, 0), (9, 3), (9, 9), (9, 10), (10, 8), (12, 2),
(12, 6), (14, 6), (15, 0), (15, 5)],
(('Gxpi2', 0), ('Gxpi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 1), ('Gypi2', 0)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9),
(9, 10), (10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gxpi2', 0), ('Gxpi2', 1), ('Gypi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 0)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9),
(9, 10), (10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gypi2', 0), ('Gxpi2', 0), ('Gxpi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gxpi2', 1)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9),
(9, 10), (10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gypi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 1), ('Gxpi2', 1), ('Gypi2', 1)): [(0, 4), (0, 6), (1, 1), (2, 2), (4, 1), (4, 3), (5, 1), (5, 3),
(6, 10), (8, 2), (8, 8), (9, 4), (10, 7), (12, 1), (13, 2),
(15, 6), (15, 9)],
(('Gxpi2', 0), ('Gxpi2', 0), ('Gypi2', 0), ('Gxpi2', 0), ('Gypi2', 0), ('Gypi2', 0)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9),
(9, 10), (10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gypi2', 0), ('Gypi2', 0), ('Gypi2', 0), ('Gypi2', 1), ('Gypi2', 0), ('Gxpi2', 1)): [(0, 3), (1, 0), (1, 4), (3, 10), (4, 3), (5, 7), (7, 2), (7, 4),
(7, 7), (7, 8), (8, 1), (8, 5), (8, 7), (8, 9), (9, 2), (9, 6),
(10, 3), (14, 10), (15, 4)],
(('Gxpi2', 1), ('Gxpi2', 1), ('Gypi2', 1), ('Gxpi2', 1), ('Gypi2', 1), ('Gypi2', 1)): [(1, 0), (1, 10), (4, 0), (4, 4), (4, 7), (4, 8), (5, 5), (7, 6),
(8, 9), (9, 9), (10, 2), (10, 8), (11, 10), (12, 6), (12, 9),
(13, 9), (15, 1)],
(('Gypi2', 0), ('Gxpi2', 0), ('Gxpi2', 1), ('Gxpi2', 0), ('Gxpi2', 1), ('Gypi2', 1)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3), (9, 9),
(9, 10), (10, 8), (12, 2), (12, 6), (14, 6), (15, 0), (15, 5)],
(('Gypi2', 1), ('Gxpi2', 1), ('Gypi2', 0), ('Gypi2', 0), ('Gxpi2', 1), ('Gxpi2', 0), ('Gypi2', 1)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0), (9, 3),
(9, 9), (9, 10), (10, 8), (12, 2), (12, 6), (14, 6),
(15, 0), (15, 5)],
(('Gypi2', 0), ('Gxpi2', 0), ('Gypi2', 1), ('Gxpi2', 0), ('Gxpi2', 1), ('Gxpi2', 0), ('Gypi2', 0), ('Gypi2', 1)): [(0, 1), (0, 5), (1, 3), (3, 8), (5, 5), (7, 0),
(9, 3), (9, 9), (9, 10), (10, 8), (12, 2), (12, 6),
(14, 6), (15, 0), (15, 5)],
(('Gxpi2', 1), ('Gxpi2', 1), ('Gypi2', 0), ('Gxpi2', 0), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 1), ('Gypi2', 0)): [(1, 1), (2, 5), (4, 3), (5, 5), (6, 3), (7, 1),
(10, 2), (10, 5), (11, 2), (11, 5), (12, 7),
(12, 10), (13, 0), (13, 4), (14, 5)]
}
global_fidpairs_lite = None
_pergerm_fidpairsdict_lite = {
((),): [
(0, 3), (0, 4), (0, 6), (0, 7), (0, 8), (0, 9), (1, 1),
(1, 4), (1, 5), (1, 9), (2, 1), (2, 3), (2, 4), (2, 6),
(2, 7), (3, 5), (3, 7), (4, 0), (4, 2), (4, 4), (4, 9),
(5, 0), (5, 2), (5, 7), (5, 9), (5, 10), (6, 0), (6, 1),
(6, 2), (6, 3), (6, 4), (6, 8), (6, 9), (7, 6), (7, 7),
(8, 0), (8, 2), (8, 6), (8, 7), (8, 10), (9, 2), (9, 8),
(9, 9), (9, 10), (10, 4), (10, 7), (10, 8), (10, 9),
(10, 10), (11, 3), (11, 5), (11, 8), (11, 10), (12, 8),
(13, 2), (13, 7), (13, 9), (13, 10), (14, 1), (14, 2),
(14, 7), (14, 8), (14, 10), (15, 4), (15, 8)],
(('Gxpi2', 0),): [
(0, 8), (1, 2), (1, 7), (2, 4), (2, 6), (2, 7), (3, 3),
(3, 5), (3, 8), (4, 8), (5, 0), (5, 4), (5, 5), (5, 7),
(6, 8), (7, 9), (8, 3), (8, 5), (9, 0), (9, 2), (9, 9),
(10, 2), (10, 8), (10, 10), (11, 7), (11, 10), (12, 10),
(13, 1), (13, 2), (13, 6), (13, 9), (14, 0), (14, 5),
(14, 8), (15, 10)],
(('Gypi2', 0),): [
(1, 0), (1, 1), (1, 3), (1, 4), (2, 1), (2, 4), (3, 1),
(3, 2), (3, 8), (4, 3), (4, 5), (5, 7), (6, 0), (6, 1),
(6, 2), (6, 4), (6, 8), (7, 4), (7, 7), (8, 1), (9, 4),
(10, 2), (10, 7), (11, 2), (11, 6), (11, 7), (11, 10),
(12, 2), (12, 3), (12, 8), (13, 9), (13, 10), (15, 6),
(15, 9)],
(('Gxpi2', 1),): [
(0, 4), (0, 9), (1, 5), (1, 8), (1, 9), (1, 10), (2, 2),
(2, 6), (2, 7), (3, 5), (4, 1), (4, 7), (5, 0), (5, 2),
(5, 5), (5, 6), (5, 7), (5, 8), (6, 6), (6, 8), (7, 1),
(7, 5), (7, 9), (7, 10), (8, 5), (8, 6), (9, 0), (9, 4),
(9, 5), (9, 7), (10, 2), (10, 10), (12, 1), (12, 3),
(12, 9), (13, 4), (13, 7), (13, 8), (14, 2), (14, 6),
(14, 8), (15, 5)],
(('Gypi2', 1),): [
(0, 3), (2, 7), (3, 2), (3, 3), (3, 6), (4, 6), (4, 8),
(5, 7), (5, 10), (6, 8), (8, 0), (8, 4), (8, 10), (9, 9),
(10, 6), (12, 1), (12, 3), (12, 8), (13, 0), (13, 1),
(13, 6), (13, 10), (14, 0), (14, 1), (15, 0), (15, 5),
(15, 8)],
(('Gcnot', 0, 1),): [
(3, 6), (4, 5), (5, 8), (6, 0), (6, 2), (6, 7), (7, 3),
(7, 4), (7, 9), (9, 1), (9, 7), (10, 1), (10, 3), (10, 5),
(11, 5), (11, 7), (12, 1), (13, 4), (14, 1), (14, 2),
(15, 10)],
(('Gxpi2', 0), ('Gypi2', 0)): [
(0, 1), (0, 4), (0, 7), (0, 8), (1, 10), (2, 1), (2, 3),
(2, 7), (5, 5), (8, 0), (8, 2), (10, 2), (13, 6), (15, 0),
(15, 6)],
(('Gxpi2', 1), ('Gypi2', 1)): [
(1, 3), (2, 0), (3, 6), (5, 3), (5, 7), (5, 8), (6, 6),
(6, 7), (7, 10), (8, 9), (8, 10), (11, 5), (12, 0), (12, 5),
(12, 6), (12, 10), (13, 6), (13, 9), (14, 1), (14, 2),
(15, 4)],
(('Gxpi2', 0), ('Gxpi2', 0), ('Gypi2', 0)): [
(0, 1), (0, 4), (0, 7), (0, 8), (1, 10), (2, 1), (2, 3),
(2, 7), (5, 5), (8, 0), (8, 2), (10, 2), (13, 6), (15, 0),
(15, 6)],
(('Gxpi2', 1), ('Gxpi2', 1), ('Gypi2', 1)): [
(0, 0), (0, 2), (0, 3), (1, 2), (2, 4), (3, 8), (4, 5),
(4, 7), (5, 7), (6, 4), (6, 9), (8, 5), (8, 7), (8, 9),
(9, 1), (10, 3), (10, 4), (11, 8), (11, 10), (12, 4),
(12, 10), (14, 9), (15, 5), (15, 8)],
(('Gcnot', 0, 1), ('Gxpi2', 1), ('Gxpi2', 0), ('Gxpi2', 0)): [
(0, 1), (0, 4), (0, 7), (0, 8), (1, 10), (2, 1), (2, 3),
(2, 7), (5, 5), (8, 0), (8, 2), (10, 2), (13, 6), (15, 0),
(15, 6)],
(('Gxpi2', 0), ('Gxpi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 1), ('Gypi2', 0)): [
(0, 1), (0, 4), (0, 7), (0, 8), (1, 10), (2, 1), (2, 3),
(2, 7), (5, 5), (8, 0), (8, 2), (10, 2), (13, 6), (15, 0),
(15, 6)],
(('Gxpi2', 0), ('Gypi2', 1), ('Gxpi2', 1), ('Gypi2', 0), ('Gxpi2', 1), ('Gxpi2', 1)): [
(0, 1), (0, 3), (0, 4), (0, 7), (0, 8), (1, 10), (2, 1),
(2, 3), (2, 7), (3, 5), (4, 2), (5, 5), (8, 0), (8, 2),
(10, 2), (10, 8), (11, 2), (13, 6), (14, 3), (14, 5),
(15, 0), (15, 7), (15, 9)],
(('Gypi2', 0), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 0), ('Gxpi2', 0), ('Gcnot', 0, 1)): [
(0, 1), (0, 4), (0, 7), (0, 8), (1, 10), (2, 1), (2, 3),
(2, 7), (5, 5), (8, 0), (8, 2), (10, 2), (13, 6), (15, 0),
(15, 6)],
(('Gypi2', 0), ('Gxpi2', 0), ('Gypi2', 1), ('Gxpi2', 0), ('Gxpi2', 1), ('Gxpi2', 0), ('Gypi2', 0), ('Gypi2', 1)): [
(0, 1), (0, 4), (0, 7), (0, 8), (1, 10), (2, 1), (2, 3),
(2, 7), (5, 5), (8, 0), (8, 2), (10, 2), (13, 6), (15, 0),
(15, 6)],
}
def _target_model(self, sslbls):
return self._build_explicit_target_model(
sslbls, [(), ('Gxpi2', 1), ('Gypi2', 1), ('Gxpi2', 0), ('Gypi2', 0), ('Gcnot', 0, 1)],
['I({0}):I({1})', 'I({0}):X(pi/2,{1})', 'I({0}):Y(pi/2,{1})', 'X(pi/2,{0}):I({1})', 'Y(pi/2,{0}):I({1})', 'CNOT({0},{1})'],
effect_labels=['00', '01', '10', '11'],
effect_expressions=['0', '1', '2', '3'])
import sys
sys.modules[__name__] = _Module()