Back
Close

Horse-hyperracing Hyperduals

Statement

 Goal

The Casablanca hyperduals are a great success. Such a huge hit that hamburger-heaving horse hoards were heard heading for the harbor, hampering heavy hearses from herding horny hens hither, and also helping hinder the hyper-hullabaloo hovering around the hippodrome. And registering to compete, obviously.

In addition to the regular horses whose velocity and elegance are directly provided in input, a waitlist of new applicants is provided in compressed form. You are provided with the seed to a linear congruential generator, whose even terms (starting at 0) represent the new horses' velocity, and whose odd terms represent their elegance. The LCG works as follows:

X(0) = X, the seed provided in input
X(n+1) = 1103515245 * X(n) + 12345 [mod 2^31]

As before, given a horse pair with strengths (V1,E1) and (V2,E2), the race is assumed to be as interesting as abs(V2-V1)+abs(E2-E1) is small.

Write a program which, using a given number of strengths, identifies the two closest strengths and shows their difference with an integer.

(This is a harder version of community puzzle “Horse-racing Hyperduals”. You may want to solve that problem first.)

Example

You are given a classical horse of strength (0,0), and two congruential horses seeded by 42424242. The congruential sequence is thus:
X(0) = 42424242
X(1) = 1443152643
X(2) = 717496960
X(3) = 654696633

So we are comparing horses of strengths (0,0), (42424242,1443152643) and (717496960,654696633). Interestingness of a race between the first and second horse is 1485576885; the first and third 1372193593; the second and third 1463528728. Therefore the most interesting race is between first and third, and you should output 1372193593.
Input
Line 1: the number N of classical horses, the number M of congruential horses, the seed X of the generator, space-separated
N following lines: the velocity Vi and elegance Ei of each classical horse, space-separated
Output
Line 1: the difference D between the two closest strengths
Constraints
2 ≤ N+M ≤ 100000
0 ≤ N, M
0 ≤ Vi,Ei < 2^31
D ≥ 0
All values are integral.
Example
Input
1 2 42424242
0 0
Output
1372193593

Tags

Difficulty
Medium

Test cases
Check your LCG Test
Input
1 2 42424242 0 0
Output
1372193593

Check your LCG Validator
Input
1 2 42424242 1 1
Output
1372193591

2D horses Test
Input
20 0 0 4618437 6674593 3514840 7691515 2672663 1665342 5631166 6201289 9945095 3677291 1512462 4361 2505387 5874765 1291399 7215528 1660077 787560 9931494 5381878 7915213 4933424 4831249 1702132 8635501 764174 4280909 6682870 5130005 1332040 2404884 8112820 6220969 1077590 1304552 5025490 8009975 8931210 3783886 8177379
Output
345805

2D horses Validator
Input
20 0 0 5136902 5889136 6662504 3955184 9940871 60269 1141096 6549328 3826639 4653106 4613134 526735 5635442 2936884 3466218 3597242 6063585 8226398 6407352 5327448 2008386 9034262 3563661 9237497 2618429 4398378 7256049 7748799 903187 406187 3203820 7488901 6083588 6942071 6000009 5248736 4522721 6474859 5364835 1744529
Output
486055

A fistful of horses Test
Input
100 0 0 476232 6099056 1252195 8195024 5179797 3726665 2529858 9172796 7961959 2561085 9263926 3845617 2456202 6000415 9192480 3336489 8385706 3436795 7633011 3341236 9600683 7771955 4180801 4369825 7882543 5920460 7642730 151115 1369927 8322244 2964558 6707262 7788173 1490791 8991412 7392994 5321429 413931 8568890 6052054 3473046 1616509 7091766 49737 3913880 9460643 3515415 2384655 6699786 7028201 9970257 1358714 710257 3086432 5400992 2792219 2362365 222315 2561008 2817585 3011758 8441447 729903 4583383 670590 8216624 2721940 4369326 4237122 7149588 179753 7677875 110994 2742519 6396540 3760912 9410680 8086228 8608224 4098416 4845345 8038040 9002862 1814263 6233776 6318808 4797363 1542758 2600525 2196497 6352079 3404672 2388101 2490411 9183978 7476586 5558651 6629134 1182081 2311080 6955727 686161 2639207 9963413 7273848 9616226 737340 1784216 139513 4394573 5737251 1535489 3222188 4149579 6734466 1672743 828881 9560738 5892729 2810128 1233882 7310373 1523550 7254201 5979735 925498 9248067 3268740 761882 8279829 3288654 4536675 9263699 2854534 5256788 7641273 6708636 4746187 8726430 1728770 8990622 8683541 4535498 7676634 4362813 2949997 3800137 6819590 6919651 3240441 4746861 730059 6890407 4900751 1886958 6767077 247994 1652869 5027767 8561296 5779668 7401376 3919775 4662213 8802825 3808880 6791371 2012836 7656948 1433158 6970220 7418201 8260610 7911150 7608637 9825366 7970563 7182155 6128062 8027917 8079463 8449669 5314462 2747934 3182400 9529169 9502662 3239530 9753972 3615219 1485409 7313285 8312047 1178908 7705447 9619362 6988250 4685659 7000551 7174156
Output
97225

A fistful of horses Validator
Input
100 0 0 3505649 4201481 9842833 7449744 4733969 7906150 2719319 4415308 6510174 9833673 1701851 2832285 1284198 7070733 373156 3898365 4772188 8063044 5304313 1083041 1630554 2533242 4608594 2615013 4084355 7823980 9418241 3070539 7365052 2687796 7042220 1568925 7139189 7550150 9644672 6870404 6767231 3062548 4951491 6528663 1738170 2755071 91994 6856981 6279549 7363968 7590816 7911081 2524170 7178978 4650319 6967710 6085464 8911303 6145307 485828 7095632 7167805 5660388 7583921 2118376 9827232 1937975 3365132 7566046 6303653 4304706 2590849 7815948 7860536 6070618 9268402 2899851 7472092 144312 5611326 8983148 1038808 3805582 889134 5685940 2530177 6882786 2151717 4238679 8484056 8685044 1341954 9402538 5530085 7659790 7455359 1693310 1671270 4636413 5130507 8682322 4056761 5959673 8227828 9744908 4169829 9126899 5852366 5604198 4654033 7566337 80082 6173847 9479844 6807238 6944933 9618238 2542099 4903789 1529610 5083783 5960345 1024055 2176764 7352871 2870377 7572488 9706365 5656570 5043460 82256 3301609 1258483 603169 1924828 2529445 176503 3938498 6203305 3317850 2809178 8801641 8118768 7052060 1327824 6852124 7752222 5113920 6814502 544109 5246836 3916511 380786 9385577 9495553 6930675 8285539 8017679 3858459 3417532 8555427 9217151 1404537 8034576 2254850 3417733 476727 9541492 3588461 2437902 3832150 270921 9967320 207857 556452 4530572 2327622 8980855 5769645 3754301 1939011 21253 4738550 8015222 8039010 2468690 3327673 7853758 9523781 25711 8226499 1564777 8036911 9502224 7589026 1843124 1832400 7927771 4643809 1625321 3231861 921690 4544467 3112321
Output
81460

For a few horse more Test
Input
250 0 0 1570777 4940542 7881461 4566154 7307933 2691607 3365532 490795 7357598 8371440 2686548 9125173 8256894 7792118 1764848 4845191 5448180 9342401 7545617 9339453 583987 6669297 2792967 9282205 379997 4503571 6150700 8575994 8371159 6150796 3727791 170195 2252483 9174300 3548329 5250694 2143736 8586973 6873327 4452957 4623653 861208 5001375 5357466 5033324 3832674 8063270 7970621 5930016 6342555 4450912 9170115 3043389 1619194 8802250 3601665 5288264 1984720 372629 1560630 1745698 1682435 6660531 9690186 3742247 4310177 3355467 2496707 2722138 1523068 7102399 7748014 6286375 8002282 2825880 6712933 3115263 1996749 55421 7259113 8326613 1510805 9999351 9294225 762224 9067223 6217234 4564119 2632876 6213056 361426 6966768 5560591 6002388 1348437 2265739 9291640 3689037 1763829 3260785 4950893 4053202 1614662 5371153 1685212 7085053 3566814 9391180 7699533 1227526 9417808 475416 6104182 6768703 8167228 1696174 5527042 8155817 7095894 4690286 1242102 7519226 8722353 780763 6550521 7242795 5372951 1735759 6526594 4350667 5912892 7130879 7995366 6309037 4504809 3637012 5008604 6731359 2184095 2895858 8180275 748647 8693585 7807319 7361629 6441706 4062270 9780931 9390826 8863977 8533155 947925 8435317 2603320 1864602 8548055 3930730 3485600 1999824 3158725 6762901 8516019 1403428 6492620 5376247 9245530 1816870 7929003 439543 8855239 4131791 5445126 5858005 8943915 5898580 6265371 9868702 2510955 585318 4341137 8055860 4334235 8018874 6114452 9016228 5890158 6946189 7209401 7516218 6349278 7851547 1450701 2017005 3858503 6088097 9547208 6887589 7299920 3093600 8925208 1246465 662749 2556908 3483673 8718962 2901049 1510126 3809164 6299449 1154103 5599824 4875784 7576921 5113684 7428622 1116104 711417 3423628 5576640 3538691 5411256 7739630 5462577 2249892 4712127 7564362 6869841 1180853 6335141 5464796 4058656 2300830 7819433 1690843 4755999 296304 8284782 3619521 2838701 8200174 4660992 5575211 4609151 1260430 9384773 309060 647273 3343682 1054186 4300106 9277512 4182311 6269217 4764637 5717398 7774 5079687 9182090 4508103 6685787 95009 5775213 5431611 6907216 9651651 885312 2889576 8723092 3532482 1882428 782380 5581172 8917612 123703 3941701 768994 8629979 655908 9825424 5944841 713719 4640928 1700704 2300071 1122711 7813382 5171376 8306779 1256047 7260923 1432850 3332828 1492621 8209877 2875761 6427422 6266279 8717793 3954343 2976083 6884756 9792457 3964114 3782190 4810141 702391 9443844 5447107 847026 8501785 5268604 3092954 8269561 9103920 2604607 5807701 9784040 6799026 3254434 7404546 7074567 4778392 7566416 4795522 6002007 1006392 3078757 9508368 2088566 9341829 4013231 4557581 7270577 2971881 5251798 5353054 5870679 6464553 5680661 4837024 1938760 9703544 3959320 6232536 1431400 4934001 8588039 2220906 6815957 565857 4357543 4004737 2552963 8356936 9153144 3425831 2265390 5390573 966045 3369532 263296 7788004 1683261 7279972 5256125 8426651 5661173 5322477 4632608 7800081 644502 9054108 6481135 2438674 1711894 6301223 9704177 3552846 5582009 5100982 2072749 4460391 9802014 8254408 2075995 6269575 5596859 5381398 3933094 9719809 3047113 5888224 417537 7198136 5881203 6387129 5246015 3074518 641526 8683720 4035935 5610687 971358 7214860 9348273 7930704 3960124 6928325 3498485 4687601 8099293 7101998 811624 1066544 4691615 2967949 5273452 234654 9306137 3604363 7323758 8040506 1894562 1161405 5368720 1098524 2827057 6777378 9754847 7937245 3744215 2606802 4027932 6874172 2665040 6216529 5657837 8088662 177757 3609933 4686307 8038675 241816 4619535 8374409 9104861 4647498 77586 5593453 5999642 3547397 3651749 9904868 8059576 6755983 3544089 1778011 5712275 7305350 5328010 749055 2996857 2673990 8377296 8359097 1497760 2329174 4868273 4036720 5060611 6931774 3860594 3602044 7486589 3465852 9040998 4439569 5495809 7425927 9310442 1571068 7713993 3305802 7377406 4593596 3530002 5298642 5164288 9749010 7310674 3184228 2321380 3059090 7715978 2723144 8061657 6574428 5460497 3907011 8373888
Output
35608

