{"author":"chenyu","author_email":"chenyu@fastmail.com","author_time":1701208339,"commit_time":1701208339,"committer":"GitHub","committer_email":"noreply@github.com","hash":"847f0a02b1e6b0e69f8fdd42361faa3c79d55380","message":"non-simplifiable mod should result in ModNode (#2490)\n\n* non-simplifiable mod should result in ModNode\r\n\r\n* space","parents":["3f137b134af51814fbcdd7a055b6d79757f66414"],"tree_hash":"6cfb838b0add9d19885dc24bf2e2b9f41354056f"}