(TOP NIL (C61 C59 C57 C55 C50 C46 C42 C37 C35 C28 C24 C19 C17 C10 C7 C5 C70 C72 C74 C76 C78 C80 C96 C98 C97 C95 C81 C79 C77 C75 C73 C71 C4 C6 C9 C14 C18 C22 C27 C34 C36 C38 C45 C47 C54 C56 C58 C60)) 
(C110 (C42) ((C1 C2 C3 BOTTOM))) 
(C109 (C42) ((C1 C2 C3 BOTTOM))) 
(C108 (C38) ((C1 C2 C3 BOTTOM))) 
(C107 (C38) ((C1 C2 C3 BOTTOM))) 
(C106 (C39) ((C1 C2 C3 BOTTOM))) 
(C105 (C39) ((C1 C2 C3 BOTTOM))) 
(C104 (C38) ((C1 C2 C3 BOTTOM))) 
(C103 (C37) ((C1 C2 C3 BOTTOM))) 
(C102 (C40) ((C1 C2 C3 BOTTOM))) 
(C101 (C40) ((C1 C2 C3 BOTTOM))) 
(C100 (C35) ((C1 C2 C3 BOTTOM))) 
(C99 (C35) ((C1 C2 C3 BOTTOM))) 
(C98 (TOP) ((C1 C2 C3 BOTTOM))) 
(C97 (TOP) ((C1 C2 C3 BOTTOM))) 
(C96 (TOP) ((C1 C2 C3 BOTTOM))) 
(C95 (TOP) (C31 C29 C30)) 
(C94 (C41) ((C1 C2 C3 BOTTOM))) 
(C93 (C41) ((C1 C2 C3 BOTTOM))) 
(C92 (C20) ((C1 C2 C3 BOTTOM))) 
(C91 (C20) ((C1 C2 C3 BOTTOM))) 
(C90 (C20) ((C1 C2 C3 BOTTOM))) 
(C89 (C19) ((C1 C2 C3 BOTTOM))) 
(C88 (C19) ((C1 C2 C3 BOTTOM))) 
(C87 (C19) ((C1 C2 C3 BOTTOM))) 
(C86 (C19) ((C1 C2 C3 BOTTOM))) 
(C85 (C18) ((C1 C2 C3 BOTTOM))) 
(C84 (C18) ((C1 C2 C3 BOTTOM))) 
(C83 (C17) ((C1 C2 C3 BOTTOM))) 
(C82 (C17) ((C1 C2 C3 BOTTOM))) 
(C81 (TOP) (C13)) 
(C80 (TOP) (C12)) 
(C79 (TOP) (C11)) 
(C78 (TOP) ((C1 C2 C3 BOTTOM))) 
(C77 (TOP) ((C1 C2 C3 BOTTOM))) 
(C76 (TOP) ((C1 C2 C3 BOTTOM))) 
(C75 (TOP) ((C1 C2 C3 BOTTOM))) 
(C74 (TOP) ((C1 C2 C3 BOTTOM))) 
(C73 (TOP) ((C1 C2 C3 BOTTOM))) 
(C72 (TOP) ((C1 C2 C3 BOTTOM))) 
(C71 (TOP) ((C1 C2 C3 BOTTOM))) 
(C70 (TOP) (C8)) 
(C69 (C6) ((C1 C2 C3 BOTTOM))) 
(C68 (C6) ((C1 C2 C3 BOTTOM))) 
(C67 (C4) ((C1 C2 C3 BOTTOM))) 
(C66 (C4) ((C1 C2 C3 BOTTOM))) 
(C4 (TOP) (C67 C66)) 
(C5 (TOP) (C63 C62)) 
(C6 (TOP) (C68 C69)) 
(C7 (TOP) (C8)) 
(C8 (C70 C7) ((C1 C2 C3 BOTTOM))) 
(C9 (TOP) ((C1 C2 C3 BOTTOM))) 
(C10 (TOP) (C13 C11 C12)) 
(C11 (C79 C10) ((C1 C2 C3 BOTTOM))) 
(C12 (C80 C10) ((C1 C2 C3 BOTTOM))) 
(C13 (C81 C10) ((C1 C2 C3 BOTTOM))) 
(C14 (TOP) (C16 C15)) 
(C15 (C14) ((C1 C2 C3 BOTTOM))) 
(C16 (C14) ((C1 C2 C3 BOTTOM))) 
(C17 (TOP) (C82 C83)) 
(C18 (TOP) (C84 C85)) 
(C19 (TOP) (C23 C20 C87 C89 C88 C86 C21)) 
(C20 (C19) (C90 C92 C91)) 
(C21 (C19) ((C1 C2 C3 BOTTOM))) 
(C22 (TOP) ((C1 C2 C3 BOTTOM))) 
(C23 (C50 C19) ((C1 C2 C3 BOTTOM))) 
(C24 (TOP) ((C1 C2 C3 BOTTOM))) 
(C25 (C27) ((C1 C2 C3 BOTTOM))) 
(C26 (C27) ((C1 C2 C3 BOTTOM))) 
(C27 (TOP) (C25 C26)) 
(C28 (TOP) ((C1 C2 C3 BOTTOM))) 
(C29 (C95) (C32)) 
(C30 (C95) (C33)) 
(C31 (C95) ((C1 C2 C3 BOTTOM))) 
(C32 (C29) ((C1 C2 C3 BOTTOM))) 
(C33 (C30) ((C1 C2 C3 BOTTOM))) 
(C34 (TOP) (C65 C64)) 
(C35 (TOP) (C99 C100)) 
(C36 (TOP) ((C1 C2 C3 BOTTOM))) 
(C37 (TOP) (C41 C103 C40)) 
(C38 (TOP) (C39 C107 C108 C104)) 
(C39 (C38) (C106 C105)) 
(C40 (C37) (C102 C101)) 
(C41 (C37) (C94 C93)) 
(C42 (TOP) (C110 C109)) 
(C43 (C44) ((C1 C2 C3 BOTTOM))) 
(C44 (C45) (C43)) 
(C45 (TOP) (C53 C44)) 
(C46 (TOP) ((C1 C2 C3 BOTTOM))) 
(C47 (TOP) (C53 C48)) 
(C48 (C47) (C52 C49 C51)) 
(C49 (C48) ((C1 C2 C3 BOTTOM))) 
(C50 (TOP) (C23)) 
(C51 (C48) ((C1 C2 C3 BOTTOM))) 
(C52 (C48) ((C1 C2 C3 BOTTOM))) 
(C53 (C47 C45) ((C1 C2 C3 BOTTOM))) 
(C54 (TOP) ((C1 C2 C3 BOTTOM))) 
(C55 (TOP) ((C1 C2 C3 BOTTOM))) 
(C56 (TOP) ((C1 C2 C3 BOTTOM))) 
(C57 (TOP) ((C1 C2 C3 BOTTOM))) 
(C58 (TOP) ((C1 C2 C3 BOTTOM))) 
(C59 (TOP) ((C1 C2 C3 BOTTOM))) 
(C60 (TOP) ((C1 C2 C3 BOTTOM))) 
(C61 (TOP) ((C1 C2 C3 BOTTOM))) 
(C62 (C5) ((C1 C2 C3 BOTTOM))) 
(C63 (C5) ((C1 C2 C3 BOTTOM))) 
(C64 (C34) ((C1 C2 C3 BOTTOM))) 
(C65 (C34) ((C1 C2 C3 BOTTOM))) 
((C1 C2 C3 BOTTOM) (C65 C63 C61 C59 C57 C55 C53 C51 C46 C36 C33 C31 C26 C24 C22 C16 C12 C8 C67 C69 C71 C73 C75 C77 C83 C85 C87 C89 C91 C93 C97 C99 C101 C103 C105 C107 C109 C110 C108 C106 C104 C102 C100 C98 C96 C94 C92 C90 C88 C86 C84 C82 C78 C76 C74 C72 C68 C66 C9 C11 C13 C15 C21 C23 C25 C28 C32 C43 C49 C52 C54 C56 C58 C60 C62 C64) NIL)