plot_data_size_data.py

ast_lens = {0: 0, 1: 0, 2: 0, 3: 0, 4: 234, 5: 63, 6: 81414, 7: 179217, 8: 537786, 9: 813510, 10: 143001, 11: 897561, 12: 499221, 13: 334674, 14: 362682, 15: 302580, 16: 537264, 17: 541962, 18: 327078, 19: 340983, 20: 223191, 21: 218151, 22: 270549, 23: 268767, 24: 195885, 25: 138033, 26: 266229, 27: 174366, 28: 218196, 29: 191151, 30: 262161, 31: 179667, 32: 93708, 33: 116541, 34: 122121, 35: 98640, 36: 108207, 37: 130734, 38: 89001, 39: 123489, 40: 74844, 41: 93888, 42: 56403, 43: 79812, 44: 110889, 45: 56115, 46: 103599, 47: 37476, 48: 31644, 49: 50472, 50: 34524, 51: 28260, 52: 121266, 53: 43443, 54: 36090, 55: 66672, 56: 37521, 57: 28566, 58: 25245, 59: 51192, 60: 25668, 61: 59508, 62: 25218, 63: 33948, 64: 66042, 65: 40743, 66: 61119, 67: 50103, 68: 29115, 69: 28602, 70: 20655, 71: 17739, 72: 63036, 73: 44010, 74: 19944, 75: 19242, 76: 23850, 77: 24021, 78: 18387, 79: 16893, 80: 25992, 81: 21870, 82: 16092, 83: 18756, 84: 11826, 85: 19872, 86: 22932, 87: 20538, 88: 9468, 89: 10062, 90: 22203, 91: 16416, 92: 10845, 93: 18243, 94: 12150, 95: 10314, 96: 19782, 97: 9783, 98: 7830, 99: 11916, 100: 7704, 101: 7560, 102: 8874, 103: 5103, 104: 13077, 105: 8091, 106: 6399, 107: 25632, 108: 11547, 109: 26028, 110: 10863, 111: 5715, 112: 26334, 113: 8118, 114: 5976, 115: 5922, 116: 7380, 117: 6012, 118: 25038, 119: 5004, 120: 25317, 121: 6930, 122: 4626, 123: 5958, 124: 4005, 125: 32922, 126: 3816, 127: 23454, 128: 8100, 129: 3267, 130: 3915, 131: 7866, 132: 3348, 133: 22293, 134: 4194, 135: 4140, 136: 22239, 137: 4797, 138: 24246, 139: 5787, 140: 3870, 141: 6543, 142: 2178, 143: 5337, 144: 21321, 145: 4059, 146: 2709, 147: 3105, 148: 4086, 149: 11412, 150: 3861, 151: 5589, 152: 7425, 153: 3294, 154: 5184, 155: 5229, 156: 5166, 157: 8847, 158: 3555, 159: 4140, 160: 3249, 161: 2745, 162: 2493, 163: 3807, 164: 4113, 165: 3015, 166: 2241, 167: 6201, 168: 3537, 169: 6012, 170: 2565, 171: 3789, 172: 6282, 173: 3726, 174: 5499, 175: 4014, 176: 2493, 177: 2601, 178: 2421, 179: 2151, 180: 3969, 181: 2763, 182: 2367, 183: 4491, 184: 3150, 185: 8487, 186: 4302, 187: 4113, 188: 2421, 189: 2556, 190: 4095, 191: 3519, 192: 2349, 193: 3015, 194: 2358, 195: 1944, 196: 4653, 197: 3015, 198: 3024, 199: 2493, 200: 5004, 201: 2646, 202: 2961, 203: 2358, 204: 4248, 205: 2232, 206: 2124, 207: 2358, 208: 2025, 209: 1233, 210: 2421, 211: 2349, 212: 1530, 213: 2259, 214: 1332, 215: 2763, 216: 2898, 217: 1341, 218: 1404, 219: 990, 220: 1602, 221: 1584, 222: 1827, 223: 1557, 224: 945, 225: 7956, 226: 2070, 227: 2169, 228: 1485, 229: 3348, 230: 1386, 231: 2115, 232: 1440, 233: 5355, 234: 2484, 235: 1575, 236: 2979, 237: 1170, 238: 1395, 239: 1638, 240: 1332, 241: 1233, 242: 1863, 243: 1665, 244: 855, 245: 1314, 246: 837, 247: 1323, 248: 1350, 249: 1359, 250: 1215, 251: 1296, 252: 1242, 253: 846, 254: 1638, 255: 1197, 256: 783, 257: 1098, 258: 1170, 259: 945, 260: 1089, 261: 1197, 262: 1557, 263: 3789, 264: 1341, 265: 684, 266: 1089, 267: 1251, 268: 1188, 269: 1044, 270: 1188, 271: 1071, 272: 1197, 273: 1314, 274: 4149, 275: 1557, 276: 1008, 277: 4104, 278: 855, 279: 1116, 280: 927, 281: 846, 282: 720, 283: 819, 284: 1008, 285: 819, 286: 1170, 287: 864, 288: 1197, 289: 1359, 290: 900, 291: 1134, 292: 630, 293: 1242, 294: 1035, 295: 927, 296: 810, 297: 1116, 298: 963, 299: 828, 300: 621, 301: 756, 302: 1107, 303: 918, 304: 1773, 305: 909, 306: 792, 307: 909, 308: 666, 309: 1107, 310: 720, 311: 936, 312: 1341, 313: 1215, 314: 1080, 315: 873, 316: 1143, 317: 837, 318: 1971, 319: 846, 320: 1341, 321: 792, 322: 639, 323: 1242, 324: 1044, 325: 1071, 326: 909, 327: 756, 328: 657, 329: 846, 330: 729, 331: 783, 332: 828, 333: 891, 334: 495, 335: 567, 336: 945, 337: 513, 338: 1116, 339: 549, 340: 711, 341: 1170, 342: 612, 343: 693, 344: 909, 345: 756, 346: 657, 347: 864, 348: 918, 349: 855, 350: 513, 351: 648, 352: 963, 353: 630, 354: 486, 355: 1017, 356: 918, 357: 720, 358: 594, 359: 1089, 360: 549, 361: 720, 362: 531, 363: 1071, 364: 639, 365: 702, 366: 855, 367: 477, 368: 810, 369: 657, 370: 612, 371: 603, 372: 747, 373: 810, 374: 657, 375: 1143, 376: 459, 377: 1044, 378: 765, 379: 729, 380: 1188, 381: 1809, 382: 792, 383: 711, 384: 567, 385: 414, 386: 495, 387: 576, 388: 549, 389: 396, 390: 513, 391: 1008, 392: 801, 393: 1818, 394: 720, 395: 576, 396: 1845, 397: 972, 398: 360, 399: 414, 400: 432, 401: 639, 402: 693, 403: 531, 404: 594, 405: 702, 406: 1287, 407: 594, 408: 477, 409: 324, 410: 576, 411: 585, 412: 639, 413: 531, 414: 567, 415: 333, 416: 441, 417: 486, 418: 3681, 419: 603, 420: 837, 421: 837, 422: 792, 423: 468, 424: 945, 425: 1062, 426: 342, 427: 567, 428: 801, 429: 450, 430: 171, 431: 135, 432: 252, 433: 243, 434: 513, 435: 468, 436: 864, 437: 522, 438: 693, 439: 378, 440: 450, 441: 387, 442: 279, 443: 684, 444: 459, 445: 657, 446: 342, 447: 306, 448: 450, 449: 225, 450: 576, 451: 297, 452: 342, 453: 342, 454: 504, 455: 486, 456: 468, 457: 243, 458: 657, 459: 396, 460: 1017, 461: 378, 462: 414, 463: 558, 464: 1215, 465: 423, 466: 711, 467: 342, 468: 405, 469: 801, 470: 261, 471: 306, 472: 351, 473: 288, 474: 846, 475: 378, 476: 342, 477: 270, 478: 306, 479: 378, 480: 630, 481: 522, 482: 558, 483: 306, 484: 297, 485: 207, 486: 441, 487: 495, 488: 405, 489: 216, 490: 396, 491: 198, 492: 234, 493: 333, 494: 450, 495: 378, 496: 207, 497: 2511, 498: 378, 499: 2367, 500: 261, 501: 342, 502: 459, 503: 216, 504: 189, 505: 207, 506: 99, 507: 342, 508: 315, 509: 414, 510: 450, 511: 297, 512: 270, 513: 414, 514: 144, 515: 189, 516: 261, 517: 234, 518: 450, 519: 252, 520: 153, 521: 198, 522: 162, 523: 144, 524: 378, 525: 207, 526: 144, 527: 963, 528: 315, 529: 810, 530: 288, 531: 153, 532: 90, 533: 306, 534: 261, 535: 144, 536: 216, 537: 144, 538: 189, 539: 144, 540: 594, 541: 171, 542: 207, 543: 3159, 544: 99, 545: 126, 546: 315, 547: 117, 548: 108, 549: 153, 550: 288, 551: 144, 552: 144, 553: 225, 554: 171, 555: 216, 556: 207, 557: 270, 558: 63, 559: 153, 560: 162, 561: 135, 562: 126, 563: 90, 564: 270, 565: 117, 566: 63, 567: 108, 568: 117, 569: 207, 570: 90, 571: 63, 572: 153, 573: 495, 574: 135, 575: 81, 576: 135, 577: 72, 578: 90, 579: 90, 580: 45, 581: 135, 582: 90, 583: 72, 584: 54, 585: 108, 586: 36, 587: 63, 588: 153, 589: 72, 590: 63, 591: 135, 592: 90, 593: 54, 594: 54, 595: 90, 596: 99, 597: 108, 598: 54, 599: 252, 600: 72, 601: 117, 602: 81, 603: 135, 604: 54, 605: 45, 606: 90, 607: 153, 608: 72, 609: 18, 610: 18, 611: 36, 612: 135, 613: 90, 614: 63, 615: 72, 616: 99, 617: 108, 618: 45, 619: 117, 620: 63, 621: 27, 622: 72, 623: 81, 624: 27, 625: 18, 626: 18, 627: 54, 628: 18, 629: 99, 630: 27, 631: 90, 632: 36, 633: 9, 634: 27, 635: 495, 636: 18, 637: 324, 638: 36, 639: 36, 640: 27, 641: 18, 642: 36, 643: 171, 644: 27, 645: 54, 646: 63, 647: 1314, 648: 36, 649: 630, 650: 45, 651: 18, 652: 27, 653: 27, 654: 18, 655: 45, 656: 18, 657: 45, 658: 108, 659: 576, 660: 36, 661: 819, 662: 45, 663: 18, 664: 18, 665: 36, 666: 18, 667: 54, 668: 27, 669: 0, 670: 315, 671: 9, 672: 27, 673: 36, 674: 36, 675: 36, 676: 36, 677: 27, 678: 72, 679: 45, 680: 9, 681: 18, 682: 72, 683: 9, 684: 459, 685: 9, 686: 0, 687: 18, 688: 27, 689: 27, 690: 0, 691: 27, 692: 18, 693: 18, 694: 54, 695: 0, 696: 27, 697: 63, 698: 18, 699: 18, 700: 27, 701: 9, 702: 18, 703: 0, 704: 45, 705: 0, 706: 36, 707: 18, 708: 9, 709: 9, 710: 36, 711: 9, 712: 9, 713: 0, 714: 18, 715: 9, 716: 27, 717: 27, 718: 9, 719: 18, 720: 36, 721: 18, 722: 9, 723: 9, 724: 18, 725: 9, 726: 36, 727: 18, 728: 9, 729: 0, 730: 9, 731: 18, 732: 18, 733: 27, 734: 27, 735: 0, 736: 27, 737: 27, 738: 9, 739: 9, 740: 0, 741: 27, 742: 0, 743: 0, 744: 3015, 745: 72, 746: 18, 747: 18, 748: 18, 749: 9, 750: 0, 751: 9, 752: 27, 753: 0, 754: 36, 755: 9, 756: 0, 757: 0, 758: 0, 759: 0, 760: 0, 761: 9, 762: 0, 763: 0, 764: 9, 765: 9, 766: 0, 767: 27, 768: 3006, 769: 0, 770: 0, 771: 9, 772: 0, 773: 0, 774: 9, 775: 18, 776: 0, 777: 0, 778: 9, 779: 0, 780: 18, 781: 9, 782: 9, 783: 0, 784: 9, 785: 0, 786: 18, 787: 0, 788: 0, 789: 9, 790: 9, 791: 0, 792: 0, 793: 0, 794: 0, 795: 9, 796: 9, 797: 0, 798: 0, 799: 0, 800: 9, 801: 0, 802: 0, 803: 18, 804: 0, 805: 18, 806: 18, 807: 0, 808: 0, 809: 0, 810: 9, 811: 0, 812: 0, 813: 0, 814: 9, 815: 9, 816: 0, 817: 0, 818: 0, 819: 9, 820: 0, 821: 0, 822: 9, 823: 18, 824: 9, 825: 0, 826: 0, 827: 9, 828: 0, 829: 0, 830: 0, 831: 36, 832: 18, 833: 0, 834: 18, 835: 0, 836: 9, 837: 0, 838: 9, 839: 9, 840: 9, 841: 9, 842: 18, 843: 9, 844: 0, 845: 0, 846: 9, 847: 9, 848: 0, 849: 0, 850: 0, 851: 0, 852: 0, 853: 0, 854: 0, 855: 9, 856: 0, 857: 0, 858: 9, 859: 0, 860: 9, 861: 0, 862: 9, 863: 0, 864: 9, 865: 0, 866: 0, 867: 0, 868: 0, 869: 0, 870: 0, 871: 0, 872: 0, 873: 0, 874: 9, 875: 0, 876: 9, 877: 9, 878: 0, 879: 9, 880: 0, 881: 0, 882: 0, 883: 9, 884: 0, 885: 9, 886: 0, 887: 9, 888: 0, 889: 0, 890: 0, 891: 0, 892: 18, 893: 0, 894: 0, 895: 0, 896: 0, 897: 0, 898: 0, 899: 0, 900: 9, 901: 9, 902: 0, 903: 0, 904: 0, 905: 0, 906: 0, 907: 0, 908: 18, 909: 0, 910: 0, 911: 9, 912: 0, 913: 0, 914: 0, 915: 9, 916: 0, 917: 0, 918: 0, 919: 0, 920: 0, 921: 9, 922: 0, 923: 0, 924: 0, 925: 0, 926: 0, 927: 0, 928: 0, 929: 0, 930: 0, 931: 0, 932: 0, 933: 0, 934: 9, 935: 0, 936: 18, 937: 0, 938: 0, 939: 0, 940: 0, 941: 0, 942: 0, 943: 0, 944: 9, 945: 0, 946: 9, 947: 0, 948: 0, 949: 9, 950: 0, 951: 0, 952: 0, 953: 0, 954: 0, 955: 0, 956: 0, 957: 0, 958: 0, 959: 0, 960: 0, 961: 0, 962: 0, 963: 0, 964: 9, 965: 0, 966: 0, 967: 0, 968: 0, 969: 0, 970: 0, 971: 0, 972: 0, 973: 9, 974: 9, 975: 0, 976: 18, 977: 0, 978: 9, 979: 0, 980: 9, 981: 0, 982: 0, 983: 0, 984: 0, 985: 0, 986: 0, 987: 0, 988: 0, 989: 0, 990: 0, 991: 0, 992: 0, 993: 0, 994: 0, 995: 0, 996: 0, 997: 0, 998: 0, 999: 0, 1000: 0, 1001: 0, 1002: 0, 1003: 0, 1004: 0, 1005: 0, 1006: 0, 1007: 0, 1008: 0, 1009: 0, 1010: 0, 1011: 0, 1012: 0, 1013: 0, 1014: 0, 1015: 0, 1016: 0, 1017: 0, 1018: 0, 1019: 0, 1020: 0, 1021: 0, 1022: 0, 1023: 0, 1024: 9, 1025: 0, 1026: 0, 1027: 0, 1028: 0, 1029: 0, 1030: 0, 1031: 0, 1032: 0, 1033: 0, 1034: 0, 1035: 0, 1036: 0, 1037: 0, 1038: 0, 1039: 0, 1040: 0, 1041: 0, 1042: 0, 1043: 0, 1044: 0, 1045: 0, 1046: 0, 1047: 0, 1048: 0, 1049: 0, 1050: 0, 1051: 0, 1052: 0, 1053: 0, 1054: 0, 1055: 0, 1056: 0, 1057: 0, 1058: 0, 1059: 0, 1060: 0, 1061: 0, 1062: 0, 1063: 0, 1064: 0, 1065: 0, 1066: 0, 1067: 9, 1068: 0, 1069: 0, 1070: 0, 1071: 0, 1072: 0, 1073: 0, 1074: 0, 1075: 0, 1076: 0, 1077: 0, 1078: 0, 1079: 0, 1080: 0, 1081: 0, 1082: 0, 1083: 0, 1084: 0, 1085: 0, 1086: 0, 1087: 0, 1088: 0, 1089: 0, 1090: 0, 1091: 0, 1092: 0, 1093: 0, 1094: 0, 1095: 0, 1096: 0, 1097: 9, 1098: 0, 1099: 9, 1100: 0, 1101: 0, 1102: 0, 1103: 0, 1104: 0, 1105: 0, 1106: 0, 1107: 0, 1108: 0, 1109: 0, 1110: 0, 1111: 0, 1112: 0, 1113: 0, 1114: 0, 1115: 0, 1116: 0, 1117: 0, 1118: 0, 1119: 0, 1120: 0, 1121: 0, 1122: 0, 1123: 0, 1124: 0, 1125: 0, 1126: 0, 1127: 0, 1128: 0, 1129: 0, 1130: 0, 1131: 0, 1132: 0, 1133: 0, 1134: 0, 1135: 0, 1136: 0, 1137: 0, 1138: 0, 1139: 0, 1140: 0, 1141: 0, 1142: 0, 1143: 0, 1144: 0, 1145: 0, 1146: 0, 1147: 0, 1148: 0, 1149: 0, 1150: 0, 1151: 0, 1152: 0, 1153: 0, 1154: 0, 1155: 0, 1156: 0, 1157: 0, 1158: 0, 1159: 0, 1160: 0, 1161: 0, 1162: 0, 1163: 0, 1164: 0, 1165: 0, 1166: 0, 1167: 0, 1168: 0, 1169: 0, 1170: 0, 1171: 0, 1172: 0, 1173: 0, 1174: 0, 1175: 0, 1176: 0, 1177: 0, 1178: 0, 1179: 0, 1180: 0, 1181: 0, 1182: 0, 1183: 0, 1184: 0, 1185: 0, 1186: 0, 1187: 0, 1188: 0, 1189: 0, 1190: 0, 1191: 0, 1192: 0, 1193: 0, 1194: 0, 1195: 0, 1196: 0, 1197: 0, 1198: 0, 1199: 0, 1200: 0, 1201: 0, 1202: 0, 1203: 0, 1204: 0, 1205: 0, 1206: 0, 1207: 0, 1208: 0, 1209: 0, 1210: 0, 1211: 0, 1212: 0, 1213: 0, 1214: 0, 1215: 0, 1216: 0, 1217: 0, 1218: 0, 1219: 0, 1220: 0, 1221: 0, 1222: 0, 1223: 0, 1224: 0, 1225: 0, 1226: 0, 1227: 0, 1228: 0, 1229: 0, 1230: 0, 1231: 0, 1232: 0, 1233: 0, 1234: 0, 1235: 0, 1236: 0, 1237: 0, 1238: 0, 1239: 0, 1240: 0, 1241: 0, 1242: 0, 1243: 0, 1244: 0, 1245: 0, 1246: 0, 1247: 0, 1248: 0, 1249: 0, 1250: 0, 1251: 0, 1252: 0, 1253: 0, 1254: 0, 1255: 0, 1256: 0, 1257: 0, 1258: 0, 1259: 0, 1260: 0, 1261: 0, 1262: 0, 1263: 0, 1264: 0, 1265: 0, 1266: 0, 1267: 0, 1268: 0, 1269: 0, 1270: 0, 1271: 0, 1272: 0, 1273: 0, 1274: 0, 1275: 0, 1276: 0, 1277: 0, 1278: 0, 1279: 0, 1280: 0, 1281: 0, 1282: 0, 1283: 0, 1284: 0, 1285: 0, 1286: 0, 1287: 0, 1288: 0, 1289: 0, 1290: 0, 1291: 0, 1292: 0, 1293: 0, 1294: 0, 1295: 0, 1296: 0, 1297: 0, 1298: 0, 1299: 0, 1300: 0, 1301: 0, 1302: 0, 1303: 0, 1304: 0, 1305: 0, 1306: 0, 1307: 0, 1308: 0, 1309: 0, 1310: 0, 1311: 0, 1312: 0, 1313: 0, 1314: 0, 1315: 0, 1316: 0, 1317: 0, 1318: 0, 1319: 0, 1320: 0, 1321: 0, 1322: 0, 1323: 0, 1324: 0, 1325: 0, 1326: 0, 1327: 0, 1328: 0, 1329: 0, 1330: 0, 1331: 0, 1332: 0, 1333: 0, 1334: 0, 1335: 0, 1336: 0, 1337: 0, 1338: 0, 1339: 0, 1340: 0, 1341: 0, 1342: 0, 1343: 0, 1344: 0, 1345: 0, 1346: 0, 1347: 0, 1348: 0, 1349: 0, 1350: 0, 1351: 0, 1352: 0, 1353: 0, 1354: 0, 1355: 0, 1356: 0, 1357: 0, 1358: 0, 1359: 0, 1360: 0, 1361: 0, 1362: 0, 1363: 0, 1364: 0, 1365: 0, 1366: 0, 1367: 0, 1368: 0, 1369: 0, 1370: 0, 1371: 0, 1372: 0, 1373: 0, 1374: 0, 1375: 0, 1376: 0, 1377: 0, 1378: 0, 1379: 0, 1380: 0, 1381: 0, 1382: 0, 1383: 0, 1384: 0, 1385: 0, 1386: 0, 1387: 0, 1388: 0, 1389: 0, 1390: 0, 1391: 0, 1392: 0, 1393: 0, 1394: 0, 1395: 0, 1396: 0, 1397: 0, 1398: 0, 1399: 0, 1400: 0, 1401: 0, 1402: 0, 1403: 0, 1404: 0, 1405: 0, 1406: 0, 1407: 0, 1408: 0, 1409: 0, 1410: 0, 1411: 0, 1412: 0, 1413: 0, 1414: 0, 1415: 0, 1416: 0, 1417: 0, 1418: 0, 1419: 0, 1420: 0, 1421: 0, 1422: 0, 1423: 0, 1424: 0, 1425: 0, 1426: 0, 1427: 0, 1428: 0, 1429: 0, 1430: 0, 1431: 0, 1432: 0, 1433: 0, 1434: 0, 1435: 0, 1436: 0, 1437: 0, 1438: 0, 1439: 0, 1440: 0, 1441: 0, 1442: 0, 1443: 0, 1444: 0, 1445: 0, 1446: 0, 1447: 0, 1448: 0, 1449: 0, 1450: 0, 1451: 0, 1452: 0, 1453: 0, 1454: 0, 1455: 0, 1456: 0, 1457: 0, 1458: 0, 1459: 0, 1460: 0, 1461: 0, 1462: 0, 1463: 0, 1464: 0, 1465: 0, 1466: 0, 1467: 0, 1468: 0, 1469: 0, 1470: 0, 1471: 0, 1472: 0, 1473: 0, 1474: 0, 1475: 0, 1476: 0, 1477: 0, 1478: 0, 1479: 0, 1480: 0, 1481: 0, 1482: 0, 1483: 0, 1484: 0, 1485: 0, 1486: 0, 1487: 0, 1488: 0, 1489: 0, 1490: 0, 1491: 0, 1492: 0, 1493: 0, 1494: 0, 1495: 0, 1496: 0, 1497: 0, 1498: 0, 1499: 0, 1500: 0, 1501: 0, 1502: 0, 1503: 0, 1504: 0, 1505: 0, 1506: 0, 1507: 0, 1508: 0, 1509: 0, 1510: 0, 1511: 0, 1512: 0, 1513: 0, 1514: 0, 1515: 0, 1516: 0, 1517: 0, 1518: 0, 1519: 0, 1520: 0, 1521: 0, 1522: 0, 1523: 0, 1524: 0, 1525: 0, 1526: 0, 1527: 0, 1528: 0, 1529: 0, 1530: 0, 1531: 0, 1532: 0, 1533: 0, 1534: 0, 1535: 0, 1536: 0, 1537: 0, 1538: 0, 1539: 0, 1540: 0, 1541: 0, 1542: 0, 1543: 0, 1544: 0, 1545: 0, 1546: 0, 1547: 0, 1548: 0, 1549: 0, 1550: 0, 1551: 0, 1552: 0, 1553: 0, 1554: 0, 1555: 0, 1556: 0, 1557: 0, 1558: 0, 1559: 0, 1560: 0, 1561: 0, 1562: 0, 1563: 0, 1564: 0, 1565: 0, 1566: 0, 1567: 0, 1568: 0, 1569: 0, 1570: 0, 1571: 0, 1572: 0, 1573: 0, 1574: 0, 1575: 0, 1576: 0, 1577: 0, 1578: 0, 1579: 0, 1580: 0, 1581: 0, 1582: 0, 1583: 0, 1584: 0, 1585: 0, 1586: 0, 1587: 0, 1588: 0, 1589: 0, 1590: 0, 1591: 0, 1592: 0, 1593: 0, 1594: 0, 1595: 0, 1596: 0, 1597: 0, 1598: 0, 1599: 0, 1600: 0, 1601: 0, 1602: 0, 1603: 0, 1604: 0, 1605: 0, 1606: 0, 1607: 0, 1608: 0, 1609: 0, 1610: 0, 1611: 0, 1612: 0, 1613: 0, 1614: 0, 1615: 0, 1616: 0, 1617: 0, 1618: 0, 1619: 0, 1620: 0, 1621: 0, 1622: 0, 1623: 0, 1624: 0, 1625: 0, 1626: 0, 1627: 0, 1628: 0, 1629: 0, 1630: 0, 1631: 0, 1632: 0, 1633: 0, 1634: 0, 1635: 0, 1636: 0, 1637: 0, 1638: 0, 1639: 0, 1640: 0, 1641: 0, 1642: 0, 1643: 0, 1644: 0, 1645: 0, 1646: 0, 1647: 0, 1648: 0, 1649: 0, 1650: 0, 1651: 0, 1652: 0, 1653: 0, 1654: 0, 1655: 0, 1656: 0, 1657: 0, 1658: 0, 1659: 0, 1660: 0, 1661: 0, 1662: 0, 1663: 0, 1664: 0, 1665: 0, 1666: 0, 1667: 0, 1668: 0, 1669: 0, 1670: 0, 1671: 0, 1672: 0, 1673: 0, 1674: 0, 1675: 0, 1676: 0, 1677: 0, 1678: 0, 1679: 0, 1680: 0, 1681: 0, 1682: 0, 1683: 0, 1684: 0, 1685: 0, 1686: 0, 1687: 0, 1688: 0, 1689: 0, 1690: 0, 1691: 0, 1692: 0, 1693: 0, 1694: 0, 1695: 0, 1696: 0, 1697: 0, 1698: 0, 1699: 0, 1700: 0, 1701: 0, 1702: 0, 1703: 0, 1704: 0, 1705: 0, 1706: 0, 1707: 0, 1708: 0, 1709: 0, 1710: 0, 1711: 0, 1712: 0, 1713: 0, 1714: 0, 1715: 0, 1716: 0, 1717: 0, 1718: 0, 1719: 0, 1720: 0, 1721: 0, 1722: 0, 1723: 0, 1724: 0, 1725: 0, 1726: 0, 1727: 0, 1728: 0, 1729: 0, 1730: 0, 1731: 0, 1732: 0, 1733: 0, 1734: 0, 1735: 0, 1736: 0, 1737: 0, 1738: 0, 1739: 0, 1740: 0, 1741: 0, 1742: 0, 1743: 0, 1744: 0, 1745: 0, 1746: 0, 1747: 0, 1748: 0, 1749: 0, 1750: 0, 1751: 0, 1752: 0, 1753: 0, 1754: 0, 1755: 0, 1756: 0, 1757: 0, 1758: 0, 1759: 0, 1760: 0, 1761: 0, 1762: 0, 1763: 0, 1764: 0, 1765: 0, 1766: 0, 1767: 0, 1768: 0, 1769: 0, 1770: 0, 1771: 0, 1772: 0, 1773: 0, 1774: 0, 1775: 0, 1776: 0, 1777: 0, 1778: 0, 1779: 0, 1780: 0, 1781: 0, 1782: 0, 1783: 0, 1784: 0, 1785: 0, 1786: 0, 1787: 0, 1788: 0, 1789: 0, 1790: 0, 1791: 0, 1792: 0, 1793: 0, 1794: 0, 1795: 0, 1796: 0, 1797: 0, 1798: 0, 1799: 0, 1800: 0, 1801: 0, 1802: 0, 1803: 0, 1804: 0, 1805: 0, 1806: 0, 1807: 0, 1808: 0, 1809: 0, 1810: 0, 1811: 0, 1812: 0, 1813: 0, 1814: 0, 1815: 0, 1816: 0, 1817: 0, 1818: 0, 1819: 0, 1820: 0, 1821: 0, 1822: 0, 1823: 0, 1824: 0, 1825: 0, 1826: 0, 1827: 0, 1828: 0, 1829: 0, 1830: 0, 1831: 0, 1832: 0, 1833: 0, 1834: 0, 1835: 0, 1836: 0, 1837: 0, 1838: 0, 1839: 0, 1840: 0, 1841: 0, 1842: 0, 1843: 0, 1844: 0, 1845: 0, 1846: 0, 1847: 0, 1848: 0, 1849: 0, 1850: 0, 1851: 0, 1852: 0, 1853: 0, 1854: 0, 1855: 0, 1856: 0, 1857: 0, 1858: 0, 1859: 0, 1860: 0, 1861: 0, 1862: 0, 1863: 0, 1864: 0, 1865: 0, 1866: 0, 1867: 0, 1868: 0, 1869: 0, 1870: 0, 1871: 0, 1872: 0, 1873: 0, 1874: 0, 1875: 0, 1876: 0, 1877: 0, 1878: 0, 1879: 0, 1880: 0, 1881: 0, 1882: 0, 1883: 0, 1884: 0, 1885: 0, 1886: 0, 1887: 0, 1888: 0, 1889: 0, 1890: 0, 1891: 0, 1892: 0, 1893: 0, 1894: 0, 1895: 0, 1896: 0, 1897: 0, 1898: 0, 1899: 0, 1900: 0, 1901: 0, 1902: 0, 1903: 0, 1904: 0, 1905: 0, 1906: 0, 1907: 0, 1908: 0, 1909: 0, 1910: 0, 1911: 0, 1912: 0, 1913: 0, 1914: 0, 1915: 0, 1916: 0, 1917: 0, 1918: 0, 1919: 0, 1920: 0, 1921: 0, 1922: 0, 1923: 0, 1924: 0, 1925: 0, 1926: 0, 1927: 0, 1928: 0, 1929: 0, 1930: 0, 1931: 0, 1932: 0, 1933: 0, 1934: 0, 1935: 0, 1936: 0, 1937: 0, 1938: 0, 1939: 0, 1940: 0, 1941: 0, 1942: 0, 1943: 0, 1944: 0, 1945: 0, 1946: 0, 1947: 0, 1948: 0, 1949: 0, 1950: 0, 1951: 0, 1952: 0, 1953: 0, 1954: 0, 1955: 0, 1956: 0, 1957: 0, 1958: 0, 1959: 0, 1960: 0, 1961: 0, 1962: 0, 1963: 0, 1964: 0, 1965: 0, 1966: 0, 1967: 0, 1968: 0, 1969: 0, 1970: 0, 1971: 0, 1972: 0, 1973: 0, 1974: 0, 1975: 0, 1976: 0, 1977: 0, 1978: 0, 1979: 0, 1980: 0, 1981: 0, 1982: 0, 1983: 0, 1984: 0, 1985: 0, 1986: 0, 1987: 0, 1988: 0, 1989: 0, 1990: 0, 1991: 0, 1992: 0, 1993: 0, 1994: 0, 1995: 0, 1996: 0, 1997: 0, 1998: 0, 1999: 0}