{"problems":35124,"translations":10921,"formalizations":15284,"simplifications":4554,"embeddings":10799,"platforms":{"atcoder":4204,"codeforces":15885,"luogu":15035}}