#Cone aa2
trueTNodes = {}

#Node(F36, F14)
trueTNodes[(F36, F14)] ={X31: 1, X45: 1, X26: 1, X12: 1, Y142635: +Infinity, X35: 1, X41: +Infinity, X24: 3, X51: 1, X43: 1, Y132546: 1, X16: 1, X63: +Infinity, Y132456: 3, X14: +Infinity, X61: 1, Y152436: +Infinity, Y123456: 1, X65: 1, Y152634: 1, X54: 1, Y162435: 3, Y162345: 1, X56: 1, Y162534: 1, X46: 1, X32: 1, X13: 0, Y123546: 1, X34: 1, X53: 1, X25: 1, X42: 3, X36: +Infinity, X52: 1, X23: 0, X62: 1, X15: 1, X21: 1, Y132645: 1, Y142536: +Infinity, X64: 1, Y123645: +Infinity, Y142356: +Infinity, Y152346: 1}

#Node(E3, F35)
trueTNodes[(E3, F35)] ={X31: +Infinity, X45: -3, X26: -3, X12: -2, Y142635: +Infinity, X35: +Infinity, X41: -3, X24: -3, X51: -3, X43: -3, Y132546: -3, X16: -3, X63: -3, Y132456: -3, X14: -3, X61: -3, Y152436: -3, Y123456: -2, X65: -3, Y152634: -3, X54: -3, Y162435: +Infinity, Y162345: -3, X56: -3, Y162534: -3, X46: -3, X32: +Infinity, X13: -4, Y123546: +Infinity, X34: +Infinity, X53: +Infinity, X25: -3, X42: -3, X36: +Infinity, X52: -3, X23: -4, X62: -3, X15: -3, X21: -2, Y132645: -3, Y142536: -3, X64: -3, Y123645: -2, Y142356: -3, Y152346: -3}

#Node(F23, E3)
trueTNodes[(F23, E3)] ={X31: +Infinity, X45: 3, X26: 3, X12: 3, Y142635: 2, X35: +Infinity, X41: 2, X24: 3, X51: 2, X43: 2, Y132546: 5, X16: 3, X63: 2, Y132456: 5, X14: 3, X61: 2, Y152436: 2, Y123456: 3, X65: 3, Y152634: 2, X54: 3, Y162435: 2, Y162345: +Infinity, X56: 3, Y162534: 2, X46: 3, X32: +Infinity, X13: 4, Y123546: 3, X34: +Infinity, X53: 2, X25: 3, X42: 2, X36: +Infinity, X52: 2, X23: +Infinity, X62: 2, X15: 3, X21: 3, Y132645: 5, Y142536: 2, X64: 3, Y123645: 3, Y142356: +Infinity, Y152346: +Infinity}

#Node(G5, E2)
trueTNodes[(G5, E2)] ={X31: 1, X45: +Infinity, X26: +Infinity, X12: 3, Y142635: 0, X35: +Infinity, X41: 0, X24: +Infinity, X51: 0, X43: 0, Y132546: 1, X16: 3, X63: 0, Y132456: 1, X14: 3, X61: 0, Y152436: 0, Y123456: 1, X65: +Infinity, Y152634: 0, X54: 1, Y162435: 0, Y162345: 1, X56: 1, Y162534: 0, X46: 1, X32: 1, X13: 2, Y123546: 1, X34: 1, X53: 0, X25: +Infinity, X42: 0, X36: 1, X52: 0, X23: +Infinity, X62: 0, X15: +Infinity, X21: +Infinity, Y132645: 1, Y142536: 0, X64: 1, Y123645: 1, Y142356: 1, Y152346: 1}

#Node(F16, F25)
trueTNodes[(F16, F25)] ={X31: 2, X45: 0, X26: 2, X12: 2, Y142635: 2, X35: 0, X41: 2, X24: 2, X51: 2, X43: 0, Y132546: +Infinity, X16: +Infinity, X63: 0, Y132456: 2, X14: 2, X61: +Infinity, Y152436: 2, Y123456: 0, X65: 0, Y152634: 2, X54: 0, Y162435: +Infinity, Y162345: +Infinity, X56: 0, Y162534: +Infinity, X46: 0, X32: 2, X13: 1, Y123546: 0, X34: 0, X53: 0, X25: +Infinity, X42: 2, X36: 0, X52: +Infinity, X23: 1, X62: 2, X15: 2, X21: 2, Y132645: 2, Y142536: +Infinity, X64: 0, Y123645: 0, Y142356: 2, Y152346: 2}

#Node(G5, F15)
trueTNodes[(G5, F15)] ={X31: 0, X45: +Infinity, X26: 0, X12: 0, Y142635: 0, X35: +Infinity, X41: 0, X24: 0, X51: +Infinity, X43: 0, Y132546: 3, X16: 0, X63: 0, Y132456: 0, X14: 0, X61: 0, Y152436: +Infinity, Y123456: 0, X65: +Infinity, Y152634: +Infinity, X54: 0, Y162435: 0, Y162345: 0, X56: 0, Y162534: 2, X46: 1, X32: 0, X13: -1, Y123546: 1, X34: 0, X53: 0, X25: +Infinity, X42: 0, X36: 0, X52: 2, X23: -1, X62: 0, X15: +Infinity, X21: 0, Y132645: 0, Y142536: 2, X64: 1, Y123645: 0, Y142356: 0, Y152346: +Infinity}

#Node(F16, F34)
trueTNodes[(F16, F34)] ={X31: -1, X45: -1, X26: 1, X12: -1, Y142635: 1, X35: -1, X41: -1, X24: -1, X51: -1, X43: +Infinity, Y132546: -1, X16: +Infinity, X63: -1, Y132456: -1, X14: -1, X61: +Infinity, Y152436: -1, Y123456: +Infinity, X65: -1, Y152634: +Infinity, X54: -1, Y162435: +Infinity, Y162345: +Infinity, X56: -1, Y162534: +Infinity, X46: -1, X32: -1, X13: -2, Y123546: -1, X34: +Infinity, X53: -1, X25: -1, X42: -1, X36: -1, X52: -1, X23: -2, X62: 1, X15: -1, X21: -1, Y132645: 1, Y142536: -1, X64: -1, Y123645: -1, Y142356: -1, Y152346: -1}

#Node(G6, F16)
trueTNodes[(G6, F16)] ={X31: 0, X45: 1, X26: +Infinity, X12: 0, Y142635: 2, X35: 0, X41: 0, X24: 0, X51: 0, X43: 0, Y132546: 0, X16: +Infinity, X63: 0, Y132456: 0, X14: 0, X61: +Infinity, Y152436: 0, Y123456: 0, X65: 0, Y152634: 2, X54: 1, Y162435: +Infinity, Y162345: +Infinity, X56: +Infinity, Y162534: +Infinity, X46: +Infinity, X32: 0, X13: -1, Y123546: 0, X34: 0, X53: 0, X25: 0, X42: 0, X36: +Infinity, X52: 0, X23: -1, X62: 2, X15: 0, X21: 0, Y132645: 3, Y142536: 0, X64: 0, Y123645: 1, Y142356: 0, Y152346: 0}

#Node(E1, G3)
trueTNodes[(E1, G3)] ={X31: 2, X45: 1, X26: 3, X12: +Infinity, Y142635: 1, X35: 1, X41: 1, X24: 3, X51: 1, X43: +Infinity, Y132546: 2, X16: +Infinity, X63: +Infinity, Y132456: 2, X14: +Infinity, X61: 1, Y152436: 1, Y123456: 1, X65: 1, Y152634: 1, X54: 1, Y162435: 1, Y162345: 2, X56: 1, Y162534: 1, X46: 1, X32: 2, X13: +Infinity, Y123546: 1, X34: 1, X53: +Infinity, X25: 3, X42: 1, X36: 1, X52: 1, X23: +Infinity, X62: 1, X15: +Infinity, X21: 3, Y132645: 2, Y142536: 1, X64: 1, Y123645: 1, Y142356: 2, Y152346: 2}

#Node(F15, F26)
trueTNodes[(F15, F26)] ={X31: 1, X45: -1, X26: +Infinity, X12: 1, Y142635: +Infinity, X35: -1, X41: 1, X24: 1, X51: +Infinity, X43: -1, Y132546: 1, X16: 1, X63: -1, Y132456: 1, X14: 1, X61: 1, Y152436: +Infinity, Y123456: -1, X65: -1, Y152634: +Infinity, X54: -1, Y162435: 1, Y162345: 1, X56: -1, Y162534: 1, X46: -1, X32: 1, X13: 0, Y123546: -1, X34: -1, X53: -1, X25: 1, X42: 1, X36: -1, X52: 1, X23: 0, X62: +Infinity, X15: +Infinity, X21: 1, Y132645: +Infinity, Y142536: 1, X64: -1, Y123645: -1, Y142356: 1, Y152346: +Infinity}

#Node(F14, F26)
trueTNodes[(F14, F26)] ={X31: 1, X45: -1, X26: +Infinity, X12: 1, Y142635: +Infinity, X35: -1, X41: +Infinity, X24: 1, X51: 1, X43: -1, Y132546: 1, X16: 1, X63: -1, Y132456: 1, X14: +Infinity, X61: 1, Y152436: 1, Y123456: -1, X65: -1, Y152634: +Infinity, X54: -1, Y162435: 1, Y162345: 1, X56: -1, Y162534: 1, X46: -1, X32: 1, X13: 0, Y123546: -1, X34: -1, X53: -1, X25: 1, X42: 1, X36: -1, X52: 1, X23: 0, X62: +Infinity, X15: 1, X21: 1, Y132645: +Infinity, Y142536: +Infinity, X64: -1, Y123645: -1, Y142356: +Infinity, Y152346: 1}

#Node(F24, F16)
trueTNodes[(F24, F16)] ={X31: -3, X45: -5, X26: -3, X12: -3, Y142635: -3, X35: -5, X41: -3, X24: +Infinity, X51: -3, X43: -5, Y132546: -3, X16: +Infinity, X63: -5, Y132456: +Infinity, X14: -3, X61: +Infinity, Y152436: +Infinity, Y123456: -5, X65: -5, Y152634: -3, X54: -5, Y162435: +Infinity, Y162345: +Infinity, X56: -5, Y162534: +Infinity, X46: -5, X32: -3, X13: -4, Y123546: -5, X34: -5, X53: -5, X25: -3, X42: +Infinity, X36: -5, X52: -3, X23: -4, X62: -3, X15: -3, X21: -3, Y132645: -3, Y142536: -3, X64: -5, Y123645: -5, Y142356: -3, Y152346: -3}

#Node(E2, F26)
trueTNodes[(E2, F26)] ={X31: 3, X45: 0, X26: +Infinity, X12: 2, Y142635: +Infinity, X35: 0, X41: 2, X24: +Infinity, X51: 2, X43: 0, Y132546: 3, X16: 2, X63: 0, Y132456: 3, X14: 2, X61: 2, Y152436: 2, Y123456: 0, X65: 0, Y152634: +Infinity, X54: 0, Y162435: 2, Y162345: 2, X56: 0, Y162534: 2, X46: 0, X32: 2, X13: 2, Y123546: 0, X34: 0, X53: 0, X25: +Infinity, X42: 2, X36: 0, X52: 2, X23: +Infinity, X62: +Infinity, X15: 2, X21: +Infinity, Y132645: +Infinity, Y142536: 2, X64: 0, Y123645: 0, Y142356: 2, Y152346: 2}

#Node(F13, G1)
trueTNodes[(F13, G1)] ={X31: +Infinity, X45: -4, X26: -1, X12: -2, Y142635: -2, X35: -4, X41: +Infinity, X24: -1, X51: +Infinity, X43: -4, Y132546: +Infinity, X16: -2, X63: -4, Y132456: +Infinity, X14: -2, X61: +Infinity, Y152436: -2, Y123456: -4, X65: -4, Y152634: -2, X54: -4, Y162435: -2, Y162345: -2, X56: -4, Y162534: -2, X46: -4, X32: -2, X13: +Infinity, Y123546: -4, X34: -4, X53: -4, X25: -1, X42: -2, X36: -4, X52: -2, X23: -2, X62: -2, X15: -2, X21: +Infinity, Y132645: +Infinity, Y142536: -2, X64: -4, Y123645: -4, Y142356: -2, Y152346: -2}

#Node(E5, G1)
trueTNodes[(E5, G1)] ={X31: +Infinity, X45: 1, X26: 1, X12: 3, Y142635: 1, X35: 1, X41: +Infinity, X24: 1, X51: +Infinity, X43: 1, Y132546: 1, X16: 1, X63: 1, Y132456: 1, X14: 1, X61: +Infinity, Y152436: 1, Y123456: 1, X65: 1, Y152634: 1, X54: +Infinity, Y162435: 1, Y162345: 1, X56: +Infinity, Y162534: 1, X46: 1, X32: 3, X13: 0, Y123546: 1, X34: 1, X53: +Infinity, X25: 1, X42: 3, X36: 1, X52: +Infinity, X23: 0, X62: 3, X15: 1, X21: +Infinity, Y132645: 1, Y142536: 1, X64: 1, Y123645: 1, Y142356: 1, Y152346: 1}

#Node(G6, E1)
trueTNodes[(G6, E1)] ={X31: 0, X45: 0, X26: +Infinity, X12: +Infinity, Y142635: -1, X35: 0, X41: -1, X24: 2, X51: -1, X43: -1, Y132546: 0, X16: +Infinity, X63: -1, Y132456: 0, X14: +Infinity, X61: -1, Y152436: -1, Y123456: 0, X65: 0, Y152634: -1, X54: 0, Y162435: -1, Y162345: 0, X56: +Infinity, Y162534: -1, X46: +Infinity, X32: 0, X13: +Infinity, Y123546: 0, X34: 0, X53: -1, X25: 2, X42: -1, X36: +Infinity, X52: -1, X23: 1, X62: -1, X15: +Infinity, X21: 2, Y132645: 0, Y142536: -1, X64: 0, Y123645: 0, Y142356: 0, Y152346: 0}

#Node(G2, E6)
trueTNodes[(G2, E6)] ={X31: 5, X45: 3, X26: 3, X12: +Infinity, Y142635: 3, X35: 3, X41: 5, X24: 3, X51: 5, X43: 3, Y132546: 3, X16: 3, X63: +Infinity, Y132456: 3, X14: 3, X61: +Infinity, Y152436: 3, Y123456: 3, X65: +Infinity, Y152634: 3, X54: 3, Y162435: 3, Y162345: 3, X56: 3, Y162534: 3, X46: 3, X32: +Infinity, X13: 2, Y123546: 3, X34: 3, X53: 3, X25: 3, X42: +Infinity, X36: 3, X52: +Infinity, X23: 2, X62: +Infinity, X15: 3, X21: 5, Y132645: 3, Y142536: 3, X64: +Infinity, Y123645: 3, Y142356: 3, Y152346: 3}

