// reward structures

// tokens in cell1
rewards "tokens_cell1"
	true : x1+y1+z1;
endrewards

// tokens in cell2
rewards "tokens_cell2"
	true : x2+y2+z2;
endrewards

// tokens in cell3
rewards "tokens_cell3"
	true : x3+y3+z3;
endrewards

// tokens in cell4
rewards "tokens_cell4"
	true : x4+y4+z4;
endrewards

// throughput of the system
rewards "throughput"
	[in] true : 1;
endrewards