#include <stdio.h>
main(){
printf("1 4 7 10\n2 5 8 11\n3 6 12");
}