fd5f22647160523923cae3a1c343e1a6749547cde00e64d524be088f9667de4c  mccarthy1.smt2