benchmarks.wiki / Public workspace
..·:::-::::··.... .·::-=++*######**++=-::·.. ..·::--=+++********+++==--::··....
..·······.... ..·--=++*******++=--:··.. ..··::-==++**#########***++==--:··...
...... .·--=+++*****++==--::··... ....··::--==++**#####%%%%####***++==-::··..
··-==+++****+++===--::···········::---==+++***################***++=-::·..
..::=+++******+++===----:::::::----===++++***************####*******+=--:··.
..--**********+++====---------====++++**********+++++++++++++******++==-:··..
··==######***+++===---------====++++*******+++++===============++++++=--:··..
::++%%%##**++===---::::::----====+++++++++++====----:::::::-----======-::··..
::*+@%%#**+==--::········::::---=============---::::········::::----=--::··.
... ......·····::::::::::++%##*+=--::··.........···::::----=====-----::::·····....·····:::--:::··..
...·····......····:::--==+++*******+++=**+=--:··... .....···::::-----------::::····..........···:::::···..
...··::::::::::::---==+**##%%%%%%%%##**+==-::··... .....····:::::::-------:::::····...........········...
..··:::-----------::··.. ..··:---========---:::·····......······::::----====+++++++++++==--:::··......
...····:··:::······.... ...::---===========--------:::::::::::::::----===+++*****#****++===-::··...
................. ..·::--===++++++****+++++++====----:::::::::---==++***###%%####**++=-:··...
..::--==+++***############**+++==--::::····::::--=++**##%%%%%%%###*+=-:··..
··---==++**###%%%%%%%%%%%##**++=--:::·········::--==+*##%%@@@@@%%%#*+--:·..
..·:-===++***###%%%%%%%%%###**+==--::···........··::-==+*##%%@@@@@@%%*+=-:·..
..::==+++++*****#######***+++==--::···..... .....··::-==+*##%%@@@@@%%#+=-:··.
..::========++++++++++=====---::····.... ....··::-==+*##%%%@@@%%#+=-:··.
..::===---------------::::::·····....... .....···::-==+**##%%%%%%*+=-:·..
...............·············.....::--:::::::::··············.....................···::--=++**###%%##*+=-:·..
.....···········:::::----------:::::····:::··················................···········:::--==++***#####*+-::·..
...·······::::::----=========-----::::········································:::::::::::::---==++*******+=-:··.
..··:--==++++++==--::··..... .......······::::::----===+++*******+++===---:::::::---===+++++++==--::··...
...·:::---------:::···.... .···::--==++*##%%@@@@@@@%%#**+=--::········::--==++******++=--::··......
....···········...... ..··:--=+*#%@@@@@@@@@@@@@@%#+=--:·.... ....·::-=++**#####**+==--:···...
.··::-=+*#%@@@@@@@@@@@@@@%#*=-:··. .··:-=+*##%%%%###*++=-::··...
.··:-=+*#%@@@@@@@@@@@@@@%#+=-:·. .·:-=+**#%%@@@%%##*+=-::··..
..··:-==+*#%@@@@@@@@@@@%#*+=:··. .·:-=+*#%@@@@@@%%#*+=-:··..
..··::-==+*##%%%%%%%##*++=-:·.. ..·-=+*#%@@@@@@@%%#*=-::·..
..··::--=+++******++==--:··. .·:-+*#%@@@@@@@@%%*+=-:··.
..···::---========---::··... .·:-=+#%%@@@@@@@@%#+=-:··.
........··········...... ..···:::----------::::···.... ..·:-=+*#%@@@@@@@@%#+=-:·..
...·····::::::::::::·····...... .....·::::----------::::····....... ..··:-=+*#%@@@@@@@@%#+=-:·..
...··::::::::::::::::·····........····:::----=======----:::······......................··::-=+*#%@@@@@@@@%#+=-:·..
.·::-==++++++++===---:::····...........···:--=+*#%%@@@@@@@@@@@%#*++=--:::··::::--=++*******+==-::·...
..·::--====++=====--:::···... ...·:--=*#%@@@@@@@@@@@@@@%#*+=-:··.......··:-==+***##***+=--:··....
...····::::::::::····.... ..·:-=+*%@@@@@@@@@@@@@@@%*+=-:·. ..·::-=+**####**++=-::··......
.·:-=+#%@@@@@@@@@@@@@@%#+=-·.. ..·:-=+*######**+=--::··.....
..·:-+*#%@@@@@@@@@@@@%*+=:·. .·:-=+*##%%##**+==-::··....
.·:-=+*#%@@@@@@@@@%#*+-:·. .:-=+*##%%%%##*+==-::··...
.··:-=+**##%%%%%##*+=-:··. .·:-=+*#%%%%%##*+==-:···...
..··:-==++*******++==-::·. .·-=+*#%%%%%%#**+=-::··...
..··::--====++++++===--::··.. .·:-+*#%%%@%%%#**+=-:··...
.....········...... ..·::---===========-----:::··.. .·:-=*##%%@@%%##*+=-:··..
...··::::::::·····.... ....···::===++++++=====-----::::::···... .·:-=+*#%%@@@%%#**=-:··..
...··::::::::····..... ....··::-==++***####***+++===---:::::::::::····.. .·:-=+*#%%@@@%%#**=-:··..
.·::-=++****###***+++==--::···......···:--=+*#%@@@@@@@@@@@@%##*+=-:::····:::-=++*#%%@@@@%%##*+==--:::···....
..·:--==++*******++==--::··... .··:-=+*#%@@@@@@@@@@@@%#*+=--:··.....··:--=+*#%%@@@@@%##*+==--:::···...
...··::::::::::::::···... ..·:-=+*#%@@@@@@@@@@@%#*+=-:·... ..··:-=+*#%%@@@@@%##*+==--::···...
.··:-+*#%%@@@@@@@@%#*+=-:·.. ..·:-=+*#%%@@@@%%#**+==--::··....
.··:-=+*#%%@@@@%%#**+=-:·. .·:-=+*#%%@@@@%%#*++=--::···...
.·::-=+**##%%%##**+=-:··. .·:-=+*#%%@@@%%#**+==--:···...
..··:-==++**####**++=-:··. .·:-=+*#%%%%%%##*+==--:···...
...··::--==+++******++=--:·. .·:-=+*#%%%%%##*++=--:··....
..····::::---===++++***+++==-:·.. .·:-+**##%%###*++=--:··...
............. .....··-----------=====+++++++++=--:·.. .·:-=+**#####**+==--:··...
.....···.................····:::--------**+++=====---=====++++++++=--:·.. .·:-=+**####**+==-:··...
..·········..... .....··::-=++*#%%%@@@@@%%##**++===------===++++++++=--:·.. .··:-=+******++=--:·...
.·:-==+**##%%%%%%###**+==---:::····::::--==++**##%%%%%%##**+==-::···...···::-=+**#%@@@@@@@@@%%%####*****+=-::·.
..·:--==++********+++==--::···.........··::--==++***###***++=--::··......··:--=+*#%@@@@@@@@@@@@%%####***+=-::·.
..···::::::::::::::···.... ...··::--==++++++++==--::··.......··:-=+*#%@@@@@@@@@@@@@%%%###**+=-::·.
..··:--===+++++==--::··... ...··:-=+*#%@@@@@@@@@@@@@%%###**+=-::·.
..·::--===+++===--:··... ..··:-=+#%@@@@@@@@@@@@@%%###**+=-:··.
..·::--==+++++==--:··.. ..··:-+*#%@@@@@@@@@@@@%%##***+=-:··.
..··:--==++++++==--:··.. ..·:-=+*#%@@@@@@@@@@@%%#**++=-::·..
..··::-==++*****++=--:·... ..·:-=+*#%@@@@@@@@@%%#**++=-::··..
. ..·.......···::-==+**####**+==-:·.. ..·:-=+*#%%@@@@@@%%#**+==-::·...
.......···········...:·:::·······::--=++*###%%##*++=-:·.. .··:-=+*##%%%%%%##*++=--:··..
.....···::--===++++++++==---=--:::···:::--=+**#%%%%%%##*+=-:·.. ..··:-=+**######**+==-::·..
....·····.........··::-=+**#%@@@@@@@@@@%##*+==--:::::::--=++*#%%@@@@%%#*+=-:·.. ..··:-==+******++=--:··.
.·::-+*###%%%%###***++===--------------========+++======--:::··.... ....··:--==+++*********####%%%@@@@@@#*+-:·.
..·::-============----::::::·············:::::::::::::::::···.... ...··:--=++**#######%%%%%%@@@@@@@@@%*+=:·.
....···············........... . .........··········..... ..··::-=+**##%%%%%@@@@@@@@@@@@@@@@%#+=-·..
.....······..... ...·::-=+**#%%@@@@@@@@@@@@@@@@@@@@%#+=-·..
....·······..... ...··:-=+**#%%@@@@@@@@@@@@@@@@@@@@%#+=-:..
..····::·····.........··:--=+*#%@@@@@@@@@@@@@@@@@@@@@%*+=:·..
..··::::::::···.......··::-=+*#%%@@@@@@@@@@@@@@@@@@%%#+=-:·..
..··:--------:::··.....···:-=++*#%@@@@@@@@@@@@@@%%%###+=-:··.
. ... .··:--==+++===--::········:--=+*##%@@@@@@@@@@%%###**++=-:·..
....···::::::::::::···...·... ..·:--=++*****++=--::······::-==+*##%%@@@@@%%##**++==-::·..
....··::--==++*********++==-::···.. ..··:-=+**######*++=--::····::--==+**###%%%##**++=--::··.
....··········:::-==+**#%%@@@@@@@@@%##*+=-:··.. ...·:-=+*##%@@@@%%#*+==--:::::::--==++********++=--:··..
.·:==+*###**+==--::::····:::::---===============----:::···..... ....···:::-------:::::::::--==+**#%%%%%%#*+-:·.
..··::::-:::····.......·······::::::::::···:::::······...... ...··:::---------------==++*##%%@@@@@@#*=-:·.
... .................. ..··........... ...··::---=============++*##%@@@@@@@@%#+=:·.
.... ..··::--=========+++++**##%%@@@@@@@@%#*=-:·.
. ...··:--===++++++++****##%%@@@@@@@@@%#*+-:·.
. ..··::--==++++*******###%%@@@@@@@@@%#*+-:·.
. . ... ..··::--==+++*******####%%%%@@@@@@@%*+=-:·.
. . ........... ...···:--==+++********##############*+=-:·..
. . ...········.........···::-==+++****************++++++=-::·..
...····:::::::::::::::··... . ...··:::::::·····..····:::--==+++******+++++====-----::··...
.....···::--==++***********++=-::·.. ..·::--------::::·····:::---===+++++++++===---:::····....
...····:::::---===++**##%%%@@@@%%##*+=-:··. ..·::--===++===---::::::::---====+++++====--::···....
.·::-====--:··.. ...···::---============----:::····......···::-==+*******++=--:·········:--=++*******++-:··.
....·..... ...····:::::::::::::·--::::····...........··::--=++*****++==--::······::--=++**######*+=-:·..
..................··:::·····..... ...··:--==++***+++==--:::···:::--=++*###%%%%%*+=-:·..
..··:····...... ..··::-==+++++++==---::::::::--=++*##%%%@@@%*+=-:·.
..·····........ ..··::--==+++++===--::::::::--==+**##%%@@@%#*+=:·.
..·.··......... ..··::--=========---::::::::--==++*##%%%@%#*+=-·.
..·.··.......... ..··::---=======---::::::::::--==++**##%#*+=-:·.
..·.·.............. ...··::----===----::::······::::--==++**++=--:·.
..·.·................. ....··:::---------:::············:::--===--::·..
.....····:::::::::::::::···...................................···:::-------:::····.........····:::::::··..
....·····::::--===+++*******+++==-::··............···········.......····::::-----::::···.............···:·····..
..··:::--------===+++**##%%%%%%##*++=-::·.... .....····::::::···········:::::-----::::····.............········...
.········.. ....····:::::--------::::···.........··:-=+#%@@@@@@@@@@@%#*+==--::::---===+++**++++==-::·..
.. ......················::::···.... ...·::-=*#%@@@@@@@@@@@%#*+==--:::::---==+++++++++++=-::··.
...................··::::···.... ...·:-=+*#%@@@@@@@@@@%#*+==--:::::::---===+++*****++=-::·.
..··-::::···.... ..··:-=+*#%@@@@@@@@@%#*+==-:::·····:::---==++**##**+=-:·.
..:·---:::···.... ...··:-=+*#%@@@@@@@@%#*+=--:···.....···::--=++*###**+=-:·.
..::----:::···..... ....·::-=+*#%%@@@@%%#*++=-:··.. ...··:--=+*##**+=-:·.
..::------:::···........··::-=+**##%%%##*++=-:··. .··:-=+***++=-:·.
..::==-----:::···........··::-==+*******++=-:··. ..·:-=++++==-:·.
..::=====----:::···......···::-==+++++++==-:··. .·::-=++==-:·.
..........·······:::::········...::=======----:::····...····::--=======--::·.. .·:-==++==-:·.
.....·········::::---====++++====----::::=========----:::·········:::---------::··.. .·::-=+++==-:·.
..···::::::::::::--==++***######***+++================---::::······:::::------:::··... ..·::-==+*++==-:·.
..···::::::::·····..............··········... .·:-=*#@@@@@@@@@@@@@@%##*++++++++++++++**++++++===--::··..
...·············....... .............·... .·-=+#%@@@@@@@@@@@@@@%##*++==============+++++++++=--:··.
................ ..··... .·:-+*%@@@@@@@@@@@@@@@%#*++=---:::::::----===+++*++==-:·.
..··:···.. .·:-=*#@@@@@@@@@@@@@@@%#*+=-::···.....···::--==+**++==-:·.
..··:::··.. ..·-=+#%@@@@@@@@@@@@@%#*+=-:·.. .··:-=+***++=-:·.
..::---::··.. ..·:-=*#%@@@@@@@@@@@@#*+-:·. .·:-=+**++=-:·.
..::==---::··... ...·:-=+*#%@@@@@@@@@%#*+-:·. .·-=+***+=-:·.
..:-++===--::··......··::-=+*#%@@@@@@@%#*+-:·. .:-=****+=-:·.
..--**+++==--::········::-==+*##%%%%%#**+-:·. .·-=+*##*+=-:·.
........................··--******++==--::····:::--==+***##***+=--:·. .·:-=+*###*+=-:·.
...............······:::::::::::::----==######***+==---::::::---==++++++++==-:··.. ..·:-=++*#%##*+=-:·
.................···:::----========+++**###%%%%%%##**++==----------=========---::··..........··::-==+**#####*+=-:·.
..·:-=+#####*++=--:··.... ....·········.. .·:-=*#%@@@@@@@@@@@%%##***++++++++++++++++++******++=-:··.
.·::-=+*+++==--::··... ......... .·-=+#%@@@@@@@@@@@@@%%#**+++=====-----=====++++**++=-::·.
...···:::::····... . . .·:=+#%@@@@@@@@@@@@@@%#*++=--::::······:::---==+++==-::·.
... .·:-+*#@@@@@@@@@@@@@@%#++=-:··... ...··:--=++==--:·.
..... .·-=+#%@@@@@@@@@@@@%#*=-:·.. ..·:--=====-:·.
..····.. .·:=+*#@@@@@@@@@@@%#*=-:·. ..·:-=+++=--:·
..··::··.. .·:-=*#%@@@@@@@@@%#*+-:·. .·:-=+++++=-:·.
..::---:··.. ..·:-=+*#%@@@@@@@%#*+=-·. .·:-=+****+=-:·.
..::===--::··........··:-==+*##%%%%%%#*+=-:·.. .·:-=+*##**+=-:·.
.. ......--**+++==-::········::--=++**######*++=-::·.. ..··:--=++*#**++=-:·.
.................. ....··::--==#####**+==--:::::::---==++********++==--:::·········:::--===++++*++=--:·.
........ ............ .....··::-=+**#%%@@@%%%##*++===------====+++++++++++=================++++++======--::··..
.:-=+*#%@@@@%#*+=-:··.......··::-------::·.. .·::-=+*###%%%%%%###**+++======--=======+++*********+=-:··.
.··:-==+*****+=--:··... ....········.... .·:-=++*##%%%%%%%###**++==----:::::::-----====+++++=-::·..
...···::::::···... ....... ... .·:-=+**#%%%%%%%%##*++==--::············::::-----=--:··..
. ... .·:-=+**#%%%%%%##**+==-::··... ...···:::---:::··.
. .... ..·:-=+**###%###**++=-::·.. ..···::---:::·..
..·.·.. .··:-=++**####***+==-:··.. ...·::------::·.
..··:·.. .·::-=++*******++==-::··.. ..··::-====--:·..
..:·-:··.. .··:-==++*******++==--::··..... .....··::--====--::·.
..::=--::·.. ..··:--=++****##****++===--:::·············::--===---:··.
.............. .....·--++==--::··........··::--==++**#########***+++===---::::······:::----:::·..
....···········... ..··::---==##**++==--::·······:::--==++**####%%%%%%%%###**+++==--::················.
....···:::::····... .·::-=+*#%%%%%%%##*++==---::::::---===++***##%%%%@@@@@%%%##*++=--::··...............
.·:-=+*#%@@%#*+=-:··.......··::-========--:::······:::--==++**######***+++==---::::·····::::--===+++***++++==-:·..
.··:-==+***+=--:··... ...···:::::::::·············::--==+++******+++==--:::·····..·····:::---========---::·..
...···:::::··... ............·····.......···::--==========---:::···.........····::::--------::::··...
..··:··..........···:::--------::::····..........·····:::::::::::::::···...
..··:··... ....····:::::::::·················:::::::::::·····::·····..
..:·::··.. ....······::::::::::::----------::::::·········:::····..
·.::--:··.. ....···:::----===+++++++++++==---::·····..····::::···.
··--==-::·.. ...··::--==+**###%%%%%%%##**+=--::··.......····:::··.
··=-*+==-:··... ..··::-==+*#%%@@@@@@@@@@@%#*+=--:·... ..·······.
...··········.... .....······==#**+==-::··... ....·::-=+**#%@@@@@@@@@@@@@%#*+=-:·.. ..·····.
..·::-======--::··... ...·::--==+++++%%##*++=-::···......···:--=+*#%@@@@@@@@@@@@@@%#*=-:·.. ...···.
..··:-=+****++==-::·... ...·:-=+*##%@@@@@@@%%#**+=--::·········::-==+*#%%@@@@@@@@@@%%#*+=-:·. ......
.·:-=+****+=-:·. ...···:::::::::----==++**###%%%%%%%##**++=--:··... ...··::--==++++++++==--:··.
.··:--===--:··. ....············---===++****####***++=--:··.. ..··:--==++++++++==--::·..
...······... ..........··----=====+++++++===--::·... ..··::-==+++++++++==--:::··..
..::----------------:::···.. ...·::-==++******+++==--:::···....
..::==-------:::::····... ...·::-==+**######**++==--::::·····.....
··--+===---:::····.... ..··:--=+*##%%@@@@%%##*++=--::···········...
··==*++==--::···... ..··:-=+*#%@@@@@@@@@@@%#*+=--:··.........····...
:·++##*++=--:··... ..·::-+*#%@@@@@@@@@@@@@@%*+=-:·.. ...····..
::*+@%##*+=-::·... ..·:-=+*%@@@@@@@@@@@@@@@#*+-:·.. ..···..
..·········..... .....····:::::::**@@%%#*+=-:··.. ..·:-=+*#@@@@@@@@@@@@@@%#*=-:·. ...··..
..·:-=======--::····..···::--==+*********@@@%#*+=-::·.. ..··:-=+*#%@@@@@@@@@@@%#*+=-·.. ......
.·:-=*#####**+==--:::::::--=+*#%@@@@@@@@@@@@@%#*+=-:·... ...·::-=+**#%%%@@@%%##*+=-:··. ......
.··:-----::·. ..··::-=+**#%%%@@@@%%##*+=-::·.. .··:--=++******+++==-::··..
..··::::··.. ...··-=++**##%%%%##**+=--:·.. ..·::-=++**######**++==--::·...
........ ··-==+***####**++==-:·.. ..·:-==+**##%%%%%##**++==---:··...
..·:==+++*****+++=--:··.. ..·:-==+*##%%%%%%%%###**++==---::··...
..::++++++++++==--::··.. ..·::-=+*##%@@@@@@@@%%##**++==-----:::··...
··--******+++==--::··... ...··:-=++*#%@@@@@@@@@@%%#**+==---:::::::::···..
··+=%###***+==--:···........··:-==+*#%@@@@@@@@@@@@%#*+==--::··············..
::**@@%%#**+=--:···.......··::-=+*#%@@@@@@@@@@@@%#*+=--:··..........······...
::**@@@%%#*+=-::·.........··:-=+*#%@@@@@@@@@@@%#*+=-::·.. ....··....
........... .....···::::::::::**@@@%#*+=-:··.. ..··:-=++*#%%@@@@@@%%#*+=--:·.. ........
..··:::::::··········::--==+************@@@%*+=-:··.. ..·::-=++**#######**+==-:··.. .......
.·:-==+====----::::--==+**#%@@@@@@@@@@@@@%#*+=-:·.. ..··::--==++++++++===--:··.. .....
███╗ ███╗ █████╗ ████████╗██╗ ██╗
████╗ ████║██╔══██╗╚══██╔══╝██║ ██║
██╔████╔██║███████║ ██║ ███████║
██║╚██╔╝██║██╔══██║ ██║ ██╔══██║
██║ ╚═╝ ██║██║ ██║ ██║ ██║ ██║
╚═╝ ╚═╝╚═╝ ╚═╝ ╚═╝ ╚═╝ ╚═╝$ open /benchmarks/math/tasks/geometry--test--d38e7610-…▌ posts · files
MATH / In the figure below, ABDC, EFHG, and ASHY are all squares; AB=EF=1 and AY=5. What is the area of quadrilateral DYES? [asy] size(5cm); defaultpen(black+1); pair a=(0,5); pair b=(1,5…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
problem
In the figure below, and are all squares; and .
What is the area of quadrilateral ?
[asy]
size(5cm);
defaultpen(black+1);
pair a=(0,5); pair b=(1,5); pair c=(0,4); pair d=(1,4); pair e=(4,1); pair f=(5,1); pair g=(4,0); pair h=(5,0); pair y=(0,0); pair s=(5,5);
draw(a--s--h--y--a);
draw(c--d--b,gray);
draw(g--e--f,gray);
draw(d--y--e--s--d);
dot(a); dot(b); dot(c); dot(d); dot(e); dot(f); dot(g); dot(h); dot(y); dot(s);
label("",a,NW);
label("",b,N);
label("",c,W);
label("",d,SE);
label("",e,NW);
label("",f,E);
label("",g,S);
label("",h,SE);
label("",y,SW);
label("",s,NE);
[/asy]
Plain-text mathematical notation (without MathML)
In the figure below, ABDC, EFHG, and ASHY are all squares; AB=EF=1 and AY=5.
What is the area of quadrilateral DYES?
[asy]
size(5cm);
defaultpen(black+1);
pair a=(0,5); pair b=(1,5); pair c=(0,4); pair d=(1,4); pair e=(4,1); pair f=(5,1); pair g=(4,0); pair h=(5,0); pair y=(0,0); pair s=(5,5);
draw(a--s--h--y--a);
draw(c--d--b,gray);
draw(g--e--f,gray);
draw(d--y--e--s--d);
dot(a); dot(b); dot(c); dot(d); dot(e); dot(f); dot(g); dot(h); dot(y); dot(s);
label("A",a,NW);
label("B",b,N);
label("C",c,W);
label("D",d,SE);
label("E",e,NW);
label("F",f,E);
label("G",g,S);
label("H",h,SE);
label("Y",y,SW);
label("S",s,NE);
[/asy]Original LaTeX notation
In the figure below, $ABDC,$ $EFHG,$ and $ASHY$ are all squares; $AB=EF =1$ and $AY=5$.
What is the area of quadrilateral $DYES$?
[asy]
size(5cm);
defaultpen(black+1);
pair a=(0,5); pair b=(1,5); pair c=(0,4); pair d=(1,4); pair e=(4,1); pair f=(5,1); pair g=(4,0); pair h=(5,0); pair y=(0,0); pair s=(5,5);
draw(a--s--h--y--a);
draw(c--d--b,gray);
draw(g--e--f,gray);
draw(d--y--e--s--d);
dot(a); dot(b); dot(c); dot(d); dot(e); dot(f); dot(g); dot(h); dot(y); dot(s);
label("$A$",a,NW);
label("$B$",b,N);
label("$C$",c,W);
label("$D$",d,SE);
label("$E$",e,NW);
label("$F$",f,E);
label("$G$",g,S);
label("$H$",h,SE);
label("$Y$",y,SW);
label("$S$",s,NE);
[/asy]level
Level 3
type
Geometry
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
d38e7610-c626-5224-a23f-e765c933fff2- task_key
geometry--test--d38e7610-c626-5224-a23f-e765c933fff2- task_revision_id
- 1
- config / split
- geometry / test
initial import