# Domains
var x1 >= -4, <= 5;
var x2 >= -4, <= 5;
var x3 >= -4, <= 5;
var x4 >= -4, <= 5;
var x5 >= -4, <= 5;
var x6 >= -4, <= 5;
var x7 >= -4, <= 5;
var x8 >= -4, <= 5;
var x9 >= -4, <= 5;
var x10 >= -4, <= 5;
var x11 >= -4, <= 5;
var x12 >= -4, <= 5;
var x13 >= -4, <= 5;
var x14 >= -4, <= 5;
var x15 >= -4, <= 5;
var x16 >= -4, <= 5;
var x17 >= -4, <= 5;
var x18 >= -4, <= 5;
var x19 >= -4, <= 5;
var x20 >= -4, <= 5;
var x21 >= -4, <= 5;
var x22 >= -4, <= 5;
var x23 >= -4, <= 5;
var x24 >= -4, <= 5;
var x25 >= -4, <= 5;
var x26 >= -4, <= 5;
var x27 >= -4, <= 5;
var x28 >= -4, <= 5;
var x29 >= -4, <= 5;
var x30 >= -4, <= 5;
var x31 >= -4, <= 5;
var x32 >= -4, <= 5;
var x33 >= -4, <= 5;
var x34 >= -4, <= 5;
var x35 >= -4, <= 5;
var x36 >= -4, <= 5;
var x37 >= -4, <= 5;
var x38 >= -4, <= 5;
var x39 >= -4, <= 5;
var x40 >= -4, <= 5;
var x41 >= -4, <= 5;
var x42 >= -4, <= 5;
var x43 >= -4, <= 5;
var x44 >= -4, <= 5;
var x45 >= -4, <= 5;
var x46 >= -4, <= 5;
var x47 >= -4, <= 5;
var x48 >= -4, <= 5;
var x49 >= -4, <= 5;
var x50 >= -4, <= 5;
var x51 >= -4, <= 5;
var x52 >= -4, <= 5;
var x53 >= -4, <= 5;
var x54 >= -4, <= 5;
var x55 >= -4, <= 5;
var x56 >= -4, <= 5;
var x57 >= -4, <= 5;
var x58 >= -4, <= 5;
var x59 >= -4, <= 5;
var x60 >= -4, <= 5;
var x61 >= -4, <= 5;
var x62 >= -4, <= 5;
var x63 >= -4, <= 5;
var x64 >= -4, <= 5;
var x65 >= -4, <= 5;
var x66 >= -4, <= 5;
var x67 >= -4, <= 5;
var x68 >= -4, <= 5;
var x69 >= -4, <= 5;
var x70 >= -4, <= 5;
var x71 >= -4, <= 5;
var x72 >= -4, <= 5;
var x73 >= -4, <= 5;
var x74 >= -4, <= 5;
var x75 >= -4, <= 5;
var x76 >= -4, <= 5;
var x77 >= -4, <= 5;
var x78 >= -4, <= 5;
var x79 >= -4, <= 5;
var x80 >= -4, <= 5;
var x81 >= -4, <= 5;
var x82 >= -4, <= 5;
var x83 >= -4, <= 5;
var x84 >= -4, <= 5;
var x85 >= -4, <= 5;
var x86 >= -4, <= 5;
var x87 >= -4, <= 5;
var x88 >= -4, <= 5;
var x89 >= -4, <= 5;
var x90 >= -4, <= 5;
var x91 >= -4, <= 5;
var x92 >= -4, <= 5;
var x93 >= -4, <= 5;
var x94 >= -4, <= 5;
var x95 >= -4, <= 5;
var x96 >= -4, <= 5;
var x97 >= -4, <= 5;
var x98 >= -4, <= 5;
var x99 >= -4, <= 5;
var x100 >= -4, <= 5;
var x101 >= -4, <= 5;
var x102 >= -4, <= 5;
var x103 >= -4, <= 5;
var x104 >= -4, <= 5;
var x105 >= -4, <= 5;
var x106 >= -4, <= 5;
var x107 >= -4, <= 5;
var x108 >= -4, <= 5;
var x109 >= -4, <= 5;
var x110 >= -4, <= 5;
var x111 >= -4, <= 5;
var x112 >= -4, <= 5;
var x113 >= -4, <= 5;
var x114 >= -4, <= 5;
var x115 >= -4, <= 5;
var x116 >= -4, <= 5;
var x117 >= -4, <= 5;
var x118 >= -4, <= 5;
var x119 >= -4, <= 5;
var x120 >= -4, <= 5;
var x121 >= -4, <= 5;
var x122 >= -4, <= 5;
var x123 >= -4, <= 5;
var x124 >= -4, <= 5;
var x125 >= -4, <= 5;
var x126 >= -4, <= 5;
var x127 >= -4, <= 5;
var x128 >= -4, <= 5;
var x129 >= -4, <= 5;
var x130 >= -4, <= 5;
var x131 >= -4, <= 5;
var x132 >= -4, <= 5;
var x133 >= -4, <= 5;
var x134 >= -4, <= 5;
var x135 >= -4, <= 5;
var x136 >= -4, <= 5;
var x137 >= -4, <= 5;
var x138 >= -4, <= 5;
var x139 >= -4, <= 5;
var x140 >= -4, <= 5;
var x141 >= -4, <= 5;
var x142 >= -4, <= 5;
var x143 >= -4, <= 5;
var x144 >= -4, <= 5;
var x145 >= -4, <= 5;
var x146 >= -4, <= 5;
var x147 >= -4, <= 5;
var x148 >= -4, <= 5;
var x149 >= -4, <= 5;
var x150 >= -4, <= 5;
var x151 >= -4, <= 5;
var x152 >= -4, <= 5;
var x153 >= -4, <= 5;
var x154 >= -4, <= 5;
var x155 >= -4, <= 5;
var x156 >= -4, <= 5;
var x157 >= -4, <= 5;
var x158 >= -4, <= 5;
var x159 >= -4, <= 5;
var x160 >= -4, <= 5;
var l0 >= -1.0e16, <= 1.0e16;
var l1 >= -1.0e16, <= 1.0e16;
var l2 >= -1.0e16, <= 1.0e16;
var l3 >= -1.0e16, <= 1.0e16;
var l4 >= -1.0e16, <= 1.0e16;
var l5 >= -1.0e16, <= 1.0e16;
var l6 >= -1.0e16, <= 1.0e16;
var l7 >= -1.0e16, <= 1.0e16;
var l8 >= -1.0e16, <= 1.0e16;
var l9 >= -1.0e16, <= 1.0e16;
var l10 >= -1.0e16, <= 1.0e16;
var l11 >= -1.0e16, <= 1.0e16;
var l12 >= -1.0e16, <= 1.0e16;
var l13 >= -1.0e16, <= 1.0e16;
var l14 >= -1.0e16, <= 1.0e16;
var l15 >= -1.0e16, <= 1.0e16;
var l16 >= -1.0e16, <= 1.0e16;
var l17 >= -1.0e16, <= 1.0e16;
var l18 >= -1.0e16, <= 1.0e16;
var l19 >= -1.0e16, <= 1.0e16;
var l20 >= -1.0e16, <= 1.0e16;
var l21 >= -1.0e16, <= 1.0e16;
var l22 >= -1.0e16, <= 1.0e16;
var l23 >= -1.0e16, <= 1.0e16;
var l24 >= -1.0e16, <= 1.0e16;
var l25 >= -1.0e16, <= 1.0e16;
var l26 >= -1.0e16, <= 1.0e16;
var l27 >= -1.0e16, <= 1.0e16;
var l28 >= -1.0e16, <= 1.0e16;
var l29 >= -1.0e16, <= 1.0e16;
var l30 >= -1.0e16, <= 1.0e16;
var l31 >= -1.0e16, <= 1.0e16;
var l32 >= -1.0e16, <= 1.0e16;
var l33 >= -1.0e16, <= 1.0e16;
var l34 >= -1.0e16, <= 1.0e16;
var l35 >= -1.0e16, <= 1.0e16;
var l36 >= -1.0e16, <= 1.0e16;
var l37 >= -1.0e16, <= 1.0e16;
var l38 >= -1.0e16, <= 1.0e16;
var l39 >= -1.0e16, <= 1.0e16;
var l40 >= -1.0e16, <= 1.0e16;
var l41 >= -1.0e16, <= 1.0e16;
var l42 >= -1.0e16, <= 1.0e16;
var l43 >= -1.0e16, <= 1.0e16;
var l44 >= -1.0e16, <= 1.0e16;
var l45 >= -1.0e16, <= 1.0e16;
var l46 >= -1.0e16, <= 1.0e16;
var l47 >= -1.0e16, <= 1.0e16;
var l48 >= -1.0e16, <= 1.0e16;
var l49 >= -1.0e16, <= 1.0e16;
var l50 >= -1.0e16, <= 1.0e16;
var l51 >= -1.0e16, <= 1.0e16;
var l52 >= -1.0e16, <= 1.0e16;
var l53 >= -1.0e16, <= 1.0e16;
var l54 >= -1.0e16, <= 1.0e16;
var l55 >= -1.0e16, <= 1.0e16;
var l56 >= -1.0e16, <= 1.0e16;
var l57 >= -1.0e16, <= 1.0e16;
var l58 >= -1.0e16, <= 1.0e16;
var l59 >= -1.0e16, <= 1.0e16;
var l60 >= -1.0e16, <= 1.0e16;
var l61 >= -1.0e16, <= 1.0e16;
var l62 >= -1.0e16, <= 1.0e16;
var l63 >= -1.0e16, <= 1.0e16;
var l64 >= -1.0e16, <= 1.0e16;
var l65 >= -1.0e16, <= 1.0e16;
var l66 >= -1.0e16, <= 1.0e16;
var l67 >= -1.0e16, <= 1.0e16;
var l68 >= -1.0e16, <= 1.0e16;
var l69 >= -1.0e16, <= 1.0e16;
var l70 >= -1.0e16, <= 1.0e16;
var l71 >= -1.0e16, <= 1.0e16;
var l72 >= -1.0e16, <= 1.0e16;
var l73 >= -1.0e16, <= 1.0e16;
var l74 >= -1.0e16, <= 1.0e16;
var l75 >= -1.0e16, <= 1.0e16;
var l76 >= -1.0e16, <= 1.0e16;
var l77 >= -1.0e16, <= 1.0e16;
var l78 >= -1.0e16, <= 1.0e16;
var l79 >= -1.0e16, <= 1.0e16;
var l80 >= -1.0e16, <= 1.0e16;
var l81 >= -1.0e16, <= 1.0e16;
var l82 >= -1.0e16, <= 1.0e16;
var l83 >= -1.0e16, <= 1.0e16;
var l84 >= -1.0e16, <= 1.0e16;
var l85 >= -1.0e16, <= 1.0e16;
var l86 >= -1.0e16, <= 1.0e16;
var l87 >= -1.0e16, <= 1.0e16;
var l88 >= -1.0e16, <= 1.0e16;
var l89 >= -1.0e16, <= 1.0e16;
var l90 >= -1.0e16, <= 1.0e16;
var l91 >= -1.0e16, <= 1.0e16;
var l92 >= -1.0e16, <= 1.0e16;
var l93 >= -1.0e16, <= 1.0e16;
var l94 >= -1.0e16, <= 1.0e16;
var l95 >= -1.0e16, <= 1.0e16;
var l96 >= -1.0e16, <= 1.0e16;
var l97 >= -1.0e16, <= 1.0e16;
var l98 >= -1.0e16, <= 1.0e16;
var l99 >= -1.0e16, <= 1.0e16;
var l100 >= -1.0e16, <= 1.0e16;
var l101 >= -1.0e16, <= 1.0e16;
var l102 >= -1.0e16, <= 1.0e16;
var l103 >= -1.0e16, <= 1.0e16;
var l104 >= -1.0e16, <= 1.0e16;
var l105 >= -1.0e16, <= 1.0e16;
var l106 >= -1.0e16, <= 1.0e16;
var l107 >= -1.0e16, <= 1.0e16;
var l108 >= -1.0e16, <= 1.0e16;
var l109 >= -1.0e16, <= 1.0e16;
var l110 >= -1.0e16, <= 1.0e16;
var l111 >= -1.0e16, <= 1.0e16;
var l112 >= -1.0e16, <= 1.0e16;
var l113 >= -1.0e16, <= 1.0e16;
var l114 >= -1.0e16, <= 1.0e16;
var l115 >= -1.0e16, <= 1.0e16;
var l116 >= -1.0e16, <= 1.0e16;
var l117 >= -1.0e16, <= 1.0e16;
var l118 >= -1.0e16, <= 1.0e16;
var l119 >= -1.0e16, <= 1.0e16;
var l120 >= -1.0e16, <= 1.0e16;
var l121 >= -1.0e16, <= 1.0e16;
var l122 >= -1.0e16, <= 1.0e16;
var l123 >= -1.0e16, <= 1.0e16;
var l124 >= -1.0e16, <= 1.0e16;
var l125 >= -1.0e16, <= 1.0e16;
var l126 >= -1.0e16, <= 1.0e16;
var l127 >= -1.0e16, <= 1.0e16;
var l128 >= -1.0e16, <= 1.0e16;
var l129 >= -1.0e16, <= 1.0e16;
var l130 >= -1.0e16, <= 1.0e16;
var l131 >= -1.0e16, <= 1.0e16;
var l132 >= -1.0e16, <= 1.0e16;
var l133 >= -1.0e16, <= 1.0e16;
var l134 >= -1.0e16, <= 1.0e16;
var l135 >= -1.0e16, <= 1.0e16;
var l136 >= -1.0e16, <= 1.0e16;
var l137 >= -1.0e16, <= 1.0e16;
var l138 >= -1.0e16, <= 1.0e16;
var l139 >= -1.0e16, <= 1.0e16;
var l140 >= -1.0e16, <= 1.0e16;
var l141 >= -1.0e16, <= 1.0e16;
var l142 >= -1.0e16, <= 1.0e16;
var l143 >= -1.0e16, <= 1.0e16;
var l144 >= -1.0e16, <= 1.0e16;
var l145 >= -1.0e16, <= 1.0e16;
var l146 >= -1.0e16, <= 1.0e16;
var l147 >= -1.0e16, <= 1.0e16;
var l148 >= -1.0e16, <= 1.0e16;
var l149 >= -1.0e16, <= 1.0e16;
var l150 >= -1.0e16, <= 1.0e16;
var l151 >= -1.0e16, <= 1.0e16;
var l152 >= -1.0e16, <= 1.0e16;
var l153 >= -1.0e16, <= 1.0e16;
var l154 >= -1.0e16, <= 1.0e16;
var l155 >= -1.0e16, <= 1.0e16;
var l156 >= -1.0e16, <= 1.0e16;
var l157 >= -1.0e16, <= 1.0e16;
var l158 >= -1.0e16, <= 1.0e16;
var l159 >= -1.0e16, <= 1.0e16;
var l160 >= -1.0e16, <= 1.0e16;
var u1 >= -1.0e16, <= 1.0e16;
var u2 >= -1.0e16, <= 1.0e16;
var u3 >= -1.0e16, <= 1.0e16;
var u4 >= -1.0e16, <= 1.0e16;
var u5 >= -1.0e16, <= 1.0e16;
var u6 >= -1.0e16, <= 1.0e16;
var u7 >= -1.0e16, <= 1.0e16;
var u8 >= -1.0e16, <= 1.0e16;
var u9 >= -1.0e16, <= 1.0e16;
var u10 >= -1.0e16, <= 1.0e16;
var u11 >= -1.0e16, <= 1.0e16;
var u12 >= -1.0e16, <= 1.0e16;
var u13 >= -1.0e16, <= 1.0e16;
var u14 >= -1.0e16, <= 1.0e16;
var u15 >= -1.0e16, <= 1.0e16;
var u16 >= -1.0e16, <= 1.0e16;
var u17 >= -1.0e16, <= 1.0e16;
var u18 >= -1.0e16, <= 1.0e16;
var u19 >= -1.0e16, <= 1.0e16;
var u20 >= -1.0e16, <= 1.0e16;
var u21 >= -1.0e16, <= 1.0e16;
var u22 >= -1.0e16, <= 1.0e16;
var u23 >= -1.0e16, <= 1.0e16;
var u24 >= -1.0e16, <= 1.0e16;
var u25 >= -1.0e16, <= 1.0e16;
var u26 >= -1.0e16, <= 1.0e16;
var u27 >= -1.0e16, <= 1.0e16;
var u28 >= -1.0e16, <= 1.0e16;
var u29 >= -1.0e16, <= 1.0e16;
var u30 >= -1.0e16, <= 1.0e16;
var u31 >= -1.0e16, <= 1.0e16;
var u32 >= -1.0e16, <= 1.0e16;
var u33 >= -1.0e16, <= 1.0e16;
var u34 >= -1.0e16, <= 1.0e16;
var u35 >= -1.0e16, <= 1.0e16;
var u36 >= -1.0e16, <= 1.0e16;
var u37 >= -1.0e16, <= 1.0e16;
var u38 >= -1.0e16, <= 1.0e16;
var u39 >= -1.0e16, <= 1.0e16;
var u40 >= -1.0e16, <= 1.0e16;
var u41 >= -1.0e16, <= 1.0e16;
var u42 >= -1.0e16, <= 1.0e16;
var u43 >= -1.0e16, <= 1.0e16;
var u44 >= -1.0e16, <= 1.0e16;
var u45 >= -1.0e16, <= 1.0e16;
var u46 >= -1.0e16, <= 1.0e16;
var u47 >= -1.0e16, <= 1.0e16;
var u48 >= -1.0e16, <= 1.0e16;
var u49 >= -1.0e16, <= 1.0e16;
var u50 >= -1.0e16, <= 1.0e16;
var u51 >= -1.0e16, <= 1.0e16;
var u52 >= -1.0e16, <= 1.0e16;
var u53 >= -1.0e16, <= 1.0e16;
var u54 >= -1.0e16, <= 1.0e16;
var u55 >= -1.0e16, <= 1.0e16;
var u56 >= -1.0e16, <= 1.0e16;
var u57 >= -1.0e16, <= 1.0e16;
var u58 >= -1.0e16, <= 1.0e16;
var u59 >= -1.0e16, <= 1.0e16;
var u60 >= -1.0e16, <= 1.0e16;
var u61 >= -1.0e16, <= 1.0e16;
var u62 >= -1.0e16, <= 1.0e16;
var u63 >= -1.0e16, <= 1.0e16;
var u64 >= -1.0e16, <= 1.0e16;
var u65 >= -1.0e16, <= 1.0e16;
var u66 >= -1.0e16, <= 1.0e16;
var u67 >= -1.0e16, <= 1.0e16;
var u68 >= -1.0e16, <= 1.0e16;
var u69 >= -1.0e16, <= 1.0e16;
var u70 >= -1.0e16, <= 1.0e16;
var u71 >= -1.0e16, <= 1.0e16;
var u72 >= -1.0e16, <= 1.0e16;
var u73 >= -1.0e16, <= 1.0e16;
var u74 >= -1.0e16, <= 1.0e16;
var u75 >= -1.0e16, <= 1.0e16;
var u76 >= -1.0e16, <= 1.0e16;
var u77 >= -1.0e16, <= 1.0e16;
var u78 >= -1.0e16, <= 1.0e16;
var u79 >= -1.0e16, <= 1.0e16;
var u80 >= -1.0e16, <= 1.0e16;
var u81 >= -1.0e16, <= 1.0e16;
var u82 >= -1.0e16, <= 1.0e16;
var u83 >= -1.0e16, <= 1.0e16;
var u84 >= -1.0e16, <= 1.0e16;
var u85 >= -1.0e16, <= 1.0e16;
var u86 >= -1.0e16, <= 1.0e16;
var u87 >= -1.0e16, <= 1.0e16;
var u88 >= -1.0e16, <= 1.0e16;
var u89 >= -1.0e16, <= 1.0e16;
var u90 >= -1.0e16, <= 1.0e16;
var u91 >= -1.0e16, <= 1.0e16;
var u92 >= -1.0e16, <= 1.0e16;
var u93 >= -1.0e16, <= 1.0e16;
var u94 >= -1.0e16, <= 1.0e16;
var u95 >= -1.0e16, <= 1.0e16;
var u96 >= -1.0e16, <= 1.0e16;
var u97 >= -1.0e16, <= 1.0e16;
var u98 >= -1.0e16, <= 1.0e16;
var u99 >= -1.0e16, <= 1.0e16;
var u100 >= -1.0e16, <= 1.0e16;
var u101 >= -1.0e16, <= 1.0e16;
var u102 >= -1.0e16, <= 1.0e16;
var u103 >= -1.0e16, <= 1.0e16;
var u104 >= -1.0e16, <= 1.0e16;
var u105 >= -1.0e16, <= 1.0e16;
var u106 >= -1.0e16, <= 1.0e16;
var u107 >= -1.0e16, <= 1.0e16;
var u108 >= -1.0e16, <= 1.0e16;
var u109 >= -1.0e16, <= 1.0e16;
var u110 >= -1.0e16, <= 1.0e16;
var u111 >= -1.0e16, <= 1.0e16;
var u112 >= -1.0e16, <= 1.0e16;
var u113 >= -1.0e16, <= 1.0e16;
var u114 >= -1.0e16, <= 1.0e16;
var u115 >= -1.0e16, <= 1.0e16;
var u116 >= -1.0e16, <= 1.0e16;
var u117 >= -1.0e16, <= 1.0e16;
var u118 >= -1.0e16, <= 1.0e16;
var u119 >= -1.0e16, <= 1.0e16;
var u120 >= -1.0e16, <= 1.0e16;
var u121 >= -1.0e16, <= 1.0e16;
var u122 >= -1.0e16, <= 1.0e16;
var u123 >= -1.0e16, <= 1.0e16;
var u124 >= -1.0e16, <= 1.0e16;
var u125 >= -1.0e16, <= 1.0e16;
var u126 >= -1.0e16, <= 1.0e16;
var u127 >= -1.0e16, <= 1.0e16;
var u128 >= -1.0e16, <= 1.0e16;
var u129 >= -1.0e16, <= 1.0e16;
var u130 >= -1.0e16, <= 1.0e16;
var u131 >= -1.0e16, <= 1.0e16;
var u132 >= -1.0e16, <= 1.0e16;
var u133 >= -1.0e16, <= 1.0e16;
var u134 >= -1.0e16, <= 1.0e16;
var u135 >= -1.0e16, <= 1.0e16;
var u136 >= -1.0e16, <= 1.0e16;
var u137 >= -1.0e16, <= 1.0e16;
var u138 >= -1.0e16, <= 1.0e16;
var u139 >= -1.0e16, <= 1.0e16;
var u140 >= -1.0e16, <= 1.0e16;
var u141 >= -1.0e16, <= 1.0e16;
var u142 >= -1.0e16, <= 1.0e16;
var u143 >= -1.0e16, <= 1.0e16;
var u144 >= -1.0e16, <= 1.0e16;
var u145 >= -1.0e16, <= 1.0e16;
var u146 >= -1.0e16, <= 1.0e16;
var u147 >= -1.0e16, <= 1.0e16;
var u148 >= -1.0e16, <= 1.0e16;
var u149 >= -1.0e16, <= 1.0e16;
var u150 >= -1.0e16, <= 1.0e16;
var u151 >= -1.0e16, <= 1.0e16;
var u152 >= -1.0e16, <= 1.0e16;
var u153 >= -1.0e16, <= 1.0e16;
var u154 >= -1.0e16, <= 1.0e16;
var u155 >= -1.0e16, <= 1.0e16;
var u156 >= -1.0e16, <= 1.0e16;
var u157 >= -1.0e16, <= 1.0e16;
var u158 >= -1.0e16, <= 1.0e16;
var u159 >= -1.0e16, <= 1.0e16;
var u160 >= -1.0e16, <= 1.0e16;
var u161 >= -1.0e16, <= 1.0e16;

