sswap_:96: S 8000 1 1
sswap_:96: S 8000 1 1
sswap_:96: S 8000 10 1
sswap_:96: S 7960 1 1
sswap_:96: S 7960 1 100
sswap_:96: S 7960 1 1
sswap_:96: S 7920 1 1
sswap_:96: S 7920 96 1
sswap_:96: S 7920 1 1
sswap_:96: S 7880 1 1
sswap_:96: S 7880 1 10
sswap_:96: S 7880 1 1
sswap_:96: S 7840 1 1
sswap_:96: S 7840 1 1
sswap_:96: S 7840 1 1
sswap_:96: S 7800 1 1
sswap_:96: S 7800 1 1
sswap_:96: S 7800 1 1
sswap_:96: S 7760 1 1
sswap_:96: S 7760 1 1
dswap_:172: D 8000 1 1
dswap_:172: D 8000 500 1
dswap_:172: D 8000 1 1
dswap_:172: D 7960 1 1
dswap_:172: D 7960 1 1
dswap_:172: D 7960 1 7000
dswap_:172: D 7920 1 1
dswap_:172: D 7920 1 1
dswap_:172: D 7920 1 1
dswap_:172: D 7880 1 1
dswap_:172: D 7880 1 1
dswap_:172: D 7880 1 1
dswap_:172: D 7840 550 1
dswap_:172: D 7840 1 1
dswap_:172: D 7840 1 1
dswap_:172: D 7800 1 1
dswap_:172: D 7800 1 1
dswap_:172: D 7800 1 1
dswap_:172: D 7760 1 1
dswap_:172: D 7760 1 1
