qyliang/CodeNanoFix huggingface dataset:
Buggy code:
sequence = ((1, 3, 5, 7, 8, 10, 12), (4, 6, 9, 11), (2))

x , y = map(int, input().split())
for s in sequence:
    if x in s and y in s:
        print('Yes')
        exit()
print('No')



Fixed code:
sequence = ((1, 3, 5, 7, 8, 10, 12), (4, 6, 9, 11), (2, ))

x , y = map(int, input().split())
for s in sequence:
    if x in s and y in s:
        print('Yes')
        exit()
print('No')
Buggy code:


import numpy as np
import fractions as fra



a[13]={0,3,1,3,2,3,2,3,3,2,3,2,3}

x,y=map(int,input().split())
if(a[x]==a[y]):
    print("Yes")
else:
    print("No")

Fixed code:


import numpy as np
import fractions as fra



a=[0,3,1,3,2,3,2,3,3,2,3,2,3]

x,y=map(int,input().split())
if(a[x]==a[y]):
    print("Yes")
else:
    print("No")
Buggy code:
x,y=map(int,input().split())
if x>y:
  x,y=y,x

A=[1,3,5,,7,8,10,12]
B=[4,6,9,11]

if x==2 or y==2:
  print('No')
elif (x in A and y in B):
  print('No')
else:
  print('Yes')


Fixed code:
x,y=map(int,input().split())
 
A=[1,3,5,7,8,10,12]
B=[4,6,9,11]
 
if x==2 or y==2:
  print('No')
elif (x in A and y in A) or (x in B and y in B):
  print('Yes')
else:
  print('No')
Buggy code:
# A - Grouping
a=['1','3','5','7','8','10','12']
b=['4','6','9','11']
x,y=list(map(int,input().split()))
if x in a and y in a:
    print("Yes")
elif x in b and y in b:
    print("Yes")
else:
    print("No")



Fixed code:
# A - Grouping
a=[1,3,5,7,8,10,12]
b=[4,6,9,11]
x,y=list(map(int,input().split()))
if x in a and y in a:
    print("Yes")
elif x in b and y in b:
    print("Yes")
else:
    print("No")
Buggy code:
a = [1,3,5,7,8,10,12]
b = [4,6,9,11]
x, y = map(int,input().split())
for i in a:
  if x == i:
    x = "a"
  if y == i:
    y == "a"
for i in b:
  if x == i:
    x = "b"
  if y == i:
    y == "b"
if x == y:
  print("Yes")
else:
  print("No")

Fixed code:
a = [1,3,5,7,8,10,12]
b = [4,6,9,11]
x, y = map(int,input().split())
for i in a:
  if x == i:
    x = "a"
  if y == i:
    y = "a"
for i in b:
  if x == i:
    x = "b"
  if y == i:
    y = "b"
if x == y:
  print("Yes")
else:
  print("No")
Buggy code:
import sys
import math
import itertools
import bisect
from copy import copy
from collections import deque,Counter
from decimal import Decimal
def s(): return input()
def i(): return int(input())
def S(): return input().split()
def I(): return map(int,input().split())
def L(): return list(input().split())
def l(): return list(map(int,input().split()))
def lcm(a,b): return a*b//math.gcd(a,b)
sys.setrecursionlimit(10 ** 9)
INF = 10**9
mod = 10**9+7

a = [1,3,5,7,8,10,12]
b = [4,6,9,11]
x,y = I()
if (x in a and y in a) or (x in b ans y in b) or x == y == 2:
    print('Yes')
else:
    print('No')

Fixed code:
import sys
import math
import itertools
import bisect
from copy import copy
from collections import deque,Counter
from decimal import Decimal
def s(): return input()
def i(): return int(input())
def S(): return input().split()
def I(): return map(int,input().split())
def L(): return list(input().split())
def l(): return list(map(int,input().split()))
def lcm(a,b): return a*b//math.gcd(a,b)
sys.setrecursionlimit(10 ** 9)
INF = 10**9
mod = 10**9+7

a = [1,3,5,7,8,10,12]
b = [4,6,9,11]
x,y = I()
if (x in a and y in a) or (x in b and y in b) or x == y == 2:
    print('Yes')
