( 42 , 013 .)