Edit File: rand_seed1_basic.result