{513: 4, 514: 21, 515: 18, 516: 18, 517: 18, 522: 1, 256: 1, 529: 1, 531: 1, 532: 1, 533: 1, 260: 1, 261: 1, 549: 1, 550: 1, 274: 1, 559: 1, 560: 1, 561: 1, 562: 1, 564: 1, 265: 1, 266: 1, 577: 1, 578: 1, 579: 1, 583: 1, 584: 1, 268: 1, 589: 1, 590: 1, 591: 1, 594: 1, 599: 10, 600: 9, 601: 24, 602: 21, 603: 6, 605: 3, 607: 3, 608: 3, 610: 3, 611: 3, 616: 3, 617: 3, 618: 3, 619: 3, 620: 3, 621: 3, 626: 3, 627: 3, 629: 3, 277: 1, 642: 3, 643: 3, 644: 3, 645: 3, 650: 3, 651: 3, 652: 3, 660: 6, 661: 9, 663: 3, 667: 1, 669: 1, 670: 1, 671: 1, 673: 1, 285: 1, 694: 1, 699: 1, 702: 1, 279: 1, 705: 1, 709: 1, 710: 1, 711: 1, 712: 1, 713: 1, 717: 1, 718: 1, 719: 1, 720: 1, 721: 1, 264: 1, 725: 1, 730: 1, 738: 1, 739: 1, 740: 2, 741: 2, 742: 2, 743: 1, 744: 2, 745: 1, 746: 1, 747: 1, 748: 10, 749: 36, 750: 27, 751: 6, 240: 1, 753: 3, 242: 1, 755: 3, 756: 1, 757: 1, 758: 1, 759: 1, 760: 1, 250: 1, 252: 1, 765: 1, 766: 1, 767: 1, 768: 1, 259: 1, 772: 1, 773: 1, 262: 1, 263: 1, 776: 1, 777: 1, 778: 1, 779: 1, 780: 1, 781: 1, 785: 1, 786: 1, 275: 1, 276: 1, 789: 1, 278: 1, 791: 2, 792: 1, 793: 1, 795: 2, 796: 1, 797: 1, 286: 1, 799: 2, 800: 1, 801: 1, 290: 1, 803: 2, 804: 1, 805: 1, 808: 1, 811: 1, 812: 1, 813: 1, 814: 1, 815: 1, 818: 1, 821: 1, 330: 3, 331: 3, 332: 3, 333: 3, 337: 3, 267: 1, 347: 3, 356: 3, 357: 3, 360: 3, 361: 3, 380: 1, 381: 1, 382: 1, 383: 1, 386: 1, 387: 1, 390: 1, 236: 1, 402: 1, 403: 1, 238: 1, 413: 1, 414: 5, 415: 4, 416: 16, 417: 84, 418: 12, 419: 12, 421: 1, 423: 1, 428: 1, 430: 1, 287: 1, 244: 1, 444: 2, 445: 2, 446: 2, 447: 2, 448: 48, 449: 1, 246: 1, 454: 1, 455: 1, 456: 1, 457: 1, 288: 1, 248: 1, 468: 1, 471: 1, 472: 1, 473: 1, 475: 1, 476: 1, 477: 1, 478: 1, 480: 1, 481: 1, 484: 1, 485: 1, 486: 1, 488: 7, 489: 6, 490: 6, 491: 6, 492: 1, 289: 1, 495: 1, 496: 1, 254: 1, 504: 1, 505: 2}
{522: 1, 529: 1, 531: 1, 532: 1, 533: 1, 549: 1, 550: 1, 274: 1, 559: 1, 560: 1, 561: 1, 562: 1, 564: 1, 565: 1, 571: 1, 572: 1, 577: 1, 578: 1, 579: 1, 583: 1, 584: 1, 589: 1, 590: 1, 591: 1, 594: 1, 599: 10, 600: 9, 601: 24, 602: 21, 603: 6, 605: 3, 607: 3, 608: 3, 610: 3, 611: 3, 616: 3, 617: 3, 618: 3, 619: 3, 620: 3, 621: 3, 626: 3, 627: 3, 629: 3, 630: 3, 636: 3, 637: 3, 642: 3, 643: 3, 644: 3, 645: 3, 650: 3, 651: 3, 652: 3, 660: 6, 661: 9, 663: 3, 667: 1, 669: 1, 673: 1, 278: 1, 285: 1, 286: 1, 694: 1, 699: 1, 702: 1, 705: 1, 706: 1, 707: 1, 708: 1, 710: 1, 711: 1, 712: 1, 713: 1, 714: 1, 290: 1, 718: 1, 719: 1, 720: 1, 721: 1, 722: 1, 726: 1, 731: 1, 739: 1, 740: 1, 741: 2, 742: 2, 743: 2, 744: 1, 745: 2, 746: 1, 747: 1, 748: 1, 749: 10, 750: 36, 751: 27, 752: 6, 754: 3, 756: 3, 757: 1, 758: 1, 759: 1, 760: 1, 761: 1, 766: 1, 767: 1, 768: 1, 769: 1, 773: 1, 774: 1, 777: 1, 778: 1, 779: 1, 780: 1, 781: 1, 782: 1, 786: 1, 787: 1, 276: 1, 277: 1, 790: 1, 279: 1, 792: 2, 793: 1, 794: 1, 796: 2, 797: 1, 798: 1, 287: 1, 800: 2, 801: 1, 802: 1, 804: 2, 805: 1, 806: 1, 809: 1, 812: 1, 813: 1, 814: 1, 815: 1, 816: 1, 819: 1, 822: 1, 275: 1, 330: 3, 331: 3, 332: 3, 333: 3, 337: 3, 347: 3, 356: 3, 357: 3, 360: 3, 361: 3, 380: 1, 381: 1, 382: 1, 383: 1, 386: 1, 387: 1, 390: 1, 392: 1, 393: 1, 423: 1, 428: 1, 430: 1, 444: 2, 445: 2, 446: 2, 447: 2, 448: 48, 449: 1, 454: 1, 455: 1, 456: 1, 457: 1, 288: 1, 468: 1, 471: 1, 472: 1, 473: 1, 475: 1, 476: 1, 477: 1, 478: 1, 480: 1, 481: 1, 484: 1, 485: 1, 486: 1, 488: 7, 489: 6, 490: 6, 491: 6, 492: 1, 289: 1, 495: 1, 496: 1, 498: 4, 499: 21, 500: 18, 501: 18, 502: 18}
{513: 4, 514: 21, 515: 18, 516: 18, 517: 18, 522: 1, 256: 1, 529: 1, 531: 1, 532: 1, 533: 1, 261: 1, 549: 1, 550: 1, 274: 1, 559: 1, 560: 1, 561: 1, 562: 1, 564: 1, 265: 1, 266: 1, 577: 1, 578: 1, 579: 1, 583: 1, 584: 1, 268: 1, 589: 1, 590: 1, 591: 1, 594: 1, 599: 10, 600: 9, 601: 24, 602: 21, 603: 6, 605: 3, 607: 3, 608: 3, 610: 3, 611: 3, 616: 3, 617: 3, 618: 3, 619: 3, 620: 3, 621: 3, 626: 3, 627: 3, 629: 3, 642: 3, 643: 3, 644: 3, 645: 3, 650: 3, 651: 3, 652: 3, 660: 6, 661: 9, 663: 3, 667: 1, 669: 1, 670: 1, 671: 1, 673: 1, 278: 1, 285: 1, 286: 1, 694: 1, 699: 1, 702: 1, 705: 1, 262: 1, 710: 1, 711: 1, 712: 1, 713: 1, 714: 1, 290: 1, 718: 1, 719: 1, 720: 1, 721: 1, 722: 1, 726: 1, 731: 1, 739: 1, 740: 1, 741: 2, 742: 2, 743: 2, 744: 1, 745: 2, 746: 1, 747: 1, 748: 1, 749: 10, 750: 36, 751: 27, 752: 6, 754: 3, 756: 3, 757: 1, 758: 1, 759: 1, 760: 1, 761: 1, 250: 1, 252: 1, 766: 1, 767: 1, 768: 1, 769: 1, 259: 1, 260: 1, 773: 1, 774: 1, 263: 1, 264: 1, 777: 1, 778: 1, 779: 1, 780: 1, 781: 1, 782: 1, 786: 1, 787: 1, 276: 1, 277: 1, 790: 1, 279: 1, 792: 2, 793: 1, 794: 1, 796: 2, 797: 1, 798: 1, 287: 1, 800: 2, 801: 1, 802: 1, 804: 2, 805: 1, 806: 1, 809: 1, 812: 1, 813: 1, 814: 1, 815: 1, 816: 1, 819: 1, 822: 1, 393: 1, 275: 1, 330: 3, 331: 3, 332: 3, 333: 3, 337: 3, 267: 1, 347: 3, 356: 3, 357: 3, 360: 3, 361: 3, 380: 1, 381: 1, 382: 1, 383: 1, 386: 1, 387: 1, 390: 1, 392: 1, 236: 1, 238: 1, 240: 1, 423: 1, 428: 1, 242: 1, 430: 1, 244: 1, 444: 2, 445: 2, 446: 2, 447: 2, 448: 48, 449: 1, 246: 1, 454: 1, 455: 1, 456: 1, 457: 1, 288: 1, 248: 1, 468: 1, 471: 1, 472: 1, 473: 1, 475: 1, 476: 1, 477: 1, 478: 1, 480: 1, 481: 1, 484: 1, 485: 1, 486: 1, 488: 7, 489: 6, 490: 6, 491: 6, 492: 1, 289: 1, 495: 1, 496: 1, 254: 1, 504: 1, 505: 2}
{513: 4, 514: 21, 515: 18, 516: 18, 517: 18, 522: 1, 256: 1, 529: 1, 531: 1, 532: 1, 533: 1, 261: 1, 549: 1, 550: 1, 274: 1, 559: 1, 560: 1, 561: 1, 562: 1, 564: 1, 265: 1, 266: 1, 577: 1, 578: 1, 579: 1, 583: 1, 584: 1, 268: 1, 589: 1, 590: 1, 591: 1, 594: 1, 599: 10, 600: 9, 601: 24, 602: 21, 603: 6, 605: 3, 607: 3, 608: 3, 610: 3, 611: 3, 616: 3, 617: 3, 618: 3, 619: 3, 620: 3, 621: 3, 626: 3, 627: 3, 629: 3, 642: 3, 643: 3, 644: 3, 645: 3, 650: 3, 651: 3, 652: 3, 660: 6, 661: 9, 663: 3, 667: 1, 669: 1, 670: 1, 671: 1, 673: 1, 278: 1, 285: 1, 286: 1, 694: 1, 699: 1, 702: 1, 705: 1, 262: 1, 710: 1, 711: 1, 712: 1, 713: 1, 714: 1, 290: 1, 718: 1, 719: 1, 720: 1, 721: 1, 722: 1, 726: 1, 731: 1, 739: 1, 740: 1, 741: 2, 742: 2, 743: 2, 744: 1, 745: 2, 746: 1, 747: 1, 748: 1, 749: 10, 750: 36, 751: 27, 752: 6, 754: 3, 756: 3, 757: 1, 758: 1, 759: 1, 760: 1, 761: 1, 250: 1, 252: 1, 766: 1, 767: 1, 768: 1, 769: 1, 259: 1, 260: 1, 773: 1, 774: 1, 263: 1, 264: 1, 777: 1, 778: 1, 779: 1, 780: 1, 781: 1, 782: 1, 786: 1, 787: 1, 276: 1, 277: 1, 790: 1, 279: 1, 792: 2, 793: 1, 794: 1, 796: 2, 797: 1, 798: 1, 287: 1, 800: 2, 801: 1, 802: 1, 804: 2, 805: 1, 806: 1, 809: 1, 812: 1, 813: 1, 814: 1, 815: 1, 816: 1, 819: 1, 822: 1, 393: 1, 275: 1, 330: 3, 331: 3, 332: 3, 333: 3, 337: 3, 267: 1, 347: 3, 356: 3, 357: 3, 360: 3, 361: 3, 380: 1, 381: 1, 382: 1, 383: 1, 386: 1, 387: 1, 390: 1, 392: 1, 236: 1, 238: 1, 240: 1, 423: 1, 428: 1, 242: 1, 430: 1, 244: 1, 444: 2, 445: 2, 446: 2, 447: 2, 448: 48, 449: 1, 246: 1, 454: 1, 455: 1, 456: 1, 457: 1, 288: 1, 248: 1, 468: 1, 471: 1, 472: 1, 473: 1, 475: 1, 476: 1, 477: 1, 478: 1, 480: 1, 481: 1, 484: 1, 485: 1, 486: 1, 488: 7, 489: 6, 490: 6, 491: 6, 492: 1, 289: 1, 495: 1, 496: 1, 254: 1, 504: 1, 505: 2}
{517: 1, 518: 2, 257: 1, 526: 4, 527: 21, 528: 18, 529: 18, 530: 18, 259: 1, 535: 1, 542: 1, 261: 1, 544: 1, 545: 1, 546: 1, 291: 1, 274: 1, 562: 1, 563: 1, 572: 1, 573: 1, 574: 1, 575: 1, 577: 1, 267: 1, 590: 1, 591: 1, 592: 1, 596: 1, 597: 1, 280: 1, 602: 1, 603: 1, 604: 1, 607: 1, 612: 10, 613: 9, 614: 12, 615: 12, 616: 9, 618: 3, 620: 3, 621: 3, 623: 6, 624: 6, 275: 1, 629: 6, 630: 6, 631: 6, 632: 6, 633: 6, 634: 6, 639: 6, 640: 6, 642: 6, 278: 1, 298: 1, 279: 1, 655: 6, 656: 6, 657: 6, 658: 6, 663: 6, 664: 6, 665: 6, 673: 9, 674: 9, 680: 1, 682: 1, 683: 1, 684: 1, 686: 1, 287: 1, 288: 1, 707: 1, 712: 1, 715: 1, 718: 1, 723: 1, 724: 1, 725: 1, 726: 1, 727: 1, 731: 1, 732: 1, 733: 1, 734: 1, 735: 1, 739: 1, 744: 1, 281: 1, 752: 1, 753: 1, 754: 2, 755: 2, 756: 2, 757: 1, 758: 2, 759: 1, 760: 1, 761: 1, 762: 10, 763: 36, 764: 27, 765: 21, 767: 3, 769: 18, 770: 1, 771: 1, 772: 1, 773: 1, 774: 1, 263: 1, 265: 1, 779: 1, 780: 1, 781: 1, 782: 1, 301: 1, 272: 1, 273: 1, 786: 1, 787: 1, 276: 1, 277: 1, 790: 1, 791: 1, 792: 1, 793: 1, 794: 1, 795: 1, 799: 1, 800: 1, 289: 1, 290: 1, 803: 1, 292: 1, 805: 2, 806: 1, 807: 1, 809: 2, 810: 1, 811: 1, 300: 1, 813: 2, 814: 1, 815: 1, 817: 2, 818: 1, 819: 1, 822: 1, 825: 1, 826: 1, 827: 1, 828: 1, 829: 1, 832: 1, 835: 1, 343: 6, 344: 6, 345: 6, 346: 6, 350: 6, 360: 6, 369: 6, 370: 6, 302: 1, 373: 6, 374: 6, 299: 1, 393: 1, 394: 1, 395: 1, 396: 1, 399: 1, 400: 1, 303: 1, 403: 1, 269: 1, 405: 1, 406: 1, 436: 1, 441: 1, 443: 1, 457: 2, 458: 2, 459: 2, 460: 2, 461: 48, 462: 1, 467: 1, 468: 1, 469: 1, 470: 1, 249: 1, 481: 1, 251: 1, 484: 1, 485: 1, 486: 1, 488: 1, 489: 1, 490: 1, 491: 1, 493: 1, 494: 1, 253: 1, 497: 1, 498: 1, 499: 1, 501: 7, 502: 6, 503: 6, 504: 6, 505: 1, 255: 1, 508: 1, 509: 1}
{517: 1, 518: 2, 257: 1, 526: 4, 527: 21, 528: 18, 529: 18, 530: 18, 259: 1, 535: 1, 542: 1, 261: 1, 544: 1, 545: 1, 546: 1, 291: 1, 274: 1, 562: 1, 563: 1, 572: 1, 573: 1, 574: 1, 575: 1, 577: 1, 267: 1, 590: 1, 591: 1, 592: 1, 596: 1, 597: 1, 280: 1, 602: 1, 603: 1, 604: 1, 607: 1, 612: 10, 613: 9, 614: 12, 615: 11, 616: 8, 618: 2, 620: 2, 621: 2, 623: 6, 624: 6, 275: 1, 629: 6, 630: 6, 631: 6, 632: 6, 633: 6, 634: 6, 639: 6, 640: 6, 642: 6, 278: 1, 298: 1, 279: 1, 655: 6, 656: 6, 657: 6, 658: 6, 663: 6, 664: 6, 665: 6, 673: 8, 674: 9, 676: 1, 680: 1, 682: 1, 683: 1, 684: 1, 686: 1, 287: 1, 288: 1, 707: 1, 712: 1, 715: 1, 718: 1, 723: 1, 724: 1, 725: 1, 726: 1, 727: 1, 731: 1, 732: 1, 733: 1, 734: 1, 735: 1, 739: 1, 744: 1, 281: 1, 752: 1, 753: 1, 754: 2, 755: 2, 756: 2, 757: 1, 758: 2, 759: 1, 760: 1, 761: 1, 762: 10, 763: 27, 764: 18, 765: 14, 767: 2, 769: 12, 770: 1, 771: 1, 772: 1, 773: 1, 774: 1, 263: 1, 265: 1, 779: 1, 780: 1, 781: 1, 782: 1, 301: 1, 272: 1, 273: 1, 786: 1, 787: 1, 276: 1, 277: 1, 790: 1, 791: 1, 792: 1, 793: 1, 794: 1, 795: 1, 799: 1, 800: 1, 289: 1, 290: 1, 803: 1, 292: 1, 805: 2, 806: 1, 807: 1, 809: 2, 810: 1, 811: 1, 300: 1, 813: 2, 814: 1, 815: 1, 817: 2, 818: 1, 819: 1, 822: 1, 825: 1, 826: 1, 827: 1, 828: 1, 829: 1, 832: 1, 835: 1, 343: 6, 344: 6, 345: 6, 346: 6, 350: 6, 360: 6, 369: 6, 370: 6, 302: 1, 373: 6, 374: 6, 299: 1, 393: 1, 394: 1, 395: 1, 396: 1, 399: 1, 400: 1, 303: 1, 403: 1, 269: 1, 415: 1, 416: 1, 426: 1, 427: 5, 428: 4, 429: 16, 430: 84, 431: 12, 432: 12, 434: 1, 436: 1, 441: 1, 443: 1, 457: 2, 458: 2, 459: 2, 460: 2, 461: 48, 462: 1, 467: 1, 468: 1, 469: 1, 470: 1, 249: 1, 481: 1, 251: 1, 484: 1, 485: 1, 486: 1, 488: 1, 489: 1, 490: 1, 491: 1, 493: 1, 494: 1, 253: 1, 497: 1, 498: 1, 499: 1, 501: 7, 502: 6, 503: 6, 504: 6, 505: 1, 255: 1, 508: 1, 509: 1}
{517: 1, 518: 2, 257: 1, 526: 4, 527: 21, 528: 18, 529: 18, 530: 18, 259: 1, 535: 1, 542: 1, 261: 1, 544: 1, 545: 1, 546: 1, 291: 1, 274: 1, 562: 1, 563: 1, 572: 1, 573: 1, 574: 1, 575: 1, 577: 1, 267: 1, 590: 1, 591: 1, 592: 1, 596: 1, 597: 1, 280: 1, 602: 1, 603: 1, 604: 1, 607: 1, 612: 10, 613: 9, 614: 12, 615: 12, 616: 9, 618: 3, 620: 3, 621: 3, 623: 6, 624: 6, 275: 1, 629: 6, 630: 6, 631: 6, 632: 6, 633: 6, 634: 6, 639: 6, 640: 6, 642: 6, 278: 1, 298: 1, 279: 1, 655: 6, 656: 6, 657: 6, 658: 6, 663: 6, 664: 6, 665: 6, 673: 9, 674: 9, 680: 1, 682: 1, 683: 1, 684: 1, 686: 1, 287: 1, 288: 1, 707: 1, 712: 1, 715: 1, 718: 1, 723: 1, 724: 1, 725: 1, 726: 1, 727: 1, 731: 1, 732: 1, 733: 1, 734: 1, 735: 1, 739: 1, 744: 1, 281: 1, 752: 1, 753: 1, 754: 2, 755: 2, 756: 2, 757: 1, 758: 2, 759: 1, 760: 1, 761: 1, 762: 10, 763: 36, 764: 27, 765: 21, 767: 3, 769: 18, 770: 1, 771: 1, 772: 1, 773: 1, 774: 1, 263: 1, 265: 1, 779: 1, 780: 1, 781: 1, 782: 1, 301: 1, 272: 1, 273: 1, 786: 1, 787: 1, 276: 1, 277: 1, 790: 1, 791: 1, 792: 1, 793: 1, 794: 1, 795: 1, 799: 1, 800: 1, 289: 1, 290: 1, 803: 1, 292: 1, 805: 2, 806: 1, 807: 1, 809: 2, 810: 1, 811: 1, 300: 1, 813: 2, 814: 1, 815: 1, 817: 2, 818: 1, 819: 1, 822: 1, 825: 1, 826: 1, 827: 1, 828: 1, 829: 1, 832: 1, 835: 1, 343: 6, 344: 6, 345: 6, 346: 6, 350: 6, 360: 6, 369: 6, 370: 6, 302: 1, 373: 6, 374: 6, 299: 1, 393: 1, 394: 1, 395: 1, 396: 1, 399: 1, 400: 1, 303: 1, 403: 1, 269: 1, 405: 1, 406: 1, 436: 1, 441: 1, 443: 1, 457: 2, 458: 2, 459: 2, 460: 2, 461: 48, 462: 1, 467: 1, 468: 1, 469: 1, 470: 1, 249: 1, 481: 1, 251: 1, 484: 1, 485: 1, 486: 1, 488: 1, 489: 1, 490: 1, 491: 1, 493: 1, 494: 1, 253: 1, 497: 1, 498: 1, 499: 1, 501: 7, 502: 6, 503: 6, 504: 6, 505: 1, 255: 1, 508: 1, 509: 1}
{517: 1, 518: 2, 257: 1, 526: 4, 527: 21, 528: 18, 529: 18, 530: 18, 259: 1, 535: 1, 542: 1, 261: 1, 544: 1, 545: 1, 546: 1, 291: 1, 274: 1, 562: 1, 563: 1, 572: 1, 573: 1, 574: 1, 575: 1, 577: 1, 267: 1, 590: 1, 591: 1, 592: 1, 596: 1, 597: 1, 280: 1, 602: 1, 603: 1, 604: 1, 607: 1, 612: 10, 613: 9, 614: 12, 615: 12, 616: 9, 618: 3, 620: 3, 621: 3, 623: 6, 624: 6, 275: 1, 629: 6, 630: 6, 631: 6, 632: 6, 633: 6, 634: 6, 639: 6, 640: 6, 642: 6, 278: 1, 298: 1, 279: 1, 655: 6, 656: 6, 657: 6, 658: 6, 662: 1, 663: 6, 664: 6, 665: 6, 673: 9, 674: 9, 680: 1, 682: 1, 683: 1, 684: 1, 686: 1, 287: 1, 288: 1, 707: 1, 712: 1, 715: 1, 718: 1, 723: 1, 724: 1, 725: 1, 726: 1, 727: 1, 731: 1, 732: 1, 733: 1, 734: 1, 735: 1, 739: 1, 744: 1, 281: 1, 752: 1, 753: 1, 754: 2, 755: 2, 756: 2, 757: 1, 758: 2, 759: 1, 760: 1, 761: 1, 762: 10, 763: 36, 764: 27, 765: 21, 767: 3, 769: 18, 770: 1, 771: 1, 772: 1, 773: 1, 774: 1, 263: 1, 265: 1, 779: 1, 780: 1, 781: 1, 782: 1, 301: 1, 272: 1, 273: 1, 786: 1, 787: 1, 276: 1, 277: 1, 790: 1, 791: 1, 792: 1, 793: 1, 794: 1, 795: 1, 799: 1, 800: 1, 289: 1, 290: 1, 803: 1, 292: 1, 805: 2, 806: 1, 807: 1, 809: 2, 810: 1, 811: 1, 300: 1, 813: 2, 814: 1, 815: 1, 817: 2, 818: 1, 819: 1, 822: 1, 825: 1, 826: 1, 827: 1, 828: 1, 829: 1, 832: 1, 835: 1, 343: 6, 344: 6, 345: 6, 346: 6, 350: 6, 360: 6, 369: 6, 370: 6, 302: 1, 373: 6, 374: 6, 299: 1, 393: 1, 394: 1, 395: 1, 396: 1, 399: 1, 400: 1, 303: 1, 403: 1, 269: 1, 405: 1, 406: 1, 436: 1, 441: 1, 443: 1, 457: 2, 458: 2, 459: 2, 460: 2, 461: 48, 462: 1, 467: 1, 468: 1, 469: 1, 470: 1, 249: 1, 481: 1, 251: 1, 484: 1, 485: 1, 486: 1, 488: 1, 489: 1, 490: 1, 491: 1, 493: 1, 494: 1, 253: 1, 497: 1, 498: 1, 499: 1, 501: 7, 502: 6, 503: 6, 504: 6, 505: 1, 255: 1, 508: 1, 509: 1}
{517: 1, 518: 2, 257: 1, 526: 4, 527: 21, 528: 18, 529: 18, 530: 18, 259: 1, 535: 1, 542: 1, 261: 1, 544: 1, 545: 1, 546: 1, 291: 1, 274: 1, 562: 1, 563: 1, 572: 1, 573: 1, 574: 1, 575: 1, 577: 1, 267: 1, 590: 1, 591: 1, 592: 1, 596: 1, 597: 1, 280: 1, 602: 1, 603: 1, 604: 1, 607: 1, 612: 10, 613: 9, 614: 12, 615: 12, 616: 9, 618: 3, 620: 3, 621: 3, 623: 6, 624: 6, 275: 1, 629: 6, 630: 6, 631: 6, 632: 6, 633: 6, 634: 6, 639: 6, 640: 6, 642: 6, 278: 1, 298: 1, 279: 1, 655: 6, 656: 6, 657: 6, 658: 6, 663: 6, 664: 6, 665: 6, 673: 9, 674: 9, 680: 1, 682: 1, 683: 1, 684: 1, 686: 1, 287: 1, 288: 1, 707: 1, 712: 1, 715: 1, 718: 1, 723: 1, 724: 1, 725: 1, 726: 1, 727: 1, 731: 1, 732: 1, 733: 1, 734: 1, 735: 1, 739: 1, 744: 1, 281: 1, 752: 1, 753: 1, 754: 2, 755: 2, 756: 2, 757: 1, 758: 2, 759: 1, 760: 1, 761: 1, 762: 10, 763: 36, 764: 27, 765: 21, 767: 3, 769: 18, 770: 1, 771: 1, 772: 1, 773: 1, 774: 1, 263: 1, 265: 1, 779: 1, 780: 1, 781: 1, 782: 1, 301: 1, 272: 1, 273: 1, 786: 1, 787: 1, 276: 1, 277: 1, 790: 1, 791: 1, 792: 1, 793: 1, 794: 1, 795: 1, 799: 1, 800: 1, 289: 1, 290: 1, 803: 1, 292: 1, 805: 2, 806: 1, 807: 1, 809: 2, 810: 1, 811: 1, 300: 1, 813: 2, 814: 1, 815: 1, 817: 2, 818: 1, 819: 1, 822: 1, 825: 1, 826: 1, 827: 1, 828: 1, 829: 1, 832: 1, 835: 1, 343: 6, 344: 6, 345: 6, 346: 6, 350: 6, 360: 6, 369: 6, 370: 6, 302: 1, 373: 6, 374: 6, 299: 1, 393: 1, 394: 1, 395: 1, 396: 1, 399: 1, 400: 1, 303: 1, 403: 1, 269: 1, 405: 1, 406: 1, 436: 1, 441: 1, 443: 1, 457: 2, 458: 2, 459: 2, 460: 2, 461: 48, 462: 1, 467: 1, 468: 1, 469: 1, 470: 1, 249: 1, 481: 1, 251: 1, 484: 1, 485: 1, 486: 1, 488: 1, 489: 1, 490: 1, 491: 1, 493: 1, 494: 1, 253: 1, 497: 1, 498: 1, 499: 1, 501: 7, 502: 6, 503: 6, 504: 6, 505: 1, 255: 1, 508: 1, 509: 1}
{769: 3648, 770: 1, 771: 1, 772: 1, 773: 1, 774: 1, 775: 1, 776: 1, 707: 1, 712: 1, 715: 1, 718: 1, 723: 1, 731: 1, 732: 1, 733: 1, 734: 1, 735: 1, 739: 1, 744: 1, 752: 1, 753: 1, 754: 5, 755: 16, 756: 60, 757: 48, 758: 240, 759: 192, 760: 192, 761: 192, 762: 1920, 763: 6912, 764: 5184, 765: 4032, 767: 384}