Download
%
% Data for bus driver scheduling (CSPLib problem 22).
%
% This is the problem r1 from
% http://www.csplib.org/Problems/prob022
% 
% It is used in the the MiniZinc model
% http://www.hakank.org/minizinc/bus_scheduling_csplib.mzn
%
num_work = 53;
num_shifts = 2503;
min_num_shifts = 11;

shifts = 
[
{13,0},
{13,0,1},
{13,40},
{13,50},
{13,28,29},
{13,14},
{49,50},
{49,28,29},
{49,21},
{49,40,41},
{49,28,29,30},
{20},
{20,29},
{27,28,29,30},
{27,28,29,3},
{27,28,2,3},
{27,1,2,3},
{27,40,41,42},
{27,28,29,42},
{27,28,41,42},
{14,3},
{50},
{1,2,22},
{40,22},
{40,41,16},
{51},
{15},
{15,43},
{15,5},
{42,43,17},
{31,32,17},
{16,17},
{32,17,18},
{23,24},
{44,24},
{33,24},
{6,24},
{52},
{17,36,37},
{17,18,37},
{34,35,25},
{7,8,25},
{7,8,9,10,11},
{24,10},
{24,25},
{24,25,26},
{46,19},
{46,25,26},
{35,19},
{35,25,26},
{8,19},
{8,25,26},
{18,19},
{37,26},
{10,26},
{48},
{39},
{38},
{13,0,2,3},
{13,1,2,3},
{13,0,15},
{13,0,2,42},
{13,0,41,42},
{13,1,41,42},
{13,14,42},
{13,0,2,31},
{13,0,30,31},
{13,0,41,31},
{13,14,31},
{13,0,2,4},
{13,0,2,3,4},
{13,0,30,4},
{13,0,41,4},
{13,1,3,4},
{13,14,4},
{13,50,3,4},
{13,14,22},
{13,21,22},
{13,50,22},
{13,0,30,43},
{13,0,41,43},
{13,14,42,43},
{13,50,3,43},
{13,50,42,43},
{13,0,30,32},
{13,21,31,32},
{13,14,31,32},
{13,14,42,32},
{13,50,3,32},
{13,50,31,32},
{13,50,42,32},
{13,14,4,5},
{13,14,31,5},
{13,14,42,5},
{13,50,3,5},
{13,50,3,4,5},
{13,50,31,5},
{13,50,42,5},
{13,0,1,2,16},
{13,14,16},
{13,50,16},
{13,15,43,44},
{13,14,31,44},
{13,14,42,44},
{13,50,31,44},
{13,50,42,44},
{13,50,42,43,44},
{13,0,51},
{13,51},
{13,0,1,22,33},
{13,14,31,33},
{13,21,43,33},
{13,50,22,33},
{13,50,31,33},
{13,50,31,32,33},
{13,50,42,43,33},
{13,0,2,3,4,5,6},
{13,0,1,2,4,5,6},
{13,0,1,22,6},
{13,14,4,5,6},
{13,15,5,6},
{13,21,4,6},
{13,21,32,6},
{13,21,43,6},
{13,40,22,6},
{13,50,3,4,6},
{13,50,22,6},
{13,50,31,32,6},
{13,50,42,43,6},
{13,0,2,3,4,23},
{13,0,15,23},
{13,0,30,31,23},
{13,0,41,42,23},
{13,2,22,23},
{13,14,22,23},
{13,21,4,23},
{13,28,30,31,23},
{13,40,4,23},
{13,40,31,23},
{13,40,42,23},
{13,50,22,23},
{13,0,2,3,4,5,45},
{13,0,1,2,16,45},
{13,0,1,22,45},
{13,0,41,42,43,44,45},
{13,14,4,44,45},
{13,14,42,43,44,45},
{13,21,32,45},
{13,21,43,45},
{13,40,16,45},
{13,40,22,45},
{13,50,16,45},
{13,50,22,45},
{13,50,31,32,45},
{13,50,42,43,45},
{13,0,2,3,4,5,34},
{13,0,1,2,16,34},
{13,0,1,22,33,34},
{13,0,30,31,32,33,34},
{13,0,41,42,43,44,34},
{13,14,4,33,34},
{13,14,22,33,34},
{13,14,31,32,33,34},
{13,14,42,43,44,34},
{13,14,42,32,33,34},
{13,14,43,33,34},
{13,21,32,34},
{13,28,30,31,32,33,34},
{13,50,16,34},
{13,50,31,32,34},
{13,0,1,3,4,5,7},
{13,0,1,3,4,5,6,7},
{13,0,1,2,16,7},
{13,0,1,22,6,7},
{13,0,1,31,32,33,7},
{13,0,1,42,43,44,7},
{13,14,4,6,7},
{13,14,4,5,6,7},
{13,14,22,6,7},
{13,14,31,32,6,7},
{13,14,42,43,44,7},
{13,14,42,5,6,7},
{13,28,3,4,5,6,7},
{13,28,29,31,32,33,7},
{13,40,16,7},
{13,50,16,7},
{13,50,22,6,7},
{13,50,42,43,44,7},
{13,0,1,3,4,17},
{13,0,1,22,17},
{13,0,1,31,32,17},
{13,0,1,42,43,17},
{13,14,16,17},
{13,14,22,17},
{13,14,42,43,17},
{13,28,29,31,32,17},
{13,40,4,17},
{13,50,16,17},
{13,50,22,17},
{13,50,31,32,17},
{13,50,42,43,17},
{13,0,1,22,45,46},
{13,0,1,31,32,33,46},
{13,0,1,42,43,44,46},
{13,0,1,2,44,45,46},
{13,14,4,5,45,46},
{13,14,22,45,46},
{13,14,31,32,45,46},
{13,14,42,43,45,46},
{13,14,42,43,44,45,46},
{13,14,44,46},
{13,28,3,4,5,6,46},
{13,28,29,16,45,46},
{13,28,29,31,32,33,46},
{13,50,16,45,46},
{13,50,22,45,46},
{13,0,1,3,4,5,6,35},
{13,0,1,31,32,33,35},
{13,14,4,5,6,35},
{13,14,4,33,34,35},
{13,14,5,34,35},
{13,14,22,23,35},
{13,14,22,33,34,35},
{13,14,31,32,33,35},
{13,14,31,33,34,35},
{13,14,31,32,33,34,35},
{13,14,32,34,35},
{13,14,42,43,44,45,35},
{13,14,42,43,44,34,35},
{13,14,42,43,33,34,35},
{13,14,42,32,33,34,35},
{13,21,23,35},
{13,28,3,4,5,6,35},
{13,28,29,16,34,35},
{13,28,29,31,32,33,35},
{13,28,42,43,44,45,35},
{13,40,22,23,35},
{13,50,16,34,35},
{49,50,3},
{49,1,2,3},
{49,15},
{49,1,2,42},
{49,50,42},
{49,1,2,31},
{49,50,31},
{49,50,3,4},
{49,1,3,4},
{49,1,2,3,4},
{49,40,3,4},
{49,1,2,22},
{49,50,22},
{49,1,3,43},
{49,40,42,43},
{49,1,2,3,43},
{49,1,41,42,43},
{49,50,42,43},
{49,40,41,42,43},
{49,1,3,32},
{49,1,42,32},
{49,1,2,3,32},
{49,1,30,31,32},
{49,50,31,32},
{49,50,42,32},
{49,40,41,31,32},
{49,1,3,5},
{49,50,3,5},
{49,1,31,5},
{49,1,42,5},
{49,40,4,5},
{49,40,42,5},
{49,50,3,4,5},
{49,1,3,4,5},
{49,50,31,5},
{49,50,42,5},
{49,40,41,4,5},
{49,1,2,16},
{49,50,16},
{49,1,3,4,44},
{49,1,31,44},
{49,1,42,44},
{49,40,4,44},
{49,40,31,44},
{49,40,42,44},
{49,50,3,4,44},
{49,1,2,3,4,44},
{49,50,42,43,44},
{49,40,41,43,44},
{49,40,41,42,43,44},
{49,51},
{49,1,3,4,33},
{49,1,22,33},
{49,1,31,33},
{49,1,42,43,33},
{49,40,4,33},
{49,40,31,33},
{49,50,3,32,33},
{49,15,32,33},
{49,50,31,32,33},
{49,50,42,32,33},
{49,40,41,42,43,33},
{49,40,41,31,32,33},
{49,1,3,4,6},
{49,1,22,6},
{49,1,31,32,6},
{49,1,42,43,6},
{49,40,4,6},
{49,40,31,32,6},
{49,50,3,5,6},
{49,15,5,6},
{49,50,31,32,6},
{49,50,42,5,6},
{49,1,31,23},
{49,1,42,23},
{49,50,4,23},
{49,50,22,23},
{49,50,3,5,45},
{49,1,22,45},
{49,1,31,32,45},
{49,1,42,43,45},
{49,15,5,45},
{49,40,31,32,45},
{49,3,43,44,45},
{49,15,43,44,45},
{49,50,22,45},
{49,50,31,44,45},
{49,50,42,44,45},
{49,50,3,5,34},
{49,1,31,32,34},
{49,50,3,44,34},
{49,15,5,34},
{49,15,44,34},
{49,40,22,33,34},
{49,40,42,43,44,34},
{49,50,16,34},
{49,15,32,33,34},
{49,50,31,33,34},
{49,50,31,32,33,34},
{49,50,42,43,44,34},
{49,50,42,32,33,34},
{49,50,43,33,34},
{49,1,3,4,5,7},
{49,50,3,5,7},
{49,1,2,5,7},
{49,50,3,33,7},
{49,50,3,44,7},
{49,15,5,7},
{49,15,5,6,7},
{49,15,33,7},
{49,15,44,7},
{49,40,4,5,6,7},
{49,40,31,32,33,7},
{49,40,42,43,44,7},
{49,50,22,6,7},
{49,50,32,33,7},
{49,31,32,33,7},
{49,31,5,6,7},
{49,50,43,44,7},
{49,42,5,6,7},
{49,1,3,4,17},
{49,1,31,32,17},
{49,1,42,43,17},
{49,21,4,17},
{49,40,31,32,17},
{49,40,42,43,17},
{49,50,16,17},
{49,50,22,17},
{49,50,42,43,17},
{49,50,3,33,46},
{49,50,3,44,46},
{49,1,44,46},
{49,15,5,6,46},
{49,15,33,46},
{49,15,44,46},
{49,15,44,45,46},
{49,21,16,45,46},
{49,28,29,16,45,46},
{49,28,29,31,32,33,46},
{49,28,29,43,44,45,46},
{49,40,4,5,6,46},
{49,40,31,32,33,46},
{49,40,42,43,44,46},
{49,40,41,43,44,45,46},
{49,50,22,45,46},
{49,50,3,23,35},
{49,50,3,33,35},
{49,1,2,33,35},
{49,1,33,34,35},
{49,15,5,6,35},
{49,15,33,35},
{49,15,33,34,35},
{49,15,44,45,35},
{49,21,16,34,35},
{49,28,29,16,34,35},
{49,40,4,5,6,35},
{49,40,16,34,35},
{49,40,22,23,35},
{49,40,31,32,33,35},
{49,40,41,32,33,35},
{49,40,41,32,33,34,35},
{49,40,42,43,44,45,35},
{49,50,22,23,35},
{49,50,32,34,35},
{49,50,3,23,8},
{49,15,5,6,8},
{49,15,5,6,7,8},
{49,15,33,34,8},
{49,15,44,45,8},
{49,28,29,30,5,6,8},
{49,28,29,30,6,7,8},
{49,28,29,16,7,8},
{49,28,29,30,32,33,34,8},
{49,28,29,43,44,45,8},
{49,40,4,5,6,8},
{49,40,41,5,6,8},
{49,40,6,7,8},
{49,40,41,32,33,34,8},
{49,40,41,43,44,45,8},
{49,50,5,6,8},
{49,50,32,33,34,8},
{49,50,33,7,8},
{49,50,44,7,8},
{20,15},
{20,2,3,4},
{20,21,4},
{20,22},
{20,2,3,43},
{20,2,3,32},
{20,15,32},
{20,30,31,32},
{20,2,3,5},
{20,30,31,5},
{20,21,16},
{20,2,3,43,44},
{20,30,43,44},
{20,51},
{20,2,43,33},
{20,2,4,6},
{20,2,32,6},
{20,2,43,6},
{20,3,5,6},
{20,31,32,6},
{20,22,23},
{20,21,23},
{20,29,4,23},
{20,29,30,23},
{20,29,31,23},
{20,41,42,23},
{20,2,16,45},
{20,2,32,45},
{20,2,43,45},
{20,21,43,44,45},
{20,29,16,45},
{20,41,5,45},
{20,41,32,45},
{20,2,32,34},
{20,2,3,4,5,34},
{20,2,3,4,33,34},
{20,2,31,32,33,34},
{20,30,32,33,34},
{20,21,32,33,34},
{20,21,43,33,34},
{20,29,16,34},
{20,29,31,32,33,34},
{20,21,31,33,34},
{20,41,5,34},
{20,41,43,44,34},
{20,2,43,44,7},
{20,21,4,5,6,7},
{20,3,5,6,7},
{20,3,4,5,6,7},
{20,21,32,33,7},
{20,21,43,44,7},
{20,21,31,6,7},
{20,29,16,7},
{20,15,17},
{20,2,32,33,46},
{20,2,43,44,46},
{20,21,4,5,6,46},
{20,21,4,44,45,46},
{20,21,5,45,46},
{20,21,32,33,46},
{20,31,32,33,46},
{20,21,43,44,46},
{20,21,43,44,45,46},
{20,21,31,45,46},
{20,2,32,33,35},
{20,21,4,5,6,35},
{20,21,4,33,34,35},
{20,3,4,5,6,35},
{20,3,4,5,34,35},
{20,3,4,33,34,35},
{20,3,32,33,34,35},
{20,21,5,34,35},
{20,21,32,33,35},
{20,21,32,33,34,35},
{20,31,32,33,34,35},
{20,21,43,44,45,35},
{20,21,43,44,34,35},
{20,21,43,33,34,35},
{20,42,43,44,34,35},
{20,42,43,33,34,35},
{20,42,32,33,34,35},
{20,29,4,5,6,35},
{20,29,31,32,33,35},
{20,29,31,32,33,34,35},
{20,21,31,33,34,35},
{20,29,30,31,33,34,35},
{20,41,42,33,35},
{20,41,33,34,35},
{20,2,3,6,8},
{20,2,32,33,34,8},
{20,15,5,6,7,8},
{20,21,4,5,6,8},
{20,21,4,6,7,8},
{20,21,5,7,8},
{20,21,32,33,34,8},
{20,21,32,6,7,8},
{20,21,33,7,8},
{20,21,43,44,45,8},
{20,21,43,6,7,8},
{20,21,44,7,8},
{20,29,4,5,6,8},
{20,29,4,5,6,7,8},
{20,21,31,6,7,8},
{20,29,30,32,33,34,8},
{20,2,4,5,6,24},
{20,2,32,33,24},
{20,2,43,44,24},
{20,15,5,6,24},
{20,21,4,5,6,24},
{20,21,4,23,24},
{20,29,4,5,6,24},
{20,29,16,24},
{20,41,32,33,24},
{20,41,43,44,24},
{20,2,4,5,6,18},
{20,2,16,18},
{20,2,3,23,18},
{20,2,32,33,34,18},
{20,2,43,44,45,18},
{20,15,17,18},
{20,15,33,34,18},
{20,21,16,17,18},
{20,43,44,45,18},
{20,29,4,5,6,18},
{20,29,16,18},
{20,29,30,23,18},
{20,29,43,44,45,18},
{20,41,5,6,18},
{20,41,42,17,18},
{20,41,42,23,18},
{20,41,32,33,34,18},
{20,41,43,44,45,18},
{20,2,4,5,6,7,36},
{20,2,3,23,35,36},
{20,2,43,44,45,46,36},
{20,15,5,6,7,36},
{20,15,17,36},
{20,15,23,35,36},
{20,15,33,34,35,36},
{20,15,44,45,46,36},
{20,21,4,5,6,7,36},
{20,21,4,5,6,35,36},
{20,21,4,5,34,35,36},
{20,21,16,17,36},
{20,21,32,33,35,36},
{20,21,32,33,34,35,36},
{20,32,33,34,36},
{20,32,34,35,36},
{20,21,43,44,45,46,36},
{20,21,43,44,45,35,36},
{20,21,43,44,34,35,36},
{20,21,43,33,34,35,36},
{20,29,4,5,6,7,36},
{20,29,30,32,33,34,36},
{20,29,30,31,33,34,36},
{20,21,31,33,34,35,36},
{20,21,31,34,36},
{20,29,43,44,45,46,36},
{20,41,43,44,45,46,36},
{27,28,30,31,32},
{27,28,29,4,5},
{27,28,30,4,5},
{27,28,15,44},
{27,28,30,43,44},
{27,28,29,43,44},
{27,40,4,44},
{27,28,41,43,44},
{27,28,41,42,44},
{27,1,2,3,33},
{27,28,30,32,33},
{27,29,30,32,33},
{27,28,30,31,33},
{27,28,29,31,32,33},
{27,40,4,33},
{27,28,41,32,33},
{27,28,41,43,33},
{27,28,29,3,5,6},
{27,28,2,3,6},
{27,21,32,6},
{27,21,43,6},
{27,28,30,31,5,6},
{27,40,4,6},
{27,28,41,5,6},
{27,28,41,32,6},
{27,28,41,43,6},
{27,28,2,3,23},
{27,21,4,23},
{27,40,4,23},
{27,28,2,16,45},
{27,1,31,32,45},
{27,28,15,5,45},
{27,21,4,5,45},
{27,21,16,45},
{27,21,32,45},
{27,21,43,45},
{27,28,29,4,5,45},
{27,28,30,31,44,45},
{27,29,30,44,45},
{27,28,41,5,45},
{27,28,41,32,45},
{27,28,41,43,45},
{27,28,29,42,44,45},
{27,28,2,16,34},
{27,1,2,33,34},
{27,28,15,5,34},
{27,28,15,44,34},
{27,21,4,5,34},
{27,21,16,34},
{27,21,32,34},
{27,21,43,44,34},
{27,28,30,31,32,34},
{27,28,29,31,33,34},
{27,28,30,31,32,33,34},
{27,28,29,31,32,33,34},
{27,29,30,44,34},
{27,28,29,43,33,34},
{27,28,41,5,34},
{27,28,41,32,34},
{27,28,29,42,33,34},
{27,28,41,33,34},
{27,28,41,42,34},
{27,28,29,3,5,6,7},
{27,28,2,16,7},
{27,28,15,5,7},
{27,28,15,33,7},
{27,28,15,44,7},
{27,21,4,5,7},
{27,21,16,7},
{27,21,32,33,7},
{27,21,43,44,7},
{27,29,30,5,6,7},
{27,28,30,31,6,7},
{27,28,29,4,5,6,7},
{27,28,29,31,32,6,7},
{27,28,30,33,7},
{27,28,41,5,7},
{27,28,29,42,6,7},
{27,1,2,16,17},
{27,21,4,17},
{27,21,32,17},
{27,21,43,17},
{27,28,29,30,31,17},
{27,28,2,16,45,46},
{27,1,42,43,44,45,46},
{27,28,2,43,44,45,46},
{27,1,2,43,44,45,46},
{27,28,2,3,44,45,46},
{27,1,2,3,45,46},
{27,28,15,33,46},
{27,28,15,44,46},
{27,21,32,33,46},
{27,21,43,44,46},
{27,28,3,43,44,45,46},
{27,29,16,45,46},
{27,28,42,43,44,45,46},
{27,28,41,5,6,46},
{27,28,41,32,33,46},
{27,28,41,43,44,46},
{27,28,41,43,44,45,46},
{27,28,41,42,44,45,46},
{27,28,2,16,34,35},
{27,28,29,3,33,34,35},
{27,28,2,3,35},
{27,28,15,33,35},
{27,21,23,35},
{27,21,32,33,35},
{27,21,43,44,45,35},
{27,28,29,4,5,34,35},
{27,29,16,34,35},
{27,28,29,31,32,33,35},
{27,28,29,31,33,34,35},
{27,29,30,32,33,34,35},
{27,28,30,31,33,34,35},
{27,28,29,43,44,34,35},
{27,28,41,5,6,35},
{27,28,29,42,33,34,35},
{27,28,41,43,44,45,35},
{27,28,2,16,7,8},
{27,28,2,43,44,45,8},
{27,21,23,8},
{27,21,32,33,34,8},
{27,21,43,44,45,8},
{27,29,30,5,6,8},
{27,28,29,4,5,7,8},
{27,29,30,5,6,7,8},
{27,28,30,31,6,7,8},
{27,28,29,5,6,8},
{27,29,30,31,7,8},
{27,29,16,7,8},
{27,28,30,32,33,34,8},
{27,28,30,31,34,8},
{27,29,30,31,34,8},
{27,28,29,32,33,7,8},
{27,28,29,43,44,45,8},
{27,28,29,43,6,7,8},
{27,29,30,45,8},
{27,28,29,42,6,7,8},
{27,28,41,32,33,34,8},
{27,28,41,43,44,45,8},
{27,28,2,16,24},
{27,29,4,5,6,24},
{27,28,2,16,18},
{27,28,2,16,17,18},
{27,1,2,16,17,18},
{27,28,29,3,23,18},
{27,28,29,16,17,18},
{27,28,29,30,31,17,18},
{27,28,29,30,32,17,18},
{27,28,29,42,23,18},
{27,28,29,3,23,35,36},
{27,1,2,3,33,36},
{27,28,2,32,33,34,36},
{27,28,2,33,34,35,36},
{27,28,2,3,35,36},
{27,21,16,17,36},
{27,29,30,31,17,36},
{27,28,30,32,33,34,36},
{27,28,29,30,32,33,34,35,36},
{27,28,29,30,31,33,34,35,36},
{27,29,43,44,45,46,36},
{27,28,29,42,17,36},
{27,28,29,42,23,35,36},
{27,28,41,32,33,34,36},
{27,28,41,32,33,35,36},
{27,28,41,42,33,34,36},
{14,16},
{14,31,32,33},
{14,4,5,6},
{14,31,32,6},
{14,4,23},
{14,22,23},
{14,42,23},
{14,4,5,45},
{14,31,44,45},
{14,42,43,44,45},
{14,3,5,34},
{14,3,44,34},
{14,4,33,34},
{14,22,33,34},
{14,31,33,34},
{14,43,44,34},
{14,42,44,34},
{14,3,5,7},
{14,3,33,7},
{14,3,44,7},
{14,4,6,7},
{14,31,32,6,7},
{14,42,43,44,7},
{14,22,6,7},
{14,4,17},
{14,16,17},
{14,42,43,17},
{14,22,17},
{14,3,5,6,46},
{14,16,45,46},
{14,22,6,46},
{14,22,45,46},
{14,3,23,35},
{14,22,23,35},
{14,22,33,34,35},
{14,32,34,35},
{14,22,6,35},
{14,22,45,35},
{14,31,33,35},
{14,42,23,35},
{14,3,23,8},
{14,23,8},
{14,33,34,8},
{14,22,6,8},
{14,22,6,7,8},
{14,22,34,8},
{14,22,45,8},
{14,42,23,8},
{14,3,5,6,24},
{14,3,33,24},
{14,3,44,24},
{14,4,5,6,24},
{14,4,23,24},
{14,23,24},
{14,43,44,24},
{14,22,6,24},
{14,22,24},
{14,31,6,24},
{14,31,33,24},
{14,42,6,24},
{14,42,23,24},
{14,42,33,24},
{14,42,44,24},
{14,3,5,6,18},
{14,3,23,18},
{14,4,17,18},
{14,16,18},
{14,16,17,18},
{14,22,6,18},
{14,22,17,18},
{14,22,34,18},
{14,22,45,18},
{14,42,17,18},
{14,42,23,18},
{14,3,4,17,36},
{14,3,23,35,36},
{14,3,44,45,46,36},
{14,16,17,36},
{14,23,35,36},
{14,32,33,35,36},
{14,22,6,7,36},
{14,22,17,36},
{14,22,34,36},
{14,22,34,35,36},
{14,22,45,46,36},
{14,31,6,7,36},
{14,31,17,36},
{14,31,45,46,36},
{14,42,6,7,36},
{14,42,17,36},
{14,42,23,35,36},
{14,42,44,45,46,36},
{14,3,4,17,9},
{14,3,23,8,9},
{14,23,8,9},
{14,44,45,8,9},
{14,22,6,7,9},
{14,22,6,7,8,9},
{14,22,17,9},
{14,22,34,35,9},
{14,22,45,46,9},
{14,31,6,7,9},
{14,31,7,8,9},
{14,31,17,9},
{14,31,45,46,9},
{14,42,6,7,9},
{14,42,17,9},
{14,42,23,8,9},
{50,22,6},
{50,22,45},
{50,3,5,6,46},
{50,3,33,46},
{50,3,44,46},
{50,31,6,46},
{50,31,33,46},
{50,42,6,46},
{50,42,44,46},
{50,31,32,45,46},
{50,42,43,44,46},
{50,42,44,45,46},
{50,3,5,6,35},
{50,3,44,45,35},
{50,31,6,35},
{50,31,45,35},
{50,3,4,33,34,35},
{50,22,23,35},
{50,42,43,33,34,35},
{50,3,5,6,8},
{50,3,44,45,8},
{50,31,45,8},
{50,42,23,24},
{50,4,23,24},
{50,22,6,18},
{50,22,17,18},
{50,22,34,18},
{50,22,45,18},
{50,31,6,18},
{50,31,45,18},
{50,42,6,18},
{50,16,17,18},
{50,3,23,35,36},
{50,3,33,34,36},
{50,31,33,34,36},
{50,42,23,35,36},
{50,42,33,34,36},
{50,32,33,35,36},
{50,3,4,7,9},
{50,22,6,7,8,9},
{50,42,6,7,9},
{50,42,23,8,9},
{50,33,34,35,9},
{50,33,7,8,9},
{50,45,8,9},
{50,3,5,6,7,47},
{50,3,4,17,47},
{50,3,23,47},
{50,3,45,46,47},
{50,22,6,7,47},
{50,22,17,47},
{50,22,34,47},
{50,22,45,47},
{50,22,45,46,47},
{50,31,6,7,47},
{50,31,17,47},
{50,42,17,47},
{50,42,23,47},
{50,42,44,45,47},
{50,42,44,45,46,47},
{50,42,43,45,46,47},
{50,5,6,46,47},
{50,44,45,46,47},
{50,22,52},
{50,42,52},
{50,52},
{0,1,3,4,5},
{0,1,2,4,5},
{0,1,2,3,5},
{0,2,16},
{0,1,2,16},
{0,29,16},
{0,1,3,43,44},
{0,1,42,43,44},
{0,1,41,42,44},
{0,1,3,32,33},
{0,1,42,32,33},
{0,21,43,33},
{0,1,30,32,33},
{0,1,3,4,6},
{0,21,32,6},
{0,21,43,6},
{0,21,4,23},
{0,2,4,5,45},
{0,2,16,45},
{0,2,3,44,45},
{0,15,5,45},
{0,21,4,5,45},
{0,21,16,45},
{0,21,32,45},
{0,21,43,45},
{0,21,22,45},
{0,29,4,5,45},
{0,29,16,45},
{0,2,3,44,34},
{0,1,43,44,34},
{0,15,5,34},
{0,15,44,34},
{0,21,4,5,34},
{0,21,16,34},
{0,21,32,34},
{0,21,22,34},
{0,21,43,44,34},
{0,29,4,5,34},
{0,29,16,34},
{0,1,2,3,4,6,7},
{0,2,16,7},
{0,2,32,33,7},
{0,2,43,44,7},
{0,15,5,7},
{0,15,33,7},
{0,15,44,7},
{0,21,4,5,7},
{0,21,22,7},
{0,21,16,7},
{0,21,32,33,7},
{0,21,43,44,7},
{0,29,4,5,7},
{0,29,16,7},
{0,2,4,17},
{0,2,32,17},
{0,2,43,17},
{0,21,4,17},
{0,21,32,17},
{0,21,43,17},
{0,2,32,33,46},
{0,2,43,44,46},
{0,2,3,4,46},
{0,15,33,46},
{0,15,44,46},
{0,21,32,33,46},
{0,21,43,44,46},
{0,21,22,46},
{0,2,32,33,35},
{0,15,33,35},
{0,21,23,35},
{0,21,32,33,35},
{0,21,43,44,45,35},
{0,2,4,5,6,8},
{0,1,2,4,6,7,8},
{0,1,2,4,5,6,7,8},
{0,1,2,3,5,6,7,8},
{0,1,2,3,4,6,7,8},
{0,1,2,3,4,45,8},
{0,21,23,8},
{0,21,43,44,45,8},
{0,2,3,23,24},
{0,29,30,23,24},
{0,1,3,6,18},
{0,2,16,18},
{0,15,23,18},
{0,1,30,31,18},
{0,1,2,4,5,6,7,36},
{0,1,2,4,5,34,35,36},
{0,1,2,4,33,34,35,36},
{0,2,3,4,36},
{0,1,2,3,4,6,8,9},
{0,1,2,3,33,34,8,9},
{0,1,2,3,4,34,35,9},
{0,21,22,6,7,8,9},
{0,1,2,42,43,7,8,9},
{0,1,2,42,33,34,35,9},
{0,1,2,3,4,17,47},
{0,1,2,3,44,45,46,47},
{0,1,2,22,6,7,47},
{0,1,2,22,17,47},
{0,21,23,47},
{0,1,2,22,45,46,47},
{0,21,22,45,46,47},
{0,1,2,42,44,45,46,47},
{0,1,41,42,44,45,46,47},
{0,1,2,3,43,45,46,47},
{0,1,2,42,43,45,46,47},
{0,1,41,42,43,45,46,47},
{0,1,2,4,52},
{0,2,3,4,52},
{0,1,2,3,4,52},
{0,15,52},
{0,1,2,22,52},
{0,21,22,52},
{0,1,2,31,52},
{0,29,30,31,52},
{0,1,41,42,52},
{0,1,3,8,37},
{0,1,2,3,4,17,36,37},
{0,1,2,3,4,17,18,37},
{0,1,2,3,23,24,37},
{0,1,2,4,37},
{0,1,2,22,17,18,37},
{0,21,22,34,35,36,37},
{0,1,2,31,17,18,37},
{0,1,2,42,23,24,37},
{28,2,3,23},
{28,41,42,23},
{28,30,23,35},
{28,30,23,8},
{28,29,30,23,24},
{28,15,5,6,18},
{28,15,33,34,18},
{28,15,44,45,18},
{28,29,22,17,18},
{28,29,16,17,18},
{28,29,30,31,17,18},
{28,29,30,32,17,18},
{28,15,5,6,7,36},
{28,15,44,45,46,36},
{28,15,5,6,7,9},
{28,15,33,34,35,9},
{28,15,44,45,46,9},
{28,29,30,4,46,47},
{28,15,23,47},
{28,29,30,31,34,47},
{28,29,30,44,45,47},
{28,29,30,32,46,47},
{28,29,30,4,52},
{28,2,3,4,52},
{28,29,22,52},
{28,30,31,52},
{28,29,30,31,52},
{28,29,42,52},
{28,41,52},
{28,29,30,4,17,18,37},
{28,15,17,18,37},
{28,15,44,45,46,36,37},
{28,29,22,6,7,8,37},
{28,29,22,17,18,37},
{28,29,22,45,46,36,37},
{28,29,30,31,17,18,37},
{28,30,23,24,37},
{1,2,31,17,9},
{1,2,4,17,47},
{1,3,33,34,47},
{1,3,44,45,47},
{1,2,4,45,47},
{1,2,31,17,47},
{1,2,31,45,46,47},
{1,2,3,32,46,47},
{1,41,5,6,7,47},
{1,2,42,17,47},
{1,41,42,43,45,47},
{1,3,4,52},
{1,2,3,4,52},
{1,2,22,52},
{1,30,31,52},
{1,2,42,52},
{1,41,52},
{1,2,3,4,17,18,37},
{1,2,3,5,24,37},
{1,2,16,18,37},
{1,2,16,35,37},
{1,2,22,6,7,8,37},
{1,2,22,17,18,37},
{1,2,22,34,35,36,37},
{1,2,22,45,46,36,37},
{1,2,16,18,10},
{1,2,22,6,7,8,10},
{1,2,22,34,35,36,10},
{1,2,22,45,46,9,10},
{1,2,31,17,18,10},
{1,2,42,17,18,10},
{1,2,3,4,17,25},
{1,2,4,5,24,25},
{1,3,4,24,25},
{1,3,4,5,25},
{1,2,31,45,46,25},
{1,2,42,17,25},
{1,2,4,5,12},
{1,2,3,4,17,18,12},
{1,2,16,7,8,12},
{1,2,16,46,12},
{1,2,22,6,7,8,12},
{1,2,22,17,18,12},
{1,2,22,34,35,36,12},
{1,2,3,4,33,12},
{1,2,3,4,44,12},
{21,22,7,9},
{21,5,45,46,47},
{21,22,17,47},
{21,22,34,47},
{21,44,45,46,47},
{21,31,17,47},
{21,22,33,47},
{21,4,52},
{21,22,52},
{21,16,35,37},
{21,6,7,8,37},
{21,22,17,36,37},
{21,22,17,18,37},
{21,31,32,35,37},
{21,43,7,8,37},
{21,16,7,8,10},
{21,16,35,36,10},
{21,16,46,9,10},
{21,22,6,7,8,9,10},
{21,6,8,9,10},
{21,22,17,18,10},
{21,22,35,9,10},
{21,45,8,9,10},
{21,31,45,46,9,10},
{21,43,7,8,10},
{21,43,44,9,10},
{21,43,44,18,10},
{21,4,34,35,25},
{21,4,45,46,25},
{21,31,45,46,25},
{21,43,7,8,25},
{21,43,34,35,25},
{21,43,45,46,25},
{21,4,5,24,12},
{21,4,45,46,12},
{21,16,7,8,12},
{21,16,12},
{21,16,35,36,12},
{21,16,46,12},
{21,22,17,18,12},
{21,22,33,12},
{21,31,32,33,12},
{21,31,32,24,12},
{21,31,45,46,12},
{21,43,7,8,12},
{21,43,44,18,12},
{21,43,44,24,12},
{21,43,45,46,12},
{21,4,5,7,8,19},
{21,4,5,18,19},
{21,4,34,18,19},
{21,4,45,18,19},
{21,16,7,8,19},
{21,16,18,19},
{21,22,7,8,19},
{21,22,18,19},
{21,22,34,35,19},
{21,22,45,46,19},
{21,31,32,7,8,19},
{21,31,32,33,18,19},
{21,31,32,34,18,19},
{21,31,45,18,19},
{21,43,7,8,19},
{21,43,34,18,19},
{21,43,45,18,19},
{40,22,6,7,9},
{40,22,34,35,9},
{40,30,5,6,7,8,9},
{40,30,31,6,7,8,9},
{40,30,31,32,33,8,9},
{40,41,31,33,34,35,9},
{40,41,5,6,7,8,9},
{40,41,42,6,7,8,9},
{40,41,42,44,45,8,9},
{40,41,42,43,45,46,9},
{40,41,42,43,44,46,9},
{40,3,23,47},
{40,3,33,34,47},
{40,3,44,45,47},
{40,41,16,7,47},
{40,22,6,7,47},
{40,22,34,47},
{40,22,45,47},
{40,30,23,47},
{40,42,6,7,47},
{40,42,17,47},
{40,42,23,47},
{40,42,33,34,47},
{40,41,42,44,45,46,47},
{40,41,42,43,45,46,47},
{40,41,42,43,44,46,47},
{40,42,43,44,47},
{40,3,4,52},
{40,41,31,52},
{40,30,52},
{40,41,42,52},
{40,41,16,18,37},
{40,41,16,35,37},
{40,22,24,37},
{40,3,4,6,7,8,9,10},
{40,41,4,5,7,8,9,10},
{40,41,16,18,10},
{40,41,16,24,10},
{40,41,16,35,36,10},
{40,41,16,46,9,10},
{40,41,42,43,33,8,9,10},
{40,41,42,32,34,35,36,10},
{40,41,42,43,7,8,9,10},
{40,41,42,43,44,8,9,10},
{40,41,42,43,34,35,9,10},
{40,41,42,43,44,35,9,10},
{40,41,42,43,45,8,9,10},
{40,41,4,6,7,8,25},
{40,41,4,17,25},
{40,41,4,5,24,25},
{40,3,4,24,25},
{40,41,4,45,46,25},
{40,22,34,35,25},
{40,41,31,6,7,8,25},
{40,41,42,32,34,35,25},
{40,41,31,45,46,25},
{40,41,42,6,7,8,25},
{40,41,42,43,7,8,25},
{40,42,17,25},
{40,42,43,44,24,25},
{40,41,43,34,35,25},
{40,41,43,45,46,25},
{40,41,42,43,45,46,25},
{40,41,4,6,7,8,12},
{40,41,42,5,24,12},
{40,41,4,34,35,36,12},
{40,41,4,45,46,12},
{40,41,16,7,8,12},
{40,41,16,24,12},
{40,41,16,35,36,12},
{40,41,16,46,12},
{40,22,6,7,8,12},
{40,22,24,12},
{40,22,34,35,36,12},
{40,22,45,46,12},
{40,41,31,6,7,8,12},
{40,41,42,32,33,12},
{40,30,31,32,33,12},
{40,41,31,32,12},
{40,41,42,32,24,12},
{40,41,31,45,46,12},
{40,42,6,7,8,12},
{40,41,42,43,44,8,12},
{40,41,42,43,44,12},
{40,42,17,18,12},
{40,41,42,44,24,12},
{40,41,43,34,35,36,12},
{40,42,43,34,35,36,12},
{40,41,43,44,35,36,12},
{40,41,42,34,35,36,12},
{40,41,43,45,46,12},
{40,41,42,32,33,19},
{40,30,31,32,33,19},
{40,41,43,7,8,19},
{40,41,4,34,35,36,48},
{40,41,42,5,46,47,48},
{40,41,16,7,8,9,48},
{40,41,16,18,48},
{40,22,18,48},
{40,41,42,32,46,47,48},
{40,30,31,32,46,47,48},
{40,42,43,44,35,36,48},
{40,41,42,43,44,46,48},
{40,41,43,44,46,47,48},
{40,41,42,43,44,46,47,48},
{29,3,33,34,47},
{29,3,44,45,47},
{29,30,4,5,47},
{29,31,6,7,47},
{29,31,17,47},
{29,31,33,34,47},
{29,31,32,33,47},
{29,42,6,7,47},
{29,42,17,47},
{29,42,44,45,47},
{29,30,4,52},
{29,22,52},
{29,30,31,52},
{29,42,23,24,37},
{29,30,4,6,7,8,25},
{29,30,4,17,25},
{29,30,4,5,24,25},
{29,22,6,7,8,25},
{29,22,34,35,25},
{29,30,31,6,7,8,25},
{29,30,31,32,7,8,25},
{29,30,31,32,33,8,25},
{29,31,17,25},
{29,31,32,24,25},
{29,30,31,45,46,25},
{29,42,17,25},
{29,30,43,45,46,25},
{29,30,31,5,24,12},
{29,30,16,7,8,12},
{29,30,16,35,36,12},
{29,30,16,46,12},
{29,22,6,7,8,12},
{29,22,34,35,36,12},
{29,22,45,46,12},
{29,31,32,33,18,12},
{29,30,32,24,12},
{29,30,31,44,24,12},
{29,30,43,45,46,12},
{29,30,31,5,7,8,19},
{29,30,4,5,18,19},
{29,30,4,34,18,19},
{29,30,4,45,18,19},
{29,30,16,7,8,19},
{29,22,34,18,19},
{29,22,45,18,19},
{29,30,31,32,7,8,19},
{29,30,31,33,18,19},
{29,31,32,33,18,19},
{29,30,32,34,18,19},
{29,30,31,32,34,35,19},
{29,30,31,45,18,19},
{29,30,43,44,18,19},
{29,30,43,34,18,19},
{29,30,43,45,18,19},
{29,30,31,5,7,8,9,48},
{29,3,4,5,46,47,48},
{29,30,16,46,48},
{29,22,18,48},
{29,22,24,48},
{29,22,34,35,36,48},
{29,22,46,48},
{29,30,31,32,7,8,9,48},
{29,30,31,32,33,8,9,48},
{29,30,32,24,48},
{29,30,31,32,34,47,48},
{29,30,31,32,34,35,36,48},
{29,30,31,32,33,35,36,48},
{29,31,32,46,47,48},
{29,30,32,33,47,48},
{29,30,31,32,33,47,48},
{2,31,17,9},
{2,42,17,9},
{2,4,17,47},
{2,31,17,47},
{2,42,17,47},
{2,4,52},
{2,3,4,52},
{2,31,52},
{2,3,4,17,36,37},
{2,3,23,24,37},
{2,42,23,24,37},
{2,4,6,7,8,25},
{2,3,4,6,24,25},
{2,4,17,25},
{2,4,5,24,25},
{2,3,4,5,24,25},
{2,3,5,6,25},
{2,3,4,5,6,25},
{2,4,45,46,25},
{2,31,6,7,8,25},
{2,31,17,25},
{2,31,32,24,25},
{2,3,4,5,34,25},
{2,31,32,33,34,25},
{2,3,32,33,25},
{2,3,32,34,35,25},
{2,42,6,7,8,25},
{2,42,17,25},
{2,3,43,44,24,25},
{2,3,4,5,45,25},
{2,3,4,44,45,25},
{2,3,43,44,45,25},
{2,3,43,34,35,25},
{2,3,5,6,8,12},
{2,4,5,18,12},
{2,3,5,24,12},
{2,4,34,35,36,12},
{2,16,7,8,12},
{2,16,35,36,12},
{2,16,46,12},
{2,3,4,23,12},
{2,22,23,12},
{2,22,34,35,36,12},
{2,22,45,46,12},
{2,31,6,7,8,12},
{2,3,32,24,12},
{2,42,6,7,8,12},
{2,3,43,44,45,12},
{2,3,43,45,46,12},
{2,3,5,7,8,19},
{2,3,5,6,18,19},
{2,3,4,5,6,18,19},
{2,4,5,18,19},
{2,4,34,18,19},
{2,3,4,34,35,19},
{2,3,4,5,35,19},
{2,3,4,34,18,19},
{2,4,45,18,19},
{2,3,4,45,46,19},
{2,3,4,45,18,19},
{2,3,4,23,8,19},
{2,3,4,23,18,19},
{2,22,23,18,19},
{2,22,34,18,19},
{2,22,45,18,19},
{2,3,32,7,8,19},
{2,3,32,33,18,19},
{2,3,4,5,34,19},
{2,3,4,33,34,19},
{2,3,32,33,34,19},
{2,31,32,18,19},
{2,3,32,34,18,19},
{2,31,45,18,19},
{2,3,43,7,8,19},
{2,3,43,44,18,19},
{2,3,4,5,45,19},
{2,3,4,44,45,19},
{2,3,43,44,45,19},
{2,42,43,18,19},
{2,3,43,34,18,19},
{2,3,43,45,18,19},
{2,3,4,5,7,8,9,48},
{2,3,5,24,48},
{2,3,4,5,46,47,48},
{2,3,4,5,6,47,48},
{2,4,46,48},
{2,16,18,48},
{2,16,24,48},
{2,16,35,36,48},
{2,16,46,48},
{2,3,4,23,8,9,48},
{2,22,24,48},
{2,22,46,48},
{2,3,4,33,18,48},
{2,3,32,24,48},
{2,3,4,5,34,48},
{2,3,4,44,18,48},
{2,3,4,44,46,47,48},
{2,42,43,44,46,47,48},
{2,3,4,5,45,47,48},
{2,3,4,44,45,47,48},
{2,3,43,44,45,47,48},
{2,42,43,44,45,47,48},
{2,3,5,24,10,11},
{2,3,4,5,35,36,37,11},
{2,3,5,46,9,10,11},
{2,16,24,10,11},
{2,22,24,10,11},
{2,3,32,24,10,11},
{2,3,4,33,35,36,37,11},
{2,3,32,46,9,10,11},
{2,3,43,7,8,9,11},
{2,3,4,44,35,36,37,11},
{2,4,5,24,25,26},
{2,3,4,6,25,26},
{2,4,5,6,25,26},
{2,16,18,26},
{2,3,4,23,25,26},
{2,31,32,24,25,26},
{2,3,32,33,34,25,26},
{2,31,32,33,34,25,26},
{2,3,4,44,24,26},
{2,3,43,44,45,25,26},
{2,3,4,44,46,25,26},
{2,3,4,6,18,39},
{2,3,4,6,37,39},
{2,3,5,46,47,39},
{2,16,7,8,9,39},
{2,16,24,39},
{2,16,35,36,37,39},
{2,3,4,23,18,39},
{2,22,24,39},
{2,22,23,39},
{2,3,4,33,18,39},
{2,3,4,33,34,39},
{2,3,32,46,47,39},
{2,3,4,44,18,39},
{2,3,4,44,24,39},
{2,3,43,44,45,39},
{51,7,8,9},
{51,46,9},
{51,46,47},
{51,7,36,37},
{51,24,37},
{51,35,36,37},
{51,7,8,10},
{51,7,8,9,10},
{51,18,10},
{51,35,36,10},
{51,46,9,10},
{51,24,25},
{51,46,25},
{51,12},
{51,24,12},
{51,46,12},
{51,18,19},
{51,46,19},
{51,7,8,9,48},
{51,18,48},
{51,35,36,48},
{51,46,47,48},
{51,7,8,10,11},
{51,7,8,9,10,11},
{51,18,10,11},
{51,35,36,10,11},
{51,35,36,37,11},
{51,46,9,10,11},
{51,7,8,9,10,26},
{51,7,8,25,26},
{51,24,26},
{51,24,25,26},
{51,35,36,37,26},
{51,46,25,26},
{51,18,39},
{51,35,36,37,39},
{15,5,6,7,8,9},
{15,16,7,8,9},
{15,23,8,9},
{15,52},
{15,5,7,8,37},
{15,5,6,18,37},
{15,5,24,37},
{15,5,46,36,37},
{15,16,7,36,37},
{15,6,7,36,37},
{15,16,18,37},
{15,16,35,37},
{15,33,34,35,36,37},
{15,16,35,36,37},
{15,44,45,46,36,37},
{15,44,45,35,36,37},
{15,44,34,35,36,37},
{15,23,8,37},
{15,32,7,8,37},
{15,32,33,18,37},
{15,32,24,37},
{15,32,34,35,36,37},
{15,32,33,34,36,37},
{15,16,34,37},
{15,32,46,36,37},
{15,43,7,8,37},
{15,43,44,18,37},
{15,43,44,24,37},
{15,16,45,36,37},
{15,43,44,45,37},
{15,43,45,46,36,37},
{15,5,6,18,10},
{15,6,7,8,9,10},
{15,16,35,9,10},
{15,23,8,10},
{15,32,7,8,9,10},
{15,32,33,34,9,10},
{15,32,33,18,10},
{15,32,34,35,36,10},
{15,43,44,18,10},
{15,43,34,35,36,10},
{15,43,45,46,9,10},
{15,5,7,8,25},
{15,5,35,25},
{15,6,24,25},
{15,16,24,25},
{15,16,46,25},
{15,23,8,25},
{15,32,34,35,25},
{15,43,7,8,25},
{15,16,45,25},
{15,43,34,35,25},
{15,5,46,12},
{15,16,12},
{15,16,35,36,12},
{15,32,34,35,36,12},
{15,32,46,12},
{15,43,44,24,12},
{15,43,34,35,36,12},
{15,5,35,19},
{15,5,46,19},
{15,34,18,19},
{15,35,19},
{15,45,18,19},
{15,46,19},
{15,23,8,19},
{15,32,7,8,19},
{15,32,46,19},
{15,5,46,48},
{15,46,48},
{15,32,46,48},
{15,16,7,8,9,10,11},
{15,7,9,10,11},
{15,35,36,10,11},
{15,35,36,37,11},
{15,47,11},
{15,32,33,35,36,37,11},
{15,5,6,18,26},
{15,5,35,36,37,26},
{15,16,7,8,25,26},
{15,16,24,26},
{15,16,24,25,26},
{15,16,46,25,26},
{15,23,18,26},
{15,23,47,26},
{15,32,33,18,26},
{15,16,34,25,26},
{15,43,44,18,26},
{15,16,45,25,26},
{15,43,44,46,25,26},
{15,5,7,8,9,39},
{15,5,24,39},
{15,5,35,36,37,39},
{15,32,7,8,9,39},
{15,32,33,18,39},
{15,32,24,39},
{15,43,7,8,9,39},
{15,43,44,45,39},
{41,4,17,9},
{41,31,17,9},
{41,4,17,47},
{41,31,17,47},
{41,31,52},
{41,42,52},
{41,42,23,24,37},
{41,4,17,25},
{41,4,5,24,25},
{41,4,34,35,25},
{41,31,17,25},
{41,31,32,24,25},
{41,42,6,24,25},
{41,42,17,25},
{41,43,44,24,25},
{41,42,43,44,24,25},
{41,4,6,7,8,12},
{41,42,5,24,12},
{41,4,34,35,36,12},
{41,16,7,8,12},
{41,16,35,36,12},
{41,16,46,12},
{41,42,23,8,12},
{41,42,23,36,12},
{41,42,32,24,12},
{41,42,44,18,12},
{41,43,18,12},
{41,42,44,24,12},
{41,42,5,7,8,19},
{41,42,5,6,18,19},
{41,4,34,18,19},
{41,4,45,18,19},
{41,42,23,18,19},
{41,42,32,7,8,19},
{41,42,32,33,18,19},
{41,42,43,44,34,19},
{41,42,43,33,34,19},
{41,42,32,33,34,19},
{41,31,32,33,34,19},
{41,42,32,34,18,19},
{41,31,45,18,19},
{41,43,44,18,19},
{41,42,43,44,18,19},
{41,42,43,44,45,19},
{41,43,34,18,19},
{41,42,43,34,35,19},
{41,42,43,34,18,19},
{41,43,45,18,19},
{41,42,43,45,46,19},
{41,42,43,45,18,19},
{41,16,7,8,9,48},
{41,16,18,48},
{41,16,24,48},
{41,16,35,36,48},
{41,16,46,48},
{41,31,32,33,34,48},
{41,43,7,8,9,48},
{41,42,43,45,9,48},
{41,42,44,18,48},
{41,43,34,35,36,48},
{41,43,44,35,36,48},
{41,42,43,44,46,47,48},
{41,42,43,44,45,47,48},
{41,42,43,6,9,10,11},
{41,42,43,6,18,10,11},
{41,42,5,24,10,11},
{41,42,5,35,36,37,11},
{41,42,5,46,9,10,11},
{41,16,24,10,11},
{41,42,23,18,10,11},
{41,42,23,36,37,11},
{41,42,43,33,34,9,11},
{41,42,43,44,34,9,10,11},
{41,42,43,33,34,9,10,11},
{41,42,32,33,34,9,10,11},
{41,42,43,33,18,10,11},
{41,42,32,24,10,11},
{41,42,32,46,9,10,11},
{41,42,43,7,9,10,11},
{41,43,44,8,9,10,11},
{41,43,44,45,9,10,11},
{41,42,43,45,11},
{41,42,44,24,10,11},
{41,42,44,45,36,37,11},
{41,42,43,44,45,36,37,11},
{41,43,37,11},
{41,42,44,46,9,10,11},
{41,42,43,44,45,47,11},
{41,4,5,24,25,26},
{41,16,18,26},
{41,16,24,26},
{41,31,32,24,25,26},
{41,42,43,44,34,25,26},
{41,42,43,33,34,25,26},
{41,42,32,33,34,25,26},
{41,31,32,33,34,25,26},
{41,42,43,7,8,25,26},
{41,42,43,44,8,25,26},
{41,42,44,9,10,26},
{41,43,44,24,25,26},
{41,42,43,44,45,25,26},
{41,42,44,45,37,26},
{41,42,43,44,46,25,26},
{41,42,5,7,8,9,39},
{41,42,43,6,18,39},
{41,42,5,24,39},
{41,42,5,35,36,37,39},
{41,16,7,8,9,39},
{41,16,18,39},
{41,16,24,39},
{41,16,35,36,37,39},
{41,42,23,8,9,39},
{41,42,23,36,37,39},
{41,42,32,7,8,9,39},
{41,42,43,33,18,39},
{41,42,32,24,39},
{41,42,44,8,9,39},
{41,42,44,24,39},
{41,42,44,35,36,37,39},
{41,42,43,45,36,37,39},
{41,43,44,45,37,39},
{30,4,17,9},
{30,4,17,47},
{30,31,17,47},
{30,4,52},
{30,31,52},
{30,4,17,25},
{30,4,5,24,25},
{30,4,5,6,25},
{30,4,34,35,25},
{30,32,7,8,25},
{30,31,6,24,25},
{30,31,17,25},
{30,31,32,34,25},
{30,32,33,34,25},
{30,31,32,24,25},
{30,32,34,35,25},
{30,43,7,8,25},
{30,43,44,24,25},
{30,43,34,35,25},
{30,4,6,7,8,12},
{30,31,5,24,12},
{30,4,34,35,36,12},
{30,16,7,8,12},
{30,16,35,36,12},
{30,16,46,12},
{30,31,23,8,12},
{30,31,23,36,12},
{30,31,32,33,34,12},
{30,31,33,18,12},
{30,32,18,12},
{30,32,24,12},
{30,31,44,18,12},
{30,31,44,24,12},
{30,31,5,7,8,19},
{30,31,5,6,18,19},
{30,4,34,18,19},
{30,4,45,18,19},
{30,31,23,8,19},
{30,31,23,18,19},
{30,32,33,18,19},
{30,31,32,33,18,19},
{30,31,32,33,34,19},
{30,32,34,18,19},
{30,31,32,34,35,19},
{30,31,32,34,18,19},
{30,31,45,18,19},
{30,43,44,18,19},
{30,43,34,18,19},
{30,43,45,18,19},
{30,16,7,8,9,48},
{30,16,18,48},
{30,16,24,48},
{30,16,35,36,48},
{30,16,46,48},
{30,31,23,8,9,48},
{30,31,33,18,48},
{30,32,24,48},
{30,32,34,35,36,48},
{30,31,32,46,47,48},
{30,31,44,18,48},
{30,43,34,35,36,48},
{30,31,32,6,18,10,11},
{30,31,5,24,10,11},
{30,31,5,46,9,10,11},
{30,16,24,10,11},
{30,31,23,18,10,11},
{30,31,23,36,37,11},
{30,31,23,47,11},
{30,32,33,8,9,11},
{30,31,32,7,9,10,11},
{30,31,33,34,9,10,11},
{30,32,33,34,36,10,11},
{30,31,44,8,9,10,11},
{30,31,32,45,9,10,11},
{30,43,44,45,9,10,11},
{30,31,44,24,10,11},
{30,31,44,46,9,10,11},
{30,4,5,24,25,26},
{30,16,18,26},
{30,16,24,26},
{30,31,32,7,8,25,26},
{30,31,32,33,8,25,26},
{30,32,33,34,10,26},
{30,31,32,24,25,26},
{30,31,32,33,34,25,26},
{30,31,32,33,35,25,26},
{30,31,32,34,37,26},
{30,31,46,47,26},
{30,43,44,24,25,26},
{30,31,5,7,8,9,39},
{30,31,32,6,18,39},
{30,31,5,24,39},
{30,31,5,35,36,37,39},
{30,31,5,6,39},
{30,16,7,8,9,39},
{30,16,18,39},
{30,16,24,39},
{30,31,23,8,9,39},
{30,32,7,8,9,39},
{30,31,33,8,9,39},
{30,31,33,34,9,39},
{30,32,24,39},
{30,31,33,34,37,39},
{30,31,32,33,34,39},
{30,43,7,8,9,39},
{30,31,44,24,39},
{30,31,44,45,39},
{30,31,44,46,47,39},
{3,4,17,47},
{3,4,52},
{3,5,7,8,25},
{3,5,6,8,25},
{3,4,6,7,8,25},
{3,4,6,24,25},
{3,4,5,24,25},
{3,4,5,6,7,25},
{3,43,44,24,25},
{3,4,5,6,46,25},
{3,4,5,45,46,25},
{3,43,45,46,25},
{3,5,7,8,12},
{3,4,5,8,12},
{3,4,6,7,12},
{3,4,6,18,12},
{3,5,18,12},
{3,4,23,18,12},
{3,4,23,36,12},
{3,32,7,8,12},
{3,4,33,18,12},
{3,32,34,35,36,12},
{3,43,7,8,12},
{3,4,5,6,46,12},
{3,4,5,45,46,12},
{3,4,44,45,46,12},
{3,4,44,18,12},
{3,4,44,24,12},
{3,43,34,35,36,12},
{3,5,6,18,19},
{3,4,5,6,18,19},
{3,4,5,6,7,19},
{3,4,45,18,19},
{3,4,23,8,19},
{3,4,23,18,19},
{3,4,33,34,19},
{3,32,34,18,19},
{3,4,5,6,46,19},
{3,4,5,45,46,19},
{3,4,44,45,46,19},
{3,43,44,45,46,19},
{3,43,34,18,19},
{3,43,45,18,19},
{3,4,6,18,48},
{3,4,17,9,48},
{3,4,33,18,48},
{3,4,5,6,35,48},
{3,4,44,18,48},
{3,4,44,24,48},
{3,4,5,6,46,48},
{3,4,23,18,10,11},
{3,4,23,36,37,11},
{3,4,44,24,10,11},
{3,5,7,8,9,10,26},
{3,4,5,7,9,10,26},
{3,4,5,24,25,26},
{3,5,35,36,37,26},
{3,4,6,36,37,26},
{3,4,5,6,36,37,26},
{3,5,46,25,26},
{3,4,46,47,26},
{3,4,23,36,37,26},
{3,32,7,8,9,10,26},
{3,4,33,35,36,37,26},
{3,32,46,25,26},
{3,43,7,8,9,10,26},
{3,43,44,24,25,26},
{3,4,5,45,46,25,26},
{3,43,44,45,46,25,26},
{3,4,44,46,25,26},
{3,5,7,8,9,39},
{3,5,35,36,37,39},
{3,4,5,7,37,39},
{3,4,5,6,37,39},
{3,4,23,8,9,39},
{3,4,23,36,37,39},
{3,32,7,8,9,39},
{3,4,5,6,35,39},
{3,4,5,34,35,39},
{3,4,33,34,35,39},
{3,32,33,34,35,39},
{3,43,7,8,9,39},
{3,43,44,45,46,39},
{3,4,44,46,47,39},
{22,17,47},
{22,52},
{22,17,25},
{22,33,8,25},
{22,33,35,25},
{22,6,18,12},
{22,6,36,12},
{22,34,35,36,12},
{22,23,35,12},
{22,33,34,35,12},
{22,33,18,12},
{22,33,35,36,12},
{22,45,36,12},
{22,17,19},
{22,23,18,19},
{22,34,18,19},
{22,45,18,19},
{22,6,18,48},
{22,6,36,48},
{22,17,9,48},
{22,17,48},
{22,7,47,48},
{22,34,47,48},
{22,46,47,48},
{22,33,18,48},
{22,33,34,35,48},
{22,45,9,48},
{22,45,36,48},
{22,6,8,9,11},
{22,17,9,10,11},
{22,17,37,11},
{22,23,35,10,11},
{22,6,47,26},
{22,23,8,25,26},
{22,33,47,26},
{22,45,47,26},
{22,17,39},
{22,33,35,36,37,39},
{22,23,35,39},
{42,43,17,9},
{42,52},
{42,23,36,10},
{42,5,6,7,25},
{42,32,24,25},
{42,6,7,8,25},
{42,17,25},
{42,44,24,25},
{42,43,44,24,25},
{42,5,7,8,12},
{42,43,6,7,12},
{42,43,6,18,12},
{42,32,7,8,12},
{42,43,33,18,12},
{42,32,34,35,36,12},
{42,43,44,45,46,12},
{42,44,18,12},
{42,5,6,18,19},
{42,32,33,34,19},
{42,44,8,19},
{42,43,44,45,46,19},
{42,43,44,18,19},
{42,44,35,19},
{42,43,45,18,19},
{42,43,6,18,48},
{42,43,33,18,48},
{42,32,46,48},
{42,7,47,48},
{42,23,8,9,11},
{42,44,8,9,11},
{42,43,44,46,11},
{42,5,7,8,9,10,26},
{42,43,6,7,25,26},
{42,5,35,36,37,26},
{42,5,46,25,26},
{42,23,8,9,10,26},
{42,23,18,26},
{42,23,47,26},
{42,32,7,8,9,10,26},
{42,32,46,25,26},
{42,43,7,8,9,10,26},
{42,43,7,8,25,26},
{42,43,44,45,9,10,26},
{42,43,44,24,25,26},
{42,43,44,45,46,25,26},
{42,44,35,36,37,26},
{42,44,46,25,26},
{42,43,46,47,26},
{42,5,7,8,9,39},
{42,5,35,36,37,39},
{42,32,7,8,9,39},
{42,43,44,34,35,39},
{42,43,33,34,35,39},
{42,32,33,34,35,39},
{42,44,18,39},
{42,44,35,36,37,39},
{31,32,17,9},
{31,52},
{31,23,36,10},
{31,5,7,8,25},
{31,32,17,25},
{31,6,7,8,25},
{31,32,33,46,25},
{31,5,7,8,12},
{31,32,6,7,12},
{31,32,6,18,12},
{31,5,24,12},
{31,23,8,12},
{31,32,34,35,12},
{31,33,18,12},
{31,44,18,12},
{31,5,6,18,19},
{31,33,8,19},
{31,33,35,19},
{31,44,8,19},
{31,32,6,18,48},
{31,5,6,48},
{31,33,34,48},
{31,23,8,9,11},
{31,33,8,9,11},
{31,32,34,35,10,11},
{31,33,34,35,11},
{31,44,8,9,11},
{31,44,45,9,11},
{31,32,33,46,10,11},
{31,32,45,46,11},
{31,5,7,8,9,10,26},
{31,32,33,7,25,26},
{31,5,35,36,37,26},
{31,5,46,25,26},
{31,23,18,26},
{31,23,47,26},
{31,33,8,9,10,26},
{31,32,7,8,9,10,26},
{31,32,33,8,25,26},
{31,32,33,34,9,10,26},
{31,32,33,34,35,10,26},
{31,33,35,36,37,26},
{31,33,47,26},
{31,46,47,26},
{31,44,8,9,10,26},
{31,44,35,36,37,26},
{31,44,46,25,26},
{31,5,7,8,9,39},
{31,5,35,36,37,39},
{31,33,18,39},
{31,33,35,36,37,39},
{31,32,33,34,35,39},
{31,44,8,9,39},
{31,44,18,39},
{31,44,35,36,37,39},
{4,52},
{4,23,18,10},
{4,6,24,25},
{4,17,25},
{4,5,24,25},
{4,44,45,46,25},
{4,5,7,8,12},
{4,6,18,12},
{4,5,6,24,12},
{4,23,24,12},
{4,23,36,12},
{4,5,34,35,12},
{4,33,35,36,12},
{4,5,45,46,12},
{4,44,18,12},
{4,44,35,36,12},
{4,6,8,19},
{4,5,6,18,19},
{4,6,7,19},
{4,44,8,19},
{4,44,45,19},
{4,44,35,19},
{4,44,46,19},
{4,5,7,8,9,48},
{4,5,6,7,9,48},
{4,6,36,48},
{4,5,46,47,48},
{4,17,18,48},
{4,5,6,24,48},
{4,23,24,48},
{4,44,46,48},
{4,44,45,48},
{4,6,8,9,11},
{4,5,7,9,11},
{4,6,7,9,11},
{4,7,8,9,11},
{4,23,8,9,11},
{4,5,6,24,10,11},
{4,23,24,10,11},
{4,33,8,9,11},
{4,33,34,10,11},
{4,5,34,35,11},
{4,33,47,11},
{4,44,8,9,11},
{4,44,45,46,10,11},
{4,5,45,46,11},
{4,5,7,8,9,10,26},
{4,5,6,7,9,10,26},
{4,6,36,37,26},
{4,5,35,36,37,26},
{4,5,6,36,37,26},
{4,6,47,26},
{4,5,6,47,26},
{4,23,18,26},
{4,23,47,26},
{4,33,35,36,37,26},
{4,33,47,26},
{4,44,24,26},
{4,5,6,46,25,26},
{4,44,35,36,37,26},
{4,5,6,7,9,39},
{4,6,18,39},
{4,5,35,36,37,39},
{4,5,7,8,39},
{4,17,9,39},
{4,17,37,39},
{4,17,18,39},
{4,23,24,39},
{4,33,18,39},
{4,33,35,36,37,39},
{4,44,18,39},
{4,44,35,36,37,39},
{16,17,25},
{16,24,12},
{16,34,36,12},
{16,45,36,12},
{16,17,19},
{16,18,19},
{16,7,9,48},
{16,7,47,48},
{16,35,36,48},
{16,46,47,48},
{16,34,36,48},
{16,45,9,48},
{16,45,36,48},
{16,17,9,10,11},
{16,17,18,11},
{16,7,37,26},
{16,7,8,9,10,26},
{16,46,47,26},
{16,24,10,26},
{16,45,47,26},
{16,7,37,39},
{16,24,39},
{43,44,24,25},
{43,44,7,8,12},
{43,6,18,12},
{43,44,34,35,12},
{43,33,18,12},
{43,44,7,19},
{43,17,19},
{43,33,8,19},
{43,33,35,19},
{43,34,35,19},
{43,17,18,48},
{43,45,9,48},
{43,44,9,48},
{43,45,36,48},
{43,45,46,48},
{43,6,8,9,11},
{43,44,45,8,11},
{43,6,7,8,11},
{43,33,8,9,11},
{43,44,45,35,10,11},
{43,44,45,46,36,11},
{43,44,8,9,11},
{43,44,45,9,11},
{43,6,8,9,10,26},
{43,6,7,25,26},
{43,6,36,37,26},
{43,6,47,26},
{43,33,35,36,37,26},
{43,33,47,26},
{43,7,8,9,10,26},
{43,44,24,26},
{43,45,46,25,26},
{43,45,36,37,26},
{43,44,35,36,37,26},
{43,44,45,36,37,26},
{43,45,47,26},
{43,44,45,47,26},
{43,6,8,9,39},
{43,6,18,39},
{43,17,37,39},
{43,17,18,39},
{43,33,18,39},
{43,33,35,36,37,39},
{43,44,45,35,36,39},
{43,44,18,39},
{43,44,35,36,37,39},
{32,17,25},
{32,33,7,8,12},
{32,6,18,12},
{32,33,34,35,12},
{32,33,18,12},
{32,6,8,19},
{32,7,8,19},
{32,34,35,19},
{32,17,18,48},
{32,34,9,48},
{32,34,47,48},
{32,34,35,48},
{32,46,47,48},
{32,33,47,48},
{32,45,9,48},
{32,45,36,48},
{32,6,8,9,11},
{32,6,7,9,11},
{32,33,8,9,11},
{32,33,34,9,11},
{32,33,34,9,10,11},
{32,33,34,36,10,11},
{32,6,8,9,10,26},
{32,6,7,25,26},
{32,6,36,37,26},
{32,6,47,26},
{32,7,8,9,10,26},
{32,7,8,25,26},
{32,33,35,36,37,26},
{32,33,34,36,37,26},
{32,33,34,35,37,26},
{32,45,46,25,26},
{32,45,36,37,26},
{32,45,47,26},
{32,6,8,9,39},
{32,6,18,39},
{32,33,7,8,39},
{32,17,37,39},
{32,17,18,39},
{32,33,18,39},
{32,33,35,36,37,39},
{5,6,7,8,12},
{5,6,24,12},
{5,7,9,48},
{5,7,8,48},
{5,6,47,48},
{5,46,47,48},
{5,34,9,48},
{5,34,35,48},
{5,45,9,48},
{5,6,8,9,11},
{5,6,7,9,11},
{5,7,8,9,11},
{5,7,37,11},
{5,6,7,36,11},
{5,6,8,9,10,26},
{5,6,7,9,10,26},
{5,7,8,9,10,26},
{5,6,7,25,26},
{5,6,36,37,26},
{5,35,36,37,26},
{5,34,36,37,26},
{5,45,46,25,26},
{5,6,46,47,26},
{5,45,36,37,26},
{5,45,47,26},
{5,6,18,39},
{5,6,7,9,39},
{5,7,8,9,39},
{5,6,7,8,9,39},
{5,6,35,36,39},
{23,8,9,10},
{23,18,12},
{23,36,12},
{23,8,19},
{23,18,19},
{23,8,10,11},
{23,8,9,11},
{23,36,10,11},
{23,35,37,11},
{23,8,10,26},
{23,24,10,26},
{23,35,10,26},
{23,47,39},
{44,45,18,12},
{44,18,19},
{44,7,9,48},
{44,7,8,48},
{44,34,9,48},
{44,34,35,48},
{44,45,47,48},
{44,46,47,48},
{44,45,46,48},
{44,7,8,9,11},
{44,24,10,11},
{44,18,10,11},
{44,46,37,11},
{44,24,10,26},
{44,45,46,25,26},
{44,46,47,26},
{44,45,46,47,26},
{44,45,46,9,39},
{44,7,8,9,39},
{44,24,39},
{44,45,35,36,39},
{33,7,9,48},
{33,7,8,48},
{33,8,9,48},
{33,34,35,48},
{33,47,48},
{33,34,8,10,11},
{33,34,35,9,11},
{33,24,10,11},
{33,34,35,36,11},
{33,35,36,37,11},
{33,46,37,11},
{33,24,10,26},
{33,35,36,37,26},
{33,34,47,26},
{33,34,18,39},
{6,18,19},
{6,8,9,48},
{6,7,8,48},
{6,7,8,9,11},
{6,24,10,11},
{6,35,37,11},
{6,46,37,11},
{6,24,10,26},
{6,7,47,26},
{6,7,8,9,39},
{6,24,39},
{6,35,36,39},
{52,11},
{52,26},
{52,39},
{17,9,39},
{17,37,39},
{17,18,39},
{17,47,39},
{45,35,37,11},
{45,36,37,11},
{45,46,47,26},
{45,8,9,39},
{45,35,36,39},
{34,36,37,11},
{34,8,10,11,38},
{34,8,12,38},
{34,35,9,26,38},
{34,35,9,10,38},
{34,8,9,38},
{34,35,9,39,38},
{34,8,48,38},
{34,18,11,38},
{34,18,12,38},
{34,18,26,38},
{34,35,19,38},
{34,18,19,38},
{34,18,39,38},
{34,18,48,38},
{34,36,11,38},
{34,35,10,11,38},
{34,35,12,38},
{34,36,26,38},
{34,35,36,26,38},
{34,36,37,38},
{34,35,36,37,38},
{34,36,39,38},
{34,35,36,39,38},
{34,47,26,38},
{34,47,48,38},
{34,35,36,48,38},
{34,47,39,38},
{7,9,11,38},
{7,8,12,38},
{7,9,26,38},
{7,8,10,11,38},
{7,8,9,10,11,38},
{7,9,10,38},
{7,9,39,38},
{7,8,9,39,38},
{7,8,19,38},
{7,8,9,10,26,38},
{7,8,25,26,38},
{7,36,11,38},
{7,36,26,38},
{7,36,37,38},
{7,36,39,38},
{7,47,26,38},
{7,8,9,48,38},
{7,47,39,38},
{24,10,11,38},
{24,12,38},
{24,26,38},
{24,25,26,38},
{24,48,38},
{24,39,38},
{46,9,11,38},
{46,9,26,38},
{46,9,10,11,38},
{46,9,39,38},
{46,19,38},
{46,25,26,38},
{46,36,11,38},
{46,36,26,38},
{46,36,39,38},
{46,12,38},
{46,47,26,38},
{46,47,48,38},
{46,47,39,38},
{46,48,38},
{35,9,11,38},
{35,9,26,38},
{35,9,10,11,38},
{35,36,10,38},
{35,9,39,38},
{35,19,38},
{35,36,37,26,38},
{35,12,38},
{35,36,37,38},
{35,48,38},
{35,36,37,39,38},
{8,12,38},
{8,9,26,38},
{8,10,11,38},
{8,9,10,11,38},
{8,48,38},
{8,19,38},
{8,25,26,38},
{8,9,39,38},
{18,10,11,38},
{18,12,38},
{18,26,38},
{18,19,38},
{18,39,38},
{18,37,38},
{18,48,38},
{47,26,38},
{47,48,38},
{47,39,38},
{36,37,11,38},
{36,37,26,38},
{36,37,38},
{36,37,39,38},
{9,11,38},
{9,26,38},
{9,10,11,38},
{9,39,38},
{25,26,38},
{19,38},
{37,26,38},
{37,38},
{37,39,38},
{10,11,38},
{12,38},
{48,38},
{11,38},
{26,38},
{39,38},
];