eq00trueeq0syfalseeqsx0falseeqsxsyeqxylt0sytrueltx0falseltsxsyltxybin2snil0bin2sconsxxsbin2ssxxsbin2ssxnilxbin2ssxcons0xsbin2ssdoublexxsbin2ssxcons1xsbin2sssdoublexxshalf00halfs00halfssxshalfxlog00logs00logssxsloghalfssxmorenilnilmoreconsxsysconscons0xsconscons1xsconsxsyss2binxs2bin1x0consnilnils2bin1xylistsif1ltylogxxylistsif1truexylistss2bin1xsymorelistsif1falsexylistss2bin2xlistss2bin2xnilbug_list_nots2bin2xconsxsysif2eqxbin2sxsxxsysif2truexxsysxsif2falsexxsyss2bin2xys