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