[[Vecsmall([83, 84, 86, 31, 115, 50, 54, 38, 39, 95, 96, 58, 59, 124, 44, 100, 49, 103, 64, 104, 105, 52, 53, 108, 109, 111, 47, 48, 113, 67, 4, 51, 118, 119, 55, 56, 72, 8, 9, 60, 61, 66, 126, 15, 127, 128, 27, 28, 17, 6, 32, 22, 23, 7, 35, 36, 92, 12, 13, 40, 41, 99, 87, 19, 110, 42, 30, 88, 89, 116, 117, 37, 93, 94, 122, 106, 107, 97, 123, 112, 101, 102, 1, 2, 114, 3, 63, 68, 69, 120, 121, 57, 73, 74, 10, 11, 78, 125, 62, 16, 81, 82, 18, 20, 21, 76, 77, 24, 25, 65, 26, 80, 29, 85, 5, 70, 71, 33, 34, 90, 91, 75, 79, 14, 98, 43, 45, 46]), Vecsmall([117, 116, 92, 42, 94, 7, 6, 23, 22, 25, 24, 128, 127, 55, 17, 18, 15, 16, 62, 34, 33, 9, 8, 11, 10, 29, 41, 40, 26, 65, 66, 36, 21, 20, 124, 32, 126, 53, 52, 28, 27, 4, 72, 49, 59, 58, 61, 60, 44, 54, 56, 39, 38, 50, 14, 51, 86, 46, 45, 48, 47, 19, 98, 99, 30, 31, 110, 82, 81, 84, 83, 43, 78, 115, 79, 91, 90, 73, 75, 85, 69, 68, 71, 70, 80, 57, 125, 102, 101, 77, 76, 3, 97, 5, 109, 108, 93, 63, 64, 103, 89, 88, 100, 119, 118, 121, 120, 96, 95, 67, 113, 114, 111, 112, 74, 2, 1, 105, 104, 107, 106, 123, 122, 35, 87, 37, 13, 12]), Vecsmall([66, 49, 77, 12, 96, 53, 38, 122, 92, 32, 124, 98, 85, 118, 13, 102, 127, 88, 40, 73, 74, 3, 123, 35, 36, 61, 100, 30, 47, 81, 58, 34, 115, 78, 21, 20, 39, 75, 57, 65, 103, 128, 22, 59, 112, 87, 16, 67, 45, 23, 119, 86, 79, 8, 105, 104, 120, 125, 114, 110, 18, 28, 83, 60, 69, 46, 101, 111, 19, 15, 4, 9, 25, 24, 121, 50, 43, 10, 106, 84, 62, 113, 42, 17, 70, 107, 1, 26, 64, 72, 54, 90, 109, 108, 51, 14, 95, 71, 48, 82, 99, 29, 68, 93, 94, 6, 126, 55, 56, 89, 41, 2, 27, 116, 11, 44, 31, 5, 97, 37, 7, 91, 76, 33, 117, 52, 80, 63]), Vecsmall([72, 123, 46, 90, 48, 13, 127, 15, 63, 16, 64, 86, 7, 101, 23, 25, 8, 10, 108, 26, 67, 98, 17, 99, 18, 34, 32, 74, 20, 118, 120, 41, 110, 29, 69, 27, 71, 44, 87, 115, 36, 77, 1, 53, 50, 92, 51, 94, 38, 59, 61, 125, 49, 45, 89, 47, 12, 3, 54, 5, 56, 96, 22, 24, 105, 107, 33, 73, 124, 75, 126, 117, 82, 40, 84, 80, 4, 68, 70, 91, 35, 78, 37, 79, 76, 128, 52, 93, 14, 42, 85, 58, 102, 60, 100, 19, 88, 9, 11, 109, 55, 97, 95, 111, 30, 112, 31, 62, 103, 21, 119, 121, 104, 106, 28, 122, 43, 65, 113, 66, 114, 2, 116, 81, 39, 83, 6, 57]), Vecsmall([24, 119, 110, 74, 98, 16, 18, 47, 69, 116, 128, 118, 25, 4, 51, 122, 56, 123, 92, 45, 71, 81, 61, 12, 2, 50, 76, 39, 54, 43, 94, 80, 83, 59, 66, 85, 62, 27, 89, 52, 91, 115, 64, 32, 95, 21, 106, 9, 36, 100, 112, 101, 41, 103, 42, 114, 30, 33, 109, 22, 121, 3, 124, 57, 72, 5, 126, 8, 107, 20, 96, 99, 15, 87, 26, 88, 28, 17, 29, 93, 120, 23, 108, 34, 97, 65, 14, 38, 77, 40, 102, 67, 44, 63, 70, 46, 49, 35, 86, 75, 90, 53, 79, 127, 117, 68, 48, 58, 84, 37, 6, 73, 7, 78, 125, 104, 11, 1, 13, 60, 82, 111, 113, 31, 55, 19, 10, 105]), Vecsmall([116, 1, 54, 80, 56, 86, 57, 9, 23, 11, 25, 127, 12, 93, 98, 99, 63, 64, 100, 21, 34, 8, 22, 10, 24, 110, 28, 41, 67, 111, 112, 115, 20, 33, 78, 74, 79, 39, 53, 27, 40, 85, 122, 125, 46, 59, 48, 61, 87, 3, 5, 38, 52, 92, 97, 94, 6, 45, 58, 47, 60, 103, 15, 16, 113, 114, 26, 69, 82, 71, 84, 123, 35, 32, 37, 77, 91, 124, 126, 42, 68, 81, 70, 83, 4, 7, 44, 89, 102, 76, 90, 50, 55, 51, 96, 109, 14, 17, 18, 62, 88, 101, 19, 105, 119, 107, 121, 95, 108, 29, 65, 66, 30, 31, 36, 117, 2, 104, 118, 106, 120, 72, 43, 73, 49, 75, 128, 13])], Vecsmall([2, 2, 4, 2, 2, 2])]
