Repdigit/Palindrome checker
Benchmark models
Below are extra mealy models derived by flattening the register model for several different data ranges:
