isolation/expected/two-ids.out

3 starting permutation: wx1 c1 rxwy2 c2 ry3 c3
8 step ry3: select id from D2;
16 starting permutation: wx1 c1 rxwy2 ry3 c2 c3
20 step ry3: select id from D2;
29 starting permutation: wx1 c1 rxwy2 ry3 c3 c2
33 step ry3: select id from D2;
42 starting permutation: wx1 c1 ry3 rxwy2 c2 c3
45 step ry3: select id from D2;
55 starting permutation: wx1 c1 ry3 rxwy2 c3 c2
58 step ry3: select id from D2;
68 starting permutation: wx1 c1 ry3 c3 rxwy2 c2
71 step ry3: select id from D2;
81 starting permutation: wx1 rxwy2 c1 c2 ry3 c3
86 step ry3: select id from D2;
94 starting permutation: wx1 rxwy2 c1 ry3 c2 c3
98 step ry3: select id from D2;
108 starting permutation: wx1 rxwy2 c1 ry3 c3 c2
112 step ry3: select id from D2;
122 starting permutation: wx1 rxwy2 c2 c1 ry3 c3
127 step ry3: select id from D2;
135 starting permutation: wx1 rxwy2 c2 ry3 c1 c3
139 step ry3: select id from D2;
148 starting permutation: wx1 rxwy2 c2 ry3 c3 c1
152 step ry3: select id from D2;
161 starting permutation: wx1 rxwy2 ry3 c1 c2 c3
164 step ry3: select id from D2;
175 starting permutation: wx1 rxwy2 ry3 c1 c3 c2
178 step ry3: select id from D2;
189 starting permutation: wx1 rxwy2 ry3 c2 c1 c3
192 step ry3: select id from D2;
202 starting permutation: wx1 rxwy2 ry3 c2 c3 c1
205 step ry3: select id from D2;
215 starting permutation: wx1 rxwy2 ry3 c3 c1 c2
218 step ry3: select id from D2;
228 starting permutation: wx1 rxwy2 ry3 c3 c2 c1
231 step ry3: select id from D2;
241 starting permutation: wx1 ry3 c1 rxwy2 c2 c3
243 step ry3: select id from D2;
254 starting permutation: wx1 ry3 c1 rxwy2 c3 c2
256 step ry3: select id from D2;
267 starting permutation: wx1 ry3 c1 c3 rxwy2 c2
269 step ry3: select id from D2;
280 starting permutation: wx1 ry3 rxwy2 c1 c2 c3
282 step ry3: select id from D2;
294 starting permutation: wx1 ry3 rxwy2 c1 c3 c2
296 step ry3: select id from D2;
308 starting permutation: wx1 ry3 rxwy2 c2 c1 c3
310 step ry3: select id from D2;
321 starting permutation: wx1 ry3 rxwy2 c2 c3 c1
323 step ry3: select id from D2;
334 starting permutation: wx1 ry3 rxwy2 c3 c1 c2
336 step ry3: select id from D2;
347 starting permutation: wx1 ry3 rxwy2 c3 c2 c1
349 step ry3: select id from D2;
360 starting permutation: wx1 ry3 c3 c1 rxwy2 c2
362 step ry3: select id from D2;
373 starting permutation: wx1 ry3 c3 rxwy2 c1 c2
375 step ry3: select id from D2;
386 starting permutation: wx1 ry3 c3 rxwy2 c2 c1
388 step ry3: select id from D2;
399 starting permutation: rxwy2 wx1 c1 c2 ry3 c3
404 step ry3: select id from D2;
412 starting permutation: rxwy2 wx1 c1 ry3 c2 c3
416 step ry3: select id from D2;
426 starting permutation: rxwy2 wx1 c1 ry3 c3 c2
430 step ry3: select id from D2;
440 starting permutation: rxwy2 wx1 c2 c1 ry3 c3
445 step ry3: select id from D2;
453 starting permutation: rxwy2 wx1 c2 ry3 c1 c3
457 step ry3: select id from D2;
466 starting permutation: rxwy2 wx1 c2 ry3 c3 c1
470 step ry3: select id from D2;
479 starting permutation: rxwy2 wx1 ry3 c1 c2 c3
482 step ry3: select id from D2;
493 starting permutation: rxwy2 wx1 ry3 c1 c3 c2
496 step ry3: select id from D2;
507 starting permutation: rxwy2 wx1 ry3 c2 c1 c3
510 step ry3: select id from D2;
520 starting permutation: rxwy2 wx1 ry3 c2 c3 c1
523 step ry3: select id from D2;
533 starting permutation: rxwy2 wx1 ry3 c3 c1 c2
536 step ry3: select id from D2;
546 starting permutation: rxwy2 wx1 ry3 c3 c2 c1
549 step ry3: select id from D2;
559 starting permutation: rxwy2 c2 wx1 c1 ry3 c3
564 step ry3: select id from D2;
572 starting permutation: rxwy2 c2 wx1 ry3 c1 c3
576 step ry3: select id from D2;
585 starting permutation: rxwy2 c2 wx1 ry3 c3 c1
589 step ry3: select id from D2;
598 starting permutation: rxwy2 c2 ry3 wx1 c1 c3
601 step ry3: select id from D2;
611 starting permutation: rxwy2 c2 ry3 wx1 c3 c1
614 step ry3: select id from D2;
624 starting permutation: rxwy2 c2 ry3 c3 wx1 c1
627 step ry3: select id from D2;
637 starting permutation: rxwy2 ry3 wx1 c1 c2 c3
639 step ry3: select id from D2;
651 starting permutation: rxwy2 ry3 wx1 c1 c3 c2
653 step ry3: select id from D2;
665 starting permutation: rxwy2 ry3 wx1 c2 c1 c3
667 step ry3: select id from D2;
678 starting permutation: rxwy2 ry3 wx1 c2 c3 c1
680 step ry3: select id from D2;
691 starting permutation: rxwy2 ry3 wx1 c3 c1 c2
693 step ry3: select id from D2;
704 starting permutation: rxwy2 ry3 wx1 c3 c2 c1
706 step ry3: select id from D2;
717 starting permutation: rxwy2 ry3 c2 wx1 c1 c3
719 step ry3: select id from D2;
730 starting permutation: rxwy2 ry3 c2 wx1 c3 c1
732 step ry3: select id from D2;
743 starting permutation: rxwy2 ry3 c2 c3 wx1 c1
745 step ry3: select id from D2;
756 starting permutation: rxwy2 ry3 c3 wx1 c1 c2
758 step ry3: select id from D2;
769 starting permutation: rxwy2 ry3 c3 wx1 c2 c1
771 step ry3: select id from D2;
782 starting permutation: rxwy2 ry3 c3 c2 wx1 c1
784 step ry3: select id from D2;
795 starting permutation: ry3 wx1 c1 rxwy2 c2 c3
796 step ry3: select id from D2;
808 starting permutation: ry3 wx1 c1 rxwy2 c3 c2
809 step ry3: select id from D2;
821 starting permutation: ry3 wx1 c1 c3 rxwy2 c2
822 step ry3: select id from D2;
834 starting permutation: ry3 wx1 rxwy2 c1 c2 c3
835 step ry3: select id from D2;
848 starting permutation: ry3 wx1 rxwy2 c1 c3 c2
849 step ry3: select id from D2;
862 starting permutation: ry3 wx1 rxwy2 c2 c1 c3
863 step ry3: select id from D2;
875 starting permutation: ry3 wx1 rxwy2 c2 c3 c1
876 step ry3: select id from D2;
888 starting permutation: ry3 wx1 rxwy2 c3 c1 c2
889 step ry3: select id from D2;
901 starting permutation: ry3 wx1 rxwy2 c3 c2 c1
902 step ry3: select id from D2;
914 starting permutation: ry3 wx1 c3 c1 rxwy2 c2
915 step ry3: select id from D2;
927 starting permutation: ry3 wx1 c3 rxwy2 c1 c2
928 step ry3: select id from D2;
940 starting permutation: ry3 wx1 c3 rxwy2 c2 c1
941 step ry3: select id from D2;
953 starting permutation: ry3 rxwy2 wx1 c1 c2 c3
954 step ry3: select id from D2;
967 starting permutation: ry3 rxwy2 wx1 c1 c3 c2
968 step ry3: select id from D2;
981 starting permutation: ry3 rxwy2 wx1 c2 c1 c3
982 step ry3: select id from D2;
994 starting permutation: ry3 rxwy2 wx1 c2 c3 c1
995 step ry3: select id from D2;
1007 starting permutation: ry3 rxwy2 wx1 c3 c1 c2
1008 step ry3: select id from D2;
1020 starting permutation: ry3 rxwy2 wx1 c3 c2 c1
1021 step ry3: select id from D2;
1033 starting permutation: ry3 rxwy2 c2 wx1 c1 c3
1034 step ry3: select id from D2;
1046 starting permutation: ry3 rxwy2 c2 wx1 c3 c1
1047 step ry3: select id from D2;
1059 starting permutation: ry3 rxwy2 c2 c3 wx1 c1
1060 step ry3: select id from D2;
1072 starting permutation: ry3 rxwy2 c3 wx1 c1 c2
1073 step ry3: select id from D2;
1085 starting permutation: ry3 rxwy2 c3 wx1 c2 c1
1086 step ry3: select id from D2;
1098 starting permutation: ry3 rxwy2 c3 c2 wx1 c1
1099 step ry3: select id from D2;
1111 starting permutation: ry3 c3 wx1 c1 rxwy2 c2
1112 step ry3: select id from D2;
1124 starting permutation: ry3 c3 wx1 rxwy2 c1 c2
1125 step ry3: select id from D2;
1137 starting permutation: ry3 c3 wx1 rxwy2 c2 c1
1138 step ry3: select id from D2;
1150 starting permutation: ry3 c3 rxwy2 wx1 c1 c2
1151 step ry3: select id from D2;
1163 starting permutation: ry3 c3 rxwy2 wx1 c2 c1
1164 step ry3: select id from D2;
1176 starting permutation: ry3 c3 rxwy2 c2 wx1 c1
1177 step ry3: select id from D2;