Added (a,a,1) family; Prof. Etingof just proved that for a =/= 0, -1/2, -1 that P2..P5 generates the ring of invariants, and these computations corroborate that.