API Response (JSON)
{
"problem": {
"name": "C. Songs Compression",
"description": {
"content": "Ivan has $n$ songs on his phone. The size of the $i$\\-th song is $a_i$ bytes. Ivan also has a flash drive which can hold at most $m$ bytes in total. Initially, his flash drive is empty. Ivan wants to",
"description_type": "Markdown"
},
"platform": "Codeforces",
"limit": {
"time_limit": 1000,
"memory_limit": 262144
},
"difficulty": "None",
"is_remote": true,
"is_sync": true,
"sync_url": null,
"sign": "CF1015C"
},
"statements": [
{
"statement_type": "Markdown",
"content": "Ivan has $n$ songs on his phone. The size of the $i$\\-th song is $a_i$ bytes. Ivan also has a flash drive which can hold at most $m$ bytes in total. Initially, his flash drive is empty.\n\nIvan wants to...",
"is_translate": false,
"language": "English"
},
{
"statement_type": "Markdown",
"content": "Ivan 有 $n$ 首歌在他的手机上。第 $i$ 首歌的大小为 $a_i$ 字节。Ivan 还有一个闪存盘,最多可以容纳 $m$ 字节。最初,他的闪存盘是空的。\n\nIvan 希望将所有 $n$ 首歌复制到闪存盘中。他可以压缩这些歌曲。如果他压缩第 $i$ 首歌,该歌的大小将从 $a_i$ 字节减少到 $b_i$ 字节($b_i < a_i$)。\n\nIvan 可以压缩任意子集的歌曲(可能为空),并...",
"is_translate": true,
"language": "Chinese"
},
{
"statement_type": "Markdown",
"content": "**Definitions** \nLet $ n \\in \\mathbb{Z}^+ $ be the number of songs. \nLet $ m \\in \\mathbb{Z}^+ $ be the flash drive capacity. \nFor each song $ i \\in \\{1, \\dots, n\\} $, let: \n- $ a_i \\in \\mathbb{Z}^...",
"is_translate": false,
"language": "Formal"
}
]
}