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