benchmarks.wiki / Public workspace
..···::::·····.......···::::--------::::···········:::--====+++++++***##%@@@@@@@@@%#*=-:·. .·:-----:·.
........ ......··············.......·····:::-----=======%@@@@@@@@@@@@@@%*+-:. ..·:-==-::·.
.......... ........···········++@@@@@@@@@@@@@@#*=:·. .:-=++==-:·.
··==%%@@@@@@@@@%#*=-:. .·-=+*##*+-:·.
..:-++**######*++=-:·. .·:-+*#%@@%#+=:·.
..::--===++++==--:······::-=*#%@@@@@%*+-:·.
.··:-==+++++++=======++*##%@@@@@%#+=:·..
.·-=+*#%%%%%##***+++****#####**+=-:··..
·:-+#%@@@@@@@@%#*++=============--::··...
..............·········::::::········................. ·-+*%@@@@@@@@%#+=-:····.····::::---:::···.
..····::::::::::----===++++***+++++====---------------::··.. .·=+#@@@@@@@@#*=-·. ..··:--====---:··.
..··::----------===++*##%%%@@@@@@%%%###*******########**+=-:·.. .·:=+*#%@@@%#+=:·. ..·:-==++**++=--:·.
.··:--=+++*******++++++++++++++++++====---:::·······::::---------===++*#%@@@@@@@@@@@@%+-:. .··::··..
....····:::::::::::::::::::::::::::::·····.......·····:::::::::---**#%@@@@@@@@@@@@%*=:· .:-====-:·.
.......................... ...............--+**#%@@@@@@@@@#*=-·. .·-=*###*+=-·.
..::-==++**#####**+=-:·......·:-=*#%@@%#*+=:·.
..···::--=++++++==---:::--=+*#%@@@@@%#*=-·..
.··:-=++********+++***##%%@@@%%*+-:·..
.·:-=+##%%@@%%%##**********+++=-:··..
.·:-+*%@@@@@@%%#*+==----:::::::···....
.·:=+#%@@@@@%#*+=-:··..........····......
.... ..........·······.............···········... .·:-+*#%%%#*+=-:·.. ..···:::::···.
....···············:::---=====+======--------===+++***++==-:·.. .·-==+**++=-:·. ..··::-------::··.
..··:::::::::::::--==+**##%%@@@@@@@%%%########%%@@@@@@@@@#*+-:·. .·::-====-::·. ..·::--====+===--:··.
.··:-+*#%@@@@@@@@@@@@@%%####*********++++===-------===========--------=+*#@@@@@@@@@@#*=:·. .·:----:·.
..··::-==++++****+++++++==========----::::········::::::::::·····:::--=+*#%@@@@@%#*+-:·.. ..·:-+****+=-:·.
.....···························....... ........... ..····::-=+**####*++=-:::·:::-=+*#@@%#*+=-:·
..·:--=+******+++=====+**#%@@@@%#*+-:·.
..·:-=+**#####********###%%%%%#+=-:·.
.··-=+**#######***+++++++++++=-:··..
.·:-=+**####**++==------:::::··...
.·:-=++++++==--::··········.....
.·:--====--::··.....................
.... ......................···::::::::::··.. ..·::----:::··..........··········.....
....·····........ ......··:::----====---------==++*********+=-:·. .··:------::··......····::::::::::····..
..···::::···........··::-=++*##%%%%%%%###*****##%@@@@@@@@@#*+-:·. ..·:--=====--::·······:::----------::····..
.·:-=+*#%%@@@@@%%##**++++++++++++++++++========++++++++==-:··.. ..·:-=*#%%@@%%#*+=-::···::--=====-::·.
.··:--==++++++++++===============----:::·········::····... .·:-=+*##%%##*++==----==+**###*+=-:·.
....·······::::·················.... ..·:-=+*#####**+++===+++*##%%%#*+=-·.
..··:-=++******+++===+++**###%#*+=-:·.
. . ...··:--===+++==========++++***+=-:··.
. ... ...··::-------:::::----======-:··..
. . ..···:::::::·:::::::----:::·..
..·············:::::::::::·...
.··:::::::::::::::::::::::··...
............... .......······..........···::::::::::·.. ..·::--===----:::::::-------:::·...
..··::----:::···...........··::--========----:::---==+++**++==-:·.. ··:-=++***+++==---::::---------:::··...
.·:-==++++==-::··........·::-=+**#%%%%##**+==-----==+++****++==-:::::::--=+*##%%%##**+==--::::::---------:::·....
...··:-==+**######***+++======++++++++++===-------------::··. .·:-+*#%%@@%%##*++======+++==--:·.
..··::----======------===========--::··................. ..·:-=+*######**++=======++**++=-:·.
......················::·····... .......··::--==+++++===--------==+***++=-:·.
..:·::········:::::::::······:::-==++*++=-::·.
··-:::·... ..............···::--==+++=--:·..
·.:··. ....···:--===++==-:·..
... ......···::--==++++=-:··..
...·······::::---==++++++=-:·..
..··::-------------====++++++++=-:·..
......···........... .....··········.............·········.... ..·:--=++******+++========+++++++++=-:··.
.··::-==+====---::···.......···::--====---::··......···:::-----::::::::::-*##%%@@@@%%#**++==---====+++++++==-:·..
.·:-=+*#%@@%%#*++=-:··.. ..··:--=+++++==-::·.......··::-==+++++++***##%%@@@@@@@@@@%#*+==--::::----=======--:··.
.·::--====---===+++*###%%%%###***++++++****###**++=-::·... ....········... ...·::-=+**######**++++===+++==--:··.
...············::::-------------------====+===--:··. ..···:::::·-::::::::---=========----:::----====--:··.
..................············.. ...······=-+==--::::::::::······......··::--==---:··.
::==+=-::··..... ..··:------:··.
:·=-=:··. ..·::-==--::·..
··:··.. ..·::-====-::·..
..·... ..··::-==+++=--:·..
....·...····················::--=++****+=-:·..
..··:---===+++++===----::----=++**####*+=-:·..
.....·······....... .............. .....·····.......:-+**##%%%%%%##**++=======++**##%%%%#*=-:·..
..·::-=++++++++==-::·... ...·········... ...···:::------------==%%@@@@@@@@@%%#**+======++**##%%%%%#*=-:·.
.·:-+*#%@@@@@@@%#+=:·. .··::---:::···....···::--=====++++++**#%%@@@@@@@@@@@%#*++==----==++**##%%%%#+=-:·.
.·:-==++**++++++***##%%%%%%##**++======++***####*+=-::·.. ..·::-==+++++==---:::::---==++++****++++++****#*++=-:·.
..··:::----:::::----------:::····..···::--==+++==--:··... ...··:--=======**+==----------------:::::::---==++==--:·.
..................... ...···:::::···... ....····::::+=#*+==--:::·······............··:------:··.
:·==*+=--::··..... .··::::::·..
··=-==-::··.... ..··:::··..
··-:=-:::···.... ..··::···..
·.::=--::::::···... ..··:::···..
·.::=========---::··.. ..·::::::··..
..--++++******++==-::··... ....··:--==--::·..
....······:·····... ......······......--+**##%%%%%%#**+=--::······:::-==++++=-:··.
...·::-=++******+=-:·. ..···············::::::::::::···::::-**#%%@@@@@@%%#*++=--:::::--==++*###*+=-:·.
..·:-=+#@@@@@@@@%#+-:. .·:-=++**+++==-----:::::::::·······::-=++*#%@@@@@@@@%%#*+==------==++*#%%@%#*+-:·.
.··::-=======+++***#####**+=-:··......·:-=+*#%@@@@%#*++=---:---==++******++===---:::----====++++****###%%@@%#*+=-:·.
...···:::::::::::::::::··.. ..·-=+********+=--::·····:::---===--*++==----------------======++**##%%#*+=-:·.
................ ..··::::::::::··.... ......····--+++==------:::::::::::··::::--=++****+=-:·.
··--++===-----:::::···..........··::-==+==--:·.
··--+++====----:::··... .··:-----:·.
··=-**++++===---::··.. .··::::··.
··==*****++++===-::·.. ..·····..
··==**********++=--:·. ...··...
··--****######**++=-:·. .......
....····:::::···.. ................·······........::++**###%%%%#**+=-:·. ...··...
...··:-==+****++=-:·. ..·::-----------:::::::::::······..····-=+**#%%%%%%##*+=-:·. ..·····...
..·:-+*#%@@@@@@%*+-:·. ..:-=+*##%%%###*++===----:::···.... ..··:-=+*##%%@@%%#**+=-:·.. ..··::::::·..
...···::::::::--===++===-:·. .:-+#@@@@@@@@@@@%#*++=======+++++===---::::····:::::---====+++****##**+=-:·.
...........··········.. .·:=+**********+=-::··········:::::----::::::::::::-----=====+++**##%##*+=-:·.
...... ..·:::::::::···.. ....··---::::::::::::----------===++**#%##*+=-:·.
..::-------------------::::::----==+*###*+=-:·.
..::=============-----::::·····:::-==+***+=-:·.
··--+++++++++++++===--::···......··:-======-:·.
··==#########****++==-::·... ..·::----::·.
··==####%%%%%%%##**+=-::·. ..··::::·..
··==###%%%@@@@@%%##*+=-:·. ..·····.
...···:::::···... .................·················--**##%%@@@@@@@%%#*=-:·. ......
..·:-=+******+==-:··.....···:::-----------::-----------:::::::::::=++*#%%@@@@@@@%#*+=:·. ....
.·-+*%@@@@@@@@@%*+=--::::--==++******+++============---:::········::-=+**#%@@@@@@@%#+=-:·. ....
..... ..·:--=====-:·. .·:=+#@@@@@@@@@@%%#*++===============--::::············::::::::::::::···...
..··::----::··. .·::-=++***++==--::···············:::::···············::::::::::----:::···..
....······.... ....······..... ..······.......······:::::::::---------::··.
..····.......·······:::::::::::----==----:··.
..················:::::::::::::::--====--::·.
..··::::::::::::::::::::::::······::--------:·.
..::-------------------::::·········:::----::·.
··--+++====+++++++++===--::··.......···:::::··.
··--*********#####***++=--:··.. ..······.
.··::::::::::····.............................·············==**####%%%%@@@@%%##*+=-:··. .......
.·-=+**********+=--::::··:::::::::·········::::----==========---**###%%@@@@@@@@@@%#*+=-:·. .....
.·-=*%@@@@@@@@@@%#*+=--::::------------:::::---===+++*******++++++++**##%@@@@@@@@@@@@@#*+-:·. ..
.... .·:-+*#%@@@%#*=-·. .·:-=+**########**********########****++====-------------------:::··...
...·::-=++***++=-:·.. ..··::------::::::::::::------++++====-----------------------:::···...
.........····:::::···... ..........................::-----:::::::::::::::---------:::::···....
..··:::··············::::::::::::::::·····....
..···.............····:::::::::··········...
....... .....·······················..
..·.... .....········.............·..
..·.··..............·········.... .......
..··::····.....·····::::::···... ....
..·:::::::::::::······........... ..............::--:::::::::::---------::··.. ..
..·:-=+********++==--:::::::::·····.............···:::---------::==--------===+++**+++==-::·.
..·:-=+**#%%%##**+==--:::::::::::::::···........··::--==++*******++++======+++**##%%%%%%##*+=-:·.
..···::::·····::-=+*%@@@@@@@@%#+-:·. .··:--===++++****###%%%@@@@@@@@%%###**+++=========++++++++++=-:··..
..··:::-::::::---==+++**++==-:·. ...····::::::----====++++@@@@%%%###***+++++++++++******++++=-:··..
...·······......·········... .............······++%%%%%###****+++++++++*********+++=-::·...
··==####***+++++=====+++++******+++==-::·...
.·--+++++====--------====+++++++===--:··...
..::===----:::::::::::---======--::···..
..::---::····......····:::::::::··..
..··:::··.... ....·········..
..··::··... ....·····...
...···:::::::::···············...... ..........··::··.. ...········..
...··::---====------------------:::···...... ......···:::::::::·::··... ...··:::----:::·..
.... ....···::---------::::::----======---::··.... ....··::--========--::···.....···:--=+++***++=-::·..
.·:-++*##**+=======+**#%@@@@@%#*+=:·. ..··::---===++++********+++==--:::···.....···:::--==++++==-:··.
..·:--====--:::::::::---====--::·.. ....···::::----====####**+++==--::::::::---==++***##*+=-:··.
...·····..... ............... ......·····==%%%%###**++===-----===++**##%%%%%#*+-:··.
··=+%%%%%%##***+++====+++**##%%%@%%%##+=-··.
··=+%%%%%%##***++++=++++**##%%%%%%#**+-:·..
··==%%%%###**+++=======+++***##**++=-:·.
··==#####**++==---------====++==--:·.
··==##**++==--::·······:::----::··.
··==**++==-::··........····::···..
.....··········::::::::::::::····.................····=-*++=--:··.. ...···:::···..
...····:::::-----===+++*******++==--:::·········:::----===-*+==-:··.. ..··::--===--::··...
....····:::::::---==++*##%%%@@@@%%#**+==--::::::::--==++******++=--:··... ...·:-==+*#####**+==-:··....
.·:-+**###*+=--:::::--=++*#######*+=--:·.. ..··::-==+++*******++++==--:::··... ..·:--=+++=--:·..
..·::----::····..····:::--------::··.. ...···::::---------++===--::··... ..·:--=+*##%#*+=-··.
......... ................ .........·--**++++==--::···.....··::-=+*#%@@@@%#+=:·.
..--******++==--::::··:::-==+*#%@@@@@@#+=:·.
..--*####***++==---:::---=+**#%%@@@%#*=-·.
..--*######**++==-------==++**####*+=-·.
..--*######**+==--::::::--===+++==-:·.
..--######**+==-:::·····:::------:·..
.·-=######*+==-::··....···:::---:::·..
........·······:::::::·····..... ....··==%%%%#**+=-:··......··::--======--:··....
.....····:::--==+++********++==--::··......···::--==++%%%%#*++=-:··....··::-=+*##%%%##*+=-:··..
.....·····::--==+*#%%@@@@@@@@@@@@%#*+==-::::::--==+*#%%@@@@@%#*+=-::··..··::=+*#%@@@@@@@@%#+=-··.
.··:-===--::········::--=++**#####**++==---::::---==+**#%%@@@@@@@@@@%%%##**++==--::··.. .·:-=+***+=-:·.
..········.......···:::---====----:::····....····:::---===+++++++++++=###**++==--:··.. .·:-=*#%@%#*+-:·.
........ ........········....... ......············==#####**++=--:··.. ..·:-=*#%@@@%#+=:·.
··==######**++=--:··......·::-+*#%%@@%#+-·.
..--**####***+==-::··...··::-=+**###*+=:·
..::++******++==-::···.···::-==+++++=-·.
·:=++*****++=--:···...··::--======-:·.
··==+*****++=--:···..···::-==++++==-:·..
·:=+**###**+==-::·····::--=+***#***+=-:··..
......................... .::*##%%%%##*+=--::::::--=+*##%%@@%%#*=-:··.
......·····::::-----------:::··... ..·::-=%@@@@@@@%#*+=-:::::--=+*#%@@@@@@@%*+-:··.
.....···::--==++**########*++=-::·... ...·:-=+#%@@@@@@@@@%*+=-:::·::-==*#%@@@@@@@%#*=-:·..
..··:::····.........··::--===+++++++====--------===++**##%%%%%%%%%%%%########***++=-::·.. ..·:=+***+=-:·.
...................····::::-----::::::::···:::::---===+++++*****+++@@@@@@@@%%##*+=-:·.. .·:-=+*##*+=:·.
................................·······:::::::::**@@@@@@@@@@%#*+=-:·. ..·:=+**#*+=:·.
··++@@@@@@@@@%#*+=-:·.. ..·:-=++**+=:·.
··==##%%%%%%##*+=-:·.. .·:-=++***=-:·.
..::=++******++=-:··.. ..·:-=+*****+-:·.
..:--==+++++==-::··....··:-=+*##%%##+=-:·.
.·:--=+++*+++==--:::::--=+*#%%%@%%#*+-:·..
.·:-+**##%%##*++===-===++*##%%%%%%#*=-:··.
...................···············............. .·-=*#%@@@@@@%%#*+===-===++**######*+=-:··..
................····:::::---------------::::::::::···.. ..·:*%@@@@@@@@@%#*=--::::::--=+++*****+=-::·..
.................···:::----============+++++++++++==--:·.. .·:=+#@@@@@@@@@%#+=:·.. ..··:-==++****+==-::·.
█████╗ ██╗███╗ ███╗███████╗ ██████╗ ██████╗ ██████╗ ██╗ ██╗
██╔══██╗██║████╗ ████║██╔════╝ ╚════██╗██╔═████╗╚════██╗██║ ██║
███████║██║██╔████╔██║█████╗ █████╔╝██║██╔██║ █████╔╝███████║
██╔══██║██║██║╚██╔╝██║██╔══╝ ██╔═══╝ ████╔╝██║██╔═══╝ ╚════██║
██║ ██║██║██║ ╚═╝ ██║███████╗ ███████╗╚██████╔╝███████╗ ██║
╚═╝ ╚═╝╚═╝╚═╝ ╚═╝╚══════╝ ╚══════╝ ╚═════╝ ╚══════╝ ╚═╝$ open /benchmarks/aime-2024/tasks/default--train--3559…▌ posts · files
AIME 2024 / AIME 2024 train 3559b9ac-7936-5b75-b48f-1b965a2cba2e
Problem
Answer published by the source. Consult the official source to check your work against its answer.
Problem
Let be a 13th root of unity. Find the remainder when
is divided by 1000.
Plain-text mathematical notation (without MathML)
Let ω≠1 be a 13th root of unity. Find the remainder when ∏_(k=0)¹²(2−2ω^(k)+ω^(2k)) is divided by 1000.
Original LaTeX notation
Let $\omega \neq 1$ be a 13th root of unity. Find the remainder when
\[ \prod_{k=0}^{12}(2 - 2\omega^k + \omega^{2k}) \] is divided by 1000.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
3559b9ac-7936-5b75-b48f-1b965a2cba2e- task_key
default--train--3559b9ac-7936-5b75-b48f-1b965a2cba2e- task_revision_id
- 3
- config / split
- default / train
initial import