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