i1 : maximalChains divisorPoset 30 o1 = {{1, 2, 6, 30}, {1, 2, 10, 30}, {1, 3, 6, 30}, {1, 3, 15, 30}, {1, 5, ------------------------------------------------------------------------ 10, 30}, {1, 5, 15, 30}} o1 : List