microsoft/qdk
Publicmirrored fromhttps://github.com/microsoft/qdkAvailable
compiler/qsc/benches/large.qs
2029lines · modecode
| 1 | // Copyright (c) Microsoft Corporation. |
| 2 | // Licensed under the MIT License. |
| 3 | |
| 4 | namespace Large { |
| 5 | import Std.Intrinsic.*; |
| 6 | import Std.Measurement.*; |
| 7 | |
| 8 | operation ThousandQubitsParityX(qs : Qubit[]) : Result { |
| 9 | mutable res = Zero; |
| 10 | within { |
| 11 | H(qs[0]); |
| 12 | H(qs[1]); |
| 13 | H(qs[2]); |
| 14 | H(qs[3]); |
| 15 | H(qs[4]); |
| 16 | H(qs[5]); |
| 17 | H(qs[6]); |
| 18 | H(qs[7]); |
| 19 | H(qs[8]); |
| 20 | H(qs[9]); |
| 21 | H(qs[10]); |
| 22 | H(qs[11]); |
| 23 | H(qs[12]); |
| 24 | H(qs[13]); |
| 25 | H(qs[14]); |
| 26 | H(qs[15]); |
| 27 | H(qs[16]); |
| 28 | H(qs[17]); |
| 29 | H(qs[18]); |
| 30 | H(qs[19]); |
| 31 | H(qs[20]); |
| 32 | H(qs[21]); |
| 33 | H(qs[22]); |
| 34 | H(qs[23]); |
| 35 | H(qs[24]); |
| 36 | H(qs[25]); |
| 37 | H(qs[26]); |
| 38 | H(qs[27]); |
| 39 | H(qs[28]); |
| 40 | H(qs[29]); |
| 41 | H(qs[30]); |
| 42 | H(qs[31]); |
| 43 | H(qs[32]); |
| 44 | H(qs[33]); |
| 45 | H(qs[34]); |
| 46 | H(qs[35]); |
| 47 | H(qs[36]); |
| 48 | H(qs[37]); |
| 49 | H(qs[38]); |
| 50 | H(qs[39]); |
| 51 | H(qs[40]); |
| 52 | H(qs[41]); |
| 53 | H(qs[42]); |
| 54 | H(qs[43]); |
| 55 | H(qs[44]); |
| 56 | H(qs[45]); |
| 57 | H(qs[46]); |
| 58 | H(qs[47]); |
| 59 | H(qs[48]); |
| 60 | H(qs[49]); |
| 61 | H(qs[50]); |
| 62 | H(qs[51]); |
| 63 | H(qs[52]); |
| 64 | H(qs[53]); |
| 65 | H(qs[54]); |
| 66 | H(qs[55]); |
| 67 | H(qs[56]); |
| 68 | H(qs[57]); |
| 69 | H(qs[58]); |
| 70 | H(qs[59]); |
| 71 | H(qs[60]); |
| 72 | H(qs[61]); |
| 73 | H(qs[62]); |
| 74 | H(qs[63]); |
| 75 | H(qs[64]); |
| 76 | H(qs[65]); |
| 77 | H(qs[66]); |
| 78 | H(qs[67]); |
| 79 | H(qs[68]); |
| 80 | H(qs[69]); |
| 81 | H(qs[70]); |
| 82 | H(qs[71]); |
| 83 | H(qs[72]); |
| 84 | H(qs[73]); |
| 85 | H(qs[74]); |
| 86 | H(qs[75]); |
| 87 | H(qs[76]); |
| 88 | H(qs[77]); |
| 89 | H(qs[78]); |
| 90 | H(qs[79]); |
| 91 | H(qs[80]); |
| 92 | H(qs[81]); |
| 93 | H(qs[82]); |
| 94 | H(qs[83]); |
| 95 | H(qs[84]); |
| 96 | H(qs[85]); |
| 97 | H(qs[86]); |
| 98 | H(qs[87]); |
| 99 | H(qs[88]); |
| 100 | H(qs[89]); |
| 101 | H(qs[90]); |
| 102 | H(qs[91]); |
| 103 | H(qs[92]); |
| 104 | H(qs[93]); |
| 105 | H(qs[94]); |
| 106 | H(qs[95]); |
| 107 | H(qs[96]); |
| 108 | H(qs[97]); |
| 109 | H(qs[98]); |
| 110 | H(qs[99]); |
| 111 | H(qs[100]); |
| 112 | H(qs[101]); |
| 113 | H(qs[102]); |
| 114 | H(qs[103]); |
| 115 | H(qs[104]); |
| 116 | H(qs[105]); |
| 117 | H(qs[106]); |
| 118 | H(qs[107]); |
| 119 | H(qs[108]); |
| 120 | H(qs[109]); |
| 121 | H(qs[110]); |
| 122 | H(qs[111]); |
| 123 | H(qs[112]); |
| 124 | H(qs[113]); |
| 125 | H(qs[114]); |
| 126 | H(qs[115]); |
| 127 | H(qs[116]); |
| 128 | H(qs[117]); |
| 129 | H(qs[118]); |
| 130 | H(qs[119]); |
| 131 | H(qs[120]); |
| 132 | H(qs[121]); |
| 133 | H(qs[122]); |
| 134 | H(qs[123]); |
| 135 | H(qs[124]); |
| 136 | H(qs[125]); |
| 137 | H(qs[126]); |
| 138 | H(qs[127]); |
| 139 | H(qs[128]); |
| 140 | H(qs[129]); |
| 141 | H(qs[130]); |
| 142 | H(qs[131]); |
| 143 | H(qs[132]); |
| 144 | H(qs[133]); |
| 145 | H(qs[134]); |
| 146 | H(qs[135]); |
| 147 | H(qs[136]); |
| 148 | H(qs[137]); |
| 149 | H(qs[138]); |
| 150 | H(qs[139]); |
| 151 | H(qs[140]); |
| 152 | H(qs[141]); |
| 153 | H(qs[142]); |
| 154 | H(qs[143]); |
| 155 | H(qs[144]); |
| 156 | H(qs[145]); |
| 157 | H(qs[146]); |
| 158 | H(qs[147]); |
| 159 | H(qs[148]); |
| 160 | H(qs[149]); |
| 161 | H(qs[150]); |
| 162 | H(qs[151]); |
| 163 | H(qs[152]); |
| 164 | H(qs[153]); |
| 165 | H(qs[154]); |
| 166 | H(qs[155]); |
| 167 | H(qs[156]); |
| 168 | H(qs[157]); |
| 169 | H(qs[158]); |
| 170 | H(qs[159]); |
| 171 | H(qs[160]); |
| 172 | H(qs[161]); |
| 173 | H(qs[162]); |
| 174 | H(qs[163]); |
| 175 | H(qs[164]); |
| 176 | H(qs[165]); |
| 177 | H(qs[166]); |
| 178 | H(qs[167]); |
| 179 | H(qs[168]); |
| 180 | H(qs[169]); |
| 181 | H(qs[170]); |
| 182 | H(qs[171]); |
| 183 | H(qs[172]); |
| 184 | H(qs[173]); |
| 185 | H(qs[174]); |
| 186 | H(qs[175]); |
| 187 | H(qs[176]); |
| 188 | H(qs[177]); |
| 189 | H(qs[178]); |
| 190 | H(qs[179]); |
| 191 | H(qs[180]); |
| 192 | H(qs[181]); |
| 193 | H(qs[182]); |
| 194 | H(qs[183]); |
| 195 | H(qs[184]); |
| 196 | H(qs[185]); |
| 197 | H(qs[186]); |
| 198 | H(qs[187]); |
| 199 | H(qs[188]); |
| 200 | H(qs[189]); |
| 201 | H(qs[190]); |
| 202 | H(qs[191]); |
| 203 | H(qs[192]); |
| 204 | H(qs[193]); |
| 205 | H(qs[194]); |
| 206 | H(qs[195]); |
| 207 | H(qs[196]); |
| 208 | H(qs[197]); |
| 209 | H(qs[198]); |
| 210 | H(qs[199]); |
| 211 | H(qs[200]); |
| 212 | H(qs[201]); |
| 213 | H(qs[202]); |
| 214 | H(qs[203]); |
| 215 | H(qs[204]); |
| 216 | H(qs[205]); |
| 217 | H(qs[206]); |
| 218 | H(qs[207]); |
| 219 | H(qs[208]); |
| 220 | H(qs[209]); |
| 221 | H(qs[210]); |
| 222 | H(qs[211]); |
| 223 | H(qs[212]); |
| 224 | H(qs[213]); |
| 225 | H(qs[214]); |
| 226 | H(qs[215]); |
| 227 | H(qs[216]); |
| 228 | H(qs[217]); |
| 229 | H(qs[218]); |
| 230 | H(qs[219]); |
| 231 | H(qs[220]); |
| 232 | H(qs[221]); |
| 233 | H(qs[222]); |
| 234 | H(qs[223]); |
| 235 | H(qs[224]); |
| 236 | H(qs[225]); |
| 237 | H(qs[226]); |
| 238 | H(qs[227]); |
| 239 | H(qs[228]); |
| 240 | H(qs[229]); |
| 241 | H(qs[230]); |
| 242 | H(qs[231]); |
| 243 | H(qs[232]); |
| 244 | H(qs[233]); |
| 245 | H(qs[234]); |
| 246 | H(qs[235]); |
| 247 | H(qs[236]); |
| 248 | H(qs[237]); |
| 249 | H(qs[238]); |
| 250 | H(qs[239]); |
| 251 | H(qs[240]); |
| 252 | H(qs[241]); |
| 253 | H(qs[242]); |
| 254 | H(qs[243]); |
| 255 | H(qs[244]); |
| 256 | H(qs[245]); |
| 257 | H(qs[246]); |
| 258 | H(qs[247]); |
| 259 | H(qs[248]); |
| 260 | H(qs[249]); |
| 261 | H(qs[250]); |
| 262 | H(qs[251]); |
| 263 | H(qs[252]); |
| 264 | H(qs[253]); |
| 265 | H(qs[254]); |
| 266 | H(qs[255]); |
| 267 | H(qs[256]); |
| 268 | H(qs[257]); |
| 269 | H(qs[258]); |
| 270 | H(qs[259]); |
| 271 | H(qs[260]); |
| 272 | H(qs[261]); |
| 273 | H(qs[262]); |
| 274 | H(qs[263]); |
| 275 | H(qs[264]); |
| 276 | H(qs[265]); |
| 277 | H(qs[266]); |
| 278 | H(qs[267]); |
| 279 | H(qs[268]); |
| 280 | H(qs[269]); |
| 281 | H(qs[270]); |
| 282 | H(qs[271]); |
| 283 | H(qs[272]); |
| 284 | H(qs[273]); |
| 285 | H(qs[274]); |
| 286 | H(qs[275]); |
| 287 | H(qs[276]); |
| 288 | H(qs[277]); |
| 289 | H(qs[278]); |
| 290 | H(qs[279]); |
| 291 | H(qs[280]); |
| 292 | H(qs[281]); |
| 293 | H(qs[282]); |
| 294 | H(qs[283]); |
| 295 | H(qs[284]); |
| 296 | H(qs[285]); |
| 297 | H(qs[286]); |
| 298 | H(qs[287]); |
| 299 | H(qs[288]); |
| 300 | H(qs[289]); |
| 301 | H(qs[290]); |
| 302 | H(qs[291]); |
| 303 | H(qs[292]); |
| 304 | H(qs[293]); |
| 305 | H(qs[294]); |
| 306 | H(qs[295]); |
| 307 | H(qs[296]); |
| 308 | H(qs[297]); |
| 309 | H(qs[298]); |
| 310 | H(qs[299]); |
| 311 | H(qs[300]); |
| 312 | H(qs[301]); |
| 313 | H(qs[302]); |
| 314 | H(qs[303]); |
| 315 | H(qs[304]); |
| 316 | H(qs[305]); |
| 317 | H(qs[306]); |
| 318 | H(qs[307]); |
| 319 | H(qs[308]); |
| 320 | H(qs[309]); |
| 321 | H(qs[310]); |
| 322 | H(qs[311]); |
| 323 | H(qs[312]); |
| 324 | H(qs[313]); |
| 325 | H(qs[314]); |
| 326 | H(qs[315]); |
| 327 | H(qs[316]); |
| 328 | H(qs[317]); |
| 329 | H(qs[318]); |
| 330 | H(qs[319]); |
| 331 | H(qs[320]); |
| 332 | H(qs[321]); |
| 333 | H(qs[322]); |
| 334 | H(qs[323]); |
| 335 | H(qs[324]); |
| 336 | H(qs[325]); |
| 337 | H(qs[326]); |
| 338 | H(qs[327]); |
| 339 | H(qs[328]); |
| 340 | H(qs[329]); |
| 341 | H(qs[330]); |
| 342 | H(qs[331]); |
| 343 | H(qs[332]); |
| 344 | H(qs[333]); |
| 345 | H(qs[334]); |
| 346 | H(qs[335]); |
| 347 | H(qs[336]); |
| 348 | H(qs[337]); |
| 349 | H(qs[338]); |
| 350 | H(qs[339]); |
| 351 | H(qs[340]); |
| 352 | H(qs[341]); |
| 353 | H(qs[342]); |
| 354 | H(qs[343]); |
| 355 | H(qs[344]); |
| 356 | H(qs[345]); |
| 357 | H(qs[346]); |
| 358 | H(qs[347]); |
| 359 | H(qs[348]); |
| 360 | H(qs[349]); |
| 361 | H(qs[350]); |
| 362 | H(qs[351]); |
| 363 | H(qs[352]); |
| 364 | H(qs[353]); |
| 365 | H(qs[354]); |
| 366 | H(qs[355]); |
| 367 | H(qs[356]); |
| 368 | H(qs[357]); |
| 369 | H(qs[358]); |
| 370 | H(qs[359]); |
| 371 | H(qs[360]); |
| 372 | H(qs[361]); |
| 373 | H(qs[362]); |
| 374 | H(qs[363]); |
| 375 | H(qs[364]); |
| 376 | H(qs[365]); |
| 377 | H(qs[366]); |
| 378 | H(qs[367]); |
| 379 | H(qs[368]); |
| 380 | H(qs[369]); |
| 381 | H(qs[370]); |
| 382 | H(qs[371]); |
| 383 | H(qs[372]); |
| 384 | H(qs[373]); |
| 385 | H(qs[374]); |
| 386 | H(qs[375]); |
| 387 | H(qs[376]); |
| 388 | H(qs[377]); |
| 389 | H(qs[378]); |
| 390 | H(qs[379]); |
| 391 | H(qs[380]); |
| 392 | H(qs[381]); |
| 393 | H(qs[382]); |
| 394 | H(qs[383]); |
| 395 | H(qs[384]); |
| 396 | H(qs[385]); |
| 397 | H(qs[386]); |
| 398 | H(qs[387]); |
| 399 | H(qs[388]); |
| 400 | H(qs[389]); |
| 401 | H(qs[390]); |
| 402 | H(qs[391]); |
| 403 | H(qs[392]); |
| 404 | H(qs[393]); |
| 405 | H(qs[394]); |
| 406 | H(qs[395]); |
| 407 | H(qs[396]); |
| 408 | H(qs[397]); |
| 409 | H(qs[398]); |
| 410 | H(qs[399]); |
| 411 | H(qs[400]); |
| 412 | H(qs[401]); |
| 413 | H(qs[402]); |
| 414 | H(qs[403]); |
| 415 | H(qs[404]); |
| 416 | H(qs[405]); |
| 417 | H(qs[406]); |
| 418 | H(qs[407]); |
| 419 | H(qs[408]); |
| 420 | H(qs[409]); |
| 421 | H(qs[410]); |
| 422 | H(qs[411]); |
| 423 | H(qs[412]); |
| 424 | H(qs[413]); |
| 425 | H(qs[414]); |
| 426 | H(qs[415]); |
| 427 | H(qs[416]); |
| 428 | H(qs[417]); |
| 429 | H(qs[418]); |
| 430 | H(qs[419]); |
| 431 | H(qs[420]); |
| 432 | H(qs[421]); |
| 433 | H(qs[422]); |
| 434 | H(qs[423]); |
| 435 | H(qs[424]); |
| 436 | H(qs[425]); |
| 437 | H(qs[426]); |
| 438 | H(qs[427]); |
| 439 | H(qs[428]); |
| 440 | H(qs[429]); |
| 441 | H(qs[430]); |
| 442 | H(qs[431]); |
| 443 | H(qs[432]); |
| 444 | H(qs[433]); |
| 445 | H(qs[434]); |
| 446 | H(qs[435]); |
| 447 | H(qs[436]); |
| 448 | H(qs[437]); |
| 449 | H(qs[438]); |
| 450 | H(qs[439]); |
| 451 | H(qs[440]); |
| 452 | H(qs[441]); |
| 453 | H(qs[442]); |
| 454 | H(qs[443]); |
| 455 | H(qs[444]); |
| 456 | H(qs[445]); |
| 457 | H(qs[446]); |
| 458 | H(qs[447]); |
| 459 | H(qs[448]); |
| 460 | H(qs[449]); |
| 461 | H(qs[450]); |
| 462 | H(qs[451]); |
| 463 | H(qs[452]); |
| 464 | H(qs[453]); |
| 465 | H(qs[454]); |
| 466 | H(qs[455]); |
| 467 | H(qs[456]); |
| 468 | H(qs[457]); |
| 469 | H(qs[458]); |
| 470 | H(qs[459]); |
| 471 | H(qs[460]); |
| 472 | H(qs[461]); |
| 473 | H(qs[462]); |
| 474 | H(qs[463]); |
| 475 | H(qs[464]); |
| 476 | H(qs[465]); |
| 477 | H(qs[466]); |
| 478 | H(qs[467]); |
| 479 | H(qs[468]); |
| 480 | H(qs[469]); |
| 481 | H(qs[470]); |
| 482 | H(qs[471]); |
| 483 | H(qs[472]); |
| 484 | H(qs[473]); |
| 485 | H(qs[474]); |
| 486 | H(qs[475]); |
| 487 | H(qs[476]); |
| 488 | H(qs[477]); |
| 489 | H(qs[478]); |
| 490 | H(qs[479]); |
| 491 | H(qs[480]); |
| 492 | H(qs[481]); |
| 493 | H(qs[482]); |
| 494 | H(qs[483]); |
| 495 | H(qs[484]); |
| 496 | H(qs[485]); |
| 497 | H(qs[486]); |
| 498 | H(qs[487]); |
| 499 | H(qs[488]); |
| 500 | H(qs[489]); |
| 501 | H(qs[490]); |
| 502 | H(qs[491]); |
| 503 | H(qs[492]); |
| 504 | H(qs[493]); |
| 505 | H(qs[494]); |
| 506 | H(qs[495]); |
| 507 | H(qs[496]); |
| 508 | H(qs[497]); |
| 509 | H(qs[498]); |
| 510 | H(qs[499]); |
| 511 | H(qs[500]); |
| 512 | H(qs[501]); |
| 513 | H(qs[502]); |
| 514 | H(qs[503]); |
| 515 | H(qs[504]); |
| 516 | H(qs[505]); |
| 517 | H(qs[506]); |
| 518 | H(qs[507]); |
| 519 | H(qs[508]); |
| 520 | H(qs[509]); |
| 521 | H(qs[510]); |
| 522 | H(qs[511]); |
| 523 | H(qs[512]); |
| 524 | H(qs[513]); |
| 525 | H(qs[514]); |
| 526 | H(qs[515]); |
| 527 | H(qs[516]); |
| 528 | H(qs[517]); |
| 529 | H(qs[518]); |
| 530 | H(qs[519]); |
| 531 | H(qs[520]); |
| 532 | H(qs[521]); |
| 533 | H(qs[522]); |
| 534 | H(qs[523]); |
| 535 | H(qs[524]); |
| 536 | H(qs[525]); |
| 537 | H(qs[526]); |
| 538 | H(qs[527]); |
| 539 | H(qs[528]); |
| 540 | H(qs[529]); |
| 541 | H(qs[530]); |
| 542 | H(qs[531]); |
| 543 | H(qs[532]); |
| 544 | H(qs[533]); |
| 545 | H(qs[534]); |
| 546 | H(qs[535]); |
| 547 | H(qs[536]); |
| 548 | H(qs[537]); |
| 549 | H(qs[538]); |
| 550 | H(qs[539]); |
| 551 | H(qs[540]); |
| 552 | H(qs[541]); |
| 553 | H(qs[542]); |
| 554 | H(qs[543]); |
| 555 | H(qs[544]); |
| 556 | H(qs[545]); |
| 557 | H(qs[546]); |
| 558 | H(qs[547]); |
| 559 | H(qs[548]); |
| 560 | H(qs[549]); |
| 561 | H(qs[550]); |
| 562 | H(qs[551]); |
| 563 | H(qs[552]); |
| 564 | H(qs[553]); |
| 565 | H(qs[554]); |
| 566 | H(qs[555]); |
| 567 | H(qs[556]); |
| 568 | H(qs[557]); |
| 569 | H(qs[558]); |
| 570 | H(qs[559]); |
| 571 | H(qs[560]); |
| 572 | H(qs[561]); |
| 573 | H(qs[562]); |
| 574 | H(qs[563]); |
| 575 | H(qs[564]); |
| 576 | H(qs[565]); |
| 577 | H(qs[566]); |
| 578 | H(qs[567]); |
| 579 | H(qs[568]); |
| 580 | H(qs[569]); |
| 581 | H(qs[570]); |
| 582 | H(qs[571]); |
| 583 | H(qs[572]); |
| 584 | H(qs[573]); |
| 585 | H(qs[574]); |
| 586 | H(qs[575]); |
| 587 | H(qs[576]); |
| 588 | H(qs[577]); |
| 589 | H(qs[578]); |
| 590 | H(qs[579]); |
| 591 | H(qs[580]); |
| 592 | H(qs[581]); |
| 593 | H(qs[582]); |
| 594 | H(qs[583]); |
| 595 | H(qs[584]); |
| 596 | H(qs[585]); |
| 597 | H(qs[586]); |
| 598 | H(qs[587]); |
| 599 | H(qs[588]); |
| 600 | H(qs[589]); |
| 601 | H(qs[590]); |
| 602 | H(qs[591]); |
| 603 | H(qs[592]); |
| 604 | H(qs[593]); |
| 605 | H(qs[594]); |
| 606 | H(qs[595]); |
| 607 | H(qs[596]); |
| 608 | H(qs[597]); |
| 609 | H(qs[598]); |
| 610 | H(qs[599]); |
| 611 | H(qs[600]); |
| 612 | H(qs[601]); |
| 613 | H(qs[602]); |
| 614 | H(qs[603]); |
| 615 | H(qs[604]); |
| 616 | H(qs[605]); |
| 617 | H(qs[606]); |
| 618 | H(qs[607]); |
| 619 | H(qs[608]); |
| 620 | H(qs[609]); |
| 621 | H(qs[610]); |
| 622 | H(qs[611]); |
| 623 | H(qs[612]); |
| 624 | H(qs[613]); |
| 625 | H(qs[614]); |
| 626 | H(qs[615]); |
| 627 | H(qs[616]); |
| 628 | H(qs[617]); |
| 629 | H(qs[618]); |
| 630 | H(qs[619]); |
| 631 | H(qs[620]); |
| 632 | H(qs[621]); |
| 633 | H(qs[622]); |
| 634 | H(qs[623]); |
| 635 | H(qs[624]); |
| 636 | H(qs[625]); |
| 637 | H(qs[626]); |
| 638 | H(qs[627]); |
| 639 | H(qs[628]); |
| 640 | H(qs[629]); |
| 641 | H(qs[630]); |
| 642 | H(qs[631]); |
| 643 | H(qs[632]); |
| 644 | H(qs[633]); |
| 645 | H(qs[634]); |
| 646 | H(qs[635]); |
| 647 | H(qs[636]); |
| 648 | H(qs[637]); |
| 649 | H(qs[638]); |
| 650 | H(qs[639]); |
| 651 | H(qs[640]); |
| 652 | H(qs[641]); |
| 653 | H(qs[642]); |
| 654 | H(qs[643]); |
| 655 | H(qs[644]); |
| 656 | H(qs[645]); |
| 657 | H(qs[646]); |
| 658 | H(qs[647]); |
| 659 | H(qs[648]); |
| 660 | H(qs[649]); |
| 661 | H(qs[650]); |
| 662 | H(qs[651]); |
| 663 | H(qs[652]); |
| 664 | H(qs[653]); |
| 665 | H(qs[654]); |
| 666 | H(qs[655]); |
| 667 | H(qs[656]); |
| 668 | H(qs[657]); |
| 669 | H(qs[658]); |
| 670 | H(qs[659]); |
| 671 | H(qs[660]); |
| 672 | H(qs[661]); |
| 673 | H(qs[662]); |
| 674 | H(qs[663]); |
| 675 | H(qs[664]); |
| 676 | H(qs[665]); |
| 677 | H(qs[666]); |
| 678 | H(qs[667]); |
| 679 | H(qs[668]); |
| 680 | H(qs[669]); |
| 681 | H(qs[670]); |
| 682 | H(qs[671]); |
| 683 | H(qs[672]); |
| 684 | H(qs[673]); |
| 685 | H(qs[674]); |
| 686 | H(qs[675]); |
| 687 | H(qs[676]); |
| 688 | H(qs[677]); |
| 689 | H(qs[678]); |
| 690 | H(qs[679]); |
| 691 | H(qs[680]); |
| 692 | H(qs[681]); |
| 693 | H(qs[682]); |
| 694 | H(qs[683]); |
| 695 | H(qs[684]); |
| 696 | H(qs[685]); |
| 697 | H(qs[686]); |
| 698 | H(qs[687]); |
| 699 | H(qs[688]); |
| 700 | H(qs[689]); |
| 701 | H(qs[690]); |
| 702 | H(qs[691]); |
| 703 | H(qs[692]); |
| 704 | H(qs[693]); |
| 705 | H(qs[694]); |
| 706 | H(qs[695]); |
| 707 | H(qs[696]); |
| 708 | H(qs[697]); |
| 709 | H(qs[698]); |
| 710 | H(qs[699]); |
| 711 | H(qs[700]); |
| 712 | H(qs[701]); |
| 713 | H(qs[702]); |
| 714 | H(qs[703]); |
| 715 | H(qs[704]); |
| 716 | H(qs[705]); |
| 717 | H(qs[706]); |
| 718 | H(qs[707]); |
| 719 | H(qs[708]); |
| 720 | H(qs[709]); |
| 721 | H(qs[710]); |
| 722 | H(qs[711]); |
| 723 | H(qs[712]); |
| 724 | H(qs[713]); |
| 725 | H(qs[714]); |
| 726 | H(qs[715]); |
| 727 | H(qs[716]); |
| 728 | H(qs[717]); |
| 729 | H(qs[718]); |
| 730 | H(qs[719]); |
| 731 | H(qs[720]); |
| 732 | H(qs[721]); |
| 733 | H(qs[722]); |
| 734 | H(qs[723]); |
| 735 | H(qs[724]); |
| 736 | H(qs[725]); |
| 737 | H(qs[726]); |
| 738 | H(qs[727]); |
| 739 | H(qs[728]); |
| 740 | H(qs[729]); |
| 741 | H(qs[730]); |
| 742 | H(qs[731]); |
| 743 | H(qs[732]); |
| 744 | H(qs[733]); |
| 745 | H(qs[734]); |
| 746 | H(qs[735]); |
| 747 | H(qs[736]); |
| 748 | H(qs[737]); |
| 749 | H(qs[738]); |
| 750 | H(qs[739]); |
| 751 | H(qs[740]); |
| 752 | H(qs[741]); |
| 753 | H(qs[742]); |
| 754 | H(qs[743]); |
| 755 | H(qs[744]); |
| 756 | H(qs[745]); |
| 757 | H(qs[746]); |
| 758 | H(qs[747]); |
| 759 | H(qs[748]); |
| 760 | H(qs[749]); |
| 761 | H(qs[750]); |
| 762 | H(qs[751]); |
| 763 | H(qs[752]); |
| 764 | H(qs[753]); |
| 765 | H(qs[754]); |
| 766 | H(qs[755]); |
| 767 | H(qs[756]); |
| 768 | H(qs[757]); |
| 769 | H(qs[758]); |
| 770 | H(qs[759]); |
| 771 | H(qs[760]); |
| 772 | H(qs[761]); |
| 773 | H(qs[762]); |
| 774 | H(qs[763]); |
| 775 | H(qs[764]); |
| 776 | H(qs[765]); |
| 777 | H(qs[766]); |
| 778 | H(qs[767]); |
| 779 | H(qs[768]); |
| 780 | H(qs[769]); |
| 781 | H(qs[770]); |
| 782 | H(qs[771]); |
| 783 | H(qs[772]); |
| 784 | H(qs[773]); |
| 785 | H(qs[774]); |
| 786 | H(qs[775]); |
| 787 | H(qs[776]); |
| 788 | H(qs[777]); |
| 789 | H(qs[778]); |
| 790 | H(qs[779]); |
| 791 | H(qs[780]); |
| 792 | H(qs[781]); |
| 793 | H(qs[782]); |
| 794 | H(qs[783]); |
| 795 | H(qs[784]); |
| 796 | H(qs[785]); |
| 797 | H(qs[786]); |
| 798 | H(qs[787]); |
| 799 | H(qs[788]); |
| 800 | H(qs[789]); |
| 801 | H(qs[790]); |
| 802 | H(qs[791]); |
| 803 | H(qs[792]); |
| 804 | H(qs[793]); |
| 805 | H(qs[794]); |
| 806 | H(qs[795]); |
| 807 | H(qs[796]); |
| 808 | H(qs[797]); |
| 809 | H(qs[798]); |
| 810 | H(qs[799]); |
| 811 | H(qs[800]); |
| 812 | H(qs[801]); |
| 813 | H(qs[802]); |
| 814 | H(qs[803]); |
| 815 | H(qs[804]); |
| 816 | H(qs[805]); |
| 817 | H(qs[806]); |
| 818 | H(qs[807]); |
| 819 | H(qs[808]); |
| 820 | H(qs[809]); |
| 821 | H(qs[810]); |
| 822 | H(qs[811]); |
| 823 | H(qs[812]); |
| 824 | H(qs[813]); |
| 825 | H(qs[814]); |
| 826 | H(qs[815]); |
| 827 | H(qs[816]); |
| 828 | H(qs[817]); |
| 829 | H(qs[818]); |
| 830 | H(qs[819]); |
| 831 | H(qs[820]); |
| 832 | H(qs[821]); |
| 833 | H(qs[822]); |
| 834 | H(qs[823]); |
| 835 | H(qs[824]); |
| 836 | H(qs[825]); |
| 837 | H(qs[826]); |
| 838 | H(qs[827]); |
| 839 | H(qs[828]); |
| 840 | H(qs[829]); |
| 841 | H(qs[830]); |
| 842 | H(qs[831]); |
| 843 | H(qs[832]); |
| 844 | H(qs[833]); |
| 845 | H(qs[834]); |
| 846 | H(qs[835]); |
| 847 | H(qs[836]); |
| 848 | H(qs[837]); |
| 849 | H(qs[838]); |
| 850 | H(qs[839]); |
| 851 | H(qs[840]); |
| 852 | H(qs[841]); |
| 853 | H(qs[842]); |
| 854 | H(qs[843]); |
| 855 | H(qs[844]); |
| 856 | H(qs[845]); |
| 857 | H(qs[846]); |
| 858 | H(qs[847]); |
| 859 | H(qs[848]); |
| 860 | H(qs[849]); |
| 861 | H(qs[850]); |
| 862 | H(qs[851]); |
| 863 | H(qs[852]); |
| 864 | H(qs[853]); |
| 865 | H(qs[854]); |
| 866 | H(qs[855]); |
| 867 | H(qs[856]); |
| 868 | H(qs[857]); |
| 869 | H(qs[858]); |
| 870 | H(qs[859]); |
| 871 | H(qs[860]); |
| 872 | H(qs[861]); |
| 873 | H(qs[862]); |
| 874 | H(qs[863]); |
| 875 | H(qs[864]); |
| 876 | H(qs[865]); |
| 877 | H(qs[866]); |
| 878 | H(qs[867]); |
| 879 | H(qs[868]); |
| 880 | H(qs[869]); |
| 881 | H(qs[870]); |
| 882 | H(qs[871]); |
| 883 | H(qs[872]); |
| 884 | H(qs[873]); |
| 885 | H(qs[874]); |
| 886 | H(qs[875]); |
| 887 | H(qs[876]); |
| 888 | H(qs[877]); |
| 889 | H(qs[878]); |
| 890 | H(qs[879]); |
| 891 | H(qs[880]); |
| 892 | H(qs[881]); |
| 893 | H(qs[882]); |
| 894 | H(qs[883]); |
| 895 | H(qs[884]); |
| 896 | H(qs[885]); |
| 897 | H(qs[886]); |
| 898 | H(qs[887]); |
| 899 | H(qs[888]); |
| 900 | H(qs[889]); |
| 901 | H(qs[890]); |
| 902 | H(qs[891]); |
| 903 | H(qs[892]); |
| 904 | H(qs[893]); |
| 905 | H(qs[894]); |
| 906 | H(qs[895]); |
| 907 | H(qs[896]); |
| 908 | H(qs[897]); |
| 909 | H(qs[898]); |
| 910 | H(qs[899]); |
| 911 | H(qs[900]); |
| 912 | H(qs[901]); |
| 913 | H(qs[902]); |
| 914 | H(qs[903]); |
| 915 | H(qs[904]); |
| 916 | H(qs[905]); |
| 917 | H(qs[906]); |
| 918 | H(qs[907]); |
| 919 | H(qs[908]); |
| 920 | H(qs[909]); |
| 921 | H(qs[910]); |
| 922 | H(qs[911]); |
| 923 | H(qs[912]); |
| 924 | H(qs[913]); |
| 925 | H(qs[914]); |
| 926 | H(qs[915]); |
| 927 | H(qs[916]); |
| 928 | H(qs[917]); |
| 929 | H(qs[918]); |
| 930 | H(qs[919]); |
| 931 | H(qs[920]); |
| 932 | H(qs[921]); |
| 933 | H(qs[922]); |
| 934 | H(qs[923]); |
| 935 | H(qs[924]); |
| 936 | H(qs[925]); |
| 937 | H(qs[926]); |
| 938 | H(qs[927]); |
| 939 | H(qs[928]); |
| 940 | H(qs[929]); |
| 941 | H(qs[930]); |
| 942 | H(qs[931]); |
| 943 | H(qs[932]); |
| 944 | H(qs[933]); |
| 945 | H(qs[934]); |
| 946 | H(qs[935]); |
| 947 | H(qs[936]); |
| 948 | H(qs[937]); |
| 949 | H(qs[938]); |
| 950 | H(qs[939]); |
| 951 | H(qs[940]); |
| 952 | H(qs[941]); |
| 953 | H(qs[942]); |
| 954 | H(qs[943]); |
| 955 | H(qs[944]); |
| 956 | H(qs[945]); |
| 957 | H(qs[946]); |
| 958 | H(qs[947]); |
| 959 | H(qs[948]); |
| 960 | H(qs[949]); |
| 961 | H(qs[950]); |
| 962 | H(qs[951]); |
| 963 | H(qs[952]); |
| 964 | H(qs[953]); |
| 965 | H(qs[954]); |
| 966 | H(qs[955]); |
| 967 | H(qs[956]); |
| 968 | H(qs[957]); |
| 969 | H(qs[958]); |
| 970 | H(qs[959]); |
| 971 | H(qs[960]); |
| 972 | H(qs[961]); |
| 973 | H(qs[962]); |
| 974 | H(qs[963]); |
| 975 | H(qs[964]); |
| 976 | H(qs[965]); |
| 977 | H(qs[966]); |
| 978 | H(qs[967]); |
| 979 | H(qs[968]); |
| 980 | H(qs[969]); |
| 981 | H(qs[970]); |
| 982 | H(qs[971]); |
| 983 | H(qs[972]); |
| 984 | H(qs[973]); |
| 985 | H(qs[974]); |
| 986 | H(qs[975]); |
| 987 | H(qs[976]); |
| 988 | H(qs[977]); |
| 989 | H(qs[978]); |
| 990 | H(qs[979]); |
| 991 | H(qs[980]); |
| 992 | H(qs[981]); |
| 993 | H(qs[982]); |
| 994 | H(qs[983]); |
| 995 | H(qs[984]); |
| 996 | H(qs[985]); |
| 997 | H(qs[986]); |
| 998 | H(qs[987]); |
| 999 | H(qs[988]); |
| 1000 | H(qs[989]); |
| 1001 | H(qs[990]); |
| 1002 | H(qs[991]); |
| 1003 | H(qs[992]); |
| 1004 | H(qs[993]); |
| 1005 | H(qs[994]); |
| 1006 | H(qs[995]); |
| 1007 | H(qs[996]); |
| 1008 | H(qs[997]); |
| 1009 | H(qs[998]); |
| 1010 | H(qs[999]); |
| 1011 | } |
| 1012 | apply { |
| 1013 | use aux = Qubit[1]; |
| 1014 | within { |
| 1015 | H(aux[0]); |
| 1016 | } |
| 1017 | apply { |
| 1018 | Controlled X(aux, qs[0]); |
| 1019 | Controlled X(aux, qs[1]); |
| 1020 | Controlled X(aux, qs[2]); |
| 1021 | Controlled X(aux, qs[3]); |
| 1022 | Controlled X(aux, qs[4]); |
| 1023 | Controlled X(aux, qs[5]); |
| 1024 | Controlled X(aux, qs[6]); |
| 1025 | Controlled X(aux, qs[7]); |
| 1026 | Controlled X(aux, qs[8]); |
| 1027 | Controlled X(aux, qs[9]); |
| 1028 | Controlled X(aux, qs[10]); |
| 1029 | Controlled X(aux, qs[11]); |
| 1030 | Controlled X(aux, qs[12]); |
| 1031 | Controlled X(aux, qs[13]); |
| 1032 | Controlled X(aux, qs[14]); |
| 1033 | Controlled X(aux, qs[15]); |
| 1034 | Controlled X(aux, qs[16]); |
| 1035 | Controlled X(aux, qs[17]); |
| 1036 | Controlled X(aux, qs[18]); |
| 1037 | Controlled X(aux, qs[19]); |
| 1038 | Controlled X(aux, qs[20]); |
| 1039 | Controlled X(aux, qs[21]); |
| 1040 | Controlled X(aux, qs[22]); |
| 1041 | Controlled X(aux, qs[23]); |
| 1042 | Controlled X(aux, qs[24]); |
| 1043 | Controlled X(aux, qs[25]); |
| 1044 | Controlled X(aux, qs[26]); |
| 1045 | Controlled X(aux, qs[27]); |
| 1046 | Controlled X(aux, qs[28]); |
| 1047 | Controlled X(aux, qs[29]); |
| 1048 | Controlled X(aux, qs[30]); |
| 1049 | Controlled X(aux, qs[31]); |
| 1050 | Controlled X(aux, qs[32]); |
| 1051 | Controlled X(aux, qs[33]); |
| 1052 | Controlled X(aux, qs[34]); |
| 1053 | Controlled X(aux, qs[35]); |
| 1054 | Controlled X(aux, qs[36]); |
| 1055 | Controlled X(aux, qs[37]); |
| 1056 | Controlled X(aux, qs[38]); |
| 1057 | Controlled X(aux, qs[39]); |
| 1058 | Controlled X(aux, qs[40]); |
| 1059 | Controlled X(aux, qs[41]); |
| 1060 | Controlled X(aux, qs[42]); |
| 1061 | Controlled X(aux, qs[43]); |
| 1062 | Controlled X(aux, qs[44]); |
| 1063 | Controlled X(aux, qs[45]); |
| 1064 | Controlled X(aux, qs[46]); |
| 1065 | Controlled X(aux, qs[47]); |
| 1066 | Controlled X(aux, qs[48]); |
| 1067 | Controlled X(aux, qs[49]); |
| 1068 | Controlled X(aux, qs[50]); |
| 1069 | Controlled X(aux, qs[51]); |
| 1070 | Controlled X(aux, qs[52]); |
| 1071 | Controlled X(aux, qs[53]); |
| 1072 | Controlled X(aux, qs[54]); |
| 1073 | Controlled X(aux, qs[55]); |
| 1074 | Controlled X(aux, qs[56]); |
| 1075 | Controlled X(aux, qs[57]); |
| 1076 | Controlled X(aux, qs[58]); |
| 1077 | Controlled X(aux, qs[59]); |
| 1078 | Controlled X(aux, qs[60]); |
| 1079 | Controlled X(aux, qs[61]); |
| 1080 | Controlled X(aux, qs[62]); |
| 1081 | Controlled X(aux, qs[63]); |
| 1082 | Controlled X(aux, qs[64]); |
| 1083 | Controlled X(aux, qs[65]); |
| 1084 | Controlled X(aux, qs[66]); |
| 1085 | Controlled X(aux, qs[67]); |
| 1086 | Controlled X(aux, qs[68]); |
| 1087 | Controlled X(aux, qs[69]); |
| 1088 | Controlled X(aux, qs[70]); |
| 1089 | Controlled X(aux, qs[71]); |
| 1090 | Controlled X(aux, qs[72]); |
| 1091 | Controlled X(aux, qs[73]); |
| 1092 | Controlled X(aux, qs[74]); |
| 1093 | Controlled X(aux, qs[75]); |
| 1094 | Controlled X(aux, qs[76]); |
| 1095 | Controlled X(aux, qs[77]); |
| 1096 | Controlled X(aux, qs[78]); |
| 1097 | Controlled X(aux, qs[79]); |
| 1098 | Controlled X(aux, qs[80]); |
| 1099 | Controlled X(aux, qs[81]); |
| 1100 | Controlled X(aux, qs[82]); |
| 1101 | Controlled X(aux, qs[83]); |
| 1102 | Controlled X(aux, qs[84]); |
| 1103 | Controlled X(aux, qs[85]); |
| 1104 | Controlled X(aux, qs[86]); |
| 1105 | Controlled X(aux, qs[87]); |
| 1106 | Controlled X(aux, qs[88]); |
| 1107 | Controlled X(aux, qs[89]); |
| 1108 | Controlled X(aux, qs[90]); |
| 1109 | Controlled X(aux, qs[91]); |
| 1110 | Controlled X(aux, qs[92]); |
| 1111 | Controlled X(aux, qs[93]); |
| 1112 | Controlled X(aux, qs[94]); |
| 1113 | Controlled X(aux, qs[95]); |
| 1114 | Controlled X(aux, qs[96]); |
| 1115 | Controlled X(aux, qs[97]); |
| 1116 | Controlled X(aux, qs[98]); |
| 1117 | Controlled X(aux, qs[99]); |
| 1118 | Controlled X(aux, qs[100]); |
| 1119 | Controlled X(aux, qs[101]); |
| 1120 | Controlled X(aux, qs[102]); |
| 1121 | Controlled X(aux, qs[103]); |
| 1122 | Controlled X(aux, qs[104]); |
| 1123 | Controlled X(aux, qs[105]); |
| 1124 | Controlled X(aux, qs[106]); |
| 1125 | Controlled X(aux, qs[107]); |
| 1126 | Controlled X(aux, qs[108]); |
| 1127 | Controlled X(aux, qs[109]); |
| 1128 | Controlled X(aux, qs[110]); |
| 1129 | Controlled X(aux, qs[111]); |
| 1130 | Controlled X(aux, qs[112]); |
| 1131 | Controlled X(aux, qs[113]); |
| 1132 | Controlled X(aux, qs[114]); |
| 1133 | Controlled X(aux, qs[115]); |
| 1134 | Controlled X(aux, qs[116]); |
| 1135 | Controlled X(aux, qs[117]); |
| 1136 | Controlled X(aux, qs[118]); |
| 1137 | Controlled X(aux, qs[119]); |
| 1138 | Controlled X(aux, qs[120]); |
| 1139 | Controlled X(aux, qs[121]); |
| 1140 | Controlled X(aux, qs[122]); |
| 1141 | Controlled X(aux, qs[123]); |
| 1142 | Controlled X(aux, qs[124]); |
| 1143 | Controlled X(aux, qs[125]); |
| 1144 | Controlled X(aux, qs[126]); |
| 1145 | Controlled X(aux, qs[127]); |
| 1146 | Controlled X(aux, qs[128]); |
| 1147 | Controlled X(aux, qs[129]); |
| 1148 | Controlled X(aux, qs[130]); |
| 1149 | Controlled X(aux, qs[131]); |
| 1150 | Controlled X(aux, qs[132]); |
| 1151 | Controlled X(aux, qs[133]); |
| 1152 | Controlled X(aux, qs[134]); |
| 1153 | Controlled X(aux, qs[135]); |
| 1154 | Controlled X(aux, qs[136]); |
| 1155 | Controlled X(aux, qs[137]); |
| 1156 | Controlled X(aux, qs[138]); |
| 1157 | Controlled X(aux, qs[139]); |
| 1158 | Controlled X(aux, qs[140]); |
| 1159 | Controlled X(aux, qs[141]); |
| 1160 | Controlled X(aux, qs[142]); |
| 1161 | Controlled X(aux, qs[143]); |
| 1162 | Controlled X(aux, qs[144]); |
| 1163 | Controlled X(aux, qs[145]); |
| 1164 | Controlled X(aux, qs[146]); |
| 1165 | Controlled X(aux, qs[147]); |
| 1166 | Controlled X(aux, qs[148]); |
| 1167 | Controlled X(aux, qs[149]); |
| 1168 | Controlled X(aux, qs[150]); |
| 1169 | Controlled X(aux, qs[151]); |
| 1170 | Controlled X(aux, qs[152]); |
| 1171 | Controlled X(aux, qs[153]); |
| 1172 | Controlled X(aux, qs[154]); |
| 1173 | Controlled X(aux, qs[155]); |
| 1174 | Controlled X(aux, qs[156]); |
| 1175 | Controlled X(aux, qs[157]); |
| 1176 | Controlled X(aux, qs[158]); |
| 1177 | Controlled X(aux, qs[159]); |
| 1178 | Controlled X(aux, qs[160]); |
| 1179 | Controlled X(aux, qs[161]); |
| 1180 | Controlled X(aux, qs[162]); |
| 1181 | Controlled X(aux, qs[163]); |
| 1182 | Controlled X(aux, qs[164]); |
| 1183 | Controlled X(aux, qs[165]); |
| 1184 | Controlled X(aux, qs[166]); |
| 1185 | Controlled X(aux, qs[167]); |
| 1186 | Controlled X(aux, qs[168]); |
| 1187 | Controlled X(aux, qs[169]); |
| 1188 | Controlled X(aux, qs[170]); |
| 1189 | Controlled X(aux, qs[171]); |
| 1190 | Controlled X(aux, qs[172]); |
| 1191 | Controlled X(aux, qs[173]); |
| 1192 | Controlled X(aux, qs[174]); |
| 1193 | Controlled X(aux, qs[175]); |
| 1194 | Controlled X(aux, qs[176]); |
| 1195 | Controlled X(aux, qs[177]); |
| 1196 | Controlled X(aux, qs[178]); |
| 1197 | Controlled X(aux, qs[179]); |
| 1198 | Controlled X(aux, qs[180]); |
| 1199 | Controlled X(aux, qs[181]); |
| 1200 | Controlled X(aux, qs[182]); |
| 1201 | Controlled X(aux, qs[183]); |
| 1202 | Controlled X(aux, qs[184]); |
| 1203 | Controlled X(aux, qs[185]); |
| 1204 | Controlled X(aux, qs[186]); |
| 1205 | Controlled X(aux, qs[187]); |
| 1206 | Controlled X(aux, qs[188]); |
| 1207 | Controlled X(aux, qs[189]); |
| 1208 | Controlled X(aux, qs[190]); |
| 1209 | Controlled X(aux, qs[191]); |
| 1210 | Controlled X(aux, qs[192]); |
| 1211 | Controlled X(aux, qs[193]); |
| 1212 | Controlled X(aux, qs[194]); |
| 1213 | Controlled X(aux, qs[195]); |
| 1214 | Controlled X(aux, qs[196]); |
| 1215 | Controlled X(aux, qs[197]); |
| 1216 | Controlled X(aux, qs[198]); |
| 1217 | Controlled X(aux, qs[199]); |
| 1218 | Controlled X(aux, qs[200]); |
| 1219 | Controlled X(aux, qs[201]); |
| 1220 | Controlled X(aux, qs[202]); |
| 1221 | Controlled X(aux, qs[203]); |
| 1222 | Controlled X(aux, qs[204]); |
| 1223 | Controlled X(aux, qs[205]); |
| 1224 | Controlled X(aux, qs[206]); |
| 1225 | Controlled X(aux, qs[207]); |
| 1226 | Controlled X(aux, qs[208]); |
| 1227 | Controlled X(aux, qs[209]); |
| 1228 | Controlled X(aux, qs[210]); |
| 1229 | Controlled X(aux, qs[211]); |
| 1230 | Controlled X(aux, qs[212]); |
| 1231 | Controlled X(aux, qs[213]); |
| 1232 | Controlled X(aux, qs[214]); |
| 1233 | Controlled X(aux, qs[215]); |
| 1234 | Controlled X(aux, qs[216]); |
| 1235 | Controlled X(aux, qs[217]); |
| 1236 | Controlled X(aux, qs[218]); |
| 1237 | Controlled X(aux, qs[219]); |
| 1238 | Controlled X(aux, qs[220]); |
| 1239 | Controlled X(aux, qs[221]); |
| 1240 | Controlled X(aux, qs[222]); |
| 1241 | Controlled X(aux, qs[223]); |
| 1242 | Controlled X(aux, qs[224]); |
| 1243 | Controlled X(aux, qs[225]); |
| 1244 | Controlled X(aux, qs[226]); |
| 1245 | Controlled X(aux, qs[227]); |
| 1246 | Controlled X(aux, qs[228]); |
| 1247 | Controlled X(aux, qs[229]); |
| 1248 | Controlled X(aux, qs[230]); |
| 1249 | Controlled X(aux, qs[231]); |
| 1250 | Controlled X(aux, qs[232]); |
| 1251 | Controlled X(aux, qs[233]); |
| 1252 | Controlled X(aux, qs[234]); |
| 1253 | Controlled X(aux, qs[235]); |
| 1254 | Controlled X(aux, qs[236]); |
| 1255 | Controlled X(aux, qs[237]); |
| 1256 | Controlled X(aux, qs[238]); |
| 1257 | Controlled X(aux, qs[239]); |
| 1258 | Controlled X(aux, qs[240]); |
| 1259 | Controlled X(aux, qs[241]); |
| 1260 | Controlled X(aux, qs[242]); |
| 1261 | Controlled X(aux, qs[243]); |
| 1262 | Controlled X(aux, qs[244]); |
| 1263 | Controlled X(aux, qs[245]); |
| 1264 | Controlled X(aux, qs[246]); |
| 1265 | Controlled X(aux, qs[247]); |
| 1266 | Controlled X(aux, qs[248]); |
| 1267 | Controlled X(aux, qs[249]); |
| 1268 | Controlled X(aux, qs[250]); |
| 1269 | Controlled X(aux, qs[251]); |
| 1270 | Controlled X(aux, qs[252]); |
| 1271 | Controlled X(aux, qs[253]); |
| 1272 | Controlled X(aux, qs[254]); |
| 1273 | Controlled X(aux, qs[255]); |
| 1274 | Controlled X(aux, qs[256]); |
| 1275 | Controlled X(aux, qs[257]); |
| 1276 | Controlled X(aux, qs[258]); |
| 1277 | Controlled X(aux, qs[259]); |
| 1278 | Controlled X(aux, qs[260]); |
| 1279 | Controlled X(aux, qs[261]); |
| 1280 | Controlled X(aux, qs[262]); |
| 1281 | Controlled X(aux, qs[263]); |
| 1282 | Controlled X(aux, qs[264]); |
| 1283 | Controlled X(aux, qs[265]); |
| 1284 | Controlled X(aux, qs[266]); |
| 1285 | Controlled X(aux, qs[267]); |
| 1286 | Controlled X(aux, qs[268]); |
| 1287 | Controlled X(aux, qs[269]); |
| 1288 | Controlled X(aux, qs[270]); |
| 1289 | Controlled X(aux, qs[271]); |
| 1290 | Controlled X(aux, qs[272]); |
| 1291 | Controlled X(aux, qs[273]); |
| 1292 | Controlled X(aux, qs[274]); |
| 1293 | Controlled X(aux, qs[275]); |
| 1294 | Controlled X(aux, qs[276]); |
| 1295 | Controlled X(aux, qs[277]); |
| 1296 | Controlled X(aux, qs[278]); |
| 1297 | Controlled X(aux, qs[279]); |
| 1298 | Controlled X(aux, qs[280]); |
| 1299 | Controlled X(aux, qs[281]); |
| 1300 | Controlled X(aux, qs[282]); |
| 1301 | Controlled X(aux, qs[283]); |
| 1302 | Controlled X(aux, qs[284]); |
| 1303 | Controlled X(aux, qs[285]); |
| 1304 | Controlled X(aux, qs[286]); |
| 1305 | Controlled X(aux, qs[287]); |
| 1306 | Controlled X(aux, qs[288]); |
| 1307 | Controlled X(aux, qs[289]); |
| 1308 | Controlled X(aux, qs[290]); |
| 1309 | Controlled X(aux, qs[291]); |
| 1310 | Controlled X(aux, qs[292]); |
| 1311 | Controlled X(aux, qs[293]); |
| 1312 | Controlled X(aux, qs[294]); |
| 1313 | Controlled X(aux, qs[295]); |
| 1314 | Controlled X(aux, qs[296]); |
| 1315 | Controlled X(aux, qs[297]); |
| 1316 | Controlled X(aux, qs[298]); |
| 1317 | Controlled X(aux, qs[299]); |
| 1318 | Controlled X(aux, qs[300]); |
| 1319 | Controlled X(aux, qs[301]); |
| 1320 | Controlled X(aux, qs[302]); |
| 1321 | Controlled X(aux, qs[303]); |
| 1322 | Controlled X(aux, qs[304]); |
| 1323 | Controlled X(aux, qs[305]); |
| 1324 | Controlled X(aux, qs[306]); |
| 1325 | Controlled X(aux, qs[307]); |
| 1326 | Controlled X(aux, qs[308]); |
| 1327 | Controlled X(aux, qs[309]); |
| 1328 | Controlled X(aux, qs[310]); |
| 1329 | Controlled X(aux, qs[311]); |
| 1330 | Controlled X(aux, qs[312]); |
| 1331 | Controlled X(aux, qs[313]); |
| 1332 | Controlled X(aux, qs[314]); |
| 1333 | Controlled X(aux, qs[315]); |
| 1334 | Controlled X(aux, qs[316]); |
| 1335 | Controlled X(aux, qs[317]); |
| 1336 | Controlled X(aux, qs[318]); |
| 1337 | Controlled X(aux, qs[319]); |
| 1338 | Controlled X(aux, qs[320]); |
| 1339 | Controlled X(aux, qs[321]); |
| 1340 | Controlled X(aux, qs[322]); |
| 1341 | Controlled X(aux, qs[323]); |
| 1342 | Controlled X(aux, qs[324]); |
| 1343 | Controlled X(aux, qs[325]); |
| 1344 | Controlled X(aux, qs[326]); |
| 1345 | Controlled X(aux, qs[327]); |
| 1346 | Controlled X(aux, qs[328]); |
| 1347 | Controlled X(aux, qs[329]); |
| 1348 | Controlled X(aux, qs[330]); |
| 1349 | Controlled X(aux, qs[331]); |
| 1350 | Controlled X(aux, qs[332]); |
| 1351 | Controlled X(aux, qs[333]); |
| 1352 | Controlled X(aux, qs[334]); |
| 1353 | Controlled X(aux, qs[335]); |
| 1354 | Controlled X(aux, qs[336]); |
| 1355 | Controlled X(aux, qs[337]); |
| 1356 | Controlled X(aux, qs[338]); |
| 1357 | Controlled X(aux, qs[339]); |
| 1358 | Controlled X(aux, qs[340]); |
| 1359 | Controlled X(aux, qs[341]); |
| 1360 | Controlled X(aux, qs[342]); |
| 1361 | Controlled X(aux, qs[343]); |
| 1362 | Controlled X(aux, qs[344]); |
| 1363 | Controlled X(aux, qs[345]); |
| 1364 | Controlled X(aux, qs[346]); |
| 1365 | Controlled X(aux, qs[347]); |
| 1366 | Controlled X(aux, qs[348]); |
| 1367 | Controlled X(aux, qs[349]); |
| 1368 | Controlled X(aux, qs[350]); |
| 1369 | Controlled X(aux, qs[351]); |
| 1370 | Controlled X(aux, qs[352]); |
| 1371 | Controlled X(aux, qs[353]); |
| 1372 | Controlled X(aux, qs[354]); |
| 1373 | Controlled X(aux, qs[355]); |
| 1374 | Controlled X(aux, qs[356]); |
| 1375 | Controlled X(aux, qs[357]); |
| 1376 | Controlled X(aux, qs[358]); |
| 1377 | Controlled X(aux, qs[359]); |
| 1378 | Controlled X(aux, qs[360]); |
| 1379 | Controlled X(aux, qs[361]); |
| 1380 | Controlled X(aux, qs[362]); |
| 1381 | Controlled X(aux, qs[363]); |
| 1382 | Controlled X(aux, qs[364]); |
| 1383 | Controlled X(aux, qs[365]); |
| 1384 | Controlled X(aux, qs[366]); |
| 1385 | Controlled X(aux, qs[367]); |
| 1386 | Controlled X(aux, qs[368]); |
| 1387 | Controlled X(aux, qs[369]); |
| 1388 | Controlled X(aux, qs[370]); |
| 1389 | Controlled X(aux, qs[371]); |
| 1390 | Controlled X(aux, qs[372]); |
| 1391 | Controlled X(aux, qs[373]); |
| 1392 | Controlled X(aux, qs[374]); |
| 1393 | Controlled X(aux, qs[375]); |
| 1394 | Controlled X(aux, qs[376]); |
| 1395 | Controlled X(aux, qs[377]); |
| 1396 | Controlled X(aux, qs[378]); |
| 1397 | Controlled X(aux, qs[379]); |
| 1398 | Controlled X(aux, qs[380]); |
| 1399 | Controlled X(aux, qs[381]); |
| 1400 | Controlled X(aux, qs[382]); |
| 1401 | Controlled X(aux, qs[383]); |
| 1402 | Controlled X(aux, qs[384]); |
| 1403 | Controlled X(aux, qs[385]); |
| 1404 | Controlled X(aux, qs[386]); |
| 1405 | Controlled X(aux, qs[387]); |
| 1406 | Controlled X(aux, qs[388]); |
| 1407 | Controlled X(aux, qs[389]); |
| 1408 | Controlled X(aux, qs[390]); |
| 1409 | Controlled X(aux, qs[391]); |
| 1410 | Controlled X(aux, qs[392]); |
| 1411 | Controlled X(aux, qs[393]); |
| 1412 | Controlled X(aux, qs[394]); |
| 1413 | Controlled X(aux, qs[395]); |
| 1414 | Controlled X(aux, qs[396]); |
| 1415 | Controlled X(aux, qs[397]); |
| 1416 | Controlled X(aux, qs[398]); |
| 1417 | Controlled X(aux, qs[399]); |
| 1418 | Controlled X(aux, qs[400]); |
| 1419 | Controlled X(aux, qs[401]); |
| 1420 | Controlled X(aux, qs[402]); |
| 1421 | Controlled X(aux, qs[403]); |
| 1422 | Controlled X(aux, qs[404]); |
| 1423 | Controlled X(aux, qs[405]); |
| 1424 | Controlled X(aux, qs[406]); |
| 1425 | Controlled X(aux, qs[407]); |
| 1426 | Controlled X(aux, qs[408]); |
| 1427 | Controlled X(aux, qs[409]); |
| 1428 | Controlled X(aux, qs[410]); |
| 1429 | Controlled X(aux, qs[411]); |
| 1430 | Controlled X(aux, qs[412]); |
| 1431 | Controlled X(aux, qs[413]); |
| 1432 | Controlled X(aux, qs[414]); |
| 1433 | Controlled X(aux, qs[415]); |
| 1434 | Controlled X(aux, qs[416]); |
| 1435 | Controlled X(aux, qs[417]); |
| 1436 | Controlled X(aux, qs[418]); |
| 1437 | Controlled X(aux, qs[419]); |
| 1438 | Controlled X(aux, qs[420]); |
| 1439 | Controlled X(aux, qs[421]); |
| 1440 | Controlled X(aux, qs[422]); |
| 1441 | Controlled X(aux, qs[423]); |
| 1442 | Controlled X(aux, qs[424]); |
| 1443 | Controlled X(aux, qs[425]); |
| 1444 | Controlled X(aux, qs[426]); |
| 1445 | Controlled X(aux, qs[427]); |
| 1446 | Controlled X(aux, qs[428]); |
| 1447 | Controlled X(aux, qs[429]); |
| 1448 | Controlled X(aux, qs[430]); |
| 1449 | Controlled X(aux, qs[431]); |
| 1450 | Controlled X(aux, qs[432]); |
| 1451 | Controlled X(aux, qs[433]); |
| 1452 | Controlled X(aux, qs[434]); |
| 1453 | Controlled X(aux, qs[435]); |
| 1454 | Controlled X(aux, qs[436]); |
| 1455 | Controlled X(aux, qs[437]); |
| 1456 | Controlled X(aux, qs[438]); |
| 1457 | Controlled X(aux, qs[439]); |
| 1458 | Controlled X(aux, qs[440]); |
| 1459 | Controlled X(aux, qs[441]); |
| 1460 | Controlled X(aux, qs[442]); |
| 1461 | Controlled X(aux, qs[443]); |
| 1462 | Controlled X(aux, qs[444]); |
| 1463 | Controlled X(aux, qs[445]); |
| 1464 | Controlled X(aux, qs[446]); |
| 1465 | Controlled X(aux, qs[447]); |
| 1466 | Controlled X(aux, qs[448]); |
| 1467 | Controlled X(aux, qs[449]); |
| 1468 | Controlled X(aux, qs[450]); |
| 1469 | Controlled X(aux, qs[451]); |
| 1470 | Controlled X(aux, qs[452]); |
| 1471 | Controlled X(aux, qs[453]); |
| 1472 | Controlled X(aux, qs[454]); |
| 1473 | Controlled X(aux, qs[455]); |
| 1474 | Controlled X(aux, qs[456]); |
| 1475 | Controlled X(aux, qs[457]); |
| 1476 | Controlled X(aux, qs[458]); |
| 1477 | Controlled X(aux, qs[459]); |
| 1478 | Controlled X(aux, qs[460]); |
| 1479 | Controlled X(aux, qs[461]); |
| 1480 | Controlled X(aux, qs[462]); |
| 1481 | Controlled X(aux, qs[463]); |
| 1482 | Controlled X(aux, qs[464]); |
| 1483 | Controlled X(aux, qs[465]); |
| 1484 | Controlled X(aux, qs[466]); |
| 1485 | Controlled X(aux, qs[467]); |
| 1486 | Controlled X(aux, qs[468]); |
| 1487 | Controlled X(aux, qs[469]); |
| 1488 | Controlled X(aux, qs[470]); |
| 1489 | Controlled X(aux, qs[471]); |
| 1490 | Controlled X(aux, qs[472]); |
| 1491 | Controlled X(aux, qs[473]); |
| 1492 | Controlled X(aux, qs[474]); |
| 1493 | Controlled X(aux, qs[475]); |
| 1494 | Controlled X(aux, qs[476]); |
| 1495 | Controlled X(aux, qs[477]); |
| 1496 | Controlled X(aux, qs[478]); |
| 1497 | Controlled X(aux, qs[479]); |
| 1498 | Controlled X(aux, qs[480]); |
| 1499 | Controlled X(aux, qs[481]); |
| 1500 | Controlled X(aux, qs[482]); |
| 1501 | Controlled X(aux, qs[483]); |
| 1502 | Controlled X(aux, qs[484]); |
| 1503 | Controlled X(aux, qs[485]); |
| 1504 | Controlled X(aux, qs[486]); |
| 1505 | Controlled X(aux, qs[487]); |
| 1506 | Controlled X(aux, qs[488]); |
| 1507 | Controlled X(aux, qs[489]); |
| 1508 | Controlled X(aux, qs[490]); |
| 1509 | Controlled X(aux, qs[491]); |
| 1510 | Controlled X(aux, qs[492]); |
| 1511 | Controlled X(aux, qs[493]); |
| 1512 | Controlled X(aux, qs[494]); |
| 1513 | Controlled X(aux, qs[495]); |
| 1514 | Controlled X(aux, qs[496]); |
| 1515 | Controlled X(aux, qs[497]); |
| 1516 | Controlled X(aux, qs[498]); |
| 1517 | Controlled X(aux, qs[499]); |
| 1518 | Controlled X(aux, qs[500]); |
| 1519 | Controlled X(aux, qs[501]); |
| 1520 | Controlled X(aux, qs[502]); |
| 1521 | Controlled X(aux, qs[503]); |
| 1522 | Controlled X(aux, qs[504]); |
| 1523 | Controlled X(aux, qs[505]); |
| 1524 | Controlled X(aux, qs[506]); |
| 1525 | Controlled X(aux, qs[507]); |
| 1526 | Controlled X(aux, qs[508]); |
| 1527 | Controlled X(aux, qs[509]); |
| 1528 | Controlled X(aux, qs[510]); |
| 1529 | Controlled X(aux, qs[511]); |
| 1530 | Controlled X(aux, qs[512]); |
| 1531 | Controlled X(aux, qs[513]); |
| 1532 | Controlled X(aux, qs[514]); |
| 1533 | Controlled X(aux, qs[515]); |
| 1534 | Controlled X(aux, qs[516]); |
| 1535 | Controlled X(aux, qs[517]); |
| 1536 | Controlled X(aux, qs[518]); |
| 1537 | Controlled X(aux, qs[519]); |
| 1538 | Controlled X(aux, qs[520]); |
| 1539 | Controlled X(aux, qs[521]); |
| 1540 | Controlled X(aux, qs[522]); |
| 1541 | Controlled X(aux, qs[523]); |
| 1542 | Controlled X(aux, qs[524]); |
| 1543 | Controlled X(aux, qs[525]); |
| 1544 | Controlled X(aux, qs[526]); |
| 1545 | Controlled X(aux, qs[527]); |
| 1546 | Controlled X(aux, qs[528]); |
| 1547 | Controlled X(aux, qs[529]); |
| 1548 | Controlled X(aux, qs[530]); |
| 1549 | Controlled X(aux, qs[531]); |
| 1550 | Controlled X(aux, qs[532]); |
| 1551 | Controlled X(aux, qs[533]); |
| 1552 | Controlled X(aux, qs[534]); |
| 1553 | Controlled X(aux, qs[535]); |
| 1554 | Controlled X(aux, qs[536]); |
| 1555 | Controlled X(aux, qs[537]); |
| 1556 | Controlled X(aux, qs[538]); |
| 1557 | Controlled X(aux, qs[539]); |
| 1558 | Controlled X(aux, qs[540]); |
| 1559 | Controlled X(aux, qs[541]); |
| 1560 | Controlled X(aux, qs[542]); |
| 1561 | Controlled X(aux, qs[543]); |
| 1562 | Controlled X(aux, qs[544]); |
| 1563 | Controlled X(aux, qs[545]); |
| 1564 | Controlled X(aux, qs[546]); |
| 1565 | Controlled X(aux, qs[547]); |
| 1566 | Controlled X(aux, qs[548]); |
| 1567 | Controlled X(aux, qs[549]); |
| 1568 | Controlled X(aux, qs[550]); |
| 1569 | Controlled X(aux, qs[551]); |
| 1570 | Controlled X(aux, qs[552]); |
| 1571 | Controlled X(aux, qs[553]); |
| 1572 | Controlled X(aux, qs[554]); |
| 1573 | Controlled X(aux, qs[555]); |
| 1574 | Controlled X(aux, qs[556]); |
| 1575 | Controlled X(aux, qs[557]); |
| 1576 | Controlled X(aux, qs[558]); |
| 1577 | Controlled X(aux, qs[559]); |
| 1578 | Controlled X(aux, qs[560]); |
| 1579 | Controlled X(aux, qs[561]); |
| 1580 | Controlled X(aux, qs[562]); |
| 1581 | Controlled X(aux, qs[563]); |
| 1582 | Controlled X(aux, qs[564]); |
| 1583 | Controlled X(aux, qs[565]); |
| 1584 | Controlled X(aux, qs[566]); |
| 1585 | Controlled X(aux, qs[567]); |
| 1586 | Controlled X(aux, qs[568]); |
| 1587 | Controlled X(aux, qs[569]); |
| 1588 | Controlled X(aux, qs[570]); |
| 1589 | Controlled X(aux, qs[571]); |
| 1590 | Controlled X(aux, qs[572]); |
| 1591 | Controlled X(aux, qs[573]); |
| 1592 | Controlled X(aux, qs[574]); |
| 1593 | Controlled X(aux, qs[575]); |
| 1594 | Controlled X(aux, qs[576]); |
| 1595 | Controlled X(aux, qs[577]); |
| 1596 | Controlled X(aux, qs[578]); |
| 1597 | Controlled X(aux, qs[579]); |
| 1598 | Controlled X(aux, qs[580]); |
| 1599 | Controlled X(aux, qs[581]); |
| 1600 | Controlled X(aux, qs[582]); |
| 1601 | Controlled X(aux, qs[583]); |
| 1602 | Controlled X(aux, qs[584]); |
| 1603 | Controlled X(aux, qs[585]); |
| 1604 | Controlled X(aux, qs[586]); |
| 1605 | Controlled X(aux, qs[587]); |
| 1606 | Controlled X(aux, qs[588]); |
| 1607 | Controlled X(aux, qs[589]); |
| 1608 | Controlled X(aux, qs[590]); |
| 1609 | Controlled X(aux, qs[591]); |
| 1610 | Controlled X(aux, qs[592]); |
| 1611 | Controlled X(aux, qs[593]); |
| 1612 | Controlled X(aux, qs[594]); |
| 1613 | Controlled X(aux, qs[595]); |
| 1614 | Controlled X(aux, qs[596]); |
| 1615 | Controlled X(aux, qs[597]); |
| 1616 | Controlled X(aux, qs[598]); |
| 1617 | Controlled X(aux, qs[599]); |
| 1618 | Controlled X(aux, qs[600]); |
| 1619 | Controlled X(aux, qs[601]); |
| 1620 | Controlled X(aux, qs[602]); |
| 1621 | Controlled X(aux, qs[603]); |
| 1622 | Controlled X(aux, qs[604]); |
| 1623 | Controlled X(aux, qs[605]); |
| 1624 | Controlled X(aux, qs[606]); |
| 1625 | Controlled X(aux, qs[607]); |
| 1626 | Controlled X(aux, qs[608]); |
| 1627 | Controlled X(aux, qs[609]); |
| 1628 | Controlled X(aux, qs[610]); |
| 1629 | Controlled X(aux, qs[611]); |
| 1630 | Controlled X(aux, qs[612]); |
| 1631 | Controlled X(aux, qs[613]); |
| 1632 | Controlled X(aux, qs[614]); |
| 1633 | Controlled X(aux, qs[615]); |
| 1634 | Controlled X(aux, qs[616]); |
| 1635 | Controlled X(aux, qs[617]); |
| 1636 | Controlled X(aux, qs[618]); |
| 1637 | Controlled X(aux, qs[619]); |
| 1638 | Controlled X(aux, qs[620]); |
| 1639 | Controlled X(aux, qs[621]); |
| 1640 | Controlled X(aux, qs[622]); |
| 1641 | Controlled X(aux, qs[623]); |
| 1642 | Controlled X(aux, qs[624]); |
| 1643 | Controlled X(aux, qs[625]); |
| 1644 | Controlled X(aux, qs[626]); |
| 1645 | Controlled X(aux, qs[627]); |
| 1646 | Controlled X(aux, qs[628]); |
| 1647 | Controlled X(aux, qs[629]); |
| 1648 | Controlled X(aux, qs[630]); |
| 1649 | Controlled X(aux, qs[631]); |
| 1650 | Controlled X(aux, qs[632]); |
| 1651 | Controlled X(aux, qs[633]); |
| 1652 | Controlled X(aux, qs[634]); |
| 1653 | Controlled X(aux, qs[635]); |
| 1654 | Controlled X(aux, qs[636]); |
| 1655 | Controlled X(aux, qs[637]); |
| 1656 | Controlled X(aux, qs[638]); |
| 1657 | Controlled X(aux, qs[639]); |
| 1658 | Controlled X(aux, qs[640]); |
| 1659 | Controlled X(aux, qs[641]); |
| 1660 | Controlled X(aux, qs[642]); |
| 1661 | Controlled X(aux, qs[643]); |
| 1662 | Controlled X(aux, qs[644]); |
| 1663 | Controlled X(aux, qs[645]); |
| 1664 | Controlled X(aux, qs[646]); |
| 1665 | Controlled X(aux, qs[647]); |
| 1666 | Controlled X(aux, qs[648]); |
| 1667 | Controlled X(aux, qs[649]); |
| 1668 | Controlled X(aux, qs[650]); |
| 1669 | Controlled X(aux, qs[651]); |
| 1670 | Controlled X(aux, qs[652]); |
| 1671 | Controlled X(aux, qs[653]); |
| 1672 | Controlled X(aux, qs[654]); |
| 1673 | Controlled X(aux, qs[655]); |
| 1674 | Controlled X(aux, qs[656]); |
| 1675 | Controlled X(aux, qs[657]); |
| 1676 | Controlled X(aux, qs[658]); |
| 1677 | Controlled X(aux, qs[659]); |
| 1678 | Controlled X(aux, qs[660]); |
| 1679 | Controlled X(aux, qs[661]); |
| 1680 | Controlled X(aux, qs[662]); |
| 1681 | Controlled X(aux, qs[663]); |
| 1682 | Controlled X(aux, qs[664]); |
| 1683 | Controlled X(aux, qs[665]); |
| 1684 | Controlled X(aux, qs[666]); |
| 1685 | Controlled X(aux, qs[667]); |
| 1686 | Controlled X(aux, qs[668]); |
| 1687 | Controlled X(aux, qs[669]); |
| 1688 | Controlled X(aux, qs[670]); |
| 1689 | Controlled X(aux, qs[671]); |
| 1690 | Controlled X(aux, qs[672]); |
| 1691 | Controlled X(aux, qs[673]); |
| 1692 | Controlled X(aux, qs[674]); |
| 1693 | Controlled X(aux, qs[675]); |
| 1694 | Controlled X(aux, qs[676]); |
| 1695 | Controlled X(aux, qs[677]); |
| 1696 | Controlled X(aux, qs[678]); |
| 1697 | Controlled X(aux, qs[679]); |
| 1698 | Controlled X(aux, qs[680]); |
| 1699 | Controlled X(aux, qs[681]); |
| 1700 | Controlled X(aux, qs[682]); |
| 1701 | Controlled X(aux, qs[683]); |
| 1702 | Controlled X(aux, qs[684]); |
| 1703 | Controlled X(aux, qs[685]); |
| 1704 | Controlled X(aux, qs[686]); |
| 1705 | Controlled X(aux, qs[687]); |
| 1706 | Controlled X(aux, qs[688]); |
| 1707 | Controlled X(aux, qs[689]); |
| 1708 | Controlled X(aux, qs[690]); |
| 1709 | Controlled X(aux, qs[691]); |
| 1710 | Controlled X(aux, qs[692]); |
| 1711 | Controlled X(aux, qs[693]); |
| 1712 | Controlled X(aux, qs[694]); |
| 1713 | Controlled X(aux, qs[695]); |
| 1714 | Controlled X(aux, qs[696]); |
| 1715 | Controlled X(aux, qs[697]); |
| 1716 | Controlled X(aux, qs[698]); |
| 1717 | Controlled X(aux, qs[699]); |
| 1718 | Controlled X(aux, qs[700]); |
| 1719 | Controlled X(aux, qs[701]); |
| 1720 | Controlled X(aux, qs[702]); |
| 1721 | Controlled X(aux, qs[703]); |
| 1722 | Controlled X(aux, qs[704]); |
| 1723 | Controlled X(aux, qs[705]); |
| 1724 | Controlled X(aux, qs[706]); |
| 1725 | Controlled X(aux, qs[707]); |
| 1726 | Controlled X(aux, qs[708]); |
| 1727 | Controlled X(aux, qs[709]); |
| 1728 | Controlled X(aux, qs[710]); |
| 1729 | Controlled X(aux, qs[711]); |
| 1730 | Controlled X(aux, qs[712]); |
| 1731 | Controlled X(aux, qs[713]); |
| 1732 | Controlled X(aux, qs[714]); |
| 1733 | Controlled X(aux, qs[715]); |
| 1734 | Controlled X(aux, qs[716]); |
| 1735 | Controlled X(aux, qs[717]); |
| 1736 | Controlled X(aux, qs[718]); |
| 1737 | Controlled X(aux, qs[719]); |
| 1738 | Controlled X(aux, qs[720]); |
| 1739 | Controlled X(aux, qs[721]); |
| 1740 | Controlled X(aux, qs[722]); |
| 1741 | Controlled X(aux, qs[723]); |
| 1742 | Controlled X(aux, qs[724]); |
| 1743 | Controlled X(aux, qs[725]); |
| 1744 | Controlled X(aux, qs[726]); |
| 1745 | Controlled X(aux, qs[727]); |
| 1746 | Controlled X(aux, qs[728]); |
| 1747 | Controlled X(aux, qs[729]); |
| 1748 | Controlled X(aux, qs[730]); |
| 1749 | Controlled X(aux, qs[731]); |
| 1750 | Controlled X(aux, qs[732]); |
| 1751 | Controlled X(aux, qs[733]); |
| 1752 | Controlled X(aux, qs[734]); |
| 1753 | Controlled X(aux, qs[735]); |
| 1754 | Controlled X(aux, qs[736]); |
| 1755 | Controlled X(aux, qs[737]); |
| 1756 | Controlled X(aux, qs[738]); |
| 1757 | Controlled X(aux, qs[739]); |
| 1758 | Controlled X(aux, qs[740]); |
| 1759 | Controlled X(aux, qs[741]); |
| 1760 | Controlled X(aux, qs[742]); |
| 1761 | Controlled X(aux, qs[743]); |
| 1762 | Controlled X(aux, qs[744]); |
| 1763 | Controlled X(aux, qs[745]); |
| 1764 | Controlled X(aux, qs[746]); |
| 1765 | Controlled X(aux, qs[747]); |
| 1766 | Controlled X(aux, qs[748]); |
| 1767 | Controlled X(aux, qs[749]); |
| 1768 | Controlled X(aux, qs[750]); |
| 1769 | Controlled X(aux, qs[751]); |
| 1770 | Controlled X(aux, qs[752]); |
| 1771 | Controlled X(aux, qs[753]); |
| 1772 | Controlled X(aux, qs[754]); |
| 1773 | Controlled X(aux, qs[755]); |
| 1774 | Controlled X(aux, qs[756]); |
| 1775 | Controlled X(aux, qs[757]); |
| 1776 | Controlled X(aux, qs[758]); |
| 1777 | Controlled X(aux, qs[759]); |
| 1778 | Controlled X(aux, qs[760]); |
| 1779 | Controlled X(aux, qs[761]); |
| 1780 | Controlled X(aux, qs[762]); |
| 1781 | Controlled X(aux, qs[763]); |
| 1782 | Controlled X(aux, qs[764]); |
| 1783 | Controlled X(aux, qs[765]); |
| 1784 | Controlled X(aux, qs[766]); |
| 1785 | Controlled X(aux, qs[767]); |
| 1786 | Controlled X(aux, qs[768]); |
| 1787 | Controlled X(aux, qs[769]); |
| 1788 | Controlled X(aux, qs[770]); |
| 1789 | Controlled X(aux, qs[771]); |
| 1790 | Controlled X(aux, qs[772]); |
| 1791 | Controlled X(aux, qs[773]); |
| 1792 | Controlled X(aux, qs[774]); |
| 1793 | Controlled X(aux, qs[775]); |
| 1794 | Controlled X(aux, qs[776]); |
| 1795 | Controlled X(aux, qs[777]); |
| 1796 | Controlled X(aux, qs[778]); |
| 1797 | Controlled X(aux, qs[779]); |
| 1798 | Controlled X(aux, qs[780]); |
| 1799 | Controlled X(aux, qs[781]); |
| 1800 | Controlled X(aux, qs[782]); |
| 1801 | Controlled X(aux, qs[783]); |
| 1802 | Controlled X(aux, qs[784]); |
| 1803 | Controlled X(aux, qs[785]); |
| 1804 | Controlled X(aux, qs[786]); |
| 1805 | Controlled X(aux, qs[787]); |
| 1806 | Controlled X(aux, qs[788]); |
| 1807 | Controlled X(aux, qs[789]); |
| 1808 | Controlled X(aux, qs[790]); |
| 1809 | Controlled X(aux, qs[791]); |
| 1810 | Controlled X(aux, qs[792]); |
| 1811 | Controlled X(aux, qs[793]); |
| 1812 | Controlled X(aux, qs[794]); |
| 1813 | Controlled X(aux, qs[795]); |
| 1814 | Controlled X(aux, qs[796]); |
| 1815 | Controlled X(aux, qs[797]); |
| 1816 | Controlled X(aux, qs[798]); |
| 1817 | Controlled X(aux, qs[799]); |
| 1818 | Controlled X(aux, qs[800]); |
| 1819 | Controlled X(aux, qs[801]); |
| 1820 | Controlled X(aux, qs[802]); |
| 1821 | Controlled X(aux, qs[803]); |
| 1822 | Controlled X(aux, qs[804]); |
| 1823 | Controlled X(aux, qs[805]); |
| 1824 | Controlled X(aux, qs[806]); |
| 1825 | Controlled X(aux, qs[807]); |
| 1826 | Controlled X(aux, qs[808]); |
| 1827 | Controlled X(aux, qs[809]); |
| 1828 | Controlled X(aux, qs[810]); |
| 1829 | Controlled X(aux, qs[811]); |
| 1830 | Controlled X(aux, qs[812]); |
| 1831 | Controlled X(aux, qs[813]); |
| 1832 | Controlled X(aux, qs[814]); |
| 1833 | Controlled X(aux, qs[815]); |
| 1834 | Controlled X(aux, qs[816]); |
| 1835 | Controlled X(aux, qs[817]); |
| 1836 | Controlled X(aux, qs[818]); |
| 1837 | Controlled X(aux, qs[819]); |
| 1838 | Controlled X(aux, qs[820]); |
| 1839 | Controlled X(aux, qs[821]); |
| 1840 | Controlled X(aux, qs[822]); |
| 1841 | Controlled X(aux, qs[823]); |
| 1842 | Controlled X(aux, qs[824]); |
| 1843 | Controlled X(aux, qs[825]); |
| 1844 | Controlled X(aux, qs[826]); |
| 1845 | Controlled X(aux, qs[827]); |
| 1846 | Controlled X(aux, qs[828]); |
| 1847 | Controlled X(aux, qs[829]); |
| 1848 | Controlled X(aux, qs[830]); |
| 1849 | Controlled X(aux, qs[831]); |
| 1850 | Controlled X(aux, qs[832]); |
| 1851 | Controlled X(aux, qs[833]); |
| 1852 | Controlled X(aux, qs[834]); |
| 1853 | Controlled X(aux, qs[835]); |
| 1854 | Controlled X(aux, qs[836]); |
| 1855 | Controlled X(aux, qs[837]); |
| 1856 | Controlled X(aux, qs[838]); |
| 1857 | Controlled X(aux, qs[839]); |
| 1858 | Controlled X(aux, qs[840]); |
| 1859 | Controlled X(aux, qs[841]); |
| 1860 | Controlled X(aux, qs[842]); |
| 1861 | Controlled X(aux, qs[843]); |
| 1862 | Controlled X(aux, qs[844]); |
| 1863 | Controlled X(aux, qs[845]); |
| 1864 | Controlled X(aux, qs[846]); |
| 1865 | Controlled X(aux, qs[847]); |
| 1866 | Controlled X(aux, qs[848]); |
| 1867 | Controlled X(aux, qs[849]); |
| 1868 | Controlled X(aux, qs[850]); |
| 1869 | Controlled X(aux, qs[851]); |
| 1870 | Controlled X(aux, qs[852]); |
| 1871 | Controlled X(aux, qs[853]); |
| 1872 | Controlled X(aux, qs[854]); |
| 1873 | Controlled X(aux, qs[855]); |
| 1874 | Controlled X(aux, qs[856]); |
| 1875 | Controlled X(aux, qs[857]); |
| 1876 | Controlled X(aux, qs[858]); |
| 1877 | Controlled X(aux, qs[859]); |
| 1878 | Controlled X(aux, qs[860]); |
| 1879 | Controlled X(aux, qs[861]); |
| 1880 | Controlled X(aux, qs[862]); |
| 1881 | Controlled X(aux, qs[863]); |
| 1882 | Controlled X(aux, qs[864]); |
| 1883 | Controlled X(aux, qs[865]); |
| 1884 | Controlled X(aux, qs[866]); |
| 1885 | Controlled X(aux, qs[867]); |
| 1886 | Controlled X(aux, qs[868]); |
| 1887 | Controlled X(aux, qs[869]); |
| 1888 | Controlled X(aux, qs[870]); |
| 1889 | Controlled X(aux, qs[871]); |
| 1890 | Controlled X(aux, qs[872]); |
| 1891 | Controlled X(aux, qs[873]); |
| 1892 | Controlled X(aux, qs[874]); |
| 1893 | Controlled X(aux, qs[875]); |
| 1894 | Controlled X(aux, qs[876]); |
| 1895 | Controlled X(aux, qs[877]); |
| 1896 | Controlled X(aux, qs[878]); |
| 1897 | Controlled X(aux, qs[879]); |
| 1898 | Controlled X(aux, qs[880]); |
| 1899 | Controlled X(aux, qs[881]); |
| 1900 | Controlled X(aux, qs[882]); |
| 1901 | Controlled X(aux, qs[883]); |
| 1902 | Controlled X(aux, qs[884]); |
| 1903 | Controlled X(aux, qs[885]); |
| 1904 | Controlled X(aux, qs[886]); |
| 1905 | Controlled X(aux, qs[887]); |
| 1906 | Controlled X(aux, qs[888]); |
| 1907 | Controlled X(aux, qs[889]); |
| 1908 | Controlled X(aux, qs[890]); |
| 1909 | Controlled X(aux, qs[891]); |
| 1910 | Controlled X(aux, qs[892]); |
| 1911 | Controlled X(aux, qs[893]); |
| 1912 | Controlled X(aux, qs[894]); |
| 1913 | Controlled X(aux, qs[895]); |
| 1914 | Controlled X(aux, qs[896]); |
| 1915 | Controlled X(aux, qs[897]); |
| 1916 | Controlled X(aux, qs[898]); |
| 1917 | Controlled X(aux, qs[899]); |
| 1918 | Controlled X(aux, qs[900]); |
| 1919 | Controlled X(aux, qs[901]); |
| 1920 | Controlled X(aux, qs[902]); |
| 1921 | Controlled X(aux, qs[903]); |
| 1922 | Controlled X(aux, qs[904]); |
| 1923 | Controlled X(aux, qs[905]); |
| 1924 | Controlled X(aux, qs[906]); |
| 1925 | Controlled X(aux, qs[907]); |
| 1926 | Controlled X(aux, qs[908]); |
| 1927 | Controlled X(aux, qs[909]); |
| 1928 | Controlled X(aux, qs[910]); |
| 1929 | Controlled X(aux, qs[911]); |
| 1930 | Controlled X(aux, qs[912]); |
| 1931 | Controlled X(aux, qs[913]); |
| 1932 | Controlled X(aux, qs[914]); |
| 1933 | Controlled X(aux, qs[915]); |
| 1934 | Controlled X(aux, qs[916]); |
| 1935 | Controlled X(aux, qs[917]); |
| 1936 | Controlled X(aux, qs[918]); |
| 1937 | Controlled X(aux, qs[919]); |
| 1938 | Controlled X(aux, qs[920]); |
| 1939 | Controlled X(aux, qs[921]); |
| 1940 | Controlled X(aux, qs[922]); |
| 1941 | Controlled X(aux, qs[923]); |
| 1942 | Controlled X(aux, qs[924]); |
| 1943 | Controlled X(aux, qs[925]); |
| 1944 | Controlled X(aux, qs[926]); |
| 1945 | Controlled X(aux, qs[927]); |
| 1946 | Controlled X(aux, qs[928]); |
| 1947 | Controlled X(aux, qs[929]); |
| 1948 | Controlled X(aux, qs[930]); |
| 1949 | Controlled X(aux, qs[931]); |
| 1950 | Controlled X(aux, qs[932]); |
| 1951 | Controlled X(aux, qs[933]); |
| 1952 | Controlled X(aux, qs[934]); |
| 1953 | Controlled X(aux, qs[935]); |
| 1954 | Controlled X(aux, qs[936]); |
| 1955 | Controlled X(aux, qs[937]); |
| 1956 | Controlled X(aux, qs[938]); |
| 1957 | Controlled X(aux, qs[939]); |
| 1958 | Controlled X(aux, qs[940]); |
| 1959 | Controlled X(aux, qs[941]); |
| 1960 | Controlled X(aux, qs[942]); |
| 1961 | Controlled X(aux, qs[943]); |
| 1962 | Controlled X(aux, qs[944]); |
| 1963 | Controlled X(aux, qs[945]); |
| 1964 | Controlled X(aux, qs[946]); |
| 1965 | Controlled X(aux, qs[947]); |
| 1966 | Controlled X(aux, qs[948]); |
| 1967 | Controlled X(aux, qs[949]); |
| 1968 | Controlled X(aux, qs[950]); |
| 1969 | Controlled X(aux, qs[951]); |
| 1970 | Controlled X(aux, qs[952]); |
| 1971 | Controlled X(aux, qs[953]); |
| 1972 | Controlled X(aux, qs[954]); |
| 1973 | Controlled X(aux, qs[955]); |
| 1974 | Controlled X(aux, qs[956]); |
| 1975 | Controlled X(aux, qs[957]); |
| 1976 | Controlled X(aux, qs[958]); |
| 1977 | Controlled X(aux, qs[959]); |
| 1978 | Controlled X(aux, qs[960]); |
| 1979 | Controlled X(aux, qs[961]); |
| 1980 | Controlled X(aux, qs[962]); |
| 1981 | Controlled X(aux, qs[963]); |
| 1982 | Controlled X(aux, qs[964]); |
| 1983 | Controlled X(aux, qs[965]); |
| 1984 | Controlled X(aux, qs[966]); |
| 1985 | Controlled X(aux, qs[967]); |
| 1986 | Controlled X(aux, qs[968]); |
| 1987 | Controlled X(aux, qs[969]); |
| 1988 | Controlled X(aux, qs[970]); |
| 1989 | Controlled X(aux, qs[971]); |
| 1990 | Controlled X(aux, qs[972]); |
| 1991 | Controlled X(aux, qs[973]); |
| 1992 | Controlled X(aux, qs[974]); |
| 1993 | Controlled X(aux, qs[975]); |
| 1994 | Controlled X(aux, qs[976]); |
| 1995 | Controlled X(aux, qs[977]); |
| 1996 | Controlled X(aux, qs[978]); |
| 1997 | Controlled X(aux, qs[979]); |
| 1998 | Controlled X(aux, qs[980]); |
| 1999 | Controlled X(aux, qs[981]); |
| 2000 | Controlled X(aux, qs[982]); |
| 2001 | Controlled X(aux, qs[983]); |
| 2002 | Controlled X(aux, qs[984]); |
| 2003 | Controlled X(aux, qs[985]); |
| 2004 | Controlled X(aux, qs[986]); |
| 2005 | Controlled X(aux, qs[987]); |
| 2006 | Controlled X(aux, qs[988]); |
| 2007 | Controlled X(aux, qs[989]); |
| 2008 | Controlled X(aux, qs[990]); |
| 2009 | Controlled X(aux, qs[991]); |
| 2010 | Controlled X(aux, qs[992]); |
| 2011 | Controlled X(aux, qs[993]); |
| 2012 | Controlled X(aux, qs[994]); |
| 2013 | Controlled X(aux, qs[995]); |
| 2014 | Controlled X(aux, qs[996]); |
| 2015 | Controlled X(aux, qs[997]); |
| 2016 | Controlled X(aux, qs[998]); |
| 2017 | Controlled X(aux, qs[999]); |
| 2018 | } |
| 2019 | set res = MResetZ(aux[0]); |
| 2020 | } |
| 2021 | return res; |
| 2022 | } |
| 2023 | |
| 2024 | @EntryPoint() |
| 2025 | operation Run() : Result { |
| 2026 | use qs = Qubit[1000]; |
| 2027 | return ThousandQubitsParityX(qs); |
| 2028 | } |
| 2029 | } |