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