else:
    print('No')
Buggy code:
a = {1, 3, 5, 7, 8, 10, 12}
b = {4, 6, 9, 11}
c = {2}
x, y = map(int, input().split())

for i in a, b, c:
    if x in i:
        if y in i:
            print('Yes')
print('No')


Fixed code:
a = {1, 3, 5, 7, 8, 10, 12}
b = {4, 6, 9, 11}
c = {2}
x, y = map(int, input().split())

for i in a, b, c:
    if x in i and y in i:
        print('Yes')
        quit()
print('No')
Buggy code:
x,y = (int(i) for i in input().split())
if x == 1 or x == 3 or  x == 5 or  x == 7 or  x == 8 or  x == 10 or  x == 12:
  x = 1
elif x == 2:
  x = 2
else:
  x = 4
if y == 1 or y == 3 or  y== 5 or  y== 7 or  y== 8 or  y== 10 or  y == 12:
  x = 1
elif y == 2:
  y = 2
else:
  y = 4
  
if x == y:
  print('Yes')
else:
  print('No')

Fixed code:
x,y = (int(i) for i in input().split())
if x == 1 or x == 3 or  x == 5 or  x == 7 or  x == 8 or  x == 10 or  x == 12:
  x = 1
elif x == 2:
  x = 2
else:
  x = 4
if y == 1 or y == 3 or  y== 5 or  y== 7 or  y== 8 or  y== 10 or  y == 12:
  y = 1
elif y == 2:
  y = 2
else:
  y = 4
  
if x == y:
  print('Yes')
else:
  print('No')
Buggy code:
x,y=map(int,input().split())
group_A=[1,3,5,7,8,10,12]
group_B=[4,6,9,11]
if x in group_A = True and y in group_A =True:
  print("Yes")
elif x in group_B = True and y in group_B =True:
  print("Yes")
else:
  print("No")
  

Fixed code:
x,y=map(int,input().split())
group_A=[1,3,5,7,8,10,12]
group_B=[4,6,9,11]
if x in group_A and y in group_A :
  print("Yes")
elif x in group_B and y in group_B :
  print("Yes")
else:
  print("No")
Buggy code:
L=[1,0,1,2,1,2,1,1,2,1,2,1]
a,b=map(int,input().split())
if L[a]==L[b]:
  print("Yes")
else:
  print("No")

Fixed code:
L=[1,0,1,2,1,2,1,1,2,1,2,1]
a,b=map(int,input().split())
if L[a-1]==L[b-1]:
  print("Yes")
else:
  print("No")
Buggy code:
x, y = map(int, input().split())
l = [1, 3, 5, 7, 8, 10, ,12]
m = [4, 6, 9, 11]
n = [2]
if l.count(x) == l.count(y) != 0 or m.count(x) == m.count(y) != 0 or x == y == 2:
    print("Yes")
else:
    print("No")

Fixed code:
x, y = map(int, input().split())
l = [1, 3, 5, 7, 8, 10, 12]
m = [4, 6, 9, 11]
n = [2]
if l.count(x) == l.count(y) != 0 or m.count(x) == m.count(y) != 0 or x == y == 2:
    print("Yes")
else:
    print("No")
Buggy code:
lis_1=[1,3,5,7,8,10,12]
lis_2=[4,6,9,11]
lis_3=[2]
x,y=map(int,input().split())
if (x,y) in (lis_1 or lis_2 or lis_3):
    print("Yes")
else:
    print("No")

Fixed code:
lis_1=[1,3,5,7,8,10,12]
lis_2=[4,6,9,11]
lis_3=[2]
x,y=map(int,input().split())
print("Yes" if (x in lis_1 and y in lis_1) else "Yes" if (x in lis_2 and y in lis_2) else "Yes" if (x in lis_3 and y in lis_3) else "No")
Buggy code:
x,y=map(int,input().split());a=[4,6,9,11];b=[1,3,5,7,8,10,12];print(['No','Yes'][x in a and y in a+x in b and y in b])