# Constants
param h := 1/(160+1);
param t1 := 1 * h;
param t2 := 2 * h;
param t3 := 3 * h;
param t4 := 4 * h;
param t5 := 5 * h;
param t6 := 6 * h;
param t7 := 7 * h;
param t8 := 8 * h;
param t9 := 9 * h;
param t10 := 10 * h;
param t11 := 11 * h;
param t12 := 12 * h;
param t13 := 13 * h;
param t14 := 14 * h;
param t15 := 15 * h;
param t16 := 16 * h;
param t17 := 17 * h;
param t18 := 18 * h;
param t19 := 19 * h;
param t20 := 20 * h;
param t21 := 21 * h;
param t22 := 22 * h;
param t23 := 23 * h;
param t24 := 24 * h;
param t25 := 25 * h;
param t26 := 26 * h;
param t27 := 27 * h;
param t28 := 28 * h;
param t29 := 29 * h;
param t30 := 30 * h;
param t31 := 31 * h;
param t32 := 32 * h;
param t33 := 33 * h;
param t34 := 34 * h;
param t35 := 35 * h;
param t36 := 36 * h;
param t37 := 37 * h;
param t38 := 38 * h;
param t39 := 39 * h;
param t40 := 40 * h;
param t41 := 41 * h;
param t42 := 42 * h;
param t43 := 43 * h;
param t44 := 44 * h;
param t45 := 45 * h;
param t46 := 46 * h;
param t47 := 47 * h;
param t48 := 48 * h;
param t49 := 49 * h;
param t50 := 50 * h;
param t51 := 51 * h;
param t52 := 52 * h;
param t53 := 53 * h;
param t54 := 54 * h;
param t55 := 55 * h;
param t56 := 56 * h;
param t57 := 57 * h;
param t58 := 58 * h;
param t59 := 59 * h;
param t60 := 60 * h;
param t61 := 61 * h;
param t62 := 62 * h;
param t63 := 63 * h;
param t64 := 64 * h;
param t65 := 65 * h;
param t66 := 66 * h;
param t67 := 67 * h;
param t68 := 68 * h;
param t69 := 69 * h;
param t70 := 70 * h;
param t71 := 71 * h;
param t72 := 72 * h;
param t73 := 73 * h;
param t74 := 74 * h;
param t75 := 75 * h;
param t76 := 76 * h;
param t77 := 77 * h;
param t78 := 78 * h;
param t79 := 79 * h;
param t80 := 80 * h;
param t81 := 81 * h;
param t82 := 82 * h;
param t83 := 83 * h;
param t84 := 84 * h;
param t85 := 85 * h;
param t86 := 86 * h;
param t87 := 87 * h;
param t88 := 88 * h;
param t89 := 89 * h;
param t90 := 90 * h;
param t91 := 91 * h;
param t92 := 92 * h;
param t93 := 93 * h;
param t94 := 94 * h;
param t95 := 95 * h;
param t96 := 96 * h;
param t97 := 97 * h;
param t98 := 98 * h;
param t99 := 99 * h;
param t100 := 100 * h;
param t101 := 101 * h;
param t102 := 102 * h;
param t103 := 103 * h;
param t104 := 104 * h;
param t105 := 105 * h;
param t106 := 106 * h;
param t107 := 107 * h;
param t108 := 108 * h;
param t109 := 109 * h;
param t110 := 110 * h;
param t111 := 111 * h;
param t112 := 112 * h;
param t113 := 113 * h;
param t114 := 114 * h;
param t115 := 115 * h;
param t116 := 116 * h;
param t117 := 117 * h;
param t118 := 118 * h;
param t119 := 119 * h;
param t120 := 120 * h;
param t121 := 121 * h;
param t122 := 122 * h;
param t123 := 123 * h;
param t124 := 124 * h;
param t125 := 125 * h;
param t126 := 126 * h;
param t127 := 127 * h;
param t128 := 128 * h;
param t129 := 129 * h;
param t130 := 130 * h;
param t131 := 131 * h;
param t132 := 132 * h;
param t133 := 133 * h;
param t134 := 134 * h;
param t135 := 135 * h;
param t136 := 136 * h;
param t137 := 137 * h;
param t138 := 138 * h;
param t139 := 139 * h;
param t140 := 140 * h;
param t141 := 141 * h;
param t142 := 142 * h;
param t143 := 143 * h;
param t144 := 144 * h;
param t145 := 145 * h;
param t146 := 146 * h;
param t147 := 147 * h;
param t148 := 148 * h;
param t149 := 149 * h;
param t150 := 150 * h;
param t151 := 151 * h;
param t152 := 152 * h;
param t153 := 153 * h;
param t154 := 154 * h;
param t155 := 155 * h;
param t156 := 156 * h;
param t157 := 157 * h;
param t158 := 158 * h;
param t159 := 159 * h;
param t160 := 160 * h;

