* fill , 0378 , 0466 , 1072 , 2767 , 4137 , 4138 , 5526 ,
* filled , 1072 , 1705 , 2767 , 4130 , 4137 , 4138 , 5055 , 5526
,
* full , 1072 , 1073 , 2880 , 3324 , 3325 , 4134 , 4135 , 4136 ,
4137 , 4138 , 5046 , 5460 , 5526 ,
* satisfy , 5526 ,
~~~~~~