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