Scratchpad:AUTOPAT