#Node(F46, F25)
trueTNodes[(F46, F25)] ={X31: 1, X45: 2, X26: 1, X12: 1, Y142635: 1, X35: 2, X41: 1, X24: 1, X51: 3, X43: 1, Y132546: +Infinity, X16: 1, X63: 1, Y132456: 1, X14: 1, X61: 1, Y152436: 3, Y123456: 1, X65: 2, Y152634: 3, X54: 1, Y162435: 1, Y162345: 1, X56: 1, Y162534: +Infinity, X46: +Infinity, X32: 1, X13: 0, Y123546: +Infinity, X34: 1, X53: 1, X25: +Infinity, X42: 1, X36: 1, X52: +Infinity, X23: 0, X62: 1, X15: 4, X21: 1, Y132645: 1, Y142536: +Infinity, X64: +Infinity, Y123645: 1, Y142356: 1, Y152346: +Infinity}

#Node(E5, G2)
trueTNodes[(E5, G2)] ={X31: 3, X45: 1, X26: 1, X12: +Infinity, Y142635: 1, X35: 1, X41: 3, X24: 1, X51: +Infinity, X43: 1, Y132546: 1, X16: 1, X63: 1, Y132456: 1, X14: 1, X61: 3, Y152436: 1, Y123456: 1, X65: 1, Y152634: 1, X54: +Infinity, Y162435: 1, Y162345: 1, X56: +Infinity, Y162534: 1, X46: 1, X32: +Infinity, X13: 0, Y123546: 1, X34: 1, X53: +Infinity, X25: 1, X42: +Infinity, X36: 1, X52: +Infinity, X23: 0, X62: +Infinity, X15: 1, X21: 3, Y132645: 1, Y142536: 1, X64: 1, Y123645: 1, Y142356: 1, Y152346: 1}

#Node(F24, F15)
trueTNodes[(F24, F15)] ={X31: -3, X45: -5, X26: -3, X12: -3, Y142635: -3, X35: -5, X41: -3, X24: +Infinity, X51: +Infinity, X43: -5, Y132546: -3, X16: -3, X63: -5, Y132456: +Infinity, X14: -3, X61: -3, Y152436: +Infinity, Y123456: -5, X65: -5, Y152634: +Infinity, X54: -5, Y162435: +Infinity, Y162345: -3, X56: -5, Y162534: -3, X46: -5, X32: -3, X13: -4, Y123546: -5, X34: -5, X53: -5, X25: -3, X42: +Infinity, X36: -5, X52: -3, X23: -4, X62: -3, X15: +Infinity, X21: -3, Y132645: -3, Y142536: -3, X64: -5, Y123645: -5, Y142356: -3, Y152346: +Infinity}

#Node(E5, G4)
trueTNodes[(E5, G4)] ={X31: 0, X45: 0, X26: 0, X12: 0, Y142635: 0, X35: 0, X41: 0, X24: +Infinity, X51: +Infinity, X43: 0, Y132546: 0, X16: 0, X63: 0, Y132456: 1, X14: +Infinity, X61: 0, Y152436: 0, Y123456: 1, X65: 1, Y152634: 0, X54: +Infinity, Y162435: 0, Y162345: 0, X56: +Infinity, Y162534: 0, X46: 0, X32: 0, X13: -1, Y123546: 0, X34: +Infinity, X53: +Infinity, X25: 0, X42: 0, X36: 0, X52: +Infinity, X23: -1, X62: 0, X15: 0, X21: 0, Y132645: 0, Y142536: 0, X64: +Infinity, Y123645: 0, Y142356: 1, Y152346: 0}

#Node(F46, G4)
trueTNodes[(F46, G4)] ={X31: 3, X45: 3, X26: 3, X12: 3, Y142635: 2, X35: 3, X41: 2, X24: +Infinity, X51: 2, X43: 2, Y132546: +Infinity, X16: 3, X63: 2, Y132456: 3, X14: +Infinity, X61: 2, Y152436: 2, Y123456: 3, X65: 3, Y152634: 2, X54: +Infinity, Y162435: 2, Y162345: 3, X56: 3, Y162534: 2, X46: +Infinity, X32: 3, X13: 2, Y123546: +Infinity, X34: +Infinity, X53: 2, X25: 3, X42: 2, X36: 3, X52: 2, X23: 2, X62: 2, X15: 3, X21: 3, Y132645: 3, Y142536: 2, X64: +Infinity, Y123645: 3, Y142356: 3, Y152346: +Infinity}

#Node(F36, F25)
trueTNodes[(F36, F25)] ={X31: 1, X45: 1, X26: 1, X12: 1, Y142635: 1, X35: 1, X41: 1, X24: 1, X51: 3, X43: 1, Y132546: +Infinity, X16: 1, X63: +Infinity, Y132456: 1, X14: 1, X61: 1, Y152436: +Infinity, Y123456: 1, X65: 1, Y152634: 3, X54: 1, Y162435: 1, Y162345: 1, X56: 1, Y162534: +Infinity, X46: 1, X32: 1, X13: 0, Y123546: 1, X34: 1, X53: 1, X25: +Infinity, X42: 1, X36: +Infinity, X52: +Infinity, X23: 0, X62: 1, X15: 3, X21: 1, Y132645: 1, Y142536: +Infinity, X64: 1, Y123645: +Infinity, Y142356: 1, Y152346: 3}

#Node(F16, E1)
trueTNodes[(F16, E1)] ={X31: 2, X45: 0, X26: 2, X12: +Infinity, Y142635: 2, X35: 0, X41: 2, X24: 2, X51: 2, X43: 0, Y132546: 2, X16: +Infinity, X63: 0, Y132456: 2, X14: +Infinity, X61: +Infinity, Y152436: 2, Y123456: 0, X65: 0, Y152634: 2, X54: 0, Y162435: +Infinity, Y162345: +Infinity, X56: 0, Y162534: +Infinity, X46: 0, X32: 3, X13: +Infinity, Y123546: 0, X34: 0, X53: 0, X25: 2, X42: 2, X36: 0, X52: 2, X23: 2, X62: 2, X15: +Infinity, X21: 2, Y132645: 2, Y142536: 2, X64: 0, Y123645: 0, Y142356: 3, Y152346: 3}

#Node(F15, F36)
trueTNodes[(F15, F36)] ={X31: 1, X45: 1, X26: 1, X12: 1, Y142635: 1, X35: 1, X41: 1, X24: 1, X51: +Infinity, X43: 1, Y132546: 3, X16: 1, X63: +Infinity, Y132456: 1, X14: 1, X61: 1, Y152436: +Infinity, Y123456: 1, X65: 1, Y152634: +Infinity, X54: 1, Y162435: 1, Y162345: 1, X56: 1, Y162534: 3, X46: 1, X32: 1, X13: 0, Y123546: 1, X34: 1, X53: 1, X25: 3, X42: 1, X36: +Infinity, X52: 3, X23: 0, X62: 1, X15: +Infinity, X21: 1, Y132645: 1, Y142536: +Infinity, X64: 1, Y123645: +Infinity, Y142356: 1, Y152346: +Infinity}

#Node(F13, F25)
trueTNodes[(F13, F25)] ={X31: +Infinity, X45: 0, X26: 3, X12: 2, Y142635: 2, X35: 0, X41: 2, X24: 3, X51: 2, X43: 0, Y132546: +Infinity, X16: 2, X63: 0, Y132456: +Infinity, X14: 2, X61: 2, Y152436: 2, Y123456: 0, X65: 0, Y152634: 2, X54: 0, Y162435: 2, Y162345: 2, X56: 0, Y162534: +Infinity, X46: 0, X32: 2, X13: +Infinity, Y123546: 0, X34: 0, X53: 0, X25: +Infinity, X42: 2, X36: 0, X52: +Infinity, X23: 2, X62: 2, X15: 2, X21: 3, Y132645: +Infinity, Y142536: +Infinity, X64: 0, Y123645: 0, Y142356: 2, Y152346: 2}

#Node(F46, F13)
trueTNodes[(F46, F13)] ={X31: +Infinity, X45: 1, X26: 1, X12: 1, Y142635: 0, X35: 1, X41: 0, X24: 1, X51: 0, X43: 0, Y132546: +Infinity, X16: 1, X63: 0, Y132456: +Infinity, X14: 1, X61: 0, Y152436: 0, Y123456: 1, X65: 1, Y152634: 0, X54: 1, Y162435: 0, Y162345: 3, X56: 1, Y162534: 0, X46: +Infinity, X32: 3, X13: +Infinity, Y123546: +Infinity, X34: 1, X53: 0, X25: 1, X42: 0, X36: 1, X52: 0, X23: 2, X62: 0, X15: 1, X21: 1, Y132645: +Infinity, Y142536: 0, X64: +Infinity, Y123645: 1, Y142356: 3, Y152346: +Infinity}

#Node(F56, F14)
trueTNodes[(F56, F14)] ={X31: 1, X45: 1, X26: 1, X12: 1, Y142635: +Infinity, X35: 1, X41: +Infinity, X24: 4, X51: 1, X43: 1, Y132546: 1, X16: 1, X63: 1, Y132456: +Infinity, X14: +Infinity, X61: 1, Y152436: 3, Y123456: +Infinity, X65: +Infinity, Y152634: 1, X54: 2, Y162435: 3, Y162345: 1, X56: +Infinity, Y162534: 1, X46: 1, X32: 1, X13: 0, Y123546: 1, X34: 2, X53: 1, X25: 1, X42: 3, X36: 1, X52: 1, X23: 0, X62: 1, X15: 1, X21: 1, Y132645: 1, Y142536: +Infinity, X64: 2, Y123645: 1, Y142356: +Infinity, Y152346: 1}

#Node(G2, F26)
trueTNodes[(G2, F26)] ={X31: 2, X45: 0, X26: +Infinity, X12: +Infinity, Y142635: +Infinity, X35: 0, X41: 2, X24: 2, X51: 2, X43: 0, Y132546: 2, X16: 2, X63: 0, Y132456: 2, X14: 2, X61: 2, Y152436: 2, Y123456: 0, X65: 0, Y152634: +Infinity, X54: 0, Y162435: 2, Y162345: 2, X56: 0, Y162534: 2, X46: 0, X32: +Infinity, X13: 1, Y123546: 0, X34: 0, X53: 0, X25: 2, X42: +Infinity, X36: 0, X52: +Infinity, X23: 1, X62: +Infinity, X15: 2, X21: 2, Y132645: +Infinity, Y142536: 2, X64: 0, Y123645: 0, Y142356: 2, Y152346: 2}

#Node(F35, F26)
trueTNodes[(F35, F26)] ={X31: 0, X45: 0, X26: +Infinity, X12: 0, Y142635: +Infinity, X35: +Infinity, X41: 0, X24: 0, X51: 0, X43: 0, Y132546: 0, X16: 2, X63: 0, Y132456: 0, X14: 0, X61: 2, Y152436: 0, Y123456: 0, X65: 0, Y152634: +Infinity, X54: 0, Y162435: +Infinity, Y162345: 2, X56: 0, Y162534: 2, X46: 0, X32: 0, X13: -1, Y123546: +Infinity, X34: 0, X53: +Infinity, X25: 0, X42: 0, X36: 0, X52: 0, X23: -1, X62: +Infinity, X15: 0, X21: 0, Y132645: +Infinity, Y142536: 0, X64: 0, Y123645: 0, Y142356: 0, Y152346: 0}

#Node(F24, F56)
trueTNodes[(F24, F56)] ={X31: 1, X45: 1, X26: 1, X12: 1, Y142635: 3, X35: 1, X41: 3, X24: +Infinity, X51: 1, X43: 1, Y132546: 1, X16: 1, X63: 1, Y132456: +Infinity, X14: 4, X61: 1, Y152436: +Infinity, Y123456: +Infinity, X65: +Infinity, Y152634: 1, X54: 2, Y162435: +Infinity, Y162345: 1, X56: +Infinity, Y162534: 1, X46: 1, X32: 1, X13: 0, Y123546: 1, X34: 2, X53: 1, X25: 1, X42: +Infinity, X36: 1, X52: 1, X23: 0, X62: 1, X15: 1, X21: 1, Y132645: 1, Y142536: 3, X64: 2, Y123645: 1, Y142356: +Infinity, Y152346: 1}

#Node(G5, F25)
trueTNodes[(G5, F25)] ={X31: 2, X45: +Infinity, X26: 2, X12: 2, Y142635: 2, X35: +Infinity, X41: 2, X24: 2, X51: 4, X43: 2, Y132546: +Infinity, X16: 2, X63: 2, Y132456: 2, X14: 2, X61: 2, Y152436: 4, Y123456: 2, X65: +Infinity, Y152634: 4, X54: 2, Y162435: 2, Y162345: 2, X56: 2, Y162534: +Infinity, X46: 3, X32: 2, X13: 1, Y123546: 3, X34: 2, X53: 2, X25: +Infinity, X42: 2, X36: 2, X52: +Infinity, X23: 1, X62: 2, X15: +Infinity, X21: 2, Y132645: 2, Y142536: +Infinity, X64: 3, Y123645: 2, Y142356: 2, Y152346: 5}

#Node(F24, F35)
trueTNodes[(F24, F35)] ={X31: 0, X45: 0, X26: 0, X12: 0, Y142635: +Infinity, X35: +Infinity, X41: 2, X24: +Infinity, X51: 0, X43: 0, Y132546: 0, X16: 0, X63: 0, Y132456: +Infinity, X14: 2, X61: 0, Y152436: +Infinity, Y123456: 0, X65: 0, Y152634: 0, X54: 0, Y162435: +Infinity, Y162345: 0, X56: 0, Y162534: 0, X46: 0, X32: 0, X13: -1, Y123546: +Infinity, X34: 0, X53: +Infinity, X25: 0, X42: +Infinity, X36: 0, X52: 0, X23: -1, X62: 0, X15: 0, X21: 0, Y132645: 0, Y142536: 2, X64: 0, Y123645: 0, Y142356: 2, Y152346: 0}

#Node(E1, F12)
trueTNodes[(E1, F12)] ={X31: 1, X45: 1, X26: 3, X12: +Infinity, Y142635: 0, X35: 1, X41: 0, X24: 3, X51: 0, X43: 0, Y132546: 1, X16: +Infinity, X63: 0, Y132456: 1, X14: +Infinity, X61: 0, Y152436: 0, Y123456: +Infinity, X65: 1, Y152634: 0, X54: 1, Y162435: 0, Y162345: 1, X56: 1, Y162534: 0, X46: 1, X32: 1, X13: +Infinity, Y123546: +Infinity, X34: 1, X53: 0, X25: 3, X42: 0, X36: 1, X52: 0, X23: 2, X62: 0, X15: +Infinity, X21: +Infinity, Y132645: 1, Y142536: 0, X64: 1, Y123645: +Infinity, Y142356: 1, Y152346: 1}

