* put , 0115 , 0142 , 0337 , 0363 , 0506 , 0520 , 0554 , 0595 ,
0615 , 0630 , 0654 , 0659 , 0683 , 0863 , 0906 , 1096 , 1252 ,
1325 , 1544 , 1614 , 1677 , 1688 , 1746 , 1749 , 1808 , 2007 ,
2289 , 2673 , 3089 , 3856 , 3860 , 3908 , 3982 , 4016 , 4060 ,
4160 , 4374 , 5087 , 5279 , 5293 , 5294 , 5392 , 5562 ,
~~~~~~