\* Problem: Unknown *\

Maximize
 obj: + u0 + u1 + u2 + u3 + u4 + u5 + u6 + u7 + u8 + u9 + u10 + u11
 + u12 + u13 + u14 + u15 + u16 + u17 + u18 + u19 + u20 + u21 + u22 + u23
 + u24 + u25 + u26 + u27 + u28 + u29 + u30 + u31 + u32 + u33 + u34 + u35
 + u36 + u37 + u38 + u39 + u40 + u41 + u42 + u43 + u44 + u45 + u46 + u47
 + u48 + u49 + u50 + u51 + u52 + u53 + u54 + u55 + u56 + u57 + u58 + u59
 + u60 + u61 + u62 + u63 + u64 + u65 + u66 + u67 + u68 + u69 + u70 + u71
 + u72 + u73 + u74 + u75 + u76 + u77 + u78 + u79 + u80 + u81 + u82 + u83
 + u84 + u85 + u86 + u87 + u88 + u89 + u90 + u91 + u92 + u93 + u94 + u95
 + u96 + u97 + u98 + u99 + u100 + u101 + u102 + u103 + u104 + u105
 + u106 + u107 + u108 + u109 + u110 + u111 + u112 + u113 + u114 + u115
 + u116 + u117 + u118 + u119 + u120 + u121 + u122 + u123 + u124 + u125
 + u126 + u127 + u128 + u129 + u130 + u131 + u132 + u133 + u134 + u135
 + u136 + u137 + u138 + u139 + u140 + u141 + u142 + u143 + u144 + u145
 + u146 + u147 + u148 + u149 + u150 + u151 + u152 + u153 + u154 + u155
 + u156 + u157 + u158 + u159 + u160 + u161 + u162 + u163 + u164 + u165
 + u166 + u167 + u168 + u169