#Node(F34, F25)
trueTNodes[(F34, F25)] ={X31: -1, X45: -1, X26: -1, X12: -1, Y142635: -1, X35: -1, X41: -1, X24: -1, X51: 1, X43: +Infinity, Y132546: +Infinity, X16: -1, X63: -1, Y132456: -1, X14: -1, X61: -1, Y152436: 1, Y123456: +Infinity, X65: -1, Y152634: +Infinity, X54: -1, Y162435: -1, Y162345: -1, X56: -1, Y162534: +Infinity, X46: -1, X32: -1, X13: -2, Y123546: -1, X34: +Infinity, X53: -1, X25: +Infinity, X42: -1, X36: -1, X52: +Infinity, X23: -2, X62: -1, X15: 1, X21: -1, Y132645: -1, Y142536: +Infinity, X64: -1, Y123645: -1, Y142356: -1, Y152346: 1}

#Node(F45, F36)
trueTNodes[(F45, F36)] ={X31: 3, X45: +Infinity, X26: 4, X12: 3, Y142635: 3, X35: 3, X41: 3, X24: 3, X51: 3, X43: 3, Y132546: 3, X16: 4, X63: +Infinity, Y132456: 3, X14: 3, X61: 3, Y152436: +Infinity, Y123456: 3, X65: 3, Y152634: 3, X54: +Infinity, Y162435: 3, Y162345: +Infinity, X56: 4, Y162534: 3, X46: 4, X32: 3, X13: 2, Y123546: 3, X34: 3, X53: 3, X25: 3, X42: 3, X36: +Infinity, X52: 3, X23: 2, X62: 3, X15: 3, X21: 3, Y132645: +Infinity, Y142536: +Infinity, X64: 3, Y123645: +Infinity, Y142356: 3, Y152346: 3}

#Node(F14, F35)
trueTNodes[(F14, F35)] ={X31: 0, X45: 0, X26: 0, X12: 0, Y142635: +Infinity, X35: +Infinity, X41: +Infinity, X24: 2, X51: 0, X43: 0, Y132546: 0, X16: 0, X63: 0, Y132456: 2, X14: +Infinity, X61: 0, Y152436: 2, Y123456: 0, X65: 0, Y152634: 0, X54: 0, Y162435: +Infinity, Y162345: 0, X56: 0, Y162534: 0, X46: 0, X32: 0, X13: -1, Y123546: +Infinity, X34: 0, X53: +Infinity, X25: 0, X42: 2, X36: 0, X52: 0, X23: -1, X62: 0, X15: 0, X21: 0, Y132645: 0, Y142536: +Infinity, X64: 0, Y123645: 0, Y142356: +Infinity, Y152346: 0}

#Node(G6, E3)
trueTNodes[(G6, E3)] ={X31: +Infinity, X45: 2, X26: +Infinity, X12: 2, Y142635: 1, X35: +Infinity, X41: 1, X24: 2, X51: 1, X43: 1, Y132546: 2, X16: +Infinity, X63: 1, Y132456: 2, X14: 2, X61: 1, Y152436: 1, Y123456: 2, X65: 2, Y152634: 1, X54: 2, Y162435: 1, Y162345: 2, X56: +Infinity, Y162534: 1, X46: +Infinity, X32: +Infinity, X13: 1, Y123546: 2, X34: +Infinity, X53: 1, X25: 2, X42: 1, X36: +Infinity, X52: 1, X23: 1, X62: 1, X15: 2, X21: 2, Y132645: 2, Y142536: 1, X64: 2, Y123645: 2, Y142356: 2, Y152346: 2}

#Node(F34, F26)
trueTNodes[(F34, F26)] ={X31: -1, X45: -1, X26: +Infinity, X12: -1, Y142635: +Infinity, X35: -1, X41: -1, X24: -1, X51: -1, X43: +Infinity, Y132546: -1, X16: 1, X63: -1, Y132456: -1, X14: -1, X61: 1, Y152436: -1, Y123456: +Infinity, X65: -1, Y152634: +Infinity, X54: -1, Y162435: 1, Y162345: 1, X56: -1, Y162534: +Infinity, X46: -1, X32: -1, X13: -2, Y123546: -1, X34: +Infinity, X53: -1, X25: -1, X42: -1, X36: -1, X52: -1, X23: -2, X62: +Infinity, X15: -1, X21: -1, Y132645: +Infinity, Y142536: -1, X64: -1, Y123645: -1, Y142356: -1, Y152346: -1}

#Node(F15, G1)
trueTNodes[(F15, G1)] ={X31: +Infinity, X45: -5, X26: -3, X12: -3, Y142635: -3, X35: -5, X41: +Infinity, X24: -3, X51: +Infinity, X43: -5, Y132546: -3, X16: -3, X63: -5, Y132456: -3, X14: -3, X61: +Infinity, Y152436: +Infinity, Y123456: -5, X65: -5, Y152634: +Infinity, X54: -5, Y162435: -3, Y162345: -3, X56: -5, Y162534: -3, X46: -5, X32: -3, X13: -4, Y123546: -5, X34: -5, X53: -5, X25: -3, X42: -3, X36: -5, X52: -3, X23: -4, X62: -3, X15: +Infinity, X21: +Infinity, Y132645: -3, Y142536: -3, X64: -5, Y123645: -5, Y142356: -3, Y152346: +Infinity}

#Node(G4, F34)
trueTNodes[(G4, F34)] ={X31: 2, X45: 2, X26: 2, X12: 2, Y142635: 2, X35: 2, X41: 2, X24: +Infinity, X51: 2, X43: +Infinity, Y132546: 2, X16: 2, X63: 2, Y132456: 3, X14: +Infinity, X61: 2, Y152436: 2, Y123456: +Infinity, X65: 3, Y152634: +Infinity, X54: +Infinity, Y162435: 2, Y162345: 2, X56: 3, Y162534: +Infinity, X46: 2, X32: 2, X13: 1, Y123546: 2, X34: +Infinity, X53: 2, X25: 2, X42: 2, X36: 2, X52: 2, X23: 1, X62: 2, X15: 2, X21: 2, Y132645: 2, Y142536: 2, X64: +Infinity, Y123645: 2, Y142356: 3, Y152346: 2}

#Node(G2, F12)
trueTNodes[(G2, F12)] ={X31: 1, X45: -2, X26: -2, X12: +Infinity, Y142635: -2, X35: -1, X41: 0, X24: -2, X51: 0, X43: -2, Y132546: -2, X16: -2, X63: -2, Y132456: -2, X14: -2, X61: 0, Y152436: -2, Y123456: +Infinity, X65: -2, Y152634: -2, X54: -2, Y162435: -2, Y162345: -2, X56: -2, Y162534: -2, X46: -2, X32: +Infinity, X13: -3, Y123546: +Infinity, X34: -1, X53: -2, X25: -2, X42: +Infinity, X36: -1, X52: +Infinity, X23: -3, X62: +Infinity, X15: -2, X21: +Infinity, Y132645: -2, Y142536: -2, X64: -2, Y123645: +Infinity, Y142356: -2, Y152346: -2}

#Node(E2, F25)
trueTNodes[(E2, F25)] ={X31: 2, X45: -1, X26: +Infinity, X12: 1, Y142635: 1, X35: -1, X41: 1, X24: +Infinity, X51: 1, X43: -1, Y132546: +Infinity, X16: 1, X63: -1, Y132456: 2, X14: 1, X61: 1, Y152436: 1, Y123456: -1, X65: -1, Y152634: 1, X54: -1, Y162435: 1, Y162345: 1, X56: -1, Y162534: +Infinity, X46: -1, X32: 1, X13: 1, Y123546: -1, X34: -1, X53: -1, X25: +Infinity, X42: 1, X36: -1, X52: +Infinity, X23: +Infinity, X62: 1, X15: 1, X21: +Infinity, Y132645: 2, Y142536: +Infinity, X64: -1, Y123645: -1, Y142356: 1, Y152346: 1}

#Node(F23, E2)
trueTNodes[(F23, E2)] ={X31: 3, X45: 1, X26: +Infinity, X12: 3, Y142635: 2, X35: 1, X41: 2, X24: +Infinity, X51: 2, X43: 1, Y132546: 3, X16: 3, X63: 1, Y132456: 3, X14: 3, X61: 2, Y152436: 2, Y123456: 1, X65: 1, Y152634: 2, X54: 1, Y162435: 2, Y162345: +Infinity, X56: 1, Y162534: 2, X46: 1, X32: +Infinity, X13: 3, Y123546: 1, X34: 1, X53: 1, X25: +Infinity, X42: 2, X36: 1, X52: 2, X23: +Infinity, X62: 2, X15: 3, X21: +Infinity, Y132645: 3, Y142536: 2, X64: 1, Y123645: 1, Y142356: +Infinity, Y152346: +Infinity}

#Node(F16, G1)
trueTNodes[(F16, G1)] ={X31: +Infinity, X45: -5, X26: -3, X12: -3, Y142635: -3, X35: -5, X41: +Infinity, X24: -3, X51: +Infinity, X43: -5, Y132546: -3, X16: +Infinity, X63: -5, Y132456: -3, X14: -3, X61: +Infinity, Y152436: -3, Y123456: -5, X65: -5, Y152634: -3, X54: -5, Y162435: +Infinity, Y162345: +Infinity, X56: -5, Y162534: +Infinity, X46: -5, X32: -3, X13: -4, Y123546: -5, X34: -5, X53: -5, X25: -3, X42: -3, X36: -5, X52: -3, X23: -4, X62: -3, X15: -3, X21: +Infinity, Y132645: -3, Y142536: -3, X64: -5, Y123645: -5, Y142356: -3, Y152346: -3}

#Node(F56, G6)
trueTNodes[(F56, G6)] ={X31: 3, X45: 3, X26: +Infinity, X12: 3, Y142635: 2, X35: 3, X41: 2, X24: 3, X51: 2, X43: 2, Y132546: 3, X16: +Infinity, X63: 2, Y132456: +Infinity, X14: 3, X61: 2, Y152436: 2, Y123456: +Infinity, X65: +Infinity, Y152634: 2, X54: 3, Y162435: 2, Y162345: 3, X56: +Infinity, Y162534: 2, X46: +Infinity, X32: 3, X13: 2, Y123546: 3, X34: 3, X53: 2, X25: 3, X42: 2, X36: +Infinity, X52: 2, X23: 2, X62: 2, X15: 3, X21: 3, Y132645: 3, Y142536: 2, X64: 3, Y123645: 3, Y142356: +Infinity, Y152346: 3}

#Node(F36, F12)
trueTNodes[(F36, F12)] ={X31: 1, X45: 0, X26: 0, X12: +Infinity, Y142635: 0, X35: 1, X41: 0, X24: 0, X51: 0, X43: 0, Y132546: 0, X16: 0, X63: +Infinity, Y132456: 0, X14: 0, X61: 0, Y152436: +Infinity, Y123456: +Infinity, X65: 0, Y152634: 0, X54: 0, Y162435: 0, Y162345: 0, X56: 0, Y162534: 0, X46: 0, X32: 1, X13: -1, Y123546: +Infinity, X34: 1, X53: 0, X25: 0, X42: 0, X36: +Infinity, X52: 0, X23: -1, X62: 0, X15: 0, X21: +Infinity, Y132645: 0, Y142536: +Infinity, X64: 0, Y123645: +Infinity, Y142356: 0, Y152346: 0}

#Node(F45, F12)
trueTNodes[(F45, F12)] ={X31: 2, X45: +Infinity, X26: 2, X12: +Infinity, Y142635: 1, X35: 2, X41: 1, X24: 2, X51: 1, X43: 1, Y132546: 2, X16: 2, X63: 1, Y132456: 2, X14: 2, X61: 1, Y152436: 1, Y123456: +Infinity, X65: 2, Y152634: 1, X54: +Infinity, Y162435: 1, Y162345: +Infinity, X56: 2, Y162534: 1, X46: 2, X32: 2, X13: 1, Y123546: +Infinity, X34: 2, X53: 1, X25: 2, X42: 1, X36: 2, X52: 1, X23: 1, X62: 1, X15: 2, X21: +Infinity, Y132645: +Infinity, Y142536: 1, X64: 2, Y123645: +Infinity, Y142356: 2, Y152346: 2}

#Node(F14, G1)
trueTNodes[(F14, G1)] ={X31: +Infinity, X45: -5, X26: -3, X12: -3, Y142635: +Infinity, X35: -5, X41: +Infinity, X24: -3, X51: +Infinity, X43: -5, Y132546: -3, X16: -3, X63: -5, Y132456: -3, X14: +Infinity, X61: +Infinity, Y152436: -3, Y123456: -5, X65: -5, Y152634: -3, X54: -5, Y162435: -3, Y162345: -3, X56: -5, Y162534: -3, X46: -5, X32: -3, X13: -4, Y123546: -5, X34: -5, X53: -5, X25: -3, X42: -3, X36: -5, X52: -3, X23: -4, X62: -3, X15: -3, X21: +Infinity, Y132645: -3, Y142536: +Infinity, X64: -5, Y123645: -5, Y142356: +Infinity, Y152346: -3}

#Node(F35, G3)
trueTNodes[(F35, G3)] ={X31: 3, X45: 3, X26: 3, X12: 3, Y142635: +Infinity, X35: +Infinity, X41: 3, X24: 3, X51: 3, X43: +Infinity, Y132546: 3, X16: 3, X63: +Infinity, Y132456: 3, X14: 3, X61: 3, Y152436: 3, Y123456: 3, X65: 3, Y152634: 3, X54: 3, Y162435: +Infinity, Y162345: 3, X56: 3, Y162534: 3, X46: 3, X32: 3, X13: +Infinity, Y123546: +Infinity, X34: 3, X53: +Infinity, X25: 3, X42: 3, X36: 3, X52: 3, X23: +Infinity, X62: 3, X15: 3, X21: 3, Y132645: 3, Y142536: 3, X64: 3, Y123645: 3, Y142356: 3, Y152346: 3}

#Node(E5, G6)
trueTNodes[(E5, G6)] ={X31: 2, X45: 3, X26: +Infinity, X12: 2, Y142635: 2, X35: 2, X41: 2, X24: 2, X51: +Infinity, X43: 2, Y132546: 2, X16: +Infinity, X63: 2, Y132456: 2, X14: 2, X61: 2, Y152436: 2, Y123456: 2, X65: 2, Y152634: 2, X54: +Infinity, Y162435: 2, Y162345: 3, X56: +Infinity, Y162534: 2, X46: +Infinity, X32: 2, X13: 1, Y123546: 2, X34: 2, X53: +Infinity, X25: 2, X42: 2, X36: +Infinity, X52: +Infinity, X23: 1, X62: 2, X15: 2, X21: 2, Y132645: 3, Y142536: 2, X64: 2, Y123645: 3, Y142356: 2, Y152346: 2}

