benchmarks.wiki / Public workspace
...··:::-------:::········:::----======---::::::::---==+++***************+++++==---------==++**##%%%##*=-:·.
....··········...........······:::::::::············::::::::-------------++==--:::······:::--==+++++==-:·.
.......... .........................................···--+==--:··... ...·::--===--:·..
..-:==--::·.. .··:-----::·..
..::+==--::·.. ..·::-----:··.
..--+*+++==-::··.. ...·::----::·..
..-=##%%%##**+==-::··.....···:::::···.
.·==%@@@@@@@@%#*++=-::·············...
..-=#%@@@@@@@@%%#*+=--::···········...
....·······.................... ...···········.... ...::+*##%%@@@%%%#**+==---:::::-::::··..
..··::-------::········:::---:::··.. ..··:--=======--::··.........·--=++**#######***+++++++++++==-::·.
..·:--=++++++=--::··::--=+++**+==-:·. .·:-=++*#####*+==-:··... ...··:--=+**###%%%%########%%%%#*+=-:·.
..·::-===+===--::::::--=+*#%@@%%#*=-:·. .·:-==++++==---:::::::----====---:::···....····:::----::·..
..···:::::····...···:--==+++++=-:··. ...···:::·····...........·····... .··:::::··..
........ ....···::::···... ... ...... .··:::::··..
...... ..·::::::·..
..·::::::···.. .··::::··..
..·:==+++++++=--:··.. ..·····...
..--*##%%%%%%##*+=-:··.. ........
..--##%@@@@@@@%%#*+=-::·..............
..:-+*##%@@@@@@@%%#*++=-:::········...
............... ...........···········:·······....... .··-=++*#%%@@@@@@@@%##**+=====--::··..
.....·················..........·············:::::---====++++++==--::···.......:--=+*#%@@@@@@@@@@@@@%###**++=-::·.
..·····:::::::::::::::········:::::::::::::::::::::--==++*##%%%%%%%#**+=--::····:::-=+*#%@@@@@@@@@@@@@@@@@%%#*+=-:·.
.·:=+*#####*++=====+*#%@@@@@@%*=:. .·::-----::·.. .... ..·::::::·..
.·::--==---:::::::-==+******+=:·. ........ ..·:----::·..
.....··..........···::::::::·.. ..·:-----::·.
...·········... ..·:::-:::·.
··--====++===-::·.. ..·······.
..::+***#####**+=-::·.. ...·...
..--+**###%%%##**+=-:·.. ......
..::=++**##%%%%%##*+=-::·.. ....
··:-==+*##%@@@@@@%#*+=-::·..........
........ ...·····························...... ..::-==+*#%@@@@@@@@@%#*+=--:···.....
...··.... ...········.........···::---====----------=========---:::····...::--=+*#%@@@@@@@@@@@%#*++=-::··...
.··:::::··... ...··:::---:::····..···::--===+++++====++++**###%%%%%%%##**+==--:::::--==+*#%@@@@@@@@@@%##*++--:··...
.:-+*%@@@@@%##*++++**#%%@@%#*+-·. ..··::···. ...........···::--=+++==-:·.
.·:--=++++==-------==++****+=-:·. ...... ..··············:::-==++++=--·.
..········......···::::::::··. .··:::-------:::·······:--=+++==-:·.
..··--====+++===--::··......··:-----::·.
..::===+++++++==--:··.. ..··::::·..
..::-=====++++===-:··. ..····.
..··:::--===++++==--:·. .....
..···::-==++****++=-:·. ....
...··::-=++*######*+=-:·. .
...···.... ...············....................... ..····:--=+*#%%%@%%#*+=-·..
...... ..·::-----::·... ..··::---===----:::::::::::-----------::···..·····::-=+*#%%@@@%%#+=-:·.
.···:··.. .·:-=++**++=-::·......··::-==+++++++++======++**###%%%%%%##*++=-:···...··::-=+*##%%%%#*+=-:·..
..·-=+*#%@@@%%##**++++++**+++=-:·.. .··::::::::··.. ..··:--=++***#####****####%%%#*+=-:.
..·:-===++====--------======--:··. ..··::::::::::·········:---==++*********++++***#%%%#*+=-:·.
..·········......······::····... ...·············....::=======++++++====-----==+*###*+=-:·.
..::-------------:::·······::-=++++=-:·.
..·.·······::::::···... ..·::--=--:·.
. .....·····::···... ..·:::::·.
....··:::::::··. ..·····.
...··::---=---:·.. ..···.
.....··:--==+++==-:·. ....
...······... ......··....... ............. .......··::-=++**++=-:·. ...
....... ...·:--==++==-::·.. ..··:::--------::::::::::::---------:::··.........·::-=+****++-:·. ..
.······......·:-=*#%@@@%%#+=-:·... ....·::-=++***###****+++++++***########*++=-:··.. ...·:-=+****+=-:·.
....·:::--==+++*******+++====----::::···.... ...··:-=+*#%%@@@@@@@@%##**++=====++**#%%@@@@@@@@@@@@@@@@@%#*+=:·.
....···::::--------------------:::::···..........··:--=+************+==--::=-----==++**###%%%%%%@@@@@@%#*+=-:·
..................·············...... .....····::::::::::····..··:·······::---====+++***##%@%#*+=-:·.
. ..... .....····::::---==+*###*+=-:·.
..........···::-=+++++=-:·.
................·:--====-:·.
. ......·····... ..·::----:·.
........····:::::··.. .··::::··.
..·....···:::----::··. ..··:··..
...........········... .....······......................... ..·.....··::--===--:··. ..····.
..······:::::--==+++++==--:··.. ..··:--==++++++====----::::::::--:::::··..·......··:--=====-::·. ...·..
.·:::------==+*#%@@@@@@@@@#*+=-::······:--=+*##%%@@@@@%%##***+++++++++***+++=--:··.. ...·:-==+++=-:·.. .....
....... ...·:-=+**####**++==-----====+++++++++++++***#%%@@@@@@@@@@@@@@@@%#*+=--::::--=+*#%@@@@@@@@@@@@@%#*+--:·..
..··::----=------::::-------===--------:-----===+++******++==--:··.·......·::-=+*#%@@@@@@@@@@%#+=-::·.
................············....... ................. ... ..··:-=+*##%%%@@%%%#*+=-:·.
. ..·:--=++**######*+=-:·.
.... ..··::--=+++****++=-:·.
..·.··.... ....···:::--==++++==-:·.
..··:::····........·····:::---===---:·.
..::---:::::···············:::-----::·.
..··----:::::::::::::········:::::::··.
....···············...... ...····:::::::····........ ..........··:::::::---------:::··········:····.
.··::--=======+++++++++++==--::····...···::--==+++++++++===--:::······················:::---=====--::·············..
·:--=+**####%%@@@@@@@@@@@@@@@%#*++=---::----==+***#######**++==------------::::·········::--=======-::···········...
.·:-+*#%@@@@%##*++=====+++*##%%%%%%%%###***+++++***###%%%%##**+=-:··.. ..·:-+*%@@@@@@@@%#*=-::··....
..·:--=======---:::::::-----------:::··..........···::::--::::··.. .·:-+*#@@@@@@%#*+=-::···...
.....···..................... ............. .·:=+*#%@@@%#*++=-:····..
..···.. .·:-=+*#####*++=-::···..
··-:-:··. .·:-=++****++==-::···..
··==++-::·.. ...·:-==+++++==--::···..
··+=#*+=--:··....··::--======--::···...
··++%##*+=--:······::---===---::···....
··==####*++=--:::::::--------::··.....
...···:···················...................···········.... ....--*##***++==--------------:::··....
.··:-==+*+++++++++++******+++==--:···.........···:::------::···... ...···::++****++++=====--===----:::·...
.:-=+*#%@@@%%%%@@@@@@@@@@@@@@%#*+=-:·.. ..··::--======--:··.... ...··::--==++++++++++=========---::·...
.·:=+*%@@@@@@@%#**+==--------=========---::···...····::-=======--:·. ..:-+*#%@@%#*+=:··......··..
.·:--==+++===--::···................. ..··:::----::··.. .·-=+##%%##+=-:··....···..
............ ....········.···. .·:=+*###*+=-:···...···..
··-:-·. .·:=+****+=-::··....··..
::+=*=:·. .·:==++++=-:··.........
::**%#+-:. .·:-======-:··.........
::**@@#+=:·. .··:--===-::·.. ....
::**@@@%*=-:·....··:------:··.
::**@@@@%*=-:·····::------:·..
...···::··················..... ......... ...·::**@@@@@%*+=-:::::---==--:··.
..·:-==++++===------------::::··.. ...······... .·:-++*@@@@@@#*+=------=====--:·.
.··:-=+*#**++====-------------::··. ..·::---::··. .·:=+#%@@@@@@%#*+=======++++==-:·.
..·:-=+*#%@@@@@@%#*+=-:··..........···:::::::::::::::::---======-::·. .·:-=++*++=--:····:::::::·.
..·::--======--::··... ....····::::::······::::---===---:·.. .·:-=++++=--:·····::::::·.
......··....... ......·········......······:::::···.·.. .·:-==+==--:······:::::·.
··-:·. .·:-====-::········:::·..
::+-=:. .·:-----::··....······..
::*+#=:· .··::--::··.. ....···.
::**@#+-·. .··::::··.. ....
::**@@#+-·. .··::::·..
::**@@@#+-·.. ..··::::·..
...······..... ... ..··::::**@@@@#+-:·....··:::::··.
..··:::::··... ..····... .:-+*****@@@@@#+-::····::----::·.
..·······.. ..·········.. .··::--::·. .·-+%@@@@@@@@@%*+=-::::--=====-:·.
...·····:::::--=++*##%%%%%%##*+==-::···..···::--=++**#####***+++===----::··.. .··:---===========++==--::·.
.............···:--===++++++===---:::::::::---===++++++++++=====------::··.. ..·::--===========+===--:·.
....···:::::::::::············::::::::::::::············.... ..·::----------======--:·.
.... ..·::-----------=-----:··.
·.·.. ..·::::::::::::::--:::··.
:·-::. ..··::::··············..
::=-=:. ..······..............
::*+*=:·. ...···...
::**%*=:·. ...···...
.. .... ..··::::::**@%*=:·.. ...·····..
... .......... ..·······.. .·:-+*******@@%*=-:·.....··::::::·..
...·············::---===++===-::·.. ..··:--=---:·. .:=*%@@@@@@@@@%*=-:·····::--====-::·.
.··::--===-----===+**#%%@@@@@@@@@%%#*++===--===++*##%@@@@@@%%#*+=-:··.. ....·········:::--=++**#####**+=-::··..
..·····:·······:::--=++*************++===------===+++******+++=--::··... ....······:::-==++**####***+=-::·..
.................···:::::::::::::::::··············:::::::::·····.... ........···::--==++********+==-:··.
. ......···::-==+++******+==-::·.
. . ...···::--====+++++==--::·.
. .... ...···:::----------::···.
..·.·.. ...·····::::·······....
·.:·:·... ....······.....
··-:-:··... ....······...
....... ..... ....···::::··=-+=-:··.......·····:····..
.···:::::::::::·····:::::::::::::···················........··:--=+++++++=*+=-::·······:::-------::·..
.·:==+**####****++++++++++******++==---::::---======--:··......·:-=*#%@@@@@%#*+=--::··:::--==++****++==-:·..
..·:--==+=========++**#%@@@@@@@@@@@@%#*+=--:::::--=+*#%%%%%#*+=-·. .·:-=+****+==-::···:--=+*#####**+=-:·..
..··:::--:::::::::--==++************+==-::·······::-==+++++==-:·.. ..··:--+++==-:::·:::-=+**##%%##*+=-:··..
....····............·····:::::::::····.... .....····::····.. ..::+++==-:::::::-==+*##%%%###*+=-:·..
.·:====--:::··:::-=++*###%%###+=--:·..
.··-==---:::···:::-==+***###**+=--:·..
··-----:::······::--==+++++++=-::··..
.··-----:::·······:::---------::··...
..··-----:::········:::::::::::··...
..··------:::::··::::::-----:::··...
..····:::::······..........············..... ..................::===------::::----==========-:··...
..·:-==++****+++===----::-----=====+++====--:::··..........·······:::::::::::======-------===++***#####*+=-:··.
..··:-=+**###%####**+++======+++**###%%%%%%###*++==-::···········::::----=============---====++*##%%@@@@@@#*=-:·.
..·::-========-----===++*##%%%%%%#**+-:··. ..·:-=+*###*+=-:·. .·-+#%@@@@@@%*=-:··..··::-=++***++=-:·.
..··::---:::::·······:::--====++==--:··.. .··:-=====-:·.. .·:-=+****@%#*=-:·····:--=+**###**+==:··.
.....··...... .....········... ...······... ..···:**@@%*+=-::··::--=+*##%%%%##*+-:··..
··+*@@%#*+=-:::::--=+**#%%%%%%#*+-::·.
··++@@%#*+=--:::::--=++*###%%##*+=-:·..
.·==%%%#**+=-:::::::--=++******+=-:··..
..-=#%###*+=--:::::::--===+++++==-:··..
..--#####**+==--::::---===++++++=-::·..
..--*#####**++=========++***###*+=-:··.
..···::::::::::::·····...·····:::::::::··.. ........ ..:-**######***++++++**###%%%%%#*+=:··.
...·::--==+++++++==---:::::--=++********+=-:·. ...·······.........··::++**####*********###%%%@@@%#*=-:·.
..·:--==+++++===------=+*#%@@@@@@@@@@%*=-:.. ..··:::::···......··::-==++++++++++++++++***#####*+=-:·.
..··:-=====----:::::::::--=======--:·.. .·:-=++**++=-:·····:-=+#@@@@@@@@@#*=-:·......·::-==+++++==-:·..
...··::::::····.........···::::::::··. .·::-----::··......·:-=+*******@%*+-::·····::-=++*######**=-:·..
........... ........... ...····.... ..··:::::**@@%*+=-::···::-=+*##%%@@@%%*+-:·..
::**@@@#*+=-::::::--=+**#%%%%%%#+=-:·.
::**@@@%#*+=-::···::--=++**####*+=-:·..
·:**@@@@%#*=--::····::--=++***#*+=-::·.
··+*@@@@@%#*+=-:::::::--==++**#*++=-:·.
··++@@@@@@%#*++==-----==++**####*+=-:·.
.·=+@@@@@@@@%##**+++++++***#####*=-:··.
...···:::::::::····....····::::::::··. ......... ...-=%%@@@@@@@%%##****+*********+=-:·..
.··:--==++===--::::::-=++********=-·. ..·:::::··.. ...·::+*#%%%%%%##**+++===========--:·..
.·:-==+++++==------=+#%@@@@@@@@@%+-·. ..·:----::·.. .··:--=++++++===--:::::::::::::::··..
..··::--------:::········::::::::···........·::--========----==+**#%@@@@@@@%#*++=-:·······::-=++*###%%##*+=:··.
...············..........········... ...··:::--:::::·····::--==++*****++#*+=--::···:::-=++*#%%%@%%%*+-:·..
............ ....... .....·..............····:::::*+%#*+==-::····::--=++*###%##*+=:··.
::**@%#*+=-::··...···::-==++***++=-:·..
::**@%%#*+=-:·........··:--=++*++=-:··.
··++@@%%#*+=-:··.......··:-==++++=--:·.
··++@@@@%%#*+=-::······::--==++++=-::·.
··++@@@@@@@%##*+==---------===+==-::·..
.·=+@@@@@@@@@@%#**+==-----------::··..
...····::::····.......····:::···.. ...······... ...--#%@@@@@@@@%#**+==---:::::::::··..
..·:--======--::···::--=++***+=-:·. .·::-----::··... ..··:=+**######*++==--:::::::::-:::··..
.·:-=+*****+==-:::--=+#%@@@@@@#*=:. .·:-==+++==-:·.. ..··::--======---:::::::::--====--:··.
█████╗ ██╗███╗ ███╗███████╗ ██████╗ ██████╗ ██████╗ ███████╗ ██╗
██╔══██╗██║████╗ ████║██╔════╝ ╚════██╗██╔═████╗╚════██╗██╔════╝ ██║
███████║██║██╔████╔██║█████╗ █████╔╝██║██╔██║ █████╔╝███████╗ ██║
██╔══██║██║██║╚██╔╝██║██╔══╝ ██╔═══╝ ████╔╝██║██╔═══╝ ╚════██║ ██║
██║ ██║██║██║ ╚═╝ ██║███████╗ ███████╗╚██████╔╝███████╗███████║ ██║
╚═╝ ╚═╝╚═╝╚═╝ ╚═╝╚══════╝ ╚══════╝ ╚═════╝ ╚══════╝╚══════╝ ╚═╝$ open /threads/4b6f08e8-3238-4993-8657-69ecddee5a45▌ posts
AIME 2025 I / Let ABCDE be a convex pentagon with AB=14,BC=7,CD=24,DE=13,EA=26, and… · Discussion
Discussing Let ABCDE be a convex pentagon with AB=14,BC=7,CD=24,DE=13,EA=26, and… · AIME 2025 I
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.