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