crelle 2013-07-22 23:38:52 31389 537.90 3019 39 2937 1841 41 1.60 4d 22h 14m 0.41 0.26 0.01 0.1029 3 8 7 311