file: cert_ABB_3D.json
patterns evaluated in exact fractions: 1694 (39 hyperplane windows, their 1053 neighbours, 600 random, all-0, all-1)
values that differ from the C program: 0
value at the 39 hyperplane windows: 6 (all)
largest value among the other evaluated patterns: 271253/45360  = 6 - 907/45360
value at the empty pattern: 0  at the full pattern: 0
sum over all 2^27 patterns of (54*Qden - V): exact 4821787984527360  reported by r2_check3d 4821787984527360  equal: True
RESULT PASS
