33554427 = 33554429 + (-2).
-33554433 = -33554435 - (-2).
33554428 = 33554429 + (-1).
-33554434 = -33554435 - (-1).
33554429 = 33554429 + 0.
-33554435 = -33554435 - 0.
33554430 = 33554429 + 1.
-33554436 = -33554435 - 1.
33554431 = 33554429 + 2.
-33554437 = -33554435 - 2.
33554432 = 33554429 + 3.
-33554438 = -33554435 - 3.
33554433 = 33554429 + 4.
-33554439 = -33554435 - 4.
33554434 = 33554429 + 5.
-33554440 = -33554435 - 5.
33554435 = 33554429 + 6.
-33554441 = -33554435 - 6.
33554428 = 33554430 + (-2).
-33554432 = -33554434 - (-2).
33554429 = 33554430 + (-1).
-33554433 = -33554434 - (-1).
33554430 = 33554430 + 0.
-33554434 = -33554434 - 0.
33554431 = 33554430 + 1.
-33554435 = -33554434 - 1.
33554432 = 33554430 + 2.
-33554436 = -33554434 - 2.
33554433 = 33554430 + 3.
-33554437 = -33554434 - 3.
33554434 = 33554430 + 4.
-33554438 = -33554434 - 4.
33554435 = 33554430 + 5.
-33554439 = -33554434 - 5.
33554436 = 33554430 + 6.
-33554440 = -33554434 - 6.
33554429 = 33554431 + (-2).
-33554431 = -33554433 - (-2).
33554430 = 33554431 + (-1).
-33554432 = -33554433 - (-1).
33554431 = 33554431 + 0.
-33554433 = -33554433 - 0.
33554432 = 33554431 + 1.
-33554434 = -33554433 - 1.
33554433 = 33554431 + 2.
-33554435 = -33554433 - 2.
33554434 = 33554431 + 3.
-33554436 = -33554433 - 3.
33554435 = 33554431 + 4.
-33554437 = -33554433 - 4.
33554436 = 33554431 + 5.
-33554438 = -33554433 - 5.
33554437 = 33554431 + 6.
-33554439 = -33554433 - 6.
33554430 = 33554432 + (-2).
-33554430 = -33554432 - (-2).
33554431 = 33554432 + (-1).
-33554431 = -33554432 - (-1).
33554432 = 33554432 + 0.
-33554432 = -33554432 - 0.
33554433 = 33554432 + 1.
-33554433 = -33554432 - 1.
33554434 = 33554432 + 2.
-33554434 = -33554432 - 2.
33554435 = 33554432 + 3.
-33554435 = -33554432 - 3.
33554436 = 33554432 + 4.
-33554436 = -33554432 - 4.
33554437 = 33554432 + 5.
-33554437 = -33554432 - 5.
33554438 = 33554432 + 6.
-33554438 = -33554432 - 6.
33554431 = 33554433 + (-2).
-33554429 = -33554431 - (-2).
33554432 = 33554433 + (-1).
-33554430 = -33554431 - (-1).
33554433 = 33554433 + 0.
-33554431 = -33554431 - 0.
33554434 = 33554433 + 1.
-33554432 = -33554431 - 1.
33554435 = 33554433 + 2.
-33554433 = -33554431 - 2.
33554436 = 33554433 + 3.
-33554434 = -33554431 - 3.
33554437 = 33554433 + 4.
-33554435 = -33554431 - 4.
33554438 = 33554433 + 5.
-33554436 = -33554431 - 5.
33554439 = 33554433 + 6.
-33554437 = -33554431 - 6.
33554432 = 33554434 + (-2).
-33554428 = -33554430 - (-2).
33554433 = 33554434 + (-1).
-33554429 = -33554430 - (-1).
33554434 = 33554434 + 0.
-33554430 = -33554430 - 0.
33554435 = 33554434 + 1.
-33554431 = -33554430 - 1.
33554436 = 33554434 + 2.
-33554432 = -33554430 - 2.
33554437 = 33554434 + 3.
-33554433 = -33554430 - 3.
33554438 = 33554434 + 4.
-33554434 = -33554430 - 4.
33554439 = 33554434 + 5.
-33554435 = -33554430 - 5.
33554440 = 33554434 + 6.
-33554436 = -33554430 - 6.
33554432 = 33554430 - (-2).
-33554432 = -33554430 + (-2).
33554431 = 33554430 - (-1).
-33554431 = -33554430 + (-1).
33554430 = 33554430 - 0.
-33554430 = -33554430 + 0.
33554429 = 33554430 - 1.
-33554429 = -33554430 + 1.
33554428 = 33554430 - 2.
-33554428 = -33554430 + 2.
33554427 = 33554430 - 3.
-33554427 = -33554430 + 3.
33554426 = 33554430 - 4.
-33554426 = -33554430 + 4.
33554425 = 33554430 - 5.
-33554425 = -33554430 + 5.
33554424 = 33554430 - 6.
-33554424 = -33554430 + 6.
33554433 = 33554431 - (-2).
-33554433 = -33554431 + (-2).
33554432 = 33554431 - (-1).
-33554432 = -33554431 + (-1).
33554431 = 33554431 - 0.
-33554431 = -33554431 + 0.
33554430 = 33554431 - 1.
-33554430 = -33554431 + 1.
33554429 = 33554431 - 2.
-33554429 = -33554431 + 2.
33554428 = 33554431 - 3.
-33554428 = -33554431 + 3.
33554427 = 33554431 - 4.
-33554427 = -33554431 + 4.
33554426 = 33554431 - 5.
-33554426 = -33554431 + 5.
33554425 = 33554431 - 6.
-33554425 = -33554431 + 6.
33554434 = 33554432 - (-2).
-33554434 = -33554432 + (-2).
33554433 = 33554432 - (-1).
-33554433 = -33554432 + (-1).
33554432 = 33554432 - 0.
-33554432 = -33554432 + 0.
33554431 = 33554432 - 1.
-33554431 = -33554432 + 1.
33554430 = 33554432 - 2.
-33554430 = -33554432 + 2.
33554429 = 33554432 - 3.
-33554429 = -33554432 + 3.
33554428 = 33554432 - 4.
-33554428 = -33554432 + 4.
33554427 = 33554432 - 5.
-33554427 = -33554432 + 5.
33554426 = 33554432 - 6.
-33554426 = -33554432 + 6.
33554435 = 33554433 - (-2).
-33554435 = -33554433 + (-2).
33554434 = 33554433 - (-1).
-33554434 = -33554433 + (-1).
33554433 = 33554433 - 0.
-33554433 = -33554433 + 0.
33554432 = 33554433 - 1.
-33554432 = -33554433 + 1.
33554431 = 33554433 - 2.
-33554431 = -33554433 + 2.
33554430 = 33554433 - 3.
-33554430 = -33554433 + 3.
33554429 = 33554433 - 4.
-33554429 = -33554433 + 4.
33554428 = 33554433 - 5.
-33554428 = -33554433 + 5.
33554427 = 33554433 - 6.
-33554427 = -33554433 + 6.
33554436 = 33554434 - (-2).
-33554436 = -33554434 + (-2).
33554435 = 33554434 - (-1).
-33554435 = -33554434 + (-1).
33554434 = 33554434 - 0.
-33554434 = -33554434 + 0.
33554433 = 33554434 - 1.
-33554433 = -33554434 + 1.
33554432 = 33554434 - 2.
-33554432 = -33554434 + 2.
33554431 = 33554434 - 3.
-33554431 = -33554434 + 3.
33554430 = 33554434 - 4.
-33554430 = -33554434 + 4.
33554429 = 33554434 - 5.
-33554429 = -33554434 + 5.
33554428 = 33554434 - 6.
-33554428 = -33554434 + 6.
33554437 = 33554435 - (-2).
-33554437 = -33554435 + (-2).
33554436 = 33554435 - (-1).
-33554436 = -33554435 + (-1).
33554435 = 33554435 - 0.
-33554435 = -33554435 + 0.
33554434 = 33554435 - 1.
-33554434 = -33554435 + 1.
33554433 = 33554435 - 2.
-33554433 = -33554435 + 2.
33554432 = 33554435 - 3.
-33554432 = -33554435 + 3.
33554431 = 33554435 - 4.
-33554431 = -33554435 + 4.
33554430 = 33554435 - 5.
-33554430 = -33554435 + 5.
33554429 = 33554435 - 6.
-33554429 = -33554435 + 6.
67108859 = 67108861 + (-2).
-67108865 = -67108867 - (-2).
67108860 = 67108861 + (-1).
-67108866 = -67108867 - (-1).
67108861 = 67108861 + 0.
-67108867 = -67108867 - 0.
67108862 = 67108861 + 1.
-67108868 = -67108867 - 1.
67108863 = 67108861 + 2.
-67108869 = -67108867 - 2.
67108864 = 67108861 + 3.
-67108870 = -67108867 - 3.
67108865 = 67108861 + 4.
-67108871 = -67108867 - 4.
67108866 = 67108861 + 5.
-67108872 = -67108867 - 5.
67108867 = 67108861 + 6.
-67108873 = -67108867 - 6.
67108860 = 67108862 + (-2).
-67108864 = -67108866 - (-2).
67108861 = 67108862 + (-1).
-67108865 = -67108866 - (-1).
67108862 = 67108862 + 0.
-67108866 = -67108866 - 0.
67108863 = 67108862 + 1.
-67108867 = -67108866 - 1.
67108864 = 67108862 + 2.
-67108868 = -67108866 - 2.
67108865 = 67108862 + 3.
-67108869 = -67108866 - 3.
67108866 = 67108862 + 4.
-67108870 = -67108866 - 4.
67108867 = 67108862 + 5.
-67108871 = -67108866 - 5.
67108868 = 67108862 + 6.
-67108872 = -67108866 - 6.
67108861 = 67108863 + (-2).
-67108863 = -67108865 - (-2).
67108862 = 67108863 + (-1).
-67108864 = -67108865 - (-1).
67108863 = 67108863 + 0.
-67108865 = -67108865 - 0.
67108864 = 67108863 + 1.
-67108866 = -67108865 - 1.
67108865 = 67108863 + 2.
-67108867 = -67108865 - 2.
67108866 = 67108863 + 3.
-67108868 = -67108865 - 3.
67108867 = 67108863 + 4.
-67108869 = -67108865 - 4.
67108868 = 67108863 + 5.
-67108870 = -67108865 - 5.
67108869 = 67108863 + 6.
-67108871 = -67108865 - 6.
67108862 = 67108864 + (-2).
-67108862 = -67108864 - (-2).
67108863 = 67108864 + (-1).
-67108863 = -67108864 - (-1).
67108864 = 67108864 + 0.
-67108864 = -67108864 - 0.
67108865 = 67108864 + 1.
-67108865 = -67108864 - 1.
67108866 = 67108864 + 2.
-67108866 = -67108864 - 2.
67108867 = 67108864 + 3.
-67108867 = -67108864 - 3.
67108868 = 67108864 + 4.
-67108868 = -67108864 - 4.
67108869 = 67108864 + 5.
-67108869 = -67108864 - 5.
67108870 = 67108864 + 6.
-67108870 = -67108864 - 6.
67108863 = 67108865 + (-2).
-67108861 = -67108863 - (-2).
67108864 = 67108865 + (-1).
-67108862 = -67108863 - (-1).
67108865 = 67108865 + 0.
-67108863 = -67108863 - 0.
67108866 = 67108865 + 1.
-67108864 = -67108863 - 1.
67108867 = 67108865 + 2.
-67108865 = -67108863 - 2.
67108868 = 67108865 + 3.
-67108866 = -67108863 - 3.
67108869 = 67108865 + 4.
-67108867 = -67108863 - 4.
67108870 = 67108865 + 5.
-67108868 = -67108863 - 5.
67108871 = 67108865 + 6.
-67108869 = -67108863 - 6.
67108864 = 67108866 + (-2).
-67108860 = -67108862 - (-2).
67108865 = 67108866 + (-1).
-67108861 = -67108862 - (-1).
67108866 = 67108866 + 0.
-67108862 = -67108862 - 0.
67108867 = 67108866 + 1.
-67108863 = -67108862 - 1.
67108868 = 67108866 + 2.
-67108864 = -67108862 - 2.
67108869 = 67108866 + 3.
-67108865 = -67108862 - 3.
67108870 = 67108866 + 4.
-67108866 = -67108862 - 4.
67108871 = 67108866 + 5.
-67108867 = -67108862 - 5.
67108872 = 67108866 + 6.
-67108868 = -67108862 - 6.
67108864 = 67108862 - (-2).
-67108864 = -67108862 + (-2).
67108863 = 67108862 - (-1).
-67108863 = -67108862 + (-1).
67108862 = 67108862 - 0.
-67108862 = -67108862 + 0.
67108861 = 67108862 - 1.
-67108861 = -67108862 + 1.
67108860 = 67108862 - 2.
-67108860 = -67108862 + 2.
67108859 = 67108862 - 3.
-67108859 = -67108862 + 3.
67108858 = 67108862 - 4.
-67108858 = -67108862 + 4.
67108857 = 67108862 - 5.
-67108857 = -67108862 + 5.
67108856 = 67108862 - 6.
-67108856 = -67108862 + 6.
67108865 = 67108863 - (-2).
-67108865 = -67108863 + (-2).
67108864 = 67108863 - (-1).
-67108864 = -67108863 + (-1).
67108863 = 67108863 - 0.
-67108863 = -67108863 + 0.
67108862 = 67108863 - 1.
-67108862 = -67108863 + 1.
67108861 = 67108863 - 2.
-67108861 = -67108863 + 2.
67108860 = 67108863 - 3.
-67108860 = -67108863 + 3.
67108859 = 67108863 - 4.
-67108859 = -67108863 + 4.
67108858 = 67108863 - 5.
-67108858 = -67108863 + 5.
67108857 = 67108863 - 6.
-67108857 = -67108863 + 6.
67108866 = 67108864 - (-2).
-67108866 = -67108864 + (-2).
67108865 = 67108864 - (-1).
-67108865 = -67108864 + (-1).
67108864 = 67108864 - 0.
-67108864 = -67108864 + 0.
67108863 = 67108864 - 1.
-67108863 = -67108864 + 1.
67108862 = 67108864 - 2.
-67108862 = -67108864 + 2.
67108861 = 67108864 - 3.
-67108861 = -67108864 + 3.
67108860 = 67108864 - 4.
-67108860 = -67108864 + 4.
67108859 = 67108864 - 5.
-67108859 = -67108864 + 5.
67108858 = 67108864 - 6.
-67108858 = -67108864 + 6.
67108867 = 67108865 - (-2).
-67108867 = -67108865 + (-2).
67108866 = 67108865 - (-1).
-67108866 = -67108865 + (-1).
67108865 = 67108865 - 0.
-67108865 = -67108865 + 0.
67108864 = 67108865 - 1.
-67108864 = -67108865 + 1.
67108863 = 67108865 - 2.
-67108863 = -67108865 + 2.
67108862 = 67108865 - 3.
-67108862 = -67108865 + 3.
67108861 = 67108865 - 4.
-67108861 = -67108865 + 4.
67108860 = 67108865 - 5.
-67108860 = -67108865 + 5.
67108859 = 67108865 - 6.
-67108859 = -67108865 + 6.
67108868 = 67108866 - (-2).
-67108868 = -67108866 + (-2).
67108867 = 67108866 - (-1).
-67108867 = -67108866 + (-1).
67108866 = 67108866 - 0.
-67108866 = -67108866 + 0.
67108865 = 67108866 - 1.
-67108865 = -67108866 + 1.
67108864 = 67108866 - 2.
-67108864 = -67108866 + 2.
67108863 = 67108866 - 3.
-67108863 = -67108866 + 3.
67108862 = 67108866 - 4.
-67108862 = -67108866 + 4.
67108861 = 67108866 - 5.
-67108861 = -67108866 + 5.
67108860 = 67108866 - 6.
-67108860 = -67108866 + 6.
67108869 = 67108867 - (-2).
-67108869 = -67108867 + (-2).
67108868 = 67108867 - (-1).
-67108868 = -67108867 + (-1).
67108867 = 67108867 - 0.
-67108867 = -67108867 + 0.
67108866 = 67108867 - 1.
-67108866 = -67108867 + 1.
67108865 = 67108867 - 2.
-67108865 = -67108867 + 2.
67108864 = 67108867 - 3.
-67108864 = -67108867 + 3.
67108863 = 67108867 - 4.
-67108863 = -67108867 + 4.
67108862 = 67108867 - 5.
-67108862 = -67108867 + 5.
67108861 = 67108867 - 6.
-67108861 = -67108867 + 6.
134217723 = 134217725 + (-2).
-134217729 = -134217731 - (-2).
134217724 = 134217725 + (-1).
-134217730 = -134217731 - (-1).
134217725 = 134217725 + 0.
-134217731 = -134217731 - 0.
134217726 = 134217725 + 1.
-134217732 = -134217731 - 1.
134217727 = 134217725 + 2.
-134217733 = -134217731 - 2.
134217728 = 134217725 + 3.
-134217734 = -134217731 - 3.
134217729 = 134217725 + 4.
-134217735 = -134217731 - 4.
134217730 = 134217725 + 5.
-134217736 = -134217731 - 5.
134217731 = 134217725 + 6.
-134217737 = -134217731 - 6.
134217724 = 134217726 + (-2).
-134217728 = -134217730 - (-2).
134217725 = 134217726 + (-1).
-134217729 = -134217730 - (-1).
134217726 = 134217726 + 0.
-134217730 = -134217730 - 0.
134217727 = 134217726 + 1.
-134217731 = -134217730 - 1.
134217728 = 134217726 + 2.
-134217732 = -134217730 - 2.
134217729 = 134217726 + 3.
-134217733 = -134217730 - 3.
134217730 = 134217726 + 4.
-134217734 = -134217730 - 4.
134217731 = 134217726 + 5.
-134217735 = -134217730 - 5.
134217732 = 134217726 + 6.
-134217736 = -134217730 - 6.
134217725 = 134217727 + (-2).
-134217727 = -134217729 - (-2).
134217726 = 134217727 + (-1).
-134217728 = -134217729 - (-1).
134217727 = 134217727 + 0.
-134217729 = -134217729 - 0.
134217728 = 134217727 + 1.
-134217730 = -134217729 - 1.
134217729 = 134217727 + 2.
-134217731 = -134217729 - 2.
134217730 = 134217727 + 3.
-134217732 = -134217729 - 3.
134217731 = 134217727 + 4.
-134217733 = -134217729 - 4.
134217732 = 134217727 + 5.
-134217734 = -134217729 - 5.
134217733 = 134217727 + 6.
-134217735 = -134217729 - 6.
134217726 = 134217728 + (-2).
-134217726 = -134217728 - (-2).
134217727 = 134217728 + (-1).
-134217727 = -134217728 - (-1).
134217728 = 134217728 + 0.
-134217728 = -134217728 - 0.
134217729 = 134217728 + 1.
-134217729 = -134217728 - 1.
134217730 = 134217728 + 2.
-134217730 = -134217728 - 2.
134217731 = 134217728 + 3.
-134217731 = -134217728 - 3.
134217732 = 134217728 + 4.
-134217732 = -134217728 - 4.
134217733 = 134217728 + 5.
-134217733 = -134217728 - 5.
134217734 = 134217728 + 6.
-134217734 = -134217728 - 6.
134217727 = 134217729 + (-2).
-134217725 = -134217727 - (-2).
134217728 = 134217729 + (-1).
-134217726 = -134217727 - (-1).
134217729 = 134217729 + 0.
-134217727 = -134217727 - 0.
134217730 = 134217729 + 1.
-134217728 = -134217727 - 1.
134217731 = 134217729 + 2.
-134217729 = -134217727 - 2.
134217732 = 134217729 + 3.
-134217730 = -134217727 - 3.
134217733 = 134217729 + 4.
-134217731 = -134217727 - 4.
134217734 = 134217729 + 5.
-134217732 = -134217727 - 5.
134217735 = 134217729 + 6.
-134217733 = -134217727 - 6.
134217728 = 134217730 + (-2).
-134217724 = -134217726 - (-2).
134217729 = 134217730 + (-1).
-134217725 = -134217726 - (-1).
134217730 = 134217730 + 0.
-134217726 = -134217726 - 0.
134217731 = 134217730 + 1.
-134217727 = -134217726 - 1.
134217732 = 134217730 + 2.
-134217728 = -134217726 - 2.
134217733 = 134217730 + 3.
-134217729 = -134217726 - 3.
134217734 = 134217730 + 4.
-134217730 = -134217726 - 4.
134217735 = 134217730 + 5.
-134217731 = -134217726 - 5.
134217736 = 134217730 + 6.
-134217732 = -134217726 - 6.
134217728 = 134217726 - (-2).
-134217728 = -134217726 + (-2).
134217727 = 134217726 - (-1).
-134217727 = -134217726 + (-1).
134217726 = 134217726 - 0.
-134217726 = -134217726 + 0.
134217725 = 134217726 - 1.
-134217725 = -134217726 + 1.
134217724 = 134217726 - 2.
-134217724 = -134217726 + 2.
134217723 = 134217726 - 3.
-134217723 = -134217726 + 3.
134217722 = 134217726 - 4.
-134217722 = -134217726 + 4.
134217721 = 134217726 - 5.
-134217721 = -134217726 + 5.
134217720 = 134217726 - 6.
-134217720 = -134217726 + 6.
134217729 = 134217727 - (-2).
-134217729 = -134217727 + (-2).
134217728 = 134217727 - (-1).
-134217728 = -134217727 + (-1).
134217727 = 134217727 - 0.
-134217727 = -134217727 + 0.
134217726 = 134217727 - 1.
-134217726 = -134217727 + 1.
134217725 = 134217727 - 2.
-134217725 = -134217727 + 2.
134217724 = 134217727 - 3.
-134217724 = -134217727 + 3.
134217723 = 134217727 - 4.
-134217723 = -134217727 + 4.
134217722 = 134217727 - 5.
-134217722 = -134217727 + 5.
134217721 = 134217727 - 6.
-134217721 = -134217727 + 6.
134217730 = 134217728 - (-2).
-134217730 = -134217728 + (-2).
134217729 = 134217728 - (-1).
-134217729 = -134217728 + (-1).
134217728 = 134217728 - 0.
-134217728 = -134217728 + 0.
134217727 = 134217728 - 1.
-134217727 = -134217728 + 1.
134217726 = 134217728 - 2.
-134217726 = -134217728 + 2.
134217725 = 134217728 - 3.
-134217725 = -134217728 + 3.
134217724 = 134217728 - 4.
-134217724 = -134217728 + 4.
134217723 = 134217728 - 5.
-134217723 = -134217728 + 5.
134217722 = 134217728 - 6.
-134217722 = -134217728 + 6.
134217731 = 134217729 - (-2).
-134217731 = -134217729 + (-2).
134217730 = 134217729 - (-1).
-134217730 = -134217729 + (-1).
134217729 = 134217729 - 0.
-134217729 = -134217729 + 0.
134217728 = 134217729 - 1.
-134217728 = -134217729 + 1.
134217727 = 134217729 - 2.
-134217727 = -134217729 + 2.
134217726 = 134217729 - 3.
-134217726 = -134217729 + 3.
134217725 = 134217729 - 4.
-134217725 = -134217729 + 4.
134217724 = 134217729 - 5.
-134217724 = -134217729 + 5.
134217723 = 134217729 - 6.
-134217723 = -134217729 + 6.
134217732 = 134217730 - (-2).
-134217732 = -134217730 + (-2).
134217731 = 134217730 - (-1).
-134217731 = -134217730 + (-1).
134217730 = 134217730 - 0.
-134217730 = -134217730 + 0.
134217729 = 134217730 - 1.
-134217729 = -134217730 + 1.
134217728 = 134217730 - 2.
-134217728 = -134217730 + 2.
134217727 = 134217730 - 3.
-134217727 = -134217730 + 3.
134217726 = 134217730 - 4.
-134217726 = -134217730 + 4.
134217725 = 134217730 - 5.
-134217725 = -134217730 + 5.
134217724 = 134217730 - 6.
-134217724 = -134217730 + 6.
134217733 = 134217731 - (-2).
-134217733 = -134217731 + (-2).
134217732 = 134217731 - (-1).
-134217732 = -134217731 + (-1).
134217731 = 134217731 - 0.
-134217731 = -134217731 + 0.
134217730 = 134217731 - 1.
-134217730 = -134217731 + 1.
134217729 = 134217731 - 2.
-134217729 = -134217731 + 2.
134217728 = 134217731 - 3.
-134217728 = -134217731 + 3.
134217727 = 134217731 - 4.
-134217727 = -134217731 + 4.
134217726 = 134217731 - 5.
-134217726 = -134217731 + 5.
134217725 = 134217731 - 6.
-134217725 = -134217731 + 6.
268435451 = 268435453 + (-2).
-268435457 = -268435459 - (-2).
268435452 = 268435453 + (-1).
-268435458 = -268435459 - (-1).
268435453 = 268435453 + 0.
-268435459 = -268435459 - 0.
268435454 = 268435453 + 1.
-268435460 = -268435459 - 1.
268435455 = 268435453 + 2.
-268435461 = -268435459 - 2.
268435456 = 268435453 + 3.
-268435462 = -268435459 - 3.
268435457 = 268435453 + 4.
-268435463 = -268435459 - 4.
268435458 = 268435453 + 5.
-268435464 = -268435459 - 5.
268435459 = 268435453 + 6.
-268435465 = -268435459 - 6.
268435452 = 268435454 + (-2).
-268435456 = -268435458 - (-2).
268435453 = 268435454 + (-1).
-268435457 = -268435458 - (-1).
268435454 = 268435454 + 0.
-268435458 = -268435458 - 0.
268435455 = 268435454 + 1.
-268435459 = -268435458 - 1.
268435456 = 268435454 + 2.
-268435460 = -268435458 - 2.
268435457 = 268435454 + 3.
-268435461 = -268435458 - 3.
268435458 = 268435454 + 4.
-268435462 = -268435458 - 4.
268435459 = 268435454 + 5.
-268435463 = -268435458 - 5.
268435460 = 268435454 + 6.
-268435464 = -268435458 - 6.
268435453 = 268435455 + (-2).
-268435455 = -268435457 - (-2).
268435454 = 268435455 + (-1).
-268435456 = -268435457 - (-1).
268435455 = 268435455 + 0.
-268435457 = -268435457 - 0.
268435456 = 268435455 + 1.
-268435458 = -268435457 - 1.
268435457 = 268435455 + 2.
-268435459 = -268435457 - 2.
268435458 = 268435455 + 3.
-268435460 = -268435457 - 3.
268435459 = 268435455 + 4.
-268435461 = -268435457 - 4.
268435460 = 268435455 + 5.
-268435462 = -268435457 - 5.
268435461 = 268435455 + 6.
-268435463 = -268435457 - 6.
268435454 = 268435456 + (-2).
-268435454 = -268435456 - (-2).
268435455 = 268435456 + (-1).
-268435455 = -268435456 - (-1).
268435456 = 268435456 + 0.
-268435456 = -268435456 - 0.
268435457 = 268435456 + 1.
-268435457 = -268435456 - 1.
268435458 = 268435456 + 2.
-268435458 = -268435456 - 2.
268435459 = 268435456 + 3.
-268435459 = -268435456 - 3.
268435460 = 268435456 + 4.
-268435460 = -268435456 - 4.
268435461 = 268435456 + 5.
-268435461 = -268435456 - 5.
268435462 = 268435456 + 6.
-268435462 = -268435456 - 6.
268435455 = 268435457 + (-2).
-268435453 = -268435455 - (-2).
268435456 = 268435457 + (-1).
-268435454 = -268435455 - (-1).
268435457 = 268435457 + 0.
-268435455 = -268435455 - 0.
268435458 = 268435457 + 1.
-268435456 = -268435455 - 1.
268435459 = 268435457 + 2.
-268435457 = -268435455 - 2.
268435460 = 268435457 + 3.
-268435458 = -268435455 - 3.
268435461 = 268435457 + 4.
-268435459 = -268435455 - 4.
268435462 = 268435457 + 5.
-268435460 = -268435455 - 5.
268435463 = 268435457 + 6.
-268435461 = -268435455 - 6.
268435456 = 268435458 + (-2).
-268435452 = -268435454 - (-2).
268435457 = 268435458 + (-1).
-268435453 = -268435454 - (-1).
268435458 = 268435458 + 0.
-268435454 = -268435454 - 0.
268435459 = 268435458 + 1.
-268435455 = -268435454 - 1.
268435460 = 268435458 + 2.
-268435456 = -268435454 - 2.
268435461 = 268435458 + 3.
-268435457 = -268435454 - 3.
268435462 = 268435458 + 4.
-268435458 = -268435454 - 4.
268435463 = 268435458 + 5.
-268435459 = -268435454 - 5.
268435464 = 268435458 + 6.
-268435460 = -268435454 - 6.
268435456 = 268435454 - (-2).
-268435456 = -268435454 + (-2).
268435455 = 268435454 - (-1).
-268435455 = -268435454 + (-1).
268435454 = 268435454 - 0.
-268435454 = -268435454 + 0.
268435453 = 268435454 - 1.
-268435453 = -268435454 + 1.
268435452 = 268435454 - 2.
-268435452 = -268435454 + 2.
268435451 = 268435454 - 3.
-268435451 = -268435454 + 3.
268435450 = 268435454 - 4.
-268435450 = -268435454 + 4.
268435449 = 268435454 - 5.
-268435449 = -268435454 + 5.
268435448 = 268435454 - 6.
-268435448 = -268435454 + 6.
268435457 = 268435455 - (-2).
-268435457 = -268435455 + (-2).
268435456 = 268435455 - (-1).
-268435456 = -268435455 + (-1).
268435455 = 268435455 - 0.
-268435455 = -268435455 + 0.
268435454 = 268435455 - 1.
-268435454 = -268435455 + 1.
268435453 = 268435455 - 2.
-268435453 = -268435455 + 2.
268435452 = 268435455 - 3.
-268435452 = -268435455 + 3.
268435451 = 268435455 - 4.
-268435451 = -268435455 + 4.
268435450 = 268435455 - 5.
-268435450 = -268435455 + 5.
268435449 = 268435455 - 6.
-268435449 = -268435455 + 6.
268435458 = 268435456 - (-2).
-268435458 = -268435456 + (-2).
268435457 = 268435456 - (-1).
-268435457 = -268435456 + (-1).
268435456 = 268435456 - 0.
-268435456 = -268435456 + 0.
268435455 = 268435456 - 1.
-268435455 = -268435456 + 1.
268435454 = 268435456 - 2.
-268435454 = -268435456 + 2.
268435453 = 268435456 - 3.
-268435453 = -268435456 + 3.
268435452 = 268435456 - 4.
-268435452 = -268435456 + 4.
268435451 = 268435456 - 5.
-268435451 = -268435456 + 5.
268435450 = 268435456 - 6.
-268435450 = -268435456 + 6.
268435459 = 268435457 - (-2).
-268435459 = -268435457 + (-2).
268435458 = 268435457 - (-1).
-268435458 = -268435457 + (-1).
268435457 = 268435457 - 0.
-268435457 = -268435457 + 0.
268435456 = 268435457 - 1.
-268435456 = -268435457 + 1.
268435455 = 268435457 - 2.
-268435455 = -268435457 + 2.
268435454 = 268435457 - 3.
-268435454 = -268435457 + 3.
268435453 = 268435457 - 4.
-268435453 = -268435457 + 4.
268435452 = 268435457 - 5.
-268435452 = -268435457 + 5.
268435451 = 268435457 - 6.
-268435451 = -268435457 + 6.
268435460 = 268435458 - (-2).
-268435460 = -268435458 + (-2).
268435459 = 268435458 - (-1).
-268435459 = -268435458 + (-1).
268435458 = 268435458 - 0.
-268435458 = -268435458 + 0.
268435457 = 268435458 - 1.
-268435457 = -268435458 + 1.
268435456 = 268435458 - 2.
-268435456 = -268435458 + 2.
268435455 = 268435458 - 3.
-268435455 = -268435458 + 3.
268435454 = 268435458 - 4.
-268435454 = -268435458 + 4.
268435453 = 268435458 - 5.
-268435453 = -268435458 + 5.
268435452 = 268435458 - 6.
-268435452 = -268435458 + 6.
268435461 = 268435459 - (-2).
-268435461 = -268435459 + (-2).
268435460 = 268435459 - (-1).
-268435460 = -268435459 + (-1).
268435459 = 268435459 - 0.
-268435459 = -268435459 + 0.
268435458 = 268435459 - 1.
-268435458 = -268435459 + 1.
268435457 = 268435459 - 2.
-268435457 = -268435459 + 2.
268435456 = 268435459 - 3.
-268435456 = -268435459 + 3.
268435455 = 268435459 - 4.
-268435455 = -268435459 + 4.
268435454 = 268435459 - 5.
-268435454 = -268435459 + 5.
268435453 = 268435459 - 6.
-268435453 = -268435459 + 6.
536870907 = 536870909 + (-2).
-536870913 = -536870915 - (-2).
536870908 = 536870909 + (-1).
-536870914 = -536870915 - (-1).
536870909 = 536870909 + 0.
-536870915 = -536870915 - 0.
536870910 = 536870909 + 1.
-536870916 = -536870915 - 1.
536870911 = 536870909 + 2.
-536870917 = -536870915 - 2.
536870912 = 536870909 + 3.
-536870918 = -536870915 - 3.
536870913 = 536870909 + 4.
-536870919 = -536870915 - 4.
536870914 = 536870909 + 5.
-536870920 = -536870915 - 5.
536870915 = 536870909 + 6.
-536870921 = -536870915 - 6.
536870908 = 536870910 + (-2).
-536870912 = -536870914 - (-2).
536870909 = 536870910 + (-1).
-536870913 = -536870914 - (-1).
536870910 = 536870910 + 0.
-536870914 = -536870914 - 0.
536870911 = 536870910 + 1.
-536870915 = -536870914 - 1.
536870912 = 536870910 + 2.
-536870916 = -536870914 - 2.
536870913 = 536870910 + 3.
-536870917 = -536870914 - 3.
536870914 = 536870910 + 4.
-536870918 = -536870914 - 4.
536870915 = 536870910 + 5.
-536870919 = -536870914 - 5.
536870916 = 536870910 + 6.
-536870920 = -536870914 - 6.
536870909 = 536870911 + (-2).
-536870911 = -536870913 - (-2).
536870910 = 536870911 + (-1).
-536870912 = -536870913 - (-1).
536870911 = 536870911 + 0.
-536870913 = -536870913 - 0.
536870912 = 536870911 + 1.
-536870914 = -536870913 - 1.
536870913 = 536870911 + 2.
-536870915 = -536870913 - 2.
536870914 = 536870911 + 3.
-536870916 = -536870913 - 3.
536870915 = 536870911 + 4.
-536870917 = -536870913 - 4.
536870916 = 536870911 + 5.
-536870918 = -536870913 - 5.
536870917 = 536870911 + 6.
-536870919 = -536870913 - 6.
536870910 = 536870912 + (-2).
-536870910 = -536870912 - (-2).
536870911 = 536870912 + (-1).
-536870911 = -536870912 - (-1).
536870912 = 536870912 + 0.
-536870912 = -536870912 - 0.
536870913 = 536870912 + 1.
-536870913 = -536870912 - 1.
536870914 = 536870912 + 2.
-536870914 = -536870912 - 2.
536870915 = 536870912 + 3.
-536870915 = -536870912 - 3.
536870916 = 536870912 + 4.
-536870916 = -536870912 - 4.
536870917 = 536870912 + 5.
-536870917 = -536870912 - 5.
536870918 = 536870912 + 6.
-536870918 = -536870912 - 6.
536870911 = 536870913 + (-2).
-536870909 = -536870911 - (-2).
536870912 = 536870913 + (-1).
-536870910 = -536870911 - (-1).
536870913 = 536870913 + 0.
-536870911 = -536870911 - 0.
536870914 = 536870913 + 1.
-536870912 = -536870911 - 1.
536870915 = 536870913 + 2.
-536870913 = -536870911 - 2.
536870916 = 536870913 + 3.
-536870914 = -536870911 - 3.
536870917 = 536870913 + 4.
-536870915 = -536870911 - 4.
536870918 = 536870913 + 5.
-536870916 = -536870911 - 5.
536870919 = 536870913 + 6.
-536870917 = -536870911 - 6.
536870912 = 536870914 + (-2).
-536870908 = -536870910 - (-2).
536870913 = 536870914 + (-1).
-536870909 = -536870910 - (-1).
536870914 = 536870914 + 0.
-536870910 = -536870910 - 0.
536870915 = 536870914 + 1.
-536870911 = -536870910 - 1.
536870916 = 536870914 + 2.
-536870912 = -536870910 - 2.
536870917 = 536870914 + 3.
-536870913 = -536870910 - 3.
536870918 = 536870914 + 4.
-536870914 = -536870910 - 4.
536870919 = 536870914 + 5.
-536870915 = -536870910 - 5.
536870920 = 536870914 + 6.
-536870916 = -536870910 - 6.
536870912 = 536870910 - (-2).
-536870912 = -536870910 + (-2).
536870911 = 536870910 - (-1).
-536870911 = -536870910 + (-1).
536870910 = 536870910 - 0.
-536870910 = -536870910 + 0.
536870909 = 536870910 - 1.
-536870909 = -536870910 + 1.
536870908 = 536870910 - 2.
-536870908 = -536870910 + 2.
536870907 = 536870910 - 3.
-536870907 = -536870910 + 3.
536870906 = 536870910 - 4.
-536870906 = -536870910 + 4.
536870905 = 536870910 - 5.
-536870905 = -536870910 + 5.
536870904 = 536870910 - 6.
-536870904 = -536870910 + 6.
536870913 = 536870911 - (-2).
-536870913 = -536870911 + (-2).
536870912 = 536870911 - (-1).
-536870912 = -536870911 + (-1).
536870911 = 536870911 - 0.
-536870911 = -536870911 + 0.
536870910 = 536870911 - 1.
-536870910 = -536870911 + 1.
536870909 = 536870911 - 2.
-536870909 = -536870911 + 2.
536870908 = 536870911 - 3.
-536870908 = -536870911 + 3.
536870907 = 536870911 - 4.
-536870907 = -536870911 + 4.
536870906 = 536870911 - 5.
-536870906 = -536870911 + 5.
536870905 = 536870911 - 6.
-536870905 = -536870911 + 6.
536870914 = 536870912 - (-2).
-536870914 = -536870912 + (-2).
536870913 = 536870912 - (-1).
-536870913 = -536870912 + (-1).
536870912 = 536870912 - 0.
-536870912 = -536870912 + 0.
536870911 = 536870912 - 1.
-536870911 = -536870912 + 1.
536870910 = 536870912 - 2.
-536870910 = -536870912 + 2.
536870909 = 536870912 - 3.
-536870909 = -536870912 + 3.
536870908 = 536870912 - 4.
-536870908 = -536870912 + 4.
536870907 = 536870912 - 5.
-536870907 = -536870912 + 5.
536870906 = 536870912 - 6.
-536870906 = -536870912 + 6.
536870915 = 536870913 - (-2).
-536870915 = -536870913 + (-2).
536870914 = 536870913 - (-1).
-536870914 = -536870913 + (-1).
536870913 = 536870913 - 0.
-536870913 = -536870913 + 0.
536870912 = 536870913 - 1.
-536870912 = -536870913 + 1.
536870911 = 536870913 - 2.
-536870911 = -536870913 + 2.
536870910 = 536870913 - 3.
-536870910 = -536870913 + 3.
536870909 = 536870913 - 4.
-536870909 = -536870913 + 4.
536870908 = 536870913 - 5.
-536870908 = -536870913 + 5.
536870907 = 536870913 - 6.
-536870907 = -536870913 + 6.
536870916 = 536870914 - (-2).
-536870916 = -536870914 + (-2).
536870915 = 536870914 - (-1).
-536870915 = -536870914 + (-1).
536870914 = 536870914 - 0.
-536870914 = -536870914 + 0.
536870913 = 536870914 - 1.
-536870913 = -536870914 + 1.
536870912 = 536870914 - 2.
-536870912 = -536870914 + 2.
536870911 = 536870914 - 3.
-536870911 = -536870914 + 3.
536870910 = 536870914 - 4.
-536870910 = -536870914 + 4.
536870909 = 536870914 - 5.
-536870909 = -536870914 + 5.
536870908 = 536870914 - 6.
-536870908 = -536870914 + 6.
536870917 = 536870915 - (-2).
-536870917 = -536870915 + (-2).
536870916 = 536870915 - (-1).
-536870916 = -536870915 + (-1).
536870915 = 536870915 - 0.
-536870915 = -536870915 + 0.
536870914 = 536870915 - 1.
-536870914 = -536870915 + 1.
536870913 = 536870915 - 2.
-536870913 = -536870915 + 2.
536870912 = 536870915 - 3.
-536870912 = -536870915 + 3.
536870911 = 536870915 - 4.
-536870911 = -536870915 + 4.
536870910 = 536870915 - 5.
-536870910 = -536870915 + 5.
536870909 = 536870915 - 6.
-536870909 = -536870915 + 6.