Subject To
 ydec0: - u0 + ytop - ynode60 - ynode55 - ynode50 - ynode45 - ynode40
 - ynode35 - ynode30 - ynode25 - ynode20 - ynode15 - ynode10 - ynode5
 - ynode0 >= 0
 ydec1: - u1 - ynode1 + ynode0 >= 0
 ydec2: - 0.0395244469655531 s - u2 + ynode1
 - 0.00464576074332172 xdec158 - 0.00464576074332172 xdec145
 - 0.00464576074332172 xdec132 - 0.00464576074332172 xdec119
 - 0.00929152148664344 xdec106 - 0.00464576074332172 xdec93
 - 0.00929152148664344 xdec80 - 0.00929152148664344 xdec67
 - 0.00929152148664344 xdec54 - 0.00929152148664344 xdec41
 - 0.00929152148664344 xdec28 - 0.00929152148664344 xdec15 >= 0
 ydec3: - 0.0434318374531855 s - u3 + ynode1
 + 0.0255516840882695 xdec158 + 0.0255516840882695 xdec145
 + 0.0255516840882695 xdec132 + 0.0255516840882695 xdec119
 + 0.0511033681765389 xdec106 + 0.0255516840882695 xdec93
 + 0.0511033681765389 xdec80 + 0.0511033681765389 xdec67
 + 0.0511033681765389 xdec54 + 0.0511033681765389 xdec41
 + 0.0511033681765389 xdec28 + 0.0511033681765389 xdec15
 + 0.0191637630662021 xdec2 >= 0
 ydec4: - u4 - ynode2 + ynode1 - 0.00464576074332172 xdec160
 - 0.00929152148664344 xdec159 - 0.00464576074332172 xdec147
 - 0.00929152148664344 xdec146 - 0.00464576074332172 xdec134
 - 0.00929152148664344 xdec133 - 0.00464576074332172 xdec121
 - 0.00929152148664344 xdec120 - 0.00929152148664344 xdec108
 - 0.0185830429732869 xdec107 - 0.00464576074332172 xdec95
 - 0.00929152148664344 xdec94 - 0.00929152148664344 xdec82
 - 0.0185830429732869 xdec81 - 0.00929152148664344 xdec69
 - 0.0185830429732869 xdec68 - 0.00929152148664344 xdec56
 - 0.0185830429732869 xdec55 - 0.00929152148664344 xdec43
 - 0.0185830429732869 xdec42 - 0.00929152148664344 xdec30
 - 0.0185830429732869 xdec29 - 0.00929152148664344 xdec17
 - 0.0185830429732869 xdec16 - 0.0261324041811847 xdec4 >= 0
 ydec5: - u5 + ynode2 - 0.0139372822299652 xdec161
 - 0.0139372822299652 xdec148 - 0.0139372822299652 xdec135
 - 0.0139372822299652 xdec122 - 0.0278745644599303 xdec109
 - 0.0139372822299652 xdec96 - 0.0278745644599303 xdec83
 - 0.0278745644599303 xdec70 - 0.0278745644599303 xdec57
 - 0.0278745644599303 xdec44 - 0.0278745644599303 xdec31
 - 0.0278745644599303 xdec18 >= 0
 ydec6: - 0.0419085780527701 s - u6 + ynode2
 + 0.0348432055749129 xdec161 + 0.0348432055749129 xdec148
 + 0.0348432055749129 xdec135 + 0.0348432055749129 xdec122
 + 0.0696864111498258 xdec109 + 0.0348432055749129 xdec96
 + 0.0696864111498258 xdec83 + 0.0696864111498258 xdec70
 + 0.0696864111498258 xdec57 + 0.0696864111498258 xdec44
 + 0.0696864111498258 xdec31 + 0.0696864111498258 xdec18
 + 0.0331010452961672 xdec5 >= 0
 ydec7: - u7 + ynode2 - 0.0139372822299652 xdec163
 - 0.0185830429732869 xdec162 - 0.0139372822299652 xdec150
 - 0.0185830429732869 xdec149 - 0.0139372822299652 xdec137
 - 0.0185830429732869 xdec136 - 0.0139372822299652 xdec124
 - 0.0185830429732869 xdec123 - 0.0278745644599303 xdec111
 - 0.0371660859465738 xdec110 - 0.0139372822299652 xdec98
 - 0.0185830429732869 xdec97 - 0.0278745644599303 xdec85
 - 0.0371660859465738 xdec84 - 0.0278745644599303 xdec72
 - 0.0371660859465738 xdec71 - 0.0278745644599303 xdec59
 - 0.0371660859465738 xdec58 - 0.0278745644599303 xdec46
 - 0.0371660859465738 xdec45 - 0.0278745644599303 xdec33
 - 0.0371660859465738 xdec32 - 0.0278745644599303 xdec20
 - 0.0371660859465738 xdec19 - 0.0400696864111498 xdec7 >= 0
 ydec8: - u8 - ynode3 + ynode0 - 0.00464576074332172 xdec164
 - 0.00464576074332172 xdec151 - 0.00464576074332172 xdec138
 - 0.00464576074332172 xdec125 - 0.00929152148664344 xdec112
 - 0.00464576074332172 xdec99 - 0.00929152148664344 xdec86
 - 0.00929152148664344 xdec73 - 0.00929152148664344 xdec60
 - 0.00929152148664344 xdec47 - 0.00929152148664344 xdec34
 - 0.00929152148664344 xdec21 - 0.0191637630662021 xdec9 >= 0
 ydec9: - 0.00880753275660015 s - u9 + ynode3
 - 0.00929152148664344 xdec166 - 0.00929152148664344 xdec153
 - 0.00929152148664344 xdec140 - 0.00929152148664344 xdec127
 - 0.0185830429732869 xdec114 - 0.00929152148664344 xdec101
 - 0.0185830429732869 xdec88 - 0.0185830429732869 xdec75
 - 0.0185830429732869 xdec62 - 0.0185830429732869 xdec49
 - 0.0185830429732869 xdec36 - 0.0185830429732869 xdec23 >= 0
 ydec10: - 0.0434318374531855 s - u10 + ynode3
 + 0.0301974448315912 xdec166 + 0.0301974448315912 xdec153
 + 0.0301974448315912 xdec140 + 0.0301974448315912 xdec127
 + 0.0603948896631823 xdec114 + 0.0301974448315912 xdec101
 + 0.0603948896631823 xdec88 + 0.0603948896631823 xdec75
 + 0.0603948896631823 xdec62 + 0.0603948896631823 xdec49
 + 0.0603948896631823 xdec36 + 0.0603948896631823 xdec23
 + 0.0261324041811847 xdec10 >= 0
 ydec11: - u11 - ynode4 + ynode3 - 0.00929152148664344 xdec168
 - 0.0139372822299652 xdec167 - 0.00929152148664344 xdec155
 - 0.0139372822299652 xdec154 - 0.00929152148664344 xdec142
 - 0.0139372822299652 xdec141 - 0.00929152148664344 xdec129
 - 0.0139372822299652 xdec128 - 0.0185830429732869 xdec116
 - 0.0278745644599303 xdec115 - 0.00929152148664344 xdec103
 - 0.0139372822299652 xdec102 - 0.0185830429732869 xdec90
 - 0.0278745644599303 xdec89 - 0.0185830429732869 xdec77
 - 0.0278745644599303 xdec76 - 0.0185830429732869 xdec64
 - 0.0278745644599303 xdec63 - 0.0185830429732869 xdec51
 - 0.0278745644599303 xdec50 - 0.0185830429732869 xdec38
 - 0.0278745644599303 xdec37 - 0.0185830429732869 xdec25
 - 0.0278745644599303 xdec24 - 0.0331010452961672 xdec12 >= 0
 ydec12: - u12 + ynode4 - 0.0185830429732869 xdec169
 - 0.0185830429732869 xdec156 - 0.0185830429732869 xdec143
 - 0.0185830429732869 xdec130 - 0.0371660859465738 xdec117
 - 0.0185830429732869 xdec104 - 0.0371660859465738 xdec91
 - 0.0371660859465738 xdec78 - 0.0371660859465738 xdec65
 - 0.0371660859465738 xdec52 - 0.0371660859465738 xdec39
 - 0.0371660859465738 xdec26 >= 0
 ydec13: - 0.0400696864111591 s - u13 + ynode4
 + 0.0394889663182346 xdec169 + 0.0394889663182346 xdec156
 + 0.0394889663182346 xdec143 + 0.0394889663182346 xdec130
 + 0.0789779326364692 xdec117 + 0.0394889663182346 xdec104
 + 0.0789779326364692 xdec91 + 0.0789779326364692 xdec78
 + 0.0789779326364692 xdec65 + 0.0789779326364692 xdec52
 + 0.0789779326364692 xdec39 + 0.0789779326364692 xdec26
 + 0.0400696864111498 xdec13 >= 0
 ydec14: - u14 - ynode6 + ynode5 >= 0
 ydec15: - 0.0121338712356631 s - u15 + ynode6
 - 0.00464576074332172 xdec158 - 0.00464576074332172 xdec145
 - 0.00464576074332172 xdec132 - 0.00464576074332172 xdec119
 - 0.00929152148664344 xdec106 - 0.00464576074332172 xdec93
 - 0.00929152148664344 xdec80 - 0.00929152148664344 xdec67
 - 0.00929152148664344 xdec54 - 0.00929152148664344 xdec41
 - 0.00929152148664344 xdec28 + 0.00929152148664344 xdec2 >= 0
 ydec16: - 0.0434318374531855 s - u16 + ynode6
 + 0.0255516840882695 xdec158 + 0.0255516840882695 xdec145
 + 0.0255516840882695 xdec132 + 0.0255516840882695 xdec119
 + 0.0511033681765389 xdec106 + 0.0255516840882695 xdec93
 + 0.0511033681765389 xdec80 + 0.0511033681765389 xdec67
 + 0.0511033681765389 xdec54 + 0.0511033681765389 xdec41
 + 0.0511033681765389 xdec28 + 0.0191637630662021 xdec15 >= 0
 ydec17: - u17 - ynode7 + ynode6 - 0.00464576074332172 xdec160
 - 0.00929152148664344 xdec159 - 0.00464576074332172 xdec147
 - 0.00929152148664344 xdec146 - 0.00464576074332172 xdec134
 - 0.00929152148664344 xdec133 - 0.00464576074332172 xdec121
 - 0.00929152148664344 xdec120 - 0.00929152148664344 xdec108
 - 0.0185830429732869 xdec107 - 0.00464576074332172 xdec95
 - 0.00929152148664344 xdec94 - 0.00929152148664344 xdec82
 - 0.0185830429732869 xdec81 - 0.00929152148664344 xdec69
 - 0.0185830429732869 xdec68 - 0.00929152148664344 xdec56
 - 0.0185830429732869 xdec55 - 0.00929152148664344 xdec43
 - 0.0185830429732869 xdec42 - 0.00929152148664344 xdec30
 - 0.0185830429732869 xdec29 - 0.0261324041811847 xdec17
 - 0.0603948896631823 xdec4 + 0.0185830429732869 xdec3 >= 0
 ydec18: - 0.000483988730041176 s - u18 + ynode7
 - 0.0139372822299652 xdec161 - 0.0139372822299652 xdec148
 - 0.0139372822299652 xdec135 - 0.0139372822299652 xdec122
 - 0.0278745644599303 xdec109 - 0.0139372822299652 xdec96
 - 0.0278745644599303 xdec83 - 0.0278745644599303 xdec70
 - 0.0278745644599303 xdec57 - 0.0278745644599303 xdec44
 - 0.0278745644599303 xdec31 + 0.0278745644599303 xdec5 >= 0
 ydec19: - u19 + ynode7 + 0.0348432055749129 xdec161
 + 0.0348432055749129 xdec148 + 0.0348432055749129 xdec135
 + 0.0348432055749129 xdec122 + 0.0696864111498258 xdec109
 + 0.0348432055749129 xdec96 + 0.0696864111498258 xdec83
 + 0.0696864111498258 xdec70 + 0.0696864111498258 xdec57
 + 0.0696864111498258 xdec44 + 0.0696864111498258 xdec31
 + 0.0331010452961672 xdec18 + 0.0185830429732869 xdec5 >= 0
 ydec20: - 0.00977551021668396 s - u20 + ynode7
 - 0.0139372822299652 xdec163 - 0.0185830429732869 xdec162
 - 0.0139372822299652 xdec150 - 0.0185830429732869 xdec149
 - 0.0139372822299652 xdec137 - 0.0185830429732869 xdec136
 - 0.0139372822299652 xdec124 - 0.0185830429732869 xdec123
 - 0.0278745644599303 xdec111 - 0.0371660859465738 xdec110
 - 0.0139372822299652 xdec98 - 0.0185830429732869 xdec97
 - 0.0278745644599303 xdec85 - 0.0371660859465738 xdec84
 - 0.0278745644599303 xdec72 - 0.0371660859465738 xdec71
 - 0.0278745644599303 xdec59 - 0.0371660859465738 xdec58
 - 0.0278745644599303 xdec46 - 0.0371660859465738 xdec45
 - 0.0278745644599303 xdec33 - 0.0371660859465738 xdec32
 - 0.0400696864111498 xdec20 - 0.0789779326364692 xdec7
 + 0.0371660859465738 xdec6 >= 0
 ydec21: - u21 - ynode8 + ynode5 - 0.00464576074332172 xdec164
 - 0.00464576074332172 xdec151 - 0.00464576074332172 xdec138
 - 0.00464576074332172 xdec125 - 0.00929152148664344 xdec112
 - 0.00464576074332172 xdec99 - 0.00929152148664344 xdec86
 - 0.00929152148664344 xdec73 - 0.00929152148664344 xdec60
 - 0.00929152148664344 xdec47 - 0.00929152148664344 xdec34
 - 0.0191637630662021 xdec22 - 0.0511033681765389 xdec9
 + 0.00929152148664344 xdec8 >= 0
 ydec22: - u22 + ynode8 - 0.00929152148664344 xdec166
 - 0.00929152148664344 xdec153 - 0.00929152148664344 xdec140
 - 0.00929152148664344 xdec127 - 0.0185830429732869 xdec114
 - 0.00929152148664344 xdec101 - 0.0185830429732869 xdec88
 - 0.0185830429732869 xdec75 - 0.0185830429732869 xdec62
 - 0.0185830429732869 xdec49 - 0.0185830429732869 xdec36
 + 0.0185830429732869 xdec10 >= 0
 ydec23: - 0.0434318374531855 s - u23 + ynode8
 + 0.0301974448315912 xdec166 + 0.0301974448315912 xdec153
 + 0.0301974448315912 xdec140 + 0.0301974448315912 xdec127
 + 0.0603948896631823 xdec114 + 0.0301974448315912 xdec101
 + 0.0603948896631823 xdec88 + 0.0603948896631823 xdec75
 + 0.0603948896631823 xdec62 + 0.0603948896631823 xdec49
 + 0.0603948896631823 xdec36 + 0.0261324041811847 xdec23
 + 0.00929152148664344 xdec10 >= 0
 ydec24: - 0.00756731163585959 s - u24 - ynode9 + ynode8
 - 0.00929152148664344 xdec168 - 0.0139372822299652 xdec167
 - 0.00929152148664344 xdec155 - 0.0139372822299652 xdec154
 - 0.00929152148664344 xdec142 - 0.0139372822299652 xdec141
 - 0.00929152148664344 xdec129 - 0.0139372822299652 xdec128
 - 0.0185830429732869 xdec116 - 0.0278745644599303 xdec115
 - 0.00929152148664344 xdec103 - 0.0139372822299652 xdec102
 - 0.0185830429732869 xdec90 - 0.0278745644599303 xdec89
 - 0.0185830429732869 xdec77 - 0.0278745644599303 xdec76
 - 0.0185830429732869 xdec64 - 0.0278745644599303 xdec63
 - 0.0185830429732869 xdec51 - 0.0278745644599303 xdec50
 - 0.0185830429732869 xdec38 - 0.0278745644599303 xdec37
 - 0.0331010452961672 xdec25 - 0.0696864111498258 xdec12
 + 0.0278745644599303 xdec11 >= 0
 ydec25: - 0.00929152148665376 s - u25 + ynode9
 - 0.0185830429732869 xdec169 - 0.0185830429732869 xdec156
 - 0.0185830429732869 xdec143 - 0.0185830429732869 xdec130
 - 0.0371660859465738 xdec117 - 0.0185830429732869 xdec104
 - 0.0371660859465738 xdec91 - 0.0371660859465738 xdec78
 - 0.0371660859465738 xdec65 - 0.0371660859465738 xdec52
 - 0.0371660859465738 xdec39 + 0.0371660859465738 xdec13 >= 0
 ydec26: - u26 + ynode9 + 0.0394889663182346 xdec169
 + 0.0394889663182346 xdec156 + 0.0394889663182346 xdec143
 + 0.0394889663182346 xdec130 + 0.0789779326364692 xdec117
 + 0.0394889663182346 xdec104 + 0.0789779326364692 xdec91
 + 0.0789779326364692 xdec78 + 0.0789779326364692 xdec65
 + 0.0789779326364692 xdec52 + 0.0789779326364692 xdec39
 + 0.0400696864111498 xdec26 + 0.0278745644599303 xdec13 >= 0
 ydec27: - 0.00142117487451183 s - u27 - ynode11 + ynode10 >= 0
 ydec28: - u28 + ynode11 - 0.00464576074332172 xdec158
 - 0.00464576074332172 xdec145 - 0.00464576074332172 xdec132
 - 0.00464576074332172 xdec119 - 0.00929152148664344 xdec106
 - 0.00464576074332172 xdec93 - 0.00929152148664344 xdec80
 - 0.00929152148664344 xdec67 - 0.00929152148664344 xdec54
 - 0.00929152148664344 xdec41 + 0.00929152148664344 xdec15
 + 0.00929152148664344 xdec2 >= 0
 ydec29: - 0.0420106625786737 s - u29 + ynode11
 + 0.0255516840882695 xdec158 + 0.0255516840882695 xdec145
 + 0.0255516840882695 xdec132 + 0.0255516840882695 xdec119
 + 0.0511033681765389 xdec106 + 0.0255516840882695 xdec93
 + 0.0511033681765389 xdec80 + 0.0511033681765389 xdec67
 + 0.0511033681765389 xdec54 + 0.0511033681765389 xdec41
 + 0.0191637630662021 xdec28 >= 0
 ydec30: - 0.00644917173764182 s - u30 - ynode12 + ynode11
 - 0.00464576074332172 xdec160 - 0.00929152148664344 xdec159
 - 0.00464576074332172 xdec147 - 0.00929152148664344 xdec146
 - 0.00464576074332172 xdec134 - 0.00929152148664344 xdec133
 - 0.00464576074332172 xdec121 - 0.00929152148664344 xdec120
 - 0.00929152148664344 xdec108 - 0.0185830429732869 xdec107
 - 0.00464576074332172 xdec95 - 0.00929152148664344 xdec94
 - 0.00929152148664344 xdec82 - 0.0185830429732869 xdec81
 - 0.00929152148664344 xdec69 - 0.0185830429732869 xdec68
 - 0.00929152148664344 xdec56 - 0.0185830429732869 xdec55
 - 0.00929152148664344 xdec43 - 0.0185830429732869 xdec42
 - 0.0261324041811847 xdec30 - 0.0603948896631823 xdec17
 + 0.0185830429732869 xdec16 - 0.0603948896631823 xdec4
 + 0.0185830429732869 xdec3 >= 0
 ydec31: - 0.000483988730019607 s - u31 + ynode12
 - 0.0139372822299652 xdec161 - 0.0139372822299652 xdec148
 - 0.0139372822299652 xdec135 - 0.0139372822299652 xdec122
 - 0.0278745644599303 xdec109 - 0.0139372822299652 xdec96
 - 0.0278745644599303 xdec83 - 0.0278745644599303 xdec70
 - 0.0278745644599303 xdec57 - 0.0278745644599303 xdec44
 + 0.0278745644599303 xdec18 + 0.0278745644599303 xdec5 >= 0
 ydec32: - u32 + ynode12 + 0.0348432055749129 xdec161
 + 0.0348432055749129 xdec148 + 0.0348432055749129 xdec135
 + 0.0348432055749129 xdec122 + 0.0696864111498258 xdec109
 + 0.0348432055749129 xdec96 + 0.0696864111498258 xdec83
 + 0.0696864111498258 xdec70 + 0.0696864111498258 xdec57
 + 0.0696864111498258 xdec44 + 0.0331010452961672 xdec31
 + 0.0185830429732869 xdec18 + 0.0185830429732869 xdec5 >= 0
 ydec33: - 0.00977551021666183 s - u33 + ynode12
 - 0.0139372822299652 xdec163 - 0.0185830429732869 xdec162
 - 0.0139372822299652 xdec150 - 0.0185830429732869 xdec149
 - 0.0139372822299652 xdec137 - 0.0185830429732869 xdec136
 - 0.0139372822299652 xdec124 - 0.0185830429732869 xdec123
 - 0.0278745644599303 xdec111 - 0.0371660859465738 xdec110
 - 0.0139372822299652 xdec98 - 0.0185830429732869 xdec97
 - 0.0278745644599303 xdec85 - 0.0371660859465738 xdec84
 - 0.0278745644599303 xdec72 - 0.0371660859465738 xdec71
 - 0.0278745644599303 xdec59 - 0.0371660859465738 xdec58
 - 0.0278745644599303 xdec46 - 0.0371660859465738 xdec45
 - 0.0400696864111498 xdec33 - 0.0789779326364692 xdec20
 + 0.0371660859465738 xdec19 - 0.0789779326364692 xdec7
 + 0.0371660859465738 xdec6 >= 0
 ydec34: - u34 - ynode13 + ynode10 - 0.00464576074332172 xdec164
 - 0.00464576074332172 xdec151 - 0.00464576074332172 xdec138
 - 0.00464576074332172 xdec125 - 0.00929152148664344 xdec112
 - 0.00464576074332172 xdec99 - 0.00929152148664344 xdec86
 - 0.00929152148664344 xdec73 - 0.00929152148664344 xdec60
 - 0.00929152148664344 xdec47 - 0.0191637630662021 xdec35
 - 0.0511033681765389 xdec22 + 0.00929152148664344 xdec21
 - 0.0511033681765389 xdec9 + 0.00929152148664344 xdec8 >= 0
 ydec35: - u35 + ynode13 - 0.00929152148664344 xdec166
 - 0.00929152148664344 xdec153 - 0.00929152148664344 xdec140
 - 0.00929152148664344 xdec127 - 0.0185830429732869 xdec114
 - 0.00929152148664344 xdec101 - 0.0185830429732869 xdec88
 - 0.0185830429732869 xdec75 - 0.0185830429732869 xdec62
 - 0.0185830429732869 xdec49 + 0.0185830429732869 xdec23
 + 0.0185830429732869 xdec10 >= 0
 ydec36: - 0.00541822920908201 s - u36 + ynode13
 + 0.0301974448315912 xdec166 + 0.0301974448315912 xdec153
 + 0.0301974448315912 xdec140 + 0.0301974448315912 xdec127
 + 0.0603948896631823 xdec114 + 0.0301974448315912 xdec101
 + 0.0603948896631823 xdec88 + 0.0603948896631823 xdec75
 + 0.0603948896631823 xdec62 + 0.0603948896631823 xdec49
 + 0.0261324041811847 xdec36 + 0.00929152148664344 xdec23
 + 0.00929152148664344 xdec10 >= 0
 ydec37: - 0.00843822581739097 s - u37 - ynode14 + ynode13
 - 0.00929152148664344 xdec168 - 0.0139372822299652 xdec167
 - 0.00929152148664344 xdec155 - 0.0139372822299652 xdec154
 - 0.00929152148664344 xdec142 - 0.0139372822299652 xdec141
 - 0.00929152148664344 xdec129 - 0.0139372822299652 xdec128
 - 0.0185830429732869 xdec116 - 0.0278745644599303 xdec115
 - 0.00929152148664344 xdec103 - 0.0139372822299652 xdec102
 - 0.0185830429732869 xdec90 - 0.0278745644599303 xdec89
 - 0.0185830429732869 xdec77 - 0.0278745644599303 xdec76
 - 0.0185830429732869 xdec64 - 0.0278745644599303 xdec63
 - 0.0185830429732869 xdec51 - 0.0278745644599303 xdec50
 - 0.0331010452961672 xdec38 - 0.0696864111498258 xdec25
 + 0.0278745644599303 xdec24 - 0.0696864111498258 xdec12
 + 0.0278745644599303 xdec11 >= 0
 ydec38: - 0.00929152148663677 s - u38 + ynode14
 - 0.0185830429732869 xdec169 - 0.0185830429732869 xdec156
 - 0.0185830429732869 xdec143 - 0.0185830429732869 xdec130
 - 0.0371660859465738 xdec117 - 0.0185830429732869 xdec104
 - 0.0371660859465738 xdec91 - 0.0371660859465738 xdec78
 - 0.0371660859465738 xdec65 - 0.0371660859465738 xdec52
 + 0.0371660859465738 xdec26 + 0.0371660859465738 xdec13 >= 0
 ydec39: - u39 + ynode14 + 0.0394889663182346 xdec169
 + 0.0394889663182346 xdec156 + 0.0394889663182346 xdec143
 + 0.0394889663182346 xdec130 + 0.0789779326364692 xdec117
 + 0.0394889663182346 xdec104 + 0.0789779326364692 xdec91
 + 0.0789779326364692 xdec78 + 0.0789779326364692 xdec65
 + 0.0789779326364692 xdec52 + 0.0400696864111498 xdec39
 + 0.0278745644599303 xdec26 + 0.0278745644599303 xdec13 >= 0
 ydec40: - u40 - ynode16 + ynode15 >= 0
 ydec41: - u41 + ynode16 - 0.00464576074332172 xdec158
 - 0.00464576074332172 xdec145 - 0.00464576074332172 xdec132
 - 0.00464576074332172 xdec119 - 0.00929152148664344 xdec106
 - 0.00464576074332172 xdec93 - 0.00929152148664344 xdec80
 - 0.00929152148664344 xdec67 - 0.00929152148664344 xdec54
 + 0.00929152148664344 xdec28 + 0.00929152148664344 xdec15
 + 0.00929152148664344 xdec2 >= 0
 ydec42: - 0.0434318374531855 s - u42 + ynode16
 + 0.0255516840882695 xdec158 + 0.0255516840882695 xdec145
 + 0.0255516840882695 xdec132 + 0.0255516840882695 xdec119
 + 0.0511033681765389 xdec106 + 0.0255516840882695 xdec93
 + 0.0511033681765389 xdec80 + 0.0511033681765389 xdec67
 + 0.0511033681765389 xdec54 + 0.0191637630662021 xdec41 >= 0
 ydec43: - 0.0250322147109197 s - u43 - ynode17 + ynode16
 - 0.00464576074332172 xdec160 - 0.00929152148664344 xdec159
 - 0.00464576074332172 xdec147 - 0.00929152148664344 xdec146
 - 0.00464576074332172 xdec134 - 0.00929152148664344 xdec133
 - 0.00464576074332172 xdec121 - 0.00929152148664344 xdec120
 - 0.00929152148664344 xdec108 - 0.0185830429732869 xdec107
 - 0.00464576074332172 xdec95 - 0.00929152148664344 xdec94
 - 0.00929152148664344 xdec82 - 0.0185830429732869 xdec81
 - 0.00929152148664344 xdec69 - 0.0185830429732869 xdec68
 - 0.00929152148664344 xdec56 - 0.0185830429732869 xdec55
 - 0.0261324041811847 xdec43 - 0.0603948896631823 xdec30
 + 0.0185830429732869 xdec29 - 0.0603948896631823 xdec17
 + 0.0185830429732869 xdec16 - 0.0603948896631823 xdec4
 + 0.0185830429732869 xdec3 >= 0
 ydec44: - 0.00048398873003086 s - u44 + ynode17
 - 0.0139372822299652 xdec161 - 0.0139372822299652 xdec148
 - 0.0139372822299652 xdec135 - 0.0139372822299652 xdec122
 - 0.0278745644599303 xdec109 - 0.0139372822299652 xdec96
 - 0.0278745644599303 xdec83 - 0.0278745644599303 xdec70
 - 0.0278745644599303 xdec57 + 0.0278745644599303 xdec31
 + 0.0278745644599303 xdec18 + 0.0278745644599303 xdec5 >= 0
 ydec45: - u45 + ynode17 + 0.0348432055749129 xdec161
 + 0.0348432055749129 xdec148 + 0.0348432055749129 xdec135
 + 0.0348432055749129 xdec122 + 0.0696864111498258 xdec109
 + 0.0348432055749129 xdec96 + 0.0696864111498258 xdec83
 + 0.0696864111498258 xdec70 + 0.0696864111498258 xdec57
 + 0.0331010452961672 xdec44 + 0.0185830429732869 xdec31
 + 0.0185830429732869 xdec18 + 0.0185830429732869 xdec5 >= 0
 ydec46: - 0.00977551021667738 s - u46 + ynode17
 - 0.0139372822299652 xdec163 - 0.0185830429732869 xdec162
 - 0.0139372822299652 xdec150 - 0.0185830429732869 xdec149
 - 0.0139372822299652 xdec137 - 0.0185830429732869 xdec136
 - 0.0139372822299652 xdec124 - 0.0185830429732869 xdec123
 - 0.0278745644599303 xdec111 - 0.0371660859465738 xdec110
 - 0.0139372822299652 xdec98 - 0.0185830429732869 xdec97
 - 0.0278745644599303 xdec85 - 0.0371660859465738 xdec84
 - 0.0278745644599303 xdec72 - 0.0371660859465738 xdec71
 - 0.0278745644599303 xdec59 - 0.0371660859465738 xdec58
 - 0.0400696864111498 xdec46 - 0.0789779326364692 xdec33
 + 0.0371660859465738 xdec32 - 0.0789779326364692 xdec20
 + 0.0371660859465738 xdec19 - 0.0789779326364692 xdec7
 + 0.0371660859465738 xdec6 >= 0
 ydec47: - u47 - ynode18 + ynode15 - 0.00464576074332172 xdec164
 - 0.00464576074332172 xdec151 - 0.00464576074332172 xdec138
 - 0.00464576074332172 xdec125 - 0.00929152148664344 xdec112
 - 0.00464576074332172 xdec99 - 0.00929152148664344 xdec86
 - 0.00929152148664344 xdec73 - 0.00929152148664344 xdec60
 - 0.0191637630662021 xdec48 - 0.0511033681765389 xdec35
 + 0.00929152148664344 xdec34 - 0.0511033681765389 xdec22
 + 0.00929152148664344 xdec21 - 0.0511033681765389 xdec9
 + 0.00929152148664344 xdec8 >= 0
 ydec48: - u48 + ynode18 - 0.00929152148664344 xdec166
 - 0.00929152148664344 xdec153 - 0.00929152148664344 xdec140
 - 0.00929152148664344 xdec127 - 0.0185830429732869 xdec114
 - 0.00929152148664344 xdec101 - 0.0185830429732869 xdec88
 - 0.0185830429732869 xdec75 - 0.0185830429732869 xdec62
 + 0.0185830429732869 xdec36 + 0.0185830429732869 xdec23
 + 0.0185830429732869 xdec10 >= 0
 ydec49: - u49 + ynode18 + 0.0301974448315912 xdec166
 + 0.0301974448315912 xdec153 + 0.0301974448315912 xdec140
 + 0.0301974448315912 xdec127 + 0.0603948896631823 xdec114
 + 0.0301974448315912 xdec101 + 0.0603948896631823 xdec88
 + 0.0603948896631823 xdec75 + 0.0603948896631823 xdec62
 + 0.0261324041811847 xdec49 + 0.00929152148664344 xdec36
 + 0.00929152148664344 xdec23 + 0.00929152148664344 xdec10 >= 0
 ydec50: - u50 - ynode19 + ynode18 - 0.00929152148664344 xdec168
 - 0.0139372822299652 xdec167 - 0.00929152148664344 xdec155
 - 0.0139372822299652 xdec154 - 0.00929152148664344 xdec142
 - 0.0139372822299652 xdec141 - 0.00929152148664344 xdec129
 - 0.0139372822299652 xdec128 - 0.0185830429732869 xdec116
 - 0.0278745644599303 xdec115 - 0.00929152148664344 xdec103
 - 0.0139372822299652 xdec102 - 0.0185830429732869 xdec90
 - 0.0278745644599303 xdec89 - 0.0185830429732869 xdec77
 - 0.0278745644599303 xdec76 - 0.0185830429732869 xdec64
 - 0.0278745644599303 xdec63 - 0.0331010452961672 xdec51
 - 0.0696864111498258 xdec38 + 0.0278745644599303 xdec37
 - 0.0696864111498258 xdec25 + 0.0278745644599303 xdec24
 - 0.0696864111498258 xdec12 + 0.0278745644599303 xdec11 >= 0
 ydec51: - 0.00929152148664514 s - u51 + ynode19
 - 0.0185830429732869 xdec169 - 0.0185830429732869 xdec156
 - 0.0185830429732869 xdec143 - 0.0185830429732869 xdec130
 - 0.0371660859465738 xdec117 - 0.0185830429732869 xdec104
 - 0.0371660859465738 xdec91 - 0.0371660859465738 xdec78
 - 0.0371660859465738 xdec65 + 0.0371660859465738 xdec39
 + 0.0371660859465738 xdec26 + 0.0371660859465738 xdec13 >= 0
 ydec52: - u52 + ynode19 + 0.0394889663182346 xdec169
 + 0.0394889663182346 xdec156 + 0.0394889663182346 xdec143
 + 0.0394889663182346 xdec130 + 0.0789779326364692 xdec117
 + 0.0394889663182346 xdec104 + 0.0789779326364692 xdec91
 + 0.0789779326364692 xdec78 + 0.0789779326364692 xdec65
 + 0.0400696864111498 xdec52 + 0.0278745644599303 xdec39
 + 0.0278745644599303 xdec26 + 0.0278745644599303 xdec13 >= 0
 ydec53: - u53 - ynode21 + ynode20 >= 0
 ydec54: - u54 + ynode21 - 0.00464576074332172 xdec158
 - 0.00464576074332172 xdec145 - 0.00464576074332172 xdec132
 - 0.00464576074332172 xdec119 - 0.00929152148664344 xdec106
 - 0.00464576074332172 xdec93 - 0.00929152148664344 xdec80
 - 0.00929152148664344 xdec67 + 0.00929152148664344 xdec41
 + 0.00929152148664344 xdec28 + 0.00929152148664344 xdec15
 + 0.00929152148664344 xdec2 >= 0
 ydec55: - 0.0434318374531855 s - u55 + ynode21
 + 0.0255516840882695 xdec158 + 0.0255516840882695 xdec145
 + 0.0255516840882695 xdec132 + 0.0255516840882695 xdec119
 + 0.0511033681765389 xdec106 + 0.0255516840882695 xdec93
 + 0.0511033681765389 xdec80 + 0.0511033681765389 xdec67
 + 0.0191637630662021 xdec54 >= 0
 ydec56: - 0.0434318374531855 s - u56 - ynode22 + ynode21
 - 0.00464576074332172 xdec160 - 0.00929152148664344 xdec159
 - 0.00464576074332172 xdec147 - 0.00929152148664344 xdec146
 - 0.00464576074332172 xdec134 - 0.00929152148664344 xdec133
 - 0.00464576074332172 xdec121 - 0.00929152148664344 xdec120
 - 0.00929152148664344 xdec108 - 0.0185830429732869 xdec107
 - 0.00464576074332172 xdec95 - 0.00929152148664344 xdec94
 - 0.00929152148664344 xdec82 - 0.0185830429732869 xdec81
 - 0.00929152148664344 xdec69 - 0.0185830429732869 xdec68
 - 0.0261324041811847 xdec56 - 0.0603948896631823 xdec43
 + 0.0185830429732869 xdec42 - 0.0603948896631823 xdec30
 + 0.0185830429732869 xdec29 - 0.0603948896631823 xdec17
 + 0.0185830429732869 xdec16 - 0.0603948896631823 xdec4
 + 0.0185830429732869 xdec3 >= 0
 ydec57: - u57 + ynode22 - 0.0139372822299652 xdec161
 - 0.0139372822299652 xdec148 - 0.0139372822299652 xdec135
 - 0.0139372822299652 xdec122 - 0.0278745644599303 xdec109
 - 0.0139372822299652 xdec96 - 0.0278745644599303 xdec83
 - 0.0278745644599303 xdec70 + 0.0278745644599303 xdec44
 + 0.0278745644599303 xdec31 + 0.0278745644599303 xdec18
 + 0.0278745644599303 xdec5 >= 0
 ydec58: - u58 + ynode22 + 0.0348432055749129 xdec161
 + 0.0348432055749129 xdec148 + 0.0348432055749129 xdec135
 + 0.0348432055749129 xdec122 + 0.0696864111498258 xdec109
 + 0.0348432055749129 xdec96 + 0.0696864111498258 xdec83
 + 0.0696864111498258 xdec70 + 0.0331010452961672 xdec57
 + 0.0185830429732869 xdec44 + 0.0185830429732869 xdec31
 + 0.0185830429732869 xdec18 + 0.0185830429732869 xdec5 >= 0
 ydec59: - u59 + ynode22 - 0.0139372822299652 xdec163
 - 0.0185830429732869 xdec162 - 0.0139372822299652 xdec150
 - 0.0185830429732869 xdec149 - 0.0139372822299652 xdec137
 - 0.0185830429732869 xdec136 - 0.0139372822299652 xdec124
 - 0.0185830429732869 xdec123 - 0.0278745644599303 xdec111
 - 0.0371660859465738 xdec110 - 0.0139372822299652 xdec98
 - 0.0185830429732869 xdec97 - 0.0278745644599303 xdec85
 - 0.0371660859465738 xdec84 - 0.0278745644599303 xdec72
 - 0.0371660859465738 xdec71 - 0.0400696864111498 xdec59
 - 0.0789779326364692 xdec46 + 0.0371660859465738 xdec45
 - 0.0789779326364692 xdec33 + 0.0371660859465738 xdec32
 - 0.0789779326364692 xdec20 + 0.0371660859465738 xdec19
 - 0.0789779326364692 xdec7 + 0.0371660859465738 xdec6 >= 0
 ydec60: - u60 - ynode23 + ynode20 - 0.00464576074332172 xdec164
 - 0.00464576074332172 xdec151 - 0.00464576074332172 xdec138
 - 0.00464576074332172 xdec125 - 0.00929152148664344 xdec112
 - 0.00464576074332172 xdec99 - 0.00929152148664344 xdec86
 - 0.00929152148664344 xdec73 - 0.0191637630662021 xdec61
 - 0.0511033681765389 xdec48 + 0.00929152148664344 xdec47
 - 0.0511033681765389 xdec35 + 0.00929152148664344 xdec34
 - 0.0511033681765389 xdec22 + 0.00929152148664344 xdec21
 - 0.0511033681765389 xdec9 + 0.00929152148664344 xdec8 >= 0
 ydec61: - u61 + ynode23 - 0.00929152148664344 xdec166
 - 0.00929152148664344 xdec153 - 0.00929152148664344 xdec140
 - 0.00929152148664344 xdec127 - 0.0185830429732869 xdec114
 - 0.00929152148664344 xdec101 - 0.0185830429732869 xdec88
 - 0.0185830429732869 xdec75 + 0.0185830429732869 xdec49
 + 0.0185830429732869 xdec36 + 0.0185830429732869 xdec23
 + 0.0185830429732869 xdec10 >= 0
 ydec62: - u62 + ynode23 + 0.0301974448315912 xdec166
 + 0.0301974448315912 xdec153 + 0.0301974448315912 xdec140
 + 0.0301974448315912 xdec127 + 0.0603948896631823 xdec114
 + 0.0301974448315912 xdec101 + 0.0603948896631823 xdec88
 + 0.0603948896631823 xdec75 + 0.0261324041811847 xdec62
 + 0.00929152148664344 xdec49 + 0.00929152148664344 xdec36
 + 0.00929152148664344 xdec23 + 0.00929152148664344 xdec10 >= 0
 ydec63: - u63 - ynode24 + ynode23 - 0.00929152148664344 xdec168
 - 0.0139372822299652 xdec167 - 0.00929152148664344 xdec155
 - 0.0139372822299652 xdec154 - 0.00929152148664344 xdec142
 - 0.0139372822299652 xdec141 - 0.00929152148664344 xdec129
 - 0.0139372822299652 xdec128 - 0.0185830429732869 xdec116
 - 0.0278745644599303 xdec115 - 0.00929152148664344 xdec103
 - 0.0139372822299652 xdec102 - 0.0185830429732869 xdec90
 - 0.0278745644599303 xdec89 - 0.0185830429732869 xdec77
 - 0.0278745644599303 xdec76 - 0.0331010452961672 xdec64
 - 0.0696864111498258 xdec51 + 0.0278745644599303 xdec50
 - 0.0696864111498258 xdec38 + 0.0278745644599303 xdec37
 - 0.0696864111498258 xdec25 + 0.0278745644599303 xdec24
 - 0.0696864111498258 xdec12 + 0.0278745644599303 xdec11 >= 0
 ydec64: - 0.00929152148664514 s - u64 + ynode24
 - 0.0185830429732869 xdec169 - 0.0185830429732869 xdec156
 - 0.0185830429732869 xdec143 - 0.0185830429732869 xdec130
 - 0.0371660859465738 xdec117 - 0.0185830429732869 xdec104
 - 0.0371660859465738 xdec91 - 0.0371660859465738 xdec78
 + 0.0371660859465738 xdec52 + 0.0371660859465738 xdec39
 + 0.0371660859465738 xdec26 + 0.0371660859465738 xdec13 >= 0
 ydec65: - u65 + ynode24 + 0.0394889663182346 xdec169
 + 0.0394889663182346 xdec156 + 0.0394889663182346 xdec143
 + 0.0394889663182346 xdec130 + 0.0789779326364692 xdec117
 + 0.0394889663182346 xdec104 + 0.0789779326364692 xdec91
 + 0.0789779326364692 xdec78 + 0.0400696864111498 xdec65
 + 0.0278745644599303 xdec52 + 0.0278745644599303 xdec39
 + 0.0278745644599303 xdec26 + 0.0278745644599303 xdec13 >= 0
 ydec66: - u66 - ynode26 + ynode25 >= 0
 ydec67: - u67 + ynode26 - 0.00464576074332172 xdec158
 - 0.00464576074332172 xdec145 - 0.00464576074332172 xdec132
 - 0.00464576074332172 xdec119 - 0.00929152148664344 xdec106
 - 0.00464576074332172 xdec93 - 0.00929152148664344 xdec80
 + 0.00929152148664344 xdec54 + 0.00929152148664344 xdec41
 + 0.00929152148664344 xdec28 + 0.00929152148664344 xdec15
 + 0.00929152148664344 xdec2 >= 0
 ydec68: - 0.0242442888551785 s - u68 + ynode26
 + 0.0255516840882695 xdec158 + 0.0255516840882695 xdec145
 + 0.0255516840882695 xdec132 + 0.0255516840882695 xdec119
 + 0.0511033681765389 xdec106 + 0.0255516840882695 xdec93
 + 0.0511033681765389 xdec80 + 0.0191637630662021 xdec67 >= 0
 ydec69: - 0.0314544440473717 s - u69 - ynode27 + ynode26
 - 0.00464576074332172 xdec160 - 0.00929152148664344 xdec159
 - 0.00464576074332172 xdec147 - 0.00929152148664344 xdec146
 - 0.00464576074332172 xdec134 - 0.00929152148664344 xdec133
 - 0.00464576074332172 xdec121 - 0.00929152148664344 xdec120
 - 0.00929152148664344 xdec108 - 0.0185830429732869 xdec107
 - 0.00464576074332172 xdec95 - 0.00929152148664344 xdec94
 - 0.00929152148664344 xdec82 - 0.0185830429732869 xdec81
 - 0.0261324041811847 xdec69 - 0.0603948896631823 xdec56
 + 0.0185830429732869 xdec55 - 0.0603948896631823 xdec43
 + 0.0185830429732869 xdec42 - 0.0603948896631823 xdec30
 + 0.0185830429732869 xdec29 - 0.0603948896631823 xdec17
 + 0.0185830429732869 xdec16 - 0.0603948896631823 xdec4
 + 0.0185830429732869 xdec3 >= 0
 ydec70: - 0.00630325144422348 s - u70 + ynode27
 - 0.0139372822299652 xdec161 - 0.0139372822299652 xdec148
 - 0.0139372822299652 xdec135 - 0.0139372822299652 xdec122
 - 0.0278745644599303 xdec109 - 0.0139372822299652 xdec96
 - 0.0278745644599303 xdec83 + 0.0278745644599303 xdec57
 + 0.0278745644599303 xdec44 + 0.0278745644599303 xdec31
 + 0.0278745644599303 xdec18 + 0.0278745644599303 xdec5 >= 0
 ydec71: - u71 + ynode27 + 0.0348432055749129 xdec161
 + 0.0348432055749129 xdec148 + 0.0348432055749129 xdec135
 + 0.0348432055749129 xdec122 + 0.0696864111498258 xdec109
 + 0.0348432055749129 xdec96 + 0.0696864111498258 xdec83
 + 0.0331010452961672 xdec70 + 0.0185830429732869 xdec57
 + 0.0185830429732869 xdec44 + 0.0185830429732869 xdec31
 + 0.0185830429732869 xdec18 + 0.0185830429732869 xdec5 >= 0
 ydec72: - 0.0119773934058138 s - u72 + ynode27
 - 0.0139372822299652 xdec163 - 0.0185830429732869 xdec162
 - 0.0139372822299652 xdec150 - 0.0185830429732869 xdec149
 - 0.0139372822299652 xdec137 - 0.0185830429732869 xdec136
 - 0.0139372822299652 xdec124 - 0.0185830429732869 xdec123
 - 0.0278745644599303 xdec111 - 0.0371660859465738 xdec110
 - 0.0139372822299652 xdec98 - 0.0185830429732869 xdec97
 - 0.0278745644599303 xdec85 - 0.0371660859465738 xdec84
 - 0.0400696864111498 xdec72 - 0.0789779326364692 xdec59
 + 0.0371660859465738 xdec58 - 0.0789779326364692 xdec46
 + 0.0371660859465738 xdec45 - 0.0789779326364692 xdec33
 + 0.0371660859465738 xdec32 - 0.0789779326364692 xdec20
 + 0.0371660859465738 xdec19 - 0.0789779326364692 xdec7
 + 0.0371660859465738 xdec6 >= 0
 ydec73: - 0.00137501900332037 s - u73 - ynode28 + ynode25
 - 0.00464576074332172 xdec164 - 0.00464576074332172 xdec151
 - 0.00464576074332172 xdec138 - 0.00464576074332172 xdec125
 - 0.00929152148664344 xdec112 - 0.00464576074332172 xdec99
 - 0.00929152148664344 xdec86 - 0.0191637630662021 xdec74
 - 0.0511033681765389 xdec61 + 0.00929152148664344 xdec60
 - 0.0511033681765389 xdec48 + 0.00929152148664344 xdec47
 - 0.0511033681765389 xdec35 + 0.00929152148664344 xdec34
 - 0.0511033681765389 xdec22 + 0.00929152148664344 xdec21
 - 0.0511033681765389 xdec9 + 0.00929152148664344 xdec8 >= 0
 ydec74: - u74 + ynode28 - 0.00929152148664344 xdec166
 - 0.00929152148664344 xdec153 - 0.00929152148664344 xdec140
 - 0.00929152148664344 xdec127 - 0.0185830429732869 xdec114
 - 0.00929152148664344 xdec101 - 0.0185830429732869 xdec88
 + 0.0185830429732869 xdec62 + 0.0185830429732869 xdec49
 + 0.0185830429732869 xdec36 + 0.0185830429732869 xdec23
 + 0.0185830429732869 xdec10 >= 0
 ydec75: - u75 + ynode28 + 0.0301974448315912 xdec166
 + 0.0301974448315912 xdec153 + 0.0301974448315912 xdec140
 + 0.0301974448315912 xdec127 + 0.0603948896631823 xdec114
 + 0.0301974448315912 xdec101 + 0.0603948896631823 xdec88
 + 0.0261324041811847 xdec75 + 0.00929152148664344 xdec62
 + 0.00929152148664344 xdec49 + 0.00929152148664344 xdec36
 + 0.00929152148664344 xdec23 + 0.00929152148664344 xdec10 >= 0
 ydec76: - u76 - ynode29 + ynode28 - 0.00929152148664344 xdec168
 - 0.0139372822299652 xdec167 - 0.00929152148664344 xdec155
 - 0.0139372822299652 xdec154 - 0.00929152148664344 xdec142
 - 0.0139372822299652 xdec141 - 0.00929152148664344 xdec129
 - 0.0139372822299652 xdec128 - 0.0185830429732869 xdec116
 - 0.0278745644599303 xdec115 - 0.00929152148664344 xdec103
 - 0.0139372822299652 xdec102 - 0.0185830429732869 xdec90
 - 0.0278745644599303 xdec89 - 0.0331010452961672 xdec77
 - 0.0696864111498258 xdec64 + 0.0278745644599303 xdec63
 - 0.0696864111498258 xdec51 + 0.0278745644599303 xdec50
 - 0.0696864111498258 xdec38 + 0.0278745644599303 xdec37
 - 0.0696864111498258 xdec25 + 0.0278745644599303 xdec24
 - 0.0696864111498258 xdec12 + 0.0278745644599303 xdec11 >= 0
 ydec77: - 0.00929152148662695 s - u77 + ynode29
 - 0.0185830429732869 xdec169 - 0.0185830429732869 xdec156
 - 0.0185830429732869 xdec143 - 0.0185830429732869 xdec130
 - 0.0371660859465738 xdec117 - 0.0185830429732869 xdec104
 - 0.0371660859465738 xdec91 + 0.0371660859465738 xdec65
 + 0.0371660859465738 xdec52 + 0.0371660859465738 xdec39
 + 0.0371660859465738 xdec26 + 0.0371660859465738 xdec13 >= 0
 ydec78: - u78 + ynode29 + 0.0394889663182346 xdec169
 + 0.0394889663182346 xdec156 + 0.0394889663182346 xdec143
 + 0.0394889663182346 xdec130 + 0.0789779326364692 xdec117
 + 0.0394889663182346 xdec104 + 0.0789779326364692 xdec91
 + 0.0400696864111498 xdec78 + 0.0278745644599303 xdec65
 + 0.0278745644599303 xdec52 + 0.0278745644599303 xdec39
 + 0.0278745644599303 xdec26 + 0.0278745644599303 xdec13 >= 0
 ydec79: - u79 - ynode31 + ynode30 >= 0
 ydec80: - u80 + ynode31 - 0.00464576074332172 xdec158
 - 0.00464576074332172 xdec145 - 0.00464576074332172 xdec132
 - 0.00464576074332172 xdec119 - 0.00929152148664344 xdec106
 - 0.00464576074332172 xdec93 + 0.00929152148664344 xdec67
 + 0.00929152148664344 xdec54 + 0.00929152148664344 xdec41
 + 0.00929152148664344 xdec28 + 0.00929152148664344 xdec15
 + 0.00929152148664344 xdec2 >= 0
 ydec81: - u81 + ynode31 + 0.0255516840882695 xdec158
 + 0.0255516840882695 xdec145 + 0.0255516840882695 xdec132
 + 0.0255516840882695 xdec119 + 0.0511033681765389 xdec106
 + 0.0255516840882695 xdec93 + 0.0191637630662021 xdec80 >= 0
 ydec82: - u82 - ynode32 + ynode31 - 0.00464576074332172 xdec160
 - 0.00929152148664344 xdec159 - 0.00464576074332172 xdec147
 - 0.00929152148664344 xdec146 - 0.00464576074332172 xdec134
 - 0.00929152148664344 xdec133 - 0.00464576074332172 xdec121
 - 0.00929152148664344 xdec120 - 0.00929152148664344 xdec108
 - 0.0185830429732869 xdec107 - 0.00464576074332172 xdec95
 - 0.00929152148664344 xdec94 - 0.0261324041811847 xdec82
 - 0.0603948896631823 xdec69 + 0.0185830429732869 xdec68
 - 0.0603948896631823 xdec56 + 0.0185830429732869 xdec55
 - 0.0603948896631823 xdec43 + 0.0185830429732869 xdec42
 - 0.0603948896631823 xdec30 + 0.0185830429732869 xdec29
 - 0.0603948896631823 xdec17 + 0.0185830429732869 xdec16
 - 0.0603948896631823 xdec4 + 0.0185830429732869 xdec3 >= 0
 ydec83: - 0.010130334130128 s - u83 + ynode32
 - 0.0139372822299652 xdec161 - 0.0139372822299652 xdec148
 - 0.0139372822299652 xdec135 - 0.0139372822299652 xdec122
 - 0.0278745644599303 xdec109 - 0.0139372822299652 xdec96
 + 0.0278745644599303 xdec70 + 0.0278745644599303 xdec57
 + 0.0278745644599303 xdec44 + 0.0278745644599303 xdec31
 + 0.0278745644599303 xdec18 + 0.0278745644599303 xdec5 >= 0
 ydec84: - u84 + ynode32 + 0.0348432055749129 xdec161
 + 0.0348432055749129 xdec148 + 0.0348432055749129 xdec135
 + 0.0348432055749129 xdec122 + 0.0696864111498258 xdec109
 + 0.0348432055749129 xdec96 + 0.0331010452961672 xdec83
 + 0.0185830429732869 xdec70 + 0.0185830429732869 xdec57
 + 0.0185830429732869 xdec44 + 0.0185830429732869 xdec31
 + 0.0185830429732869 xdec18 + 0.0185830429732869 xdec5 >= 0
 ydec85: - 0.00977551021668396 s - u85 + ynode32
 - 0.0139372822299652 xdec163 - 0.0185830429732869 xdec162
 - 0.0139372822299652 xdec150 - 0.0185830429732869 xdec149
 - 0.0139372822299652 xdec137 - 0.0185830429732869 xdec136
 - 0.0139372822299652 xdec124 - 0.0185830429732869 xdec123
 - 0.0278745644599303 xdec111 - 0.0371660859465738 xdec110
 - 0.0139372822299652 xdec98 - 0.0185830429732869 xdec97
 - 0.0400696864111498 xdec85 - 0.0789779326364692 xdec72
 + 0.0371660859465738 xdec71 - 0.0789779326364692 xdec59
 + 0.0371660859465738 xdec58 - 0.0789779326364692 xdec46
 + 0.0371660859465738 xdec45 - 0.0789779326364692 xdec33
 + 0.0371660859465738 xdec32 - 0.0789779326364692 xdec20
 + 0.0371660859465738 xdec19 - 0.0789779326364692 xdec7
 + 0.0371660859465738 xdec6 >= 0
 ydec86: - 0.0120415594932862 s - u86 - ynode33 + ynode30
 - 0.00464576074332172 xdec164 - 0.00464576074332172 xdec151
 - 0.00464576074332172 xdec138 - 0.00464576074332172 xdec125
 - 0.00929152148664344 xdec112 - 0.00464576074332172 xdec99
 - 0.0191637630662021 xdec87 - 0.0511033681765389 xdec74
 + 0.00929152148664344 xdec73 - 0.0511033681765389 xdec61
 + 0.00929152148664344 xdec60 - 0.0511033681765389 xdec48
 + 0.00929152148664344 xdec47 - 0.0511033681765389 xdec35
 + 0.00929152148664344 xdec34 - 0.0511033681765389 xdec22
 + 0.00929152148664344 xdec21 - 0.0511033681765389 xdec9
 + 0.00929152148664344 xdec8 >= 0
 ydec87: - u87 + ynode33 - 0.00929152148664344 xdec166
 - 0.00929152148664344 xdec153 - 0.00929152148664344 xdec140
 - 0.00929152148664344 xdec127 - 0.0185830429732869 xdec114
 - 0.00929152148664344 xdec101 + 0.0185830429732869 xdec75
 + 0.0185830429732869 xdec62 + 0.0185830429732869 xdec49
 + 0.0185830429732869 xdec36 + 0.0185830429732869 xdec23
 + 0.0185830429732869 xdec10 >= 0
 ydec88: - u88 + ynode33 + 0.0301974448315912 xdec166
 + 0.0301974448315912 xdec153 + 0.0301974448315912 xdec140
 + 0.0301974448315912 xdec127 + 0.0603948896631823 xdec114
 + 0.0301974448315912 xdec101 + 0.0261324041811847 xdec88
 + 0.00929152148664344 xdec75 + 0.00929152148664344 xdec62
 + 0.00929152148664344 xdec49 + 0.00929152148664344 xdec36
 + 0.00929152148664344 xdec23 + 0.00929152148664344 xdec10 >= 0
 ydec89: - u89 - ynode34 + ynode33 - 0.00929152148664344 xdec168
 - 0.0139372822299652 xdec167 - 0.00929152148664344 xdec155
 - 0.0139372822299652 xdec154 - 0.00929152148664344 xdec142
 - 0.0139372822299652 xdec141 - 0.00929152148664344 xdec129
 - 0.0139372822299652 xdec128 - 0.0185830429732869 xdec116
 - 0.0278745644599303 xdec115 - 0.00929152148664344 xdec103
 - 0.0139372822299652 xdec102 - 0.0331010452961672 xdec90
 - 0.0696864111498258 xdec77 + 0.0278745644599303 xdec76
 - 0.0696864111498258 xdec64 + 0.0278745644599303 xdec63
 - 0.0696864111498258 xdec51 + 0.0278745644599303 xdec50
 - 0.0696864111498258 xdec38 + 0.0278745644599303 xdec37
 - 0.0696864111498258 xdec25 + 0.0278745644599303 xdec24
 - 0.0696864111498258 xdec12 + 0.0278745644599303 xdec11 >= 0
 ydec90: - 0.00929152148662668 s - u90 + ynode34
 - 0.0185830429732869 xdec169 - 0.0185830429732869 xdec156
 - 0.0185830429732869 xdec143 - 0.0185830429732869 xdec130
 - 0.0371660859465738 xdec117 - 0.0185830429732869 xdec104
 + 0.0371660859465738 xdec78 + 0.0371660859465738 xdec65
 + 0.0371660859465738 xdec52 + 0.0371660859465738 xdec39
 + 0.0371660859465738 xdec26 + 0.0371660859465738 xdec13 >= 0
 ydec91: - u91 + ynode34 + 0.0394889663182346 xdec169
 + 0.0394889663182346 xdec156 + 0.0394889663182346 xdec143
 + 0.0394889663182346 xdec130 + 0.0789779326364692 xdec117
 + 0.0394889663182346 xdec104 + 0.0400696864111498 xdec91
 + 0.0278745644599303 xdec78 + 0.0278745644599303 xdec65
 + 0.0278745644599303 xdec52 + 0.0278745644599303 xdec39
 + 0.0278745644599303 xdec26 + 0.0278745644599303 xdec13 >= 0
 ydec92: - u92 - ynode36 + ynode35 >= 0
 ydec93: - u93 + ynode36 - 0.00232288037166086 xdec158
 - 0.00232288037166086 xdec145 - 0.00232288037166086 xdec132
 - 0.00232288037166086 xdec119 - 0.00464576074332172 xdec106
 + 0.00464576074332172 xdec80 + 0.00464576074332172 xdec67
 + 0.00464576074332172 xdec54 + 0.00464576074332172 xdec41
 + 0.00464576074332172 xdec28 + 0.00464576074332172 xdec15
 + 0.00464576074332172 xdec2 >= 0
 ydec94: - u94 + ynode36 + 0.0127758420441347 xdec158
 + 0.0127758420441347 xdec145 + 0.0127758420441347 xdec132
 + 0.0127758420441347 xdec119 + 0.0255516840882695 xdec106
 + 0.00319396051103368 xdec93 >= 0
 ydec95: - u95 - ynode37 + ynode36 - 0.00232288037166086 xdec160
 - 0.00464576074332172 xdec159 - 0.00232288037166086 xdec147
 - 0.00464576074332172 xdec146 - 0.00232288037166086 xdec134
 - 0.00464576074332172 xdec133 - 0.00232288037166086 xdec121
 - 0.00464576074332172 xdec120 - 0.00464576074332172 xdec108
 - 0.00929152148664344 xdec107 - 0.00435540069686411 xdec95
 - 0.0301974448315912 xdec82 + 0.00929152148664344 xdec81
 - 0.0301974448315912 xdec69 + 0.00929152148664344 xdec68
 - 0.0301974448315912 xdec56 + 0.00929152148664344 xdec55
 - 0.0301974448315912 xdec43 + 0.00929152148664344 xdec42
 - 0.0301974448315912 xdec30 + 0.00929152148664344 xdec29
 - 0.0301974448315912 xdec17 + 0.00929152148664344 xdec16
 - 0.0301974448315912 xdec4 + 0.00929152148664344 xdec3 >= 0
 ydec96: - 0.00506516706506457 s - u96 + ynode37
 - 0.00696864111498258 xdec161 - 0.00696864111498258 xdec148
 - 0.00696864111498258 xdec135 - 0.00696864111498258 xdec122
 - 0.0139372822299652 xdec109 + 0.0139372822299652 xdec83
 + 0.0139372822299652 xdec70 + 0.0139372822299652 xdec57
 + 0.0139372822299652 xdec44 + 0.0139372822299652 xdec31
 + 0.0139372822299652 xdec18 + 0.0139372822299652 xdec5 >= 0
 ydec97: - u97 + ynode37 + 0.0174216027874564 xdec161
 + 0.0174216027874564 xdec148 + 0.0174216027874564 xdec135
 + 0.0174216027874564 xdec122 + 0.0348432055749129 xdec109
 + 0.00551684088269454 xdec96 + 0.00929152148664344 xdec83
 + 0.00929152148664344 xdec70 + 0.00929152148664344 xdec57
 + 0.00929152148664344 xdec44 + 0.00929152148664344 xdec31
 + 0.00929152148664344 xdec18 + 0.00929152148664344 xdec5 >= 0
 ydec98: - 0.00488775510832992 s - u98 + ynode37
 - 0.00696864111498258 xdec163 - 0.00929152148664344 xdec162
 - 0.00696864111498258 xdec150 - 0.00929152148664344 xdec149
 - 0.00696864111498258 xdec137 - 0.00929152148664344 xdec136
 - 0.00696864111498258 xdec124 - 0.00929152148664344 xdec123
 - 0.0139372822299652 xdec111 - 0.0185830429732869 xdec110
 - 0.00667828106852497 xdec98 - 0.0394889663182346 xdec85
 + 0.0185830429732869 xdec84 - 0.0394889663182346 xdec72
 + 0.0185830429732869 xdec71 - 0.0394889663182346 xdec59
 + 0.0185830429732869 xdec58 - 0.0394889663182346 xdec46
 + 0.0185830429732869 xdec45 - 0.0394889663182346 xdec33
 + 0.0185830429732869 xdec32 - 0.0394889663182346 xdec20
 + 0.0185830429732869 xdec19 - 0.0394889663182346 xdec7
 + 0.0185830429732869 xdec6 >= 0
 ydec99: - 0.0129894208616256 s - u99 - ynode38 + ynode35
 - 0.00232288037166086 xdec164 - 0.00232288037166086 xdec151
 - 0.00232288037166086 xdec138 - 0.00232288037166086 xdec125
 - 0.00464576074332172 xdec112 - 0.00319396051103368 xdec100
 - 0.0255516840882695 xdec87 + 0.00464576074332172 xdec86
 - 0.0255516840882695 xdec74 + 0.00464576074332172 xdec73
 - 0.0255516840882695 xdec61 + 0.00464576074332172 xdec60
 - 0.0255516840882695 xdec48 + 0.00464576074332172 xdec47
 - 0.0255516840882695 xdec35 + 0.00464576074332172 xdec34
 - 0.0255516840882695 xdec22 + 0.00464576074332172 xdec21
 - 0.0255516840882695 xdec9 + 0.00464576074332172 xdec8 >= 0
 ydec100: - u100 + ynode38 - 0.00464576074332172 xdec166
 - 0.00464576074332172 xdec153 - 0.00464576074332172 xdec140
 - 0.00464576074332172 xdec127 - 0.00929152148664344 xdec114
 + 0.00929152148664344 xdec88 + 0.00929152148664344 xdec75
 + 0.00929152148664344 xdec62 + 0.00929152148664344 xdec49
 + 0.00929152148664344 xdec36 + 0.00929152148664344 xdec23
 + 0.00929152148664344 xdec10 >= 0
 ydec101: - u101 + ynode38 + 0.0150987224157956 xdec166
 + 0.0150987224157956 xdec153 + 0.0150987224157956 xdec140
 + 0.0150987224157956 xdec127 + 0.0301974448315912 xdec114
 + 0.00435540069686411 xdec101 + 0.00464576074332172 xdec88
 + 0.00464576074332172 xdec75 + 0.00464576074332172 xdec62
 + 0.00464576074332172 xdec49 + 0.00464576074332172 xdec36
 + 0.00464576074332172 xdec23 + 0.00464576074332172 xdec10 >= 0
 ydec102: - u102 - ynode39 + ynode38 - 0.00464576074332172 xdec168
 - 0.00696864111498258 xdec167 - 0.00464576074332172 xdec155
 - 0.00696864111498258 xdec154 - 0.00464576074332172 xdec142
 - 0.00696864111498258 xdec141 - 0.00464576074332172 xdec129
 - 0.00696864111498258 xdec128 - 0.00929152148664344 xdec116
 - 0.0139372822299652 xdec115 - 0.00551684088269454 xdec103
 - 0.0348432055749129 xdec90 + 0.0139372822299652 xdec89
 - 0.0348432055749129 xdec77 + 0.0139372822299652 xdec76
 - 0.0348432055749129 xdec64 + 0.0139372822299652 xdec63
 - 0.0348432055749129 xdec51 + 0.0139372822299652 xdec50
 - 0.0348432055749129 xdec38 + 0.0139372822299652 xdec37
 - 0.0348432055749129 xdec25 + 0.0139372822299652 xdec24
 - 0.0348432055749129 xdec12 + 0.0139372822299652 xdec11 >= 0
 ydec103: - 0.00464576074329929 s - u103 + ynode39
 - 0.00929152148664344 xdec169 - 0.00929152148664344 xdec156
 - 0.00929152148664344 xdec143 - 0.00929152148664344 xdec130
 - 0.0185830429732869 xdec117 + 0.0185830429732869 xdec91
 + 0.0185830429732869 xdec78 + 0.0185830429732869 xdec65
 + 0.0185830429732869 xdec52 + 0.0185830429732869 xdec39
 + 0.0185830429732869 xdec26 + 0.0185830429732869 xdec13 >= 0
 ydec104: - u104 + ynode39 + 0.0197444831591173 xdec169
 + 0.0197444831591173 xdec156 + 0.0197444831591173 xdec143
 + 0.0197444831591173 xdec130 + 0.0394889663182346 xdec117
 + 0.00667828106852497 xdec104 + 0.0139372822299652 xdec91
 + 0.0139372822299652 xdec78 + 0.0139372822299652 xdec65
 + 0.0139372822299652 xdec52 + 0.0139372822299652 xdec39
 + 0.0139372822299652 xdec26 + 0.0139372822299652 xdec13 >= 0
 ydec105: - u105 - ynode41 + ynode40 >= 0
 ydec106: - u106 + ynode41 - 0.00464576074332172 xdec158
 - 0.00464576074332172 xdec145 - 0.00464576074332172 xdec132
 - 0.00464576074332172 xdec119 + 0.00464576074332172 xdec93
 + 0.00929152148664344 xdec80 + 0.00929152148664344 xdec67
 + 0.00929152148664344 xdec54 + 0.00929152148664344 xdec41
 + 0.00929152148664344 xdec28 + 0.00929152148664344 xdec15
 + 0.00929152148664344 xdec2 >= 0
 ydec107: - u107 + ynode41 + 0.0255516840882695 xdec158
 + 0.0255516840882695 xdec145 + 0.0255516840882695 xdec132
 + 0.0255516840882695 xdec119 + 0.0191637630662021 xdec106 >= 0
 ydec108: - u108 - ynode42 + ynode41 - 0.00464576074332172 xdec160
 - 0.00929152148664344 xdec159 - 0.00464576074332172 xdec147
 - 0.00929152148664344 xdec146 - 0.00464576074332172 xdec134
 - 0.00929152148664344 xdec133 - 0.00464576074332172 xdec121
 - 0.00929152148664344 xdec120 - 0.0261324041811847 xdec108
 - 0.0301974448315912 xdec95 + 0.00929152148664344 xdec94
 - 0.0603948896631823 xdec82 + 0.0185830429732869 xdec81
 - 0.0603948896631823 xdec69 + 0.0185830429732869 xdec68
 - 0.0603948896631823 xdec56 + 0.0185830429732869 xdec55
 - 0.0603948896631823 xdec43 + 0.0185830429732869 xdec42
 - 0.0603948896631823 xdec30 + 0.0185830429732869 xdec29
 - 0.0603948896631823 xdec17 + 0.0185830429732869 xdec16
 - 0.0603948896631823 xdec4 + 0.0185830429732869 xdec3 >= 0
 ydec109: - 0.010130334130128 s - u109 + ynode42
 - 0.0139372822299652 xdec161 - 0.0139372822299652 xdec148
 - 0.0139372822299652 xdec135 - 0.0139372822299652 xdec122
 + 0.0139372822299652 xdec96 + 0.0278745644599303 xdec83
 + 0.0278745644599303 xdec70 + 0.0278745644599303 xdec57
 + 0.0278745644599303 xdec44 + 0.0278745644599303 xdec31
 + 0.0278745644599303 xdec18 + 0.0278745644599303 xdec5 >= 0
 ydec110: - u110 + ynode42 + 0.0348432055749129 xdec161
 + 0.0348432055749129 xdec148 + 0.0348432055749129 xdec135
 + 0.0348432055749129 xdec122 + 0.0331010452961672 xdec109
 + 0.00929152148664344 xdec96 + 0.0185830429732869 xdec83
 + 0.0185830429732869 xdec70 + 0.0185830429732869 xdec57
 + 0.0185830429732869 xdec44 + 0.0185830429732869 xdec31
 + 0.0185830429732869 xdec18 + 0.0185830429732869 xdec5 >= 0
 ydec111: - 0.00977551021668396 s - u111 + ynode42
 - 0.0139372822299652 xdec163 - 0.0185830429732869 xdec162
 - 0.0139372822299652 xdec150 - 0.0185830429732869 xdec149
 - 0.0139372822299652 xdec137 - 0.0185830429732869 xdec136
 - 0.0139372822299652 xdec124 - 0.0185830429732869 xdec123
 - 0.0400696864111498 xdec111 - 0.0394889663182346 xdec98
 + 0.0185830429732869 xdec97 - 0.0789779326364692 xdec85
 + 0.0371660859465738 xdec84 - 0.0789779326364692 xdec72
 + 0.0371660859465738 xdec71 - 0.0789779326364692 xdec59
 + 0.0371660859465738 xdec58 - 0.0789779326364692 xdec46
 + 0.0371660859465738 xdec45 - 0.0789779326364692 xdec33
 + 0.0371660859465738 xdec32 - 0.0789779326364692 xdec20
 + 0.0371660859465738 xdec19 - 0.0789779326364692 xdec7
 + 0.0371660859465738 xdec6 >= 0
 ydec112: - 0.0355040990451808 s - u112 - ynode43 + ynode40
 - 0.00464576074332172 xdec164 - 0.00464576074332172 xdec151
 - 0.00464576074332172 xdec138 - 0.00464576074332172 xdec125
 - 0.0191637630662021 xdec113 - 0.0255516840882695 xdec100
 + 0.00464576074332172 xdec99 - 0.0511033681765389 xdec87
 + 0.00929152148664344 xdec86 - 0.0511033681765389 xdec74
 + 0.00929152148664344 xdec73 - 0.0511033681765389 xdec61
 + 0.00929152148664344 xdec60 - 0.0511033681765389 xdec48
 + 0.00929152148664344 xdec47 - 0.0511033681765389 xdec35
 + 0.00929152148664344 xdec34 - 0.0511033681765389 xdec22
 + 0.00929152148664344 xdec21 - 0.0511033681765389 xdec9
 + 0.00929152148664344 xdec8 >= 0
 ydec113: - 0.00535325688841978 s - u113 + ynode43
 - 0.00929152148664344 xdec166 - 0.00929152148664344 xdec153
 - 0.00929152148664344 xdec140 - 0.00929152148664344 xdec127
 + 0.00929152148664344 xdec101 + 0.0185830429732869 xdec88
 + 0.0185830429732869 xdec75 + 0.0185830429732869 xdec62
 + 0.0185830429732869 xdec49 + 0.0185830429732869 xdec36
 + 0.0185830429732869 xdec23 + 0.0185830429732869 xdec10 >= 0
 ydec114: - u114 + ynode43 + 0.0301974448315912 xdec166
 + 0.0301974448315912 xdec153 + 0.0301974448315912 xdec140
 + 0.0301974448315912 xdec127 + 0.0261324041811847 xdec114
 + 0.00464576074332172 xdec101 + 0.00929152148664344 xdec88
 + 0.00929152148664344 xdec75 + 0.00929152148664344 xdec62
 + 0.00929152148664344 xdec49 + 0.00929152148664344 xdec36
 + 0.00929152148664344 xdec23 + 0.00929152148664344 xdec10 >= 0
 ydec115: - 0.00200011795827713 s - u115 - ynode44 + ynode43
 - 0.00929152148664344 xdec168 - 0.0139372822299652 xdec167
 - 0.00929152148664344 xdec155 - 0.0139372822299652 xdec154
 - 0.00929152148664344 xdec142 - 0.0139372822299652 xdec141
 - 0.00929152148664344 xdec129 - 0.0139372822299652 xdec128
 - 0.0331010452961672 xdec116 - 0.0348432055749129 xdec103
 + 0.0139372822299652 xdec102 - 0.0696864111498258 xdec90
 + 0.0278745644599303 xdec89 - 0.0696864111498258 xdec77
 + 0.0278745644599303 xdec76 - 0.0696864111498258 xdec64
 + 0.0278745644599303 xdec63 - 0.0696864111498258 xdec51
 + 0.0278745644599303 xdec50 - 0.0696864111498258 xdec38
 + 0.0278745644599303 xdec37 - 0.0696864111498258 xdec25
 + 0.0278745644599303 xdec24 - 0.0696864111498258 xdec12
 + 0.0278745644599303 xdec11 >= 0
 ydec116: - 0.00592762044972754 s - u116 + ynode44
 - 0.0185830429732869 xdec169 - 0.0185830429732869 xdec156
 - 0.0185830429732869 xdec143 - 0.0185830429732869 xdec130
 + 0.0185830429732869 xdec104 + 0.0371660859465738 xdec91
 + 0.0371660859465738 xdec78 + 0.0371660859465738 xdec65
 + 0.0371660859465738 xdec52 + 0.0371660859465738 xdec39
 + 0.0371660859465738 xdec26 + 0.0371660859465738 xdec13 >= 0
 ydec117: - u117 + ynode44 + 0.0394889663182346 xdec169
 + 0.0394889663182346 xdec156 + 0.0394889663182346 xdec143
 + 0.0394889663182346 xdec130 + 0.0400696864111498 xdec117
 + 0.0139372822299652 xdec104 + 0.0278745644599303 xdec91
 + 0.0278745644599303 xdec78 + 0.0278745644599303 xdec65
 + 0.0278745644599303 xdec52 + 0.0278745644599303 xdec39
 + 0.0278745644599303 xdec26 + 0.0278745644599303 xdec13 >= 0
 ydec118: - u118 - ynode46 + ynode45 >= 0
 ydec119: - u119 + ynode46 - 0.00232288037166086 xdec158
 - 0.00232288037166086 xdec145 - 0.00232288037166086 xdec132
 + 0.00464576074332172 xdec106 + 0.00232288037166086 xdec93
 + 0.00464576074332172 xdec80 + 0.00464576074332172 xdec67
 + 0.00464576074332172 xdec54 + 0.00464576074332172 xdec41
 + 0.00464576074332172 xdec28 + 0.00464576074332172 xdec15
 + 0.00464576074332172 xdec2 >= 0
 ydec120: - u120 + ynode46 + 0.0127758420441347 xdec158
 + 0.0127758420441347 xdec145 + 0.0127758420441347 xdec132
 + 0.00319396051103368 xdec119 >= 0
 ydec121: - u121 - ynode47 + ynode46 - 0.00232288037166086 xdec160
 - 0.00464576074332172 xdec159 - 0.00232288037166086 xdec147
 - 0.00464576074332172 xdec146 - 0.00232288037166086 xdec134
 - 0.00464576074332172 xdec133 - 0.00435540069686411 xdec121
 - 0.0301974448315912 xdec108 + 0.00929152148664344 xdec107
 - 0.0150987224157956 xdec95 + 0.00464576074332172 xdec94
 - 0.0301974448315912 xdec82 + 0.00929152148664344 xdec81
 - 0.0301974448315912 xdec69 + 0.00929152148664344 xdec68
 - 0.0301974448315912 xdec56 + 0.00929152148664344 xdec55
 - 0.0301974448315912 xdec43 + 0.00929152148664344 xdec42
 - 0.0301974448315912 xdec30 + 0.00929152148664344 xdec29
 - 0.0301974448315912 xdec17 + 0.00929152148664344 xdec16
 - 0.0301974448315912 xdec4 + 0.00929152148664344 xdec3 >= 0
 ydec122: - 0.00506516706506457 s - u122 + ynode47
 - 0.00696864111498258 xdec161 - 0.00696864111498258 xdec148
 - 0.00696864111498258 xdec135 + 0.0139372822299652 xdec109
 + 0.00696864111498258 xdec96 + 0.0139372822299652 xdec83
 + 0.0139372822299652 xdec70 + 0.0139372822299652 xdec57
 + 0.0139372822299652 xdec44 + 0.0139372822299652 xdec31
 + 0.0139372822299652 xdec18 + 0.0139372822299652 xdec5 >= 0
 ydec123: - u123 + ynode47 + 0.0174216027874564 xdec161
 + 0.0174216027874564 xdec148 + 0.0174216027874564 xdec135
 + 0.00551684088269454 xdec122 + 0.00929152148664344 xdec109
 + 0.00464576074332172 xdec96 + 0.00929152148664344 xdec83
 + 0.00929152148664344 xdec70 + 0.00929152148664344 xdec57
 + 0.00929152148664344 xdec44 + 0.00929152148664344 xdec31
 + 0.00929152148664344 xdec18 + 0.00929152148664344 xdec5 >= 0
 ydec124: - 0.00488775510832992 s - u124 + ynode47
 - 0.00696864111498258 xdec163 - 0.00929152148664344 xdec162
 - 0.00696864111498258 xdec150 - 0.00929152148664344 xdec149
 - 0.00696864111498258 xdec137 - 0.00929152148664344 xdec136
 - 0.00667828106852497 xdec124 - 0.0394889663182346 xdec111
 + 0.0185830429732869 xdec110 - 0.0197444831591173 xdec98
 + 0.00929152148664344 xdec97 - 0.0394889663182346 xdec85
 + 0.0185830429732869 xdec84 - 0.0394889663182346 xdec72
 + 0.0185830429732869 xdec71 - 0.0394889663182346 xdec59
 + 0.0185830429732869 xdec58 - 0.0394889663182346 xdec46
 + 0.0185830429732869 xdec45 - 0.0394889663182346 xdec33
 + 0.0185830429732869 xdec32 - 0.0394889663182346 xdec20
 + 0.0185830429732869 xdec19 - 0.0394889663182346 xdec7
 + 0.0185830429732869 xdec6 >= 0
 ydec125: - 0.0155854084855649 s - u125 - ynode48 + ynode45
 - 0.00232288037166086 xdec164 - 0.00232288037166086 xdec151
 - 0.00232288037166086 xdec138 - 0.00319396051103368 xdec126
 - 0.0255516840882695 xdec113 + 0.00464576074332172 xdec112
 - 0.0127758420441347 xdec100 + 0.00232288037166086 xdec99
 - 0.0255516840882695 xdec87 + 0.00464576074332172 xdec86
 - 0.0255516840882695 xdec74 + 0.00464576074332172 xdec73
 - 0.0255516840882695 xdec61 + 0.00464576074332172 xdec60
 - 0.0255516840882695 xdec48 + 0.00464576074332172 xdec47
 - 0.0255516840882695 xdec35 + 0.00464576074332172 xdec34
 - 0.0255516840882695 xdec22 + 0.00464576074332172 xdec21
 - 0.0255516840882695 xdec9 + 0.00464576074332172 xdec8 >= 0
 ydec126: - 0.00914878233895306 s - u126 + ynode48
 - 0.00464576074332172 xdec166 - 0.00464576074332172 xdec153
 - 0.00464576074332172 xdec140 + 0.00929152148664344 xdec114
 + 0.00464576074332172 xdec101 + 0.00929152148664344 xdec88
 + 0.00929152148664344 xdec75 + 0.00929152148664344 xdec62
 + 0.00929152148664344 xdec49 + 0.00929152148664344 xdec36
 + 0.00929152148664344 xdec23 + 0.00929152148664344 xdec10 >= 0
 ydec127: - u127 + ynode48 + 0.0150987224157956 xdec166
 + 0.0150987224157956 xdec153 + 0.0150987224157956 xdec140
 + 0.00435540069686411 xdec127 + 0.00464576074332172 xdec114
 + 0.00232288037166086 xdec101 + 0.00464576074332172 xdec88
 + 0.00464576074332172 xdec75 + 0.00464576074332172 xdec62
 + 0.00464576074332172 xdec49 + 0.00464576074332172 xdec36
 + 0.00464576074332172 xdec23 + 0.00464576074332172 xdec10 >= 0
 ydec128: - 0.00300093650364879 s - u128 - ynode49 + ynode48
 - 0.00464576074332172 xdec168 - 0.00696864111498258 xdec167
 - 0.00464576074332172 xdec155 - 0.00696864111498258 xdec154
 - 0.00464576074332172 xdec142 - 0.00696864111498258 xdec141
 - 0.00551684088269454 xdec129 - 0.0348432055749129 xdec116
 + 0.0139372822299652 xdec115 - 0.0174216027874564 xdec103
 + 0.00696864111498258 xdec102 - 0.0348432055749129 xdec90
 + 0.0139372822299652 xdec89 - 0.0348432055749129 xdec77
 + 0.0139372822299652 xdec76 - 0.0348432055749129 xdec64
 + 0.0139372822299652 xdec63 - 0.0348432055749129 xdec51
 + 0.0139372822299652 xdec50 - 0.0348432055749129 xdec38
 + 0.0139372822299652 xdec37 - 0.0348432055749129 xdec25
 + 0.0139372822299652 xdec24 - 0.0348432055749129 xdec12
 + 0.0139372822299652 xdec11 >= 0
 ydec129: - 0.00464576074331681 s - u129 + ynode49
 - 0.00929152148664344 xdec169 - 0.00929152148664344 xdec156
 - 0.00929152148664344 xdec143 + 0.0185830429732869 xdec117
 + 0.00929152148664344 xdec104 + 0.0185830429732869 xdec91
 + 0.0185830429732869 xdec78 + 0.0185830429732869 xdec65
 + 0.0185830429732869 xdec52 + 0.0185830429732869 xdec39
 + 0.0185830429732869 xdec26 + 0.0185830429732869 xdec13 >= 0
 ydec130: - u130 + ynode49 + 0.0197444831591173 xdec169
 + 0.0197444831591173 xdec156 + 0.0197444831591173 xdec143
 + 0.00667828106852497 xdec130 + 0.0139372822299652 xdec117
 + 0.00696864111498258 xdec104 + 0.0139372822299652 xdec91
 + 0.0139372822299652 xdec78 + 0.0139372822299652 xdec65
 + 0.0139372822299652 xdec52 + 0.0139372822299652 xdec39
 + 0.0139372822299652 xdec26 + 0.0139372822299652 xdec13 >= 0
 ydec131: - u131 - ynode51 + ynode50 >= 0
 ydec132: - u132 + ynode51 - 0.00232288037166086 xdec158
 - 0.00232288037166086 xdec145 + 0.00232288037166086 xdec119
 + 0.00464576074332172 xdec106 + 0.00232288037166086 xdec93
 + 0.00464576074332172 xdec80 + 0.00464576074332172 xdec67
 + 0.00464576074332172 xdec54 + 0.00464576074332172 xdec41
 + 0.00464576074332172 xdec28 + 0.00464576074332172 xdec15
 + 0.00464576074332172 xdec2 >= 0
 ydec133: - u133 + ynode51 + 0.0127758420441347 xdec158
 + 0.0127758420441347 xdec145 + 0.00319396051103368 xdec132 >= 0
 ydec134: - u134 - ynode52 + ynode51 - 0.00232288037166086 xdec160
 - 0.00464576074332172 xdec159 - 0.00232288037166086 xdec147
 - 0.00464576074332172 xdec146 - 0.00435540069686411 xdec134
 - 0.0150987224157956 xdec121 + 0.00464576074332172 xdec120
 - 0.0301974448315912 xdec108 + 0.00929152148664344 xdec107
 - 0.0150987224157956 xdec95 + 0.00464576074332172 xdec94
 - 0.0301974448315912 xdec82 + 0.00929152148664344 xdec81
 - 0.0301974448315912 xdec69 + 0.00929152148664344 xdec68
 - 0.0301974448315912 xdec56 + 0.00929152148664344 xdec55
 - 0.0301974448315912 xdec43 + 0.00929152148664344 xdec42
 - 0.0301974448315912 xdec30 + 0.00929152148664344 xdec29
 - 0.0301974448315912 xdec17 + 0.00929152148664344 xdec16
 - 0.0301974448315912 xdec4 + 0.00929152148664344 xdec3 >= 0
 ydec135: - 0.00506516706506457 s - u135 + ynode52
 - 0.00696864111498258 xdec161 - 0.00696864111498258 xdec148
 + 0.00696864111498258 xdec122 + 0.0139372822299652 xdec109
 + 0.00696864111498258 xdec96 + 0.0139372822299652 xdec83
 + 0.0139372822299652 xdec70 + 0.0139372822299652 xdec57
 + 0.0139372822299652 xdec44 + 0.0139372822299652 xdec31
 + 0.0139372822299652 xdec18 + 0.0139372822299652 xdec5 >= 0
 ydec136: - u136 + ynode52 + 0.0174216027874564 xdec161
 + 0.0174216027874564 xdec148 + 0.00551684088269454 xdec135
 + 0.00464576074332172 xdec122 + 0.00929152148664344 xdec109
 + 0.00464576074332172 xdec96 + 0.00929152148664344 xdec83
 + 0.00929152148664344 xdec70 + 0.00929152148664344 xdec57
 + 0.00929152148664344 xdec44 + 0.00929152148664344 xdec31
 + 0.00929152148664344 xdec18 + 0.00929152148664344 xdec5 >= 0
 ydec137: - 0.00488775510832992 s - u137 + ynode52
 - 0.00696864111498258 xdec163 - 0.00929152148664344 xdec162
 - 0.00696864111498258 xdec150 - 0.00929152148664344 xdec149
 - 0.00667828106852497 xdec137 - 0.0197444831591173 xdec124
 + 0.00929152148664344 xdec123 - 0.0394889663182346 xdec111
 + 0.0185830429732869 xdec110 - 0.0197444831591173 xdec98
 + 0.00929152148664344 xdec97 - 0.0394889663182346 xdec85
 + 0.0185830429732869 xdec84 - 0.0394889663182346 xdec72
 + 0.0185830429732869 xdec71 - 0.0394889663182346 xdec59
 + 0.0185830429732869 xdec58 - 0.0394889663182346 xdec46
 + 0.0185830429732869 xdec45 - 0.0394889663182346 xdec33
 + 0.0185830429732869 xdec32 - 0.0394889663182346 xdec20
 + 0.0185830429732869 xdec19 - 0.0394889663182346 xdec7
 + 0.0185830429732869 xdec6 >= 0
 ydec138: - 0.00510440023833288 s - u138 - ynode53 + ynode50
 - 0.00232288037166086 xdec164 - 0.00232288037166086 xdec151
 - 0.00319396051103368 xdec139 - 0.0127758420441347 xdec126
 + 0.00232288037166086 xdec125 - 0.0255516840882695 xdec113
 + 0.00464576074332172 xdec112 - 0.0127758420441347 xdec100
 + 0.00232288037166086 xdec99 - 0.0255516840882695 xdec87
 + 0.00464576074332172 xdec86 - 0.0255516840882695 xdec74
 + 0.00464576074332172 xdec73 - 0.0255516840882695 xdec61
 + 0.00464576074332172 xdec60 - 0.0255516840882695 xdec48
 + 0.00464576074332172 xdec47 - 0.0255516840882695 xdec35
 + 0.00464576074332172 xdec34 - 0.0255516840882695 xdec22
 + 0.00464576074332172 xdec21 - 0.0255516840882695 xdec9
 + 0.00464576074332172 xdec8 >= 0
 ydec139: - 0.0111788276208293 s - u139 + ynode53
 - 0.00464576074332172 xdec166 - 0.00464576074332172 xdec153
 + 0.00464576074332172 xdec127 + 0.00929152148664344 xdec114
 + 0.00464576074332172 xdec101 + 0.00929152148664344 xdec88
 + 0.00929152148664344 xdec75 + 0.00929152148664344 xdec62
 + 0.00929152148664344 xdec49 + 0.00929152148664344 xdec36
 + 0.00929152148664344 xdec23 + 0.00929152148664344 xdec10 >= 0
 ydec140: - u140 + ynode53 + 0.0150987224157956 xdec166
 + 0.0150987224157956 xdec153 + 0.00435540069686411 xdec140
 + 0.00232288037166086 xdec127 + 0.00464576074332172 xdec114
 + 0.00232288037166086 xdec101 + 0.00464576074332172 xdec88
 + 0.00464576074332172 xdec75 + 0.00464576074332172 xdec62
 + 0.00464576074332172 xdec49 + 0.00464576074332172 xdec36
 + 0.00464576074332172 xdec23 + 0.00464576074332172 xdec10 >= 0
 ydec141: - u141 - ynode54 + ynode53 - 0.00464576074332172 xdec168
 - 0.00696864111498258 xdec167 - 0.00464576074332172 xdec155
 - 0.00696864111498258 xdec154 - 0.00551684088269454 xdec142
 - 0.0174216027874564 xdec129 + 0.00696864111498258 xdec128
 - 0.0348432055749129 xdec116 + 0.0139372822299652 xdec115
 - 0.0174216027874564 xdec103 + 0.00696864111498258 xdec102
 - 0.0348432055749129 xdec90 + 0.0139372822299652 xdec89
 - 0.0348432055749129 xdec77 + 0.0139372822299652 xdec76
 - 0.0348432055749129 xdec64 + 0.0139372822299652 xdec63
 - 0.0348432055749129 xdec51 + 0.0139372822299652 xdec50
 - 0.0348432055749129 xdec38 + 0.0139372822299652 xdec37
 - 0.0348432055749129 xdec25 + 0.0139372822299652 xdec24
 - 0.0348432055749129 xdec12 + 0.0139372822299652 xdec11 >= 0
 ydec142: - 0.00464576074332221 s - u142 + ynode54
 - 0.00929152148664344 xdec169 - 0.00929152148664344 xdec156
 + 0.00929152148664344 xdec130 + 0.0185830429732869 xdec117
 + 0.00929152148664344 xdec104 + 0.0185830429732869 xdec91
 + 0.0185830429732869 xdec78 + 0.0185830429732869 xdec65
 + 0.0185830429732869 xdec52 + 0.0185830429732869 xdec39
 + 0.0185830429732869 xdec26 + 0.0185830429732869 xdec13 >= 0
 ydec143: - u143 + ynode54 + 0.0197444831591173 xdec169
 + 0.0197444831591173 xdec156 + 0.00667828106852497 xdec143
 + 0.00696864111498258 xdec130 + 0.0139372822299652 xdec117
 + 0.00696864111498258 xdec104 + 0.0139372822299652 xdec91
 + 0.0139372822299652 xdec78 + 0.0139372822299652 xdec65
 + 0.0139372822299652 xdec52 + 0.0139372822299652 xdec39
 + 0.0139372822299652 xdec26 + 0.0139372822299652 xdec13 >= 0
 ydec144: - u144 - ynode56 + ynode55 >= 0
 ydec145: - 0.00953118527387192 s - u145 + ynode56
 - 0.00232288037166086 xdec158 + 0.00232288037166086 xdec132
 + 0.00232288037166086 xdec119 + 0.00464576074332172 xdec106
 + 0.00232288037166086 xdec93 + 0.00464576074332172 xdec80
 + 0.00464576074332172 xdec67 + 0.00464576074332172 xdec54
 + 0.00464576074332172 xdec41 + 0.00464576074332172 xdec28
 + 0.00464576074332172 xdec15 + 0.00464576074332172 xdec2 >= 0
 ydec146: - u146 + ynode56 + 0.0127758420441347 xdec158
 + 0.00319396051103368 xdec145 >= 0
 ydec147: - 0.00604416627124093 s - u147 - ynode57 + ynode56
 - 0.00232288037166086 xdec160 - 0.00464576074332172 xdec159
 - 0.00435540069686411 xdec147 - 0.0150987224157956 xdec134
 + 0.00464576074332172 xdec133 - 0.0150987224157956 xdec121
 + 0.00464576074332172 xdec120 - 0.0301974448315912 xdec108
 + 0.00929152148664344 xdec107 - 0.0150987224157956 xdec95
 + 0.00464576074332172 xdec94 - 0.0301974448315912 xdec82
 + 0.00929152148664344 xdec81 - 0.0301974448315912 xdec69
 + 0.00929152148664344 xdec68 - 0.0301974448315912 xdec56
 + 0.00929152148664344 xdec55 - 0.0301974448315912 xdec43
 + 0.00929152148664344 xdec42 - 0.0301974448315912 xdec30
 + 0.00929152148664344 xdec29 - 0.0301974448315912 xdec17
 + 0.00929152148664344 xdec16 - 0.0301974448315912 xdec4
 + 0.00929152148664344 xdec3 >= 0
 ydec148: - 0.00506516706506722 s - u148 + ynode57
 - 0.00696864111498258 xdec161 + 0.00696864111498258 xdec135
 + 0.00696864111498258 xdec122 + 0.0139372822299652 xdec109
 + 0.00696864111498258 xdec96 + 0.0139372822299652 xdec83
 + 0.0139372822299652 xdec70 + 0.0139372822299652 xdec57
 + 0.0139372822299652 xdec44 + 0.0139372822299652 xdec31
 + 0.0139372822299652 xdec18 + 0.0139372822299652 xdec5 >= 0
 ydec149: - u149 + ynode57 + 0.0174216027874564 xdec161
 + 0.00551684088269454 xdec148 + 0.00464576074332172 xdec135
 + 0.00464576074332172 xdec122 + 0.00929152148664344 xdec109
 + 0.00464576074332172 xdec96 + 0.00929152148664344 xdec83
 + 0.00929152148664344 xdec70 + 0.00929152148664344 xdec57
 + 0.00929152148664344 xdec44 + 0.00929152148664344 xdec31
 + 0.00929152148664344 xdec18 + 0.00929152148664344 xdec5 >= 0
 ydec150: - 0.00488775510832732 s - u150 + ynode57
 - 0.00696864111498258 xdec163 - 0.00929152148664344 xdec162
 - 0.00667828106852497 xdec150 - 0.0197444831591173 xdec137
 + 0.00929152148664344 xdec136 - 0.0197444831591173 xdec124
 + 0.00929152148664344 xdec123 - 0.0394889663182346 xdec111
 + 0.0185830429732869 xdec110 - 0.0197444831591173 xdec98
 + 0.00929152148664344 xdec97 - 0.0394889663182346 xdec85
 + 0.0185830429732869 xdec84 - 0.0394889663182346 xdec72
 + 0.0185830429732869 xdec71 - 0.0394889663182346 xdec59
 + 0.0185830429732869 xdec58 - 0.0394889663182346 xdec46
 + 0.0185830429732869 xdec45 - 0.0394889663182346 xdec33
 + 0.0185830429732869 xdec32 - 0.0394889663182346 xdec20
 + 0.0185830429732869 xdec19 - 0.0394889663182346 xdec7
 + 0.0185830429732869 xdec6 >= 0
 ydec151: - u151 - ynode58 + ynode55 - 0.00232288037166086 xdec164
 - 0.00319396051103368 xdec152 - 0.0127758420441347 xdec139
 + 0.00232288037166086 xdec138 - 0.0127758420441347 xdec126
 + 0.00232288037166086 xdec125 - 0.0255516840882695 xdec113
 + 0.00464576074332172 xdec112 - 0.0127758420441347 xdec100
 + 0.00232288037166086 xdec99 - 0.0255516840882695 xdec87
 + 0.00464576074332172 xdec86 - 0.0255516840882695 xdec74
 + 0.00464576074332172 xdec73 - 0.0255516840882695 xdec61
 + 0.00464576074332172 xdec60 - 0.0255516840882695 xdec48
 + 0.00464576074332172 xdec47 - 0.0255516840882695 xdec35
 + 0.00464576074332172 xdec34 - 0.0255516840882695 xdec22
 + 0.00464576074332172 xdec21 - 0.0255516840882695 xdec9
 + 0.00464576074332172 xdec8 >= 0
 ydec152: - 0.011178827620829 s - u152 + ynode58
 - 0.00464576074332172 xdec166 + 0.00464576074332172 xdec140
 + 0.00464576074332172 xdec127 + 0.00929152148664344 xdec114
 + 0.00464576074332172 xdec101 + 0.00929152148664344 xdec88
 + 0.00929152148664344 xdec75 + 0.00929152148664344 xdec62
 + 0.00929152148664344 xdec49 + 0.00929152148664344 xdec36
 + 0.00929152148664344 xdec23 + 0.00929152148664344 xdec10 >= 0
 ydec153: - u153 + ynode58 + 0.0150987224157956 xdec166
 + 0.00435540069686411 xdec153 + 0.00232288037166086 xdec140
 + 0.00232288037166086 xdec127 + 0.00464576074332172 xdec114
 + 0.00232288037166086 xdec101 + 0.00464576074332172 xdec88
 + 0.00464576074332172 xdec75 + 0.00464576074332172 xdec62
 + 0.00464576074332172 xdec49 + 0.00464576074332172 xdec36
 + 0.00464576074332172 xdec23 + 0.00464576074332172 xdec10 >= 0
 ydec154: - u154 - ynode59 + ynode58 - 0.00464576074332172 xdec168
 - 0.00696864111498258 xdec167 - 0.00551684088269454 xdec155
 - 0.0174216027874564 xdec142 + 0.00696864111498258 xdec141
 - 0.0174216027874564 xdec129 + 0.00696864111498258 xdec128
 - 0.0348432055749129 xdec116 + 0.0139372822299652 xdec115
 - 0.0174216027874564 xdec103 + 0.00696864111498258 xdec102
 - 0.0348432055749129 xdec90 + 0.0139372822299652 xdec89
 - 0.0348432055749129 xdec77 + 0.0139372822299652 xdec76
 - 0.0348432055749129 xdec64 + 0.0139372822299652 xdec63
 - 0.0348432055749129 xdec51 + 0.0139372822299652 xdec50
 - 0.0348432055749129 xdec38 + 0.0139372822299652 xdec37
 - 0.0348432055749129 xdec25 + 0.0139372822299652 xdec24
 - 0.0348432055749129 xdec12 + 0.0139372822299652 xdec11 >= 0
 ydec155: - 0.00464576074332233 s - u155 + ynode59
 - 0.00929152148664344 xdec169 + 0.00929152148664344 xdec143
 + 0.00929152148664344 xdec130 + 0.0185830429732869 xdec117
 + 0.00929152148664344 xdec104 + 0.0185830429732869 xdec91
 + 0.0185830429732869 xdec78 + 0.0185830429732869 xdec65
 + 0.0185830429732869 xdec52 + 0.0185830429732869 xdec39
 + 0.0185830429732869 xdec26 + 0.0185830429732869 xdec13 >= 0
 ydec156: - u156 + ynode59 + 0.0197444831591173 xdec169
 + 0.00667828106852497 xdec156 + 0.00696864111498258 xdec143
 + 0.00696864111498258 xdec130 + 0.0139372822299652 xdec117
 + 0.00696864111498258 xdec104 + 0.0139372822299652 xdec91
 + 0.0139372822299652 xdec78 + 0.0139372822299652 xdec65
 + 0.0139372822299652 xdec52 + 0.0139372822299652 xdec39
 + 0.0139372822299652 xdec26 + 0.0139372822299652 xdec13 >= 0
 ydec157: - 0.000636813242433276 s - u157 - ynode61 + ynode60 >= 0
 ydec158: - 0.02585283791531 s - u158 + ynode61
 + 0.00232288037166086 xdec145 + 0.00232288037166086 xdec132
 + 0.00232288037166086 xdec119 + 0.00464576074332172 xdec106
 + 0.00232288037166086 xdec93 + 0.00464576074332172 xdec80
 + 0.00464576074332172 xdec67 + 0.00464576074332172 xdec54
 + 0.00464576074332172 xdec41 + 0.00464576074332172 xdec28
 + 0.00464576074332172 xdec15 + 0.00464576074332172 xdec2 >= 0
 ydec159: - u159 + ynode61 + 0.00319396051103368 xdec158 >= 0
 ydec160: - 0.00754936120788993 s - u160 - ynode62 + ynode61
 - 0.00435540069686411 xdec160 - 0.0150987224157956 xdec147
 + 0.00464576074332172 xdec146 - 0.0150987224157956 xdec134
 + 0.00464576074332172 xdec133 - 0.0150987224157956 xdec121
 + 0.00464576074332172 xdec120 - 0.0301974448315912 xdec108
 + 0.00929152148664344 xdec107 - 0.0150987224157956 xdec95
 + 0.00464576074332172 xdec94 - 0.0301974448315912 xdec82
 + 0.00929152148664344 xdec81 - 0.0301974448315912 xdec69
 + 0.00929152148664344 xdec68 - 0.0301974448315912 xdec56
 + 0.00929152148664344 xdec55 - 0.0301974448315912 xdec43
 + 0.00929152148664344 xdec42 - 0.0301974448315912 xdec30
 + 0.00929152148664344 xdec29 - 0.0301974448315912 xdec17
 + 0.00929152148664344 xdec16 - 0.0301974448315912 xdec4
 + 0.00929152148664344 xdec3 >= 0
 ydec161: - 0.00506516706506452 s - u161 + ynode62
 + 0.00696864111498258 xdec148 + 0.00696864111498258 xdec135
 + 0.00696864111498258 xdec122 + 0.0139372822299652 xdec109
 + 0.00696864111498258 xdec96 + 0.0139372822299652 xdec83
 + 0.0139372822299652 xdec70 + 0.0139372822299652 xdec57
 + 0.0139372822299652 xdec44 + 0.0139372822299652 xdec31
 + 0.0139372822299652 xdec18 + 0.0139372822299652 xdec5 >= 0
 ydec162: - u162 + ynode62 + 0.00551684088269454 xdec161
 + 0.00464576074332172 xdec148 + 0.00464576074332172 xdec135
 + 0.00464576074332172 xdec122 + 0.00929152148664344 xdec109
 + 0.00464576074332172 xdec96 + 0.00929152148664344 xdec83
 + 0.00929152148664344 xdec70 + 0.00929152148664344 xdec57
 + 0.00929152148664344 xdec44 + 0.00929152148664344 xdec31
 + 0.00929152148664344 xdec18 + 0.00929152148664344 xdec5 >= 0
 ydec163: - 0.00488775510833319 s - u163 + ynode62
 - 0.00667828106852497 xdec163 - 0.0197444831591173 xdec150
 + 0.00929152148664344 xdec149 - 0.0197444831591173 xdec137
 + 0.00929152148664344 xdec136 - 0.0197444831591173 xdec124
 + 0.00929152148664344 xdec123 - 0.0394889663182346 xdec111
 + 0.0185830429732869 xdec110 - 0.0197444831591173 xdec98
 + 0.00929152148664344 xdec97 - 0.0394889663182346 xdec85
 + 0.0185830429732869 xdec84 - 0.0394889663182346 xdec72
 + 0.0185830429732869 xdec71 - 0.0394889663182346 xdec59
 + 0.0185830429732869 xdec58 - 0.0394889663182346 xdec46
 + 0.0185830429732869 xdec45 - 0.0394889663182346 xdec33
 + 0.0185830429732869 xdec32 - 0.0394889663182346 xdec20
 + 0.0185830429732869 xdec19 - 0.0394889663182346 xdec7
 + 0.0185830429732869 xdec6 >= 0
 ydec164: - u164 - ynode63 + ynode60 - 0.00319396051103368 xdec165
 - 0.0127758420441347 xdec152 + 0.00232288037166086 xdec151
 - 0.0127758420441347 xdec139 + 0.00232288037166086 xdec138
 - 0.0127758420441347 xdec126 + 0.00232288037166086 xdec125
 - 0.0255516840882695 xdec113 + 0.00464576074332172 xdec112
 - 0.0127758420441347 xdec100 + 0.00232288037166086 xdec99
 - 0.0255516840882695 xdec87 + 0.00464576074332172 xdec86
 - 0.0255516840882695 xdec74 + 0.00464576074332172 xdec73
 - 0.0255516840882695 xdec61 + 0.00464576074332172 xdec60
 - 0.0255516840882695 xdec48 + 0.00464576074332172 xdec47
 - 0.0255516840882695 xdec35 + 0.00464576074332172 xdec34
 - 0.0255516840882695 xdec22 + 0.00464576074332172 xdec21
 - 0.0255516840882695 xdec9 + 0.00464576074332172 xdec8 >= 0
 ydec165: - 0.011178827620829 s - u165 + ynode63
 + 0.00464576074332172 xdec153 + 0.00464576074332172 xdec140
 + 0.00464576074332172 xdec127 + 0.00929152148664344 xdec114
 + 0.00464576074332172 xdec101 + 0.00929152148664344 xdec88
 + 0.00929152148664344 xdec75 + 0.00929152148664344 xdec62
 + 0.00929152148664344 xdec49 + 0.00929152148664344 xdec36
 + 0.00929152148664344 xdec23 + 0.00929152148664344 xdec10 >= 0
 ydec166: - u166 + ynode63 + 0.00435540069686411 xdec166
 + 0.00232288037166086 xdec153 + 0.00232288037166086 xdec140
 + 0.00232288037166086 xdec127 + 0.00464576074332172 xdec114
 + 0.00232288037166086 xdec101 + 0.00464576074332172 xdec88
 + 0.00464576074332172 xdec75 + 0.00464576074332172 xdec62
 + 0.00464576074332172 xdec49 + 0.00464576074332172 xdec36
 + 0.00464576074332172 xdec23 + 0.00464576074332172 xdec10 >= 0
 ydec167: - u167 - ynode64 + ynode63 - 0.00551684088269454 xdec168
 - 0.0174216027874564 xdec155 + 0.00696864111498258 xdec154
 - 0.0174216027874564 xdec142 + 0.00696864111498258 xdec141
 - 0.0174216027874564 xdec129 + 0.00696864111498258 xdec128
 - 0.0348432055749129 xdec116 + 0.0139372822299652 xdec115
 - 0.0174216027874564 xdec103 + 0.00696864111498258 xdec102
 - 0.0348432055749129 xdec90 + 0.0139372822299652 xdec89
 - 0.0348432055749129 xdec77 + 0.0139372822299652 xdec76
 - 0.0348432055749129 xdec64 + 0.0139372822299652 xdec63
 - 0.0348432055749129 xdec51 + 0.0139372822299652 xdec50
 - 0.0348432055749129 xdec38 + 0.0139372822299652 xdec37
 - 0.0348432055749129 xdec25 + 0.0139372822299652 xdec24
 - 0.0348432055749129 xdec12 + 0.0139372822299652 xdec11 >= 0
 ydec168: - 0.00464576074332233 s - u168 + ynode64
 + 0.00929152148664344 xdec156 + 0.00929152148664344 xdec143
 + 0.00929152148664344 xdec130 + 0.0185830429732869 xdec117
 + 0.00929152148664344 xdec104 + 0.0185830429732869 xdec91
 + 0.0185830429732869 xdec78 + 0.0185830429732869 xdec65
 + 0.0185830429732869 xdec52 + 0.0185830429732869 xdec39
 + 0.0185830429732869 xdec26 + 0.0185830429732869 xdec13 >= 0
 ydec169: - u169 + ynode64 + 0.00667828106852497 xdec169
 + 0.00696864111498258 xdec156 + 0.00696864111498258 xdec143
 + 0.00696864111498258 xdec130 + 0.0139372822299652 xdec117
 + 0.00696864111498258 xdec104 + 0.0139372822299652 xdec91
 + 0.0139372822299652 xdec78 + 0.0139372822299652 xdec65
 + 0.0139372822299652 xdec52 + 0.0139372822299652 xdec39
 + 0.0139372822299652 xdec26 + 0.0139372822299652 xdec13 >= 0
 xnode0: + xdec2 + xdec1 - xdec0 = 0
 xnode1: + xdec5 + xdec4 + xdec3 - xdec2 = 0
 xnode2: + xdec7 + xdec6 - xdec5 = 0
 xnode3: + xdec10 + xdec9 + xdec8 - xdec0 = 0
 xnode4: + xdec13 + xdec12 + xdec11 - xdec10 = 0
 xnode5: + xdec15 + xdec14 - xdec0 = 0
 xnode6: + xdec18 + xdec17 + xdec16 - xdec15 = 0
 xnode7: + xdec20 + xdec19 - xdec18 = 0
 xnode8: + xdec23 + xdec22 + xdec21 - xdec0 = 0
 xnode9: + xdec26 + xdec25 + xdec24 - xdec23 = 0
 xnode10: + xdec28 + xdec27 - xdec0 = 0
 xnode11: + xdec31 + xdec30 + xdec29 - xdec28 = 0
 xnode12: + xdec33 + xdec32 - xdec31 = 0
 xnode13: + xdec36 + xdec35 + xdec34 - xdec0 = 0
 xnode14: + xdec39 + xdec38 + xdec37 - xdec36 = 0
 xnode15: + xdec41 + xdec40 - xdec0 = 0
 xnode16: + xdec44 + xdec43 + xdec42 - xdec41 = 0
 xnode17: + xdec46 + xdec45 - xdec44 = 0
 xnode18: + xdec49 + xdec48 + xdec47 - xdec0 = 0
 xnode19: + xdec52 + xdec51 + xdec50 - xdec49 = 0
 xnode20: + xdec54 + xdec53 - xdec0 = 0
 xnode21: + xdec57 + xdec56 + xdec55 - xdec54 = 0
 xnode22: + xdec59 + xdec58 - xdec57 = 0
 xnode23: + xdec62 + xdec61 + xdec60 - xdec0 = 0
 xnode24: + xdec65 + xdec64 + xdec63 - xdec62 = 0
 xnode25: + xdec67 + xdec66 - xdec0 = 0
 xnode26: + xdec70 + xdec69 + xdec68 - xdec67 = 0
 xnode27: + xdec72 + xdec71 - xdec70 = 0
 xnode28: + xdec75 + xdec74 + xdec73 - xdec0 = 0
 xnode29: + xdec78 + xdec77 + xdec76 - xdec75 = 0
 xnode30: + xdec80 + xdec79 - xdec0 = 0
 xnode31: + xdec83 + xdec82 + xdec81 - xdec80 = 0
 xnode32: + xdec85 + xdec84 - xdec83 = 0
 xnode33: + xdec88 + xdec87 + xdec86 - xdec0 = 0
 xnode34: + xdec91 + xdec90 + xdec89 - xdec88 = 0
 xnode35: + xdec93 + xdec92 - xdec0 = 0
 xnode36: + xdec96 + xdec95 + xdec94 - xdec93 = 0
 xnode37: + xdec98 + xdec97 - xdec96 = 0
 xnode38: + xdec101 + xdec100 + xdec99 - xdec0 = 0
 xnode39: + xdec104 + xdec103 + xdec102 - xdec101 = 0
 xnode40: + xdec106 + xdec105 - xdec0 = 0
 xnode41: + xdec109 + xdec108 + xdec107 - xdec106 = 0
 xnode42: + xdec111 + xdec110 - xdec109 = 0
 xnode43: + xdec114 + xdec113 + xdec112 - xdec0 = 0
 xnode44: + xdec117 + xdec116 + xdec115 - xdec114 = 0
 xnode45: + xdec119 + xdec118 - xdec0 = 0
 xnode46: + xdec122 + xdec121 + xdec120 - xdec119 = 0
 xnode47: + xdec124 + xdec123 - xdec122 = 0
 xnode48: + xdec127 + xdec126 + xdec125 - xdec0 = 0
 xnode49: + xdec130 + xdec129 + xdec128 - xdec127 = 0
 xnode50: + xdec132 + xdec131 - xdec0 = 0
 xnode51: + xdec135 + xdec134 + xdec133 - xdec132 = 0
 xnode52: + xdec137 + xdec136 - xdec135 = 0
 xnode53: + xdec140 + xdec139 + xdec138 - xdec0 = 0
 xnode54: + xdec143 + xdec142 + xdec141 - xdec140 = 0
 xnode55: + xdec145 + xdec144 - xdec0 = 0
 xnode56: + xdec148 + xdec147 + xdec146 - xdec145 = 0
 xnode57: + xdec150 + xdec149 - xdec148 = 0
 xnode58: + xdec153 + xdec152 + xdec151 - xdec0 = 0
 xnode59: + xdec156 + xdec155 + xdec154 - xdec153 = 0
 xnode60: + xdec158 + xdec157 - xdec0 = 0
 xnode61: + xdec161 + xdec160 + xdec159 - xdec158 = 0
 xnode62: + xdec163 + xdec162 - xdec161 = 0
 xnode63: + xdec166 + xdec165 + xdec164 - xdec0 = 0
 xnode64: + xdec169 + xdec168 + xdec167 - xdec166 = 0
 xtop: - s + xdec0 = 0
 old_obj_val: + 0.082525270275154 s + ytop = 0

