benchmarks.wiki / Public workspace
..·:::-::::··.... .·::-=++*######**++=-::·.. ..·::--=+++********+++==--::··....
..·······.... ..·--=++*******++=--:··.. ..··::-==++**#########***++==--:··...
...... .·--=+++*****++==--::··... ....··::--==++**#####%%%%####***++==-::··..
··-==+++****+++===--::···········::---==+++***################***++=-::·..
..::=+++******+++===----:::::::----===++++***************####*******+=--:··.
..--**********+++====---------====++++**********+++++++++++++******++==-:··..
··==######***+++===---------====++++*******+++++===============++++++=--:··..
::++%%%##**++===---::::::----====+++++++++++====----:::::::-----======-::··..
::*+@%%#**+==--::········::::---=============---::::········::::----=--::··.
... ......·····::::::::::++%##*+=--::··.........···::::----=====-----::::·····....·····:::--:::··..
...·····......····:::--==+++*******+++=**+=--:··... .....···::::-----------::::····..........···:::::···..
...··::::::::::::---==+**##%%%%%%%%##**+==-::··... .....····:::::::-------:::::····...........········...
..··:::-----------::··.. ..··:---========---:::·····......······::::----====+++++++++++==--:::··......
...····:··:::······.... ...::---===========--------:::::::::::::::----===+++*****#****++===-::··...
................. ..·::--===++++++****+++++++====----:::::::::---==++***###%%####**++=-:··...
..::--==+++***############**+++==--::::····::::--=++**##%%%%%%%###*+=-:··..
··---==++**###%%%%%%%%%%%##**++=--:::·········::--==+*##%%@@@@@%%%#*+--:·..
..·:-===++***###%%%%%%%%%###**+==--::···........··::-==+*##%%@@@@@@%%*+=-:·..
..::==+++++*****#######***+++==--::···..... .....··::-==+*##%%@@@@@%%#+=-:··.
..::========++++++++++=====---::····.... ....··::-==+*##%%%@@@%%#+=-:··.
..::===---------------::::::·····....... .....···::-==+**##%%%%%%*+=-:·..
...............·············.....::--:::::::::··············.....................···::--=++**###%%##*+=-:·..
.....···········:::::----------:::::····:::··················................···········:::--==++***#####*+-::·..
...·······::::::----=========-----::::········································:::::::::::::---==++*******+=-:··.
..··:--==++++++==--::··..... .......······::::::----===+++*******+++===---:::::::---===+++++++==--::··...
...·:::---------:::···.... .···::--==++*##%%@@@@@@@%%#**+=--::········::--==++******++=--::··......
....···········...... ..··:--=+*#%@@@@@@@@@@@@@@%#+=--:·.... ....·::-=++**#####**+==--:···...
.··::-=+*#%@@@@@@@@@@@@@@%#*=-:··. .··:-=+*##%%%%###*++=-::··...
.··:-=+*#%@@@@@@@@@@@@@@%#+=-:·. .·:-=+**#%%@@@%%##*+=-::··..
..··:-==+*#%@@@@@@@@@@@%#*+=:··. .·:-=+*#%@@@@@@%%#*+=-:··..
..··::-==+*##%%%%%%%##*++=-:·.. ..·-=+*#%@@@@@@@%%#*=-::·..
..··::--=+++******++==--:··. .·:-+*#%@@@@@@@@%%*+=-:··.
..···::---========---::··... .·:-=+#%%@@@@@@@@%#+=-:··.
........··········...... ..···:::----------::::···.... ..·:-=+*#%@@@@@@@@%#+=-:·..
...·····::::::::::::·····...... .....·::::----------::::····....... ..··:-=+*#%@@@@@@@@%#+=-:·..
...··::::::::::::::::·····........····:::----=======----:::······......................··::-=+*#%@@@@@@@@%#+=-:·..
.·::-==++++++++===---:::····...........···:--=+*#%%@@@@@@@@@@@%#*++=--:::··::::--=++*******+==-::·...
..·::--====++=====--:::···... ...·:--=*#%@@@@@@@@@@@@@@%#*+=-:··.......··:-==+***##***+=--:··....
...····::::::::::····.... ..·:-=+*%@@@@@@@@@@@@@@@%*+=-:·. ..·::-=+**####**++=-::··......
.·:-=+#%@@@@@@@@@@@@@@%#+=-·.. ..·:-=+*######**+=--::··.....
..·:-+*#%@@@@@@@@@@@@%*+=:·. .·:-=+*##%%##**+==-::··....
.·:-=+*#%@@@@@@@@@%#*+-:·. .:-=+*##%%%%##*+==-::··...
.··:-=+**##%%%%%##*+=-:··. .·:-=+*#%%%%%##*+==-:···...
..··:-==++*******++==-::·. .·-=+*#%%%%%%#**+=-::··...
..··::--====++++++===--::··.. .·:-+*#%%%@%%%#**+=-:··...
.....········...... ..·::---===========-----:::··.. .·:-=*##%%@@%%##*+=-:··..
...··::::::::·····.... ....···::===++++++=====-----::::::···... .·:-=+*#%%@@@%%#**=-:··..
...··::::::::····..... ....··::-==++***####***+++===---:::::::::::····.. .·:-=+*#%%@@@%%#**=-:··..
.·::-=++****###***+++==--::···......···:--=+*#%@@@@@@@@@@@@%##*+=-:::····:::-=++*#%%@@@@%%##*+==--:::···....
..·:--==++*******++==--::··... .··:-=+*#%@@@@@@@@@@@@%#*+=--:··.....··:--=+*#%%@@@@@%##*+==--:::···...
...··::::::::::::::···... ..·:-=+*#%@@@@@@@@@@@%#*+=-:·... ..··:-=+*#%%@@@@@%##*+==--::···...
.··:-+*#%%@@@@@@@@%#*+=-:·.. ..·:-=+*#%%@@@@%%#**+==--::··....
.··:-=+*#%%@@@@%%#**+=-:·. .·:-=+*#%%@@@@%%#*++=--::···...
.·::-=+**##%%%##**+=-:··. .·:-=+*#%%@@@%%#**+==--:···...
..··:-==++**####**++=-:··. .·:-=+*#%%%%%%##*+==--:···...
...··::--==+++******++=--:·. .·:-=+*#%%%%%##*++=--:··....
..····::::---===++++***+++==-:·.. .·:-+**##%%###*++=--:··...
............. .....··-----------=====+++++++++=--:·.. .·:-=+**#####**+==--:··...
.....···.................····:::--------**+++=====---=====++++++++=--:·.. .·:-=+**####**+==-:··...
..·········..... .....··::-=++*#%%%@@@@@%%##**++===------===++++++++=--:·.. .··:-=+******++=--:·...
.·:-==+**##%%%%%%###**+==---:::····::::--==++**##%%%%%%##**+==-::···...···::-=+**#%@@@@@@@@@%%%####*****+=-::·.
..·:--==++********+++==--::···.........··::--==++***###***++=--::··......··:--=+*#%@@@@@@@@@@@@%%####***+=-::·.
..···::::::::::::::···.... ...··::--==++++++++==--::··.......··:-=+*#%@@@@@@@@@@@@@%%%###**+=-::·.
..··:--===+++++==--::··... ...··:-=+*#%@@@@@@@@@@@@@%%###**+=-::·.
..·::--===+++===--:··... ..··:-=+#%@@@@@@@@@@@@@%%###**+=-:··.
..·::--==+++++==--:··.. ..··:-+*#%@@@@@@@@@@@@%%##***+=-:··.
..··:--==++++++==--:··.. ..·:-=+*#%@@@@@@@@@@@%%#**++=-::·..
..··::-==++*****++=--:·... ..·:-=+*#%@@@@@@@@@%%#**++=-::··..
. ..·.......···::-==+**####**+==-:·.. ..·:-=+*#%%@@@@@@%%#**+==-::·...
.......···········...:·:::·······::--=++*###%%##*++=-:·.. .··:-=+*##%%%%%%##*++=--:··..
.....···::--===++++++++==---=--:::···:::--=+**#%%%%%%##*+=-:·.. ..··:-=+**######**+==-::·..
....·····.........··::-=+**#%@@@@@@@@@@%##*+==--:::::::--=++*#%%@@@@%%#*+=-:·.. ..··:-==+******++=--:··.
.·::-+*###%%%%###***++===--------------========+++======--:::··.... ....··:--==+++*********####%%%@@@@@@#*+-:·.
..·::-============----::::::·············:::::::::::::::::···.... ...··:--=++**#######%%%%%%@@@@@@@@@%*+=:·.
....···············........... . .........··········..... ..··::-=+**##%%%%%@@@@@@@@@@@@@@@@%#+=-·..
.....······..... ...·::-=+**#%%@@@@@@@@@@@@@@@@@@@@%#+=-·..
....·······..... ...··:-=+**#%%@@@@@@@@@@@@@@@@@@@@%#+=-:..
..····::·····.........··:--=+*#%@@@@@@@@@@@@@@@@@@@@@%*+=:·..
..··::::::::···.......··::-=+*#%%@@@@@@@@@@@@@@@@@@%%#+=-:·..
..··:--------:::··.....···:-=++*#%@@@@@@@@@@@@@@%%%###+=-:··.
. ... .··:--==+++===--::········:--=+*##%@@@@@@@@@@%%###**++=-:·..
....···::::::::::::···...·... ..·:--=++*****++=--::······::-==+*##%%@@@@@%%##**++==-::·..
....··::--==++*********++==-::···.. ..··:-=+**######*++=--::····::--==+**###%%%##**++=--::··.
....··········:::-==+**#%%@@@@@@@@@%##*+=-:··.. ...·:-=+*##%@@@@%%#*+==--:::::::--==++********++=--:··..
.·:==+*###**+==--::::····:::::---===============----:::···..... ....···:::-------:::::::::--==+**#%%%%%%#*+-:·.
..··::::-:::····.......·······::::::::::···:::::······...... ...··:::---------------==++*##%%@@@@@@#*=-:·.
... .................. ..··........... ...··::---=============++*##%@@@@@@@@%#+=:·.
.... ..··::--=========+++++**##%%@@@@@@@@%#*=-:·.
. ...··:--===++++++++****##%%@@@@@@@@@%#*+-:·.
. ..··::--==++++*******###%%@@@@@@@@@%#*+-:·.
. . ... ..··::--==+++*******####%%%%@@@@@@@%*+=-:·.
. . ........... ...···:--==+++********##############*+=-:·..
. . ...········.........···::-==+++****************++++++=-::·..
...····:::::::::::::::··... . ...··:::::::·····..····:::--==+++******+++++====-----::··...
.....···::--==++***********++=-::·.. ..·::--------::::·····:::---===+++++++++===---:::····....
...····:::::---===++**##%%%@@@@%%##*+=-:··. ..·::--===++===---::::::::---====+++++====--::···....
.·::-====--:··.. ...···::---============----:::····......···::-==+*******++=--:·········:--=++*******++-:··.
....·..... ...····:::::::::::::·--::::····...........··::--=++*****++==--::······::--=++**######*+=-:·..
..................··:::·····..... ...··:--==++***+++==--:::···:::--=++*###%%%%%*+=-:·..
..··:····...... ..··::-==+++++++==---::::::::--=++*##%%%@@@%*+=-:·.
..·····........ ..··::--==+++++===--::::::::--==+**##%%@@@%#*+=:·.
..·.··......... ..··::--=========---::::::::--==++*##%%%@%#*+=-·.
..·.··.......... ..··::---=======---::::::::::--==++**##%#*+=-:·.
..·.·.............. ...··::----===----::::······::::--==++**++=--:·.
..·.·................. ....··:::---------:::············:::--===--::·..
.....····:::::::::::::::···...................................···:::-------:::····.........····:::::::··..
....·····::::--===+++*******+++==-::··............···········.......····::::-----::::···.............···:·····..
..··:::--------===+++**##%%%%%%##*++=-::·.... .....····::::::···········:::::-----::::····.............········...
.········.. ....····:::::--------::::···.........··:-=+#%@@@@@@@@@@@%#*+==--::::---===+++**++++==-::·..
.. ......················::::···.... ...·::-=*#%@@@@@@@@@@@%#*+==--:::::---==+++++++++++=-::··.
...................··::::···.... ...·:-=+*#%@@@@@@@@@@%#*+==--:::::::---===+++*****++=-::·.
..··-::::···.... ..··:-=+*#%@@@@@@@@@%#*+==-:::·····:::---==++**##**+=-:·.
..:·---:::···.... ...··:-=+*#%@@@@@@@@%#*+=--:···.....···::--=++*###**+=-:·.
..::----:::···..... ....·::-=+*#%%@@@@%%#*++=-:··.. ...··:--=+*##**+=-:·.
..::------:::···........··::-=+**##%%%##*++=-:··. .··:-=+***++=-:·.
..::==-----:::···........··::-==+*******++=-:··. ..·:-=++++==-:·.
..::=====----:::···......···::-==+++++++==-:··. .·::-=++==-:·.
..........·······:::::········...::=======----:::····...····::--=======--::·.. .·:-==++==-:·.
.....·········::::---====++++====----::::=========----:::·········:::---------::··.. .·::-=+++==-:·.
..···::::::::::::--==++***######***+++================---::::······:::::------:::··... ..·::-==+*++==-:·.
..···::::::::·····..............··········... .·:-=*#@@@@@@@@@@@@@@%##*++++++++++++++**++++++===--::··..
...·············....... .............·... .·-=+#%@@@@@@@@@@@@@@%##*++==============+++++++++=--:··.
................ ..··... .·:-+*%@@@@@@@@@@@@@@@%#*++=---:::::::----===+++*++==-:·.
..··:···.. .·:-=*#@@@@@@@@@@@@@@@%#*+=-::···.....···::--==+**++==-:·.
..··:::··.. ..·-=+#%@@@@@@@@@@@@@%#*+=-:·.. .··:-=+***++=-:·.
..::---::··.. ..·:-=*#%@@@@@@@@@@@@#*+-:·. .·:-=+**++=-:·.
..::==---::··... ...·:-=+*#%@@@@@@@@@%#*+-:·. .·-=+***+=-:·.
..:-++===--::··......··::-=+*#%@@@@@@@%#*+-:·. .:-=****+=-:·.
..--**+++==--::········::-==+*##%%%%%#**+-:·. .·-=+*##*+=-:·.
........................··--******++==--::····:::--==+***##***+=--:·. .·:-=+*###*+=-:·.
...............······:::::::::::::----==######***+==---::::::---==++++++++==-:··.. ..·:-=++*#%##*+=-:·
.................···:::----========+++**###%%%%%%##**++==----------=========---::··..........··::-==+**#####*+=-:·.
..·:-=+#####*++=--:··.... ....·········.. .·:-=*#%@@@@@@@@@@@%%##***++++++++++++++++++******++=-:··.
.·::-=+*+++==--::··... ......... .·-=+#%@@@@@@@@@@@@@%%#**+++=====-----=====++++**++=-::·.
...···:::::····... . . .·:=+#%@@@@@@@@@@@@@@%#*++=--::::······:::---==+++==-::·.
... .·:-+*#@@@@@@@@@@@@@@%#++=-:··... ...··:--=++==--:·.
..... .·-=+#%@@@@@@@@@@@@%#*=-:·.. ..·:--=====-:·.
..····.. .·:=+*#@@@@@@@@@@@%#*=-:·. ..·:-=+++=--:·
..··::··.. .·:-=*#%@@@@@@@@@%#*+-:·. .·:-=+++++=-:·.
..::---:··.. ..·:-=+*#%@@@@@@@%#*+=-·. .·:-=+****+=-:·.
..::===--::··........··:-==+*##%%%%%%#*+=-:·.. .·:-=+*##**+=-:·.
.. ......--**+++==-::········::--=++**######*++=-::·.. ..··:--=++*#**++=-:·.
.................. ....··::--==#####**+==--:::::::---==++********++==--:::·········:::--===++++*++=--:·.
........ ............ .....··::-=+**#%%@@@%%%##*++===------====+++++++++++=================++++++======--::··..
.:-=+*#%@@@@%#*+=-:··.......··::-------::·.. .·::-=+*###%%%%%%###**+++======--=======+++*********+=-:··.
.··:-==+*****+=--:··... ....········.... .·:-=++*##%%%%%%%###**++==----:::::::-----====+++++=-::·..
...···::::::···... ....... ... .·:-=+**#%%%%%%%%##*++==--::············::::-----=--:··..
. ... .·:-=+**#%%%%%%##**+==-::··... ...···:::---:::··.
. .... ..·:-=+**###%###**++=-::·.. ..···::---:::·..
..·.·.. .··:-=++**####***+==-:··.. ...·::------::·.
..··:·.. .·::-=++*******++==-::··.. ..··::-====--:·..
..:·-:··.. .··:-==++*******++==--::··..... .....··::--====--::·.
..::=--::·.. ..··:--=++****##****++===--:::·············::--===---:··.
.............. .....·--++==--::··........··::--==++**#########***+++===---::::······:::----:::·..
....···········... ..··::---==##**++==--::·······:::--==++**####%%%%%%%%###**+++==--::················.
....···:::::····... .·::-=+*#%%%%%%%##*++==---::::::---===++***##%%%%@@@@@%%%##*++=--::··...............
.·:-=+*#%@@%#*+=-:··.......··::-========--:::······:::--==++**######***+++==---::::·····::::--===+++***++++==-:·..
.··:-==+***+=--:··... ...···:::::::::·············::--==+++******+++==--:::·····..·····:::---========---::·..
...···:::::··... ............·····.......···::--==========---:::···.........····::::--------::::··...
..··:··..........···:::--------::::····..........·····:::::::::::::::···...
..··:··... ....····:::::::::·················:::::::::::·····::·····..
..:·::··.. ....······::::::::::::----------::::::·········:::····..
·.::--:··.. ....···:::----===+++++++++++==---::·····..····::::···.
··--==-::·.. ...··::--==+**###%%%%%%%##**+=--::··.......····:::··.
··=-*+==-:··... ..··::-==+*#%%@@@@@@@@@@@%#*+=--:·... ..·······.
...··········.... .....······==#**+==-::··... ....·::-=+**#%@@@@@@@@@@@@@%#*+=-:·.. ..·····.
..·::-======--::··... ...·::--==+++++%%##*++=-::···......···:--=+*#%@@@@@@@@@@@@@@%#*=-:·.. ...···.
..··:-=+****++==-::·... ...·:-=+*##%@@@@@@@%%#**+=--::·········::-==+*#%%@@@@@@@@@@%%#*+=-:·. ......
.·:-=+****+=-:·. ...···:::::::::----==++**###%%%%%%%##**++=--:··... ...··::--==++++++++==--:··.
.··:--===--:··. ....············---===++****####***++=--:··.. ..··:--==++++++++==--::·..
...······... ..........··----=====+++++++===--::·... ..··::-==+++++++++==--:::··..
..::----------------:::···.. ...·::-==++******+++==--:::···....
..::==-------:::::····... ...·::-==+**######**++==--::::·····.....
··--+===---:::····.... ..··:--=+*##%%@@@@%%##*++=--::···········...
··==*++==--::···... ..··:-=+*#%@@@@@@@@@@@%#*+=--:··.........····...
:·++##*++=--:··... ..·::-+*#%@@@@@@@@@@@@@@%*+=-:·.. ...····..
::*+@%##*+=-::·... ..·:-=+*%@@@@@@@@@@@@@@@#*+-:·.. ..···..
..·········..... .....····:::::::**@@%%#*+=-:··.. ..·:-=+*#@@@@@@@@@@@@@@%#*=-:·. ...··..
..·:-=======--::····..···::--==+*********@@@%#*+=-::·.. ..··:-=+*#%@@@@@@@@@@@%#*+=-·.. ......
.·:-=*#####**+==--:::::::--=+*#%@@@@@@@@@@@@@%#*+=-:·... ...·::-=+**#%%%@@@%%##*+=-:··. ......
.··:-----::·. ..··::-=+**#%%%@@@@%%##*+=-::·.. .··:--=++******+++==-::··..
..··::::··.. ...··-=++**##%%%%##**+=--:·.. ..·::-=++**######**++==--::·...
........ ··-==+***####**++==-:·.. ..·:-==+**##%%%%%##**++==---:··...
..·:==+++*****+++=--:··.. ..·:-==+*##%%%%%%%%###**++==---::··...
..::++++++++++==--::··.. ..·::-=+*##%@@@@@@@@%%##**++==-----:::··...
··--******+++==--::··... ...··:-=++*#%@@@@@@@@@@%%#**+==---:::::::::···..
··+=%###***+==--:···........··:-==+*#%@@@@@@@@@@@@%#*+==--::··············..
::**@@%%#**+=--:···.......··::-=+*#%@@@@@@@@@@@@%#*+=--:··..........······...
::**@@@%%#*+=-::·.........··:-=+*#%@@@@@@@@@@@%#*+=-::·.. ....··....
........... .....···::::::::::**@@@%#*+=-:··.. ..··:-=++*#%%@@@@@@%%#*+=--:·.. ........
..··:::::::··········::--==+************@@@%*+=-:··.. ..·::-=++**#######**+==-:··.. .......
.·:-==+====----::::--==+**#%@@@@@@@@@@@@@%#*+=-:·.. ..··::--==++++++++===--:··.. .....
███╗ ███╗ █████╗ ████████╗██╗ ██╗
████╗ ████║██╔══██╗╚══██╔══╝██║ ██║
██╔████╔██║███████║ ██║ ███████║
██║╚██╔╝██║██╔══██║ ██║ ██╔══██║
██║ ╚═╝ ██║██║ ██║ ██║ ██║ ██║
╚═╝ ╚═╝╚═╝ ╚═╝ ╚═╝ ╚═╝ ╚═╝$ open /benchmarks/math/tasks/number~5ftheory--test--dc…▌ posts · files
MATH / When all the girls at Madeline's school line up in rows of eight, there are…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
problem
When all the girls at Madeline's school line up in rows of eight, there are seven left over.
If instead they line up in rows of four, how many are left over?level
Level 1
type
Number Theory
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
dc8dc7cc-e112-5336-87d7-d9473ca83007- task_key
number~5ftheory--test--dc8dc7cc-e112-5336-87d7-d9473ca83007- task_revision_id
- 1
- config / split
- number_theory / test
initial import