[00000.0] main: Seed = 1759015306
PASS testExp (exit status: 0)