#Node(G6, E2)
trueTNodes[(G6, E2)] ={X31: 0, X45: 0, X26: +Infinity, X12: 2, Y142635: -1, X35: 0, X41: -1, X24: +Infinity, X51: -1, X43: -1, Y132546: 0, X16: +Infinity, X63: -1, Y132456: 0, X14: 2, X61: -1, Y152436: -1, Y123456: 0, X65: 0, Y152634: -1, X54: 0, Y162435: -1, Y162345: 0, X56: +Infinity, Y162534: -1, X46: +Infinity, X32: 0, X13: 1, Y123546: 0, X34: 0, X53: -1, X25: +Infinity, X42: -1, X36: +Infinity, X52: -1, X23: +Infinity, X62: -1, X15: 2, X21: +Infinity, Y132645: 0, Y142536: -1, X64: 0, Y123645: 0, Y142356: 0, Y152346: 0}

#Node(E4, F46)
trueTNodes[(E4, F46)] ={X31: -1, X45: +Infinity, X26: -1, X12: -1, Y142635: -1, X35: 0, X41: +Infinity, X24: -1, X51: -1, X43: +Infinity, Y132546: +Infinity, X16: -1, X63: -1, Y132456: -1, X14: -1, X61: -1, Y152436: -1, Y123456: -1, X65: 0, Y152634: -1, X54: -1, Y162435: -1, Y162345: -1, X56: -1, Y162534: -1, X46: +Infinity, X32: -1, X13: -2, Y123546: +Infinity, X34: -1, X53: -1, X25: 0, X42: +Infinity, X36: -1, X52: -1, X23: -2, X62: -1, X15: 0, X21: -1, Y132645: -1, Y142536: -1, X64: +Infinity, Y123645: -1, Y142356: -1, Y152346: +Infinity}

#Node(E4, G2)
trueTNodes[(E4, G2)] ={X31: 4, X45: +Infinity, X26: 2, X12: +Infinity, Y142635: 2, X35: 2, X41: +Infinity, X24: 2, X51: 4, X43: +Infinity, Y132546: 2, X16: 2, X63: 2, Y132456: 2, X14: 2, X61: 4, Y152436: 2, Y123456: 2, X65: 2, Y152634: 2, X54: 2, Y162435: 2, Y162345: 2, X56: 2, Y162534: 2, X46: +Infinity, X32: +Infinity, X13: 1, Y123546: 2, X34: 2, X53: 2, X25: 2, X42: +Infinity, X36: 2, X52: +Infinity, X23: 1, X62: +Infinity, X15: 2, X21: 4, Y132645: 2, Y142536: 2, X64: 2, Y123645: 2, Y142356: 2, Y152346: 2}

#Node(F45, F13)
trueTNodes[(F45, F13)] ={X31: +Infinity, X45: +Infinity, X26: 0, X12: 0, Y142635: -1, X35: 0, X41: -1, X24: 0, X51: -1, X43: -1, Y132546: +Infinity, X16: 0, X63: -1, Y132456: +Infinity, X14: 0, X61: -1, Y152436: -1, Y123456: 0, X65: 0, Y152634: -1, X54: +Infinity, Y162435: -1, Y162345: +Infinity, X56: 0, Y162534: -1, X46: 0, X32: 2, X13: +Infinity, Y123546: 0, X34: 0, X53: -1, X25: 0, X42: -1, X36: 0, X52: -1, X23: 1, X62: -1, X15: 0, X21: 0, Y132645: +Infinity, Y142536: -1, X64: 0, Y123645: +Infinity, Y142356: 2, Y152346: 2}

#Node(F24, E4)
trueTNodes[(F24, E4)] ={X31: 0, X45: +Infinity, X26: 0, X12: 0, Y142635: 2, X35: 0, X41: +Infinity, X24: +Infinity, X51: 0, X43: +Infinity, Y132546: 0, X16: 0, X63: 0, Y132456: +Infinity, X14: 2, X61: 0, Y152436: +Infinity, Y123456: 0, X65: 0, Y152634: 0, X54: 0, Y162435: +Infinity, Y162345: 0, X56: 0, Y162534: 0, X46: +Infinity, X32: 0, X13: -1, Y123546: 0, X34: 0, X53: 0, X25: 0, X42: +Infinity, X36: 0, X52: 0, X23: -1, X62: 0, X15: 0, X21: 0, Y132645: 0, Y142536: 2, X64: 0, Y123645: 0, Y142356: 2, Y152346: 0}

#Node(G1, E6)
trueTNodes[(G1, E6)] ={X31: +Infinity, X45: 3, X26: 3, X12: 5, Y142635: 3, X35: 3, X41: +Infinity, X24: 3, X51: +Infinity, X43: 3, Y132546: 3, X16: 3, X63: +Infinity, Y132456: 3, X14: 3, X61: +Infinity, Y152436: 3, Y123456: 3, X65: +Infinity, Y152634: 3, X54: 3, Y162435: 3, Y162345: 3, X56: 3, Y162534: 3, X46: 3, X32: 5, X13: 2, Y123546: 3, X34: 3, X53: 3, X25: 3, X42: 5, X36: 3, X52: 5, X23: 2, X62: +Infinity, X15: 3, X21: +Infinity, Y132645: 3, Y142536: 3, X64: +Infinity, Y123645: 3, Y142356: 3, Y152346: 3}

#Node(E4, F45)
trueTNodes[(E4, F45)] ={X31: 4, X45: +Infinity, X26: 5, X12: 4, Y142635: 4, X35: 4, X41: +Infinity, X24: 4, X51: 4, X43: +Infinity, Y132546: 4, X16: 5, X63: 4, Y132456: 4, X14: 4, X61: 4, Y152436: 4, Y123456: 4, X65: 4, Y152634: 4, X54: +Infinity, Y162435: 4, Y162345: +Infinity, X56: 5, Y162534: 4, X46: +Infinity, X32: 4, X13: 3, Y123546: 4, X34: 4, X53: 4, X25: 4, X42: +Infinity, X36: 5, X52: 4, X23: 3, X62: 4, X15: 4, X21: 4, Y132645: +Infinity, Y142536: 4, X64: 4, Y123645: +Infinity, Y142356: 4, Y152346: 4}

#Node(E3, F13)
trueTNodes[(E3, F13)] ={X31: +Infinity, X45: 3, X26: 3, X12: 3, Y142635: 2, X35: +Infinity, X41: 2, X24: 3, X51: 2, X43: 2, Y132546: +Infinity, X16: 3, X63: 2, Y132456: +Infinity, X14: 3, X61: 2, Y152436: 2, Y123456: 3, X65: 3, Y152634: 2, X54: 3, Y162435: 2, Y162345: 5, X56: 3, Y162534: 2, X46: 3, X32: +Infinity, X13: +Infinity, Y123546: 3, X34: +Infinity, X53: 2, X25: 3, X42: 2, X36: +Infinity, X52: 2, X23: 4, X62: 2, X15: 3, X21: 3, Y132645: +Infinity, Y142536: 2, X64: 3, Y123645: 3, Y142356: 5, Y152346: 5}

#Node(F46, F15)
trueTNodes[(F46, F15)] ={X31: 1, X45: 2, X26: 1, X12: 1, Y142635: 1, X35: 2, X41: 1, X24: 1, X51: +Infinity, X43: 1, Y132546: +Infinity, X16: 1, X63: 1, Y132456: 1, X14: 1, X61: 1, Y152436: +Infinity, Y123456: 1, X65: 2, Y152634: +Infinity, X54: 1, Y162435: 1, Y162345: 1, X56: 1, Y162534: 3, X46: +Infinity, X32: 1, X13: 0, Y123546: +Infinity, X34: 1, X53: 1, X25: 4, X42: 1, X36: 1, X52: 3, X23: 0, X62: 1, X15: +Infinity, X21: 1, Y132645: 1, Y142536: 3, X64: +Infinity, Y123645: 1, Y142356: 1, Y152346: +Infinity}

#Node(F56, G5)
trueTNodes[(F56, G5)] ={X31: 3, X45: +Infinity, X26: 3, X12: 3, Y142635: 2, X35: +Infinity, X41: 2, X24: 3, X51: 2, X43: 2, Y132546: 3, X16: 3, X63: 2, Y132456: +Infinity, X14: 3, X61: 2, Y152436: 2, Y123456: +Infinity, X65: +Infinity, Y152634: 2, X54: 3, Y162435: 2, Y162345: 3, X56: +Infinity, Y162534: 2, X46: 3, X32: 3, X13: 2, Y123546: 3, X34: 3, X53: 2, X25: +Infinity, X42: 2, X36: 3, X52: 2, X23: 2, X62: 2, X15: +Infinity, X21: 3, Y132645: 3, Y142536: 2, X64: 3, Y123645: 3, Y142356: +Infinity, Y152346: 3}

#Node(E4, G3)
trueTNodes[(E4, G3)] ={X31: -2, X45: +Infinity, X26: -2, X12: -2, Y142635: -2, X35: -2, X41: +Infinity, X24: -2, X51: -2, X43: +Infinity, Y132546: -2, X16: -2, X63: +Infinity, Y132456: -2, X14: -2, X61: -2, Y152436: -2, Y123456: -2, X65: -2, Y152634: -2, X54: -2, Y162435: -2, Y162345: -2, X56: -2, Y162534: -2, X46: +Infinity, X32: -2, X13: +Infinity, Y123546: -2, X34: -2, X53: +Infinity, X25: -2, X42: +Infinity, X36: -2, X52: -2, X23: +Infinity, X62: -2, X15: -2, X21: -2, Y132645: -2, Y142536: -2, X64: -2, Y123645: -2, Y142356: -2, Y152346: -2}

#Node(E3, F36)
trueTNodes[(E3, F36)] ={X31: +Infinity, X45: 2, X26: 2, X12: 3, Y142635: 2, X35: +Infinity, X41: 2, X24: 2, X51: 2, X43: 2, Y132546: 2, X16: 2, X63: +Infinity, Y132456: 2, X14: 2, X61: 2, Y152436: +Infinity, Y123456: 3, X65: 2, Y152634: 2, X54: 2, Y162435: 2, Y162345: 2, X56: 2, Y162534: 2, X46: 2, X32: +Infinity, X13: 1, Y123546: 3, X34: +Infinity, X53: 2, X25: 2, X42: 2, X36: +Infinity, X52: 2, X23: 1, X62: 2, X15: 2, X21: 3, Y132645: 2, Y142536: +Infinity, X64: 2, Y123645: +Infinity, Y142356: 2, Y152346: 2}

#Node(E2, G3)
trueTNodes[(E2, G3)] ={X31: 2, X45: 1, X26: +Infinity, X12: 3, Y142635: 1, X35: 1, X41: 1, X24: +Infinity, X51: 1, X43: +Infinity, Y132546: 2, X16: 3, X63: +Infinity, Y132456: 2, X14: 3, X61: 1, Y152436: 1, Y123456: 1, X65: 1, Y152634: 1, X54: 1, Y162435: 1, Y162345: 2, X56: 1, Y162534: 1, X46: 1, X32: 2, X13: +Infinity, Y123546: 1, X34: 1, X53: +Infinity, X25: +Infinity, X42: 1, X36: 1, X52: 1, X23: +Infinity, X62: 1, X15: 3, X21: +Infinity, Y132645: 2, Y142536: 1, X64: 1, Y123645: 1, Y142356: 2, Y152346: 2}

#Node(F23, F15)
trueTNodes[(F23, F15)] ={X31: -2, X45: -4, X26: -2, X12: -1, Y142635: -2, X35: -4, X41: -2, X24: -2, X51: +Infinity, X43: -4, Y132546: -2, X16: -1, X63: -4, Y132456: -2, X14: -1, X61: -2, Y152436: +Infinity, Y123456: -4, X65: -4, Y152634: +Infinity, X54: -4, Y162435: -2, Y162345: +Infinity, X56: -4, Y162534: -2, X46: -4, X32: +Infinity, X13: -2, Y123546: -4, X34: -4, X53: -4, X25: -2, X42: -2, X36: -4, X52: -2, X23: +Infinity, X62: -2, X15: +Infinity, X21: -2, Y132645: -2, Y142536: -2, X64: -4, Y123645: -4, Y142356: +Infinity, Y152346: +Infinity}

#Node(G3, E6)
trueTNodes[(G3, E6)] ={X31: 3, X45: 3, X26: 3, X12: 3, Y142635: 3, X35: 3, X41: 3, X24: 3, X51: 3, X43: +Infinity, Y132546: 3, X16: 3, X63: +Infinity, Y132456: 3, X14: 3, X61: +Infinity, Y152436: 3, Y123456: 3, X65: +Infinity, Y152634: 3, X54: 3, Y162435: 3, Y162345: 3, X56: 3, Y162534: 3, X46: 3, X32: 3, X13: +Infinity, Y123546: 3, X34: 3, X53: +Infinity, X25: 3, X42: 3, X36: 3, X52: 3, X23: +Infinity, X62: +Infinity, X15: 3, X21: 3, Y132645: 3, Y142536: 3, X64: +Infinity, Y123645: 3, Y142356: 3, Y152346: 3}

#Node(E1, F13)
trueTNodes[(E1, F13)] ={X31: +Infinity, X45: 1, X26: 3, X12: +Infinity, Y142635: 2, X35: 1, X41: 2, X24: 3, X51: 2, X43: 1, Y132546: +Infinity, X16: +Infinity, X63: 1, Y132456: +Infinity, X14: +Infinity, X61: 2, Y152436: 2, Y123456: 1, X65: 1, Y152634: 2, X54: 1, Y162435: 2, Y162345: 3, X56: 1, Y162534: 2, X46: 1, X32: 3, X13: +Infinity, Y123546: 1, X34: 1, X53: 1, X25: 3, X42: 2, X36: 1, X52: 2, X23: 3, X62: 2, X15: +Infinity, X21: 3, Y132645: +Infinity, Y142536: 2, X64: 1, Y123645: 1, Y142356: 3, Y152346: 3}

