benchmarks.wiki / Public workspace
..···::::·····.......···::::--------::::···········:::--====+++++++***##%@@@@@@@@@%#*=-:·. .·:-----:·.
........ ......··············.......·····:::-----=======%@@@@@@@@@@@@@@%*+-:. ..·:-==-::·.
.......... ........···········++@@@@@@@@@@@@@@#*=:·. .:-=++==-:·.
··==%%@@@@@@@@@%#*=-:. .·-=+*##*+-:·.
..:-++**######*++=-:·. .·:-+*#%@@%#+=:·.
..::--===++++==--:······::-=*#%@@@@@%*+-:·.
.··:-==+++++++=======++*##%@@@@@%#+=:·..
.·-=+*#%%%%%##***+++****#####**+=-:··..
·:-+#%@@@@@@@@%#*++=============--::··...
..............·········::::::········................. ·-+*%@@@@@@@@%#+=-:····.····::::---:::···.
..····::::::::::----===++++***+++++====---------------::··.. .·=+#@@@@@@@@#*=-·. ..··:--====---:··.
..··::----------===++*##%%%@@@@@@%%%###*******########**+=-:·.. .·:=+*#%@@@%#+=:·. ..·:-==++**++=--:·.
.··:--=+++*******++++++++++++++++++====---:::·······::::---------===++*#%@@@@@@@@@@@@%+-:. .··::··..
....····:::::::::::::::::::::::::::::·····.......·····:::::::::---**#%@@@@@@@@@@@@%*=:· .:-====-:·.
.......................... ...............--+**#%@@@@@@@@@#*=-·. .·-=*###*+=-·.
..::-==++**#####**+=-:·......·:-=*#%@@%#*+=:·.
..···::--=++++++==---:::--=+*#%@@@@@%#*=-·..
.··:-=++********+++***##%%@@@%%*+-:·..
.·:-=+##%%@@%%%##**********+++=-:··..
.·:-+*%@@@@@@%%#*+==----:::::::···....
.·:=+#%@@@@@%#*+=-:··..........····......
.... ..........·······.............···········... .·:-+*#%%%#*+=-:·.. ..···:::::···.
....···············:::---=====+======--------===+++***++==-:·.. .·-==+**++=-:·. ..··::-------::··.
..··:::::::::::::--==+**##%%@@@@@@@%%%########%%@@@@@@@@@#*+-:·. .·::-====-::·. ..·::--====+===--:··.
.··:-+*#%@@@@@@@@@@@@@%%####*********++++===-------===========--------=+*#@@@@@@@@@@#*=:·. .·:----:·.
..··::-==++++****+++++++==========----::::········::::::::::·····:::--=+*#%@@@@@%#*+-:·.. ..·:-+****+=-:·.
.....···························....... ........... ..····::-=+**####*++=-:::·:::-=+*#@@%#*+=-:·
..·:--=+******+++=====+**#%@@@@%#*+-:·.
..·:-=+**#####********###%%%%%#+=-:·.
.··-=+**#######***+++++++++++=-:··..
.·:-=+**####**++==------:::::··...
.·:-=++++++==--::··········.....
.·:--====--::··.....................
.... ......................···::::::::::··.. ..·::----:::··..........··········.....
....·····........ ......··:::----====---------==++*********+=-:·. .··:------::··......····::::::::::····..
..···::::···........··::-=++*##%%%%%%%###*****##%@@@@@@@@@#*+-:·. ..·:--=====--::·······:::----------::····..
.·:-=+*#%%@@@@@%%##**++++++++++++++++++========++++++++==-:··.. ..·:-=*#%%@@%%#*+=-::···::--=====-::·.
.··:--==++++++++++===============----:::·········::····... .·:-=+*##%%##*++==----==+**###*+=-:·.
....·······::::·················.... ..·:-=+*#####**+++===+++*##%%%#*+=-·.
..··:-=++******+++===+++**###%#*+=-:·.
. . ...··:--===+++==========++++***+=-:··.
. ... ...··::-------:::::----======-:··..
. . ..···:::::::·:::::::----:::·..
..·············:::::::::::·...
.··:::::::::::::::::::::::··...
............... .......······..........···::::::::::·.. ..·::--===----:::::::-------:::·...
..··::----:::···...........··::--========----:::---==+++**++==-:·.. ··:-=++***+++==---::::---------:::··...
.·:-==++++==-::··........·::-=+**#%%%%##**+==-----==+++****++==-:::::::--=+*##%%%##**+==--::::::---------:::·....
...··:-==+**######***+++======++++++++++===-------------::··. .·:-+*#%%@@%%##*++======+++==--:·.
..··::----======------===========--::··................. ..·:-=+*######**++=======++**++=-:·.
......················::·····... .......··::--==+++++===--------==+***++=-:·.
..:·::········:::::::::······:::-==++*++=-::·.
··-:::·... ..............···::--==+++=--:·..
·.:··. ....···:--===++==-:·..
... ......···::--==++++=-:··..
...·······::::---==++++++=-:·..
..··::-------------====++++++++=-:·..
......···........... .....··········.............·········.... ..·:--=++******+++========+++++++++=-:··.
.··::-==+====---::···.......···::--====---::··......···:::-----::::::::::-*##%%@@@@%%#**++==---====+++++++==-:·..
.·:-=+*#%@@%%#*++=-:··.. ..··:--=+++++==-::·.......··::-==+++++++***##%%@@@@@@@@@@%#*+==--::::----=======--:··.
.·::--====---===+++*###%%%%###***++++++****###**++=-::·... ....········... ...·::-=+**######**++++===+++==--:··.
...············::::-------------------====+===--:··. ..···:::::·-::::::::---=========----:::----====--:··.
..................············.. ...······=-+==--::::::::::······......··::--==---:··.
::==+=-::··..... ..··:------:··.
:·=-=:··. ..·::-==--::·..
··:··.. ..·::-====-::·..
..·... ..··::-==+++=--:·..
....·...····················::--=++****+=-:·..
..··:---===+++++===----::----=++**####*+=-:·..
.....·······....... .............. .....·····.......:-+**##%%%%%%##**++=======++**##%%%%#*=-:·..
..·::-=++++++++==-::·... ...·········... ...···:::------------==%%@@@@@@@@@%%#**+======++**##%%%%%#*=-:·.
.·:-+*#%@@@@@@@%#+=:·. .··::---:::···....···::--=====++++++**#%%@@@@@@@@@@@%#*++==----==++**##%%%%#+=-:·.
.·:-==++**++++++***##%%%%%%##**++======++***####*+=-::·.. ..·::-==+++++==---:::::---==++++****++++++****#*++=-:·.
..··:::----:::::----------:::····..···::--==+++==--:··... ...··:--=======**+==----------------:::::::---==++==--:·.
..................... ...···:::::···... ....····::::+=#*+==--:::·······............··:------:··.
:·==*+=--::··..... .··::::::·..
··=-==-::··.... ..··:::··..
··-:=-:::···.... ..··::···..
·.::=--::::::···... ..··:::···..
·.::=========---::··.. ..·::::::··..
..--++++******++==-::··... ....··:--==--::·..
....······:·····... ......······......--+**##%%%%%%#**+=--::······:::-==++++=-:··.
...·::-=++******+=-:·. ..···············::::::::::::···::::-**#%%@@@@@@%%#*++=--:::::--==++*###*+=-:·.
..·:-=+#@@@@@@@@%#+-:. .·:-=++**+++==-----:::::::::·······::-=++*#%@@@@@@@@%%#*+==------==++*#%%@%#*+-:·.
.··::-=======+++***#####**+=-:··......·:-=+*#%@@@@%#*++=---:---==++******++===---:::----====++++****###%%@@%#*+=-:·.
...···:::::::::::::::::··.. ..·-=+********+=--::·····:::---===--*++==----------------======++**##%%#*+=-:·.
................ ..··::::::::::··.... ......····--+++==------:::::::::::··::::--=++****+=-:·.
··--++===-----:::::···..........··::-==+==--:·.
··--+++====----:::··... .··:-----:·.
··=-**++++===---::··.. .··::::··.
··==*****++++===-::·.. ..·····..
··==**********++=--:·. ...··...
··--****######**++=-:·. .......
....····:::::···.. ................·······........::++**###%%%%#**+=-:·. ...··...
...··:-==+****++=-:·. ..·::-----------:::::::::::······..····-=+**#%%%%%%##*+=-:·. ..·····...
..·:-+*#%@@@@@@%*+-:·. ..:-=+*##%%%###*++===----:::···.... ..··:-=+*##%%@@%%#**+=-:·.. ..··::::::·..
...···::::::::--===++===-:·. .:-+#@@@@@@@@@@@%#*++=======+++++===---::::····:::::---====+++****##**+=-:·.
...........··········.. .·:=+**********+=-::··········:::::----::::::::::::-----=====+++**##%##*+=-:·.
...... ..·:::::::::···.. ....··---::::::::::::----------===++**#%##*+=-:·.
..::-------------------::::::----==+*###*+=-:·.
..::=============-----::::·····:::-==+***+=-:·.
··--+++++++++++++===--::···......··:-======-:·.
··==#########****++==-::·... ..·::----::·.
··==####%%%%%%%##**+=-::·. ..··::::·..
··==###%%%@@@@@%%##*+=-:·. ..·····.
...···:::::···... .................·················--**##%%@@@@@@@%%#*=-:·. ......
..·:-=+******+==-:··.....···:::-----------::-----------:::::::::::=++*#%%@@@@@@@%#*+=:·. ....
.·-+*%@@@@@@@@@%*+=--::::--==++******+++============---:::········::-=+**#%@@@@@@@%#+=-:·. ....
..... ..·:--=====-:·. .·:=+#@@@@@@@@@@%%#*++===============--::::············::::::::::::::···...
..··::----::··. .·::-=++***++==--::···············:::::···············::::::::::----:::···..
....······.... ....······..... ..······.......······:::::::::---------::··.
..····.......·······:::::::::::----==----:··.
..················:::::::::::::::--====--::·.
..··::::::::::::::::::::::::······::--------:·.
..::-------------------::::·········:::----::·.
··--+++====+++++++++===--::··.......···:::::··.
··--*********#####***++=--:··.. ..······.
.··::::::::::····.............................·············==**####%%%%@@@@%%##*+=-:··. .......
.·-=+**********+=--::::··:::::::::·········::::----==========---**###%%@@@@@@@@@@%#*+=-:·. .....
.·-=*%@@@@@@@@@@%#*+=--::::------------:::::---===+++*******++++++++**##%@@@@@@@@@@@@@#*+-:·. ..
.... .·:-+*#%@@@%#*=-·. .·:-=+**########**********########****++====-------------------:::··...
...·::-=++***++=-:·.. ..··::------::::::::::::------++++====-----------------------:::···...
.........····:::::···... ..........................::-----:::::::::::::::---------:::::···....
..··:::··············::::::::::::::::·····....
..···.............····:::::::::··········...
....... .....·······················..
..·.... .....········.............·..
..·.··..............·········.... .......
..··::····.....·····::::::···... ....
..·:::::::::::::······........... ..............::--:::::::::::---------::··.. ..
..·:-=+********++==--:::::::::·····.............···:::---------::==--------===+++**+++==-::·.
..·:-=+**#%%%##**+==--:::::::::::::::···........··::--==++*******++++======+++**##%%%%%%##*+=-:·.
..···::::·····::-=+*%@@@@@@@@%#+-:·. .··:--===++++****###%%%@@@@@@@@%%###**+++=========++++++++++=-:··..
..··:::-::::::---==+++**++==-:·. ...····::::::----====++++@@@@%%%###***+++++++++++******++++=-:··..
...·······......·········... .............······++%%%%%###****+++++++++*********+++=-::·...
··==####***+++++=====+++++******+++==-::·...
.·--+++++====--------====+++++++===--:··...
..::===----:::::::::::---======--::···..
..::---::····......····:::::::::··..
..··:::··.... ....·········..
..··::··... ....·····...
...···:::::::::···············...... ..........··::··.. ...········..
...··::---====------------------:::···...... ......···:::::::::·::··... ...··:::----:::·..
.... ....···::---------::::::----======---::··.... ....··::--========--::···.....···:--=+++***++=-::·..
.·:-++*##**+=======+**#%@@@@@%#*+=:·. ..··::---===++++********+++==--:::···.....···:::--==++++==-:··.
..·:--====--:::::::::---====--::·.. ....···::::----====####**+++==--::::::::---==++***##*+=-:··.
...·····..... ............... ......·····==%%%%###**++===-----===++**##%%%%%#*+-:··.
··=+%%%%%%##***+++====+++**##%%%@%%%##+=-··.
··=+%%%%%%##***++++=++++**##%%%%%%#**+-:·..
··==%%%%###**+++=======+++***##**++=-:·.
··==#####**++==---------====++==--:·.
··==##**++==--::·······:::----::··.
··==**++==-::··........····::···..
.....··········::::::::::::::····.................····=-*++=--:··.. ...···:::···..
...····:::::-----===+++*******++==--:::·········:::----===-*+==-:··.. ..··::--===--::··...
....····:::::::---==++*##%%%@@@@%%#**+==--::::::::--==++******++=--:··... ...·:-==+*#####**+==-:··....
.·:-+**###*+=--:::::--=++*#######*+=--:·.. ..··::-==+++*******++++==--:::··... ..·:--=+++=--:·..
..·::----::····..····:::--------::··.. ...···::::---------++===--::··... ..·:--=+*##%#*+=-··.
......... ................ .........·--**++++==--::···.....··::-=+*#%@@@@%#+=:·.
..--******++==--::::··:::-==+*#%@@@@@@#+=:·.
..--*####***++==---:::---=+**#%%@@@%#*=-·.
..--*######**++==-------==++**####*+=-·.
..--*######**+==--::::::--===+++==-:·.
..--######**+==-:::·····:::------:·..
.·-=######*+==-::··....···:::---:::·..
........·······:::::::·····..... ....··==%%%%#**+=-:··......··::--======--:··....
.....····:::--==+++********++==--::··......···::--==++%%%%#*++=-:··....··::-=+*##%%%##*+=-:··..
.....·····::--==+*#%%@@@@@@@@@@@@%#*+==-::::::--==+*#%%@@@@@%#*+=-::··..··::=+*#%@@@@@@@@%#+=-··.
.··:-===--::········::--=++**#####**++==---::::---==+**#%%@@@@@@@@@@%%%##**++==--::··.. .·:-=+***+=-:·.
..········.......···:::---====----:::····....····:::---===+++++++++++=###**++==--:··.. .·:-=*#%@%#*+-:·.
........ ........········....... ......············==#####**++=--:··.. ..·:-=*#%@@@%#+=:·.
··==######**++=--:··......·::-+*#%%@@%#+-·.
..--**####***+==-::··...··::-=+**###*+=:·
..::++******++==-::···.···::-==+++++=-·.
·:=++*****++=--:···...··::--======-:·.
··==+*****++=--:···..···::-==++++==-:·..
·:=+**###**+==-::·····::--=+***#***+=-:··..
......................... .::*##%%%%##*+=--::::::--=+*##%%@@%%#*=-:··.
......·····::::-----------:::··... ..·::-=%@@@@@@@%#*+=-:::::--=+*#%@@@@@@@%*+-:··.
.....···::--==++**########*++=-::·... ...·:-=+#%@@@@@@@@@%*+=-:::·::-==*#%@@@@@@@%#*=-:·..
..··:::····.........··::--===+++++++====--------===++**##%%%%%%%%%%%%########***++=-::·.. ..·:=+***+=-:·.
...................····::::-----::::::::···:::::---===+++++*****+++@@@@@@@@%%##*+=-:·.. .·:-=+*##*+=:·.
................................·······:::::::::**@@@@@@@@@@%#*+=-:·. ..·:=+**#*+=:·.
··++@@@@@@@@@%#*+=-:·.. ..·:-=++**+=:·.
··==##%%%%%%##*+=-:·.. .·:-=++***=-:·.
..::=++******++=-:··.. ..·:-=+*****+-:·.
..:--==+++++==-::··....··:-=+*##%%##+=-:·.
.·:--=+++*+++==--:::::--=+*#%%%@%%#*+-:·..
.·:-+**##%%##*++===-===++*##%%%%%%#*=-:··.
...................···············............. .·-=*#%@@@@@@%%#*+===-===++**######*+=-:··..
................····:::::---------------::::::::::···.. ..·:*%@@@@@@@@@%#*=--::::::--=+++*****+=-::·..
.................···:::----============+++++++++++==--:·.. .·:=+#@@@@@@@@@%#+=:·.. ..··:-==++****+==-::·.
█████╗ ██╗███╗ ███╗███████╗ ██████╗ ██████╗ ██████╗ ██╗ ██╗
██╔══██╗██║████╗ ████║██╔════╝ ╚════██╗██╔═████╗╚════██╗██║ ██║
███████║██║██╔████╔██║█████╗ █████╔╝██║██╔██║ █████╔╝███████║
██╔══██║██║██║╚██╔╝██║██╔══╝ ██╔═══╝ ████╔╝██║██╔═══╝ ╚════██║
██║ ██║██║██║ ╚═╝ ██║███████╗ ███████╗╚██████╔╝███████╗ ██║
╚═╝ ╚═╝╚═╝╚═╝ ╚═╝╚══════╝ ╚══════╝ ╚═════╝ ╚══════╝ ╚═╝$ open /threads/6523a147-dd2c-4fa9-a3b9-3b09882ffc53▌ posts
AIME 2024 train edfd00ea-b593-5fbb-a903-f2b12a14b032 · Discussion
Discussing AIME 2024 train edfd00ea-b593-5fbb-a903-f2b12a14b032 · AIME 2024
Posts
Chronological order within this page.
Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.