src/test/isolation/expected/receipt-report.out

Parsed test spec with 3 sessions

starting permutation: rxwy1 c1 wx2 c2 rx3 ry3 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c3: COMMIT;

starting permutation: rxwy1 c1 wx2 rx3 c2 ry3 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c3: COMMIT;

starting permutation: rxwy1 c1 wx2 rx3 ry3 c2 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c2: COMMIT;
step c3: COMMIT;

starting permutation: rxwy1 c1 wx2 rx3 ry3 c3 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c3: COMMIT;
step c2: COMMIT;

starting permutation: rxwy1 c1 rx3 wx2 c2 ry3 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c3: COMMIT;

starting permutation: rxwy1 c1 rx3 wx2 ry3 c2 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c2: COMMIT;
step c3: COMMIT;

starting permutation: rxwy1 c1 rx3 wx2 ry3 c3 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c3: COMMIT;
step c2: COMMIT;

starting permutation: rxwy1 c1 rx3 ry3 wx2 c2 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c3: COMMIT;

starting permutation: rxwy1 c1 rx3 ry3 wx2 c3 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c3: COMMIT;
step c2: COMMIT;

starting permutation: rxwy1 c1 rx3 ry3 c3 wx2 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c3: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;

starting permutation: rxwy1 wx2 c1 c2 rx3 ry3 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step c2: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c3: COMMIT;

starting permutation: rxwy1 wx2 c1 rx3 c2 ry3 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c3: COMMIT;

starting permutation: rxwy1 wx2 c1 rx3 ry3 c2 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c2: COMMIT;
step c3: COMMIT;

starting permutation: rxwy1 wx2 c1 rx3 ry3 c3 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c3: COMMIT;
step c2: COMMIT;

starting permutation: rxwy1 wx2 c2 c1 rx3 ry3 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c1: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c3: COMMIT;

starting permutation: rxwy1 wx2 c2 rx3 c1 ry3 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
ERROR:  could not serialize access due to read/write dependencies among transactions
step c3: COMMIT;

starting permutation: rxwy1 wx2 c2 rx3 ry3 c1 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
ERROR:  could not serialize access due to read/write dependencies among transactions
step c3: COMMIT;

starting permutation: rxwy1 wx2 c2 rx3 ry3 c3 c1
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rxwy1 wx2 rx3 c1 c2 ry3 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c1: COMMIT;
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: rxwy1 wx2 rx3 c1 ry3 c2 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c3: COMMIT;

starting permutation: rxwy1 wx2 rx3 c1 ry3 c3 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c2: COMMIT;

starting permutation: rxwy1 wx2 rx3 c2 c1 ry3 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c2: COMMIT;
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: rxwy1 wx2 rx3 c2 ry3 c1 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;

starting permutation: rxwy1 wx2 rx3 c2 ry3 c3 c1
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;

starting permutation: rxwy1 wx2 rx3 ry3 c1 c2 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c2: COMMIT;
step c3: COMMIT;

starting permutation: rxwy1 wx2 rx3 ry3 c1 c3 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;
step c2: COMMIT;

starting permutation: rxwy1 wx2 rx3 ry3 c2 c1 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c1: COMMIT;
step c3: COMMIT;

starting permutation: rxwy1 wx2 rx3 ry3 c2 c3 c1
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c3: COMMIT;
step c1: COMMIT;

starting permutation: rxwy1 wx2 rx3 ry3 c3 c1 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;
step c2: COMMIT;

starting permutation: rxwy1 wx2 rx3 ry3 c3 c2 c1
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c2: COMMIT;
step c1: COMMIT;

starting permutation: rxwy1 rx3 c1 wx2 c2 ry3 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: rxwy1 rx3 c1 wx2 ry3 c2 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c3: COMMIT;

starting permutation: rxwy1 rx3 c1 wx2 ry3 c3 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c2: COMMIT;

starting permutation: rxwy1 rx3 c1 ry3 wx2 c2 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c3: COMMIT;

starting permutation: rxwy1 rx3 c1 ry3 wx2 c3 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c3: COMMIT;
step c2: COMMIT;

