eq00trueeq0syfalseeqsx0falseeqsxsyeqxylt0sytrueltx0falseltsxsyltxybin2snil0bin2sconsxxsbin2ssxxsbin2ssxnilxbin2ssxcons0xsbin2ssdoublexxsbin2ssxcons1xsbin2sssdoublexxshalf00halfs00halfssxshalfxlog00logs00logssxsloghalfssxmorenilnilmoreconsxsysconscons0xsconscons1xsconsxsyss2binxs2bin1x0consnilnils2bin1xylistsif1ltylogxxylistsif1truexylistss2bin1xsymorelistsif1falsexylistss2bin2xlistss2bin2xnilbug_list_nots2bin2xconsxsysif2eqxbin2sxsxxsysif2truexxsysxsif2falsexxsyss2bin2xyseqsxsyeqxyltsxsyltxybin2sconsxxsbin2ssxxsbin2ssxcons0xsbin2ssdoublexxsbin2ssxcons1xsbin2sssdoublexxshalfssxhalfxlogssxhalfssxlogssxloghalfssxs2binxs2bin1x0consnilnils2bin1xylistslogxs2bin1xylistsltylogxs2bin1xylistsif1ltylogxxylistsif1truexylistsmorelistsif1truexylistss2bin1xsymorelistsif1falsexylistss2bin2xlistss2bin2xconsxsysbin2sxss2bin2xconsxsyseqxbin2sxss2bin2xconsxsysif2eqxbin2sxsxxsysif2falsexxsyss2bin2xystrues2binxs2bin1x0consnilnilfalseif1truexylistss2bin1xsymorelistss2bin1xylistsif1ltylogxxyliststrueif1truexylistsmorelistsfalses2bin1xylistsltylogxfalseltsxsyltxytrue1lt2810210s1414s2bin1xylistslogxfalselogssxloghalfssxtrue1log1110half1110s1111000logssxloghalfssxhalf00halfssxshalfxhalf00halfs00logssxloghalfssxfalselogssxhalfssxfalsehalfssxhalfxtrue1half1119s1411if1falsexylistss2bin2xlistsfalseif2falsexxsyss2bin2xyss2bin2xconsxsysif2eqxbin2sxsxxsystrue1if240102037412s2bin2201728106double1018bin2ss201028cons231421bin2s11316nil00false00s1112true00eq201422004s2bin2xconsxsyseqxbin2sxsfalseeqsxsyeqxytrue1eq2810210s1414s2bin2xconsxsysbin2sxsfalsebin2sconsxxsbin2ssxxsfalsebin2ssxcons0xsbin2ssdoublexxsbin2ssxcons1xsbin2sssdoublexxstrue1bin2ss201221102double1015cons2131120s1818000bin2ssxcons0xsbin2ssdoublexxs1bin2ss281128double1111cons221129002