qyliang/CodeNanoFix huggingface dataset:
Buggy code:
a, b, c, = map(int(input().split()))
h = [5, 5, 7]
b = [a, b, c]

if sorted(h) == sorted(b):
    print("YES")
else:
    print("NO")


Fixed code:
a, b, c, = map(int, input().split())
h = [5, 5, 7]
b = [a, b, c]

if sorted(h) == sorted(b):
    print("YES")
else:
    print("NO")
Buggy code:
n=input().split()
if a.count("5")==2 and a.count("7")==1:
   print("YES")
else:
   print("NO")

Fixed code:
a=input().split()
if a.count("5")==2 and a.count("7")==1:
   print("YES")
else:
   print("NO")
Buggy code:
a=list(map(int,input().split()))
     
    if a.count("5")==2 and a.count("7")==1:
      print("YES")
    else:
      print("NO")

Fixed code:
a = list(map(int, input().split()))
print("YES" if a.count(5)==2 and a.count(7)==1 else "NO")
Buggy code:
import sys
input_line  = sys.stdin.readline()
arr = input_line.rstrip().split(" ")
print(arr)

count5 = 0
count7 = 0

for i in arr:
    if int(i) == 5:
        print(i)
        count5 += 1
    if int(i) == 7:
        print(i)
        count7 += 1

if count5 == 2 and count7 == 1:
    print("YES")
else:
    print("NO")

Fixed code:
import sys
input_line  = sys.stdin.readline()
arr = input_line.rstrip().split(" ")

count5 = 0
count7 = 0

for i in arr:
    if int(i) == 5:
        count5 += 1
    if int(i) == 7:
        count7 += 1

if count5 == 2 and count7 == 1:
    print("YES")
else:
    print("NO")
Buggy code:
a, b, c = map(int, input().split())
if a == c == 5 and b == 7:
    print('YES')
else:
    print('NO')

Fixed code:
a, b, c = map(int, input().split())
if (a==b == 5 and c ==7) or (a==c == 5 and b ==7) or (c== b == 5 and a ==7):
  print("YES")
else:
  print("NO")
Buggy code:
A,B,C=map(int,input().split())
if A*B*C == 5*5*7
    print('YES')
else:
    print('NO')

Fixed code:
A,B,C=map(int,input().split())
if A*B*C == 5*5*7:
    print('YES')
else:
    print('NO')
Buggy code:
a = list(map(int,input().split()))
num_5 = 0
num_7 = 0

for  i in a:
  if i=="5":
    num_5 = num_5+1
  if i=="7":
    num_7 = num_7+1

if num_5=2 and num_7=1:
  print "YES"
else:
  print "NO"

Fixed code:
a = list(map(int,input().split()))
num_5 = 0
num_7 = 0

for i in a:
  if i==5:
    num_5 = num_5+1
  if i==7:
    num_7 = num_7+1

if num_5==2 and num_7==1:
  print("YES")
else:
  print("NO")
Buggy code:
num  = [int(n)] for n in input().rstrip().split()]

if num.count(5) == 2 and num.count(7) == 1:
    print("YES")

else:
    print("NO")


Fixed code:
num  = [int(n) for n in input().rstrip().split()]

if num.count(5) == 2 and num.count(7) == 1:
    print("YES")

else:
    print("NO")
Buggy code:
a = map(int,input().split())
if sorted(a) == [5,5,7]:
    print("YES")
else:
    print("No")


Fixed code:
a = map(int,input().split())
if sorted(a) == [5,5,7]:
    print("YES")
else:
    print("NO")
Buggy code:
P = list(input().split())
if (P.count('5') == 2 and P.count('7') == 1):
  print('YES')
else:
  prit('NO')

Fixed code:
P = list(input().split())
if (P.count('5') == 2 and P.count('7') == 1):
  print('YES')
else:
  print('NO')
Buggy code:
L=input().split()
A,B,C=int(L[0]),int(L[1]),int(L[2])
X=set([5,7])
ans = []
for i in range(len(X)):
    ans.append([A,B,C].count(X[i]))
if ans == [2,1]:
  print("YES")
else:
  print("NO")


Fixed code:
L=input().split()
A,B,C=int(L[0]),int(L[1]),int(L[2])
X=[5,7]
ans = []
for i in range(len(X)):
    ans.append([A,B,C].count(X[i]))
