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