commit 3-1 DIRECT
commit 3-2 LEXICAL
 commit 3-4 PERMUT_R
commit 3-5 PERMU_LR
commit 3-6 KSUBSET
commit 3-7 SETPART
commit 3-8 INTPART#
commit 3-9 INTPART