For a few horse more Validator
Input
250 0 0 8212858 7101868 8581921 3564910 9879452 8949871 2659251 1657940 8229499 5339712 5387760 7543239 3610610 1670212 7647797 4270294 9898291 1426369 707202 4994715 8614824 7833083 231688 1478823 9244668 5332527 3647854 8529122 1476402 6281740 6491852 1251846 6427804 6271806 8458444 4796838 6568253 4260572 2532877 3117005 3559103 7703205 5187530 2877331 886651 4631246 3533475 6091539 3543993 3399840 7442249 4340413 488698 979044 3934602 3933672 805485 4249806 5041598 4423904 860634 7975400 3381030 8179258 4953028 2808516 5891945 890525 4531537 6872434 1596613 7953270 2727780 2787881 4508171 9558467 9295739 6327546 5500419 4383579 1885485 3646197 4262052 3244201 9518635 6890890 3560392 6594862 3070737 6233660 6660179 3912786 1174378 3435819 5633126 5723382 2191467 4051887 3736936 6200023 8500300 3572161 1352804 3168757 6320096 6101906 8993738 4152463 6451686 1654443 6509312 9386747 727845 1523514 8223961 2025429 8501926 7381953 4794959 9927448 3301309 3270011 4033663 4285838 3756811 5184788 1801258 6136207 5295424 7915729 6901447 9585744 838146 5599817 9211573 8959939 4144606 1359889 1216453 8404182 8540629 2662730 9762489 5639418 4883847 5668775 6891756 4299026 4877296 1977133 7736163 718524 1624193 589224 5871050 4267206 6802666 2568898 5497860 4764300 9482055 4370013 8129805 4580780 2639012 1893753 3907379 6467064 379421 2443645 3617690 4647992 8030072 7438356 3309960 6377727 3212104 9249641 4997334 2942598 4107773 239861 2251786 3439842 25715 8021389 1005157 5851363 3481434 5346275 3067099 8686811 5044172 5712178 1793224 2408793 5645191 1749612 7048405 4000052 2663093 5402004 5706759 5319795 8448249 9646191 7038235 7661853 3850534 6505289 1610199 1415094 6383875 6013126 1970331 2586977 7790074 3890669 2095318 2740907 9626880 437365 6140115 7580030 7056363 627487 688201 2853453 9985674 1893377 5798741 6740942 130802 5489690 517517 1570605 1233787 3737852 7041972 7228858 4645124 5576304 2814772 5427036 1647107 8574565 1904601 995064 8383187 6448715 1087891 385934 5996869 6839801 4073070 1808518 2776414 7038460 842735 7979453 2734809 2968503 1693387 4922912 5395871 4245270 5322784 5981707 9655698 823587 2378427 3072097 3774023 2623633 4895509 9962302 7933778 5705619 4708123 9131095 2781856 7847134 1434585 2624967 103501 3707311 1268010 2742795 1742057 8743355 9330348 3705071 2291266 437094 586070 5485860 5476575 1608152 1606563 4381359 4803663 208230 9204730 6747190 5566930 2236612 3029833 6651482 8039113 3674744 564357 362777 4248243 5649026 2068591 9927448 2613573 6592707 4376539 303586 3563017 843725 91924 4226315 3577319 4895156 8729872 2208538 6668283 8074655 9294096 1763073 8648652 1591206 7297955 6404548 6519812 9130043 488880 6496797 9501703 9134694 5708737 7203963 9549656 6879585 8138532 4237790 3319330 6854924 4386305 2732638 8408379 8961035 2765366 4292608 9058431 6801896 9990665 9317263 8360893 1893136 239702 7305449 9173834 2930609 3958023 4548470 6504919 6130340 3346057 2948566 2908241 7933854 4583516 3536625 1623648 9615758 3500223 5421001 1679550 9230128 8590301 3590093 5189268 7242328 9523052 4334054 583169 623106 9193370 3571177 801592 6298186 5972461 3493570 2575818 8971344 293402 5522802 176124 3450738 5693408 333254 3518594 5841650 625421 7809408 8688436 7114964 9966247 4309861 6930933 2566880 7438974 978426 2436840 154970 4917112 3440254 7043415 3388589 6601016 9824082 1802927 1783877 4699677 4341971 7536195 5437316 4889628 7723153 3569567 4255564 365798 2633071 1211166 6188012 686131 2212739 4798613 9482887 8313329 7353663 2769798 8725378 1275153 3992951 6875584 3070456 3732521 5190691 2854895 2663655 8526624 5062823 7396182 8416091 2568178 7719158 6563393 3887704 9860632 5535675 899612 1513565 172909 7617136 3748594 9416901 8085554 2830501 6846203 7880319 6047551 7868521 1604103 4640734 1951786 1398875 4691936 6637264 1847995 1336675 2258027 8934688 9077890 5922251 1430074 3183883 4183419 6773694 9404853 2237278 4282885 6002415 6550127 1140308 4639047 1324202
Output
21952

All your horse are belong to us Test
Input
400 0 0 9166353 5567161 3889550 3577427 2744337 5321118 3465268 9865823 6563434 9312297 9099668 3394597 4657842 3708515 6435966 6585673 3948635 9533020 3181967 2035911 8457860 946638 6867997 5751590 6867579 2533252 6543418 186944 3528917 7860179 3419725 5842985 4352654 9589834 549980 2971814 1670602 4209621 4301988 1788729 1663379 8439336 4982193 9201053 5604213 6141772 1875427 7506806 1550078 3331175 90794 9792234 6582087 9030475 5885487 3265064 4899310 3312858 1046876 4807015 3427789 3073513 9950864 8327250 1824596 5766686 9114275 5667406 6321689 1521528 4485641 7873863 8533572 2383313 6967584 1545705 8695250 1736984 9362302 2025311 3632735 7736012 5237416 6666696 9708712 7416014 1312265 3945199 9923585 6410557 3585192 8317322 7960665 6253245 4312531 3464474 4198986 3249129 2392998 3728214 4314337 1089446 6021500 2442580 8066196 2682669 499698 7673084 8024258 4154131 9703954 8169611 7403050 7354625 322735 1626111 5708271 3399989 9024663 1513884 6696405 3280045 4175737 9624143 7133711 7123313 2592029 7232234 7216993 8637496 4625237 5599613 5272894 8074336 6197618 4885692 4752424 5957288 7325564 1881762 631865 1083654 3324398 141165 3450163 2948021 6929090 8807868 1467728 8865699 8685968 7890054 7214881 5494460 5389814 942837 2183654 9107459 5310970 577680 9059640 7463283 7261374 6274656 1927037 2210447 3001385 7412781 1827984 5869256 8436357 934819 4215070 3126150 4870323 2714195 784057 6682887 3181929 3487033 6273357 2609970 9104395 4552292 9710456 6101665 9297546 9634089 3696979 2915953 5097699 8055549 7358606 4460451 2753675 311964 2029801 464319 6668913 1278102 364044 5122676 1266194 3571866 1906596 3336138 199919 5361964 2069015 8672424 919311 3395018 8513915 4584193 2223872 4878009 4087443 3518597 1170570 6641705 9299441 3296394 9242538 8692718 8902347 7625789 1354694 2705171 6095921 4107837 2367221 6483033 7303404 2502547 6148738 9122631 9124566 2429884 754524 1109620 4052394 9806237 8369214 389802 704151 7049403 747636 2459177 8806880 2964680 4942551 6531995 5915897 3948560 2135826 4079333 7037517 1068335 5923483 2603927 5960487 5205351 9009241 9955086 7442000 9952711 7031611 222106 7492478 4657285 313075 5113607 8188707 5869299 3334645 7477729 7828615 7645438 4394642 394624 4215685 434295 5427501 4134692 1600441 5603331 2588792 8686500 1765712 1647876 9739620 4886475 9157911 7514866 9201627 7203494 4355728 4692846 1448622 4627264 829510 9337821 9129379 7967628 6459022 7949968 1886586 6186848 4005775 9374154 9788781 6558896 7321138 4208316 2295916 2785446 1936859 2265664 1037216 7410529 7535527 4402488 2325043 4583780 4121207 6803283 5325390 2451346 5272572 1374546 4749817 1135325 8211124 3060565 452190 8735180 7385673 4137070 7564725 9291839 2472462 2496700 8980914 9847677 3010663 8904711 808724 9169886 6009392 621644 1627929 5343753 3729913 1765156 8273710 9155230 1201583 5575712 6749335 2244296 4890048 9276443 3589323 4603600 9099980 7548263 4428111 2708649 7242278 7506044 6086024 3890484 3888616 3344864 1603725 2399776 6716931 7068196 4309047 9769228 6943808 7609585 4188102 4771900 2848863 1569448 4089053 3615886 4508347 7218841 3176311 7535821 3137961 9538398 3671019 5070886 5547180 8185465 4387288 8894968 1459074 5394146 561081 9831709 7962342 5046468 5659372 2795676 3528273 3298968 3471766 3907462 2018798 1155198 1077363 4398034 1387400 8844256 8029258 3515313 9569123 4558370 9122278 9249058 1886474 7434761 6752018 5980425 6463805 8210727 511935 2227828 1223571 4964727 2218317 8495183 3395288 5164841 1939962 5232640 8744406 5920484 7310919 8400095 7347677 9070827 3922721 5793052 8408880 6397594 7960354 767952 1810380 7830511 4528183 2315189 5599488 4686681 1903951 6504436 8962778 3572875 5887666 5506473 276500 60558 1635969 6922487 1148331 5252341 7080833 9676385 4877464 1186308 944886 8804449 2130391 1118734 5236301 2072747 6813606 9189466 2217111 7335079 858277 7067543 6504655 3188400 933338 6813493 6032079 2970192 1771031 3451328 9937631 6061030 6903096 4346230 5481897 2299836 6027576 7317949 246650 7989315 98356 5026027 5119410 2271537 7475855 9238467 9915895 3801438 2302760 7493786 8471758 1758299 5659817 3897434 7209501 5837394 280798 523153 8652202 4387677 5711990 1440485 4239477 2144428 6119672 5739607 3761200 1792374 1590663 2208918 8450318 1035325 3128429 7330220 2488409 6999489 4794579 938263 1628321 7122154 5037642 3849375 5610503 3544629 5424310 7757531 2858024 1213466 4260401 6141747 5925395 7078789 6258368 2398174 5725117 4050860 7055526 7132350 2571657 2730021 3373396 4906495 5504694 1761154 9576434 3774494 5652622 3288546 8761633 850544 9075606 9113384 8994222 8800005 3617876 403122 1385160 1522296 8866150 5195154 8151067 82055 8950546 3408124 3155277 9958168 2263304 4960816 530142 8399496 7366965 8144892 5436674 1735691 9607133 9254308 4720820 182584 1956049 1197612 9849900 5451452 7143958 5372394 4013006 423516 6468880 3333072 4381951 1545126 6126367 9431 7272050 2351182 1314707 9615304 2113644 9706754 5625033 6512680 1825721 4698108 1727793 2660268 5233744 4489127 4556821 8777547 7737337 4428516 40214 9802379 1433658 5944457 7935579 4825098 5544218 2649993 3028950 4563763 3262855 7114217 3416480 4129482 6308196 4097249 901269 7748878 3573948 3023374 6831740 4100881 3655005 6054977 6640663 3731144 1797758 6464934 9604947 2779933 2371942 877820 3156241 3054996 6462472 4308022 6683269 6762499 7088285 7369002 961733 3345796 9107351 4322500 941175 5649023 7580507 195149 955931 6701787 3540261 6585328 8886321 6900621 4324431 3243396 5284621 3236324 2249650 5418718 2937662 7884438 9059029 2367829 4234731 7245324 8705389 7507343 7547855 5103688 331643 5325895 8644675 4593970 269247 9351640 6394 4133197 3262025 1871363 5410500 7348385 1484609 2536525 1886964 7619147 6092590 4948990 8325736 4422087 1626321 8429592 3791872 2852116 3484961 4727017 7713468 5063731 3565456 4870132 4298424 4885409 7977856 807169 92420 5381728 3240036 6170093 3826527 5946031 6539027 4367837 3464487 6783025 321641 4320320 5523794 6973603 8723998 1224612 4719407 9197418 1029134 3680259 8203829 2522841 6596929 8833414 3122925 1265467 3464546 3626480 875373 5978180 4274035 5114899 7888029 4287166 4332533 3645226 4464415 8054444 6717528 4644928 8424533 6660208 3453616 3176396 3958323 7895432 3238176 8234303 3020486 780791 9092733 4151174 3390539 2732601 1057106 5212077 5429588 4936590 2798497 7612773 6836275 9028986
Output
33322

