{ "vocab_size": 4096, "merges": [ [ 32, 116 ], [ 32, 97 ], [ 104, 101 ], [ 105, 110 ], [ 114, 101 ], [ 256, 258 ], [ 111, 110 ], [ 101, 114 ], [ 32, 115 ], [ 32, 119 ], [ 97, 116 ], [ 32, 111 ], [ 101, 110 ], [ 32, 99 ], [ 105, 116 ], [ 105, 115 ], [ 111, 114 ], [ 97, 110 ], [ 101, 115 ], [ 32, 98 ], [ 101, 100 ], [ 32, 112 ], [ 32, 102 ], [ 259, 103 ], [ 111, 117 ], [ 257, 110 ], [ 97, 108 ], [ 97, 114 ], [ 256, 111 ], [ 267, 102 ], [ 32, 259 ], [ 32, 109 ], [ 32, 100 ], [ 32, 104 ], [ 105, 99 ], [ 97, 115 ], [ 281, 100 ], [ 10, 10 ], [ 226, 128 ], [ 256, 104 ], [ 108, 101 ], [ 105, 262 ], [ 111, 109 ], [ 108, 108 ], [ 268, 116 ], [ 32, 110 ], [ 32, 108 ], [ 32, 260 ], [ 115, 116 ], [ 118, 101 ], [ 32, 101 ], [ 108, 121 ], [ 114, 111 ], [ 32, 103 ], [ 275, 101 ], [ 46, 293 ], [ 105, 100 ], [ 97, 99 ], [ 32, 84 ], [ 111, 116 ], [ 117, 116 ], [ 32, 73 ], [ 32, 271 ], [ 295, 266 ], [ 32, 83 ], [ 32, 262 ], [ 97, 121 ], [ 105, 109 ], [ 115, 101 ], [ 97, 109 ], [ 105, 103 ], [ 101, 116 ], [ 111, 119 ], [ 278, 272 ], [ 97, 100 ], [ 118, 263 ], [ 32, 65 ], [ 294, 153 ], [ 99, 116 ], [ 32, 67 ], [ 117, 114 ], [ 108, 100 ], [ 264, 116 ], [ 32, 117 ], [ 32, 270 ], [ 32, 121 ], [ 32, 258 ], [ 105, 114 ], [ 32, 77 ], [ 266, 297 ], [ 270, 104 ], [ 99, 101 ], [ 111, 108 ], [ 265, 104 ], [ 116, 263 ], [ 265, 101 ], [ 99, 104 ], [ 257, 115 ], [ 105, 108 ], [ 265, 346 ], [ 32, 66 ], [ 105, 299 ], [ 110, 100 ], [ 265, 291 ], [ 32, 80 ], [ 269, 262 ], [ 263, 115 ], [ 105, 102 ], [ 107, 101 ], [ 101, 109 ], [ 258, 114 ], [ 341, 280 ], [ 32, 72 ], [ 32, 114 ], [ 289, 97 ], [ 32, 40 ], [ 103, 101 ], [ 277, 308 ], [ 32, 294 ], [ 32, 87 ], [ 257, 116 ], [ 266, 101 ], [ 257, 260 ], [ 288, 101 ], [ 32, 68 ], [ 264, 101 ], [ 111, 260 ], [ 112, 112 ], [ 314, 258 ], [ 333, 115 ], [ 117, 108 ], [ 32, 82 ], [ 269, 298 ], [ 274, 116 ], [ 271, 116 ], [ 117, 109 ], [ 273, 100 ], [ 116, 104 ], [ 114, 105 ], [ 97, 259 ], [ 111, 111 ], [ 117, 115 ], [ 114, 298 ], [ 101, 119 ], [ 326, 104 ], [ 306, 120 ], [ 111, 112 ], [ 97, 98 ], [ 270, 121 ], [ 117, 110 ], [ 32, 70 ], [ 260, 115 ], [ 32, 78 ], [ 370, 305 ], [ 301, 315 ], [ 105, 305 ], [ 111, 99 ], [ 32, 118 ], [ 272, 116 ], [ 274, 115 ], [ 267, 114 ], [ 273, 116 ], [ 275, 121 ], [ 280, 337 ], [ 294, 157 ], [ 39, 115 ], [ 111, 115 ], [ 32, 71 ], [ 283, 116 ], [ 257, 108 ], [ 109, 300 ], [ 278, 398 ], [ 101, 108 ], [ 264, 117 ], [ 295, 271 ], [ 110, 116 ], [ 113, 117 ], [ 32, 76 ], [ 32, 69 ], [ 105, 274 ], [ 117, 304 ], [ 112, 101 ], [ 268, 100 ], [ 264, 104 ], [ 114, 97 ], [ 269, 104 ], [ 257, 98 ], [ 101, 283 ], [ 400, 116 ], [ 280, 116 ], [ 84, 258 ], [ 282, 307 ], [ 32, 296 ], [ 260, 100 ], [ 264, 97 ], [ 50, 48 ], [ 313, 107 ], [ 289, 291 ], [ 282, 108 ], [ 283, 100 ], [ 117, 100 ], [ 111, 304 ], [ 32, 74 ], [ 32, 79 ], [ 105, 118 ], [ 103, 104 ], [ 289, 271 ], [ 277, 108 ], [ 298, 101 ], [ 374, 156 ], [ 291, 116 ], [ 265, 272 ], [ 32, 106 ], [ 114, 280 ], [ 288, 111 ], [ 280, 114 ], [ 97, 107 ], [ 111, 100 ], [ 261, 121 ], [ 32, 85 ], [ 269, 273 ], [ 97, 103 ], [ 275, 316 ], [ 290, 104 ], [ 265, 357 ], [ 97, 112 ], [ 257, 299 ], [ 102, 102 ], [ 312, 101 ], [ 32, 34 ], [ 450, 312 ], [ 273, 115 ], [ 265, 258 ], [ 105, 282 ], [ 32, 107 ], [ 116, 101 ], [ 349, 111 ], [ 116, 366 ], [ 105, 101 ], [ 309, 111 ], [ 262, 103 ], [ 256, 114 ], [ 301, 101 ], [ 117, 260 ], [ 267, 316 ], [ 325, 101 ], [ 112, 108 ], [ 290, 101 ], [ 261, 343 ], [ 313, 116 ], [ 112, 116 ], [ 287, 382 ], [ 302, 105 ], [ 266, 276 ], [ 259, 101 ], [ 280, 115 ], [ 297, 115 ], [ 257, 100 ], [ 98, 263 ], [ 262, 101 ], [ 101, 334 ], [ 287, 101 ], [ 339, 112 ], [ 442, 445 ], [ 32, 75 ], [ 111, 103 ], [ 388, 112 ], [ 321, 101 ], [ 351, 260 ], [ 117, 98 ], [ 323, 101 ], [ 112, 263 ], [ 339, 115 ], [ 349, 479 ], [ 97, 372 ], [ 117, 101 ], [ 264, 111 ], [ 97, 260 ], [ 361, 116 ], [ 259, 100 ], [ 32, 323 ], [ 265, 419 ], [ 326, 110 ], [ 105, 97 ], [ 314, 104 ], [ 32, 268 ], [ 256, 101 ], [ 396, 107 ], [ 310, 268 ], [ 285, 102 ], [ 269, 108 ], [ 97, 364 ], [ 331, 121 ], [ 99, 99 ], [ 289, 330 ], [ 286, 116 ], [ 97, 117 ], [ 101, 112 ], [ 339, 110 ], [ 320, 116 ], [ 105, 122 ], [ 257, 103 ], [ 115, 111 ], [ 286, 99 ], [ 277, 263 ], [ 290, 282 ], [ 333, 116 ], [ 283, 121 ], [ 341, 443 ], [ 396, 100 ], [ 306, 118 ], [ 313, 101 ], [ 508, 364 ], [ 105, 260 ], [ 272, 109 ], [ 268, 347 ], [ 303, 115 ], [ 322, 115 ], [ 403, 296 ], [ 277, 101 ], [ 109, 263 ], [ 267, 493 ], [ 105, 112 ], [ 287, 273 ], [ 114, 121 ], [ 111, 324 ], [ 264, 112 ], [ 317, 110 ], [ 264, 464 ], [ 345, 115 ], [ 386, 116 ], [ 49, 57 ], [ 259, 116 ], [ 288, 271 ], [ 280, 431 ], [ 107, 115 ], [ 272, 100 ], [ 261, 260 ], [ 264, 99 ], [ 280, 461 ], [ 295, 273 ], [ 407, 115 ], [ 328, 110 ], [ 267, 331 ], [ 301, 399 ], [ 270, 101 ], [ 310, 99 ], [ 277, 424 ], [ 257, 114 ], [ 101, 260 ], [ 262, 100 ], [ 291, 115 ], [ 112, 414 ], [ 32, 432 ], [ 257, 383 ], [ 402, 296 ], [ 32, 89 ], [ 98, 296 ], [ 425, 558 ], [ 261, 109 ], [ 273, 347 ], [ 256, 526 ], [ 97, 118 ], [ 102, 350 ], [ 317, 116 ], [ 313, 104 ], [ 105, 296 ], [ 349, 266 ], [ 268, 115 ], [ 291, 101 ], [ 287, 121 ], [ 108, 290 ], [ 100, 117 ], [ 488, 110 ], [ 575, 611 ], [ 468, 436 ], [ 97, 354 ], [ 335, 104 ], [ 272, 121 ], [ 281, 121 ], [ 300, 115 ], [ 301, 111 ], [ 107, 279 ], [ 334, 297 ], [ 280, 358 ], [ 303, 99 ], [ 260, 266 ], [ 114, 117 ], [ 32, 363 ], [ 367, 114 ], [ 309, 327 ], [ 267, 336 ], [ 490, 110 ], [ 260, 101 ], [ 46, 420 ], [ 343, 304 ], [ 270, 297 ], [ 49, 48 ], [ 111, 98 ], [ 105, 273 ], [ 551, 111 ], [ 305, 108 ], [ 340, 115 ], [ 32, 86 ], [ 256, 119 ], [ 294, 148 ], [ 272, 115 ], [ 266, 274 ], [ 269, 111 ], [ 263, 118 ], [ 552, 324 ], [ 277, 111 ], [ 277, 348 ], [ 271, 104 ], [ 262, 115 ], [ 101, 299 ], [ 277, 260 ], [ 331, 115 ], [ 97, 119 ], [ 279, 115 ], [ 290, 107 ], [ 283, 107 ], [ 114, 270 ], [ 325, 112 ], [ 32, 45 ], [ 463, 322 ], [ 330, 101 ], [ 257, 619 ], [ 105, 511 ], [ 278, 651 ], [ 102, 605 ], [ 257, 549 ], [ 368, 101 ], [ 342, 114 ], [ 44, 420 ], [ 32, 308 ], [ 105, 337 ], [ 119, 110 ], [ 39, 116 ], [ 277, 114 ], [ 99, 274 ], [ 273, 103 ], [ 258, 100 ], [ 312, 300 ], [ 111, 305 ], [ 269, 419 ], [ 321, 307 ], [ 289, 323 ], [ 289, 328 ], [ 112, 104 ], [ 358, 263 ], [ 376, 116 ], [ 287, 457 ], [ 288, 274 ], [ 271, 115 ], [ 660, 111 ], [ 110, 101 ], [ 467, 107 ], [ 102, 116 ], [ 310, 116 ], [ 48, 48 ], [ 294, 156 ], [ 46, 34 ], [ 259, 107 ], [ 108, 456 ], [ 361, 115 ], [ 264, 258 ], [ 257, 334 ], [ 257, 109 ], [ 264, 437 ], [ 104, 279 ], [ 102, 570 ], [ 275, 108 ], [ 469, 358 ], [ 111, 121 ], [ 101, 99 ], [ 111, 118 ], [ 266, 263 ], [ 379, 99 ], [ 388, 109 ], [ 119, 101 ], [ 288, 312 ], [ 266, 411 ], [ 109, 273 ], [ 525, 627 ], [ 108, 105 ], [ 282, 115 ], [ 290, 116 ], [ 602, 666 ], [ 469, 461 ], [ 100, 322 ], [ 110, 279 ], [ 278, 101 ], [ 32, 36 ], [ 275, 452 ], [ 564, 115 ], [ 381, 99 ], [ 498, 276 ], [ 576, 290 ], [ 117, 352 ], [ 99, 276 ], [ 348, 521 ], [ 350, 110 ], [ 265, 417 ], [ 120, 116 ], [ 264, 109 ], [ 339, 706 ], [ 475, 110 ], [ 306, 109 ], [ 429, 383 ], [ 288, 363 ], [ 286, 100 ], [ 111, 107 ], [ 513, 100 ], [ 44, 34 ], [ 296, 334 ], [ 116, 279 ], [ 301, 328 ], [ 375, 101 ], [ 648, 328 ], [ 557, 395 ], [ 303, 108 ], [ 324, 108 ], [ 566, 268 ], [ 287, 547 ], [ 559, 720 ], [ 286, 118 ], [ 117, 299 ], [ 102, 382 ], [ 331, 110 ], [ 381, 101 ], [ 363, 290 ], [ 106, 516 ], [ 650, 293 ], [ 374, 147 ], [ 345, 282 ], [ 270, 276 ], [ 271, 101 ], [ 332, 754 ], [ 117, 282 ], [ 105, 399 ], [ 437, 334 ], [ 73, 110 ], [ 261, 324 ], [ 291, 262 ], [ 374, 148 ], [ 111, 337 ], [ 110, 263 ], [ 379, 102 ], [ 265, 322 ], [ 287, 322 ], [ 105, 307 ], [ 540, 271 ], [ 266, 104 ], [ 108, 274 ], [ 306, 548 ], [ 32, 548 ], [ 302, 543 ], [ 115, 115 ], [ 273, 372 ], [ 291, 276 ], [ 111, 299 ], [ 351, 299 ], [ 277, 422 ], [ 49, 50 ], [ 84, 104 ], [ 266, 279 ], [ 46, 91 ], [ 116, 121 ], [ 310, 279 ], [ 283, 103 ], [ 302, 466 ], [ 41, 44 ], [ 261, 110 ], [ 99, 107 ], [ 303, 103 ], [ 277, 407 ], [ 314, 114 ], [ 290, 115 ], [ 288, 262 ], [ 308, 119 ], [ 275, 117 ], [ 287, 755 ], [ 579, 121 ], [ 439, 419 ], [ 488, 260 ], [ 271, 109 ], [ 258, 110 ], [ 270, 435 ], [ 260, 110 ], [ 278, 108 ], [ 268, 263 ], [ 32, 438 ], [ 536, 112 ], [ 339, 324 ], [ 295, 581 ], [ 408, 399 ], [ 394, 98 ], [ 328, 263 ], [ 116, 115 ], [ 332, 358 ], [ 269, 454 ], [ 264, 322 ], [ 356, 316 ], [ 336, 279 ], [ 32, 91 ], [ 470, 274 ], [ 412, 107 ], [ 369, 444 ], [ 117, 358 ], [ 336, 110 ], [ 439, 328 ], [ 542, 325 ], [ 264, 121 ], [ 306, 483 ], [ 49, 53 ], [ 295, 745 ], [ 472, 279 ], [ 277, 104 ], [ 288, 598 ], [ 338, 424 ], [ 269, 590 ], [ 118, 268 ], [ 310, 108 ], [ 105, 276 ], [ 105, 613 ], [ 262, 116 ], [ 117, 274 ], [ 105, 98 ], [ 259, 347 ], [ 391, 112 ], [ 785, 426 ], [ 303, 109 ], [ 315, 366 ], [ 263, 116 ], [ 303, 608 ], [ 373, 628 ], [ 338, 456 ], [ 495, 279 ], [ 272, 107 ], [ 287, 262 ], [ 469, 112 ], [ 257, 99 ], [ 41, 293 ], [ 49, 56 ], [ 108, 392 ], [ 302, 496 ], [ 354, 404 ], [ 49, 49 ], [ 315, 104 ], [ 661, 661 ], [ 97, 343 ], [ 58, 293 ], [ 667, 588 ], [ 375, 104 ], [ 387, 101 ], [ 298, 327 ], [ 117, 447 ], [ 386, 283 ], [ 310, 784 ], [ 342, 108 ], [ 766, 686 ], [ 353, 115 ], [ 116, 296 ], [ 101, 107 ], [ 287, 259 ], [ 295, 719 ], [ 350, 115 ], [ 365, 300 ], [ 267, 693 ], [ 121, 115 ], [ 119, 455 ], [ 103, 114 ], [ 390, 115 ], [ 429, 352 ], [ 309, 501 ], [ 117, 112 ], [ 105, 120 ], [ 99, 415 ], [ 280, 110 ], [ 309, 117 ], [ 363, 101 ], [ 467, 337 ], [ 264, 336 ], [ 283, 352 ], [ 73, 116 ], [ 429, 98 ], [ 99, 105 ], [ 49, 54 ], [ 309, 565 ], [ 286, 350 ], [ 49, 52 ], [ 357, 297 ], [ 718, 293 ], [ 99, 298 ], [ 412, 105 ], [ 545, 290 ], [ 275, 114 ], [ 32, 300 ], [ 362, 262 ], [ 102, 386 ], [ 736, 268 ], [ 287, 365 ], [ 32, 364 ], [ 264, 323 ], [ 267, 98 ], [ 287, 682 ], [ 495, 887 ], [ 270, 115 ], [ 32, 46 ], [ 111, 348 ], [ 316, 297 ], [ 323, 274 ], [ 338, 357 ], [ 49, 55 ], [ 309, 897 ], [ 264, 327 ], [ 304, 365 ], [ 776, 304 ], [ 46, 10 ], [ 916, 112 ], [ 306, 283 ], [ 264, 573 ], [ 109, 115 ], [ 278, 259 ], [ 338, 114 ], [ 97, 104 ], [ 101, 331 ], [ 260, 304 ], [ 715, 957 ], [ 116, 268 ], [ 97, 120 ], [ 268, 99 ], [ 117, 407 ], [ 460, 274 ], [ 99, 300 ], [ 278, 640 ], [ 426, 115 ], [ 302, 674 ], [ 373, 118 ], [ 309, 114 ], [ 295, 595 ], [ 256, 547 ], [ 528, 276 ], [ 99, 111 ], [ 342, 260 ], [ 286, 491 ], [ 267, 112 ], [ 103, 273 ], [ 497, 487 ], [ 287, 473 ], [ 108, 276 ], [ 349, 622 ], [ 269, 348 ], [ 32, 276 ], [ 110, 103 ], [ 264, 501 ], [ 264, 538 ], [ 266, 352 ], [ 287, 276 ], [ 301, 391 ], [ 103, 327 ], [ 283, 115 ], [ 41, 46 ], [ 105, 111 ], [ 401, 112 ], [ 266, 366 ], [ 317, 115 ], [ 448, 330 ], [ 93, 293 ], [ 264, 263 ], [ 303, 282 ], [ 295, 649 ], [ 286, 304 ], [ 765, 414 ], [ 778, 102 ], [ 273, 121 ], [ 269, 114 ], [ 303, 447 ], [ 289, 400 ], [ 49, 51 ], [ 384, 121 ], [ 433, 101 ], [ 817, 328 ], [ 257, 729 ], [ 277, 740 ], [ 116, 276 ], [ 325, 274 ], [ 112, 114 ], [ 303, 330 ], [ 87, 101 ], [ 338, 377 ], [ 118, 279 ], [ 347, 506 ], [ 278, 535 ], [ 333, 260 ], [ 63, 293 ], [ 286, 115 ], [ 101, 102 ], [ 119, 322 ], [ 332, 108 ], [ 278, 505 ], [ 332, 110 ], [ 260, 330 ], [ 257, 316 ], [ 397, 115 ], [ 259, 115 ], [ 401, 116 ], [ 99, 262 ], [ 121, 279 ], [ 657, 402 ], [ 869, 973 ], [ 351, 920 ], [ 264, 912 ], [ 289, 392 ], [ 282, 101 ], [ 103, 103 ], [ 327, 121 ], [ 32, 92 ], [ 114, 290 ], [ 258, 115 ], [ 286, 102 ], [ 569, 334 ], [ 51, 48 ], [ 318, 115 ], [ 612, 280 ], [ 268, 324 ], [ 104, 578 ], [ 589, 99 ], [ 109, 259 ], [ 110, 347 ], [ 332, 115 ], [ 401, 527 ], [ 296, 283 ], [ 101, 449 ], [ 256, 263 ], [ 116, 262 ], [ 280, 324 ], [ 283, 372 ], [ 303, 112 ], [ 107, 276 ], [ 97, 106 ], [ 302, 315 ], [ 370, 383 ], [ 725, 99 ], [ 264, 885 ], [ 101, 120 ], [ 100, 263 ], [ 896, 393 ], [ 302, 270 ], [ 105, 673 ], [ 118, 276 ], [ 309, 642 ], [ 522, 296 ], [ 288, 860 ], [ 332, 114 ], [ 320, 104 ], [ 278, 354 ], [ 288, 322 ], [ 401, 502 ], [ 303, 116 ], [ 97, 449 ], [ 97, 305 ], [ 290, 447 ], [ 103, 121 ], [ 472, 274 ], [ 109, 276 ], [ 335, 298 ], [ 264, 108 ], [ 269, 471 ], [ 288, 327 ], [ 303, 432 ], [ 572, 112 ], [ 275, 905 ], [ 352, 966 ], [ 282, 393 ], [ 269, 300 ], [ 32, 61 ], [ 369, 405 ], [ 32, 484 ], [ 413, 315 ], [ 275, 326 ], [ 269, 272 ], [ 284, 112 ], [ 46, 46 ], [ 271, 297 ], [ 110, 415 ], [ 428, 115 ], [ 117, 308 ], [ 317, 102 ], [ 879, 494 ], [ 361, 102 ], [ 534, 259 ], [ 269, 283 ], [ 284, 111 ], [ 269, 336 ], [ 668, 270 ], [ 609, 389 ], [ 379, 1066 ], [ 265, 298 ], [ 259, 274 ], [ 277, 955 ], [ 303, 296 ], [ 320, 101 ], [ 118, 796 ], [ 269, 260 ], [ 265, 283 ], [ 111, 315 ], [ 833, 886 ], [ 379, 112 ], [ 278, 325 ], [ 309, 847 ], [ 114, 266 ], [ 260, 431 ], [ 264, 665 ], [ 277, 316 ], [ 97, 122 ], [ 273, 99 ], [ 556, 101 ], [ 269, 481 ], [ 917, 431 ], [ 735, 405 ], [ 116, 258 ], [ 46, 83 ], [ 278, 399 ], [ 757, 121 ], [ 417, 115 ], [ 263, 110 ], [ 335, 108 ], [ 380, 101 ], [ 316, 101 ], [ 475, 83 ], [ 284, 337 ], [ 556, 276 ], [ 592, 279 ], [ 277, 854 ], [ 300, 297 ], [ 572, 586 ], [ 105, 300 ], [ 111, 104 ], [ 477, 274 ], [ 256, 282 ], [ 278, 1039 ], [ 513, 118 ], [ 275, 389 ], [ 302, 937 ], [ 498, 760 ], [ 256, 440 ], [ 388, 101 ], [ 540, 266 ], [ 281, 889 ], [ 819, 115 ], [ 105, 449 ], [ 709, 538 ], [ 752, 606 ], [ 118, 274 ], [ 105, 571 ], [ 560, 991 ], [ 278, 114 ], [ 45, 98 ], [ 406, 272 ], [ 821, 271 ], [ 288, 365 ], [ 272, 110 ], [ 327, 115 ], [ 269, 679 ], [ 273, 107 ], [ 302, 412 ], [ 870, 516 ], [ 290, 274 ], [ 278, 405 ], [ 306, 621 ], [ 559, 260 ], [ 108, 415 ], [ 87, 104 ], [ 117, 99 ], [ 295, 675 ], [ 108, 279 ], [ 384, 260 ], [ 494, 337 ], [ 267, 383 ], [ 269, 258 ], [ 288, 1078 ], [ 303, 102 ], [ 304, 114 ], [ 406, 114 ], [ 308, 814 ], [ 473, 121 ], [ 604, 116 ], [ 381, 800 ], [ 1003, 268 ], [ 338, 266 ], [ 105, 263 ], [ 338, 392 ], [ 393, 279 ], [ 781, 279 ], [ 306, 108 ], [ 45, 115 ], [ 97, 323 ], [ 536, 608 ], [ 309, 315 ], [ 283, 105 ], [ 342, 330 ], [ 448, 103 ], [ 352, 110 ], [ 377, 307 ], [ 302, 415 ], [ 53, 48 ], [ 260, 116 ], [ 273, 110 ], [ 387, 553 ], [ 259, 282 ], [ 266, 499 ], [ 534, 308 ], [ 412, 489 ], [ 441, 283 ], [ 277, 394 ], [ 603, 290 ], [ 360, 308 ], [ 782, 389 ], [ 1069, 726 ], [ 277, 402 ], [ 287, 395 ], [ 288, 390 ], [ 287, 444 ], [ 610, 308 ], [ 291, 104 ], [ 668, 503 ], [ 320, 111 ], [ 98, 362 ], [ 266, 272 ], [ 98, 114 ], [ 498, 331 ], [ 278, 283 ], [ 303, 324 ], [ 763, 792 ], [ 287, 327 ], [ 361, 99 ], [ 373, 613 ], [ 275, 543 ], [ 271, 698 ], [ 263, 279 ], [ 278, 471 ], [ 448, 116 ], [ 1064, 298 ], [ 277, 266 ], [ 289, 464 ], [ 403, 307 ], [ 32, 38 ], [ 287, 677 ], [ 422, 276 ], [ 287, 948 ], [ 373, 934 ], [ 111, 120 ], [ 877, 580 ], [ 101, 330 ], [ 715, 350 ], [ 794, 273 ], [ 381, 365 ], [ 278, 783 ], [ 988, 121 ], [ 270, 282 ], [ 277, 457 ], [ 502, 730 ], [ 317, 358 ], [ 761, 454 ], [ 837, 692 ], [ 118, 684 ], [ 452, 115 ], [ 291, 274 ], [ 482, 328 ], [ 277, 322 ], [ 325, 97 ], [ 355, 445 ], [ 121, 112 ], [ 269, 533 ], [ 112, 296 ], [ 314, 101 ], [ 269, 625 ], [ 296, 103 ], [ 374, 152 ], [ 45, 102 ], [ 277, 607 ], [ 280, 393 ], [ 641, 300 ], [ 1097, 272 ], [ 1105, 919 ], [ 438, 115 ], [ 441, 692 ], [ 361, 304 ], [ 395, 115 ], [ 117, 103 ], [ 413, 282 ], [ 515, 121 ], [ 306, 291 ], [ 1016, 514 ], [ 45, 45 ], [ 463, 567 ], [ 256, 389 ], [ 441, 815 ], [ 271, 276 ], [ 600, 115 ], [ 1002, 984 ], [ 114, 282 ], [ 259, 415 ], [ 356, 108 ], [ 264, 1130 ], [ 287, 732 ], [ 333, 305 ], [ 395, 276 ], [ 269, 457 ], [ 343, 100 ], [ 66, 316 ], [ 259, 276 ], [ 257, 118 ], [ 281, 110 ], [ 448, 657 ], [ 928, 325 ], [ 45, 99 ], [ 335, 262 ], [ 105, 107 ], [ 302, 1094 ], [ 422, 115 ], [ 289, 455 ], [ 522, 1032 ], [ 289, 391 ], [ 368, 328 ], [ 119, 573 ], [ 260, 109 ], [ 32, 39 ], [ 275, 397 ], [ 45, 112 ], [ 309, 108 ], [ 265, 678 ], [ 287, 700 ], [ 302, 390 ], [ 264, 107 ], [ 272, 393 ], [ 360, 104 ], [ 506, 297 ], [ 890, 395 ], [ 542, 1260 ], [ 266, 97 ], [ 306, 296 ], [ 455, 115 ], [ 546, 1254 ], [ 32, 90 ], [ 103, 263 ], [ 256, 866 ], [ 301, 443 ], [ 468, 654 ], [ 45, 116 ], [ 312, 276 ], [ 295, 279 ], [ 737, 110 ], [ 108, 510 ], [ 277, 398 ], [ 440, 705 ], [ 119, 270 ], [ 1144, 437 ], [ 329, 109 ], [ 857, 276 ], [ 50, 53 ], [ 97, 383 ], [ 320, 99 ], [ 397, 276 ], [ 460, 279 ], [ 259, 97 ], [ 306, 1300 ], [ 265, 259 ], [ 287, 1341 ], [ 459, 98 ], [ 541, 595 ], [ 263, 282 ], [ 264, 270 ], [ 275, 260 ], [ 959, 553 ], [ 339, 431 ], [ 528, 279 ], [ 643, 334 ], [ 373, 102 ], [ 448, 714 ], [ 266, 336 ], [ 275, 308 ], [ 289, 390 ], [ 288, 114 ], [ 473, 101 ], [ 46, 950 ], [ 256, 394 ], [ 303, 347 ], [ 98, 101 ], [ 287, 1349 ], [ 1059, 121 ], [ 277, 466 ], [ 546, 607 ], [ 104, 272 ], [ 1255, 417 ], [ 97, 538 ], [ 269, 1089 ], [ 310, 104 ], [ 373, 788 ], [ 312, 571 ], [ 39, 260 ], [ 1099, 268 ], [ 555, 663 ], [ 679, 296 ], [ 1106, 404 ], [ 114, 505 ], [ 117, 276 ], [ 267, 527 ], [ 116, 116 ], [ 258, 260 ], [ 401, 797 ], [ 72, 101 ], [ 264, 348 ], [ 287, 436 ], [ 32, 389 ], [ 257, 483 ], [ 304, 392 ], [ 336, 404 ], [ 460, 268 ], [ 832, 699 ], [ 862, 110 ], [ 373, 1373 ], [ 114, 390 ], [ 287, 354 ], [ 286, 727 ], [ 52, 48 ], [ 287, 266 ], [ 41, 59 ], [ 395, 279 ], [ 105, 272 ], [ 748, 428 ], [ 1266, 740 ], [ 45, 100 ], [ 342, 1131 ], [ 425, 1448 ], [ 277, 336 ], [ 612, 895 ], [ 624, 411 ], [ 1271, 313 ], [ 265, 733 ], [ 338, 634 ], [ 442, 296 ], [ 260, 268 ], [ 1151, 1169 ], [ 425, 1383 ], [ 1155, 268 ], [ 117, 449 ], [ 119, 533 ], [ 906, 906 ], [ 560, 727 ], [ 288, 394 ], [ 463, 273 ], [ 109, 270 ], [ 288, 440 ], [ 32, 81 ], [ 441, 697 ], [ 289, 326 ], [ 712, 121 ], [ 416, 1103 ], [ 448, 466 ], [ 349, 121 ], [ 32, 274 ], [ 380, 365 ], [ 467, 638 ], [ 1195, 110 ], [ 114, 345 ], [ 264, 1270 ], [ 267, 337 ], [ 394, 274 ], [ 438, 279 ], [ 278, 649 ], [ 50, 49 ], [ 360, 108 ], [ 373, 491 ], [ 892, 334 ], [ 103, 296 ], [ 1221, 1453 ], [ 313, 121 ], [ 332, 100 ], [ 413, 796 ], [ 309, 836 ], [ 302, 510 ], [ 952, 489 ], [ 256, 987 ], [ 335, 273 ], [ 1153, 297 ], [ 277, 283 ], [ 397, 104 ], [ 282, 404 ], [ 302, 733 ], [ 50, 52 ], [ 103, 259 ], [ 412, 1168 ], [ 416, 1004 ], [ 117, 830 ], [ 265, 262 ], [ 65, 115 ], [ 109, 457 ], [ 604, 103 ], [ 1010, 270 ], [ 45, 121 ], [ 306, 771 ], [ 363, 880 ], [ 392, 115 ], [ 680, 45 ], [ 285, 986 ], [ 373, 112 ], [ 1152, 561 ], [ 379, 98 ], [ 416, 326 ], [ 278, 394 ], [ 336, 121 ], [ 99, 853 ], [ 434, 1415 ], [ 710, 297 ], [ 1433, 354 ], [ 367, 1011 ], [ 105, 487 ], [ 32, 305 ], [ 294, 166 ], [ 335, 348 ], [ 408, 111 ], [ 723, 913 ], [ 114, 262 ], [ 269, 501 ], [ 297, 282 ], [ 257, 1055 ], [ 278, 865 ], [ 320, 121 ], [ 344, 322 ], [ 686, 1086 ], [ 301, 501 ], [ 112, 115 ], [ 316, 499 ], [ 333, 109 ], [ 344, 283 ], [ 413, 271 ], [ 460, 276 ], [ 271, 279 ], [ 383, 276 ], [ 282, 102 ], [ 287, 268 ], [ 312, 274 ], [ 467, 100 ], [ 490, 357 ], [ 1166, 807 ], [ 275, 270 ], [ 301, 262 ], [ 315, 116 ], [ 602, 464 ], [ 119, 895 ], [ 284, 768 ], [ 405, 101 ], [ 568, 307 ], [ 257, 343 ], [ 289, 402 ], [ 301, 444 ], [ 312, 100 ], [ 320, 112 ], [ 668, 290 ], [ 115, 484 ], [ 283, 110 ], [ 256, 968 ], [ 401, 1461 ], [ 370, 1048 ], [ 481, 115 ], [ 98, 115 ], [ 288, 573 ], [ 438, 276 ], [ 32, 44 ], [ 264, 471 ], [ 45, 109 ], [ 354, 283 ], [ 296, 121 ], [ 525, 108 ], [ 552, 461 ], [ 271, 350 ], [ 302, 97 ], [ 332, 299 ], [ 356, 308 ], [ 490, 535 ], [ 533, 431 ], [ 272, 435 ], [ 381, 331 ], [ 379, 282 ], [ 269, 404 ], [ 287, 873 ], [ 315, 115 ], [ 331, 530 ], [ 105, 331 ], [ 434, 120 ], [ 396, 1533 ], [ 1015, 539 ], [ 570, 262 ], [ 101, 101 ], [ 265, 114 ], [ 446, 260 ], [ 276, 1429 ], [ 413, 484 ], [ 325, 115 ], [ 312, 263 ], [ 1558, 443 ], [ 32, 673 ], [ 309, 411 ], [ 333, 299 ], [ 555, 377 ], [ 556, 345 ], [ 610, 443 ], [ 275, 111 ], [ 103, 276 ], [ 103, 597 ], [ 264, 279 ], [ 288, 1398 ], [ 331, 116 ], [ 332, 116 ], [ 273, 101 ], [ 286, 758 ], [ 302, 444 ], [ 343, 262 ], [ 365, 514 ], [ 566, 300 ], [ 269, 97 ], [ 303, 304 ], [ 542, 299 ], [ 278, 411 ], [ 365, 506 ], [ 278, 1591 ], [ 724, 496 ], [ 73, 102 ], [ 320, 258 ], [ 360, 348 ], [ 407, 699 ], [ 111, 588 ], [ 270, 366 ], [ 353, 1096 ], [ 458, 1522 ], [ 425, 496 ], [ 1641, 282 ], [ 97, 270 ], [ 111, 330 ], [ 414, 405 ], [ 517, 273 ], [ 517, 487 ], [ 541, 263 ], [ 1207, 881 ], [ 269, 678 ], [ 898, 1242 ], [ 259, 99 ], [ 687, 1190 ], [ 471, 110 ], [ 313, 274 ], [ 108, 102 ], [ 271, 262 ], [ 373, 98 ], [ 782, 348 ], [ 101, 118 ], [ 110, 516 ], [ 287, 1121 ], [ 1177, 404 ], [ 1520, 1550 ], [ 115, 262 ], [ 267, 549 ], [ 375, 272 ], [ 381, 268 ], [ 459, 114 ], [ 579, 477 ], [ 289, 802 ], [ 306, 432 ], [ 488, 493 ], [ 105, 348 ], [ 687, 590 ], [ 1482, 345 ], [ 767, 436 ], [ 269, 1396 ], [ 284, 746 ], [ 300, 489 ], [ 386, 345 ], [ 764, 1319 ], [ 1294, 109 ], [ 102, 272 ], [ 283, 279 ], [ 641, 592 ], [ 432, 101 ], [ 472, 268 ], [ 832, 300 ], [ 1381, 273 ], [ 1386, 1360 ], [ 277, 315 ], [ 309, 1043 ], [ 1269, 108 ], [ 32, 699 ], [ 46, 44 ], [ 98, 121 ], [ 275, 268 ], [ 723, 460 ], [ 1701, 1120 ], [ 1305, 327 ], [ 470, 279 ], [ 268, 110 ], [ 306, 331 ], [ 477, 531 ], [ 981, 496 ], [ 1125, 324 ], [ 105, 447 ], [ 110, 315 ], [ 263, 739 ], [ 302, 328 ], [ 303, 800 ], [ 648, 598 ], [ 951, 1073 ], [ 1104, 115 ], [ 97, 483 ], [ 278, 382 ], [ 304, 263 ], [ 424, 426 ], [ 275, 291 ], [ 594, 382 ], [ 119, 104 ], [ 266, 116 ], [ 401, 390 ], [ 39, 305 ], [ 117, 483 ], [ 321, 347 ], [ 387, 274 ], [ 681, 362 ], [ 977, 307 ], [ 344, 276 ], [ 355, 259 ], [ 1290, 940 ], [ 98, 543 ], [ 111, 514 ], [ 105, 636 ], [ 50, 50 ], [ 282, 363 ], [ 301, 791 ], [ 308, 112 ], [ 429, 260 ], [ 1113, 109 ], [ 48, 49 ], [ 105, 364 ], [ 264, 484 ], [ 762, 1474 ], [ 1146, 305 ], [ 356, 678 ], [ 290, 296 ], [ 329, 576 ], [ 335, 283 ], [ 114, 272 ], [ 260, 119 ], [ 1273, 914 ], [ 323, 377 ], [ 876, 276 ], [ 83, 116 ], [ 278, 569 ], [ 336, 493 ], [ 278, 444 ], [ 763, 1462 ], [ 99, 698 ], [ 275, 816 ], [ 369, 97 ], [ 794, 97 ], [ 1275, 326 ], [ 54, 48 ], [ 278, 632 ], [ 344, 114 ], [ 344, 259 ], [ 1072, 389 ], [ 41, 311 ], [ 108, 325 ], [ 379, 809 ], [ 577, 115 ], [ 32, 263 ], [ 356, 101 ], [ 268, 103 ], [ 344, 273 ], [ 521, 1413 ], [ 288, 515 ], [ 294, 147 ], [ 301, 327 ], [ 450, 102 ], [ 65, 358 ], [ 118, 300 ], [ 434, 1011 ], [ 891, 276 ], [ 265, 300 ], [ 541, 103 ], [ 566, 1457 ], [ 295, 642 ], [ 391, 300 ], [ 549, 415 ], [ 769, 652 ], [ 66, 67 ], [ 315, 111 ], [ 360, 1689 ], [ 375, 843 ], [ 536, 109 ], [ 546, 581 ], [ 368, 1093 ], [ 429, 1824 ], [ 646, 772 ], [ 997, 116 ], [ 1496, 350 ], [ 361, 100 ], [ 388, 274 ], [ 1080, 531 ], [ 1427, 1328 ], [ 262, 121 ], [ 262, 274 ], [ 281, 116 ], [ 343, 99 ], [ 777, 326 ], [ 109, 121 ], [ 296, 116 ], [ 909, 115 ], [ 324, 116 ], [ 380, 114 ], [ 403, 903 ], [ 1371, 935 ], [ 459, 110 ], [ 288, 298 ], [ 393, 595 ], [ 439, 414 ], [ 483, 290 ], [ 695, 505 ], [ 1095, 407 ], [ 332, 436 ], [ 665, 738 ], [ 958, 1285 ], [ 1135, 97 ], [ 269, 316 ], [ 270, 411 ], [ 1116, 866 ], [ 1223, 282 ], [ 109, 98 ], [ 460, 312 ], [ 1542, 330 ], [ 320, 1339 ], [ 672, 1323 ], [ 108, 323 ], [ 336, 115 ], [ 1272, 118 ], [ 32, 122 ], [ 105, 391 ], [ 423, 1649 ], [ 1344, 845 ], [ 121, 99 ], [ 256, 365 ], [ 320, 491 ], [ 425, 1555 ], [ 481, 263 ], [ 1414, 350 ], [ 97, 105 ], [ 335, 300 ], [ 93, 91 ], [ 278, 260 ], [ 289, 471 ], [ 302, 323 ], [ 1060, 1451 ], [ 256, 1330 ], [ 295, 1367 ], [ 344, 99 ], [ 1370, 632 ], [ 33, 293 ], [ 309, 1476 ], [ 341, 327 ], [ 363, 102 ], [ 870, 414 ], [ 910, 266 ], [ 282, 100 ], [ 360, 114 ], [ 401, 99 ], [ 494, 102 ], [ 111, 364 ], [ 111, 503 ], [ 256, 873 ], [ 277, 597 ], [ 281, 282 ], [ 316, 274 ], [ 752, 1475 ], [ 283, 114 ], [ 335, 111 ], [ 497, 1065 ], [ 748, 266 ], [ 278, 326 ], [ 284, 116 ], [ 287, 298 ], [ 369, 330 ], [ 278, 565 ], [ 109, 514 ], [ 118, 1676 ], [ 335, 670 ], [ 766, 102 ], [ 270, 512 ], [ 282, 274 ], [ 318, 110 ], [ 408, 1393 ], [ 423, 101 ], [ 954, 569 ], [ 1026, 435 ], [ 284, 1017 ], [ 381, 120 ], [ 422, 112 ], [ 1957, 366 ], [ 98, 454 ], [ 277, 1632 ], [ 332, 814 ], [ 356, 114 ], [ 557, 111 ], [ 1656, 111 ], [ 278, 412 ], [ 278, 454 ], [ 325, 300 ], [ 687, 415 ], [ 65, 83 ], [ 273, 696 ], [ 275, 330 ], [ 291, 350 ], [ 413, 1727 ], [ 440, 428 ], [ 813, 279 ], [ 278, 1655 ], [ 302, 392 ], [ 115, 121 ], [ 338, 663 ], [ 1198, 279 ], [ 373, 527 ], [ 497, 121 ], [ 633, 1480 ], [ 1084, 1061 ], [ 1514, 366 ], [ 278, 313 ], [ 373, 116 ], [ 320, 731 ], [ 481, 273 ], [ 262, 324 ], [ 264, 300 ], [ 275, 1243 ], [ 709, 1570 ], [ 108, 263 ], [ 378, 97 ], [ 609, 676 ], [ 960, 1630 ], [ 99, 366 ], [ 584, 515 ], [ 628, 334 ], [ 707, 452 ], [ 893, 121 ], [ 287, 535 ], [ 379, 118 ], [ 1669, 296 ], [ 98, 452 ], [ 269, 642 ], [ 375, 291 ], [ 508, 514 ], [ 778, 1211 ], [ 1382, 983 ], [ 266, 662 ], [ 405, 352 ], [ 971, 115 ], [ 1720, 337 ], [ 32, 35 ], [ 56, 48 ], [ 259, 345 ], [ 303, 502 ], [ 635, 1250 ], [ 1947, 426 ], [ 338, 260 ], [ 582, 567 ], [ 1158, 816 ], [ 70, 272 ], [ 302, 700 ], [ 380, 618 ], [ 1919, 574 ], [ 109, 279 ], [ 110, 274 ], [ 110, 696 ], [ 348, 967 ], [ 459, 712 ], [ 1088, 1212 ], [ 413, 348 ], [ 413, 1257 ], [ 1481, 270 ], [ 39, 109 ], [ 335, 404 ], [ 375, 283 ], [ 112, 307 ], [ 287, 283 ], [ 302, 826 ], [ 375, 357 ], [ 517, 327 ], [ 1013, 787 ], [ 1711, 1303 ], [ 50, 51 ], [ 101, 98 ], [ 287, 397 ], [ 289, 1598 ], [ 767, 1892 ], [ 1109, 491 ], [ 359, 110 ], [ 1436, 415 ], [ 101, 282 ], [ 108, 117 ], [ 266, 290 ], [ 278, 567 ], [ 332, 383 ], [ 264, 397 ], [ 632, 115 ], [ 943, 447 ], [ 308, 491 ], [ 458, 1991 ], [ 89, 280 ], [ 309, 405 ], [ 368, 271 ], [ 387, 1061 ], [ 65, 82 ], [ 117, 345 ], [ 290, 586 ], [ 769, 276 ], [ 1531, 334 ], [ 45, 119 ], [ 260, 103 ], [ 423, 473 ], [ 681, 263 ], [ 1440, 634 ], [ 302, 403 ], [ 369, 1022 ], [ 492, 296 ], [ 117, 307 ], [ 278, 618 ], [ 304, 270 ], [ 69, 82 ], [ 112, 272 ], [ 67, 104 ], [ 858, 279 ], [ 877, 1526 ], [ 50, 56 ], [ 275, 357 ], [ 360, 424 ], [ 423, 1763 ], [ 97, 312 ], [ 264, 933 ], [ 309, 268 ], [ 314, 111 ], [ 333, 100 ], [ 423, 114 ], [ 1100, 489 ], [ 108, 259 ], [ 278, 1812 ], [ 288, 105 ], [ 707, 1683 ], [ 757, 561 ], [ 111, 102 ], [ 335, 496 ], [ 361, 1714 ], [ 382, 100 ], [ 436, 298 ], [ 654, 282 ], [ 781, 101 ], [ 1252, 324 ], [ 1455, 535 ], [ 289, 270 ], [ 306, 1691 ], [ 369, 271 ], [ 97, 386 ], [ 264, 119 ], [ 288, 531 ], [ 429, 527 ], [ 1431, 472 ], [ 73, 83 ], [ 103, 111 ], [ 381, 1709 ], [ 441, 826 ], [ 522, 273 ], [ 1080, 883 ], [ 266, 990 ], [ 268, 696 ], [ 295, 259 ], [ 408, 315 ], [ 411, 307 ], [ 429, 1847 ], [ 517, 291 ], [ 1109, 120 ], [ 87, 843 ], [ 953, 279 ], [ 112, 283 ], [ 121, 437 ], [ 256, 1741 ], [ 691, 296 ], [ 849, 308 ], [ 1615, 296 ], [ 287, 272 ], [ 320, 109 ], [ 724, 590 ], [ 961, 115 ], [ 1023, 1976 ], [ 1214, 882 ], [ 269, 1867 ], [ 277, 676 ], [ 283, 350 ], [ 117, 324 ], [ 794, 487 ], [ 310, 1549 ], [ 343, 116 ], [ 603, 121 ], [ 1230, 266 ], [ 65, 100 ], [ 110, 328 ], [ 413, 743 ], [ 256, 826 ], [ 265, 1014 ], [ 269, 586 ], [ 541, 99 ], [ 853, 316 ], [ 291, 279 ], [ 391, 101 ], [ 1193, 115 ], [ 1226, 639 ], [ 32, 105 ], [ 110, 121 ], [ 384, 324 ], [ 460, 354 ], [ 1791, 1219 ], [ 288, 412 ], [ 388, 279 ], [ 278, 1235 ], [ 303, 100 ], [ 306, 112 ], [ 380, 262 ], [ 391, 98 ], [ 753, 115 ], [ 272, 279 ], [ 325, 276 ], [ 440, 714 ], [ 777, 585 ], [ 2048, 417 ], [ 111, 483 ], [ 257, 372 ], [ 269, 280 ], [ 335, 671 ], [ 448, 1619 ], [ 497, 330 ], [ 704, 983 ], [ 79, 110 ], [ 97, 437 ], [ 101, 296 ], [ 287, 586 ], [ 287, 710 ], [ 388, 98 ], [ 522, 327 ], [ 672, 116 ], [ 111, 101 ], [ 879, 328 ], [ 45, 802 ], [ 83, 111 ], [ 256, 642 ], [ 263, 121 ], [ 1128, 670 ], [ 1730, 580 ], [ 442, 700 ], [ 468, 111 ], [ 735, 270 ], [ 1333, 325 ], [ 265, 2066 ], [ 288, 280 ], [ 289, 457 ], [ 379, 108 ], [ 408, 791 ], [ 410, 726 ], [ 1123, 109 ], [ 1293, 1183 ], [ 97, 102 ], [ 111, 312 ], [ 273, 591 ], [ 310, 1004 ], [ 811, 1250 ], [ 819, 652 ], [ 260, 108 ], [ 401, 731 ], [ 1567, 1267 ], [ 303, 1160 ], [ 383, 279 ], [ 458, 436 ], [ 557, 260 ], [ 1751, 1054 ], [ 1949, 2074 ], [ 275, 948 ], [ 303, 628 ], [ 759, 276 ], [ 960, 2043 ], [ 1882, 300 ], [ 47, 47 ], [ 99, 258 ], [ 334, 272 ], [ 442, 115 ], [ 450, 119 ], [ 1384, 101 ], [ 2130, 435 ], [ 344, 80 ], [ 380, 553 ], [ 394, 276 ], [ 521, 110 ], [ 588, 262 ], [ 821, 266 ], [ 437, 2065 ], [ 1085, 390 ], [ 1322, 279 ], [ 50, 55 ], [ 57, 48 ], [ 95, 95 ], [ 361, 118 ], [ 458, 273 ], [ 874, 926 ], [ 1660, 297 ], [ 115, 119 ], [ 263, 111 ], [ 274, 101 ], [ 336, 352 ], [ 375, 346 ], [ 1125, 116 ], [ 256, 260 ], [ 309, 729 ], [ 505, 297 ], [ 1128, 1992 ], [ 55, 48 ], [ 115, 104 ], [ 264, 391 ], [ 284, 927 ], [ 291, 670 ], [ 302, 411 ], [ 583, 758 ], [ 2110, 597 ], [ 269, 402 ], [ 323, 391 ], [ 328, 115 ], [ 495, 282 ], [ 633, 1423 ], [ 1707, 282 ], [ 48, 56 ], [ 258, 330 ], [ 271, 99 ], [ 425, 1335 ], [ 444, 115 ], [ 726, 1092 ], [ 959, 121 ], [ 32, 1025 ], [ 97, 586 ], [ 101, 352 ], [ 108, 669 ], [ 283, 109 ], [ 434, 100 ], [ 467, 591 ], [ 500, 1618 ], [ 741, 364 ], [ 1009, 296 ], [ 1100, 787 ], [ 287, 477 ], [ 320, 117 ], [ 363, 121 ], [ 366, 110 ], [ 1399, 639 ], [ 1617, 121 ], [ 268, 101 ], [ 406, 108 ], [ 1029, 1311 ], [ 48, 57 ], [ 264, 601 ], [ 336, 282 ], [ 497, 531 ], [ 541, 2023 ], [ 553, 438 ], [ 50, 54 ], [ 116, 111 ], [ 117, 372 ], [ 344, 397 ], [ 286, 270 ], [ 884, 903 ], [ 1154, 426 ], [ 299, 279 ], [ 330, 274 ], [ 1484, 350 ], [ 50, 57 ], [ 51, 50 ], [ 338, 553 ], [ 349, 601 ], [ 111, 262 ], [ 1161, 377 ], [ 1247, 924 ], [ 1314, 115 ], [ 2010, 2300 ], [ 111, 296 ], [ 266, 115 ], [ 594, 1194 ], [ 734, 1141 ], [ 741, 263 ], [ 783, 121 ], [ 1167, 282 ], [ 681, 279 ], [ 728, 452 ], [ 45, 104 ], [ 491, 760 ], [ 2039, 563 ], [ 2179, 539 ], [ 102, 263 ], [ 105, 473 ], [ 121, 296 ], [ 282, 107 ], [ 320, 391 ], [ 441, 454 ], [ 597, 297 ], [ 911, 103 ], [ 946, 1160 ], [ 1568, 1343 ], [ 121, 110 ], [ 278, 1163 ], [ 288, 325 ], [ 300, 307 ], [ 356, 283 ], [ 761, 768 ], [ 1348, 531 ], [ 114, 279 ], [ 264, 640 ], [ 313, 276 ], [ 1044, 354 ], [ 269, 392 ], [ 111, 331 ], [ 277, 414 ], [ 354, 116 ], [ 369, 386 ], [ 609, 601 ], [ 320, 268 ], [ 104, 325 ], [ 377, 103 ], [ 395, 116 ], [ 555, 365 ], [ 1228, 625 ], [ 1540, 115 ], [ 312, 115 ], [ 364, 121 ], [ 592, 263 ], [ 1883, 1359 ], [ 100, 268 ], [ 296, 426 ], [ 298, 109 ], [ 324, 99 ], [ 695, 323 ], [ 2207, 824 ], [ 45, 108 ], [ 269, 671 ], [ 423, 111 ], [ 864, 115 ], [ 1158, 625 ], [ 301, 345 ], [ 332, 109 ], [ 340, 1031 ], [ 442, 903 ], [ 703, 1031 ], [ 1236, 1698 ], [ 51, 53 ], [ 117, 563 ], [ 313, 698 ], [ 332, 102 ], [ 615, 2012 ], [ 868, 115 ], [ 1489, 273 ], [ 1801, 669 ], [ 103, 279 ], [ 110, 362 ], [ 111, 272 ], [ 288, 460 ], [ 443, 352 ], [ 1134, 747 ], [ 1170, 503 ], [ 99, 1076 ], [ 343, 108 ], [ 597, 276 ], [ 332, 2380 ], [ 643, 103 ], [ 958, 634 ], [ 1153, 512 ], [ 101, 276 ], [ 257, 1646 ], [ 269, 449 ], [ 312, 322 ], [ 344, 121 ], [ 363, 116 ], [ 375, 389 ], [ 1122, 105 ], [ 1519, 2261 ], [ 118, 282 ], [ 298, 98 ], [ 332, 619 ], [ 1942, 282 ], [ 42, 42 ], [ 65, 84 ], [ 104, 1623 ], [ 105, 325 ], [ 532, 714 ], [ 893, 636 ], [ 1074, 40 ], [ 270, 279 ], [ 298, 274 ], [ 498, 103 ], [ 602, 501 ], [ 961, 788 ], [ 995, 484 ], [ 1184, 2259 ], [ 266, 634 ], [ 267, 506 ], [ 308, 628 ], [ 338, 1769 ], [ 369, 567 ], [ 1340, 307 ], [ 105, 514 ], [ 275, 336 ], [ 316, 104 ], [ 344, 940 ], [ 545, 503 ], [ 549, 1190 ], [ 691, 298 ], [ 735, 262 ], [ 753, 276 ], [ 1155, 273 ], [ 1397, 1181 ], [ 1601, 115 ], [ 1671, 271 ], [ 306, 116 ], [ 1350, 121 ], [ 65, 108 ], [ 314, 1908 ], [ 560, 2361 ], [ 1628, 347 ], [ 257, 639 ], [ 269, 2113 ], [ 321, 1411 ], [ 405, 103 ], [ 456, 101 ], [ 567, 1787 ], [ 980, 282 ], [ 99, 489 ], [ 112, 601 ], [ 942, 788 ], [ 1259, 282 ], [ 1277, 914 ], [ 270, 274 ], [ 287, 415 ], [ 287, 607 ], [ 336, 98 ], [ 2166, 327 ], [ 99, 263 ], [ 283, 393 ], [ 315, 101 ], [ 390, 290 ], [ 852, 115 ], [ 902, 263 ], [ 1126, 263 ], [ 1468, 276 ], [ 1653, 496 ], [ 1913, 115 ], [ 32, 88 ], [ 108, 116 ], [ 317, 109 ], [ 329, 927 ], [ 338, 394 ], [ 354, 105 ], [ 360, 677 ], [ 402, 104 ], [ 458, 1610 ], [ 534, 300 ], [ 99, 279 ], [ 291, 107 ], [ 332, 103 ], [ 475, 75 ], [ 893, 435 ], [ 1148, 531 ], [ 1292, 104 ], [ 105, 407 ], [ 119, 119 ], [ 811, 515 ], [ 97, 428 ], [ 867, 115 ], [ 1197, 107 ], [ 303, 118 ], [ 335, 2359 ], [ 338, 402 ], [ 408, 328 ], [ 428, 116 ], [ 883, 746 ], [ 1159, 506 ], [ 265, 535 ], [ 281, 323 ], [ 413, 283 ], [ 1161, 509 ], [ 1513, 274 ], [ 72, 328 ], [ 269, 935 ], [ 269, 1325 ], [ 277, 296 ], [ 388, 502 ], [ 874, 315 ], [ 1010, 1231 ], [ 45, 259 ], [ 51, 49 ], [ 108, 345 ], [ 195, 169 ], [ 288, 389 ], [ 289, 1093 ], [ 368, 283 ], [ 460, 282 ], [ 1507, 616 ], [ 1954, 272 ], [ 1962, 1296 ], [ 1980, 352 ], [ 2235, 316 ], [ 342, 618 ], [ 344, 479 ], [ 379, 553 ], [ 476, 1762 ], [ 534, 1463 ], [ 1301, 1789 ], [ 260, 334 ], [ 275, 283 ], [ 303, 305 ], [ 332, 1347 ], [ 342, 424 ], [ 369, 313 ], [ 472, 263 ], [ 728, 863 ], [ 1024, 362 ], [ 1077, 2059 ], [ 1244, 1802 ], [ 1438, 282 ], [ 48, 53 ], [ 73, 78 ], [ 102, 516 ], [ 1745, 1733 ], [ 309, 291 ], [ 610, 627 ], [ 1175, 116 ], [ 1388, 2114 ], [ 302, 266 ], [ 302, 276 ], [ 302, 377 ], [ 595, 116 ], [ 733, 489 ], [ 921, 1935 ], [ 1875, 756 ], [ 48, 55 ], [ 115, 117 ], [ 281, 2271 ], [ 2086, 272 ], [ 45, 83 ], [ 114, 271 ], [ 264, 1082 ], [ 303, 98 ], [ 332, 98 ], [ 518, 100 ], [ 898, 1049 ], [ 1023, 1826 ], [ 1998, 307 ], [ 269, 2178 ], [ 338, 322 ], [ 342, 337 ], [ 351, 481 ], [ 360, 266 ], [ 373, 1668 ], [ 958, 514 ], [ 1784, 290 ], [ 1943, 300 ], [ 273, 97 ], [ 314, 2544 ], [ 438, 263 ], [ 2381, 312 ], [ 101, 591 ], [ 459, 334 ], [ 498, 934 ], [ 48, 54 ], [ 55, 53 ], [ 58, 2248 ], [ 302, 1422 ], [ 388, 426 ], [ 681, 276 ], [ 397, 274 ], [ 604, 984 ], [ 697, 263 ], [ 745, 116 ], [ 108, 397 ], [ 265, 573 ], [ 287, 315 ], [ 320, 352 ], [ 369, 640 ], [ 467, 393 ], [ 1571, 273 ], [ 97, 316 ], [ 275, 105 ], [ 278, 343 ], [ 354, 844 ], [ 717, 73 ], [ 939, 1044 ], [ 257, 112 ], [ 360, 283 ], [ 379, 330 ], [ 513, 2262 ], [ 1157, 282 ], [ 1424, 290 ], [ 1459, 276 ], [ 1586, 394 ], [ 1781, 2427 ], [ 1893, 97 ], [ 2191, 1083 ], [ 51, 52 ], [ 39, 299 ], [ 256, 270 ], [ 266, 919 ], [ 422, 279 ], [ 532, 262 ], [ 646, 115 ], [ 721, 1658 ], [ 65, 110 ], [ 105, 1740 ], [ 110, 276 ], [ 269, 455 ], [ 302, 457 ], [ 323, 300 ], [ 423, 117 ], [ 1294, 979 ], [ 98, 1243 ], [ 342, 455 ], [ 356, 543 ], [ 1006, 428 ], [ 257, 456 ], [ 491, 101 ], [ 667, 299 ], [ 1091, 979 ], [ 1249, 455 ], [ 1273, 578 ], [ 1277, 1734 ], [ 114, 444 ], [ 289, 315 ], [ 351, 2630 ], [ 1127, 389 ], [ 1405, 307 ], [ 57, 57 ], [ 65, 78 ], [ 269, 296 ], [ 287, 1192 ], [ 306, 121 ], [ 312, 636 ], [ 387, 276 ], [ 1026, 684 ], [ 1218, 262 ], [ 1737, 347 ], [ 1898, 377 ], [ 48, 52 ], [ 65, 116 ], [ 79, 78 ], [ 258, 108 ], [ 338, 101 ], [ 369, 377 ], [ 378, 291 ], [ 664, 331 ], [ 1170, 1225 ], [ 1712, 1107 ], [ 69, 83 ], [ 99, 394 ], [ 269, 282 ], [ 439, 533 ], [ 556, 279 ], [ 1127, 569 ], [ 109, 101 ], [ 117, 296 ], [ 302, 854 ], [ 326, 571 ], [ 369, 273 ], [ 400, 98 ], [ 406, 2494 ], [ 77, 1651 ], [ 578, 296 ], [ 582, 300 ], [ 734, 108 ], [ 781, 276 ], [ 1136, 101 ], [ 1445, 1595 ], [ 2095, 121 ], [ 260, 325 ], [ 288, 268 ], [ 952, 263 ], [ 1009, 771 ], [ 401, 505 ], [ 892, 639 ], [ 2580, 436 ], [ 32, 64 ], [ 52, 53 ], [ 84, 76 ], [ 106, 730 ], [ 258, 116 ], [ 276, 2032 ], [ 287, 271 ], [ 405, 107 ], [ 1506, 1506 ], [ 32, 415 ], [ 271, 274 ], [ 290, 308 ], [ 357, 115 ], [ 80, 104 ], [ 320, 464 ], [ 502, 274 ], [ 713, 276 ], [ 910, 622 ], [ 977, 2351 ], [ 1613, 101 ], [ 2256, 1772 ], [ 2753, 746 ], [ 97, 807 ], [ 263, 99 ], [ 264, 268 ], [ 272, 112 ], [ 277, 494 ], [ 278, 365 ], [ 287, 1014 ], [ 604, 394 ], [ 804, 1082 ], [ 1940, 989 ], [ 2052, 290 ], [ 32, 43 ], [ 108, 1697 ], [ 117, 428 ], [ 265, 1696 ], [ 282, 116 ], [ 351, 1624 ], [ 831, 455 ], [ 1439, 330 ], [ 2029, 312 ], [ 2268, 2416 ], [ 48, 51 ], [ 274, 758 ], [ 434, 110 ], [ 536, 2444 ], [ 641, 2258 ], [ 1053, 484 ], [ 1473, 516 ], [ 107, 274 ], [ 258, 304 ], [ 280, 100 ], [ 286, 106 ], [ 309, 1118 ], [ 369, 815 ], [ 463, 487 ], [ 695, 503 ], [ 910, 601 ], [ 1238, 272 ], [ 32, 47 ], [ 267, 354 ], [ 287, 312 ], [ 320, 273 ], [ 325, 263 ], [ 361, 1588 ], [ 429, 483 ], [ 606, 262 ], [ 1007, 372 ], [ 1430, 2073 ], [ 51, 55 ], [ 79, 82 ], [ 121, 108 ], [ 265, 484 ], [ 278, 487 ], [ 306, 576 ], [ 440, 122 ], [ 837, 121 ], [ 1836, 1608 ], [ 114, 273 ], [ 277, 1907 ], [ 287, 2601 ], [ 320, 865 ], [ 320, 1767 ], [ 338, 643 ], [ 492, 324 ], [ 635, 515 ], [ 918, 951 ], [ 1265, 276 ], [ 1538, 393 ], [ 1866, 105 ], [ 111, 455 ], [ 264, 414 ], [ 273, 756 ], [ 344, 606 ], [ 441, 616 ], [ 448, 1118 ], [ 468, 456 ], [ 495, 274 ], [ 697, 117 ], [ 114, 322 ], [ 344, 677 ], [ 434, 108 ], [ 767, 290 ], [ 1948, 1884 ], [ 2120, 107 ], [ 2184, 271 ], [ 45, 304 ], [ 104, 565 ], [ 320, 943 ], [ 330, 365 ], [ 378, 110 ], [ 380, 111 ], [ 520, 382 ], [ 721, 391 ], [ 891, 115 ], [ 952, 362 ], [ 32, 357 ], [ 112, 316 ], [ 256, 2143 ], [ 335, 590 ], [ 408, 327 ], [ 713, 362 ], [ 769, 597 ], [ 1897, 746 ], [ 121, 606 ], [ 302, 322 ], [ 302, 521 ], [ 401, 325 ], [ 481, 116 ], [ 1501, 307 ], [ 1868, 684 ], [ 2331, 1896 ], [ 277, 530 ], [ 335, 471 ], [ 391, 636 ], [ 439, 1163 ], [ 446, 121 ], [ 532, 337 ], [ 1241, 2440 ], [ 1372, 115 ], [ 1426, 404 ], [ 2482, 924 ], [ 52, 49 ], [ 97, 336 ], [ 256, 1121 ], [ 284, 693 ], [ 433, 403 ], [ 458, 2085 ], [ 572, 797 ], [ 664, 299 ], [ 804, 259 ], [ 1512, 117 ], [ 79, 712 ], [ 84, 114 ], [ 299, 276 ], [ 301, 570 ], [ 327, 104 ], [ 327, 263 ], [ 329, 347 ], [ 360, 101 ], [ 375, 2769 ], [ 396, 324 ], [ 849, 505 ], [ 2545, 1677 ], [ 2842, 322 ], [ 32, 58 ], [ 52, 56 ], [ 269, 1442 ], [ 270, 556 ], [ 305, 121 ], [ 312, 279 ], [ 312, 372 ], [ 317, 83 ], [ 326, 114 ], [ 439, 315 ], [ 502, 322 ], [ 520, 279 ], [ 849, 2399 ], [ 907, 2733 ], [ 1000, 259 ], [ 1173, 489 ], [ 1224, 115 ], [ 1532, 115 ], [ 45, 932 ], [ 63, 420 ], [ 275, 456 ], [ 288, 2434 ], [ 381, 940 ], [ 405, 116 ], [ 1281, 621 ], [ 2532, 473 ], [ 277, 362 ], [ 278, 270 ], [ 295, 511 ], [ 498, 2731 ], [ 1272, 272 ], [ 1331, 263 ], [ 1472, 403 ], [ 1848, 282 ], [ 119, 1467 ], [ 277, 1639 ], [ 440, 112 ], [ 618, 279 ], [ 82, 101 ], [ 273, 105 ], [ 277, 449 ], [ 477, 276 ], [ 555, 456 ], [ 1963, 951 ], [ 51, 51 ], [ 102, 505 ], [ 275, 730 ], [ 275, 2642 ], [ 278, 907 ], [ 898, 432 ], [ 46, 109 ], [ 53, 53 ], [ 344, 1651 ], [ 352, 494 ], [ 764, 632 ], [ 1435, 499 ], [ 1489, 487 ], [ 32, 226 ], [ 277, 783 ], [ 334, 512 ], [ 371, 64 ], [ 458, 581 ], [ 609, 2156 ], [ 833, 487 ], [ 926, 271 ], [ 1128, 606 ], [ 1147, 343 ], [ 1238, 307 ], [ 1472, 323 ], [ 1674, 791 ], [ 2548, 684 ], [ 98, 270 ], [ 101, 259 ], [ 101, 483 ], [ 268, 276 ], [ 287, 621 ], [ 347, 276 ], [ 408, 101 ], [ 528, 362 ], [ 540, 2872 ], [ 1002, 299 ], [ 1404, 276 ], [ 264, 1174 ], [ 283, 807 ], [ 308, 693 ], [ 433, 2815 ], [ 545, 263 ], [ 767, 2327 ], [ 777, 509 ], [ 70, 76 ], [ 109, 112 ], [ 275, 625 ], [ 560, 2591 ], [ 917, 1086 ], [ 1033, 323 ], [ 1278, 116 ], [ 1406, 115 ], [ 1511, 119 ], [ 1843, 510 ], [ 1910, 263 ], [ 278, 671 ], [ 303, 621 ], [ 323, 1261 ], [ 338, 1779 ], [ 348, 274 ], [ 403, 810 ], [ 534, 395 ], [ 578, 115 ], [ 582, 768 ], [ 787, 345 ], [ 1218, 392 ], [ 1237, 830 ], [ 2830, 322 ], [ 336, 100 ], [ 340, 365 ], [ 401, 1049 ], [ 514, 103 ], [ 921, 2290 ], [ 1424, 121 ], [ 1995, 276 ], [ 65, 619 ], [ 264, 432 ], [ 342, 283 ], [ 353, 107 ], [ 360, 2121 ], [ 546, 525 ], [ 960, 1332 ], [ 1127, 1208 ], [ 2148, 747 ], [ 260, 327 ], [ 278, 933 ], [ 290, 111 ], [ 296, 118 ], [ 338, 382 ], [ 594, 1212 ], [ 721, 665 ], [ 874, 515 ], [ 32, 60 ], [ 99, 354 ], [ 264, 1767 ], [ 381, 771 ], [ 541, 2751 ], [ 603, 115 ], [ 1440, 272 ], [ 1719, 336 ], [ 1989, 389 ], [ 45, 77 ], [ 48, 50 ], [ 103, 274 ], [ 275, 454 ], [ 344, 101 ], [ 361, 2002 ], [ 368, 357 ], [ 495, 742 ], [ 664, 621 ], [ 734, 1408 ], [ 1231, 1089 ], [ 1401, 115 ], [ 1904, 527 ], [ 1967, 397 ], [ 2631, 1788 ], [ 39, 100 ], [ 117, 742 ], [ 327, 116 ], [ 434, 466 ], [ 534, 505 ], [ 743, 297 ], [ 813, 115 ], [ 1175, 1317 ], [ 104, 802 ], [ 289, 262 ], [ 321, 274 ], [ 344, 272 ], [ 356, 121 ], [ 381, 2142 ], [ 522, 316 ], [ 759, 115 ], [ 1060, 298 ], [ 1602, 276 ], [ 1637, 693 ], [ 2045, 389 ], [ 34, 44 ], [ 107, 121 ], [ 277, 2569 ], [ 302, 452 ], [ 672, 112 ], [ 707, 1192 ], [ 901, 115 ], [ 2418, 1075 ], [ 2707, 1240 ], [ 45, 103 ], [ 107, 105 ], [ 118, 354 ], [ 277, 273 ], [ 356, 428 ], [ 554, 99 ], [ 725, 2304 ], [ 1016, 1285 ], [ 1136, 274 ], [ 1568, 438 ], [ 1717, 115 ], [ 2454, 1505 ], [ 114, 743 ], [ 122, 101 ], [ 256, 280 ], [ 288, 326 ], [ 314, 86 ], [ 347, 1946 ], [ 356, 263 ], [ 528, 263 ], [ 105, 327 ], [ 264, 262 ], [ 381, 878 ], [ 423, 1500 ], [ 463, 266 ], [ 1136, 362 ], [ 269, 666 ], [ 368, 325 ], [ 528, 913 ], [ 643, 639 ], [ 731, 666 ], [ 980, 2929 ], [ 1140, 46 ], [ 1215, 816 ], [ 54, 53 ], [ 103, 389 ], [ 288, 308 ], [ 302, 990 ], [ 440, 119 ], [ 470, 103 ], [ 536, 530 ], [ 560, 2452 ], [ 604, 352 ], [ 752, 1264 ], [ 1015, 561 ], [ 2195, 1332 ], [ 32, 194 ], [ 277, 743 ], [ 327, 308 ], [ 344, 262 ], [ 357, 263 ], [ 422, 652 ], [ 484, 449 ], [ 520, 101 ], [ 589, 112 ], [ 1088, 105 ], [ 1389, 986 ], [ 2364, 803 ], [ 2572, 2536 ], [ 102, 2352 ], [ 268, 279 ], [ 310, 2873 ], [ 314, 968 ], [ 314, 1102 ], [ 406, 2051 ], [ 518, 262 ], [ 884, 307 ], [ 1124, 328 ], [ 1837, 101 ], [ 2129, 274 ], [ 2567, 372 ], [ 2579, 282 ], [ 290, 270 ], [ 301, 2588 ], [ 497, 1486 ], [ 691, 330 ], [ 845, 103 ], [ 867, 276 ], [ 939, 118 ], [ 1203, 657 ], [ 2054, 795 ], [ 2146, 305 ], [ 85, 83 ], [ 269, 2202 ], [ 277, 395 ], [ 278, 1022 ], [ 284, 348 ], [ 300, 1761 ], [ 413, 539 ], [ 865, 449 ], [ 1511, 714 ], [ 2180, 1846 ], [ 2414, 404 ], [ 2934, 1017 ], [ 51, 54 ], [ 51, 57 ], [ 78, 399 ], [ 276, 298 ], [ 280, 440 ], [ 298, 268 ], [ 302, 719 ], [ 352, 815 ], [ 360, 457 ], [ 440, 113 ], [ 710, 531 ], [ 837, 2384 ], [ 1045, 279 ], [ 1063, 2253 ], [ 1070, 115 ], [ 1074, 41 ], [ 1197, 638 ], [ 1390, 426 ], [ 1941, 499 ], [ 2786, 601 ], [ 32, 331 ], [ 51, 56 ], [ 109, 266 ], [ 259, 279 ], [ 287, 889 ], [ 416, 100 ], [ 482, 412 ], [ 582, 315 ], [ 686, 2033 ], [ 732, 276 ], [ 1185, 3121 ], [ 1703, 290 ], [ 1819, 345 ], [ 1837, 1073 ], [ 2165, 323 ], [ 99, 464 ], [ 110, 97 ], [ 265, 606 ], [ 379, 741 ], [ 434, 85 ], [ 721, 3156 ], [ 831, 297 ], [ 1352, 1352 ], [ 2868, 121 ], [ 2882, 116 ], [ 32, 316 ], [ 87, 346 ], [ 289, 272 ], [ 309, 101 ], [ 329, 696 ], [ 831, 914 ], [ 1024, 263 ], [ 1058, 372 ], [ 1069, 968 ], [ 2221, 98 ], [ 278, 97 ], [ 289, 2330 ], [ 302, 2847 ], [ 466, 290 ], [ 1366, 115 ], [ 52, 51 ], [ 102, 114 ], [ 272, 923 ], [ 283, 435 ], [ 301, 1043 ], [ 302, 1378 ], [ 497, 682 ], [ 566, 636 ], [ 582, 414 ], [ 641, 2400 ], [ 667, 272 ], [ 781, 274 ], [ 845, 352 ], [ 1177, 290 ], [ 1290, 283 ], [ 1628, 696 ], [ 1807, 307 ], [ 2067, 2273 ], [ 2139, 404 ], [ 58, 58 ], [ 291, 99 ], [ 296, 120 ], [ 332, 334 ], [ 387, 479 ], [ 497, 452 ], [ 583, 2087 ], [ 589, 101 ], [ 648, 399 ], [ 1045, 121 ], [ 1493, 352 ], [ 2000, 115 ], [ 101, 274 ], [ 110, 399 ], [ 298, 279 ], [ 1438, 746 ], [ 1513, 276 ], [ 2063, 797 ], [ 2606, 263 ], [ 268, 756 ], [ 304, 2986 ], [ 360, 263 ], [ 423, 108 ], [ 546, 422 ], [ 961, 1323 ], [ 1137, 3139 ], [ 2163, 2890 ], [ 2659, 1523 ], [ 2745, 307 ], [ 32, 120 ], [ 99, 466 ], [ 288, 880 ], [ 327, 290 ], [ 330, 111 ], [ 387, 1788 ], [ 434, 878 ], [ 434, 2507 ], [ 542, 760 ], [ 918, 390 ], [ 1067, 115 ], [ 1259, 271 ], [ 1299, 350 ], [ 2134, 638 ], [ 2149, 346 ], [ 45, 65 ], [ 52, 50 ], [ 99, 121 ], [ 108, 444 ], [ 117, 107 ], [ 257, 119 ], [ 286, 110 ], [ 287, 2147 ], [ 320, 392 ], [ 342, 266 ], [ 354, 1335 ], [ 387, 731 ], [ 654, 622 ], [ 700, 449 ], [ 876, 279 ], [ 1666, 455 ], [ 2402, 563 ], [ 112, 343 ], [ 269, 2917 ], [ 277, 452 ], [ 338, 3180 ], [ 459, 483 ], [ 546, 1808 ], [ 777, 738 ], [ 995, 1408 ], [ 1362, 115 ], [ 34, 73 ], [ 57, 53 ], [ 100, 111 ], [ 117, 2959 ], [ 277, 290 ], [ 298, 291 ], [ 441, 1931 ], [ 511, 307 ], [ 1132, 1569 ], [ 1228, 2171 ], [ 1295, 115 ], [ 1717, 290 ], [ 2557, 345 ], [ 2597, 389 ], [ 317, 3207 ], [ 339, 358 ], [ 383, 263 ], [ 1006, 1183 ], [ 1358, 279 ], [ 1576, 104 ], [ 1823, 1634 ], [ 2185, 1926 ], [ 69, 68 ], [ 101, 1117 ], [ 136, 146 ], [ 289, 3193 ], [ 413, 2160 ], [ 572, 471 ], [ 764, 98 ], [ 1038, 1758 ], [ 2624, 510 ], [ 46, 41 ], [ 83, 83 ], [ 265, 282 ], [ 270, 352 ], [ 278, 2543 ], [ 360, 414 ], [ 380, 428 ], [ 402, 101 ], [ 423, 79 ], [ 468, 2294 ], [ 508, 1287 ], [ 551, 2466 ], [ 599, 454 ], [ 618, 274 ], [ 660, 101 ], [ 863, 276 ], [ 1135, 291 ], [ 1444, 276 ], [ 1665, 115 ], [ 2151, 665 ], [ 2385, 274 ], [ 3128, 727 ], [ 32, 3331 ], [ 259, 447 ], [ 272, 1515 ], [ 278, 466 ], [ 298, 273 ], [ 301, 2189 ], [ 320, 119 ], [ 344, 266 ], [ 454, 276 ], [ 609, 1546 ], [ 1345, 270 ], [ 1394, 354 ], [ 1959, 1317 ], [ 1983, 824 ], [ 2994, 2729 ], [ 32, 124 ], [ 52, 52 ], [ 259, 563 ], [ 282, 121 ], [ 303, 2285 ], [ 335, 882 ], [ 707, 1324 ], [ 725, 276 ], [ 1230, 622 ], [ 1389, 279 ], [ 2055, 307 ], [ 95, 116 ], [ 109, 268 ], [ 275, 1309 ], [ 278, 357 ], [ 301, 1268 ], [ 309, 2431 ], [ 348, 1186 ], [ 470, 299 ], [ 721, 390 ], [ 831, 386 ], [ 872, 445 ], [ 1148, 1464 ], [ 1363, 276 ], [ 1477, 489 ], [ 1731, 307 ], [ 1881, 503 ], [ 1924, 115 ], [ 256, 268 ], [ 275, 273 ], [ 356, 270 ], [ 441, 679 ], [ 460, 404 ], [ 725, 472 ], [ 836, 100 ], [ 1024, 279 ], [ 1653, 601 ], [ 2096, 121 ], [ 2287, 791 ], [ 53, 55 ], [ 97, 101 ], [ 111, 298 ], [ 119, 272 ], [ 278, 443 ], [ 283, 108 ], [ 290, 810 ], [ 314, 440 ], [ 360, 282 ], [ 374, 166 ], [ 525, 101 ], [ 626, 1031 ], [ 664, 348 ], [ 669, 279 ], [ 695, 588 ], [ 936, 121 ], [ 1126, 632 ], [ 1594, 270 ], [ 2198, 652 ], [ 52, 55 ], [ 54, 52 ], [ 283, 655 ], [ 338, 283 ], [ 589, 1419 ], [ 996, 330 ], [ 1138, 2577 ], [ 1633, 116 ], [ 2314, 527 ], [ 32, 123 ], [ 79, 84 ], [ 99, 108 ], [ 105, 417 ], [ 119, 111 ], [ 264, 110 ], [ 288, 2641 ], [ 320, 1130 ], [ 335, 935 ], [ 459, 331 ], [ 528, 274 ], [ 672, 1839 ], [ 853, 967 ], [ 888, 395 ], [ 1091, 109 ], [ 1326, 276 ], [ 1350, 807 ], [ 2942, 1561 ], [ 68, 268 ], [ 70, 67 ], [ 84, 111 ], [ 410, 101 ], [ 425, 1878 ], [ 1320, 655 ], [ 1530, 322 ], [ 2298, 276 ], [ 2397, 539 ], [ 3008, 1267 ], [ 52, 57 ], [ 53, 49 ], [ 263, 305 ], [ 324, 432 ], [ 365, 636 ], [ 377, 331 ], [ 379, 103 ], [ 921, 272 ], [ 1027, 404 ], [ 1154, 276 ], [ 1363, 494 ], [ 1564, 422 ], [ 3167, 291 ], [ 102, 592 ], [ 109, 97 ], [ 114, 466 ], [ 277, 268 ], [ 303, 437 ], [ 320, 3292 ], [ 368, 262 ], [ 402, 115 ], [ 415, 297 ], [ 643, 563 ], [ 2832, 1072 ], [ 3022, 274 ], [ 32, 538 ], [ 45, 114 ], [ 104, 884 ], [ 301, 3070 ], [ 425, 515 ], [ 425, 758 ], [ 490, 2394 ], [ 534, 2170 ], [ 557, 1316 ], [ 813, 276 ], [ 1840, 2305 ], [ 1914, 792 ], [ 2203, 2734 ], [ 105, 106 ], [ 115, 99 ], [ 122, 122 ], [ 270, 2493 ], [ 289, 511 ], [ 312, 97 ], [ 317, 73 ], [ 361, 673 ], [ 368, 263 ], [ 406, 651 ], [ 439, 598 ], [ 448, 1758 ], [ 728, 521 ], [ 994, 115 ], [ 1068, 438 ], [ 1126, 2064 ], [ 1647, 324 ], [ 287, 300 ], [ 336, 116 ], [ 339, 2517 ], [ 458, 1043 ], [ 537, 110 ], [ 847, 738 ], [ 1868, 297 ], [ 1975, 571 ], [ 2138, 499 ], [ 83, 67 ], [ 111, 307 ], [ 270, 263 ], [ 380, 274 ], [ 541, 115 ], [ 554, 102 ], [ 555, 3043 ], [ 917, 2033 ], [ 1091, 1805 ], [ 1209, 276 ], [ 1538, 279 ], [ 3168, 3532 ], [ 52, 54 ], [ 110, 598 ], [ 264, 266 ], [ 269, 3449 ], [ 306, 444 ], [ 326, 1523 ], [ 368, 605 ], [ 406, 2927 ], [ 497, 436 ], [ 582, 1527 ], [ 700, 1946 ], [ 857, 115 ], [ 1370, 2229 ], [ 1493, 112 ], [ 1895, 307 ], [ 1912, 432 ], [ 55, 50 ], [ 65, 67 ], [ 65, 76 ], [ 102, 414 ], [ 272, 350 ], [ 344, 1102 ], [ 624, 297 ], [ 717, 446 ], [ 728, 565 ], [ 806, 1446 ], [ 2047, 279 ], [ 69, 78 ], [ 256, 471 ], [ 265, 565 ], [ 309, 1422 ], [ 320, 525 ], [ 388, 993 ], [ 441, 1094 ], [ 463, 1708 ], [ 477, 111 ], [ 1237, 109 ], [ 1723, 263 ], [ 1770, 538 ], [ 1877, 395 ], [ 2405, 115 ], [ 2971, 3371 ], [ 114, 323 ], [ 264, 282 ], [ 320, 263 ], [ 325, 279 ], [ 344, 710 ], [ 734, 2336 ], [ 1033, 526 ], [ 1247, 397 ], [ 2269, 561 ], [ 2620, 670 ], [ 53, 54 ], [ 257, 2967 ], [ 259, 509 ], [ 303, 2417 ], [ 309, 515 ], [ 335, 258 ], [ 341, 274 ], [ 384, 110 ], [ 397, 279 ], [ 1149, 580 ], [ 1315, 121 ], [ 1934, 2978 ], [ 2289, 121 ], [ 66, 73 ], [ 77, 121 ], [ 78, 111 ], [ 104, 105 ], [ 257, 1505 ], [ 269, 844 ], [ 277, 809 ], [ 477, 263 ], [ 721, 1884 ], [ 748, 276 ], [ 775, 2816 ], [ 1361, 452 ], [ 1514, 2799 ], [ 2071, 539 ], [ 2975, 705 ], [ 53, 50 ], [ 103, 729 ], [ 112, 308 ], [ 283, 97 ], [ 314, 272 ], [ 1063, 440 ], [ 1132, 263 ], [ 2365, 268 ], [ 2439, 270 ], [ 108, 97 ], [ 270, 345 ], [ 275, 392 ], [ 287, 357 ], [ 302, 363 ], [ 375, 692 ], [ 408, 3596 ], [ 847, 282 ], [ 936, 926 ], [ 988, 435 ], [ 1566, 116 ], [ 1699, 279 ], [ 2773, 297 ], [ 119, 793 ], [ 259, 111 ], [ 264, 296 ], [ 264, 624 ], [ 265, 937 ], [ 303, 1240 ], [ 320, 437 ], [ 352, 273 ], [ 377, 1120 ], [ 412, 591 ], [ 445, 2316 ], [ 1445, 411 ], [ 2701, 273 ], [ 2775, 1071 ], [ 109, 283 ], [ 269, 1400 ], [ 277, 2097 ], [ 307, 279 ], [ 313, 279 ], [ 313, 1076 ], [ 314, 260 ], [ 351, 98 ], [ 361, 1049 ], [ 610, 3370 ], [ 907, 115 ], [ 1002, 928 ], [ 1006, 1143 ], [ 1320, 539 ], [ 2168, 499 ], [ 2284, 115 ], [ 2367, 3570 ], [ 2794, 1261 ], [ 45, 82 ], [ 57, 56 ], [ 109, 382 ], [ 289, 121 ], [ 408, 3003 ], [ 422, 274 ], [ 433, 674 ], [ 459, 493 ], [ 1510, 1042 ], [ 1679, 1421 ], [ 2854, 1442 ], [ 55, 52 ], [ 99, 386 ], [ 106, 436 ], [ 256, 574 ], [ 260, 282 ], [ 288, 377 ], [ 289, 1466 ], [ 304, 262 ], [ 313, 366 ], [ 325, 98 ], [ 480, 279 ], [ 513, 586 ], [ 583, 304 ], [ 1003, 259 ], [ 1455, 618 ], [ 1678, 913 ], [ 1821, 276 ], [ 2629, 377 ], [ 2669, 296 ], [ 3283, 1186 ], [ 275, 2396 ], [ 294, 144 ], [ 410, 276 ], [ 434, 109 ], [ 522, 1117 ], [ 976, 276 ], [ 1916, 274 ], [ 2241, 964 ], [ 2326, 282 ], [ 57, 51 ], [ 85, 110 ], [ 105, 437 ], [ 109, 262 ], [ 109, 677 ], [ 269, 2389 ], [ 302, 259 ], [ 324, 101 ], [ 472, 362 ], [ 846, 2425 ], [ 942, 304 ], [ 1454, 307 ], [ 1519, 99 ], [ 2071, 655 ], [ 2663, 97 ], [ 2949, 115 ], [ 99, 2190 ], [ 102, 1235 ], [ 277, 397 ], [ 335, 272 ], [ 336, 103 ], [ 391, 273 ], [ 433, 2470 ], [ 477, 279 ], [ 708, 307 ], [ 1023, 901 ], [ 1228, 816 ], [ 1239, 771 ], [ 1407, 111 ], [ 1617, 435 ], [ 1860, 1950 ], [ 33, 33 ], [ 53, 51 ], [ 65, 299 ], [ 98, 391 ], [ 100, 598 ], [ 102, 567 ], [ 287, 933 ], [ 309, 990 ], [ 401, 2771 ], [ 413, 357 ], [ 463, 417 ], [ 610, 1639 ], [ 710, 512 ], [ 836, 115 ], [ 1123, 112 ], [ 1551, 1664 ], [ 1860, 652 ], [ 1934, 121 ], [ 2283, 576 ], [ 53, 52 ], [ 54, 56 ], [ 65, 68 ], [ 65, 77 ], [ 118, 271 ], [ 266, 350 ], [ 294, 162 ], [ 307, 110 ], [ 320, 323 ], [ 344, 382 ], [ 353, 324 ], [ 459, 336 ], [ 888, 1346 ], [ 892, 756 ], [ 1559, 1075 ], [ 2251, 3432 ], [ 2570, 411 ], [ 32, 42 ], [ 46, 899 ], [ 53, 57 ], [ 275, 1222 ], [ 296, 372 ], [ 306, 393 ], [ 317, 81 ], [ 317, 431 ], [ 351, 444 ], [ 369, 793 ], [ 393, 115 ], [ 410, 503 ], [ 412, 282 ], [ 594, 2319 ], [ 609, 101 ], [ 1412, 315 ], [ 2082, 272 ], [ 2159, 747 ], [ 2212, 426 ], [ 3253, 346 ], [ 66, 121 ], [ 315, 105 ], [ 370, 878 ], [ 380, 322 ], [ 514, 116 ], [ 540, 3352 ], [ 627, 107 ], [ 701, 110 ], [ 748, 1268 ], [ 1958, 795 ], [ 2169, 3202 ], [ 2708, 426 ], [ 57, 52 ], [ 83, 258 ], [ 298, 112 ], [ 356, 322 ], [ 394, 282 ], [ 495, 785 ], [ 775, 115 ], [ 1029, 270 ], [ 1363, 279 ], [ 1566, 377 ], [ 2045, 263 ], [ 2240, 924 ], [ 2632, 563 ], [ 56, 54 ], [ 256, 438 ], [ 259, 110 ], [ 264, 736 ], [ 265, 266 ], [ 269, 543 ], [ 269, 1242 ], [ 289, 298 ], [ 407, 104 ], [ 408, 272 ], [ 413, 1931 ], [ 517, 3695 ], [ 582, 1059 ], [ 672, 99 ], [ 761, 424 ], [ 765, 1306 ], [ 819, 1888 ], [ 848, 276 ], [ 1005, 2360 ], [ 2387, 377 ], [ 2772, 1487 ], [ 69, 120 ], [ 107, 268 ], [ 263, 580 ], [ 269, 466 ], [ 290, 509 ], [ 338, 1640 ], [ 664, 1646 ], [ 743, 276 ], [ 893, 300 ], [ 980, 447 ], [ 1191, 956 ], [ 1918, 67 ], [ 2009, 279 ], [ 2063, 112 ], [ 2371, 1961 ], [ 2372, 530 ], [ 2502, 530 ], [ 3255, 530 ], [ 32, 125 ], [ 55, 54 ], [ 79, 76 ], [ 80, 308 ], [ 117, 279 ], [ 262, 97 ], [ 267, 1395 ], [ 271, 512 ], [ 278, 622 ], [ 328, 362 ], [ 356, 268 ], [ 433, 422 ], [ 459, 102 ], [ 505, 512 ], [ 517, 417 ], [ 536, 477 ], [ 594, 1500 ], [ 1338, 276 ], [ 1688, 503 ], [ 45, 729 ], [ 72, 76 ], [ 98, 262 ], [ 103, 97 ], [ 105, 362 ], [ 121, 109 ], [ 257, 323 ], [ 262, 636 ], [ 289, 3412 ], [ 302, 1156 ], [ 308, 298 ], [ 332, 2475 ], [ 344, 457 ], [ 403, 98 ], [ 406, 3270 ], [ 423, 642 ], [ 441, 1929 ], [ 497, 2472 ], [ 594, 258 ], [ 664, 282 ], [ 709, 2497 ], [ 769, 279 ], [ 943, 300 ], [ 1479, 115 ], [ 2989, 510 ], [ 3250, 810 ], [ 41, 58 ], [ 54, 51 ], [ 83, 104 ], [ 119, 565 ], [ 259, 350 ], [ 300, 276 ], [ 324, 121 ], [ 338, 440 ], [ 338, 509 ], [ 554, 2676 ], [ 888, 1677 ], [ 927, 115 ], [ 1026, 305 ], [ 1156, 101 ], [ 1585, 279 ], [ 2320, 272 ], [ 3267, 438 ], [ 73, 109 ], [ 100, 298 ], [ 107, 3587 ], [ 256, 452 ], [ 270, 272 ], [ 273, 111 ], [ 273, 352 ], [ 275, 1606 ], [ 302, 581 ], [ 316, 121 ], [ 330, 100 ], [ 417, 307 ], [ 545, 1495 ], [ 640, 115 ], [ 1199, 417 ], [ 3187, 1287 ], [ 3272, 3288 ], [ 34, 446 ], [ 46, 333 ], [ 103, 268 ], [ 264, 354 ], [ 287, 390 ], [ 336, 747 ], [ 343, 393 ], [ 369, 481 ], [ 380, 271 ], [ 387, 730 ], [ 557, 649 ], [ 870, 290 ], [ 875, 2782 ], [ 942, 115 ], [ 1139, 290 ], [ 1152, 834 ], [ 1198, 276 ], [ 1407, 526 ], [ 1752, 404 ], [ 1912, 3201 ], [ 2375, 263 ], [ 2552, 350 ], [ 2571, 121 ], [ 2857, 571 ], [ 2922, 1182 ], [ 55, 55 ], [ 93, 46 ], [ 114, 676 ], [ 332, 316 ], [ 336, 616 ], [ 338, 111 ], [ 349, 298 ], [ 360, 597 ], [ 368, 400 ], [ 369, 533 ], [ 874, 1850 ], [ 994, 121 ], [ 1124, 444 ], [ 1401, 276 ], [ 1420, 1606 ], [ 1903, 1233 ], [ 1933, 499 ], [ 32, 41 ], [ 46, 103 ], [ 57, 55 ], [ 103, 283 ], [ 264, 298 ], [ 271, 366 ], [ 301, 503 ], [ 332, 431 ], [ 344, 424 ], [ 433, 327 ], [ 473, 274 ], [ 1033, 271 ], [ 1035, 307 ], [ 1470, 312 ], [ 1510, 2688 ], [ 2054, 3076 ], [ 66, 101 ], [ 68, 262 ], [ 83, 464 ], [ 117, 511 ], [ 120, 105 ], [ 300, 121 ], [ 328, 431 ], [ 356, 357 ], [ 388, 576 ], [ 582, 343 ], [ 582, 438 ], [ 804, 1495 ], [ 850, 956 ], [ 898, 2858 ], [ 1077, 516 ], [ 45, 67 ], [ 57, 50 ], [ 257, 2296 ], [ 295, 397 ], [ 314, 336 ], [ 354, 435 ], [ 394, 1054 ], [ 513, 402 ], [ 1050, 279 ], [ 1105, 263 ], [ 1420, 3687 ], [ 1496, 923 ], [ 1775, 622 ], [ 2217, 259 ], [ 2640, 276 ], [ 2904, 282 ], [ 3400, 282 ] ], "pattern": "'(?i:[sdmt]|ll|ve|re)|[^\\r\\n\\p{L}\\p{N}]?\\p{L}+|\\p{N}{1,2}| ?[^\\s\\p{L}\\p{N}]+[\\r\\n]*|\\s*[\\r\\n]|\\s+(?!\\S)|\\s+" }