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