INSERT 123456
INSERT 21
INSERT 22
INSERT 231
FOLD
COMPACT
FOLD
HAS 123456
HAS 1234567
HAS 231
HAS 232
HAS 24
HAS 23

