benchmarks.wiki / Public workspace
.·:--==--::··....··:--=+++++=-:. ·-=*#%@@%#*=-·. .·-+*%@@@@%*+-·. .:-+*####*+-:·.
..·::::··.. ..·::-----:·.. .·:-=+***+=-:·. ..·:-=+++=-:·. .·-=**#**+=-·.
...··... ...·····... ..··::::::··.. ..······.. .:-=+***+=-:.
·:-=+**++=:·.
.·:==++++=-·..
.·:-=++++=-:·.
..·:-==++==-:·..
..·::-===++==-:··..
....··:--==+++++==-:··..
.....................························::::·····.... .............. ..···:--=++******++=-:·...
....··············::---===++====---:::::::--==++++++==-::·........··::--====--::··.....·::-=+*#%%@@%%#*+=-:·..
.....····....····:--=+*##%%%%%##*+=--:::::--=+*#%%%%%#*+=-:·.. ..·:=+*#%%%%%#*+=-:····::-=+#%@@@@@@@@#*+-:·.
.··:::::··.. ..·:-=+***++=:·. ·:=*#%%%#*+-:. .·:=*%@@@@@%#+-·. .·:=+*#%%#*+=:·. .
.···:::··. .·::--=---:·. .·:-=++++==-·.. .·:=++**++=-·. .:-+*###*+=-·.
....·... ...······.. ..··:::::··.. ..·······.. .·-=+***+=-:·.
.·-=+++++=:·.
.:-=++++=-:·.
.·:-==++=--:·.
.·:-======-::·..
..·:-======--:··...
..·:--==+++==---:··....
.................·······················:::::·····...... .............. .··::-=+++**+++=--::···...
...........···::---=======-----:::----==++++++++==--:···....····:::----:::···.......·:-=+**##%%##*+==-:···.....
...........··:--=+**##%###**+==------=+**#%%@@@%%#*+=-:··..···:--=+******+==-::·····:-=+*#%@@@@@@%#*+=-:·.......
.··::···. ..·:-=+*##*+=-·. ·:=+*##*+=-·. .:=*#@@@@@@%*+-:.. .·:-=*#%%%%#*+-:·. ...···.
..·····.. ..·:--====-:·. .·:-=+++=-:·. .·:=+*****+=-·. .·=+*####*+-:·. .....
...... ..·······.. ..··::::··.. ..··::::··.. .:-=+****+=:·. ....
.·:=+++++=-:·. ...
.·:-=+++=-:·..
.·:-=====-:·..
.·:--====--:··.... ...
.·:--=====--::····.....
..·:-===++===--::::·····..
........······················::::::::····..... .............. ..:--=++***++==--:::::::···.
.......····:::-----=------------===+++++*++++==--::·········:::::::::···........··:=+*##%%##**+=--::::::::··.
...··:--=++*******+++======++*##%%@@@@@%%#*+==-:::::::--==++++++==--:······::-=*#%@@@@@@@%#*=-::·········.
....... .·:-=+*####*=-·. .·:-=+++=-:·. .·-=*%@@@@@@#*=-:··...·:-=+*#%%@%%#*=-:·. .·::--::·.
...... .·::-=====-:·. .·:--==--:·. .·:-=+****+=-:·.. ..·:--=####*=-:. .··:::··.
.. ...·······.. ..·······.. ..··:::::··.. .:-****+=-:·. ..····..
··=++++=-:·. ..···.
..:-=====-:·. ......
.·:-====--:·.. .......
·:--====--:···...·······..
.·:--=====--::::::::::::··.
..:-==++++==--------==---:·.
.....············.....·····:::::::::···.... ............. .·:++*****++==---:--=====--:·.
.......····:::-----===----------===+++*****++==--::·······::::--::::··........··:--=%%@@@%#**+=-:::::---==--:·.
...···::--==++++**++++++++++**##%%@@@@@@@%%#*++=--------==++++++==--:······:-=+*#@@@@@@@@@%*+=-:·····:::--::·.
.··-=+*#%%##*=-·. .·:-===--:·. .·-=*#%@@@%#*+=-:·····::-=*##%@@%%#+=-:. .·:-===--:·.
..··:-==++==-:·. .·::--::··. .·:-=++**++=-:·.. ..··:-=====*+=-·. .·:----::·.
...···:···.. ...····.. ..··:::::··.. ...·--*+=-:. .·:::::·.
..:-++=-:·. ..·:::··.
.·:===--:·.. ..··::··..
··-===--:··......··::::::·..
··-====---:::::::-=====-::·.
·:==++===-------=++***++=:·.
..:-****++==-----==+*###*+=-:·
...·········..........···:::::::::···.... ......····..... ...··=+%%%#**+=--:::--=+*##*+=-:·.
..........··::---=====----:::::--==++*******++=--::·····::::-----::···......··:-==+***@@@@%#+=-:·····:-=++++=-:·.
....····:::--==++******+++++++**##%@@@@@@@@%%#*+==-----===++**+++=--:······:-=+#@@@@@@@@@@@%*=-·.. ..·:----::·.
.·:-+*##%%#*+=-·. .··:----:··. .·:=+*##%##*++=-:·····::-=+*#%%%%#*+=-·. .:-=+++=-:·.
..·:-==+++==-:.. ..··:::··.. .·:-==++++=--:·.. ..·::-====--::·. .·:-===--:·.
..···:::···.. ........ ..··::::···.. .....·.::-:·. .·-----:··.
..::-:··. ..·:----::·.
..::--::··......·::-=++==-:·.
..::==---::::::--=+*###*+=:·.
...::+===------=++*#%@@%#*+-:·.
.·--*++===---==+*#%@@@%#*+=:·.
··++##*+=---::--=+*#@@%#*+=-·.
...········.... ...··::::::::::··............·····..... ...··:::::**@%#+=-:·····::-+*###*+=-·.
...·::--=====---::····:::-=++********+==-::::·::::-------::··......··:-=+********@@%*=-·.. ..·:=====-:·.
......···:-==++*****+++=====++*##%@@@@@@@@%#*++==---==+++****++=-::··...··:=+#@@@@@@@@@@@%*=:· .·:::::··.
.·:-=*####*+=-:·. ..·:::-:::·.. .·:-=+**#***+=-:··....··:-=+**####*+=:·. .·:=+*++=-:·.
.··:=+++==-:··. ..······.. .·::-==++==-::·. ..··:-----::·.. .·:-=++=-::·.
..··:::···.. ....... ..···:::···.. ........·... .·:-==+++=-:·..
..··:··....··:--=+*###*+-:·.
..::--::::--==+*#%@@@@#*=:·.
....::==---===+*#%@@@@@@%#+-:.
····--+==---==+*#%@@@@@@%#*=:·.
··=-+=--::::-=+*#%@@@@%#*=-·.
::+=+=-:·....··:-=*##%#*+=:·.
...········... ..··::::::::::···.........·······.... ...··:::::::::*=*=:·. .·:-=++==-:·.
.··:--======-::···..···:-==+********+==--::::::---------::·... ..··:=+**********+*=:. .·:---::·..
..·:-==+*****++==-----==+*#%@@@@@@@@%#*+==----==++******+=-:·.. .·:-+*%@@@@@@@@@#+-·. .·::::··..
.·:-=++**+==-:··... ....··:::-:::··. .·:=++****+==-:·. .··:-=++**+==-·. .·:-=++***+-:··.
..·::-===-::·.. ..·······.. .·:-==++==--:·. .··::::::··.. .·:-=++*****=-:·.
..······... ....... ..···::::··.. ..........·.····::-=+*#%%%%%#*+-·..
..:·----=+*#%@@@@@@@@%+-:.
..::====+*#%@@@@@@@@@@*=:·.
···.::----=++#%@@@@@@@@@#+-·.
···.:::::·::-=+*#%@@@@@%#+-·..
··:··.. ..·:-=+**##*+=-·..
··:·· .·:--====-:·..
..···:::···... ..··::::::::::···........·······.... ..··::::::::::··:.. .·::--::··..
..·:-======--:···....··:--=+*******++=--:::::::----==--::·.. .·:-=+*******+=:·.. .·::--::·..
..·-=++****++==--::---=+*#%@@@@@@%#*+=--:::::--=++*****+=-:·. .·-=+#%%@@%#*+-:. .·::-===-:··.
.·:--==+=--:···....···:::---::·.. .·:-+**###*+=-:·. .·:-===+==--:··......··:-=+*##%%##*+=:·..
..·::::::··.. ...·······.. .·:-=+++++=--:·. ..··:::::::······:-==+#%@@@@@@@%*+-:.
....··... ........ ..··::::::··.. .............::=+*#%@@@@@@@@@@#+=:.
..::=+*#%@@@@@@@@@@%*=:.
..··--=+*#%@@@@@@@@%*=:·.
... ..····:-=+*#%%%%#*+=:·.
... .··:-=+++++=-:·..
.··:-----::·..
..·::::::··..
..···::···... ..···::::::::···.........······.... ...··::::::··.. .·::---::··..
..·:-=====-::··.....··:--=++***++==-::········::------::·.. ..·:--====--:·.. ..·:-==++==-:·..
..·:-=+++++==--::::--=+*##%%%%%#*+=:··.. ..·:-=++****+=-:·. ..·:-======-:·.. .·:-+*#%%%%#*+=:·.
..·::-----:···...···::----::·.. ·:=+#%%@@%%*+=:·. .·:--==++===-------=+*#%@@@@@@@@%#+=:·.
..······... ...···:::···. .·:-=+*****+=-:·.. .··:::----::::::::--#%@@@@@@@@@@%*=:·
....... ......... ..··::::::::··.. ....······........:-*#%@@@@@@@@@%*=:·.
··-=+#%@@@@@@%#*=:·.
.·:-=+**###**+-:·.
..·:-=====--:·..
.·:::--::···..
..··:::::···.......
.··::---:::··.......
...·····... ...····::::···.... ......···.... ...······... .·:-=+++++=--:·.......
..··::--::···....··::--==++===-:··. ..··:------:··.. ..··::::::··.. .·:-=+*#%@@%%#*=-:·..
..·::--=--:::::::--=+*##%%##*+=:·. .·-=+*****+=--:·.......··:------::··.. ..·:-+#%@@@@@@@@%#+=:·.
..··:::····..···::---=--::·. ·:=*%@@@@@@@@#*=:·.. ..·::-=+++++++===-===+*#%@@@@@@@@@@%*=:·
........ ...··::::::··.. .·:=+********+=-:·........··::--==----::·····::-==@@@@@@@@@#*=:·
....·····... ..··::::::::···... ....·········.... .::+#%@@@@@%*+=:·.
.:-=++****+=-:·.
.·::-===--:··..
.··::::::··............
..··::::···.......···..
.··::---::···....······.
··:-=++++==-::····.······..
...... ....········... ....···.... .......... .·-=+*#%%%%#*+=-:···..·····..
....····......··::--=====-::·. .·::-====--::··.......···::::::···.. ..·:+#%@@@@@@@@%*+-:··.....·..
...····...··::-=+*##%%##*=-·. .:-+*##%%%#**+==------===++++==--:·.. .·:-=*%@@@@@@@@@@%*+-:·........
..........···:-==++++==-:·. .·-+#@@@@@@@@@@%*+-::·····:-=++******+=--:::::--=*#%@@@@@@@@#+=:. .....
... ..··:--=====-::·.. .·:-=+********+=-:··....··::-==++++==-::·... ...·:--=%@@@%#*+-:. ....
...···::::···... ...···::::::···... ...··::::::··... ·:=+****+=-·. ....
.::-===--:·.. .....
.··::::::·... ....·...
..··::::···......········.
··:::::::···...··:::--::·.
.·--=====--:·······:------:·.
.:-**####*+=-::·····:--==--:·.
....·······.. ...········...... ............... ...-=@@@@@@@%*+=-:····::-----:·.
...··:--===+==--:·. .·:--==+++===---::::::--------::··.. ..·:-=*@@@@@@@@@#+=-:····::----:·.
..··:-=+*#%%%##*=-:. .·-=+##%@@%%%#**+++++++**#####**+=-:·.. ..·-=*%@@@@@@@@@@@#+-:··.···:::::·.
..·::=+*##%%%##*=-:·.. ..·-=+#@@@@@@@@@%*+-::····::-=+*#%%%%#*+=-:·......·:-+*#%@@@@%*+-·. .·:::·.
..·:-=++****+==-::···.···::-==++++++=-:··.. ..··:-=++**++=-::·. ..·:--=#**+=-·. .·····.
..··::::::::···.........········... ..···::::::··.. .·:====-:·. ..····.
.·:---::·.. ..····..
..:::::··... ..··:::··..
..:::::···......··:-----:··.
.··----::···...··::-=++==-:·.
..--+++==-::·····::-=****+=-·.
··=+%%##*+=-:····:-=+*##*+=-:·
...·········.. ...····::······......········.... ..···:**@@@@%#+=-:···::-+*##*+=-:·.
..·::-==++++==-:··. .·::-=+++++++==--------========--:··.. ..·:-=****@@@@@@#+=-:···:-=+*#*+=-:·.
..··:-=+*#%%%%#**+=-:··....·::-=+*#%%@@%%##*++=====++*##%%%%#**=-:·.. ..·:=*%@@@@@@@@@@%#+-:····:-=+**+=-:·.
..·-=*#%@@@@@@@#*+=--:::--=+**#%%%%%#*=-:·. .·:=+*#%@@%%#+=-·. .·:=+*#%%%#*=-·. .:-===-:·.
..·:-=+******++=--:::::::---====--:··. .·:-=+***++=-:·. ..·::----+=:·. .·:----:·.
..···:::::····..........·····... .···:::::··.. ...::--:·. .·::--::·.
.··:::·.. ..·:::::··.
··::··.. ..··:---::·..
.··::···.......··::-==---:·..
....:·-::···....··:--=+*++=-:·..
··--=--:······::-=+*#%#*+=-·..
··==*+=-::····:-=+*#@@%#*+-:·.
..···:::::···.. ...····:::·····················... ..···::::**%#*=-::···:-=+#%@@%#*+=:·.
..·::-==+++++==-::··.....···:--==++++++===---------===+++==--:··. ..·:-=+******@@%*=-::··:-=+#%@@%#*+=-·.
....··:--=++**###**++===----==+**#%%@@@@%%#*+==------==+*##%%%##*+-:·.. .·:-+#@@@@@@@@@@#*=-:···:-=*%@@%#*+=-:.
.·-+*%@@@@@@%#*++==---==++*****+=-:·. ·:=+#%@@@%#*=-·. .:-=*##%##*=-·. ·:=+***+-:·.
..·:-==+++===-:::·····:::-----::·.. .:-=++***+=-:·. .·::----::··. .·-=+++=-:·.
....·····..... ........... ..··:::::··.. ......···. ·:-=++=-:·..
..···. .·:-====-:·..
..·.·.. ..·:-===--:·..
....·.·... ..··:-====-::·.
....····.......··::-==++==-:··.
..··:···..··::-==+****+=-:·..
·.:·::·····::-=+*#%%%%#+=-·..
..····:::····..... ....······························.... ...···:::···-:-::···::-=+#%@@@@@%#+-:..
...··:---=====---::::··::::--==++++++===--:::::::--===++++==-:··. ..·:-=+******+=-+-::··::-=*#@@@@@@%#*=:·.
....··::---================++*##%@@@@@%%#*+=-:::::::-=+**#%%%#*+=-:·. .·:-+#@@@@@@@@@#*=-::·::-=+#@@@@@@%#*=-·.
.·:=+*****++=--:::::--==+++++==:·. .·-+*%@@@%#*=-·. ·:-+*#%%%#*=-·. .:-+*####+-:·.
..·::--:::··........··:::---::··. .·:-=+***+=-:·. ..·:--==--:·. .:-+**##+=:·.
......... .......... ..··::::::··.. ......... ·:-+***+=-·..
. .·-=++*+=-:·.
. .·:-=+++=-:·.
.. . .·:--=++==-:·..
.. ... ..·:--==++=-::·..
........··::--==++++=-:··..
. ..·..···:--=++*****+=-:·..
...········.............·························::·····... ....·······....·.····::-=+*#%%%%%#*+-:·..
....··:::::::::::··:::::--===+++++===--::::::::--==+++++==-:··.. ..·:--=+++++==-:······::-=+#%@@@@@@@%*=:·..
...···::::::::::::::--==+*##%%@@@%%#*+=--::···::-=+*##%%%#*+=-·.. .·:-+#%@@@@@@%#+=-::··::-=*#@@@@@@@@@#+-·.
██╗ ██╗██╗███╗ ██╗ ██████╗ ██████╗ ██████╗ █████╗ ███╗ ██╗██████╗ ███████╗
██║ ██║██║████╗ ██║██╔═══██╗██╔════╝ ██╔══██╗██╔══██╗████╗ ██║██╔══██╗██╔════╝
██║ █╗ ██║██║██╔██╗ ██║██║ ██║██║ ███╗██████╔╝███████║██╔██╗ ██║██║ ██║█████╗
██║███╗██║██║██║╚██╗██║██║ ██║██║ ██║██╔══██╗██╔══██║██║╚██╗██║██║ ██║██╔══╝
╚███╔███╔╝██║██║ ╚████║╚██████╔╝╚██████╔╝██║ ██║██║ ██║██║ ╚████║██████╔╝███████╗
╚══╝╚══╝ ╚═╝╚═╝ ╚═══╝ ╚═════╝ ╚═════╝ ╚═╝ ╚═╝╚═╝ ╚═╝╚═╝ ╚═══╝╚═════╝ ╚══════╝$ open /threads/da6fdb30-5082-455f-946a-3b5c426c9039▌ posts
WinoGrande · Discussion
Discussing WinoGrande
Posts
Chronological order within this page.
Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.