#nullable enable using System.Numerics; object? Solve() { var n = Int(); var d = Int(); var k = Int(); var az = n.Repeat(Int); var cz = n.Repeat(() => Math.Min(k, Int())); var min = long.MinValue / 2; var dp = new long[d + 1, k + 1]; for (var i = 0; i <= d; i++) for (var j = 0; j <= k; j++) dp[i, j] = min; dp[0, 0] = 0; for (var t = 0; t < n; t++) { var a = az[t]; var c = cz[t]; for (var i = d - 1; i >= 0; i--) { for (var j = k; j >= 0; j--) { var v = dp[i, j]; if (v == min) continue; var ni = i + 1; var nj = Math.Min(k, j + c); dp[ni, nj] = Math.Max(dp[ni, nj], v + a); } } } var ans = dp[d, k]; if (ans == min) return "No"; return ans; } #region AtCoderIO _io_; var _backend_ = new StandardIOBackend(); _io_ = new(){ Backend = _backend_ }; Out(Solve()); _backend_.Flush(); string String() => _io_.Next(); int Int() => int.Parse(String()); void Out(object? x, string? sep = null) => _io_.Out(x, sep ?? Environment.NewLine); class AtCoderIO { public required StandardIOBackend Backend { get; init; } Memory _input = Array.Empty(); int _iter = 0; public string Next() { while (_iter >= _input.Length) (_input, _iter) = (Backend.ReadLine().Trim().Split(' '), 0); return _input.Span[_iter++]; } public void Out(object? x, string separator) { if (x == null) return; if (x is System.Collections.IEnumerable a and not string) { var objects = a.Cast(); if (!objects.Any()) return; x = string.Join(separator, objects); } Backend.WriteLine(x); } } class StandardIOBackend { readonly StreamReader _sr = new(Console.OpenStandardInput()); readonly StreamWriter _sw = new(Console.OpenStandardOutput()) { AutoFlush = false }; public string ReadLine() => _sr.ReadLine()!; public void WriteLine(object? value) => _sw.WriteLine(value); public void Flush() => _sw.Flush(); } #endregion static class Extensions { public static T[] Repeat(this int time, Func F) => Enumerable.Range(0, time).Select(_ => F()).ToArray(); }