starting permutation: rxwy1 rx3 c1 ry3 c3 wx2 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;

starting permutation: rxwy1 rx3 wx2 c1 c2 ry3 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: rxwy1 rx3 wx2 c1 ry3 c2 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c3: COMMIT;

starting permutation: rxwy1 rx3 wx2 c1 ry3 c3 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c2: COMMIT;

starting permutation: rxwy1 rx3 wx2 c2 c1 ry3 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: rxwy1 rx3 wx2 c2 ry3 c1 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;

starting permutation: rxwy1 rx3 wx2 c2 ry3 c3 c1
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;

starting permutation: rxwy1 rx3 wx2 ry3 c1 c2 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c2: COMMIT;
step c3: COMMIT;

starting permutation: rxwy1 rx3 wx2 ry3 c1 c3 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;
step c2: COMMIT;

starting permutation: rxwy1 rx3 wx2 ry3 c2 c1 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c1: COMMIT;
step c3: COMMIT;

starting permutation: rxwy1 rx3 wx2 ry3 c2 c3 c1
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c3: COMMIT;
step c1: COMMIT;

starting permutation: rxwy1 rx3 wx2 ry3 c3 c1 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;
step c2: COMMIT;

starting permutation: rxwy1 rx3 wx2 ry3 c3 c2 c1
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c2: COMMIT;
step c1: COMMIT;

starting permutation: rxwy1 rx3 ry3 c1 wx2 c2 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c3: COMMIT;

starting permutation: rxwy1 rx3 ry3 c1 wx2 c3 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c3: COMMIT;
step c2: COMMIT;

starting permutation: rxwy1 rx3 ry3 c1 c3 wx2 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;

starting permutation: rxwy1 rx3 ry3 wx2 c1 c2 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step c2: COMMIT;
step c3: COMMIT;

starting permutation: rxwy1 rx3 ry3 wx2 c1 c3 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step c3: COMMIT;
step c2: COMMIT;

starting permutation: rxwy1 rx3 ry3 wx2 c2 c1 c3
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c1: COMMIT;
step c3: COMMIT;

starting permutation: rxwy1 rx3 ry3 wx2 c2 c3 c1
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c3: COMMIT;
step c1: COMMIT;

starting permutation: rxwy1 rx3 ry3 wx2 c3 c1 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c3: COMMIT;
step c1: COMMIT;
step c2: COMMIT;

starting permutation: rxwy1 rx3 ry3 wx2 c3 c2 c1
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c3: COMMIT;
step c2: COMMIT;
step c1: COMMIT;

starting permutation: rxwy1 rx3 ry3 c3 c1 wx2 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;

starting permutation: rxwy1 rx3 ry3 c3 wx2 c1 c2
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step c2: COMMIT;

starting permutation: rxwy1 rx3 ry3 c3 wx2 c2 c1
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c1: COMMIT;

starting permutation: wx2 rxwy1 c1 c2 rx3 ry3 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c2: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c3: COMMIT;

starting permutation: wx2 rxwy1 c1 rx3 c2 ry3 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c3: COMMIT;

starting permutation: wx2 rxwy1 c1 rx3 ry3 c2 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c2: COMMIT;
step c3: COMMIT;

starting permutation: wx2 rxwy1 c1 rx3 ry3 c3 c2
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c3: COMMIT;
step c2: COMMIT;

starting permutation: wx2 rxwy1 c2 c1 rx3 ry3 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step c1: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
         3|  12-22-2008|  4.00
(3 rows)

step c3: COMMIT;

starting permutation: wx2 rxwy1 c2 rx3 c1 ry3 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
ERROR:  could not serialize access due to read/write dependencies among transactions
step c3: COMMIT;

starting permutation: wx2 rxwy1 c2 rx3 ry3 c1 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
ERROR:  could not serialize access due to read/write dependencies among transactions
step c3: COMMIT;

