INSERT 123456
INSERT 123457
INSERT 223456
INSERT 223457
COMPACT
FOLD
HAS 12345
HAS 123456
SUBTRIE 12345
HAS 6
HAS 7
HAS 8
RETRIEVE