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