Index of C:\Users\decid\Documents\projects\spt-core\.spt\preserved\302\step3-gate-proof\retained-step2-control