0
{113815: 1, 528285: 1}
{113815: 2, 528285: 1, 6723: 1, 287126: 1}
{113815: 2, 528285: 2, 6723: 1, 287126: 1, 379269: 1, 585812: 1}
{113815: 2, 528285: 2, 6723: 1, 287126: 1, 379269: 1, 585812: 1, 144823: 1, 151502: 1}
{113815: 2, 528285: 2, 6723: 1, 287126: 2, 379269: 2, 585812: 1, 144823: 2, 151502: 2, 130233: 1, 525724: 1}
{113815: 2, 528285: 2, 6723: 1, 287126: 3, 379269: 3, 585812: 1, 144823: 2, 151502: 2, 130233: 1, 525724: 1, 228338: 1, 509996: 1}
{113815: 3, 528285: 2, 6723: 1, 287126: 4, 379269: 3, 585812: 1, 144823: 3, 151502: 3, 130233: 2, 525724: 1, 228338: 2, 509996: 1, 91313: 1, 321083: 1}
{113815: 3, 528285: 2, 6723: 1, 287126: 4, 379269: 3, 585812: 1, 144823: 3, 151502: 3, 130233: 2, 525724: 1, 228338: 2, 509996: 2, 91313: 1, 321083: 1, 493829: 1, 511516: 1}
{113815: 3, 528285: 2, 6723: 1, 287126: 5, 379269: 3, 585812: 1, 144823: 4, 151502: 4, 130233: 2, 525724: 1, 228338: 3, 509996: 2, 91313: 1, 321083: 2, 493829: 1, 511516: 1, 140764: 1, 324282: 1}
{113815: 3, 528285: 2, 6723: 1, 287126: 6, 379269: 4, 585812: 1, 144823: 4, 151502: 4, 130233: 2, 525724: 1, 228338: 3, 509996: 2, 91313: 1, 321083: 3, 493829: 1, 511516: 1, 140764: 1, 324282: 2, 255455: 1, 437099: 1}
{113815: 3, 528285: 2, 6723: 1, 287126: 6, 379269: 4, 585812: 1, 144823: 4, 151502: 4, 130233: 2, 525724: 1, 228338: 3, 509996: 2, 91313: 1, 321083: 3, 493829: 1, 511516: 1, 140764: 1, 324282: 2, 255455: 1, 437099: 1, 6895: 1, 60718: 1}
{113815: 3, 528285: 2, 6723: 1, 287126: 7, 379269: 4, 585812: 1, 144823: 4, 151502: 4, 130233: 2, 525724: 1, 228338: 3, 509996: 2, 91313: 1, 321083: 4, 493829: 1, 511516: 1, 140764: 1, 324282: 3, 255455: 1, 437099: 1, 6895: 1, 60718: 1, 267353: 1, 370183: 1}
{113815: 3, 528285: 2, 6723: 1, 287126: 8, 379269: 5, 585812: 1, 144823: 4, 151502: 4, 130233: 2, 525724: 1, 228338: 3, 509996: 2, 91313: 1, 321083: 5, 493829: 1, 511516: 1, 140764: 1, 324282: 4, 255455: 1, 437099: 2, 6895: 1, 60718: 1, 267353: 2, 370183: 2, 260365: 1, 442234: 1}
{113815: 3, 528285: 2, 6723: 1, 287126: 8, 379269: 6, 585812: 1, 144823: 4, 151502: 4, 130233: 2, 525724: 1, 228338: 3, 509996: 2, 91313: 1, 321083: 5, 493829: 1, 511516: 1, 140764: 1, 324282: 4, 255455: 1, 437099: 3, 6895: 1, 60718: 1, 267353: 2, 370183: 3, 260365: 1, 442234: 2, 331747: 1, 463346: 1}
{113815: 3, 528285: 3, 6723: 1, 287126: 9, 379269: 7, 585812: 1, 144823: 4, 151502: 4, 130233: 2, 525724: 2, 228338: 3, 509996: 3, 91313: 1, 321083: 6, 493829: 2, 511516: 2, 140764: 1, 324282: 5, 255455: 2, 437099: 4, 6895: 1, 60718: 1, 267353: 3, 370183: 4, 260365: 2, 442234: 3, 331747: 2, 463346: 2, 243359: 1, 568339: 1}
{113815: 3, 528285: 3, 6723: 1, 287126: 10, 379269: 7, 585812: 1, 144823: 4, 151502: 4, 130233: 2, 525724: 2, 228338: 3, 509996: 3, 91313: 1, 321083: 7, 493829: 2, 511516: 2, 140764: 1, 324282: 6, 255455: 3, 437099: 4, 6895: 1, 60718: 1, 267353: 4, 370183: 5, 260365: 3, 442234: 3, 331747: 3, 463346: 2, 243359: 2, 568339: 1, 243101: 1, 379013: 1}
{113815: 3, 528285: 4, 6723: 1, 287126: 10, 379269: 8, 585812: 1, 144823: 4, 151502: 4, 130233: 2, 525724: 3, 228338: 3, 509996: 4, 91313: 1, 321083: 8, 493829: 3, 511516: 3, 140764: 1, 324282: 7, 255455: 3, 437099: 5, 6895: 1, 60718: 1, 267353: 4, 370183: 6, 260365: 3, 442234: 4, 331747: 4, 463346: 3, 243359: 2, 568339: 2, 243101: 1, 379013: 2, 316135: 1, 570557: 1}
{113815: 3, 528285: 4, 6723: 1, 287126: 10, 379269: 9, 585812: 1, 144823: 4, 151502: 4, 130233: 2, 525724: 4, 228338: 3, 509996: 5, 91313: 1, 321083: 9, 493829: 4, 511516: 4, 140764: 1, 324282: 8, 255455: 3, 437099: 6, 6895: 1, 60718: 1, 267353: 4, 370183: 7, 260365: 3, 442234: 5, 331747: 5, 463346: 4, 243359: 2, 568339: 2, 243101: 1, 379013: 3, 316135: 2, 570557: 1, 302261: 1, 527474: 1}
{113815: 3, 528285: 4, 6723: 1, 287126: 11, 379269: 9, 585812: 1, 144823: 4, 151502: 4, 130233: 2, 525724: 4, 228338: 4, 509996: 5, 91313: 1, 321083: 9, 493829: 4, 511516: 4, 140764: 1, 324282: 8, 255455: 4, 437099: 6, 6895: 1, 60718: 1, 267353: 5, 370183: 7, 260365: 4, 442234: 5, 331747: 5, 463346: 4, 243359: 3, 568339: 2, 243101: 2, 379013: 3, 316135: 2, 570557: 1, 302261: 1, 527474: 1, 226657: 1, 289351: 1}
{113815: 3, 528285: 5, 6723: 1, 287126: 11, 379269: 9, 585812: 1, 144823: 4, 151502: 4, 130233: 2, 525724: 5, 228338: 4, 509996: 6, 91313: 1, 321083: 9, 493829: 5, 511516: 5, 140764: 1, 324282: 8, 255455: 4, 437099: 6, 6895: 1, 60718: 1, 267353: 5, 370183: 7, 260365: 4, 442234: 5, 331747: 5, 463346: 5, 243359: 3, 568339: 2, 243101: 2, 379013: 3, 316135: 2, 570557: 1, 302261: 1, 527474: 2, 226657: 1, 289351: 1, 446132: 1, 560347: 1}
{113815: 3, 528285: 5, 6723: 1, 287126: 11, 379269: 9, 585812: 1, 144823: 4, 151502: 4, 130233: 2, 525724: 5, 228338: 4, 509996: 6, 91313: 1, 321083: 9, 493829: 5, 511516: 5, 140764: 1, 324282: 8, 255455: 4, 437099: 6, 6895: 1, 60718: 1, 267353: 5, 370183: 7, 260365: 4, 442234: 5, 331747: 5, 463346: 5, 243359: 3, 568339: 2, 243101: 2, 379013: 3, 316135: 2, 570557: 1, 302261: 1, 527474: 2, 226657: 1, 289351: 1, 446132: 1, 560347: 1, 335902: 1, 360334: 1}
{113815: 4, 528285: 5, 6723: 1, 287126: 11, 379269: 9, 585812: 1, 144823: 5, 151502: 5, 130233: 3, 525724: 5, 228338: 5, 509996: 6, 91313: 2, 321083: 9, 493829: 5, 511516: 5, 140764: 2, 324282: 8, 255455: 5, 437099: 6, 6895: 1, 60718: 1, 267353: 6, 370183: 7, 260365: 5, 442234: 5, 331747: 5, 463346: 5, 243359: 4, 568339: 2, 243101: 3, 379013: 3, 316135: 2, 570557: 1, 302261: 1, 527474: 2, 226657: 2, 289351: 1, 446132: 1, 560347: 1, 335902: 1, 360334: 1, 88624: 1, 276202: 1}
{113815: 4, 528285: 5, 6723: 1, 287126: 11, 379269: 10, 585812: 1, 144823: 5, 151502: 5, 130233: 3, 525724: 5, 228338: 5, 509996: 6, 91313: 2, 321083: 9, 493829: 5, 511516: 5, 140764: 2, 324282: 8, 255455: 5, 437099: 6, 6895: 1, 60718: 1, 267353: 6, 370183: 8, 260365: 5, 442234: 5, 331747: 6, 463346: 5, 243359: 4, 568339: 2, 243101: 3, 379013: 4, 316135: 2, 570557: 1, 302261: 1, 527474: 2, 226657: 2, 289351: 1, 446132: 1, 560347: 1, 335902: 2, 360334: 2, 88624: 1, 276202: 1, 328662: 1, 400394: 1}
{113815: 4, 528285: 5, 6723: 1, 287126: 11, 379269: 11, 585812: 1, 144823: 5, 151502: 5, 130233: 3, 525724: 5, 228338: 5, 509996: 6, 91313: 2, 321083: 9, 493829: 5, 511516: 5, 140764: 2, 324282: 8, 255455: 5, 437099: 6, 6895: 1, 60718: 1, 267353: 6, 370183: 8, 260365: 5, 442234: 5, 331747: 6, 463346: 5, 243359: 4, 568339: 2, 243101: 3, 379013: 5, 316135: 2, 570557: 1, 302261: 1, 527474: 2, 226657: 2, 289351: 1, 446132: 1, 560347: 1, 335902: 2, 360334: 2, 88624: 1, 276202: 1, 328662: 1, 400394: 2, 373040: 1, 424312: 1}
{113815: 4, 528285: 5, 6723: 1, 287126: 11, 379269: 12, 585812: 1, 144823: 5, 151502: 5, 130233: 3, 525724: 5, 228338: 5, 509996: 6, 91313: 2, 321083: 10, 493829: 5, 511516: 5, 140764: 2, 324282: 9, 255455: 5, 437099: 7, 6895: 1, 60718: 1, 267353: 6, 370183: 9, 260365: 5, 442234: 6, 331747: 7, 463346: 5, 243359: 4, 568339: 2, 243101: 3, 379013: 6, 316135: 3, 570557: 1, 302261: 1, 527474: 2, 226657: 2, 289351: 1, 446132: 2, 560347: 1, 335902: 3, 360334: 3, 88624: 1, 276202: 1, 328662: 2, 400394: 3, 373040: 2, 424312: 2, 308820: 1, 460220: 1}
{113815: 4, 528285: 5, 6723: 1, 287126: 12, 379269: 13, 585812: 1, 144823: 5, 151502: 5, 130233: 3, 525724: 5, 228338: 5, 509996: 6, 91313: 2, 321083: 11, 493829: 5, 511516: 5, 140764: 2, 324282: 10, 255455: 6, 437099: 7, 6895: 1, 60718: 1, 267353: 7, 370183: 10, 260365: 6, 442234: 6, 331747: 8, 463346: 5, 243359: 4, 568339: 2, 243101: 3, 379013: 7, 316135: 4, 570557: 1, 302261: 2, 527474: 2, 226657: 2, 289351: 2, 446132: 2, 560347: 1, 335902: 4, 360334: 4, 88624: 1, 276202: 2, 328662: 3, 400394: 4, 373040: 3, 424312: 2, 308820: 2, 460220: 1, 243556: 1, 402400: 1}
{113815: 4, 528285: 5, 6723: 1, 287126: 13, 379269: 14, 585812: 1, 144823: 5, 151502: 5, 130233: 3, 525724: 5, 228338: 5, 509996: 6, 91313: 2, 321083: 12, 493829: 5, 511516: 5, 140764: 2, 324282: 11, 255455: 6, 437099: 7, 6895: 1, 60718: 1, 267353: 7, 370183: 11, 260365: 6, 442234: 6, 331747: 9, 463346: 5, 243359: 4, 568339: 2, 243101: 3, 379013: 8, 316135: 5, 570557: 1, 302261: 3, 527474: 2, 226657: 2, 289351: 3, 446132: 2, 560347: 1, 335902: 5, 360334: 5, 88624: 1, 276202: 2, 328662: 4, 400394: 5, 373040: 4, 424312: 3, 308820: 3, 460220: 1, 243556: 1, 402400: 2, 284815: 1, 430873: 1}
{113815: 4, 528285: 5, 6723: 1, 287126: 14, 379269: 15, 585812: 1, 144823: 5, 151502: 5, 130233: 3, 525724: 5, 228338: 5, 509996: 6, 91313: 2, 321083: 13, 493829: 6, 511516: 5, 140764: 2, 324282: 12, 255455: 6, 437099: 8, 6895: 1, 60718: 1, 267353: 8, 370183: 12, 260365: 6, 442234: 7, 331747: 10, 463346: 6, 243359: 4, 568339: 2, 243101: 3, 379013: 9, 316135: 6, 570557: 1, 302261: 4, 527474: 2, 226657: 2, 289351: 4, 446132: 3, 560347: 1, 335902: 6, 360334: 6, 88624: 1, 276202: 3, 328662: 5, 400394: 6, 373040: 5, 424312: 4, 308820: 4, 460220: 2, 243556: 1, 402400: 3, 284815: 2, 430873: 2, 266307: 1, 494920: 1}
{113815: 5, 528285: 5, 6723: 2, 287126: 15, 379269: 15, 585812: 1, 144823: 6, 151502: 6, 130233: 4, 525724: 5, 228338: 6, 509996: 6, 91313: 3, 321083: 14, 493829: 6, 511516: 5, 140764: 3, 324282: 13, 255455: 7, 437099: 8, 6895: 2, 60718: 2, 267353: 9, 370183: 13, 260365: 7, 442234: 7, 331747: 11, 463346: 6, 243359: 5, 568339: 2, 243101: 4, 379013: 9, 316135: 7, 570557: 1, 302261: 5, 527474: 2, 226657: 3, 289351: 5, 446132: 3, 560347: 1, 335902: 7, 360334: 7, 88624: 2, 276202: 4, 328662: 6, 400394: 6, 373040: 6, 424312: 4, 308820: 5, 460220: 2, 243556: 2, 402400: 3, 284815: 3, 430873: 2, 266307: 2, 494920: 1, 5367: 1, 374809: 1}
{113815: 5, 528285: 5, 6723: 2, 287126: 15, 379269: 15, 585812: 1, 144823: 6, 151502: 6, 130233: 4, 525724: 5, 228338: 6, 509996: 6, 91313: 3, 321083: 14, 493829: 6, 511516: 5, 140764: 3, 324282: 13, 255455: 7, 437099: 8, 6895: 2, 60718: 2, 267353: 9, 370183: 13, 260365: 7, 442234: 7, 331747: 11, 463346: 6, 243359: 5, 568339: 2, 243101: 4, 379013: 9, 316135: 7, 570557: 1, 302261: 5, 527474: 2, 226657: 3, 289351: 5, 446132: 3, 560347: 1, 335902: 7, 360334: 7, 88624: 2, 276202: 4, 328662: 6, 400394: 6, 373040: 6, 424312: 4, 308820: 5, 460220: 2, 243556: 2, 402400: 3, 284815: 3, 430873: 2, 266307: 2, 494920: 1, 5367: 1, 374809: 1, 8109: 1, 12872: 1}
{113815: 6, 528285: 5, 6723: 2, 287126: 15, 379269: 15, 585812: 1, 144823: 7, 151502: 7, 130233: 5, 525724: 5, 228338: 7, 509996: 6, 91313: 4, 321083: 14, 493829: 6, 511516: 5, 140764: 4, 324282: 13, 255455: 8, 437099: 8, 6895: 2, 60718: 3, 267353: 9, 370183: 13, 260365: 7, 442234: 7, 331747: 11, 463346: 6, 243359: 6, 568339: 2, 243101: 5, 379013: 9, 316135: 7, 570557: 1, 302261: 5, 527474: 2, 226657: 4, 289351: 5, 446132: 3, 560347: 1, 335902: 7, 360334: 7, 88624: 3, 276202: 4, 328662: 6, 400394: 6, 373040: 6, 424312: 4, 308820: 5, 460220: 2, 243556: 3, 402400: 3, 284815: 3, 430873: 2, 266307: 2, 494920: 1, 5367: 1, 374809: 1, 8109: 1, 12872: 1, 41067: 1, 257718: 1}
{113815: 7, 528285: 5, 6723: 2, 287126: 15, 379269: 15, 585812: 1, 144823: 8, 151502: 8, 130233: 6, 525724: 5, 228338: 7, 509996: 6, 91313: 5, 321083: 14, 493829: 6, 511516: 5, 140764: 5, 324282: 13, 255455: 8, 437099: 8, 6895: 2, 60718: 4, 267353: 9, 370183: 13, 260365: 7, 442234: 7, 331747: 11, 463346: 6, 243359: 6, 568339: 2, 243101: 5, 379013: 9, 316135: 7, 570557: 1, 302261: 5, 527474: 2, 226657: 4, 289351: 5, 446132: 3, 560347: 1, 335902: 7, 360334: 7, 88624: 4, 276202: 4, 328662: 6, 400394: 6, 373040: 6, 424312: 4, 308820: 5, 460220: 2, 243556: 3, 402400: 3, 284815: 3, 430873: 2, 266307: 2, 494920: 1, 5367: 1, 374809: 1, 8109: 1, 12872: 1, 41067: 2, 257718: 1, 15675: 1, 213395: 1}
{113815: 7, 528285: 5, 6723: 2, 287126: 15, 379269: 15, 585812: 1, 144823: 8, 151502: 8, 130233: 6, 525724: 5, 228338: 8, 509996: 6, 91313: 5, 321083: 14, 493829: 6, 511516: 5, 140764: 5, 324282: 13, 255455: 9, 437099: 8, 6895: 2, 60718: 4, 267353: 9, 370183: 13, 260365: 8, 442234: 7, 331747: 11, 463346: 6, 243359: 7, 568339: 2, 243101: 6, 379013: 9, 316135: 7, 570557: 1, 302261: 5, 527474: 2, 226657: 5, 289351: 5, 446132: 3, 560347: 1, 335902: 7, 360334: 7, 88624: 4, 276202: 4, 328662: 6, 400394: 6, 373040: 6, 424312: 4, 308820: 5, 460220: 2, 243556: 4, 402400: 3, 284815: 3, 430873: 2, 266307: 2, 494920: 1, 5367: 1, 374809: 1, 8109: 1, 12872: 1, 41067: 2, 257718: 2, 15675: 1, 213395: 2, 174845: 1, 262995: 1}
{113815: 7, 528285: 5, 6723: 2, 287126: 16, 379269: 15, 585812: 1, 144823: 8, 151502: 8, 130233: 6, 525724: 5, 228338: 9, 509996: 6, 91313: 5, 321083: 14, 493829: 6, 511516: 5, 140764: 5, 324282: 13, 255455: 10, 437099: 8, 6895: 2, 60718: 4, 267353: 10, 370183: 13, 260365: 9, 442234: 7, 331747: 11, 463346: 6, 243359: 8, 568339: 2, 243101: 7, 379013: 9, 316135: 7, 570557: 1, 302261: 5, 527474: 2, 226657: 6, 289351: 6, 446132: 3, 560347: 1, 335902: 7, 360334: 7, 88624: 4, 276202: 5, 328662: 6, 400394: 6, 373040: 6, 424312: 4, 308820: 5, 460220: 2, 243556: 5, 402400: 3, 284815: 4, 430873: 2, 266307: 3, 494920: 1, 5367: 1, 374809: 1, 8109: 1, 12872: 1, 41067: 2, 257718: 3, 15675: 1, 213395: 3, 174845: 2, 262995: 2, 164018: 1, 291608: 1}
{113815: 7, 528285: 6, 6723: 2, 287126: 17, 379269: 16, 585812: 2, 144823: 8, 151502: 8, 130233: 6, 525724: 6, 228338: 9, 509996: 7, 91313: 5, 321083: 15, 493829: 7, 511516: 6, 140764: 5, 324282: 14, 255455: 10, 437099: 9, 6895: 2, 60718: 4, 267353: 11, 370183: 14, 260365: 9, 442234: 8, 331747: 12, 463346: 7, 243359: 8, 568339: 3, 243101: 7, 379013: 10, 316135: 8, 570557: 2, 302261: 6, 527474: 3, 226657: 6, 289351: 7, 446132: 4, 560347: 2, 335902: 8, 360334: 8, 88624: 4, 276202: 6, 328662: 7, 400394: 7, 373040: 7, 424312: 5, 308820: 6, 460220: 3, 243556: 5, 402400: 4, 284815: 5, 430873: 3, 266307: 4, 494920: 2, 5367: 1, 374809: 2, 8109: 1, 12872: 1, 41067: 2, 257718: 3, 15675: 1, 213395: 3, 174845: 2, 262995: 3, 164018: 1, 291608: 2, 260985: 1, 589027: 1}
{113815: 7, 528285: 7, 6723: 2, 287126: 17, 379269: 16, 585812: 2, 144823: 8, 151502: 8, 130233: 6, 525724: 7, 228338: 9, 509996: 8, 91313: 5, 321083: 15, 493829: 8, 511516: 7, 140764: 5, 324282: 14, 255455: 10, 437099: 9, 6895: 2, 60718: 4, 267353: 11, 370183: 14, 260365: 9, 442234: 8, 331747: 12, 463346: 7, 243359: 8, 568339: 3, 243101: 7, 379013: 10, 316135: 8, 570557: 2, 302261: 6, 527474: 4, 226657: 6, 289351: 7, 446132: 4, 560347: 2, 335902: 8, 360334: 8, 88624: 4, 276202: 6, 328662: 7, 400394: 7, 373040: 7, 424312: 5, 308820: 6, 460220: 3, 243556: 5, 402400: 4, 284815: 5, 430873: 3, 266307: 4, 494920: 3, 5367: 1, 374809: 2, 8109: 1, 12872: 1, 41067: 2, 257718: 3, 15675: 1, 213395: 3, 174845: 2, 262995: 3, 164018: 1, 291608: 2, 260985: 1, 589027: 1, 473731: 1, 529124: 1}
{113815: 8, 528285: 7, 6723: 2, 287126: 17, 379269: 16, 585812: 2, 144823: 9, 151502: 9, 130233: 7, 525724: 7, 228338: 9, 509996: 8, 91313: 5, 321083: 15, 493829: 8, 511516: 7, 140764: 6, 324282: 14, 255455: 10, 437099: 9, 6895: 2, 60718: 4, 267353: 11, 370183: 14, 260365: 9, 442234: 8, 331747: 12, 463346: 7, 243359: 8, 568339: 3, 243101: 7, 379013: 10, 316135: 8, 570557: 2, 302261: 6, 527474: 4, 226657: 6, 289351: 7, 446132: 4, 560347: 2, 335902: 8, 360334: 8, 88624: 4, 276202: 6, 328662: 7, 400394: 7, 373040: 7, 424312: 5, 308820: 6, 460220: 3, 243556: 5, 402400: 4, 284815: 5, 430873: 3, 266307: 4, 494920: 3, 5367: 1, 374809: 2, 8109: 1, 12872: 1, 41067: 2, 257718: 3, 15675: 1, 213395: 3, 174845: 3, 262995: 3, 164018: 2, 291608: 2, 260985: 1, 589027: 1, 473731: 1, 529124: 1, 112430: 1, 201880: 1}
{113815: 9, 528285: 8, 6723: 2, 287126: 18, 379269: 17, 585812: 2, 144823: 10, 151502: 10, 130233: 8, 525724: 8, 228338: 10, 509996: 9, 91313: 6, 321083: 16, 493829: 9, 511516: 8, 140764: 7, 324282: 15, 255455: 11, 437099: 10, 6895: 2, 60718: 5, 267353: 12, 370183: 15, 260365: 10, 442234: 9, 331747: 13, 463346: 8, 243359: 9, 568339: 4, 243101: 8, 379013: 11, 316135: 9, 570557: 2, 302261: 7, 527474: 5, 226657: 7, 289351: 8, 446132: 5, 560347: 3, 335902: 9, 360334: 9, 88624: 5, 276202: 7, 328662: 8, 400394: 8, 373040: 8, 424312: 6, 308820: 7, 460220: 4, 243556: 6, 402400: 5, 284815: 6, 430873: 4, 266307: 5, 494920: 4, 5367: 1, 374809: 3, 8109: 1, 12872: 1, 41067: 3, 257718: 4, 15675: 1, 213395: 4, 174845: 4, 262995: 4, 164018: 3, 291608: 3, 260985: 2, 589027: 1, 473731: 2, 529124: 2, 112430: 2, 201880: 2, 32547: 1, 570201: 1}
{113815: 9, 528285: 8, 6723: 2, 287126: 19, 379269: 17, 585812: 2, 144823: 11, 151502: 11, 130233: 8, 525724: 8, 228338: 11, 509996: 9, 91313: 6, 321083: 16, 493829: 9, 511516: 8, 140764: 8, 324282: 15, 255455: 12, 437099: 10, 6895: 2, 60718: 5, 267353: 13, 370183: 15, 260365: 11, 442234: 9, 331747: 13, 463346: 8, 243359: 10, 568339: 4, 243101: 9, 379013: 11, 316135: 10, 570557: 2, 302261: 8, 527474: 5, 226657: 8, 289351: 9, 446132: 5, 560347: 3, 335902: 9, 360334: 9, 88624: 5, 276202: 8, 328662: 8, 400394: 8, 373040: 8, 424312: 6, 308820: 8, 460220: 4, 243556: 7, 402400: 5, 284815: 7, 430873: 4, 266307: 6, 494920: 4, 5367: 1, 374809: 3, 8109: 1, 12872: 1, 41067: 3, 257718: 5, 15675: 1, 213395: 5, 174845: 5, 262995: 5, 164018: 4, 291608: 4, 260985: 3, 589027: 1, 473731: 2, 529124: 2, 112430: 2, 201880: 3, 32547: 1, 570201: 1, 132340: 1, 320387: 1}
{113815: 10, 528285: 8, 6723: 2, 287126: 19, 379269: 17, 585812: 2, 144823: 12, 151502: 12, 130233: 9, 525724: 8, 228338: 11, 509996: 9, 91313: 7, 321083: 16, 493829: 9, 511516: 8, 140764: 9, 324282: 15, 255455: 12, 437099: 10, 6895: 2, 60718: 5, 267353: 13, 370183: 15, 260365: 11, 442234: 9, 331747: 13, 463346: 8, 243359: 10, 568339: 4, 243101: 9, 379013: 11, 316135: 10, 570557: 2, 302261: 8, 527474: 5, 226657: 8, 289351: 9, 446132: 5, 560347: 3, 335902: 9, 360334: 9, 88624: 6, 276202: 8, 328662: 8, 400394: 8, 373040: 8, 424312: 6, 308820: 8, 460220: 4, 243556: 7, 402400: 5, 284815: 7, 430873: 4, 266307: 6, 494920: 4, 5367: 1, 374809: 3, 8109: 1, 12872: 1, 41067: 3, 257718: 5, 15675: 1, 213395: 5, 174845: 5, 262995: 5, 164018: 4, 291608: 4, 260985: 3, 589027: 1, 473731: 2, 529124: 2, 112430: 3, 201880: 3, 32547: 1, 570201: 1, 132340: 2, 320387: 1, 70918: 1, 161630: 1}
{113815: 11, 528285: 8, 6723: 2, 287126: 20, 379269: 17, 585812: 2, 144823: 13, 151502: 13, 130233: 10, 525724: 8, 228338: 12, 509996: 9, 91313: 8, 321083: 17, 493829: 9, 511516: 8, 140764: 10, 324282: 16, 255455: 13, 437099: 10, 6895: 2, 60718: 6, 267353: 14, 370183: 15, 260365: 12, 442234: 9, 331747: 14, 463346: 8, 243359: 11, 568339: 4, 243101: 10, 379013: 11, 316135: 11, 570557: 2, 302261: 9, 527474: 5, 226657: 9, 289351: 10, 446132: 5, 560347: 3, 335902: 10, 360334: 10, 88624: 7, 276202: 9, 328662: 9, 400394: 8, 373040: 8, 424312: 6, 308820: 9, 460220: 4, 243556: 8, 402400: 5, 284815: 8, 430873: 4, 266307: 7, 494920: 4, 5367: 1, 374809: 3, 8109: 1, 12872: 1, 41067: 4, 257718: 6, 15675: 1, 213395: 6, 174845: 6, 262995: 6, 164018: 5, 291608: 5, 260985: 4, 589027: 1, 473731: 2, 529124: 2, 112430: 4, 201880: 4, 32547: 1, 570201: 1, 132340: 3, 320387: 2, 70918: 2, 161630: 2, 39804: 1, 362352: 1}
{113815: 11, 528285: 8, 6723: 2, 287126: 21, 379269: 18, 585812: 2, 144823: 13, 151502: 13, 130233: 10, 525724: 8, 228338: 13, 509996: 9, 91313: 8, 321083: 18, 493829: 9, 511516: 8, 140764: 10, 324282: 17, 255455: 14, 437099: 11, 6895: 2, 60718: 6, 267353: 15, 370183: 16, 260365: 13, 442234: 10, 331747: 15, 463346: 8, 243359: 12, 568339: 4, 243101: 11, 379013: 12, 316135: 12, 570557: 2, 302261: 10, 527474: 5, 226657: 10, 289351: 11, 446132: 6, 560347: 3, 335902: 11, 360334: 11, 88624: 7, 276202: 10, 328662: 10, 400394: 9, 373040: 9, 424312: 7, 308820: 10, 460220: 4, 243556: 9, 402400: 6, 284815: 9, 430873: 5, 266307: 8, 494920: 4, 5367: 1, 374809: 4, 8109: 1, 12872: 1, 41067: 4, 257718: 7, 15675: 1, 213395: 7, 174845: 6, 262995: 7, 164018: 5, 291608: 6, 260985: 5, 589027: 1, 473731: 2, 529124: 2, 112430: 4, 201880: 5, 32547: 1, 570201: 1, 132340: 3, 320387: 3, 70918: 2, 161630: 2, 39804: 1, 362352: 2, 176700: 1, 451005: 1}
{113815: 11, 528285: 9, 6723: 2, 287126: 21, 379269: 18, 585812: 3, 144823: 13, 151502: 13, 130233: 10, 525724: 9, 228338: 13, 509996: 10, 91313: 8, 321083: 18, 493829: 10, 511516: 9, 140764: 10, 324282: 17, 255455: 14, 437099: 12, 6895: 2, 60718: 6, 267353: 15, 370183: 16, 260365: 13, 442234: 11, 331747: 15, 463346: 9, 243359: 12, 568339: 5, 243101: 11, 379013: 12, 316135: 12, 570557: 3, 302261: 10, 527474: 6, 226657: 10, 289351: 11, 446132: 7, 560347: 4, 335902: 11, 360334: 11, 88624: 7, 276202: 10, 328662: 10, 400394: 9, 373040: 9, 424312: 7, 308820: 10, 460220: 5, 243556: 9, 402400: 6, 284815: 9, 430873: 5, 266307: 8, 494920: 5, 5367: 1, 374809: 4, 8109: 1, 12872: 1, 41067: 4, 257718: 7, 15675: 1, 213395: 7, 174845: 6, 262995: 7, 164018: 5, 291608: 6, 260985: 5, 589027: 2, 473731: 3, 529124: 3, 112430: 4, 201880: 5, 32547: 1, 570201: 2, 132340: 3, 320387: 3, 70918: 2, 161630: 2, 39804: 1, 362352: 2, 176700: 1, 451005: 2, 436044: 1, 594480: 1}
{113815: 11, 528285: 10, 6723: 2, 287126: 21, 379269: 18, 585812: 4, 144823: 13, 151502: 13, 130233: 10, 525724: 10, 228338: 13, 509996: 11, 91313: 8, 321083: 18, 493829: 11, 511516: 10, 140764: 10, 324282: 17, 255455: 14, 437099: 13, 6895: 2, 60718: 6, 267353: 15, 370183: 16, 260365: 13, 442234: 12, 331747: 15, 463346: 10, 243359: 12, 568339: 6, 243101: 11, 379013: 12, 316135: 12, 570557: 4, 302261: 10, 527474: 7, 226657: 10, 289351: 11, 446132: 8, 560347: 5, 335902: 11, 360334: 11, 88624: 7, 276202: 10, 328662: 10, 400394: 9, 373040: 9, 424312: 8, 308820: 10, 460220: 6, 243556: 9, 402400: 6, 284815: 9, 430873: 6, 266307: 8, 494920: 6, 5367: 1, 374809: 4, 8109: 1, 12872: 1, 41067: 4, 257718: 7, 15675: 1, 213395: 7, 174845: 6, 262995: 7, 164018: 5, 291608: 6, 260985: 5, 589027: 3, 473731: 4, 529124: 4, 112430: 4, 201880: 5, 32547: 1, 570201: 3, 132340: 3, 320387: 3, 70918: 2, 161630: 2, 39804: 1, 362352: 2, 176700: 1, 451005: 3, 436044: 2, 594480: 1, 409187: 1, 591787: 1}
{113815: 12, 528285: 10, 6723: 2, 287126: 21, 379269: 18, 585812: 4, 144823: 14, 151502: 14, 130233: 11, 525724: 10, 228338: 13, 509996: 11, 91313: 9, 321083: 18, 493829: 11, 511516: 10, 140764: 11, 324282: 17, 255455: 14, 437099: 13, 6895: 2, 60718: 6, 267353: 15, 370183: 16, 260365: 13, 442234: 12, 331747: 15, 463346: 10, 243359: 12, 568339: 6, 243101: 11, 379013: 12, 316135: 12, 570557: 4, 302261: 10, 527474: 7, 226657: 10, 289351: 11, 446132: 8, 560347: 5, 335902: 11, 360334: 11, 88624: 8, 276202: 10, 328662: 10, 400394: 9, 373040: 9, 424312: 8, 308820: 10, 460220: 6, 243556: 9, 402400: 6, 284815: 9, 430873: 6, 266307: 8, 494920: 6, 5367: 1, 374809: 4, 8109: 1, 12872: 1, 41067: 4, 257718: 7, 15675: 1, 213395: 7, 174845: 7, 262995: 7, 164018: 6, 291608: 6, 260985: 5, 589027: 3, 473731: 4, 529124: 4, 112430: 5, 201880: 5, 32547: 1, 570201: 3, 132340: 4, 320387: 3, 70918: 2, 161630: 3, 39804: 1, 362352: 2, 176700: 2, 451005: 3, 436044: 2, 594480: 1, 409187: 1, 591787: 1, 77333: 1, 185321: 1}
{113815: 12, 528285: 10, 6723: 2, 287126: 22, 379269: 19, 585812: 4, 144823: 14, 151502: 14, 130233: 11, 525724: 10, 228338: 14, 509996: 11, 91313: 9, 321083: 19, 493829: 11, 511516: 10, 140764: 11, 324282: 18, 255455: 15, 437099: 14, 6895: 2, 60718: 6, 267353: 16, 370183: 17, 260365: 14, 442234: 13, 331747: 16, 463346: 10, 243359: 13, 568339: 6, 243101: 12, 379013: 13, 316135: 13, 570557: 4, 302261: 11, 527474: 7, 226657: 11, 289351: 12, 446132: 9, 560347: 5, 335902: 12, 360334: 12, 88624: 8, 276202: 11, 328662: 11, 400394: 10, 373040: 10, 424312: 9, 308820: 11, 460220: 6, 243556: 10, 402400: 7, 284815: 10, 430873: 7, 266307: 9, 494920: 6, 5367: 1, 374809: 5, 8109: 1, 12872: 1, 41067: 4, 257718: 8, 15675: 1, 213395: 8, 174845: 7, 262995: 8, 164018: 6, 291608: 7, 260985: 6, 589027: 3, 473731: 4, 529124: 4, 112430: 5, 201880: 6, 32547: 1, 570201: 3, 132340: 4, 320387: 4, 70918: 2, 161630: 3, 39804: 1, 362352: 3, 176700: 2, 451005: 4, 436044: 3, 594480: 1, 409187: 2, 591787: 1, 77333: 1, 185321: 2, 181826: 1, 451654: 1}
{113815: 12, 528285: 10, 6723: 2, 287126: 22, 379269: 19, 585812: 4, 144823: 14, 151502: 14, 130233: 11, 525724: 10, 228338: 15, 509996: 11, 91313: 9, 321083: 19, 493829: 11, 511516: 10, 140764: 11, 324282: 18, 255455: 15, 437099: 14, 6895: 2, 60718: 6, 267353: 16, 370183: 17, 260365: 14, 442234: 13, 331747: 16, 463346: 10, 243359: 14, 568339: 6, 243101: 13, 379013: 13, 316135: 13, 570557: 4, 302261: 11, 527474: 7, 226657: 12, 289351: 12, 446132: 9, 560347: 5, 335902: 12, 360334: 12, 88624: 8, 276202: 11, 328662: 11, 400394: 10, 373040: 10, 424312: 9, 308820: 11, 460220: 6, 243556: 11, 402400: 7, 284815: 10, 430873: 7, 266307: 9, 494920: 6, 5367: 1, 374809: 5, 8109: 1, 12872: 1, 41067: 4, 257718: 8, 15675: 1, 213395: 9, 174845: 7, 262995: 8, 164018: 6, 291608: 7, 260985: 6, 589027: 3, 473731: 4, 529124: 4, 112430: 5, 201880: 7, 32547: 1, 570201: 3, 132340: 4, 320387: 4, 70918: 2, 161630: 3, 39804: 1, 362352: 3, 176700: 2, 451005: 4, 436044: 3, 594480: 1, 409187: 2, 591787: 1, 77333: 1, 185321: 2, 181826: 1, 451654: 1, 194838: 1, 244595: 1}
{113815: 13, 528285: 10, 6723: 2, 287126: 23, 379269: 19, 585812: 4, 144823: 15, 151502: 15, 130233: 12, 525724: 10, 228338: 16, 509996: 11, 91313: 9, 321083: 19, 493829: 11, 511516: 10, 140764: 12, 324282: 18, 255455: 16, 437099: 14, 6895: 2, 60718: 6, 267353: 17, 370183: 17, 260365: 15, 442234: 13, 331747: 16, 463346: 10, 243359: 15, 568339: 6, 243101: 14, 379013: 13, 316135: 13, 570557: 4, 302261: 11, 527474: 7, 226657: 13, 289351: 13, 446132: 9, 560347: 5, 335902: 12, 360334: 12, 88624: 8, 276202: 12, 328662: 11, 400394: 10, 373040: 10, 424312: 9, 308820: 11, 460220: 6, 243556: 12, 402400: 7, 284815: 11, 430873: 7, 266307: 10, 494920: 6, 5367: 1, 374809: 5, 8109: 1, 12872: 1, 41067: 4, 257718: 9, 15675: 1, 213395: 10, 174845: 8, 262995: 9, 164018: 7, 291608: 8, 260985: 7, 589027: 3, 473731: 4, 529124: 4, 112430: 6, 201880: 8, 32547: 1, 570201: 3, 132340: 5, 320387: 4, 70918: 2, 161630: 4, 39804: 1, 362352: 3, 176700: 3, 451005: 4, 436044: 3, 594480: 1, 409187: 2, 591787: 1, 77333: 1, 185321: 3, 181826: 2, 451654: 1, 194838: 2, 244595: 2, 110506: 1, 299743: 1}
{113815: 14, 528285: 10, 6723: 2, 287126: 24, 379269: 20, 585812: 4, 144823: 16, 151502: 16, 130233: 13, 525724: 10, 228338: 17, 509996: 11, 91313: 10, 321083: 20, 493829: 12, 511516: 10, 140764: 13, 324282: 19, 255455: 17, 437099: 15, 6895: 2, 60718: 7, 267353: 18, 370183: 18, 260365: 16, 442234: 14, 331747: 17, 463346: 11, 243359: 16, 568339: 6, 243101: 15, 379013: 14, 316135: 14, 570557: 4, 302261: 12, 527474: 7, 226657: 14, 289351: 14, 446132: 10, 560347: 5, 335902: 13, 360334: 13, 88624: 9, 276202: 13, 328662: 12, 400394: 11, 373040: 11, 424312: 10, 308820: 12, 460220: 7, 243556: 13, 402400: 8, 284815: 12, 430873: 8, 266307: 11, 494920: 7, 5367: 1, 374809: 6, 8109: 1, 12872: 1, 41067: 4, 257718: 10, 15675: 1, 213395: 11, 174845: 9, 262995: 10, 164018: 8, 291608: 9, 260985: 8, 589027: 3, 473731: 5, 529124: 4, 112430: 7, 201880: 9, 32547: 1, 570201: 3, 132340: 6, 320387: 5, 70918: 3, 161630: 5, 39804: 1, 362352: 4, 176700: 4, 451005: 5, 436044: 4, 594480: 1, 409187: 3, 591787: 1, 77333: 2, 185321: 4, 181826: 3, 451654: 2, 194838: 3, 244595: 3, 110506: 2, 299743: 2, 42910: 1, 497652: 1}
{113815: 15, 528285: 10, 6723: 2, 287126: 24, 379269: 20, 585812: 4, 144823: 17, 151502: 17, 130233: 14, 525724: 10, 228338: 18, 509996: 11, 91313: 11, 321083: 20, 493829: 12, 511516: 10, 140764: 14, 324282: 19, 255455: 18, 437099: 15, 6895: 2, 60718: 7, 267353: 18, 370183: 18, 260365: 17, 442234: 14, 331747: 17, 463346: 11, 243359: 17, 568339: 6, 243101: 16, 379013: 14, 316135: 14, 570557: 4, 302261: 12, 527474: 7, 226657: 15, 289351: 14, 446132: 10, 560347: 5, 335902: 13, 360334: 13, 88624: 10, 276202: 13, 328662: 12, 400394: 11, 373040: 11, 424312: 10, 308820: 12, 460220: 7, 243556: 14, 402400: 8, 284815: 12, 430873: 8, 266307: 11, 494920: 7, 5367: 1, 374809: 6, 8109: 1, 12872: 1, 41067: 4, 257718: 11, 15675: 1, 213395: 12, 174845: 10, 262995: 11, 164018: 9, 291608: 9, 260985: 9, 589027: 3, 473731: 5, 529124: 4, 112430: 8, 201880: 10, 32547: 1, 570201: 3, 132340: 7, 320387: 5, 70918: 3, 161630: 6, 39804: 1, 362352: 4, 176700: 5, 451005: 5, 436044: 4, 594480: 1, 409187: 3, 591787: 1, 77333: 3, 185321: 5, 181826: 4, 451654: 2, 194838: 4, 244595: 4, 110506: 3, 299743: 2, 42910: 1, 497652: 1, 71080: 1, 266268: 1}
{113815: 15, 528285: 10, 6723: 2, 287126: 25, 379269: 20, 585812: 4, 144823: 18, 151502: 18, 130233: 14, 525724: 10, 228338: 19, 509996: 11, 91313: 11, 321083: 21, 493829: 12, 511516: 10, 140764: 15, 324282: 20, 255455: 19, 437099: 15, 6895: 2, 60718: 7, 267353: 19, 370183: 18, 260365: 18, 442234: 14, 331747: 18, 463346: 11, 243359: 18, 568339: 6, 243101: 17, 379013: 14, 316135: 15, 570557: 4, 302261: 13, 527474: 7, 226657: 16, 289351: 15, 446132: 10, 560347: 5, 335902: 14, 360334: 13, 88624: 10, 276202: 14, 328662: 13, 400394: 11, 373040: 11, 424312: 10, 308820: 13, 460220: 7, 243556: 15, 402400: 8, 284815: 13, 430873: 8, 266307: 12, 494920: 7, 5367: 1, 374809: 6, 8109: 1, 12872: 1, 41067: 4, 257718: 12, 15675: 1, 213395: 13, 174845: 11, 262995: 12, 164018: 10, 291608: 10, 260985: 10, 589027: 3, 473731: 5, 529124: 4, 112430: 8, 201880: 11, 32547: 1, 570201: 3, 132340: 7, 320387: 6, 70918: 3, 161630: 7, 39804: 1, 362352: 4, 176700: 6, 451005: 5, 436044: 4, 594480: 1, 409187: 3, 591787: 1, 77333: 3, 185321: 6, 181826: 5, 451654: 2, 194838: 5, 244595: 5, 110506: 3, 299743: 3, 42910: 1, 497652: 1, 71080: 1, 266268: 2, 135950: 1, 355120: 1}
{113815: 15, 528285: 10, 6723: 2, 287126: 25, 379269: 21, 585812: 4, 144823: 18, 151502: 18, 130233: 14, 525724: 10, 228338: 19, 509996: 11, 91313: 11, 321083: 21, 493829: 12, 511516: 10, 140764: 15, 324282: 21, 255455: 19, 437099: 16, 6895: 2, 60718: 7, 267353: 19, 370183: 19, 260365: 18, 442234: 15, 331747: 19, 463346: 12, 243359: 18, 568339: 6, 243101: 17, 379013: 15, 316135: 15, 570557: 4, 302261: 13, 527474: 7, 226657: 16, 289351: 15, 446132: 11, 560347: 5, 335902: 15, 360334: 14, 88624: 10, 276202: 14, 328662: 14, 400394: 12, 373040: 12, 424312: 11, 308820: 13, 460220: 8, 243556: 15, 402400: 9, 284815: 13, 430873: 9, 266307: 12, 494920: 7, 5367: 1, 374809: 7, 8109: 1, 12872: 1, 41067: 4, 257718: 12, 15675: 1, 213395: 13, 174845: 11, 262995: 12, 164018: 10, 291608: 10, 260985: 10, 589027: 3, 473731: 5, 529124: 4, 112430: 8, 201880: 11, 32547: 1, 570201: 3, 132340: 7, 320387: 6, 70918: 3, 161630: 7, 39804: 1, 362352: 5, 176700: 6, 451005: 6, 436044: 5, 594480: 1, 409187: 4, 591787: 1, 77333: 3, 185321: 6, 181826: 5, 451654: 3, 194838: 5, 244595: 5, 110506: 3, 299743: 3, 42910: 1, 497652: 1, 71080: 1, 266268: 2, 135950: 1, 355120: 2, 321164: 1, 473374: 1}
{113815: 15, 528285: 10, 6723: 2, 287126: 26, 379269: 22, 585812: 4, 144823: 18, 151502: 18, 130233: 14, 525724: 10, 228338: 19, 509996: 11, 91313: 11, 321083: 22, 493829: 12, 511516: 10, 140764: 15, 324282: 22, 255455: 20, 437099: 16, 6895: 2, 60718: 7, 267353: 20, 370183: 20, 260365: 19, 442234: 15, 331747: 20, 463346: 12, 243359: 19, 568339: 6, 243101: 18, 379013: 16, 316135: 16, 570557: 4, 302261: 14, 527474: 7, 226657: 16, 289351: 16, 446132: 11, 560347: 5, 335902: 16, 360334: 15, 88624: 10, 276202: 15, 328662: 15, 400394: 13, 373040: 13, 424312: 12, 308820: 14, 460220: 8, 243556: 16, 402400: 10, 284815: 14, 430873: 9, 266307: 13, 494920: 7, 5367: 1, 374809: 8, 8109: 1, 12872: 1, 41067: 4, 257718: 13, 15675: 1, 213395: 13, 174845: 11, 262995: 13, 164018: 10, 291608: 11, 260985: 11, 589027: 3, 473731: 5, 529124: 4, 112430: 8, 201880: 11, 32547: 1, 570201: 3, 132340: 7, 320387: 7, 70918: 3, 161630: 7, 39804: 1, 362352: 6, 176700: 6, 451005: 6, 436044: 5, 594480: 1, 409187: 5, 591787: 1, 77333: 3, 185321: 6, 181826: 5, 451654: 3, 194838: 5, 244595: 6, 110506: 3, 299743: 4, 42910: 1, 497652: 1, 71080: 1, 266268: 3, 135950: 1, 355120: 3, 321164: 2, 473374: 1, 238087: 1, 427329: 1}
{113815: 16, 528285: 11, 6723: 2, 287126: 27, 379269: 23, 585812: 4, 144823: 19, 151502: 19, 130233: 15, 525724: 11, 228338: 20, 509996: 12, 91313: 12, 321083: 23, 493829: 13, 511516: 11, 140764: 16, 324282: 23, 255455: 21, 437099: 17, 6895: 2, 60718: 8, 267353: 21, 370183: 21, 260365: 20, 442234: 16, 331747: 21, 463346: 13, 243359: 20, 568339: 7, 243101: 19, 379013: 17, 316135: 17, 570557: 5, 302261: 15, 527474: 8, 226657: 17, 289351: 17, 446132: 12, 560347: 6, 335902: 17, 360334: 16, 88624: 11, 276202: 16, 328662: 16, 400394: 14, 373040: 14, 424312: 13, 308820: 15, 460220: 9, 243556: 17, 402400: 11, 284815: 15, 430873: 10, 266307: 14, 494920: 8, 5367: 1, 374809: 9, 8109: 1, 12872: 1, 41067: 5, 257718: 14, 15675: 1, 213395: 14, 174845: 12, 262995: 14, 164018: 11, 291608: 12, 260985: 12, 589027: 3, 473731: 6, 529124: 5, 112430: 9, 201880: 12, 32547: 2, 570201: 4, 132340: 8, 320387: 8, 70918: 4, 161630: 8, 39804: 2, 362352: 7, 176700: 7, 451005: 7, 436044: 6, 594480: 1, 409187: 6, 591787: 1, 77333: 4, 185321: 7, 181826: 6, 451654: 4, 194838: 6, 244595: 7, 110506: 4, 299743: 5, 42910: 2, 497652: 2, 71080: 2, 266268: 4, 135950: 2, 355120: 4, 321164: 3, 473374: 2, 238087: 2, 427329: 2, 19698: 1, 571697: 1}
{113815: 16, 528285: 12, 6723: 2, 287126: 27, 379269: 24, 585812: 4, 144823: 19, 151502: 19, 130233: 15, 525724: 12, 228338: 20, 509996: 13, 91313: 12, 321083: 24, 493829: 14, 511516: 12, 140764: 16, 324282: 24, 255455: 21, 437099: 18, 6895: 2, 60718: 8, 267353: 21, 370183: 22, 260365: 20, 442234: 17, 331747: 22, 463346: 14, 243359: 20, 568339: 7, 243101: 19, 379013: 18, 316135: 18, 570557: 5, 302261: 15, 527474: 9, 226657: 17, 289351: 17, 446132: 13, 560347: 6, 335902: 18, 360334: 17, 88624: 11, 276202: 16, 328662: 17, 400394: 15, 373040: 15, 424312: 14, 308820: 15, 460220: 10, 243556: 17, 402400: 12, 284815: 15, 430873: 11, 266307: 14, 494920: 9, 5367: 1, 374809: 10, 8109: 1, 12872: 1, 41067: 5, 257718: 14, 15675: 1, 213395: 14, 174845: 12, 262995: 14, 164018: 11, 291608: 12, 260985: 12, 589027: 3, 473731: 7, 529124: 6, 112430: 9, 201880: 12, 32547: 2, 570201: 4, 132340: 8, 320387: 9, 70918: 4, 161630: 8, 39804: 2, 362352: 8, 176700: 7, 451005: 8, 436044: 7, 594480: 1, 409187: 7, 591787: 1, 77333: 4, 185321: 7, 181826: 6, 451654: 5, 194838: 6, 244595: 7, 110506: 4, 299743: 5, 42910: 2, 497652: 3, 71080: 2, 266268: 4, 135950: 2, 355120: 5, 321164: 4, 473374: 3, 238087: 2, 427329: 3, 19698: 1, 571697: 1, 308821: 1, 542025: 1}
{113815: 17, 528285: 12, 6723: 2, 287126: 28, 379269: 24, 585812: 4, 144823: 20, 151502: 20, 130233: 16, 525724: 12, 228338: 21, 509996: 13, 91313: 13, 321083: 24, 493829: 14, 511516: 12, 140764: 17, 324282: 24, 255455: 22, 437099: 18, 6895: 2, 60718: 8, 267353: 22, 370183: 22, 260365: 21, 442234: 17, 331747: 22, 463346: 14, 243359: 21, 568339: 7, 243101: 20, 379013: 18, 316135: 18, 570557: 5, 302261: 16, 527474: 9, 226657: 18, 289351: 18, 446132: 13, 560347: 6, 335902: 18, 360334: 17, 88624: 12, 276202: 17, 328662: 17, 400394: 15, 373040: 15, 424312: 14, 308820: 16, 460220: 10, 243556: 18, 402400: 12, 284815: 16, 430873: 11, 266307: 15, 494920: 9, 5367: 1, 374809: 10, 8109: 1, 12872: 1, 41067: 5, 257718: 15, 15675: 1, 213395: 15, 174845: 13, 262995: 15, 164018: 12, 291608: 13, 260985: 13, 589027: 3, 473731: 7, 529124: 6, 112430: 10, 201880: 13, 32547: 2, 570201: 4, 132340: 9, 320387: 9, 70918: 5, 161630: 9, 39804: 2, 362352: 8, 176700: 8, 451005: 8, 436044: 7, 594480: 1, 409187: 7, 591787: 1, 77333: 5, 185321: 8, 181826: 7, 451654: 5, 194838: 7, 244595: 8, 110506: 5, 299743: 6, 42910: 2, 497652: 3, 71080: 3, 266268: 5, 135950: 3, 355120: 5, 321164: 4, 473374: 3, 238087: 3, 427329: 3, 19698: 1, 571697: 1, 308821: 2, 542025: 1, 64608: 1, 310663: 1}
{113815: 17, 528285: 12, 6723: 2, 287126: 29, 379269: 25, 585812: 4, 144823: 20, 151502: 20, 130233: 16, 525724: 12, 228338: 22, 509996: 13, 91313: 13, 321083: 25, 493829: 15, 511516: 12, 140764: 17, 324282: 25, 255455: 23, 437099: 19, 6895: 2, 60718: 8, 267353: 23, 370183: 23, 260365: 22, 442234: 18, 331747: 23, 463346: 15, 243359: 22, 568339: 7, 243101: 21, 379013: 19, 316135: 19, 570557: 5, 302261: 17, 527474: 9, 226657: 19, 289351: 19, 446132: 14, 560347: 6, 335902: 19, 360334: 18, 88624: 12, 276202: 18, 328662: 18, 400394: 16, 373040: 16, 424312: 15, 308820: 17, 460220: 11, 243556: 19, 402400: 13, 284815: 17, 430873: 12, 266307: 16, 494920: 10, 5367: 1, 374809: 11, 8109: 1, 12872: 1, 41067: 5, 257718: 16, 15675: 1, 213395: 16, 174845: 13, 262995: 16, 164018: 12, 291608: 14, 260985: 14, 589027: 3, 473731: 8, 529124: 6, 112430: 10, 201880: 13, 32547: 2, 570201: 4, 132340: 9, 320387: 10, 70918: 5, 161630: 9, 39804: 2, 362352: 9, 176700: 8, 451005: 9, 436044: 8, 594480: 1, 409187: 8, 591787: 1, 77333: 5, 185321: 8, 181826: 7, 451654: 6, 194838: 7, 244595: 9, 110506: 5, 299743: 7, 42910: 2, 497652: 4, 71080: 3, 266268: 6, 135950: 3, 355120: 6, 321164: 5, 473374: 4, 238087: 4, 427329: 4, 19698: 1, 571697: 1, 308821: 3, 542025: 1, 64608: 1, 310663: 2, 208949: 1, 502055: 1}
{113815: 17, 528285: 12, 6723: 2, 287126: 30, 379269: 26, 585812: 4, 144823: 21, 151502: 21, 130233: 16, 525724: 12, 228338: 23, 509996: 13, 91313: 13, 321083: 26, 493829: 15, 511516: 12, 140764: 17, 324282: 26, 255455: 24, 437099: 19, 6895: 2, 60718: 8, 267353: 24, 370183: 24, 260365: 23, 442234: 18, 331747: 24, 463346: 15, 243359: 23, 568339: 7, 243101: 22, 379013: 20, 316135: 20, 570557: 5, 302261: 18, 527474: 9, 226657: 20, 289351: 20, 446132: 14, 560347: 6, 335902: 20, 360334: 19, 88624: 12, 276202: 19, 328662: 19, 400394: 17, 373040: 17, 424312: 15, 308820: 18, 460220: 11, 243556: 20, 402400: 14, 284815: 18, 430873: 12, 266307: 17, 494920: 10, 5367: 1, 374809: 12, 8109: 1, 12872: 1, 41067: 5, 257718: 17, 15675: 1, 213395: 17, 174845: 14, 262995: 17, 164018: 13, 291608: 15, 260985: 15, 589027: 3, 473731: 8, 529124: 6, 112430: 10, 201880: 14, 32547: 2, 570201: 4, 132340: 9, 320387: 11, 70918: 5, 161630: 10, 39804: 2, 362352: 10, 176700: 9, 451005: 9, 436044: 8, 594480: 1, 409187: 8, 591787: 1, 77333: 5, 185321: 9, 181826: 8, 451654: 6, 194838: 8, 244595: 10, 110506: 5, 299743: 8, 42910: 2, 497652: 4, 71080: 3, 266268: 7, 135950: 3, 355120: 7, 321164: 6, 473374: 4, 238087: 5, 427329: 4, 19698: 1, 571697: 1, 308821: 4, 542025: 1, 64608: 1, 310663: 3, 208949: 2, 502055: 1, 144196: 1, 407403: 1}
{113815: 17, 528285: 13, 6723: 2, 287126: 30, 379269: 26, 585812: 5, 144823: 21, 151502: 21, 130233: 16, 525724: 13, 228338: 23, 509996: 14, 91313: 13, 321083: 26, 493829: 16, 511516: 13, 140764: 17, 324282: 26, 255455: 24, 437099: 20, 6895: 2, 60718: 8, 267353: 24, 370183: 24, 260365: 23, 442234: 19, 331747: 24, 463346: 16, 243359: 23, 568339: 8, 243101: 22, 379013: 20, 316135: 20, 570557: 6, 302261: 18, 527474: 10, 226657: 20, 289351: 20, 446132: 15, 560347: 7, 335902: 20, 360334: 19, 88624: 12, 276202: 19, 328662: 19, 400394: 17, 373040: 17, 424312: 15, 308820: 18, 460220: 12, 243556: 20, 402400: 14, 284815: 18, 430873: 12, 266307: 17, 494920: 11, 5367: 1, 374809: 12, 8109: 1, 12872: 1, 41067: 5, 257718: 17, 15675: 1, 213395: 17, 174845: 14, 262995: 17, 164018: 13, 291608: 15, 260985: 15, 589027: 4, 473731: 9, 529124: 7, 112430: 10, 201880: 14, 32547: 2, 570201: 5, 132340: 9, 320387: 11, 70918: 5, 161630: 10, 39804: 2, 362352: 10, 176700: 9, 451005: 10, 436044: 9, 594480: 2, 409187: 8, 591787: 2, 77333: 5, 185321: 9, 181826: 8, 451654: 7, 194838: 8, 244595: 10, 110506: 5, 299743: 8, 42910: 2, 497652: 5, 71080: 3, 266268: 7, 135950: 3, 355120: 7, 321164: 6, 473374: 5, 238087: 5, 427329: 4, 19698: 1, 571697: 2, 308821: 4, 542025: 2, 64608: 1, 310663: 3, 208949: 2, 502055: 2, 144196: 1, 407403: 1, 435895: 1, 595616: 1}
{113815: 18, 528285: 13, 6723: 2, 287126: 30, 379269: 26, 585812: 5, 144823: 22, 151502: 22, 130233: 17, 525724: 13, 228338: 23, 509996: 14, 91313: 14, 321083: 26, 493829: 16, 511516: 13, 140764: 18, 324282: 26, 255455: 24, 437099: 20, 6895: 2, 60718: 8, 267353: 24, 370183: 24, 260365: 23, 442234: 19, 331747: 24, 463346: 16, 243359: 23, 568339: 8, 243101: 22, 379013: 20, 316135: 20, 570557: 6, 302261: 18, 527474: 10, 226657: 20, 289351: 20, 446132: 15, 560347: 7, 335902: 20, 360334: 19, 88624: 13, 276202: 19, 328662: 19, 400394: 17, 373040: 17, 424312: 15, 308820: 18, 460220: 12, 243556: 20, 402400: 14, 284815: 18, 430873: 12, 266307: 17, 494920: 11, 5367: 1, 374809: 12, 8109: 1, 12872: 1, 41067: 5, 257718: 17, 15675: 1, 213395: 17, 174845: 15, 262995: 17, 164018: 14, 291608: 15, 260985: 15, 589027: 4, 473731: 9, 529124: 7, 112430: 11, 201880: 14, 32547: 2, 570201: 5, 132340: 10, 320387: 11, 70918: 5, 161630: 11, 39804: 2, 362352: 10, 176700: 10, 451005: 10, 436044: 9, 594480: 2, 409187: 8, 591787: 2, 77333: 6, 185321: 10, 181826: 9, 451654: 7, 194838: 8, 244595: 10, 110506: 6, 299743: 8, 42910: 2, 497652: 5, 71080: 3, 266268: 7, 135950: 4, 355120: 7, 321164: 6, 473374: 5, 238087: 5, 427329: 4, 19698: 1, 571697: 2, 308821: 4, 542025: 2, 64608: 1, 310663: 3, 208949: 2, 502055: 2, 144196: 2, 407403: 1, 435895: 1, 595616: 1, 73614: 1, 193779: 1}
{113815: 19, 528285: 13, 6723: 2, 287126: 31, 379269: 27, 585812: 5, 144823: 23, 151502: 23, 130233: 18, 525724: 13, 228338: 24, 509996: 15, 91313: 15, 321083: 27, 493829: 17, 511516: 14, 140764: 19, 324282: 27, 255455: 25, 437099: 21, 6895: 2, 60718: 9, 267353: 25, 370183: 25, 260365: 24, 442234: 20, 331747: 25, 463346: 17, 243359: 24, 568339: 8, 243101: 23, 379013: 21, 316135: 21, 570557: 6, 302261: 19, 527474: 10, 226657: 21, 289351: 21, 446132: 16, 560347: 7, 335902: 21, 360334: 20, 88624: 14, 276202: 20, 328662: 20, 400394: 18, 373040: 18, 424312: 16, 308820: 19, 460220: 13, 243556: 21, 402400: 15, 284815: 19, 430873: 13, 266307: 18, 494920: 12, 5367: 1, 374809: 13, 8109: 1, 12872: 1, 41067: 6, 257718: 18, 15675: 1, 213395: 18, 174845: 16, 262995: 18, 164018: 15, 291608: 16, 260985: 16, 589027: 4, 473731: 10, 529124: 7, 112430: 12, 201880: 15, 32547: 3, 570201: 5, 132340: 11, 320387: 12, 70918: 6, 161630: 12, 39804: 3, 362352: 11, 176700: 11, 451005: 11, 436044: 10, 594480: 2, 409187: 9, 591787: 2, 77333: 7, 185321: 11, 181826: 10, 451654: 8, 194838: 9, 244595: 11, 110506: 7, 299743: 9, 42910: 3, 497652: 6, 71080: 4, 266268: 8, 135950: 5, 355120: 8, 321164: 7, 473374: 6, 238087: 6, 427329: 5, 19698: 2, 571697: 2, 308821: 5, 542025: 2, 64608: 2, 310663: 4, 208949: 3, 502055: 3, 144196: 3, 407403: 2, 435895: 2, 595616: 1, 73614: 2, 193779: 2, 17379: 1, 523950: 1}
{113815: 19, 528285: 14, 6723: 2, 287126: 32, 379269: 28, 585812: 5, 144823: 23, 151502: 23, 130233: 18, 525724: 14, 228338: 25, 509996: 16, 91313: 15, 321083: 28, 493829: 18, 511516: 15, 140764: 19, 324282: 28, 255455: 26, 437099: 22, 6895: 2, 60718: 9, 267353: 26, 370183: 26, 260365: 25, 442234: 21, 331747: 26, 463346: 18, 243359: 25, 568339: 8, 243101: 24, 379013: 22, 316135: 22, 570557: 6, 302261: 20, 527474: 11, 226657: 22, 289351: 22, 446132: 17, 560347: 8, 335902: 22, 360334: 21, 88624: 14, 276202: 21, 328662: 21, 400394: 19, 373040: 19, 424312: 17, 308820: 20, 460220: 14, 243556: 22, 402400: 16, 284815: 20, 430873: 14, 266307: 19, 494920: 13, 5367: 1, 374809: 14, 8109: 1, 12872: 1, 41067: 6, 257718: 19, 15675: 1, 213395: 19, 174845: 16, 262995: 19, 164018: 15, 291608: 17, 260985: 17, 589027: 4, 473731: 11, 529124: 8, 112430: 12, 201880: 16, 32547: 3, 570201: 5, 132340: 11, 320387: 13, 70918: 6, 161630: 12, 39804: 3, 362352: 12, 176700: 11, 451005: 12, 436044: 11, 594480: 2, 409187: 10, 591787: 2, 77333: 7, 185321: 11, 181826: 10, 451654: 9, 194838: 9, 244595: 12, 110506: 7, 299743: 10, 42910: 3, 497652: 7, 71080: 4, 266268: 9, 135950: 5, 355120: 9, 321164: 8, 473374: 7, 238087: 7, 427329: 6, 19698: 2, 571697: 2, 308821: 6, 542025: 3, 64608: 2, 310663: 5, 208949: 4, 502055: 4, 144196: 3, 407403: 3, 435895: 3, 595616: 1, 73614: 2, 193779: 2, 17379: 1, 523950: 2, 201193: 1, 562399: 1}
{113815: 19, 528285: 14, 6723: 2, 287126: 32, 379269: 28, 585812: 5, 144823: 24, 151502: 24, 130233: 19, 525724: 14, 228338: 25, 509996: 16, 91313: 15, 321083: 28, 493829: 18, 511516: 15, 140764: 20, 324282: 28, 255455: 26, 437099: 22, 6895: 2, 60718: 9, 267353: 26, 370183: 26, 260365: 25, 442234: 21, 331747: 26, 463346: 18, 243359: 25, 568339: 8, 243101: 24, 379013: 22, 316135: 22, 570557: 6, 302261: 20, 527474: 11, 226657: 22, 289351: 22, 446132: 17, 560347: 8, 335902: 22, 360334: 21, 88624: 14, 276202: 21, 328662: 21, 400394: 19, 373040: 19, 424312: 17, 308820: 20, 460220: 14, 243556: 22, 402400: 16, 284815: 20, 430873: 14, 266307: 19, 494920: 13, 5367: 1, 374809: 14, 8109: 1, 12872: 1, 41067: 6, 257718: 19, 15675: 1, 213395: 19, 174845: 17, 262995: 19, 164018: 16, 291608: 17, 260985: 17, 589027: 4, 473731: 11, 529124: 8, 112430: 12, 201880: 17, 32547: 3, 570201: 5, 132340: 12, 320387: 13, 70918: 6, 161630: 13, 39804: 3, 362352: 12, 176700: 12, 451005: 12, 436044: 11, 594480: 2, 409187: 10, 591787: 2, 77333: 7, 185321: 12, 181826: 11, 451654: 9, 194838: 10, 244595: 12, 110506: 7, 299743: 10, 42910: 3, 497652: 7, 71080: 4, 266268: 9, 135950: 6, 355120: 9, 321164: 8, 473374: 7, 238087: 7, 427329: 6, 19698: 2, 571697: 2, 308821: 6, 542025: 3, 64608: 2, 310663: 5, 208949: 5, 502055: 4, 144196: 4, 407403: 3, 435895: 3, 595616: 1, 73614: 2, 193779: 3, 17379: 1, 523950: 2, 201193: 2, 562399: 1, 123031: 1, 212713: 1}
{113815: 19, 528285: 14, 6723: 2, 287126: 32, 379269: 28, 585812: 5, 144823: 24, 151502: 24, 130233: 19, 525724: 14, 228338: 26, 509996: 16, 91313: 15, 321083: 28, 493829: 18, 511516: 15, 140764: 20, 324282: 28, 255455: 27, 437099: 22, 6895: 2, 60718: 9, 267353: 27, 370183: 26, 260365: 26, 442234: 21, 331747: 26, 463346: 18, 243359: 26, 568339: 8, 243101: 25, 379013: 22, 316135: 22, 570557: 6, 302261: 20, 527474: 11, 226657: 23, 289351: 22, 446132: 17, 560347: 8, 335902: 22, 360334: 21, 88624: 14, 276202: 22, 328662: 21, 400394: 19, 373040: 19, 424312: 17, 308820: 20, 460220: 14, 243556: 23, 402400: 16, 284815: 21, 430873: 14, 266307: 20, 494920: 13, 5367: 1, 374809: 14, 8109: 1, 12872: 1, 41067: 6, 257718: 20, 15675: 1, 213395: 20, 174845: 18, 262995: 20, 164018: 16, 291608: 17, 260985: 18, 589027: 4, 473731: 11, 529124: 8, 112430: 12, 201880: 18, 32547: 3, 570201: 5, 132340: 12, 320387: 13, 70918: 6, 161630: 13, 39804: 3, 362352: 12, 176700: 13, 451005: 12, 436044: 11, 594480: 2, 409187: 10, 591787: 2, 77333: 7, 185321: 13, 181826: 12, 451654: 9, 194838: 11, 244595: 13, 110506: 7, 299743: 10, 42910: 3, 497652: 7, 71080: 4, 266268: 10, 135950: 6, 355120: 9, 321164: 8, 473374: 7, 238087: 8, 427329: 6, 19698: 2, 571697: 2, 308821: 6, 542025: 3, 64608: 2, 310663: 5, 208949: 6, 502055: 4, 144196: 4, 407403: 3, 435895: 3, 595616: 1, 73614: 2, 193779: 4, 17379: 1, 523950: 2, 201193: 3, 562399: 1, 123031: 1, 212713: 2, 166002: 1, 285024: 1}
{113815: 19, 528285: 14, 6723: 2, 287126: 32, 379269: 28, 585812: 5, 144823: 24, 151502: 24, 130233: 19, 525724: 14, 228338: 27, 509996: 16, 91313: 15, 321083: 28, 493829: 18, 511516: 15, 140764: 20, 324282: 28, 255455: 27, 437099: 22, 6895: 2, 60718: 9, 267353: 27, 370183: 26, 260365: 26, 442234: 21, 331747: 26, 463346: 18, 243359: 26, 568339: 8, 243101: 25, 379013: 22, 316135: 22, 570557: 6, 302261: 20, 527474: 11, 226657: 24, 289351: 22, 446132: 17, 560347: 8, 335902: 22, 360334: 21, 88624: 14, 276202: 22, 328662: 21, 400394: 19, 373040: 19, 424312: 17, 308820: 20, 460220: 14, 243556: 23, 402400: 16, 284815: 21, 430873: 14, 266307: 20, 494920: 13, 5367: 1, 374809: 14, 8109: 1, 12872: 1, 41067: 6, 257718: 20, 15675: 1, 213395: 21, 174845: 18, 262995: 20, 164018: 16, 291608: 17, 260985: 18, 589027: 4, 473731: 11, 529124: 8, 112430: 12, 201880: 19, 32547: 3, 570201: 5, 132340: 12, 320387: 13, 70918: 6, 161630: 13, 39804: 3, 362352: 12, 176700: 13, 451005: 12, 436044: 11, 594480: 2, 409187: 10, 591787: 2, 77333: 7, 185321: 14, 181826: 13, 451654: 9, 194838: 12, 244595: 13, 110506: 7, 299743: 10, 42910: 3, 497652: 7, 71080: 4, 266268: 10, 135950: 6, 355120: 9, 321164: 8, 473374: 7, 238087: 8, 427329: 6, 19698: 2, 571697: 2, 308821: 6, 542025: 3, 64608: 2, 310663: 5, 208949: 7, 502055: 4, 144196: 4, 407403: 3, 435895: 3, 595616: 1, 73614: 2, 193779: 5, 17379: 1, 523950: 2, 201193: 4, 562399: 1, 123031: 1, 212713: 3, 166002: 1, 285024: 1, 180566: 1, 230420: 1}
{113815: 19, 528285: 14, 6723: 2, 287126: 33, 379269: 28, 585812: 5, 144823: 24, 151502: 24, 130233: 19, 525724: 14, 228338: 27, 509996: 16, 91313: 15, 321083: 29, 493829: 18, 511516: 15, 140764: 20, 324282: 29, 255455: 27, 437099: 22, 6895: 2, 60718: 9, 267353: 27, 370183: 26, 260365: 26, 442234: 21, 331747: 27, 463346: 18, 243359: 26, 568339: 8, 243101: 25, 379013: 22, 316135: 23, 570557: 6, 302261: 21, 527474: 11, 226657: 24, 289351: 23, 446132: 17, 560347: 8, 335902: 23, 360334: 21, 88624: 14, 276202: 22, 328662: 22, 400394: 19, 373040: 19, 424312: 17, 308820: 21, 460220: 14, 243556: 23, 402400: 16, 284815: 22, 430873: 14, 266307: 20, 494920: 13, 5367: 1, 374809: 14, 8109: 1, 12872: 1, 41067: 6, 257718: 20, 15675: 1, 213395: 21, 174845: 18, 262995: 20, 164018: 16, 291608: 18, 260985: 18, 589027: 4, 473731: 11, 529124: 8, 112430: 12, 201880: 19, 32547: 3, 570201: 5, 132340: 12, 320387: 14, 70918: 6, 161630: 13, 39804: 3, 362352: 12, 176700: 13, 451005: 12, 436044: 11, 594480: 2, 409187: 10, 591787: 2, 77333: 7, 185321: 14, 181826: 13, 451654: 9, 194838: 12, 244595: 13, 110506: 7, 299743: 11, 42910: 3, 497652: 7, 71080: 4, 266268: 10, 135950: 6, 355120: 9, 321164: 9, 473374: 7, 238087: 8, 427329: 6, 19698: 2, 571697: 2, 308821: 7, 542025: 3, 64608: 2, 310663: 6, 208949: 7, 502055: 4, 144196: 4, 407403: 3, 435895: 3, 595616: 1, 73614: 2, 193779: 5, 17379: 1, 523950: 2, 201193: 4, 562399: 1, 123031: 1, 212713: 3, 166002: 1, 285024: 2, 180566: 1, 230420: 1, 283130: 1, 344968: 1}
{113815: 19, 528285: 14, 6723: 2, 287126: 33, 379269: 29, 585812: 5, 144823: 24, 151502: 24, 130233: 19, 525724: 14, 228338: 27, 509996: 16, 91313: 15, 321083: 30, 493829: 18, 511516: 15, 140764: 20, 324282: 30, 255455: 27, 437099: 23, 6895: 2, 60718: 9, 267353: 27, 370183: 27, 260365: 26, 442234: 22, 331747: 28, 463346: 18, 243359: 26, 568339: 8, 243101: 25, 379013: 23, 316135: 24, 570557: 6, 302261: 22, 527474: 11, 226657: 24, 289351: 24, 446132: 18, 560347: 8, 335902: 24, 360334: 22, 88624: 14, 276202: 22, 328662: 23, 400394: 20, 373040: 20, 424312: 18, 308820: 22, 460220: 15, 243556: 23, 402400: 17, 284815: 22, 430873: 15, 266307: 20, 494920: 13, 5367: 1, 374809: 15, 8109: 1, 12872: 1, 41067: 6, 257718: 20, 15675: 1, 213395: 21, 174845: 18, 262995: 20, 164018: 16, 291608: 19, 260985: 18, 589027: 4, 473731: 11, 529124: 8, 112430: 12, 201880: 19, 32547: 3, 570201: 5, 132340: 12, 320387: 15, 70918: 6, 161630: 13, 39804: 3, 362352: 13, 176700: 13, 451005: 13, 436044: 12, 594480: 2, 409187: 11, 591787: 2, 77333: 7, 185321: 14, 181826: 13, 451654: 10, 194838: 12, 244595: 13, 110506: 7, 299743: 12, 42910: 3, 497652: 7, 71080: 4, 266268: 10, 135950: 6, 355120: 10, 321164: 10, 473374: 7, 238087: 8, 427329: 7, 19698: 2, 571697: 2, 308821: 8, 542025: 3, 64608: 2, 310663: 7, 208949: 7, 502055: 4, 144196: 4, 407403: 4, 435895: 4, 595616: 1, 73614: 2, 193779: 5, 17379: 1, 523950: 2, 201193: 4, 562399: 1, 123031: 1, 212713: 3, 166002: 1, 285024: 2, 180566: 1, 230420: 1, 283130: 1, 344968: 2, 287786: 1, 462195: 1}
{113815: 19, 528285: 14, 6723: 2, 287126: 33, 379269: 29, 585812: 5, 144823: 24, 151502: 24, 130233: 19, 525724: 14, 228338: 27, 509996: 16, 91313: 15, 321083: 30, 493829: 18, 511516: 15, 140764: 20, 324282: 30, 255455: 27, 437099: 24, 6895: 2, 60718: 9, 267353: 27, 370183: 27, 260365: 26, 442234: 23, 331747: 28, 463346: 19, 243359: 26, 568339: 8, 243101: 25, 379013: 23, 316135: 24, 570557: 6, 302261: 22, 527474: 11, 226657: 24, 289351: 24, 446132: 19, 560347: 8, 335902: 24, 360334: 22, 88624: 14, 276202: 22, 328662: 23, 400394: 21, 373040: 20, 424312: 19, 308820: 22, 460220: 16, 243556: 23, 402400: 18, 284815: 22, 430873: 16, 266307: 20, 494920: 13, 5367: 1, 374809: 15, 8109: 1, 12872: 1, 41067: 6, 257718: 20, 15675: 1, 213395: 21, 174845: 18, 262995: 20, 164018: 16, 291608: 19, 260985: 18, 589027: 4, 473731: 12, 529124: 8, 112430: 12, 201880: 19, 32547: 3, 570201: 5, 132340: 12, 320387: 15, 70918: 6, 161630: 13, 39804: 3, 362352: 13, 176700: 13, 451005: 14, 436044: 13, 594480: 2, 409187: 12, 591787: 2, 77333: 7, 185321: 14, 181826: 13, 451654: 11, 194838: 12, 244595: 13, 110506: 7, 299743: 12, 42910: 3, 497652: 7, 71080: 4, 266268: 10, 135950: 6, 355120: 10, 321164: 10, 473374: 8, 238087: 8, 427329: 8, 19698: 2, 571697: 2, 308821: 8, 542025: 3, 64608: 2, 310663: 7, 208949: 7, 502055: 4, 144196: 4, 407403: 5, 435895: 5, 595616: 1, 73614: 2, 193779: 5, 17379: 1, 523950: 2, 201193: 4, 562399: 1, 123031: 1, 212713: 3, 166002: 1, 285024: 2, 180566: 1, 230420: 1, 283130: 1, 344968: 2, 287786: 1, 462195: 2, 399268: 1, 492740: 1}
{113815: 19, 528285: 15, 6723: 2, 287126: 33, 379269: 30, 585812: 5, 144823: 24, 151502: 24, 130233: 19, 525724: 15, 228338: 27, 509996: 17, 91313: 15, 321083: 31, 493829: 19, 511516: 16, 140764: 20, 324282: 31, 255455: 27, 437099: 25, 6895: 2, 60718: 9, 267353: 27, 370183: 28, 260365: 26, 442234: 24, 331747: 29, 463346: 20, 243359: 26, 568339: 8, 243101: 25, 379013: 24, 316135: 25, 570557: 6, 302261: 23, 527474: 12, 226657: 24, 289351: 24, 446132: 20, 560347: 9, 335902: 25, 360334: 23, 88624: 14, 276202: 22, 328662: 24, 400394: 22, 373040: 21, 424312: 20, 308820: 23, 460220: 17, 243556: 23, 402400: 19, 284815: 22, 430873: 17, 266307: 20, 494920: 14, 5367: 1, 374809: 16, 8109: 1, 12872: 1, 41067: 6, 257718: 20, 15675: 1, 213395: 21, 174845: 18, 262995: 20, 164018: 16, 291608: 19, 260985: 18, 589027: 4, 473731: 13, 529124: 9, 112430: 12, 201880: 19, 32547: 3, 570201: 5, 132340: 12, 320387: 16, 70918: 6, 161630: 13, 39804: 3, 362352: 14, 176700: 13, 451005: 15, 436044: 14, 594480: 2, 409187: 13, 591787: 2, 77333: 7, 185321: 14, 181826: 13, 451654: 12, 194838: 12, 244595: 13, 110506: 7, 299743: 13, 42910: 3, 497652: 8, 71080: 4, 266268: 10, 135950: 6, 355120: 11, 321164: 11, 473374: 9, 238087: 8, 427329: 9, 19698: 2, 571697: 2, 308821: 9, 542025: 4, 64608: 2, 310663: 8, 208949: 7, 502055: 5, 144196: 4, 407403: 6, 435895: 6, 595616: 1, 73614: 2, 193779: 5, 17379: 1, 523950: 3, 201193: 4, 562399: 2, 123031: 1, 212713: 3, 166002: 1, 285024: 2, 180566: 1, 230420: 1, 283130: 1, 344968: 3, 287786: 1, 462195: 3, 399268: 2, 492740: 2, 298552: 1, 567826: 1}
{113815: 19, 528285: 15, 6723: 2, 287126: 33, 379269: 30, 585812: 5, 144823: 24, 151502: 25, 130233: 19, 525724: 15, 228338: 27, 509996: 17, 91313: 15, 321083: 31, 493829: 19, 511516: 16, 140764: 20, 324282: 31, 255455: 27, 437099: 25, 6895: 2, 60718: 9, 267353: 27, 370183: 28, 260365: 26, 442234: 24, 331747: 29, 463346: 20, 243359: 26, 568339: 8, 243101: 25, 379013: 24, 316135: 25, 570557: 6, 302261: 23, 527474: 12, 226657: 24, 289351: 24, 446132: 20, 560347: 9, 335902: 25, 360334: 23, 88624: 14, 276202: 22, 328662: 24, 400394: 22, 373040: 21, 424312: 20, 308820: 23, 460220: 17, 243556: 23, 402400: 19, 284815: 22, 430873: 17, 266307: 20, 494920: 14, 5367: 1, 374809: 16, 8109: 1, 12872: 1, 41067: 6, 257718: 20, 15675: 1, 213395: 21, 174845: 18, 262995: 20, 164018: 17, 291608: 19, 260985: 18, 589027: 4, 473731: 13, 529124: 9, 112430: 12, 201880: 19, 32547: 3, 570201: 5, 132340: 12, 320387: 16, 70918: 6, 161630: 14, 39804: 3, 362352: 14, 176700: 13, 451005: 15, 436044: 14, 594480: 2, 409187: 13, 591787: 2, 77333: 7, 185321: 14, 181826: 13, 451654: 12, 194838: 12, 244595: 13, 110506: 7, 299743: 13, 42910: 3, 497652: 8, 71080: 4, 266268: 10, 135950: 6, 355120: 11, 321164: 11, 473374: 9, 238087: 8, 427329: 9, 19698: 2, 571697: 2, 308821: 9, 542025: 4, 64608: 2, 310663: 8, 208949: 7, 502055: 5, 144196: 4, 407403: 6, 435895: 6, 595616: 1, 73614: 2, 193779: 5, 17379: 1, 523950: 3, 201193: 4, 562399: 2, 123031: 1, 212713: 3, 166002: 2, 285024: 2, 180566: 1, 230420: 1, 283130: 1, 344968: 3, 287786: 1, 462195: 3, 399268: 2, 492740: 2, 298552: 1, 567826: 1, 146130: 1, 170614: 1}
{113815: 19, 528285: 15, 6723: 2, 287126: 34, 379269: 30, 585812: 5, 144823: 24, 151502: 25, 130233: 19, 525724: 15, 228338: 28, 509996: 17, 91313: 15, 321083: 32, 493829: 19, 511516: 16, 140764: 20, 324282: 32, 255455: 28, 437099: 25, 6895: 2, 60718: 9, 267353: 28, 370183: 28, 260365: 27, 442234: 24, 331747: 30, 463346: 20, 243359: 27, 568339: 8, 243101: 26, 379013: 24, 316135: 26, 570557: 6, 302261: 24, 527474: 12, 226657: 25, 289351: 25, 446132: 20, 560347: 9, 335902: 26, 360334: 24, 88624: 14, 276202: 23, 328662: 25, 400394: 22, 373040: 21, 424312: 20, 308820: 24, 460220: 17, 243556: 24, 402400: 19, 284815: 23, 430873: 17, 266307: 21, 494920: 14, 5367: 1, 374809: 16, 8109: 1, 12872: 1, 41067: 6, 257718: 21, 15675: 1, 213395: 22, 174845: 18, 262995: 21, 164018: 17, 291608: 20, 260985: 19, 589027: 4, 473731: 13, 529124: 9, 112430: 12, 201880: 20, 32547: 3, 570201: 5, 132340: 12, 320387: 17, 70918: 6, 161630: 14, 39804: 3, 362352: 15, 176700: 13, 451005: 15, 436044: 14, 594480: 2, 409187: 13, 591787: 2, 77333: 7, 185321: 14, 181826: 13, 451654: 12, 194838: 13, 244595: 14, 110506: 7, 299743: 14, 42910: 3, 497652: 8, 71080: 4, 266268: 11, 135950: 6, 355120: 12, 321164: 12, 473374: 9, 238087: 9, 427329: 9, 19698: 2, 571697: 2, 308821: 10, 542025: 4, 64608: 2, 310663: 9, 208949: 8, 502055: 5, 144196: 4, 407403: 6, 435895: 6, 595616: 1, 73614: 2, 193779: 6, 17379: 1, 523950: 3, 201193: 5, 562399: 2, 123031: 1, 212713: 4, 166002: 2, 285024: 3, 180566: 1, 230420: 2, 283130: 2, 344968: 4, 287786: 2, 462195: 3, 399268: 2, 492740: 2, 298552: 2, 567826: 1, 146130: 1, 170614: 1, 193362: 1, 367547: 1}
{113815: 20, 528285: 15, 6723: 2, 287126: 35, 379269: 30, 585812: 5, 144823: 25, 151502: 26, 130233: 20, 525724: 15, 228338: 29, 509996: 17, 91313: 16, 321083: 33, 493829: 19, 511516: 16, 140764: 21, 324282: 33, 255455: 29, 437099: 25, 6895: 2, 60718: 9, 267353: 29, 370183: 29, 260365: 28, 442234: 24, 331747: 31, 463346: 20, 243359: 28, 568339: 8, 243101: 27, 379013: 24, 316135: 27, 570557: 6, 302261: 25, 527474: 12, 226657: 26, 289351: 26, 446132: 20, 560347: 9, 335902: 27, 360334: 25, 88624: 14, 276202: 24, 328662: 26, 400394: 22, 373040: 22, 424312: 20, 308820: 25, 460220: 17, 243556: 25, 402400: 19, 284815: 24, 430873: 17, 266307: 22, 494920: 14, 5367: 1, 374809: 17, 8109: 1, 12872: 1, 41067: 6, 257718: 22, 15675: 1, 213395: 23, 174845: 19, 262995: 22, 164018: 18, 291608: 21, 260985: 20, 589027: 4, 473731: 13, 529124: 9, 112430: 13, 201880: 21, 32547: 3, 570201: 5, 132340: 13, 320387: 18, 70918: 6, 161630: 15, 39804: 3, 362352: 16, 176700: 14, 451005: 15, 436044: 14, 594480: 2, 409187: 13, 591787: 2, 77333: 7, 185321: 15, 181826: 14, 451654: 12, 194838: 14, 244595: 15, 110506: 8, 299743: 15, 42910: 3, 497652: 8, 71080: 4, 266268: 12, 135950: 7, 355120: 13, 321164: 13, 473374: 9, 238087: 10, 427329: 9, 19698: 2, 571697: 2, 308821: 11, 542025: 4, 64608: 2, 310663: 10, 208949: 9, 502055: 5, 144196: 5, 407403: 6, 435895: 6, 595616: 1, 73614: 2, 193779: 7, 17379: 1, 523950: 3, 201193: 6, 562399: 2, 123031: 2, 212713: 5, 166002: 3, 285024: 4, 180566: 2, 230420: 3, 283130: 3, 344968: 5, 287786: 3, 462195: 3, 399268: 2, 492740: 2, 298552: 3, 567826: 1, 146130: 2, 170614: 2, 193362: 2, 367547: 2, 88662: 1, 377888: 1}
{113815: 20, 528285: 15, 6723: 2, 287126: 36, 379269: 31, 585812: 5, 144823: 25, 151502: 26, 130233: 20, 525724: 15, 228338: 29, 509996: 17, 91313: 16, 321083: 34, 493829: 20, 511516: 16, 140764: 21, 324282: 34, 255455: 29, 437099: 26, 6895: 2, 60718: 9, 267353: 30, 370183: 30, 260365: 28, 442234: 25, 331747: 32, 463346: 21, 243359: 28, 568339: 8, 243101: 27, 379013: 25, 316135: 28, 570557: 6, 302261: 26, 527474: 12, 226657: 26, 289351: 27, 446132: 21, 560347: 9, 335902: 28, 360334: 26, 88624: 14, 276202: 25, 328662: 27, 400394: 23, 373040: 23, 424312: 21, 308820: 26, 460220: 18, 243556: 25, 402400: 20, 284815: 25, 430873: 18, 266307: 23, 494920: 15, 5367: 1, 374809: 18, 8109: 1, 12872: 1, 41067: 6, 257718: 22, 15675: 1, 213395: 23, 174845: 19, 262995: 23, 164018: 18, 291608: 22, 260985: 20, 589027: 4, 473731: 14, 529124: 9, 112430: 13, 201880: 21, 32547: 3, 570201: 5, 132340: 13, 320387: 19, 70918: 6, 161630: 15, 39804: 3, 362352: 17, 176700: 14, 451005: 16, 436044: 15, 594480: 2, 409187: 14, 591787: 2, 77333: 7, 185321: 15, 181826: 14, 451654: 13, 194838: 14, 244595: 15, 110506: 8, 299743: 16, 42910: 3, 497652: 8, 71080: 4, 266268: 13, 135950: 7, 355120: 14, 321164: 14, 473374: 10, 238087: 10, 427329: 10, 19698: 2, 571697: 2, 308821: 12, 542025: 4, 64608: 2, 310663: 11, 208949: 9, 502055: 5, 144196: 5, 407403: 7, 435895: 7, 595616: 1, 73614: 2, 193779: 7, 17379: 1, 523950: 3, 201193: 6, 562399: 2, 123031: 2, 212713: 5, 166002: 3, 285024: 5, 180566: 2, 230420: 3, 283130: 4, 344968: 6, 287786: 4, 462195: 4, 399268: 3, 492740: 3, 298552: 4, 567826: 1, 146130: 2, 170614: 2, 193362: 2, 367547: 3, 88662: 1, 377888: 2, 261579: 1, 495325: 1}
{113815: 21, 528285: 15, 6723: 2, 287126: 37, 379269: 31, 585812: 5, 144823: 26, 151502: 27, 130233: 21, 525724: 15, 228338: 30, 509996: 17, 91313: 17, 321083: 34, 493829: 20, 511516: 16, 140764: 22, 324282: 34, 255455: 30, 437099: 26, 6895: 2, 60718: 9, 267353: 31, 370183: 30, 260365: 29, 442234: 25, 331747: 32, 463346: 21, 243359: 29, 568339: 8, 243101: 28, 379013: 25, 316135: 29, 570557: 6, 302261: 27, 527474: 12, 226657: 27, 289351: 28, 446132: 21, 560347: 9, 335902: 28, 360334: 26, 88624: 15, 276202: 26, 328662: 27, 400394: 23, 373040: 23, 424312: 21, 308820: 27, 460220: 18, 243556: 26, 402400: 20, 284815: 26, 430873: 18, 266307: 24, 494920: 15, 5367: 1, 374809: 18, 8109: 1, 12872: 1, 41067: 6, 257718: 23, 15675: 1, 213395: 24, 174845: 20, 262995: 24, 164018: 19, 291608: 23, 260985: 21, 589027: 4, 473731: 14, 529124: 9, 112430: 14, 201880: 22, 32547: 3, 570201: 5, 132340: 14, 320387: 19, 70918: 7, 161630: 16, 39804: 3, 362352: 17, 176700: 15, 451005: 16, 436044: 15, 594480: 2, 409187: 14, 591787: 2, 77333: 8, 185321: 16, 181826: 15, 451654: 13, 194838: 15, 244595: 16, 110506: 9, 299743: 17, 42910: 3, 497652: 8, 71080: 5, 266268: 14, 135950: 8, 355120: 14, 321164: 14, 473374: 10, 238087: 11, 427329: 10, 19698: 2, 571697: 2, 308821: 13, 542025: 4, 64608: 2, 310663: 12, 208949: 10, 502055: 5, 144196: 6, 407403: 7, 435895: 7, 595616: 1, 73614: 3, 193779: 8, 17379: 1, 523950: 3, 201193: 7, 562399: 2, 123031: 3, 212713: 6, 166002: 4, 285024: 6, 180566: 3, 230420: 4, 283130: 5, 344968: 6, 287786: 5, 462195: 4, 399268: 3, 492740: 3, 298552: 5, 567826: 1, 146130: 3, 170614: 3, 193362: 3, 367547: 3, 88662: 2, 377888: 2, 261579: 2, 495325: 1, 68838: 1, 319164: 1}
{113815: 21, 528285: 15, 6723: 2, 287126: 38, 379269: 31, 585812: 5, 144823: 26, 151502: 27, 130233: 21, 525724: 15, 228338: 31, 509996: 17, 91313: 17, 321083: 34, 493829: 20, 511516: 16, 140764: 22, 324282: 34, 255455: 31, 437099: 26, 6895: 2, 60718: 9, 267353: 32, 370183: 30, 260365: 30, 442234: 25, 331747: 32, 463346: 21, 243359: 30, 568339: 8, 243101: 29, 379013: 25, 316135: 30, 570557: 6, 302261: 28, 527474: 12, 226657: 28, 289351: 29, 446132: 21, 560347: 9, 335902: 28, 360334: 26, 88624: 15, 276202: 27, 328662: 27, 400394: 23, 373040: 23, 424312: 21, 308820: 28, 460220: 18, 243556: 27, 402400: 20, 284815: 27, 430873: 18, 266307: 25, 494920: 15, 5367: 1, 374809: 18, 8109: 1, 12872: 1, 41067: 6, 257718: 24, 15675: 1, 213395: 25, 174845: 21, 262995: 25, 164018: 20, 291608: 24, 260985: 22, 589027: 4, 473731: 14, 529124: 9, 112430: 14, 201880: 23, 32547: 3, 570201: 5, 132340: 14, 320387: 19, 70918: 7, 161630: 16, 39804: 3, 362352: 17, 176700: 16, 451005: 16, 436044: 15, 594480: 2, 409187: 14, 591787: 2, 77333: 8, 185321: 17, 181826: 16, 451654: 13, 194838: 16, 244595: 17, 110506: 9, 299743: 18, 42910: 3, 497652: 8, 71080: 5, 266268: 15, 135950: 8, 355120: 14, 321164: 14, 473374: 10, 238087: 12, 427329: 10, 19698: 2, 571697: 2, 308821: 14, 542025: 4, 64608: 2, 310663: 13, 208949: 11, 502055: 5, 144196: 6, 407403: 7, 435895: 7, 595616: 1, 73614: 3, 193779: 9, 17379: 1, 523950: 3, 201193: 8, 562399: 2, 123031: 3, 212713: 7, 166002: 5, 285024: 7, 180566: 4, 230420: 5, 283130: 6, 344968: 6, 287786: 6, 462195: 4, 399268: 3, 492740: 3, 298552: 6, 567826: 1, 146130: 3, 170614: 4, 193362: 4, 367547: 3, 88662: 2, 377888: 2, 261579: 3, 495325: 1, 68838: 1, 319164: 2, 163395: 1, 319189: 1}
{113815: 21, 528285: 15, 6723: 2, 287126: 38, 379269: 32, 585812: 5, 144823: 26, 151502: 27, 130233: 21, 525724: 15, 228338: 31, 509996: 17, 91313: 17, 321083: 34, 493829: 20, 511516: 16, 140764: 22, 324282: 34, 255455: 31, 437099: 26, 6895: 2, 60718: 9, 267353: 32, 370183: 31, 260365: 30, 442234: 25, 331747: 32, 463346: 21, 243359: 30, 568339: 8, 243101: 29, 379013: 26, 316135: 30, 570557: 6, 302261: 28, 527474: 12, 226657: 28, 289351: 29, 446132: 21, 560347: 9, 335902: 28, 360334: 26, 88624: 15, 276202: 27, 328662: 27, 400394: 24, 373040: 24, 424312: 21, 308820: 28, 460220: 18, 243556: 27, 402400: 20, 284815: 27, 430873: 18, 266307: 25, 494920: 15, 5367: 1, 374809: 19, 8109: 1, 12872: 1, 41067: 6, 257718: 24, 15675: 1, 213395: 25, 174845: 21, 262995: 25, 164018: 20, 291608: 24, 260985: 22, 589027: 4, 473731: 14, 529124: 9, 112430: 14, 201880: 23, 32547: 3, 570201: 5, 132340: 14, 320387: 19, 70918: 7, 161630: 16, 39804: 3, 362352: 17, 176700: 16, 451005: 16, 436044: 15, 594480: 2, 409187: 14, 591787: 2, 77333: 8, 185321: 17, 181826: 16, 451654: 13, 194838: 16, 244595: 17, 110506: 9, 299743: 18, 42910: 3, 497652: 8, 71080: 5, 266268: 15, 135950: 8, 355120: 14, 321164: 14, 473374: 10, 238087: 12, 427329: 10, 19698: 2, 571697: 2, 308821: 14, 542025: 4, 64608: 2, 310663: 13, 208949: 11, 502055: 5, 144196: 6, 407403: 7, 435895: 7, 595616: 1, 73614: 3, 193779: 9, 17379: 1, 523950: 3, 201193: 8, 562399: 2, 123031: 3, 212713: 7, 166002: 5, 285024: 7, 180566: 4, 230420: 5, 283130: 6, 344968: 6, 287786: 6, 462195: 4, 399268: 4, 492740: 3, 298552: 6, 567826: 1, 146130: 3, 170614: 4, 193362: 4, 367547: 4, 88662: 2, 377888: 3, 261579: 3, 495325: 1, 68838: 1, 319164: 2, 163395: 1, 319189: 1, 365420: 1, 402389: 1}
{113815: 21, 528285: 16, 6723: 2, 287126: 38, 379269: 32, 585812: 5, 144823: 26, 151502: 27, 130233: 21, 525724: 16, 228338: 31, 509996: 18, 91313: 17, 321083: 34, 493829: 21, 511516: 17, 140764: 22, 324282: 34, 255455: 31, 437099: 26, 6895: 2, 60718: 9, 267353: 32, 370183: 31, 260365: 30, 442234: 25, 331747: 32, 463346: 21, 243359: 30, 568339: 8, 243101: 29, 379013: 26, 316135: 30, 570557: 6, 302261: 28, 527474: 13, 226657: 28, 289351: 29, 446132: 21, 560347: 10, 335902: 28, 360334: 26, 88624: 15, 276202: 27, 328662: 27, 400394: 24, 373040: 24, 424312: 21, 308820: 28, 460220: 18, 243556: 27, 402400: 20, 284815: 27, 430873: 18, 266307: 25, 494920: 16, 5367: 1, 374809: 19, 8109: 1, 12872: 1, 41067: 6, 257718: 24, 15675: 1, 213395: 25, 174845: 21, 262995: 25, 164018: 20, 291608: 24, 260985: 22, 589027: 4, 473731: 14, 529124: 10, 112430: 14, 201880: 23, 32547: 3, 570201: 5, 132340: 14, 320387: 19, 70918: 7, 161630: 16, 39804: 3, 362352: 17, 176700: 16, 451005: 16, 436044: 15, 594480: 2, 409187: 14, 591787: 2, 77333: 8, 185321: 17, 181826: 16, 451654: 13, 194838: 16, 244595: 17, 110506: 9, 299743: 18, 42910: 3, 497652: 9, 71080: 5, 266268: 15, 135950: 8, 355120: 14, 321164: 14, 473374: 10, 238087: 12, 427329: 10, 19698: 2, 571697: 2, 308821: 14, 542025: 5, 64608: 2, 310663: 13, 208949: 11, 502055: 6, 144196: 6, 407403: 7, 435895: 7, 595616: 1, 73614: 3, 193779: 9, 17379: 1, 523950: 4, 201193: 8, 562399: 3, 123031: 3, 212713: 7, 166002: 5, 285024: 7, 180566: 4, 230420: 5, 283130: 6, 344968: 6, 287786: 6, 462195: 4, 399268: 4, 492740: 4, 298552: 6, 567826: 2, 146130: 3, 170614: 4, 193362: 4, 367547: 4, 88662: 2, 377888: 3, 261579: 3, 495325: 2, 68838: 1, 319164: 2, 163395: 1, 319189: 1, 365420: 1, 402389: 1, 484511: 1, 568069: 1}
{113815: 22, 528285: 16, 6723: 2, 287126: 38, 379269: 32, 585812: 5, 144823: 27, 151502: 28, 130233: 22, 525724: 16, 228338: 31, 509996: 18, 91313: 18, 321083: 34, 493829: 21, 511516: 17, 140764: 23, 324282: 34, 255455: 31, 437099: 26, 6895: 2, 60718: 10, 267353: 32, 370183: 31, 260365: 30, 442234: 25, 331747: 32, 463346: 21, 243359: 30, 568339: 8, 243101: 29, 379013: 26, 316135: 30, 570557: 6, 302261: 28, 527474: 13, 226657: 28, 289351: 29, 446132: 21, 560347: 10, 335902: 28, 360334: 26, 88624: 16, 276202: 27, 328662: 27, 400394: 24, 373040: 24, 424312: 21, 308820: 28, 460220: 18, 243556: 27, 402400: 20, 284815: 27, 430873: 18, 266307: 25, 494920: 16, 5367: 1, 374809: 19, 8109: 1, 12872: 1, 41067: 7, 257718: 24, 15675: 1, 213395: 25, 174845: 21, 262995: 25, 164018: 20, 291608: 24, 260985: 22, 589027: 4, 473731: 14, 529124: 10, 112430: 15, 201880: 23, 32547: 3, 570201: 5, 132340: 15, 320387: 19, 70918: 8, 161630: 16, 39804: 4, 362352: 17, 176700: 16, 451005: 16, 436044: 15, 594480: 2, 409187: 14, 591787: 2, 77333: 9, 185321: 17, 181826: 16, 451654: 13, 194838: 16, 244595: 17, 110506: 10, 299743: 18, 42910: 4, 497652: 9, 71080: 6, 266268: 15, 135950: 9, 355120: 14, 321164: 14, 473374: 10, 238087: 12, 427329: 10, 19698: 2, 571697: 2, 308821: 14, 542025: 5, 64608: 3, 310663: 13, 208949: 11, 502055: 6, 144196: 7, 407403: 7, 435895: 7, 595616: 1, 73614: 4, 193779: 9, 17379: 1, 523950: 4, 201193: 8, 562399: 3, 123031: 4, 212713: 7, 166002: 5, 285024: 7, 180566: 4, 230420: 5, 283130: 6, 344968: 6, 287786: 6, 462195: 4, 399268: 4, 492740: 4, 298552: 6, 567826: 2, 146130: 4, 170614: 4, 193362: 4, 367547: 4, 88662: 3, 377888: 3, 261579: 3, 495325: 2, 68838: 2, 319164: 2, 163395: 1, 319189: 1, 365420: 1, 402389: 1, 484511: 1, 568069: 1, 38562: 1, 160481: 1}
{113815: 22, 528285: 16, 6723: 2, 287126: 38, 379269: 32, 585812: 5, 144823: 27, 151502: 28, 130233: 22, 525724: 16, 228338: 31, 509996: 18, 91313: 18, 321083: 34, 493829: 21, 511516: 17, 140764: 23, 324282: 34, 255455: 31, 437099: 27, 6895: 2, 60718: 10, 267353: 32, 370183: 31, 260365: 30, 442234: 25, 331747: 32, 463346: 21, 243359: 30, 568339: 8, 243101: 29, 379013: 26, 316135: 30, 570557: 6, 302261: 28, 527474: 13, 226657: 28, 289351: 29, 446132: 21, 560347: 10, 335902: 28, 360334: 26, 88624: 16, 276202: 27, 328662: 27, 400394: 25, 373040: 24, 424312: 22, 308820: 28, 460220: 18, 243556: 27, 402400: 21, 284815: 27, 430873: 19, 266307: 25, 494920: 16, 5367: 1, 374809: 19, 8109: 1, 12872: 1, 41067: 7, 257718: 24, 15675: 1, 213395: 25, 174845: 21, 262995: 25, 164018: 20, 291608: 24, 260985: 22, 589027: 4, 473731: 14, 529124: 10, 112430: 15, 201880: 23, 32547: 3, 570201: 5, 132340: 15, 320387: 19, 70918: 8, 161630: 16, 39804: 4, 362352: 17, 176700: 16, 451005: 16, 436044: 16, 594480: 2, 409187: 15, 591787: 2, 77333: 9, 185321: 17, 181826: 16, 451654: 13, 194838: 16, 244595: 17, 110506: 10, 299743: 18, 42910: 4, 497652: 9, 71080: 6, 266268: 15, 135950: 9, 355120: 14, 321164: 14, 473374: 10, 238087: 12, 427329: 11, 19698: 2, 571697: 2, 308821: 14, 542025: 5, 64608: 3, 310663: 13, 208949: 11, 502055: 6, 144196: 7, 407403: 8, 435895: 8, 595616: 1, 73614: 4, 193779: 9, 17379: 1, 523950: 4, 201193: 8, 562399: 3, 123031: 4, 212713: 7, 166002: 5, 285024: 7, 180566: 4, 230420: 5, 283130: 6, 344968: 6, 287786: 6, 462195: 4, 399268: 5, 492740: 4, 298552: 6, 567826: 2, 146130: 4, 170614: 4, 193362: 4, 367547: 4, 88662: 3, 377888: 3, 261579: 3, 495325: 2, 68838: 2, 319164: 2, 163395: 1, 319189: 1, 365420: 1, 402389: 2, 484511: 1, 568069: 1, 38562: 1, 160481: 1, 386033: 1, 437532: 1}
{113815: 22, 528285: 16, 6723: 2, 287126: 39, 379269: 32, 585812: 5, 144823: 27, 151502: 28, 130233: 22, 525724: 16, 228338: 31, 509996: 18, 91313: 18, 321083: 34, 493829: 21, 511516: 17, 140764: 23, 324282: 34, 255455: 31, 437099: 27, 6895: 2, 60718: 10, 267353: 33, 370183: 31, 260365: 30, 442234: 25, 331747: 32, 463346: 21, 243359: 30, 568339: 8, 243101: 29, 379013: 26, 316135: 30, 570557: 6, 302261: 28, 527474: 13, 226657: 28, 289351: 30, 446132: 21, 560347: 10, 335902: 28, 360334: 26, 88624: 16, 276202: 28, 328662: 27, 400394: 25, 373040: 24, 424312: 22, 308820: 28, 460220: 18, 243556: 27, 402400: 21, 284815: 28, 430873: 19, 266307: 26, 494920: 16, 5367: 1, 374809: 19, 8109: 1, 12872: 1, 41067: 7, 257718: 24, 15675: 1, 213395: 25, 174845: 21, 262995: 26, 164018: 20, 291608: 24, 260985: 22, 589027: 4, 473731: 14, 529124: 10, 112430: 15, 201880: 23, 32547: 3, 570201: 5, 132340: 15, 320387: 19, 70918: 8, 161630: 16, 39804: 4, 362352: 17, 176700: 16, 451005: 16, 436044: 16, 594480: 2, 409187: 15, 591787: 2, 77333: 9, 185321: 17, 181826: 16, 451654: 13, 194838: 16, 244595: 17, 110506: 10, 299743: 18, 42910: 4, 497652: 9, 71080: 6, 266268: 16, 135950: 9, 355120: 14, 321164: 14, 473374: 10, 238087: 12, 427329: 11, 19698: 2, 571697: 2, 308821: 14, 542025: 5, 64608: 3, 310663: 13, 208949: 11, 502055: 6, 144196: 7, 407403: 8, 435895: 8, 595616: 1, 73614: 4, 193779: 9, 17379: 1, 523950: 4, 201193: 8, 562399: 3, 123031: 4, 212713: 7, 166002: 5, 285024: 8, 180566: 4, 230420: 5, 283130: 7, 344968: 6, 287786: 7, 462195: 4, 399268: 5, 492740: 4, 298552: 6, 567826: 2, 146130: 4, 170614: 4, 193362: 4, 367547: 4, 88662: 3, 377888: 3, 261579: 4, 495325: 2, 68838: 2, 319164: 2, 163395: 1, 319189: 1, 365420: 1, 402389: 2, 484511: 1, 568069: 1, 38562: 1, 160481: 1, 386033: 1, 437532: 1, 261577: 1, 289887: 1}
{113815: 22, 528285: 16, 6723: 2, 287126: 39, 379269: 32, 585812: 5, 144823: 27, 151502: 28, 130233: 22, 525724: 16, 228338: 31, 509996: 18, 91313: 19, 321083: 34, 493829: 21, 511516: 17, 140764: 23, 324282: 34, 255455: 31, 437099: 27, 6895: 2, 60718: 11, 267353: 33, 370183: 31, 260365: 30, 442234: 25, 331747: 32, 463346: 21, 243359: 30, 568339: 8, 243101: 29, 379013: 26, 316135: 30, 570557: 6, 302261: 28, 527474: 13, 226657: 28, 289351: 30, 446132: 21, 560347: 10, 335902: 28, 360334: 26, 88624: 17, 276202: 28, 328662: 27, 400394: 25, 373040: 24, 424312: 22, 308820: 28, 460220: 18, 243556: 27, 402400: 21, 284815: 28, 430873: 19, 266307: 26, 494920: 16, 5367: 1, 374809: 19, 8109: 1, 12872: 1, 41067: 7, 257718: 24, 15675: 1, 213395: 25, 174845: 21, 262995: 26, 164018: 20, 291608: 24, 260985: 22, 589027: 4, 473731: 14, 529124: 10, 112430: 15, 201880: 23, 32547: 3, 570201: 5, 132340: 15, 320387: 19, 70918: 9, 161630: 16, 39804: 4, 362352: 17, 176700: 16, 451005: 16, 436044: 16, 594480: 2, 409187: 15, 591787: 2, 77333: 10, 185321: 17, 181826: 16, 451654: 13, 194838: 16, 244595: 17, 110506: 10, 299743: 18, 42910: 5, 497652: 9, 71080: 7, 266268: 16, 135950: 9, 355120: 14, 321164: 14, 473374: 10, 238087: 12, 427329: 11, 19698: 2, 571697: 2, 308821: 14, 542025: 5, 64608: 4, 310663: 13, 208949: 11, 502055: 6, 144196: 7, 407403: 8, 435895: 8, 595616: 1, 73614: 5, 193779: 9, 17379: 1, 523950: 4, 201193: 8, 562399: 3, 123031: 4, 212713: 7, 166002: 5, 285024: 8, 180566: 4, 230420: 5, 283130: 7, 344968: 6, 287786: 7, 462195: 4, 399268: 5, 492740: 4, 298552: 6, 567826: 2, 146130: 4, 170614: 4, 193362: 4, 367547: 4, 88662: 4, 377888: 3, 261579: 4, 495325: 2, 68838: 3, 319164: 2, 163395: 1, 319189: 1, 365420: 1, 402389: 2, 484511: 1, 568069: 1, 38562: 1, 160481: 1, 386033: 1, 437532: 1, 261577: 1, 289887: 1, 41547: 1, 108120: 1}
{113815: 22, 528285: 16, 6723: 2, 287126: 39, 379269: 33, 585812: 5, 144823: 27, 151502: 28, 130233: 22, 525724: 16, 228338: 31, 509996: 18, 91313: 19, 321083: 35, 493829: 21, 511516: 17, 140764: 23, 324282: 35, 255455: 31, 437099: 27, 6895: 2, 60718: 11, 267353: 33, 370183: 32, 260365: 30, 442234: 25, 331747: 33, 463346: 21, 243359: 30, 568339: 8, 243101: 29, 379013: 27, 316135: 31, 570557: 6, 302261: 28, 527474: 13, 226657: 28, 289351: 30, 446132: 21, 560347: 10, 335902: 29, 360334: 27, 88624: 17, 276202: 28, 328662: 28, 400394: 25, 373040: 25, 424312: 22, 308820: 29, 460220: 18, 243556: 27, 402400: 21, 284815: 28, 430873: 19, 266307: 26, 494920: 16, 5367: 1, 374809: 20, 8109: 1, 12872: 1, 41067: 7, 257718: 24, 15675: 1, 213395: 25, 174845: 21, 262995: 26, 164018: 20, 291608: 24, 260985: 22, 589027: 4, 473731: 14, 529124: 10, 112430: 15, 201880: 23, 32547: 3, 570201: 5, 132340: 15, 320387: 20, 70918: 9, 161630: 16, 39804: 4, 362352: 18, 176700: 16, 451005: 16, 436044: 16, 594480: 2, 409187: 15, 591787: 2, 77333: 10, 185321: 17, 181826: 16, 451654: 13, 194838: 16, 244595: 17, 110506: 10, 299743: 18, 42910: 5, 497652: 9, 71080: 7, 266268: 16, 135950: 9, 355120: 15, 321164: 15, 473374: 10, 238087: 12, 427329: 11, 19698: 2, 571697: 2, 308821: 15, 542025: 5, 64608: 4, 310663: 14, 208949: 11, 502055: 6, 144196: 7, 407403: 8, 435895: 8, 595616: 1, 73614: 5, 193779: 9, 17379: 1, 523950: 4, 201193: 8, 562399: 3, 123031: 4, 212713: 7, 166002: 5, 285024: 8, 180566: 4, 230420: 5, 283130: 7, 344968: 7, 287786: 7, 462195: 4, 399268: 5, 492740: 4, 298552: 6, 567826: 2, 146130: 4, 170614: 4, 193362: 4, 367547: 5, 88662: 4, 377888: 4, 261579: 4, 495325: 2, 68838: 3, 319164: 3, 163395: 1, 319189: 2, 365420: 2, 402389: 2, 484511: 1, 568069: 1, 38562: 1, 160481: 1, 386033: 2, 437532: 1, 261577: 1, 289887: 1, 41547: 1, 108120: 1, 306655: 1, 392403: 1}
{113815: 22, 528285: 16, 6723: 2, 287126: 39, 379269: 33, 585812: 5, 144823: 27, 151502: 28, 130233: 22, 525724: 16, 228338: 31, 509996: 18, 91313: 19, 321083: 35, 493829: 21, 511516: 17, 140764: 23, 324282: 35, 255455: 31, 437099: 27, 6895: 2, 60718: 11, 267353: 33, 370183: 33, 260365: 30, 442234: 25, 331747: 33, 463346: 21, 243359: 30, 568339: 8, 243101: 29, 379013: 27, 316135: 31, 570557: 6, 302261: 28, 527474: 13, 226657: 28, 289351: 30, 446132: 21, 560347: 10, 335902: 29, 360334: 27, 88624: 17, 276202: 28, 328662: 28, 400394: 25, 373040: 26, 424312: 22, 308820: 29, 460220: 18, 243556: 27, 402400: 21, 284815: 28, 430873: 19, 266307: 26, 494920: 16, 5367: 1, 374809: 21, 8109: 1, 12872: 1, 41067: 7, 257718: 24, 15675: 1, 213395: 25, 174845: 21, 262995: 26, 164018: 20, 291608: 24, 260985: 22, 589027: 4, 473731: 14, 529124: 10, 112430: 15, 201880: 23, 32547: 3, 570201: 5, 132340: 15, 320387: 20, 70918: 9, 161630: 16, 39804: 4, 362352: 18, 176700: 16, 451005: 16, 436044: 16, 594480: 2, 409187: 15, 591787: 2, 77333: 10, 185321: 17, 181826: 16, 451654: 13, 194838: 16, 244595: 17, 110506: 10, 299743: 18, 42910: 5, 497652: 9, 71080: 7, 266268: 16, 135950: 9, 355120: 15, 321164: 15, 473374: 10, 238087: 12, 427329: 11, 19698: 2, 571697: 2, 308821: 15, 542025: 5, 64608: 4, 310663: 14, 208949: 11, 502055: 6, 144196: 7, 407403: 8, 435895: 8, 595616: 1, 73614: 5, 193779: 9, 17379: 1, 523950: 4, 201193: 8, 562399: 3, 123031: 4, 212713: 7, 166002: 5, 285024: 8, 180566: 4, 230420: 5, 283130: 7, 344968: 7, 287786: 7, 462195: 4, 399268: 5, 492740: 4, 298552: 6, 567826: 2, 146130: 4, 170614: 4, 193362: 4, 367547: 6, 88662: 4, 377888: 4, 261579: 4, 495325: 2, 68838: 3, 319164: 3, 163395: 1, 319189: 2, 365420: 3, 402389: 2, 484511: 1, 568069: 1, 38562: 1, 160481: 1, 386033: 2, 437532: 1, 261577: 1, 289887: 1, 41547: 1, 108120: 1, 306655: 1, 392403: 1, 365109: 1, 374835: 1}
{113815: 23, 528285: 16, 6723: 2, 287126: 39, 379269: 33, 585812: 5, 144823: 28, 151502: 29, 130233: 23, 525724: 16, 228338: 32, 509996: 18, 91313: 20, 321083: 35, 493829: 21, 511516: 17, 140764: 24, 324282: 35, 255455: 31, 437099: 27, 6895: 2, 60718: 11, 267353: 33, 370183: 33, 260365: 30, 442234: 25, 331747: 33, 463346: 21, 243359: 30, 568339: 8, 243101: 29, 379013: 27, 316135: 31, 570557: 6, 302261: 28, 527474: 13, 226657: 29, 289351: 30, 446132: 21, 560347: 10, 335902: 29, 360334: 27, 88624: 18, 276202: 28, 328662: 28, 400394: 25, 373040: 26, 424312: 22, 308820: 29, 460220: 18, 243556: 27, 402400: 21, 284815: 28, 430873: 19, 266307: 26, 494920: 16, 5367: 1, 374809: 21, 8109: 1, 12872: 1, 41067: 7, 257718: 24, 15675: 1, 213395: 26, 174845: 22, 262995: 26, 164018: 21, 291608: 24, 260985: 22, 589027: 4, 473731: 14, 529124: 10, 112430: 16, 201880: 24, 32547: 3, 570201: 5, 132340: 16, 320387: 20, 70918: 9, 161630: 17, 39804: 4, 362352: 18, 176700: 17, 451005: 16, 436044: 16, 594480: 2, 409187: 15, 591787: 2, 77333: 10, 185321: 18, 181826: 17, 451654: 13, 194838: 17, 244595: 17, 110506: 11, 299743: 18, 42910: 5, 497652: 9, 71080: 7, 266268: 16, 135950: 10, 355120: 15, 321164: 15, 473374: 10, 238087: 13, 427329: 11, 19698: 2, 571697: 2, 308821: 15, 542025: 5, 64608: 4, 310663: 14, 208949: 12, 502055: 6, 144196: 8, 407403: 8, 435895: 8, 595616: 1, 73614: 5, 193779: 10, 17379: 1, 523950: 4, 201193: 9, 562399: 3, 123031: 5, 212713: 8, 166002: 6, 285024: 8, 180566: 5, 230420: 6, 283130: 7, 344968: 7, 287786: 7, 462195: 4, 399268: 5, 492740: 4, 298552: 6, 567826: 2, 146130: 5, 170614: 5, 193362: 5, 367547: 6, 88662: 5, 377888: 4, 261579: 4, 495325: 2, 68838: 3, 319164: 3, 163395: 2, 319189: 2, 365420: 3, 402389: 2, 484511: 1, 568069: 1, 38562: 1, 160481: 2, 386033: 2, 437532: 1, 261577: 1, 289887: 1, 41547: 1, 108120: 2, 306655: 1, 392403: 1, 365109: 1, 374835: 1, 83476: 1, 241547: 1}
{113815: 23, 528285: 16, 6723: 2, 287126: 39, 379269: 34, 585812: 5, 144823: 28, 151502: 29, 130233: 23, 525724: 16, 228338: 32, 509996: 18, 91313: 20, 321083: 35, 493829: 21, 511516: 17, 140764: 24, 324282: 35, 255455: 31, 437099: 28, 6895: 2, 60718: 11, 267353: 33, 370183: 34, 260365: 30, 442234: 26, 331747: 33, 463346: 22, 243359: 30, 568339: 8, 243101: 29, 379013: 28, 316135: 31, 570557: 6, 302261: 28, 527474: 13, 226657: 29, 289351: 30, 446132: 22, 560347: 10, 335902: 29, 360334: 28, 88624: 18, 276202: 28, 328662: 28, 400394: 26, 373040: 27, 424312: 23, 308820: 29, 460220: 19, 243556: 27, 402400: 22, 284815: 28, 430873: 20, 266307: 26, 494920: 16, 5367: 1, 374809: 22, 8109: 1, 12872: 1, 41067: 7, 257718: 24, 15675: 1, 213395: 26, 174845: 22, 262995: 26, 164018: 21, 291608: 24, 260985: 22, 589027: 4, 473731: 15, 529124: 10, 112430: 16, 201880: 24, 32547: 3, 570201: 5, 132340: 16, 320387: 20, 70918: 9, 161630: 17, 39804: 4, 362352: 19, 176700: 17, 451005: 17, 436044: 17, 594480: 2, 409187: 16, 591787: 2, 77333: 10, 185321: 18, 181826: 17, 451654: 14, 194838: 17, 244595: 17, 110506: 11, 299743: 18, 42910: 5, 497652: 9, 71080: 7, 266268: 16, 135950: 10, 355120: 16, 321164: 15, 473374: 11, 238087: 13, 427329: 12, 19698: 2, 571697: 2, 308821: 15, 542025: 5, 64608: 4, 310663: 14, 208949: 12, 502055: 6, 144196: 8, 407403: 9, 435895: 9, 595616: 1, 73614: 5, 193779: 10, 17379: 1, 523950: 4, 201193: 9, 562399: 3, 123031: 5, 212713: 8, 166002: 6, 285024: 8, 180566: 5, 230420: 6, 283130: 7, 344968: 8, 287786: 7, 462195: 5, 399268: 6, 492740: 4, 298552: 6, 567826: 2, 146130: 5, 170614: 5, 193362: 5, 367547: 7, 88662: 5, 377888: 5, 261579: 4, 495325: 2, 68838: 3, 319164: 3, 163395: 2, 319189: 2, 365420: 4, 402389: 3, 484511: 1, 568069: 1, 38562: 1, 160481: 2, 386033: 3, 437532: 2, 261577: 1, 289887: 1, 41547: 1, 108120: 2, 306655: 1, 392403: 2, 365109: 2, 374835: 2, 83476: 1, 241547: 1, 340092: 1, 481196: 1}
{113815: 23, 528285: 16, 6723: 2, 287126: 40, 379269: 35, 585812: 5, 144823: 28, 151502: 29, 130233: 23, 525724: 16, 228338: 33, 509996: 18, 91313: 20, 321083: 36, 493829: 21, 511516: 17, 140764: 24, 324282: 36, 255455: 32, 437099: 28, 6895: 2, 60718: 11, 267353: 34, 370183: 35, 260365: 31, 442234: 26, 331747: 34, 463346: 22, 243359: 31, 568339: 8, 243101: 30, 379013: 29, 316135: 32, 570557: 6, 302261: 29, 527474: 13, 226657: 30, 289351: 31, 446132: 22, 560347: 10, 335902: 30, 360334: 29, 88624: 18, 276202: 29, 328662: 29, 400394: 27, 373040: 28, 424312: 23, 308820: 30, 460220: 19, 243556: 28, 402400: 23, 284815: 29, 430873: 20, 266307: 27, 494920: 16, 5367: 1, 374809: 23, 8109: 1, 12872: 1, 41067: 7, 257718: 25, 15675: 1, 213395: 27, 174845: 23, 262995: 27, 164018: 21, 291608: 25, 260985: 23, 589027: 4, 473731: 15, 529124: 10, 112430: 16, 201880: 25, 32547: 3, 570201: 5, 132340: 16, 320387: 21, 70918: 9, 161630: 17, 39804: 4, 362352: 20, 176700: 18, 451005: 17, 436044: 17, 594480: 2, 409187: 17, 591787: 2, 77333: 10, 185321: 19, 181826: 18, 451654: 14, 194838: 18, 244595: 18, 110506: 11, 299743: 19, 42910: 5, 497652: 9, 71080: 7, 266268: 17, 135950: 10, 355120: 17, 321164: 16, 473374: 11, 238087: 14, 427329: 12, 19698: 2, 571697: 2, 308821: 16, 542025: 5, 64608: 4, 310663: 15, 208949: 13, 502055: 6, 144196: 8, 407403: 10, 435895: 9, 595616: 1, 73614: 5, 193779: 11, 17379: 1, 523950: 4, 201193: 10, 562399: 3, 123031: 5, 212713: 9, 166002: 6, 285024: 9, 180566: 6, 230420: 7, 283130: 8, 344968: 9, 287786: 8, 462195: 5, 399268: 7, 492740: 4, 298552: 7, 567826: 2, 146130: 5, 170614: 5, 193362: 6, 367547: 8, 88662: 5, 377888: 6, 261579: 5, 495325: 2, 68838: 3, 319164: 4, 163395: 2, 319189: 3, 365420: 5, 402389: 4, 484511: 1, 568069: 1, 38562: 1, 160481: 2, 386033: 4, 437532: 2, 261577: 2, 289887: 2, 41547: 1, 108120: 2, 306655: 2, 392403: 3, 365109: 3, 374835: 3, 83476: 1, 241547: 2, 340092: 2, 481196: 1, 173881: 1, 415489: 1}
{113815: 24, 528285: 16, 6723: 2, 287126: 41, 379269: 36, 585812: 5, 144823: 29, 151502: 30, 130233: 24, 525724: 16, 228338: 34, 509996: 18, 91313: 21, 321083: 37, 493829: 21, 511516: 17, 140764: 25, 324282: 37, 255455: 33, 437099: 29, 6895: 2, 60718: 12, 267353: 35, 370183: 36, 260365: 32, 442234: 27, 331747: 35, 463346: 22, 243359: 32, 568339: 8, 243101: 31, 379013: 30, 316135: 33, 570557: 6, 302261: 30, 527474: 13, 226657: 31, 289351: 32, 446132: 23, 560347: 10, 335902: 31, 360334: 30, 88624: 19, 276202: 30, 328662: 30, 400394: 28, 373040: 29, 424312: 24, 308820: 31, 460220: 20, 243556: 29, 402400: 24, 284815: 30, 430873: 21, 266307: 28, 494920: 16, 5367: 1, 374809: 24, 8109: 1, 12872: 1, 41067: 8, 257718: 26, 15675: 1, 213395: 28, 174845: 24, 262995: 28, 164018: 22, 291608: 26, 260985: 24, 589027: 4, 473731: 15, 529124: 10, 112430: 17, 201880: 26, 32547: 4, 570201: 5, 132340: 17, 320387: 22, 70918: 10, 161630: 18, 39804: 5, 362352: 21, 176700: 19, 451005: 18, 436044: 18, 594480: 2, 409187: 18, 591787: 2, 77333: 11, 185321: 20, 181826: 19, 451654: 15, 194838: 19, 244595: 19, 110506: 12, 299743: 20, 42910: 6, 497652: 9, 71080: 8, 266268: 18, 135950: 11, 355120: 18, 321164: 17, 473374: 11, 238087: 15, 427329: 13, 19698: 3, 571697: 2, 308821: 17, 542025: 5, 64608: 5, 310663: 16, 208949: 14, 502055: 6, 144196: 9, 407403: 11, 435895: 10, 595616: 1, 73614: 6, 193779: 12, 17379: 1, 523950: 4, 201193: 11, 562399: 3, 123031: 6, 212713: 10, 166002: 7, 285024: 10, 180566: 7, 230420: 8, 283130: 9, 344968: 10, 287786: 9, 462195: 5, 399268: 8, 492740: 4, 298552: 8, 567826: 2, 146130: 6, 170614: 6, 193362: 7, 367547: 9, 88662: 6, 377888: 7, 261579: 6, 495325: 2, 68838: 4, 319164: 5, 163395: 3, 319189: 4, 365420: 6, 402389: 5, 484511: 1, 568069: 1, 38562: 2, 160481: 3, 386033: 5, 437532: 3, 261577: 3, 289887: 3, 41547: 2, 108120: 3, 306655: 3, 392403: 4, 365109: 4, 374835: 4, 83476: 2, 241547: 3, 340092: 3, 481196: 1, 173881: 2, 415489: 2, 19360: 1, 461738: 1}
{113815: 25, 528285: 17, 6723: 2, 287126: 42, 379269: 37, 585812: 5, 144823: 30, 151502: 31, 130233: 25, 525724: 17, 228338: 35, 509996: 19, 91313: 22, 321083: 38, 493829: 22, 511516: 18, 140764: 26, 324282: 38, 255455: 34, 437099: 30, 6895: 2, 60718: 13, 267353: 36, 370183: 37, 260365: 33, 442234: 28, 331747: 36, 463346: 23, 243359: 33, 568339: 8, 243101: 32, 379013: 31, 316135: 34, 570557: 6, 302261: 31, 527474: 14, 226657: 32, 289351: 33, 446132: 24, 560347: 10, 335902: 32, 360334: 31, 88624: 20, 276202: 31, 328662: 31, 400394: 29, 373040: 30, 424312: 25, 308820: 32, 460220: 21, 243556: 30, 402400: 25, 284815: 31, 430873: 22, 266307: 29, 494920: 17, 5367: 1, 374809: 25, 8109: 1, 12872: 1, 41067: 9, 257718: 27, 15675: 1, 213395: 29, 174845: 25, 262995: 29, 164018: 23, 291608: 27, 260985: 25, 589027: 4, 473731: 16, 529124: 11, 112430: 18, 201880: 27, 32547: 5, 570201: 5, 132340: 18, 320387: 23, 70918: 11, 161630: 19, 39804: 6, 362352: 22, 176700: 20, 451005: 19, 436044: 19, 594480: 2, 409187: 19, 591787: 2, 77333: 12, 185321: 21, 181826: 20, 451654: 16, 194838: 20, 244595: 20, 110506: 13, 299743: 21, 42910: 7, 497652: 10, 71080: 9, 266268: 19, 135950: 12, 355120: 19, 321164: 18, 473374: 12, 238087: 16, 427329: 14, 19698: 3, 571697: 2, 308821: 18, 542025: 6, 64608: 6, 310663: 17, 208949: 15, 502055: 7, 144196: 10, 407403: 12, 435895: 11, 595616: 1, 73614: 7, 193779: 13, 17379: 1, 523950: 5, 201193: 12, 562399: 3, 123031: 7, 212713: 11, 166002: 8, 285024: 11, 180566: 8, 230420: 9, 283130: 10, 344968: 11, 287786: 10, 462195: 6, 399268: 9, 492740: 5, 298552: 9, 567826: 2, 146130: 7, 170614: 7, 193362: 8, 367547: 10, 88662: 7, 377888: 8, 261579: 7, 495325: 3, 68838: 5, 319164: 6, 163395: 4, 319189: 5, 365420: 7, 402389: 6, 484511: 2, 568069: 1, 38562: 3, 160481: 4, 386033: 6, 437532: 4, 261577: 4, 289887: 4, 41547: 3, 108120: 4, 306655: 4, 392403: 5, 365109: 5, 374835: 5, 83476: 3, 241547: 4, 340092: 4, 481196: 2, 173881: 3, 415489: 3, 19360: 1, 461738: 2, 19923: 1, 557247: 1}
{113815: 25, 528285: 17, 6723: 2, 287126: 43, 379269: 38, 585812: 5, 144823: 30, 151502: 31, 130233: 25, 525724: 17, 228338: 35, 509996: 19, 91313: 22, 321083: 39, 493829: 22, 511516: 18, 140764: 26, 324282: 39, 255455: 34, 437099: 31, 6895: 2, 60718: 13, 267353: 36, 370183: 38, 260365: 33, 442234: 29, 331747: 37, 463346: 24, 243359: 33, 568339: 8, 243101: 32, 379013: 32, 316135: 35, 570557: 6, 302261: 32, 527474: 14, 226657: 32, 289351: 34, 446132: 25, 560347: 10, 335902: 33, 360334: 32, 88624: 20, 276202: 32, 328662: 32, 400394: 30, 373040: 31, 424312: 26, 308820: 33, 460220: 22, 243556: 30, 402400: 26, 284815: 32, 430873: 23, 266307: 29, 494920: 17, 5367: 1, 374809: 26, 8109: 1, 12872: 1, 41067: 9, 257718: 27, 15675: 1, 213395: 29, 174845: 25, 262995: 29, 164018: 23, 291608: 28, 260985: 25, 589027: 4, 473731: 17, 529124: 11, 112430: 18, 201880: 27, 32547: 5, 570201: 5, 132340: 18, 320387: 24, 70918: 11, 161630: 19, 39804: 6, 362352: 23, 176700: 20, 451005: 20, 436044: 20, 594480: 2, 409187: 20, 591787: 2, 77333: 12, 185321: 21, 181826: 20, 451654: 17, 194838: 20, 244595: 20, 110506: 13, 299743: 22, 42910: 7, 497652: 10, 71080: 9, 266268: 19, 135950: 12, 355120: 20, 321164: 19, 473374: 13, 238087: 16, 427329: 15, 19698: 3, 571697: 2, 308821: 19, 542025: 6, 64608: 6, 310663: 18, 208949: 15, 502055: 7, 144196: 10, 407403: 13, 435895: 12, 595616: 1, 73614: 7, 193779: 13, 17379: 1, 523950: 5, 201193: 12, 562399: 3, 123031: 7, 212713: 11, 166002: 8, 285024: 12, 180566: 8, 230420: 9, 283130: 11, 344968: 12, 287786: 11, 462195: 7, 399268: 10, 492740: 5, 298552: 10, 567826: 2, 146130: 7, 170614: 7, 193362: 8, 367547: 11, 88662: 7, 377888: 9, 261579: 7, 495325: 3, 68838: 5, 319164: 7, 163395: 4, 319189: 6, 365420: 8, 402389: 7, 484511: 3, 568069: 1, 38562: 3, 160481: 4, 386033: 7, 437532: 5, 261577: 4, 289887: 5, 41547: 3, 108120: 4, 306655: 5, 392403: 6, 365109: 6, 374835: 6, 83476: 3, 241547: 4, 340092: 5, 481196: 3, 173881: 3, 415489: 4, 19360: 1, 461738: 3, 19923: 1, 557247: 1, 275473: 1, 487892: 1}
{113815: 25, 528285: 18, 6723: 2, 287126: 44, 379269: 39, 585812: 5, 144823: 30, 151502: 31, 130233: 25, 525724: 18, 228338: 35, 509996: 20, 91313: 22, 321083: 40, 493829: 23, 511516: 19, 140764: 26, 324282: 40, 255455: 35, 437099: 32, 6895: 2, 60718: 13, 267353: 37, 370183: 39, 260365: 34, 442234: 30, 331747: 38, 463346: 25, 243359: 33, 568339: 8, 243101: 32, 379013: 33, 316135: 36, 570557: 6, 302261: 33, 527474: 15, 226657: 32, 289351: 35, 446132: 26, 560347: 10, 335902: 34, 360334: 33, 88624: 20, 276202: 33, 328662: 33, 400394: 31, 373040: 32, 424312: 27, 308820: 34, 460220: 23, 243556: 30, 402400: 27, 284815: 33, 430873: 24, 266307: 30, 494920: 18, 5367: 1, 374809: 27, 8109: 1, 12872: 1, 41067: 9, 257718: 28, 15675: 1, 213395: 29, 174845: 25, 262995: 30, 164018: 23, 291608: 29, 260985: 26, 589027: 4, 473731: 18, 529124: 12, 112430: 18, 201880: 27, 32547: 5, 570201: 5, 132340: 18, 320387: 25, 70918: 11, 161630: 19, 39804: 6, 362352: 24, 176700: 20, 451005: 21, 436044: 21, 594480: 2, 409187: 21, 591787: 2, 77333: 12, 185321: 21, 181826: 20, 451654: 18, 194838: 20, 244595: 20, 110506: 13, 299743: 23, 42910: 7, 497652: 11, 71080: 9, 266268: 20, 135950: 12, 355120: 21, 321164: 20, 473374: 14, 238087: 16, 427329: 16, 19698: 3, 571697: 2, 308821: 20, 542025: 7, 64608: 6, 310663: 19, 208949: 15, 502055: 8, 144196: 10, 407403: 14, 435895: 13, 595616: 1, 73614: 7, 193779: 13, 17379: 1, 523950: 6, 201193: 12, 562399: 3, 123031: 7, 212713: 11, 166002: 8, 285024: 13, 180566: 8, 230420: 9, 283130: 12, 344968: 13, 287786: 12, 462195: 8, 399268: 11, 492740: 6, 298552: 11, 567826: 2, 146130: 7, 170614: 7, 193362: 8, 367547: 12, 88662: 7, 377888: 10, 261579: 8, 495325: 4, 68838: 5, 319164: 8, 163395: 4, 319189: 7, 365420: 9, 402389: 8, 484511: 4, 568069: 1, 38562: 3, 160481: 4, 386033: 8, 437532: 6, 261577: 5, 289887: 6, 41547: 3, 108120: 4, 306655: 6, 392403: 7, 365109: 7, 374835: 7, 83476: 3, 241547: 4, 340092: 6, 481196: 4, 173881: 3, 415489: 5, 19360: 1, 461738: 4, 19923: 1, 557247: 1, 275473: 2, 487892: 2, 249101: 1, 547747: 1}
{113815: 25, 528285: 18, 6723: 2, 287126: 45, 379269: 40, 585812: 5, 144823: 30, 151502: 31, 130233: 25, 525724: 18, 228338: 36, 509996: 20, 91313: 22, 321083: 41, 493829: 23, 511516: 19, 140764: 26, 324282: 41, 255455: 36, 437099: 33, 6895: 2, 60718: 13, 267353: 38, 370183: 40, 260365: 35, 442234: 31, 331747: 39, 463346: 26, 243359: 34, 568339: 8, 243101: 33, 379013: 34, 316135: 37, 570557: 6, 302261: 34, 527474: 15, 226657: 33, 289351: 36, 446132: 27, 560347: 10, 335902: 35, 360334: 34, 88624: 20, 276202: 34, 328662: 34, 400394: 32, 373040: 33, 424312: 28, 308820: 35, 460220: 24, 243556: 31, 402400: 28, 284815: 34, 430873: 25, 266307: 31, 494920: 18, 5367: 1, 374809: 28, 8109: 1, 12872: 1, 41067: 9, 257718: 29, 15675: 1, 213395: 30, 174845: 25, 262995: 31, 164018: 23, 291608: 30, 260985: 27, 589027: 4, 473731: 19, 529124: 12, 112430: 18, 201880: 28, 32547: 5, 570201: 5, 132340: 18, 320387: 26, 70918: 11, 161630: 19, 39804: 6, 362352: 25, 176700: 20, 451005: 22, 436044: 22, 594480: 2, 409187: 22, 591787: 2, 77333: 12, 185321: 22, 181826: 21, 451654: 19, 194838: 21, 244595: 21, 110506: 13, 299743: 24, 42910: 7, 497652: 11, 71080: 9, 266268: 21, 135950: 12, 355120: 22, 321164: 21, 473374: 15, 238087: 17, 427329: 17, 19698: 3, 571697: 2, 308821: 21, 542025: 7, 64608: 6, 310663: 20, 208949: 16, 502055: 8, 144196: 10, 407403: 15, 435895: 14, 595616: 1, 73614: 7, 193779: 14, 17379: 1, 523950: 6, 201193: 13, 562399: 3, 123031: 7, 212713: 12, 166002: 8, 285024: 14, 180566: 8, 230420: 10, 283130: 13, 344968: 14, 287786: 13, 462195: 9, 399268: 12, 492740: 6, 298552: 12, 567826: 2, 146130: 7, 170614: 7, 193362: 9, 367547: 13, 88662: 7, 377888: 11, 261579: 9, 495325: 4, 68838: 5, 319164: 9, 163395: 4, 319189: 8, 365420: 10, 402389: 9, 484511: 4, 568069: 1, 38562: 3, 160481: 4, 386033: 9, 437532: 7, 261577: 6, 289887: 7, 41547: 3, 108120: 4, 306655: 7, 392403: 8, 365109: 8, 374835: 8, 83476: 3, 241547: 5, 340092: 7, 481196: 4, 173881: 3, 415489: 6, 19360: 1, 461738: 5, 19923: 1, 557247: 1, 275473: 3, 487892: 2, 249101: 2, 547747: 1, 180621: 1, 477928: 1}
{113815: 25, 528285: 18, 6723: 2, 287126: 45, 379269: 40, 585812: 5, 144823: 30, 151502: 31, 130233: 26, 525724: 18, 228338: 36, 509996: 20, 91313: 22, 321083: 41, 493829: 23, 511516: 19, 140764: 26, 324282: 41, 255455: 36, 437099: 33, 6895: 2, 60718: 13, 267353: 38, 370183: 40, 260365: 35, 442234: 31, 331747: 39, 463346: 26, 243359: 34, 568339: 8, 243101: 33, 379013: 34, 316135: 37, 570557: 6, 302261: 34, 527474: 15, 226657: 33, 289351: 36, 446132: 27, 560347: 10, 335902: 35, 360334: 34, 88624: 20, 276202: 34, 328662: 34, 400394: 32, 373040: 33, 424312: 28, 308820: 35, 460220: 24, 243556: 31, 402400: 28, 284815: 34, 430873: 25, 266307: 31, 494920: 18, 5367: 1, 374809: 28, 8109: 1, 12872: 1, 41067: 9, 257718: 29, 15675: 1, 213395: 30, 174845: 25, 262995: 31, 164018: 23, 291608: 30, 260985: 27, 589027: 4, 473731: 19, 529124: 12, 112430: 18, 201880: 28, 32547: 5, 570201: 5, 132340: 19, 320387: 26, 70918: 11, 161630: 19, 39804: 6, 362352: 25, 176700: 20, 451005: 22, 436044: 22, 594480: 2, 409187: 22, 591787: 2, 77333: 12, 185321: 22, 181826: 21, 451654: 19, 194838: 21, 244595: 21, 110506: 13, 299743: 24, 42910: 7, 497652: 11, 71080: 9, 266268: 21, 135950: 13, 355120: 22, 321164: 21, 473374: 15, 238087: 17, 427329: 17, 19698: 3, 571697: 2, 308821: 21, 542025: 7, 64608: 6, 310663: 20, 208949: 16, 502055: 8, 144196: 10, 407403: 15, 435895: 14, 595616: 1, 73614: 7, 193779: 14, 17379: 1, 523950: 6, 201193: 13, 562399: 3, 123031: 7, 212713: 12, 166002: 8, 285024: 14, 180566: 8, 230420: 10, 283130: 13, 344968: 14, 287786: 13, 462195: 9, 399268: 12, 492740: 6, 298552: 12, 567826: 2, 146130: 7, 170614: 7, 193362: 9, 367547: 13, 88662: 7, 377888: 11, 261579: 9, 495325: 4, 68838: 5, 319164: 9, 163395: 4, 319189: 8, 365420: 10, 402389: 9, 484511: 4, 568069: 1, 38562: 3, 160481: 4, 386033: 9, 437532: 7, 261577: 6, 289887: 7, 41547: 3, 108120: 4, 306655: 7, 392403: 8, 365109: 8, 374835: 8, 83476: 3, 241547: 5, 340092: 7, 481196: 4, 173881: 3, 415489: 6, 19360: 1, 461738: 5, 19923: 1, 557247: 1, 275473: 3, 487892: 2, 249101: 2, 547747: 1, 180621: 1, 477928: 1, 127124: 1, 136943: 1}
{113815: 26, 528285: 19, 6723: 2, 287126: 46, 379269: 41, 585812: 6, 144823: 31, 151502: 32, 130233: 27, 525724: 19, 228338: 37, 509996: 21, 91313: 23, 321083: 42, 493829: 24, 511516: 20, 140764: 27, 324282: 42, 255455: 37, 437099: 34, 6895: 2, 60718: 13, 267353: 39, 370183: 41, 260365: 36, 442234: 32, 331747: 40, 463346: 27, 243359: 35, 568339: 9, 243101: 34, 379013: 35, 316135: 38, 570557: 7, 302261: 35, 527474: 16, 226657: 34, 289351: 37, 446132: 28, 560347: 11, 335902: 36, 360334: 35, 88624: 21, 276202: 35, 328662: 35, 400394: 33, 373040: 34, 424312: 29, 308820: 36, 460220: 25, 243556: 32, 402400: 29, 284815: 35, 430873: 26, 266307: 32, 494920: 19, 5367: 1, 374809: 29, 8109: 1, 12872: 1, 41067: 9, 257718: 30, 15675: 1, 213395: 31, 174845: 26, 262995: 32, 164018: 24, 291608: 31, 260985: 28, 589027: 5, 473731: 20, 529124: 13, 112430: 19, 201880: 29, 32547: 5, 570201: 6, 132340: 20, 320387: 27, 70918: 11, 161630: 20, 39804: 6, 362352: 26, 176700: 21, 451005: 23, 436044: 23, 594480: 3, 409187: 23, 591787: 3, 77333: 12, 185321: 23, 181826: 22, 451654: 20, 194838: 22, 244595: 22, 110506: 14, 299743: 25, 42910: 7, 497652: 12, 71080: 9, 266268: 22, 135950: 14, 355120: 23, 321164: 22, 473374: 16, 238087: 18, 427329: 18, 19698: 3, 571697: 3, 308821: 22, 542025: 8, 64608: 6, 310663: 21, 208949: 17, 502055: 9, 144196: 11, 407403: 16, 435895: 15, 595616: 2, 73614: 7, 193779: 15, 17379: 1, 523950: 7, 201193: 14, 562399: 4, 123031: 8, 212713: 13, 166002: 9, 285024: 15, 180566: 9, 230420: 11, 283130: 14, 344968: 15, 287786: 14, 462195: 10, 399268: 13, 492740: 7, 298552: 13, 567826: 3, 146130: 8, 170614: 8, 193362: 10, 367547: 14, 88662: 8, 377888: 12, 261579: 10, 495325: 5, 68838: 5, 319164: 10, 163395: 5, 319189: 9, 365420: 11, 402389: 10, 484511: 5, 568069: 2, 38562: 3, 160481: 5, 386033: 10, 437532: 8, 261577: 7, 289887: 8, 41547: 3, 108120: 5, 306655: 8, 392403: 9, 365109: 9, 374835: 9, 83476: 3, 241547: 6, 340092: 8, 481196: 5, 173881: 4, 415489: 7, 19360: 1, 461738: 6, 19923: 1, 557247: 2, 275473: 4, 487892: 3, 249101: 3, 547747: 2, 180621: 2, 477928: 2, 127124: 2, 136943: 2, 83701: 1, 597943: 1}
{113815: 26, 528285: 20, 6723: 2, 287126: 46, 379269: 42, 585812: 6, 144823: 31, 151502: 32, 130233: 27, 525724: 20, 228338: 37, 509996: 22, 91313: 23, 321083: 42, 493829: 25, 511516: 21, 140764: 27, 324282: 42, 255455: 37, 437099: 35, 6895: 2, 60718: 13, 267353: 39, 370183: 42, 260365: 36, 442234: 33, 331747: 40, 463346: 28, 243359: 35, 568339: 9, 243101: 34, 379013: 36, 316135: 38, 570557: 7, 302261: 35, 527474: 17, 226657: 34, 289351: 37, 446132: 29, 560347: 11, 335902: 36, 360334: 36, 88624: 21, 276202: 35, 328662: 35, 400394: 34, 373040: 35, 424312: 30, 308820: 36, 460220: 26, 243556: 32, 402400: 30, 284815: 35, 430873: 27, 266307: 32, 494920: 20, 5367: 1, 374809: 30, 8109: 1, 12872: 1, 41067: 9, 257718: 30, 15675: 1, 213395: 31, 174845: 26, 262995: 32, 164018: 24, 291608: 31, 260985: 28, 589027: 5, 473731: 21, 529124: 14, 112430: 19, 201880: 29, 32547: 5, 570201: 6, 132340: 20, 320387: 27, 70918: 11, 161630: 20, 39804: 6, 362352: 27, 176700: 21, 451005: 24, 436044: 24, 594480: 3, 409187: 24, 591787: 3, 77333: 12, 185321: 23, 181826: 22, 451654: 21, 194838: 22, 244595: 22, 110506: 14, 299743: 25, 42910: 7, 497652: 13, 71080: 9, 266268: 22, 135950: 14, 355120: 24, 321164: 22, 473374: 17, 238087: 18, 427329: 19, 19698: 3, 571697: 3, 308821: 22, 542025: 9, 64608: 6, 310663: 21, 208949: 17, 502055: 10, 144196: 11, 407403: 17, 435895: 16, 595616: 2, 73614: 7, 193779: 15, 17379: 1, 523950: 8, 201193: 14, 562399: 4, 123031: 8, 212713: 13, 166002: 9, 285024: 15, 180566: 9, 230420: 11, 283130: 14, 344968: 16, 287786: 14, 462195: 11, 399268: 14, 492740: 8, 298552: 13, 567826: 3, 146130: 8, 170614: 8, 193362: 10, 367547: 15, 88662: 8, 377888: 13, 261579: 10, 495325: 6, 68838: 5, 319164: 10, 163395: 5, 319189: 9, 365420: 12, 402389: 11, 484511: 6, 568069: 2, 38562: 3, 160481: 5, 386033: 11, 437532: 9, 261577: 7, 289887: 8, 41547: 3, 108120: 5, 306655: 8, 392403: 10, 365109: 10, 374835: 10, 83476: 3, 241547: 6, 340092: 8, 481196: 6, 173881: 4, 415489: 8, 19360: 1, 461738: 7, 19923: 1, 557247: 3, 275473: 4, 487892: 4, 249101: 3, 547747: 3, 180621: 2, 477928: 3, 127124: 2, 136943: 2, 83701: 1, 597943: 1, 344720: 1, 559707: 1}
{113815: 26, 528285: 20, 6723: 2, 287126: 46, 379269: 43, 585812: 6, 144823: 31, 151502: 32, 130233: 27, 525724: 20, 228338: 37, 509996: 22, 91313: 23, 321083: 42, 493829: 25, 511516: 21, 140764: 27, 324282: 42, 255455: 37, 437099: 35, 6895: 2, 60718: 13, 267353: 39, 370183: 43, 260365: 36, 442234: 33, 331747: 40, 463346: 28, 243359: 35, 568339: 9, 243101: 34, 379013: 37, 316135: 38, 570557: 7, 302261: 35, 527474: 17, 226657: 34, 289351: 37, 446132: 29, 560347: 11, 335902: 36, 360334: 37, 88624: 21, 276202: 35, 328662: 35, 400394: 34, 373040: 36, 424312: 30, 308820: 36, 460220: 26, 243556: 32, 402400: 30, 284815: 35, 430873: 27, 266307: 32, 494920: 20, 5367: 1, 374809: 31, 8109: 1, 12872: 1, 41067: 9, 257718: 30, 15675: 1, 213395: 31, 174845: 26, 262995: 32, 164018: 24, 291608: 31, 260985: 28, 589027: 5, 473731: 21, 529124: 14, 112430: 19, 201880: 29, 32547: 5, 570201: 6, 132340: 20, 320387: 27, 70918: 11, 161630: 20, 39804: 6, 362352: 28, 176700: 21, 451005: 24, 436044: 24, 594480: 3, 409187: 24, 591787: 3, 77333: 12, 185321: 23, 181826: 22, 451654: 21, 194838: 22, 244595: 22, 110506: 14, 299743: 25, 42910: 7, 497652: 13, 71080: 9, 266268: 22, 135950: 14, 355120: 25, 321164: 22, 473374: 17, 238087: 18, 427329: 19, 19698: 3, 571697: 3, 308821: 22, 542025: 9, 64608: 6, 310663: 21, 208949: 17, 502055: 10, 144196: 11, 407403: 17, 435895: 16, 595616: 2, 73614: 7, 193779: 15, 17379: 1, 523950: 8, 201193: 14, 562399: 4, 123031: 8, 212713: 13, 166002: 9, 285024: 15, 180566: 9, 230420: 11, 283130: 14, 344968: 16, 287786: 14, 462195: 11, 399268: 14, 492740: 8, 298552: 13, 567826: 3, 146130: 8, 170614: 8, 193362: 10, 367547: 16, 88662: 8, 377888: 14, 261579: 10, 495325: 6, 68838: 5, 319164: 10, 163395: 5, 319189: 9, 365420: 13, 402389: 11, 484511: 6, 568069: 2, 38562: 3, 160481: 5, 386033: 11, 437532: 9, 261577: 7, 289887: 8, 41547: 3, 108120: 5, 306655: 8, 392403: 10, 365109: 11, 374835: 11, 83476: 3, 241547: 6, 340092: 8, 481196: 6, 173881: 4, 415489: 8, 19360: 1, 461738: 7, 19923: 1, 557247: 3, 275473: 4, 487892: 4, 249101: 3, 547747: 3, 180621: 2, 477928: 3, 127124: 2, 136943: 2, 83701: 1, 597943: 1, 344720: 1, 559707: 1, 353205: 1, 384314: 1}
{113815: 26, 528285: 20, 6723: 2, 287126: 46, 379269: 43, 585812: 6, 144823: 31, 151502: 32, 130233: 27, 525724: 20, 228338: 38, 509996: 22, 91313: 23, 321083: 42, 493829: 25, 511516: 21, 140764: 27, 324282: 42, 255455: 37, 437099: 35, 6895: 2, 60718: 13, 267353: 39, 370183: 43, 260365: 36, 442234: 33, 331747: 40, 463346: 28, 243359: 36, 568339: 9, 243101: 35, 379013: 37, 316135: 38, 570557: 7, 302261: 35, 527474: 17, 226657: 35, 289351: 37, 446132: 29, 560347: 11, 335902: 36, 360334: 37, 88624: 21, 276202: 35, 328662: 35, 400394: 34, 373040: 36, 424312: 30, 308820: 36, 460220: 26, 243556: 33, 402400: 30, 284815: 35, 430873: 27, 266307: 32, 494920: 20, 5367: 1, 374809: 31, 8109: 1, 12872: 1, 41067: 9, 257718: 30, 15675: 1, 213395: 32, 174845: 27, 262995: 32, 164018: 25, 291608: 31, 260985: 28, 589027: 5, 473731: 21, 529124: 14, 112430: 19, 201880: 30, 32547: 5, 570201: 6, 132340: 20, 320387: 27, 70918: 11, 161630: 21, 39804: 6, 362352: 28, 176700: 22, 451005: 24, 436044: 24, 594480: 3, 409187: 24, 591787: 3, 77333: 12, 185321: 24, 181826: 23, 451654: 21, 194838: 23, 244595: 23, 110506: 14, 299743: 25, 42910: 7, 497652: 13, 71080: 9, 266268: 22, 135950: 14, 355120: 25, 321164: 22, 473374: 17, 238087: 19, 427329: 19, 19698: 3, 571697: 3, 308821: 22, 542025: 9, 64608: 6, 310663: 21, 208949: 18, 502055: 10, 144196: 11, 407403: 17, 435895: 16, 595616: 2, 73614: 7, 193779: 16, 17379: 1, 523950: 8, 201193: 15, 562399: 4, 123031: 8, 212713: 14, 166002: 10, 285024: 15, 180566: 10, 230420: 12, 283130: 14, 344968: 16, 287786: 14, 462195: 11, 399268: 14, 492740: 8, 298552: 13, 567826: 3, 146130: 8, 170614: 9, 193362: 11, 367547: 16, 88662: 8, 377888: 14, 261579: 10, 495325: 6, 68838: 5, 319164: 10, 163395: 6, 319189: 9, 365420: 13, 402389: 11, 484511: 6, 568069: 2, 38562: 3, 160481: 6, 386033: 11, 437532: 9, 261577: 7, 289887: 8, 41547: 3, 108120: 5, 306655: 8, 392403: 10, 365109: 11, 374835: 11, 83476: 3, 241547: 7, 340092: 8, 481196: 6, 173881: 5, 415489: 8, 19360: 1, 461738: 7, 19923: 1, 557247: 3, 275473: 4, 487892: 4, 249101: 4, 547747: 3, 180621: 3, 477928: 3, 127124: 2, 136943: 2, 83701: 1, 597943: 1, 344720: 1, 559707: 1, 353205: 1, 384314: 1, 158019: 1, 252234: 1}
{113815: 26, 528285: 20, 6723: 3, 287126: 46, 379269: 43, 585812: 6, 144823: 31, 151502: 32, 130233: 27, 525724: 20, 228338: 38, 509996: 22, 91313: 23, 321083: 42, 493829: 25, 511516: 21, 140764: 27, 324282: 42, 255455: 37, 437099: 35, 6895: 3, 60718: 13, 267353: 39, 370183: 43, 260365: 36, 442234: 33, 331747: 40, 463346: 28, 243359: 36, 568339: 9, 243101: 35, 379013: 37, 316135: 38, 570557: 7, 302261: 35, 527474: 17, 226657: 35, 289351: 37, 446132: 29, 560347: 11, 335902: 36, 360334: 37, 88624: 21, 276202: 35, 328662: 35, 400394: 34, 373040: 36, 424312: 30, 308820: 36, 460220: 26, 243556: 33, 402400: 30, 284815: 35, 430873: 27, 266307: 32, 494920: 20, 5367: 2, 374809: 31, 8109: 2, 12872: 2, 41067: 9, 257718: 30, 15675: 2, 213395: 32, 174845: 27, 262995: 32, 164018: 25, 291608: 31, 260985: 28, 589027: 5, 473731: 21, 529124: 14, 112430: 19, 201880: 30, 32547: 5, 570201: 6, 132340: 20, 320387: 27, 70918: 11, 161630: 21, 39804: 6, 362352: 28, 176700: 22, 451005: 24, 436044: 24, 594480: 3, 409187: 24, 591787: 3, 77333: 12, 185321: 24, 181826: 23, 451654: 21, 194838: 23, 244595: 23, 110506: 14, 299743: 25, 42910: 7, 497652: 13, 71080: 9, 266268: 22, 135950: 14, 355120: 25, 321164: 22, 473374: 17, 238087: 19, 427329: 19, 19698: 4, 571697: 3, 308821: 22, 542025: 9, 64608: 6, 310663: 21, 208949: 18, 502055: 10, 144196: 11, 407403: 17, 435895: 16, 595616: 2, 73614: 7, 193779: 16, 17379: 2, 523950: 8, 201193: 15, 562399: 4, 123031: 8, 212713: 14, 166002: 10, 285024: 15, 180566: 10, 230420: 12, 283130: 14, 344968: 16, 287786: 14, 462195: 11, 399268: 14, 492740: 8, 298552: 13, 567826: 3, 146130: 8, 170614: 9, 193362: 11, 367547: 16, 88662: 8, 377888: 14, 261579: 10, 495325: 6, 68838: 5, 319164: 10, 163395: 6, 319189: 9, 365420: 13, 402389: 11, 484511: 6, 568069: 2, 38562: 3, 160481: 6, 386033: 11, 437532: 9, 261577: 7, 289887: 8, 41547: 3, 108120: 5, 306655: 8, 392403: 10, 365109: 11, 374835: 11, 83476: 3, 241547: 7, 340092: 8, 481196: 6, 173881: 5, 415489: 8, 19360: 2, 461738: 7, 19923: 2, 557247: 3, 275473: 4, 487892: 4, 249101: 4, 547747: 3, 180621: 3, 477928: 3, 127124: 2, 136943: 2, 83701: 1, 597943: 1, 344720: 1, 559707: 1, 353205: 1, 384314: 1, 158019: 1, 252234: 1, 5026: 1, 23536: 1}
{113815: 26, 528285: 20, 6723: 3, 287126: 46, 379269: 43, 585812: 6, 144823: 31, 151502: 32, 130233: 27, 525724: 20, 228338: 38, 509996: 22, 91313: 24, 321083: 42, 493829: 25, 511516: 21, 140764: 27, 324282: 42, 255455: 37, 437099: 35, 6895: 3, 60718: 13, 267353: 39, 370183: 43, 260365: 36, 442234: 33, 331747: 40, 463346: 28, 243359: 36, 568339: 9, 243101: 35, 379013: 37, 316135: 38, 570557: 7, 302261: 35, 527474: 17, 226657: 35, 289351: 37, 446132: 29, 560347: 11, 335902: 36, 360334: 37, 88624: 22, 276202: 35, 328662: 35, 400394: 34, 373040: 36, 424312: 30, 308820: 36, 460220: 26, 243556: 33, 402400: 30, 284815: 35, 430873: 27, 266307: 32, 494920: 20, 5367: 2, 374809: 31, 8109: 2, 12872: 2, 41067: 9, 257718: 30, 15675: 2, 213395: 32, 174845: 27, 262995: 32, 164018: 25, 291608: 31, 260985: 28, 589027: 5, 473731: 21, 529124: 14, 112430: 19, 201880: 30, 32547: 5, 570201: 6, 132340: 20, 320387: 27, 70918: 11, 161630: 21, 39804: 6, 362352: 28, 176700: 22, 451005: 24, 436044: 24, 594480: 3, 409187: 24, 591787: 3, 77333: 12, 185321: 24, 181826: 23, 451654: 21, 194838: 23, 244595: 23, 110506: 14, 299743: 25, 42910: 7, 497652: 13, 71080: 9, 266268: 22, 135950: 14, 355120: 25, 321164: 22, 473374: 17, 238087: 19, 427329: 19, 19698: 4, 571697: 3, 308821: 22, 542025: 9, 64608: 6, 310663: 21, 208949: 18, 502055: 10, 144196: 11, 407403: 17, 435895: 16, 595616: 2, 73614: 7, 193779: 16, 17379: 2, 523950: 8, 201193: 15, 562399: 4, 123031: 8, 212713: 14, 166002: 10, 285024: 15, 180566: 10, 230420: 12, 283130: 14, 344968: 16, 287786: 14, 462195: 11, 399268: 14, 492740: 8, 298552: 13, 567826: 3, 146130: 8, 170614: 9, 193362: 11, 367547: 16, 88662: 9, 377888: 14, 261579: 10, 495325: 6, 68838: 5, 319164: 10, 163395: 6, 319189: 9, 365420: 13, 402389: 11, 484511: 6, 568069: 2, 38562: 3, 160481: 6, 386033: 11, 437532: 9, 261577: 7, 289887: 8, 41547: 3, 108120: 6, 306655: 8, 392403: 10, 365109: 11, 374835: 11, 83476: 3, 241547: 7, 340092: 8, 481196: 6, 173881: 5, 415489: 8, 19360: 2, 461738: 7, 19923: 2, 557247: 3, 275473: 4, 487892: 4, 249101: 4, 547747: 3, 180621: 3, 477928: 3, 127124: 2, 136943: 2, 83701: 1, 597943: 1, 344720: 1, 559707: 1, 353205: 1, 384314: 1, 158019: 1, 252234: 1, 5026: 1, 23536: 1, 84504: 1, 109363: 1}
{113815: 26, 528285: 20, 6723: 3, 287126: 47, 379269: 44, 585812: 6, 144823: 31, 151502: 32, 130233: 27, 525724: 20, 228338: 38, 509996: 22, 91313: 24, 321083: 43, 493829: 25, 511516: 21, 140764: 27, 324282: 43, 255455: 37, 437099: 36, 6895: 3, 60718: 13, 267353: 39, 370183: 44, 260365: 36, 442234: 34, 331747: 41, 463346: 29, 243359: 36, 568339: 9, 243101: 35, 379013: 38, 316135: 39, 570557: 7, 302261: 36, 527474: 17, 226657: 35, 289351: 38, 446132: 30, 560347: 11, 335902: 37, 360334: 38, 88624: 22, 276202: 36, 328662: 36, 400394: 35, 373040: 37, 424312: 31, 308820: 37, 460220: 27, 243556: 33, 402400: 31, 284815: 36, 430873: 28, 266307: 32, 494920: 20, 5367: 2, 374809: 32, 8109: 2, 12872: 2, 41067: 9, 257718: 30, 15675: 2, 213395: 32, 174845: 27, 262995: 32, 164018: 25, 291608: 32, 260985: 28, 589027: 5, 473731: 22, 529124: 14, 112430: 19, 201880: 30, 32547: 5, 570201: 6, 132340: 20, 320387: 28, 70918: 11, 161630: 21, 39804: 6, 362352: 29, 176700: 22, 451005: 25, 436044: 25, 594480: 3, 409187: 25, 591787: 3, 77333: 12, 185321: 24, 181826: 23, 451654: 22, 194838: 23, 244595: 23, 110506: 14, 299743: 26, 42910: 7, 497652: 13, 71080: 9, 266268: 22, 135950: 14, 355120: 26, 321164: 23, 473374: 18, 238087: 19, 427329: 20, 19698: 4, 571697: 3, 308821: 23, 542025: 9, 64608: 6, 310663: 22, 208949: 18, 502055: 10, 144196: 11, 407403: 18, 435895: 17, 595616: 2, 73614: 7, 193779: 16, 17379: 2, 523950: 8, 201193: 15, 562399: 4, 123031: 8, 212713: 14, 166002: 10, 285024: 16, 180566: 10, 230420: 12, 283130: 15, 344968: 17, 287786: 15, 462195: 12, 399268: 15, 492740: 8, 298552: 14, 567826: 3, 146130: 8, 170614: 9, 193362: 11, 367547: 17, 88662: 9, 377888: 15, 261579: 10, 495325: 6, 68838: 5, 319164: 11, 163395: 6, 319189: 10, 365420: 14, 402389: 12, 484511: 6, 568069: 2, 38562: 3, 160481: 6, 386033: 12, 437532: 10, 261577: 7, 289887: 9, 41547: 3, 108120: 6, 306655: 9, 392403: 11, 365109: 12, 374835: 12, 83476: 3, 241547: 7, 340092: 9, 481196: 6, 173881: 5, 415489: 9, 19360: 2, 461738: 8, 19923: 2, 557247: 3, 275473: 5, 487892: 4, 249101: 4, 547747: 3, 180621: 3, 477928: 3, 127124: 2, 136943: 2, 83701: 1, 597943: 1, 344720: 2, 559707: 1, 353205: 2, 384314: 2, 158019: 1, 252234: 1, 5026: 1, 23536: 1, 84504: 1, 109363: 1, 270015: 1, 476967: 1}
{113815: 27, 528285: 20, 6723: 3, 287126: 47, 379269: 44, 585812: 6, 144823: 32, 151502: 33, 130233: 28, 525724: 20, 228338: 38, 509996: 22, 91313: 25, 321083: 43, 493829: 25, 511516: 21, 140764: 28, 324282: 43, 255455: 37, 437099: 36, 6895: 3, 60718: 14, 267353: 39, 370183: 44, 260365: 36, 442234: 34, 331747: 41, 463346: 29, 243359: 36, 568339: 9, 243101: 35, 379013: 38, 316135: 39, 570557: 7, 302261: 36, 527474: 17, 226657: 35, 289351: 38, 446132: 30, 560347: 11, 335902: 37, 360334: 38, 88624: 23, 276202: 36, 328662: 36, 400394: 35, 373040: 37, 424312: 31, 308820: 37, 460220: 27, 243556: 33, 402400: 31, 284815: 36, 430873: 28, 266307: 32, 494920: 20, 5367: 2, 374809: 32, 8109: 2, 12872: 2, 41067: 9, 257718: 30, 15675: 2, 213395: 33, 174845: 28, 262995: 32, 164018: 26, 291608: 32, 260985: 28, 589027: 5, 473731: 22, 529124: 14, 112430: 20, 201880: 31, 32547: 5, 570201: 6, 132340: 21, 320387: 28, 70918: 12, 161630: 22, 39804: 6, 362352: 29, 176700: 23, 451005: 25, 436044: 25, 594480: 3, 409187: 25, 591787: 3, 77333: 13, 185321: 25, 181826: 24, 451654: 22, 194838: 24, 244595: 23, 110506: 15, 299743: 26, 42910: 7, 497652: 13, 71080: 10, 266268: 22, 135950: 15, 355120: 26, 321164: 23, 473374: 18, 238087: 19, 427329: 20, 19698: 4, 571697: 3, 308821: 23, 542025: 9, 64608: 7, 310663: 22, 208949: 19, 502055: 10, 144196: 12, 407403: 18, 435895: 17, 595616: 2, 73614: 8, 193779: 17, 17379: 2, 523950: 8, 201193: 16, 562399: 4, 123031: 9, 212713: 15, 166002: 11, 285024: 16, 180566: 11, 230420: 12, 283130: 15, 344968: 17, 287786: 15, 462195: 12, 399268: 15, 492740: 8, 298552: 14, 567826: 3, 146130: 9, 170614: 10, 193362: 12, 367547: 17, 88662: 10, 377888: 15, 261579: 10, 495325: 6, 68838: 6, 319164: 11, 163395: 7, 319189: 10, 365420: 14, 402389: 12, 484511: 6, 568069: 2, 38562: 3, 160481: 7, 386033: 12, 437532: 10, 261577: 7, 289887: 9, 41547: 3, 108120: 7, 306655: 9, 392403: 11, 365109: 12, 374835: 12, 83476: 4, 241547: 7, 340092: 9, 481196: 6, 173881: 6, 415489: 9, 19360: 2, 461738: 8, 19923: 2, 557247: 3, 275473: 5, 487892: 4, 249101: 4, 547747: 3, 180621: 4, 477928: 3, 127124: 3, 136943: 3, 83701: 2, 597943: 1, 344720: 2, 559707: 1, 353205: 2, 384314: 2, 158019: 2, 252234: 1, 5026: 1, 23536: 1, 84504: 2, 109363: 2, 270015: 1, 476967: 1, 60321: 1, 226336: 1}
47