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