All your horse are belong to us Validator
Input
400 0 0 487252 3841300 5069774 8634894 3592353 6111670 8860992 6552960 9295935 9189624 2352626 7977330 5751033 7614780 7879286 6180596 2430627 9440483 3984905 8965602 1653760 2775228 9691924 2874047 8573778 9100852 13702 3410085 1608755 14064 4593241 9410134 6620675 2042706 6432892 2479132 807557 6978660 347526 9270508 1779187 9161722 5373095 3993820 4941054 2915110 3270730 5978178 7692811 2102259 7391675 6395450 2418181 3930825 5449832 4755142 5445477 2714481 3657267 8829465 5515495 8513307 2715671 6965287 511654 5262939 2356544 3908594 3772113 3180943 6549457 6332129 2982874 8571998 6746605 2149665 2993384 8463845 3230149 4758838 4731854 8271984 1934607 4822673 2337946 3547572 5219377 4728396 9568013 5100939 3686939 5007330 136674 3859829 3032455 4724632 8893210 3820401 5353444 5021473 6328343 9639993 658578 3890237 5884142 8719634 8337912 2067324 5695665 5103581 3970180 2225799 5807914 5911246 7454255 2935762 1446677 7198569 9500913 3034255 8719849 9662163 4978488 2915386 3110297 147687 473664 5028048 3497718 9857419 6239825 3672320 6201184 6980635 8024467 2541693 8934123 360255 5189942 9798301 3657862 2082374 8195112 3630330 8438840 3510543 547603 3968786 669426 9418481 9456751 7485206 9795555 4294533 1836615 6209424 5179926 9545740 1278686 4559991 372416 8822481 9918220 3638370 6095896 4775990 1571036 5077139 1203505 5666691 8464771 3233603 21307 5933442 9706906 4171454 438327 5341055 1229749 1668493 5205549 6030504 2269130 4828388 7799036 2744154 4939843 3065554 8313881 5884375 668639 2987502 6890195 9741539 9168041 7637425 5616102 4206462 3345922 2706882 1473420 228786 2642413 1615772 5238061 18919 394026 3122239 5149368 7995473 103403 1612972 1231892 8387393 5131002 3084768 1282066 8501207 5043206 4618018 3394752 1406307 5401620 3824763 1455717 9278374 1443992 8197294 9002123 5132804 7202667 4763354 6271627 92283 1977430 4152466 3920581 9737689 4603084 2682640 1873031 3217897 1036186 2881885 926290 4526551 2869627 9864872 9228145 6233356 8438769 4998552 2479235 1681434 6210740 2524226 906851 4584019 3682274 1376811 3689632 2583233 7615725 6880124 1854024 8836764 1213340 2731606 8761705 8397265 5893288 6558904 6492541 2022792 4345759 5078250 811376 2239184 4202981 1661080 4381650 5758225 9173940 7977317 628258 3685749 5125001 6794299 611404 9935250 114611 8338397 4688630 7654623 9628276 2647478 5131467 9692650 5554856 3738094 6524944 8749744 1173720 3269537 7292676 5103007 5492749 5701801 8418709 9053517 1628980 9116496 8022323 3554929 3027614 5205397 2307444 2044330 2672958 4143599 2259179 2162136 8090094 9772198 9782717 7827739 4932853 3744561 8541901 7697278 4897917 3972082 1105093 5191819 7223411 9177845 974480 4526861 4281493 2873895 2273201 4132063 9947512 3270356 1185047 6814680 8244120 1058846 7357868 8438379 9969214 1651763 4349341 9864655 6904825 8171779 548684 1696560 9084785 3548079 3867803 6890019 7317550 5668810 8659155 1628851 4594231 6251016 3865284 1724283 9568602 8413996 197880 7082978 8415279 7780027 7324958 5030436 8024975 9084315 1537134 9176324 683712 2966824 373092 1418366 4639386 2961384 4196429 3111641 4848442 9217566 9998939 7546481 6813535 5620002 9807562 3007 3896604 9545786 3324037 6762025 4479322 6267707 938937 8685453 1533465 2119544 1427844 4125635 9778462 5046220 6630773 5928996 7893857 7529151 9691667 6769155 8004111 3474754 1229158 9737550 6676311 7257213 9640433 8451752 313878 3396833 3905734 4485462 9468018 9420654 4341956 3907926 7131724 1286378 4111106 8529182 3468200 754725 565884 8121978 6127013 1575497 5133931 4628854 819429 7021943 6109631 8017028 192178 4785515 3923929 1024364 1320861 7554258 9966147 9212727 8936115 3674450 385928 6332657 5424355 3474666 6338486 8484254 1868690 3358269 3463350 4567890 1103845 3294842 898674 3346268 2672411 9419901 4503394 7533280 6440327 4048300 9143500 3788978 1740506 1389116 632486 593231 9579245 893940 2217377 7609480 8506400 7658057 2169414 4406629 9094043 3212756 5152569 10086 5997731 1891277 8464860 9586927 729091 620855 6119586 176337 7518794 295871 5979908 3451936 997117 8034846 2985666 2400916 9398471 3736347 902416 8035988 4170790 4951017 5246858 6985711 4336434 8610565 6148952 6359395 6835002 437657 5229234 6632784 7038595 5647223 9211361 9584913 3355862 1990213 2347421 7326006 7553481 6341971 2980824 1138179 6374392 3361913 8163641 8808652 8004431 2618401 6418618 5128845 8747327 3757840 8008083 8678247 5258191 6481805 5741593 5481399 7234417 8368366 7001488 5848497 5478708 2927708 9651743 9069461 3671043 8118209 4463397 3669124 6485607 1173868 4063045 844548 6366948 4720296 894604 347949 370063 6403515 2765079 1460133 3036303 5648999 5989933 4485610 1916455 6639300 511782 8214031 6691316 2485178 4467526 6511758 8036415 7111525 4134992 8266949 7621009 5235902 8893423 2602668 9642573 7540898 5456290 9042301 7828770 4694566 5135275 6263644 172519 6125159 7006972 4472117 9116731 4682525 6596625 4175648 4319180 7700602 7864786 7326196 2381966 6101281 7963258 7134119 6432035 2543637 2277440 7246366 3628971 5124611 7835708 3948905 524300 6584180 8166676 1305023 1704831 8572941 2327086 6027809 2854383 3421797 6093053 8916859 3827938 537653 8472964 3032225 3645651 3467192 1810415 5754955 7608077 5660911 7130139 5471865 6666738 5775718 7150326 1957209 2445141 6126949 9933672 8396609 4115310 3696295 4650600 8356300 8945708 1383728 3836676 1447006 9531450 6328212 1078386 726157 2311134 1889159 9774914 4440975 3312469 3959940 3797081 6110220 4527819 764071 9078317 4402780 3809217 7158250 1787669 7181455 629695 134444 2394167 9481354 1954603 5982533 58945 281439 6304998 2158324 1091693 7558577 8908313 7918380 2167369 295545 7683784 8258239 385476 2514121 4297338 556127 616144 843522 9269654 3917816 6745094 9091982 7290191 7784195 9014456 1399579 2668560 551706 9551022 8104855 3963361 6323693 3051597 3903274 7019563 420777 8411909 7316013 2201767 2799925 9577076 182344 1846801 5339972 3075891 9754352 9720669 228038 4376591 8080833 4428977 5014094 2448694 446815 1704708 6784214 9595137 8570657 6722013 6237163 2873883 4593386 2030457 9040452 1182264 8322011 1372573 9903911 3535649 5063378 6072020 6460124 5220911 2217791 2424551 8807335 8612134 4757766 3684998 3883104 9550014 8119450 3947578 5534151 1637353 9860814 8122267 3973463 3702439 1826505 9006083 6420355 7422388 3295248 355773 2159299 5853619 3619152 2139374 4492013
Output
15603

