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