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

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