History

Time	Change
2017-05-22 14:00:41+00:00	Associated with lexicographic ordering declaration
2017-05-22 14:00:41+00:00	Associated with LEXORD
2017-05-22 14:00:54+00:00	Associated with 辞書的順序宣言