a12a12x1x1a13a13x1x1a14a14x1x1a15a15x1x1a16a16x1x1a23a23x1x1a24a24x1x1a25a25x1x1a26a26x1x1a34a34x1x1a35a35x1x1a36a36x1x1a45a45x1x1a46a46x1x1a56a56x1x1a13x1a12a23a12x1a14x1a12a23a34a23a12x1a15x1a12a23a34a45a34a23a12x1a16x1a12a23a34a45a56a45a34a23a12x1a24x1a23a34a23x1a25x1a23a34a45a34a23x1a26x1a23a34a45a56a45a34a23x1a35x1a34a45a34x1a36x1a34a45a56a45a34x1a46x1a45a56a45x1a12a23a12a23a12a23x1x1a23a34a23a34a23a34x1x1a34a45a34a45a34a45x1x1a45a56a45a56a45a56x1x1a12a34x1a34a12x1a12a45x1a45a12x1a12a56x1a56a12x1a23a45x1a45a23x1a23a56x1a56a23x1a34a56x1a56a34x1a13x1a12a23a12x1a13x1a23a12x1a13x1a12x1a14x1a12a23a34a23a12x1a14x1a23a34a23a12x1a14x1a34a23a12x1a14x1a23a12x1a14x1a12x1a15x1a12a23a34a45a34a23a12x1a15x1a23a34a45a34a23a12x1a15x1a34a45a34a23a12x1a15x1a45a34a23a12x1a15x1a34a23a12x1a15x1a23a12x1a15x1a12x1a16x1a12a23a34a45a56a45a34a23a12x1a16x1a23a34a45a56a45a34a23a12x1a16x1a34a45a56a45a34a23a12x1a16x1a45a56a45a34a23a12x1a16x1a56a45a34a23a12x1a16x1a45a34a23a12x1a16x1a34a23a12x1a16x1a23a12x1a16x1a12x1a24x1a23a34a23x1a24x1a34a23x1a24x1a23x1a25x1a23a34a45a34a23x1a25x1a34a45a34a23x1a25x1a45a34a23x1a25x1a34a23x1a25x1a23x1a26x1a23a34a45a56a45a34a23x1a26x1a34a45a56a45a34a23x1a26x1a45a56a45a34a23x1a26x1a56a45a34a23x1a26x1a45a34a23x1a26x1a34a23x1a26x1a23x1a35x1a34a45a34x1a35x1a45a34x1a35x1a34x1a36x1a34a45a56a45a34x1a36x1a45a56a45a34x1a36x1a56a45a34x1a36x1a45a34x1a36x1a34x1a46x1a45a56a45x1a46x1a56a45x1a46x1a45x1a12a34x1a34a12x1a12a34x1a12x1a12a45x1a45a12x1a12a45x1a12x1a12a56x1a56a12x1a12a56x1a12x1a23a45x1a45a23x1a23a45x1a23x1a23a56x1a56a23x1a23a56x1a23x1a34a56x1a56a34x1a34a56x1a34x1truea13x1a12a23a12x1false83638545558a13x1a23a12x1false73537535457a13x1a12x1false63436525356a14x1a12a23a34a23a12x1false53335515255a14x1a23a34a23a12x1false43234505154a14x1a34a23a12x1false33133495053a14x1a23a12x1false23032484952a14x1a12x1false12931474851a15x1a12a23a34a45a34a23a12x1false2830464750a15x1a23a34a45a34a23a12x1false284748a15x1a34a45a34a23a12x1false274647a15x1a45a34a23a12x1false264546a15x1a34a23a12x1false254445a15x1a23a12x1false244344a15x1a12x1false234243a16x1a12a23a34a45a56a45a34a23a12x1false224142a16x1a23a34a45a56a45a34a23a12x1false214041a16x1a34a45a56a45a34a23a12x1false203940a16x1a45a56a45a34a23a12x1false193839a16x1a56a45a34a23a12x1false183738a16x1a45a34a23a12x1false173637a16x1a34a23a12x1false163536a16x1a23a12x1false1636a16x1a12x1false1535a24x1a23a34a23x1false1434a24x1a34a23x1false1333a24x1a23x1false1232a25x1a23a34a45a34a23x1false1131a25x1a34a45a34a23x1false1030a25x1a45a34a23x1false929a25x1a34a23x1false828a25x1a23x1false727a26x1a23a34a45a56a45a34a23x1false626a26x1a34a45a56a45a34a23x1false525a26x1a45a56a45a34a23x1false424a26x1a56a45a34a23x1false323a26x1a45a34a23x1false222a26x1a34a23x1false1920a26x1a23x1false20a35x1a34a45a34x1falsea35x1a45a34x1falsea35x1a34x1falsea36x1a34a45a56a45a34x1falsea36x1a45a56a45a34x1falsea36x1a56a45a34x1falsea36x1a45a34x1falsea36x1a34x1falsea46x1a45a56a45x1falsea46x1a56a45x1falsea46x1a45x1falsea12a45x1a12x1a12a34x1a12x1a12a56x1a12x1true1a12111a451111a341111a561111a12a34x1a34a12x1falsea12a45x1a45a12x1falsea12a56x1a56a12x1falsea23a56x1a23x1a23a45x1a23x1true1a23111a561111a451111a23a45x1a45a23x1falsea23a56x1a56a23x1falsea34a56x1a34x1true1a34111a561111a34a56x1a56a34x1false