Job 1605

CakeML:e7a5c005596708fcf02ba333f849a5ae1eefdf8a
  Merge pull request #839 from CakeML/lpr_transform [Oct 03 11:04:50]
HOL:43aa237e8455efb9393a75bcbf2c720d7e5d39dc
  Restore flat sum/pair sizes in TotalDefn.guessR [Oct 23 01:17:26]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Oct 25 14:03:58 Claimed job
Oct 25 14:03:59 Reusing HOL