0
{331945: 1, 344878: 1}
{331945: 2, 344878: 2, 23242: 1, 358577: 1}
{331945: 3, 344878: 3, 23242: 1, 358577: 2, 265284: 1, 432575: 1}
{331945: 3, 344878: 3, 23242: 1, 358577: 2, 265284: 1, 432575: 2, 383635: 1, 510646: 1}
{331945: 3, 344878: 3, 23242: 1, 358577: 2, 265284: 1, 432575: 3, 383635: 2, 510646: 2, 364576: 1, 597808: 1}
{331945: 3, 344878: 3, 23242: 1, 358577: 2, 265284: 1, 432575: 3, 383635: 2, 510646: 2, 364576: 1, 597808: 1, 518920: 1, 580011: 1}
{331945: 3, 344878: 3, 23242: 1, 358577: 2, 265284: 2, 432575: 3, 383635: 2, 510646: 2, 364576: 1, 597808: 1, 518920: 1, 580011: 1, 61721: 1, 329568: 1}
{331945: 3, 344878: 3, 23242: 1, 358577: 2, 265284: 2, 432575: 4, 383635: 2, 510646: 3, 364576: 1, 597808: 1, 518920: 1, 580011: 1, 61721: 1, 329568: 1, 394834: 1, 512452: 1}
{331945: 3, 344878: 3, 23242: 1, 358577: 2, 265284: 2, 432575: 4, 383635: 2, 510646: 3, 364576: 1, 597808: 1, 518920: 1, 580011: 1, 61721: 1, 329568: 1, 394834: 1, 512452: 1, 126337: 1, 256244: 1}
{331945: 3, 344878: 3, 23242: 1, 358577: 2, 265284: 2, 432575: 4, 383635: 3, 510646: 3, 364576: 1, 597808: 1, 518920: 1, 580011: 1, 61721: 1, 329568: 1, 394834: 1, 512452: 1, 126337: 1, 256244: 1, 377157: 1, 384109: 1}
{331945: 4, 344878: 4, 23242: 1, 358577: 3, 265284: 3, 432575: 4, 383635: 4, 510646: 3, 364576: 2, 597808: 1, 518920: 1, 580011: 1, 61721: 1, 329568: 2, 394834: 1, 512452: 1, 126337: 2, 256244: 2, 377157: 2, 384109: 2, 97567: 1, 390663: 1}
{331945: 5, 344878: 5, 23242: 1, 358577: 4, 265284: 4, 432575: 5, 383635: 5, 510646: 4, 364576: 3, 597808: 2, 518920: 2, 580011: 2, 61721: 1, 329568: 3, 394834: 2, 512452: 2, 126337: 2, 256244: 3, 377157: 3, 384109: 3, 97567: 1, 390663: 2, 232490: 1, 601997: 1}
{331945: 6, 344878: 6, 23242: 1, 358577: 5, 265284: 5, 432575: 5, 383635: 6, 510646: 4, 364576: 4, 597808: 2, 518920: 2, 580011: 2, 61721: 1, 329568: 4, 394834: 3, 512452: 2, 126337: 2, 256244: 3, 377157: 4, 384109: 4, 97567: 1, 390663: 3, 232490: 1, 601997: 1, 264671: 1, 395026: 1}
{331945: 7, 344878: 7, 23242: 1, 358577: 5, 265284: 6, 432575: 5, 383635: 6, 510646: 4, 364576: 4, 597808: 2, 518920: 2, 580011: 2, 61721: 1, 329568: 5, 394834: 3, 512452: 2, 126337: 2, 256244: 4, 377157: 4, 384109: 4, 97567: 1, 390663: 3, 232490: 2, 601997: 1, 264671: 2, 395026: 1, 179961: 1, 351927: 1}
{331945: 8, 344878: 8, 23242: 1, 358577: 6, 265284: 7, 432575: 6, 383635: 7, 510646: 5, 364576: 5, 597808: 2, 518920: 3, 580011: 2, 61721: 1, 329568: 6, 394834: 4, 512452: 3, 126337: 2, 256244: 5, 377157: 5, 384109: 5, 97567: 1, 390663: 4, 232490: 3, 601997: 1, 264671: 3, 395026: 2, 179961: 2, 351927: 2, 153201: 1, 539380: 1}
{331945: 8, 344878: 8, 23242: 1, 358577: 6, 265284: 7, 432575: 6, 383635: 7, 510646: 5, 364576: 5, 597808: 2, 518920: 3, 580011: 2, 61721: 2, 329568: 6, 394834: 4, 512452: 3, 126337: 3, 256244: 5, 377157: 5, 384109: 5, 97567: 2, 390663: 4, 232490: 4, 601997: 1, 264671: 3, 395026: 2, 179961: 3, 351927: 2, 153201: 2, 539380: 1, 34303: 1, 250627: 1}
{331945: 9, 344878: 9, 23242: 1, 358577: 7, 265284: 7, 432575: 7, 383635: 8, 510646: 6, 364576: 6, 597808: 2, 518920: 4, 580011: 3, 61721: 2, 329568: 7, 394834: 5, 512452: 4, 126337: 3, 256244: 5, 377157: 6, 384109: 6, 97567: 2, 390663: 5, 232490: 4, 601997: 1, 264671: 3, 395026: 3, 179961: 3, 351927: 3, 153201: 2, 539380: 2, 34303: 1, 250627: 1, 282044: 1, 582862: 1}
{331945: 9, 344878: 9, 23242: 1, 358577: 7, 265284: 8, 432575: 7, 383635: 8, 510646: 6, 364576: 6, 597808: 2, 518920: 4, 580011: 3, 61721: 2, 329568: 7, 394834: 5, 512452: 4, 126337: 3, 256244: 6, 377157: 6, 384109: 6, 97567: 2, 390663: 5, 232490: 5, 601997: 1, 264671: 4, 395026: 3, 179961: 4, 351927: 3, 153201: 2, 539380: 2, 34303: 1, 250627: 2, 282044: 2, 582862: 1, 164914: 1, 287116: 1}
{331945: 9, 344878: 9, 23242: 1, 358577: 7, 265284: 8, 432575: 7, 383635: 8, 510646: 6, 364576: 6, 597808: 2, 518920: 4, 580011: 3, 61721: 2, 329568: 7, 394834: 5, 512452: 4, 126337: 3, 256244: 6, 377157: 6, 384109: 6, 97567: 2, 390663: 5, 232490: 5, 601997: 1, 264671: 4, 395026: 3, 179961: 5, 351927: 3, 153201: 3, 539380: 2, 34303: 1, 250627: 2, 282044: 2, 582862: 1, 164914: 2, 287116: 1, 147839: 1, 231921: 1}
{331945: 10, 344878: 10, 23242: 1, 358577: 8, 265284: 8, 432575: 7, 383635: 8, 510646: 6, 364576: 7, 597808: 2, 518920: 4, 580011: 3, 61721: 2, 329568: 8, 394834: 5, 512452: 4, 126337: 3, 256244: 6, 377157: 6, 384109: 6, 97567: 2, 390663: 5, 232490: 5, 601997: 1, 264671: 4, 395026: 3, 179961: 5, 351927: 4, 153201: 3, 539380: 2, 34303: 1, 250627: 2, 282044: 2, 582862: 1, 164914: 2, 287116: 1, 147839: 1, 231921: 1, 288911: 1, 377124: 1}
{331945: 11, 344878: 11, 23242: 1, 358577: 9, 265284: 9, 432575: 8, 383635: 9, 510646: 6, 364576: 8, 597808: 2, 518920: 4, 580011: 3, 61721: 2, 329568: 9, 394834: 6, 512452: 4, 126337: 4, 256244: 7, 377157: 7, 384109: 7, 97567: 3, 390663: 6, 232490: 6, 601997: 1, 264671: 5, 395026: 4, 179961: 6, 351927: 5, 153201: 4, 539380: 2, 34303: 1, 250627: 3, 282044: 3, 582862: 1, 164914: 3, 287116: 2, 147839: 2, 231921: 2, 288911: 2, 377124: 2, 96152: 1, 478867: 1}
{331945: 12, 344878: 12, 23242: 1, 358577: 10, 265284: 10, 432575: 9, 383635: 10, 510646: 6, 364576: 9, 597808: 2, 518920: 4, 580011: 3, 61721: 2, 329568: 10, 394834: 7, 512452: 4, 126337: 4, 256244: 8, 377157: 8, 384109: 8, 97567: 3, 390663: 7, 232490: 7, 601997: 1, 264671: 6, 395026: 5, 179961: 6, 351927: 6, 153201: 4, 539380: 2, 34303: 1, 250627: 4, 282044: 4, 582862: 1, 164914: 3, 287116: 3, 147839: 2, 231921: 3, 288911: 3, 377124: 3, 96152: 1, 478867: 2, 204441: 1, 491232: 1}
{331945: 12, 344878: 12, 23242: 1, 358577: 10, 265284: 11, 432575: 9, 383635: 10, 510646: 6, 364576: 9, 597808: 2, 518920: 4, 580011: 3, 61721: 2, 329568: 10, 394834: 7, 512452: 4, 126337: 5, 256244: 9, 377157: 8, 384109: 8, 97567: 4, 390663: 7, 232490: 8, 601997: 1, 264671: 7, 395026: 5, 179961: 7, 351927: 6, 153201: 5, 539380: 2, 34303: 1, 250627: 5, 282044: 5, 582862: 1, 164914: 4, 287116: 4, 147839: 3, 231921: 4, 288911: 4, 377124: 3, 96152: 2, 478867: 2, 204441: 2, 491232: 1, 66760: 1, 319897: 1}
{331945: 13, 344878: 13, 23242: 1, 358577: 11, 265284: 11, 432575: 9, 383635: 11, 510646: 6, 364576: 10, 597808: 2, 518920: 4, 580011: 3, 61721: 2, 329568: 11, 394834: 8, 512452: 4, 126337: 5, 256244: 9, 377157: 9, 384109: 9, 97567: 4, 390663: 8, 232490: 8, 601997: 1, 264671: 7, 395026: 6, 179961: 7, 351927: 7, 153201: 5, 539380: 2, 34303: 1, 250627: 5, 282044: 5, 582862: 1, 164914: 4, 287116: 4, 147839: 3, 231921: 4, 288911: 4, 377124: 4, 96152: 2, 478867: 2, 204441: 2, 491232: 1, 66760: 1, 319897: 2, 290310: 1, 408118: 1}
{331945: 13, 344878: 14, 23242: 1, 358577: 12, 265284: 11, 432575: 9, 383635: 12, 510646: 6, 364576: 11, 597808: 2, 518920: 4, 580011: 3, 61721: 2, 329568: 11, 394834: 9, 512452: 4, 126337: 5, 256244: 9, 377157: 10, 384109: 10, 97567: 4, 390663: 9, 232490: 8, 601997: 1, 264671: 7, 395026: 7, 179961: 7, 351927: 8, 153201: 5, 539380: 2, 34303: 1, 250627: 5, 282044: 5, 582862: 1, 164914: 4, 287116: 4, 147839: 3, 231921: 4, 288911: 4, 377124: 5, 96152: 2, 478867: 2, 204441: 2, 491232: 1, 66760: 1, 319897: 2, 290310: 1, 408118: 1, 343576: 1, 396975: 1}
{331945: 13, 344878: 14, 23242: 1, 358577: 12, 265284: 11, 432575: 9, 383635: 12, 510646: 6, 364576: 11, 597808: 2, 518920: 4, 580011: 3, 61721: 2, 329568: 11, 394834: 9, 512452: 4, 126337: 5, 256244: 9, 377157: 10, 384109: 10, 97567: 4, 390663: 9, 232490: 9, 601997: 1, 264671: 7, 395026: 7, 179961: 7, 351927: 8, 153201: 5, 539380: 2, 34303: 1, 250627: 5, 282044: 5, 582862: 1, 164914: 4, 287116: 4, 147839: 3, 231921: 5, 288911: 4, 377124: 5, 96152: 2, 478867: 2, 204441: 3, 491232: 1, 66760: 1, 319897: 2, 290310: 1, 408118: 1, 343576: 1, 396975: 1, 191857: 1, 237572: 1}
{331945: 14, 344878: 15, 23242: 1, 358577: 13, 265284: 12, 432575: 10, 383635: 13, 510646: 7, 364576: 12, 597808: 2, 518920: 5, 580011: 3, 61721: 2, 329568: 12, 394834: 10, 512452: 5, 126337: 6, 256244: 10, 377157: 11, 384109: 11, 97567: 5, 390663: 10, 232490: 10, 601997: 1, 264671: 8, 395026: 8, 179961: 8, 351927: 9, 153201: 6, 539380: 3, 34303: 1, 250627: 6, 282044: 6, 582862: 1, 164914: 5, 287116: 5, 147839: 4, 231921: 6, 288911: 5, 377124: 6, 96152: 3, 478867: 3, 204441: 4, 491232: 2, 66760: 1, 319897: 3, 290310: 2, 408118: 2, 343576: 2, 396975: 2, 191857: 2, 237572: 2, 83579: 1, 559838: 1}
{331945: 14, 344878: 15, 23242: 1, 358577: 13, 265284: 12, 432575: 10, 383635: 13, 510646: 7, 364576: 12, 597808: 2, 518920: 5, 580011: 3, 61721: 2, 329568: 12, 394834: 10, 512452: 5, 126337: 6, 256244: 10, 377157: 11, 384109: 11, 97567: 5, 390663: 10, 232490: 10, 601997: 1, 264671: 8, 395026: 8, 179961: 8, 351927: 9, 153201: 6, 539380: 3, 34303: 1, 250627: 6, 282044: 6, 582862: 1, 164914: 5, 287116: 5, 147839: 4, 231921: 6, 288911: 5, 377124: 6, 96152: 3, 478867: 4, 204441: 4, 491232: 3, 66760: 1, 319897: 3, 290310: 2, 408118: 2, 343576: 2, 396975: 2, 191857: 2, 237572: 2, 83579: 1, 559838: 1, 470775: 1, 505694: 1}
{331945: 14, 344878: 15, 23242: 1, 358577: 13, 265284: 12, 432575: 10, 383635: 13, 510646: 7, 364576: 12, 597808: 2, 518920: 5, 580011: 3, 61721: 3, 329568: 12, 394834: 10, 512452: 5, 126337: 6, 256244: 10, 377157: 11, 384109: 11, 97567: 6, 390663: 10, 232490: 10, 601997: 1, 264671: 8, 395026: 8, 179961: 8, 351927: 9, 153201: 6, 539380: 3, 34303: 1, 250627: 6, 282044: 6, 582862: 1, 164914: 5, 287116: 5, 147839: 4, 231921: 6, 288911: 5, 377124: 6, 96152: 4, 478867: 4, 204441: 4, 491232: 3, 66760: 2, 319897: 3, 290310: 2, 408118: 2, 343576: 2, 396975: 2, 191857: 2, 237572: 2, 83579: 2, 559838: 1, 470775: 1, 505694: 1, 42966: 1, 118901: 1}
{331945: 15, 344878: 16, 23242: 1, 358577: 14, 265284: 13, 432575: 11, 383635: 14, 510646: 8, 364576: 13, 597808: 2, 518920: 6, 580011: 3, 61721: 3, 329568: 13, 394834: 11, 512452: 6, 126337: 6, 256244: 11, 377157: 12, 384109: 12, 97567: 6, 390663: 11, 232490: 11, 601997: 1, 264671: 9, 395026: 9, 179961: 8, 351927: 10, 153201: 6, 539380: 4, 34303: 1, 250627: 7, 282044: 7, 582862: 1, 164914: 5, 287116: 6, 147839: 4, 231921: 7, 288911: 6, 377124: 7, 96152: 4, 478867: 5, 204441: 5, 491232: 4, 66760: 2, 319897: 4, 290310: 3, 408118: 3, 343576: 3, 396975: 3, 191857: 2, 237572: 3, 83579: 2, 559838: 2, 470775: 2, 505694: 2, 42966: 1, 118901: 1, 204071: 1, 574339: 1}
{331945: 15, 344878: 16, 23242: 1, 358577: 14, 265284: 13, 432575: 11, 383635: 14, 510646: 8, 364576: 13, 597808: 2, 518920: 6, 580011: 3, 61721: 4, 329568: 13, 394834: 11, 512452: 6, 126337: 7, 256244: 11, 377157: 12, 384109: 12, 97567: 7, 390663: 11, 232490: 11, 601997: 1, 264671: 9, 395026: 9, 179961: 9, 351927: 10, 153201: 7, 539380: 4, 34303: 1, 250627: 7, 282044: 7, 582862: 1, 164914: 6, 287116: 6, 147839: 5, 231921: 7, 288911: 6, 377124: 7, 96152: 5, 478867: 5, 204441: 6, 491232: 4, 66760: 3, 319897: 4, 290310: 3, 408118: 3, 343576: 3, 396975: 3, 191857: 3, 237572: 3, 83579: 3, 559838: 2, 470775: 2, 505694: 2, 42966: 1, 118901: 2, 204071: 2, 574339: 1, 52700: 1, 223020: 1}
{331945: 15, 344878: 16, 23242: 1, 358577: 14, 265284: 13, 432575: 11, 383635: 14, 510646: 8, 364576: 13, 597808: 2, 518920: 6, 580011: 3, 61721: 4, 329568: 13, 394834: 12, 512452: 6, 126337: 7, 256244: 11, 377157: 12, 384109: 12, 97567: 7, 390663: 11, 232490: 11, 601997: 1, 264671: 9, 395026: 10, 179961: 9, 351927: 10, 153201: 7, 539380: 4, 34303: 1, 250627: 7, 282044: 7, 582862: 1, 164914: 6, 287116: 6, 147839: 5, 231921: 7, 288911: 6, 377124: 7, 96152: 5, 478867: 5, 204441: 6, 491232: 4, 66760: 3, 319897: 4, 290310: 3, 408118: 3, 343576: 3, 396975: 4, 191857: 3, 237572: 3, 83579: 3, 559838: 2, 470775: 2, 505694: 2, 42966: 1, 118901: 2, 204071: 2, 574339: 1, 52700: 1, 223020: 1, 392041: 1, 400723: 1}
{331945: 16, 344878: 17, 23242: 2, 358577: 15, 265284: 14, 432575: 12, 383635: 15, 510646: 8, 364576: 14, 597808: 2, 518920: 6, 580011: 3, 61721: 5, 329568: 14, 394834: 13, 512452: 6, 126337: 8, 256244: 12, 377157: 13, 384109: 13, 97567: 8, 390663: 12, 232490: 12, 601997: 1, 264671: 10, 395026: 11, 179961: 10, 351927: 11, 153201: 8, 539380: 4, 34303: 2, 250627: 8, 282044: 8, 582862: 1, 164914: 7, 287116: 7, 147839: 6, 231921: 8, 288911: 7, 377124: 8, 96152: 6, 478867: 6, 204441: 7, 491232: 5, 66760: 4, 319897: 5, 290310: 4, 408118: 4, 343576: 4, 396975: 5, 191857: 4, 237572: 4, 83579: 4, 559838: 2, 470775: 3, 505694: 2, 42966: 2, 118901: 3, 204071: 3, 574339: 1, 52700: 2, 223020: 2, 392041: 2, 400723: 2, 12229: 1, 496570: 1}
{331945: 16, 344878: 17, 23242: 3, 358577: 15, 265284: 14, 432575: 12, 383635: 15, 510646: 8, 364576: 14, 597808: 2, 518920: 6, 580011: 3, 61721: 6, 329568: 14, 394834: 13, 512452: 6, 126337: 9, 256244: 12, 377157: 13, 384109: 13, 97567: 9, 390663: 12, 232490: 12, 601997: 1, 264671: 10, 395026: 11, 179961: 11, 351927: 11, 153201: 9, 539380: 4, 34303: 3, 250627: 8, 282044: 8, 582862: 1, 164914: 8, 287116: 7, 147839: 7, 231921: 8, 288911: 7, 377124: 8, 96152: 7, 478867: 6, 204441: 8, 491232: 5, 66760: 5, 319897: 5, 290310: 4, 408118: 4, 343576: 4, 396975: 5, 191857: 5, 237572: 4, 83579: 5, 559838: 2, 470775: 3, 505694: 2, 42966: 3, 118901: 4, 204071: 4, 574339: 1, 52700: 3, 223020: 2, 392041: 2, 400723: 2, 12229: 2, 496570: 1, 8209: 1, 222728: 1}
{331945: 17, 344878: 18, 23242: 3, 358577: 16, 265284: 15, 432575: 13, 383635: 16, 510646: 8, 364576: 15, 597808: 2, 518920: 6, 580011: 3, 61721: 7, 329568: 15, 394834: 14, 512452: 6, 126337: 10, 256244: 13, 377157: 14, 384109: 14, 97567: 10, 390663: 13, 232490: 13, 601997: 1, 264671: 11, 395026: 12, 179961: 12, 351927: 12, 153201: 10, 539380: 4, 34303: 3, 250627: 9, 282044: 9, 582862: 1, 164914: 9, 287116: 8, 147839: 8, 231921: 9, 288911: 8, 377124: 9, 96152: 8, 478867: 7, 204441: 9, 491232: 6, 66760: 6, 319897: 6, 290310: 5, 408118: 5, 343576: 5, 396975: 6, 191857: 6, 237572: 5, 83579: 6, 559838: 2, 470775: 4, 505694: 2, 42966: 3, 118901: 5, 204071: 5, 574339: 1, 52700: 3, 223020: 3, 392041: 3, 400723: 3, 12229: 2, 496570: 2, 8209: 1, 222728: 2, 58731: 1, 503602: 1}
{331945: 17, 344878: 18, 23242: 3, 358577: 16, 265284: 15, 432575: 14, 383635: 17, 510646: 9, 364576: 15, 597808: 2, 518920: 7, 580011: 3, 61721: 7, 329568: 15, 394834: 15, 512452: 7, 126337: 10, 256244: 13, 377157: 15, 384109: 15, 97567: 10, 390663: 14, 232490: 13, 601997: 1, 264671: 11, 395026: 13, 179961: 12, 351927: 12, 153201: 10, 539380: 5, 34303: 3, 250627: 9, 282044: 9, 582862: 1, 164914: 9, 287116: 8, 147839: 8, 231921: 9, 288911: 8, 377124: 10, 96152: 8, 478867: 8, 204441: 9, 491232: 7, 66760: 6, 319897: 6, 290310: 5, 408118: 6, 343576: 5, 396975: 7, 191857: 6, 237572: 5, 83579: 6, 559838: 3, 470775: 5, 505694: 3, 42966: 3, 118901: 5, 204071: 5, 574339: 2, 52700: 3, 223020: 3, 392041: 4, 400723: 4, 12229: 2, 496570: 3, 8209: 1, 222728: 2, 58731: 1, 503602: 2, 376723: 1, 578926: 1}
{331945: 17, 344878: 18, 23242: 3, 358577: 16, 265284: 15, 432575: 14, 383635: 17, 510646: 9, 364576: 15, 597808: 2, 518920: 7, 580011: 3, 61721: 7, 329568: 15, 394834: 15, 512452: 7, 126337: 10, 256244: 13, 377157: 15, 384109: 15, 97567: 10, 390663: 14, 232490: 13, 601997: 1, 264671: 11, 395026: 13, 179961: 12, 351927: 12, 153201: 10, 539380: 5, 34303: 3, 250627: 9, 282044: 9, 582862: 1, 164914: 9, 287116: 8, 147839: 8, 231921: 9, 288911: 8, 377124: 10, 96152: 8, 478867: 9, 204441: 9, 491232: 8, 66760: 6, 319897: 6, 290310: 5, 408118: 6, 343576: 5, 396975: 7, 191857: 6, 237572: 5, 83579: 6, 559838: 3, 470775: 6, 505694: 4, 42966: 3, 118901: 5, 204071: 5, 574339: 2, 52700: 3, 223020: 3, 392041: 4, 400723: 4, 12229: 2, 496570: 4, 8209: 1, 222728: 2, 58731: 1, 503602: 3, 376723: 1, 578926: 1, 470661: 1, 506823: 1}
{331945: 18, 344878: 19, 23242: 3, 358577: 17, 265284: 16, 432575: 14, 383635: 18, 510646: 9, 364576: 16, 597808: 2, 518920: 7, 580011: 3, 61721: 7, 329568: 16, 394834: 16, 512452: 7, 126337: 11, 256244: 14, 377157: 16, 384109: 16, 97567: 11, 390663: 15, 232490: 14, 601997: 1, 264671: 12, 395026: 14, 179961: 13, 351927: 13, 153201: 11, 539380: 5, 34303: 3, 250627: 10, 282044: 10, 582862: 1, 164914: 10, 287116: 9, 147839: 9, 231921: 10, 288911: 9, 377124: 11, 96152: 9, 478867: 9, 204441: 10, 491232: 8, 66760: 6, 319897: 7, 290310: 6, 408118: 6, 343576: 6, 396975: 8, 191857: 7, 237572: 6, 83579: 6, 559838: 3, 470775: 6, 505694: 4, 42966: 3, 118901: 6, 204071: 6, 574339: 2, 52700: 3, 223020: 4, 392041: 5, 400723: 5, 12229: 2, 496570: 4, 8209: 1, 222728: 3, 58731: 1, 503602: 3, 376723: 2, 578926: 1, 470661: 1, 506823: 1, 84890: 1, 407457: 1}
{331945: 19, 344878: 20, 23242: 3, 358577: 18, 265284: 17, 432575: 15, 383635: 19, 510646: 10, 364576: 17, 597808: 2, 518920: 8, 580011: 3, 61721: 8, 329568: 17, 394834: 17, 512452: 8, 126337: 12, 256244: 15, 377157: 17, 384109: 17, 97567: 12, 390663: 16, 232490: 15, 601997: 1, 264671: 13, 395026: 15, 179961: 14, 351927: 14, 153201: 12, 539380: 5, 34303: 3, 250627: 11, 282044: 11, 582862: 1, 164914: 11, 287116: 10, 147839: 10, 231921: 11, 288911: 10, 377124: 12, 96152: 10, 478867: 10, 204441: 11, 491232: 9, 66760: 7, 319897: 8, 290310: 7, 408118: 7, 343576: 7, 396975: 9, 191857: 8, 237572: 7, 83579: 7, 559838: 3, 470775: 7, 505694: 5, 42966: 3, 118901: 7, 204071: 7, 574339: 2, 52700: 3, 223020: 5, 392041: 6, 400723: 6, 12229: 2, 496570: 5, 8209: 1, 222728: 4, 58731: 2, 503602: 4, 376723: 3, 578926: 1, 470661: 2, 506823: 2, 84890: 2, 407457: 2, 58125: 1, 526218: 1}
{331945: 19, 344878: 20, 23242: 3, 358577: 18, 265284: 17, 432575: 15, 383635: 19, 510646: 10, 364576: 17, 597808: 2, 518920: 8, 580011: 4, 61721: 8, 329568: 17, 394834: 17, 512452: 8, 126337: 12, 256244: 15, 377157: 17, 384109: 17, 97567: 12, 390663: 16, 232490: 15, 601997: 1, 264671: 13, 395026: 15, 179961: 14, 351927: 14, 153201: 12, 539380: 6, 34303: 3, 250627: 11, 282044: 11, 582862: 2, 164914: 11, 287116: 10, 147839: 10, 231921: 11, 288911: 10, 377124: 12, 96152: 10, 478867: 10, 204441: 11, 491232: 9, 66760: 7, 319897: 8, 290310: 7, 408118: 7, 343576: 7, 396975: 9, 191857: 8, 237572: 7, 83579: 7, 559838: 4, 470775: 7, 505694: 5, 42966: 3, 118901: 7, 204071: 7, 574339: 3, 52700: 3, 223020: 5, 392041: 6, 400723: 6, 12229: 2, 496570: 5, 8209: 1, 222728: 4, 58731: 2, 503602: 4, 376723: 3, 578926: 2, 470661: 2, 506823: 2, 84890: 2, 407457: 2, 58125: 1, 526218: 1, 526264: 1, 587872: 1}
{331945: 19, 344878: 20, 23242: 3, 358577: 18, 265284: 17, 432575: 15, 383635: 19, 510646: 10, 364576: 17, 597808: 2, 518920: 8, 580011: 4, 61721: 8, 329568: 17, 394834: 17, 512452: 8, 126337: 12, 256244: 15, 377157: 17, 384109: 17, 97567: 12, 390663: 16, 232490: 15, 601997: 1, 264671: 13, 395026: 15, 179961: 14, 351927: 14, 153201: 12, 539380: 6, 34303: 3, 250627: 11, 282044: 11, 582862: 2, 164914: 11, 287116: 10, 147839: 10, 231921: 11, 288911: 10, 377124: 12, 96152: 10, 478867: 10, 204441: 11, 491232: 9, 66760: 7, 319897: 8, 290310: 7, 408118: 7, 343576: 7, 396975: 9, 191857: 8, 237572: 7, 83579: 7, 559838: 4, 470775: 7, 505694: 5, 42966: 3, 118901: 7, 204071: 7, 574339: 3, 52700: 3, 223020: 5, 392041: 6, 400723: 6, 12229: 2, 496570: 5, 8209: 1, 222728: 4, 58731: 2, 503602: 4, 376723: 3, 578926: 2, 470661: 2, 506823: 2, 84890: 2, 407457: 2, 58125: 1, 526218: 1, 526264: 1, 587872: 1, 590602: 1, 591908: 1}
{331945: 20, 344878: 21, 23242: 3, 358577: 19, 265284: 17, 432575: 16, 383635: 20, 510646: 11, 364576: 18, 597808: 2, 518920: 9, 580011: 4, 61721: 8, 329568: 18, 394834: 18, 512452: 9, 126337: 12, 256244: 15, 377157: 18, 384109: 18, 97567: 12, 390663: 17, 232490: 15, 601997: 1, 264671: 13, 395026: 16, 179961: 14, 351927: 15, 153201: 12, 539380: 6, 34303: 3, 250627: 11, 282044: 11, 582862: 2, 164914: 11, 287116: 11, 147839: 10, 231921: 11, 288911: 11, 377124: 13, 96152: 10, 478867: 11, 204441: 11, 491232: 10, 66760: 7, 319897: 9, 290310: 8, 408118: 8, 343576: 8, 396975: 10, 191857: 8, 237572: 7, 83579: 7, 559838: 4, 470775: 8, 505694: 6, 42966: 3, 118901: 7, 204071: 7, 574339: 3, 52700: 3, 223020: 5, 392041: 7, 400723: 7, 12229: 2, 496570: 6, 8209: 1, 222728: 4, 58731: 2, 503602: 5, 376723: 4, 578926: 2, 470661: 3, 506823: 3, 84890: 2, 407457: 3, 58125: 1, 526218: 2, 526264: 2, 587872: 1, 590602: 1, 591908: 1, 286457: 1, 531167: 1}
{331945: 21, 344878: 22, 23242: 3, 358577: 20, 265284: 17, 432575: 17, 383635: 21, 510646: 11, 364576: 19, 597808: 2, 518920: 9, 580011: 4, 61721: 8, 329568: 19, 394834: 19, 512452: 9, 126337: 12, 256244: 15, 377157: 19, 384109: 19, 97567: 12, 390663: 18, 232490: 15, 601997: 1, 264671: 13, 395026: 17, 179961: 14, 351927: 16, 153201: 12, 539380: 6, 34303: 3, 250627: 11, 282044: 11, 582862: 2, 164914: 11, 287116: 12, 147839: 10, 231921: 11, 288911: 12, 377124: 14, 96152: 10, 478867: 12, 204441: 11, 491232: 10, 66760: 7, 319897: 10, 290310: 9, 408118: 9, 343576: 9, 396975: 11, 191857: 8, 237572: 7, 83579: 7, 559838: 4, 470775: 9, 505694: 6, 42966: 3, 118901: 7, 204071: 7, 574339: 3, 52700: 3, 223020: 5, 392041: 8, 400723: 8, 12229: 2, 496570: 6, 8209: 1, 222728: 4, 58731: 2, 503602: 5, 376723: 5, 578926: 2, 470661: 4, 506823: 3, 84890: 2, 407457: 4, 58125: 1, 526218: 2, 526264: 2, 587872: 1, 590602: 1, 591908: 1, 286457: 2, 531167: 1, 283459: 1, 483363: 1}
{331945: 22, 344878: 23, 23242: 3, 358577: 21, 265284: 17, 432575: 18, 383635: 22, 510646: 11, 364576: 20, 597808: 2, 518920: 9, 580011: 4, 61721: 8, 329568: 20, 394834: 20, 512452: 9, 126337: 12, 256244: 15, 377157: 20, 384109: 20, 97567: 12, 390663: 19, 232490: 15, 601997: 1, 264671: 13, 395026: 18, 179961: 14, 351927: 17, 153201: 12, 539380: 6, 34303: 3, 250627: 11, 282044: 11, 582862: 2, 164914: 11, 287116: 12, 147839: 10, 231921: 11, 288911: 12, 377124: 15, 96152: 10, 478867: 13, 204441: 11, 491232: 10, 66760: 7, 319897: 11, 290310: 9, 408118: 10, 343576: 10, 396975: 12, 191857: 8, 237572: 7, 83579: 7, 559838: 4, 470775: 10, 505694: 6, 42966: 3, 118901: 7, 204071: 7, 574339: 3, 52700: 3, 223020: 5, 392041: 9, 400723: 9, 12229: 2, 496570: 6, 8209: 1, 222728: 4, 58731: 2, 503602: 5, 376723: 6, 578926: 2, 470661: 5, 506823: 3, 84890: 2, 407457: 5, 58125: 1, 526218: 2, 526264: 2, 587872: 1, 590602: 1, 591908: 1, 286457: 2, 531167: 1, 283459: 1, 483363: 2, 308242: 1, 484423: 1}
{331945: 23, 344878: 24, 23242: 3, 358577: 22, 265284: 17, 432575: 19, 383635: 23, 510646: 12, 364576: 21, 597808: 2, 518920: 10, 580011: 5, 61721: 8, 329568: 21, 394834: 21, 512452: 10, 126337: 12, 256244: 15, 377157: 21, 384109: 21, 97567: 12, 390663: 20, 232490: 15, 601997: 1, 264671: 13, 395026: 19, 179961: 14, 351927: 18, 153201: 12, 539380: 7, 34303: 3, 250627: 11, 282044: 12, 582862: 3, 164914: 11, 287116: 13, 147839: 10, 231921: 11, 288911: 13, 377124: 16, 96152: 10, 478867: 14, 204441: 11, 491232: 11, 66760: 7, 319897: 12, 290310: 10, 408118: 11, 343576: 11, 396975: 13, 191857: 8, 237572: 7, 83579: 7, 559838: 5, 470775: 11, 505694: 7, 42966: 3, 118901: 7, 204071: 7, 574339: 4, 52700: 3, 223020: 5, 392041: 10, 400723: 10, 12229: 2, 496570: 7, 8209: 1, 222728: 4, 58731: 2, 503602: 6, 376723: 7, 578926: 3, 470661: 6, 506823: 4, 84890: 2, 407457: 6, 58125: 1, 526218: 3, 526264: 3, 587872: 2, 590602: 2, 591908: 1, 286457: 3, 531167: 2, 283459: 2, 483363: 3, 308242: 2, 484423: 2, 279122: 1, 590784: 1}
{331945: 23, 344878: 24, 23242: 3, 358577: 22, 265284: 18, 432575: 19, 383635: 23, 510646: 12, 364576: 21, 597808: 2, 518920: 10, 580011: 5, 61721: 9, 329568: 21, 394834: 21, 512452: 10, 126337: 13, 256244: 16, 377157: 21, 384109: 21, 97567: 13, 390663: 20, 232490: 16, 601997: 1, 264671: 14, 395026: 19, 179961: 15, 351927: 18, 153201: 13, 539380: 7, 34303: 4, 250627: 12, 282044: 13, 582862: 3, 164914: 12, 287116: 14, 147839: 11, 231921: 12, 288911: 14, 377124: 16, 96152: 11, 478867: 14, 204441: 12, 491232: 11, 66760: 8, 319897: 12, 290310: 11, 408118: 11, 343576: 11, 396975: 13, 191857: 9, 237572: 8, 83579: 8, 559838: 5, 470775: 11, 505694: 7, 42966: 4, 118901: 8, 204071: 8, 574339: 4, 52700: 4, 223020: 6, 392041: 10, 400723: 10, 12229: 2, 496570: 7, 8209: 1, 222728: 5, 58731: 3, 503602: 6, 376723: 7, 578926: 3, 470661: 6, 506823: 4, 84890: 3, 407457: 6, 58125: 2, 526218: 3, 526264: 3, 587872: 2, 590602: 2, 591908: 1, 286457: 4, 531167: 2, 283459: 3, 483363: 3, 308242: 3, 484423: 2, 279122: 2, 590784: 1, 33699: 1, 314806: 1}
{331945: 23, 344878: 24, 23242: 3, 358577: 22, 265284: 18, 432575: 20, 383635: 24, 510646: 12, 364576: 21, 597808: 2, 518920: 10, 580011: 5, 61721: 9, 329568: 21, 394834: 22, 512452: 10, 126337: 13, 256244: 16, 377157: 22, 384109: 22, 97567: 13, 390663: 21, 232490: 16, 601997: 1, 264671: 14, 395026: 20, 179961: 15, 351927: 18, 153201: 13, 539380: 7, 34303: 4, 250627: 12, 282044: 13, 582862: 3, 164914: 12, 287116: 14, 147839: 11, 231921: 12, 288911: 14, 377124: 17, 96152: 11, 478867: 14, 204441: 12, 491232: 11, 66760: 8, 319897: 12, 290310: 11, 408118: 12, 343576: 11, 396975: 14, 191857: 9, 237572: 8, 83579: 8, 559838: 5, 470775: 12, 505694: 7, 42966: 4, 118901: 8, 204071: 8, 574339: 4, 52700: 4, 223020: 6, 392041: 11, 400723: 11, 12229: 2, 496570: 7, 8209: 1, 222728: 5, 58731: 3, 503602: 6, 376723: 8, 578926: 3, 470661: 7, 506823: 4, 84890: 3, 407457: 7, 58125: 2, 526218: 3, 526264: 3, 587872: 2, 590602: 2, 591908: 1, 286457: 4, 531167: 2, 283459: 3, 483363: 3, 308242: 3, 484423: 2, 279122: 2, 590784: 1, 33699: 1, 314806: 1, 365835: 1, 472096: 1}
{331945: 24, 344878: 25, 23242: 3, 358577: 23, 265284: 18, 432575: 20, 383635: 25, 510646: 12, 364576: 22, 597808: 2, 518920: 10, 580011: 5, 61721: 9, 329568: 22, 394834: 23, 512452: 10, 126337: 13, 256244: 16, 377157: 23, 384109: 23, 97567: 13, 390663: 22, 232490: 16, 601997: 1, 264671: 14, 395026: 21, 179961: 15, 351927: 19, 153201: 13, 539380: 7, 34303: 4, 250627: 12, 282044: 14, 582862: 3, 164914: 12, 287116: 15, 147839: 11, 231921: 12, 288911: 15, 377124: 18, 96152: 11, 478867: 14, 204441: 12, 491232: 11, 66760: 8, 319897: 13, 290310: 12, 408118: 13, 343576: 12, 396975: 15, 191857: 9, 237572: 8, 83579: 8, 559838: 5, 470775: 12, 505694: 7, 42966: 4, 118901: 8, 204071: 8, 574339: 4, 52700: 4, 223020: 6, 392041: 12, 400723: 12, 12229: 2, 496570: 7, 8209: 1, 222728: 5, 58731: 3, 503602: 6, 376723: 9, 578926: 3, 470661: 7, 506823: 4, 84890: 3, 407457: 8, 58125: 2, 526218: 3, 526264: 3, 587872: 2, 590602: 2, 591908: 1, 286457: 5, 531167: 2, 283459: 4, 483363: 3, 308242: 4, 484423: 2, 279122: 3, 590784: 1, 33699: 1, 314806: 2, 365835: 2, 472096: 1, 272880: 1, 410614: 1}
{331945: 25, 344878: 26, 23242: 3, 358577: 24, 265284: 19, 432575: 21, 383635: 26, 510646: 12, 364576: 23, 597808: 2, 518920: 10, 580011: 5, 61721: 9, 329568: 23, 394834: 24, 512452: 10, 126337: 14, 256244: 17, 377157: 24, 384109: 24, 97567: 14, 390663: 23, 232490: 17, 601997: 1, 264671: 15, 395026: 22, 179961: 16, 351927: 20, 153201: 14, 539380: 7, 34303: 4, 250627: 13, 282044: 15, 582862: 3, 164914: 13, 287116: 16, 147839: 12, 231921: 13, 288911: 16, 377124: 19, 96152: 12, 478867: 14, 204441: 13, 491232: 11, 66760: 8, 319897: 14, 290310: 13, 408118: 14, 343576: 13, 396975: 16, 191857: 10, 237572: 9, 83579: 9, 559838: 5, 470775: 12, 505694: 7, 42966: 4, 118901: 9, 204071: 9, 574339: 4, 52700: 4, 223020: 7, 392041: 13, 400723: 13, 12229: 2, 496570: 7, 8209: 1, 222728: 6, 58731: 3, 503602: 6, 376723: 10, 578926: 3, 470661: 7, 506823: 4, 84890: 4, 407457: 9, 58125: 2, 526218: 3, 526264: 3, 587872: 2, 590602: 2, 591908: 1, 286457: 6, 531167: 2, 283459: 5, 483363: 3, 308242: 5, 484423: 2, 279122: 4, 590784: 1, 33699: 1, 314806: 3, 365835: 3, 472096: 1, 272880: 2, 410614: 2, 71538: 1, 447137: 1}
{331945: 26, 344878: 27, 23242: 4, 358577: 25, 265284: 20, 432575: 22, 383635: 27, 510646: 12, 364576: 24, 597808: 2, 518920: 10, 580011: 5, 61721: 10, 329568: 24, 394834: 25, 512452: 10, 126337: 15, 256244: 18, 377157: 25, 384109: 25, 97567: 15, 390663: 24, 232490: 18, 601997: 1, 264671: 16, 395026: 23, 179961: 17, 351927: 21, 153201: 15, 539380: 7, 34303: 5, 250627: 14, 282044: 16, 582862: 3, 164914: 14, 287116: 17, 147839: 13, 231921: 14, 288911: 17, 377124: 20, 96152: 13, 478867: 14, 204441: 14, 491232: 11, 66760: 9, 319897: 15, 290310: 14, 408118: 15, 343576: 14, 396975: 17, 191857: 11, 237572: 10, 83579: 10, 559838: 5, 470775: 12, 505694: 7, 42966: 5, 118901: 10, 204071: 10, 574339: 4, 52700: 5, 223020: 8, 392041: 14, 400723: 14, 12229: 3, 496570: 7, 8209: 1, 222728: 7, 58731: 4, 503602: 6, 376723: 11, 578926: 3, 470661: 7, 506823: 4, 84890: 5, 407457: 10, 58125: 3, 526218: 3, 526264: 3, 587872: 2, 590602: 2, 591908: 1, 286457: 7, 531167: 2, 283459: 6, 483363: 3, 308242: 6, 484423: 2, 279122: 5, 590784: 1, 33699: 2, 314806: 4, 365835: 4, 472096: 1, 272880: 3, 410614: 3, 71538: 2, 447137: 1, 12090: 1, 435868: 1}
{331945: 27, 344878: 28, 23242: 4, 358577: 26, 265284: 21, 432575: 22, 383635: 28, 510646: 12, 364576: 25, 597808: 2, 518920: 10, 580011: 5, 61721: 11, 329568: 25, 394834: 25, 512452: 10, 126337: 16, 256244: 19, 377157: 26, 384109: 26, 97567: 16, 390663: 24, 232490: 19, 601997: 1, 264671: 17, 395026: 23, 179961: 18, 351927: 22, 153201: 16, 539380: 7, 34303: 6, 250627: 15, 282044: 17, 582862: 3, 164914: 15, 287116: 18, 147839: 14, 231921: 15, 288911: 18, 377124: 21, 96152: 14, 478867: 14, 204441: 15, 491232: 11, 66760: 10, 319897: 16, 290310: 15, 408118: 15, 343576: 15, 396975: 17, 191857: 12, 237572: 11, 83579: 11, 559838: 5, 470775: 12, 505694: 7, 42966: 6, 118901: 11, 204071: 11, 574339: 4, 52700: 6, 223020: 9, 392041: 14, 400723: 14, 12229: 3, 496570: 7, 8209: 1, 222728: 8, 58731: 5, 503602: 6, 376723: 12, 578926: 3, 470661: 7, 506823: 4, 84890: 6, 407457: 10, 58125: 4, 526218: 3, 526264: 3, 587872: 2, 590602: 2, 591908: 1, 286457: 8, 531167: 2, 283459: 7, 483363: 3, 308242: 7, 484423: 2, 279122: 6, 590784: 1, 33699: 3, 314806: 5, 365835: 5, 472096: 1, 272880: 4, 410614: 3, 71538: 3, 447137: 1, 12090: 1, 435868: 1, 23703: 1, 387050: 1}
{331945: 28, 344878: 29, 23242: 4, 358577: 26, 265284: 21, 432575: 22, 383635: 28, 510646: 12, 364576: 25, 597808: 2, 518920: 10, 580011: 5, 61721: 11, 329568: 26, 394834: 25, 512452: 10, 126337: 16, 256244: 19, 377157: 26, 384109: 26, 97567: 16, 390663: 24, 232490: 19, 601997: 1, 264671: 17, 395026: 23, 179961: 18, 351927: 23, 153201: 16, 539380: 7, 34303: 6, 250627: 15, 282044: 18, 582862: 3, 164914: 15, 287116: 19, 147839: 14, 231921: 15, 288911: 19, 377124: 21, 96152: 14, 478867: 14, 204441: 15, 491232: 11, 66760: 10, 319897: 17, 290310: 16, 408118: 15, 343576: 16, 396975: 17, 191857: 12, 237572: 11, 83579: 11, 559838: 5, 470775: 12, 505694: 7, 42966: 6, 118901: 11, 204071: 11, 574339: 4, 52700: 6, 223020: 9, 392041: 14, 400723: 14, 12229: 3, 496570: 7, 8209: 1, 222728: 8, 58731: 5, 503602: 6, 376723: 12, 578926: 3, 470661: 7, 506823: 4, 84890: 6, 407457: 10, 58125: 4, 526218: 3, 526264: 3, 587872: 2, 590602: 2, 591908: 1, 286457: 9, 531167: 2, 283459: 8, 483363: 3, 308242: 8, 484423: 2, 279122: 7, 590784: 1, 33699: 3, 314806: 6, 365835: 5, 472096: 1, 272880: 5, 410614: 3, 71538: 3, 447137: 1, 12090: 1, 435868: 1, 23703: 1, 387050: 1, 267165: 1, 352029: 1}
{331945: 28, 344878: 29, 23242: 4, 358577: 26, 265284: 21, 432575: 22, 383635: 28, 510646: 12, 364576: 25, 597808: 2, 518920: 10, 580011: 5, 61721: 11, 329568: 26, 394834: 25, 512452: 10, 126337: 17, 256244: 19, 377157: 26, 384109: 26, 97567: 17, 390663: 24, 232490: 19, 601997: 1, 264671: 17, 395026: 23, 179961: 18, 351927: 23, 153201: 17, 539380: 7, 34303: 6, 250627: 15, 282044: 18, 582862: 3, 164914: 16, 287116: 19, 147839: 15, 231921: 15, 288911: 19, 377124: 21, 96152: 15, 478867: 14, 204441: 15, 491232: 11, 66760: 10, 319897: 17, 290310: 16, 408118: 15, 343576: 16, 396975: 17, 191857: 12, 237572: 11, 83579: 11, 559838: 5, 470775: 12, 505694: 7, 42966: 6, 118901: 12, 204071: 11, 574339: 4, 52700: 6, 223020: 9, 392041: 14, 400723: 14, 12229: 3, 496570: 7, 8209: 1, 222728: 8, 58731: 5, 503602: 6, 376723: 12, 578926: 3, 470661: 7, 506823: 4, 84890: 6, 407457: 10, 58125: 4, 526218: 3, 526264: 3, 587872: 2, 590602: 2, 591908: 1, 286457: 9, 531167: 2, 283459: 8, 483363: 3, 308242: 8, 484423: 2, 279122: 7, 590784: 1, 33699: 3, 314806: 6, 365835: 5, 472096: 1, 272880: 5, 410614: 3, 71538: 3, 447137: 1, 12090: 1, 435868: 1, 23703: 1, 387050: 1, 267165: 1, 352029: 1, 86706: 1, 171053: 1}
{331945: 29, 344878: 30, 23242: 4, 358577: 27, 265284: 21, 432575: 23, 383635: 29, 510646: 13, 364576: 26, 597808: 2, 518920: 11, 580011: 6, 61721: 11, 329568: 27, 394834: 26, 512452: 11, 126337: 17, 256244: 19, 377157: 27, 384109: 27, 97567: 17, 390663: 25, 232490: 19, 601997: 1, 264671: 17, 395026: 24, 179961: 18, 351927: 24, 153201: 17, 539380: 8, 34303: 6, 250627: 15, 282044: 18, 582862: 4, 164914: 16, 287116: 19, 147839: 15, 231921: 15, 288911: 19, 377124: 22, 96152: 15, 478867: 15, 204441: 15, 491232: 12, 66760: 10, 319897: 17, 290310: 16, 408118: 16, 343576: 17, 396975: 18, 191857: 12, 237572: 11, 83579: 11, 559838: 6, 470775: 13, 505694: 8, 42966: 6, 118901: 12, 204071: 11, 574339: 5, 52700: 6, 223020: 9, 392041: 15, 400723: 15, 12229: 3, 496570: 8, 8209: 1, 222728: 8, 58731: 5, 503602: 7, 376723: 13, 578926: 4, 470661: 8, 506823: 5, 84890: 6, 407457: 11, 58125: 4, 526218: 4, 526264: 4, 587872: 3, 590602: 3, 591908: 2, 286457: 9, 531167: 3, 283459: 8, 483363: 4, 308242: 8, 484423: 3, 279122: 7, 590784: 2, 33699: 3, 314806: 6, 365835: 6, 472096: 2, 272880: 5, 410614: 4, 71538: 3, 447137: 2, 12090: 1, 435868: 2, 23703: 1, 387050: 2, 267165: 1, 352029: 2, 86706: 1, 171053: 1, 325025: 1, 592494: 1}
{331945: 30, 344878: 31, 23242: 4, 358577: 28, 265284: 22, 432575: 24, 383635: 30, 510646: 14, 364576: 27, 597808: 2, 518920: 12, 580011: 6, 61721: 11, 329568: 28, 394834: 27, 512452: 12, 126337: 18, 256244: 20, 377157: 28, 384109: 28, 97567: 18, 390663: 26, 232490: 20, 601997: 1, 264671: 18, 395026: 25, 179961: 19, 351927: 25, 153201: 18, 539380: 9, 34303: 6, 250627: 16, 282044: 19, 582862: 4, 164914: 17, 287116: 20, 147839: 16, 231921: 16, 288911: 20, 377124: 23, 96152: 16, 478867: 16, 204441: 16, 491232: 13, 66760: 10, 319897: 18, 290310: 17, 408118: 17, 343576: 18, 396975: 19, 191857: 13, 237572: 12, 83579: 12, 559838: 7, 470775: 14, 505694: 9, 42966: 6, 118901: 13, 204071: 12, 574339: 5, 52700: 6, 223020: 10, 392041: 16, 400723: 16, 12229: 3, 496570: 9, 8209: 1, 222728: 9, 58731: 5, 503602: 8, 376723: 14, 578926: 4, 470661: 9, 506823: 6, 84890: 7, 407457: 12, 58125: 4, 526218: 5, 526264: 5, 587872: 3, 590602: 3, 591908: 2, 286457: 10, 531167: 4, 283459: 9, 483363: 5, 308242: 9, 484423: 4, 279122: 8, 590784: 2, 33699: 3, 314806: 7, 365835: 7, 472096: 3, 272880: 6, 410614: 5, 71538: 3, 447137: 3, 12090: 1, 435868: 3, 23703: 1, 387050: 3, 267165: 2, 352029: 3, 86706: 2, 171053: 2, 325025: 2, 592494: 1, 72700: 1, 571374: 1}
{331945: 31, 344878: 32, 23242: 4, 358577: 29, 265284: 23, 432575: 25, 383635: 31, 510646: 14, 364576: 28, 597808: 2, 518920: 12, 580011: 6, 61721: 11, 329568: 29, 394834: 28, 512452: 12, 126337: 18, 256244: 21, 377157: 29, 384109: 29, 97567: 18, 390663: 27, 232490: 21, 601997: 1, 264671: 19, 395026: 26, 179961: 19, 351927: 26, 153201: 18, 539380: 9, 34303: 6, 250627: 17, 282044: 20, 582862: 4, 164914: 17, 287116: 21, 147839: 16, 231921: 17, 288911: 21, 377124: 24, 96152: 16, 478867: 16, 204441: 16, 491232: 13, 66760: 10, 319897: 19, 290310: 18, 408118: 18, 343576: 19, 396975: 20, 191857: 13, 237572: 13, 83579: 12, 559838: 7, 470775: 14, 505694: 9, 42966: 6, 118901: 13, 204071: 12, 574339: 5, 52700: 6, 223020: 11, 392041: 17, 400723: 17, 12229: 3, 496570: 9, 8209: 1, 222728: 10, 58731: 5, 503602: 8, 376723: 15, 578926: 4, 470661: 9, 506823: 6, 84890: 7, 407457: 13, 58125: 4, 526218: 5, 526264: 5, 587872: 3, 590602: 3, 591908: 2, 286457: 11, 531167: 4, 283459: 10, 483363: 5, 308242: 10, 484423: 4, 279122: 9, 590784: 2, 33699: 3, 314806: 8, 365835: 8, 472096: 3, 272880: 7, 410614: 6, 71538: 3, 447137: 4, 12090: 1, 435868: 4, 23703: 1, 387050: 4, 267165: 3, 352029: 4, 86706: 2, 171053: 2, 325025: 3, 592494: 1, 72700: 1, 571374: 1, 217407: 1, 458841: 1}
{331945: 31, 344878: 32, 23242: 4, 358577: 29, 265284: 24, 432575: 25, 383635: 31, 510646: 14, 364576: 28, 597808: 2, 518920: 12, 580011: 6, 61721: 11, 329568: 29, 394834: 28, 512452: 12, 126337: 18, 256244: 22, 377157: 29, 384109: 29, 97567: 18, 390663: 27, 232490: 22, 601997: 1, 264671: 20, 395026: 26, 179961: 20, 351927: 26, 153201: 18, 539380: 9, 34303: 6, 250627: 18, 282044: 21, 582862: 4, 164914: 17, 287116: 22, 147839: 16, 231921: 18, 288911: 22, 377124: 24, 96152: 16, 478867: 16, 204441: 17, 491232: 13, 66760: 10, 319897: 19, 290310: 19, 408118: 18, 343576: 19, 396975: 20, 191857: 14, 237572: 14, 83579: 12, 559838: 7, 470775: 14, 505694: 9, 42966: 6, 118901: 13, 204071: 13, 574339: 5, 52700: 6, 223020: 12, 392041: 17, 400723: 17, 12229: 3, 496570: 9, 8209: 1, 222728: 11, 58731: 5, 503602: 8, 376723: 15, 578926: 4, 470661: 9, 506823: 6, 84890: 7, 407457: 13, 58125: 4, 526218: 5, 526264: 5, 587872: 3, 590602: 3, 591908: 2, 286457: 12, 531167: 4, 283459: 11, 483363: 5, 308242: 11, 484423: 4, 279122: 10, 590784: 2, 33699: 3, 314806: 9, 365835: 8, 472096: 3, 272880: 8, 410614: 6, 71538: 3, 447137: 4, 12090: 1, 435868: 4, 23703: 1, 387050: 4, 267165: 4, 352029: 4, 86706: 2, 171053: 2, 325025: 3, 592494: 1, 72700: 1, 571374: 1, 217407: 2, 458841: 1, 179118: 1, 315635: 1}
{331945: 31, 344878: 32, 23242: 4, 358577: 29, 265284: 25, 432575: 25, 383635: 31, 510646: 14, 364576: 28, 597808: 2, 518920: 12, 580011: 6, 61721: 11, 329568: 29, 394834: 28, 512452: 12, 126337: 19, 256244: 23, 377157: 29, 384109: 29, 97567: 19, 390663: 27, 232490: 23, 601997: 1, 264671: 21, 395026: 26, 179961: 21, 351927: 26, 153201: 19, 539380: 9, 34303: 6, 250627: 19, 282044: 22, 582862: 4, 164914: 18, 287116: 23, 147839: 17, 231921: 19, 288911: 23, 377124: 24, 96152: 17, 478867: 16, 204441: 18, 491232: 13, 66760: 11, 319897: 19, 290310: 20, 408118: 18, 343576: 19, 396975: 20, 191857: 15, 237572: 15, 83579: 13, 559838: 7, 470775: 14, 505694: 9, 42966: 6, 118901: 14, 204071: 14, 574339: 5, 52700: 6, 223020: 13, 392041: 17, 400723: 17, 12229: 3, 496570: 9, 8209: 1, 222728: 12, 58731: 5, 503602: 8, 376723: 15, 578926: 4, 470661: 9, 506823: 6, 84890: 8, 407457: 13, 58125: 4, 526218: 5, 526264: 5, 587872: 3, 590602: 3, 591908: 2, 286457: 13, 531167: 4, 283459: 12, 483363: 5, 308242: 11, 484423: 4, 279122: 11, 590784: 2, 33699: 3, 314806: 9, 365835: 8, 472096: 3, 272880: 9, 410614: 6, 71538: 4, 447137: 4, 12090: 1, 435868: 4, 23703: 1, 387050: 4, 267165: 5, 352029: 4, 86706: 3, 171053: 3, 325025: 3, 592494: 1, 72700: 2, 571374: 1, 217407: 3, 458841: 1, 179118: 2, 315635: 1, 64058: 1, 290864: 1}
{331945: 31, 344878: 32, 23242: 4, 358577: 29, 265284: 25, 432575: 25, 383635: 31, 510646: 14, 364576: 28, 597808: 2, 518920: 12, 580011: 6, 61721: 11, 329568: 29, 394834: 28, 512452: 12, 126337: 20, 256244: 23, 377157: 29, 384109: 29, 97567: 20, 390663: 27, 232490: 24, 601997: 1, 264671: 21, 395026: 26, 179961: 22, 351927: 26, 153201: 20, 539380: 9, 34303: 6, 250627: 20, 282044: 22, 582862: 4, 164914: 19, 287116: 23, 147839: 18, 231921: 20, 288911: 23, 377124: 24, 96152: 18, 478867: 16, 204441: 19, 491232: 13, 66760: 11, 319897: 19, 290310: 20, 408118: 18, 343576: 19, 396975: 20, 191857: 16, 237572: 16, 83579: 14, 559838: 7, 470775: 14, 505694: 9, 42966: 6, 118901: 15, 204071: 15, 574339: 5, 52700: 6, 223020: 14, 392041: 17, 400723: 17, 12229: 3, 496570: 9, 8209: 1, 222728: 13, 58731: 5, 503602: 8, 376723: 15, 578926: 4, 470661: 9, 506823: 6, 84890: 9, 407457: 13, 58125: 4, 526218: 5, 526264: 5, 587872: 3, 590602: 3, 591908: 2, 286457: 13, 531167: 4, 283459: 12, 483363: 5, 308242: 11, 484423: 4, 279122: 11, 590784: 2, 33699: 3, 314806: 9, 365835: 8, 472096: 3, 272880: 9, 410614: 6, 71538: 4, 447137: 4, 12090: 1, 435868: 4, 23703: 1, 387050: 4, 267165: 5, 352029: 4, 86706: 4, 171053: 4, 325025: 3, 592494: 1, 72700: 3, 571374: 1, 217407: 4, 458841: 1, 179118: 3, 315635: 1, 64058: 1, 290864: 1, 71812: 1, 250805: 1}
{331945: 32, 344878: 33, 23242: 4, 358577: 30, 265284: 25, 432575: 25, 383635: 32, 510646: 14, 364576: 29, 597808: 2, 518920: 12, 580011: 6, 61721: 11, 329568: 30, 394834: 29, 512452: 12, 126337: 20, 256244: 23, 377157: 30, 384109: 30, 97567: 20, 390663: 28, 232490: 24, 601997: 1, 264671: 21, 395026: 27, 179961: 22, 351927: 27, 153201: 20, 539380: 9, 34303: 6, 250627: 20, 282044: 22, 582862: 4, 164914: 19, 287116: 24, 147839: 18, 231921: 20, 288911: 24, 377124: 25, 96152: 18, 478867: 16, 204441: 19, 491232: 13, 66760: 11, 319897: 20, 290310: 21, 408118: 19, 343576: 20, 396975: 21, 191857: 16, 237572: 16, 83579: 14, 559838: 7, 470775: 14, 505694: 9, 42966: 6, 118901: 15, 204071: 15, 574339: 5, 52700: 6, 223020: 14, 392041: 18, 400723: 18, 12229: 3, 496570: 9, 8209: 1, 222728: 13, 58731: 5, 503602: 8, 376723: 16, 578926: 4, 470661: 9, 506823: 6, 84890: 9, 407457: 14, 58125: 4, 526218: 5, 526264: 5, 587872: 3, 590602: 3, 591908: 2, 286457: 14, 531167: 4, 283459: 12, 483363: 5, 308242: 12, 484423: 4, 279122: 11, 590784: 2, 33699: 3, 314806: 10, 365835: 9, 472096: 3, 272880: 9, 410614: 7, 71538: 4, 447137: 4, 12090: 1, 435868: 4, 23703: 1, 387050: 5, 267165: 5, 352029: 5, 86706: 4, 171053: 4, 325025: 4, 592494: 1, 72700: 3, 571374: 1, 217407: 4, 458841: 1, 179118: 3, 315635: 2, 64058: 1, 290864: 2, 71812: 1, 250805: 1, 286453: 1, 416530: 1}
{331945: 32, 344878: 33, 23242: 4, 358577: 30, 265284: 25, 432575: 25, 383635: 32, 510646: 14, 364576: 29, 597808: 2, 518920: 12, 580011: 6, 61721: 11, 329568: 30, 394834: 29, 512452: 12, 126337: 20, 256244: 23, 377157: 30, 384109: 30, 97567: 20, 390663: 28, 232490: 24, 601997: 1, 264671: 21, 395026: 27, 179961: 23, 351927: 27, 153201: 20, 539380: 9, 34303: 6, 250627: 20, 282044: 22, 582862: 4, 164914: 20, 287116: 24, 147839: 18, 231921: 20, 288911: 24, 377124: 25, 96152: 18, 478867: 16, 204441: 19, 491232: 13, 66760: 11, 319897: 20, 290310: 21, 408118: 19, 343576: 20, 396975: 21, 191857: 17, 237572: 16, 83579: 14, 559838: 7, 470775: 14, 505694: 9, 42966: 6, 118901: 15, 204071: 15, 574339: 5, 52700: 6, 223020: 14, 392041: 18, 400723: 18, 12229: 3, 496570: 9, 8209: 1, 222728: 13, 58731: 5, 503602: 8, 376723: 16, 578926: 4, 470661: 9, 506823: 6, 84890: 9, 407457: 14, 58125: 4, 526218: 5, 526264: 5, 587872: 3, 590602: 3, 591908: 2, 286457: 14, 531167: 4, 283459: 12, 483363: 5, 308242: 12, 484423: 4, 279122: 11, 590784: 2, 33699: 3, 314806: 10, 365835: 9, 472096: 3, 272880: 9, 410614: 7, 71538: 4, 447137: 4, 12090: 1, 435868: 4, 23703: 1, 387050: 5, 267165: 5, 352029: 5, 86706: 4, 171053: 5, 325025: 4, 592494: 1, 72700: 3, 571374: 1, 217407: 4, 458841: 1, 179118: 4, 315635: 2, 64058: 1, 290864: 2, 71812: 1, 250805: 1, 286453: 1, 416530: 1, 160014: 1, 192329: 1}
{331945: 33, 344878: 34, 23242: 4, 358577: 31, 265284: 26, 432575: 26, 383635: 33, 510646: 15, 364576: 30, 597808: 2, 518920: 13, 580011: 6, 61721: 11, 329568: 31, 394834: 30, 512452: 13, 126337: 21, 256244: 24, 377157: 31, 384109: 31, 97567: 20, 390663: 29, 232490: 25, 601997: 1, 264671: 22, 395026: 28, 179961: 24, 351927: 28, 153201: 21, 539380: 9, 34303: 6, 250627: 21, 282044: 23, 582862: 4, 164914: 21, 287116: 25, 147839: 19, 231921: 21, 288911: 25, 377124: 26, 96152: 18, 478867: 17, 204441: 20, 491232: 14, 66760: 11, 319897: 21, 290310: 22, 408118: 20, 343576: 21, 396975: 22, 191857: 18, 237572: 17, 83579: 14, 559838: 7, 470775: 15, 505694: 10, 42966: 6, 118901: 16, 204071: 16, 574339: 5, 52700: 6, 223020: 15, 392041: 19, 400723: 19, 12229: 3, 496570: 10, 8209: 1, 222728: 14, 58731: 5, 503602: 9, 376723: 17, 578926: 4, 470661: 10, 506823: 7, 84890: 9, 407457: 15, 58125: 4, 526218: 6, 526264: 6, 587872: 3, 590602: 3, 591908: 2, 286457: 15, 531167: 5, 283459: 13, 483363: 6, 308242: 13, 484423: 5, 279122: 12, 590784: 2, 33699: 3, 314806: 11, 365835: 10, 472096: 4, 272880: 10, 410614: 8, 71538: 4, 447137: 5, 12090: 1, 435868: 5, 23703: 1, 387050: 6, 267165: 6, 352029: 6, 86706: 4, 171053: 6, 325025: 5, 592494: 1, 72700: 3, 571374: 1, 217407: 5, 458841: 2, 179118: 5, 315635: 3, 64058: 1, 290864: 3, 71812: 1, 250805: 2, 286453: 2, 416530: 2, 160014: 2, 192329: 2, 112702: 1, 532547: 1}
{331945: 34, 344878: 35, 23242: 4, 358577: 32, 265284: 27, 432575: 27, 383635: 34, 510646: 15, 364576: 31, 597808: 2, 518920: 13, 580011: 6, 61721: 11, 329568: 32, 394834: 31, 512452: 13, 126337: 21, 256244: 25, 377157: 32, 384109: 32, 97567: 20, 390663: 30, 232490: 25, 601997: 1, 264671: 23, 395026: 29, 179961: 24, 351927: 29, 153201: 21, 539380: 9, 34303: 6, 250627: 22, 282044: 24, 582862: 4, 164914: 21, 287116: 26, 147839: 19, 231921: 21, 288911: 26, 377124: 27, 96152: 18, 478867: 17, 204441: 20, 491232: 14, 66760: 11, 319897: 22, 290310: 23, 408118: 21, 343576: 22, 396975: 23, 191857: 18, 237572: 17, 83579: 14, 559838: 7, 470775: 15, 505694: 10, 42966: 6, 118901: 16, 204071: 16, 574339: 5, 52700: 6, 223020: 15, 392041: 20, 400723: 20, 12229: 3, 496570: 10, 8209: 1, 222728: 14, 58731: 5, 503602: 9, 376723: 18, 578926: 4, 470661: 10, 506823: 7, 84890: 9, 407457: 16, 58125: 4, 526218: 6, 526264: 6, 587872: 3, 590602: 3, 591908: 2, 286457: 16, 531167: 5, 283459: 14, 483363: 6, 308242: 14, 484423: 5, 279122: 13, 590784: 2, 33699: 3, 314806: 12, 365835: 11, 472096: 4, 272880: 11, 410614: 9, 71538: 4, 447137: 6, 12090: 1, 435868: 6, 23703: 1, 387050: 7, 267165: 7, 352029: 7, 86706: 4, 171053: 6, 325025: 6, 592494: 1, 72700: 3, 571374: 1, 217407: 5, 458841: 3, 179118: 5, 315635: 4, 64058: 1, 290864: 4, 71812: 1, 250805: 3, 286453: 3, 416530: 3, 160014: 2, 192329: 2, 112702: 1, 532547: 1, 250563: 1, 468288: 1}
{331945: 34, 344878: 35, 23242: 4, 358577: 32, 265284: 27, 432575: 27, 383635: 34, 510646: 16, 364576: 31, 597808: 2, 518920: 14, 580011: 6, 61721: 11, 329568: 32, 394834: 31, 512452: 14, 126337: 21, 256244: 25, 377157: 32, 384109: 32, 97567: 20, 390663: 30, 232490: 25, 601997: 1, 264671: 23, 395026: 29, 179961: 24, 351927: 29, 153201: 21, 539380: 10, 34303: 6, 250627: 22, 282044: 24, 582862: 4, 164914: 21, 287116: 26, 147839: 19, 231921: 21, 288911: 26, 377124: 27, 96152: 18, 478867: 18, 204441: 20, 491232: 15, 66760: 11, 319897: 22, 290310: 23, 408118: 21, 343576: 22, 396975: 23, 191857: 18, 237572: 17, 83579: 14, 559838: 7, 470775: 16, 505694: 11, 42966: 6, 118901: 16, 204071: 16, 574339: 5, 52700: 6, 223020: 15, 392041: 20, 400723: 20, 12229: 3, 496570: 11, 8209: 1, 222728: 14, 58731: 5, 503602: 10, 376723: 18, 578926: 4, 470661: 11, 506823: 8, 84890: 9, 407457: 16, 58125: 4, 526218: 7, 526264: 7, 587872: 3, 590602: 3, 591908: 2, 286457: 16, 531167: 6, 283459: 14, 483363: 7, 308242: 14, 484423: 6, 279122: 13, 590784: 2, 33699: 3, 314806: 12, 365835: 11, 472096: 5, 272880: 11, 410614: 9, 71538: 4, 447137: 7, 12090: 1, 435868: 6, 23703: 1, 387050: 7, 267165: 7, 352029: 7, 86706: 4, 171053: 6, 325025: 6, 592494: 1, 72700: 3, 571374: 1, 217407: 5, 458841: 4, 179118: 5, 315635: 4, 64058: 1, 290864: 4, 71812: 1, 250805: 3, 286453: 3, 416530: 3, 160014: 2, 192329: 2, 112702: 1, 532547: 2, 250563: 1, 468288: 2, 445718: 1, 555386: 1}
{331945: 34, 344878: 35, 23242: 4, 358577: 32, 265284: 28, 432575: 27, 383635: 34, 510646: 16, 364576: 31, 597808: 2, 518920: 14, 580011: 6, 61721: 12, 329568: 32, 394834: 31, 512452: 14, 126337: 22, 256244: 26, 377157: 32, 384109: 32, 97567: 21, 390663: 30, 232490: 26, 601997: 1, 264671: 24, 395026: 29, 179961: 25, 351927: 29, 153201: 22, 539380: 10, 34303: 6, 250627: 23, 282044: 24, 582862: 4, 164914: 22, 287116: 26, 147839: 20, 231921: 22, 288911: 26, 377124: 27, 96152: 19, 478867: 18, 204441: 21, 491232: 15, 66760: 12, 319897: 22, 290310: 23, 408118: 21, 343576: 22, 396975: 23, 191857: 19, 237572: 18, 83579: 15, 559838: 7, 470775: 16, 505694: 11, 42966: 7, 118901: 17, 204071: 17, 574339: 5, 52700: 7, 223020: 16, 392041: 20, 400723: 20, 12229: 3, 496570: 11, 8209: 1, 222728: 15, 58731: 6, 503602: 10, 376723: 18, 578926: 4, 470661: 11, 506823: 8, 84890: 10, 407457: 16, 58125: 5, 526218: 7, 526264: 7, 587872: 3, 590602: 3, 591908: 2, 286457: 16, 531167: 6, 283459: 14, 483363: 7, 308242: 14, 484423: 6, 279122: 13, 590784: 2, 33699: 3, 314806: 12, 365835: 11, 472096: 5, 272880: 12, 410614: 9, 71538: 5, 447137: 7, 12090: 1, 435868: 6, 23703: 1, 387050: 7, 267165: 8, 352029: 7, 86706: 5, 171053: 7, 325025: 6, 592494: 1, 72700: 4, 571374: 1, 217407: 6, 458841: 4, 179118: 6, 315635: 4, 64058: 2, 290864: 4, 71812: 2, 250805: 4, 286453: 3, 416530: 3, 160014: 3, 192329: 3, 112702: 2, 532547: 2, 250563: 2, 468288: 2, 445718: 1, 555386: 1, 38799: 1, 275898: 1}
{331945: 34, 344878: 35, 23242: 4, 358577: 32, 265284: 28, 432575: 27, 383635: 34, 510646: 16, 364576: 31, 597808: 2, 518920: 14, 580011: 6, 61721: 12, 329568: 32, 394834: 31, 512452: 14, 126337: 22, 256244: 26, 377157: 32, 384109: 32, 97567: 21, 390663: 30, 232490: 26, 601997: 1, 264671: 24, 395026: 29, 179961: 25, 351927: 29, 153201: 22, 539380: 10, 34303: 6, 250627: 23, 282044: 24, 582862: 4, 164914: 22, 287116: 26, 147839: 20, 231921: 22, 288911: 26, 377124: 27, 96152: 19, 478867: 18, 204441: 21, 491232: 15, 66760: 12, 319897: 22, 290310: 23, 408118: 21, 343576: 22, 396975: 23, 191857: 19, 237572: 18, 83579: 15, 559838: 7, 470775: 16, 505694: 11, 42966: 7, 118901: 17, 204071: 17, 574339: 5, 52700: 7, 223020: 16, 392041: 20, 400723: 20, 12229: 3, 496570: 11, 8209: 1, 222728: 15, 58731: 6, 503602: 10, 376723: 18, 578926: 4, 470661: 11, 506823: 8, 84890: 10, 407457: 16, 58125: 5, 526218: 7, 526264: 7, 587872: 3, 590602: 3, 591908: 2, 286457: 16, 531167: 6, 283459: 14, 483363: 7, 308242: 14, 484423: 6, 279122: 13, 590784: 2, 33699: 3, 314806: 12, 365835: 11, 472096: 5, 272880: 12, 410614: 9, 71538: 5, 447137: 7, 12090: 1, 435868: 6, 23703: 1, 387050: 7, 267165: 8, 352029: 7, 86706: 5, 171053: 7, 325025: 6, 592494: 1, 72700: 4, 571374: 1, 217407: 6, 458841: 4, 179118: 6, 315635: 4, 64058: 2, 290864: 4, 71812: 2, 250805: 4, 286453: 3, 416530: 3, 160014: 3, 192329: 3, 112702: 2, 532547: 2, 250563: 2, 468288: 2, 445718: 1, 555386: 1, 38799: 1, 275898: 1, 130979: 1, 131143: 1}
{331945: 34, 344878: 36, 23242: 4, 358577: 33, 265284: 28, 432575: 27, 383635: 35, 510646: 16, 364576: 32, 597808: 2, 518920: 14, 580011: 6, 61721: 12, 329568: 32, 394834: 32, 512452: 14, 126337: 22, 256244: 26, 377157: 33, 384109: 33, 97567: 21, 390663: 31, 232490: 26, 601997: 1, 264671: 24, 395026: 30, 179961: 25, 351927: 30, 153201: 22, 539380: 10, 34303: 6, 250627: 23, 282044: 24, 582862: 4, 164914: 22, 287116: 26, 147839: 20, 231921: 22, 288911: 26, 377124: 28, 96152: 19, 478867: 18, 204441: 21, 491232: 15, 66760: 12, 319897: 22, 290310: 23, 408118: 22, 343576: 22, 396975: 24, 191857: 19, 237572: 18, 83579: 15, 559838: 7, 470775: 16, 505694: 11, 42966: 7, 118901: 17, 204071: 17, 574339: 5, 52700: 7, 223020: 16, 392041: 21, 400723: 21, 12229: 3, 496570: 11, 8209: 1, 222728: 15, 58731: 6, 503602: 10, 376723: 19, 578926: 4, 470661: 11, 506823: 8, 84890: 10, 407457: 17, 58125: 5, 526218: 7, 526264: 7, 587872: 3, 590602: 3, 591908: 2, 286457: 16, 531167: 6, 283459: 14, 483363: 7, 308242: 14, 484423: 6, 279122: 13, 590784: 2, 33699: 3, 314806: 12, 365835: 12, 472096: 5, 272880: 12, 410614: 10, 71538: 5, 447137: 7, 12090: 1, 435868: 6, 23703: 1, 387050: 8, 267165: 8, 352029: 8, 86706: 5, 171053: 7, 325025: 6, 592494: 1, 72700: 4, 571374: 1, 217407: 6, 458841: 4, 179118: 6, 315635: 4, 64058: 2, 290864: 4, 71812: 2, 250805: 4, 286453: 3, 416530: 4, 160014: 3, 192329: 3, 112702: 2, 532547: 2, 250563: 2, 468288: 2, 445718: 1, 555386: 1, 38799: 1, 275898: 1, 130979: 1, 131143: 1, 343812: 1, 418835: 1}
{331945: 35, 344878: 36, 23242: 4, 358577: 33, 265284: 29, 432575: 27, 383635: 35, 510646: 16, 364576: 32, 597808: 2, 518920: 14, 580011: 6, 61721: 12, 329568: 33, 394834: 32, 512452: 14, 126337: 23, 256244: 27, 377157: 33, 384109: 33, 97567: 22, 390663: 31, 232490: 27, 601997: 1, 264671: 25, 395026: 30, 179961: 26, 351927: 30, 153201: 23, 539380: 10, 34303: 6, 250627: 24, 282044: 25, 582862: 4, 164914: 23, 287116: 27, 147839: 21, 231921: 23, 288911: 27, 377124: 28, 96152: 20, 478867: 18, 204441: 22, 491232: 15, 66760: 12, 319897: 23, 290310: 24, 408118: 22, 343576: 22, 396975: 24, 191857: 20, 237572: 19, 83579: 16, 559838: 7, 470775: 16, 505694: 11, 42966: 7, 118901: 18, 204071: 18, 574339: 5, 52700: 7, 223020: 17, 392041: 21, 400723: 21, 12229: 3, 496570: 11, 8209: 1, 222728: 16, 58731: 6, 503602: 10, 376723: 19, 578926: 4, 470661: 11, 506823: 8, 84890: 11, 407457: 17, 58125: 5, 526218: 7, 526264: 7, 587872: 3, 590602: 3, 591908: 2, 286457: 17, 531167: 6, 283459: 15, 483363: 7, 308242: 15, 484423: 6, 279122: 14, 590784: 2, 33699: 3, 314806: 13, 365835: 12, 472096: 5, 272880: 13, 410614: 10, 71538: 5, 447137: 7, 12090: 1, 435868: 6, 23703: 1, 387050: 8, 267165: 9, 352029: 8, 86706: 6, 171053: 8, 325025: 7, 592494: 1, 72700: 4, 571374: 1, 217407: 7, 458841: 4, 179118: 7, 315635: 5, 64058: 2, 290864: 5, 71812: 2, 250805: 5, 286453: 4, 416530: 4, 160014: 4, 192329: 4, 112702: 3, 532547: 2, 250563: 3, 468288: 2, 445718: 1, 555386: 1, 38799: 1, 275898: 2, 130979: 2, 131143: 2, 343812: 1, 418835: 1, 81786: 1, 341849: 1}
{331945: 36, 344878: 36, 23242: 5, 358577: 33, 265284: 30, 432575: 27, 383635: 35, 510646: 16, 364576: 32, 597808: 2, 518920: 14, 580011: 6, 61721: 13, 329568: 34, 394834: 32, 512452: 14, 126337: 24, 256244: 28, 377157: 33, 384109: 33, 97567: 23, 390663: 31, 232490: 28, 601997: 1, 264671: 26, 395026: 30, 179961: 27, 351927: 30, 153201: 24, 539380: 10, 34303: 7, 250627: 25, 282044: 26, 582862: 4, 164914: 24, 287116: 28, 147839: 22, 231921: 24, 288911: 28, 377124: 28, 96152: 21, 478867: 18, 204441: 23, 491232: 15, 66760: 13, 319897: 24, 290310: 25, 408118: 22, 343576: 22, 396975: 24, 191857: 21, 237572: 20, 83579: 17, 559838: 7, 470775: 16, 505694: 11, 42966: 8, 118901: 19, 204071: 19, 574339: 5, 52700: 8, 223020: 18, 392041: 21, 400723: 21, 12229: 4, 496570: 11, 8209: 1, 222728: 17, 58731: 7, 503602: 10, 376723: 19, 578926: 4, 470661: 11, 506823: 8, 84890: 12, 407457: 17, 58125: 6, 526218: 7, 526264: 7, 587872: 3, 590602: 3, 591908: 2, 286457: 18, 531167: 6, 283459: 16, 483363: 7, 308242: 16, 484423: 6, 279122: 15, 590784: 2, 33699: 4, 314806: 14, 365835: 12, 472096: 5, 272880: 14, 410614: 10, 71538: 6, 447137: 7, 12090: 2, 435868: 6, 23703: 2, 387050: 8, 267165: 10, 352029: 8, 86706: 7, 171053: 9, 325025: 8, 592494: 1, 72700: 5, 571374: 1, 217407: 8, 458841: 4, 179118: 8, 315635: 6, 64058: 3, 290864: 6, 71812: 3, 250805: 6, 286453: 5, 416530: 4, 160014: 5, 192329: 5, 112702: 4, 532547: 2, 250563: 4, 468288: 2, 445718: 1, 555386: 1, 38799: 2, 275898: 3, 130979: 3, 131143: 3, 343812: 1, 418835: 1, 81786: 2, 341849: 2, 11365: 1, 342704: 1}
{331945: 37, 344878: 37, 23242: 5, 358577: 34, 265284: 31, 432575: 28, 383635: 36, 510646: 17, 364576: 33, 597808: 2, 518920: 15, 580011: 6, 61721: 13, 329568: 35, 394834: 33, 512452: 15, 126337: 24, 256244: 29, 377157: 34, 384109: 34, 97567: 23, 390663: 32, 232490: 29, 601997: 1, 264671: 27, 395026: 31, 179961: 27, 351927: 31, 153201: 24, 539380: 10, 34303: 7, 250627: 26, 282044: 27, 582862: 4, 164914: 24, 287116: 29, 147839: 22, 231921: 25, 288911: 29, 377124: 29, 96152: 21, 478867: 19, 204441: 24, 491232: 16, 66760: 13, 319897: 25, 290310: 26, 408118: 23, 343576: 23, 396975: 25, 191857: 21, 237572: 21, 83579: 17, 559838: 7, 470775: 17, 505694: 12, 42966: 8, 118901: 19, 204071: 20, 574339: 5, 52700: 8, 223020: 19, 392041: 22, 400723: 22, 12229: 4, 496570: 12, 8209: 1, 222728: 18, 58731: 7, 503602: 11, 376723: 20, 578926: 4, 470661: 12, 506823: 9, 84890: 12, 407457: 18, 58125: 6, 526218: 7, 526264: 7, 587872: 3, 590602: 3, 591908: 2, 286457: 19, 531167: 6, 283459: 17, 483363: 8, 308242: 17, 484423: 7, 279122: 16, 590784: 2, 33699: 4, 314806: 15, 365835: 13, 472096: 6, 272880: 15, 410614: 11, 71538: 6, 447137: 8, 12090: 2, 435868: 7, 23703: 2, 387050: 9, 267165: 11, 352029: 9, 86706: 7, 171053: 9, 325025: 9, 592494: 1, 72700: 5, 571374: 1, 217407: 9, 458841: 5, 179118: 8, 315635: 7, 64058: 3, 290864: 7, 71812: 3, 250805: 7, 286453: 6, 416530: 5, 160014: 5, 192329: 5, 112702: 4, 532547: 2, 250563: 5, 468288: 3, 445718: 2, 555386: 1, 38799: 2, 275898: 4, 130979: 3, 131143: 3, 343812: 2, 418835: 2, 81786: 2, 341849: 3, 11365: 1, 342704: 2, 196054: 1, 523249: 1}
{331945: 38, 344878: 38, 23242: 5, 358577: 35, 265284: 32, 432575: 28, 383635: 36, 510646: 17, 364576: 34, 597808: 2, 518920: 15, 580011: 6, 61721: 13, 329568: 36, 394834: 33, 512452: 15, 126337: 24, 256244: 30, 377157: 34, 384109: 34, 97567: 23, 390663: 32, 232490: 30, 601997: 1, 264671: 28, 395026: 31, 179961: 28, 351927: 32, 153201: 24, 539380: 10, 34303: 7, 250627: 27, 282044: 28, 582862: 4, 164914: 25, 287116: 30, 147839: 22, 231921: 26, 288911: 30, 377124: 29, 96152: 21, 478867: 19, 204441: 25, 491232: 16, 66760: 13, 319897: 26, 290310: 27, 408118: 23, 343576: 24, 396975: 25, 191857: 22, 237572: 22, 83579: 17, 559838: 7, 470775: 17, 505694: 12, 42966: 8, 118901: 19, 204071: 21, 574339: 5, 52700: 8, 223020: 20, 392041: 22, 400723: 22, 12229: 4, 496570: 12, 8209: 1, 222728: 19, 58731: 7, 503602: 11, 376723: 20, 578926: 4, 470661: 12, 506823: 9, 84890: 12, 407457: 18, 58125: 6, 526218: 7, 526264: 7, 587872: 3, 590602: 3, 591908: 2, 286457: 20, 531167: 6, 283459: 18, 483363: 8, 308242: 18, 484423: 7, 279122: 17, 590784: 2, 33699: 4, 314806: 16, 365835: 14, 472096: 6, 272880: 16, 410614: 11, 71538: 6, 447137: 8, 12090: 2, 435868: 7, 23703: 2, 387050: 9, 267165: 12, 352029: 10, 86706: 7, 171053: 10, 325025: 10, 592494: 1, 72700: 5, 571374: 1, 217407: 10, 458841: 5, 179118: 9, 315635: 8, 64058: 3, 290864: 8, 71812: 3, 250805: 8, 286453: 7, 416530: 5, 160014: 5, 192329: 6, 112702: 4, 532547: 2, 250563: 6, 468288: 3, 445718: 2, 555386: 1, 38799: 2, 275898: 5, 130979: 3, 131143: 3, 343812: 3, 418835: 2, 81786: 2, 341849: 4, 11365: 1, 342704: 3, 196054: 2, 523249: 1, 160519: 1, 373571: 1}
{331945: 38, 344878: 38, 23242: 5, 358577: 35, 265284: 33, 432575: 28, 383635: 36, 510646: 17, 364576: 34, 597808: 2, 518920: 15, 580011: 6, 61721: 13, 329568: 36, 394834: 33, 512452: 15, 126337: 25, 256244: 31, 377157: 34, 384109: 34, 97567: 24, 390663: 32, 232490: 31, 601997: 1, 264671: 29, 395026: 31, 179961: 29, 351927: 32, 153201: 25, 539380: 10, 34303: 7, 250627: 28, 282044: 29, 582862: 4, 164914: 26, 287116: 31, 147839: 23, 231921: 27, 288911: 31, 377124: 29, 96152: 22, 478867: 19, 204441: 26, 491232: 16, 66760: 13, 319897: 26, 290310: 28, 408118: 23, 343576: 24, 396975: 25, 191857: 23, 237572: 23, 83579: 17, 559838: 7, 470775: 17, 505694: 12, 42966: 8, 118901: 20, 204071: 22, 574339: 5, 52700: 8, 223020: 21, 392041: 22, 400723: 22, 12229: 4, 496570: 12, 8209: 1, 222728: 20, 58731: 7, 503602: 11, 376723: 20, 578926: 4, 470661: 12, 506823: 9, 84890: 12, 407457: 18, 58125: 6, 526218: 7, 526264: 7, 587872: 3, 590602: 3, 591908: 2, 286457: 21, 531167: 6, 283459: 19, 483363: 8, 308242: 18, 484423: 7, 279122: 18, 590784: 2, 33699: 4, 314806: 16, 365835: 14, 472096: 6, 272880: 17, 410614: 11, 71538: 6, 447137: 8, 12090: 2, 435868: 7, 23703: 2, 387050: 9, 267165: 13, 352029: 10, 86706: 7, 171053: 11, 325025: 10, 592494: 1, 72700: 5, 571374: 1, 217407: 11, 458841: 5, 179118: 10, 315635: 8, 64058: 3, 290864: 9, 71812: 3, 250805: 9, 286453: 8, 416530: 5, 160014: 6, 192329: 7, 112702: 5, 532547: 2, 250563: 7, 468288: 3, 445718: 2, 555386: 1, 38799: 2, 275898: 6, 130979: 4, 131143: 4, 343812: 3, 418835: 2, 81786: 2, 341849: 4, 11365: 1, 342704: 3, 196054: 3, 523249: 1, 160519: 2, 373571: 1, 90530: 1, 307845: 1}
{331945: 39, 344878: 39, 23242: 5, 358577: 36, 265284: 33, 432575: 28, 383635: 36, 510646: 17, 364576: 35, 597808: 2, 518920: 15, 580011: 6, 61721: 13, 329568: 37, 394834: 33, 512452: 15, 126337: 25, 256244: 31, 377157: 34, 384109: 34, 97567: 24, 390663: 32, 232490: 31, 601997: 1, 264671: 29, 395026: 31, 179961: 29, 351927: 33, 153201: 25, 539380: 10, 34303: 7, 250627: 28, 282044: 29, 582862: 4, 164914: 26, 287116: 31, 147839: 23, 231921: 27, 288911: 31, 377124: 29, 96152: 22, 478867: 19, 204441: 26, 491232: 16, 66760: 13, 319897: 27, 290310: 28, 408118: 23, 343576: 25, 396975: 25, 191857: 23, 237572: 23, 83579: 17, 559838: 7, 470775: 17, 505694: 12, 42966: 8, 118901: 20, 204071: 22, 574339: 5, 52700: 8, 223020: 21, 392041: 22, 400723: 22, 12229: 4, 496570: 12, 8209: 1, 222728: 20, 58731: 7, 503602: 11, 376723: 20, 578926: 4, 470661: 12, 506823: 9, 84890: 12, 407457: 18, 58125: 6, 526218: 7, 526264: 7, 587872: 3, 590602: 3, 591908: 2, 286457: 21, 531167: 6, 283459: 19, 483363: 8, 308242: 18, 484423: 7, 279122: 18, 590784: 2, 33699: 4, 314806: 16, 365835: 15, 472096: 6, 272880: 17, 410614: 11, 71538: 6, 447137: 8, 12090: 2, 435868: 7, 23703: 2, 387050: 9, 267165: 13, 352029: 11, 86706: 7, 171053: 11, 325025: 11, 592494: 1, 72700: 5, 571374: 1, 217407: 11, 458841: 5, 179118: 10, 315635: 8, 64058: 3, 290864: 9, 71812: 3, 250805: 9, 286453: 8, 416530: 5, 160014: 6, 192329: 7, 112702: 5, 532547: 2, 250563: 7, 468288: 3, 445718: 2, 555386: 1, 38799: 2, 275898: 6, 130979: 4, 131143: 4, 343812: 4, 418835: 2, 81786: 2, 341849: 5, 11365: 1, 342704: 4, 196054: 3, 523249: 1, 160519: 2, 373571: 1, 90530: 1, 307845: 1, 316482: 1, 370220: 1}
{331945: 40, 344878: 40, 23242: 5, 358577: 37, 265284: 34, 432575: 29, 383635: 37, 510646: 18, 364576: 36, 597808: 2, 518920: 16, 580011: 6, 61721: 13, 329568: 38, 394834: 34, 512452: 16, 126337: 25, 256244: 32, 377157: 35, 384109: 35, 97567: 24, 390663: 33, 232490: 32, 601997: 1, 264671: 30, 395026: 32, 179961: 30, 351927: 34, 153201: 26, 539380: 11, 34303: 7, 250627: 29, 282044: 30, 582862: 4, 164914: 27, 287116: 32, 147839: 24, 231921: 28, 288911: 32, 377124: 30, 96152: 22, 478867: 20, 204441: 27, 491232: 17, 66760: 13, 319897: 28, 290310: 29, 408118: 24, 343576: 26, 396975: 26, 191857: 24, 237572: 24, 83579: 17, 559838: 7, 470775: 18, 505694: 13, 42966: 8, 118901: 20, 204071: 23, 574339: 5, 52700: 8, 223020: 22, 392041: 23, 400723: 23, 12229: 4, 496570: 13, 8209: 1, 222728: 21, 58731: 7, 503602: 12, 376723: 21, 578926: 4, 470661: 13, 506823: 10, 84890: 12, 407457: 19, 58125: 6, 526218: 8, 526264: 8, 587872: 3, 590602: 3, 591908: 2, 286457: 22, 531167: 7, 283459: 20, 483363: 9, 308242: 19, 484423: 8, 279122: 19, 590784: 2, 33699: 4, 314806: 17, 365835: 16, 472096: 7, 272880: 18, 410614: 12, 71538: 6, 447137: 9, 12090: 2, 435868: 8, 23703: 2, 387050: 10, 267165: 14, 352029: 12, 86706: 7, 171053: 12, 325025: 12, 592494: 1, 72700: 5, 571374: 1, 217407: 12, 458841: 6, 179118: 11, 315635: 9, 64058: 3, 290864: 10, 71812: 3, 250805: 10, 286453: 9, 416530: 6, 160014: 7, 192329: 8, 112702: 5, 532547: 3, 250563: 8, 468288: 4, 445718: 3, 555386: 1, 38799: 2, 275898: 7, 130979: 4, 131143: 4, 343812: 5, 418835: 3, 81786: 2, 341849: 6, 11365: 1, 342704: 5, 196054: 4, 523249: 2, 160519: 3, 373571: 2, 90530: 1, 307845: 2, 316482: 2, 370220: 2, 134469: 1, 554471: 1}
{331945: 41, 344878: 41, 23242: 5, 358577: 38, 265284: 35, 432575: 29, 383635: 37, 510646: 18, 364576: 37, 597808: 2, 518920: 16, 580011: 6, 61721: 14, 329568: 39, 394834: 34, 512452: 16, 126337: 26, 256244: 33, 377157: 35, 384109: 35, 97567: 25, 390663: 33, 232490: 33, 601997: 1, 264671: 31, 395026: 32, 179961: 31, 351927: 35, 153201: 27, 539380: 11, 34303: 7, 250627: 30, 282044: 31, 582862: 4, 164914: 28, 287116: 33, 147839: 25, 231921: 29, 288911: 33, 377124: 30, 96152: 23, 478867: 20, 204441: 28, 491232: 17, 66760: 14, 319897: 29, 290310: 30, 408118: 24, 343576: 27, 396975: 26, 191857: 25, 237572: 25, 83579: 18, 559838: 7, 470775: 18, 505694: 13, 42966: 8, 118901: 21, 204071: 24, 574339: 5, 52700: 8, 223020: 23, 392041: 23, 400723: 23, 12229: 4, 496570: 13, 8209: 1, 222728: 22, 58731: 8, 503602: 12, 376723: 21, 578926: 4, 470661: 13, 506823: 10, 84890: 13, 407457: 19, 58125: 7, 526218: 8, 526264: 8, 587872: 3, 590602: 3, 591908: 2, 286457: 23, 531167: 7, 283459: 21, 483363: 9, 308242: 20, 484423: 8, 279122: 20, 590784: 2, 33699: 4, 314806: 18, 365835: 17, 472096: 7, 272880: 19, 410614: 12, 71538: 7, 447137: 9, 12090: 2, 435868: 8, 23703: 2, 387050: 10, 267165: 15, 352029: 13, 86706: 8, 171053: 13, 325025: 13, 592494: 1, 72700: 6, 571374: 1, 217407: 13, 458841: 6, 179118: 12, 315635: 10, 64058: 4, 290864: 11, 71812: 4, 250805: 11, 286453: 10, 416530: 6, 160014: 8, 192329: 9, 112702: 6, 532547: 3, 250563: 9, 468288: 4, 445718: 3, 555386: 1, 38799: 2, 275898: 8, 130979: 5, 131143: 5, 343812: 6, 418835: 3, 81786: 3, 341849: 7, 11365: 1, 342704: 6, 196054: 5, 523249: 2, 160519: 4, 373571: 2, 90530: 2, 307845: 3, 316482: 3, 370220: 3, 134469: 2, 554471: 1, 56819: 1, 373147: 1}
{331945: 42, 344878: 42, 23242: 5, 358577: 39, 265284: 36, 432575: 30, 383635: 38, 510646: 19, 364576: 38, 597808: 2, 518920: 17, 580011: 6, 61721: 14, 329568: 40, 394834: 35, 512452: 17, 126337: 26, 256244: 34, 377157: 36, 384109: 36, 97567: 25, 390663: 34, 232490: 33, 601997: 1, 264671: 32, 395026: 33, 179961: 31, 351927: 36, 153201: 27, 539380: 12, 34303: 7, 250627: 31, 282044: 32, 582862: 4, 164914: 28, 287116: 34, 147839: 25, 231921: 29, 288911: 34, 377124: 31, 96152: 23, 478867: 21, 204441: 28, 491232: 18, 66760: 14, 319897: 30, 290310: 31, 408118: 25, 343576: 28, 396975: 27, 191857: 25, 237572: 26, 83579: 18, 559838: 7, 470775: 19, 505694: 14, 42966: 8, 118901: 21, 204071: 24, 574339: 5, 52700: 8, 223020: 23, 392041: 24, 400723: 24, 12229: 4, 496570: 14, 8209: 1, 222728: 22, 58731: 8, 503602: 13, 376723: 22, 578926: 4, 470661: 14, 506823: 11, 84890: 13, 407457: 20, 58125: 7, 526218: 9, 526264: 9, 587872: 3, 590602: 3, 591908: 2, 286457: 24, 531167: 8, 283459: 22, 483363: 10, 308242: 21, 484423: 9, 279122: 21, 590784: 2, 33699: 4, 314806: 19, 365835: 18, 472096: 8, 272880: 20, 410614: 13, 71538: 7, 447137: 10, 12090: 2, 435868: 9, 23703: 2, 387050: 11, 267165: 16, 352029: 14, 86706: 8, 171053: 13, 325025: 14, 592494: 1, 72700: 6, 571374: 1, 217407: 13, 458841: 7, 179118: 12, 315635: 11, 64058: 4, 290864: 12, 71812: 4, 250805: 12, 286453: 11, 416530: 7, 160014: 8, 192329: 9, 112702: 6, 532547: 4, 250563: 10, 468288: 5, 445718: 4, 555386: 2, 38799: 2, 275898: 9, 130979: 5, 131143: 5, 343812: 7, 418835: 4, 81786: 3, 341849: 8, 11365: 1, 342704: 7, 196054: 5, 523249: 3, 160519: 4, 373571: 3, 90530: 2, 307845: 4, 316482: 4, 370220: 4, 134469: 2, 554471: 2, 56819: 1, 373147: 2, 233764: 1, 557153: 1}
{331945: 42, 344878: 42, 23242: 5, 358577: 40, 265284: 36, 432575: 31, 383635: 39, 510646: 20, 364576: 39, 597808: 2, 518920: 18, 580011: 6, 61721: 14, 329568: 40, 394834: 36, 512452: 18, 126337: 26, 256244: 34, 377157: 37, 384109: 37, 97567: 25, 390663: 35, 232490: 33, 601997: 1, 264671: 32, 395026: 34, 179961: 31, 351927: 37, 153201: 27, 539380: 13, 34303: 7, 250627: 31, 282044: 32, 582862: 4, 164914: 28, 287116: 34, 147839: 25, 231921: 29, 288911: 34, 377124: 32, 96152: 23, 478867: 22, 204441: 28, 491232: 19, 66760: 14, 319897: 30, 290310: 31, 408118: 26, 343576: 28, 396975: 28, 191857: 25, 237572: 26, 83579: 18, 559838: 8, 470775: 20, 505694: 15, 42966: 8, 118901: 21, 204071: 24, 574339: 5, 52700: 8, 223020: 23, 392041: 25, 400723: 25, 12229: 4, 496570: 15, 8209: 1, 222728: 22, 58731: 8, 503602: 14, 376723: 23, 578926: 4, 470661: 15, 506823: 12, 84890: 13, 407457: 21, 58125: 7, 526218: 10, 526264: 10, 587872: 3, 590602: 3, 591908: 2, 286457: 24, 531167: 9, 283459: 22, 483363: 11, 308242: 21, 484423: 10, 279122: 21, 590784: 2, 33699: 4, 314806: 19, 365835: 19, 472096: 9, 272880: 20, 410614: 14, 71538: 7, 447137: 11, 12090: 2, 435868: 10, 23703: 2, 387050: 12, 267165: 16, 352029: 15, 86706: 8, 171053: 13, 325025: 14, 592494: 1, 72700: 6, 571374: 1, 217407: 13, 458841: 8, 179118: 12, 315635: 11, 64058: 4, 290864: 12, 71812: 4, 250805: 12, 286453: 11, 416530: 8, 160014: 8, 192329: 9, 112702: 6, 532547: 5, 250563: 10, 468288: 6, 445718: 5, 555386: 3, 38799: 2, 275898: 9, 130979: 5, 131143: 5, 343812: 7, 418835: 5, 81786: 3, 341849: 8, 11365: 1, 342704: 7, 196054: 5, 523249: 4, 160519: 4, 373571: 4, 90530: 2, 307845: 4, 316482: 4, 370220: 5, 134469: 2, 554471: 3, 56819: 1, 373147: 3, 233764: 1, 557153: 2, 348356: 1, 570817: 1}
{331945: 43, 344878: 43, 23242: 5, 358577: 41, 265284: 37, 432575: 32, 383635: 40, 510646: 21, 364576: 40, 597808: 2, 518920: 19, 580011: 6, 61721: 15, 329568: 41, 394834: 37, 512452: 19, 126337: 27, 256244: 35, 377157: 38, 384109: 38, 97567: 26, 390663: 36, 232490: 34, 601997: 1, 264671: 33, 395026: 35, 179961: 32, 351927: 38, 153201: 28, 539380: 14, 34303: 7, 250627: 32, 282044: 33, 582862: 4, 164914: 29, 287116: 35, 147839: 26, 231921: 30, 288911: 35, 377124: 33, 96152: 24, 478867: 23, 204441: 29, 491232: 20, 66760: 15, 319897: 31, 290310: 32, 408118: 27, 343576: 29, 396975: 29, 191857: 26, 237572: 27, 83579: 19, 559838: 8, 470775: 21, 505694: 16, 42966: 8, 118901: 22, 204071: 25, 574339: 5, 52700: 9, 223020: 24, 392041: 26, 400723: 26, 12229: 4, 496570: 16, 8209: 1, 222728: 23, 58731: 9, 503602: 15, 376723: 24, 578926: 4, 470661: 16, 506823: 13, 84890: 14, 407457: 22, 58125: 8, 526218: 11, 526264: 11, 587872: 3, 590602: 3, 591908: 2, 286457: 25, 531167: 10, 283459: 23, 483363: 12, 308242: 22, 484423: 11, 279122: 22, 590784: 2, 33699: 4, 314806: 20, 365835: 20, 472096: 10, 272880: 21, 410614: 15, 71538: 8, 447137: 12, 12090: 2, 435868: 11, 23703: 2, 387050: 13, 267165: 17, 352029: 16, 86706: 9, 171053: 14, 325025: 15, 592494: 1, 72700: 7, 571374: 1, 217407: 14, 458841: 9, 179118: 13, 315635: 12, 64058: 5, 290864: 13, 71812: 5, 250805: 13, 286453: 12, 416530: 9, 160014: 9, 192329: 10, 112702: 7, 532547: 6, 250563: 11, 468288: 7, 445718: 6, 555386: 3, 38799: 2, 275898: 10, 130979: 6, 131143: 6, 343812: 8, 418835: 6, 81786: 4, 341849: 9, 11365: 1, 342704: 8, 196054: 6, 523249: 5, 160519: 5, 373571: 5, 90530: 3, 307845: 5, 316482: 5, 370220: 6, 134469: 3, 554471: 3, 56819: 2, 373147: 4, 233764: 2, 557153: 2, 348356: 2, 570817: 1, 50270: 1, 545928: 1}
{331945: 43, 344878: 43, 23242: 5, 358577: 41, 265284: 37, 432575: 33, 383635: 40, 510646: 22, 364576: 40, 597808: 2, 518920: 20, 580011: 6, 61721: 15, 329568: 41, 394834: 37, 512452: 20, 126337: 27, 256244: 35, 377157: 38, 384109: 38, 97567: 26, 390663: 36, 232490: 34, 601997: 1, 264671: 33, 395026: 35, 179961: 32, 351927: 38, 153201: 28, 539380: 15, 34303: 7, 250627: 32, 282044: 33, 582862: 4, 164914: 29, 287116: 35, 147839: 26, 231921: 30, 288911: 35, 377124: 33, 96152: 24, 478867: 24, 204441: 29, 491232: 21, 66760: 15, 319897: 31, 290310: 32, 408118: 27, 343576: 29, 396975: 29, 191857: 26, 237572: 27, 83579: 19, 559838: 9, 470775: 22, 505694: 17, 42966: 8, 118901: 22, 204071: 25, 574339: 5, 52700: 9, 223020: 24, 392041: 26, 400723: 26, 12229: 4, 496570: 17, 8209: 1, 222728: 23, 58731: 9, 503602: 16, 376723: 24, 578926: 4, 470661: 17, 506823: 14, 84890: 14, 407457: 22, 58125: 8, 526218: 12, 526264: 12, 587872: 3, 590602: 3, 591908: 2, 286457: 25, 531167: 11, 283459: 23, 483363: 13, 308242: 22, 484423: 12, 279122: 22, 590784: 2, 33699: 4, 314806: 20, 365835: 20, 472096: 11, 272880: 21, 410614: 15, 71538: 8, 447137: 13, 12090: 2, 435868: 12, 23703: 2, 387050: 13, 267165: 17, 352029: 16, 86706: 9, 171053: 14, 325025: 15, 592494: 1, 72700: 7, 571374: 1, 217407: 14, 458841: 10, 179118: 13, 315635: 12, 64058: 5, 290864: 13, 71812: 5, 250805: 13, 286453: 12, 416530: 10, 160014: 9, 192329: 10, 112702: 7, 532547: 7, 250563: 11, 468288: 8, 445718: 7, 555386: 4, 38799: 2, 275898: 10, 130979: 6, 131143: 6, 343812: 8, 418835: 7, 81786: 4, 341849: 9, 11365: 1, 342704: 8, 196054: 6, 523249: 6, 160519: 5, 373571: 5, 90530: 3, 307845: 5, 316482: 5, 370220: 6, 134469: 3, 554471: 4, 56819: 2, 373147: 4, 233764: 2, 557153: 3, 348356: 2, 570817: 1, 50270: 1, 545928: 2, 412393: 1, 562076: 1}
{331945: 43, 344878: 43, 23242: 5, 358577: 41, 265284: 38, 432575: 33, 383635: 40, 510646: 22, 364576: 40, 597808: 2, 518920: 20, 580011: 6, 61721: 15, 329568: 41, 394834: 37, 512452: 20, 126337: 27, 256244: 36, 377157: 38, 384109: 38, 97567: 26, 390663: 36, 232490: 35, 601997: 1, 264671: 34, 395026: 35, 179961: 33, 351927: 38, 153201: 28, 539380: 15, 34303: 7, 250627: 33, 282044: 33, 582862: 4, 164914: 29, 287116: 35, 147839: 26, 231921: 31, 288911: 35, 377124: 33, 96152: 24, 478867: 24, 204441: 30, 491232: 21, 66760: 15, 319897: 31, 290310: 32, 408118: 27, 343576: 29, 396975: 29, 191857: 27, 237572: 28, 83579: 19, 559838: 9, 470775: 22, 505694: 17, 42966: 8, 118901: 22, 204071: 26, 574339: 5, 52700: 9, 223020: 25, 392041: 26, 400723: 26, 12229: 4, 496570: 17, 8209: 1, 222728: 24, 58731: 9, 503602: 16, 376723: 24, 578926: 4, 470661: 17, 506823: 14, 84890: 14, 407457: 22, 58125: 8, 526218: 12, 526264: 12, 587872: 3, 590602: 3, 591908: 2, 286457: 25, 531167: 11, 283459: 23, 483363: 13, 308242: 22, 484423: 12, 279122: 22, 590784: 2, 33699: 4, 314806: 20, 365835: 20, 472096: 11, 272880: 21, 410614: 15, 71538: 8, 447137: 13, 12090: 2, 435868: 12, 23703: 2, 387050: 13, 267165: 18, 352029: 16, 86706: 9, 171053: 15, 325025: 15, 592494: 1, 72700: 7, 571374: 1, 217407: 15, 458841: 10, 179118: 14, 315635: 12, 64058: 5, 290864: 13, 71812: 5, 250805: 14, 286453: 12, 416530: 10, 160014: 9, 192329: 11, 112702: 7, 532547: 7, 250563: 12, 468288: 8, 445718: 7, 555386: 4, 38799: 2, 275898: 10, 130979: 6, 131143: 6, 343812: 8, 418835: 7, 81786: 4, 341849: 9, 11365: 1, 342704: 8, 196054: 7, 523249: 6, 160519: 5, 373571: 5, 90530: 3, 307845: 5, 316482: 5, 370220: 6, 134469: 3, 554471: 4, 56819: 2, 373147: 4, 233764: 3, 557153: 3, 348356: 2, 570817: 1, 50270: 1, 545928: 2, 412393: 1, 562076: 1, 167976: 1, 272148: 1}
{331945: 43, 344878: 43, 23242: 5, 358577: 41, 265284: 38, 432575: 33, 383635: 40, 510646: 22, 364576: 40, 597808: 2, 518920: 20, 580011: 6, 61721: 15, 329568: 41, 394834: 37, 512452: 20, 126337: 27, 256244: 36, 377157: 38, 384109: 38, 97567: 26, 390663: 36, 232490: 35, 601997: 1, 264671: 34, 395026: 35, 179961: 33, 351927: 38, 153201: 28, 539380: 15, 34303: 7, 250627: 33, 282044: 33, 582862: 4, 164914: 29, 287116: 35, 147839: 26, 231921: 31, 288911: 35, 377124: 33, 96152: 24, 478867: 24, 204441: 31, 491232: 21, 66760: 15, 319897: 31, 290310: 32, 408118: 27, 343576: 29, 396975: 29, 191857: 27, 237572: 28, 83579: 19, 559838: 9, 470775: 22, 505694: 17, 42966: 8, 118901: 22, 204071: 27, 574339: 5, 52700: 9, 223020: 25, 392041: 26, 400723: 26, 12229: 4, 496570: 17, 8209: 1, 222728: 24, 58731: 9, 503602: 16, 376723: 24, 578926: 4, 470661: 17, 506823: 14, 84890: 14, 407457: 22, 58125: 8, 526218: 12, 526264: 12, 587872: 3, 590602: 3, 591908: 2, 286457: 25, 531167: 11, 283459: 23, 483363: 13, 308242: 22, 484423: 12, 279122: 22, 590784: 2, 33699: 4, 314806: 20, 365835: 20, 472096: 11, 272880: 21, 410614: 15, 71538: 8, 447137: 13, 12090: 2, 435868: 12, 23703: 2, 387050: 13, 267165: 18, 352029: 16, 86706: 9, 171053: 15, 325025: 15, 592494: 1, 72700: 7, 571374: 1, 217407: 16, 458841: 10, 179118: 14, 315635: 12, 64058: 5, 290864: 13, 71812: 5, 250805: 14, 286453: 12, 416530: 10, 160014: 9, 192329: 11, 112702: 7, 532547: 7, 250563: 12, 468288: 8, 445718: 7, 555386: 4, 38799: 2, 275898: 10, 130979: 6, 131143: 6, 343812: 8, 418835: 7, 81786: 4, 341849: 9, 11365: 1, 342704: 8, 196054: 8, 523249: 6, 160519: 5, 373571: 5, 90530: 3, 307845: 5, 316482: 5, 370220: 6, 134469: 3, 554471: 4, 56819: 2, 373147: 4, 233764: 3, 557153: 3, 348356: 2, 570817: 1, 50270: 1, 545928: 2, 412393: 1, 562076: 1, 167976: 1, 272148: 1, 192684: 1, 217445: 1}
{331945: 44, 344878: 44, 23242: 6, 358577: 42, 265284: 39, 432575: 33, 383635: 40, 510646: 22, 364576: 41, 597808: 2, 518920: 20, 580011: 6, 61721: 16, 329568: 42, 394834: 37, 512452: 20, 126337: 28, 256244: 37, 377157: 38, 384109: 38, 97567: 27, 390663: 36, 232490: 36, 601997: 1, 264671: 35, 395026: 35, 179961: 34, 351927: 39, 153201: 29, 539380: 15, 34303: 8, 250627: 34, 282044: 34, 582862: 4, 164914: 30, 287116: 36, 147839: 27, 231921: 32, 288911: 36, 377124: 33, 96152: 25, 478867: 24, 204441: 32, 491232: 21, 66760: 16, 319897: 32, 290310: 33, 408118: 27, 343576: 30, 396975: 29, 191857: 28, 237572: 29, 83579: 20, 559838: 9, 470775: 22, 505694: 17, 42966: 9, 118901: 23, 204071: 28, 574339: 5, 52700: 10, 223020: 26, 392041: 26, 400723: 26, 12229: 5, 496570: 17, 8209: 2, 222728: 25, 58731: 10, 503602: 16, 376723: 24, 578926: 4, 470661: 17, 506823: 14, 84890: 15, 407457: 22, 58125: 9, 526218: 12, 526264: 12, 587872: 3, 590602: 3, 591908: 2, 286457: 26, 531167: 11, 283459: 24, 483363: 13, 308242: 23, 484423: 12, 279122: 23, 590784: 2, 33699: 5, 314806: 21, 365835: 21, 472096: 11, 272880: 22, 410614: 15, 71538: 9, 447137: 13, 12090: 3, 435868: 12, 23703: 3, 387050: 13, 267165: 19, 352029: 17, 86706: 10, 171053: 16, 325025: 16, 592494: 1, 72700: 8, 571374: 1, 217407: 17, 458841: 10, 179118: 15, 315635: 13, 64058: 6, 290864: 14, 71812: 6, 250805: 15, 286453: 13, 416530: 10, 160014: 10, 192329: 12, 112702: 8, 532547: 7, 250563: 13, 468288: 8, 445718: 7, 555386: 4, 38799: 3, 275898: 11, 130979: 7, 131143: 7, 343812: 9, 418835: 7, 81786: 5, 341849: 10, 11365: 2, 342704: 9, 196054: 9, 523249: 6, 160519: 6, 373571: 5, 90530: 4, 307845: 6, 316482: 6, 370220: 7, 134469: 4, 554471: 4, 56819: 3, 373147: 4, 233764: 4, 557153: 3, 348356: 3, 570817: 1, 50270: 2, 545928: 2, 412393: 1, 562076: 1, 167976: 2, 272148: 2, 192684: 2, 217445: 2, 5660: 1, 370806: 1}
{331945: 45, 344878: 45, 23242: 6, 358577: 43, 265284: 40, 432575: 33, 383635: 41, 510646: 22, 364576: 42, 597808: 2, 518920: 20, 580011: 6, 61721: 16, 329568: 43, 394834: 38, 512452: 20, 126337: 28, 256244: 37, 377157: 39, 384109: 39, 97567: 27, 390663: 37, 232490: 36, 601997: 1, 264671: 36, 395026: 36, 179961: 34, 351927: 40, 153201: 29, 539380: 15, 34303: 8, 250627: 34, 282044: 35, 582862: 4, 164914: 30, 287116: 37, 147839: 27, 231921: 32, 288911: 37, 377124: 34, 96152: 25, 478867: 24, 204441: 32, 491232: 21, 66760: 16, 319897: 33, 290310: 34, 408118: 27, 343576: 31, 396975: 30, 191857: 28, 237572: 29, 83579: 20, 559838: 9, 470775: 22, 505694: 17, 42966: 9, 118901: 23, 204071: 28, 574339: 5, 52700: 10, 223020: 26, 392041: 27, 400723: 27, 12229: 5, 496570: 17, 8209: 2, 222728: 25, 58731: 10, 503602: 16, 376723: 25, 578926: 4, 470661: 17, 506823: 14, 84890: 15, 407457: 22, 58125: 9, 526218: 12, 526264: 12, 587872: 3, 590602: 3, 591908: 2, 286457: 27, 531167: 11, 283459: 25, 483363: 13, 308242: 24, 484423: 12, 279122: 24, 590784: 2, 33699: 5, 314806: 22, 365835: 22, 472096: 11, 272880: 23, 410614: 15, 71538: 9, 447137: 13, 12090: 3, 435868: 12, 23703: 3, 387050: 14, 267165: 20, 352029: 18, 86706: 10, 171053: 16, 325025: 17, 592494: 1, 72700: 8, 571374: 1, 217407: 17, 458841: 10, 179118: 15, 315635: 14, 64058: 6, 290864: 15, 71812: 6, 250805: 15, 286453: 14, 416530: 10, 160014: 10, 192329: 12, 112702: 8, 532547: 7, 250563: 13, 468288: 8, 445718: 7, 555386: 4, 38799: 3, 275898: 12, 130979: 7, 131143: 7, 343812: 10, 418835: 7, 81786: 5, 341849: 11, 11365: 2, 342704: 10, 196054: 9, 523249: 6, 160519: 6, 373571: 6, 90530: 4, 307845: 7, 316482: 7, 370220: 8, 134469: 4, 554471: 4, 56819: 3, 373147: 5, 233764: 4, 557153: 3, 348356: 4, 570817: 1, 50270: 2, 545928: 2, 412393: 1, 562076: 1, 167976: 2, 272148: 3, 192684: 2, 217445: 2, 5660: 1, 370806: 2, 264335: 1, 403677: 1}
{331945: 45, 344878: 45, 23242: 6, 358577: 43, 265284: 40, 432575: 33, 383635: 41, 510646: 23, 364576: 42, 597808: 2, 518920: 21, 580011: 6, 61721: 16, 329568: 43, 394834: 38, 512452: 21, 126337: 28, 256244: 37, 377157: 39, 384109: 39, 97567: 27, 390663: 37, 232490: 36, 601997: 1, 264671: 36, 395026: 36, 179961: 34, 351927: 40, 153201: 29, 539380: 16, 34303: 8, 250627: 34, 282044: 35, 582862: 4, 164914: 30, 287116: 37, 147839: 27, 231921: 32, 288911: 37, 377124: 34, 96152: 25, 478867: 24, 204441: 32, 491232: 21, 66760: 16, 319897: 33, 290310: 34, 408118: 27, 343576: 31, 396975: 30, 191857: 28, 237572: 29, 83579: 20, 559838: 9, 470775: 22, 505694: 17, 42966: 9, 118901: 23, 204071: 28, 574339: 5, 52700: 10, 223020: 26, 392041: 27, 400723: 27, 12229: 5, 496570: 17, 8209: 2, 222728: 25, 58731: 10, 503602: 16, 376723: 25, 578926: 4, 470661: 17, 506823: 14, 84890: 15, 407457: 22, 58125: 9, 526218: 13, 526264: 13, 587872: 3, 590602: 3, 591908: 2, 286457: 27, 531167: 12, 283459: 25, 483363: 13, 308242: 24, 484423: 12, 279122: 24, 590784: 2, 33699: 5, 314806: 22, 365835: 22, 472096: 11, 272880: 23, 410614: 15, 71538: 9, 447137: 13, 12090: 3, 435868: 12, 23703: 3, 387050: 14, 267165: 20, 352029: 18, 86706: 10, 171053: 16, 325025: 17, 592494: 1, 72700: 8, 571374: 1, 217407: 17, 458841: 10, 179118: 15, 315635: 14, 64058: 6, 290864: 15, 71812: 6, 250805: 15, 286453: 14, 416530: 10, 160014: 10, 192329: 12, 112702: 8, 532547: 8, 250563: 13, 468288: 8, 445718: 7, 555386: 4, 38799: 3, 275898: 12, 130979: 7, 131143: 7, 343812: 10, 418835: 7, 81786: 5, 341849: 11, 11365: 2, 342704: 10, 196054: 9, 523249: 7, 160519: 6, 373571: 6, 90530: 4, 307845: 7, 316482: 7, 370220: 8, 134469: 4, 554471: 4, 56819: 3, 373147: 5, 233764: 4, 557153: 3, 348356: 4, 570817: 1, 50270: 2, 545928: 2, 412393: 1, 562076: 1, 167976: 2, 272148: 3, 192684: 2, 217445: 2, 5660: 1, 370806: 2, 264335: 1, 403677: 1, 509483: 1, 545777: 1}
{331945: 46, 344878: 46, 23242: 6, 358577: 44, 265284: 41, 432575: 33, 383635: 42, 510646: 23, 364576: 43, 597808: 2, 518920: 21, 580011: 6, 61721: 16, 329568: 44, 394834: 39, 512452: 21, 126337: 29, 256244: 38, 377157: 40, 384109: 40, 97567: 28, 390663: 38, 232490: 37, 601997: 1, 264671: 37, 395026: 37, 179961: 35, 351927: 41, 153201: 30, 539380: 16, 34303: 8, 250627: 35, 282044: 36, 582862: 4, 164914: 31, 287116: 38, 147839: 28, 231921: 33, 288911: 38, 377124: 35, 96152: 26, 478867: 24, 204441: 33, 491232: 21, 66760: 16, 319897: 34, 290310: 35, 408118: 28, 343576: 32, 396975: 31, 191857: 29, 237572: 30, 83579: 21, 559838: 9, 470775: 22, 505694: 17, 42966: 9, 118901: 24, 204071: 29, 574339: 5, 52700: 10, 223020: 27, 392041: 28, 400723: 28, 12229: 5, 496570: 17, 8209: 2, 222728: 26, 58731: 10, 503602: 16, 376723: 26, 578926: 4, 470661: 17, 506823: 14, 84890: 16, 407457: 23, 58125: 9, 526218: 13, 526264: 13, 587872: 3, 590602: 3, 591908: 2, 286457: 28, 531167: 12, 283459: 26, 483363: 13, 308242: 25, 484423: 12, 279122: 25, 590784: 2, 33699: 5, 314806: 23, 365835: 23, 472096: 11, 272880: 24, 410614: 16, 71538: 9, 447137: 13, 12090: 3, 435868: 12, 23703: 3, 387050: 15, 267165: 21, 352029: 19, 86706: 11, 171053: 17, 325025: 18, 592494: 1, 72700: 8, 571374: 1, 217407: 18, 458841: 10, 179118: 16, 315635: 15, 64058: 6, 290864: 16, 71812: 6, 250805: 16, 286453: 15, 416530: 11, 160014: 11, 192329: 13, 112702: 9, 532547: 8, 250563: 14, 468288: 8, 445718: 7, 555386: 4, 38799: 3, 275898: 13, 130979: 8, 131143: 8, 343812: 11, 418835: 8, 81786: 6, 341849: 12, 11365: 2, 342704: 11, 196054: 10, 523249: 7, 160519: 7, 373571: 7, 90530: 5, 307845: 8, 316482: 8, 370220: 9, 134469: 5, 554471: 4, 56819: 3, 373147: 6, 233764: 5, 557153: 3, 348356: 5, 570817: 1, 50270: 2, 545928: 2, 412393: 2, 562076: 1, 167976: 3, 272148: 4, 192684: 3, 217445: 3, 5660: 1, 370806: 3, 264335: 2, 403677: 2, 509483: 1, 545777: 1, 79717: 1, 421956: 1}
{331945: 47, 344878: 47, 23242: 6, 358577: 45, 265284: 42, 432575: 33, 383635: 43, 510646: 23, 364576: 44, 597808: 2, 518920: 21, 580011: 6, 61721: 17, 329568: 45, 394834: 39, 512452: 21, 126337: 30, 256244: 39, 377157: 41, 384109: 41, 97567: 29, 390663: 39, 232490: 38, 601997: 1, 264671: 38, 395026: 37, 179961: 36, 351927: 42, 153201: 31, 539380: 16, 34303: 8, 250627: 36, 282044: 37, 582862: 4, 164914: 32, 287116: 39, 147839: 29, 231921: 34, 288911: 39, 377124: 36, 96152: 27, 478867: 24, 204441: 34, 491232: 21, 66760: 17, 319897: 35, 290310: 36, 408118: 28, 343576: 33, 396975: 31, 191857: 30, 237572: 31, 83579: 22, 559838: 9, 470775: 22, 505694: 17, 42966: 9, 118901: 25, 204071: 30, 574339: 5, 52700: 10, 223020: 28, 392041: 28, 400723: 28, 12229: 5, 496570: 17, 8209: 2, 222728: 27, 58731: 10, 503602: 16, 376723: 27, 578926: 4, 470661: 17, 506823: 14, 84890: 17, 407457: 23, 58125: 9, 526218: 13, 526264: 13, 587872: 3, 590602: 3, 591908: 2, 286457: 29, 531167: 12, 283459: 27, 483363: 13, 308242: 26, 484423: 12, 279122: 26, 590784: 2, 33699: 5, 314806: 24, 365835: 24, 472096: 11, 272880: 25, 410614: 16, 71538: 10, 447137: 13, 12090: 3, 435868: 12, 23703: 3, 387050: 16, 267165: 22, 352029: 20, 86706: 12, 171053: 18, 325025: 19, 592494: 1, 72700: 9, 571374: 1, 217407: 19, 458841: 10, 179118: 17, 315635: 16, 64058: 7, 290864: 17, 71812: 7, 250805: 17, 286453: 16, 416530: 11, 160014: 12, 192329: 14, 112702: 10, 532547: 8, 250563: 15, 468288: 8, 445718: 7, 555386: 4, 38799: 3, 275898: 14, 130979: 9, 131143: 9, 343812: 12, 418835: 8, 81786: 7, 341849: 13, 11365: 2, 342704: 12, 196054: 11, 523249: 7, 160519: 8, 373571: 8, 90530: 6, 307845: 9, 316482: 9, 370220: 10, 134469: 6, 554471: 4, 56819: 3, 373147: 7, 233764: 6, 557153: 3, 348356: 6, 570817: 1, 50270: 2, 545928: 2, 412393: 2, 562076: 1, 167976: 4, 272148: 5, 192684: 4, 217445: 4, 5660: 1, 370806: 4, 264335: 3, 403677: 2, 509483: 1, 545777: 1, 79717: 2, 421956: 1, 60049: 1, 391437: 1}
{331945: 48, 344878: 48, 23242: 6, 358577: 46, 265284: 43, 432575: 34, 383635: 44, 510646: 23, 364576: 45, 597808: 2, 518920: 21, 580011: 6, 61721: 18, 329568: 46, 394834: 40, 512452: 21, 126337: 31, 256244: 40, 377157: 42, 384109: 42, 97567: 30, 390663: 40, 232490: 39, 601997: 1, 264671: 39, 395026: 38, 179961: 37, 351927: 43, 153201: 32, 539380: 16, 34303: 8, 250627: 37, 282044: 38, 582862: 4, 164914: 33, 287116: 40, 147839: 30, 231921: 35, 288911: 40, 377124: 37, 96152: 28, 478867: 24, 204441: 35, 491232: 21, 66760: 18, 319897: 36, 290310: 37, 408118: 29, 343576: 34, 396975: 32, 191857: 31, 237572: 32, 83579: 23, 559838: 9, 470775: 22, 505694: 17, 42966: 10, 118901: 26, 204071: 31, 574339: 5, 52700: 11, 223020: 29, 392041: 29, 400723: 29, 12229: 5, 496570: 17, 8209: 2, 222728: 28, 58731: 11, 503602: 16, 376723: 28, 578926: 4, 470661: 17, 506823: 14, 84890: 18, 407457: 24, 58125: 10, 526218: 13, 526264: 13, 587872: 3, 590602: 3, 591908: 2, 286457: 30, 531167: 12, 283459: 28, 483363: 13, 308242: 27, 484423: 12, 279122: 27, 590784: 2, 33699: 5, 314806: 25, 365835: 25, 472096: 11, 272880: 26, 410614: 17, 71538: 11, 447137: 13, 12090: 3, 435868: 12, 23703: 3, 387050: 17, 267165: 23, 352029: 21, 86706: 13, 171053: 19, 325025: 20, 592494: 1, 72700: 10, 571374: 1, 217407: 20, 458841: 10, 179118: 18, 315635: 17, 64058: 8, 290864: 18, 71812: 8, 250805: 18, 286453: 17, 416530: 12, 160014: 13, 192329: 15, 112702: 11, 532547: 8, 250563: 16, 468288: 8, 445718: 7, 555386: 4, 38799: 4, 275898: 15, 130979: 10, 131143: 10, 343812: 13, 418835: 9, 81786: 8, 341849: 14, 11365: 2, 342704: 13, 196054: 12, 523249: 7, 160519: 9, 373571: 9, 90530: 7, 307845: 10, 316482: 10, 370220: 11, 134469: 7, 554471: 4, 56819: 4, 373147: 8, 233764: 7, 557153: 3, 348356: 7, 570817: 1, 50270: 3, 545928: 2, 412393: 3, 562076: 1, 167976: 5, 272148: 6, 192684: 5, 217445: 5, 5660: 1, 370806: 5, 264335: 4, 403677: 3, 509483: 1, 545777: 1, 79717: 3, 421956: 2, 60049: 2, 391437: 2, 36427: 1, 433264: 1}
{331945: 48, 344878: 48, 23242: 6, 358577: 46, 265284: 43, 432575: 34, 383635: 44, 510646: 24, 364576: 45, 597808: 2, 518920: 22, 580011: 7, 61721: 18, 329568: 46, 394834: 40, 512452: 22, 126337: 31, 256244: 40, 377157: 42, 384109: 42, 97567: 30, 390663: 40, 232490: 39, 601997: 1, 264671: 39, 395026: 38, 179961: 37, 351927: 43, 153201: 32, 539380: 17, 34303: 8, 250627: 37, 282044: 38, 582862: 5, 164914: 33, 287116: 40, 147839: 30, 231921: 35, 288911: 40, 377124: 37, 96152: 28, 478867: 24, 204441: 35, 491232: 21, 66760: 18, 319897: 36, 290310: 37, 408118: 29, 343576: 34, 396975: 32, 191857: 31, 237572: 32, 83579: 23, 559838: 10, 470775: 22, 505694: 17, 42966: 10, 118901: 26, 204071: 31, 574339: 6, 52700: 11, 223020: 29, 392041: 29, 400723: 29, 12229: 5, 496570: 17, 8209: 2, 222728: 28, 58731: 11, 503602: 16, 376723: 28, 578926: 5, 470661: 17, 506823: 14, 84890: 18, 407457: 24, 58125: 10, 526218: 14, 526264: 14, 587872: 3, 590602: 3, 591908: 2, 286457: 30, 531167: 13, 283459: 28, 483363: 13, 308242: 27, 484423: 12, 279122: 27, 590784: 2, 33699: 5, 314806: 25, 365835: 25, 472096: 11, 272880: 26, 410614: 17, 71538: 11, 447137: 13, 12090: 3, 435868: 12, 23703: 3, 387050: 17, 267165: 23, 352029: 21, 86706: 13, 171053: 19, 325025: 20, 592494: 1, 72700: 10, 571374: 2, 217407: 20, 458841: 10, 179118: 18, 315635: 17, 64058: 8, 290864: 18, 71812: 8, 250805: 18, 286453: 17, 416530: 12, 160014: 13, 192329: 15, 112702: 11, 532547: 9, 250563: 16, 468288: 8, 445718: 7, 555386: 5, 38799: 4, 275898: 15, 130979: 10, 131143: 10, 343812: 13, 418835: 9, 81786: 8, 341849: 14, 11365: 2, 342704: 13, 196054: 12, 523249: 8, 160519: 9, 373571: 9, 90530: 7, 307845: 10, 316482: 10, 370220: 11, 134469: 7, 554471: 5, 56819: 4, 373147: 8, 233764: 7, 557153: 4, 348356: 7, 570817: 2, 50270: 3, 545928: 3, 412393: 3, 562076: 2, 167976: 5, 272148: 6, 192684: 5, 217445: 5, 5660: 1, 370806: 5, 264335: 4, 403677: 3, 509483: 2, 545777: 2, 79717: 3, 421956: 2, 60049: 2, 391437: 2, 36427: 1, 433264: 1, 508904: 1, 586580: 1}
{331945: 49, 344878: 49, 23242: 6, 358577: 47, 265284: 44, 432575: 34, 383635: 45, 510646: 24, 364576: 46, 597808: 2, 518920: 22, 580011: 7, 61721: 18, 329568: 47, 394834: 41, 512452: 22, 126337: 31, 256244: 41, 377157: 43, 384109: 43, 97567: 30, 390663: 41, 232490: 40, 601997: 1, 264671: 40, 395026: 39, 179961: 38, 351927: 44, 153201: 32, 539380: 17, 34303: 8, 250627: 38, 282044: 39, 582862: 5, 164914: 33, 287116: 41, 147839: 30, 231921: 36, 288911: 41, 377124: 38, 96152: 28, 478867: 24, 204441: 36, 491232: 21, 66760: 18, 319897: 37, 290310: 38, 408118: 29, 343576: 35, 396975: 33, 191857: 32, 237572: 33, 83579: 23, 559838: 10, 470775: 22, 505694: 17, 42966: 10, 118901: 26, 204071: 32, 574339: 6, 52700: 11, 223020: 30, 392041: 30, 400723: 30, 12229: 5, 496570: 17, 8209: 2, 222728: 29, 58731: 11, 503602: 16, 376723: 29, 578926: 5, 470661: 17, 506823: 14, 84890: 18, 407457: 24, 58125: 10, 526218: 14, 526264: 14, 587872: 3, 590602: 3, 591908: 2, 286457: 31, 531167: 13, 283459: 29, 483363: 13, 308242: 28, 484423: 12, 279122: 28, 590784: 2, 33699: 5, 314806: 26, 365835: 26, 472096: 11, 272880: 27, 410614: 17, 71538: 11, 447137: 13, 12090: 3, 435868: 12, 23703: 3, 387050: 18, 267165: 24, 352029: 22, 86706: 13, 171053: 19, 325025: 21, 592494: 1, 72700: 10, 571374: 2, 217407: 21, 458841: 10, 179118: 19, 315635: 18, 64058: 8, 290864: 19, 71812: 8, 250805: 19, 286453: 18, 416530: 12, 160014: 13, 192329: 16, 112702: 11, 532547: 9, 250563: 17, 468288: 8, 445718: 7, 555386: 5, 38799: 4, 275898: 16, 130979: 10, 131143: 10, 343812: 14, 418835: 9, 81786: 8, 341849: 15, 11365: 2, 342704: 14, 196054: 13, 523249: 8, 160519: 9, 373571: 10, 90530: 7, 307845: 11, 316482: 11, 370220: 12, 134469: 7, 554471: 5, 56819: 4, 373147: 9, 233764: 8, 557153: 4, 348356: 8, 570817: 2, 50270: 3, 545928: 3, 412393: 3, 562076: 2, 167976: 5, 272148: 7, 192684: 6, 217445: 6, 5660: 1, 370806: 6, 264335: 5, 403677: 3, 509483: 2, 545777: 2, 79717: 3, 421956: 2, 60049: 2, 391437: 3, 36427: 1, 433264: 1, 508904: 1, 586580: 1, 175045: 1, 403288: 1}
{331945: 50, 344878: 50, 23242: 6, 358577: 48, 265284: 45, 432575: 34, 383635: 46, 510646: 24, 364576: 47, 597808: 2, 518920: 22, 580011: 7, 61721: 18, 329568: 48, 394834: 42, 512452: 22, 126337: 31, 256244: 42, 377157: 44, 384109: 44, 97567: 30, 390663: 42, 232490: 41, 601997: 1, 264671: 41, 395026: 40, 179961: 39, 351927: 45, 153201: 32, 539380: 17, 34303: 8, 250627: 39, 282044: 40, 582862: 5, 164914: 34, 287116: 42, 147839: 30, 231921: 37, 288911: 42, 377124: 39, 96152: 28, 478867: 24, 204441: 37, 491232: 21, 66760: 18, 319897: 38, 290310: 39, 408118: 29, 343576: 36, 396975: 33, 191857: 33, 237572: 34, 83579: 23, 559838: 10, 470775: 22, 505694: 17, 42966: 10, 118901: 26, 204071: 33, 574339: 6, 52700: 11, 223020: 31, 392041: 31, 400723: 30, 12229: 5, 496570: 17, 8209: 2, 222728: 30, 58731: 11, 503602: 16, 376723: 30, 578926: 5, 470661: 17, 506823: 14, 84890: 18, 407457: 24, 58125: 10, 526218: 14, 526264: 14, 587872: 3, 590602: 3, 591908: 2, 286457: 32, 531167: 13, 283459: 30, 483363: 13, 308242: 29, 484423: 12, 279122: 29, 590784: 2, 33699: 5, 314806: 27, 365835: 27, 472096: 11, 272880: 28, 410614: 17, 71538: 11, 447137: 13, 12090: 3, 435868: 12, 23703: 3, 387050: 19, 267165: 25, 352029: 23, 86706: 13, 171053: 20, 325025: 22, 592494: 1, 72700: 10, 571374: 2, 217407: 22, 458841: 10, 179118: 20, 315635: 19, 64058: 8, 290864: 20, 71812: 8, 250805: 20, 286453: 19, 416530: 12, 160014: 13, 192329: 17, 112702: 11, 532547: 9, 250563: 18, 468288: 8, 445718: 7, 555386: 5, 38799: 4, 275898: 17, 130979: 10, 131143: 10, 343812: 15, 418835: 9, 81786: 8, 341849: 16, 11365: 2, 342704: 15, 196054: 14, 523249: 8, 160519: 10, 373571: 11, 90530: 7, 307845: 12, 316482: 12, 370220: 13, 134469: 7, 554471: 5, 56819: 4, 373147: 10, 233764: 9, 557153: 4, 348356: 9, 570817: 2, 50270: 3, 545928: 3, 412393: 3, 562076: 2, 167976: 6, 272148: 8, 192684: 7, 217445: 7, 5660: 1, 370806: 7, 264335: 6, 403677: 3, 509483: 2, 545777: 2, 79717: 3, 421956: 2, 60049: 2, 391437: 4, 36427: 1, 433264: 1, 508904: 1, 586580: 1, 175045: 2, 403288: 1, 160120: 1, 395046: 1}
{331945: 51, 344878: 51, 23242: 6, 358577: 49, 265284: 46, 432575: 34, 383635: 47, 510646: 24, 364576: 48, 597808: 2, 518920: 22, 580011: 7, 61721: 18, 329568: 49, 394834: 43, 512452: 22, 126337: 32, 256244: 43, 377157: 45, 384109: 45, 97567: 30, 390663: 43, 232490: 42, 601997: 1, 264671: 42, 395026: 41, 179961: 40, 351927: 46, 153201: 33, 539380: 17, 34303: 8, 250627: 40, 282044: 41, 582862: 5, 164914: 35, 287116: 43, 147839: 31, 231921: 38, 288911: 43, 377124: 40, 96152: 28, 478867: 24, 204441: 38, 491232: 21, 66760: 18, 319897: 39, 290310: 40, 408118: 29, 343576: 37, 396975: 34, 191857: 34, 237572: 35, 83579: 23, 559838: 10, 470775: 22, 505694: 17, 42966: 10, 118901: 27, 204071: 34, 574339: 6, 52700: 11, 223020: 32, 392041: 32, 400723: 31, 12229: 5, 496570: 17, 8209: 2, 222728: 31, 58731: 11, 503602: 16, 376723: 31, 578926: 5, 470661: 17, 506823: 14, 84890: 18, 407457: 24, 58125: 10, 526218: 14, 526264: 14, 587872: 3, 590602: 3, 591908: 2, 286457: 33, 531167: 13, 283459: 31, 483363: 13, 308242: 30, 484423: 12, 279122: 30, 590784: 2, 33699: 5, 314806: 28, 365835: 28, 472096: 11, 272880: 29, 410614: 17, 71538: 11, 447137: 13, 12090: 3, 435868: 12, 23703: 3, 387050: 20, 267165: 26, 352029: 24, 86706: 13, 171053: 21, 325025: 23, 592494: 1, 72700: 10, 571374: 2, 217407: 23, 458841: 10, 179118: 21, 315635: 20, 64058: 8, 290864: 21, 71812: 8, 250805: 21, 286453: 20, 416530: 12, 160014: 14, 192329: 18, 112702: 12, 532547: 9, 250563: 19, 468288: 8, 445718: 7, 555386: 5, 38799: 4, 275898: 18, 130979: 11, 131143: 11, 343812: 16, 418835: 9, 81786: 8, 341849: 17, 11365: 2, 342704: 16, 196054: 15, 523249: 8, 160519: 11, 373571: 12, 90530: 7, 307845: 13, 316482: 13, 370220: 14, 134469: 8, 554471: 5, 56819: 4, 373147: 11, 233764: 10, 557153: 4, 348356: 10, 570817: 2, 50270: 3, 545928: 3, 412393: 3, 562076: 2, 167976: 7, 272148: 9, 192684: 8, 217445: 8, 5660: 1, 370806: 8, 264335: 7, 403677: 4, 509483: 2, 545777: 2, 79717: 3, 421956: 2, 60049: 2, 391437: 5, 36427: 1, 433264: 1, 508904: 1, 586580: 1, 175045: 3, 403288: 2, 160120: 2, 395046: 2, 110802: 1, 405629: 1}
{331945: 51, 344878: 51, 23242: 6, 358577: 49, 265284: 46, 432575: 34, 383635: 47, 510646: 24, 364576: 48, 597808: 2, 518920: 22, 580011: 7, 61721: 18, 329568: 49, 394834: 43, 512452: 22, 126337: 33, 256244: 43, 377157: 45, 384109: 45, 97567: 30, 390663: 43, 232490: 43, 601997: 1, 264671: 42, 395026: 41, 179961: 41, 351927: 46, 153201: 34, 539380: 17, 34303: 8, 250627: 40, 282044: 41, 582862: 5, 164914: 36, 287116: 43, 147839: 32, 231921: 39, 288911: 43, 377124: 40, 96152: 28, 478867: 24, 204441: 39, 491232: 21, 66760: 18, 319897: 39, 290310: 40, 408118: 29, 343576: 37, 396975: 34, 191857: 35, 237572: 36, 83579: 23, 559838: 10, 470775: 22, 505694: 17, 42966: 10, 118901: 28, 204071: 35, 574339: 6, 52700: 11, 223020: 33, 392041: 32, 400723: 31, 12229: 5, 496570: 17, 8209: 2, 222728: 32, 58731: 11, 503602: 16, 376723: 31, 578926: 5, 470661: 17, 506823: 14, 84890: 18, 407457: 24, 58125: 10, 526218: 14, 526264: 14, 587872: 3, 590602: 3, 591908: 2, 286457: 33, 531167: 13, 283459: 31, 483363: 13, 308242: 30, 484423: 12, 279122: 30, 590784: 2, 33699: 5, 314806: 28, 365835: 28, 472096: 11, 272880: 29, 410614: 17, 71538: 11, 447137: 13, 12090: 3, 435868: 12, 23703: 3, 387050: 20, 267165: 26, 352029: 24, 86706: 13, 171053: 22, 325025: 23, 592494: 1, 72700: 10, 571374: 2, 217407: 24, 458841: 10, 179118: 22, 315635: 20, 64058: 8, 290864: 21, 71812: 8, 250805: 21, 286453: 20, 416530: 12, 160014: 15, 192329: 19, 112702: 13, 532547: 9, 250563: 19, 468288: 8, 445718: 7, 555386: 5, 38799: 4, 275898: 18, 130979: 12, 131143: 12, 343812: 16, 418835: 9, 81786: 8, 341849: 17, 11365: 2, 342704: 16, 196054: 16, 523249: 8, 160519: 12, 373571: 12, 90530: 7, 307845: 13, 316482: 13, 370220: 14, 134469: 9, 554471: 5, 56819: 4, 373147: 11, 233764: 11, 557153: 4, 348356: 10, 570817: 2, 50270: 3, 545928: 3, 412393: 3, 562076: 2, 167976: 8, 272148: 9, 192684: 9, 217445: 9, 5660: 1, 370806: 8, 264335: 7, 403677: 4, 509483: 2, 545777: 2, 79717: 3, 421956: 2, 60049: 2, 391437: 5, 36427: 1, 433264: 1, 508904: 1, 586580: 1, 175045: 4, 403288: 2, 160120: 3, 395046: 2, 110802: 2, 405629: 1, 103373: 1, 240618: 1}
{331945: 52, 344878: 52, 23242: 6, 358577: 49, 265284: 47, 432575: 34, 383635: 47, 510646: 24, 364576: 48, 597808: 2, 518920: 22, 580011: 7, 61721: 18, 329568: 50, 394834: 43, 512452: 22, 126337: 33, 256244: 44, 377157: 45, 384109: 45, 97567: 30, 390663: 43, 232490: 44, 601997: 1, 264671: 43, 395026: 41, 179961: 42, 351927: 47, 153201: 35, 539380: 17, 34303: 8, 250627: 41, 282044: 42, 582862: 5, 164914: 37, 287116: 44, 147839: 33, 231921: 40, 288911: 44, 377124: 40, 96152: 28, 478867: 24, 204441: 40, 491232: 21, 66760: 18, 319897: 40, 290310: 41, 408118: 29, 343576: 38, 396975: 34, 191857: 36, 237572: 37, 83579: 23, 559838: 10, 470775: 22, 505694: 17, 42966: 10, 118901: 28, 204071: 36, 574339: 6, 52700: 11, 223020: 34, 392041: 32, 400723: 31, 12229: 5, 496570: 17, 8209: 2, 222728: 33, 58731: 11, 503602: 16, 376723: 31, 578926: 5, 470661: 17, 506823: 14, 84890: 18, 407457: 24, 58125: 10, 526218: 14, 526264: 14, 587872: 3, 590602: 3, 591908: 2, 286457: 34, 531167: 13, 283459: 32, 483363: 13, 308242: 31, 484423: 12, 279122: 31, 590784: 2, 33699: 5, 314806: 29, 365835: 28, 472096: 11, 272880: 30, 410614: 17, 71538: 11, 447137: 13, 12090: 3, 435868: 12, 23703: 3, 387050: 20, 267165: 27, 352029: 25, 86706: 13, 171053: 23, 325025: 24, 592494: 1, 72700: 10, 571374: 2, 217407: 25, 458841: 10, 179118: 23, 315635: 21, 64058: 8, 290864: 22, 71812: 8, 250805: 22, 286453: 21, 416530: 12, 160014: 16, 192329: 20, 112702: 13, 532547: 9, 250563: 20, 468288: 8, 445718: 7, 555386: 5, 38799: 4, 275898: 19, 130979: 13, 131143: 13, 343812: 17, 418835: 9, 81786: 8, 341849: 18, 11365: 2, 342704: 17, 196054: 17, 523249: 8, 160519: 13, 373571: 12, 90530: 7, 307845: 14, 316482: 14, 370220: 14, 134469: 10, 554471: 5, 56819: 4, 373147: 11, 233764: 12, 557153: 4, 348356: 11, 570817: 2, 50270: 3, 545928: 3, 412393: 3, 562076: 2, 167976: 9, 272148: 10, 192684: 10, 217445: 10, 5660: 1, 370806: 8, 264335: 8, 403677: 4, 509483: 2, 545777: 2, 79717: 3, 421956: 2, 60049: 2, 391437: 5, 36427: 1, 433264: 1, 508904: 1, 586580: 1, 175045: 5, 403288: 2, 160120: 4, 395046: 2, 110802: 2, 405629: 1, 103373: 1, 240618: 2, 127248: 1, 354747: 1}
{331945: 53, 344878: 52, 23242: 6, 358577: 49, 265284: 48, 432575: 34, 383635: 47, 510646: 24, 364576: 48, 597808: 2, 518920: 22, 580011: 7, 61721: 18, 329568: 51, 394834: 43, 512452: 22, 126337: 33, 256244: 45, 377157: 45, 384109: 45, 97567: 30, 390663: 43, 232490: 45, 601997: 1, 264671: 44, 395026: 41, 179961: 42, 351927: 47, 153201: 35, 539380: 17, 34303: 8, 250627: 42, 282044: 43, 582862: 5, 164914: 37, 287116: 45, 147839: 33, 231921: 41, 288911: 45, 377124: 40, 96152: 28, 478867: 24, 204441: 40, 491232: 21, 66760: 18, 319897: 41, 290310: 42, 408118: 29, 343576: 38, 396975: 34, 191857: 36, 237572: 38, 83579: 23, 559838: 10, 470775: 22, 505694: 17, 42966: 10, 118901: 28, 204071: 36, 574339: 6, 52700: 11, 223020: 35, 392041: 32, 400723: 31, 12229: 5, 496570: 17, 8209: 2, 222728: 34, 58731: 11, 503602: 16, 376723: 31, 578926: 5, 470661: 17, 506823: 14, 84890: 18, 407457: 24, 58125: 10, 526218: 14, 526264: 14, 587872: 3, 590602: 3, 591908: 2, 286457: 35, 531167: 13, 283459: 33, 483363: 13, 308242: 32, 484423: 12, 279122: 32, 590784: 2, 33699: 5, 314806: 30, 365835: 28, 472096: 11, 272880: 31, 410614: 17, 71538: 11, 447137: 13, 12090: 3, 435868: 12, 23703: 3, 387050: 20, 267165: 28, 352029: 25, 86706: 13, 171053: 23, 325025: 25, 592494: 1, 72700: 10, 571374: 2, 217407: 26, 458841: 10, 179118: 23, 315635: 22, 64058: 8, 290864: 23, 71812: 8, 250805: 23, 286453: 22, 416530: 12, 160014: 16, 192329: 20, 112702: 13, 532547: 9, 250563: 21, 468288: 8, 445718: 7, 555386: 5, 38799: 4, 275898: 20, 130979: 13, 131143: 13, 343812: 17, 418835: 9, 81786: 8, 341849: 18, 11365: 2, 342704: 17, 196054: 17, 523249: 8, 160519: 13, 373571: 12, 90530: 7, 307845: 15, 316482: 15, 370220: 14, 134469: 10, 554471: 5, 56819: 4, 373147: 11, 233764: 13, 557153: 4, 348356: 11, 570817: 2, 50270: 3, 545928: 3, 412393: 3, 562076: 2, 167976: 9, 272148: 11, 192684: 10, 217445: 11, 5660: 1, 370806: 8, 264335: 9, 403677: 4, 509483: 2, 545777: 2, 79717: 3, 421956: 2, 60049: 2, 391437: 5, 36427: 1, 433264: 1, 508904: 1, 586580: 1, 175045: 5, 403288: 2, 160120: 4, 395046: 2, 110802: 2, 405629: 1, 103373: 1, 240618: 3, 127248: 1, 354747: 1, 216625: 1, 334369: 1}
{331945: 53, 344878: 52, 23242: 7, 358577: 49, 265284: 48, 432575: 34, 383635: 47, 510646: 24, 364576: 48, 597808: 2, 518920: 22, 580011: 7, 61721: 19, 329568: 51, 394834: 43, 512452: 22, 126337: 33, 256244: 45, 377157: 45, 384109: 45, 97567: 30, 390663: 43, 232490: 45, 601997: 1, 264671: 44, 395026: 41, 179961: 42, 351927: 47, 153201: 35, 539380: 17, 34303: 9, 250627: 42, 282044: 43, 582862: 5, 164914: 37, 287116: 45, 147839: 33, 231921: 41, 288911: 45, 377124: 40, 96152: 28, 478867: 24, 204441: 40, 491232: 21, 66760: 19, 319897: 41, 290310: 42, 408118: 29, 343576: 38, 396975: 34, 191857: 36, 237572: 38, 83579: 23, 559838: 10, 470775: 22, 505694: 17, 42966: 11, 118901: 28, 204071: 36, 574339: 6, 52700: 12, 223020: 35, 392041: 32, 400723: 31, 12229: 6, 496570: 17, 8209: 2, 222728: 34, 58731: 12, 503602: 16, 376723: 31, 578926: 5, 470661: 17, 506823: 14, 84890: 18, 407457: 24, 58125: 11, 526218: 14, 526264: 14, 587872: 3, 590602: 3, 591908: 2, 286457: 35, 531167: 13, 283459: 33, 483363: 13, 308242: 32, 484423: 12, 279122: 32, 590784: 2, 33699: 6, 314806: 30, 365835: 28, 472096: 11, 272880: 31, 410614: 17, 71538: 12, 447137: 13, 12090: 3, 435868: 12, 23703: 4, 387050: 20, 267165: 28, 352029: 25, 86706: 13, 171053: 23, 325025: 25, 592494: 1, 72700: 11, 571374: 2, 217407: 26, 458841: 10, 179118: 23, 315635: 22, 64058: 9, 290864: 23, 71812: 9, 250805: 23, 286453: 22, 416530: 12, 160014: 16, 192329: 20, 112702: 13, 532547: 9, 250563: 21, 468288: 8, 445718: 7, 555386: 5, 38799: 5, 275898: 20, 130979: 13, 131143: 13, 343812: 17, 418835: 9, 81786: 8, 341849: 18, 11365: 2, 342704: 17, 196054: 17, 523249: 8, 160519: 13, 373571: 12, 90530: 7, 307845: 15, 316482: 15, 370220: 14, 134469: 10, 554471: 5, 56819: 5, 373147: 11, 233764: 13, 557153: 4, 348356: 11, 570817: 2, 50270: 4, 545928: 3, 412393: 3, 562076: 2, 167976: 9, 272148: 11, 192684: 10, 217445: 11, 5660: 1, 370806: 8, 264335: 9, 403677: 4, 509483: 2, 545777: 2, 79717: 3, 421956: 2, 60049: 3, 391437: 5, 36427: 2, 433264: 1, 508904: 1, 586580: 1, 175045: 5, 403288: 2, 160120: 4, 395046: 2, 110802: 2, 405629: 1, 103373: 1, 240618: 3, 127248: 1, 354747: 1, 216625: 1, 334369: 1, 12162: 1, 77980: 1}
{331945: 54, 344878: 53, 23242: 7, 358577: 50, 265284: 49, 432575: 35, 383635: 48, 510646: 24, 364576: 49, 597808: 2, 518920: 22, 580011: 7, 61721: 19, 329568: 52, 394834: 44, 512452: 22, 126337: 34, 256244: 46, 377157: 46, 384109: 46, 97567: 30, 390663: 44, 232490: 46, 601997: 1, 264671: 45, 395026: 42, 179961: 43, 351927: 48, 153201: 36, 539380: 17, 34303: 9, 250627: 43, 282044: 44, 582862: 5, 164914: 38, 287116: 46, 147839: 34, 231921: 42, 288911: 46, 377124: 41, 96152: 28, 478867: 24, 204441: 41, 491232: 21, 66760: 19, 319897: 42, 290310: 43, 408118: 30, 343576: 39, 396975: 35, 191857: 37, 237572: 39, 83579: 23, 559838: 10, 470775: 22, 505694: 17, 42966: 11, 118901: 29, 204071: 37, 574339: 6, 52700: 12, 223020: 36, 392041: 33, 400723: 32, 12229: 6, 496570: 17, 8209: 2, 222728: 35, 58731: 12, 503602: 16, 376723: 32, 578926: 5, 470661: 17, 506823: 14, 84890: 18, 407457: 25, 58125: 11, 526218: 14, 526264: 14, 587872: 3, 590602: 3, 591908: 2, 286457: 36, 531167: 13, 283459: 34, 483363: 13, 308242: 33, 484423: 12, 279122: 33, 590784: 2, 33699: 6, 314806: 31, 365835: 29, 472096: 11, 272880: 32, 410614: 18, 71538: 12, 447137: 14, 12090: 3, 435868: 13, 23703: 4, 387050: 21, 267165: 29, 352029: 26, 86706: 13, 171053: 24, 325025: 26, 592494: 1, 72700: 11, 571374: 2, 217407: 27, 458841: 10, 179118: 24, 315635: 23, 64058: 9, 290864: 24, 71812: 9, 250805: 24, 286453: 23, 416530: 13, 160014: 17, 192329: 21, 112702: 14, 532547: 9, 250563: 22, 468288: 8, 445718: 8, 555386: 5, 38799: 5, 275898: 21, 130979: 14, 131143: 14, 343812: 18, 418835: 10, 81786: 8, 341849: 19, 11365: 2, 342704: 18, 196054: 18, 523249: 8, 160519: 14, 373571: 13, 90530: 7, 307845: 16, 316482: 16, 370220: 15, 134469: 11, 554471: 5, 56819: 5, 373147: 12, 233764: 14, 557153: 4, 348356: 12, 570817: 2, 50270: 4, 545928: 3, 412393: 4, 562076: 2, 167976: 10, 272148: 12, 192684: 11, 217445: 12, 5660: 1, 370806: 9, 264335: 10, 403677: 5, 509483: 2, 545777: 2, 79717: 3, 421956: 3, 60049: 3, 391437: 6, 36427: 2, 433264: 2, 508904: 1, 586580: 1, 175045: 6, 403288: 3, 160120: 5, 395046: 3, 110802: 3, 405629: 2, 103373: 2, 240618: 4, 127248: 2, 354747: 2, 216625: 2, 334369: 2, 12162: 1, 77980: 1, 99763: 1, 454045: 1}
{331945: 55, 344878: 54, 23242: 7, 358577: 51, 265284: 50, 432575: 36, 383635: 49, 510646: 24, 364576: 50, 597808: 2, 518920: 22, 580011: 7, 61721: 19, 329568: 53, 394834: 45, 512452: 22, 126337: 34, 256244: 47, 377157: 47, 384109: 47, 97567: 30, 390663: 45, 232490: 47, 601997: 1, 264671: 46, 395026: 43, 179961: 43, 351927: 49, 153201: 36, 539380: 17, 34303: 9, 250627: 44, 282044: 45, 582862: 5, 164914: 38, 287116: 47, 147839: 34, 231921: 43, 288911: 47, 377124: 42, 96152: 28, 478867: 25, 204441: 42, 491232: 22, 66760: 19, 319897: 43, 290310: 44, 408118: 31, 343576: 40, 396975: 36, 191857: 38, 237572: 40, 83579: 23, 559838: 10, 470775: 23, 505694: 17, 42966: 11, 118901: 29, 204071: 38, 574339: 6, 52700: 12, 223020: 37, 392041: 34, 400723: 33, 12229: 6, 496570: 18, 8209: 2, 222728: 36, 58731: 12, 503602: 16, 376723: 33, 578926: 5, 470661: 18, 506823: 14, 84890: 18, 407457: 26, 58125: 11, 526218: 14, 526264: 14, 587872: 3, 590602: 3, 591908: 2, 286457: 37, 531167: 13, 283459: 35, 483363: 14, 308242: 34, 484423: 13, 279122: 34, 590784: 2, 33699: 6, 314806: 32, 365835: 30, 472096: 12, 272880: 33, 410614: 19, 71538: 12, 447137: 15, 12090: 3, 435868: 14, 23703: 4, 387050: 22, 267165: 30, 352029: 27, 86706: 13, 171053: 24, 325025: 27, 592494: 1, 72700: 11, 571374: 2, 217407: 28, 458841: 11, 179118: 24, 315635: 24, 64058: 9, 290864: 25, 71812: 9, 250805: 25, 286453: 24, 416530: 14, 160014: 17, 192329: 22, 112702: 14, 532547: 9, 250563: 23, 468288: 9, 445718: 9, 555386: 5, 38799: 5, 275898: 22, 130979: 14, 131143: 14, 343812: 19, 418835: 11, 81786: 8, 341849: 20, 11365: 2, 342704: 19, 196054: 19, 523249: 8, 160519: 14, 373571: 14, 90530: 7, 307845: 17, 316482: 17, 370220: 16, 134469: 11, 554471: 5, 56819: 5, 373147: 13, 233764: 15, 557153: 4, 348356: 13, 570817: 2, 50270: 4, 545928: 3, 412393: 5, 562076: 2, 167976: 10, 272148: 13, 192684: 12, 217445: 13, 5660: 1, 370806: 10, 264335: 11, 403677: 6, 509483: 2, 545777: 2, 79717: 3, 421956: 4, 60049: 3, 391437: 7, 36427: 2, 433264: 3, 508904: 1, 586580: 1, 175045: 6, 403288: 4, 160120: 5, 395046: 4, 110802: 3, 405629: 3, 103373: 2, 240618: 5, 127248: 2, 354747: 3, 216625: 3, 334369: 3, 12162: 1, 77980: 1, 99763: 1, 454045: 2, 190784: 1, 501376: 1}
{331945: 56, 344878: 55, 23242: 7, 358577: 52, 265284: 51, 432575: 36, 383635: 49, 510646: 24, 364576: 51, 597808: 2, 518920: 22, 580011: 7, 61721: 19, 329568: 54, 394834: 45, 512452: 22, 126337: 34, 256244: 48, 377157: 47, 384109: 47, 97567: 30, 390663: 45, 232490: 48, 601997: 1, 264671: 47, 395026: 43, 179961: 43, 351927: 50, 153201: 36, 539380: 17, 34303: 9, 250627: 45, 282044: 46, 582862: 5, 164914: 38, 287116: 48, 147839: 34, 231921: 44, 288911: 48, 377124: 42, 96152: 28, 478867: 25, 204441: 42, 491232: 22, 66760: 19, 319897: 44, 290310: 45, 408118: 31, 343576: 41, 396975: 36, 191857: 38, 237572: 41, 83579: 23, 559838: 10, 470775: 23, 505694: 17, 42966: 11, 118901: 29, 204071: 38, 574339: 6, 52700: 12, 223020: 37, 392041: 34, 400723: 33, 12229: 6, 496570: 18, 8209: 2, 222728: 36, 58731: 12, 503602: 16, 376723: 33, 578926: 5, 470661: 18, 506823: 14, 84890: 18, 407457: 26, 58125: 11, 526218: 14, 526264: 14, 587872: 3, 590602: 3, 591908: 2, 286457: 38, 531167: 13, 283459: 36, 483363: 14, 308242: 35, 484423: 13, 279122: 35, 590784: 2, 33699: 6, 314806: 33, 365835: 31, 472096: 12, 272880: 34, 410614: 19, 71538: 12, 447137: 15, 12090: 3, 435868: 14, 23703: 4, 387050: 22, 267165: 31, 352029: 28, 86706: 13, 171053: 24, 325025: 28, 592494: 1, 72700: 11, 571374: 2, 217407: 28, 458841: 11, 179118: 24, 315635: 25, 64058: 9, 290864: 26, 71812: 9, 250805: 26, 286453: 25, 416530: 14, 160014: 17, 192329: 22, 112702: 14, 532547: 9, 250563: 24, 468288: 9, 445718: 9, 555386: 5, 38799: 5, 275898: 23, 130979: 14, 131143: 14, 343812: 20, 418835: 11, 81786: 8, 341849: 21, 11365: 2, 342704: 20, 196054: 19, 523249: 8, 160519: 14, 373571: 14, 90530: 7, 307845: 18, 316482: 18, 370220: 16, 134469: 11, 554471: 5, 56819: 5, 373147: 13, 233764: 16, 557153: 4, 348356: 14, 570817: 2, 50270: 4, 545928: 3, 412393: 5, 562076: 2, 167976: 10, 272148: 14, 192684: 12, 217445: 13, 5660: 1, 370806: 10, 264335: 12, 403677: 6, 509483: 2, 545777: 2, 79717: 3, 421956: 4, 60049: 3, 391437: 7, 36427: 2, 433264: 3, 508904: 1, 586580: 1, 175045: 6, 403288: 4, 160120: 5, 395046: 4, 110802: 3, 405629: 3, 103373: 2, 240618: 6, 127248: 2, 354747: 4, 216625: 3, 334369: 4, 12162: 1, 77980: 1, 99763: 1, 454045: 2, 190784: 1, 501376: 1, 223675: 1, 367641: 1}
{331945: 56, 344878: 55, 23242: 8, 358577: 52, 265284: 51, 432575: 36, 383635: 49, 510646: 24, 364576: 51, 597808: 2, 518920: 22, 580011: 7, 61721: 20, 329568: 54, 394834: 45, 512452: 22, 126337: 35, 256244: 48, 377157: 47, 384109: 47, 97567: 31, 390663: 45, 232490: 48, 601997: 1, 264671: 47, 395026: 43, 179961: 44, 351927: 50, 153201: 37, 539380: 17, 34303: 10, 250627: 45, 282044: 46, 582862: 5, 164914: 39, 287116: 48, 147839: 35, 231921: 44, 288911: 48, 377124: 42, 96152: 29, 478867: 25, 204441: 43, 491232: 22, 66760: 20, 319897: 44, 290310: 45, 408118: 31, 343576: 41, 396975: 36, 191857: 39, 237572: 41, 83579: 24, 559838: 10, 470775: 23, 505694: 17, 42966: 12, 118901: 30, 204071: 39, 574339: 6, 52700: 13, 223020: 37, 392041: 34, 400723: 33, 12229: 7, 496570: 18, 8209: 3, 222728: 36, 58731: 13, 503602: 16, 376723: 33, 578926: 5, 470661: 18, 506823: 14, 84890: 19, 407457: 26, 58125: 12, 526218: 14, 526264: 14, 587872: 3, 590602: 3, 591908: 2, 286457: 38, 531167: 13, 283459: 36, 483363: 14, 308242: 35, 484423: 13, 279122: 35, 590784: 2, 33699: 7, 314806: 33, 365835: 31, 472096: 12, 272880: 34, 410614: 19, 71538: 13, 447137: 15, 12090: 4, 435868: 14, 23703: 5, 387050: 22, 267165: 31, 352029: 28, 86706: 14, 171053: 25, 325025: 28, 592494: 1, 72700: 12, 571374: 2, 217407: 29, 458841: 11, 179118: 25, 315635: 25, 64058: 10, 290864: 26, 71812: 10, 250805: 26, 286453: 25, 416530: 14, 160014: 18, 192329: 23, 112702: 15, 532547: 9, 250563: 24, 468288: 9, 445718: 9, 555386: 5, 38799: 6, 275898: 23, 130979: 15, 131143: 15, 343812: 20, 418835: 11, 81786: 9, 341849: 21, 11365: 3, 342704: 20, 196054: 20, 523249: 8, 160519: 15, 373571: 14, 90530: 8, 307845: 18, 316482: 18, 370220: 16, 134469: 12, 554471: 5, 56819: 6, 373147: 13, 233764: 16, 557153: 4, 348356: 14, 570817: 2, 50270: 5, 545928: 3, 412393: 5, 562076: 2, 167976: 11, 272148: 14, 192684: 13, 217445: 14, 5660: 2, 370806: 10, 264335: 12, 403677: 6, 509483: 2, 545777: 2, 79717: 4, 421956: 4, 60049: 4, 391437: 7, 36427: 3, 433264: 3, 508904: 1, 586580: 1, 175045: 7, 403288: 4, 160120: 6, 395046: 4, 110802: 4, 405629: 3, 103373: 3, 240618: 6, 127248: 3, 354747: 4, 216625: 4, 334369: 4, 12162: 2, 77980: 2, 99763: 2, 454045: 2, 190784: 2, 501376: 1, 223675: 1, 367641: 1, 2841: 1, 219987: 1}
{331945: 56, 344878: 55, 23242: 8, 358577: 52, 265284: 51, 432575: 36, 383635: 49, 510646: 24, 364576: 51, 597808: 2, 518920: 22, 580011: 7, 61721: 20, 329568: 54, 394834: 45, 512452: 22, 126337: 36, 256244: 48, 377157: 47, 384109: 47, 97567: 32, 390663: 45, 232490: 48, 601997: 1, 264671: 47, 395026: 43, 179961: 45, 351927: 50, 153201: 38, 539380: 17, 34303: 10, 250627: 45, 282044: 46, 582862: 5, 164914: 40, 287116: 48, 147839: 36, 231921: 44, 288911: 48, 377124: 42, 96152: 30, 478867: 25, 204441: 43, 491232: 22, 66760: 20, 319897: 44, 290310: 45, 408118: 31, 343576: 41, 396975: 36, 191857: 40, 237572: 41, 83579: 24, 559838: 10, 470775: 23, 505694: 17, 42966: 12, 118901: 31, 204071: 39, 574339: 6, 52700: 13, 223020: 37, 392041: 34, 400723: 33, 12229: 7, 496570: 18, 8209: 3, 222728: 36, 58731: 13, 503602: 16, 376723: 33, 578926: 5, 470661: 18, 506823: 14, 84890: 19, 407457: 26, 58125: 12, 526218: 14, 526264: 14, 587872: 3, 590602: 3, 591908: 2, 286457: 38, 531167: 13, 283459: 36, 483363: 14, 308242: 35, 484423: 13, 279122: 35, 590784: 2, 33699: 7, 314806: 33, 365835: 31, 472096: 12, 272880: 34, 410614: 19, 71538: 13, 447137: 15, 12090: 4, 435868: 14, 23703: 5, 387050: 22, 267165: 31, 352029: 28, 86706: 14, 171053: 26, 325025: 28, 592494: 1, 72700: 12, 571374: 2, 217407: 29, 458841: 11, 179118: 26, 315635: 25, 64058: 10, 290864: 26, 71812: 10, 250805: 26, 286453: 25, 416530: 14, 160014: 19, 192329: 24, 112702: 16, 532547: 9, 250563: 24, 468288: 9, 445718: 9, 555386: 5, 38799: 6, 275898: 23, 130979: 16, 131143: 16, 343812: 20, 418835: 11, 81786: 9, 341849: 21, 11365: 3, 342704: 20, 196054: 21, 523249: 8, 160519: 16, 373571: 14, 90530: 9, 307845: 18, 316482: 18, 370220: 16, 134469: 13, 554471: 5, 56819: 6, 373147: 13, 233764: 16, 557153: 4, 348356: 14, 570817: 2, 50270: 5, 545928: 3, 412393: 5, 562076: 2, 167976: 12, 272148: 14, 192684: 14, 217445: 14, 5660: 2, 370806: 10, 264335: 12, 403677: 6, 509483: 2, 545777: 2, 79717: 4, 421956: 4, 60049: 4, 391437: 7, 36427: 3, 433264: 3, 508904: 1, 586580: 1, 175045: 8, 403288: 4, 160120: 7, 395046: 4, 110802: 5, 405629: 3, 103373: 4, 240618: 6, 127248: 4, 354747: 4, 216625: 4, 334369: 4, 12162: 2, 77980: 2, 99763: 3, 454045: 2, 190784: 3, 501376: 1, 223675: 1, 367641: 1, 2841: 1, 219987: 1, 88574: 1, 196602: 1}
56