#Node(F45, G4)
trueTNodes[(F45, G4)] ={X31: 3, X45: +Infinity, X26: 3, X12: 3, Y142635: 2, X35: 3, X41: 2, X24: +Infinity, X51: 2, X43: 2, Y132546: 3, X16: 3, X63: 2, Y132456: 3, X14: +Infinity, X61: 2, Y152436: 2, Y123456: 3, X65: 3, Y152634: 2, X54: +Infinity, Y162435: 2, Y162345: +Infinity, X56: 3, Y162534: 2, X46: 3, X32: 3, X13: 2, Y123546: 3, X34: +Infinity, X53: 2, X25: 3, X42: 2, X36: 3, X52: 2, X23: 2, X62: 2, X15: 3, X21: 3, Y132645: +Infinity, Y142536: 2, X64: +Infinity, Y123645: +Infinity, Y142356: 3, Y152346: 3}

#Node(E4, G5)
trueTNodes[(E4, G5)] ={X31: 0, X45: +Infinity, X26: 0, X12: 0, Y142635: 0, X35: +Infinity, X41: +Infinity, X24: 0, X51: 0, X43: +Infinity, Y132546: 1, X16: 0, X63: 0, Y132456: 0, X14: 0, X61: 0, Y152436: 0, Y123456: 0, X65: +Infinity, Y152634: 0, X54: 0, Y162435: 0, Y162345: 0, X56: 0, Y162534: 0, X46: +Infinity, X32: 0, X13: -1, Y123546: 1, X34: 0, X53: 0, X25: +Infinity, X42: +Infinity, X36: 0, X52: 0, X23: -1, X62: 0, X15: +Infinity, X21: 0, Y132645: 0, Y142536: 0, X64: 1, Y123645: 0, Y142356: 0, Y152346: 1}

#Node(F12, G1)
trueTNodes[(F12, G1)] ={X31: +Infinity, X45: 2, X26: 2, X12: +Infinity, Y142635: 2, X35: 3, X41: +Infinity, X24: 2, X51: +Infinity, X43: 2, Y132546: 2, X16: 2, X63: 2, Y132456: 2, X14: 2, X61: +Infinity, Y152436: 2, Y123456: +Infinity, X65: 2, Y152634: 2, X54: 2, Y162435: 2, Y162345: 2, X56: 2, Y162534: 2, X46: 2, X32: 5, X13: 1, Y123546: +Infinity, X34: 3, X53: 2, X25: 2, X42: 4, X36: 3, X52: 4, X23: 1, X62: 4, X15: 2, X21: +Infinity, Y132645: 2, Y142536: 2, X64: 2, Y123645: +Infinity, Y142356: 2, Y152346: 2}

#Node(E5, F45)
trueTNodes[(E5, F45)] ={X31: 4, X45: +Infinity, X26: 5, X12: 4, Y142635: 4, X35: 4, X41: 4, X24: 4, X51: +Infinity, X43: 4, Y132546: 4, X16: 5, X63: 4, Y132456: 4, X14: 4, X61: 4, Y152436: 4, Y123456: 4, X65: 4, Y152634: 4, X54: +Infinity, Y162435: 4, Y162345: +Infinity, X56: +Infinity, Y162534: 4, X46: 5, X32: 4, X13: 3, Y123546: 4, X34: 4, X53: +Infinity, X25: 4, X42: 4, X36: 5, X52: +Infinity, X23: 3, X62: 4, X15: 4, X21: 4, Y132645: +Infinity, Y142536: 4, X64: 4, Y123645: +Infinity, Y142356: 4, Y152346: 4}

#Node(F16, F35)
trueTNodes[(F16, F35)] ={X31: 0, X45: 0, X26: 2, X12: 0, Y142635: +Infinity, X35: +Infinity, X41: 0, X24: 0, X51: 0, X43: 0, Y132546: 0, X16: +Infinity, X63: 0, Y132456: 0, X14: 0, X61: +Infinity, Y152436: 0, Y123456: 0, X65: 0, Y152634: 2, X54: 0, Y162435: +Infinity, Y162345: +Infinity, X56: 0, Y162534: +Infinity, X46: 0, X32: 0, X13: -1, Y123546: +Infinity, X34: 0, X53: +Infinity, X25: 0, X42: 0, X36: 0, X52: 0, X23: -1, X62: 2, X15: 0, X21: 0, Y132645: 2, Y142536: 0, X64: 0, Y123645: 0, Y142356: 0, Y152346: 0}

#Node(F56, F12)
trueTNodes[(F56, F12)] ={X31: -3, X45: -3, X26: -3, X12: +Infinity, Y142635: -4, X35: -3, X41: -4, X24: -3, X51: -4, X43: -4, Y132546: -3, X16: -3, X63: -4, Y132456: +Infinity, X14: -3, X61: -4, Y152436: -4, Y123456: +Infinity, X65: +Infinity, Y152634: -4, X54: -3, Y162435: -4, Y162345: -3, X56: +Infinity, Y162534: -4, X46: -3, X32: -3, X13: -4, Y123546: +Infinity, X34: -3, X53: -4, X25: -3, X42: -4, X36: -3, X52: -4, X23: -4, X62: -4, X15: -3, X21: +Infinity, Y132645: -3, Y142536: -4, X64: -3, Y123645: +Infinity, Y142356: +Infinity, Y152346: -3}

#Node(F23, F16)
trueTNodes[(F23, F16)] ={X31: -2, X45: -4, X26: -2, X12: -1, Y142635: -2, X35: -4, X41: -2, X24: -2, X51: -2, X43: -4, Y132546: -2, X16: +Infinity, X63: -4, Y132456: -2, X14: -1, X61: +Infinity, Y152436: -2, Y123456: -4, X65: -4, Y152634: -2, X54: -4, Y162435: +Infinity, Y162345: +Infinity, X56: -4, Y162534: +Infinity, X46: -4, X32: +Infinity, X13: -2, Y123546: -4, X34: -4, X53: -4, X25: -2, X42: -2, X36: -4, X52: -2, X23: +Infinity, X62: -2, X15: -1, X21: -2, Y132645: -2, Y142536: -2, X64: -4, Y123645: -4, Y142356: +Infinity, Y152346: +Infinity}

#Node(G3, F34)
trueTNodes[(G3, F34)] ={X31: 3, X45: 3, X26: 3, X12: 3, Y142635: 3, X35: 3, X41: 3, X24: 3, X51: 3, X43: +Infinity, Y132546: 3, X16: 3, X63: +Infinity, Y132456: 3, X14: 3, X61: 3, Y152436: 3, Y123456: +Infinity, X65: 3, Y152634: +Infinity, X54: 3, Y162435: 3, Y162345: 3, X56: 3, Y162534: +Infinity, X46: 3, X32: 3, X13: +Infinity, Y123546: 3, X34: +Infinity, X53: +Infinity, X25: 3, X42: 3, X36: 3, X52: 3, X23: +Infinity, X62: 3, X15: 3, X21: 3, Y132645: 3, Y142536: 3, X64: 3, Y123645: 3, Y142356: 3, Y152346: 3}

#Node(G2, F25)
trueTNodes[(G2, F25)] ={X31: 2, X45: 0, X26: 2, X12: +Infinity, Y142635: 2, X35: 0, X41: 2, X24: 2, X51: 2, X43: 0, Y132546: +Infinity, X16: 2, X63: 0, Y132456: 2, X14: 2, X61: 2, Y152436: 2, Y123456: 0, X65: 0, Y152634: 2, X54: 0, Y162435: 2, Y162345: 2, X56: 0, Y162534: +Infinity, X46: 0, X32: +Infinity, X13: 1, Y123546: 0, X34: 0, X53: 0, X25: +Infinity, X42: +Infinity, X36: 0, X52: +Infinity, X23: 1, X62: +Infinity, X15: 2, X21: 2, Y132645: 2, Y142536: +Infinity, X64: 0, Y123645: 0, Y142356: 2, Y152346: 2}

#Node(E5, F56)
trueTNodes[(E5, F56)] ={X31: 0, X45: 0, X26: 0, X12: 0, Y142635: 0, X35: 0, X41: 0, X24: 1, X51: +Infinity, X43: 0, Y132546: 0, X16: 0, X63: 0, Y132456: +Infinity, X14: 1, X61: 0, Y152436: 0, Y123456: +Infinity, X65: +Infinity, Y152634: 0, X54: +Infinity, Y162435: 0, Y162345: 0, X56: +Infinity, Y162534: 0, X46: 0, X32: 0, X13: -1, Y123546: 0, X34: 1, X53: +Infinity, X25: 0, X42: 0, X36: 0, X52: +Infinity, X23: -1, X62: 0, X15: 0, X21: 0, Y132645: 0, Y142536: 0, X64: 1, Y123645: 0, Y142356: +Infinity, Y152346: 0}

#Node(E4, G6)
trueTNodes[(E4, G6)] ={X31: 2, X45: +Infinity, X26: +Infinity, X12: 2, Y142635: 2, X35: 2, X41: +Infinity, X24: 2, X51: 2, X43: +Infinity, Y132546: 2, X16: +Infinity, X63: 2, Y132456: 2, X14: 2, X61: 2, Y152436: 2, Y123456: 2, X65: 2, Y152634: 2, X54: 3, Y162435: 2, Y162345: 3, X56: +Infinity, Y162534: 2, X46: +Infinity, X32: 2, X13: 1, Y123546: 2, X34: 2, X53: 2, X25: 2, X42: +Infinity, X36: +Infinity, X52: 2, X23: 1, X62: 2, X15: 2, X21: 2, Y132645: 3, Y142536: 2, X64: 2, Y123645: 3, Y142356: 2, Y152346: 2}

#Node(F56, E6)
trueTNodes[(F56, E6)] ={X31: 0, X45: 0, X26: 0, X12: 0, Y142635: 0, X35: 0, X41: 0, X24: 1, X51: 0, X43: 0, Y132546: 0, X16: 0, X63: +Infinity, Y132456: +Infinity, X14: 1, X61: +Infinity, Y152436: 0, Y123456: +Infinity, X65: +Infinity, Y152634: 0, X54: 1, Y162435: 0, Y162345: 0, X56: +Infinity, Y162534: 0, X46: 0, X32: 0, X13: -1, Y123546: 0, X34: 1, X53: 0, X25: 0, X42: 0, X36: 0, X52: 0, X23: -1, X62: +Infinity, X15: 0, X21: 0, Y132645: 0, Y142536: 0, X64: +Infinity, Y123645: 0, Y142356: +Infinity, Y152346: 0}

#Node(G5, F35)
trueTNodes[(G5, F35)] ={X31: 2, X45: +Infinity, X26: 2, X12: 2, Y142635: +Infinity, X35: +Infinity, X41: 2, X24: 2, X51: 2, X43: 2, Y132546: 3, X16: 2, X63: 2, Y132456: 2, X14: 2, X61: 2, Y152436: 2, Y123456: 2, X65: +Infinity, Y152634: 2, X54: 2, Y162435: +Infinity, Y162345: 2, X56: 2, Y162534: 2, X46: 3, X32: 2, X13: 1, Y123546: +Infinity, X34: 2, X53: +Infinity, X25: +Infinity, X42: 2, X36: 2, X52: 2, X23: 1, X62: 2, X15: +Infinity, X21: 2, Y132645: 2, Y142536: 2, X64: 3, Y123645: 2, Y142356: 2, Y152346: 3}

#Node(F15, F34)
trueTNodes[(F15, F34)] ={X31: -1, X45: -1, X26: -1, X12: -1, Y142635: -1, X35: -1, X41: -1, X24: -1, X51: +Infinity, X43: +Infinity, Y132546: 1, X16: -1, X63: -1, Y132456: -1, X14: -1, X61: -1, Y152436: +Infinity, Y123456: +Infinity, X65: -1, Y152634: +Infinity, X54: -1, Y162435: -1, Y162345: -1, X56: -1, Y162534: +Infinity, X46: -1, X32: -1, X13: -2, Y123546: -1, X34: +Infinity, X53: -1, X25: 1, X42: -1, X36: -1, X52: 1, X23: -2, X62: -1, X15: +Infinity, X21: -1, Y132645: -1, Y142536: 1, X64: -1, Y123645: -1, Y142356: -1, Y152346: +Infinity}

#Node(E3, G1)
trueTNodes[(E3, G1)] ={X31: +Infinity, X45: 3, X26: 3, X12: 6, Y142635: 3, X35: +Infinity, X41: +Infinity, X24: 3, X51: +Infinity, X43: 3, Y132546: 3, X16: 3, X63: 3, Y132456: 3, X14: 3, X61: +Infinity, Y152436: 3, Y123456: 4, X65: 3, Y152634: 3, X54: 3, Y162435: 3, Y162345: 3, X56: 3, Y162534: 3, X46: 3, X32: +Infinity, X13: 2, Y123546: 4, X34: +Infinity, X53: 3, X25: 3, X42: 5, X36: +Infinity, X52: 5, X23: 2, X62: 5, X15: 3, X21: +Infinity, Y132645: 3, Y142536: 3, X64: 3, Y123645: 4, Y142356: 3, Y152346: 3}

#Node(F23, F14)
trueTNodes[(F23, F14)] ={X31: -2, X45: -4, X26: -2, X12: -1, Y142635: +Infinity, X35: -4, X41: +Infinity, X24: -2, X51: -2, X43: -4, Y132546: -2, X16: -1, X63: -4, Y132456: -2, X14: +Infinity, X61: -2, Y152436: -2, Y123456: -4, X65: -4, Y152634: -2, X54: -4, Y162435: -2, Y162345: +Infinity, X56: -4, Y162534: -2, X46: -4, X32: +Infinity, X13: -2, Y123546: -4, X34: -4, X53: -4, X25: -2, X42: -2, X36: -4, X52: -2, X23: +Infinity, X62: -2, X15: -1, X21: -2, Y132645: -2, Y142536: +Infinity, X64: -4, Y123645: -4, Y142356: +Infinity, Y152346: +Infinity}

#Node(F46, F12)
trueTNodes[(F46, F12)] ={X31: 1, X45: 1, X26: 1, X12: +Infinity, Y142635: 0, X35: 1, X41: 0, X24: 1, X51: 0, X43: 0, Y132546: +Infinity, X16: 1, X63: 0, Y132456: 1, X14: 1, X61: 0, Y152436: 0, Y123456: +Infinity, X65: 1, Y152634: 0, X54: 1, Y162435: 0, Y162345: 1, X56: 1, Y162534: 0, X46: +Infinity, X32: 1, X13: 0, Y123546: +Infinity, X34: 1, X53: 0, X25: 1, X42: 0, X36: 1, X52: 0, X23: 0, X62: 0, X15: 1, X21: +Infinity, Y132645: 1, Y142536: 0, X64: +Infinity, Y123645: +Infinity, Y142356: 1, Y152346: +Infinity}

