GRB20000712 21:39:17.028 157.5000000 0.0000000 187.5000000 2.0833333 217.5000000 3.1250000 247.5000000 0.5208333 277.5000000 1.0416667 307.5000000 0.5208333 337.5000000 1.0416667 367.5000000 0.0000000 397.5000000 0.5208333 427.5000000 0.0000000 457.5000000 1.5625000 487.5000000 0.5208333 517.5000000 1.0416667 547.5000000 0.5208333 577.5000000 0.0000000 607.5000000 1.5625000 637.5000000 0.0000000 667.5000000 0.2604167 727.5000000 0.2604167 787.5000000 1.5625000 847.5000000 0.2604167 907.5000000 0.0000000 967.5000000 0.5208333 1027.5000000 0.5208333 1087.5000000 0.4957957 1150.5300000 0.2473876 1213.6900000 0.1648902 1308.4500000 0.1649077 1403.2000000 0.0000000 1497.9500000 0.3298153 1592.7000000 0.3298153 1687.4500000 0.0000000 1782.2100000 0.0000000 1876.9600000 0.0000000 1971.7100000 0.2473484 2098.0500000 0.3710520 2224.3800000 0.1236742 2350.7200000 0.0000000 2477.0500000 0.0824495 2666.5600000 0.0000000 2856.0600000 0.0000000 3045.5700000 0.1649077 3235.0700000 0.0000000 3424.5700000 0.1648989 3614.0800000 0.0618396 3866.7500000 0.0618396 4119.4200000 0.0000000 4372.0900000 0.0000000 4624.7700000 0.1236791 4877.4400000 0.0989425 5193.2800000 0.1484138 5509.1200000 0.0000000 5824.9600000 0.0000000 6140.8000000 0.0000000 6456.6400000 0.0494713 6772.4800000 0.0000000 7088.3200000 0.0000000 7404.1600000 0.0000000 7720.0000000 0.0000000 8035.8400000 0.0000000 8414.8500000 0.0000000 8793.8500000 0.0000000 9172.8600000 0.0412258