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