int predTime[NPREDMAX] = { 0,578,1087,1516,1895,2218,2491,2721,2915,3080,3222,3341,3449,3545,3628,3705,3775,3838,3897,3951,4001,4047,4091,4132,4171,4207,4242,4275,4305,4335,4363,4390,4417,4442,4466,4490,4513,4535,4556,4576,4596,4615,4634,4652,4670,4687,4704,4720,4736,4751,4766,4781,4795,4809,4823,4836,4849,4862,4875,4887,4899,4911,4923,4934,4945,4956,4967,4978,4989,4999,5009,5019,5029,5039,5048,5057,5066,5075,5084,5093,5102,5110,5118,5126,5134,5142,5150,5158,5166,5173,5181,5189,5196,5203,5210,5217,5224,5231,5238,5245,5252,5259,5265,5272,5278,5284,5290,5296,5302,5308,5314,5320,5326,5332,5338,5344,5350,5356,5362,5368,5374,5379,5385,5391,5396,5401,5406,5411,5416,5421,5426,5431,5436,5441,5446,5451,5456,5461,5466,5471,5476,5481,5486,5491,5496,5501,5505,5510,5515,5519,5523,5527,5531,5535,5539,5543,5547,5551,5555,5559,5563,5567,5571,5575,5579,5583,5587,5591,5595,5599,5603,5607,5611,5615,5619,5623,5627,5631,5635,5639,5643,5647,5651,5655,5659,5663,5666,5669,5673,5676,5679,5682,5685,5688,5691,5694,5697,5700,5703,5706,5709,5712,5715,5718,5721,5724,5727,5730,5732,5735,5737,5739,5741,5743,5745,5747,5749,5751,5753,5755,5757,5759,5761,5763,5765,5766,5767,5768,5769,5770,5771,5772,5773,5774,5775,5776,5777,5778,5779,5780,5781,5782,5783,5784,5785,5786,5787,5788,5789,5790,5791,5792,5793,5794,5795,5796,5797,5798,5799,5800,5801,5802,5803,5804,5805,5806,5807,5808,5809,5810,5811,5812,5813,5814,5815,5816,5817,5818,5819,5820,5821,5822,5823,5824,5825,5826,5827,5828,5829,5830,5831,5832,5833,5834,5835,5836,5837,5838,5839,5840,5841,5842,5843,5844,5845,5846,5847,5848,5849,5850,5851,5852,5853,5854,5855,5856,5857,5858,5859,5860,5861,5862,5863,5864,5865,5866,5867,5868,5869,5870,5871,5872,5873,5874,5875,5876,5877,5878,5879,5880,5881,5882,5883,5884,5885,5886,5887,5888,5889,5890,5891,5892,5893,5894,5895,5896,5897,5898,5899,5900,5901,5902,5903,5904,5905,5906,5907,5908,5909,5910,5911,5912,5913,5914,5915,5916,5917,5918,5919,5920,5921,5922,5923,5924,5925,5926,5927,5928,5929,5930,5931,5932,5933,5934,5935,5936,5937,5938,5939,5940,5941,5942,5943,5944,5945,5946,5947,5948,5949,5950,5951,5952,5953,5954,5955,5956,5957,5958,5959,5960,5961,5962,5963,5964,5965,5966,5967,5968,5969,5970,5971,5972,5973,5974,5975,5976,5977,5978,5979,5980,5981,5982,5983,5984,5985,5986,5987,5988,5989,5990,5991,5992,5993,5994,5995,5996,5997,5998,5999,6000,6001,6002,6003,6004,6005,6007,6009,6011,6013,6015,6017,6019,6021,6023,6025,6027,6029,6032,6035,6038,6041,6044,6047,6050,6053,6056,6059,6063,6067,6071,6075,6079,6083,6087,6091,6095,6099,6103,6107,6111,6115,6119,6124,6129,6134,6139,6144,6149,6154,6159,6164,6169,6174,6179,6184,6189,6194,6199,6204,6209,6214,6219,6224,6229,6234,6240,6246,6252,6258,6264,6270,6276,6282,6288,6294,6300,6306,6312,6318,6324,6331,6337,6343,6349,6355,6361,6367,6373,6379,6385,6392,6399,6406,6413,6420,6427,6434,6441,6448,6455,6463,6471,6479,6487,6495,6503,6511,6520,6528,6537,6546,6556,6566,6576,6586,6597,6608,6620,6633,6646,6661,6679,6701,6800,6813,6823,6832,6839,6846,6852,6858,6863,6868,6873,6877,6881,6885,6889,6893,6897,6900,6903,6906,6909,6912,6915,6918,6921,6924,6927,6930,6932,6934,6936,6938,6940,6942,6944,6946,6948,6950,6952,6954,6956,6958,6960,6962,6964,6966,6968,6970,6972,6974,6976,6978,6980,6982,6984,6986,6988,6990,6992,6994,6996,6998,7000,7002,7004,7006,7008,7011,7014,7017,7020,7023,7026,7029,7032,7035,7038,7041,7044,7047,7050,7053,7056,7060,7064,7068,7072,7076,7080,7084,7088,7092,7097,7102,7107,7112,7117,7123,7129,7135,7141,7147,7154,7161,7168,7176,7184,7193,7202,7211,7221,7232,7243,7256,7269,7283,7298,7315,7333,7352,7373,7396,7421,7447,7476,7507,7541,7577,7615,7657,7702,7750,7802,7858,7919,7985,8054,8132,8217,8311,8415,8531,