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