#include<stdio.h> 
void main()
{
    int main() 
    printf(12)
    printf(56)
    printf(63)
    printf(87)
}