starting permutation: wx2 rxwy1 c2 rx3 ry3 c3 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: wx2 rxwy1 rx3 c1 c2 ry3 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c1: COMMIT;
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: wx2 rxwy1 rx3 c1 ry3 c2 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c3: COMMIT;

starting permutation: wx2 rxwy1 rx3 c1 ry3 c3 c2
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c2: COMMIT;

starting permutation: wx2 rxwy1 rx3 c2 c1 ry3 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c2: COMMIT;
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: wx2 rxwy1 rx3 c2 ry3 c1 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;

starting permutation: wx2 rxwy1 rx3 c2 ry3 c3 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;

starting permutation: wx2 rxwy1 rx3 ry3 c1 c2 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c2: COMMIT;
step c3: COMMIT;

starting permutation: wx2 rxwy1 rx3 ry3 c1 c3 c2
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;
step c2: COMMIT;

starting permutation: wx2 rxwy1 rx3 ry3 c2 c1 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c1: COMMIT;
step c3: COMMIT;

starting permutation: wx2 rxwy1 rx3 ry3 c2 c3 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c3: COMMIT;
step c1: COMMIT;

starting permutation: wx2 rxwy1 rx3 ry3 c3 c1 c2
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;
step c2: COMMIT;

starting permutation: wx2 rxwy1 rx3 ry3 c3 c2 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c2: COMMIT;
step c1: COMMIT;

starting permutation: wx2 c2 rxwy1 c1 rx3 ry3 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: wx2 c2 rxwy1 rx3 c1 ry3 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: wx2 c2 rxwy1 rx3 ry3 c1 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;

starting permutation: wx2 c2 rxwy1 rx3 ry3 c3 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;

starting permutation: wx2 c2 rx3 rxwy1 c1 ry3 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: wx2 c2 rx3 rxwy1 ry3 c1 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;

starting permutation: wx2 c2 rx3 rxwy1 ry3 c3 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;

starting permutation: wx2 c2 rx3 ry3 rxwy1 c1 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c3: COMMIT;

starting permutation: wx2 c2 rx3 ry3 rxwy1 c3 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c3: COMMIT;
step c1: COMMIT;

starting permutation: wx2 c2 rx3 ry3 c3 rxwy1 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-23-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;

starting permutation: wx2 rx3 rxwy1 c1 c2 ry3 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: wx2 rx3 rxwy1 c1 ry3 c2 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c3: COMMIT;

starting permutation: wx2 rx3 rxwy1 c1 ry3 c3 c2
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c2: COMMIT;

starting permutation: wx2 rx3 rxwy1 c2 c1 ry3 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: wx2 rx3 rxwy1 c2 ry3 c1 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;

starting permutation: wx2 rx3 rxwy1 c2 ry3 c3 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;

starting permutation: wx2 rx3 rxwy1 ry3 c1 c2 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c2: COMMIT;
step c3: COMMIT;

starting permutation: wx2 rx3 rxwy1 ry3 c1 c3 c2
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;
step c2: COMMIT;

starting permutation: wx2 rx3 rxwy1 ry3 c2 c1 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c1: COMMIT;
step c3: COMMIT;

starting permutation: wx2 rx3 rxwy1 ry3 c2 c3 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c3: COMMIT;
step c1: COMMIT;

starting permutation: wx2 rx3 rxwy1 ry3 c3 c1 c2
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;
step c2: COMMIT;

starting permutation: wx2 rx3 rxwy1 ry3 c3 c2 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c2: COMMIT;
step c1: COMMIT;

starting permutation: wx2 rx3 c2 rxwy1 c1 ry3 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: wx2 rx3 c2 rxwy1 ry3 c1 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;

starting permutation: wx2 rx3 c2 rxwy1 ry3 c3 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;

starting permutation: wx2 rx3 c2 ry3 rxwy1 c1 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c3: COMMIT;

starting permutation: wx2 rx3 c2 ry3 rxwy1 c3 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c3: COMMIT;
step c1: COMMIT;

starting permutation: wx2 rx3 c2 ry3 c3 rxwy1 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;

starting permutation: wx2 rx3 ry3 rxwy1 c1 c2 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c2: COMMIT;
step c3: COMMIT;

