#include <bits/stdc++.h>
int main() {
  puts("2 1");
  puts("2 3 1");
  puts("4 3 2 1");
  puts("1 3 4 2 5");
  puts("1 6 11 3 10 9 15 12 7 13 2 5 4 14 8");
  puts("5 1 3 11 10 7 6 9 13 15 12 4 14 2 8");
  puts("9 7 2 5 1 10 8 3 4 6");
  puts("2 1 4 3");
  puts("4 12 8 2 9 14 5 7 1 6 10 13 15 3 11");
  puts("11 5 6 8 10 12 7 2 1 4 9 3 13 14 15");
  puts("11 7 8 4 5 15 13 14 3 9 12 2 1 10 6");
  puts("12 7 11 4 10 2 5 14 13 1 6 3 9 8 15 16");
  puts("3 2 1");
  puts("4 2 1 3 5");
  puts("1 8 11 15 3 2 7 16 13 4 6 10 9 12 5 14");
  puts("9 8 6 13 11 10 2 7 14 12 5 4 15 3 1");
  puts("2 15 16 10 8 5 9 3 11 7 1 14 12 4 6 13");
  puts("15 5 2 14 3 13 1 7 12 8 4 10 6 11 9");
  puts("9 7 3 14 2 12 13 5 1 15 11 10 8 4 6");
  puts("9 7 13 10 15 16 5 3 6 1 2 11 8 4 14 12");
  puts("6 13 2 11 5 10 3 14 9 1 12 8 16 4 15 7");
  puts("2 6 15 13 12 7 4 9 16 11 10 1 5 8 3 14");
  puts("3 2 6 14 7 12 10 9 5 4 8 15 11 13 1");
  puts("3 11 4 5 14 10 16 9 8 6 7 13 12 1 15 2");
  puts("4 3 11 9 8 16 6 15 2 13 7 14 10 1 12 5");
  puts("1 12 9 7 6 5 2 13 14 10 15 8 11 4 3");
  puts("2 1 3");
  puts("2 1");
  puts("1 3 2 6 4 8 7 5");
  puts("14 7 8 6 2 9 13 5 1 4 11 15 16 10 3 12");
  puts("1 7 4 3 6 5 2 8");
  puts("13 7 6 14 12 15 3 5 1 9 8 10 4 11 2");
  puts("11 2 15 5 14 3 9 10 7 1 12 13 8 6 4");
  puts("4 2 3 1");
  puts("16 13 11 14 9 2 15 3 1 5 6 7 12 8 4 10");
  puts("3 1 4 9 16 15 7 10 6 13 5 11 2 14 12 8");
  puts("10 12 9 16 5 6 8 4 3 7 15 2 11 1 14 13");
  puts("3 1 6 5 2 4");
  puts("14 8 2 10 6 16 9 7 15 4 1 3 11 13 5 12");
  puts("15 8 10 9 11 12 7 13 5 14 1 4 3 2 6");
  puts("5 7 3 10 6 12 8 4 11 1 2 9");
  puts("2 1");
  puts("13 14 8 6 4 7 5 10 3 11 2 9 15 12 1");
  puts("2 15 11 13 12 5 3 4 9 8 14 6 10 1 7");
  puts("3 1 4 2");
  puts("2 12 16 1 3 6 15 11 4 10 9 14 5 7 13 8");
  puts("3 1 2");
  puts("16 4 13 11 7 9 5 2 10 3 6 15 12 14 8 1");
  puts("2 5 1 9 15 7 3 11 13 4 8 12 6 14 10");
  puts("6 3 16 11 14 13 7 2 5 10 4 15 8 1 12 9");
  puts("5 7 11 3 10 15 2 9 4 8 14 13 16 12 1 6");
  puts("16 1 2 3 7 15 6 12 8 11 10 14 13 4 9 5");
  puts("6 5 2 10 12 8 4 13 9 11 1 15 3 14 7");
  puts("12 13 9 1 3 11 4 8 15 14 10 7 16 5 6 2");
  puts("4 2 3 1");
  puts("9 5 15 2 12 1 11 6 16 4 13 10 14 7 8 3");
  puts("6 3 1 5 2 4");
  puts("14 11 3 7 2 15 4 5 6 10 1 13 8 9 12");
  puts("10 8 2 11 15 5 1 13 16 12 14 9 6 4 3 7");
  puts("8 2 16 11 9 12 15 6 13 7 4 5 14 1 10 3");
  puts("3 9 10 13 6 16 5 4 8 7 12 11 1 15 14 2");
  puts("1 4 6 12 5 14 3 2 9 13 8 7 15 11 10");
  puts("6 7 3 2 5 8 1 9 10 4");
  puts("10 13 11 14 3 16 1 12 2 8 4 5 6 15 7 9");
  puts("8 1 13 15 7 10 5 9 3 2 6 4 12 11 14");
  puts("12 6 11 14 3 2 1 8 10 16 15 7 4 9 5 13");
  puts("3 2 1");
  puts("4 7 8 2 1 6 5 3");
  puts("2 1");
  puts("10 3 7 6 13 4 1 5 9 2 8 14 11 15 16 12");
  puts("15 9 2 8 1 4 14 13 5 3 12 6 7 11 10");
  puts("4 1 5 2 3");
  puts("4 8 2 11 9 6 1 7 3 5 10 12");
  puts("9 3 10 13 16 6 1 12 2 7 4 14 11 8 15 5");
  puts("16 15 3 8 14 2 4 5 11 6 7 13 1 12 10 9");
  puts("11 16 14 1 6 12 2 3 4 8 7 13 10 9 15 5");
  puts("15 14 4 6 9 5 3 2 13 12 10 11 7 1 8");
  puts("13 10 15 11 4 16 2 3 14 9 5 6 8 7 12 1");
  puts("4 3 5 14 6 8 16 10 9 12 2 11 13 15 7 1");
  puts("1 4 5 10 9 6 8 3 2 7");
  puts("7 6 15 5 12 13 2 4 3 14 11 1 10 8 9");
  puts("2 14 9 3 8 7 6 15 10 11 16 5 12 13 1 4");
  puts("2 5 9 1 11 4 16 6 8 7 12 3 13 10 15 14");
  puts("3 5 7 14 1 9 6 4 10 8 11 15 2 16 12 13");
  puts("15 14 10 13 1 5 2 12 4 11 8 9 6 7 3 16");
  puts("6 1 4 16 2 9 8 5 12 11 10 13 3 7 14 15");
  puts("16 14 9 8 4 1 7 2 12 10 3 5 11 6 15 13");
  puts("6 1 5 2 4 3");
  puts("3 10 4 5 9 6 1 2 7 8");
  puts("8 1 15 10 12 5 14 11 4 2 3 13 7 9 6");
  puts("5 13 12 7 9 1 10 4 15 8 3 2 14 6 11");
  puts("2 3 6 1 4 5");
  puts("3 15 13 6 7 11 12 1 14 4 8 9 2 10 5");
  puts("14 7 8 6 12 13 16 15 3 10 11 9 1 4 5 2");
  puts("7 2 4 13 9 1 15 8 12 11 6 3 5 14 10");
  puts("3 4 5 6 15 8 9 10 14 12 11 13 7 2 1");
  puts("4 11 5 12 8 14 10 7 3 9 16 13 15 1 6 2");
  puts("2 6 3 1 4 5");
  puts("6 5 7 9 2 8 3 1 4 10");
  puts("14 7 15 11 1 4 3 13 5 10 6 9 8 2 12");
  puts("15 14 5 3 7 4 1 9 11 6 10 2 12 13 8");
  puts("16 14 3 7 13 2 6 1 10 12 9 4 5 8 11 15");
  puts("3 8 5 10 12 11 4 6 7 9 2 1");
  puts("11 3 5 4 12 8 1 2 6 7 9 10");
  puts("3 11 6 16 13 15 5 2 12 7 14 8 10 9 4 1");
  puts("6 5 1 4 3 2");
  puts("1 4 2 10 12 11 9 5 6 13 3 14 15 8 7");
  puts("7 13 10 5 2 12 6 3 8 4 15 11 1 9 14");
  puts("12 5 7 8 1 9 10 15 6 4 14 13 3 2 11");
  puts("2 5 3 9 13 4 7 12 6 14 10 11 15 1 8");
  puts("5 4 2 6 1 3");
  puts("4 8 9 1 5 13 11 7 3 12 2 6 14 15 10");
  puts("2 1");
  puts("11 5 7 9 15 2 8 14 3 13 10 12 1 6 4");
  puts("5 14 15 4 13 6 8 10 7 12 2 11 16 3 9 1");
  puts("12 8 7 2 3 9 15 5 11 6 4 14 13 1 10");
  puts("14 7 11 13 2 3 12 1 10 9 5 8 4 15 6");
  puts("6 4 3 5 1 2 7 8");
  puts("8 16 4 11 13 5 2 14 9 6 3 15 12 1 10 7");
  puts("3 5 1 8 2 9 7 12 4 11 10 6");
  puts("2 5 4 9 11 12 13 6 3 1 15 10 8 7 14");
  puts("13 6 8 11 12 15 1 2 10 9 7 14 3 5 4");
  puts("2 11 15 12 5 8 9 1 14 10 4 3 6 7 13");
  puts("5 8 16 3 10 6 14 7 1 15 12 9 13 2 11 4");
  puts("10 12 1 16 11 4 2 15 6 7 13 14 5 3 8 9");
  puts("1 2 5 3 4");
  puts("6 5 1 4 2 3");
  puts("8 4 7 5 6 1 2 3");
  puts("4 2 3 1");
  puts("4 5 6 8 3 1 2 9 10 7");
  puts("3 8 10 12 14 13 16 11 9 4 2 1 7 5 15 6");
  puts("2 1");
  puts("13 7 15 14 10 1 8 6 2 11 9 3 4 12 5");
  puts("15 13 8 2 7 11 6 5 14 9 10 12 3 4 1");
  puts("2 1");
  puts("8 4 5 10 6 1 14 13 12 9 2 3 11 15 7");
  puts("10 3 6 8 5 11 14 16 7 1 9 2 13 4 15 12");
  puts("7 5 6 2 4 1 8 3");
  puts("10 2 7 9 11 6 1 8 3 5 12 4");
  puts("4 2 3 1");
  puts("3 13 9 7 11 15 14 10 5 2 16 12 4 8 1 6");
  puts("1 6 10 4 15 5 3 13 7 12 9 2 8 11 14");
  puts("2 7 14 16 13 8 3 15 12 11 1 4 6 5 10 9");
  puts("4 3 1 2 5");
  puts("3 4 11 7 15 1 13 10 9 14 16 12 5 8 2 6");
  puts("4 9 14 7 12 3 10 5 13 1 2 11 8 6 15");
  puts("10 9 16 13 7 3 12 4 15 8 5 1 11 2 6 14");
  puts("2 1");
  puts("14 4 1 2 13 6 3 5 12 10 7 9 15 8 11");
  puts("3 4 1 6 2 5");
  puts("5 10 4 6 2 8 11 9 1 7 3 13 15 14 12");
  puts("2 4 1 3");
  puts("16 14 12 11 7 3 2 6 1 9 4 10 15 13 5 8");
  puts("11 13 1 4 16 15 2 12 5 8 10 9 6 14 7 3");
  puts("2 3 4 1");
  puts("8 11 3 4 1 10 14 6 13 7 15 2 12 5 9");
}
