INSERT 123456
INSERT 123457
INSERT 223456
INSERT 223457
COMPACT
FOLD
HAS 22
SUBTRIE 22
RETRIEVE
