-1 Thanks to Erik the Outgolfer (pointing me to the real optimal string compressor)
...and, of course, to user202729 (for creating it)!
“¦[Þ⁷ƥ»J+4×ḤY
A full program which prints the output required.
Try it online!
How?
“¦[Þ⁷ƥ»J+4×ḤY - Main Link: no arguments
“¦[Þ⁷ƥ» - compressed string as a list of characters -> ['c','o','n','e','m','o','n']
- (...due to this being a leading constant this is now the argument too)
J - range of length -> [ 1, 2, 3, 4, 5, 6, 7]
4 - literal four
+ - add (vectorises) -> [ 5, 6, 7, 8, 9,10,11]
× - multiply by the argument -> ['ccccc','oooooo',...,'nnnnnnnnnnn']
Ḥ - multiply by 2 (vectorises) -> ['cccccccccc','oooooooooooo',...,'nnnnnnnnnnnnnnnnnnnnnn']
Y - join with newline characters
- implicit print
conemon
isrot10(seduced)
. \$\endgroup\$