#include"data.h"

int main(void) {
    return generated_function() != 52;
}