benchmarks.wiki / Public workspace
.·-=*%@@@@@%#*+==----===+++++++========++*#%@@@@@@@@@@@@@@%#***++*****##**+=-:·. .:=+#%@@@%#*=-:·.
..·-==+**+++=--::::::----------::::·---==++*#%%@@@@@@%%##*+++===+++**#####*+=-·. .:-+*%%@%#+=-:·.
..···::······.....·········....··:·····::--===+++++===---:::---=+*##%%%%#*+-:. .:-+*#%#*+=-:·.
...... ...····:::······.···:-=+*#%%@@%%*+-:. .·:-=+**++=-:·.
..... ...............··:-=*#%@@@@%#+=:. .·:-=++==--:·.
..... ...·····.... ..·:-+*#%@@@@%#+=:. .·:------::·.
..··:··... ...··:::--:::··... ..·:-+*%@@@@@%#+-:. .··:::::···.
··--+==--::::::--===++++==-::·... ...·:=+#%@@@@@%*+-:. ...······...
··==##***++++++++**######*+=-:··.....·:-=*#@@@@@@%*=-·.. ..........
..... ...····++%%%###***++***##%%%%%##*+=:··.....·:-+*%@@@@@%#*=-··. ..
.··:::::··.............. ..··:--====%%##**++++=+++**#%%%%%%#*+-:·... ..·:=+#%@@@@@%#+=-:·....
.·:-=+****+=-------------::··........··:--=+++***++===---:---=++*##%%%#*+=-:·.. .·:-=*#@@@@@@#*+=-:···.....
.......·:-=+**####*++=--::::-==+*#%%@@@@@%%##******##%@@@@@@@@@@@@@%##**++++++++++=-:·. .:=*%@@@@@@#+-·..
...··:--=====--::········::---====---::-::::::::--==+**#####***++++++***###**+=-·. .:=*%@@@@@%+=:·..
....······..... ........... .. ..·::---=========++**#%%%%#*+-·. ·-+#%@@@@%*=-·..
..···:::::::--=+*#%@@@@%#+-·. .·-+#%@@@%*=-:·.
....·······:-=+*#@@@@@%#+-·. .:-+#%%%#*=-:·..
.... .............·::=+#%@@@@@%#+-· .:=+*##*+=-:·..
··--++==-::····..··········........·:=+#@@@@@@%*=:. ·:-++*+=-::·..
::**@@@@%##*++===--------::··.. ..·-=*%@@@@@@%*=:. .·:-===--:·..
::**@@@@@@@@%##******+++==-:··. .·-+#@@@@@@@#+-·. .·::--::··..
.. ...................····::::**@@@@@@@@@%%#########*++=:·.. .:-+#@@@@@@@#+-· .··::··...
..·······.......··:::------::::······:::--==++@@@@@@%%#########%%%##*+=:·. .·:=*%@@@@@@%*=:·. ...··...
·:-===+==---::---==++****++==--:···....··::--==+++++++++++++**##%%%%#*+-:·. .·-+#@@@@@@@%*=:·. .......
..········::-==+++++==--::···:::-==++******+==-::······::-=++*#%%%%%##*++=---::::::···........·:-+*#%@@%%*+=:·..
..........··:::---:::··... .....···.... .·:--=+*******++===-----:::··.. ..·:=+*%%@@%#*+-·...
........... .·:-==++++++++========--:··. .·-=*#%%@%%#+-:·..
.·:--========+++++++==-:·.. .:-=*#%%%%#*=:·..
..·.. ..·::----====++++***++=-:·. ..:-+*#%%%#*+-:·.
··--*++=-:··.. ..··::::----==++***#**+=-:.. .·:-+*#%%##+-:·.
::**@@@@@%*+=-:··.....····::::::--==+**####*+=-·. .·:=+*###*+-:·.
::**@@@@@@@@%*+=--:::··········:::-==+*#%%%##+=:·. .·:=+****+-:·.
::**@@@@@@@@@@#*++=----::::·······:-=+*#%%@%%#+=:· .·:-=+++=-:·..
.. .....············.......····:**@@@@@@@@@@%##*++===---::·······:-=+#%@@@@%#+-:. .·:-==+=-:·..
..·······......···:::-----:::··.... ...··:-*#%@@@@@@@%##***+++==--::··...··:-+*#@@@@@%#+-:. ..·:-===-:··.
.·::--==--::·······:::::::::··. ..·:-=+**#####******+++=--:··.....·:=+#%@@@@@%#+-:. .·::-=--::·..
..········::--=++++++=--:··.. ....······... .··:-=+*****+=-:·. ..·:-=++****++===-----:::::······..
..........···::::::::··.. .·:-=+*##**+=-:·. ..·:-==+++++++=====---::::··......
........... . .·:-+**###*+=-:·.. ..··:--==+++++=======--:::·.....
.··::··.. .·:-=+*####*+=-:·... ...·::---=======+++===--::·..
··-=**+=--:·.. ..·:-=+*####*+=-:··......··:::----====++++++==-:·.
::**@@@%#*+-:··.....··:-+**####*+=-:··.....····::::---===++++++==-:..
::**@@@@@@%*+-:··....·:-=+**###**+=-::············::::--==++**+++=:·.
::**@@@@@@@%#+=:··...··:-=+**##**++=--::·············:::-==++****+=:·.
··+*@@@@@@@@%*+=::·····:--=+******++=--:::::······..····:-==+*****+=:·.
...... ............ ..-=%@@@@@@@%#*+-::····::-==+*****++===----:::···......··:-==+*###*+=-:·.
..·······... .... .·=+*%%@@@%#*+=-:·····::-==++***++++=====---::··.......·:-=+*##%#*+=-:·.
..·:-----::·.. ·:-+*#%%%#*+=--:····::--==+++++++++++++===--:··.......·:-=+*#%%#*+=-:·
.··:::------==++*****++=-::·. ..··:::::::·········::-=====-:·. .:=*%@@@@@@#+-:·. ..··:-====--::·.
....·········::::----:::··.. ...····----:::·····::-==+***+=-:. ·:+#@@@@@@%*=-:·.. ...··::--:::··..
............... ....::++===--::::::--=+*####*+-:. .·-+#@@@@@%#+=-:·......·······....
.·--***++==--::::--=+*#%%%#*+-·. .:=*#@@@@@%*+=-:··.....··....
··==####*+==-:::::-=+*#%@@@%#+-·. .:=*#%@@@%#*+=-::······...
··=+%%%##*+=-:::::--+*#%@@@@%*+-· .·-=*#%%%%#*++=--:::::···.
··==%%%%#*+=--:···:-=+#%@@@@@%*=:. .·-=+*####**++===-----::·..
.·-=#%%%#**+=-:····:-=*#@@@@@@%*=:. .·-=++*****+++++++++++=-:·..
..:-*#####*+=-:·..··:-+*%@@@@@@#+-·. ..·:-==+++++++++***####*+=-:·.
........ ·:=+*##**+=-:·....·:=+#@@@@@@%#+-·. .··:---======++**#%@@@%#*+=-:.
..··:::::··.. .·-=+****+=-:·.....·-=*%@@@@@@%*=-·. ..··:::::----==+*#%@@@%#*+=-:·.
..·:--====-:··. . .·:-=+***+=-:·.. ..:-+#@@@@@@@%*=-:·.. ....········:::--=+*#%@%#*+=-:·.
.·:--==+++====+++********++=--::······::-==+**#####**++=---:::::···. .·-+#@@@@@@@#+-:. ..·:=+*###*+=-:·.
...············:::----------:::········::--==%%%%%%##**++=====--::·. .·-+%@@@@@@%#+-·. ..·:-=+++==-:··.
.....·········............·-=#%%%%%%###****+++++=-:·. .:=*%@@@@@@%*=:·. ..··:---::··..
..--*##%%%%####****###**+=-·. .:=*%@@@@@@#*=:·.. ..·····..
..::+***####*****###%%%##*=-·. ·-+#@@@@@@%#+=:··.. .......
.··==++++**++****#%%@@@%#*=-· ·-+#%@@@@@%#+=-:··..........
.·:--========++*##%@@@@@%*=:· .·-+*%@@@@%#*+=--:::·:::::···..
..::---------==+*#%@@@@@@%*=:. .·-=*#%%%%%#**+========++==-::·..
..·::::::::::--=+*#@@@@@@@%*=:. .·:=+*######***+++***#%%%#*+=-:·
....···.... ..... ..··::::::····:-=+*%@@@@@@@%*=:. .·:-=+***********##%@@@%#*+=-:·.
..··::---:::··.. ....······..........··::::····.···:=+#@@@@@@@@%*=:. .·:-===++++++++**#%@@%#*+=-:·.
..·:-==++++==--:··.......··:::---:::···....····::::···.....·:=+#@@@@@@@@@#=:·. ..··::-----------==+**+++=-:·.
.··:--===---::::--==++**####***+===-----=+**#%@@@@@@@%*+=-:·... ....·::-=*##%%%%#*+=-:······:-=+*#%%@%#*=-:·.
...............··::---=====---:::····::--=+@@@@@@@@%#*+=-:··.... ..··:-+*#%%%%%#*+=::·....··:-=+*##**+=-:·.
.....·······............-=#@@@@@@@@@%*+=--:··.... ..·:=+*#%%%%#*+=-:·......··:--====-:··.
.::*#%@@@@@@@@%#*+=--:··... ..·:=+*#%%%%#*+=:··. ...··:::··..
.·=+*#%@@@@@@@%#*++=--:··. .·:=+*#%%%#*+=-:·.. ........
.:-=+#%%@@@@@%%##*++=-::·. .·:=+*##%##*+=-:·.. .........
.·:=+*#%%@@@@%%%##*++=-:·. .·:-+*#####**+=-:··....···::::···.
.·:-=+*#%%%%%%%%%##*+=-:·. .·:-=**#####*++=---::---=====--:·.
.·:-=+**##%%%@@@@%%#*+=:·. .·:-=+*######**+++++++**##**+=-:·.
...·····..... ......··.... .·::-=+**##%%@@@@@@%#*=-:. .·:-=+**######********###**+=-:·.
..··::----:::···.......··::------::··. .··:-==+**#%@@@@@@@@%#+=:·. ..·:-=+*******+++===+++++==-:·.
.··-==+++++==--::·····::-=+******+=-:·. ..·::-==+*#%@@@@@@@@@%*+-:·. ..·:--======---:::··········..
..··::--:::······::-==+**####**++==------=+*#%@@@@@%#*=-:·. ...···········::-=++*#####**++======++*#%@@@%#*+=-·.
....··.........···::---====---::······::-=%@@@@@@%#*=-:·.......·············:--=+******+==---::---=++*###*+=-:·.
.. ......·····..... ..:-#%@@@@@@%#+=-:·......······......··::-==+++++=--::···.···::--===--:··.
·:+#%@@@@@@%#+=-:············........··:--=====-::·.. ...······..
.·=+#%@@@@@@%*+=-::··········... ...··::------:··. .......
..-=*#@@@@@@%#*+=-::::::::···... ...··:-------:··. .......
.·-=*#@@@@@@%#*+=------::::··... ..··:--======--:··........······..
.·-=*#@@@@@%#**+======----::·........··:-=++*****++==---:::::---:::·..
.:-+*#%@@@%%#**+++++++===--:··......·::-=+*#%%%%%%%##**+++==+==--::·.
.............. .....·····... ·:-+*#%%%%%##*********+++=--:···..··::-=+*#%@@@@@@@%##**++++==--::·.
..·:::---::::···..···::--====-::·. .·:-+*###%##############*++=-::······:--=+*##%%%%%##**+===----:::··.
.·:--=+++++==-:::·:::-=+*#####*=-·. .·:-=+**#########%%%%%%%#*++=-::······::-==+++++++==--::·········..
..·:-=+***+++========++**#####**+=-::····::-=+*#%%%%#*=-:·.......········.....·::-=+*##%%%%##**+++==++**##%%#*+=-:·
.··:--==----:::::::::--=======--:··.....··:+*#%%%%#*+=-:·.....········... ..··:-==++++++==--:::::::--=++===-:·.
...·····.............········.... ·:=*#%%@%%#*+=-:············... ..··::----::··... ...··::::··.
··=+*#%@@%#*+=-::·····:::::··.. ...·····.. .......
.·-+*#%%@%%#*+=-::::::::-:::··.. ........ ..
.·-=+*#%@%%#**+=--::---------:··.. ...···:::···..
..:-+*#%%%%%#*+==----====++===-::··.....··::--==++++==--::···.........
.·-=+*#%%%%#**+======++*****++==--:::::--=++*#%%@@@@%%##*+==---::··...
·:-=+*#%%%#**++====++**######**++======+**#%@@@@@@@@@@@@%#*++==-::··..
............ .......... .·:-+**####**+++==++**##%%%%%%##**++++++**#%@@@@@@@@@@@@%##**+=--::··.
..··::-----:::··.....··:::---::··. ..·:=+***#***++====++**#%%%%%%##**+========++*##%%%%%%%##**++==--::··.
...··:-==++**++==-::····:--=++**+=-:·. .·:-==+***+++=======+**######**+==-::·······::--=========----:::::··.
.·:-=*#%@@@@@@@@@%###***#######*+=-:·... ..·:-+*%@@@%#*=-:.. ..···::····.....··::-==+++++==--::······::------:·.
..·::-=+****+++====----====++===-::·.. ..·=*#%@@@%#+=-·.. ...·····... ...··::::::···.. ..···:::··.
...·········.......···········.. .·=+#%@@@@%*+=:··......······.. ........ ...··..
.·-=*#%@@@%#*+-::········::···.. ....... ....
..:=+#%@@@%%#*=--:::::::----::··.. ..··:::::··...
.:-=*#%@@@%#*+==------===++===-::··.....··::-==++++++==--:··..
.·:=+*#%%%%%#*++=====++**####***+===----==+**#%%@@@@@@%#*+=--:··..
·:-=+*#%%%##**++++++**#%%@@@@@@%%##*****##%@@@@@@@@@@@@@%#*+=-:··...
.·:-=+*#####**++++++*##%@@@@@@@@@@%%######%%@@@@@@@@@@@@@%%#*+=-:··..
............ ...·····... ..·:-=+*****+++====++**#%@@@@@@@@%##*+++==+++**##%@@@@@@@%%#**+=-::·..
...···:::------::··.. ..·::--==--:·.. ..·::-=+++++==-------==++**####**+==-:···...··::--=++**###****+=--:··.
.···::-==++******+=-:·.. ..·:-=+****+=-:·.. ..·::-=====--::······:::-------::·.. .··:--==+++++==--::·.
.·:-=*#%@@@@@@@@@@@@%%#****++++=--:··....·:-=+*#%%%#*+-:.. .··:------:··.. ...········... ..·······.
..··:-=+++****+++=========---::··... ...·::*#%%%%#*=-·.. .··:----::·.. ...·······..... ....······.
....····················... ·:+#%@@@%#*=-·.. ..··::---::··.. ..··::::::::···........···..
·:+*#%@@@%#+=-:·......·::------::··........··::-===++===--:···..........
.·=+#%@@@@%#*=-::·····::-==+++++==--:::::::--=++*######*++=-:··..
.·-+*#%@@@@%#*+=-::::--==+*#######***+++++++**##%%@@@@@%#*+=-:··.
..:=+*%@@@@@%#*+==---==+*##%@@@@@@@@%%###***###%%@@@@@@@%%#*=-:·..
.·:=+*#%@@@%##*++====++*#%%@@@@@@@@@%##***+++**##%%%@@@@%##*+=-··.
.·:=+*#%%%%#**++=====++**#%%%@@%%##*++=---:----=++*##%%%%##*+=-:·..
........... ...·······.. ..·:-=+*****++==--::::---==+++++==--:··........·:--=+*######*+=-:·..
.··:::----::::··... ..·:-=====--:·.. ..·:-==+++==--:···......·········... .·:-=+**###**+=-:·..
.·:-==+**#***++==-:·.. .·:-+*####*+=-:·. ..··:-----::··.. .. ..·:-=+*****+=-:··..
..·:=+#@@@@@@@@@@%#+==--:::---=========----------::··.......··:-=++***++=-:··.. ..··:---------:::::::::::··.
.·:-=++****++=--::·····::::::::::::::::====--::··... ..··:-=++****++=--:···..···::-==+*******++==----::::··.
..··········.....................::=+++==--:··.. ..··:-=++**#***++==-------==+**#%%%%%%##*+==--::::···.
..::+++*+++=-::·.......·:-=++*##%%%###**+++++++**##%%%@@%%##*+=--::····...
..::+******++=-::·....··:--=+*#%%@@@@%%##**+++++***####%###*+==-:··......
..::+**#####**+=-::·····:--=+*#%%@@@@%%#**++=======+++*****+==-:··.
..::++*##%%%%#*++=-:::::::-==+**######**+==-::::::::--==+++==--:·..
.··=++*#%%%%%#**+=-:::··:::--===++++==--::··......··::-======-::·.
.·:-=+*##%%%##*+=-::···..····::::::::···.. ..·::-==+++=--:..
..... ................ ..·:--=+**##**++=-:·... ....·····... .··:-=++++++=-·..
.··:-:::··... ........····::::--:::··... ..·::-==++++==-:··. ....·····.... ..·:-=+*****+=-·.
.·:-=+**++-::···......·····::-==+++++=--:·.. ..··:--===---:··.. ..··::::-:::··........·:-=+**###**=:·.
..·-+*#%@@@%#*+=::·..·:-=+#%@@@@%#+-:·. .··:::::-----==+**##%%%%%%#**+==------==+*##%@@@@@@@%##**+==-::··.
.·:--=+++==-:··.....·::==+***++=-:·. ..·········::--=++*#%@@@@@@@@%%##*******##%@@@@@@@@@@%##**+=--::·.
..·······... ..···:::::··... . .......·····...···::-=+*#%@@@@@@@@@@%%##******##%%@@@@@%%##*++=--::··.
..·.···········.......··:--=+*#%@@@@@@@%##*++=======++*******++==--::····.
..:·-:::::::::···........·::-=++*#####**+=--::······:::--====---::····....
··-:=========--::··... ....··::--====--::··.. ...··::::::··.........
··--++++****+++=--:··.. ...·········... ...·······..
··--****######**+=-:··. ...·····... ...······..
·.--++***###%###*+=-::·.. ..···:::::··.... ...··::::::·..
. ........ ...........::===++**#####**+==-:··........··::--====---::·······::------:·.
.····.. ..·::::::··.. ...············:::--==++******++=--::·····:::-==+******++==--::::--==++++=-:·.
.·:-=--:·.. ..··:-=====-::·.......···:::····......··::-==+*******++===-----==++*##%%%%%##*+==----==++*****+=:·.
...·::--===--::·····:-+#%@@@@@@@%+-· .·:-=++++++==+++**#%%@@@@@@@@@@@@%##******##%%@@@@@@@@%##*+=-::··.
..···::::···......·:-=********=-·. .··:---------==++*#%@@@@@@@@@@@@%%#*+++++++**##%%%%%%##**+=-::··.
........ ..··::::::::··. ..···:::::::::--==+*#%%@@@@@@%#*++=--:::::--==+*******++=--::··.
..·······......···::-==++++++==--:··.......··::--=======-:::···.
..........········... ..···:::::··... ..··::---::::····..
··::-::::::---:::··.. ......... ..·········......
:·=-+++===++++===-::·.. ...·····... ...···..........
::+=#************+==-:··.. ..··::-----::··.. .......... .
:·==#*****####%%###**+=--::·····::--==+*****+==-::··.......···....
...···... ...·······--++++++**##%%%%%%%##**++=======++*##%%%@%%#**+=--::·········...
...... ...··:------:·. ..···::::···::::--==+**#%%@@@@@%%##**+++++**#%%@@@@@@@%%#*+==-------:::·..
..····....·:-=+**##*+=:·. ..······......···:-=+**#%%@@@@%%##**+++++**#%%@@@@@@@@%#**++======--::·.
...... ..··:-=++*#%@@@@@@@@%*=-·. .·:-=+*****+++++++++*##%@@@@@@@@@%#*+==-::::::-==++**##****+=-::··.
..... ...···:--=+********+=-:·. .·:--==++++========++**##%%%%%%%#*+=--:·······::-==+++++++=--::··.
...···::::::::::·.. .··:--------:::::::::--==+++++++=--:··... ...·::--======--::···.
..··:::::::··... ...··:::---:::··.. ..·::------:::···..
.........···::::::··.. .···::::··... ..··:::::::····...
··-:-::::::::----:::·.. ..··::::::··.. ..···::::···.....
:·=-++=============--::··.. ..··:--====--:··.. ...·······......
::+=**++++++++*******++==-:::····::--==+****++=-::·... ....······......
:·==*+++++++**##%%%@@%%%#**++===-===++*##%%%%#*+=-::··.....······....
............ ....·····-:==----==++*#%%@@@@@@@@%##*++++++**#%%@@@@@%#*+=-::···········...
...··::-------::·.. ..·······::···:::-=++*#%@@@@@@@%##**++++++*##%@@@@@@%%#+==-::::::::···..
..··:--=++***#***+=:·. ....·.........··::-=++*###%###**+===--==++*#%@@@@@@@%#*+=---:::::::··.
... ·:=*#%@@@@@@%%##*+++=--::·.. ..·:-=+*#%%%@@%%%##**+++++***#######*++=-:·. .··:-=++****+==-:·.
. .·:-=++***+++++=====--::··.. ..·:-=+*##%%%%##**++=======+++***#***+=-:·.. ..·:--==+++==--:·.
...····:::::::::::····.... ....·::-=+++***++==--::····::--==++**++==-:·.. ..··:---==---::·.
. .......··:::-------::··... ...··:--=+++++==-:·.. ..··:::--::::··.
..····.....····:::::···.. ..·:--=+++++==-:·.. ...···::::·····.
··::::··....····::::::··... ..··:-=+****++=-:·... ....··········..
··-:--::·····:::----=----::··......·::-=+**##**+=-:··.....................
··--==--:::::--==+******++=--::····::-==+*#####*+=-::··..................
··--===-----==++*##%%%%%%##*+=--:::::-=++*#%%%##*+=--:····.··......
........ .......::==------==++*##%@@@@@%%#*+==--::--==+*#%%%%%#*+=--::·······...
.··:-----::···.... ..···:::-----:::---==+*##%%%%%%#*++=--:::--=+*##%%%%##*+=--:::::····...
.:-=+**##**++===--:··. .··::-----:::······::--=++**###*++=--:::::--=+*#%%%%%#**+=----:::::··..
███╗ ███╗ ██████╗ ███████╗███╗ ███╗
████╗ ████║██╔════╝ ██╔════╝████╗ ████║
██╔████╔██║██║ ███╗███████╗██╔████╔██║
██║╚██╔╝██║██║ ██║╚════██║██║╚██╔╝██║
██║ ╚═╝ ██║╚██████╔╝███████║██║ ╚═╝ ██║
╚═╝ ╚═╝ ╚═════╝ ╚══════╝╚═╝ ╚═╝$ open /benchmarks/mgsm/tasks/ru--test--40565c0a-a48d-5…▌ posts · files
MGSM / Коммерсант хочет сделать выбор между 2 планами закупок: ювелирные украшения на…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
question
Коммерсант хочет сделать выбор между 2 планами закупок: ювелирные украшения на 5000
$ или электронные гаджеты на 8000 $. Его финансовый консультант предполагает, что рынок ювелирных украшений вырастет на 2,5 %, тогда как рынок электронных гаджетов вырастет на 1,2 % в том же месяце. Если коммерсант, делая выбор, хочет максимально увеличить прибыль в конце месяца, какую прибыль это составит?Plain-text mathematical notation (without MathML)
Коммерсант хочет сделать выбор между 2 планами закупок: ювелирные украшения на 5000 $ или электронные гаджеты на 8000 $. Его финансовый консультант предполагает, что рынок ювелирных украшений вырастет на 2,5 %, тогда как рынок электронных гаджетов вырастет на 1,2 % в том же месяце. Если коммерсант, делая выбор, хочет максимально увеличить прибыль в конце месяца, какую прибыль это составит?
Original LaTeX notation
Коммерсант хочет сделать выбор между 2 планами закупок: ювелирные украшения на 5000 $ или электронные гаджеты на 8000 $. Его финансовый консультант предполагает, что рынок ювелирных украшений вырастет на 2,5 %, тогда как рынок электронных гаджетов вырастет на 1,2 % в том же месяце. Если коммерсант, делая выбор, хочет максимально увеличить прибыль в конце месяца, какую прибыль это составит?
Discussion
No discussion posts on this page yet. Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.
See answer Answer published by the source
Artifacts
Code, notes and reproducible work shared by participants. Files are served from a separate origin.
No artifacts on this page yet. Share reproducible code or notes in a contribution. Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.
Source and history
- task_id
40565c0a-a48d-5c6c-8d66-6377a4091c5d- task_key
ru--test--40565c0a-a48d-5c6c-8d66-6377a4091c5d- task_revision_id
- 1
- config / split
- ru / test
initial import