#Node(F24, E2)
trueTNodes[(F24, E2)] ={X31: 1, X45: -2, X26: +Infinity, X12: 0, Y142635: 0, X35: -2, X41: 0, X24: +Infinity, X51: 0, X43: -2, Y132546: 1, X16: 0, X63: -2, Y132456: +Infinity, X14: 0, X61: 0, Y152436: +Infinity, Y123456: -2, X65: -2, Y152634: 0, X54: -2, Y162435: +Infinity, Y162345: 0, X56: -2, Y162534: 0, X46: -2, X32: 0, X13: 0, Y123546: -2, X34: -2, X53: -2, X25: +Infinity, X42: +Infinity, X36: -2, X52: 0, X23: +Infinity, X62: 0, X15: 0, X21: +Infinity, Y132645: 1, Y142536: 0, X64: -2, Y123645: -2, Y142356: 0, Y152346: 0}

#Node(E1, G4)
trueTNodes[(E1, G4)] ={X31: -1, X45: -1, X26: 1, X12: +Infinity, Y142635: -2, X35: -1, X41: -2, X24: +Infinity, X51: -2, X43: -2, Y132546: -1, X16: +Infinity, X63: -2, Y132456: -1, X14: +Infinity, X61: -2, Y152436: -2, Y123456: -1, X65: -1, Y152634: -2, X54: +Infinity, Y162435: -2, Y162345: -1, X56: -1, Y162534: -2, X46: -1, X32: -1, X13: +Infinity, Y123546: -1, X34: +Infinity, X53: -2, X25: 1, X42: -2, X36: -1, X52: -2, X23: 0, X62: -2, X15: +Infinity, X21: 1, Y132645: -1, Y142536: -2, X64: +Infinity, Y123645: -1, Y142356: -1, Y152346: -1}

#Node(E2, G4)
trueTNodes[(E2, G4)] ={X31: -1, X45: -1, X26: +Infinity, X12: 1, Y142635: -2, X35: -1, X41: -2, X24: +Infinity, X51: -2, X43: -2, Y132546: -1, X16: 1, X63: -2, Y132456: -1, X14: +Infinity, X61: -2, Y152436: -2, Y123456: -1, X65: -1, Y152634: -2, X54: +Infinity, Y162435: -2, Y162345: -1, X56: -1, Y162534: -2, X46: -1, X32: -1, X13: 0, Y123546: -1, X34: +Infinity, X53: -2, X25: +Infinity, X42: -2, X36: -1, X52: -2, X23: +Infinity, X62: -2, X15: 1, X21: +Infinity, Y132645: -1, Y142536: -2, X64: +Infinity, Y123645: -1, Y142356: -1, Y152346: -1}

#Node(E3, F34)
trueTNodes[(E3, F34)] ={X31: +Infinity, X45: 0, X26: 0, X12: 1, Y142635: 0, X35: +Infinity, X41: 0, X24: 0, X51: 0, X43: +Infinity, Y132546: 0, X16: 0, X63: 0, Y132456: 0, X14: 0, X61: 0, Y152436: 0, Y123456: +Infinity, X65: 0, Y152634: +Infinity, X54: 0, Y162435: 0, Y162345: 0, X56: 0, Y162534: +Infinity, X46: 0, X32: +Infinity, X13: -1, Y123546: 1, X34: +Infinity, X53: 0, X25: 0, X42: 0, X36: +Infinity, X52: 0, X23: -1, X62: 0, X15: 0, X21: 1, Y132645: 0, Y142536: 0, X64: 0, Y123645: 1, Y142356: 0, Y152346: 0}

#Node(G4, E6)
trueTNodes[(G4, E6)] ={X31: 2, X45: 2, X26: 2, X12: 2, Y142635: 2, X35: 2, X41: 2, X24: +Infinity, X51: 2, X43: 2, Y132546: 2, X16: 2, X63: +Infinity, Y132456: 3, X14: +Infinity, X61: +Infinity, Y152436: 2, Y123456: 3, X65: +Infinity, Y152634: 2, X54: +Infinity, Y162435: 2, Y162345: 2, X56: 3, Y162534: 2, X46: 2, X32: 2, X13: 1, Y123546: 2, X34: +Infinity, X53: 2, X25: 2, X42: 2, X36: 2, X52: 2, X23: 1, X62: +Infinity, X15: 2, X21: 2, Y132645: 2, Y142536: 2, X64: +Infinity, Y123645: 2, Y142356: 3, Y152346: 2}

#Node(F15, E1)
trueTNodes[(F15, E1)] ={X31: 1, X45: -1, X26: 1, X12: +Infinity, Y142635: 1, X35: -1, X41: 1, X24: 1, X51: +Infinity, X43: -1, Y132546: 1, X16: +Infinity, X63: -1, Y132456: 1, X14: +Infinity, X61: 1, Y152436: +Infinity, Y123456: -1, X65: -1, Y152634: +Infinity, X54: -1, Y162435: 1, Y162345: 2, X56: -1, Y162534: 1, X46: -1, X32: 2, X13: +Infinity, Y123546: -1, X34: -1, X53: -1, X25: 1, X42: 1, X36: -1, X52: 1, X23: 1, X62: 1, X15: +Infinity, X21: 1, Y132645: 1, Y142536: 1, X64: -1, Y123645: -1, Y142356: 2, Y152346: +Infinity}

#Node(F36, G3)
trueTNodes[(F36, G3)] ={X31: 3, X45: 3, X26: 3, X12: 3, Y142635: 3, X35: 3, X41: 3, X24: 3, X51: 3, X43: +Infinity, Y132546: 3, X16: 3, X63: +Infinity, Y132456: 3, X14: 3, X61: 3, Y152436: +Infinity, Y123456: 3, X65: 3, Y152634: 3, X54: 3, Y162435: 3, Y162345: 3, X56: 3, Y162534: 3, X46: 3, X32: 3, X13: +Infinity, Y123546: 3, X34: 3, X53: +Infinity, X25: 3, X42: 3, X36: +Infinity, X52: 3, X23: +Infinity, X62: 3, X15: 3, X21: 3, Y132645: 3, Y142536: +Infinity, X64: 3, Y123645: +Infinity, Y142356: 3, Y152346: 3}

#Node(F46, F35)
trueTNodes[(F46, F35)] ={X31: -1, X45: 0, X26: -1, X12: -1, Y142635: +Infinity, X35: +Infinity, X41: -1, X24: -1, X51: -1, X43: -1, Y132546: +Infinity, X16: -1, X63: -1, Y132456: -1, X14: -1, X61: -1, Y152436: -1, Y123456: -1, X65: 0, Y152634: -1, X54: -1, Y162435: +Infinity, Y162345: -1, X56: -1, Y162534: -1, X46: +Infinity, X32: -1, X13: -2, Y123546: +Infinity, X34: -1, X53: +Infinity, X25: 0, X42: -1, X36: -1, X52: -1, X23: -2, X62: -1, X15: 0, X21: -1, Y132645: -1, Y142536: -1, X64: +Infinity, Y123645: -1, Y142356: -1, Y152346: +Infinity}

#Node(E5, G3)
trueTNodes[(E5, G3)] ={X31: -1, X45: -1, X26: -1, X12: -1, Y142635: -1, X35: -1, X41: -1, X24: -1, X51: +Infinity, X43: +Infinity, Y132546: -1, X16: -1, X63: +Infinity, Y132456: -1, X14: -1, X61: -1, Y152436: -1, Y123456: -1, X65: -1, Y152634: -1, X54: +Infinity, Y162435: -1, Y162345: -1, X56: +Infinity, Y162534: -1, X46: -1, X32: -1, X13: +Infinity, Y123546: -1, X34: -1, X53: +Infinity, X25: -1, X42: -1, X36: -1, X52: +Infinity, X23: +Infinity, X62: -1, X15: -1, X21: -1, Y132645: -1, Y142536: -1, X64: -1, Y123645: -1, Y142356: -1, Y152346: -1}

#Node(F46, E6)
trueTNodes[(F46, E6)] ={X31: -1, X45: 0, X26: -1, X12: -1, Y142635: -1, X35: 0, X41: -1, X24: -1, X51: -1, X43: -1, Y132546: +Infinity, X16: -1, X63: +Infinity, Y132456: -1, X14: -1, X61: +Infinity, Y152436: -1, Y123456: -1, X65: +Infinity, Y152634: -1, X54: -1, Y162435: -1, Y162345: -1, X56: -1, Y162534: -1, X46: +Infinity, X32: -1, X13: -2, Y123546: +Infinity, X34: -1, X53: -1, X25: 0, X42: -1, X36: -1, X52: -1, X23: -2, X62: +Infinity, X15: 0, X21: -1, Y132645: -1, Y142536: -1, X64: +Infinity, Y123645: -1, Y142356: -1, Y152346: +Infinity}

#Node(E4, F14)
trueTNodes[(E4, F14)] ={X31: 0, X45: +Infinity, X26: 0, X12: 0, Y142635: +Infinity, X35: 0, X41: +Infinity, X24: 2, X51: 0, X43: +Infinity, Y132546: 0, X16: 0, X63: 0, Y132456: 2, X14: +Infinity, X61: 0, Y152436: 2, Y123456: 0, X65: 0, Y152634: 0, X54: 0, Y162435: 2, Y162345: 0, X56: 0, Y162534: 0, X46: +Infinity, X32: 0, X13: -1, Y123546: 0, X34: 0, X53: 0, X25: 0, X42: +Infinity, X36: 0, X52: 0, X23: -1, X62: 0, X15: 0, X21: 0, Y132645: 0, Y142536: +Infinity, X64: 0, Y123645: 0, Y142356: +Infinity, Y152346: 0}

#Node(F26, E6)
trueTNodes[(F26, E6)] ={X31: 1, X45: 1, X26: +Infinity, X12: 1, Y142635: +Infinity, X35: 1, X41: 1, X24: 1, X51: 1, X43: 1, Y132546: 1, X16: 3, X63: +Infinity, Y132456: 1, X14: 1, X61: +Infinity, Y152436: 1, Y123456: 1, X65: +Infinity, Y152634: +Infinity, X54: 1, Y162435: 3, Y162345: 3, X56: 1, Y162534: 3, X46: 1, X32: 1, X13: 0, Y123546: 1, X34: 1, X53: 1, X25: 1, X42: 1, X36: 1, X52: 1, X23: 0, X62: +Infinity, X15: 1, X21: 1, Y132645: +Infinity, Y142536: 1, X64: +Infinity, Y123645: 1, Y142356: 1, Y152346: 1}

#Node(F24, F36)
trueTNodes[(F24, F36)] ={X31: 1, X45: 1, X26: 1, X12: 1, Y142635: 3, X35: 1, X41: 3, X24: +Infinity, X51: 1, X43: 1, Y132546: 1, X16: 1, X63: +Infinity, Y132456: +Infinity, X14: 3, X61: 1, Y152436: +Infinity, Y123456: 1, X65: 1, Y152634: 1, X54: 1, Y162435: +Infinity, Y162345: 1, X56: 1, Y162534: 1, X46: 1, X32: 1, X13: 0, Y123546: 1, X34: 1, X53: 1, X25: 1, X42: +Infinity, X36: +Infinity, X52: 1, X23: 0, X62: 1, X15: 1, X21: 1, Y132645: 1, Y142536: +Infinity, X64: 1, Y123645: +Infinity, Y142356: 3, Y152346: 1}

#Node(F34, F12)
trueTNodes[(F34, F12)] ={X31: 3, X45: 2, X26: 2, X12: +Infinity, Y142635: 2, X35: 3, X41: 2, X24: 2, X51: 2, X43: +Infinity, Y132546: 2, X16: 2, X63: 2, Y132456: 2, X14: 2, X61: 2, Y152436: 2, Y123456: +Infinity, X65: 2, Y152634: +Infinity, X54: 2, Y162435: 2, Y162345: 2, X56: 2, Y162534: +Infinity, X46: 2, X32: 3, X13: 1, Y123546: +Infinity, X34: +Infinity, X53: 2, X25: 2, X42: 2, X36: 3, X52: 2, X23: 1, X62: 2, X15: 2, X21: +Infinity, Y132645: 2, Y142536: 2, X64: 2, Y123645: +Infinity, Y142356: 2, Y152346: 2}

#Node(E2, F12)
trueTNodes[(E2, F12)] ={X31: 1, X45: 1, X26: +Infinity, X12: +Infinity, Y142635: 0, X35: 1, X41: 0, X24: +Infinity, X51: 0, X43: 0, Y132546: 1, X16: 3, X63: 0, Y132456: 1, X14: 3, X61: 0, Y152436: 0, Y123456: +Infinity, X65: 1, Y152634: 0, X54: 1, Y162435: 0, Y162345: 1, X56: 1, Y162534: 0, X46: 1, X32: 1, X13: 2, Y123546: +Infinity, X34: 1, X53: 0, X25: +Infinity, X42: 0, X36: 1, X52: 0, X23: +Infinity, X62: 0, X15: 3, X21: +Infinity, Y132645: 1, Y142536: 0, X64: 1, Y123645: +Infinity, Y142356: 1, Y152346: 1}

#Node(E2, G1)
trueTNodes[(E2, G1)] ={X31: +Infinity, X45: 1, X26: +Infinity, X12: 3, Y142635: 3, X35: 1, X41: +Infinity, X24: +Infinity, X51: +Infinity, X43: 1, Y132546: 4, X16: 3, X63: 1, Y132456: 4, X14: 3, X61: +Infinity, Y152436: 3, Y123456: 1, X65: 1, Y152634: 3, X54: 1, Y162435: 3, Y162345: 3, X56: 1, Y162534: 3, X46: 1, X32: 3, X13: 3, Y123546: 1, X34: 1, X53: 1, X25: +Infinity, X42: 3, X36: 1, X52: 3, X23: +Infinity, X62: 3, X15: 3, X21: +Infinity, Y132645: 4, Y142536: 3, X64: 1, Y123645: 1, Y142356: 3, Y152346: 3}

#Node(F24, F13)
trueTNodes[(F24, F13)] ={X31: +Infinity, X45: 0, X26: 3, X12: 2, Y142635: 2, X35: 0, X41: 2, X24: +Infinity, X51: 2, X43: 0, Y132546: +Infinity, X16: 2, X63: 0, Y132456: +Infinity, X14: 2, X61: 2, Y152436: +Infinity, Y123456: 0, X65: 0, Y152634: 2, X54: 0, Y162435: +Infinity, Y162345: 2, X56: 0, Y162534: 2, X46: 0, X32: 2, X13: +Infinity, Y123546: 0, X34: 0, X53: 0, X25: 3, X42: +Infinity, X36: 0, X52: 2, X23: 2, X62: 2, X15: 2, X21: 3, Y132645: +Infinity, Y142536: 2, X64: 0, Y123645: 0, Y142356: 2, Y152346: 2}