Many horses Test
Input
600 0 0 126072 607519 426485 810155 301463 471822 103306 492315 256702 276231 802343 940543 578188 1426 720881 180853 812528 645688 874256 193238 97178 234019 465636 355467 910739 309637 91072 980589 515888 447479 343123 636232 800652 129871 884501 212747 489382 603550 330014 392903 645555 736469 734983 136530 153811 69453 279141 537947 406891 134672 947568 341534 770158 128522 938310 51677 916609 384970 917242 877909 761071 16453 544458 285924 244051 58334 316476 142043 472230 470766 311183 945175 890483 185134 947348 429624 994594 813253 140352 527959 177377 714130 966367 829917 294974 398734 57470 926238 433841 77019 812281 440792 719809 858101 195658 826878 234065 314396 445363 720948 660607 939640 634546 536834 987443 360542 441341 163907 799418 909858 38081 862425 641993 507366 73888 377820 888856 413489 829209 713151 126022 771877 766697 85743 463522 412098 589537 171790 423425 876940 199462 523002 228372 321676 478616 875027 854790 821655 911686 201365 124397 751848 730065 682680 219515 565580 464010 34237 233176 312777 700809 778629 943354 180079 88889 372680 749183 800606 524837 542821 271344 930461 290709 589015 222419 698213 154339 761280 847836 144152 40019 462934 153782 335317 458801 999839 733306 393038 47421 774430 811738 240440 96550 257345 21966 472135 99641 188547 831241 186936 73474 335382 744606 892203 593723 728853 754479 186312 260033 714083 667935 120420 214773 879705 177896 214254 650442 107419 934658 601159 168573 631793 581092 768279 816784 286358 227780 667962 502386 591106 230571 450635 836064 204604 288167 818194 825655 608383 774949 646074 949608 939142 166105 463428 176833 254278 278101 21320 351953 466627 545668 191499 873408 864877 472890 11555 800289 836682 844889 780223 929258 812865 960463 678964 185721 874444 565308 688184 26803 121573 928765 329343 814063 147273 541180 514535 90980 532283 718799 55039 906561 564299 321652 967655 227870 659571 228262 935916 749919 642515 908470 211580 162928 925177 709623 974796 152 169451 467300 69500 342022 547754 993294 969830 876271 719968 432487 455180 543116 984046 546458 433396 367476 243495 633080 576059 187204 866434 64231 355703 121518 728127 682241 905844 534217 662486 482232 80912 382015 769201 892618 659798 602899 994025 398262 814634 199039 722600 407061 522496 963263 796417 895675 313831 149909 6758 67048 675692 516021 273187 672156 123694 976132 32404 780433 753032 995486 906734 195016 320708 867577 185365 795668 208723 210724 622827 327717 97176 606456 265301 341394 728819 974354 574757 502266 679656 421350 792018 548283 736695 259163 912364 48206 12227 195484 631045 434300 748340 369816 331920 731352 355298 623636 461460 5063 318480 820235 164672 904016 451538 18513 711487 197704 585107 166797 255073 923394 192859 730147 721159 479669 967892 263334 904110 655869 785746 560749 56412 403165 405010 275967 708824 952409 257039 132736 95233 311421 623306 324145 216020 953845 768198 899015 234035 694746 328267 798823 926320 964716 613333 372352 321240 402323 873215 249520 334145 420484 964742 194593 215049 29987 921112 229110 369874 165320 399450 866662 683715 324689 847849 638452 822320 856278 991188 316760 219133 373147 152389 922614 62847 814575 284493 996860 718379 675180 937039 936191 666883 55814 781111 866509 402844 941469 600221 417354 334183 548381 663544 448206 790927 601010 244458 788528 846201 972858 356644 120021 17764 555280 943877 436215 667013 385216 185319 948817 304280 674126 938421 713276 193698 222647 824913 661417 917854 892688 26022 654042 592730 33282 460559 801232 538241 539117 909373 795988 620829 159707 572776 724286 544866 699660 20499 561227 821942 361032 48784 851319 375426 10657 394244 366929 16360 19422 882532 511567 770784 256268 490794 5835 53706 144377 71105 789003 417402 546252 477821 866350 388409 861687 441227 13289 226133 649879 374339 246276 154454 453846 46708 925391 244928 270066 631274 355074 65613 304895 466252 91701 993125 656073 177821 596578 648016 294974 800710 840802 826202 973626 698029 377459 23851 288560 419854 853334 792487 278067 918645 996272 708139 365218 541002 548239 327028 769165 987111 133725 654923 352832 535237 577513 42942 245435 597700 86939 94927 40660 451771 66833 826807 321402 384129 168713 543588 173212 626907 720873 422191 22889 238601 627437 726586 955794 401329 549796 694254 833536 640059 34092 69372 338733 907908 767377 808332 129919 778554 329841 827889 789667 611922 361399 626751 213217 247975 631048 899553 611887 786615 943397 730630 822067 345991 448132 846780 121670 389170 747536 607241 94316 567894 190473 689715 158589 865737 67369 708514 434608 710159 701665 580495 470248 258794 994362 282574 640227 109873 97722 558308 486457 616181 53577 107740 939438 937779 365445 202642 877806 108289 219581 517200 304515 135544 18917 151583 79670 448445 839562 392602 515929 541973 609241 132610 655111 181192 190885 126128 974688 988207 35877 365338 968729 154183 756719 903106 186546 658584 417577 938740 148454 21613 816084 41048 174852 811669 746676 39860 723342 940606 613603 536019 818008 35063 672618 716651 642861 716673 199460 413529 253068 567971 538871 194491 606777 530376 11466 958694 38757 867074 231998 634135 764631 34512 408886 409191 729145 514152 492433 618199 879916 49647 661574 234568 873551 767959 83610 584020 996486 305529 348209 696769 228695 548222 619404 882582 493311 676907 723812 989263 145911 406256 909393 136407 168612 144490 379472 885964 679207 84494 397318 93700 655532 275277 436133 496165 949264 596385 640139 231702 38870 361186 589471 417989 693922 368422 803420 949145 16066 480933 554371 310418 737503 877682 833378 305822 325465 657278 845193 662729 319296 391118 306699 916750 451070 970296 371936 330221 835799 866929 956335 789013 805342 956995 32668 226400 571836 813692 524791 601352 690240 878645 338952 414329 422398 919548 906014 169658 341607 469336 123768 723631 440078 561574 502757 616009 273094 592828 550340 934690 282232 884591 348441 64502 953243 829438 965461 517866 277499 998978 820784 524079 572944 390699 622395 893094 883076 988712 709083 986691 290399 916760 936088 184000 762137 843657 987839 668565 876827 649959 727386 480761 575075 134253 896486 753019 128545 197741 863168 697142 848709 232115 828301 955136 759698 599054 805699 209769 964401 146614 91159 721831 744767 690597 847269 601426 389000 595424 818600 905230 241152 832771 225068 995220 761815 756057 181739 302926 289482 899891 886483 662767 346304 255804 580913 545641 462952 65214 406425 817058 656938 349099 680459 430926 516860 318564 446019 759473 779708 904127 990918 951004 875660 842790 185880 840453 18988 774670 199955 943477 487225 345053 367470 14613 23989 368490 606667 505569 172637 189880 932393 123637 474784 740149 823463 55707 104731 713174 762262 424060 740911 334036 375591 200692 459709 409841 690642 292118 664783 582483 950387 372345 603578 782409 783831 484095 767700 924148 826675 534436 398753 514003 868639 808165 727941 449518 449334 128898 346059 286270 423054 572500 938490 303192 204826 829679 313527 1306 239608 714472 316175 176695 200589 603310 545718 386384 721464 87029 304496 710975 254486 37159 495978 961249 277672 980923 189211 394285 360104 889485 778895 129961 46781 595181 428724 589040 609492 339850 201346 722788 96864 833339 690593 650310 927004 474104 397951 658296 325298 499154 680982 708993 996240 125058 70322 521863 513008 693130 655637 584296 446651 308131 209439 763970 375635 969922 708974 462989 707168 140684 966560 910183 997994 606758 552118 437041 931317 314407 30513 644398 738414 154304 511266 726551 51597 902019 467801 877950 545976 293906 904459 431523 330448 522758 986856 949383 646369 908971 787903 953868 740965 665495 498920 913160 721033 193272 302210 810125 132610 274002 665396 470334 29436 565246 494445 415736 415461 535814 845146 470151 405814 134888 543608 563328 931102 184279 485113 68805 699341 478666 775231 740289 769134 522823 533760 570042 20706 517871 714970 135029 35285 811093 899200 692004 108221 367155 701622 166690 980465 614581 322544 505732 233049 122510 256738 639633 459669 212488 291858 572932 325829 691752 491021 171920 405453 182994 783253 874099 425941 935604 316928 376084 872766 840763 683029 962823 129813 583774 132455 380839 740258 288450 718412 408076 446149 617938 942778 673993 337755 462108 604317 993509 353641 72350
Output
1293

Many horses Validator
Input
600 0 0 626822 952684 190017 233414 609013 714285 6927 918429 539674 949982 469596 699749 834141 448953 898915 256668 438121 181035 909985 765141 869952 422542 752122 345017 593452 356644 632561 780642 669357 562943 962162 77950 766015 611411 969593 700092 875747 254855 397230 9288 33939 113364 451981 403346 103344 920785 975024 379609 224191 280206 7015 686776 877830 891045 853430 375754 31803 568773 145570 865408 470039 299390 696555 668871 933635 539644 571538 642988 954216 991844 334130 129939 429774 915436 955812 149416 827124 468528 144999 505518 978705 649164 583003 819401 435504 691792 664357 751519 231600 598173 201106 91863 276720 188630 239600 669051 816654 259458 682673 746532 961076 251380 41105 463980 976065 163846 40611 62313 254163 197926 371903 860578 816347 949301 932550 881473 153758 591079 14236 439716 796861 837771 34791 94290 398123 36550 301104 943338 351982 225321 570168 20789 151241 679932 707408 389457 219095 361895 833719 659298 865382 805272 17960 975772 127576 644901 775903 796009 482520 1355 548596 914953 993214 879939 575144 525375 203525 206522 471801 541035 658015 972316 659822 818092 27660 568796 29727 253794 517108 904599 824388 391581 144835 465367 305164 126863 82433 528316 925117 287293 49147 213925 264957 295304 647221 652022 138062 239839 934681 978070 990600 559707 735714 143271 915125 134829 533119 119997 367124 996382 949388 278675 583669 595525 57652 785914 14157 747019 153889 374051 1009 12744 328747 823050 911912 576225 690233 805774 797098 138215 474770 221946 106 231630 439217 894800 517092 698393 824068 153594 9249 118821 119880 766434 410063 354004 734999 328281 921400 312093 160723 221749 700892 729938 146522 841453 751483 462127 846770 860694 929503 170787 574385 891629 790431 732912 215983 182239 344891 339274 126499 756395 57845 502829 355350 153567 400970 767923 866081 194707 474606 198569 329930 788093 117074 998785 512161 7239 184763 295608 967444 601279 438064 1680 34540 831199 531267 215249 116464 423503 757243 148325 173833 372068 421526 575794 798053 940852 449908 137878 297171 181886 206484 14158 878658 507599 606169 918867 286238 782216 740844 584338 506398 228176 148720 833113 346720 399650 992271 560366 573314 41830 174601 919171 726853 832678 423843 323989 892956 559755 669517 555995 337672 970 386732 901051 615684 702336 709155 401930 178669 541619 929009 625600 643295 763240 883951 889798 289953 411586 751696 357082 450118 387454 962124 375774 675658 831605 524625 653446 769478 91949 740347 407908 273205 63980 412335 311823 62413 380529 622240 479531 579178 455247 454225 728490 549819 208501 711952 63511 984924 894335 393336 601064 859671 538165 113415 685172 223660 337889 654606 598475 17768 992730 685423 284897 585736 336618 436131 758009 593413 164090 718497 145838 719806 560006 295909 533770 300720 959038 871602 217803 905105 161463 191727 617205 251766 478786 235058 755347 653604 451971 663332 877857 359510 318338 570593 806192 380728 757485 733667 31318 96475 845036 620278 235596 669447 523847 149970 931383 929390 969753 873188 652878 344933 702702 785646 704685 270534 159551 331914 818270 175614 202844 380346 298672 713263 957201 630656 851414 521329 723710 308327 397514 652218 70827 322419 837241 660420 601129 734141 75613 127958 176063 274937 230619 845010 390272 339877 4673 881297 933396 893224 798096 357289 786608 789662 507807 154327 365057 321275 703193 969587 142979 234752 262950 733206 658609 866219 741171 247066 279370 456587 997918 91935 668485 635310 659781 74330 501627 695276 90693 266965 872143 779471 964514 635809 746429 817507 591095 269149 304013 796668 599931 834701 551982 240529 813758 422615 38347 64198 423177 796380 117417 947799 317400 9373 121135 141084 441329 669553 58584 7096 781636 993964 461610 410039 371251 412085 593912 233363 20130 404248 85484 313078 198720 628297 801245 26175 127697 152417 324895 775647 63030 810672 275016 955761 548950 694564 974134 411221 973938 531289 982884 371617 677441 947682 175607 751642 579741 226938 371877 164271 446733 309686 817060 58030 448422 226742 806391 823390 258657 461104 518939 232946 98218 582263 233789 104408 509032 866273 869912 976508 319652 77433 568135 941032 917424 537461 428853 607541 167941 519308 658533 722429 845064 677056 153255 905368 372900 40485 865797 691596 793816 270939 336867 918675 812847 680207 209618 15358 319136 570490 843431 934983 129693 953518 768180 26636 661266 671120 408788 707544 524307 466491 513071 246066 501407 72010 50194 596066 264413 890429 44651 52761 383456 184738 169545 493496 461693 769052 756439 292929 506886 247730 766303 283144 230427 700105 801864 690284 792659 998992 286303 98774 426925 406416 862656 653601 351597 761317 24174 844831 787157 91335 125430 964500 743437 302189 669983 274827 429415 259619 61433 872436 704791 944852 544818 422941 369494 877206 574199 324131 345599 927515 305367 337239 907804 341945 830825 411077 166116 934448 414151 872481 490970 242263 624773 631455 630324 55693 469929 766287 924917 291831 431632 231767 446673 171407 571885 344537 622082 145728 413955 718662 153353 902337 251563 980167 902315 27206 507294 612882 82830 819699 148128 864103 235188 224033 376759 654963 289171 565746 525351 737926 710875 549554 471928 966248 561733 900536 932863 984867 957369 805968 627637 118989 220061 460963 799533 879122 183793 135963 659172 675750 987396 194840 513449 852999 22665 903726 182602 521000 873963 15841 590837 357242 368414 407481 454487 226778 666286 214371 865318 261965 465111 293112 369879 769446 315013 554927 239322 773918 83299 12008 883576 146039 241317 792297 431001 530403 743940 46212 26746 826407 340709 546917 322894 870969 596944 910050 379572 521256 253142 93994 972670 285082 742400 129793 330243 446446 289567 641497 81640 687294 494529 501591 701658 120300 257661 98862 733317 480992 331564 932717 359362 743400 313203 171319 512160 337655 49149 82375 227769 379280 878653 853914 691757 240578 940557 835659 736424 479641 616737 44912 42018 620381 663882 367878 94035 779115 424425 49946 946591 344166 824586 186401 945257 222355 421425 206309 944515 911016 201139 73236 903624 380134 947407 721068 514297 453597 972205 293985 173857 761342 653426 87153 903880 48951 265688 787446 977629 534224 875566 118345 76597 401116 843192 305000 779187 432887 612611 727096 391102 174072 757751 630073 370679 44055 594586 58375 462265 125529 378479 75310 721741 244237 125319 488236 760507 720443 262594 428796 123902 288933 609681 297551 898519 87675 973502 400465 567581 943194 934974 539400 227257 24069 93008 406028 477922 86778 165977 732802 317169 247242 356408 218110 905453 427379 334441 536045 135933 251769 51093 612918 18517 311800 456349 479592 250670 932944 562518 645655 276664 137689 294082 171549 180341 608174 225740 599015 977639 537365 795637 127964 103232 188107 446438 966495 965383 330465 589352 525696 484719 27909 392229 55863 162387 223607 390125 727397 832146 423699 423242 928053 246989 372925 681895 386108 706477 809959 830351 422818 234671 219313 581217 301268 324490 460799 380123 964943 942169 456383 358017 968429 570649 901280 627441 693366 314137 597605 692190 941702 4358 294591 949930 210512 374376 371778 378452 711032 496196 786661 782753 910222 127083 94950 856945 785574 455782 161872 587968 410067 78338 242056 643324 70026 224329 191886 679570 87490 173975 673049 459661 422476 96489 744115 143518 99041 857258 355932 626219 490360 608994 57224 741449 548175 638235 973102 64255 535391 187660 588134 867425 659410 36356 497556 81256 978779 979695 488260 339026 915308 8965 682012 962556 824890 714847 76360 47204 117608 10432 416632 277092 954440 736786 641130 263772 244985 640253 80045 720090 517608 925194 528781 711053 797264 433079 333501 261726 302959 89418 749167 335108 39602 719710 289475 348409 9804 556130 268552 92174 189986 645218 623729 912059 809668 96269 747996 957291 129540 368922 993750 982838 446757 40688 733333 794826 657536 190614 76737 772062 397854 419230 206110 692475 661618 848437 646708 194556 288804 224596 964365 853495 828625 516017 372993 933512 847788 450199 517965 166352 682567 89973 441383 315945 164797 380309 55329 126604 803636 203590 674302 463151 922300 721140 566606 872781 55824 28489 557917 408059 563747 553135 393018 716162 530557 333288 471724 130220
Output
1076

