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