mrs3 = {{1 -> {{0, 0, 3, {"A", "C", "A"}}, {2, 2, 2, {"B", "D"}}, {3, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 2 -> {{0, 0, 1, {"A"}}, {1, 0, 2, {"B", "D"}}, {3, 2, 2, {"D", "A"}}, {8, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 3 -> {{1, 0, 1, {"B"}}, {2, 0, 2, {"D", "A"}}, {4, 2, 2, {"D", "A"}}, {7, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 4 -> {{0, 0, 1, {"A"}}, {3, 0, 2, {"D", "A"}}, {5, 2, 2, {"C", "B"}}, {6, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 5 -> {{0, 0, 1, {"A"}}, {4, 0, 2, {"C", "B"}}, {6, 2, 2, {"A", "D"}}, {29, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 6 -> {{4, 0, 1, {"B"}}, {5, 0, 2, {"A", "D"}}, {7, 2, 2, {"A", "C"}}, {28, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 7 -> {{3, 0, 1, {"B"}}, {6, 0, 2, {"A", "C"}}, {8, 2, 2, {"A", "D"}}, {13, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 8 -> {{2, 0, 1, {"B"}}, {7, 0, 2, {"A", "D"}}, {9, 2, 2, {"A", "C"}}, {12, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 9 -> {{0, 0, 1, {"A"}}, {8, 0, 2, {"A", "C"}}, {10, 2, 2, {"B", "D"}}, {11, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 10 -> {{0, 0, 1, {"A"}}, {9, 0, 2, {"B", "D"}}, {11, 2, 2, {"D", "A"}}, {20, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 11 -> {{9, 0, 1, {"B"}}, {10, 0, 2, {"D", "A"}}, {12, 2, 2, {"D", "A"}}, {17, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 12 -> {{8, 0, 1, {"A"}}, {11, 0, 2, {"D", "A"}}, {13, 2, 2, {"C", "B"}}, {14, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 13 -> {{7, 0, 1, {"B"}}, {12, 0, 2, {"C", "B"}}, {14, 2, 2, {"B", "D"}}, {15, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 14 -> {{12, 0, 1, {"B"}}, {13, 0, 2, {"B", "D"}}, {15, 2, 2, {"C", "A"}}, {16, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 15 -> {{13, 0, 1, {"B"}}, {14, 0, 2, {"C", "A"}}, {16, 2, 2, {"A", "C"}}, {27, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 16 -> {{14, 0, 1, {"A"}}, {15, 0, 2, {"A", "C"}}, {17, 2, 2, {"B", "D"}}, {18, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 17 -> {{11, 0, 1, {"B"}}, {16, 0, 2, {"B", "D"}}, {18, 2, 2, {"C", "A"}}, {19, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 18 -> {{16, 0, 1, {"B"}}, {17, 0, 2, {"C", "A"}}, {19, 2, 2, {"A", "C"}}, {26, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 19 -> {{17, 0, 1, {"A"}}, {18, 0, 2, {"A", "C"}}, {20, 2, 2, {"B", "D"}}, {21, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 20 -> {{10, 0, 1, {"B"}}, {19, 0, 2, {"B", "D"}}, {21, 2, 2, {"C", "A"}}, {22, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 21 -> {{19, 0, 1, {"B"}}, {20, 0, 2, {"C", "A"}}, {22, 2, 2, {"A", "C"}}, {25, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 22 -> {{20, 0, 1, {"A"}}, {21, 0, 2, {"A", "C"}}, {23, 2, 2, {"B", "D"}}, {24, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 23 -> {{0, 0, 1, {"A"}}, {22, 0, 2, {"B", "D"}}, {24, 2, 2, {"D", "A"}}, {45, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 24 -> {{22, 0, 1, {"B"}}, {23, 0, 2, {"D", "A"}}, {25, 2, 2, {"D", "A"}}, {42, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 25 -> {{21, 0, 1, {"B"}}, {24, 0, 2, {"D", "A"}}, {26, 2, 2, {"D", "A"}}, {39, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 26 -> {{18, 0, 1, {"B"}}, {25, 0, 2, {"D", "A"}}, {27, 2, 2, {"D", "A"}}, {36, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 27 -> {{15, 0, 1, {"B"}}, {26, 0, 2, {"D", "A"}}, {28, 2, 2, {"D", "A"}}, {33, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 28 -> {{6, 0, 1, {"A"}}, {27, 0, 2, {"D", "A"}}, {29, 2, 2, {"C", "B"}}, {30, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 29 -> {{5, 0, 1, {"B"}}, {28, 0, 2, {"C", "B"}}, {30, 2, 2, {"B", "D"}}, {31, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 30 -> {{28, 0, 1, {"B"}}, {29, 0, 2, {"B", "D"}}, {31, 2, 2, {"C", "A"}}, {32, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 31 -> {{29, 0, 1, {"B"}}, {30, 0, 2, {"C", "A"}}, {32, 2, 2, {"A", "C"}}, {55, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 32 -> {{30, 0, 1, {"A"}}, {31, 0, 2, {"A", "C"}}, {33, 2, 2, {"B", "D"}}, {34, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 33 -> {{27, 0, 1, {"B"}}, {32, 0, 2, {"B", "D"}}, {34, 2, 2, {"C", "A"}}, {35, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 34 -> {{32, 0, 1, {"B"}}, {33, 0, 2, {"C", "A"}}, {35, 2, 2, {"A", "C"}}, {54, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 35 -> {{33, 0, 1, {"A"}}, {34, 0, 2, {"A", "C"}}, {36, 2, 2, {"B", "D"}}, {37, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 36 -> {{26, 0, 1, {"B"}}, {35, 0, 2, {"B", "D"}}, {37, 2, 2, {"C", "A"}}, {38, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 37 -> {{35, 0, 1, {"B"}}, {36, 0, 2, {"C", "A"}}, {38, 2, 2, {"A", "C"}}, {53, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 38 -> {{36, 0, 1, {"A"}}, {37, 0, 2, {"A", "C"}}, {39, 2, 2, {"B", "D"}}, {40, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 39 -> {{25, 0, 1, {"B"}}, {38, 0, 2, {"B", "D"}}, {40, 2, 2, {"C", "A"}}, {41, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 40 -> {{38, 0, 1, {"B"}}, {39, 0, 2, {"C", "A"}}, {41, 2, 2, {"A", "C"}}, {52, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 41 -> {{39, 0, 1, {"A"}}, {40, 0, 2, {"A", "C"}}, {42, 2, 2, {"B", "D"}}, {43, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 42 -> {{24, 0, 1, {"B"}}, {41, 0, 2, {"B", "D"}}, {43, 2, 2, {"C", "A"}}, {44, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 43 -> {{41, 0, 1, {"B"}}, {42, 0, 2, {"C", "A"}}, {44, 2, 2, {"A", "C"}}, {51, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 44 -> {{42, 0, 1, {"A"}}, {43, 0, 2, {"A", "C"}}, {45, 2, 2, {"B", "D"}}, {46, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 45 -> {{23, 0, 1, {"B"}}, {44, 0, 2, {"B", "D"}}, {46, 2, 2, {"C", "A"}}, {47, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 46 -> {{44, 0, 1, {"B"}}, {45, 0, 2, {"C", "A"}}, {47, 2, 2, {"A", "C"}}, {50, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 47 -> {{45, 0, 1, {"A"}}, {46, 0, 2, {"A", "C"}}, {48, 2, 2, {"B", "D"}}, {49, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 48 -> {{0, 0, 1, {"A"}}, {47, 0, 2, {"B", "D"}}, {49, 2, 2, {"D", "A"}}, {66, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 49 -> {{47, 0, 1, {"B"}}, {48, 0, 2, {"D", "A"}}, {50, 2, 2, {"D", "A"}}, {65, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 50 -> {{46, 0, 1, {"B"}}, {49, 0, 2, {"D", "A"}}, {51, 2, 2, {"D", "A"}}, {64, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 51 -> {{43, 0, 1, {"B"}}, {50, 0, 2, {"D", "A"}}, {52, 2, 2, {"D", "A"}}, {63, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 52 -> {{40, 0, 1, {"B"}}, {51, 0, 2, {"D", "A"}}, {53, 2, 2, {"D", "A"}}, {62, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 53 -> {{37, 0, 1, {"B"}}, {52, 0, 2, {"D", "A"}}, {54, 2, 2, {"D", "A"}}, {61, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 54 -> {{34, 0, 1, {"B"}}, {53, 0, 2, {"D", "A"}}, {55, 2, 2, {"D", "A"}}, {60, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 55 -> {{31, 0, 1, {"B"}}, {54, 0, 2, {"D", "A"}}, {56, 2, 2, {"D", "A"}}, {59, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 56 -> {{0, 0, 1, {"A"}}, {55, 0, 2, {"D", "A"}}, {57, 2, 2, {"C", "B"}}, {58, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 57 -> {{0, 0, 1, {"A"}}, {56, 0, 2, {"C", "B"}}, {58, 2, 2, {"A", "D"}}, {207, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 58 -> {{56, 0, 1, {"B"}}, {57, 0, 2, {"A", "D"}}, {59, 2, 2, {"A", "C"}}, {206, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 59 -> {{55, 0, 1, {"B"}}, {58, 0, 2, {"A", "C"}}, {60, 2, 2, {"A", "D"}}, {155, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 60 -> {{54, 0, 1, {"B"}}, {59, 0, 2, {"A", "D"}}, {61, 2, 2, {"A", "C"}}, {154, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 61 -> {{53, 0, 1, {"B"}}, {60, 0, 2, {"A", "C"}}, {62, 2, 2, {"A", "D"}}, {115, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 62 -> {{52, 0, 1, {"B"}}, {61, 0, 2, {"A", "D"}}, {63, 2, 2, {"A", "C"}}, {114, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 63 -> {{51, 0, 1, {"B"}}, {62, 0, 2, {"A", "C"}}, {64, 2, 2, {"A", "D"}}, {87, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 64 -> {{50, 0, 1, {"B"}}, {63, 0, 2, {"A", "D"}}, {65, 2, 2, {"A", "C"}}, {86, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 65 -> {{49, 0, 1, {"B"}}, {64, 0, 2, {"A", "C"}}, {66, 2, 2, {"A", "D"}}, {71, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 66 -> {{48, 0, 1, {"B"}}, {65, 0, 2, {"A", "D"}}, {67, 2, 2, {"A", "C"}}, {70, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 67 -> {{0, 0, 1, {"A"}}, {66, 0, 2, {"A", "C"}}, {68, 2, 2, {"B", "D"}}, {69, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 68 -> {{0, 0, 1, {"A"}}, {67, 0, 2, {"B", "D"}}, {69, 2, 2, {"D", "A"}}, {78, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 69 -> {{67, 0, 1, {"B"}}, {68, 0, 2, {"D", "A"}}, {70, 2, 2, {"D", "A"}}, {75, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 70 -> {{66, 0, 1, {"A"}}, {69, 0, 2, {"D", "A"}}, {71, 2, 2, {"C", "B"}}, {72, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 71 -> {{65, 0, 1, {"B"}}, {70, 0, 2, {"C", "B"}}, {72, 2, 2, {"B", "D"}}, {73, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 72 -> {{70, 0, 1, {"B"}}, {71, 0, 2, {"B", "D"}}, {73, 2, 2, {"C", "A"}}, {74, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 73 -> {{71, 0, 1, {"B"}}, {72, 0, 2, {"C", "A"}}, {74, 2, 2, {"A", "C"}}, {85, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 74 -> {{72, 0, 1, {"A"}}, {73, 0, 2, {"A", "C"}}, {75, 2, 2, {"B", "D"}}, {76, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 75 -> {{69, 0, 1, {"B"}}, {74, 0, 2, {"B", "D"}}, {76, 2, 2, {"C", "A"}}, {77, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 76 -> {{74, 0, 1, {"B"}}, {75, 0, 2, {"C", "A"}}, {77, 2, 2, {"A", "C"}}, {84, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 77 -> {{75, 0, 1, {"A"}}, {76, 0, 2, {"A", "C"}}, {78, 2, 2, {"B", "D"}}, {79, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 78 -> {{68, 0, 1, {"B"}}, {77, 0, 2, {"B", "D"}}, {79, 2, 2, {"C", "A"}}, {80, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 79 -> {{77, 0, 1, {"B"}}, {78, 0, 2, {"C", "A"}}, {80, 2, 2, {"A", "C"}}, {83, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 80 -> {{78, 0, 1, {"A"}}, {79, 0, 2, {"A", "C"}}, {81, 2, 2, {"B", "D"}}, {82, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 81 -> {{0, 0, 1, {"A"}}, {80, 0, 2, {"B", "D"}}, {82, 2, 2, {"D", "A"}}, {103, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 82 -> {{80, 0, 1, {"B"}}, {81, 0, 2, {"D", "A"}}, {83, 2, 2, {"D", "A"}}, {100, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 83 -> {{79, 0, 1, {"B"}}, {82, 0, 2, {"D", "A"}}, {84, 2, 2, {"D", "A"}}, {97, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 84 -> {{76, 0, 1, {"B"}}, {83, 0, 2, {"D", "A"}}, {85, 2, 2, {"D", "A"}}, {94, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 85 -> {{73, 0, 1, {"B"}}, {84, 0, 2, {"D", "A"}}, {86, 2, 2, {"D", "A"}}, {91, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 86 -> {{64, 0, 1, {"A"}}, {85, 0, 2, {"D", "A"}}, {87, 2, 2, {"C", "B"}}, {88, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 87 -> {{63, 0, 1, {"B"}}, {86, 0, 2, {"C", "B"}}, {88, 2, 2, {"B", "D"}}, {89, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 88 -> {{86, 0, 1, {"B"}}, {87, 0, 2, {"B", "D"}}, {89, 2, 2, {"C", "A"}}, {90, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 89 -> {{87, 0, 1, {"B"}}, {88, 0, 2, {"C", "A"}}, {90, 2, 2, {"A", "C"}}, {113, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 90 -> {{88, 0, 1, {"A"}}, {89, 0, 2, {"A", "C"}}, {91, 2, 2, {"B", "D"}}, {92, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 91 -> {{85, 0, 1, {"B"}}, {90, 0, 2, {"B", "D"}}, {92, 2, 2, {"C", "A"}}, {93, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 92 -> {{90, 0, 1, {"B"}}, {91, 0, 2, {"C", "A"}}, {93, 2, 2, {"A", "C"}}, {112, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 93 -> {{91, 0, 1, {"A"}}, {92, 0, 2, {"A", "C"}}, {94, 2, 2, {"B", "D"}}, {95, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 94 -> {{84, 0, 1, {"B"}}, {93, 0, 2, {"B", "D"}}, {95, 2, 2, {"C", "A"}}, {96, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 95 -> {{93, 0, 1, {"B"}}, {94, 0, 2, {"C", "A"}}, {96, 2, 2, {"A", "C"}}, {111, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 96 -> {{94, 0, 1, {"A"}}, {95, 0, 2, {"A", "C"}}, {97, 2, 2, {"B", "D"}}, {98, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 97 -> {{83, 0, 1, {"B"}}, {96, 0, 2, {"B", "D"}}, {98, 2, 2, {"C", "A"}}, {99, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 98 -> {{96, 0, 1, {"B"}}, {97, 0, 2, {"C", "A"}}, {99, 2, 2, {"A", "C"}}, {110, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 99 -> {{97, 0, 1, {"A"}}, {98, 0, 2, {"A", "C"}}, {100, 2, 2, {"B", "D"}}, {101, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 100 -> {{82, 0, 1, {"B"}}, {99, 0, 2, {"B", "D"}}, {101, 2, 2, {"C", "A"}}, {102, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 101 -> {{99, 0, 1, {"B"}}, {100, 0, 2, {"C", "A"}}, {102, 2, 2, {"A", "C"}}, {109, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 102 -> {{100, 0, 1, {"A"}}, {101, 0, 2, {"A", "C"}}, {103, 2, 2, {"B", "D"}}, {104, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 103 -> {{81, 0, 1, {"B"}}, {102, 0, 2, {"B", "D"}}, {104, 2, 2, {"C", "A"}}, {105, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 104 -> {{102, 0, 1, {"B"}}, {103, 0, 2, {"C", "A"}}, {105, 2, 2, {"A", "C"}}, {108, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 105 -> {{103, 0, 1, {"A"}}, {104, 0, 2, {"A", "C"}}, {106, 2, 2, {"B", "D"}}, {107, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 106 -> {{0, 0, 1, {"A"}}, {105, 0, 2, {"B", "D"}}, {107, 2, 2, {"D", "A"}}, {Infinity, 1, 1, {"B"}}}, 107 -> {{105, 0, 1, {"B"}}, {106, 0, 2, {"D", "A"}}, {108, 2, 2, {"D", "A"}}, {Infinity, 1, 1, {"B"}}}, 108 -> {{104, 0, 1, {"B"}}, {107, 0, 2, {"D", "A"}}, {109, 2, 2, {"D", "A"}}, {Infinity, 1, 1, {"B"}}}, 109 -> {{101, 0, 1, {"B"}}, {108, 0, 2, {"D", "A"}}, {110, 2, 2, {"D", "A"}}, {Infinity, 1, 1, {"B"}}}, 110 -> {{98, 0, 1, {"B"}}, {109, 0, 2, {"D", "A"}}, {111, 2, 2, {"D", "A"}}, {128, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 111 -> {{95, 0, 1, {"B"}}, {110, 0, 2, {"D", "A"}}, {112, 2, 2, {"D", "A"}}, {125, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 112 -> {{92, 0, 1, {"B"}}, {111, 0, 2, {"D", "A"}}, {113, 2, 2, {"D", "A"}}, {122, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 113 -> {{89, 0, 1, {"B"}}, {112, 0, 2, {"D", "A"}}, {114, 2, 2, {"D", "A"}}, {119, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 114 -> {{62, 0, 1, {"A"}}, {113, 0, 2, {"D", "A"}}, {115, 2, 2, {"C", "B"}}, {116, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 115 -> {{61, 0, 1, {"B"}}, {114, 0, 2, {"C", "B"}}, {116, 2, 2, {"B", "D"}}, {117, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 116 -> {{114, 0, 1, {"B"}}, {115, 0, 2, {"B", "D"}}, {117, 2, 2, {"C", "A"}}, {118, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 117 -> {{115, 0, 1, {"B"}}, {116, 0, 2, {"C", "A"}}, {118, 2, 2, {"A", "C"}}, {153, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 118 -> {{116, 0, 1, {"A"}}, {117, 0, 2, {"A", "C"}}, {119, 2, 2, {"B", "D"}}, {120, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 119 -> {{113, 0, 1, {"B"}}, {118, 0, 2, {"B", "D"}}, {120, 2, 2, {"C", "A"}}, {121, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 120 -> {{118, 0, 1, {"B"}}, {119, 0, 2, {"C", "A"}}, {121, 2, 2, {"A", "C"}}, {152, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 121 -> {{119, 0, 1, {"A"}}, {120, 0, 2, {"A", "C"}}, {122, 2, 2, {"B", "D"}}, {123, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 122 -> {{112, 0, 1, {"B"}}, {121, 0, 2, {"B", "D"}}, {123, 2, 2, {"C", "A"}}, {124, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 123 -> {{121, 0, 1, {"B"}}, {122, 0, 2, {"C", "A"}}, {124, 2, 2, {"A", "C"}}, {151, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 124 -> {{122, 0, 1, {"A"}}, {123, 0, 2, {"A", "C"}}, {125, 2, 2, {"B", "D"}}, {126, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 125 -> {{111, 0, 1, {"B"}}, {124, 0, 2, {"B", "D"}}, {126, 2, 2, {"C", "A"}}, {127, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 126 -> {{124, 0, 1, {"B"}}, {125, 0, 2, {"C", "A"}}, {127, 2, 2, {"A", "C"}}, {150, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 127 -> {{125, 0, 1, {"A"}}, {126, 0, 2, {"A", "C"}}, {128, 2, 2, {"B", "D"}}, {129, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 128 -> {{110, 0, 1, {"B"}}, {127, 0, 2, {"B", "D"}}, {129, 2, 2, {"C", "A"}}, {Infinity, 1, 1, {"A"}}}, 129 -> {{127, 0, 1, {"B"}}, {128, 0, 2, {"C", "A"}}, {Infinity, 3, 3, {"A", "C", "B"}}}, 150 -> {{126, 0, 1, {"B"}}, {151, 2, 2, {"D", "A"}}, {168, 1, 1, {"B"}}, {Infinity, 0, 2, {"D", "A"}}}, 151 -> {{123, 0, 1, {"B"}}, {150, 0, 2, {"D", "A"}}, {152, 2, 2, {"D", "A"}}, {165, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 152 -> {{120, 0, 1, {"B"}}, {151, 0, 2, {"D", "A"}}, {153, 2, 2, {"D", "A"}}, {162, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 153 -> {{117, 0, 1, {"B"}}, {152, 0, 2, {"D", "A"}}, {154, 2, 2, {"D", "A"}}, {159, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 154 -> {{60, 0, 1, {"A"}}, {153, 0, 2, {"D", "A"}}, {155, 2, 2, {"C", "B"}}, {156, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 155 -> {{59, 0, 1, {"B"}}, {154, 0, 2, {"C", "B"}}, {156, 2, 2, {"B", "D"}}, {157, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 156 -> {{154, 0, 1, {"B"}}, {155, 0, 2, {"B", "D"}}, {157, 2, 2, {"C", "A"}}, {158, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 157 -> {{155, 0, 1, {"B"}}, {156, 0, 2, {"C", "A"}}, {158, 2, 2, {"A", "C"}}, {205, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 158 -> {{156, 0, 1, {"A"}}, {157, 0, 2, {"A", "C"}}, {159, 2, 2, {"B", "D"}}, {160, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 159 -> {{153, 0, 1, {"B"}}, {158, 0, 2, {"B", "D"}}, {160, 2, 2, {"C", "A"}}, {161, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 160 -> {{158, 0, 1, {"B"}}, {159, 0, 2, {"C", "A"}}, {161, 2, 2, {"A", "C"}}, {204, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 161 -> {{159, 0, 1, {"A"}}, {160, 0, 2, {"A", "C"}}, {162, 2, 2, {"B", "D"}}, {163, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 162 -> {{152, 0, 1, {"B"}}, {161, 0, 2, {"B", "D"}}, {163, 2, 2, {"C", "A"}}, {164, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 163 -> {{161, 0, 1, {"B"}}, {162, 0, 2, {"C", "A"}}, {164, 2, 2, {"A", "C"}}, {203, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 164 -> {{162, 0, 1, {"A"}}, {163, 0, 2, {"A", "C"}}, {165, 2, 2, {"B", "D"}}, {166, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 165 -> {{151, 0, 1, {"B"}}, {164, 0, 2, {"B", "D"}}, {166, 2, 2, {"C", "A"}}, {167, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 166 -> {{164, 0, 1, {"B"}}, {165, 0, 2, {"C", "A"}}, {167, 2, 2, {"A", "C"}}, {202, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 167 -> {{165, 0, 1, {"A"}}, {166, 0, 2, {"A", "C"}}, {168, 2, 2, {"B", "D"}}, {169, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 168 -> {{150, 0, 1, {"B"}}, {167, 0, 2, {"B", "D"}}, {169, 2, 2, {"C", "A"}}, {170, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 169 -> {{167, 0, 1, {"B"}}, {168, 0, 2, {"C", "A"}}, {170, 2, 2, {"A", "C"}}, {201, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 170 -> {{168, 0, 1, {"A"}}, {169, 0, 2, {"A", "C"}}, {171, 2, 2, {"B", "D"}}, {172, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 171 -> {{170, 0, 2, {"B", "D"}}, {172, 2, 2, {"C", "A"}}, {Infinity, 1, 2, {"A", "B"}}}, 172 -> {{170, 0, 1, {"B"}}, {171, 0, 2, {"C", "A"}}, {Infinity, 3, 3, {"A", "C", "B"}}}, 201 -> {{169, 0, 1, {"B"}}, {202, 2, 2, {"D", "A"}}, {223, 1, 1, {"B"}}, {Infinity, 0, 2, {"D", "A"}}}, 202 -> {{166, 0, 1, {"B"}}, {201, 0, 2, {"D", "A"}}, {203, 2, 2, {"D", "A"}}, {220, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 203 -> {{163, 0, 1, {"B"}}, {202, 0, 2, {"D", "A"}}, {204, 2, 2, {"D", "A"}}, {217, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 204 -> {{160, 0, 1, {"B"}}, {203, 0, 2, {"D", "A"}}, {205, 2, 2, {"D", "A"}}, {214, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 205 -> {{157, 0, 1, {"B"}}, {204, 0, 2, {"D", "A"}}, {206, 2, 2, {"D", "A"}}, {211, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 206 -> {{58, 0, 1, {"A"}}, {205, 0, 2, {"D", "A"}}, {207, 2, 2, {"C", "B"}}, {208, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 207 -> {{57, 0, 1, {"B"}}, {206, 0, 2, {"C", "B"}}, {208, 2, 2, {"B", "D"}}, {209, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 208 -> {{206, 0, 1, {"B"}}, {207, 0, 2, {"B", "D"}}, {209, 2, 2, {"C", "A"}}, {210, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 209 -> {{207, 0, 1, {"B"}}, {208, 0, 2, {"C", "A"}}, {210, 2, 2, {"A", "C"}}, {269, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 210 -> {{208, 0, 1, {"A"}}, {209, 0, 2, {"A", "C"}}, {211, 2, 2, {"B", "D"}}, {212, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 211 -> {{205, 0, 1, {"B"}}, {210, 0, 2, {"B", "D"}}, {212, 2, 2, {"C", "A"}}, {213, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 212 -> {{210, 0, 1, {"B"}}, {211, 0, 2, {"C", "A"}}, {213, 2, 2, {"A", "C"}}, {268, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 213 -> {{211, 0, 1, {"A"}}, {212, 0, 2, {"A", "C"}}, {214, 2, 2, {"B", "D"}}, {215, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 214 -> {{204, 0, 1, {"B"}}, {213, 0, 2, {"B", "D"}}, {215, 2, 2, {"C", "A"}}, {216, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 215 -> {{213, 0, 1, {"B"}}, {214, 0, 2, {"C", "A"}}, {216, 2, 2, {"A", "C"}}, {267, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 216 -> {{214, 0, 1, {"A"}}, {215, 0, 2, {"A", "C"}}, {217, 2, 2, {"B", "D"}}, {218, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 217 -> {{203, 0, 1, {"B"}}, {216, 0, 2, {"B", "D"}}, {218, 2, 2, {"C", "A"}}, {219, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 218 -> {{216, 0, 1, {"B"}}, {217, 0, 2, {"C", "A"}}, {219, 2, 2, {"A", "C"}}, {266, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 219 -> {{217, 0, 1, {"A"}}, {218, 0, 2, {"A", "C"}}, {220, 2, 2, {"B", "D"}}, {221, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 220 -> {{202, 0, 1, {"B"}}, {219, 0, 2, {"B", "D"}}, {221, 2, 2, {"C", "A"}}, {222, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 221 -> {{219, 0, 1, {"B"}}, {220, 0, 2, {"C", "A"}}, {222, 2, 2, {"A", "C"}}, {265, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 222 -> {{220, 0, 1, {"A"}}, {221, 0, 2, {"A", "C"}}, {223, 2, 2, {"B", "D"}}, {224, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 223 -> {{201, 0, 1, {"B"}}, {222, 0, 2, {"B", "D"}}, {224, 2, 2, {"C", "A"}}, {Infinity, 1, 1, {"A"}}}, 224 -> {{222, 0, 1, {"B"}}, {223, 0, 2, {"C", "A"}}, {Infinity, 3, 3, {"A", "C", "B"}}}, 265 -> {{221, 0, 1, {"B"}}, {266, 2, 2, {"D", "A"}}, {277, 1, 1, {"B"}}, {Infinity, 0, 2, {"D", "A"}}}, 266 -> {{218, 0, 1, {"B"}}, {265, 0, 2, {"D", "A"}}, {267, 2, 2, {"D", "A"}}, {276, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 267 -> {{215, 0, 1, {"B"}}, {266, 0, 2, {"D", "A"}}, {268, 2, 2, {"D", "A"}}, {275, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 268 -> {{212, 0, 1, {"B"}}, {267, 0, 2, {"D", "A"}}, {269, 2, 2, {"D", "A"}}, {274, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 269 -> {{209, 0, 1, {"B"}}, {268, 0, 2, {"D", "A"}}, {270, 2, 2, {"D", "A"}}, {273, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 270 -> {{0, 0, 1, {"A"}}, {269, 0, 2, {"D", "A"}}, {271, 2, 2, {"C", "B"}}, {272, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 271 -> {{0, 0, 1, {"A"}}, {270, 0, 2, {"C", "B"}}, {272, 2, 2, {"A", "D"}}, {795, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 272 -> {{270, 0, 1, {"B"}}, {271, 0, 2, {"A", "D"}}, {273, 2, 2, {"A", "C"}}, {794, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 273 -> {{269, 0, 1, {"B"}}, {272, 0, 2, {"A", "C"}}, {274, 2, 2, {"A", "D"}}, {691, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 274 -> {{268, 0, 1, {"B"}}, {273, 0, 2, {"A", "D"}}, {275, 2, 2, {"A", "C"}}, {690, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 275 -> {{267, 0, 1, {"B"}}, {274, 0, 2, {"A", "C"}}, {276, 2, 2, {"A", "D"}}, {599, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 276 -> {{266, 0, 1, {"B"}}, {275, 0, 2, {"A", "D"}}, {277, 2, 2, {"A", "C"}}, {598, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 277 -> {{265, 0, 1, {"B"}}, {276, 0, 2, {"A", "C"}}, {278, 2, 2, {"A", "D"}}, {519, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 278 -> {{277, 0, 2, {"A", "D"}}, {279, 2, 2, {"A", "C"}}, {518, 1, 1, {"A"}}, {Infinity, 0, 1, {"B"}}}, 279 -> {{278, 0, 2, {"A", "C"}}, {280, 2, 2, {"A", "D"}}, {451, 1, 1, {"B"}}, {Infinity, 0, 1, {"B"}}}, 280 -> {{279, 0, 2, {"A", "D"}}, {Infinity, 3, 4, {"A", "C", "A", "B"}}}, 451 -> {{279, 0, 1, {"B"}}, {Infinity, 3, 5, {"B", "D", "B", "C", "B"}}}, 518 -> {{278, 0, 1, {"A"}}, {519, 2, 2, {"C", "B"}}, {520, 1, 1, {"B"}}, {Infinity, 0, 2, {"D", "A"}}}, 519 -> {{277, 0, 1, {"B"}}, {518, 0, 2, {"C", "B"}}, {520, 2, 2, {"B", "D"}}, {521, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 520 -> {{518, 0, 1, {"B"}}, {519, 0, 2, {"B", "D"}}, {521, 2, 2, {"C", "A"}}, {522, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 521 -> {{519, 0, 1, {"B"}}, {520, 0, 2, {"C", "A"}}, {522, 2, 2, {"A", "C"}}, {597, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 522 -> {{520, 0, 1, {"A"}}, {521, 0, 2, {"A", "C"}}, {Infinity, 3, 3, {"B", "D", "B"}}}, 597 -> {{521, 0, 1, {"B"}}, {598, 2, 2, {"D", "A"}}, {603, 1, 1, {"B"}}, {Infinity, 0, 2, {"D", "A"}}}, 598 -> {{276, 0, 1, {"A"}}, {597, 0, 2, {"D", "A"}}, {599, 2, 2, {"C", "B"}}, {600, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 599 -> {{275, 0, 1, {"B"}}, {598, 0, 2, {"C", "B"}}, {600, 2, 2, {"B", "D"}}, {601, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 600 -> {{598, 0, 1, {"B"}}, {599, 0, 2, {"B", "D"}}, {601, 2, 2, {"C", "A"}}, {602, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 601 -> {{599, 0, 1, {"B"}}, {600, 0, 2, {"C", "A"}}, {602, 2, 2, {"A", "C"}}, {689, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 602 -> {{600, 0, 1, {"A"}}, {601, 0, 2, {"A", "C"}}, {603, 2, 2, {"B", "D"}}, {604, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 603 -> {{597, 0, 1, {"B"}}, {602, 0, 2, {"B", "D"}}, {604, 2, 2, {"C", "A"}}, {605, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 604 -> {{602, 0, 1, {"B"}}, {603, 0, 2, {"C", "A"}}, {605, 2, 2, {"A", "C"}}, {688, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 605 -> {{603, 0, 1, {"A"}}, {604, 0, 2, {"A", "C"}}, {Infinity, 3, 3, {"B", "D", "B"}}}, 688 -> {{604, 0, 1, {"B"}}, {689, 2, 2, {"D", "A"}}, {698, 1, 1, {"B"}}, {Infinity, 0, 2, {"D", "A"}}}, 689 -> {{601, 0, 1, {"B"}}, {688, 0, 2, {"D", "A"}}, {690, 2, 2, {"D", "A"}}, {695, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 690 -> {{274, 0, 1, {"A"}}, {689, 0, 2, {"D", "A"}}, {691, 2, 2, {"C", "B"}}, {692, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 691 -> {{273, 0, 1, {"B"}}, {690, 0, 2, {"C", "B"}}, {692, 2, 2, {"B", "D"}}, {693, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 692 -> {{690, 0, 1, {"B"}}, {691, 0, 2, {"B", "D"}}, {693, 2, 2, {"C", "A"}}, {694, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 693 -> {{691, 0, 1, {"B"}}, {692, 0, 2, {"C", "A"}}, {694, 2, 2, {"A", "C"}}, {793, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 694 -> {{692, 0, 1, {"A"}}, {693, 0, 2, {"A", "C"}}, {695, 2, 2, {"B", "D"}}, {696, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 695 -> {{689, 0, 1, {"B"}}, {694, 0, 2, {"B", "D"}}, {696, 2, 2, {"C", "A"}}, {697, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 696 -> {{694, 0, 1, {"B"}}, {695, 0, 2, {"C", "A"}}, {697, 2, 2, {"A", "C"}}, {792, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 697 -> {{695, 0, 1, {"A"}}, {696, 0, 2, {"A", "C"}}, {698, 2, 2, {"B", "D"}}, {699, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 698 -> {{688, 0, 1, {"B"}}, {697, 0, 2, {"B", "D"}}, {699, 2, 2, {"C", "A"}}, {700, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 699 -> {{697, 0, 1, {"B"}}, {698, 0, 2, {"C", "A"}}, {700, 2, 2, {"A", "C"}}, {791, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 700 -> {{698, 0, 1, {"A"}}, {699, 0, 2, {"A", "C"}}, {Infinity, 3, 3, {"B", "D", "B"}}}, 791 -> {{699, 0, 1, {"B"}}, {792, 2, 2, {"D", "A"}}, {Infinity, 1, 3, {"B", "D", "A"}}}, 792 -> {{696, 0, 1, {"B"}}, {791, 0, 2, {"D", "A"}}, {793, 2, 2, {"D", "A"}}, {802, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 793 -> {{693, 0, 1, {"B"}}, {792, 0, 2, {"D", "A"}}, {794, 2, 2, {"D", "A"}}, {799, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 794 -> {{272, 0, 1, {"A"}}, {793, 0, 2, {"D", "A"}}, {795, 2, 2, {"C", "B"}}, {796, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 795 -> {{271, 0, 1, {"B"}}, {794, 0, 2, {"C", "B"}}, {796, 2, 2, {"B", "D"}}, {797, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 796 -> {{794, 0, 1, {"B"}}, {795, 0, 2, {"B", "D"}}, {797, 2, 2, {"C", "A"}}, {798, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 797 -> {{795, 0, 1, {"B"}}, {796, 0, 2, {"C", "A"}}, {798, 2, 2, {"A", "C"}}, {909, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 798 -> {{796, 0, 1, {"A"}}, {797, 0, 2, {"A", "C"}}, {799, 2, 2, {"B", "D"}}, {800, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 799 -> {{793, 0, 1, {"B"}}, {798, 0, 2, {"B", "D"}}, {800, 2, 2, {"C", "A"}}, {801, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 800 -> {{798, 0, 1, {"B"}}, {799, 0, 2, {"C", "A"}}, {801, 2, 2, {"A", "C"}}, {908, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 801 -> {{799, 0, 1, {"A"}}, {800, 0, 2, {"A", "C"}}, {802, 2, 2, {"B", "D"}}, {803, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 802 -> {{792, 0, 1, {"B"}}, {801, 0, 2, {"B", "D"}}, {803, 2, 2, {"C", "A"}}, {804, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 803 -> {{801, 0, 1, {"B"}}, {802, 0, 2, {"C", "A"}}, {804, 2, 2, {"A", "C"}}, {907, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 804 -> {{802, 0, 1, {"A"}}, {803, 0, 2, {"A", "C"}}, {Infinity, 3, 3, {"B", "D", "B"}}}, 907 -> {{803, 0, 1, {"B"}}, {908, 2, 2, {"D", "A"}}, {915, 1, 1, {"B"}}, {Infinity, 0, 2, {"D", "A"}}}, 908 -> {{800, 0, 1, {"B"}}, {907, 0, 2, {"D", "A"}}, {909, 2, 2, {"D", "A"}}, {914, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 909 -> {{797, 0, 1, {"B"}}, {908, 0, 2, {"D", "A"}}, {910, 2, 2, {"D", "A"}}, {913, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 910 -> {{0, 0, 1, {"A"}}, {909, 0, 2, {"D", "A"}}, {911, 2, 2, {"C", "B"}}, {912, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 911 -> {{0, 0, 1, {"A"}}, {910, 0, 2, {"C", "B"}}, {912, 2, 2, {"A", "D"}}, {2447, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 912 -> {{910, 0, 1, {"B"}}, {911, 0, 2, {"A", "D"}}, {913, 2, 2, {"A", "C"}}, {2446, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 913 -> {{909, 0, 1, {"B"}}, {912, 0, 2, {"A", "C"}}, {914, 2, 2, {"A", "D"}}, {2263, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 914 -> {{908, 0, 1, {"B"}}, {913, 0, 2, {"A", "D"}}, {915, 2, 2, {"A", "C"}}, {2262, 1, 1, {"A"}}, {Infinity, 0, 0, {}}}, 915 -> {{907, 0, 1, {"B"}}, {914, 0, 2, {"A", "C"}}, {Infinity, 3, 3, {"A", "D", "B"}}}, 2262 -> {{914, 0, 1, {"A"}}, {2263, 2, 2, {"C", "B"}}, {2264, 1, 1, {"B"}}, {Infinity, 0, 2, {"D", "A"}}}, 2263 -> {{913, 0, 1, {"B"}}, {2262, 0, 2, {"C", "B"}}, {2264, 2, 2, {"B", "D"}}, {2265, 1, 1, {"B"}}, {Infinity, 0, 0, {}}}, 2264 -> {{2262, 0, 1, {"B"}}, {2263, 0, 2, {"B", "D"}}, {2265, 2, 2, {"C", "A"}}, {Infinity, 1, 1, {"A"}}}, 2265 -> {{2263, 0, 1, {"B"}}, {2264, 0, 2, {"C", "A"}}, {Infinity, 3, 3, {"A", "C", "B"}}}, 2446 -> {{912, 0, 1, {"A"}}, {2447, 2, 2, {"C", "B"}}, {Infinity, 1, 3, {"B", "D", "A"}}}, 2447 -> {{911, 0, 1, {"B"}}, {2446, 0, 2, {"C", "B"}}, {Infinity, 3, 3, {"B", "B", "D"}}}}, {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 451, 518, 519, 520, 521, 522, 597, 598, 599, 600, 601, 602, 603, 604, 605, 688, 689, 690, 691, 692, 693, 694, 695, 696, 697, 698, 699, 700, 791, 792, 793, 794, 795, 796, 797, 798, 799, 800, 801, 802, 803, 804, 907, 908, 909, 910, 911, 912, 913, 914, 915, 2262, 2263, 2264, 2265, 2446, 2447}, {{1, 0}, {2, 1}, {1, 1}, {1, 2}, {1, 3}, {2, 3}, {2, 2}, {3, 2}, {5, 3}, {6, 4}, {5, 4}, {4, 3}, {3, 3}, {4, 4}, {3, 4}, {4, 5}, {5, 5}, {4, 6}, {5, 6}, {6, 5}, {6, 6}, {7, 6}, {8, 7}, {7, 7}, {6, 7}, {5, 7}, {3, 5}, {2, 4}, {1, 4}, {2, 5}, {1, 5}, {2, 6}, {3, 6}, {3, 7}, {4, 7}, {7, 8}, {6, 8}, {8, 9}, {8, 8}, {9, 9}, {10, 9}, {9, 8}, {11, 9}, {12, 9}, {10, 8}, {13, 9}, {14, 9}, {11, 10}, {10, 10}, {9, 10}, {8, 10}, {7, 10}, {7, 9}, {5, 8}, {1, 6}, {1, 7}, {1, 8}, {2, 8}, {2, 7}, {4, 8}, {6, 9}, {6, 10}, {9, 11}, {10, 11}, {11, 11}, {12, 11}, {13, 12}, {17, 13}, {16, 13}, {12, 12}, {11, 12}, {15, 13}, {14, 13}, {16, 14}, {17, 14}, {15, 15}, {16, 15}, {18, 14}, {17, 15}, {18, 15}, {21, 16}, {20, 16}, {19, 16}, {18, 16}, {15, 14}, {10, 12}, {9, 12}, {13, 13}, {12, 13}, {14, 14}, {14, 15}, {13, 15}, {17, 16}, {18, 17}, {17, 17}, {23, 18}, {19, 17}, {24, 18}, {25, 18}, {20, 17}, {26, 18}, {27, 18}, {21, 17}, {28, 18}, {29, 18}, {27, 19}, {26, 19}, {25, 19}, {24, 19}, {23, 19}, {22, 18}, {16, 16}, {13, 14}, {8, 11}, {5, 10}, {7, 11}, {6, 11}, {8, 12}, {11, 13}, {10, 13}, {12, 14}, {12, 15}, {11, 15}, {15, 16}, {16, 17}, {15, 17}, {21, 18}, {22, 19}, {21, 19}, {20, 18}, {14, 16}, {11, 14}, {7, 12}, {5, 9}, {3, 8}, {4, 9}, {3, 9}, {4, 10}, {5, 11}, {4, 11}, {6, 12}, {9, 13}, {8, 13}, {10, 14}, {10, 15}, {9, 15}, {13, 16}, {14, 17}, {13, 17}, {19, 18}, {20, 19}, {19, 19}, {18, 18}, {12, 16}, {9, 14}, {5, 12}, {3, 10}, {2, 9}, {1, 9}, {2, 10}, {1, 10}, {2, 11}, {3, 11}, {3, 12}, {4, 12}, {7, 13}, {6, 13}, {8, 14}, {8, 15}, {7, 15}, {11, 16}, {12, 17}, {11, 17}, {17, 18}, {18, 19}, {17, 19}, {16, 18}, {10, 16}, {7, 14}, {5, 13}, {1, 11}, {1, 12}, {1, 13}, {2, 13}, {2, 12}, {4, 13}, {6, 14}, {6, 15}, {9, 16}, {10, 17}, {15, 18}, {16, 19}, {15, 19}, {14, 18}, {9, 17}, {13, 18}, {12, 18}, {14, 19}, {13, 19}, {8, 16}, {5, 15}, {7, 16}, {6, 16}, {8, 17}, {11, 18}, {10, 18}, {12, 19}, {11, 19}, {7, 17}, {5, 14}, {3, 13}, {4, 14}, {3, 14}, {4, 15}, {5, 16}, {4, 16}, {6, 17}, {9, 18}, {8, 18}, {10, 19}, {9, 19}, {5, 17}, {3, 15}, {2, 14}, {1, 14}, {2, 15}, {1, 15}, {2, 16}, {3, 16}, {3, 17}, {4, 17}, {7, 18}, {6, 18}, {8, 19}, {7, 19}, {5, 18}, {1, 16}, {1, 17}, {1, 18}, {2, 18}, {2, 17}, {4, 18}, {6, 19}, {5, 19}, {3, 18}, {4, 19}, {3, 19}, {2, 19}, {1, 19}}, {{1}, {3, 2}, {4, 7, 8}, {5, 6, 13, 12, 9}, {29, 28, 15, 14, 11, 10}, {31, 30, 27, 16, 17, 20}, {55, 32, 33, 18, 19, 21, 22}, {56, 59, 34, 35, 26, 25, 24, 23}, {57, 58, 155, 60, 54, 37, 36, 39, 42, 45}, {207, 206, 157, 156, 154, 61, 53, 38, 40, 41, 43, 44, 46, 47}, {209, 208, 205, 158, 115, 62, 52, 51, 50, 49, 48}, {269, 210, 211, 160, 159, 117, 116, 114, 63, 64, 65, 66}, {270, 273, 212, 213, 204, 161, 153, 118, 87, 86, 71, 70, 67}, {271, 272, 691, 274, 268, 215, 214, 163, 162, 120, 119, 89, 88, 73, 72, 69, 68}, {795, 794, 693, 692, 690, 275, 267, 216, 203, 164, 152, 121, 113, 90, 85, 74, 75, 78}, {797, 796, 793, 694, 599, 276, 218, 217, 166, 165, 123, 122, 92, 91, 76, 77, 79, 80}, {909, 798, 799, 696, 695, 601, 600, 598, 277, 266, 219, 202, 167, 151, 124, 112, 93, 84, 83, 82, 81}, {910, 913, 800, 801, 792, 697, 689, 602, 519, 278, 221, 220, 169, 168, 126, 125, 95, 94, 97, 100, 103}, {911, 912, 2263, 914, 908, 803, 802, 699, 698, 604, 603, 521, 520, 518, 279, 265, 222, 201, 170, 150, 127, 111, 96, 98, 99, 101, 102, 104, 105}, {2447, 2446, 2265, 2264, 2262, 915, 907, 804, 791, 700, 688, 605, 597, 522, 451, 280, 224, 223, 172, 171, 129, 128, 110, 109, 108, 107, 106}, {130, 131, 134, 137, 140, 149, 173, 200, 225, 264, 281, 450, 452, 453, 523, 524, 606, 607, 701, 702, 805, 806, 916, 2091, 2266, 2445, 2448}, {132, 133, 135, 136, 138, 139, 141, 142, 174, 175, 226, 227, 282, 395, 454, 517, 525, 596, 608, 687, 703, 790, 807, 906, 917, 2090, 2092, 2093, 2267, 2268}, {143, 144, 145, 146, 147, 148, 176, 199, 228, 263, 283, 394, 396, 397, 455, 456, 526, 527, 609, 610, 704, 705, 808, 809, 918, 1931, 2094, 2261, 2269, 2444}, {177, 178, 180, 183, 186, 189, 229, 230, 284, 351, 398, 449, 457, 516, 528, 595, 611, 686, 706, 789, 810, 905, 919, 1930, 1932, 1933, 2095, 2096, 2270, 2271}, {179, 181, 182, 184, 185, 187, 188, 190, 191, 198, 231, 262, 285, 350, 352, 353, 399, 400, 458, 459, 529, 530, 612, 613, 707, 708, 811, 812, 920, 1783, 1934, 2089, 2097, 2260, 2272, 2443}, {192, 193, 194, 195, 196, 197, 232, 233, 286, 319, 354, 393, 401, 448, 460, 515, 531, 594, 614, 685, 709, 788, 813, 904, 921, 1782, 1784, 1785, 1935, 1936, 2098, 2099, 2273, 2274}, {234, 235, 238, 241, 244, 247, 250, 261, 287, 318, 320, 321, 355, 356, 402, 403, 461, 462, 532, 533, 615, 616, 710, 711, 814, 815, 922, 1647, 1786, 1929, 1937, 2088, 2100, 2259, 2275, 2442}, {236, 237, 239, 240, 242, 243, 245, 246, 248, 249, 251, 252, 288, 299, 322, 349, 357, 392, 404, 447, 463, 514, 534, 593, 617, 684, 712, 787, 816, 903, 923, 1646, 1648, 1649, 1787, 1788, 1938, 1939, 2101, 2102, 2276, 2277}, {253, 254, 255, 256, 257, 258, 259, 260, 289, 298, 300, 301, 323, 324, 358, 359, 405, 406, 464, 465, 535, 536, 618, 619, 713, 714, 817, 818, 924, 1523, 1650, 1781, 1789, 1928, 1940, 2087, 2103, 2258, 2278, 2441}, {290, 291, 302, 317, 325, 348, 360, 391, 407, 446, 466, 513, 537, 592, 620, 683, 715, 786, 819, 902, 925, 1522, 1524, 1525, 1651, 1652, 1790, 1791, 1941, 1942, 2104, 2105, 2279, 2280}, {292, 293, 303, 304, 326, 327, 361, 362, 408, 409, 467, 468, 538, 539, 621, 622, 716, 717, 820, 821, 926, 1411, 1526, 1645, 1653, 1780, 1792, 1927, 1943, 2086, 2106, 2257, 2281, 2440}, {294, 297, 305, 316, 328, 347, 363, 390, 410, 445, 469, 512, 540, 591, 623, 682, 718, 785, 822, 901, 927, 1410, 1412, 1413, 1527, 1528, 1654, 1655, 1793, 1794, 1944, 1945, 2107, 2108, 2282, 2283}, {295, 296, 306, 307, 329, 330, 364, 365, 411, 412, 470, 471, 541, 542, 624, 625, 719, 720, 823, 824, 928, 1311, 1414, 1521, 1529, 1644, 1656, 1779, 1795, 1926, 1946, 2085, 2109, 2256, 2284, 2439}, {308, 309, 315, 331, 346, 366, 389, 413, 444, 472, 511, 543, 590, 626, 681, 721, 784, 825, 900, 929, 1310, 1312, 1313, 1415, 1416, 1530, 1531, 1657, 1658, 1796, 1797, 1947, 1948, 2110, 2111, 2285, 2286}, {310, 311, 332, 333, 367, 368, 414, 415, 473, 474, 544, 545, 627, 628, 722, 723, 826, 827, 930, 1223, 1314, 1409, 1417, 1520, 1532, 1643, 1659, 1778, 1798, 1925, 1949, 2084, 2112, 2255, 2287, 2438}, {312, 313, 314, 334, 345, 369, 388, 416, 443, 475, 510, 546, 589, 629, 680, 724, 783, 828, 899, 931, 1222, 1224, 1225, 1315, 1316, 1418, 1419, 1533, 1534, 1660, 1661, 1799, 1800, 1950, 1951, 2113, 2114, 2288, 2289}, {335, 336, 338, 370, 371, 417, 418, 476, 477, 547, 548, 630, 631, 725, 726, 829, 830, 932, 1147, 1226, 1309, 1317, 1408, 1420, 1519, 1535, 1642, 1662, 1777, 1801, 1924, 1952, 2083, 2115, 2254, 2290, 2437}, {337, 339, 340, 344, 372, 387, 419, 442, 478, 509, 549, 588, 632, 679, 727, 782, 831, 898, 933, 1146, 1148, 1149, 1227, 1228, 1318, 1319, 1421, 1422, 1536, 1537, 1663, 1664, 1802, 1803, 1953, 1954, 2116, 2117, 2291, 2292}, {341, 342, 343, 373, 374, 420, 421, 479, 480, 550, 551, 633, 634, 728, 729, 832, 833, 934, 1083, 1150, 1221, 1229, 1308, 1320, 1407, 1423, 1518, 1538, 1641, 1665, 1776, 1804, 1923, 1955, 2082, 2118, 2253, 2293, 2436}, {375, 376, 379, 386, 422, 441, 481, 508, 552, 587, 635, 678, 730, 781, 834, 897, 935, 1082, 1084, 1085, 1151, 1152, 1230, 1231, 1321, 1322, 1424, 1425, 1539, 1540, 1666, 1667, 1805, 1806, 1956, 1957, 2119, 2120, 2294, 2295}, {377, 378, 380, 381, 423, 424, 482, 483, 553, 554, 636, 637, 731, 732, 835, 836, 936, 1031, 1086, 1145, 1153, 1220, 1232, 1307, 1323, 1406, 1426, 1517, 1541, 1640, 1668, 1775, 1807, 1922, 1958, 2081, 2121, 2252, 2296, 2435}, {382, 383, 384, 385, 425, 440, 484, 507, 555, 586, 638, 677, 733, 780, 837, 896, 937, 1030, 1032, 1033, 1087, 1088, 1154, 1155, 1233, 1234, 1324, 1325, 1427, 1428, 1542, 1543, 1669, 1670, 1808, 1809, 1959, 1960, 2122, 2123, 2297, 2298}, {426, 427, 429, 432, 485, 486, 556, 557, 639, 640, 734, 735, 838, 839, 938, 991, 1034, 1081, 1089, 1144, 1156, 1219, 1235, 1306, 1326, 1405, 1429, 1516, 1544, 1639, 1671, 1774, 1810, 1921, 1961, 2080, 2124, 2251, 2299, 2434}, {428, 430, 431, 433, 434, 439, 487, 506, 558, 585, 641, 676, 736, 779, 840, 895, 939, 990, 992, 993, 1035, 1036, 1090, 1091, 1157, 1158, 1236, 1237, 1327, 1328, 1430, 1431, 1545, 1546, 1672, 1673, 1811, 1812, 1962, 1963, 2125, 2126, 2300, 2301}, {435, 436, 437, 438, 488, 489, 559, 560, 642, 643, 737, 738, 841, 842, 940, 963, 994, 1029, 1037, 1080, 1092, 1143, 1159, 1218, 1238, 1305, 1329, 1404, 1432, 1515, 1547, 1638, 1674, 1773, 1813, 1920, 1964, 2079, 2127, 2250, 2302, 2433}, {490, 491, 494, 497, 505, 561, 584, 644, 675, 739, 778, 843, 894, 941, 962, 964, 965, 995, 996, 1038, 1039, 1093, 1094, 1160, 1161, 1239, 1240, 1330, 1331, 1433, 1434, 1548, 1549, 1675, 1676, 1814, 1815, 1965, 1966, 2128, 2129, 2303, 2304}, {492, 493, 495, 496, 498, 499, 562, 563, 645, 646, 740, 741, 844, 845, 942, 947, 966, 989, 997, 1028, 1040, 1079, 1095, 1142, 1162, 1217, 1241, 1304, 1332, 1403, 1435, 1514, 1550, 1637, 1677, 1772, 1816, 1919, 1967, 2078, 2130, 2249, 2305, 2432}, {500, 501, 502, 503, 504, 564, 583, 647, 674, 742, 777, 846, 893, 943, 946, 948, 949, 967, 968, 998, 999, 1041, 1042, 1096, 1097, 1163, 1164, 1242, 1243, 1333, 1334, 1436, 1437, 1551, 1552, 1678, 1679, 1817, 1818, 1968, 1969, 2131, 2132, 2306, 2307}, {565, 566, 568, 571, 574, 648, 649, 743, 744, 847, 848, 944, 945, 950, 961, 969, 988, 1000, 1027, 1043, 1078, 1098, 1141, 1165, 1216, 1244, 1303, 1335, 1402, 1438, 1513, 1553, 1636, 1680, 1771, 1819, 1918, 1970, 2077, 2133, 2248, 2308, 2431}, {567, 569, 570, 572, 573, 575, 576, 582, 650, 673, 745, 776, 849, 892, 951, 952, 954, 970, 971, 1001, 1002, 1044, 1045, 1099, 1100, 1166, 1167, 1245, 1246, 1336, 1337, 1439, 1440, 1554, 1555, 1681, 1682, 1820, 1821, 1971, 1972, 2134, 2135, 2309, 2310}, {577, 578, 579, 580, 581, 651, 652, 746, 747, 850, 851, 953, 955, 956, 960, 972, 987, 1003, 1026, 1046, 1077, 1101, 1140, 1168, 1215, 1247, 1302, 1338, 1401, 1441, 1512, 1556, 1635, 1683, 1770, 1822, 1917, 1973, 2076, 2136, 2247, 2311, 2430}, {653, 654, 657, 660, 663, 672, 748, 775, 852, 891, 957, 958, 959, 973, 974, 1004, 1005, 1047, 1048, 1102, 1103, 1169, 1170, 1248, 1249, 1339, 1340, 1442, 1443, 1557, 1558, 1684, 1685, 1823, 1824, 1974, 1975, 2137, 2138, 2312, 2313}, {655, 656, 658, 659, 661, 662, 664, 665, 749, 750, 853, 854, 975, 976, 979, 986, 1006, 1025, 1049, 1076, 1104, 1139, 1171, 1214, 1250, 1301, 1341, 1400, 1444, 1511, 1559, 1634, 1686, 1769, 1825, 1916, 1976, 2075, 2139, 2246, 2314, 2429}, {666, 667, 668, 669, 670, 671, 751, 774, 855, 890, 977, 978, 980, 981, 1007, 1008, 1050, 1051, 1105, 1106, 1172, 1173, 1251, 1252, 1342, 1343, 1445, 1446, 1560, 1561, 1687, 1688, 1826, 1827, 1977, 1978, 2140, 2141, 2315, 2316}, {752, 753, 755, 758, 761, 764, 856, 857, 982, 983, 984, 985, 1009, 1024, 1052, 1075, 1107, 1138, 1174, 1213, 1253, 1300, 1344, 1399, 1447, 1510, 1562, 1633, 1689, 1768, 1828, 1915, 1979, 2074, 2142, 2245, 2317, 2428}, {754, 756, 757, 759, 760, 762, 763, 765, 766, 773, 858, 889, 1010, 1011, 1013, 1016, 1053, 1054, 1108, 1109, 1175, 1176, 1254, 1255, 1345, 1346, 1448, 1449, 1563, 1564, 1690, 1691, 1829, 1830, 1980, 1981, 2143, 2144, 2318, 2319}, {767, 768, 769, 770, 771, 772, 859, 860, 1012, 1014, 1015, 1017, 1018, 1023, 1055, 1074, 1110, 1137, 1177, 1212, 1256, 1299, 1347, 1398, 1450, 1509, 1565, 1632, 1692, 1767, 1831, 1914, 1982, 2073, 2145, 2244, 2320, 2427}, {861, 862, 865, 868, 871, 874, 877, 888, 1019, 1020, 1021, 1022, 1056, 1057, 1111, 1112, 1178, 1179, 1257, 1258, 1348, 1349, 1451, 1452, 1566, 1567, 1693, 1694, 1832, 1833, 1983, 1984, 2146, 2147, 2321, 2322}, {863, 864, 866, 867, 869, 870, 872, 873, 875, 876, 878, 879, 1058, 1059, 1062, 1065, 1073, 1113, 1136, 1180, 1211, 1259, 1298, 1350, 1397, 1453, 1508, 1568, 1631, 1695, 1766, 1834, 1913, 1985, 2072, 2148, 2243, 2323, 2426}, {880, 881, 882, 883, 884, 885, 886, 887, 1060, 1061, 1063, 1064, 1066, 1067, 1114, 1115, 1181, 1182, 1260, 1261, 1351, 1352, 1454, 1455, 1569, 1570, 1696, 1697, 1835, 1836, 1986, 1987, 2149, 2150, 2324, 2325}, {1068, 1069, 1070, 1071, 1072, 1116, 1135, 1183, 1210, 1262, 1297, 1353, 1396, 1456, 1507, 1571, 1630, 1698, 1765, 1837, 1912, 1988, 2071, 2151, 2242, 2326, 2425}, {1117, 1118, 1120, 1123, 1126, 1184, 1185, 1263, 1264, 1354, 1355, 1457, 1458, 1572, 1573, 1699, 1700, 1838, 1839, 1989, 1990, 2152, 2153, 2327, 2328}, {1119, 1121, 1122, 1124, 1125, 1127, 1128, 1134, 1186, 1209, 1265, 1296, 1356, 1395, 1459, 1506, 1574, 1629, 1701, 1764, 1840, 1911, 1991, 2070, 2154, 2241, 2329, 2424}, {1129, 1130, 1131, 1132, 1133, 1187, 1188, 1266, 1267, 1357, 1358, 1460, 1461, 1575, 1576, 1702, 1703, 1841, 1842, 1992, 1993, 2155, 2156, 2330, 2331}, {1189, 1190, 1193, 1196, 1199, 1208, 1268, 1295, 1359, 1394, 1462, 1505, 1577, 1628, 1704, 1763, 1843, 1910, 1994, 2069, 2157, 2240, 2332, 2423}, {1191, 1192, 1194, 1195, 1197, 1198, 1200, 1201, 1269, 1270, 1360, 1361, 1463, 1464, 1578, 1579, 1705, 1706, 1844, 1845, 1995, 1996, 2158, 2159, 2333, 2334}, {1202, 1203, 1204, 1205, 1206, 1207, 1271, 1294, 1362, 1393, 1465, 1504, 1580, 1627, 1707, 1762, 1846, 1909, 1997, 2068, 2160, 2239, 2335, 2422}, {1272, 1273, 1275, 1278, 1281, 1284, 1363, 1364, 1466, 1467, 1581, 1582, 1708, 1709, 1847, 1848, 1998, 1999, 2161, 2162, 2336, 2337}, {1274, 1276, 1277, 1279, 1280, 1282, 1283, 1285, 1286, 1293, 1365, 1392, 1468, 1503, 1583, 1626, 1710, 1761, 1849, 1908, 2000, 2067, 2163, 2238, 2338, 2421}, {1287, 1288, 1289, 1290, 1291, 1292, 1366, 1367, 1469, 1470, 1584, 1585, 1711, 1712, 1850, 1851, 2001, 2002, 2164, 2165, 2339, 2340}, {1368, 1369, 1372, 1375, 1378, 1381, 1391, 1471, 1502, 1586, 1625, 1713, 1760, 1852, 1907, 2003, 2066, 2166, 2237, 2341, 2420}, {1370, 1371, 1373, 1374, 1376, 1377, 1379, 1380, 1382, 1383, 1472, 1473, 1587, 1588, 1714, 1715, 1853, 1854, 2004, 2005, 2167, 2168, 2342, 2343}, {1384, 1385, 1386, 1387, 1388, 1389, 1390, 1474, 1501, 1589, 1624, 1716, 1759, 1855, 1906, 2006, 2065, 2169, 2236, 2344, 2419}, {1475, 1476, 1478, 1481, 1484, 1487, 1490, 1590, 1591, 1717, 1718, 1856, 1857, 2007, 2008, 2170, 2171, 2345, 2346}, {1477, 1479, 1480, 1482, 1483, 1485, 1486, 1488, 1489, 1491, 1492, 1500, 1592, 1623, 1719, 1758, 1858, 1905, 2009, 2064, 2172, 2235, 2347, 2418}, {1493, 1494, 1495, 1496, 1497, 1498, 1499, 1593, 1594, 1720, 1721, 1859, 1860, 2010, 2011, 2173, 2174, 2348, 2349}, {1595, 1596, 1599, 1602, 1605, 1608, 1611, 1622, 1722, 1757, 1861, 1904, 2012, 2063, 2175, 2234, 2350, 2417}, {1597, 1598, 1600, 1601, 1603, 1604, 1606, 1607, 1609, 1610, 1612, 1613, 1723, 1724, 1862, 1863, 2013, 2014, 2176, 2177, 2351, 2352}, {1614, 1615, 1616, 1617, 1618, 1619, 1620, 1621, 1725, 1756, 1864, 1903, 2015, 2062, 2178, 2233, 2353, 2416}, {1726, 1727, 1729, 1732, 1735, 1738, 1741, 1744, 1865, 1866, 2016, 2017, 2179, 2180, 2354, 2355}, {1728, 1730, 1731, 1733, 1734, 1736, 1737, 1739, 1740, 1742, 1743, 1745, 1746, 1755, 1867, 1902, 2018, 2061, 2181, 2232, 2356, 2415}, {1747, 1748, 1749, 1750, 1751, 1752, 1753, 1754, 1868, 1869, 2019, 2020, 2182, 2183, 2357, 2358}, {1870, 1871, 1874, 1877, 1880, 1883, 1886, 1889, 1901, 2021, 2060, 2184, 2231, 2359, 2414}, {1872, 1873, 1875, 1876, 1878, 1879, 1881, 1882, 1884, 1885, 1887, 1888, 1890, 1891, 2022, 2023, 2185, 2186, 2360, 2361}, {1892, 1893, 1894, 1895, 1896, 1897, 1898, 1899, 1900, 2024, 2059, 2187, 2230, 2362, 2413}, {2025, 2026, 2028, 2031, 2034, 2037, 2040, 2043, 2046, 2188, 2189, 2363, 2364}, {2027, 2029, 2030, 2032, 2033, 2035, 2036, 2038, 2039, 2041, 2042, 2044, 2045, 2047, 2048, 2058, 2190, 2229, 2365, 2412}, {2049, 2050, 2051, 2052, 2053, 2054, 2055, 2056, 2057, 2191, 2192, 2366, 2367}, {2193, 2194, 2197, 2200, 2203, 2206, 2209, 2212, 2215, 2228, 2368, 2411}, {2195, 2196, 2198, 2199, 2201, 2202, 2204, 2205, 2207, 2208, 2210, 2211, 2213, 2214, 2216, 2217, 2369, 2370}, {2218, 2219, 2220, 2221, 2222, 2223, 2224, 2225, 2226, 2227, 2371, 2410}, {2372, 2373, 2375, 2378, 2381, 2384, 2387, 2390, 2393, 2396}, {2374, 2376, 2377, 2379, 2380, 2382, 2383, 2385, 2386, 2388, 2389, 2391, 2392, 2394, 2395, 2397, 2398, 2409}, {2399, 2400, 2401, 2402, 2403, 2404, 2405, 2406, 2407, 2408}, {}}}