% % Data for bus driver scheduling (CSPLib problem 22). % % This is the problem r2 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 = 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}, ];