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