/* PROBLEMA DEL VIAJANTE DE COMERCIO */

/* Objective function */
min: +57 x_1_0 +64 x_2_0 +8 x_3_0 +26 x_4_0 +49 x_5_0 +64 x_6_0 +47 x_7_0 +46 x_8_0 +57 x_0_1 +88 x_2_1 +54 x_3_1 +34 x_4_1 +83 x_5_1 +37 x_6_1 +43 x_7_1 +27 x_8_1 +64 x_0_2 +88 x_1_2 +57 x_3_2 +56 x_4_2 +29 x_5_2 +60 x_6_2 +44 x_7_2 +63 x_8_2 +8 x_0_3 +54 x_1_3 +57 x_2_3 +23 x_4_3 +43 x_5_3 +63 x_6_3 +44 x_7_3 +41 x_8_3 +26 x_0_4 +34 x_1_4 +56 x_2_4 +23 x_3_4 +50 x_5_4 +40 x_6_4 +22 x_7_4 +20 x_8_4 +49 x_0_5 +83 x_1_5 +29 x_2_5 +43 x_3_5 +50 x_4_5 +80 x_6_5 +63 x_7_5 +70 x_8_5 +64 x_0_6 +37 x_1_6 +60 x_2_6 +63 x_3_6 +40 x_4_6 +80 x_5_6 +17 x_7_6 +22 x_8_6 +47 x_0_7 +43 x_1_7 +44 x_2_7 +44 x_3_7 +22 x_4_7 +63 x_5_7 +17 x_6_7 +19 x_8_7 +46 x_0_8 +27 x_1_8 +63 x_2_8 +41 x_3_8 +20 x_4_8 +70 x_5_8 +22 x_6_8 +19 x_7_8;

