Three-symbol substitution with real Pisot characteristic polynomial: x^3-3*x^2-x-2.
1, 3, 1, 1, 2, 1, 3, 1, 1, 1, 3, 1, 1, 1, 3, 1, 3, 1, 1, 2, 1, 3, 1, 1, 1, 3, 1, 1, 1, 3, 1, 1, 2, 1
1 seqfan posts
Sun Aug 15 17:10:25 CEST 2010 [seqfan] Extremely unpleasant event