More horse Test
Input
0 1000 1484134830
Output
4748656

More horse Validator
Input
0 1000 903351224
Output
1618176

Horse OVER 9000! Test
Input
0 10000 100336003
Output
225840

Horse OVER 9000! Validator
Input
0 10000 794823050
Output
118100

Horse overflow Test
Input
0 100000 1182491523
Output
75280

Horse overflow Validator
Input
0 100000 809939359
Output
75280

Can't Leave Racers Sitting horizontally Test
Input
26 1000 1083743418 1073741824 1072884882 1075455708 1074598765 1072027940 1072884882 1073741824 1071170998 1073741824 1088309838 1073741824 1059173810 1073741824 1062601578 1073741824 1069457114 1073741824 1064315462 1073741824 1060887694 1073741824 1066029346 1073741824 1081454302 1073741824 1076312650 1073741824 1078026534 1073741824 1084882070 1072027940 1074598765 1073741824 1067743230 1075455708 1072884882 1073741824 1055746042 1073741824 1079740418 1073741824 1057459926 1073741824 1091737606 1073741824 1083168186 1073741824 1090023722 1073741824 1086595954 1073741824 1074598765
Output
1713883

Can't Leave Racers Sitting horizontally Validator
Input
26 1000 1083743418 1073741824 1064320962 1075454708 1072885382 1073741824 1076311150 1073741824 1055756542 1073741824 1071172498 1073741824 1074598265 1073741824 1067746730 1072028940 1072885382 1072028940 1074598265 1073741824 1079736918 1073741824 1069459614 1073741824 1062608078 1073741824 1083162686 1073741824 1072885382 1073741824 1090014222 1073741824 1084875570 1073741824 1078024034 1073741824 1086588454 1073741824 1057469426 1073741824 1081449802 1073741824 1066033846 1075454708 1074598265 1073741824 1088301338 1073741824 1091727106 1073741824 1060895194 1073741824 1059182310
Output
1712883

Can't Leave Racers Sitting vertically either Test
Input
26 1000 1083743418 1057459926 1073741824 1055746042 1073741824 1059173810 1073741824 1072884882 1073741824 1064315462 1073741824 1072884882 1072027940 1086595954 1073741824 1091737606 1073741824 1072884882 1075455708 1078026534 1073741824 1069457114 1073741824 1079740418 1073741824 1074598765 1072027940 1088309838 1073741824 1060887694 1073741824 1076312650 1073741824 1067743230 1073741824 1074598765 1075455708 1084882070 1073741824 1074598765 1073741824 1066029346 1073741824 1071170998 1073741824 1081454302 1073741824 1083168186 1073741824 1090023722 1073741824 1062601578 1073741824
Output
1713883

Can't Leave Racers Sitting vertically either Validator
Input
26 1000 1083743418 1078024034 1073741824 1072885382 1072028940 1084875570 1073741824 1060895194 1073741824 1079736918 1073741824 1067746730 1073741824 1069459614 1073741824 1066033846 1073741824 1081449802 1073741824 1088301338 1073741824 1083162686 1073741824 1064320962 1073741824 1062608078 1073741824 1091727106 1073741824 1055756542 1073741824 1072885382 1075454708 1090014222 1073741824 1074598265 1072028940 1059182310 1073741824 1076311150 1073741824 1057469426 1073741824 1072885382 1073741824 1086588454 1073741824 1074598265 1073741824 1071172498 1073741824 1074598265 1075454708
Output
1712883

Peak Zexion Test
Input
595 99405 191463235 106072 30520784 156916 25463123 111693 19362569 128645 14447684 143849 1840108 149217 7476650 101353 34220572 110476 38852904 141079 8359577 154583 2001214 131096 45824443 105758 25224122 116124 13879227 131601 5305031 154245 30358649 135227 45987470 153481 13391605 157314 15634771 155568 21371872 110757 44215635 149708 12282379 111398 46070737 161771 27455077 150637 45181062 132349 30123133 133981 2903109 143104 24991437 131759 3775178 129138 35111199 147333 41243443 160023 29313613 114182 41002955 111773 27532456 120898 9971787 147747 45345581 113115 44299230 157407 3609514 163110 28266627 113036 19524201 152569 26891699 159891 28987643 100736 17099080 158651 28501675 106421 31482226 118786 37740021 139118 20318321 123261 16849505 112305 6272349 165439 11647747 124272 30282655 122312 15158231 133324 18160174 128455 33495853 101570 4907969 136214 24746369 99992 41559505 101783 8043596 139629 17590200 112097 29723491 167033 33826790 144159 33579338 151139 24823634 129692 8122707 165207 7883152 149480 7804031 133950 29799202 133968 47623075 134278 19121425 163418 12359436 119301 31245011 156785 20241805 122795 38621829 152177 12517579 137497 36534931 123733 44612582 106946 24505190 153553 14200139 152958 31565863 121501 23383585 124792 39093710 122109 15400114 147587 7154949 109303 37095141 139859 22246004 137036 38137315 161436 12748215 115722 39724953 113645 27617655 116586 44456338 116049 5630423 122111 26503465 132673 9155870 133823 42520364 125227 482237 113741 20481914 137660 30038595 144744 38296318 146055 8444406 105410 26734776 164912 8921596 134111 18964929 125919 27212845 114134 31168553 152651 41877670 143012 47297094 114890 27292739 132259 36143860 147072 21294720 118799 18638393 123592 47545249 148563 8284090 129188 34466607 134756 41323021 123868 24428894 122410 18558865 157913 25381405 148917 26113051 159308 35908788 143143 42767538 165157 22168015 149434 44935351 155910 12202216 155079 14525927 114300 27052570 134108 1678885 116857 16930284 117031 31406610 115859 4089817 116585 35026013 127539 11249353 128335 35832225 155431 28820066 113494 9728514 103139 37897227 121747 25544483 105824 3690470 157106 24585513 101457 18802536 109113 2651798 152337 40115124 136776 404256 120204 11173356 157257 23062518 130685 5469322 162496 40038627 166153 39252241 113247 30844583 116805 36454464 148075 20727095 105820 34623713 102802 41961292 119165 6355199 128289 17758219 120059 25874268 164467 34546085 149312 3531266 155818 21129412 142752 15871175 118412 31885431 119122 26583067 144880 46728514 102076 18880724 132684 16445854 157242 41166230 119650 39015477 144263 43487189 109362 46392356 143165 4420308 163212 28662378 157394 19604880 152232 793219 111398 47379933 133703 9568831 134276 39954845 158715 3929905 149756 40756555 107772 42848791 153205 35986900 153168 242653 117887 22412920 161704 13309978 116484 25142352 160280 45265231 111708 29555151 159359 3222509 163853 38456729 145072 23617261 144439 15234852 154871 10850438 154503 37576710 138016 35587571 130212 4009593 103480 8522118 157014 8603861 161267 2567720 152581 44771159 163115 18397420 133236 7963254 155280 47127909 121097 3299344 144658 1034149 155940 32521015 143727 35192879 113620 17014256 108826 36691695 110462 10053138 107437 15076599 151637 16363834 148553 46154850 116353 42205509 103149 43402150 108778 27376159 140776 44693605 128912 14115467 129213 15480106 146399 20891906 128410 39412453 103742 37257451 131257 34303422 109770 23140258 159845 82532 116529 11803363 147265 34868770 131418 11568207 138358 43244535 102901 3454237 139665 6110216 127161 23862376 139921 30435569 153391 43731499 155355 26658757 150728 24661998 162461 46885744 122497 7560112 156023 45421030 133555 21615368 157884 29475158 139726 18242485 129681 20808975 108790 45748852 139080 22977440 146971 35671575 100059 41713202 124607 41478027 141280 32204767 101556 17506987 141485 33988852 142910 12596177 114789 40196471 136002 32360570 108117 6597611 155217 10530158 106260 1276507 136478 13226306 163878 7638127 155064 45904535 117790 5222370 141781 20157165 165580 6521726 137683 6673868 108745 5063497 159970 16280015 165313 47212249 127527 159141 133534 42363440 117823 23940018 137879 40676720 116144 16195498 126980 31086643 165923 21053596 129492 42926735 164251 21934320 109224 32282225 163419 23465197 157847 47044968 144965 38773897 131973 22815788 100972 4174196 146154 39800497 145799 34142933 155679 37338934 105993 39648001 138943 949492 159582 1925023 101056 4829858 142657 22658637 122795 2979034 108768 3377122 152305 26192998 141235 13630587 116799 18320997 156909 6439638 135576 35268211 166323 17263461 108354 42604944 150262 43893262 138705 4581426 101470 17837723 111267 8686644 103699 36297089 112179 22739336 135526 26420293 134251 46968232 147137 19043485 123469 43812825 143257 18720228 129668 15951169 100011 6918202 154567 5387495 141439 27135338 127667 20074805 140066 26037166 122150 8843159 141860 33091128 115572 17920465 111503 12672612 152610 38374406 147504 33908832 144628 15713142 157813 19278602 158188 21212898 156141 28342557 120918 26344944 153738 21697591 115903 1596159 155383 21539059 133161 18080441 111966 35755162 132985 27701600 120000 558097 150483 13549929 141291 12832930 159149 13070347 133313 43168366 112757 716834 108506 4342246 153556 11403030 131454 44537196 125438 40430841 100631 36937501 116483 9319809 103748 46807622 126549 24101093 112090 32927065 118698 32437243 139916 17999812 125148 4499276 133756 42685079 165556 41636133 103904 36064064 137480 14605073 158111 22087062 162775 4986522 102181 36774915 134612 20972205 132893 10692521 162577 17347955 109693 28902465 166715 37818210 130566 24259749 126317 24343912 125654 16522568 106854 16689777 121785 34064946 160058 9404466 119010 23218816 101968 42044648 122411 32680107 127470 45666307 164639 28420085 134148 4258829 106765 45016895 110653 43083730 138424 31726529 156200 14036444 119471 10768116 121658 42127753 161647 3142547 148108 6751936 158744 11486047 138385 27782407 157026 29148014 144160 15318321 167269 2077723 130824 20401137 113283 32841937 126343 31326151 158376 33418094 126813 21856807 153590 39333783 164810 5545855 135811 24183339 131528 28026581 144682 21779106 161460 44132514 122708 3059463 166561 7231948 132459 14763027 161916 46561004 150432 2239824 132550 7392510 104396 37178889 121562 9077049 109651 9650251 104192 22495224 139993 1763423 118615 34949539 136262 44378099 119143 10367111 136185 2323385 165413 30202177 120665 39877587 134420 34785437 151287 21455606 121531 20563007 120074 12913230 104765 37017517 114520 39569812 102480 19994582 133812 10933625 105563 1194623 134337 1519016 158806 38220045 120467 23303130 165229 42441863 130413 29392131 110112 37416858 154951 35424814 133999 19443410 142368 40918277 165824 33175200 130381 2819333 120099 1112252 151053 28577716 132804 40275202 144071 6834539 131201 9811454 137351 17184298 145616 26811074 148246 38541780 108641 40353654 150671 35502555 139154 24019257 164046 13150919 136398 20644838 124564 45503250 137259 33259076 120797 47464434 161355 29640275 115496 14923142 153661 41798371 153610 8997287 147634 16766818 148670 10615273 142970 11096863 106007 30927758 100978 16034695 152294 15556392 148138 25066773 101844 33341716 139483 17674873 117485 22327689 144934 25709704 106713 36614433 161260 42284445 138407 33660962 101368 3852315 167173 19839603 135804 7076944 146869 13468119 100173 14839140 167274 842346693 163498 5948900 107308 39173793 103549 2154846 147608 22011763 108908 25301177 159524 36855868 147971 28742609 156211 35345505 108090 11724751 132775 32596846 126119 13795806 139313 8765544 141415 14366893 148287 2734815 138843 31970356 102814 12040670 102924 14999031 101635 9238923 123396 4665166 143102 43974535 111167 47704836 138758 18478136 101182 32128352 102928 11326029 154556 43653898 111532 325574 144940 13960494 162712 4748692 110968 26972783 104179 38930242 102486 15790334 148096 7316881 118274 9489017 143715 40513722 115667 17426576 105767 28185873 148059 11963056 106779 10137025 131152 5145871 118118 10290404 102427 12992787 140509 26269513 115030 30683987 158825 19916862 157646 37494030 151143 1356367 124141 19682204 101493 36221539 114974 2406707 136955 33006966 160853 44850169 102350 46477310 158287 19761386 135527 10448948 117587 29068894 106797 28105237 145882 25793862 149879 45101551 147810 43568926 150607 12435076 114210 45582575 145845 14283550 150826 31804886 120096 23700451 120866 43002203 146669 31649947 153741 5715328 134916 36372623 133482 23777392 100004 41402579 103015 41081928 152493 1437863 134164 8201415 149125 44056880 116723 27948157 162240 32046966 130299 22576133 104617 37980945 102427 25955978 140605 46312569 124997 23540567 133878 13711946 136689 24906810 106968 31003872 129284 38698312 159472 30599705 133760 43321341 163057 5869538 121971 25626929 114644 34708892 162805 16607374 120770 11886637 160314 5794012 134703 38058874 128396 27865452 123379 29962097 122763 37661366 135459 9895451 137024 30766486 164282 6029297 107522 7722938 146476 34386648 112348 11015344 136920 6994261 122665 29232160 121017 6189129 156627 40839327 136337 39493621 131731 14684250 160044 40593389 124073 2490612 163166 12117035 162355 46232101 121642 16117732 162914 637598 158246 29877431 137025 19199688 150530 873562 147232 22894836 148633 32760097 119852 46646170 115307 10212312 153294 33742955
Output
75242

