fork download
copy 
  1. #include <iostream>
  2. #include <cstdint>
  3. #include <limits>
  4. #include <random>
  5.  
  6. using namespace std;
  7.  
  8. using Integer = int8_t;
  9.  
  10. Integer satadd(Integer x, Integer y, const Integer K = 42)
  11. {
  12. 	if (x + y >= min(x, y) && x + y <= K) { // if not overflow or not greater than K
  13. 		return x + y;
  14. 	}
  15. 	return K + 1; // K+1, K+2, ... overflow are always > K
  16. }
  17.  
  18. int main() 
  19. {
  20. 	const int K = 42;
  21. 	for (int test = 1; test <= 1e3; ++test)
  22. 	{
  23. 		Integer x = rand() % 64;
  24. 		Integer y = rand() % 64;
  25. 		int res = satadd(x, y);
  26. 		cout << "satadd(" << (int)x << ", " << (int)y << ") = " << (int)res << endl;
  27. 	}
  28.  
  29. 	return 0;
  30. 	for (Integer x = numeric_limits<Integer>::min(); ; ++x) {
  31. 		for (Integer y = numeric_limits<Integer>::min(); ; ++y) {
  32. 			int res = satadd(x, y);
  33. 			cout << "satadd(" << (int)x << ", " << (int)y << ") = " << (int)res << endl;
  34. 			if (y == numeric_limits<Integer>::max()) break;
  35. 		}
  36. 		if (x == numeric_limits<Integer>::max()) break;
  37. 	}
  38. 	return 0;
  39. }
  40.  
