#include <stdio.h> int main() { cout<<"31"; }