Home | History | Annotate | Download | only in webkit
      1 # Copyright 2013 the V8 project authors. All rights reserved.
      2 # Copyright (C) 2005, 2006, 2007, 2008, 2009 Apple Inc. All rights reserved.
      3 #
      4 # Redistribution and use in source and binary forms, with or without
      5 # modification, are permitted provided that the following conditions
      6 # are met:
      7 # 1.  Redistributions of source code must retain the above copyright
      8 #     notice, this list of conditions and the following disclaimer.
      9 # 2.  Redistributions in binary form must reproduce the above copyright
     10 #     notice, this list of conditions and the following disclaimer in the
     11 #     documentation and/or other materials provided with the distribution.
     12 #
     13 # THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS'' AND ANY
     14 # EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
     15 # WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
     16 # DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS BE LIABLE FOR ANY
     17 # DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
     18 # (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
     19 # LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
     20 # ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
     21 # (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
     22 # SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     23 
     24 This tests that integer addition optimizations in the DFG are not performed too overzealously.
     25 
     26 On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".
     27 
     28 
     29 PASS result.a is 1
     30 PASS result.b is 1
     31 PASS result.a is 20000001
     32 PASS result.b is 20000001
     33 PASS result.a is 40000001
     34 PASS result.b is 40000001
     35 PASS result.a is 60000001
     36 PASS result.b is 60000001
     37 PASS result.a is 80000001
     38 PASS result.b is 80000001
     39 PASS result.a is 100000001
     40 PASS result.b is 100000001
     41 PASS result.a is 120000001
     42 PASS result.b is 120000001
     43 PASS result.a is 140000001
     44 PASS result.b is 140000001
     45 PASS result.a is 160000001
     46 PASS result.b is 160000001
     47 PASS result.a is 180000001
     48 PASS result.b is 180000001
     49 PASS result.a is 200000001
     50 PASS result.b is 200000001
     51 PASS result.a is 220000001
     52 PASS result.b is 220000001
     53 PASS result.a is 240000001
     54 PASS result.b is 240000001
     55 PASS result.a is 260000001
     56 PASS result.b is 260000001
     57 PASS result.a is 280000001
     58 PASS result.b is 280000001
     59 PASS result.a is 300000001
     60 PASS result.b is 300000001
     61 PASS result.a is 320000001
     62 PASS result.b is 320000001
     63 PASS result.a is 340000001
     64 PASS result.b is 340000001
     65 PASS result.a is 360000001
     66 PASS result.b is 360000001
     67 PASS result.a is 380000001
     68 PASS result.b is 380000001
     69 PASS result.a is 400000001
     70 PASS result.b is 400000001
     71 PASS result.a is 420000001
     72 PASS result.b is 420000001
     73 PASS result.a is 440000001
     74 PASS result.b is 440000001
     75 PASS result.a is 460000001
     76 PASS result.b is 460000001
     77 PASS result.a is 480000001
     78 PASS result.b is 480000001
     79 PASS result.a is 500000001
     80 PASS result.b is 500000001
     81 PASS result.a is 520000001
     82 PASS result.b is 520000001
     83 PASS result.a is 540000001
     84 PASS result.b is 540000001
     85 PASS result.a is 560000001
     86 PASS result.b is 560000001
     87 PASS result.a is 580000001
     88 PASS result.b is 580000001
     89 PASS result.a is 600000001
     90 PASS result.b is 600000001
     91 PASS result.a is 620000001
     92 PASS result.b is 620000001
     93 PASS result.a is 640000001
     94 PASS result.b is 640000001
     95 PASS result.a is 660000001
     96 PASS result.b is 660000001
     97 PASS result.a is 680000001
     98 PASS result.b is 680000001
     99 PASS result.a is 700000001
    100 PASS result.b is 700000001
    101 PASS result.a is 720000001
    102 PASS result.b is 720000001
    103 PASS result.a is 740000001
    104 PASS result.b is 740000001
    105 PASS result.a is 760000001
    106 PASS result.b is 760000001
    107 PASS result.a is 780000001
    108 PASS result.b is 780000001
    109 PASS result.a is 800000001
    110 PASS result.b is 800000001
    111 PASS result.a is 820000001
    112 PASS result.b is 820000001
    113 PASS result.a is 840000001
    114 PASS result.b is 840000001
    115 PASS result.a is 860000001
    116 PASS result.b is 860000001
    117 PASS result.a is 880000001
    118 PASS result.b is 880000001
    119 PASS result.a is 900000001
    120 PASS result.b is 900000001
    121 PASS result.a is 920000001
    122 PASS result.b is 920000001
    123 PASS result.a is 940000001
    124 PASS result.b is 940000001
    125 PASS result.a is 960000001
    126 PASS result.b is 960000001
    127 PASS result.a is 980000001
    128 PASS result.b is 980000001
    129 PASS result.a is 1000000001
    130 PASS result.b is 1000000001
    131 PASS result.a is 1020000001
    132 PASS result.b is 1020000001
    133 PASS result.a is 1040000001
    134 PASS result.b is 1040000001
    135 PASS result.a is 1060000001
    136 PASS result.b is 1060000001
    137 PASS result.a is 1080000001
    138 PASS result.b is 1080000001
    139 PASS result.a is 1100000001
    140 PASS result.b is 1100000001
    141 PASS result.a is 1120000001
    142 PASS result.b is 1120000001
    143 PASS result.a is 1140000001
    144 PASS result.b is 1140000001
    145 PASS result.a is 1160000001
    146 PASS result.b is 1160000001
    147 PASS result.a is 1180000001
    148 PASS result.b is 1180000001
    149 PASS result.a is 1200000001
    150 PASS result.b is 1200000001
    151 PASS result.a is 1220000001
    152 PASS result.b is 1220000001
    153 PASS result.a is 1240000001
    154 PASS result.b is 1240000001
    155 PASS result.a is 1260000001
    156 PASS result.b is 1260000001
    157 PASS result.a is 1280000001
    158 PASS result.b is 1280000001
    159 PASS result.a is 1300000001
    160 PASS result.b is 1300000001
    161 PASS result.a is 1320000001
    162 PASS result.b is 1320000001
    163 PASS result.a is 1340000001
    164 PASS result.b is 1340000001
    165 PASS result.a is 1360000001
    166 PASS result.b is 1360000001
    167 PASS result.a is 1380000001
    168 PASS result.b is 1380000001
    169 PASS result.a is 1400000001
    170 PASS result.b is 1400000001
    171 PASS result.a is 1420000001
    172 PASS result.b is 1420000001
    173 PASS result.a is 1440000001
    174 PASS result.b is 1440000001
    175 PASS result.a is 1460000001
    176 PASS result.b is 1460000001
    177 PASS result.a is 1480000001
    178 PASS result.b is 1480000001
    179 PASS result.a is 1500000001
    180 PASS result.b is 1500000001
    181 PASS result.a is 1520000001
    182 PASS result.b is 1520000001
    183 PASS result.a is 1540000001
    184 PASS result.b is 1540000001
    185 PASS result.a is 1560000001
    186 PASS result.b is 1560000001
    187 PASS result.a is 1580000001
    188 PASS result.b is 1580000001
    189 PASS result.a is 1600000001
    190 PASS result.b is 1600000001
    191 PASS result.a is 1620000001
    192 PASS result.b is 1620000001
    193 PASS result.a is 1640000001
    194 PASS result.b is 1640000001
    195 PASS result.a is 1660000001
    196 PASS result.b is 1660000001
    197 PASS result.a is 1680000001
    198 PASS result.b is 1680000001
    199 PASS result.a is 1700000001
    200 PASS result.b is 1700000001
    201 PASS result.a is 1720000001
    202 PASS result.b is 1720000001
    203 PASS result.a is 1740000001
    204 PASS result.b is 1740000001
    205 PASS result.a is 1760000001
    206 PASS result.b is 1760000001
    207 PASS result.a is 1780000001
    208 PASS result.b is 1780000001
    209 PASS result.a is 1800000001
    210 PASS result.b is 1800000001
    211 PASS result.a is 1820000001
    212 PASS result.b is 1820000001
    213 PASS result.a is 1840000001
    214 PASS result.b is 1840000001
    215 PASS result.a is 1860000001
    216 PASS result.b is 1860000001
    217 PASS result.a is 1880000001
    218 PASS result.b is 1880000001
    219 PASS result.a is 1900000001
    220 PASS result.b is 1900000001
    221 PASS result.a is 1920000001
    222 PASS result.b is 1920000001
    223 PASS result.a is 1940000001
    224 PASS result.b is 1940000001
    225 PASS result.a is 1960000001
    226 PASS result.b is 1960000001
    227 PASS result.a is 1980000001
    228 PASS result.b is 1980000001
    229 PASS result.a is 2000000001
    230 PASS result.b is 2000000001
    231 PASS result.a is 2020000001
    232 PASS result.b is 2020000001
    233 PASS result.a is 2040000001
    234 PASS result.b is 2040000001
    235 PASS result.a is 2060000001
    236 PASS result.b is 2060000001
    237 PASS result.a is 2080000001
    238 PASS result.b is 2080000001
    239 PASS result.a is 2100000001
    240 PASS result.b is 2100000001
    241 PASS result.a is 2120000001
    242 PASS result.b is 2120000001
    243 PASS result.a is 2140000001
    244 PASS result.b is 2140000001
    245 PASS result.a is -2134967295
    246 PASS result.b is 2160000001
    247 PASS result.a is -2114967295
    248 PASS result.b is 2180000001
    249 PASS result.a is -2094967295
    250 PASS result.b is 2200000001
    251 PASS result.a is -2074967295
    252 PASS result.b is 2220000001
    253 PASS result.a is -2054967295
    254 PASS result.b is 2240000001
    255 PASS result.a is -2034967295
    256 PASS result.b is 2260000001
    257 PASS result.a is -2014967295
    258 PASS result.b is 2280000001
    259 PASS result.a is -1994967295
    260 PASS result.b is 2300000001
    261 PASS result.a is -1974967295
    262 PASS result.b is 2320000001
    263 PASS result.a is -1954967295
    264 PASS result.b is 2340000001
    265 PASS result.a is -1934967295
    266 PASS result.b is 2360000001
    267 PASS result.a is -1914967295
    268 PASS result.b is 2380000001
    269 PASS result.a is -1894967295
    270 PASS result.b is 2400000001
    271 PASS result.a is -1874967295
    272 PASS result.b is 2420000001
    273 PASS result.a is -1854967295
    274 PASS result.b is 2440000001
    275 PASS result.a is -1834967295
    276 PASS result.b is 2460000001
    277 PASS result.a is -1814967295
    278 PASS result.b is 2480000001
    279 PASS result.a is -1794967295
    280 PASS result.b is 2500000001
    281 PASS result.a is -1774967295
    282 PASS result.b is 2520000001
    283 PASS result.a is -1754967295
    284 PASS result.b is 2540000001
    285 PASS result.a is -1734967295
    286 PASS result.b is 2560000001
    287 PASS result.a is -1714967295
    288 PASS result.b is 2580000001
    289 PASS result.a is -1694967295
    290 PASS result.b is 2600000001
    291 PASS result.a is -1674967295
    292 PASS result.b is 2620000001
    293 PASS result.a is -1654967295
    294 PASS result.b is 2640000001
    295 PASS result.a is -1634967295
    296 PASS result.b is 2660000001
    297 PASS result.a is -1614967295
    298 PASS result.b is 2680000001
    299 PASS result.a is -1594967295
    300 PASS result.b is 2700000001
    301 PASS result.a is -1574967295
    302 PASS result.b is 2720000001
    303 PASS result.a is -1554967295
    304 PASS result.b is 2740000001
    305 PASS result.a is -1534967295
    306 PASS result.b is 2760000001
    307 PASS result.a is -1514967295
    308 PASS result.b is 2780000001
    309 PASS result.a is -1494967295
    310 PASS result.b is 2800000001
    311 PASS result.a is -1474967295
    312 PASS result.b is 2820000001
    313 PASS result.a is -1454967295
    314 PASS result.b is 2840000001
    315 PASS result.a is -1434967295
    316 PASS result.b is 2860000001
    317 PASS result.a is -1414967295
    318 PASS result.b is 2880000001
    319 PASS result.a is -1394967295
    320 PASS result.b is 2900000001
    321 PASS result.a is -1374967295
    322 PASS result.b is 2920000001
    323 PASS result.a is -1354967295
    324 PASS result.b is 2940000001
    325 PASS result.a is -1334967295
    326 PASS result.b is 2960000001
    327 PASS result.a is -1314967295
    328 PASS result.b is 2980000001
    329 PASS result.a is -1294967295
    330 PASS result.b is 3000000001
    331 PASS result.a is -1274967295
    332 PASS result.b is 3020000001
    333 PASS result.a is -1254967295
    334 PASS result.b is 3040000001
    335 PASS result.a is -1234967295
    336 PASS result.b is 3060000001
    337 PASS result.a is -1214967295
    338 PASS result.b is 3080000001
    339 PASS result.a is -1194967295
    340 PASS result.b is 3100000001
    341 PASS result.a is -1174967295
    342 PASS result.b is 3120000001
    343 PASS result.a is -1154967295
    344 PASS result.b is 3140000001
    345 PASS result.a is -1134967295
    346 PASS result.b is 3160000001
    347 PASS result.a is -1114967295
    348 PASS result.b is 3180000001
    349 PASS result.a is -1094967295
    350 PASS result.b is 3200000001
    351 PASS result.a is -1074967295
    352 PASS result.b is 3220000001
    353 PASS result.a is -1054967295
    354 PASS result.b is 3240000001
    355 PASS result.a is -1034967295
    356 PASS result.b is 3260000001
    357 PASS result.a is -1014967295
    358 PASS result.b is 3280000001
    359 PASS result.a is -994967295
    360 PASS result.b is 3300000001
    361 PASS result.a is -974967295
    362 PASS result.b is 3320000001
    363 PASS result.a is -954967295
    364 PASS result.b is 3340000001
    365 PASS result.a is -934967295
    366 PASS result.b is 3360000001
    367 PASS result.a is -914967295
    368 PASS result.b is 3380000001
    369 PASS result.a is -894967295
    370 PASS result.b is 3400000001
    371 PASS result.a is -874967295
    372 PASS result.b is 3420000001
    373 PASS result.a is -854967295
    374 PASS result.b is 3440000001
    375 PASS result.a is -834967295
    376 PASS result.b is 3460000001
    377 PASS result.a is -814967295
    378 PASS result.b is 3480000001
    379 PASS result.a is -794967295
    380 PASS result.b is 3500000001
    381 PASS result.a is -774967295
    382 PASS result.b is 3520000001
    383 PASS result.a is -754967295
    384 PASS result.b is 3540000001
    385 PASS result.a is -734967295
    386 PASS result.b is 3560000001
    387 PASS result.a is -714967295
    388 PASS result.b is 3580000001
    389 PASS result.a is -694967295
    390 PASS result.b is 3600000001
    391 PASS result.a is -674967295
    392 PASS result.b is 3620000001
    393 PASS result.a is -654967295
    394 PASS result.b is 3640000001
    395 PASS result.a is -634967295
    396 PASS result.b is 3660000001
    397 PASS result.a is -614967295
    398 PASS result.b is 3680000001
    399 PASS result.a is -594967295
    400 PASS result.b is 3700000001
    401 PASS result.a is -574967295
    402 PASS result.b is 3720000001
    403 PASS result.a is -554967295
    404 PASS result.b is 3740000001
    405 PASS result.a is -534967295
    406 PASS result.b is 3760000001
    407 PASS result.a is -514967295
    408 PASS result.b is 3780000001
    409 PASS result.a is -494967295
    410 PASS result.b is 3800000001
    411 PASS result.a is -474967295
    412 PASS result.b is 3820000001
    413 PASS result.a is -454967295
    414 PASS result.b is 3840000001
    415 PASS result.a is -434967295
    416 PASS result.b is 3860000001
    417 PASS result.a is -414967295
    418 PASS result.b is 3880000001
    419 PASS result.a is -394967295
    420 PASS result.b is 3900000001
    421 PASS result.a is -374967295
    422 PASS result.b is 3920000001
    423 PASS result.a is -354967295
    424 PASS result.b is 3940000001
    425 PASS result.a is -334967295
    426 PASS result.b is 3960000001
    427 PASS result.a is -314967295
    428 PASS result.b is 3980000001
    429 PASS result.a is -294967295
    430 PASS result.b is 4000000001
    431 PASS result.a is -274967295
    432 PASS result.b is 4020000001
    433 PASS result.a is -254967295
    434 PASS result.b is 4040000001
    435 PASS result.a is -234967295
    436 PASS result.b is 4060000001
    437 PASS result.a is -214967295
    438 PASS result.b is 4080000001
    439 PASS result.a is -194967295
    440 PASS result.b is 4100000001
    441 PASS result.a is -174967295
    442 PASS result.b is 4120000001
    443 PASS result.a is -154967295
    444 PASS result.b is 4140000001
    445 PASS result.a is -134967295
    446 PASS result.b is 4160000001
    447 PASS result.a is -114967295
    448 PASS result.b is 4180000001
    449 PASS result.a is -94967295
    450 PASS result.b is 4200000001
    451 PASS result.a is -74967295
    452 PASS result.b is 4220000001
    453 PASS result.a is -54967295
    454 PASS result.b is 4240000001
    455 PASS result.a is -34967295
    456 PASS result.b is 4260000001
    457 PASS result.a is -14967295
    458 PASS result.b is 4280000001
    459 PASS result.a is 5032705
    460 PASS result.b is 4300000001
    461 PASS result.a is 25032705
    462 PASS result.b is 4320000001
    463 PASS result.a is 45032705
    464 PASS result.b is 4340000001
    465 PASS result.a is 65032705
    466 PASS result.b is 4360000001
    467 PASS result.a is 85032705
    468 PASS result.b is 4380000001
    469 PASS result.a is 105032705
    470 PASS result.b is 4400000001
    471 PASS result.a is 125032705
    472 PASS result.b is 4420000001
    473 PASS result.a is 145032705
    474 PASS result.b is 4440000001
    475 PASS result.a is 165032705
    476 PASS result.b is 4460000001
    477 PASS result.a is 185032705
    478 PASS result.b is 4480000001
    479 PASS result.a is 205032705
    480 PASS result.b is 4500000001
    481 PASS result.a is 225032705
    482 PASS result.b is 4520000001
    483 PASS result.a is 245032705
    484 PASS result.b is 4540000001
    485 PASS result.a is 265032705
    486 PASS result.b is 4560000001
    487 PASS result.a is 285032705
    488 PASS result.b is 4580000001
    489 PASS result.a is 305032705
    490 PASS result.b is 4600000001
    491 PASS result.a is 325032705
    492 PASS result.b is 4620000001
    493 PASS result.a is 345032705
    494 PASS result.b is 4640000001
    495 PASS result.a is 365032705
    496 PASS result.b is 4660000001
    497 PASS result.a is 385032705
    498 PASS result.b is 4680000001
    499 PASS result.a is 405032705
    500 PASS result.b is 4700000001
    501 PASS result.a is 425032705
    502 PASS result.b is 4720000001
    503 PASS result.a is 445032705
    504 PASS result.b is 4740000001
    505 PASS result.a is 465032705
    506 PASS result.b is 4760000001
    507 PASS result.a is 485032705
    508 PASS result.b is 4780000001
    509 PASS result.a is 505032705
    510 PASS result.b is 4800000001
    511 PASS result.a is 525032705
    512 PASS result.b is 4820000001
    513 PASS result.a is 545032705
    514 PASS result.b is 4840000001
    515 PASS result.a is 565032705
    516 PASS result.b is 4860000001
    517 PASS result.a is 585032705
    518 PASS result.b is 4880000001
    519 PASS result.a is 605032705
    520 PASS result.b is 4900000001
    521 PASS result.a is 625032705
    522 PASS result.b is 4920000001
    523 PASS result.a is 645032705
    524 PASS result.b is 4940000001
    525 PASS result.a is 665032705
    526 PASS result.b is 4960000001
    527 PASS result.a is 685032705
    528 PASS result.b is 4980000001
    529 PASS result.a is 705032705
    530 PASS result.b is 5000000001
    531 PASS result.a is 725032705
    532 PASS result.b is 5020000001
    533 PASS result.a is 745032705
    534 PASS result.b is 5040000001
    535 PASS result.a is 765032705
    536 PASS result.b is 5060000001
    537 PASS result.a is 785032705
    538 PASS result.b is 5080000001
    539 PASS result.a is 805032705
    540 PASS result.b is 5100000001
    541 PASS result.a is 825032705
    542 PASS result.b is 5120000001
    543 PASS result.a is 845032705
    544 PASS result.b is 5140000001
    545 PASS result.a is 865032705
    546 PASS result.b is 5160000001
    547 PASS result.a is 885032705
    548 PASS result.b is 5180000001
    549 PASS result.a is 905032705
    550 PASS result.b is 5200000001
    551 PASS result.a is 925032705
    552 PASS result.b is 5220000001
    553 PASS result.a is 945032705
    554 PASS result.b is 5240000001
    555 PASS result.a is 965032705
    556 PASS result.b is 5260000001
    557 PASS result.a is 985032705
    558 PASS result.b is 5280000001
    559 PASS result.a is 1005032705
    560 PASS result.b is 5300000001
    561 PASS result.a is 1025032705
    562 PASS result.b is 5320000001
    563 PASS result.a is 1045032705
    564 PASS result.b is 5340000001
    565 PASS result.a is 1065032705
    566 PASS result.b is 5360000001
    567 PASS result.a is 1085032705
    568 PASS result.b is 5380000001
    569 PASS result.a is 1105032705
    570 PASS result.b is 5400000001
    571 PASS result.a is 1125032705
    572 PASS result.b is 5420000001
    573 PASS result.a is 1145032705
    574 PASS result.b is 5440000001
    575 PASS result.a is 1165032705
    576 PASS result.b is 5460000001
    577 PASS result.a is 1185032705
    578 PASS result.b is 5480000001
    579 PASS result.a is 1205032705
    580 PASS result.b is 5500000001
    581 PASS result.a is 1225032705
    582 PASS result.b is 5520000001
    583 PASS result.a is 1245032705
    584 PASS result.b is 5540000001
    585 PASS result.a is 1265032705
    586 PASS result.b is 5560000001
    587 PASS result.a is 1285032705
    588 PASS result.b is 5580000001
    589 PASS result.a is 1305032705
    590 PASS result.b is 5600000001
    591 PASS result.a is 1325032705
    592 PASS result.b is 5620000001
    593 PASS result.a is 1345032705
    594 PASS result.b is 5640000001
    595 PASS result.a is 1365032705
    596 PASS result.b is 5660000001
    597 PASS result.a is 1385032705
    598 PASS result.b is 5680000001
    599 PASS result.a is 1405032705
    600 PASS result.b is 5700000001
    601 PASS result.a is 1425032705
    602 PASS result.b is 5720000001
    603 PASS result.a is 1445032705
    604 PASS result.b is 5740000001
    605 PASS result.a is 1465032705
    606 PASS result.b is 5760000001
    607 PASS result.a is 1485032705
    608 PASS result.b is 5780000001
    609 PASS result.a is 1505032705
    610 PASS result.b is 5800000001
    611 PASS result.a is 1525032705
    612 PASS result.b is 5820000001
    613 PASS result.a is 1545032705
    614 PASS result.b is 5840000001
    615 PASS result.a is 1565032705
    616 PASS result.b is 5860000001
    617 PASS result.a is 1585032705
    618 PASS result.b is 5880000001
    619 PASS result.a is 1605032705
    620 PASS result.b is 5900000001
    621 PASS result.a is 1625032705
    622 PASS result.b is 5920000001
    623 PASS result.a is 1645032705
    624 PASS result.b is 5940000001
    625 PASS result.a is 1665032705
    626 PASS result.b is 5960000001
    627 PASS result.a is 1685032705
    628 PASS result.b is 5980000001
    629 PASS result.a is 1705032705
    630 PASS result.b is 6000000001
    631 PASS result.a is 1725032705
    632 PASS result.b is 6020000001
    633 PASS result.a is 1745032705
    634 PASS result.b is 6040000001
    635 PASS result.a is 1765032705
    636 PASS result.b is 6060000001
    637 PASS result.a is 1785032705
    638 PASS result.b is 6080000001
    639 PASS result.a is 1805032705
    640 PASS result.b is 6100000001
    641 PASS result.a is 1825032705
    642 PASS result.b is 6120000001
    643 PASS result.a is 1845032705
    644 PASS result.b is 6140000001
    645 PASS result.a is 1865032705
    646 PASS result.b is 6160000001
    647 PASS result.a is 1885032705
    648 PASS result.b is 6180000001
    649 PASS result.a is 1905032705
    650 PASS result.b is 6200000001
    651 PASS result.a is 1925032705
    652 PASS result.b is 6220000001
    653 PASS result.a is 1945032705
    654 PASS result.b is 6240000001
    655 PASS result.a is 1965032705
    656 PASS result.b is 6260000001
    657 PASS result.a is 1985032705
    658 PASS result.b is 6280000001
    659 PASS result.a is 2005032705
    660 PASS result.b is 6300000001
    661 PASS result.a is 2025032705
    662 PASS result.b is 6320000001
    663 PASS result.a is 2045032705
    664 PASS result.b is 6340000001
    665 PASS result.a is 2065032705
    666 PASS result.b is 6360000001
    667 PASS result.a is 2085032705
    668 PASS result.b is 6380000001
    669 PASS result.a is 2105032705
    670 PASS result.b is 6400000001
    671 PASS result.a is 2125032705
    672 PASS result.b is 6420000001
    673 PASS result.a is 2145032705
    674 PASS result.b is 6440000001
    675 PASS result.a is -2129934591
    676 PASS result.b is 6460000001
    677 PASS result.a is -2109934591
    678 PASS result.b is 6480000001
    679 PASS result.a is -2089934591
    680 PASS result.b is 6500000001
    681 PASS result.a is -2069934591
    682 PASS result.b is 6520000001
    683 PASS result.a is -2049934591
    684 PASS result.b is 6540000001
    685 PASS result.a is -2029934591
    686 PASS result.b is 6560000001
    687 PASS result.a is -2009934591
    688 PASS result.b is 6580000001
    689 PASS result.a is -1989934591
    690 PASS result.b is 6600000001
    691 PASS result.a is -1969934591
    692 PASS result.b is 6620000001
    693 PASS result.a is -1949934591
    694 PASS result.b is 6640000001
    695 PASS result.a is -1929934591
    696 PASS result.b is 6660000001
    697 PASS result.a is -1909934591
    698 PASS result.b is 6680000001
    699 PASS result.a is -1889934591
    700 PASS result.b is 6700000001
    701 PASS result.a is -1869934591
    702 PASS result.b is 6720000001
    703 PASS result.a is -1849934591
    704 PASS result.b is 6740000001
    705 PASS result.a is -1829934591
    706 PASS result.b is 6760000001
    707 PASS result.a is -1809934591
    708 PASS result.b is 6780000001
    709 PASS result.a is -1789934591
    710 PASS result.b is 6800000001
    711 PASS result.a is -1769934591
    712 PASS result.b is 6820000001
    713 PASS result.a is -1749934591
    714 PASS result.b is 6840000001
    715 PASS result.a is -1729934591
    716 PASS result.b is 6860000001
    717 PASS result.a is -1709934591
    718 PASS result.b is 6880000001
    719 PASS result.a is -1689934591
    720 PASS result.b is 6900000001
    721 PASS result.a is -1669934591
    722 PASS result.b is 6920000001
    723 PASS result.a is -1649934591
    724 PASS result.b is 6940000001
    725 PASS result.a is -1629934591
    726 PASS result.b is 6960000001
    727 PASS result.a is -1609934591
    728 PASS result.b is 6980000001
    729 PASS result.a is -1589934591
    730 PASS result.b is 7000000001
    731 PASS result.a is -1569934591
    732 PASS result.b is 7020000001
    733 PASS result.a is -1549934591
    734 PASS result.b is 7040000001
    735 PASS result.a is -1529934591
    736 PASS result.b is 7060000001
    737 PASS result.a is -1509934591
    738 PASS result.b is 7080000001
    739 PASS result.a is -1489934591
    740 PASS result.b is 7100000001
    741 PASS result.a is -1469934591
    742 PASS result.b is 7120000001
    743 PASS result.a is -1449934591
    744 PASS result.b is 7140000001
    745 PASS result.a is -1429934591
    746 PASS result.b is 7160000001
    747 PASS result.a is -1409934591
    748 PASS result.b is 7180000001
    749 PASS result.a is -1389934591
    750 PASS result.b is 7200000001
    751 PASS result.a is -1369934591
    752 PASS result.b is 7220000001
    753 PASS result.a is -1349934591
    754 PASS result.b is 7240000001
    755 PASS result.a is -1329934591
    756 PASS result.b is 7260000001
    757 PASS result.a is -1309934591
    758 PASS result.b is 7280000001
    759 PASS result.a is -1289934591
    760 PASS result.b is 7300000001
    761 PASS result.a is -1269934591
    762 PASS result.b is 7320000001
    763 PASS result.a is -1249934591
    764 PASS result.b is 7340000001
    765 PASS result.a is -1229934591
    766 PASS result.b is 7360000001
    767 PASS result.a is -1209934591
    768 PASS result.b is 7380000001
    769 PASS result.a is -1189934591
    770 PASS result.b is 7400000001
    771 PASS result.a is -1169934591
    772 PASS result.b is 7420000001
    773 PASS result.a is -1149934591
    774 PASS result.b is 7440000001
    775 PASS result.a is -1129934591
    776 PASS result.b is 7460000001
    777 PASS result.a is -1109934591
    778 PASS result.b is 7480000001
    779 PASS result.a is -1089934591
    780 PASS result.b is 7500000001
    781 PASS result.a is -1069934591
    782 PASS result.b is 7520000001
    783 PASS result.a is -1049934591
    784 PASS result.b is 7540000001
    785 PASS result.a is -1029934591
    786 PASS result.b is 7560000001
    787 PASS result.a is -1009934591
    788 PASS result.b is 7580000001
    789 PASS result.a is -989934591
    790 PASS result.b is 7600000001
    791 PASS result.a is -969934591
    792 PASS result.b is 7620000001
    793 PASS result.a is -949934591
    794 PASS result.b is 7640000001
    795 PASS result.a is -929934591
    796 PASS result.b is 7660000001
    797 PASS result.a is -909934591
    798 PASS result.b is 7680000001
    799 PASS result.a is -889934591
    800 PASS result.b is 7700000001
    801 PASS result.a is -869934591
    802 PASS result.b is 7720000001
    803 PASS result.a is -849934591
    804 PASS result.b is 7740000001
    805 PASS result.a is -829934591
    806 PASS result.b is 7760000001
    807 PASS result.a is -809934591
    808 PASS result.b is 7780000001
    809 PASS result.a is -789934591
    810 PASS result.b is 7800000001
    811 PASS result.a is -769934591
    812 PASS result.b is 7820000001
    813 PASS result.a is -749934591
    814 PASS result.b is 7840000001
    815 PASS result.a is -729934591
    816 PASS result.b is 7860000001
    817 PASS result.a is -709934591
    818 PASS result.b is 7880000001
    819 PASS result.a is -689934591
    820 PASS result.b is 7900000001
    821 PASS result.a is -669934591
    822 PASS result.b is 7920000001
    823 PASS result.a is -649934591
    824 PASS result.b is 7940000001
    825 PASS result.a is -629934591
    826 PASS result.b is 7960000001
    827 PASS result.a is -609934591
    828 PASS result.b is 7980000001
    829 PASS result.a is -589934591
    830 PASS result.b is 8000000001
    831 PASS result.a is -569934591
    832 PASS result.b is 8020000001
    833 PASS result.a is -549934591
    834 PASS result.b is 8040000001
    835 PASS result.a is -529934591
    836 PASS result.b is 8060000001
    837 PASS result.a is -509934591
    838 PASS result.b is 8080000001
    839 PASS result.a is -489934591
    840 PASS result.b is 8100000001
    841 PASS result.a is -469934591
    842 PASS result.b is 8120000001
    843 PASS result.a is -449934591
    844 PASS result.b is 8140000001
    845 PASS result.a is -429934591
    846 PASS result.b is 8160000001
    847 PASS result.a is -409934591
    848 PASS result.b is 8180000001
    849 PASS result.a is -389934591
    850 PASS result.b is 8200000001
    851 PASS result.a is -369934591
    852 PASS result.b is 8220000001
    853 PASS result.a is -349934591
    854 PASS result.b is 8240000001
    855 PASS result.a is -329934591
    856 PASS result.b is 8260000001
    857 PASS result.a is -309934591
    858 PASS result.b is 8280000001
    859 PASS result.a is -289934591
    860 PASS result.b is 8300000001
    861 PASS result.a is -269934591
    862 PASS result.b is 8320000001
    863 PASS result.a is -249934591
    864 PASS result.b is 8340000001
    865 PASS result.a is -229934591
    866 PASS result.b is 8360000001
    867 PASS result.a is -209934591
    868 PASS result.b is 8380000001
    869 PASS result.a is -189934591
    870 PASS result.b is 8400000001
    871 PASS result.a is -169934591
    872 PASS result.b is 8420000001
    873 PASS result.a is -149934591
    874 PASS result.b is 8440000001
    875 PASS result.a is -129934591
    876 PASS result.b is 8460000001
    877 PASS result.a is -109934591
    878 PASS result.b is 8480000001
    879 PASS result.a is -89934591
    880 PASS result.b is 8500000001
    881 PASS result.a is -69934591
    882 PASS result.b is 8520000001
    883 PASS result.a is -49934591
    884 PASS result.b is 8540000001
    885 PASS result.a is -29934591
    886 PASS result.b is 8560000001
    887 PASS result.a is -9934591
    888 PASS result.b is 8580000001
    889 PASS result.a is 10065409
    890 PASS result.b is 8600000001
    891 PASS result.a is 30065409
    892 PASS result.b is 8620000001
    893 PASS result.a is 50065409
    894 PASS result.b is 8640000001
    895 PASS result.a is 70065409
    896 PASS result.b is 8660000001
    897 PASS result.a is 90065409
    898 PASS result.b is 8680000001
    899 PASS result.a is 110065409
    900 PASS result.b is 8700000001
    901 PASS result.a is 130065409
    902 PASS result.b is 8720000001
    903 PASS result.a is 150065409
    904 PASS result.b is 8740000001
    905 PASS result.a is 170065409
    906 PASS result.b is 8760000001
    907 PASS result.a is 190065409
    908 PASS result.b is 8780000001
    909 PASS result.a is 210065409
    910 PASS result.b is 8800000001
    911 PASS result.a is 230065409
    912 PASS result.b is 8820000001
    913 PASS result.a is 250065409
    914 PASS result.b is 8840000001
    915 PASS result.a is 270065409
    916 PASS result.b is 8860000001
    917 PASS result.a is 290065409
    918 PASS result.b is 8880000001
    919 PASS result.a is 310065409
    920 PASS result.b is 8900000001
    921 PASS result.a is 330065409
    922 PASS result.b is 8920000001
    923 PASS result.a is 350065409
    924 PASS result.b is 8940000001
    925 PASS result.a is 370065409
    926 PASS result.b is 8960000001
    927 PASS result.a is 390065409
    928 PASS result.b is 8980000001
    929 PASS result.a is 410065409
    930 PASS result.b is 9000000001
    931 PASS result.a is 430065409
    932 PASS result.b is 9020000001
    933 PASS result.a is 450065409
    934 PASS result.b is 9040000001
    935 PASS result.a is 470065409
    936 PASS result.b is 9060000001
    937 PASS result.a is 490065409
    938 PASS result.b is 9080000001
    939 PASS result.a is 510065409
    940 PASS result.b is 9100000001
    941 PASS result.a is 530065409
    942 PASS result.b is 9120000001
    943 PASS result.a is 550065409
    944 PASS result.b is 9140000001
    945 PASS result.a is 570065409
    946 PASS result.b is 9160000001
    947 PASS result.a is 590065409
    948 PASS result.b is 9180000001
    949 PASS result.a is 610065409
    950 PASS result.b is 9200000001
    951 PASS result.a is 630065409
    952 PASS result.b is 9220000001
    953 PASS result.a is 650065409
    954 PASS result.b is 9240000001
    955 PASS result.a is 670065409
    956 PASS result.b is 9260000001
    957 PASS result.a is 690065409
    958 PASS result.b is 9280000001
    959 PASS result.a is 710065409
    960 PASS result.b is 9300000001
    961 PASS result.a is 730065409
    962 PASS result.b is 9320000001
    963 PASS result.a is 750065409
    964 PASS result.b is 9340000001
    965 PASS result.a is 770065409
    966 PASS result.b is 9360000001
    967 PASS result.a is 790065409
    968 PASS result.b is 9380000001
    969 PASS result.a is 810065409
    970 PASS result.b is 9400000001
    971 PASS result.a is 830065409
    972 PASS result.b is 9420000001
    973 PASS result.a is 850065409
    974 PASS result.b is 9440000001
    975 PASS result.a is 870065409
    976 PASS result.b is 9460000001
    977 PASS result.a is 890065409
    978 PASS result.b is 9480000001
    979 PASS result.a is 910065409
    980 PASS result.b is 9500000001
    981 PASS result.a is 930065409
    982 PASS result.b is 9520000001
    983 PASS result.a is 950065409
    984 PASS result.b is 9540000001
    985 PASS result.a is 970065409
    986 PASS result.b is 9560000001
    987 PASS result.a is 990065409
    988 PASS result.b is 9580000001
    989 PASS result.a is 1010065409
    990 PASS result.b is 9600000001
    991 PASS result.a is 1030065409
    992 PASS result.b is 9620000001
    993 PASS result.a is 1050065409
    994 PASS result.b is 9640000001
    995 PASS result.a is 1070065409
    996 PASS result.b is 9660000001
    997 PASS result.a is 1090065409
    998 PASS result.b is 9680000001
    999 PASS result.a is 1110065409
   1000 PASS result.b is 9700000001
   1001 PASS result.a is 1130065409
   1002 PASS result.b is 9720000001
   1003 PASS result.a is 1150065409
   1004 PASS result.b is 9740000001
   1005 PASS result.a is 1170065409
   1006 PASS result.b is 9760000001
   1007 PASS result.a is 1190065409
   1008 PASS result.b is 9780000001
   1009 PASS result.a is 1210065409
   1010 PASS result.b is 9800000001
   1011 PASS result.a is 1230065409
   1012 PASS result.b is 9820000001
   1013 PASS result.a is 1250065409
   1014 PASS result.b is 9840000001
   1015 PASS result.a is 1270065409
   1016 PASS result.b is 9860000001
   1017 PASS result.a is 1290065409
   1018 PASS result.b is 9880000001
   1019 PASS result.a is 1310065409
   1020 PASS result.b is 9900000001
   1021 PASS result.a is 1330065409
   1022 PASS result.b is 9920000001
   1023 PASS result.a is 1350065409
   1024 PASS result.b is 9940000001
   1025 PASS result.a is 1370065409
   1026 PASS result.b is 9960000001
   1027 PASS result.a is 1390065409
   1028 PASS result.b is 9980000001
   1029 PASS result.a is 1410065409
   1030 PASS result.b is 10000000001
   1031 PASS result.a is 1430065409
   1032 PASS result.b is 10020000001
   1033 PASS result.a is 1450065409
   1034 PASS result.b is 10040000001
   1035 PASS result.a is 1470065409
   1036 PASS result.b is 10060000001
   1037 PASS result.a is 1490065409
   1038 PASS result.b is 10080000001
   1039 PASS result.a is 1510065409
   1040 PASS result.b is 10100000001
   1041 PASS result.a is 1530065409
   1042 PASS result.b is 10120000001
   1043 PASS result.a is 1550065409
   1044 PASS result.b is 10140000001
   1045 PASS result.a is 1570065409
   1046 PASS result.b is 10160000001
   1047 PASS result.a is 1590065409
   1048 PASS result.b is 10180000001
   1049 PASS result.a is 1610065409
   1050 PASS result.b is 10200000001
   1051 PASS result.a is 1630065409
   1052 PASS result.b is 10220000001
   1053 PASS result.a is 1650065409
   1054 PASS result.b is 10240000001
   1055 PASS result.a is 1670065409
   1056 PASS result.b is 10260000001
   1057 PASS result.a is 1690065409
   1058 PASS result.b is 10280000001
   1059 PASS result.a is 1710065409
   1060 PASS result.b is 10300000001
   1061 PASS result.a is 1730065409
   1062 PASS result.b is 10320000001
   1063 PASS result.a is 1750065409
   1064 PASS result.b is 10340000001
   1065 PASS result.a is 1770065409
   1066 PASS result.b is 10360000001
   1067 PASS result.a is 1790065409
   1068 PASS result.b is 10380000001
   1069 PASS result.a is 1810065409
   1070 PASS result.b is 10400000001
   1071 PASS result.a is 1830065409
   1072 PASS result.b is 10420000001
   1073 PASS result.a is 1850065409
   1074 PASS result.b is 10440000001
   1075 PASS result.a is 1870065409
   1076 PASS result.b is 10460000001
   1077 PASS result.a is 1890065409
   1078 PASS result.b is 10480000001
   1079 PASS result.a is 1910065409
   1080 PASS result.b is 10500000001
   1081 PASS result.a is 1930065409
   1082 PASS result.b is 10520000001
   1083 PASS result.a is 1950065409
   1084 PASS result.b is 10540000001
   1085 PASS result.a is 1970065409
   1086 PASS result.b is 10560000001
   1087 PASS result.a is 1990065409
   1088 PASS result.b is 10580000001
   1089 PASS result.a is 2010065409
   1090 PASS result.b is 10600000001
   1091 PASS result.a is 2030065409
   1092 PASS result.b is 10620000001
   1093 PASS result.a is 2050065409
   1094 PASS result.b is 10640000001
   1095 PASS result.a is 2070065409
   1096 PASS result.b is 10660000001
   1097 PASS result.a is 2090065409
   1098 PASS result.b is 10680000001
   1099 PASS result.a is 2110065409
   1100 PASS result.b is 10700000001
   1101 PASS result.a is 2130065409
   1102 PASS result.b is 10720000001
   1103 PASS result.a is -2144901887
   1104 PASS result.b is 10740000001
   1105 PASS result.a is -2124901887
   1106 PASS result.b is 10760000001
   1107 PASS result.a is -2104901887
   1108 PASS result.b is 10780000001
   1109 PASS result.a is -2084901887
   1110 PASS result.b is 10800000001
   1111 PASS result.a is -2064901887
   1112 PASS result.b is 10820000001
   1113 PASS result.a is -2044901887
   1114 PASS result.b is 10840000001
   1115 PASS result.a is -2024901887
   1116 PASS result.b is 10860000001
   1117 PASS result.a is -2004901887
   1118 PASS result.b is 10880000001
   1119 PASS result.a is -1984901887
   1120 PASS result.b is 10900000001
   1121 PASS result.a is -1964901887
   1122 PASS result.b is 10920000001
   1123 PASS result.a is -1944901887
   1124 PASS result.b is 10940000001
   1125 PASS result.a is -1924901887
   1126 PASS result.b is 10960000001
   1127 PASS result.a is -1904901887
   1128 PASS result.b is 10980000001
   1129 PASS result.a is -1884901887
   1130 PASS result.b is 11000000001
   1131 PASS result.a is -1864901887
   1132 PASS result.b is 11020000001
   1133 PASS result.a is -1844901887
   1134 PASS result.b is 11040000001
   1135 PASS result.a is -1824901887
   1136 PASS result.b is 11060000001
   1137 PASS result.a is -1804901887
   1138 PASS result.b is 11080000001
   1139 PASS result.a is -1784901887
   1140 PASS result.b is 11100000001
   1141 PASS result.a is -1764901887
   1142 PASS result.b is 11120000001
   1143 PASS result.a is -1744901887
   1144 PASS result.b is 11140000001
   1145 PASS result.a is -1724901887
   1146 PASS result.b is 11160000001
   1147 PASS result.a is -1704901887
   1148 PASS result.b is 11180000001
   1149 PASS result.a is -1684901887
   1150 PASS result.b is 11200000001
   1151 PASS result.a is -1664901887
   1152 PASS result.b is 11220000001
   1153 PASS result.a is -1644901887
   1154 PASS result.b is 11240000001
   1155 PASS result.a is -1624901887
   1156 PASS result.b is 11260000001
   1157 PASS result.a is -1604901887
   1158 PASS result.b is 11280000001
   1159 PASS result.a is -1584901887
   1160 PASS result.b is 11300000001
   1161 PASS result.a is -1564901887
   1162 PASS result.b is 11320000001
   1163 PASS result.a is -1544901887
   1164 PASS result.b is 11340000001
   1165 PASS result.a is -1524901887
   1166 PASS result.b is 11360000001
   1167 PASS result.a is -1504901887
   1168 PASS result.b is 11380000001
   1169 PASS result.a is -1484901887
   1170 PASS result.b is 11400000001
   1171 PASS result.a is -1464901887
   1172 PASS result.b is 11420000001
   1173 PASS result.a is -1444901887
   1174 PASS result.b is 11440000001
   1175 PASS result.a is -1424901887
   1176 PASS result.b is 11460000001
   1177 PASS result.a is -1404901887
   1178 PASS result.b is 11480000001
   1179 PASS result.a is -1384901887
   1180 PASS result.b is 11500000001
   1181 PASS result.a is -1364901887
   1182 PASS result.b is 11520000001
   1183 PASS result.a is -1344901887
   1184 PASS result.b is 11540000001
   1185 PASS result.a is -1324901887
   1186 PASS result.b is 11560000001
   1187 PASS result.a is -1304901887
   1188 PASS result.b is 11580000001
   1189 PASS result.a is -1284901887
   1190 PASS result.b is 11600000001
   1191 PASS result.a is -1264901887
   1192 PASS result.b is 11620000001
   1193 PASS result.a is -1244901887
   1194 PASS result.b is 11640000001
   1195 PASS result.a is -1224901887
   1196 PASS result.b is 11660000001
   1197 PASS result.a is -1204901887
   1198 PASS result.b is 11680000001
   1199 PASS result.a is -1184901887
   1200 PASS result.b is 11700000001
   1201 PASS result.a is -1164901887
   1202 PASS result.b is 11720000001
   1203 PASS result.a is -1144901887
   1204 PASS result.b is 11740000001
   1205 PASS result.a is -1124901887
   1206 PASS result.b is 11760000001
   1207 PASS result.a is -1104901887
   1208 PASS result.b is 11780000001
   1209 PASS result.a is -1084901887
   1210 PASS result.b is 11800000001
   1211 PASS result.a is -1064901887
   1212 PASS result.b is 11820000001
   1213 PASS result.a is -1044901887
   1214 PASS result.b is 11840000001
   1215 PASS result.a is -1024901887
   1216 PASS result.b is 11860000001
   1217 PASS result.a is -1004901887
   1218 PASS result.b is 11880000001
   1219 PASS result.a is -984901887
   1220 PASS result.b is 11900000001
   1221 PASS result.a is -964901887
   1222 PASS result.b is 11920000001
   1223 PASS result.a is -944901887
   1224 PASS result.b is 11940000001
   1225 PASS result.a is -924901887
   1226 PASS result.b is 11960000001
   1227 PASS result.a is -904901887
   1228 PASS result.b is 11980000001
   1229 PASS result.a is -884901887
   1230 PASS result.b is 12000000001
   1231 PASS result.a is -864901887
   1232 PASS result.b is 12020000001
   1233 PASS result.a is -844901887
   1234 PASS result.b is 12040000001
   1235 PASS result.a is -824901887
   1236 PASS result.b is 12060000001
   1237 PASS result.a is -804901887
   1238 PASS result.b is 12080000001
   1239 PASS result.a is -784901887
   1240 PASS result.b is 12100000001
   1241 PASS result.a is -764901887
   1242 PASS result.b is 12120000001
   1243 PASS result.a is -744901887
   1244 PASS result.b is 12140000001
   1245 PASS result.a is -724901887
   1246 PASS result.b is 12160000001
   1247 PASS result.a is -704901887
   1248 PASS result.b is 12180000001
   1249 PASS result.a is -684901887
   1250 PASS result.b is 12200000001
   1251 PASS result.a is -664901887
   1252 PASS result.b is 12220000001
   1253 PASS result.a is -644901887
   1254 PASS result.b is 12240000001
   1255 PASS result.a is -624901887
   1256 PASS result.b is 12260000001
   1257 PASS result.a is -604901887
   1258 PASS result.b is 12280000001
   1259 PASS result.a is -584901887
   1260 PASS result.b is 12300000001
   1261 PASS result.a is -564901887
   1262 PASS result.b is 12320000001
   1263 PASS result.a is -544901887
   1264 PASS result.b is 12340000001
   1265 PASS result.a is -524901887
   1266 PASS result.b is 12360000001
   1267 PASS result.a is -504901887
   1268 PASS result.b is 12380000001
   1269 PASS result.a is -484901887
   1270 PASS result.b is 12400000001
   1271 PASS result.a is -464901887
   1272 PASS result.b is 12420000001
   1273 PASS result.a is -444901887
   1274 PASS result.b is 12440000001
   1275 PASS result.a is -424901887
   1276 PASS result.b is 12460000001
   1277 PASS result.a is -404901887
   1278 PASS result.b is 12480000001
   1279 PASS result.a is -384901887
   1280 PASS result.b is 12500000001
   1281 PASS result.a is -364901887
   1282 PASS result.b is 12520000001
   1283 PASS result.a is -344901887
   1284 PASS result.b is 12540000001
   1285 PASS result.a is -324901887
   1286 PASS result.b is 12560000001
   1287 PASS result.a is -304901887
   1288 PASS result.b is 12580000001
   1289 PASS result.a is -284901887
   1290 PASS result.b is 12600000001
   1291 PASS result.a is -264901887
   1292 PASS result.b is 12620000001
   1293 PASS result.a is -244901887
   1294 PASS result.b is 12640000001
   1295 PASS result.a is -224901887
   1296 PASS result.b is 12660000001
   1297 PASS result.a is -204901887
   1298 PASS result.b is 12680000001
   1299 PASS result.a is -184901887
   1300 PASS result.b is 12700000001
   1301 PASS result.a is -164901887
   1302 PASS result.b is 12720000001
   1303 PASS result.a is -144901887
   1304 PASS result.b is 12740000001
   1305 PASS result.a is -124901887
   1306 PASS result.b is 12760000001
   1307 PASS result.a is -104901887
   1308 PASS result.b is 12780000001
   1309 PASS result.a is -84901887
   1310 PASS result.b is 12800000001
   1311 PASS result.a is -64901887
   1312 PASS result.b is 12820000001
   1313 PASS result.a is -44901887
   1314 PASS result.b is 12840000001
   1315 PASS result.a is -24901887
   1316 PASS result.b is 12860000001
   1317 PASS result.a is -4901887
   1318 PASS result.b is 12880000001
   1319 PASS result.a is 15098113
   1320 PASS result.b is 12900000001
   1321 PASS result.a is 35098113
   1322 PASS result.b is 12920000001
   1323 PASS result.a is 55098113
   1324 PASS result.b is 12940000001
   1325 PASS result.a is 75098113
   1326 PASS result.b is 12960000001
   1327 PASS result.a is 95098113
   1328 PASS result.b is 12980000001
   1329 PASS result.a is 115098113
   1330 PASS result.b is 13000000001
   1331 PASS result.a is 135098113
   1332 PASS result.b is 13020000001
   1333 PASS result.a is 155098113
   1334 PASS result.b is 13040000001
   1335 PASS result.a is 175098113
   1336 PASS result.b is 13060000001
   1337 PASS result.a is 195098113
   1338 PASS result.b is 13080000001
   1339 PASS result.a is 215098113
   1340 PASS result.b is 13100000001
   1341 PASS result.a is 235098113
   1342 PASS result.b is 13120000001
   1343 PASS result.a is 255098113
   1344 PASS result.b is 13140000001
   1345 PASS result.a is 275098113
   1346 PASS result.b is 13160000001
   1347 PASS result.a is 295098113
   1348 PASS result.b is 13180000001
   1349 PASS result.a is 315098113
   1350 PASS result.b is 13200000001
   1351 PASS result.a is 335098113
   1352 PASS result.b is 13220000001
   1353 PASS result.a is 355098113
   1354 PASS result.b is 13240000001
   1355 PASS result.a is 375098113
   1356 PASS result.b is 13260000001
   1357 PASS result.a is 395098113
   1358 PASS result.b is 13280000001
   1359 PASS result.a is 415098113
   1360 PASS result.b is 13300000001
   1361 PASS result.a is 435098113
   1362 PASS result.b is 13320000001
   1363 PASS result.a is 455098113
   1364 PASS result.b is 13340000001
   1365 PASS result.a is 475098113
   1366 PASS result.b is 13360000001
   1367 PASS result.a is 495098113
   1368 PASS result.b is 13380000001
   1369 PASS result.a is 515098113
   1370 PASS result.b is 13400000001
   1371 PASS result.a is 535098113
   1372 PASS result.b is 13420000001
   1373 PASS result.a is 555098113
   1374 PASS result.b is 13440000001
   1375 PASS result.a is 575098113
   1376 PASS result.b is 13460000001
   1377 PASS result.a is 595098113
   1378 PASS result.b is 13480000001
   1379 PASS result.a is 615098113
   1380 PASS result.b is 13500000001
   1381 PASS result.a is 635098113
   1382 PASS result.b is 13520000001
   1383 PASS result.a is 655098113
   1384 PASS result.b is 13540000001
   1385 PASS result.a is 675098113
   1386 PASS result.b is 13560000001
   1387 PASS result.a is 695098113
   1388 PASS result.b is 13580000001
   1389 PASS result.a is 715098113
   1390 PASS result.b is 13600000001
   1391 PASS result.a is 735098113
   1392 PASS result.b is 13620000001
   1393 PASS result.a is 755098113
   1394 PASS result.b is 13640000001
   1395 PASS result.a is 775098113
   1396 PASS result.b is 13660000001
   1397 PASS result.a is 795098113
   1398 PASS result.b is 13680000001
   1399 PASS result.a is 815098113
   1400 PASS result.b is 13700000001
   1401 PASS result.a is 835098113
   1402 PASS result.b is 13720000001
   1403 PASS result.a is 855098113
   1404 PASS result.b is 13740000001
   1405 PASS result.a is 875098113
   1406 PASS result.b is 13760000001
   1407 PASS result.a is 895098113
   1408 PASS result.b is 13780000001
   1409 PASS result.a is 915098113
   1410 PASS result.b is 13800000001
   1411 PASS result.a is 935098113
   1412 PASS result.b is 13820000001
   1413 PASS result.a is 955098113
   1414 PASS result.b is 13840000001
   1415 PASS result.a is 975098113
   1416 PASS result.b is 13860000001
   1417 PASS result.a is 995098113
   1418 PASS result.b is 13880000001
   1419 PASS result.a is 1015098113
   1420 PASS result.b is 13900000001
   1421 PASS result.a is 1035098113
   1422 PASS result.b is 13920000001
   1423 PASS result.a is 1055098113
   1424 PASS result.b is 13940000001
   1425 PASS result.a is 1075098113
   1426 PASS result.b is 13960000001
   1427 PASS result.a is 1095098113
   1428 PASS result.b is 13980000001
   1429 PASS result.a is 1115098113
   1430 PASS result.b is 14000000001
   1431 PASS result.a is 1135098113
   1432 PASS result.b is 14020000001
   1433 PASS result.a is 1155098113
   1434 PASS result.b is 14040000001
   1435 PASS result.a is 1175098113
   1436 PASS result.b is 14060000001
   1437 PASS result.a is 1195098113
   1438 PASS result.b is 14080000001
   1439 PASS result.a is 1215098113
   1440 PASS result.b is 14100000001
   1441 PASS result.a is 1235098113
   1442 PASS result.b is 14120000001
   1443 PASS result.a is 1255098113
   1444 PASS result.b is 14140000001
   1445 PASS result.a is 1275098113
   1446 PASS result.b is 14160000001
   1447 PASS result.a is 1295098113
   1448 PASS result.b is 14180000001
   1449 PASS result.a is 1315098113
   1450 PASS result.b is 14200000001
   1451 PASS result.a is 1335098113
   1452 PASS result.b is 14220000001
   1453 PASS result.a is 1355098113
   1454 PASS result.b is 14240000001
   1455 PASS result.a is 1375098113
   1456 PASS result.b is 14260000001
   1457 PASS result.a is 1395098113
   1458 PASS result.b is 14280000001
   1459 PASS result.a is 1415098113
   1460 PASS result.b is 14300000001
   1461 PASS result.a is 1435098113
   1462 PASS result.b is 14320000001
   1463 PASS result.a is 1455098113
   1464 PASS result.b is 14340000001
   1465 PASS result.a is 1475098113
   1466 PASS result.b is 14360000001
   1467 PASS result.a is 1495098113
   1468 PASS result.b is 14380000001
   1469 PASS result.a is 1515098113
   1470 PASS result.b is 14400000001
   1471 PASS result.a is 1535098113
   1472 PASS result.b is 14420000001
   1473 PASS result.a is 1555098113
   1474 PASS result.b is 14440000001
   1475 PASS result.a is 1575098113
   1476 PASS result.b is 14460000001
   1477 PASS result.a is 1595098113
   1478 PASS result.b is 14480000001
   1479 PASS result.a is 1615098113
   1480 PASS result.b is 14500000001
   1481 PASS result.a is 1635098113
   1482 PASS result.b is 14520000001
   1483 PASS result.a is 1655098113
   1484 PASS result.b is 14540000001
   1485 PASS result.a is 1675098113
   1486 PASS result.b is 14560000001
   1487 PASS result.a is 1695098113
   1488 PASS result.b is 14580000001
   1489 PASS result.a is 1715098113
   1490 PASS result.b is 14600000001
   1491 PASS result.a is 1735098113
   1492 PASS result.b is 14620000001
   1493 PASS result.a is 1755098113
   1494 PASS result.b is 14640000001
   1495 PASS result.a is 1775098113
   1496 PASS result.b is 14660000001
   1497 PASS result.a is 1795098113
   1498 PASS result.b is 14680000001
   1499 PASS result.a is 1815098113
   1500 PASS result.b is 14700000001
   1501 PASS result.a is 1835098113
   1502 PASS result.b is 14720000001
   1503 PASS result.a is 1855098113
   1504 PASS result.b is 14740000001
   1505 PASS result.a is 1875098113
   1506 PASS result.b is 14760000001
   1507 PASS result.a is 1895098113
   1508 PASS result.b is 14780000001
   1509 PASS result.a is 1915098113
   1510 PASS result.b is 14800000001
   1511 PASS result.a is 1935098113
   1512 PASS result.b is 14820000001
   1513 PASS result.a is 1955098113
   1514 PASS result.b is 14840000001
   1515 PASS result.a is 1975098113
   1516 PASS result.b is 14860000001
   1517 PASS result.a is 1995098113
   1518 PASS result.b is 14880000001
   1519 PASS result.a is 2015098113
   1520 PASS result.b is 14900000001
   1521 PASS result.a is 2035098113
   1522 PASS result.b is 14920000001
   1523 PASS result.a is 2055098113
   1524 PASS result.b is 14940000001
   1525 PASS result.a is 2075098113
   1526 PASS result.b is 14960000001
   1527 PASS result.a is 2095098113
   1528 PASS result.b is 14980000001
   1529 PASS result.a is 2115098113
   1530 PASS result.b is 15000000001
   1531 PASS result.a is 2135098113
   1532 PASS result.b is 15020000001
   1533 PASS result.a is -2139869183
   1534 PASS result.b is 15040000001
   1535 PASS result.a is -2119869183
   1536 PASS result.b is 15060000001
   1537 PASS result.a is -2099869183
   1538 PASS result.b is 15080000001
   1539 PASS result.a is -2079869183
   1540 PASS result.b is 15100000001
   1541 PASS result.a is -2059869183
   1542 PASS result.b is 15120000001
   1543 PASS result.a is -2039869183
   1544 PASS result.b is 15140000001
   1545 PASS result.a is -2019869183
   1546 PASS result.b is 15160000001
   1547 PASS result.a is -1999869183
   1548 PASS result.b is 15180000001
   1549 PASS result.a is -1979869183
   1550 PASS result.b is 15200000001
   1551 PASS result.a is -1959869183
   1552 PASS result.b is 15220000001
   1553 PASS result.a is -1939869183
   1554 PASS result.b is 15240000001
   1555 PASS result.a is -1919869183
   1556 PASS result.b is 15260000001
   1557 PASS result.a is -1899869183
   1558 PASS result.b is 15280000001
   1559 PASS result.a is -1879869183
   1560 PASS result.b is 15300000001
   1561 PASS result.a is -1859869183
   1562 PASS result.b is 15320000001
   1563 PASS result.a is -1839869183
   1564 PASS result.b is 15340000001
   1565 PASS result.a is -1819869183
   1566 PASS result.b is 15360000001
   1567 PASS result.a is -1799869183
   1568 PASS result.b is 15380000001
   1569 PASS result.a is -1779869183
   1570 PASS result.b is 15400000001
   1571 PASS result.a is -1759869183
   1572 PASS result.b is 15420000001
   1573 PASS result.a is -1739869183
   1574 PASS result.b is 15440000001
   1575 PASS result.a is -1719869183
   1576 PASS result.b is 15460000001
   1577 PASS result.a is -1699869183
   1578 PASS result.b is 15480000001
   1579 PASS result.a is -1679869183
   1580 PASS result.b is 15500000001
   1581 PASS result.a is -1659869183
   1582 PASS result.b is 15520000001
   1583 PASS result.a is -1639869183
   1584 PASS result.b is 15540000001
   1585 PASS result.a is -1619869183
   1586 PASS result.b is 15560000001
   1587 PASS result.a is -1599869183
   1588 PASS result.b is 15580000001
   1589 PASS result.a is -1579869183
   1590 PASS result.b is 15600000001
   1591 PASS result.a is -1559869183
   1592 PASS result.b is 15620000001
   1593 PASS result.a is -1539869183
   1594 PASS result.b is 15640000001
   1595 PASS result.a is -1519869183
   1596 PASS result.b is 15660000001
   1597 PASS result.a is -1499869183
   1598 PASS result.b is 15680000001
   1599 PASS result.a is -1479869183
   1600 PASS result.b is 15700000001
   1601 PASS result.a is -1459869183
   1602 PASS result.b is 15720000001
   1603 PASS result.a is -1439869183
   1604 PASS result.b is 15740000001
   1605 PASS result.a is -1419869183
   1606 PASS result.b is 15760000001
   1607 PASS result.a is -1399869183
   1608 PASS result.b is 15780000001
   1609 PASS result.a is -1379869183
   1610 PASS result.b is 15800000001
   1611 PASS result.a is -1359869183
   1612 PASS result.b is 15820000001
   1613 PASS result.a is -1339869183
   1614 PASS result.b is 15840000001
   1615 PASS result.a is -1319869183
   1616 PASS result.b is 15860000001
   1617 PASS result.a is -1299869183
   1618 PASS result.b is 15880000001
   1619 PASS result.a is -1279869183
   1620 PASS result.b is 15900000001
   1621 PASS result.a is -1259869183
   1622 PASS result.b is 15920000001
   1623 PASS result.a is -1239869183
   1624 PASS result.b is 15940000001
   1625 PASS result.a is -1219869183
   1626 PASS result.b is 15960000001
   1627 PASS result.a is -1199869183
   1628 PASS result.b is 15980000001
   1629 PASS result.a is -1179869183
   1630 PASS result.b is 16000000001
   1631 PASS result.a is -1159869183
   1632 PASS result.b is 16020000001
   1633 PASS result.a is -1139869183
   1634 PASS result.b is 16040000001
   1635 PASS result.a is -1119869183
   1636 PASS result.b is 16060000001
   1637 PASS result.a is -1099869183
   1638 PASS result.b is 16080000001
   1639 PASS result.a is -1079869183
   1640 PASS result.b is 16100000001
   1641 PASS result.a is -1059869183
   1642 PASS result.b is 16120000001
   1643 PASS result.a is -1039869183
   1644 PASS result.b is 16140000001
   1645 PASS result.a is -1019869183
   1646 PASS result.b is 16160000001
   1647 PASS result.a is -999869183
   1648 PASS result.b is 16180000001
   1649 PASS result.a is -979869183
   1650 PASS result.b is 16200000001
   1651 PASS result.a is -959869183
   1652 PASS result.b is 16220000001
   1653 PASS result.a is -939869183
   1654 PASS result.b is 16240000001
   1655 PASS result.a is -919869183
   1656 PASS result.b is 16260000001
   1657 PASS result.a is -899869183
   1658 PASS result.b is 16280000001
   1659 PASS result.a is -879869183
   1660 PASS result.b is 16300000001
   1661 PASS result.a is -859869183
   1662 PASS result.b is 16320000001
   1663 PASS result.a is -839869183
   1664 PASS result.b is 16340000001
   1665 PASS result.a is -819869183
   1666 PASS result.b is 16360000001
   1667 PASS result.a is -799869183
   1668 PASS result.b is 16380000001
   1669 PASS result.a is -779869183
   1670 PASS result.b is 16400000001
   1671 PASS result.a is -759869183
   1672 PASS result.b is 16420000001
   1673 PASS result.a is -739869183
   1674 PASS result.b is 16440000001
   1675 PASS result.a is -719869183
   1676 PASS result.b is 16460000001
   1677 PASS result.a is -699869183
   1678 PASS result.b is 16480000001
   1679 PASS result.a is -679869183
   1680 PASS result.b is 16500000001
   1681 PASS result.a is -659869183
   1682 PASS result.b is 16520000001
   1683 PASS result.a is -639869183
   1684 PASS result.b is 16540000001
   1685 PASS result.a is -619869183
   1686 PASS result.b is 16560000001
   1687 PASS result.a is -599869183
   1688 PASS result.b is 16580000001
   1689 PASS result.a is -579869183
   1690 PASS result.b is 16600000001
   1691 PASS result.a is -559869183
   1692 PASS result.b is 16620000001
   1693 PASS result.a is -539869183
   1694 PASS result.b is 16640000001
   1695 PASS result.a is -519869183
   1696 PASS result.b is 16660000001
   1697 PASS result.a is -499869183
   1698 PASS result.b is 16680000001
   1699 PASS result.a is -479869183
   1700 PASS result.b is 16700000001
   1701 PASS result.a is -459869183
   1702 PASS result.b is 16720000001
   1703 PASS result.a is -439869183
   1704 PASS result.b is 16740000001
   1705 PASS result.a is -419869183
   1706 PASS result.b is 16760000001
   1707 PASS result.a is -399869183
   1708 PASS result.b is 16780000001
   1709 PASS result.a is -379869183
   1710 PASS result.b is 16800000001
   1711 PASS result.a is -359869183
   1712 PASS result.b is 16820000001
   1713 PASS result.a is -339869183
   1714 PASS result.b is 16840000001
   1715 PASS result.a is -319869183
   1716 PASS result.b is 16860000001
   1717 PASS result.a is -299869183
   1718 PASS result.b is 16880000001
   1719 PASS result.a is -279869183
   1720 PASS result.b is 16900000001
   1721 PASS result.a is -259869183
   1722 PASS result.b is 16920000001
   1723 PASS result.a is -239869183
   1724 PASS result.b is 16940000001
   1725 PASS result.a is -219869183
   1726 PASS result.b is 16960000001
   1727 PASS result.a is -199869183
   1728 PASS result.b is 16980000001
   1729 PASS result.a is -179869183
   1730 PASS result.b is 17000000001
   1731 PASS result.a is -159869183
   1732 PASS result.b is 17020000001
   1733 PASS result.a is -139869183
   1734 PASS result.b is 17040000001
   1735 PASS result.a is -119869183
   1736 PASS result.b is 17060000001
   1737 PASS result.a is -99869183
   1738 PASS result.b is 17080000001
   1739 PASS result.a is -79869183
   1740 PASS result.b is 17100000001
   1741 PASS result.a is -59869183
   1742 PASS result.b is 17120000001
   1743 PASS result.a is -39869183
   1744 PASS result.b is 17140000001
   1745 PASS result.a is -19869183
   1746 PASS result.b is 17160000001
   1747 PASS result.a is 130817
   1748 PASS result.b is 17180000001
   1749 PASS result.a is 20130817
   1750 PASS result.b is 17200000001
   1751 PASS result.a is 40130817
   1752 PASS result.b is 17220000001
   1753 PASS result.a is 60130817
   1754 PASS result.b is 17240000001
   1755 PASS result.a is 80130817
   1756 PASS result.b is 17260000001
   1757 PASS result.a is 100130817
   1758 PASS result.b is 17280000001
   1759 PASS result.a is 120130817
   1760 PASS result.b is 17300000001
   1761 PASS result.a is 140130817
   1762 PASS result.b is 17320000001
   1763 PASS result.a is 160130817
   1764 PASS result.b is 17340000001
   1765 PASS result.a is 180130817
   1766 PASS result.b is 17360000001
   1767 PASS result.a is 200130817
   1768 PASS result.b is 17380000001
   1769 PASS result.a is 220130817
   1770 PASS result.b is 17400000001
   1771 PASS result.a is 240130817
   1772 PASS result.b is 17420000001
   1773 PASS result.a is 260130817
   1774 PASS result.b is 17440000001
   1775 PASS result.a is 280130817
   1776 PASS result.b is 17460000001
   1777 PASS result.a is 300130817
   1778 PASS result.b is 17480000001
   1779 PASS result.a is 320130817
   1780 PASS result.b is 17500000001
   1781 PASS result.a is 340130817
   1782 PASS result.b is 17520000001
   1783 PASS result.a is 360130817
   1784 PASS result.b is 17540000001
   1785 PASS result.a is 380130817
   1786 PASS result.b is 17560000001
   1787 PASS result.a is 400130817
   1788 PASS result.b is 17580000001
   1789 PASS result.a is 420130817
   1790 PASS result.b is 17600000001
   1791 PASS result.a is 440130817
   1792 PASS result.b is 17620000001
   1793 PASS result.a is 460130817
   1794 PASS result.b is 17640000001
   1795 PASS result.a is 480130817
   1796 PASS result.b is 17660000001
   1797 PASS result.a is 500130817
   1798 PASS result.b is 17680000001
   1799 PASS result.a is 520130817
   1800 PASS result.b is 17700000001
   1801 PASS result.a is 540130817
   1802 PASS result.b is 17720000001
   1803 PASS result.a is 560130817
   1804 PASS result.b is 17740000001
   1805 PASS result.a is 580130817
   1806 PASS result.b is 17760000001
   1807 PASS result.a is 600130817
   1808 PASS result.b is 17780000001
   1809 PASS result.a is 620130817
   1810 PASS result.b is 17800000001
   1811 PASS result.a is 640130817
   1812 PASS result.b is 17820000001
   1813 PASS result.a is 660130817
   1814 PASS result.b is 17840000001
   1815 PASS result.a is 680130817
   1816 PASS result.b is 17860000001
   1817 PASS result.a is 700130817
   1818 PASS result.b is 17880000001
   1819 PASS result.a is 720130817
   1820 PASS result.b is 17900000001
   1821 PASS result.a is 740130817
   1822 PASS result.b is 17920000001
   1823 PASS result.a is 760130817
   1824 PASS result.b is 17940000001
   1825 PASS result.a is 780130817
   1826 PASS result.b is 17960000001
   1827 PASS result.a is 800130817
   1828 PASS result.b is 17980000001
   1829 PASS result.a is 820130817
   1830 PASS result.b is 18000000001
   1831 PASS result.a is 840130817
   1832 PASS result.b is 18020000001
   1833 PASS result.a is 860130817
   1834 PASS result.b is 18040000001
   1835 PASS result.a is 880130817
   1836 PASS result.b is 18060000001
   1837 PASS result.a is 900130817
   1838 PASS result.b is 18080000001
   1839 PASS result.a is 920130817
   1840 PASS result.b is 18100000001
   1841 PASS result.a is 940130817
   1842 PASS result.b is 18120000001
   1843 PASS result.a is 960130817
   1844 PASS result.b is 18140000001
   1845 PASS result.a is 980130817
   1846 PASS result.b is 18160000001
   1847 PASS result.a is 1000130817
   1848 PASS result.b is 18180000001
   1849 PASS result.a is 1020130817
   1850 PASS result.b is 18200000001
   1851 PASS result.a is 1040130817
   1852 PASS result.b is 18220000001
   1853 PASS result.a is 1060130817
   1854 PASS result.b is 18240000001
   1855 PASS result.a is 1080130817
   1856 PASS result.b is 18260000001
   1857 PASS result.a is 1100130817
   1858 PASS result.b is 18280000001
   1859 PASS result.a is 1120130817
   1860 PASS result.b is 18300000001
   1861 PASS result.a is 1140130817
   1862 PASS result.b is 18320000001
   1863 PASS result.a is 1160130817
   1864 PASS result.b is 18340000001
   1865 PASS result.a is 1180130817
   1866 PASS result.b is 18360000001
   1867 PASS result.a is 1200130817
   1868 PASS result.b is 18380000001
   1869 PASS result.a is 1220130817
   1870 PASS result.b is 18400000001
   1871 PASS result.a is 1240130817
   1872 PASS result.b is 18420000001
   1873 PASS result.a is 1260130817
   1874 PASS result.b is 18440000001
   1875 PASS result.a is 1280130817
   1876 PASS result.b is 18460000001
   1877 PASS result.a is 1300130817
   1878 PASS result.b is 18480000001
   1879 PASS result.a is 1320130817
   1880 PASS result.b is 18500000001
   1881 PASS result.a is 1340130817
   1882 PASS result.b is 18520000001
   1883 PASS result.a is 1360130817
   1884 PASS result.b is 18540000001
   1885 PASS result.a is 1380130817
   1886 PASS result.b is 18560000001
   1887 PASS result.a is 1400130817
   1888 PASS result.b is 18580000001
   1889 PASS result.a is 1420130817
   1890 PASS result.b is 18600000001
   1891 PASS result.a is 1440130817
   1892 PASS result.b is 18620000001
   1893 PASS result.a is 1460130817
   1894 PASS result.b is 18640000001
   1895 PASS result.a is 1480130817
   1896 PASS result.b is 18660000001
   1897 PASS result.a is 1500130817
   1898 PASS result.b is 18680000001
   1899 PASS result.a is 1520130817
   1900 PASS result.b is 18700000001
   1901 PASS result.a is 1540130817
   1902 PASS result.b is 18720000001
   1903 PASS result.a is 1560130817
   1904 PASS result.b is 18740000001
   1905 PASS result.a is 1580130817
   1906 PASS result.b is 18760000001
   1907 PASS result.a is 1600130817
   1908 PASS result.b is 18780000001
   1909 PASS result.a is 1620130817
   1910 PASS result.b is 18800000001
   1911 PASS result.a is 1640130817
   1912 PASS result.b is 18820000001
   1913 PASS result.a is 1660130817
   1914 PASS result.b is 18840000001
   1915 PASS result.a is 1680130817
   1916 PASS result.b is 18860000001
   1917 PASS result.a is 1700130817
   1918 PASS result.b is 18880000001
   1919 PASS result.a is 1720130817
   1920 PASS result.b is 18900000001
   1921 PASS result.a is 1740130817
   1922 PASS result.b is 18920000001
   1923 PASS result.a is 1760130817
   1924 PASS result.b is 18940000001
   1925 PASS result.a is 1780130817
   1926 PASS result.b is 18960000001
   1927 PASS result.a is 1800130817
   1928 PASS result.b is 18980000001
   1929 PASS result.a is 1820130817
   1930 PASS result.b is 19000000001
   1931 PASS result.a is 1840130817
   1932 PASS result.b is 19020000001
   1933 PASS result.a is 1860130817
   1934 PASS result.b is 19040000001
   1935 PASS result.a is 1880130817
   1936 PASS result.b is 19060000001
   1937 PASS result.a is 1900130817
   1938 PASS result.b is 19080000001
   1939 PASS result.a is 1920130817
   1940 PASS result.b is 19100000001
   1941 PASS result.a is 1940130817
   1942 PASS result.b is 19120000001
   1943 PASS result.a is 1960130817
   1944 PASS result.b is 19140000001
   1945 PASS result.a is 1980130817
   1946 PASS result.b is 19160000001
   1947 PASS result.a is 2000130817
   1948 PASS result.b is 19180000001
   1949 PASS result.a is 2020130817
   1950 PASS result.b is 19200000001
   1951 PASS result.a is 2040130817
   1952 PASS result.b is 19220000001
   1953 PASS result.a is 2060130817
   1954 PASS result.b is 19240000001
   1955 PASS result.a is 2080130817
   1956 PASS result.b is 19260000001
   1957 PASS result.a is 2100130817
   1958 PASS result.b is 19280000001
   1959 PASS result.a is 2120130817
   1960 PASS result.b is 19300000001
   1961 PASS result.a is 2140130817
   1962 PASS result.b is 19320000001
   1963 PASS result.a is -2134836479
   1964 PASS result.b is 19340000001
   1965 PASS result.a is -2114836479
   1966 PASS result.b is 19360000001
   1967 PASS result.a is -2094836479
   1968 PASS result.b is 19380000001
   1969 PASS result.a is -2074836479
   1970 PASS result.b is 19400000001
   1971 PASS result.a is -2054836479
   1972 PASS result.b is 19420000001
   1973 PASS result.a is -2034836479
   1974 PASS result.b is 19440000001
   1975 PASS result.a is -2014836479
   1976 PASS result.b is 19460000001
   1977 PASS result.a is -1994836479
   1978 PASS result.b is 19480000001
   1979 PASS result.a is -1974836479
   1980 PASS result.b is 19500000001
   1981 PASS result.a is -1954836479
   1982 PASS result.b is 19520000001
   1983 PASS result.a is -1934836479
   1984 PASS result.b is 19540000001
   1985 PASS result.a is -1914836479
   1986 PASS result.b is 19560000001
   1987 PASS result.a is -1894836479
   1988 PASS result.b is 19580000001
   1989 PASS result.a is -1874836479
   1990 PASS result.b is 19600000001
   1991 PASS result.a is -1854836479
   1992 PASS result.b is 19620000001
   1993 PASS result.a is -1834836479
   1994 PASS result.b is 19640000001
   1995 PASS result.a is -1814836479
   1996 PASS result.b is 19660000001
   1997 PASS result.a is -1794836479
   1998 PASS result.b is 19680000001
   1999 PASS result.a is -1774836479
   2000 PASS result.b is 19700000001
   2001 PASS result.a is -1754836479
   2002 PASS result.b is 19720000001
   2003 PASS result.a is -1734836479
   2004 PASS result.b is 19740000001
   2005 PASS result.a is -1714836479
   2006 PASS result.b is 19760000001
   2007 PASS result.a is -1694836479
   2008 PASS result.b is 19780000001
   2009 PASS result.a is -1674836479
   2010 PASS result.b is 19800000001
   2011 PASS result.a is -1654836479
   2012 PASS result.b is 19820000001
   2013 PASS result.a is -1634836479
   2014 PASS result.b is 19840000001
   2015 PASS result.a is -1614836479
   2016 PASS result.b is 19860000001
   2017 PASS result.a is -1594836479
   2018 PASS result.b is 19880000001
   2019 PASS result.a is -1574836479
   2020 PASS result.b is 19900000001
   2021 PASS result.a is -1554836479
   2022 PASS result.b is 19920000001
   2023 PASS result.a is -1534836479
   2024 PASS result.b is 19940000001
   2025 PASS result.a is -1514836479
   2026 PASS result.b is 19960000001
   2027 PASS result.a is -1494836479
   2028 PASS result.b is 19980000001
   2029 PASS successfullyParsed is true
   2030 
   2031 TEST COMPLETE
   2032 
   2033