Peak Zexion Validator
Input
595 99405 64083460 575750 12494220 622356 41691089 579311 7062944 625905 25860293 611677 15853774 607248 19240689 588926 16174287 602181 21741408 582829 45916083 622268 33225249 635206 5608710 577342 25132430 616831 2901720 603075 34501817 633187 10828452 638121 2174666 599770 11386506 600431 45993387 631901 42308233 573213 13132736 599484 39441611 629819 39519172 610647 317236 620187 13529610 582897 43114574 581640 1932394 606574 24803937 632333 28037066 635587 15935582 637551 46159954 614740 24243406 616799 32420863 585111 34837190 573553 10905564 635801 35155538 623700 9637097 641619 4966052 581745 892947 628880 35400091 581736 16990133 569522 39197530 613834 4808233 621127 18440396 630324 10509765 620200 19156247 630472 26506711 629659 6903645 586532 20534800 613938 42078636 615365 13452169 576606 32902297 606033 37425678 609630 18916923 572441 28115313 621358 42156190 637923 32016617 633817 20854242 615315 43194035 641297 34669757 627462 23043878 581695 12104887 572072 24402880 601106 20934269 605904 22476867 592685 44467936 601486 24324264 587172 25543811 573564 11138710 570070 7627240 589362 33705294 610076 7392624 586224 30721909 639106 1852131 577360 17550784 636223 16259431 608968 8513417 586976 31365106 591118 14086970 577623 28606893 575823 17473616 634025 46076110 632996 3550041 612680 30479824 590088 12335701 612103 25459586 591228 3864395 624318 1448276 593070 1767594 568276 45757768 586022 42388037 599493 32257973 620368 47671516 604756 22065921 575131 9951091 568875 30638782 575376 4254281 614623 44792984 635290 36459098 586833 4651108 621610 46800822 610525 40801984 619078 3393890 597749 24644344 578132 401735 605170 38958396 634580 7710385 583279 46239671 622622 29340556 588892 13211411 638928 9078569 637801 39835247 604222 45188591 629406 36215730 605006 43431351 617265 27558618 612908 43821207 639543 9401782 601995 5934288 590777 47277896 595410 8106309 603178 2334499 606171 28931020 584817 43669546 593854 18036140 640660 40877389 623488 25208506 576752 36617619 629734 34919980 604992 19488596 638588 40484608 576919 26671836 627165 35564424 582761 33065841 610669 37102672 577987 1365520 580780 17958097 580144 968437 573192 10588840 637071 4026001 572352 22311330 573388 19654523 611397 3063196 639189 23853164 581813 9162031 626573 19733819 575777 37183545 573270 43903088 576527 14493058 572274 8429664 570427 27953734 591986 46480238 583181 18516437 608722 42954020 637680 37343473 601507 4330714 620969 6343779 620555 1528807 575591 15691213 605509 2015885 639809 1203279 582943 14816830 608452 6820081 614700 41364901 577880 13606486 611323 26752795 598684 28524109 608074 32580706 629584 12411686 610061 36050514 598840 47433451 616504 36941034 618690 17714530 579157 11947260 636006 22638842 621850 43745351 639926 29827430 594071 28440530 630600 40957073 591030 9246536 625987 44233644 589905 42795486 616338 25703886 568944 20218773 618136 27320149 606543 44387699 595935 10432553 575359 15449057 628900 46396617 577215 2819151 579597 33869818 586585 42710436 567374 25293456 577044 568917 580838 30075390 621348 43988145 628753 23932514 581990 40157112 621339 2576080 624580 6580026 607931 35727756 628461 21090318 611119 38147057 634421 11057216 594877 5123251 577694 47117803 578975 30885022 638480 37582114 588220 43508395 628659 33470004 620870 35234259 572230 42878381 629839 44155912 623041 47592263 616193 46640274 624008 46960017 613336 44310263 581732 15370342 614052 21821052 591016 26426147 584097 3228160 582717 8996469 628231 27873497 574222 5203947 632565 19323751 578624 38478851 612297 41530559 610061 5526610 576356 34586851 601675 1120657 593693 30324869 574559 18598978 604482 45352997 592675 12649666 607262 38718658 575991 9871846 631591 29750199 577960 5282336 579004 7224270 580882 3626413 571830 22558489 603182 2250719 567267 17630905 587223 43030808 623066 8751686 628236 35644929 592374 39918513 569926 6982677 593848 40078903 624580 31692809 606609 9481526 570227 17239970 592115 44071249 640928 32824110 611849 7868275 626460 36777912 582774 3702704 630234 14010355 641643 2122010135 607633 40723610 598157 32662579 568359 7141558 609292 18999418 584414 46559125 608745 29416477 640709 24486499 598615 8589706 602787 34752792 600367 41198686 581332 28854708 606281 4491619 632239 41767425 609257 40646706 581883 17318044 567992 31522892 630665 12729257 598067 31607896 588782 23694382 623913 6503406 617235 46315011 607698 5772758 567747 46717385 597823 42469945 596594 13371002 573247 27477239 626725 13687088 614137 35318897 589573 10746762 636618 44950542 629577 7547919 589524 10981462 573896 22881548 580255 27236286 590974 39037834 615659 21339358 587164 34101030 573032 84081 608672 38394146 585051 37501773 640161 11630647 639769 11223236 568881 32981250 613953 39359156 620377 4177552 605213 30404173 596190 484451 617912 27641260 604922 729583 629129 37742247 589881 37904958 621484 22799616 582222 17797043 629769 6422621 604801 18204511 600764 15056918 612436 38313165 608759 4410220 599474 36701501 624848 45030980 589194 16095550 639124 18840605 639581 19075819 612401 21905446 575638 25376203 570434 8029340 627850 23770131 588315 14652079 628826 6740881 580966 14248822 611722 33147953 639886 17073609 574606 29585391 620070 21988112 577471 14976051 596649 25051030 604476 20380624 635430 15609310 616183 26273184 578036 8912829 589259 20610981 624962 12259297 607092 9795682 622863 33629981 608286 26833066 616522 35881795 611073 22393473 586674 24726162 611212 18759901 638629 2657737 596151 11545519 602526 7948251 570432 20456710 609901 45112172 606026 42232190 632260 15532353 603188 22229940 571174 35078659 581958 8836140 604886 30964908 628820 16502466 575586 25620673 589245 32096770 579670 26591113 571754 1283851 626928 12183104 621439 21498772 572177 44551915 593078 24966400 580464 34261500 596346 1690003 629127 37664628 629611 30800531 640465 25941076 568526 12812668 571569 38879489 599952 29262272 628267 5367507 589389 38557275 597807 1609495 573678 18120455 597111 24564262 574994 10266843 586378 40321712 581406 16739561 573787 28197963 574740 24883722 569948 10670181 595617 8344666 627992 19901616 603237 17155179 609848 23615039 632924 15775959 618364 3145459 596211 16586604 580860 23209085 632786 45271264 598893 40238525 641041 38798296 616777 15294355 587779 37025945 595605 11866245 583943 29990599 617172 13932763 571554 39277168 608517 47748669 567166 20772452 633260 32337443 623697 3942043 595230 6260096 610932 30560136 634708 36534694 570696 15218957 611880 47036529 584553 26191454 638387 9716110 572290 4885569 596730 7307797 605125 24088852 628390 21580684 626049 16663163 618181 21421360 618582 30240362 623413 16018379 615604 26995724 613657 31041198 589692 41998528 598743 11305564 593450 3311034 622760 23374807 595294 3472558 572319 31124711 594467 28282951 608789 17397104 593690 31445483 609369 47354519 630079 39678361 597850 11785180 599190 33947433 635014 16422484 607295 25779432 638468 39117983 640229 42550378 597932 26913802 586101 12573034 600464 5447604 591139 37823677 606519 37265464 622117 16338999 609535 45836224 593976 4730902 613843 12025249 626289 27396010 583437 4569764 570724 22966334 577551 41036848 573218 5047875 617393 45434205 599266 8267326 598022 44714766 579398 19816760 618360 22715841 579049 42634218 568647 43270949 594852 41445776 568797 14893674 577723 10105909 593401 29014954 618540 6019201 628318 40562354 636499 12896632 588142 38229984 630571 23290719 625177 22146309 608411 33551765 577184 5690871 601255 13056521 584436 14164700 618411 33789450 609304 31285081 635777 21174918 632626 36376275 572073 16823091 628905 28772735 601351 19571473 613471 14332603 591230 40405172 635373 41116369 573048 18363801 616677 31200902 580496 39600400 635843 23535413 616543 35965665 592661 6100545 619834 29096977 618360 45512884 570804 14734660 588040 14412504 596156 39755214 579456 27080544 572822 20296749 570334 20693262 584171 44869140 613222 43347634 630599 18680112 636551 653646 625020 9323732 568589 11467758 620699 7472585 596838 13763080 636564 36134871 618259 18288381 640284 4101253 609525 2095716 634467 38067323 624536 8185951 601794 27796200 598673 20056456 579480 32501012 592721 21658894 581916 34336905 570124 47198073 632109 31855693 605470 41282698 636240 31776487 617097 810307 594231 239731 609142 29178395 619564 31932589 620008 9559636 629058 13294255 605227 24012996 628594 27718928 628007 23458186 619771 3782531 610366 46878474 599232 23126389 597877 32180870 593126 33386477 616493 41845457 631304 45597633 601700 36858048 580617 36292600 569601 29501612 598423 21257475 640278 17881868 606448 38637717 591358 29665133 567706 35479687 641373 20134922 601517 2413979 606322 6655882 573644 10188597 568615 164400 602492 35000254 586206 35803859 625265 26349944 568975 34177312 571911 6180744 567163 26107458 583243 45679580 577305 24164666 580517 33306236 571714 34024732 623681 47516462 624118 1044590 601934 2738491 593095 32739609 604370 7787488 627107 43593418 569802 11707623 616039 34421250 598958 41609079 612420 2983474 600253 21013030 593546 30160548 615367 5852276 593508 28690299 610178 39999508 576209 2495048 568012 28359590 627461 37988146 604123 16908160 590698 27158299 581027 8674694 585416 15140785 594574 14569138 601767 10351180 567939 29912392 602850 19978125 590327 19408944 599793 13847574 578801 26024081 621676 10029556 617586 44630952 614521 12979511 577387 41921703
Output
75237

