#include <stdio.h>

int main() {
	printf("a %lld\n", static_cast<long long>(-9223372036854775808LL));
	printf("b %lld\n", -0x7FFFFFFFFFFFFFFFLL - 1LL);
	printf("c %lld\n", 0x8000000000000000LL);
	printf("e %I64d\n", static_cast<long long>(-9223372036854775808LL));
	printf("f %I64d\n", -0x7FFFFFFFFFFFFFFFLL - 1LL);
	printf("g %I64d\n", 0x8000000000000000LL);
	
	return 0;
}