numRing 0 0
bossLib.RW_TAC bossLib.arith_ss [ semi_ringTheory.is_semi_ring_def , semi_ringTheory.semi_ring_accessors , arithmeticTheory.RIGHT_ADD_DISTRIB , arithmeticTheory.MULT_ASSOC ]

53770330980713 129916455720081 155412585748122 245187720652578 264214093175962 288661503866530 412818828973481 415405694185968 450922284134953 474709775802895 511174093821233 585128167865309 667743571973704 672462142824294 673889896675938 684076374485523 698339900079275 766406610704415 772093664419589 778417488521154
