-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathTravellingSalesmanProblem.lp
643 lines (643 loc) · 20.4 KB
/
TravellingSalesmanProblem.lp
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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
\* Travelling Salesman Problem *\
Minimize
Sum_of_Tour_Costs: 509 route_A_B + 501 route_A_C + 312 route_A_D
+ 1019 route_A_E + 736 route_A_F + 656 route_A_G + 60 route_A_H
+ 1039 route_A_I + 726 route_A_J + 2314 route_A_K + 479 route_A_L
+ 448 route_A_M + 479 route_A_N + 619 route_A_O + 150 route_A_P
+ 509 route_B_A + 126 route_B_C + 474 route_B_D + 1526 route_B_E
+ 1226 route_B_F + 1133 route_B_G + 532 route_B_H + 1449 route_B_I
+ 1122 route_B_J + 2789 route_B_K + 958 route_B_L + 941 route_B_M
+ 978 route_B_N + 1127 route_B_O + 542 route_B_P + 501 route_C_A
+ 126 route_C_B + 541 route_C_D + 1516 route_C_E + 1184 route_C_F
+ 1084 route_C_G + 536 route_C_H + 1371 route_C_I + 1045 route_C_J
+ 2728 route_C_K + 913 route_C_L + 904 route_C_M + 946 route_C_N
+ 1115 route_C_O + 499 route_C_P + 312 route_D_A + 474 route_D_B
+ 541 route_D_C + 1157 route_D_E + 980 route_D_F + 919 route_D_G
+ 271 route_D_H + 1333 route_D_I + 1029 route_D_J + 2553 route_D_K
+ 751 route_D_L + 704 route_D_M + 720 route_D_N + 783 route_D_O
+ 455 route_D_P + 1019 route_E_A + 1526 route_E_B + 1516 route_E_C
+ 1157 route_E_D + 478 route_E_F + 583 route_E_G + 996 route_E_H
+ 858 route_E_I + 855 route_E_J + 1504 route_E_K + 677 route_E_L
+ 651 route_E_M + 600 route_E_N + 401 route_E_O + 1033 route_E_P
+ 736 route_F_A + 1226 route_F_B + 1184 route_F_C + 980 route_F_D
+ 478 route_F_E + 115 route_F_G + 740 route_F_H + 470 route_F_I
+ 379 route_F_J + 1581 route_F_K + 271 route_F_L + 289 route_F_M
+ 261 route_F_N + 308 route_F_O + 687 route_F_P + 656 route_G_A
+ 1133 route_G_B + 1084 route_G_C + 919 route_G_D + 583 route_G_E
+ 115 route_G_F + 667 route_G_H + 455 route_G_I + 288 route_G_J
+ 1661 route_G_K + 177 route_G_L + 216 route_G_M + 207 route_G_N
+ 343 route_G_O + 592 route_G_P + 60 route_H_A + 532 route_H_B
+ 536 route_H_C + 271 route_H_D + 996 route_H_E + 740 route_H_F
+ 667 route_H_G + 1066 route_H_I + 759 route_H_J + 2320 route_H_K
+ 493 route_H_L + 454 route_H_M + 479 route_H_N + 598 route_H_O
+ 206 route_H_P + 1039 route_I_A + 1449 route_I_B + 1371 route_I_C
+ 1333 route_I_D + 858 route_I_E + 470 route_I_F + 455 route_I_G
+ 1066 route_I_H + 328 route_I_J + 1387 route_I_K + 591 route_I_L
+ 650 route_I_M + 656 route_I_N + 776 route_I_O + 933 route_I_P
+ 726 route_J_A + 1122 route_J_B + 1045 route_J_C + 1029 route_J_D
+ 855 route_J_E + 379 route_J_F + 288 route_J_G + 759 route_J_H
+ 328 route_J_I + 1697 route_J_K + 333 route_J_L + 400 route_J_M
+ 427 route_J_N + 622 route_J_O + 610 route_J_P + 2314 route_K_A
+ 2789 route_K_B + 2728 route_K_C + 2553 route_K_D + 1504 route_K_E
+ 1581 route_K_F + 1661 route_K_G + 2320 route_K_H + 1387 route_K_I
+ 1697 route_K_J + 1838 route_K_L + 1868 route_K_M + 1841 route_K_N
+ 1789 route_K_O + 2248 route_K_P + 479 route_L_A + 958 route_L_B
+ 913 route_L_C + 751 route_L_D + 677 route_L_E + 271 route_L_F
+ 177 route_L_G + 493 route_L_H + 591 route_L_I + 333 route_L_J
+ 1838 route_L_K + 68 route_L_M + 105 route_L_N + 336 route_L_O
+ 417 route_L_P + 448 route_M_A + 941 route_M_B + 904 route_M_C
+ 704 route_M_D + 651 route_M_E + 289 route_M_F + 216 route_M_G
+ 454 route_M_H + 650 route_M_I + 400 route_M_J + 1868 route_M_K
+ 68 route_M_L + 52 route_M_N + 287 route_M_O + 406 route_M_P + 479 route_N_A
+ 978 route_N_B + 946 route_N_C + 720 route_N_D + 600 route_N_E
+ 261 route_N_F + 207 route_N_G + 479 route_N_H + 656 route_N_I
+ 427 route_N_J + 1841 route_N_K + 105 route_N_L + 52 route_N_M
+ 237 route_N_O + 449 route_N_P + 619 route_O_A + 1127 route_O_B
+ 1115 route_O_C + 783 route_O_D + 401 route_O_E + 308 route_O_F
+ 343 route_O_G + 598 route_O_H + 776 route_O_I + 622 route_O_J
+ 1789 route_O_K + 336 route_O_L + 287 route_O_M + 237 route_O_N
+ 636 route_O_P + 150 route_P_A + 542 route_P_B + 499 route_P_C
+ 455 route_P_D + 1033 route_P_E + 687 route_P_F + 592 route_P_G
+ 206 route_P_H + 933 route_P_I + 610 route_P_J + 2248 route_P_K
+ 417 route_P_L + 406 route_P_M + 449 route_P_N + 636 route_P_O
Subject To
_C1: 15 route_B_C + u_B - u_C <= 14
_C10: 15 route_B_L + u_B - u_L <= 14
_C100: 15 route_I_C - u_C + u_I <= 14
_C101: 15 route_I_D - u_D + u_I <= 14
_C102: 15 route_I_E - u_E + u_I <= 14
_C103: 15 route_I_F - u_F + u_I <= 14
_C104: 15 route_I_G - u_G + u_I <= 14
_C105: 15 route_I_H - u_H + u_I <= 14
_C106: 15 route_I_J + u_I - u_J <= 14
_C107: 15 route_I_K + u_I - u_K <= 14
_C108: 15 route_I_L + u_I - u_L <= 14
_C109: 15 route_I_M + u_I - u_M <= 14
_C11: 15 route_B_M + u_B - u_M <= 14
_C110: 15 route_I_N + u_I - u_N <= 14
_C111: 15 route_I_O + u_I - u_O <= 14
_C112: 15 route_I_P + u_I - u_P <= 14
_C113: 15 route_J_B - u_B + u_J <= 14
_C114: 15 route_J_C - u_C + u_J <= 14
_C115: 15 route_J_D - u_D + u_J <= 14
_C116: 15 route_J_E - u_E + u_J <= 14
_C117: 15 route_J_F - u_F + u_J <= 14
_C118: 15 route_J_G - u_G + u_J <= 14
_C119: 15 route_J_H - u_H + u_J <= 14
_C12: 15 route_B_N + u_B - u_N <= 14
_C120: 15 route_J_I - u_I + u_J <= 14
_C121: 15 route_J_K + u_J - u_K <= 14
_C122: 15 route_J_L + u_J - u_L <= 14
_C123: 15 route_J_M + u_J - u_M <= 14
_C124: 15 route_J_N + u_J - u_N <= 14
_C125: 15 route_J_O + u_J - u_O <= 14
_C126: 15 route_J_P + u_J - u_P <= 14
_C127: 15 route_K_B - u_B + u_K <= 14
_C128: 15 route_K_C - u_C + u_K <= 14
_C129: 15 route_K_D - u_D + u_K <= 14
_C13: 15 route_B_O + u_B - u_O <= 14
_C130: 15 route_K_E - u_E + u_K <= 14
_C131: 15 route_K_F - u_F + u_K <= 14
_C132: 15 route_K_G - u_G + u_K <= 14
_C133: 15 route_K_H - u_H + u_K <= 14
_C134: 15 route_K_I - u_I + u_K <= 14
_C135: 15 route_K_J - u_J + u_K <= 14
_C136: 15 route_K_L + u_K - u_L <= 14
_C137: 15 route_K_M + u_K - u_M <= 14
_C138: 15 route_K_N + u_K - u_N <= 14
_C139: 15 route_K_O + u_K - u_O <= 14
_C14: 15 route_B_P + u_B - u_P <= 14
_C140: 15 route_K_P + u_K - u_P <= 14
_C141: 15 route_L_B - u_B + u_L <= 14
_C142: 15 route_L_C - u_C + u_L <= 14
_C143: 15 route_L_D - u_D + u_L <= 14
_C144: 15 route_L_E - u_E + u_L <= 14
_C145: 15 route_L_F - u_F + u_L <= 14
_C146: 15 route_L_G - u_G + u_L <= 14
_C147: 15 route_L_H - u_H + u_L <= 14
_C148: 15 route_L_I - u_I + u_L <= 14
_C149: 15 route_L_J - u_J + u_L <= 14
_C15: 15 route_C_B - u_B + u_C <= 14
_C150: 15 route_L_K - u_K + u_L <= 14
_C151: 15 route_L_M + u_L - u_M <= 14
_C152: 15 route_L_N + u_L - u_N <= 14
_C153: 15 route_L_O + u_L - u_O <= 14
_C154: 15 route_L_P + u_L - u_P <= 14
_C155: 15 route_M_B - u_B + u_M <= 14
_C156: 15 route_M_C - u_C + u_M <= 14
_C157: 15 route_M_D - u_D + u_M <= 14
_C158: 15 route_M_E - u_E + u_M <= 14
_C159: 15 route_M_F - u_F + u_M <= 14
_C16: 15 route_C_D + u_C - u_D <= 14
_C160: 15 route_M_G - u_G + u_M <= 14
_C161: 15 route_M_H - u_H + u_M <= 14
_C162: 15 route_M_I - u_I + u_M <= 14
_C163: 15 route_M_J - u_J + u_M <= 14
_C164: 15 route_M_K - u_K + u_M <= 14
_C165: 15 route_M_L - u_L + u_M <= 14
_C166: 15 route_M_N + u_M - u_N <= 14
_C167: 15 route_M_O + u_M - u_O <= 14
_C168: 15 route_M_P + u_M - u_P <= 14
_C169: 15 route_N_B - u_B + u_N <= 14
_C17: 15 route_C_E + u_C - u_E <= 14
_C170: 15 route_N_C - u_C + u_N <= 14
_C171: 15 route_N_D - u_D + u_N <= 14
_C172: 15 route_N_E - u_E + u_N <= 14
_C173: 15 route_N_F - u_F + u_N <= 14
_C174: 15 route_N_G - u_G + u_N <= 14
_C175: 15 route_N_H - u_H + u_N <= 14
_C176: 15 route_N_I - u_I + u_N <= 14
_C177: 15 route_N_J - u_J + u_N <= 14
_C178: 15 route_N_K - u_K + u_N <= 14
_C179: 15 route_N_L - u_L + u_N <= 14
_C18: 15 route_C_F + u_C - u_F <= 14
_C180: 15 route_N_M - u_M + u_N <= 14
_C181: 15 route_N_O + u_N - u_O <= 14
_C182: 15 route_N_P + u_N - u_P <= 14
_C183: 15 route_O_B - u_B + u_O <= 14
_C184: 15 route_O_C - u_C + u_O <= 14
_C185: 15 route_O_D - u_D + u_O <= 14
_C186: 15 route_O_E - u_E + u_O <= 14
_C187: 15 route_O_F - u_F + u_O <= 14
_C188: 15 route_O_G - u_G + u_O <= 14
_C189: 15 route_O_H - u_H + u_O <= 14
_C19: 15 route_C_G + u_C - u_G <= 14
_C190: 15 route_O_I - u_I + u_O <= 14
_C191: 15 route_O_J - u_J + u_O <= 14
_C192: 15 route_O_K - u_K + u_O <= 14
_C193: 15 route_O_L - u_L + u_O <= 14
_C194: 15 route_O_M - u_M + u_O <= 14
_C195: 15 route_O_N - u_N + u_O <= 14
_C196: 15 route_O_P + u_O - u_P <= 14
_C197: 15 route_P_B - u_B + u_P <= 14
_C198: 15 route_P_C - u_C + u_P <= 14
_C199: 15 route_P_D - u_D + u_P <= 14
_C2: 15 route_B_D + u_B - u_D <= 14
_C20: 15 route_C_H + u_C - u_H <= 14
_C200: 15 route_P_E - u_E + u_P <= 14
_C201: 15 route_P_F - u_F + u_P <= 14
_C202: 15 route_P_G - u_G + u_P <= 14
_C203: 15 route_P_H - u_H + u_P <= 14
_C204: 15 route_P_I - u_I + u_P <= 14
_C205: 15 route_P_J - u_J + u_P <= 14
_C206: 15 route_P_K - u_K + u_P <= 14
_C207: 15 route_P_L - u_L + u_P <= 14
_C208: 15 route_P_M - u_M + u_P <= 14
_C209: 15 route_P_N - u_N + u_P <= 14
_C21: 15 route_C_I + u_C - u_I <= 14
_C210: 15 route_P_O - u_O + u_P <= 14
_C22: 15 route_C_J + u_C - u_J <= 14
_C23: 15 route_C_K + u_C - u_K <= 14
_C24: 15 route_C_L + u_C - u_L <= 14
_C25: 15 route_C_M + u_C - u_M <= 14
_C26: 15 route_C_N + u_C - u_N <= 14
_C27: 15 route_C_O + u_C - u_O <= 14
_C28: 15 route_C_P + u_C - u_P <= 14
_C29: 15 route_D_B - u_B + u_D <= 14
_C3: 15 route_B_E + u_B - u_E <= 14
_C30: 15 route_D_C - u_C + u_D <= 14
_C31: 15 route_D_E + u_D - u_E <= 14
_C32: 15 route_D_F + u_D - u_F <= 14
_C33: 15 route_D_G + u_D - u_G <= 14
_C34: 15 route_D_H + u_D - u_H <= 14
_C35: 15 route_D_I + u_D - u_I <= 14
_C36: 15 route_D_J + u_D - u_J <= 14
_C37: 15 route_D_K + u_D - u_K <= 14
_C38: 15 route_D_L + u_D - u_L <= 14
_C39: 15 route_D_M + u_D - u_M <= 14
_C4: 15 route_B_F + u_B - u_F <= 14
_C40: 15 route_D_N + u_D - u_N <= 14
_C41: 15 route_D_O + u_D - u_O <= 14
_C42: 15 route_D_P + u_D - u_P <= 14
_C43: 15 route_E_B - u_B + u_E <= 14
_C44: 15 route_E_C - u_C + u_E <= 14
_C45: 15 route_E_D - u_D + u_E <= 14
_C46: 15 route_E_F + u_E - u_F <= 14
_C47: 15 route_E_G + u_E - u_G <= 14
_C48: 15 route_E_H + u_E - u_H <= 14
_C49: 15 route_E_I + u_E - u_I <= 14
_C5: 15 route_B_G + u_B - u_G <= 14
_C50: 15 route_E_J + u_E - u_J <= 14
_C51: 15 route_E_K + u_E - u_K <= 14
_C52: 15 route_E_L + u_E - u_L <= 14
_C53: 15 route_E_M + u_E - u_M <= 14
_C54: 15 route_E_N + u_E - u_N <= 14
_C55: 15 route_E_O + u_E - u_O <= 14
_C56: 15 route_E_P + u_E - u_P <= 14
_C57: 15 route_F_B - u_B + u_F <= 14
_C58: 15 route_F_C - u_C + u_F <= 14
_C59: 15 route_F_D - u_D + u_F <= 14
_C6: 15 route_B_H + u_B - u_H <= 14
_C60: 15 route_F_E - u_E + u_F <= 14
_C61: 15 route_F_G + u_F - u_G <= 14
_C62: 15 route_F_H + u_F - u_H <= 14
_C63: 15 route_F_I + u_F - u_I <= 14
_C64: 15 route_F_J + u_F - u_J <= 14
_C65: 15 route_F_K + u_F - u_K <= 14
_C66: 15 route_F_L + u_F - u_L <= 14
_C67: 15 route_F_M + u_F - u_M <= 14
_C68: 15 route_F_N + u_F - u_N <= 14
_C69: 15 route_F_O + u_F - u_O <= 14
_C7: 15 route_B_I + u_B - u_I <= 14
_C70: 15 route_F_P + u_F - u_P <= 14
_C71: 15 route_G_B - u_B + u_G <= 14
_C72: 15 route_G_C - u_C + u_G <= 14
_C73: 15 route_G_D - u_D + u_G <= 14
_C74: 15 route_G_E - u_E + u_G <= 14
_C75: 15 route_G_F - u_F + u_G <= 14
_C76: 15 route_G_H + u_G - u_H <= 14
_C77: 15 route_G_I + u_G - u_I <= 14
_C78: 15 route_G_J + u_G - u_J <= 14
_C79: 15 route_G_K + u_G - u_K <= 14
_C8: 15 route_B_J + u_B - u_J <= 14
_C80: 15 route_G_L + u_G - u_L <= 14
_C81: 15 route_G_M + u_G - u_M <= 14
_C82: 15 route_G_N + u_G - u_N <= 14
_C83: 15 route_G_O + u_G - u_O <= 14
_C84: 15 route_G_P + u_G - u_P <= 14
_C85: 15 route_H_B - u_B + u_H <= 14
_C86: 15 route_H_C - u_C + u_H <= 14
_C87: 15 route_H_D - u_D + u_H <= 14
_C88: 15 route_H_E - u_E + u_H <= 14
_C89: 15 route_H_F - u_F + u_H <= 14
_C9: 15 route_B_K + u_B - u_K <= 14
_C90: 15 route_H_G - u_G + u_H <= 14
_C91: 15 route_H_I + u_H - u_I <= 14
_C92: 15 route_H_J + u_H - u_J <= 14
_C93: 15 route_H_K + u_H - u_K <= 14
_C94: 15 route_H_L + u_H - u_L <= 14
_C95: 15 route_H_M + u_H - u_M <= 14
_C96: 15 route_H_N + u_H - u_N <= 14
_C97: 15 route_H_O + u_H - u_O <= 14
_C98: 15 route_H_P + u_H - u_P <= 14
_C99: 15 route_I_B - u_B + u_I <= 14
route_in_A: route_B_A + route_C_A + route_D_A + route_E_A + route_F_A
+ route_G_A + route_H_A + route_I_A + route_J_A + route_K_A + route_L_A
+ route_M_A + route_N_A + route_O_A + route_P_A = 1
route_in_B: route_A_B + route_C_B + route_D_B + route_E_B + route_F_B
+ route_G_B + route_H_B + route_I_B + route_J_B + route_K_B + route_L_B
+ route_M_B + route_N_B + route_O_B + route_P_B = 1
route_in_C: route_A_C + route_B_C + route_D_C + route_E_C + route_F_C
+ route_G_C + route_H_C + route_I_C + route_J_C + route_K_C + route_L_C
+ route_M_C + route_N_C + route_O_C + route_P_C = 1
route_in_D: route_A_D + route_B_D + route_C_D + route_E_D + route_F_D
+ route_G_D + route_H_D + route_I_D + route_J_D + route_K_D + route_L_D
+ route_M_D + route_N_D + route_O_D + route_P_D = 1
route_in_E: route_A_E + route_B_E + route_C_E + route_D_E + route_F_E
+ route_G_E + route_H_E + route_I_E + route_J_E + route_K_E + route_L_E
+ route_M_E + route_N_E + route_O_E + route_P_E = 1
route_in_F: route_A_F + route_B_F + route_C_F + route_D_F + route_E_F
+ route_G_F + route_H_F + route_I_F + route_J_F + route_K_F + route_L_F
+ route_M_F + route_N_F + route_O_F + route_P_F = 1
route_in_G: route_A_G + route_B_G + route_C_G + route_D_G + route_E_G
+ route_F_G + route_H_G + route_I_G + route_J_G + route_K_G + route_L_G
+ route_M_G + route_N_G + route_O_G + route_P_G = 1
route_in_H: route_A_H + route_B_H + route_C_H + route_D_H + route_E_H
+ route_F_H + route_G_H + route_I_H + route_J_H + route_K_H + route_L_H
+ route_M_H + route_N_H + route_O_H + route_P_H = 1
route_in_I: route_A_I + route_B_I + route_C_I + route_D_I + route_E_I
+ route_F_I + route_G_I + route_H_I + route_J_I + route_K_I + route_L_I
+ route_M_I + route_N_I + route_O_I + route_P_I = 1
route_in_J: route_A_J + route_B_J + route_C_J + route_D_J + route_E_J
+ route_F_J + route_G_J + route_H_J + route_I_J + route_K_J + route_L_J
+ route_M_J + route_N_J + route_O_J + route_P_J = 1
route_in_K: route_A_K + route_B_K + route_C_K + route_D_K + route_E_K
+ route_F_K + route_G_K + route_H_K + route_I_K + route_J_K + route_L_K
+ route_M_K + route_N_K + route_O_K + route_P_K = 1
route_in_L: route_A_L + route_B_L + route_C_L + route_D_L + route_E_L
+ route_F_L + route_G_L + route_H_L + route_I_L + route_J_L + route_K_L
+ route_M_L + route_N_L + route_O_L + route_P_L = 1
route_in_M: route_A_M + route_B_M + route_C_M + route_D_M + route_E_M
+ route_F_M + route_G_M + route_H_M + route_I_M + route_J_M + route_K_M
+ route_L_M + route_N_M + route_O_M + route_P_M = 1
route_in_N: route_A_N + route_B_N + route_C_N + route_D_N + route_E_N
+ route_F_N + route_G_N + route_H_N + route_I_N + route_J_N + route_K_N
+ route_L_N + route_M_N + route_O_N + route_P_N = 1
route_in_O: route_A_O + route_B_O + route_C_O + route_D_O + route_E_O
+ route_F_O + route_G_O + route_H_O + route_I_O + route_J_O + route_K_O
+ route_L_O + route_M_O + route_N_O + route_P_O = 1
route_in_P: route_A_P + route_B_P + route_C_P + route_D_P + route_E_P
+ route_F_P + route_G_P + route_H_P + route_I_P + route_J_P + route_K_P
+ route_L_P + route_M_P + route_N_P + route_O_P = 1
route_out_A: route_A_B + route_A_C + route_A_D + route_A_E + route_A_F
+ route_A_G + route_A_H + route_A_I + route_A_J + route_A_K + route_A_L
+ route_A_M + route_A_N + route_A_O + route_A_P = 1
route_out_B: route_B_A + route_B_C + route_B_D + route_B_E + route_B_F
+ route_B_G + route_B_H + route_B_I + route_B_J + route_B_K + route_B_L
+ route_B_M + route_B_N + route_B_O + route_B_P = 1
route_out_C: route_C_A + route_C_B + route_C_D + route_C_E + route_C_F
+ route_C_G + route_C_H + route_C_I + route_C_J + route_C_K + route_C_L
+ route_C_M + route_C_N + route_C_O + route_C_P = 1
route_out_D: route_D_A + route_D_B + route_D_C + route_D_E + route_D_F
+ route_D_G + route_D_H + route_D_I + route_D_J + route_D_K + route_D_L
+ route_D_M + route_D_N + route_D_O + route_D_P = 1
route_out_E: route_E_A + route_E_B + route_E_C + route_E_D + route_E_F
+ route_E_G + route_E_H + route_E_I + route_E_J + route_E_K + route_E_L
+ route_E_M + route_E_N + route_E_O + route_E_P = 1
route_out_F: route_F_A + route_F_B + route_F_C + route_F_D + route_F_E
+ route_F_G + route_F_H + route_F_I + route_F_J + route_F_K + route_F_L
+ route_F_M + route_F_N + route_F_O + route_F_P = 1
route_out_G: route_G_A + route_G_B + route_G_C + route_G_D + route_G_E
+ route_G_F + route_G_H + route_G_I + route_G_J + route_G_K + route_G_L
+ route_G_M + route_G_N + route_G_O + route_G_P = 1
route_out_H: route_H_A + route_H_B + route_H_C + route_H_D + route_H_E
+ route_H_F + route_H_G + route_H_I + route_H_J + route_H_K + route_H_L
+ route_H_M + route_H_N + route_H_O + route_H_P = 1
route_out_I: route_I_A + route_I_B + route_I_C + route_I_D + route_I_E
+ route_I_F + route_I_G + route_I_H + route_I_J + route_I_K + route_I_L
+ route_I_M + route_I_N + route_I_O + route_I_P = 1
route_out_J: route_J_A + route_J_B + route_J_C + route_J_D + route_J_E
+ route_J_F + route_J_G + route_J_H + route_J_I + route_J_K + route_J_L
+ route_J_M + route_J_N + route_J_O + route_J_P = 1
route_out_K: route_K_A + route_K_B + route_K_C + route_K_D + route_K_E
+ route_K_F + route_K_G + route_K_H + route_K_I + route_K_J + route_K_L
+ route_K_M + route_K_N + route_K_O + route_K_P = 1
route_out_L: route_L_A + route_L_B + route_L_C + route_L_D + route_L_E
+ route_L_F + route_L_G + route_L_H + route_L_I + route_L_J + route_L_K
+ route_L_M + route_L_N + route_L_O + route_L_P = 1
route_out_M: route_M_A + route_M_B + route_M_C + route_M_D + route_M_E
+ route_M_F + route_M_G + route_M_H + route_M_I + route_M_J + route_M_K
+ route_M_L + route_M_N + route_M_O + route_M_P = 1
route_out_N: route_N_A + route_N_B + route_N_C + route_N_D + route_N_E
+ route_N_F + route_N_G + route_N_H + route_N_I + route_N_J + route_N_K
+ route_N_L + route_N_M + route_N_O + route_N_P = 1
route_out_O: route_O_A + route_O_B + route_O_C + route_O_D + route_O_E
+ route_O_F + route_O_G + route_O_H + route_O_I + route_O_J + route_O_K
+ route_O_L + route_O_M + route_O_N + route_O_P = 1
route_out_P: route_P_A + route_P_B + route_P_C + route_P_D + route_P_E
+ route_P_F + route_P_G + route_P_H + route_P_I + route_P_J + route_P_K
+ route_P_L + route_P_M + route_P_N + route_P_O = 1
Bounds
2 <= u_B <= 16
2 <= u_C <= 16
2 <= u_D <= 16
2 <= u_E <= 16
2 <= u_F <= 16
2 <= u_G <= 16
2 <= u_H <= 16
2 <= u_I <= 16
2 <= u_J <= 16
2 <= u_K <= 16
2 <= u_L <= 16
2 <= u_M <= 16
2 <= u_N <= 16
2 <= u_O <= 16
2 <= u_P <= 16
Generals
u_B
u_C
u_D
u_E
u_F
u_G
u_H
u_I
u_J
u_K
u_L
u_M
u_N
u_O
u_P
Binaries
route_A_B
route_A_C
route_A_D
route_A_E
route_A_F
route_A_G
route_A_H
route_A_I
route_A_J
route_A_K
route_A_L
route_A_M
route_A_N
route_A_O
route_A_P
route_B_A
route_B_C
route_B_D
route_B_E
route_B_F
route_B_G
route_B_H
route_B_I
route_B_J
route_B_K
route_B_L
route_B_M
route_B_N
route_B_O
route_B_P
route_C_A
route_C_B
route_C_D
route_C_E
route_C_F
route_C_G
route_C_H
route_C_I
route_C_J
route_C_K
route_C_L
route_C_M
route_C_N
route_C_O
route_C_P
route_D_A
route_D_B
route_D_C
route_D_E
route_D_F
route_D_G
route_D_H
route_D_I
route_D_J
route_D_K
route_D_L
route_D_M
route_D_N
route_D_O
route_D_P
route_E_A
route_E_B
route_E_C
route_E_D
route_E_F
route_E_G
route_E_H
route_E_I
route_E_J
route_E_K
route_E_L
route_E_M
route_E_N
route_E_O
route_E_P
route_F_A
route_F_B
route_F_C
route_F_D
route_F_E
route_F_G
route_F_H
route_F_I
route_F_J
route_F_K
route_F_L
route_F_M
route_F_N
route_F_O
route_F_P
route_G_A
route_G_B
route_G_C
route_G_D
route_G_E
route_G_F
route_G_H
route_G_I
route_G_J
route_G_K
route_G_L
route_G_M
route_G_N
route_G_O
route_G_P
route_H_A
route_H_B
route_H_C
route_H_D
route_H_E
route_H_F
route_H_G
route_H_I
route_H_J
route_H_K
route_H_L
route_H_M
route_H_N
route_H_O
route_H_P
route_I_A
route_I_B
route_I_C
route_I_D
route_I_E
route_I_F
route_I_G
route_I_H
route_I_J
route_I_K
route_I_L
route_I_M
route_I_N
route_I_O
route_I_P
route_J_A
route_J_B
route_J_C
route_J_D
route_J_E
route_J_F
route_J_G
route_J_H
route_J_I
route_J_K
route_J_L
route_J_M
route_J_N
route_J_O
route_J_P
route_K_A
route_K_B
route_K_C
route_K_D
route_K_E
route_K_F
route_K_G
route_K_H
route_K_I
route_K_J
route_K_L
route_K_M
route_K_N
route_K_O
route_K_P
route_L_A
route_L_B
route_L_C
route_L_D
route_L_E
route_L_F
route_L_G
route_L_H
route_L_I
route_L_J
route_L_K
route_L_M
route_L_N
route_L_O
route_L_P
route_M_A
route_M_B
route_M_C
route_M_D
route_M_E
route_M_F
route_M_G
route_M_H
route_M_I
route_M_J
route_M_K
route_M_L
route_M_N
route_M_O
route_M_P
route_N_A
route_N_B
route_N_C
route_N_D
route_N_E
route_N_F
route_N_G
route_N_H
route_N_I
route_N_J
route_N_K
route_N_L
route_N_M
route_N_O
route_N_P
route_O_A
route_O_B
route_O_C
route_O_D
route_O_E
route_O_F
route_O_G
route_O_H
route_O_I
route_O_J
route_O_K
route_O_L
route_O_M
route_O_N
route_O_P
route_P_A
route_P_B
route_P_C
route_P_D
route_P_E
route_P_F
route_P_G
route_P_H
route_P_I
route_P_J
route_P_K
route_P_L
route_P_M
route_P_N
route_P_O
End