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