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

new h,h1,h2,h3,h4,h5,h6,h7:
(	ness?y1.ness?y2.ness?y3.ness?y4.ness?y5.ness?y6.ness?y7.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 |
		h6!ness. h6?x6.STOP |
		h7!ness. h7?x7.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
	) |
	h6?addr6.(
		h!h6. h6!done.STOP
		+
		h?another6. addr6!h6. addr6!another6. h6!done.STOP
	) |
	h7?addr7.(
		h!h7. h7!done.STOP
		+
		h?another7. addr7!h7. addr7!another7. h7!done.STOP
	)
);