%% Thanks to Mikael Pettersson. Most negative fixnum (for 32/64 bits architecture).
16#8000000 = -16#8000000 div (-1).
16#8000000 = -16#8000000 * (-1).
16#8000000 = 0 - (-16#8000000).
16#800000000000000 = -16#800000000000000 div (-1).
16#800000000000000 = -16#800000000000000 * (-1).
16#800000000000000 = 0 - (-16#800000000000000).

%% The absolute valute of the most negative fixnum used in all combinations.
1 = -16#8000000 div (-16#8000000).
1 = 16#8000000 div 16#8000000.
-1 = -16#8000000 div 16#8000000.
-1 = 16#8000000 div (-16#8000000).
1 = -16#800000000000000 div (-16#800000000000000).
1 = 16#800000000000000 div 16#800000000000000.
-1 = -16#800000000000000 div 16#800000000000000.
-1 = 16#800000000000000 div (-16#800000000000000).
0 = -16#8000000 rem (-16#8000000).
0 = 16#8000000 rem 16#8000000.
0 = -16#8000000 rem 16#8000000.
0 = 16#8000000 rem (-16#8000000).
0 = -16#800000000000000 rem (-16#800000000000000).
0 = 16#800000000000000 rem 16#800000000000000.
0 = -16#800000000000000 rem 16#800000000000000.
0 = 16#800000000000000 rem (-16#800000000000000).

