0 {46155: 1, 255469: 1} {46155: 1, 255469: 2, 137504: 1, 304813: 1} {46155: 1, 255469: 2, 137504: 1, 304813: 2, 257937: 1, 471726: 1} {46155: 1, 255469: 3, 137504: 1, 304813: 3, 257937: 2, 471726: 1, 192928: 1, 376970: 1} {46155: 1, 255469: 3, 137504: 1, 304813: 4, 257937: 2, 471726: 1, 192928: 1, 376970: 2, 265168: 1, 383699: 1} {46155: 1, 255469: 3, 137504: 1, 304813: 4, 257937: 2, 471726: 2, 192928: 1, 376970: 2, 265168: 1, 383699: 1, 397363: 1, 591669: 1} {46155: 1, 255469: 3, 137504: 1, 304813: 4, 257937: 2, 471726: 2, 192928: 1, 376970: 3, 265168: 1, 383699: 2, 397363: 2, 591669: 1, 316275: 1, 437581: 1} {46155: 1, 255469: 4, 137504: 1, 304813: 4, 257937: 3, 471726: 2, 192928: 2, 376970: 3, 265168: 2, 383699: 2, 397363: 2, 591669: 1, 316275: 1, 437581: 1, 156736: 1, 275556: 1} {46155: 1, 255469: 5, 137504: 1, 304813: 5, 257937: 4, 471726: 3, 192928: 2, 376970: 4, 265168: 3, 383699: 3, 397363: 3, 591669: 1, 316275: 2, 437581: 2, 156736: 1, 275556: 2, 250940: 1, 591527: 1} {46155: 1, 255469: 5, 137504: 1, 304813: 5, 257937: 4, 471726: 3, 192928: 3, 376970: 4, 265168: 3, 383699: 3, 397363: 3, 591669: 1, 316275: 2, 437581: 2, 156736: 1, 275556: 2, 250940: 1, 591527: 1, 186299: 1, 245081: 1} {46155: 2, 255469: 6, 137504: 2, 304813: 6, 257937: 5, 471726: 3, 192928: 4, 376970: 4, 265168: 4, 383699: 3, 397363: 3, 591669: 1, 316275: 3, 437581: 2, 156736: 2, 275556: 3, 250940: 2, 591527: 1, 186299: 2, 245081: 2, 864: 1, 325704: 1} {46155: 2, 255469: 7, 137504: 2, 304813: 7, 257937: 6, 471726: 3, 192928: 5, 376970: 5, 265168: 5, 383699: 4, 397363: 4, 591669: 1, 316275: 4, 437581: 2, 156736: 2, 275556: 4, 250940: 3, 591527: 1, 186299: 3, 245081: 3, 864: 1, 325704: 2, 159600: 1, 403586: 1} {46155: 2, 255469: 8, 137504: 3, 304813: 7, 257937: 7, 471726: 3, 192928: 6, 376970: 5, 265168: 6, 383699: 4, 397363: 4, 591669: 1, 316275: 4, 437581: 2, 156736: 3, 275556: 5, 250940: 4, 591527: 1, 186299: 4, 245081: 4, 864: 1, 325704: 2, 159600: 2, 403586: 1, 55804: 1, 303098: 1} {46155: 2, 255469: 9, 137504: 4, 304813: 7, 257937: 8, 471726: 3, 192928: 7, 376970: 5, 265168: 7, 383699: 4, 397363: 4, 591669: 1, 316275: 4, 437581: 2, 156736: 4, 275556: 5, 250940: 5, 591527: 1, 186299: 5, 245081: 5, 864: 1, 325704: 2, 159600: 3, 403586: 1, 55804: 2, 303098: 1, 52466: 1, 265828: 1} {46155: 3, 255469: 10, 137504: 5, 304813: 8, 257937: 9, 471726: 3, 192928: 8, 376970: 6, 265168: 8, 383699: 5, 397363: 5, 591669: 1, 316275: 5, 437581: 2, 156736: 5, 275556: 6, 250940: 6, 591527: 1, 186299: 6, 245081: 6, 864: 1, 325704: 3, 159600: 4, 403586: 2, 55804: 3, 303098: 2, 52466: 2, 265828: 2, 43580: 1, 429070: 1} {46155: 3, 255469: 11, 137504: 5, 304813: 9, 257937: 10, 471726: 4, 192928: 8, 376970: 7, 265168: 9, 383699: 6, 397363: 6, 591669: 1, 316275: 6, 437581: 3, 156736: 5, 275556: 7, 250940: 6, 591527: 1, 186299: 6, 245081: 6, 864: 1, 325704: 4, 159600: 4, 403586: 3, 55804: 3, 303098: 3, 52466: 2, 265828: 3, 43580: 1, 429070: 2, 253653: 1, 472825: 1} {46155: 3, 255469: 12, 137504: 5, 304813: 10, 257937: 11, 471726: 4, 192928: 9, 376970: 7, 265168: 10, 383699: 6, 397363: 6, 591669: 1, 316275: 7, 437581: 3, 156736: 5, 275556: 8, 250940: 7, 591527: 1, 186299: 7, 245081: 7, 864: 1, 325704: 4, 159600: 4, 403586: 3, 55804: 3, 303098: 4, 52466: 2, 265828: 4, 43580: 1, 429070: 2, 253653: 2, 472825: 1, 162363: 1, 317146: 1} {46155: 4, 255469: 13, 137504: 6, 304813: 11, 257937: 12, 471726: 4, 192928: 10, 376970: 8, 265168: 11, 383699: 7, 397363: 7, 591669: 1, 316275: 8, 437581: 3, 156736: 6, 275556: 9, 250940: 8, 591527: 1, 186299: 8, 245081: 8, 864: 1, 325704: 5, 159600: 5, 403586: 4, 55804: 4, 303098: 5, 52466: 3, 265828: 5, 43580: 2, 429070: 2, 253653: 3, 472825: 1, 162363: 2, 317146: 2, 9624: 1, 414091: 1} {46155: 4, 255469: 13, 137504: 6, 304813: 12, 257937: 12, 471726: 4, 192928: 10, 376970: 9, 265168: 11, 383699: 8, 397363: 8, 591669: 1, 316275: 9, 437581: 3, 156736: 6, 275556: 9, 250940: 8, 591527: 1, 186299: 8, 245081: 8, 864: 1, 325704: 6, 159600: 5, 403586: 5, 55804: 4, 303098: 6, 52466: 3, 265828: 5, 43580: 2, 429070: 2, 253653: 3, 472825: 1, 162363: 2, 317146: 3, 9624: 1, 414091: 2, 302349: 1, 421066: 1} {46155: 4, 255469: 13, 137504: 6, 304813: 12, 257937: 12, 471726: 4, 192928: 10, 376970: 10, 265168: 11, 383699: 9, 397363: 9, 591669: 1, 316275: 9, 437581: 4, 156736: 6, 275556: 9, 250940: 8, 591527: 1, 186299: 8, 245081: 8, 864: 1, 325704: 7, 159600: 5, 403586: 6, 55804: 4, 303098: 6, 52466: 3, 265828: 5, 43580: 2, 429070: 3, 253653: 3, 472825: 1, 162363: 2, 317146: 3, 9624: 1, 414091: 3, 302349: 1, 421066: 2, 319214: 1, 445571: 1} {46155: 4, 255469: 13, 137504: 6, 304813: 12, 257937: 12, 471726: 5, 192928: 10, 376970: 10, 265168: 11, 383699: 9, 397363: 9, 591669: 1, 316275: 9, 437581: 5, 156736: 6, 275556: 9, 250940: 8, 591527: 1, 186299: 8, 245081: 8, 864: 1, 325704: 7, 159600: 5, 403586: 6, 55804: 4, 303098: 6, 52466: 3, 265828: 5, 43580: 2, 429070: 4, 253653: 3, 472825: 2, 162363: 2, 317146: 3, 9624: 1, 414091: 4, 302349: 1, 421066: 3, 319214: 1, 445571: 2, 410826: 1, 577906: 1} {46155: 4, 255469: 13, 137504: 6, 304813: 13, 257937: 12, 471726: 6, 192928: 10, 376970: 11, 265168: 11, 383699: 10, 397363: 10, 591669: 1, 316275: 10, 437581: 6, 156736: 6, 275556: 9, 250940: 8, 591527: 1, 186299: 8, 245081: 8, 864: 1, 325704: 8, 159600: 5, 403586: 7, 55804: 4, 303098: 7, 52466: 3, 265828: 5, 43580: 2, 429070: 5, 253653: 3, 472825: 3, 162363: 2, 317146: 4, 9624: 1, 414091: 5, 302349: 2, 421066: 4, 319214: 2, 445571: 3, 410826: 2, 577906: 1, 296023: 1, 525486: 1} {46155: 4, 255469: 13, 137504: 6, 304813: 13, 257937: 12, 471726: 7, 192928: 10, 376970: 11, 265168: 11, 383699: 10, 397363: 10, 591669: 1, 316275: 10, 437581: 7, 156736: 6, 275556: 9, 250940: 8, 591527: 1, 186299: 8, 245081: 8, 864: 1, 325704: 8, 159600: 5, 403586: 7, 55804: 4, 303098: 7, 52466: 3, 265828: 5, 43580: 2, 429070: 6, 253653: 3, 472825: 4, 162363: 2, 317146: 4, 9624: 1, 414091: 6, 302349: 2, 421066: 5, 319214: 2, 445571: 4, 410826: 2, 577906: 1, 296023: 1, 525486: 1, 413054: 1, 486134: 1} {46155: 4, 255469: 14, 137504: 6, 304813: 14, 257937: 13, 471726: 8, 192928: 10, 376970: 12, 265168: 12, 383699: 11, 397363: 11, 591669: 1, 316275: 11, 437581: 8, 156736: 6, 275556: 10, 250940: 9, 591527: 1, 186299: 8, 245081: 9, 864: 1, 325704: 9, 159600: 5, 403586: 8, 55804: 4, 303098: 8, 52466: 3, 265828: 6, 43580: 2, 429070: 7, 253653: 4, 472825: 5, 162363: 2, 317146: 5, 9624: 1, 414091: 7, 302349: 3, 421066: 6, 319214: 3, 445571: 5, 410826: 3, 577906: 1, 296023: 2, 525486: 2, 413054: 2, 486134: 2, 200105: 1, 577012: 1} {46155: 5, 255469: 14, 137504: 7, 304813: 14, 257937: 13, 471726: 8, 192928: 11, 376970: 12, 265168: 12, 383699: 11, 397363: 11, 591669: 1, 316275: 11, 437581: 8, 156736: 7, 275556: 10, 250940: 9, 591527: 1, 186299: 9, 245081: 9, 864: 1, 325704: 9, 159600: 6, 403586: 8, 55804: 5, 303098: 8, 52466: 4, 265828: 6, 43580: 3, 429070: 7, 253653: 4, 472825: 5, 162363: 3, 317146: 5, 9624: 1, 414091: 7, 302349: 3, 421066: 6, 319214: 3, 445571: 5, 410826: 3, 577906: 1, 296023: 2, 525486: 2, 413054: 2, 486134: 2, 200105: 2, 577012: 1, 32135: 1, 230409: 1} {46155: 5, 255469: 14, 137504: 8, 304813: 14, 257937: 13, 471726: 8, 192928: 12, 376970: 12, 265168: 12, 383699: 11, 397363: 11, 591669: 1, 316275: 11, 437581: 8, 156736: 8, 275556: 10, 250940: 9, 591527: 1, 186299: 10, 245081: 9, 864: 1, 325704: 9, 159600: 7, 403586: 8, 55804: 5, 303098: 8, 52466: 4, 265828: 6, 43580: 3, 429070: 7, 253653: 4, 472825: 5, 162363: 4, 317146: 5, 9624: 1, 414091: 7, 302349: 3, 421066: 6, 319214: 3, 445571: 5, 410826: 3, 577906: 1, 296023: 2, 525486: 2, 413054: 2, 486134: 2, 200105: 3, 577012: 1, 32135: 1, 230409: 2, 92988: 1, 237668: 1} {46155: 6, 255469: 14, 137504: 9, 304813: 14, 257937: 13, 471726: 8, 192928: 12, 376970: 12, 265168: 12, 383699: 11, 397363: 11, 591669: 1, 316275: 11, 437581: 8, 156736: 9, 275556: 10, 250940: 9, 591527: 1, 186299: 11, 245081: 9, 864: 1, 325704: 9, 159600: 8, 403586: 8, 55804: 6, 303098: 8, 52466: 5, 265828: 6, 43580: 4, 429070: 7, 253653: 4, 472825: 5, 162363: 5, 317146: 5, 9624: 1, 414091: 7, 302349: 3, 421066: 6, 319214: 3, 445571: 5, 410826: 3, 577906: 1, 296023: 2, 525486: 2, 413054: 2, 486134: 2, 200105: 3, 577012: 1, 32135: 1, 230409: 2, 92988: 2, 237668: 1, 39881: 1, 186807: 1} {46155: 6, 255469: 14, 137504: 9, 304813: 14, 257937: 13, 471726: 8, 192928: 12, 376970: 12, 265168: 12, 383699: 11, 397363: 12, 591669: 1, 316275: 11, 437581: 8, 156736: 9, 275556: 10, 250940: 9, 591527: 1, 186299: 11, 245081: 9, 864: 1, 325704: 9, 159600: 8, 403586: 9, 55804: 6, 303098: 8, 52466: 5, 265828: 6, 43580: 4, 429070: 7, 253653: 4, 472825: 5, 162363: 5, 317146: 5, 9624: 1, 414091: 7, 302349: 3, 421066: 6, 319214: 3, 445571: 5, 410826: 3, 577906: 1, 296023: 2, 525486: 2, 413054: 2, 486134: 2, 200105: 3, 577012: 1, 32135: 1, 230409: 2, 92988: 2, 237668: 1, 39881: 1, 186807: 1, 392613: 1, 407862: 1} {46155: 6, 255469: 15, 137504: 9, 304813: 15, 257937: 14, 471726: 8, 192928: 13, 376970: 12, 265168: 13, 383699: 11, 397363: 12, 591669: 1, 316275: 12, 437581: 8, 156736: 9, 275556: 11, 250940: 10, 591527: 1, 186299: 12, 245081: 10, 864: 1, 325704: 10, 159600: 8, 403586: 9, 55804: 6, 303098: 9, 52466: 5, 265828: 7, 43580: 4, 429070: 7, 253653: 5, 472825: 5, 162363: 5, 317146: 6, 9624: 1, 414091: 7, 302349: 4, 421066: 6, 319214: 4, 445571: 5, 410826: 3, 577906: 1, 296023: 3, 525486: 2, 413054: 2, 486134: 2, 200105: 4, 577012: 1, 32135: 1, 230409: 3, 92988: 2, 237668: 2, 39881: 1, 186807: 2, 392613: 1, 407862: 1, 174282: 1, 358425: 1} {46155: 6, 255469: 15, 137504: 9, 304813: 15, 257937: 14, 471726: 8, 192928: 13, 376970: 13, 265168: 13, 383699: 12, 397363: 13, 591669: 1, 316275: 12, 437581: 8, 156736: 9, 275556: 11, 250940: 10, 591527: 1, 186299: 12, 245081: 10, 864: 1, 325704: 10, 159600: 8, 403586: 10, 55804: 6, 303098: 9, 52466: 5, 265828: 7, 43580: 4, 429070: 7, 253653: 5, 472825: 5, 162363: 5, 317146: 6, 9624: 1, 414091: 7, 302349: 4, 421066: 6, 319214: 4, 445571: 5, 410826: 3, 577906: 1, 296023: 3, 525486: 2, 413054: 2, 486134: 2, 200105: 4, 577012: 1, 32135: 1, 230409: 3, 92988: 2, 237668: 2, 39881: 1, 186807: 2, 392613: 2, 407862: 1, 174282: 1, 358425: 2, 337146: 1, 406645: 1} {46155: 6, 255469: 16, 137504: 9, 304813: 16, 257937: 15, 471726: 9, 192928: 14, 376970: 14, 265168: 14, 383699: 13, 397363: 14, 591669: 1, 316275: 13, 437581: 9, 156736: 10, 275556: 12, 250940: 11, 591527: 1, 186299: 13, 245081: 11, 864: 1, 325704: 11, 159600: 9, 403586: 11, 55804: 6, 303098: 10, 52466: 5, 265828: 8, 43580: 4, 429070: 8, 253653: 6, 472825: 6, 162363: 6, 317146: 7, 9624: 1, 414091: 8, 302349: 5, 421066: 7, 319214: 5, 445571: 6, 410826: 4, 577906: 1, 296023: 4, 525486: 3, 413054: 3, 486134: 3, 200105: 5, 577012: 1, 32135: 1, 230409: 4, 92988: 2, 237668: 3, 39881: 1, 186807: 3, 392613: 3, 407862: 2, 174282: 2, 358425: 3, 337146: 2, 406645: 2, 142211: 1, 550159: 1} {46155: 6, 255469: 16, 137504: 9, 304813: 16, 257937: 15, 471726: 10, 192928: 14, 376970: 14, 265168: 14, 383699: 13, 397363: 14, 591669: 1, 316275: 13, 437581: 10, 156736: 10, 275556: 12, 250940: 11, 591527: 1, 186299: 13, 245081: 11, 864: 1, 325704: 11, 159600: 9, 403586: 11, 55804: 6, 303098: 10, 52466: 5, 265828: 8, 43580: 4, 429070: 9, 253653: 6, 472825: 7, 162363: 6, 317146: 7, 9624: 1, 414091: 8, 302349: 5, 421066: 8, 319214: 5, 445571: 7, 410826: 4, 577906: 1, 296023: 4, 525486: 3, 413054: 3, 486134: 4, 200105: 5, 577012: 1, 32135: 1, 230409: 4, 92988: 2, 237668: 3, 39881: 1, 186807: 3, 392613: 3, 407862: 2, 174282: 2, 358425: 3, 337146: 2, 406645: 2, 142211: 1, 550159: 1, 419778: 1, 525323: 1} {46155: 6, 255469: 17, 137504: 10, 304813: 17, 257937: 16, 471726: 11, 192928: 15, 376970: 15, 265168: 15, 383699: 14, 397363: 15, 591669: 1, 316275: 14, 437581: 11, 156736: 11, 275556: 13, 250940: 12, 591527: 1, 186299: 14, 245081: 12, 864: 1, 325704: 12, 159600: 10, 403586: 12, 55804: 6, 303098: 11, 52466: 5, 265828: 9, 43580: 4, 429070: 10, 253653: 7, 472825: 8, 162363: 7, 317146: 8, 9624: 1, 414091: 9, 302349: 6, 421066: 9, 319214: 6, 445571: 8, 410826: 5, 577906: 2, 296023: 5, 525486: 4, 413054: 4, 486134: 5, 200105: 6, 577012: 2, 32135: 1, 230409: 5, 92988: 2, 237668: 4, 39881: 1, 186807: 4, 392613: 4, 407862: 3, 174282: 3, 358425: 4, 337146: 3, 406645: 3, 142211: 2, 550159: 2, 419778: 2, 525323: 2, 129064: 1, 583653: 1} {46155: 6, 255469: 17, 137504: 11, 304813: 17, 257937: 16, 471726: 11, 192928: 16, 376970: 15, 265168: 15, 383699: 14, 397363: 15, 591669: 1, 316275: 14, 437581: 11, 156736: 12, 275556: 13, 250940: 12, 591527: 1, 186299: 15, 245081: 12, 864: 1, 325704: 12, 159600: 11, 403586: 12, 55804: 6, 303098: 11, 52466: 5, 265828: 9, 43580: 4, 429070: 10, 253653: 7, 472825: 8, 162363: 8, 317146: 8, 9624: 1, 414091: 9, 302349: 6, 421066: 9, 319214: 6, 445571: 8, 410826: 5, 577906: 2, 296023: 5, 525486: 4, 413054: 4, 486134: 5, 200105: 7, 577012: 2, 32135: 1, 230409: 5, 92988: 3, 237668: 4, 39881: 1, 186807: 5, 392613: 4, 407862: 3, 174282: 4, 358425: 4, 337146: 3, 406645: 3, 142211: 3, 550159: 2, 419778: 2, 525323: 2, 129064: 2, 583653: 1, 86872: 1, 209259: 1} {46155: 6, 255469: 17, 137504: 11, 304813: 18, 257937: 16, 471726: 12, 192928: 16, 376970: 16, 265168: 15, 383699: 15, 397363: 16, 591669: 1, 316275: 15, 437581: 12, 156736: 12, 275556: 14, 250940: 12, 591527: 1, 186299: 15, 245081: 12, 864: 1, 325704: 13, 159600: 11, 403586: 13, 55804: 6, 303098: 12, 52466: 5, 265828: 9, 43580: 4, 429070: 11, 253653: 7, 472825: 9, 162363: 8, 317146: 9, 9624: 1, 414091: 10, 302349: 7, 421066: 10, 319214: 7, 445571: 9, 410826: 6, 577906: 2, 296023: 6, 525486: 5, 413054: 5, 486134: 6, 200105: 7, 577012: 2, 32135: 1, 230409: 5, 92988: 3, 237668: 4, 39881: 1, 186807: 5, 392613: 5, 407862: 4, 174282: 4, 358425: 5, 337146: 4, 406645: 4, 142211: 3, 550159: 3, 419778: 3, 525323: 3, 129064: 2, 583653: 1, 86872: 1, 209259: 1, 273463: 1, 571603: 1} {46155: 6, 255469: 17, 137504: 11, 304813: 19, 257937: 16, 471726: 13, 192928: 16, 376970: 17, 265168: 15, 383699: 16, 397363: 17, 591669: 1, 316275: 16, 437581: 13, 156736: 12, 275556: 15, 250940: 12, 591527: 1, 186299: 15, 245081: 12, 864: 1, 325704: 14, 159600: 11, 403586: 14, 55804: 6, 303098: 13, 52466: 5, 265828: 9, 43580: 4, 429070: 12, 253653: 7, 472825: 10, 162363: 8, 317146: 10, 9624: 1, 414091: 11, 302349: 8, 421066: 11, 319214: 8, 445571: 10, 410826: 7, 577906: 2, 296023: 7, 525486: 6, 413054: 6, 486134: 7, 200105: 7, 577012: 2, 32135: 1, 230409: 5, 92988: 3, 237668: 4, 39881: 1, 186807: 5, 392613: 6, 407862: 5, 174282: 4, 358425: 6, 337146: 5, 406645: 5, 142211: 3, 550159: 4, 419778: 4, 525323: 4, 129064: 2, 583653: 1, 86872: 1, 209259: 1, 273463: 2, 571603: 1, 270911: 1, 562216: 1} {46155: 6, 255469: 17, 137504: 11, 304813: 19, 257937: 16, 471726: 13, 192928: 16, 376970: 17, 265168: 15, 383699: 16, 397363: 17, 591669: 1, 316275: 16, 437581: 13, 156736: 12, 275556: 15, 250940: 12, 591527: 1, 186299: 15, 245081: 12, 864: 1, 325704: 14, 159600: 11, 403586: 14, 55804: 6, 303098: 13, 52466: 5, 265828: 9, 43580: 4, 429070: 12, 253653: 7, 472825: 10, 162363: 8, 317146: 10, 9624: 1, 414091: 11, 302349: 8, 421066: 11, 319214: 8, 445571: 10, 410826: 7, 577906: 2, 296023: 7, 525486: 7, 413054: 6, 486134: 7, 200105: 7, 577012: 2, 32135: 1, 230409: 5, 92988: 3, 237668: 4, 39881: 1, 186807: 5, 392613: 6, 407862: 5, 174282: 4, 358425: 6, 337146: 5, 406645: 5, 142211: 3, 550159: 5, 419778: 4, 525323: 5, 129064: 2, 583653: 1, 86872: 1, 209259: 1, 273463: 2, 571603: 1, 270911: 1, 562216: 2, 513147: 1, 563231: 1} {46155: 6, 255469: 18, 137504: 11, 304813: 20, 257937: 17, 471726: 13, 192928: 17, 376970: 18, 265168: 16, 383699: 17, 397363: 18, 591669: 1, 316275: 17, 437581: 13, 156736: 12, 275556: 16, 250940: 13, 591527: 1, 186299: 16, 245081: 13, 864: 1, 325704: 15, 159600: 12, 403586: 14, 55804: 6, 303098: 14, 52466: 5, 265828: 10, 43580: 4, 429070: 12, 253653: 8, 472825: 10, 162363: 9, 317146: 11, 9624: 1, 414091: 11, 302349: 9, 421066: 11, 319214: 9, 445571: 10, 410826: 7, 577906: 2, 296023: 8, 525486: 7, 413054: 6, 486134: 7, 200105: 8, 577012: 2, 32135: 1, 230409: 6, 92988: 3, 237668: 5, 39881: 1, 186807: 6, 392613: 7, 407862: 5, 174282: 5, 358425: 7, 337146: 6, 406645: 5, 142211: 3, 550159: 5, 419778: 4, 525323: 5, 129064: 2, 583653: 1, 86872: 1, 209259: 2, 273463: 3, 571603: 1, 270911: 2, 562216: 2, 513147: 1, 563231: 1, 158822: 1, 398731: 1} {46155: 7, 255469: 19, 137504: 12, 304813: 20, 257937: 18, 471726: 13, 192928: 18, 376970: 18, 265168: 17, 383699: 17, 397363: 18, 591669: 1, 316275: 17, 437581: 13, 156736: 13, 275556: 17, 250940: 14, 591527: 1, 186299: 17, 245081: 14, 864: 1, 325704: 15, 159600: 13, 403586: 14, 55804: 7, 303098: 14, 52466: 6, 265828: 11, 43580: 5, 429070: 12, 253653: 9, 472825: 10, 162363: 10, 317146: 11, 9624: 1, 414091: 11, 302349: 9, 421066: 11, 319214: 9, 445571: 10, 410826: 7, 577906: 2, 296023: 8, 525486: 7, 413054: 6, 486134: 7, 200105: 9, 577012: 2, 32135: 2, 230409: 7, 92988: 4, 237668: 6, 39881: 2, 186807: 7, 392613: 7, 407862: 5, 174282: 6, 358425: 7, 337146: 6, 406645: 5, 142211: 4, 550159: 5, 419778: 4, 525323: 5, 129064: 3, 583653: 1, 86872: 2, 209259: 3, 273463: 4, 571603: 1, 270911: 3, 562216: 2, 513147: 1, 563231: 1, 158822: 2, 398731: 1, 15061: 1, 285681: 1} {46155: 7, 255469: 19, 137504: 12, 304813: 20, 257937: 18, 471726: 13, 192928: 18, 376970: 18, 265168: 17, 383699: 17, 397363: 18, 591669: 1, 316275: 17, 437581: 14, 156736: 13, 275556: 17, 250940: 14, 591527: 1, 186299: 17, 245081: 14, 864: 1, 325704: 15, 159600: 13, 403586: 15, 55804: 7, 303098: 14, 52466: 6, 265828: 11, 43580: 5, 429070: 13, 253653: 9, 472825: 10, 162363: 10, 317146: 11, 9624: 1, 414091: 12, 302349: 9, 421066: 12, 319214: 9, 445571: 11, 410826: 8, 577906: 2, 296023: 8, 525486: 7, 413054: 7, 486134: 7, 200105: 9, 577012: 2, 32135: 2, 230409: 7, 92988: 4, 237668: 6, 39881: 2, 186807: 7, 392613: 7, 407862: 6, 174282: 6, 358425: 7, 337146: 6, 406645: 6, 142211: 4, 550159: 5, 419778: 5, 525323: 5, 129064: 3, 583653: 1, 86872: 2, 209259: 3, 273463: 4, 571603: 1, 270911: 3, 562216: 2, 513147: 1, 563231: 1, 158822: 2, 398731: 1, 15061: 1, 285681: 1, 400229: 1, 454092: 1} {46155: 7, 255469: 19, 137504: 12, 304813: 20, 257937: 18, 471726: 14, 192928: 18, 376970: 19, 265168: 17, 383699: 18, 397363: 19, 591669: 1, 316275: 17, 437581: 15, 156736: 13, 275556: 17, 250940: 14, 591527: 1, 186299: 17, 245081: 14, 864: 1, 325704: 15, 159600: 13, 403586: 16, 55804: 7, 303098: 14, 52466: 6, 265828: 11, 43580: 5, 429070: 14, 253653: 9, 472825: 11, 162363: 10, 317146: 11, 9624: 1, 414091: 13, 302349: 9, 421066: 13, 319214: 9, 445571: 12, 410826: 9, 577906: 2, 296023: 8, 525486: 7, 413054: 8, 486134: 8, 200105: 9, 577012: 2, 32135: 2, 230409: 7, 92988: 4, 237668: 6, 39881: 2, 186807: 7, 392613: 8, 407862: 7, 174282: 6, 358425: 7, 337146: 6, 406645: 7, 142211: 4, 550159: 5, 419778: 6, 525323: 5, 129064: 3, 583653: 1, 86872: 2, 209259: 3, 273463: 4, 571603: 1, 270911: 3, 562216: 2, 513147: 1, 563231: 1, 158822: 2, 398731: 2, 15061: 1, 285681: 1, 400229: 2, 454092: 2, 363236: 1, 508959: 1} {46155: 7, 255469: 20, 137504: 12, 304813: 21, 257937: 19, 471726: 15, 192928: 19, 376970: 20, 265168: 18, 383699: 19, 397363: 20, 591669: 1, 316275: 18, 437581: 16, 156736: 14, 275556: 18, 250940: 15, 591527: 1, 186299: 18, 245081: 15, 864: 1, 325704: 16, 159600: 14, 403586: 17, 55804: 7, 303098: 15, 52466: 6, 265828: 12, 43580: 5, 429070: 15, 253653: 10, 472825: 12, 162363: 11, 317146: 12, 9624: 1, 414091: 14, 302349: 10, 421066: 14, 319214: 10, 445571: 13, 410826: 10, 577906: 2, 296023: 9, 525486: 7, 413054: 9, 486134: 9, 200105: 10, 577012: 2, 32135: 2, 230409: 8, 92988: 4, 237668: 7, 39881: 2, 186807: 8, 392613: 9, 407862: 8, 174282: 7, 358425: 8, 337146: 7, 406645: 8, 142211: 4, 550159: 5, 419778: 7, 525323: 5, 129064: 3, 583653: 1, 86872: 2, 209259: 4, 273463: 5, 571603: 1, 270911: 4, 562216: 2, 513147: 1, 563231: 1, 158822: 3, 398731: 3, 15061: 1, 285681: 2, 400229: 3, 454092: 3, 363236: 2, 508959: 1, 154171: 1, 507199: 1} {46155: 7, 255469: 21, 137504: 13, 304813: 22, 257937: 20, 471726: 16, 192928: 20, 376970: 21, 265168: 19, 383699: 20, 397363: 21, 591669: 1, 316275: 19, 437581: 17, 156736: 15, 275556: 19, 250940: 16, 591527: 1, 186299: 19, 245081: 16, 864: 1, 325704: 17, 159600: 15, 403586: 18, 55804: 7, 303098: 16, 52466: 6, 265828: 13, 43580: 5, 429070: 16, 253653: 11, 472825: 13, 162363: 12, 317146: 13, 9624: 1, 414091: 15, 302349: 11, 421066: 15, 319214: 11, 445571: 14, 410826: 11, 577906: 2, 296023: 10, 525486: 8, 413054: 10, 486134: 10, 200105: 11, 577012: 2, 32135: 2, 230409: 9, 92988: 5, 237668: 8, 39881: 2, 186807: 9, 392613: 10, 407862: 9, 174282: 8, 358425: 9, 337146: 8, 406645: 9, 142211: 5, 550159: 6, 419778: 8, 525323: 6, 129064: 4, 583653: 1, 86872: 3, 209259: 5, 273463: 6, 571603: 2, 270911: 5, 562216: 3, 513147: 2, 563231: 2, 158822: 4, 398731: 4, 15061: 1, 285681: 3, 400229: 4, 454092: 4, 363236: 3, 508959: 2, 154171: 2, 507199: 2, 79301: 1, 574677: 1} {46155: 7, 255469: 21, 137504: 13, 304813: 22, 257937: 20, 471726: 17, 192928: 20, 376970: 22, 265168: 19, 383699: 21, 397363: 22, 591669: 1, 316275: 19, 437581: 18, 156736: 15, 275556: 19, 250940: 16, 591527: 1, 186299: 19, 245081: 16, 864: 1, 325704: 18, 159600: 15, 403586: 19, 55804: 7, 303098: 16, 52466: 6, 265828: 13, 43580: 5, 429070: 17, 253653: 11, 472825: 14, 162363: 12, 317146: 13, 9624: 1, 414091: 16, 302349: 11, 421066: 16, 319214: 11, 445571: 15, 410826: 12, 577906: 2, 296023: 10, 525486: 8, 413054: 11, 486134: 11, 200105: 11, 577012: 2, 32135: 2, 230409: 9, 92988: 5, 237668: 8, 39881: 2, 186807: 9, 392613: 11, 407862: 10, 174282: 8, 358425: 10, 337146: 9, 406645: 10, 142211: 5, 550159: 6, 419778: 9, 525323: 6, 129064: 4, 583653: 1, 86872: 3, 209259: 5, 273463: 6, 571603: 2, 270911: 5, 562216: 3, 513147: 3, 563231: 2, 158822: 4, 398731: 5, 15061: 1, 285681: 3, 400229: 5, 454092: 5, 363236: 4, 508959: 3, 154171: 2, 507199: 3, 79301: 1, 574677: 1, 322113: 1, 514897: 1} {46155: 7, 255469: 21, 137504: 13, 304813: 22, 257937: 20, 471726: 17, 192928: 20, 376970: 22, 265168: 19, 383699: 21, 397363: 22, 591669: 1, 316275: 19, 437581: 18, 156736: 16, 275556: 19, 250940: 16, 591527: 1, 186299: 20, 245081: 16, 864: 1, 325704: 18, 159600: 16, 403586: 19, 55804: 7, 303098: 16, 52466: 6, 265828: 13, 43580: 5, 429070: 17, 253653: 11, 472825: 14, 162363: 13, 317146: 13, 9624: 1, 414091: 16, 302349: 11, 421066: 16, 319214: 11, 445571: 15, 410826: 12, 577906: 2, 296023: 10, 525486: 8, 413054: 11, 486134: 11, 200105: 11, 577012: 2, 32135: 2, 230409: 9, 92988: 5, 237668: 8, 39881: 2, 186807: 9, 392613: 11, 407862: 10, 174282: 9, 358425: 10, 337146: 9, 406645: 10, 142211: 6, 550159: 6, 419778: 9, 525323: 6, 129064: 4, 583653: 1, 86872: 3, 209259: 5, 273463: 6, 571603: 2, 270911: 5, 562216: 3, 513147: 3, 563231: 2, 158822: 5, 398731: 5, 15061: 1, 285681: 3, 400229: 5, 454092: 5, 363236: 4, 508959: 3, 154171: 3, 507199: 3, 79301: 1, 574677: 1, 322113: 1, 514897: 1, 139297: 1, 186735: 1} {46155: 8, 255469: 21, 137504: 13, 304813: 22, 257937: 20, 471726: 17, 192928: 20, 376970: 22, 265168: 19, 383699: 21, 397363: 22, 591669: 1, 316275: 19, 437581: 18, 156736: 16, 275556: 19, 250940: 16, 591527: 1, 186299: 20, 245081: 16, 864: 1, 325704: 18, 159600: 16, 403586: 19, 55804: 8, 303098: 16, 52466: 7, 265828: 13, 43580: 6, 429070: 17, 253653: 11, 472825: 14, 162363: 13, 317146: 13, 9624: 1, 414091: 16, 302349: 11, 421066: 16, 319214: 11, 445571: 15, 410826: 12, 577906: 2, 296023: 10, 525486: 8, 413054: 11, 486134: 11, 200105: 11, 577012: 2, 32135: 3, 230409: 9, 92988: 6, 237668: 8, 39881: 3, 186807: 9, 392613: 11, 407862: 10, 174282: 9, 358425: 10, 337146: 9, 406645: 10, 142211: 6, 550159: 6, 419778: 9, 525323: 6, 129064: 4, 583653: 1, 86872: 4, 209259: 5, 273463: 6, 571603: 2, 270911: 5, 562216: 3, 513147: 3, 563231: 2, 158822: 5, 398731: 5, 15061: 1, 285681: 3, 400229: 5, 454092: 5, 363236: 4, 508959: 3, 154171: 3, 507199: 3, 79301: 2, 574677: 1, 322113: 1, 514897: 1, 139297: 1, 186735: 1, 23980: 1, 105275: 1} {46155: 8, 255469: 21, 137504: 13, 304813: 23, 257937: 20, 471726: 17, 192928: 20, 376970: 22, 265168: 19, 383699: 21, 397363: 22, 591669: 1, 316275: 20, 437581: 18, 156736: 16, 275556: 19, 250940: 16, 591527: 1, 186299: 20, 245081: 16, 864: 1, 325704: 19, 159600: 16, 403586: 19, 55804: 8, 303098: 17, 52466: 7, 265828: 13, 43580: 6, 429070: 17, 253653: 11, 472825: 14, 162363: 13, 317146: 14, 9624: 1, 414091: 16, 302349: 12, 421066: 16, 319214: 12, 445571: 15, 410826: 12, 577906: 2, 296023: 11, 525486: 8, 413054: 11, 486134: 11, 200105: 11, 577012: 2, 32135: 3, 230409: 9, 92988: 6, 237668: 8, 39881: 3, 186807: 9, 392613: 11, 407862: 10, 174282: 9, 358425: 10, 337146: 9, 406645: 10, 142211: 6, 550159: 6, 419778: 9, 525323: 6, 129064: 4, 583653: 1, 86872: 4, 209259: 5, 273463: 6, 571603: 2, 270911: 5, 562216: 3, 513147: 3, 563231: 2, 158822: 5, 398731: 5, 15061: 1, 285681: 4, 400229: 5, 454092: 5, 363236: 4, 508959: 3, 154171: 3, 507199: 3, 79301: 2, 574677: 1, 322113: 2, 514897: 1, 139297: 1, 186735: 1, 23980: 1, 105275: 1, 280039: 1, 331749: 1} {46155: 8, 255469: 22, 137504: 14, 304813: 24, 257937: 21, 471726: 18, 192928: 21, 376970: 23, 265168: 20, 383699: 22, 397363: 23, 591669: 1, 316275: 21, 437581: 19, 156736: 17, 275556: 20, 250940: 17, 591527: 1, 186299: 21, 245081: 17, 864: 1, 325704: 20, 159600: 17, 403586: 20, 55804: 8, 303098: 18, 52466: 7, 265828: 14, 43580: 6, 429070: 18, 253653: 12, 472825: 15, 162363: 14, 317146: 15, 9624: 1, 414091: 17, 302349: 13, 421066: 17, 319214: 13, 445571: 16, 410826: 13, 577906: 2, 296023: 12, 525486: 8, 413054: 12, 486134: 11, 200105: 12, 577012: 2, 32135: 3, 230409: 10, 92988: 7, 237668: 9, 39881: 3, 186807: 10, 392613: 12, 407862: 11, 174282: 10, 358425: 11, 337146: 10, 406645: 11, 142211: 7, 550159: 6, 419778: 10, 525323: 6, 129064: 5, 583653: 1, 86872: 5, 209259: 6, 273463: 7, 571603: 2, 270911: 6, 562216: 3, 513147: 3, 563231: 2, 158822: 6, 398731: 6, 15061: 1, 285681: 5, 400229: 6, 454092: 6, 363236: 5, 508959: 3, 154171: 4, 507199: 3, 79301: 3, 574677: 1, 322113: 3, 514897: 1, 139297: 2, 186735: 2, 23980: 1, 105275: 2, 280039: 2, 331749: 2, 57822: 1, 478286: 1} {46155: 8, 255469: 22, 137504: 14, 304813: 24, 257937: 21, 471726: 19, 192928: 21, 376970: 23, 265168: 20, 383699: 22, 397363: 23, 591669: 1, 316275: 21, 437581: 19, 156736: 17, 275556: 20, 250940: 17, 591527: 1, 186299: 21, 245081: 17, 864: 1, 325704: 20, 159600: 17, 403586: 20, 55804: 8, 303098: 18, 52466: 7, 265828: 14, 43580: 6, 429070: 18, 253653: 12, 472825: 16, 162363: 14, 317146: 15, 9624: 1, 414091: 17, 302349: 13, 421066: 17, 319214: 13, 445571: 16, 410826: 13, 577906: 2, 296023: 12, 525486: 9, 413054: 12, 486134: 12, 200105: 12, 577012: 2, 32135: 3, 230409: 10, 92988: 7, 237668: 9, 39881: 3, 186807: 10, 392613: 12, 407862: 11, 174282: 10, 358425: 11, 337146: 10, 406645: 11, 142211: 7, 550159: 6, 419778: 10, 525323: 7, 129064: 5, 583653: 1, 86872: 5, 209259: 6, 273463: 7, 571603: 2, 270911: 6, 562216: 3, 513147: 4, 563231: 2, 158822: 6, 398731: 6, 15061: 1, 285681: 5, 400229: 6, 454092: 7, 363236: 5, 508959: 4, 154171: 4, 507199: 4, 79301: 3, 574677: 1, 322113: 3, 514897: 2, 139297: 2, 186735: 2, 23980: 1, 105275: 2, 280039: 2, 331749: 2, 57822: 1, 478286: 2, 448699: 1, 549878: 1} {46155: 8, 255469: 22, 137504: 14, 304813: 24, 257937: 21, 471726: 19, 192928: 21, 376970: 23, 265168: 20, 383699: 22, 397363: 23, 591669: 1, 316275: 21, 437581: 19, 156736: 17, 275556: 20, 250940: 17, 591527: 1, 186299: 21, 245081: 17, 864: 1, 325704: 20, 159600: 17, 403586: 20, 55804: 8, 303098: 18, 52466: 7, 265828: 14, 43580: 6, 429070: 18, 253653: 12, 472825: 16, 162363: 14, 317146: 15, 9624: 1, 414091: 17, 302349: 13, 421066: 17, 319214: 13, 445571: 16, 410826: 13, 577906: 2, 296023: 12, 525486: 10, 413054: 12, 486134: 13, 200105: 12, 577012: 2, 32135: 3, 230409: 10, 92988: 7, 237668: 9, 39881: 3, 186807: 10, 392613: 12, 407862: 11, 174282: 10, 358425: 11, 337146: 10, 406645: 11, 142211: 7, 550159: 7, 419778: 10, 525323: 8, 129064: 5, 583653: 1, 86872: 5, 209259: 6, 273463: 7, 571603: 2, 270911: 6, 562216: 4, 513147: 5, 563231: 3, 158822: 6, 398731: 6, 15061: 1, 285681: 5, 400229: 6, 454092: 7, 363236: 5, 508959: 5, 154171: 4, 507199: 5, 79301: 3, 574677: 1, 322113: 3, 514897: 3, 139297: 2, 186735: 2, 23980: 1, 105275: 2, 280039: 2, 331749: 2, 57822: 1, 478286: 2, 448699: 1, 549878: 2, 483204: 1, 567116: 1} {46155: 8, 255469: 23, 137504: 15, 304813: 24, 257937: 22, 471726: 19, 192928: 22, 376970: 23, 265168: 21, 383699: 22, 397363: 23, 591669: 1, 316275: 21, 437581: 19, 156736: 18, 275556: 21, 250940: 18, 591527: 1, 186299: 22, 245081: 18, 864: 1, 325704: 20, 159600: 18, 403586: 20, 55804: 8, 303098: 18, 52466: 7, 265828: 15, 43580: 6, 429070: 18, 253653: 13, 472825: 16, 162363: 15, 317146: 15, 9624: 1, 414091: 17, 302349: 13, 421066: 17, 319214: 13, 445571: 16, 410826: 13, 577906: 2, 296023: 12, 525486: 10, 413054: 12, 486134: 13, 200105: 13, 577012: 2, 32135: 3, 230409: 11, 92988: 8, 237668: 10, 39881: 3, 186807: 11, 392613: 12, 407862: 11, 174282: 11, 358425: 11, 337146: 10, 406645: 11, 142211: 8, 550159: 7, 419778: 10, 525323: 8, 129064: 6, 583653: 1, 86872: 6, 209259: 7, 273463: 8, 571603: 2, 270911: 7, 562216: 4, 513147: 5, 563231: 3, 158822: 7, 398731: 6, 15061: 1, 285681: 6, 400229: 6, 454092: 7, 363236: 5, 508959: 5, 154171: 5, 507199: 5, 79301: 3, 574677: 1, 322113: 3, 514897: 3, 139297: 3, 186735: 3, 23980: 1, 105275: 3, 280039: 3, 331749: 2, 57822: 1, 478286: 2, 448699: 1, 549878: 2, 483204: 1, 567116: 1, 80547: 1, 293847: 1} {46155: 8, 255469: 24, 137504: 15, 304813: 24, 257937: 23, 471726: 19, 192928: 22, 376970: 23, 265168: 22, 383699: 22, 397363: 23, 591669: 1, 316275: 21, 437581: 19, 156736: 18, 275556: 21, 250940: 19, 591527: 1, 186299: 22, 245081: 19, 864: 1, 325704: 20, 159600: 18, 403586: 20, 55804: 8, 303098: 18, 52466: 7, 265828: 16, 43580: 6, 429070: 18, 253653: 14, 472825: 16, 162363: 15, 317146: 15, 9624: 1, 414091: 17, 302349: 13, 421066: 17, 319214: 13, 445571: 16, 410826: 13, 577906: 2, 296023: 12, 525486: 10, 413054: 12, 486134: 13, 200105: 13, 577012: 2, 32135: 3, 230409: 11, 92988: 8, 237668: 10, 39881: 3, 186807: 11, 392613: 12, 407862: 11, 174282: 11, 358425: 11, 337146: 10, 406645: 11, 142211: 8, 550159: 7, 419778: 10, 525323: 8, 129064: 6, 583653: 1, 86872: 6, 209259: 7, 273463: 8, 571603: 2, 270911: 8, 562216: 4, 513147: 5, 563231: 3, 158822: 7, 398731: 6, 15061: 1, 285681: 6, 400229: 6, 454092: 7, 363236: 5, 508959: 5, 154171: 5, 507199: 5, 79301: 3, 574677: 1, 322113: 3, 514897: 3, 139297: 3, 186735: 3, 23980: 1, 105275: 3, 280039: 3, 331749: 2, 57822: 1, 478286: 2, 448699: 1, 549878: 2, 483204: 1, 567116: 1, 80547: 1, 293847: 1, 243381: 1, 271468: 1} {46155: 8, 255469: 25, 137504: 16, 304813: 25, 257937: 24, 471726: 19, 192928: 23, 376970: 23, 265168: 23, 383699: 22, 397363: 23, 591669: 1, 316275: 22, 437581: 19, 156736: 19, 275556: 22, 250940: 20, 591527: 1, 186299: 23, 245081: 20, 864: 1, 325704: 20, 159600: 19, 403586: 20, 55804: 8, 303098: 19, 52466: 7, 265828: 17, 43580: 6, 429070: 18, 253653: 15, 472825: 16, 162363: 16, 317146: 15, 9624: 1, 414091: 17, 302349: 14, 421066: 17, 319214: 13, 445571: 16, 410826: 13, 577906: 2, 296023: 13, 525486: 10, 413054: 12, 486134: 13, 200105: 14, 577012: 2, 32135: 3, 230409: 12, 92988: 9, 237668: 11, 39881: 3, 186807: 12, 392613: 12, 407862: 11, 174282: 12, 358425: 11, 337146: 10, 406645: 11, 142211: 9, 550159: 7, 419778: 10, 525323: 8, 129064: 7, 583653: 1, 86872: 7, 209259: 8, 273463: 9, 571603: 2, 270911: 9, 562216: 4, 513147: 5, 563231: 3, 158822: 8, 398731: 6, 15061: 1, 285681: 7, 400229: 6, 454092: 7, 363236: 5, 508959: 5, 154171: 6, 507199: 5, 79301: 3, 574677: 1, 322113: 3, 514897: 3, 139297: 4, 186735: 4, 23980: 1, 105275: 4, 280039: 4, 331749: 2, 57822: 1, 478286: 2, 448699: 1, 549878: 2, 483204: 1, 567116: 1, 80547: 1, 293847: 2, 243381: 2, 271468: 2, 82789: 1, 316581: 1} {46155: 8, 255469: 26, 137504: 16, 304813: 26, 257937: 25, 471726: 19, 192928: 23, 376970: 24, 265168: 24, 383699: 23, 397363: 24, 591669: 1, 316275: 23, 437581: 19, 156736: 19, 275556: 23, 250940: 21, 591527: 1, 186299: 23, 245081: 21, 864: 1, 325704: 21, 159600: 19, 403586: 21, 55804: 8, 303098: 20, 52466: 7, 265828: 18, 43580: 6, 429070: 18, 253653: 16, 472825: 16, 162363: 16, 317146: 16, 9624: 1, 414091: 17, 302349: 15, 421066: 17, 319214: 14, 445571: 16, 410826: 14, 577906: 2, 296023: 14, 525486: 10, 413054: 12, 486134: 13, 200105: 14, 577012: 2, 32135: 3, 230409: 12, 92988: 9, 237668: 12, 39881: 3, 186807: 12, 392613: 13, 407862: 12, 174282: 12, 358425: 12, 337146: 11, 406645: 12, 142211: 9, 550159: 7, 419778: 10, 525323: 8, 129064: 7, 583653: 1, 86872: 7, 209259: 8, 273463: 10, 571603: 2, 270911: 10, 562216: 4, 513147: 5, 563231: 3, 158822: 8, 398731: 7, 15061: 1, 285681: 8, 400229: 7, 454092: 7, 363236: 6, 508959: 5, 154171: 6, 507199: 5, 79301: 3, 574677: 1, 322113: 4, 514897: 3, 139297: 4, 186735: 4, 23980: 1, 105275: 4, 280039: 5, 331749: 3, 57822: 1, 478286: 2, 448699: 1, 549878: 2, 483204: 1, 567116: 1, 80547: 1, 293847: 3, 243381: 3, 271468: 3, 82789: 1, 316581: 2, 232652: 1, 412775: 1} {46155: 8, 255469: 27, 137504: 16, 304813: 27, 257937: 26, 471726: 19, 192928: 23, 376970: 25, 265168: 25, 383699: 24, 397363: 25, 591669: 1, 316275: 24, 437581: 20, 156736: 19, 275556: 24, 250940: 22, 591527: 1, 186299: 23, 245081: 22, 864: 1, 325704: 22, 159600: 19, 403586: 22, 55804: 8, 303098: 21, 52466: 7, 265828: 19, 43580: 6, 429070: 19, 253653: 17, 472825: 16, 162363: 16, 317146: 17, 9624: 1, 414091: 18, 302349: 16, 421066: 18, 319214: 15, 445571: 17, 410826: 15, 577906: 2, 296023: 15, 525486: 10, 413054: 13, 486134: 13, 200105: 14, 577012: 2, 32135: 3, 230409: 13, 92988: 9, 237668: 13, 39881: 3, 186807: 12, 392613: 14, 407862: 13, 174282: 12, 358425: 13, 337146: 12, 406645: 13, 142211: 9, 550159: 7, 419778: 11, 525323: 8, 129064: 7, 583653: 1, 86872: 7, 209259: 9, 273463: 11, 571603: 2, 270911: 11, 562216: 4, 513147: 5, 563231: 3, 158822: 8, 398731: 8, 15061: 1, 285681: 9, 400229: 8, 454092: 7, 363236: 7, 508959: 5, 154171: 6, 507199: 5, 79301: 3, 574677: 1, 322113: 5, 514897: 3, 139297: 4, 186735: 4, 23980: 1, 105275: 4, 280039: 6, 331749: 4, 57822: 1, 478286: 2, 448699: 2, 549878: 2, 483204: 1, 567116: 1, 80547: 1, 293847: 4, 243381: 4, 271468: 4, 82789: 1, 316581: 3, 232652: 2, 412775: 2, 207785: 1, 453878: 1} {46155: 8, 255469: 28, 137504: 16, 304813: 27, 257937: 27, 471726: 19, 192928: 23, 376970: 25, 265168: 26, 383699: 24, 397363: 25, 591669: 1, 316275: 24, 437581: 20, 156736: 19, 275556: 25, 250940: 23, 591527: 1, 186299: 23, 245081: 23, 864: 1, 325704: 22, 159600: 19, 403586: 22, 55804: 8, 303098: 22, 52466: 7, 265828: 20, 43580: 6, 429070: 19, 253653: 18, 472825: 16, 162363: 16, 317146: 17, 9624: 1, 414091: 18, 302349: 17, 421066: 18, 319214: 15, 445571: 17, 410826: 15, 577906: 2, 296023: 16, 525486: 10, 413054: 13, 486134: 13, 200105: 14, 577012: 2, 32135: 3, 230409: 14, 92988: 9, 237668: 14, 39881: 3, 186807: 12, 392613: 14, 407862: 13, 174282: 12, 358425: 13, 337146: 12, 406645: 13, 142211: 9, 550159: 7, 419778: 11, 525323: 8, 129064: 7, 583653: 1, 86872: 7, 209259: 9, 273463: 12, 571603: 2, 270911: 12, 562216: 4, 513147: 5, 563231: 3, 158822: 8, 398731: 8, 15061: 1, 285681: 10, 400229: 8, 454092: 7, 363236: 7, 508959: 5, 154171: 6, 507199: 5, 79301: 3, 574677: 1, 322113: 5, 514897: 3, 139297: 4, 186735: 4, 23980: 1, 105275: 4, 280039: 7, 331749: 4, 57822: 1, 478286: 2, 448699: 2, 549878: 2, 483204: 1, 567116: 1, 80547: 1, 293847: 5, 243381: 5, 271468: 5, 82789: 1, 316581: 3, 232652: 3, 412775: 2, 207785: 1, 453878: 1, 216216: 1, 303584: 1} {46155: 8, 255469: 29, 137504: 16, 304813: 28, 257937: 28, 471726: 19, 192928: 23, 376970: 26, 265168: 27, 383699: 25, 397363: 26, 591669: 1, 316275: 25, 437581: 20, 156736: 19, 275556: 26, 250940: 24, 591527: 1, 186299: 23, 245081: 24, 864: 1, 325704: 23, 159600: 19, 403586: 23, 55804: 8, 303098: 23, 52466: 7, 265828: 21, 43580: 6, 429070: 19, 253653: 19, 472825: 16, 162363: 16, 317146: 18, 9624: 1, 414091: 18, 302349: 18, 421066: 18, 319214: 16, 445571: 17, 410826: 15, 577906: 2, 296023: 17, 525486: 10, 413054: 13, 486134: 13, 200105: 15, 577012: 2, 32135: 3, 230409: 15, 92988: 9, 237668: 15, 39881: 3, 186807: 12, 392613: 15, 407862: 13, 174282: 12, 358425: 14, 337146: 13, 406645: 13, 142211: 9, 550159: 7, 419778: 11, 525323: 8, 129064: 7, 583653: 1, 86872: 7, 209259: 10, 273463: 13, 571603: 2, 270911: 13, 562216: 4, 513147: 5, 563231: 3, 158822: 8, 398731: 9, 15061: 1, 285681: 11, 400229: 9, 454092: 7, 363236: 8, 508959: 5, 154171: 6, 507199: 5, 79301: 3, 574677: 1, 322113: 6, 514897: 3, 139297: 4, 186735: 4, 23980: 1, 105275: 4, 280039: 8, 331749: 5, 57822: 1, 478286: 2, 448699: 2, 549878: 2, 483204: 1, 567116: 1, 80547: 1, 293847: 6, 243381: 6, 271468: 6, 82789: 1, 316581: 4, 232652: 4, 412775: 2, 207785: 2, 453878: 1, 216216: 2, 303584: 2, 196226: 1, 404646: 1} {46155: 8, 255469: 29, 137504: 17, 304813: 28, 257937: 28, 471726: 19, 192928: 24, 376970: 26, 265168: 27, 383699: 25, 397363: 26, 591669: 1, 316275: 25, 437581: 20, 156736: 20, 275556: 26, 250940: 24, 591527: 1, 186299: 24, 245081: 24, 864: 1, 325704: 23, 159600: 20, 403586: 23, 55804: 8, 303098: 23, 52466: 7, 265828: 21, 43580: 6, 429070: 19, 253653: 19, 472825: 16, 162363: 17, 317146: 18, 9624: 1, 414091: 18, 302349: 18, 421066: 18, 319214: 16, 445571: 17, 410826: 15, 577906: 2, 296023: 17, 525486: 10, 413054: 13, 486134: 13, 200105: 16, 577012: 2, 32135: 3, 230409: 16, 92988: 9, 237668: 16, 39881: 3, 186807: 13, 392613: 15, 407862: 13, 174282: 13, 358425: 14, 337146: 13, 406645: 13, 142211: 10, 550159: 7, 419778: 11, 525323: 8, 129064: 8, 583653: 1, 86872: 7, 209259: 11, 273463: 13, 571603: 2, 270911: 13, 562216: 4, 513147: 5, 563231: 3, 158822: 9, 398731: 9, 15061: 1, 285681: 11, 400229: 9, 454092: 7, 363236: 8, 508959: 5, 154171: 7, 507199: 5, 79301: 3, 574677: 1, 322113: 6, 514897: 3, 139297: 5, 186735: 5, 23980: 1, 105275: 4, 280039: 8, 331749: 5, 57822: 1, 478286: 2, 448699: 2, 549878: 2, 483204: 1, 567116: 1, 80547: 1, 293847: 6, 243381: 6, 271468: 6, 82789: 1, 316581: 4, 232652: 5, 412775: 2, 207785: 3, 453878: 1, 216216: 3, 303584: 2, 196226: 2, 404646: 1, 116950: 1, 240229: 1} {46155: 8, 255469: 30, 137504: 17, 304813: 28, 257937: 29, 471726: 19, 192928: 25, 376970: 26, 265168: 28, 383699: 25, 397363: 26, 591669: 1, 316275: 25, 437581: 20, 156736: 20, 275556: 27, 250940: 25, 591527: 1, 186299: 25, 245081: 25, 864: 1, 325704: 23, 159600: 20, 403586: 23, 55804: 8, 303098: 23, 52466: 7, 265828: 22, 43580: 6, 429070: 19, 253653: 20, 472825: 16, 162363: 17, 317146: 18, 9624: 1, 414091: 18, 302349: 18, 421066: 18, 319214: 16, 445571: 17, 410826: 15, 577906: 2, 296023: 17, 525486: 10, 413054: 13, 486134: 13, 200105: 17, 577012: 2, 32135: 3, 230409: 17, 92988: 9, 237668: 17, 39881: 3, 186807: 14, 392613: 15, 407862: 13, 174282: 13, 358425: 14, 337146: 13, 406645: 13, 142211: 10, 550159: 7, 419778: 11, 525323: 8, 129064: 8, 583653: 1, 86872: 7, 209259: 12, 273463: 14, 571603: 2, 270911: 14, 562216: 4, 513147: 5, 563231: 3, 158822: 9, 398731: 9, 15061: 1, 285681: 11, 400229: 9, 454092: 7, 363236: 8, 508959: 5, 154171: 7, 507199: 5, 79301: 3, 574677: 1, 322113: 6, 514897: 3, 139297: 5, 186735: 6, 23980: 1, 105275: 4, 280039: 9, 331749: 5, 57822: 1, 478286: 2, 448699: 2, 549878: 2, 483204: 1, 567116: 1, 80547: 1, 293847: 6, 243381: 7, 271468: 7, 82789: 1, 316581: 4, 232652: 6, 412775: 2, 207785: 4, 453878: 1, 216216: 4, 303584: 2, 196226: 3, 404646: 1, 116950: 1, 240229: 2, 181706: 1, 282916: 1} {46155: 8, 255469: 31, 137504: 18, 304813: 29, 257937: 30, 471726: 20, 192928: 26, 376970: 27, 265168: 29, 383699: 26, 397363: 27, 591669: 1, 316275: 26, 437581: 21, 156736: 21, 275556: 28, 250940: 26, 591527: 1, 186299: 26, 245081: 26, 864: 1, 325704: 24, 159600: 21, 403586: 24, 55804: 8, 303098: 24, 52466: 7, 265828: 23, 43580: 6, 429070: 20, 253653: 21, 472825: 17, 162363: 18, 317146: 19, 9624: 1, 414091: 19, 302349: 19, 421066: 19, 319214: 17, 445571: 18, 410826: 16, 577906: 2, 296023: 18, 525486: 10, 413054: 14, 486134: 13, 200105: 18, 577012: 2, 32135: 3, 230409: 18, 92988: 10, 237668: 18, 39881: 3, 186807: 15, 392613: 16, 407862: 14, 174282: 14, 358425: 15, 337146: 14, 406645: 14, 142211: 11, 550159: 7, 419778: 12, 525323: 8, 129064: 9, 583653: 1, 86872: 8, 209259: 13, 273463: 15, 571603: 2, 270911: 15, 562216: 4, 513147: 5, 563231: 3, 158822: 10, 398731: 10, 15061: 1, 285681: 12, 400229: 10, 454092: 8, 363236: 9, 508959: 5, 154171: 8, 507199: 5, 79301: 4, 574677: 1, 322113: 7, 514897: 3, 139297: 6, 186735: 7, 23980: 1, 105275: 5, 280039: 10, 331749: 6, 57822: 1, 478286: 2, 448699: 3, 549878: 2, 483204: 1, 567116: 1, 80547: 2, 293847: 7, 243381: 8, 271468: 8, 82789: 2, 316581: 5, 232652: 7, 412775: 3, 207785: 5, 453878: 2, 216216: 5, 303584: 3, 196226: 4, 404646: 2, 116950: 2, 240229: 3, 181706: 2, 282916: 2, 60771: 1, 475294: 1} {46155: 8, 255469: 31, 137504: 18, 304813: 29, 257937: 30, 471726: 20, 192928: 26, 376970: 27, 265168: 29, 383699: 26, 397363: 27, 591669: 1, 316275: 26, 437581: 21, 156736: 21, 275556: 28, 250940: 26, 591527: 1, 186299: 26, 245081: 26, 864: 1, 325704: 24, 159600: 21, 403586: 24, 55804: 8, 303098: 24, 52466: 7, 265828: 23, 43580: 6, 429070: 20, 253653: 21, 472825: 17, 162363: 18, 317146: 19, 9624: 1, 414091: 19, 302349: 19, 421066: 19, 319214: 17, 445571: 18, 410826: 16, 577906: 2, 296023: 18, 525486: 10, 413054: 14, 486134: 13, 200105: 18, 577012: 2, 32135: 3, 230409: 18, 92988: 10, 237668: 18, 39881: 3, 186807: 15, 392613: 16, 407862: 14, 174282: 14, 358425: 15, 337146: 14, 406645: 14, 142211: 11, 550159: 7, 419778: 12, 525323: 8, 129064: 9, 583653: 1, 86872: 8, 209259: 13, 273463: 15, 571603: 2, 270911: 15, 562216: 4, 513147: 5, 563231: 3, 158822: 10, 398731: 10, 15061: 1, 285681: 12, 400229: 10, 454092: 8, 363236: 9, 508959: 5, 154171: 8, 507199: 5, 79301: 4, 574677: 1, 322113: 7, 514897: 3, 139297: 6, 186735: 7, 23980: 1, 105275: 6, 280039: 10, 331749: 6, 57822: 1, 478286: 2, 448699: 3, 549878: 2, 483204: 1, 567116: 1, 80547: 2, 293847: 7, 243381: 8, 271468: 8, 82789: 2, 316581: 5, 232652: 7, 412775: 3, 207785: 5, 453878: 2, 216216: 5, 303584: 3, 196226: 4, 404646: 2, 116950: 3, 240229: 3, 181706: 2, 282916: 2, 60771: 1, 475294: 1, 100102: 1, 123901: 1} {46155: 8, 255469: 31, 137504: 18, 304813: 30, 257937: 30, 471726: 21, 192928: 26, 376970: 28, 265168: 29, 383699: 27, 397363: 28, 591669: 1, 316275: 27, 437581: 22, 156736: 21, 275556: 28, 250940: 26, 591527: 1, 186299: 26, 245081: 26, 864: 1, 325704: 25, 159600: 21, 403586: 25, 55804: 8, 303098: 25, 52466: 7, 265828: 23, 43580: 6, 429070: 21, 253653: 21, 472825: 18, 162363: 18, 317146: 20, 9624: 1, 414091: 20, 302349: 20, 421066: 20, 319214: 18, 445571: 19, 410826: 17, 577906: 2, 296023: 19, 525486: 11, 413054: 15, 486134: 14, 200105: 18, 577012: 2, 32135: 3, 230409: 18, 92988: 10, 237668: 18, 39881: 3, 186807: 15, 392613: 17, 407862: 15, 174282: 14, 358425: 16, 337146: 15, 406645: 15, 142211: 11, 550159: 8, 419778: 13, 525323: 9, 129064: 9, 583653: 1, 86872: 8, 209259: 13, 273463: 15, 571603: 3, 270911: 15, 562216: 5, 513147: 6, 563231: 4, 158822: 10, 398731: 11, 15061: 1, 285681: 12, 400229: 11, 454092: 9, 363236: 10, 508959: 6, 154171: 8, 507199: 6, 79301: 4, 574677: 2, 322113: 8, 514897: 4, 139297: 6, 186735: 7, 23980: 1, 105275: 6, 280039: 10, 331749: 7, 57822: 1, 478286: 3, 448699: 4, 549878: 3, 483204: 2, 567116: 2, 80547: 2, 293847: 8, 243381: 8, 271468: 8, 82789: 2, 316581: 6, 232652: 7, 412775: 4, 207785: 5, 453878: 3, 216216: 5, 303584: 4, 196226: 4, 404646: 3, 116950: 3, 240229: 3, 181706: 2, 282916: 2, 60771: 1, 475294: 2, 100102: 1, 123901: 1, 291919: 1, 575406: 1} {46155: 8, 255469: 32, 137504: 18, 304813: 30, 257937: 31, 471726: 21, 192928: 26, 376970: 28, 265168: 30, 383699: 27, 397363: 28, 591669: 1, 316275: 27, 437581: 22, 156736: 21, 275556: 29, 250940: 26, 591527: 1, 186299: 26, 245081: 26, 864: 1, 325704: 25, 159600: 21, 403586: 25, 55804: 8, 303098: 25, 52466: 7, 265828: 24, 43580: 6, 429070: 21, 253653: 22, 472825: 18, 162363: 18, 317146: 20, 9624: 1, 414091: 20, 302349: 20, 421066: 20, 319214: 18, 445571: 19, 410826: 17, 577906: 2, 296023: 20, 525486: 11, 413054: 15, 486134: 14, 200105: 18, 577012: 2, 32135: 3, 230409: 18, 92988: 10, 237668: 18, 39881: 3, 186807: 15, 392613: 17, 407862: 15, 174282: 14, 358425: 16, 337146: 15, 406645: 15, 142211: 11, 550159: 8, 419778: 13, 525323: 9, 129064: 9, 583653: 1, 86872: 8, 209259: 13, 273463: 16, 571603: 3, 270911: 16, 562216: 5, 513147: 6, 563231: 4, 158822: 10, 398731: 11, 15061: 1, 285681: 13, 400229: 11, 454092: 9, 363236: 10, 508959: 6, 154171: 8, 507199: 6, 79301: 4, 574677: 2, 322113: 8, 514897: 4, 139297: 6, 186735: 7, 23980: 1, 105275: 6, 280039: 11, 331749: 7, 57822: 1, 478286: 3, 448699: 4, 549878: 3, 483204: 2, 567116: 2, 80547: 2, 293847: 9, 243381: 8, 271468: 9, 82789: 2, 316581: 6, 232652: 7, 412775: 4, 207785: 5, 453878: 3, 216216: 5, 303584: 4, 196226: 4, 404646: 3, 116950: 3, 240229: 3, 181706: 2, 282916: 3, 60771: 1, 475294: 2, 100102: 1, 123901: 1, 291919: 2, 575406: 1, 250950: 1, 296835: 1} {46155: 8, 255469: 33, 137504: 18, 304813: 31, 257937: 32, 471726: 21, 192928: 27, 376970: 28, 265168: 31, 383699: 27, 397363: 28, 591669: 1, 316275: 28, 437581: 22, 156736: 22, 275556: 30, 250940: 27, 591527: 1, 186299: 27, 245081: 27, 864: 1, 325704: 26, 159600: 22, 403586: 25, 55804: 8, 303098: 26, 52466: 7, 265828: 25, 43580: 6, 429070: 21, 253653: 23, 472825: 18, 162363: 19, 317146: 21, 9624: 1, 414091: 20, 302349: 21, 421066: 20, 319214: 19, 445571: 19, 410826: 17, 577906: 2, 296023: 21, 525486: 11, 413054: 15, 486134: 14, 200105: 19, 577012: 2, 32135: 3, 230409: 19, 92988: 10, 237668: 19, 39881: 3, 186807: 16, 392613: 17, 407862: 15, 174282: 15, 358425: 17, 337146: 16, 406645: 15, 142211: 11, 550159: 8, 419778: 13, 525323: 9, 129064: 9, 583653: 1, 86872: 8, 209259: 14, 273463: 17, 571603: 3, 270911: 17, 562216: 5, 513147: 6, 563231: 4, 158822: 11, 398731: 11, 15061: 1, 285681: 14, 400229: 11, 454092: 9, 363236: 11, 508959: 6, 154171: 8, 507199: 6, 79301: 4, 574677: 2, 322113: 9, 514897: 4, 139297: 6, 186735: 8, 23980: 1, 105275: 6, 280039: 12, 331749: 8, 57822: 1, 478286: 3, 448699: 4, 549878: 3, 483204: 2, 567116: 2, 80547: 2, 293847: 10, 243381: 9, 271468: 10, 82789: 2, 316581: 7, 232652: 8, 412775: 4, 207785: 6, 453878: 3, 216216: 6, 303584: 5, 196226: 5, 404646: 3, 116950: 3, 240229: 4, 181706: 3, 282916: 4, 60771: 1, 475294: 2, 100102: 1, 123901: 1, 291919: 3, 575406: 1, 250950: 2, 296835: 2, 156022: 1, 371193: 1} {46155: 8, 255469: 34, 137504: 18, 304813: 31, 257937: 33, 471726: 21, 192928: 27, 376970: 28, 265168: 32, 383699: 27, 397363: 28, 591669: 1, 316275: 28, 437581: 22, 156736: 22, 275556: 30, 250940: 28, 591527: 1, 186299: 27, 245081: 28, 864: 1, 325704: 26, 159600: 22, 403586: 25, 55804: 8, 303098: 26, 52466: 7, 265828: 26, 43580: 6, 429070: 21, 253653: 24, 472825: 18, 162363: 19, 317146: 21, 9624: 1, 414091: 20, 302349: 21, 421066: 20, 319214: 19, 445571: 19, 410826: 17, 577906: 2, 296023: 21, 525486: 11, 413054: 15, 486134: 14, 200105: 19, 577012: 2, 32135: 3, 230409: 20, 92988: 10, 237668: 20, 39881: 3, 186807: 16, 392613: 17, 407862: 15, 174282: 15, 358425: 17, 337146: 16, 406645: 15, 142211: 11, 550159: 8, 419778: 13, 525323: 9, 129064: 9, 583653: 1, 86872: 8, 209259: 14, 273463: 17, 571603: 3, 270911: 18, 562216: 5, 513147: 6, 563231: 4, 158822: 11, 398731: 11, 15061: 1, 285681: 14, 400229: 11, 454092: 9, 363236: 11, 508959: 6, 154171: 8, 507199: 6, 79301: 4, 574677: 2, 322113: 9, 514897: 4, 139297: 6, 186735: 8, 23980: 1, 105275: 6, 280039: 12, 331749: 8, 57822: 1, 478286: 3, 448699: 4, 549878: 3, 483204: 2, 567116: 2, 80547: 2, 293847: 10, 243381: 10, 271468: 10, 82789: 2, 316581: 7, 232652: 9, 412775: 4, 207785: 6, 453878: 3, 216216: 6, 303584: 5, 196226: 5, 404646: 3, 116950: 3, 240229: 5, 181706: 3, 282916: 4, 60771: 1, 475294: 2, 100102: 1, 123901: 1, 291919: 3, 575406: 1, 250950: 3, 296835: 2, 156022: 1, 371193: 1, 225234: 1, 271042: 1} {46155: 8, 255469: 34, 137504: 18, 304813: 31, 257937: 33, 471726: 22, 192928: 27, 376970: 29, 265168: 32, 383699: 28, 397363: 29, 591669: 1, 316275: 29, 437581: 23, 156736: 22, 275556: 30, 250940: 28, 591527: 1, 186299: 27, 245081: 28, 864: 1, 325704: 27, 159600: 22, 403586: 26, 55804: 8, 303098: 26, 52466: 7, 265828: 26, 43580: 6, 429070: 22, 253653: 24, 472825: 19, 162363: 19, 317146: 22, 9624: 1, 414091: 21, 302349: 21, 421066: 21, 319214: 20, 445571: 20, 410826: 18, 577906: 2, 296023: 21, 525486: 12, 413054: 16, 486134: 15, 200105: 19, 577012: 2, 32135: 3, 230409: 20, 92988: 10, 237668: 20, 39881: 3, 186807: 16, 392613: 18, 407862: 16, 174282: 15, 358425: 18, 337146: 17, 406645: 16, 142211: 11, 550159: 9, 419778: 14, 525323: 10, 129064: 9, 583653: 1, 86872: 8, 209259: 14, 273463: 17, 571603: 4, 270911: 18, 562216: 6, 513147: 7, 563231: 5, 158822: 11, 398731: 12, 15061: 1, 285681: 14, 400229: 12, 454092: 10, 363236: 12, 508959: 7, 154171: 8, 507199: 7, 79301: 4, 574677: 3, 322113: 10, 514897: 5, 139297: 6, 186735: 8, 23980: 1, 105275: 6, 280039: 12, 331749: 9, 57822: 1, 478286: 4, 448699: 5, 549878: 4, 483204: 3, 567116: 3, 80547: 2, 293847: 10, 243381: 10, 271468: 10, 82789: 2, 316581: 8, 232652: 9, 412775: 5, 207785: 6, 453878: 4, 216216: 6, 303584: 5, 196226: 5, 404646: 4, 116950: 3, 240229: 5, 181706: 3, 282916: 4, 60771: 1, 475294: 3, 100102: 1, 123901: 1, 291919: 3, 575406: 1, 250950: 3, 296835: 2, 156022: 1, 371193: 2, 225234: 1, 271042: 1, 314446: 1, 575353: 1} {46155: 8, 255469: 34, 137504: 18, 304813: 32, 257937: 33, 471726: 22, 192928: 27, 376970: 30, 265168: 32, 383699: 29, 397363: 30, 591669: 1, 316275: 30, 437581: 24, 156736: 22, 275556: 30, 250940: 28, 591527: 1, 186299: 27, 245081: 28, 864: 1, 325704: 28, 159600: 22, 403586: 27, 55804: 8, 303098: 27, 52466: 7, 265828: 26, 43580: 6, 429070: 23, 253653: 24, 472825: 19, 162363: 19, 317146: 23, 9624: 1, 414091: 22, 302349: 22, 421066: 22, 319214: 21, 445571: 21, 410826: 19, 577906: 2, 296023: 22, 525486: 12, 413054: 17, 486134: 15, 200105: 19, 577012: 2, 32135: 3, 230409: 20, 92988: 10, 237668: 20, 39881: 3, 186807: 16, 392613: 19, 407862: 17, 174282: 15, 358425: 19, 337146: 18, 406645: 17, 142211: 11, 550159: 9, 419778: 15, 525323: 10, 129064: 9, 583653: 1, 86872: 8, 209259: 14, 273463: 17, 571603: 4, 270911: 18, 562216: 6, 513147: 7, 563231: 5, 158822: 11, 398731: 13, 15061: 1, 285681: 14, 400229: 13, 454092: 11, 363236: 13, 508959: 7, 154171: 8, 507199: 7, 79301: 4, 574677: 3, 322113: 11, 514897: 5, 139297: 6, 186735: 8, 23980: 1, 105275: 6, 280039: 12, 331749: 10, 57822: 1, 478286: 4, 448699: 6, 549878: 4, 483204: 3, 567116: 3, 80547: 2, 293847: 11, 243381: 10, 271468: 10, 82789: 2, 316581: 9, 232652: 9, 412775: 6, 207785: 6, 453878: 5, 216216: 6, 303584: 6, 196226: 5, 404646: 5, 116950: 3, 240229: 5, 181706: 3, 282916: 4, 60771: 1, 475294: 3, 100102: 1, 123901: 1, 291919: 4, 575406: 1, 250950: 3, 296835: 3, 156022: 1, 371193: 3, 225234: 1, 271042: 1, 314446: 2, 575353: 1, 288752: 1, 468691: 1} {46155: 8, 255469: 35, 137504: 18, 304813: 33, 257937: 34, 471726: 23, 192928: 27, 376970: 31, 265168: 33, 383699: 30, 397363: 31, 591669: 1, 316275: 31, 437581: 25, 156736: 22, 275556: 31, 250940: 29, 591527: 1, 186299: 27, 245081: 29, 864: 1, 325704: 29, 159600: 22, 403586: 28, 55804: 8, 303098: 28, 52466: 7, 265828: 27, 43580: 6, 429070: 24, 253653: 25, 472825: 20, 162363: 19, 317146: 24, 9624: 1, 414091: 23, 302349: 23, 421066: 23, 319214: 22, 445571: 22, 410826: 20, 577906: 2, 296023: 23, 525486: 12, 413054: 18, 486134: 16, 200105: 19, 577012: 2, 32135: 3, 230409: 21, 92988: 10, 237668: 21, 39881: 3, 186807: 16, 392613: 20, 407862: 18, 174282: 15, 358425: 20, 337146: 19, 406645: 18, 142211: 11, 550159: 9, 419778: 16, 525323: 10, 129064: 9, 583653: 1, 86872: 8, 209259: 14, 273463: 18, 571603: 4, 270911: 19, 562216: 6, 513147: 8, 563231: 5, 158822: 11, 398731: 14, 15061: 1, 285681: 15, 400229: 14, 454092: 12, 363236: 14, 508959: 8, 154171: 8, 507199: 8, 79301: 4, 574677: 3, 322113: 12, 514897: 6, 139297: 6, 186735: 8, 23980: 1, 105275: 6, 280039: 13, 331749: 11, 57822: 1, 478286: 5, 448699: 7, 549878: 4, 483204: 4, 567116: 3, 80547: 2, 293847: 12, 243381: 11, 271468: 11, 82789: 2, 316581: 10, 232652: 10, 412775: 7, 207785: 6, 453878: 6, 216216: 7, 303584: 7, 196226: 5, 404646: 6, 116950: 3, 240229: 6, 181706: 3, 282916: 5, 60771: 1, 475294: 4, 100102: 1, 123901: 1, 291919: 5, 575406: 1, 250950: 4, 296835: 4, 156022: 1, 371193: 4, 225234: 2, 271042: 2, 314446: 3, 575353: 1, 288752: 2, 468691: 2, 210942: 1, 525064: 1} {46155: 8, 255469: 36, 137504: 18, 304813: 34, 257937: 35, 471726: 24, 192928: 27, 376970: 32, 265168: 34, 383699: 31, 397363: 32, 591669: 1, 316275: 32, 437581: 26, 156736: 22, 275556: 32, 250940: 30, 591527: 1, 186299: 27, 245081: 30, 864: 1, 325704: 30, 159600: 22, 403586: 29, 55804: 8, 303098: 29, 52466: 7, 265828: 28, 43580: 6, 429070: 25, 253653: 26, 472825: 21, 162363: 19, 317146: 25, 9624: 1, 414091: 24, 302349: 24, 421066: 24, 319214: 23, 445571: 23, 410826: 21, 577906: 2, 296023: 24, 525486: 12, 413054: 19, 486134: 16, 200105: 19, 577012: 2, 32135: 3, 230409: 22, 92988: 10, 237668: 22, 39881: 3, 186807: 16, 392613: 21, 407862: 19, 174282: 15, 358425: 21, 337146: 20, 406645: 19, 142211: 11, 550159: 9, 419778: 17, 525323: 10, 129064: 9, 583653: 1, 86872: 8, 209259: 14, 273463: 19, 571603: 4, 270911: 20, 562216: 6, 513147: 8, 563231: 5, 158822: 11, 398731: 15, 15061: 1, 285681: 16, 400229: 15, 454092: 13, 363236: 15, 508959: 8, 154171: 8, 507199: 8, 79301: 4, 574677: 3, 322113: 13, 514897: 6, 139297: 6, 186735: 8, 23980: 1, 105275: 6, 280039: 14, 331749: 12, 57822: 1, 478286: 6, 448699: 8, 549878: 4, 483204: 4, 567116: 3, 80547: 2, 293847: 13, 243381: 12, 271468: 12, 82789: 2, 316581: 11, 232652: 11, 412775: 8, 207785: 6, 453878: 7, 216216: 7, 303584: 8, 196226: 5, 404646: 7, 116950: 3, 240229: 7, 181706: 3, 282916: 6, 60771: 1, 475294: 5, 100102: 1, 123901: 1, 291919: 6, 575406: 1, 250950: 5, 296835: 5, 156022: 1, 371193: 5, 225234: 3, 271042: 3, 314446: 4, 575353: 1, 288752: 3, 468691: 3, 210942: 1, 525064: 1, 221306: 1, 481689: 1} {46155: 8, 255469: 37, 137504: 18, 304813: 34, 257937: 36, 471726: 24, 192928: 28, 376970: 32, 265168: 35, 383699: 31, 397363: 32, 591669: 1, 316275: 32, 437581: 26, 156736: 22, 275556: 33, 250940: 31, 591527: 1, 186299: 28, 245081: 31, 864: 1, 325704: 30, 159600: 22, 403586: 29, 55804: 8, 303098: 29, 52466: 7, 265828: 29, 43580: 6, 429070: 25, 253653: 27, 472825: 21, 162363: 19, 317146: 25, 9624: 1, 414091: 24, 302349: 24, 421066: 24, 319214: 23, 445571: 23, 410826: 21, 577906: 2, 296023: 24, 525486: 12, 413054: 19, 486134: 16, 200105: 20, 577012: 2, 32135: 3, 230409: 23, 92988: 10, 237668: 23, 39881: 3, 186807: 17, 392613: 21, 407862: 19, 174282: 16, 358425: 21, 337146: 20, 406645: 19, 142211: 11, 550159: 9, 419778: 17, 525323: 10, 129064: 9, 583653: 1, 86872: 8, 209259: 15, 273463: 20, 571603: 4, 270911: 21, 562216: 6, 513147: 8, 563231: 5, 158822: 11, 398731: 15, 15061: 1, 285681: 16, 400229: 15, 454092: 13, 363236: 15, 508959: 8, 154171: 8, 507199: 8, 79301: 4, 574677: 3, 322113: 13, 514897: 6, 139297: 6, 186735: 9, 23980: 1, 105275: 6, 280039: 14, 331749: 12, 57822: 1, 478286: 6, 448699: 8, 549878: 4, 483204: 4, 567116: 3, 80547: 2, 293847: 13, 243381: 13, 271468: 13, 82789: 2, 316581: 11, 232652: 12, 412775: 8, 207785: 7, 453878: 7, 216216: 8, 303584: 8, 196226: 6, 404646: 7, 116950: 3, 240229: 8, 181706: 4, 282916: 6, 60771: 1, 475294: 5, 100102: 1, 123901: 1, 291919: 6, 575406: 1, 250950: 6, 296835: 5, 156022: 1, 371193: 5, 225234: 4, 271042: 4, 314446: 4, 575353: 1, 288752: 3, 468691: 3, 210942: 2, 525064: 1, 221306: 2, 481689: 1, 167248: 1, 277841: 1} {46155: 8, 255469: 37, 137504: 18, 304813: 34, 257937: 36, 471726: 25, 192928: 28, 376970: 33, 265168: 35, 383699: 32, 397363: 33, 591669: 1, 316275: 33, 437581: 27, 156736: 22, 275556: 33, 250940: 31, 591527: 1, 186299: 28, 245081: 31, 864: 1, 325704: 31, 159600: 22, 403586: 30, 55804: 8, 303098: 29, 52466: 7, 265828: 29, 43580: 6, 429070: 26, 253653: 27, 472825: 22, 162363: 19, 317146: 26, 9624: 1, 414091: 25, 302349: 24, 421066: 25, 319214: 24, 445571: 24, 410826: 22, 577906: 2, 296023: 24, 525486: 12, 413054: 20, 486134: 17, 200105: 20, 577012: 2, 32135: 3, 230409: 23, 92988: 10, 237668: 23, 39881: 3, 186807: 17, 392613: 22, 407862: 20, 174282: 16, 358425: 22, 337146: 21, 406645: 20, 142211: 11, 550159: 9, 419778: 18, 525323: 10, 129064: 9, 583653: 1, 86872: 8, 209259: 15, 273463: 20, 571603: 4, 270911: 21, 562216: 6, 513147: 8, 563231: 5, 158822: 11, 398731: 16, 15061: 1, 285681: 16, 400229: 16, 454092: 14, 363236: 16, 508959: 8, 154171: 8, 507199: 8, 79301: 4, 574677: 3, 322113: 14, 514897: 6, 139297: 6, 186735: 9, 23980: 1, 105275: 6, 280039: 14, 331749: 13, 57822: 1, 478286: 7, 448699: 9, 549878: 4, 483204: 5, 567116: 3, 80547: 2, 293847: 13, 243381: 13, 271468: 13, 82789: 2, 316581: 12, 232652: 12, 412775: 9, 207785: 7, 453878: 8, 216216: 8, 303584: 8, 196226: 6, 404646: 8, 116950: 3, 240229: 8, 181706: 4, 282916: 6, 60771: 1, 475294: 6, 100102: 1, 123901: 1, 291919: 6, 575406: 1, 250950: 6, 296835: 5, 156022: 1, 371193: 6, 225234: 4, 271042: 4, 314446: 4, 575353: 1, 288752: 3, 468691: 4, 210942: 2, 525064: 1, 221306: 2, 481689: 2, 167248: 1, 277841: 1, 315963: 1, 506807: 1} {46155: 8, 255469: 38, 137504: 19, 304813: 34, 257937: 37, 471726: 25, 192928: 29, 376970: 33, 265168: 36, 383699: 32, 397363: 33, 591669: 1, 316275: 33, 437581: 27, 156736: 23, 275556: 33, 250940: 32, 591527: 1, 186299: 29, 245081: 32, 864: 1, 325704: 31, 159600: 23, 403586: 30, 55804: 8, 303098: 29, 52466: 7, 265828: 30, 43580: 6, 429070: 26, 253653: 28, 472825: 22, 162363: 20, 317146: 26, 9624: 1, 414091: 25, 302349: 24, 421066: 25, 319214: 24, 445571: 24, 410826: 22, 577906: 2, 296023: 24, 525486: 12, 413054: 20, 486134: 17, 200105: 21, 577012: 2, 32135: 3, 230409: 24, 92988: 11, 237668: 24, 39881: 3, 186807: 18, 392613: 22, 407862: 20, 174282: 17, 358425: 22, 337146: 21, 406645: 20, 142211: 12, 550159: 9, 419778: 18, 525323: 10, 129064: 10, 583653: 1, 86872: 9, 209259: 16, 273463: 20, 571603: 4, 270911: 21, 562216: 6, 513147: 8, 563231: 5, 158822: 12, 398731: 16, 15061: 1, 285681: 16, 400229: 16, 454092: 14, 363236: 16, 508959: 8, 154171: 9, 507199: 8, 79301: 5, 574677: 3, 322113: 14, 514897: 6, 139297: 7, 186735: 10, 23980: 1, 105275: 7, 280039: 14, 331749: 13, 57822: 1, 478286: 7, 448699: 9, 549878: 4, 483204: 5, 567116: 3, 80547: 3, 293847: 13, 243381: 14, 271468: 13, 82789: 3, 316581: 12, 232652: 13, 412775: 9, 207785: 8, 453878: 8, 216216: 9, 303584: 8, 196226: 7, 404646: 8, 116950: 4, 240229: 9, 181706: 5, 282916: 6, 60771: 1, 475294: 6, 100102: 2, 123901: 2, 291919: 6, 575406: 1, 250950: 7, 296835: 5, 156022: 2, 371193: 6, 225234: 5, 271042: 4, 314446: 4, 575353: 1, 288752: 3, 468691: 4, 210942: 3, 525064: 1, 221306: 3, 481689: 2, 167248: 2, 277841: 1, 315963: 1, 506807: 1, 66536: 1, 270065: 1} {46155: 8, 255469: 38, 137504: 19, 304813: 35, 257937: 37, 471726: 25, 192928: 29, 376970: 34, 265168: 36, 383699: 33, 397363: 34, 591669: 1, 316275: 34, 437581: 28, 156736: 23, 275556: 33, 250940: 32, 591527: 1, 186299: 29, 245081: 32, 864: 1, 325704: 32, 159600: 23, 403586: 31, 55804: 8, 303098: 30, 52466: 7, 265828: 30, 43580: 6, 429070: 27, 253653: 28, 472825: 22, 162363: 20, 317146: 27, 9624: 1, 414091: 26, 302349: 25, 421066: 26, 319214: 25, 445571: 25, 410826: 23, 577906: 2, 296023: 25, 525486: 12, 413054: 21, 486134: 17, 200105: 21, 577012: 2, 32135: 3, 230409: 24, 92988: 11, 237668: 24, 39881: 3, 186807: 18, 392613: 23, 407862: 21, 174282: 17, 358425: 23, 337146: 22, 406645: 21, 142211: 12, 550159: 9, 419778: 19, 525323: 10, 129064: 10, 583653: 1, 86872: 9, 209259: 16, 273463: 20, 571603: 4, 270911: 21, 562216: 6, 513147: 8, 563231: 5, 158822: 12, 398731: 17, 15061: 1, 285681: 17, 400229: 17, 454092: 15, 363236: 17, 508959: 8, 154171: 9, 507199: 8, 79301: 5, 574677: 3, 322113: 15, 514897: 6, 139297: 7, 186735: 10, 23980: 1, 105275: 7, 280039: 15, 331749: 14, 57822: 1, 478286: 7, 448699: 10, 549878: 4, 483204: 5, 567116: 3, 80547: 3, 293847: 14, 243381: 14, 271468: 13, 82789: 3, 316581: 13, 232652: 13, 412775: 10, 207785: 8, 453878: 9, 216216: 9, 303584: 9, 196226: 7, 404646: 9, 116950: 4, 240229: 9, 181706: 5, 282916: 7, 60771: 1, 475294: 6, 100102: 2, 123901: 2, 291919: 7, 575406: 1, 250950: 7, 296835: 6, 156022: 2, 371193: 7, 225234: 5, 271042: 4, 314446: 5, 575353: 1, 288752: 4, 468691: 4, 210942: 3, 525064: 1, 221306: 3, 481689: 2, 167248: 2, 277841: 1, 315963: 2, 506807: 1, 66536: 1, 270065: 1, 278608: 1, 464909: 1} {46155: 8, 255469: 38, 137504: 19, 304813: 35, 257937: 37, 471726: 25, 192928: 29, 376970: 34, 265168: 36, 383699: 33, 397363: 34, 591669: 1, 316275: 34, 437581: 28, 156736: 23, 275556: 33, 250940: 32, 591527: 1, 186299: 29, 245081: 32, 864: 1, 325704: 32, 159600: 23, 403586: 31, 55804: 8, 303098: 30, 52466: 7, 265828: 30, 43580: 6, 429070: 27, 253653: 28, 472825: 22, 162363: 20, 317146: 27, 9624: 1, 414091: 26, 302349: 25, 421066: 26, 319214: 25, 445571: 25, 410826: 23, 577906: 3, 296023: 25, 525486: 13, 413054: 21, 486134: 18, 200105: 21, 577012: 3, 32135: 3, 230409: 24, 92988: 11, 237668: 24, 39881: 3, 186807: 18, 392613: 23, 407862: 21, 174282: 17, 358425: 23, 337146: 22, 406645: 21, 142211: 12, 550159: 10, 419778: 19, 525323: 11, 129064: 10, 583653: 1, 86872: 9, 209259: 16, 273463: 20, 571603: 5, 270911: 21, 562216: 7, 513147: 9, 563231: 6, 158822: 12, 398731: 17, 15061: 1, 285681: 17, 400229: 17, 454092: 15, 363236: 17, 508959: 9, 154171: 9, 507199: 9, 79301: 5, 574677: 4, 322113: 15, 514897: 7, 139297: 7, 186735: 10, 23980: 1, 105275: 7, 280039: 15, 331749: 14, 57822: 1, 478286: 7, 448699: 10, 549878: 5, 483204: 5, 567116: 4, 80547: 3, 293847: 14, 243381: 14, 271468: 13, 82789: 3, 316581: 13, 232652: 13, 412775: 10, 207785: 8, 453878: 9, 216216: 9, 303584: 9, 196226: 7, 404646: 9, 116950: 4, 240229: 9, 181706: 5, 282916: 7, 60771: 1, 475294: 6, 100102: 2, 123901: 2, 291919: 7, 575406: 2, 250950: 7, 296835: 6, 156022: 2, 371193: 7, 225234: 5, 271042: 4, 314446: 5, 575353: 2, 288752: 4, 468691: 4, 210942: 3, 525064: 2, 221306: 3, 481689: 2, 167248: 2, 277841: 1, 315963: 2, 506807: 2, 66536: 1, 270065: 1, 278608: 1, 464909: 1, 483269: 1, 579385: 1} {46155: 8, 255469: 39, 137504: 19, 304813: 36, 257937: 38, 471726: 25, 192928: 30, 376970: 35, 265168: 37, 383699: 34, 397363: 35, 591669: 1, 316275: 35, 437581: 29, 156736: 23, 275556: 34, 250940: 33, 591527: 1, 186299: 29, 245081: 33, 864: 1, 325704: 33, 159600: 23, 403586: 32, 55804: 8, 303098: 31, 52466: 7, 265828: 31, 43580: 6, 429070: 28, 253653: 29, 472825: 22, 162363: 20, 317146: 28, 9624: 1, 414091: 27, 302349: 26, 421066: 27, 319214: 26, 445571: 26, 410826: 24, 577906: 3, 296023: 26, 525486: 13, 413054: 22, 486134: 18, 200105: 22, 577012: 3, 32135: 3, 230409: 25, 92988: 11, 237668: 25, 39881: 3, 186807: 18, 392613: 24, 407862: 22, 174282: 17, 358425: 24, 337146: 23, 406645: 22, 142211: 12, 550159: 10, 419778: 20, 525323: 11, 129064: 10, 583653: 1, 86872: 9, 209259: 17, 273463: 21, 571603: 5, 270911: 22, 562216: 7, 513147: 9, 563231: 6, 158822: 12, 398731: 18, 15061: 1, 285681: 18, 400229: 18, 454092: 16, 363236: 18, 508959: 9, 154171: 9, 507199: 9, 79301: 5, 574677: 4, 322113: 16, 514897: 7, 139297: 7, 186735: 10, 23980: 1, 105275: 7, 280039: 16, 331749: 15, 57822: 1, 478286: 7, 448699: 11, 549878: 5, 483204: 5, 567116: 4, 80547: 3, 293847: 15, 243381: 15, 271468: 14, 82789: 3, 316581: 14, 232652: 14, 412775: 11, 207785: 9, 453878: 10, 216216: 10, 303584: 10, 196226: 8, 404646: 10, 116950: 4, 240229: 10, 181706: 5, 282916: 8, 60771: 1, 475294: 6, 100102: 2, 123901: 2, 291919: 8, 575406: 2, 250950: 8, 296835: 7, 156022: 2, 371193: 8, 225234: 6, 271042: 5, 314446: 6, 575353: 2, 288752: 5, 468691: 5, 210942: 4, 525064: 2, 221306: 4, 481689: 2, 167248: 2, 277841: 2, 315963: 3, 506807: 2, 66536: 1, 270065: 2, 278608: 2, 464909: 2, 483269: 1, 579385: 1, 189917: 1, 470695: 1} {46155: 8, 255469: 40, 137504: 20, 304813: 36, 257937: 39, 471726: 25, 192928: 31, 376970: 35, 265168: 38, 383699: 34, 397363: 35, 591669: 1, 316275: 35, 437581: 29, 156736: 24, 275556: 35, 250940: 34, 591527: 1, 186299: 30, 245081: 34, 864: 1, 325704: 33, 159600: 24, 403586: 32, 55804: 8, 303098: 31, 52466: 7, 265828: 32, 43580: 6, 429070: 28, 253653: 30, 472825: 22, 162363: 21, 317146: 28, 9624: 1, 414091: 27, 302349: 26, 421066: 27, 319214: 26, 445571: 26, 410826: 24, 577906: 3, 296023: 27, 525486: 13, 413054: 22, 486134: 18, 200105: 23, 577012: 3, 32135: 3, 230409: 26, 92988: 11, 237668: 26, 39881: 3, 186807: 19, 392613: 24, 407862: 22, 174282: 18, 358425: 24, 337146: 23, 406645: 22, 142211: 13, 550159: 10, 419778: 20, 525323: 11, 129064: 11, 583653: 1, 86872: 9, 209259: 18, 273463: 22, 571603: 5, 270911: 23, 562216: 7, 513147: 9, 563231: 6, 158822: 13, 398731: 18, 15061: 1, 285681: 19, 400229: 18, 454092: 16, 363236: 18, 508959: 9, 154171: 10, 507199: 9, 79301: 5, 574677: 4, 322113: 16, 514897: 7, 139297: 8, 186735: 11, 23980: 1, 105275: 7, 280039: 17, 331749: 15, 57822: 1, 478286: 7, 448699: 11, 549878: 5, 483204: 5, 567116: 4, 80547: 3, 293847: 16, 243381: 16, 271468: 15, 82789: 3, 316581: 14, 232652: 15, 412775: 11, 207785: 10, 453878: 10, 216216: 11, 303584: 10, 196226: 9, 404646: 10, 116950: 5, 240229: 11, 181706: 6, 282916: 9, 60771: 1, 475294: 6, 100102: 2, 123901: 3, 291919: 9, 575406: 2, 250950: 9, 296835: 8, 156022: 3, 371193: 8, 225234: 7, 271042: 6, 314446: 6, 575353: 2, 288752: 6, 468691: 5, 210942: 5, 525064: 2, 221306: 5, 481689: 2, 167248: 3, 277841: 3, 315963: 3, 506807: 2, 66536: 1, 270065: 3, 278608: 3, 464909: 2, 483269: 1, 579385: 1, 189917: 2, 470695: 1, 108616: 1, 301162: 1} {46155: 8, 255469: 40, 137504: 20, 304813: 36, 257937: 39, 471726: 26, 192928: 31, 376970: 36, 265168: 38, 383699: 35, 397363: 36, 591669: 1, 316275: 35, 437581: 30, 156736: 24, 275556: 35, 250940: 34, 591527: 1, 186299: 30, 245081: 34, 864: 1, 325704: 33, 159600: 24, 403586: 33, 55804: 8, 303098: 31, 52466: 7, 265828: 32, 43580: 6, 429070: 29, 253653: 30, 472825: 23, 162363: 21, 317146: 28, 9624: 1, 414091: 28, 302349: 26, 421066: 28, 319214: 26, 445571: 27, 410826: 25, 577906: 3, 296023: 27, 525486: 14, 413054: 23, 486134: 19, 200105: 23, 577012: 3, 32135: 3, 230409: 26, 92988: 11, 237668: 26, 39881: 3, 186807: 19, 392613: 25, 407862: 23, 174282: 18, 358425: 25, 337146: 23, 406645: 23, 142211: 13, 550159: 10, 419778: 21, 525323: 12, 129064: 11, 583653: 1, 86872: 9, 209259: 18, 273463: 22, 571603: 5, 270911: 23, 562216: 7, 513147: 10, 563231: 6, 158822: 13, 398731: 19, 15061: 1, 285681: 19, 400229: 19, 454092: 17, 363236: 19, 508959: 10, 154171: 10, 507199: 10, 79301: 5, 574677: 4, 322113: 16, 514897: 8, 139297: 8, 186735: 11, 23980: 1, 105275: 7, 280039: 17, 331749: 15, 57822: 1, 478286: 8, 448699: 12, 549878: 5, 483204: 6, 567116: 4, 80547: 3, 293847: 16, 243381: 16, 271468: 15, 82789: 3, 316581: 14, 232652: 15, 412775: 12, 207785: 10, 453878: 11, 216216: 11, 303584: 10, 196226: 9, 404646: 11, 116950: 5, 240229: 11, 181706: 6, 282916: 9, 60771: 1, 475294: 7, 100102: 2, 123901: 3, 291919: 9, 575406: 2, 250950: 9, 296835: 8, 156022: 3, 371193: 9, 225234: 7, 271042: 6, 314446: 6, 575353: 2, 288752: 6, 468691: 6, 210942: 5, 525064: 3, 221306: 5, 481689: 3, 167248: 3, 277841: 3, 315963: 3, 506807: 3, 66536: 1, 270065: 3, 278608: 3, 464909: 3, 483269: 2, 579385: 1, 189917: 2, 470695: 2, 108616: 1, 301162: 1, 346347: 1, 536668: 1} {46155: 8, 255469: 40, 137504: 20, 304813: 36, 257937: 39, 471726: 26, 192928: 31, 376970: 36, 265168: 38, 383699: 35, 397363: 36, 591669: 1, 316275: 35, 437581: 30, 156736: 24, 275556: 35, 250940: 34, 591527: 1, 186299: 30, 245081: 34, 864: 1, 325704: 33, 159600: 24, 403586: 33, 55804: 8, 303098: 31, 52466: 7, 265828: 32, 43580: 6, 429070: 29, 253653: 30, 472825: 23, 162363: 21, 317146: 28, 9624: 1, 414091: 28, 302349: 26, 421066: 28, 319214: 26, 445571: 27, 410826: 25, 577906: 3, 296023: 27, 525486: 14, 413054: 23, 486134: 19, 200105: 23, 577012: 3, 32135: 3, 230409: 26, 92988: 12, 237668: 26, 39881: 3, 186807: 19, 392613: 25, 407862: 23, 174282: 18, 358425: 25, 337146: 23, 406645: 23, 142211: 13, 550159: 10, 419778: 21, 525323: 12, 129064: 11, 583653: 1, 86872: 10, 209259: 18, 273463: 22, 571603: 5, 270911: 23, 562216: 7, 513147: 10, 563231: 6, 158822: 13, 398731: 19, 15061: 1, 285681: 19, 400229: 19, 454092: 17, 363236: 19, 508959: 10, 154171: 10, 507199: 10, 79301: 5, 574677: 4, 322113: 16, 514897: 8, 139297: 8, 186735: 11, 23980: 1, 105275: 8, 280039: 17, 331749: 15, 57822: 1, 478286: 8, 448699: 12, 549878: 5, 483204: 6, 567116: 4, 80547: 3, 293847: 16, 243381: 16, 271468: 15, 82789: 3, 316581: 14, 232652: 15, 412775: 12, 207785: 10, 453878: 11, 216216: 11, 303584: 10, 196226: 9, 404646: 11, 116950: 6, 240229: 11, 181706: 6, 282916: 9, 60771: 1, 475294: 7, 100102: 3, 123901: 3, 291919: 9, 575406: 2, 250950: 9, 296835: 8, 156022: 3, 371193: 9, 225234: 7, 271042: 6, 314446: 6, 575353: 2, 288752: 6, 468691: 6, 210942: 5, 525064: 3, 221306: 5, 481689: 3, 167248: 3, 277841: 3, 315963: 3, 506807: 3, 66536: 1, 270065: 3, 278608: 3, 464909: 3, 483269: 2, 579385: 1, 189917: 2, 470695: 2, 108616: 2, 301162: 1, 346347: 1, 536668: 1, 86321: 1, 119260: 1} {46155: 8, 255469: 41, 137504: 20, 304813: 37, 257937: 40, 471726: 26, 192928: 32, 376970: 37, 265168: 39, 383699: 36, 397363: 37, 591669: 1, 316275: 36, 437581: 30, 156736: 24, 275556: 36, 250940: 35, 591527: 1, 186299: 31, 245081: 35, 864: 1, 325704: 34, 159600: 24, 403586: 34, 55804: 8, 303098: 32, 52466: 7, 265828: 33, 43580: 6, 429070: 29, 253653: 31, 472825: 23, 162363: 21, 317146: 29, 9624: 1, 414091: 28, 302349: 27, 421066: 28, 319214: 27, 445571: 27, 410826: 25, 577906: 3, 296023: 28, 525486: 14, 413054: 23, 486134: 19, 200105: 24, 577012: 3, 32135: 3, 230409: 27, 92988: 12, 237668: 27, 39881: 3, 186807: 20, 392613: 26, 407862: 24, 174282: 19, 358425: 26, 337146: 24, 406645: 24, 142211: 13, 550159: 10, 419778: 21, 525323: 12, 129064: 11, 583653: 1, 86872: 10, 209259: 19, 273463: 23, 571603: 5, 270911: 24, 562216: 7, 513147: 10, 563231: 6, 158822: 13, 398731: 20, 15061: 1, 285681: 20, 400229: 20, 454092: 17, 363236: 20, 508959: 10, 154171: 10, 507199: 10, 79301: 5, 574677: 4, 322113: 17, 514897: 8, 139297: 8, 186735: 12, 23980: 1, 105275: 8, 280039: 18, 331749: 16, 57822: 1, 478286: 8, 448699: 12, 549878: 5, 483204: 6, 567116: 4, 80547: 3, 293847: 17, 243381: 17, 271468: 16, 82789: 3, 316581: 15, 232652: 16, 412775: 12, 207785: 11, 453878: 11, 216216: 12, 303584: 11, 196226: 10, 404646: 12, 116950: 6, 240229: 12, 181706: 7, 282916: 10, 60771: 1, 475294: 7, 100102: 3, 123901: 3, 291919: 10, 575406: 2, 250950: 10, 296835: 9, 156022: 3, 371193: 10, 225234: 8, 271042: 7, 314446: 7, 575353: 2, 288752: 7, 468691: 6, 210942: 6, 525064: 3, 221306: 6, 481689: 3, 167248: 4, 277841: 4, 315963: 4, 506807: 3, 66536: 1, 270065: 4, 278608: 4, 464909: 3, 483269: 2, 579385: 1, 189917: 3, 470695: 2, 108616: 2, 301162: 2, 346347: 2, 536668: 1, 86321: 1, 119260: 1, 166966: 1, 408218: 1} {46155: 8, 255469: 42, 137504: 21, 304813: 38, 257937: 41, 471726: 27, 192928: 33, 376970: 38, 265168: 40, 383699: 37, 397363: 38, 591669: 1, 316275: 37, 437581: 31, 156736: 25, 275556: 37, 250940: 36, 591527: 1, 186299: 32, 245081: 36, 864: 1, 325704: 35, 159600: 25, 403586: 35, 55804: 9, 303098: 33, 52466: 8, 265828: 34, 43580: 6, 429070: 30, 253653: 32, 472825: 24, 162363: 22, 317146: 30, 9624: 1, 414091: 29, 302349: 28, 421066: 29, 319214: 28, 445571: 28, 410826: 26, 577906: 3, 296023: 29, 525486: 15, 413054: 24, 486134: 20, 200105: 25, 577012: 3, 32135: 3, 230409: 28, 92988: 13, 237668: 28, 39881: 3, 186807: 21, 392613: 27, 407862: 25, 174282: 20, 358425: 27, 337146: 25, 406645: 25, 142211: 14, 550159: 10, 419778: 22, 525323: 13, 129064: 12, 583653: 1, 86872: 11, 209259: 20, 273463: 24, 571603: 5, 270911: 25, 562216: 7, 513147: 11, 563231: 6, 158822: 14, 398731: 21, 15061: 1, 285681: 21, 400229: 21, 454092: 18, 363236: 21, 508959: 11, 154171: 11, 507199: 11, 79301: 6, 574677: 4, 322113: 18, 514897: 9, 139297: 9, 186735: 13, 23980: 1, 105275: 9, 280039: 19, 331749: 17, 57822: 2, 478286: 9, 448699: 13, 549878: 5, 483204: 7, 567116: 4, 80547: 4, 293847: 18, 243381: 18, 271468: 17, 82789: 4, 316581: 16, 232652: 17, 412775: 13, 207785: 12, 453878: 12, 216216: 13, 303584: 12, 196226: 11, 404646: 13, 116950: 7, 240229: 13, 181706: 8, 282916: 11, 60771: 2, 475294: 8, 100102: 4, 123901: 4, 291919: 11, 575406: 2, 250950: 11, 296835: 10, 156022: 4, 371193: 11, 225234: 9, 271042: 8, 314446: 8, 575353: 2, 288752: 8, 468691: 7, 210942: 7, 525064: 4, 221306: 7, 481689: 4, 167248: 5, 277841: 5, 315963: 5, 506807: 4, 66536: 2, 270065: 5, 278608: 5, 464909: 4, 483269: 3, 579385: 1, 189917: 4, 470695: 3, 108616: 3, 301162: 3, 346347: 3, 536668: 1, 86321: 2, 119260: 2, 166966: 2, 408218: 2, 50510: 1, 529886: 1} {46155: 8, 255469: 42, 137504: 21, 304813: 39, 257937: 41, 471726: 28, 192928: 33, 376970: 39, 265168: 40, 383699: 38, 397363: 39, 591669: 1, 316275: 38, 437581: 32, 156736: 25, 275556: 38, 250940: 36, 591527: 1, 186299: 32, 245081: 36, 864: 1, 325704: 36, 159600: 25, 403586: 36, 55804: 9, 303098: 34, 52466: 8, 265828: 34, 43580: 6, 429070: 31, 253653: 32, 472825: 25, 162363: 22, 317146: 31, 9624: 1, 414091: 30, 302349: 29, 421066: 30, 319214: 29, 445571: 29, 410826: 27, 577906: 3, 296023: 30, 525486: 15, 413054: 25, 486134: 20, 200105: 25, 577012: 3, 32135: 3, 230409: 28, 92988: 13, 237668: 28, 39881: 3, 186807: 21, 392613: 28, 407862: 26, 174282: 20, 358425: 28, 337146: 26, 406645: 26, 142211: 14, 550159: 10, 419778: 23, 525323: 13, 129064: 12, 583653: 1, 86872: 11, 209259: 20, 273463: 24, 571603: 5, 270911: 25, 562216: 7, 513147: 11, 563231: 6, 158822: 14, 398731: 22, 15061: 1, 285681: 22, 400229: 22, 454092: 19, 363236: 22, 508959: 11, 154171: 11, 507199: 11, 79301: 6, 574677: 4, 322113: 19, 514897: 9, 139297: 9, 186735: 13, 23980: 1, 105275: 9, 280039: 20, 331749: 18, 57822: 2, 478286: 10, 448699: 14, 549878: 5, 483204: 8, 567116: 4, 80547: 4, 293847: 19, 243381: 18, 271468: 17, 82789: 4, 316581: 17, 232652: 17, 412775: 14, 207785: 12, 453878: 13, 216216: 13, 303584: 13, 196226: 11, 404646: 14, 116950: 7, 240229: 13, 181706: 8, 282916: 12, 60771: 2, 475294: 9, 100102: 4, 123901: 4, 291919: 12, 575406: 2, 250950: 11, 296835: 11, 156022: 4, 371193: 12, 225234: 9, 271042: 8, 314446: 9, 575353: 2, 288752: 9, 468691: 8, 210942: 7, 525064: 4, 221306: 7, 481689: 5, 167248: 5, 277841: 6, 315963: 6, 506807: 4, 66536: 2, 270065: 5, 278608: 6, 464909: 5, 483269: 4, 579385: 1, 189917: 4, 470695: 4, 108616: 3, 301162: 4, 346347: 4, 536668: 1, 86321: 2, 119260: 2, 166966: 2, 408218: 3, 50510: 1, 529886: 1, 273898: 1, 484162: 1} {46155: 8, 255469: 43, 137504: 21, 304813: 40, 257937: 42, 471726: 28, 192928: 34, 376970: 39, 265168: 41, 383699: 38, 397363: 39, 591669: 1, 316275: 39, 437581: 32, 156736: 25, 275556: 39, 250940: 37, 591527: 1, 186299: 33, 245081: 37, 864: 1, 325704: 37, 159600: 25, 403586: 36, 55804: 9, 303098: 35, 52466: 8, 265828: 35, 43580: 6, 429070: 31, 253653: 33, 472825: 25, 162363: 23, 317146: 32, 9624: 1, 414091: 30, 302349: 30, 421066: 30, 319214: 30, 445571: 29, 410826: 27, 577906: 3, 296023: 31, 525486: 15, 413054: 25, 486134: 20, 200105: 26, 577012: 3, 32135: 3, 230409: 29, 92988: 13, 237668: 29, 39881: 3, 186807: 22, 392613: 28, 407862: 26, 174282: 21, 358425: 28, 337146: 26, 406645: 26, 142211: 14, 550159: 10, 419778: 23, 525323: 13, 129064: 12, 583653: 1, 86872: 11, 209259: 21, 273463: 25, 571603: 5, 270911: 26, 562216: 7, 513147: 11, 563231: 6, 158822: 14, 398731: 22, 15061: 1, 285681: 23, 400229: 22, 454092: 19, 363236: 22, 508959: 11, 154171: 11, 507199: 11, 79301: 6, 574677: 4, 322113: 20, 514897: 9, 139297: 9, 186735: 14, 23980: 1, 105275: 9, 280039: 21, 331749: 18, 57822: 2, 478286: 10, 448699: 14, 549878: 5, 483204: 8, 567116: 4, 80547: 4, 293847: 20, 243381: 19, 271468: 18, 82789: 4, 316581: 18, 232652: 18, 412775: 14, 207785: 13, 453878: 13, 216216: 14, 303584: 14, 196226: 12, 404646: 14, 116950: 7, 240229: 14, 181706: 9, 282916: 13, 60771: 2, 475294: 9, 100102: 4, 123901: 4, 291919: 13, 575406: 2, 250950: 12, 296835: 12, 156022: 4, 371193: 12, 225234: 10, 271042: 9, 314446: 10, 575353: 2, 288752: 10, 468691: 8, 210942: 8, 525064: 4, 221306: 8, 481689: 5, 167248: 6, 277841: 7, 315963: 7, 506807: 4, 66536: 2, 270065: 6, 278608: 7, 464909: 5, 483269: 4, 579385: 1, 189917: 5, 470695: 4, 108616: 3, 301162: 5, 346347: 4, 536668: 1, 86321: 2, 119260: 2, 166966: 3, 408218: 3, 50510: 1, 529886: 1, 273898: 2, 484162: 1, 162203: 1, 330990: 1} {46155: 8, 255469: 44, 137504: 21, 304813: 41, 257937: 43, 471726: 29, 192928: 34, 376970: 40, 265168: 42, 383699: 39, 397363: 40, 591669: 1, 316275: 40, 437581: 33, 156736: 25, 275556: 40, 250940: 38, 591527: 1, 186299: 33, 245081: 38, 864: 1, 325704: 38, 159600: 25, 403586: 37, 55804: 9, 303098: 36, 52466: 8, 265828: 36, 43580: 6, 429070: 32, 253653: 34, 472825: 26, 162363: 23, 317146: 33, 9624: 1, 414091: 31, 302349: 31, 421066: 31, 319214: 31, 445571: 30, 410826: 28, 577906: 3, 296023: 32, 525486: 16, 413054: 26, 486134: 21, 200105: 26, 577012: 3, 32135: 3, 230409: 30, 92988: 13, 237668: 30, 39881: 3, 186807: 22, 392613: 29, 407862: 27, 174282: 21, 358425: 29, 337146: 27, 406645: 27, 142211: 14, 550159: 11, 419778: 24, 525323: 14, 129064: 12, 583653: 1, 86872: 11, 209259: 21, 273463: 26, 571603: 5, 270911: 27, 562216: 8, 513147: 12, 563231: 7, 158822: 14, 398731: 23, 15061: 1, 285681: 24, 400229: 23, 454092: 20, 363236: 23, 508959: 12, 154171: 11, 507199: 12, 79301: 6, 574677: 4, 322113: 21, 514897: 10, 139297: 9, 186735: 14, 23980: 1, 105275: 9, 280039: 22, 331749: 19, 57822: 2, 478286: 11, 448699: 15, 549878: 6, 483204: 9, 567116: 5, 80547: 4, 293847: 21, 243381: 20, 271468: 19, 82789: 4, 316581: 19, 232652: 19, 412775: 15, 207785: 13, 453878: 14, 216216: 15, 303584: 15, 196226: 12, 404646: 15, 116950: 7, 240229: 15, 181706: 9, 282916: 14, 60771: 2, 475294: 10, 100102: 4, 123901: 4, 291919: 14, 575406: 2, 250950: 13, 296835: 13, 156022: 4, 371193: 13, 225234: 11, 271042: 10, 314446: 11, 575353: 2, 288752: 11, 468691: 9, 210942: 8, 525064: 5, 221306: 9, 481689: 6, 167248: 6, 277841: 8, 315963: 8, 506807: 5, 66536: 2, 270065: 7, 278608: 8, 464909: 6, 483269: 5, 579385: 1, 189917: 5, 470695: 5, 108616: 3, 301162: 6, 346347: 5, 536668: 2, 86321: 2, 119260: 2, 166966: 3, 408218: 4, 50510: 1, 529886: 2, 273898: 3, 484162: 2, 162203: 1, 330990: 2, 213496: 1, 568012: 1} {46155: 8, 255469: 44, 137504: 21, 304813: 41, 257937: 43, 471726: 29, 192928: 34, 376970: 40, 265168: 42, 383699: 39, 397363: 40, 591669: 1, 316275: 40, 437581: 33, 156736: 26, 275556: 40, 250940: 38, 591527: 1, 186299: 34, 245081: 38, 864: 1, 325704: 38, 159600: 26, 403586: 37, 55804: 9, 303098: 36, 52466: 8, 265828: 36, 43580: 6, 429070: 32, 253653: 34, 472825: 26, 162363: 24, 317146: 33, 9624: 1, 414091: 31, 302349: 31, 421066: 31, 319214: 31, 445571: 30, 410826: 28, 577906: 3, 296023: 32, 525486: 16, 413054: 26, 486134: 21, 200105: 26, 577012: 3, 32135: 3, 230409: 30, 92988: 13, 237668: 30, 39881: 3, 186807: 23, 392613: 29, 407862: 27, 174282: 22, 358425: 29, 337146: 27, 406645: 27, 142211: 14, 550159: 11, 419778: 24, 525323: 14, 129064: 12, 583653: 1, 86872: 11, 209259: 21, 273463: 26, 571603: 5, 270911: 27, 562216: 8, 513147: 12, 563231: 7, 158822: 15, 398731: 23, 15061: 1, 285681: 24, 400229: 23, 454092: 20, 363236: 23, 508959: 12, 154171: 12, 507199: 12, 79301: 6, 574677: 4, 322113: 21, 514897: 10, 139297: 9, 186735: 15, 23980: 1, 105275: 9, 280039: 22, 331749: 19, 57822: 2, 478286: 11, 448699: 15, 549878: 6, 483204: 9, 567116: 5, 80547: 4, 293847: 21, 243381: 20, 271468: 19, 82789: 4, 316581: 19, 232652: 19, 412775: 15, 207785: 13, 453878: 14, 216216: 15, 303584: 15, 196226: 12, 404646: 15, 116950: 7, 240229: 15, 181706: 10, 282916: 14, 60771: 2, 475294: 10, 100102: 4, 123901: 4, 291919: 14, 575406: 2, 250950: 13, 296835: 13, 156022: 5, 371193: 13, 225234: 11, 271042: 10, 314446: 11, 575353: 2, 288752: 11, 468691: 9, 210942: 8, 525064: 5, 221306: 9, 481689: 6, 167248: 7, 277841: 8, 315963: 8, 506807: 5, 66536: 2, 270065: 7, 278608: 8, 464909: 6, 483269: 5, 579385: 1, 189917: 5, 470695: 5, 108616: 3, 301162: 6, 346347: 5, 536668: 2, 86321: 2, 119260: 2, 166966: 4, 408218: 4, 50510: 1, 529886: 2, 273898: 3, 484162: 2, 162203: 2, 330990: 2, 213496: 1, 568012: 1, 143310: 1, 187627: 1} {46155: 9, 255469: 45, 137504: 22, 304813: 42, 257937: 44, 471726: 29, 192928: 35, 376970: 41, 265168: 43, 383699: 40, 397363: 41, 591669: 1, 316275: 41, 437581: 33, 156736: 27, 275556: 41, 250940: 39, 591527: 1, 186299: 35, 245081: 39, 864: 1, 325704: 39, 159600: 27, 403586: 37, 55804: 10, 303098: 37, 52466: 9, 265828: 37, 43580: 7, 429070: 32, 253653: 35, 472825: 26, 162363: 25, 317146: 34, 9624: 1, 414091: 31, 302349: 32, 421066: 31, 319214: 32, 445571: 30, 410826: 28, 577906: 3, 296023: 33, 525486: 16, 413054: 26, 486134: 21, 200105: 27, 577012: 3, 32135: 4, 230409: 31, 92988: 14, 237668: 31, 39881: 4, 186807: 24, 392613: 30, 407862: 27, 174282: 23, 358425: 30, 337146: 28, 406645: 27, 142211: 15, 550159: 11, 419778: 24, 525323: 14, 129064: 13, 583653: 1, 86872: 12, 209259: 22, 273463: 27, 571603: 5, 270911: 28, 562216: 8, 513147: 12, 563231: 7, 158822: 16, 398731: 23, 15061: 1, 285681: 25, 400229: 23, 454092: 20, 363236: 24, 508959: 12, 154171: 13, 507199: 12, 79301: 7, 574677: 4, 322113: 22, 514897: 10, 139297: 10, 186735: 16, 23980: 1, 105275: 10, 280039: 23, 331749: 20, 57822: 3, 478286: 11, 448699: 15, 549878: 6, 483204: 9, 567116: 5, 80547: 5, 293847: 22, 243381: 21, 271468: 20, 82789: 5, 316581: 20, 232652: 20, 412775: 15, 207785: 14, 453878: 14, 216216: 16, 303584: 16, 196226: 13, 404646: 15, 116950: 8, 240229: 16, 181706: 11, 282916: 15, 60771: 3, 475294: 10, 100102: 5, 123901: 5, 291919: 15, 575406: 2, 250950: 14, 296835: 14, 156022: 6, 371193: 14, 225234: 12, 271042: 11, 314446: 12, 575353: 2, 288752: 12, 468691: 9, 210942: 9, 525064: 5, 221306: 10, 481689: 6, 167248: 8, 277841: 9, 315963: 9, 506807: 5, 66536: 3, 270065: 8, 278608: 9, 464909: 6, 483269: 5, 579385: 1, 189917: 6, 470695: 5, 108616: 4, 301162: 7, 346347: 6, 536668: 2, 86321: 3, 119260: 3, 166966: 5, 408218: 4, 50510: 2, 529886: 2, 273898: 4, 484162: 2, 162203: 3, 330990: 3, 213496: 2, 568012: 1, 143310: 2, 187627: 2, 24591: 1, 397622: 1} {46155: 9, 255469: 45, 137504: 22, 304813: 42, 257937: 44, 471726: 29, 192928: 36, 376970: 41, 265168: 43, 383699: 40, 397363: 41, 591669: 1, 316275: 41, 437581: 33, 156736: 27, 275556: 41, 250940: 39, 591527: 1, 186299: 36, 245081: 39, 864: 1, 325704: 39, 159600: 27, 403586: 37, 55804: 10, 303098: 37, 52466: 9, 265828: 37, 43580: 7, 429070: 32, 253653: 35, 472825: 26, 162363: 25, 317146: 34, 9624: 1, 414091: 31, 302349: 32, 421066: 31, 319214: 32, 445571: 30, 410826: 28, 577906: 3, 296023: 33, 525486: 16, 413054: 26, 486134: 21, 200105: 28, 577012: 3, 32135: 4, 230409: 31, 92988: 14, 237668: 31, 39881: 4, 186807: 25, 392613: 30, 407862: 27, 174282: 24, 358425: 30, 337146: 28, 406645: 27, 142211: 15, 550159: 11, 419778: 24, 525323: 14, 129064: 13, 583653: 1, 86872: 12, 209259: 23, 273463: 27, 571603: 5, 270911: 28, 562216: 8, 513147: 12, 563231: 7, 158822: 16, 398731: 23, 15061: 1, 285681: 25, 400229: 23, 454092: 20, 363236: 24, 508959: 12, 154171: 13, 507199: 12, 79301: 7, 574677: 4, 322113: 22, 514897: 10, 139297: 10, 186735: 17, 23980: 1, 105275: 10, 280039: 23, 331749: 20, 57822: 3, 478286: 11, 448699: 15, 549878: 6, 483204: 9, 567116: 5, 80547: 5, 293847: 22, 243381: 21, 271468: 20, 82789: 5, 316581: 20, 232652: 20, 412775: 15, 207785: 15, 453878: 14, 216216: 17, 303584: 16, 196226: 14, 404646: 15, 116950: 8, 240229: 16, 181706: 12, 282916: 15, 60771: 3, 475294: 10, 100102: 5, 123901: 5, 291919: 15, 575406: 2, 250950: 14, 296835: 14, 156022: 6, 371193: 14, 225234: 13, 271042: 11, 314446: 12, 575353: 2, 288752: 12, 468691: 9, 210942: 10, 525064: 5, 221306: 11, 481689: 6, 167248: 8, 277841: 9, 315963: 9, 506807: 5, 66536: 3, 270065: 8, 278608: 9, 464909: 6, 483269: 5, 579385: 1, 189917: 7, 470695: 5, 108616: 4, 301162: 7, 346347: 6, 536668: 2, 86321: 3, 119260: 3, 166966: 5, 408218: 4, 50510: 2, 529886: 2, 273898: 4, 484162: 2, 162203: 3, 330990: 3, 213496: 3, 568012: 1, 143310: 2, 187627: 3, 24591: 1, 397622: 1, 171001: 1, 225360: 1} {46155: 9, 255469: 46, 137504: 22, 304813: 43, 257937: 45, 471726: 30, 192928: 36, 376970: 42, 265168: 44, 383699: 41, 397363: 42, 591669: 1, 316275: 42, 437581: 34, 156736: 27, 275556: 42, 250940: 40, 591527: 1, 186299: 36, 245081: 40, 864: 1, 325704: 40, 159600: 27, 403586: 38, 55804: 10, 303098: 38, 52466: 9, 265828: 38, 43580: 7, 429070: 33, 253653: 36, 472825: 27, 162363: 25, 317146: 35, 9624: 1, 414091: 32, 302349: 33, 421066: 32, 319214: 33, 445571: 31, 410826: 29, 577906: 3, 296023: 34, 525486: 17, 413054: 27, 486134: 22, 200105: 28, 577012: 3, 32135: 4, 230409: 32, 92988: 14, 237668: 32, 39881: 4, 186807: 25, 392613: 31, 407862: 28, 174282: 24, 358425: 31, 337146: 29, 406645: 28, 142211: 15, 550159: 11, 419778: 25, 525323: 15, 129064: 13, 583653: 1, 86872: 12, 209259: 23, 273463: 28, 571603: 5, 270911: 29, 562216: 8, 513147: 13, 563231: 7, 158822: 16, 398731: 24, 15061: 1, 285681: 26, 400229: 24, 454092: 21, 363236: 25, 508959: 13, 154171: 13, 507199: 13, 79301: 7, 574677: 4, 322113: 23, 514897: 11, 139297: 10, 186735: 17, 23980: 1, 105275: 10, 280039: 24, 331749: 21, 57822: 3, 478286: 12, 448699: 16, 549878: 6, 483204: 10, 567116: 5, 80547: 5, 293847: 23, 243381: 22, 271468: 21, 82789: 5, 316581: 21, 232652: 21, 412775: 16, 207785: 15, 453878: 15, 216216: 17, 303584: 17, 196226: 14, 404646: 16, 116950: 8, 240229: 17, 181706: 12, 282916: 16, 60771: 3, 475294: 11, 100102: 5, 123901: 5, 291919: 16, 575406: 2, 250950: 15, 296835: 15, 156022: 6, 371193: 15, 225234: 14, 271042: 12, 314446: 13, 575353: 2, 288752: 13, 468691: 10, 210942: 10, 525064: 6, 221306: 11, 481689: 7, 167248: 8, 277841: 10, 315963: 10, 506807: 6, 66536: 3, 270065: 9, 278608: 10, 464909: 7, 483269: 6, 579385: 1, 189917: 7, 470695: 6, 108616: 4, 301162: 8, 346347: 7, 536668: 2, 86321: 3, 119260: 3, 166966: 5, 408218: 5, 50510: 2, 529886: 2, 273898: 5, 484162: 3, 162203: 3, 330990: 4, 213496: 3, 568012: 1, 143310: 2, 187627: 3, 24591: 1, 397622: 2, 171001: 1, 225360: 2, 224004: 1, 529642: 1} {46155: 9, 255469: 47, 137504: 22, 304813: 44, 257937: 46, 471726: 31, 192928: 36, 376970: 43, 265168: 45, 383699: 42, 397363: 43, 591669: 1, 316275: 43, 437581: 35, 156736: 27, 275556: 43, 250940: 41, 591527: 1, 186299: 36, 245081: 41, 864: 1, 325704: 41, 159600: 27, 403586: 39, 55804: 10, 303098: 39, 52466: 9, 265828: 39, 43580: 7, 429070: 34, 253653: 37, 472825: 28, 162363: 25, 317146: 36, 9624: 1, 414091: 33, 302349: 34, 421066: 33, 319214: 34, 445571: 32, 410826: 30, 577906: 3, 296023: 35, 525486: 18, 413054: 28, 486134: 23, 200105: 28, 577012: 3, 32135: 4, 230409: 32, 92988: 14, 237668: 33, 39881: 4, 186807: 25, 392613: 32, 407862: 29, 174282: 24, 358425: 32, 337146: 30, 406645: 29, 142211: 15, 550159: 12, 419778: 26, 525323: 16, 129064: 13, 583653: 1, 86872: 12, 209259: 23, 273463: 29, 571603: 5, 270911: 30, 562216: 8, 513147: 14, 563231: 7, 158822: 16, 398731: 25, 15061: 1, 285681: 27, 400229: 25, 454092: 22, 363236: 26, 508959: 14, 154171: 13, 507199: 14, 79301: 7, 574677: 4, 322113: 24, 514897: 12, 139297: 10, 186735: 17, 23980: 1, 105275: 10, 280039: 25, 331749: 22, 57822: 3, 478286: 13, 448699: 17, 549878: 7, 483204: 11, 567116: 5, 80547: 5, 293847: 24, 243381: 23, 271468: 22, 82789: 5, 316581: 22, 232652: 21, 412775: 17, 207785: 15, 453878: 16, 216216: 17, 303584: 18, 196226: 14, 404646: 17, 116950: 8, 240229: 18, 181706: 12, 282916: 17, 60771: 3, 475294: 12, 100102: 5, 123901: 5, 291919: 17, 575406: 2, 250950: 16, 296835: 16, 156022: 6, 371193: 16, 225234: 14, 271042: 13, 314446: 14, 575353: 2, 288752: 14, 468691: 11, 210942: 10, 525064: 7, 221306: 11, 481689: 8, 167248: 8, 277841: 11, 315963: 11, 506807: 7, 66536: 3, 270065: 10, 278608: 11, 464909: 8, 483269: 7, 579385: 1, 189917: 7, 470695: 7, 108616: 4, 301162: 9, 346347: 8, 536668: 3, 86321: 3, 119260: 3, 166966: 5, 408218: 6, 50510: 2, 529886: 3, 273898: 6, 484162: 4, 162203: 3, 330990: 5, 213496: 3, 568012: 1, 143310: 2, 187627: 3, 24591: 1, 397622: 3, 171001: 1, 225360: 2, 224004: 1, 529642: 2, 233410: 1, 557054: 1} {46155: 9, 255469: 48, 137504: 22, 304813: 44, 257937: 47, 471726: 31, 192928: 37, 376970: 43, 265168: 46, 383699: 42, 397363: 43, 591669: 1, 316275: 43, 437581: 35, 156736: 27, 275556: 44, 250940: 42, 591527: 1, 186299: 37, 245081: 42, 864: 1, 325704: 41, 159600: 27, 403586: 39, 55804: 10, 303098: 39, 52466: 9, 265828: 40, 43580: 7, 429070: 34, 253653: 38, 472825: 28, 162363: 25, 317146: 36, 9624: 1, 414091: 33, 302349: 34, 421066: 33, 319214: 34, 445571: 32, 410826: 30, 577906: 3, 296023: 35, 525486: 18, 413054: 28, 486134: 23, 200105: 29, 577012: 3, 32135: 4, 230409: 33, 92988: 14, 237668: 34, 39881: 4, 186807: 26, 392613: 32, 407862: 29, 174282: 25, 358425: 32, 337146: 30, 406645: 29, 142211: 15, 550159: 12, 419778: 26, 525323: 16, 129064: 13, 583653: 1, 86872: 12, 209259: 24, 273463: 30, 571603: 5, 270911: 31, 562216: 8, 513147: 14, 563231: 7, 158822: 16, 398731: 25, 15061: 1, 285681: 27, 400229: 25, 454092: 22, 363236: 26, 508959: 14, 154171: 13, 507199: 14, 79301: 7, 574677: 4, 322113: 24, 514897: 12, 139297: 10, 186735: 18, 23980: 1, 105275: 10, 280039: 25, 331749: 22, 57822: 3, 478286: 13, 448699: 17, 549878: 7, 483204: 11, 567116: 5, 80547: 5, 293847: 24, 243381: 24, 271468: 23, 82789: 5, 316581: 22, 232652: 22, 412775: 17, 207785: 16, 453878: 16, 216216: 18, 303584: 18, 196226: 15, 404646: 17, 116950: 8, 240229: 19, 181706: 13, 282916: 17, 60771: 3, 475294: 12, 100102: 5, 123901: 5, 291919: 17, 575406: 2, 250950: 17, 296835: 16, 156022: 6, 371193: 16, 225234: 15, 271042: 14, 314446: 14, 575353: 2, 288752: 14, 468691: 11, 210942: 11, 525064: 7, 221306: 12, 481689: 8, 167248: 8, 277841: 11, 315963: 11, 506807: 7, 66536: 3, 270065: 11, 278608: 11, 464909: 8, 483269: 7, 579385: 1, 189917: 8, 470695: 7, 108616: 4, 301162: 9, 346347: 8, 536668: 3, 86321: 3, 119260: 3, 166966: 5, 408218: 6, 50510: 2, 529886: 3, 273898: 7, 484162: 4, 162203: 3, 330990: 5, 213496: 4, 568012: 1, 143310: 2, 187627: 4, 24591: 1, 397622: 3, 171001: 2, 225360: 3, 224004: 2, 529642: 2, 233410: 2, 557054: 1, 167277: 1, 277678: 1} {46155: 9, 255469: 49, 137504: 22, 304813: 44, 257937: 48, 471726: 31, 192928: 38, 376970: 43, 265168: 46, 383699: 42, 397363: 43, 591669: 1, 316275: 43, 437581: 35, 156736: 28, 275556: 44, 250940: 43, 591527: 1, 186299: 38, 245081: 43, 864: 1, 325704: 41, 159600: 28, 403586: 39, 55804: 10, 303098: 39, 52466: 9, 265828: 40, 43580: 7, 429070: 34, 253653: 39, 472825: 28, 162363: 26, 317146: 36, 9624: 1, 414091: 33, 302349: 34, 421066: 33, 319214: 34, 445571: 32, 410826: 30, 577906: 3, 296023: 35, 525486: 18, 413054: 28, 486134: 23, 200105: 30, 577012: 3, 32135: 4, 230409: 34, 92988: 14, 237668: 35, 39881: 4, 186807: 27, 392613: 32, 407862: 29, 174282: 26, 358425: 32, 337146: 30, 406645: 29, 142211: 16, 550159: 12, 419778: 26, 525323: 16, 129064: 13, 583653: 1, 86872: 12, 209259: 25, 273463: 30, 571603: 5, 270911: 31, 562216: 8, 513147: 14, 563231: 7, 158822: 17, 398731: 25, 15061: 1, 285681: 27, 400229: 25, 454092: 22, 363236: 26, 508959: 14, 154171: 14, 507199: 14, 79301: 7, 574677: 4, 322113: 24, 514897: 12, 139297: 10, 186735: 19, 23980: 1, 105275: 10, 280039: 25, 331749: 22, 57822: 3, 478286: 13, 448699: 17, 549878: 7, 483204: 11, 567116: 5, 80547: 5, 293847: 24, 243381: 25, 271468: 23, 82789: 5, 316581: 22, 232652: 23, 412775: 17, 207785: 17, 453878: 16, 216216: 19, 303584: 18, 196226: 16, 404646: 17, 116950: 8, 240229: 20, 181706: 14, 282916: 17, 60771: 3, 475294: 12, 100102: 5, 123901: 5, 291919: 17, 575406: 2, 250950: 18, 296835: 16, 156022: 7, 371193: 16, 225234: 16, 271042: 14, 314446: 14, 575353: 2, 288752: 14, 468691: 11, 210942: 12, 525064: 7, 221306: 13, 481689: 8, 167248: 9, 277841: 11, 315963: 11, 506807: 7, 66536: 3, 270065: 11, 278608: 11, 464909: 8, 483269: 7, 579385: 1, 189917: 9, 470695: 7, 108616: 4, 301162: 9, 346347: 8, 536668: 3, 86321: 3, 119260: 3, 166966: 6, 408218: 6, 50510: 2, 529886: 3, 273898: 7, 484162: 4, 162203: 4, 330990: 5, 213496: 5, 568012: 1, 143310: 3, 187627: 5, 24591: 1, 397622: 3, 171001: 3, 225360: 4, 224004: 3, 529642: 2, 233410: 3, 557054: 1, 167277: 2, 277678: 1, 140983: 1, 262103: 1} {46155: 9, 255469: 49, 137504: 22, 304813: 45, 257937: 48, 471726: 31, 192928: 38, 376970: 44, 265168: 46, 383699: 43, 397363: 44, 591669: 1, 316275: 44, 437581: 35, 156736: 28, 275556: 44, 250940: 43, 591527: 1, 186299: 38, 245081: 43, 864: 1, 325704: 42, 159600: 28, 403586: 40, 55804: 10, 303098: 40, 52466: 9, 265828: 40, 43580: 7, 429070: 35, 253653: 39, 472825: 28, 162363: 26, 317146: 37, 9624: 1, 414091: 34, 302349: 35, 421066: 34, 319214: 35, 445571: 32, 410826: 31, 577906: 3, 296023: 36, 525486: 18, 413054: 29, 486134: 23, 200105: 30, 577012: 3, 32135: 4, 230409: 34, 92988: 14, 237668: 35, 39881: 4, 186807: 27, 392613: 33, 407862: 30, 174282: 26, 358425: 33, 337146: 31, 406645: 30, 142211: 16, 550159: 12, 419778: 27, 525323: 16, 129064: 13, 583653: 1, 86872: 12, 209259: 25, 273463: 30, 571603: 5, 270911: 31, 562216: 8, 513147: 14, 563231: 7, 158822: 17, 398731: 26, 15061: 1, 285681: 27, 400229: 26, 454092: 22, 363236: 27, 508959: 14, 154171: 14, 507199: 14, 79301: 7, 574677: 4, 322113: 25, 514897: 12, 139297: 10, 186735: 19, 23980: 1, 105275: 10, 280039: 25, 331749: 23, 57822: 3, 478286: 13, 448699: 17, 549878: 7, 483204: 11, 567116: 5, 80547: 5, 293847: 25, 243381: 25, 271468: 23, 82789: 5, 316581: 23, 232652: 23, 412775: 18, 207785: 17, 453878: 16, 216216: 19, 303584: 19, 196226: 16, 404646: 18, 116950: 8, 240229: 20, 181706: 14, 282916: 17, 60771: 3, 475294: 12, 100102: 5, 123901: 5, 291919: 18, 575406: 2, 250950: 18, 296835: 17, 156022: 7, 371193: 17, 225234: 16, 271042: 14, 314446: 15, 575353: 2, 288752: 15, 468691: 11, 210942: 12, 525064: 7, 221306: 13, 481689: 8, 167248: 9, 277841: 11, 315963: 12, 506807: 7, 66536: 3, 270065: 11, 278608: 11, 464909: 8, 483269: 7, 579385: 1, 189917: 9, 470695: 7, 108616: 4, 301162: 10, 346347: 9, 536668: 3, 86321: 3, 119260: 3, 166966: 6, 408218: 7, 50510: 2, 529886: 3, 273898: 7, 484162: 4, 162203: 4, 330990: 6, 213496: 5, 568012: 1, 143310: 3, 187627: 5, 24591: 1, 397622: 4, 171001: 3, 225360: 4, 224004: 3, 529642: 2, 233410: 3, 557054: 1, 167277: 2, 277678: 1, 140983: 1, 262103: 1, 287762: 1, 435076: 1} {46155: 9, 255469: 49, 137504: 23, 304813: 45, 257937: 48, 471726: 31, 192928: 39, 376970: 44, 265168: 46, 383699: 43, 397363: 44, 591669: 1, 316275: 44, 437581: 35, 156736: 29, 275556: 44, 250940: 44, 591527: 1, 186299: 39, 245081: 44, 864: 1, 325704: 42, 159600: 29, 403586: 40, 55804: 10, 303098: 40, 52466: 9, 265828: 40, 43580: 7, 429070: 35, 253653: 39, 472825: 28, 162363: 27, 317146: 37, 9624: 1, 414091: 34, 302349: 35, 421066: 34, 319214: 35, 445571: 32, 410826: 31, 577906: 3, 296023: 36, 525486: 18, 413054: 29, 486134: 23, 200105: 31, 577012: 3, 32135: 4, 230409: 35, 92988: 14, 237668: 36, 39881: 4, 186807: 28, 392613: 33, 407862: 30, 174282: 27, 358425: 33, 337146: 31, 406645: 30, 142211: 17, 550159: 12, 419778: 27, 525323: 16, 129064: 14, 583653: 1, 86872: 12, 209259: 26, 273463: 30, 571603: 5, 270911: 31, 562216: 8, 513147: 14, 563231: 7, 158822: 18, 398731: 26, 15061: 1, 285681: 27, 400229: 26, 454092: 22, 363236: 27, 508959: 14, 154171: 15, 507199: 14, 79301: 7, 574677: 4, 322113: 25, 514897: 12, 139297: 11, 186735: 20, 23980: 1, 105275: 10, 280039: 25, 331749: 23, 57822: 3, 478286: 13, 448699: 17, 549878: 7, 483204: 11, 567116: 5, 80547: 5, 293847: 25, 243381: 26, 271468: 23, 82789: 5, 316581: 23, 232652: 24, 412775: 18, 207785: 18, 453878: 16, 216216: 20, 303584: 19, 196226: 17, 404646: 18, 116950: 9, 240229: 21, 181706: 15, 282916: 17, 60771: 3, 475294: 12, 100102: 5, 123901: 6, 291919: 18, 575406: 2, 250950: 19, 296835: 17, 156022: 8, 371193: 17, 225234: 17, 271042: 14, 314446: 15, 575353: 2, 288752: 15, 468691: 11, 210942: 13, 525064: 7, 221306: 14, 481689: 8, 167248: 10, 277841: 11, 315963: 12, 506807: 7, 66536: 3, 270065: 11, 278608: 11, 464909: 8, 483269: 7, 579385: 1, 189917: 10, 470695: 7, 108616: 5, 301162: 10, 346347: 9, 536668: 3, 86321: 3, 119260: 4, 166966: 7, 408218: 7, 50510: 2, 529886: 3, 273898: 7, 484162: 4, 162203: 5, 330990: 6, 213496: 6, 568012: 1, 143310: 4, 187627: 6, 24591: 1, 397622: 4, 171001: 4, 225360: 5, 224004: 4, 529642: 2, 233410: 4, 557054: 1, 167277: 3, 277678: 1, 140983: 2, 262103: 1, 287762: 1, 435076: 1, 106319: 1, 253282: 1} {46155: 9, 255469: 50, 137504: 23, 304813: 46, 257937: 49, 471726: 32, 192928: 39, 376970: 45, 265168: 47, 383699: 44, 397363: 45, 591669: 1, 316275: 45, 437581: 36, 156736: 29, 275556: 45, 250940: 45, 591527: 1, 186299: 39, 245081: 44, 864: 1, 325704: 43, 159600: 29, 403586: 41, 55804: 10, 303098: 41, 52466: 9, 265828: 41, 43580: 7, 429070: 36, 253653: 40, 472825: 29, 162363: 27, 317146: 38, 9624: 1, 414091: 35, 302349: 36, 421066: 35, 319214: 36, 445571: 33, 410826: 32, 577906: 3, 296023: 37, 525486: 18, 413054: 30, 486134: 23, 200105: 31, 577012: 3, 32135: 4, 230409: 35, 92988: 14, 237668: 36, 39881: 4, 186807: 28, 392613: 34, 407862: 31, 174282: 27, 358425: 34, 337146: 32, 406645: 31, 142211: 17, 550159: 12, 419778: 28, 525323: 16, 129064: 14, 583653: 1, 86872: 12, 209259: 26, 273463: 31, 571603: 5, 270911: 32, 562216: 8, 513147: 14, 563231: 7, 158822: 18, 398731: 27, 15061: 1, 285681: 28, 400229: 27, 454092: 23, 363236: 28, 508959: 14, 154171: 15, 507199: 14, 79301: 7, 574677: 4, 322113: 26, 514897: 12, 139297: 11, 186735: 20, 23980: 1, 105275: 10, 280039: 26, 331749: 24, 57822: 3, 478286: 14, 448699: 18, 549878: 7, 483204: 11, 567116: 5, 80547: 5, 293847: 26, 243381: 26, 271468: 24, 82789: 5, 316581: 24, 232652: 24, 412775: 19, 207785: 18, 453878: 17, 216216: 20, 303584: 20, 196226: 17, 404646: 19, 116950: 9, 240229: 21, 181706: 15, 282916: 18, 60771: 3, 475294: 13, 100102: 5, 123901: 6, 291919: 19, 575406: 2, 250950: 20, 296835: 18, 156022: 8, 371193: 18, 225234: 17, 271042: 15, 314446: 16, 575353: 2, 288752: 16, 468691: 12, 210942: 13, 525064: 7, 221306: 14, 481689: 9, 167248: 10, 277841: 12, 315963: 13, 506807: 7, 66536: 3, 270065: 12, 278608: 12, 464909: 9, 483269: 7, 579385: 1, 189917: 10, 470695: 8, 108616: 5, 301162: 11, 346347: 10, 536668: 3, 86321: 3, 119260: 4, 166966: 7, 408218: 8, 50510: 2, 529886: 3, 273898: 8, 484162: 4, 162203: 5, 330990: 7, 213496: 6, 568012: 1, 143310: 4, 187627: 6, 24591: 1, 397622: 5, 171001: 4, 225360: 5, 224004: 4, 529642: 2, 233410: 4, 557054: 1, 167277: 3, 277678: 2, 140983: 2, 262103: 2, 287762: 2, 435076: 2, 106319: 1, 253282: 2, 249794: 1, 481913: 1} {46155: 9, 255469: 51, 137504: 23, 304813: 47, 257937: 50, 471726: 33, 192928: 39, 376970: 46, 265168: 48, 383699: 45, 397363: 46, 591669: 2, 316275: 46, 437581: 37, 156736: 29, 275556: 46, 250940: 46, 591527: 2, 186299: 39, 245081: 45, 864: 1, 325704: 44, 159600: 29, 403586: 42, 55804: 10, 303098: 42, 52466: 9, 265828: 42, 43580: 7, 429070: 37, 253653: 41, 472825: 30, 162363: 27, 317146: 39, 9624: 1, 414091: 36, 302349: 37, 421066: 36, 319214: 37, 445571: 34, 410826: 33, 577906: 4, 296023: 38, 525486: 19, 413054: 31, 486134: 24, 200105: 31, 577012: 4, 32135: 4, 230409: 35, 92988: 14, 237668: 36, 39881: 4, 186807: 28, 392613: 35, 407862: 32, 174282: 27, 358425: 35, 337146: 33, 406645: 32, 142211: 17, 550159: 13, 419778: 29, 525323: 17, 129064: 14, 583653: 2, 86872: 12, 209259: 26, 273463: 32, 571603: 6, 270911: 33, 562216: 9, 513147: 15, 563231: 8, 158822: 18, 398731: 28, 15061: 1, 285681: 29, 400229: 28, 454092: 24, 363236: 29, 508959: 15, 154171: 15, 507199: 15, 79301: 7, 574677: 5, 322113: 27, 514897: 13, 139297: 11, 186735: 20, 23980: 1, 105275: 10, 280039: 27, 331749: 25, 57822: 3, 478286: 15, 448699: 19, 549878: 8, 483204: 12, 567116: 6, 80547: 5, 293847: 27, 243381: 27, 271468: 25, 82789: 5, 316581: 25, 232652: 24, 412775: 20, 207785: 18, 453878: 18, 216216: 20, 303584: 21, 196226: 17, 404646: 20, 116950: 9, 240229: 21, 181706: 15, 282916: 19, 60771: 3, 475294: 14, 100102: 5, 123901: 6, 291919: 20, 575406: 3, 250950: 21, 296835: 19, 156022: 8, 371193: 19, 225234: 17, 271042: 16, 314446: 17, 575353: 3, 288752: 17, 468691: 13, 210942: 13, 525064: 8, 221306: 14, 481689: 10, 167248: 10, 277841: 13, 315963: 14, 506807: 8, 66536: 3, 270065: 13, 278608: 13, 464909: 10, 483269: 8, 579385: 2, 189917: 10, 470695: 9, 108616: 5, 301162: 12, 346347: 11, 536668: 4, 86321: 3, 119260: 4, 166966: 7, 408218: 9, 50510: 2, 529886: 4, 273898: 9, 484162: 5, 162203: 5, 330990: 8, 213496: 6, 568012: 2, 143310: 4, 187627: 6, 24591: 1, 397622: 6, 171001: 4, 225360: 5, 224004: 4, 529642: 3, 233410: 4, 557054: 2, 167277: 3, 277678: 3, 140983: 2, 262103: 3, 287762: 3, 435076: 3, 106319: 1, 253282: 3, 249794: 2, 481913: 2, 241033: 1, 596507: 1} {46155: 9, 255469: 51, 137504: 23, 304813: 47, 257937: 50, 471726: 34, 192928: 39, 376970: 46, 265168: 48, 383699: 45, 397363: 46, 591669: 2, 316275: 46, 437581: 38, 156736: 29, 275556: 46, 250940: 46, 591527: 2, 186299: 39, 245081: 45, 864: 1, 325704: 44, 159600: 29, 403586: 42, 55804: 10, 303098: 42, 52466: 9, 265828: 42, 43580: 7, 429070: 37, 253653: 41, 472825: 31, 162363: 27, 317146: 39, 9624: 1, 414091: 36, 302349: 37, 421066: 36, 319214: 37, 445571: 35, 410826: 33, 577906: 4, 296023: 38, 525486: 20, 413054: 31, 486134: 25, 200105: 31, 577012: 4, 32135: 4, 230409: 35, 92988: 14, 237668: 36, 39881: 4, 186807: 28, 392613: 35, 407862: 32, 174282: 27, 358425: 35, 337146: 33, 406645: 32, 142211: 17, 550159: 13, 419778: 29, 525323: 18, 129064: 14, 583653: 2, 86872: 12, 209259: 26, 273463: 32, 571603: 6, 270911: 33, 562216: 9, 513147: 16, 563231: 8, 158822: 18, 398731: 28, 15061: 1, 285681: 29, 400229: 28, 454092: 25, 363236: 29, 508959: 16, 154171: 15, 507199: 16, 79301: 7, 574677: 5, 322113: 27, 514897: 14, 139297: 11, 186735: 20, 23980: 1, 105275: 10, 280039: 27, 331749: 25, 57822: 3, 478286: 16, 448699: 20, 549878: 8, 483204: 13, 567116: 6, 80547: 5, 293847: 27, 243381: 27, 271468: 25, 82789: 5, 316581: 25, 232652: 24, 412775: 20, 207785: 18, 453878: 19, 216216: 20, 303584: 21, 196226: 17, 404646: 20, 116950: 9, 240229: 21, 181706: 15, 282916: 19, 60771: 3, 475294: 15, 100102: 5, 123901: 6, 291919: 20, 575406: 3, 250950: 21, 296835: 19, 156022: 8, 371193: 19, 225234: 17, 271042: 16, 314446: 17, 575353: 3, 288752: 17, 468691: 14, 210942: 13, 525064: 9, 221306: 14, 481689: 11, 167248: 10, 277841: 13, 315963: 14, 506807: 9, 66536: 3, 270065: 13, 278608: 13, 464909: 11, 483269: 9, 579385: 2, 189917: 10, 470695: 10, 108616: 5, 301162: 12, 346347: 11, 536668: 5, 86321: 3, 119260: 4, 166966: 7, 408218: 9, 50510: 2, 529886: 5, 273898: 9, 484162: 6, 162203: 5, 330990: 8, 213496: 6, 568012: 2, 143310: 4, 187627: 6, 24591: 1, 397622: 6, 171001: 4, 225360: 5, 224004: 4, 529642: 4, 233410: 4, 557054: 2, 167277: 3, 277678: 3, 140983: 2, 262103: 3, 287762: 3, 435076: 4, 106319: 1, 253282: 3, 249794: 2, 481913: 3, 241033: 1, 596507: 1, 433817: 1, 548241: 1} {46155: 9, 255469: 51, 137504: 23, 304813: 47, 257937: 50, 471726: 34, 192928: 39, 376970: 46, 265168: 48, 383699: 45, 397363: 46, 591669: 2, 316275: 46, 437581: 38, 156736: 29, 275556: 46, 250940: 46, 591527: 2, 186299: 39, 245081: 45, 864: 1, 325704: 44, 159600: 29, 403586: 42, 55804: 10, 303098: 42, 52466: 9, 265828: 42, 43580: 7, 429070: 37, 253653: 41, 472825: 31, 162363: 27, 317146: 39, 9624: 1, 414091: 36, 302349: 37, 421066: 36, 319214: 37, 445571: 35, 410826: 33, 577906: 4, 296023: 38, 525486: 20, 413054: 31, 486134: 26, 200105: 31, 577012: 4, 32135: 4, 230409: 35, 92988: 14, 237668: 36, 39881: 4, 186807: 28, 392613: 35, 407862: 32, 174282: 27, 358425: 35, 337146: 33, 406645: 32, 142211: 17, 550159: 13, 419778: 29, 525323: 18, 129064: 14, 583653: 2, 86872: 12, 209259: 26, 273463: 32, 571603: 6, 270911: 33, 562216: 9, 513147: 16, 563231: 8, 158822: 18, 398731: 28, 15061: 1, 285681: 29, 400229: 28, 454092: 25, 363236: 29, 508959: 17, 154171: 15, 507199: 17, 79301: 7, 574677: 5, 322113: 27, 514897: 14, 139297: 11, 186735: 20, 23980: 1, 105275: 10, 280039: 27, 331749: 25, 57822: 3, 478286: 16, 448699: 20, 549878: 8, 483204: 14, 567116: 6, 80547: 5, 293847: 27, 243381: 27, 271468: 25, 82789: 5, 316581: 25, 232652: 24, 412775: 20, 207785: 18, 453878: 19, 216216: 20, 303584: 21, 196226: 17, 404646: 20, 116950: 9, 240229: 21, 181706: 15, 282916: 19, 60771: 3, 475294: 15, 100102: 5, 123901: 6, 291919: 20, 575406: 3, 250950: 21, 296835: 19, 156022: 8, 371193: 19, 225234: 17, 271042: 16, 314446: 17, 575353: 3, 288752: 17, 468691: 14, 210942: 13, 525064: 9, 221306: 14, 481689: 12, 167248: 10, 277841: 13, 315963: 14, 506807: 10, 66536: 3, 270065: 13, 278608: 13, 464909: 11, 483269: 10, 579385: 2, 189917: 10, 470695: 10, 108616: 5, 301162: 12, 346347: 11, 536668: 5, 86321: 3, 119260: 4, 166966: 7, 408218: 9, 50510: 2, 529886: 5, 273898: 9, 484162: 7, 162203: 5, 330990: 8, 213496: 6, 568012: 2, 143310: 4, 187627: 6, 24591: 1, 397622: 6, 171001: 4, 225360: 5, 224004: 4, 529642: 4, 233410: 4, 557054: 2, 167277: 3, 277678: 3, 140983: 2, 262103: 3, 287762: 3, 435076: 4, 106319: 1, 253282: 3, 249794: 2, 481913: 4, 241033: 1, 596507: 1, 433817: 1, 548241: 1, 479983: 1, 509052: 1} {46155: 9, 255469: 51, 137504: 23, 304813: 47, 257937: 50, 471726: 34, 192928: 39, 376970: 46, 265168: 48, 383699: 45, 397363: 46, 591669: 2, 316275: 46, 437581: 38, 156736: 29, 275556: 46, 250940: 46, 591527: 2, 186299: 39, 245081: 45, 864: 1, 325704: 44, 159600: 29, 403586: 42, 55804: 10, 303098: 42, 52466: 9, 265828: 42, 43580: 7, 429070: 37, 253653: 41, 472825: 31, 162363: 27, 317146: 39, 9624: 1, 414091: 36, 302349: 37, 421066: 36, 319214: 37, 445571: 35, 410826: 33, 577906: 4, 296023: 38, 525486: 20, 413054: 31, 486134: 26, 200105: 31, 577012: 4, 32135: 4, 230409: 35, 92988: 15, 237668: 36, 39881: 4, 186807: 28, 392613: 35, 407862: 32, 174282: 27, 358425: 35, 337146: 33, 406645: 32, 142211: 17, 550159: 13, 419778: 29, 525323: 18, 129064: 14, 583653: 2, 86872: 12, 209259: 26, 273463: 32, 571603: 6, 270911: 33, 562216: 9, 513147: 16, 563231: 8, 158822: 18, 398731: 28, 15061: 1, 285681: 29, 400229: 28, 454092: 25, 363236: 29, 508959: 17, 154171: 15, 507199: 17, 79301: 7, 574677: 5, 322113: 27, 514897: 14, 139297: 11, 186735: 20, 23980: 1, 105275: 11, 280039: 27, 331749: 25, 57822: 3, 478286: 16, 448699: 20, 549878: 8, 483204: 14, 567116: 6, 80547: 5, 293847: 27, 243381: 27, 271468: 25, 82789: 5, 316581: 25, 232652: 24, 412775: 20, 207785: 18, 453878: 19, 216216: 20, 303584: 21, 196226: 17, 404646: 20, 116950: 9, 240229: 21, 181706: 15, 282916: 19, 60771: 3, 475294: 15, 100102: 6, 123901: 6, 291919: 20, 575406: 3, 250950: 21, 296835: 19, 156022: 8, 371193: 19, 225234: 17, 271042: 16, 314446: 17, 575353: 3, 288752: 17, 468691: 14, 210942: 13, 525064: 9, 221306: 14, 481689: 12, 167248: 10, 277841: 13, 315963: 14, 506807: 10, 66536: 3, 270065: 13, 278608: 13, 464909: 11, 483269: 10, 579385: 2, 189917: 10, 470695: 10, 108616: 6, 301162: 12, 346347: 11, 536668: 5, 86321: 3, 119260: 4, 166966: 7, 408218: 9, 50510: 2, 529886: 5, 273898: 9, 484162: 7, 162203: 5, 330990: 8, 213496: 6, 568012: 2, 143310: 4, 187627: 6, 24591: 1, 397622: 6, 171001: 4, 225360: 5, 224004: 4, 529642: 4, 233410: 4, 557054: 2, 167277: 3, 277678: 3, 140983: 2, 262103: 3, 287762: 3, 435076: 4, 106319: 2, 253282: 3, 249794: 2, 481913: 4, 241033: 1, 596507: 1, 433817: 1, 548241: 1, 479983: 1, 509052: 1, 89001: 1, 109145: 1} {46155: 9, 255469: 52, 137504: 23, 304813: 48, 257937: 51, 471726: 35, 192928: 39, 376970: 47, 265168: 49, 383699: 46, 397363: 47, 591669: 2, 316275: 47, 437581: 39, 156736: 29, 275556: 47, 250940: 47, 591527: 2, 186299: 39, 245081: 46, 864: 1, 325704: 45, 159600: 29, 403586: 43, 55804: 10, 303098: 43, 52466: 9, 265828: 43, 43580: 7, 429070: 38, 253653: 42, 472825: 32, 162363: 27, 317146: 40, 9624: 1, 414091: 37, 302349: 38, 421066: 37, 319214: 38, 445571: 36, 410826: 34, 577906: 4, 296023: 39, 525486: 20, 413054: 32, 486134: 26, 200105: 31, 577012: 4, 32135: 4, 230409: 36, 92988: 15, 237668: 37, 39881: 4, 186807: 28, 392613: 36, 407862: 33, 174282: 27, 358425: 36, 337146: 34, 406645: 33, 142211: 17, 550159: 13, 419778: 30, 525323: 18, 129064: 14, 583653: 2, 86872: 12, 209259: 27, 273463: 33, 571603: 6, 270911: 34, 562216: 9, 513147: 16, 563231: 8, 158822: 18, 398731: 29, 15061: 1, 285681: 30, 400229: 29, 454092: 26, 363236: 30, 508959: 17, 154171: 15, 507199: 17, 79301: 7, 574677: 5, 322113: 28, 514897: 14, 139297: 11, 186735: 20, 23980: 1, 105275: 11, 280039: 28, 331749: 26, 57822: 3, 478286: 16, 448699: 21, 549878: 8, 483204: 14, 567116: 6, 80547: 5, 293847: 28, 243381: 28, 271468: 26, 82789: 5, 316581: 26, 232652: 25, 412775: 21, 207785: 19, 453878: 20, 216216: 21, 303584: 22, 196226: 17, 404646: 21, 116950: 9, 240229: 22, 181706: 15, 282916: 20, 60771: 3, 475294: 16, 100102: 6, 123901: 6, 291919: 21, 575406: 3, 250950: 22, 296835: 20, 156022: 8, 371193: 20, 225234: 18, 271042: 17, 314446: 18, 575353: 3, 288752: 18, 468691: 15, 210942: 14, 525064: 9, 221306: 15, 481689: 12, 167248: 10, 277841: 14, 315963: 15, 506807: 10, 66536: 3, 270065: 14, 278608: 14, 464909: 12, 483269: 10, 579385: 2, 189917: 10, 470695: 11, 108616: 6, 301162: 13, 346347: 12, 536668: 5, 86321: 3, 119260: 4, 166966: 7, 408218: 10, 50510: 2, 529886: 5, 273898: 10, 484162: 7, 162203: 5, 330990: 9, 213496: 7, 568012: 2, 143310: 4, 187627: 6, 24591: 1, 397622: 7, 171001: 4, 225360: 6, 224004: 5, 529642: 4, 233410: 5, 557054: 2, 167277: 3, 277678: 4, 140983: 2, 262103: 4, 287762: 4, 435076: 5, 106319: 2, 253282: 4, 249794: 3, 481913: 4, 241033: 2, 596507: 1, 433817: 2, 548241: 1, 479983: 1, 509052: 1, 89001: 1, 109145: 1, 207645: 1, 475846: 1} {46155: 9, 255469: 52, 137504: 23, 304813: 48, 257937: 51, 471726: 35, 192928: 39, 376970: 47, 265168: 49, 383699: 46, 397363: 47, 591669: 2, 316275: 47, 437581: 40, 156736: 29, 275556: 47, 250940: 47, 591527: 2, 186299: 39, 245081: 46, 864: 1, 325704: 45, 159600: 29, 403586: 44, 55804: 10, 303098: 43, 52466: 9, 265828: 43, 43580: 7, 429070: 39, 253653: 42, 472825: 32, 162363: 27, 317146: 40, 9624: 1, 414091: 38, 302349: 38, 421066: 38, 319214: 38, 445571: 37, 410826: 35, 577906: 4, 296023: 39, 525486: 20, 413054: 33, 486134: 26, 200105: 31, 577012: 4, 32135: 4, 230409: 36, 92988: 15, 237668: 37, 39881: 4, 186807: 28, 392613: 36, 407862: 34, 174282: 27, 358425: 36, 337146: 34, 406645: 34, 142211: 17, 550159: 13, 419778: 31, 525323: 18, 129064: 14, 583653: 2, 86872: 12, 209259: 27, 273463: 33, 571603: 6, 270911: 34, 562216: 9, 513147: 16, 563231: 8, 158822: 18, 398731: 30, 15061: 1, 285681: 30, 400229: 30, 454092: 26, 363236: 30, 508959: 17, 154171: 15, 507199: 17, 79301: 7, 574677: 5, 322113: 28, 514897: 14, 139297: 11, 186735: 20, 23980: 1, 105275: 11, 280039: 28, 331749: 26, 57822: 3, 478286: 16, 448699: 21, 549878: 8, 483204: 14, 567116: 6, 80547: 5, 293847: 28, 243381: 28, 271468: 26, 82789: 5, 316581: 26, 232652: 25, 412775: 22, 207785: 19, 453878: 20, 216216: 21, 303584: 22, 196226: 17, 404646: 22, 116950: 9, 240229: 22, 181706: 15, 282916: 20, 60771: 3, 475294: 16, 100102: 6, 123901: 6, 291919: 21, 575406: 3, 250950: 22, 296835: 20, 156022: 8, 371193: 20, 225234: 18, 271042: 17, 314446: 18, 575353: 3, 288752: 18, 468691: 15, 210942: 14, 525064: 9, 221306: 15, 481689: 12, 167248: 10, 277841: 14, 315963: 15, 506807: 10, 66536: 3, 270065: 14, 278608: 14, 464909: 12, 483269: 10, 579385: 2, 189917: 10, 470695: 11, 108616: 6, 301162: 13, 346347: 12, 536668: 5, 86321: 3, 119260: 4, 166966: 7, 408218: 11, 50510: 2, 529886: 5, 273898: 10, 484162: 7, 162203: 5, 330990: 9, 213496: 7, 568012: 2, 143310: 4, 187627: 6, 24591: 1, 397622: 7, 171001: 4, 225360: 6, 224004: 5, 529642: 4, 233410: 5, 557054: 2, 167277: 3, 277678: 4, 140983: 2, 262103: 4, 287762: 4, 435076: 6, 106319: 2, 253282: 4, 249794: 3, 481913: 4, 241033: 2, 596507: 1, 433817: 3, 548241: 1, 479983: 1, 509052: 1, 89001: 1, 109145: 1, 207645: 1, 475846: 1, 398438: 1, 448259: 1} {46155: 9, 255469: 53, 137504: 23, 304813: 49, 257937: 52, 471726: 35, 192928: 40, 376970: 48, 265168: 50, 383699: 47, 397363: 47, 591669: 2, 316275: 48, 437581: 40, 156736: 29, 275556: 48, 250940: 48, 591527: 2, 186299: 40, 245081: 47, 864: 1, 325704: 46, 159600: 29, 403586: 44, 55804: 10, 303098: 44, 52466: 9, 265828: 44, 43580: 7, 429070: 39, 253653: 43, 472825: 32, 162363: 27, 317146: 41, 9624: 1, 414091: 38, 302349: 39, 421066: 38, 319214: 39, 445571: 37, 410826: 35, 577906: 4, 296023: 40, 525486: 20, 413054: 33, 486134: 26, 200105: 32, 577012: 4, 32135: 4, 230409: 37, 92988: 15, 237668: 38, 39881: 4, 186807: 29, 392613: 36, 407862: 34, 174282: 27, 358425: 37, 337146: 35, 406645: 34, 142211: 17, 550159: 13, 419778: 31, 525323: 18, 129064: 14, 583653: 2, 86872: 12, 209259: 28, 273463: 34, 571603: 6, 270911: 35, 562216: 9, 513147: 16, 563231: 8, 158822: 18, 398731: 30, 15061: 1, 285681: 31, 400229: 30, 454092: 26, 363236: 31, 508959: 17, 154171: 15, 507199: 17, 79301: 7, 574677: 5, 322113: 29, 514897: 14, 139297: 11, 186735: 21, 23980: 1, 105275: 11, 280039: 29, 331749: 27, 57822: 3, 478286: 16, 448699: 21, 549878: 8, 483204: 14, 567116: 6, 80547: 5, 293847: 29, 243381: 29, 271468: 27, 82789: 5, 316581: 27, 232652: 26, 412775: 22, 207785: 20, 453878: 20, 216216: 22, 303584: 23, 196226: 18, 404646: 22, 116950: 9, 240229: 23, 181706: 16, 282916: 21, 60771: 3, 475294: 16, 100102: 6, 123901: 6, 291919: 22, 575406: 3, 250950: 23, 296835: 21, 156022: 8, 371193: 21, 225234: 19, 271042: 18, 314446: 19, 575353: 3, 288752: 19, 468691: 15, 210942: 15, 525064: 9, 221306: 16, 481689: 12, 167248: 10, 277841: 15, 315963: 16, 506807: 10, 66536: 3, 270065: 15, 278608: 15, 464909: 12, 483269: 10, 579385: 2, 189917: 11, 470695: 11, 108616: 6, 301162: 14, 346347: 13, 536668: 5, 86321: 3, 119260: 4, 166966: 7, 408218: 11, 50510: 2, 529886: 5, 273898: 11, 484162: 7, 162203: 5, 330990: 10, 213496: 8, 568012: 2, 143310: 4, 187627: 7, 24591: 1, 397622: 7, 171001: 4, 225360: 7, 224004: 6, 529642: 4, 233410: 6, 557054: 2, 167277: 3, 277678: 5, 140983: 2, 262103: 5, 287762: 5, 435076: 6, 106319: 2, 253282: 5, 249794: 4, 481913: 4, 241033: 3, 596507: 1, 433817: 3, 548241: 1, 479983: 1, 509052: 1, 89001: 1, 109145: 1, 207645: 2, 475846: 1, 398438: 1, 448259: 1, 181658: 1, 387570: 1} 53