{512: 1, 256: 1, 520: 1, 521: 2, 258: 1, 529: 4, 530: 21, 531: 18, 532: 18, 533: 18, 260: 1, 538: 1, 545: 1, 547: 1, 548: 1, 549: 1, 264: 1, 565: 1, 566: 1, 575: 1, 576: 1, 577: 1, 578: 1, 580: 1, 593: 1, 594: 1, 595: 1, 270: 1, 599: 1, 600: 1, 605: 1, 606: 1, 607: 1, 272: 1, 610: 1, 615: 10, 616: 9, 617: 12, 618: 12, 619: 9, 621: 3, 623: 3, 624: 3, 626: 6, 627: 6, 632: 6, 633: 6, 634: 6, 635: 6, 636: 6, 637: 6, 277: 1, 642: 6, 643: 6, 645: 6, 658: 6, 659: 6, 660: 6, 661: 6, 281: 1, 666: 6, 667: 6, 668: 6, 282: 1, 278: 1, 283: 1, 676: 9, 677: 9, 284: 1, 683: 1, 685: 1, 686: 1, 687: 1, 689: 1, 262: 1, 710: 1, 715: 1, 290: 1, 718: 1, 721: 1, 291: 1, 726: 1, 727: 1, 728: 1, 729: 1, 730: 1, 734: 1, 735: 1, 736: 1, 737: 1, 738: 1, 294: 1, 742: 1, 465: 1, 747: 1, 755: 1, 756: 1, 757: 2, 758: 2, 759: 2, 760: 1, 761: 2, 762: 1, 763: 1, 764: 1, 765: 10, 766: 36, 767: 27, 768: 21, 770: 3, 772: 18, 773: 1, 774: 1, 775: 1, 776: 1, 777: 1, 266: 1, 305: 1, 268: 1, 782: 1, 783: 1, 784: 1, 785: 1, 275: 1, 276: 1, 789: 1, 790: 1, 279: 1, 280: 1, 793: 1, 794: 1, 795: 1, 796: 1, 797: 1, 798: 1, 304: 1, 802: 1, 803: 1, 292: 1, 293: 1, 806: 1, 295: 1, 809: 1, 811: 2, 812: 1, 813: 1, 302: 1, 815: 2, 816: 1, 817: 1, 306: 1, 819: 2, 820: 1, 821: 1, 823: 2, 824: 1, 825: 1, 828: 1, 831: 1, 832: 1, 833: 1, 834: 1, 835: 1, 838: 1, 841: 1, 844: 1, 301: 1, 346: 6, 347: 6, 348: 6, 349: 6, 353: 6, 363: 6, 372: 6, 373: 6, 376: 6, 377: 6, 396: 1, 397: 1, 398: 1, 399: 1, 303: 1, 402: 1, 403: 1, 252: 1, 406: 1, 418: 1, 419: 1, 429: 1, 430: 5, 431: 4, 432: 16, 433: 84, 434: 12, 435: 12, 437: 1, 439: 1, 444: 1, 446: 1, 460: 2, 461: 2, 462: 2, 463: 2, 464: 48, 254: 1, 470: 1, 471: 1, 472: 1, 473: 1, 484: 1, 487: 1, 488: 1, 489: 1, 491: 1, 492: 1, 493: 1, 494: 1, 496: 1, 497: 1, 500: 1, 501: 1, 502: 1, 504: 7, 505: 6, 506: 6, 507: 6, 508: 1, 511: 1}
{512: 1, 256: 1, 520: 1, 521: 2, 258: 1, 529: 4, 530: 21, 531: 18, 532: 18, 533: 18, 260: 1, 538: 1, 545: 1, 547: 1, 548: 1, 549: 1, 264: 1, 565: 1, 566: 1, 575: 1, 576: 1, 577: 1, 578: 1, 580: 1, 593: 1, 594: 1, 595: 1, 270: 1, 599: 1, 600: 1, 605: 1, 606: 1, 607: 1, 272: 1, 610: 1, 615: 10, 616: 9, 617: 12, 618: 12, 619: 9, 621: 3, 623: 3, 624: 3, 626: 6, 627: 6, 632: 6, 633: 6, 634: 6, 635: 6, 636: 6, 637: 6, 277: 1, 642: 6, 643: 6, 645: 6, 658: 6, 659: 6, 660: 6, 661: 6, 281: 1, 666: 6, 667: 6, 668: 6, 282: 1, 278: 1, 283: 1, 676: 9, 677: 9, 284: 1, 683: 1, 685: 1, 686: 1, 687: 1, 689: 1, 262: 1, 710: 1, 715: 1, 290: 1, 718: 1, 721: 1, 291: 1, 726: 1, 727: 1, 728: 1, 729: 1, 730: 1, 734: 1, 735: 1, 736: 1, 737: 1, 738: 1, 294: 1, 742: 1, 465: 1, 747: 1, 755: 1, 756: 1, 757: 2, 758: 2, 759: 2, 760: 1, 761: 2, 762: 1, 763: 1, 764: 1, 765: 10, 766: 36, 767: 27, 768: 21, 770: 3, 772: 18, 773: 1, 774: 1, 775: 1, 776: 1, 777: 1, 266: 1, 305: 1, 268: 1, 782: 1, 783: 1, 784: 1, 785: 1, 275: 1, 276: 1, 789: 1, 790: 1, 279: 1, 280: 1, 793: 1, 794: 1, 795: 1, 796: 1, 797: 1, 798: 1, 304: 1, 802: 1, 803: 1, 292: 1, 293: 1, 806: 1, 295: 1, 809: 1, 811: 2, 812: 1, 813: 1, 302: 1, 815: 2, 816: 1, 817: 1, 306: 1, 819: 2, 820: 1, 821: 1, 823: 2, 824: 1, 825: 1, 828: 1, 831: 1, 832: 1, 833: 1, 834: 1, 835: 1, 838: 1, 841: 1, 844: 1, 301: 1, 346: 6, 347: 6, 348: 6, 349: 6, 353: 6, 363: 6, 372: 6, 373: 6, 376: 6, 377: 6, 396: 1, 397: 1, 398: 1, 399: 1, 303: 1, 402: 1, 403: 1, 252: 1, 406: 1, 408: 1, 409: 1, 439: 1, 444: 1, 446: 1, 460: 2, 461: 2, 462: 2, 463: 2, 464: 48, 254: 1, 470: 1, 471: 1, 472: 1, 473: 1, 484: 1, 487: 1, 488: 1, 489: 1, 491: 1, 492: 1, 493: 1, 494: 1, 496: 1, 497: 1, 500: 1, 501: 1, 502: 1, 504: 7, 505: 6, 506: 6, 507: 6, 508: 1, 511: 1}
{512: 1, 256: 1, 520: 1, 521: 2, 258: 1, 529: 4, 530: 21, 531: 18, 532: 18, 533: 18, 260: 1, 538: 1, 545: 1, 547: 1, 548: 1, 549: 1, 264: 1, 565: 1, 566: 1, 575: 1, 576: 1, 577: 1, 578: 1, 580: 1, 593: 1, 594: 1, 595: 1, 270: 1, 599: 1, 600: 1, 605: 1, 606: 1, 607: 1, 272: 1, 610: 1, 615: 10, 616: 9, 617: 12, 618: 12, 619: 9, 621: 3, 623: 3, 624: 3, 626: 6, 627: 6, 632: 6, 633: 6, 634: 6, 635: 6, 636: 6, 637: 6, 277: 1, 642: 6, 643: 6, 645: 6, 658: 6, 659: 6, 660: 6, 661: 6, 281: 1, 666: 6, 667: 6, 668: 6, 282: 1, 278: 1, 283: 1, 676: 9, 677: 9, 284: 1, 683: 1, 685: 1, 686: 1, 687: 1, 689: 1, 262: 1, 710: 1, 715: 1, 290: 1, 718: 1, 721: 1, 291: 1, 726: 1, 727: 1, 728: 1, 729: 1, 730: 1, 734: 1, 735: 1, 736: 1, 737: 1, 738: 1, 294: 1, 742: 1, 465: 1, 747: 1, 755: 1, 756: 1, 757: 2, 758: 2, 759: 2, 760: 1, 761: 2, 762: 1, 763: 1, 764: 1, 765: 10, 766: 36, 767: 27, 768: 21, 770: 3, 772: 18, 773: 1, 774: 1, 775: 1, 776: 1, 777: 1, 266: 1, 305: 1, 268: 1, 782: 1, 783: 1, 784: 1, 785: 1, 275: 1, 276: 1, 789: 1, 790: 1, 279: 1, 280: 1, 793: 1, 794: 1, 795: 1, 796: 1, 797: 1, 798: 1, 304: 1, 802: 1, 803: 1, 292: 1, 293: 1, 806: 1, 295: 1, 809: 1, 811: 2, 812: 1, 813: 1, 302: 1, 815: 2, 816: 1, 817: 1, 306: 1, 819: 2, 820: 1, 821: 1, 823: 2, 824: 1, 825: 1, 828: 1, 831: 1, 832: 1, 833: 1, 834: 1, 835: 1, 838: 1, 841: 1, 844: 1, 301: 1, 346: 6, 347: 6, 348: 6, 349: 6, 353: 6, 363: 6, 372: 6, 373: 6, 376: 6, 377: 6, 396: 1, 397: 1, 398: 1, 399: 1, 303: 1, 402: 1, 403: 1, 252: 1, 406: 1, 408: 1, 409: 1, 439: 1, 444: 1, 446: 1, 460: 2, 461: 2, 462: 2, 463: 2, 464: 48, 254: 1, 470: 1, 471: 1, 472: 1, 473: 1, 484: 1, 487: 1, 488: 1, 489: 1, 491: 1, 492: 1, 493: 1, 494: 1, 496: 1, 497: 1, 500: 1, 501: 1, 502: 1, 504: 7, 505: 6, 506: 6, 507: 6, 508: 1, 511: 1}
{512: 1, 256: 1, 520: 1, 521: 2, 258: 1, 529: 4, 530: 21, 531: 18, 532: 18, 533: 18, 260: 1, 538: 1, 545: 1, 547: 1, 548: 1, 549: 1, 264: 1, 565: 1, 566: 1, 575: 1, 576: 1, 577: 1, 578: 1, 580: 1, 593: 1, 594: 1, 595: 1, 270: 1, 599: 1, 600: 1, 605: 1, 606: 1, 607: 1, 272: 1, 610: 1, 615: 10, 616: 9, 617: 12, 618: 12, 619: 9, 621: 3, 623: 3, 624: 3, 626: 6, 627: 6, 632: 6, 633: 6, 634: 6, 635: 6, 636: 6, 637: 6, 277: 1, 642: 6, 643: 6, 645: 6, 658: 6, 659: 6, 660: 6, 661: 6, 281: 1, 665: 6, 666: 6, 667: 6, 668: 6, 282: 1, 278: 1, 283: 1, 676: 9, 677: 9, 284: 1, 683: 1, 685: 1, 686: 1, 687: 1, 689: 1, 262: 1, 710: 1, 715: 1, 290: 1, 718: 1, 721: 1, 291: 1, 726: 1, 727: 1, 728: 1, 729: 1, 730: 1, 734: 1, 735: 1, 736: 1, 737: 1, 738: 1, 294: 1, 742: 1, 465: 1, 747: 1, 755: 1, 756: 1, 757: 2, 758: 2, 759: 2, 760: 1, 761: 2, 762: 1, 763: 1, 764: 1, 765: 10, 766: 36, 767: 27, 768: 21, 770: 3, 772: 18, 773: 1, 774: 1, 775: 1, 776: 1, 777: 1, 266: 1, 305: 1, 268: 1, 782: 1, 783: 1, 784: 1, 785: 1, 275: 1, 276: 1, 789: 1, 790: 1, 279: 1, 280: 1, 793: 1, 794: 1, 795: 1, 796: 1, 797: 1, 798: 1, 304: 1, 802: 1, 803: 1, 292: 1, 293: 1, 806: 1, 295: 1, 809: 1, 811: 2, 812: 1, 813: 1, 302: 1, 815: 2, 816: 1, 817: 1, 306: 1, 819: 2, 820: 1, 821: 1, 823: 2, 824: 1, 825: 1, 828: 1, 831: 1, 832: 1, 833: 1, 834: 1, 835: 1, 838: 1, 841: 1, 844: 1, 301: 1, 346: 6, 347: 6, 348: 6, 349: 6, 353: 6, 363: 6, 372: 6, 373: 6, 376: 6, 377: 6, 396: 1, 397: 1, 398: 1, 399: 1, 303: 1, 402: 1, 403: 1, 252: 1, 406: 1, 408: 1, 409: 1, 439: 1, 444: 1, 446: 1, 460: 2, 461: 2, 462: 2, 463: 2, 464: 48, 254: 1, 470: 1, 471: 1, 472: 1, 473: 1, 484: 1, 487: 1, 488: 1, 489: 1, 491: 1, 492: 1, 493: 1, 494: 1, 496: 1, 497: 1, 500: 1, 501: 1, 502: 1, 504: 7, 505: 6, 506: 6, 507: 6, 508: 1, 511: 1}
{512: 1, 256: 1, 520: 1, 521: 2, 258: 1, 529: 4, 530: 21, 531: 18, 532: 18, 533: 18, 260: 1, 538: 1, 545: 1, 547: 1, 548: 1, 549: 1, 264: 1, 565: 1, 566: 1, 575: 1, 576: 1, 577: 1, 578: 1, 580: 1, 593: 1, 594: 1, 595: 1, 270: 1, 599: 1, 600: 1, 605: 1, 606: 1, 607: 1, 272: 1, 610: 1, 615: 10, 616: 9, 617: 12, 618: 12, 619: 9, 621: 3, 623: 3, 624: 3, 626: 6, 627: 6, 632: 6, 633: 6, 634: 6, 635: 6, 636: 6, 637: 6, 277: 1, 642: 6, 643: 6, 645: 6, 658: 6, 659: 6, 660: 6, 661: 6, 281: 1, 666: 6, 667: 6, 668: 6, 282: 1, 278: 1, 283: 1, 676: 9, 677: 9, 284: 1, 683: 1, 685: 1, 686: 1, 687: 1, 689: 1, 262: 1, 710: 1, 715: 1, 290: 1, 718: 1, 721: 1, 291: 1, 726: 1, 727: 1, 728: 1, 729: 1, 730: 1, 734: 1, 735: 1, 736: 1, 737: 1, 738: 1, 294: 1, 742: 1, 465: 1, 747: 1, 755: 1, 756: 1, 757: 2, 758: 2, 759: 2, 760: 1, 761: 2, 762: 1, 763: 1, 764: 1, 765: 10, 766: 36, 767: 27, 768: 21, 770: 3, 772: 18, 773: 1, 774: 1, 775: 1, 776: 1, 777: 1, 266: 1, 305: 1, 268: 1, 782: 1, 783: 1, 784: 1, 785: 1, 275: 1, 276: 1, 789: 1, 790: 1, 279: 1, 280: 1, 793: 1, 794: 1, 795: 1, 796: 1, 797: 1, 798: 1, 304: 1, 802: 1, 803: 1, 292: 1, 293: 1, 806: 1, 295: 1, 809: 1, 811: 2, 812: 1, 813: 1, 302: 1, 815: 2, 816: 1, 817: 1, 306: 1, 819: 2, 820: 1, 821: 1, 823: 2, 824: 1, 825: 1, 828: 1, 831: 1, 832: 1, 833: 1, 834: 1, 835: 1, 838: 1, 841: 1, 844: 1, 301: 1, 346: 6, 347: 6, 348: 6, 349: 6, 353: 6, 363: 6, 372: 6, 373: 6, 376: 6, 377: 6, 396: 1, 397: 1, 398: 1, 399: 1, 303: 1, 402: 1, 403: 1, 252: 1, 406: 1, 408: 1, 409: 1, 439: 1, 444: 1, 446: 1, 460: 2, 461: 2, 462: 2, 463: 2, 464: 48, 254: 1, 470: 1, 471: 1, 472: 1, 473: 1, 484: 1, 487: 1, 488: 1, 489: 1, 491: 1, 492: 1, 493: 1, 494: 1, 496: 1, 497: 1, 500: 1, 501: 1, 502: 1, 504: 7, 505: 6, 506: 6, 507: 6, 508: 1, 511: 1}
{512: 1, 256: 1, 520: 1, 521: 2, 258: 1, 529: 4, 530: 21, 531: 18, 532: 18, 533: 18, 260: 1, 538: 1, 545: 1, 547: 1, 548: 1, 549: 1, 264: 1, 565: 1, 566: 1, 575: 1, 576: 1, 577: 1, 578: 1, 580: 1, 593: 1, 594: 1, 595: 1, 270: 1, 599: 1, 600: 1, 605: 1, 606: 1, 607: 1, 272: 1, 610: 1, 615: 10, 616: 9, 617: 12, 618: 12, 619: 9, 621: 3, 623: 3, 624: 3, 626: 6, 627: 6, 632: 6, 633: 6, 634: 6, 635: 6, 636: 6, 637: 6, 277: 1, 642: 6, 643: 6, 645: 6, 658: 6, 659: 6, 660: 6, 661: 6, 281: 1, 666: 6, 667: 6, 668: 6, 282: 1, 278: 1, 283: 1, 676: 9, 677: 9, 284: 1, 683: 1, 685: 1, 686: 1, 687: 1, 689: 1, 262: 1, 710: 1, 715: 1, 290: 1, 718: 1, 721: 1, 291: 1, 726: 1, 727: 1, 728: 1, 729: 1, 730: 1, 734: 1, 735: 1, 736: 1, 737: 1, 738: 1, 294: 1, 742: 1, 465: 1, 747: 1, 755: 1, 756: 1, 757: 2, 758: 2, 759: 2, 760: 1, 761: 2, 762: 1, 763: 1, 764: 1, 765: 10, 766: 36, 767: 27, 768: 21, 770: 3, 772: 18, 773: 1, 774: 1, 775: 1, 776: 1, 777: 1, 266: 1, 305: 1, 268: 1, 782: 1, 783: 1, 784: 1, 785: 1, 275: 1, 276: 1, 789: 1, 790: 1, 279: 1, 280: 1, 793: 1, 794: 1, 795: 1, 796: 1, 797: 1, 798: 1, 304: 1, 802: 1, 803: 1, 292: 1, 293: 1, 806: 1, 295: 1, 809: 1, 811: 2, 812: 1, 813: 1, 302: 1, 815: 2, 816: 1, 817: 1, 306: 1, 819: 2, 820: 1, 821: 1, 823: 2, 824: 1, 825: 1, 828: 1, 831: 1, 832: 1, 833: 1, 834: 1, 835: 1, 838: 1, 841: 1, 844: 1, 301: 1, 346: 6, 347: 6, 348: 6, 349: 6, 353: 6, 363: 6, 372: 6, 373: 6, 376: 6, 377: 6, 396: 1, 397: 1, 398: 1, 399: 1, 303: 1, 402: 1, 403: 1, 252: 1, 406: 1, 408: 1, 409: 1, 439: 1, 444: 1, 446: 1, 460: 2, 461: 2, 462: 2, 463: 2, 464: 48, 254: 1, 470: 1, 471: 1, 472: 1, 473: 1, 484: 1, 487: 1, 488: 1, 489: 1, 491: 1, 492: 1, 493: 1, 494: 1, 496: 1, 497: 1, 500: 1, 501: 1, 502: 1, 504: 7, 505: 6, 506: 6, 507: 6, 508: 1, 511: 1}
{512: 1, 256: 1, 520: 1, 521: 2, 258: 1, 529: 4, 530: 21, 531: 18, 532: 18, 533: 18, 260: 1, 538: 1, 545: 1, 547: 1, 548: 1, 549: 1, 264: 1, 565: 1, 566: 1, 575: 1, 576: 1, 577: 1, 578: 1, 580: 1, 593: 1, 594: 1, 595: 1, 270: 1, 599: 1, 600: 1, 605: 1, 606: 1, 607: 1, 272: 1, 610: 1, 615: 10, 616: 9, 617: 11, 618: 9, 619: 7, 621: 1, 623: 1, 624: 1, 626: 6, 627: 6, 632: 6, 633: 6, 634: 6, 635: 6, 636: 6, 637: 6, 277: 1, 642: 6, 643: 6, 645: 6, 658: 6, 659: 6, 660: 6, 661: 6, 281: 1, 666: 6, 667: 6, 668: 6, 282: 1, 278: 1, 283: 1, 676: 7, 677: 9, 679: 2, 284: 1, 683: 1, 685: 1, 686: 1, 687: 1, 689: 1, 262: 1, 710: 1, 715: 1, 290: 1, 718: 1, 721: 1, 291: 1, 726: 1, 727: 1, 728: 1, 729: 1, 730: 1, 734: 1, 735: 1, 736: 1, 737: 1, 738: 1, 294: 1, 742: 1, 465: 1, 747: 1, 755: 1, 756: 1, 757: 2, 758: 2, 759: 2, 760: 1, 761: 2, 762: 1, 763: 1, 764: 1, 765: 10, 766: 18, 767: 9, 768: 7, 770: 1, 772: 6, 773: 1, 774: 1, 775: 1, 776: 1, 777: 1, 266: 1, 305: 1, 268: 1, 782: 1, 783: 1, 784: 1, 785: 1, 275: 1, 276: 1, 789: 1, 790: 1, 279: 1, 280: 1, 793: 1, 794: 1, 795: 1, 796: 1, 797: 1, 798: 1, 304: 1, 802: 1, 803: 1, 292: 1, 293: 1, 806: 1, 295: 1, 809: 1, 811: 2, 812: 1, 813: 1, 302: 1, 815: 2, 816: 1, 817: 1, 306: 1, 819: 2, 820: 1, 821: 1, 823: 2, 824: 1, 825: 1, 828: 1, 831: 1, 832: 1, 833: 1, 834: 1, 835: 1, 838: 1, 841: 1, 844: 1, 301: 1, 346: 6, 347: 6, 348: 6, 349: 6, 353: 6, 363: 6, 372: 6, 373: 6, 376: 6, 377: 6, 396: 1, 397: 1, 398: 1, 399: 1, 303: 1, 402: 1, 403: 1, 252: 1, 406: 1, 418: 1, 419: 1, 429: 1, 430: 5, 431: 4, 432: 16, 433: 84, 434: 12, 435: 12, 437: 1, 439: 1, 444: 1, 446: 1, 460: 2, 461: 2, 462: 2, 463: 2, 464: 48, 254: 1, 470: 1, 471: 1, 472: 1, 473: 1, 484: 1, 487: 1, 488: 1, 489: 1, 491: 1, 492: 1, 493: 1, 494: 1, 496: 1, 497: 1, 500: 1, 501: 1, 502: 1, 504: 7, 505: 6, 506: 6, 507: 6, 508: 1, 511: 1}
{512: 1, 256: 1, 520: 1, 521: 2, 258: 1, 529: 4, 530: 21, 531: 18, 532: 18, 533: 18, 260: 1, 538: 1, 545: 1, 547: 1, 548: 1, 549: 1, 264: 1, 565: 1, 566: 1, 575: 1, 576: 1, 577: 1, 578: 1, 580: 1, 593: 1, 594: 1, 595: 1, 270: 1, 599: 1, 600: 1, 605: 1, 606: 1, 607: 1, 272: 1, 610: 1, 615: 10, 616: 9, 617: 12, 618: 12, 619: 9, 621: 3, 623: 3, 624: 3, 626: 6, 627: 6, 632: 6, 633: 6, 634: 6, 635: 6, 636: 6, 637: 6, 277: 1, 642: 6, 643: 6, 645: 6, 658: 6, 659: 6, 660: 6, 661: 6, 281: 1, 666: 6, 667: 6, 668: 6, 282: 1, 278: 1, 283: 1, 676: 9, 677: 9, 284: 1, 683: 1, 685: 1, 686: 1, 687: 1, 689: 1, 262: 1, 710: 1, 715: 1, 290: 1, 718: 1, 721: 1, 291: 1, 726: 1, 727: 1, 728: 1, 729: 1, 730: 1, 734: 1, 735: 1, 736: 1, 737: 1, 738: 1, 294: 1, 742: 1, 465: 1, 747: 1, 755: 1, 756: 1, 757: 2, 758: 2, 759: 2, 760: 1, 761: 2, 762: 1, 763: 1, 764: 1, 765: 10, 766: 36, 767: 27, 768: 21, 770: 3, 772: 18, 773: 1, 774: 1, 775: 1, 776: 1, 777: 1, 266: 1, 305: 1, 268: 1, 782: 1, 783: 1, 784: 1, 785: 1, 275: 1, 276: 1, 789: 1, 790: 1, 279: 1, 280: 1, 793: 1, 794: 1, 795: 1, 796: 1, 797: 1, 798: 1, 304: 1, 802: 1, 803: 1, 292: 1, 293: 1, 806: 1, 295: 1, 809: 1, 811: 2, 812: 1, 813: 1, 302: 1, 815: 2, 816: 1, 817: 1, 306: 1, 819: 2, 820: 1, 821: 1, 823: 2, 824: 1, 825: 1, 828: 1, 831: 1, 832: 1, 833: 1, 834: 1, 835: 1, 838: 1, 841: 1, 844: 1, 301: 1, 346: 6, 347: 6, 348: 6, 349: 6, 353: 6, 363: 6, 372: 6, 373: 6, 376: 6, 377: 6, 396: 1, 397: 1, 398: 1, 399: 1, 303: 1, 402: 1, 403: 1, 252: 1, 406: 1, 408: 1, 409: 1, 439: 1, 444: 1, 446: 1, 460: 2, 461: 2, 462: 2, 463: 2, 464: 48, 254: 1, 470: 1, 471: 1, 472: 1, 473: 1, 484: 1, 487: 1, 488: 1, 489: 1, 491: 1, 492: 1, 493: 1, 494: 1, 496: 1, 497: 1, 500: 1, 501: 1, 502: 1, 504: 7, 505: 6, 506: 6, 507: 6, 508: 1, 511: 1}
{512: 1, 256: 1, 520: 1, 521: 2, 258: 1, 529: 4, 530: 21, 531: 18, 532: 18, 533: 18, 260: 1, 538: 1, 545: 1, 547: 1, 548: 1, 549: 1, 264: 1, 565: 1, 566: 1, 575: 1, 576: 1, 577: 1, 578: 1, 580: 1, 593: 1, 594: 1, 595: 1, 270: 1, 599: 1, 600: 1, 605: 1, 606: 1, 607: 1, 272: 1, 610: 1, 615: 10, 616: 9, 617: 12, 618: 12, 619: 9, 621: 3, 623: 3, 624: 3, 626: 6, 627: 6, 632: 6, 633: 6, 634: 6, 635: 6, 636: 6, 637: 6, 277: 1, 642: 6, 643: 6, 645: 6, 658: 6, 659: 6, 660: 6, 661: 6, 281: 1, 666: 6, 667: 6, 668: 6, 282: 1, 278: 1, 283: 1, 676: 9, 677: 9, 284: 1, 683: 1, 685: 1, 686: 1, 687: 1, 689: 1, 262: 1, 710: 1, 715: 1, 290: 1, 718: 1, 721: 1, 291: 1, 726: 1, 727: 1, 728: 1, 729: 1, 730: 1, 734: 1, 735: 1, 736: 1, 737: 1, 738: 1, 294: 1, 742: 1, 465: 1, 747: 1, 755: 1, 756: 1, 757: 2, 758: 2, 759: 2, 760: 1, 761: 2, 762: 1, 763: 1, 764: 1, 765: 10, 766: 36, 767: 27, 768: 21, 770: 3, 772: 18, 773: 1, 774: 1, 775: 1, 776: 1, 777: 1, 266: 1, 305: 1, 268: 1, 782: 1, 783: 1, 784: 1, 785: 1, 275: 1, 276: 1, 789: 1, 790: 1, 279: 1, 280: 1, 793: 1, 794: 1, 795: 1, 796: 1, 797: 1, 798: 1, 304: 1, 802: 1, 803: 1, 292: 1, 293: 1, 806: 1, 295: 1, 809: 1, 811: 2, 812: 1, 813: 1, 302: 1, 815: 2, 816: 1, 817: 1, 306: 1, 819: 2, 820: 1, 821: 1, 823: 2, 824: 1, 825: 1, 828: 1, 831: 1, 832: 1, 833: 1, 834: 1, 835: 1, 838: 1, 841: 1, 844: 1, 301: 1, 346: 6, 347: 6, 348: 6, 349: 6, 353: 6, 363: 6, 372: 6, 373: 6, 376: 6, 377: 6, 396: 1, 397: 1, 398: 1, 399: 1, 303: 1, 402: 1, 403: 1, 252: 1, 406: 1, 408: 1, 409: 1, 439: 1, 444: 1, 446: 1, 460: 2, 461: 2, 462: 2, 463: 2, 464: 48, 254: 1, 470: 1, 471: 1, 472: 1, 473: 1, 484: 1, 487: 1, 488: 1, 489: 1, 491: 1, 492: 1, 493: 1, 494: 1, 496: 1, 497: 1, 500: 1, 501: 1, 502: 1, 504: 7, 505: 6, 506: 6, 507: 6, 508: 1, 511: 1}
{512: 1, 256: 1, 520: 1, 521: 2, 258: 1, 529: 4, 530: 21, 531: 18, 532: 18, 533: 18, 260: 1, 538: 1, 545: 1, 547: 1, 548: 1, 549: 1, 264: 1, 565: 1, 566: 1, 575: 1, 576: 1, 577: 1, 578: 1, 580: 1, 593: 1, 594: 1, 595: 1, 270: 1, 599: 1, 600: 1, 605: 1, 606: 1, 607: 1, 272: 1, 610: 1, 615: 10, 616: 9, 617: 12, 618: 12, 619: 9, 621: 3, 623: 3, 624: 3, 626: 6, 627: 6, 632: 6, 633: 6, 634: 6, 635: 6, 636: 6, 637: 6, 277: 1, 642: 6, 643: 6, 645: 6, 658: 6, 659: 6, 660: 6, 661: 6, 281: 1, 666: 6, 667: 6, 668: 6, 282: 1, 278: 1, 283: 1, 676: 9, 677: 9, 284: 1, 683: 1, 685: 1, 686: 1, 687: 1, 689: 1, 262: 1, 710: 1, 715: 1, 290: 1, 718: 1, 721: 1, 291: 1, 726: 1, 727: 1, 728: 1, 729: 1, 730: 1, 734: 1, 735: 1, 736: 1, 737: 1, 738: 1, 294: 1, 742: 1, 465: 1, 747: 1, 755: 1, 756: 1, 757: 2, 758: 2, 759: 2, 760: 1, 761: 2, 762: 1, 763: 1, 764: 1, 765: 10, 766: 36, 767: 27, 768: 21, 770: 3, 772: 18, 773: 1, 774: 1, 775: 1, 776: 1, 777: 1, 266: 1, 305: 1, 268: 1, 782: 1, 783: 1, 784: 1, 785: 1, 275: 1, 276: 1, 789: 1, 790: 1, 279: 1, 280: 1, 793: 1, 794: 1, 795: 1, 796: 1, 797: 1, 798: 1, 304: 1, 802: 1, 803: 1, 292: 1, 293: 1, 806: 1, 295: 1, 809: 1, 811: 2, 812: 1, 813: 1, 302: 1, 815: 2, 816: 1, 817: 1, 306: 1, 819: 2, 820: 1, 821: 1, 823: 2, 824: 1, 825: 1, 828: 1, 831: 1, 832: 1, 833: 1, 834: 1, 835: 1, 838: 1, 841: 1, 844: 1, 301: 1, 346: 6, 347: 6, 348: 6, 349: 6, 353: 6, 363: 6, 372: 6, 373: 6, 376: 6, 377: 6, 396: 1, 397: 1, 398: 1, 399: 1, 303: 1, 402: 1, 403: 1, 252: 1, 406: 1, 408: 1, 409: 1, 439: 1, 444: 1, 446: 1, 460: 2, 461: 2, 462: 2, 463: 2, 464: 48, 254: 1, 470: 1, 471: 1, 472: 1, 473: 1, 484: 1, 487: 1, 488: 1, 489: 1, 491: 1, 492: 1, 493: 1, 494: 1, 496: 1, 497: 1, 500: 1, 501: 1, 502: 1, 504: 7, 505: 6, 506: 6, 507: 6, 508: 1, 511: 1}
{512: 1, 256: 1, 520: 1, 521: 2, 258: 1, 529: 4, 530: 21, 531: 18, 532: 18, 533: 18, 260: 1, 538: 1, 545: 1, 547: 1, 548: 1, 549: 1, 264: 1, 565: 1, 566: 1, 575: 1, 576: 1, 577: 1, 578: 1, 580: 1, 593: 1, 594: 1, 595: 1, 270: 1, 599: 1, 600: 1, 605: 1, 606: 1, 607: 1, 272: 1, 610: 1, 615: 10, 616: 9, 617: 12, 618: 12, 619: 9, 621: 3, 623: 3, 624: 3, 626: 6, 627: 6, 632: 6, 633: 6, 634: 6, 635: 6, 636: 6, 637: 6, 277: 1, 642: 6, 643: 6, 645: 6, 658: 6, 659: 6, 660: 6, 661: 6, 281: 1, 666: 6, 667: 6, 668: 6, 282: 1, 278: 1, 283: 1, 676: 9, 677: 9, 284: 1, 683: 1, 685: 1, 686: 1, 687: 1, 689: 1, 262: 1, 710: 1, 715: 1, 290: 1, 718: 1, 721: 1, 291: 1, 726: 1, 727: 1, 728: 1, 729: 1, 730: 1, 734: 1, 735: 1, 736: 1, 737: 1, 738: 1, 294: 1, 742: 1, 465: 1, 747: 1, 755: 1, 756: 1, 757: 2, 758: 2, 759: 2, 760: 1, 761: 2, 762: 1, 763: 1, 764: 1, 765: 10, 766: 36, 767: 27, 768: 21, 770: 3, 772: 18, 773: 1, 774: 1, 775: 1, 776: 1, 777: 1, 266: 1, 305: 1, 268: 1, 782: 1, 783: 1, 784: 1, 785: 1, 275: 1, 276: 1, 789: 1, 790: 1, 279: 1, 280: 1, 793: 1, 794: 1, 795: 1, 796: 1, 797: 1, 798: 1, 304: 1, 802: 1, 803: 1, 292: 1, 293: 1, 806: 1, 295: 1, 809: 1, 811: 2, 812: 1, 813: 1, 302: 1, 815: 2, 816: 1, 817: 1, 306: 1, 819: 2, 820: 1, 821: 1, 823: 2, 824: 1, 825: 1, 828: 1, 831: 1, 832: 1, 833: 1, 834: 1, 835: 1, 838: 1, 841: 1, 844: 1, 301: 1, 346: 6, 347: 6, 348: 6, 349: 6, 353: 6, 363: 6, 372: 6, 373: 6, 376: 6, 377: 6, 396: 1, 397: 1, 398: 1, 399: 1, 303: 1, 402: 1, 403: 1, 252: 1, 406: 1, 408: 1, 409: 1, 439: 1, 444: 1, 446: 1, 460: 2, 461: 2, 462: 2, 463: 2, 464: 48, 254: 1, 470: 1, 471: 1, 472: 1, 473: 1, 484: 1, 487: 1, 488: 1, 489: 1, 491: 1, 492: 1, 493: 1, 494: 1, 496: 1, 497: 1, 500: 1, 501: 1, 502: 1, 504: 7, 505: 6, 506: 6, 507: 6, 508: 1, 511: 1}
{512: 1, 256: 1, 520: 1, 521: 2, 258: 1, 529: 4, 530: 21, 531: 18, 532: 18, 533: 18, 260: 1, 538: 1, 545: 1, 547: 1, 548: 1, 549: 1, 264: 1, 565: 1, 566: 1, 575: 1, 576: 1, 577: 1, 578: 1, 580: 1, 593: 1, 594: 1, 595: 1, 270: 1, 599: 1, 600: 1, 605: 1, 606: 1, 607: 1, 272: 1, 610: 1, 615: 10, 616: 9, 617: 11, 618: 9, 619: 7, 621: 1, 623: 1, 624: 1, 626: 6, 627: 6, 632: 6, 633: 6, 634: 6, 635: 6, 636: 6, 637: 6, 277: 1, 642: 6, 643: 6, 645: 6, 658: 6, 659: 6, 660: 6, 661: 6, 281: 1, 666: 6, 667: 6, 668: 6, 282: 1, 278: 1, 283: 1, 676: 7, 677: 9, 679: 2, 284: 1, 683: 1, 685: 1, 686: 1, 687: 1, 689: 1, 262: 1, 710: 1, 715: 1, 290: 1, 718: 1, 721: 1, 291: 1, 726: 1, 727: 1, 728: 1, 729: 1, 730: 1, 734: 1, 735: 1, 736: 1, 737: 1, 738: 1, 294: 1, 742: 1, 465: 1, 747: 1, 755: 1, 756: 1, 757: 2, 758: 2, 759: 2, 760: 1, 761: 2, 762: 1, 763: 1, 764: 1, 765: 10, 766: 18, 767: 9, 768: 7, 770: 1, 772: 6, 773: 1, 774: 1, 775: 1, 776: 1, 777: 1, 266: 1, 305: 1, 268: 1, 782: 1, 783: 1, 784: 1, 785: 1, 275: 1, 276: 1, 789: 1, 790: 1, 279: 1, 280: 1, 793: 1, 794: 1, 795: 1, 796: 1, 797: 1, 798: 1, 304: 1, 802: 1, 803: 1, 292: 1, 293: 1, 806: 1, 295: 1, 809: 1, 811: 2, 812: 1, 813: 1, 302: 1, 815: 2, 816: 1, 817: 1, 306: 1, 819: 2, 820: 1, 821: 1, 823: 2, 824: 1, 825: 1, 828: 1, 831: 1, 832: 1, 833: 1, 834: 1, 835: 1, 838: 1, 841: 1, 844: 1, 301: 1, 346: 6, 347: 6, 348: 6, 349: 6, 353: 6, 363: 6, 372: 6, 373: 6, 376: 6, 377: 6, 396: 1, 397: 1, 398: 1, 399: 1, 303: 1, 402: 1, 403: 1, 252: 1, 406: 1, 408: 1, 409: 1, 439: 1, 444: 1, 446: 1, 460: 2, 461: 2, 462: 2, 463: 2, 464: 48, 254: 1, 470: 1, 471: 1, 472: 1, 473: 1, 484: 1, 487: 1, 488: 1, 489: 1, 491: 1, 492: 1, 493: 1, 494: 1, 496: 1, 497: 1, 500: 1, 501: 1, 502: 1, 504: 7, 505: 6, 506: 6, 507: 6, 508: 1, 511: 1}
{512: 1, 256: 1, 520: 1, 521: 2, 258: 1, 529: 4, 530: 21, 531: 18, 532: 18, 533: 18, 260: 1, 538: 1, 545: 1, 547: 1, 548: 1, 549: 1, 264: 1, 565: 1, 566: 1, 575: 1, 576: 1, 577: 1, 578: 1, 580: 1, 593: 1, 594: 1, 595: 1, 270: 1, 599: 1, 600: 1, 605: 1, 606: 1, 607: 1, 272: 1, 610: 1, 615: 10, 616: 9, 617: 11, 618: 9, 619: 7, 621: 1, 623: 1, 624: 1, 626: 6, 627: 6, 632: 6, 633: 6, 634: 6, 635: 6, 636: 6, 637: 6, 277: 1, 642: 6, 643: 6, 645: 6, 658: 6, 659: 6, 660: 6, 661: 6, 281: 1, 665: 3, 666: 6, 667: 6, 668: 6, 282: 1, 278: 1, 283: 1, 676: 7, 677: 9, 679: 2, 284: 1, 683: 1, 685: 1, 686: 1, 687: 1, 689: 1, 262: 1, 710: 1, 715: 1, 290: 1, 718: 1, 721: 1, 291: 1, 726: 1, 727: 1, 728: 1, 729: 1, 730: 1, 734: 1, 735: 1, 736: 1, 737: 1, 738: 1, 294: 1, 742: 1, 465: 1, 747: 1, 755: 1, 756: 1, 757: 2, 758: 2, 759: 2, 760: 1, 761: 2, 762: 1, 763: 1, 764: 1, 765: 10, 766: 18, 767: 9, 768: 7, 770: 1, 772: 6, 773: 1, 774: 1, 775: 1, 776: 1, 777: 1, 266: 1, 305: 1, 268: 1, 782: 1, 783: 1, 784: 1, 785: 1, 275: 1, 276: 1, 789: 1, 790: 1, 279: 1, 280: 1, 793: 1, 794: 1, 795: 1, 796: 1, 797: 1, 798: 1, 304: 1, 802: 1, 803: 1, 292: 1, 293: 1, 806: 1, 295: 1, 809: 1, 811: 2, 812: 1, 813: 1, 302: 1, 815: 2, 816: 1, 817: 1, 306: 1, 819: 2, 820: 1, 821: 1, 823: 2, 824: 1, 825: 1, 828: 1, 831: 1, 832: 1, 833: 1, 834: 1, 835: 1, 838: 1, 841: 1, 844: 1, 301: 1, 346: 6, 347: 6, 348: 6, 349: 6, 353: 6, 363: 6, 372: 6, 373: 6, 376: 6, 377: 6, 396: 1, 397: 1, 398: 1, 399: 1, 303: 1, 402: 1, 403: 1, 252: 1, 406: 1, 408: 1, 409: 1, 439: 1, 444: 1, 446: 1, 460: 2, 461: 2, 462: 2, 463: 2, 464: 48, 254: 1, 470: 1, 471: 1, 472: 1, 473: 1, 484: 1, 487: 1, 488: 1, 489: 1, 491: 1, 492: 1, 493: 1, 494: 1, 496: 1, 497: 1, 500: 1, 501: 1, 502: 1, 504: 7, 505: 6, 506: 6, 507: 6, 508: 1, 511: 1}
{512: 1, 256: 1, 520: 1, 521: 2, 258: 1, 529: 4, 530: 21, 531: 18, 532: 18, 533: 18, 260: 1, 538: 1, 545: 1, 547: 1, 548: 1, 549: 1, 264: 1, 565: 1, 566: 1, 575: 1, 576: 1, 577: 1, 578: 1, 580: 1, 593: 1, 594: 1, 595: 1, 270: 1, 599: 1, 600: 1, 605: 1, 606: 1, 607: 1, 272: 1, 610: 1, 615: 10, 616: 9, 617: 11, 618: 9, 619: 7, 621: 1, 623: 1, 624: 1, 626: 6, 627: 6, 632: 6, 633: 6, 634: 6, 635: 6, 636: 6, 637: 6, 277: 1, 642: 6, 643: 6, 645: 6, 658: 6, 659: 6, 660: 6, 661: 6, 281: 1, 666: 6, 667: 6, 668: 6, 282: 1, 278: 1, 283: 1, 676: 7, 677: 9, 679: 2, 284: 1, 683: 1, 685: 1, 686: 1, 687: 1, 689: 1, 262: 1, 710: 1, 715: 1, 290: 1, 718: 1, 721: 1, 291: 1, 726: 1, 727: 1, 728: 1, 729: 1, 730: 1, 734: 1, 735: 1, 736: 1, 737: 1, 738: 1, 294: 1, 742: 1, 465: 1, 747: 1, 755: 1, 756: 1, 757: 2, 758: 2, 759: 2, 760: 1, 761: 2, 762: 1, 763: 1, 764: 1, 765: 10, 766: 18, 767: 9, 768: 7, 770: 1, 772: 6, 773: 1, 774: 1, 775: 1, 776: 1, 777: 1, 266: 1, 305: 1, 268: 1, 782: 1, 783: 1, 784: 1, 785: 1, 275: 1, 276: 1, 789: 1, 790: 1, 279: 1, 280: 1, 793: 1, 794: 1, 795: 1, 796: 1, 797: 1, 798: 1, 304: 1, 802: 1, 803: 1, 292: 1, 293: 1, 806: 1, 295: 1, 809: 1, 811: 2, 812: 1, 813: 1, 302: 1, 815: 2, 816: 1, 817: 1, 306: 1, 819: 2, 820: 1, 821: 1, 823: 2, 824: 1, 825: 1, 828: 1, 831: 1, 832: 1, 833: 1, 834: 1, 835: 1, 838: 1, 841: 1, 844: 1, 301: 1, 346: 6, 347: 6, 348: 6, 349: 6, 353: 6, 363: 6, 372: 6, 373: 6, 376: 6, 377: 6, 396: 1, 397: 1, 398: 1, 399: 1, 303: 1, 402: 1, 403: 1, 252: 1, 406: 1, 408: 1, 409: 1, 439: 1, 444: 1, 446: 1, 460: 2, 461: 2, 462: 2, 463: 2, 464: 48, 254: 1, 470: 1, 471: 1, 472: 1, 473: 1, 484: 1, 487: 1, 488: 1, 489: 1, 491: 1, 492: 1, 493: 1, 494: 1, 496: 1, 497: 1, 500: 1, 501: 1, 502: 1, 504: 7, 505: 6, 506: 6, 507: 6, 508: 1, 511: 1}