1Parsed test spec with 4 sessions 2 3starting permutation: s1a s2a s2b s3a s4a s1b s1c s2c s3c s4c 4step s1a: LOCK TABLE a1 IN SHARE UPDATE EXCLUSIVE MODE; 5step s2a: LOCK TABLE a2 IN ACCESS SHARE MODE; 6step s2b: LOCK TABLE a1 IN SHARE UPDATE EXCLUSIVE MODE; <waiting ...> 7step s3a: LOCK TABLE a2 IN ACCESS EXCLUSIVE MODE; <waiting ...> 8step s4a: LOCK TABLE a2 IN ACCESS EXCLUSIVE MODE; <waiting ...> 9step s1b: LOCK TABLE a2 IN SHARE UPDATE EXCLUSIVE MODE; <waiting ...> 10step s1b: <... completed> 11step s1c: COMMIT; 12step s2b: <... completed> 13step s2c: COMMIT; 14step s3a: <... completed> 15step s3c: COMMIT; 16step s4a: <... completed> 17step s4c: COMMIT; 18