const b64str = 'AGFzbQEAAAABDAFgB35+fn5+fn4BfgMCAQAFAwEAEQcSAgZtZW1vcnkCAAVzb2x2ZQAACskCAcYCAQh+AkAgAiADfiABIAR+WgRAIAQhCSADIQggAiEEIAEhAwwBCyACIQkgASEICwJAIAQgBX4gAyAGfloEQCAGIQEgBSECIAQhBiADIQUMAQsgBCEBIAMhAgsgBVAEQEIADwtCACEEQgAgACAFgCIDIAIgCHx9IgcgByADVhshCkL/////PyAFgCEDAkAgBSAJfiILUA0AIAAgBSAKfn0hByABIAV+IgxQRQRAIANCAXwhDUIAIQADQCAHIQVCACEDA0ACQCAEIAAgA3wgBSANfkIiiCAGfnwiDiAEIA5WGyEEIAUgAlQNACAFIAJ9IQUgASADfCIDIAxUDQELCyAHIAhUDQIgByAIfSEHIAAgCXwiACALVA0ACwwBC0IAIQUDQCAHIAhUDQEgByAIfSEHIAUgCXwiBSALVA0ACwsgBCAGIAp+fAsAbwlwcm9kdWNlcnMCCGxhbmd1YWdlAQRSdXN0AAxwcm9jZXNzZWQtYnkDBXJ1c3RjHTEuNzEuMCAoOGVkZTNhYWUyIDIwMjMtMDctMTIpBndhbHJ1cwYwLjE5LjAMd2FzbS1iaW5kZ2VuBjAuMi44NwAsD3RhcmdldF9mZWF0dXJlcwIrD211dGFibGUtZ2xvYmFscysIc2lnbi1leHQ='; let imports = {}; // WebAssemblyインスタンス格納用 let wasm; // BASE64文字列からBinaryに変換 //const bytes = Buffer.from(b64str, 'base64'); const bytes = Uint8Array.from([...atob(b64str)].map(s=>s.charCodeAt(0))); // WebAssembly初期化 const wasmModule = new WebAssembly.Module(bytes); const wasmInstance = new WebAssembly.Instance(wasmModule, imports); wasm = wasmInstance.exports; // 入力読み込み let [n, a1, b1, a2, b2, a3, b3] = require("fs").readFileSync("/dev/stdin", "utf8").trim().split(/\s+/).map(s=>BigInt(s)); // WebAssmebly呼び出し、結果出力 console.log(wasm.solve(n,a1,b1,a2,b2,a3,b3).toString()); /* // WebAssembly Source Code (Rust): use wasm_bindgen::prelude::*; // wasm-pack build --release --target nodejs --no-typescript #[wasm_bindgen] pub fn solve( n: u64, mut a1: u64, mut b1: u64, mut a2: u64, mut b2: u64, mut a3: u64, mut b3: u64, ) -> u64 { // 最大効率の割引が 1番(a1,b1) となるように交換 if a2 * b1 < a1 * b2 { std::mem::swap(&mut a1, &mut a2); std::mem::swap(&mut b1, &mut b2); } if a3 * b1 < a1 * b3 { std::mem::swap(&mut a1, &mut a3); std::mem::swap(&mut b1, &mut b3); } // ゼロ除算例外によるpanicコード生成(wasmバイナリサイズが10000bytes以上に増える)の抑止 if a1 == 0 { return 0; } // 準定数を除数とする除算の定数倍高速化 // a1inv = ceil(2^34 / a1) = floor((2^34 - 1) / a1) + 1 // 2^32 / a1 <= a1inv < 2^32 / a1 + 1 let a1inv = ((1u64 << 34) - 1) / a1 + 1; let (a1b2, a1b3) = (a1 * b2, a1 * b3); // c1min: 1番(a1,b1) の割引の最低使用回数 // c1min = max(floor(n / a1) - (a2 + a3), 0) let c1min = (n / a1).saturating_sub(a2 + a3); // n - c1min * a1: うどん札を c1min 回使用した時の残り枚数 let (mut r, mut p, mut s) = (0, 0, n - c1min * a1); // 2番・3番の割引使用回数 c2, c3 が 0 <= c2,c3 < a1 の範囲で最大割引額を全探索 // p: 2番目を c2 回使用した場合の割引額 // s: 1番目を c1min 回、2番目を c2 回使用した場合のうどん札残り枚数 while p < a1b2 { let (mut q, mut t) = (0, s); // q: 3番目を c3 回使用した場合の割引額 // t: 1番目を c1min 回、2番目を c2 回、3番目を c3 回使用した場合のうどん札残り枚数 while q < a1b3 { // 準定数を除数とする除算の定数倍高速化 // 0 < {a1,a2,a3} <= 2000, 0 <= t < 2000*(2*2000+1) // a1 * t < 2^34 --> quot = floor(ceil(2^34 / a1) * t / 2^34) = floor(t / a1) let quot = t * a1inv >> 34; debug_assert_eq!(t / a1, quot); r.chmax(quot * b1 + p + q); t = match t.checked_sub(a3) { Some(t) => t, None => break, }; q += b3; } s = match s.checked_sub(a2) { Some(s) => s, None => break, }; p += b2; } // r: うどん札を n - c1min * a1 枚持っていた場合の最大割引額 // r + c1min * b1: うどん札を n 枚持っていた場合の最大割引額 r + c1min * b1 } trait Change { fn chmax(&mut self, x: Self); fn chmin(&mut self, x: Self); } impl Change for T { #[inline] fn chmax(&mut self, x: T) { if *self < x { *self = x; } } #[inline] fn chmin(&mut self, x: T) { if *self > x { *self = x; } } } */