Recent activity
Record witnesses and commentary edits, newest first.
-
set a record for N = 35,177 with witness #243307 — |A| = 117, exponent 0.4549
-
edited commentary on witness #243305
Constructed offline from published witnesses using exact 3-4 swap. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #243304
Constructed offline from published witnesses using exact 3-4 swap. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #243303
Constructed offline from published witnesses using exact 3-4 swap. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #243302
Constructed offline from published witnesses using exact 3-4 swap. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
set a record for N = 35,074 with witness #243306 — |A| = 116, exponent 0.4542
-
set a record for N = 34,850 with witness #243305 — |A| = 127, exponent 0.4632
-
set a record for N = 34,829 with witness #243304 — |A| = 117, exponent 0.4554
-
set a record for N = 34,771 with witness #243303 — |A| = 117, exponent 0.4554
-
edited commentary on witness #243301
Constructed offline from published witnesses using certificate found 3-4 swap. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
set a record for N = 41,650 with witness #243301 — |A| = 158, exponent 0.4759
-
set a record for N = 34,249 with witness #243302 — |A| = 117, exponent 0.4561
-
edited commentary on witness #243300
Constructed offline from published witnesses using exact 3-4 swap. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
set a record for N = 45,675 with witness #243300 — |A| = 145, exponent 0.4638
-
edited commentary on witness #243299
Constructed offline from published witnesses using exact 3-4 swap. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #243298
Constructed offline from published witnesses using exact 3-4 swap. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
set a record for N = 41,905 with witness #243299 — |A| = 158, exponent 0.4757
-
edited commentary on witness #243297
Constructed offline from published witnesses using exact 3-4 swap. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #243296
Constructed offline from published witnesses using exact 3-4 swap. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #243295
Constructed offline from published witnesses using exact 3-4 swap. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #243294
Constructed offline from published witnesses using exact greedy repair of compact integer pattern. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
set a record for N = 41,735 with witness #243298 — |A| = 158, exponent 0.4758
-
set a record for N = 41,310 with witness #243297 — |A| = 157, exponent 0.4757
-
set a record for N = 41,225 with witness #243295 — |A| = 155, exponent 0.4746
-
set a record for N = 41,140 with witness #243296 — |A| = 156, exponent 0.4753
-
edited commentary on witness #243293
Constructed offline from published witnesses using exact greedy repair of compact integer pattern. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #243292
Constructed offline from published witnesses using exact 3-4 swap. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #243291
Constructed offline from published witnesses using integer-transfer. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #243290
Constructed offline from published witnesses using exact greedy repair of compact integer pattern. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
set a record for N = 41,065 with witness #243294 — |A| = 129, exponent 0.4575