benchmarks.wiki / Public workspace
.·-=*%@@@@@%#*+==----===+++++++========++*#%@@@@@@@@@@@@@@%#***++*****##**+=-:·. .:=+#%@@@%#*=-:·.
..·-==+**+++=--::::::----------::::·---==++*#%%@@@@@@%%##*+++===+++**#####*+=-·. .:-+*%%@%#+=-:·.
..···::······.....·········....··:·····::--===+++++===---:::---=+*##%%%%#*+-:. .:-+*#%#*+=-:·.
...... ...····:::······.···:-=+*#%%@@%%*+-:. .·:-=+**++=-:·.
..... ...............··:-=*#%@@@@%#+=:. .·:-=++==--:·.
..... ...·····.... ..·:-+*#%@@@@%#+=:. .·:------::·.
..··:··... ...··:::--:::··... ..·:-+*%@@@@@%#+-:. .··:::::···.
··--+==--::::::--===++++==-::·... ...·:=+#%@@@@@%*+-:. ...······...
··==##***++++++++**######*+=-:··.....·:-=*#@@@@@@%*=-·.. ..........
..... ...····++%%%###***++***##%%%%%##*+=:··.....·:-+*%@@@@@%#*=-··. ..
.··:::::··.............. ..··:--====%%##**++++=+++**#%%%%%%#*+-:·... ..·:=+#%@@@@@%#+=-:·....
.·:-=+****+=-------------::··........··:--=+++***++===---:---=++*##%%%#*+=-:·.. .·:-=*#@@@@@@#*+=-:···.....
.......·:-=+**####*++=--::::-==+*#%%@@@@@%%##******##%@@@@@@@@@@@@@%##**++++++++++=-:·. .:=*%@@@@@@#+-·..
...··:--=====--::········::---====---::-::::::::--==+**#####***++++++***###**+=-·. .:=*%@@@@@%+=:·..
....······..... ........... .. ..·::---=========++**#%%%%#*+-·. ·-+#%@@@@%*=-·..
..···:::::::--=+*#%@@@@%#+-·. .·-+#%@@@%*=-:·.
....·······:-=+*#@@@@@%#+-·. .:-+#%%%#*=-:·..
.... .............·::=+#%@@@@@%#+-· .:=+*##*+=-:·..
··--++==-::····..··········........·:=+#@@@@@@%*=:. ·:-++*+=-::·..
::**@@@@%##*++===--------::··.. ..·-=*%@@@@@@%*=:. .·:-===--:·..
::**@@@@@@@@%##******+++==-:··. .·-+#@@@@@@@#+-·. .·::--::··..
.. ...................····::::**@@@@@@@@@%%#########*++=:·.. .:-+#@@@@@@@#+-· .··::··...
..·······.......··:::------::::······:::--==++@@@@@@%%#########%%%##*+=:·. .·:=*%@@@@@@%*=:·. ...··...
·:-===+==---::---==++****++==--:···....··::--==+++++++++++++**##%%%%#*+-:·. .·-+#@@@@@@@%*=:·. .......
..········::-==+++++==--::···:::-==++******+==-::······::-=++*#%%%%%##*++=---::::::···........·:-+*#%@@%%*+=:·..
..........··:::---:::··... .....···.... .·:--=+*******++===-----:::··.. ..·:=+*%%@@%#*+-·...
........... .·:-==++++++++========--:··. .·-=*#%%@%%#+-:·..
.·:--========+++++++==-:·.. .:-=*#%%%%#*=:·..
..·.. ..·::----====++++***++=-:·. ..:-+*#%%%#*+-:·.
··--*++=-:··.. ..··::::----==++***#**+=-:.. .·:-+*#%%##+-:·.
::**@@@@@%*+=-:··.....····::::::--==+**####*+=-·. .·:=+*###*+-:·.
::**@@@@@@@@%*+=--:::··········:::-==+*#%%%##+=:·. .·:=+****+-:·.
::**@@@@@@@@@@#*++=----::::·······:-=+*#%%@%%#+=:· .·:-=+++=-:·..
.. .....············.......····:**@@@@@@@@@@%##*++===---::·······:-=+#%@@@@%#+-:. .·:-==+=-:·..
..·······......···:::-----:::··.... ...··:-*#%@@@@@@@%##***+++==--::··...··:-+*#@@@@@%#+-:. ..·:-===-:··.
.·::--==--::·······:::::::::··. ..·:-=+**#####******+++=--:··.....·:=+#%@@@@@%#+-:. .·::-=--::·..
..········::--=++++++=--:··.. ....······... .··:-=+*****+=-:·. ..·:-=++****++===-----:::::······..
..........···::::::::··.. .·:-=+*##**+=-:·. ..·:-==+++++++=====---::::··......
........... . .·:-+**###*+=-:·.. ..··:--==+++++=======--:::·.....
.··::··.. .·:-=+*####*+=-:·... ...·::---=======+++===--::·..
··-=**+=--:·.. ..·:-=+*####*+=-:··......··:::----====++++++==-:·.
::**@@@%#*+-:··.....··:-+**####*+=-:··.....····::::---===++++++==-:..
::**@@@@@@%*+-:··....·:-=+**###**+=-::············::::--==++**+++=:·.
::**@@@@@@@%#+=:··...··:-=+**##**++=--::·············:::-==++****+=:·.
··+*@@@@@@@@%*+=::·····:--=+******++=--:::::······..····:-==+*****+=:·.
...... ............ ..-=%@@@@@@@%#*+-::····::-==+*****++===----:::···......··:-==+*###*+=-:·.
..·······... .... .·=+*%%@@@%#*+=-:·····::-==++***++++=====---::··.......·:-=+*##%#*+=-:·.
..·:-----::·.. ·:-+*#%%%#*+=--:····::--==+++++++++++++===--:··.......·:-=+*#%%#*+=-:·
.··:::------==++*****++=-::·. ..··:::::::·········::-=====-:·. .:=*%@@@@@@#+-:·. ..··:-====--::·.
....·········::::----:::··.. ...····----:::·····::-==+***+=-:. ·:+#@@@@@@%*=-:·.. ...··::--:::··..
............... ....::++===--::::::--=+*####*+-:. .·-+#@@@@@%#+=-:·......·······....
.·--***++==--::::--=+*#%%%#*+-·. .:=*#@@@@@%*+=-:··.....··....
··==####*+==-:::::-=+*#%@@@%#+-·. .:=*#%@@@%#*+=-::······...
··=+%%%##*+=-:::::--+*#%@@@@%*+-· .·-=*#%%%%#*++=--:::::···.
··==%%%%#*+=--:···:-=+#%@@@@@%*=:. .·-=+*####**++===-----::·..
.·-=#%%%#**+=-:····:-=*#@@@@@@%*=:. .·-=++*****+++++++++++=-:·..
..:-*#####*+=-:·..··:-+*%@@@@@@#+-·. ..·:-==+++++++++***####*+=-:·.
........ ·:=+*##**+=-:·....·:=+#@@@@@@%#+-·. .··:---======++**#%@@@%#*+=-:.
..··:::::··.. .·-=+****+=-:·.....·-=*%@@@@@@%*=-·. ..··:::::----==+*#%@@@%#*+=-:·.
..·:--====-:··. . .·:-=+***+=-:·.. ..:-+#@@@@@@@%*=-:·.. ....········:::--=+*#%@%#*+=-:·.
.·:--==+++====+++********++=--::······::-==+**#####**++=---:::::···. .·-+#@@@@@@@#+-:. ..·:=+*###*+=-:·.
...············:::----------:::········::--==%%%%%%##**++=====--::·. .·-+%@@@@@@%#+-·. ..·:-=+++==-:··.
.....·········............·-=#%%%%%%###****+++++=-:·. .:=*%@@@@@@%*=:·. ..··:---::··..
..--*##%%%%####****###**+=-·. .:=*%@@@@@@#*=:·.. ..·····..
..::+***####*****###%%%##*=-·. ·-+#@@@@@@%#+=:··.. .......
.··==++++**++****#%%@@@%#*=-· ·-+#%@@@@@%#+=-:··..........
.·:--========++*##%@@@@@%*=:· .·-+*%@@@@%#*+=--:::·:::::···..
..::---------==+*#%@@@@@@%*=:. .·-=*#%%%%%#**+========++==-::·..
..·::::::::::--=+*#@@@@@@@%*=:. .·:=+*######***+++***#%%%#*+=-:·
....···.... ..... ..··::::::····:-=+*%@@@@@@@%*=:. .·:-=+***********##%@@@%#*+=-:·.
..··::---:::··.. ....······..........··::::····.···:=+#@@@@@@@@%*=:. .·:-===++++++++**#%@@%#*+=-:·.
..·:-==++++==--:··.......··:::---:::···....····::::···.....·:=+#@@@@@@@@@#=:·. ..··::-----------==+**+++=-:·.
.··:--===---::::--==++**####***+===-----=+**#%@@@@@@@%*+=-:·... ....·::-=*##%%%%#*+=-:······:-=+*#%%@%#*=-:·.
...............··::---=====---:::····::--=+@@@@@@@@%#*+=-:··.... ..··:-+*#%%%%%#*+=::·....··:-=+*##**+=-:·.
.....·······............-=#@@@@@@@@@%*+=--:··.... ..·:=+*#%%%%#*+=-:·......··:--====-:··.
.::*#%@@@@@@@@%#*+=--:··... ..·:=+*#%%%%#*+=:··. ...··:::··..
.·=+*#%@@@@@@@%#*++=--:··. .·:=+*#%%%#*+=-:·.. ........
.:-=+#%%@@@@@%%##*++=-::·. .·:=+*##%##*+=-:·.. .........
.·:=+*#%%@@@@%%%##*++=-:·. .·:-+*#####**+=-:··....···::::···.
.·:-=+*#%%%%%%%%%##*+=-:·. .·:-=**#####*++=---::---=====--:·.
.·:-=+**##%%%@@@@%%#*+=:·. .·:-=+*######**+++++++**##**+=-:·.
...·····..... ......··.... .·::-=+**##%%@@@@@@%#*=-:. .·:-=+**######********###**+=-:·.
..··::----:::···.......··::------::··. .··:-==+**#%@@@@@@@@%#+=:·. ..·:-=+*******+++===+++++==-:·.
.··-==+++++==--::·····::-=+******+=-:·. ..·::-==+*#%@@@@@@@@@%*+-:·. ..·:--======---:::··········..
..··::--:::······::-==+**####**++==------=+*#%@@@@@%#*=-:·. ...···········::-=++*#####**++======++*#%@@@%#*+=-·.
....··.........···::---====---::······::-=%@@@@@@%#*=-:·.......·············:--=+******+==---::---=++*###*+=-:·.
.. ......·····..... ..:-#%@@@@@@%#+=-:·......······......··::-==+++++=--::···.···::--===--:··.
·:+#%@@@@@@%#+=-:············........··:--=====-::·.. ...······..
.·=+#%@@@@@@%*+=-::··········... ...··::------:··. .......
..-=*#@@@@@@%#*+=-::::::::···... ...··:-------:··. .......
.·-=*#@@@@@@%#*+=------::::··... ..··:--======--:··........······..
.·-=*#@@@@@%#**+======----::·........··:-=++*****++==---:::::---:::·..
.:-+*#%@@@%%#**+++++++===--:··......·::-=+*#%%%%%%%##**+++==+==--::·.
.............. .....·····... ·:-+*#%%%%%##*********+++=--:···..··::-=+*#%@@@@@@@%##**++++==--::·.
..·:::---::::···..···::--====-::·. .·:-+*###%##############*++=-::······:--=+*##%%%%%##**+===----:::··.
.·:--=+++++==-:::·:::-=+*#####*=-·. .·:-=+**#########%%%%%%%#*++=-::······::-==+++++++==--::·········..
..·:-=+***+++========++**#####**+=-::····::-=+*#%%%%#*=-:·.......········.....·::-=+*##%%%%##**+++==++**##%%#*+=-:·
.··:--==----:::::::::--=======--:··.....··:+*#%%%%#*+=-:·.....········... ..··:-==++++++==--:::::::--=++===-:·.
...·····.............········.... ·:=*#%%@%%#*+=-:············... ..··::----::··... ...··::::··.
··=+*#%@@%#*+=-::·····:::::··.. ...·····.. .......
.·-+*#%%@%%#*+=-::::::::-:::··.. ........ ..
.·-=+*#%@%%#**+=--::---------:··.. ...···:::···..
..:-+*#%%%%%#*+==----====++===-::··.....··::--==++++==--::···.........
.·-=+*#%%%%#**+======++*****++==--:::::--=++*#%%@@@@%%##*+==---::··...
·:-=+*#%%%#**++====++**######**++======+**#%@@@@@@@@@@@@%#*++==-::··..
............ .......... .·:-+**####**+++==++**##%%%%%%##**++++++**#%@@@@@@@@@@@@%##**+=--::··.
..··::-----:::··.....··:::---::··. ..·:=+***#***++====++**#%%%%%%##**+========++*##%%%%%%%##**++==--::··.
...··:-==++**++==-::····:--=++**+=-:·. .·:-==+***+++=======+**######**+==-::·······::--=========----:::::··.
.·:-=*#%@@@@@@@@@%###***#######*+=-:·... ..·:-+*%@@@%#*=-:.. ..···::····.....··::-==+++++==--::······::------:·.
..·::-=+****+++====----====++===-::·.. ..·=*#%@@@%#+=-·.. ...·····... ...··::::::···.. ..···:::··.
...·········.......···········.. .·=+#%@@@@%*+=:··......······.. ........ ...··..
.·-=*#%@@@%#*+-::········::···.. ....... ....
..:=+#%@@@%%#*=--:::::::----::··.. ..··:::::··...
.:-=*#%@@@%#*+==------===++===-::··.....··::-==++++++==--:··..
.·:=+*#%%%%%#*++=====++**####***+===----==+**#%%@@@@@@%#*+=--:··..
·:-=+*#%%%##**++++++**#%%@@@@@@%%##*****##%@@@@@@@@@@@@@%#*+=-:··...
.·:-=+*#####**++++++*##%@@@@@@@@@@%%######%%@@@@@@@@@@@@@%%#*+=-:··..
............ ...·····... ..·:-=+*****+++====++**#%@@@@@@@@%##*+++==+++**##%@@@@@@@%%#**+=-::·..
...···:::------::··.. ..·::--==--:·.. ..·::-=+++++==-------==++**####**+==-:···...··::--=++**###****+=--:··.
.···::-==++******+=-:·.. ..·:-=+****+=-:·.. ..·::-=====--::······:::-------::·.. .··:--==+++++==--::·.
.·:-=*#%@@@@@@@@@@@@%%#****++++=--:··....·:-=+*#%%%#*+-:.. .··:------:··.. ...········... ..·······.
..··:-=+++****+++=========---::··... ...·::*#%%%%#*=-·.. .··:----::·.. ...·······..... ....······.
....····················... ·:+#%@@@%#*=-·.. ..··::---::··.. ..··::::::::···........···..
·:+*#%@@@%#+=-:·......·::------::··........··::-===++===--:···..........
.·=+#%@@@@%#*=-::·····::-==+++++==--:::::::--=++*######*++=-:··..
.·-+*#%@@@@%#*+=-::::--==+*#######***+++++++**##%%@@@@@%#*+=-:··.
..:=+*%@@@@@%#*+==---==+*##%@@@@@@@@%%###***###%%@@@@@@@%%#*=-:·..
.·:=+*#%@@@%##*++====++*#%%@@@@@@@@@%##***+++**##%%%@@@@%##*+=-··.
.·:=+*#%%%%#**++=====++**#%%%@@%%##*++=---:----=++*##%%%%##*+=-:·..
........... ...·······.. ..·:-=+*****++==--::::---==+++++==--:··........·:--=+*######*+=-:·..
.··:::----::::··... ..·:-=====--:·.. ..·:-==+++==--:···......·········... .·:-=+**###**+=-:·..
.·:-==+**#***++==-:·.. .·:-+*####*+=-:·. ..··:-----::··.. .. ..·:-=+*****+=-:··..
..·:=+#@@@@@@@@@@%#+==--:::---=========----------::··.......··:-=++***++=-:··.. ..··:---------:::::::::::··.
.·:-=++****++=--::·····::::::::::::::::====--::··... ..··:-=++****++=--:···..···::-==+*******++==----::::··.
..··········.....................::=+++==--:··.. ..··:-=++**#***++==-------==+**#%%%%%%##*+==--::::···.
..::+++*+++=-::·.......·:-=++*##%%%###**+++++++**##%%%@@%%##*+=--::····...
..::+******++=-::·....··:--=+*#%%@@@@%%##**+++++***####%###*+==-:··......
..::+**#####**+=-::·····:--=+*#%%@@@@%%#**++=======+++*****+==-:··.
..::++*##%%%%#*++=-:::::::-==+**######**+==-::::::::--==+++==--:·..
.··=++*#%%%%%#**+=-:::··:::--===++++==--::··......··::-======-::·.
.·:-=+*##%%%##*+=-::···..····::::::::···.. ..·::-==+++=--:..
..... ................ ..·:--=+**##**++=-:·... ....·····... .··:-=++++++=-·..
.··:-:::··... ........····::::--:::··... ..·::-==++++==-:··. ....·····.... ..·:-=+*****+=-·.
.·:-=+**++-::···......·····::-==+++++=--:·.. ..··:--===---:··.. ..··::::-:::··........·:-=+**###**=:·.
..·-+*#%@@@%#*+=::·..·:-=+#%@@@@%#+-:·. .··:::::-----==+**##%%%%%%#**+==------==+*##%@@@@@@@%##**+==-::··.
.·:--=+++==-:··.....·::==+***++=-:·. ..·········::--=++*#%@@@@@@@@%%##*******##%@@@@@@@@@@%##**+=--::·.
..·······... ..···:::::··... . .......·····...···::-=+*#%@@@@@@@@@@%%##******##%%@@@@@%%##*++=--::··.
..·.···········.......··:--=+*#%@@@@@@@%##*++=======++*******++==--::····.
..:·-:::::::::···........·::-=++*#####**+=--::······:::--====---::····....
··-:=========--::··... ....··::--====--::··.. ...··::::::··.........
··--++++****+++=--:··.. ...·········... ...·······..
··--****######**+=-:··. ...·····... ...······..
·.--++***###%###*+=-::·.. ..···:::::··.... ...··::::::·..
. ........ ...........::===++**#####**+==-:··........··::--====---::·······::------:·.
.····.. ..·::::::··.. ...············:::--==++******++=--::·····:::-==+******++==--::::--==++++=-:·.
.·:-=--:·.. ..··:-=====-::·.......···:::····......··::-==+*******++===-----==++*##%%%%%##*+==----==++*****+=:·.
...·::--===--::·····:-+#%@@@@@@@%+-· .·:-=++++++==+++**#%%@@@@@@@@@@@@%##******##%%@@@@@@@@%##*+=-::··.
..···::::···......·:-=********=-·. .··:---------==++*#%@@@@@@@@@@@@%%#*+++++++**##%%%%%%##**+=-::··.
........ ..··::::::::··. ..···:::::::::--==+*#%%@@@@@@%#*++=--:::::--==+*******++=--::··.
..·······......···::-==++++++==--:··.......··::--=======-:::···.
..........········... ..···:::::··... ..··::---::::····..
··::-::::::---:::··.. ......... ..·········......
:·=-+++===++++===-::·.. ...·····... ...···..........
::+=#************+==-:··.. ..··::-----::··.. .......... .
:·==#*****####%%###**+=--::·····::--==+*****+==-::··.......···....
...···... ...·······--++++++**##%%%%%%%##**++=======++*##%%%@%%#**+=--::·········...
...... ...··:------:·. ..···::::···::::--==+**#%%@@@@@%%##**+++++**#%%@@@@@@@%%#*+==-------:::·..
..····....·:-=+**##*+=:·. ..······......···:-=+**#%%@@@@%%##**+++++**#%%@@@@@@@@%#**++======--::·.
...... ..··:-=++*#%@@@@@@@@%*=-·. .·:-=+*****+++++++++*##%@@@@@@@@@%#*+==-::::::-==++**##****+=-::··.
..... ...···:--=+********+=-:·. .·:--==++++========++**##%%%%%%%#*+=--:·······::-==+++++++=--::··.
...···::::::::::·.. .··:--------:::::::::--==+++++++=--:··... ...·::--======--::···.
..··:::::::··... ...··:::---:::··.. ..·::------:::···..
.........···::::::··.. .···::::··... ..··:::::::····...
··-:-::::::::----:::·.. ..··::::::··.. ..···::::···.....
:·=-++=============--::··.. ..··:--====--:··.. ...·······......
::+=**++++++++*******++==-:::····::--==+****++=-::·... ....······......
:·==*+++++++**##%%%@@%%%#**++===-===++*##%%%%#*+=-::··.....······....
............ ....·····-:==----==++*#%%@@@@@@@@%##*++++++**#%%@@@@@%#*+=-::···········...
...··::-------::·.. ..·······::···:::-=++*#%@@@@@@@%##**++++++*##%@@@@@@%%#+==-::::::::···..
..··:--=++***#***+=:·. ....·.........··::-=++*###%###**+===--==++*#%@@@@@@@%#*+=---:::::::··.
... ·:=*#%@@@@@@%%##*+++=--::·.. ..·:-=+*#%%%@@%%%##**+++++***#######*++=-:·. .··:-=++****+==-:·.
. .·:-=++***+++++=====--::··.. ..·:-=+*##%%%%##**++=======+++***#***+=-:·.. ..·:--==+++==--:·.
...····:::::::::::····.... ....·::-=+++***++==--::····::--==++**++==-:·.. ..··:---==---::·.
. .......··:::-------::··... ...··:--=+++++==-:·.. ..··:::--::::··.
..····.....····:::::···.. ..·:--=+++++==-:·.. ...···::::·····.
··::::··....····::::::··... ..··:-=+****++=-:·... ....··········..
··-:--::·····:::----=----::··......·::-=+**##**+=-:··.....................
··--==--:::::--==+******++=--::····::-==+*#####*+=-::··..................
··--===-----==++*##%%%%%%##*+=--:::::-=++*#%%%##*+=--:····.··......
........ .......::==------==++*##%@@@@@%%#*+==--::--==+*#%%%%%#*+=--::·······...
.··:-----::···.... ..···:::-----:::---==+*##%%%%%%#*++=--:::--=+*##%%%%##*+=--:::::····...
.:-=+**##**++===--:··. .··::-----:::······::--=++**###*++=--:::::--=+*#%%%%%#**+=----:::::··..
███╗ ███╗ ██████╗ ███████╗███╗ ███╗
████╗ ████║██╔════╝ ██╔════╝████╗ ████║
██╔████╔██║██║ ███╗███████╗██╔████╔██║
██║╚██╔╝██║██║ ██║╚════██║██║╚██╔╝██║
██║ ╚═╝ ██║╚██████╔╝███████║██║ ╚═╝ ██║
╚═╝ ╚═╝ ╚═════╝ ╚══════╝╚═╝ ╚═╝$ open /benchmarks/mgsm/tasks/ru--test--0418bfea-c759-5…▌ posts · files
MGSM / Механик берет разную плату за ремонт шин грузовиков и легковых машин. За каждую…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
question
Механик берет разную плату за ремонт шин грузовиков и легковых машин. За каждую отремонтированную шину грузовика механик берет 60
$, а за каждую отремонтированную шину легковой машины механик берет 40 $. В четверг механик ремонтирует 6 шин грузовиков и 4 шины легковых машин. В пятницу механик ремонтирует 12 шин легковых машин и не ремонтирует шины грузовиков. Насколько больше прибыли получил механик в день с большей прибылью?Plain-text mathematical notation (without MathML)
Механик берет разную плату за ремонт шин грузовиков и легковых машин. За каждую отремонтированную шину грузовика механик берет 60 $, а за каждую отремонтированную шину легковой машины механик берет 40 $. В четверг механик ремонтирует 6 шин грузовиков и 4 шины легковых машин. В пятницу механик ремонтирует 12 шин легковых машин и не ремонтирует шины грузовиков. Насколько больше прибыли получил механик в день с большей прибылью?
Original LaTeX notation
Механик берет разную плату за ремонт шин грузовиков и легковых машин. За каждую отремонтированную шину грузовика механик берет 60 $, а за каждую отремонтированную шину легковой машины механик берет 40 $. В четверг механик ремонтирует 6 шин грузовиков и 4 шины легковых машин. В пятницу механик ремонтирует 12 шин легковых машин и не ремонтирует шины грузовиков. Насколько больше прибыли получил механик в день с большей прибылью?
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
0418bfea-c759-5f78-9b49-0e469026c04e- task_key
ru--test--0418bfea-c759-5f78-9b49-0e469026c04e- task_revision_id
- 1
- config / split
- ru / test
initial import