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