TEXT contents1 TEXT contents2 TEXT contents3 TEXT contents4 TEXT contents5 TEXT contents6 TEXT discard TEXT index TEXT intro TEXT notation DIR s1 TEXT s1_header TEXT s1_macros DIR s2 TEXT s2_header TEXT s2_macros DIR s3 TEXT s3_header TEXT s3_macros DIR s4 TEXT s4_header TEXT s4_macros DIR s5 TEXT s5_header TEXT s5_macros DIR s6 TEXT s6_header TEXT s6_macros