starting permutation: wx2 rx3 ry3 rxwy1 c1 c3 c2
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c3: COMMIT;
step c2: COMMIT;

starting permutation: wx2 rx3 ry3 rxwy1 c2 c1 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step c1: COMMIT;
step c3: COMMIT;

starting permutation: wx2 rx3 ry3 rxwy1 c2 c3 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step c3: COMMIT;
step c1: COMMIT;

starting permutation: wx2 rx3 ry3 rxwy1 c3 c1 c2
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c3: COMMIT;
step c1: COMMIT;
step c2: COMMIT;

starting permutation: wx2 rx3 ry3 rxwy1 c3 c2 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c3: COMMIT;
step c2: COMMIT;
step c1: COMMIT;

starting permutation: wx2 rx3 ry3 c2 rxwy1 c1 c3
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c3: COMMIT;

starting permutation: wx2 rx3 ry3 c2 rxwy1 c3 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c3: COMMIT;
step c1: COMMIT;

starting permutation: wx2 rx3 ry3 c2 c3 rxwy1 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c3: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;

starting permutation: wx2 rx3 ry3 c3 rxwy1 c1 c2
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c2: COMMIT;

starting permutation: wx2 rx3 ry3 c3 rxwy1 c2 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step c1: COMMIT;

starting permutation: wx2 rx3 ry3 c3 c2 rxwy1 c1
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;

starting permutation: rx3 rxwy1 c1 wx2 c2 ry3 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: rx3 rxwy1 c1 wx2 ry3 c2 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c3: COMMIT;

starting permutation: rx3 rxwy1 c1 wx2 ry3 c3 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c2: COMMIT;

starting permutation: rx3 rxwy1 c1 ry3 wx2 c2 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c3: COMMIT;

starting permutation: rx3 rxwy1 c1 ry3 wx2 c3 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c3: COMMIT;
step c2: COMMIT;

starting permutation: rx3 rxwy1 c1 ry3 c3 wx2 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;

starting permutation: rx3 rxwy1 wx2 c1 c2 ry3 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: rx3 rxwy1 wx2 c1 ry3 c2 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c3: COMMIT;

starting permutation: rx3 rxwy1 wx2 c1 ry3 c3 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c2: COMMIT;

starting permutation: rx3 rxwy1 wx2 c2 c1 ry3 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: rx3 rxwy1 wx2 c2 ry3 c1 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;

starting permutation: rx3 rxwy1 wx2 c2 ry3 c3 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;

starting permutation: rx3 rxwy1 wx2 ry3 c1 c2 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c2: COMMIT;
step c3: COMMIT;

starting permutation: rx3 rxwy1 wx2 ry3 c1 c3 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;
step c2: COMMIT;

starting permutation: rx3 rxwy1 wx2 ry3 c2 c1 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c1: COMMIT;
step c3: COMMIT;

starting permutation: rx3 rxwy1 wx2 ry3 c2 c3 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c3: COMMIT;
step c1: COMMIT;

starting permutation: rx3 rxwy1 wx2 ry3 c3 c1 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;
step c2: COMMIT;

starting permutation: rx3 rxwy1 wx2 ry3 c3 c2 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c2: COMMIT;
step c1: COMMIT;

starting permutation: rx3 rxwy1 ry3 c1 wx2 c2 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c3: COMMIT;

starting permutation: rx3 rxwy1 ry3 c1 wx2 c3 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c3: COMMIT;
step c2: COMMIT;

starting permutation: rx3 rxwy1 ry3 c1 c3 wx2 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;

starting permutation: rx3 rxwy1 ry3 wx2 c1 c2 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step c2: COMMIT;
step c3: COMMIT;

starting permutation: rx3 rxwy1 ry3 wx2 c1 c3 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step c3: COMMIT;
step c2: COMMIT;

starting permutation: rx3 rxwy1 ry3 wx2 c2 c1 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c1: COMMIT;
step c3: COMMIT;

starting permutation: rx3 rxwy1 ry3 wx2 c2 c3 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c3: COMMIT;
step c1: COMMIT;