#Node(E4, G1)
trueTNodes[(E4, G1)] ={X31: +Infinity, X45: +Infinity, X26: 2, X12: 4, Y142635: 2, X35: 2, X41: +Infinity, X24: 2, X51: +Infinity, X43: +Infinity, Y132546: 2, X16: 2, X63: 2, Y132456: 2, X14: 2, X61: +Infinity, Y152436: 2, Y123456: 2, X65: 2, Y152634: 2, X54: 2, Y162435: 2, Y162345: 2, X56: 2, Y162534: 2, X46: +Infinity, X32: 4, X13: 1, Y123546: 2, X34: 2, X53: 2, X25: 2, X42: +Infinity, X36: 2, X52: 4, X23: 1, X62: 4, X15: 2, X21: +Infinity, Y132645: 2, Y142536: 2, X64: 2, Y123645: 2, Y142356: 2, Y152346: 2}

#Node(E3, G4)
trueTNodes[(E3, G4)] ={X31: +Infinity, X45: -3, X26: -3, X12: -3, Y142635: -4, X35: +Infinity, X41: -4, X24: +Infinity, X51: -4, X43: -4, Y132546: -3, X16: -3, X63: -4, Y132456: -3, X14: +Infinity, X61: -4, Y152436: -4, Y123456: -3, X65: -3, Y152634: -4, X54: +Infinity, Y162435: -4, Y162345: -3, X56: -3, Y162534: -4, X46: -3, X32: +Infinity, X13: -4, Y123546: -3, X34: +Infinity, X53: -4, X25: -3, X42: -4, X36: +Infinity, X52: -4, X23: -4, X62: -4, X15: -3, X21: -3, Y132645: -3, Y142536: -4, X64: +Infinity, Y123645: -3, Y142356: -3, Y152346: -3}

#Node(F23, G3)
trueTNodes[(F23, G3)] ={X31: 4, X45: 2, X26: 3, X12: 3, Y142635: 2, X35: 2, X41: 2, X24: 3, X51: 2, X43: +Infinity, Y132546: 4, X16: 3, X63: +Infinity, Y132456: 4, X14: 3, X61: 2, Y152436: 2, Y123456: 2, X65: 2, Y152634: 2, X54: 2, Y162435: 2, Y162345: +Infinity, X56: 2, Y162534: 2, X46: 2, X32: +Infinity, X13: +Infinity, Y123546: 2, X34: 2, X53: +Infinity, X25: 3, X42: 2, X36: 2, X52: 2, X23: +Infinity, X62: 2, X15: 3, X21: 3, Y132645: 4, Y142536: 2, X64: 2, Y123645: 2, Y142356: +Infinity, Y152346: +Infinity}

#Node(F14, G4)
trueTNodes[(F14, G4)] ={X31: 0, X45: 0, X26: 0, X12: 0, Y142635: +Infinity, X35: 0, X41: +Infinity, X24: +Infinity, X51: 0, X43: 0, Y132546: 0, X16: 0, X63: 0, Y132456: 3, X14: +Infinity, X61: 0, Y152436: 2, Y123456: 1, X65: 1, Y152634: 0, X54: +Infinity, Y162435: 2, Y162345: 0, X56: 1, Y162534: 0, X46: 0, X32: 0, X13: -1, Y123546: 0, X34: +Infinity, X53: 0, X25: 0, X42: 2, X36: 0, X52: 0, X23: -1, X62: 0, X15: 0, X21: 0, Y132645: 0, Y142536: +Infinity, X64: +Infinity, Y123645: 0, Y142356: +Infinity, Y152346: 0}

#Node(F16, E6)
trueTNodes[(F16, E6)] ={X31: 1, X45: 1, X26: 3, X12: 1, Y142635: 3, X35: 1, X41: 1, X24: 1, X51: 1, X43: 1, Y132546: 1, X16: +Infinity, X63: +Infinity, Y132456: 1, X14: 1, X61: +Infinity, Y152436: 1, Y123456: 1, X65: +Infinity, Y152634: 3, X54: 1, Y162435: +Infinity, Y162345: +Infinity, X56: 1, Y162534: +Infinity, X46: 1, X32: 1, X13: 0, Y123546: 1, X34: 1, X53: 1, X25: 1, X42: 1, X36: 1, X52: 1, X23: 0, X62: +Infinity, X15: 1, X21: 1, Y132645: 3, Y142536: 1, X64: +Infinity, Y123645: 1, Y142356: 1, Y152346: 1}

#Node(F36, E6)
trueTNodes[(F36, E6)] ={X31: 3, X45: 3, X26: 3, X12: 3, Y142635: 3, X35: 3, X41: 3, X24: 3, X51: 3, X43: 3, Y132546: 3, X16: 3, X63: +Infinity, Y132456: 3, X14: 3, X61: +Infinity, Y152436: +Infinity, Y123456: 3, X65: +Infinity, Y152634: 3, X54: 3, Y162435: 3, Y162345: 3, X56: 3, Y162534: 3, X46: 3, X32: 3, X13: 2, Y123546: 3, X34: 3, X53: 3, X25: 3, X42: 3, X36: +Infinity, X52: 3, X23: 2, X62: +Infinity, X15: 3, X21: 3, Y132645: 3, Y142536: +Infinity, X64: +Infinity, Y123645: +Infinity, Y142356: 3, Y152346: 3}

#Node(F24, G2)
trueTNodes[(F24, G2)] ={X31: 2, X45: 0, X26: 2, X12: +Infinity, Y142635: 2, X35: 0, X41: 2, X24: +Infinity, X51: 2, X43: 0, Y132546: 2, X16: 2, X63: 0, Y132456: +Infinity, X14: 2, X61: 2, Y152436: +Infinity, Y123456: 0, X65: 0, Y152634: 2, X54: 0, Y162435: +Infinity, Y162345: 2, X56: 0, Y162534: 2, X46: 0, X32: +Infinity, X13: 1, Y123546: 0, X34: 0, X53: 0, X25: 2, X42: +Infinity, X36: 0, X52: +Infinity, X23: 1, X62: +Infinity, X15: 2, X21: 2, Y132645: 2, Y142536: 2, X64: 0, Y123645: 0, Y142356: 2, Y152346: 2}

#Node(F56, F34)
trueTNodes[(F56, F34)] ={X31: 1, X45: 1, X26: 1, X12: 1, Y142635: 1, X35: 1, X41: 1, X24: 2, X51: 1, X43: +Infinity, Y132546: 1, X16: 1, X63: 1, Y132456: +Infinity, X14: 2, X61: 1, Y152436: 1, Y123456: +Infinity, X65: +Infinity, Y152634: +Infinity, X54: 2, Y162435: 1, Y162345: 1, X56: +Infinity, Y162534: +Infinity, X46: 1, X32: 1, X13: 0, Y123546: 1, X34: +Infinity, X53: 1, X25: 1, X42: 1, X36: 1, X52: 1, X23: 0, X62: 1, X15: 1, X21: 1, Y132645: 1, Y142536: 1, X64: 2, Y123645: 1, Y142356: +Infinity, Y152346: 1}

#Node(F46, G6)
trueTNodes[(F46, G6)] ={X31: 3, X45: 3, X26: +Infinity, X12: 3, Y142635: 2, X35: 3, X41: 2, X24: 3, X51: 2, X43: 2, Y132546: +Infinity, X16: +Infinity, X63: 2, Y132456: 3, X14: 3, X61: 2, Y152436: 2, Y123456: 3, X65: 3, Y152634: 2, X54: 3, Y162435: 2, Y162345: 3, X56: +Infinity, Y162534: 2, X46: +Infinity, X32: 3, X13: 2, Y123546: +Infinity, X34: 3, X53: 2, X25: 3, X42: 2, X36: +Infinity, X52: 2, X23: 2, X62: 2, X15: 3, X21: 3, Y132645: 3, Y142536: 2, X64: +Infinity, Y123645: 3, Y142356: 3, Y152346: +Infinity}

#Node(F45, F26)
trueTNodes[(F45, F26)] ={X31: 1, X45: +Infinity, X26: +Infinity, X12: 1, Y142635: +Infinity, X35: 1, X41: 1, X24: 1, X51: 1, X43: 1, Y132546: 1, X16: 4, X63: 1, Y132456: 1, X14: 1, X61: 3, Y152436: 1, Y123456: 1, X65: 1, Y152634: +Infinity, X54: +Infinity, Y162435: 3, Y162345: +Infinity, X56: 2, Y162534: 3, X46: 2, X32: 1, X13: 0, Y123546: 1, X34: 1, X53: 1, X25: 1, X42: 1, X36: 2, X52: 1, X23: 0, X62: +Infinity, X15: 1, X21: 1, Y132645: +Infinity, Y142536: 1, X64: 1, Y123645: +Infinity, Y142356: 1, Y152346: 1}

#Node(G5, E1)
trueTNodes[(G5, E1)] ={X31: 1, X45: +Infinity, X26: 3, X12: +Infinity, Y142635: 0, X35: +Infinity, X41: 0, X24: 3, X51: 0, X43: 0, Y132546: 1, X16: +Infinity, X63: 0, Y132456: 1, X14: +Infinity, X61: 0, Y152436: 0, Y123456: 1, X65: +Infinity, Y152634: 0, X54: 1, Y162435: 0, Y162345: 1, X56: 1, Y162534: 0, X46: 1, X32: 1, X13: +Infinity, Y123546: 1, X34: 1, X53: 0, X25: +Infinity, X42: 0, X36: 1, X52: 0, X23: 2, X62: 0, X15: +Infinity, X21: 3, Y132645: 1, Y142536: 0, X64: 1, Y123645: 1, Y142356: 1, Y152346: 1}

#Node(G6, F36)
trueTNodes[(G6, F36)] ={X31: 2, X45: 3, X26: +Infinity, X12: 2, Y142635: 2, X35: 2, X41: 2, X24: 2, X51: 2, X43: 2, Y132546: 2, X16: +Infinity, X63: +Infinity, Y132456: 2, X14: 2, X61: 2, Y152436: +Infinity, Y123456: 2, X65: 2, Y152634: 2, X54: 3, Y162435: 2, Y162345: 3, X56: +Infinity, Y162534: 2, X46: +Infinity, X32: 2, X13: 1, Y123546: 2, X34: 2, X53: 2, X25: 2, X42: 2, X36: +Infinity, X52: 2, X23: 1, X62: 2, X15: 2, X21: 2, Y132645: 3, Y142536: +Infinity, X64: 2, Y123645: +Infinity, Y142356: 2, Y152346: 2}

#Node(E5, F35)
trueTNodes[(E5, F35)] ={X31: -3, X45: -3, X26: -3, X12: -3, Y142635: +Infinity, X35: +Infinity, X41: -3, X24: -3, X51: +Infinity, X43: -3, Y132546: -3, X16: -3, X63: -3, Y132456: -3, X14: -3, X61: -3, Y152436: -3, Y123456: -3, X65: -3, Y152634: -3, X54: +Infinity, Y162435: +Infinity, Y162345: -3, X56: +Infinity, Y162534: -3, X46: -3, X32: -3, X13: -4, Y123546: +Infinity, X34: -3, X53: +Infinity, X25: -3, X42: -3, X36: -3, X52: +Infinity, X23: -4, X62: -3, X15: -3, X21: -3, Y132645: -3, Y142536: -3, X64: -3, Y123645: -3, Y142356: -3, Y152346: -3}

#Node(F24, G4)
trueTNodes[(F24, G4)] ={X31: 2, X45: 2, X26: 2, X12: 2, Y142635: 4, X35: 2, X41: 4, X24: +Infinity, X51: 2, X43: 2, Y132546: 2, X16: 2, X63: 2, Y132456: +Infinity, X14: +Infinity, X61: 2, Y152436: +Infinity, Y123456: 3, X65: 3, Y152634: 2, X54: +Infinity, Y162435: +Infinity, Y162345: 2, X56: 3, Y162534: 2, X46: 2, X32: 2, X13: 1, Y123546: 2, X34: +Infinity, X53: 2, X25: 2, X42: +Infinity, X36: 2, X52: 2, X23: 1, X62: 2, X15: 2, X21: 2, Y132645: 2, Y142536: 4, X64: +Infinity, Y123645: 2, Y142356: 5, Y152346: 2}

#Node(F14, F25)
trueTNodes[(F14, F25)] ={X31: 2, X45: 0, X26: 2, X12: 2, Y142635: +Infinity, X35: 0, X41: +Infinity, X24: 2, X51: 2, X43: 0, Y132546: +Infinity, X16: 2, X63: 0, Y132456: 2, X14: +Infinity, X61: 2, Y152436: 2, Y123456: 0, X65: 0, Y152634: 2, X54: 0, Y162435: 2, Y162345: 2, X56: 0, Y162534: +Infinity, X46: 0, X32: 2, X13: 1, Y123546: 0, X34: 0, X53: 0, X25: +Infinity, X42: 2, X36: 0, X52: +Infinity, X23: 1, X62: 2, X15: 2, X21: 2, Y132645: 2, Y142536: +Infinity, X64: 0, Y123645: 0, Y142356: +Infinity, Y152346: 2}

#Node(F45, F16)
trueTNodes[(F45, F16)] ={X31: 1, X45: +Infinity, X26: 4, X12: 1, Y142635: 3, X35: 1, X41: 1, X24: 1, X51: 1, X43: 1, Y132546: 1, X16: +Infinity, X63: 1, Y132456: 1, X14: 1, X61: +Infinity, Y152436: 1, Y123456: 1, X65: 1, Y152634: 3, X54: +Infinity, Y162435: +Infinity, Y162345: +Infinity, X56: 2, Y162534: +Infinity, X46: 2, X32: 1, X13: 0, Y123546: 1, X34: 1, X53: 1, X25: 1, X42: 1, X36: 2, X52: 1, X23: 0, X62: 3, X15: 1, X21: 1, Y132645: +Infinity, Y142536: 1, X64: 1, Y123645: +Infinity, Y142356: 1, Y152346: 1}

#Node(E1, G2)
trueTNodes[(E1, G2)] ={X31: 3, X45: 1, X26: 3, X12: +Infinity, Y142635: 3, X35: 1, X41: 3, X24: 3, X51: 3, X43: 1, Y132546: 3, X16: +Infinity, X63: 1, Y132456: 3, X14: +Infinity, X61: 3, Y152436: 3, Y123456: 1, X65: 1, Y152634: 3, X54: 1, Y162435: 3, Y162345: 4, X56: 1, Y162534: 3, X46: 1, X32: +Infinity, X13: +Infinity, Y123546: 1, X34: 1, X53: 1, X25: 3, X42: +Infinity, X36: 1, X52: +Infinity, X23: 3, X62: +Infinity, X15: +Infinity, X21: 3, Y132645: 3, Y142536: 3, X64: 1, Y123645: 1, Y142356: 4, Y152346: 4}

