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