digitsd0dxiflexsssssssss0xiftruexconsxdsxiffalsexnille0ytruelesx0falselesxsylexydigitsd0dxlexsssssssss0dxiflexsssssssss0xiftruexdsxlesxsylexytruedigitsd0falseiftruexdsxdxiflexsssssssss0xtruedxlexsssssssss0falselesxsylexytrue1le211022nil00false00cons201023true00if211023le201029s1111d101120014digits012