This site has been permanently archived. This is a static copy provided by the University of Southampton.
%TGIF 4.1.43-QPL state(0,37,100.000,0,0,0,16,1,9,1,1,0,0,2,0,1,0,'Helvetica',0,80640,0,0,1,5,0,0,1,0,0,16,0,0,1,1,1,1,1088,1408,1,0,2880,0). % % @(#)$Header$ % %W% % unit("1 pixel/pixel"). color_info(11,65535,0,[ "magenta", 65535, 0, 65535, 65535, 0, 65535, 1, "red", 65535, 0, 0, 65535, 0, 0, 1, "green", 0, 65535, 0, 0, 65535, 0, 1, "blue", 0, 0, 65535, 0, 0, 65535, 1, "yellow", 65535, 65535, 0, 65535, 65535, 0, 1, "pink", 65535, 49344, 52171, 65535, 49344, 52171, 1, "cyan", 0, 65535, 65535, 0, 65535, 65535, 1, "CadetBlue", 24415, 40606, 41120, 24415, 40606, 41120, 1, "white", 65535, 65535, 65535, 65535, 65535, 65535, 1, "black", 0, 0, 0, 0, 0, 0, 1, "DarkSlateGray", 12079, 20303, 20303, 12079, 20303, 20303, 1 ]). script_frac("0.6"). fg_bg_colors('black','white'). dont_reencode("FFDingbests:ZapfDingbats"). page(1,"",1,''). box('black','',350,330,500,435,0,1,1,309,0,0,0,0,0,'1',0,[ ]). group([ polygon('black','',5,[ 660,300,660,330,810,330,810,300,660,300],2,1,1,0,0,0,0,0,0,0,'1',0, "00",[ ]), box('black','',664,304,806,326,2,1,0,1,0,0,0,0,0,'1',0,[ attr("", "auto_center_attr", 0, 1, 0, text('black',735,303,1,1,1,115,17,2,14,3,0,0,0,0,2,115,17,0,0,"",0,0,0,0,317,'',[ minilines(115,17,0,0,1,0,0,[ mini_line(115,14,3,0,0,0,[ str_block(0,115,14,3,0,0,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,115,14,3,0,0,0,0,0,0,0, "auto_center_attr")]) ]) ])])), attr("label=", "Jobs : Actor", 1, 0, 0, text('black',734,306,1,1,1,85,17,3,14,3,0,0,0,0,2,85,17,0,0,"",0,0,0,0,320,'',[ minilines(85,17,0,0,1,0,0,[ mini_line(85,14,3,0,0,0,[ str_block(0,85,14,3,0,0,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,85,14,3,0,0,0,0,0,0,0, "Jobs : Actor")]) ]) ])])) ]) ], 4,0,0,[ ]). group([ polygon('black','',5,[ 350,300,350,330,500,330,500,300,350,300],2,1,1,0,16,0,0,0,0,0,'1',0, "00",[ ]), box('black','',354,304,496,326,2,1,0,17,0,0,0,0,0,'1',0,[ attr("", "auto_center_attr", 0, 1, 0, text('black',425,303,1,1,1,115,17,18,14,3,0,0,0,0,2,115,17,0,0,"",0,0,0,0,317,'',[ minilines(115,17,0,0,1,0,0,[ mini_line(115,14,3,0,0,0,[ str_block(0,115,14,3,0,0,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,115,14,3,0,0,0,0,0,0,0, "auto_center_attr")]) ]) ])])), attr("label=", "Kickstart : Actor", 1, 0, 0, text('black',424,306,1,1,1,113,17,19,14,3,0,0,0,0,2,113,17,0,0,"",0,0,0,0,320,'',[ minilines(113,17,0,0,1,0,0,[ mini_line(113,14,3,0,0,0,[ str_block(0,113,14,3,0,0,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,113,14,3,0,0,0,0,0,0,0, "Kickstart : Actor")]) ]) ])])) ]) ], 15,0,0,[ ]). poly('black','',2,[ 500,315,660,315],1,1,1,25,0,2,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). text('black',505,291,1,0,1,8,17,26,14,3,0,0,0,0,2,8,17,0,0,"",0,0,0,0,305,'',[ minilines(8,17,0,0,0,0,0,[ mini_line(8,14,3,0,0,0,[ str_block(0,8,14,3,0,-3,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,8,14,3,0,-3,0,0,0,0,0, "1")]) ]) ])]). text('black',650,296,1,0,1,6,17,28,14,3,0,0,0,0,2,6,17,0,0,"",0,0,0,0,310,'',[ minilines(6,17,0,0,0,0,0,[ mini_line(6,14,3,0,0,0,[ str_block(0,6,14,3,0,-1,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,6,14,3,0,-1,0,0,0,0,0, "*")]) ]) ])]). group([ polygon('black','',5,[ 505,370,505,400,655,400,655,370,505,370],2,1,1,0,74,0,0,0,0,0,'1',0, "00",[ ]), box('black','',509,374,651,396,2,1,0,75,0,0,0,0,0,'1',0,[ attr("", "auto_center_attr", 0, 1, 0, text('black',580,373,1,1,1,115,17,76,14,3,0,0,0,0,2,115,17,0,0,"",0,0,0,0,387,'',[ minilines(115,17,0,0,1,0,0,[ mini_line(115,14,3,0,0,0,[ str_block(0,115,14,3,0,0,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,115,14,3,0,0,0,0,0,0,0, "auto_center_attr")]) ]) ])])), attr("label=", "Exit : Interaction", 1, 0, 0, text('black',579,376,1,1,1,113,17,77,14,3,0,0,0,0,2,113,17,0,0,"",0,0,0,0,390,'',[ minilines(113,17,0,0,1,0,0,[ mini_line(113,14,3,0,0,0,[ str_block(0,113,14,3,0,-1,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,113,14,3,0,-1,0,0,0,0,0, "Exit : Interaction")]) ]) ])])) ]) ], 73,0,0,[ ]). group([ polygon('black','',5,[ 505,200,505,230,655,230,655,200,505,200],2,1,1,0,128,0,0,0,0,0,'1',0, "00",[ ]), box('black','',509,204,651,226,2,1,0,129,0,0,0,0,0,'1',0,[ attr("", "auto_center_attr", 0, 1, 0, text('black',580,203,1,1,1,115,17,130,14,3,0,0,0,0,2,115,17,0,0,"",0,0,0,0,217,'',[ minilines(115,17,0,0,1,0,0,[ mini_line(115,14,3,0,0,0,[ str_block(0,115,14,3,0,0,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,115,14,3,0,0,0,0,0,0,0, "auto_center_attr")]) ]) ])])), attr("label=", "Start : Interaction", 1, 0, 0, text('black',580,206,1,1,1,122,17,131,14,3,0,0,0,0,2,122,17,0,0,"",0,0,0,0,220,'',[ minilines(122,17,0,0,1,0,0,[ mini_line(122,14,3,0,0,0,[ str_block(0,122,14,3,0,-1,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,122,14,3,0,-1,0,0,0,0,0, "Start : Interaction")]) ]) ])])) ]) ], 127,0,0,[ ]). poly('black','',3,[ 570,270,580,315,590,270],0,1,1,148,2,0,0,0,0,0,0,'1',0,0, "","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',3,[ 570,370,580,320,590,370],0,1,1,149,2,0,0,0,0,0,0,'1',0,0, "","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). group([ polygon('black','',5,[ 350,85,350,115,500,115,500,85,350,85],2,1,1,0,151,0,0,0,0,0,'1',0, "00",[ ]), box('black','',354,89,496,111,2,1,0,152,0,0,0,0,0,'1',0,[ attr("", "auto_center_attr", 0, 1, 0, text('black',425,88,1,1,1,115,17,153,14,3,0,0,0,0,2,115,17,0,0,"",0,0,0,0,102,'',[ minilines(115,17,0,0,1,0,0,[ mini_line(115,14,3,0,0,0,[ str_block(0,115,14,3,0,0,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,115,14,3,0,0,0,0,0,0,0, "auto_center_attr")]) ]) ])])), attr("label=", "Actor", 1, 0, 0, text('black',425,91,1,1,1,38,17,154,14,3,0,0,0,0,2,38,17,0,0,"",0,0,0,0,105,'',[ minilines(38,17,0,0,1,0,0,[ mini_line(38,14,3,0,0,0,[ str_block(0,38,14,3,0,0,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,38,14,3,0,0,0,0,0,0,0, "Actor")]) ]) ])])) ]) ], 150,0,0,[ ]). group([ polygon('black','',5,[ 575,85,575,115,725,115,725,85,575,85],2,1,1,0,156,0,0,0,0,0,'1',0, "00",[ ]), box('black','',579,89,721,111,2,1,0,157,0,0,0,0,0,'1',0,[ attr("", "auto_center_attr", 0, 1, 0, text('black',650,88,1,1,1,115,17,158,14,3,0,0,0,0,2,115,17,0,0,"",0,0,0,0,102,'',[ minilines(115,17,0,0,1,0,0,[ mini_line(115,14,3,0,0,0,[ str_block(0,115,14,3,0,0,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,115,14,3,0,0,0,0,0,0,0, "auto_center_attr")]) ]) ])])), attr("label=", "Interaction", 1, 0, 0, text('black',649,91,1,1,1,75,17,159,14,3,0,0,0,0,2,75,17,0,0,"",0,0,0,0,105,'',[ minilines(75,17,0,0,1,0,0,[ mini_line(75,14,3,0,0,0,[ str_block(0,75,14,3,0,-1,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,75,14,3,0,-1,0,0,0,0,0, "Interaction")]) ]) ])])) ]) ], 155,0,0,[ ]). poly('black','',5,[ 470,85,500,50,555,100,500,150,470,115],3,1,1,172,1,0,0,0,0,0,0,'1',0,0, "70","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). text('black',470,61,1,0,1,8,17,190,14,3,0,0,0,0,2,8,17,0,0,"",0,0,0,0,75,'',[ minilines(8,17,0,0,0,0,0,[ mini_line(8,14,3,0,0,0,[ str_block(0,8,14,3,0,-3,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,8,14,3,0,-3,0,0,0,0,0, "1")]) ]) ])]). text('black',470,126,1,0,1,6,17,191,14,3,0,0,0,0,2,6,17,0,0,"",0,0,0,0,140,'',[ minilines(6,17,0,0,0,0,0,[ mini_line(6,14,3,0,0,0,[ str_block(0,6,14,3,0,-1,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,6,14,3,0,-1,0,0,0,0,0, "*")]) ]) ])]). poly('black','',3,[ 575,90,505,100,575,110],0,1,1,192,1,0,0,0,0,0,0,'1',0,0, "4","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',5,[ 700,85,730,50,785,100,730,150,700,115],0,1,1,195,1,0,0,0,0,0,0,'1',0,0, "70","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). text('black',700,61,1,0,1,8,17,196,14,3,0,0,0,0,2,8,17,0,0,"",0,0,0,0,75,'',[ minilines(8,17,0,0,0,0,0,[ mini_line(8,14,3,0,0,0,[ str_block(0,8,14,3,0,-3,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,8,14,3,0,-3,0,0,0,0,0, "1")]) ]) ])]). text('black',700,126,1,0,1,8,17,197,14,3,0,0,0,0,2,8,17,0,0,"",0,0,0,0,140,'',[ minilines(8,17,0,0,0,0,0,[ mini_line(8,14,3,0,0,0,[ str_block(0,8,14,3,0,-3,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,8,14,3,0,-3,0,0,0,0,0, "1")]) ]) ])]). group([ polygon('blue','',5,[ 40,300,40,330,190,330,190,300,40,300],2,1,1,0,200,0,0,0,0,0,'1',0, "00",[ ]), box('blue','',44,304,186,326,2,1,0,201,0,0,0,0,0,'1',0,[ attr("", "auto_center_attr", 0, 1, 0, text('black',115,303,1,1,1,115,17,202,14,3,0,0,0,0,2,115,17,0,0,"",0,0,0,0,317,'',[ minilines(115,17,0,0,1,0,0,[ mini_line(115,14,3,0,0,0,[ str_block(0,115,14,3,0,0,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,115,14,3,0,0,0,0,0,0,0, "auto_center_attr")]) ]) ])])), attr("label=", "RemSched : Actor", 1, 0, 0, text('black',115,306,1,1,1,126,17,203,14,3,0,0,0,0,2,126,17,0,0,"",0,0,0,0,320,'',[ minilines(126,17,0,0,1,0,0,[ mini_line(126,14,3,0,0,0,[ str_block(0,126,14,3,0,0,0,0,0,[ str_seg('blue','Helvetica-Bold',1,80640,126,14,3,0,0,0,0,0,0,0, "RemSched : Actor")]) ]) ])])) ]) ], 199,0,0,[ ]). poly('blue','',2,[ 190,315,350,315],1,1,1,214,1,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). group([ polygon('blue','',5,[ 195,370,195,400,345,400,345,370,195,370],2,1,1,0,218,0,0,0,0,0,'1',0, "00",[ ]), box('blue','',199,374,341,396,2,1,0,219,0,0,0,0,0,'1',0,[ attr("", "auto_center_attr", 0, 1, 0, text('black',270,373,1,1,1,115,17,220,14,3,0,0,0,0,2,115,17,0,0,"",0,0,0,0,387,'',[ minilines(115,17,0,0,1,0,0,[ mini_line(115,14,3,0,0,0,[ str_block(0,115,14,3,0,0,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,115,14,3,0,0,0,0,0,0,0, "auto_center_attr")]) ]) ])])), attr("label=", "Exit : Interaction", 1, 0, 0, text('black',269,376,1,1,1,113,17,221,14,3,0,0,0,0,2,113,17,0,0,"",0,0,0,0,390,'',[ minilines(113,17,0,0,1,0,0,[ mini_line(113,14,3,0,0,0,[ str_block(0,113,14,3,0,-1,0,0,0,[ str_seg('blue','Helvetica-Bold',1,80640,113,14,3,0,-1,0,0,0,0,0, "Exit : Interaction")]) ]) ])])) ]) ], 217,0,0,[ ]). group([ polygon('blue','',5,[ 195,240,195,270,345,270,345,240,195,240],2,1,1,0,223,0,0,0,0,0,'1',0, "00",[ ]), box('blue','',199,244,341,266,2,1,0,224,0,0,0,0,0,'1',0,[ attr("", "auto_center_attr", 0, 1, 0, text('black',270,243,1,1,1,115,17,225,14,3,0,0,0,0,2,115,17,0,0,"",0,0,0,0,257,'',[ minilines(115,17,0,0,1,0,0,[ mini_line(115,14,3,0,0,0,[ str_block(0,115,14,3,0,0,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,115,14,3,0,0,0,0,0,0,0, "auto_center_attr")]) ]) ])])), attr("label=", "Start : Interaction", 1, 0, 0, text('black',270,246,1,1,1,122,17,226,14,3,0,0,0,0,2,122,17,0,0,"",0,0,0,0,260,'',[ minilines(122,17,0,0,1,0,0,[ mini_line(122,14,3,0,0,0,[ str_block(0,122,14,3,0,-1,0,0,0,[ str_seg('blue','Helvetica-Bold',1,80640,122,14,3,0,-1,0,0,0,0,0, "Start : Interaction")]) ]) ])])) ]) ], 222,0,0,[ ]). poly('blue','',3,[ 260,270,270,315,280,270],0,1,1,227,2,0,0,0,0,0,0,'1',0,0, "","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('blue','',3,[ 260,370,270,320,280,370],0,1,1,228,2,0,0,0,0,0,0,'1',0,0, "","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). text('black',360,331,5,0,1,69,85,317,14,3,0,0,0,0,2,69,85,0,0,"",0,0,0,0,345,'',[ minilines(69,85,0,0,0,0,0,[ mini_line(45,14,3,0,0,0,[ str_block(0,45,14,3,0,-1,0,0,0,[ str_seg('black','Helvetica',0,80640,45,14,3,0,-1,0,0,0,0,0, "rusage")]) ]), mini_line(46,14,3,0,0,0,[ str_block(0,46,14,3,0,-1,0,0,0,[ str_seg('black','Helvetica',0,80640,46,14,3,0,-1,0,0,0,0,0, "statinfo")]) ]), mini_line(69,14,3,0,0,0,[ str_block(0,69,14,3,0,-1,0,0,0,[ str_seg('black','Helvetica',0,80640,69,14,3,0,-1,0,0,0,0,0, "TR/DV info")]) ]), mini_line(49,14,3,0,0,0,[ str_block(0,49,14,3,0,-1,0,0,0,[ str_seg('black','Helvetica',0,80640,49,14,3,0,-1,0,0,0,0,0, "site info")]) ]), mini_line(59,14,3,0,0,0,[ str_block(0,59,14,3,0,0,0,0,0,[ str_seg('black','Helvetica',0,80640,59,14,3,0,0,0,0,0,0,0, "host/ipv4")]) ]) ])]). group([ polygon('black','',5,[ 500,485,500,515,650,515,650,485,500,485],2,1,1,0,327,0,0,0,0,0,'1',0, "00",[ ]), box('black','',504,489,646,511,2,1,0,328,0,0,0,0,0,'1',0,[ attr("", "auto_center_attr", 0, 1, 0, text('black',575,488,1,1,1,115,17,329,14,3,0,0,0,0,2,115,17,0,0,"",0,0,0,0,502,'',[ minilines(115,17,0,0,1,0,0,[ mini_line(115,14,3,0,0,0,[ str_block(0,115,14,3,0,0,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,115,14,3,0,0,0,0,0,0,0, "auto_center_attr")]) ]) ])])), attr("label=", "sysinfo (uname)", 1, 0, 0, text('black',575,491,1,1,1,110,17,330,14,3,0,0,0,0,2,110,17,0,0,"",0,0,0,0,505,'',[ minilines(110,17,0,0,1,0,0,[ mini_line(110,14,3,0,0,0,[ str_block(0,110,14,3,0,0,0,0,0,[ str_seg('black','Helvetica-Bold',1,80640,110,14,3,0,0,0,0,0,0,0, "sysinfo (uname)")]) ]) ])])) ]) ], 326,0,0,[ ]). poly('black','',3,[ 425,435,425,500,500,500],0,1,1,336,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',3,[ 650,500,735,500,735,400],0,1,1,337,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). box('black','',505,230,655,270,0,1,1,356,0,0,0,0,0,'1',0,[ ]). text('black',515,231,2,0,1,68,34,361,14,3,0,0,0,0,2,68,34,0,0,"",0,0,0,0,245,'',[ minilines(68,34,0,0,0,0,0,[ mini_line(68,14,3,0,0,0,[ str_block(0,68,14,3,0,-1,0,0,0,[ str_seg('black','Helvetica',0,80640,68,14,3,0,-1,0,0,0,0,0, "arguments")]) ]), mini_line(31,14,3,0,0,0,[ str_block(0,31,14,3,0,-1,0,0,0,[ str_seg('black','Helvetica',0,80640,31,14,3,0,-1,0,0,0,0,0, "stdin")]) ]) ])]). box('black','',660,330,810,400,0,1,1,364,0,0,0,0,0,'1',0,[ ]). text('black',670,331,2,0,1,46,34,365,14,3,0,0,0,0,2,46,34,0,0,"",0,0,0,0,345,'',[ minilines(46,34,0,0,0,0,0,[ mini_line(45,14,3,0,0,0,[ str_block(0,45,14,3,0,-1,0,0,0,[ str_seg('black','Helvetica',0,80640,45,14,3,0,-1,0,0,0,0,0, "rusage")]) ]), mini_line(46,14,3,0,0,0,[ str_block(0,46,14,3,0,-1,0,0,0,[ str_seg('black','Helvetica',0,80640,46,14,3,0,-1,0,0,0,0,0, "statinfo")]) ]) ])]). box('black','',505,400,655,455,0,1,1,389,0,0,0,0,0,'1',0,[ ]). text('black',515,401,3,0,1,54,51,390,14,3,0,0,0,0,2,54,51,0,0,"",0,0,0,0,415,'',[ minilines(54,51,0,0,0,0,0,[ mini_line(54,14,3,0,0,0,[ str_block(0,54,14,3,0,-1,0,0,0,[ str_seg('black','Helvetica',0,80640,54,14,3,0,-1,0,0,0,0,0, "exitcode")]) ]), mini_line(40,14,3,0,0,0,[ str_block(0,40,14,3,0,0,0,0,0,[ str_seg('black','Helvetica',0,80640,40,14,3,0,0,0,0,0,0,0, "stdout")]) ]), mini_line(38,14,3,0,0,0,[ str_block(0,38,14,3,0,0,0,0,0,[ str_seg('black','Helvetica',0,80640,38,14,3,0,0,0,0,0,0,0, "stderr")]) ]) ])]). poly('black','',2,[ 500,320,660,320],2,1,1,391,0,2,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('blue','',2,[ 190,320,350,320],2,1,1,394,1,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]).