deflatSOCO

1,856^th 1,596^th 997^th 421^st 1,219^th 1,097^th 3,895^th 2,235^th 739^th 848^th 288^th