YES a1b1a1c1b1b2c1c2a2b2a2c2b2b3c2c3a3b3a3c3b3b4c3c4a4b4a4c4b4b5c4c5a5b5a5c5b5b6c5c6a6b6a6c6b6b7c6c7a7b7a7c7b7b8c7c8a8b8a8c8b8b9c8c9a9b9a9c9b9b10c9c10a10b11b10b11c10b112.11b700c200b600a300b100b200c600b800a900c700a600b1000c800c1000a200c400a100c300a700c900b1100a500b500a800b900a400b400c500b300a1001c100a1b1a1c1b1b2c1c2a2b2a2c2b2b3c2c3a3b3a3c3b3b4c3c4a4b4a4c4b4b5c4c5a5b5a5c5b5b6c5c6a6b6a6c6b6b7c6c7a7b7a7c7b7b8c7c8a8b8a8c8b8b9c8c9a9b9a9c9b9b10c9c10b10b11c10b111b700c200b600a300b100b200c600b800a904c700a600b1000c800c1000a200c400a100c300a700c900b1100a500b500a800b900a400b400c500b300c100a1b1a1c1b1b2c1c2a2b2a2c2b2b3c2c3a3b3a3c3b3b4c3c4a4b4a4c4b4b5c4c5a5b5a5c5b5b6c5c6a6b6a6c6b6b7c6c7a7b7a7c7b7b8c7c8a8b8a8c8b8b9c8c9b9b10c9c10b10b11c10b111b700c200b600a300b100b200c600b800c700a600b1000c800c1000a200c400a100c300a700c900b1100a500b500a804b900a400b400c500b300c100a1b1a1c1b1b2c1c2a2b2a2c2b2b3c2c3a3b3a3c3b3b4c3c4a4b4a4c4b4b5c4c5a5b5a5c5b5b6c5c6a6b6a6c6b6b7c6c7a7b7a7c7b7b8c7c8b8b9c8c9b9b10c9c10b10b11c10b111b700c200b600a300b100b200c600b800c700a600b1000c800c1000a200c400a100c300a704c900b1100a500b500b900a400b400c500b300c100a1b1a1c1b1b2c1c2a2b2a2c2b2b3c2c3a3b3a3c3b3b4c3c4a4b4a4c4b4b5c4c5a5b5a5c5b5b6c5c6a6b6a6c6b6b7c6c7b7b8c7c8b8b9c8c9b9b10c9c10b10b11c10b111b700c200b600a300b100b200c600b800c700a604b1000c800c1000a200c400a100c300c900b1100a500b500b900a400b400c500b300c100a1b1a1c1b1b2c1c2a2b2a2c2b2b3c2c3a3b3a3c3b3b4c3c4a4b4a4c4b4b5c4c5a5b5a5c5b5b6c5c6b6b7c6c7b7b8c7c8b8b9c8c9b9b10c9c10b10b11c10b111b700c200b600a300b100b200c600b800c700b1000c800c1000a200c400a100c300c900b1100a501b500b900a400b400c500b300c100a1b1a1c1b1b2c1c2a2b2a2c2b2b3c2c3a3b3a3c3b3b4c3c4a4b4a4c4b4b5c4c5b5b6c5c6b6b7c6c7b7b8c7c8b8b9c8c9b9b10c9c10b10b11c10b111b700c200b600a300b100b200c600b800c700b1000c800c1000a200c400a100c300c900b1100b500b900a404b400c500b300c100a1b1a1c1b1b2c1c2a2b2a2c2b2b3c2c3a3b3a3c3b3b4c3c4b4b5c4c5b5b6c5c6b6b7c6c7b7b8c7c8b8b9c8c9b9b10c9c10b10b11c10b111b700c200b600a304b100b200c600b800c700b1000c800c1000a200c400a100c300c900b1100b500b900b400c500b300c100a1b1a1c1b1b2c1c2a2b2a2c2b2b3c2c3b3b4c3c4b4b5c4c5b5b6c5c6b6b7c6c7b7b8c7c8b8b9c8c9b9b10c9c10b10b11c10b111b700c200b600b100b200c600b800c700b1000c800c1000a201c400a100c300c900b1100b500b900b400c500b300c100a1b1a1c1b1b2c1c2b2b3c2c3b3b4c3c4b4b5c4c5b5b6c5c6b6b7c6c7b7b8c7c8b8b9c8c9b9b10c9c10b10b11c10b111b700c204b600b104b204c602b800c701b1000c801c1000c404a104c304c900b1100b501b900b404c502b304c104a1b1a1c1b1b2c1c2b2b3c2c3b3b4c3c4c5c6b6b7b7b8c7c8b8b9b9b10c9c10b10b11c10b111b700c200b600b100b200c600b800c700b1000c800c1004c400a100c300c904b1100b900b400c500b300c100a1b1a1c1b1b2c1c2b2b3c2c3b3b4c3c4c5c6b6b7b7b8c7c8b8b9b9b10c9c10b10b111b700c200b600b100b200c600b800c700b1000c800c1000c400a100c300c901b1100b900b400c500b300c100a1b1a1c1b1b2c1c2b2b3c2c3b3b4c3c4c5c6b6b7b7b8c7c8b8b9b9b10b10b111b700c200b600b100b200c600b800c701b1000c800c400a100c300b1100b900b400c500b300c100a1b1a1c1b1b2c1c2b2b3c2c3b3b4c3c4c5c6b6b7b7b8b8b9b9b10b10b111b704c200b604b100b200c600b804b1000c400a100c300b1100b904b400c500b300c100a1b1a1c1b1b2c1c2b2b3c2c3b3b4c3c4c5c6b6b7b7b8b8b9b10b111b700c200b600b100b200c600b800b1001c400a100c300b1100b900b400c500b300c100a1b1a1c1b1b2c1c2b2b3c2c3b3b4c3c4c5c6b6b7b7b8b8b91b704c200b604b100b200c600b800c400a100c300b900b400c500b300c100a1b1a1c1b1b2c1c2b2b3c2c3b3b4c3c4c5c6b6b7b8b91b700c200b600b100b200c600b801c400a100c300b900b400c500b300c100a1b1a1c1b1b2c1c2b2b3c2c3b3b4c3c4c5c6b6b71b700c200b601b100b200c600c400a100c300b400c500b300c100a1b1a1c1b1b2c1c2b2b3c2c3b3b4c3c4c5c61c200b100b200c600c400a100c300b400c501b300c100a1b1a1c1b1b2c1c2b2b3c2c3b3b4c3c41c201b104b204c400a104c300b404b304c104a1b1a1c1b1b2b2b3b3b4c3c41b100b200c400a100c301b400b300c100a1b1a1c1b1b2b2b3b3b41b104b200a104b400b300c104a1b1a1c1b2b3b3b41b100b204a100b400b304c100a1b1a1c1b2b31b100b201a100b300c100a1b1a1c11b104a104c100a1b11b100a101csicsi 1.2.5 [hg: unknown](cr -kb;((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))!