"Source: Text/Incidence/Tableau.text";
"Line: 442";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Tableau.text, line: 442
// Example: H158E5 ()
print "Example: H158E5";
ei := GetEchoInput();
SetEchoInput(true);
O := OrderedIntegerMonoid();
w := O ! [1,3,4,2,3,4,1,2,2,3,3,2];
MaximalIncreasingSequence(w);
MaximalIncreasingSequences(w,2);
MaximalIncreasingSequences(w,3);
MaximalIncreasingSequences(w,4);
SetEchoInput(ei);
