static char *cut_x16[] = { "16 16 3 1", " c None", "0 c #000000", "1 c #333333", " ", " ", " 1 ", " 1111 ", " 11 11 ", " 1111 ", " 11 ", " 11 11111 ", " 11111111111111 ", " 11111 1111 ", " 1 11 111 ", " 111 111 ", " 111 ", " 111 ", " ", " "}; static char *cut_x24[] = { "24 24 3 1", " c None", "0 c #000000", "1 c #333333", " ", " ", " ", " ", " 1111 ", " 11 11 ", " 111 11 ", " 111 1 ", " 1111 ", " 1111 ", " 1111 ", " 1111 1111111 ", " 11111111111111111111 ", " 111111111111111111111 ", " 1111111 111 ", " 11 11 1111 ", " 11 111 1111 ", " 111 1111 ", " 1111 ", " 1111 ", " 111 ", " ", " ", " "}; static char *cut_x32[] = { "32 32 3 1", " c None", "0 c #000000", "1 c #333333", " ", " ", " ", " ", " ", " 11111 ", " 1111111 ", " 111 111 ", " 111 11 ", " 1111 111 ", " 111111111 ", " 1111111 ", " 1111 ", " 11111 ", " 11111 ", " 11111 1111111111 ", " 111111111111111111111111 ", " 1111111111111111111111111111 ", " 111111111111111111 ", " 111 111 1111 ", " 11 111 1111 ", " 111 111 11111 ", " 1111111 11111 ", " 11111 1111 ", " 1111 ", " 11111 ", " 11111 ", " 111 ", " ", " ", " ", " "}; static char **cut_xpm[3] = { cut_x16, cut_x24, cut_x32 };