Fixed code:
x,y=map(int,input().split());a=[4,6,9,11];b=[1,3,5,7,8,10,12];print(['No','Yes'][int(x in a)*(y in a)+ int(x in b)*(y in b)])
Buggy code:
a,b=[str(i) for i in input().split()]
list1=["1","3","5","7","8","10","12"]
list2=["4","6","9","11"]
if a,b in list1 or a,b in list2:
  print('Yes')
else:
  print('No')

Fixed code:
a,b=[str(i) for i in input().split()]
list1=["1","3","5","7","8","10","12"]
list2=["4","6","9","11"]
if a in list1 and b in list1:
  print('Yes')
elif a in list2 and b in list2:
  print('Yes')
else:
  print('No')
Buggy code:
d=[0,1,2,1,2,1,2,1,1,2,1,2,1]
a,b=map(int,input().split())
if d[a]==d[b]:
  print("Yes")
else:
  print("No")

Fixed code:
d=[0,0,1,0,2,0,2,0,0,2,0,2,0]
a,b=map(int,input().split())
if d[a]==d[b]:
  print("Yes")
else:
  print("No")
Buggy code:
listA = [1, 3, 5, 7, 8, 10, 12]
listB = [4, 6, 9, 11]
listC = [2]
a = {}
b = {}
c = {}

N = [int(i) for i in input().split()]

for i in range(2):
	a[i] = N[i] in listA
	b[i] = N[i] in listB
	c[i] = N[i] in listC


if a[0] == True and a[1] == True:
	print ("yes")
elif b[0] == True and b[1] == True:
	print ("yes")
elif c[0] == True and c[1] == True:
	print ("yes")
else:
	print ("no")


Fixed code:
listA = [1, 3, 5, 7, 8, 10, 12]
listB = [4, 6, 9, 11]
listC = [2]
a = {}
b = {}
c = {}

N = [int(i) for i in input().split()]

for i in range(2):
	a[i] = N[i] in listA
	b[i] = N[i] in listB
	c[i] = N[i] in listC


if a[0] == True and a[1] == True:
	print ("Yes")
elif b[0] == True and b[1] == True:
	print ("Yes")
elif c[0] == True and c[1] == True:
	print ("Yes")
else:
	print ("No")
Buggy code:
A,B=map(int,input().split())
A={1,3,5,7,8,10,12}
B={4,6,9,11}
print("Yes" if {x,y} <= A or {x,y} <= B else "No")

Fixed code:
x,y = map(int, input().split())
A = {1, 3, 5, 7, 8, 10, 12}
B = {4, 6, 9, 11}
print("Yes" if {x, y} <= A or {x, y} <= B else "No")
Buggy code:
x, y = map(int, input().split())
group_1 = (1,2,5,7,8,10,12)
group_2 = (4,7,9,11)
group_3 = (2,)
if x in group_1 and y in group_1:
    print('Yes')
elif x in group_2 and y in group_2:
    print('Yes')
elif x in group_3 and y in group_3:
    print('Yes')
else:
    print('No')

Fixed code:
x, y = map(int, input().split())
group_1 = (1,3,5,7,8,10,12)
group_2 = (4,6,9,11)
group_3 = (2,)
if x in group_1 and y in group_1:
    print('Yes')
elif x in group_2 and y in group_2:
    print('Yes')
elif x in group_3 and y in group_3:
    print('Yes')
else:
    print('No')
Buggy code:
x, y = map(int, input().split())


def group(v):
    if v in [1, 3, 5, 7, 8, 10, 12]:
        return 1
    else:
        return 2


if group(x) == group(y):
    print("Yes")
else:
    print("No")


Fixed code:
x, y = map(int, input().split())


def group(v):
    if v in [1, 3, 5, 7, 8, 10, 12]:
        return 1
    elif v == 2:
        return 2
    else:
        return 3


if group(x) == group(y):
    print("Yes")
else:
    print("No")
Buggy code:
def ii():return int(input())
def iim():return map(int,input().split())
def iil():return list(map(int,input().split()))
def ism():return map(str,input().split())
def isl():return list(map(str,input().split()))

l1 = [1,3,5,7,8,10,12]
l2 = [4,6,9,11]
x,y = iim()

if (x in l1 and y in l2) or (x in l2 and y in l2):
    print('Yes')
