<
0 <
01 <
012 <
0123 <
01234 <
012345 <
0123456 <
01234567 <
012345670 <
0123456701 <
01234567012 <
012345670123 <
0123456701234 <