Download
%
% Data for bus driver scheduling (CSPLib problem 22).
%
% This is the problem r2 from
% http://www.cs.st-andrews.ac.uk/~ianm/CSPLib/prob/prob022/index.htm
%
% It is used in the the MiniZinc model
% http://www.hakank.org/minizinc/bus_scheduling_csplib.mzn
%
num_work = 54;
num_shifts = 3001;
min_num_shifts = 14;
shifts =
[
{22},
{22,39},
{22,21},
{22,23},
{20,39},
{20,39,40},
{20,3,4},
{20,21,4},
{20,29},
{20,39,40,41},
{20,49},
{1,39},
{1,21},
{1,2,40,41},
{38,39},
{38,3},
{38,40},
{38,39,40,41},
{38,49},
{13},
{13,40},
{13,33},
{13,49},
{14},
{23},
{23,5},
{28,29},
{28,40,41},
{28,3,4,5},
{28,24},
{28,40,41,42},
{28,33,34},
{28,29,34},
{3,52},
{49,6},
{49,43},
{49,35},
{40,52},
{24},
{33,34,35,36,37},
{52},
{52,37},
{52,50},
{52,8},
{25,26},
{36,32},
{8,27},
{26,10},
{37,15,16},
{50,0},
{32},
{32,12},
{9,0},
{9,10,12},
{9,10,11,12},
{9,18,19},
{51},
{15,0},
{15,48},
{15,16,12},
{15,18,19},
{15,16,19},
{46,0},
{46,48},
{10,12},
{47,48},
{17,18},
{16},
{0},
{18,19},
{48},
{22,49},
{22,3,41,42},
{22,23,42},
{22,40,41,42},
{22,23,34},
{22,3,5,6},
{22,3,4,5,6},
{22,23,6},
{22,40,41,6},
{22,23,30},
{22,3,4,42,43},
{22,4,42,43},
{22,23,42,43},
{22,40,42,43},
{22,49,43},
{22,3,4,5,35},
{22,4,34,35},
{22,23,34,35},
{22,33,34,35},
{22,41,34,35},
{22,39,41,42,35},
{22,49,35},
{22,21,52},
{22,40,52},
{22,3,4,6,7},
{22,23,6,7},
{22,4,6,7},
{22,23,34,7},
{22,39,40,34,7},
{22,39,41,42,7},
{22,49,7},
{22,21,24,25},
{22,21,33,25},
{22,23,25},
{22,21,24,43,44},
{22,21,41,42,43,44},
{22,5,6,44},
{22,23,34,44},
{22,23,42,44},
{22,23,42,43,44},
{22,39,5,6,44},
{22,39,40,34,44},
{22,39,41,42,44},
{22,3,30,36},
{22,3,42,43,36},
{22,21,24,35,36},
{22,21,41,42,43,36},
{22,23,30,36},
{22,23,34,35,36},
{22,33,35,36},
{22,23,42,43,36},
{22,29,6,36},
{22,29,43,36},
{22,39,5,6,36},
{22,39,40,34,36},
{22,49,35,36},
{22,49,43,36},
{22,21,24,31},
{22,21,30,31},
{22,21,33,34,31},
{22,4,5,6,31},
{22,23,30,31},
{22,23,42,31},
{22,29,6,31},
{22,3,5,53},
{22,3,34,53},
{22,3,42,53},
{22,21,24,53},
{22,21,33,34,53},
{22,21,41,42,53},
{22,4,5,53},
{22,23,42,53},
{22,23,53},
{22,39,24,53},
{22,39,40,34,53},
{22,39,41,42,53},
{22,3,4,25,37},
{22,3,34,35,37},
{22,3,52,37},
{22,21,5,6,7,37},
{22,21,52,37},
{22,23,6,36,37},
{22,23,25,37},
{22,23,30,36,37},
{22,23,34,36,37},
{22,23,34,35,36,37},
{22,23,42,43,44,37},
{22,23,42,35,36,37},
{22,23,43,36,37},
{22,41,42,43,36,37},
{22,52,37},
{22,29,35,37},
{22,33,7,37},
{22,33,35,37},
{22,33,44,37},
{22,39,24,25,37},
{22,39,41,42,43,44,37},
{22,39,52,37},
{22,3,4,25,50},
{22,3,34,35,50},
{22,3,42,43,50},
{22,3,52,50},
{22,21,25,50},
{22,21,30,50},
{22,21,52,50},
{22,23,25,50},
{22,23,34,35,50},
{22,23,50},
{22,52,50},
{22,33,7,50},
{22,33,35,50},
{22,39,52,50},
{22,49,50},
{22,3,52,8},
{22,21,5,6,8},
{22,21,5,6,7,8},
{22,21,30,8},
{22,21,33,34,35,8},
{22,21,42,43,8},
{22,21,52,8},
{22,23,6,7,8},
{22,5,6,7,8},
{22,23,30,8},
{22,23,34,7,8},
{22,33,34,35,8},
{22,33,34,7,8},
{22,33,6,7,8},
{22,23,42,7,8},
{22,52,8},
{22,39,40,34,35,8},
{22,39,40,42,43,8},
{22,3,5,6,7,45},
{22,21,5,6,7,45},
{22,21,25,45},
{22,21,30,45},
{22,21,34,35,45},
{22,21,42,43,45},
{22,21,52,45},
{22,23,6,44,45},
{22,23,30,45},
{22,23,34,44,45},
{22,23,42,44,45},
{22,23,42,43,44,45},
{22,52,45},
{22,29,25,45},
{22,39,5,6,7,45},
{22,39,40,34,35,45},
{22,39,40,42,43,45},
{22,3,30,26},
{22,21,25,26},
{22,21,30,26},
{22,21,34,35,26},
{22,21,42,43,26},
{22,23,25,26},
{22,23,30,26},
{22,23,34,35,26},
{22,33,35,26},
{22,49,26},
{20,21,41},
{20,21,5},
{20,21,24},
{20,29,34},
{20,21,4,6},
{20,3,4,5,6},
{20,21,5,6},
{20,29,6},
{20,3,4,30},
{20,39,40,30},
{20,3,4,42,43},
{20,40,41,42,43},
{20,29,43},
{20,39,24,43},
{20,39,33,43},
{20,39,41,42,43},
{20,39,40,41,43},
{20,3,4,34,35},
{20,21,33,34,35},
{20,21,41,34,35},
{20,40,41,34,35},
{20,29,35},
{20,39,24,35},
{20,39,40,34,35},
{20,39,40,41,35},
{20,39,33,35},
{20,39,41,42,35},
{20,3,52},
{20,21,52},
{20,3,4,6,7},
{20,21,33,6,7},
{20,40,41,6,7},
{20,39,5,6,7},
{20,39,40,41,7},
{20,39,24,7},
{20,39,40,34,7},
{20,39,41,42,7},
{20,21,4,25},
{20,21,24,25},
{20,21,41,25},
{20,39,33,25},
{20,39,41,25},
{20,3,4,5,43,44},
{20,3,41,42,43,44},
{20,21,5,43,44},
{20,4,42,43,44},
{20,21,33,43,44},
{20,21,41,42,44},
{20,40,42,43,44},
{20,39,5,6,44},
{20,39,24,43,44},
{20,39,40,34,44},
{20,39,41,42,44},
{20,39,41,42,43,44},
{20,3,30,36},
{20,4,5,6,36},
{20,4,34,35,36},
{20,21,30,36},
{20,29,6,36},
{20,29,35,36},
{20,29,43,36},
{20,21,33,35,36},
{20,39,5,6,36},
{20,39,24,35,36},
{20,39,40,30,36},
{20,39,40,34,36},
{20,39,40,34,35,36},
{20,39,33,34,36},
{20,39,41,42,43,36},
{20,21,4,31},
{20,3,34,31},
{20,3,42,31},
{20,29,6,31},
{20,21,33,31},
{20,39,5,6,31},
{20,39,24,31},
{20,39,40,41,31},
{20,39,40,34,31},
{20,39,41,42,31},
{20,3,5,53},
{20,3,34,53},
{20,3,42,53},
{20,3,4,53},
{20,21,4,53},
{20,21,53},
{20,39,24,53},
{20,39,40,34,53},
{20,39,41,42,53},
{20,39,40,41,53},
{20,21,4,6,7,37},
{20,21,4,25,37},
{20,3,30,36,37},
{20,21,4,35,37},
{20,21,4,35,36,37},
{20,21,4,43,44,37},
{20,21,5,6,36,37},
{20,21,24,25,37},
{20,21,24,35,36,37},
{20,21,33,34,35,37},
{20,21,33,34,36,37},
{20,21,33,34,35,36,37},
{20,21,41,42,43,44,37},
{20,21,41,42,43,36,37},
{20,21,41,42,35,36,37},
{20,21,41,34,35,36,37},
{20,21,52,37},
{20,29,35,37},
{20,21,33,7,37},
{20,21,33,35,37},
{20,21,33,35,36,37},
{20,39,5,6,7,37},
{20,39,40,34,35,37},
{20,39,40,41,35,37},
{20,39,40,41,36,37},
{20,49,7,37},
{20,49,35,37},
{20,21,4,6,7,50},
{20,21,4,25,50},
{20,3,30,50},
{20,21,4,35,50},
{20,21,4,43,50},
{20,21,33,34,35,50},
{20,21,41,42,43,50},
{20,21,52,50},
{20,29,35,50},
{20,29,43,50},
{20,29,50},
{20,39,5,6,7,50},
{20,39,40,25,50},
{20,39,40,30,50},
{20,39,40,34,35,50},
{20,39,41,42,43,50},
{20,39,40,41,50},
{20,49,7,50},
{20,49,35,50},
{20,49,43,50},
{20,21,4,6,8},
{20,21,4,35,8},
{20,21,4,43,8},
{20,21,5,7,8},
{20,21,42,7,8},
{20,21,52,8},
{20,29,6,8},
{20,29,6,7,8},
{20,29,35,8},
{20,29,43,8},
{20,21,33,35,8},
{20,39,5,6,7,8},
{20,39,40,41,7,8},
{20,39,40,30,8},
{20,39,40,34,35,8},
{20,39,40,42,43,8},
{20,49,7,8},
{20,49,35,8},
{20,49,43,8},
{20,21,4,6,7,45},
{20,21,4,25,45},
{20,21,4,43,44,45},
{20,21,5,6,7,45},
{20,21,5,6,44,45},
{20,21,5,43,44,45},
{20,21,42,43,44,45},
{20,29,6,7,45},
{20,29,35,45},
{20,29,43,45},
{20,29,43,44,45},
{20,21,33,7,45},
{20,21,33,35,45},
{20,21,33,44,45},
{20,39,5,6,7,45},
{20,39,40,34,35,45},
{20,39,40,42,43,45},
{20,39,40,42,43,44,45},
{20,39,40,41,43,44,45},
{20,21,41,45},
{20,39,52,45},
{20,49,7,45},
{20,49,35,45},
{20,49,43,45},
{20,21,4,25,26},
{20,29,6,26},
{20,29,25,26},
{20,29,35,26},
{20,29,43,26},
{20,21,33,26},
{20,39,40,6,26},
{20,39,40,25,26},
{20,39,40,30,26},
{20,39,40,34,35,26},
{20,39,40,42,43,26},
{20,49,35,26},
{20,49,43,26},
{1,21,41},
{1,21,5},
{1,21,41,42},
{1,29,34},
{1,21,33,34},
{1,21,41,34},
{1,21,5,6},
{1,21,33,6},
{1,21,41,6},
{1,29,30},
{1,2,3,30},
{1,29,43},
{1,21,5,43},
{1,21,33,43},
{1,21,41,43},
{1,39,24,43},
{1,49,43},
{1,2,3,34,35},
{1,2,33,34,35},
{1,21,5,35},
{1,21,33,35},
{1,39,24,35},
{1,2,40,41,35},
{1,49,35},
{1,2,3,52},
{1,21,52},
{1,3,4,5,6,7},
{1,2,33,34,7},
{1,21,5,7},
{1,2,40,41,7},
{1,2,3,41,7},
{1,39,24,7},
{1,49,7},
{1,29,25},
{1,21,24,25},
{1,21,41,25},
{1,2,3,5,43,44},
{1,3,4,5,6,44},
{1,3,4,5,43,44},
{1,3,4,42,43,44},
{1,3,41,42,43,44},
{1,3,34,44},
{1,2,33,34,44},
{1,2,3,4,5,44},
{1,2,41,43,44},
{1,39,24,43,44},
{1,39,41,42,43,44},
{1,39,40,41,43,44},
{1,2,40,41,44},
{1,2,4,34,35,36},
{1,2,3,34,35,36},
{1,2,41,34,35,36},
{1,39,24,35,36},
{1,39,40,30,36},
{1,2,40,41,35,36},
{1,39,40,41,35,36},
{1,3,5,6,31},
{1,2,4,30,31},
{1,29,6,31},
{1,39,5,6,31},
{1,39,24,31},
{1,2,3,41,31},
{1,39,40,34,31},
{1,39,41,42,31},
{1,3,4,5,53},
{1,21,5,53},
{1,21,24,53},
{1,21,33,34,53},
{1,21,41,42,53},
{1,2,3,5,6,36,37},
{1,2,3,4,6,7,37},
{1,2,3,4,5,7,37},
{1,3,30,36,37},
{1,2,3,34,35,36,37},
{1,2,3,4,35,36,37},
{1,2,3,4,5,36,37},
{1,3,42,43,44,37},
{1,2,3,42,43,36,37},
{1,2,3,4,43,44,37},
{1,2,3,52,37},
{1,21,30,36,37},
{1,21,33,34,35,37},
{1,21,52,37},
{1,2,33,7,37},
{1,2,33,35,37},
{1,2,33,44,37},
{1,39,40,34,35,36,37},
{1,2,3,41,35,36,37},
{1,2,3,41,43,44,37},
{1,49,7,37},
{1,49,35,37},
{1,2,3,5,7,50},
{1,2,3,4,7,50},
{1,2,3,4,5,50},
{1,2,3,52,50},
{1,21,25,50},
{1,21,33,34,35,50},
{1,21,52,50},
{1,29,6,7,50},
{1,29,35,50},
{1,29,43,50},
{1,2,33,7,50},
{1,2,33,35,50},
{1,2,3,41,7,50},
{1,39,40,25,50},
{1,2,3,41,35,50},
{1,2,3,41,43,50},
{1,2,40,41,50},
{1,2,3,41,50},
{1,49,7,50},
{1,49,35,50},
{1,49,43,50},
{1,49,50},
{1,2,3,5,6,8},
{1,3,30,8},
{1,2,3,34,7,8},
{1,2,3,42,7,8},
{1,2,42,43,8},
{1,2,3,52,8},
{1,21,5,6,8},
{1,21,42,43,8},
{1,21,52,8},
{1,2,33,35,8},
{1,39,5,6,8},
{1,39,40,41,7,8},
{1,39,40,30,8},
{1,2,3,41,35,8},
{1,2,3,41,43,8},
{1,49,7,8},
{1,49,35,8},
{1,49,43,8},
{1,2,3,5,7,45},
{1,2,4,7,45},
{1,3,30,45},
{1,3,34,35,45},
{1,2,3,34,44,45},
{1,2,34,35,45},
{1,3,42,43,45},
{1,3,4,5,44,45},
{1,2,3,42,44,45},
{1,21,5,6,7,45},
{1,21,34,35,45},
{1,21,42,43,45},
{1,21,42,43,44,45},
{1,21,52,45},
{1,2,3,41,7,45},
{1,39,40,25,45},
{1,39,40,30,45},
{1,39,40,41,43,45},
{1,2,3,41,44,45},
{1,49,7,45},
{1,49,35,45},
{1,49,43,45},
{1,2,4,6,26},
{1,3,4,25,26},
{1,2,4,5,26},
{1,3,30,26},
{1,3,34,35,26},
{1,3,42,43,26},
{1,21,25,26},
{1,21,30,26},
{1,21,34,35,26},
{1,21,42,43,26},
{1,2,33,35,26},
{1,39,40,6,26},
{1,39,40,25,26},
{1,39,40,30,26},
{1,49,35,26},
{1,49,43,26},
{1,2,3,4,5,31,9},
{1,2,3,34,35,36,37,9},
{1,2,3,4,5,36,37,9},
{1,2,4,36,37,9},
{1,21,25,9},
{1,21,53,9},
{1,2,33,35,36,37,9},
{1,39,40,25,9},
{1,2,3,41,35,36,37,9},
{1,49,7,9},
{1,49,9},
{1,49,35,36,37,9},
{38,39,33,34},
{38,29,6},
{38,3,4,5,6},
{38,3,4,5,43},
{38,3,41,42,43},
{38,39,41,42,43},
{38,39,40,42,43},
{38,39,40,41,43},
{38,40,41,42,43},
{38,39,33,35},
{38,3,4,5,35},
{38,39,40,34,35},
{38,39,40,41,35},
{38,39,41,34,35},
{38,40,41,34,35},
{38,3,4,5,7},
{38,39,40,5,7},
{38,3,5,6,7},
{38,39,5,6,7},
{38,39,40,6,7},
{38,39,40,41,7},
{38,39,41,6,7},
{38,40,41,42,7},
{38,40,5,6,7},
{38,49,25},
{38,39,4,6,44},
{38,3,4,5,44},
{38,39,40,5,44},
{38,39,5,43,44},
{38,4,42,43,44},
{38,39,41,42,44},
{38,40,41,43,44},
{38,39,4,6,36},
{38,3,4,5,36},
{38,39,40,5,36},
{38,39,4,43,36},
{38,39,5,35,36},
{38,4,5,6,36},
{38,4,5,35,36},
{38,4,34,35,36},
{38,40,30,36},
{38,39,40,34,36},
{38,39,40,34,35,36},
{38,39,33,35,36},
{38,39,33,34,35,36},
{38,39,41,43,36},
{38,39,40,43,36},
{38,39,4,6,31},
{38,39,40,5,31},
{38,39,40,6,31},
{38,4,30,31},
{38,39,40,30,31},
{38,39,40,41,31},
{38,39,41,42,31},
{38,49,31},
{38,39,40,5,53},
{38,39,24,53},
{38,39,41,42,53},
{38,39,40,41,53},
{38,49,53},
{38,3,30,36,37},
{38,39,24,7,37},
{38,39,24,44,37},
{38,29,6,7,37},
{38,29,43,44,37},
{38,4,5,6,7,37},
{38,4,5,6,36,37},
{38,4,5,35,36,37},
{38,4,34,35,36,37},
{38,40,30,36,37},
{38,39,33,34,35,37},
{38,39,33,34,36,37},
{38,39,33,35,36,37},
{38,39,41,42,43,36,37},
{38,39,41,42,35,36,37},
{38,39,4,6,7,50},
{38,3,4,50},
{38,40,30,50},
{38,39,41,42,43,50},
{38,39,4,6,8},
{38,3,4,5,7,8},
{38,39,4,8},
{38,3,30,8},
{38,39,4,35,8},
{38,39,4,43,8},
{38,40,6,8},
{38,39,5,6,8},
{38,39,5,6,7,8},
{38,39,40,6,7,8},
{38,39,41,35,8},
{38,39,41,43,8},
{38,39,42,43,8},
{38,39,4,6,7,45},
{38,39,4,35,45},
{38,3,42,43,45},
{38,39,4,43,45},
{38,3,4,5,44,45},
{38,39,40,5,44,45},
{38,39,4,5,45},
{38,29,35,45},
{38,29,43,45},
{38,39,41,7,45},
{38,39,5,6,7,45},
{38,39,5,6,44,45},
{38,39,5,43,44,45},
{38,39,40,6,44,45},
{38,40,7,45},
{38,39,41,35,45},
{38,39,34,35,45},
{38,39,41,43,45},
{38,39,40,42,43,45},
{38,39,42,44,45},
{38,39,52,45},
{38,3,30,26},
{38,49,26},
{38,3,4,9},
{38,39,4,43,44,9},
{38,39,24,7,9},
{38,39,24,44,9},
{38,39,33,31,9},
{38,39,41,9},
{38,39,41,31,9},
{38,39,40,34,35,36,37,9},
{38,39,41,43,44,9},
{38,49,35,36,37,9},
{38,49,53,9},
{38,3,4,43,45,46},
{38,39,4,43,45,46},
{38,39,40,5,50,46},
{38,39,24,31,46},
{38,39,24,44,46},
{38,29,6,7,45,46},
{38,29,25,45,46},
{38,39,33,53,46},
{38,40,8,46},
{38,39,40,25,45,46},
{38,39,41,31,46},
{38,39,40,41,35,36,37,46},
{38,39,41,43,44,46},
{38,39,41,43,45,46},
{38,39,40,41,43,44,45,46},
{38,39,40,43,44,46},
{38,40,41,44,45,46},
{38,39,41,53,46},
{38,49,7,45,46},
{38,49,35,36,37,46},
{38,49,43,45,46},
{38,49,43,44,45,46},
{13,40,41,42},
{13,4,5,6},
{13,40,41,6},
{13,30},
{13,4,5,43},
{13,24,43},
{13,40,41,42,43},
{13,49,43},
{13,49,35},
{13,40,52},
{13,52},
{13,4,6,7},
{13,4,5,6,7},
{13,24,7},
{13,49,7},
{13,5,6,44},
{13,24,43,44},
{13,40,41,42,43,44},
{13,4,5,6,36},
{13,4,5,35,36},
{13,24,35,36},
{13,40,41,42,43,36},
{13,40,41,42,35,36},
{13,40,41,34,35,36},
{13,41,42,43,36},
{13,41,42,35,36},
{13,40,42,43,36},
{13,41,42,31},
{13,29,6,31},
{13,33,31},
{13,40,6,31},
{13,3,5,53},
{13,3,34,53},
{13,3,42,53},
{13,53},
{13,3,4,25,37},
{13,3,30,36,37},
{13,3,52,37},
{13,4,5,6,7,37},
{13,4,5,6,36,37},
{13,4,5,35,36,37},
{13,4,34,35,36,37},
{13,33,34,35,36,37},
{13,41,42,43,44,37},
{13,41,42,43,36,37},
{13,41,42,35,36,37},
{13,41,34,35,36,37},
{13,52,37},
{13,24,7,37},
{13,24,44,37},
{13,29,6,7,37},
{13,29,25,37},
{13,29,35,36,37},
{13,29,43,44,37},
{13,40,41,35,36,37},
{13,40,42,43,44,37},
{13,3,4,25,50},
{13,3,52,50},
{13,52,50},
{13,24,50},
{13,29,6,7,50},
{13,29,25,50},
{13,49,50},
{13,5,6,7,8},
{13,33,34,35,8},
{13,33,34,7,8},
{13,33,6,7,8},
{13,52,8},
{13,24,7,8},
{13,29,6,7,8},
{13,40,30,8},
{13,40,34,35,8},
{13,40,42,43,8},
{13,3,4,25,45},
{13,3,52,45},
{13,5,6,7,45},
{13,5,6,44,45},
{13,5,43,44,45},
{13,25,45},
{13,42,43,44,45},
{13,52,45},
{13,24,7,45},
{13,24,44,45},
{13,29,6,7,45},
{13,29,35,45},
{13,29,43,45},
{13,29,43,44,45},
{13,40,6,7,45},
{13,40,25,45},
{13,40,30,45},
{13,40,34,35,45},
{13,40,42,43,45},
{13,40,30,26},
{13,40,34,35,26},
{13,40,42,43,26},
{13,3,4,25,9},
{13,3,4,5,31,9},
{13,24,9},
{13,29,6,7,9},
{13,29,25,9},
{13,29,31,9},
{13,29,43,44,9},
{13,29,53,9},
{13,40,41,42,31,9},
{13,49,9},
{13,49,35,36,37,9},
{13,3,4,5,31,46},
{13,3,4,35,36,37,46},
{13,3,4,5,45,46},
{13,3,4,5,50,46},
{13,6,7,8,46},
{13,6,7,45,46},
{13,6,44,45,46},
{13,25,45,46},
{13,43,44,45,46},
{13,29,31,46},
{13,33,7,45,46},
{13,33,44,45,46},
{13,40,6,7,45,46},
{13,40,41,43,45,46},
{13,40,41,53,46},
{13,49,35,36,37,46},
{13,49,43,44,45,46},
{13,3,4,25,15},
{13,3,4,5,31,15},
{13,3,4,43,44,15},
{13,24,15},
{13,29,15},
{13,29,53,15},
{13,33,53,15},
{13,40,41,42,31,15},
{13,40,41,35,36,37,15},
{13,49,7,8,15},
{13,49,15},
{13,49,35,36,37,15},
{14,4,30},
{14,40,41,42,43},
{14,49,43},
{14,33,34,35},
{14,40,41,34,35},
{14,41,34,35},
{14,49,35},
{14,4,5,6,7},
{14,33,6,7},
{14,40,41,42,7},
{14,40,5,6,7},
{14,40,34,7},
{14,49,7},
{14,4,25},
{14,4,5,43,44},
{14,33,34,44},
{14,40,41,43,44},
{14,40,34,44},
{14,49,43,44},
{14,4,5,6,36},
{14,4,5,35,36},
{14,4,34,35,36},
{14,33,34,36},
{14,41,42,43,36},
{14,41,42,35,36},
{14,41,34,35,36},
{14,33,35,36},
{14,40,34,36},
{14,40,42,43,36},
{14,49,35,36},
{14,49,43,36},
{14,4,6,31},
{14,4,30,31},
{14,30,31},
{14,41,42,31},
{14,24,31},
{14,40,6,31},
{14,40,34,31},
{14,40,42,31},
{14,49,31},
{14,4,5,53},
{14,24,53},
{14,33,34,53},
{14,41,42,53},
{14,40,34,53},
{14,40,42,53},
{14,4,35,37},
{14,4,5,6,7,37},
{14,4,5,6,36,37},
{14,4,5,35,36,37},
{14,24,25,37},
{14,41,42,43,44,37},
{14,41,42,43,36,37},
{14,41,42,35,36,37},
{14,52,37},
{14,33,7,37},
{14,33,35,37},
{14,33,35,36,37},
{14,33,44,37},
{14,49,7,37},
{14,49,35,37},
{14,4,35,50},
{14,4,43,50},
{14,30,50},
{14,41,42,43,50},
{14,52,50},
{14,33,7,50},
{14,33,35,50},
{14,33,34,50},
{14,49,7,50},
{14,49,35,50},
{14,49,43,50},
{14,49,50},
{14,4,6,8},
{14,4,35,8},
{14,4,43,8},
{14,5,7,8},
{14,5,6,7,8},
{14,33,34,35,8},
{14,33,34,7,8},
{14,33,6,7,8},
{14,42,7,8},
{14,52,8},
{14,24,7,8},
{14,33,35,8},
{14,40,6,8},
{14,40,30,8},
{14,40,34,35,8},
{14,40,42,43,8},
{14,4,25,45},
{14,24,7,45},
{14,24,44,45},
{14,33,7,45},
{14,33,35,45},
{14,33,44,45},
{14,40,25,45},
{14,40,30,45},
{14,4,6,26},
{14,4,35,26},
{14,4,43,26},
{14,40,6,26},
{14,4,6,7,9},
{14,4,43,44,9},
{14,4,5,53,9},
{14,6,7,9},
{14,53,9},
{14,33,7,9},
{14,33,34,9},
{14,33,44,9},
{14,40,41,42,9},
{14,40,41,53,9},
{14,49,7,9},
{14,49,9},
{14,4,6,7,45,46},
{14,25,45,46},
{14,43,44,46},
{14,24,31,46},
{14,33,7,45,46},
{14,33,31,46},
{14,33,44,46},
{14,33,44,45,46},
{14,33,53,46},
{14,40,6,7,45,46},
{14,40,41,42,31,46},
{14,40,41,43,45,46},
{14,40,44,46},
{14,49,44,46},
{14,49,50,46},
{14,4,6,7,8,15},
{14,4,5,53,15},
{14,6,7,8,15},
{14,35,36,37,15},
{14,53,15},
{14,33,7,8,15},
{14,33,34,15},
{14,33,44,15},
{14,40,6,7,8,15},
{14,40,41,53,15},
{14,49,15},
{23,42},
{23,34},
{23,6},
{23,30},
{23,42,43},
{23,34,35},
{23,6,7},
{23,42,7},
{23,25},
{23,6,44},
{23,42,44},
{23,42,43,44},
{23,5,36},
{23,30,36},
{23,34,35,36},
{23,42,35,36},
{23,34,36},
{23,5,31},
{23,30,31},
{23,42,31},
{23,5,53},
{23,42,53},
{23,53},
{23,5,7,37},
{23,5,44,37},
{23,6,36,37},
{23,25,37},
{23,30,36,37},
{23,34,35,36,37},
{23,42,43,44,37},
{23,42,35,36,37},
{23,43,36,37},
{23,34,36,37},
{23,42,44,37},
{23,5,7,50},
{23,6,7,50},
{23,30,50},
{23,42,43,50},
{23,50},
{23,34,50},
{23,6,8},
{23,6,7,8},
{23,34,35,8},
{23,42,43,8},
{23,5,7,45},
{23,6,7,45},
{23,25,45},
{23,34,35,45},
{23,42,44,45},
{23,42,43,44,45},
{23,5,26},
{23,25,26},
{23,30,26},
{23,34,35,26},
{23,5,7,9},
{23,5,31,9},
{23,5,36,37,9},
{23,5,44,9},
{23,5,53,9},
{23,25,9},
{23,31,9},
{23,34,35,36,37,9},
{23,53,9},
{23,34,36,37,9},
{23,42,9},
{23,42,31,9},
{23,42,36,37,9},
{23,42,44,9},
{23,5,7,45,46},
{23,5,31,46},
{23,5,36,37,46},
{23,5,44,46},
{23,5,50,46},
{23,5,53,46},
{23,6,7,45,46},
{23,6,44,45,46},
{23,25,45,46},
{23,35,45,46},
{23,43,44,46},
{23,43,44,45,46},
{23,50,46},
{23,34,8,46},
{23,34,36,37,46},
{23,34,45,46},
{23,34,50,46},
{23,42,8,46},
{23,42,31,46},
{23,42,36,37,46},
{23,42,44,46},
{23,42,50,46},
{23,5,7,8,15},
{23,5,15},
{23,5,31,15},
{23,5,36,37,15},
{23,5,44,15},
{23,5,53,15},
{23,6,7,8,15},
{23,31,15},
{23,35,36,37,15},
{23,53,15},
{23,34,8,15},
{23,34,15},
{23,34,36,37,15},
{23,42,8,15},
{23,42,15},
{23,42,31,15},
{23,42,36,37,15},
{23,42,44,15},
{2,3,5,6},
{2,3,4,6},
{2,3,30},
{2,3,5,43},
{2,3,42,43},
{2,3,4,43},
{2,3,4,35},
{2,33,34,35},
{2,40,34,35},
{2,3,52},
{2,33,6,7},
{2,40,34,7},
{2,3,4,25},
{2,40,6,44},
{2,40,34,44},
{2,40,42,44},
{2,3,30,36},
{2,33,35,36},
{2,40,30,36},
{2,40,34,36},
{2,4,5,6,31},
{2,3,4,5,31},
{2,33,31},
{2,40,41,42,31},
{2,3,4,42,31},
{2,3,41,42,31},
{2,24,35,36,37},
{2,3,52,37},
{2,33,7,37},
{2,33,35,37},
{2,33,44,37},
{2,40,30,36,37},
{2,3,30,50},
{2,4,35,50},
{2,4,43,50},
{2,3,52,50},
{2,33,7,50},
{2,33,35,50},
{2,40,30,50},
{2,3,5,6,8},
{2,3,5,6,7,8},
{2,3,4,6,7,8},
{2,3,4,5,6,8},
{2,3,42,7,8},
{2,3,4,42,8},
{2,40,30,8},
{2,3,5,7,45},
{2,3,4,6,44,45},
{2,4,25,45},
{2,3,30,45},
{2,3,42,43,45},
{2,3,4,43,44,45},
{2,3,4,5,44,45},
{2,3,4,34,45},
{2,3,41,7,45},
{2,40,25,45},
{2,40,30,45},
{2,3,41,35,45},
{2,3,41,43,45},
{2,4,6,26},
{2,4,5,6,26},
{2,3,5,6,26},
{2,4,35,26},
{2,4,43,26},
{2,33,34,26},
{2,33,35,26},
{2,40,6,26},
{2,40,25,26},
{2,3,41,42,26},
{2,40,30,26},
{2,4,25,9},
{2,24,36,37,9},
{2,33,7,9},
{2,33,44,9},
{2,40,25,9},
{2,3,5,31,46},
{2,4,43,45,46},
{2,3,4,43,45,46},
{2,4,44,46},
{2,33,44,46},
{2,4,25,15},
{2,24,31,15},
{2,24,36,37,15},
{2,40,25,15},
{21,52},
{21,41,42,43,44,37},
{21,41,42,43,36,37},
{21,41,42,35,36,37},
{21,41,34,35,36,37},
{21,52,37},
{21,52,50},
{21,52,8},
{21,52,45},
{21,4,5,53,9},
{21,24,31,9},
{21,24,36,37,9},
{21,33,7,9},
{21,33,34,9},
{21,33,44,9},
{21,4,35,36,37,46},
{21,24,31,46},
{21,41,35,36,37,46},
{21,4,5,53,15},
{21,24,31,15},
{21,24,36,37,15},
{21,33,7,8,15},
{21,41,7,8,15},
{21,4,5,6,26,17},
{21,4,5,31,17},
{21,4,5,53,17},
{21,26,17},
{28,3,5,6},
{28,29,6},
{28,3,30},
{28,3,5,43},
{28,29,43},
{28,3,5,35},
{28,3,42,35},
{28,29,35},
{28,3,5,7},
{28,3,34,7},
{28,3,42,7},
{28,24,7},
{28,29,6,7},
{28,29,25},
{28,3,5,6,44},
{28,3,34,44},
{28,3,42,44},
{28,24,44},
{28,29,43,44},
{28,3,30,36},
{28,3,34,36},
{28,24,36},
{28,29,35,36},
{28,29,34,36},
{28,40,6,31},
{28,40,42,31},
{28,29,53},
{28,40,34,53},
{28,40,42,53},
{28,3,5,6,7,37},
{28,3,34,35,37},
{28,3,34,35,36,37},
{28,3,42,43,44,37},
{28,3,52,37},
{28,29,34,36,37},
{28,40,30,36,37},
{28,3,30,50},
{28,3,34,35,50},
{28,3,42,43,50},
{28,3,52,50},
{28,29,6,7,50},
{28,33,7,50},
{28,3,5,6,8},
{28,3,30,8},
{28,3,34,35,8},
{28,3,42,43,8},
{28,29,6,7,8},
{28,29,30,8},
{28,33,7,8},
{28,33,35,8},
{28,40,6,8},
{28,40,42,43,8},
{28,3,30,45},
{28,3,34,35,45},
{28,3,52,45},
{28,29,6,7,45},
{28,29,6,44,45},
{28,29,43,44,45},
{28,29,30,45},
{28,3,4,6,26},
{28,3,34,35,26},
{28,3,42,43,26},
{28,29,6,26},
{28,29,25,26},
{28,29,30,26},
{28,29,43,26},
{28,29,34,26},
{28,33,35,26},
{28,40,6,26},
{28,3,4,5,31,9},
{28,3,34,35,36,37,9},
{28,24,31,9},
{28,24,36,37,9},
{28,30,37,9},
{28,29,53,9},
{28,33,7,9},
{28,33,44,9},
{28,40,34,35,36,37,9},
{28,40,41,53,9},
{28,3,4,5,31,46},
{28,3,4,35,36,37,46},
{28,3,4,44,46},
{28,3,4,5,6,50,46},
{28,24,36,37,46},
{28,29,30,8,46},
{28,29,6,7,45,46},
{28,29,6,44,45,46},
{28,29,25,45,46},
{28,29,35,36,37,46},
{28,29,43,44,45,46},
{28,29,30,45,46},
{28,29,53,46},
{28,29,34,8,46},
{28,33,44,46},
{28,29,34,46},
{28,29,34,50,46},
{28,33,53,46},
{28,3,4,6,7,8,15},
{28,3,4,5,31,15},
{28,3,4,35,36,37,15},
{28,24,31,15},
{28,24,36,37,15},
{28,29,6,7,8,15},
{28,30,37,15},
{28,29,53,15},
{28,29,34,8,15},
{28,33,44,15},
{28,40,25,15},
{28,40,41,42,31,15},
{28,40,41,35,36,37,15},
{28,40,41,53,15},
{28,3,4,5,6,26,17},
{28,3,4,5,36,37,17},
{28,3,4,5,6,50,17},
{28,24,7,8,17},
{28,24,26,17},
{28,24,36,37,17},
{28,24,44,45,17},
{28,29,30,8,17},
{28,29,30,26,17},
{28,29,30,37,17},
{28,29,30,50,17},
{28,29,34,8,17},
{28,33,31,17},
{28,29,34,36,37,17},
{28,29,34,45,17},
{28,33,53,17},
{28,40,41,7,8,17},
{28,40,41,42,26,17},
{28,40,41,42,44,45,17},
{28,3,4,5,7,8,10},
{28,3,4,5,6,26,10},
{28,3,4,5,31,9,10},
{28,3,4,5,36,37,9,10},
{28,3,4,5,44,45,10},
{28,3,4,5,53,9,10},
{28,24,26,10},
{28,24,50,10},
{28,30,8,10},
{28,29,30,8,10},
{28,29,30,9,10},
{28,30,26,10},
{28,29,30,26,10},
{28,29,31,9,10},
{28,29,30,37,9,10},
{28,30,45,10},
{28,29,30,45,10},
{28,30,50,10},
{28,29,53,9,10},
{28,29,34,26,10},
{28,29,34,36,37,9,10},
{28,29,34,50,10},
{28,40,41,42,31,9,10},
{28,40,41,42,36,37,9,10},
{28,3,4,5,7,8,27},
{28,3,4,5,6,27},
{28,3,4,5,31,27},
{28,3,4,5,36,37,27},
{28,3,4,5,44,27},
{28,3,4,5,6,50,27},
{28,3,4,5,53,27},
{28,24,31,27},
{28,24,44,27},
{28,24,50,27},
{28,30,8,27},
{28,29,30,8,27},
{28,29,30,27},
{28,29,31,27},
{28,30,37,27},
{28,29,30,37,27},
{28,29,44,27},
{28,30,50,27},
{28,29,30,50,27},
{28,29,53,27},
{28,29,34,8,27},
{28,29,34,27},
{28,33,31,27},
{28,29,34,36,37,27},
{28,33,53,27},
{28,40,41,42,43,27},
{28,40,41,53,27},
{39,4,6,26},
{39,4,35,26},
{39,4,43,26},
{39,33,35,26},
{39,40,42,26},
{39,41,35,26},
{39,41,43,26},
{39,24,36,37,15},
{39,40,41,6,26,10},
{39,40,30,26,10},
{39,40,41,34,26,10},
{39,33,53,9,10},
{39,40,42,26,10},
{39,40,41,42,26,10},
{39,41,53,9,10},
{39,40,5,31,27},
{39,40,5,36,37,27},
{39,40,41,6,50,27},
{39,24,7,8,27},
{39,24,31,27},
{39,24,36,37,27},
{39,40,30,8,27},
{39,40,30,37,27},
{39,40,41,34,8,27},
{39,40,41,34,36,37,27},
{39,40,41,34,50,27},
{39,33,53,27},
{39,40,41,7,8,27},
{39,40,41,42,43,27},
{39,40,42,31,27},
{39,40,42,36,37,27},
{39,40,41,42,36,37,27},
{39,40,41,43,50,27},
{39,40,41,42,43,50,27},
{39,41,53,27},
{39,40,5,7,32},
{39,4,5,31,32},
{39,40,41,6,32},
{39,4,5,6,32},
{39,40,5,36,32},
{39,40,5,44,32},
{39,24,7,32},
{39,24,36,32},
{39,24,44,32},
{39,33,7,32},
{39,40,41,34,32},
{39,40,41,34,36,32},
{39,33,44,32},
{39,41,7,32},
{39,40,41,7,32},
{39,41,42,31,32},
{39,40,41,42,31,32},
{39,40,42,43,32},
{39,40,41,42,43,32},
{39,40,42,36,32},
{39,40,42,44,32},
{39,40,5,36,51},
{39,40,5,44,51},
{39,40,41,6,51},
{39,4,5,6,51},
{39,24,36,51},
{39,24,44,51},
{39,33,7,50,51},
{39,33,31,51},
{39,40,41,34,36,51},
{39,33,44,51},
{39,41,7,50,51},
{39,40,42,36,51},
{39,40,41,42,36,51},
{39,40,42,44,51},
{39,41,42,50,51},
{39,40,41,43,51},
{39,41,42,43,51},
{29,53},
{29,6,7,8},
{29,6,7,45},
{29,6,44,45},
{29,43,44,45},
{29,53,9},
{29,6,8,46},
{29,35,45,46},
{29,43,45,46},
{29,53,46},
{29,34,8,46},
{29,53,15},
{29,6,45,17},
{29,53,17},
{29,34,8,17},
{29,34,45,17},
{29,43,45,17},
{29,30,26,10},
{29,53,9,10},
{29,6,37,46,47},
{29,6,45,47},
{29,44,45,47},
{29,34,45,47},
{29,43,37,46,47},
{29,43,45,47},
{29,6,8,27},
{29,6,37,27},
{29,6,50,27},
{29,30,8,27},
{29,34,8,27},
{29,43,37,27},
{29,43,50,27},
{29,25,32},
{29,31,32},
{29,30,32},
{29,44,32},
{29,34,35,32},
{29,34,36,32},
{29,6,50,51},
{29,25,51},
{29,7,50,51},
{29,36,51},
{29,34,36,51},
{29,6,50,16},
{29,44,15,16},
{29,43,9,16},
{29,43,50,16},
{3,34,35,26},
{3,4,34,26},
{3,41,42,26},
{3,41,35,26},
{3,52,37,9},
{3,52,37,15},
{3,52,45,17},
{3,4,6,26,10},
{3,4,5,6,26,10},
{3,5,53,9,10},
{3,4,30,26,10},
{3,4,34,26,10},
{3,4,42,26,10},
{3,41,53,9,10},
{3,52,37,9,10},
{3,52,45,10},
{3,52,50,10},
{3,4,6,26,47},
{3,4,25,9,47},
{3,4,34,26,47},
{3,4,42,26,47},
{3,4,42,31,46,47},
{3,52,9,47},
{3,52,45,47},
{3,52,50,46,47},
{3,5,6,7,27},
{3,5,36,37,27},
{3,5,53,27},
{3,4,30,8,27},
{3,4,30,50,27},
{3,4,34,35,27},
{3,4,42,44,27},
{3,41,53,27},
{3,52,37,27},
{3,5,7,32},
{3,4,5,7,32},
{3,5,6,7,32},
{3,4,5,31,32},
{3,4,5,6,7,32},
{3,5,36,32},
{3,5,44,32},
{3,4,30,32},
{3,4,34,35,32},
{3,4,34,36,32},
{3,41,7,32},
{3,41,42,31,32},
{3,4,5,6,44,32},
{3,4,5,43,44,32},
{3,4,42,43,44,32},
{3,41,42,43,44,32},
{3,4,42,36,32},
{3,4,42,44,32},
{3,5,7,50,51},
{3,4,5,7,50,51},
{3,5,31,51},
{3,5,36,51},
{3,5,44,51},
{3,5,6,50,51},
{3,4,5,6,50,51},
{3,4,5,6,7,51},
{3,4,5,35,50,51},
{3,41,7,50,51},
{3,4,42,31,51},
{3,4,42,43,50,51},
{3,4,5,6,44,51},
{3,4,5,43,44,51},
{3,4,42,43,44,51},
{3,41,42,43,44,51},
{3,41,42,50,51},
{3,52,50,51},
{3,4,6,26,16},
{3,4,5,44,45,16},
{3,4,30,8,15,16},
{3,4,30,45,16},
{3,4,42,26,16},
{3,4,42,44,45,16},
{3,52,9,16},
{3,52,37,15,16},
{3,52,45,16},
{3,52,50,16},
{49,6,37,9,10},
{49,6,50,10},
{49,43,37,9,10},
{49,9,10},
{49,26,10},
{49,53,9,10},
{49,6,45,47},
{49,35,36,46,47},
{49,43,45,47},
{49,26,47},
{49,53,27},
{49,25,32},
{49,35,32},
{49,7,32},
{49,31,32},
{49,44,32},
{49,25,51},
{49,35,50,51},
{49,7,50,51},
{49,36,51},
{49,50,51},
{49,6,8,15,16},
{49,6,26,16},
{49,9,16},
{49,15,16},
{49,50,16},
{49,6,8,10,11},
{49,6,7,9,10,11},
{49,6,7,17,11},
{49,6,37,9,10,11},
{49,6,45,10,11},
{49,6,50,10,11},
{49,25,9,10,11},
{49,25,15,11},
{49,25,17,11},
{49,25,46,11},
{49,35,36,9,10,11},
{49,35,36,17,11},
{49,35,36,46,11},
{49,35,50,10,11},
{49,43,44,17,11},
{49,43,37,9,10,11},
{49,43,45,10,11},
{49,43,50,10,11},
{49,45,46,11},
{49,6,7,17,18},
{49,6,26,17,18},
{49,6,37,17,18},
{49,25,17,18},
{49,35,36,17,18},
{49,35,36,46,18},
{49,43,37,17,18},
{49,43,45,46,18},
{49,26,17,18},
{49,37,17,18},
{49,45,17,18},
{49,45,46,18},
{40,41,6,26,10},
{40,30,26,10},
{40,41,34,26,10},
{40,41,42,26,10},
{40,52,45,10},
{40,52,50,10},
{40,41,6,26,47},
{40,41,25,9,47},
{40,30,26,47},
{40,41,34,26,47},
{40,42,26,47},
{40,52,37,46,47},
{40,52,45,47},
{40,52,50,46,47},
{40,5,7,8,27},
{40,30,8,27},
{40,30,50,27},
{40,41,34,8,27},
{40,41,42,43,36,27},
{40,42,8,27},
{40,41,7,8,27},
{40,42,36,37,27},
{40,41,42,36,37,27},
{40,52,37,27},
{40,52,50,27},
{40,5,7,32},
{40,41,42,7,32},
{40,41,6,32},
{40,5,36,32},
{40,5,44,32},
{40,30,32},
{40,41,42,35,32},
{40,41,34,32},
{40,41,34,36,32},
{40,41,42,44,32},
{40,42,43,44,32},
{40,41,42,31,32},
{40,41,42,43,44,32},
{40,42,36,32},
{40,42,44,32},
{40,5,7,50,51},
{40,5,6,50,51},
{40,41,6,7,51},
{40,41,34,36,51},
{40,41,42,35,50,51},
{40,41,34,35,50,51},
{40,41,42,43,36,51},
{40,41,34,35,36,51},
{40,41,7,50,51},
{40,42,43,50,51},
{40,41,42,43,50,51},
{40,41,42,43,44,51},
{40,52,50,51},
{40,41,6,8,15,16},
{40,30,8,15,16},
{40,30,9,16},
{40,30,26,16},
{40,30,50,16},
{40,41,34,8,15,16},
{40,41,42,43,36,9,16},
{40,41,42,43,36,15,16},
{40,41,42,35,36,15,16},
{40,41,34,35,36,15,16},
{40,41,34,26,16},
{40,41,34,36,37,15,16},
{40,41,42,8,15,16},
{40,41,42,43,44,9,16},
{40,41,42,43,44,15,16},
{40,42,26,16},
{40,41,42,36,37,15,16},
{40,41,42,43,37,15,16},
{40,41,42,44,45,16},
{40,52,9,16},
{40,52,37,15,16},
{40,52,45,16},
{40,52,50,16},
{40,41,42,7,17,11},
{40,30,26,10,11},
{40,30,37,9,10,11},
{40,30,50,10,11},
{40,41,42,44,17,11},
{40,41,42,44,46,11},
{40,42,43,44,46,11},
{40,52,9,11},
{40,52,15,11},
{40,52,17,11},
{40,52,37,9,10,11},
{40,52,45,10,11},
{40,52,50,10,11},
{40,41,42,7,18},
{40,5,6,7,18},
{40,30,9,18},
{40,30,15,18},
{40,41,42,43,36,17,18},
{40,41,42,35,36,17,18},
{40,41,34,35,36,17,18},
{40,41,42,35,37,17,18},
{40,41,42,43,36,46,18},
{40,41,42,35,50,17,18},
{40,41,42,43,44,17,18},
{40,42,43,44,18},
{40,42,26,17,18},
{40,41,42,43,37,17,18},
{40,52,37,17,18},
{40,52,45,46,18},
{40,52,50,17,18},
{40,41,42,7,9,0},
{40,41,42,7,15,0},
{40,41,6,45,46,0},
{40,41,25,9,0},
{40,41,25,15,0},
{40,30,9,0},
{40,30,15,0},
{40,30,45,46,0},
{40,30,50,0},
{40,41,42,43,36,9,0},
{40,41,42,43,36,15,0},
{40,41,42,43,36,46,0},
{40,41,42,44,9,0},
{40,41,42,43,44,9,0},
{40,41,42,44,15,0},
{40,41,42,43,44,15,0},
{40,41,43,45,46,0},
{40,41,42,43,45,46,0},
{40,52,9,0},
{40,52,15,0},
{40,52,37,0},
{40,52,45,46,0},
{40,52,50,0},
{4,30,26,10},
{4,6,26,47},
{4,30,26,47},
{4,5,6,31,46,47},
{4,34,26,47},
{4,34,45,47},
{4,42,26,47},
{4,5,53,46,47},
{4,6,8,27},
{4,6,7,27},
{4,5,6,7,27},
{4,30,8,27},
{4,34,8,27},
{4,5,6,7,37,27},
{4,5,6,36,37,27},
{4,5,35,36,37,27},
{4,42,8,27},
{4,5,43,44,27},
{4,42,36,37,27},
{4,6,7,32},
{4,5,31,32},
{4,5,6,7,32},
{4,30,32},
{4,34,35,32},
{4,34,36,32},
{4,5,6,44,32},
{4,42,43,44,32},
{4,42,36,32},
{4,42,44,32},
{4,5,6,7,51},
{4,30,50,51},
{4,34,35,50,51},
{4,5,6,36,51},
{4,34,35,36,51},
{4,42,31,51},
{4,5,43,44,51},
{4,5,6,8,15,16},
{4,5,7,16},
{4,6,26,16},
{4,6,50,16},
{4,30,8,15,16},
{4,30,9,16},
{4,30,26,16},
{4,30,50,16},
{4,34,26,16},
{4,42,26,16},
{4,5,53,16},
{4,6,8,10,11},
{4,30,31,10,11},
{4,5,6,31,17,11},
{4,30,37,9,10,11},
{4,30,50,10,11},
{4,42,8,10,11},
{4,5,6,44,17,11},
{4,5,53,17,11},
{4,6,37,17,18},
{4,6,45,46,18},
{4,5,7,46,18},
{4,25,9,18},
{4,25,15,18},
{4,30,9,18},
{4,30,15,18},
{4,5,6,31,46,18},
{4,5,6,7,37,17,18},
{4,5,6,36,37,17,18},
{4,5,35,36,37,17,18},
{4,34,35,36,37,17,18},
{4,34,26,17,18},
{4,5,6,36,46,18},
{4,5,6,44,18},
{4,42,43,17,18},
{4,5,43,37,17,18},
{4,5,53,17,18},
{4,5,53,46,18},
{4,5,7,9,0},
{4,5,6,7,9,0},
{4,5,7,15,0},
{4,5,6,7,15,0},
{4,6,45,46,0},
{4,5,6,45,46,0},
{4,6,50,0},
{4,25,9,0},
{4,25,15,0},
{4,25,46,0},
{4,30,31,0},
{4,30,9,0},
{4,30,15,0},
{4,5,6,31,46,0},
{4,30,50,0},
{4,5,6,36,9,0},
{4,5,6,36,15,0},
{4,5,6,44,9,0},
{4,5,6,44,15,0},
{4,5,43,45,46,0},
{4,5,53,0},
{4,5,53,46,0},
{4,5,7,9,47,48},
{4,6,37,46,47,48},
{4,5,7,46,48},
{4,6,7,46,48},
{4,5,6,7,46,47,48},
{4,5,7,47,48},
{4,6,50,46,47,48},
{4,5,6,31,17,48},
{4,5,6,31,46,48},
{4,5,6,36,15,48},
{4,5,6,7,37,17,48},
{4,5,6,36,46,47,48},
{4,5,35,36,46,47,48},
{4,34,35,36,46,47,48},
{4,5,6,44,46,47,48},
{4,5,43,44,46,47,48},
{4,42,43,44,46,47,48},
{4,5,43,46,48},
{4,5,53,17,48},
{4,5,53,46,48},
{4,5,6,7,9,10,12},
{4,5,6,7,9,10,11,12},
{4,5,7,10,11,12},
{4,5,6,7,15,16,12},
{4,5,7,17,11,12},
{4,5,6,7,17,11,12},
{4,5,7,32,12},
{4,5,7,51,12},
{4,25,27,12},
{4,25,32,12},
{4,25,51,12},
{4,30,31,10,11,12},
{4,5,6,31,27,12},
{4,30,32,12},
{4,30,51,12},
{4,5,6,36,9,10,12},
{4,5,6,36,9,10,11,12},
{4,5,35,36,9,10,11,12},
{4,34,35,36,9,10,11,12},
{4,5,6,7,37,10,12},
{4,5,6,7,37,10,11,12},
{4,5,6,36,37,10,11,12},
{4,5,35,36,37,10,11,12},
{4,34,35,36,37,10,11,12},
{4,5,6,36,15,16,12},
{4,5,35,32,12},
{4,5,6,36,51,12},
{4,5,6,44,9,10,12},
{4,5,6,44,9,10,11,12},
{4,5,43,44,9,10,11,12},
{4,42,43,44,9,10,11,12},
{4,5,6,44,15,16,12},
{4,5,6,44,17,11,12},
{4,5,6,44,32,12},
{4,5,6,44,51,12},
{4,5,53,10,11,12},
{4,5,53,17,11,12},
{4,5,53,46,47,12},
{4,5,7,15,18,19},
{4,5,7,32,19},
{4,5,6,7,32,19},
{4,5,7,51,19},
{4,5,6,7,51,19},
{4,25,9,10,19},
{4,25,17,19},
{4,25,32,19},
{4,25,51,19},
{4,5,6,31,17,18,19},
{4,30,31,17,18,19},
{4,5,6,31,27,19},
{4,30,32,19},
{4,30,51,19},
{4,5,6,7,37,17,18,19},
{4,5,6,36,37,17,18,19},
{4,5,35,36,37,17,18,19},
{4,34,35,36,37,17,18,19},
{4,5,6,7,37,27,19},
{4,5,35,32,19},
{4,5,6,36,51,19},
{4,5,6,44,32,19},
{4,5,6,44,51,19},
{4,5,53,10,19},
{4,5,53,46,47,19},
{24,26,47},
{24,25,46,47},
{24,25,37,47},
{24,7,8,27},
{24,25,27},
{24,7,32},
{24,31,32},
{24,25,32},
{24,43,44,32},
{24,36,51},
{24,50,51},
{24,7,9,16},
{24,26,16},
{24,35,50,16},
{24,43,50,16},
{24,53,16},
{24,25,9,10,11},
{24,25,17,11},
{24,37,9,10,11},
{24,45,10,11},
{24,25,37,10,11},
{24,7,9,18},
{24,7,15,18},
{24,8,17,18},
{24,25,15,18},
{24,25,17,18},
{24,26,17,18},
{24,45,17,18},
{24,45,46,18},
{24,35,36,9,18},
{24,35,36,15,18},
{24,35,50,17,18},
{24,43,44,9,18},
{24,43,44,15,18},
{24,43,50,17,18},
{24,53,17,18},
{24,7,9,0},
{24,7,15,0},
{24,7,46,0},
{24,25,0},
{24,25,9,0},
{24,25,15,0},
{24,50,0},
{24,31,46,0},
{24,25,37,0},
{24,35,36,9,0},
{24,35,36,15,0},
{24,35,50,0},
{24,43,44,9,0},
{24,43,44,15,0},
{24,43,45,46,0},
{24,43,50,0},
{24,53,0},
{24,53,46,0},
{24,7,17,48},
{24,7,46,48},
{24,25,15,48},
{24,25,17,48},
{24,31,17,48},
{24,31,46,48},
{24,25,37,17,48},
{24,35,36,46,48},
{24,43,44,17,48},
{24,43,44,46,48},
{24,53,46,48},
{24,7,27,12},
{24,7,32,12},
{24,31,46,47,12},
{24,25,37,27,12},
{24,35,32,12},
{24,25,37,47,12},
{24,35,36,51,12},
{24,43,44,32,12},
{24,43,44,46,47,12},
{24,43,44,51,12},
{24,53,10,11,12},
{24,53,17,11,12},
{24,53,46,47,12},
{24,7,9,10,19},
{24,7,17,19},
{24,7,27,19},
{24,7,32,19},
{24,7,51,19},
{24,25,32,19},
{24,25,51,19},
{24,31,10,19},
{24,25,37,17,18,19},
{24,35,36,37,17,18,19},
{24,25,37,27,19},
{24,35,32,19},
{24,35,36,51,19},
{24,43,44,32,19},
{24,43,44,51,19},
{24,53,46,47,19},
{41,53,9,10},
{41,6,26,47},
{41,34,26,47},
{41,34,45,47},
{41,42,26,47},
{41,42,53,46,47},
{41,6,8,27},
{41,34,8,27},
{41,42,43,44,37,27},
{41,42,43,36,37,27},
{41,42,35,36,37,27},
{41,7,8,27},
{41,42,43,44,27},
{41,43,37,27},
{41,6,7,32},
{41,25,32},
{41,34,35,32},
{41,34,36,32},
{41,43,44,32},
{41,42,31,32},
{41,42,43,44,32},
{41,42,44,32},
{41,34,35,50,51},
{41,42,43,36,51},
{41,34,35,36,51},
{41,7,50,51},
{41,42,43,44,51},
{41,6,7,15,16},
{41,6,26,16},
{41,6,50,16},
{41,42,31,16},
{41,42,43,36,9,16},
{41,34,26,16},
{41,43,44,15,16},
{41,42,26,16},
{41,42,53,16},
{41,42,43,50,17,11},
{41,42,53,17,11},
{41,6,37,17,18},
{41,6,45,46,18},
{41,25,9,18},
{41,25,15,18},
{41,42,43,44,37,17,18},
{41,42,43,36,37,17,18},
{41,42,35,36,37,17,18},
{41,34,35,36,37,17,18},
{41,34,26,17,18},
{41,42,43,36,46,18},
{41,42,26,17,18},
{41,43,37,17,18},
{41,43,45,46,18},
{41,42,44,46,18},
{41,45,17,18},
{41,42,53,17,18},
{41,42,53,46,18},
{41,42,7,9,0},
{41,42,7,15,0},
{41,6,45,46,0},
{41,25,9,0},
{41,25,15,0},
{41,25,46,0},
{41,42,43,36,9,0},
{41,42,43,36,15,0},
{41,42,44,9,0},
{41,42,43,44,9,0},
{41,42,44,15,0},
{41,42,43,44,15,0},
{41,43,45,46,0},
{41,42,43,45,46,0},
{41,42,53,0},
{41,42,53,46,0},
{41,42,7,9,47,48},
{41,6,37,46,47,48},
{41,42,7,46,48},
{41,6,50,46,47,48},
{41,42,31,17,48},
{41,42,31,46,48},
{41,42,43,44,37,17,48},
{41,42,35,36,46,47,48},
{41,34,35,36,46,47,48},
{41,42,44,9,47,48},
{41,43,37,46,47,48},
{41,42,44,46,48},
{41,42,43,44,46,47,48},
{41,42,53,17,48},
{41,42,7,10,11,12},
{41,42,7,17,11,12},
{41,42,7,32,12},
{41,42,7,51,12},
{41,25,27,12},
{41,25,32,12},
{41,25,51,12},
{41,42,31,17,11,12},
{41,42,31,46,47,12},
{41,42,43,36,9,10,12},
{41,42,43,36,9,10,11,12},
{41,42,35,36,9,10,11,12},
{41,34,35,36,9,10,11,12},
{41,42,43,36,37,10,12},
{41,42,43,44,37,10,11,12},
{41,42,43,36,37,10,11,12},
{41,42,35,36,37,10,11,12},
{41,42,43,36,15,16,12},
{41,42,35,32,12},
{41,42,43,36,51,12},
{41,43,44,9,10,11,12},
{41,42,43,44,9,10,12},
{41,42,43,44,9,10,11,12},
{41,42,44,10,11,12},
{41,42,44,17,11,12},
{41,42,43,44,17,11,12},
{41,42,44,32,12},
{41,42,44,51,12},
{41,42,43,50,17,11,12},
{41,42,53,10,11,12},
{41,42,53,16,12},
{41,42,53,17,11,12},
{41,42,53,46,47,12},
{41,42,7,32,19},
{41,42,7,51,19},
{41,25,9,10,19},
{41,25,17,19},
{41,25,32,19},
{41,25,46,47,19},
{41,25,51,19},
{41,42,31,10,19},
{41,42,31,27,19},
{41,42,43,44,37,17,18,19},
{41,42,43,36,37,17,18,19},
{41,42,35,36,37,17,18,19},
{41,34,35,36,37,17,18,19},
{41,42,43,44,37,27,19},
{41,42,35,32,19},
{41,42,43,36,51,19},
{41,42,44,32,19},
{41,42,43,44,32,19},
{41,42,44,51,19},
{41,42,43,44,51,19},
{41,42,53,10,19},
{41,42,53,46,47,19},
{33,34,53,10},
{33,6,26,47},
{33,6,45,47},
{33,34,26,47},
{33,43,45,47},
{33,34,44,46,47},
{33,6,8,27},
{33,34,31,27},
{33,34,8,27},
{33,6,7,32},
{33,25,32},
{33,34,35,32},
{33,34,36,32},
{33,43,44,32},
{33,6,50,51},
{33,34,35,50,51},
{33,34,35,36,51},
{33,34,35,8,16},
{33,34,7,8,16},
{33,6,7,8,16},
{33,6,26,16},
{33,6,37,15,16},
{33,34,31,16},
{33,34,26,16},
{33,35,37,15,16},
{33,43,37,15,16},
{33,34,53,16},
{33,34,35,37,17,11},
{33,35,50,10,11},
{33,34,53,10,11},
{33,6,26,17,18},
{33,6,45,46,18},
{33,25,9,18},
{33,25,15,18},
{33,34,31,46,18},
{33,34,35,36,37,17,18},
{33,34,26,17,18},
{33,34,45,17,18},
{33,43,45,46,18},
{33,34,53,17,18},
{33,34,7,9,0},
{33,34,7,15,0},
{33,6,37,0},
{33,6,50,0},
{33,25,9,0},
{33,25,15,0},
{33,25,46,0},
{33,34,36,9,0},
{33,34,35,36,9,0},
{33,34,36,15,0},
{33,34,35,36,15,0},
{33,35,37,0},
{33,35,46,0},
{33,35,50,0},
{33,43,44,0},
{33,34,44,9,0},
{33,34,44,15,0},
{33,43,37,0},
{33,43,50,0},
{33,34,53,0},
{33,34,53,46,0},
{33,34,35,8,17,48},
{33,6,37,46,47,48},
{33,34,35,8,47,48},
{33,34,7,8,47,48},
{33,6,7,8,47,48},
{33,25,17,48},
{33,25,46,48},
{33,34,31,17,48},
{33,34,31,46,48},
{33,34,35,36,37,17,48},
{33,34,36,37,47,48},
{33,35,36,37,47,48},
{33,43,37,46,47,48},
{33,34,35,50,17,48},
{33,34,53,46,48},
{33,34,35,8,10,12},
{33,34,7,8,10,12},
{33,34,35,8,16,12},
{33,34,7,32,12},
{33,25,17,11,12},
{33,25,27,12},
{33,25,32,12},
{33,34,31,17,11,12},
{33,34,31,46,47,12},
{33,34,35,36,9,10,11,12},
{33,34,35,36,37,10,11,12},
{33,36,37,16,12},
{33,34,35,37,17,11,12},
{33,35,32,12},
{33,34,35,32,12},
{33,34,35,36,46,11,12},
{33,34,36,51,12},
{33,34,44,32,12},
{33,34,53,10,11,12},
{33,34,53,17,11,12},
{33,34,53,46,47,12},
{33,34,35,8,16,19},
{33,34,7,32,19},
{33,34,7,51,19},
{33,25,9,10,19},
{33,25,17,19},
{33,25,32,19},
{33,25,51,19},
{33,34,31,10,19},
{33,34,31,27,19},
{33,34,35,36,37,17,18,19},
{33,34,35,36,37,27,19},
{33,35,32,19},
{33,34,35,32,19},
{33,34,36,51,19},
{33,34,35,36,51,19},
{33,34,44,32,19},
{33,34,44,51,19},
{33,34,53,10,19},
{33,34,53,46,47,19},
{52,8,10},
{52,9,10},
{52,37,9,10},
{52,50,10},
{52,8,47},
{52,50,47},
{52,45,46,47},
{52,27},
{52,37,27},
{52,50,27},
{52,32},
{52,50,51},
{52,8,16},
{52,9,16},
{52,15,16},
{52,37,15,16},
{52,50,16},
{52,8,10,11},
{52,8,17,11},
{52,37,17,11},
{52,45,17,11},
{52,50,17,11},
{52,9,10,11},
{52,17,11},
{52,37,9,10,11},
{52,45,10,11},
{52,8,17,18},
{52,15,18},
{52,17,18},
{52,37,17,18},
{52,45,46,18},
{52,50,17,18},
{52,8,0},
{52,0},
{52,9,0},
{52,15,0},
{52,37,0},
{52,45,46,0},
{52,50,0},
{52,8,47,48},
{52,37,17,48},
{52,50,17,48},
{52,9,47,48},
{52,15,48},
{52,17,48},
{52,37,46,47,48},
{52,46,47,48},
{52,50,46,47,48},
{52,8,10,12},
{52,8,10,11,12},
{52,8,17,11,12},
{52,8,47,12},
{52,37,10,12},
{52,37,10,11,12},
{52,37,16,12},
{52,37,17,11,12},
{52,45,17,11,12},
{52,45,47,12},
{52,50,10,12},
{52,50,10,11,12},
{52,50,16,12},
{52,50,17,11,12},
{52,9,11,12},
{52,9,10,12},
{52,9,10,11,12},
{52,15,16,12},
{52,17,11,12},
{52,27,12},
{52,46,11,12},
{52,51,12},
{52,8,17,19},
{52,8,17,18,19},
{52,8,47,19},
{52,37,10,19},
{52,37,16,19},
{52,37,17,19},
{52,37,47,19},
{52,45,16,19},
{52,45,17,19},
{52,50,10,19},
{52,50,16,19},
{52,50,17,19},
{52,50,47,19},
{52,9,18,19},
{52,9,10,19},
{52,15,18,19},
{52,15,16,19},
{52,27,19},
{52,32,19},
{52,51,19},
{5,53,9,10},
{5,6,26,47},
{5,7,8,47},
{5,7,8,27},
{5,6,7,27},
{5,6,36,37,27},
{5,35,36,27},
{5,35,37,27},
{5,43,37,27},
{5,6,7,32},
{5,31,32},
{5,6,44,32},
{5,43,32},
{5,7,50,51},
{5,6,50,51},
{5,43,50,51},
{5,7,8,16},
{5,6,7,8,16},
{5,6,7,15,16},
{5,6,26,16},
{5,44,15,16},
{5,6,50,16},
{5,35,36,15,16},
{5,6,8,10,11},
{5,6,7,37,17,11},
{5,6,7,50,17,11},
{5,35,37,17,18},
{5,6,36,46,18},
{5,43,37,17,18},
{5,43,45,46,18},
{5,53,17,18},
{5,53,46,18},
{5,6,7,8,0},
{5,7,9,0},
{5,6,7,9,0},
{5,7,15,0},
{5,6,7,15,0},
{5,6,45,46,0},
{5,7,46,0},
{5,6,36,9,0},
{5,6,36,15,0},
{5,35,50,0},
{5,6,7,45,0},
{5,6,44,45,0},
{5,43,44,45,0},
{5,6,44,9,0},
{5,6,44,15,0},
{5,43,45,46,0},
{5,53,0},
{5,53,46,0},
{5,7,9,47,48},
{5,6,7,9,47,48},
{5,7,15,48},
{5,6,7,8,17,48},
{5,6,37,46,47,48},
{5,7,8,47,48},
{5,6,7,8,47,48},
{5,6,50,46,47,48},
{5,6,31,17,48},
{5,6,31,46,48},
{5,6,36,9,47,48},
{5,6,36,15,48},
{5,35,37,46,47,48},
{5,6,36,37,47,48},
{5,6,7,37,48},
{5,35,36,37,48},
{5,6,44,9,47,48},
{5,6,7,45,17,48},
{5,43,37,46,47,48},
{5,6,7,45,47,48},
{5,6,44,46,48},
{5,43,50,46,47,48},
{5,53,17,48},
{5,53,46,48},
{5,53,46,47,48},
{5,7,8,10,12},
{5,6,8,11,12},
{5,6,7,15,11,12},
{5,7,32,12},
{5,6,8,47,12},
{5,7,51,12},
{5,6,31,17,11,12},
{5,6,31,46,47,12},
{5,6,7,37,17,11,12},
{5,35,32,12},
{5,6,36,51,12},
{5,43,44,9,10,11,12},
{5,6,7,45,11,12},
{5,6,44,45,11,12},
{5,43,44,45,11,12},
{5,6,7,45,16,12},
{5,6,44,32,12},
{5,6,44,51,12},
{5,6,7,50,17,11,12},
{5,53,16,12},
{5,53,27,12},
{5,6,7,9,18,19},
{5,6,7,15,18,19},
{5,7,27,19},
{5,6,7,27,19},
{5,7,32,19},
{5,6,7,32,19},
{5,7,51,19},
{5,6,7,51,19},
{5,6,31,10,19},
{5,35,32,19},
{5,6,36,51,19},
{5,6,7,45,16,19},
{5,6,44,27,19},
{5,6,44,32,19},
{5,6,44,51,19},
{5,53,10,19},
{5,53,16,19},
{5,53,27,19},
{30,26,47},
{30,8,27},
{30,31,27},
{30,32},
{30,50,51},
{30,9,16},
{30,26,16},
{30,36,9,16},
{30,45,16},
{30,8,17,11},
{30,8,10,11},
{30,31,10,11},
{30,9,10,11},
{30,31,17,11},
{30,45,10,11},
{30,50,10,11},
{30,36,37,17,11},
{30,45,17,11},
{30,8,17,18},
{30,26,17,18},
{30,36,9,18},
{30,36,15,18},
{30,26,0},
{30,31,0},
{30,9,0},
{30,15,0},
{30,37,0},
{30,36,9,0},
{30,36,15,0},
{30,36,46,0},
{30,50,0},
{30,26,48},
{30,9,47,48},
{30,31,17,48},
{30,36,37,17,48},
{30,36,46,48},
{30,50,17,48},
{30,31,10,11,12},
{30,15,11,12},
{30,51,12},
{30,36,51,12},
{30,50,16,12},
{30,50,17,11,12},
{30,9,18,19},
{30,15,18,19},
{30,31,27,19},
{30,32,19},
{30,51,19},
{30,36,37,27,19},
{30,36,51,19},
{30,50,10,19},
{30,50,47,19},
{42,26,10},
{42,7,8,47},
{42,26,47},
{42,43,44,37,27},
{42,35,36,37,27},
{42,43,36,27},
{42,35,37,27},
{42,35,32},
{42,43,44,32},
{42,31,32},
{42,44,32},
{42,35,50,51},
{42,31,51},
{42,43,50,51},
{42,7,8,16},
{42,35,50,16},
{42,43,44,15,16},
{42,44,15,16},
{42,43,50,16},
{42,43,44,37,17,11},
{42,35,37,17,18},
{42,43,36,46,18},
{42,44,45,17,18},
{42,53,17,18},
{42,53,46,18},
{42,7,9,0},
{42,7,15,0},
{42,31,0},
{42,43,36,9,0},
{42,43,36,15,0},
{42,44,45,0},
{42,43,44,45,0},
{42,44,9,0},
{42,43,44,9,0},
{42,44,15,0},
{42,43,44,15,0},
{42,43,45,46,0},
{42,53,0},
{42,53,46,0},
{42,7,9,47,48},
{42,7,15,48},
{42,7,8,47,48},
{42,43,26,48},
{42,31,17,48},
{42,31,46,48},
{42,43,36,9,47,48},
{42,43,36,15,48},
{42,35,37,46,47,48},
{42,43,44,37,47,48},
{42,35,36,37,47,48},
{42,43,36,46,48},
{42,43,36,37,48},
{42,35,50,46,47,48},
{42,44,9,47,48},
{42,43,44,9,47,48},
{42,44,15,48},
{42,43,45,17,48},
{42,43,44,45,17,48},
{42,43,37,46,47,48},
{42,43,50,46,47,48},
{42,53,17,48},
{42,53,46,48},
{42,53,46,47,48},
{42,7,32,12},
{42,43,8,47,12},
{42,7,51,12},
{42,31,10,12},
{42,31,16,12},
{42,31,27,12},
{42,43,44,37,17,11,12},
{42,35,32,12},
{42,43,36,51,12},
{42,43,44,9,10,11,12},
{42,43,44,45,11,12},
{42,43,44,45,16,12},
{42,43,44,15,11,12},
{42,44,32,12},
{42,43,45,47,12},
{42,44,51,12},
{42,43,50,10,11,12},
{42,43,50,16,12},
{42,53,16,12},
{42,53,27,12},
{42,7,27,19},
{42,7,32,19},
{42,7,51,19},
{42,31,16,19},
{42,35,32,19},
{42,43,36,51,19},
{42,43,44,9,18,19},
{42,43,44,15,18,19},
{42,44,27,19},
{42,44,32,19},
{42,43,44,32,19},
{42,44,51,19},
{42,43,44,51,19},
{42,53,10,19},
{42,53,16,19},
{42,53,27,19},
{34,26,10},
{34,7,8,47},
{34,8,46,47},
{34,26,47},
{34,45,46,47},
{34,44,45,47},
{34,53,27},
{34,35,32},
{34,36,32},
{34,35,50,51},
{34,35,36,15,16},
{34,36,37,16},
{34,35,37,15,16},
{34,36,37,15,16},
{34,7,9,11},
{34,36,9,11},
{34,35,9,11},
{34,44,9,11},
{34,35,45,17,11},
{34,7,15,18},
{34,44,15,18},
{34,44,45,17,18},
{34,53,17,18},
{34,7,9,0},
{34,7,15,0},
{34,7,46,0},
{34,35,36,37,9,0},
{34,35,26,0},
{34,31,46,0},
{34,36,9,0},
{34,36,15,0},
{34,35,36,15,0},
{34,36,46,0},
{34,35,50,0},
{34,44,9,0},
{34,44,15,0},
{34,44,46,0},
{34,53,0},
{34,53,46,0},
{34,7,9,47,48},
{34,7,15,48},
{34,7,8,47,48},
{34,35,36,37,9,48},
{34,35,26,48},
{34,31,17,48},
{34,31,46,48},
{34,36,9,47,48},
{34,35,36,9,47,48},
{34,36,15,48},
{34,35,37,46,47,48},
{34,36,37,47,48},
{34,35,36,37,47,48},
{34,44,9,47,48},
{34,44,15,48},
{34,53,17,48},
{34,53,46,48},
{34,53,46,47,48},
{34,35,8,10,12},
{34,35,8,11,12},
{34,7,32,12},
{34,35,8,47,12},
{34,7,51,12},
{34,31,10,12},
{34,31,16,12},
{34,31,27,12},
{34,36,37,10,11,12},
{34,35,36,15,11,12},
{34,35,37,17,11,12},
{34,35,36,37,17,11,12},
{34,35,32,12},
{34,36,51,12},
{34,44,32,12},
{34,35,45,47,12},
{34,44,51,12},
{34,35,50,16,12},
{34,53,16,12},
{34,53,27,12},
{34,35,8,10,19},
{34,7,32,19},
{34,7,51,19},
{34,35,36,15,18,19},
{34,35,37,16,19},
{34,36,37,16,19},
{34,35,32,19},
{34,36,51,19},
{34,35,36,51,19},
{34,44,32,19},
{34,44,51,19},
{34,53,10,19},
{34,53,16,19},
{34,53,27,19},
{6,26,10},
{6,8,46,47},
{6,26,47},
{6,45,46,47},
{6,7,8,47},
{6,7,32},
{6,7,8,16},
{6,7,15,16},
{6,36,9,16},
{6,7,37,16},
{6,44,9,11},
{6,7,45,17,11},
{6,8,17,18},
{6,36,37,17,18},
{6,7,45,46,18},
{6,44,45,46,18},
{6,7,9,0},
{6,7,15,0},
{6,45,46,0},
{6,26,0},
{6,36,9,0},
{6,36,15,0},
{6,44,45,0},
{6,44,9,0},
{6,44,15,0},
{6,44,46,0},
{6,7,9,47,48},
{6,37,46,47,48},
{6,7,8,47,48},
{6,50,46,47,48},
{6,7,8,15,48},
{6,31,17,48},
{6,31,46,48},
{6,36,9,47,48},
{6,36,15,48},
{6,36,37,47,48},
{6,7,37,48},
{6,44,9,47,48},
{6,44,15,48},
{6,7,9,10,11,12},
{6,8,16,12},
{6,8,17,11,12},
{6,7,8,15,11,12},
{6,31,16,12},
{6,31,27,12},
{6,7,37,10,11,12},
{6,7,37,17,11,12},
{6,36,51,12},
{6,7,45,46,11,12},
{6,44,45,46,11,12},
{6,44,32,12},
{6,7,45,47,12},
{6,44,51,12},
{6,7,50,16,12},
{6,8,16,19},
{6,7,27,19},
{6,7,32,19},
{6,7,51,19},
{6,31,16,19},
{6,7,37,47,19},
{6,36,51,19},
{6,44,27,19},
{6,44,32,19},
{6,44,51,19},
{25,45,47},
{25,32},
{25,51},
{25,15,16},
{25,45,17,11},
{25,26,0},
{25,9,0},
{25,15,0},
{25,9,47,48},
{25,15,48},
{25,17,48},
{25,26,48},
{25,50,17,48},
{25,50,47,48},
{25,37,27,12},
{25,9,18,19},
{25,15,18,19},
{25,17,18,19},
{25,32,19},
{25,46,47,19},
{25,51,19},
{25,37,17,19},
{25,37,47,19},
{25,50,17,19},
{25,50,47,19},
{43,45,46,47},
{43,44,32},
{43,44,37,16},
{43,44,15,16},
{43,36,37,17,18},
{43,45,46,18},
{43,44,45,46,18},
{43,44,45,17,18},
{43,26,0},
{43,36,9,0},
{43,36,15,0},
{43,44,45,0},
{43,44,9,0},
{43,44,15,0},
{43,26,48},
{43,36,9,47,48},
{43,36,15,48},
{43,36,37,47,48},
{43,44,9,47,48},
{43,44,15,48},
{43,37,46,47,48},
{43,50,46,47,48},
{43,8,16,12},
{43,8,17,11,12},
{43,44,37,17,11,12},
{43,36,51,12},
{43,44,45,46,11,12},
{43,44,9,10,11,12},
{43,45,16,12},
{43,44,15,11,12},
{43,45,17,11,12},
{43,8,16,19},
{43,36,51,19},
{43,45,16,19},
{43,44,16,19},
{43,44,32,19},
{43,44,51,19},
{35,36,37,27},
{35,32},
{35,36,15,16},
{35,36,37,16},
{35,36,37,9,0},
{35,36,15,0},
{35,36,37,15,48},
{35,36,9,47,48},
{35,37,46,47,48},
{35,36,37,47,48},
{35,50,46,47,48},
{35,36,37,46,48},
{35,8,16,12},
{35,8,17,11,12},
{35,36,37,9,11,12},
{35,36,37,15,11,12},
{35,36,9,10,11,12},
{35,36,37,17,11,12},
{35,32,12},
{35,45,16,12},
{35,45,17,11,12},
{35,8,16,19},
{35,37,16,19},
{35,37,27,19},
{35,32,19},
{35,36,51,19},
{35,45,16,19},
{35,50,47,19},
{53,46,47},
{53,27},
{53,16},
{53,9,48},
{53,15,48},
{53,17,48},
{53,27,12},
{53,46,47,19},
{7,32},
{7,8,17,18},
{7,8,46,18},
{7,45,17,18},
{7,9,47,48},
{7,8,47,48},
{7,8,10,11,12},
{7,8,16,12},
{7,8,17,11,12},
{7,8,27,12},
{7,45,16,12},
{7,45,17,11,12},
{7,50,51,12},
{7,50,16,12},
{7,8,17,18,19},
{7,32,19},
{7,8,27,19},
{7,37,16,19},
{7,37,27,19},
{7,45,16,19},
{7,50,51,19},
{31,27},
{31,16},
{31,9,0},
{31,9,10,12},
{31,32,12},
{31,51,12},
{31,32,19},
{31,17,18,19},
{31,51,19},
{44,32},
{44,45,46,18},
{44,45,17,18},
{44,9,47,48},
{44,32,12},
{44,45,16,12},
{44,45,17,11,12},
{44,37,16,19},
{44,32,19},
{36,37,9,0},
{36,37,9,48},
{36,37,15,48},
{36,9,47,48},
{36,37,9,11,12},
{36,37,15,11,12},
{36,46,11,12},
{36,37,27,19},
{8,15,48},
{8,27,12},
{8,27,19},
{26,48},
{26,10,12},
{26,17,12},
{45,46,48},
];