starting permutation: rx3 rxwy1 ry3 wx2 c3 c1 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c3: COMMIT;
step c1: COMMIT;
step c2: COMMIT;

starting permutation: rx3 rxwy1 ry3 wx2 c3 c2 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c3: COMMIT;
step c2: COMMIT;
step c1: COMMIT;

starting permutation: rx3 rxwy1 ry3 c3 c1 wx2 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;

starting permutation: rx3 rxwy1 ry3 c3 wx2 c1 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step c2: COMMIT;

starting permutation: rx3 rxwy1 ry3 c3 wx2 c2 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c1: COMMIT;

starting permutation: rx3 wx2 rxwy1 c1 c2 ry3 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: rx3 wx2 rxwy1 c1 ry3 c2 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c3: COMMIT;

starting permutation: rx3 wx2 rxwy1 c1 ry3 c3 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c2: COMMIT;

starting permutation: rx3 wx2 rxwy1 c2 c1 ry3 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: rx3 wx2 rxwy1 c2 ry3 c1 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;

starting permutation: rx3 wx2 rxwy1 c2 ry3 c3 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;

starting permutation: rx3 wx2 rxwy1 ry3 c1 c2 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c2: COMMIT;
step c3: COMMIT;

starting permutation: rx3 wx2 rxwy1 ry3 c1 c3 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;
step c2: COMMIT;

starting permutation: rx3 wx2 rxwy1 ry3 c2 c1 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c1: COMMIT;
step c3: COMMIT;

starting permutation: rx3 wx2 rxwy1 ry3 c2 c3 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c3: COMMIT;
step c1: COMMIT;

starting permutation: rx3 wx2 rxwy1 ry3 c3 c1 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;
step c2: COMMIT;

starting permutation: rx3 wx2 rxwy1 ry3 c3 c2 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c2: COMMIT;
step c1: COMMIT;

starting permutation: rx3 wx2 c2 rxwy1 c1 ry3 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;

starting permutation: rx3 wx2 c2 rxwy1 ry3 c1 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c1: COMMIT;
step c3: COMMIT;

starting permutation: rx3 wx2 c2 rxwy1 ry3 c3 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c1: COMMIT;

starting permutation: rx3 wx2 c2 ry3 rxwy1 c1 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c3: COMMIT;

starting permutation: rx3 wx2 c2 ry3 rxwy1 c3 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c3: COMMIT;
step c1: COMMIT;

starting permutation: rx3 wx2 c2 ry3 c3 rxwy1 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;

starting permutation: rx3 wx2 ry3 rxwy1 c1 c2 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c2: COMMIT;
step c3: COMMIT;

starting permutation: rx3 wx2 ry3 rxwy1 c1 c3 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c3: COMMIT;
step c2: COMMIT;

starting permutation: rx3 wx2 ry3 rxwy1 c2 c1 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step c1: COMMIT;
step c3: COMMIT;

starting permutation: rx3 wx2 ry3 rxwy1 c2 c3 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step c3: COMMIT;
step c1: COMMIT;

starting permutation: rx3 wx2 ry3 rxwy1 c3 c1 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c3: COMMIT;
step c1: COMMIT;
step c2: COMMIT;

starting permutation: rx3 wx2 ry3 rxwy1 c3 c2 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c3: COMMIT;
step c2: COMMIT;
step c1: COMMIT;

starting permutation: rx3 wx2 ry3 c2 rxwy1 c1 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c3: COMMIT;

starting permutation: rx3 wx2 ry3 c2 rxwy1 c3 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c3: COMMIT;
step c1: COMMIT;

starting permutation: rx3 wx2 ry3 c2 c3 rxwy1 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c2: COMMIT;
step c3: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;

starting permutation: rx3 wx2 ry3 c3 rxwy1 c1 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c2: COMMIT;

starting permutation: rx3 wx2 ry3 c3 rxwy1 c2 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step c1: COMMIT;

starting permutation: rx3 wx2 ry3 c3 c2 rxwy1 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;

