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