distinct attachments incl. empty: 15935; non-empty: 15934; SAFE attachments: 2062; SAFE patterns: 25985144 of 67108864; rule-vs-F2-Betti mismatches: 0
RESULT ALL EXPECTED VALUES REPRODUCED
