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

new h12,h34,h1,h2,h3,h4:
    ( ness?y1.ness?y2.ness?y3.ness?y4.0
    | (
        h1!ness. h1?x1.STOP |
        h2!ness. h2?x2.STOP |
        h3!ness. h3?x3.STOP |
        h4!ness. h4?x4.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
    ))
;