#include <stdio.h>
int main(void) {
printf(__FILE__ "\n");
return 0;}