systems tested: 20051; equality sum k = 6N'-2 attained in 7294 of them; systems with N' < N: 17155; minimum of (6N'-2) - sum k = 0
all exact checks (a)-(e) passed
