// Datos del v2 (motor GraphKind). T4: resultados/t4-arbol-trayectoria.json;
// pares: wl1 + wl_k_colors/separados de codigo/wl.py (k-FWL = (k+1)-WL); pos: spring_layout seed=7.
const DATA = {"t4": {"pos": [[0, 3], [-2, 2], [2, 2], [-3, 1], [-1, 1], [1, 1], [3, 1], [-3.5, 0], [-2.5, 0], [-1.5, 0], [-0.5, 0], [0.5, 0], [1.5, 0], [2.5, 0], [3.5, 0]], "edgesG": [[0, 1], [0, 2], [1, 3], [1, 4], [2, 5], [2, 6], [3, 7], [3, 8], [4, 9], [4, 10], [5, 11], [5, 12], [6, 13], [6, 14]], "edgesGbar": [[0, 3], [0, 4], [0, 5], [0, 6], [0, 7], [0, 8], [0, 9], [0, 10], [0, 11], [0, 12], [0, 13], [0, 14], [1, 2], [1, 5], [1, 6], [1, 7], [1, 8], [1, 9], [1, 10], [1, 11], [1, 12], [1, 13], [1, 14], [2, 3], [2, 4], [2, 7], [2, 8], [2, 9], [2, 10], [2, 11], [2, 12], [2, 13], [2, 14], [3, 4], [3, 5], [3, 6], [3, 9], [3, 10], [3, 11], [3, 12], [3, 13], [3, 14], [4, 5], [4, 6], [4, 7], [4, 8], [4, 11], [4, 12], [4, 13], [4, 14], [5, 6], [5, 7], [5, 8], [5, 9], [5, 10], [5, 13], [5, 14], [6, 7], [6, 8], [6, 9], [6, 10], [6, 11], [6, 12], [7, 8], [7, 9], [7, 10], [7, 11], [7, 12], [7, 13], [7, 14], [8, 9], [8, 10], [8, 11], [8, 12], [8, 13], [8, 14], [9, 10], [9, 11], [9, 12], [9, 13], [9, 14], [10, 11], [10, 12], [10, 13], [10, 14], [11, 12], [11, 13], [11, 14], [12, 13], [12, 14], [13, 14]], "clasesG": [[1, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0], [3, 0, 0, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2], [3, 1, 1, 2, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0], [0, 2, 2, 3, 3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1]], "clasesGbar": [[1, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 2, 2, 2, 2], [2, 3, 3, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1], [3, 0, 0, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2], [2, 3, 3, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1]], "trayG": [3, 4, 4, 4], "trayC": [3, 4, 4, 4], "fuente": "resultados/t4-arbol-trayectoria.json (motor, con assert)"}, "pares": [{"nombre": "C6 vs 2·C3", "desc": "el par clásico: 1-WL no lo distingue", "n1": 6, "n2": 6, "e1": [[0, 1], [0, 5], [1, 2], [2, 3], [3, 4], [4, 5]], "e2": [[0, 1], [0, 2], [1, 2], [3, 4], [3, 5], [4, 5]], "res": {"k1": "colisiona", "k2": "separa", "k3": "separa"}, "pos1": [[0.4367, 1.0], [0.9362, 0.8021], [1.0, 0.2999], [0.5652, 0.0], [0.0632, 0.198], [0.0, 0.6989]], "pos2": [[0.5624, 0.9475], [0.9345, 1.0], [1.0, 0.9159], [0.4275, 0.0], [0.0, 0.0374], [0.4012, 0.0809]]}, {"nombre": "Petersen vs prisma", "desc": "dos 3-regulares de 10 vértices (C5×K2)", "n1": 10, "n2": 10, "e1": [[0, 1], [0, 4], [0, 5], [1, 2], [1, 6], [2, 3], [2, 7], [3, 4], [3, 8], [4, 9], [5, 7], [5, 8], [6, 8], [6, 9], [7, 9]], "e2": [[0, 1], [0, 4], [0, 5], [1, 2], [1, 6], [2, 3], [2, 7], [3, 4], [3, 8], [4, 9], [5, 6], [5, 9], [6, 7], [7, 8], [8, 9]], "res": {"k1": "colisiona", "k2": "separa", "k3": "separa"}, "pos1": [[0.0, 0.7868], [0.4688, 0.5875], [1.0, 0.5143], [0.6148, 0.0451], [0.3008, 0.3295], [0.2531, 1.0], [0.3108, 0.0], [0.8284, 0.933], [0.0472, 0.3181], [0.7365, 0.3389]], "pos2": [[0.865, 0.9281], [0.3812, 1.0], [0.173, 0.5565], [0.5385, 0.2794], [1.0, 0.4914], [0.6656, 0.664], [0.1591, 0.7738], [0.0, 0.3085], [0.3832, 0.0], [0.8413, 0.1987]]}, {"nombre": "Rook vs Shrikhande", "desc": "SRG(16,6,2,2) cospectrales", "n1": 16, "n2": 16, "e1": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 8], [0, 12], [1, 2], [1, 3], [1, 5], [1, 9], [1, 13], [2, 3], [2, 6], [2, 10], [2, 14], [3, 7], [3, 11], [3, 15], [4, 5], [4, 6], [4, 7], [4, 8], [4, 12], [5, 6], [5, 7], [5, 9], [5, 13], [6, 7], [6, 10], [6, 14], [7, 11], [7, 15], [8, 9], [8, 10], [8, 11], [8, 12], [9, 10], [9, 11], [9, 13], [10, 11], [10, 14], [11, 15], [12, 13], [12, 14], [12, 15], [13, 14], [13, 15], [14, 15]], "e2": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [0, 6], [1, 4], [1, 5], [1, 11], [1, 12], [1, 13], [2, 3], [2, 6], [2, 7], [2, 12], [2, 15], [3, 5], [3, 7], [3, 8], [3, 9], [4, 6], [4, 8], [4, 10], [4, 11], [5, 9], [5, 13], [5, 14], [6, 10], [6, 14], [6, 15], [7, 8], [7, 10], [7, 12], [7, 13], [8, 9], [8, 10], [8, 11], [9, 11], [9, 14], [9, 15], [10, 13], [10, 14], [11, 12], [11, 15], [12, 13], [12, 15], [13, 14], [14, 15]], "res": {"k1": "colisiona", "k2": "colisiona", "k3": "separa"}, "pos1": [[0.2165, 0.4563], [0.5889, 1.0], [0.6836, 0.6089], [0.1626, 0.8798], [0.4636, 0.2961], [0.8582, 0.8373], [0.8837, 0.3741], [0.4214, 0.8034], [0.1098, 0.0643], [0.4003, 0.5898], [0.4491, 0.089], [0.0, 0.4733], [0.6553, 0.0], [1.0, 0.5569], [0.9859, 0.1159], [0.5787, 0.4352]], "pos2": [[0.4139, 0.7509], [0.6329, 0.8467], [0.413, 0.4767], [0.5796, 0.3682], [0.0, 0.7886], [1.0, 0.5401], [0.2016, 0.4755], [0.4901, 1.0], [0.0687, 0.4617], [0.6634, 0.0174], [0.2765, 0.9643], [0.2676, 0.2254], [0.727, 0.5962], [0.8886, 0.9917], [0.7757, 0.3848], [0.4548, 0.0]]}]};