if ans == [2,1]:
  print("YES")
else:
  print("NO")
Buggy code:
a, b, c = map(int, input().split())

if a == 5 and b == 5 and c == 7:
  print("YES")
elif a == 5 and b == 7 and c == 5:
  print("YES")  
elif a == 7 and b == 5 and c == 5:
  print("YES") 
else
  print("NO") 

Fixed code:
a, b, c = map(int, input().split())
 
if a == 5 and b == 5 and c == 7:
  print("YES")
elif a == 5 and b == 7 and c == 5:
  print("YES")  
elif a == 7 and b == 5 and c == 5:
  print("YES") 
else:
  print("NO")
Buggy code:
import sys

if sys.platform =='ios':
    sys.stdin=open('input_file.txt')
    
S=map(int,input().split())

s=sorted(S)

if s==5,5,7:
	print("YES")
else:
	print("NO")



Fixed code:
import sys

if sys.platform =='ios':
    sys.stdin=open('input_file.txt')
    
S=map(int,input().split())

s=sorted(S)

if s==[5,5,7]:
	print("YES")
else:
	print("NO")
Buggy code:
inp=input().split()
prod = int(inp[0]) * int(inp[1]) * int(inp[2])
resid1 = prod//5
resid2 = prod//7
if (prod == 175) & (resid1==0) & (resid2==0):
  print('YES')
else:
  print('NO')

Fixed code:
inp=input().split()
prod = int(inp[0]) * int(inp[1]) * int(inp[2])
#resid1 = prod//5
#resid2 = prod//7
if (prod == 175):
  print('YES')
else:
  print('NO')
Buggy code:
A = input().split()
print("YES" if A.count(5) == 2 and A.count(7) == 1 else "NO")

Fixed code:
A = input().split()
print("YES" if A.count("5") == 2 and A.count("7") == 1 else "NO")
Buggy code:
a,b,c = int(input(),input(),input()).split()
if(a + b + c)==17:
  print("YES")
else:
  print("NO")

Fixed code:
a,b,c = list(map(int,input().split()))
if(a + b + c)==17:
  print("YES")
else:
  print("NO")
Buggy code:
array = list(map(int, input().solit()))
array.sort()
if array == [5, 5, 7]:
  print('YES')
else:
  print('NO')

Fixed code:
array = list(map(int, input().split()))
array.sort()
if array == [5, 5, 7]:
  print('YES')
else:
  print('NO')
Buggy code:
x, y, z =  map(int, input().split())

if x + y + z = 17:
  print ("YES")
else:
  print ("NO")

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

if x + y + z == 17:
  print ("YES")
else:
  print ("NO")
Buggy code:
lis = list(input().split())
lis.sort()
if lis = [5,5,7]:
  print('YES')
else:
  print('NO')

Fixed code:
lis = list(map(int,input().split()))
lis.sort()
if lis == [5,5,7]:
  print('YES')
else:
  print('NO')
Buggy code:
A,B,C = (int(i) for i in input().split())

Aaddition = A+B+C
if Addition != 17:
  haiku = False
else:
  if((A==5 or A==7) and (B==5 or B==7) and (C==5 or C==7) ):
    haiku = True
  else:
    haiku = False
    
if haiku:
  print("YES")
else:
  print("NO")

Fixed code:
A,B,C = (int(i) for i in input().split())

Addition = A+B+C
if Addition != 17:
    haiku = False
else:
    if ((A==5 or A==7) and (B==5 or B==7) and (C==5 or C==7)):
        haiku = True
    else:
        haiku = False
    
if haiku:
    print("YES")
else:
    print("NO")
Buggy code:
import collections

abc = collections.Counter(input().split())

print(abc)

print('YES' if abc['5'] == 2 and abc['7'] == 1 else 'NO')


Fixed code:
import collections

abc = collections.Counter(input().split())

print('YES' if abc['5'] == 2 and abc['7'] == 1 else 'NO')
Buggy code:
ef main():
    HAIKU = [5, 7, 5]
    v = list(map(int, input().split()))
    return equal_list(v, HAIKU)


def equal_list(lst1, lst2):
    lst = lst1.copy()
    for element in lst2:
        try:
            lst.remove(element)
        except ValueError:
            break
    else:
        if not lst:
            return "YES"
    return "NO"