Roll JBM Test
Input
595 99405 17447242 28639898 410155 7362625 422089 24555048 409301 13158978 457725 30947350 421792 15817107 461834 28883984 419700 39002612 443676 16770922 469069 36222041 450724 3196173 446116 4383531 463298 19491675 435195 5509304 421285 633259 432746 3434679 429874 1114752 441815 38132511 421142 21432377 452985 25188142 459868 22088214 414733 27521935 433127 40274763 458206 35290148 429899 25837774 466652 8880478 418742 44432096 414856 17735831 437042 40757972 466877 26892974 409856 15740225 437579 45318977 437299 4542096 418527 29352533 423815 17974886 437999 13406734 433467 19100252 459998 38286281 441534 45715336 454353 18697764 425096 12925266 442602 31517220 442503 14534043 425057 46925146 465616 36375098 463938 24477021 466174 32970735 415218 45559541 446073 43220765 428180 31351237 442107 18778319 466884 10630638 410408 15658816 412679 2064596 413585 28247768 429168 395567 450748 20065561 413316 33209840 445069 31189355 426679 43862575 432528 27686574 450179 9842940 457670 20305081 421269 6314754 449900 4306254 432739 42432234 418825 37340866 442909 20632533 414735 37579771 430256 9763901 431488 23362984 437034 22642129 454911 46367442 462433 26319789 450615 11657409 457169 43628911 460066 45960152 462047 23207384 426948 5831356 457784 22962441 466749 34973456 459620 30548430 437306 2719533 466312 10156948 460553 37425991 469163 13812328 410897 3116561 466404 16932356 442392 44510274 415955 46451807 439564 12607981 415580 868712 438477 40438561 412922 37100678 446267 3999484 440599 7280221 444229 20143364 418501 31760350 444647 33370705 421509 921576712 469680 35672507 434955 39795268 450206 30787870 446891 953220 421362 28166794 440775 14845234 460587 40114586 439726 46287136 420327 2961226 464050 27846196 420871 11505004 454497 19732738 438758 14686013 454705 10710448 456189 19413873 446736 41156300 441889 32891298 443725 45880793 409778 35749651 467664 26731375 425709 36536392 458999 42669887 455752 46531261 448834 35906414 423065 24312700 434730 11975340 434389 39078923 412834 32489873 433211 13651469 418538 41633888 440850 32652222 446856 9687059 419481 14454525 454824 7438591 425214 33849804 452599 476316 448132 45483801 467220 3036795 451948 3754661 446053 18056224 463663 710847 451000 21921292 415407 34008022 412508 23441278 442024 40602546 444182 8078980 418316 6886001 438571 26074484 412624 46695382 440162 17813216 413215 39394846 440206 16213755 414852 22002951 423829 20469343 440761 1353556 469458 28724227 461868 8795845 427956 17252291 412949 16686608 465684 40191010 420541 40838420 433353 23123333 448508 33689647 442473 41709904 462228 11180612 463232 9363964 454212 13573133 455816 37018654 436300 32734752 443902 45072913 437328 30868160 457206 25111078 418451 19179684 455866 15495148 447166 2803813 465756 42900672 411219 42820819 454945 32236320 426297 26653165 466779 11739494 465422 23599004 415885 30632797 437689 1671438 430573 11024604 462063 10545388 442793 30243084 465699 9279121 445833 47487359 417529 22807705 462244 16854503 433380 17172896 415905 40914297 442902 31914997 454392 31838506 429068 26237697 429047 75752 431757 8720013 417654 32815593 425045 35052586 416790 5672912 460868 34166681 434039 18455292 460011 26812272 458094 5267748 422594 33126297 448531 35128812 434330 36454675 440335 28959473 435555 39713810 445284 21686299 454920 12688152 425217 2884271 431453 5909397 426327 19336393 428627 8156637 448719 316957 421338 44190030 429703 15249288 452358 40519189 442451 10311140 455960 21601318 417668 28001889 467630 44989570 443944 18614307 467243 13321695 409078 42985596 467341 36774393 459178 12849908 423677 44588122 458096 5989081 411519 28082522 416482 44670821 442566 12052411 428393 24951382 428288 24392456 411486 22477866 431123 39555846 468009 39872087 409281 29433914 437709 5349038 410908 15084922 441286 20714842 411968 13896998 409942 33526915 433305 43140412 446726 12367779 408888 40356644 424334 28563862 426623 31602117 413750 14292491 465628 39157268 426586 39234579 437971 5588768 467143 18939712 421570 12209494 468672 21516893 434530 3833567 428994 33047675 420544 22163882 457210 10391340 452909 155233 426355 16373109 442449 22556921 451257 20796274 427572 39478502 429039 17015034 431163 11104684 444051 5425262 422244 18214110 449507 2636583 433264 7520590 431460 32406338 419749 3275800 414993 41871902 436420 22241600 439137 7683193 415473 8235941 453954 30318434 441379 32077312 454146 6478632 442912 34894027 443177 6562231 467053 22323405 465578 46119501 424525 9525675 455813 16138410 464649 7766929 443919 35521490 438666 34329845 410826 24872629 418045 32574446 411995 30394109 452432 45638498 413427 17890571 447309 31992310 458842 7604418 450832 7843066 448197 2310335 450502 25996078 432430 37181262 437439 10076146 450296 26572942 410933 13731918 454515 47080325 428642 12529388 441711 44911503 421638 11347891 452802 1272558 459359 28330809 463695 29928310 445177 17329352 441841 16448608 452836 2553547 465897 38681386 465429 12128437 427327 13080874 469585 46611705 468501 24237144 440823 42110417 441201 21356563 442210 35597131 425752 2231260 447114 1033470 447621 20223331 416009 30470282 437067 42270613 453854 16290929 458280 16606895 460737 3353641 444902 43947104 434808 29762028 453947 8397724 445324 1195149 464717 5751223 435803 14055552 414975 46771134 469420 29598321 458644 7922094 451547 11427923 412019 6399583 460156 27361119 435519 18370528 462482 21033665 435220 43705530 450150 37977830 415501 29119070 457447 25915125 423452 22883516 456217 32321271 418970 14376575 460030 15894654 445639 6802401 453968 29843210 445404 19019566 438584 47408194 434648 16525065 411573 19900903 438911 9042838 458143 44105495 445274 44826595 445655 29197836 463471 555155 462030 33768674 445414 31266506 411423 30711938 440593 18132775 465373 23919202 431382 6147354 427692 35366016 451220 34086091 430462 19984689 441293 33930794 416034 25268367 411601 10467342 469314 4705953 437332 42348519 466011 23678719 417580 25030212 445785 4155497 425974 6230161 447102 5025873 453297 38443595 467973 19571060 456710 21116347 459805 30081961 412001 36298530 431371 788255 416251 15413868 443556 34251877 450531 25760340 454008 3514409 452373 27766860 454709 17651050 412850 41557652 413577 19650617 449864 11895528 459595 19816873 445003 9447873 430315 35442621 447325 38053577 451177 46203146 424113 26156673 415672 9998392 445596 22401244 452861 20952618 445050 12452437 432440 20388474 410101 5106761 416906 27050960 422128 27601405 467337 30005914 418272 28406682 426494 44747502 452583 24159724 468567 15576250 460666 8565648 465624 25513539 416720 32160560 411386 24084250 447968 4230815 425654 13240259 438674 1827565 425406 10235640 419344 23283853 462190 13975622 456447 4458909 434852 38759647 424163 45401470 459525 9203306 411106 34486907 411156 45234647 417443 1436532 424175 26489992 421129 47001539 413610 36696767 430337 43305080 442362 13488848 431495 34409850 467297 27283968 420667 33448432 442790 28483448 425186 15328663 430638 37901379 419123 7123882 410052 38598457 431249 43467528 418251 27130428 449392 17569795 424469 36934799 445906 29038530 409398 4946909 449214 37501359 457524 41323292 441430 42588926 436204 27443676 412953 34813031 466708 4079402 460427 33611664 429169 8317500 449195 40677858 449575 22725352 441654 1903696 468232 14927251 428430 10945789 426582 21768222 466924 43063437 434067 25429277 451406 34648969 464202 25677346 435301 44348246 461002 41071459 413181 21198186 442139 24713472 438699 1749673 450115 38209580 429368 31678841 462874 15169367 430760 1513937 464446 10787597 414786 3918039 460505 18532142 416947 36620374 414533 14767629 457523 8957597 468901 37817533 415837 35214055 417318 3674774 427826 47241271 454238 29518598 428772 11816840 412952 8643020 458071 33291323 442882 24003217 409439 38844461 451640 44024508 437679 27921974 431011 35828507 431557 23038105 443333 46848693 437676 2477228 435896 7045613 411315 37660749 411362 2392758 427052 9121675 466807 21843920 426052 39637928 426255 18293383 442279 15004463 467911 43385051 452637 23518695 449505 44266938 443017 17489739 435568 34730358 458406 4788424 444118 39314971 464286 9918405 468002 31026753 460377 27205993 437966 40994748 465520 42032720 448069 34565358 468271 24636148 442513 42745251 422934 1983622 465046 15977791 418700 45799794 450982 29276518 414929 41238263 417189 11264539 465894 26405011 418603 31108539 414188 38920337 424495 29681375 421303 20548979 467481 17406732 428087 6969876 412675 18861540 458068 24791329 443945 8480472 439360 23761989 457961 6071776 448595 42510850 456956 41481799 412710 6721689 464863 36143945 457759 47163116 431556 40029317 457555 36065592 423239 16058454 466981 45158019 464059 1596149 455476 30161577 425744 21274008 417877 17096045 467555 14610166 420192 25593805 424139 6639048 447120 31435492 454993 47325549 437157 9610781 423694 42191949 456074 11581079 414019 37263158 415785 5188993 429495 25345407 451879 43545769 423369 2147353 460517 23842547 447279 46037241 421158 4866604 463316 39951918 425588 7202119 466486 41403459 445238 38364329 445924 235755 411060 35987585 424619 20875542 460916 38521318 467835 19259606 453847 14134457 450197 4624984 450309 13003975 453650 10867309 463273 41953027 447680 12766326 463434 8000153 425499 28801820 432291 43781340 408818 12286853 414031 14214176 460268 37739795 468530 26968646 411275 36855707 453398 41788095 454032 3592773 424339
Output
75279

