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

new h12,h34,h56,h78,h910,h1,h2,h3,h4,h5,h6,h7,h8,h9,h10:
    ( ness?y1.ness?y2.ness?y3.ness?y4.ness?y5.ness?y6.ness?y7.ness?y8.ness?y9.ness?y10.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 |
	  h8!ness. h8?x8.STOP |
	  h9!ness. h9?x9.STOP |
	  h10!ness. h10?x10.STOP
    ) |
    h1?addr1.(
        h12?another1. addr1!h1. addr1!another1. h1!done.STOP
    ) |
    h2?addr2.(
        h12!h2. h2!done.STOP
    ) |
    h3?addr3.(
        h34?another3. addr3!h3. addr3!another3. h3!done.STOP
    ) |
    h4?addr4.(
        h34!h4. h4!done.STOP
    ) |
	h5?addr5.(
		h56?another5. addr5!h5. addr5!another5. h5!done.STOP
	) |
	h6?addr6.(
		h56!h6. h6!done.STOP
	) |
	h7?addr7.(
		h78?another7. addr7!h7. addr7!another7. h7!done.STOP
	) |
	h8?addr8.(
		h78!h8. h8!done.STOP
	) |
	h9?addr9.(
		h910?another9. addr9!h9. addr9!another9. h9!done.STOP
	) |
	h10?addr10.(
		h910!h10. h10!done.STOP
	));