* perfect , 0195 , 0197 , 0739 , 2005 , 2675 , 3647 , 4137 ,
5046 , 5048 ,
* soundness , 3647 ,
~~~~~~