benchmarks.wiki / Public workspace
.·-=*%@@@@@%#*+==----===+++++++========++*#%@@@@@@@@@@@@@@%#***++*****##**+=-:·. .:=+#%@@@%#*=-:·.
..·-==+**+++=--::::::----------::::·---==++*#%%@@@@@@%%##*+++===+++**#####*+=-·. .:-+*%%@%#+=-:·.
..···::······.....·········....··:·····::--===+++++===---:::---=+*##%%%%#*+-:. .:-+*#%#*+=-:·.
...... ...····:::······.···:-=+*#%%@@%%*+-:. .·:-=+**++=-:·.
..... ...............··:-=*#%@@@@%#+=:. .·:-=++==--:·.
..... ...·····.... ..·:-+*#%@@@@%#+=:. .·:------::·.
..··:··... ...··:::--:::··... ..·:-+*%@@@@@%#+-:. .··:::::···.
··--+==--::::::--===++++==-::·... ...·:=+#%@@@@@%*+-:. ...······...
··==##***++++++++**######*+=-:··.....·:-=*#@@@@@@%*=-·.. ..........
..... ...····++%%%###***++***##%%%%%##*+=:··.....·:-+*%@@@@@%#*=-··. ..
.··:::::··.............. ..··:--====%%##**++++=+++**#%%%%%%#*+-:·... ..·:=+#%@@@@@%#+=-:·....
.·:-=+****+=-------------::··........··:--=+++***++===---:---=++*##%%%#*+=-:·.. .·:-=*#@@@@@@#*+=-:···.....
.......·:-=+**####*++=--::::-==+*#%%@@@@@%%##******##%@@@@@@@@@@@@@%##**++++++++++=-:·. .:=*%@@@@@@#+-·..
...··:--=====--::········::---====---::-::::::::--==+**#####***++++++***###**+=-·. .:=*%@@@@@%+=:·..
....······..... ........... .. ..·::---=========++**#%%%%#*+-·. ·-+#%@@@@%*=-·..
..···:::::::--=+*#%@@@@%#+-·. .·-+#%@@@%*=-:·.
....·······:-=+*#@@@@@%#+-·. .:-+#%%%#*=-:·..
.... .............·::=+#%@@@@@%#+-· .:=+*##*+=-:·..
··--++==-::····..··········........·:=+#@@@@@@%*=:. ·:-++*+=-::·..
::**@@@@%##*++===--------::··.. ..·-=*%@@@@@@%*=:. .·:-===--:·..
::**@@@@@@@@%##******+++==-:··. .·-+#@@@@@@@#+-·. .·::--::··..
.. ...................····::::**@@@@@@@@@%%#########*++=:·.. .:-+#@@@@@@@#+-· .··::··...
..·······.......··:::------::::······:::--==++@@@@@@%%#########%%%##*+=:·. .·:=*%@@@@@@%*=:·. ...··...
·:-===+==---::---==++****++==--:···....··::--==+++++++++++++**##%%%%#*+-:·. .·-+#@@@@@@@%*=:·. .......
..········::-==+++++==--::···:::-==++******+==-::······::-=++*#%%%%%##*++=---::::::···........·:-+*#%@@%%*+=:·..
..........··:::---:::··... .....···.... .·:--=+*******++===-----:::··.. ..·:=+*%%@@%#*+-·...
........... .·:-==++++++++========--:··. .·-=*#%%@%%#+-:·..
.·:--========+++++++==-:·.. .:-=*#%%%%#*=:·..
..·.. ..·::----====++++***++=-:·. ..:-+*#%%%#*+-:·.
··--*++=-:··.. ..··::::----==++***#**+=-:.. .·:-+*#%%##+-:·.
::**@@@@@%*+=-:··.....····::::::--==+**####*+=-·. .·:=+*###*+-:·.
::**@@@@@@@@%*+=--:::··········:::-==+*#%%%##+=:·. .·:=+****+-:·.
::**@@@@@@@@@@#*++=----::::·······:-=+*#%%@%%#+=:· .·:-=+++=-:·..
.. .....············.......····:**@@@@@@@@@@%##*++===---::·······:-=+#%@@@@%#+-:. .·:-==+=-:·..
..·······......···:::-----:::··.... ...··:-*#%@@@@@@@%##***+++==--::··...··:-+*#@@@@@%#+-:. ..·:-===-:··.
.·::--==--::·······:::::::::··. ..·:-=+**#####******+++=--:··.....·:=+#%@@@@@%#+-:. .·::-=--::·..
..········::--=++++++=--:··.. ....······... .··:-=+*****+=-:·. ..·:-=++****++===-----:::::······..
..........···::::::::··.. .·:-=+*##**+=-:·. ..·:-==+++++++=====---::::··......
........... . .·:-+**###*+=-:·.. ..··:--==+++++=======--:::·.....
.··::··.. .·:-=+*####*+=-:·... ...·::---=======+++===--::·..
··-=**+=--:·.. ..·:-=+*####*+=-:··......··:::----====++++++==-:·.
::**@@@%#*+-:··.....··:-+**####*+=-:··.....····::::---===++++++==-:..
::**@@@@@@%*+-:··....·:-=+**###**+=-::············::::--==++**+++=:·.
::**@@@@@@@%#+=:··...··:-=+**##**++=--::·············:::-==++****+=:·.
··+*@@@@@@@@%*+=::·····:--=+******++=--:::::······..····:-==+*****+=:·.
...... ............ ..-=%@@@@@@@%#*+-::····::-==+*****++===----:::···......··:-==+*###*+=-:·.
..·······... .... .·=+*%%@@@%#*+=-:·····::-==++***++++=====---::··.......·:-=+*##%#*+=-:·.
..·:-----::·.. ·:-+*#%%%#*+=--:····::--==+++++++++++++===--:··.......·:-=+*#%%#*+=-:·
.··:::------==++*****++=-::·. ..··:::::::·········::-=====-:·. .:=*%@@@@@@#+-:·. ..··:-====--::·.
....·········::::----:::··.. ...····----:::·····::-==+***+=-:. ·:+#@@@@@@%*=-:·.. ...··::--:::··..
............... ....::++===--::::::--=+*####*+-:. .·-+#@@@@@%#+=-:·......·······....
.·--***++==--::::--=+*#%%%#*+-·. .:=*#@@@@@%*+=-:··.....··....
··==####*+==-:::::-=+*#%@@@%#+-·. .:=*#%@@@%#*+=-::······...
··=+%%%##*+=-:::::--+*#%@@@@%*+-· .·-=*#%%%%#*++=--:::::···.
··==%%%%#*+=--:···:-=+#%@@@@@%*=:. .·-=+*####**++===-----::·..
.·-=#%%%#**+=-:····:-=*#@@@@@@%*=:. .·-=++*****+++++++++++=-:·..
..:-*#####*+=-:·..··:-+*%@@@@@@#+-·. ..·:-==+++++++++***####*+=-:·.
........ ·:=+*##**+=-:·....·:=+#@@@@@@%#+-·. .··:---======++**#%@@@%#*+=-:.
..··:::::··.. .·-=+****+=-:·.....·-=*%@@@@@@%*=-·. ..··:::::----==+*#%@@@%#*+=-:·.
..·:--====-:··. . .·:-=+***+=-:·.. ..:-+#@@@@@@@%*=-:·.. ....········:::--=+*#%@%#*+=-:·.
.·:--==+++====+++********++=--::······::-==+**#####**++=---:::::···. .·-+#@@@@@@@#+-:. ..·:=+*###*+=-:·.
...············:::----------:::········::--==%%%%%%##**++=====--::·. .·-+%@@@@@@%#+-·. ..·:-=+++==-:··.
.....·········............·-=#%%%%%%###****+++++=-:·. .:=*%@@@@@@%*=:·. ..··:---::··..
..--*##%%%%####****###**+=-·. .:=*%@@@@@@#*=:·.. ..·····..
..::+***####*****###%%%##*=-·. ·-+#@@@@@@%#+=:··.. .......
.··==++++**++****#%%@@@%#*=-· ·-+#%@@@@@%#+=-:··..........
.·:--========++*##%@@@@@%*=:· .·-+*%@@@@%#*+=--:::·:::::···..
..::---------==+*#%@@@@@@%*=:. .·-=*#%%%%%#**+========++==-::·..
..·::::::::::--=+*#@@@@@@@%*=:. .·:=+*######***+++***#%%%#*+=-:·
....···.... ..... ..··::::::····:-=+*%@@@@@@@%*=:. .·:-=+***********##%@@@%#*+=-:·.
..··::---:::··.. ....······..........··::::····.···:=+#@@@@@@@@%*=:. .·:-===++++++++**#%@@%#*+=-:·.
..·:-==++++==--:··.......··:::---:::···....····::::···.....·:=+#@@@@@@@@@#=:·. ..··::-----------==+**+++=-:·.
.··:--===---::::--==++**####***+===-----=+**#%@@@@@@@%*+=-:·... ....·::-=*##%%%%#*+=-:······:-=+*#%%@%#*=-:·.
...............··::---=====---:::····::--=+@@@@@@@@%#*+=-:··.... ..··:-+*#%%%%%#*+=::·....··:-=+*##**+=-:·.
.....·······............-=#@@@@@@@@@%*+=--:··.... ..·:=+*#%%%%#*+=-:·......··:--====-:··.
.::*#%@@@@@@@@%#*+=--:··... ..·:=+*#%%%%#*+=:··. ...··:::··..
.·=+*#%@@@@@@@%#*++=--:··. .·:=+*#%%%#*+=-:·.. ........
.:-=+#%%@@@@@%%##*++=-::·. .·:=+*##%##*+=-:·.. .........
.·:=+*#%%@@@@%%%##*++=-:·. .·:-+*#####**+=-:··....···::::···.
.·:-=+*#%%%%%%%%%##*+=-:·. .·:-=**#####*++=---::---=====--:·.
.·:-=+**##%%%@@@@%%#*+=:·. .·:-=+*######**+++++++**##**+=-:·.
...·····..... ......··.... .·::-=+**##%%@@@@@@%#*=-:. .·:-=+**######********###**+=-:·.
..··::----:::···.......··::------::··. .··:-==+**#%@@@@@@@@%#+=:·. ..·:-=+*******+++===+++++==-:·.
.··-==+++++==--::·····::-=+******+=-:·. ..·::-==+*#%@@@@@@@@@%*+-:·. ..·:--======---:::··········..
..··::--:::······::-==+**####**++==------=+*#%@@@@@%#*=-:·. ...···········::-=++*#####**++======++*#%@@@%#*+=-·.
....··.........···::---====---::······::-=%@@@@@@%#*=-:·.......·············:--=+******+==---::---=++*###*+=-:·.
.. ......·····..... ..:-#%@@@@@@%#+=-:·......······......··::-==+++++=--::···.···::--===--:··.
·:+#%@@@@@@%#+=-:············........··:--=====-::·.. ...······..
.·=+#%@@@@@@%*+=-::··········... ...··::------:··. .......
..-=*#@@@@@@%#*+=-::::::::···... ...··:-------:··. .......
.·-=*#@@@@@@%#*+=------::::··... ..··:--======--:··........······..
.·-=*#@@@@@%#**+======----::·........··:-=++*****++==---:::::---:::·..
.:-+*#%@@@%%#**+++++++===--:··......·::-=+*#%%%%%%%##**+++==+==--::·.
.............. .....·····... ·:-+*#%%%%%##*********+++=--:···..··::-=+*#%@@@@@@@%##**++++==--::·.
..·:::---::::···..···::--====-::·. .·:-+*###%##############*++=-::······:--=+*##%%%%%##**+===----:::··.
.·:--=+++++==-:::·:::-=+*#####*=-·. .·:-=+**#########%%%%%%%#*++=-::······::-==+++++++==--::·········..
..·:-=+***+++========++**#####**+=-::····::-=+*#%%%%#*=-:·.......········.....·::-=+*##%%%%##**+++==++**##%%#*+=-:·
.··:--==----:::::::::--=======--:··.....··:+*#%%%%#*+=-:·.....········... ..··:-==++++++==--:::::::--=++===-:·.
...·····.............········.... ·:=*#%%@%%#*+=-:············... ..··::----::··... ...··::::··.
··=+*#%@@%#*+=-::·····:::::··.. ...·····.. .......
.·-+*#%%@%%#*+=-::::::::-:::··.. ........ ..
.·-=+*#%@%%#**+=--::---------:··.. ...···:::···..
..:-+*#%%%%%#*+==----====++===-::··.....··::--==++++==--::···.........
.·-=+*#%%%%#**+======++*****++==--:::::--=++*#%%@@@@%%##*+==---::··...
·:-=+*#%%%#**++====++**######**++======+**#%@@@@@@@@@@@@%#*++==-::··..
............ .......... .·:-+**####**+++==++**##%%%%%%##**++++++**#%@@@@@@@@@@@@%##**+=--::··.
..··::-----:::··.....··:::---::··. ..·:=+***#***++====++**#%%%%%%##**+========++*##%%%%%%%##**++==--::··.
...··:-==++**++==-::····:--=++**+=-:·. .·:-==+***+++=======+**######**+==-::·······::--=========----:::::··.
.·:-=*#%@@@@@@@@@%###***#######*+=-:·... ..·:-+*%@@@%#*=-:.. ..···::····.....··::-==+++++==--::······::------:·.
..·::-=+****+++====----====++===-::·.. ..·=*#%@@@%#+=-·.. ...·····... ...··::::::···.. ..···:::··.
...·········.......···········.. .·=+#%@@@@%*+=:··......······.. ........ ...··..
.·-=*#%@@@%#*+-::········::···.. ....... ....
..:=+#%@@@%%#*=--:::::::----::··.. ..··:::::··...
.:-=*#%@@@%#*+==------===++===-::··.....··::-==++++++==--:··..
.·:=+*#%%%%%#*++=====++**####***+===----==+**#%%@@@@@@%#*+=--:··..
·:-=+*#%%%##**++++++**#%%@@@@@@%%##*****##%@@@@@@@@@@@@@%#*+=-:··...
.·:-=+*#####**++++++*##%@@@@@@@@@@%%######%%@@@@@@@@@@@@@%%#*+=-:··..
............ ...·····... ..·:-=+*****+++====++**#%@@@@@@@@%##*+++==+++**##%@@@@@@@%%#**+=-::·..
...···:::------::··.. ..·::--==--:·.. ..·::-=+++++==-------==++**####**+==-:···...··::--=++**###****+=--:··.
.···::-==++******+=-:·.. ..·:-=+****+=-:·.. ..·::-=====--::······:::-------::·.. .··:--==+++++==--::·.
.·:-=*#%@@@@@@@@@@@@%%#****++++=--:··....·:-=+*#%%%#*+-:.. .··:------:··.. ...········... ..·······.
..··:-=+++****+++=========---::··... ...·::*#%%%%#*=-·.. .··:----::·.. ...·······..... ....······.
....····················... ·:+#%@@@%#*=-·.. ..··::---::··.. ..··::::::::···........···..
·:+*#%@@@%#+=-:·......·::------::··........··::-===++===--:···..........
.·=+#%@@@@%#*=-::·····::-==+++++==--:::::::--=++*######*++=-:··..
.·-+*#%@@@@%#*+=-::::--==+*#######***+++++++**##%%@@@@@%#*+=-:··.
..:=+*%@@@@@%#*+==---==+*##%@@@@@@@@%%###***###%%@@@@@@@%%#*=-:·..
.·:=+*#%@@@%##*++====++*#%%@@@@@@@@@%##***+++**##%%%@@@@%##*+=-··.
.·:=+*#%%%%#**++=====++**#%%%@@%%##*++=---:----=++*##%%%%##*+=-:·..
........... ...·······.. ..·:-=+*****++==--::::---==+++++==--:··........·:--=+*######*+=-:·..
.··:::----::::··... ..·:-=====--:·.. ..·:-==+++==--:···......·········... .·:-=+**###**+=-:·..
.·:-==+**#***++==-:·.. .·:-+*####*+=-:·. ..··:-----::··.. .. ..·:-=+*****+=-:··..
..·:=+#@@@@@@@@@@%#+==--:::---=========----------::··.......··:-=++***++=-:··.. ..··:---------:::::::::::··.
.·:-=++****++=--::·····::::::::::::::::====--::··... ..··:-=++****++=--:···..···::-==+*******++==----::::··.
..··········.....................::=+++==--:··.. ..··:-=++**#***++==-------==+**#%%%%%%##*+==--::::···.
..::+++*+++=-::·.......·:-=++*##%%%###**+++++++**##%%%@@%%##*+=--::····...
..::+******++=-::·....··:--=+*#%%@@@@%%##**+++++***####%###*+==-:··......
..::+**#####**+=-::·····:--=+*#%%@@@@%%#**++=======+++*****+==-:··.
..::++*##%%%%#*++=-:::::::-==+**######**+==-::::::::--==+++==--:·..
.··=++*#%%%%%#**+=-:::··:::--===++++==--::··......··::-======-::·.
.·:-=+*##%%%##*+=-::···..····::::::::···.. ..·::-==+++=--:..
..... ................ ..·:--=+**##**++=-:·... ....·····... .··:-=++++++=-·..
.··:-:::··... ........····::::--:::··... ..·::-==++++==-:··. ....·····.... ..·:-=+*****+=-·.
.·:-=+**++-::···......·····::-==+++++=--:·.. ..··:--===---:··.. ..··::::-:::··........·:-=+**###**=:·.
..·-+*#%@@@%#*+=::·..·:-=+#%@@@@%#+-:·. .··:::::-----==+**##%%%%%%#**+==------==+*##%@@@@@@@%##**+==-::··.
.·:--=+++==-:··.....·::==+***++=-:·. ..·········::--=++*#%@@@@@@@@%%##*******##%@@@@@@@@@@%##**+=--::·.
..·······... ..···:::::··... . .......·····...···::-=+*#%@@@@@@@@@@%%##******##%%@@@@@%%##*++=--::··.
..·.···········.......··:--=+*#%@@@@@@@%##*++=======++*******++==--::····.
..:·-:::::::::···........·::-=++*#####**+=--::······:::--====---::····....
··-:=========--::··... ....··::--====--::··.. ...··::::::··.........
··--++++****+++=--:··.. ...·········... ...·······..
··--****######**+=-:··. ...·····... ...······..
·.--++***###%###*+=-::·.. ..···:::::··.... ...··::::::·..
. ........ ...........::===++**#####**+==-:··........··::--====---::·······::------:·.
.····.. ..·::::::··.. ...············:::--==++******++=--::·····:::-==+******++==--::::--==++++=-:·.
.·:-=--:·.. ..··:-=====-::·.......···:::····......··::-==+*******++===-----==++*##%%%%%##*+==----==++*****+=:·.
...·::--===--::·····:-+#%@@@@@@@%+-· .·:-=++++++==+++**#%%@@@@@@@@@@@@%##******##%%@@@@@@@@%##*+=-::··.
..···::::···......·:-=********=-·. .··:---------==++*#%@@@@@@@@@@@@%%#*+++++++**##%%%%%%##**+=-::··.
........ ..··::::::::··. ..···:::::::::--==+*#%%@@@@@@%#*++=--:::::--==+*******++=--::··.
..·······......···::-==++++++==--:··.......··::--=======-:::···.
..........········... ..···:::::··... ..··::---::::····..
··::-::::::---:::··.. ......... ..·········......
:·=-+++===++++===-::·.. ...·····... ...···..........
::+=#************+==-:··.. ..··::-----::··.. .......... .
:·==#*****####%%###**+=--::·····::--==+*****+==-::··.......···....
...···... ...·······--++++++**##%%%%%%%##**++=======++*##%%%@%%#**+=--::·········...
...... ...··:------:·. ..···::::···::::--==+**#%%@@@@@%%##**+++++**#%%@@@@@@@%%#*+==-------:::·..
..····....·:-=+**##*+=:·. ..······......···:-=+**#%%@@@@%%##**+++++**#%%@@@@@@@@%#**++======--::·.
...... ..··:-=++*#%@@@@@@@@%*=-·. .·:-=+*****+++++++++*##%@@@@@@@@@%#*+==-::::::-==++**##****+=-::··.
..... ...···:--=+********+=-:·. .·:--==++++========++**##%%%%%%%#*+=--:·······::-==+++++++=--::··.
...···::::::::::·.. .··:--------:::::::::--==+++++++=--:··... ...·::--======--::···.
..··:::::::··... ...··:::---:::··.. ..·::------:::···..
.........···::::::··.. .···::::··... ..··:::::::····...
··-:-::::::::----:::·.. ..··::::::··.. ..···::::···.....
:·=-++=============--::··.. ..··:--====--:··.. ...·······......
::+=**++++++++*******++==-:::····::--==+****++=-::·... ....······......
:·==*+++++++**##%%%@@%%%#**++===-===++*##%%%%#*+=-::··.....······....
............ ....·····-:==----==++*#%%@@@@@@@@%##*++++++**#%%@@@@@%#*+=-::···········...
...··::-------::·.. ..·······::···:::-=++*#%@@@@@@@%##**++++++*##%@@@@@@%%#+==-::::::::···..
..··:--=++***#***+=:·. ....·.........··::-=++*###%###**+===--==++*#%@@@@@@@%#*+=---:::::::··.
... ·:=*#%@@@@@@%%##*+++=--::·.. ..·:-=+*#%%%@@%%%##**+++++***#######*++=-:·. .··:-=++****+==-:·.
. .·:-=++***+++++=====--::··.. ..·:-=+*##%%%%##**++=======+++***#***+=-:·.. ..·:--==+++==--:·.
...····:::::::::::····.... ....·::-=+++***++==--::····::--==++**++==-:·.. ..··:---==---::·.
. .......··:::-------::··... ...··:--=+++++==-:·.. ..··:::--::::··.
..····.....····:::::···.. ..·:--=+++++==-:·.. ...···::::·····.
··::::··....····::::::··... ..··:-=+****++=-:·... ....··········..
··-:--::·····:::----=----::··......·::-=+**##**+=-:··.....................
··--==--:::::--==+******++=--::····::-==+*#####*+=-::··..................
··--===-----==++*##%%%%%%##*+=--:::::-=++*#%%%##*+=--:····.··......
........ .......::==------==++*##%@@@@@%%#*+==--::--==+*#%%%%%#*+=--::·······...
.··:-----::···.... ..···:::-----:::---==+*##%%%%%%#*++=--:::--=+*##%%%%##*+=--:::::····...
.:-=+**##**++===--:··. .··::-----:::······::--=++**###*++=--:::::--=+*#%%%%%#**+=----:::::··..
███╗ ███╗ ██████╗ ███████╗███╗ ███╗
████╗ ████║██╔════╝ ██╔════╝████╗ ████║
██╔████╔██║██║ ███╗███████╗██╔████╔██║
██║╚██╔╝██║██║ ██║╚════██║██║╚██╔╝██║
██║ ╚═╝ ██║╚██████╔╝███████║██║ ╚═╝ ██║
╚═╝ ╚═╝ ╚═════╝ ╚══════╝╚═╝ ╚═╝$ open /benchmarks/mgsm/tasks/de--test--a03c2585-7215-5…▌ posts · files
MGSM / Zaid gibt 1/4 seines Lohns für Miete und 1/3 für Autobenzin aus und spendet die…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
question
Zaid gibt 1/4 seines Lohns für Miete und 1/3 für Autobenzin aus und spendet die Hälfte des verbleibenden Betrags an seine bevorzugte karitative Einrichtung. Er gibt seiner Tochter 200
$, um sie für ihre wöchentlichen Ausgaben zu verwenden, und seiner Frau 700 $, um Lebensmittel und andere Haushaltswaren einzuplanen. Wenn Zaid 6000 $ pro Monat verdient, wie viel Geld wird er dann nach all diesen Ausgabe und Spenden noch haben?Plain-text mathematical notation (without MathML)
Zaid gibt 1/4 seines Lohns für Miete und 1/3 für Autobenzin aus und spendet die Hälfte des verbleibenden Betrags an seine bevorzugte karitative Einrichtung. Er gibt seiner Tochter 200 $, um sie für ihre wöchentlichen Ausgaben zu verwenden, und seiner Frau 700 $, um Lebensmittel und andere Haushaltswaren einzuplanen. Wenn Zaid 6000 $ pro Monat verdient, wie viel Geld wird er dann nach all diesen Ausgabe und Spenden noch haben?
Original LaTeX notation
Zaid gibt 1/4 seines Lohns für Miete und 1/3 für Autobenzin aus und spendet die Hälfte des verbleibenden Betrags an seine bevorzugte karitative Einrichtung. Er gibt seiner Tochter 200 $, um sie für ihre wöchentlichen Ausgaben zu verwenden, und seiner Frau 700 $, um Lebensmittel und andere Haushaltswaren einzuplanen. Wenn Zaid 6000 $ pro Monat verdient, wie viel Geld wird er dann nach all diesen Ausgabe und Spenden noch haben?
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
a03c2585-7215-5ac7-8d7a-53b49d62e7e1- task_key
de--test--a03c2585-7215-5ac7-8d7a-53b49d62e7e1- task_revision_id
- 1
- config / split
- de / test
initial import