kc3-lang/kc3/test/ic3/integer_mul.out.expected
-
Show log
Commit
-
Hash : d1c45502
Author :
Thomas de Grivel
Date : 2023-11-19T14:07:20
fix map
-
test/ic3/integer_mul.out.expected
-
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800
-170141183460469231731687303715884105728 * -170141183460469231731687303715884105728 28948022309329048855892746252171976963317496166410141009864396001978282409984 -170141183460469231731687303715884105728 * -170141183460469231731687303715884105727 28948022309329048855892746252171976963147354982949671778132708698262398304256 -170141183460469231731687303715884105728 * -9223372036854775808 1569275433846670190958947355801916604025588861116008628224 -170141183460469231731687303715884105728 * -9223372036854775807 1569275433846670190788806172341447372293901557400124522496 -170141183460469231731687303715884105728 * -2147483648 365375409332725729550921208179070754913983135744 -170141183460469231731687303715884105728 * -2147483647 365375409162584546090451976447383451198099030016 -170141183460469231731687303715884105728 * -32768 5575186299632655785383929568162090376495104 -170141183460469231731687303715884105728 * -32767 5575016158449195316152197880858374492389376 -170141183460469231731687303715884105728 * -128 21778071482940061661655974875633165533184 -170141183460469231731687303715884105728 * -127 21607930299479592429924287571917281427456 -170141183460469231731687303715884105728 * 255 -43386001782419654091580262447550446960640 -170141183460469231731687303715884105728 * 256 -43556142965880123323311949751266331066368 -170141183460469231731687303715884105728 * 65535 -11150202458081851101536127449020464868884480 -170141183460469231731687303715884105728 * 65536 -11150372599265311570767859136324180752990208 -170141183460469231731687303715884105728 * 4294967295 -730750818495310275641373184626454206112082165760 -170141183460469231731687303715884105728 * 4294967296 -730750818665451459101842416358141509827966271488 -170141183460469231731687303715884105728 * 18446744073709551615 -3138550867693340381747753528143363976319490418516133150720 -170141183460469231731687303715884105728 * 18446744073709551616 -3138550867693340381917894711603833208051177722232017256448 -170141183460469231731687303715884105728 * 340282366920938463463374607431768211455 -57896044618658097711785492504343953926464851149359812787997104700240680714240 -170141183460469231731687303715884105728 * 340282366920938463463374607431768211456 -57896044618658097711785492504343953926634992332820282019728792003956564819968 -170141183460469231731687303715884105727 * -170141183460469231731687303715884105728 28948022309329048855892746252171976963147354982949671778132708698262398304256 -170141183460469231731687303715884105727 * -170141183460469231731687303715884105727 28948022309329048855892746252171976962977213799489202546401021394546514198529 -170141183460469231731687303715884105727 * -9223372036854775808 1569275433846670190958947355801916604016365489079153852416 -170141183460469231731687303715884105727 * -9223372036854775807 1569275433846670190788806172341447372284678185363269746689 -170141183460469231731687303715884105727 * -2147483648 365375409332725729550921208179070754911835652096 -170141183460469231731687303715884105727 * -2147483647 365375409162584546090451976447383451195951546369 -170141183460469231731687303715884105727 * -32768 5575186299632655785383929568162090376462336 -170141183460469231731687303715884105727 * -32767 5575016158449195316152197880858374492356609 -170141183460469231731687303715884105727 * -128 21778071482940061661655974875633165533056 -170141183460469231731687303715884105727 * -127 21607930299479592429924287571917281427329 -170141183460469231731687303715884105727 * 255 -43386001782419654091580262447550446960385 -170141183460469231731687303715884105727 * 256 -43556142965880123323311949751266331066112 -170141183460469231731687303715884105727 * 65535 -11150202458081851101536127449020464868818945 -170141183460469231731687303715884105727 * 65536 -11150372599265311570767859136324180752924672 -170141183460469231731687303715884105727 * 4294967295 -730750818495310275641373184626454206107787198465 -170141183460469231731687303715884105727 * 4294967296 -730750818665451459101842416358141509823671304192 -170141183460469231731687303715884105727 * 18446744073709551615 -3138550867693340381747753528143363976301043674442423599105 -170141183460469231731687303715884105727 * 18446744073709551616 -3138550867693340381917894711603833208032730978158307704832 -170141183460469231731687303715884105727 * 340282366920938463463374607431768211455 -57896044618658097711785492504343953926124568782438874324533730092808912502785 -170141183460469231731687303715884105727 * 340282366920938463463374607431768211456 -57896044618658097711785492504343953926294709965899343556265417396524796608512 -9223372036854775808 * -170141183460469231731687303715884105728 1569275433846670190958947355801916604025588861116008628224 -9223372036854775808 * -170141183460469231731687303715884105727 1569275433846670190958947355801916604016365489079153852416 -9223372036854775808 * -9223372036854775808 85070591730234615865843651857942052864 -9223372036854775808 * -9223372036854775807 85070591730234615856620279821087277056 -9223372036854775808 * -2147483648 19807040628566084398385987584 -9223372036854775808 * -2147483647 19807040619342712361531211776 -9223372036854775808 * -32768 302231454903657293676544 -9223372036854775808 * -32767 302222231531620438900736 -9223372036854775808 * -128 1180591620717411303424 -9223372036854775808 * -127 1171368248680556527616 -9223372036854775808 * 255 -2351959869397967831040 -9223372036854775808 * 256 -2361183241434822606848 -9223372036854775808 * 65535 -604453686435277732577280 -9223372036854775808 * 65536 -604462909807314587353088 -9223372036854775808 * 4294967295 -39614081247908796759917199360 -9223372036854775808 * 4294967296 -39614081257132168796771975168 -9223372036854775808 * 18446744073709551615 -170141183460469231722463931679029329920 -9223372036854775808 * 18446744073709551616 -170141183460469231731687303715884105728 -9223372036854775808 * 340282366920938463463374607431768211455 -3138550867693340381917894711603833208041954350195162480640 -9223372036854775808 * 340282366920938463463374607431768211456 -3138550867693340381917894711603833208051177722232017256448 -9223372036854775807 * -170141183460469231731687303715884105728 1569275433846670190788806172341447372293901557400124522496 -9223372036854775807 * -170141183460469231731687303715884105727 1569275433846670190788806172341447372284678185363269746689 -9223372036854775807 * -9223372036854775808 85070591730234615856620279821087277056 -9223372036854775807 * -9223372036854775807 85070591730234615847396907784232501249 -9223372036854775807 * -2147483648 19807040628566084396238503936 -9223372036854775807 * -2147483647 19807040619342712359383728129 -9223372036854775807 * -32768 302231454903657293643776 -9223372036854775807 * -32767 302222231531620438867969 -9223372036854775807 * -128 1180591620717411303296 -9223372036854775807 * -127 1171368248680556527489 -9223372036854775807 * 255 -2351959869397967830785 -9223372036854775807 * 256 -2361183241434822606592 -9223372036854775807 * 65535 -604453686435277732511745 -9223372036854775807 * 65536 -604462909807314587287552 -9223372036854775807 * 4294967295 -39614081247908796755622232065 -9223372036854775807 * 4294967296 -39614081257132168792477007872 -9223372036854775807 * 18446744073709551615 -170141183460469231704017187605319778305 -9223372036854775807 * 18446744073709551616 -170141183460469231713240559642174554112 -9223372036854775807 * 340282366920938463463374607431768211455 -3138550867693340381577612344682894744578579742763394269185 -9223372036854775807 * 340282366920938463463374607431768211456 -3138550867693340381577612344682894744587803114800249044992 -2147483648 * -170141183460469231731687303715884105728 365375409332725729550921208179070754913983135744 -2147483648 * -170141183460469231731687303715884105727 365375409332725729550921208179070754911835652096 -2147483648 * -9223372036854775808 19807040628566084398385987584 -2147483648 * -9223372036854775807 19807040628566084396238503936 -2147483648 * -2147483648 4611686018427387904 -2147483648 * -2147483647 4611686016279904256 -2147483648 * -32768 70368744177664 -2147483648 * -32767 70366596694016 -2147483648 * -128 274877906944 -2147483648 * -127 272730423296 -2147483648 * 255 -547608330240 -2147483648 * 256 -549755813888 -2147483648 * 65535 -140735340871680 -2147483648 * 65536 -140737488355328 -2147483648 * 4294967295 -9223372034707292160 -2147483648 * 4294967296 -9223372036854775808 -2147483648 * 18446744073709551615 -39614081257132168794624491520 -2147483648 * 18446744073709551616 -39614081257132168796771975168 -2147483648 * 340282366920938463463374607431768211455 -730750818665451459101842416358141509825818787840 -2147483648 * 340282366920938463463374607431768211456 -730750818665451459101842416358141509827966271488 -2147483647 * -170141183460469231731687303715884105728 365375409162584546090451976447383451198099030016 -2147483647 * -170141183460469231731687303715884105727 365375409162584546090451976447383451195951546369 -2147483647 * -9223372036854775808 19807040619342712361531211776 -2147483647 * -9223372036854775807 19807040619342712359383728129 -2147483647 * -2147483648 4611686016279904256 -2147483647 * -2147483647 4611686014132420609 -2147483647 * -32768 70368744144896 -2147483647 * -32767 70366596661249 -2147483647 * -128 274877906816 -2147483647 * -127 272730423169 -2147483647 * 255 -547608329985 -2147483647 * 256 -549755813632 -2147483647 * 65535 -140735340806145 -2147483647 * 65536 -140737488289792 -2147483647 * 4294967295 -9223372030412324865 -2147483647 * 4294967296 -9223372032559808512 -2147483647 * 18446744073709551615 -39614081238685424720914939905 -2147483647 * 18446744073709551616 -39614081238685424723062423552 -2147483647 * 340282366920938463463374607431768211455 -730750818325169092180903952894766902394050576385 -2147483647 * 340282366920938463463374607431768211456 -730750818325169092180903952894766902396198060032 -32768 * -170141183460469231731687303715884105728 5575186299632655785383929568162090376495104 -32768 * -170141183460469231731687303715884105727 5575186299632655785383929568162090376462336 -32768 * -9223372036854775808 302231454903657293676544 -32768 * -9223372036854775807 302231454903657293643776 -32768 * -2147483648 70368744177664 -32768 * -2147483647 70368744144896 -32768 * -32768 1073741824 -32768 * -32767 1073709056 -32768 * -128 4194304 -32768 * -127 4161536 -32768 * 255 -8355840 -32768 * 256 -8388608 -32768 * 65535 -2147450880 -32768 * 65536 -2147483648 -32768 * 4294967295 -140737488322560 -32768 * 4294967296 -140737488355328 -32768 * 18446744073709551615 -604462909807314587320320 -32768 * 18446744073709551616 -604462909807314587353088 -32768 * 340282366920938463463374607431768211455 -11150372599265311570767859136324180752957440 -32768 * 340282366920938463463374607431768211456 -11150372599265311570767859136324180752990208 -32767 * -170141183460469231731687303715884105728 5575016158449195316152197880858374492389376 -32767 * -170141183460469231731687303715884105727 5575016158449195316152197880858374492356609 -32767 * -9223372036854775808 302222231531620438900736 -32767 * -9223372036854775807 302222231531620438867969 -32767 * -2147483648 70366596694016 -32767 * -2147483647 70366596661249 -32767 * -32768 1073709056 -32767 * -32767 1073676289 -32767 * -128 4194176 -32767 * -127 4161409 -32767 * 255 -8355585 -32767 * 256 -8388352 -32767 * 65535 -2147385345 -32767 * 65536 -2147418112 -32767 * 4294967295 -140733193355265 -32767 * 4294967296 -140733193388032 -32767 * 18446744073709551615 -604444463063240877768705 -32767 * 18446744073709551616 -604444463063240877801472 -32767 * 340282366920938463463374607431768211455 -11150032316898390632304395761716748984745985 -32767 * 340282366920938463463374607431768211456 -11150032316898390632304395761716748984778752 -128 * -170141183460469231731687303715884105728 21778071482940061661655974875633165533184 -128 * -170141183460469231731687303715884105727 21778071482940061661655974875633165533056 -128 * -9223372036854775808 1180591620717411303424 -128 * -9223372036854775807 1180591620717411303296 -128 * -2147483648 274877906944 -128 * -2147483647 274877906816 -128 * -32768 4194304 -128 * -32767 4194176 -128 * -128 16384 -128 * -127 16256 -128 * 255 -32640 -128 * 256 -32768 -128 * 65535 -8388480 -128 * 65536 -8388608 -128 * 4294967295 -549755813760 -128 * 4294967296 -549755813888 -128 * 18446744073709551615 -2361183241434822606720 -128 * 18446744073709551616 -2361183241434822606848 -128 * 340282366920938463463374607431768211455 -43556142965880123323311949751266331066240 -128 * 340282366920938463463374607431768211456 -43556142965880123323311949751266331066368 -127 * -170141183460469231731687303715884105728 21607930299479592429924287571917281427456 -127 * -170141183460469231731687303715884105727 21607930299479592429924287571917281427329 -127 * -9223372036854775808 1171368248680556527616 -127 * -9223372036854775807 1171368248680556527489 -127 * -2147483648 272730423296 -127 * -2147483647 272730423169 -127 * -32768 4161536 -127 * -32767 4161409 -127 * -128 16256 -127 * -127 16129 -127 * 255 -32385 -127 * 256 -32512 -127 * 65535 -8322945 -127 * 65536 -8323072 -127 * 4294967295 -545460846465 -127 * 4294967296 -545460846592 -127 * 18446744073709551615 -2342736497361113055105 -127 * 18446744073709551616 -2342736497361113055232 -127 * 340282366920938463463374607431768211455 -43215860598959184859848575143834562854785 -127 * 340282366920938463463374607431768211456 -43215860598959184859848575143834562854912 255 * -170141183460469231731687303715884105728 -43386001782419654091580262447550446960640 255 * -170141183460469231731687303715884105727 -43386001782419654091580262447550446960385 255 * -9223372036854775808 -2351959869397967831040 255 * -9223372036854775807 -2351959869397967830785 255 * -2147483648 -547608330240 255 * -2147483647 -547608329985 255 * -32768 -8355840 255 * -32767 -8355585 255 * -128 -32640 255 * -127 -32385 255 * 255 65025 255 * 256 65280 255 * 65535 16711425 255 * 65536 16711680 255 * 4294967295 1095216660225 255 * 4294967296 1095216660480 255 * 18446744073709551615 4703919738795935661825 255 * 18446744073709551616 4703919738795935662080 255 * 340282366920938463463374607431768211455 86772003564839308183160524895100893921025 255 * 340282366920938463463374607431768211456 86772003564839308183160524895100893921280 256 * -170141183460469231731687303715884105728 -43556142965880123323311949751266331066368 256 * -170141183460469231731687303715884105727 -43556142965880123323311949751266331066112 256 * -9223372036854775808 -2361183241434822606848 256 * -9223372036854775807 -2361183241434822606592 256 * -2147483648 -549755813888 256 * -2147483647 -549755813632 256 * -32768 -8388608 256 * -32767 -8388352 256 * -128 -32768 256 * -127 -32512 256 * 255 65280 256 * 256 65536 256 * 65535 16776960 256 * 65536 16777216 256 * 4294967295 1099511627520 256 * 4294967296 1099511627776 256 * 18446744073709551615 4722366482869645213440 256 * 18446744073709551616 4722366482869645213696 256 * 340282366920938463463374607431768211455 87112285931760246646623899502532662132480 256 * 340282366920938463463374607431768211456 87112285931760246646623899502532662132736 65535 * -170141183460469231731687303715884105728 -11150202458081851101536127449020464868884480 65535 * -170141183460469231731687303715884105727 -11150202458081851101536127449020464868818945 65535 * -9223372036854775808 -604453686435277732577280 65535 * -9223372036854775807 -604453686435277732511745 65535 * -2147483648 -140735340871680 65535 * -2147483647 -140735340806145 65535 * -32768 -2147450880 65535 * -32767 -2147385345 65535 * -128 -8388480 65535 * -127 -8322945 65535 * 255 16711425 65535 * 256 16776960 65535 * 65535 4294836225 65535 * 65536 4294901760 65535 * 4294967295 281470681677825 65535 * 4294967296 281470681743360 65535 * 18446744073709551615 1208907372870555465089025 65535 * 18446744073709551616 1208907372870555465154560 65535 * 340282366920938463463374607431768211455 22300404916163702203072254898040929737703425 65535 * 340282366920938463463374607431768211456 22300404916163702203072254898040929737768960 65536 * -170141183460469231731687303715884105728 -11150372599265311570767859136324180752990208 65536 * -170141183460469231731687303715884105727 -11150372599265311570767859136324180752924672 65536 * -9223372036854775808 -604462909807314587353088 65536 * -9223372036854775807 -604462909807314587287552 65536 * -2147483648 -140737488355328 65536 * -2147483647 -140737488289792 65536 * -32768 -2147483648 65536 * -32767 -2147418112 65536 * -128 -8388608 65536 * -127 -8323072 65536 * 255 16711680 65536 * 256 16777216 65536 * 65535 4294901760 65536 * 65536 4294967296 65536 * 4294967295 281474976645120 65536 * 4294967296 281474976710656 65536 * 18446744073709551615 1208925819614629174640640 65536 * 18446744073709551616 1208925819614629174706176 65536 * 340282366920938463463374607431768211455 22300745198530623141535718272648361505914880 65536 * 340282366920938463463374607431768211456 22300745198530623141535718272648361505980416 4294967295 * -170141183460469231731687303715884105728 -730750818495310275641373184626454206112082165760 4294967295 * -170141183460469231731687303715884105727 -730750818495310275641373184626454206107787198465 4294967295 * -9223372036854775808 -39614081247908796759917199360 4294967295 * -9223372036854775807 -39614081247908796755622232065 4294967295 * -2147483648 -9223372034707292160 4294967295 * -2147483647 -9223372030412324865 4294967295 * -32768 -140737488322560 4294967295 * -32767 -140733193355265 4294967295 * -128 -549755813760 4294967295 * -127 -545460846465 4294967295 * 255 1095216660225 4294967295 * 256 1099511627520 4294967295 * 65535 281470681677825 4294967295 * 65536 281474976645120 4294967295 * 4294967295 18446744065119617025 4294967295 * 4294967296 18446744069414584320 4294967295 * 18446744073709551615 79228162495817593515539431425 4294967295 * 18446744073709551616 79228162495817593519834398720 4294967295 * 340282366920938463463374607431768211455 1461501636990620551282746369252908412219869364225 4294967295 * 340282366920938463463374607431768211456 1461501636990620551282746369252908412224164331520 4294967296 * -170141183460469231731687303715884105728 -730750818665451459101842416358141509827966271488 4294967296 * -170141183460469231731687303715884105727 -730750818665451459101842416358141509823671304192 4294967296 * -9223372036854775808 -39614081257132168796771975168 4294967296 * -9223372036854775807 -39614081257132168792477007872 4294967296 * -2147483648 -9223372036854775808 4294967296 * -2147483647 -9223372032559808512 4294967296 * -32768 -140737488355328 4294967296 * -32767 -140733193388032 4294967296 * -128 -549755813888 4294967296 * -127 -545460846592 4294967296 * 255 1095216660480 4294967296 * 256 1099511627776 4294967296 * 65535 281470681743360 4294967296 * 65536 281474976710656 4294967296 * 4294967295 18446744069414584320 4294967296 * 4294967296 18446744073709551616 4294967296 * 18446744073709551615 79228162514264337589248983040 4294967296 * 18446744073709551616 79228162514264337593543950336 4294967296 * 340282366920938463463374607431768211455 1461501637330902918203684832716283019651637575680 4294967296 * 340282366920938463463374607431768211456 1461501637330902918203684832716283019655932542976 18446744073709551615 * -170141183460469231731687303715884105728 -3138550867693340381747753528143363976319490418516133150720 18446744073709551615 * -170141183460469231731687303715884105727 -3138550867693340381747753528143363976301043674442423599105 18446744073709551615 * -9223372036854775808 -170141183460469231722463931679029329920 18446744073709551615 * -9223372036854775807 -170141183460469231704017187605319778305 18446744073709551615 * -2147483648 -39614081257132168794624491520 18446744073709551615 * -2147483647 -39614081238685424720914939905 18446744073709551615 * -32768 -604462909807314587320320 18446744073709551615 * -32767 -604444463063240877768705 18446744073709551615 * -128 -2361183241434822606720 18446744073709551615 * -127 -2342736497361113055105 18446744073709551615 * 255 4703919738795935661825 18446744073709551615 * 256 4722366482869645213440 18446744073709551615 * 65535 1208907372870555465089025 18446744073709551615 * 65536 1208925819614629174640640 18446744073709551615 * 4294967295 79228162495817593515539431425 18446744073709551615 * 4294967296 79228162514264337589248983040 18446744073709551615 * 18446744073709551615 340282366920938463426481119284349108225 18446744073709551615 * 18446744073709551616 340282366920938463444927863358058659840 18446744073709551615 * 340282366920938463463374607431768211455 6277101735386680763495507056286727952620534092958556749825 18446744073709551615 * 340282366920938463463374607431768211456 6277101735386680763495507056286727952638980837032266301440 18446744073709551616 * -170141183460469231731687303715884105728 -3138550867693340381917894711603833208051177722232017256448 18446744073709551616 * -170141183460469231731687303715884105727 -3138550867693340381917894711603833208032730978158307704832 18446744073709551616 * -9223372036854775808 -170141183460469231731687303715884105728 18446744073709551616 * -9223372036854775807 -170141183460469231713240559642174554112 18446744073709551616 * -2147483648 -39614081257132168796771975168 18446744073709551616 * -2147483647 -39614081238685424723062423552 18446744073709551616 * -32768 -604462909807314587353088 18446744073709551616 * -32767 -604444463063240877801472 18446744073709551616 * -128 -2361183241434822606848 18446744073709551616 * -127 -2342736497361113055232 18446744073709551616 * 255 4703919738795935662080 18446744073709551616 * 256 4722366482869645213696 18446744073709551616 * 65535 1208907372870555465154560 18446744073709551616 * 65536 1208925819614629174706176 18446744073709551616 * 4294967295 79228162495817593519834398720 18446744073709551616 * 4294967296 79228162514264337593543950336 18446744073709551616 * 18446744073709551615 340282366920938463444927863358058659840 18446744073709551616 * 18446744073709551616 340282366920938463463374607431768211456 18446744073709551616 * 340282366920938463463374607431768211455 6277101735386680763835789423207666416083908700390324961280 18446744073709551616 * 340282366920938463463374607431768211456 6277101735386680763835789423207666416102355444464034512896 340282366920938463463374607431768211455 * -170141183460469231731687303715884105728 -57896044618658097711785492504343953926464851149359812787997104700240680714240 340282366920938463463374607431768211455 * -170141183460469231731687303715884105727 -57896044618658097711785492504343953926124568782438874324533730092808912502785 340282366920938463463374607431768211455 * -9223372036854775808 -3138550867693340381917894711603833208041954350195162480640 340282366920938463463374607431768211455 * -9223372036854775807 -3138550867693340381577612344682894744578579742763394269185 340282366920938463463374607431768211455 * -2147483648 -730750818665451459101842416358141509825818787840 340282366920938463463374607431768211455 * -2147483647 -730750818325169092180903952894766902394050576385 340282366920938463463374607431768211455 * -32768 -11150372599265311570767859136324180752957440 340282366920938463463374607431768211455 * -32767 -11150032316898390632304395761716748984745985 340282366920938463463374607431768211455 * -128 -43556142965880123323311949751266331066240 340282366920938463463374607431768211455 * -127 -43215860598959184859848575143834562854785 340282366920938463463374607431768211455 * 255 86772003564839308183160524895100893921025 340282366920938463463374607431768211455 * 256 87112285931760246646623899502532662132480 340282366920938463463374607431768211455 * 65535 22300404916163702203072254898040929737703425 340282366920938463463374607431768211455 * 65536 22300745198530623141535718272648361505914880 340282366920938463463374607431768211455 * 4294967295 1461501636990620551282746369252908412219869364225 340282366920938463463374607431768211455 * 4294967296 1461501637330902918203684832716283019651637575680 340282366920938463463374607431768211455 * 18446744073709551615 6277101735386680763495507056286727952620534092958556749825 340282366920938463463374607431768211455 * 18446744073709551616 6277101735386680763835789423207666416083908700390324961280 340282366920938463463374607431768211455 * 340282366920938463463374607431768211455 115792089237316195423570985008687907852589419931798687112530834793049593217025 340282366920938463463374607431768211455 * 340282366920938463463374607431768211456 115792089237316195423570985008687907852929702298719625575994209400481361428480 340282366920938463463374607431768211456 * -170141183460469231731687303715884105728 -57896044618658097711785492504343953926634992332820282019728792003956564819968 340282366920938463463374607431768211456 * -170141183460469231731687303715884105727 -57896044618658097711785492504343953926294709965899343556265417396524796608512 340282366920938463463374607431768211456 * -9223372036854775808 -3138550867693340381917894711603833208051177722232017256448 340282366920938463463374607431768211456 * -9223372036854775807 -3138550867693340381577612344682894744587803114800249044992 340282366920938463463374607431768211456 * -2147483648 -730750818665451459101842416358141509827966271488 340282366920938463463374607431768211456 * -2147483647 -730750818325169092180903952894766902396198060032 340282366920938463463374607431768211456 * -32768 -11150372599265311570767859136324180752990208 340282366920938463463374607431768211456 * -32767 -11150032316898390632304395761716748984778752 340282366920938463463374607431768211456 * -128 -43556142965880123323311949751266331066368 340282366920938463463374607431768211456 * -127 -43215860598959184859848575143834562854912 340282366920938463463374607431768211456 * 255 86772003564839308183160524895100893921280 340282366920938463463374607431768211456 * 256 87112285931760246646623899502532662132736 340282366920938463463374607431768211456 * 65535 22300404916163702203072254898040929737768960 340282366920938463463374607431768211456 * 65536 22300745198530623141535718272648361505980416 340282366920938463463374607431768211456 * 4294967295 1461501636990620551282746369252908412224164331520 340282366920938463463374607431768211456 * 4294967296 1461501637330902918203684832716283019655932542976 340282366920938463463374607431768211456 * 18446744073709551615 6277101735386680763495507056286727952638980837032266301440 340282366920938463463374607431768211456 * 18446744073709551616 6277101735386680763835789423207666416102355444464034512896 340282366920938463463374607431768211456 * 340282366920938463463374607431768211455 115792089237316195423570985008687907852929702298719625575994209400481361428480 340282366920938463463374607431768211456 * 340282366920938463463374607431768211456 115792089237316195423570985008687907853269984665640564039457584007913129639936