Skip to content

Instantly share code, notes, and snippets.

@sharkdp

sharkdp/large_tdd.py

Created February 19, 2026 12:32
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save sharkdp/a5375e55463a5ac5a49dc60f0b238ec5 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save sharkdp/a5375e55463a5ac5a49dc60f0b238ec5 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
large_tdd.py
def f(
c0,
c1,
c2,
c3,
c4,
c5,
c6,
c7,
c8,
c9,
c10,
c11,
c12,
c13,
c14,
c15,
c16,
c17,
c18,
c19,
c20,
c21,
c22,
c23,
c24,
c25,
c26,
c27,
c28,
c29,
c30,
c31,
):
x = 0
if c0:
if c1:
if c2:
if c3:
if c4:
if c5:
if c6:
if c7:
x = 1
else:
x = 2
else:
if c7:
x = 3
else:
x = 4
else:
if c6:
if c7:
x = 5
else:
x = 6
else:
if c7:
x = 7
else:
x = 8
else:
if c5:
if c6:
if c7:
x = 9
else:
x = 10
else:
if c7:
x = 11
else:
x = 12
else:
if c6:
if c7:
x = 13
else:
x = 14
else:
if c7:
x = 15
else:
x = 16
else:
if c4:
if c5:
if c6:
if c7:
x = 17
else:
x = 18
else:
if c7:
x = 19
else:
x = 20
else:
if c6:
if c7:
x = 21
else:
x = 22
else:
if c7:
x = 23
else:
x = 24
else:
if c5:
if c6:
if c7:
x = 25
else:
x = 26
else:
if c7:
x = 27
else:
x = 28
else:
if c6:
if c7:
x = 29
else:
x = 30
else:
if c7:
x = 31
else:
x = 32
else:
if c3:
if c4:
if c5:
if c6:
if c7:
x = 33
else:
x = 34
else:
if c7:
x = 35
else:
x = 36
else:
if c6:
if c7:
x = 37
else:
x = 38
else:
if c7:
x = 39
else:
x = 40
else:
if c5:
if c6:
if c7:
x = 41
else:
x = 42
else:
if c7:
x = 43
else:
x = 44
else:
if c6:
if c7:
x = 45
else:
x = 46
else:
if c7:
x = 47
else:
x = 48
else:
if c4:
if c5:
if c6:
if c7:
x = 49
else:
x = 50
else:
if c7:
x = 51
else:
x = 52
else:
if c6:
if c7:
x = 53
else:
x = 54
else:
if c7:
x = 55
else:
x = 56
else:
if c5:
if c6:
if c7:
x = 57
else:
x = 58
else:
if c7:
x = 59
else:
x = 60
else:
if c6:
if c7:
x = 61
else:
x = 62
else:
if c7:
x = 63
else:
x = 64
else:
if c2:
if c3:
if c4:
if c5:
if c6:
if c7:
x = 65
else:
x = 66
else:
if c7:
x = 67
else:
x = 68
else:
if c6:
if c7:
x = 69
else:
x = 70
else:
if c7:
x = 71
else:
x = 72
else:
if c5:
if c6:
if c7:
x = 73
else:
x = 74
else:
if c7:
x = 75
else:
x = 76
else:
if c6:
if c7:
x = 77
else:
x = 78
else:
if c7:
x = 79
else:
x = 80
else:
if c4:
if c5:
if c6:
if c7:
x = 81
else:
x = 82
else:
if c7:
x = 83
else:
x = 84
else:
if c6:
if c7:
x = 85
else:
x = 86
else:
if c7:
x = 87
else:
x = 88
else:
if c5:
if c6:
if c7:
x = 89
else:
x = 90
else:
if c7:
x = 91
else:
x = 92
else:
if c6:
if c7:
x = 93
else:
x = 94
else:
if c7:
x = 95
else:
x = 96
else:
if c3:
if c4:
if c5:
if c6:
if c7:
x = 97
else:
x = 98
else:
if c7:
x = 99
else:
x = 100
else:
if c6:
if c7:
x = 101
else:
x = 102
else:
if c7:
x = 103
else:
x = 104
else:
if c5:
if c6:
if c7:
x = 105
else:
x = 106
else:
if c7:
x = 107
else:
x = 108
else:
if c6:
if c7:
x = 109
else:
x = 110
else:
if c7:
x = 111
else:
x = 112
else:
if c4:
if c5:
if c6:
if c7:
x = 113
else:
x = 114
else:
if c7:
x = 115
else:
x = 116
else:
if c6:
if c7:
x = 117
else:
x = 118
else:
if c7:
x = 119
else:
x = 120
else:
if c5:
if c6:
if c7:
x = 121
else:
x = 122
else:
if c7:
x = 123
else:
x = 124
else:
if c6:
if c7:
x = 125
else:
x = 126
else:
if c7:
x = 127
else:
x = 128
else:
if c1:
if c2:
if c3:
if c4:
if c5:
if c6:
if c7:
x = 129
else:
x = 130
else:
if c7:
x = 131
else:
x = 132
else:
if c6:
if c7:
x = 133
else:
x = 134
else:
if c7:
x = 135
else:
x = 136
else:
if c5:
if c6:
if c7:
x = 137
else:
x = 138
else:
if c7:
x = 139
else:
x = 140
else:
if c6:
if c7:
x = 141
else:
x = 142
else:
if c7:
x = 143
else:
x = 144
else:
if c4:
if c5:
if c6:
if c7:
x = 145
else:
x = 146
else:
if c7:
x = 147
else:
x = 148
else:
if c6:
if c7:
x = 149
else:
x = 150
else:
if c7:
x = 151
else:
x = 152
else:
if c5:
if c6:
if c7:
x = 153
else:
x = 154
else:
if c7:
x = 155
else:
x = 156
else:
if c6:
if c7:
x = 157
else:
x = 158
else:
if c7:
x = 159
else:
x = 160
else:
if c3:
if c4:
if c5:
if c6:
if c7:
x = 161
else:
x = 162
else:
if c7:
x = 163
else:
x = 164
else:
if c6:
if c7:
x = 165
else:
x = 166
else:
if c7:
x = 167
else:
x = 168
else:
if c5:
if c6:
if c7:
x = 169
else:
x = 170
else:
if c7:
x = 171
else:
x = 172
else:
if c6:
if c7:
x = 173
else:
x = 174
else:
if c7:
x = 175
else:
x = 176
else:
if c4:
if c5:
if c6:
if c7:
x = 177
else:
x = 178
else:
if c7:
x = 179
else:
x = 180
else:
if c6:
if c7:
x = 181
else:
x = 182
else:
if c7:
x = 183
else:
x = 184
else:
if c5:
if c6:
if c7:
x = 185
else:
x = 186
else:
if c7:
x = 187
else:
x = 188
else:
if c6:
if c7:
x = 189
else:
x = 190
else:
if c7:
x = 191
else:
x = 192
else:
if c2:
if c3:
if c4:
if c5:
if c6:
if c7:
x = 193
else:
x = 194
else:
if c7:
x = 195
else:
x = 196
else:
if c6:
if c7:
x = 197
else:
x = 198
else:
if c7:
x = 199
else:
x = 200
else:
if c5:
if c6:
if c7:
x = 201
else:
x = 202
else:
if c7:
x = 203
else:
x = 204
else:
if c6:
if c7:
x = 205
else:
x = 206
else:
if c7:
x = 207
else:
x = 208
else:
if c4:
if c5:
if c6:
if c7:
x = 209
else:
x = 210
else:
if c7:
x = 211
else:
x = 212
else:
if c6:
if c7:
x = 213
else:
x = 214
else:
if c7:
x = 215
else:
x = 216
else:
if c5:
if c6:
if c7:
x = 217
else:
x = 218
else:
if c7:
x = 219
else:
x = 220
else:
if c6:
if c7:
x = 221
else:
x = 222
else:
if c7:
x = 223
else:
x = 224
else:
if c3:
if c4:
if c5:
if c6:
if c7:
x = 225
else:
x = 226
else:
if c7:
x = 227
else:
x = 228
else:
if c6:
if c7:
x = 229
else:
x = 230
else:
if c7:
x = 231
else:
x = 232
else:
if c5:
if c6:
if c7:
x = 233
else:
x = 234
else:
if c7:
x = 235
else:
x = 236
else:
if c6:
if c7:
x = 237
else:
x = 238
else:
if c7:
x = 239
else:
x = 240
else:
if c4:
if c5:
if c6:
if c7:
x = 241
else:
x = 242
else:
if c7:
x = 243
else:
x = 244
else:
if c6:
if c7:
x = 245
else:
x = 246
else:
if c7:
x = 247
else:
x = 248
else:
if c5:
if c6:
if c7:
x = 249
else:
x = 250
else:
if c7:
x = 251
else:
x = 252
else:
if c6:
if c7:
x = 253
else:
x = 254
else:
if c7:
x = 255
else:
x = 256
if c8:
if c9:
if c10:
if c11:
if c12:
if c13:
if c14:
if c15:
x = 257
else:
x = 258
else:
if c15:
x = 259
else:
x = 260
else:
if c14:
if c15:
x = 261
else:
x = 262
else:
if c15:
x = 263
else:
x = 264
else:
if c13:
if c14:
if c15:
x = 265
else:
x = 266
else:
if c15:
x = 267
else:
x = 268
else:
if c14:
if c15:
x = 269
else:
x = 270
else:
if c15:
x = 271
else:
x = 272
else:
if c12:
if c13:
if c14:
if c15:
x = 273
else:
x = 274
else:
if c15:
x = 275
else:
x = 276
else:
if c14:
if c15:
x = 277
else:
x = 278
else:
if c15:
x = 279
else:
x = 280
else:
if c13:
if c14:
if c15:
x = 281
else:
x = 282
else:
if c15:
x = 283
else:
x = 284
else:
if c14:
if c15:
x = 285
else:
x = 286
else:
if c15:
x = 287
else:
x = 288
else:
if c11:
if c12:
if c13:
if c14:
if c15:
x = 289
else:
x = 290
else:
if c15:
x = 291
else:
x = 292
else:
if c14:
if c15:
x = 293
else:
x = 294
else:
if c15:
x = 295
else:
x = 296
else:
if c13:
if c14:
if c15:
x = 297
else:
x = 298
else:
if c15:
x = 299
else:
x = 300
else:
if c14:
if c15:
x = 301
else:
x = 302
else:
if c15:
x = 303
else:
x = 304
else:
if c12:
if c13:
if c14:
if c15:
x = 305
else:
x = 306
else:
if c15:
x = 307
else:
x = 308
else:
if c14:
if c15:
x = 309
else:
x = 310
else:
if c15:
x = 311
else:
x = 312
else:
if c13:
if c14:
if c15:
x = 313
else:
x = 314
else:
if c15:
x = 315
else:
x = 316
else:
if c14:
if c15:
x = 317
else:
x = 318
else:
if c15:
x = 319
else:
x = 320
else:
if c10:
if c11:
if c12:
if c13:
if c14:
if c15:
x = 321
else:
x = 322
else:
if c15:
x = 323
else:
x = 324
else:
if c14:
if c15:
x = 325
else:
x = 326
else:
if c15:
x = 327
else:
x = 328
else:
if c13:
if c14:
if c15:
x = 329
else:
x = 330
else:
if c15:
x = 331
else:
x = 332
else:
if c14:
if c15:
x = 333
else:
x = 334
else:
if c15:
x = 335
else:
x = 336
else:
if c12:
if c13:
if c14:
if c15:
x = 337
else:
x = 338
else:
if c15:
x = 339
else:
x = 340
else:
if c14:
if c15:
x = 341
else:
x = 342
else:
if c15:
x = 343
else:
x = 344
else:
if c13:
if c14:
if c15:
x = 345
else:
x = 346
else:
if c15:
x = 347
else:
x = 348
else:
if c14:
if c15:
x = 349
else:
x = 350
else:
if c15:
x = 351
else:
x = 352
else:
if c11:
if c12:
if c13:
if c14:
if c15:
x = 353
else:
x = 354
else:
if c15:
x = 355
else:
x = 356
else:
if c14:
if c15:
x = 357
else:
x = 358
else:
if c15:
x = 359
else:
x = 360
else:
if c13:
if c14:
if c15:
x = 361
else:
x = 362
else:
if c15:
x = 363
else:
x = 364
else:
if c14:
if c15:
x = 365
else:
x = 366
else:
if c15:
x = 367
else:
x = 368
else:
if c12:
if c13:
if c14:
if c15:
x = 369
else:
x = 370
else:
if c15:
x = 371
else:
x = 372
else:
if c14:
if c15:
x = 373
else:
x = 374
else:
if c15:
x = 375
else:
x = 376
else:
if c13:
if c14:
if c15:
x = 377
else:
x = 378
else:
if c15:
x = 379
else:
x = 380
else:
if c14:
if c15:
x = 381
else:
x = 382
else:
if c15:
x = 383
else:
x = 384
else:
if c9:
if c10:
if c11:
if c12:
if c13:
if c14:
if c15:
x = 385
else:
x = 386
else:
if c15:
x = 387
else:
x = 388
else:
if c14:
if c15:
x = 389
else:
x = 390
else:
if c15:
x = 391
else:
x = 392
else:
if c13:
if c14:
if c15:
x = 393
else:
x = 394
else:
if c15:
x = 395
else:
x = 396
else:
if c14:
if c15:
x = 397
else:
x = 398
else:
if c15:
x = 399
else:
x = 400
else:
if c12:
if c13:
if c14:
if c15:
x = 401
else:
x = 402
else:
if c15:
x = 403
else:
x = 404
else:
if c14:
if c15:
x = 405
else:
x = 406
else:
if c15:
x = 407
else:
x = 408
else:
if c13:
if c14:
if c15:
x = 409
else:
x = 410
else:
if c15:
x = 411
else:
x = 412
else:
if c14:
if c15:
x = 413
else:
x = 414
else:
if c15:
x = 415
else:
x = 416
else:
if c11:
if c12:
if c13:
if c14:
if c15:
x = 417
else:
x = 418
else:
if c15:
x = 419
else:
x = 420
else:
if c14:
if c15:
x = 421
else:
x = 422
else:
if c15:
x = 423
else:
x = 424
else:
if c13:
if c14:
if c15:
x = 425
else:
x = 426
else:
if c15:
x = 427
else:
x = 428
else:
if c14:
if c15:
x = 429
else:
x = 430
else:
if c15:
x = 431
else:
x = 432
else:
if c12:
if c13:
if c14:
if c15:
x = 433
else:
x = 434
else:
if c15:
x = 435
else:
x = 436
else:
if c14:
if c15:
x = 437
else:
x = 438
else:
if c15:
x = 439
else:
x = 440
else:
if c13:
if c14:
if c15:
x = 441
else:
x = 442
else:
if c15:
x = 443
else:
x = 444
else:
if c14:
if c15:
x = 445
else:
x = 446
else:
if c15:
x = 447
else:
x = 448
else:
if c10:
if c11:
if c12:
if c13:
if c14:
if c15:
x = 449
else:
x = 450
else:
if c15:
x = 451
else:
x = 452
else:
if c14:
if c15:
x = 453
else:
x = 454
else:
if c15:
x = 455
else:
x = 456
else:
if c13:
if c14:
if c15:
x = 457
else:
x = 458
else:
if c15:
x = 459
else:
x = 460
else:
if c14:
if c15:
x = 461
else:
x = 462
else:
if c15:
x = 463
else:
x = 464
else:
if c12:
if c13:
if c14:
if c15:
x = 465
else:
x = 466
else:
if c15:
x = 467
else:
x = 468
else:
if c14:
if c15:
x = 469
else:
x = 470
else:
if c15:
x = 471
else:
x = 472
else:
if c13:
if c14:
if c15:
x = 473
else:
x = 474
else:
if c15:
x = 475
else:
x = 476
else:
if c14:
if c15:
x = 477
else:
x = 478
else:
if c15:
x = 479
else:
x = 480
else:
if c11:
if c12:
if c13:
if c14:
if c15:
x = 481
else:
x = 482
else:
if c15:
x = 483
else:
x = 484
else:
if c14:
if c15:
x = 485
else:
x = 486
else:
if c15:
x = 487
else:
x = 488
else:
if c13:
if c14:
if c15:
x = 489
else:
x = 490
else:
if c15:
x = 491
else:
x = 492
else:
if c14:
if c15:
x = 493
else:
x = 494
else:
if c15:
x = 495
else:
x = 496
else:
if c12:
if c13:
if c14:
if c15:
x = 497
else:
x = 498
else:
if c15:
x = 499
else:
x = 500
else:
if c14:
if c15:
x = 501
else:
x = 502
else:
if c15:
x = 503
else:
x = 504
else:
if c13:
if c14:
if c15:
x = 505
else:
x = 506
else:
if c15:
x = 507
else:
x = 508
else:
if c14:
if c15:
x = 509
else:
x = 510
else:
if c15:
x = 511
else:
x = 512
if c16:
if c17:
if c18:
if c19:
if c20:
if c21:
if c22:
if c23:
x = 513
else:
x = 514
else:
if c23:
x = 515
else:
x = 516
else:
if c22:
if c23:
x = 517
else:
x = 518
else:
if c23:
x = 519
else:
x = 520
else:
if c21:
if c22:
if c23:
x = 521
else:
x = 522
else:
if c23:
x = 523
else:
x = 524
else:
if c22:
if c23:
x = 525
else:
x = 526
else:
if c23:
x = 527
else:
x = 528
else:
if c20:
if c21:
if c22:
if c23:
x = 529
else:
x = 530
else:
if c23:
x = 531
else:
x = 532
else:
if c22:
if c23:
x = 533
else:
x = 534
else:
if c23:
x = 535
else:
x = 536
else:
if c21:
if c22:
if c23:
x = 537
else:
x = 538
else:
if c23:
x = 539
else:
x = 540
else:
if c22:
if c23:
x = 541
else:
x = 542
else:
if c23:
x = 543
else:
x = 544
else:
if c19:
if c20:
if c21:
if c22:
if c23:
x = 545
else:
x = 546
else:
if c23:
x = 547
else:
x = 548
else:
if c22:
if c23:
x = 549
else:
x = 550
else:
if c23:
x = 551
else:
x = 552
else:
if c21:
if c22:
if c23:
x = 553
else:
x = 554
else:
if c23:
x = 555
else:
x = 556
else:
if c22:
if c23:
x = 557
else:
x = 558
else:
if c23:
x = 559
else:
x = 560
else:
if c20:
if c21:
if c22:
if c23:
x = 561
else:
x = 562
else:
if c23:
x = 563
else:
x = 564
else:
if c22:
if c23:
x = 565
else:
x = 566
else:
if c23:
x = 567
else:
x = 568
else:
if c21:
if c22:
if c23:
x = 569
else:
x = 570
else:
if c23:
x = 571
else:
x = 572
else:
if c22:
if c23:
x = 573
else:
x = 574
else:
if c23:
x = 575
else:
x = 576
else:
if c18:
if c19:
if c20:
if c21:
if c22:
if c23:
x = 577
else:
x = 578
else:
if c23:
x = 579
else:
x = 580
else:
if c22:
if c23:
x = 581
else:
x = 582
else:
if c23:
x = 583
else:
x = 584
else:
if c21:
if c22:
if c23:
x = 585
else:
x = 586
else:
if c23:
x = 587
else:
x = 588
else:
if c22:
if c23:
x = 589
else:
x = 590
else:
if c23:
x = 591
else:
x = 592
else:
if c20:
if c21:
if c22:
if c23:
x = 593
else:
x = 594
else:
if c23:
x = 595
else:
x = 596
else:
if c22:
if c23:
x = 597
else:
x = 598
else:
if c23:
x = 599
else:
x = 600
else:
if c21:
if c22:
if c23:
x = 601
else:
x = 602
else:
if c23:
x = 603
else:
x = 604
else:
if c22:
if c23:
x = 605
else:
x = 606
else:
if c23:
x = 607
else:
x = 608
else:
if c19:
if c20:
if c21:
if c22:
if c23:
x = 609
else:
x = 610
else:
if c23:
x = 611
else:
x = 612
else:
if c22:
if c23:
x = 613
else:
x = 614
else:
if c23:
x = 615
else:
x = 616
else:
if c21:
if c22:
if c23:
x = 617
else:
x = 618
else:
if c23:
x = 619
else:
x = 620
else:
if c22:
if c23:
x = 621
else:
x = 622
else:
if c23:
x = 623
else:
x = 624
else:
if c20:
if c21:
if c22:
if c23:
x = 625
else:
x = 626
else:
if c23:
x = 627
else:
x = 628
else:
if c22:
if c23:
x = 629
else:
x = 630
else:
if c23:
x = 631
else:
x = 632
else:
if c21:
if c22:
if c23:
x = 633
else:
x = 634
else:
if c23:
x = 635
else:
x = 636
else:
if c22:
if c23:
x = 637
else:
x = 638
else:
if c23:
x = 639
else:
x = 640
else:
if c17:
if c18:
if c19:
if c20:
if c21:
if c22:
if c23:
x = 641
else:
x = 642
else:
if c23:
x = 643
else:
x = 644
else:
if c22:
if c23:
x = 645
else:
x = 646
else:
if c23:
x = 647
else:
x = 648
else:
if c21:
if c22:
if c23:
x = 649
else:
x = 650
else:
if c23:
x = 651
else:
x = 652
else:
if c22:
if c23:
x = 653
else:
x = 654
else:
if c23:
x = 655
else:
x = 656
else:
if c20:
if c21:
if c22:
if c23:
x = 657
else:
x = 658
else:
if c23:
x = 659
else:
x = 660
else:
if c22:
if c23:
x = 661
else:
x = 662
else:
if c23:
x = 663
else:
x = 664
else:
if c21:
if c22:
if c23:
x = 665
else:
x = 666
else:
if c23:
x = 667
else:
x = 668
else:
if c22:
if c23:
x = 669
else:
x = 670
else:
if c23:
x = 671
else:
x = 672
else:
if c19:
if c20:
if c21:
if c22:
if c23:
x = 673
else:
x = 674
else:
if c23:
x = 675
else:
x = 676
else:
if c22:
if c23:
x = 677
else:
x = 678
else:
if c23:
x = 679
else:
x = 680
else:
if c21:
if c22:
if c23:
x = 681
else:
x = 682
else:
if c23:
x = 683
else:
x = 684
else:
if c22:
if c23:
x = 685
else:
x = 686
else:
if c23:
x = 687
else:
x = 688
else:
if c20:
if c21:
if c22:
if c23:
x = 689
else:
x = 690
else:
if c23:
x = 691
else:
x = 692
else:
if c22:
if c23:
x = 693
else:
x = 694
else:
if c23:
x = 695
else:
x = 696
else:
if c21:
if c22:
if c23:
x = 697
else:
x = 698
else:
if c23:
x = 699
else:
x = 700
else:
if c22:
if c23:
x = 701
else:
x = 702
else:
if c23:
x = 703
else:
x = 704
else:
if c18:
if c19:
if c20:
if c21:
if c22:
if c23:
x = 705
else:
x = 706
else:
if c23:
x = 707
else:
x = 708
else:
if c22:
if c23:
x = 709
else:
x = 710
else:
if c23:
x = 711
else:
x = 712
else:
if c21:
if c22:
if c23:
x = 713
else:
x = 714
else:
if c23:
x = 715
else:
x = 716
else:
if c22:
if c23:
x = 717
else:
x = 718
else:
if c23:
x = 719
else:
x = 720
else:
if c20:
if c21:
if c22:
if c23:
x = 721
else:
x = 722
else:
if c23:
x = 723
else:
x = 724
else:
if c22:
if c23:
x = 725
else:
x = 726
else:
if c23:
x = 727
else:
x = 728
else:
if c21:
if c22:
if c23:
x = 729
else:
x = 730
else:
if c23:
x = 731
else:
x = 732
else:
if c22:
if c23:
x = 733
else:
x = 734
else:
if c23:
x = 735
else:
x = 736
else:
if c19:
if c20:
if c21:
if c22:
if c23:
x = 737
else:
x = 738
else:
if c23:
x = 739
else:
x = 740
else:
if c22:
if c23:
x = 741
else:
x = 742
else:
if c23:
x = 743
else:
x = 744
else:
if c21:
if c22:
if c23:
x = 745
else:
x = 746
else:
if c23:
x = 747
else:
x = 748
else:
if c22:
if c23:
x = 749
else:
x = 750
else:
if c23:
x = 751
else:
x = 752
else:
if c20:
if c21:
if c22:
if c23:
x = 753
else:
x = 754
else:
if c23:
x = 755
else:
x = 756
else:
if c22:
if c23:
x = 757
else:
x = 758
else:
if c23:
x = 759
else:
x = 760
else:
if c21:
if c22:
if c23:
x = 761
else:
x = 762
else:
if c23:
x = 763
else:
x = 764
else:
if c22:
if c23:
x = 765
else:
x = 766
else:
if c23:
x = 767
else:
x = 768
if c24:
if c25:
if c26:
if c27:
if c28:
if c29:
if c30:
if c31:
x = 769
else:
x = 770
else:
if c31:
x = 771
else:
x = 772
else:
if c30:
if c31:
x = 773
else:
x = 774
else:
if c31:
x = 775
else:
x = 776
else:
if c29:
if c30:
if c31:
x = 777
else:
x = 778
else:
if c31:
x = 779
else:
x = 780
else:
if c30:
if c31:
x = 781
else:
x = 782
else:
if c31:
x = 783
else:
x = 784
else:
if c28:
if c29:
if c30:
if c31:
x = 785
else:
x = 786
else:
if c31:
x = 787
else:
x = 788
else:
if c30:
if c31:
x = 789
else:
x = 790
else:
if c31:
x = 791
else:
x = 792
else:
if c29:
if c30:
if c31:
x = 793
else:
x = 794
else:
if c31:
x = 795
else:
x = 796
else:
if c30:
if c31:
x = 797
else:
x = 798
else:
if c31:
x = 799
else:
x = 800
else:
if c27:
if c28:
if c29:
if c30:
if c31:
x = 801
else:
x = 802
else:
if c31:
x = 803
else:
x = 804
else:
if c30:
if c31:
x = 805
else:
x = 806
else:
if c31:
x = 807
else:
x = 808
else:
if c29:
if c30:
if c31:
x = 809
else:
x = 810
else:
if c31:
x = 811
else:
x = 812
else:
if c30:
if c31:
x = 813
else:
x = 814
else:
if c31:
x = 815
else:
x = 816
else:
if c28:
if c29:
if c30:
if c31:
x = 817
else:
x = 818
else:
if c31:
x = 819
else:
x = 820
else:
if c30:
if c31:
x = 821
else:
x = 822
else:
if c31:
x = 823
else:
x = 824
else:
if c29:
if c30:
if c31:
x = 825
else:
x = 826
else:
if c31:
x = 827
else:
x = 828
else:
if c30:
if c31:
x = 829
else:
x = 830
else:
if c31:
x = 831
else:
x = 832
else:
if c26:
if c27:
if c28:
if c29:
if c30:
if c31:
x = 833
else:
x = 834
else:
if c31:
x = 835
else:
x = 836
else:
if c30:
if c31:
x = 837
else:
x = 838
else:
if c31:
x = 839
else:
x = 840
else:
if c29:
if c30:
if c31:
x = 841
else:
x = 842
else:
if c31:
x = 843
else:
x = 844
else:
if c30:
if c31:
x = 845
else:
x = 846
else:
if c31:
x = 847
else:
x = 848
else:
if c28:
if c29:
if c30:
if c31:
x = 849
else:
x = 850
else:
if c31:
x = 851
else:
x = 852
else:
if c30:
if c31:
x = 853
else:
x = 854
else:
if c31:
x = 855
else:
x = 856
else:
if c29:
if c30:
if c31:
x = 857
else:
x = 858
else:
if c31:
x = 859
else:
x = 860
else:
if c30:
if c31:
x = 861
else:
x = 862
else:
if c31:
x = 863
else:
x = 864
else:
if c27:
if c28:
if c29:
if c30:
if c31:
x = 865
else:
x = 866
else:
if c31:
x = 867
else:
x = 868
else:
if c30:
if c31:
x = 869
else:
x = 870
else:
if c31:
x = 871
else:
x = 872
else:
if c29:
if c30:
if c31:
x = 873
else:
x = 874
else:
if c31:
x = 875
else:
x = 876
else:
if c30:
if c31:
x = 877
else:
x = 878
else:
if c31:
x = 879
else:
x = 880
else:
if c28:
if c29:
if c30:
if c31:
x = 881
else:
x = 882
else:
if c31:
x = 883
else:
x = 884
else:
if c30:
if c31:
x = 885
else:
x = 886
else:
if c31:
x = 887
else:
x = 888
else:
if c29:
if c30:
if c31:
x = 889
else:
x = 890
else:
if c31:
x = 891
else:
x = 892
else:
if c30:
if c31:
x = 893
else:
x = 894
else:
if c31:
x = 895
else:
x = 896
else:
if c25:
if c26:
if c27:
if c28:
if c29:
if c30:
if c31:
x = 897
else:
x = 898
else:
if c31:
x = 899
else:
x = 900
else:
if c30:
if c31:
x = 901
else:
x = 902
else:
if c31:
x = 903
else:
x = 904
else:
if c29:
if c30:
if c31:
x = 905
else:
x = 906
else:
if c31:
x = 907
else:
x = 908
else:
if c30:
if c31:
x = 909
else:
x = 910
else:
if c31:
x = 911
else:
x = 912
else:
if c28:
if c29:
if c30:
if c31:
x = 913
else:
x = 914
else:
if c31:
x = 915
else:
x = 916
else:
if c30:
if c31:
x = 917
else:
x = 918
else:
if c31:
x = 919
else:
x = 920
else:
if c29:
if c30:
if c31:
x = 921
else:
x = 922
else:
if c31:
x = 923
else:
x = 924
else:
if c30:
if c31:
x = 925
else:
x = 926
else:
if c31:
x = 927
else:
x = 928
else:
if c27:
if c28:
if c29:
if c30:
if c31:
x = 929
else:
x = 930
else:
if c31:
x = 931
else:
x = 932
else:
if c30:
if c31:
x = 933
else:
x = 934
else:
if c31:
x = 935
else:
x = 936
else:
if c29:
if c30:
if c31:
x = 937
else:
x = 938
else:
if c31:
x = 939
else:
x = 940
else:
if c30:
if c31:
x = 941
else:
x = 942
else:
if c31:
x = 943
else:
x = 944
else:
if c28:
if c29:
if c30:
if c31:
x = 945
else:
x = 946
else:
if c31:
x = 947
else:
x = 948
else:
if c30:
if c31:
x = 949
else:
x = 950
else:
if c31:
x = 951
else:
x = 952
else:
if c29:
if c30:
if c31:
x = 953
else:
x = 954
else:
if c31:
x = 955
else:
x = 956
else:
if c30:
if c31:
x = 957
else:
x = 958
else:
if c31:
x = 959
else:
x = 960
else:
if c26:
if c27:
if c28:
if c29:
if c30:
if c31:
x = 961
else:
x = 962
else:
if c31:
x = 963
else:
x = 964
else:
if c30:
if c31:
x = 965
else:
x = 966
else:
if c31:
x = 967
else:
x = 968
else:
if c29:
if c30:
if c31:
x = 969
else:
x = 970
else:
if c31:
x = 971
else:
x = 972
else:
if c30:
if c31:
x = 973
else:
x = 974
else:
if c31:
x = 975
else:
x = 976
else:
if c28:
if c29:
if c30:
if c31:
x = 977
else:
x = 978
else:
if c31:
x = 979
else:
x = 980
else:
if c30:
if c31:
x = 981
else:
x = 982
else:
if c31:
x = 983
else:
x = 984
else:
if c29:
if c30:
if c31:
x = 985
else:
x = 986
else:
if c31:
x = 987
else:
x = 988
else:
if c30:
if c31:
x = 989
else:
x = 990
else:
if c31:
x = 991
else:
x = 992
else:
if c27:
if c28:
if c29:
if c30:
if c31:
x = 993
else:
x = 994
else:
if c31:
x = 995
else:
x = 996
else:
if c30:
if c31:
x = 997
else:
x = 998
else:
if c31:
x = 999
else:
x = 1000
else:
if c29:
if c30:
if c31:
x = 1001
else:
x = 1002
else:
if c31:
x = 1003
else:
x = 1004
else:
if c30:
if c31:
x = 1005
else:
x = 1006
else:
if c31:
x = 1007
else:
x = 1008
else:
if c28:
if c29:
if c30:
if c31:
x = 1009
else:
x = 1010
else:
if c31:
x = 1011
else:
x = 1012
else:
if c30:
if c31:
x = 1013
else:
x = 1014
else:
if c31:
x = 1015
else:
x = 1016
else:
if c29:
if c30:
if c31:
x = 1017
else:
x = 1018
else:
if c31:
x = 1019
else:
x = 1020
else:
if c30:
if c31:
x = 1021
else:
x = 1022
else:
if c31:
x = 1023
else:
x = 1024
print(x)
if 1 + 1 == 2:
result = 0
else:
result = 1
reveal_type(result) # should be Literal[0], reveals Literal[0, 1]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment