0: 157 < 8026
1: 148 < 157
2: 149 + 148
3: 146 < 149
4: 144 < 146
5: 145 + 144
6: 162 + 145
7: 163 + 162
8: 164 + 163
9: 166 + 164
10: 173 + 166
11: 186 + 173
12: 183 < 186
13: 164 < 183
14: 168 + 164
15: 175 + 168
16: 176 + 175
17: 172 < 176
18: 170 < 172
19: 183 + 170
20: 196 + 183
21: 204 + 196
22: 216 + 204
23: 224 + 216
24: 225 + 224
25: 228 + 225
26: 231 + 228
27: 215 < 231
28: 218 + 215
29: 225 + 218
30: 229 + 225
31: 230 + 229
32: 232 + 230
33: 238 + 232
34: 237 < 238
35: 240 + 237
36: 261 + 240
37: 263 + 261
38: 262 < 263
39: 257 < 262
40: 270 + 257
41: 278 + 270
42: 279 + 278
43: 280 + 279
44: 284 + 280
45: 299 + 284
46: 300 + 299
47: 311 + 300
48: 312 + 311
49: 311 < 312
50: 312 + 311
51: 326 + 312
52: 327 + 326
53: 326 < 327
54: 336 + 326
55: 338 + 336
56: 344 + 338
57: 350 + 344
58: 351 + 350
59: 352 + 351
60: 354 + 352
61: 373 + 354
62: 376 + 373
63: 382 + 376
64: 383 + 382
65: 381 < 383
66: 390 + 381
67: 396 + 390
68: 400 + 396
69: 408 + 400
70: 421 + 408
71: 422 + 421
72: 423 + 422
73: 428 + 423
74: 431 + 428
75: 432 + 431
76: 444 + 432
77: 437 < 444
78: 438 + 437
79: 458 + 438
80: 427 < 458
81: 413 < 427
82: 423 + 413
83: 425 + 423
84: 426 + 425
85: 424 < 426
86: 428 + 424
87: 443 + 428
88: 446 + 443
89: 459 + 446
90: 465 + 459
91: 478 + 465
92: 482 + 478
93: 485 + 482
94: 498 + 485
95: 522 + 498
96: 528 + 522
97: 535 + 528
98: 536 + 535
99: 528 < 536
100: 507 < 528
101: 525 + 507
102: 526 + 525
103: 528 + 526
104: 523 < 528
105: 527 + 523
106: 524 < 527
107: 525 + 524
108: 532 + 525
109: 534 + 532
110: 552 + 534
111: 551 < 552
112: 561 + 551
113: 563 + 561
114: 562 < 563
115: 568 + 562
116: 575 + 568
117: 577 + 575
118: 587 + 577
119: 588 + 587
120: 593 + 588
121: 594 + 593
122: 597 + 594
123: 600 + 597
124: 605 + 600
125: 607 + 605
126: 615 + 607
127: 611 < 615
128: 617 + 611
129: 618 + 617
130: 622 + 618
131: 644 + 622
132: 646 + 644
133: 634 < 646
134: 631 < 634
135: 635 + 631
136: 633 < 635
137: 636 + 633
138: 641 + 636
139: 643 + 641
140: 644 + 643
141: 645 + 644
142: 641 < 645
143: 659 + 641
144: 661 + 659
145: 659 < 661
146: 660 + 659
147: 683 + 660
148: 695 + 683
149: 696 + 695
150: 704 + 696
151: 705 + 704
152: 719 + 705
153: 720 + 719
154: 707 < 720
155: 722 + 707
156: 723 + 722
157: 727 + 723
158: 728 + 727
159: 730 + 728
160: 731 + 730
161: 740 + 731
162: 744 + 740
163: 733 < 744
164: 718 < 733
165: 711 < 718
166: 712 + 711
167: 720 + 712
168: 719 < 720
169: 729 + 719
170: 739 + 729
171: 748 + 739
172: 754 + 748
173: 759 + 754
174: 781 + 759
175: 797 + 781
176: 796 < 797
177: 802 + 796
178: 811 + 802
179: 812 + 811
180: 819 + 812
181: 815 < 819
182: 826 + 815
183: 828 + 826
184: 841 + 828
185: 844 + 841
186: 849 + 844
187: 888 + 849
188: 893 + 888
189: 895 + 893
190: 900 + 895
191: 901 + 900
192: 904 + 901
193: 905 + 904
194: 922 + 905
195: 921 < 922
196: 922 + 921
197: 938 + 922
198: 963 + 938
199: 971 + 963
200: 973 + 971
201: 983 + 973
202: 991 + 983
203: 994 + 991
204: 1001 + 994
205: 1023 + 1001
206: 1027 + 1023
207: 1035 + 1027
208: 1059 + 1035
209: 1060 + 1059
210: 1089 + 1060
211: 1098 + 1089
212: 1124 + 1098
213: 1125 + 1124
214: 1128 + 1125
215: 1122 < 1128
216: 1123 + 1122
217: 1113 < 1123
218: 1115 + 1113
219: 1113 < 1115
220: 1141 + 1113
221: 1146 + 1141
222: 1150 + 1146
223: 1151 + 1150
224: 1152 + 1151
225: 1153 + 1152
226: 1143 < 1153
227: 1144 + 1143
228: 1146 + 1144
229: 1162 + 1146
230: 1154 < 1162
231: 1153 < 1154
232: 1154 + 1153
233: 1165 + 1154
234: 1169 + 1165
235: 1168 < 1169
236: 1171 + 1168
237: 1178 + 1171
238: 1179 + 1178
239: 1180 + 1179
240: 1172 < 1180
241: 1176 + 1172
242: 1186 + 1176
243: 1188 + 1186
244: 1189 + 1188
245: 1188 < 1189
246: 1187 < 1188
247: 1192 + 1187
248: 1190 < 1192
249: 1189 < 1190
250: 1184 < 1189
251: 1194 + 1184
252: 1195 + 1194
253: 1200 + 1195
254: 1194 < 1200
255: 1206 + 1194
256: 1207 + 1206
257: 1216 + 1207
258: 1218 + 1216
259: 1186 < 1218
260: 1187 + 1186
261: 1184 < 1187
262: 1187 + 1184
263: 1190 + 1187
264: 1214 + 1190
265: 1239 + 1214
266: 1240 + 1239
267: 1250 + 1240
268: 1249 < 1250
269: 1277 + 1249
270: 1278 + 1277
271: 1279 + 1278
272: 1314 + 1279
273: 1316 + 1314
274: 1321 + 1316
275: 1345 + 1321
276: 1344 < 1345
277: 1351 + 1344
278: 1364 + 1351
279: 1367 + 1364
280: 1368 + 1367
281: 1370 + 1368
282: 1373 + 1370
283: 1365 < 1373
284: 1361 < 1365
285: 1355 < 1361
286: 1354 < 1355
287: 1365 + 1354
288: 1360 < 1365
289: 1358 < 1360
290: 1356 < 1358
291: 1357 + 1356
292: 1363 + 1357
293: 1364 + 1363
294: 1373 + 1364
295: 1377 + 1373
296: 1387 + 1377
297: 1381 < 1387
298: 1392 + 1381
299: 1396 + 1392
300: 1397 + 1396
301: 1399 + 1397
302: 1406 + 1399
303: 1410 + 1406
304: 1429 + 1410
305: 1430 + 1429
306: 1431 + 1430
307: 1437 + 1431
308: 1443 + 1437
309: 1448 + 1443
310: 1449 + 1448
311: 1465 + 1449
312: 1466 + 1465
313: 1461 < 1466
314: 1462 + 1461
315: 1464 + 1462
316: 1471 + 1464
317: 1488 + 1471
318: 1489 + 1488
319: 1490 + 1489
320: 1500 + 1490
321: 1502 + 1500
322: 1528 + 1502
323: 1549 + 1528
324: 1551 + 1549
325: 1552 + 1551
326: 1551 < 1552
327: 1543 < 1551
328: 1544 + 1543
329: 1543 < 1544
330: 1546 + 1543
331: 1547 + 1546
332: 1551 + 1547
333: 1555 + 1551
334: 1563 + 1555
335: 1539 < 1563
336: 1525 < 1539
337: 1524 < 1525
338: 1523 < 1524
339: 1548 + 1523
340: 1513 < 1548
341: 1522 + 1513
342: 1508 < 1522
343: 1507 < 1508
344: 1515 + 1507
345: 1498 < 1515
346: 1505 + 1498
347: 1504 < 1505
348: 1505 + 1504
349: 1506 + 1505
350: 1507 + 1506
351: 1510 + 1507
352: 1516 + 1510
353: 1520 + 1516
354: 1540 + 1520
355: 1547 + 1540
356: 1548 + 1547
357: 1547 < 1548
358: 1522 < 1547
359: 1523 + 1522
360: 1533 + 1523
361: 1561 + 1533
362: 1588 + 1561
363: 1589 + 1588
364: 1591 + 1589
365: 1592 + 1591
366: 1594 + 1592
367: 1596 + 1594
368: 1608 + 1596
369: 1624 + 1608
370: 1628 + 1624
371: 1638 + 1628
372: 1639 + 1638
373: 1641 + 1639
374: 1625 < 1641
375: 1627 + 1625
376: 1629 + 1627
377: 1648 + 1629
378: 1653 + 1648
379: 1678 + 1653
380: 1679 + 1678
381: 1699 + 1679
382: 1703 + 1699
383: 1697 < 1703
384: 1700 + 1697
385: 1698 < 1700
386: 1699 + 1698
387: 1715 + 1699
388: 1714 < 1715
389: 1716 + 1714
390: 1717 + 1716
391: 1720 + 1717
392: 1722 + 1720
393: 1721 < 1722
394: 1722 + 1721
395: 1716 < 1722
396: 1720 + 1716
397: 1742 + 1720
398: 1765 + 1742
399: 1767 + 1765
400: 1757 < 1767
401: 1756 < 1757
402: 1755 < 1756
403: 1761 + 1755
404: 1784 + 1761
405: 1785 + 1784
406: 1789 + 1785
407: 1798 + 1789
408: 1806 + 1798
409: 1809 + 1806
410: 1821 + 1809
411: 1822 + 1821
412: 1831 + 1822
413: 1826 < 1831
414: 1818 < 1826
415: 1817 < 1818
416: 1814 < 1817
417: 1815 + 1814
418: 1818 + 1815
419: 1819 + 1818
420: 1820 + 1819
421: 1827 + 1820
422: 1830 + 1827
423: 1831 + 1830
424: 1832 + 1831
425: 1840 + 1832
426: 1841 + 1840
427: 1842 + 1841
428: 1848 + 1842
429: 1849 + 1848
430: 1850 + 1849
431: 1851 + 1850
432: 1861 + 1851
433: 1863 + 1861
434: 1860 < 1863
435: 1861 + 1860
436: 1855 < 1861
437: 1863 + 1855
438: 1862 < 1863
439: 1864 + 1862
440: 1865 + 1864
441: 1887 + 1865
442: 1902 + 1887
443: 1925 + 1902
444: 1939 + 1925
445: 1945 + 1939
446: 1944 < 1945
447: 1943 < 1944
448: 1947 + 1943
449: 1964 + 1947
450: 1986 + 1964
451: 1987 + 1986
452: 1986 < 1987
453: 1989 + 1986
454: 1979 < 1989
455: 1984 + 1979
456: 1986 + 1984
457: 1994 + 1986
458: 1996 + 1994
459: 2001 + 1996
460: 2002 + 2001
461: 2005 + 2002
462: 2009 + 2005
463: 2022 + 2009
464: 2024 + 2022
465: 2025 + 2024
466: 2029 + 2025
467: 2013 < 2029
468: 2014 + 2013
469: 2017 + 2014
470: 2018 + 2017
471: 2017 < 2018
472: 2019 + 2017
473: 2020 + 2019
474: 2009 < 2020
475: 2007 < 2009
476: 2006 < 2007
477: 1982 < 2006
478: 1984 + 1982
479: 1986 + 1984
480: 1991 + 1986
481: 1994 + 1991
482: 1982 < 1994
483: 1991 + 1982
484: 1989 < 1991
485: 1995 + 1989
486: 1996 + 1995
487: 1997 + 1996
488: 1998 + 1997
489: 1997 < 1998
490: 2004 + 1997
491: 2005 + 2004
492: 2030 + 2005
493: 2062 + 2030
494: 2064 + 2062
495: 2076 + 2064
496: 2077 + 2076
497: 2079 + 2077
498: 2080 + 2079
499: 2084 + 2080
500: 2103 + 2084
501: 2104 + 2103
502: 2110 + 2104
503: 2104 < 2110
504: 2105 + 2104
505: 2106 + 2105
506: 2118 + 2106
507: 2124 + 2118
508: 2127 + 2124
509: 2125 < 2127
510: 2121 < 2125
511: 2127 + 2121
512: 2133 + 2127
513: 2135 + 2133
514: 2141 + 2135
515: 2139 < 2141
516: 2136 < 2139
517: 2138 + 2136
518: 2146 + 2138
519: 2140 < 2146
520: 2141 + 2140
521: 2156 + 2141
522: 2172 + 2156
523: 2181 + 2172
524: 2170 < 2181
525: 2173 + 2170
526: 2195 + 2173
527: 2194 < 2195
528: 2199 + 2194
529: 2203 + 2199
530: 2228 + 2203
531: 2230 + 2228
532: 2234 + 2230
533: 2204 < 2234
534: 2212 + 2204
535: 2214 + 2212
536: 2200 < 2214
537: 2201 + 2200
538: 2200 < 2201
539: 2197 < 2200
540: 2201 + 2197
541: 2204 + 2201
542: 2230 + 2204
543: 2240 + 2230
544: 2242 + 2240
545: 2255 + 2242
546: 2263 + 2255
547: 2271 + 2263
548: 2273 + 2271
549: 2274 + 2273
550: 2273 < 2274
551: 2277 + 2273
552: 2278 + 2277
553: 2285 + 2278
554: 2286 + 2285
555: 2297 + 2286
556: 2298 + 2297
557: 2297 < 2298
558: 2310 + 2297
559: 2313 + 2310
560: 2309 < 2313
561: 2311 + 2309
562: 2314 + 2311
563: 2322 + 2314
564: 2320 < 2322
565: 2316 < 2320
566: 2317 + 2316
567: 2339 + 2317
568: 2338 < 2339
569: 2350 + 2338
570: 2378 + 2350
571: 2379 + 2378
572: 2387 + 2379
573: 2391 + 2387
574: 2390 < 2391
575: 2391 + 2390
576: 2396 + 2391
577: 2398 + 2396
578: 2406 + 2398
579: 2425 + 2406
580: 2433 + 2425
581: 2430 < 2433
582: 2421 < 2430
583: 2422 + 2421
584: 2440 + 2422
585: 2449 + 2440
586: 2445 < 2449
587: 2466 + 2445
588: 2479 + 2466
589: 2477 < 2479
590: 2479 + 2477
591: 2485 + 2479
592: 2481 < 2485
593: 2490 + 2481
594: 2491 + 2490
595: 2492 + 2491
596: 2496 + 2492
597: 2508 + 2496
598: 2505 < 2508
599: 2487 < 2505
600: 2492 + 2487
601: 2493 + 2492
602: 2482 < 2493
603: 2499 + 2482
604: 2515 + 2499
605: 2516 + 2515
606: 2543 + 2516
607: 2574 + 2543
608: 2575 + 2574
609: 2577 + 2575
610: 2578 + 2577
611: 2569 < 2578
612: 2556 < 2569
613: 2554 < 2556
614: 2557 + 2554
615: 2559 + 2557
616: 2562 + 2559
617: 2571 + 2562
618: 2595 + 2571
619: 2596 + 2595
620: 2598 + 2596
621: 2599 + 2598
622: 2603 + 2599
623: 2602 < 2603
624: 2615 + 2602
625: 2614 < 2615
626: 2610 < 2614
627: 2623 + 2610
628: 2632 + 2623
629: 2626 < 2632
630: 2642 + 2626
631: 2643 + 2642
632: 2675 + 2643
633: 2681 + 2675
634: 2689 + 2681
635: 2706 + 2689
636: 2708 + 2706
637: 2713 + 2708
638: 2714 + 2713
639: 2703 < 2714
640: 2691 < 2703
641: 2692 + 2691
642: 2693 + 2692
643: 2700 + 2693
644: 2710 + 2700
645: 2711 + 2710
646: 2712 + 2711
647: 2711 < 2712
648: 2712 + 2711
649: 2716 + 2712
650: 2673 < 2716
651: 2674 + 2673
652: 2694 + 2674
653: 2715 + 2694
654: 2723 + 2715
655: 2736 + 2723
656: 2759 + 2736
657: 2768 + 2759
658: 2773 + 2768
659: 2767 < 2773
660: 2757 < 2767
661: 2752 < 2757
662: 2749 < 2752
663: 2752 + 2749
664: 2758 + 2752
665: 2753 < 2758
666: 2752 < 2753
667: 2754 + 2752
668: 2760 + 2754
669: 2791 + 2760
670: 2792 + 2791
671: 2803 + 2792
672: 2804 + 2803
673: 2797 < 2804
674: 2800 + 2797
675: 2797 < 2800
676: 2807 + 2797
677: 2811 + 2807
678: 2814 + 2811
679: 2816 + 2814
680: 2819 + 2816
681: 2837 + 2819
682: 2838 + 2837
683: 2843 + 2838
684: 2841 < 2843
685: 2848 + 2841
686: 2853 + 2848
687: 2859 + 2853
688: 2868 + 2859
689: 2854 < 2868
690: 2864 + 2854
691: 2845 < 2864
692: 2848 + 2845
693: 2831 < 2848
694: 2830 < 2831
695: 2829 < 2830
696: 2840 + 2829
697: 2838 < 2840
698: 2831 < 2838
699: 2836 + 2831
700: 2856 + 2836
701: 2854 < 2856
702: 2870 + 2854
703: 2863 < 2870
704: 2865 + 2863
705: 2866 + 2865
706: 2867 + 2866
707: 2895 + 2867
708: 2892 < 2895
709: 2893 + 2892
710: 2911 + 2893
711: 2909 < 2911
712: 2918 + 2909
713: 2923 + 2918
714: 2924 + 2923
715: 2893 < 2924
716: 2888 < 2893
717: 2892 + 2888
718: 2893 + 2892
719: 2898 + 2893
720: 2893 < 2898
721: 2920 + 2893
722: 2930 + 2920
723: 2931 + 2930
724: 2930 < 2931
725: 2926 < 2930
726: 2933 + 2926
727: 2939 + 2933
728: 2957 + 2939
729: 2964 + 2957
730: 2968 + 2964
731: 2969 + 2968
732: 2971 + 2969
733: 2985 + 2971
734: 2986 + 2985
735: 2990 + 2986
736: 2988 < 2990
737: 2977 < 2988
738: 2971 < 2977
739: 2970 < 2971
740: 2978 + 2970
741: 2964 < 2978
742: 2997 + 2964
743: 3007 + 2997
744: 3015 + 3007
745: 3013 < 3015
746: 3015 + 3013
747: 2998 < 3015
748: 3000 + 2998
749: 3024 + 3000
750: 3034 + 3024
751: 3045 + 3034
752: 3067 + 3045
753: 3073 + 3067
754: 3074 + 3073
755: 3075 + 3074
756: 3076 + 3075
757: 3084 + 3076
758: 3091 + 3084
759: 3089 < 3091
760: 3088 < 3089
761: 3095 + 3088
762: 3082 < 3095
763: 3085 + 3082
764: 3086 + 3085
765: 3082 < 3086
766: 3080 < 3082
767: 3096 + 3080
768: 3110 + 3096
769: 3113 + 3110
770: 3114 + 3113
771: 3117 + 3114
772: 3120 + 3117
773: 3125 + 3120
774: 3128 + 3125
775: 3129 + 3128
776: 3131 + 3129
777: 3130 < 3131
778: 3136 + 3130
779: 3130 < 3136
780: 3131 + 3130
781: 3138 + 3131
782: 3141 + 3138
783: 3147 + 3141
784: 3153 + 3147
785: 3152 < 3153
786: 3161 + 3152
787: 3162 + 3161
788: 3180 + 3162
789: 3183 + 3180
790: 3197 + 3183
791: 3203 + 3197
792: 3205 + 3203
793: 3195 < 3205
794: 3202 + 3195
795: 3209 + 3202
796: 3216 + 3209
797: 3217 + 3216
798: 3230 + 3217
799: 3235 + 3230
800: 3238 + 3235
801: 3245 + 3238
802: 3248 + 3245
803: 3269 + 3248
804: 3262 < 3269
805: 3266 + 3262
806: 3267 + 3266
807: 3268 + 3267
808: 3272 + 3268
809: 3265 < 3272
810: 3264 < 3265
811: 3268 + 3264
812: 3275 + 3268
813: 3276 + 3275
814: 3283 + 3276
815: 3277 < 3283
816: 3276 < 3277
817: 3277 + 3276
818: 3278 + 3277
819: 3298 + 3278
820: 3311 + 3298
821: 3314 + 3311
822: 3318 + 3314
823: 3327 + 3318
824: 3330 + 3327
825: 3333 + 3330
826: 3349 + 3333
827: 3353 + 3349
828: 3354 + 3353
829: 3347 < 3354
830: 3357 + 3347
831: 3359 + 3357
832: 3361 + 3359
833: 3390 + 3361
834: 3389 < 3390
835: 3398 + 3389
836: 3411 + 3398
837: 3418 + 3411
838: 3409 < 3418
839: 3422 + 3409
840: 3423 + 3422
841: 3425 + 3423
842: 3426 + 3425
843: 3442 + 3426
844: 3444 + 3442
845: 3457 + 3444
846: 3458 + 3457
847: 3459 + 3458
848: 3471 + 3459
849: 3454 < 3471
850: 3455 + 3454
851: 3457 + 3455
852: 3469 + 3457
853: 3470 + 3469
854: 3496 + 3470
855: 3495 < 3496
856: 3492 < 3495
857: 3509 + 3492
858: 3512 + 3509
859: 3511 < 3512
860: 3514 + 3511
861: 3513 < 3514
862: 3516 + 3513
863: 3519 + 3516
864: 3522 + 3519
865: 3533 + 3522
866: 3539 + 3533
867: 3541 + 3539
868: 3537 < 3541
869: 3547 + 3537
870: 3548 + 3547
871: 3552 + 3548
872: 3554 + 3552
873: 3556 + 3554
874: 3559 + 3556
875: 3560 + 3559
876: 3568 + 3560
877: 3571 + 3568
878: 3580 + 3571
879: 3582 + 3580
880: 3601 + 3582
881: 3602 + 3601
882: 3625 + 3602
883: 3623 < 3625
884: 3625 + 3623
885: 3633 + 3625
886: 3640 + 3633
887: 3655 + 3640
888: 3657 + 3655
889: 3659 + 3657
890: 3660 + 3659
891: 3659 < 3660
892: 3665 + 3659
893: 3666 + 3665
894: 3672 + 3666
895: 3698 + 3672
896: 3707 + 3698
897: 3706 < 3707
898: 3712 + 3706
899: 3713 + 3712
900: 3728 + 3713
901: 3727 < 3728
902: 3724 < 3727
903: 3747 + 3724
904: 3737 < 3747
905: 3733 < 3737
906: 3739 + 3733
907: 3736 < 3739
908: 3757 + 3736
909: 3758 + 3757
910: 3766 + 3758
911: 3768 + 3766
912: 3771 + 3768
913: 3776 + 3771
914: 3785 + 3776
915: 3782 < 3785
916: 3790 + 3782
917: 3792 + 3790
918: 3800 + 3792
919: 3779 < 3800
920: 3781 + 3779
921: 3782 + 3781
922: 3816 + 3782
923: 3824 + 3816
924: 3832 + 3824
925: 3831 < 3832
926: 3842 + 3831
927: 3848 + 3842
928: 3847 < 3848
929: 3848 + 3847
930: 3851 + 3848
931: 3840 < 3851
932: 3848 + 3840
933: 3849 + 3848
934: 3854 + 3849
935: 3871 + 3854
936: 3870 < 3871
937: 3872 + 3870
938: 3877 + 3872
939: 3885 + 3877
940: 3899 + 3885
941: 3908 + 3899
942: 3913 + 3908
943: 3914 + 3913
944: 3910 < 3914
945: 3909 < 3910
946: 3910 + 3909
947: 3926 + 3910
948: 3938 + 3926
949: 3951 + 3938
950: 3952 + 3951
951: 3949 < 3952
952: 3978 + 3949
953: 3980 + 3978
954: 3981 + 3980
955: 3984 + 3981
956: 3980 < 3984
957: 3981 + 3980
958: 4000 + 3981
959: 4001 + 4000
960: 4006 + 4001
961: 4007 + 4006
962: 4024 + 4007
963: 4039 + 4024
964: 4040 + 4039
965: 4048 + 4040
966: 4036 < 4048
967: 4041 + 4036
968: 4040 < 4041
969: 4052 + 4040
970: 4065 + 4052
971: 4068 + 4065
972: 4043 < 4068
973: 4048 + 4043
974: 4037 < 4048
975: 4043 + 4037
976: 4046 + 4043
977: 4048 + 4046
978: 4049 + 4048
979: 4056 + 4049
980: 4059 + 4056
981: 4063 + 4059
982: 4068 + 4063
983: 4080 + 4068
984: 4077 < 4080
985: 4075 < 4077
986: 4076 + 4075
987: 4069 < 4076
988: 4038 < 4069
989: 4037 < 4038
990: 4040 + 4037
991: 4027 < 4040
992: 4028 + 4027
993: 4034 + 4028
994: 4053 + 4034
995: 4057 + 4053
996: 4058 + 4057
997: 4061 + 4058
998: 4059 < 4061
999: 4064 + 4059
1000: 4065 + 4064
1001: 4069 + 4065
1002: 4071 + 4069
1003: 4073 + 4071
1004: 4075 + 4073
1005: 4077 + 4075
1006: 4082 + 4077
1007: 4096 + 4082
1008: 4093 < 4096
1009: 4104 + 4093
1010: 4112 + 4104
1011: 4105 < 4112
1012: 4106 + 4105
1013: 4109 + 4106
1014: 4093 < 4109
1015: 4100 + 4093
1016: 4108 + 4100
1017: 4109 + 4108
1018: 4134 + 4109
1019: 4135 + 4134
1020: 4165 + 4135
1021: 4146 < 4165
1022: 4152 + 4146
1023: 4162 + 4152
1024: 4171 + 4162
1025: 4173 + 4171
1026: 4181 + 4173
1027: 4184 + 4181
1028: 4185 + 4184
1029: 4189 + 4185
1030: 4192 + 4189
1031: 4196 + 4192
1032: 4194 < 4196
1033: 4209 + 4194
1034: 4221 + 4209
1035: 4222 + 4221
1036: 4200 < 4222
1037: 4217 + 4200
1038: 4216 < 4217
1039: 4217 + 4216
1040: 4216 < 4217
1041: 4221 + 4216
1042: 4231 + 4221
1043: 4227 < 4231
1044: 4230 + 4227
1045: 4227 < 4230
1046: 4240 + 4227
1047: 4241 + 4240
1048: 4242 + 4241
1049: 4222 < 4242
1050: 4243 + 4222
1051: 4248 + 4243
1052: 4245 < 4248
1053: 4236 < 4245
1054: 4237 + 4236
1055: 4256 + 4237
1056: 4261 + 4256
1057: 4248 < 4261
1058: 4250 + 4248
1059: 4254 + 4250
1060: 4255 + 4254
1061: 4258 + 4255
1062: 4261 + 4258
1063: 4262 + 4261
1064: 4266 + 4262
1065: 4274 + 4266
1066: 4290 + 4274
1067: 4291 + 4290
1068: 4290 < 4291
1069: 4312 + 4290
1070: 4323 + 4312
1071: 4336 + 4323
1072: 4337 + 4336
1073: 4333 < 4337
1074: 4328 < 4333
1075: 4330 + 4328
1076: 4293 < 4330
1077: 4297 + 4293
1078: 4309 + 4297
1079: 4327 + 4309
1080: 4328 + 4327
1081: 4356 + 4328
1082: 4358 + 4356
1083: 4332 < 4358
1084: 4346 + 4332
1085: 4347 + 4346
1086: 4370 + 4347
1087: 4379 + 4370
1088: 4382 + 4379
1089: 4391 + 4382
1090: 4400 + 4391
1091: 4398 < 4400
1092: 4406 + 4398
1093: 4417 + 4406
1094: 4422 + 4417
1095: 4420 < 4422
1096: 4421 + 4420
1097: 4426 + 4421
1098: 4424 < 4426
1099: 4420 < 4424
1100: 4421 + 4420
1101: 4422 + 4421
1102: 4401 < 4422
1103: 4402 + 4401
1104: 4428 + 4402
1105: 4437 + 4428
1106: 4444 + 4437
1107: 4448 + 4444
1108: 4451 + 4448
1109: 4452 + 4451
1110: 4451 < 4452
1111: 4454 + 4451
1112: 4463 + 4454
1113: 4468 + 4463
1114: 4467 < 4468
1115: 4476 + 4467
1116: 4473 < 4476
1117: 4477 + 4473
1118: 4478 + 4477
1119: 4482 + 4478
1120: 4514 + 4482
1121: 4515 + 4514
1122: 4556 + 4515
1123: 4559 + 4556
1124: 4560 + 4559
1125: 4559 < 4560
1126: 4561 + 4559
1127: 4563 + 4561
1128: 4564 + 4563
1129: 4562 < 4564
1130: 4568 + 4562
1131: 4577 + 4568
1132: 4589 + 4577
1133: 4590 + 4589
1134: 4611 + 4590
1135: 4599 < 4611
1136: 4607 + 4599
1137: 4595 < 4607
1138: 4596 + 4595
1139: 4583 < 4596
1140: 4597 + 4583
1141: 4595 < 4597
1142: 4601 + 4595
1143: 4602 + 4601
1144: 4607 + 4602
1145: 4608 + 4607
1146: 4609 + 4608
1147: 4633 + 4609
1148: 4636 + 4633
1149: 4647 + 4636
1150: 4654 + 4647
1151: 4655 + 4654
1152: 4622 < 4655
1153: 4623 + 4622
1154: 4625 + 4623
1155: 4651 + 4625
1156: 4653 + 4651
1157: 4654 + 4653
1158: 4657 + 4654
1159: 4661 + 4657
1160: 4670 + 4661
1161: 4677 + 4670
1162: 4678 + 4677
1163: 4679 + 4678
1164: 4680 + 4679
1165: 4678 < 4680
1166: 4679 + 4678
1167: 4682 + 4679
1168: 4680 < 4682
1169: 4678 < 4680
1170: 4676 < 4678
1171: 4678 + 4676
1172: 4680 + 4678
1173: 4678 < 4680
1174: 4683 + 4678
1175: 4689 + 4683
1176: 4705 + 4689
1177: 4716 + 4705
1178: 4725 + 4716
1179: 4723 < 4725
1180: 4728 + 4723
1181: 4729 + 4728
1182: 4730 + 4729
1183: 4746 + 4730
1184: 4757 + 4746
1185: 4755 < 4757
1186: 4762 + 4755
1187: 4791 + 4762
1188: 4785 < 4791
1189: 4787 + 4785
1190: 4792 + 4787
1191: 4793 + 4792
1192: 4790 < 4793
1193: 4793 + 4790
1194: 4794 + 4793
1195: 4807 + 4794
1196: 4813 + 4807
1197: 4804 < 4813
1198: 4826 + 4804
1199: 4827 + 4826
1200: 4840 + 4827
1201: 4878 + 4840
1202: 4880 + 4878
1203: 4883 + 4880
1204: 4884 + 4883
1205: 4875 < 4884
1206: 4887 + 4875
1207: 4889 + 4887
1208: 4922 + 4889
1209: 4929 + 4922
1210: 4928 < 4929
1211: 4933 + 4928
1212: 4934 + 4933
1213: 4945 + 4934
1214: 4943 < 4945
1215: 4944 + 4943
1216: 4945 + 4944
1217: 4947 + 4945
1218: 4944 < 4947
1219: 4957 + 4944
1220: 4955 < 4957
1221: 4956 + 4955
1222: 4944 < 4956
1223: 4946 + 4944
1224: 4954 + 4946
1225: 4961 + 4954
1226: 4967 + 4961
1227: 4981 + 4967
1228: 4971 < 4981
1229: 4980 + 4971
1230: 4981 + 4980
1231: 4989 + 4981
1232: 4991 + 4989
1233: 5000 + 4991
1234: 5017 + 5000
1235: 5016 < 5017
1236: 5017 + 5016
1237: 5016 < 5017
1238: 5018 + 5016
1239: 5032 + 5018
1240: 5033 + 5032
1241: 5038 + 5033
1242: 5039 + 5038
1243: 5041 + 5039
1244: 5043 + 5041
1245: 5059 + 5043
1246: 5068 + 5059
1247: 5070 + 5068
1248: 5074 + 5070
1249: 5075 + 5074
1250: 5076 + 5075
1251: 5088 + 5076
1252: 5099 + 5088
1253: 5100 + 5099
1254: 5105 + 5100
1255: 5122 + 5105
1256: 5123 + 5122
1257: 5124 + 5123
1258: 5126 + 5124
1259: 5118 < 5126
1260: 5116 < 5118
1261: 5121 + 5116
1262: 5115 < 5121
1263: 5125 + 5115
1264: 5128 + 5125
1265: 5133 + 5128
1266: 5143 + 5133
1267: 5142 < 5143
1268: 5143 + 5142
1269: 5150 + 5143
1270: 5145 < 5150
1271: 5146 + 5145
1272: 5148 + 5146
1273: 5154 + 5148
1274: 5155 + 5154
1275: 5166 + 5155
1276: 5164 < 5166
1277: 5180 + 5164
1278: 5173 < 5180
1279: 5168 < 5173
1280: 5167 < 5168
1281: 5169 + 5167
1282: 5175 + 5169
1283: 5176 + 5175
1284: 5204 + 5176
1285: 5203 < 5204
1286: 5204 + 5203
1287: 5206 + 5204
1288: 5210 + 5206
1289: 5204 < 5210
1290: 5205 + 5204
1291: 5206 + 5205
1292: 5207 + 5206
1293: 5205 < 5207
1294: 5226 + 5205
1295: 5233 + 5226
1296: 5235 + 5233
1297: 5239 + 5235
1298: 5241 + 5239
1299: 5242 + 5241
1300: 5261 + 5242
1301: 5266 + 5261
1302: 5260 < 5266
1303: 5268 + 5260
1304: 5272 + 5268
1305: 5278 + 5272
1306: 5280 + 5278
1307: 5281 + 5280
1308: 5290 + 5281
1309: 5295 + 5290
1310: 5296 + 5295
1311: 5306 + 5296
1312: 5319 + 5306
1313: 5344 + 5319
1314: 5362 + 5344
1315: 5364 + 5362
1316: 5377 + 5364
1317: 5381 + 5377
1318: 5385 + 5381
1319: 5368 < 5385
1320: 5391 + 5368
1321: 5392 + 5391
1322: 5381 < 5392
1323: 5397 + 5381
1324: 5398 + 5397
1325: 5405 + 5398
1326: 5385 < 5405
1327: 5395 + 5385
1328: 5396 + 5395
1329: 5401 + 5396
1330: 5407 + 5401
1331: 5408 + 5407
1332: 5402 < 5408
1333: 5400 < 5402
1334: 5401 + 5400
1335: 5404 + 5401
1336: 5414 + 5404
1337: 5415 + 5414
1338: 5418 + 5415
1339: 5427 + 5418
1340: 5413 < 5427
1341: 5408 < 5413
1342: 5419 + 5408
1343: 5440 + 5419
1344: 5445 + 5440
1345: 5444 < 5445
1346: 5439 < 5444
1347: 5443 + 5439
1348: 5448 + 5443
1349: 5449 + 5448
1350: 5448 < 5449
1351: 5475 + 5448
1352: 5477 + 5475
1353: 5481 + 5477
1354: 5474 < 5481
1355: 5476 + 5474
1356: 5480 + 5476
1357: 5497 + 5480
1358: 5494 < 5497
1359: 5496 + 5494
1360: 5505 + 5496
1361: 5506 + 5505
1362: 5509 + 5506
1363: 5517 + 5509
1364: 5518 + 5517
1365: 5521 + 5518
1366: 5510 < 5521
1367: 5511 + 5510
1368: 5513 + 5511
1369: 5514 + 5513
1370: 5513 < 5514
1371: 5528 + 5513
1372: 5536 + 5528
1373: 5523 < 5536
1374: 5525 + 5523
1375: 5526 + 5525
1376: 5524 < 5526
1377: 5525 + 5524
1378: 5527 + 5525
1379: 5528 + 5527
1380: 5534 + 5528
1381: 5538 + 5534
1382: 5554 + 5538
1383: 5560 + 5554
1384: 5563 + 5560
1385: 5564 + 5563
1386: 5571 + 5564
1387: 5586 + 5571
1388: 5590 + 5586
1389: 5596 + 5590
1390: 5597 + 5596
1391: 5603 + 5597
1392: 5624 + 5603
1393: 5599 < 5624
1394: 5609 + 5599
1395: 5599 < 5609
1396: 5618 + 5599
1397: 5620 + 5618
1398: 5608 < 5620
1399: 5623 + 5608
1400: 5627 + 5623
1401: 5629 + 5627
1402: 5630 + 5629
1403: 5632 + 5630
1404: 5640 + 5632
1405: 5637 < 5640
1406: 5638 + 5637
1407: 5643 + 5638
1408: 5653 + 5643
1409: 5650 < 5653
1410: 5649 < 5650
1411: 5658 + 5649
1412: 5656 < 5658
1413: 5654 < 5656
1414: 5673 + 5654
1415: 5672 < 5673
1416: 5673 + 5672
1417: 5675 + 5673
1418: 5676 + 5675
1419: 5677 + 5676
1420: 5672 < 5677
1421: 5682 + 5672
1422: 5681 < 5682
1423: 5680 < 5681
1424: 5671 < 5680
1425: 5674 + 5671
1426: 5679 + 5674
1427: 5685 + 5679
1428: 5687 + 5685
1429: 5691 + 5687
1430: 5694 + 5691
1431: 5718 + 5694
1432: 5720 + 5718
1433: 5721 + 5720
1434: 5719 < 5721
1435: 5716 < 5719
1436: 5717 + 5716
1437: 5719 + 5717
1438: 5711 < 5719
1439: 5712 + 5711
1440: 5713 + 5712
1441: 5712 < 5713
1442: 5711 < 5712
1443: 5712 + 5711
1444: 5711 < 5712
1445: 5704 < 5711
1446: 5709 + 5704
1447: 5710 + 5709
1448: 5723 + 5710
1449: 5720 < 5723
1450: 5719 < 5720
1451: 5720 + 5719
1452: 5725 + 5720
1453: 5724 < 5725
1454: 5728 + 5724
1455: 5729 + 5728
1456: 5747 + 5729
1457: 5745 < 5747
1458: 5747 + 5745
1459: 5748 + 5747
1460: 5752 + 5748
1461: 5749 < 5752
1462: 5763 + 5749
1463: 5766 + 5763
1464: 5767 + 5766
1465: 5775 + 5767
1466: 5782 + 5775
1467: 5784 + 5782
1468: 5785 + 5784
1469: 5787 + 5785
1470: 5788 + 5787
1471: 5787 < 5788
1472: 5792 + 5787
1473: 5787 < 5792
1474: 5788 + 5787
1475: 5787 < 5788
1476: 5789 + 5787
1477: 5792 + 5789
1478: 5793 + 5792
1479: 5820 + 5793
1480: 5827 + 5820
1481: 5843 + 5827
1482: 5844 + 5843
1483: 5864 + 5844
1484: 5875 + 5864
1485: 5877 + 5875
1486: 5890 + 5877
1487: 5895 + 5890
1488: 5896 + 5895
1489: 5909 + 5896
1490: 5932 + 5909
1491: 5944 + 5932
1492: 5951 + 5944
1493: 5960 + 5951
1494: 5983 + 5960
1495: 5996 + 5983
1496: 6003 + 5996
1497: 6028 + 6003
1498: 6043 + 6028
1499: 6046 + 6043
1500: 6038 < 6046
1501: 6053 + 6038
1502: 6056 + 6053
1503: 6069 + 6056
1504: 6063 < 6069
1505: 6059 < 6063
1506: 6064 + 6059
1507: 6065 + 6064
1508: 6077 + 6065
1509: 6075 < 6077
1510: 6074 < 6075
1511: 6075 + 6074
1512: 6091 + 6075
1513: 6108 + 6091
1514: 6109 + 6108
1515: 6103 < 6109
1516: 6100 < 6103
1517: 6108 + 6100
1518: 6130 + 6108
1519: 6131 + 6130
1520: 6158 + 6131
1521: 6162 + 6158
1522: 6176 + 6162
1523: 6166 < 6176
1524: 6168 + 6166
1525: 6170 + 6168
1526: 6181 + 6170
1527: 6180 < 6181
1528: 6179 < 6180
1529: 6180 + 6179
1530: 6183 + 6180
1531: 6184 + 6183
1532: 6187 + 6184
1533: 6186 < 6187
1534: 6185 < 6186
1535: 6182 < 6185
1536: 6194 + 6182
1537: 6190 < 6194
1538: 6193 + 6190
1539: 6222 + 6193
1540: 6241 + 6222
1541: 6243 + 6241
1542: 6233 < 6243
1543: 6222 < 6233
1544: 6248 + 6222
1545: 6250 + 6248
1546: 6251 + 6250
1547: 6265 + 6251
1548: 6269 + 6265
1549: 6270 + 6269
1550: 6272 + 6270
1551: 6285 + 6272
1552: 6284 < 6285
1553: 6280 < 6284
1554: 6273 < 6280
1555: 6286 + 6273
1556: 6287 + 6286
1557: 6292 + 6287
1558: 6307 + 6292
1559: 6311 + 6307
1560: 6317 + 6311
1561: 6316 < 6317
1562: 6317 + 6316
1563: 6316 < 6317
1564: 6317 + 6316
1565: 6314 < 6317
1566: 6316 + 6314
1567: 6291 < 6316
1568: 6293 + 6291
1569: 6323 + 6293
1570: 6327 + 6323
1571: 6328 + 6327
1572: 6327 < 6328
1573: 6322 < 6327
1574: 6321 < 6322
1575: 6330 + 6321
1576: 6332 + 6330
1577: 6335 + 6332
1578: 6333 < 6335
1579: 6351 + 6333
1580: 6349 < 6351
1581: 6346 < 6349
1582: 6347 + 6346
1583: 6346 < 6347
1584: 6364 + 6346
1585: 6374 + 6364
1586: 6383 + 6374
1587: 6395 + 6383
1588: 6398 + 6395
1589: 6406 + 6398
1590: 6418 + 6406
1591: 6419 + 6418
1592: 6418 < 6419
1593: 6413 < 6418
1594: 6414 + 6413
1595: 6415 + 6414
1596: 6416 + 6415
1597: 6399 < 6416
1598: 6400 + 6399
1599: 6401 + 6400
1600: 6399 < 6401
1601: 6382 < 6399
1602: 6379 < 6382
1603: 6380 + 6379
1604: 6386 + 6380
1605: 6387 + 6386
1606: 6373 < 6387
1607: 6372 < 6373
1608: 6396 + 6372
1609: 6397 + 6396
1610: 6415 + 6397
1611: 6423 + 6415
1612: 6424 + 6423
1613: 6433 + 6424
1614: 6438 + 6433
1615: 6445 + 6438
1616: 6446 + 6445
1617: 6447 + 6446
1618: 6448 + 6447
1619: 6450 + 6448
1620: 6446 < 6450
1621: 6464 + 6446
1622: 6447 < 6464
1623: 6452 + 6447
1624: 6464 + 6452
1625: 6466 + 6464
1626: 6477 + 6466
1627: 6491 + 6477
1628: 6489 < 6491
1629: 6490 + 6489
1630: 6503 + 6490
1631: 6528 + 6503
1632: 6562 + 6528
1633: 6564 + 6562
1634: 6581 + 6564
1635: 6579 < 6581
1636: 6580 + 6579
1637: 6594 + 6580
1638: 6595 + 6594
1639: 6609 + 6595
1640: 6619 + 6609
1641: 6621 + 6619
1642: 6641 + 6621
1643: 6648 + 6641
1644: 6693 + 6648
1645: 6686 < 6693
1646: 6693 + 6686
1647: 6677 < 6693
1648: 6700 + 6677
1649: 6706 + 6700
1650: 6707 + 6706
1651: 6710 + 6707
1652: 6735 + 6710
1653: 6745 + 6735
1654: 6746 + 6745
1655: 6747 + 6746
1656: 6748 + 6747
1657: 6750 + 6748
1658: 6753 + 6750
1659: 6755 + 6753
1660: 6756 + 6755
1661: 6759 + 6756
1662: 6760 + 6759
1663: 6771 + 6760
1664: 6770 < 6771
1665: 6775 + 6770
1666: 6785 + 6775
1667: 6788 + 6785
1668: 6793 + 6788
1669: 6796 + 6793
1670: 6797 + 6796
1671: 6806 + 6797
1672: 6814 + 6806
1673: 6821 + 6814
1674: 6822 + 6821
1675: 6823 + 6822
1676: 6825 + 6823
1677: 6827 + 6825
1678: 6841 + 6827
1679: 6846 + 6841
1680: 6841 < 6846
1681: 6834 < 6841
1682: 6836 + 6834
1683: 6837 + 6836
1684: 6815 < 6837
1685: 6824 + 6815
1686: 6830 + 6824
1687: 6837 + 6830
1688: 6841 + 6837
1689: 6834 < 6841
1690: 6835 + 6834
1691: 6836 + 6835
1692: 6826 < 6836
1693: 6841 + 6826
1694: 6835 < 6841
1695: 6795 < 6835
1696: 6794 < 6795
1697: 6795 + 6794
1698: 6793 < 6795
1699: 6794 + 6793
1700: 6795 + 6794
1701: 6804 + 6795
1702: 6816 + 6804
1703: 6817 + 6816
1704: 6819 + 6817
1705: 6830 + 6819
1706: 6835 + 6830
1707: 6840 + 6835
1708: 6845 + 6840
1709: 6853 + 6845
1710: 6897 + 6853
1711: 6896 < 6897
1712: 6894 < 6896
1713: 6896 + 6894
1714: 6899 + 6896
1715: 6897 < 6899
1716: 6903 + 6897
1717: 6886 < 6903
1718: 6889 + 6886
1719: 6890 + 6889
1720: 6891 + 6890
1721: 6890 < 6891
1722: 6891 + 6890
1723: 6894 + 6891
1724: 6888 < 6894
1725: 6905 + 6888
1726: 6906 + 6905
1727: 6916 + 6906
1728: 6917 + 6916
1729: 6921 + 6917
1730: 6920 < 6921
1731: 6924 + 6920
1732: 6925 + 6924
1733: 6939 + 6925
1734: 6958 + 6939
1735: 6968 + 6958
1736: 6969 + 6968
1737: 6974 + 6969
1738: 6977 + 6974
1739: 6975 < 6977
1740: 6971 < 6975
1741: 6963 < 6971
1742: 6964 + 6963
1743: 6974 + 6964
1744: 6975 + 6974
1745: 6976 + 6975
1746: 6977 + 6976
1747: 6971 < 6977
1748: 6969 < 6971
1749: 6977 + 6969
1750: 7003 + 6977
1751: 6985 < 7003
1752: 6993 + 6985
1753: 6997 + 6993
1754: 6999 + 6997
1755: 7000 + 6999
1756: 7001 + 7000
1757: 6999 < 7001
1758: 7000 + 6999
1759: 7004 + 7000
1760: 7003 < 7004
1761: 7017 + 7003
1762: 7033 + 7017
1763: 7053 + 7033
1764: 7058 + 7053
1765: 7066 + 7058
1766: 7067 + 7066
1767: 7064 < 7067
1768: 7066 + 7064
1769: 7062 < 7066
1770: 7063 + 7062
1771: 7088 + 7063
1772: 7093 + 7088
1773: 7096 + 7093
1774: 7106 + 7096
1775: 7110 + 7106
1776: 7116 + 7110
1777: 7124 + 7116
1778: 7125 + 7124
1779: 7128 + 7125
1780: 7150 + 7128
1781: 7152 + 7150
1782: 7154 + 7152
1783: 7159 + 7154
1784: 7161 + 7159
1785: 7162 + 7161
1786: 7144 < 7162
1787: 7176 + 7144
1788: 7183 + 7176
1789: 7185 + 7183
1790: 7172 < 7185
1791: 7208 + 7172
1792: 7207 < 7208
1793: 7222 + 7207
1794: 7225 + 7222
1795: 7226 + 7225
1796: 7222 < 7226
1797: 7210 < 7222
1798: 7211 + 7210
1799: 7212 + 7211
1800: 7238 + 7212
1801: 7231 < 7238
1802: 7221 < 7231
1803: 7236 + 7221
1804: 7237 + 7236
1805: 7234 < 7237
1806: 7235 + 7234
1807: 7253 + 7235
1808: 7249 < 7253
1809: 7253 + 7249
1810: 7263 + 7253
1811: 7260 < 7263
1812: 7259 < 7260
1813: 7260 + 7259
1814: 7261 + 7260
1815: 7263 + 7261
1816: 7241 < 7263
1817: 7243 + 7241
1818: 7257 + 7243
1819: 7260 + 7257
1820: 7261 + 7260
1821: 7275 + 7261
1822: 7258 < 7275
1823: 7263 + 7258
1824: 7274 + 7263
1825: 7279 + 7274
1826: 7280 + 7279
1827: 7289 + 7280
1828: 7307 + 7289
1829: 7289 < 7307
1830: 7301 + 7289
1831: 7307 + 7301
1832: 7309 + 7307
1833: 7317 + 7309
1834: 7337 + 7317
1835: 7360 + 7337
1836: 7364 + 7360
1837: 7375 + 7364
1838: 7373 < 7375
1839: 7377 + 7373
1840: 7403 + 7377
1841: 7415 + 7403
1842: 7438 + 7415
1843: 7439 + 7438
1844: 7438 < 7439
1845: 7442 + 7438
1846: 7445 + 7442
1847: 7446 + 7445
1848: 7450 + 7446
1849: 7452 + 7450
1850: 7453 + 7452
1851: 7460 + 7453
1852: 7468 + 7460
1853: 7472 + 7468
1854: 7478 + 7472
1855: 7474 < 7478
1856: 7487 + 7474
1857: 7486 < 7487
1858: 7487 + 7486
1859: 7488 + 7487
1860: 7492 + 7488
1861: 7510 + 7492
1862: 7509 < 7510
1863: 7506 < 7509
1864: 7507 + 7506
1865: 7512 + 7507
1866: 7516 + 7512
1867: 7519 + 7516
1868: 7514 < 7519
1869: 7525 + 7514
1870: 7545 + 7525
1871: 7553 + 7545
1872: 7554 + 7553
1873: 7560 + 7554
1874: 7561 + 7560
1875: 7560 < 7561
1876: 7561 + 7560
1877: 7564 + 7561
1878: 7571 + 7564
1879: 7601 + 7571
1880: 7605 + 7601
1881: 7628 + 7605
1882: 7629 + 7628
1883: 7642 + 7629
1884: 7651 + 7642
1885: 7682 + 7651
1886: 7684 + 7682
1887: 7685 + 7684
1888: 7698 + 7685
1889: 7699 + 7698
1890: 7713 + 7699
1891: 7734 + 7713
1892: 7753 + 7734
1893: 7755 + 7753
1894: 7760 + 7755
1895: 7767 + 7760
1896: 7775 + 7767
1897: 7776 + 7775
1898: 7777 + 7776
1899: 7760 < 7777
1900: 7763 + 7760
1901: 7770 + 7763
1902: 7758 < 7770
1903: 7769 + 7758
1904: 7765 < 7769
1905: 7772 + 7765
1906: 7777 + 7772
1907: 7774 < 7777
1908: 7780 + 7774
1909: 7781 + 7780
1910: 7785 + 7781
1911: 7783 < 7785
1912: 7800 + 7783
1913: 7801 + 7800
1914: 7799 < 7801
1915: 7804 + 7799
1916: 7805 + 7804
1917: 7814 + 7805
1918: 7815 + 7814
1919: 7801 < 7815
1920: 7802 + 7801
1921: 7803 + 7802
1922: 7806 + 7803
1923: 7808 + 7806
1924: 7810 + 7808
1925: 7816 + 7810
1926: 7821 + 7816
1927: 7796 < 7821
1928: 7795 < 7796
1929: 7793 < 7795
1930: 7792 < 7793
1931: 7769 < 7792
1932: 7770 + 7769
1933: 7777 + 7770
1934: 7771 < 7777
1935: 7772 + 7771
1936: 7773 + 7772
1937: 7775 + 7773
1938: 7776 + 7775
1939: 7778 + 7776
1940: 7766 < 7778
1941: 7767 + 7766
1942: 7768 + 7767
1943: 7774 + 7768
1944: 7775 + 7774
1945: 7780 + 7775
1946: 7781 + 7780
1947: 7782 + 7781
1948: 7788 + 7782
1949: 7791 + 7788
1950: 7796 + 7791
1951: 7798 + 7796
1952: 7813 + 7798
1953: 7814 + 7813
1954: 7817 + 7814
1955: 7824 + 7817
1956: 7825 + 7824
1957: 7826 + 7825
1958: 7828 + 7826
1959: 7843 + 7828
1960: 7867 + 7843
1961: 7870 + 7867
1962: 7872 + 7870
1963: 7875 + 7872
1964: 7877 + 7875
1965: 7878 + 7877
1966: 7888 + 7878
1967: 7893 + 7888
1968: 7902 + 7893
1969: 7904 + 7902
1970: 7911 + 7904
1971: 7914 + 7911
1972: 7915 + 7914
1973: 7919 + 7915
1974: 7915 < 7919
1975: 7945 + 7915
1976: 7946 + 7945
1977: 7952 + 7946
1978: 7954 + 7952
1979: 7931 < 7954
1980: 7935 + 7931
1981: 7936 + 7935
1982: 7900 < 7936
1983: 7915 + 7900
1984: 7920 + 7915
1985: 7911 < 7920
1986: 7914 + 7911
1987: 7925 + 7914
1988: 7937 + 7925
1989: 7942 + 7937
1990: 7974 + 7942
1991: 7976 + 7974
1992: 7989 + 7976
1993: 7993 + 7989
1994: 8006 + 7993
1995: 8007 + 8006
1996: 8010 + 8007
1997: 8016 + 8010
1998: 8020 + 8016
1999: 8026 + 8020
Input length:2000
1548
452