else:
    print('No')

Fixed code:
def ii():return int(input())
def iim():return map(int,input().split())
def iil():return list(map(int,input().split()))
def ism():return map(str,input().split())
def isl():return list(map(str,input().split()))

l1 = [1,3,5,7,8,10,12]
l2 = [4,6,9,11]
x,y = iim()

if (x in l1 and y in l1) or (x in l2 and y in l2):
    print('Yes')
else:
    print('No')
Buggy code:
x, y = map(int, input().split())
setA = []
setA.append({1, 3, 5, 7, 8, 10, 12})
setA.append({4, 6, 9, 11})
setA.append({2})

for s in setA:
  if x in setA and y in setA:
    print("Yes")
    exit()
print("No")

Fixed code:
x, y = map(int, input().split())
setA = []
setA.append({1, 3, 5, 7, 8, 10, 12})
setA.append({4, 6, 9, 11})
setA.append({2})
 
for s in setA:
  if x in s and y in s:
    print("Yes")
    exit()
print("No")
Buggy code:
print(['No','Yex'][(lambda a,b:a[b[0]-1]==a[b[1]-1])([0,2,0,1,0,1,0,0,1,0,1,0],list(map(int,input().split())))])

Fixed code:
print(['No','Yes'][(lambda a,b:a[b[0]-1]==a[b[1]-1])([0,2,0,1,0,1,0,0,1,0,1,0],list(map(int,input().split())))])
Buggy code:
x, y = map(int, input().split())
a = [1, 3, 5, 7, 8, 10, 12]
b = [4, 6, 9, 11]
c = [2]
if x in a and y in b:
  print('Yes')
elif x in b and y in b:
  print('Yes')
elif x in c and y in c:
  print('Yes')
else:
  print('No')

Fixed code:
a,b = map(int, input().split())
if a == 2 or b == 2:
	"No"
    
x=[4,6,9,11]
y=[1,3,5,7,8,10,12]
print("Yes" if (a in x and b in x) or (a in y and b in y) else "No")
Buggy code:
g1 = [1, 3, 5, 7, 8, 10, 12]
g2 = [4, 6, 9, 11]
x, y = map(int, input().split())
print('Yes' if x and y in g1 or x and y in g2 else 'No')

Fixed code:
g1 = [1, 3, 5, 7, 8, 10, 12]
g2 = [4, 6, 9, 11]
x, y = map(int, input().split())
print('Yes' if x in g1 and y in g1 or x in g2 and y in g2 else 'No')
Buggy code:
x,y=map(int,input().split())
a = [1,3,5,7,8,10,12]
b = [4,6,9,11]
c = [2]
if x,y in a:
  print("Yes")
elif x,y in b:
  print("Yes")
elif x,y in c:
  print("Yes")
else:
  print("No")

Fixed code:
x,y=map(int,input().split())
a = [1,3,5,7,8,10,12]
b = [4,6,9,11]
c = [2]
if x in a and y in a:
  print("Yes")
elif x in b and y in b:
  print("Yes")
elif x in c and y in c:
  print("Yes")
else:
  print("No")
Buggy code:
a=[1,3,5,7,8,10,12]
b=[4,6,9,11]
c=map(int,input().split(" "))
print("Yes") if (c[0] in a and c[1] in a) or (c[0] in b and c[1] in b) else print("No")

Fixed code:
a=[1,3,5,7,8,10,12]
b=[4,6,9,11]
c=list(map(int,input().split(" ")))
print("Yes") if (c[0] in a and c[1] in a) or (c[0] in b and c[1] in b) else print("No")
Buggy code:
L = [[1, 3, 5, 7, 8, 10, 12],[4, 6, 9, 11],[2]]
x, y = map(int,input().split())
ans = True
for i in range(len(L)):
  if x in L[i] and y in L[i]:
    ans = True
if ans:
  print("Yes")
else:
  print("No")

Fixed code:
L = [[1, 3, 5, 7, 8, 10, 12],[4, 6, 9, 11],[2]]
x, y = map(int,input().split())
ans = False
for i in range(len(L)):
  if x in L[i] and y in L[i]:
    ans = True
if ans:
  print("Yes")
