benchmarks.wiki / Public workspace
...··:::-------:::········:::----======---::::::::---==+++***************+++++==---------==++**##%%%##*=-:·.
....··········...........······:::::::::············::::::::-------------++==--:::······:::--==+++++==-:·.
.......... .........................................···--+==--:··... ...·::--===--:·..
..-:==--::·.. .··:-----::·..
..::+==--::·.. ..·::-----:··.
..--+*+++==-::··.. ...·::----::·..
..-=##%%%##**+==-::··.....···:::::···.
.·==%@@@@@@@@%#*++=-::·············...
..-=#%@@@@@@@@%%#*+=--::···········...
....·······.................... ...···········.... ...::+*##%%@@@%%%#**+==---:::::-::::··..
..··::-------::········:::---:::··.. ..··:--=======--::··.........·--=++**#######***+++++++++++==-::·.
..·:--=++++++=--::··::--=+++**+==-:·. .·:-=++*#####*+==-:··... ...··:--=+**###%%%%########%%%%#*+=-:·.
..·::-===+===--::::::--=+*#%@@%%#*=-:·. .·:-==++++==---:::::::----====---:::···....····:::----::·..
..···:::::····...···:--==+++++=-:··. ...···:::·····...........·····... .··:::::··..
........ ....···::::···... ... ...... .··:::::··..
...... ..·::::::·..
..·::::::···.. .··::::··..
..·:==+++++++=--:··.. ..·····...
..--*##%%%%%%##*+=-:··.. ........
..--##%@@@@@@@%%#*+=-::·..............
..:-+*##%@@@@@@@%%#*++=-:::········...
............... ...........···········:·······....... .··-=++*#%%@@@@@@@@%##**+=====--::··..
.....·················..........·············:::::---====++++++==--::···.......:--=+*#%@@@@@@@@@@@@@%###**++=-::·.
..·····:::::::::::::::········:::::::::::::::::::::--==++*##%%%%%%%#**+=--::····:::-=+*#%@@@@@@@@@@@@@@@@@%%#*+=-:·.
.·:=+*#####*++=====+*#%@@@@@@%*=:. .·::-----::·.. .... ..·::::::·..
.·::--==---:::::::-==+******+=:·. ........ ..·:----::·..
.....··..........···::::::::·.. ..·:-----::·.
...·········... ..·:::-:::·.
··--====++===-::·.. ..·······.
..::+***#####**+=-::·.. ...·...
..--+**###%%%##**+=-:·.. ......
..::=++**##%%%%%##*+=-::·.. ....
··:-==+*##%@@@@@@%#*+=-::·..........
........ ...·····························...... ..::-==+*#%@@@@@@@@@%#*+=--:···.....
...··.... ...········.........···::---====----------=========---:::····...::--=+*#%@@@@@@@@@@@%#*++=-::··...
.··:::::··... ...··:::---:::····..···::--===+++++====++++**###%%%%%%%##**+==--:::::--==+*#%@@@@@@@@@@%##*++--:··...
.:-+*%@@@@@%##*++++**#%%@@%#*+-·. ..··::···. ...........···::--=+++==-:·.
.·:--=++++==-------==++****+=-:·. ...... ..··············:::-==++++=--·.
..········......···::::::::··. .··:::-------:::·······:--=+++==-:·.
..··--====+++===--::··......··:-----::·.
..::===+++++++==--:··.. ..··::::·..
..::-=====++++===-:··. ..····.
..··:::--===++++==--:·. .....
..···::-==++****++=-:·. ....
...··::-=++*######*+=-:·. .
...···.... ...············....................... ..····:--=+*#%%%@%%#*+=-·..
...... ..·::-----::·... ..··::---===----:::::::::::-----------::···..·····::-=+*#%%@@@%%#+=-:·.
.···:··.. .·:-=++**++=-::·......··::-==+++++++++======++**###%%%%%%##*++=-:···...··::-=+*##%%%%#*+=-:·..
..·-=+*#%@@@%%##**++++++**+++=-:·.. .··::::::::··.. ..··:--=++***#####****####%%%#*+=-:.
..·:-===++====--------======--:··. ..··::::::::::·········:---==++*********++++***#%%%#*+=-:·.
..·········......······::····... ...·············....::=======++++++====-----==+*###*+=-:·.
..::-------------:::·······::-=++++=-:·.
..·.·······::::::···... ..·::--=--:·.
. .....·····::···... ..·:::::·.
....··:::::::··. ..·····.
...··::---=---:·.. ..···.
.....··:--==+++==-:·. ....
...······... ......··....... ............. .......··::-=++**++=-:·. ...
....... ...·:--==++==-::·.. ..··:::--------::::::::::::---------:::··.........·::-=+****++-:·. ..
.······......·:-=*#%@@@%%#+=-:·... ....·::-=++***###****+++++++***########*++=-:··.. ...·:-=+****+=-:·.
....·:::--==+++*******+++====----::::···.... ...··:-=+*#%%@@@@@@@@%##**++=====++**#%%@@@@@@@@@@@@@@@@@%#*+=:·.
....···::::--------------------:::::···..........··:--=+************+==--::=-----==++**###%%%%%%@@@@@@%#*+=-:·
..................·············...... .....····::::::::::····..··:·······::---====+++***##%@%#*+=-:·.
. ..... .....····::::---==+*###*+=-:·.
..........···::-=+++++=-:·.
................·:--====-:·.
. ......·····... ..·::----:·.
........····:::::··.. .··::::··.
..·....···:::----::··. ..··:··..
...........········... .....······......................... ..·.....··::--===--:··. ..····.
..······:::::--==+++++==--:··.. ..··:--==++++++====----::::::::--:::::··..·......··:--=====-::·. ...·..
.·:::------==+*#%@@@@@@@@@#*+=-::······:--=+*##%%@@@@@%%##***+++++++++***+++=--:··.. ...·:-==+++=-:·.. .....
....... ...·:-=+**####**++==-----====+++++++++++++***#%%@@@@@@@@@@@@@@@@%#*+=--::::--=+*#%@@@@@@@@@@@@@%#*+--:·..
..··::----=------::::-------===--------:-----===+++******++==--:··.·......·::-=+*#%@@@@@@@@@@%#+=-::·.
................············....... ................. ... ..··:-=+*##%%%@@%%%#*+=-:·.
. ..·:--=++**######*+=-:·.
.... ..··::--=+++****++=-:·.
..·.··.... ....···:::--==++++==-:·.
..··:::····........·····:::---===---:·.
..::---:::::···············:::-----::·.
..··----:::::::::::::········:::::::··.
....···············...... ...····:::::::····........ ..........··:::::::---------:::··········:····.
.··::--=======+++++++++++==--::····...···::--==+++++++++===--:::······················:::---=====--::·············..
·:--=+**####%%@@@@@@@@@@@@@@@%#*++=---::----==+***#######**++==------------::::·········::--=======-::···········...
.·:-+*#%@@@@%##*++=====+++*##%%%%%%%%###***+++++***###%%%%##**+=-:··.. ..·:-+*%@@@@@@@@%#*=-::··....
..·:--=======---:::::::-----------:::··..........···::::--::::··.. .·:-+*#@@@@@@%#*+=-::···...
.....···..................... ............. .·:=+*#%@@@%#*++=-:····..
..···.. .·:-=+*#####*++=-::···..
··-:-:··. .·:-=++****++==-::···..
··==++-::·.. ...·:-==+++++==--::···..
··+=#*+=--:··....··::--======--::···...
··++%##*+=--:······::---===---::···....
··==####*++=--:::::::--------::··.....
...···:···················...................···········.... ....--*##***++==--------------:::··....
.··:-==+*+++++++++++******+++==--:···.........···:::------::···... ...···::++****++++=====--===----:::·...
.:-=+*#%@@@%%%%@@@@@@@@@@@@@@%#*+=-:·.. ..··::--======--:··.... ...··::--==++++++++++=========---::·...
.·:=+*%@@@@@@@%#**+==--------=========---::···...····::-=======--:·. ..:-+*#%@@%#*+=:··......··..
.·:--==+++===--::···................. ..··:::----::··.. .·-=+##%%##+=-:··....···..
............ ....········.···. .·:=+*###*+=-:···...···..
··-:-·. .·:=+****+=-::··....··..
::+=*=:·. .·:==++++=-:··.........
::**%#+-:. .·:-======-:··.........
::**@@#+=:·. .··:--===-::·.. ....
::**@@@%*=-:·....··:------:··.
::**@@@@%*=-:·····::------:·..
...···::··················..... ......... ...·::**@@@@@%*+=-:::::---==--:··.
..·:-==++++===------------::::··.. ...······... .·:-++*@@@@@@#*+=------=====--:·.
.··:-=+*#**++====-------------::··. ..·::---::··. .·:=+#%@@@@@@%#*+=======++++==-:·.
..·:-=+*#%@@@@@@%#*+=-:··..........···:::::::::::::::::---======-::·. .·:-=++*++=--:····:::::::·.
..·::--======--::··... ....····::::::······::::---===---:·.. .·:-=++++=--:·····::::::·.
......··....... ......·········......······:::::···.·.. .·:-==+==--:······:::::·.
··-:·. .·:-====-::········:::·..
::+-=:. .·:-----::··....······..
::*+#=:· .··::--::··.. ....···.
::**@#+-·. .··::::··.. ....
::**@@#+-·. .··::::·..
::**@@@#+-·.. ..··::::·..
...······..... ... ..··::::**@@@@#+-:·....··:::::··.
..··:::::··... ..····... .:-+*****@@@@@#+-::····::----::·.
..·······.. ..·········.. .··::--::·. .·-+%@@@@@@@@@%*+=-::::--=====-:·.
...·····:::::--=++*##%%%%%%##*+==-::···..···::--=++**#####***+++===----::··.. .··:---===========++==--::·.
.............···:--===++++++===---:::::::::---===++++++++++=====------::··.. ..·::--===========+===--:·.
....···:::::::::::············::::::::::::::············.... ..·::----------======--:·.
.... ..·::-----------=-----:··.
·.·.. ..·::::::::::::::--:::··.
:·-::. ..··::::··············..
::=-=:. ..······..............
::*+*=:·. ...···...
::**%*=:·. ...···...
.. .... ..··::::::**@%*=:·.. ...·····..
... .......... ..·······.. .·:-+*******@@%*=-:·.....··::::::·..
...·············::---===++===-::·.. ..··:--=---:·. .:=*%@@@@@@@@@%*=-:·····::--====-::·.
.··::--===-----===+**#%%@@@@@@@@@%%#*++===--===++*##%@@@@@@%%#*+=-:··.. ....·········:::--=++**#####**+=-::··..
..·····:·······:::--=++*************++===------===+++******+++=--::··... ....······:::-==++**####***+=-::·..
.................···:::::::::::::::::··············:::::::::·····.... ........···::--==++********+==-:··.
. ......···::-==+++******+==-::·.
. . ...···::--====+++++==--::·.
. .... ...···:::----------::···.
..·.·.. ...·····::::·······....
·.:·:·... ....······.....
··-:-:··... ....······...
....... ..... ....···::::··=-+=-:··.......·····:····..
.···:::::::::::·····:::::::::::::···················........··:--=+++++++=*+=-::·······:::-------::·..
.·:==+**####****++++++++++******++==---::::---======--:··......·:-=*#%@@@@@%#*+=--::··:::--==++****++==-:·..
..·:--==+=========++**#%@@@@@@@@@@@@%#*+=--:::::--=+*#%%%%%#*+=-·. .·:-=+****+==-::···:--=+*#####**+=-:·..
..··:::--:::::::::--==++************+==-::·······::-==+++++==-:·.. ..··:--+++==-:::·:::-=+**##%%##*+=-:··..
....····............·····:::::::::····.... .....····::····.. ..::+++==-:::::::-==+*##%%%###*+=-:·..
.·:====--:::··:::-=++*###%%###+=--:·..
.··-==---:::···:::-==+***###**+=--:·..
··-----:::······::--==+++++++=-::··..
.··-----:::·······:::---------::··...
..··-----:::········:::::::::::··...
..··------:::::··::::::-----:::··...
..····:::::······..........············..... ..................::===------::::----==========-:··...
..·:-==++****+++===----::-----=====+++====--:::··..........·······:::::::::::======-------===++***#####*+=-:··.
..··:-=+**###%####**+++======+++**###%%%%%%###*++==-::···········::::----=============---====++*##%%@@@@@@#*=-:·.
..·::-========-----===++*##%%%%%%#**+-:··. ..·:-=+*###*+=-:·. .·-+#%@@@@@@%*=-:··..··::-=++***++=-:·.
..··::---:::::·······:::--====++==--:··.. .··:-=====-:·.. .·:-=+****@%#*=-:·····:--=+**###**+==:··.
.....··...... .....········... ...······... ..···:**@@%*+=-::··::--=+*##%%%%##*+-:··..
··+*@@%#*+=-:::::--=+**#%%%%%%#*+-::·.
··++@@%#*+=--:::::--=++*###%%##*+=-:·..
.·==%%%#**+=-:::::::--=++******+=-:··..
..-=#%###*+=--:::::::--===+++++==-:··..
..--#####**+==--::::---===++++++=-::·..
..--*#####**++=========++***###*+=-:··.
..···::::::::::::·····...·····:::::::::··.. ........ ..:-**######***++++++**###%%%%%#*+=:··.
...·::--==+++++++==---:::::--=++********+=-:·. ...·······.........··::++**####*********###%%%@@@%#*=-:·.
..·:--==+++++===------=+*#%@@@@@@@@@@%*=-:.. ..··:::::···......··::-==++++++++++++++++***#####*+=-:·.
..··:-=====----:::::::::--=======--:·.. .·:-=++**++=-:·····:-=+#@@@@@@@@@#*=-:·......·::-==+++++==-:·..
...··::::::····.........···::::::::··. .·::-----::··......·:-=+*******@%*+-::·····::-=++*######**=-:·..
........... ........... ...····.... ..··:::::**@@%*+=-::···::-=+*##%%@@@%%*+-:·..
::**@@@#*+=-::::::--=+**#%%%%%%#+=-:·.
::**@@@%#*+=-::···::--=++**####*+=-:·..
·:**@@@@%#*=--::····::--=++***#*+=-::·.
··+*@@@@@%#*+=-:::::::--==++**#*++=-:·.
··++@@@@@@%#*++==-----==++**####*+=-:·.
.·=+@@@@@@@@%##**+++++++***#####*=-:··.
...···:::::::::····....····::::::::··. ......... ...-=%%@@@@@@@%%##****+*********+=-:·..
.··:--==++===--::::::-=++********=-·. ..·:::::··.. ...·::+*#%%%%%%##**+++===========--:·..
.·:-==+++++==------=+#%@@@@@@@@@%+-·. ..·:----::·.. .··:--=++++++===--:::::::::::::::··..
..··::--------:::········::::::::···........·::--========----==+**#%@@@@@@@%#*++=-:·······::-=++*###%%##*+=:··.
...············..........········... ...··:::--:::::·····::--==++*****++#*+=--::···:::-=++*#%%%@%%%*+-:·..
............ ....... .....·..............····:::::*+%#*+==-::····::--=++*###%##*+=:··.
::**@%#*+=-::··...···::-==++***++=-:·..
::**@%%#*+=-:·........··:--=++*++=-:··.
··++@@%%#*+=-:··.......··:-==++++=--:·.
··++@@@@%%#*+=-::······::--==++++=-::·.
··++@@@@@@@%##*+==---------===+==-::·..
.·=+@@@@@@@@@@%#**+==-----------::··..
...····::::····.......····:::···.. ...······... ...--#%@@@@@@@@%#**+==---:::::::::··..
..·:--======--::···::--=++***+=-:·. .·::-----::··... ..··:=+**######*++==--:::::::::-:::··..
.·:-=+*****+==-:::--=+#%@@@@@@#*=:. .·:-==+++==-:·.. ..··::--======---:::::::::--====--:··.
█████╗ ██╗███╗ ███╗███████╗ ██████╗ ██████╗ ██████╗ ███████╗ ██╗
██╔══██╗██║████╗ ████║██╔════╝ ╚════██╗██╔═████╗╚════██╗██╔════╝ ██║
███████║██║██╔████╔██║█████╗ █████╔╝██║██╔██║ █████╔╝███████╗ ██║
██╔══██║██║██║╚██╔╝██║██╔══╝ ██╔═══╝ ████╔╝██║██╔═══╝ ╚════██║ ██║
██║ ██║██║██║ ╚═╝ ██║███████╗ ███████╗╚██████╔╝███████╗███████║ ██║
╚═╝ ╚═╝╚═╝╚═╝ ╚═╝╚══════╝ ╚══════╝ ╚═════╝ ╚══════╝╚══════╝ ╚═╝$ open /benchmarks/aime-2025/tasks/AIME2025~2dI--test--…▌ posts · files
AIME 2025 I / There are 8!=40320 eight-digit positive integers that use each of the digits…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
question
There are eight-digit positive integers that use each of the digits exactly once. Let be the number of these integers that are divisible by 22. Find the difference between and 2025.
Plain-text mathematical notation (without MathML)
There are 8!=40320 eight-digit positive integers that use each of the digits 1,2,3,4,5,6,7,8 exactly once. Let N be the number of these integers that are divisible by 22. Find the difference between N and 2025.
Original LaTeX notation
There are $8!=40320$ eight-digit positive integers that use each of the digits $1,2,3,4,5,6,7,8$ exactly once. Let $N$ be the number of these integers that are divisible by 22. Find the difference between $N$ and 2025.
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
a610c01b-01ff-53ef-93a4-48ad1f50536b- task_key
AIME2025~2dI--test--a610c01b-01ff-53ef-93a4-48ad1f50536b- task_revision_id
- 3
- config / split
- AIME2025-I / test
initial import