eq00trueeq0syfalseeqsx0falseeqsxsyeqxylt0sytrueltx0falseltsxsyltxybin2snil0bin2sconsxxsbin2ssxxsbin2ssxnilxbin2ssxcons0xsbin2ssdoublexxsbin2ssxcons1xsbin2sssdoublexxshalf00halfs00halfssxshalfxlog00logs00logssxsloghalfssxmorenilnilmoreconsxsysconscons0xsconscons1xsconsxsyss2binxs2bin1x0consnilnils2bin1xylistsif1ltylogxxylistsif1truexylistss2bin1xsymorelistsif1falsexylistss2bin2xlistss2bin2xnilbug_list_nots2bin2xconsxsysif2eqxbin2sxsxxsysif2truexxsysxsif2falsexxsyss2bin2xyseqsxsyeqxyltsxsyltxybin2sconsxxsbin2ssxxsbin2ssxcons0xsbin2ssdoublexxsbin2ssxcons1xsbin2sssdoublexxshalfssxhalfxlogssxhalfssxlogssxloghalfssxs2binxs2bin1x0consnilnils2bin1xylistslogxs2bin1xylistsltylogxs2bin1xylistsif1ltylogxxylistsif1truexylistsmorelistsif1truexylistss2bin1xsymorelistsif1falsexylistss2bin2xlistss2bin2xconsxsysbin2sxss2bin2xconsxsyseqxbin2sxss2bin2xconsxsysif2eqxbin2sxsxxsysif2falsexxsyss2bin2xystrues2binxs2bin1x0consnilnilfalseif1truexylistss2bin1xsymorelistss2bin1xylistsif1ltylogxxyliststrueif1truexylistsmorelistsfalses2bin1xylistsltylogxfalseltsxsyltxytrues2bin1xylistslogxfalselogssxloghalfssxtruelogssxhalfssxfalsehalfssxhalfxtrueif1falsexylistss2bin2xlistsfalseif2falsexxsyss2bin2xyss2bin2xconsxsysif2eqxbin2sxsxxsystrues2bin2xconsxsyseqxbin2sxsfalseeqsxsyeqxytrues2bin2xconsxsysbin2sxsfalsebin2sconsxxsbin2ssxxsfalsebin2ssxcons0xsbin2ssdoublexxsbin2ssxcons1xsbin2sssdoublexxstrue