else:
  print("No")
Buggy code:
x,y = map(int,input().split())
g1 = [1,3,5,7,8,10,12]
g2 = [4,6,9,11]
g3 = [2]
print('Yes') if (x and y) in g1 or (x and y) in g2 or (x and y) in g3 print('No')

Fixed code:
x,y = map(int,input().split())
g1 = [1,3,5,7,8,10,12]
g2 = [4,6,9,11]
g3 = [2]
print('Yes') if (x in g1 and y in g1) or (x in g2 and y in g2) or (x in g3 and y in g3) else print('No')
Buggy code:
x, y = map(int, input().split())
listi = [x, y]
list1 = [1, 3, 5, 7, 8, 10, 12]
list2 = [4, 6, 9, 11]
list3 = [2]

for i in listi:
    list1.append(i)
    list2.append(i)
    list3.append(i)

if len(set(list1)) == len(list1) or len(set(list2)) == len(list2) or len(set(list3)) == len(list3):
    print("Yes")
else:
    print("No")

Fixed code:

x, y = map(int, input().split())
listi = [x, y]
list1 = [1, 3, 5, 7, 8, 10, 12]
list2 = [4, 6, 9, 11]
list3 = [2]

for i in listi:
    list1.append(i)
    list2.append(i)
    list3.append(i)

if len(set(list1)) == len(list1)-2 or len(set(list2)) == len(list2)-2 or len(set(list3)) == len(list3)-2:
    print("Yes")
else:
    print("No")
Buggy code:
x,y = map(int,input().split())
g1 = [1,3,5,7,8,10,12]
g2 = [4,6,9,11]
g3 = [2]
print('Yes') if (x and y) in g1 or (x and y) in g2 or (x and y) in g3 else print('No')

Fixed code:
x, y = map(int, input().split())

g1 = [1, 3, 5, 7, 8, 10, 12]
g2 = [4, 6, 9, 11]
g3 = [2]

# if (x in g1 and y and g1) or (x in g2 and y in g2) or (x in g3 and y in g3):
#     print("Yes")
# else:
#     print("No")


if x in g1 and y in g1:
    print("Yes")
elif x in g2 and y in g2:
    print("Yes")
else:
    print("No")
Buggy code:
N = list(map(int,input().split()))

group = [[1,3,5,7,8,10,12],[4,6,9,11],[2]]

yes=False
for i in group:
    if N[0] in i and N[1] in i:
        print("YES")
        yes=True
        
if not yes:print("NO")

Fixed code:
N = list(map(int,input().split()))

group = [[1,3,5,7,8,10,12],[4,6,9,11],[2]]

yes=False
for i in group:
    if N[0] in i and N[1] in i:
        print("Yes")
        yes=True
        
if not yes:print("No")
Buggy code:
a={1,3,5,7,8,10,12}
b={4,6,9,11}
c={2}
xy=map(set,input().split())
if xy.issubset(a) or xy.issubset(b) or xy.issubset(c):
  print("No")
else:
  print("Yes")

Fixed code:
a={1,3,5,7,8,10,12}
b={4,6,9,11}
c={2}
xy=set(map(int,input().split()))
if xy.issubset(a) or xy.issubset(b) or xy.issubset(c):
  print("Yes")
else:
  print("No")
Buggy code:
x,y = map(int,input().split())
A = (2)
B = (4,6,9,11)
C = (1,3,5,7,8,10,12)
if x in A and y in B:
  print("Yes")
else if x in B and y in B:
  print("Yes")
else if x in C and y in C:
  print("Yes")
else:
  print("No")

Fixed code:
x,y = map(int,input().split())

B = (4,6,9,11)
C = (1,3,5,7,8,10,12)
if x==y==2:
  print("Yes")
elif x in B and y in B:
  print("Yes")
elif x in C and y in C:
  print("Yes")
else:
  print("No")
Buggy code:
x, y = map(int, input().split())
a = [1, 3, 5, 7, 8, 10, 12]
b = [4, 6, 9, 11]
c = [2]
if (x in a and y in a) or (x in b and y in b) or (x in c in y in c):
    print('Yes')
else:
    print('No')


