Re: [math-fun] another quantum factoring of 15