// author: Hui Li
// email:  hui.li@informatik.uni-heidelberg.de
// date:   2013-12-12
// FORMAT: one line is one disjunction of the pattern

一
二
三
四
五
六
七
八
九
十一
十二
十