Fixed code:
x, y = map(int, input().split())
a = [1, 3, 5, 7, 8, 10, 12]
b = [4, 6, 9, 11]
c = [2]
if (x in a and y in a) or (x in b and y in b) or (x in c and y in c):
    print('Yes')
else:
    print('No')
Buggy code:
f_1 = {1,3,5,7,8,10,12}
f_2 = {4,6,9,11}

x, y = map(int, input().split())
if (x in f_1) and (y in f_2):
  print("Yes")
elif (x in f_2) and (y in f_2):
  print("Yes")
else:
  print("No")

Fixed code:
f_1 = {1,3,5,7,8,10,12}
f_2 = {4,6,9,11}
 
x, y = map(int, input().split())
if (x in f_1) and (y in f_1):
  print("Yes")
elif (x in f_2) and (y in f_2):
  print("Yes")
else:
  print("No")
Buggy code:
# -*- coding: utf-8 -*-

x,y=[int(i) for i in input().rstrip().split()]

g1={1,3,5,7,8,10,12}
g2={4,6,9,11}
g3={2}

for G in [g1,g2,g3] :
  if all( n in G for n in [x,y] ):
    print("YES")
    break
else:
  print("NO")

Fixed code:
# -*- coding: utf-8 -*-

x,y=[int(i) for i in input().rstrip().split()]

g1={1,3,5,7,8,10,12}
g2={4,6,9,11}
g3={2}

for G in [g1,g2,g3] :
  if all( n in G for n in [x,y] ):
    print("Yes")
    break
else:
  print("No")
Buggy code:
x,y=map(int,input().split())
a=[1,3,5,7,8,10,12]
b=[4,6,9,11]
c=[2]
d=[a,b,c]
for i in d:
    if x in d[i] and y in d[i]:
        print('Yes')
        exit()
print('No')

Fixed code:
x,y=map(int,input().split())
a=[1,3,5,7,8,10,12]
b=[4,6,9,11]
c=[2]
d=[a,b,c]
for i in d:
    if x in i and y in i:
        print('Yes')
        exit()
print('No')
Buggy code:
x,y=map(int,input().split())
a=[1,3,5,7,8,10,12]
b=[4,6,9,11]
c=[2]
if x,y in a or x,y in b or x,y in c:
    print('Yes')
else:
    print('No')

Fixed code:
x,y = map(int,input().split())
a = [1,3,5,7,8,10,12]
b = [4,6,9,11]
if (x in a and y in a) or (x in b and y in b):
	print('Yes')
else:
	print('No')
Buggy code:
#!/bin/python3

import sys

G1 = [1, 3, 5, 7, 8, 10, 12]
G2 = [4, 6, 9, 11]

x,y = input().strip().split(' ')
x,y = [int(x),int(y)]

if x in G1 and y in G1:
    print("yes")
elif x in G2 and y in G2:
    print("yes")
else:
    print("no")


Fixed code:
#!/bin/python3
 
import sys
 
G1 = [1, 3, 5, 7, 8, 10, 12]
G2 = [4, 6, 9, 11]
 
x,y = input().strip().split(' ')
x,y = [int(x),int(y)]
 
if x in G1 and y in G1:
    print("Yes")
elif x in G2 and y in G2:
    print("Yes")
else:
    print("No")
Buggy code:
import sys
input = sys.stdin.readline
x, y = [int(x) for x in input().split()]
A = [1, 3, 5, 7, 8, 10, 12]
B = [4, 6, 9, 11]
C = [2]
x, y = [int(x) for x in input().split()]
for i in [A, B, C]:
    if x in i and y in i:
        print("Yes")
        sys.exit()
print("No")

Fixed code:
import sys
input = sys.stdin.readline
x, y = [int(x) for x in input().split()]
A = [1, 3, 5, 7, 8, 10, 12]
B = [4, 6, 9, 11]
C = [2]
for i in [A, B, C]:
    if x in i and y in i:
        print("Yes")
        sys.exit()
print("No")
Buggy code:
x, y = map(int, input().split())
if x in [1, 3, 5, 7, 8, 10, 12] and y in [1, 3, 5, 7, 8, 10, 12]:
    print('Yes')
