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