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