# Heawood graph: alternating circulant {-1,1,6}/{-6,-1,1} heawood.py -------
actionset = [
'1',
'2',
'3',
'4',
'5',
'6',
'7',
'8',
'9',
'10',
'11',
'12',
'13',
'0',
]
valuationdomain = {'min':0, 'med':1, 'max':2}
relation = {
'1': {
'1':0,
'2':2,
'3':0,
'4':0,
'5':0,
'6':2,
'7':0,
'8':0,
'9':0,
'10':0,
'11':0,
'12':0,
'13':0,
'0':2,
},
'2': {
'1':2,
'2':0,
'3':2,
'4':0,
'5':0,
'6':0,
'7':0,
'8':0,
'9':0,
'10':0,
'11':2,
'12':0,
'13':0,
'0':0,
},
'3': {
'1':0,
'2':2,
'3':0,
'4':2,
'5':0,
'6':0,
'7':0,
'8':2,
'9':0,
'10':0,
'11':0,
'12':0,
'13':0,
'0':0,
},
'4': {
'1':0,
'2':0,
'3':2,
'4':0,
'5':2,
'6':0,
'7':0,
'8':0,
'9':0,
'10':0,
'11':0,
'12':0,
'13':2,
'0':0,
},
'5': {
'1':0,
'2':0,
'3':0,
'4':2,
'5':0,
'6':2,
'7':0,
'8':0,
'9':0,
'10':2,
'11':0,
'12':0,
'13':0,
'0':0,
},
'6': {
'1':2,
'2':0,
'3':0,
'4':0,
'5':2,
'6':0,
'7':2,
'8':0,
'9':0,
'10':0,
'11':0,
'12':0,
'13':0,
'0':0,
},
'7': {
'1':0,
'2':0,
'3':0,
'4':0,
'5':0,
'6':2,
'7':0,
'8':2,
'9':0,
'10':0,
'11':0,
'12':2,
'13':0,
'0':0,
},
'8': {
'1':0,
'2':0,
'3':2,
'4':0,
'5':0,
'6':0,
'7':2,
'8':0,
'9':2,
'10':0,
'11':0,
'12':0,
'13':0,
'0':0,
},
'9': {
'1':0,
'2':0,
'3':0,
'4':0,
'5':0,
'6':0,
'7':0,
'8':2,
'9':0,
'10':2,
'11':0,
'12':0,
'13':0,
'0':2,
},
'10': {
'1':0,
'2':0,
'3':0,
'4':0,
'5':2,
'6':0,
'7':0,
'8':0,
'9':2,
'10':0,
'11':2,
'12':0,
'13':0,
'0':0,
},
'11': {
'1':0,
'2':2,
'3':0,
'4':0,
'5':0,
'6':0,
'7':0,
'8':0,
'9':0,
'10':2,
'11':0,
'12':2,
'13':0,
'0':0,
},
'12': {
'1':0,
'2':0,
'3':0,
'4':0,
'5':0,
'6':0,
'7':2,
'8':0,
'9':0,
'10':0,
'11':2,
'12':0,
'13':2,
'0':0,
},
'13': {
'1':0,
'2':0,
'3':0,
'4':2,
'5':0,
'6':0,
'7':0,
'8':0,
'9':0,
'10':0,
'11':0,
'12':2,
'13':0,
'0':2,
},
'0': {
'1':2,
'2':0,
'3':0,
'4':0,
'5':0,
'6':0,
'7':0,
'8':0,
'9':2,
'10':0,
'11':0,
'12':0,
'13':2,
'0':0,
},
}