(t 3 42288 132 (15946 15590) (15945 22576) (15945 22576) 512 16877 t (82 . 51200) -1)