id	keyword
bracis-33581	i\(_\texttt
bracis-33581	0}\
bracis-33581	origami
bracis-33581	arg\(_\texttt
bracis-33581	recursion
bracis-33581	problems
bracis-33581	type
bracis-33581	n}\
bracis-33581	program
bracis-33581	synthesis
bracis-33581	pattern
bracis-33581	programming