import std.stdio, std.bigint;
//
// https://twitter.com/robinhouston/status/1169877007045296128
//
void main()
{
BigInt a = "80538738812075974";
BigInt b = "80435758145817515";
BigInt c = "12602123297335631";
writeln("42=", (-a)^^3 + b^^3 + c^^3);
}