subject to
cons1 : l0 = 0;
cons2 : l1 = l0 + t1*(x1+t1+1)^3;
cons3 : l2 = l1 + t2*(x2+t2+1)^3;
cons4 : l3 = l2 + t3*(x3+t3+1)^3;
cons5 : l4 = l3 + t4*(x4+t4+1)^3;
cons6 : l5 = l4 + t5*(x5+t5+1)^3;
cons7 : l6 = l5 + t6*(x6+t6+1)^3;
cons8 : l7 = l6 + t7*(x7+t7+1)^3;
cons9 : l8 = l7 + t8*(x8+t8+1)^3;
cons10 : l9 = l8 + t9*(x9+t9+1)^3;
cons11 : l10 = l9 + t10*(x10+t10+1)^3;
cons12 : l11 = l10 + t11*(x11+t11+1)^3;
cons13 : l12 = l11 + t12*(x12+t12+1)^3;
cons14 : l13 = l12 + t13*(x13+t13+1)^3;
cons15 : l14 = l13 + t14*(x14+t14+1)^3;
cons16 : l15 = l14 + t15*(x15+t15+1)^3;
cons17 : l16 = l15 + t16*(x16+t16+1)^3;
cons18 : l17 = l16 + t17*(x17+t17+1)^3;
cons19 : l18 = l17 + t18*(x18+t18+1)^3;
cons20 : l19 = l18 + t19*(x19+t19+1)^3;
cons21 : l20 = l19 + t20*(x20+t20+1)^3;
cons22 : l21 = l20 + t21*(x21+t21+1)^3;
cons23 : l22 = l21 + t22*(x22+t22+1)^3;
cons24 : l23 = l22 + t23*(x23+t23+1)^3;
cons25 : l24 = l23 + t24*(x24+t24+1)^3;
cons26 : l25 = l24 + t25*(x25+t25+1)^3;
cons27 : l26 = l25 + t26*(x26+t26+1)^3;
cons28 : l27 = l26 + t27*(x27+t27+1)^3;
cons29 : l28 = l27 + t28*(x28+t28+1)^3;
cons30 : l29 = l28 + t29*(x29+t29+1)^3;
cons31 : l30 = l29 + t30*(x30+t30+1)^3;
cons32 : l31 = l30 + t31*(x31+t31+1)^3;
cons33 : l32 = l31 + t32*(x32+t32+1)^3;
cons34 : l33 = l32 + t33*(x33+t33+1)^3;
cons35 : l34 = l33 + t34*(x34+t34+1)^3;
cons36 : l35 = l34 + t35*(x35+t35+1)^3;
cons37 : l36 = l35 + t36*(x36+t36+1)^3;
cons38 : l37 = l36 + t37*(x37+t37+1)^3;
cons39 : l38 = l37 + t38*(x38+t38+1)^3;
cons40 : l39 = l38 + t39*(x39+t39+1)^3;
cons41 : l40 = l39 + t40*(x40+t40+1)^3;
cons42 : l41 = l40 + t41*(x41+t41+1)^3;
cons43 : l42 = l41 + t42*(x42+t42+1)^3;
cons44 : l43 = l42 + t43*(x43+t43+1)^3;
cons45 : l44 = l43 + t44*(x44+t44+1)^3;
cons46 : l45 = l44 + t45*(x45+t45+1)^3;
cons47 : l46 = l45 + t46*(x46+t46+1)^3;
cons48 : l47 = l46 + t47*(x47+t47+1)^3;
cons49 : l48 = l47 + t48*(x48+t48+1)^3;
cons50 : l49 = l48 + t49*(x49+t49+1)^3;
cons51 : l50 = l49 + t50*(x50+t50+1)^3;
cons52 : l51 = l50 + t51*(x51+t51+1)^3;
cons53 : l52 = l51 + t52*(x52+t52+1)^3;
cons54 : l53 = l52 + t53*(x53+t53+1)^3;
cons55 : l54 = l53 + t54*(x54+t54+1)^3;
cons56 : l55 = l54 + t55*(x55+t55+1)^3;
cons57 : l56 = l55 + t56*(x56+t56+1)^3;
cons58 : l57 = l56 + t57*(x57+t57+1)^3;
cons59 : l58 = l57 + t58*(x58+t58+1)^3;
cons60 : l59 = l58 + t59*(x59+t59+1)^3;
cons61 : l60 = l59 + t60*(x60+t60+1)^3;
cons62 : l61 = l60 + t61*(x61+t61+1)^3;
cons63 : l62 = l61 + t62*(x62+t62+1)^3;
cons64 : l63 = l62 + t63*(x63+t63+1)^3;
cons65 : l64 = l63 + t64*(x64+t64+1)^3;
cons66 : l65 = l64 + t65*(x65+t65+1)^3;
cons67 : l66 = l65 + t66*(x66+t66+1)^3;
cons68 : l67 = l66 + t67*(x67+t67+1)^3;
cons69 : l68 = l67 + t68*(x68+t68+1)^3;
cons70 : l69 = l68 + t69*(x69+t69+1)^3;
cons71 : l70 = l69 + t70*(x70+t70+1)^3;
cons72 : l71 = l70 + t71*(x71+t71+1)^3;
cons73 : l72 = l71 + t72*(x72+t72+1)^3;
cons74 : l73 = l72 + t73*(x73+t73+1)^3;
cons75 : l74 = l73 + t74*(x74+t74+1)^3;
cons76 : l75 = l74 + t75*(x75+t75+1)^3;
cons77 : l76 = l75 + t76*(x76+t76+1)^3;
cons78 : l77 = l76 + t77*(x77+t77+1)^3;
cons79 : l78 = l77 + t78*(x78+t78+1)^3;
cons80 : l79 = l78 + t79*(x79+t79+1)^3;
cons81 : l80 = l79 + t80*(x80+t80+1)^3;
cons82 : l81 = l80 + t81*(x81+t81+1)^3;
cons83 : l82 = l81 + t82*(x82+t82+1)^3;
cons84 : l83 = l82 + t83*(x83+t83+1)^3;
cons85 : l84 = l83 + t84*(x84+t84+1)^3;
cons86 : l85 = l84 + t85*(x85+t85+1)^3;
cons87 : l86 = l85 + t86*(x86+t86+1)^3;
cons88 : l87 = l86 + t87*(x87+t87+1)^3;
cons89 : l88 = l87 + t88*(x88+t88+1)^3;
cons90 : l89 = l88 + t89*(x89+t89+1)^3;
cons91 : l90 = l89 + t90*(x90+t90+1)^3;
cons92 : l91 = l90 + t91*(x91+t91+1)^3;
cons93 : l92 = l91 + t92*(x92+t92+1)^3;
cons94 : l93 = l92 + t93*(x93+t93+1)^3;
cons95 : l94 = l93 + t94*(x94+t94+1)^3;
cons96 : l95 = l94 + t95*(x95+t95+1)^3;
cons97 : l96 = l95 + t96*(x96+t96+1)^3;
cons98 : l97 = l96 + t97*(x97+t97+1)^3;
cons99 : l98 = l97 + t98*(x98+t98+1)^3;
cons100 : l99 = l98 + t99*(x99+t99+1)^3;
cons101 : l100 = l99 + t100*(x100+t100+1)^3;
cons102 : l101 = l100 + t101*(x101+t101+1)^3;
cons103 : l102 = l101 + t102*(x102+t102+1)^3;
cons104 : l103 = l102 + t103*(x103+t103+1)^3;
cons105 : l104 = l103 + t104*(x104+t104+1)^3;
cons106 : l105 = l104 + t105*(x105+t105+1)^3;
cons107 : l106 = l105 + t106*(x106+t106+1)^3;
cons108 : l107 = l106 + t107*(x107+t107+1)^3;
cons109 : l108 = l107 + t108*(x108+t108+1)^3;
cons110 : l109 = l108 + t109*(x109+t109+1)^3;
cons111 : l110 = l109 + t110*(x110+t110+1)^3;
cons112 : l111 = l110 + t111*(x111+t111+1)^3;
cons113 : l112 = l111 + t112*(x112+t112+1)^3;
cons114 : l113 = l112 + t113*(x113+t113+1)^3;
cons115 : l114 = l113 + t114*(x114+t114+1)^3;
cons116 : l115 = l114 + t115*(x115+t115+1)^3;
cons117 : l116 = l115 + t116*(x116+t116+1)^3;
cons118 : l117 = l116 + t117*(x117+t117+1)^3;
cons119 : l118 = l117 + t118*(x118+t118+1)^3;
cons120 : l119 = l118 + t119*(x119+t119+1)^3;
cons121 : l120 = l119 + t120*(x120+t120+1)^3;
cons122 : l121 = l120 + t121*(x121+t121+1)^3;
cons123 : l122 = l121 + t122*(x122+t122+1)^3;
cons124 : l123 = l122 + t123*(x123+t123+1)^3;
cons125 : l124 = l123 + t124*(x124+t124+1)^3;
cons126 : l125 = l124 + t125*(x125+t125+1)^3;
cons127 : l126 = l125 + t126*(x126+t126+1)^3;
cons128 : l127 = l126 + t127*(x127+t127+1)^3;
cons129 : l128 = l127 + t128*(x128+t128+1)^3;
cons130 : l129 = l128 + t129*(x129+t129+1)^3;
cons131 : l130 = l129 + t130*(x130+t130+1)^3;
cons132 : l131 = l130 + t131*(x131+t131+1)^3;
cons133 : l132 = l131 + t132*(x132+t132+1)^3;
cons134 : l133 = l132 + t133*(x133+t133+1)^3;
cons135 : l134 = l133 + t134*(x134+t134+1)^3;
cons136 : l135 = l134 + t135*(x135+t135+1)^3;
cons137 : l136 = l135 + t136*(x136+t136+1)^3;
cons138 : l137 = l136 + t137*(x137+t137+1)^3;
cons139 : l138 = l137 + t138*(x138+t138+1)^3;
cons140 : l139 = l138 + t139*(x139+t139+1)^3;
cons141 : l140 = l139 + t140*(x140+t140+1)^3;
cons142 : l141 = l140 + t141*(x141+t141+1)^3;
cons143 : l142 = l141 + t142*(x142+t142+1)^3;
cons144 : l143 = l142 + t143*(x143+t143+1)^3;
cons145 : l144 = l143 + t144*(x144+t144+1)^3;
cons146 : l145 = l144 + t145*(x145+t145+1)^3;
cons147 : l146 = l145 + t146*(x146+t146+1)^3;
cons148 : l147 = l146 + t147*(x147+t147+1)^3;
cons149 : l148 = l147 + t148*(x148+t148+1)^3;
cons150 : l149 = l148 + t149*(x149+t149+1)^3;
cons151 : l150 = l149 + t150*(x150+t150+1)^3;
cons152 : l151 = l150 + t151*(x151+t151+1)^3;
cons153 : l152 = l151 + t152*(x152+t152+1)^3;
cons154 : l153 = l152 + t153*(x153+t153+1)^3;
cons155 : l154 = l153 + t154*(x154+t154+1)^3;
cons156 : l155 = l154 + t155*(x155+t155+1)^3;
cons157 : l156 = l155 + t156*(x156+t156+1)^3;
cons158 : l157 = l156 + t157*(x157+t157+1)^3;
cons159 : l158 = l157 + t158*(x158+t158+1)^3;
cons160 : l159 = l158 + t159*(x159+t159+1)^3;
cons161 : l160 = l159 + t160*(x160+t160+1)^3;
cons162 : u161 = 0;
cons163 : u1 = u2 + (1-t1)*(x1+t1+1)^3;
cons164 : u2 = u3 + (1-t2)*(x2+t2+1)^3;
cons165 : u3 = u4 + (1-t3)*(x3+t3+1)^3;
cons166 : u4 = u5 + (1-t4)*(x4+t4+1)^3;
cons167 : u5 = u6 + (1-t5)*(x5+t5+1)^3;
cons168 : u6 = u7 + (1-t6)*(x6+t6+1)^3;
cons169 : u7 = u8 + (1-t7)*(x7+t7+1)^3;
cons170 : u8 = u9 + (1-t8)*(x8+t8+1)^3;
cons171 : u9 = u10 + (1-t9)*(x9+t9+1)^3;
cons172 : u10 = u11 + (1-t10)*(x10+t10+1)^3;
cons173 : u11 = u12 + (1-t11)*(x11+t11+1)^3;
cons174 : u12 = u13 + (1-t12)*(x12+t12+1)^3;
cons175 : u13 = u14 + (1-t13)*(x13+t13+1)^3;
cons176 : u14 = u15 + (1-t14)*(x14+t14+1)^3;
cons177 : u15 = u16 + (1-t15)*(x15+t15+1)^3;
cons178 : u16 = u17 + (1-t16)*(x16+t16+1)^3;
cons179 : u17 = u18 + (1-t17)*(x17+t17+1)^3;
cons180 : u18 = u19 + (1-t18)*(x18+t18+1)^3;
cons181 : u19 = u20 + (1-t19)*(x19+t19+1)^3;
cons182 : u20 = u21 + (1-t20)*(x20+t20+1)^3;
cons183 : u21 = u22 + (1-t21)*(x21+t21+1)^3;
cons184 : u22 = u23 + (1-t22)*(x22+t22+1)^3;
cons185 : u23 = u24 + (1-t23)*(x23+t23+1)^3;
cons186 : u24 = u25 + (1-t24)*(x24+t24+1)^3;
cons187 : u25 = u26 + (1-t25)*(x25+t25+1)^3;
cons188 : u26 = u27 + (1-t26)*(x26+t26+1)^3;
cons189 : u27 = u28 + (1-t27)*(x27+t27+1)^3;
cons190 : u28 = u29 + (1-t28)*(x28+t28+1)^3;
cons191 : u29 = u30 + (1-t29)*(x29+t29+1)^3;
cons192 : u30 = u31 + (1-t30)*(x30+t30+1)^3;
cons193 : u31 = u32 + (1-t31)*(x31+t31+1)^3;
cons194 : u32 = u33 + (1-t32)*(x32+t32+1)^3;
cons195 : u33 = u34 + (1-t33)*(x33+t33+1)^3;
cons196 : u34 = u35 + (1-t34)*(x34+t34+1)^3;
cons197 : u35 = u36 + (1-t35)*(x35+t35+1)^3;
cons198 : u36 = u37 + (1-t36)*(x36+t36+1)^3;
cons199 : u37 = u38 + (1-t37)*(x37+t37+1)^3;
cons200 : u38 = u39 + (1-t38)*(x38+t38+1)^3;
cons201 : u39 = u40 + (1-t39)*(x39+t39+1)^3;
cons202 : u40 = u41 + (1-t40)*(x40+t40+1)^3;
cons203 : u41 = u42 + (1-t41)*(x41+t41+1)^3;
cons204 : u42 = u43 + (1-t42)*(x42+t42+1)^3;
cons205 : u43 = u44 + (1-t43)*(x43+t43+1)^3;
cons206 : u44 = u45 + (1-t44)*(x44+t44+1)^3;
cons207 : u45 = u46 + (1-t45)*(x45+t45+1)^3;
cons208 : u46 = u47 + (1-t46)*(x46+t46+1)^3;
cons209 : u47 = u48 + (1-t47)*(x47+t47+1)^3;
cons210 : u48 = u49 + (1-t48)*(x48+t48+1)^3;
cons211 : u49 = u50 + (1-t49)*(x49+t49+1)^3;
cons212 : u50 = u51 + (1-t50)*(x50+t50+1)^3;
cons213 : u51 = u52 + (1-t51)*(x51+t51+1)^3;
cons214 : u52 = u53 + (1-t52)*(x52+t52+1)^3;
cons215 : u53 = u54 + (1-t53)*(x53+t53+1)^3;
cons216 : u54 = u55 + (1-t54)*(x54+t54+1)^3;
cons217 : u55 = u56 + (1-t55)*(x55+t55+1)^3;
cons218 : u56 = u57 + (1-t56)*(x56+t56+1)^3;
cons219 : u57 = u58 + (1-t57)*(x57+t57+1)^3;
cons220 : u58 = u59 + (1-t58)*(x58+t58+1)^3;
cons221 : u59 = u60 + (1-t59)*(x59+t59+1)^3;
cons222 : u60 = u61 + (1-t60)*(x60+t60+1)^3;
cons223 : u61 = u62 + (1-t61)*(x61+t61+1)^3;
cons224 : u62 = u63 + (1-t62)*(x62+t62+1)^3;
cons225 : u63 = u64 + (1-t63)*(x63+t63+1)^3;
cons226 : u64 = u65 + (1-t64)*(x64+t64+1)^3;
cons227 : u65 = u66 + (1-t65)*(x65+t65+1)^3;
cons228 : u66 = u67 + (1-t66)*(x66+t66+1)^3;
cons229 : u67 = u68 + (1-t67)*(x67+t67+1)^3;
cons230 : u68 = u69 + (1-t68)*(x68+t68+1)^3;
cons231 : u69 = u70 + (1-t69)*(x69+t69+1)^3;
cons232 : u70 = u71 + (1-t70)*(x70+t70+1)^3;
cons233 : u71 = u72 + (1-t71)*(x71+t71+1)^3;
cons234 : u72 = u73 + (1-t72)*(x72+t72+1)^3;
cons235 : u73 = u74 + (1-t73)*(x73+t73+1)^3;
cons236 : u74 = u75 + (1-t74)*(x74+t74+1)^3;
cons237 : u75 = u76 + (1-t75)*(x75+t75+1)^3;
cons238 : u76 = u77 + (1-t76)*(x76+t76+1)^3;
cons239 : u77 = u78 + (1-t77)*(x77+t77+1)^3;
cons240 : u78 = u79 + (1-t78)*(x78+t78+1)^3;
cons241 : u79 = u80 + (1-t79)*(x79+t79+1)^3;
cons242 : u80 = u81 + (1-t80)*(x80+t80+1)^3;
cons243 : u81 = u82 + (1-t81)*(x81+t81+1)^3;
cons244 : u82 = u83 + (1-t82)*(x82+t82+1)^3;
cons245 : u83 = u84 + (1-t83)*(x83+t83+1)^3;
cons246 : u84 = u85 + (1-t84)*(x84+t84+1)^3;
cons247 : u85 = u86 + (1-t85)*(x85+t85+1)^3;
cons248 : u86 = u87 + (1-t86)*(x86+t86+1)^3;
cons249 : u87 = u88 + (1-t87)*(x87+t87+1)^3;
cons250 : u88 = u89 + (1-t88)*(x88+t88+1)^3;
cons251 : u89 = u90 + (1-t89)*(x89+t89+1)^3;
cons252 : u90 = u91 + (1-t90)*(x90+t90+1)^3;
cons253 : u91 = u92 + (1-t91)*(x91+t91+1)^3;
cons254 : u92 = u93 + (1-t92)*(x92+t92+1)^3;
cons255 : u93 = u94 + (1-t93)*(x93+t93+1)^3;
cons256 : u94 = u95 + (1-t94)*(x94+t94+1)^3;
cons257 : u95 = u96 + (1-t95)*(x95+t95+1)^3;
cons258 : u96 = u97 + (1-t96)*(x96+t96+1)^3;
cons259 : u97 = u98 + (1-t97)*(x97+t97+1)^3;
cons260 : u98 = u99 + (1-t98)*(x98+t98+1)^3;
cons261 : u99 = u100 + (1-t99)*(x99+t99+1)^3;
cons262 : u100 = u101 + (1-t100)*(x100+t100+1)^3;
cons263 : u101 = u102 + (1-t101)*(x101+t101+1)^3;
cons264 : u102 = u103 + (1-t102)*(x102+t102+1)^3;
cons265 : u103 = u104 + (1-t103)*(x103+t103+1)^3;
cons266 : u104 = u105 + (1-t104)*(x104+t104+1)^3;
cons267 : u105 = u106 + (1-t105)*(x105+t105+1)^3;
cons268 : u106 = u107 + (1-t106)*(x106+t106+1)^3;
cons269 : u107 = u108 + (1-t107)*(x107+t107+1)^3;
cons270 : u108 = u109 + (1-t108)*(x108+t108+1)^3;
cons271 : u109 = u110 + (1-t109)*(x109+t109+1)^3;
cons272 : u110 = u111 + (1-t110)*(x110+t110+1)^3;
cons273 : u111 = u112 + (1-t111)*(x111+t111+1)^3;
cons274 : u112 = u113 + (1-t112)*(x112+t112+1)^3;
cons275 : u113 = u114 + (1-t113)*(x113+t113+1)^3;
cons276 : u114 = u115 + (1-t114)*(x114+t114+1)^3;
cons277 : u115 = u116 + (1-t115)*(x115+t115+1)^3;
cons278 : u116 = u117 + (1-t116)*(x116+t116+1)^3;
cons279 : u117 = u118 + (1-t117)*(x117+t117+1)^3;
cons280 : u118 = u119 + (1-t118)*(x118+t118+1)^3;
cons281 : u119 = u120 + (1-t119)*(x119+t119+1)^3;
cons282 : u120 = u121 + (1-t120)*(x120+t120+1)^3;
cons283 : u121 = u122 + (1-t121)*(x121+t121+1)^3;
cons284 : u122 = u123 + (1-t122)*(x122+t122+1)^3;
cons285 : u123 = u124 + (1-t123)*(x123+t123+1)^3;
cons286 : u124 = u125 + (1-t124)*(x124+t124+1)^3;
cons287 : u125 = u126 + (1-t125)*(x125+t125+1)^3;
cons288 : u126 = u127 + (1-t126)*(x126+t126+1)^3;
cons289 : u127 = u128 + (1-t127)*(x127+t127+1)^3;
cons290 : u128 = u129 + (1-t128)*(x128+t128+1)^3;
cons291 : u129 = u130 + (1-t129)*(x129+t129+1)^3;
cons292 : u130 = u131 + (1-t130)*(x130+t130+1)^3;
cons293 : u131 = u132 + (1-t131)*(x131+t131+1)^3;
cons294 : u132 = u133 + (1-t132)*(x132+t132+1)^3;
cons295 : u133 = u134 + (1-t133)*(x133+t133+1)^3;
cons296 : u134 = u135 + (1-t134)*(x134+t134+1)^3;
cons297 : u135 = u136 + (1-t135)*(x135+t135+1)^3;
cons298 : u136 = u137 + (1-t136)*(x136+t136+1)^3;
cons299 : u137 = u138 + (1-t137)*(x137+t137+1)^3;
cons300 : u138 = u139 + (1-t138)*(x138+t138+1)^3;
cons301 : u139 = u140 + (1-t139)*(x139+t139+1)^3;
cons302 : u140 = u141 + (1-t140)*(x140+t140+1)^3;
cons303 : u141 = u142 + (1-t141)*(x141+t141+1)^3;
cons304 : u142 = u143 + (1-t142)*(x142+t142+1)^3;
cons305 : u143 = u144 + (1-t143)*(x143+t143+1)^3;
cons306 : u144 = u145 + (1-t144)*(x144+t144+1)^3;
cons307 : u145 = u146 + (1-t145)*(x145+t145+1)^3;
cons308 : u146 = u147 + (1-t146)*(x146+t146+1)^3;
cons309 : u147 = u148 + (1-t147)*(x147+t147+1)^3;
cons310 : u148 = u149 + (1-t148)*(x148+t148+1)^3;
cons311 : u149 = u150 + (1-t149)*(x149+t149+1)^3;
cons312 : u150 = u151 + (1-t150)*(x150+t150+1)^3;
cons313 : u151 = u152 + (1-t151)*(x151+t151+1)^3;
cons314 : u152 = u153 + (1-t152)*(x152+t152+1)^3;
cons315 : u153 = u154 + (1-t153)*(x153+t153+1)^3;
cons316 : u154 = u155 + (1-t154)*(x154+t154+1)^3;
cons317 : u155 = u156 + (1-t155)*(x155+t155+1)^3;
cons318 : u156 = u157 + (1-t156)*(x156+t156+1)^3;
cons319 : u157 = u158 + (1-t157)*(x157+t157+1)^3;
cons320 : u158 = u159 + (1-t158)*(x158+t158+1)^3;
cons321 : u159 = u160 + (1-t159)*(x159+t159+1)^3;
cons322 : u160 = u161 + (1-t160)*(x160+t160+1)^3;
cons323 : 0 = x1+0.5*h*((1-t1)*l1 + t1*u2);
cons324 : 0 = x2+0.5*h*((1-t2)*l2 + t2*u3);
cons325 : 0 = x3+0.5*h*((1-t3)*l3 + t3*u4);
cons326 : 0 = x4+0.5*h*((1-t4)*l4 + t4*u5);
cons327 : 0 = x5+0.5*h*((1-t5)*l5 + t5*u6);
cons328 : 0 = x6+0.5*h*((1-t6)*l6 + t6*u7);
cons329 : 0 = x7+0.5*h*((1-t7)*l7 + t7*u8);
cons330 : 0 = x8+0.5*h*((1-t8)*l8 + t8*u9);
cons331 : 0 = x9+0.5*h*((1-t9)*l9 + t9*u10);
cons332 : 0 = x10+0.5*h*((1-t10)*l10 + t10*u11);
cons333 : 0 = x11+0.5*h*((1-t11)*l11 + t11*u12);
cons334 : 0 = x12+0.5*h*((1-t12)*l12 + t12*u13);
cons335 : 0 = x13+0.5*h*((1-t13)*l13 + t13*u14);
cons336 : 0 = x14+0.5*h*((1-t14)*l14 + t14*u15);
cons337 : 0 = x15+0.5*h*((1-t15)*l15 + t15*u16);
cons338 : 0 = x16+0.5*h*((1-t16)*l16 + t16*u17);
cons339 : 0 = x17+0.5*h*((1-t17)*l17 + t17*u18);
cons340 : 0 = x18+0.5*h*((1-t18)*l18 + t18*u19);
cons341 : 0 = x19+0.5*h*((1-t19)*l19 + t19*u20);
cons342 : 0 = x20+0.5*h*((1-t20)*l20 + t20*u21);
cons343 : 0 = x21+0.5*h*((1-t21)*l21 + t21*u22);
cons344 : 0 = x22+0.5*h*((1-t22)*l22 + t22*u23);
cons345 : 0 = x23+0.5*h*((1-t23)*l23 + t23*u24);
cons346 : 0 = x24+0.5*h*((1-t24)*l24 + t24*u25);
cons347 : 0 = x25+0.5*h*((1-t25)*l25 + t25*u26);
cons348 : 0 = x26+0.5*h*((1-t26)*l26 + t26*u27);
cons349 : 0 = x27+0.5*h*((1-t27)*l27 + t27*u28);
cons350 : 0 = x28+0.5*h*((1-t28)*l28 + t28*u29);
cons351 : 0 = x29+0.5*h*((1-t29)*l29 + t29*u30);
cons352 : 0 = x30+0.5*h*((1-t30)*l30 + t30*u31);
cons353 : 0 = x31+0.5*h*((1-t31)*l31 + t31*u32);
cons354 : 0 = x32+0.5*h*((1-t32)*l32 + t32*u33);
cons355 : 0 = x33+0.5*h*((1-t33)*l33 + t33*u34);
cons356 : 0 = x34+0.5*h*((1-t34)*l34 + t34*u35);
cons357 : 0 = x35+0.5*h*((1-t35)*l35 + t35*u36);
cons358 : 0 = x36+0.5*h*((1-t36)*l36 + t36*u37);
cons359 : 0 = x37+0.5*h*((1-t37)*l37 + t37*u38);
cons360 : 0 = x38+0.5*h*((1-t38)*l38 + t38*u39);
cons361 : 0 = x39+0.5*h*((1-t39)*l39 + t39*u40);
cons362 : 0 = x40+0.5*h*((1-t40)*l40 + t40*u41);
cons363 : 0 = x41+0.5*h*((1-t41)*l41 + t41*u42);
cons364 : 0 = x42+0.5*h*((1-t42)*l42 + t42*u43);
cons365 : 0 = x43+0.5*h*((1-t43)*l43 + t43*u44);
cons366 : 0 = x44+0.5*h*((1-t44)*l44 + t44*u45);
cons367 : 0 = x45+0.5*h*((1-t45)*l45 + t45*u46);
cons368 : 0 = x46+0.5*h*((1-t46)*l46 + t46*u47);
cons369 : 0 = x47+0.5*h*((1-t47)*l47 + t47*u48);
cons370 : 0 = x48+0.5*h*((1-t48)*l48 + t48*u49);
cons371 : 0 = x49+0.5*h*((1-t49)*l49 + t49*u50);
cons372 : 0 = x50+0.5*h*((1-t50)*l50 + t50*u51);
cons373 : 0 = x51+0.5*h*((1-t51)*l51 + t51*u52);
cons374 : 0 = x52+0.5*h*((1-t52)*l52 + t52*u53);
cons375 : 0 = x53+0.5*h*((1-t53)*l53 + t53*u54);
cons376 : 0 = x54+0.5*h*((1-t54)*l54 + t54*u55);
cons377 : 0 = x55+0.5*h*((1-t55)*l55 + t55*u56);
cons378 : 0 = x56+0.5*h*((1-t56)*l56 + t56*u57);
cons379 : 0 = x57+0.5*h*((1-t57)*l57 + t57*u58);
cons380 : 0 = x58+0.5*h*((1-t58)*l58 + t58*u59);
cons381 : 0 = x59+0.5*h*((1-t59)*l59 + t59*u60);
cons382 : 0 = x60+0.5*h*((1-t60)*l60 + t60*u61);
cons383 : 0 = x61+0.5*h*((1-t61)*l61 + t61*u62);
cons384 : 0 = x62+0.5*h*((1-t62)*l62 + t62*u63);
cons385 : 0 = x63+0.5*h*((1-t63)*l63 + t63*u64);
cons386 : 0 = x64+0.5*h*((1-t64)*l64 + t64*u65);
cons387 : 0 = x65+0.5*h*((1-t65)*l65 + t65*u66);
cons388 : 0 = x66+0.5*h*((1-t66)*l66 + t66*u67);
cons389 : 0 = x67+0.5*h*((1-t67)*l67 + t67*u68);
cons390 : 0 = x68+0.5*h*((1-t68)*l68 + t68*u69);
cons391 : 0 = x69+0.5*h*((1-t69)*l69 + t69*u70);
cons392 : 0 = x70+0.5*h*((1-t70)*l70 + t70*u71);
cons393 : 0 = x71+0.5*h*((1-t71)*l71 + t71*u72);
cons394 : 0 = x72+0.5*h*((1-t72)*l72 + t72*u73);
cons395 : 0 = x73+0.5*h*((1-t73)*l73 + t73*u74);
cons396 : 0 = x74+0.5*h*((1-t74)*l74 + t74*u75);
cons397 : 0 = x75+0.5*h*((1-t75)*l75 + t75*u76);
cons398 : 0 = x76+0.5*h*((1-t76)*l76 + t76*u77);
cons399 : 0 = x77+0.5*h*((1-t77)*l77 + t77*u78);
cons400 : 0 = x78+0.5*h*((1-t78)*l78 + t78*u79);
cons401 : 0 = x79+0.5*h*((1-t79)*l79 + t79*u80);
cons402 : 0 = x80+0.5*h*((1-t80)*l80 + t80*u81);
cons403 : 0 = x81+0.5*h*((1-t81)*l81 + t81*u82);
cons404 : 0 = x82+0.5*h*((1-t82)*l82 + t82*u83);
cons405 : 0 = x83+0.5*h*((1-t83)*l83 + t83*u84);
cons406 : 0 = x84+0.5*h*((1-t84)*l84 + t84*u85);
cons407 : 0 = x85+0.5*h*((1-t85)*l85 + t85*u86);
cons408 : 0 = x86+0.5*h*((1-t86)*l86 + t86*u87);
cons409 : 0 = x87+0.5*h*((1-t87)*l87 + t87*u88);
cons410 : 0 = x88+0.5*h*((1-t88)*l88 + t88*u89);
cons411 : 0 = x89+0.5*h*((1-t89)*l89 + t89*u90);
cons412 : 0 = x90+0.5*h*((1-t90)*l90 + t90*u91);
cons413 : 0 = x91+0.5*h*((1-t91)*l91 + t91*u92);
cons414 : 0 = x92+0.5*h*((1-t92)*l92 + t92*u93);
cons415 : 0 = x93+0.5*h*((1-t93)*l93 + t93*u94);
cons416 : 0 = x94+0.5*h*((1-t94)*l94 + t94*u95);
cons417 : 0 = x95+0.5*h*((1-t95)*l95 + t95*u96);
cons418 : 0 = x96+0.5*h*((1-t96)*l96 + t96*u97);
cons419 : 0 = x97+0.5*h*((1-t97)*l97 + t97*u98);
cons420 : 0 = x98+0.5*h*((1-t98)*l98 + t98*u99);
cons421 : 0 = x99+0.5*h*((1-t99)*l99 + t99*u100);
cons422 : 0 = x100+0.5*h*((1-t100)*l100 + t100*u101);
cons423 : 0 = x101+0.5*h*((1-t101)*l101 + t101*u102);
cons424 : 0 = x102+0.5*h*((1-t102)*l102 + t102*u103);
cons425 : 0 = x103+0.5*h*((1-t103)*l103 + t103*u104);
cons426 : 0 = x104+0.5*h*((1-t104)*l104 + t104*u105);
cons427 : 0 = x105+0.5*h*((1-t105)*l105 + t105*u106);
cons428 : 0 = x106+0.5*h*((1-t106)*l106 + t106*u107);
cons429 : 0 = x107+0.5*h*((1-t107)*l107 + t107*u108);
cons430 : 0 = x108+0.5*h*((1-t108)*l108 + t108*u109);
cons431 : 0 = x109+0.5*h*((1-t109)*l109 + t109*u110);
cons432 : 0 = x110+0.5*h*((1-t110)*l110 + t110*u111);
cons433 : 0 = x111+0.5*h*((1-t111)*l111 + t111*u112);
cons434 : 0 = x112+0.5*h*((1-t112)*l112 + t112*u113);
cons435 : 0 = x113+0.5*h*((1-t113)*l113 + t113*u114);
cons436 : 0 = x114+0.5*h*((1-t114)*l114 + t114*u115);
cons437 : 0 = x115+0.5*h*((1-t115)*l115 + t115*u116);
cons438 : 0 = x116+0.5*h*((1-t116)*l116 + t116*u117);
cons439 : 0 = x117+0.5*h*((1-t117)*l117 + t117*u118);
cons440 : 0 = x118+0.5*h*((1-t118)*l118 + t118*u119);
cons441 : 0 = x119+0.5*h*((1-t119)*l119 + t119*u120);
cons442 : 0 = x120+0.5*h*((1-t120)*l120 + t120*u121);
cons443 : 0 = x121+0.5*h*((1-t121)*l121 + t121*u122);
cons444 : 0 = x122+0.5*h*((1-t122)*l122 + t122*u123);
cons445 : 0 = x123+0.5*h*((1-t123)*l123 + t123*u124);
cons446 : 0 = x124+0.5*h*((1-t124)*l124 + t124*u125);
cons447 : 0 = x125+0.5*h*((1-t125)*l125 + t125*u126);
cons448 : 0 = x126+0.5*h*((1-t126)*l126 + t126*u127);
cons449 : 0 = x127+0.5*h*((1-t127)*l127 + t127*u128);
cons450 : 0 = x128+0.5*h*((1-t128)*l128 + t128*u129);
cons451 : 0 = x129+0.5*h*((1-t129)*l129 + t129*u130);
cons452 : 0 = x130+0.5*h*((1-t130)*l130 + t130*u131);
cons453 : 0 = x131+0.5*h*((1-t131)*l131 + t131*u132);
cons454 : 0 = x132+0.5*h*((1-t132)*l132 + t132*u133);
cons455 : 0 = x133+0.5*h*((1-t133)*l133 + t133*u134);
cons456 : 0 = x134+0.5*h*((1-t134)*l134 + t134*u135);
cons457 : 0 = x135+0.5*h*((1-t135)*l135 + t135*u136);
cons458 : 0 = x136+0.5*h*((1-t136)*l136 + t136*u137);
cons459 : 0 = x137+0.5*h*((1-t137)*l137 + t137*u138);
cons460 : 0 = x138+0.5*h*((1-t138)*l138 + t138*u139);
cons461 : 0 = x139+0.5*h*((1-t139)*l139 + t139*u140);
cons462 : 0 = x140+0.5*h*((1-t140)*l140 + t140*u141);
cons463 : 0 = x141+0.5*h*((1-t141)*l141 + t141*u142);
cons464 : 0 = x142+0.5*h*((1-t142)*l142 + t142*u143);
cons465 : 0 = x143+0.5*h*((1-t143)*l143 + t143*u144);
cons466 : 0 = x144+0.5*h*((1-t144)*l144 + t144*u145);
cons467 : 0 = x145+0.5*h*((1-t145)*l145 + t145*u146);
cons468 : 0 = x146+0.5*h*((1-t146)*l146 + t146*u147);
cons469 : 0 = x147+0.5*h*((1-t147)*l147 + t147*u148);
cons470 : 0 = x148+0.5*h*((1-t148)*l148 + t148*u149);
cons471 : 0 = x149+0.5*h*((1-t149)*l149 + t149*u150);
cons472 : 0 = x150+0.5*h*((1-t150)*l150 + t150*u151);
cons473 : 0 = x151+0.5*h*((1-t151)*l151 + t151*u152);
cons474 : 0 = x152+0.5*h*((1-t152)*l152 + t152*u153);
cons475 : 0 = x153+0.5*h*((1-t153)*l153 + t153*u154);
cons476 : 0 = x154+0.5*h*((1-t154)*l154 + t154*u155);
cons477 : 0 = x155+0.5*h*((1-t155)*l155 + t155*u156);
cons478 : 0 = x156+0.5*h*((1-t156)*l156 + t156*u157);
cons479 : 0 = x157+0.5*h*((1-t157)*l157 + t157*u158);
cons480 : 0 = x158+0.5*h*((1-t158)*l158 + t158*u159);
cons481 : 0 = x159+0.5*h*((1-t159)*l159 + t159*u160);
cons482 : 0 = x160+0.5*h*((1-t160)*l160 + t160*u161);

