#include "fastbf.h"
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main(void)
{
    char program[30000];
    fgets(program, 30000, stdin);
    v2(program, strlen(program));
}