Taketo Sano 2/4/2020 7:38 AM

main で let G = GridDiagram.load("11n37")! としたのがそれです．

7:39 AM

いえ，３秒ぐらいで終わりますw

7:39 AM

N = 11 になった瞬間にシンギュラリティがw