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