Success #stdin #stdout 0.01s 5288KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
satadd(39, 6) = 43
satadd(41, 51) = 43
satadd(17, 63) = 43
satadd(10, 44) = 43
satadd(41, 13) = 43
satadd(58, 43) = 43
satadd(50, 59) = 43
satadd(35, 6) = 41
satadd(60, 2) = 43
satadd(20, 56) = 43
satadd(27, 40) = 43
satadd(39, 13) = 43
satadd(54, 26) = 43
satadd(46, 35) = 43
satadd(51, 31) = 43
satadd(9, 26) = 35
satadd(38, 50) = 43
satadd(13, 55) = 43
satadd(49, 24) = 43
satadd(35, 26) = 43
satadd(37, 29) = 43
satadd(5, 23) = 28
satadd(24, 41) = 43
satadd(30, 20) = 43
satadd(43, 50) = 43
satadd(13, 6) = 19
satadd(27, 52) = 43
satadd(20, 17) = 37
satadd(14, 2) = 16
satadd(52, 1) = 43
satadd(33, 61) = 43
satadd(28, 7) = 35
satadd(48, 41) = 43
satadd(62, 33) = 43
satadd(1, 33) = 34
satadd(60, 39) = 43
satadd(62, 1) = 43
satadd(62, 23) = 43
satadd(42, 28) = 43
satadd(43, 22) = 43
satadd(15, 56) = 43
satadd(28, 42) = 43
satadd(44, 48) = 43
satadd(59, 59) = 43
satadd(50, 47) = 43
satadd(60, 20) = 43
satadd(44, 24) = 43
satadd(27, 28) = 43
satadd(2, 26) = 28
satadd(62, 3) = 43
satadd(59, 58) = 43
satadd(42, 58) = 43
satadd(59, 41) = 43
satadd(17, 38) = 43
satadd(5, 60) = 43
satadd(60, 20) = 43
satadd(53, 24) = 43
satadd(62, 33) = 43
satadd(9, 57) = 43
satadd(28, 59) = 43
satadd(40, 25) = 43
satadd(15, 21) = 36
satadd(49, 43) = 43
satadd(49, 51) = 43
satadd(5, 47) = 43
satadd(55, 0) = 43
satadd(41, 33) = 43
satadd(58, 37) = 43
satadd(10, 11) = 21
satadd(11, 16) = 27
satadd(8, 7) = 15
satadd(36, 61) = 43
satadd(31, 35) = 43
satadd(30, 40) = 43
satadd(28, 59) = 43
satadd(36, 5) = 41
satadd(20, 51) = 43
satadd(26, 5) = 31
satadd(30, 11) = 41
satadd(57, 35) = 43
satadd(59, 48) = 43
satadd(36, 36) = 43
satadd(17, 30) = 43
satadd(9, 28) = 37
satadd(42, 20) = 43
satadd(44, 50) = 43
satadd(27, 16) = 43
satadd(47, 59) = 43
satadd(51, 13) = 43
satadd(35, 16) = 43
satadd(8, 7) = 15
satadd(21, 28) = 43
satadd(59, 47) = 43
satadd(34, 25) = 43
satadd(58, 27) = 43
satadd(61, 53) = 43
satadd(11, 33) = 43
satadd(26, 28) = 43
satadd(63, 35) = 43
satadd(56, 41) = 43
satadd(56, 36) = 43
satadd(27, 19) = 43
satadd(53, 10) = 43
satadd(14, 40) = 43
satadd(24, 50) = 43
satadd(56, 32) = 43
satadd(57, 13) = 43
satadd(61, 52) = 43
satadd(60, 31) = 43
satadd(14, 55) = 43
satadd(58, 11) = 43
satadd(44, 5) = 43
satadd(44, 6) = 43
satadd(33, 43) = 43
satadd(42, 26) = 43
satadd(21, 34) = 43
satadd(62, 48) = 43
satadd(53, 51) = 43
satadd(59, 4) = 43
satadd(28, 19) = 43
satadd(54, 20) = 43
satadd(51, 47) = 43
satadd(34, 48) = 43
satadd(36, 30) = 43
satadd(15, 50) = 43
satadd(21, 9) = 30
satadd(61, 2) = 43
satadd(14, 41) = 43
satadd(8, 48) = 43
satadd(20, 50) = 43
satadd(10, 41) = 43
satadd(20, 8) = 28
satadd(26, 10) = 36
satadd(60, 21) = 43
satadd(14, 24) = 38
satadd(40, 4) = 43
satadd(44, 27) = 43
satadd(51, 14) = 43
satadd(12, 23) = 35
satadd(45, 27) = 43
satadd(9, 2) = 11
satadd(37, 6) = 43
satadd(4, 51) = 43
satadd(47, 13) = 43
satadd(35, 4) = 39
satadd(63, 45) = 43
satadd(45, 20) = 43
satadd(54, 7) = 43
satadd(30, 50) = 43
satadd(28, 44) = 43
satadd(10, 4) = 14
satadd(48, 54) = 43
satadd(32, 35) = 43
satadd(5, 44) = 43
satadd(59, 50) = 43
satadd(7, 4) = 11
satadd(52, 44) = 43
satadd(11, 57) = 43
satadd(32, 58) = 43
satadd(6, 3) = 9
satadd(62, 5) = 43
satadd(49, 44) = 43
satadd(25, 39) = 43
satadd(51, 55) = 43
satadd(25, 16) = 41
satadd(35, 35) = 43
satadd(20, 19) = 39
satadd(25, 52) = 43
satadd(55, 30) = 43
satadd(32, 50) = 43
satadd(16, 40) = 43
satadd(54, 5) = 43
satadd(20, 1) = 21
satadd(62, 52) = 43
satadd(60, 4) = 43
satadd(56, 58) = 43
satadd(9, 41) = 43
satadd(38, 35) = 43
satadd(16, 26) = 42
satadd(26, 41) = 43
satadd(42, 62) = 43
satadd(12, 62) = 43
satadd(17, 37) = 43
satadd(51, 8) = 43
satadd(4, 19) = 23
satadd(58, 20) = 43
satadd(59, 49) = 43
satadd(25, 16) = 41
satadd(50, 23) = 43
satadd(4, 46) = 43
satadd(27, 60) = 43
satadd(41, 37) = 43
satadd(37, 15) = 43
satadd(8, 53) = 43
satadd(41, 34) = 43
satadd(30, 19) = 43
satadd(32, 42) = 43
satadd(18, 50) = 43
satadd(16, 5) = 21
satadd(58, 20) = 43
satadd(24, 53) = 43
satadd(40, 20) = 43
satadd(38, 2) = 40
satadd(36, 24) = 43
satadd(25, 40) = 43
satadd(7, 53) = 43
satadd(37, 48) = 43
satadd(26, 10) = 36
satadd(63, 34) = 43
satadd(0, 41) = 41
satadd(4, 30) = 34
satadd(60, 37) = 43
satadd(9, 14) = 23
satadd(23, 25) = 43
satadd(19, 17) = 36
satadd(45, 44) = 43
satadd(6, 21) = 27
satadd(0, 44) = 43
satadd(23, 36) = 43
satadd(5, 49) = 43
satadd(12, 12) = 24
satadd(38, 49) = 43
satadd(60, 0) = 43
satadd(60, 59) = 43
satadd(34, 60) = 43
satadd(36, 38) = 43
satadd(26, 33) = 43
satadd(11, 35) = 43
satadd(47, 34) = 43
satadd(60, 3) = 43
satadd(52, 41) = 43
satadd(47, 58) = 43
satadd(63, 47) = 43
satadd(39, 22) = 43
satadd(19, 44) = 43
satadd(7, 31) = 38
satadd(56, 45) = 43
satadd(17, 52) = 43
satadd(45, 13) = 43
satadd(47, 15) = 43
satadd(9, 20) = 29
satadd(54, 35) = 43
satadd(53, 1) = 43
satadd(7, 36) = 43
satadd(36, 3) = 39
satadd(39, 24) = 43
satadd(45, 22) = 43
satadd(18, 44) = 43
satadd(5, 57) = 43
satadd(2, 24) = 26
satadd(37, 10) = 43
satadd(56, 29) = 43
satadd(55, 9) = 43
satadd(17, 37) = 43
satadd(22, 1) = 23
satadd(52, 31) = 43
satadd(21, 42) = 43
satadd(2, 10) = 12
satadd(44, 9) = 43
satadd(46, 16) = 43
satadd(13, 22) = 35
satadd(40, 58) = 43
satadd(44, 58) = 43
satadd(38, 50) = 43
satadd(52, 40) = 43
satadd(10, 25) = 35
satadd(50, 2) = 43
satadd(55, 42) = 43
satadd(11, 8) = 19
satadd(15, 33) = 43
satadd(9, 3) = 12
satadd(0, 30) = 30
satadd(46, 3) = 43
satadd(40, 26) = 43
satadd(12, 23) = 35
satadd(42, 25) = 43
satadd(45, 18) = 43
satadd(19, 25) = 43
satadd(12, 57) = 43
satadd(11, 0) = 11
satadd(34, 22) = 43
satadd(26, 20) = 43
satadd(24, 17) = 41
satadd(62, 36) = 43
satadd(25, 13) = 38
satadd(5, 35) = 40
satadd(17, 6) = 23
satadd(1, 63) = 43
satadd(9, 42) = 43
satadd(25, 21) = 43
satadd(1, 3) = 4
satadd(47, 46) = 43
satadd(21, 2) = 23
satadd(7, 33) = 40
satadd(60, 19) = 43
satadd(34, 30) = 43
satadd(41, 60) = 43
satadd(50, 1) = 43
satadd(13, 49) = 43
satadd(37, 38) = 43
satadd(62, 43) = 43
satadd(9, 15) = 24
satadd(49, 11) = 43
satadd(14, 58) = 43
satadd(53, 39) = 43
satadd(15, 54) = 43
satadd(42, 62) = 43
satadd(36, 63) = 43
satadd(1, 43) = 43
satadd(33, 61) = 43
satadd(62, 3) = 43
satadd(27, 39) = 43
satadd(63, 13) = 43
satadd(41, 12) = 43
satadd(62, 14) = 43
satadd(50, 61) = 43
satadd(57, 60) = 43
satadd(12, 42) = 43
satadd(7, 27) = 34
satadd(36, 60) = 43
satadd(2, 52) = 43
satadd(50, 45) = 43
satadd(50, 22) = 43
satadd(44, 51) = 43
satadd(1, 13) = 14
satadd(48, 0) = 43
satadd(16, 11) = 27
satadd(39, 15) = 43
satadd(25, 16) = 41
satadd(27, 23) = 43
satadd(31, 14) = 43
satadd(20, 24) = 43
satadd(10, 33) = 43
satadd(3, 17) = 20
satadd(60, 39) = 43
satadd(13, 62) = 43
satadd(27, 63) = 43
satadd(43, 14) = 43
satadd(21, 24) = 43
satadd(1, 22) = 23
satadd(37, 50) = 43
satadd(22, 54) = 43
satadd(61, 62) = 43
satadd(5, 22) = 27
satadd(14, 33) = 43
satadd(46, 45) = 43
satadd(47, 2) = 43
satadd(6, 57) = 43
satadd(35, 9) = 43
satadd(10, 31) = 41
satadd(48, 23) = 43
satadd(30, 12) = 42
satadd(22, 9) = 31
satadd(26, 43) = 43
satadd(33, 27) = 43
satadd(1, 7) = 8
satadd(13, 24) = 37
satadd(61, 11) = 43
satadd(22, 2) = 24
satadd(33, 36) = 43
satadd(35, 15) = 43
satadd(18, 18) = 36
satadd(18, 24) = 42
satadd(11, 53) = 43
satadd(33, 21) = 43
satadd(21, 17) = 38
satadd(44, 51) = 43
satadd(29, 2) = 31
satadd(60, 55) = 43
satadd(45, 30) = 43
satadd(19, 47) = 43
satadd(37, 32) = 43
satadd(7, 34) = 41
satadd(43, 29) = 43
satadd(36, 13) = 43
satadd(1, 8) = 9
satadd(28, 19) = 43
satadd(26, 46) = 43
satadd(43, 38) = 43
satadd(36, 12) = 43
satadd(59, 57) = 43
satadd(30, 40) = 43
satadd(44, 59) = 43
satadd(42, 40) = 43
satadd(51, 24) = 43
satadd(6, 6) = 12
satadd(7, 43) = 43
satadd(38, 14) = 43
satadd(13, 18) = 31
satadd(43, 50) = 43
satadd(31, 44) = 43
satadd(58, 59) = 43
satadd(0, 20) = 20
satadd(42, 43) = 43
satadd(58, 14) = 43
satadd(56, 54) = 43
satadd(7, 22) = 29
satadd(30, 51) = 43
satadd(17, 8) = 25
satadd(27, 4) = 31
satadd(32, 34) = 43
satadd(10, 39) = 43
satadd(13, 49) = 43
satadd(53, 27) = 43
satadd(3, 32) = 35
satadd(13, 34) = 43
satadd(13, 7) = 20
satadd(29, 13) = 42
satadd(27, 7) = 34
satadd(56, 22) = 43
satadd(21, 48) = 43
satadd(12, 28) = 40
satadd(6, 42) = 43
satadd(15, 24) = 39
satadd(50, 43) = 43
satadd(28, 19) = 43
satadd(13, 39) = 43
satadd(58, 26) = 43
satadd(24, 48) = 43
satadd(53, 27) = 43
satadd(16, 2) = 18
satadd(61, 29) = 43
satadd(9, 26) = 35
satadd(42, 37) = 43
satadd(34, 35) = 43
satadd(59, 55) = 43
satadd(19, 7) = 26
satadd(20, 26) = 43
satadd(49, 35) = 43
satadd(50, 35) = 43
satadd(14, 14) = 28
satadd(54, 27) = 43
satadd(53, 49) = 43
satadd(54, 13) = 43
satadd(33, 43) = 43
satadd(40, 49) = 43
satadd(46, 37) = 43
satadd(15, 55) = 43
satadd(0, 57) = 43
satadd(28, 34) = 43
satadd(28, 23) = 43
satadd(25, 48) = 43
satadd(30, 45) = 43
satadd(10, 15) = 25
satadd(17, 60) = 43
satadd(51, 31) = 43
satadd(10, 41) = 43
satadd(59, 0) = 43
satadd(26, 49) = 43
satadd(13, 59) = 43
satadd(28, 54) = 43
satadd(45, 10) = 43
satadd(27, 60) = 43
satadd(2, 27) = 29
satadd(53, 30) = 43
satadd(61, 18) = 43
satadd(54, 23) = 43
satadd(2, 20) = 22
satadd(4, 12) = 16
satadd(36, 21) = 43
satadd(8, 23) = 31
satadd(53, 18) = 43
satadd(0, 48) = 43
satadd(18, 27) = 43
satadd(33, 32) = 43
satadd(22, 61) = 43
satadd(22, 3) = 25
satadd(8, 49) = 43
satadd(63, 10) = 43
satadd(13, 53) = 43
satadd(40, 10) = 43
satadd(7, 30) = 37
satadd(33, 9) = 42
satadd(51, 38) = 43
satadd(21, 23) = 43
satadd(59, 29) = 43
satadd(46, 48) = 43
satadd(47, 46) = 43
satadd(32, 2) = 34
satadd(9, 1) = 10
satadd(34, 32) = 43
satadd(63, 56) = 43
satadd(35, 7) = 42
satadd(41, 35) = 43
satadd(17, 54) = 43
satadd(24, 57) = 43
satadd(1, 31) = 32
satadd(24, 34) = 43
satadd(40, 11) = 43
satadd(8, 61) = 43
satadd(34, 4) = 38
satadd(26, 16) = 42
satadd(52, 9) = 43
satadd(62, 21) = 43
satadd(11, 8) = 19
satadd(22, 45) = 43
satadd(40, 21) = 43
satadd(37, 11) = 43
satadd(28, 15) = 43
satadd(46, 45) = 43
satadd(5, 6) = 11
satadd(39, 6) = 43
satadd(37, 63) = 43
satadd(41, 13) = 43
satadd(10, 49) = 43
satadd(10, 44) = 43
satadd(53, 36) = 43
satadd(60, 42) = 43
satadd(46, 58) = 43
satadd(63, 57) = 43
satadd(2, 21) = 23
satadd(39, 42) = 43
satadd(43, 12) = 43
satadd(54, 7) = 43
satadd(27, 36) = 43
satadd(53, 33) = 43
satadd(43, 28) = 43
satadd(39, 16) = 43
satadd(27, 16) = 43
satadd(30, 37) = 43
satadd(2, 40) = 42
satadd(17, 55) = 43
satadd(13, 13) = 26
satadd(33, 59) = 43
satadd(7, 32) = 39
satadd(52, 10) = 43
satadd(54, 27) = 43
satadd(52, 33) = 43
satadd(40, 42) = 43
satadd(40, 3) = 43
satadd(15, 29) = 43
satadd(36, 58) = 43
satadd(57, 12) = 43
satadd(10, 20) = 30
satadd(28, 40) = 43
satadd(57, 30) = 43
satadd(17, 10) = 27
satadd(22, 30) = 43
satadd(23, 55) = 43
satadd(25, 31) = 43
satadd(24, 13) = 37
satadd(41, 14) = 43
satadd(41, 29) = 43
satadd(47, 17) = 43
satadd(8, 23) = 31
satadd(20, 23) = 43
satadd(53, 57) = 43
satadd(17, 46) = 43
satadd(5, 27) = 32
satadd(3, 33) = 36
satadd(4, 60) = 43
satadd(0, 21) = 21
satadd(7, 22) = 29
satadd(51, 30) = 43
satadd(13, 12) = 25
satadd(61, 37) = 43
satadd(25, 38) = 43
satadd(51, 2) = 43
satadd(4, 34) = 38
satadd(19, 12) = 31
satadd(58, 40) = 43
satadd(35, 47) = 43
satadd(33, 52) = 43
satadd(29, 38) = 43
satadd(15, 32) = 43
satadd(7, 19) = 26
satadd(29, 7) = 36
satadd(40, 36) = 43
satadd(29, 27) = 43
satadd(2, 43) = 43
satadd(39, 0) = 39
satadd(16, 1) = 17
satadd(38, 4) = 42
satadd(3, 42) = 43
satadd(38, 23) = 43
satadd(54, 32) = 43
satadd(63, 25) = 43
satadd(15, 32) = 43
satadd(13, 45) = 43
satadd(6, 29) = 35
satadd(13, 13) = 26
satadd(48, 42) = 43
satadd(21, 25) = 43
satadd(14, 50) = 43
satadd(52, 17) = 43
satadd(29, 28) = 43
satadd(17, 46) = 43
satadd(29, 55) = 43
satadd(50, 32) = 43
satadd(34, 24) = 43
satadd(55, 24) = 43
satadd(57, 54) = 43
satadd(50, 8) = 43
satadd(22, 63) = 43
satadd(53, 28) = 43
satadd(28, 3) = 31
satadd(42, 13) = 43
satadd(45, 63) = 43
satadd(38, 60) = 43
satadd(49, 26) = 43
satadd(13, 15) = 28
satadd(54, 30) = 43
satadd(61, 19) = 43
satadd(21, 47) = 43
satadd(52, 55) = 43
satadd(7, 43) = 43
satadd(16, 0) = 16
satadd(34, 2) = 36
satadd(9, 56) = 43
satadd(1, 62) = 43
satadd(21, 30) = 43
satadd(1, 63) = 43
satadd(43, 47) = 43
satadd(62, 17) = 43
satadd(43, 47) = 43
satadd(43, 56) = 43
satadd(62, 34) = 43
satadd(22, 59) = 43
satadd(53, 43) = 43
satadd(42, 41) = 43
satadd(35, 50) = 43
satadd(21, 51) = 43
satadd(50, 55) = 43
satadd(53, 59) = 43
satadd(47, 54) = 43
satadd(58, 4) = 43
satadd(20, 59) = 43
satadd(3, 63) = 43
satadd(42, 1) = 43
satadd(16, 21) = 37
satadd(49, 60) = 43
satadd(13, 47) = 43
satadd(30, 35) = 43
satadd(43, 19) = 43
satadd(15, 21) = 36
satadd(61, 50) = 43
satadd(7, 18) = 25
satadd(37, 58) = 43
satadd(9, 26) = 35
satadd(53, 56) = 43
satadd(16, 47) = 43
satadd(61, 37) = 43
satadd(43, 0) = 43
satadd(36, 21) = 43
satadd(2, 53) = 43
satadd(43, 51) = 43
satadd(49, 56) = 43
satadd(34, 15) = 43
satadd(28, 13) = 41
satadd(34, 43) = 43
satadd(35, 31) = 43
satadd(29, 42) = 43
satadd(49, 2) = 43
satadd(36, 58) = 43
satadd(28, 26) = 43
satadd(51, 44) = 43
satadd(9, 48) = 43
satadd(17, 52) = 43
satadd(48, 54) = 43
satadd(10, 50) = 43
satadd(43, 53) = 43
satadd(37, 28) = 43
satadd(45, 8) = 43
satadd(43, 9) = 43
satadd(21, 13) = 34
satadd(52, 56) = 43
satadd(45, 17) = 43
satadd(35, 30) = 43
satadd(19, 7) = 26
satadd(25, 47) = 43
satadd(33, 12) = 43
satadd(28, 43) = 43
satadd(60, 45) = 43
satadd(31, 44) = 43
satadd(35, 41) = 43
satadd(31, 14) = 43
satadd(30, 4) = 34
satadd(42, 12) = 43
satadd(12, 21) = 33
satadd(21, 34) = 43
satadd(35, 10) = 43
satadd(26, 16) = 42
satadd(27, 61) = 43
satadd(46, 47) = 43
satadd(5, 7) = 12
satadd(30, 38) = 43
satadd(19, 58) = 43
satadd(17, 15) = 32
satadd(40, 49) = 43
satadd(60, 11) = 43
satadd(26, 27) = 43
satadd(26, 57) = 43
satadd(31, 4) = 35
satadd(5, 44) = 43
satadd(26, 26) = 43
satadd(14, 61) = 43
satadd(36, 40) = 43
satadd(13, 0) = 13
satadd(38, 59) = 43
satadd(47, 43) = 43
satadd(3, 13) = 16
satadd(17, 22) = 39
satadd(8, 35) = 43
satadd(38, 48) = 43
satadd(20, 34) = 43
satadd(59, 46) = 43
satadd(61, 21) = 43
satadd(39, 28) = 43
satadd(26, 44) = 43
satadd(8, 52) = 43
satadd(7, 22) = 29
satadd(49, 43) = 43
satadd(63, 62) = 43
satadd(43, 37) = 43
satadd(57, 26) = 43
satadd(16, 60) = 43
satadd(40, 33) = 43
satadd(19, 48) = 43
satadd(4, 57) = 43
satadd(32, 24) = 43
satadd(27, 27) = 43
satadd(7, 24) = 31
satadd(49, 46) = 43
satadd(52, 11) = 43
satadd(27, 61) = 43
satadd(63, 34) = 43
satadd(19, 48) = 43
satadd(13, 18) = 31
satadd(46, 57) = 43
satadd(55, 39) = 43
satadd(19, 7) = 26
satadd(36, 59) = 43
satadd(41, 55) = 43
satadd(43, 45) = 43
satadd(48, 11) = 43
satadd(6, 11) = 17
satadd(39, 13) = 43
satadd(35, 24) = 43
satadd(59, 23) = 43
satadd(35, 22) = 43
satadd(20, 34) = 43
satadd(56, 40) = 43
satadd(18, 6) = 24
satadd(58, 0) = 43
satadd(63, 50) = 43
satadd(39, 18) = 43
satadd(57, 11) = 43
satadd(14, 34) = 43
satadd(2, 57) = 43
satadd(16, 50) = 43
satadd(5, 22) = 27
satadd(61, 44) = 43
satadd(35, 32) = 43
satadd(4, 30) = 34
satadd(56, 39) = 43
satadd(53, 12) = 43
satadd(9, 45) = 43
satadd(52, 27) = 43
satadd(51, 47) = 43
satadd(27, 50) = 43
satadd(33, 2) = 35
satadd(5, 26) = 31
satadd(14, 19) = 33
satadd(61, 16) = 43
satadd(12, 13) = 25
satadd(3, 17) = 20
satadd(35, 0) = 35
satadd(61, 6) = 43
satadd(33, 1) = 34
satadd(36, 25) = 43
satadd(40, 25) = 43
satadd(37, 49) = 43
satadd(7, 26) = 33
satadd(12, 58) = 43
satadd(9, 39) = 43
satadd(45, 42) = 43
satadd(42, 50) = 43
satadd(4, 56) = 43
satadd(5, 1) = 6
satadd(8, 17) = 25
satadd(14, 11) = 25
satadd(35, 49) = 43
satadd(12, 32) = 43
satadd(55, 45) = 43
satadd(34, 28) = 43
satadd(6, 10) = 16
satadd(53, 43) = 43
satadd(60, 60) = 43
satadd(5, 8) = 13
satadd(55, 14) = 43
satadd(48, 36) = 43
satadd(56, 26) = 43
satadd(22, 61) = 43
satadd(18, 27) = 43
satadd(62, 26) = 43
satadd(44, 13) = 43
satadd(38, 15) = 43
satadd(62, 50) = 43
satadd(48, 54) = 43
satadd(31, 18) = 43
satadd(18, 37) = 43
satadd(28, 7) = 35
satadd(16, 24) = 40
satadd(4, 22) = 26
satadd(33, 59) = 43
satadd(36, 17) = 43
satadd(31, 29) = 43
satadd(43, 53) = 43
satadd(26, 61) = 43
satadd(16, 24) = 40
satadd(23, 60) = 43
satadd(37, 61) = 43
satadd(12, 36) = 43
satadd(47, 60) = 43
satadd(26, 14) = 40
satadd(14, 44) = 43
satadd(51, 42) = 43
satadd(51, 4) = 43
satadd(3, 55) = 43
satadd(26, 36) = 43
satadd(50, 62) = 43
satadd(53, 17) = 43
satadd(27, 32) = 43
satadd(6, 53) = 43
satadd(29, 22) = 43
satadd(14, 52) = 43
satadd(19, 51) = 43
satadd(50, 31) = 43
satadd(23, 33) = 43
satadd(27, 49) = 43
satadd(48, 41) = 43
satadd(29, 35) = 43
satadd(19, 17) = 36
satadd(39, 22) = 43
satadd(8, 1) = 9
satadd(58, 59) = 43
satadd(0, 47) = 43
satadd(12, 27) = 39
satadd(15, 19) = 34
satadd(17, 44) = 43
satadd(41, 31) = 43
satadd(33, 60) = 43
satadd(18, 19) = 37
satadd(27, 42) = 43
satadd(52, 54) = 43
satadd(27, 36) = 43
satadd(31, 57) = 43
satadd(8, 51) = 43
satadd(10, 47) = 43
satadd(9, 18) = 27
satadd(49, 4) = 43
satadd(13, 49) = 43
satadd(51, 26) = 43
satadd(12, 3) = 15
satadd(45, 29) = 43
satadd(47, 22) = 43
satadd(60, 16) = 43
satadd(19, 15) = 34
satadd(35, 46) = 43
satadd(57, 24) = 43
satadd(37, 20) = 43
satadd(60, 4) = 43
satadd(13, 4) = 17
satadd(55, 23) = 43
satadd(52, 1) = 43
satadd(42, 37) = 43
satadd(5, 55) = 43
satadd(22, 56) = 43
satadd(17, 34) = 43
satadd(59, 62) = 43
satadd(0, 43) = 43
satadd(21, 60) = 43
satadd(59, 40) = 43
satadd(11, 31) = 42
satadd(22, 4) = 26
satadd(55, 59) = 43
satadd(25, 51) = 43
satadd(0, 38) = 38
satadd(56, 55) = 43
satadd(62, 44) = 43
satadd(56, 40) = 43
satadd(17, 61) = 43
satadd(31, 39) = 43
satadd(54, 49) = 43
satadd(9, 49) = 43
satadd(47, 9) = 43
satadd(28, 4) = 32
satadd(6, 24) = 30
satadd(44, 17) = 43
satadd(55, 3) = 43
satadd(22, 46) = 43
satadd(62, 47) = 43
satadd(33, 62) = 43
satadd(21, 25) = 43
satadd(54, 19) = 43
satadd(5, 46) = 43
satadd(59, 22) = 43
satadd(44, 27) = 43
satadd(61, 34) = 43
satadd(12, 7) = 19
satadd(19, 59) = 43
satadd(16, 48) = 43
satadd(0, 22) = 22
satadd(8, 44) = 43
satadd(40, 63) = 43
satadd(47, 62) = 43
satadd(45, 46) = 43
satadd(45, 14) = 43
satadd(44, 2) = 43
satadd(40, 34) = 43
satadd(22, 45) = 43
satadd(17, 17) = 34
satadd(4, 61) = 43
satadd(44, 1) = 43
satadd(31, 56) = 43
satadd(8, 50) = 43
satadd(52, 25) = 43
satadd(34, 52) = 43
satadd(47, 42) = 43
satadd(32, 23) = 43
satadd(41, 16) = 43
satadd(21, 22) = 43
satadd(62, 2) = 43
satadd(37, 42) = 43
satadd(5, 13) = 18
satadd(13, 27) = 40
satadd(58, 30) = 43
satadd(44, 62) = 43
satadd(27, 25) = 43
satadd(0, 58) = 43
satadd(17, 8) = 25
satadd(44, 5) = 43
satadd(33, 15) = 43
satadd(57, 17) = 43
satadd(57, 26) = 43
satadd(40, 35) = 43
satadd(42, 62) = 43
satadd(57, 40) = 43
satadd(0, 30) = 30
satadd(18, 5) = 23
satadd(43, 31) = 43
satadd(32, 38) = 43
satadd(61, 13) = 43
satadd(36, 24) = 43
satadd(38, 36) = 43
satadd(18, 55) = 43
satadd(45, 63) = 43
satadd(61, 14) = 43
satadd(14, 54) = 43
satadd(31, 7) = 38
satadd(16, 8) = 24
satadd(42, 58) = 43
satadd(6, 36) = 42
satadd(34, 6) = 40
satadd(2, 53) = 43
satadd(12, 46) = 43
satadd(20, 44) = 43
satadd(20, 18) = 38
satadd(57, 56) = 43
satadd(42, 31) = 43
satadd(29, 61) = 43
satadd(23, 10) = 33
satadd(60, 20) = 43
satadd(24, 10) = 34
satadd(10, 56) = 43
satadd(17, 27) = 43
satadd(0, 60) = 43
satadd(21, 6) = 27
satadd(32, 56) = 43
satadd(12, 34) = 43
satadd(45, 24) = 43
satadd(16, 1) = 17
satadd(5, 36) = 41
satadd(19, 62) = 43
satadd(29, 62) = 43
satadd(30, 58) = 43
satadd(59, 53) = 43
satadd(4, 55) = 43
satadd(9, 28) = 37
satadd(1, 19) = 20
satadd(20, 18) = 38
satadd(46, 20) = 43
satadd(14, 4) = 18
satadd(26, 46) = 43
satadd(60, 39) = 43
satadd(17, 41) = 43
satadd(63, 33) = 43
satadd(42, 4) = 43
satadd(6, 62) = 43
satadd(3, 35) = 38
satadd(60, 33) = 43
satadd(29, 55) = 43
satadd(22, 33) = 43
satadd(46, 31) = 43
satadd(61, 47) = 43
satadd(50, 18) = 43
satadd(1, 33) = 34
satadd(38, 16) = 43
satadd(37, 1) = 38
satadd(62, 33) = 43
https://ideone.com/vyhQAq
language:
C++14 (gcc 8.3)
created:
15 hours ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!