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