import numpy as np
import pickle
case_number=1052
execution_matrix=np.zeros((case_number,407))
for i in range(1,case_number+1):
   file_tmp=open("cov_t"+str(i),"r")
   for line in file_tmp:
      if line[0:9]!="        -":
         if line[0:9]=="    #####":
                 execution_matrix[i-1,int(line[11:15])-1]=0
         else:
                 execution_matrix[i-1,int(line[11:15])-1]=1
   file_tmp.close()
np.savetxt('matrix.csv',execution_matrix,delimiter=',')

