a__f0cons0fs0a__fs0a__fa__ps0a__ps00markfXa__fmarkXmarkpXa__pmarkXmark00markconsX1X2consmarkX1X2marksXsmarkXa__fXfXa__pXpXa__fs0a__fa__ps0a__fs0a__ps0markfXa__fmarkXmarkfXmarkXmarkpXa__pmarkXmarkpXmarkXmarkconsX1X2markX1marksXmarkXtruemarkpXmarkXmarkfXmarkXmarkconsX1X2markX1marksXmarkXtrue12341mark111p1111f1111cons2111s1111markfXa__fmarkXfalse12a__fs0a__fa__ps0true11a__f111s1111001a__p11p10a__ps00a__pXpXa__fs0a__ps0falsemarkpXa__pmarkXfalse