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