September 08
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);
}