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