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