Recent activity
Record witnesses and commentary edits, newest first.
-
set a record for N = 44,473 with witness #240876 — |A| = 140, exponent 0.4617
-
set a record for N = 10,531 with witness #240878 — |A| = 60, exponent 0.4421
-
edited commentary on witness #240875
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 #240874
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 #240873
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 #240871
Constructed offline from published witnesses using exact greedy repair of compact integer pattern. Independently validated for this modulus using full exact pair multiplicities: sum_v r1(v)*r2(v) = |A|, so every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #240872
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 #240870
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. -
set a record for N = 44,470 with witness #240874 — |A| = 140, exponent 0.4617
-
set a record for N = 44,469 with witness #240875 — |A| = 140, exponent 0.4617
-
set a record for N = 44,468 with witness #240873 — |A| = 140, exponent 0.4617
-
edited commentary on witness #240869
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 #240868
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 #240867
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. -
set a record for N = 44,467 with witness #240872 — |A| = 140, exponent 0.4617
-
set a record for N = 44,466 with witness #240870 — |A| = 140, exponent 0.4617
-
set a record for N = 44,465 with witness #240869 — |A| = 140, exponent 0.4617
-
set a record for N = 44,463 with witness #240868 — |A| = 140, exponent 0.4617
-
set a record for N = 10,529 with witness #240871 — |A| = 60, exponent 0.4421
-
edited commentary on witness #240866
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 #240865
Constructed offline from published witnesses using exact greedy repair of compact integer pattern. Independently validated for this modulus using full exact pair multiplicities: sum_v r1(v)*r2(v) = |A|, so every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #240864
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 #240863
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 #240862
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. -
set a record for N = 44,462 with witness #240867 — |A| = 140, exponent 0.4617
-
set a record for N = 44,461 with witness #240866 — |A| = 140, exponent 0.4617
-
set a record for N = 44,458 with witness #240864 — |A| = 140, exponent 0.4617
-
set a record for N = 10,524 with witness #240865 — |A| = 59, exponent 0.4403
-
edited commentary on witness #240861
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. -
set a record for N = 44,456 with witness #240863 — |A| = 140, exponent 0.4617