Recent activity
Record witnesses and commentary edits, newest first.
-
set a record for N = 44,204 with witness #240307 — |A| = 139, exponent 0.4613
-
set a record for N = 42,928 with witness #240309 — |A| = 136, exponent 0.4605
-
set a record for N = 42,923 with witness #240308 — |A| = 136, exponent 0.4605
-
set a record for N = 42,921 with witness #240306 — |A| = 136, exponent 0.4605
-
set a record for N = 42,918 with witness #240305 — |A| = 136, exponent 0.4605
-
edited commentary on witness #240303
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 = 42,916 with witness #240304 — |A| = 136, exponent 0.4605
-
edited commentary on witness #240302
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 #240301
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 #240300
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 #240299
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 #240298
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,201 with witness #240301 — |A| = 139, exponent 0.4613
-
set a record for N = 42,915 with witness #240303 — |A| = 136, exponent 0.4605
-
set a record for N = 42,914 with witness #240302 — |A| = 136, exponent 0.4605
-
set a record for N = 42,913 with witness #240300 — |A| = 136, exponent 0.4606
-
set a record for N = 42,911 with witness #240299 — |A| = 136, exponent 0.4606
-
edited commentary on witness #240297
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 #240296
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 #240295
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. -
set a record for N = 42,909 with witness #240298 — |A| = 136, exponent 0.4606
-
set a record for N = 42,907 with witness #240297 — |A| = 136, exponent 0.4606
-
edited commentary on witness #240294
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 #240293
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,197 with witness #240295 — |A| = 139, exponent 0.4613
-
set a record for N = 42,906 with witness #240296 — |A| = 136, exponent 0.4606
-
edited commentary on witness #240292
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 #240291
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 = 42,904 with witness #240294 — |A| = 136, exponent 0.4606
-
set a record for N = 42,902 with witness #240293 — |A| = 136, exponent 0.4606