#Node(F23, F46)
trueTNodes[(F23, F46)] ={X31: 3, X45: 1, X26: 1, X12: 1, Y142635: 0, X35: 1, X41: 0, X24: 1, X51: 0, X43: 0, Y132546: +Infinity, X16: 1, X63: 0, Y132456: 3, X14: 1, X61: 0, Y152436: 0, Y123456: 1, X65: 1, Y152634: 0, X54: 1, Y162435: 0, Y162345: +Infinity, X56: 1, Y162534: 0, X46: +Infinity, X32: +Infinity, X13: 2, Y123546: +Infinity, X34: 1, X53: 0, X25: 1, X42: 0, X36: 1, X52: 0, X23: +Infinity, X62: 0, X15: 1, X21: 1, Y132645: 3, Y142536: 0, X64: +Infinity, Y123645: 1, Y142356: +Infinity, Y152346: +Infinity}

#Node(F45, G5)
trueTNodes[(F45, G5)] ={X31: 3, X45: +Infinity, X26: 3, X12: 3, Y142635: 2, X35: +Infinity, X41: 2, X24: 3, X51: 2, X43: 2, Y132546: 3, X16: 3, X63: 2, Y132456: 3, X14: 3, X61: 2, Y152436: 2, Y123456: 3, X65: +Infinity, Y152634: 2, X54: +Infinity, Y162435: 2, Y162345: +Infinity, X56: 3, Y162534: 2, X46: 3, X32: 3, X13: 2, Y123546: 3, X34: 3, X53: 2, X25: +Infinity, X42: 2, X36: 3, X52: 2, X23: 2, X62: 2, X15: +Infinity, X21: 3, Y132645: +Infinity, Y142536: 2, X64: 3, Y123645: +Infinity, Y142356: 3, Y152346: 3}

#Node(G3, F13)
trueTNodes[(G3, F13)] ={X31: +Infinity, X45: 0, X26: 1, X12: 1, Y142635: 0, X35: 0, X41: 0, X24: 1, X51: 0, X43: +Infinity, Y132546: +Infinity, X16: 1, X63: +Infinity, Y132456: +Infinity, X14: 1, X61: 0, Y152436: 0, Y123456: 0, X65: 0, Y152634: 0, X54: 0, Y162435: 0, Y162345: 2, X56: 0, Y162534: 0, X46: 0, X32: 2, X13: +Infinity, Y123546: 0, X34: 0, X53: +Infinity, X25: 1, X42: 0, X36: 0, X52: 0, X23: +Infinity, X62: 0, X15: 1, X21: 1, Y132645: +Infinity, Y142536: 0, X64: 0, Y123645: 0, Y142356: 2, Y152346: 2}

#Node(E1, F14)
trueTNodes[(E1, F14)] ={X31: 0, X45: -2, X26: 0, X12: +Infinity, Y142635: +Infinity, X35: -2, X41: +Infinity, X24: 0, X51: 0, X43: -2, Y132546: 0, X16: +Infinity, X63: -2, Y132456: 0, X14: +Infinity, X61: 0, Y152436: 0, Y123456: -2, X65: -2, Y152634: 0, X54: -2, Y162435: 0, Y162345: 1, X56: -2, Y162534: 0, X46: -2, X32: 1, X13: +Infinity, Y123546: -2, X34: -2, X53: -2, X25: 0, X42: 0, X36: -2, X52: 0, X23: 0, X62: 0, X15: +Infinity, X21: 0, Y132645: 0, Y142536: +Infinity, X64: -2, Y123645: -2, Y142356: +Infinity, Y152346: 1}

#Node(E3, G5)
trueTNodes[(E3, G5)] ={X31: +Infinity, X45: +Infinity, X26: 1, X12: 1, Y142635: 0, X35: +Infinity, X41: 0, X24: 1, X51: 0, X43: 0, Y132546: 1, X16: 1, X63: 0, Y132456: 1, X14: 1, X61: 0, Y152436: 0, Y123456: 1, X65: +Infinity, Y152634: 0, X54: 1, Y162435: 0, Y162345: 1, X56: 1, Y162534: 0, X46: 1, X32: +Infinity, X13: 0, Y123546: 1, X34: +Infinity, X53: 0, X25: +Infinity, X42: 0, X36: +Infinity, X52: 0, X23: 0, X62: 0, X15: +Infinity, X21: 1, Y132645: 1, Y142536: 0, X64: 1, Y123645: 1, Y142356: 1, Y152346: 1}

#Node(F23, G2)
trueTNodes[(F23, G2)] ={X31: 2, X45: 0, X26: 2, X12: +Infinity, Y142635: 2, X35: 0, X41: 2, X24: 2, X51: 2, X43: 0, Y132546: 2, X16: 3, X63: 0, Y132456: 2, X14: 3, X61: 2, Y152436: 2, Y123456: 0, X65: 0, Y152634: 2, X54: 0, Y162435: 2, Y162345: +Infinity, X56: 0, Y162534: 2, X46: 0, X32: +Infinity, X13: 2, Y123546: 0, X34: 0, X53: 0, X25: 2, X42: +Infinity, X36: 0, X52: +Infinity, X23: +Infinity, X62: +Infinity, X15: 3, X21: 2, Y132645: 2, Y142536: 2, X64: 0, Y123645: 0, Y142356: +Infinity, Y152346: +Infinity}

#Node(F35, F12)
trueTNodes[(F35, F12)] ={X31: 3, X45: 2, X26: 2, X12: +Infinity, Y142635: +Infinity, X35: +Infinity, X41: 2, X24: 2, X51: 2, X43: 2, Y132546: 2, X16: 2, X63: 2, Y132456: 2, X14: 2, X61: 2, Y152436: 2, Y123456: +Infinity, X65: 2, Y152634: 2, X54: 2, Y162435: +Infinity, Y162345: 2, X56: 2, Y162534: 2, X46: 2, X32: 3, X13: 1, Y123546: +Infinity, X34: 3, X53: +Infinity, X25: 2, X42: 2, X36: 3, X52: 2, X23: 1, X62: 2, X15: 2, X21: +Infinity, Y132645: 2, Y142536: 2, X64: 2, Y123645: +Infinity, Y142356: 2, Y152346: 2}

#Node(G5, E6)
trueTNodes[(G5, E6)] ={X31: 2, X45: +Infinity, X26: 2, X12: 2, Y142635: 2, X35: +Infinity, X41: 2, X24: 2, X51: 2, X43: 2, Y132546: 3, X16: 2, X63: +Infinity, Y132456: 2, X14: 2, X61: +Infinity, Y152436: 2, Y123456: 2, X65: +Infinity, Y152634: 2, X54: 2, Y162435: 2, Y162345: 2, X56: 2, Y162534: 2, X46: 3, X32: 2, X13: 1, Y123546: 3, X34: 2, X53: 2, X25: +Infinity, X42: 2, X36: 2, X52: 2, X23: 1, X62: +Infinity, X15: +Infinity, X21: 2, Y132645: 2, Y142536: 2, X64: +Infinity, Y123645: 2, Y142356: 2, Y152346: 3}

#Node(E5, F15)
trueTNodes[(E5, F15)] ={X31: -1, X45: -1, X26: -1, X12: -1, Y142635: -1, X35: -1, X41: -1, X24: -1, X51: +Infinity, X43: -1, Y132546: 1, X16: -1, X63: -1, Y132456: -1, X14: -1, X61: -1, Y152436: +Infinity, Y123456: -1, X65: -1, Y152634: +Infinity, X54: +Infinity, Y162435: -1, Y162345: -1, X56: +Infinity, Y162534: 1, X46: -1, X32: -1, X13: -2, Y123546: -1, X34: -1, X53: +Infinity, X25: 1, X42: -1, X36: -1, X52: +Infinity, X23: -2, X62: -1, X15: +Infinity, X21: -1, Y132645: -1, Y142536: 1, X64: -1, Y123645: -1, Y142356: -1, Y152346: +Infinity}

#Node(F56, F13)
trueTNodes[(F56, F13)] ={X31: +Infinity, X45: -1, X26: -1, X12: -1, Y142635: -2, X35: -1, X41: -2, X24: -1, X51: -2, X43: -2, Y132546: +Infinity, X16: -1, X63: -2, Y132456: +Infinity, X14: -1, X61: -2, Y152436: -2, Y123456: +Infinity, X65: +Infinity, Y152634: -2, X54: -1, Y162435: -2, Y162345: 1, X56: +Infinity, Y162534: -2, X46: -1, X32: 1, X13: +Infinity, Y123546: -1, X34: -1, X53: -2, X25: -1, X42: -2, X36: -1, X52: -2, X23: 0, X62: -2, X15: -1, X21: -1, Y132645: +Infinity, Y142536: -2, X64: -1, Y123645: -1, Y142356: +Infinity, Y152346: 1}

#Node(G6, F26)
trueTNodes[(G6, F26)] ={X31: 2, X45: 3, X26: +Infinity, X12: 2, Y142635: +Infinity, X35: 2, X41: 2, X24: 2, X51: 2, X43: 2, Y132546: 2, X16: +Infinity, X63: 2, Y132456: 2, X14: 2, X61: 4, Y152436: 2, Y123456: 2, X65: 2, Y152634: +Infinity, X54: 3, Y162435: 4, Y162345: 5, X56: +Infinity, Y162534: 4, X46: +Infinity, X32: 2, X13: 1, Y123546: 2, X34: 2, X53: 2, X25: 2, X42: 2, X36: +Infinity, X52: 2, X23: 1, X62: +Infinity, X15: 2, X21: 2, Y132645: +Infinity, Y142536: 2, X64: 2, Y123645: 3, Y142356: 2, Y152346: 2}

#Node(F23, F45)
trueTNodes[(F23, F45)] ={X31: 2, X45: +Infinity, X26: 0, X12: 0, Y142635: -1, X35: 0, X41: -1, X24: 0, X51: -1, X43: -1, Y132546: 2, X16: 0, X63: -1, Y132456: 2, X14: 0, X61: -1, Y152436: -1, Y123456: 0, X65: 0, Y152634: -1, X54: +Infinity, Y162435: -1, Y162345: +Infinity, X56: 0, Y162534: -1, X46: 0, X32: +Infinity, X13: 1, Y123546: 0, X34: 0, X53: -1, X25: 0, X42: -1, X36: 0, X52: -1, X23: +Infinity, X62: -1, X15: 0, X21: 0, Y132645: +Infinity, Y142536: -1, X64: 0, Y123645: +Infinity, Y142356: +Infinity, Y152346: +Infinity}

#Node(E3, G2)
trueTNodes[(E3, G2)] ={X31: +Infinity, X45: 3, X26: 3, X12: +Infinity, Y142635: 3, X35: +Infinity, X41: 5, X24: 3, X51: 5, X43: 3, Y132546: 3, X16: 3, X63: 3, Y132456: 3, X14: 3, X61: 5, Y152436: 3, Y123456: 4, X65: 3, Y152634: 3, X54: 3, Y162435: 3, Y162345: 3, X56: 3, Y162534: 3, X46: 3, X32: +Infinity, X13: 2, Y123546: 4, X34: +Infinity, X53: 3, X25: 3, X42: +Infinity, X36: +Infinity, X52: +Infinity, X23: 2, X62: +Infinity, X15: 3, X21: 6, Y132645: 3, Y142536: 3, X64: 3, Y123645: 4, Y142356: 3, Y152346: 3}

#Node(F13, F26)
trueTNodes[(F13, F26)] ={X31: +Infinity, X45: -2, X26: +Infinity, X12: 0, Y142635: +Infinity, X35: -2, X41: 0, X24: 1, X51: 0, X43: -2, Y132546: +Infinity, X16: 0, X63: -2, Y132456: +Infinity, X14: 0, X61: 0, Y152436: 0, Y123456: -2, X65: -2, Y152634: +Infinity, X54: -2, Y162435: 0, Y162345: 0, X56: -2, Y162534: 0, X46: -2, X32: 0, X13: +Infinity, Y123546: -2, X34: -2, X53: -2, X25: 1, X42: 0, X36: -2, X52: 0, X23: 0, X62: +Infinity, X15: 0, X21: 1, Y132645: +Infinity, Y142536: 0, X64: -2, Y123645: -2, Y142356: 0, Y152346: 0}

#Node(E4, F34)
trueTNodes[(E4, F34)] ={X31: 0, X45: +Infinity, X26: 0, X12: 0, Y142635: 0, X35: 0, X41: +Infinity, X24: 0, X51: 0, X43: +Infinity, Y132546: 0, X16: 0, X63: 0, Y132456: 0, X14: 0, X61: 0, Y152436: 0, Y123456: +Infinity, X65: 0, Y152634: +Infinity, X54: 0, Y162435: 0, Y162345: 0, X56: 0, Y162534: +Infinity, X46: +Infinity, X32: 0, X13: -1, Y123546: 0, X34: +Infinity, X53: 0, X25: 0, X42: +Infinity, X36: 0, X52: 0, X23: -1, X62: 0, X15: 0, X21: 0, Y132645: 0, Y142536: 0, X64: 0, Y123645: 0, Y142356: 0, Y152346: 0}

#Node(E5, F25)
trueTNodes[(E5, F25)] ={X31: -1, X45: -1, X26: -1, X12: -1, Y142635: -1, X35: -1, X41: -1, X24: -1, X51: +Infinity, X43: -1, Y132546: +Infinity, X16: -1, X63: -1, Y132456: -1, X14: -1, X61: -1, Y152436: 1, Y123456: -1, X65: -1, Y152634: 1, X54: +Infinity, Y162435: -1, Y162345: -1, X56: +Infinity, Y162534: +Infinity, X46: -1, X32: -1, X13: -2, Y123546: -1, X34: -1, X53: +Infinity, X25: +Infinity, X42: -1, X36: -1, X52: +Infinity, X23: -2, X62: -1, X15: 1, X21: -1, Y132645: -1, Y142536: +Infinity, X64: -1, Y123645: -1, Y142356: -1, Y152346: 1}

#Node(F56, F23)
trueTNodes[(F56, F23)] ={X31: 1, X45: -1, X26: -1, X12: -1, Y142635: -2, X35: -1, X41: -2, X24: -1, X51: -2, X43: -2, Y132546: 1, X16: -1, X63: -2, Y132456: +Infinity, X14: -1, X61: -2, Y152436: -2, Y123456: +Infinity, X65: +Infinity, Y152634: -2, X54: -1, Y162435: -2, Y162345: +Infinity, X56: +Infinity, Y162534: -2, X46: -1, X32: +Infinity, X13: 0, Y123546: -1, X34: -1, X53: -2, X25: -1, X42: -2, X36: -1, X52: -2, X23: +Infinity, X62: -2, X15: -1, X21: -1, Y132645: 1, Y142536: -2, X64: -1, Y123645: -1, Y142356: +Infinity, Y152346: +Infinity}