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