{"shas":[["f5f4a75cecc789b435d4ab393eb458002f7cd841","b274abc493535ae88cb3a0742f63e38c9241d67c@gmail.com","Merge pull request #433 from mattpap/other_order\n\nFixed Expr.as_ordered_terms() for non-lex term orderings (#2498)","Christopher Smith"]],"ref":"refs/heads/master","size":1,"head":"f5f4a75cecc789b435d4ab393eb458002f7cd841","push_id":34282653}