// Place global declarations here.
clock e, f;
T// Place local declarations here.// Place template instantiations here.
//Process = Template();
// List one or more processes to be composed into a system.
system T;simulate 1 [<=20000] { i + 800, j + 900 }
simulate 1 [<=20000] {a , b + 100, c + 200, d + 300, e + 400, f + 500 }
simulate 1 [<=20000] { f }
simulate 1 [<=50000] {e, f + 100 }
simulate 1 [<=100000] { e, f + 100 }
simulate 1 [<=200000] { f }
simulate 1 [<=200000] {a , b + 100, c + 200, d + 300, e + 400, f + 500 }
simulate 1 [<=2000000000] {a , b + 100, c + 200, d + 300, e + 400, f + 500 }
simulate 1 [<=2000000000] {a , b + 100, c + 200, d + 300, e + 400, f + 500, g + 600, h + 700, i + 800, j + 900 }
simulate 1 [<=1000] {a , b+100, c+ 200, d+300}