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