"Source: Text/Incidence/Tableau.text";
"Line: 433";
"Date: Thu Sep 20 23:00:01 2018";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Incidence/Tableau.text, line: 433
// Example: H154E5 ()
print "Example: H154E5";
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);
