a__f0cons0fs0a__fs0a__fa__ps0a__ps00markfXa__fmarkXmarkpXa__pmarkXmark00markconsX1X2consmarkX1X2marksXsmarkXa__fXfXa__pXpXa__fs0a__fa__ps0a__fs0a__ps0markfXa__fmarkXmarkfXmarkXmarkpXa__pmarkXmarkpXmarkXmarkconsX1X2markX1marksXmarkXtruemarkpXmarkXmarkfXmarkXmarkconsX1X2markX1marksXmarkXtrue12341mark111p111f1111cons21112s111a__f1111000a__p111mark111markpXmarkXmarkconsX1X2markX1marksXmarkX1mark111p1111cons2111s1111a__f11000f11a__p1111mark111markfXa__fmarkXfalse12a__fs0a__fa__ps0true11a__f111s1111001a__p11a__f11cons20f11mark1111p11a__fs0a__ps0falsemarkpXa__pmarkXfalse