%% More border values regarding rem...
-16#8000000 = -16#8000000 rem (-16#8000001).
-16#8000000 = -16#8000000 rem 16#8000001.
1 = 16#8000001 rem (-16#8000000).
-16#800000000000000 = -16#800000000000000 rem (-16#800000000000001).
-16#800000000000000 = -16#800000000000000 rem 16#800000000000001.
1 = 16#800000000000001 rem (-16#800000000000000).
0 = 16#FFFFFFFFFFFFFFF800000000 rem 16#FFFFFFFFFFFFFFF80.

% ERL-450 bxor of big negative 2-pow
-(1 bsl 8) bxor -1 = 16#ff.
-(1 bsl 16) bxor -1 = 16#ffff.
-(1 bsl 24) bxor -1 = 16#ffffff.
-(1 bsl 32) bxor -1 = 16#ffffffff.
-(1 bsl 40) bxor -1 = 16#ffffffffff.
-(1 bsl 48) bxor -1 = 16#ffffffffffff.
-(1 bsl 56) bxor -1 = 16#ffffffffffffff.
-(1 bsl 64) bxor -1 = 16#ffffffffffffffff.
-(1 bsl 72) bxor -1 = 16#ffffffffffffffffff.
-(1 bsl 80) bxor -1 = 16#ffffffffffffffffffff.
-(1 bsl 88) bxor -1 = 16#ffffffffffffffffffffff.
-(1 bsl 96) bxor -1 = 16#ffffffffffffffffffffffff.
-(1 bsl 104) bxor -1 = 16#ffffffffffffffffffffffffff.
-(1 bsl 112) bxor -1 = 16#ffffffffffffffffffffffffffff.
-(1 bsl 120) bxor -1 = 16#ffffffffffffffffffffffffffffff.
-(1 bsl 128) bxor -1 = 16#ffffffffffffffffffffffffffffffff.
-(1 bsl 136) bxor -1 = 16#ffffffffffffffffffffffffffffffffff.
-(1 bsl 8) bxor 1 = -16#ff.
-(1 bsl 16) bxor 1 = -16#ffff.
-(1 bsl 24) bxor 1 = -16#ffffff.
-(1 bsl 32) bxor 1 = -16#ffffffff.
-(1 bsl 40) bxor 1 = -16#ffffffffff.
-(1 bsl 48) bxor 1 = -16#ffffffffffff.
-(1 bsl 56) bxor 1 = -16#ffffffffffffff.
-(1 bsl 64) bxor 1 = -16#ffffffffffffffff.
-(1 bsl 72) bxor 1 = -16#ffffffffffffffffff.
-(1 bsl 80) bxor 1 = -16#ffffffffffffffffffff.
-(1 bsl 88) bxor 1 = -16#ffffffffffffffffffffff.
-(1 bsl 96) bxor 1 = -16#ffffffffffffffffffffffff.
-(1 bsl 104) bxor 1 = -16#ffffffffffffffffffffffffff.
-(1 bsl 112) bxor 1 = -16#ffffffffffffffffffffffffffff.
-(1 bsl 120) bxor 1 = -16#ffffffffffffffffffffffffffffff.
-(1 bsl 128) bxor 1 = -16#ffffffffffffffffffffffffffffffff.
-(1 bsl 136) bxor 1 = -16#ffffffffffffffffffffffffffffffffff.