ucl.pb 275 Bytes
Newer Older
Masahiko Sakai's avatar
Masahiko Sakai committed
1 2 3
-9 x118 -27 x119 -81 x120 -27 x121 -9 x122 -3 x123 -1 x124 +9 x103 +32 x104 +16 x105 +8 x106 +4 x107 +2 x108 +1 x109 -128 x7313 >= -128 ;
+64 x118 +32 x119 +16 x120 +8 x121 +4 x122 +2 x123 +1 x124 -64 x103 -32 x104 -16 x105 -8 x106 -4 x107 -2 x108 -1 x109 +129 x7313 >= 1 ;