benchmarks.wiki / Public workspace
...··:::-------:::········:::----======---::::::::---==+++***************+++++==---------==++**##%%%##*=-:·.
....··········...........······:::::::::············::::::::-------------++==--:::······:::--==+++++==-:·.
.......... .........................................···--+==--:··... ...·::--===--:·..
..-:==--::·.. .··:-----::·..
..::+==--::·.. ..·::-----:··.
..--+*+++==-::··.. ...·::----::·..
..-=##%%%##**+==-::··.....···:::::···.
.·==%@@@@@@@@%#*++=-::·············...
..-=#%@@@@@@@@%%#*+=--::···········...
....·······.................... ...···········.... ...::+*##%%@@@%%%#**+==---:::::-::::··..
..··::-------::········:::---:::··.. ..··:--=======--::··.........·--=++**#######***+++++++++++==-::·.
..·:--=++++++=--::··::--=+++**+==-:·. .·:-=++*#####*+==-:··... ...··:--=+**###%%%%########%%%%#*+=-:·.
..·::-===+===--::::::--=+*#%@@%%#*=-:·. .·:-==++++==---:::::::----====---:::···....····:::----::·..
..···:::::····...···:--==+++++=-:··. ...···:::·····...........·····... .··:::::··..
........ ....···::::···... ... ...... .··:::::··..
...... ..·::::::·..
..·::::::···.. .··::::··..
..·:==+++++++=--:··.. ..·····...
..--*##%%%%%%##*+=-:··.. ........
..--##%@@@@@@@%%#*+=-::·..............
..:-+*##%@@@@@@@%%#*++=-:::········...
............... ...........···········:·······....... .··-=++*#%%@@@@@@@@%##**+=====--::··..
.....·················..........·············:::::---====++++++==--::···.......:--=+*#%@@@@@@@@@@@@@%###**++=-::·.
..·····:::::::::::::::········:::::::::::::::::::::--==++*##%%%%%%%#**+=--::····:::-=+*#%@@@@@@@@@@@@@@@@@%%#*+=-:·.
.·:=+*#####*++=====+*#%@@@@@@%*=:. .·::-----::·.. .... ..·::::::·..
.·::--==---:::::::-==+******+=:·. ........ ..·:----::·..
.....··..........···::::::::·.. ..·:-----::·.
...·········... ..·:::-:::·.
··--====++===-::·.. ..·······.
..::+***#####**+=-::·.. ...·...
..--+**###%%%##**+=-:·.. ......
..::=++**##%%%%%##*+=-::·.. ....
··:-==+*##%@@@@@@%#*+=-::·..........
........ ...·····························...... ..::-==+*#%@@@@@@@@@%#*+=--:···.....
...··.... ...········.........···::---====----------=========---:::····...::--=+*#%@@@@@@@@@@@%#*++=-::··...
.··:::::··... ...··:::---:::····..···::--===+++++====++++**###%%%%%%%##**+==--:::::--==+*#%@@@@@@@@@@%##*++--:··...
.:-+*%@@@@@%##*++++**#%%@@%#*+-·. ..··::···. ...........···::--=+++==-:·.
.·:--=++++==-------==++****+=-:·. ...... ..··············:::-==++++=--·.
..········......···::::::::··. .··:::-------:::·······:--=+++==-:·.
..··--====+++===--::··......··:-----::·.
..::===+++++++==--:··.. ..··::::·..
..::-=====++++===-:··. ..····.
..··:::--===++++==--:·. .....
..···::-==++****++=-:·. ....
...··::-=++*######*+=-:·. .
...···.... ...············....................... ..····:--=+*#%%%@%%#*+=-·..
...... ..·::-----::·... ..··::---===----:::::::::::-----------::···..·····::-=+*#%%@@@%%#+=-:·.
.···:··.. .·:-=++**++=-::·......··::-==+++++++++======++**###%%%%%%##*++=-:···...··::-=+*##%%%%#*+=-:·..
..·-=+*#%@@@%%##**++++++**+++=-:·.. .··::::::::··.. ..··:--=++***#####****####%%%#*+=-:.
..·:-===++====--------======--:··. ..··::::::::::·········:---==++*********++++***#%%%#*+=-:·.
..·········......······::····... ...·············....::=======++++++====-----==+*###*+=-:·.
..::-------------:::·······::-=++++=-:·.
..·.·······::::::···... ..·::--=--:·.
. .....·····::···... ..·:::::·.
....··:::::::··. ..·····.
...··::---=---:·.. ..···.
.....··:--==+++==-:·. ....
...······... ......··....... ............. .......··::-=++**++=-:·. ...
....... ...·:--==++==-::·.. ..··:::--------::::::::::::---------:::··.........·::-=+****++-:·. ..
.······......·:-=*#%@@@%%#+=-:·... ....·::-=++***###****+++++++***########*++=-:··.. ...·:-=+****+=-:·.
....·:::--==+++*******+++====----::::···.... ...··:-=+*#%%@@@@@@@@%##**++=====++**#%%@@@@@@@@@@@@@@@@@%#*+=:·.
....···::::--------------------:::::···..........··:--=+************+==--::=-----==++**###%%%%%%@@@@@@%#*+=-:·
..................·············...... .....····::::::::::····..··:·······::---====+++***##%@%#*+=-:·.
. ..... .....····::::---==+*###*+=-:·.
..........···::-=+++++=-:·.
................·:--====-:·.
. ......·····... ..·::----:·.
........····:::::··.. .··::::··.
..·....···:::----::··. ..··:··..
...........········... .....······......................... ..·.....··::--===--:··. ..····.
..······:::::--==+++++==--:··.. ..··:--==++++++====----::::::::--:::::··..·......··:--=====-::·. ...·..
.·:::------==+*#%@@@@@@@@@#*+=-::······:--=+*##%%@@@@@%%##***+++++++++***+++=--:··.. ...·:-==+++=-:·.. .....
....... ...·:-=+**####**++==-----====+++++++++++++***#%%@@@@@@@@@@@@@@@@%#*+=--::::--=+*#%@@@@@@@@@@@@@%#*+--:·..
..··::----=------::::-------===--------:-----===+++******++==--:··.·......·::-=+*#%@@@@@@@@@@%#+=-::·.
................············....... ................. ... ..··:-=+*##%%%@@%%%#*+=-:·.
. ..·:--=++**######*+=-:·.
.... ..··::--=+++****++=-:·.
..·.··.... ....···:::--==++++==-:·.
..··:::····........·····:::---===---:·.
..::---:::::···············:::-----::·.
..··----:::::::::::::········:::::::··.
....···············...... ...····:::::::····........ ..........··:::::::---------:::··········:····.
.··::--=======+++++++++++==--::····...···::--==+++++++++===--:::······················:::---=====--::·············..
·:--=+**####%%@@@@@@@@@@@@@@@%#*++=---::----==+***#######**++==------------::::·········::--=======-::···········...
.·:-+*#%@@@@%##*++=====+++*##%%%%%%%%###***+++++***###%%%%##**+=-:··.. ..·:-+*%@@@@@@@@%#*=-::··....
..·:--=======---:::::::-----------:::··..........···::::--::::··.. .·:-+*#@@@@@@%#*+=-::···...
.....···..................... ............. .·:=+*#%@@@%#*++=-:····..
..···.. .·:-=+*#####*++=-::···..
··-:-:··. .·:-=++****++==-::···..
··==++-::·.. ...·:-==+++++==--::···..
··+=#*+=--:··....··::--======--::···...
··++%##*+=--:······::---===---::···....
··==####*++=--:::::::--------::··.....
...···:···················...................···········.... ....--*##***++==--------------:::··....
.··:-==+*+++++++++++******+++==--:···.........···:::------::···... ...···::++****++++=====--===----:::·...
.:-=+*#%@@@%%%%@@@@@@@@@@@@@@%#*+=-:·.. ..··::--======--:··.... ...··::--==++++++++++=========---::·...
.·:=+*%@@@@@@@%#**+==--------=========---::···...····::-=======--:·. ..:-+*#%@@%#*+=:··......··..
.·:--==+++===--::···................. ..··:::----::··.. .·-=+##%%##+=-:··....···..
............ ....········.···. .·:=+*###*+=-:···...···..
··-:-·. .·:=+****+=-::··....··..
::+=*=:·. .·:==++++=-:··.........
::**%#+-:. .·:-======-:··.........
::**@@#+=:·. .··:--===-::·.. ....
::**@@@%*=-:·....··:------:··.
::**@@@@%*=-:·····::------:·..
...···::··················..... ......... ...·::**@@@@@%*+=-:::::---==--:··.
..·:-==++++===------------::::··.. ...······... .·:-++*@@@@@@#*+=------=====--:·.
.··:-=+*#**++====-------------::··. ..·::---::··. .·:=+#%@@@@@@%#*+=======++++==-:·.
..·:-=+*#%@@@@@@%#*+=-:··..........···:::::::::::::::::---======-::·. .·:-=++*++=--:····:::::::·.
..·::--======--::··... ....····::::::······::::---===---:·.. .·:-=++++=--:·····::::::·.
......··....... ......·········......······:::::···.·.. .·:-==+==--:······:::::·.
··-:·. .·:-====-::········:::·..
::+-=:. .·:-----::··....······..
::*+#=:· .··::--::··.. ....···.
::**@#+-·. .··::::··.. ....
::**@@#+-·. .··::::·..
::**@@@#+-·.. ..··::::·..
...······..... ... ..··::::**@@@@#+-:·....··:::::··.
..··:::::··... ..····... .:-+*****@@@@@#+-::····::----::·.
..·······.. ..·········.. .··::--::·. .·-+%@@@@@@@@@%*+=-::::--=====-:·.
...·····:::::--=++*##%%%%%%##*+==-::···..···::--=++**#####***+++===----::··.. .··:---===========++==--::·.
.............···:--===++++++===---:::::::::---===++++++++++=====------::··.. ..·::--===========+===--:·.
....···:::::::::::············::::::::::::::············.... ..·::----------======--:·.
.... ..·::-----------=-----:··.
·.·.. ..·::::::::::::::--:::··.
:·-::. ..··::::··············..
::=-=:. ..······..............
::*+*=:·. ...···...
::**%*=:·. ...···...
.. .... ..··::::::**@%*=:·.. ...·····..
... .......... ..·······.. .·:-+*******@@%*=-:·.....··::::::·..
...·············::---===++===-::·.. ..··:--=---:·. .:=*%@@@@@@@@@%*=-:·····::--====-::·.
.··::--===-----===+**#%%@@@@@@@@@%%#*++===--===++*##%@@@@@@%%#*+=-:··.. ....·········:::--=++**#####**+=-::··..
..·····:·······:::--=++*************++===------===+++******+++=--::··... ....······:::-==++**####***+=-::·..
.................···:::::::::::::::::··············:::::::::·····.... ........···::--==++********+==-:··.
. ......···::-==+++******+==-::·.
. . ...···::--====+++++==--::·.
. .... ...···:::----------::···.
..·.·.. ...·····::::·······....
·.:·:·... ....······.....
··-:-:··... ....······...
....... ..... ....···::::··=-+=-:··.......·····:····..
.···:::::::::::·····:::::::::::::···················........··:--=+++++++=*+=-::·······:::-------::·..
.·:==+**####****++++++++++******++==---::::---======--:··......·:-=*#%@@@@@%#*+=--::··:::--==++****++==-:·..
..·:--==+=========++**#%@@@@@@@@@@@@%#*+=--:::::--=+*#%%%%%#*+=-·. .·:-=+****+==-::···:--=+*#####**+=-:·..
..··:::--:::::::::--==++************+==-::·······::-==+++++==-:·.. ..··:--+++==-:::·:::-=+**##%%##*+=-:··..
....····............·····:::::::::····.... .....····::····.. ..::+++==-:::::::-==+*##%%%###*+=-:·..
.·:====--:::··:::-=++*###%%###+=--:·..
.··-==---:::···:::-==+***###**+=--:·..
··-----:::······::--==+++++++=-::··..
.··-----:::·······:::---------::··...
..··-----:::········:::::::::::··...
..··------:::::··::::::-----:::··...
..····:::::······..........············..... ..................::===------::::----==========-:··...
..·:-==++****+++===----::-----=====+++====--:::··..........·······:::::::::::======-------===++***#####*+=-:··.
..··:-=+**###%####**+++======+++**###%%%%%%###*++==-::···········::::----=============---====++*##%%@@@@@@#*=-:·.
..·::-========-----===++*##%%%%%%#**+-:··. ..·:-=+*###*+=-:·. .·-+#%@@@@@@%*=-:··..··::-=++***++=-:·.
..··::---:::::·······:::--====++==--:··.. .··:-=====-:·.. .·:-=+****@%#*=-:·····:--=+**###**+==:··.
.....··...... .....········... ...······... ..···:**@@%*+=-::··::--=+*##%%%%##*+-:··..
··+*@@%#*+=-:::::--=+**#%%%%%%#*+-::·.
··++@@%#*+=--:::::--=++*###%%##*+=-:·..
.·==%%%#**+=-:::::::--=++******+=-:··..
..-=#%###*+=--:::::::--===+++++==-:··..
..--#####**+==--::::---===++++++=-::·..
..--*#####**++=========++***###*+=-:··.
..···::::::::::::·····...·····:::::::::··.. ........ ..:-**######***++++++**###%%%%%#*+=:··.
...·::--==+++++++==---:::::--=++********+=-:·. ...·······.........··::++**####*********###%%%@@@%#*=-:·.
..·:--==+++++===------=+*#%@@@@@@@@@@%*=-:.. ..··:::::···......··::-==++++++++++++++++***#####*+=-:·.
..··:-=====----:::::::::--=======--:·.. .·:-=++**++=-:·····:-=+#@@@@@@@@@#*=-:·......·::-==+++++==-:·..
...··::::::····.........···::::::::··. .·::-----::··......·:-=+*******@%*+-::·····::-=++*######**=-:·..
........... ........... ...····.... ..··:::::**@@%*+=-::···::-=+*##%%@@@%%*+-:·..
::**@@@#*+=-::::::--=+**#%%%%%%#+=-:·.
::**@@@%#*+=-::···::--=++**####*+=-:·..
·:**@@@@%#*=--::····::--=++***#*+=-::·.
··+*@@@@@%#*+=-:::::::--==++**#*++=-:·.
··++@@@@@@%#*++==-----==++**####*+=-:·.
.·=+@@@@@@@@%##**+++++++***#####*=-:··.
...···:::::::::····....····::::::::··. ......... ...-=%%@@@@@@@%%##****+*********+=-:·..
.··:--==++===--::::::-=++********=-·. ..·:::::··.. ...·::+*#%%%%%%##**+++===========--:·..
.·:-==+++++==------=+#%@@@@@@@@@%+-·. ..·:----::·.. .··:--=++++++===--:::::::::::::::··..
..··::--------:::········::::::::···........·::--========----==+**#%@@@@@@@%#*++=-:·······::-=++*###%%##*+=:··.
...············..........········... ...··:::--:::::·····::--==++*****++#*+=--::···:::-=++*#%%%@%%%*+-:·..
............ ....... .....·..............····:::::*+%#*+==-::····::--=++*###%##*+=:··.
::**@%#*+=-::··...···::-==++***++=-:·..
::**@%%#*+=-:·........··:--=++*++=-:··.
··++@@%%#*+=-:··.......··:-==++++=--:·.
··++@@@@%%#*+=-::······::--==++++=-::·.
··++@@@@@@@%##*+==---------===+==-::·..
.·=+@@@@@@@@@@%#**+==-----------::··..
...····::::····.......····:::···.. ...······... ...--#%@@@@@@@@%#**+==---:::::::::··..
..·:--======--::···::--=++***+=-:·. .·::-----::··... ..··:=+**######*++==--:::::::::-:::··..
.·:-=+*****+==-:::--=+#%@@@@@@#*=:. .·:-==+++==-:·.. ..··::--======---:::::::::--====--:··.
█████╗ ██╗███╗ ███╗███████╗ ██████╗ ██████╗ ██████╗ ███████╗ ██╗
██╔══██╗██║████╗ ████║██╔════╝ ╚════██╗██╔═████╗╚════██╗██╔════╝ ██║
███████║██║██╔████╔██║█████╗ █████╔╝██║██╔██║ █████╔╝███████╗ ██║
██╔══██║██║██║╚██╔╝██║██╔══╝ ██╔═══╝ ████╔╝██║██╔═══╝ ╚════██║ ██║
██║ ██║██║██║ ╚═╝ ██║███████╗ ███████╗╚██████╔╝███████╗███████║ ██║
╚═╝ ╚═╝╚═╝╚═╝ ╚═╝╚══════╝ ╚══════╝ ╚═════╝ ╚══════╝╚══════╝ ╚═╝$ open /benchmarks/aime-2025/tasks/AIME2025~2dI--test--…▌ posts · files
AIME 2025 I / Find the number of ordered pairs (x,y), where both x and y are integers…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
question
Find the number of ordered pairs , where both and are integers between and , inclusive, such that .
Plain-text mathematical notation (without MathML)
Find the number of ordered pairs (x,y), where both x and y are integers between −100 and 100, inclusive, such that 12x²−xy−6y²=0.
Original LaTeX notation
Find the number of ordered pairs $(x,y)$, where both $x$ and $y$ are integers between $-100$ and $100$, inclusive, such that $12x^{2}-xy-6y^{2}=0$.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
1f055f8e-78dc-50a6-8fb7-50ef57db44a6- task_key
AIME2025~2dI--test--1f055f8e-78dc-50a6-8fb7-50ef57db44a6- task_revision_id
- 3
- config / split
- AIME2025-I / test
initial import