negti2_test.zig (68520B) - Raw
1 const neg = @import("negXi2.zig"); 2 const testing = @import("std").testing; 3 4 fn test__negti2(a: i128, expected: i128) !void { 5 const result = neg.__negti2(a); 6 try testing.expectEqual(expected, result); 7 } 8 9 test "negti2" { 10 // TODO ensuring that math.minInt(i128); returns error 11 12 try test__negti2(-3, 3); 13 try test__negti2(-2, 2); 14 try test__negti2(-1, 1); 15 try test__negti2(0, 0); // special case for 2s complement 16 try test__negti2(1, -1); 17 try test__negti2(2, -2); 18 try test__negti2(3, -3); 19 20 // max_usable == MAX(i32) == -MIN(i32) 21 // == 170141183460469231731687303715884105727 22 // == 7fffffffffffffffffffffffffffffff 23 // divTrunc: max_usable / i, i=1,2,3,5,100 24 // 7fffffffffffffffffffffffffffffff / i 25 try test__negti2(-56713727820156410577229101238628035242, 56713727820156410577229101238628035242); 26 try test__negti2(56713727820156410577229101238628035242, -56713727820156410577229101238628035242); 27 try test__negti2(-34028236692093846346337460743176821145, 34028236692093846346337460743176821145); 28 try test__negti2(34028236692093846346337460743176821145, -34028236692093846346337460743176821145); 29 try test__negti2(-17014118346046923173168730371588410572, 17014118346046923173168730371588410572); 30 try test__negti2(17014118346046923173168730371588410572, -17014118346046923173168730371588410572); 31 // shifting: max_usable >> i, i=0..bitsize-4 32 // 7fffffffffffffffffffffffffffffff >> i 33 // 7fffffffffffffffffffffffffffffff >> i + 1 34 // 7fffffffffffffffffffffffffffffff >> i + 3 35 // 7fffffffffffffffffffffffffffffff >> i + 7 36 try test__negti2(-170141183460469231731687303715884105727, 170141183460469231731687303715884105727); 37 try test__negti2(170141183460469231731687303715884105727, -170141183460469231731687303715884105727); 38 try test__negti2(-170141183460469231731687303715884105726, 170141183460469231731687303715884105726); 39 try test__negti2(170141183460469231731687303715884105726, -170141183460469231731687303715884105726); 40 try test__negti2(-170141183460469231731687303715884105724, 170141183460469231731687303715884105724); 41 try test__negti2(170141183460469231731687303715884105724, -170141183460469231731687303715884105724); 42 try test__negti2(-170141183460469231731687303715884105720, 170141183460469231731687303715884105720); 43 try test__negti2(170141183460469231731687303715884105720, -170141183460469231731687303715884105720); 44 try test__negti2(-85070591730234615865843651857942052863, 85070591730234615865843651857942052863); 45 try test__negti2(85070591730234615865843651857942052863, -85070591730234615865843651857942052863); 46 try test__negti2(-85070591730234615865843651857942052862, 85070591730234615865843651857942052862); 47 try test__negti2(85070591730234615865843651857942052862, -85070591730234615865843651857942052862); 48 try test__negti2(-85070591730234615865843651857942052860, 85070591730234615865843651857942052860); 49 try test__negti2(85070591730234615865843651857942052860, -85070591730234615865843651857942052860); 50 try test__negti2(-85070591730234615865843651857942052856, 85070591730234615865843651857942052856); 51 try test__negti2(85070591730234615865843651857942052856, -85070591730234615865843651857942052856); 52 try test__negti2(-42535295865117307932921825928971026431, 42535295865117307932921825928971026431); 53 try test__negti2(42535295865117307932921825928971026431, -42535295865117307932921825928971026431); 54 try test__negti2(-42535295865117307932921825928971026430, 42535295865117307932921825928971026430); 55 try test__negti2(42535295865117307932921825928971026430, -42535295865117307932921825928971026430); 56 try test__negti2(-42535295865117307932921825928971026428, 42535295865117307932921825928971026428); 57 try test__negti2(42535295865117307932921825928971026428, -42535295865117307932921825928971026428); 58 try test__negti2(-42535295865117307932921825928971026424, 42535295865117307932921825928971026424); 59 try test__negti2(42535295865117307932921825928971026424, -42535295865117307932921825928971026424); 60 try test__negti2(-21267647932558653966460912964485513215, 21267647932558653966460912964485513215); 61 try test__negti2(21267647932558653966460912964485513215, -21267647932558653966460912964485513215); 62 try test__negti2(-21267647932558653966460912964485513214, 21267647932558653966460912964485513214); 63 try test__negti2(21267647932558653966460912964485513214, -21267647932558653966460912964485513214); 64 try test__negti2(-21267647932558653966460912964485513212, 21267647932558653966460912964485513212); 65 try test__negti2(21267647932558653966460912964485513212, -21267647932558653966460912964485513212); 66 try test__negti2(-21267647932558653966460912964485513208, 21267647932558653966460912964485513208); 67 try test__negti2(21267647932558653966460912964485513208, -21267647932558653966460912964485513208); 68 try test__negti2(-10633823966279326983230456482242756607, 10633823966279326983230456482242756607); 69 try test__negti2(10633823966279326983230456482242756607, -10633823966279326983230456482242756607); 70 try test__negti2(-10633823966279326983230456482242756606, 10633823966279326983230456482242756606); 71 try test__negti2(10633823966279326983230456482242756606, -10633823966279326983230456482242756606); 72 try test__negti2(-10633823966279326983230456482242756604, 10633823966279326983230456482242756604); 73 try test__negti2(10633823966279326983230456482242756604, -10633823966279326983230456482242756604); 74 try test__negti2(-10633823966279326983230456482242756600, 10633823966279326983230456482242756600); 75 try test__negti2(10633823966279326983230456482242756600, -10633823966279326983230456482242756600); 76 try test__negti2(-5316911983139663491615228241121378303, 5316911983139663491615228241121378303); 77 try test__negti2(5316911983139663491615228241121378303, -5316911983139663491615228241121378303); 78 try test__negti2(-5316911983139663491615228241121378302, 5316911983139663491615228241121378302); 79 try test__negti2(5316911983139663491615228241121378302, -5316911983139663491615228241121378302); 80 try test__negti2(-5316911983139663491615228241121378300, 5316911983139663491615228241121378300); 81 try test__negti2(5316911983139663491615228241121378300, -5316911983139663491615228241121378300); 82 try test__negti2(-5316911983139663491615228241121378296, 5316911983139663491615228241121378296); 83 try test__negti2(5316911983139663491615228241121378296, -5316911983139663491615228241121378296); 84 try test__negti2(-2658455991569831745807614120560689151, 2658455991569831745807614120560689151); 85 try test__negti2(2658455991569831745807614120560689151, -2658455991569831745807614120560689151); 86 try test__negti2(-2658455991569831745807614120560689150, 2658455991569831745807614120560689150); 87 try test__negti2(2658455991569831745807614120560689150, -2658455991569831745807614120560689150); 88 try test__negti2(-2658455991569831745807614120560689148, 2658455991569831745807614120560689148); 89 try test__negti2(2658455991569831745807614120560689148, -2658455991569831745807614120560689148); 90 try test__negti2(-2658455991569831745807614120560689144, 2658455991569831745807614120560689144); 91 try test__negti2(2658455991569831745807614120560689144, -2658455991569831745807614120560689144); 92 try test__negti2(-1329227995784915872903807060280344575, 1329227995784915872903807060280344575); 93 try test__negti2(1329227995784915872903807060280344575, -1329227995784915872903807060280344575); 94 try test__negti2(-1329227995784915872903807060280344574, 1329227995784915872903807060280344574); 95 try test__negti2(1329227995784915872903807060280344574, -1329227995784915872903807060280344574); 96 try test__negti2(-1329227995784915872903807060280344572, 1329227995784915872903807060280344572); 97 try test__negti2(1329227995784915872903807060280344572, -1329227995784915872903807060280344572); 98 try test__negti2(-1329227995784915872903807060280344568, 1329227995784915872903807060280344568); 99 try test__negti2(1329227995784915872903807060280344568, -1329227995784915872903807060280344568); 100 try test__negti2(-664613997892457936451903530140172287, 664613997892457936451903530140172287); 101 try test__negti2(664613997892457936451903530140172287, -664613997892457936451903530140172287); 102 try test__negti2(-664613997892457936451903530140172286, 664613997892457936451903530140172286); 103 try test__negti2(664613997892457936451903530140172286, -664613997892457936451903530140172286); 104 try test__negti2(-664613997892457936451903530140172284, 664613997892457936451903530140172284); 105 try test__negti2(664613997892457936451903530140172284, -664613997892457936451903530140172284); 106 try test__negti2(-664613997892457936451903530140172280, 664613997892457936451903530140172280); 107 try test__negti2(664613997892457936451903530140172280, -664613997892457936451903530140172280); 108 try test__negti2(-332306998946228968225951765070086143, 332306998946228968225951765070086143); 109 try test__negti2(332306998946228968225951765070086143, -332306998946228968225951765070086143); 110 try test__negti2(-332306998946228968225951765070086142, 332306998946228968225951765070086142); 111 try test__negti2(332306998946228968225951765070086142, -332306998946228968225951765070086142); 112 try test__negti2(-332306998946228968225951765070086140, 332306998946228968225951765070086140); 113 try test__negti2(332306998946228968225951765070086140, -332306998946228968225951765070086140); 114 try test__negti2(-332306998946228968225951765070086136, 332306998946228968225951765070086136); 115 try test__negti2(332306998946228968225951765070086136, -332306998946228968225951765070086136); 116 try test__negti2(-166153499473114484112975882535043071, 166153499473114484112975882535043071); 117 try test__negti2(166153499473114484112975882535043071, -166153499473114484112975882535043071); 118 try test__negti2(-166153499473114484112975882535043070, 166153499473114484112975882535043070); 119 try test__negti2(166153499473114484112975882535043070, -166153499473114484112975882535043070); 120 try test__negti2(-166153499473114484112975882535043068, 166153499473114484112975882535043068); 121 try test__negti2(166153499473114484112975882535043068, -166153499473114484112975882535043068); 122 try test__negti2(-166153499473114484112975882535043064, 166153499473114484112975882535043064); 123 try test__negti2(166153499473114484112975882535043064, -166153499473114484112975882535043064); 124 try test__negti2(-83076749736557242056487941267521535, 83076749736557242056487941267521535); 125 try test__negti2(83076749736557242056487941267521535, -83076749736557242056487941267521535); 126 try test__negti2(-83076749736557242056487941267521534, 83076749736557242056487941267521534); 127 try test__negti2(83076749736557242056487941267521534, -83076749736557242056487941267521534); 128 try test__negti2(-83076749736557242056487941267521532, 83076749736557242056487941267521532); 129 try test__negti2(83076749736557242056487941267521532, -83076749736557242056487941267521532); 130 try test__negti2(-83076749736557242056487941267521528, 83076749736557242056487941267521528); 131 try test__negti2(83076749736557242056487941267521528, -83076749736557242056487941267521528); 132 try test__negti2(-41538374868278621028243970633760767, 41538374868278621028243970633760767); 133 try test__negti2(41538374868278621028243970633760767, -41538374868278621028243970633760767); 134 try test__negti2(-41538374868278621028243970633760766, 41538374868278621028243970633760766); 135 try test__negti2(41538374868278621028243970633760766, -41538374868278621028243970633760766); 136 try test__negti2(-41538374868278621028243970633760764, 41538374868278621028243970633760764); 137 try test__negti2(41538374868278621028243970633760764, -41538374868278621028243970633760764); 138 try test__negti2(-41538374868278621028243970633760760, 41538374868278621028243970633760760); 139 try test__negti2(41538374868278621028243970633760760, -41538374868278621028243970633760760); 140 try test__negti2(-20769187434139310514121985316880383, 20769187434139310514121985316880383); 141 try test__negti2(20769187434139310514121985316880383, -20769187434139310514121985316880383); 142 try test__negti2(-20769187434139310514121985316880382, 20769187434139310514121985316880382); 143 try test__negti2(20769187434139310514121985316880382, -20769187434139310514121985316880382); 144 try test__negti2(-20769187434139310514121985316880380, 20769187434139310514121985316880380); 145 try test__negti2(20769187434139310514121985316880380, -20769187434139310514121985316880380); 146 try test__negti2(-20769187434139310514121985316880376, 20769187434139310514121985316880376); 147 try test__negti2(20769187434139310514121985316880376, -20769187434139310514121985316880376); 148 try test__negti2(-10384593717069655257060992658440191, 10384593717069655257060992658440191); 149 try test__negti2(10384593717069655257060992658440191, -10384593717069655257060992658440191); 150 try test__negti2(-10384593717069655257060992658440190, 10384593717069655257060992658440190); 151 try test__negti2(10384593717069655257060992658440190, -10384593717069655257060992658440190); 152 try test__negti2(-10384593717069655257060992658440188, 10384593717069655257060992658440188); 153 try test__negti2(10384593717069655257060992658440188, -10384593717069655257060992658440188); 154 try test__negti2(-10384593717069655257060992658440184, 10384593717069655257060992658440184); 155 try test__negti2(10384593717069655257060992658440184, -10384593717069655257060992658440184); 156 try test__negti2(-5192296858534827628530496329220095, 5192296858534827628530496329220095); 157 try test__negti2(5192296858534827628530496329220095, -5192296858534827628530496329220095); 158 try test__negti2(-5192296858534827628530496329220094, 5192296858534827628530496329220094); 159 try test__negti2(5192296858534827628530496329220094, -5192296858534827628530496329220094); 160 try test__negti2(-5192296858534827628530496329220092, 5192296858534827628530496329220092); 161 try test__negti2(5192296858534827628530496329220092, -5192296858534827628530496329220092); 162 try test__negti2(-5192296858534827628530496329220088, 5192296858534827628530496329220088); 163 try test__negti2(5192296858534827628530496329220088, -5192296858534827628530496329220088); 164 try test__negti2(-2596148429267413814265248164610047, 2596148429267413814265248164610047); 165 try test__negti2(2596148429267413814265248164610047, -2596148429267413814265248164610047); 166 try test__negti2(-2596148429267413814265248164610046, 2596148429267413814265248164610046); 167 try test__negti2(2596148429267413814265248164610046, -2596148429267413814265248164610046); 168 try test__negti2(-2596148429267413814265248164610044, 2596148429267413814265248164610044); 169 try test__negti2(2596148429267413814265248164610044, -2596148429267413814265248164610044); 170 try test__negti2(-2596148429267413814265248164610040, 2596148429267413814265248164610040); 171 try test__negti2(2596148429267413814265248164610040, -2596148429267413814265248164610040); 172 try test__negti2(-1298074214633706907132624082305023, 1298074214633706907132624082305023); 173 try test__negti2(1298074214633706907132624082305023, -1298074214633706907132624082305023); 174 try test__negti2(-1298074214633706907132624082305022, 1298074214633706907132624082305022); 175 try test__negti2(1298074214633706907132624082305022, -1298074214633706907132624082305022); 176 try test__negti2(-1298074214633706907132624082305020, 1298074214633706907132624082305020); 177 try test__negti2(1298074214633706907132624082305020, -1298074214633706907132624082305020); 178 try test__negti2(-1298074214633706907132624082305016, 1298074214633706907132624082305016); 179 try test__negti2(1298074214633706907132624082305016, -1298074214633706907132624082305016); 180 try test__negti2(-649037107316853453566312041152511, 649037107316853453566312041152511); 181 try test__negti2(649037107316853453566312041152511, -649037107316853453566312041152511); 182 try test__negti2(-649037107316853453566312041152510, 649037107316853453566312041152510); 183 try test__negti2(649037107316853453566312041152510, -649037107316853453566312041152510); 184 try test__negti2(-649037107316853453566312041152508, 649037107316853453566312041152508); 185 try test__negti2(649037107316853453566312041152508, -649037107316853453566312041152508); 186 try test__negti2(-649037107316853453566312041152504, 649037107316853453566312041152504); 187 try test__negti2(649037107316853453566312041152504, -649037107316853453566312041152504); 188 try test__negti2(-324518553658426726783156020576255, 324518553658426726783156020576255); 189 try test__negti2(324518553658426726783156020576255, -324518553658426726783156020576255); 190 try test__negti2(-324518553658426726783156020576254, 324518553658426726783156020576254); 191 try test__negti2(324518553658426726783156020576254, -324518553658426726783156020576254); 192 try test__negti2(-324518553658426726783156020576252, 324518553658426726783156020576252); 193 try test__negti2(324518553658426726783156020576252, -324518553658426726783156020576252); 194 try test__negti2(-324518553658426726783156020576248, 324518553658426726783156020576248); 195 try test__negti2(324518553658426726783156020576248, -324518553658426726783156020576248); 196 try test__negti2(-162259276829213363391578010288127, 162259276829213363391578010288127); 197 try test__negti2(162259276829213363391578010288127, -162259276829213363391578010288127); 198 try test__negti2(-162259276829213363391578010288126, 162259276829213363391578010288126); 199 try test__negti2(162259276829213363391578010288126, -162259276829213363391578010288126); 200 try test__negti2(-162259276829213363391578010288124, 162259276829213363391578010288124); 201 try test__negti2(162259276829213363391578010288124, -162259276829213363391578010288124); 202 try test__negti2(-162259276829213363391578010288120, 162259276829213363391578010288120); 203 try test__negti2(162259276829213363391578010288120, -162259276829213363391578010288120); 204 try test__negti2(-81129638414606681695789005144063, 81129638414606681695789005144063); 205 try test__negti2(81129638414606681695789005144063, -81129638414606681695789005144063); 206 try test__negti2(-81129638414606681695789005144062, 81129638414606681695789005144062); 207 try test__negti2(81129638414606681695789005144062, -81129638414606681695789005144062); 208 try test__negti2(-81129638414606681695789005144060, 81129638414606681695789005144060); 209 try test__negti2(81129638414606681695789005144060, -81129638414606681695789005144060); 210 try test__negti2(-81129638414606681695789005144056, 81129638414606681695789005144056); 211 try test__negti2(81129638414606681695789005144056, -81129638414606681695789005144056); 212 try test__negti2(-40564819207303340847894502572031, 40564819207303340847894502572031); 213 try test__negti2(40564819207303340847894502572031, -40564819207303340847894502572031); 214 try test__negti2(-40564819207303340847894502572030, 40564819207303340847894502572030); 215 try test__negti2(40564819207303340847894502572030, -40564819207303340847894502572030); 216 try test__negti2(-40564819207303340847894502572028, 40564819207303340847894502572028); 217 try test__negti2(40564819207303340847894502572028, -40564819207303340847894502572028); 218 try test__negti2(-40564819207303340847894502572024, 40564819207303340847894502572024); 219 try test__negti2(40564819207303340847894502572024, -40564819207303340847894502572024); 220 try test__negti2(-20282409603651670423947251286015, 20282409603651670423947251286015); 221 try test__negti2(20282409603651670423947251286015, -20282409603651670423947251286015); 222 try test__negti2(-20282409603651670423947251286014, 20282409603651670423947251286014); 223 try test__negti2(20282409603651670423947251286014, -20282409603651670423947251286014); 224 try test__negti2(-20282409603651670423947251286012, 20282409603651670423947251286012); 225 try test__negti2(20282409603651670423947251286012, -20282409603651670423947251286012); 226 try test__negti2(-20282409603651670423947251286008, 20282409603651670423947251286008); 227 try test__negti2(20282409603651670423947251286008, -20282409603651670423947251286008); 228 try test__negti2(-10141204801825835211973625643007, 10141204801825835211973625643007); 229 try test__negti2(10141204801825835211973625643007, -10141204801825835211973625643007); 230 try test__negti2(-10141204801825835211973625643006, 10141204801825835211973625643006); 231 try test__negti2(10141204801825835211973625643006, -10141204801825835211973625643006); 232 try test__negti2(-10141204801825835211973625643004, 10141204801825835211973625643004); 233 try test__negti2(10141204801825835211973625643004, -10141204801825835211973625643004); 234 try test__negti2(-10141204801825835211973625643000, 10141204801825835211973625643000); 235 try test__negti2(10141204801825835211973625643000, -10141204801825835211973625643000); 236 try test__negti2(-5070602400912917605986812821503, 5070602400912917605986812821503); 237 try test__negti2(5070602400912917605986812821503, -5070602400912917605986812821503); 238 try test__negti2(-5070602400912917605986812821502, 5070602400912917605986812821502); 239 try test__negti2(5070602400912917605986812821502, -5070602400912917605986812821502); 240 try test__negti2(-5070602400912917605986812821500, 5070602400912917605986812821500); 241 try test__negti2(5070602400912917605986812821500, -5070602400912917605986812821500); 242 try test__negti2(-5070602400912917605986812821496, 5070602400912917605986812821496); 243 try test__negti2(5070602400912917605986812821496, -5070602400912917605986812821496); 244 try test__negti2(-2535301200456458802993406410751, 2535301200456458802993406410751); 245 try test__negti2(2535301200456458802993406410751, -2535301200456458802993406410751); 246 try test__negti2(-2535301200456458802993406410750, 2535301200456458802993406410750); 247 try test__negti2(2535301200456458802993406410750, -2535301200456458802993406410750); 248 try test__negti2(-2535301200456458802993406410748, 2535301200456458802993406410748); 249 try test__negti2(2535301200456458802993406410748, -2535301200456458802993406410748); 250 try test__negti2(-2535301200456458802993406410744, 2535301200456458802993406410744); 251 try test__negti2(2535301200456458802993406410744, -2535301200456458802993406410744); 252 try test__negti2(-1267650600228229401496703205375, 1267650600228229401496703205375); 253 try test__negti2(1267650600228229401496703205375, -1267650600228229401496703205375); 254 try test__negti2(-1267650600228229401496703205374, 1267650600228229401496703205374); 255 try test__negti2(1267650600228229401496703205374, -1267650600228229401496703205374); 256 try test__negti2(-1267650600228229401496703205372, 1267650600228229401496703205372); 257 try test__negti2(1267650600228229401496703205372, -1267650600228229401496703205372); 258 try test__negti2(-1267650600228229401496703205368, 1267650600228229401496703205368); 259 try test__negti2(1267650600228229401496703205368, -1267650600228229401496703205368); 260 try test__negti2(-633825300114114700748351602687, 633825300114114700748351602687); 261 try test__negti2(633825300114114700748351602687, -633825300114114700748351602687); 262 try test__negti2(-633825300114114700748351602686, 633825300114114700748351602686); 263 try test__negti2(633825300114114700748351602686, -633825300114114700748351602686); 264 try test__negti2(-633825300114114700748351602684, 633825300114114700748351602684); 265 try test__negti2(633825300114114700748351602684, -633825300114114700748351602684); 266 try test__negti2(-633825300114114700748351602680, 633825300114114700748351602680); 267 try test__negti2(633825300114114700748351602680, -633825300114114700748351602680); 268 try test__negti2(-316912650057057350374175801343, 316912650057057350374175801343); 269 try test__negti2(316912650057057350374175801343, -316912650057057350374175801343); 270 try test__negti2(-316912650057057350374175801342, 316912650057057350374175801342); 271 try test__negti2(316912650057057350374175801342, -316912650057057350374175801342); 272 try test__negti2(-316912650057057350374175801340, 316912650057057350374175801340); 273 try test__negti2(316912650057057350374175801340, -316912650057057350374175801340); 274 try test__negti2(-316912650057057350374175801336, 316912650057057350374175801336); 275 try test__negti2(316912650057057350374175801336, -316912650057057350374175801336); 276 try test__negti2(-158456325028528675187087900671, 158456325028528675187087900671); 277 try test__negti2(158456325028528675187087900671, -158456325028528675187087900671); 278 try test__negti2(-158456325028528675187087900670, 158456325028528675187087900670); 279 try test__negti2(158456325028528675187087900670, -158456325028528675187087900670); 280 try test__negti2(-158456325028528675187087900668, 158456325028528675187087900668); 281 try test__negti2(158456325028528675187087900668, -158456325028528675187087900668); 282 try test__negti2(-158456325028528675187087900664, 158456325028528675187087900664); 283 try test__negti2(158456325028528675187087900664, -158456325028528675187087900664); 284 try test__negti2(-79228162514264337593543950335, 79228162514264337593543950335); 285 try test__negti2(79228162514264337593543950335, -79228162514264337593543950335); 286 try test__negti2(-79228162514264337593543950334, 79228162514264337593543950334); 287 try test__negti2(79228162514264337593543950334, -79228162514264337593543950334); 288 try test__negti2(-79228162514264337593543950332, 79228162514264337593543950332); 289 try test__negti2(79228162514264337593543950332, -79228162514264337593543950332); 290 try test__negti2(-79228162514264337593543950328, 79228162514264337593543950328); 291 try test__negti2(79228162514264337593543950328, -79228162514264337593543950328); 292 try test__negti2(-39614081257132168796771975167, 39614081257132168796771975167); 293 try test__negti2(39614081257132168796771975167, -39614081257132168796771975167); 294 try test__negti2(-39614081257132168796771975166, 39614081257132168796771975166); 295 try test__negti2(39614081257132168796771975166, -39614081257132168796771975166); 296 try test__negti2(-39614081257132168796771975164, 39614081257132168796771975164); 297 try test__negti2(39614081257132168796771975164, -39614081257132168796771975164); 298 try test__negti2(-39614081257132168796771975160, 39614081257132168796771975160); 299 try test__negti2(39614081257132168796771975160, -39614081257132168796771975160); 300 try test__negti2(-19807040628566084398385987583, 19807040628566084398385987583); 301 try test__negti2(19807040628566084398385987583, -19807040628566084398385987583); 302 try test__negti2(-19807040628566084398385987582, 19807040628566084398385987582); 303 try test__negti2(19807040628566084398385987582, -19807040628566084398385987582); 304 try test__negti2(-19807040628566084398385987580, 19807040628566084398385987580); 305 try test__negti2(19807040628566084398385987580, -19807040628566084398385987580); 306 try test__negti2(-19807040628566084398385987576, 19807040628566084398385987576); 307 try test__negti2(19807040628566084398385987576, -19807040628566084398385987576); 308 try test__negti2(-9903520314283042199192993791, 9903520314283042199192993791); 309 try test__negti2(9903520314283042199192993791, -9903520314283042199192993791); 310 try test__negti2(-9903520314283042199192993790, 9903520314283042199192993790); 311 try test__negti2(9903520314283042199192993790, -9903520314283042199192993790); 312 try test__negti2(-9903520314283042199192993788, 9903520314283042199192993788); 313 try test__negti2(9903520314283042199192993788, -9903520314283042199192993788); 314 try test__negti2(-9903520314283042199192993784, 9903520314283042199192993784); 315 try test__negti2(9903520314283042199192993784, -9903520314283042199192993784); 316 try test__negti2(-4951760157141521099596496895, 4951760157141521099596496895); 317 try test__negti2(4951760157141521099596496895, -4951760157141521099596496895); 318 try test__negti2(-4951760157141521099596496894, 4951760157141521099596496894); 319 try test__negti2(4951760157141521099596496894, -4951760157141521099596496894); 320 try test__negti2(-4951760157141521099596496892, 4951760157141521099596496892); 321 try test__negti2(4951760157141521099596496892, -4951760157141521099596496892); 322 try test__negti2(-4951760157141521099596496888, 4951760157141521099596496888); 323 try test__negti2(4951760157141521099596496888, -4951760157141521099596496888); 324 try test__negti2(-2475880078570760549798248447, 2475880078570760549798248447); 325 try test__negti2(2475880078570760549798248447, -2475880078570760549798248447); 326 try test__negti2(-2475880078570760549798248446, 2475880078570760549798248446); 327 try test__negti2(2475880078570760549798248446, -2475880078570760549798248446); 328 try test__negti2(-2475880078570760549798248444, 2475880078570760549798248444); 329 try test__negti2(2475880078570760549798248444, -2475880078570760549798248444); 330 try test__negti2(-2475880078570760549798248440, 2475880078570760549798248440); 331 try test__negti2(2475880078570760549798248440, -2475880078570760549798248440); 332 try test__negti2(-1237940039285380274899124223, 1237940039285380274899124223); 333 try test__negti2(1237940039285380274899124223, -1237940039285380274899124223); 334 try test__negti2(-1237940039285380274899124222, 1237940039285380274899124222); 335 try test__negti2(1237940039285380274899124222, -1237940039285380274899124222); 336 try test__negti2(-1237940039285380274899124220, 1237940039285380274899124220); 337 try test__negti2(1237940039285380274899124220, -1237940039285380274899124220); 338 try test__negti2(-1237940039285380274899124216, 1237940039285380274899124216); 339 try test__negti2(1237940039285380274899124216, -1237940039285380274899124216); 340 try test__negti2(-618970019642690137449562111, 618970019642690137449562111); 341 try test__negti2(618970019642690137449562111, -618970019642690137449562111); 342 try test__negti2(-618970019642690137449562110, 618970019642690137449562110); 343 try test__negti2(618970019642690137449562110, -618970019642690137449562110); 344 try test__negti2(-618970019642690137449562108, 618970019642690137449562108); 345 try test__negti2(618970019642690137449562108, -618970019642690137449562108); 346 try test__negti2(-618970019642690137449562104, 618970019642690137449562104); 347 try test__negti2(618970019642690137449562104, -618970019642690137449562104); 348 try test__negti2(-309485009821345068724781055, 309485009821345068724781055); 349 try test__negti2(309485009821345068724781055, -309485009821345068724781055); 350 try test__negti2(-309485009821345068724781054, 309485009821345068724781054); 351 try test__negti2(309485009821345068724781054, -309485009821345068724781054); 352 try test__negti2(-309485009821345068724781052, 309485009821345068724781052); 353 try test__negti2(309485009821345068724781052, -309485009821345068724781052); 354 try test__negti2(-309485009821345068724781048, 309485009821345068724781048); 355 try test__negti2(309485009821345068724781048, -309485009821345068724781048); 356 try test__negti2(-154742504910672534362390527, 154742504910672534362390527); 357 try test__negti2(154742504910672534362390527, -154742504910672534362390527); 358 try test__negti2(-154742504910672534362390526, 154742504910672534362390526); 359 try test__negti2(154742504910672534362390526, -154742504910672534362390526); 360 try test__negti2(-154742504910672534362390524, 154742504910672534362390524); 361 try test__negti2(154742504910672534362390524, -154742504910672534362390524); 362 try test__negti2(-154742504910672534362390520, 154742504910672534362390520); 363 try test__negti2(154742504910672534362390520, -154742504910672534362390520); 364 try test__negti2(-77371252455336267181195263, 77371252455336267181195263); 365 try test__negti2(77371252455336267181195263, -77371252455336267181195263); 366 try test__negti2(-77371252455336267181195262, 77371252455336267181195262); 367 try test__negti2(77371252455336267181195262, -77371252455336267181195262); 368 try test__negti2(-77371252455336267181195260, 77371252455336267181195260); 369 try test__negti2(77371252455336267181195260, -77371252455336267181195260); 370 try test__negti2(-77371252455336267181195256, 77371252455336267181195256); 371 try test__negti2(77371252455336267181195256, -77371252455336267181195256); 372 try test__negti2(-38685626227668133590597631, 38685626227668133590597631); 373 try test__negti2(38685626227668133590597631, -38685626227668133590597631); 374 try test__negti2(-38685626227668133590597630, 38685626227668133590597630); 375 try test__negti2(38685626227668133590597630, -38685626227668133590597630); 376 try test__negti2(-38685626227668133590597628, 38685626227668133590597628); 377 try test__negti2(38685626227668133590597628, -38685626227668133590597628); 378 try test__negti2(-38685626227668133590597624, 38685626227668133590597624); 379 try test__negti2(38685626227668133590597624, -38685626227668133590597624); 380 try test__negti2(-19342813113834066795298815, 19342813113834066795298815); 381 try test__negti2(19342813113834066795298815, -19342813113834066795298815); 382 try test__negti2(-19342813113834066795298814, 19342813113834066795298814); 383 try test__negti2(19342813113834066795298814, -19342813113834066795298814); 384 try test__negti2(-19342813113834066795298812, 19342813113834066795298812); 385 try test__negti2(19342813113834066795298812, -19342813113834066795298812); 386 try test__negti2(-19342813113834066795298808, 19342813113834066795298808); 387 try test__negti2(19342813113834066795298808, -19342813113834066795298808); 388 try test__negti2(-9671406556917033397649407, 9671406556917033397649407); 389 try test__negti2(9671406556917033397649407, -9671406556917033397649407); 390 try test__negti2(-9671406556917033397649406, 9671406556917033397649406); 391 try test__negti2(9671406556917033397649406, -9671406556917033397649406); 392 try test__negti2(-9671406556917033397649404, 9671406556917033397649404); 393 try test__negti2(9671406556917033397649404, -9671406556917033397649404); 394 try test__negti2(-9671406556917033397649400, 9671406556917033397649400); 395 try test__negti2(9671406556917033397649400, -9671406556917033397649400); 396 try test__negti2(-4835703278458516698824703, 4835703278458516698824703); 397 try test__negti2(4835703278458516698824703, -4835703278458516698824703); 398 try test__negti2(-4835703278458516698824702, 4835703278458516698824702); 399 try test__negti2(4835703278458516698824702, -4835703278458516698824702); 400 try test__negti2(-4835703278458516698824700, 4835703278458516698824700); 401 try test__negti2(4835703278458516698824700, -4835703278458516698824700); 402 try test__negti2(-4835703278458516698824696, 4835703278458516698824696); 403 try test__negti2(4835703278458516698824696, -4835703278458516698824696); 404 try test__negti2(-2417851639229258349412351, 2417851639229258349412351); 405 try test__negti2(2417851639229258349412351, -2417851639229258349412351); 406 try test__negti2(-2417851639229258349412350, 2417851639229258349412350); 407 try test__negti2(2417851639229258349412350, -2417851639229258349412350); 408 try test__negti2(-2417851639229258349412348, 2417851639229258349412348); 409 try test__negti2(2417851639229258349412348, -2417851639229258349412348); 410 try test__negti2(-2417851639229258349412344, 2417851639229258349412344); 411 try test__negti2(2417851639229258349412344, -2417851639229258349412344); 412 try test__negti2(-1208925819614629174706175, 1208925819614629174706175); 413 try test__negti2(1208925819614629174706175, -1208925819614629174706175); 414 try test__negti2(-1208925819614629174706174, 1208925819614629174706174); 415 try test__negti2(1208925819614629174706174, -1208925819614629174706174); 416 try test__negti2(-1208925819614629174706172, 1208925819614629174706172); 417 try test__negti2(1208925819614629174706172, -1208925819614629174706172); 418 try test__negti2(-1208925819614629174706168, 1208925819614629174706168); 419 try test__negti2(1208925819614629174706168, -1208925819614629174706168); 420 try test__negti2(-604462909807314587353087, 604462909807314587353087); 421 try test__negti2(604462909807314587353087, -604462909807314587353087); 422 try test__negti2(-604462909807314587353086, 604462909807314587353086); 423 try test__negti2(604462909807314587353086, -604462909807314587353086); 424 try test__negti2(-604462909807314587353084, 604462909807314587353084); 425 try test__negti2(604462909807314587353084, -604462909807314587353084); 426 try test__negti2(-604462909807314587353080, 604462909807314587353080); 427 try test__negti2(604462909807314587353080, -604462909807314587353080); 428 try test__negti2(-302231454903657293676543, 302231454903657293676543); 429 try test__negti2(302231454903657293676543, -302231454903657293676543); 430 try test__negti2(-302231454903657293676542, 302231454903657293676542); 431 try test__negti2(302231454903657293676542, -302231454903657293676542); 432 try test__negti2(-302231454903657293676540, 302231454903657293676540); 433 try test__negti2(302231454903657293676540, -302231454903657293676540); 434 try test__negti2(-302231454903657293676536, 302231454903657293676536); 435 try test__negti2(302231454903657293676536, -302231454903657293676536); 436 try test__negti2(-151115727451828646838271, 151115727451828646838271); 437 try test__negti2(151115727451828646838271, -151115727451828646838271); 438 try test__negti2(-151115727451828646838270, 151115727451828646838270); 439 try test__negti2(151115727451828646838270, -151115727451828646838270); 440 try test__negti2(-151115727451828646838268, 151115727451828646838268); 441 try test__negti2(151115727451828646838268, -151115727451828646838268); 442 try test__negti2(-151115727451828646838264, 151115727451828646838264); 443 try test__negti2(151115727451828646838264, -151115727451828646838264); 444 try test__negti2(-75557863725914323419135, 75557863725914323419135); 445 try test__negti2(75557863725914323419135, -75557863725914323419135); 446 try test__negti2(-75557863725914323419134, 75557863725914323419134); 447 try test__negti2(75557863725914323419134, -75557863725914323419134); 448 try test__negti2(-75557863725914323419132, 75557863725914323419132); 449 try test__negti2(75557863725914323419132, -75557863725914323419132); 450 try test__negti2(-75557863725914323419128, 75557863725914323419128); 451 try test__negti2(75557863725914323419128, -75557863725914323419128); 452 try test__negti2(-37778931862957161709567, 37778931862957161709567); 453 try test__negti2(37778931862957161709567, -37778931862957161709567); 454 try test__negti2(-37778931862957161709566, 37778931862957161709566); 455 try test__negti2(37778931862957161709566, -37778931862957161709566); 456 try test__negti2(-37778931862957161709564, 37778931862957161709564); 457 try test__negti2(37778931862957161709564, -37778931862957161709564); 458 try test__negti2(-37778931862957161709560, 37778931862957161709560); 459 try test__negti2(37778931862957161709560, -37778931862957161709560); 460 try test__negti2(-18889465931478580854783, 18889465931478580854783); 461 try test__negti2(18889465931478580854783, -18889465931478580854783); 462 try test__negti2(-18889465931478580854782, 18889465931478580854782); 463 try test__negti2(18889465931478580854782, -18889465931478580854782); 464 try test__negti2(-18889465931478580854780, 18889465931478580854780); 465 try test__negti2(18889465931478580854780, -18889465931478580854780); 466 try test__negti2(-18889465931478580854776, 18889465931478580854776); 467 try test__negti2(18889465931478580854776, -18889465931478580854776); 468 try test__negti2(-9444732965739290427391, 9444732965739290427391); 469 try test__negti2(9444732965739290427391, -9444732965739290427391); 470 try test__negti2(-9444732965739290427390, 9444732965739290427390); 471 try test__negti2(9444732965739290427390, -9444732965739290427390); 472 try test__negti2(-9444732965739290427388, 9444732965739290427388); 473 try test__negti2(9444732965739290427388, -9444732965739290427388); 474 try test__negti2(-9444732965739290427384, 9444732965739290427384); 475 try test__negti2(9444732965739290427384, -9444732965739290427384); 476 try test__negti2(-4722366482869645213695, 4722366482869645213695); 477 try test__negti2(4722366482869645213695, -4722366482869645213695); 478 try test__negti2(-4722366482869645213694, 4722366482869645213694); 479 try test__negti2(4722366482869645213694, -4722366482869645213694); 480 try test__negti2(-4722366482869645213692, 4722366482869645213692); 481 try test__negti2(4722366482869645213692, -4722366482869645213692); 482 try test__negti2(-4722366482869645213688, 4722366482869645213688); 483 try test__negti2(4722366482869645213688, -4722366482869645213688); 484 try test__negti2(-2361183241434822606847, 2361183241434822606847); 485 try test__negti2(2361183241434822606847, -2361183241434822606847); 486 try test__negti2(-2361183241434822606846, 2361183241434822606846); 487 try test__negti2(2361183241434822606846, -2361183241434822606846); 488 try test__negti2(-2361183241434822606844, 2361183241434822606844); 489 try test__negti2(2361183241434822606844, -2361183241434822606844); 490 try test__negti2(-2361183241434822606840, 2361183241434822606840); 491 try test__negti2(2361183241434822606840, -2361183241434822606840); 492 try test__negti2(-1180591620717411303423, 1180591620717411303423); 493 try test__negti2(1180591620717411303423, -1180591620717411303423); 494 try test__negti2(-1180591620717411303422, 1180591620717411303422); 495 try test__negti2(1180591620717411303422, -1180591620717411303422); 496 try test__negti2(-1180591620717411303420, 1180591620717411303420); 497 try test__negti2(1180591620717411303420, -1180591620717411303420); 498 try test__negti2(-1180591620717411303416, 1180591620717411303416); 499 try test__negti2(1180591620717411303416, -1180591620717411303416); 500 try test__negti2(-590295810358705651711, 590295810358705651711); 501 try test__negti2(590295810358705651711, -590295810358705651711); 502 try test__negti2(-590295810358705651710, 590295810358705651710); 503 try test__negti2(590295810358705651710, -590295810358705651710); 504 try test__negti2(-590295810358705651708, 590295810358705651708); 505 try test__negti2(590295810358705651708, -590295810358705651708); 506 try test__negti2(-590295810358705651704, 590295810358705651704); 507 try test__negti2(590295810358705651704, -590295810358705651704); 508 try test__negti2(-295147905179352825855, 295147905179352825855); 509 try test__negti2(295147905179352825855, -295147905179352825855); 510 try test__negti2(-295147905179352825854, 295147905179352825854); 511 try test__negti2(295147905179352825854, -295147905179352825854); 512 try test__negti2(-295147905179352825852, 295147905179352825852); 513 try test__negti2(295147905179352825852, -295147905179352825852); 514 try test__negti2(-295147905179352825848, 295147905179352825848); 515 try test__negti2(295147905179352825848, -295147905179352825848); 516 try test__negti2(-147573952589676412927, 147573952589676412927); 517 try test__negti2(147573952589676412927, -147573952589676412927); 518 try test__negti2(-147573952589676412926, 147573952589676412926); 519 try test__negti2(147573952589676412926, -147573952589676412926); 520 try test__negti2(-147573952589676412924, 147573952589676412924); 521 try test__negti2(147573952589676412924, -147573952589676412924); 522 try test__negti2(-147573952589676412920, 147573952589676412920); 523 try test__negti2(147573952589676412920, -147573952589676412920); 524 try test__negti2(-73786976294838206463, 73786976294838206463); 525 try test__negti2(73786976294838206463, -73786976294838206463); 526 try test__negti2(-73786976294838206462, 73786976294838206462); 527 try test__negti2(73786976294838206462, -73786976294838206462); 528 try test__negti2(-73786976294838206460, 73786976294838206460); 529 try test__negti2(73786976294838206460, -73786976294838206460); 530 try test__negti2(-73786976294838206456, 73786976294838206456); 531 try test__negti2(73786976294838206456, -73786976294838206456); 532 try test__negti2(-36893488147419103231, 36893488147419103231); 533 try test__negti2(36893488147419103231, -36893488147419103231); 534 try test__negti2(-36893488147419103230, 36893488147419103230); 535 try test__negti2(36893488147419103230, -36893488147419103230); 536 try test__negti2(-36893488147419103228, 36893488147419103228); 537 try test__negti2(36893488147419103228, -36893488147419103228); 538 try test__negti2(-36893488147419103224, 36893488147419103224); 539 try test__negti2(36893488147419103224, -36893488147419103224); 540 try test__negti2(-18446744073709551615, 18446744073709551615); 541 try test__negti2(18446744073709551615, -18446744073709551615); 542 try test__negti2(-18446744073709551614, 18446744073709551614); 543 try test__negti2(18446744073709551614, -18446744073709551614); 544 try test__negti2(-18446744073709551612, 18446744073709551612); 545 try test__negti2(18446744073709551612, -18446744073709551612); 546 try test__negti2(-18446744073709551608, 18446744073709551608); 547 try test__negti2(18446744073709551608, -18446744073709551608); 548 try test__negti2(-9223372036854775807, 9223372036854775807); 549 try test__negti2(9223372036854775807, -9223372036854775807); 550 try test__negti2(-9223372036854775806, 9223372036854775806); 551 try test__negti2(9223372036854775806, -9223372036854775806); 552 try test__negti2(-9223372036854775804, 9223372036854775804); 553 try test__negti2(9223372036854775804, -9223372036854775804); 554 try test__negti2(-9223372036854775800, 9223372036854775800); 555 try test__negti2(9223372036854775800, -9223372036854775800); 556 try test__negti2(-4611686018427387903, 4611686018427387903); 557 try test__negti2(4611686018427387903, -4611686018427387903); 558 try test__negti2(-4611686018427387902, 4611686018427387902); 559 try test__negti2(4611686018427387902, -4611686018427387902); 560 try test__negti2(-4611686018427387900, 4611686018427387900); 561 try test__negti2(4611686018427387900, -4611686018427387900); 562 try test__negti2(-4611686018427387896, 4611686018427387896); 563 try test__negti2(4611686018427387896, -4611686018427387896); 564 try test__negti2(-2305843009213693951, 2305843009213693951); 565 try test__negti2(2305843009213693951, -2305843009213693951); 566 try test__negti2(-2305843009213693950, 2305843009213693950); 567 try test__negti2(2305843009213693950, -2305843009213693950); 568 try test__negti2(-2305843009213693948, 2305843009213693948); 569 try test__negti2(2305843009213693948, -2305843009213693948); 570 try test__negti2(-2305843009213693944, 2305843009213693944); 571 try test__negti2(2305843009213693944, -2305843009213693944); 572 try test__negti2(-1152921504606846975, 1152921504606846975); 573 try test__negti2(1152921504606846975, -1152921504606846975); 574 try test__negti2(-1152921504606846974, 1152921504606846974); 575 try test__negti2(1152921504606846974, -1152921504606846974); 576 try test__negti2(-1152921504606846972, 1152921504606846972); 577 try test__negti2(1152921504606846972, -1152921504606846972); 578 try test__negti2(-1152921504606846968, 1152921504606846968); 579 try test__negti2(1152921504606846968, -1152921504606846968); 580 try test__negti2(-576460752303423487, 576460752303423487); 581 try test__negti2(576460752303423487, -576460752303423487); 582 try test__negti2(-576460752303423486, 576460752303423486); 583 try test__negti2(576460752303423486, -576460752303423486); 584 try test__negti2(-576460752303423484, 576460752303423484); 585 try test__negti2(576460752303423484, -576460752303423484); 586 try test__negti2(-576460752303423480, 576460752303423480); 587 try test__negti2(576460752303423480, -576460752303423480); 588 try test__negti2(-288230376151711743, 288230376151711743); 589 try test__negti2(288230376151711743, -288230376151711743); 590 try test__negti2(-288230376151711742, 288230376151711742); 591 try test__negti2(288230376151711742, -288230376151711742); 592 try test__negti2(-288230376151711740, 288230376151711740); 593 try test__negti2(288230376151711740, -288230376151711740); 594 try test__negti2(-288230376151711736, 288230376151711736); 595 try test__negti2(288230376151711736, -288230376151711736); 596 try test__negti2(-144115188075855871, 144115188075855871); 597 try test__negti2(144115188075855871, -144115188075855871); 598 try test__negti2(-144115188075855870, 144115188075855870); 599 try test__negti2(144115188075855870, -144115188075855870); 600 try test__negti2(-144115188075855868, 144115188075855868); 601 try test__negti2(144115188075855868, -144115188075855868); 602 try test__negti2(-144115188075855864, 144115188075855864); 603 try test__negti2(144115188075855864, -144115188075855864); 604 try test__negti2(-72057594037927935, 72057594037927935); 605 try test__negti2(72057594037927935, -72057594037927935); 606 try test__negti2(-72057594037927934, 72057594037927934); 607 try test__negti2(72057594037927934, -72057594037927934); 608 try test__negti2(-72057594037927932, 72057594037927932); 609 try test__negti2(72057594037927932, -72057594037927932); 610 try test__negti2(-72057594037927928, 72057594037927928); 611 try test__negti2(72057594037927928, -72057594037927928); 612 try test__negti2(-36028797018963967, 36028797018963967); 613 try test__negti2(36028797018963967, -36028797018963967); 614 try test__negti2(-36028797018963966, 36028797018963966); 615 try test__negti2(36028797018963966, -36028797018963966); 616 try test__negti2(-36028797018963964, 36028797018963964); 617 try test__negti2(36028797018963964, -36028797018963964); 618 try test__negti2(-36028797018963960, 36028797018963960); 619 try test__negti2(36028797018963960, -36028797018963960); 620 try test__negti2(-18014398509481983, 18014398509481983); 621 try test__negti2(18014398509481983, -18014398509481983); 622 try test__negti2(-18014398509481982, 18014398509481982); 623 try test__negti2(18014398509481982, -18014398509481982); 624 try test__negti2(-18014398509481980, 18014398509481980); 625 try test__negti2(18014398509481980, -18014398509481980); 626 try test__negti2(-18014398509481976, 18014398509481976); 627 try test__negti2(18014398509481976, -18014398509481976); 628 try test__negti2(-9007199254740991, 9007199254740991); 629 try test__negti2(9007199254740991, -9007199254740991); 630 try test__negti2(-9007199254740990, 9007199254740990); 631 try test__negti2(9007199254740990, -9007199254740990); 632 try test__negti2(-9007199254740988, 9007199254740988); 633 try test__negti2(9007199254740988, -9007199254740988); 634 try test__negti2(-9007199254740984, 9007199254740984); 635 try test__negti2(9007199254740984, -9007199254740984); 636 try test__negti2(-4503599627370495, 4503599627370495); 637 try test__negti2(4503599627370495, -4503599627370495); 638 try test__negti2(-4503599627370494, 4503599627370494); 639 try test__negti2(4503599627370494, -4503599627370494); 640 try test__negti2(-4503599627370492, 4503599627370492); 641 try test__negti2(4503599627370492, -4503599627370492); 642 try test__negti2(-4503599627370488, 4503599627370488); 643 try test__negti2(4503599627370488, -4503599627370488); 644 try test__negti2(-2251799813685247, 2251799813685247); 645 try test__negti2(2251799813685247, -2251799813685247); 646 try test__negti2(-2251799813685246, 2251799813685246); 647 try test__negti2(2251799813685246, -2251799813685246); 648 try test__negti2(-2251799813685244, 2251799813685244); 649 try test__negti2(2251799813685244, -2251799813685244); 650 try test__negti2(-2251799813685240, 2251799813685240); 651 try test__negti2(2251799813685240, -2251799813685240); 652 try test__negti2(-1125899906842623, 1125899906842623); 653 try test__negti2(1125899906842623, -1125899906842623); 654 try test__negti2(-1125899906842622, 1125899906842622); 655 try test__negti2(1125899906842622, -1125899906842622); 656 try test__negti2(-1125899906842620, 1125899906842620); 657 try test__negti2(1125899906842620, -1125899906842620); 658 try test__negti2(-1125899906842616, 1125899906842616); 659 try test__negti2(1125899906842616, -1125899906842616); 660 try test__negti2(-562949953421311, 562949953421311); 661 try test__negti2(562949953421311, -562949953421311); 662 try test__negti2(-562949953421310, 562949953421310); 663 try test__negti2(562949953421310, -562949953421310); 664 try test__negti2(-562949953421308, 562949953421308); 665 try test__negti2(562949953421308, -562949953421308); 666 try test__negti2(-562949953421304, 562949953421304); 667 try test__negti2(562949953421304, -562949953421304); 668 try test__negti2(-281474976710655, 281474976710655); 669 try test__negti2(281474976710655, -281474976710655); 670 try test__negti2(-281474976710654, 281474976710654); 671 try test__negti2(281474976710654, -281474976710654); 672 try test__negti2(-281474976710652, 281474976710652); 673 try test__negti2(281474976710652, -281474976710652); 674 try test__negti2(-281474976710648, 281474976710648); 675 try test__negti2(281474976710648, -281474976710648); 676 try test__negti2(-140737488355327, 140737488355327); 677 try test__negti2(140737488355327, -140737488355327); 678 try test__negti2(-140737488355326, 140737488355326); 679 try test__negti2(140737488355326, -140737488355326); 680 try test__negti2(-140737488355324, 140737488355324); 681 try test__negti2(140737488355324, -140737488355324); 682 try test__negti2(-140737488355320, 140737488355320); 683 try test__negti2(140737488355320, -140737488355320); 684 try test__negti2(-70368744177663, 70368744177663); 685 try test__negti2(70368744177663, -70368744177663); 686 try test__negti2(-70368744177662, 70368744177662); 687 try test__negti2(70368744177662, -70368744177662); 688 try test__negti2(-70368744177660, 70368744177660); 689 try test__negti2(70368744177660, -70368744177660); 690 try test__negti2(-70368744177656, 70368744177656); 691 try test__negti2(70368744177656, -70368744177656); 692 try test__negti2(-35184372088831, 35184372088831); 693 try test__negti2(35184372088831, -35184372088831); 694 try test__negti2(-35184372088830, 35184372088830); 695 try test__negti2(35184372088830, -35184372088830); 696 try test__negti2(-35184372088828, 35184372088828); 697 try test__negti2(35184372088828, -35184372088828); 698 try test__negti2(-35184372088824, 35184372088824); 699 try test__negti2(35184372088824, -35184372088824); 700 try test__negti2(-17592186044415, 17592186044415); 701 try test__negti2(17592186044415, -17592186044415); 702 try test__negti2(-17592186044414, 17592186044414); 703 try test__negti2(17592186044414, -17592186044414); 704 try test__negti2(-17592186044412, 17592186044412); 705 try test__negti2(17592186044412, -17592186044412); 706 try test__negti2(-17592186044408, 17592186044408); 707 try test__negti2(17592186044408, -17592186044408); 708 try test__negti2(-8796093022207, 8796093022207); 709 try test__negti2(8796093022207, -8796093022207); 710 try test__negti2(-8796093022206, 8796093022206); 711 try test__negti2(8796093022206, -8796093022206); 712 try test__negti2(-8796093022204, 8796093022204); 713 try test__negti2(8796093022204, -8796093022204); 714 try test__negti2(-8796093022200, 8796093022200); 715 try test__negti2(8796093022200, -8796093022200); 716 try test__negti2(-4398046511103, 4398046511103); 717 try test__negti2(4398046511103, -4398046511103); 718 try test__negti2(-4398046511102, 4398046511102); 719 try test__negti2(4398046511102, -4398046511102); 720 try test__negti2(-4398046511100, 4398046511100); 721 try test__negti2(4398046511100, -4398046511100); 722 try test__negti2(-4398046511096, 4398046511096); 723 try test__negti2(4398046511096, -4398046511096); 724 try test__negti2(-2199023255551, 2199023255551); 725 try test__negti2(2199023255551, -2199023255551); 726 try test__negti2(-2199023255550, 2199023255550); 727 try test__negti2(2199023255550, -2199023255550); 728 try test__negti2(-2199023255548, 2199023255548); 729 try test__negti2(2199023255548, -2199023255548); 730 try test__negti2(-2199023255544, 2199023255544); 731 try test__negti2(2199023255544, -2199023255544); 732 try test__negti2(-1099511627775, 1099511627775); 733 try test__negti2(1099511627775, -1099511627775); 734 try test__negti2(-1099511627774, 1099511627774); 735 try test__negti2(1099511627774, -1099511627774); 736 try test__negti2(-1099511627772, 1099511627772); 737 try test__negti2(1099511627772, -1099511627772); 738 try test__negti2(-1099511627768, 1099511627768); 739 try test__negti2(1099511627768, -1099511627768); 740 try test__negti2(-549755813887, 549755813887); 741 try test__negti2(549755813887, -549755813887); 742 try test__negti2(-549755813886, 549755813886); 743 try test__negti2(549755813886, -549755813886); 744 try test__negti2(-549755813884, 549755813884); 745 try test__negti2(549755813884, -549755813884); 746 try test__negti2(-549755813880, 549755813880); 747 try test__negti2(549755813880, -549755813880); 748 try test__negti2(-274877906943, 274877906943); 749 try test__negti2(274877906943, -274877906943); 750 try test__negti2(-274877906942, 274877906942); 751 try test__negti2(274877906942, -274877906942); 752 try test__negti2(-274877906940, 274877906940); 753 try test__negti2(274877906940, -274877906940); 754 try test__negti2(-274877906936, 274877906936); 755 try test__negti2(274877906936, -274877906936); 756 try test__negti2(-137438953471, 137438953471); 757 try test__negti2(137438953471, -137438953471); 758 try test__negti2(-137438953470, 137438953470); 759 try test__negti2(137438953470, -137438953470); 760 try test__negti2(-137438953468, 137438953468); 761 try test__negti2(137438953468, -137438953468); 762 try test__negti2(-137438953464, 137438953464); 763 try test__negti2(137438953464, -137438953464); 764 try test__negti2(-68719476735, 68719476735); 765 try test__negti2(68719476735, -68719476735); 766 try test__negti2(-68719476734, 68719476734); 767 try test__negti2(68719476734, -68719476734); 768 try test__negti2(-68719476732, 68719476732); 769 try test__negti2(68719476732, -68719476732); 770 try test__negti2(-68719476728, 68719476728); 771 try test__negti2(68719476728, -68719476728); 772 try test__negti2(-34359738367, 34359738367); 773 try test__negti2(34359738367, -34359738367); 774 try test__negti2(-34359738366, 34359738366); 775 try test__negti2(34359738366, -34359738366); 776 try test__negti2(-34359738364, 34359738364); 777 try test__negti2(34359738364, -34359738364); 778 try test__negti2(-34359738360, 34359738360); 779 try test__negti2(34359738360, -34359738360); 780 try test__negti2(-17179869183, 17179869183); 781 try test__negti2(17179869183, -17179869183); 782 try test__negti2(-17179869182, 17179869182); 783 try test__negti2(17179869182, -17179869182); 784 try test__negti2(-17179869180, 17179869180); 785 try test__negti2(17179869180, -17179869180); 786 try test__negti2(-17179869176, 17179869176); 787 try test__negti2(17179869176, -17179869176); 788 try test__negti2(-8589934591, 8589934591); 789 try test__negti2(8589934591, -8589934591); 790 try test__negti2(-8589934590, 8589934590); 791 try test__negti2(8589934590, -8589934590); 792 try test__negti2(-8589934588, 8589934588); 793 try test__negti2(8589934588, -8589934588); 794 try test__negti2(-8589934584, 8589934584); 795 try test__negti2(8589934584, -8589934584); 796 try test__negti2(-4294967295, 4294967295); 797 try test__negti2(4294967295, -4294967295); 798 try test__negti2(-4294967294, 4294967294); 799 try test__negti2(4294967294, -4294967294); 800 try test__negti2(-4294967292, 4294967292); 801 try test__negti2(4294967292, -4294967292); 802 try test__negti2(-4294967288, 4294967288); 803 try test__negti2(4294967288, -4294967288); 804 try test__negti2(-2147483647, 2147483647); 805 try test__negti2(2147483647, -2147483647); 806 try test__negti2(-2147483646, 2147483646); 807 try test__negti2(2147483646, -2147483646); 808 try test__negti2(-2147483644, 2147483644); 809 try test__negti2(2147483644, -2147483644); 810 try test__negti2(-2147483640, 2147483640); 811 try test__negti2(2147483640, -2147483640); 812 try test__negti2(-1073741823, 1073741823); 813 try test__negti2(1073741823, -1073741823); 814 try test__negti2(-1073741822, 1073741822); 815 try test__negti2(1073741822, -1073741822); 816 try test__negti2(-1073741820, 1073741820); 817 try test__negti2(1073741820, -1073741820); 818 try test__negti2(-1073741816, 1073741816); 819 try test__negti2(1073741816, -1073741816); 820 try test__negti2(-536870911, 536870911); 821 try test__negti2(536870911, -536870911); 822 try test__negti2(-536870910, 536870910); 823 try test__negti2(536870910, -536870910); 824 try test__negti2(-536870908, 536870908); 825 try test__negti2(536870908, -536870908); 826 try test__negti2(-536870904, 536870904); 827 try test__negti2(536870904, -536870904); 828 try test__negti2(-268435455, 268435455); 829 try test__negti2(268435455, -268435455); 830 try test__negti2(-268435454, 268435454); 831 try test__negti2(268435454, -268435454); 832 try test__negti2(-268435452, 268435452); 833 try test__negti2(268435452, -268435452); 834 try test__negti2(-268435448, 268435448); 835 try test__negti2(268435448, -268435448); 836 try test__negti2(-134217727, 134217727); 837 try test__negti2(134217727, -134217727); 838 try test__negti2(-134217726, 134217726); 839 try test__negti2(134217726, -134217726); 840 try test__negti2(-134217724, 134217724); 841 try test__negti2(134217724, -134217724); 842 try test__negti2(-134217720, 134217720); 843 try test__negti2(134217720, -134217720); 844 try test__negti2(-67108863, 67108863); 845 try test__negti2(67108863, -67108863); 846 try test__negti2(-67108862, 67108862); 847 try test__negti2(67108862, -67108862); 848 try test__negti2(-67108860, 67108860); 849 try test__negti2(67108860, -67108860); 850 try test__negti2(-67108856, 67108856); 851 try test__negti2(67108856, -67108856); 852 try test__negti2(-33554431, 33554431); 853 try test__negti2(33554431, -33554431); 854 try test__negti2(-33554430, 33554430); 855 try test__negti2(33554430, -33554430); 856 try test__negti2(-33554428, 33554428); 857 try test__negti2(33554428, -33554428); 858 try test__negti2(-33554424, 33554424); 859 try test__negti2(33554424, -33554424); 860 try test__negti2(-16777215, 16777215); 861 try test__negti2(16777215, -16777215); 862 try test__negti2(-16777214, 16777214); 863 try test__negti2(16777214, -16777214); 864 try test__negti2(-16777212, 16777212); 865 try test__negti2(16777212, -16777212); 866 try test__negti2(-16777208, 16777208); 867 try test__negti2(16777208, -16777208); 868 try test__negti2(-8388607, 8388607); 869 try test__negti2(8388607, -8388607); 870 try test__negti2(-8388606, 8388606); 871 try test__negti2(8388606, -8388606); 872 try test__negti2(-8388604, 8388604); 873 try test__negti2(8388604, -8388604); 874 try test__negti2(-8388600, 8388600); 875 try test__negti2(8388600, -8388600); 876 try test__negti2(-4194303, 4194303); 877 try test__negti2(4194303, -4194303); 878 try test__negti2(-4194302, 4194302); 879 try test__negti2(4194302, -4194302); 880 try test__negti2(-4194300, 4194300); 881 try test__negti2(4194300, -4194300); 882 try test__negti2(-4194296, 4194296); 883 try test__negti2(4194296, -4194296); 884 try test__negti2(-2097151, 2097151); 885 try test__negti2(2097151, -2097151); 886 try test__negti2(-2097150, 2097150); 887 try test__negti2(2097150, -2097150); 888 try test__negti2(-2097148, 2097148); 889 try test__negti2(2097148, -2097148); 890 try test__negti2(-2097144, 2097144); 891 try test__negti2(2097144, -2097144); 892 try test__negti2(-1048575, 1048575); 893 try test__negti2(1048575, -1048575); 894 try test__negti2(-1048574, 1048574); 895 try test__negti2(1048574, -1048574); 896 try test__negti2(-1048572, 1048572); 897 try test__negti2(1048572, -1048572); 898 try test__negti2(-1048568, 1048568); 899 try test__negti2(1048568, -1048568); 900 try test__negti2(-524287, 524287); 901 try test__negti2(524287, -524287); 902 try test__negti2(-524286, 524286); 903 try test__negti2(524286, -524286); 904 try test__negti2(-524284, 524284); 905 try test__negti2(524284, -524284); 906 try test__negti2(-524280, 524280); 907 try test__negti2(524280, -524280); 908 try test__negti2(-262143, 262143); 909 try test__negti2(262143, -262143); 910 try test__negti2(-262142, 262142); 911 try test__negti2(262142, -262142); 912 try test__negti2(-262140, 262140); 913 try test__negti2(262140, -262140); 914 try test__negti2(-262136, 262136); 915 try test__negti2(262136, -262136); 916 try test__negti2(-131071, 131071); 917 try test__negti2(131071, -131071); 918 try test__negti2(-131070, 131070); 919 try test__negti2(131070, -131070); 920 try test__negti2(-131068, 131068); 921 try test__negti2(131068, -131068); 922 try test__negti2(-131064, 131064); 923 try test__negti2(131064, -131064); 924 try test__negti2(-65535, 65535); 925 try test__negti2(65535, -65535); 926 try test__negti2(-65534, 65534); 927 try test__negti2(65534, -65534); 928 try test__negti2(-65532, 65532); 929 try test__negti2(65532, -65532); 930 try test__negti2(-65528, 65528); 931 try test__negti2(65528, -65528); 932 try test__negti2(-32767, 32767); 933 try test__negti2(32767, -32767); 934 try test__negti2(-32766, 32766); 935 try test__negti2(32766, -32766); 936 try test__negti2(-32764, 32764); 937 try test__negti2(32764, -32764); 938 try test__negti2(-32760, 32760); 939 try test__negti2(32760, -32760); 940 try test__negti2(-16383, 16383); 941 try test__negti2(16383, -16383); 942 try test__negti2(-16382, 16382); 943 try test__negti2(16382, -16382); 944 try test__negti2(-16380, 16380); 945 try test__negti2(16380, -16380); 946 try test__negti2(-16376, 16376); 947 try test__negti2(16376, -16376); 948 try test__negti2(-8191, 8191); 949 try test__negti2(8191, -8191); 950 try test__negti2(-8190, 8190); 951 try test__negti2(8190, -8190); 952 try test__negti2(-8188, 8188); 953 try test__negti2(8188, -8188); 954 try test__negti2(-8184, 8184); 955 try test__negti2(8184, -8184); 956 try test__negti2(-4095, 4095); 957 try test__negti2(4095, -4095); 958 try test__negti2(-4094, 4094); 959 try test__negti2(4094, -4094); 960 try test__negti2(-4092, 4092); 961 try test__negti2(4092, -4092); 962 try test__negti2(-4088, 4088); 963 try test__negti2(4088, -4088); 964 try test__negti2(-2047, 2047); 965 try test__negti2(2047, -2047); 966 try test__negti2(-2046, 2046); 967 try test__negti2(2046, -2046); 968 try test__negti2(-2044, 2044); 969 try test__negti2(2044, -2044); 970 try test__negti2(-2040, 2040); 971 try test__negti2(2040, -2040); 972 try test__negti2(-1023, 1023); 973 try test__negti2(1023, -1023); 974 try test__negti2(-1022, 1022); 975 try test__negti2(1022, -1022); 976 try test__negti2(-1020, 1020); 977 try test__negti2(1020, -1020); 978 try test__negti2(-1016, 1016); 979 try test__negti2(1016, -1016); 980 try test__negti2(-511, 511); 981 try test__negti2(511, -511); 982 try test__negti2(-510, 510); 983 try test__negti2(510, -510); 984 try test__negti2(-508, 508); 985 try test__negti2(508, -508); 986 try test__negti2(-504, 504); 987 try test__negti2(504, -504); 988 try test__negti2(-255, 255); 989 try test__negti2(255, -255); 990 try test__negti2(-254, 254); 991 try test__negti2(254, -254); 992 try test__negti2(-252, 252); 993 try test__negti2(252, -252); 994 try test__negti2(-248, 248); 995 try test__negti2(248, -248); 996 try test__negti2(-127, 127); 997 try test__negti2(127, -127); 998 try test__negti2(-126, 126); 999 try test__negti2(126, -126); 1000 try test__negti2(-124, 124); 1001 try test__negti2(124, -124); 1002 try test__negti2(-120, 120); 1003 try test__negti2(120, -120); 1004 try test__negti2(-63, 63); 1005 try test__negti2(63, -63); 1006 try test__negti2(-62, 62); 1007 try test__negti2(62, -62); 1008 try test__negti2(-60, 60); 1009 try test__negti2(60, -60); 1010 try test__negti2(-56, 56); 1011 try test__negti2(56, -56); 1012 try test__negti2(-31, 31); 1013 try test__negti2(31, -31); 1014 try test__negti2(-30, 30); 1015 try test__negti2(30, -30); 1016 try test__negti2(-28, 28); 1017 try test__negti2(28, -28); 1018 try test__negti2(-24, 24); 1019 try test__negti2(24, -24); 1020 try test__negti2(-15, 15); 1021 try test__negti2(15, -15); 1022 try test__negti2(-14, 14); 1023 try test__negti2(14, -14); 1024 try test__negti2(-12, 12); 1025 try test__negti2(12, -12); 1026 try test__negti2(-8, 8); 1027 try test__negti2(8, -8); 1028 }