import Stdio;

int main(){
   write_file("input.txt","",0100);
   write_file("/input.txt","",0100);
}