if __name__ == "__main__":
    print(main())


Fixed code:
def equal_list(lst1, lst2):
    lst = lst1.copy()
    for element in lst2:
        try:
            lst.remove(element)
        except ValueError:
            break
    else:
        if not lst:
            return "YES"
    return "NO"


HAIKU = [5, 7, 5]
v = list(map(int, input().split()))
print(equal_list(v, HAIKU))
Buggy code:
num_list = list(input().split())
if num_list.count(5)==2 and num_list.count(7)==1:
  print('YES')
else:
  print('NO')

Fixed code:
num_list = list(input().split())
if num_list.count("5")==2 and num_list.count("7")==1:
  print('YES')
else:
  print('NO')
Buggy code:
a, b, c = [int(3) for 3 in input().split() ]

mylist = [5, 7]

if ( a in mylist and b in mylist and c in mylist and a + b + c == 17 ):
    print("YES")
else:
    print("NO")

Fixed code:
N = 3

a, b, c = [int(N) for N in input().split() ]

d = 17

mylist = [5, 7]

if ( a in mylist and b in mylist and c in mylist and a + b + c == 17 ):
    print("YES")
else:
    print("NO")
Buggy code:
l = map(int, input().split())
l.sort()
print("YES" if l == [5, 5, 7] else "NO")

Fixed code:
l = map(int, input().split())
print("YES" if sorted(l) == [5, 5, 7] else "NO")
Buggy code:
A,B,C = [int(i) for i in input().split()]
list = [A,B,C]

for i in list:
  if i == 5:
    go += 1
  if i == 7:
    nana += 1

if go == 2 and nana == 1:
  print("YES")
else:
  print("NO")

Fixed code:
A,B,C = [int(i) for i in input().split()]
list = [A,B,C]
go = 0
nana = 0
for i in list:
  if i == 5:
    go += 1
  if i == 7:
    nana += 1

if go == 2 and nana == 1:
  print("YES")
else:
  print("NO")
Buggy code:
if list(map(int,input().split())).sort()==[5,5,7]:
  print("YES")
else:
  print("NO")

Fixed code:
listS = list(map(int, input().split()))
listS.sort()
if listS == [5, 5, 7]:
    print("YES")
else:
    print("NO")
Buggy code:
num = list(map(int,input().split()))
if num.count(5) == 2 and num.count(7) == 1:
  print ('YES')
