@gblInitDone==1

? (alive p1): gblalltargets = gblalltargets+[p1];
? (alive p2): gblalltargets = gblalltargets+[p2];
? (alive p3): gblalltargets = gblalltargets+[p3];
? (alive p4): gblalltargets = gblalltargets+[p4];
? (alive p5): gblalltargets = gblalltargets+[p5];
? (alive p6): gblalltargets = gblalltargets+[p6];
? (alive p7): gblalltargets = gblalltargets+[p7];
? (alive p8): gblalltargets = gblalltargets+[p8];
? (alive p9): gblalltargets = gblalltargets+[p9];

exit


