aflati card B B={x € N*|x <_ 1957