from sage.all import *
load cliqueminor1trd.spyx

### Find K6 minor free graphs with degree minimum 5 and size at most 9 ### 
graphlist=list(graphs.nauty_geng("8 20:22 -d6"))
K6 = graphs.CompleteGraph(6);
filterlist = []
prefilter = []

## Check for K6 minors
@parallel(8)
def filter_K6(i):
    try:
        clique_minor(graphlist[i], K6);
    except ValueError:
        print "No minor"
        return 0;
    
    print "There is a minor."
    return 1;

prefilter = list(filter_K6(range(0,len(graphlist))))

## Creating the filterlist
for position, i in prefilter:
    if(i == 0):
        filterlist.append(graphlist[position[0][0]])

## Save the filtered list
save(filterlist, 'nok6size8.sobj');