Update SearchPattern.out for numeral notations
Update SearchPattern.out for numeral notations

There is more churn than there should be because SearchPattern uses a
non-local sorting algorithm; the comparison function considers many
constants equal in priority and leaves it up to the heap structure to
break ties, which seems wrong.  This has been reported as
[bug #5573](https://coq.inria.fr/bugs/show_bug.cgi?id=5573).

ejgallego/coq,coq/coq,maximedenes/coq,SkySkimmer/coq,ejgallego/coq,maximedenes/coq,JasonGross/coq,letouzey/coq-wip,JasonGross/coq,gares/coq,gares/coq,JasonGross/coq,ppedrot/coq,gares/coq,Zimmi48/coq,letouzey/coq-wip,ppedrot/coq,ejgallego/coq,ejgallego/coq,maximedenes/coq,ppedrot/coq,silene/coq,ppedrot/coq,maximedenes/coq,Matafou/coq,JasonGross/coq,maximedenes/coq,silene/coq,Zimmi48/coq,coq/coq,letouzey/coq-wip,letouzey/coq-wip,SkySkimmer/coq,Zimmi48/coq,coq/coq,ppedrot/coq,gares/coq,Matafou/coq,SkySkimmer/coq,Matafou/coq,coq/coq,letouzey/coq-wip,Zimmi48/coq,gares/coq,SkySkimmer/coq,silene/coq