User contributions for Veljjanoski

9 November 2026

• 07:4107:41, 9 November 2026 diff hist 0 Cryptids Brocard row: machine reduced to 34 states (BB(34), BBi(66)); links updated current Tag: Visual edit: Switched
• 06:3706:37, 9 November 2026 diff hist −217 Cryptids Brocard row: link machine.txt instead of WrapTM (41 states exceed the 26-letter standard format; the bbchallenge viewer link rendered the machine wrongly) Tag: Visual edit: Switched

7 November 2026

• 08:5308:53, 7 November 2026 diff hist +1,470 Cryptids No edit summary Tag: Visual edit: Switched

6 November 2026

• 18:4718:47, 6 November 2026 diff hist +263 Cryptids →Larger Cryptids: Erdős Ternary BB(15) and BB(14) machines verified in Lean (google-deepmind/cryptids PR 19)