{"author":"chenyu","author_email":"chenyu@fastmail.com","author_time":1710966873,"commit_time":1710966873,"committer":"GitHub","committer_email":"noreply@github.com","hash":"519336cfeaa502b811af05cee77a3df8cc795f3d","message":"factor out partial in SumNode div int (#3841)\n\n* factor out partial in SumNode div int\r\n\r\n* div not rem\r\n\r\n* space","parents":["8cb5215885e4796ada789a184e274bd7a9ba00c0"],"tree_hash":"abf2873fefa2aa7d572732bff4ccc7f736e9c927"}