/
grubhub-15-0.json
57 lines (57 loc) · 6.99 KB
/
grubhub-15-0.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
{
"name": "grubhub-15-0",
"comment": "size=15 instance=0",
"nodes": ["+0", "-0", "+1", "-1", "+2", "-2", "+3", "-3", "+4", "-4", "+5", "-5", "+6", "-6", "+7", "-7", "+8", "-8", "+9", "-9", "+10", "-10", "+11", "-11", "+12", "-12", "+13", "-13", "+14", "-14", "+15", "-15"],
"precedence": {
"+0": "-0",
"+1": "-1",
"+2": "-2",
"+3": "-3",
"+4": "-4",
"+5": "-5",
"+6": "-6",
"+7": "-7",
"+8": "-8",
"+9": "-9",
"+10": "-10",
"+11": "-11",
"+12": "-12",
"+13": "-13",
"+14": "-14",
"+15": "-15"
},
"edges": [
[ 0, 0, 790, 834, 210, 779, 976, 542, 740, 599, 928, 540, 1196, 1026, 1367, 1448, 210, 490, 976, 1473, 724, 487, 1150, 1147, 1346, 1098, 833, 859, 1346, 936, 891, 1578],
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0],
[ 790, 0, 0, 401, 771, 1226, 808, 795, 1042, 1224, 377, 620, 645, 363, 1001, 712, 771, 799, 900, 939, 1127, 944, 1482, 1705, 651, 810, 305, 1073, 651, 403, 1024, 903],
[ 834, 0, 401, 0, 779, 1037, 536, 549, 888, 991, 436, 742, 637, 524, 770, 795, 779, 687, 624, 961, 938, 805, 1205, 1410, 693, 548, 68, 843, 693, 357, 799, 930],
[ 210, 0, 771, 779, 0, 696, 766, 332, 560, 603, 875, 536, 1143, 973, 1157, 1238, 0, 307, 766, 1263, 597, 287, 969, 1151, 1137, 888, 778, 679, 1137, 882, 681, 1368],
[ 779, 0, 1226, 1037, 696, 0, 940, 551, 505, 259, 1428, 1039, 1547, 1525, 1376, 1457, 756, 680, 860, 1343, 113, 570, 699, 560, 1355, 1107, 1089, 622, 1355, 1316, 775, 1543],
[ 976, 0, 808, 536, 766, 940, 0, 639, 655, 1045, 677, 1057, 674, 764, 484, 658, 777, 684, 284, 502, 1013, 896, 862, 1066, 556, 308, 471, 570, 556, 598, 464, 652],
[ 542, 0, 795, 549, 332, 551, 639, 0, 383, 442, 884, 496, 1057, 982, 963, 1044, 318, 136, 572, 1069, 389, 257, 790, 967, 942, 694, 538, 499, 942, 765, 487, 1174],
[ 740, 0, 1042, 888, 560, 505, 655, 383, 0, 614, 1134, 746, 1197, 1232, 1026, 1108, 568, 386, 473, 914, 435, 486, 616, 826, 1006, 757, 857, 235, 1006, 1102, 387, 1193],
[ 599, 0, 1224, 991, 603, 259, 1045, 442, 614, 0, 1331, 992, 1505, 1428, 1334, 1415, 555, 639, 825, 1301, 211, 546, 829, 634, 1313, 1065, 1066, 662, 1313, 1338, 768, 1501],
[ 928, 0, 377, 436, 875, 1428, 677, 884, 1134, 1331, 0, 777, 268, 308, 630, 599, 929, 957, 884, 878, 1285, 1101, 1284, 1489, 496, 592, 433, 1099, 496, 102, 1068, 734],
[ 540, 0, 620, 742, 536, 1039, 1057, 496, 746, 992, 777, 0, 1023, 853, 1379, 1258, 532, 560, 1032, 1530, 888, 705, 1212, 1466, 1248, 1154, 660, 922, 1248, 763, 948, 1485],
[ 1196, 0, 645, 637, 1143, 1547, 674, 1057, 1197, 1505, 268, 1023, 0, 499, 532, 502, 1186, 1093, 846, 652, 1350, 1217, 1157, 1361, 399, 494, 549, 1062, 399, 367, 1031, 636],
[ 1026, 0, 363, 524, 973, 1525, 764, 982, 1232, 1428, 308, 853, 499, 0, 648, 487, 958, 986, 937, 714, 1315, 1131, 1219, 1423, 426, 753, 447, 1152, 426, 328, 1121, 678],
[ 1367, 0, 1001, 770, 1157, 1376, 484, 963, 1026, 1334, 630, 1379, 532, 648, 0, 475, 1112, 1020, 742, 490, 1339, 1231, 1120, 1324, 359, 489, 807, 958, 359, 833, 927, 437],
[ 1448, 0, 712, 795, 1238, 1457, 658, 1044, 1108, 1415, 599, 1258, 502, 487, 475, 0, 1211, 1119, 841, 521, 1438, 1330, 1015, 1219, 141, 441, 649, 1057, 141, 602, 1026, 279],
[ 210, 0, 771, 779, 0, 756, 777, 318, 568, 555, 929, 532, 1186, 958, 1112, 1211, 0, 307, 766, 1263, 597, 287, 969, 1151, 1137, 888, 778, 679, 1137, 882, 681, 1368],
[ 490, 0, 799, 687, 307, 680, 684, 136, 386, 639, 957, 560, 1093, 986, 1020, 1119, 307, 0, 634, 1132, 547, 305, 871, 1125, 1005, 756, 646, 581, 1005, 851, 550, 1236],
[ 976, 0, 900, 624, 766, 860, 284, 572, 473, 825, 884, 1032, 846, 937, 742, 841, 766, 634, 0, 552, 923, 907, 655, 860, 698, 449, 661, 460, 698, 794, 258, 785],
[ 1473, 0, 939, 961, 1263, 1343, 502, 1069, 914, 1301, 878, 1530, 652, 714, 490, 521, 1263, 1132, 552, 0, 1163, 1110, 755, 959, 527, 553, 846, 803, 527, 863, 708, 523],
[ 724, 0, 1127, 938, 597, 113, 1013, 389, 435, 211, 1285, 888, 1350, 1315, 1339, 1438, 597, 547, 923, 1163, 0, 468, 618, 572, 1253, 1004, 987, 517, 1253, 1214, 670, 1440],
[ 487, 0, 944, 805, 287, 570, 896, 257, 486, 546, 1101, 705, 1217, 1131, 1231, 1330, 287, 305, 907, 1110, 468, 0, 889, 950, 1197, 948, 793, 536, 1197, 1020, 667, 1428],
[ 1150, 0, 1482, 1205, 969, 699, 862, 790, 616, 829, 1284, 1212, 1157, 1219, 1120, 1015, 969, 871, 655, 755, 618, 889, 0, 555, 992, 1097, 1260, 632, 992, 1423, 654, 1165],
[ 1147, 0, 1705, 1410, 1151, 560, 1066, 967, 826, 634, 1489, 1466, 1361, 1423, 1324, 1219, 1151, 1125, 860, 959, 572, 950, 555, 0, 1208, 1279, 1546, 873, 1208, 1623, 1001, 1381],
[ 1346, 0, 651, 693, 1137, 1355, 556, 942, 1006, 1313, 496, 1248, 399, 426, 359, 141, 1137, 1005, 698, 527, 1253, 1197, 992, 1208, 0, 328, 599, 944, 0, 552, 913, 274],
[ 1098, 0, 810, 548, 888, 1107, 308, 694, 757, 1065, 592, 1154, 494, 753, 489, 441, 888, 756, 449, 553, 1004, 948, 1097, 1279, 328, 0, 498, 649, 317, 527, 618, 533],
[ 833, 0, 305, 68, 778, 1089, 471, 538, 857, 1066, 433, 660, 549, 447, 807, 649, 778, 646, 661, 846, 987, 793, 1260, 1546, 599, 498, 0, 867, 657, 294, 790, 894],
[ 859, 0, 1073, 843, 679, 622, 570, 499, 235, 662, 1099, 922, 1062, 1152, 958, 1057, 679, 581, 460, 803, 517, 536, 632, 873, 944, 649, 867, 0, 1066, 1162, 448, 1254],
[ 1346, 0, 651, 693, 1137, 1355, 556, 942, 1006, 1313, 496, 1248, 399, 426, 359, 141, 1137, 1005, 698, 527, 1253, 1197, 992, 1208, 0, 317, 657, 1066, 0, 552, 913, 274],
[ 936, 0, 403, 357, 882, 1316, 598, 765, 1102, 1338, 102, 763, 367, 328, 833, 602, 882, 851, 794, 863, 1214, 1020, 1423, 1623, 552, 527, 294, 1162, 552, 0, 996, 760],
[ 891, 0, 1024, 799, 681, 775, 464, 487, 387, 768, 1068, 948, 1031, 1121, 927, 1026, 681, 550, 258, 708, 670, 667, 654, 1001, 913, 618, 790, 448, 913, 996, 0, 969],
[ 1578, 0, 903, 930, 1368, 1543, 652, 1174, 1193, 1501, 734, 1485, 636, 678, 437, 279, 1368, 1236, 785, 523, 1440, 1428, 1165, 1381, 274, 533, 894, 1254, 274, 760, 969, 0]
]
}