/*
 * File: 
 * Author: 
 * Created: 
 */

new h,h1,h2,h3,h4,h5:
(	ness?y1.ness?y2.ness?y3.ness?y4.ness?y5.0 |
    (
		h1!ness. h1?x1.STOP |
		h2!ness. h2?x2.STOP |
		h3!ness. h3?x3.STOP |
		h4!ness. h4?x4.STOP |
		h5!ness. h5?x5.STOP
	) |
	h1?addr1.(
		h!h1. h1!done.STOP
		+
		h?another1. addr1!h1. addr1!another1. h1!done.STOP
	) |
	h2?addr2.(
		h!h2. h2!done.STOP
		+
		h?another2. addr2!h2. addr2!another2. h2!done.STOP
	) |
	h3?addr3.(
		h!h3. h3!done.STOP
		+
		h?another3. addr3!h3. addr3!another3. h3!done.STOP
	) |
	h4?addr4.(
		h!h4. h4!done.STOP
		+
		h?another4. addr4!h4. addr4!another4. h4!done.STOP
	) |
	h5?addr5.(
		h!h5. h5!done.STOP
		+
		h?another5. addr5!h5. addr5!another5. h5!done.STOP
	)
);