(TOP NIL (C101 C93 C85 C77 C69 C57 C31 C27 C19 C15 C11 C111 C115 C135 C139 C147 C155 C159 C163 C167 C179 C195 C215 C219 C223 C221 C217 C213 C201 C193 C181 C169 C165 C161 C157 C141 C137 C133 C117 C9 C17 C21 C29 C39 C67 C75 C79 C91 C95)) 
(C5 (C57) (BOTTOM)) 
(C7 (C57) (BOTTOM)) 
(C9 (TOP) (C25 C23)) 
(C11 (TOP) (C127 C129)) 
(C13 (C27) (BOTTOM)) 
(C15 (TOP) (BOTTOM)) 
(C17 (TOP) (C119 C113)) 
(C19 (TOP) (BOTTOM)) 
(C21 (TOP) (C121 C123)) 
(C23 (C9) (BOTTOM)) 
(C25 (C9) (BOTTOM)) 
(C27 (TOP) (C97 C73 C55 C13)) 
(C29 (TOP) (C125 C131)) 
(C31 (TOP) (BOTTOM)) 
(C33 (C39 C135) (BOTTOM)) 
(C35 (C39 C137) (BOTTOM)) 
(C37 (C39 C139) (BOTTOM)) 
(C39 (TOP) (C35 C33 C37)) 
(C41 (C55) (BOTTOM)) 
(C43 (C47) (BOTTOM)) 
(C45 (C47) (BOTTOM)) 
(C47 (C55) (C43 C45)) 
(C49 (C55) (BOTTOM)) 
(C51 (C91 C55) (BOTTOM)) 
(C53 (C91 C55) (BOTTOM)) 
(C55 (C27 C181) (C51 C41 C47 C49 C53)) 
(C57 (TOP) (C5 C7)) 
(C59 (C91 C67) (BOTTOM)) 
(C61 (C67) (BOTTOM)) 
(C63 (C67) (BOTTOM)) 
(C65 (C67) (C175 C185 C173)) 
(C67 (TOP) (C61 C151 C171 C187 C189 C65 C59 C63)) 
(C69 (TOP) (C109 C191 C107)) 
(C71 (C73) (BOTTOM)) 
(C73 (C181 C27) (C71)) 
(C75 (TOP) (C99)) 
(C77 (TOP) (C87 C205 C211 C203)) 
(C79 (TOP) (C143 C145)) 
(C81 (C97) (BOTTOM)) 
(C83 (C97) (BOTTOM)) 
(C85 (TOP) (BOTTOM)) 
(C87 (C77) (C209 C207)) 
(C89 (C97) (BOTTOM)) 
(C91 (TOP) (C53 C51 C59)) 
(C93 (TOP) (C199 C197)) 
(C95 (TOP) (BOTTOM)) 
(C97 (C27) (C89 C83 C81)) 
(C99 (C201 C75) (BOTTOM)) 
(C101 (TOP) (C105 C103)) 
(C103 (C101) (BOTTOM)) 
(C105 (C101) (BOTTOM)) 
(C107 (C69) (C153 C183)) 
(C109 (C69) (C149 C177)) 
(BOTTOM (C105 C95 C85 C81 C71 C61 C53 C49 C43 C37 C33 C25 C19 C13 C7 C111 C115 C119 C123 C127 C131 C143 C147 C151 C155 C159 C163 C167 C171 C175 C179 C183 C187 C191 C195 C199 C203 C207 C211 C215 C219 C223 C221 C217 C213 C209 C205 C197 C193 C189 C185 C177 C173 C169 C165 C161 C157 C153 C149 C145 C141 C133 C129 C125 C121 C117 C113 C5 C15 C23 C31 C35 C41 C45 C51 C59 C63 C83 C89 C99 C103) NIL)