#include <bits/stdc++.h>
char tp[100];
int main(){
	int n, i, j;
	scanf("%d",&n);
	sprintf(tp, "ren 00_sample_01.txt .1.in");
	system(tp);
	for(i=1;i<=10;i++){
		sprintf(tp, "ren 01_random_%02d.txt .%d.in", i, i+1);
		system(tp);
	}
	for(i=1;i<=7;i++){
		sprintf(tp, "ren 02_max_%02d.txt .%d.in", i, i+11);
		system(tp);
	}
}