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