(t 16 1000 1000 (17857 13845) (17856 5345) (17856 5345) 1216 16877 t (440 . 31667) -1)