display('log') check('c:/My Documents/Bacthce/ex9.3.HIPS1.txt') data('c:/My Documents/Bacthce/ex9.3.HIPS1-dat.txt') compile(1) gen.inits() set(C) set(BL) set(BQ) update(10000) stats(*)