atcoderABC147のC問題ビット全探索が解けない

Question

前提・実現したいこと

atcoderABC147のC問題のコードがどこが間違っているのかわかりません。
https://atcoder.jp/contests/abc147/tasks/abc147_c

発生している問題・エラーメッセージ

どのサンプルを入力してもゼロが出力されます。

該当のソースコード

n = int(input())
A = []
L = []

for i in range(n):
  a = int(input())
  A.append(a)
  l = []
  for j in range(a):
    l.append(list(map(int, input().split())))
  L.append(l)
     
result = [0]
for i in range(2**n):
  lst = [0]*n
  flug = True
  for j in range(n):
    if (i>>j) & 1:
      lst[j] = 1
  for k in range(n):
    syogensu = A[k]
    for l in range(syogensu):
      if not flug:
        continue
      idx = L[k][l][0]
      Bool = L[k][l][1]
      
      if lst[idx-1] != Bool:
        flug = False
        
  if flug:
    result.append(sum(lst))
      
print(max(result))

試したこと

①２のｎ乗個の数を２進数であらわしてリストにする。
②証言数を取得して、証言者ごとに、ある２進数のパターンが成立するか判定する。
③全証言者の発言に矛盾が生じなかったら、結果リスト内に正直者の数を追加する。
を繰り返し行っているのですが、うまくいきません。
全部出力がゼロになります。

補足情報（FW/ツールのバージョンなど）

ここにより詳細な情報を記載してください。

Answer 1

不親切な人の証言は無視しても構いません。
正直者の証言だけ矛盾していないか確認すればありうるかどうかわかります。

Comments

[nk1]

不親切な人は嘘つきではないのですね！解決しました！ありがとうございます！