# rank1: principal, non-subst (size or size-1)
# rank2: principal, t subst (must be size-1)
# rank3: augmented, non-subst (size or size-1)
# rank4: augmented, t subst (size or size-1)
# rank5: augmented, t subst + u subst (size or size-1)
# 1: any value
# 2: equal to
# 3: different to
# 4: none

code=$[$size-$rank1]$[$size-$rank2]$[$size-$rank3]$[$size-$rank4]$[$size-$rank5]
#list: tuniq,tnone,tmany,uuniq,unone,umany
c00000=144144
c01000=324114
c01001=322132
c01011=342141
c11000=414414
c11001=411432
c11011=432411
c11111=441441
code=$(c$code)
!if $code=$empty
 error=internal
 !exit
!endif

tuniq=!char 1 of $code
tnone=!char 2 of $code
tmany=!char 3 of $code
uuniq=!char 4 of $code
unone=!char 5 of $code
umany=!char 6 of $code

