a__f0cons0fs0a__fs0a__fa__ps0a__ps00markfXa__fmarkXmarkpXa__pmarkXmark00markconsX1X2consmarkX1X2marksXsmarkXa__fXfXa__pXpXa__fs0a__ps0a__fs0a__fa__ps0markfXmarkXmarkfXa__fmarkXmarkpXmarkXmarkpXa__pmarkXmarkconsX1X2markX1marksXmarkXtruemarkpXmarkXmarkfXmarkXmarkconsX1X2markX1marksXmarkXtrue1mark1110p1110mark1110a__p1110cons211020f11110s1211a__f11110001markpXmarkXmarkfXmarkXmarkconsX1X2markX11mark1110p1110mark1210a__p1110cons2310210f1810s1110a__f1810002markpXmarkXmarkfXmarkX1mark11218p1210mark1210a__p1210cons2101021f1111s1010a__f1111000markpXmarkX1mark1910p1214mark1210a__p1215cons2121122f1018s1013a__f10110000markpXa__pmarkXfalsemarkfXa__fmarkXfalsea__fs0a__fa__ps0true1a__f1110p1010mark1011a__p1010cons201020f1010s1011a__f1010000a__fs0a__ps0false