benchmarks.wiki / Public workspace
.·-=*%@@@@@%#*+==----===+++++++========++*#%@@@@@@@@@@@@@@%#***++*****##**+=-:·. .:=+#%@@@%#*=-:·.
..·-==+**+++=--::::::----------::::·---==++*#%%@@@@@@%%##*+++===+++**#####*+=-·. .:-+*%%@%#+=-:·.
..···::······.....·········....··:·····::--===+++++===---:::---=+*##%%%%#*+-:. .:-+*#%#*+=-:·.
...... ...····:::······.···:-=+*#%%@@%%*+-:. .·:-=+**++=-:·.
..... ...............··:-=*#%@@@@%#+=:. .·:-=++==--:·.
..... ...·····.... ..·:-+*#%@@@@%#+=:. .·:------::·.
..··:··... ...··:::--:::··... ..·:-+*%@@@@@%#+-:. .··:::::···.
··--+==--::::::--===++++==-::·... ...·:=+#%@@@@@%*+-:. ...······...
··==##***++++++++**######*+=-:··.....·:-=*#@@@@@@%*=-·.. ..........
..... ...····++%%%###***++***##%%%%%##*+=:··.....·:-+*%@@@@@%#*=-··. ..
.··:::::··.............. ..··:--====%%##**++++=+++**#%%%%%%#*+-:·... ..·:=+#%@@@@@%#+=-:·....
.·:-=+****+=-------------::··........··:--=+++***++===---:---=++*##%%%#*+=-:·.. .·:-=*#@@@@@@#*+=-:···.....
.......·:-=+**####*++=--::::-==+*#%%@@@@@%%##******##%@@@@@@@@@@@@@%##**++++++++++=-:·. .:=*%@@@@@@#+-·..
...··:--=====--::········::---====---::-::::::::--==+**#####***++++++***###**+=-·. .:=*%@@@@@%+=:·..
....······..... ........... .. ..·::---=========++**#%%%%#*+-·. ·-+#%@@@@%*=-·..
..···:::::::--=+*#%@@@@%#+-·. .·-+#%@@@%*=-:·.
....·······:-=+*#@@@@@%#+-·. .:-+#%%%#*=-:·..
.... .............·::=+#%@@@@@%#+-· .:=+*##*+=-:·..
··--++==-::····..··········........·:=+#@@@@@@%*=:. ·:-++*+=-::·..
::**@@@@%##*++===--------::··.. ..·-=*%@@@@@@%*=:. .·:-===--:·..
::**@@@@@@@@%##******+++==-:··. .·-+#@@@@@@@#+-·. .·::--::··..
.. ...................····::::**@@@@@@@@@%%#########*++=:·.. .:-+#@@@@@@@#+-· .··::··...
..·······.......··:::------::::······:::--==++@@@@@@%%#########%%%##*+=:·. .·:=*%@@@@@@%*=:·. ...··...
·:-===+==---::---==++****++==--:···....··::--==+++++++++++++**##%%%%#*+-:·. .·-+#@@@@@@@%*=:·. .......
..········::-==+++++==--::···:::-==++******+==-::······::-=++*#%%%%%##*++=---::::::···........·:-+*#%@@%%*+=:·..
..........··:::---:::··... .....···.... .·:--=+*******++===-----:::··.. ..·:=+*%%@@%#*+-·...
........... .·:-==++++++++========--:··. .·-=*#%%@%%#+-:·..
.·:--========+++++++==-:·.. .:-=*#%%%%#*=:·..
..·.. ..·::----====++++***++=-:·. ..:-+*#%%%#*+-:·.
··--*++=-:··.. ..··::::----==++***#**+=-:.. .·:-+*#%%##+-:·.
::**@@@@@%*+=-:··.....····::::::--==+**####*+=-·. .·:=+*###*+-:·.
::**@@@@@@@@%*+=--:::··········:::-==+*#%%%##+=:·. .·:=+****+-:·.
::**@@@@@@@@@@#*++=----::::·······:-=+*#%%@%%#+=:· .·:-=+++=-:·..
.. .....············.......····:**@@@@@@@@@@%##*++===---::·······:-=+#%@@@@%#+-:. .·:-==+=-:·..
..·······......···:::-----:::··.... ...··:-*#%@@@@@@@%##***+++==--::··...··:-+*#@@@@@%#+-:. ..·:-===-:··.
.·::--==--::·······:::::::::··. ..·:-=+**#####******+++=--:··.....·:=+#%@@@@@%#+-:. .·::-=--::·..
..········::--=++++++=--:··.. ....······... .··:-=+*****+=-:·. ..·:-=++****++===-----:::::······..
..........···::::::::··.. .·:-=+*##**+=-:·. ..·:-==+++++++=====---::::··......
........... . .·:-+**###*+=-:·.. ..··:--==+++++=======--:::·.....
.··::··.. .·:-=+*####*+=-:·... ...·::---=======+++===--::·..
··-=**+=--:·.. ..·:-=+*####*+=-:··......··:::----====++++++==-:·.
::**@@@%#*+-:··.....··:-+**####*+=-:··.....····::::---===++++++==-:..
::**@@@@@@%*+-:··....·:-=+**###**+=-::············::::--==++**+++=:·.
::**@@@@@@@%#+=:··...··:-=+**##**++=--::·············:::-==++****+=:·.
··+*@@@@@@@@%*+=::·····:--=+******++=--:::::······..····:-==+*****+=:·.
...... ............ ..-=%@@@@@@@%#*+-::····::-==+*****++===----:::···......··:-==+*###*+=-:·.
..·······... .... .·=+*%%@@@%#*+=-:·····::-==++***++++=====---::··.......·:-=+*##%#*+=-:·.
..·:-----::·.. ·:-+*#%%%#*+=--:····::--==+++++++++++++===--:··.......·:-=+*#%%#*+=-:·
.··:::------==++*****++=-::·. ..··:::::::·········::-=====-:·. .:=*%@@@@@@#+-:·. ..··:-====--::·.
....·········::::----:::··.. ...····----:::·····::-==+***+=-:. ·:+#@@@@@@%*=-:·.. ...··::--:::··..
............... ....::++===--::::::--=+*####*+-:. .·-+#@@@@@%#+=-:·......·······....
.·--***++==--::::--=+*#%%%#*+-·. .:=*#@@@@@%*+=-:··.....··....
··==####*+==-:::::-=+*#%@@@%#+-·. .:=*#%@@@%#*+=-::······...
··=+%%%##*+=-:::::--+*#%@@@@%*+-· .·-=*#%%%%#*++=--:::::···.
··==%%%%#*+=--:···:-=+#%@@@@@%*=:. .·-=+*####**++===-----::·..
.·-=#%%%#**+=-:····:-=*#@@@@@@%*=:. .·-=++*****+++++++++++=-:·..
..:-*#####*+=-:·..··:-+*%@@@@@@#+-·. ..·:-==+++++++++***####*+=-:·.
........ ·:=+*##**+=-:·....·:=+#@@@@@@%#+-·. .··:---======++**#%@@@%#*+=-:.
..··:::::··.. .·-=+****+=-:·.....·-=*%@@@@@@%*=-·. ..··:::::----==+*#%@@@%#*+=-:·.
..·:--====-:··. . .·:-=+***+=-:·.. ..:-+#@@@@@@@%*=-:·.. ....········:::--=+*#%@%#*+=-:·.
.·:--==+++====+++********++=--::······::-==+**#####**++=---:::::···. .·-+#@@@@@@@#+-:. ..·:=+*###*+=-:·.
...············:::----------:::········::--==%%%%%%##**++=====--::·. .·-+%@@@@@@%#+-·. ..·:-=+++==-:··.
.....·········............·-=#%%%%%%###****+++++=-:·. .:=*%@@@@@@%*=:·. ..··:---::··..
..--*##%%%%####****###**+=-·. .:=*%@@@@@@#*=:·.. ..·····..
..::+***####*****###%%%##*=-·. ·-+#@@@@@@%#+=:··.. .......
.··==++++**++****#%%@@@%#*=-· ·-+#%@@@@@%#+=-:··..........
.·:--========++*##%@@@@@%*=:· .·-+*%@@@@%#*+=--:::·:::::···..
..::---------==+*#%@@@@@@%*=:. .·-=*#%%%%%#**+========++==-::·..
..·::::::::::--=+*#@@@@@@@%*=:. .·:=+*######***+++***#%%%#*+=-:·
....···.... ..... ..··::::::····:-=+*%@@@@@@@%*=:. .·:-=+***********##%@@@%#*+=-:·.
..··::---:::··.. ....······..........··::::····.···:=+#@@@@@@@@%*=:. .·:-===++++++++**#%@@%#*+=-:·.
..·:-==++++==--:··.......··:::---:::···....····::::···.....·:=+#@@@@@@@@@#=:·. ..··::-----------==+**+++=-:·.
.··:--===---::::--==++**####***+===-----=+**#%@@@@@@@%*+=-:·... ....·::-=*##%%%%#*+=-:······:-=+*#%%@%#*=-:·.
...............··::---=====---:::····::--=+@@@@@@@@%#*+=-:··.... ..··:-+*#%%%%%#*+=::·....··:-=+*##**+=-:·.
.....·······............-=#@@@@@@@@@%*+=--:··.... ..·:=+*#%%%%#*+=-:·......··:--====-:··.
.::*#%@@@@@@@@%#*+=--:··... ..·:=+*#%%%%#*+=:··. ...··:::··..
.·=+*#%@@@@@@@%#*++=--:··. .·:=+*#%%%#*+=-:·.. ........
.:-=+#%%@@@@@%%##*++=-::·. .·:=+*##%##*+=-:·.. .........
.·:=+*#%%@@@@%%%##*++=-:·. .·:-+*#####**+=-:··....···::::···.
.·:-=+*#%%%%%%%%%##*+=-:·. .·:-=**#####*++=---::---=====--:·.
.·:-=+**##%%%@@@@%%#*+=:·. .·:-=+*######**+++++++**##**+=-:·.
...·····..... ......··.... .·::-=+**##%%@@@@@@%#*=-:. .·:-=+**######********###**+=-:·.
..··::----:::···.......··::------::··. .··:-==+**#%@@@@@@@@%#+=:·. ..·:-=+*******+++===+++++==-:·.
.··-==+++++==--::·····::-=+******+=-:·. ..·::-==+*#%@@@@@@@@@%*+-:·. ..·:--======---:::··········..
..··::--:::······::-==+**####**++==------=+*#%@@@@@%#*=-:·. ...···········::-=++*#####**++======++*#%@@@%#*+=-·.
....··.........···::---====---::······::-=%@@@@@@%#*=-:·.......·············:--=+******+==---::---=++*###*+=-:·.
.. ......·····..... ..:-#%@@@@@@%#+=-:·......······......··::-==+++++=--::···.···::--===--:··.
·:+#%@@@@@@%#+=-:············........··:--=====-::·.. ...······..
.·=+#%@@@@@@%*+=-::··········... ...··::------:··. .......
..-=*#@@@@@@%#*+=-::::::::···... ...··:-------:··. .......
.·-=*#@@@@@@%#*+=------::::··... ..··:--======--:··........······..
.·-=*#@@@@@%#**+======----::·........··:-=++*****++==---:::::---:::·..
.:-+*#%@@@%%#**+++++++===--:··......·::-=+*#%%%%%%%##**+++==+==--::·.
.............. .....·····... ·:-+*#%%%%%##*********+++=--:···..··::-=+*#%@@@@@@@%##**++++==--::·.
..·:::---::::···..···::--====-::·. .·:-+*###%##############*++=-::······:--=+*##%%%%%##**+===----:::··.
.·:--=+++++==-:::·:::-=+*#####*=-·. .·:-=+**#########%%%%%%%#*++=-::······::-==+++++++==--::·········..
..·:-=+***+++========++**#####**+=-::····::-=+*#%%%%#*=-:·.......········.....·::-=+*##%%%%##**+++==++**##%%#*+=-:·
.··:--==----:::::::::--=======--:··.....··:+*#%%%%#*+=-:·.....········... ..··:-==++++++==--:::::::--=++===-:·.
...·····.............········.... ·:=*#%%@%%#*+=-:············... ..··::----::··... ...··::::··.
··=+*#%@@%#*+=-::·····:::::··.. ...·····.. .......
.·-+*#%%@%%#*+=-::::::::-:::··.. ........ ..
.·-=+*#%@%%#**+=--::---------:··.. ...···:::···..
..:-+*#%%%%%#*+==----====++===-::··.....··::--==++++==--::···.........
.·-=+*#%%%%#**+======++*****++==--:::::--=++*#%%@@@@%%##*+==---::··...
·:-=+*#%%%#**++====++**######**++======+**#%@@@@@@@@@@@@%#*++==-::··..
............ .......... .·:-+**####**+++==++**##%%%%%%##**++++++**#%@@@@@@@@@@@@%##**+=--::··.
..··::-----:::··.....··:::---::··. ..·:=+***#***++====++**#%%%%%%##**+========++*##%%%%%%%##**++==--::··.
...··:-==++**++==-::····:--=++**+=-:·. .·:-==+***+++=======+**######**+==-::·······::--=========----:::::··.
.·:-=*#%@@@@@@@@@%###***#######*+=-:·... ..·:-+*%@@@%#*=-:.. ..···::····.....··::-==+++++==--::······::------:·.
..·::-=+****+++====----====++===-::·.. ..·=*#%@@@%#+=-·.. ...·····... ...··::::::···.. ..···:::··.
...·········.......···········.. .·=+#%@@@@%*+=:··......······.. ........ ...··..
.·-=*#%@@@%#*+-::········::···.. ....... ....
..:=+#%@@@%%#*=--:::::::----::··.. ..··:::::··...
.:-=*#%@@@%#*+==------===++===-::··.....··::-==++++++==--:··..
.·:=+*#%%%%%#*++=====++**####***+===----==+**#%%@@@@@@%#*+=--:··..
·:-=+*#%%%##**++++++**#%%@@@@@@%%##*****##%@@@@@@@@@@@@@%#*+=-:··...
.·:-=+*#####**++++++*##%@@@@@@@@@@%%######%%@@@@@@@@@@@@@%%#*+=-:··..
............ ...·····... ..·:-=+*****+++====++**#%@@@@@@@@%##*+++==+++**##%@@@@@@@%%#**+=-::·..
...···:::------::··.. ..·::--==--:·.. ..·::-=+++++==-------==++**####**+==-:···...··::--=++**###****+=--:··.
.···::-==++******+=-:·.. ..·:-=+****+=-:·.. ..·::-=====--::······:::-------::·.. .··:--==+++++==--::·.
.·:-=*#%@@@@@@@@@@@@%%#****++++=--:··....·:-=+*#%%%#*+-:.. .··:------:··.. ...········... ..·······.
..··:-=+++****+++=========---::··... ...·::*#%%%%#*=-·.. .··:----::·.. ...·······..... ....······.
....····················... ·:+#%@@@%#*=-·.. ..··::---::··.. ..··::::::::···........···..
·:+*#%@@@%#+=-:·......·::------::··........··::-===++===--:···..........
.·=+#%@@@@%#*=-::·····::-==+++++==--:::::::--=++*######*++=-:··..
.·-+*#%@@@@%#*+=-::::--==+*#######***+++++++**##%%@@@@@%#*+=-:··.
..:=+*%@@@@@%#*+==---==+*##%@@@@@@@@%%###***###%%@@@@@@@%%#*=-:·..
.·:=+*#%@@@%##*++====++*#%%@@@@@@@@@%##***+++**##%%%@@@@%##*+=-··.
.·:=+*#%%%%#**++=====++**#%%%@@%%##*++=---:----=++*##%%%%##*+=-:·..
........... ...·······.. ..·:-=+*****++==--::::---==+++++==--:··........·:--=+*######*+=-:·..
.··:::----::::··... ..·:-=====--:·.. ..·:-==+++==--:···......·········... .·:-=+**###**+=-:·..
.·:-==+**#***++==-:·.. .·:-+*####*+=-:·. ..··:-----::··.. .. ..·:-=+*****+=-:··..
..·:=+#@@@@@@@@@@%#+==--:::---=========----------::··.......··:-=++***++=-:··.. ..··:---------:::::::::::··.
.·:-=++****++=--::·····::::::::::::::::====--::··... ..··:-=++****++=--:···..···::-==+*******++==----::::··.
..··········.....................::=+++==--:··.. ..··:-=++**#***++==-------==+**#%%%%%%##*+==--::::···.
..::+++*+++=-::·.......·:-=++*##%%%###**+++++++**##%%%@@%%##*+=--::····...
..::+******++=-::·....··:--=+*#%%@@@@%%##**+++++***####%###*+==-:··......
..::+**#####**+=-::·····:--=+*#%%@@@@%%#**++=======+++*****+==-:··.
..::++*##%%%%#*++=-:::::::-==+**######**+==-::::::::--==+++==--:·..
.··=++*#%%%%%#**+=-:::··:::--===++++==--::··......··::-======-::·.
.·:-=+*##%%%##*+=-::···..····::::::::···.. ..·::-==+++=--:..
..... ................ ..·:--=+**##**++=-:·... ....·····... .··:-=++++++=-·..
.··:-:::··... ........····::::--:::··... ..·::-==++++==-:··. ....·····.... ..·:-=+*****+=-·.
.·:-=+**++-::···......·····::-==+++++=--:·.. ..··:--===---:··.. ..··::::-:::··........·:-=+**###**=:·.
..·-+*#%@@@%#*+=::·..·:-=+#%@@@@%#+-:·. .··:::::-----==+**##%%%%%%#**+==------==+*##%@@@@@@@%##**+==-::··.
.·:--=+++==-:··.....·::==+***++=-:·. ..·········::--=++*#%@@@@@@@@%%##*******##%@@@@@@@@@@%##**+=--::·.
..·······... ..···:::::··... . .......·····...···::-=+*#%@@@@@@@@@@%%##******##%%@@@@@%%##*++=--::··.
..·.···········.......··:--=+*#%@@@@@@@%##*++=======++*******++==--::····.
..:·-:::::::::···........·::-=++*#####**+=--::······:::--====---::····....
··-:=========--::··... ....··::--====--::··.. ...··::::::··.........
··--++++****+++=--:··.. ...·········... ...·······..
··--****######**+=-:··. ...·····... ...······..
·.--++***###%###*+=-::·.. ..···:::::··.... ...··::::::·..
. ........ ...........::===++**#####**+==-:··........··::--====---::·······::------:·.
.····.. ..·::::::··.. ...············:::--==++******++=--::·····:::-==+******++==--::::--==++++=-:·.
.·:-=--:·.. ..··:-=====-::·.......···:::····......··::-==+*******++===-----==++*##%%%%%##*+==----==++*****+=:·.
...·::--===--::·····:-+#%@@@@@@@%+-· .·:-=++++++==+++**#%%@@@@@@@@@@@@%##******##%%@@@@@@@@%##*+=-::··.
..···::::···......·:-=********=-·. .··:---------==++*#%@@@@@@@@@@@@%%#*+++++++**##%%%%%%##**+=-::··.
........ ..··::::::::··. ..···:::::::::--==+*#%%@@@@@@%#*++=--:::::--==+*******++=--::··.
..·······......···::-==++++++==--:··.......··::--=======-:::···.
..........········... ..···:::::··... ..··::---::::····..
··::-::::::---:::··.. ......... ..·········......
:·=-+++===++++===-::·.. ...·····... ...···..........
::+=#************+==-:··.. ..··::-----::··.. .......... .
:·==#*****####%%###**+=--::·····::--==+*****+==-::··.......···....
...···... ...·······--++++++**##%%%%%%%##**++=======++*##%%%@%%#**+=--::·········...
...... ...··:------:·. ..···::::···::::--==+**#%%@@@@@%%##**+++++**#%%@@@@@@@%%#*+==-------:::·..
..····....·:-=+**##*+=:·. ..······......···:-=+**#%%@@@@%%##**+++++**#%%@@@@@@@@%#**++======--::·.
...... ..··:-=++*#%@@@@@@@@%*=-·. .·:-=+*****+++++++++*##%@@@@@@@@@%#*+==-::::::-==++**##****+=-::··.
..... ...···:--=+********+=-:·. .·:--==++++========++**##%%%%%%%#*+=--:·······::-==+++++++=--::··.
...···::::::::::·.. .··:--------:::::::::--==+++++++=--:··... ...·::--======--::···.
..··:::::::··... ...··:::---:::··.. ..·::------:::···..
.........···::::::··.. .···::::··... ..··:::::::····...
··-:-::::::::----:::·.. ..··::::::··.. ..···::::···.....
:·=-++=============--::··.. ..··:--====--:··.. ...·······......
::+=**++++++++*******++==-:::····::--==+****++=-::·... ....······......
:·==*+++++++**##%%%@@%%%#**++===-===++*##%%%%#*+=-::··.....······....
............ ....·····-:==----==++*#%%@@@@@@@@%##*++++++**#%%@@@@@%#*+=-::···········...
...··::-------::·.. ..·······::···:::-=++*#%@@@@@@@%##**++++++*##%@@@@@@%%#+==-::::::::···..
..··:--=++***#***+=:·. ....·.........··::-=++*###%###**+===--==++*#%@@@@@@@%#*+=---:::::::··.
... ·:=*#%@@@@@@%%##*+++=--::·.. ..·:-=+*#%%%@@%%%##**+++++***#######*++=-:·. .··:-=++****+==-:·.
. .·:-=++***+++++=====--::··.. ..·:-=+*##%%%%##**++=======+++***#***+=-:·.. ..·:--==+++==--:·.
...····:::::::::::····.... ....·::-=+++***++==--::····::--==++**++==-:·.. ..··:---==---::·.
. .......··:::-------::··... ...··:--=+++++==-:·.. ..··:::--::::··.
..····.....····:::::···.. ..·:--=+++++==-:·.. ...···::::·····.
··::::··....····::::::··... ..··:-=+****++=-:·... ....··········..
··-:--::·····:::----=----::··......·::-=+**##**+=-:··.....................
··--==--:::::--==+******++=--::····::-==+*#####*+=-::··..................
··--===-----==++*##%%%%%%##*+=--:::::-=++*#%%%##*+=--:····.··......
........ .......::==------==++*##%@@@@@%%#*+==--::--==+*#%%%%%#*+=--::·······...
.··:-----::···.... ..···:::-----:::---==+*##%%%%%%#*++=--:::--=+*##%%%%##*+=--:::::····...
.:-=+**##**++===--:··. .··::-----:::······::--=++**###*++=--:::::--=+*#%%%%%#**+=----:::::··..
███╗ ███╗ ██████╗ ███████╗███╗ ███╗
████╗ ████║██╔════╝ ██╔════╝████╗ ████║
██╔████╔██║██║ ███╗███████╗██╔████╔██║
██║╚██╔╝██║██║ ██║╚════██║██║╚██╔╝██║
██║ ╚═╝ ██║╚██████╔╝███████║██║ ╚═╝ ██║
╚═╝ ╚═╝ ╚═════╝ ╚══════╝╚═╝ ╚═╝$ open /benchmarks/mgsm/tasks/ja--test--5b85bfed-9e7e-5…▌ posts · files
MGSM / チャドは自分で作るブリトーをランチに注文しました。基本のブリトーは6.50です。追加の肉を2.00、追加のチーズを1.00、1.00アボカド、…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
question
チャドは自分で作るブリトーをランチに注文しました。基本のブリトーは
$6.50です。追加の肉を$2.00、追加のチーズを$1.00、$1.00アボカド、$0.25のソースを2つ注文付けます。彼はランチに追加で$3.00払ってアップグレードし、ポテトチップスと飲み物を付けました。会計時に使える$5.00のギフトカードを持っています。彼の料金は今いくらになりますか？Plain-text mathematical notation (without MathML)
チャドは自分で作るブリトーをランチに注文しました。基本のブリトーは$6.50です。追加の肉を$2.00、追加のチーズを$1.00、$1.00アボカド、$0.25のソースを2つ注文付けます。彼はランチに追加で$3.00払ってアップグレードし、ポテトチップスと飲み物を付けました。会計時に使える$5.00のギフトカードを持っています。彼の料金は今いくらになりますか？
Original LaTeX notation
チャドは自分で作るブリトーをランチに注文しました。基本のブリトーは$6.50です。追加の肉を$2.00、追加のチーズを$1.00、$1.00アボカド、$0.25のソースを2つ注文付けます。彼はランチに追加で$3.00払ってアップグレードし、ポテトチップスと飲み物を付けました。会計時に使える$5.00のギフトカードを持っています。彼の料金は今いくらになりますか？
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
5b85bfed-9e7e-5ede-b610-4c32fd35cad5- task_key
ja--test--5b85bfed-9e7e-5ede-b610-4c32fd35cad5- task_revision_id
- 1
- config / split
- ja / test
initial import