elif x in [4, 6, 9, 11] and y in [4, 6, 9, 11]:
    print('Yes')
elif x == y == 2:
    print('Yes')
else:
    print('NO')


Fixed code:
x, y = map(int, input().split())
if x in [1, 3, 5, 7, 8, 10, 12] and y in [1, 3, 5, 7, 8, 10, 12]:
    print('Yes')
elif x in [4, 6, 9, 11] and y in [4, 6, 9, 11]:
    print('Yes')
elif x == y == 2:
    print('Yes')
else:
    print('No')
Buggy code:
x,y = map(int, input().split())
A = [1,3,5,7,8,10,12]
B = [4,6,9,11]

if x in A == y in A:
    print("Yes")
elif x in B == y in B:
    print("Yes")
else:
    print("No")

Fixed code:
x,y = map(int, input().split())
A = [1,3,5,7,8,10,12]
B = [4,6,9,11]

if (x in A) and (y in A):
    print("Yes")
elif (x in B) and (y in B):
    print("Yes")
else:
    print("No")
Buggy code:
x,y=[int(i) for in input().split()]
a=[[1,3,5,7,8,10,12],[4,6,9,11]]
ans="No"
for i in [0,1]:
  if a[i].count(x) and a[i].count(y):
    ans="Yes"
print(ans)

Fixed code:
x,y=[int(i) for i in input().split()]
a=[[1,3,5,7,8,10,12],[4,6,9,11]]
ans="No"
for i in [0,1]:
  if a[i].count(x) and a[i].count(y):
    ans="Yes"
print(ans)
Buggy code:
a = [1, 3, 5, 7, 8, 10, 12]
b = [4, 6, 9, 11]
c = [2]

x = int(input("x = "))
y = int(input("y = "))

if x in a and y in a or  x in b and y in b or x in c and y in c:
    print("Yes")
else:
    print("No")

Fixed code:
a = [1, 3, 5, 7, 8, 10, 12]
b = [4, 6, 9, 11]
c = [2]
x,y = map(int,input().split())
if (x in a and y in a) or (x in b and y in b) or (x in c and y in c) :
    print('Yes')
else :
    print('No')
Buggy code:
x = list(map(int,input().split()))
A_list[1,3,5,7,8,10,12]
B_list[4,6,9,11]
C_list[2]
if i[0] in A_list and i[1] in A_list:
  print("Yes")
if i[0] in B_list and i[1] in B_list:
  print("Yes")
if i[0] in C_list and i[1] in C_list:
  print("Yes")
else:
  print("No")

Fixed code:
i = list(map(int, input().split()))
 
A_list = [1, 3, 5, 7, 8, 10, 12]
B_list = [4, 6, 9, 11]
C_list = [2]
 
if i[0] in A_list and i[1] in A_list:
    print("Yes")
elif i[0] in B_list and i[1] in B_list:
    print("Yes")
elif i[0] in C_list and i[1] in C_list:
    print("Yes")
else:
    print("No")
Buggy code:
x,y=map(int,input().split())
g1=[1,3,5,7,8,10,12]
g2=[4,6,9,11]
if (((x in g1) and (y in g1)) or ((x in g2) and (y in g2)))
    print('Yes')
else:
    print('No')

Fixed code:
x,y=map(int,input().split())
g1=[1,3,5,7,8,10,12]
g2=[4,6,9,11]
if (((x in g1) and (y in g1)) or ((x in g2) and (y in g2))):
    print('Yes')
else:
    print('No')
Buggy code:
s = [[1, 3, 5, 7, 8, 10, 12][4, 6, 9, 11][2]]
x, y = map(int, input().split())
for i in range(3):
  if x in s[i] and y in s[i]:
    print("Yes")
    exit()
print("No")

Fixed code:
s = [[1, 3, 5, 7, 8, 10, 12],[4, 6, 9, 11],[2]]
x, y = map(int, input().split())
for i in range(3):
  if x in s[i] and y in s[i]:
    print("Yes")
    exit()
print("No")
Buggy code:
a = [1, 3, 5, 7, 8, 10, 12]
b = [4, 6, 9, 11]
c = [2]

x, y = map(int, input().split())

