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