solve;
display l0, l1, l10, l100, l101, l102, l103, l104, l105, l106, l107, l108, l109, l11, l110, l111, l112, l113, l114, l115, l116, l117, l118, l119, l12, l120, l121, l122, l123, l124, l125, l126, l127, l128, l129, l13, l130, l131, l132, l133, l134, l135, l136, l137, l138, l139, l14, l140, l141, l142, l143, l144, l145, l146, l147, l148, l149, l15, l150, l151, l152, l153, l154, l155, l156, l157, l158, l159, l16, l160, l17, l18, l19, l2, l20, l21, l22, l23, l24, l25, l26, l27, l28, l29, l3, l30, l31, l32, l33, l34, l35, l36, l37, l38, l39, l4, l40, l41, l42, l43, l44, l45, l46, l47, l48, l49, l5, l50, l51, l52, l53, l54, l55, l56, l57, l58, l59, l6, l60, l61, l62, l63, l64, l65, l66, l67, l68, l69, l7, l70, l71, l72, l73, l74, l75, l76, l77, l78, l79, l8, l80, l81, l82, l83, l84, l85, l86, l87, l88, l89, l9, l90, l91, l92, l93, l94, l95, l96, l97, l98, l99, u1, u10, u100, u101, u102, u103, u104, u105, u106, u107, u108, u109, u11, u110, u111, u112, u113, u114, u115, u116, u117, u118, u119, u12, u120, u121, u122, u123, u124, u125, u126, u127, u128, u129, u13, u130, u131, u132, u133, u134, u135, u136, u137, u138, u139, u14, u140, u141, u142, u143, u144, u145, u146, u147, u148, u149, u15, u150, u151, u152, u153, u154, u155, u156, u157, u158, u159, u16, u160, u161, u17, u18, u19, u2, u20, u21, u22, u23, u24, u25, u26, u27, u28, u29, u3, u30, u31, u32, u33, u34, u35, u36, u37, u38, u39, u4, u40, u41, u42, u43, u44, u45, u46, u47, u48, u49, u5, u50, u51, u52, u53, u54, u55, u56, u57, u58, u59, u6, u60, u61, u62, u63, u64, u65, u66, u67, u68, u69, u7, u70, u71, u72, u73, u74, u75, u76, u77, u78, u79, u8, u80, u81, u82, u83, u84, u85, u86, u87, u88, u89, u9, u90, u91, u92, u93, u94, u95, u96, u97, u98, u99, x1, x10, x100, x101, x102, x103, x104, x105, x106, x107, x108, x109, x11, x110, x111, x112, x113, x114, x115, x116, x117, x118, x119, x12, x120, x121, x122, x123, x124, x125, x126, x127, x128, x129, x13, x130, x131, x132, x133, x134, x135, x136, x137, x138, x139, x14, x140, x141, x142, x143, x144, x145, x146, x147, x148, x149, x15, x150, x151, x152, x153, x154, x155, x156, x157, x158, x159, x16, x160, x17, x18, x19, x2, x20, x21, x22, x23, x24, x25, x26, x27, x28, x29, x3, x30, x31, x32, x33, x34, x35, x36, x37, x38, x39, x4, x40, x41, x42, x43, x44, x45, x46, x47, x48, x49, x5, x50, x51, x52, x53, x54, x55, x56, x57, x58, x59, x6, x60, x61, x62, x63, x64, x65, x66, x67, x68, x69, x7, x70, x71, x72, x73, x74, x75, x76, x77, x78, x79, x8, x80, x81, x82, x83, x84, x85, x86, x87, x88, x89, x9, x90, x91, x92, x93, x94, x95, x96, x97, x98, x99;