import os
import re
from itertools import combinations
file=open("cardslist.txt","r")

arr=[]
highest={}
highest[1]=[0,""]

runes="""
blood stone
Arctic Freeze
Tsunami
clear spring
"""

for i in range(0,20): #replace second parameter with list length
    arr.append(file.readline())

perms=list(combinations(arr,10))

for i in range(0,len(perms)):
    file2=open("newlist.txt","w")
    for j in range(0,10):
        file2.write(perms[i][j])
    file2.write(runes)
    file2.close()
    b = os.popen('sim -demon seaking -deck newlist.txt -level 69 -iter 200').read()
    b=b.splitlines()
    avgdmg=re.findall('[0-9]+',b[30])
    avgdmg[0]=int(avgdmg[0])
    #print highest[1][0],avgdmg[0]
    if(highest[1][0]<avgdmg[0]): highest[1]=[avgdmg[0],b]


print highest[1][0]