starting permutation: rx3 ry3 rxwy1 c1 wx2 c2 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c3: COMMIT;

starting permutation: rx3 ry3 rxwy1 c1 wx2 c3 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c3: COMMIT;
step c2: COMMIT;

starting permutation: rx3 ry3 rxwy1 c1 c3 wx2 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c3: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;

starting permutation: rx3 ry3 rxwy1 wx2 c1 c2 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step c2: COMMIT;
step c3: COMMIT;

starting permutation: rx3 ry3 rxwy1 wx2 c1 c3 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step c3: COMMIT;
step c2: COMMIT;

starting permutation: rx3 ry3 rxwy1 wx2 c2 c1 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c1: COMMIT;
step c3: COMMIT;

starting permutation: rx3 ry3 rxwy1 wx2 c2 c3 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c3: COMMIT;
step c1: COMMIT;

starting permutation: rx3 ry3 rxwy1 wx2 c3 c1 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c3: COMMIT;
step c1: COMMIT;
step c2: COMMIT;

starting permutation: rx3 ry3 rxwy1 wx2 c3 c2 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c3: COMMIT;
step c2: COMMIT;
step c1: COMMIT;

starting permutation: rx3 ry3 rxwy1 c3 c1 wx2 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c3: COMMIT;
step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;

starting permutation: rx3 ry3 rxwy1 c3 wx2 c1 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c3: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step c2: COMMIT;

starting permutation: rx3 ry3 rxwy1 c3 wx2 c2 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c3: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c1: COMMIT;

starting permutation: rx3 ry3 wx2 rxwy1 c1 c2 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c2: COMMIT;
step c3: COMMIT;

starting permutation: rx3 ry3 wx2 rxwy1 c1 c3 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c3: COMMIT;
step c2: COMMIT;

starting permutation: rx3 ry3 wx2 rxwy1 c2 c1 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step c1: COMMIT;
step c3: COMMIT;

starting permutation: rx3 ry3 wx2 rxwy1 c2 c3 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step c3: COMMIT;
step c1: COMMIT;

starting permutation: rx3 ry3 wx2 rxwy1 c3 c1 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c3: COMMIT;
step c1: COMMIT;
step c2: COMMIT;

starting permutation: rx3 ry3 wx2 rxwy1 c3 c2 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c3: COMMIT;
step c2: COMMIT;
step c1: COMMIT;

starting permutation: rx3 ry3 wx2 c2 rxwy1 c1 c3
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c3: COMMIT;

starting permutation: rx3 ry3 wx2 c2 rxwy1 c3 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c3: COMMIT;
step c1: COMMIT;

starting permutation: rx3 ry3 wx2 c2 c3 rxwy1 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c3: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;

starting permutation: rx3 ry3 wx2 c3 rxwy1 c1 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c3: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c2: COMMIT;

starting permutation: rx3 ry3 wx2 c3 rxwy1 c2 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c3: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step c1: COMMIT;

starting permutation: rx3 ry3 wx2 c3 c2 rxwy1 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c3: COMMIT;
step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;

starting permutation: rx3 ry3 c3 rxwy1 c1 wx2 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;

starting permutation: rx3 ry3 c3 rxwy1 wx2 c1 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c1: COMMIT;
step c2: COMMIT;

starting permutation: rx3 ry3 c3 rxwy1 wx2 c2 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step c1: COMMIT;

starting permutation: rx3 ry3 c3 wx2 rxwy1 c1 c2
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;
step c2: COMMIT;

starting permutation: rx3 ry3 c3 wx2 rxwy1 c2 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c2: COMMIT;
step c1: COMMIT;

starting permutation: rx3 ry3 c3 wx2 c2 rxwy1 c1
step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k      |deposit_date
-------+------------
receipt|  12-22-2008
(1 row)

step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no|deposit_date|amount
----------+------------+------
         1|  12-22-2008|  1.00
         2|  12-22-2008|  2.00
(2 rows)

step c3: COMMIT;
step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
step c2: COMMIT;
step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
step c1: COMMIT;