* less , 0253 , 0820 , 1640 , 1647 , 2276 , 3398 ,
* under , 0332 , 0506 , 1640 , 1722 , 1772 , 1909 , 2662 , 2709 ,
2736 , 5259 , 5270 , 5273 , 5284 , 5293 , 5295 , 5299 ,
* worse , 1640 , 2276 , 5302 , 5501 ,
~~~~~~