0
{462552: 1, 540038: 1}
{462552: 2, 540038: 2, 297097: 1, 573072: 1}
{462552: 2, 540038: 2, 297097: 1, 573072: 1, 171690: 1, 200795: 1}
{462552: 2, 540038: 2, 297097: 2, 573072: 1, 171690: 2, 200795: 2, 126658: 1, 322135: 1}
{462552: 3, 540038: 2, 297097: 3, 573072: 1, 171690: 3, 200795: 3, 126658: 2, 322135: 2, 114643: 1, 496713: 1}
{462552: 3, 540038: 2, 297097: 3, 573072: 1, 171690: 3, 200795: 3, 126658: 2, 322135: 2, 114643: 1, 496713: 1, 38864: 1, 91728: 1}
{462552: 3, 540038: 2, 297097: 3, 573072: 1, 171690: 4, 200795: 4, 126658: 3, 322135: 2, 114643: 2, 496713: 1, 38864: 2, 91728: 2, 25220: 1, 285032: 1}
{462552: 4, 540038: 2, 297097: 4, 573072: 1, 171690: 4, 200795: 4, 126658: 3, 322135: 3, 114643: 2, 496713: 1, 38864: 2, 91728: 2, 25220: 1, 285032: 2, 223857: 1, 486644: 1}
{462552: 4, 540038: 2, 297097: 4, 573072: 1, 171690: 5, 200795: 5, 126658: 4, 322135: 3, 114643: 3, 496713: 1, 38864: 2, 91728: 3, 25220: 1, 285032: 2, 223857: 1, 486644: 1, 65116: 1, 202505: 1}
{462552: 5, 540038: 3, 297097: 4, 573072: 2, 171690: 5, 200795: 5, 126658: 4, 322135: 3, 114643: 3, 496713: 2, 38864: 2, 91728: 3, 25220: 1, 285032: 2, 223857: 1, 486644: 2, 65116: 1, 202505: 1, 371257: 1, 595785: 1}
{462552: 5, 540038: 3, 297097: 4, 573072: 2, 171690: 5, 200795: 5, 126658: 4, 322135: 3, 114643: 3, 496713: 2, 38864: 2, 91728: 3, 25220: 1, 285032: 2, 223857: 1, 486644: 2, 65116: 1, 202505: 1, 371257: 2, 595785: 1, 359912: 1, 444397: 1}
{462552: 5, 540038: 3, 297097: 4, 573072: 2, 171690: 5, 200795: 5, 126658: 5, 322135: 3, 114643: 4, 496713: 2, 38864: 2, 91728: 4, 25220: 1, 285032: 2, 223857: 1, 486644: 2, 65116: 2, 202505: 1, 371257: 2, 595785: 1, 359912: 1, 444397: 1, 60165: 1, 150743: 1}
{462552: 5, 540038: 3, 297097: 5, 573072: 2, 171690: 6, 200795: 6, 126658: 6, 322135: 3, 114643: 5, 496713: 2, 38864: 2, 91728: 4, 25220: 1, 285032: 3, 223857: 2, 486644: 2, 65116: 2, 202505: 2, 371257: 2, 595785: 1, 359912: 1, 444397: 1, 60165: 1, 150743: 2, 114380: 1, 320455: 1}
{462552: 5, 540038: 3, 297097: 6, 573072: 2, 171690: 6, 200795: 6, 126658: 6, 322135: 4, 114643: 5, 496713: 2, 38864: 2, 91728: 4, 25220: 1, 285032: 4, 223857: 2, 486644: 2, 65116: 2, 202505: 2, 371257: 2, 595785: 1, 359912: 2, 444397: 1, 60165: 1, 150743: 2, 114380: 1, 320455: 2, 239350: 1, 368030: 1}
{462552: 5, 540038: 3, 297097: 6, 573072: 2, 171690: 6, 200795: 7, 126658: 6, 322135: 4, 114643: 5, 496713: 2, 38864: 2, 91728: 4, 25220: 1, 285032: 4, 223857: 3, 486644: 2, 65116: 2, 202505: 3, 371257: 2, 595785: 1, 359912: 2, 444397: 1, 60165: 1, 150743: 2, 114380: 1, 320455: 2, 239350: 2, 368030: 1, 200265: 1, 253312: 1}
{462552: 5, 540038: 3, 297097: 6, 573072: 2, 171690: 6, 200795: 7, 126658: 6, 322135: 5, 114643: 5, 496713: 2, 38864: 2, 91728: 4, 25220: 1, 285032: 4, 223857: 3, 486644: 2, 65116: 2, 202505: 3, 371257: 2, 595785: 1, 359912: 2, 444397: 1, 60165: 1, 150743: 2, 114380: 1, 320455: 2, 239350: 2, 368030: 1, 200265: 1, 253312: 1, 320805: 1, 338757: 1}
{462552: 6, 540038: 3, 297097: 7, 573072: 2, 171690: 6, 200795: 7, 126658: 6, 322135: 6, 114643: 5, 496713: 3, 38864: 2, 91728: 4, 25220: 1, 285032: 5, 223857: 4, 486644: 3, 65116: 2, 202505: 3, 371257: 3, 595785: 1, 359912: 3, 444397: 2, 60165: 1, 150743: 2, 114380: 1, 320455: 3, 239350: 3, 368030: 2, 200265: 1, 253312: 2, 320805: 2, 338757: 2, 202869: 1, 510623: 1}
{462552: 6, 540038: 3, 297097: 8, 573072: 2, 171690: 6, 200795: 7, 126658: 6, 322135: 7, 114643: 5, 496713: 3, 38864: 2, 91728: 4, 25220: 1, 285032: 5, 223857: 4, 486644: 3, 65116: 2, 202505: 3, 371257: 3, 595785: 1, 359912: 3, 444397: 2, 60165: 1, 150743: 2, 114380: 1, 320455: 4, 239350: 3, 368030: 2, 200265: 1, 253312: 2, 320805: 3, 338757: 2, 202869: 1, 510623: 1, 292037: 1, 336190: 1}
{462552: 6, 540038: 3, 297097: 8, 573072: 2, 171690: 6, 200795: 7, 126658: 6, 322135: 7, 114643: 5, 496713: 3, 38864: 2, 91728: 4, 25220: 1, 285032: 5, 223857: 4, 486644: 3, 65116: 2, 202505: 3, 371257: 3, 595785: 1, 359912: 3, 444397: 2, 60165: 1, 150743: 2, 114380: 1, 320455: 4, 239350: 3, 368030: 2, 200265: 1, 253312: 2, 320805: 3, 338757: 2, 202869: 1, 510623: 1, 292037: 1, 336190: 1, 371992: 1, 376525: 1}
{462552: 7, 540038: 3, 297097: 8, 573072: 2, 171690: 6, 200795: 7, 126658: 6, 322135: 7, 114643: 5, 496713: 4, 38864: 2, 91728: 4, 25220: 1, 285032: 5, 223857: 4, 486644: 4, 65116: 2, 202505: 3, 371257: 4, 595785: 1, 359912: 4, 444397: 3, 60165: 1, 150743: 2, 114380: 1, 320455: 4, 239350: 3, 368030: 3, 200265: 1, 253312: 2, 320805: 3, 338757: 3, 202869: 1, 510623: 1, 292037: 1, 336190: 2, 371992: 2, 376525: 2, 333959: 1, 499120: 1}
{462552: 8, 540038: 3, 297097: 9, 573072: 2, 171690: 6, 200795: 7, 126658: 6, 322135: 8, 114643: 5, 496713: 5, 38864: 2, 91728: 4, 25220: 1, 285032: 6, 223857: 4, 486644: 5, 65116: 2, 202505: 3, 371257: 5, 595785: 1, 359912: 5, 444397: 4, 60165: 1, 150743: 2, 114380: 1, 320455: 5, 239350: 3, 368030: 4, 200265: 1, 253312: 2, 320805: 4, 338757: 4, 202869: 1, 510623: 2, 292037: 2, 336190: 3, 371992: 3, 376525: 3, 333959: 2, 499120: 2, 265006: 1, 535443: 1}
{462552: 8, 540038: 3, 297097: 10, 573072: 2, 171690: 6, 200795: 7, 126658: 6, 322135: 9, 114643: 5, 496713: 5, 38864: 2, 91728: 4, 25220: 1, 285032: 7, 223857: 4, 486644: 5, 65116: 2, 202505: 3, 371257: 6, 595785: 1, 359912: 6, 444397: 5, 60165: 1, 150743: 2, 114380: 1, 320455: 6, 239350: 3, 368030: 5, 200265: 1, 253312: 2, 320805: 5, 338757: 5, 202869: 1, 510623: 2, 292037: 3, 336190: 4, 371992: 4, 376525: 4, 333959: 3, 499120: 2, 265006: 1, 535443: 1, 279655: 1, 456662: 1}
{462552: 9, 540038: 4, 297097: 10, 573072: 3, 171690: 6, 200795: 7, 126658: 6, 322135: 9, 114643: 5, 496713: 6, 38864: 2, 91728: 4, 25220: 1, 285032: 7, 223857: 4, 486644: 6, 65116: 2, 202505: 3, 371257: 6, 595785: 1, 359912: 6, 444397: 5, 60165: 1, 150743: 2, 114380: 1, 320455: 6, 239350: 3, 368030: 5, 200265: 1, 253312: 2, 320805: 5, 338757: 5, 202869: 1, 510623: 3, 292037: 3, 336190: 4, 371992: 4, 376525: 4, 333959: 3, 499120: 3, 265006: 1, 535443: 2, 279655: 1, 456662: 2, 445091: 1, 590659: 1}
{462552: 9, 540038: 4, 297097: 11, 573072: 3, 171690: 6, 200795: 7, 126658: 6, 322135: 10, 114643: 5, 496713: 6, 38864: 2, 91728: 4, 25220: 1, 285032: 8, 223857: 4, 486644: 6, 65116: 2, 202505: 3, 371257: 7, 595785: 1, 359912: 7, 444397: 5, 60165: 1, 150743: 2, 114380: 1, 320455: 7, 239350: 4, 368030: 6, 200265: 1, 253312: 3, 320805: 6, 338757: 6, 202869: 1, 510623: 3, 292037: 4, 336190: 5, 371992: 5, 376525: 5, 333959: 4, 499120: 3, 265006: 2, 535443: 2, 279655: 2, 456662: 2, 445091: 1, 590659: 1, 235873: 1, 405640: 1}
{462552: 10, 540038: 4, 297097: 11, 573072: 3, 171690: 6, 200795: 7, 126658: 6, 322135: 11, 114643: 5, 496713: 7, 38864: 2, 91728: 4, 25220: 1, 285032: 8, 223857: 4, 486644: 7, 65116: 2, 202505: 3, 371257: 8, 595785: 1, 359912: 8, 444397: 6, 60165: 1, 150743: 2, 114380: 1, 320455: 8, 239350: 4, 368030: 7, 200265: 1, 253312: 3, 320805: 7, 338757: 7, 202869: 1, 510623: 3, 292037: 4, 336190: 6, 371992: 6, 376525: 6, 333959: 5, 499120: 4, 265006: 2, 535443: 2, 279655: 2, 456662: 3, 445091: 2, 590659: 1, 235873: 1, 405640: 2, 313330: 1, 506196: 1}
{462552: 11, 540038: 4, 297097: 12, 573072: 3, 171690: 7, 200795: 8, 126658: 6, 322135: 12, 114643: 5, 496713: 8, 38864: 2, 91728: 4, 25220: 1, 285032: 9, 223857: 5, 486644: 8, 65116: 2, 202505: 4, 371257: 9, 595785: 1, 359912: 9, 444397: 7, 60165: 1, 150743: 3, 114380: 1, 320455: 9, 239350: 5, 368030: 8, 200265: 2, 253312: 4, 320805: 8, 338757: 8, 202869: 2, 510623: 4, 292037: 5, 336190: 7, 371992: 7, 376525: 7, 333959: 6, 499120: 5, 265006: 3, 535443: 2, 279655: 3, 456662: 4, 445091: 3, 590659: 1, 235873: 2, 405640: 3, 313330: 2, 506196: 2, 145049: 1, 534485: 1}
{462552: 11, 540038: 4, 297097: 13, 573072: 3, 171690: 8, 200795: 9, 126658: 7, 322135: 13, 114643: 6, 496713: 8, 38864: 2, 91728: 4, 25220: 1, 285032: 10, 223857: 6, 486644: 8, 65116: 2, 202505: 5, 371257: 9, 595785: 1, 359912: 9, 444397: 7, 60165: 1, 150743: 4, 114380: 2, 320455: 10, 239350: 6, 368030: 8, 200265: 3, 253312: 5, 320805: 9, 338757: 9, 202869: 3, 510623: 4, 292037: 6, 336190: 8, 371992: 7, 376525: 7, 333959: 7, 499120: 5, 265006: 4, 535443: 2, 279655: 4, 456662: 4, 445091: 3, 590659: 1, 235873: 3, 405640: 3, 313330: 3, 506196: 2, 145049: 2, 534485: 1, 109370: 1, 350117: 1}
{462552: 11, 540038: 4, 297097: 13, 573072: 3, 171690: 9, 200795: 10, 126658: 8, 322135: 13, 114643: 7, 496713: 8, 38864: 2, 91728: 4, 25220: 1, 285032: 11, 223857: 7, 486644: 8, 65116: 2, 202505: 6, 371257: 9, 595785: 1, 359912: 9, 444397: 7, 60165: 1, 150743: 5, 114380: 3, 320455: 10, 239350: 7, 368030: 8, 200265: 4, 253312: 6, 320805: 9, 338757: 9, 202869: 4, 510623: 4, 292037: 6, 336190: 8, 371992: 7, 376525: 7, 333959: 7, 499120: 5, 265006: 5, 535443: 2, 279655: 5, 456662: 4, 445091: 3, 590659: 1, 235873: 4, 405640: 3, 313330: 3, 506196: 2, 145049: 3, 534485: 1, 109370: 2, 350117: 1, 94123: 1, 290145: 1}
{462552: 11, 540038: 4, 297097: 13, 573072: 3, 171690: 9, 200795: 10, 126658: 8, 322135: 13, 114643: 7, 496713: 8, 38864: 2, 91728: 4, 25220: 1, 285032: 11, 223857: 7, 486644: 8, 65116: 2, 202505: 6, 371257: 9, 595785: 1, 359912: 9, 444397: 7, 60165: 1, 150743: 5, 114380: 3, 320455: 10, 239350: 7, 368030: 8, 200265: 4, 253312: 6, 320805: 9, 338757: 9, 202869: 4, 510623: 4, 292037: 6, 336190: 8, 371992: 7, 376525: 8, 333959: 7, 499120: 5, 265006: 5, 535443: 2, 279655: 5, 456662: 4, 445091: 3, 590659: 1, 235873: 4, 405640: 3, 313330: 3, 506196: 2, 145049: 3, 534485: 1, 109370: 2, 350117: 1, 94123: 1, 290145: 1, 374040: 1, 390337: 1}
{462552: 11, 540038: 4, 297097: 14, 573072: 3, 171690: 9, 200795: 10, 126658: 8, 322135: 14, 114643: 7, 496713: 8, 38864: 2, 91728: 4, 25220: 1, 285032: 12, 223857: 7, 486644: 8, 65116: 2, 202505: 6, 371257: 10, 595785: 1, 359912: 10, 444397: 7, 60165: 1, 150743: 5, 114380: 3, 320455: 11, 239350: 7, 368030: 9, 200265: 4, 253312: 7, 320805: 10, 338757: 10, 202869: 4, 510623: 4, 292037: 7, 336190: 9, 371992: 8, 376525: 9, 333959: 8, 499120: 5, 265006: 6, 535443: 2, 279655: 6, 456662: 4, 445091: 3, 590659: 1, 235873: 4, 405640: 4, 313330: 4, 506196: 2, 145049: 3, 534485: 1, 109370: 2, 350117: 2, 94123: 1, 290145: 2, 374040: 2, 390337: 2, 251674: 1, 438103: 1}
{462552: 12, 540038: 5, 297097: 15, 573072: 4, 171690: 9, 200795: 10, 126658: 8, 322135: 15, 114643: 7, 496713: 9, 38864: 2, 91728: 4, 25220: 1, 285032: 12, 223857: 7, 486644: 9, 65116: 2, 202505: 6, 371257: 11, 595785: 2, 359912: 11, 444397: 8, 60165: 1, 150743: 5, 114380: 3, 320455: 12, 239350: 7, 368030: 10, 200265: 4, 253312: 7, 320805: 11, 338757: 11, 202869: 4, 510623: 5, 292037: 8, 336190: 10, 371992: 9, 376525: 10, 333959: 9, 499120: 6, 265006: 6, 535443: 3, 279655: 6, 456662: 5, 445091: 4, 590659: 2, 235873: 4, 405640: 5, 313330: 5, 506196: 3, 145049: 3, 534485: 2, 109370: 2, 350117: 3, 94123: 1, 290145: 3, 374040: 3, 390337: 3, 251674: 1, 438103: 2, 287970: 1, 598928: 1}
{462552: 13, 540038: 6, 297097: 16, 573072: 4, 171690: 10, 200795: 11, 126658: 8, 322135: 16, 114643: 7, 496713: 10, 38864: 2, 91728: 4, 25220: 1, 285032: 13, 223857: 8, 486644: 10, 65116: 2, 202505: 7, 371257: 12, 595785: 2, 359912: 12, 444397: 9, 60165: 1, 150743: 5, 114380: 3, 320455: 13, 239350: 8, 368030: 11, 200265: 5, 253312: 8, 320805: 12, 338757: 12, 202869: 5, 510623: 6, 292037: 9, 336190: 11, 371992: 10, 376525: 11, 333959: 10, 499120: 7, 265006: 7, 535443: 4, 279655: 7, 456662: 6, 445091: 5, 590659: 2, 235873: 5, 405640: 6, 313330: 6, 506196: 4, 145049: 3, 534485: 3, 109370: 2, 350117: 4, 94123: 1, 290145: 4, 374040: 4, 390337: 4, 251674: 2, 438103: 3, 287970: 2, 598928: 1, 152050: 1, 552942: 1}
{462552: 14, 540038: 6, 297097: 17, 573072: 4, 171690: 10, 200795: 11, 126658: 8, 322135: 17, 114643: 7, 496713: 10, 38864: 2, 91728: 4, 25220: 1, 285032: 14, 223857: 8, 486644: 11, 65116: 2, 202505: 7, 371257: 13, 595785: 2, 359912: 13, 444397: 10, 60165: 1, 150743: 5, 114380: 3, 320455: 14, 239350: 8, 368030: 12, 200265: 5, 253312: 9, 320805: 13, 338757: 13, 202869: 5, 510623: 6, 292037: 10, 336190: 12, 371992: 11, 376525: 12, 333959: 11, 499120: 7, 265006: 8, 535443: 4, 279655: 8, 456662: 7, 445091: 6, 590659: 2, 235873: 5, 405640: 7, 313330: 7, 506196: 4, 145049: 3, 534485: 3, 109370: 2, 350117: 5, 94123: 1, 290145: 5, 374040: 5, 390337: 5, 251674: 3, 438103: 4, 287970: 3, 598928: 1, 152050: 1, 552942: 1, 244451: 1, 495883: 1}
{462552: 15, 540038: 7, 297097: 18, 573072: 4, 171690: 10, 200795: 11, 126658: 8, 322135: 18, 114643: 7, 496713: 11, 38864: 2, 91728: 4, 25220: 1, 285032: 14, 223857: 8, 486644: 12, 65116: 2, 202505: 7, 371257: 14, 595785: 2, 359912: 14, 444397: 11, 60165: 1, 150743: 5, 114380: 3, 320455: 15, 239350: 8, 368030: 13, 200265: 5, 253312: 9, 320805: 14, 338757: 14, 202869: 5, 510623: 7, 292037: 11, 336190: 13, 371992: 12, 376525: 13, 333959: 12, 499120: 8, 265006: 8, 535443: 5, 279655: 8, 456662: 8, 445091: 7, 590659: 2, 235873: 5, 405640: 8, 313330: 8, 506196: 5, 145049: 3, 534485: 4, 109370: 2, 350117: 6, 94123: 1, 290145: 6, 374040: 6, 390337: 6, 251674: 3, 438103: 5, 287970: 4, 598928: 1, 152050: 1, 552942: 2, 244451: 1, 495883: 2, 286106: 1, 572333: 1}
{462552: 15, 540038: 7, 297097: 19, 573072: 4, 171690: 10, 200795: 11, 126658: 8, 322135: 19, 114643: 7, 496713: 11, 38864: 2, 91728: 4, 25220: 1, 285032: 15, 223857: 8, 486644: 12, 65116: 2, 202505: 7, 371257: 15, 595785: 2, 359912: 15, 444397: 12, 60165: 1, 150743: 5, 114380: 3, 320455: 16, 239350: 8, 368030: 14, 200265: 5, 253312: 10, 320805: 15, 338757: 15, 202869: 5, 510623: 7, 292037: 12, 336190: 14, 371992: 13, 376525: 14, 333959: 13, 499120: 8, 265006: 9, 535443: 5, 279655: 9, 456662: 8, 445091: 8, 590659: 2, 235873: 5, 405640: 9, 313330: 9, 506196: 5, 145049: 3, 534485: 4, 109370: 2, 350117: 7, 94123: 1, 290145: 7, 374040: 7, 390337: 7, 251674: 4, 438103: 6, 287970: 5, 598928: 1, 152050: 1, 552942: 2, 244451: 1, 495883: 2, 286106: 2, 572333: 1, 249921: 1, 448721: 1}
{462552: 16, 540038: 8, 297097: 19, 573072: 5, 171690: 10, 200795: 11, 126658: 8, 322135: 19, 114643: 7, 496713: 12, 38864: 2, 91728: 4, 25220: 1, 285032: 15, 223857: 8, 486644: 13, 65116: 2, 202505: 7, 371257: 15, 595785: 2, 359912: 15, 444397: 13, 60165: 1, 150743: 5, 114380: 3, 320455: 16, 239350: 8, 368030: 14, 200265: 5, 253312: 10, 320805: 15, 338757: 15, 202869: 5, 510623: 8, 292037: 12, 336190: 14, 371992: 13, 376525: 14, 333959: 13, 499120: 9, 265006: 9, 535443: 6, 279655: 9, 456662: 9, 445091: 9, 590659: 3, 235873: 5, 405640: 9, 313330: 9, 506196: 6, 145049: 3, 534485: 5, 109370: 2, 350117: 7, 94123: 1, 290145: 7, 374040: 7, 390337: 7, 251674: 4, 438103: 7, 287970: 5, 598928: 1, 152050: 1, 552942: 3, 244451: 1, 495883: 3, 286106: 2, 572333: 2, 249921: 1, 448721: 2, 410387: 1, 594612: 1}
{462552: 16, 540038: 8, 297097: 19, 573072: 5, 171690: 10, 200795: 11, 126658: 8, 322135: 19, 114643: 7, 496713: 12, 38864: 2, 91728: 4, 25220: 1, 285032: 15, 223857: 8, 486644: 13, 65116: 2, 202505: 7, 371257: 15, 595785: 2, 359912: 15, 444397: 13, 60165: 1, 150743: 5, 114380: 3, 320455: 16, 239350: 8, 368030: 14, 200265: 5, 253312: 10, 320805: 15, 338757: 15, 202869: 5, 510623: 9, 292037: 12, 336190: 14, 371992: 13, 376525: 14, 333959: 13, 499120: 9, 265006: 9, 535443: 6, 279655: 9, 456662: 9, 445091: 9, 590659: 3, 235873: 5, 405640: 9, 313330: 9, 506196: 7, 145049: 3, 534485: 5, 109370: 2, 350117: 7, 94123: 1, 290145: 7, 374040: 7, 390337: 7, 251674: 4, 438103: 7, 287970: 5, 598928: 1, 152050: 1, 552942: 3, 244451: 1, 495883: 3, 286106: 2, 572333: 2, 249921: 1, 448721: 2, 410387: 1, 594612: 1, 499558: 1, 530002: 1}
{462552: 17, 540038: 8, 297097: 19, 573072: 5, 171690: 10, 200795: 11, 126658: 8, 322135: 19, 114643: 7, 496713: 12, 38864: 2, 91728: 4, 25220: 1, 285032: 15, 223857: 8, 486644: 13, 65116: 2, 202505: 7, 371257: 16, 595785: 2, 359912: 16, 444397: 14, 60165: 1, 150743: 5, 114380: 3, 320455: 16, 239350: 8, 368030: 15, 200265: 5, 253312: 10, 320805: 15, 338757: 16, 202869: 5, 510623: 9, 292037: 12, 336190: 15, 371992: 14, 376525: 15, 333959: 14, 499120: 9, 265006: 9, 535443: 6, 279655: 9, 456662: 10, 445091: 10, 590659: 3, 235873: 5, 405640: 10, 313330: 9, 506196: 7, 145049: 3, 534485: 5, 109370: 2, 350117: 8, 94123: 1, 290145: 7, 374040: 8, 390337: 8, 251674: 4, 438103: 8, 287970: 5, 598928: 1, 152050: 1, 552942: 3, 244451: 1, 495883: 3, 286106: 2, 572333: 2, 249921: 1, 448721: 3, 410387: 2, 594612: 1, 499558: 1, 530002: 1, 333784: 1, 484913: 1}
{462552: 18, 540038: 8, 297097: 19, 573072: 5, 171690: 10, 200795: 11, 126658: 8, 322135: 19, 114643: 7, 496713: 13, 38864: 2, 91728: 4, 25220: 1, 285032: 15, 223857: 8, 486644: 14, 65116: 2, 202505: 7, 371257: 16, 595785: 2, 359912: 16, 444397: 15, 60165: 1, 150743: 5, 114380: 3, 320455: 16, 239350: 8, 368030: 15, 200265: 5, 253312: 10, 320805: 15, 338757: 16, 202869: 5, 510623: 9, 292037: 12, 336190: 15, 371992: 14, 376525: 15, 333959: 14, 499120: 9, 265006: 9, 535443: 6, 279655: 9, 456662: 11, 445091: 11, 590659: 3, 235873: 5, 405640: 10, 313330: 9, 506196: 7, 145049: 3, 534485: 5, 109370: 2, 350117: 8, 94123: 1, 290145: 7, 374040: 8, 390337: 8, 251674: 4, 438103: 9, 287970: 5, 598928: 1, 152050: 1, 552942: 3, 244451: 1, 495883: 4, 286106: 2, 572333: 2, 249921: 1, 448721: 4, 410387: 2, 594612: 1, 499558: 1, 530002: 1, 333784: 1, 484913: 2, 413245: 1, 498243: 1}
{462552: 18, 540038: 8, 297097: 20, 573072: 5, 171690: 10, 200795: 11, 126658: 8, 322135: 20, 114643: 7, 496713: 13, 38864: 2, 91728: 4, 25220: 1, 285032: 16, 223857: 8, 486644: 14, 65116: 2, 202505: 7, 371257: 16, 595785: 2, 359912: 16, 444397: 15, 60165: 1, 150743: 5, 114380: 3, 320455: 17, 239350: 8, 368030: 15, 200265: 5, 253312: 10, 320805: 16, 338757: 16, 202869: 5, 510623: 9, 292037: 13, 336190: 15, 371992: 14, 376525: 15, 333959: 14, 499120: 9, 265006: 9, 535443: 6, 279655: 10, 456662: 11, 445091: 11, 590659: 3, 235873: 5, 405640: 10, 313330: 10, 506196: 7, 145049: 3, 534485: 5, 109370: 2, 350117: 8, 94123: 1, 290145: 8, 374040: 8, 390337: 8, 251674: 4, 438103: 9, 287970: 6, 598928: 1, 152050: 1, 552942: 3, 244451: 1, 495883: 4, 286106: 3, 572333: 2, 249921: 1, 448721: 4, 410387: 2, 594612: 1, 499558: 1, 530002: 1, 333784: 1, 484913: 2, 413245: 1, 498243: 1, 277129: 1, 332588: 1}
{462552: 18, 540038: 8, 297097: 20, 573072: 5, 171690: 10, 200795: 11, 126658: 8, 322135: 20, 114643: 7, 496713: 13, 38864: 3, 91728: 4, 25220: 1, 285032: 16, 223857: 8, 486644: 14, 65116: 3, 202505: 7, 371257: 16, 595785: 2, 359912: 16, 444397: 15, 60165: 2, 150743: 5, 114380: 3, 320455: 17, 239350: 8, 368030: 15, 200265: 5, 253312: 10, 320805: 16, 338757: 16, 202869: 5, 510623: 9, 292037: 13, 336190: 15, 371992: 14, 376525: 15, 333959: 14, 499120: 9, 265006: 9, 535443: 6, 279655: 10, 456662: 11, 445091: 11, 590659: 3, 235873: 5, 405640: 10, 313330: 10, 506196: 7, 145049: 3, 534485: 5, 109370: 2, 350117: 8, 94123: 1, 290145: 8, 374040: 8, 390337: 8, 251674: 4, 438103: 9, 287970: 6, 598928: 1, 152050: 1, 552942: 3, 244451: 1, 495883: 4, 286106: 3, 572333: 2, 249921: 1, 448721: 4, 410387: 2, 594612: 1, 499558: 1, 530002: 1, 333784: 1, 484913: 2, 413245: 1, 498243: 1, 277129: 1, 332588: 1, 32949: 1, 84238: 1}
{462552: 18, 540038: 8, 297097: 21, 573072: 5, 171690: 10, 200795: 11, 126658: 8, 322135: 21, 114643: 7, 496713: 13, 38864: 3, 91728: 4, 25220: 1, 285032: 17, 223857: 8, 486644: 14, 65116: 3, 202505: 7, 371257: 17, 595785: 2, 359912: 17, 444397: 15, 60165: 2, 150743: 5, 114380: 3, 320455: 18, 239350: 8, 368030: 16, 200265: 5, 253312: 10, 320805: 17, 338757: 17, 202869: 5, 510623: 9, 292037: 14, 336190: 16, 371992: 15, 376525: 16, 333959: 15, 499120: 9, 265006: 9, 535443: 6, 279655: 10, 456662: 11, 445091: 11, 590659: 3, 235873: 5, 405640: 11, 313330: 11, 506196: 7, 145049: 3, 534485: 5, 109370: 2, 350117: 9, 94123: 1, 290145: 9, 374040: 9, 390337: 9, 251674: 4, 438103: 9, 287970: 7, 598928: 1, 152050: 1, 552942: 3, 244451: 1, 495883: 4, 286106: 4, 572333: 2, 249921: 1, 448721: 4, 410387: 2, 594612: 1, 499558: 1, 530002: 1, 333784: 2, 484913: 2, 413245: 1, 498243: 1, 277129: 1, 332588: 2, 32949: 1, 84238: 1, 280592: 1, 407563: 1}
{462552: 18, 540038: 8, 297097: 21, 573072: 5, 171690: 10, 200795: 11, 126658: 8, 322135: 21, 114643: 7, 496713: 13, 38864: 3, 91728: 4, 25220: 1, 285032: 17, 223857: 8, 486644: 14, 65116: 3, 202505: 7, 371257: 17, 595785: 2, 359912: 17, 444397: 15, 60165: 2, 150743: 5, 114380: 3, 320455: 18, 239350: 8, 368030: 16, 200265: 5, 253312: 10, 320805: 17, 338757: 17, 202869: 5, 510623: 9, 292037: 14, 336190: 16, 371992: 15, 376525: 16, 333959: 15, 499120: 9, 265006: 9, 535443: 6, 279655: 10, 456662: 11, 445091: 11, 590659: 3, 235873: 5, 405640: 11, 313330: 11, 506196: 7, 145049: 3, 534485: 5, 109370: 2, 350117: 9, 94123: 1, 290145: 9, 374040: 9, 390337: 9, 251674: 4, 438103: 9, 287970: 7, 598928: 1, 152050: 1, 552942: 3, 244451: 1, 495883: 4, 286106: 4, 572333: 2, 249921: 1, 448721: 4, 410387: 2, 594612: 1, 499558: 1, 530002: 1, 333784: 2, 484913: 2, 413245: 1, 498243: 1, 277129: 1, 332588: 2, 32949: 1, 84238: 1, 280592: 1, 407563: 1, 425097: 1, 434661: 1}
{462552: 18, 540038: 8, 297097: 21, 573072: 5, 171690: 11, 200795: 12, 126658: 9, 322135: 21, 114643: 8, 496713: 13, 38864: 3, 91728: 5, 25220: 1, 285032: 17, 223857: 9, 486644: 14, 65116: 3, 202505: 8, 371257: 17, 595785: 2, 359912: 17, 444397: 15, 60165: 2, 150743: 6, 114380: 4, 320455: 18, 239350: 8, 368030: 16, 200265: 6, 253312: 10, 320805: 17, 338757: 17, 202869: 6, 510623: 9, 292037: 14, 336190: 16, 371992: 15, 376525: 16, 333959: 15, 499120: 9, 265006: 9, 535443: 6, 279655: 10, 456662: 11, 445091: 11, 590659: 3, 235873: 5, 405640: 11, 313330: 11, 506196: 7, 145049: 4, 534485: 5, 109370: 3, 350117: 9, 94123: 2, 290145: 9, 374040: 9, 390337: 9, 251674: 4, 438103: 9, 287970: 7, 598928: 1, 152050: 2, 552942: 3, 244451: 1, 495883: 4, 286106: 4, 572333: 2, 249921: 1, 448721: 4, 410387: 2, 594612: 1, 499558: 1, 530002: 1, 333784: 2, 484913: 2, 413245: 1, 498243: 1, 277129: 1, 332588: 2, 32949: 1, 84238: 1, 280592: 1, 407563: 1, 425097: 1, 434661: 1, 89423: 1, 233157: 1}
{462552: 19, 540038: 8, 297097: 22, 573072: 5, 171690: 12, 200795: 13, 126658: 10, 322135: 22, 114643: 9, 496713: 13, 38864: 4, 91728: 6, 25220: 1, 285032: 18, 223857: 10, 486644: 14, 65116: 4, 202505: 9, 371257: 18, 595785: 2, 359912: 18, 444397: 16, 60165: 3, 150743: 7, 114380: 5, 320455: 19, 239350: 9, 368030: 17, 200265: 7, 253312: 11, 320805: 18, 338757: 18, 202869: 7, 510623: 9, 292037: 15, 336190: 17, 371992: 16, 376525: 17, 333959: 16, 499120: 9, 265006: 10, 535443: 6, 279655: 11, 456662: 12, 445091: 12, 590659: 3, 235873: 6, 405640: 12, 313330: 12, 506196: 7, 145049: 5, 534485: 5, 109370: 4, 350117: 10, 94123: 3, 290145: 10, 374040: 10, 390337: 10, 251674: 5, 438103: 10, 287970: 8, 598928: 1, 152050: 3, 552942: 3, 244451: 2, 495883: 4, 286106: 5, 572333: 2, 249921: 2, 448721: 5, 410387: 3, 594612: 1, 499558: 1, 530002: 1, 333784: 3, 484913: 3, 413245: 2, 498243: 1, 277129: 2, 332588: 3, 32949: 1, 84238: 2, 280592: 2, 407563: 2, 425097: 2, 434661: 2, 89423: 2, 233157: 2, 35588: 1, 485185: 1}
{462552: 19, 540038: 8, 297097: 22, 573072: 5, 171690: 12, 200795: 13, 126658: 10, 322135: 22, 114643: 9, 496713: 13, 38864: 4, 91728: 6, 25220: 1, 285032: 18, 223857: 11, 486644: 14, 65116: 4, 202505: 9, 371257: 18, 595785: 2, 359912: 18, 444397: 16, 60165: 3, 150743: 7, 114380: 5, 320455: 19, 239350: 10, 368030: 17, 200265: 7, 253312: 11, 320805: 18, 338757: 18, 202869: 7, 510623: 9, 292037: 15, 336190: 17, 371992: 16, 376525: 17, 333959: 16, 499120: 9, 265006: 10, 535443: 6, 279655: 11, 456662: 12, 445091: 12, 590659: 3, 235873: 7, 405640: 12, 313330: 12, 506196: 7, 145049: 5, 534485: 5, 109370: 4, 350117: 10, 94123: 3, 290145: 10, 374040: 10, 390337: 10, 251674: 5, 438103: 10, 287970: 8, 598928: 1, 152050: 3, 552942: 3, 244451: 3, 495883: 4, 286106: 5, 572333: 2, 249921: 2, 448721: 5, 410387: 3, 594612: 1, 499558: 1, 530002: 1, 333784: 3, 484913: 3, 413245: 2, 498243: 1, 277129: 2, 332588: 3, 32949: 1, 84238: 2, 280592: 2, 407563: 2, 425097: 2, 434661: 2, 89423: 2, 233157: 3, 35588: 1, 485185: 1, 215986: 1, 246477: 1}
{462552: 19, 540038: 8, 297097: 23, 573072: 5, 171690: 13, 200795: 14, 126658: 11, 322135: 23, 114643: 9, 496713: 13, 38864: 4, 91728: 6, 25220: 1, 285032: 19, 223857: 12, 486644: 14, 65116: 4, 202505: 10, 371257: 19, 595785: 2, 359912: 19, 444397: 17, 60165: 3, 150743: 8, 114380: 5, 320455: 20, 239350: 11, 368030: 18, 200265: 8, 253312: 12, 320805: 19, 338757: 19, 202869: 8, 510623: 9, 292037: 16, 336190: 18, 371992: 17, 376525: 18, 333959: 17, 499120: 9, 265006: 11, 535443: 6, 279655: 12, 456662: 12, 445091: 13, 590659: 3, 235873: 8, 405640: 13, 313330: 13, 506196: 7, 145049: 6, 534485: 5, 109370: 4, 350117: 11, 94123: 3, 290145: 11, 374040: 11, 390337: 11, 251674: 6, 438103: 11, 287970: 9, 598928: 1, 152050: 4, 552942: 3, 244451: 4, 495883: 4, 286106: 6, 572333: 2, 249921: 3, 448721: 5, 410387: 4, 594612: 1, 499558: 1, 530002: 1, 333784: 4, 484913: 3, 413245: 3, 498243: 1, 277129: 3, 332588: 4, 32949: 1, 84238: 2, 280592: 3, 407563: 3, 425097: 3, 434661: 3, 89423: 2, 233157: 4, 35588: 1, 485185: 1, 215986: 2, 246477: 2, 116532: 1, 445409: 1}
{462552: 19, 540038: 8, 297097: 24, 573072: 5, 171690: 13, 200795: 15, 126658: 11, 322135: 24, 114643: 9, 496713: 13, 38864: 4, 91728: 6, 25220: 1, 285032: 20, 223857: 13, 486644: 14, 65116: 4, 202505: 11, 371257: 20, 595785: 2, 359912: 20, 444397: 17, 60165: 3, 150743: 8, 114380: 5, 320455: 21, 239350: 12, 368030: 19, 200265: 9, 253312: 13, 320805: 20, 338757: 20, 202869: 9, 510623: 9, 292037: 17, 336190: 19, 371992: 18, 376525: 18, 333959: 18, 499120: 9, 265006: 12, 535443: 6, 279655: 13, 456662: 12, 445091: 13, 590659: 3, 235873: 9, 405640: 13, 313330: 14, 506196: 7, 145049: 6, 534485: 5, 109370: 4, 350117: 12, 94123: 3, 290145: 12, 374040: 11, 390337: 11, 251674: 7, 438103: 11, 287970: 10, 598928: 1, 152050: 4, 552942: 3, 244451: 5, 495883: 4, 286106: 7, 572333: 2, 249921: 4, 448721: 5, 410387: 4, 594612: 1, 499558: 1, 530002: 1, 333784: 5, 484913: 3, 413245: 3, 498243: 1, 277129: 4, 332588: 5, 32949: 1, 84238: 2, 280592: 4, 407563: 3, 425097: 3, 434661: 3, 89423: 2, 233157: 5, 35588: 1, 485185: 1, 215986: 3, 246477: 3, 116532: 1, 445409: 1, 172470: 1, 372870: 1}
{462552: 20, 540038: 9, 297097: 24, 573072: 5, 171690: 13, 200795: 15, 126658: 11, 322135: 24, 114643: 9, 496713: 14, 38864: 4, 91728: 6, 25220: 1, 285032: 20, 223857: 13, 486644: 15, 65116: 4, 202505: 11, 371257: 20, 595785: 2, 359912: 20, 444397: 18, 60165: 3, 150743: 8, 114380: 5, 320455: 21, 239350: 12, 368030: 19, 200265: 9, 253312: 13, 320805: 20, 338757: 20, 202869: 9, 510623: 10, 292037: 17, 336190: 19, 371992: 18, 376525: 18, 333959: 18, 499120: 10, 265006: 12, 535443: 7, 279655: 13, 456662: 13, 445091: 14, 590659: 3, 235873: 9, 405640: 13, 313330: 14, 506196: 8, 145049: 6, 534485: 6, 109370: 4, 350117: 12, 94123: 3, 290145: 12, 374040: 11, 390337: 11, 251674: 7, 438103: 12, 287970: 10, 598928: 1, 152050: 4, 552942: 4, 244451: 5, 495883: 5, 286106: 7, 572333: 2, 249921: 4, 448721: 6, 410387: 4, 594612: 1, 499558: 2, 530002: 2, 333784: 5, 484913: 4, 413245: 3, 498243: 2, 277129: 4, 332588: 5, 32949: 1, 84238: 2, 280592: 4, 407563: 3, 425097: 3, 434661: 4, 89423: 2, 233157: 5, 35588: 1, 485185: 2, 215986: 3, 246477: 3, 116532: 1, 445409: 2, 172470: 1, 372870: 1, 428912: 1, 559353: 1}
{462552: 20, 540038: 9, 297097: 24, 573072: 5, 171690: 14, 200795: 16, 126658: 12, 322135: 24, 114643: 10, 496713: 14, 38864: 5, 91728: 7, 25220: 2, 285032: 20, 223857: 14, 486644: 15, 65116: 5, 202505: 12, 371257: 20, 595785: 2, 359912: 20, 444397: 18, 60165: 4, 150743: 9, 114380: 6, 320455: 21, 239350: 13, 368030: 19, 200265: 10, 253312: 14, 320805: 20, 338757: 20, 202869: 10, 510623: 10, 292037: 17, 336190: 19, 371992: 18, 376525: 18, 333959: 18, 499120: 10, 265006: 13, 535443: 7, 279655: 13, 456662: 13, 445091: 14, 590659: 3, 235873: 10, 405640: 13, 313330: 14, 506196: 8, 145049: 7, 534485: 6, 109370: 5, 350117: 12, 94123: 4, 290145: 12, 374040: 11, 390337: 11, 251674: 8, 438103: 12, 287970: 10, 598928: 1, 152050: 5, 552942: 4, 244451: 6, 495883: 5, 286106: 7, 572333: 2, 249921: 5, 448721: 6, 410387: 4, 594612: 1, 499558: 2, 530002: 2, 333784: 5, 484913: 4, 413245: 3, 498243: 2, 277129: 4, 332588: 5, 32949: 2, 84238: 3, 280592: 4, 407563: 3, 425097: 3, 434661: 4, 89423: 3, 233157: 6, 35588: 2, 485185: 2, 215986: 4, 246477: 4, 116532: 2, 445409: 2, 172470: 2, 372870: 1, 428912: 1, 559353: 1, 516: 1, 267648: 1}
{462552: 20, 540038: 9, 297097: 25, 573072: 5, 171690: 14, 200795: 16, 126658: 12, 322135: 25, 114643: 10, 496713: 14, 38864: 5, 91728: 7, 25220: 2, 285032: 21, 223857: 14, 486644: 15, 65116: 5, 202505: 12, 371257: 20, 595785: 2, 359912: 20, 444397: 18, 60165: 4, 150743: 9, 114380: 6, 320455: 22, 239350: 13, 368030: 19, 200265: 10, 253312: 15, 320805: 21, 338757: 20, 202869: 10, 510623: 10, 292037: 18, 336190: 19, 371992: 18, 376525: 18, 333959: 18, 499120: 10, 265006: 14, 535443: 7, 279655: 14, 456662: 13, 445091: 14, 590659: 3, 235873: 10, 405640: 13, 313330: 15, 506196: 8, 145049: 7, 534485: 6, 109370: 5, 350117: 12, 94123: 4, 290145: 13, 374040: 11, 390337: 11, 251674: 9, 438103: 12, 287970: 11, 598928: 1, 152050: 5, 552942: 4, 244451: 6, 495883: 5, 286106: 8, 572333: 2, 249921: 6, 448721: 6, 410387: 4, 594612: 1, 499558: 2, 530002: 2, 333784: 5, 484913: 4, 413245: 3, 498243: 2, 277129: 5, 332588: 5, 32949: 2, 84238: 3, 280592: 5, 407563: 3, 425097: 3, 434661: 4, 89423: 3, 233157: 6, 35588: 2, 485185: 2, 215986: 4, 246477: 5, 116532: 2, 445409: 2, 172470: 2, 372870: 1, 428912: 1, 559353: 1, 516: 1, 267648: 2, 245023: 1, 327181: 1}
{462552: 20, 540038: 9, 297097: 26, 573072: 5, 171690: 14, 200795: 16, 126658: 12, 322135: 26, 114643: 10, 496713: 14, 38864: 5, 91728: 7, 25220: 2, 285032: 22, 223857: 14, 486644: 15, 65116: 5, 202505: 12, 371257: 20, 595785: 2, 359912: 20, 444397: 18, 60165: 4, 150743: 9, 114380: 6, 320455: 23, 239350: 13, 368030: 19, 200265: 10, 253312: 15, 320805: 22, 338757: 21, 202869: 10, 510623: 10, 292037: 19, 336190: 20, 371992: 18, 376525: 18, 333959: 19, 499120: 10, 265006: 15, 535443: 7, 279655: 15, 456662: 13, 445091: 14, 590659: 3, 235873: 10, 405640: 13, 313330: 16, 506196: 8, 145049: 7, 534485: 6, 109370: 5, 350117: 12, 94123: 4, 290145: 14, 374040: 11, 390337: 11, 251674: 9, 438103: 12, 287970: 12, 598928: 1, 152050: 5, 552942: 4, 244451: 6, 495883: 5, 286106: 9, 572333: 2, 249921: 6, 448721: 6, 410387: 4, 594612: 1, 499558: 2, 530002: 2, 333784: 6, 484913: 4, 413245: 3, 498243: 2, 277129: 6, 332588: 6, 32949: 2, 84238: 3, 280592: 6, 407563: 3, 425097: 3, 434661: 4, 89423: 3, 233157: 6, 35588: 2, 485185: 2, 215986: 4, 246477: 5, 116532: 2, 445409: 2, 172470: 2, 372870: 1, 428912: 1, 559353: 1, 516: 1, 267648: 3, 245023: 1, 327181: 2, 262871: 1, 348359: 1}
{462552: 20, 540038: 9, 297097: 26, 573072: 5, 171690: 14, 200795: 16, 126658: 12, 322135: 26, 114643: 10, 496713: 14, 38864: 5, 91728: 7, 25220: 2, 285032: 22, 223857: 14, 486644: 15, 65116: 5, 202505: 12, 371257: 20, 595785: 2, 359912: 20, 444397: 18, 60165: 4, 150743: 9, 114380: 6, 320455: 23, 239350: 13, 368030: 19, 200265: 10, 253312: 15, 320805: 22, 338757: 21, 202869: 10, 510623: 10, 292037: 19, 336190: 20, 371992: 18, 376525: 18, 333959: 19, 499120: 10, 265006: 15, 535443: 7, 279655: 15, 456662: 13, 445091: 14, 590659: 3, 235873: 10, 405640: 13, 313330: 16, 506196: 8, 145049: 7, 534485: 6, 109370: 5, 350117: 12, 94123: 4, 290145: 14, 374040: 11, 390337: 11, 251674: 9, 438103: 12, 287970: 12, 598928: 1, 152050: 5, 552942: 4, 244451: 6, 495883: 5, 286106: 9, 572333: 2, 249921: 6, 448721: 6, 410387: 4, 594612: 1, 499558: 2, 530002: 2, 333784: 6, 484913: 4, 413245: 3, 498243: 2, 277129: 6, 332588: 6, 32949: 2, 84238: 4, 280592: 6, 407563: 3, 425097: 3, 434661: 4, 89423: 4, 233157: 6, 35588: 2, 485185: 2, 215986: 4, 246477: 5, 116532: 2, 445409: 2, 172470: 2, 372870: 1, 428912: 1, 559353: 1, 516: 1, 267648: 3, 245023: 1, 327181: 2, 262871: 1, 348359: 1, 75499: 1, 89693: 1}
{462552: 20, 540038: 9, 297097: 27, 573072: 5, 171690: 15, 200795: 17, 126658: 13, 322135: 27, 114643: 11, 496713: 14, 38864: 5, 91728: 8, 25220: 2, 285032: 23, 223857: 15, 486644: 15, 65116: 6, 202505: 13, 371257: 20, 595785: 2, 359912: 20, 444397: 18, 60165: 5, 150743: 10, 114380: 7, 320455: 24, 239350: 14, 368030: 19, 200265: 11, 253312: 16, 320805: 23, 338757: 22, 202869: 11, 510623: 10, 292037: 20, 336190: 21, 371992: 18, 376525: 18, 333959: 20, 499120: 10, 265006: 16, 535443: 7, 279655: 16, 456662: 13, 445091: 14, 590659: 3, 235873: 11, 405640: 13, 313330: 17, 506196: 8, 145049: 8, 534485: 6, 109370: 6, 350117: 13, 94123: 5, 290145: 15, 374040: 11, 390337: 11, 251674: 10, 438103: 12, 287970: 13, 598928: 1, 152050: 6, 552942: 4, 244451: 7, 495883: 5, 286106: 10, 572333: 2, 249921: 7, 448721: 6, 410387: 4, 594612: 1, 499558: 2, 530002: 2, 333784: 7, 484913: 4, 413245: 3, 498243: 2, 277129: 7, 332588: 7, 32949: 2, 84238: 5, 280592: 7, 407563: 3, 425097: 3, 434661: 4, 89423: 5, 233157: 7, 35588: 2, 485185: 2, 215986: 5, 246477: 6, 116532: 3, 445409: 2, 172470: 3, 372870: 1, 428912: 1, 559353: 1, 516: 1, 267648: 4, 245023: 2, 327181: 3, 262871: 2, 348359: 2, 75499: 2, 89693: 2, 51316: 1, 355245: 1}
{462552: 21, 540038: 10, 297097: 27, 573072: 6, 171690: 15, 200795: 17, 126658: 13, 322135: 27, 114643: 11, 496713: 15, 38864: 5, 91728: 8, 25220: 2, 285032: 23, 223857: 15, 486644: 16, 65116: 6, 202505: 13, 371257: 20, 595785: 2, 359912: 20, 444397: 19, 60165: 5, 150743: 10, 114380: 7, 320455: 24, 239350: 14, 368030: 19, 200265: 11, 253312: 16, 320805: 23, 338757: 22, 202869: 11, 510623: 11, 292037: 20, 336190: 21, 371992: 18, 376525: 18, 333959: 20, 499120: 11, 265006: 16, 535443: 8, 279655: 16, 456662: 14, 445091: 15, 590659: 3, 235873: 11, 405640: 13, 313330: 17, 506196: 9, 145049: 8, 534485: 7, 109370: 6, 350117: 13, 94123: 5, 290145: 15, 374040: 11, 390337: 11, 251674: 10, 438103: 13, 287970: 13, 598928: 1, 152050: 6, 552942: 5, 244451: 7, 495883: 6, 286106: 10, 572333: 3, 249921: 7, 448721: 7, 410387: 4, 594612: 1, 499558: 3, 530002: 3, 333784: 7, 484913: 5, 413245: 4, 498243: 3, 277129: 7, 332588: 7, 32949: 2, 84238: 5, 280592: 7, 407563: 3, 425097: 4, 434661: 5, 89423: 5, 233157: 7, 35588: 2, 485185: 3, 215986: 5, 246477: 6, 116532: 3, 445409: 3, 172470: 3, 372870: 1, 428912: 2, 559353: 2, 516: 1, 267648: 4, 245023: 2, 327181: 3, 262871: 2, 348359: 2, 75499: 2, 89693: 2, 51316: 1, 355245: 1, 412675: 1, 579224: 1}
{462552: 21, 540038: 10, 297097: 28, 573072: 6, 171690: 16, 200795: 18, 126658: 13, 322135: 27, 114643: 11, 496713: 15, 38864: 5, 91728: 8, 25220: 2, 285032: 24, 223857: 16, 486644: 16, 65116: 6, 202505: 14, 371257: 20, 595785: 2, 359912: 20, 444397: 19, 60165: 5, 150743: 11, 114380: 7, 320455: 24, 239350: 15, 368030: 19, 200265: 12, 253312: 17, 320805: 23, 338757: 22, 202869: 12, 510623: 11, 292037: 21, 336190: 21, 371992: 18, 376525: 18, 333959: 20, 499120: 11, 265006: 17, 535443: 8, 279655: 17, 456662: 14, 445091: 15, 590659: 3, 235873: 12, 405640: 13, 313330: 18, 506196: 9, 145049: 9, 534485: 7, 109370: 6, 350117: 13, 94123: 5, 290145: 16, 374040: 11, 390337: 11, 251674: 11, 438103: 13, 287970: 14, 598928: 1, 152050: 7, 552942: 5, 244451: 8, 495883: 6, 286106: 11, 572333: 3, 249921: 8, 448721: 7, 410387: 4, 594612: 1, 499558: 3, 530002: 3, 333784: 7, 484913: 5, 413245: 4, 498243: 3, 277129: 8, 332588: 7, 32949: 2, 84238: 5, 280592: 8, 407563: 3, 425097: 4, 434661: 5, 89423: 5, 233157: 8, 35588: 2, 485185: 3, 215986: 6, 246477: 7, 116532: 3, 445409: 3, 172470: 4, 372870: 1, 428912: 2, 559353: 2, 516: 1, 267648: 5, 245023: 3, 327181: 3, 262871: 3, 348359: 2, 75499: 2, 89693: 2, 51316: 1, 355245: 1, 412675: 1, 579224: 1, 135051: 1, 316200: 1}
{462552: 21, 540038: 10, 297097: 28, 573072: 6, 171690: 17, 200795: 19, 126658: 14, 322135: 27, 114643: 12, 496713: 15, 38864: 5, 91728: 8, 25220: 2, 285032: 24, 223857: 17, 486644: 16, 65116: 6, 202505: 15, 371257: 20, 595785: 2, 359912: 20, 444397: 19, 60165: 5, 150743: 12, 114380: 8, 320455: 24, 239350: 16, 368030: 19, 200265: 13, 253312: 17, 320805: 23, 338757: 22, 202869: 13, 510623: 11, 292037: 21, 336190: 21, 371992: 18, 376525: 18, 333959: 20, 499120: 11, 265006: 17, 535443: 8, 279655: 17, 456662: 14, 445091: 15, 590659: 3, 235873: 13, 405640: 13, 313330: 18, 506196: 9, 145049: 10, 534485: 7, 109370: 7, 350117: 13, 94123: 5, 290145: 16, 374040: 11, 390337: 11, 251674: 11, 438103: 13, 287970: 14, 598928: 1, 152050: 8, 552942: 5, 244451: 8, 495883: 6, 286106: 11, 572333: 3, 249921: 8, 448721: 7, 410387: 4, 594612: 1, 499558: 3, 530002: 3, 333784: 7, 484913: 5, 413245: 4, 498243: 3, 277129: 8, 332588: 7, 32949: 2, 84238: 5, 280592: 8, 407563: 3, 425097: 4, 434661: 5, 89423: 5, 233157: 9, 35588: 2, 485185: 3, 215986: 7, 246477: 7, 116532: 4, 445409: 3, 172470: 5, 372870: 1, 428912: 2, 559353: 2, 516: 1, 267648: 5, 245023: 3, 327181: 3, 262871: 3, 348359: 2, 75499: 2, 89693: 2, 51316: 1, 355245: 1, 412675: 1, 579224: 1, 135051: 2, 316200: 1, 98885: 1, 243906: 1}
{462552: 21, 540038: 10, 297097: 29, 573072: 6, 171690: 18, 200795: 20, 126658: 14, 322135: 28, 114643: 12, 496713: 15, 38864: 5, 91728: 8, 25220: 2, 285032: 25, 223857: 18, 486644: 16, 65116: 6, 202505: 16, 371257: 21, 595785: 2, 359912: 21, 444397: 19, 60165: 5, 150743: 13, 114380: 8, 320455: 25, 239350: 17, 368030: 20, 200265: 14, 253312: 18, 320805: 24, 338757: 23, 202869: 14, 510623: 11, 292037: 22, 336190: 22, 371992: 19, 376525: 19, 333959: 21, 499120: 11, 265006: 18, 535443: 8, 279655: 18, 456662: 14, 445091: 15, 590659: 3, 235873: 14, 405640: 14, 313330: 19, 506196: 9, 145049: 11, 534485: 7, 109370: 7, 350117: 14, 94123: 5, 290145: 17, 374040: 12, 390337: 12, 251674: 12, 438103: 13, 287970: 15, 598928: 1, 152050: 9, 552942: 5, 244451: 9, 495883: 6, 286106: 12, 572333: 3, 249921: 9, 448721: 7, 410387: 5, 594612: 1, 499558: 3, 530002: 3, 333784: 8, 484913: 5, 413245: 4, 498243: 3, 277129: 9, 332588: 8, 32949: 2, 84238: 5, 280592: 9, 407563: 4, 425097: 4, 434661: 5, 89423: 5, 233157: 10, 35588: 2, 485185: 3, 215986: 8, 246477: 8, 116532: 4, 445409: 3, 172470: 6, 372870: 2, 428912: 2, 559353: 2, 516: 1, 267648: 6, 245023: 4, 327181: 4, 262871: 4, 348359: 3, 75499: 2, 89693: 2, 51316: 1, 355245: 2, 412675: 1, 579224: 1, 135051: 3, 316200: 2, 98885: 1, 243906: 2, 131789: 1, 412009: 1}
{462552: 21, 540038: 10, 297097: 30, 573072: 6, 171690: 19, 200795: 21, 126658: 14, 322135: 29, 114643: 12, 496713: 15, 38864: 5, 91728: 8, 25220: 2, 285032: 26, 223857: 19, 486644: 16, 65116: 6, 202505: 17, 371257: 22, 595785: 2, 359912: 22, 444397: 19, 60165: 5, 150743: 14, 114380: 8, 320455: 26, 239350: 18, 368030: 21, 200265: 15, 253312: 19, 320805: 25, 338757: 24, 202869: 15, 510623: 11, 292037: 23, 336190: 23, 371992: 20, 376525: 20, 333959: 22, 499120: 11, 265006: 19, 535443: 8, 279655: 19, 456662: 14, 445091: 15, 590659: 3, 235873: 15, 405640: 14, 313330: 20, 506196: 9, 145049: 12, 534485: 7, 109370: 7, 350117: 15, 94123: 5, 290145: 18, 374040: 13, 390337: 13, 251674: 13, 438103: 13, 287970: 16, 598928: 1, 152050: 10, 552942: 5, 244451: 10, 495883: 6, 286106: 13, 572333: 3, 249921: 10, 448721: 7, 410387: 5, 594612: 1, 499558: 3, 530002: 3, 333784: 9, 484913: 5, 413245: 4, 498243: 3, 277129: 10, 332588: 9, 32949: 2, 84238: 5, 280592: 10, 407563: 4, 425097: 4, 434661: 5, 89423: 5, 233157: 11, 35588: 2, 485185: 3, 215986: 9, 246477: 9, 116532: 4, 445409: 3, 172470: 7, 372870: 3, 428912: 2, 559353: 2, 516: 1, 267648: 7, 245023: 5, 327181: 5, 262871: 5, 348359: 4, 75499: 2, 89693: 2, 51316: 1, 355245: 3, 412675: 1, 579224: 1, 135051: 4, 316200: 3, 98885: 1, 243906: 3, 131789: 2, 412009: 1, 131221: 1, 392073: 1}
{462552: 22, 540038: 10, 297097: 31, 573072: 6, 171690: 20, 200795: 22, 126658: 15, 322135: 30, 114643: 13, 496713: 16, 38864: 5, 91728: 9, 25220: 2, 285032: 27, 223857: 20, 486644: 17, 65116: 7, 202505: 18, 371257: 23, 595785: 2, 359912: 23, 444397: 20, 60165: 6, 150743: 15, 114380: 9, 320455: 27, 239350: 19, 368030: 22, 200265: 16, 253312: 20, 320805: 26, 338757: 25, 202869: 16, 510623: 11, 292037: 24, 336190: 24, 371992: 21, 376525: 21, 333959: 23, 499120: 12, 265006: 20, 535443: 8, 279655: 20, 456662: 15, 445091: 16, 590659: 3, 235873: 16, 405640: 15, 313330: 21, 506196: 9, 145049: 13, 534485: 7, 109370: 8, 350117: 16, 94123: 6, 290145: 19, 374040: 14, 390337: 14, 251674: 14, 438103: 14, 287970: 17, 598928: 1, 152050: 11, 552942: 5, 244451: 11, 495883: 7, 286106: 14, 572333: 3, 249921: 11, 448721: 8, 410387: 6, 594612: 1, 499558: 3, 530002: 3, 333784: 10, 484913: 6, 413245: 5, 498243: 4, 277129: 11, 332588: 10, 32949: 2, 84238: 6, 280592: 11, 407563: 5, 425097: 5, 434661: 6, 89423: 6, 233157: 12, 35588: 2, 485185: 4, 215986: 10, 246477: 10, 116532: 5, 445409: 4, 172470: 8, 372870: 4, 428912: 3, 559353: 2, 516: 1, 267648: 8, 245023: 6, 327181: 6, 262871: 6, 348359: 5, 75499: 3, 89693: 3, 51316: 1, 355245: 4, 412675: 2, 579224: 1, 135051: 5, 316200: 4, 98885: 2, 243906: 4, 131789: 3, 412009: 2, 131221: 2, 392073: 2, 53347: 1, 499351: 1}
{462552: 22, 540038: 10, 297097: 32, 573072: 6, 171690: 21, 200795: 23, 126658: 15, 322135: 31, 114643: 13, 496713: 16, 38864: 5, 91728: 9, 25220: 2, 285032: 28, 223857: 21, 486644: 17, 65116: 7, 202505: 19, 371257: 24, 595785: 2, 359912: 24, 444397: 20, 60165: 6, 150743: 15, 114380: 9, 320455: 28, 239350: 20, 368030: 23, 200265: 17, 253312: 21, 320805: 27, 338757: 26, 202869: 17, 510623: 11, 292037: 25, 336190: 25, 371992: 22, 376525: 22, 333959: 24, 499120: 12, 265006: 21, 535443: 8, 279655: 21, 456662: 15, 445091: 16, 590659: 3, 235873: 17, 405640: 16, 313330: 22, 506196: 9, 145049: 13, 534485: 7, 109370: 8, 350117: 17, 94123: 6, 290145: 20, 374040: 15, 390337: 15, 251674: 15, 438103: 14, 287970: 18, 598928: 1, 152050: 11, 552942: 5, 244451: 12, 495883: 7, 286106: 15, 572333: 3, 249921: 12, 448721: 8, 410387: 7, 594612: 1, 499558: 3, 530002: 3, 333784: 11, 484913: 6, 413245: 6, 498243: 4, 277129: 12, 332588: 11, 32949: 2, 84238: 6, 280592: 12, 407563: 6, 425097: 6, 434661: 6, 89423: 6, 233157: 13, 35588: 2, 485185: 4, 215986: 11, 246477: 11, 116532: 5, 445409: 4, 172470: 9, 372870: 5, 428912: 4, 559353: 2, 516: 1, 267648: 9, 245023: 7, 327181: 7, 262871: 7, 348359: 6, 75499: 3, 89693: 3, 51316: 1, 355245: 5, 412675: 3, 579224: 1, 135051: 5, 316200: 5, 98885: 2, 243906: 5, 131789: 3, 412009: 3, 131221: 2, 392073: 3, 53347: 1, 499351: 1, 152187: 1, 433837: 1}
{462552: 22, 540038: 10, 297097: 33, 573072: 6, 171690: 21, 200795: 23, 126658: 15, 322135: 32, 114643: 13, 496713: 16, 38864: 5, 91728: 9, 25220: 2, 285032: 29, 223857: 21, 486644: 17, 65116: 7, 202505: 19, 371257: 25, 595785: 2, 359912: 25, 444397: 20, 60165: 6, 150743: 15, 114380: 9, 320455: 29, 239350: 20, 368030: 24, 200265: 17, 253312: 21, 320805: 28, 338757: 27, 202869: 17, 510623: 11, 292037: 26, 336190: 26, 371992: 23, 376525: 23, 333959: 25, 499120: 12, 265006: 21, 535443: 8, 279655: 22, 456662: 15, 445091: 16, 590659: 3, 235873: 17, 405640: 16, 313330: 23, 506196: 9, 145049: 13, 534485: 7, 109370: 8, 350117: 18, 94123: 6, 290145: 21, 374040: 16, 390337: 15, 251674: 15, 438103: 14, 287970: 19, 598928: 1, 152050: 11, 552942: 5, 244451: 12, 495883: 7, 286106: 16, 572333: 3, 249921: 12, 448721: 8, 410387: 7, 594612: 1, 499558: 3, 530002: 3, 333784: 12, 484913: 6, 413245: 6, 498243: 4, 277129: 12, 332588: 12, 32949: 2, 84238: 6, 280592: 13, 407563: 6, 425097: 6, 434661: 6, 89423: 6, 233157: 13, 35588: 2, 485185: 4, 215986: 11, 246477: 11, 116532: 5, 445409: 4, 172470: 9, 372870: 6, 428912: 4, 559353: 2, 516: 1, 267648: 9, 245023: 7, 327181: 8, 262871: 7, 348359: 7, 75499: 3, 89693: 3, 51316: 1, 355245: 6, 412675: 3, 579224: 1, 135051: 5, 316200: 6, 98885: 2, 243906: 5, 131789: 3, 412009: 3, 131221: 2, 392073: 3, 53347: 1, 499351: 1, 152187: 1, 433837: 1, 278373: 1, 380450: 1}
{462552: 23, 540038: 11, 297097: 34, 573072: 7, 171690: 22, 200795: 24, 126658: 16, 322135: 33, 114643: 14, 496713: 17, 38864: 6, 91728: 10, 25220: 3, 285032: 30, 223857: 22, 486644: 18, 65116: 8, 202505: 20, 371257: 26, 595785: 3, 359912: 26, 444397: 21, 60165: 7, 150743: 16, 114380: 10, 320455: 30, 239350: 21, 368030: 25, 200265: 18, 253312: 22, 320805: 29, 338757: 28, 202869: 18, 510623: 12, 292037: 27, 336190: 27, 371992: 24, 376525: 24, 333959: 26, 499120: 13, 265006: 22, 535443: 9, 279655: 23, 456662: 16, 445091: 17, 590659: 4, 235873: 18, 405640: 17, 313330: 24, 506196: 10, 145049: 14, 534485: 8, 109370: 9, 350117: 19, 94123: 7, 290145: 22, 374040: 17, 390337: 16, 251674: 16, 438103: 15, 287970: 20, 598928: 2, 152050: 12, 552942: 6, 244451: 13, 495883: 8, 286106: 17, 572333: 4, 249921: 13, 448721: 9, 410387: 8, 594612: 2, 499558: 4, 530002: 4, 333784: 13, 484913: 7, 413245: 7, 498243: 5, 277129: 13, 332588: 13, 32949: 3, 84238: 7, 280592: 14, 407563: 7, 425097: 7, 434661: 7, 89423: 7, 233157: 14, 35588: 3, 485185: 5, 215986: 12, 246477: 12, 116532: 6, 445409: 5, 172470: 10, 372870: 7, 428912: 5, 559353: 3, 516: 1, 267648: 10, 245023: 8, 327181: 9, 262871: 8, 348359: 8, 75499: 4, 89693: 4, 51316: 2, 355245: 7, 412675: 4, 579224: 2, 135051: 6, 316200: 7, 98885: 3, 243906: 6, 131789: 4, 412009: 4, 131221: 3, 392073: 4, 53347: 2, 499351: 2, 152187: 2, 433837: 2, 278373: 2, 380450: 2, 25026: 1, 601337: 1}
{462552: 24, 540038: 11, 297097: 34, 573072: 7, 171690: 22, 200795: 24, 126658: 16, 322135: 33, 114643: 14, 496713: 17, 38864: 6, 91728: 10, 25220: 3, 285032: 30, 223857: 22, 486644: 18, 65116: 8, 202505: 20, 371257: 27, 595785: 3, 359912: 27, 444397: 22, 60165: 7, 150743: 16, 114380: 10, 320455: 30, 239350: 21, 368030: 26, 200265: 18, 253312: 22, 320805: 29, 338757: 29, 202869: 18, 510623: 12, 292037: 27, 336190: 28, 371992: 25, 376525: 25, 333959: 27, 499120: 13, 265006: 22, 535443: 9, 279655: 23, 456662: 17, 445091: 18, 590659: 4, 235873: 18, 405640: 18, 313330: 24, 506196: 10, 145049: 14, 534485: 8, 109370: 9, 350117: 20, 94123: 7, 290145: 22, 374040: 18, 390337: 17, 251674: 16, 438103: 16, 287970: 20, 598928: 2, 152050: 12, 552942: 6, 244451: 13, 495883: 8, 286106: 17, 572333: 4, 249921: 13, 448721: 10, 410387: 9, 594612: 2, 499558: 4, 530002: 4, 333784: 14, 484913: 7, 413245: 8, 498243: 5, 277129: 13, 332588: 14, 32949: 3, 84238: 7, 280592: 14, 407563: 8, 425097: 8, 434661: 8, 89423: 7, 233157: 14, 35588: 3, 485185: 5, 215986: 12, 246477: 12, 116532: 6, 445409: 6, 172470: 10, 372870: 8, 428912: 6, 559353: 3, 516: 1, 267648: 10, 245023: 8, 327181: 9, 262871: 8, 348359: 9, 75499: 4, 89693: 4, 51316: 2, 355245: 8, 412675: 5, 579224: 2, 135051: 6, 316200: 7, 98885: 3, 243906: 6, 131789: 4, 412009: 5, 131221: 3, 392073: 5, 53347: 2, 499351: 2, 152187: 2, 433837: 3, 278373: 2, 380450: 3, 25026: 1, 601337: 1, 330057: 1, 471454: 1}
{462552: 25, 540038: 12, 297097: 35, 573072: 8, 171690: 23, 200795: 25, 126658: 16, 322135: 34, 114643: 14, 496713: 18, 38864: 6, 91728: 10, 25220: 3, 285032: 31, 223857: 23, 486644: 19, 65116: 8, 202505: 21, 371257: 28, 595785: 3, 359912: 28, 444397: 23, 60165: 7, 150743: 16, 114380: 10, 320455: 31, 239350: 22, 368030: 27, 200265: 19, 253312: 23, 320805: 30, 338757: 30, 202869: 19, 510623: 13, 292037: 28, 336190: 29, 371992: 26, 376525: 26, 333959: 28, 499120: 14, 265006: 23, 535443: 10, 279655: 24, 456662: 18, 445091: 19, 590659: 4, 235873: 19, 405640: 19, 313330: 25, 506196: 11, 145049: 14, 534485: 9, 109370: 9, 350117: 21, 94123: 7, 290145: 23, 374040: 19, 390337: 18, 251674: 17, 438103: 17, 287970: 21, 598928: 2, 152050: 12, 552942: 7, 244451: 14, 495883: 9, 286106: 18, 572333: 5, 249921: 14, 448721: 11, 410387: 10, 594612: 2, 499558: 5, 530002: 5, 333784: 15, 484913: 8, 413245: 9, 498243: 6, 277129: 14, 332588: 15, 32949: 3, 84238: 7, 280592: 15, 407563: 9, 425097: 9, 434661: 9, 89423: 7, 233157: 15, 35588: 3, 485185: 6, 215986: 13, 246477: 13, 116532: 6, 445409: 7, 172470: 11, 372870: 9, 428912: 7, 559353: 4, 516: 1, 267648: 11, 245023: 9, 327181: 10, 262871: 9, 348359: 10, 75499: 4, 89693: 4, 51316: 2, 355245: 9, 412675: 6, 579224: 3, 135051: 6, 316200: 8, 98885: 3, 243906: 7, 131789: 4, 412009: 6, 131221: 3, 392073: 6, 53347: 2, 499351: 3, 152187: 2, 433837: 4, 278373: 3, 380450: 4, 25026: 1, 601337: 1, 330057: 2, 471454: 2, 154606: 1, 579874: 1}
{462552: 26, 540038: 12, 297097: 36, 573072: 8, 171690: 24, 200795: 26, 126658: 17, 322135: 35, 114643: 14, 496713: 18, 38864: 6, 91728: 10, 25220: 3, 285032: 32, 223857: 24, 486644: 19, 65116: 8, 202505: 22, 371257: 29, 595785: 3, 359912: 29, 444397: 24, 60165: 7, 150743: 17, 114380: 10, 320455: 32, 239350: 23, 368030: 28, 200265: 20, 253312: 24, 320805: 31, 338757: 31, 202869: 20, 510623: 13, 292037: 29, 336190: 30, 371992: 27, 376525: 27, 333959: 29, 499120: 14, 265006: 24, 535443: 10, 279655: 25, 456662: 19, 445091: 20, 590659: 4, 235873: 20, 405640: 20, 313330: 26, 506196: 11, 145049: 15, 534485: 9, 109370: 9, 350117: 22, 94123: 7, 290145: 24, 374040: 20, 390337: 19, 251674: 18, 438103: 18, 287970: 22, 598928: 2, 152050: 13, 552942: 7, 244451: 15, 495883: 9, 286106: 19, 572333: 5, 249921: 15, 448721: 12, 410387: 11, 594612: 2, 499558: 5, 530002: 5, 333784: 16, 484913: 8, 413245: 10, 498243: 6, 277129: 15, 332588: 16, 32949: 3, 84238: 7, 280592: 16, 407563: 10, 425097: 10, 434661: 10, 89423: 7, 233157: 16, 35588: 3, 485185: 6, 215986: 14, 246477: 14, 116532: 6, 445409: 8, 172470: 12, 372870: 10, 428912: 8, 559353: 4, 516: 1, 267648: 12, 245023: 10, 327181: 11, 262871: 10, 348359: 11, 75499: 4, 89693: 4, 51316: 2, 355245: 10, 412675: 7, 579224: 3, 135051: 7, 316200: 9, 98885: 3, 243906: 8, 131789: 5, 412009: 7, 131221: 4, 392073: 7, 53347: 2, 499351: 3, 152187: 3, 433837: 5, 278373: 4, 380450: 5, 25026: 1, 601337: 1, 330057: 3, 471454: 3, 154606: 2, 579874: 1, 118950: 1, 476378: 1}
{462552: 26, 540038: 12, 297097: 37, 573072: 8, 171690: 25, 200795: 27, 126658: 18, 322135: 36, 114643: 15, 496713: 18, 38864: 6, 91728: 11, 25220: 3, 285032: 33, 223857: 25, 486644: 19, 65116: 9, 202505: 23, 371257: 30, 595785: 3, 359912: 30, 444397: 24, 60165: 8, 150743: 18, 114380: 11, 320455: 33, 239350: 24, 368030: 29, 200265: 21, 253312: 25, 320805: 32, 338757: 32, 202869: 21, 510623: 13, 292037: 30, 336190: 31, 371992: 28, 376525: 28, 333959: 30, 499120: 14, 265006: 25, 535443: 10, 279655: 26, 456662: 19, 445091: 20, 590659: 4, 235873: 21, 405640: 21, 313330: 27, 506196: 11, 145049: 16, 534485: 9, 109370: 10, 350117: 23, 94123: 8, 290145: 25, 374040: 21, 390337: 20, 251674: 19, 438103: 18, 287970: 23, 598928: 2, 152050: 14, 552942: 7, 244451: 16, 495883: 9, 286106: 20, 572333: 5, 249921: 16, 448721: 12, 410387: 11, 594612: 2, 499558: 5, 530002: 5, 333784: 17, 484913: 8, 413245: 10, 498243: 6, 277129: 16, 332588: 17, 32949: 3, 84238: 8, 280592: 17, 407563: 10, 425097: 10, 434661: 10, 89423: 8, 233157: 17, 35588: 3, 485185: 6, 215986: 15, 246477: 15, 116532: 7, 445409: 8, 172470: 13, 372870: 11, 428912: 8, 559353: 4, 516: 1, 267648: 13, 245023: 11, 327181: 12, 262871: 11, 348359: 12, 75499: 5, 89693: 5, 51316: 3, 355245: 11, 412675: 7, 579224: 3, 135051: 8, 316200: 10, 98885: 4, 243906: 9, 131789: 6, 412009: 7, 131221: 5, 392073: 8, 53347: 3, 499351: 3, 152187: 4, 433837: 5, 278373: 5, 380450: 6, 25026: 1, 601337: 1, 330057: 4, 471454: 3, 154606: 3, 579874: 1, 118950: 2, 476378: 1, 40053: 1, 406035: 1}
{462552: 26, 540038: 12, 297097: 38, 573072: 8, 171690: 25, 200795: 27, 126658: 18, 322135: 37, 114643: 15, 496713: 18, 38864: 6, 91728: 11, 25220: 3, 285032: 33, 223857: 25, 486644: 19, 65116: 9, 202505: 23, 371257: 31, 595785: 3, 359912: 31, 444397: 25, 60165: 8, 150743: 18, 114380: 11, 320455: 34, 239350: 24, 368030: 30, 200265: 21, 253312: 25, 320805: 33, 338757: 33, 202869: 21, 510623: 13, 292037: 31, 336190: 32, 371992: 29, 376525: 29, 333959: 31, 499120: 14, 265006: 25, 535443: 10, 279655: 26, 456662: 19, 445091: 21, 590659: 4, 235873: 21, 405640: 22, 313330: 28, 506196: 11, 145049: 16, 534485: 9, 109370: 10, 350117: 24, 94123: 8, 290145: 25, 374040: 22, 390337: 21, 251674: 19, 438103: 19, 287970: 23, 598928: 2, 152050: 14, 552942: 7, 244451: 16, 495883: 9, 286106: 20, 572333: 5, 249921: 16, 448721: 12, 410387: 12, 594612: 2, 499558: 5, 530002: 5, 333784: 18, 484913: 8, 413245: 11, 498243: 6, 277129: 16, 332588: 18, 32949: 3, 84238: 8, 280592: 17, 407563: 11, 425097: 11, 434661: 11, 89423: 8, 233157: 17, 35588: 3, 485185: 6, 215986: 15, 246477: 15, 116532: 7, 445409: 9, 172470: 13, 372870: 12, 428912: 9, 559353: 4, 516: 1, 267648: 13, 245023: 11, 327181: 13, 262871: 11, 348359: 13, 75499: 5, 89693: 5, 51316: 3, 355245: 12, 412675: 8, 579224: 3, 135051: 8, 316200: 11, 98885: 4, 243906: 9, 131789: 6, 412009: 8, 131221: 5, 392073: 9, 53347: 3, 499351: 3, 152187: 4, 433837: 6, 278373: 5, 380450: 7, 25026: 1, 601337: 1, 330057: 5, 471454: 3, 154606: 3, 579874: 1, 118950: 2, 476378: 1, 40053: 1, 406035: 2, 291440: 1, 447498: 1}
{462552: 26, 540038: 12, 297097: 38, 573072: 8, 171690: 25, 200795: 27, 126658: 18, 322135: 38, 114643: 15, 496713: 18, 38864: 6, 91728: 11, 25220: 3, 285032: 33, 223857: 25, 486644: 19, 65116: 9, 202505: 23, 371257: 31, 595785: 3, 359912: 32, 444397: 25, 60165: 8, 150743: 18, 114380: 11, 320455: 35, 239350: 24, 368030: 30, 200265: 21, 253312: 25, 320805: 34, 338757: 34, 202869: 21, 510623: 13, 292037: 31, 336190: 33, 371992: 29, 376525: 29, 333959: 32, 499120: 14, 265006: 25, 535443: 10, 279655: 26, 456662: 19, 445091: 21, 590659: 4, 235873: 21, 405640: 22, 313330: 29, 506196: 11, 145049: 16, 534485: 9, 109370: 10, 350117: 25, 94123: 8, 290145: 25, 374040: 22, 390337: 21, 251674: 19, 438103: 19, 287970: 23, 598928: 2, 152050: 14, 552942: 7, 244451: 16, 495883: 9, 286106: 20, 572333: 5, 249921: 16, 448721: 12, 410387: 12, 594612: 2, 499558: 5, 530002: 5, 333784: 19, 484913: 8, 413245: 11, 498243: 6, 277129: 16, 332588: 19, 32949: 3, 84238: 8, 280592: 17, 407563: 11, 425097: 11, 434661: 11, 89423: 8, 233157: 17, 35588: 3, 485185: 6, 215986: 15, 246477: 15, 116532: 7, 445409: 9, 172470: 13, 372870: 12, 428912: 9, 559353: 4, 516: 1, 267648: 13, 245023: 11, 327181: 14, 262871: 11, 348359: 14, 75499: 5, 89693: 5, 51316: 3, 355245: 13, 412675: 8, 579224: 3, 135051: 8, 316200: 12, 98885: 4, 243906: 9, 131789: 6, 412009: 8, 131221: 5, 392073: 9, 53347: 3, 499351: 3, 152187: 4, 433837: 6, 278373: 5, 380450: 7, 25026: 1, 601337: 1, 330057: 6, 471454: 3, 154606: 3, 579874: 1, 118950: 2, 476378: 1, 40053: 1, 406035: 2, 291440: 1, 447498: 1, 310247: 1, 362303: 1}
{462552: 26, 540038: 12, 297097: 39, 573072: 8, 171690: 25, 200795: 27, 126658: 18, 322135: 39, 114643: 15, 496713: 18, 38864: 6, 91728: 11, 25220: 3, 285032: 34, 223857: 25, 486644: 19, 65116: 9, 202505: 23, 371257: 32, 595785: 3, 359912: 33, 444397: 25, 60165: 8, 150743: 18, 114380: 11, 320455: 36, 239350: 25, 368030: 31, 200265: 21, 253312: 26, 320805: 35, 338757: 35, 202869: 21, 510623: 13, 292037: 32, 336190: 34, 371992: 30, 376525: 30, 333959: 33, 499120: 14, 265006: 26, 535443: 10, 279655: 27, 456662: 19, 445091: 21, 590659: 4, 235873: 22, 405640: 23, 313330: 30, 506196: 11, 145049: 16, 534485: 9, 109370: 10, 350117: 26, 94123: 8, 290145: 26, 374040: 23, 390337: 22, 251674: 20, 438103: 19, 287970: 24, 598928: 2, 152050: 14, 552942: 7, 244451: 17, 495883: 9, 286106: 21, 572333: 5, 249921: 17, 448721: 12, 410387: 13, 594612: 2, 499558: 5, 530002: 5, 333784: 20, 484913: 8, 413245: 12, 498243: 6, 277129: 17, 332588: 20, 32949: 3, 84238: 8, 280592: 18, 407563: 12, 425097: 12, 434661: 12, 89423: 8, 233157: 18, 35588: 3, 485185: 6, 215986: 15, 246477: 16, 116532: 7, 445409: 9, 172470: 13, 372870: 13, 428912: 10, 559353: 4, 516: 1, 267648: 14, 245023: 12, 327181: 15, 262871: 12, 348359: 15, 75499: 5, 89693: 5, 51316: 3, 355245: 14, 412675: 9, 579224: 3, 135051: 8, 316200: 13, 98885: 4, 243906: 10, 131789: 6, 412009: 9, 131221: 5, 392073: 10, 53347: 3, 499351: 3, 152187: 4, 433837: 7, 278373: 6, 380450: 8, 25026: 1, 601337: 1, 330057: 7, 471454: 3, 154606: 3, 579874: 1, 118950: 2, 476378: 1, 40053: 1, 406035: 3, 291440: 2, 447498: 1, 310247: 2, 362303: 2, 227609: 1, 435544: 1}
{462552: 26, 540038: 12, 297097: 40, 573072: 8, 171690: 25, 200795: 27, 126658: 18, 322135: 40, 114643: 15, 496713: 18, 38864: 6, 91728: 11, 25220: 3, 285032: 35, 223857: 26, 486644: 19, 65116: 9, 202505: 23, 371257: 33, 595785: 3, 359912: 34, 444397: 25, 60165: 8, 150743: 18, 114380: 11, 320455: 37, 239350: 26, 368030: 32, 200265: 21, 253312: 27, 320805: 36, 338757: 36, 202869: 21, 510623: 13, 292037: 33, 336190: 35, 371992: 31, 376525: 31, 333959: 34, 499120: 14, 265006: 27, 535443: 10, 279655: 28, 456662: 19, 445091: 21, 590659: 4, 235873: 23, 405640: 24, 313330: 31, 506196: 11, 145049: 16, 534485: 9, 109370: 10, 350117: 27, 94123: 8, 290145: 27, 374040: 24, 390337: 23, 251674: 21, 438103: 19, 287970: 25, 598928: 2, 152050: 14, 552942: 7, 244451: 18, 495883: 9, 286106: 22, 572333: 5, 249921: 18, 448721: 12, 410387: 14, 594612: 2, 499558: 5, 530002: 5, 333784: 21, 484913: 8, 413245: 13, 498243: 6, 277129: 18, 332588: 21, 32949: 3, 84238: 8, 280592: 19, 407563: 13, 425097: 13, 434661: 12, 89423: 8, 233157: 19, 35588: 3, 485185: 6, 215986: 16, 246477: 17, 116532: 7, 445409: 9, 172470: 13, 372870: 14, 428912: 11, 559353: 4, 516: 1, 267648: 15, 245023: 13, 327181: 16, 262871: 13, 348359: 16, 75499: 5, 89693: 5, 51316: 3, 355245: 15, 412675: 10, 579224: 3, 135051: 8, 316200: 14, 98885: 4, 243906: 11, 131789: 6, 412009: 10, 131221: 5, 392073: 11, 53347: 3, 499351: 3, 152187: 4, 433837: 8, 278373: 7, 380450: 9, 25026: 1, 601337: 1, 330057: 8, 471454: 3, 154606: 3, 579874: 1, 118950: 2, 476378: 1, 40053: 1, 406035: 4, 291440: 3, 447498: 1, 310247: 3, 362303: 3, 227609: 2, 435544: 1, 206430: 1, 433872: 1}
{462552: 27, 540038: 12, 297097: 41, 573072: 8, 171690: 26, 200795: 28, 126658: 19, 322135: 41, 114643: 16, 496713: 18, 38864: 7, 91728: 12, 25220: 3, 285032: 36, 223857: 27, 486644: 19, 65116: 10, 202505: 24, 371257: 34, 595785: 3, 359912: 35, 444397: 26, 60165: 9, 150743: 19, 114380: 12, 320455: 38, 239350: 27, 368030: 33, 200265: 22, 253312: 28, 320805: 37, 338757: 37, 202869: 22, 510623: 13, 292037: 34, 336190: 36, 371992: 32, 376525: 32, 333959: 35, 499120: 14, 265006: 28, 535443: 10, 279655: 29, 456662: 20, 445091: 22, 590659: 4, 235873: 24, 405640: 25, 313330: 32, 506196: 11, 145049: 17, 534485: 9, 109370: 11, 350117: 28, 94123: 9, 290145: 28, 374040: 25, 390337: 24, 251674: 22, 438103: 20, 287970: 26, 598928: 2, 152050: 15, 552942: 7, 244451: 19, 495883: 9, 286106: 23, 572333: 5, 249921: 19, 448721: 13, 410387: 15, 594612: 2, 499558: 5, 530002: 5, 333784: 22, 484913: 8, 413245: 14, 498243: 6, 277129: 19, 332588: 22, 32949: 4, 84238: 9, 280592: 20, 407563: 14, 425097: 14, 434661: 13, 89423: 9, 233157: 20, 35588: 4, 485185: 6, 215986: 17, 246477: 18, 116532: 8, 445409: 10, 172470: 14, 372870: 15, 428912: 12, 559353: 4, 516: 1, 267648: 16, 245023: 14, 327181: 17, 262871: 14, 348359: 17, 75499: 6, 89693: 6, 51316: 4, 355245: 16, 412675: 11, 579224: 3, 135051: 9, 316200: 15, 98885: 5, 243906: 12, 131789: 7, 412009: 11, 131221: 6, 392073: 12, 53347: 4, 499351: 3, 152187: 5, 433837: 9, 278373: 8, 380450: 10, 25026: 1, 601337: 1, 330057: 9, 471454: 4, 154606: 4, 579874: 1, 118950: 3, 476378: 2, 40053: 2, 406035: 5, 291440: 4, 447498: 2, 310247: 4, 362303: 4, 227609: 3, 435544: 2, 206430: 2, 433872: 2, 28841: 1, 482558: 1}
{462552: 28, 540038: 13, 297097: 41, 573072: 8, 171690: 26, 200795: 28, 126658: 19, 322135: 41, 114643: 16, 496713: 19, 38864: 7, 91728: 12, 25220: 3, 285032: 36, 223857: 27, 486644: 20, 65116: 10, 202505: 24, 371257: 34, 595785: 3, 359912: 35, 444397: 27, 60165: 9, 150743: 19, 114380: 12, 320455: 38, 239350: 27, 368030: 33, 200265: 22, 253312: 28, 320805: 37, 338757: 37, 202869: 22, 510623: 14, 292037: 34, 336190: 36, 371992: 32, 376525: 32, 333959: 35, 499120: 15, 265006: 28, 535443: 11, 279655: 29, 456662: 21, 445091: 23, 590659: 4, 235873: 24, 405640: 26, 313330: 32, 506196: 12, 145049: 17, 534485: 10, 109370: 11, 350117: 28, 94123: 9, 290145: 28, 374040: 25, 390337: 24, 251674: 22, 438103: 21, 287970: 26, 598928: 2, 152050: 15, 552942: 8, 244451: 19, 495883: 10, 286106: 23, 572333: 5, 249921: 19, 448721: 14, 410387: 16, 594612: 2, 499558: 6, 530002: 6, 333784: 22, 484913: 9, 413245: 15, 498243: 7, 277129: 19, 332588: 22, 32949: 4, 84238: 9, 280592: 20, 407563: 15, 425097: 15, 434661: 14, 89423: 9, 233157: 20, 35588: 4, 485185: 7, 215986: 17, 246477: 18, 116532: 8, 445409: 11, 172470: 14, 372870: 15, 428912: 13, 559353: 5, 516: 1, 267648: 16, 245023: 14, 327181: 17, 262871: 14, 348359: 17, 75499: 6, 89693: 6, 51316: 4, 355245: 16, 412675: 12, 579224: 3, 135051: 9, 316200: 15, 98885: 5, 243906: 12, 131789: 7, 412009: 12, 131221: 6, 392073: 12, 53347: 4, 499351: 4, 152187: 5, 433837: 10, 278373: 8, 380450: 10, 25026: 1, 601337: 1, 330057: 9, 471454: 5, 154606: 4, 579874: 1, 118950: 3, 476378: 3, 40053: 2, 406035: 6, 291440: 4, 447498: 3, 310247: 4, 362303: 4, 227609: 3, 435544: 3, 206430: 2, 433872: 3, 28841: 1, 482558: 2, 399201: 1, 566947: 1}
{462552: 29, 540038: 13, 297097: 42, 573072: 8, 171690: 26, 200795: 29, 126658: 19, 322135: 42, 114643: 16, 496713: 20, 38864: 7, 91728: 12, 25220: 3, 285032: 37, 223857: 28, 486644: 21, 65116: 10, 202505: 25, 371257: 35, 595785: 3, 359912: 36, 444397: 28, 60165: 9, 150743: 19, 114380: 12, 320455: 39, 239350: 28, 368030: 34, 200265: 23, 253312: 29, 320805: 38, 338757: 38, 202869: 23, 510623: 15, 292037: 35, 336190: 37, 371992: 33, 376525: 33, 333959: 36, 499120: 16, 265006: 29, 535443: 11, 279655: 30, 456662: 22, 445091: 24, 590659: 4, 235873: 25, 405640: 27, 313330: 33, 506196: 13, 145049: 17, 534485: 10, 109370: 11, 350117: 29, 94123: 9, 290145: 29, 374040: 26, 390337: 25, 251674: 23, 438103: 22, 287970: 27, 598928: 2, 152050: 15, 552942: 8, 244451: 20, 495883: 11, 286106: 24, 572333: 5, 249921: 20, 448721: 15, 410387: 17, 594612: 2, 499558: 7, 530002: 7, 333784: 23, 484913: 10, 413245: 16, 498243: 8, 277129: 20, 332588: 23, 32949: 4, 84238: 9, 280592: 21, 407563: 16, 425097: 16, 434661: 15, 89423: 9, 233157: 21, 35588: 4, 485185: 8, 215986: 18, 246477: 19, 116532: 8, 445409: 12, 172470: 14, 372870: 16, 428912: 14, 559353: 5, 516: 1, 267648: 17, 245023: 15, 327181: 18, 262871: 15, 348359: 18, 75499: 6, 89693: 6, 51316: 4, 355245: 17, 412675: 13, 579224: 3, 135051: 9, 316200: 16, 98885: 5, 243906: 13, 131789: 7, 412009: 13, 131221: 6, 392073: 13, 53347: 4, 499351: 5, 152187: 5, 433837: 11, 278373: 9, 380450: 11, 25026: 1, 601337: 1, 330057: 10, 471454: 6, 154606: 4, 579874: 1, 118950: 3, 476378: 4, 40053: 2, 406035: 7, 291440: 5, 447498: 4, 310247: 5, 362303: 5, 227609: 4, 435544: 4, 206430: 3, 433872: 4, 28841: 1, 482558: 3, 399201: 2, 566947: 1, 191298: 1, 533407: 1}
{462552: 30, 540038: 13, 297097: 43, 573072: 8, 171690: 26, 200795: 29, 126658: 19, 322135: 43, 114643: 16, 496713: 21, 38864: 7, 91728: 12, 25220: 3, 285032: 38, 223857: 29, 486644: 22, 65116: 10, 202505: 25, 371257: 36, 595785: 3, 359912: 37, 444397: 29, 60165: 9, 150743: 19, 114380: 12, 320455: 40, 239350: 29, 368030: 35, 200265: 23, 253312: 30, 320805: 39, 338757: 39, 202869: 23, 510623: 16, 292037: 36, 336190: 38, 371992: 34, 376525: 34, 333959: 37, 499120: 17, 265006: 30, 535443: 11, 279655: 31, 456662: 23, 445091: 25, 590659: 4, 235873: 26, 405640: 28, 313330: 34, 506196: 14, 145049: 17, 534485: 10, 109370: 11, 350117: 30, 94123: 9, 290145: 30, 374040: 27, 390337: 26, 251674: 24, 438103: 23, 287970: 28, 598928: 2, 152050: 15, 552942: 8, 244451: 21, 495883: 12, 286106: 25, 572333: 5, 249921: 21, 448721: 16, 410387: 18, 594612: 2, 499558: 8, 530002: 7, 333784: 24, 484913: 11, 413245: 17, 498243: 9, 277129: 21, 332588: 24, 32949: 4, 84238: 9, 280592: 22, 407563: 17, 425097: 17, 434661: 16, 89423: 9, 233157: 22, 35588: 4, 485185: 9, 215986: 19, 246477: 20, 116532: 8, 445409: 13, 172470: 14, 372870: 17, 428912: 15, 559353: 5, 516: 1, 267648: 18, 245023: 16, 327181: 19, 262871: 16, 348359: 19, 75499: 6, 89693: 6, 51316: 4, 355245: 18, 412675: 14, 579224: 3, 135051: 9, 316200: 17, 98885: 5, 243906: 14, 131789: 7, 412009: 14, 131221: 6, 392073: 14, 53347: 4, 499351: 6, 152187: 5, 433837: 12, 278373: 10, 380450: 12, 25026: 1, 601337: 1, 330057: 11, 471454: 7, 154606: 4, 579874: 1, 118950: 3, 476378: 5, 40053: 2, 406035: 8, 291440: 6, 447498: 5, 310247: 6, 362303: 6, 227609: 5, 435544: 5, 206430: 3, 433872: 5, 28841: 1, 482558: 4, 399201: 3, 566947: 1, 191298: 1, 533407: 1, 212789: 1, 510744: 1}
{462552: 31, 540038: 13, 297097: 43, 573072: 8, 171690: 26, 200795: 29, 126658: 19, 322135: 43, 114643: 16, 496713: 22, 38864: 7, 91728: 12, 25220: 3, 285032: 38, 223857: 29, 486644: 23, 65116: 10, 202505: 25, 371257: 36, 595785: 3, 359912: 37, 444397: 30, 60165: 9, 150743: 19, 114380: 12, 320455: 40, 239350: 29, 368030: 35, 200265: 23, 253312: 30, 320805: 39, 338757: 39, 202869: 23, 510623: 16, 292037: 36, 336190: 38, 371992: 34, 376525: 34, 333959: 37, 499120: 17, 265006: 30, 535443: 11, 279655: 31, 456662: 24, 445091: 26, 590659: 4, 235873: 26, 405640: 29, 313330: 34, 506196: 14, 145049: 17, 534485: 10, 109370: 11, 350117: 30, 94123: 9, 290145: 30, 374040: 27, 390337: 26, 251674: 24, 438103: 24, 287970: 28, 598928: 2, 152050: 15, 552942: 8, 244451: 21, 495883: 13, 286106: 25, 572333: 5, 249921: 21, 448721: 17, 410387: 19, 594612: 2, 499558: 8, 530002: 7, 333784: 24, 484913: 12, 413245: 18, 498243: 9, 277129: 21, 332588: 24, 32949: 4, 84238: 9, 280592: 22, 407563: 18, 425097: 18, 434661: 17, 89423: 9, 233157: 22, 35588: 4, 485185: 10, 215986: 19, 246477: 20, 116532: 8, 445409: 14, 172470: 14, 372870: 17, 428912: 16, 559353: 5, 516: 1, 267648: 18, 245023: 16, 327181: 19, 262871: 16, 348359: 19, 75499: 6, 89693: 6, 51316: 4, 355245: 18, 412675: 15, 579224: 3, 135051: 9, 316200: 17, 98885: 5, 243906: 14, 131789: 7, 412009: 15, 131221: 6, 392073: 14, 53347: 4, 499351: 6, 152187: 5, 433837: 13, 278373: 10, 380450: 12, 25026: 1, 601337: 1, 330057: 11, 471454: 8, 154606: 4, 579874: 1, 118950: 3, 476378: 6, 40053: 2, 406035: 9, 291440: 6, 447498: 6, 310247: 6, 362303: 6, 227609: 5, 435544: 6, 206430: 3, 433872: 6, 28841: 1, 482558: 5, 399201: 4, 566947: 1, 191298: 1, 533407: 1, 212789: 1, 510744: 1, 392647: 1, 496940: 1}
{462552: 31, 540038: 13, 297097: 44, 573072: 8, 171690: 27, 200795: 30, 126658: 19, 322135: 44, 114643: 16, 496713: 22, 38864: 7, 91728: 12, 25220: 3, 285032: 39, 223857: 30, 486644: 23, 65116: 10, 202505: 26, 371257: 36, 595785: 3, 359912: 38, 444397: 30, 60165: 9, 150743: 19, 114380: 12, 320455: 41, 239350: 30, 368030: 35, 200265: 24, 253312: 31, 320805: 40, 338757: 40, 202869: 24, 510623: 16, 292037: 37, 336190: 39, 371992: 34, 376525: 34, 333959: 38, 499120: 17, 265006: 31, 535443: 11, 279655: 32, 456662: 24, 445091: 26, 590659: 4, 235873: 27, 405640: 29, 313330: 35, 506196: 14, 145049: 17, 534485: 10, 109370: 11, 350117: 31, 94123: 9, 290145: 31, 374040: 27, 390337: 26, 251674: 25, 438103: 24, 287970: 29, 598928: 2, 152050: 15, 552942: 8, 244451: 22, 495883: 13, 286106: 26, 572333: 5, 249921: 22, 448721: 17, 410387: 19, 594612: 2, 499558: 8, 530002: 7, 333784: 25, 484913: 12, 413245: 18, 498243: 9, 277129: 22, 332588: 25, 32949: 4, 84238: 9, 280592: 23, 407563: 18, 425097: 18, 434661: 17, 89423: 9, 233157: 23, 35588: 4, 485185: 10, 215986: 20, 246477: 21, 116532: 8, 445409: 14, 172470: 15, 372870: 17, 428912: 16, 559353: 5, 516: 1, 267648: 19, 245023: 17, 327181: 20, 262871: 17, 348359: 20, 75499: 6, 89693: 6, 51316: 4, 355245: 19, 412675: 15, 579224: 3, 135051: 9, 316200: 18, 98885: 5, 243906: 15, 131789: 7, 412009: 15, 131221: 6, 392073: 14, 53347: 4, 499351: 6, 152187: 5, 433837: 13, 278373: 11, 380450: 12, 25026: 1, 601337: 1, 330057: 12, 471454: 8, 154606: 5, 579874: 1, 118950: 3, 476378: 6, 40053: 2, 406035: 9, 291440: 7, 447498: 6, 310247: 7, 362303: 7, 227609: 6, 435544: 6, 206430: 4, 433872: 6, 28841: 1, 482558: 5, 399201: 4, 566947: 1, 191298: 2, 533407: 1, 212789: 2, 510744: 1, 392647: 1, 496940: 1, 153408: 1, 365243: 1}
{462552: 31, 540038: 13, 297097: 44, 573072: 8, 171690: 28, 200795: 30, 126658: 19, 322135: 44, 114643: 16, 496713: 22, 38864: 7, 91728: 12, 25220: 3, 285032: 39, 223857: 30, 486644: 23, 65116: 10, 202505: 26, 371257: 36, 595785: 3, 359912: 38, 444397: 30, 60165: 9, 150743: 19, 114380: 12, 320455: 41, 239350: 30, 368030: 35, 200265: 24, 253312: 31, 320805: 40, 338757: 40, 202869: 24, 510623: 16, 292037: 37, 336190: 39, 371992: 34, 376525: 34, 333959: 38, 499120: 17, 265006: 31, 535443: 11, 279655: 32, 456662: 24, 445091: 26, 590659: 4, 235873: 27, 405640: 29, 313330: 35, 506196: 14, 145049: 17, 534485: 10, 109370: 11, 350117: 31, 94123: 9, 290145: 31, 374040: 27, 390337: 26, 251674: 25, 438103: 24, 287970: 29, 598928: 2, 152050: 15, 552942: 8, 244451: 22, 495883: 13, 286106: 26, 572333: 5, 249921: 22, 448721: 17, 410387: 19, 594612: 2, 499558: 8, 530002: 7, 333784: 25, 484913: 12, 413245: 18, 498243: 9, 277129: 22, 332588: 25, 32949: 4, 84238: 9, 280592: 23, 407563: 18, 425097: 18, 434661: 17, 89423: 9, 233157: 23, 35588: 4, 485185: 10, 215986: 20, 246477: 21, 116532: 8, 445409: 14, 172470: 16, 372870: 17, 428912: 16, 559353: 5, 516: 1, 267648: 19, 245023: 17, 327181: 20, 262871: 17, 348359: 20, 75499: 6, 89693: 6, 51316: 4, 355245: 19, 412675: 15, 579224: 3, 135051: 9, 316200: 18, 98885: 5, 243906: 15, 131789: 7, 412009: 15, 131221: 6, 392073: 14, 53347: 4, 499351: 6, 152187: 5, 433837: 13, 278373: 11, 380450: 12, 25026: 1, 601337: 1, 330057: 12, 471454: 8, 154606: 5, 579874: 1, 118950: 3, 476378: 6, 40053: 2, 406035: 9, 291440: 7, 447498: 6, 310247: 7, 362303: 7, 227609: 6, 435544: 6, 206430: 4, 433872: 6, 28841: 1, 482558: 5, 399201: 4, 566947: 1, 191298: 2, 533407: 1, 212789: 2, 510744: 1, 392647: 1, 496940: 1, 153408: 1, 365243: 1, 155088: 1, 185046: 1}
{462552: 31, 540038: 13, 297097: 45, 573072: 8, 171690: 28, 200795: 30, 126658: 19, 322135: 45, 114643: 16, 496713: 22, 38864: 7, 91728: 12, 25220: 3, 285032: 40, 223857: 30, 486644: 23, 65116: 10, 202505: 26, 371257: 36, 595785: 3, 359912: 38, 444397: 30, 60165: 9, 150743: 19, 114380: 12, 320455: 42, 239350: 30, 368030: 35, 200265: 24, 253312: 32, 320805: 41, 338757: 41, 202869: 24, 510623: 16, 292037: 38, 336190: 40, 371992: 34, 376525: 34, 333959: 39, 499120: 17, 265006: 32, 535443: 11, 279655: 33, 456662: 24, 445091: 26, 590659: 4, 235873: 27, 405640: 29, 313330: 36, 506196: 14, 145049: 17, 534485: 10, 109370: 11, 350117: 32, 94123: 9, 290145: 32, 374040: 27, 390337: 26, 251674: 26, 438103: 24, 287970: 30, 598928: 2, 152050: 15, 552942: 8, 244451: 23, 495883: 13, 286106: 27, 572333: 5, 249921: 23, 448721: 17, 410387: 19, 594612: 2, 499558: 8, 530002: 7, 333784: 26, 484913: 12, 413245: 18, 498243: 9, 277129: 23, 332588: 26, 32949: 4, 84238: 9, 280592: 24, 407563: 18, 425097: 18, 434661: 17, 89423: 9, 233157: 23, 35588: 4, 485185: 10, 215986: 20, 246477: 22, 116532: 8, 445409: 14, 172470: 16, 372870: 17, 428912: 16, 559353: 5, 516: 1, 267648: 20, 245023: 18, 327181: 21, 262871: 18, 348359: 21, 75499: 6, 89693: 6, 51316: 4, 355245: 19, 412675: 15, 579224: 3, 135051: 9, 316200: 19, 98885: 5, 243906: 16, 131789: 7, 412009: 15, 131221: 6, 392073: 14, 53347: 4, 499351: 6, 152187: 5, 433837: 13, 278373: 12, 380450: 12, 25026: 1, 601337: 1, 330057: 13, 471454: 8, 154606: 5, 579874: 1, 118950: 3, 476378: 6, 40053: 2, 406035: 9, 291440: 8, 447498: 6, 310247: 8, 362303: 7, 227609: 6, 435544: 6, 206430: 4, 433872: 6, 28841: 1, 482558: 5, 399201: 4, 566947: 1, 191298: 2, 533407: 1, 212789: 2, 510744: 1, 392647: 1, 496940: 1, 153408: 1, 365243: 1, 155088: 1, 185046: 1, 243432: 1, 355171: 1}
{462552: 31, 540038: 13, 297097: 46, 573072: 8, 171690: 28, 200795: 30, 126658: 19, 322135: 46, 114643: 16, 496713: 22, 38864: 7, 91728: 12, 25220: 3, 285032: 41, 223857: 30, 486644: 23, 65116: 10, 202505: 26, 371257: 37, 595785: 3, 359912: 39, 444397: 31, 60165: 9, 150743: 19, 114380: 12, 320455: 43, 239350: 30, 368030: 36, 200265: 24, 253312: 32, 320805: 42, 338757: 42, 202869: 24, 510623: 16, 292037: 39, 336190: 41, 371992: 35, 376525: 35, 333959: 40, 499120: 17, 265006: 32, 535443: 11, 279655: 34, 456662: 24, 445091: 27, 590659: 4, 235873: 27, 405640: 30, 313330: 37, 506196: 14, 145049: 17, 534485: 10, 109370: 11, 350117: 33, 94123: 9, 290145: 33, 374040: 28, 390337: 27, 251674: 26, 438103: 25, 287970: 31, 598928: 2, 152050: 15, 552942: 8, 244451: 23, 495883: 13, 286106: 28, 572333: 5, 249921: 23, 448721: 18, 410387: 20, 594612: 2, 499558: 8, 530002: 7, 333784: 27, 484913: 12, 413245: 19, 498243: 9, 277129: 24, 332588: 27, 32949: 4, 84238: 9, 280592: 25, 407563: 19, 425097: 19, 434661: 18, 89423: 9, 233157: 23, 35588: 4, 485185: 10, 215986: 20, 246477: 22, 116532: 8, 445409: 15, 172470: 16, 372870: 18, 428912: 17, 559353: 5, 516: 1, 267648: 20, 245023: 18, 327181: 22, 262871: 18, 348359: 22, 75499: 6, 89693: 6, 51316: 4, 355245: 20, 412675: 16, 579224: 3, 135051: 9, 316200: 20, 98885: 5, 243906: 16, 131789: 7, 412009: 16, 131221: 6, 392073: 15, 53347: 4, 499351: 6, 152187: 5, 433837: 14, 278373: 13, 380450: 13, 25026: 1, 601337: 1, 330057: 14, 471454: 8, 154606: 5, 579874: 1, 118950: 3, 476378: 6, 40053: 2, 406035: 10, 291440: 9, 447498: 7, 310247: 9, 362303: 8, 227609: 6, 435544: 7, 206430: 4, 433872: 7, 28841: 1, 482558: 5, 399201: 5, 566947: 1, 191298: 2, 533407: 1, 212789: 2, 510744: 1, 392647: 2, 496940: 1, 153408: 1, 365243: 2, 155088: 1, 185046: 1, 243432: 1, 355171: 2, 274149: 1, 450833: 1}
{462552: 31, 540038: 13, 297097: 47, 573072: 8, 171690: 29, 200795: 31, 126658: 20, 322135: 47, 114643: 17, 496713: 22, 38864: 7, 91728: 13, 25220: 3, 285032: 42, 223857: 31, 486644: 23, 65116: 10, 202505: 27, 371257: 38, 595785: 3, 359912: 40, 444397: 32, 60165: 9, 150743: 20, 114380: 13, 320455: 44, 239350: 31, 368030: 37, 200265: 25, 253312: 33, 320805: 43, 338757: 43, 202869: 25, 510623: 16, 292037: 40, 336190: 42, 371992: 36, 376525: 36, 333959: 41, 499120: 17, 265006: 33, 535443: 11, 279655: 35, 456662: 24, 445091: 28, 590659: 4, 235873: 28, 405640: 31, 313330: 38, 506196: 14, 145049: 18, 534485: 10, 109370: 12, 350117: 34, 94123: 10, 290145: 34, 374040: 29, 390337: 28, 251674: 27, 438103: 26, 287970: 32, 598928: 2, 152050: 16, 552942: 8, 244451: 24, 495883: 13, 286106: 29, 572333: 5, 249921: 24, 448721: 19, 410387: 21, 594612: 2, 499558: 8, 530002: 7, 333784: 28, 484913: 12, 413245: 20, 498243: 9, 277129: 25, 332588: 28, 32949: 4, 84238: 10, 280592: 26, 407563: 20, 425097: 20, 434661: 19, 89423: 10, 233157: 24, 35588: 4, 485185: 10, 215986: 21, 246477: 23, 116532: 9, 445409: 16, 172470: 17, 372870: 19, 428912: 18, 559353: 5, 516: 1, 267648: 21, 245023: 19, 327181: 23, 262871: 19, 348359: 23, 75499: 7, 89693: 7, 51316: 4, 355245: 21, 412675: 17, 579224: 3, 135051: 10, 316200: 21, 98885: 6, 243906: 17, 131789: 8, 412009: 17, 131221: 7, 392073: 16, 53347: 4, 499351: 6, 152187: 6, 433837: 15, 278373: 14, 380450: 14, 25026: 1, 601337: 1, 330057: 15, 471454: 8, 154606: 6, 579874: 1, 118950: 4, 476378: 6, 40053: 2, 406035: 11, 291440: 10, 447498: 8, 310247: 10, 362303: 9, 227609: 7, 435544: 8, 206430: 5, 433872: 8, 28841: 1, 482558: 5, 399201: 6, 566947: 1, 191298: 3, 533407: 1, 212789: 3, 510744: 1, 392647: 3, 496940: 1, 153408: 2, 365243: 3, 155088: 2, 185046: 2, 243432: 2, 355171: 3, 274149: 2, 450833: 2, 70787: 1, 451520: 1}
{462552: 31, 540038: 13, 297097: 47, 573072: 8, 171690: 30, 200795: 32, 126658: 21, 322135: 47, 114643: 18, 496713: 22, 38864: 7, 91728: 14, 25220: 3, 285032: 42, 223857: 32, 486644: 23, 65116: 10, 202505: 28, 371257: 38, 595785: 3, 359912: 40, 444397: 32, 60165: 9, 150743: 21, 114380: 14, 320455: 44, 239350: 31, 368030: 37, 200265: 26, 253312: 33, 320805: 43, 338757: 43, 202869: 26, 510623: 16, 292037: 40, 336190: 42, 371992: 36, 376525: 36, 333959: 41, 499120: 17, 265006: 33, 535443: 11, 279655: 35, 456662: 24, 445091: 28, 590659: 4, 235873: 28, 405640: 31, 313330: 38, 506196: 14, 145049: 19, 534485: 10, 109370: 13, 350117: 34, 94123: 11, 290145: 34, 374040: 29, 390337: 28, 251674: 27, 438103: 26, 287970: 32, 598928: 2, 152050: 17, 552942: 8, 244451: 24, 495883: 13, 286106: 29, 572333: 5, 249921: 24, 448721: 19, 410387: 21, 594612: 2, 499558: 8, 530002: 7, 333784: 28, 484913: 12, 413245: 20, 498243: 9, 277129: 25, 332588: 28, 32949: 4, 84238: 11, 280592: 26, 407563: 20, 425097: 20, 434661: 19, 89423: 11, 233157: 25, 35588: 4, 485185: 10, 215986: 22, 246477: 23, 116532: 10, 445409: 16, 172470: 18, 372870: 19, 428912: 18, 559353: 5, 516: 1, 267648: 21, 245023: 19, 327181: 23, 262871: 19, 348359: 23, 75499: 7, 89693: 8, 51316: 4, 355245: 21, 412675: 17, 579224: 3, 135051: 11, 316200: 21, 98885: 7, 243906: 17, 131789: 9, 412009: 17, 131221: 8, 392073: 16, 53347: 4, 499351: 6, 152187: 7, 433837: 15, 278373: 14, 380450: 14, 25026: 1, 601337: 1, 330057: 15, 471454: 8, 154606: 7, 579874: 1, 118950: 5, 476378: 6, 40053: 2, 406035: 11, 291440: 10, 447498: 8, 310247: 10, 362303: 9, 227609: 8, 435544: 8, 206430: 6, 433872: 8, 28841: 1, 482558: 5, 399201: 6, 566947: 1, 191298: 4, 533407: 1, 212789: 4, 510744: 1, 392647: 3, 496940: 1, 153408: 3, 365243: 3, 155088: 3, 185046: 3, 243432: 2, 355171: 3, 274149: 2, 450833: 2, 70787: 1, 451520: 1, 78873: 1, 234811: 1}
{462552: 31, 540038: 13, 297097: 47, 573072: 8, 171690: 30, 200795: 32, 126658: 21, 322135: 47, 114643: 18, 496713: 22, 38864: 7, 91728: 14, 25220: 3, 285032: 42, 223857: 32, 486644: 23, 65116: 10, 202505: 28, 371257: 38, 595785: 3, 359912: 40, 444397: 32, 60165: 9, 150743: 21, 114380: 14, 320455: 44, 239350: 31, 368030: 37, 200265: 26, 253312: 33, 320805: 43, 338757: 43, 202869: 26, 510623: 16, 292037: 40, 336190: 42, 371992: 36, 376525: 36, 333959: 41, 499120: 17, 265006: 33, 535443: 11, 279655: 35, 456662: 24, 445091: 28, 590659: 4, 235873: 28, 405640: 31, 313330: 38, 506196: 14, 145049: 19, 534485: 10, 109370: 13, 350117: 34, 94123: 11, 290145: 34, 374040: 29, 390337: 28, 251674: 27, 438103: 26, 287970: 32, 598928: 2, 152050: 17, 552942: 8, 244451: 24, 495883: 13, 286106: 29, 572333: 5, 249921: 24, 448721: 19, 410387: 21, 594612: 2, 499558: 8, 530002: 7, 333784: 28, 484913: 12, 413245: 20, 498243: 9, 277129: 25, 332588: 28, 32949: 4, 84238: 11, 280592: 26, 407563: 20, 425097: 20, 434661: 20, 89423: 11, 233157: 25, 35588: 4, 485185: 10, 215986: 22, 246477: 23, 116532: 10, 445409: 16, 172470: 18, 372870: 19, 428912: 18, 559353: 5, 516: 1, 267648: 21, 245023: 19, 327181: 23, 262871: 19, 348359: 23, 75499: 7, 89693: 8, 51316: 4, 355245: 21, 412675: 17, 579224: 3, 135051: 11, 316200: 21, 98885: 7, 243906: 17, 131789: 9, 412009: 17, 131221: 8, 392073: 16, 53347: 4, 499351: 6, 152187: 7, 433837: 16, 278373: 14, 380450: 14, 25026: 1, 601337: 1, 330057: 15, 471454: 8, 154606: 7, 579874: 1, 118950: 5, 476378: 6, 40053: 2, 406035: 11, 291440: 10, 447498: 8, 310247: 10, 362303: 9, 227609: 8, 435544: 9, 206430: 6, 433872: 9, 28841: 1, 482558: 5, 399201: 6, 566947: 1, 191298: 4, 533407: 1, 212789: 4, 510744: 1, 392647: 3, 496940: 1, 153408: 3, 365243: 3, 155088: 3, 185046: 3, 243432: 2, 355171: 3, 274149: 2, 450833: 2, 70787: 1, 451520: 1, 78873: 1, 234811: 1, 429709: 1, 437947: 1}
{462552: 32, 540038: 13, 297097: 48, 573072: 8, 171690: 30, 200795: 32, 126658: 21, 322135: 48, 114643: 18, 496713: 23, 38864: 7, 91728: 14, 25220: 3, 285032: 43, 223857: 32, 486644: 24, 65116: 10, 202505: 28, 371257: 39, 595785: 3, 359912: 41, 444397: 33, 60165: 9, 150743: 21, 114380: 14, 320455: 45, 239350: 31, 368030: 38, 200265: 26, 253312: 33, 320805: 44, 338757: 44, 202869: 26, 510623: 17, 292037: 41, 336190: 43, 371992: 37, 376525: 37, 333959: 42, 499120: 18, 265006: 33, 535443: 11, 279655: 35, 456662: 25, 445091: 29, 590659: 4, 235873: 28, 405640: 32, 313330: 39, 506196: 15, 145049: 19, 534485: 10, 109370: 13, 350117: 35, 94123: 11, 290145: 35, 374040: 30, 390337: 29, 251674: 27, 438103: 27, 287970: 33, 598928: 2, 152050: 17, 552942: 8, 244451: 24, 495883: 14, 286106: 30, 572333: 5, 249921: 24, 448721: 20, 410387: 22, 594612: 2, 499558: 9, 530002: 8, 333784: 29, 484913: 13, 413245: 21, 498243: 10, 277129: 25, 332588: 29, 32949: 4, 84238: 11, 280592: 26, 407563: 21, 425097: 21, 434661: 21, 89423: 11, 233157: 25, 35588: 4, 485185: 11, 215986: 22, 246477: 23, 116532: 10, 445409: 17, 172470: 18, 372870: 20, 428912: 19, 559353: 5, 516: 1, 267648: 21, 245023: 19, 327181: 24, 262871: 19, 348359: 24, 75499: 7, 89693: 8, 51316: 4, 355245: 22, 412675: 18, 579224: 3, 135051: 11, 316200: 22, 98885: 7, 243906: 17, 131789: 9, 412009: 18, 131221: 8, 392073: 17, 53347: 4, 499351: 7, 152187: 7, 433837: 17, 278373: 14, 380450: 15, 25026: 1, 601337: 1, 330057: 16, 471454: 9, 154606: 7, 579874: 1, 118950: 5, 476378: 7, 40053: 2, 406035: 12, 291440: 11, 447498: 9, 310247: 11, 362303: 10, 227609: 8, 435544: 10, 206430: 6, 433872: 10, 28841: 1, 482558: 6, 399201: 7, 566947: 1, 191298: 4, 533407: 1, 212789: 4, 510744: 2, 392647: 4, 496940: 2, 153408: 3, 365243: 4, 155088: 3, 185046: 3, 243432: 2, 355171: 4, 274149: 2, 450833: 3, 70787: 1, 451520: 2, 78873: 1, 234811: 1, 429709: 2, 437947: 2, 284074: 1, 532240: 1}
{462552: 32, 540038: 13, 297097: 48, 573072: 8, 171690: 31, 200795: 33, 126658: 22, 322135: 48, 114643: 18, 496713: 23, 38864: 7, 91728: 14, 25220: 3, 285032: 43, 223857: 33, 486644: 24, 65116: 10, 202505: 29, 371257: 39, 595785: 3, 359912: 41, 444397: 33, 60165: 9, 150743: 22, 114380: 14, 320455: 45, 239350: 32, 368030: 38, 200265: 27, 253312: 33, 320805: 44, 338757: 44, 202869: 27, 510623: 17, 292037: 41, 336190: 43, 371992: 37, 376525: 37, 333959: 42, 499120: 18, 265006: 33, 535443: 11, 279655: 35, 456662: 25, 445091: 29, 590659: 4, 235873: 29, 405640: 32, 313330: 39, 506196: 15, 145049: 20, 534485: 10, 109370: 13, 350117: 35, 94123: 11, 290145: 35, 374040: 30, 390337: 29, 251674: 27, 438103: 27, 287970: 33, 598928: 2, 152050: 18, 552942: 8, 244451: 25, 495883: 14, 286106: 30, 572333: 5, 249921: 24, 448721: 20, 410387: 22, 594612: 2, 499558: 9, 530002: 8, 333784: 29, 484913: 13, 413245: 21, 498243: 10, 277129: 25, 332588: 29, 32949: 4, 84238: 11, 280592: 26, 407563: 21, 425097: 21, 434661: 21, 89423: 11, 233157: 26, 35588: 4, 485185: 11, 215986: 23, 246477: 23, 116532: 10, 445409: 17, 172470: 19, 372870: 20, 428912: 19, 559353: 5, 516: 1, 267648: 21, 245023: 20, 327181: 24, 262871: 19, 348359: 24, 75499: 7, 89693: 8, 51316: 4, 355245: 22, 412675: 18, 579224: 3, 135051: 12, 316200: 22, 98885: 7, 243906: 18, 131789: 10, 412009: 18, 131221: 9, 392073: 17, 53347: 4, 499351: 7, 152187: 8, 433837: 17, 278373: 14, 380450: 15, 25026: 1, 601337: 1, 330057: 16, 471454: 9, 154606: 8, 579874: 1, 118950: 5, 476378: 7, 40053: 2, 406035: 12, 291440: 11, 447498: 9, 310247: 11, 362303: 10, 227609: 9, 435544: 10, 206430: 7, 433872: 10, 28841: 1, 482558: 6, 399201: 7, 566947: 1, 191298: 5, 533407: 1, 212789: 5, 510744: 2, 392647: 4, 496940: 2, 153408: 4, 365243: 4, 155088: 4, 185046: 4, 243432: 3, 355171: 4, 274149: 2, 450833: 3, 70787: 1, 451520: 2, 78873: 1, 234811: 2, 429709: 2, 437947: 2, 284074: 1, 532240: 1, 123704: 1, 245631: 1}
{462552: 33, 540038: 14, 297097: 48, 573072: 9, 171690: 31, 200795: 33, 126658: 22, 322135: 48, 114643: 18, 496713: 24, 38864: 7, 91728: 14, 25220: 3, 285032: 43, 223857: 33, 486644: 25, 65116: 10, 202505: 29, 371257: 39, 595785: 4, 359912: 41, 444397: 34, 60165: 9, 150743: 22, 114380: 14, 320455: 45, 239350: 32, 368030: 38, 200265: 27, 253312: 33, 320805: 44, 338757: 44, 202869: 27, 510623: 18, 292037: 41, 336190: 43, 371992: 37, 376525: 37, 333959: 42, 499120: 19, 265006: 33, 535443: 12, 279655: 35, 456662: 26, 445091: 30, 590659: 5, 235873: 29, 405640: 32, 313330: 39, 506196: 16, 145049: 20, 534485: 11, 109370: 13, 350117: 35, 94123: 11, 290145: 35, 374040: 30, 390337: 29, 251674: 27, 438103: 28, 287970: 33, 598928: 3, 152050: 18, 552942: 9, 244451: 25, 495883: 15, 286106: 30, 572333: 6, 249921: 24, 448721: 21, 410387: 22, 594612: 3, 499558: 10, 530002: 9, 333784: 29, 484913: 14, 413245: 21, 498243: 11, 277129: 25, 332588: 29, 32949: 4, 84238: 11, 280592: 26, 407563: 21, 425097: 21, 434661: 22, 89423: 11, 233157: 26, 35588: 4, 485185: 12, 215986: 23, 246477: 23, 116532: 10, 445409: 18, 172470: 19, 372870: 20, 428912: 19, 559353: 6, 516: 1, 267648: 21, 245023: 20, 327181: 24, 262871: 19, 348359: 24, 75499: 7, 89693: 8, 51316: 4, 355245: 22, 412675: 18, 579224: 4, 135051: 12, 316200: 22, 98885: 7, 243906: 18, 131789: 10, 412009: 18, 131221: 9, 392073: 17, 53347: 4, 499351: 8, 152187: 8, 433837: 18, 278373: 14, 380450: 15, 25026: 1, 601337: 1, 330057: 16, 471454: 10, 154606: 8, 579874: 2, 118950: 5, 476378: 8, 40053: 2, 406035: 12, 291440: 11, 447498: 10, 310247: 11, 362303: 10, 227609: 9, 435544: 11, 206430: 7, 433872: 11, 28841: 1, 482558: 7, 399201: 7, 566947: 2, 191298: 5, 533407: 2, 212789: 5, 510744: 3, 392647: 4, 496940: 3, 153408: 4, 365243: 4, 155088: 4, 185046: 4, 243432: 3, 355171: 4, 274149: 2, 450833: 4, 70787: 1, 451520: 3, 78873: 1, 234811: 2, 429709: 3, 437947: 3, 284074: 1, 532240: 2, 123704: 1, 245631: 1, 429464: 1, 599477: 1}
{462552: 34, 540038: 15, 297097: 49, 573072: 10, 171690: 31, 200795: 33, 126658: 22, 322135: 49, 114643: 18, 496713: 25, 38864: 7, 91728: 14, 25220: 3, 285032: 43, 223857: 33, 486644: 26, 65116: 10, 202505: 29, 371257: 40, 595785: 5, 359912: 42, 444397: 35, 60165: 9, 150743: 22, 114380: 14, 320455: 46, 239350: 32, 368030: 39, 200265: 27, 253312: 33, 320805: 45, 338757: 45, 202869: 27, 510623: 19, 292037: 41, 336190: 44, 371992: 38, 376525: 38, 333959: 43, 499120: 20, 265006: 33, 535443: 13, 279655: 35, 456662: 27, 445091: 31, 590659: 6, 235873: 29, 405640: 33, 313330: 40, 506196: 17, 145049: 20, 534485: 12, 109370: 13, 350117: 36, 94123: 11, 290145: 35, 374040: 31, 390337: 30, 251674: 27, 438103: 29, 287970: 33, 598928: 3, 152050: 18, 552942: 10, 244451: 25, 495883: 16, 286106: 30, 572333: 7, 249921: 24, 448721: 22, 410387: 23, 594612: 4, 499558: 11, 530002: 10, 333784: 30, 484913: 15, 413245: 22, 498243: 12, 277129: 25, 332588: 30, 32949: 4, 84238: 11, 280592: 26, 407563: 22, 425097: 22, 434661: 23, 89423: 11, 233157: 26, 35588: 4, 485185: 13, 215986: 23, 246477: 23, 116532: 10, 445409: 19, 172470: 19, 372870: 21, 428912: 20, 559353: 7, 516: 1, 267648: 21, 245023: 20, 327181: 25, 262871: 19, 348359: 25, 75499: 7, 89693: 8, 51316: 4, 355245: 23, 412675: 19, 579224: 5, 135051: 12, 316200: 23, 98885: 7, 243906: 18, 131789: 10, 412009: 19, 131221: 9, 392073: 18, 53347: 4, 499351: 9, 152187: 8, 433837: 19, 278373: 14, 380450: 16, 25026: 1, 601337: 1, 330057: 17, 471454: 11, 154606: 8, 579874: 3, 118950: 5, 476378: 9, 40053: 2, 406035: 13, 291440: 11, 447498: 11, 310247: 12, 362303: 11, 227609: 9, 435544: 12, 206430: 7, 433872: 12, 28841: 1, 482558: 8, 399201: 8, 566947: 3, 191298: 5, 533407: 3, 212789: 5, 510744: 4, 392647: 5, 496940: 4, 153408: 4, 365243: 5, 155088: 4, 185046: 4, 243432: 3, 355171: 5, 274149: 2, 450833: 5, 70787: 1, 451520: 4, 78873: 1, 234811: 2, 429709: 4, 437947: 4, 284074: 1, 532240: 3, 123704: 1, 245631: 1, 429464: 2, 599477: 1, 296594: 1, 598417: 1}
{462552: 34, 540038: 15, 297097: 49, 573072: 10, 171690: 32, 200795: 34, 126658: 23, 322135: 49, 114643: 19, 496713: 25, 38864: 7, 91728: 15, 25220: 3, 285032: 43, 223857: 33, 486644: 26, 65116: 11, 202505: 30, 371257: 40, 595785: 5, 359912: 42, 444397: 35, 60165: 10, 150743: 23, 114380: 15, 320455: 46, 239350: 32, 368030: 39, 200265: 28, 253312: 33, 320805: 45, 338757: 45, 202869: 28, 510623: 19, 292037: 41, 336190: 44, 371992: 38, 376525: 38, 333959: 43, 499120: 20, 265006: 33, 535443: 13, 279655: 35, 456662: 27, 445091: 31, 590659: 6, 235873: 29, 405640: 33, 313330: 40, 506196: 17, 145049: 21, 534485: 12, 109370: 14, 350117: 36, 94123: 12, 290145: 35, 374040: 31, 390337: 30, 251674: 27, 438103: 29, 287970: 33, 598928: 3, 152050: 19, 552942: 10, 244451: 25, 495883: 16, 286106: 30, 572333: 7, 249921: 24, 448721: 22, 410387: 23, 594612: 4, 499558: 11, 530002: 10, 333784: 30, 484913: 15, 413245: 22, 498243: 12, 277129: 25, 332588: 30, 32949: 4, 84238: 12, 280592: 26, 407563: 22, 425097: 22, 434661: 23, 89423: 12, 233157: 26, 35588: 4, 485185: 13, 215986: 24, 246477: 23, 116532: 11, 445409: 19, 172470: 20, 372870: 21, 428912: 20, 559353: 7, 516: 1, 267648: 21, 245023: 20, 327181: 25, 262871: 19, 348359: 25, 75499: 8, 89693: 9, 51316: 4, 355245: 23, 412675: 19, 579224: 5, 135051: 13, 316200: 23, 98885: 8, 243906: 18, 131789: 11, 412009: 19, 131221: 10, 392073: 18, 53347: 4, 499351: 9, 152187: 9, 433837: 19, 278373: 14, 380450: 16, 25026: 1, 601337: 1, 330057: 17, 471454: 11, 154606: 9, 579874: 3, 118950: 6, 476378: 9, 40053: 2, 406035: 13, 291440: 11, 447498: 11, 310247: 12, 362303: 11, 227609: 9, 435544: 12, 206430: 8, 433872: 12, 28841: 1, 482558: 8, 399201: 8, 566947: 3, 191298: 6, 533407: 3, 212789: 6, 510744: 4, 392647: 5, 496940: 4, 153408: 5, 365243: 5, 155088: 5, 185046: 5, 243432: 3, 355171: 5, 274149: 2, 450833: 5, 70787: 2, 451520: 4, 78873: 2, 234811: 2, 429709: 4, 437947: 4, 284074: 1, 532240: 3, 123704: 2, 245631: 1, 429464: 2, 599477: 1, 296594: 1, 598417: 1, 57672: 1, 220844: 1}
{462552: 34, 540038: 15, 297097: 49, 573072: 10, 171690: 33, 200795: 35, 126658: 24, 322135: 49, 114643: 20, 496713: 25, 38864: 8, 91728: 16, 25220: 4, 285032: 43, 223857: 34, 486644: 26, 65116: 12, 202505: 31, 371257: 40, 595785: 5, 359912: 42, 444397: 35, 60165: 11, 150743: 24, 114380: 16, 320455: 46, 239350: 33, 368030: 39, 200265: 29, 253312: 34, 320805: 45, 338757: 45, 202869: 29, 510623: 19, 292037: 41, 336190: 44, 371992: 38, 376525: 38, 333959: 43, 499120: 20, 265006: 34, 535443: 13, 279655: 35, 456662: 27, 445091: 31, 590659: 6, 235873: 30, 405640: 33, 313330: 40, 506196: 17, 145049: 22, 534485: 12, 109370: 15, 350117: 36, 94123: 13, 290145: 35, 374040: 31, 390337: 30, 251674: 28, 438103: 29, 287970: 33, 598928: 3, 152050: 20, 552942: 10, 244451: 26, 495883: 16, 286106: 30, 572333: 7, 249921: 25, 448721: 22, 410387: 23, 594612: 4, 499558: 11, 530002: 10, 333784: 30, 484913: 15, 413245: 22, 498243: 12, 277129: 25, 332588: 30, 32949: 5, 84238: 13, 280592: 26, 407563: 22, 425097: 22, 434661: 23, 89423: 13, 233157: 27, 35588: 5, 485185: 13, 215986: 25, 246477: 24, 116532: 12, 445409: 19, 172470: 21, 372870: 21, 428912: 20, 559353: 7, 516: 1, 267648: 22, 245023: 21, 327181: 25, 262871: 20, 348359: 25, 75499: 9, 89693: 10, 51316: 5, 355245: 23, 412675: 19, 579224: 5, 135051: 14, 316200: 23, 98885: 9, 243906: 19, 131789: 12, 412009: 19, 131221: 11, 392073: 18, 53347: 5, 499351: 9, 152187: 10, 433837: 19, 278373: 14, 380450: 16, 25026: 2, 601337: 1, 330057: 17, 471454: 11, 154606: 10, 579874: 3, 118950: 7, 476378: 9, 40053: 3, 406035: 13, 291440: 11, 447498: 11, 310247: 12, 362303: 11, 227609: 10, 435544: 12, 206430: 9, 433872: 12, 28841: 2, 482558: 8, 399201: 8, 566947: 3, 191298: 7, 533407: 3, 212789: 7, 510744: 4, 392647: 5, 496940: 4, 153408: 6, 365243: 5, 155088: 6, 185046: 6, 243432: 4, 355171: 5, 274149: 2, 450833: 5, 70787: 3, 451520: 4, 78873: 3, 234811: 3, 429709: 4, 437947: 4, 284074: 1, 532240: 3, 123704: 3, 245631: 2, 429464: 2, 599477: 1, 296594: 1, 598417: 1, 57672: 2, 220844: 2, 22143: 1, 272480: 1}
{462552: 34, 540038: 16, 297097: 49, 573072: 10, 171690: 33, 200795: 35, 126658: 24, 322135: 49, 114643: 20, 496713: 26, 38864: 8, 91728: 16, 25220: 4, 285032: 43, 223857: 34, 486644: 27, 65116: 12, 202505: 31, 371257: 40, 595785: 5, 359912: 42, 444397: 35, 60165: 11, 150743: 24, 114380: 16, 320455: 46, 239350: 33, 368030: 39, 200265: 29, 253312: 34, 320805: 45, 338757: 45, 202869: 29, 510623: 20, 292037: 41, 336190: 44, 371992: 38, 376525: 38, 333959: 43, 499120: 21, 265006: 34, 535443: 14, 279655: 35, 456662: 27, 445091: 31, 590659: 6, 235873: 30, 405640: 33, 313330: 40, 506196: 18, 145049: 22, 534485: 13, 109370: 15, 350117: 36, 94123: 13, 290145: 35, 374040: 31, 390337: 30, 251674: 28, 438103: 29, 287970: 33, 598928: 3, 152050: 20, 552942: 11, 244451: 26, 495883: 17, 286106: 30, 572333: 7, 249921: 25, 448721: 22, 410387: 23, 594612: 4, 499558: 12, 530002: 11, 333784: 30, 484913: 16, 413245: 22, 498243: 13, 277129: 25, 332588: 30, 32949: 5, 84238: 13, 280592: 26, 407563: 22, 425097: 22, 434661: 23, 89423: 13, 233157: 27, 35588: 5, 485185: 14, 215986: 25, 246477: 24, 116532: 12, 445409: 19, 172470: 21, 372870: 21, 428912: 20, 559353: 8, 516: 1, 267648: 22, 245023: 21, 327181: 25, 262871: 20, 348359: 25, 75499: 9, 89693: 10, 51316: 5, 355245: 23, 412675: 19, 579224: 5, 135051: 14, 316200: 23, 98885: 9, 243906: 19, 131789: 12, 412009: 19, 131221: 11, 392073: 18, 53347: 5, 499351: 10, 152187: 10, 433837: 19, 278373: 14, 380450: 16, 25026: 2, 601337: 1, 330057: 17, 471454: 11, 154606: 10, 579874: 3, 118950: 7, 476378: 10, 40053: 3, 406035: 13, 291440: 11, 447498: 11, 310247: 12, 362303: 11, 227609: 10, 435544: 12, 206430: 9, 433872: 12, 28841: 2, 482558: 9, 399201: 8, 566947: 3, 191298: 7, 533407: 4, 212789: 7, 510744: 5, 392647: 5, 496940: 5, 153408: 6, 365243: 5, 155088: 6, 185046: 6, 243432: 4, 355171: 5, 274149: 2, 450833: 5, 70787: 3, 451520: 4, 78873: 3, 234811: 3, 429709: 4, 437947: 4, 284074: 1, 532240: 4, 123704: 3, 245631: 2, 429464: 2, 599477: 1, 296594: 1, 598417: 1, 57672: 2, 220844: 2, 22143: 1, 272480: 1, 472102: 1, 560838: 1}
{462552: 34, 540038: 16, 297097: 49, 573072: 10, 171690: 33, 200795: 36, 126658: 24, 322135: 49, 114643: 20, 496713: 26, 38864: 8, 91728: 16, 25220: 4, 285032: 43, 223857: 35, 486644: 27, 65116: 12, 202505: 32, 371257: 40, 595785: 5, 359912: 42, 444397: 35, 60165: 11, 150743: 24, 114380: 16, 320455: 46, 239350: 33, 368030: 39, 200265: 30, 253312: 34, 320805: 45, 338757: 45, 202869: 30, 510623: 20, 292037: 41, 336190: 44, 371992: 38, 376525: 38, 333959: 43, 499120: 21, 265006: 34, 535443: 14, 279655: 35, 456662: 27, 445091: 31, 590659: 6, 235873: 30, 405640: 33, 313330: 40, 506196: 18, 145049: 22, 534485: 13, 109370: 15, 350117: 36, 94123: 13, 290145: 35, 374040: 31, 390337: 30, 251674: 28, 438103: 29, 287970: 33, 598928: 3, 152050: 20, 552942: 11, 244451: 26, 495883: 17, 286106: 30, 572333: 7, 249921: 25, 448721: 22, 410387: 23, 594612: 4, 499558: 12, 530002: 11, 333784: 30, 484913: 16, 413245: 22, 498243: 13, 277129: 25, 332588: 30, 32949: 5, 84238: 13, 280592: 26, 407563: 22, 425097: 22, 434661: 23, 89423: 13, 233157: 27, 35588: 5, 485185: 14, 215986: 26, 246477: 24, 116532: 12, 445409: 19, 172470: 21, 372870: 21, 428912: 20, 559353: 8, 516: 1, 267648: 22, 245023: 21, 327181: 25, 262871: 20, 348359: 25, 75499: 9, 89693: 10, 51316: 5, 355245: 23, 412675: 19, 579224: 5, 135051: 14, 316200: 23, 98885: 9, 243906: 19, 131789: 12, 412009: 19, 131221: 11, 392073: 18, 53347: 5, 499351: 10, 152187: 10, 433837: 19, 278373: 14, 380450: 16, 25026: 2, 601337: 1, 330057: 17, 471454: 11, 154606: 10, 579874: 3, 118950: 7, 476378: 10, 40053: 3, 406035: 13, 291440: 11, 447498: 11, 310247: 12, 362303: 11, 227609: 10, 435544: 12, 206430: 10, 433872: 12, 28841: 2, 482558: 9, 399201: 8, 566947: 3, 191298: 8, 533407: 4, 212789: 8, 510744: 5, 392647: 5, 496940: 5, 153408: 6, 365243: 5, 155088: 6, 185046: 6, 243432: 4, 355171: 5, 274149: 2, 450833: 5, 70787: 3, 451520: 4, 78873: 3, 234811: 3, 429709: 4, 437947: 4, 284074: 1, 532240: 4, 123704: 3, 245631: 2, 429464: 2, 599477: 1, 296594: 1, 598417: 1, 57672: 2, 220844: 3, 22143: 1, 272480: 1, 472102: 1, 560838: 1, 190769: 1, 226095: 1}
{462552: 34, 540038: 16, 297097: 50, 573072: 10, 171690: 33, 200795: 37, 126658: 24, 322135: 50, 114643: 20, 496713: 26, 38864: 8, 91728: 16, 25220: 4, 285032: 44, 223857: 36, 486644: 27, 65116: 12, 202505: 33, 371257: 41, 595785: 5, 359912: 43, 444397: 35, 60165: 11, 150743: 24, 114380: 16, 320455: 47, 239350: 34, 368030: 40, 200265: 31, 253312: 35, 320805: 46, 338757: 46, 202869: 31, 510623: 20, 292037: 42, 336190: 45, 371992: 39, 376525: 39, 333959: 44, 499120: 21, 265006: 35, 535443: 14, 279655: 36, 456662: 27, 445091: 31, 590659: 6, 235873: 31, 405640: 34, 313330: 41, 506196: 18, 145049: 22, 534485: 13, 109370: 15, 350117: 37, 94123: 13, 290145: 36, 374040: 32, 390337: 31, 251674: 29, 438103: 30, 287970: 34, 598928: 3, 152050: 20, 552942: 11, 244451: 27, 495883: 17, 286106: 31, 572333: 7, 249921: 26, 448721: 22, 410387: 24, 594612: 4, 499558: 12, 530002: 11, 333784: 31, 484913: 16, 413245: 23, 498243: 13, 277129: 26, 332588: 31, 32949: 5, 84238: 13, 280592: 27, 407563: 23, 425097: 23, 434661: 24, 89423: 13, 233157: 28, 35588: 5, 485185: 14, 215986: 27, 246477: 25, 116532: 12, 445409: 19, 172470: 21, 372870: 22, 428912: 21, 559353: 8, 516: 1, 267648: 23, 245023: 22, 327181: 26, 262871: 21, 348359: 26, 75499: 9, 89693: 10, 51316: 5, 355245: 24, 412675: 20, 579224: 5, 135051: 14, 316200: 24, 98885: 9, 243906: 20, 131789: 12, 412009: 20, 131221: 11, 392073: 19, 53347: 5, 499351: 10, 152187: 10, 433837: 20, 278373: 15, 380450: 17, 25026: 2, 601337: 1, 330057: 18, 471454: 11, 154606: 10, 579874: 3, 118950: 7, 476378: 10, 40053: 3, 406035: 14, 291440: 12, 447498: 11, 310247: 13, 362303: 12, 227609: 11, 435544: 13, 206430: 11, 433872: 13, 28841: 2, 482558: 9, 399201: 9, 566947: 3, 191298: 8, 533407: 4, 212789: 9, 510744: 5, 392647: 6, 496940: 5, 153408: 6, 365243: 6, 155088: 6, 185046: 6, 243432: 5, 355171: 6, 274149: 3, 450833: 5, 70787: 3, 451520: 4, 78873: 3, 234811: 4, 429709: 5, 437947: 5, 284074: 2, 532240: 4, 123704: 3, 245631: 3, 429464: 3, 599477: 1, 296594: 2, 598417: 1, 57672: 2, 220844: 4, 22143: 1, 272480: 2, 472102: 1, 560838: 1, 190769: 1, 226095: 2, 192703: 1, 442856: 1}
{462552: 35, 540038: 16, 297097: 50, 573072: 10, 171690: 33, 200795: 37, 126658: 24, 322135: 50, 114643: 20, 496713: 27, 38864: 8, 91728: 16, 25220: 4, 285032: 44, 223857: 36, 486644: 28, 65116: 12, 202505: 33, 371257: 41, 595785: 5, 359912: 43, 444397: 36, 60165: 11, 150743: 24, 114380: 16, 320455: 47, 239350: 34, 368030: 40, 200265: 31, 253312: 35, 320805: 46, 338757: 46, 202869: 31, 510623: 21, 292037: 42, 336190: 45, 371992: 39, 376525: 39, 333959: 44, 499120: 22, 265006: 35, 535443: 14, 279655: 36, 456662: 28, 445091: 32, 590659: 6, 235873: 31, 405640: 34, 313330: 41, 506196: 19, 145049: 22, 534485: 13, 109370: 15, 350117: 37, 94123: 13, 290145: 36, 374040: 32, 390337: 31, 251674: 29, 438103: 31, 287970: 34, 598928: 3, 152050: 20, 552942: 11, 244451: 27, 495883: 18, 286106: 31, 572333: 7, 249921: 26, 448721: 23, 410387: 24, 594612: 4, 499558: 13, 530002: 11, 333784: 31, 484913: 17, 413245: 23, 498243: 14, 277129: 26, 332588: 31, 32949: 5, 84238: 13, 280592: 27, 407563: 23, 425097: 23, 434661: 25, 89423: 13, 233157: 28, 35588: 5, 485185: 15, 215986: 27, 246477: 25, 116532: 12, 445409: 20, 172470: 21, 372870: 22, 428912: 21, 559353: 8, 516: 1, 267648: 23, 245023: 22, 327181: 26, 262871: 21, 348359: 26, 75499: 9, 89693: 10, 51316: 5, 355245: 24, 412675: 20, 579224: 5, 135051: 14, 316200: 24, 98885: 9, 243906: 20, 131789: 12, 412009: 20, 131221: 11, 392073: 19, 53347: 5, 499351: 11, 152187: 10, 433837: 21, 278373: 15, 380450: 17, 25026: 2, 601337: 1, 330057: 18, 471454: 12, 154606: 10, 579874: 3, 118950: 7, 476378: 11, 40053: 3, 406035: 14, 291440: 12, 447498: 12, 310247: 13, 362303: 12, 227609: 11, 435544: 14, 206430: 11, 433872: 14, 28841: 2, 482558: 10, 399201: 9, 566947: 3, 191298: 8, 533407: 4, 212789: 9, 510744: 6, 392647: 6, 496940: 6, 153408: 6, 365243: 6, 155088: 6, 185046: 6, 243432: 5, 355171: 6, 274149: 3, 450833: 6, 70787: 3, 451520: 5, 78873: 3, 234811: 4, 429709: 6, 437947: 6, 284074: 2, 532240: 4, 123704: 3, 245631: 3, 429464: 4, 599477: 1, 296594: 2, 598417: 1, 57672: 2, 220844: 4, 22143: 1, 272480: 2, 472102: 2, 560838: 1, 190769: 1, 226095: 2, 192703: 1, 442856: 2, 429212: 1, 521996: 1}
{462552: 35, 540038: 16, 297097: 50, 573072: 10, 171690: 34, 200795: 38, 126658: 24, 322135: 50, 114643: 20, 496713: 27, 38864: 8, 91728: 16, 25220: 4, 285032: 44, 223857: 37, 486644: 28, 65116: 12, 202505: 34, 371257: 41, 595785: 5, 359912: 43, 444397: 36, 60165: 11, 150743: 25, 114380: 16, 320455: 47, 239350: 35, 368030: 40, 200265: 32, 253312: 36, 320805: 46, 338757: 46, 202869: 32, 510623: 21, 292037: 42, 336190: 45, 371992: 39, 376525: 39, 333959: 44, 499120: 22, 265006: 35, 535443: 14, 279655: 36, 456662: 28, 445091: 32, 590659: 6, 235873: 32, 405640: 34, 313330: 41, 506196: 19, 145049: 22, 534485: 13, 109370: 15, 350117: 37, 94123: 13, 290145: 36, 374040: 32, 390337: 31, 251674: 30, 438103: 31, 287970: 34, 598928: 3, 152050: 21, 552942: 11, 244451: 28, 495883: 18, 286106: 31, 572333: 7, 249921: 27, 448721: 23, 410387: 24, 594612: 4, 499558: 13, 530002: 11, 333784: 31, 484913: 17, 413245: 23, 498243: 14, 277129: 26, 332588: 31, 32949: 5, 84238: 13, 280592: 27, 407563: 23, 425097: 23, 434661: 25, 89423: 13, 233157: 29, 35588: 5, 485185: 15, 215986: 28, 246477: 26, 116532: 12, 445409: 20, 172470: 22, 372870: 22, 428912: 21, 559353: 8, 516: 1, 267648: 23, 245023: 23, 327181: 26, 262871: 22, 348359: 26, 75499: 9, 89693: 10, 51316: 5, 355245: 24, 412675: 20, 579224: 5, 135051: 14, 316200: 24, 98885: 9, 243906: 21, 131789: 12, 412009: 20, 131221: 11, 392073: 19, 53347: 5, 499351: 11, 152187: 11, 433837: 21, 278373: 15, 380450: 17, 25026: 2, 601337: 1, 330057: 18, 471454: 12, 154606: 11, 579874: 3, 118950: 7, 476378: 11, 40053: 3, 406035: 14, 291440: 12, 447498: 12, 310247: 13, 362303: 12, 227609: 12, 435544: 14, 206430: 12, 433872: 14, 28841: 2, 482558: 10, 399201: 9, 566947: 3, 191298: 9, 533407: 4, 212789: 10, 510744: 6, 392647: 6, 496940: 6, 153408: 7, 365243: 6, 155088: 7, 185046: 7, 243432: 6, 355171: 6, 274149: 3, 450833: 6, 70787: 3, 451520: 5, 78873: 3, 234811: 5, 429709: 6, 437947: 6, 284074: 2, 532240: 4, 123704: 3, 245631: 4, 429464: 4, 599477: 1, 296594: 2, 598417: 1, 57672: 2, 220844: 5, 22143: 1, 272480: 2, 472102: 2, 560838: 1, 190769: 2, 226095: 3, 192703: 2, 442856: 2, 429212: 1, 521996: 1, 147483: 1, 263583: 1}
{462552: 35, 540038: 16, 297097: 51, 573072: 10, 171690: 35, 200795: 39, 126658: 25, 322135: 51, 114643: 21, 496713: 27, 38864: 8, 91728: 17, 25220: 4, 285032: 45, 223857: 38, 486644: 28, 65116: 13, 202505: 35, 371257: 41, 595785: 5, 359912: 43, 444397: 36, 60165: 12, 150743: 26, 114380: 17, 320455: 48, 239350: 36, 368030: 40, 200265: 33, 253312: 37, 320805: 47, 338757: 46, 202869: 33, 510623: 21, 292037: 43, 336190: 46, 371992: 39, 376525: 39, 333959: 45, 499120: 22, 265006: 36, 535443: 14, 279655: 37, 456662: 28, 445091: 32, 590659: 6, 235873: 33, 405640: 34, 313330: 42, 506196: 19, 145049: 23, 534485: 13, 109370: 16, 350117: 37, 94123: 14, 290145: 37, 374040: 32, 390337: 31, 251674: 31, 438103: 31, 287970: 35, 598928: 3, 152050: 22, 552942: 11, 244451: 29, 495883: 18, 286106: 32, 572333: 7, 249921: 28, 448721: 23, 410387: 24, 594612: 4, 499558: 13, 530002: 11, 333784: 32, 484913: 17, 413245: 23, 498243: 14, 277129: 27, 332588: 32, 32949: 5, 84238: 14, 280592: 28, 407563: 23, 425097: 23, 434661: 25, 89423: 14, 233157: 30, 35588: 5, 485185: 15, 215986: 29, 246477: 27, 116532: 13, 445409: 20, 172470: 23, 372870: 22, 428912: 21, 559353: 8, 516: 1, 267648: 24, 245023: 24, 327181: 27, 262871: 23, 348359: 26, 75499: 10, 89693: 11, 51316: 6, 355245: 24, 412675: 20, 579224: 5, 135051: 15, 316200: 25, 98885: 10, 243906: 22, 131789: 13, 412009: 20, 131221: 12, 392073: 19, 53347: 6, 499351: 11, 152187: 12, 433837: 21, 278373: 16, 380450: 17, 25026: 2, 601337: 1, 330057: 19, 471454: 12, 154606: 12, 579874: 3, 118950: 8, 476378: 11, 40053: 3, 406035: 14, 291440: 13, 447498: 12, 310247: 14, 362303: 12, 227609: 13, 435544: 14, 206430: 13, 433872: 14, 28841: 2, 482558: 10, 399201: 9, 566947: 3, 191298: 10, 533407: 4, 212789: 11, 510744: 6, 392647: 6, 496940: 6, 153408: 8, 365243: 6, 155088: 8, 185046: 8, 243432: 7, 355171: 6, 274149: 4, 450833: 6, 70787: 4, 451520: 5, 78873: 4, 234811: 6, 429709: 6, 437947: 6, 284074: 3, 532240: 4, 123704: 4, 245631: 5, 429464: 4, 599477: 1, 296594: 3, 598417: 1, 57672: 3, 220844: 6, 22143: 1, 272480: 3, 472102: 2, 560838: 1, 190769: 3, 226095: 4, 192703: 3, 442856: 2, 429212: 1, 521996: 1, 147483: 2, 263583: 2, 49875: 1, 337783: 1}
{462552: 35, 540038: 16, 297097: 51, 573072: 10, 171690: 35, 200795: 39, 126658: 25, 322135: 51, 114643: 21, 496713: 27, 38864: 8, 91728: 17, 25220: 4, 285032: 45, 223857: 38, 486644: 28, 65116: 13, 202505: 35, 371257: 41, 595785: 5, 359912: 43, 444397: 36, 60165: 12, 150743: 26, 114380: 17, 320455: 48, 239350: 36, 368030: 40, 200265: 33, 253312: 37, 320805: 47, 338757: 46, 202869: 33, 510623: 21, 292037: 43, 336190: 46, 371992: 39, 376525: 39, 333959: 45, 499120: 22, 265006: 36, 535443: 14, 279655: 37, 456662: 28, 445091: 32, 590659: 6, 235873: 33, 405640: 35, 313330: 42, 506196: 19, 145049: 23, 534485: 13, 109370: 16, 350117: 37, 94123: 14, 290145: 37, 374040: 32, 390337: 31, 251674: 31, 438103: 31, 287970: 35, 598928: 3, 152050: 22, 552942: 11, 244451: 29, 495883: 18, 286106: 32, 572333: 7, 249921: 28, 448721: 23, 410387: 25, 594612: 4, 499558: 13, 530002: 11, 333784: 32, 484913: 17, 413245: 23, 498243: 14, 277129: 27, 332588: 32, 32949: 5, 84238: 14, 280592: 28, 407563: 24, 425097: 23, 434661: 25, 89423: 14, 233157: 30, 35588: 5, 485185: 15, 215986: 29, 246477: 27, 116532: 13, 445409: 20, 172470: 23, 372870: 22, 428912: 21, 559353: 8, 516: 1, 267648: 24, 245023: 24, 327181: 27, 262871: 23, 348359: 26, 75499: 10, 89693: 11, 51316: 6, 355245: 24, 412675: 20, 579224: 5, 135051: 15, 316200: 25, 98885: 10, 243906: 22, 131789: 13, 412009: 20, 131221: 12, 392073: 19, 53347: 6, 499351: 11, 152187: 12, 433837: 21, 278373: 16, 380450: 17, 25026: 2, 601337: 1, 330057: 19, 471454: 12, 154606: 12, 579874: 3, 118950: 8, 476378: 11, 40053: 3, 406035: 15, 291440: 13, 447498: 12, 310247: 14, 362303: 12, 227609: 13, 435544: 14, 206430: 13, 433872: 14, 28841: 2, 482558: 10, 399201: 9, 566947: 3, 191298: 10, 533407: 4, 212789: 11, 510744: 6, 392647: 6, 496940: 6, 153408: 8, 365243: 6, 155088: 8, 185046: 8, 243432: 7, 355171: 6, 274149: 4, 450833: 6, 70787: 4, 451520: 5, 78873: 4, 234811: 6, 429709: 6, 437947: 6, 284074: 3, 532240: 4, 123704: 4, 245631: 5, 429464: 4, 599477: 1, 296594: 3, 598417: 1, 57672: 3, 220844: 6, 22143: 1, 272480: 3, 472102: 2, 560838: 1, 190769: 3, 226095: 4, 192703: 3, 442856: 2, 429212: 1, 521996: 1, 147483: 2, 263583: 2, 49875: 1, 337783: 1, 400339: 1, 411089: 1}
{462552: 35, 540038: 16, 297097: 52, 573072: 10, 171690: 35, 200795: 39, 126658: 25, 322135: 52, 114643: 21, 496713: 27, 38864: 8, 91728: 17, 25220: 4, 285032: 46, 223857: 38, 486644: 28, 65116: 13, 202505: 35, 371257: 41, 595785: 5, 359912: 43, 444397: 36, 60165: 12, 150743: 26, 114380: 17, 320455: 49, 239350: 36, 368030: 40, 200265: 33, 253312: 38, 320805: 48, 338757: 46, 202869: 33, 510623: 21, 292037: 44, 336190: 46, 371992: 39, 376525: 39, 333959: 45, 499120: 22, 265006: 37, 535443: 14, 279655: 38, 456662: 28, 445091: 32, 590659: 6, 235873: 33, 405640: 35, 313330: 43, 506196: 19, 145049: 23, 534485: 13, 109370: 16, 350117: 37, 94123: 14, 290145: 38, 374040: 32, 390337: 31, 251674: 32, 438103: 31, 287970: 36, 598928: 3, 152050: 22, 552942: 11, 244451: 30, 495883: 18, 286106: 33, 572333: 7, 249921: 29, 448721: 23, 410387: 25, 594612: 4, 499558: 13, 530002: 11, 333784: 32, 484913: 17, 413245: 23, 498243: 14, 277129: 28, 332588: 32, 32949: 5, 84238: 14, 280592: 29, 407563: 24, 425097: 23, 434661: 25, 89423: 14, 233157: 30, 35588: 5, 485185: 15, 215986: 29, 246477: 28, 116532: 13, 445409: 20, 172470: 23, 372870: 22, 428912: 21, 559353: 8, 516: 1, 267648: 25, 245023: 25, 327181: 28, 262871: 24, 348359: 26, 75499: 10, 89693: 11, 51316: 6, 355245: 24, 412675: 20, 579224: 5, 135051: 15, 316200: 26, 98885: 10, 243906: 23, 131789: 13, 412009: 20, 131221: 12, 392073: 19, 53347: 6, 499351: 11, 152187: 12, 433837: 21, 278373: 17, 380450: 17, 25026: 2, 601337: 1, 330057: 20, 471454: 12, 154606: 12, 579874: 3, 118950: 8, 476378: 11, 40053: 3, 406035: 15, 291440: 14, 447498: 12, 310247: 15, 362303: 12, 227609: 13, 435544: 14, 206430: 13, 433872: 14, 28841: 2, 482558: 10, 399201: 9, 566947: 3, 191298: 10, 533407: 4, 212789: 11, 510744: 6, 392647: 6, 496940: 6, 153408: 8, 365243: 6, 155088: 8, 185046: 8, 243432: 8, 355171: 6, 274149: 5, 450833: 6, 70787: 4, 451520: 5, 78873: 4, 234811: 6, 429709: 6, 437947: 6, 284074: 4, 532240: 4, 123704: 4, 245631: 6, 429464: 4, 599477: 1, 296594: 4, 598417: 1, 57672: 3, 220844: 6, 22143: 1, 272480: 4, 472102: 2, 560838: 1, 190769: 3, 226095: 4, 192703: 3, 442856: 2, 429212: 1, 521996: 1, 147483: 2, 263583: 3, 49875: 1, 337783: 1, 400339: 1, 411089: 1, 240952: 1, 330671: 1}
{462552: 35, 540038: 16, 297097: 52, 573072: 10, 171690: 36, 200795: 39, 126658: 26, 322135: 52, 114643: 22, 496713: 27, 38864: 9, 91728: 18, 25220: 4, 285032: 46, 223857: 38, 486644: 28, 65116: 14, 202505: 35, 371257: 41, 595785: 5, 359912: 43, 444397: 36, 60165: 13, 150743: 27, 114380: 18, 320455: 49, 239350: 36, 368030: 40, 200265: 33, 253312: 38, 320805: 48, 338757: 46, 202869: 33, 510623: 21, 292037: 44, 336190: 46, 371992: 39, 376525: 39, 333959: 45, 499120: 22, 265006: 37, 535443: 14, 279655: 38, 456662: 28, 445091: 32, 590659: 6, 235873: 33, 405640: 35, 313330: 43, 506196: 19, 145049: 24, 534485: 13, 109370: 17, 350117: 37, 94123: 15, 290145: 38, 374040: 32, 390337: 31, 251674: 32, 438103: 31, 287970: 36, 598928: 3, 152050: 23, 552942: 11, 244451: 30, 495883: 18, 286106: 33, 572333: 7, 249921: 29, 448721: 23, 410387: 25, 594612: 4, 499558: 13, 530002: 11, 333784: 32, 484913: 17, 413245: 23, 498243: 14, 277129: 28, 332588: 32, 32949: 5, 84238: 15, 280592: 29, 407563: 24, 425097: 23, 434661: 25, 89423: 15, 233157: 30, 35588: 5, 485185: 15, 215986: 29, 246477: 28, 116532: 14, 445409: 20, 172470: 24, 372870: 22, 428912: 21, 559353: 8, 516: 1, 267648: 25, 245023: 25, 327181: 28, 262871: 24, 348359: 26, 75499: 11, 89693: 12, 51316: 7, 355245: 24, 412675: 20, 579224: 5, 135051: 16, 316200: 26, 98885: 11, 243906: 23, 131789: 14, 412009: 20, 131221: 13, 392073: 19, 53347: 7, 499351: 11, 152187: 13, 433837: 21, 278373: 17, 380450: 17, 25026: 2, 601337: 1, 330057: 20, 471454: 12, 154606: 13, 579874: 3, 118950: 9, 476378: 11, 40053: 4, 406035: 15, 291440: 14, 447498: 12, 310247: 15, 362303: 12, 227609: 13, 435544: 14, 206430: 13, 433872: 14, 28841: 2, 482558: 10, 399201: 9, 566947: 3, 191298: 11, 533407: 4, 212789: 11, 510744: 6, 392647: 6, 496940: 6, 153408: 9, 365243: 6, 155088: 9, 185046: 9, 243432: 8, 355171: 6, 274149: 5, 450833: 6, 70787: 5, 451520: 5, 78873: 5, 234811: 6, 429709: 6, 437947: 6, 284074: 4, 532240: 4, 123704: 5, 245631: 6, 429464: 4, 599477: 1, 296594: 4, 598417: 1, 57672: 4, 220844: 6, 22143: 1, 272480: 4, 472102: 2, 560838: 1, 190769: 4, 226095: 4, 192703: 4, 442856: 2, 429212: 1, 521996: 1, 147483: 3, 263583: 3, 49875: 2, 337783: 1, 400339: 1, 411089: 1, 240952: 1, 330671: 1, 36036: 1, 195151: 1}
{462552: 36, 540038: 16, 297097: 53, 573072: 10, 171690: 36, 200795: 39, 126658: 26, 322135: 53, 114643: 22, 496713: 27, 38864: 9, 91728: 18, 25220: 4, 285032: 47, 223857: 39, 486644: 28, 65116: 14, 202505: 35, 371257: 42, 595785: 5, 359912: 44, 444397: 37, 60165: 13, 150743: 27, 114380: 18, 320455: 50, 239350: 37, 368030: 41, 200265: 33, 253312: 39, 320805: 49, 338757: 47, 202869: 33, 510623: 21, 292037: 45, 336190: 47, 371992: 40, 376525: 40, 333959: 46, 499120: 22, 265006: 38, 535443: 14, 279655: 39, 456662: 29, 445091: 33, 590659: 6, 235873: 34, 405640: 36, 313330: 44, 506196: 19, 145049: 24, 534485: 13, 109370: 17, 350117: 38, 94123: 15, 290145: 39, 374040: 33, 390337: 32, 251674: 33, 438103: 32, 287970: 37, 598928: 3, 152050: 23, 552942: 11, 244451: 31, 495883: 18, 286106: 34, 572333: 7, 249921: 30, 448721: 24, 410387: 26, 594612: 4, 499558: 13, 530002: 11, 333784: 33, 484913: 17, 413245: 24, 498243: 14, 277129: 29, 332588: 33, 32949: 5, 84238: 15, 280592: 30, 407563: 25, 425097: 24, 434661: 26, 89423: 15, 233157: 31, 35588: 5, 485185: 15, 215986: 29, 246477: 29, 116532: 14, 445409: 21, 172470: 24, 372870: 23, 428912: 22, 559353: 8, 516: 1, 267648: 26, 245023: 26, 327181: 29, 262871: 25, 348359: 27, 75499: 11, 89693: 12, 51316: 7, 355245: 25, 412675: 21, 579224: 5, 135051: 16, 316200: 27, 98885: 11, 243906: 24, 131789: 14, 412009: 21, 131221: 13, 392073: 20, 53347: 7, 499351: 11, 152187: 13, 433837: 22, 278373: 18, 380450: 18, 25026: 2, 601337: 1, 330057: 21, 471454: 12, 154606: 13, 579874: 3, 118950: 9, 476378: 11, 40053: 4, 406035: 16, 291440: 15, 447498: 13, 310247: 16, 362303: 13, 227609: 14, 435544: 15, 206430: 13, 433872: 15, 28841: 2, 482558: 10, 399201: 10, 566947: 3, 191298: 11, 533407: 4, 212789: 11, 510744: 6, 392647: 7, 496940: 6, 153408: 9, 365243: 7, 155088: 9, 185046: 9, 243432: 9, 355171: 7, 274149: 6, 450833: 7, 70787: 5, 451520: 6, 78873: 5, 234811: 7, 429709: 7, 437947: 7, 284074: 5, 532240: 4, 123704: 5, 245631: 7, 429464: 5, 599477: 1, 296594: 5, 598417: 1, 57672: 4, 220844: 6, 22143: 1, 272480: 5, 472102: 2, 560838: 1, 190769: 4, 226095: 5, 192703: 4, 442856: 3, 429212: 2, 521996: 1, 147483: 3, 263583: 4, 49875: 2, 337783: 2, 400339: 2, 411089: 2, 240952: 2, 330671: 2, 36036: 1, 195151: 1, 222475: 1, 466260: 1}
{462552: 37, 540038: 16, 297097: 54, 573072: 10, 171690: 37, 200795: 40, 126658: 27, 322135: 54, 114643: 23, 496713: 28, 38864: 10, 91728: 19, 25220: 5, 285032: 48, 223857: 40, 486644: 29, 65116: 15, 202505: 36, 371257: 43, 595785: 5, 359912: 45, 444397: 38, 60165: 14, 150743: 28, 114380: 19, 320455: 51, 239350: 38, 368030: 42, 200265: 34, 253312: 40, 320805: 50, 338757: 48, 202869: 34, 510623: 22, 292037: 46, 336190: 48, 371992: 41, 376525: 41, 333959: 47, 499120: 23, 265006: 39, 535443: 14, 279655: 40, 456662: 30, 445091: 34, 590659: 6, 235873: 35, 405640: 37, 313330: 45, 506196: 20, 145049: 25, 534485: 13, 109370: 18, 350117: 39, 94123: 16, 290145: 40, 374040: 34, 390337: 33, 251674: 34, 438103: 33, 287970: 38, 598928: 3, 152050: 24, 552942: 11, 244451: 32, 495883: 19, 286106: 35, 572333: 7, 249921: 31, 448721: 25, 410387: 27, 594612: 4, 499558: 14, 530002: 11, 333784: 34, 484913: 18, 413245: 25, 498243: 15, 277129: 30, 332588: 34, 32949: 6, 84238: 16, 280592: 31, 407563: 26, 425097: 25, 434661: 27, 89423: 16, 233157: 32, 35588: 6, 485185: 16, 215986: 30, 246477: 30, 116532: 15, 445409: 22, 172470: 25, 372870: 24, 428912: 23, 559353: 8, 516: 1, 267648: 27, 245023: 27, 327181: 30, 262871: 26, 348359: 28, 75499: 12, 89693: 13, 51316: 8, 355245: 26, 412675: 22, 579224: 5, 135051: 17, 316200: 28, 98885: 12, 243906: 25, 131789: 15, 412009: 22, 131221: 14, 392073: 21, 53347: 8, 499351: 12, 152187: 14, 433837: 23, 278373: 19, 380450: 19, 25026: 3, 601337: 1, 330057: 22, 471454: 13, 154606: 14, 579874: 3, 118950: 10, 476378: 12, 40053: 5, 406035: 17, 291440: 16, 447498: 14, 310247: 17, 362303: 14, 227609: 15, 435544: 16, 206430: 14, 433872: 16, 28841: 3, 482558: 11, 399201: 11, 566947: 3, 191298: 12, 533407: 4, 212789: 12, 510744: 7, 392647: 8, 496940: 7, 153408: 10, 365243: 8, 155088: 10, 185046: 10, 243432: 10, 355171: 8, 274149: 7, 450833: 8, 70787: 6, 451520: 7, 78873: 6, 234811: 8, 429709: 8, 437947: 8, 284074: 6, 532240: 4, 123704: 6, 245631: 8, 429464: 6, 599477: 1, 296594: 6, 598417: 1, 57672: 5, 220844: 7, 22143: 2, 272480: 6, 472102: 3, 560838: 1, 190769: 5, 226095: 6, 192703: 5, 442856: 4, 429212: 3, 521996: 1, 147483: 4, 263583: 5, 49875: 3, 337783: 3, 400339: 3, 411089: 3, 240952: 3, 330671: 3, 36036: 2, 195151: 2, 222475: 2, 466260: 2, 14826: 1, 517918: 1}
54