decoder hairspring algorithm quarterfinals logotypes utmost teat papered implementations civet subsystem