0
{263708: 1, 329159: 1}
{263708: 2, 329159: 2, 111946: 1, 492424: 1}
{263708: 2, 329159: 2, 111946: 1, 492424: 1, 15682: 1, 49655: 1}
0
{263708: 2, 329159: 2, 111946: 1, 492424: 1, 15682: 1, 49655: 1, 563433: 1, 573443: 1}
{263708: 3, 329159: 3, 111946: 1, 492424: 1, 15682: 1, 49655: 1, 563433: 1, 573443: 1, 221579: 1, 332458: 1}
{263708: 3, 329159: 3, 111946: 1, 492424: 1, 15682: 1, 49655: 1, 563433: 2, 573443: 1, 221579: 1, 332458: 1, 497714: 1, 573226: 1}
{263708: 4, 329159: 4, 111946: 1, 492424: 2, 15682: 1, 49655: 1, 563433: 2, 573443: 1, 221579: 1, 332458: 2, 497714: 2, 573226: 1, 263301: 1, 514629: 1}
{263708: 4, 329159: 4, 111946: 1, 492424: 2, 15682: 1, 49655: 1, 563433: 2, 573443: 1, 221579: 1, 332458: 2, 497714: 2, 573226: 1, 263301: 1, 514629: 1, 293196: 1, 311577: 1}
{263708: 4, 329159: 4, 111946: 1, 492424: 2, 15682: 1, 49655: 1, 563433: 2, 573443: 1, 221579: 1, 332458: 2, 497714: 2, 573226: 1, 263301: 1, 514629: 1, 293196: 1, 311577: 1, 245732: 1, 254256: 1}
{263708: 4, 329159: 4, 111946: 1, 492424: 2, 15682: 1, 49655: 1, 563433: 2, 573443: 1, 221579: 1, 332458: 2, 497714: 2, 573226: 1, 263301: 1, 514629: 1, 293196: 1, 311577: 1, 245732: 1, 254256: 1, 133669: 1, 193874: 1}
{263708: 4, 329159: 4, 111946: 2, 492424: 2, 15682: 1, 49655: 2, 563433: 2, 573443: 1, 221579: 1, 332458: 2, 497714: 2, 573226: 1, 263301: 1, 514629: 1, 293196: 1, 311577: 1, 245732: 1, 254256: 1, 133669: 2, 193874: 2, 16454: 1, 199800: 1}
{263708: 5, 329159: 5, 111946: 3, 492424: 2, 15682: 1, 49655: 2, 563433: 2, 573443: 1, 221579: 2, 332458: 3, 497714: 2, 573226: 1, 263301: 2, 514629: 1, 293196: 2, 311577: 2, 245732: 2, 254256: 2, 133669: 3, 193874: 3, 16454: 1, 199800: 2, 93404: 1, 451593: 1}
{263708: 5, 329159: 5, 111946: 3, 492424: 2, 15682: 1, 49655: 2, 563433: 2, 573443: 1, 221579: 2, 332458: 3, 497714: 2, 573226: 1, 263301: 2, 514629: 1, 293196: 2, 311577: 2, 245732: 2, 254256: 2, 133669: 4, 193874: 3, 16454: 1, 199800: 2, 93404: 1, 451593: 1, 123780: 1, 149503: 1}
{263708: 6, 329159: 6, 111946: 3, 492424: 2, 15682: 1, 49655: 2, 563433: 2, 573443: 1, 221579: 2, 332458: 4, 497714: 2, 573226: 1, 263301: 3, 514629: 1, 293196: 3, 311577: 3, 245732: 2, 254256: 2, 133669: 4, 193874: 3, 16454: 1, 199800: 2, 93404: 1, 451593: 1, 123780: 1, 149503: 1, 261012: 1, 422700: 1}
{263708: 7, 329159: 7, 111946: 4, 492424: 2, 15682: 1, 49655: 3, 563433: 2, 573443: 1, 221579: 3, 332458: 5, 497714: 2, 573226: 1, 263301: 4, 514629: 1, 293196: 4, 311577: 4, 245732: 3, 254256: 3, 133669: 5, 193874: 4, 16454: 1, 199800: 3, 93404: 2, 451593: 1, 123780: 2, 149503: 2, 261012: 2, 422700: 1, 40612: 1, 374560: 1}
{263708: 8, 329159: 8, 111946: 5, 492424: 3, 15682: 1, 49655: 3, 563433: 2, 573443: 1, 221579: 4, 332458: 6, 497714: 3, 573226: 1, 263301: 5, 514629: 2, 293196: 5, 311577: 5, 245732: 4, 254256: 4, 133669: 6, 193874: 5, 16454: 1, 199800: 4, 93404: 3, 451593: 2, 123780: 3, 149503: 3, 261012: 3, 422700: 2, 40612: 1, 374560: 2, 72551: 1, 537282: 1}
{263708: 9, 329159: 9, 111946: 5, 492424: 4, 15682: 1, 49655: 3, 563433: 3, 573443: 2, 221579: 5, 332458: 7, 497714: 4, 573226: 2, 263301: 6, 514629: 3, 293196: 6, 311577: 6, 245732: 5, 254256: 5, 133669: 6, 193874: 6, 16454: 1, 199800: 5, 93404: 3, 451593: 3, 123780: 3, 149503: 3, 261012: 4, 422700: 3, 40612: 1, 374560: 3, 72551: 1, 537282: 2, 181244: 1, 601122: 1}
{263708: 9, 329159: 10, 111946: 5, 492424: 5, 15682: 1, 49655: 3, 563433: 4, 573443: 2, 221579: 5, 332458: 8, 497714: 5, 573226: 2, 263301: 6, 514629: 4, 293196: 6, 311577: 7, 245732: 5, 254256: 5, 133669: 6, 193874: 6, 16454: 1, 199800: 5, 93404: 3, 451593: 4, 123780: 3, 149503: 3, 261012: 4, 422700: 4, 40612: 1, 374560: 4, 72551: 1, 537282: 3, 181244: 1, 601122: 1, 293454: 1, 569272: 1}
{263708: 10, 329159: 11, 111946: 5, 492424: 6, 15682: 1, 49655: 3, 563433: 5, 573443: 3, 221579: 6, 332458: 9, 497714: 6, 573226: 3, 263301: 7, 514629: 5, 293196: 7, 311577: 8, 245732: 6, 254256: 6, 133669: 6, 193874: 7, 16454: 1, 199800: 6, 93404: 3, 451593: 5, 123780: 3, 149503: 3, 261012: 5, 422700: 5, 40612: 1, 374560: 5, 72551: 1, 537282: 4, 181244: 2, 601122: 1, 293454: 2, 569272: 2, 161388: 1, 587046: 1}
{263708: 10, 329159: 12, 111946: 5, 492424: 6, 15682: 1, 49655: 3, 563433: 5, 573443: 3, 221579: 6, 332458: 10, 497714: 6, 573226: 3, 263301: 7, 514629: 5, 293196: 7, 311577: 9, 245732: 6, 254256: 6, 133669: 6, 193874: 7, 16454: 1, 199800: 6, 93404: 3, 451593: 5, 123780: 3, 149503: 3, 261012: 5, 422700: 5, 40612: 1, 374560: 6, 72551: 1, 537282: 4, 181244: 2, 601122: 1, 293454: 2, 569272: 2, 161388: 1, 587046: 1, 304242: 1, 382705: 1}
{263708: 10, 329159: 12, 111946: 5, 492424: 6, 15682: 1, 49655: 3, 563433: 5, 573443: 3, 221579: 6, 332458: 10, 497714: 6, 573226: 3, 263301: 7, 514629: 5, 293196: 7, 311577: 9, 245732: 6, 254256: 6, 133669: 6, 193874: 7, 16454: 1, 199800: 6, 93404: 3, 451593: 6, 123780: 3, 149503: 3, 261012: 5, 422700: 6, 40612: 1, 374560: 6, 72551: 1, 537282: 4, 181244: 2, 601122: 1, 293454: 2, 569272: 2, 161388: 1, 587046: 1, 304242: 1, 382705: 2, 375687: 1, 484029: 1}
{263708: 10, 329159: 12, 111946: 5, 492424: 7, 15682: 1, 49655: 3, 563433: 5, 573443: 3, 221579: 6, 332458: 10, 497714: 6, 573226: 3, 263301: 7, 514629: 5, 293196: 7, 311577: 9, 245732: 6, 254256: 6, 133669: 6, 193874: 7, 16454: 1, 199800: 6, 93404: 3, 451593: 7, 123780: 3, 149503: 3, 261012: 5, 422700: 6, 40612: 1, 374560: 6, 72551: 1, 537282: 4, 181244: 2, 601122: 1, 293454: 2, 569272: 2, 161388: 1, 587046: 1, 304242: 1, 382705: 2, 375687: 1, 484029: 2, 424623: 1, 494897: 1}
{263708: 10, 329159: 13, 111946: 5, 492424: 7, 15682: 1, 49655: 3, 563433: 5, 573443: 3, 221579: 6, 332458: 11, 497714: 6, 573226: 3, 263301: 7, 514629: 5, 293196: 7, 311577: 9, 245732: 6, 254256: 6, 133669: 6, 193874: 7, 16454: 1, 199800: 6, 93404: 3, 451593: 7, 123780: 3, 149503: 3, 261012: 5, 422700: 6, 40612: 1, 374560: 6, 72551: 1, 537282: 4, 181244: 2, 601122: 1, 293454: 2, 569272: 2, 161388: 1, 587046: 1, 304242: 1, 382705: 2, 375687: 1, 484029: 2, 424623: 1, 494897: 1, 320047: 1, 364003: 1}
{263708: 10, 329159: 13, 111946: 5, 492424: 7, 15682: 1, 49655: 3, 563433: 5, 573443: 3, 221579: 6, 332458: 11, 497714: 6, 573226: 3, 263301: 7, 514629: 5, 293196: 7, 311577: 9, 245732: 6, 254256: 6, 133669: 6, 193874: 7, 16454: 1, 199800: 6, 93404: 3, 451593: 7, 123780: 3, 149503: 3, 261012: 5, 422700: 7, 40612: 1, 374560: 6, 72551: 1, 537282: 4, 181244: 2, 601122: 1, 293454: 2, 569272: 2, 161388: 1, 587046: 1, 304242: 1, 382705: 2, 375687: 1, 484029: 2, 424623: 2, 494897: 1, 320047: 1, 364003: 1, 413122: 1, 427345: 1}
{263708: 11, 329159: 14, 111946: 6, 492424: 7, 15682: 1, 49655: 3, 563433: 5, 573443: 3, 221579: 7, 332458: 12, 497714: 6, 573226: 3, 263301: 8, 514629: 5, 293196: 8, 311577: 10, 245732: 7, 254256: 7, 133669: 7, 193874: 8, 16454: 1, 199800: 7, 93404: 4, 451593: 8, 123780: 4, 149503: 4, 261012: 6, 422700: 8, 40612: 1, 374560: 7, 72551: 1, 537282: 4, 181244: 3, 601122: 1, 293454: 3, 569272: 2, 161388: 2, 587046: 1, 304242: 2, 382705: 3, 375687: 2, 484029: 2, 424623: 3, 494897: 1, 320047: 2, 364003: 2, 413122: 2, 427345: 2, 81400: 1, 462679: 1}
{263708: 11, 329159: 14, 111946: 6, 492424: 7, 15682: 1, 49655: 3, 563433: 5, 573443: 3, 221579: 7, 332458: 12, 497714: 6, 573226: 3, 263301: 8, 514629: 5, 293196: 9, 311577: 10, 245732: 7, 254256: 7, 133669: 7, 193874: 8, 16454: 1, 199800: 7, 93404: 4, 451593: 8, 123780: 4, 149503: 4, 261012: 6, 422700: 8, 40612: 1, 374560: 7, 72551: 1, 537282: 4, 181244: 3, 601122: 1, 293454: 4, 569272: 2, 161388: 2, 587046: 1, 304242: 2, 382705: 3, 375687: 2, 484029: 2, 424623: 3, 494897: 1, 320047: 2, 364003: 2, 413122: 2, 427345: 2, 81400: 1, 462679: 1, 290942: 1, 301550: 1}
{263708: 12, 329159: 14, 111946: 7, 492424: 7, 15682: 1, 49655: 3, 563433: 5, 573443: 3, 221579: 8, 332458: 12, 497714: 6, 573226: 3, 263301: 9, 514629: 5, 293196: 10, 311577: 10, 245732: 8, 254256: 8, 133669: 8, 193874: 9, 16454: 1, 199800: 8, 93404: 4, 451593: 8, 123780: 5, 149503: 5, 261012: 7, 422700: 8, 40612: 1, 374560: 7, 72551: 1, 537282: 4, 181244: 4, 601122: 1, 293454: 5, 569272: 2, 161388: 3, 587046: 1, 304242: 3, 382705: 3, 375687: 2, 484029: 2, 424623: 3, 494897: 1, 320047: 2, 364003: 2, 413122: 2, 427345: 2, 81400: 1, 462679: 1, 290942: 2, 301550: 2, 102355: 1, 310633: 1}
{263708: 12, 329159: 14, 111946: 7, 492424: 8, 15682: 1, 49655: 3, 563433: 6, 573443: 4, 221579: 8, 332458: 12, 497714: 7, 573226: 4, 263301: 9, 514629: 6, 293196: 10, 311577: 10, 245732: 8, 254256: 8, 133669: 8, 193874: 9, 16454: 1, 199800: 8, 93404: 4, 451593: 9, 123780: 5, 149503: 5, 261012: 7, 422700: 9, 40612: 1, 374560: 8, 72551: 1, 537282: 5, 181244: 4, 601122: 1, 293454: 5, 569272: 3, 161388: 3, 587046: 1, 304242: 3, 382705: 4, 375687: 3, 484029: 3, 424623: 4, 494897: 2, 320047: 2, 364003: 3, 413122: 3, 427345: 3, 81400: 1, 462679: 2, 290942: 2, 301550: 2, 102355: 1, 310633: 1, 354919: 1, 580836: 1}
{263708: 12, 329159: 14, 111946: 8, 492424: 8, 15682: 1, 49655: 3, 563433: 6, 573443: 4, 221579: 8, 332458: 12, 497714: 7, 573226: 4, 263301: 9, 514629: 6, 293196: 10, 311577: 10, 245732: 8, 254256: 8, 133669: 9, 193874: 9, 16454: 1, 199800: 8, 93404: 4, 451593: 9, 123780: 6, 149503: 6, 261012: 7, 422700: 9, 40612: 1, 374560: 8, 72551: 1, 537282: 5, 181244: 4, 601122: 1, 293454: 5, 569272: 3, 161388: 4, 587046: 1, 304242: 3, 382705: 4, 375687: 3, 484029: 3, 424623: 4, 494897: 2, 320047: 2, 364003: 3, 413122: 3, 427345: 3, 81400: 1, 462679: 2, 290942: 2, 301550: 2, 102355: 1, 310633: 1, 354919: 1, 580836: 1, 111557: 1, 177233: 1}
{263708: 13, 329159: 15, 111946: 8, 492424: 8, 15682: 1, 49655: 3, 563433: 6, 573443: 4, 221579: 8, 332458: 13, 497714: 7, 573226: 4, 263301: 10, 514629: 6, 293196: 11, 311577: 11, 245732: 8, 254256: 8, 133669: 9, 193874: 9, 16454: 1, 199800: 8, 93404: 4, 451593: 9, 123780: 6, 149503: 6, 261012: 8, 422700: 10, 40612: 1, 374560: 9, 72551: 1, 537282: 5, 181244: 4, 601122: 1, 293454: 6, 569272: 3, 161388: 4, 587046: 1, 304242: 4, 382705: 5, 375687: 4, 484029: 3, 424623: 5, 494897: 2, 320047: 3, 364003: 4, 413122: 4, 427345: 4, 81400: 1, 462679: 2, 290942: 3, 301550: 3, 102355: 1, 310633: 2, 354919: 2, 580836: 1, 111557: 1, 177233: 1, 257676: 1, 435336: 1}
{263708: 13, 329159: 16, 111946: 8, 492424: 8, 15682: 1, 49655: 3, 563433: 6, 573443: 4, 221579: 8, 332458: 14, 497714: 7, 573226: 4, 263301: 10, 514629: 6, 293196: 11, 311577: 11, 245732: 8, 254256: 8, 133669: 9, 193874: 9, 16454: 1, 199800: 8, 93404: 4, 451593: 10, 123780: 6, 149503: 6, 261012: 8, 422700: 11, 40612: 1, 374560: 10, 72551: 1, 537282: 5, 181244: 4, 601122: 1, 293454: 6, 569272: 3, 161388: 4, 587046: 1, 304242: 4, 382705: 6, 375687: 5, 484029: 3, 424623: 6, 494897: 2, 320047: 4, 364003: 5, 413122: 5, 427345: 5, 81400: 1, 462679: 3, 290942: 3, 301550: 3, 102355: 1, 310633: 2, 354919: 3, 580836: 1, 111557: 1, 177233: 1, 257676: 1, 435336: 2, 316977: 1, 475002: 1}
{263708: 13, 329159: 16, 111946: 8, 492424: 8, 15682: 1, 49655: 3, 563433: 6, 573443: 4, 221579: 8, 332458: 14, 497714: 7, 573226: 4, 263301: 10, 514629: 6, 293196: 11, 311577: 11, 245732: 8, 254256: 8, 133669: 9, 193874: 10, 16454: 1, 199800: 8, 93404: 4, 451593: 10, 123780: 6, 149503: 6, 261012: 8, 422700: 11, 40612: 1, 374560: 10, 72551: 1, 537282: 5, 181244: 5, 601122: 1, 293454: 6, 569272: 3, 161388: 5, 587046: 1, 304242: 4, 382705: 6, 375687: 5, 484029: 3, 424623: 6, 494897: 2, 320047: 4, 364003: 5, 413122: 5, 427345: 5, 81400: 1, 462679: 3, 290942: 3, 301550: 3, 102355: 1, 310633: 2, 354919: 3, 580836: 1, 111557: 1, 177233: 2, 257676: 1, 435336: 2, 316977: 1, 475002: 1, 156350: 1, 195288: 1}
{263708: 14, 329159: 17, 111946: 8, 492424: 9, 15682: 1, 49655: 3, 563433: 6, 573443: 4, 221579: 9, 332458: 15, 497714: 8, 573226: 4, 263301: 11, 514629: 7, 293196: 12, 311577: 12, 245732: 9, 254256: 9, 133669: 9, 193874: 10, 16454: 1, 199800: 8, 93404: 4, 451593: 11, 123780: 6, 149503: 6, 261012: 9, 422700: 12, 40612: 1, 374560: 11, 72551: 1, 537282: 5, 181244: 5, 601122: 1, 293454: 7, 569272: 3, 161388: 5, 587046: 1, 304242: 5, 382705: 7, 375687: 6, 484029: 4, 424623: 7, 494897: 3, 320047: 5, 364003: 6, 413122: 6, 427345: 6, 81400: 1, 462679: 4, 290942: 4, 301550: 4, 102355: 1, 310633: 3, 354919: 4, 580836: 1, 111557: 1, 177233: 2, 257676: 2, 435336: 3, 316977: 2, 475002: 2, 156350: 1, 195288: 1, 215701: 1, 516519: 1}
{263708: 14, 329159: 17, 111946: 8, 492424: 9, 15682: 1, 49655: 3, 563433: 6, 573443: 4, 221579: 9, 332458: 16, 497714: 8, 573226: 4, 263301: 11, 514629: 7, 293196: 12, 311577: 12, 245732: 9, 254256: 9, 133669: 9, 193874: 10, 16454: 1, 199800: 8, 93404: 4, 451593: 12, 123780: 6, 149503: 6, 261012: 9, 422700: 13, 40612: 1, 374560: 12, 72551: 1, 537282: 5, 181244: 5, 601122: 1, 293454: 7, 569272: 3, 161388: 5, 587046: 1, 304242: 5, 382705: 8, 375687: 7, 484029: 4, 424623: 8, 494897: 3, 320047: 5, 364003: 7, 413122: 7, 427345: 7, 81400: 1, 462679: 4, 290942: 4, 301550: 4, 102355: 1, 310633: 3, 354919: 5, 580836: 1, 111557: 1, 177233: 2, 257676: 2, 435336: 4, 316977: 2, 475002: 2, 156350: 1, 195288: 1, 215701: 1, 516519: 1, 330368: 1, 460846: 1}
{263708: 15, 329159: 17, 111946: 9, 492424: 9, 15682: 1, 49655: 4, 563433: 6, 573443: 4, 221579: 10, 332458: 16, 497714: 8, 573226: 4, 263301: 12, 514629: 7, 293196: 13, 311577: 12, 245732: 10, 254256: 10, 133669: 10, 193874: 11, 16454: 1, 199800: 9, 93404: 5, 451593: 12, 123780: 7, 149503: 7, 261012: 10, 422700: 13, 40612: 2, 374560: 12, 72551: 2, 537282: 5, 181244: 6, 601122: 1, 293454: 8, 569272: 3, 161388: 6, 587046: 1, 304242: 5, 382705: 8, 375687: 7, 484029: 4, 424623: 8, 494897: 3, 320047: 5, 364003: 7, 413122: 7, 427345: 7, 81400: 2, 462679: 4, 290942: 5, 301550: 4, 102355: 2, 310633: 3, 354919: 5, 580836: 1, 111557: 2, 177233: 3, 257676: 3, 435336: 4, 316977: 2, 475002: 2, 156350: 2, 195288: 2, 215701: 2, 516519: 1, 330368: 1, 460846: 1, 27629: 1, 298935: 1}
{263708: 16, 329159: 18, 111946: 9, 492424: 10, 15682: 1, 49655: 4, 563433: 7, 573443: 4, 221579: 10, 332458: 17, 497714: 9, 573226: 4, 263301: 13, 514629: 8, 293196: 14, 311577: 13, 245732: 10, 254256: 11, 133669: 10, 193874: 11, 16454: 1, 199800: 9, 93404: 5, 451593: 13, 123780: 7, 149503: 7, 261012: 11, 422700: 14, 40612: 2, 374560: 13, 72551: 2, 537282: 6, 181244: 6, 601122: 1, 293454: 9, 569272: 3, 161388: 6, 587046: 1, 304242: 6, 382705: 9, 375687: 8, 484029: 5, 424623: 9, 494897: 4, 320047: 6, 364003: 8, 413122: 8, 427345: 8, 81400: 2, 462679: 5, 290942: 6, 301550: 5, 102355: 2, 310633: 4, 354919: 6, 580836: 1, 111557: 2, 177233: 3, 257676: 4, 435336: 5, 316977: 3, 475002: 3, 156350: 2, 195288: 2, 215701: 2, 516519: 2, 330368: 2, 460846: 2, 27629: 1, 298935: 2, 246356: 1, 564091: 1}
{263708: 16, 329159: 18, 111946: 9, 492424: 10, 15682: 1, 49655: 4, 563433: 8, 573443: 5, 221579: 10, 332458: 17, 497714: 9, 573226: 5, 263301: 13, 514629: 9, 293196: 14, 311577: 13, 245732: 10, 254256: 11, 133669: 10, 193874: 11, 16454: 1, 199800: 9, 93404: 5, 451593: 13, 123780: 7, 149503: 7, 261012: 11, 422700: 14, 40612: 2, 374560: 13, 72551: 2, 537282: 7, 181244: 6, 601122: 1, 293454: 9, 569272: 4, 161388: 6, 587046: 2, 304242: 6, 382705: 9, 375687: 8, 484029: 5, 424623: 9, 494897: 4, 320047: 6, 364003: 8, 413122: 8, 427345: 8, 81400: 2, 462679: 5, 290942: 6, 301550: 5, 102355: 2, 310633: 4, 354919: 6, 580836: 2, 111557: 2, 177233: 3, 257676: 4, 435336: 5, 316977: 3, 475002: 3, 156350: 2, 195288: 2, 215701: 2, 516519: 3, 330368: 2, 460846: 2, 27629: 1, 298935: 2, 246356: 1, 564091: 2, 512035: 1, 594651: 1}
{263708: 17, 329159: 19, 111946: 10, 492424: 10, 15682: 1, 49655: 4, 563433: 8, 573443: 5, 221579: 11, 332458: 18, 497714: 9, 573226: 5, 263301: 14, 514629: 9, 293196: 15, 311577: 14, 245732: 11, 254256: 12, 133669: 11, 193874: 12, 16454: 1, 199800: 10, 93404: 5, 451593: 13, 123780: 8, 149503: 8, 261012: 12, 422700: 15, 40612: 2, 374560: 14, 72551: 2, 537282: 7, 181244: 7, 601122: 1, 293454: 10, 569272: 4, 161388: 7, 587046: 2, 304242: 7, 382705: 10, 375687: 9, 484029: 5, 424623: 10, 494897: 4, 320047: 7, 364003: 9, 413122: 9, 427345: 9, 81400: 2, 462679: 5, 290942: 7, 301550: 6, 102355: 2, 310633: 5, 354919: 7, 580836: 2, 111557: 3, 177233: 4, 257676: 5, 435336: 5, 316977: 4, 475002: 3, 156350: 3, 195288: 3, 215701: 3, 516519: 3, 330368: 3, 460846: 2, 27629: 1, 298935: 3, 246356: 2, 564091: 2, 512035: 1, 594651: 1, 107048: 1, 430173: 1}
{263708: 18, 329159: 19, 111946: 11, 492424: 10, 15682: 1, 49655: 5, 563433: 8, 573443: 5, 221579: 12, 332458: 18, 497714: 9, 573226: 5, 263301: 15, 514629: 9, 293196: 15, 311577: 14, 245732: 12, 254256: 13, 133669: 12, 193874: 13, 16454: 1, 199800: 11, 93404: 6, 451593: 13, 123780: 9, 149503: 9, 261012: 13, 422700: 15, 40612: 2, 374560: 14, 72551: 3, 537282: 7, 181244: 8, 601122: 1, 293454: 10, 569272: 4, 161388: 8, 587046: 2, 304242: 7, 382705: 10, 375687: 9, 484029: 5, 424623: 10, 494897: 4, 320047: 7, 364003: 9, 413122: 9, 427345: 9, 81400: 3, 462679: 5, 290942: 7, 301550: 6, 102355: 3, 310633: 5, 354919: 7, 580836: 2, 111557: 4, 177233: 5, 257676: 6, 435336: 5, 316977: 4, 475002: 3, 156350: 4, 195288: 4, 215701: 4, 516519: 3, 330368: 3, 460846: 2, 27629: 1, 298935: 3, 246356: 3, 564091: 2, 512035: 1, 594651: 1, 107048: 2, 430173: 1, 48173: 1, 266950: 1}
{263708: 18, 329159: 20, 111946: 11, 492424: 11, 15682: 1, 49655: 5, 563433: 9, 573443: 6, 221579: 12, 332458: 19, 497714: 10, 573226: 6, 263301: 15, 514629: 10, 293196: 15, 311577: 14, 245732: 12, 254256: 13, 133669: 12, 193874: 13, 16454: 1, 199800: 11, 93404: 6, 451593: 14, 123780: 9, 149503: 9, 261012: 13, 422700: 16, 40612: 2, 374560: 15, 72551: 3, 537282: 8, 181244: 8, 601122: 1, 293454: 10, 569272: 5, 161388: 8, 587046: 2, 304242: 7, 382705: 11, 375687: 10, 484029: 6, 424623: 11, 494897: 5, 320047: 8, 364003: 10, 413122: 10, 427345: 10, 81400: 3, 462679: 6, 290942: 7, 301550: 6, 102355: 3, 310633: 5, 354919: 8, 580836: 3, 111557: 4, 177233: 5, 257676: 6, 435336: 6, 316977: 5, 475002: 4, 156350: 4, 195288: 4, 215701: 4, 516519: 4, 330368: 4, 460846: 3, 27629: 1, 298935: 3, 246356: 3, 564091: 3, 512035: 2, 594651: 1, 107048: 2, 430173: 2, 48173: 1, 266950: 1, 312963: 1, 586473: 1}
{263708: 18, 329159: 20, 111946: 11, 492424: 11, 15682: 1, 49655: 5, 563433: 9, 573443: 6, 221579: 12, 332458: 19, 497714: 10, 573226: 6, 263301: 15, 514629: 10, 293196: 15, 311577: 14, 245732: 12, 254256: 13, 133669: 12, 193874: 13, 16454: 1, 199800: 11, 93404: 6, 451593: 14, 123780: 9, 149503: 9, 261012: 13, 422700: 16, 40612: 2, 374560: 15, 72551: 3, 537282: 8, 181244: 8, 601122: 1, 293454: 10, 569272: 5, 161388: 8, 587046: 2, 304242: 7, 382705: 11, 375687: 10, 484029: 6, 424623: 11, 494897: 5, 320047: 8, 364003: 10, 413122: 10, 427345: 10, 81400: 3, 462679: 6, 290942: 7, 301550: 6, 102355: 3, 310633: 5, 354919: 8, 580836: 3, 111557: 4, 177233: 5, 257676: 6, 435336: 6, 316977: 5, 475002: 4, 156350: 4, 195288: 4, 215701: 4, 516519: 4, 330368: 4, 460846: 3, 27629: 1, 298935: 3, 246356: 3, 564091: 3, 512035: 2, 594651: 1, 107048: 2, 430173: 2, 48173: 1, 266950: 1, 312963: 1, 586473: 1, 304840: 1, 305593: 1}
{263708: 19, 329159: 21, 111946: 11, 492424: 12, 15682: 1, 49655: 5, 563433: 9, 573443: 6, 221579: 13, 332458: 20, 497714: 11, 573226: 6, 263301: 16, 514629: 11, 293196: 16, 311577: 15, 245732: 13, 254256: 14, 133669: 12, 193874: 14, 16454: 1, 199800: 12, 93404: 6, 451593: 15, 123780: 9, 149503: 9, 261012: 14, 422700: 17, 40612: 2, 374560: 16, 72551: 3, 537282: 8, 181244: 9, 601122: 1, 293454: 11, 569272: 5, 161388: 8, 587046: 2, 304242: 8, 382705: 12, 375687: 11, 484029: 7, 424623: 12, 494897: 6, 320047: 9, 364003: 11, 413122: 11, 427345: 11, 81400: 3, 462679: 7, 290942: 8, 301550: 7, 102355: 3, 310633: 6, 354919: 9, 580836: 3, 111557: 4, 177233: 5, 257676: 7, 435336: 7, 316977: 6, 475002: 5, 156350: 4, 195288: 5, 215701: 5, 516519: 5, 330368: 5, 460846: 4, 27629: 1, 298935: 4, 246356: 4, 564091: 3, 512035: 3, 594651: 1, 107048: 2, 430173: 3, 48173: 1, 266950: 2, 312963: 2, 586473: 1, 304840: 2, 305593: 2, 179649: 1, 534964: 1}
{263708: 19, 329159: 21, 111946: 12, 492424: 12, 15682: 1, 49655: 6, 563433: 9, 573443: 6, 221579: 13, 332458: 20, 497714: 11, 573226: 6, 263301: 16, 514629: 11, 293196: 16, 311577: 15, 245732: 13, 254256: 14, 133669: 13, 193874: 15, 16454: 1, 199800: 12, 93404: 7, 451593: 15, 123780: 10, 149503: 10, 261012: 14, 422700: 17, 40612: 3, 374560: 16, 72551: 4, 537282: 8, 181244: 10, 601122: 1, 293454: 11, 569272: 5, 161388: 9, 587046: 2, 304242: 8, 382705: 12, 375687: 11, 484029: 7, 424623: 12, 494897: 6, 320047: 9, 364003: 11, 413122: 11, 427345: 11, 81400: 4, 462679: 7, 290942: 8, 301550: 7, 102355: 4, 310633: 6, 354919: 9, 580836: 3, 111557: 5, 177233: 6, 257676: 7, 435336: 7, 316977: 6, 475002: 5, 156350: 5, 195288: 6, 215701: 5, 516519: 5, 330368: 5, 460846: 4, 27629: 1, 298935: 4, 246356: 4, 564091: 3, 512035: 3, 594651: 1, 107048: 3, 430173: 3, 48173: 2, 266950: 2, 312963: 2, 586473: 1, 304840: 2, 305593: 2, 179649: 2, 534964: 1, 39488: 1, 195691: 1}
{263708: 20, 329159: 22, 111946: 12, 492424: 12, 15682: 1, 49655: 6, 563433: 9, 573443: 6, 221579: 14, 332458: 21, 497714: 11, 573226: 6, 263301: 17, 514629: 11, 293196: 17, 311577: 16, 245732: 14, 254256: 15, 133669: 13, 193874: 16, 16454: 1, 199800: 13, 93404: 7, 451593: 15, 123780: 10, 149503: 10, 261012: 15, 422700: 17, 40612: 3, 374560: 16, 72551: 4, 537282: 8, 181244: 11, 601122: 1, 293454: 12, 569272: 5, 161388: 9, 587046: 2, 304242: 9, 382705: 12, 375687: 11, 484029: 7, 424623: 12, 494897: 6, 320047: 10, 364003: 11, 413122: 11, 427345: 11, 81400: 4, 462679: 7, 290942: 9, 301550: 8, 102355: 4, 310633: 7, 354919: 9, 580836: 3, 111557: 5, 177233: 7, 257676: 8, 435336: 7, 316977: 7, 475002: 5, 156350: 5, 195288: 7, 215701: 6, 516519: 5, 330368: 6, 460846: 4, 27629: 1, 298935: 5, 246356: 5, 564091: 3, 512035: 3, 594651: 1, 107048: 3, 430173: 3, 48173: 2, 266950: 3, 312963: 3, 586473: 1, 304840: 3, 305593: 3, 179649: 3, 534964: 1, 39488: 1, 195691: 2, 174115: 1, 334860: 1}
{263708: 20, 329159: 22, 111946: 12, 492424: 12, 15682: 1, 49655: 6, 563433: 9, 573443: 6, 221579: 15, 332458: 21, 497714: 11, 573226: 6, 263301: 17, 514629: 11, 293196: 17, 311577: 16, 245732: 15, 254256: 16, 133669: 13, 193874: 17, 16454: 1, 199800: 14, 93404: 7, 451593: 15, 123780: 10, 149503: 10, 261012: 15, 422700: 17, 40612: 3, 374560: 16, 72551: 4, 537282: 8, 181244: 12, 601122: 1, 293454: 12, 569272: 5, 161388: 10, 587046: 2, 304242: 9, 382705: 12, 375687: 11, 484029: 7, 424623: 12, 494897: 6, 320047: 10, 364003: 11, 413122: 11, 427345: 11, 81400: 4, 462679: 7, 290942: 9, 301550: 8, 102355: 4, 310633: 7, 354919: 9, 580836: 3, 111557: 5, 177233: 8, 257676: 9, 435336: 7, 316977: 7, 475002: 5, 156350: 5, 195288: 8, 215701: 7, 516519: 5, 330368: 6, 460846: 4, 27629: 1, 298935: 5, 246356: 6, 564091: 3, 512035: 3, 594651: 1, 107048: 3, 430173: 3, 48173: 2, 266950: 3, 312963: 3, 586473: 1, 304840: 3, 305593: 3, 179649: 4, 534964: 1, 39488: 1, 195691: 3, 174115: 2, 334860: 1, 157104: 1, 258946: 1}
{263708: 21, 329159: 23, 111946: 13, 492424: 12, 15682: 1, 49655: 6, 563433: 9, 573443: 6, 221579: 16, 332458: 22, 497714: 11, 573226: 6, 263301: 18, 514629: 11, 293196: 18, 311577: 17, 245732: 16, 254256: 17, 133669: 14, 193874: 18, 16454: 1, 199800: 15, 93404: 8, 451593: 15, 123780: 11, 149503: 11, 261012: 16, 422700: 17, 40612: 3, 374560: 16, 72551: 5, 537282: 8, 181244: 13, 601122: 1, 293454: 13, 569272: 5, 161388: 11, 587046: 2, 304242: 10, 382705: 12, 375687: 11, 484029: 7, 424623: 12, 494897: 6, 320047: 11, 364003: 11, 413122: 11, 427345: 11, 81400: 5, 462679: 7, 290942: 10, 301550: 9, 102355: 5, 310633: 8, 354919: 9, 580836: 3, 111557: 6, 177233: 9, 257676: 10, 435336: 7, 316977: 8, 475002: 5, 156350: 6, 195288: 9, 215701: 8, 516519: 5, 330368: 7, 460846: 4, 27629: 1, 298935: 6, 246356: 7, 564091: 3, 512035: 3, 594651: 1, 107048: 4, 430173: 3, 48173: 2, 266950: 4, 312963: 4, 586473: 1, 304840: 4, 305593: 4, 179649: 5, 534964: 1, 39488: 1, 195691: 4, 174115: 3, 334860: 2, 157104: 2, 258946: 2, 70279: 1, 346962: 1}
{263708: 21, 329159: 23, 111946: 14, 492424: 12, 15682: 1, 49655: 6, 563433: 9, 573443: 6, 221579: 17, 332458: 22, 497714: 11, 573226: 6, 263301: 18, 514629: 11, 293196: 18, 311577: 17, 245732: 16, 254256: 17, 133669: 15, 193874: 19, 16454: 1, 199800: 16, 93404: 9, 451593: 15, 123780: 12, 149503: 12, 261012: 16, 422700: 17, 40612: 3, 374560: 16, 72551: 6, 537282: 8, 181244: 14, 601122: 1, 293454: 13, 569272: 5, 161388: 12, 587046: 2, 304242: 10, 382705: 12, 375687: 11, 484029: 7, 424623: 12, 494897: 6, 320047: 11, 364003: 11, 413122: 11, 427345: 11, 81400: 6, 462679: 7, 290942: 10, 301550: 9, 102355: 6, 310633: 8, 354919: 9, 580836: 3, 111557: 7, 177233: 10, 257676: 10, 435336: 7, 316977: 8, 475002: 5, 156350: 7, 195288: 10, 215701: 9, 516519: 5, 330368: 7, 460846: 4, 27629: 1, 298935: 6, 246356: 7, 564091: 3, 512035: 3, 594651: 1, 107048: 5, 430173: 3, 48173: 2, 266950: 4, 312963: 4, 586473: 1, 304840: 4, 305593: 4, 179649: 6, 534964: 1, 39488: 1, 195691: 5, 174115: 4, 334860: 2, 157104: 3, 258946: 2, 70279: 2, 346962: 1, 58386: 1, 234007: 1}
{263708: 21, 329159: 23, 111946: 15, 492424: 12, 15682: 1, 49655: 6, 563433: 9, 573443: 6, 221579: 18, 332458: 22, 497714: 11, 573226: 6, 263301: 18, 514629: 11, 293196: 18, 311577: 17, 245732: 16, 254256: 17, 133669: 16, 193874: 20, 16454: 1, 199800: 17, 93404: 9, 451593: 15, 123780: 13, 149503: 13, 261012: 16, 422700: 17, 40612: 3, 374560: 16, 72551: 6, 537282: 8, 181244: 15, 601122: 1, 293454: 13, 569272: 5, 161388: 13, 587046: 2, 304242: 10, 382705: 12, 375687: 11, 484029: 7, 424623: 12, 494897: 6, 320047: 11, 364003: 11, 413122: 11, 427345: 11, 81400: 6, 462679: 7, 290942: 10, 301550: 9, 102355: 6, 310633: 8, 354919: 9, 580836: 3, 111557: 8, 177233: 11, 257676: 10, 435336: 7, 316977: 8, 475002: 5, 156350: 8, 195288: 11, 215701: 10, 516519: 5, 330368: 7, 460846: 4, 27629: 1, 298935: 6, 246356: 7, 564091: 3, 512035: 3, 594651: 1, 107048: 5, 430173: 3, 48173: 2, 266950: 4, 312963: 4, 586473: 1, 304840: 4, 305593: 4, 179649: 7, 534964: 1, 39488: 1, 195691: 6, 174115: 5, 334860: 2, 157104: 4, 258946: 2, 70279: 2, 346962: 1, 58386: 1, 234007: 2, 109916: 1, 238267: 1}
{263708: 22, 329159: 24, 111946: 16, 492424: 13, 15682: 1, 49655: 6, 563433: 9, 573443: 6, 221579: 19, 332458: 23, 497714: 12, 573226: 6, 263301: 19, 514629: 11, 293196: 19, 311577: 18, 245732: 17, 254256: 18, 133669: 17, 193874: 21, 16454: 1, 199800: 18, 93404: 10, 451593: 16, 123780: 14, 149503: 14, 261012: 17, 422700: 18, 40612: 3, 374560: 17, 72551: 6, 537282: 8, 181244: 16, 601122: 1, 293454: 14, 569272: 5, 161388: 14, 587046: 2, 304242: 11, 382705: 13, 375687: 12, 484029: 8, 424623: 13, 494897: 7, 320047: 12, 364003: 12, 413122: 12, 427345: 12, 81400: 7, 462679: 8, 290942: 11, 301550: 10, 102355: 7, 310633: 9, 354919: 10, 580836: 3, 111557: 9, 177233: 12, 257676: 11, 435336: 8, 316977: 9, 475002: 6, 156350: 9, 195288: 12, 215701: 11, 516519: 5, 330368: 8, 460846: 5, 27629: 1, 298935: 7, 246356: 8, 564091: 3, 512035: 3, 594651: 1, 107048: 6, 430173: 4, 48173: 2, 266950: 5, 312963: 5, 586473: 1, 304840: 5, 305593: 5, 179649: 8, 534964: 1, 39488: 1, 195691: 7, 174115: 6, 334860: 3, 157104: 5, 258946: 3, 70279: 2, 346962: 2, 58386: 1, 234007: 3, 109916: 2, 238267: 2, 76912: 1, 503237: 1}
{263708: 22, 329159: 25, 111946: 16, 492424: 14, 15682: 1, 49655: 6, 563433: 9, 573443: 6, 221579: 19, 332458: 24, 497714: 13, 573226: 6, 263301: 19, 514629: 12, 293196: 19, 311577: 19, 245732: 17, 254256: 18, 133669: 17, 193874: 21, 16454: 1, 199800: 18, 93404: 10, 451593: 17, 123780: 14, 149503: 14, 261012: 17, 422700: 19, 40612: 3, 374560: 18, 72551: 6, 537282: 9, 181244: 16, 601122: 1, 293454: 14, 569272: 5, 161388: 14, 587046: 2, 304242: 12, 382705: 14, 375687: 13, 484029: 9, 424623: 14, 494897: 8, 320047: 13, 364003: 13, 413122: 13, 427345: 13, 81400: 7, 462679: 9, 290942: 11, 301550: 11, 102355: 7, 310633: 10, 354919: 11, 580836: 3, 111557: 9, 177233: 12, 257676: 11, 435336: 9, 316977: 10, 475002: 7, 156350: 9, 195288: 12, 215701: 11, 516519: 6, 330368: 9, 460846: 6, 27629: 1, 298935: 7, 246356: 8, 564091: 3, 512035: 4, 594651: 1, 107048: 6, 430173: 5, 48173: 2, 266950: 5, 312963: 6, 586473: 1, 304840: 6, 305593: 6, 179649: 8, 534964: 2, 39488: 1, 195691: 7, 174115: 6, 334860: 4, 157104: 5, 258946: 3, 70279: 2, 346962: 3, 58386: 1, 234007: 3, 109916: 2, 238267: 2, 76912: 1, 503237: 2, 298967: 1, 560413: 1}
{263708: 22, 329159: 25, 111946: 16, 492424: 14, 15682: 1, 49655: 6, 563433: 9, 573443: 6, 221579: 19, 332458: 24, 497714: 13, 573226: 6, 263301: 19, 514629: 12, 293196: 19, 311577: 19, 245732: 17, 254256: 18, 133669: 17, 193874: 21, 16454: 1, 199800: 18, 93404: 10, 451593: 17, 123780: 14, 149503: 14, 261012: 17, 422700: 20, 40612: 3, 374560: 19, 72551: 6, 537282: 9, 181244: 16, 601122: 1, 293454: 14, 569272: 5, 161388: 14, 587046: 2, 304242: 12, 382705: 15, 375687: 14, 484029: 9, 424623: 15, 494897: 8, 320047: 13, 364003: 14, 413122: 14, 427345: 14, 81400: 7, 462679: 9, 290942: 11, 301550: 11, 102355: 7, 310633: 10, 354919: 11, 580836: 3, 111557: 9, 177233: 12, 257676: 11, 435336: 10, 316977: 10, 475002: 7, 156350: 9, 195288: 12, 215701: 11, 516519: 6, 330368: 9, 460846: 6, 27629: 1, 298935: 7, 246356: 8, 564091: 3, 512035: 4, 594651: 1, 107048: 6, 430173: 6, 48173: 2, 266950: 5, 312963: 6, 586473: 1, 304840: 6, 305593: 6, 179649: 8, 534964: 2, 39488: 1, 195691: 7, 174115: 6, 334860: 4, 157104: 5, 258946: 3, 70279: 2, 346962: 3, 58386: 1, 234007: 3, 109916: 2, 238267: 2, 76912: 1, 503237: 2, 298967: 1, 560413: 1, 360936: 1, 445614: 1}
{263708: 23, 329159: 26, 111946: 17, 492424: 14, 15682: 2, 49655: 7, 563433: 9, 573443: 6, 221579: 20, 332458: 25, 497714: 13, 573226: 6, 263301: 20, 514629: 12, 293196: 20, 311577: 20, 245732: 18, 254256: 19, 133669: 18, 193874: 22, 16454: 2, 199800: 19, 93404: 11, 451593: 17, 123780: 15, 149503: 15, 261012: 18, 422700: 20, 40612: 4, 374560: 19, 72551: 7, 537282: 9, 181244: 17, 601122: 1, 293454: 15, 569272: 5, 161388: 15, 587046: 2, 304242: 13, 382705: 15, 375687: 14, 484029: 9, 424623: 15, 494897: 8, 320047: 14, 364003: 14, 413122: 14, 427345: 14, 81400: 8, 462679: 9, 290942: 12, 301550: 12, 102355: 8, 310633: 11, 354919: 11, 580836: 3, 111557: 10, 177233: 13, 257676: 12, 435336: 10, 316977: 11, 475002: 7, 156350: 10, 195288: 13, 215701: 12, 516519: 6, 330368: 10, 460846: 6, 27629: 2, 298935: 8, 246356: 9, 564091: 3, 512035: 4, 594651: 1, 107048: 7, 430173: 6, 48173: 3, 266950: 6, 312963: 7, 586473: 1, 304840: 7, 305593: 7, 179649: 9, 534964: 2, 39488: 2, 195691: 8, 174115: 7, 334860: 5, 157104: 6, 258946: 4, 70279: 3, 346962: 3, 58386: 2, 234007: 4, 109916: 3, 238267: 3, 76912: 2, 503237: 2, 298967: 2, 560413: 1, 360936: 1, 445614: 1, 3354: 1, 342198: 1}
{263708: 23, 329159: 26, 111946: 17, 492424: 14, 15682: 2, 49655: 7, 563433: 9, 573443: 6, 221579: 21, 332458: 25, 497714: 13, 573226: 6, 263301: 20, 514629: 12, 293196: 20, 311577: 20, 245732: 18, 254256: 19, 133669: 18, 193874: 23, 16454: 2, 199800: 20, 93404: 11, 451593: 17, 123780: 15, 149503: 16, 261012: 18, 422700: 20, 40612: 4, 374560: 19, 72551: 7, 537282: 9, 181244: 18, 601122: 1, 293454: 15, 569272: 5, 161388: 16, 587046: 2, 304242: 13, 382705: 15, 375687: 14, 484029: 9, 424623: 15, 494897: 8, 320047: 14, 364003: 14, 413122: 14, 427345: 14, 81400: 8, 462679: 9, 290942: 12, 301550: 12, 102355: 8, 310633: 11, 354919: 11, 580836: 3, 111557: 10, 177233: 14, 257676: 12, 435336: 10, 316977: 11, 475002: 7, 156350: 11, 195288: 14, 215701: 13, 516519: 6, 330368: 10, 460846: 6, 27629: 2, 298935: 8, 246356: 9, 564091: 3, 512035: 4, 594651: 1, 107048: 7, 430173: 6, 48173: 3, 266950: 6, 312963: 7, 586473: 1, 304840: 7, 305593: 7, 179649: 10, 534964: 2, 39488: 2, 195691: 9, 174115: 8, 334860: 5, 157104: 7, 258946: 4, 70279: 3, 346962: 3, 58386: 2, 234007: 4, 109916: 3, 238267: 3, 76912: 2, 503237: 2, 298967: 2, 560413: 1, 360936: 1, 445614: 1, 3354: 1, 342198: 1, 136702: 1, 229362: 1}
{263708: 24, 329159: 27, 111946: 17, 492424: 14, 15682: 2, 49655: 7, 563433: 9, 573443: 6, 221579: 22, 332458: 26, 497714: 13, 573226: 6, 263301: 21, 514629: 12, 293196: 21, 311577: 21, 245732: 19, 254256: 20, 133669: 18, 193874: 24, 16454: 2, 199800: 21, 93404: 11, 451593: 17, 123780: 15, 149503: 17, 261012: 19, 422700: 21, 40612: 4, 374560: 20, 72551: 7, 537282: 9, 181244: 19, 601122: 1, 293454: 16, 569272: 5, 161388: 17, 587046: 2, 304242: 14, 382705: 16, 375687: 15, 484029: 9, 424623: 16, 494897: 8, 320047: 15, 364003: 15, 413122: 15, 427345: 15, 81400: 8, 462679: 9, 290942: 13, 301550: 13, 102355: 8, 310633: 12, 354919: 12, 580836: 3, 111557: 10, 177233: 15, 257676: 13, 435336: 11, 316977: 12, 475002: 7, 156350: 12, 195288: 15, 215701: 14, 516519: 6, 330368: 11, 460846: 6, 27629: 2, 298935: 9, 246356: 10, 564091: 3, 512035: 4, 594651: 1, 107048: 7, 430173: 7, 48173: 3, 266950: 7, 312963: 8, 586473: 1, 304840: 8, 305593: 8, 179649: 11, 534964: 2, 39488: 2, 195691: 10, 174115: 9, 334860: 6, 157104: 8, 258946: 5, 70279: 3, 346962: 4, 58386: 2, 234007: 5, 109916: 3, 238267: 4, 76912: 2, 503237: 2, 298967: 3, 560413: 1, 360936: 2, 445614: 1, 3354: 1, 342198: 2, 136702: 2, 229362: 2, 134175: 1, 440625: 1}
{263708: 24, 329159: 27, 111946: 17, 492424: 14, 15682: 3, 49655: 8, 563433: 9, 573443: 6, 221579: 22, 332458: 26, 497714: 13, 573226: 6, 263301: 21, 514629: 12, 293196: 21, 311577: 21, 245732: 19, 254256: 20, 133669: 18, 193874: 24, 16454: 3, 199800: 21, 93404: 11, 451593: 17, 123780: 15, 149503: 17, 261012: 19, 422700: 21, 40612: 5, 374560: 20, 72551: 7, 537282: 9, 181244: 19, 601122: 1, 293454: 16, 569272: 5, 161388: 17, 587046: 2, 304242: 14, 382705: 16, 375687: 15, 484029: 9, 424623: 16, 494897: 8, 320047: 15, 364003: 15, 413122: 15, 427345: 15, 81400: 8, 462679: 9, 290942: 13, 301550: 13, 102355: 8, 310633: 12, 354919: 12, 580836: 3, 111557: 10, 177233: 15, 257676: 13, 435336: 11, 316977: 12, 475002: 7, 156350: 12, 195288: 15, 215701: 14, 516519: 6, 330368: 11, 460846: 6, 27629: 3, 298935: 9, 246356: 10, 564091: 3, 512035: 4, 594651: 1, 107048: 7, 430173: 7, 48173: 4, 266950: 7, 312963: 8, 586473: 1, 304840: 8, 305593: 8, 179649: 11, 534964: 2, 39488: 3, 195691: 10, 174115: 9, 334860: 6, 157104: 8, 258946: 5, 70279: 3, 346962: 4, 58386: 3, 234007: 5, 109916: 3, 238267: 4, 76912: 2, 503237: 2, 298967: 3, 560413: 1, 360936: 2, 445614: 1, 3354: 1, 342198: 2, 136702: 2, 229362: 2, 134175: 1, 440625: 1, 7874: 1, 64686: 1}
{263708: 25, 329159: 28, 111946: 17, 492424: 14, 15682: 3, 49655: 8, 563433: 9, 573443: 6, 221579: 23, 332458: 27, 497714: 13, 573226: 6, 263301: 22, 514629: 12, 293196: 22, 311577: 22, 245732: 20, 254256: 21, 133669: 18, 193874: 24, 16454: 3, 199800: 21, 93404: 11, 451593: 18, 123780: 15, 149503: 17, 261012: 20, 422700: 22, 40612: 5, 374560: 21, 72551: 7, 537282: 9, 181244: 19, 601122: 1, 293454: 17, 569272: 5, 161388: 17, 587046: 2, 304242: 15, 382705: 17, 375687: 16, 484029: 9, 424623: 17, 494897: 8, 320047: 16, 364003: 16, 413122: 16, 427345: 16, 81400: 8, 462679: 10, 290942: 14, 301550: 14, 102355: 8, 310633: 13, 354919: 13, 580836: 3, 111557: 10, 177233: 15, 257676: 14, 435336: 12, 316977: 13, 475002: 7, 156350: 12, 195288: 15, 215701: 15, 516519: 6, 330368: 12, 460846: 7, 27629: 3, 298935: 10, 246356: 11, 564091: 3, 512035: 4, 594651: 1, 107048: 7, 430173: 8, 48173: 4, 266950: 8, 312963: 9, 586473: 1, 304840: 9, 305593: 9, 179649: 11, 534964: 2, 39488: 3, 195691: 10, 174115: 9, 334860: 7, 157104: 8, 258946: 6, 70279: 3, 346962: 5, 58386: 3, 234007: 6, 109916: 3, 238267: 5, 76912: 2, 503237: 2, 298967: 4, 560413: 1, 360936: 3, 445614: 2, 3354: 1, 342198: 3, 136702: 2, 229362: 3, 134175: 1, 440625: 2, 7874: 1, 64686: 1, 215174: 1, 464210: 1}
{263708: 26, 329159: 29, 111946: 17, 492424: 14, 15682: 3, 49655: 8, 563433: 9, 573443: 6, 221579: 24, 332458: 28, 497714: 13, 573226: 6, 263301: 23, 514629: 12, 293196: 23, 311577: 23, 245732: 21, 254256: 22, 133669: 19, 193874: 25, 16454: 3, 199800: 22, 93404: 11, 451593: 19, 123780: 15, 149503: 18, 261012: 21, 422700: 23, 40612: 5, 374560: 22, 72551: 7, 537282: 9, 181244: 20, 601122: 1, 293454: 18, 569272: 5, 161388: 18, 587046: 2, 304242: 16, 382705: 18, 375687: 17, 484029: 9, 424623: 18, 494897: 8, 320047: 17, 364003: 17, 413122: 17, 427345: 17, 81400: 8, 462679: 11, 290942: 15, 301550: 15, 102355: 8, 310633: 14, 354919: 14, 580836: 3, 111557: 10, 177233: 16, 257676: 15, 435336: 13, 316977: 14, 475002: 8, 156350: 13, 195288: 16, 215701: 16, 516519: 6, 330368: 13, 460846: 8, 27629: 3, 298935: 11, 246356: 12, 564091: 3, 512035: 4, 594651: 1, 107048: 7, 430173: 9, 48173: 4, 266950: 9, 312963: 10, 586473: 1, 304840: 10, 305593: 10, 179649: 12, 534964: 2, 39488: 3, 195691: 11, 174115: 10, 334860: 8, 157104: 9, 258946: 7, 70279: 3, 346962: 6, 58386: 3, 234007: 7, 109916: 3, 238267: 6, 76912: 2, 503237: 2, 298967: 5, 560413: 1, 360936: 4, 445614: 3, 3354: 1, 342198: 4, 136702: 3, 229362: 4, 134175: 2, 440625: 3, 7874: 1, 64686: 1, 215174: 2, 464210: 2, 133250: 1, 482303: 1}
{263708: 27, 329159: 30, 111946: 17, 492424: 14, 15682: 3, 49655: 8, 563433: 9, 573443: 6, 221579: 25, 332458: 29, 497714: 13, 573226: 6, 263301: 24, 514629: 12, 293196: 24, 311577: 24, 245732: 22, 254256: 23, 133669: 20, 193874: 26, 16454: 3, 199800: 23, 93404: 11, 451593: 19, 123780: 15, 149503: 19, 261012: 22, 422700: 23, 40612: 5, 374560: 22, 72551: 7, 537282: 9, 181244: 21, 601122: 1, 293454: 19, 569272: 5, 161388: 19, 587046: 2, 304242: 17, 382705: 18, 375687: 17, 484029: 9, 424623: 18, 494897: 8, 320047: 18, 364003: 17, 413122: 17, 427345: 17, 81400: 8, 462679: 11, 290942: 16, 301550: 16, 102355: 8, 310633: 15, 354919: 14, 580836: 3, 111557: 10, 177233: 17, 257676: 16, 435336: 13, 316977: 15, 475002: 8, 156350: 14, 195288: 17, 215701: 17, 516519: 6, 330368: 14, 460846: 8, 27629: 3, 298935: 12, 246356: 13, 564091: 3, 512035: 4, 594651: 1, 107048: 7, 430173: 9, 48173: 4, 266950: 10, 312963: 11, 586473: 1, 304840: 11, 305593: 11, 179649: 13, 534964: 2, 39488: 3, 195691: 12, 174115: 11, 334860: 9, 157104: 10, 258946: 8, 70279: 3, 346962: 7, 58386: 3, 234007: 8, 109916: 3, 238267: 7, 76912: 2, 503237: 2, 298967: 6, 560413: 1, 360936: 4, 445614: 3, 3354: 1, 342198: 5, 136702: 4, 229362: 5, 134175: 3, 440625: 3, 7874: 1, 64686: 1, 215174: 3, 464210: 2, 133250: 2, 482303: 1, 128791: 1, 349179: 1}
{263708: 27, 329159: 30, 111946: 17, 492424: 14, 15682: 3, 49655: 8, 563433: 9, 573443: 6, 221579: 25, 332458: 29, 497714: 13, 573226: 6, 263301: 24, 514629: 12, 293196: 24, 311577: 24, 245732: 22, 254256: 23, 133669: 20, 193874: 27, 16454: 3, 199800: 24, 93404: 11, 451593: 19, 123780: 15, 149503: 19, 261012: 22, 422700: 23, 40612: 5, 374560: 22, 72551: 7, 537282: 9, 181244: 22, 601122: 1, 293454: 19, 569272: 5, 161388: 19, 587046: 2, 304242: 17, 382705: 18, 375687: 17, 484029: 9, 424623: 18, 494897: 8, 320047: 18, 364003: 17, 413122: 17, 427345: 17, 81400: 8, 462679: 11, 290942: 16, 301550: 16, 102355: 8, 310633: 15, 354919: 14, 580836: 3, 111557: 10, 177233: 18, 257676: 16, 435336: 13, 316977: 15, 475002: 8, 156350: 14, 195288: 18, 215701: 17, 516519: 6, 330368: 14, 460846: 8, 27629: 3, 298935: 12, 246356: 13, 564091: 3, 512035: 4, 594651: 1, 107048: 7, 430173: 9, 48173: 4, 266950: 10, 312963: 11, 586473: 1, 304840: 11, 305593: 11, 179649: 14, 534964: 2, 39488: 3, 195691: 13, 174115: 12, 334860: 9, 157104: 10, 258946: 8, 70279: 3, 346962: 7, 58386: 3, 234007: 8, 109916: 3, 238267: 7, 76912: 2, 503237: 2, 298967: 6, 560413: 1, 360936: 4, 445614: 3, 3354: 1, 342198: 5, 136702: 4, 229362: 5, 134175: 3, 440625: 3, 7874: 1, 64686: 1, 215174: 3, 464210: 2, 133250: 2, 482303: 1, 128791: 1, 349179: 1, 162938: 1, 211589: 1}
{263708: 27, 329159: 30, 111946: 18, 492424: 14, 15682: 3, 49655: 8, 563433: 9, 573443: 6, 221579: 25, 332458: 29, 497714: 13, 573226: 6, 263301: 24, 514629: 12, 293196: 24, 311577: 24, 245732: 22, 254256: 23, 133669: 21, 193874: 28, 16454: 3, 199800: 25, 93404: 11, 451593: 19, 123780: 16, 149503: 20, 261012: 22, 422700: 23, 40612: 5, 374560: 22, 72551: 7, 537282: 9, 181244: 23, 601122: 1, 293454: 19, 569272: 5, 161388: 20, 587046: 2, 304242: 17, 382705: 18, 375687: 17, 484029: 9, 424623: 18, 494897: 8, 320047: 18, 364003: 17, 413122: 17, 427345: 17, 81400: 8, 462679: 11, 290942: 16, 301550: 16, 102355: 9, 310633: 15, 354919: 14, 580836: 3, 111557: 11, 177233: 19, 257676: 16, 435336: 13, 316977: 15, 475002: 8, 156350: 15, 195288: 19, 215701: 18, 516519: 6, 330368: 14, 460846: 8, 27629: 3, 298935: 12, 246356: 13, 564091: 3, 512035: 4, 594651: 1, 107048: 8, 430173: 9, 48173: 4, 266950: 10, 312963: 11, 586473: 1, 304840: 11, 305593: 11, 179649: 15, 534964: 2, 39488: 3, 195691: 14, 174115: 13, 334860: 9, 157104: 11, 258946: 8, 70279: 3, 346962: 7, 58386: 3, 234007: 8, 109916: 4, 238267: 7, 76912: 2, 503237: 2, 298967: 6, 560413: 1, 360936: 4, 445614: 3, 3354: 1, 342198: 5, 136702: 5, 229362: 5, 134175: 4, 440625: 3, 7874: 1, 64686: 1, 215174: 4, 464210: 2, 133250: 3, 482303: 1, 128791: 2, 349179: 1, 162938: 2, 211589: 2, 101507: 1, 218969: 1}
{263708: 27, 329159: 31, 111946: 18, 492424: 14, 15682: 3, 49655: 8, 563433: 9, 573443: 6, 221579: 25, 332458: 30, 497714: 13, 573226: 6, 263301: 24, 514629: 12, 293196: 25, 311577: 25, 245732: 22, 254256: 23, 133669: 21, 193874: 28, 16454: 3, 199800: 25, 93404: 11, 451593: 19, 123780: 16, 149503: 20, 261012: 22, 422700: 23, 40612: 5, 374560: 22, 72551: 7, 537282: 9, 181244: 23, 601122: 1, 293454: 20, 569272: 5, 161388: 20, 587046: 2, 304242: 18, 382705: 18, 375687: 17, 484029: 9, 424623: 18, 494897: 8, 320047: 19, 364003: 17, 413122: 17, 427345: 17, 81400: 8, 462679: 11, 290942: 17, 301550: 17, 102355: 9, 310633: 16, 354919: 14, 580836: 3, 111557: 11, 177233: 19, 257676: 16, 435336: 13, 316977: 16, 475002: 8, 156350: 15, 195288: 19, 215701: 18, 516519: 6, 330368: 15, 460846: 8, 27629: 3, 298935: 13, 246356: 13, 564091: 3, 512035: 4, 594651: 1, 107048: 8, 430173: 9, 48173: 4, 266950: 10, 312963: 12, 586473: 1, 304840: 12, 305593: 12, 179649: 15, 534964: 2, 39488: 3, 195691: 14, 174115: 13, 334860: 10, 157104: 11, 258946: 8, 70279: 3, 346962: 8, 58386: 3, 234007: 8, 109916: 4, 238267: 7, 76912: 2, 503237: 2, 298967: 7, 560413: 1, 360936: 4, 445614: 3, 3354: 1, 342198: 6, 136702: 5, 229362: 5, 134175: 4, 440625: 3, 7874: 1, 64686: 1, 215174: 4, 464210: 2, 133250: 3, 482303: 1, 128791: 2, 349179: 2, 162938: 2, 211589: 2, 101507: 1, 218969: 1, 282937: 1, 352432: 1}
{263708: 28, 329159: 32, 111946: 18, 492424: 15, 15682: 3, 49655: 8, 563433: 9, 573443: 6, 221579: 25, 332458: 31, 497714: 14, 573226: 6, 263301: 25, 514629: 13, 293196: 26, 311577: 26, 245732: 23, 254256: 24, 133669: 21, 193874: 28, 16454: 3, 199800: 25, 93404: 11, 451593: 20, 123780: 16, 149503: 20, 261012: 23, 422700: 24, 40612: 5, 374560: 23, 72551: 7, 537282: 9, 181244: 23, 601122: 1, 293454: 21, 569272: 5, 161388: 20, 587046: 2, 304242: 19, 382705: 19, 375687: 18, 484029: 10, 424623: 19, 494897: 9, 320047: 20, 364003: 18, 413122: 18, 427345: 18, 81400: 8, 462679: 12, 290942: 18, 301550: 18, 102355: 9, 310633: 17, 354919: 15, 580836: 3, 111557: 11, 177233: 19, 257676: 17, 435336: 14, 316977: 17, 475002: 9, 156350: 15, 195288: 19, 215701: 18, 516519: 7, 330368: 16, 460846: 9, 27629: 3, 298935: 14, 246356: 14, 564091: 3, 512035: 5, 594651: 1, 107048: 8, 430173: 10, 48173: 4, 266950: 11, 312963: 13, 586473: 1, 304840: 13, 305593: 13, 179649: 15, 534964: 2, 39488: 3, 195691: 14, 174115: 13, 334860: 11, 157104: 11, 258946: 9, 70279: 3, 346962: 9, 58386: 3, 234007: 9, 109916: 4, 238267: 8, 76912: 2, 503237: 3, 298967: 8, 560413: 1, 360936: 5, 445614: 4, 3354: 1, 342198: 7, 136702: 5, 229362: 6, 134175: 4, 440625: 4, 7874: 1, 64686: 1, 215174: 4, 464210: 3, 133250: 3, 482303: 2, 128791: 2, 349179: 3, 162938: 2, 211589: 2, 101507: 1, 218969: 1, 282937: 2, 352432: 2, 222262: 1, 531231: 1}
{263708: 28, 329159: 32, 111946: 19, 492424: 15, 15682: 4, 49655: 9, 563433: 9, 573443: 6, 221579: 25, 332458: 31, 497714: 14, 573226: 6, 263301: 25, 514629: 13, 293196: 26, 311577: 26, 245732: 23, 254256: 24, 133669: 21, 193874: 28, 16454: 4, 199800: 25, 93404: 12, 451593: 20, 123780: 16, 149503: 20, 261012: 23, 422700: 24, 40612: 6, 374560: 23, 72551: 8, 537282: 9, 181244: 23, 601122: 1, 293454: 21, 569272: 5, 161388: 20, 587046: 2, 304242: 19, 382705: 19, 375687: 18, 484029: 10, 424623: 19, 494897: 9, 320047: 20, 364003: 18, 413122: 18, 427345: 18, 81400: 9, 462679: 12, 290942: 18, 301550: 18, 102355: 10, 310633: 17, 354919: 15, 580836: 3, 111557: 12, 177233: 19, 257676: 17, 435336: 14, 316977: 17, 475002: 9, 156350: 15, 195288: 19, 215701: 18, 516519: 7, 330368: 16, 460846: 9, 27629: 4, 298935: 14, 246356: 14, 564091: 3, 512035: 5, 594651: 1, 107048: 9, 430173: 10, 48173: 5, 266950: 11, 312963: 13, 586473: 1, 304840: 13, 305593: 13, 179649: 15, 534964: 2, 39488: 4, 195691: 14, 174115: 13, 334860: 11, 157104: 11, 258946: 9, 70279: 4, 346962: 9, 58386: 4, 234007: 9, 109916: 5, 238267: 8, 76912: 3, 503237: 3, 298967: 8, 560413: 1, 360936: 5, 445614: 4, 3354: 1, 342198: 7, 136702: 5, 229362: 6, 134175: 4, 440625: 4, 7874: 1, 64686: 2, 215174: 4, 464210: 3, 133250: 3, 482303: 2, 128791: 2, 349179: 3, 162938: 2, 211589: 2, 101507: 2, 218969: 1, 282937: 2, 352432: 2, 222262: 1, 531231: 1, 15455: 1, 122023: 1}
{263708: 29, 329159: 32, 111946: 19, 492424: 15, 15682: 4, 49655: 9, 563433: 9, 573443: 6, 221579: 26, 332458: 31, 497714: 14, 573226: 6, 263301: 26, 514629: 13, 293196: 26, 311577: 26, 245732: 24, 254256: 25, 133669: 21, 193874: 28, 16454: 4, 199800: 25, 93404: 12, 451593: 20, 123780: 16, 149503: 20, 261012: 24, 422700: 24, 40612: 6, 374560: 23, 72551: 8, 537282: 9, 181244: 23, 601122: 1, 293454: 21, 569272: 5, 161388: 20, 587046: 2, 304242: 19, 382705: 19, 375687: 18, 484029: 10, 424623: 19, 494897: 9, 320047: 20, 364003: 18, 413122: 18, 427345: 18, 81400: 9, 462679: 12, 290942: 18, 301550: 18, 102355: 10, 310633: 17, 354919: 15, 580836: 3, 111557: 12, 177233: 19, 257676: 18, 435336: 14, 316977: 17, 475002: 9, 156350: 15, 195288: 19, 215701: 18, 516519: 7, 330368: 16, 460846: 9, 27629: 4, 298935: 14, 246356: 15, 564091: 3, 512035: 5, 594651: 1, 107048: 9, 430173: 10, 48173: 5, 266950: 12, 312963: 13, 586473: 1, 304840: 13, 305593: 13, 179649: 15, 534964: 2, 39488: 4, 195691: 14, 174115: 13, 334860: 11, 157104: 11, 258946: 10, 70279: 4, 346962: 9, 58386: 4, 234007: 10, 109916: 5, 238267: 9, 76912: 3, 503237: 3, 298967: 8, 560413: 1, 360936: 5, 445614: 4, 3354: 1, 342198: 7, 136702: 5, 229362: 7, 134175: 4, 440625: 4, 7874: 1, 64686: 2, 215174: 4, 464210: 3, 133250: 3, 482303: 2, 128791: 2, 349179: 3, 162938: 2, 211589: 2, 101507: 2, 218969: 1, 282937: 3, 352432: 2, 222262: 2, 531231: 1, 15455: 1, 122023: 1, 219754: 1, 283473: 1}
{263708: 29, 329159: 32, 111946: 19, 492424: 15, 15682: 4, 49655: 9, 563433: 9, 573443: 6, 221579: 26, 332458: 31, 497714: 14, 573226: 6, 263301: 26, 514629: 13, 293196: 26, 311577: 26, 245732: 24, 254256: 25, 133669: 21, 193874: 28, 16454: 4, 199800: 25, 93404: 12, 451593: 20, 123780: 16, 149503: 20, 261012: 24, 422700: 24, 40612: 6, 374560: 23, 72551: 8, 537282: 9, 181244: 23, 601122: 1, 293454: 21, 569272: 5, 161388: 20, 587046: 2, 304242: 19, 382705: 19, 375687: 18, 484029: 10, 424623: 19, 494897: 9, 320047: 20, 364003: 18, 413122: 18, 427345: 18, 81400: 9, 462679: 12, 290942: 18, 301550: 18, 102355: 10, 310633: 17, 354919: 15, 580836: 3, 111557: 12, 177233: 19, 257676: 18, 435336: 14, 316977: 17, 475002: 9, 156350: 15, 195288: 19, 215701: 18, 516519: 7, 330368: 16, 460846: 9, 27629: 4, 298935: 14, 246356: 15, 564091: 3, 512035: 5, 594651: 1, 107048: 9, 430173: 10, 48173: 5, 266950: 12, 312963: 13, 586473: 1, 304840: 13, 305593: 13, 179649: 15, 534964: 2, 39488: 4, 195691: 14, 174115: 13, 334860: 11, 157104: 11, 258946: 10, 70279: 4, 346962: 9, 58386: 4, 234007: 10, 109916: 5, 238267: 9, 76912: 3, 503237: 3, 298967: 8, 560413: 1, 360936: 5, 445614: 4, 3354: 1, 342198: 7, 136702: 5, 229362: 7, 134175: 4, 440625: 4, 7874: 1, 64686: 2, 215174: 4, 464210: 3, 133250: 3, 482303: 2, 128791: 2, 349179: 3, 162938: 2, 211589: 2, 101507: 2, 218969: 1, 282937: 3, 352432: 2, 222262: 2, 531231: 1, 15455: 1, 122023: 1, 219754: 1, 283473: 1, 387344: 1, 400527: 1}
{263708: 29, 329159: 33, 111946: 19, 492424: 15, 15682: 4, 49655: 9, 563433: 9, 573443: 6, 221579: 26, 332458: 32, 497714: 14, 573226: 6, 263301: 26, 514629: 13, 293196: 26, 311577: 27, 245732: 24, 254256: 25, 133669: 21, 193874: 28, 16454: 4, 199800: 25, 93404: 12, 451593: 20, 123780: 16, 149503: 20, 261012: 24, 422700: 24, 40612: 6, 374560: 24, 72551: 8, 537282: 9, 181244: 23, 601122: 1, 293454: 21, 569272: 5, 161388: 20, 587046: 2, 304242: 19, 382705: 20, 375687: 19, 484029: 10, 424623: 19, 494897: 9, 320047: 21, 364003: 19, 413122: 18, 427345: 18, 81400: 9, 462679: 12, 290942: 18, 301550: 18, 102355: 10, 310633: 18, 354919: 16, 580836: 3, 111557: 12, 177233: 19, 257676: 18, 435336: 14, 316977: 18, 475002: 9, 156350: 15, 195288: 19, 215701: 18, 516519: 7, 330368: 17, 460846: 9, 27629: 4, 298935: 14, 246356: 15, 564091: 3, 512035: 5, 594651: 1, 107048: 9, 430173: 10, 48173: 5, 266950: 12, 312963: 14, 586473: 1, 304840: 14, 305593: 14, 179649: 15, 534964: 2, 39488: 4, 195691: 14, 174115: 13, 334860: 12, 157104: 11, 258946: 10, 70279: 4, 346962: 10, 58386: 4, 234007: 10, 109916: 5, 238267: 9, 76912: 3, 503237: 3, 298967: 8, 560413: 1, 360936: 6, 445614: 4, 3354: 1, 342198: 8, 136702: 5, 229362: 7, 134175: 4, 440625: 4, 7874: 1, 64686: 2, 215174: 4, 464210: 3, 133250: 3, 482303: 2, 128791: 2, 349179: 4, 162938: 2, 211589: 2, 101507: 2, 218969: 1, 282937: 3, 352432: 3, 222262: 2, 531231: 1, 15455: 1, 122023: 1, 219754: 1, 283473: 1, 387344: 2, 400527: 1, 304360: 1, 395727: 1}
{263708: 30, 329159: 33, 111946: 19, 492424: 15, 15682: 4, 49655: 9, 563433: 9, 573443: 6, 221579: 26, 332458: 32, 497714: 14, 573226: 6, 263301: 27, 514629: 13, 293196: 26, 311577: 27, 245732: 25, 254256: 26, 133669: 21, 193874: 28, 16454: 4, 199800: 25, 93404: 12, 451593: 20, 123780: 16, 149503: 20, 261012: 25, 422700: 24, 40612: 6, 374560: 24, 72551: 8, 537282: 9, 181244: 23, 601122: 1, 293454: 21, 569272: 5, 161388: 20, 587046: 2, 304242: 19, 382705: 20, 375687: 19, 484029: 10, 424623: 19, 494897: 9, 320047: 21, 364003: 19, 413122: 18, 427345: 18, 81400: 9, 462679: 12, 290942: 19, 301550: 18, 102355: 10, 310633: 18, 354919: 16, 580836: 3, 111557: 12, 177233: 19, 257676: 19, 435336: 14, 316977: 18, 475002: 9, 156350: 15, 195288: 19, 215701: 18, 516519: 7, 330368: 17, 460846: 9, 27629: 4, 298935: 14, 246356: 16, 564091: 3, 512035: 5, 594651: 1, 107048: 9, 430173: 10, 48173: 5, 266950: 13, 312963: 14, 586473: 1, 304840: 14, 305593: 14, 179649: 15, 534964: 2, 39488: 4, 195691: 14, 174115: 13, 334860: 12, 157104: 11, 258946: 11, 70279: 4, 346962: 10, 58386: 4, 234007: 10, 109916: 5, 238267: 10, 76912: 3, 503237: 3, 298967: 8, 560413: 1, 360936: 6, 445614: 4, 3354: 1, 342198: 8, 136702: 5, 229362: 7, 134175: 4, 440625: 4, 7874: 1, 64686: 2, 215174: 4, 464210: 3, 133250: 3, 482303: 2, 128791: 2, 349179: 4, 162938: 2, 211589: 2, 101507: 2, 218969: 1, 282937: 4, 352432: 3, 222262: 2, 531231: 1, 15455: 1, 122023: 1, 219754: 1, 283473: 2, 387344: 2, 400527: 1, 304360: 1, 395727: 1, 234390: 1, 292180: 1}
{263708: 30, 329159: 33, 111946: 19, 492424: 15, 15682: 4, 49655: 9, 563433: 9, 573443: 6, 221579: 26, 332458: 32, 497714: 14, 573226: 6, 263301: 27, 514629: 13, 293196: 26, 311577: 27, 245732: 25, 254256: 26, 133669: 21, 193874: 28, 16454: 4, 199800: 25, 93404: 12, 451593: 20, 123780: 16, 149503: 20, 261012: 25, 422700: 24, 40612: 6, 374560: 24, 72551: 8, 537282: 9, 181244: 23, 601122: 1, 293454: 21, 569272: 5, 161388: 20, 587046: 2, 304242: 19, 382705: 20, 375687: 19, 484029: 10, 424623: 19, 494897: 9, 320047: 21, 364003: 19, 413122: 18, 427345: 18, 81400: 9, 462679: 12, 290942: 19, 301550: 18, 102355: 10, 310633: 18, 354919: 16, 580836: 3, 111557: 12, 177233: 19, 257676: 19, 435336: 14, 316977: 18, 475002: 10, 156350: 15, 195288: 19, 215701: 18, 516519: 7, 330368: 17, 460846: 9, 27629: 4, 298935: 14, 246356: 16, 564091: 3, 512035: 5, 594651: 1, 107048: 9, 430173: 10, 48173: 5, 266950: 13, 312963: 14, 586473: 1, 304840: 14, 305593: 14, 179649: 15, 534964: 2, 39488: 4, 195691: 14, 174115: 13, 334860: 12, 157104: 11, 258946: 11, 70279: 4, 346962: 10, 58386: 4, 234007: 10, 109916: 5, 238267: 10, 76912: 3, 503237: 3, 298967: 8, 560413: 1, 360936: 6, 445614: 4, 3354: 1, 342198: 8, 136702: 5, 229362: 7, 134175: 4, 440625: 4, 7874: 1, 64686: 2, 215174: 4, 464210: 4, 133250: 3, 482303: 2, 128791: 2, 349179: 4, 162938: 2, 211589: 2, 101507: 2, 218969: 1, 282937: 4, 352432: 3, 222262: 2, 531231: 1, 15455: 1, 122023: 1, 219754: 1, 283473: 2, 387344: 2, 400527: 1, 304360: 1, 395727: 1, 234390: 1, 292180: 1, 464208: 1, 479693: 1}
{263708: 30, 329159: 33, 111946: 19, 492424: 15, 15682: 4, 49655: 9, 563433: 9, 573443: 6, 221579: 26, 332458: 32, 497714: 14, 573226: 6, 263301: 27, 514629: 13, 293196: 26, 311577: 27, 245732: 25, 254256: 26, 133669: 21, 193874: 28, 16454: 4, 199800: 25, 93404: 12, 451593: 20, 123780: 16, 149503: 20, 261012: 25, 422700: 24, 40612: 6, 374560: 24, 72551: 8, 537282: 9, 181244: 23, 601122: 1, 293454: 21, 569272: 5, 161388: 20, 587046: 2, 304242: 20, 382705: 20, 375687: 19, 484029: 10, 424623: 19, 494897: 9, 320047: 21, 364003: 19, 413122: 18, 427345: 18, 81400: 9, 462679: 12, 290942: 19, 301550: 19, 102355: 10, 310633: 18, 354919: 16, 580836: 3, 111557: 12, 177233: 19, 257676: 19, 435336: 14, 316977: 18, 475002: 10, 156350: 15, 195288: 19, 215701: 18, 516519: 7, 330368: 17, 460846: 9, 27629: 4, 298935: 14, 246356: 16, 564091: 3, 512035: 5, 594651: 1, 107048: 9, 430173: 10, 48173: 5, 266950: 13, 312963: 14, 586473: 1, 304840: 15, 305593: 14, 179649: 15, 534964: 2, 39488: 4, 195691: 14, 174115: 13, 334860: 12, 157104: 11, 258946: 11, 70279: 4, 346962: 10, 58386: 4, 234007: 10, 109916: 5, 238267: 10, 76912: 3, 503237: 3, 298967: 8, 560413: 1, 360936: 6, 445614: 4, 3354: 1, 342198: 8, 136702: 5, 229362: 7, 134175: 4, 440625: 4, 7874: 1, 64686: 2, 215174: 4, 464210: 4, 133250: 3, 482303: 2, 128791: 2, 349179: 4, 162938: 2, 211589: 2, 101507: 2, 218969: 1, 282937: 4, 352432: 3, 222262: 2, 531231: 1, 15455: 1, 122023: 1, 219754: 1, 283473: 2, 387344: 2, 400527: 1, 304360: 2, 395727: 1, 234390: 1, 292180: 1, 464208: 1, 479693: 1, 300651: 1, 305588: 1}
{263708: 30, 329159: 33, 111946: 19, 492424: 16, 15682: 4, 49655: 9, 563433: 9, 573443: 6, 221579: 26, 332458: 32, 497714: 15, 573226: 6, 263301: 27, 514629: 14, 293196: 26, 311577: 27, 245732: 25, 254256: 26, 133669: 21, 193874: 28, 16454: 4, 199800: 25, 93404: 12, 451593: 21, 123780: 16, 149503: 20, 261012: 25, 422700: 25, 40612: 6, 374560: 24, 72551: 8, 537282: 10, 181244: 23, 601122: 1, 293454: 21, 569272: 5, 161388: 20, 587046: 2, 304242: 20, 382705: 20, 375687: 19, 484029: 11, 424623: 20, 494897: 10, 320047: 21, 364003: 19, 413122: 19, 427345: 19, 81400: 9, 462679: 13, 290942: 19, 301550: 19, 102355: 10, 310633: 18, 354919: 16, 580836: 3, 111557: 12, 177233: 19, 257676: 19, 435336: 15, 316977: 18, 475002: 11, 156350: 15, 195288: 19, 215701: 18, 516519: 8, 330368: 17, 460846: 10, 27629: 4, 298935: 14, 246356: 16, 564091: 3, 512035: 6, 594651: 1, 107048: 9, 430173: 11, 48173: 5, 266950: 13, 312963: 14, 586473: 1, 304840: 15, 305593: 14, 179649: 15, 534964: 3, 39488: 4, 195691: 14, 174115: 13, 334860: 12, 157104: 11, 258946: 11, 70279: 4, 346962: 10, 58386: 4, 234007: 10, 109916: 5, 238267: 10, 76912: 3, 503237: 4, 298967: 8, 560413: 1, 360936: 6, 445614: 5, 3354: 1, 342198: 8, 136702: 5, 229362: 7, 134175: 4, 440625: 5, 7874: 1, 64686: 2, 215174: 4, 464210: 5, 133250: 3, 482303: 3, 128791: 2, 349179: 4, 162938: 2, 211589: 2, 101507: 2, 218969: 1, 282937: 4, 352432: 3, 222262: 2, 531231: 2, 15455: 1, 122023: 1, 219754: 1, 283473: 2, 387344: 2, 400527: 1, 304360: 2, 395727: 1, 234390: 1, 292180: 1, 464208: 2, 479693: 2, 300651: 1, 305588: 1, 401047: 1, 553112: 1}
{263708: 30, 329159: 33, 111946: 19, 492424: 16, 15682: 4, 49655: 9, 563433: 9, 573443: 6, 221579: 26, 332458: 32, 497714: 15, 573226: 6, 263301: 27, 514629: 14, 293196: 26, 311577: 27, 245732: 26, 254256: 26, 133669: 21, 193874: 28, 16454: 4, 199800: 25, 93404: 12, 451593: 21, 123780: 16, 149503: 20, 261012: 25, 422700: 25, 40612: 6, 374560: 24, 72551: 8, 537282: 10, 181244: 23, 601122: 1, 293454: 21, 569272: 5, 161388: 20, 587046: 2, 304242: 20, 382705: 20, 375687: 19, 484029: 11, 424623: 20, 494897: 10, 320047: 21, 364003: 19, 413122: 19, 427345: 19, 81400: 9, 462679: 13, 290942: 19, 301550: 19, 102355: 10, 310633: 18, 354919: 16, 580836: 3, 111557: 12, 177233: 19, 257676: 19, 435336: 15, 316977: 18, 475002: 11, 156350: 15, 195288: 19, 215701: 18, 516519: 8, 330368: 17, 460846: 10, 27629: 4, 298935: 14, 246356: 17, 564091: 3, 512035: 6, 594651: 1, 107048: 9, 430173: 11, 48173: 5, 266950: 13, 312963: 14, 586473: 1, 304840: 15, 305593: 14, 179649: 15, 534964: 3, 39488: 4, 195691: 14, 174115: 13, 334860: 12, 157104: 11, 258946: 11, 70279: 4, 346962: 10, 58386: 4, 234007: 10, 109916: 5, 238267: 11, 76912: 3, 503237: 4, 298967: 8, 560413: 1, 360936: 6, 445614: 5, 3354: 1, 342198: 8, 136702: 5, 229362: 7, 134175: 4, 440625: 5, 7874: 1, 64686: 2, 215174: 4, 464210: 5, 133250: 3, 482303: 3, 128791: 2, 349179: 4, 162938: 2, 211589: 2, 101507: 2, 218969: 1, 282937: 4, 352432: 3, 222262: 2, 531231: 2, 15455: 1, 122023: 1, 219754: 1, 283473: 2, 387344: 2, 400527: 1, 304360: 2, 395727: 1, 234390: 2, 292180: 1, 464208: 2, 479693: 2, 300651: 1, 305588: 1, 401047: 1, 553112: 1, 234009: 1, 250952: 1}
{263708: 30, 329159: 33, 111946: 19, 492424: 17, 15682: 4, 49655: 9, 563433: 9, 573443: 6, 221579: 26, 332458: 32, 497714: 16, 573226: 6, 263301: 27, 514629: 14, 293196: 26, 311577: 27, 245732: 26, 254256: 26, 133669: 21, 193874: 28, 16454: 4, 199800: 25, 93404: 12, 451593: 22, 123780: 16, 149503: 20, 261012: 25, 422700: 26, 40612: 6, 374560: 25, 72551: 8, 537282: 10, 181244: 23, 601122: 1, 293454: 21, 569272: 5, 161388: 20, 587046: 2, 304242: 20, 382705: 21, 375687: 20, 484029: 12, 424623: 21, 494897: 11, 320047: 21, 364003: 19, 413122: 20, 427345: 20, 81400: 9, 462679: 14, 290942: 19, 301550: 19, 102355: 10, 310633: 18, 354919: 16, 580836: 3, 111557: 12, 177233: 19, 257676: 19, 435336: 16, 316977: 18, 475002: 12, 156350: 15, 195288: 19, 215701: 18, 516519: 8, 330368: 17, 460846: 11, 27629: 4, 298935: 14, 246356: 17, 564091: 3, 512035: 6, 594651: 1, 107048: 9, 430173: 12, 48173: 5, 266950: 13, 312963: 14, 586473: 1, 304840: 15, 305593: 14, 179649: 15, 534964: 3, 39488: 4, 195691: 14, 174115: 13, 334860: 12, 157104: 11, 258946: 11, 70279: 4, 346962: 10, 58386: 4, 234007: 10, 109916: 5, 238267: 11, 76912: 3, 503237: 4, 298967: 8, 560413: 1, 360936: 6, 445614: 6, 3354: 1, 342198: 8, 136702: 5, 229362: 7, 134175: 4, 440625: 6, 7874: 1, 64686: 2, 215174: 4, 464210: 6, 133250: 3, 482303: 4, 128791: 2, 349179: 4, 162938: 2, 211589: 2, 101507: 2, 218969: 1, 282937: 4, 352432: 3, 222262: 2, 531231: 2, 15455: 1, 122023: 1, 219754: 1, 283473: 2, 387344: 3, 400527: 2, 304360: 2, 395727: 2, 234390: 2, 292180: 1, 464208: 3, 479693: 3, 300651: 1, 305588: 1, 401047: 2, 553112: 1, 234009: 1, 250952: 1, 370785: 1, 499821: 1}
{263708: 31, 329159: 34, 111946: 19, 492424: 17, 15682: 4, 49655: 9, 563433: 9, 573443: 6, 221579: 27, 332458: 33, 497714: 16, 573226: 6, 263301: 28, 514629: 14, 293196: 27, 311577: 28, 245732: 27, 254256: 27, 133669: 21, 193874: 28, 16454: 4, 199800: 25, 93404: 12, 451593: 23, 123780: 16, 149503: 20, 261012: 26, 422700: 27, 40612: 6, 374560: 26, 72551: 8, 537282: 10, 181244: 23, 601122: 1, 293454: 22, 569272: 5, 161388: 20, 587046: 2, 304242: 21, 382705: 22, 375687: 21, 484029: 12, 424623: 22, 494897: 11, 320047: 22, 364003: 20, 413122: 21, 427345: 21, 81400: 9, 462679: 15, 290942: 20, 301550: 20, 102355: 10, 310633: 19, 354919: 17, 580836: 3, 111557: 12, 177233: 19, 257676: 20, 435336: 17, 316977: 19, 475002: 13, 156350: 15, 195288: 19, 215701: 19, 516519: 8, 330368: 18, 460846: 12, 27629: 4, 298935: 15, 246356: 18, 564091: 3, 512035: 6, 594651: 1, 107048: 9, 430173: 13, 48173: 5, 266950: 14, 312963: 15, 586473: 1, 304840: 16, 305593: 15, 179649: 15, 534964: 3, 39488: 4, 195691: 14, 174115: 13, 334860: 13, 157104: 11, 258946: 12, 70279: 4, 346962: 11, 58386: 4, 234007: 11, 109916: 5, 238267: 12, 76912: 3, 503237: 4, 298967: 9, 560413: 1, 360936: 7, 445614: 7, 3354: 1, 342198: 9, 136702: 5, 229362: 8, 134175: 4, 440625: 7, 7874: 1, 64686: 2, 215174: 5, 464210: 7, 133250: 3, 482303: 4, 128791: 2, 349179: 5, 162938: 2, 211589: 2, 101507: 2, 218969: 2, 282937: 5, 352432: 4, 222262: 3, 531231: 2, 15455: 1, 122023: 1, 219754: 2, 283473: 3, 387344: 4, 400527: 3, 304360: 3, 395727: 3, 234390: 3, 292180: 2, 464208: 4, 479693: 4, 300651: 2, 305588: 2, 401047: 3, 553112: 1, 234009: 2, 250952: 2, 370785: 2, 499821: 1, 212222: 1, 480024: 1}
{263708: 32, 329159: 35, 111946: 19, 492424: 18, 15682: 4, 49655: 9, 563433: 10, 573443: 7, 221579: 27, 332458: 34, 497714: 17, 573226: 7, 263301: 29, 514629: 15, 293196: 28, 311577: 29, 245732: 27, 254256: 28, 133669: 21, 193874: 28, 16454: 4, 199800: 25, 93404: 12, 451593: 24, 123780: 16, 149503: 20, 261012: 27, 422700: 28, 40612: 6, 374560: 27, 72551: 8, 537282: 11, 181244: 23, 601122: 1, 293454: 23, 569272: 6, 161388: 20, 587046: 3, 304242: 22, 382705: 23, 375687: 22, 484029: 13, 424623: 23, 494897: 12, 320047: 23, 364003: 21, 413122: 22, 427345: 22, 81400: 9, 462679: 16, 290942: 21, 301550: 21, 102355: 10, 310633: 20, 354919: 18, 580836: 4, 111557: 12, 177233: 19, 257676: 21, 435336: 18, 316977: 20, 475002: 14, 156350: 15, 195288: 19, 215701: 19, 516519: 9, 330368: 19, 460846: 13, 27629: 4, 298935: 16, 246356: 18, 564091: 4, 512035: 7, 594651: 2, 107048: 9, 430173: 14, 48173: 5, 266950: 15, 312963: 16, 586473: 2, 304840: 17, 305593: 16, 179649: 15, 534964: 4, 39488: 4, 195691: 14, 174115: 13, 334860: 14, 157104: 11, 258946: 13, 70279: 4, 346962: 12, 58386: 4, 234007: 11, 109916: 5, 238267: 12, 76912: 3, 503237: 5, 298967: 10, 560413: 2, 360936: 8, 445614: 8, 3354: 1, 342198: 10, 136702: 5, 229362: 8, 134175: 4, 440625: 8, 7874: 1, 64686: 2, 215174: 5, 464210: 8, 133250: 3, 482303: 5, 128791: 2, 349179: 6, 162938: 2, 211589: 2, 101507: 2, 218969: 2, 282937: 6, 352432: 5, 222262: 3, 531231: 3, 15455: 1, 122023: 1, 219754: 2, 283473: 4, 387344: 5, 400527: 4, 304360: 4, 395727: 4, 234390: 3, 292180: 3, 464208: 5, 479693: 5, 300651: 3, 305588: 3, 401047: 4, 553112: 2, 234009: 2, 250952: 3, 370785: 3, 499821: 2, 212222: 1, 480024: 2, 249041: 1, 599307: 1}
{263708: 32, 329159: 35, 111946: 19, 492424: 18, 15682: 4, 49655: 9, 563433: 10, 573443: 7, 221579: 27, 332458: 34, 497714: 17, 573226: 7, 263301: 29, 514629: 15, 293196: 28, 311577: 29, 245732: 27, 254256: 28, 133669: 21, 193874: 28, 16454: 4, 199800: 25, 93404: 12, 451593: 24, 123780: 16, 149503: 20, 261012: 27, 422700: 28, 40612: 6, 374560: 27, 72551: 8, 537282: 11, 181244: 23, 601122: 1, 293454: 23, 569272: 6, 161388: 20, 587046: 3, 304242: 22, 382705: 23, 375687: 22, 484029: 13, 424623: 23, 494897: 12, 320047: 23, 364003: 21, 413122: 22, 427345: 22, 81400: 9, 462679: 16, 290942: 21, 301550: 21, 102355: 10, 310633: 20, 354919: 18, 580836: 4, 111557: 12, 177233: 19, 257676: 21, 435336: 18, 316977: 20, 475002: 14, 156350: 15, 195288: 19, 215701: 19, 516519: 9, 330368: 19, 460846: 13, 27629: 4, 298935: 16, 246356: 18, 564091: 4, 512035: 7, 594651: 2, 107048: 9, 430173: 14, 48173: 5, 266950: 15, 312963: 16, 586473: 2, 304840: 17, 305593: 16, 179649: 15, 534964: 4, 39488: 4, 195691: 14, 174115: 13, 334860: 15, 157104: 11, 258946: 13, 70279: 4, 346962: 13, 58386: 4, 234007: 11, 109916: 5, 238267: 12, 76912: 3, 503237: 5, 298967: 10, 560413: 2, 360936: 8, 445614: 8, 3354: 1, 342198: 11, 136702: 5, 229362: 8, 134175: 4, 440625: 8, 7874: 1, 64686: 2, 215174: 5, 464210: 8, 133250: 3, 482303: 5, 128791: 2, 349179: 7, 162938: 2, 211589: 2, 101507: 2, 218969: 2, 282937: 6, 352432: 5, 222262: 3, 531231: 3, 15455: 1, 122023: 1, 219754: 2, 283473: 4, 387344: 5, 400527: 4, 304360: 4, 395727: 4, 234390: 3, 292180: 3, 464208: 5, 479693: 5, 300651: 3, 305588: 3, 401047: 4, 553112: 2, 234009: 2, 250952: 3, 370785: 3, 499821: 2, 212222: 1, 480024: 2, 249041: 1, 599307: 1, 333254: 1, 350810: 1}
{263708: 33, 329159: 36, 111946: 20, 492424: 18, 15682: 4, 49655: 9, 563433: 10, 573443: 7, 221579: 28, 332458: 35, 497714: 17, 573226: 7, 263301: 30, 514629: 15, 293196: 29, 311577: 30, 245732: 28, 254256: 29, 133669: 22, 193874: 29, 16454: 4, 199800: 26, 93404: 13, 451593: 24, 123780: 17, 149503: 21, 261012: 28, 422700: 28, 40612: 6, 374560: 28, 72551: 9, 537282: 11, 181244: 24, 601122: 1, 293454: 24, 569272: 6, 161388: 21, 587046: 3, 304242: 23, 382705: 23, 375687: 23, 484029: 13, 424623: 23, 494897: 12, 320047: 24, 364003: 22, 413122: 22, 427345: 22, 81400: 10, 462679: 16, 290942: 22, 301550: 22, 102355: 11, 310633: 21, 354919: 19, 580836: 4, 111557: 13, 177233: 20, 257676: 22, 435336: 18, 316977: 21, 475002: 14, 156350: 16, 195288: 20, 215701: 20, 516519: 9, 330368: 20, 460846: 13, 27629: 4, 298935: 17, 246356: 19, 564091: 4, 512035: 7, 594651: 2, 107048: 10, 430173: 14, 48173: 5, 266950: 16, 312963: 17, 586473: 2, 304840: 18, 305593: 17, 179649: 16, 534964: 4, 39488: 4, 195691: 15, 174115: 14, 334860: 16, 157104: 12, 258946: 14, 70279: 4, 346962: 14, 58386: 4, 234007: 12, 109916: 6, 238267: 13, 76912: 4, 503237: 5, 298967: 11, 560413: 2, 360936: 9, 445614: 8, 3354: 1, 342198: 12, 136702: 6, 229362: 9, 134175: 5, 440625: 8, 7874: 1, 64686: 2, 215174: 6, 464210: 8, 133250: 4, 482303: 5, 128791: 3, 349179: 8, 162938: 3, 211589: 3, 101507: 3, 218969: 3, 282937: 7, 352432: 6, 222262: 4, 531231: 3, 15455: 1, 122023: 2, 219754: 3, 283473: 5, 387344: 5, 400527: 4, 304360: 5, 395727: 4, 234390: 4, 292180: 4, 464208: 5, 479693: 5, 300651: 4, 305588: 4, 401047: 4, 553112: 2, 234009: 3, 250952: 4, 370785: 4, 499821: 2, 212222: 2, 480024: 2, 249041: 2, 599307: 1, 333254: 2, 350810: 2, 72270: 1, 381559: 1}
{263708: 34, 329159: 37, 111946: 21, 492424: 19, 15682: 4, 49655: 9, 563433: 11, 573443: 8, 221579: 29, 332458: 36, 497714: 18, 573226: 8, 263301: 31, 514629: 16, 293196: 30, 311577: 31, 245732: 29, 254256: 30, 133669: 23, 193874: 30, 16454: 4, 199800: 27, 93404: 13, 451593: 25, 123780: 18, 149503: 22, 261012: 29, 422700: 29, 40612: 6, 374560: 29, 72551: 9, 537282: 12, 181244: 25, 601122: 1, 293454: 25, 569272: 7, 161388: 22, 587046: 4, 304242: 24, 382705: 24, 375687: 24, 484029: 14, 424623: 24, 494897: 13, 320047: 25, 364003: 23, 413122: 23, 427345: 23, 81400: 10, 462679: 17, 290942: 23, 301550: 23, 102355: 12, 310633: 22, 354919: 20, 580836: 5, 111557: 14, 177233: 21, 257676: 23, 435336: 19, 316977: 22, 475002: 15, 156350: 17, 195288: 21, 215701: 21, 516519: 10, 330368: 21, 460846: 14, 27629: 4, 298935: 18, 246356: 20, 564091: 5, 512035: 8, 594651: 2, 107048: 11, 430173: 15, 48173: 5, 266950: 17, 312963: 18, 586473: 3, 304840: 19, 305593: 18, 179649: 17, 534964: 5, 39488: 4, 195691: 16, 174115: 15, 334860: 17, 157104: 13, 258946: 15, 70279: 4, 346962: 15, 58386: 4, 234007: 13, 109916: 7, 238267: 14, 76912: 4, 503237: 6, 298967: 12, 560413: 3, 360936: 10, 445614: 9, 3354: 1, 342198: 13, 136702: 7, 229362: 10, 134175: 6, 440625: 9, 7874: 1, 64686: 2, 215174: 7, 464210: 9, 133250: 5, 482303: 6, 128791: 4, 349179: 9, 162938: 4, 211589: 4, 101507: 4, 218969: 4, 282937: 8, 352432: 7, 222262: 5, 531231: 4, 15455: 1, 122023: 3, 219754: 4, 283473: 6, 387344: 6, 400527: 5, 304360: 6, 395727: 5, 234390: 5, 292180: 5, 464208: 6, 479693: 6, 300651: 5, 305588: 5, 401047: 5, 553112: 3, 234009: 4, 250952: 5, 370785: 5, 499821: 3, 212222: 3, 480024: 3, 249041: 3, 599307: 1, 333254: 3, 350810: 3, 72270: 1, 381559: 2, 98165: 1, 588456: 1}
{263708: 34, 329159: 37, 111946: 22, 492424: 19, 15682: 4, 49655: 9, 563433: 11, 573443: 8, 221579: 29, 332458: 36, 497714: 18, 573226: 8, 263301: 31, 514629: 16, 293196: 30, 311577: 31, 245732: 29, 254256: 30, 133669: 24, 193874: 31, 16454: 4, 199800: 28, 93404: 14, 451593: 25, 123780: 19, 149503: 23, 261012: 29, 422700: 29, 40612: 6, 374560: 29, 72551: 9, 537282: 12, 181244: 26, 601122: 1, 293454: 25, 569272: 7, 161388: 23, 587046: 4, 304242: 24, 382705: 24, 375687: 24, 484029: 14, 424623: 24, 494897: 13, 320047: 25, 364003: 23, 413122: 23, 427345: 23, 81400: 10, 462679: 17, 290942: 23, 301550: 23, 102355: 13, 310633: 22, 354919: 20, 580836: 5, 111557: 15, 177233: 22, 257676: 23, 435336: 19, 316977: 22, 475002: 15, 156350: 18, 195288: 22, 215701: 21, 516519: 10, 330368: 21, 460846: 14, 27629: 4, 298935: 18, 246356: 20, 564091: 5, 512035: 8, 594651: 2, 107048: 12, 430173: 15, 48173: 5, 266950: 17, 312963: 18, 586473: 3, 304840: 19, 305593: 18, 179649: 18, 534964: 5, 39488: 4, 195691: 17, 174115: 16, 334860: 17, 157104: 14, 258946: 15, 70279: 4, 346962: 15, 58386: 4, 234007: 13, 109916: 8, 238267: 14, 76912: 4, 503237: 6, 298967: 12, 560413: 3, 360936: 10, 445614: 9, 3354: 1, 342198: 13, 136702: 8, 229362: 10, 134175: 7, 440625: 9, 7874: 1, 64686: 2, 215174: 7, 464210: 9, 133250: 6, 482303: 6, 128791: 5, 349179: 9, 162938: 5, 211589: 4, 101507: 5, 218969: 4, 282937: 8, 352432: 7, 222262: 5, 531231: 4, 15455: 1, 122023: 4, 219754: 4, 283473: 6, 387344: 6, 400527: 5, 304360: 6, 395727: 5, 234390: 5, 292180: 5, 464208: 6, 479693: 6, 300651: 5, 305588: 5, 401047: 5, 553112: 3, 234009: 4, 250952: 5, 370785: 5, 499821: 3, 212222: 3, 480024: 3, 249041: 3, 599307: 1, 333254: 3, 350810: 3, 72270: 1, 381559: 2, 98165: 2, 588456: 1, 89858: 1, 206802: 1}
{263708: 35, 329159: 38, 111946: 23, 492424: 19, 15682: 4, 49655: 9, 563433: 11, 573443: 8, 221579: 30, 332458: 37, 497714: 18, 573226: 8, 263301: 32, 514629: 16, 293196: 31, 311577: 32, 245732: 30, 254256: 31, 133669: 25, 193874: 32, 16454: 4, 199800: 29, 93404: 15, 451593: 25, 123780: 20, 149503: 24, 261012: 30, 422700: 30, 40612: 6, 374560: 30, 72551: 10, 537282: 12, 181244: 27, 601122: 1, 293454: 26, 569272: 7, 161388: 24, 587046: 4, 304242: 25, 382705: 25, 375687: 25, 484029: 14, 424623: 24, 494897: 13, 320047: 26, 364003: 24, 413122: 24, 427345: 23, 81400: 11, 462679: 17, 290942: 24, 301550: 24, 102355: 14, 310633: 23, 354919: 21, 580836: 5, 111557: 16, 177233: 23, 257676: 24, 435336: 19, 316977: 23, 475002: 15, 156350: 19, 195288: 23, 215701: 22, 516519: 10, 330368: 22, 460846: 14, 27629: 4, 298935: 19, 246356: 21, 564091: 5, 512035: 8, 594651: 2, 107048: 13, 430173: 15, 48173: 5, 266950: 18, 312963: 19, 586473: 3, 304840: 20, 305593: 19, 179649: 19, 534964: 5, 39488: 4, 195691: 18, 174115: 17, 334860: 18, 157104: 15, 258946: 16, 70279: 5, 346962: 16, 58386: 4, 234007: 14, 109916: 9, 238267: 15, 76912: 5, 503237: 6, 298967: 13, 560413: 3, 360936: 11, 445614: 9, 3354: 1, 342198: 14, 136702: 9, 229362: 11, 134175: 8, 440625: 9, 7874: 1, 64686: 2, 215174: 8, 464210: 9, 133250: 7, 482303: 6, 128791: 6, 349179: 10, 162938: 6, 211589: 5, 101507: 6, 218969: 5, 282937: 9, 352432: 8, 222262: 6, 531231: 4, 15455: 1, 122023: 5, 219754: 5, 283473: 7, 387344: 7, 400527: 6, 304360: 7, 395727: 6, 234390: 6, 292180: 6, 464208: 6, 479693: 6, 300651: 6, 305588: 6, 401047: 6, 553112: 3, 234009: 5, 250952: 6, 370785: 6, 499821: 3, 212222: 4, 480024: 3, 249041: 4, 599307: 1, 333254: 4, 350810: 4, 72270: 2, 381559: 3, 98165: 3, 588456: 1, 89858: 2, 206802: 2, 68212: 1, 423843: 1}
{263708: 36, 329159: 39, 111946: 23, 492424: 20, 15682: 4, 49655: 9, 563433: 11, 573443: 8, 221579: 30, 332458: 38, 497714: 19, 573226: 8, 263301: 33, 514629: 17, 293196: 32, 311577: 33, 245732: 31, 254256: 32, 133669: 25, 193874: 32, 16454: 4, 199800: 29, 93404: 15, 451593: 26, 123780: 20, 149503: 24, 261012: 31, 422700: 31, 40612: 6, 374560: 31, 72551: 10, 537282: 12, 181244: 27, 601122: 1, 293454: 27, 569272: 7, 161388: 24, 587046: 4, 304242: 26, 382705: 26, 375687: 26, 484029: 15, 424623: 25, 494897: 14, 320047: 27, 364003: 25, 413122: 25, 427345: 24, 81400: 11, 462679: 18, 290942: 25, 301550: 25, 102355: 14, 310633: 24, 354919: 22, 580836: 5, 111557: 16, 177233: 23, 257676: 25, 435336: 20, 316977: 24, 475002: 16, 156350: 19, 195288: 23, 215701: 22, 516519: 10, 330368: 23, 460846: 15, 27629: 4, 298935: 20, 246356: 22, 564091: 5, 512035: 9, 594651: 2, 107048: 13, 430173: 16, 48173: 5, 266950: 19, 312963: 20, 586473: 3, 304840: 21, 305593: 20, 179649: 19, 534964: 5, 39488: 4, 195691: 18, 174115: 17, 334860: 19, 157104: 15, 258946: 17, 70279: 5, 346962: 17, 58386: 4, 234007: 15, 109916: 9, 238267: 16, 76912: 5, 503237: 7, 298967: 14, 560413: 3, 360936: 12, 445614: 10, 3354: 1, 342198: 15, 136702: 9, 229362: 11, 134175: 8, 440625: 10, 7874: 1, 64686: 2, 215174: 8, 464210: 10, 133250: 7, 482303: 7, 128791: 6, 349179: 11, 162938: 6, 211589: 5, 101507: 6, 218969: 5, 282937: 10, 352432: 9, 222262: 6, 531231: 4, 15455: 1, 122023: 5, 219754: 5, 283473: 8, 387344: 8, 400527: 7, 304360: 8, 395727: 7, 234390: 7, 292180: 7, 464208: 7, 479693: 7, 300651: 7, 305588: 7, 401047: 7, 553112: 3, 234009: 6, 250952: 7, 370785: 7, 499821: 4, 212222: 4, 480024: 4, 249041: 5, 599307: 1, 333254: 5, 350810: 5, 72270: 2, 381559: 4, 98165: 3, 588456: 1, 89858: 2, 206802: 2, 68212: 1, 423843: 2, 230864: 1, 515494: 1}
{263708: 37, 329159: 40, 111946: 23, 492424: 21, 15682: 4, 49655: 9, 563433: 12, 573443: 9, 221579: 31, 332458: 39, 497714: 20, 573226: 9, 263301: 34, 514629: 18, 293196: 33, 311577: 34, 245732: 32, 254256: 33, 133669: 25, 193874: 33, 16454: 4, 199800: 30, 93404: 15, 451593: 27, 123780: 20, 149503: 24, 261012: 32, 422700: 32, 40612: 6, 374560: 32, 72551: 10, 537282: 13, 181244: 27, 601122: 1, 293454: 28, 569272: 8, 161388: 24, 587046: 4, 304242: 27, 382705: 27, 375687: 27, 484029: 16, 424623: 26, 494897: 15, 320047: 28, 364003: 26, 413122: 26, 427345: 25, 81400: 11, 462679: 19, 290942: 26, 301550: 26, 102355: 14, 310633: 25, 354919: 23, 580836: 6, 111557: 16, 177233: 23, 257676: 26, 435336: 21, 316977: 25, 475002: 17, 156350: 19, 195288: 24, 215701: 23, 516519: 11, 330368: 24, 460846: 16, 27629: 4, 298935: 21, 246356: 23, 564091: 6, 512035: 10, 594651: 2, 107048: 13, 430173: 17, 48173: 5, 266950: 20, 312963: 21, 586473: 3, 304840: 22, 305593: 21, 179649: 19, 534964: 6, 39488: 4, 195691: 19, 174115: 17, 334860: 20, 157104: 15, 258946: 18, 70279: 5, 346962: 18, 58386: 4, 234007: 16, 109916: 9, 238267: 17, 76912: 5, 503237: 8, 298967: 15, 560413: 4, 360936: 13, 445614: 11, 3354: 1, 342198: 16, 136702: 9, 229362: 12, 134175: 8, 440625: 11, 7874: 1, 64686: 2, 215174: 9, 464210: 11, 133250: 7, 482303: 8, 128791: 6, 349179: 12, 162938: 6, 211589: 6, 101507: 6, 218969: 6, 282937: 11, 352432: 10, 222262: 7, 531231: 5, 15455: 1, 122023: 5, 219754: 6, 283473: 9, 387344: 9, 400527: 8, 304360: 9, 395727: 8, 234390: 8, 292180: 8, 464208: 8, 479693: 8, 300651: 8, 305588: 8, 401047: 8, 553112: 4, 234009: 7, 250952: 8, 370785: 8, 499821: 5, 212222: 5, 480024: 5, 249041: 6, 599307: 1, 333254: 6, 350810: 6, 72270: 2, 381559: 5, 98165: 3, 588456: 1, 89858: 2, 206802: 3, 68212: 1, 423843: 3, 230864: 2, 515494: 2, 189472: 1, 583399: 1}
{263708: 37, 329159: 41, 111946: 23, 492424: 22, 15682: 4, 49655: 9, 563433: 13, 573443: 10, 221579: 31, 332458: 40, 497714: 21, 573226: 10, 263301: 34, 514629: 19, 293196: 33, 311577: 35, 245732: 32, 254256: 33, 133669: 25, 193874: 33, 16454: 4, 199800: 30, 93404: 15, 451593: 28, 123780: 20, 149503: 24, 261012: 32, 422700: 33, 40612: 6, 374560: 33, 72551: 10, 537282: 14, 181244: 27, 601122: 1, 293454: 28, 569272: 9, 161388: 24, 587046: 4, 304242: 27, 382705: 28, 375687: 28, 484029: 17, 424623: 27, 494897: 16, 320047: 29, 364003: 27, 413122: 27, 427345: 26, 81400: 11, 462679: 20, 290942: 26, 301550: 26, 102355: 14, 310633: 26, 354919: 24, 580836: 7, 111557: 16, 177233: 23, 257676: 26, 435336: 22, 316977: 26, 475002: 18, 156350: 19, 195288: 24, 215701: 23, 516519: 12, 330368: 25, 460846: 17, 27629: 4, 298935: 21, 246356: 23, 564091: 7, 512035: 11, 594651: 2, 107048: 13, 430173: 18, 48173: 5, 266950: 20, 312963: 22, 586473: 3, 304840: 22, 305593: 21, 179649: 19, 534964: 7, 39488: 4, 195691: 19, 174115: 17, 334860: 21, 157104: 15, 258946: 18, 70279: 5, 346962: 19, 58386: 4, 234007: 16, 109916: 9, 238267: 17, 76912: 5, 503237: 9, 298967: 15, 560413: 5, 360936: 14, 445614: 12, 3354: 1, 342198: 17, 136702: 9, 229362: 12, 134175: 8, 440625: 12, 7874: 1, 64686: 2, 215174: 9, 464210: 12, 133250: 7, 482303: 9, 128791: 6, 349179: 13, 162938: 6, 211589: 6, 101507: 6, 218969: 6, 282937: 11, 352432: 11, 222262: 7, 531231: 6, 15455: 1, 122023: 5, 219754: 6, 283473: 9, 387344: 10, 400527: 9, 304360: 9, 395727: 9, 234390: 8, 292180: 8, 464208: 9, 479693: 9, 300651: 8, 305588: 8, 401047: 9, 553112: 5, 234009: 7, 250952: 8, 370785: 9, 499821: 6, 212222: 5, 480024: 6, 249041: 6, 599307: 1, 333254: 7, 350810: 7, 72270: 2, 381559: 6, 98165: 3, 588456: 1, 89858: 2, 206802: 3, 68212: 1, 423843: 4, 230864: 2, 515494: 3, 189472: 1, 583399: 1, 308182: 1, 582134: 1}
{263708: 38, 329159: 41, 111946: 24, 492424: 22, 15682: 4, 49655: 10, 563433: 13, 573443: 10, 221579: 32, 332458: 40, 497714: 21, 573226: 10, 263301: 35, 514629: 19, 293196: 34, 311577: 35, 245732: 33, 254256: 34, 133669: 26, 193874: 34, 16454: 4, 199800: 31, 93404: 16, 451593: 28, 123780: 21, 149503: 25, 261012: 33, 422700: 33, 40612: 7, 374560: 33, 72551: 11, 537282: 14, 181244: 28, 601122: 1, 293454: 29, 569272: 9, 161388: 25, 587046: 4, 304242: 27, 382705: 28, 375687: 28, 484029: 17, 424623: 27, 494897: 16, 320047: 29, 364003: 27, 413122: 27, 427345: 26, 81400: 12, 462679: 20, 290942: 27, 301550: 27, 102355: 15, 310633: 26, 354919: 24, 580836: 7, 111557: 17, 177233: 24, 257676: 27, 435336: 22, 316977: 26, 475002: 18, 156350: 20, 195288: 25, 215701: 24, 516519: 12, 330368: 25, 460846: 17, 27629: 5, 298935: 22, 246356: 24, 564091: 7, 512035: 11, 594651: 2, 107048: 14, 430173: 18, 48173: 6, 266950: 21, 312963: 22, 586473: 3, 304840: 22, 305593: 21, 179649: 20, 534964: 7, 39488: 5, 195691: 20, 174115: 18, 334860: 21, 157104: 16, 258946: 19, 70279: 6, 346962: 19, 58386: 5, 234007: 17, 109916: 10, 238267: 18, 76912: 6, 503237: 9, 298967: 16, 560413: 5, 360936: 14, 445614: 12, 3354: 1, 342198: 17, 136702: 10, 229362: 13, 134175: 9, 440625: 12, 7874: 1, 64686: 3, 215174: 10, 464210: 12, 133250: 8, 482303: 9, 128791: 7, 349179: 13, 162938: 7, 211589: 7, 101507: 7, 218969: 7, 282937: 12, 352432: 11, 222262: 8, 531231: 6, 15455: 1, 122023: 6, 219754: 7, 283473: 10, 387344: 10, 400527: 9, 304360: 9, 395727: 9, 234390: 9, 292180: 9, 464208: 9, 479693: 9, 300651: 9, 305588: 8, 401047: 9, 553112: 5, 234009: 8, 250952: 9, 370785: 9, 499821: 6, 212222: 6, 480024: 6, 249041: 7, 599307: 1, 333254: 7, 350810: 7, 72270: 3, 381559: 6, 98165: 4, 588456: 1, 89858: 3, 206802: 4, 68212: 2, 423843: 4, 230864: 3, 515494: 3, 189472: 2, 583399: 1, 308182: 1, 582134: 1, 25281: 1, 302425: 1}
{263708: 39, 329159: 42, 111946: 24, 492424: 22, 15682: 4, 49655: 10, 563433: 13, 573443: 10, 221579: 33, 332458: 41, 497714: 21, 573226: 10, 263301: 36, 514629: 19, 293196: 35, 311577: 36, 245732: 34, 254256: 35, 133669: 27, 193874: 35, 16454: 4, 199800: 32, 93404: 16, 451593: 28, 123780: 21, 149503: 26, 261012: 34, 422700: 33, 40612: 7, 374560: 34, 72551: 11, 537282: 14, 181244: 29, 601122: 1, 293454: 30, 569272: 9, 161388: 26, 587046: 4, 304242: 28, 382705: 29, 375687: 29, 484029: 17, 424623: 27, 494897: 16, 320047: 30, 364003: 28, 413122: 27, 427345: 26, 81400: 12, 462679: 20, 290942: 28, 301550: 28, 102355: 15, 310633: 27, 354919: 25, 580836: 7, 111557: 17, 177233: 25, 257676: 28, 435336: 22, 316977: 27, 475002: 18, 156350: 21, 195288: 26, 215701: 25, 516519: 12, 330368: 26, 460846: 17, 27629: 5, 298935: 23, 246356: 25, 564091: 7, 512035: 11, 594651: 2, 107048: 14, 430173: 18, 48173: 6, 266950: 22, 312963: 23, 586473: 3, 304840: 23, 305593: 22, 179649: 21, 534964: 7, 39488: 5, 195691: 21, 174115: 19, 334860: 22, 157104: 17, 258946: 20, 70279: 6, 346962: 20, 58386: 5, 234007: 18, 109916: 10, 238267: 19, 76912: 6, 503237: 9, 298967: 17, 560413: 5, 360936: 15, 445614: 12, 3354: 1, 342198: 18, 136702: 11, 229362: 14, 134175: 10, 440625: 12, 7874: 1, 64686: 3, 215174: 11, 464210: 12, 133250: 9, 482303: 9, 128791: 7, 349179: 14, 162938: 8, 211589: 8, 101507: 7, 218969: 8, 282937: 13, 352432: 12, 222262: 9, 531231: 6, 15455: 1, 122023: 6, 219754: 8, 283473: 11, 387344: 11, 400527: 9, 304360: 10, 395727: 9, 234390: 10, 292180: 10, 464208: 9, 479693: 9, 300651: 10, 305588: 9, 401047: 9, 553112: 5, 234009: 9, 250952: 10, 370785: 10, 499821: 6, 212222: 7, 480024: 6, 249041: 8, 599307: 1, 333254: 8, 350810: 8, 72270: 3, 381559: 7, 98165: 4, 588456: 1, 89858: 3, 206802: 5, 68212: 2, 423843: 4, 230864: 4, 515494: 3, 189472: 3, 583399: 1, 308182: 2, 582134: 1, 25281: 1, 302425: 2, 131414: 1, 391340: 1}
{263708: 39, 329159: 42, 111946: 24, 492424: 23, 15682: 4, 49655: 10, 563433: 13, 573443: 10, 221579: 33, 332458: 41, 497714: 22, 573226: 10, 263301: 36, 514629: 20, 293196: 35, 311577: 36, 245732: 34, 254256: 35, 133669: 27, 193874: 35, 16454: 4, 199800: 32, 93404: 16, 451593: 29, 123780: 21, 149503: 26, 261012: 34, 422700: 33, 40612: 7, 374560: 34, 72551: 11, 537282: 15, 181244: 29, 601122: 1, 293454: 30, 569272: 9, 161388: 26, 587046: 4, 304242: 28, 382705: 29, 375687: 29, 484029: 18, 424623: 27, 494897: 17, 320047: 30, 364003: 28, 413122: 27, 427345: 26, 81400: 12, 462679: 21, 290942: 28, 301550: 28, 102355: 15, 310633: 27, 354919: 25, 580836: 7, 111557: 17, 177233: 25, 257676: 28, 435336: 22, 316977: 27, 475002: 19, 156350: 21, 195288: 26, 215701: 25, 516519: 13, 330368: 26, 460846: 18, 27629: 5, 298935: 23, 246356: 25, 564091: 7, 512035: 12, 594651: 2, 107048: 14, 430173: 18, 48173: 6, 266950: 22, 312963: 23, 586473: 3, 304840: 23, 305593: 22, 179649: 21, 534964: 8, 39488: 5, 195691: 21, 174115: 19, 334860: 22, 157104: 17, 258946: 20, 70279: 6, 346962: 20, 58386: 5, 234007: 18, 109916: 10, 238267: 19, 76912: 6, 503237: 10, 298967: 17, 560413: 5, 360936: 15, 445614: 12, 3354: 1, 342198: 18, 136702: 11, 229362: 14, 134175: 10, 440625: 12, 7874: 1, 64686: 3, 215174: 11, 464210: 13, 133250: 9, 482303: 10, 128791: 7, 349179: 14, 162938: 8, 211589: 8, 101507: 7, 218969: 8, 282937: 13, 352432: 12, 222262: 9, 531231: 7, 15455: 1, 122023: 6, 219754: 8, 283473: 11, 387344: 11, 400527: 9, 304360: 10, 395727: 9, 234390: 10, 292180: 10, 464208: 10, 479693: 10, 300651: 10, 305588: 9, 401047: 9, 553112: 5, 234009: 9, 250952: 10, 370785: 10, 499821: 7, 212222: 7, 480024: 7, 249041: 8, 599307: 1, 333254: 8, 350810: 8, 72270: 3, 381559: 7, 98165: 4, 588456: 1, 89858: 3, 206802: 5, 68212: 2, 423843: 4, 230864: 4, 515494: 4, 189472: 3, 583399: 1, 308182: 2, 582134: 1, 25281: 1, 302425: 2, 131414: 1, 391340: 1, 446614: 1, 538018: 1}
{263708: 39, 329159: 42, 111946: 24, 492424: 23, 15682: 4, 49655: 10, 563433: 13, 573443: 10, 221579: 33, 332458: 41, 497714: 22, 573226: 10, 263301: 36, 514629: 20, 293196: 35, 311577: 36, 245732: 34, 254256: 35, 133669: 27, 193874: 35, 16454: 4, 199800: 32, 93404: 16, 451593: 29, 123780: 21, 149503: 26, 261012: 34, 422700: 33, 40612: 7, 374560: 34, 72551: 11, 537282: 15, 181244: 29, 601122: 1, 293454: 30, 569272: 9, 161388: 26, 587046: 5, 304242: 28, 382705: 29, 375687: 29, 484029: 18, 424623: 27, 494897: 17, 320047: 30, 364003: 28, 413122: 27, 427345: 26, 81400: 12, 462679: 21, 290942: 28, 301550: 28, 102355: 15, 310633: 27, 354919: 25, 580836: 8, 111557: 17, 177233: 25, 257676: 28, 435336: 22, 316977: 27, 475002: 19, 156350: 21, 195288: 26, 215701: 25, 516519: 13, 330368: 26, 460846: 18, 27629: 5, 298935: 23, 246356: 25, 564091: 7, 512035: 12, 594651: 3, 107048: 14, 430173: 18, 48173: 6, 266950: 22, 312963: 23, 586473: 4, 304840: 23, 305593: 22, 179649: 21, 534964: 8, 39488: 5, 195691: 21, 174115: 19, 334860: 22, 157104: 17, 258946: 20, 70279: 6, 346962: 20, 58386: 5, 234007: 18, 109916: 10, 238267: 19, 76912: 6, 503237: 10, 298967: 17, 560413: 5, 360936: 15, 445614: 12, 3354: 1, 342198: 18, 136702: 11, 229362: 14, 134175: 10, 440625: 12, 7874: 1, 64686: 3, 215174: 11, 464210: 13, 133250: 9, 482303: 10, 128791: 7, 349179: 14, 162938: 8, 211589: 8, 101507: 7, 218969: 8, 282937: 13, 352432: 12, 222262: 9, 531231: 7, 15455: 1, 122023: 6, 219754: 8, 283473: 11, 387344: 11, 400527: 9, 304360: 10, 395727: 9, 234390: 10, 292180: 10, 464208: 10, 479693: 10, 300651: 10, 305588: 9, 401047: 9, 553112: 5, 234009: 9, 250952: 10, 370785: 10, 499821: 7, 212222: 7, 480024: 7, 249041: 8, 599307: 2, 333254: 8, 350810: 8, 72270: 3, 381559: 7, 98165: 4, 588456: 2, 89858: 3, 206802: 5, 68212: 2, 423843: 4, 230864: 4, 515494: 4, 189472: 3, 583399: 2, 308182: 2, 582134: 2, 25281: 1, 302425: 2, 131414: 1, 391340: 1, 446614: 1, 538018: 1, 579344: 1, 600767: 1}
{263708: 40, 329159: 43, 111946: 24, 492424: 23, 15682: 4, 49655: 10, 563433: 13, 573443: 10, 221579: 34, 332458: 42, 497714: 22, 573226: 10, 263301: 37, 514629: 20, 293196: 36, 311577: 37, 245732: 35, 254256: 36, 133669: 27, 193874: 35, 16454: 4, 199800: 32, 93404: 16, 451593: 29, 123780: 21, 149503: 26, 261012: 35, 422700: 33, 40612: 7, 374560: 35, 72551: 11, 537282: 15, 181244: 29, 601122: 1, 293454: 31, 569272: 9, 161388: 26, 587046: 5, 304242: 29, 382705: 30, 375687: 30, 484029: 18, 424623: 27, 494897: 17, 320047: 31, 364003: 29, 413122: 27, 427345: 26, 81400: 12, 462679: 21, 290942: 29, 301550: 29, 102355: 15, 310633: 28, 354919: 26, 580836: 8, 111557: 17, 177233: 25, 257676: 29, 435336: 22, 316977: 28, 475002: 19, 156350: 21, 195288: 26, 215701: 26, 516519: 13, 330368: 27, 460846: 18, 27629: 5, 298935: 24, 246356: 26, 564091: 7, 512035: 12, 594651: 3, 107048: 14, 430173: 18, 48173: 6, 266950: 23, 312963: 24, 586473: 4, 304840: 24, 305593: 23, 179649: 21, 534964: 8, 39488: 5, 195691: 21, 174115: 19, 334860: 23, 157104: 17, 258946: 21, 70279: 6, 346962: 21, 58386: 5, 234007: 19, 109916: 10, 238267: 20, 76912: 6, 503237: 10, 298967: 18, 560413: 5, 360936: 16, 445614: 12, 3354: 1, 342198: 19, 136702: 11, 229362: 15, 134175: 10, 440625: 12, 7874: 1, 64686: 3, 215174: 12, 464210: 13, 133250: 9, 482303: 10, 128791: 7, 349179: 15, 162938: 8, 211589: 9, 101507: 7, 218969: 9, 282937: 14, 352432: 13, 222262: 10, 531231: 7, 15455: 1, 122023: 6, 219754: 9, 283473: 12, 387344: 12, 400527: 9, 304360: 11, 395727: 10, 234390: 11, 292180: 11, 464208: 10, 479693: 10, 300651: 11, 305588: 10, 401047: 9, 553112: 5, 234009: 10, 250952: 11, 370785: 11, 499821: 7, 212222: 8, 480024: 7, 249041: 9, 599307: 2, 333254: 9, 350810: 9, 72270: 3, 381559: 8, 98165: 4, 588456: 2, 89858: 3, 206802: 6, 68212: 2, 423843: 4, 230864: 5, 515494: 4, 189472: 3, 583399: 2, 308182: 3, 582134: 2, 25281: 1, 302425: 3, 131414: 1, 391340: 2, 446614: 1, 538018: 1, 579344: 1, 600767: 1, 206622: 1, 397690: 1}
{263708: 41, 329159: 44, 111946: 24, 492424: 23, 15682: 4, 49655: 10, 563433: 13, 573443: 10, 221579: 35, 332458: 43, 497714: 22, 573226: 10, 263301: 38, 514629: 20, 293196: 37, 311577: 38, 245732: 36, 254256: 37, 133669: 27, 193874: 36, 16454: 4, 199800: 33, 93404: 16, 451593: 30, 123780: 21, 149503: 26, 261012: 36, 422700: 34, 40612: 7, 374560: 36, 72551: 11, 537282: 15, 181244: 29, 601122: 1, 293454: 32, 569272: 9, 161388: 26, 587046: 5, 304242: 30, 382705: 31, 375687: 31, 484029: 19, 424623: 28, 494897: 17, 320047: 32, 364003: 30, 413122: 28, 427345: 27, 81400: 12, 462679: 22, 290942: 30, 301550: 30, 102355: 15, 310633: 29, 354919: 27, 580836: 8, 111557: 17, 177233: 25, 257676: 30, 435336: 23, 316977: 29, 475002: 20, 156350: 21, 195288: 27, 215701: 27, 516519: 13, 330368: 28, 460846: 19, 27629: 5, 298935: 25, 246356: 27, 564091: 7, 512035: 12, 594651: 3, 107048: 14, 430173: 19, 48173: 6, 266950: 24, 312963: 25, 586473: 4, 304840: 25, 305593: 24, 179649: 21, 534964: 8, 39488: 5, 195691: 22, 174115: 19, 334860: 24, 157104: 17, 258946: 22, 70279: 6, 346962: 22, 58386: 5, 234007: 20, 109916: 10, 238267: 21, 76912: 6, 503237: 10, 298967: 19, 560413: 5, 360936: 17, 445614: 13, 3354: 1, 342198: 20, 136702: 11, 229362: 16, 134175: 10, 440625: 13, 7874: 1, 64686: 3, 215174: 13, 464210: 14, 133250: 9, 482303: 11, 128791: 7, 349179: 16, 162938: 8, 211589: 10, 101507: 7, 218969: 10, 282937: 15, 352432: 14, 222262: 11, 531231: 7, 15455: 1, 122023: 6, 219754: 10, 283473: 13, 387344: 13, 400527: 10, 304360: 12, 395727: 11, 234390: 12, 292180: 12, 464208: 11, 479693: 11, 300651: 12, 305588: 11, 401047: 10, 553112: 5, 234009: 11, 250952: 12, 370785: 12, 499821: 7, 212222: 9, 480024: 8, 249041: 10, 599307: 2, 333254: 10, 350810: 10, 72270: 3, 381559: 9, 98165: 4, 588456: 2, 89858: 3, 206802: 7, 68212: 2, 423843: 5, 230864: 6, 515494: 4, 189472: 3, 583399: 2, 308182: 4, 582134: 2, 25281: 1, 302425: 4, 131414: 1, 391340: 3, 446614: 2, 538018: 1, 579344: 1, 600767: 1, 206622: 2, 397690: 2, 190705: 1, 485960: 1}
{263708: 42, 329159: 45, 111946: 24, 492424: 23, 15682: 4, 49655: 10, 563433: 13, 573443: 10, 221579: 36, 332458: 44, 497714: 22, 573226: 10, 263301: 39, 514629: 20, 293196: 38, 311577: 39, 245732: 37, 254256: 38, 133669: 28, 193874: 37, 16454: 4, 199800: 34, 93404: 16, 451593: 30, 123780: 21, 149503: 27, 261012: 37, 422700: 34, 40612: 7, 374560: 36, 72551: 11, 537282: 15, 181244: 30, 601122: 1, 293454: 33, 569272: 9, 161388: 27, 587046: 5, 304242: 31, 382705: 31, 375687: 31, 484029: 19, 424623: 28, 494897: 17, 320047: 33, 364003: 30, 413122: 28, 427345: 27, 81400: 12, 462679: 22, 290942: 31, 301550: 31, 102355: 15, 310633: 30, 354919: 27, 580836: 8, 111557: 17, 177233: 26, 257676: 31, 435336: 23, 316977: 30, 475002: 20, 156350: 22, 195288: 28, 215701: 28, 516519: 13, 330368: 29, 460846: 19, 27629: 5, 298935: 26, 246356: 28, 564091: 7, 512035: 12, 594651: 3, 107048: 14, 430173: 19, 48173: 6, 266950: 25, 312963: 26, 586473: 4, 304840: 26, 305593: 25, 179649: 22, 534964: 8, 39488: 5, 195691: 23, 174115: 20, 334860: 25, 157104: 18, 258946: 23, 70279: 6, 346962: 22, 58386: 5, 234007: 21, 109916: 10, 238267: 22, 76912: 6, 503237: 10, 298967: 20, 560413: 5, 360936: 17, 445614: 13, 3354: 1, 342198: 21, 136702: 12, 229362: 17, 134175: 11, 440625: 13, 7874: 1, 64686: 3, 215174: 14, 464210: 14, 133250: 10, 482303: 11, 128791: 7, 349179: 16, 162938: 9, 211589: 11, 101507: 7, 218969: 11, 282937: 16, 352432: 14, 222262: 12, 531231: 7, 15455: 1, 122023: 6, 219754: 11, 283473: 14, 387344: 13, 400527: 10, 304360: 13, 395727: 11, 234390: 13, 292180: 13, 464208: 11, 479693: 11, 300651: 13, 305588: 12, 401047: 10, 553112: 5, 234009: 12, 250952: 13, 370785: 12, 499821: 7, 212222: 10, 480024: 8, 249041: 11, 599307: 2, 333254: 11, 350810: 10, 72270: 3, 381559: 9, 98165: 4, 588456: 2, 89858: 3, 206802: 8, 68212: 2, 423843: 5, 230864: 7, 515494: 4, 189472: 4, 583399: 2, 308182: 5, 582134: 2, 25281: 1, 302425: 5, 131414: 2, 391340: 3, 446614: 2, 538018: 1, 579344: 1, 600767: 1, 206622: 3, 397690: 2, 190705: 2, 485960: 1, 129821: 1, 343032: 1}
{263708: 42, 329159: 45, 111946: 24, 492424: 23, 15682: 4, 49655: 10, 563433: 13, 573443: 10, 221579: 36, 332458: 44, 497714: 22, 573226: 10, 263301: 39, 514629: 20, 293196: 38, 311577: 39, 245732: 37, 254256: 38, 133669: 28, 193874: 37, 16454: 4, 199800: 34, 93404: 16, 451593: 30, 123780: 21, 149503: 28, 261012: 37, 422700: 34, 40612: 7, 374560: 36, 72551: 11, 537282: 15, 181244: 30, 601122: 1, 293454: 33, 569272: 9, 161388: 27, 587046: 5, 304242: 31, 382705: 31, 375687: 31, 484029: 19, 424623: 28, 494897: 17, 320047: 33, 364003: 30, 413122: 28, 427345: 27, 81400: 12, 462679: 22, 290942: 31, 301550: 31, 102355: 15, 310633: 30, 354919: 27, 580836: 8, 111557: 17, 177233: 26, 257676: 31, 435336: 23, 316977: 30, 475002: 20, 156350: 23, 195288: 28, 215701: 28, 516519: 13, 330368: 29, 460846: 19, 27629: 5, 298935: 26, 246356: 28, 564091: 7, 512035: 12, 594651: 3, 107048: 14, 430173: 19, 48173: 6, 266950: 25, 312963: 26, 586473: 4, 304840: 26, 305593: 25, 179649: 22, 534964: 8, 39488: 5, 195691: 23, 174115: 20, 334860: 25, 157104: 18, 258946: 23, 70279: 6, 346962: 22, 58386: 5, 234007: 21, 109916: 10, 238267: 22, 76912: 6, 503237: 10, 298967: 20, 560413: 5, 360936: 17, 445614: 13, 3354: 1, 342198: 21, 136702: 12, 229362: 17, 134175: 11, 440625: 13, 7874: 1, 64686: 3, 215174: 14, 464210: 14, 133250: 10, 482303: 11, 128791: 7, 349179: 16, 162938: 9, 211589: 11, 101507: 7, 218969: 11, 282937: 16, 352432: 14, 222262: 12, 531231: 7, 15455: 1, 122023: 6, 219754: 11, 283473: 14, 387344: 13, 400527: 10, 304360: 13, 395727: 11, 234390: 13, 292180: 13, 464208: 11, 479693: 11, 300651: 13, 305588: 12, 401047: 10, 553112: 5, 234009: 12, 250952: 13, 370785: 12, 499821: 7, 212222: 10, 480024: 8, 249041: 11, 599307: 2, 333254: 11, 350810: 10, 72270: 3, 381559: 9, 98165: 4, 588456: 2, 89858: 3, 206802: 8, 68212: 2, 423843: 5, 230864: 7, 515494: 4, 189472: 4, 583399: 2, 308182: 5, 582134: 2, 25281: 1, 302425: 5, 131414: 2, 391340: 3, 446614: 2, 538018: 1, 579344: 1, 600767: 1, 206622: 3, 397690: 2, 190705: 2, 485960: 1, 129821: 1, 343032: 1, 138742: 1, 156493: 1}
{263708: 42, 329159: 45, 111946: 24, 492424: 23, 15682: 4, 49655: 10, 563433: 13, 573443: 10, 221579: 36, 332458: 44, 497714: 22, 573226: 10, 263301: 39, 514629: 20, 293196: 38, 311577: 39, 245732: 37, 254256: 39, 133669: 28, 193874: 37, 16454: 4, 199800: 34, 93404: 16, 451593: 30, 123780: 21, 149503: 28, 261012: 37, 422700: 34, 40612: 7, 374560: 36, 72551: 11, 537282: 15, 181244: 30, 601122: 1, 293454: 33, 569272: 9, 161388: 27, 587046: 5, 304242: 31, 382705: 31, 375687: 31, 484029: 19, 424623: 28, 494897: 17, 320047: 33, 364003: 30, 413122: 28, 427345: 27, 81400: 12, 462679: 22, 290942: 31, 301550: 31, 102355: 15, 310633: 30, 354919: 27, 580836: 8, 111557: 17, 177233: 26, 257676: 32, 435336: 23, 316977: 30, 475002: 20, 156350: 23, 195288: 28, 215701: 28, 516519: 13, 330368: 29, 460846: 19, 27629: 5, 298935: 26, 246356: 28, 564091: 7, 512035: 12, 594651: 3, 107048: 14, 430173: 19, 48173: 6, 266950: 25, 312963: 26, 586473: 4, 304840: 26, 305593: 25, 179649: 22, 534964: 8, 39488: 5, 195691: 23, 174115: 20, 334860: 25, 157104: 18, 258946: 23, 70279: 6, 346962: 22, 58386: 5, 234007: 21, 109916: 10, 238267: 22, 76912: 6, 503237: 10, 298967: 20, 560413: 5, 360936: 17, 445614: 13, 3354: 1, 342198: 21, 136702: 12, 229362: 17, 134175: 11, 440625: 13, 7874: 1, 64686: 3, 215174: 14, 464210: 14, 133250: 10, 482303: 11, 128791: 7, 349179: 16, 162938: 9, 211589: 11, 101507: 7, 218969: 11, 282937: 16, 352432: 14, 222262: 12, 531231: 7, 15455: 1, 122023: 6, 219754: 11, 283473: 14, 387344: 13, 400527: 10, 304360: 13, 395727: 11, 234390: 13, 292180: 13, 464208: 11, 479693: 11, 300651: 13, 305588: 12, 401047: 10, 553112: 5, 234009: 12, 250952: 13, 370785: 12, 499821: 7, 212222: 10, 480024: 8, 249041: 11, 599307: 2, 333254: 11, 350810: 10, 72270: 3, 381559: 9, 98165: 4, 588456: 2, 89858: 3, 206802: 8, 68212: 2, 423843: 5, 230864: 7, 515494: 4, 189472: 4, 583399: 2, 308182: 5, 582134: 2, 25281: 1, 302425: 5, 131414: 2, 391340: 3, 446614: 2, 538018: 1, 579344: 1, 600767: 1, 206622: 3, 397690: 2, 190705: 2, 485960: 1, 129821: 1, 343032: 1, 138742: 1, 156493: 1, 252070: 1, 258597: 1}
{263708: 42, 329159: 45, 111946: 24, 492424: 24, 15682: 4, 49655: 10, 563433: 13, 573443: 10, 221579: 36, 332458: 44, 497714: 23, 573226: 10, 263301: 39, 514629: 21, 293196: 38, 311577: 39, 245732: 37, 254256: 39, 133669: 28, 193874: 37, 16454: 4, 199800: 34, 93404: 16, 451593: 30, 123780: 21, 149503: 28, 261012: 37, 422700: 34, 40612: 7, 374560: 36, 72551: 11, 537282: 15, 181244: 30, 601122: 1, 293454: 33, 569272: 9, 161388: 27, 587046: 5, 304242: 31, 382705: 31, 375687: 31, 484029: 19, 424623: 28, 494897: 18, 320047: 33, 364003: 30, 413122: 28, 427345: 27, 81400: 12, 462679: 22, 290942: 31, 301550: 31, 102355: 15, 310633: 30, 354919: 27, 580836: 8, 111557: 17, 177233: 26, 257676: 32, 435336: 23, 316977: 30, 475002: 20, 156350: 23, 195288: 28, 215701: 28, 516519: 14, 330368: 29, 460846: 19, 27629: 5, 298935: 26, 246356: 28, 564091: 7, 512035: 13, 594651: 3, 107048: 14, 430173: 19, 48173: 6, 266950: 25, 312963: 26, 586473: 4, 304840: 26, 305593: 25, 179649: 22, 534964: 8, 39488: 5, 195691: 23, 174115: 20, 334860: 25, 157104: 18, 258946: 23, 70279: 6, 346962: 22, 58386: 5, 234007: 21, 109916: 10, 238267: 22, 76912: 6, 503237: 11, 298967: 20, 560413: 5, 360936: 17, 445614: 13, 3354: 1, 342198: 21, 136702: 12, 229362: 17, 134175: 11, 440625: 13, 7874: 1, 64686: 3, 215174: 14, 464210: 14, 133250: 10, 482303: 11, 128791: 7, 349179: 16, 162938: 9, 211589: 11, 101507: 7, 218969: 11, 282937: 16, 352432: 14, 222262: 12, 531231: 8, 15455: 1, 122023: 6, 219754: 11, 283473: 14, 387344: 13, 400527: 10, 304360: 13, 395727: 11, 234390: 13, 292180: 13, 464208: 11, 479693: 11, 300651: 13, 305588: 12, 401047: 10, 553112: 5, 234009: 12, 250952: 13, 370785: 12, 499821: 8, 212222: 10, 480024: 8, 249041: 11, 599307: 2, 333254: 11, 350810: 10, 72270: 3, 381559: 9, 98165: 4, 588456: 2, 89858: 3, 206802: 8, 68212: 2, 423843: 5, 230864: 7, 515494: 5, 189472: 4, 583399: 2, 308182: 5, 582134: 2, 25281: 1, 302425: 5, 131414: 2, 391340: 3, 446614: 2, 538018: 1, 579344: 1, 600767: 1, 206622: 3, 397690: 2, 190705: 2, 485960: 1, 129821: 1, 343032: 1, 138742: 1, 156493: 1, 252070: 1, 258597: 1, 489422: 1, 531777: 1}
{263708: 42, 329159: 46, 111946: 24, 492424: 24, 15682: 4, 49655: 10, 563433: 13, 573443: 10, 221579: 36, 332458: 45, 497714: 23, 573226: 10, 263301: 39, 514629: 21, 293196: 39, 311577: 40, 245732: 37, 254256: 39, 133669: 28, 193874: 37, 16454: 4, 199800: 34, 93404: 16, 451593: 30, 123780: 21, 149503: 28, 261012: 37, 422700: 34, 40612: 7, 374560: 37, 72551: 11, 537282: 15, 181244: 30, 601122: 1, 293454: 34, 569272: 9, 161388: 27, 587046: 5, 304242: 32, 382705: 32, 375687: 32, 484029: 19, 424623: 28, 494897: 18, 320047: 34, 364003: 31, 413122: 28, 427345: 27, 81400: 12, 462679: 22, 290942: 32, 301550: 32, 102355: 15, 310633: 31, 354919: 28, 580836: 8, 111557: 17, 177233: 26, 257676: 32, 435336: 23, 316977: 31, 475002: 20, 156350: 23, 195288: 28, 215701: 28, 516519: 14, 330368: 30, 460846: 19, 27629: 5, 298935: 27, 246356: 28, 564091: 7, 512035: 13, 594651: 3, 107048: 14, 430173: 19, 48173: 6, 266950: 26, 312963: 27, 586473: 4, 304840: 27, 305593: 26, 179649: 22, 534964: 8, 39488: 5, 195691: 23, 174115: 20, 334860: 26, 157104: 18, 258946: 23, 70279: 6, 346962: 23, 58386: 5, 234007: 21, 109916: 10, 238267: 22, 76912: 6, 503237: 11, 298967: 21, 560413: 5, 360936: 18, 445614: 13, 3354: 1, 342198: 22, 136702: 12, 229362: 17, 134175: 11, 440625: 13, 7874: 1, 64686: 3, 215174: 14, 464210: 14, 133250: 10, 482303: 11, 128791: 7, 349179: 17, 162938: 9, 211589: 11, 101507: 7, 218969: 11, 282937: 17, 352432: 15, 222262: 12, 531231: 8, 15455: 1, 122023: 6, 219754: 11, 283473: 15, 387344: 14, 400527: 10, 304360: 14, 395727: 11, 234390: 13, 292180: 14, 464208: 11, 479693: 11, 300651: 14, 305588: 13, 401047: 10, 553112: 5, 234009: 12, 250952: 13, 370785: 13, 499821: 8, 212222: 10, 480024: 8, 249041: 11, 599307: 2, 333254: 12, 350810: 11, 72270: 3, 381559: 10, 98165: 4, 588456: 2, 89858: 3, 206802: 8, 68212: 2, 423843: 5, 230864: 7, 515494: 5, 189472: 4, 583399: 2, 308182: 6, 582134: 2, 25281: 1, 302425: 6, 131414: 2, 391340: 3, 446614: 2, 538018: 1, 579344: 1, 600767: 1, 206622: 3, 397690: 2, 190705: 2, 485960: 1, 129821: 1, 343032: 2, 138742: 1, 156493: 1, 252070: 1, 258597: 1, 489422: 1, 531777: 1, 264163: 1, 389422: 1}
{263708: 43, 329159: 47, 111946: 24, 492424: 24, 15682: 4, 49655: 10, 563433: 13, 573443: 10, 221579: 37, 332458: 46, 497714: 23, 573226: 10, 263301: 40, 514629: 21, 293196: 40, 311577: 41, 245732: 38, 254256: 40, 133669: 28, 193874: 37, 16454: 4, 199800: 34, 93404: 16, 451593: 30, 123780: 21, 149503: 28, 261012: 38, 422700: 34, 40612: 7, 374560: 37, 72551: 11, 537282: 15, 181244: 30, 601122: 1, 293454: 35, 569272: 9, 161388: 27, 587046: 5, 304242: 33, 382705: 32, 375687: 32, 484029: 19, 424623: 28, 494897: 18, 320047: 35, 364003: 31, 413122: 28, 427345: 27, 81400: 12, 462679: 22, 290942: 33, 301550: 33, 102355: 15, 310633: 32, 354919: 29, 580836: 8, 111557: 17, 177233: 26, 257676: 33, 435336: 23, 316977: 32, 475002: 20, 156350: 23, 195288: 28, 215701: 29, 516519: 14, 330368: 31, 460846: 19, 27629: 5, 298935: 28, 246356: 29, 564091: 7, 512035: 13, 594651: 3, 107048: 14, 430173: 19, 48173: 6, 266950: 27, 312963: 28, 586473: 4, 304840: 28, 305593: 27, 179649: 22, 534964: 8, 39488: 5, 195691: 23, 174115: 20, 334860: 27, 157104: 18, 258946: 24, 70279: 6, 346962: 24, 58386: 5, 234007: 22, 109916: 10, 238267: 23, 76912: 6, 503237: 11, 298967: 22, 560413: 5, 360936: 18, 445614: 13, 3354: 1, 342198: 23, 136702: 12, 229362: 18, 134175: 11, 440625: 13, 7874: 1, 64686: 3, 215174: 15, 464210: 14, 133250: 10, 482303: 11, 128791: 7, 349179: 18, 162938: 9, 211589: 11, 101507: 7, 218969: 12, 282937: 18, 352432: 16, 222262: 13, 531231: 8, 15455: 1, 122023: 6, 219754: 12, 283473: 16, 387344: 14, 400527: 10, 304360: 15, 395727: 11, 234390: 14, 292180: 15, 464208: 11, 479693: 11, 300651: 15, 305588: 14, 401047: 10, 553112: 5, 234009: 13, 250952: 14, 370785: 13, 499821: 8, 212222: 10, 480024: 8, 249041: 12, 599307: 2, 333254: 13, 350810: 12, 72270: 3, 381559: 10, 98165: 4, 588456: 2, 89858: 3, 206802: 8, 68212: 2, 423843: 5, 230864: 8, 515494: 5, 189472: 4, 583399: 2, 308182: 7, 582134: 2, 25281: 1, 302425: 7, 131414: 2, 391340: 3, 446614: 2, 538018: 1, 579344: 1, 600767: 1, 206622: 3, 397690: 2, 190705: 2, 485960: 1, 129821: 1, 343032: 3, 138742: 1, 156493: 1, 252070: 2, 258597: 2, 489422: 1, 531777: 1, 264163: 2, 389422: 1, 213917: 1, 358366: 1}
{263708: 43, 329159: 47, 111946: 24, 492424: 24, 15682: 4, 49655: 10, 563433: 13, 573443: 10, 221579: 37, 332458: 46, 497714: 23, 573226: 10, 263301: 40, 514629: 21, 293196: 40, 311577: 41, 245732: 38, 254256: 40, 133669: 28, 193874: 37, 16454: 4, 199800: 34, 93404: 16, 451593: 31, 123780: 21, 149503: 28, 261012: 38, 422700: 35, 40612: 7, 374560: 37, 72551: 11, 537282: 15, 181244: 30, 601122: 1, 293454: 35, 569272: 9, 161388: 27, 587046: 5, 304242: 33, 382705: 32, 375687: 32, 484029: 19, 424623: 29, 494897: 18, 320047: 35, 364003: 31, 413122: 29, 427345: 28, 81400: 12, 462679: 23, 290942: 33, 301550: 33, 102355: 15, 310633: 32, 354919: 29, 580836: 8, 111557: 17, 177233: 26, 257676: 33, 435336: 24, 316977: 32, 475002: 20, 156350: 23, 195288: 28, 215701: 29, 516519: 14, 330368: 31, 460846: 20, 27629: 5, 298935: 28, 246356: 29, 564091: 7, 512035: 13, 594651: 3, 107048: 14, 430173: 20, 48173: 6, 266950: 27, 312963: 28, 586473: 4, 304840: 28, 305593: 27, 179649: 22, 534964: 8, 39488: 5, 195691: 23, 174115: 20, 334860: 27, 157104: 18, 258946: 24, 70279: 6, 346962: 24, 58386: 5, 234007: 22, 109916: 10, 238267: 23, 76912: 6, 503237: 11, 298967: 22, 560413: 5, 360936: 18, 445614: 14, 3354: 1, 342198: 23, 136702: 12, 229362: 18, 134175: 11, 440625: 14, 7874: 1, 64686: 3, 215174: 15, 464210: 15, 133250: 10, 482303: 11, 128791: 7, 349179: 18, 162938: 9, 211589: 11, 101507: 7, 218969: 12, 282937: 18, 352432: 16, 222262: 13, 531231: 8, 15455: 1, 122023: 6, 219754: 12, 283473: 16, 387344: 14, 400527: 11, 304360: 15, 395727: 11, 234390: 14, 292180: 15, 464208: 12, 479693: 11, 300651: 15, 305588: 14, 401047: 11, 553112: 5, 234009: 13, 250952: 14, 370785: 13, 499821: 8, 212222: 10, 480024: 8, 249041: 12, 599307: 2, 333254: 13, 350810: 12, 72270: 3, 381559: 10, 98165: 4, 588456: 2, 89858: 3, 206802: 8, 68212: 2, 423843: 6, 230864: 8, 515494: 5, 189472: 4, 583399: 2, 308182: 7, 582134: 2, 25281: 1, 302425: 7, 131414: 2, 391340: 3, 446614: 3, 538018: 1, 579344: 1, 600767: 1, 206622: 3, 397690: 2, 190705: 2, 485960: 1, 129821: 1, 343032: 3, 138742: 1, 156493: 1, 252070: 2, 258597: 2, 489422: 1, 531777: 1, 264163: 2, 389422: 1, 213917: 1, 358366: 1, 400091: 1, 469694: 1}
{263708: 43, 329159: 48, 111946: 24, 492424: 24, 15682: 4, 49655: 10, 563433: 13, 573443: 10, 221579: 37, 332458: 47, 497714: 23, 573226: 10, 263301: 40, 514629: 21, 293196: 41, 311577: 42, 245732: 38, 254256: 40, 133669: 28, 193874: 37, 16454: 4, 199800: 34, 93404: 16, 451593: 32, 123780: 21, 149503: 28, 261012: 38, 422700: 36, 40612: 7, 374560: 38, 72551: 11, 537282: 15, 181244: 30, 601122: 1, 293454: 36, 569272: 9, 161388: 27, 587046: 5, 304242: 34, 382705: 33, 375687: 33, 484029: 19, 424623: 30, 494897: 18, 320047: 36, 364003: 32, 413122: 30, 427345: 29, 81400: 12, 462679: 24, 290942: 34, 301550: 34, 102355: 15, 310633: 33, 354919: 30, 580836: 8, 111557: 17, 177233: 26, 257676: 33, 435336: 25, 316977: 33, 475002: 21, 156350: 23, 195288: 28, 215701: 29, 516519: 14, 330368: 32, 460846: 21, 27629: 5, 298935: 29, 246356: 29, 564091: 7, 512035: 13, 594651: 3, 107048: 14, 430173: 21, 48173: 6, 266950: 27, 312963: 29, 586473: 4, 304840: 29, 305593: 28, 179649: 22, 534964: 8, 39488: 5, 195691: 23, 174115: 20, 334860: 28, 157104: 18, 258946: 24, 70279: 6, 346962: 25, 58386: 5, 234007: 22, 109916: 10, 238267: 23, 76912: 6, 503237: 11, 298967: 23, 560413: 5, 360936: 19, 445614: 15, 3354: 1, 342198: 24, 136702: 12, 229362: 18, 134175: 11, 440625: 15, 7874: 1, 64686: 3, 215174: 15, 464210: 16, 133250: 10, 482303: 11, 128791: 7, 349179: 19, 162938: 9, 211589: 11, 101507: 7, 218969: 12, 282937: 18, 352432: 17, 222262: 13, 531231: 8, 15455: 1, 122023: 6, 219754: 12, 283473: 17, 387344: 15, 400527: 12, 304360: 16, 395727: 12, 234390: 14, 292180: 16, 464208: 13, 479693: 11, 300651: 16, 305588: 15, 401047: 12, 553112: 5, 234009: 13, 250952: 14, 370785: 14, 499821: 8, 212222: 10, 480024: 8, 249041: 12, 599307: 2, 333254: 14, 350810: 13, 72270: 3, 381559: 11, 98165: 4, 588456: 2, 89858: 3, 206802: 8, 68212: 2, 423843: 7, 230864: 8, 515494: 5, 189472: 4, 583399: 2, 308182: 8, 582134: 2, 25281: 1, 302425: 8, 131414: 2, 391340: 4, 446614: 4, 538018: 1, 579344: 1, 600767: 1, 206622: 3, 397690: 3, 190705: 2, 485960: 1, 129821: 1, 343032: 4, 138742: 1, 156493: 1, 252070: 2, 258597: 2, 489422: 1, 531777: 1, 264163: 2, 389422: 2, 213917: 1, 358366: 2, 400091: 2, 469694: 2, 282970: 1, 475509: 1}
{263708: 44, 329159: 48, 111946: 25, 492424: 24, 15682: 4, 49655: 10, 563433: 13, 573443: 10, 221579: 38, 332458: 47, 497714: 23, 573226: 10, 263301: 41, 514629: 21, 293196: 42, 311577: 43, 245732: 39, 254256: 41, 133669: 29, 193874: 38, 16454: 4, 199800: 35, 93404: 16, 451593: 32, 123780: 22, 149503: 29, 261012: 39, 422700: 36, 40612: 7, 374560: 38, 72551: 11, 537282: 15, 181244: 31, 601122: 1, 293454: 37, 569272: 9, 161388: 28, 587046: 5, 304242: 35, 382705: 33, 375687: 33, 484029: 19, 424623: 30, 494897: 18, 320047: 37, 364003: 32, 413122: 30, 427345: 29, 81400: 12, 462679: 24, 290942: 35, 301550: 35, 102355: 15, 310633: 34, 354919: 30, 580836: 8, 111557: 18, 177233: 27, 257676: 34, 435336: 25, 316977: 34, 475002: 21, 156350: 24, 195288: 29, 215701: 30, 516519: 14, 330368: 32, 460846: 21, 27629: 5, 298935: 30, 246356: 30, 564091: 7, 512035: 13, 594651: 3, 107048: 15, 430173: 21, 48173: 6, 266950: 28, 312963: 30, 586473: 4, 304840: 30, 305593: 29, 179649: 23, 534964: 8, 39488: 5, 195691: 24, 174115: 21, 334860: 28, 157104: 19, 258946: 25, 70279: 6, 346962: 25, 58386: 5, 234007: 23, 109916: 11, 238267: 24, 76912: 6, 503237: 11, 298967: 24, 560413: 5, 360936: 19, 445614: 15, 3354: 1, 342198: 24, 136702: 13, 229362: 19, 134175: 12, 440625: 15, 7874: 1, 64686: 3, 215174: 16, 464210: 16, 133250: 11, 482303: 11, 128791: 8, 349179: 19, 162938: 10, 211589: 12, 101507: 7, 218969: 13, 282937: 19, 352432: 17, 222262: 14, 531231: 8, 15455: 1, 122023: 7, 219754: 13, 283473: 18, 387344: 15, 400527: 12, 304360: 17, 395727: 12, 234390: 15, 292180: 17, 464208: 13, 479693: 11, 300651: 17, 305588: 16, 401047: 12, 553112: 5, 234009: 14, 250952: 15, 370785: 14, 499821: 8, 212222: 11, 480024: 8, 249041: 13, 599307: 2, 333254: 14, 350810: 13, 72270: 3, 381559: 11, 98165: 4, 588456: 2, 89858: 3, 206802: 9, 68212: 2, 423843: 7, 230864: 9, 515494: 5, 189472: 5, 583399: 2, 308182: 9, 582134: 2, 25281: 1, 302425: 9, 131414: 3, 391340: 4, 446614: 4, 538018: 1, 579344: 1, 600767: 1, 206622: 4, 397690: 3, 190705: 3, 485960: 1, 129821: 2, 343032: 4, 138742: 2, 156493: 2, 252070: 3, 258597: 3, 489422: 1, 531777: 1, 264163: 3, 389422: 2, 213917: 2, 358366: 2, 400091: 2, 469694: 2, 282970: 2, 475509: 1, 103112: 1, 323955: 1}
{263708: 45, 329159: 48, 111946: 25, 492424: 24, 15682: 4, 49655: 10, 563433: 13, 573443: 10, 221579: 39, 332458: 47, 497714: 23, 573226: 10, 263301: 42, 514629: 21, 293196: 43, 311577: 44, 245732: 40, 254256: 42, 133669: 29, 193874: 39, 16454: 4, 199800: 36, 93404: 16, 451593: 32, 123780: 22, 149503: 29, 261012: 40, 422700: 36, 40612: 7, 374560: 38, 72551: 11, 537282: 15, 181244: 32, 601122: 1, 293454: 38, 569272: 9, 161388: 28, 587046: 5, 304242: 36, 382705: 33, 375687: 33, 484029: 19, 424623: 30, 494897: 18, 320047: 38, 364003: 32, 413122: 30, 427345: 29, 81400: 12, 462679: 24, 290942: 36, 301550: 36, 102355: 15, 310633: 35, 354919: 30, 580836: 8, 111557: 18, 177233: 28, 257676: 35, 435336: 25, 316977: 35, 475002: 21, 156350: 24, 195288: 30, 215701: 31, 516519: 14, 330368: 32, 460846: 21, 27629: 5, 298935: 31, 246356: 31, 564091: 7, 512035: 13, 594651: 3, 107048: 15, 430173: 21, 48173: 6, 266950: 29, 312963: 31, 586473: 4, 304840: 31, 305593: 30, 179649: 24, 534964: 8, 39488: 5, 195691: 25, 174115: 22, 334860: 28, 157104: 19, 258946: 26, 70279: 6, 346962: 25, 58386: 5, 234007: 24, 109916: 11, 238267: 25, 76912: 6, 503237: 11, 298967: 25, 560413: 5, 360936: 19, 445614: 15, 3354: 1, 342198: 24, 136702: 13, 229362: 20, 134175: 12, 440625: 15, 7874: 1, 64686: 3, 215174: 17, 464210: 16, 133250: 11, 482303: 11, 128791: 8, 349179: 19, 162938: 10, 211589: 13, 101507: 7, 218969: 14, 282937: 20, 352432: 17, 222262: 15, 531231: 8, 15455: 1, 122023: 7, 219754: 14, 283473: 19, 387344: 15, 400527: 12, 304360: 18, 395727: 12, 234390: 16, 292180: 18, 464208: 13, 479693: 11, 300651: 18, 305588: 17, 401047: 12, 553112: 5, 234009: 15, 250952: 16, 370785: 14, 499821: 8, 212222: 12, 480024: 8, 249041: 14, 599307: 2, 333254: 14, 350810: 13, 72270: 3, 381559: 11, 98165: 4, 588456: 2, 89858: 3, 206802: 10, 68212: 2, 423843: 7, 230864: 10, 515494: 5, 189472: 6, 583399: 2, 308182: 10, 582134: 2, 25281: 1, 302425: 10, 131414: 3, 391340: 4, 446614: 4, 538018: 1, 579344: 1, 600767: 1, 206622: 5, 397690: 3, 190705: 4, 485960: 1, 129821: 2, 343032: 4, 138742: 2, 156493: 2, 252070: 4, 258597: 4, 489422: 1, 531777: 1, 264163: 4, 389422: 2, 213917: 3, 358366: 2, 400091: 2, 469694: 2, 282970: 3, 475509: 1, 103112: 1, 323955: 1, 165831: 1, 321863: 1}
{263708: 45, 329159: 48, 111946: 25, 492424: 24, 15682: 4, 49655: 10, 563433: 14, 573443: 11, 221579: 39, 332458: 47, 497714: 23, 573226: 11, 263301: 42, 514629: 21, 293196: 43, 311577: 44, 245732: 40, 254256: 42, 133669: 29, 193874: 39, 16454: 4, 199800: 36, 93404: 16, 451593: 32, 123780: 22, 149503: 29, 261012: 40, 422700: 36, 40612: 7, 374560: 38, 72551: 11, 537282: 16, 181244: 32, 601122: 1, 293454: 38, 569272: 10, 161388: 28, 587046: 5, 304242: 36, 382705: 33, 375687: 33, 484029: 19, 424623: 30, 494897: 18, 320047: 38, 364003: 32, 413122: 30, 427345: 29, 81400: 12, 462679: 24, 290942: 36, 301550: 36, 102355: 15, 310633: 35, 354919: 30, 580836: 8, 111557: 18, 177233: 28, 257676: 35, 435336: 25, 316977: 35, 475002: 21, 156350: 24, 195288: 30, 215701: 31, 516519: 14, 330368: 32, 460846: 21, 27629: 5, 298935: 31, 246356: 31, 564091: 8, 512035: 13, 594651: 3, 107048: 15, 430173: 21, 48173: 6, 266950: 29, 312963: 31, 586473: 4, 304840: 31, 305593: 30, 179649: 24, 534964: 9, 39488: 5, 195691: 25, 174115: 22, 334860: 28, 157104: 19, 258946: 26, 70279: 6, 346962: 25, 58386: 5, 234007: 24, 109916: 11, 238267: 25, 76912: 6, 503237: 11, 298967: 25, 560413: 6, 360936: 19, 445614: 15, 3354: 1, 342198: 24, 136702: 13, 229362: 20, 134175: 12, 440625: 15, 7874: 1, 64686: 3, 215174: 17, 464210: 16, 133250: 11, 482303: 11, 128791: 8, 349179: 19, 162938: 10, 211589: 13, 101507: 7, 218969: 14, 282937: 20, 352432: 17, 222262: 15, 531231: 8, 15455: 1, 122023: 7, 219754: 14, 283473: 19, 387344: 15, 400527: 12, 304360: 18, 395727: 12, 234390: 16, 292180: 18, 464208: 13, 479693: 11, 300651: 18, 305588: 17, 401047: 12, 553112: 6, 234009: 15, 250952: 16, 370785: 14, 499821: 8, 212222: 12, 480024: 8, 249041: 14, 599307: 2, 333254: 14, 350810: 13, 72270: 3, 381559: 11, 98165: 4, 588456: 2, 89858: 3, 206802: 10, 68212: 2, 423843: 7, 230864: 10, 515494: 5, 189472: 6, 583399: 2, 308182: 10, 582134: 2, 25281: 1, 302425: 10, 131414: 3, 391340: 4, 446614: 4, 538018: 2, 579344: 1, 600767: 1, 206622: 5, 397690: 3, 190705: 4, 485960: 1, 129821: 2, 343032: 4, 138742: 2, 156493: 2, 252070: 4, 258597: 4, 489422: 1, 531777: 1, 264163: 4, 389422: 2, 213917: 3, 358366: 2, 400091: 2, 469694: 2, 282970: 3, 475509: 1, 103112: 1, 323955: 1, 165831: 1, 321863: 1, 533259: 1, 576862: 1}
{263708: 45, 329159: 48, 111946: 25, 492424: 25, 15682: 4, 49655: 10, 563433: 15, 573443: 12, 221579: 39, 332458: 47, 497714: 24, 573226: 12, 263301: 42, 514629: 22, 293196: 43, 311577: 44, 245732: 40, 254256: 42, 133669: 29, 193874: 39, 16454: 4, 199800: 36, 93404: 16, 451593: 32, 123780: 22, 149503: 29, 261012: 40, 422700: 36, 40612: 7, 374560: 38, 72551: 11, 537282: 17, 181244: 32, 601122: 1, 293454: 38, 569272: 11, 161388: 28, 587046: 5, 304242: 36, 382705: 33, 375687: 33, 484029: 20, 424623: 30, 494897: 19, 320047: 38, 364003: 32, 413122: 30, 427345: 29, 81400: 12, 462679: 24, 290942: 36, 301550: 36, 102355: 15, 310633: 35, 354919: 30, 580836: 9, 111557: 18, 177233: 28, 257676: 35, 435336: 25, 316977: 35, 475002: 21, 156350: 24, 195288: 30, 215701: 31, 516519: 15, 330368: 32, 460846: 21, 27629: 5, 298935: 31, 246356: 31, 564091: 9, 512035: 14, 594651: 3, 107048: 15, 430173: 21, 48173: 6, 266950: 29, 312963: 31, 586473: 4, 304840: 31, 305593: 30, 179649: 24, 534964: 10, 39488: 5, 195691: 25, 174115: 22, 334860: 28, 157104: 19, 258946: 26, 70279: 6, 346962: 25, 58386: 5, 234007: 24, 109916: 11, 238267: 25, 76912: 6, 503237: 12, 298967: 25, 560413: 7, 360936: 19, 445614: 15, 3354: 1, 342198: 24, 136702: 13, 229362: 20, 134175: 12, 440625: 15, 7874: 1, 64686: 3, 215174: 17, 464210: 16, 133250: 11, 482303: 11, 128791: 8, 349179: 19, 162938: 10, 211589: 13, 101507: 7, 218969: 14, 282937: 20, 352432: 17, 222262: 15, 531231: 9, 15455: 1, 122023: 7, 219754: 14, 283473: 19, 387344: 15, 400527: 12, 304360: 18, 395727: 12, 234390: 16, 292180: 18, 464208: 13, 479693: 11, 300651: 18, 305588: 17, 401047: 12, 553112: 7, 234009: 15, 250952: 16, 370785: 14, 499821: 9, 212222: 12, 480024: 8, 249041: 14, 599307: 2, 333254: 14, 350810: 13, 72270: 3, 381559: 11, 98165: 4, 588456: 2, 89858: 3, 206802: 10, 68212: 2, 423843: 7, 230864: 10, 515494: 6, 189472: 6, 583399: 3, 308182: 10, 582134: 3, 25281: 1, 302425: 10, 131414: 3, 391340: 4, 446614: 4, 538018: 3, 579344: 2, 600767: 1, 206622: 5, 397690: 3, 190705: 4, 485960: 2, 129821: 2, 343032: 4, 138742: 2, 156493: 2, 252070: 4, 258597: 4, 489422: 2, 531777: 2, 264163: 4, 389422: 2, 213917: 3, 358366: 2, 400091: 2, 469694: 2, 282970: 3, 475509: 1, 103112: 1, 323955: 1, 165831: 1, 321863: 1, 533259: 2, 576862: 2, 482784: 1, 585661: 1}
48