## ams_version=1.0 Model Main_graphpart_3pm_0344_0344 { Variable b1 { Range: binary; } Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable b51 { Range: binary; } Variable b52 { Range: binary; } Variable b53 { Range: binary; } Variable b54 { Range: binary; } Variable b55 { Range: binary; } Variable b56 { Range: binary; } Variable b57 { Range: binary; } Variable b58 { Range: binary; } Variable b59 { Range: binary; } Variable b60 { Range: binary; } Variable b61 { Range: binary; } Variable b62 { Range: binary; } Variable b63 { Range: binary; } Variable b64 { Range: binary; } Variable b65 { Range: binary; } Variable b66 { Range: binary; } Variable b67 { Range: binary; } Variable b68 { Range: binary; } Variable b69 { Range: binary; } Variable b70 { Range: binary; } Variable b71 { Range: binary; } Variable b72 { Range: binary; } Variable b73 { Range: binary; } Variable b74 { Range: binary; } Variable b75 { Range: binary; } Variable b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable b109 { Range: binary; } Variable b110 { Range: binary; } Variable b111 { Range: binary; } Variable b112 { Range: binary; } Variable b113 { Range: binary; } Variable b114 { Range: binary; } Variable b115 { Range: binary; } Variable b116 { Range: binary; } Variable b117 { Range: binary; } Variable b118 { Range: binary; } Variable b119 { Range: binary; } Variable b120 { Range: binary; } Variable b121 { Range: binary; } Variable b122 { Range: binary; } Variable b123 { Range: binary; } Variable b124 { Range: binary; } Variable b125 { Range: binary; } Variable b126 { Range: binary; } Variable b127 { Range: binary; } Variable b128 { Range: binary; } Variable b129 { Range: binary; } Variable b130 { Range: binary; } Variable b131 { Range: binary; } Variable b132 { Range: binary; } Variable b133 { Range: binary; } Variable b134 { Range: binary; } Variable b135 { Range: binary; } Variable b136 { Range: binary; } Variable b137 { Range: binary; } Variable b138 { Range: binary; } Variable b139 { Range: binary; } Variable b140 { Range: binary; } Variable b141 { Range: binary; } Variable b142 { Range: binary; } Variable b143 { Range: binary; } Variable b144 { Range: binary; } Variable objvar; Constraint e1 { Definition: b1 + b2 + b3 = 1; } Constraint e2 { Definition: b4 + b5 + b6 = 1; } Constraint e3 { Definition: b7 + b8 + b9 = 1; } Constraint e4 { Definition: b10 + b11 + b12 = 1; } Constraint e5 { Definition: b13 + b14 + b15 = 1; } Constraint e6 { Definition: b16 + b17 + b18 = 1; } Constraint e7 { Definition: b19 + b20 + b21 = 1; } Constraint e8 { Definition: b22 + b23 + b24 = 1; } Constraint e9 { Definition: b25 + b26 + b27 = 1; } Constraint e10 { Definition: b28 + b29 + b30 = 1; } Constraint e11 { Definition: b31 + b32 + b33 = 1; } Constraint e12 { Definition: b34 + b35 + b36 = 1; } Constraint e13 { Definition: b37 + b38 + b39 = 1; } Constraint e14 { Definition: b40 + b41 + b42 = 1; } Constraint e15 { Definition: b43 + b44 + b45 = 1; } Constraint e16 { Definition: b46 + b47 + b48 = 1; } Constraint e17 { Definition: b49 + b50 + b51 = 1; } Constraint e18 { Definition: b52 + b53 + b54 = 1; } Constraint e19 { Definition: b55 + b56 + b57 = 1; } Constraint e20 { Definition: b58 + b59 + b60 = 1; } Constraint e21 { Definition: b61 + b62 + b63 = 1; } Constraint e22 { Definition: b64 + b65 + b66 = 1; } Constraint e23 { Definition: b67 + b68 + b69 = 1; } Constraint e24 { Definition: b70 + b71 + b72 = 1; } Constraint e25 { Definition: b73 + b74 + b75 = 1; } Constraint e26 { Definition: b76 + b77 + b78 = 1; } Constraint e27 { Definition: b79 + b80 + b81 = 1; } Constraint e28 { Definition: b82 + b83 + b84 = 1; } Constraint e29 { Definition: b85 + b86 + b87 = 1; } Constraint e30 { Definition: b88 + b89 + b90 = 1; } Constraint e31 { Definition: b91 + b92 + b93 = 1; } Constraint e32 { Definition: b94 + b95 + b96 = 1; } Constraint e33 { Definition: b97 + b98 + b99 = 1; } Constraint e34 { Definition: b100 + b101 + b102 = 1; } Constraint e35 { Definition: b103 + b104 + b105 = 1; } Constraint e36 { Definition: b106 + b107 + b108 = 1; } Constraint e37 { Definition: b109 + b110 + b111 = 1; } Constraint e38 { Definition: b112 + b113 + b114 = 1; } Constraint e39 { Definition: b115 + b116 + b117 = 1; } Constraint e40 { Definition: b118 + b119 + b120 = 1; } Constraint e41 { Definition: b121 + b122 + b123 = 1; } Constraint e42 { Definition: b124 + b125 + b126 = 1; } Constraint e43 { Definition: b127 + b128 + b129 = 1; } Constraint e44 { Definition: b130 + b131 + b132 = 1; } Constraint e45 { Definition: b133 + b134 + b135 = 1; } Constraint e46 { Definition: b136 + b137 + b138 = 1; } Constraint e47 { Definition: b139 + b140 + b141 = 1; } Constraint e48 { Definition: b142 + b143 + b144 = 1; } Constraint e49 { Definition: { b1*b4 + b1*b10 + b1*b13 - b1*b25 + b1*b37 - b1*b109 + b2*b5 + b2*b11 + b2 *b14 - b2*b26 + b2*b38 - b2*b110 + b3*b6 + b3*b12 + b3*b15 - b3*b27 + b3* b39 - b3*b111 - b4*b7 - b4*b16 - b4*b28 - b4*b40 - b4*b112 - b5*b8 - b5* b17 - b5*b29 - b5*b41 - b5*b113 - b6*b9 - b6*b18 - b6*b30 - b6*b42 - b6* b114 - b7*b10 + b7*b19 - b7*b31 - b7*b43 + b7*b115 - b8*b11 + b8*b20 - b8 *b32 - b8*b44 + b8*b116 - b9*b12 + b9*b21 - b9*b33 - b9*b45 + b9*b117 - b10*b22 - b10*b34 + b10*b46 + b10*b118 - b11*b23 - b11*b35 + b11*b47 + b11*b119 - b12*b24 - b12*b36 + b12*b48 + b12*b120 + b13*b16 + b13*b22 - b13*b25 + b13*b49 + b13*b121 + b14*b17 + b14*b23 - b14*b26 + b14*b50 + b14*b122 + b15*b18 + b15*b24 - b15*b27 + b15*b51 + b15*b123 - b16*b19 + b16*b28 + b16*b52 + b16*b124 - b17*b20 + b17*b29 + b17*b53 + b17*b125 - b18*b21 + b18*b30 + b18*b54 + b18*b126 + b19*b22 - b19*b31 - b19*b55 + b19*b127 + b20*b23 - b20*b32 - b20*b56 + b20*b128 + b21*b24 - b21*b33 - b21*b57 + b21*b129 + b22*b34 + b22*b58 + b22*b130 + b23*b35 + b23*b59 + b23*b131 + b24*b36 + b24*b60 + b24*b132 + b25*b28 - b25*b34 + b25*b61 + b25*b133 + b26*b29 - b26*b35 + b26*b62 + b26*b134 + b27*b30 - b27*b36 + b27*b63 + b27*b135 - b28*b31 - b28*b64 - b28*b136 - b29*b32 - b29*b65 - b29*b137 - b30*b33 - b30*b66 - b30*b138 - b31*b34 + b31*b67 - b31*b139 - b32*b35 + b32*b68 - b32*b140 - b33*b36 + b33*b69 - b33*b141 - b34*b70 - b34*b142 - b35*b71 - b35*b143 - b36*b72 - b36*b144 + b37*b40 - b37*b46 - b37*b49 + b37*b61 - b37*b73 + b38*b41 - b38*b47 - b38*b50 + b38*b62 - b38 *b74 + b39*b42 - b39*b48 - b39*b51 + b39*b63 - b39*b75 + b40*b43 - b40* b52 + b40*b64 - b40*b76 + b41*b44 - b41*b53 + b41*b65 - b41*b77 + b42*b45 - b42*b54 + b42*b66 - b42*b78 - b43*b46 + b43*b55 + b43*b67 - b43*b79 - b44*b47 + b44*b56 + b44*b68 - b44*b80 - b45*b48 + b45*b57 + b45*b69 - b45 *b81 - b46*b58 + b46*b70 - b46*b82 - b47*b59 + b47*b71 - b47*b83 - b48* b60 + b48*b72 - b48*b84 - b49*b52 + b49*b58 + b49*b61 + b49*b85 - b50*b53 + b50*b59 + b50*b62 + b50*b86 - b51*b54 + b51*b60 + b51*b63 + b51*b87 - b52*b55 - b52*b64 - b52*b88 - b53*b56 - b53*b65 - b53*b89 - b54*b57 - b54 *b66 - b54*b90 - b55*b58 - b55*b67 + b55*b91 - b56*b59 - b56*b68 + b56* b92 - b57*b60 - b57*b69 + b57*b93 - b58*b70 + b58*b94 - b59*b71 + b59*b95 - b60*b72 + b60*b96 - b61*b64 + b61*b70 - b61*b97 - b62*b65 + b62*b71 - b62*b98 - b63*b66 + b63*b72 - b63*b99 + b64*b67 - b64*b100 + b65*b68 - b65*b101 + b66*b69 - b66*b102 - b67*b70 + b67*b103 - b68*b71 + b68*b104 - b69*b72 + b69*b105 + b70*b106 + b71*b107 + b72*b108 - b73*b76 - b73* b82 + b73*b85 - b73*b97 + b73*b109 - b74*b77 - b74*b83 + b74*b86 - b74* b98 + b74*b110 - b75*b78 - b75*b84 + b75*b87 - b75*b99 + b75*b111 - b76* b79 + b76*b88 + b76*b100 - b76*b112 - b77*b80 + b77*b89 + b77*b101 - b77* b113 - b78*b81 + b78*b90 + b78*b102 - b78*b114 + b79*b82 - b79*b91 - b79* b103 + b79*b115 + b80*b83 - b80*b92 - b80*b104 + b80*b116 + b81*b84 - b81 *b93 - b81*b105 + b81*b117 - b82*b94 + b82*b106 + b82*b118 - b83*b95 + b83*b107 + b83*b119 - b84*b96 + b84*b108 + b84*b120 + b85*b88 - b85*b94 + b85*b97 + b85*b121 + b86*b89 - b86*b95 + b86*b98 + b86*b122 + b87*b90 - b87*b96 + b87*b99 + b87*b123 + b88*b91 + b88*b100 - b88*b124 + b89*b92 + b89*b101 - b89*b125 + b90*b93 + b90*b102 - b90*b126 + b91*b94 - b91* b103 + b91*b127 + b92*b95 - b92*b104 + b92*b128 + b93*b96 - b93*b105 + b93*b129 - b94*b106 + b94*b130 - b95*b107 + b95*b131 - b96*b108 + b96* b132 - b97*b100 + b97*b106 - b97*b133 - b98*b101 + b98*b107 - b98*b134 - b99*b102 + b99*b108 - b99*b135 + b100*b103 + b100*b136 + b101*b104 + b101 *b137 + b102*b105 + b102*b138 - b103*b106 - b103*b139 - b104*b107 - b104* b140 - b105*b108 - b105*b141 + b106*b142 + b107*b143 + b108*b144 - b109* b112 - b109*b118 + b109*b121 - b109*b133 - b110*b113 - b110*b119 + b110* b122 - b110*b134 - b111*b114 - b111*b120 + b111*b123 - b111*b135 - b112* b115 - b112*b124 + b112*b136 - b113*b116 - b113*b125 + b113*b137 - b114* b117 - b114*b126 + b114*b138 - b115*b118 - b115*b127 - b115*b139 - b116* b119 - b116*b128 - b116*b140 - b117*b120 - b117*b129 - b117*b141 + b118* b130 + b118*b142 + b119*b131 + b119*b143 + b120*b132 + b120*b144 + b121* b124 - b121*b130 - b121*b133 + b122*b125 - b122*b131 - b122*b134 + b123* b126 - b123*b132 - b123*b135 + b124*b127 + b124*b136 + b125*b128 + b125* b137 + b126*b129 + b126*b138 + b127*b130 - b127*b139 + b128*b131 - b128* b140 + b129*b132 - b129*b141 + b130*b142 + b131*b143 + b132*b144 + b133* b136 + b133*b142 + b134*b137 + b134*b143 + b135*b138 + b135*b144 + b136* b139 + b137*b140 + b138*b141 - b139*b142 - b140*b143 - b141*b144 - objvar = 0 } } Procedure MainInitialization; MathematicalProgram graphpart_3pm_0344_0344 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve graphpart_3pm_0344_0344; } } Procedure MainTermination { Body: { return 1; } } }