Roll JBM Validator
Input
595 99405 7284487 6584878 620004 29113996 630904 45726765 618467 4980510 636807 24162249 634236 13745657 617819 2311450 639947 5941943 634775 11738023 590642 35078524 604697 34761744 606658 37167213 615024 24398948 607436 26393239 630978 47626243 588553 14072363 588134 711896 599392 43764636 595660 45806435 630761 46123643 595989 3609901 630840 31467680 588000 46998464 590311 9000890 644951 8684486 634335 20659245 641688 36032843 596225 41500576 605984 32031516 630440 47473618 629081 38379279 618871 13505121 618872 35478736 649940 17113684 637783 45479785 623728 13102520 590194 45164698 644127 4734457 632042 2394862 605651 30737125 651488 7708249 638876 165146 607399 37487099 619603 32427686 591234 4020820 617371 21212263 650435 21129223 591759 37733668 617823 11016365 623459 40225672 643052 6100424 590016 16227518 632963 33865625 591064 24082922 618353 635830 624469 42944859 599516 21697207 613361 44777851 634009 19277689 639600 23766847 635535 11334877 651442 14955889 631744 39822895 607253 22500318 624178 11418498 625665 16550262 612511 25186713 619023 11179061 634050 5545469 634671 15982257 644057 33149603 611682 14390960 604069 10062486 649153 46921382 629843 38853756 632053 16882197 601118 44854228 598530 28462743 636731 30491397 632271 4657449 599431 42062114 647323 26781614 599602 33387188 648890 16631932 605818 16388651 607471 24958697 621008 21053359 628301 28309383 590757 27579322 609569 12626607 636593 45088520 614455 6895257 611074 18959485 631891 43266796 635699 29918032 618589 44233963 651404 15823294 600469 28546325 605819 14717279 641713 45319561 630293 39583734 590627 30903079 637073 38621808 620068 27187125 619372 12216010 619449 1191558 627720 38461793 631665 4811795 619025 2965633 606880 46278893 596775 30981716 632220 40624772 646664 3049858 652752 29349725 629732 39661552 652337 22967585 648457 40143847 632691 17193216 600563 6024482 599357 20417231 606764 21459829 612489 39340159 592431 17907825 642188 6975047 594347 39421927 648590 35643050 601835 1834242 606740 2801481 593702 8519799 635081 8355705 594658 40301260 590561 33943105 627711 13990503 596103 3694524 588644 45394864 622192 2474228 625176 17432166 592579 4574053 634853 41900588 617024 8602919 641549 27267670 610357 22654913 628861 7789365 619727 32904649 640825 11977624 611977 38213477 593052 27748419 623144 789593 643554 46759369 600887 41420759 614448 35560121 609986 46839552 615095 11497139 618245 81319 649790 36111624 638767 25430595 651138 31710379 639747 21379794 595666 33544823 629757 19362741 631970 35000019 638090 43520510 594923 39255585 602013 3855305 612550 3447238 639200 44080375 600852 23690987 596172 39904883 621107 10861283 590118 10549552 611319 19114847 646106 31794360 592144 30570407 591731 37818778 641246 38929910 633922 21856624 608274 27503397 649654 34917188 647509 25594501 611352 33465369 610684 27663213 620775 42790802 650472 14155087 590473 23374280 590641 15517217 645053 43923983 636893 5226593 622196 29194594 651295 34837203 596417 25915447 592333 3935807 646025 18149614 625723 5065780 590063 44622346 647358 7465450 606854 32192860 600141 2639463 599419 42470662 620686 25834837 639690 36273012 617671 33786181 635035 39984650 623418 27912226 611257 32271586 615690 29833413 612999 4176224 625608 25109528 624760 19521047 615782 9166449 626122 42549165 619086 44158418 621384 22576234 601499 4897064 599350 31299053 627661 38543075 604581 23454466 637564 31384017 639122 14474247 648023 46679014 635091 45565019 602338 41104605 623168 19687110 626225 25034031 603635 2154335 589196 21932874 600372 43023845 619521 17669574 587427 11893049 628443 23126540 631007 34108677 649727 36757781 599775 39090619 601785 20176703 632653 40949860 600242 9244502 616089 247050 589113 39499477 651663 9329628 648328 22890922 610669 1912998 611654 1435730 589587 37091717 598813 10706193 633062 32821981 602889 8918398 612604 35401330 606616 24482863 618446 23608020 616793 43841249 615272 26470632 636234 28705650 639309 36841629 588755 34432714 620077 29505709 639306 20334436 613937 41580025 626813 21772944 641914 36593728 611003 12462769 606010 872483 642528 21537180 640012 40871814 600990 26149670 600529 41659146 625424 45240907 621593 15278883 636278 18632159 652898 19767270 648794 37010677 652672 38133438 649061 13353393 606668 42631797 591438 43685320 624221 44545027 631425 40459090 643624 36513551 615868 26069945 593035 12939388 592989 11258377 637091 25265800 633405 8025398 631104 29588349 646422 41260578 607384 25756032 602166 30165880 629662 24561403 615688 2559384 636158 35246841 620994 39011792 642932 33228469 627066 38698844 633032 40787217 650226 10223211 642571 36437214 601430 12139650 622341 29669552 594524 6502012 626072 24002763 621819 34190238 591836 30820848 653294 24639590 613591 43101096 607535 34275171 630417 8191181 647248 5150217 596023 5387336 588820 19197459 642339 41183706 592188 14308493 606151 7222069 637601 24796238 642295 22014076 641369 35718393 629082 46199381 593157 36673671 632982 2884115 648959 15119068 591702 31221401 637627 10784840 630410 40379836 652240 16309179 650077 36188951 644115 29029684 599162 20972095 625890 32507424 650201 36353421 611475 16473447 635660 22175804 615351 26951079 590903 957302 620758 16144410 631956 26628248 614448 22252643 653046 44935176 624865 42147071 616565 34353576 617777 18876361 598231 26705186 647379 38298186 609908 26866811 604266 16798733 639886 20894833 591788 6342478 637110 37407240 604065 12861524 601643 5463408 594696 36926116 594683 25991014 648265 44311670 596695 14230799 636341 18711929 596135 17037722 589447 22419443 588854 43999386 609171 7383460 594105 45883247 614638 10938708 653196 33706909 602854 35794254 605436 9081259 625867 5622425 602533 28386572 606187 33305331 640536 24322444 624166 31058847 624864 17989383 598310 41341795 587426 12703800 588391 42868483 588463 27991532 653255 31874764 603065 20736239 642241 16716636 601991 20095401 649618 30085849 627836 24715470 621402 46039485 622482 44469056 640314 42307055 633806 2077483 596585 6818660 609792 23842223 602471 13906017 598169 5703248 589414 39740908 594915 6266003 600078 11579578 588995 22730643 626642 402611 648299 23043455 620592 16065719 636663 12542473 621960 41816957 630748 20253460 593074 28150171 630451 23917973 601671 6662855 631759 20494286 616201 22098993 644400 13271625 587835 47549965 601671 27428066 609642 1996039 622657 38776305 636386 44392042 621128 1267138 619814 32350673 633593 7306635 588666 29429520 595841 38051666 615110 35951917 641092 19934158 622371 39174355 640669 9739063 642945 21614338 624692 41985261 637344 13187327 604704 30329168 638591 35325186 642762 9654903 592555 17351443 625523 27349259 598854 24245937 593592 30246061 637864 37650356 613847 47398005 639609 11094519 624265 22806697 589478 11816316 599766 35876536 633548 34024750 594597 20576275 632587 23289868 629780 12300531 624674 47242315 630491 10465606 603848 34595159 594907 26552629 641030 30408304 625863 10140116 641535 40062944 588529 1588102 593213 26308104 641290 4495150 626410 32589692 641629 37899118 625951 1631626026 653503 8439818 592936 46516309 646720 32665339 651916 41028034 645509 9488207 645498 17748607 636549 42390776 635764 46355101 624236 15433047 627283 1033741 633978 19444522 650604 25678068 624420 32746346 602158 1669710 646856 15197449 599560 14874808 612418 34513035 648106 8763380 622123 16959665 632091 3210593 641385 6743028 632390 43436917 644977 32108696 653136 2232135 642907 18393050 589430 28948860 619969 6424952 596755 9411200 608921 28789252 628683 19850689 637097 26227708 635757 44701381 632593 3779424 589677 13020581 631449 3528570 632635 19602687 640166 37976266 609689 37566580 598340 5782517 609370 46437262 626238 31631496 614431 7949942 611261 27104273 601997 14793804 626054 18473787 593819 31950117 604040 15357196 602156 3286767 592879 30654785 620973 4097527 610610 33065855 629757 15747837 647282 17592190 632063 5863331 630913 3129192 613882 3368138 595194 20814511 617740 28233400 607376 47320113 603958 15593167 605920 37251458 598373 31549267 625859 46600224 614872 42225795 638171 29270522 601405 7541195 589935 14632158 608179 14556350 652266 25513070 603756 43181800 602569 6184454 652334 25348929 609533 40540161 628666 45649393 636857 9570746 635014 29749168 640320 8109162 587781 37329771 618040 28072821 632091 12384561 605408 1115194 589945 35163549 648180 21295397 642221 43603742 623604 23205802 644535 42713840 606647 47158816 623802 47075050 601164 15899058 624855 28622619 602236 18791888 602908 24876695 587488 20012483 642133 7142824 651582 326189 620458 40709468 648865 27028208 596629 18234773 624621 10299709 650778 31141551 602620 9981196 652560 9818694 630484 7059920 594650 17274268 598129 1512813 587656 19038159 646277 8275445 629834 1351816 599034 30001975 616463 7623000 604859 15037849 593665 18555993 652935 13825881 610917 10382466 644408 15671509 621526 11658544 653116 10628867 633928 8839812 606625 1750877 630268 45012854 639414 13429393 628828 32986667 631820 2719100 592743 12785608 645402 28869581 615172 33628043 614716 4260244 594802 23530362 604528 22337467 637797 41740935 618565 7868165 587639 4340148 640168 18311382 629836 9899233 628259 18065511 592395 5307034 607220 559228 606802 4416879 624812 13586790 647669 17513568 639145 481644 604438 12056775 650319 17825502 616043 43352074 596184 27829772 611663 13663779 612353 45963354 645640 34677549 592062
Output
75128

Solution language

Solution

Stub generator input