#include <stdio.h>

int main(int argc, char* argv[]) {
int v0 = (1 + 2);
int v1 = (v0 * v0);
int v2 = (v1 + (v0 + 42));
printf("%d\n", ((v2 * v2) + 2));
}
