State Reduction of ASCs_1.excalidraw