Remaining affine nondivisibility obstruction for primitive words with mean valuation below 485/306

Initializing...

Remaining affine nondivisibility obstruction for primitive words with mean valuation below 485/306 · Prove2Me