1Parsed test spec with 4 sessions 2 3starting permutation: d1a1 d2a2 e1l e2l d1a2 d2a1 d1c e1c d2c e2c 4step d1a1: LOCK TABLE a1 IN ACCESS SHARE MODE; 5step d2a2: LOCK TABLE a2 IN ACCESS SHARE MODE; 6step e1l: LOCK TABLE a1 IN ACCESS EXCLUSIVE MODE; <waiting ...> 7step e2l: LOCK TABLE a2 IN ACCESS EXCLUSIVE MODE; <waiting ...> 8step d1a2: LOCK TABLE a2 IN ACCESS SHARE MODE; <waiting ...> 9step d2a1: LOCK TABLE a1 IN ACCESS SHARE MODE; <waiting ...> 10step d1a2: <... completed> 11step d1c: COMMIT; 12step e1l: <... completed> 13step e1c: COMMIT; 14step d2a1: <... completed> 15step d2c: COMMIT; 16step e2l: <... completed> 17step e2c: COMMIT; 18