/* Constraints */
r1: +x_1_0 +x_2_0 +x_3_0 +x_4_0 +x_5_0 +x_6_0 +x_7_0 +x_8_0 = 1;
r2: +x_0_1 +x_0_2 +x_0_3 +x_0_4 +x_0_5 +x_0_6 +x_0_7 +x_0_8 = 1;
r3: +x_0_1 +x_2_1 +x_3_1 +x_4_1 +x_5_1 +x_6_1 +x_7_1 +x_8_1 = 1;
r4: +x_1_0 +x_1_2 +x_1_3 +x_1_4 +x_1_5 +x_1_6 +x_1_7 +x_1_8 = 1;
r5: +x_0_2 +x_1_2 +x_3_2 +x_4_2 +x_5_2 +x_6_2 +x_7_2 +x_8_2 = 1;
r6: +x_2_0 +x_2_1 +x_2_3 +x_2_4 +x_2_5 +x_2_6 +x_2_7 +x_2_8 = 1;
r7: +x_0_3 +x_1_3 +x_2_3 +x_4_3 +x_5_3 +x_6_3 +x_7_3 +x_8_3 = 1;
r8: +x_3_0 +x_3_1 +x_3_2 +x_3_4 +x_3_5 +x_3_6 +x_3_7 +x_3_8 = 1;
r9: +x_0_4 +x_1_4 +x_2_4 +x_3_4 +x_5_4 +x_6_4 +x_7_4 +x_8_4 = 1;
r10: +x_4_0 +x_4_1 +x_4_2 +x_4_3 +x_4_5 +x_4_6 +x_4_7 +x_4_8 = 1;
r11: +x_0_5 +x_1_5 +x_2_5 +x_3_5 +x_4_5 +x_6_5 +x_7_5 +x_8_5 = 1;
r12: +x_5_0 +x_5_1 +x_5_2 +x_5_3 +x_5_4 +x_5_6 +x_5_7 +x_5_8 = 1;
r13: +x_0_6 +x_1_6 +x_2_6 +x_3_6 +x_4_6 +x_5_6 +x_7_6 +x_8_6 = 1;
r14: +x_6_0 +x_6_1 +x_6_2 +x_6_3 +x_6_4 +x_6_5 +x_6_7 +x_6_8 = 1;
r15: +x_0_7 +x_1_7 +x_2_7 +x_3_7 +x_4_7 +x_5_7 +x_6_7 +x_8_7 = 1;
r16: +x_7_0 +x_7_1 +x_7_2 +x_7_3 +x_7_4 +x_7_5 +x_7_6 +x_7_8 = 1;
r17: +x_0_8 +x_1_8 +x_2_8 +x_3_8 +x_4_8 +x_5_8 +x_6_8 +x_7_8 = 1;
r18: +x_8_0 +x_8_1 +x_8_2 +x_8_3 +x_8_4 +x_8_5 +x_8_6 +x_8_7 = 1;
r19: +9 x_1_0 +u1 -u0 <= 8;
r20: +9 x_1_2 +u1 -u2 <= 8;
r21: +9 x_1_3 +u1 -u3 <= 8;
r22: +9 x_1_4 +u1 -u4 <= 8;
r23: +9 x_1_5 +u1 -u5 <= 8;
r24: +9 x_1_6 +u1 -u6 <= 8;
r25: +9 x_1_7 +u1 -u7 <= 8;
r26: +9 x_1_8 +u1 -u8 <= 8;
r27: +9 x_2_0 -u0 +u2 <= 8;
r28: +9 x_2_1 -u1 +u2 <= 8;
r29: +9 x_2_3 +u2 -u3 <= 8;
r30: +9 x_2_4 +u2 -u4 <= 8;
r31: +9 x_2_5 +u2 -u5 <= 8;
r32: +9 x_2_6 +u2 -u6 <= 8;
r33: +9 x_2_7 +u2 -u7 <= 8;
r34: +9 x_2_8 +u2 -u8 <= 8;
r35: +9 x_3_0 -u0 +u3 <= 8;
r36: +9 x_3_1 -u1 +u3 <= 8;
r37: +9 x_3_2 -u2 +u3 <= 8;
r38: +9 x_3_4 +u3 -u4 <= 8;
r39: +9 x_3_5 +u3 -u5 <= 8;
r40: +9 x_3_6 +u3 -u6 <= 8;
r41: +9 x_3_7 +u3 -u7 <= 8;
r42: +9 x_3_8 +u3 -u8 <= 8;
r43: +9 x_4_0 -u0 +u4 <= 8;
r44: +9 x_4_1 -u1 +u4 <= 8;
r45: +9 x_4_2 -u2 +u4 <= 8;
r46: +9 x_4_3 -u3 +u4 <= 8;
r47: +9 x_4_5 +u4 -u5 <= 8;
r48: +9 x_4_6 +u4 -u6 <= 8;
r49: +9 x_4_7 +u4 -u7 <= 8;
r50: +9 x_4_8 +u4 -u8 <= 8;
r51: +9 x_5_0 -u0 +u5 <= 8;
r52: +9 x_5_1 -u1 +u5 <= 8;
r53: +9 x_5_2 -u2 +u5 <= 8;
r54: +9 x_5_3 -u3 +u5 <= 8;
r55: +9 x_5_4 -u4 +u5 <= 8;
r56: +9 x_5_6 +u5 -u6 <= 8;
r57: +9 x_5_7 +u5 -u7 <= 8;
r58: +9 x_5_8 +u5 -u8 <= 8;
r59: +9 x_6_0 -u0 +u6 <= 8;
r60: +9 x_6_1 -u1 +u6 <= 8;
r61: +9 x_6_2 -u2 +u6 <= 8;
r62: +9 x_6_3 -u3 +u6 <= 8;
r63: +9 x_6_4 -u4 +u6 <= 8;
r64: +9 x_6_5 -u5 +u6 <= 8;
r65: +9 x_6_7 +u6 -u7 <= 8;
r66: +9 x_6_8 +u6 -u8 <= 8;
r67: +9 x_7_0 -u0 +u7 <= 8;
r68: +9 x_7_1 -u1 +u7 <= 8;
r69: +9 x_7_2 -u2 +u7 <= 8;
r70: +9 x_7_3 -u3 +u7 <= 8;
r71: +9 x_7_4 -u4 +u7 <= 8;
r72: +9 x_7_5 -u5 +u7 <= 8;
r73: +9 x_7_6 -u6 +u7 <= 8;
r74: +9 x_7_8 +u7 -u8 <= 8;
r75: +9 x_8_0 -u0 +u8 <= 8;
r76: +9 x_8_1 -u1 +u8 <= 8;
r77: +9 x_8_2 -u2 +u8 <= 8;
r78: +9 x_8_3 -u3 +u8 <= 8;
r79: +9 x_8_4 -u4 +u8 <= 8;
r80: +9 x_8_5 -u5 +u8 <= 8;
r81: +9 x_8_6 -u6 +u8 <= 8;
r82: +9 x_8_7 -u7 +u8 <= 8;
r83: +x_1_0 <= 1;
r84: +x_2_0 <= 1;
r85: +x_3_0 <= 1;
r86: +x_4_0 <= 1;
r87: +x_5_0 <= 1;
r88: +x_6_0 <= 1;
r89: +x_7_0 <= 1;
r90: +x_8_0 <= 1;
r91: +x_0_1 <= 1;
r92: +x_2_1 <= 1;
r93: +x_3_1 <= 1;
r94: +x_4_1 <= 1;
r95: +x_5_1 <= 1;
r96: +x_6_1 <= 1;
r97: +x_7_1 <= 1;
r98: +x_8_1 <= 1;
r99: +x_0_2 <= 1;
r100: +x_1_2 <= 1;
r101: +x_3_2 <= 1;
r102: +x_4_2 <= 1;
r103: +x_5_2 <= 1;
r104: +x_6_2 <= 1;
r105: +x_7_2 <= 1;
r106: +x_8_2 <= 1;
r107: +x_0_3 <= 1;
r108: +x_1_3 <= 1;
r109: +x_2_3 <= 1;
r110: +x_4_3 <= 1;
r111: +x_5_3 <= 1;
r112: +x_6_3 <= 1;
r113: +x_7_3 <= 1;
r114: +x_8_3 <= 1;
r115: +x_0_4 <= 1;
r116: +x_1_4 <= 1;
r117: +x_2_4 <= 1;
r118: +x_3_4 <= 1;
r119: +x_5_4 <= 1;
r120: +x_6_4 <= 1;
r121: +x_7_4 <= 1;
r122: +x_8_4 <= 1;
r123: +x_0_5 <= 1;
r124: +x_1_5 <= 1;
r125: +x_2_5 <= 1;
r126: +x_3_5 <= 1;
r127: +x_4_5 <= 1;
r128: +x_6_5 <= 1;
r129: +x_7_5 <= 1;
r130: +x_8_5 <= 1;
r131: +x_0_6 <= 1;
r132: +x_1_6 <= 1;
r133: +x_2_6 <= 1;
r134: +x_3_6 <= 1;
r135: +x_4_6 <= 1;
r136: +x_5_6 <= 1;
r137: +x_7_6 <= 1;
r138: +x_8_6 <= 1;
r139: +x_0_7 <= 1;
r140: +x_1_7 <= 1;
r141: +x_2_7 <= 1;
r142: +x_3_7 <= 1;
r143: +x_4_7 <= 1;
r144: +x_5_7 <= 1;
r145: +x_6_7 <= 1;
r146: +x_8_7 <= 1;
r147: +x_0_8 <= 1;
r148: +x_1_8 <= 1;
r149: +x_2_8 <= 1;
r150: +x_3_8 <= 1;
r151: +x_4_8 <= 1;
r152: +x_5_8 <= 1;
r153: +x_6_8 <= 1;
r154: +x_7_8 <= 1;
r155: +x_1_0 >= 0;
r156: +x_2_0 >= 0;
r157: +x_3_0 >= 0;
r158: +x_4_0 >= 0;
r159: +x_5_0 >= 0;
r160: +x_6_0 >= 0;
r161: +x_7_0 >= 0;
r162: +x_8_0 >= 0;
r163: +x_0_1 >= 0;
r164: +x_2_1 >= 0;
r165: +x_3_1 >= 0;
r166: +x_4_1 >= 0;
r167: +x_5_1 >= 0;
r168: +x_6_1 >= 0;
r169: +x_7_1 >= 0;
r170: +x_8_1 >= 0;
r171: +x_0_2 >= 0;
r172: +x_1_2 >= 0;
r173: +x_3_2 >= 0;
r174: +x_4_2 >= 0;
r175: +x_5_2 >= 0;
r176: +x_6_2 >= 0;
r177: +x_7_2 >= 0;
r178: +x_8_2 >= 0;
r179: +x_0_3 >= 0;
r180: +x_1_3 >= 0;
r181: +x_2_3 >= 0;
r182: +x_4_3 >= 0;
r183: +x_5_3 >= 0;
r184: +x_6_3 >= 0;
r185: +x_7_3 >= 0;
r186: +x_8_3 >= 0;
r187: +x_0_4 >= 0;
r188: +x_1_4 >= 0;
r189: +x_2_4 >= 0;
r190: +x_3_4 >= 0;
r191: +x_5_4 >= 0;
r192: +x_6_4 >= 0;
r193: +x_7_4 >= 0;
r194: +x_8_4 >= 0;
r195: +x_0_5 >= 0;
r196: +x_1_5 >= 0;
r197: +x_2_5 >= 0;
r198: +x_3_5 >= 0;
r199: +x_4_5 >= 0;
r200: +x_6_5 >= 0;
r201: +x_7_5 >= 0;
r202: +x_8_5 >= 0;
r203: +x_0_6 >= 0;
r204: +x_1_6 >= 0;
r205: +x_2_6 >= 0;
r206: +x_3_6 >= 0;
r207: +x_4_6 >= 0;
r208: +x_5_6 >= 0;
r209: +x_7_6 >= 0;
r210: +x_8_6 >= 0;
r211: +x_0_7 >= 0;
r212: +x_1_7 >= 0;
r213: +x_2_7 >= 0;
r214: +x_3_7 >= 0;
r215: +x_4_7 >= 0;
r216: +x_5_7 >= 0;
r217: +x_6_7 >= 0;
r218: +x_8_7 >= 0;
r219: +x_0_8 >= 0;
r220: +x_1_8 >= 0;
r221: +x_2_8 >= 0;
r222: +x_3_8 >= 0;
r223: +x_4_8 >= 0;
r224: +x_5_8 >= 0;
r225: +x_6_8 >= 0;
r226: +x_7_8 >= 0;

/* Integer definitions */
int x_1_0,x_2_0,x_3_0,x_4_0,x_5_0,x_6_0,x_7_0,x_8_0,x_0_1,x_2_1,x_3_1,x_4_1,x_5_1,x_6_1,x_7_1,x_8_1,x_0_2,x_1_2,x_3_2,x_4_2,x_5_2,x_6_2,x_7_2,x_8_2,x_0_3,x_1_3,x_2_3,x_4_3,x_5_3,x_6_3,x_7_3,x_8_3,x_0_4,x_1_4,x_2_4,x_3_4,x_5_4,x_6_4,x_7_4,x_8_4,x_0_5,x_1_5,x_2_5,x_3_5,x_4_5,x_6_5,x_7_5,x_8_5,x_0_6,x_1_6,x_2_6,x_3_6,x_4_6,x_5_6,x_7_6,x_8_6,x_0_7,x_1_7,x_2_7,x_3_7,x_4_7,x_5_7,x_6_7,x_8_7,x_0_8,x_1_8,x_2_8,x_3_8,x_4_8,x_5_8,x_6_8,x_7_8;