#Cone aa4
trueTNodes = {}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

#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: -2, Y132546: +Infinity, X16: 1, X63: -1, Y132456: 3, X14: 1, X61: 0, Y152436: 1, Y123456: -1, X65: -2, Y152634: 1, X54: -1, Y162435: 2, Y162345: 1, X56: -1, Y162534: +Infinity, X46: -1, X32: 1, X13: 1, Y123546: -1, X34: -1, X53: -2, X25: +Infinity, X42: 2, X36: -2, X52: +Infinity, X23: +Infinity, X62: 0, X15: 1, X21: +Infinity, Y132645: 2, Y142536: +Infinity, X64: -2, Y123645: -2, Y142356: 1, Y152346: 1}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

#Node(E1, G4)
trueTNodes[(E1, G4)] ={X31: -1, X45: 0, X26: 1, X12: +Infinity, Y142635: -2, X35: 0, X41: -2, X24: +Infinity, X51: -2, X43: -3, Y132546: -1, X16: +Infinity, X63: -2, Y132456: -1, X14: +Infinity, X61: -3, Y152436: -3, 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: -3, X25: 2, X42: -2, X36: -2, X52: -2, X23: 0, X62: -3, X15: +Infinity, X21: 1, Y132645: -1, Y142536: -3, X64: +Infinity, Y123645: -2, Y142356: -1, Y152346: -1}

#Node(E2, G4)
trueTNodes[(E2, G4)] ={X31: -1, X45: 0, X26: +Infinity, X12: 1, Y142635: -2, X35: 0, X41: -2, X24: +Infinity, X51: -2, X43: -3, Y132546: -1, X16: 1, X63: -2, Y132456: -1, X14: +Infinity, X61: -3, Y152436: -3, 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: -3, X25: +Infinity, X42: -2, X36: -2, X52: -2, X23: +Infinity, X62: -3, X15: 2, X21: +Infinity, Y132645: -1, Y142536: -3, X64: +Infinity, Y123645: -2, Y142356: -1, Y152346: -1}

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

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

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

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

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

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

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

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

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

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

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

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

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

#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: -1, Y132546: +Infinity, X16: 2, X63: 0, Y132456: +Infinity, X14: 2, X61: 1, Y152436: +Infinity, Y123456: 0, X65: -1, Y152634: 2, X54: 0, Y162435: +Infinity, Y162345: 2, X56: 0, Y162534: 3, X46: 0, X32: 2, X13: +Infinity, Y123546: 0, X34: 0, X53: -1, X25: 4, X42: +Infinity, X36: -1, X52: 3, X23: 2, X62: 1, X15: 2, X21: 3, Y132645: +Infinity, Y142536: 2, X64: -1, Y123645: -1, Y142356: 2, Y152346: 2}

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

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

#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: 1, Y152436: 1, Y123456: 2, X65: 1, 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: 1, X52: 2, X23: +Infinity, X62: 1, X15: 3, X21: 3, Y132645: 4, Y142536: 1, X64: 1, Y123645: 1, Y142356: +Infinity, Y152346: +Infinity}

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

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

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

#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: -1, Y132546: 3, X16: 3, X63: 0, Y132456: +Infinity, X14: 2, X61: 2, Y152436: +Infinity, Y123456: 0, X65: -1, Y152634: 2, X54: 0, Y162435: +Infinity, Y162345: 3, X56: 0, Y162534: 4, X46: 0, X32: +Infinity, X13: 1, Y123546: 0, X34: 0, X53: -1, X25: 3, X42: +Infinity, X36: -1, X52: +Infinity, X23: 1, X62: +Infinity, X15: 2, X21: 2, Y132645: 2, Y142536: 2, X64: -1, Y123645: -1, Y142356: 2, Y152346: 2}

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

#Node(F46, G6)
trueTNodes[(F46, G6)] ={X31: 3, X45: 3, X26: +Infinity, X12: 4, Y142635: 2, X35: 3, X41: 2, X24: 3, X51: 2, X43: 1, Y132546: +Infinity, X16: +Infinity, X63: 2, Y132456: 4, X14: 3, X61: 1, Y152436: 1, Y123456: 5, 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: 1, X25: 3, X42: 2, X36: +Infinity, X52: 2, X23: 2, X62: 1, X15: 3, X21: 4, Y132645: 3, Y142536: 1, X64: +Infinity, Y123645: 3, Y142356: 4, Y152346: +Infinity}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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