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

new h12,h34,h56,h78,h910,h1314,h1516,h1,h2,h3,h4,h5,h6,h7,h8,h9,h10,h13,h14,h15,h16:
    ( ness?y1.ness?y2.ness?y3.ness?y4.ness?y5.ness?y6.ness?y7.ness?y8.ness?y9.ness?y10.ness?y11.ness?y12.ness?y13.ness?y14.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 |
	  h13!ness. h13?x13.STOP |
	  h14!ness. h14?x14.STOP |
	  h15!ness. h15?x15.STOP |
	  h16!ness. h16?x16.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
	) |
	h13?addr13.(
		h1314?another13. addr13!h13. addr13!another13. h13!done.STOP
	) |
	h14?addr14.(
		h1314!h14. h14!done.STOP
	) |
	h15?addr15.(
		h1516?another15. addr15!h15. addr15!another15. h15!done.STOP
	) |
	h16?addr16.(
		h1516!h16. h16!done.STOP
	)		
);