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