if (constraints[k][event1][event2] == '1') {
                if (trivial == '0') return '?';
                trivial = '1';
            }