if (x in a and y in a) or (x in b and y in b) or (x in c and y in c):
    print(Yes)
else:
    print(No)  

Fixed code:
a = [1, 3, 5, 7, 8, 10, 12]
b = [4, 6, 9, 11]
c = [2]

x, y = map(int, input().split())

if (x in a and y in a) or (x in b and y in b) or (x in c and y in c):
    print('Yes')
else:
    print('No')
Buggy code:
a = [1,3,5,7,8,10,12]
b = [4,6,9,11]
x,y = map(int, input().split())
if (x in a and b in a) or (x in b and y in b):
  print("Yes")
else:
  print("No")

Fixed code:
a = [1,3,5,7,8,10,12]
b = [4,6,9,11]
x,y = map(int, input().split())
if (x in a and y in a) or (x in b and y in b):
  print("Yes")
else:
  print("No")
Buggy code:
a,b=map(int,input().split()
if a==2 or b==2:
  print('No')
list=[4,6,9,11]
elif a in list and b in list:
  print('Yes')
elif a not in list and b not in list:
  print('Yes')
else:
  print('No')

Fixed code:
a,b=map(int,input().split())
list=[4,6,9,11]
if a==2 or b==2:
  print('No')
elif a in list and b in list:
  print('Yes')
elif a not in list and b not in list:
  print('Yes')
else:
  print('No')
Buggy code:
def judge(x):
  if x==4 or x==6 or x==9 or x==11:
    y = a
  elif x==12:
    y = b
  else:
    y = c
  return y

a,b = map(int,input().split())
if judge(a) == judge(b) :
  print('Yes')
else:
  print('No')

Fixed code:
def judge(x):
  if x==4 or x==6 or x==9 or x==11:
    y = 'a'
  elif x==2:
    y = 'b'
  else:
    y = 'c'
  return y
 
a,b = map(int,input().split())
if judge(a) == judge(b) :
  print('Yes')
else:
  print('No')
Buggy code:
a = [1, 3, 5, 7, 8, 10, 12]
b = [4, 6, 9, 11]
c = [2]
x, y = map(int, input().split())
print("Yes" if x in a == y in a and x in b == y in b and x in c == y in c else "No")

Fixed code:
x, y = map(int, input().split())
a = [1, 3, 5, 7, 8, 10, 12]
b = [4, 6, 9, 11]
c = [2]

if x in a and  y in a or x in b and  y in b or x in c and  y in c:
  print('Yes')
else:
  print('No')
Buggy code:
x,y = map(int,input())
a = [1, 3, 5, 7, 8, 10, 12]
b = [4, 6, 9, 11]
c = [2]

if x in a and y in a:
    print("Yes")
if x in b and y in b:
    print("Yes")
if x in c and y in c:
    print("Yes")
else:
    print("No")

Fixed code:
x,y = map(int,input().split())
a = [1, 3, 5, 7, 8, 10, 12]
b = [4, 6, 9, 11]
c = [2]

if x in a and y in a:
    print("Yes")
    exit()
if x in b and y in b:
    print("Yes")
    exit()
if x in c and y in c:
    print("Yes")
    exit()
else:
    print("No")
Buggy code:
x,y = map(int,input().split())
a = [1, 3, 5, 7, 8, 10, 12]
b = [4, 6, 9, 11]
c = [2]

if x in a and y in a:
    print("Yes")
if x in b and y in b:
    print("Yes")
if x in c and y in c:
    print("Yes")
else:
    print("No")

Fixed code:
x,y=map(int,input().split())
a=[1,3,5,7,8,10,12]
b=[4,6,9,11]
if x in a and y in a :
    print("Yes")
elif x in b and y in b :
    print("Yes")
else :
    print("No")
Buggy code:
x,y=map(int,input().split())
a=[1,3,5,7,8,10,12]
b=[4,6,9,11]
c=[2]
if (x in a and x in a) or (x in b and x in b) or (x in c and x in c):
    print('Yes')
else:
    print('No')

Fixed code:
a=[1,3,5,7,8,10,12]
b=[4,6,9,11]
x,y=map(int,input().split())
if x in a and y in a or x in b and y in b:print("Yes")
else:print("No")