#include <stdio.h>
#include "genlib.h"

int main(void)
{
    int i, sum = 816;
    printf("%d", sum);
    return 0;
}