rev10nil0rev1sXnilsXrev1XconsYLrev1YLrevnilnilrevconsXLconsrev1XLrev2XLrev2Xnilnilrev2XconsYLrevconsXrevrev2YLrev1XconsYLrev1YLrevconsXLrev1XLrevconsXLrev2XLrev2XconsYLrevconsXrevrev2YLrev2XconsYLrevrev2YLrev2XconsYLrev2YLtruerevconsXLrev2XLrev2XconsYLrevconsXrevrev2YLrev2XconsYLrevrev2YLrev2XconsYLrev2YLtrue121rev111cons2112rev2212rev111rev2212rev121001nil00s10rev2XconsYLrevconsXrevrev2YLrev2XconsYLrevconsXrevrev2YLfalserevconsXLrev1XLfalse1rev1XconsYLrev1YLtrue1rev1212cons2112rev120000nil00s10rev111rev2212