else:
  print('NO)

Fixed code:
a=list(map(int,input().split()))
if a.count(5)==2 and a.count(7)==1:
    print("YES")
else:print("NO")
Buggy code:
def main():
    a, b, c = map(int, input().split())
    if sum(a, b, c) == 17:
        print('YES')
    else:
        print('NO')


if __name__ == "__main__":
    main()

Fixed code:

def main():
    a, b, c = map(int, input().split())
    if a + b + c == 17:
        print('YES')
    else:
        print('NO')


if __name__ == "__main__":
    main()
Buggy code:
List=[int(i) for i in input().split()]
if List.count(5) == 2 and List.cout(7) == 1:
  print("YES")
else:
  print("NO")

Fixed code:
List=[int(i) for i in input().split()]
if List.count(5) == 2 and List.count(7) == 1:
  print("YES")
else:
  print("NO")
Buggy code:
p = list(map(int, input().split()))
if p.count(7) == 2 and p.count(5) == 1:
  print("YES")
else:
  print("NO")

Fixed code:
a=list(map(int,input().split()))
if a.count(5)==2 and a.count(7)==1:
  print('YES')
else:
  print('NO')
Buggy code:
A,B,C = list(map(int,input().split()))
if sort([A,B,C]) == [5,5,7]:
  print("YES")
else:
  print("NO")

Fixed code:
A,B,C=map(int,input().split())
a=[A,B,C]
a.sort()
if a==[5,5,7]:
    print('YES')
else:
    print('NO')
Buggy code:
a  = list(map(int,input().split()))

if a[0] == 5 and a[2] == 5:
  if a[1] == 7:
    print("YES")
else:
  print("NO")

Fixed code:
a = list(map(int,input().split()))
a.sort()
if(a[0] == a[1] and a[0] == 5 and a[2] == 7): print("YES")
else: print("NO")
Buggy code:
l=list(map(int,input().split()))
if l.sort() =[5,5,7]:
  print("YES")
else:
  print("NO")


Fixed code:
li = list(map(int, input().split()))
li.sort()
if li == [5, 5, 7]:
  print("YES")
else:
  print("NO")
Buggy code:
l = list(map(int, input().split()))
count = count2 = 0
for i in range(3):
  if(l[i] == 5):
    count+=1
  elif(l[i] == 7):
    count2 += 1
    
if(count == 2 and count2 == 1):
    print("Yes")
else:
	print("NO")

Fixed code:
l = list(map(int, input().split()))
count = count2 = 0
for i in range(3):
  if(l[i] == 5):
    count+=1
  elif(l[i] == 7):
    count2 += 1
    
if(count == 2 and count2 == 1):
    print("YES")
else:
	print("NO")
Buggy code:
a = list(map(int, input().split()))
count = 0
count1 = 0
for i in range(3):
  if a[i] == 5:
    count++
  elif a[i] == 7:
    count1++
    
if count == 2 & count1 == 1:
  print("YES")
else:
  print("NO")

Fixed code:
a = list(map(int, input().split()))
count = 0
count1 = 0
for i in range(3):
  if a[i] == 5:
    count+=1
  elif a[i] == 7:
    count1+=1
    
if (count == 2) & (count1 == 1):
  print("YES")
else:
  print("NO")
Buggy code:
A,B,C = map(int,input().split())
if A+B+C == 17 and (A==5 or A==7) and (B==5 or B==7) and (C==5 or C==7):
  print('YES')
  else:
    print('NO')

Fixed code:
A,B,C = map(int,input().split())
if A+B+C == 17 and (A==5 or A==7) and (B==5 or B==7) and (C==5 or C==7):
  print('YES')
else:
    print('NO')
Buggy code:
l=list(input().split())
if l.count(5)==2 and l.count(7)==1:
  print('YES')
else:
  print('NO')

Fixed code:
l = input()
if l.count('5') == 2 and l.count('7') == 1:
    print('YES')
else:
    print('NO')
Buggy code:
a=input().split()
b=0
for i in a:
  if i in ['5','7']:
    b=b+int(i)
    re='Yes'
  else:
    b=b+int(i)
    re='No'
    break
    
if b==17 and re!='No':
  print('Yes')
else:
  print('No')

Fixed code:
a=input().split()
b=0
for i in a:
  if i in ['5','7']:
    b=b+int(i)
    re='Yes'
  else:
    b=b+int(i)
    re='No'
    break
    
if b==17 and re!='No':
  print('YES')
else:
  print('NO')
Buggy code:
a=input().split()
print('YES' if a.count('5')==1 and a.count('7')==2 else 'NO')



Fixed code:
a=input().split()
print('YES' if a.count('5')==2 and a.count('7')==1 else 'NO')
Buggy code:
l=list(map(int,input().split()))
if count(l,5)==2 and count(l,7)==1:
  print('YES')
else:
  print('NO')

Fixed code:
arr = list(map(int,input().split()))
if arr.count(7) == 1 and arr.count(5) == 2:
    print("YES")
else:
    print("NO")
Buggy code:
inpt = input().split()
inpt.sort()

if inpt[0] == '5':
    if inpt[1] == '5':
        if inpt[2] == '7':
            print('YES')
else:
    print('NO')


Fixed code:
inpt = input().split()
inpt.sort()

if inpt[0] == '5':
    if inpt[1] == '5':
        if inpt[2] == '7':
            print('YES')
        else:
            print('NO')
    else:
        print('NO')
else:
    print('NO')
Buggy code:
#coding: utf-8
print(["NO", "YES"][sorted(input()) == ["5","5","7"]])


Fixed code:
#coding: utf-8
print(["NO", "YES"][sorted(input()) == [" ", " ", "5","5","7"]])
Buggy code:
lis = list(map(int, input().split()))
if lis.count(5)==2 and lis.count(7)==1: print('YES')
print('NO')

Fixed code:
lis = list(map(int, input().split()))
if lis.count(5)==2 and lis.count(7)==1: print('YES')
else: print('NO')
Buggy code:
num = list(input().split())
count5 = 0
count7 = 0
for i in num:
    if i == 5:
        count5 += 1
    elif i == 7:
        count7 += 1
    else:
        continue
if count5 == 2 and count7 == 1:
    print("YES")
else:
    print("NO")

Fixed code:
num = list(map(int,input().split()))
count5 = 0
count7 = 0
for i in num:
    if i == 5:
        count5 += 1
    elif i == 7:
        count7 += 1
    else:
        continue
if count5 == 2 and count7 == 1:
    print("YES")
else:
    print("NO")
Buggy code:
i = list(map(int, input().split()))
countFive = i.count(5)
countSeven = i.count(7)

print(i)
print(countFive)
print(countSeven)

if countFive == 2 and countSeven == 1 :
    print("YES")
else :
    print("NO")

Fixed code:
i = list(map(int, input().split()))
countFive = i.count(5)
countSeven = i.count(7)

if countFive == 2 and countSeven == 1 :
    print("YES")
else :
    print("NO")
Buggy code:
a, b, c = map(int, input().split())
if a*b*c = 245:
  print('YES')
else:
  print('NO')


Fixed code:
a, b, c = map(int, input().split())
if a*b*c == 175:
  print('YES')
else:
  print('NO')
Buggy code:
sorted_lst=sorted(list(map(int,input().split())))
if so_lst[0]==5 and so_lst[1] == 5 and so_lst[2]==7:
    print("YES")
else:
    print("NO")

Fixed code:
lst=list(map(int,input().split()))
so_lst=sorted(lst)
if so_lst[0]==5 and so_lst[1] == 5 and so_lst[2]==7:
    print("YES")
else:
    print("NO")
Buggy code:
ABC=input().split()

five_count=ABC.count("5")
seven_count=ABC.count("7")

if five_count == 2 and seven_count==1:
  print("Yes")
else:
  print("NO")

Fixed code:
ABC=input().split()

five_count=ABC.count("5")
seven_count=ABC.count("7")

if five_count == 2 and seven_count == 1:
  print("YES")
else:
  print("NO")
Buggy code:
s = input().split()
s5 = s.count("5")
s7 = s.count("7")
    
if s5 = 2 :
    if s7 = 1 :
        print("YES")
    else :
        print("NO")
else:
    print("NO")

Fixed code:
s = input().split()
s5 = s.count("5")
s7 = s.count("7")
 
if s5 == 2:
    if s7 == 1:
  	    print("YES")
    else:
        print("NO")
else:
    print("NO")
Buggy code:
x = str(input())
if count(x,"5")==2 and count(x,"7")==1:
  print("YES")
else:
  print("NO")

Fixed code:
x = str(input())
if x.count("5")==2 and x.count("7")==1:
  print("YES")
else:
  print("NO")
Buggy code:
A,B,C = list(map(int, input().split()))
if A*B*C == 15 :
    print('YES')
else:
    print('NO')
        

Fixed code:
A,B,C = list(map(int, input().split()))
if A*B*C ==  175:
    print('YES')
else:
    print('NO')
Buggy code:
w=str(input())
if w.count("5")=2 and w.count("7")=1:
  print("YES")
else:
  print("NO")


Fixed code:
w=str(input())
if w.count("5")==2 and w.count("7")==1:
  print("YES")
else:
  print("NO")
Buggy code:
num= input().split()
count5 = 0
count7 = 0
 
for i in range(len(num)):
    if num[i] == 5:
        count5 += 1
    elif num[i] == 7:
        count7 += 1
if count5 == 2 and count7 == 1:
    print('YES')
else:
    print('NO')

Fixed code:
num= input().split()
count5 = 0
count7 = 0
 
for i in range(len(num)):
    if num[i] == '5':
        count5 += 1
    elif num[i] == '7':
        count7 += 1
    else:
        continue
if count5 == 2 and count7 == 1:
    print('YES')
else:
    print('NO')
Buggy code:
a,b,c = map(int,input().split())

if a=5 b=5 c=7 or a=5 b=7 c=5 or a=7 b=5 c=5:
  print("YES")
  
else:
  print("NO")

Fixed code:
a, b, c = map(int, input().split())

if (a == 7 and b ==5 and c == 5)or(a == 5 and b == 7 and c == 5)or(a==5 and b==5 and c==7):
  print("YES")
  
else:
  print("NO")
Buggy code:
A, B, C = map(int, input().split())
if A*B*C == 5*5*7:
  print("YEAS")
else:
  print("NO")

Fixed code:
A, B, C = map(int, input().split())
if A*B*C == 5*5*7:
  print("YES")
else:
  print("NO")
Buggy code:
a, b, c = (int(i) for i in input().split())
if a == 5 or b == 5 or c == 5:
    if (a == 7 and b == 7) or (b == 7 and c == 7) or (a == 7 and c == 7):
        print('YES')
    else:
        print('NO')
else :
    print('NO')

Fixed code:
a, b, c = (int(i) for i in input().split())
if a == 7 or b == 7 or c == 7:
    if (a == 5 and b == 5) or (b == 5 and c == 5) or (a == 5 and c == 5):
        print('YES')
        exit()
    else:
        print('NO')
        exit()
else:
    print('NO')
    exit()
Buggy code:
A= [int(x) for x in input().split()]

sort(A)

if A == [5,5,7]:
  print("YES")
else:
  print("NO")

Fixed code:
A= [int(x) for x in input().split()]
 
A.sort()

if A == [5,5,7]:
  print("YES")
else:
  print("NO")
Buggy code:
input_line=input().rstrip().split(" ")
five=int(input_line.count("5"))
seven=int(input_line.count("7"))
if five=2 and seven=1:
    print("YES")
else:
    print("NO")

Fixed code:
input_line=input().rstrip().split(" ")
five=int(input_line.count("5"))
seven=int(input_line.count("7"))
if five==2 and seven==1:
    print("YES")
else:
    print("NO")
Buggy code:
a,b,c = map(int,input().split())

g = 0
if a == 5:
  g = g + 1
if b == 5:
  g = g + 1
if c == 5:
  g = g + 1

h = 0
if a == 7:
  h = h + 1
if b == 7:
  h = h + 1
if c == 7:
  h = h + 1
  
if h == 2 and g == 1:
  print("YES")
else:
  print("NO")

Fixed code:
a,b,c = map(int,input().split())

g = 0
if a == 5:
  g = g + 1
if b == 5:
  g = g + 1
if c == 5:
  g = g + 1

h = 0
if a == 7:
  h = h + 1
if b == 7:
  h = h + 1
if c == 7:
  h = h + 1
  
if h == 1 and g == 2:
  print("YES")
else:
  print("NO")
Buggy code:
a, b, c = map(int, input().split())
if a, b, c == (5, 5, 7):
  print(YES)
elif a, b, c == (5, 7, 5):
  print(YES)
elif a, b, c == (7, 5, 5):
  print(YES)
else:
  pring(NO)

Fixed code:
a, b, c = map(int, input().split())
if (a, b, c) == (5, 5, 7):
  print("YES")
elif (a, b, c) == (5, 7, 5):
  print("YES")
elif (a, b, c) == (7, 5, 5):
  print("YES")
else:
  print("NO")
Buggy code:
a, b, c = map(int, input().split())
if a, b, c == (5, 5, 7):
  print(YES)
elif a, b, c == (5, 7, 5):
  print(YES)
elif a, b, c == (7, 5, 5):
  print(YES)
else:
  print(NO)

Fixed code:
a, b, c = map(int, input().split())
if a == 5 and b == 5 and c == 7:
    print('YES')
elif a == 5 and b == 7 and c == 5:
    print('YES')
elif a == 7 and b == 5 and c == 5:
    print('YES')
else:
    print('NO')
Buggy code:
#!/usr/bin/env python3
from collections import defaultdict
from collections import deque
from heapq import heappush, heappop
import sys
import math
import bisect
import random
import itertools
sys.setrecursionlimit(10**5)
stdin = sys.stdin
bisect_left = bisect.bisect_left
bisect_right = bisect.bisect_right
def LI(): return list(map(int, stdin.readline().split()))
def LF(): return list(map(float, stdin.readline().split()))
def LI_(): return list(map(lambda x: int(x)-1, stdin.readline().split()))
def II(): return int(stdin.readline())
def IF(): return float(stdin.readline())
def LS(): return list(map(list, stdin.readline().split()))
def S(): return list(stdin.readline().rstrip())
def IR(n): return [II() for _ in range(n)]
def LIR(n): return [LI() for _ in range(n)]
def FR(n): return [IF() for _ in range(n)]
def LFR(n): return [LI() for _ in range(n)]
def LIR_(n): return [LI_() for _ in range(n)]
def SR(n): return [S() for _ in range(n)]
def LSR(n): return [LS() for _ in range(n)]
mod = 1000000007
inf = float('INF')

#A
def A():
    a = LI()
    a.sort()
    if a = [5, 5, 7]:
        print("YES")
    else:

        print("NO")
    return

#B
def B():
    return

#C
def C():
    return

#D
def D():
    return

#E
def E():
    return

#F
def F():
    return

#G
def G():
    return

#H
def H():
    return

#Solve
if __name__ == '__main__':
    A()


Fixed code:
#!/usr/bin/env python3
from collections import defaultdict
from collections import deque
from heapq import heappush, heappop
import sys
import math
import bisect
import random
import itertools
sys.setrecursionlimit(10**5)
stdin = sys.stdin
bisect_left = bisect.bisect_left
bisect_right = bisect.bisect_right
def LI(): return list(map(int, stdin.readline().split()))
def LF(): return list(map(float, stdin.readline().split()))
def LI_(): return list(map(lambda x: int(x)-1, stdin.readline().split()))
def II(): return int(stdin.readline())
def IF(): return float(stdin.readline())
def LS(): return list(map(list, stdin.readline().split()))
def S(): return list(stdin.readline().rstrip())
def IR(n): return [II() for _ in range(n)]
def LIR(n): return [LI() for _ in range(n)]
def FR(n): return [IF() for _ in range(n)]
def LFR(n): return [LI() for _ in range(n)]
def LIR_(n): return [LI_() for _ in range(n)]
def SR(n): return [S() for _ in range(n)]
def LSR(n): return [LS() for _ in range(n)]
mod = 1000000007
inf = float('INF')

#A
def A():
    a = LI()
    a.sort()
    if a == [5, 5, 7]:
        print("YES")
    else:

        print("NO")
    return

#B
def B():
    return

#C
def C():
    return

#D
def D():
    return

#E
def E():
    return

#F
def F():
    return

#G
def G():
    return

#H
def H():
    return

#Solve
if __name__ == '__main__':
    A()
Buggy code:
L = sort(list(map(int, input().split())))
 
if L[0] == 5 and L[1] == 5 and L[2] == 7:
  print('YES')
else:
  print('NO')

Fixed code:
li = list(map(int, input().split()))
li.sort()
if li[0] == li[1] == 5 and li[2] == 7:
	print('YES')
else:
	print('NO')
Buggy code:
l = input.split()
if l.count('5')==2 and '7' in l:
  print('YES')
else:
  print('NO')

Fixed code:
l = input().split()
if l.count('5')==2 and '7' in l:
  print('YES')
else:
  print('NO')
Buggy code:
import math,string,itertools,fractions,heapq,collections,re,array,bisect,sys,random,time

sys.setrecursionlimit(10**7)
inf = 10**20
mod = 10**9 + 7


def main():
    a = list(map(int,input().split()))
    if sum(a) == 12:
        return 'YES'
    return 'NO'



print(main())


Fixed code:
import math,string,itertools,fractions,heapq,collections,re,array,bisect,sys,random,time

sys.setrecursionlimit(10**7)
inf = 10**20
mod = 10**9 + 7


def main():
    a = list(map(int,input().split()))
    if sum(a) == 17:
        return 'YES'
    return 'NO'



print(main())
Buggy code:
X = list(input().split())
if X.count("5") == 2 and X.count("7") == 1:
  print("YES")
  else print("NO")

Fixed code:
X = list(input().split())
if X.count("5") == 2 and X.count("7") == 1:
    print("YES")
else:
    print("NO")
Buggy code:
haiku = input().split()
five = haiku.count("5")
sevent = haiku.count("7")
if five ==2 and seven ==1:
  print("YES")
else:
  print("NO")

Fixed code:
haiku = input().split()
five = haiku.count("5")
seven = haiku.count("7")
if five ==2 and seven ==1:
  print("YES")
else:
  print("NO")
Buggy code:
a,b,c=map(int,input().split())
aa=sort([a,b,c])
if aa == [5,5,7]:
  print("YES")
else:
  print("NO")

Fixed code:
a,b,c=map(int,input().split())
aa=sorted([a,b,c])
if aa == [5,5,7]:
  print("YES")
else:
  print("NO")