In [1]:
infile="crystal.msh"
lines=open(infile).readlines()
In [6]:
ibeg=[i for i in range(len(lines)) if lines[i][-6:-1]=='Nodes']
nodes=[[float(b) for b in a.split()] for a in lines[ibeg[0]+2:ibeg[1]]]
len(nodes)
Out[6]:
6184
In [3]:
lines[:10]
Out[3]:
['$MeshFormat\n', '2.2 0 8\n', '$EndMeshFormat\n', '$Nodes\n', '6184\n', '1 0.5000000000000001 0.8660254037844386 0\n', '2 -0.4999999999999998 0.8660254037844387 0\n', '3 -1 1.224646799147353e-16 0\n', '4 -0.5000000000000004 -0.8660254037844384 0\n', '5 0.4999999999999993 -0.866025403784439 0\n']
In [7]:
from numpy import r_,sin,sqrt
nodes=r_[nodes].transpose()
%matplotlib inline
from matplotlib import pyplot as pl
pl.plot(nodes[1],nodes[3],'.')
Out[7]:
[<matplotlib.lines.Line2D at 0x7f1ce004e590>]
In [8]:
inex=[i for i in range(len(lines)) if lines[i][-9:-1]=='Elements']
cones=[[int(b) for b in a.split()] for a in lines[inex[0]+2:inex[1]]]
edges=r_[[c for c in cones if c[1]==1]].transpose()[3:]
In [13]:
faces
Out[13]:
array([[ 0, 0, 0, ..., 0, 0, 0],
[ 1, 1, 1, ..., 13, 13, 13],
[ 29, 30, 30, ..., 87, 87, 1256],
[ 30, 251, 31, ..., 1274, 88, 1274],
[ 252, 252, 251, ..., 1256, 1274, 1243]])
In [15]:
x,y=nodes[1:3]
pl.plot(x,y,'.')
ook=[pl.plot(x[p-1],y[p-1],':') for p in edges[-2:].transpose()]
In [12]:
faces=r_[[c for c in cones if c[1]==2]].transpose()[3:]
from collections import Counter
cc=Counter(list(faces[-3:].ravel()))
cc
Out[12]:
Counter({7: 8, 8: 8, 9: 8, 10: 8, 11: 8, 12: 8, 147: 8, 189: 8, 100: 7, 103: 7, 106: 7, 109: 7, 112: 7, 115: 7, 126: 7, 210: 7, 243: 7, 245: 7, 288: 7, 290: 7, 333: 7, 335: 7, 378: 7, 380: 7, 423: 7, 425: 7, 468: 7, 470: 7, 517: 7, 518: 7, 638: 7, 639: 7, 759: 7, 760: 7, 880: 7, 881: 7, 1001: 7, 1002: 7, 1122: 7, 1123: 7, 1: 6, 2: 6, 3: 6, 4: 6, 5: 6, 6: 6, 13: 6, 15: 6, 16: 6, 17: 6, 18: 6, 19: 6, 20: 6, 21: 6, 22: 6, 23: 6, 24: 6, 25: 6, 26: 6, 27: 6, 28: 6, 29: 6, 30: 6, 31: 6, 32: 6, 33: 6, 34: 6, 35: 6, 36: 6, 37: 6, 38: 6, 39: 6, 40: 6, 41: 6, 42: 6, 43: 6, 44: 6, 45: 6, 46: 6, 47: 6, 48: 6, 49: 6, 50: 6, 51: 6, 52: 6, 53: 6, 54: 6, 55: 6, 56: 6, 57: 6, 58: 6, 59: 6, 60: 6, 61: 6, 62: 6, 63: 6, 64: 6, 65: 6, 66: 6, 67: 6, 68: 6, 69: 6, 70: 6, 71: 6, 72: 6, 73: 6, 74: 6, 75: 6, 76: 6, 77: 6, 78: 6, 79: 6, 80: 6, 81: 6, 82: 6, 83: 6, 84: 6, 85: 6, 86: 6, 87: 6, 88: 6, 89: 6, 90: 6, 91: 6, 92: 6, 93: 6, 94: 6, 95: 6, 96: 6, 97: 6, 98: 6, 99: 6, 101: 6, 102: 6, 104: 6, 105: 6, 107: 6, 108: 6, 110: 6, 111: 6, 113: 6, 114: 6, 116: 6, 117: 6, 118: 6, 119: 6, 120: 6, 121: 6, 122: 6, 123: 6, 124: 6, 125: 6, 127: 6, 128: 6, 129: 6, 130: 6, 131: 6, 132: 6, 133: 6, 134: 6, 135: 6, 136: 6, 137: 6, 138: 6, 139: 6, 140: 6, 141: 6, 142: 6, 143: 6, 144: 6, 145: 6, 146: 6, 148: 6, 149: 6, 150: 6, 151: 6, 152: 6, 153: 6, 154: 6, 155: 6, 156: 6, 157: 6, 158: 6, 159: 6, 160: 6, 161: 6, 162: 6, 163: 6, 164: 6, 165: 6, 166: 6, 167: 6, 168: 6, 169: 6, 170: 6, 171: 6, 172: 6, 173: 6, 174: 6, 175: 6, 176: 6, 177: 6, 178: 6, 179: 6, 180: 6, 181: 6, 182: 6, 183: 6, 184: 6, 185: 6, 186: 6, 187: 6, 188: 6, 190: 6, 191: 6, 192: 6, 193: 6, 194: 6, 195: 6, 196: 6, 197: 6, 198: 6, 199: 6, 200: 6, 201: 6, 202: 6, 203: 6, 204: 6, 205: 6, 206: 6, 207: 6, 208: 6, 209: 6, 211: 6, 212: 6, 213: 6, 214: 6, 215: 6, 216: 6, 217: 6, 218: 6, 219: 6, 220: 6, 221: 6, 222: 6, 223: 6, 224: 6, 225: 6, 226: 6, 227: 6, 228: 6, 229: 6, 230: 6, 231: 6, 232: 6, 233: 6, 234: 6, 235: 6, 236: 6, 237: 6, 238: 6, 239: 6, 240: 6, 241: 6, 242: 6, 244: 6, 246: 6, 251: 6, 252: 6, 253: 6, 254: 6, 255: 6, 256: 6, 257: 6, 258: 6, 259: 6, 260: 6, 261: 6, 262: 6, 263: 6, 264: 6, 265: 6, 266: 6, 267: 6, 268: 6, 269: 6, 270: 6, 271: 6, 272: 6, 273: 6, 274: 6, 275: 6, 276: 6, 277: 6, 278: 6, 279: 6, 280: 6, 281: 6, 282: 6, 283: 6, 284: 6, 285: 6, 286: 6, 287: 6, 289: 6, 291: 6, 296: 6, 297: 6, 298: 6, 299: 6, 300: 6, 301: 6, 302: 6, 303: 6, 304: 6, 305: 6, 306: 6, 307: 6, 308: 6, 309: 6, 310: 6, 311: 6, 312: 6, 313: 6, 314: 6, 315: 6, 316: 6, 317: 6, 318: 6, 319: 6, 320: 6, 321: 6, 322: 6, 323: 6, 324: 6, 325: 6, 326: 6, 327: 6, 328: 6, 329: 6, 330: 6, 331: 6, 332: 6, 334: 6, 336: 6, 341: 6, 342: 6, 343: 6, 344: 6, 345: 6, 346: 6, 347: 6, 348: 6, 349: 6, 350: 6, 351: 6, 352: 6, 353: 6, 354: 6, 355: 6, 356: 6, 357: 6, 358: 6, 359: 6, 360: 6, 361: 6, 362: 6, 363: 6, 364: 6, 365: 6, 366: 6, 367: 6, 368: 6, 369: 6, 370: 6, 371: 6, 372: 6, 373: 6, 374: 6, 375: 6, 376: 6, 377: 6, 379: 6, 381: 6, 386: 6, 387: 6, 388: 6, 389: 6, 390: 6, 391: 6, 392: 6, 393: 6, 394: 6, 395: 6, 396: 6, 397: 6, 398: 6, 399: 6, 400: 6, 401: 6, 402: 6, 403: 6, 404: 6, 405: 6, 406: 6, 407: 6, 408: 6, 409: 6, 410: 6, 411: 6, 412: 6, 413: 6, 414: 6, 415: 6, 416: 6, 417: 6, 418: 6, 419: 6, 420: 6, 421: 6, 422: 6, 424: 6, 426: 6, 431: 6, 432: 6, 433: 6, 434: 6, 435: 6, 436: 6, 437: 6, 438: 6, 439: 6, 440: 6, 441: 6, 442: 6, 443: 6, 444: 6, 445: 6, 446: 6, 447: 6, 448: 6, 449: 6, 450: 6, 451: 6, 452: 6, 453: 6, 454: 6, 455: 6, 456: 6, 457: 6, 458: 6, 459: 6, 460: 6, 461: 6, 462: 6, 463: 6, 464: 6, 465: 6, 466: 6, 467: 6, 469: 6, 471: 6, 476: 6, 477: 6, 478: 6, 479: 6, 480: 6, 481: 6, 482: 6, 483: 6, 484: 6, 485: 6, 486: 6, 487: 6, 488: 6, 489: 6, 490: 6, 491: 6, 492: 6, 493: 6, 494: 6, 495: 6, 496: 6, 497: 6, 498: 6, 499: 6, 500: 6, 501: 6, 502: 6, 503: 6, 504: 6, 505: 6, 506: 6, 507: 6, 508: 6, 509: 6, 510: 6, 511: 6, 512: 6, 513: 6, 514: 6, 515: 6, 519: 6, 520: 6, 521: 6, 522: 6, 523: 6, 524: 6, 525: 6, 529: 6, 530: 6, 532: 6, 534: 6, 535: 6, 536: 6, 537: 6, 538: 6, 539: 6, 540: 6, 541: 6, 542: 6, 543: 6, 544: 6, 545: 6, 546: 6, 547: 6, 548: 6, 549: 6, 550: 6, 551: 6, 552: 6, 553: 6, 554: 6, 555: 6, 556: 6, 557: 6, 558: 6, 559: 6, 560: 6, 561: 6, 562: 6, 563: 6, 564: 6, 565: 6, 566: 6, 567: 6, 568: 6, 569: 6, 570: 6, 571: 6, 572: 6, 573: 6, 574: 6, 575: 6, 576: 6, 577: 6, 578: 6, 579: 6, 580: 6, 581: 6, 582: 6, 583: 6, 584: 6, 585: 6, 586: 6, 587: 6, 588: 6, 589: 6, 590: 6, 591: 6, 592: 6, 593: 6, 594: 6, 595: 6, 596: 6, 597: 6, 598: 6, 599: 6, 600: 6, 601: 6, 602: 6, 603: 6, 604: 6, 605: 6, 606: 6, 607: 6, 608: 6, 609: 6, 610: 6, 611: 6, 612: 6, 613: 6, 614: 6, 615: 6, 616: 6, 617: 6, 618: 6, 619: 6, 620: 6, 621: 6, 622: 6, 623: 6, 624: 6, 625: 6, 626: 6, 627: 6, 628: 6, 629: 6, 630: 6, 631: 6, 632: 6, 633: 6, 634: 6, 635: 6, 636: 6, 640: 6, 641: 6, 642: 6, 643: 6, 644: 6, 645: 6, 646: 6, 650: 6, 651: 6, 653: 6, 655: 6, 656: 6, 657: 6, 658: 6, 659: 6, 660: 6, 661: 6, 662: 6, 663: 6, 664: 6, 665: 6, 666: 6, 667: 6, 668: 6, 669: 6, 670: 6, 671: 6, 672: 6, 673: 6, 674: 6, 675: 6, 676: 6, 677: 6, 678: 6, 679: 6, 680: 6, 681: 6, 682: 6, 683: 6, 684: 6, 685: 6, 686: 6, 687: 6, 688: 6, 689: 6, 690: 6, 691: 6, 692: 6, 693: 6, 694: 6, 695: 6, 696: 6, 697: 6, 698: 6, 699: 6, 700: 6, 701: 6, 702: 6, 703: 6, 704: 6, 705: 6, 706: 6, 707: 6, 708: 6, 709: 6, 710: 6, 711: 6, 712: 6, 713: 6, 714: 6, 715: 6, 716: 6, 717: 6, 718: 6, 719: 6, 720: 6, 721: 6, 722: 6, 723: 6, 724: 6, 725: 6, 726: 6, 727: 6, 728: 6, 729: 6, 730: 6, 731: 6, 732: 6, 733: 6, 734: 6, 735: 6, 736: 6, 737: 6, 738: 6, 739: 6, 740: 6, 741: 6, 742: 6, 743: 6, 744: 6, 745: 6, 746: 6, 747: 6, 748: 6, 749: 6, 750: 6, 751: 6, 752: 6, 753: 6, 754: 6, 755: 6, 756: 6, 757: 6, 761: 6, 762: 6, 763: 6, 764: 6, 765: 6, 766: 6, 767: 6, 771: 6, 772: 6, 774: 6, 776: 6, 777: 6, 778: 6, 779: 6, 780: 6, 781: 6, 782: 6, 783: 6, 784: 6, 785: 6, 786: 6, 787: 6, 788: 6, 789: 6, 790: 6, 791: 6, 792: 6, 793: 6, 794: 6, 795: 6, 796: 6, 797: 6, 798: 6, 799: 6, 800: 6, 801: 6, 802: 6, 803: 6, 804: 6, 805: 6, 806: 6, 807: 6, 808: 6, 809: 6, 810: 6, 811: 6, 812: 6, 813: 6, 814: 6, 815: 6, 816: 6, 817: 6, 818: 6, 819: 6, 820: 6, 821: 6, 822: 6, 823: 6, 824: 6, 825: 6, 826: 6, 827: 6, 828: 6, 829: 6, 830: 6, 831: 6, 832: 6, 833: 6, 834: 6, 835: 6, 836: 6, 837: 6, 838: 6, 839: 6, 840: 6, 841: 6, 842: 6, 843: 6, 844: 6, 845: 6, 846: 6, 847: 6, 848: 6, 849: 6, 850: 6, 851: 6, 852: 6, 853: 6, 854: 6, 855: 6, 856: 6, 857: 6, 858: 6, 859: 6, 860: 6, 861: 6, 862: 6, 863: 6, 864: 6, 865: 6, 866: 6, 867: 6, 868: 6, 869: 6, 870: 6, 871: 6, 872: 6, 873: 6, 874: 6, 875: 6, 876: 6, 877: 6, 878: 6, 882: 6, 883: 6, 884: 6, 885: 6, 886: 6, 887: 6, 888: 6, 892: 6, 893: 6, 894: 6, 897: 6, 898: 6, 899: 6, 900: 6, 901: 6, 902: 6, 903: 6, 904: 6, 905: 6, 906: 6, 907: 6, 908: 6, 909: 6, 910: 6, 911: 6, 912: 6, 913: 6, 914: 6, 915: 6, 916: 6, 917: 6, 918: 6, 919: 6, 920: 6, 921: 6, 922: 6, 923: 6, 924: 6, 925: 6, 926: 6, 927: 6, 928: 6, 929: 6, 930: 6, 931: 6, 932: 6, 933: 6, 934: 6, 935: 6, 936: 6, 937: 6, 938: 6, 939: 6, 940: 6, 941: 6, 942: 6, 943: 6, 944: 6, 945: 6, 946: 6, 947: 6, 948: 6, 949: 6, 950: 6, 951: 6, 952: 6, 953: 6, 954: 6, 955: 6, 956: 6, 957: 6, 958: 6, 959: 6, 960: 6, 961: 6, 962: 6, 963: 6, 964: 6, 965: 6, 966: 6, 967: 6, 968: 6, 969: 6, 970: 6, 971: 6, 972: 6, 973: 6, 974: 6, 975: 6, 976: 6, 977: 6, 978: 6, 979: 6, 980: 6, 981: 6, 982: 6, 983: 6, 984: 6, 985: 6, 986: 6, 987: 6, 988: 6, 989: 6, 990: 6, 991: 6, 992: 6, 993: 6, 994: 6, 995: 6, 996: 6, 997: 6, 998: 6, 999: 6, 1003: 6, 1004: 6, 1005: 6, 1006: 6, 1007: 6, 1008: 6, 1009: 6, 1013: 6, 1014: 6, 1016: 6, 1018: 6, 1019: 6, 1020: 6, 1021: 6, 1022: 6, 1023: 6, 1024: 6, 1025: 6, 1026: 6, 1027: 6, 1028: 6, 1029: 6, 1030: 6, 1031: 6, 1032: 6, 1033: 6, 1034: 6, 1035: 6, 1036: 6, 1037: 6, 1038: 6, 1039: 6, 1040: 6, 1041: 6, 1042: 6, 1043: 6, 1044: 6, 1045: 6, 1046: 6, 1047: 6, 1048: 6, 1049: 6, 1050: 6, 1051: 6, 1052: 6, 1053: 6, 1054: 6, 1055: 6, 1056: 6, 1057: 6, 1058: 6, 1059: 6, 1060: 6, 1061: 6, 1062: 6, 1063: 6, 1064: 6, 1065: 6, 1066: 6, 1067: 6, 1068: 6, 1069: 6, 1070: 6, 1071: 6, 1072: 6, 1073: 6, 1074: 6, 1075: 6, 1076: 6, 1077: 6, 1078: 6, 1079: 6, 1080: 6, 1081: 6, 1082: 6, 1083: 6, 1084: 6, 1085: 6, 1086: 6, 1087: 6, 1088: 6, 1089: 6, 1090: 6, 1091: 6, 1092: 6, 1093: 6, 1094: 6, 1095: 6, 1096: 6, 1097: 6, 1098: 6, 1099: 6, 1100: 6, 1101: 6, 1102: 6, 1103: 6, 1104: 6, 1105: 6, 1106: 6, 1107: 6, 1108: 6, 1109: 6, 1110: 6, 1111: 6, 1112: 6, 1113: 6, 1114: 6, 1115: 6, 1116: 6, 1117: 6, 1118: 6, 1119: 6, 1120: 6, 1124: 6, 1125: 6, 1126: 6, 1127: 6, 1128: 6, 1129: 6, 1130: 6, 1134: 6, 1135: 6, 1137: 6, 1139: 6, 1140: 6, 1141: 6, 1142: 6, 1143: 6, 1144: 6, 1145: 6, 1146: 6, 1147: 6, 1148: 6, 1149: 6, 1150: 6, 1151: 6, 1152: 6, 1153: 6, 1154: 6, 1155: 6, 1156: 6, 1157: 6, 1158: 6, 1159: 6, 1160: 6, 1161: 6, 1162: 6, 1163: 6, 1164: 6, 1165: 6, 1166: 6, 1167: 6, 1168: 6, 1169: 6, 1170: 6, 1171: 6, 1172: 6, 1173: 6, 1174: 6, 1175: 6, 1176: 6, 1177: 6, 1178: 6, 1179: 6, 1180: 6, 1181: 6, 1182: 6, 1183: 6, 1184: 6, 1185: 6, 1186: 6, 1187: 6, 1188: 6, 1189: 6, 1190: 6, 1191: 6, 1192: 6, 1193: 6, 1194: 6, 1195: 6, 1196: 6, 1197: 6, 1198: 6, 1199: 6, 1200: 6, 1201: 6, 1202: 6, 1203: 6, 1204: 6, 1205: 6, 1206: 6, 1207: 6, 1208: 6, 1209: 6, 1210: 6, 1211: 6, 1212: 6, 1213: 6, 1214: 6, 1215: 6, 1216: 6, 1217: 6, 1218: 6, 1219: 6, 1220: 6, 1221: 6, 1222: 6, 1223: 6, 1224: 6, 1225: 6, 1226: 6, 1227: 6, 1228: 6, 1229: 6, 1230: 6, 1231: 6, 1232: 6, 1233: 6, 1234: 6, 1235: 6, 1236: 6, 1237: 6, 1238: 6, 1239: 6, 1240: 6, 1241: 6, 1242: 6, 1243: 6, 1244: 6, 1245: 6, 1246: 6, 1247: 6, 1248: 6, 1249: 6, 1250: 6, 1251: 6, 1252: 6, 1253: 6, 1254: 6, 1255: 6, 1256: 6, 1257: 6, 1258: 6, 1259: 6, 1260: 6, 1261: 6, 1262: 6, 1263: 6, 1264: 6, 1265: 6, 1266: 6, 1267: 6, 1268: 6, 1269: 6, 1270: 6, 1271: 6, 1272: 6, 1273: 6, 1274: 6, 1275: 6, 247: 5, 248: 5, 249: 5, 250: 5, 292: 5, 293: 5, 294: 5, 295: 5, 337: 5, 338: 5, 339: 5, 340: 5, 382: 5, 383: 5, 384: 5, 385: 5, 427: 5, 428: 5, 429: 5, 430: 5, 472: 5, 473: 5, 474: 5, 475: 5, 516: 5, 526: 5, 527: 5, 528: 5, 531: 5, 533: 5, 637: 5, 647: 5, 648: 5, 649: 5, 652: 5, 654: 5, 758: 5, 768: 5, 769: 5, 770: 5, 773: 5, 775: 5, 879: 5, 889: 5, 890: 5, 891: 5, 895: 5, 896: 5, 1000: 5, 1010: 5, 1011: 5, 1012: 5, 1015: 5, 1017: 5, 1121: 5, 1131: 5, 1132: 5, 1133: 5, 1136: 5, 1138: 5})
In [16]:
pl.plot(x,y,'.')
ook=[pl.plot(x[p-1],y[p-1],':') for p in faces[[-3,-2,-1,-3]].transpose()]
In [17]:
volus=r_[[c for c in cones if c[1]==4]].transpose()[3:]
from collections import Counter
cc2=Counter(list(volus[-4:].ravel()))
cc2
Out[17]:
Counter({1280: 42, 1461: 42, 1355: 40, 1489: 40, 1487: 38, 1808: 38, 1346: 36, 1408: 36, 1428: 36, 1452: 36, 1500: 36, 1609: 36, 1696: 36, 1730: 36, 1797: 36, 2995: 36, 3002: 36, 4583: 36, 5323: 36, 1283: 34, 1302: 34, 1324: 34, 1353: 34, 1399: 34, 1401: 34, 1435: 34, 1440: 34, 1472: 34, 1478: 34, 1510: 34, 1612: 34, 1643: 34, 1718: 34, 1789: 34, 2056: 34, 2575: 34, 2617: 34, 3271: 34, 3692: 34, 4033: 34, 4307: 34, 1279: 32, 1281: 32, 1333: 32, 1349: 32, 1373: 32, 1379: 32, 1400: 32, 1454: 32, 1459: 32, 1477: 32, 1481: 32, 1488: 32, 1516: 32, 1529: 32, 1538: 32, 1543: 32, 1544: 32, 1576: 32, 1584: 32, 1610: 32, 1648: 32, 1662: 32, 1664: 32, 1698: 32, 1714: 32, 1715: 32, 1724: 32, 1741: 32, 1773: 32, 1791: 32, 1794: 32, 1824: 32, 1842: 32, 1845: 32, 1871: 32, 1903: 32, 2016: 32, 2183: 32, 2233: 32, 2282: 32, 2412: 32, 2493: 32, 2587: 32, 2596: 32, 2626: 32, 2682: 32, 2731: 32, 2887: 32, 2946: 32, 3099: 32, 3102: 32, 3117: 32, 3219: 32, 3274: 32, 3397: 32, 3472: 32, 3532: 32, 3553: 32, 3716: 32, 3742: 32, 3930: 32, 3960: 32, 3967: 32, 4064: 32, 4172: 32, 4279: 32, 4280: 32, 4321: 32, 4350: 32, 4489: 32, 4553: 32, 5262: 32, 5271: 32, 5317: 32, 5375: 32, 5408: 32, 5425: 32, 5496: 32, 5510: 32, 5566: 32, 5644: 32, 5668: 32, 5736: 32, 5903: 32, 1277: 30, 1284: 30, 1289: 30, 1323: 30, 1334: 30, 1335: 30, 1338: 30, 1362: 30, 1364: 30, 1444: 30, 1455: 30, 1468: 30, 1471: 30, 1511: 30, 1521: 30, 1548: 30, 1555: 30, 1577: 30, 1589: 30, 1593: 30, 1604: 30, 1614: 30, 1615: 30, 1618: 30, 1621: 30, 1636: 30, 1644: 30, 1647: 30, 1675: 30, 1686: 30, 1688: 30, 1693: 30, 1701: 30, 1703: 30, 1725: 30, 1747: 30, 1751: 30, 1756: 30, 1779: 30, 1784: 30, 1802: 30, 1841: 30, 1846: 30, 1855: 30, 1872: 30, 1885: 30, 1892: 30, 1938: 30, 2037: 30, 2057: 30, 2113: 30, 2154: 30, 2244: 30, 2252: 30, 2270: 30, 2274: 30, 2287: 30, 2290: 30, 2317: 30, 2367: 30, 2375: 30, 2397: 30, 2421: 30, 2447: 30, 2485: 30, 2486: 30, 2530: 30, 2556: 30, 2568: 30, 2593: 30, 2613: 30, 2627: 30, 2652: 30, 2655: 30, 2658: 30, 2709: 30, 2710: 30, 2724: 30, 2734: 30, 2847: 30, 2859: 30, 2877: 30, 2884: 30, 2896: 30, 2905: 30, 2944: 30, 2979: 30, 3066: 30, 3127: 30, 3214: 30, 3217: 30, 3324: 30, 3372: 30, 3396: 30, 3412: 30, 3425: 30, 3478: 30, 3535: 30, 3594: 30, 3629: 30, 3685: 30, 3699: 30, 3728: 30, 3768: 30, 3772: 30, 3798: 30, 3854: 30, 3868: 30, 3941: 30, 3953: 30, 3954: 30, 3972: 30, 3998: 30, 4034: 30, 4061: 30, 4084: 30, 4146: 30, 4229: 30, 4300: 30, 4301: 30, 4370: 30, 4377: 30, 4406: 30, 4455: 30, 4501: 30, 4525: 30, 4527: 30, 4530: 30, 4543: 30, 4560: 30, 4588: 30, 4676: 30, 4707: 30, 4718: 30, 4780: 30, 4868: 30, 4897: 30, 4905: 30, 5015: 30, 5056: 30, 5084: 30, 5092: 30, 5093: 30, 5172: 30, 5181: 30, 5196: 30, 5209: 30, 5277: 30, 5280: 30, 5295: 30, 5299: 30, 5305: 30, 5316: 30, 5351: 30, 5394: 30, 5397: 30, 5402: 30, 5495: 30, 5531: 30, 5553: 30, 5560: 30, 5575: 30, 5638: 30, 5647: 30, 5677: 30, 5717: 30, 5751: 30, 5890: 30, 5951: 30, 6034: 30, 6158: 30, 1294: 28, 1299: 28, 1306: 28, 1307: 28, 1317: 28, 1321: 28, 1325: 28, 1326: 28, 1328: 28, 1371: 28, 1381: 28, 1403: 28, 1411: 28, 1421: 28, 1434: 28, 1445: 28, 1447: 28, 1462: 28, 1466: 28, 1476: 28, 1496: 28, 1499: 28, 1535: 28, 1547: 28, 1553: 28, 1570: 28, 1571: 28, 1579: 28, 1585: 28, 1588: 28, 1591: 28, 1596: 28, 1599: 28, 1617: 28, 1624: 28, 1627: 28, 1633: 28, 1637: 28, 1642: 28, 1646: 28, 1654: 28, 1687: 28, 1695: 28, 1713: 28, 1735: 28, 1745: 28, 1749: 28, 1760: 28, 1764: 28, 1780: 28, 1812: 28, 1821: 28, 1830: 28, 1832: 28, 1865: 28, 1882: 28, 1886: 28, 1889: 28, 1897: 28, 1907: 28, 1915: 28, 1918: 28, 1919: 28, 1922: 28, 1935: 28, 1959: 28, 1967: 28, 1971: 28, 1990: 28, 2003: 28, 2019: 28, 2024: 28, 2039: 28, 2043: 28, 2049: 28, 2053: 28, 2062: 28, 2069: 28, 2084: 28, 2103: 28, 2105: 28, 2110: 28, 2133: 28, 2137: 28, 2139: 28, 2144: 28, 2161: 28, 2174: 28, 2175: 28, 2181: 28, 2188: 28, 2196: 28, 2199: 28, 2206: 28, 2209: 28, 2227: 28, 2250: 28, 2257: 28, 2265: 28, 2272: 28, 2278: 28, 2279: 28, 2288: 28, 2301: 28, 2302: 28, 2318: 28, 2320: 28, 2322: 28, 2332: 28, 2337: 28, 2361: 28, 2363: 28, 2380: 28, 2382: 28, 2393: 28, 2395: 28, 2408: 28, 2411: 28, 2416: 28, 2422: 28, 2442: 28, 2444: 28, 2446: 28, 2454: 28, 2468: 28, 2472: 28, 2481: 28, 2489: 28, 2497: 28, 2500: 28, 2503: 28, 2506: 28, 2518: 28, 2520: 28, 2523: 28, 2551: 28, 2554: 28, 2557: 28, 2567: 28, 2581: 28, 2585: 28, 2589: 28, 2595: 28, 2598: 28, 2600: 28, 2604: 28, 2606: 28, 2616: 28, 2620: 28, 2622: 28, 2630: 28, 2633: 28, 2638: 28, 2644: 28, 2650: 28, 2653: 28, 2661: 28, 2662: 28, 2663: 28, 2665: 28, 2666: 28, 2716: 28, 2727: 28, 2729: 28, 2740: 28, 2766: 28, 2773: 28, 2785: 28, 2808: 28, 2814: 28, 2816: 28, 2818: 28, 2820: 28, 2821: 28, 2822: 28, 2848: 28, 2855: 28, 2861: 28, 2880: 28, 2895: 28, 2908: 28, 2919: 28, 2948: 28, 2951: 28, 2952: 28, 2959: 28, 2965: 28, 2970: 28, 2985: 28, 3007: 28, 3015: 28, 3044: 28, 3048: 28, 3064: 28, 3084: 28, 3085: 28, 3107: 28, 3114: 28, 3122: 28, 3134: 28, 3140: 28, 3143: 28, 3147: 28, 3161: 28, 3165: 28, 3172: 28, 3178: 28, 3200: 28, 3215: 28, 3222: 28, 3233: 28, 3248: 28, 3263: 28, 3276: 28, 3279: 28, 3280: 28, 3283: 28, 3285: 28, 3292: 28, 3295: 28, 3311: 28, 3331: 28, 3336: 28, 3339: 28, 3343: 28, 3348: 28, 3365: 28, 3394: 28, 3395: 28, 3405: 28, 3407: 28, 3408: 28, 3420: 28, 3432: 28, 3443: 28, 3444: 28, 3447: 28, 3449: 28, 3463: 28, 3464: 28, 3465: 28, 3468: 28, 3469: 28, 3494: 28, 3506: 28, 3536: 28, 3544: 28, 3548: 28, 3552: 28, 3575: 28, 3580: 28, 3601: 28, 3608: 28, 3612: 28, 3613: 28, 3617: 28, 3620: 28, 3624: 28, 3628: 28, 3631: 28, 3634: 28, 3688: 28, 3710: 28, 3711: 28, 3720: 28, 3736: 28, 3738: 28, 3740: 28, 3745: 28, 3769: 28, 3775: 28, 3778: 28, 3795: 28, 3799: 28, 3814: 28, 3823: 28, 3835: 28, 3844: 28, 3846: 28, 3866: 28, 3869: 28, 3875: 28, 3881: 28, 3900: 28, 3903: 28, 3910: 28, 3917: 28, 3921: 28, 3923: 28, 3935: 28, 3947: 28, 3948: 28, 3955: 28, 3980: 28, 3986: 28, 3990: 28, 3991: 28, 4017: 28, 4022: 28, 4030: 28, 4036: 28, 4040: 28, 4048: 28, 4050: 28, 4071: 28, 4076: 28, 4082: 28, 4096: 28, 4102: 28, 4117: 28, 4120: 28, 4122: 28, 4124: 28, 4136: 28, 4165: 28, 4168: 28, 4169: 28, 4182: 28, 4186: 28, 4192: 28, 4211: 28, 4213: 28, 4214: 28, 4217: 28, 4218: 28, 4237: 28, 4255: 28, 4256: 28, 4283: 28, 4290: 28, 4310: 28, 4337: 28, 4339: 28, 4340: 28, 4347: 28, 4348: 28, 4357: 28, 4359: 28, 4360: 28, 4366: 28, 4383: 28, 4384: 28, 4391: 28, 4396: 28, 4401: 28, 4407: 28, 4409: 28, 4422: 28, 4425: 28, 4442: 28, 4451: 28, 4459: 28, 4461: 28, 4464: 28, 4495: 28, 4500: 28, 4515: 28, 4552: 28, 4571: 28, 4576: 28, 4577: 28, 4584: 28, 4591: 28, 4609: 28, 4611: 28, 4619: 28, 4620: 28, 4623: 28, 4650: 28, 4657: 28, 4659: 28, 4661: 28, 4680: 28, 4683: 28, 4687: 28, 4691: 28, 4692: 28, 4697: 28, 4699: 28, 4701: 28, 4705: 28, 4710: 28, 4712: 28, 4723: 28, 4737: 28, 4752: 28, 4758: 28, 4759: 28, 4768: 28, 4770: 28, 4774: 28, 4777: 28, 4781: 28, 4784: 28, 4785: 28, 4798: 28, 4803: 28, 4805: 28, 4809: 28, 4833: 28, 4860: 28, 4872: 28, 4878: 28, 4879: 28, 4907: 28, 4909: 28, 4924: 28, 4929: 28, 4934: 28, 4953: 28, 4967: 28, 4972: 28, 4977: 28, 4979: 28, 4995: 28, 5006: 28, 5021: 28, 5023: 28, 5029: 28, 5034: 28, 5040: 28, 5045: 28, 5047: 28, 5062: 28, 5083: 28, 5096: 28, 5103: 28, 5112: 28, 5115: 28, 5154: 28, 5158: 28, 5167: 28, 5176: 28, 5189: 28, 5203: 28, 5205: 28, 5206: 28, 5219: 28, 5244: 28, 5267: 28, 5275: 28, 5289: 28, 5309: 28, 5310: 28, 5331: 28, 5338: 28, 5341: 28, 5369: 28, 5380: 28, 5387: 28, 5395: 28, 5399: 28, 5426: 28, 5436: 28, 5438: 28, 5440: 28, 5442: 28, 5445: 28, 5463: 28, 5480: 28, 5484: 28, 5500: 28, 5504: 28, 5514: 28, 5543: 28, 5545: 28, 5558: 28, 5582: 28, 5593: 28, 5612: 28, 5616: 28, 5621: 28, 5629: 28, 5632: 28, 5645: 28, 5651: 28, 5680: 28, 5681: 28, 5691: 28, 5696: 28, 5701: 28, 5711: 28, 5712: 28, 5727: 28, 5737: 28, 5742: 28, 5749: 28, 5763: 28, 5771: 28, 5794: 28, 5799: 28, 5812: 28, 5819: 28, 5829: 28, 5833: 28, 5853: 28, 5855: 28, 5857: 28, 5867: 28, 5883: 28, 5929: 28, 5931: 28, 5955: 28, 5957: 28, 5961: 28, 5973: 28, 5991: 28, 6002: 28, 6023: 28, 6031: 28, 6042: 28, 6083: 28, 6091: 28, 6108: 28, 6114: 28, 6118: 28, 6139: 28, 473: 27, 1278: 26, 1292: 26, 1293: 26, 1304: 26, 1315: 26, 1327: 26, 1331: 26, 1332: 26, 1340: 26, 1361: 26, 1367: 26, 1372: 26, 1375: 26, 1376: 26, 1384: 26, 1389: 26, 1391: 26, 1395: 26, 1398: 26, 1409: 26, 1416: 26, 1441: 26, 1443: 26, 1450: 26, 1458: 26, 1460: 26, 1469: 26, 1480: 26, 1483: 26, 1493: 26, 1498: 26, 1507: 26, 1530: 26, 1531: 26, 1534: 26, 1541: 26, 1542: 26, 1560: 26, 1561: 26, 1566: 26, 1567: 26, 1568: 26, 1587: 26, 1590: 26, 1597: 26, 1602: 26, 1605: 26, 1611: 26, 1626: 26, 1632: 26, 1639: 26, 1640: 26, 1645: 26, 1678: 26, 1702: 26, 1705: 26, 1711: 26, 1712: 26, 1733: 26, 1736: 26, 1742: 26, 1746: 26, 1753: 26, 1758: 26, 1761: 26, 1765: 26, 1775: 26, 1776: 26, 1778: 26, 1798: 26, 1805: 26, 1807: 26, 1815: 26, 1829: 26, 1834: 26, 1839: 26, 1844: 26, 1859: 26, 1860: 26, 1863: 26, 1869: 26, 1879: 26, 1890: 26, 1893: 26, 1898: 26, 1899: 26, 1904: 26, 1910: 26, 1911: 26, 1913: 26, 1920: 26, 1947: 26, 1950: 26, 1960: 26, 1964: 26, 1966: 26, 1973: 26, 1985: 26, 1987: 26, 1992: 26, 1996: 26, 1997: 26, 1998: 26, 2001: 26, 2006: 26, 2011: 26, 2015: 26, 2027: 26, 2028: 26, 2031: 26, 2032: 26, 2033: 26, 2042: 26, 2044: 26, 2048: 26, 2065: 26, 2067: 26, 2071: 26, 2078: 26, 2082: 26, 2087: 26, 2095: 26, 2096: 26, 2101: 26, 2107: 26, 2120: 26, 2124: 26, 2125: 26, 2128: 26, 2138: 26, 2140: 26, 2151: 26, 2153: 26, 2158: 26, 2164: 26, 2166: 26, 2173: 26, 2176: 26, 2180: 26, 2186: 26, 2191: 26, 2195: 26, 2197: 26, 2200: 26, 2204: 26, 2215: 26, 2218: 26, 2224: 26, 2226: 26, 2229: 26, 2230: 26, 2237: 26, 2242: 26, 2245: 26, 2254: 26, 2256: 26, 2262: 26, 2273: 26, 2277: 26, 2281: 26, 2284: 26, 2285: 26, 2286: 26, 2291: 26, 2292: 26, 2294: 26, 2299: 26, 2305: 26, 2326: 26, 2333: 26, 2334: 26, 2338: 26, 2345: 26, 2350: 26, 2351: 26, 2368: 26, 2377: 26, 2385: 26, 2389: 26, 2392: 26, 2398: 26, 2404: 26, 2405: 26, 2406: 26, 2427: 26, 2431: 26, 2437: 26, 2450: 26, 2451: 26, 2453: 26, 2456: 26, 2482: 26, 2495: 26, 2498: 26, 2504: 26, 2505: 26, 2507: 26, 2512: 26, 2532: 26, 2536: 26, 2543: 26, 2547: 26, 2549: 26, 2550: 26, 2559: 26, 2564: 26, 2565: 26, 2569: 26, 2572: 26, 2577: 26, 2580: 26, 2607: 26, 2609: 26, 2624: 26, 2636: 26, 2639: 26, 2640: 26, 2642: 26, 2645: 26, 2646: 26, 2647: 26, 2656: 26, 2668: 26, 2673: 26, 2677: 26, 2679: 26, 2685: 26, 2686: 26, 2692: 26, 2698: 26, 2701: 26, 2706: 26, 2713: 26, 2714: 26, 2717: 26, 2736: 26, 2738: 26, 2741: 26, 2746: 26, 2747: 26, 2749: 26, 2754: 26, 2757: 26, 2763: 26, 2764: 26, 2771: 26, 2781: 26, 2783: 26, 2791: 26, 2797: 26, 2800: 26, 2803: 26, 2817: 26, 2819: 26, 2823: 26, 2825: 26, 2831: 26, 2835: 26, 2837: 26, 2839: 26, 2841: 26, 2843: 26, 2844: 26, 2845: 26, 2857: 26, 2858: 26, 2860: 26, 2864: 26, 2868: 26, 2883: 26, 2889: 26, 2893: 26, 2894: 26, 2898: 26, 2900: 26, 2901: 26, 2902: 26, 2911: 26, 2915: 26, 2930: 26, 2933: 26, 2937: 26, 2941: 26, 2955: 26, 2957: 26, 2961: 26, 2963: 26, 2964: 26, 2976: 26, 2977: 26, 2978: 26, 2993: 26, 2997: 26, 3000: 26, 3005: 26, 3010: 26, 3011: 26, 3019: 26, 3020: 26, 3025: 26, 3029: 26, 3030: 26, 3034: 26, 3037: 26, 3042: 26, 3052: 26, 3054: 26, 3076: 26, 3080: 26, 3082: 26, 3091: 26, 3093: 26, 3098: 26, 3104: 26, 3112: 26, 3139: 26, 3142: 26, 3145: 26, 3156: 26, 3157: 26, 3159: 26, 3163: 26, 3170: 26, 3174: 26, 3175: 26, 3176: 26, 3181: 26, 3185: 26, 3187: 26, 3189: 26, 3195: 26, 3196: 26, 3199: 26, 3201: 26, 3203: 26, 3209: 26, 3210: 26, 3216: 26, 3218: 26, 3226: 26, 3227: 26, 3229: 26, 3237: 26, 3241: 26, 3244: 26, 3260: 26, 3272: 26, 3278: 26, 3282: 26, 3287: 26, 3291: 26, 3309: 26, 3312: 26, 3314: 26, 3318: 26, 3320: 26, 3322: 26, 3328: 26, 3337: 26, 3346: 26, 3353: 26, 3354: 26, 3356: 26, 3359: 26, 3362: 26, 3363: 26, 3364: 26, 3366: 26, 3367: 26, 3371: 26, 3381: 26, 3383: 26, 3384: 26, 3387: 26, 3389: 26, 3391: 26, 3398: 26, 3400: 26, 3402: 26, 3406: 26, 3423: 26, 3424: 26, 3460: 26, 3475: 26, 3480: 26, 3491: 26, 3498: 26, 3512: 26, 3519: 26, 3534: 26, 3537: 26, 3538: 26, 3539: 26, 3542: 26, 3557: 26, 3561: 26, 3566: 26, 3570: 26, 3573: 26, 3574: 26, 3577: 26, 3582: 26, 3585: 26, 3586: 26, 3590: 26, 3603: 26, 3609: 26, 3611: 26, 3616: 26, 3623: 26, 3626: 26, 3635: 26, 3642: 26, 3647: 26, 3649: 26, 3656: 26, 3664: 26, 3668: 26, 3675: 26, 3681: 26, 3683: 26, 3691: 26, 3693: 26, 3703: 26, 3705: 26, 3717: 26, 3726: 26, 3734: 26, 3735: 26, 3746: 26, 3748: 26, 3752: 26, 3764: 26, 3766: 26, 3767: 26, 3771: 26, 3777: 26, 3780: 26, 3785: 26, 3788: 26, 3800: 26, 3804: 26, 3807: 26, 3810: 26, 3826: 26, 3828: 26, 3829: 26, 3831: 26, 3839: 26, 3847: 26, 3850: 26, 3858: 26, 3862: 26, 3863: 26, 3864: 26, 3873: 26, 3876: 26, 3877: 26, 3879: 26, 3883: 26, 3885: 26, 3894: 26, 3899: 26, 3905: 26, 3938: 26, 3943: 26, 3961: 26, 3969: 26, 3974: 26, 3975: 26, 3989: 26, 3995: 26, 3999: 26, 4006: 26, 4009: 26, 4010: 26, 4018: 26, 4019: 26, 4020: 26, 4031: 26, 4039: 26, 4041: 26, 4055: 26, 4057: 26, 4063: 26, 4106: 26, 4108: 26, 4119: 26, 4123: 26, 4126: 26, 4128: 26, 4135: 26, 4147: 26, 4152: 26, 4156: 26, 4163: 26, 4166: 26, 4167: 26, 4178: 26, 4180: 26, 4184: 26, 4190: 26, 4196: 26, 4215: 26, 4221: 26, 4222: 26, 4223: 26, 4224: 26, 4226: 26, 4227: 26, 4231: 26, 4240: 26, 4242: 26, 4244: 26, 4260: 26, 4263: 26, 4274: 26, 4284: 26, 4288: 26, 4292: 26, 4296: 26, 4304: 26, 4306: 26, 4322: 26, 4325: 26, 4330: 26, 4331: 26, 4332: 26, 4335: 26, 4341: 26, 4343: 26, 4351: 26, 4354: 26, 4355: 26, 4369: 26, 4374: 26, 4387: 26, 4393: 26, 4402: 26, 4403: 26, 4414: 26, 4416: 26, 4420: 26, 4427: 26, 4430: 26, 4438: 26, 4448: 26, 4454: 26, 4458: 26, 4462: 26, 4466: 26, 4468: 26, 4477: 26, 4479: 26, 4480: 26, 4488: 26, 4490: 26, 4493: 26, 4514: 26, 4517: 26, 4521: 26, 4536: 26, 4537: 26, 4547: 26, 4551: 26, 4555: 26, 4562: 26, 4564: 26, 4573: 26, 4581: 26, 4596: 26, 4599: 26, 4605: 26, 4614: 26, 4618: 26, 4622: 26, 4625: 26, 4632: 26, 4635: 26, 4637: 26, 4638: 26, 4644: 26, 4645: 26, 4663: 26, 4671: 26, 4675: 26, 4679: 26, 4681: 26, 4688: 26, 4695: 26, 4698: 26, 4700: 26, 4709: 26, 4713: 26, 4732: 26, 4736: 26, 4746: 26, 4749: 26, 4786: 26, 4791: 26, 4794: 26, 4823: 26, 4826: 26, 4834: 26, 4836: 26, 4843: 26, 4846: 26, 4847: 26, 4852: 26, 4854: 26, 4855: 26, 4858: 26, 4862: 26, 4863: 26, 4865: 26, 4871: 26, 4873: 26, 4894: 26, 4898: 26, 4911: 26, 4912: 26, 4920: 26, 4925: 26, 4927: 26, 4935: 26, 4942: 26, 4945: 26, 4947: 26, 4951: 26, 4959: 26, 4960: 26, 4961: 26, 4965: 26, 4969: 26, 4970: 26, 4981: 26, 4988: 26, 4993: 26, 4997: 26, 5001: 26, 5004: 26, 5007: 26, 5010: 26, 5024: 26, 5030: 26, 5031: 26, 5032: 26, 5035: 26, 5041: 26, 5044: 26, 5050: 26, 5052: 26, 5057: 26, 5060: 26, 5061: 26, 5063: 26, 5065: 26, 5070: 26, 5074: 26, 5081: 26, 5094: 26, 5098: 26, 5106: 26, 5107: 26, 5109: 26, 5111: 26, 5114: 26, 5117: 26, 5118: 26, 5122: 26, 5131: 26, 5142: 26, 5151: 26, 5152: 26, 5157: 26, 5160: 26, 5163: 26, 5171: 26, 5173: 26, 5179: 26, 5186: 26, 5188: 26, 5191: 26, 5195: 26, 5202: 26, 5207: 26, 5210: 26, 5217: 26, 5218: 26, 5221: 26, 5225: 26, 5229: 26, 5232: 26, 5236: 26, 5237: 26, 5245: 26, 5247: 26, 5252: 26, 5265: 26, 5266: 26, 5273: 26, 5288: 26, 5297: 26, 5300: 26, 5303: 26, 5308: 26, 5311: 26, 5322: 26, 5324: 26, 5327: 26, 5337: 26, 5340: 26, 5359: 26, 5381: 26, 5382: 26, 5385: 26, 5390: 26, 5398: 26, 5414: 26, 5416: 26, 5419: 26, 5421: 26, 5422: 26, 5428: 26, 5449: 26, 5457: 26, 5459: 26, 5462: 26, 5472: 26, 5475: 26, 5476: 26, 5477: 26, 5481: 26, 5487: 26, 5525: 26, 5532: 26, 5550: 26, 5556: 26, 5567: 26, 5569: 26, 5571: 26, 5572: 26, 5579: 26, 5585: 26, 5587: 26, 5596: 26, 5604: 26, 5615: 26, 5627: 26, 5633: 26, 5643: 26, 5655: 26, 5664: 26, 5670: 26, 5683: 26, 5684: 26, 5693: 26, 5695: 26, 5702: 26, 5708: 26, 5709: 26, 5715: 26, 5720: 26, 5723: 26, 5729: 26, 5731: 26, 5753: 26, 5755: 26, 5770: 26, 5777: 26, 5797: 26, 5806: 26, 5808: 26, 5817: 26, 5821: 26, 5824: 26, 5835: 26, 5838: 26, 5842: 26, 5847: 26, 5850: 26, 5851: 26, 5854: 26, 5856: 26, 5858: 26, 5859: 26, 5861: 26, 5866: 26, 5872: 26, 5891: 26, 5914: 26, 5921: 26, 5923: 26, 5933: 26, 5937: 26, 5942: 26, 5960: 26, 5987: 26, 5999: 26, 6003: 26, 6008: 26, 6009: 26, 6032: 26, 6038: 26, 6050: 26, 6067: 26, 6068: 26, 6070: 26, 6071: 26, 6075: 26, 6076: 26, 6077: 26, 6080: 26, 6082: 26, 6087: 26, 6098: 26, 6099: 26, 6122: 26, 6134: 26, 6164: 26, 6169: 26, 6173: 26, 6177: 26, 367: 24, 1285: 24, 1287: 24, 1291: 24, 1295: 24, 1296: 24, 1303: 24, 1311: 24, 1314: 24, 1316: 24, 1342: 24, 1348: 24, 1357: 24, 1360: 24, 1370: 24, 1377: 24, 1378: 24, 1380: 24, 1392: 24, 1394: 24, 1396: 24, 1397: 24, 1404: 24, 1424: 24, 1439: 24, 1442: 24, 1474: 24, 1495: 24, 1519: 24, 1527: 24, 1540: 24, 1554: 24, 1556: 24, 1558: 24, 1564: 24, 1565: 24, 1572: 24, 1573: 24, 1575: 24, 1592: 24, 1600: 24, 1601: 24, 1607: 24, 1631: 24, 1635: 24, 1649: 24, 1656: 24, 1660: 24, 1661: 24, 1672: 24, 1674: 24, 1679: 24, 1680: 24, 1683: 24, 1691: 24, 1697: 24, 1716: 24, 1717: 24, 1729: 24, 1744: 24, 1752: 24, 1754: 24, 1763: 24, 1767: 24, 1768: 24, 1781: 24, 1787: 24, 1804: 24, 1818: 24, 1819: 24, 1828: 24, 1831: 24, 1835: 24, 1836: 24, 1837: 24, 1843: 24, 1847: 24, 1848: 24, 1849: 24, 1850: 24, 1852: 24, 1854: 24, 1856: 24, 1857: 24, 1861: 24, 1876: 24, 1877: 24, 1878: 24, 1880: 24, 1888: 24, 1895: 24, 1900: 24, 1901: 24, 1908: 24, 1914: 24, 1923: 24, 1924: 24, 1925: 24, 1926: 24, 1929: 24, 1931: 24, 1932: 24, 1943: 24, 1944: 24, 1946: 24, 1956: 24, 1957: 24, 1961: 24, 1968: 24, 1969: 24, 1970: 24, 1976: 24, 1977: 24, 1979: 24, 1981: 24, 1982: 24, 1983: 24, 1984: 24, 1989: 24, 1994: 24, 1995: 24, 2002: 24, 2005: 24, 2007: 24, 2008: 24, 2012: 24, 2018: 24, 2022: 24, 2025: 24, 2030: 24, 2034: 24, 2035: 24, 2040: 24, 2041: 24, 2047: 24, 2051: 24, 2052: 24, 2055: 24, 2060: 24, 2064: 24, 2068: 24, 2070: 24, 2074: 24, 2076: 24, 2090: 24, 2091: 24, 2093: 24, 2094: 24, 2098: 24, 2108: 24, 2109: 24, 2114: 24, 2115: 24, 2117: 24, 2121: 24, 2123: 24, 2130: 24, 2134: 24, 2142: 24, 2143: 24, 2145: 24, 2148: 24, 2150: 24, 2152: 24, 2156: 24, 2157: 24, 2159: 24, 2165: 24, 2167: 24, 2170: 24, 2171: 24, 2177: 24, 2184: 24, 2192: 24, 2198: 24, 2213: 24, 2214: 24, 2216: 24, 2217: 24, 2220: 24, 2221: 24, 2223: 24, 2228: 24, 2232: 24, 2236: 24, 2238: 24, 2243: 24, 2247: 24, 2249: 24, 2260: 24, 2261: 24, 2267: 24, 2269: 24, 2271: 24, 2293: 24, 2298: 24, 2300: 24, 2303: 24, 2306: 24, 2311: 24, 2312: 24, 2313: 24, 2315: 24, 2323: 24, 2328: 24, 2330: 24, 2339: 24, 2340: 24, 2342: 24, 2348: 24, 2349: 24, 2354: 24, 2356: 24, 2359: 24, 2362: 24, 2366: 24, 2371: 24, 2372: 24, 2374: 24, 2379: 24, 2386: 24, 2387: 24, 2391: 24, 2394: 24, 2407: 24, 2409: 24, 2413: 24, 2415: 24, 2419: 24, 2424: 24, 2428: 24, 2429: 24, 2433: 24, 2435: 24, 2448: 24, 2449: 24, 2452: 24, 2460: 24, 2461: 24, 2465: 24, 2466: 24, 2467: 24, 2470: 24, 2471: 24, 2474: 24, 2478: 24, 2479: 24, 2490: 24, 2494: 24, 2496: 24, 2499: 24, 2508: 24, 2511: 24, 2516: 24, 2521: 24, 2522: 24, 2538: 24, 2540: 24, 2541: 24, 2548: 24, 2552: 24, 2553: 24, 2560: 24, 2562: 24, 2570: 24, 2573: 24, 2574: 24, 2582: 24, 2583: 24, 2584: 24, 2586: 24, 2591: 24, 2597: 24, 2601: 24, 2605: 24, 2612: 24, 2614: 24, 2618: 24, 2621: 24, 2641: 24, 2643: 24, 2648: 24, 2649: 24, 2651: 24, 2660: 24, 2667: 24, 2671: 24, 2674: 24, 2676: 24, 2687: 24, 2688: 24, 2690: 24, 2702: 24, 2704: 24, 2708: 24, 2712: 24, 2718: 24, 2720: 24, 2721: 24, 2723: 24, 2725: 24, 2726: 24, 2735: 24, 2742: 24, 2744: 24, 2745: 24, 2750: 24, 2751: 24, 2752: 24, 2753: 24, 2758: 24, 2759: 24, 2760: 24, 2767: 24, 2769: 24, 2775: 24, 2776: 24, 2777: 24, 2778: 24, 2780: 24, 2784: 24, 2787: 24, 2788: 24, 2789: 24, 2793: 24, 2796: 24, 2798: 24, 2801: 24, 2804: 24, 2806: 24, 2809: 24, 2810: 24, 2812: 24, 2824: 24, 2828: 24, 2832: 24, 2834: 24, 2836: 24, 2850: 24, 2851: 24, 2852: 24, 2854: 24, 2866: 24, 2867: 24, 2872: 24, 2874: 24, 2876: 24, 2882: 24, 2890: 24, 2891: 24, 2899: 24, 2906: 24, 2910: 24, 2916: 24, 2918: 24, 2920: 24, 2922: 24, 2923: 24, 2924: 24, 2925: 24, 2926: 24, 2940: 24, 2942: 24, 2945: 24, 2947: 24, 2950: 24, 2956: 24, 2958: 24, 2960: 24, 2967: 24, 2974: 24, 2980: 24, 2981: 24, 2988: 24, 2989: 24, 2994: 24, 3003: 24, 3022: 24, 3023: 24, 3024: 24, 3027: 24, 3031: 24, 3035: 24, 3038: 24, 3040: 24, 3041: 24, 3043: 24, 3046: 24, 3050: 24, 3055: 24, 3057: 24, 3058: 24, 3059: 24, 3062: 24, 3068: 24, 3069: 24, 3070: 24, 3075: 24, 3077: 24, 3081: 24, 3086: 24, 3088: 24, 3089: 24, 3090: 24, 3094: 24, 3103: 24, 3105: 24, 3111: 24, 3118: 24, 3125: 24, 3126: 24, 3129: 24, 3131: 24, 3133: 24, 3136: 24, 3137: 24, 3138: 24, 3144: 24, 3150: 24, 3155: 24, 3160: 24, 3164: 24, 3169: 24, 3173: 24, 3180: 24, 3184: 24, 3192: 24, 3197: 24, 3205: 24, 3208: 24, 3211: 24, 3213: 24, 3224: 24, 3225: 24, 3228: 24, 3231: 24, 3232: 24, 3234: 24, 3246: 24, 3251: 24, 3252: 24, 3254: 24, 3255: 24, 3257: 24, 3258: 24, 3259: 24, 3261: 24, 3266: 24, 3267: 24, 3269: 24, 3273: 24, 3294: 24, 3299: 24, 3300: 24, 3301: 24, 3302: 24, 3303: 24, 3304: 24, 3305: 24, 3308: 24, 3313: 24, 3315: 24, 3317: 24, 3325: 24, 3326: 24, 3327: 24, 3334: 24, 3335: 24, 3341: 24, 3342: 24, 3344: 24, 3355: 24, 3357: 24, 3360: 24, 3368: 24, 3369: 24, 3370: 24, 3375: 24, 3376: 24, 3379: 24, 3380: 24, 3385: 24, 3386: 24, 3390: 24, 3392: 24, 3393: 24, 3399: 24, 3403: 24, 3404: 24, 3409: 24, 3410: 24, 3414: 24, 3417: 24, 3421: 24, 3426: 24, 3427: 24, 3433: 24, 3436: 24, 3437: 24, 3438: 24, 3439: 24, 3442: 24, 3445: 24, 3450: 24, 3455: 24, 3456: 24, 3457: 24, 3461: 24, 3467: 24, 3473: 24, 3474: 24, 3476: 24, 3479: 24, 3481: 24, 3487: 24, 3488: 24, 3489: 24, 3493: 24, 3495: 24, 3497: 24, 3505: 24, 3507: 24, 3509: 24, 3513: 24, 3514: 24, 3515: 24, 3517: 24, 3520: 24, 3522: 24, 3525: 24, 3527: 24, 3531: 24, 3545: 24, 3547: 24, 3550: 24, 3554: 24, 3558: 24, 3559: 24, 3567: 24, 3569: 24, 3588: 24, 3589: 24, 3591: 24, 3592: 24, 3596: 24, 3599: 24, 3600: 24, 3604: 24, 3605: 24, 3606: 24, 3610: 24, 3619: 24, 3625: 24, 3627: 24, 3630: 24, 3637: 24, 3638: 24, 3639: 24, 3640: 24, 3643: 24, 3650: 24, 3651: 24, 3654: 24, 3657: 24, 3658: 24, 3669: 24, 3671: 24, 3672: 24, 3686: 24, 3687: 24, 3690: 24, 3694: 24, 3696: 24, 3704: 24, 3708: 24, 3709: 24, 3713: 24, 3729: 24, 3732: 24, 3733: 24, 3739: 24, 3744: 24, 3747: 24, 3750: 24, 3758: 24, 3760: 24, 3761: 24, 3770: 24, 3773: 24, 3781: 24, 3783: 24, 3786: 24, 3789: 24, 3790: 24, 3792: 24, 3801: 24, 3805: 24, 3806: 24, 3808: 24, 3809: 24, 3811: 24, 3813: 24, 3816: 24, 3818: 24, 3819: 24, 3821: 24, 3822: 24, 3830: 24, 3832: 24, 3842: 24, 3843: 24, 3849: 24, 3852: 24, 3856: 24, 3861: 24, 3867: 24, 3871: 24, 3874: 24, 3878: 24, 3882: 24, 3888: 24, 3892: 24, 3893: 24, 3895: 24, 3896: 24, 3902: 24, 3904: 24, 3907: 24, 3912: 24, 3913: 24, 3916: 24, 3918: 24, 3920: 24, 3929: 24, 3934: 24, 3939: 24, 3940: 24, 3942: 24, 3945: 24, 3963: 24, 3964: 24, 3968: 24, 3970: 24, 3976: 24, 3977: 24, 3978: 24, 3988: 24, 3992: 24, 3993: 24, 3996: 24, 4001: 24, 4003: 24, 4005: 24, 4007: 24, 4011: 24, 4014: 24, 4016: 24, 4021: 24, 4023: 24, 4024: 24, 4027: 24, 4029: 24, 4043: 24, 4044: 24, 4046: 24, 4049: 24, 4053: 24, 4054: 24, 4056: 24, 4058: 24, 4059: 24, 4072: 24, 4073: 24, 4075: 24, 4077: 24, 4079: 24, 4083: 24, 4088: 24, 4089: 24, 4092: 24, 4094: 24, 4095: 24, 4098: 24, 4101: 24, 4113: 24, 4125: 24, 4127: 24, 4132: 24, 4133: 24, 4139: 24, 4141: 24, 4148: 24, 4150: 24, 4153: 24, 4157: 24, 4158: 24, 4160: 24, 4162: 24, 4174: 24, 4179: 24, 4195: 24, 4198: 24, 4200: 24, 4201: 24, 4203: 24, 4204: 24, 4205: 24, 4209: 24, 4220: 24, 4225: 24, 4228: 24, 4232: 24, 4235: 24, 4239: 24, 4241: 24, 4250: 24, 4253: 24, 4258: 24, 4259: 24, 4261: 24, 4267: 24, 4270: 24, 4275: 24, 4281: 24, 4282: 24, 4286: 24, 4289: 24, 4294: 24, 4295: 24, 4298: 24, 4305: 24, 4314: 24, 4315: 24, 4317: 24, 4319: 24, 4324: 24, 4326: 24, 4327: 24, 4328: 24, 4329: 24, 4334: 24, 4344: 24, 4345: 24, 4352: 24, 4356: 24, 4358: 24, 4363: 24, 4364: 24, 4365: 24, 4378: 24, 4380: 24, 4382: 24, 4390: 24, 4395: 24, 4399: 24, 4410: 24, 4411: 24, 4413: 24, 4415: 24, 4421: 24, 4426: 24, 4429: 24, 4432: 24, 4435: 24, 4439: 24, 4441: 24, 4443: 24, 4445: 24, 4446: 24, 4447: 24, 4452: 24, 4465: 24, 4469: 24, 4470: 24, 4474: 24, 4476: 24, 4484: 24, 4485: 24, 4486: 24, 4487: 24, 4492: 24, 4496: 24, 4497: 24, 4502: 24, 4507: 24, 4508: 24, 4511: 24, 4518: 24, 4522: 24, 4524: 24, 4529: 24, 4533: 24, 4534: 24, 4535: 24, 4538: 24, 4539: 24, 4540: 24, 4541: 24, 4544: 24, 4545: 24, 4546: 24, 4554: 24, 4556: 24, 4557: 24, 4558: 24, 4567: 24, 4568: 24, 4574: 24, 4578: 24, 4580: 24, 4582: 24, 4590: 24, 4593: 24, 4597: 24, 4624: 24, 4629: 24, 4630: 24, 4633: 24, 4636: 24, 4652: 24, 4653: 24, 4654: 24, 4655: 24, 4658: 24, 4662: 24, 4667: 24, 4668: 24, 4669: 24, 4672: 24, 4673: 24, 4678: 24, 4684: 24, 4686: 24, 4689: 24, 4708: 24, 4711: 24, 4719: 24, 4724: 24, 4725: 24, 4726: 24, 4731: 24, 4733: 24, 4734: 24, 4735: 24, 4738: 24, 4740: 24, 4742: 24, 4748: 24, 4750: 24, 4751: 24, 4760: 24, 4763: 24, 4766: 24, 4767: 24, 4773: 24, 4778: 24, 4779: 24, 4788: 24, 4790: 24, 4799: 24, 4801: 24, 4802: 24, 4807: 24, 4811: 24, 4812: 24, 4814: 24, 4818: 24, 4819: 24, 4822: 24, 4827: 24, 4840: 24, 4842: 24, 4844: 24, 4845: 24, 4849: 24, 4851: 24, 4853: 24, 4861: 24, 4866: 24, 4867: 24, 4874: 24, 4875: 24, 4877: 24, 4881: 24, 4887: 24, 4891: 24, 4892: 24, 4893: 24, 4896: 24, 4899: 24, 4900: 24, 4902: 24, 4903: 24, 4910: 24, 4919: 24, 4922: 24, 4928: 24, 4931: 24, 4939: 24, 4940: 24, 4941: 24, 4946: 24, 4950: 24, 4952: 24, 4954: 24, 4955: 24, 4964: 24, 4973: 24, 4975: 24, 4986: 24, 4990: 24, 4991: 24, 4992: 24, 4998: 24, 4999: 24, 5003: 24, 5005: 24, 5012: 24, 5013: 24, 5016: 24, 5017: 24, 5018: 24, 5025: 24, 5026: 24, 5027: 24, 5036: 24, 5037: 24, 5038: 24, 5042: 24, 5043: 24, 5053: 24, 5072: 24, 5076: 24, 5085: 24, 5086: 24, 5088: 24, 5091: 24, 5097: 24, 5101: 24, 5102: 24, 5110: 24, 5116: 24, 5119: 24, 5121: 24, 5123: 24, 5128: 24, 5130: 24, 5133: 24, 5135: 24, 5137: 24, 5139: 24, 5140: 24, 5143: 24, 5144: 24, 5147: 24, 5148: 24, 5150: 24, 5153: 24, 5159: 24, 5161: 24, 5166: 24, 5177: 24, 5184: 24, 5185: 24, 5187: 24, 5190: 24, 5192: 24, 5194: 24, 5201: 24, 5204: 24, 5208: 24, 5212: 24, 5213: 24, 5215: 24, 5216: 24, 5228: 24, 5230: 24, 5231: 24, 5233: 24, 5234: 24, 5238: 24, 5241: 24, 5243: 24, 5248: 24, 5251: 24, 5254: 24, 5256: 24, 5257: 24, 5264: 24, 5268: 24, 5269: 24, 5278: 24, 5281: 24, 5283: 24, 5287: 24, 5291: 24, 5292: 24, 5302: 24, 5315: 24, 5320: 24, 5325: 24, 5328: 24, 5330: 24, 5332: 24, 5335: 24, 5342: 24, 5345: 24, 5346: 24, 5348: 24, 5349: 24, 5352: 24, 5353: 24, 5354: 24, 5356: 24, 5357: 24, 5361: 24, 5365: 24, 5370: 24, 5371: 24, 5379: 24, 5383: 24, 5384: 24, 5386: 24, 5396: 24, 5403: 24, 5409: 24, 5413: 24, 5418: 24, 5431: 24, 5434: 24, 5439: 24, 5451: 24, 5455: 24, 5458: 24, 5460: 24, 5464: 24, 5466: 24, 5471: 24, 5473: 24, 5479: 24, 5482: 24, 5483: 24, 5485: 24, 5488: 24, 5489: 24, 5497: 24, 5502: 24, 5505: 24, 5508: 24, 5513: 24, 5517: 24, 5518: 24, 5519: 24, 5527: 24, 5528: 24, 5530: 24, 5537: 24, 5542: 24, 5547: 24, 5554: 24, 5555: 24, 5557: 24, 5564: 24, 5565: 24, 5568: 24, 5570: 24, 5577: 24, 5581: 24, 5584: 24, 5586: 24, 5588: 24, 5592: 24, 5595: 24, 5597: 24, 5598: 24, 5599: 24, 5601: 24, 5605: 24, 5607: 24, 5609: 24, 5610: 24, 5620: 24, 5622: 24, 5624: 24, 5625: 24, 5628: 24, 5634: 24, 5635: 24, 5639: 24, 5646: 24, 5648: 24, 5649: 24, 5650: 24, 5653: 24, 5658: 24, 5662: 24, 5665: 24, 5666: 24, 5669: 24, 5673: 24, 5679: 24, 5686: 24, 5698: 24, 5706: 24, 5710: 24, 5716: 24, 5725: 24, 5726: 24, 5738: 24, 5743: 24, 5744: 24, 5745: 24, 5746: 24, 5748: 24, 5754: 24, 5757: 24, 5761: 24, 5764: 24, 5765: 24, 5774: 24, 5781: 24, 5790: 24, 5792: 24, 5793: 24, 5795: 24, 5800: 24, 5801: 24, 5804: 24, 5805: 24, 5814: 24, 5825: 24, 5828: 24, 5830: 24, 5834: 24, 5840: 24, 5844: 24, 5849: 24, 5865: 24, 5869: 24, 5874: 24, 5875: 24, 5876: 24, 5878: 24, 5880: 24, 5888: 24, 5889: 24, 5898: 24, 5909: 24, 5911: 24, 5912: 24, 5913: 24, 5916: 24, 5918: 24, 5927: 24, 5934: 24, 5935: 24, 5946: 24, 5947: 24, 5949: 24, 5950: 24, 5953: 24, 5956: 24, 5958: 24, 5959: 24, 5967: 24, 5971: 24, 5974: 24, 5977: 24, 5986: 24, 5989: 24, 5990: 24, 5992: 24, 5995: 24, 5996: 24, 6019: 24, 6020: 24, 6022: 24, 6025: 24, 6027: 24, 6028: 24, 6030: 24, 6036: 24, 6048: 24, 6056: 24, 6059: 24, 6066: 24, 6069: 24, 6085: 24, 6089: 24, 6092: 24, 6093: 24, 6097: 24, 6100: 24, 6103: 24, 6109: 24, 6110: 24, 6111: 24, 6112: 24, 6113: 24, 6119: 24, 6124: 24, 6125: 24, 6127: 24, 6128: 24, 6130: 24, 6136: 24, 6138: 24, 6144: 24, 6147: 24, 6151: 24, 6154: 24, 6161: 24, 6170: 24, 6171: 24, 290: 23, 293: 23, 189: 22, 457: 22, 1286: 22, 1305: 22, 1309: 22, 1320: 22, 1336: 22, 1341: 22, 1352: 22, 1354: 22, 1358: 22, 1390: 22, 1405: 22, 1415: 22, 1417: 22, 1418: 22, 1426: 22, 1429: 22, 1433: 22, 1446: 22, 1448: 22, 1453: 22, 1463: 22, 1475: 22, 1479: 22, 1482: 22, 1492: 22, 1494: 22, 1497: 22, 1503: 22, 1509: 22, 1514: 22, 1533: 22, 1536: 22, 1537: 22, 1539: 22, 1581: 22, 1582: 22, 1583: 22, 1622: 22, 1629: 22, 1630: 22, 1641: 22, 1650: 22, 1652: 22, 1655: 22, 1659: 22, 1673: 22, 1681: 22, 1682: 22, 1685: 22, 1694: 22, 1706: 22, 1720: 22, 1727: 22, 1731: 22, 1734: 22, 1738: 22, 1739: 22, 1740: 22, 1748: 22, 1769: 22, 1785: 22, 1788: 22, 1793: 22, 1795: 22, 1796: 22, 1801: 22, 1803: 22, 1806: 22, 1826: 22, 1840: 22, 1853: 22, 1864: 22, 1866: 22, 1867: 22, 1873: 22, 1875: 22, 1881: 22, 1883: 22, 1896: 22, 1905: 22, 1917: 22, 1921: 22, 1927: 22, 1928: 22, 1933: 22, 1934: 22, 1936: 22, 1937: 22, 1939: 22, 1940: 22, 1941: 22, 1948: 22, 1951: 22, 1952: 22, 1955: 22, 1958: 22, 1962: 22, 1963: 22, 1974: 22, 1975: 22, 1980: 22, 1986: 22, 1991: 22, 1993: 22, 2000: 22, 2009: 22, 2010: 22, 2013: 22, 2017: 22, 2021: 22, 2023: 22, 2026: 22, 2038: 22, 2045: 22, 2046: 22, 2050: 22, 2059: 22, 2063: 22, 2066: 22, 2073: 22, 2077: 22, 2079: 22, 2081: 22, 2083: 22, 2085: 22, 2088: 22, 2089: 22, 2092: 22, 2097: 22, 2104: 22, 2111: 22, 2112: 22, 2118: 22, 2119: 22, 2126: 22, 2129: 22, 2131: 22, 2132: 22, 2135: 22, 2146: 22, 2160: 22, 2162: 22, 2163: 22, 2168: 22, 2178: 22, 2179: 22, 2185: 22, 2187: 22, 2189: 22, 2190: 22, 2194: 22, 2203: 22, 2208: 22, 2210: 22, 2212: 22, 2222: 22, 2234: 22, 2240: 22, 2241: 22, 2246: 22, 2248: 22, 2251: 22, 2253: 22, 2258: 22, 2259: 22, 2266: 22, 2268: 22, 2280: 22, 2289: 22, 2297: 22, 2307: 22, 2308: 22, 2310: 22, 2314: 22, 2316: 22, 2319: 22, 2321: 22, 2324: 22, 2327: 22, 2331: 22, 2335: 22, 2341: 22, 2344: 22, 2346: 22, 2352: 22, 2353: 22, 2355: 22, 2357: 22, 2358: 22, 2360: 22, 2364: 22, 2370: 22, 2378: 22, 2381: 22, 2383: 22, 2396: 22, 2401: 22, 2402: 22, 2410: 22, 2417: 22, 2418: 22, 2420: 22, 2423: 22, 2425: 22, 2430: 22, 2432: 22, 2436: 22, 2440: 22, 2441: 22, 2455: 22, 2457: 22, 2458: 22, 2459: 22, 2463: 22, 2464: 22, 2475: 22, 2476: 22, 2480: 22, 2483: 22, 2491: 22, 2510: 22, 2513: 22, 2514: 22, 2517: 22, 2519: 22, 2524: 22, 2525: 22, 2528: 22, 2531: 22, 2533: 22, 2535: 22, 2537: 22, 2542: 22, 2545: 22, 2555: 22, 2561: 22, 2563: 22, 2566: 22, 2571: 22, 2578: 22, 2590: 22, 2594: 22, 2603: 22, 2608: 22, 2610: 22, 2623: 22, 2625: 22, 2628: 22, 2629: 22, 2631: 22, 2632: 22, 2634: 22, 2635: 22, 2637: 22, 2669: 22, 2670: 22, 2672: 22, 2680: 22, 2683: 22, 2684: 22, 2689: 22, 2691: 22, 2693: 22, 2695: 22, 2696: 22, 2697: 22, 2699: 22, 2700: 22, 2703: 22, 2707: 22, 2711: 22, 2715: 22, 2719: 22, 2728: 22, 2730: 22, 2732: 22, 2733: 22, 2739: 22, 2743: 22, 2755: 22, 2761: 22, 2762: 22, 2765: 22, 2768: 22, 2770: 22, 2772: 22, 2779: 22, 2782: 22, 2792: 22, 2794: 22, 2799: 22, 2802: 22, 2807: 22, 2813: 22, 2826: 22, 2827: 22, 2829: 22, 2830: 22, 2833: 22, 2838: 22, 2842: 22, 2849: 22, 2862: 22, 2863: 22, 2865: 22, 2869: 22, 2879: 22, 2885: 22, 2888: 22, 2897: 22, 2907: 22, 2909: 22, 2912: 22, 2914: 22, 2917: 22, 2927: 22, 2931: 22, 2932: 22, 2935: 22, 2936: 22, 2943: 22, 2949: 22, 2953: 22, 2954: 22, 2966: 22, 2972: 22, 2973: 22, 2975: 22, 2983: 22, 2986: 22, 2991: 22, 2996: 22, 2998: 22, 3001: 22, 3004: 22, 3006: 22, 3008: 22, 3009: 22, 3014: 22, 3016: 22, 3017: 22, 3018: 22, 3026: 22, 3032: 22, 3039: 22, 3047: 22, 3051: 22, 3056: 22, 3060: 22, 3061: 22, 3063: 22, 3065: 22, 3067: 22, 3074: 22, 3079: 22, 3083: 22, 3087: 22, 3101: 22, 3106: 22, 3108: 22, 3109: 22, 3113: 22, 3115: 22, 3116: 22, 3119: 22, 3121: 22, 3128: 22, 3141: 22, 3151: 22, 3153: 22, 3158: 22, 3167: 22, 3168: 22, 3179: 22, 3182: 22, 3186: 22, 3188: 22, 3190: 22, 3191: 22, 3193: 22, 3194: 22, 3198: 22, 3202: 22, 3206: 22, 3223: 22, 3235: 22, 3238: 22, 3239: 22, 3242: 22, 3245: 22, 3247: 22, 3256: 22, 3262: 22, 3264: 22, 3265: 22, 3270: 22, 3277: 22, 3281: 22, 3284: 22, 3286: 22, 3288: 22, 3293: 22, 3297: 22, 3298: 22, 3306: 22, 3307: 22, 3310: 22, 3316: 22, 3323: 22, 3329: 22, 3333: 22, 3347: 22, 3349: 22, 3352: 22, 3373: 22, 3374: 22, 3377: 22, 3378: 22, 3382: 22, 3388: 22, 3401: 22, 3411: 22, 3413: 22, 3416: 22, 3422: 22, 3428: 22, 3429: 22, 3430: 22, 3435: 22, 3440: 22, 3441: 22, 3448: 22, 3452: 22, 3453: 22, 3454: 22, 3458: 22, 3459: 22, 3466: 22, 3470: 22, 3471: 22, 3477: 22, 3484: 22, 3486: 22, 3490: 22, 3492: 22, 3496: 22, 3499: 22, 3500: 22, 3501: 22, 3508: 22, 3511: 22, 3516: 22, 3524: 22, 3526: 22, 3529: 22, 3530: 22, 3533: 22, 3540: 22, 3543: 22, 3546: 22, 3549: 22, 3555: 22, 3556: 22, 3560: 22, 3563: 22, 3564: 22, 3568: 22, 3571: 22, 3576: 22, 3579: 22, 3584: 22, 3615: 22, 3618: 22, 3622: 22, 3632: 22, 3633: 22, 3644: 22, 3645: 22, 3648: 22, 3652: 22, 3655: 22, 3659: 22, 3660: 22, 3661: 22, 3662: 22, 3663: 22, 3665: 22, 3666: 22, 3670: 22, 3673: 22, 3674: 22, 3677: 22, 3678: 22, 3680: 22, 3682: 22, 3684: 22, 3689: 22, 3698: 22, 3700: 22, 3701: 22, 3702: 22, 3706: 22, 3712: 22, 3721: 22, 3725: 22, 3727: 22, 3730: 22, 3731: 22, 3737: 22, 3743: 22, 3754: 22, 3757: 22, 3759: 22, 3763: 22, 3774: 22, 3784: 22, 3787: 22, 3793: 22, 3794: 22, 3797: 22, 3803: 22, 3815: 22, 3824: 22, 3825: 22, 3833: 22, 3836: 22, 3837: 22, 3838: 22, 3840: 22, 3841: 22, 3855: 22, 3857: 22, 3859: 22, 3865: 22, 3870: 22, 3872: 22, 3880: 22, 3886: 22, 3887: 22, 3889: 22, 3890: 22, 3897: 22, 3898: 22, 3906: 22, 3908: 22, 3915: 22, 3919: 22, 3922: 22, 3924: 22, 3928: 22, 3932: 22, 3933: 22, 3937: 22, 3949: 22, 3950: 22, 3956: 22, 3965: 22, 3982: 22, 3983: 22, 3984: 22, 3985: 22, 3987: 22, 4000: 22, 4002: 22, 4008: 22, 4012: 22, 4013: 22, 4045: 22, 4047: 22, 4051: 22, 4060: 22, 4062: 22, 4066: 22, 4067: 22, 4068: 22, 4069: 22, 4074: 22, 4078: 22, 4081: 22, 4085: 22, 4087: 22, 4090: 22, 4091: 22, 4093: 22, 4099: 22, 4104: 22, 4105: 22, 4107: 22, 4118: 22, 4121: 22, 4129: 22, 4130: 22, 4131: 22, 4134: 22, 4138: 22, 4142: 22, 4143: 22, 4145: 22, 4155: 22, 4159: 22, 4164: 22, 4177: 22, 4181: 22, 4183: 22, 4187: 22, 4191: 22, 4197: 22, 4199: 22, 4202: 22, 4206: 22, 4207: 22, 4210: 22, 4212: 22, 4233: 22, 4234: 22, 4238: 22, 4243: 22, 4245: 22, 4246: 22, 4247: 22, 4257: 22, 4264: 22, 4265: 22, 4269: 22, 4271: 22, 4273: 22, 4287: 22, 4291: 22, 4297: 22, 4299: 22, 4308: 22, 4309: 22, 4312: 22, 4320: 22, 4338: 22, 4342: 22, 4346: 22, 4349: 22, 4361: 22, 4367: 22, 4368: 22, 4375: 22, 4376: 22, 4379: 22, 4381: 22, 4385: 22, 4386: 22, 4389: 22, 4392: 22, 4394: 22, 4397: 22, 4398: 22, 4405: 22, 4417: 22, 4419: 22, 4424: 22, 4428: 22, 4431: 22, 4433: 22, 4434: 22, 4436: 22, 4440: 22, 4444: 22, 4449: 22, 4450: 22, 4453: 22, 4456: 22, 4457: 22, 4467: 22, 4472: 22, 4473: 22, 4475: 22, 4481: 22, 4483: 22, 4491: 22, 4494: 22, 4498: 22, 4503: 22, 4506: 22, 4510: 22, 4512: 22, 4513: 22, 4516: 22, 4520: 22, 4526: 22, 4528: 22, 4531: 22, 4550: 22, 4559: 22, 4563: 22, 4565: 22, 4566: 22, 4570: 22, 4572: 22, 4579: 22, 4585: 22, 4592: 22, 4594: 22, 4598: 22, 4601: 22, 4603: 22, 4610: 22, 4613: 22, 4615: 22, 4616: 22, 4617: 22, 4626: 22, 4634: 22, 4640: 22, 4641: 22, 4642: 22, 4647: 22, 4648: 22, 4651: 22, 4660: 22, 4664: 22, 4670: 22, 4685: 22, 4690: 22, 4693: 22, 4694: 22, 4702: 22, 4714: 22, 4715: 22, 4716: 22, 4717: 22, 4721: 22, 4727: 22, 4729: 22, 4730: 22, 4741: 22, 4744: 22, 4745: 22, 4747: 22, 4754: 22, 4755: 22, 4756: 22, 4762: 22, 4765: 22, 4769: 22, 4772: 22, 4783: 22, 4789: 22, 4792: 22, 4795: 22, 4796: 22, 4797: 22, 4804: 22, 4806: 22, 4808: 22, 4810: 22, 4813: 22, 4815: 22, 4816: 22, 4817: 22, 4825: 22, 4829: 22, 4835: 22, 4839: 22, 4841: 22, 4848: 22, 4850: 22, 4859: 22, 4890: 22, 4895: 22, 4901: 22, 4904: 22, 4906: 22, 4917: 22, 4918: 22, 4921: 22, 4926: 22, 4930: 22, 4933: 22, 4937: 22, 4944: 22, 4949: 22, 4956: 22, 4958: 22, 4963: 22, 4966: 22, 4971: 22, 4974: 22, 4976: 22, 4980: 22, 4982: 22, 4984: 22, 4985: 22, 4987: 22, 4989: 22, 4994: 22, 4996: 22, 5000: 22, 5002: 22, 5008: 22, 5011: 22, 5020: 22, 5022: 22, 5048: 22, 5049: 22, 5051: 22, 5055: 22, 5058: 22, 5059: 22, 5064: 22, 5066: 22, 5067: 22, 5068: 22, 5071: 22, 5075: 22, 5078: 22, 5087: 22, 5095: 22, 5099: 22, 5105: 22, 5113: 22, 5120: 22, 5126: 22, 5127: 22, 5132: 22, 5134: 22, 5138: 22, 5146: 22, 5149: 22, 5155: 22, 5156: 22, 5162: 22, 5164: 22, 5165: 22, 5169: 22, 5170: 22, 5174: 22, 5175: 22, 5178: 22, 5183: 22, 5193: 22, 5197: 22, 5198: 22, 5200: 22, 5224: 22, 5226: 22, 5227: 22, 5239: 22, 5242: 22, 5246: 22, 5253: 22, 5255: 22, 5258: 22, 5260: 22, 5270: 22, 5272: 22, 5274: 22, 5276: 22, 5279: 22, 5282: 22, 5284: 22, 5285: 22, 5286: 22, 5290: 22, 5294: 22, 5296: 22, 5298: 22, 5301: 22, 5304: 22, 5306: 22, 5312: 22, 5313: 22, 5321: 22, 5326: 22, 5333: 22, 5334: 22, 5343: 22, 5344: 22, 5347: 22, 5358: 22, 5363: 22, 5364: 22, 5366: 22, 5367: 22, 5372: 22, 5373: 22, 5374: 22, 5376: 22, 5388: 22, 5389: 22, 5391: 22, 5393: 22, 5401: 22, 5405: 22, 5407: 22, 5415: 22, 5430: 22, 5432: 22, 5433: 22, 5441: 22, 5443: 22, 5446: 22, 5447: 22, 5453: 22, 5456: 22, 5461: 22, 5467: 22, 5468: 22, 5469: 22, 5474: 22, 5478: 22, 5486: 22, 5491: 22, 5493: 22, 5494: 22, 5506: 22, 5507: 22, 5509: 22, 5516: 22, 5520: 22, 5521: 22, 5523: 22, 5524: 22, 5534: 22, 5536: 22, 5538: 22, 5539: 22, 5540: 22, 5546: 22, 5548: 22, 5549: 22, 5551: 22, 5562: 22, 5563: 22, 5573: 22, 5574: 22, 5578: 22, 5580: 22, 5583: 22, 5594: 22, 5600: 22, 5603: 22, 5608: 22, 5613: 22, 5618: 22, 5623: 22, 5636: 22, 5640: 22, 5641: 22, 5642: 22, 5652: 22, 5654: 22, 5657: 22, 5661: 22, 5663: 22, 5667: 22, 5674: 22, 5675: 22, 5676: 22, 5678: 22, 5685: 22, 5687: 22, 5690: 22, 5692: 22, 5694: 22, 5697: 22, 5700: 22, 5703: 22, 5704: 22, 5707: 22, 5713: 22, 5718: 22, 5719: 22, 5721: 22, 5722: 22, 5728: 22, 5730: 22, 5732: 22, 5741: 22, 5756: 22, 5758: 22, 5759: 22, 5766: 22, 5767: 22, 5773: 22, 5778: 22, 5784: 22, 5798: 22, 5803: 22, 5810: 22, 5811: 22, 5818: 22, 5820: 22, 5823: 22, 5827: 22, 5831: 22, 5832: 22, 5837: 22, 5839: 22, 5845: 22, 5848: 22, 5852: 22, 5862: 22, 5868: 22, 5871: 22, 5873: 22, 5879: 22, 5881: 22, 5882: 22, 5884: 22, 5885: 22, 5886: 22, 5887: 22, 5893: 22, 5894: 22, 5895: 22, 5897: 22, 5899: 22, 5904: 22, 5905: 22, 5906: 22, 5907: 22, 5908: 22, 5910: 22, 5917: 22, 5920: 22, 5925: 22, 5926: 22, 5928: 22, 5930: 22, 5936: 22, 5939: 22, 5940: 22, 5944: 22, 5945: 22, 5948: 22, 5952: 22, 5954: 22, 5962: 22, 5963: 22, 5964: 22, 5970: 22, 5972: 22, 5981: 22, 5982: 22, 5983: 22, 5984: 22, 5988: 22, 6006: 22, 6010: 22, 6013: 22, 6015: 22, 6018: 22, 6021: 22, 6024: 22, 6026: 22, 6029: 22, 6033: 22, 6035: 22, 6037: 22, 6039: 22, 6040: 22, 6041: 22, 6043: 22, 6044: 22, 6046: 22, 6047: 22, 6049: 22, 6051: 22, 6053: 22, 6054: 22, 6055: 22, 6057: 22, 6058: 22, 6061: 22, 6062: 22, 6065: 22, 6072: 22, 6073: 22, 6078: 22, 6079: 22, 6081: 22, 6086: 22, 6090: 22, 6094: 22, 6095: 22, 6096: 22, 6101: 22, 6105: 22, 6106: 22, 6107: 22, 6115: 22, 6116: 22, 6117: 22, 6120: 22, 6123: 22, 6126: 22, 6129: 22, 6131: 22, 6133: 22, 6135: 22, 6137: 22, 6143: 22, 6148: 22, 6150: 22, 6155: 22, 6157: 22, 6159: 22, 6160: 22, 6162: 22, 6168: 22, 6172: 22, 6174: 22, 6176: 22, 6178: 22, 6179: 22, 6180: 22, 6182: 22, 338: 21, 429: 21, 132: 20, 227: 20, 369: 20, 469: 20, 512: 20, 617: 20, 776: 20, 886: 20, 888: 20, 1018: 20, 1276: 20, 1290: 20, 1300: 20, 1301: 20, 1312: 20, 1330: 20, 1337: 20, 1339: 20, 1343: 20, 1344: 20, 1345: 20, 1347: 20, 1350: 20, 1351: 20, 1356: 20, 1363: 20, 1368: 20, 1385: 20, 1387: 20, 1388: 20, 1410: 20, 1413: 20, 1419: 20, 1420: 20, 1427: 20, 1432: 20, 1467: 20, 1470: 20, 1484: 20, 1501: 20, 1505: 20, 1512: 20, 1513: 20, 1517: 20, 1520: 20, 1524: 20, 1525: 20, 1526: 20, 1528: 20, 1532: 20, 1545: 20, 1549: 20, 1557: 20, 1586: 20, 1595: 20, 1613: 20, 1623: 20, 1628: 20, 1651: 20, 1657: 20, 1665: 20, 1666: 20, 1668: 20, 1671: 20, 1676: 20, 1690: 20, 1710: 20, 1719: 20, 1743: 20, 1755: 20, 1759: 20, 1766: 20, 1771: 20, 1774: 20, 1777: 20, 1786: 20, 1790: 20, 1800: 20, 1811: 20, 1813: 20, 1833: 20, 1838: 20, 1851: 20, 1858: 20, 1862: 20, 1868: 20, 1870: 20, 1874: 20, 1887: 20, 1902: 20, 1906: 20, 1909: 20, 1912: 20, 1916: 20, 1930: 20, 1945: 20, 1954: 20, 1965: 20, 1972: 20, 1978: 20, 1988: 20, 1999: 20, 2004: 20, 2014: 20, 2020: 20, 2029: 20, 2036: 20, 2054: 20, 2058: 20, 2061: 20, 2072: 20, 2075: 20, 2086: 20, 2099: 20, 2100: 20, 2102: 20, 2106: 20, 2122: 20, 2127: 20, 2136: 20, 2147: 20, 2149: 20, 2172: 20, 2182: 20, 2201: 20, 2202: 20, 2205: 20, 2207: 20, 2211: 20, 2225: 20, 2231: 20, 2235: 20, 2239: 20, 2263: 20, 2264: 20, 2275: 20, 2276: 20, 2283: 20, 2295: 20, 2296: 20, 2304: 20, 2309: 20, 2325: 20, 2329: 20, 2336: 20, 2343: 20, 2347: 20, 2365: 20, 2369: 20, 2376: 20, 2384: 20, 2388: 20, 2390: 20, 2399: 20, 2400: 20, 2403: 20, 2414: 20, 2426: 20, 2434: 20, 2438: 20, 2439: 20, 2443: 20, 2462: 20, 2469: 20, 2473: 20, 2477: 20, 2484: 20, 2488: 20, 2492: 20, 2502: 20, 2509: 20, 2515: 20, 2526: 20, 2529: 20, 2534: 20, 2539: 20, 2544: 20, 2546: 20, 2558: 20, 2576: 20, 2579: 20, 2599: 20, 2602: 20, 2611: 20, 2615: 20, 2619: 20, 2657: 20, 2659: 20, 2664: 20, 2675: 20, 2681: 20, 2694: 20, 2722: 20, 2737: 20, 2748: 20, 2756: 20, 2774: 20, 2786: 20, 2790: 20, 2795: 20, 2805: 20, 2811: 20, 2815: 20, 2840: 20, 2846: 20, 2853: 20, 2856: 20, 2870: 20, 2873: 20, 2878: 20, 2881: 20, 2886: 20, 2892: 20, 2903: 20, 2904: 20, 2913: 20, 2928: 20, 2929: 20, 2938: 20, 2939: 20, 2962: 20, 2969: 20, 2982: 20, 2987: 20, 2990: 20, 2992: 20, 2999: 20, 3012: 20, 3021: 20, 3036: 20, 3045: 20, 3049: 20, 3071: 20, 3073: 20, 3078: 20, 3095: 20, 3096: 20, 3097: 20, 3110: 20, 3120: 20, 3124: 20, 3132: 20, 3146: 20, 3148: 20, 3149: 20, 3152: 20, 3154: 20, 3162: 20, 3166: 20, 3171: 20, 3177: 20, 3183: 20, 3204: 20, 3207: 20, 3212: 20, 3220: 20, 3221: 20, 3230: 20, 3236: 20, 3240: 20, 3243: 20, 3249: 20, 3250: 20, 3253: 20, 3268: 20, 3275: 20, 3289: 20, 3290: 20, 3296: 20, 3319: 20, 3321: 20, 3330: 20, 3338: 20, 3340: 20, 3345: 20, 3350: 20, 3351: 20, 3358: 20, 3361: 20, 3415: 20, 3419: 20, 3431: 20, 3434: 20, 3446: 20, 3451: 20, 3462: 20, 3502: 20, 3503: 20, 3504: 20, 3510: 20, 3521: 20, 3528: 20, 3541: 20, 3551: 20, 3562: 20, 3565: 20, 3572: 20, 3578: 20, 3581: 20, 3583: 20, 3587: 20, 3593: 20, 3595: 20, 3597: 20, 3598: 20, 3602: 20, 3607: 20, 3614: 20, 3636: 20, 3641: 20, 3653: 20, 3667: 20, 3679: 20, 3695: 20, 3697: 20, 3707: 20, 3714: 20, 3715: 20, 3718: 20, 3719: 20, 3722: 20, 3723: 20, 3724: 20, 3741: 20, 3751: 20, 3755: 20, 3756: 20, 3765: 20, 3776: 20, 3779: 20, 3782: 20, 3791: 20, 3796: 20, 3802: 20, 3812: 20, 3817: 20, 3820: 20, 3834: 20, 3845: 20, 3848: 20, 3851: 20, 3853: 20, 3860: 20, 3884: 20, 3891: 20, 3901: 20, 3909: 20, 3911: 20, 3914: 20, 3925: 20, 3926: 20, 3936: 20, 3944: 20, 3951: 20, 3952: 20, 3957: 20, 3959: 20, 3962: 20, 3966: 20, 3971: 20, 3973: 20, 3979: 20, 3994: 20, 4015: 20, 4026: 20, 4028: 20, 4032: 20, 4035: 20, 4037: 20, 4052: 20, 4070: 20, 4080: 20, 4086: 20, 4100: 20, 4109: 20, 4111: 20, 4112: 20, 4115: 20, 4137: 20, 4140: 20, 4144: 20, 4154: 20, 4161: 20, 4171: 20, 4175: 20, 4176: 20, 4185: 20, 4188: 20, 4189: 20, 4193: 20, 4208: 20, 4216: 20, 4230: 20, 4248: 20, 4251: 20, 4254: 20, 4262: 20, 4268: 20, 4272: 20, 4276: 20, 4285: 20, 4293: 20, 4302: 20, 4303: 20, 4313: 20, 4316: 20, 4318: 20, 4333: 20, 4336: 20, 4353: 20, 4362: 20, 4372: 20, 4388: 20, 4400: 20, 4404: 20, 4408: 20, 4412: 20, 4423: 20, 4437: 20, 4460: 20, 4463: 20, 4471: 20, 4478: 20, 4499: 20, 4504: 20, 4505: 20, 4519: 20, 4523: 20, 4532: 20, 4542: 20, 4561: 20, 4575: 20, 4586: 20, 4587: 20, 4589: 20, 4595: 20, 4600: 20, 4602: 20, 4604: 20, 4607: 20, 4608: 20, 4612: 20, 4627: 20, 4628: 20, 4631: 20, 4639: 20, 4643: 20, 4649: 20, 4665: 20, 4666: 20, 4677: 20, 4682: 20, 4696: 20, 4703: 20, 4720: 20, 4722: 20, 4728: 20, 4739: 20, 4743: 20, 4753: 20, 4757: 20, 4771: 20, 4775: 20, 4776: 20, 4793: 20, 4820: 20, 4821: 20, 4824: 20, 4828: 20, 4830: 20, 4838: 20, 4864: 20, 4869: 20, 4876: 20, 4880: 20, 4883: 20, 4884: 20, 4885: 20, 4886: 20, 4889: 20, 4908: 20, 4913: 20, 4914: 20, 4916: 20, 4923: 20, 4936: 20, 4943: 20, 4948: 20, 4957: 20, 4962: 20, 4968: 20, 4978: 20, 4983: 20, 5009: 20, 5014: 20, 5028: 20, 5073: 20, 5077: 20, 5079: 20, 5080: 20, 5082: 20, 5089: 20, 5090: 20, 5100: 20, 5108: 20, 5124: 20, 5125: 20, 5129: 20, 5136: 20, 5141: 20, 5145: 20, 5182: 20, 5214: 20, 5220: 20, 5222: 20, 5223: 20, 5235: 20, 5240: 20, 5249: 20, 5250: 20, 5259: 20, 5261: 20, 5307: 20, 5314: 20, 5318: 20, 5319: 20, 5329: 20, 5336: 20, 5350: 20, 5355: 20, 5360: 20, 5362: 20, 5368: 20, 5377: 20, 5392: 20, 5400: 20, 5404: 20, 5411: 20, 5412: 20, 5420: 20, 5437: 20, 5444: 20, 5452: 20, 5454: 20, 5465: 20, 5470: 20, 5492: 20, 5498: 20, 5499: 20, 5501: 20, 5511: 20, 5512: 20, 5522: 20, 5526: 20, 5533: 20, 5535: 20, 5541: 20, 5552: 20, 5559: 20, 5561: 20, 5589: 20, 5591: 20, 5602: 20, 5606: 20, 5611: 20, 5614: 20, 5619: 20, 5626: 20, 5630: 20, 5631: 20, 5637: 20, 5671: 20, 5672: 20, 5682: 20, 5689: 20, 5699: 20, 5705: 20, 5714: 20, 5724: 20, 5733: 20, 5734: 20, 5735: 20, 5739: 20, 5740: 20, 5747: 20, 5752: 20, 5760: 20, 5762: 20, 5768: 20, 5769: 20, 5772: 20, 5775: 20, 5776: 20, 5779: 20, 5780: 20, 5785: 20, 5786: 20, 5788: 20, 5791: 20, 5796: 20, 5807: 20, 5809: 20, 5826: 20, 5841: 20, 5843: 20, 5846: 20, 5860: 20, 5864: 20, 5870: 20, 5877: 20, 5896: 20, 5900: 20, 5901: 20, 5915: 20, 5919: 20, 5922: 20, 5924: 20, 5932: 20, 5941: 20, 5943: 20, 5965: 20, 5966: 20, 5968: 20, 5969: 20, 5975: 20, 5976: 20, 5979: 20, 5980: 20, 5985: 20, 5993: 20, 5994: 20, 5997: 20, 5998: 20, 6000: 20, 6004: 20, 6005: 20, 6007: 20, 6011: 20, 6012: 20, 6014: 20, 6016: 20, 6017: 20, 6045: 20, 6052: 20, 6063: 20, 6064: 20, 6074: 20, 6084: 20, 6088: 20, 6102: 20, 6104: 20, 6121: 20, 6132: 20, 6140: 20, 6141: 20, 6142: 20, 6145: 20, 6146: 20, 6149: 20, 6152: 20, 6153: 20, 6163: 20, 6165: 20, 6166: 20, 6167: 20, 6175: 20, 6181: 20, 6183: 20, 6184: 20, 425: 19, 428: 19, 468: 19, 518: 19, 760: 19, 147: 18, 164: 18, 186: 18, 195: 18, 216: 18, 325: 18, 348: 18, 422: 18, 424: 18, 437: 18, 551: 18, 567: 18, 569: 18, 665: 18, 765: 18, 791: 18, 836: 18, 977: 18, 1297: 18, 1313: 18, 1322: 18, 1329: 18, 1383: 18, 1406: 18, 1407: 18, 1414: 18, 1423: 18, 1436: 18, 1456: 18, 1464: 18, 1473: 18, 1491: 18, 1502: 18, 1504: 18, 1506: 18, 1508: 18, 1515: 18, 1522: 18, 1523: 18, 1559: 18, 1569: 18, 1580: 18, 1594: 18, 1619: 18, 1638: 18, 1653: 18, 1667: 18, 1684: 18, 1689: 18, 1704: 18, 1708: 18, 1721: 18, 1722: 18, 1723: 18, 1732: 18, 1770: 18, 1783: 18, 1799: 18, 1810: 18, 1816: 18, 1817: 18, 1823: 18, 1825: 18, 1827: 18, 1884: 18, 1891: 18, 1894: 18, 1942: 18, 1949: 18, 1953: 18, 2080: 18, 2116: 18, 2141: 18, 2155: 18, 2169: 18, 2193: 18, 2219: 18, 2255: 18, 2373: 18, 2445: 18, 2501: 18, 2527: 18, 2654: 18, 2678: 18, 2705: 18, 2871: 18, 2921: 18, 2934: 18, 2971: 18, 2984: 18, 3013: 18, 3028: 18, 3053: 18, 3072: 18, 3092: 18, 3100: 18, 3123: 18, 3135: 18, 3418: 18, 3482: 18, 3483: 18, 3485: 18, 3518: 18, 3523: 18, 3621: 18, 3646: 18, 3676: 18, 3749: 18, 3762: 18, 3827: 18, 3927: 18, 3946: 18, 3981: 18, 3997: 18, 4004: 18, 4025: 18, 4038: 18, 4042: 18, 4065: 18, 4097: 18, 4103: 18, 4110: 18, 4114: 18, 4149: 18, 4151: 18, 4173: 18, 4194: 18, 4219: 18, 4236: 18, 4252: 18, 4266: 18, 4277: 18, 4311: 18, 4323: 18, 4371: 18, 4373: 18, 4482: 18, 4509: 18, 4548: 18, 4569: 18, 4621: 18, 4646: 18, 4656: 18, 4674: 18, 4704: 18, 4706: 18, 4764: 18, 4782: 18, 4787: 18, 4831: 18, 4837: 18, 4856: 18, 4857: 18, 4870: 18, 4882: 18, 4888: 18, 4915: 18, 4932: 18, 4938: 18, 5019: 18, 5033: 18, 5039: 18, 5046: 18, 5054: 18, 5069: 18, 5104: 18, 5168: 18, 5180: 18, 5199: 18, 5211: 18, 5263: 18, 5293: 18, 5378: 18, 5410: 18, 5417: 18, 5424: 18, 5435: 18, 5448: 18, 5490: 18, 5515: 18, 5529: 18, 5544: 18, 5576: 18, 5590: 18, 5617: 18, 5656: 18, 5688: 18, 5750: 18, 5782: 18, 5783: 18, 5787: 18, 5789: 18, 5813: 18, 5815: 18, 5822: 18, 5836: 18, 5863: 18, 5902: 18, 5938: 18, 5978: 18, 6001: 18, 6060: 18, 6156: 18, 210: 17, 288: 17, 380: 17, 383: 17, 474: 17, 638: 17, 639: 17, 880: 17, 68: 16, 117: 16, 118: 16, 134: 16, 135: 16, 153: 16, 185: 16, 193: 16, 201: 16, 206: 16, 211: 16, 220: 16, 226: 16, 244: 16, 261: 16, 263: 16, 277: 16, 286: 16, 287: 16, 291: 16, 297: 16, 317: 16, 323: 16, 332: 16, 347: 16, 351: 16, 355: 16, 370: 16, 371: 16, 377: 16, 381: 16, 397: 16, 411: 16, 415: 16, 456: 16, 459: 16, 467: 16, 471: 16, 479: 16, 486: 16, 505: 16, 506: 16, 523: 16, 537: 16, 543: 16, 544: 16, 552: 16, 573: 16, 588: 16, 641: 16, 655: 16, 669: 16, 680: 16, 685: 16, 690: 16, 694: 16, 757: 16, 766: 16, 772: 16, 777: 16, 778: 16, 781: 16, 782: 16, 797: 16, 800: 16, 813: 16, 815: 16, 824: 16, 848: 16, 859: 16, 869: 16, 877: 16, 906: 16, 909: 16, 914: 16, 936: 16, 938: 16, 939: 16, 946: 16, 950: 16, 957: 16, 958: 16, 971: 16, 987: 16, 1008: 16, 1013: 16, 1056: 16, 1069: 16, 1070: 16, 1077: 16, 1097: 16, 1153: 16, 1154: 16, 1190: 16, 1191: 16, 1199: 16, 1232: 16, 1245: 16, 1250: 16, 1252: 16, 1254: 16, 1262: 16, 1282: 16, 1308: 16, 1310: 16, 1318: 16, 1365: 16, 1369: 16, 1374: 16, 1386: 16, 1393: 16, 1412: 16, 1425: 16, 1430: 16, 1449: 16, 1451: 16, 1485: 16, 1518: 16, 1546: 16, 1574: 16, 1578: 16, 1603: 16, 1608: 16, 1620: 16, 1663: 16, 1670: 16, 1677: 16, 1692: 16, 1726: 16, 1750: 16, 1762: 16, 1772: 16, 1782: 16, 1809: 16, 1820: 16, 1822: 16, 2487: 16, 2588: 16, 2875: 16, 2968: 16, 3033: 16, 3130: 16, 3332: 16, 3931: 16, 3958: 16, 4116: 16, 4170: 16, 4249: 16, 4278: 16, 4418: 16, 4549: 16, 4761: 16, 4832: 16, 5339: 16, 5406: 16, 5423: 16, 5427: 16, 5429: 16, 5450: 16, 5503: 16, 5659: 16, 5660: 16, 5802: 16, 5816: 16, 5892: 16, 126: 15, 249: 15, 292: 15, 294: 15, 335: 15, 339: 15, 384: 15, 470: 15, 475: 15, 517: 15, 654: 15, 770: 15, 1123: 15, 35: 14, 46: 14, 79: 14, 120: 14, 121: 14, 131: 14, 136: 14, 143: 14, 146: 14, 150: 14, 159: 14, 162: 14, 168: 14, 171: 14, 178: 14, 179: 14, 187: 14, 190: 14, 196: 14, 197: 14, 202: 14, 208: 14, 221: 14, 229: 14, 230: 14, 233: 14, 237: 14, 256: 14, 259: 14, 264: 14, 268: 14, 269: 14, 278: 14, 279: 14, 281: 14, 283: 14, 289: 14, 298: 14, 303: 14, 305: 14, 308: 14, 309: 14, 310: 14, 322: 14, 324: 14, 326: 14, 328: 14, 334: 14, 343: 14, 354: 14, 359: 14, 368: 14, 374: 14, 376: 14, 390: 14, 392: 14, 394: 14, 395: 14, 398: 14, 400: 14, 401: 14, 403: 14, 413: 14, 418: 14, 426: 14, 435: 14, 439: 14, 444: 14, 445: 14, 454: 14, 458: 14, 460: 14, 464: 14, 477: 14, 481: 14, 483: 14, 484: 14, 488: 14, 490: 14, 493: 14, 496: 14, 502: 14, 503: 14, 511: 14, 519: 14, 520: 14, 524: 14, 529: 14, 541: 14, 546: 14, 547: 14, 548: 14, 556: 14, 561: 14, 563: 14, 570: 14, 572: 14, 581: 14, 582: 14, 589: 14, 592: 14, 601: 14, 603: 14, 607: 14, 622: 14, 624: 14, 643: 14, 644: 14, 664: 14, 670: 14, 674: 14, 675: 14, 682: 14, 684: 14, 687: 14, 692: 14, 693: 14, 697: 14, 700: 14, 701: 14, 703: 14, 710: 14, 711: 14, 727: 14, 729: 14, 733: 14, 738: 14, 739: 14, 756: 14, 767: 14, 787: 14, 789: 14, 790: 14, 799: 14, 804: 14, 806: 14, 808: 14, 814: 14, 822: 14, 832: 14, 837: 14, 838: 14, 852: 14, 855: 14, 856: 14, 861: 14, 863: 14, 871: 14, 876: 14, 878: 14, 883: 14, 893: 14, 902: 14, 911: 14, 917: 14, 918: 14, 920: 14, 921: 14, 923: 14, 925: 14, 929: 14, 932: 14, 933: 14, 934: 14, 941: 14, 960: 14, 962: 14, 975: 14, 981: 14, 983: 14, 991: 14, 993: 14, 1009: 14, 1020: 14, 1023: 14, 1025: 14, 1026: 14, 1034: 14, 1035: 14, 1036: 14, 1043: 14, 1044: 14, 1048: 14, 1050: 14, 1052: 14, 1054: 14, 1055: 14, 1058: 14, 1059: 14, 1060: 14, 1061: 14, 1064: 14, 1076: 14, 1080: 14, 1087: 14, 1088: 14, 1089: 14, 1095: 14, 1100: 14, 1111: 14, 1125: 14, 1128: 14, 1130: 14, 1140: 14, 1141: 14, 1142: 14, 1143: 14, 1146: 14, 1149: 14, 1150: 14, 1157: 14, 1159: 14, 1161: 14, 1165: 14, 1169: 14, 1172: 14, 1173: 14, 1174: 14, 1175: 14, 1180: 14, 1181: 14, 1183: 14, 1189: 14, 1200: 14, 1202: 14, 1209: 14, 1221: 14, 1223: 14, 1233: 14, 1240: 14, 1242: 14, 1244: 14, 1256: 14, 1258: 14, 1263: 14, 1267: 14, 1269: 14, 1288: 14, 1298: 14, 1319: 14, 1359: 14, 1366: 14, 1402: 14, 1422: 14, 1431: 14, 1457: 14, 1486: 14, 1490: 14, 1551: 14, 1552: 14, 1562: 14, 1625: 14, 1634: 14, 1699: 14, 1707: 14, 1709: 14, 1737: 14, 1757: 14, 1792: 14, 1814: 14, 2592: 14, 3753: 14, 4606: 14, 4800: 14, 243: 13, 248: 13, 340: 13, 378: 13, 423: 13, 427: 13, 472: 13, 516: 13, 526: 13, 759: 13, 768: 13, 895: 13, 1002: 13, 26: 12, 34: 12, 36: 12, 44: 12, 45: 12, 47: 12, 54: 12, 69: 12, 78: 12, 124: 12, 133: 12, 137: 12, 138: 12, 142: 12, 145: 12, 148: 12, 149: 12, 151: 12, 155: 12, 163: 12, 165: 12, 166: 12, 167: 12, 170: 12, 174: 12, 175: 12, 176: 12, 177: 12, 188: 12, 191: 12, 198: 12, 203: 12, 207: 12, 209: 12, 215: 12, 217: 12, 222: 12, 224: 12, 225: 12, 228: 12, 231: 12, 232: 12, 236: 12, 238: 12, 239: 12, 246: 12, 251: 12, 252: 12, 253: 12, 257: 12, 258: 12, 262: 12, 265: 12, 266: 12, 267: 12, 270: 12, 272: 12, 273: 12, 275: 12, 280: 12, 282: 12, 284: 12, 296: 12, 299: 12, 300: 12, 304: 12, 306: 12, 307: 12, 312: 12, 313: 12, 315: 12, 319: 12, 320: 12, 321: 12, 327: 12, 329: 12, 336: 12, 341: 12, 342: 12, 345: 12, 349: 12, 352: 12, 358: 12, 363: 12, 366: 12, 373: 12, 379: 12, 386: 12, 387: 12, 389: 12, 391: 12, 393: 12, 396: 12, 399: 12, 404: 12, 405: 12, 408: 12, 410: 12, 412: 12, 414: 12, 417: 12, 419: 12, 431: 12, 432: 12, 433: 12, 436: 12, 440: 12, 441: 12, 442: 12, 443: 12, 447: 12, 448: 12, 449: 12, 450: 12, 452: 12, 455: 12, 462: 12, 463: 12, 476: 12, 478: 12, 480: 12, 482: 12, 487: 12, 489: 12, 492: 12, 494: 12, 498: 12, 499: 12, 504: 12, 508: 12, 509: 12, 515: 12, 525: 12, 534: 12, 538: 12, 539: 12, 540: 12, 542: 12, 545: 12, 549: 12, 554: 12, 557: 12, 558: 12, 562: 12, 564: 12, 566: 12, 568: 12, 571: 12, 574: 12, 575: 12, 580: 12, 583: 12, 585: 12, 586: 12, 590: 12, 591: 12, 593: 12, 595: 12, 596: 12, 598: 12, 599: 12, 600: 12, 602: 12, 604: 12, 605: 12, 609: 12, 611: 12, 613: 12, 614: 12, 615: 12, 618: 12, 619: 12, 621: 12, 625: 12, 629: 12, 630: 12, 631: 12, 636: 12, 650: 12, 651: 12, 653: 12, 656: 12, 657: 12, 660: 12, 661: 12, 662: 12, 666: 12, 667: 12, 668: 12, 671: 12, 676: 12, 677: 12, 678: 12, 681: 12, 683: 12, 686: 12, 689: 12, 695: 12, 696: 12, 699: 12, 702: 12, 704: 12, 707: 12, 708: 12, 714: 12, 715: 12, 716: 12, 717: 12, 720: 12, 721: 12, 723: 12, 724: 12, 726: 12, 731: 12, 732: 12, 735: 12, 736: 12, 737: 12, 740: 12, 741: 12, 744: 12, 745: 12, 746: 12, 748: 12, 749: 12, 752: 12, 754: 12, 755: 12, 771: 12, 783: 12, 784: 12, 785: 12, 786: 12, 788: 12, 792: 12, 794: 12, 795: 12, 796: 12, 801: 12, 805: 12, 807: 12, 809: 12, 810: 12, 811: 12, 817: 12, 818: 12, 819: 12, 820: 12, 821: 12, 826: 12, 827: 12, 828: 12, 830: 12, 833: 12, 834: 12, 835: 12, 841: 12, 842: 12, 843: 12, 845: 12, 849: 12, 851: 12, 853: 12, 857: 12, 858: 12, 860: 12, 862: 12, 868: 12, 874: 12, 875: 12, 884: 12, 885: 12, 892: 12, 894: 12, 900: 12, 904: 12, 905: 12, 907: 12, 910: 12, 912: 12, 919: 12, 926: 12, 928: 12, 931: 12, 943: 12, 945: 12, 947: 12, 949: 12, 953: 12, 954: 12, 956: 12, 963: 12, 964: 12, 965: 12, 966: 12, 967: 12, 969: 12, 973: 12, 976: 12, 980: 12, 982: 12, 985: 12, 986: 12, 988: 12, 995: 12, 997: 12, 999: 12, 1003: 12, 1004: 12, 1005: 12, 1014: 12, 1016: 12, 1019: 12, 1028: 12, 1030: 12, 1031: 12, 1032: 12, 1033: 12, 1037: 12, 1038: 12, 1039: 12, 1040: 12, 1042: 12, 1045: 12, 1047: 12, 1051: 12, 1065: 12, 1066: 12, 1067: 12, 1071: 12, 1072: 12, 1073: 12, 1075: 12, 1079: 12, 1083: 12, 1085: 12, 1086: 12, 1091: 12, 1093: 12, 1094: 12, 1098: 12, 1099: 12, 1101: 12, 1103: 12, 1106: 12, 1107: 12, 1108: 12, 1109: 12, 1113: 12, 1115: 12, 1117: 12, 1120: 12, 1129: 12, 1135: 12, 1137: 12, 1139: 12, 1148: 12, 1151: 12, 1152: 12, 1156: 12, 1163: 12, 1164: 12, 1167: 12, 1168: 12, 1170: 12, 1171: 12, 1177: 12, 1178: 12, 1179: 12, 1184: 12, 1186: 12, 1192: 12, 1195: 12, 1197: 12, 1201: 12, 1203: 12, 1205: 12, 1206: 12, 1211: 12, 1212: 12, 1213: 12, 1215: 12, 1217: 12, 1219: 12, 1220: 12, 1222: 12, 1226: 12, 1227: 12, 1228: 12, 1230: 12, 1235: 12, 1236: 12, 1241: 12, 1243: 12, 1246: 12, 1248: 12, 1251: 12, 1253: 12, 1259: 12, 1265: 12, 1268: 12, 1270: 12, 1272: 12, 1273: 12, 1274: 12, 1275: 12, 1382: 12, 1437: 12, 1438: 12, 1465: 12, 1550: 12, 1563: 12, 1598: 12, 1606: 12, 1658: 12, 1669: 12, 1700: 12, 1728: 12, 245: 11, 337: 11, 533: 11, 637: 11, 652: 11, 775: 11, 879: 11, 881: 11, 891: 11, 1000: 11, 1001: 11, 1010: 11, 1017: 11, 1122: 11, 1136: 11, 1138: 11, 8: 10, 10: 10, 13: 10, 24: 10, 25: 10, 33: 10, 48: 10, 55: 10, 56: 10, 57: 10, 67: 10, 80: 10, 119: 10, 122: 10, 125: 10, 127: 10, 129: 10, 130: 10, 139: 10, 140: 10, 141: 10, 144: 10, 152: 10, 154: 10, 156: 10, 158: 10, 160: 10, 161: 10, 169: 10, 172: 10, 173: 10, 181: 10, 182: 10, 184: 10, 192: 10, 194: 10, 199: 10, 200: 10, 204: 10, 205: 10, 213: 10, 214: 10, 240: 10, 254: 10, 255: 10, 260: 10, 274: 10, 276: 10, 285: 10, 301: 10, 302: 10, 314: 10, 316: 10, 318: 10, 330: 10, 344: 10, 346: 10, 350: 10, 353: 10, 356: 10, 357: 10, 360: 10, 361: 10, 362: 10, 364: 10, 365: 10, 375: 10, 388: 10, 402: 10, 406: 10, 409: 10, 416: 10, 420: 10, 421: 10, 434: 10, 451: 10, 453: 10, 465: 10, 466: 10, 485: 10, 495: 10, 497: 10, 500: 10, 501: 10, 510: 10, 513: 10, 514: 10, 521: 10, 522: 10, 530: 10, 532: 10, 555: 10, 559: 10, 560: 10, 565: 10, 576: 10, 577: 10, 578: 10, 584: 10, 594: 10, 597: 10, 608: 10, 610: 10, 612: 10, 616: 10, 620: 10, 627: 10, 628: 10, 632: 10, 633: 10, 634: 10, 635: 10, 640: 10, 646: 10, 663: 10, 672: 10, 673: 10, 679: 10, 688: 10, 691: 10, 698: 10, 705: 10, 706: 10, 709: 10, 712: 10, 713: 10, 719: 10, 722: 10, 725: 10, 728: 10, 734: 10, 743: 10, 747: 10, 750: 10, 751: 10, 753: 10, 761: 10, 763: 10, 764: 10, 780: 10, 793: 10, 798: 10, 803: 10, 823: 10, 825: 10, 829: 10, 831: 10, 839: 10, 840: 10, 844: 10, 847: 10, 850: 10, 854: 10, 864: 10, 865: 10, 866: 10, 867: 10, 872: 10, 873: 10, 882: 10, 887: 10, 897: 10, 898: 10, 901: 10, 903: 10, 908: 10, 916: 10, 922: 10, 924: 10, 927: 10, 935: 10, 937: 10, 940: 10, 942: 10, 944: 10, 948: 10, 951: 10, 952: 10, 955: 10, 959: 10, 970: 10, 974: 10, 978: 10, 984: 10, 989: 10, 990: 10, 992: 10, 994: 10, 996: 10, 998: 10, 1006: 10, 1007: 10, 1022: 10, 1024: 10, 1029: 10, 1041: 10, 1049: 10, 1053: 10, 1057: 10, 1062: 10, 1068: 10, 1078: 10, 1081: 10, 1082: 10, 1092: 10, 1104: 10, 1105: 10, 1110: 10, 1112: 10, 1118: 10, 1119: 10, 1124: 10, 1126: 10, 1127: 10, 1134: 10, 1144: 10, 1145: 10, 1147: 10, 1155: 10, 1158: 10, 1160: 10, 1176: 10, 1185: 10, 1187: 10, 1188: 10, 1194: 10, 1196: 10, 1204: 10, 1207: 10, 1208: 10, 1214: 10, 1216: 10, 1218: 10, 1224: 10, 1225: 10, 1229: 10, 1234: 10, 1237: 10, 1238: 10, 1247: 10, 1249: 10, 1255: 10, 1257: 10, 1260: 10, 1261: 10, 1264: 10, 1266: 10, 1271: 10, 1616: 10, 247: 9, 250: 9, 333: 9, 382: 9, 531: 9, 648: 9, 649: 9, 758: 9, 769: 9, 773: 9, 889: 9, 890: 9, 896: 9, 1011: 9, 1012: 9, 1015: 9, 1131: 9, 1133: 9, 12: 8, 22: 8, 23: 8, 27: 8, 31: 8, 32: 8, 39: 8, 40: 8, 41: 8, 43: 8, 49: 8, 58: 8, 59: 8, 60: 8, 65: 8, 66: 8, 72: 8, 77: 8, 123: 8, 128: 8, 157: 8, 180: 8, 183: 8, 212: 8, 219: 8, 223: 8, 234: 8, 235: 8, 241: 8, 242: 8, 271: 8, 311: 8, 331: 8, 372: 8, 407: 8, 438: 8, 446: 8, 461: 8, 507: 8, 535: 8, 536: 8, 550: 8, 553: 8, 579: 8, 587: 8, 606: 8, 623: 8, 626: 8, 642: 8, 645: 8, 659: 8, 718: 8, 730: 8, 742: 8, 774: 8, 802: 8, 812: 8, 816: 8, 846: 8, 870: 8, 899: 8, 915: 8, 961: 8, 968: 8, 979: 8, 1027: 8, 1046: 8, 1063: 8, 1074: 8, 1084: 8, 1090: 8, 1096: 8, 1102: 8, 1114: 8, 1116: 8, 1162: 8, 1166: 8, 1182: 8, 1193: 8, 1198: 8, 1210: 8, 1231: 8, 1239: 8, 103: 7, 106: 7, 112: 7, 295: 7, 385: 7, 430: 7, 527: 7, 528: 7, 647: 7, 1121: 7, 7: 6, 9: 6, 11: 6, 15: 6, 16: 6, 17: 6, 18: 6, 19: 6, 20: 6, 21: 6, 28: 6, 29: 6, 30: 6, 37: 6, 38: 6, 42: 6, 50: 6, 51: 6, 52: 6, 53: 6, 61: 6, 62: 6, 63: 6, 64: 6, 70: 6, 71: 6, 73: 6, 74: 6, 75: 6, 76: 6, 84: 6, 86: 6, 88: 6, 90: 6, 92: 6, 93: 6, 96: 6, 97: 6, 98: 6, 99: 6, 101: 6, 102: 6, 104: 6, 105: 6, 107: 6, 108: 6, 110: 6, 111: 6, 113: 6, 114: 6, 116: 6, 218: 6, 491: 6, 658: 6, 762: 6, 779: 6, 913: 6, 930: 6, 972: 6, 1021: 6, 100: 5, 109: 5, 115: 5, 1132: 5, 1: 4, 2: 4, 3: 4, 4: 4, 5: 4, 6: 4, 81: 4, 82: 4, 83: 4, 85: 4, 87: 4, 89: 4, 91: 4, 94: 4, 95: 4})
In [60]:
mid=31
where_mid=(faces[3:]==mid).sum(0)==1
trian_mid=faces[3:,where_mid].transpose()
trian_mid
Out[60]:
array([[31, 14, 5],
[31, 29, 28],
[14, 31, 34],
[34, 31, 28],
[18, 31, 5],
[29, 31, 38],
[38, 31, 18]])
In [66]:
r_[([sorted(a[a!=mid]) for a in trian_mid])]
Out[66]:
array([[ 5, 14],
[28, 29],
[14, 34],
[28, 34],
[ 5, 18],
[29, 38],
[18, 38]])
In [68]:
x,y=nodes[[1,3]]
pl.plot(x,y,'.')
ook=[pl.plot(x[p-1],y[p-1],':') for p in faces[[-3,-2,-1,-3]].transpose()]
pl.title("pohled z boku")
Out[68]:
<matplotlib.text.Text at 0x7fa3a4e432b0>
In [18]:
def area(a,b,c):
#verts=r_[[a,b,c,a]]
#s=r[:-1,0]
b1,c1=b-a,c-a
return abs(np.linalg.det([b1,c1,np.ones(3)]))/2.
In [26]:
f=5
In [27]:
fsurf=[area(*nodes[1:,f-1].transpose()) for f in faces[3:].transpose()]
pl.hist(fsurf)
--------------------------------------------------------------------------- TypeError Traceback (most recent call last) <ipython-input-27-5fbe67184137> in <module>() ----> 1 fsurf=[area(*nodes[1:,f-1].transpose()) for f in faces[3:].transpose()] 2 pl.hist(fsurf) <ipython-input-27-5fbe67184137> in <listcomp>(.0) ----> 1 fsurf=[area(*nodes[1:,f-1].transpose()) for f in faces[3:].transpose()] 2 pl.hist(fsurf) TypeError: area() missing 1 required positional argument: 'c'
In [28]:
def volume(a,b,c,d):
b1,c1,d1=b-a,c-a,d-a
return abs(np.linalg.det([b1,c1,d1]))/6.
In [38]:
f=volus[2:][:,5]
import numpy as np
volume(*nodes[1:,f-1].transpose())
Out[38]:
7.8421700148623978e-07
In [39]:
fvols=[volume(*nodes[1:,f-1].transpose()) for f in volus[2:].transpose()]
pl.hist(fvols)
Out[39]:
(array([ 3.00420000e+04, 1.24400000e+03, 6.88000000e+02,
3.67000000e+02, 2.19000000e+02, 2.44000000e+02,
1.13000000e+02, 3.90000000e+01, 1.10000000e+01,
1.10000000e+01]),
array([ 1.15180880e-08, 7.36189193e-04, 1.47236687e-03,
2.20854454e-03, 2.94472222e-03, 3.68089989e-03,
4.41707757e-03, 5.15325524e-03, 5.88943292e-03,
6.62561059e-03, 7.36178827e-03]),
<a list of 10 Patch objects>)
In [40]:
pl.hist(fvols,r_[:0.001:30j])
Out[40]:
(array([ 22091., 2754., 1130., 649., 456., 325., 241.,
295., 232., 212., 200., 201., 149., 184.,
156., 144., 124., 120., 119., 99., 125.,
100., 96., 70., 73., 76., 74., 91.,
88.]), array([ 0.00000000e+00, 3.44827586e-05, 6.89655172e-05,
1.03448276e-04, 1.37931034e-04, 1.72413793e-04,
2.06896552e-04, 2.41379310e-04, 2.75862069e-04,
3.10344828e-04, 3.44827586e-04, 3.79310345e-04,
4.13793103e-04, 4.48275862e-04, 4.82758621e-04,
5.17241379e-04, 5.51724138e-04, 5.86206897e-04,
6.20689655e-04, 6.55172414e-04, 6.89655172e-04,
7.24137931e-04, 7.58620690e-04, 7.93103448e-04,
8.27586207e-04, 8.62068966e-04, 8.96551724e-04,
9.31034483e-04, 9.65517241e-04, 1.00000000e-03]), <a list of 29 Patch objects>)
In [43]:
np.median(fvols)
Out[43]:
7.667540521932971e-06
In [91]:
q=[np.linalg.det([a,b,np.ones(3)]),np.linalg.det([b,c,np.ones(3)]),np.linalg.det([c,a,np.ones(3)])]
sum(q),area(a,b,c)
Out[91]:
(0.023204262312354118, 0.023204262312354118)