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