a12a12x1x1a13a13x1x1a14a14x1x1a15a15x1x1a16a16x1x1a23a23x1x1a24a24x1x1a25a25x1x1a26a26x1x1a34a34x1x1a35a35x1x1a36a36x1x1a45a45x1x1a46a46x1x1a56a56x1x1a13x1a12a23a12x1a14x1a12a23a34a23a12x1a15x1a12a23a34a45a34a23a12x1a16x1a12a23a34a45a56a45a34a23a12x1a24x1a23a34a23x1a25x1a23a34a45a34a23x1a26x1a23a34a45a56a45a34a23x1a35x1a34a45a34x1a36x1a34a45a56a45a34x1a46x1a45a56a45x1a12a23a12a23a12a23x1x1a23a34a23a34a23a34x1x1a34a45a34a45a34a45x1x1a45a56a45a56a45a56x1x1a12a34x1a34a12x1a12a45x1a45a12x1a12a56x1a56a12x1a23a45x1a45a23x1a23a56x1a56a23x1a34a56x1a56a34x11a121111a131114a141116a151118a1611110a231111a241114a251116a261118a341111a351114a361116a451111a461114a561111a12a34x1a34a12x1a12a45x1a45a12x1a12a56x1a56a12x1a23a45x1a45a23x1a23a56x1a56a23x1a34a56x1a56a34x1a12a34x1a34a12x1a12a34x1a12x1a12a45x1a12x1a12a56x1a12x1a23a45x1a23x1a23a56x1a23x1a34a56x1a34x1truea12a45x1a12x1a12a34x1a12x1a12a56x1a12x1true131a12111a451111a341111a561111a12a34x1a34a12x1false2a23a56x1a23x1a23a45x1a23x1true1a121221a341221a451321a561321a231221a23111a12a34x1a34a12x1a34a56x1a34x1true1a34111a561111