1*5971e316Smrgsink: { S[] -> a[] } 2*5971e316Smrgmay_source: { T[] -> a[] } 3*5971e316Smrgschedule_map: { T[] -> [0]; S[] -> [1] } 4