#include "stdint.h"
#include "stdio.h"


int main()