#include <stdio.h>
#include <stdlib.h>

int main(void)
{
    printf("%d\n", 73 << 4);
    return EXIT_SUCCESS;
}