working towards getting automated reduction to work (again)
working towards getting automated reduction to work (again)

jacekburys/csmith,Panos90/csmith,natgla/csmith,DmitryOlshansky/dsmith,Panos90/csmith,Panos90/csmith,DmitryOlshansky/dsmith,jacekburys/csmith,DmitryOlshansky/dsmith,jacekburys/csmith,natgla/csmith,Panos90/csmith,natgla/csmith,jacekburys/csmith,natgla/csmith,DmitryOlshansky/dsmith,jacekburys/csmith