bignetsim manual separated from bigsim manual