Bounds
 ynode0 free
 ynode1 free
 ynode2 free
 ynode3 free
 ynode4 free
 ynode5 free
 ynode6 free
 ynode7 free
 ynode8 free
 ynode9 free
 ynode10 free
 ynode11 free
 ynode12 free
 ynode13 free
 ynode14 free
 ynode15 free
 ynode16 free
 ynode17 free
 ynode18 free
 ynode19 free
 ynode20 free
 ynode21 free
 ynode22 free
 ynode23 free
 ynode24 free
 ynode25 free
 ynode26 free
 ynode27 free
 ynode28 free
 ynode29 free
 ynode30 free
 ynode31 free
 ynode32 free
 ynode33 free
 ynode34 free
 ynode35 free
 ynode36 free
 ynode37 free
 ynode38 free
 ynode39 free
 ynode40 free
 ynode41 free
 ynode42 free
 ynode43 free
 ynode44 free
 ynode45 free
 ynode46 free
 ynode47 free
 ynode48 free
 ynode49 free
 ynode50 free
 ynode51 free
 ynode52 free
 ynode53 free
 ynode54 free
 ynode55 free
 ynode56 free
 ynode57 free
 ynode58 free
 ynode59 free
 ynode60 free
 ynode61 free
 ynode62 free
 ynode63 free
 ynode64 free
 ytop free
 0 <= u0 <= 1
 0 <= u1 <= 1
 0 <= u2 <= 1
 0 <= u3 <= 1
 0 <= u4 <= 1
 0 <= u5 <= 1
 0 <= u6 <= 1
 0 <= u7 <= 1
 0 <= u8 <= 1
 0 <= u9 <= 1
 0 <= u10 <= 1
 0 <= u11 <= 1
 0 <= u12 <= 1
 0 <= u13 <= 1
 0 <= u14 <= 1
 0 <= u15 <= 1
 0 <= u16 <= 1
 0 <= u17 <= 1
 0 <= u18 <= 1
 0 <= u19 <= 1
 0 <= u20 <= 1
 0 <= u21 <= 1
 0 <= u22 <= 1
 0 <= u23 <= 1
 0 <= u24 <= 1
 0 <= u25 <= 1
 0 <= u26 <= 1
 0 <= u27 <= 1
 0 <= u28 <= 1
 0 <= u29 <= 1
 0 <= u30 <= 1
 0 <= u31 <= 1
 0 <= u32 <= 1
 0 <= u33 <= 1
 0 <= u34 <= 1
 0 <= u35 <= 1
 0 <= u36 <= 1
 0 <= u37 <= 1
 0 <= u38 <= 1
 0 <= u39 <= 1
 0 <= u40 <= 1
 0 <= u41 <= 1
 0 <= u42 <= 1
 0 <= u43 <= 1
 0 <= u44 <= 1
 0 <= u45 <= 1
 0 <= u46 <= 1
 0 <= u47 <= 1
 0 <= u48 <= 1
 0 <= u49 <= 1
 0 <= u50 <= 1
 0 <= u51 <= 1
 0 <= u52 <= 1
 0 <= u53 <= 1
 0 <= u54 <= 1
 0 <= u55 <= 1
 0 <= u56 <= 1
 0 <= u57 <= 1
 0 <= u58 <= 1
 0 <= u59 <= 1
 0 <= u60 <= 1
 0 <= u61 <= 1
 0 <= u62 <= 1
 0 <= u63 <= 1
 0 <= u64 <= 1
 0 <= u65 <= 1
 0 <= u66 <= 1
 0 <= u67 <= 1
 0 <= u68 <= 1
 0 <= u69 <= 1
 0 <= u70 <= 1
 0 <= u71 <= 1
 0 <= u72 <= 1
 0 <= u73 <= 1
 0 <= u74 <= 1
 0 <= u75 <= 1
 0 <= u76 <= 1
 0 <= u77 <= 1
 0 <= u78 <= 1
 0 <= u79 <= 1
 0 <= u80 <= 1
 0 <= u81 <= 1
 0 <= u82 <= 1
 0 <= u83 <= 1
 0 <= u84 <= 1
 0 <= u85 <= 1
 0 <= u86 <= 1
 0 <= u87 <= 1
 0 <= u88 <= 1
 0 <= u89 <= 1
 0 <= u90 <= 1
 0 <= u91 <= 1
 0 <= u92 <= 1
 0 <= u93 <= 1
 0 <= u94 <= 1
 0 <= u95 <= 1
 0 <= u96 <= 1
 0 <= u97 <= 1
 0 <= u98 <= 1
 0 <= u99 <= 1
 0 <= u100 <= 1
 0 <= u101 <= 1
 0 <= u102 <= 1
 0 <= u103 <= 1
 0 <= u104 <= 1
 0 <= u105 <= 1
 0 <= u106 <= 1
 0 <= u107 <= 1
 0 <= u108 <= 1
 0 <= u109 <= 1
 0 <= u110 <= 1
 0 <= u111 <= 1
 0 <= u112 <= 1
 0 <= u113 <= 1
 0 <= u114 <= 1
 0 <= u115 <= 1
 0 <= u116 <= 1
 0 <= u117 <= 1
 0 <= u118 <= 1
 0 <= u119 <= 1
 0 <= u120 <= 1
 0 <= u121 <= 1
 0 <= u122 <= 1
 0 <= u123 <= 1
 0 <= u124 <= 1
 0 <= u125 <= 1
 0 <= u126 <= 1
 0 <= u127 <= 1
 0 <= u128 <= 1
 0 <= u129 <= 1
 0 <= u130 <= 1
 0 <= u131 <= 1
 0 <= u132 <= 1
 0 <= u133 <= 1
 0 <= u134 <= 1
 0 <= u135 <= 1
 0 <= u136 <= 1
 0 <= u137 <= 1
 0 <= u138 <= 1
 0 <= u139 <= 1
 0 <= u140 <= 1
 0 <= u141 <= 1
 0 <= u142 <= 1
 0 <= u143 <= 1
 0 <= u144 <= 1
 0 <= u145 <= 1
 0 <= u146 <= 1
 0 <= u147 <= 1
 0 <= u148 <= 1
 0 <= u149 <= 1
 0 <= u150 <= 1
 0 <= u151 <= 1
 0 <= u152 <= 1
 0 <= u153 <= 1
 0 <= u154 <= 1
 0 <= u155 <= 1
 0 <= u156 <= 1
 0 <= u157 <= 1
 0 <= u158 <= 1
 0 <= u159 <= 1
 0 <= u160 <= 1
 0 <= u161 <= 1
 0 <= u162 <= 1
 0 <= u163 <= 1
 0 <= u164 <= 1
 0 <= u165 <= 1
 0 <= u166 <= 1
 0 <= u167 <= 1
 0 <= u168 <= 1
 0 <= u169 <= 1
 s >= 1

End