benchmarks.wiki / Public workspace
.·-=*%@@@@@%#*+==----===+++++++========++*#%@@@@@@@@@@@@@@%#***++*****##**+=-:·. .:=+#%@@@%#*=-:·.
..·-==+**+++=--::::::----------::::·---==++*#%%@@@@@@%%##*+++===+++**#####*+=-·. .:-+*%%@%#+=-:·.
..···::······.....·········....··:·····::--===+++++===---:::---=+*##%%%%#*+-:. .:-+*#%#*+=-:·.
...... ...····:::······.···:-=+*#%%@@%%*+-:. .·:-=+**++=-:·.
..... ...............··:-=*#%@@@@%#+=:. .·:-=++==--:·.
..... ...·····.... ..·:-+*#%@@@@%#+=:. .·:------::·.
..··:··... ...··:::--:::··... ..·:-+*%@@@@@%#+-:. .··:::::···.
··--+==--::::::--===++++==-::·... ...·:=+#%@@@@@%*+-:. ...······...
··==##***++++++++**######*+=-:··.....·:-=*#@@@@@@%*=-·.. ..........
..... ...····++%%%###***++***##%%%%%##*+=:··.....·:-+*%@@@@@%#*=-··. ..
.··:::::··.............. ..··:--====%%##**++++=+++**#%%%%%%#*+-:·... ..·:=+#%@@@@@%#+=-:·....
.·:-=+****+=-------------::··........··:--=+++***++===---:---=++*##%%%#*+=-:·.. .·:-=*#@@@@@@#*+=-:···.....
.......·:-=+**####*++=--::::-==+*#%%@@@@@%%##******##%@@@@@@@@@@@@@%##**++++++++++=-:·. .:=*%@@@@@@#+-·..
...··:--=====--::········::---====---::-::::::::--==+**#####***++++++***###**+=-·. .:=*%@@@@@%+=:·..
....······..... ........... .. ..·::---=========++**#%%%%#*+-·. ·-+#%@@@@%*=-·..
..···:::::::--=+*#%@@@@%#+-·. .·-+#%@@@%*=-:·.
....·······:-=+*#@@@@@%#+-·. .:-+#%%%#*=-:·..
.... .............·::=+#%@@@@@%#+-· .:=+*##*+=-:·..
··--++==-::····..··········........·:=+#@@@@@@%*=:. ·:-++*+=-::·..
::**@@@@%##*++===--------::··.. ..·-=*%@@@@@@%*=:. .·:-===--:·..
::**@@@@@@@@%##******+++==-:··. .·-+#@@@@@@@#+-·. .·::--::··..
.. ...................····::::**@@@@@@@@@%%#########*++=:·.. .:-+#@@@@@@@#+-· .··::··...
..·······.......··:::------::::······:::--==++@@@@@@%%#########%%%##*+=:·. .·:=*%@@@@@@%*=:·. ...··...
·:-===+==---::---==++****++==--:···....··::--==+++++++++++++**##%%%%#*+-:·. .·-+#@@@@@@@%*=:·. .......
..········::-==+++++==--::···:::-==++******+==-::······::-=++*#%%%%%##*++=---::::::···........·:-+*#%@@%%*+=:·..
..........··:::---:::··... .....···.... .·:--=+*******++===-----:::··.. ..·:=+*%%@@%#*+-·...
........... .·:-==++++++++========--:··. .·-=*#%%@%%#+-:·..
.·:--========+++++++==-:·.. .:-=*#%%%%#*=:·..
..·.. ..·::----====++++***++=-:·. ..:-+*#%%%#*+-:·.
··--*++=-:··.. ..··::::----==++***#**+=-:.. .·:-+*#%%##+-:·.
::**@@@@@%*+=-:··.....····::::::--==+**####*+=-·. .·:=+*###*+-:·.
::**@@@@@@@@%*+=--:::··········:::-==+*#%%%##+=:·. .·:=+****+-:·.
::**@@@@@@@@@@#*++=----::::·······:-=+*#%%@%%#+=:· .·:-=+++=-:·..
.. .....············.......····:**@@@@@@@@@@%##*++===---::·······:-=+#%@@@@%#+-:. .·:-==+=-:·..
..·······......···:::-----:::··.... ...··:-*#%@@@@@@@%##***+++==--::··...··:-+*#@@@@@%#+-:. ..·:-===-:··.
.·::--==--::·······:::::::::··. ..·:-=+**#####******+++=--:··.....·:=+#%@@@@@%#+-:. .·::-=--::·..
..········::--=++++++=--:··.. ....······... .··:-=+*****+=-:·. ..·:-=++****++===-----:::::······..
..........···::::::::··.. .·:-=+*##**+=-:·. ..·:-==+++++++=====---::::··......
........... . .·:-+**###*+=-:·.. ..··:--==+++++=======--:::·.....
.··::··.. .·:-=+*####*+=-:·... ...·::---=======+++===--::·..
··-=**+=--:·.. ..·:-=+*####*+=-:··......··:::----====++++++==-:·.
::**@@@%#*+-:··.....··:-+**####*+=-:··.....····::::---===++++++==-:..
::**@@@@@@%*+-:··....·:-=+**###**+=-::············::::--==++**+++=:·.
::**@@@@@@@%#+=:··...··:-=+**##**++=--::·············:::-==++****+=:·.
··+*@@@@@@@@%*+=::·····:--=+******++=--:::::······..····:-==+*****+=:·.
...... ............ ..-=%@@@@@@@%#*+-::····::-==+*****++===----:::···......··:-==+*###*+=-:·.
..·······... .... .·=+*%%@@@%#*+=-:·····::-==++***++++=====---::··.......·:-=+*##%#*+=-:·.
..·:-----::·.. ·:-+*#%%%#*+=--:····::--==+++++++++++++===--:··.......·:-=+*#%%#*+=-:·
.··:::------==++*****++=-::·. ..··:::::::·········::-=====-:·. .:=*%@@@@@@#+-:·. ..··:-====--::·.
....·········::::----:::··.. ...····----:::·····::-==+***+=-:. ·:+#@@@@@@%*=-:·.. ...··::--:::··..
............... ....::++===--::::::--=+*####*+-:. .·-+#@@@@@%#+=-:·......·······....
.·--***++==--::::--=+*#%%%#*+-·. .:=*#@@@@@%*+=-:··.....··....
··==####*+==-:::::-=+*#%@@@%#+-·. .:=*#%@@@%#*+=-::······...
··=+%%%##*+=-:::::--+*#%@@@@%*+-· .·-=*#%%%%#*++=--:::::···.
··==%%%%#*+=--:···:-=+#%@@@@@%*=:. .·-=+*####**++===-----::·..
.·-=#%%%#**+=-:····:-=*#@@@@@@%*=:. .·-=++*****+++++++++++=-:·..
..:-*#####*+=-:·..··:-+*%@@@@@@#+-·. ..·:-==+++++++++***####*+=-:·.
........ ·:=+*##**+=-:·....·:=+#@@@@@@%#+-·. .··:---======++**#%@@@%#*+=-:.
..··:::::··.. .·-=+****+=-:·.....·-=*%@@@@@@%*=-·. ..··:::::----==+*#%@@@%#*+=-:·.
..·:--====-:··. . .·:-=+***+=-:·.. ..:-+#@@@@@@@%*=-:·.. ....········:::--=+*#%@%#*+=-:·.
.·:--==+++====+++********++=--::······::-==+**#####**++=---:::::···. .·-+#@@@@@@@#+-:. ..·:=+*###*+=-:·.
...············:::----------:::········::--==%%%%%%##**++=====--::·. .·-+%@@@@@@%#+-·. ..·:-=+++==-:··.
.....·········............·-=#%%%%%%###****+++++=-:·. .:=*%@@@@@@%*=:·. ..··:---::··..
..--*##%%%%####****###**+=-·. .:=*%@@@@@@#*=:·.. ..·····..
..::+***####*****###%%%##*=-·. ·-+#@@@@@@%#+=:··.. .......
.··==++++**++****#%%@@@%#*=-· ·-+#%@@@@@%#+=-:··..........
.·:--========++*##%@@@@@%*=:· .·-+*%@@@@%#*+=--:::·:::::···..
..::---------==+*#%@@@@@@%*=:. .·-=*#%%%%%#**+========++==-::·..
..·::::::::::--=+*#@@@@@@@%*=:. .·:=+*######***+++***#%%%#*+=-:·
....···.... ..... ..··::::::····:-=+*%@@@@@@@%*=:. .·:-=+***********##%@@@%#*+=-:·.
..··::---:::··.. ....······..........··::::····.···:=+#@@@@@@@@%*=:. .·:-===++++++++**#%@@%#*+=-:·.
..·:-==++++==--:··.......··:::---:::···....····::::···.....·:=+#@@@@@@@@@#=:·. ..··::-----------==+**+++=-:·.
.··:--===---::::--==++**####***+===-----=+**#%@@@@@@@%*+=-:·... ....·::-=*##%%%%#*+=-:······:-=+*#%%@%#*=-:·.
...............··::---=====---:::····::--=+@@@@@@@@%#*+=-:··.... ..··:-+*#%%%%%#*+=::·....··:-=+*##**+=-:·.
.....·······............-=#@@@@@@@@@%*+=--:··.... ..·:=+*#%%%%#*+=-:·......··:--====-:··.
.::*#%@@@@@@@@%#*+=--:··... ..·:=+*#%%%%#*+=:··. ...··:::··..
.·=+*#%@@@@@@@%#*++=--:··. .·:=+*#%%%#*+=-:·.. ........
.:-=+#%%@@@@@%%##*++=-::·. .·:=+*##%##*+=-:·.. .........
.·:=+*#%%@@@@%%%##*++=-:·. .·:-+*#####**+=-:··....···::::···.
.·:-=+*#%%%%%%%%%##*+=-:·. .·:-=**#####*++=---::---=====--:·.
.·:-=+**##%%%@@@@%%#*+=:·. .·:-=+*######**+++++++**##**+=-:·.
...·····..... ......··.... .·::-=+**##%%@@@@@@%#*=-:. .·:-=+**######********###**+=-:·.
..··::----:::···.......··::------::··. .··:-==+**#%@@@@@@@@%#+=:·. ..·:-=+*******+++===+++++==-:·.
.··-==+++++==--::·····::-=+******+=-:·. ..·::-==+*#%@@@@@@@@@%*+-:·. ..·:--======---:::··········..
..··::--:::······::-==+**####**++==------=+*#%@@@@@%#*=-:·. ...···········::-=++*#####**++======++*#%@@@%#*+=-·.
....··.........···::---====---::······::-=%@@@@@@%#*=-:·.......·············:--=+******+==---::---=++*###*+=-:·.
.. ......·····..... ..:-#%@@@@@@%#+=-:·......······......··::-==+++++=--::···.···::--===--:··.
·:+#%@@@@@@%#+=-:············........··:--=====-::·.. ...······..
.·=+#%@@@@@@%*+=-::··········... ...··::------:··. .......
..-=*#@@@@@@%#*+=-::::::::···... ...··:-------:··. .......
.·-=*#@@@@@@%#*+=------::::··... ..··:--======--:··........······..
.·-=*#@@@@@%#**+======----::·........··:-=++*****++==---:::::---:::·..
.:-+*#%@@@%%#**+++++++===--:··......·::-=+*#%%%%%%%##**+++==+==--::·.
.............. .....·····... ·:-+*#%%%%%##*********+++=--:···..··::-=+*#%@@@@@@@%##**++++==--::·.
..·:::---::::···..···::--====-::·. .·:-+*###%##############*++=-::······:--=+*##%%%%%##**+===----:::··.
.·:--=+++++==-:::·:::-=+*#####*=-·. .·:-=+**#########%%%%%%%#*++=-::······::-==+++++++==--::·········..
..·:-=+***+++========++**#####**+=-::····::-=+*#%%%%#*=-:·.......········.....·::-=+*##%%%%##**+++==++**##%%#*+=-:·
.··:--==----:::::::::--=======--:··.....··:+*#%%%%#*+=-:·.....········... ..··:-==++++++==--:::::::--=++===-:·.
...·····.............········.... ·:=*#%%@%%#*+=-:············... ..··::----::··... ...··::::··.
··=+*#%@@%#*+=-::·····:::::··.. ...·····.. .......
.·-+*#%%@%%#*+=-::::::::-:::··.. ........ ..
.·-=+*#%@%%#**+=--::---------:··.. ...···:::···..
..:-+*#%%%%%#*+==----====++===-::··.....··::--==++++==--::···.........
.·-=+*#%%%%#**+======++*****++==--:::::--=++*#%%@@@@%%##*+==---::··...
·:-=+*#%%%#**++====++**######**++======+**#%@@@@@@@@@@@@%#*++==-::··..
............ .......... .·:-+**####**+++==++**##%%%%%%##**++++++**#%@@@@@@@@@@@@%##**+=--::··.
..··::-----:::··.....··:::---::··. ..·:=+***#***++====++**#%%%%%%##**+========++*##%%%%%%%##**++==--::··.
...··:-==++**++==-::····:--=++**+=-:·. .·:-==+***+++=======+**######**+==-::·······::--=========----:::::··.
.·:-=*#%@@@@@@@@@%###***#######*+=-:·... ..·:-+*%@@@%#*=-:.. ..···::····.....··::-==+++++==--::······::------:·.
..·::-=+****+++====----====++===-::·.. ..·=*#%@@@%#+=-·.. ...·····... ...··::::::···.. ..···:::··.
...·········.......···········.. .·=+#%@@@@%*+=:··......······.. ........ ...··..
.·-=*#%@@@%#*+-::········::···.. ....... ....
..:=+#%@@@%%#*=--:::::::----::··.. ..··:::::··...
.:-=*#%@@@%#*+==------===++===-::··.....··::-==++++++==--:··..
.·:=+*#%%%%%#*++=====++**####***+===----==+**#%%@@@@@@%#*+=--:··..
·:-=+*#%%%##**++++++**#%%@@@@@@%%##*****##%@@@@@@@@@@@@@%#*+=-:··...
.·:-=+*#####**++++++*##%@@@@@@@@@@%%######%%@@@@@@@@@@@@@%%#*+=-:··..
............ ...·····... ..·:-=+*****+++====++**#%@@@@@@@@%##*+++==+++**##%@@@@@@@%%#**+=-::·..
...···:::------::··.. ..·::--==--:·.. ..·::-=+++++==-------==++**####**+==-:···...··::--=++**###****+=--:··.
.···::-==++******+=-:·.. ..·:-=+****+=-:·.. ..·::-=====--::······:::-------::·.. .··:--==+++++==--::·.
.·:-=*#%@@@@@@@@@@@@%%#****++++=--:··....·:-=+*#%%%#*+-:.. .··:------:··.. ...········... ..·······.
..··:-=+++****+++=========---::··... ...·::*#%%%%#*=-·.. .··:----::·.. ...·······..... ....······.
....····················... ·:+#%@@@%#*=-·.. ..··::---::··.. ..··::::::::···........···..
·:+*#%@@@%#+=-:·......·::------::··........··::-===++===--:···..........
.·=+#%@@@@%#*=-::·····::-==+++++==--:::::::--=++*######*++=-:··..
.·-+*#%@@@@%#*+=-::::--==+*#######***+++++++**##%%@@@@@%#*+=-:··.
..:=+*%@@@@@%#*+==---==+*##%@@@@@@@@%%###***###%%@@@@@@@%%#*=-:·..
.·:=+*#%@@@%##*++====++*#%%@@@@@@@@@%##***+++**##%%%@@@@%##*+=-··.
.·:=+*#%%%%#**++=====++**#%%%@@%%##*++=---:----=++*##%%%%##*+=-:·..
........... ...·······.. ..·:-=+*****++==--::::---==+++++==--:··........·:--=+*######*+=-:·..
.··:::----::::··... ..·:-=====--:·.. ..·:-==+++==--:···......·········... .·:-=+**###**+=-:·..
.·:-==+**#***++==-:·.. .·:-+*####*+=-:·. ..··:-----::··.. .. ..·:-=+*****+=-:··..
..·:=+#@@@@@@@@@@%#+==--:::---=========----------::··.......··:-=++***++=-:··.. ..··:---------:::::::::::··.
.·:-=++****++=--::·····::::::::::::::::====--::··... ..··:-=++****++=--:···..···::-==+*******++==----::::··.
..··········.....................::=+++==--:··.. ..··:-=++**#***++==-------==+**#%%%%%%##*+==--::::···.
..::+++*+++=-::·.......·:-=++*##%%%###**+++++++**##%%%@@%%##*+=--::····...
..::+******++=-::·....··:--=+*#%%@@@@%%##**+++++***####%###*+==-:··......
..::+**#####**+=-::·····:--=+*#%%@@@@%%#**++=======+++*****+==-:··.
..::++*##%%%%#*++=-:::::::-==+**######**+==-::::::::--==+++==--:·..
.··=++*#%%%%%#**+=-:::··:::--===++++==--::··......··::-======-::·.
.·:-=+*##%%%##*+=-::···..····::::::::···.. ..·::-==+++=--:..
..... ................ ..·:--=+**##**++=-:·... ....·····... .··:-=++++++=-·..
.··:-:::··... ........····::::--:::··... ..·::-==++++==-:··. ....·····.... ..·:-=+*****+=-·.
.·:-=+**++-::···......·····::-==+++++=--:·.. ..··:--===---:··.. ..··::::-:::··........·:-=+**###**=:·.
..·-+*#%@@@%#*+=::·..·:-=+#%@@@@%#+-:·. .··:::::-----==+**##%%%%%%#**+==------==+*##%@@@@@@@%##**+==-::··.
.·:--=+++==-:··.....·::==+***++=-:·. ..·········::--=++*#%@@@@@@@@%%##*******##%@@@@@@@@@@%##**+=--::·.
..·······... ..···:::::··... . .......·····...···::-=+*#%@@@@@@@@@@%%##******##%%@@@@@%%##*++=--::··.
..·.···········.......··:--=+*#%@@@@@@@%##*++=======++*******++==--::····.
..:·-:::::::::···........·::-=++*#####**+=--::······:::--====---::····....
··-:=========--::··... ....··::--====--::··.. ...··::::::··.........
··--++++****+++=--:··.. ...·········... ...·······..
··--****######**+=-:··. ...·····... ...······..
·.--++***###%###*+=-::·.. ..···:::::··.... ...··::::::·..
. ........ ...........::===++**#####**+==-:··........··::--====---::·······::------:·.
.····.. ..·::::::··.. ...············:::--==++******++=--::·····:::-==+******++==--::::--==++++=-:·.
.·:-=--:·.. ..··:-=====-::·.......···:::····......··::-==+*******++===-----==++*##%%%%%##*+==----==++*****+=:·.
...·::--===--::·····:-+#%@@@@@@@%+-· .·:-=++++++==+++**#%%@@@@@@@@@@@@%##******##%%@@@@@@@@%##*+=-::··.
..···::::···......·:-=********=-·. .··:---------==++*#%@@@@@@@@@@@@%%#*+++++++**##%%%%%%##**+=-::··.
........ ..··::::::::··. ..···:::::::::--==+*#%%@@@@@@%#*++=--:::::--==+*******++=--::··.
..·······......···::-==++++++==--:··.......··::--=======-:::···.
..........········... ..···:::::··... ..··::---::::····..
··::-::::::---:::··.. ......... ..·········......
:·=-+++===++++===-::·.. ...·····... ...···..........
::+=#************+==-:··.. ..··::-----::··.. .......... .
:·==#*****####%%###**+=--::·····::--==+*****+==-::··.......···....
...···... ...·······--++++++**##%%%%%%%##**++=======++*##%%%@%%#**+=--::·········...
...... ...··:------:·. ..···::::···::::--==+**#%%@@@@@%%##**+++++**#%%@@@@@@@%%#*+==-------:::·..
..····....·:-=+**##*+=:·. ..······......···:-=+**#%%@@@@%%##**+++++**#%%@@@@@@@@%#**++======--::·.
...... ..··:-=++*#%@@@@@@@@%*=-·. .·:-=+*****+++++++++*##%@@@@@@@@@%#*+==-::::::-==++**##****+=-::··.
..... ...···:--=+********+=-:·. .·:--==++++========++**##%%%%%%%#*+=--:·······::-==+++++++=--::··.
...···::::::::::·.. .··:--------:::::::::--==+++++++=--:··... ...·::--======--::···.
..··:::::::··... ...··:::---:::··.. ..·::------:::···..
.........···::::::··.. .···::::··... ..··:::::::····...
··-:-::::::::----:::·.. ..··::::::··.. ..···::::···.....
:·=-++=============--::··.. ..··:--====--:··.. ...·······......
::+=**++++++++*******++==-:::····::--==+****++=-::·... ....······......
:·==*+++++++**##%%%@@%%%#**++===-===++*##%%%%#*+=-::··.....······....
............ ....·····-:==----==++*#%%@@@@@@@@%##*++++++**#%%@@@@@%#*+=-::···········...
...··::-------::·.. ..·······::···:::-=++*#%@@@@@@@%##**++++++*##%@@@@@@%%#+==-::::::::···..
..··:--=++***#***+=:·. ....·.........··::-=++*###%###**+===--==++*#%@@@@@@@%#*+=---:::::::··.
... ·:=*#%@@@@@@%%##*+++=--::·.. ..·:-=+*#%%%@@%%%##**+++++***#######*++=-:·. .··:-=++****+==-:·.
. .·:-=++***+++++=====--::··.. ..·:-=+*##%%%%##**++=======+++***#***+=-:·.. ..·:--==+++==--:·.
...····:::::::::::····.... ....·::-=+++***++==--::····::--==++**++==-:·.. ..··:---==---::·.
. .......··:::-------::··... ...··:--=+++++==-:·.. ..··:::--::::··.
..····.....····:::::···.. ..·:--=+++++==-:·.. ...···::::·····.
··::::··....····::::::··... ..··:-=+****++=-:·... ....··········..
··-:--::·····:::----=----::··......·::-=+**##**+=-:··.....................
··--==--:::::--==+******++=--::····::-==+*#####*+=-::··..................
··--===-----==++*##%%%%%%##*+=--:::::-=++*#%%%##*+=--:····.··......
........ .......::==------==++*##%@@@@@%%#*+==--::--==+*#%%%%%#*+=--::·······...
.··:-----::···.... ..···:::-----:::---==+*##%%%%%%#*++=--:::--=+*##%%%%##*+=--:::::····...
.:-=+**##**++===--:··. .··::-----:::······::--=++**###*++=--:::::--=+*#%%%%%#**+=----:::::··..
███╗ ███╗ ██████╗ ███████╗███╗ ███╗
████╗ ████║██╔════╝ ██╔════╝████╗ ████║
██╔████╔██║██║ ███╗███████╗██╔████╔██║
██║╚██╔╝██║██║ ██║╚════██║██║╚██╔╝██║
██║ ╚═╝ ██║╚██████╔╝███████║██║ ╚═╝ ██║
╚═╝ ╚═╝ ╚═════╝ ╚══════╝╚═╝ ╚═╝$ open /benchmarks/mgsm/tasks/de--test--55b74d55-6594-5…▌ posts · files
MGSM / Isabelle kaufte Partyzubehör für die Geburtstagsparty ihrer kleinen Schwester.…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
question
Isabelle kaufte Partyzubehör für die Geburtstagsparty ihrer kleinen Schwester. Sie gab 12
$ für Kuchenzutaten, 43 $ für Geburtstagsgeschenke, 15 $ für Dekorationen, 4 $ für Einladungen und 22 $ für Tüten mit Leckereien für die Partygäste aus. Sie teilt die Kosten zu gleichen Teilen mit ihren beiden Eltern durch drei. Wie viel Dollar zahlte jede Person?Plain-text mathematical notation (without MathML)
Isabelle kaufte Partyzubehör für die Geburtstagsparty ihrer kleinen Schwester. Sie gab 12 $ für Kuchenzutaten, 43 $ für Geburtstagsgeschenke, 15 $ für Dekorationen, 4 $ für Einladungen und 22 $ für Tüten mit Leckereien für die Partygäste aus. Sie teilt die Kosten zu gleichen Teilen mit ihren beiden Eltern durch drei. Wie viel Dollar zahlte jede Person?
Original LaTeX notation
Isabelle kaufte Partyzubehör für die Geburtstagsparty ihrer kleinen Schwester. Sie gab 12 $ für Kuchenzutaten, 43 $ für Geburtstagsgeschenke, 15 $ für Dekorationen, 4 $ für Einladungen und 22 $ für Tüten mit Leckereien für die Partygäste aus. Sie teilt die Kosten zu gleichen Teilen mit ihren beiden Eltern durch drei. Wie viel Dollar zahlte jede Person?
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
55b74d55-6594-556e-a0c9-df1ddfd53948- task_key
de--test--55b74d55-6594-556e-a0c9-df1ddfd53948- task_revision_id
- 1
- config / split
- de / test
initial import