% b_5_5_3

:- declare(5, 5).