extdoublings:= [ <<2, 1>, [ <1, 1> ]>, <<3, 4>, [ <2, 1> ]>, <<3, 9>, [ <2, 3> ]>, <<4, 3>, [ <3, 2> ]>, <<4, 7>, [ <3, 4> ]>, <<4, 20>, [ <3, 7> ]>, <<4, 24>, [ <3, 6> ]>, <<4, 29>, [ <2, 2> ]>, <<4, 32>, [ <3, 9> ]>, <<5, 3>, [ <4, 5> ]>, <<5, 4>, [ <4, 1> ]>, <<5, 7>, [ <4, 4> ]>, <<5, 9>, [ <4, 3> ]>, <<5, 12>, [ <4, 7> ]>, <<5, 39>, [ <4, 12> ]>, <<5, 49>, [ <4, 19> ]>, <<5, 72>, [ <4, 18> ]>, <<5, 79>, [ <4, 26> ]>, <<5, 94>, [ <4, 21> ]>, <<5, 96>, [ <3, 1> ]>, <<5, 100>, [ <3, 8> ]>, <<5, 105>, [ <4, 28> ]>, <<5, 115>, [ <3, 10> ]>, <<5, 118>, [ <4, 14> ]>, <<5, 119>, [ <4, 16> ]>, <<5, 120>, [ <4, 20> ]>, <<5, 121>, [ <4, 23> ]>, <<5, 122>, [ <4, 24> ]>, <<5, 123>, [ <4, 32> ]>, <<5, 124>, [ <4, 33> ]>, <<6, 4>, [ <5, 1> ]>, <<6, 7>, [ <5, 2> ]>, <<6, 8>, [ <5, 8> ]>, <<6, 10>, [ <5, 7> ]>, <<6, 45>, [ <5, 18> ]>, <<6, 62>, [ <5, 27> ]>, <<6, 73>, [ <5, 14> ]>, <<6, 75>, [ <5, 16> ]>, <<6, 77>, [ <5, 19> ]>, <<6, 79>, [ <5, 23> ]>, <<6, 80>, [ <5, 24> ]>, <<6, 82>, [ <5, 26> ]>, <<6, 84>, [ <5, 29> ]>, <<6, 87>, [ <5, 36> ]>, <<6, 100>, [ <3, 3> ]>, <<6, 106>, [ <5, 48> ]>, <<6, 122>, [ <5, 66> ]>, <<6, 154>, [ <5, 45> ]>, <<6, 169>, [ <4, 9> ]>, <<6, 170>, [ <5, 42> ]>, <<6, 181>, [ <4, 15> ]>, <<6, 210>, [ <5, 70> ]>, <<6, 213>, [ <4, 17> ]>, <<6, 226>, [ <4, 30> ]>, <<6, 228>, [ <5, 61> ]>, <<6, 231>, [ <5, 64> ]>, <<6, 233>, [ <5, 63> ]>, <<6, 267>, [ <4, 10> ]>, <<6, 277>, [ <5, 93> ]>, <<6, 279>, [ <4, 6> ]>, <<6, 283>, [ <4, 31> ]>, <<6, 294>, [ <4, 22> ]>, <<6, 298>, [ <5, 113> ]>, <<6, 300>, [ <4, 25> ]>, <<6, 305>, [ <5, 116> ]>, <<6, 317>, [ <5, 117> ]>, <<6, 319>, [ <5, 41> ]>, <<6, 320>, [ <5, 43> ]>, <<6, 321>, [ <5, 44> ]>, <<6, 322>, [ <5, 46> ]>, <<6, 323>, [ <5, 47> ]>, <<6, 324>, [ <5, 49> ]>, <<6, 325>, [ <5, 50> ]>, <<6, 328>, [ <5, 53> ]>, <<6, 330>, [ <5, 56> ]>, <<6, 331>, [ <5, 57> ]>, <<6, 333>, [ <5, 67> ]>, <<6, 334>, [ <5, 68> ]>, <<6, 335>, [ <5, 69> ]>, <<6, 336>, [ <5, 71> ]>, <<6, 337>, [ <5, 72> ]>, <<6, 339>, [ <5, 74> ]>, <<6, 340>, [ <5, 75> ]>, <<6, 342>, [ <5, 77> ]>, <<6, 343>, [ <5, 78> ]>, <<6, 344>, [ <5, 79> ]>, <<6, 347>, [ <5, 82> ]>, <<6, 349>, [ <5, 84> ]>, <<6, 350>, [ <5, 87> ]>, <<6, 351>, [ <5, 91> ]>, <<6, 352>, [ <5, 94> ]>, <<6, 355>, [ <5, 99> ]>, <<6, 357>, [ <5, 105> ]>, <<6, 363>, [ <3, 5> ]>, <<6, 452>, [ <4, 35> ]>, <<7, 5>, [ <6, 2> ]>, <<7, 84>, [ <6, 60> ]>, <<7, 88>, [ <6, 11> ]>, <<7, 89>, [ <6, 12> ]>, <<7, 91>, [ <6, 14> ]>, <<7, 93>, [ <6, 16> ]>, <<7, 94>, [ <6, 17> ]>, <<7, 95>, [ <6, 18> ]>, <<7, 96>, [ <6, 19> ]>, <<7, 98>, [ <6, 21> ]>, <<7, 99>, [ <6, 22> ]>, <<7, 100>, [ <6, 23> ]>, <<7, 101>, [ <6, 24> ]>, <<7, 102>, [ <6, 25> ]>, <<7, 104>, [ <6, 27> ]>, <<7, 106>, [ <6, 29> ]>, <<7, 107>, [ <6, 30> ]>, <<7, 108>, [ <6, 31> ]>, <<7, 109>, [ <6, 32> ]>, <<7, 113>, [ <6, 38> ]>, <<7, 114>, [ <6, 39> ]>, <<7, 115>, [ <6, 40> ]>, <<7, 116>, [ <6, 41> ]>, <<7, 117>, [ <6, 42> ]>, <<7, 118>, [ <6, 43> ]>, <<7, 120>, [ <6, 45> ]>, <<7, 121>, [ <6, 46> ]>, <<7, 122>, [ <6, 47> ]>, <<7, 123>, [ <6, 48> ]>, <<7, 124>, [ <6, 49> ]>, <<7, 126>, [ <6, 51> ]>, <<7, 127>, [ <6, 52> ]>, <<7, 129>, [ <6, 54> ]>, <<7, 130>, [ <6, 55> ]>, <<7, 131>, [ <6, 56> ]>, <<7, 132>, [ <6, 57> ]>, <<7, 133>, [ <6, 58> ]>, <<7, 134>, [ <6, 59> ]>, <<7, 136>, [ <6, 62> ]>, <<7, 137>, [ <6, 64> ]>, <<7, 139>, [ <6, 66> ]>, <<7, 143>, [ <6, 8> ]>, <<7, 182>, [ <4, 27> ]>, <<7, 189>, [ <6, 139> ]>, <<7, 239>, [ <6, 96> ]>, <<7, 243>, [ <4, 2>, <6, 100> ]>, <<7, 257>, [ <6, 177> ]>, <<7, 313>, [ <5, 62> ]>, <<7, 333>, [ <6, 203> ]>, <<7, 341>, [ <5, 60> ]>, <<7, 386>, [ <5, 54> ]>, <<7, 413>, [ <5, 101> ]>, <<7, 414>, [ <6, 211> ]>, <<7, 428>, [ <5, 31> ]>, <<7, 430>, [ <6, 189> ]>, <<7, 437>, [ <5, 58> ]>, <<7, 441>, [ <5, 95> ]>, <<7, 456>, [ <6, 187> ]>, <<7, 483>, [ <6, 220> ]>, <<7, 504>, [ <5, 86> ]>, <<7, 505>, [ <6, 292> ]>, <<7, 509>, [ <5, 65> ]>, <<7, 533>, [ <6, 304> ]>, <<7, 565>, [ <6, 307> ]>, <<7, 573>, [ <5, 88> ]>, <<7, 574>, [ <5, 100> ]>, <<7, 595>, [ <6, 313> ]>, <<7, 606>, [ <6, 315> ]>, <<7, 613>, [ <6, 90> ]>, <<7, 614>, [ <6, 91> ]>, <<7, 615>, [ <6, 92> ]>, <<7, 616>, [ <6, 93> ]>, <<7, 617>, [ <6, 94> ]>, <<7, 619>, [ <6, 97> ]>, <<7, 620>, [ <6, 98> ]>, <<7, 621>, [ <6, 99> ]>, <<7, 622>, [ <6, 101> ]>, <<7, 623>, [ <6, 102> ]>, <<7, 624>, [ <6, 103> ]>, <<7, 625>, [ <6, 104> ]>, <<7, 626>, [ <6, 105> ]>, <<7, 627>, [ <6, 106> ]>, <<7, 629>, [ <6, 108> ]>, <<7, 630>, [ <6, 109> ]>, <<7, 631>, [ <6, 110> ]>, <<7, 633>, [ <6, 112> ]>, <<7, 634>, [ <6, 113> ]>, <<7, 635>, [ <6, 114> ]>, <<7, 636>, [ <6, 115> ]>, <<7, 637>, [ <6, 116> ]>, <<7, 638>, [ <6, 117> ]>, <<7, 639>, [ <6, 118> ]>, <<7, 640>, [ <6, 119> ]>, <<7, 643>, [ <6, 122> ]>, <<7, 644>, [ <6, 123> ]>, <<7, 645>, [ <6, 124> ]>, <<7, 646>, [ <6, 125> ]>, <<7, 647>, [ <6, 126> ]>, <<7, 648>, [ <6, 127> ]>, <<7, 649>, [ <6, 128> ]>, <<7, 650>, [ <6, 129> ]>, <<7, 653>, [ <6, 133> ]>, <<7, 654>, [ <6, 134> ]>, <<7, 655>, [ <6, 135> ]>, <<7, 657>, [ <6, 137> ]>, <<7, 658>, [ <6, 138> ]>, <<7, 660>, [ <6, 141> ]>, <<7, 663>, [ <6, 144> ]>, <<7, 664>, [ <6, 145> ]>, <<7, 665>, [ <6, 146> ]>, <<7, 666>, [ <6, 147> ]>, <<7, 667>, [ <6, 148> ]>, <<7, 668>, [ <6, 149> ]>, <<7, 669>, [ <6, 150> ]>, <<7, 670>, [ <6, 152> ]>, <<7, 671>, [ <6, 153> ]>, <<7, 672>, [ <6, 154> ]>, <<7, 673>, [ <6, 155> ]>, <<7, 674>, [ <6, 156> ]>, <<7, 675>, [ <6, 157> ]>, <<7, 676>, [ <6, 158> ]>, <<7, 677>, [ <6, 159> ]>, <<7, 678>, [ <6, 160> ]>, <<7, 679>, [ <6, 161> ]>, <<7, 680>, [ <6, 162> ]>, <<7, 681>, [ <6, 163> ]>, <<7, 682>, [ <6, 164> ]>, <<7, 683>, [ <6, 165> ]>, <<7, 684>, [ <6, 166> ]>, <<7, 685>, [ <6, 167> ]>, <<7, 686>, [ <6, 168> ]>, <<7, 687>, [ <5, 28> ]>, <<7, 688>, [ <6, 170> ]>, <<7, 690>, [ <6, 172> ]>, <<7, 691>, [ <6, 173> ]>, <<7, 692>, [ <6, 174> ]>, <<7, 693>, [ <6, 175> ]>, <<7, 695>, [ <6, 178> ]>, <<7, 696>, [ <6, 179> ]>, <<7, 697>, [ <6, 180> ]>, <<7, 698>, [ <5, 81> ]>, <<7, 699>, [ <6, 183> ]>, <<7, 700>, [ <6, 184> ]>, <<7, 701>, [ <6, 186> ]>, <<7, 703>, [ <6, 190> ]>, <<7, 704>, [ <6, 191> ]>, <<7, 712>, [ <6, 200> ]>, <<7, 713>, [ <6, 201> ]>, <<7, 715>, [ <6, 204> ]>, <<7, 718>, [ <6, 207> ]>, <<7, 719>, [ <6, 208> ]>, <<7, 721>, [ <6, 210> ]>, <<7, 722>, [ <6, 212> ]>, <<7, 723>, [ <5, 59> ]>, <<7, 726>, [ <6, 217> ]>, <<7, 727>, [ <6, 218> ]>, <<7, 729>, [ <6, 221> ]>, <<7, 730>, [ <6, 222> ]>, <<7, 731>, [ <6, 223> ]>, <<7, 732>, [ <6, 224> ]>, <<7, 733>, [ <6, 225> ]>, <<7, 734>, [ <5, 104> ]>, <<7, 735>, [ <6, 227> ]>, <<7, 736>, [ <6, 228> ]>, <<7, 737>, [ <6, 229> ]>, <<7, 738>, [ <6, 230> ]>, <<7, 739>, [ <6, 231> ]>, <<7, 741>, [ <6, 233> ]>, <<7, 745>, [ <6, 237> ]>, <<7, 746>, [ <6, 238> ]>, <<7, 748>, [ <6, 242> ]>, <<7, 749>, [ <6, 243> ]>, <<7, 750>, [ <6, 244> ]>, <<7, 752>, [ <6, 246> ]>, <<7, 754>, [ <6, 249> ]>, <<7, 755>, [ <6, 250> ]>, <<7, 756>, [ <6, 251> ]>, <<7, 758>, [ <6, 253> ]>, <<7, 765>, [ <6, 261> ]>, <<7, 767>, [ <6, 265> ]>, <<7, 768>, [ <5, 37> ]>, <<7, 771>, [ <6, 277> ]>, <<7, 773>, [ <5, 11> ]>, <<7, 775>, [ <5, 98> ]>, <<7, 779>, [ <6, 289> ]>, <<7, 780>, [ <6, 290> ]>, <<7, 783>, [ <5, 51> ]>, <<7, 785>, [ <6, 298> ]>, <<7, 786>, [ <5, 97> ]>, <<7, 787>, [ <6, 302> ]>, <<7, 788>, [ <6, 305> ]>, <<7, 793>, [ <6, 314> ]>, <<7, 794>, [ <6, 317> ]>, <<7, 798>, [ <4, 34> ]>, <<7, 800>, [ <4, 29> ]>, <<7, 806>, [ <4, 13> ]>, <<7, 807>, [ <6, 361> ]>, <<7, 843>, [ <5, 52> ]>, <<7, 854>, [ <5, 80> ]>, <<7, 884>, [ <5, 17> ]>, <<7, 895>, [ <5, 25> ]>, <<7, 965>, [ <5, 73> ]>, <<7, 966>, [ <5, 40> ]>, <<7, 987>, [ <5, 76> ]>, <<7, 988>, [ <5, 55> ]>, <<7, 1072>, [ <5, 107> ]>, <<7, 1076>, [ <5, 13> ]>, <<7, 1090>, [ <5, 33> ]>, <<7, 1101>, [ <5, 112> ]>, <<7, 1107>, [ <5, 136> ]>, <<7, 1114>, [ <5, 111> ]>, <<7, 1124>, [ <5, 83> ]>, <<7, 1131>, [ <5, 114> ]>, <<7, 1138>, [ <5, 32> ]>, <<8, 54>, [ <7, 7> ]>, <<8, 55>, [ <7, 8> ]>, <<8, 56>, [ <7, 9> ]>, <<8, 57>, [ <7, 10> ]>, <<8, 58>, [ <7, 11> ]>, <<8, 59>, [ <7, 12> ]>, <<8, 60>, [ <7, 13> ]>, <<8, 61>, [ <7, 14> ]>, <<8, 62>, [ <7, 15> ]>, <<8, 63>, [ <7, 16> ]>, <<8, 65>, [ <7, 18> ]>, <<8, 66>, [ <7, 19> ]>, <<8, 68>, [ <7, 21> ]>, <<8, 69>, [ <7, 22> ]>, <<8, 70>, [ <7, 23> ]>, <<8, 71>, [ <7, 24> ]>, <<8, 72>, [ <7, 25> ]>, <<8, 74>, [ <7, 27> ]>, <<8, 75>, [ <7, 28> ]>, <<8, 76>, [ <7, 29> ]>, <<8, 77>, [ <7, 30> ]>, <<8, 78>, [ <7, 31> ]>, <<8, 79>, [ <7, 32> ]>, <<8, 80>, [ <7, 33> ]>, <<8, 81>, [ <7, 34> ]>, <<8, 82>, [ <7, 35> ]>, <<8, 83>, [ <7, 36> ]>, <<8, 84>, [ <7, 37> ]>, <<8, 85>, [ <7, 38> ]>, <<8, 87>, [ <7, 40> ]>, <<8, 88>, [ <7, 41> ]>, <<8, 89>, [ <7, 42> ]>, <<8, 90>, [ <7, 43> ]>, <<8, 91>, [ <7, 44> ]>, <<8, 92>, [ <7, 45> ]>, <<8, 93>, [ <7, 46> ]>, <<8, 94>, [ <7, 47> ]>, <<8, 95>, [ <7, 48> ]>, <<8, 96>, [ <7, 49> ]>, <<8, 97>, [ <7, 50> ]>, <<8, 98>, [ <7, 51> ]>, <<8, 99>, [ <7, 52> ]>, <<8, 100>, [ <7, 53> ]>, <<8, 101>, [ <7, 54> ]>, <<8, 103>, [ <7, 56> ]>, <<8, 104>, [ <7, 57> ]>, <<8, 105>, [ <7, 58> ]>, <<8, 106>, [ <7, 59> ]>, <<8, 107>, [ <7, 60> ]>, <<8, 108>, [ <7, 61> ]>, <<8, 109>, [ <7, 62> ]>, <<8, 110>, [ <7, 63> ]>, <<8, 113>, [ <7, 67> ]>, <<8, 114>, [ <7, 68> ]>, <<8, 115>, [ <7, 69> ]>, <<8, 117>, [ <7, 71> ]>, <<8, 118>, [ <7, 72> ]>, <<8, 120>, [ <7, 74> ]>, <<8, 121>, [ <7, 75> ]>, <<8, 122>, [ <7, 76> ]>, <<8, 124>, [ <7, 78> ]>, <<8, 127>, [ <7, 81> ]>, <<8, 128>, [ <7, 82> ]>, <<8, 129>, [ <7, 83> ]>, <<8, 130>, [ <7, 84> ]>, <<8, 147>, [ <5, 92> ]>, <<8, 201>, [ <5, 85> ]>, <<8, 206>, [ <7, 266> ]>, <<8, 230>, [ <7, 342> ]>, <<8, 239>, [ <5, 20> ]>, <<8, 279>, [ <6, 151> ]>, <<8, 286>, [ <6, 185> ]>, <<8, 288>, [ <5, 102>, <7, 182> ]>, <<8, 342>, [ <7, 229> ]>, <<8, 405>, [ <7, 530> ]>, <<8, 418>, [ <6, 214> ]>, <<8, 469>, [ <6, 299> ]>, <<8, 472>, [ <5, 106> ]>, <<8, 493>, [ <6, 131> ]>, <<8, 496>, [ <6, 192> ]>, <<8, 511>, [ <6, 182> ]>, <<8, 512>, [ <7, 559> ]>, <<8, 518>, [ <6, 255> ]>, <<8, 519>, [ <7, 561> ]>, <<8, 533>, [ <6, 284> ]>, <<8, 535>, [ <7, 564> ]>, <<8, 538>, [ <4, 8> ]>, <<8, 551>, [ <6, 268> ]>, <<8, 553>, [ <6, 262> ]>, <<8, 592>, [ <6, 280> ]>, <<8, 593>, [ <7, 446> ]>, <<8, 605>, [ <6, 35> ]>, <<8, 618>, [ <7, 601> ]>, <<8, 626>, [ <7, 605> ]>, <<8, 647>, [ <7, 610> ]>, <<8, 648>, [ <7, 611> ]>, <<8, 651>, [ <6, 316> ]>, <<8, 652>, [ <7, 145> ]>, <<8, 653>, [ <7, 146> ]>, <<8, 654>, [ <7, 147> ]>, <<8, 655>, [ <7, 148> ]>, <<8, 656>, [ <7, 149> ]>, <<8, 657>, [ <7, 150> ]>, <<8, 658>, [ <7, 151> ]>, <<8, 659>, [ <7, 152> ]>, <<8, 660>, [ <7, 153> ]>, <<8, 661>, [ <7, 154> ]>, <<8, 662>, [ <7, 155> ]>, <<8, 663>, [ <7, 156> ]>, <<8, 664>, [ <7, 157> ]>, <<8, 665>, [ <7, 158> ]>, <<8, 666>, [ <7, 159> ]>, <<8, 667>, [ <7, 160> ]>, <<8, 669>, [ <7, 162> ]>, <<8, 670>, [ <7, 163> ]>, <<8, 671>, [ <7, 164> ]>, <<8, 672>, [ <7, 165> ]>, <<8, 673>, [ <7, 166> ]>, <<8, 674>, [ <7, 167> ]>, <<8, 675>, [ <7, 168> ]>, <<8, 676>, [ <7, 169> ]>, <<8, 677>, [ <7, 170> ]>, <<8, 678>, [ <7, 171> ]>, <<8, 679>, [ <7, 172> ]>, <<8, 680>, [ <7, 173> ]>, <<8, 681>, [ <7, 174> ]>, <<8, 682>, [ <7, 175> ]>, <<8, 683>, [ <7, 176> ]>, <<8, 684>, [ <7, 177> ]>, <<8, 685>, [ <7, 178> ]>, <<8, 686>, [ <7, 179> ]>, <<8, 687>, [ <7, 180> ]>, <<8, 689>, [ <7, 183> ]>, <<8, 690>, [ <7, 184> ]>, <<8, 691>, [ <7, 185> ]>, <<8, 693>, [ <7, 187> ]>, <<8, 694>, [ <7, 188> ]>, <<8, 695>, [ <7, 189> ]>, <<8, 696>, [ <7, 190> ]>, <<8, 697>, [ <7, 191> ]>, <<8, 698>, [ <7, 192> ]>, <<8, 699>, [ <7, 193> ]>, <<8, 700>, [ <7, 194> ]>, <<8, 701>, [ <7, 195> ]>, <<8, 702>, [ <7, 196> ]>, <<8, 704>, [ <7, 198> ]>, <<8, 705>, [ <7, 199> ]>, <<8, 708>, [ <7, 202> ]>, <<8, 709>, [ <7, 203> ]>, <<8, 710>, [ <7, 204> ]>, <<8, 711>, [ <7, 205> ]>, <<8, 712>, [ <7, 206> ]>, <<8, 713>, [ <7, 207> ]>, <<8, 714>, [ <7, 208> ]>, <<8, 715>, [ <7, 209> ]>, <<8, 717>, [ <7, 211> ]>, <<8, 718>, [ <7, 212> ]>, <<8, 719>, [ <7, 213> ]>, <<8, 720>, [ <7, 214> ]>, <<8, 722>, [ <7, 216> ]>, <<8, 724>, [ <7, 218> ]>, <<8, 725>, [ <7, 219> ]>, <<8, 726>, [ <7, 220> ]>, <<8, 727>, [ <7, 221> ]>, <<8, 728>, [ <7, 222> ]>, <<8, 729>, [ <7, 223> ]>, <<8, 730>, [ <7, 224> ]>, <<8, 731>, [ <7, 225> ]>, <<8, 732>, [ <7, 226> ]>, <<8, 733>, [ <7, 227> ]>, <<8, 735>, [ <7, 230> ]>, <<8, 736>, [ <7, 231> ]>, <<8, 737>, [ <7, 232> ]>, <<8, 738>, [ <7, 233> ]>, <<8, 739>, [ <7, 234> ]>, <<8, 741>, [ <7, 236> ]>, <<8, 742>, [ <7, 237> ]>, <<8, 743>, [ <7, 238> ]>, <<8, 744>, [ <7, 239> ]>, <<8, 745>, [ <7, 240> ]>, <<8, 746>, [ <7, 241> ]>, <<8, 747>, [ <7, 242> ]>, <<8, 748>, [ <5, 6>, <7, 243> ]>, <<8, 749>, [ <7, 244> ]>, <<8, 750>, [ <7, 245> ]>, <<8, 751>, [ <7, 246> ]>, <<8, 752>, [ <7, 247> ]>, <<8, 753>, [ <7, 248> ]>, <<8, 754>, [ <7, 249> ]>, <<8, 755>, [ <7, 250> ]>, <<8, 756>, [ <7, 251> ]>, <<8, 757>, [ <7, 252> ]>, <<8, 758>, [ <7, 253> ]>, <<8, 759>, [ <7, 254> ]>, <<8, 762>, [ <7, 257> ]>, <<8, 763>, [ <7, 258> ]>, <<8, 764>, [ <7, 259> ]>, <<8, 765>, [ <7, 260> ]>, <<8, 766>, [ <7, 261> ]>, <<8, 767>, [ <7, 262> ]>, <<8, 768>, [ <7, 263> ]>, <<8, 769>, [ <7, 264> ]>, <<8, 771>, [ <7, 267> ]>, <<8, 772>, [ <7, 268> ]>, <<8, 774>, [ <7, 270> ]>, <<8, 775>, [ <7, 271> ]>, <<8, 776>, [ <7, 272> ]>, <<8, 777>, [ <7, 273> ]>, <<8, 778>, [ <7, 274> ]>, <<8, 779>, [ <7, 275> ]>, <<8, 780>, [ <7, 276> ]>, <<8, 781>, [ <7, 277> ]>, <<8, 784>, [ <7, 280> ]>, <<8, 785>, [ <7, 281> ]>, <<8, 786>, [ <7, 282> ]>, <<8, 787>, [ <7, 283> ]>, <<8, 788>, [ <7, 284> ]>, <<8, 789>, [ <7, 285> ]>, <<8, 790>, [ <7, 286> ]>, <<8, 791>, [ <7, 287> ]>, <<8, 792>, [ <7, 288> ]>, <<8, 794>, [ <7, 290> ]>, <<8, 795>, [ <7, 291> ]>, <<8, 796>, [ <7, 292> ]>, <<8, 797>, [ <7, 293> ]>, <<8, 798>, [ <7, 294> ]>, <<8, 799>, [ <7, 295> ]>, <<8, 801>, [ <7, 297> ]>, <<8, 802>, [ <7, 298> ]>, <<8, 804>, [ <7, 300> ]>, <<8, 805>, [ <7, 301> ]>, <<8, 806>, [ <7, 302> ]>, <<8, 807>, [ <7, 303> ]>, <<8, 810>, [ <7, 306> ]>, <<8, 811>, [ <7, 307> ]>, <<8, 812>, [ <7, 308> ]>, <<8, 813>, [ <7, 309> ]>, <<8, 814>, [ <7, 310> ]>, <<8, 815>, [ <7, 311> ]>, <<8, 816>, [ <7, 312> ]>, <<8, 817>, [ <6, 232> ]>, <<8, 818>, [ <7, 314> ]>, <<8, 819>, [ <7, 315> ]>, <<8, 820>, [ <7, 316> ]>, <<8, 821>, [ <7, 317> ]>, <<8, 823>, [ <7, 319> ]>, <<8, 824>, [ <7, 320> ]>, <<8, 826>, [ <7, 322> ]>, <<8, 827>, [ <7, 323> ]>, <<8, 828>, [ <7, 324> ]>, <<8, 829>, [ <7, 325> ]>, <<8, 830>, [ <7, 326> ]>, <<8, 831>, [ <7, 327> ]>, <<8, 832>, [ <7, 328> ]>, <<8, 833>, [ <7, 329> ]>, <<8, 834>, [ <7, 330> ]>, <<8, 835>, [ <7, 331> ]>, <<8, 836>, [ <7, 332> ]>, <<8, 837>, [ <7, 333> ]>, <<8, 838>, [ <7, 334> ]>, <<8, 839>, [ <7, 335> ]>, <<8, 840>, [ <7, 336> ]>, <<8, 841>, [ <7, 337> ]>, <<8, 842>, [ <7, 338> ]>, <<8, 843>, [ <7, 339> ]>, <<8, 845>, [ <6, 198> ]>, <<8, 846>, [ <7, 343> ]>, <<8, 847>, [ <7, 344> ]>, <<8, 848>, [ <7, 345> ]>, <<8, 849>, [ <7, 346> ]>, <<8, 850>, [ <7, 347> ]>, <<8, 851>, [ <7, 348> ]>, <<8, 852>, [ <7, 349> ]>, <<8, 853>, [ <7, 350> ]>, <<8, 855>, [ <7, 352> ]>, <<8, 857>, [ <7, 354> ]>, <<8, 858>, [ <7, 355> ]>, <<8, 861>, [ <7, 358> ]>, <<8, 862>, [ <7, 359> ]>, <<8, 863>, [ <7, 360> ]>, <<8, 864>, [ <7, 361> ]>, <<8, 868>, [ <7, 365> ]>, <<8, 869>, [ <7, 366> ]>, <<8, 870>, [ <7, 367> ]>, <<8, 871>, [ <7, 368> ]>, <<8, 872>, [ <7, 369> ]>, <<8, 873>, [ <7, 370> ]>, <<8, 874>, [ <7, 372> ]>, <<8, 876>, [ <7, 374> ]>, <<8, 877>, [ <7, 375> ]>, <<8, 878>, [ <7, 376> ]>, <<8, 883>, [ <7, 381> ]>, <<8, 884>, [ <7, 382> ]>, <<8, 885>, [ <7, 383> ]>, <<8, 887>, [ <6, 216> ]>, <<8, 890>, [ <7, 390> ]>, <<8, 891>, [ <7, 391> ]>, <<8, 894>, [ <7, 394> ]>, <<8, 895>, [ <7, 395> ]>, <<8, 896>, [ <7, 396> ]>, <<8, 897>, [ <7, 397> ]>, <<8, 898>, [ <7, 398> ]>, <<8, 899>, [ <7, 399> ]>, <<8, 900>, [ <7, 400> ]>, <<8, 901>, [ <7, 401> ]>, <<8, 902>, [ <7, 402> ]>, <<8, 903>, [ <7, 403> ]>, <<8, 905>, [ <7, 405> ]>, <<8, 906>, [ <7, 406> ]>, <<8, 907>, [ <7, 407> ]>, <<8, 908>, [ <7, 408> ]>, <<8, 909>, [ <7, 409> ]>, <<8, 910>, [ <7, 410> ]>, <<8, 911>, [ <7, 411> ]>, <<8, 912>, [ <7, 412> ]>, <<8, 913>, [ <6, 281> ]>, <<8, 914>, [ <7, 414> ]>, <<8, 915>, [ <7, 415> ]>, <<8, 916>, [ <7, 416> ]>, <<8, 917>, [ <7, 417> ]>, <<8, 922>, [ <7, 423> ]>, <<8, 923>, [ <7, 424> ]>, <<8, 924>, [ <7, 425> ]>, <<8, 925>, [ <7, 426> ]>, <<8, 926>, [ <7, 427> ]>, <<8, 927>, [ <6, 61> ]>, <<8, 929>, [ <7, 430> ]>, <<8, 931>, [ <7, 432> ]>, <<8, 932>, [ <7, 433> ]>, <<8, 933>, [ <7, 434> ]>, <<8, 934>, [ <7, 435> ]>, <<8, 935>, [ <6, 171> ]>, <<8, 936>, [ <7, 438> ]>, <<8, 937>, [ <7, 439> ]>, <<8, 938>, [ <7, 440> ]>, <<8, 939>, [ <6, 278> ]>, <<8, 940>, [ <7, 442> ]>, <<8, 941>, [ <7, 443> ]>, <<8, 946>, [ <7, 451> ]>, <<8, 947>, [ <7, 452> ]>, <<8, 949>, [ <7, 455> ]>, <<8, 950>, [ <7, 456> ]>, <<8, 952>, [ <7, 458> ]>, <<8, 953>, [ <7, 459> ]>, <<8, 959>, [ <7, 465> ]>, <<8, 961>, [ <7, 467> ]>, <<8, 962>, [ <7, 468> ]>, <<8, 964>, [ <7, 470> ]>, <<8, 965>, [ <7, 471> ]>, <<8, 971>, [ <7, 477> ]>, <<8, 972>, [ <7, 478> ]>, <<8, 974>, [ <7, 480> ]>, <<8, 976>, [ <7, 482> ]>, <<8, 977>, [ <7, 483> ]>, <<8, 979>, [ <7, 485> ]>, <<8, 980>, [ <7, 486> ]>, <<8, 981>, [ <7, 487> ]>, <<8, 983>, [ <7, 489> ]>, <<8, 989>, [ <7, 496> ]>, <<8, 990>, [ <7, 497> ]>, <<8, 991>, [ <7, 498> ]>, <<8, 992>, [ <7, 499> ]>, <<8, 993>, [ <7, 501> ]>, <<8, 994>, [ <7, 502> ]>, <<8, 995>, [ <7, 503> ]>, <<8, 996>, [ <6, 193> ]>, <<8, 997>, [ <7, 505> ]>, <<8, 1001>, [ <6, 209> ]>, <<8, 1006>, [ <7, 516> ]>, <<8, 1007>, [ <7, 517> ]>, <<8, 1008>, [ <7, 518> ]>, <<8, 1009>, [ <7, 519> ]>, <<8, 1010>, [ <7, 520> ]>, <<8, 1011>, [ <7, 521> ]>, <<8, 1012>, [ <7, 522> ]>, <<8, 1013>, [ <7, 523> ]>, <<8, 1014>, [ <7, 524> ]>, <<8, 1015>, [ <7, 525> ]>, <<8, 1016>, [ <7, 526> ]>, <<8, 1017>, [ <7, 527> ]>, <<8, 1018>, [ <7, 528> ]>, <<8, 1019>, [ <7, 529> ]>, <<8, 1020>, [ <7, 531> ]>, <<8, 1022>, [ <7, 533> ]>, <<8, 1023>, [ <7, 534> ]>, <<8, 1024>, [ <7, 535> ]>, <<8, 1025>, [ <7, 536> ]>, <<8, 1031>, [ <7, 542> ]>, <<8, 1033>, [ <7, 544> ]>, <<8, 1035>, [ <7, 546> ]>, <<8, 1036>, [ <7, 547> ]>, <<8, 1038>, [ <7, 549> ]>, <<8, 1039>, [ <7, 550> ]>, <<8, 1040>, [ <7, 551> ]>, <<8, 1042>, [ <7, 554> ]>, <<8, 1044>, [ <7, 556> ]>, <<8, 1046>, [ <7, 558> ]>, <<8, 1049>, [ <7, 565> ]>, <<8, 1050>, [ <7, 566> ]>, <<8, 1052>, [ <7, 568> ]>, <<8, 1057>, [ <6, 140> ]>, <<8, 1058>, [ <6, 226> ]>, <<8, 1061>, [ <7, 577> ]>, <<8, 1065>, [ <7, 581> ]>, <<8, 1066>, [ <7, 582> ]>, <<8, 1071>, [ <7, 587> ]>, <<8, 1074>, [ <7, 592> ]>, <<8, 1075>, [ <7, 593> ]>, <<8, 1076>, [ <7, 594> ]>, <<8, 1077>, [ <7, 595> ]>, <<8, 1080>, [ <7, 598> ]>, <<8, 1081>, [ <7, 600> ]>, <<8, 1083>, [ <7, 603> ]>, <<8, 1084>, [ <7, 604> ]>, <<8, 1085>, [ <7, 606> ]>, <<8, 1094>, [ <4, 11> ]>, <<8, 1102>, [ <7, 795> ]>, <<8, 1105>, [ <5, 90>, <7, 798> ]>, <<8, 1107>, [ <5, 96> ]>, <<8, 1113>, [ <5, 38> ]>, <<8, 1114>, [ <7, 807> ]>, <<8, 1122>, [ <6, 264> ]>, <<8, 1125>, [ <6, 303> ]>, <<8, 1130>, [ <5, 89> ]>, <<8, 1142>, [ <5, 30> ]>, <<8, 1145>, [ <5, 108> ]>, <<8, 1168>, [ <7, 812> ]>, <<8, 1169>, [ <7, 813> ]>, <<8, 1170>, [ <7, 814> ]>, <<8, 1172>, [ <7, 816> ]>, <<8, 1173>, [ <7, 817> ]>, <<8, 1174>, [ <7, 818> ]>, <<8, 1175>, [ <7, 819> ]>, <<8, 1176>, [ <7, 820> ]>, <<8, 1178>, [ <7, 822> ]>, <<8, 1179>, [ <7, 823> ]>, <<8, 1234>, [ <7, 824> ]>, <<8, 1235>, [ <7, 825> ]>, <<8, 1236>, [ <7, 826> ]>, <<8, 1237>, [ <7, 827> ]>, <<8, 1238>, [ <7, 828> ]>, <<8, 1284>, [ <6, 206> ]>, <<8, 1297>, [ <6, 121> ]>, <<8, 1303>, [ <6, 235> ]>, <<8, 1308>, [ <6, 120> ]>, <<8, 1350>, [ <6, 205> ]>, <<8, 1367>, [ <6, 234> ]>, <<8, 1368>, [ <6, 44> ]>, <<8, 1413>, [ <6, 195> ]>, <<8, 1428>, [ <6, 213> ]>, <<8, 1435>, [ <6, 111> ]>, <<8, 1442>, [ <6, 95> ]>, <<8, 1487>, [ <6, 136> ]>, <<8, 1504>, [ <6, 197> ]>, <<8, 1505>, [ <6, 215> ]>, <<8, 1588>, [ <6, 259> ]>, <<8, 1614>, [ <6, 263> ]>, <<8, 1618>, [ <6, 254> ]>, <<8, 1621>, [ <6, 283> ]>, <<8, 1623>, [ <6, 270> ]>, <<8, 1630>, [ <6, 276> ]>, <<8, 1634>, [ <6, 247> ]>, <<8, 1651>, [ <6, 28> ]>, <<8, 1661>, [ <5, 115> ]>, <<8, 1664>, [ <6, 288> ]>, <<8, 1665>, [ <6, 297> ]>, <<8, 1666>, [ <6, 181> ]>, <<8, 1667>, [ <6, 199> ]>, <<8, 1670>, [ <6, 267> ]>, <<8, 1672>, [ <6, 50> ]>, <<8, 1679>, [ <6, 65> ]>, <<8, 1699>, [ <6, 451> ]>, <<8, 1711>, [ <6, 107> ]>, <<8, 1716>, [ <6, 291> ]>, <<8, 1746>, [ <6, 176> ]>, <<8, 1759>, [ <6, 293> ]>, <<8, 1760>, [ <6, 286> ]>, <<8, 1761>, [ <6, 143> ]>, <<8, 1763>, [ <6, 241> ]>, <<8, 1764>, [ <6, 130> ]>, <<8, 1765>, [ <6, 294> ]>, <<8, 1767>, [ <6, 258> ]>, <<8, 1769>, [ <6, 13> ]>, <<8, 1771>, [ <6, 188> ]>, <<8, 1773>, [ <6, 26> ]>, <<8, 1774>, [ <6, 169> ]>, <<8, 1778>, [ <6, 33> ]>, <<8, 1785>, [ <6, 68> ]>, <<8, 1804>, [ <6, 132> ]>, <<8, 1835>, [ <6, 256> ]>, <<8, 1901>, [ <6, 196> ]>, <<9, 19>, [ <8, 3> ]>, <<9, 20>, [ <8, 4> ]>, <<9, 21>, [ <8, 5> ]>, <<9, 22>, [ <8, 6> ]>, <<9, 23>, [ <8, 7> ]>, <<9, 24>, [ <8, 8> ]>, <<9, 25>, [ <8, 9> ]>, <<9, 26>, [ <8, 10> ]>, <<9, 27>, [ <8, 11> ]>, <<9, 28>, [ <8, 12> ]>, <<9, 29>, [ <8, 13> ]>, <<9, 30>, [ <8, 14> ]>, <<9, 31>, [ <8, 15> ]>, <<9, 32>, [ <8, 16> ]>, <<9, 33>, [ <8, 17> ]>, <<9, 34>, [ <8, 18> ]>, <<9, 35>, [ <8, 19> ]>, <<9, 36>, [ <8, 20> ]>, <<9, 37>, [ <8, 21> ]>, <<9, 38>, [ <8, 22> ]>, <<9, 39>, [ <8, 23> ]>, <<9, 40>, [ <8, 24> ]>, <<9, 41>, [ <8, 25> ]>, <<9, 42>, [ <8, 26> ]>, <<9, 43>, [ <8, 27> ]>, <<9, 44>, [ <8, 28> ]>, <<9, 45>, [ <8, 29> ]>, <<9, 46>, [ <8, 30> ]>, <<9, 49>, [ <8, 33> ]>, <<9, 50>, [ <8, 34> ]>, <<9, 52>, [ <8, 36> ]>, <<9, 53>, [ <8, 37> ]>, <<9, 54>, [ <8, 38> ]>, <<9, 55>, [ <8, 39> ]>, <<9, 56>, [ <8, 40> ]>, <<9, 57>, [ <8, 41> ]>, <<9, 59>, [ <8, 43> ]>, <<9, 60>, [ <8, 44> ]>, <<9, 61>, [ <8, 45> ]>, <<9, 62>, [ <8, 46> ]>, <<9, 63>, [ <8, 47> ]>, <<9, 65>, [ <8, 49> ]>, <<9, 66>, [ <8, 50> ]>, <<9, 68>, [ <8, 52> ]>, <<9, 85>, [ <6, 240> ]>, <<9, 106>, [ <6, 275> ]>, <<9, 184>, [ <6, 248> ]>, <<9, 212>, [ <7, 436> ]>, <<9, 213>, [ <8, 470> ]>, <<9, 218>, [ <5, 103> ]>, <<9, 223>, [ <7, 371> ]>, <<9, 243>, [ <6, 266> ]>, <<9, 247>, [ <8, 557> ]>, <<9, 274>, [ <7, 445> ]>, <<9, 276>, [ <7, 388> ]>, <<9, 279>, [ <7, 449> ]>, <<9, 294>, [ <8, 617> ]>, <<9, 323>, [ <8, 631> ]>, <<9, 336>, [ <8, 134> ]>, <<9, 337>, [ <8, 135> ]>, <<9, 338>, [ <8, 136> ]>, <<9, 339>, [ <8, 137> ]>, <<9, 340>, [ <8, 138> ]>, <<9, 341>, [ <8, 139> ]>, <<9, 342>, [ <8, 140> ]>, <<9, 343>, [ <8, 141> ]>, <<9, 344>, [ <8, 142> ]>, <<9, 345>, [ <8, 143> ]>, <<9, 347>, [ <8, 145> ]>, <<9, 348>, [ <8, 146> ]>, <<9, 349>, [ <6, 202>, <8, 147> ]>, <<9, 350>, [ <8, 148> ]>, <<9, 351>, [ <8, 149> ]>, <<9, 352>, [ <8, 150> ]>, <<9, 353>, [ <8, 151> ]>, <<9, 354>, [ <8, 152> ]>, <<9, 355>, [ <8, 153> ]>, <<9, 356>, [ <8, 154> ]>, <<9, 357>, [ <8, 155> ]>, <<9, 358>, [ <8, 156> ]>, <<9, 359>, [ <8, 157> ]>, <<9, 360>, [ <8, 158> ]>, <<9, 361>, [ <8, 159> ]>, <<9, 362>, [ <8, 160> ]>, <<9, 363>, [ <8, 161> ]>, <<9, 364>, [ <8, 162> ]>, <<9, 365>, [ <8, 163> ]>, <<9, 366>, [ <8, 164> ]>, <<9, 367>, [ <8, 165> ]>, <<9, 368>, [ <8, 166> ]>, <<9, 369>, [ <8, 167> ]>, <<9, 370>, [ <8, 168> ]>, <<9, 371>, [ <8, 169> ]>, <<9, 372>, [ <8, 170> ]>, <<9, 373>, [ <8, 171> ]>, <<9, 374>, [ <8, 172> ]>, <<9, 375>, [ <8, 173> ]>, <<9, 376>, [ <8, 174> ]>, <<9, 377>, [ <8, 175> ]>, <<9, 378>, [ <8, 176> ]>, <<9, 379>, [ <8, 177> ]>, <<9, 380>, [ <8, 178> ]>, <<9, 381>, [ <8, 179> ]>, <<9, 382>, [ <8, 180> ]>, <<9, 383>, [ <8, 181> ]>, <<9, 385>, [ <8, 183> ]>, <<9, 386>, [ <8, 184> ]>, <<9, 387>, [ <8, 185> ]>, <<9, 388>, [ <8, 186> ]>, <<9, 389>, [ <8, 187> ]>, <<9, 390>, [ <8, 188> ]>, <<9, 391>, [ <8, 189> ]>, <<9, 392>, [ <8, 190> ]>, <<9, 393>, [ <8, 191> ]>, <<9, 394>, [ <8, 192> ]>, <<9, 395>, [ <8, 193> ]>, <<9, 396>, [ <8, 194> ]>, <<9, 397>, [ <8, 195> ]>, <<9, 398>, [ <8, 196> ]>, <<9, 399>, [ <8, 197> ]>, <<9, 400>, [ <8, 198> ]>, <<9, 401>, [ <8, 199> ]>, <<9, 402>, [ <8, 200> ]>, <<9, 403>, [ <6, 219>, <8, 201> ]>, <<9, 404>, [ <8, 202> ]>, <<9, 405>, [ <8, 203> ]>, <<9, 407>, [ <8, 205> ]>, <<9, 408>, [ <8, 206> ]>, <<9, 409>, [ <8, 207> ]>, <<9, 410>, [ <8, 208> ]>, <<9, 411>, [ <8, 209> ]>, <<9, 412>, [ <8, 210> ]>, <<9, 414>, [ <8, 212> ]>, <<9, 415>, [ <8, 213> ]>, <<9, 416>, [ <8, 214> ]>, <<9, 417>, [ <8, 215> ]>, <<9, 418>, [ <8, 216> ]>, <<9, 419>, [ <8, 217> ]>, <<9, 420>, [ <8, 218> ]>, <<9, 421>, [ <8, 219> ]>, <<9, 422>, [ <8, 220> ]>, <<9, 423>, [ <8, 221> ]>, <<9, 424>, [ <8, 222> ]>, <<9, 425>, [ <8, 223> ]>, <<9, 426>, [ <8, 224> ]>, <<9, 427>, [ <8, 225> ]>, <<9, 428>, [ <8, 226> ]>, <<9, 429>, [ <8, 227> ]>, <<9, 430>, [ <8, 228> ]>, <<9, 432>, [ <8, 230> ]>, <<9, 433>, [ <8, 231> ]>, <<9, 434>, [ <8, 232> ]>, <<9, 435>, [ <8, 233> ]>, <<9, 436>, [ <8, 234> ]>, <<9, 437>, [ <8, 235> ]>, <<9, 438>, [ <8, 236> ]>, <<9, 439>, [ <8, 237> ]>, <<9, 441>, [ <6, 53>, <8, 239> ]>, <<9, 442>, [ <8, 240> ]>, <<9, 444>, [ <8, 242> ]>, <<9, 445>, [ <8, 243> ]>, <<9, 446>, [ <8, 244> ]>, <<9, 447>, [ <8, 245> ]>, <<9, 449>, [ <8, 247> ]>, <<9, 450>, [ <8, 248> ]>, <<9, 451>, [ <8, 249> ]>, <<9, 452>, [ <8, 250> ]>, <<9, 453>, [ <8, 251> ]>, <<9, 454>, [ <8, 252> ]>, <<9, 455>, [ <8, 253> ]>, <<9, 456>, [ <8, 254> ]>, <<9, 457>, [ <8, 255> ]>, <<9, 458>, [ <8, 256> ]>, <<9, 460>, [ <8, 258> ]>, <<9, 461>, [ <8, 259> ]>, <<9, 462>, [ <8, 260> ]>, <<9, 463>, [ <8, 261> ]>, <<9, 464>, [ <8, 262> ]>, <<9, 465>, [ <8, 263> ]>, <<9, 466>, [ <8, 264> ]>, <<9, 468>, [ <8, 266> ]>, <<9, 469>, [ <8, 267> ]>, <<9, 470>, [ <8, 268> ]>, <<9, 471>, [ <8, 269> ]>, <<9, 472>, [ <8, 270> ]>, <<9, 473>, [ <8, 271> ]>, <<9, 474>, [ <8, 272> ]>, <<9, 475>, [ <8, 273> ]>, <<9, 476>, [ <8, 274> ]>, <<9, 477>, [ <8, 275> ]>, <<9, 478>, [ <8, 276> ]>, <<9, 480>, [ <7, 404> ]>, <<9, 481>, [ <8, 280> ]>, <<9, 482>, [ <8, 281> ]>, <<9, 483>, [ <8, 282> ]>, <<9, 484>, [ <8, 283> ]>, <<9, 485>, [ <8, 284> ]>, <<9, 486>, [ <8, 285> ]>, <<9, 487>, [ <7, 460> ]>, <<9, 488>, [ <8, 287> ]>, <<9, 489>, [ <6, 285>, <8, 288> ]>, <<9, 495>, [ <8, 294> ]>, <<9, 496>, [ <8, 295> ]>, <<9, 497>, [ <8, 296> ]>, <<9, 499>, [ <8, 298> ]>, <<9, 500>, [ <8, 299> ]>, <<9, 502>, [ <8, 301> ]>, <<9, 503>, [ <8, 302> ]>, <<9, 504>, [ <8, 303> ]>, <<9, 505>, [ <8, 304> ]>, <<9, 507>, [ <8, 306> ]>, <<9, 508>, [ <8, 307> ]>, <<9, 509>, [ <8, 308> ]>, <<9, 510>, [ <8, 309> ]>, <<9, 511>, [ <8, 310> ]>, <<9, 512>, [ <8, 311> ]>, <<9, 514>, [ <8, 313> ]>, <<9, 515>, [ <8, 314> ]>, <<9, 516>, [ <8, 315> ]>, <<9, 517>, [ <8, 316> ]>, <<9, 518>, [ <8, 317> ]>, <<9, 519>, [ <8, 318> ]>, <<9, 521>, [ <8, 320> ]>, <<9, 522>, [ <8, 321> ]>, <<9, 523>, [ <8, 322> ]>, <<9, 524>, [ <8, 323> ]>, <<9, 527>, [ <8, 326> ]>, <<9, 528>, [ <8, 327> ]>, <<9, 529>, [ <8, 328> ]>, <<9, 533>, [ <8, 332> ]>, <<9, 534>, [ <8, 333> ]>, <<9, 535>, [ <8, 334> ]>, <<9, 536>, [ <8, 335> ]>, <<9, 537>, [ <8, 336> ]>, <<9, 538>, [ <8, 337> ]>, <<9, 539>, [ <8, 338> ]>, <<9, 541>, [ <8, 340> ]>, <<9, 542>, [ <8, 341> ]>, <<9, 543>, [ <8, 342> ]>, <<9, 544>, [ <8, 343> ]>, <<9, 546>, [ <8, 345> ]>, <<9, 547>, [ <8, 346> ]>, <<9, 548>, [ <8, 347> ]>, <<9, 550>, [ <8, 349> ]>, <<9, 551>, [ <8, 350> ]>, <<9, 552>, [ <8, 351> ]>, <<9, 553>, [ <8, 352> ]>, <<9, 554>, [ <8, 353> ]>, <<9, 555>, [ <8, 354> ]>, <<9, 557>, [ <8, 356> ]>, <<9, 558>, [ <8, 357> ]>, <<9, 559>, [ <8, 358> ]>, <<9, 560>, [ <8, 359> ]>, <<9, 561>, [ <8, 360> ]>, <<9, 562>, [ <8, 361> ]>, <<9, 567>, [ <8, 367> ]>, <<9, 568>, [ <8, 368> ]>, <<9, 569>, [ <8, 369> ]>, <<9, 570>, [ <8, 370> ]>, <<9, 573>, [ <8, 373> ]>, <<9, 574>, [ <8, 374> ]>, <<9, 575>, [ <8, 375> ]>, <<9, 576>, [ <8, 376> ]>, <<9, 577>, [ <8, 377> ]>, <<9, 578>, [ <8, 378> ]>, <<9, 579>, [ <8, 379> ]>, <<9, 580>, [ <8, 380> ]>, <<9, 581>, [ <8, 381> ]>, <<9, 582>, [ <8, 382> ]>, <<9, 583>, [ <8, 383> ]>, <<9, 584>, [ <8, 384> ]>, <<9, 585>, [ <8, 385> ]>, <<9, 586>, [ <8, 386> ]>, <<9, 587>, [ <8, 387> ]>, <<9, 588>, [ <8, 388> ]>, <<9, 589>, [ <8, 389> ]>, <<9, 590>, [ <8, 390> ]>, <<9, 591>, [ <8, 391> ]>, <<9, 592>, [ <8, 392> ]>, <<9, 593>, [ <8, 393> ]>, <<9, 594>, [ <8, 394> ]>, <<9, 595>, [ <8, 395> ]>, <<9, 596>, [ <8, 396> ]>, <<9, 597>, [ <8, 397> ]>, <<9, 598>, [ <8, 398> ]>, <<9, 599>, [ <8, 399> ]>, <<9, 600>, [ <8, 400> ]>, <<9, 601>, [ <8, 401> ]>, <<9, 602>, [ <8, 402> ]>, <<9, 603>, [ <8, 403> ]>, <<9, 604>, [ <8, 404> ]>, <<9, 605>, [ <8, 405> ]>, <<9, 606>, [ <8, 406> ]>, <<9, 607>, [ <8, 407> ]>, <<9, 608>, [ <8, 408> ]>, <<9, 609>, [ <8, 409> ]>, <<9, 610>, [ <8, 410> ]>, <<9, 611>, [ <8, 411> ]>, <<9, 614>, [ <8, 414> ]>, <<9, 615>, [ <8, 415> ]>, <<9, 616>, [ <8, 416> ]>, <<9, 617>, [ <8, 417> ]>, <<9, 618>, [ <7, 479> ]>, <<9, 621>, [ <8, 421> ]>, <<9, 622>, [ <8, 422> ]>, <<9, 623>, [ <8, 423> ]>, <<9, 624>, [ <8, 424> ]>, <<9, 626>, [ <8, 426> ]>, <<9, 627>, [ <8, 427> ]>, <<9, 628>, [ <8, 428> ]>, <<9, 631>, [ <8, 431> ]>, <<9, 632>, [ <8, 432> ]>, <<9, 633>, [ <8, 433> ]>, <<9, 634>, [ <8, 434> ]>, <<9, 635>, [ <8, 435> ]>, <<9, 636>, [ <8, 436> ]>, <<9, 637>, [ <8, 437> ]>, <<9, 638>, [ <8, 438> ]>, <<9, 639>, [ <8, 439> ]>, <<9, 640>, [ <8, 440> ]>, <<9, 641>, [ <8, 441> ]>, <<9, 642>, [ <8, 442> ]>, <<9, 643>, [ <8, 443> ]>, <<9, 646>, [ <8, 446> ]>, <<9, 648>, [ <8, 448> ]>, <<9, 649>, [ <8, 449> ]>, <<9, 650>, [ <8, 450> ]>, <<9, 651>, [ <8, 451> ]>, <<9, 652>, [ <8, 452> ]>, <<9, 653>, [ <8, 453> ]>, <<9, 654>, [ <8, 454> ]>, <<9, 655>, [ <8, 455> ]>, <<9, 656>, [ <8, 456> ]>, <<9, 657>, [ <8, 457> ]>, <<9, 658>, [ <8, 458> ]>, <<9, 660>, [ <8, 460> ]>, <<9, 661>, [ <8, 461> ]>, <<9, 662>, [ <8, 462> ]>, <<9, 663>, [ <8, 463> ]>, <<9, 664>, [ <8, 464> ]>, <<9, 665>, [ <8, 465> ]>, <<9, 666>, [ <8, 466> ]>, <<9, 667>, [ <8, 467> ]>, <<9, 668>, [ <8, 468> ]>, <<9, 669>, [ <7, 512> ]>, <<9, 670>, [ <8, 471> ]>, <<9, 671>, [ <6, 252>, <8, 472> ]>, <<9, 672>, [ <8, 473> ]>, <<9, 673>, [ <8, 474> ]>, <<9, 674>, [ <8, 475> ]>, <<9, 675>, [ <8, 476> ]>, <<9, 676>, [ <8, 477> ]>, <<9, 677>, [ <8, 478> ]>, <<9, 678>, [ <8, 479> ]>, <<9, 680>, [ <8, 481> ]>, <<9, 681>, [ <8, 482> ]>, <<9, 682>, [ <8, 483> ]>, <<9, 683>, [ <8, 484> ]>, <<9, 684>, [ <8, 485> ]>, <<9, 686>, [ <8, 487> ]>, <<9, 687>, [ <8, 488> ]>, <<9, 688>, [ <8, 489> ]>, <<9, 692>, [ <7, 299> ]>, <<9, 695>, [ <7, 461> ]>, <<9, 699>, [ <8, 500> ]>, <<9, 700>, [ <8, 501> ]>, <<9, 702>, [ <8, 503> ]>, <<9, 703>, [ <8, 504> ]>, <<9, 704>, [ <8, 505> ]>, <<9, 705>, [ <8, 506> ]>, <<9, 706>, [ <8, 507> ]>, <<9, 708>, [ <8, 509> ]>, <<9, 709>, [ <8, 510> ]>, <<9, 710>, [ <7, 217> ]>, <<9, 711>, [ <8, 512> ]>, <<9, 712>, [ <8, 513> ]>, <<9, 713>, [ <8, 514> ]>, <<9, 716>, [ <8, 517> ]>, <<9, 717>, [ <7, 321> ]>, <<9, 718>, [ <8, 519> ]>, <<9, 719>, [ <8, 520> ]>, <<9, 720>, [ <8, 521> ]>, <<9, 721>, [ <8, 522> ]>, <<9, 722>, [ <8, 523> ]>, <<9, 724>, [ <8, 525> ]>, <<9, 725>, [ <8, 526> ]>, <<9, 726>, [ <8, 527> ]>, <<9, 730>, [ <8, 531> ]>, <<9, 731>, [ <8, 532> ]>, <<9, 732>, [ <7, 475> ]>, <<9, 734>, [ <8, 535> ]>, <<9, 737>, [ <5, 22>, <8, 538> ]>, <<9, 740>, [ <8, 541> ]>, <<9, 741>, [ <8, 542> ]>, <<9, 742>, [ <8, 543> ]>, <<9, 743>, [ <8, 544> ]>, <<9, 744>, [ <8, 545> ]>, <<9, 745>, [ <8, 546> ]>, <<9, 746>, [ <8, 547> ]>, <<9, 747>, [ <8, 548> ]>, <<9, 748>, [ <8, 549> ]>, <<9, 750>, [ <7, 463> ]>, <<9, 752>, [ <7, 356> ]>, <<9, 755>, [ <8, 556> ]>, <<9, 757>, [ <8, 559> ]>, <<9, 758>, [ <8, 560> ]>, <<9, 760>, [ <8, 562> ]>, <<9, 761>, [ <8, 563> ]>, <<9, 762>, [ <8, 564> ]>, <<9, 763>, [ <8, 565> ]>, <<9, 764>, [ <8, 566> ]>, <<9, 765>, [ <8, 567> ]>, <<9, 766>, [ <8, 568> ]>, <<9, 767>, [ <8, 569> ]>, <<9, 768>, [ <8, 570> ]>, <<9, 769>, [ <8, 571> ]>, <<9, 771>, [ <8, 573> ]>, <<9, 772>, [ <8, 574> ]>, <<9, 773>, [ <8, 575> ]>, <<9, 774>, [ <8, 576> ]>, <<9, 775>, [ <8, 577> ]>, <<9, 776>, [ <8, 578> ]>, <<9, 780>, [ <8, 582> ]>, <<9, 781>, [ <8, 583> ]>, <<9, 782>, [ <8, 584> ]>, <<9, 783>, [ <8, 585> ]>, <<9, 784>, [ <8, 586> ]>, <<9, 788>, [ <8, 590> ]>, <<9, 789>, [ <8, 591> ]>, <<9, 790>, [ <7, 596> ]>, <<9, 791>, [ <8, 593> ]>, <<9, 792>, [ <8, 594> ]>, <<9, 793>, [ <8, 595> ]>, <<9, 794>, [ <8, 596> ]>, <<9, 795>, [ <8, 597> ]>, <<9, 796>, [ <8, 598> ]>, <<9, 797>, [ <8, 599> ]>, <<9, 801>, [ <8, 603> ]>, <<9, 803>, [ <7, 79> ]>, <<9, 807>, [ <8, 609> ]>, <<9, 808>, [ <8, 610> ]>, <<9, 809>, [ <8, 611> ]>, <<9, 810>, [ <8, 612> ]>, <<9, 811>, [ <8, 613> ]>, <<9, 812>, [ <8, 614> ]>, <<9, 813>, [ <8, 615> ]>, <<9, 814>, [ <8, 616> ]>, <<9, 815>, [ <8, 618> ]>, <<9, 817>, [ <8, 620> ]>, <<9, 818>, [ <8, 621> ]>, <<9, 819>, [ <8, 622> ]>, <<9, 820>, [ <8, 624> ]>, <<9, 821>, [ <8, 625> ]>, <<9, 822>, [ <8, 626> ]>, <<9, 824>, [ <8, 628> ]>, <<9, 825>, [ <8, 630> ]>, <<9, 829>, [ <8, 636> ]>, <<9, 830>, [ <8, 637> ]>, <<9, 831>, [ <8, 638> ]>, <<9, 832>, [ <8, 639> ]>, <<9, 833>, [ <8, 640> ]>, <<9, 834>, [ <8, 641> ]>, <<9, 835>, [ <8, 642> ]>, <<9, 837>, [ <8, 644> ]>, <<9, 838>, [ <8, 645> ]>, <<9, 839>, [ <8, 646> ]>, <<9, 840>, [ <8, 647> ]>, <<9, 841>, [ <8, 648> ]>, <<9, 842>, [ <8, 649> ]>, <<9, 843>, [ <8, 650> ]>, <<9, 844>, [ <7, 608> ]>, <<9, 846>, [ <5, 110> ]>, <<9, 851>, [ <5, 109> ]>, <<9, 855>, [ <8, 1089> ]>, <<9, 856>, [ <8, 1090> ]>, <<9, 860>, [ <5, 34> ]>, <<9, 868>, [ <8, 1102> ]>, <<9, 871>, [ <6, 257>, <8, 1105> ]>, <<9, 873>, [ <6, 279> ]>, <<9, 879>, [ <6, 71> ]>, <<9, 883>, [ <7, 500> ]>, <<9, 885>, [ <7, 562> ]>, <<9, 887>, [ <7, 607> ]>, <<9, 894>, [ <6, 271> ]>, <<9, 895>, [ <6, 272> ]>, <<9, 900>, [ <7, 553> ]>, <<9, 903>, [ <6, 269> ]>, <<9, 904>, [ <7, 796> ]>, <<9, 909>, [ <6, 274> ]>, <<9, 920>, [ <7, 588> ]>, <<9, 926>, [ <6, 63> ]>, <<9, 939>, [ <8, 1120> ]>, <<9, 940>, [ <8, 1121> ]>, <<9, 941>, [ <7, 363> ]>, <<9, 942>, [ <8, 1123> ]>, <<9, 944>, [ <7, 532> ]>, <<9, 945>, [ <8, 1126> ]>, <<9, 946>, [ <8, 1127> ]>, <<9, 947>, [ <8, 1128> ]>, <<9, 948>, [ <8, 1129> ]>, <<9, 949>, [ <6, 142>, <8, 1130> ]>, <<9, 953>, [ <8, 1134> ]>, <<9, 954>, [ <8, 1135> ]>, <<9, 955>, [ <8, 1136> ]>, <<9, 956>, [ <8, 1137> ]>, <<9, 958>, [ <8, 1139> ]>, <<9, 959>, [ <8, 1140> ]>, <<9, 960>, [ <8, 1141> ]>, <<9, 961>, [ <6, 67> ]>, <<9, 964>, [ <6, 260> ]>, <<9, 972>, [ <8, 1153> ]>, <<9, 973>, [ <8, 1154> ]>, <<9, 974>, [ <8, 1155> ]>, <<9, 975>, [ <8, 1156> ]>, <<9, 976>, [ <8, 1157> ]>, <<9, 977>, [ <8, 1158> ]>, <<9, 978>, [ <8, 1159> ]>, <<9, 979>, [ <8, 1160> ]>, <<9, 980>, [ <8, 1161> ]>, <<9, 981>, [ <8, 1162> ]>, <<9, 982>, [ <8, 1163> ]>, <<9, 983>, [ <8, 1164> ]>, <<9, 984>, [ <8, 1165> ]>, <<9, 1057>, [ <8, 1180> ]>, <<9, 1058>, [ <8, 1181> ]>, <<9, 1059>, [ <8, 1182> ]>, <<9, 1060>, [ <8, 1183> ]>, <<9, 1061>, [ <8, 1184> ]>, <<9, 1062>, [ <8, 1185> ]>, <<9, 1063>, [ <8, 1186> ]>, <<9, 1064>, [ <8, 1187> ]>, <<9, 1065>, [ <8, 1188> ]>, <<9, 1066>, [ <8, 1189> ]>, <<9, 1067>, [ <8, 1190> ]>, <<9, 1068>, [ <8, 1191> ]>, <<9, 1069>, [ <8, 1192> ]>, <<9, 1070>, [ <8, 1193> ]>, <<9, 1071>, [ <8, 1194> ]>, <<9, 1072>, [ <8, 1195> ]>, <<9, 1073>, [ <8, 1196> ]>, <<9, 1074>, [ <8, 1197> ]>, <<9, 1075>, [ <8, 1198> ]>, <<9, 1076>, [ <8, 1199> ]>, <<9, 1077>, [ <8, 1200> ]>, <<9, 1078>, [ <8, 1201> ]>, <<9, 1079>, [ <8, 1202> ]>, <<9, 1080>, [ <8, 1203> ]>, <<9, 1081>, [ <8, 1204> ]>, <<9, 1082>, [ <8, 1205> ]>, <<9, 1083>, [ <8, 1206> ]>, <<9, 1084>, [ <8, 1207> ]>, <<9, 1085>, [ <8, 1208> ]>, <<9, 1086>, [ <8, 1209> ]>, <<9, 1087>, [ <8, 1210> ]>, <<9, 1088>, [ <8, 1211> ]>, <<9, 1089>, [ <8, 1212> ]>, <<9, 1090>, [ <8, 1213> ]>, <<9, 1091>, [ <8, 1214> ]>, <<9, 1092>, [ <8, 1215> ]>, <<9, 1093>, [ <8, 1216> ]>, <<9, 1094>, [ <8, 1217> ]>, <<9, 1095>, [ <8, 1218> ]>, <<9, 1097>, [ <8, 1220> ]>, <<9, 1098>, [ <8, 1221> ]>, <<9, 1099>, [ <8, 1222> ]>, <<9, 1100>, [ <8, 1223> ]>, <<9, 1101>, [ <8, 1224> ]>, <<9, 1102>, [ <8, 1225> ]>, <<9, 1103>, [ <8, 1226> ]>, <<9, 1104>, [ <8, 1227> ]>, <<9, 1106>, [ <8, 1229> ]>, <<9, 1107>, [ <8, 1230> ]>, <<9, 1109>, [ <8, 1232> ]>, <<9, 1142>, [ <8, 1241> ]>, <<9, 1143>, [ <8, 1242> ]>, <<9, 1144>, [ <8, 1243> ]>, <<9, 1145>, [ <8, 1244> ]>, <<9, 1146>, [ <8, 1245> ]>, <<9, 1147>, [ <8, 1246> ]>, <<9, 1148>, [ <8, 1247> ]>, <<9, 1149>, [ <8, 1248> ]>, <<9, 1150>, [ <8, 1249> ]>, <<9, 1167>, [ <8, 1252> ]>, <<9, 1172>, [ <8, 1256> ]>, <<9, 1174>, [ <6, 287> ]>, <<9, 1190>, [ <6, 20> ]>, <<9, 1211>, [ <7, 265> ]>, <<9, 1225>, [ <7, 256> ]>, <<9, 1232>, [ <7, 278> ]>, <<9, 1239>, [ <7, 255> ]>, <<9, 1280>, [ <6, 194> ]>, <<9, 1281>, [ <6, 245> ]>, <<9, 1301>, [ <7, 186> ]>, <<9, 1315>, [ <7, 235> ]>, <<9, 1322>, [ <7, 201> ]>, <<9, 1329>, [ <7, 228> ]>, <<9, 1375>, [ <7, 296> ]>, <<9, 1393>, [ <7, 419> ]>, <<9, 1394>, [ <7, 476> ]>, <<9, 1442>, [ <7, 602> ]>, <<9, 1444>, [ <6, 310> ]>, <<9, 1447>, [ <7, 576> ]>, <<9, 1453>, [ <6, 306> ]>, <<9, 1459>, [ <7, 560> ]>, <<9, 1460>, [ <7, 437> ]>, <<9, 1462>, [ <7, 612> ]>, <<9, 1465>, [ <7, 379> ]>, <<9, 1468>, [ <7, 304> ]>, <<9, 1471>, [ <6, 34> ]>, <<9, 1480>, [ <7, 575> ]>, <<9, 1503>, [ <6, 295> ]>, <<9, 1507>, [ <7, 494> ]>, <<9, 1510>, [ <7, 573> ]>, <<9, 1511>, [ <7, 341> ]>, <<9, 1514>, [ <7, 357> ]>, <<9, 1515>, [ <7, 386> ]>, <<9, 1517>, [ <7, 563> ]>, <<9, 1518>, [ <7, 574> ]>, <<9, 1520>, [ <7, 466> ]>, <<9, 1522>, [ <7, 579> ]>, <<9, 1524>, [ <7, 422> ]>, <<9, 1525>, [ <7, 429> ]>, <<9, 1528>, [ <7, 420> ]>, <<9, 1529>, [ <7, 444> ]>, <<9, 1532>, [ <7, 474> ]>, <<9, 1533>, [ <7, 441> ]>, <<9, 1537>, [ <7, 450> ]>, <<9, 1550>, [ <7, 66> ]>, <<9, 1556>, [ <7, 472> ]>, <<9, 1561>, [ <7, 538> ]>, <<9, 1583>, [ <6, 452> ]>, <<9, 1585>, [ <6, 308> ]>, <<9, 1608>, [ <6, 309> ]>, <<9, 1613>, [ <6, 300> ]>, <<9, 1625>, [ <7, 1099> ]>, <<9, 1626>, [ <7, 548> ]>, <<9, 1629>, [ <7, 269> ]>, <<9, 1630>, [ <7, 488> ]>, <<9, 1631>, [ <7, 490> ]>, <<9, 1633>, [ <7, 810> ]>, <<9, 1634>, [ <7, 1101> ]>, <<9, 1636>, [ <7, 555> ]>, <<9, 1638>, [ <7, 580> ]>, <<9, 1639>, [ <7, 514> ]>, <<9, 1640>, [ <7, 181> ]>, <<9, 1641>, [ <7, 393> ]>, <<9, 1643>, [ <7, 515> ]>, <<9, 1644>, [ <7, 384> ]>, <<9, 1645>, [ <7, 200> ]>, <<9, 1648>, [ <7, 557> ]>, <<9, 1649>, [ <7, 504> ]>, <<9, 1652>, [ <7, 591> ]>, <<9, 1653>, [ <7, 305> ]>, <<9, 1664>, [ <7, 590> ]>, <<9, 1665>, [ <7, 569> ]>, <<9, 1667>, [ <7, 17> ]>, <<9, 1671>, [ <7, 447> ]>, <<9, 1675>, [ <7, 448> ]>, <<9, 1676>, [ <7, 413> ]>, <<9, 1683>, [ <7, 70> ]>, <<9, 1687>, [ <7, 495> ]>, <<9, 1688>, [ <7, 510> ]>, <<9, 1689>, [ <7, 492> ]>, <<9, 1690>, [ <7, 215> ]>, <<9, 1692>, [ <7, 362> ]>, <<9, 1693>, [ <7, 313> ]>, <<9, 1694>, [ <7, 509> ]>, <<9, 1696>, [ <7, 378> ]>, <<9, 1698>, [ <7, 26> ]>, <<9, 1700>, [ <7, 457> ]>, <<9, 1702>, [ <7, 55> ]>, <<9, 1703>, [ <7, 428> ]>, <<9, 1707>, [ <7, 73> ]>, <<9, 1715>, [ <7, 86> ]>, <<9, 1730>, [ <7, 572> ]>, <<9, 1744>, [ <7, 484> ]>, <<9, 1768>, [ <7, 380> ]>, <<9, 1769>, [ <7, 289> ]>, <<9, 1781>, [ <7, 161> ]>, <<9, 1795>, [ <7, 493> ]>, <<9, 1824>, [ <7, 353> ]>, <<9, 1829>, [ <7, 340> ]>, <<9, 1830>, [ <7, 377> ]>, <<9, 1839>, [ <7, 387> ]>, <<9, 1840>, [ <7, 469> ]>, <<9, 1853>, [ <7, 318> ]>, <<9, 1863>, [ <7, 39> ]>, <<9, 1914>, [ <7, 197> ]>, <<9, 1923>, [ <7, 541> ]>, <<9, 1932>, [ <7, 421> ]>, <<9, 1933>, [ <7, 464> ]>, <<9, 1942>, [ <7, 210> ]>, <<9, 1944>, [ <7, 543> ]>, <<10, 6>, [ <9, 2> ]>, <<10, 7>, [ <9, 3> ]>, <<10, 8>, [ <9, 4> ]>, <<10, 9>, [ <9, 5> ]>, <<10, 10>, [ <9, 6> ]>, <<10, 11>, [ <9, 7> ]>, <<10, 12>, [ <9, 8> ]>, <<10, 13>, [ <9, 9> ]>, <<10, 14>, [ <9, 10> ]>, <<10, 15>, [ <9, 11> ]>, <<10, 16>, [ <9, 12> ]>, <<10, 17>, [ <9, 13> ]>, <<10, 18>, [ <9, 14> ]>, <<10, 19>, [ <9, 15> ]>, <<10, 20>, [ <9, 16> ]>, <<10, 42>, [ <7, 513> ]>, <<10, 44>, [ <6, 311> ]>, <<10, 52>, [ <6, 239> ]>, <<10, 63>, [ <7, 418> ]>, <<10, 67>, [ <8, 278> ]>, <<10, 88>, [ <7, 609> ]>, <<10, 92>, [ <9, 293> ]>, <<10, 94>, [ <9, 70> ]>, <<10, 95>, [ <9, 71> ]>, <<10, 96>, [ <9, 72> ]>, <<10, 97>, [ <9, 73> ]>, <<10, 98>, [ <9, 74> ]>, <<10, 99>, [ <9, 75> ]>, <<10, 100>, [ <9, 76> ]>, <<10, 101>, [ <9, 77> ]>, <<10, 102>, [ <9, 78> ]>, <<10, 103>, [ <9, 79> ]>, <<10, 104>, [ <9, 80> ]>, <<10, 105>, [ <9, 81> ]>, <<10, 106>, [ <9, 82> ]>, <<10, 107>, [ <9, 83> ]>, <<10, 108>, [ <9, 84> ]>, <<10, 109>, [ <7, 364>, <9, 85> ]>, <<10, 110>, [ <9, 86> ]>, <<10, 111>, [ <9, 87> ]>, <<10, 112>, [ <9, 88> ]>, <<10, 113>, [ <9, 89> ]>, <<10, 114>, [ <9, 90> ]>, <<10, 115>, [ <9, 91> ]>, <<10, 116>, [ <9, 92> ]>, <<10, 118>, [ <9, 94> ]>, <<10, 119>, [ <9, 95> ]>, <<10, 120>, [ <9, 96> ]>, <<10, 121>, [ <9, 97> ]>, <<10, 122>, [ <9, 98> ]>, <<10, 123>, [ <9, 99> ]>, <<10, 124>, [ <9, 100> ]>, <<10, 125>, [ <9, 101> ]>, <<10, 126>, [ <9, 102> ]>, <<10, 129>, [ <9, 105> ]>, <<10, 130>, [ <7, 473>, <9, 106> ]>, <<10, 131>, [ <9, 107> ]>, <<10, 132>, [ <9, 108> ]>, <<10, 133>, [ <9, 109> ]>, <<10, 134>, [ <9, 110> ]>, <<10, 135>, [ <9, 111> ]>, <<10, 136>, [ <9, 112> ]>, <<10, 137>, [ <9, 113> ]>, <<10, 138>, [ <9, 114> ]>, <<10, 139>, [ <9, 115> ]>, <<10, 140>, [ <9, 116> ]>, <<10, 142>, [ <9, 118> ]>, <<10, 143>, [ <9, 119> ]>, <<10, 144>, [ <9, 120> ]>, <<10, 145>, [ <9, 121> ]>, <<10, 146>, [ <9, 122> ]>, <<10, 147>, [ <9, 123> ]>, <<10, 148>, [ <9, 124> ]>, <<10, 149>, [ <9, 125> ]>, <<10, 150>, [ <9, 126> ]>, <<10, 151>, [ <9, 127> ]>, <<10, 152>, [ <9, 128> ]>, <<10, 153>, [ <9, 129> ]>, <<10, 154>, [ <9, 130> ]>, <<10, 155>, [ <9, 131> ]>, <<10, 156>, [ <9, 132> ]>, <<10, 158>, [ <9, 134> ]>, <<10, 159>, [ <9, 135> ]>, <<10, 160>, [ <9, 136> ]>, <<10, 161>, [ <9, 137> ]>, <<10, 162>, [ <9, 138> ]>, <<10, 163>, [ <9, 139> ]>, <<10, 164>, [ <9, 140> ]>, <<10, 165>, [ <9, 141> ]>, <<10, 166>, [ <9, 142> ]>, <<10, 167>, [ <9, 143> ]>, <<10, 168>, [ <9, 144> ]>, <<10, 169>, [ <9, 145> ]>, <<10, 172>, [ <9, 148> ]>, <<10, 173>, [ <9, 149> ]>, <<10, 174>, [ <9, 150> ]>, <<10, 175>, [ <9, 151> ]>, <<10, 176>, [ <9, 152> ]>, <<10, 177>, [ <9, 153> ]>, <<10, 178>, [ <9, 154> ]>, <<10, 179>, [ <9, 155> ]>, <<10, 180>, [ <9, 156> ]>, <<10, 181>, [ <9, 157> ]>, <<10, 182>, [ <9, 158> ]>, <<10, 183>, [ <9, 159> ]>, <<10, 184>, [ <9, 160> ]>, <<10, 185>, [ <9, 161> ]>, <<10, 186>, [ <9, 162> ]>, <<10, 188>, [ <9, 164> ]>, <<10, 189>, [ <9, 165> ]>, <<10, 190>, [ <9, 166> ]>, <<10, 196>, [ <9, 172> ]>, <<10, 197>, [ <9, 173> ]>, <<10, 198>, [ <9, 174> ]>, <<10, 199>, [ <9, 175> ]>, <<10, 200>, [ <9, 176> ]>, <<10, 201>, [ <9, 177> ]>, <<10, 203>, [ <9, 179> ]>, <<10, 204>, [ <9, 180> ]>, <<10, 205>, [ <9, 181> ]>, <<10, 206>, [ <9, 182> ]>, <<10, 208>, [ <7, 539>, <9, 184> ]>, <<10, 209>, [ <9, 185> ]>, <<10, 210>, [ <9, 186> ]>, <<10, 211>, [ <9, 187> ]>, <<10, 212>, [ <9, 188> ]>, <<10, 213>, [ <9, 189> ]>, <<10, 214>, [ <9, 190> ]>, <<10, 215>, [ <9, 191> ]>, <<10, 216>, [ <9, 192> ]>, <<10, 217>, [ <9, 193> ]>, <<10, 218>, [ <9, 194> ]>, <<10, 220>, [ <9, 196> ]>, <<10, 221>, [ <9, 197> ]>, <<10, 222>, [ <9, 198> ]>, <<10, 223>, [ <9, 199> ]>, <<10, 224>, [ <9, 200> ]>, <<10, 225>, [ <9, 201> ]>, <<10, 226>, [ <9, 202> ]>, <<10, 227>, [ <9, 203> ]>, <<10, 228>, [ <9, 204> ]>, <<10, 229>, [ <9, 205> ]>, <<10, 231>, [ <9, 207> ]>, <<10, 232>, [ <9, 208> ]>, <<10, 233>, [ <9, 209> ]>, <<10, 234>, [ <9, 210> ]>, <<10, 236>, [ <8, 331> ]>, <<10, 237>, [ <9, 213> ]>, <<10, 239>, [ <9, 215> ]>, <<10, 240>, [ <9, 216> ]>, <<10, 241>, [ <9, 217> ]>, <<10, 242>, [ <6, 236>, <9, 218> ]>, <<10, 243>, [ <9, 219> ]>, <<10, 244>, [ <9, 220> ]>, <<10, 247>, [ <8, 515> ]>, <<10, 249>, [ <9, 225> ]>, <<10, 250>, [ <9, 226> ]>, <<10, 251>, [ <9, 227> ]>, <<10, 252>, [ <9, 228> ]>, <<10, 253>, [ <9, 229> ]>, <<10, 254>, [ <9, 230> ]>, <<10, 255>, [ <9, 231> ]>, <<10, 256>, [ <9, 232> ]>, <<10, 257>, [ <9, 233> ]>, <<10, 258>, [ <9, 234> ]>, <<10, 259>, [ <9, 235> ]>, <<10, 260>, [ <9, 236> ]>, <<10, 261>, [ <9, 237> ]>, <<10, 262>, [ <9, 238> ]>, <<10, 263>, [ <9, 239> ]>, <<10, 264>, [ <9, 240> ]>, <<10, 265>, [ <9, 241> ]>, <<10, 266>, [ <9, 242> ]>, <<10, 267>, [ <7, 431>, <9, 243> ]>, <<10, 268>, [ <9, 244> ]>, <<10, 269>, [ <9, 245> ]>, <<10, 270>, [ <9, 246> ]>, <<10, 271>, [ <9, 247> ]>, <<10, 272>, [ <9, 248> ]>, <<10, 274>, [ <9, 250> ]>, <<10, 275>, [ <9, 251> ]>, <<10, 276>, [ <9, 252> ]>, <<10, 278>, [ <9, 254> ]>, <<10, 279>, [ <9, 255> ]>, <<10, 280>, [ <9, 256> ]>, <<10, 281>, [ <9, 257> ]>, <<10, 282>, [ <9, 258> ]>, <<10, 283>, [ <9, 259> ]>, <<10, 284>, [ <9, 260> ]>, <<10, 285>, [ <9, 261> ]>, <<10, 286>, [ <9, 262> ]>, <<10, 287>, [ <9, 263> ]>, <<10, 288>, [ <9, 264> ]>, <<10, 293>, [ <9, 269> ]>, <<10, 294>, [ <9, 270> ]>, <<10, 295>, [ <9, 271> ]>, <<10, 296>, [ <9, 272> ]>, <<10, 297>, [ <9, 273> ]>, <<10, 298>, [ <8, 447> ]>, <<10, 300>, [ <8, 293> ]>, <<10, 301>, [ <9, 277> ]>, <<10, 303>, [ <8, 601> ]>, <<10, 305>, [ <9, 281> ]>, <<10, 306>, [ <9, 282> ]>, <<10, 307>, [ <9, 283> ]>, <<10, 308>, [ <9, 284> ]>, <<10, 309>, [ <9, 285> ]>, <<10, 310>, [ <9, 286> ]>, <<10, 311>, [ <9, 287> ]>, <<10, 312>, [ <9, 288> ]>, <<10, 313>, [ <9, 289> ]>, <<10, 314>, [ <9, 290> ]>, <<10, 315>, [ <9, 291> ]>, <<10, 316>, [ <9, 292> ]>, <<10, 317>, [ <9, 294> ]>, <<10, 319>, [ <9, 296> ]>, <<10, 320>, [ <9, 297> ]>, <<10, 321>, [ <9, 298> ]>, <<10, 324>, [ <9, 301> ]>, <<10, 325>, [ <9, 302> ]>, <<10, 326>, [ <9, 303> ]>, <<10, 327>, [ <9, 304> ]>, <<10, 328>, [ <9, 305> ]>, <<10, 329>, [ <9, 306> ]>, <<10, 330>, [ <9, 307> ]>, <<10, 331>, [ <9, 308> ]>, <<10, 332>, [ <9, 309> ]>, <<10, 333>, [ <9, 310> ]>, <<10, 334>, [ <9, 311> ]>, <<10, 335>, [ <9, 312> ]>, <<10, 336>, [ <9, 313> ]>, <<10, 337>, [ <9, 314> ]>, <<10, 338>, [ <9, 315> ]>, <<10, 339>, [ <9, 316> ]>, <<10, 340>, [ <9, 317> ]>, <<10, 341>, [ <9, 318> ]>, <<10, 342>, [ <9, 319> ]>, <<10, 343>, [ <9, 320> ]>, <<10, 344>, [ <9, 321> ]>, <<10, 346>, [ <9, 323> ]>, <<10, 347>, [ <9, 324> ]>, <<10, 348>, [ <9, 325> ]>, <<10, 349>, [ <9, 326> ]>, <<10, 352>, [ <9, 329> ]>, <<10, 353>, [ <9, 330> ]>, <<10, 354>, [ <9, 331> ]>, <<10, 355>, [ <9, 332> ]>, <<10, 356>, [ <9, 333> ]>, <<10, 361>, [ <5, 35> ]>, <<10, 362>, [ <9, 845> ]>, <<10, 363>, [ <6, 273> ]>, <<10, 364>, [ <9, 847> ]>, <<10, 366>, [ <9, 849> ]>, <<10, 368>, [ <6, 282> ]>, <<10, 370>, [ <9, 853> ]>, <<10, 372>, [ <9, 855> ]>, <<10, 373>, [ <9, 856> ]>, <<10, 377>, [ <6, 70> ]>, <<10, 386>, [ <8, 623> ]>, <<10, 390>, [ <7, 799> ]>, <<10, 391>, [ <8, 1093> ]>, <<10, 392>, [ <7, 385> ]>, <<10, 397>, [ <7, 804> ]>, <<10, 400>, [ <8, 629> ]>, <<10, 402>, [ <7, 453> ]>, <<10, 405>, [ <7, 801> ]>, <<10, 411>, [ <9, 881> ]>, <<10, 412>, [ <9, 882> ]>, <<10, 413>, [ <8, 371> ]>, <<10, 414>, [ <9, 884> ]>, <<10, 415>, [ <8, 529> ]>, <<10, 417>, [ <8, 627> ]>, <<10, 418>, [ <9, 888> ]>, <<10, 419>, [ <9, 889> ]>, <<10, 420>, [ <9, 890> ]>, <<10, 421>, [ <9, 891> ]>, <<10, 422>, [ <9, 892> ]>, <<10, 424>, [ <7, 392>, <9, 894> ]>, <<10, 425>, [ <7, 389>, <9, 895> ]>, <<10, 426>, [ <9, 896> ]>, <<10, 427>, [ <9, 897> ]>, <<10, 429>, [ <9, 899> ]>, <<10, 430>, [ <8, 491> ]>, <<10, 433>, [ <7, 545> ]>, <<10, 434>, [ <8, 1103> ]>, <<10, 435>, [ <9, 905> ]>, <<10, 439>, [ <7, 454> ]>, <<10, 440>, [ <9, 910> ]>, <<10, 441>, [ <9, 911> ]>, <<10, 442>, [ <9, 912> ]>, <<10, 443>, [ <9, 913> ]>, <<10, 444>, [ <9, 914> ]>, <<10, 445>, [ <9, 915> ]>, <<10, 446>, [ <9, 916> ]>, <<10, 447>, [ <9, 917> ]>, <<10, 448>, [ <9, 918> ]>, <<10, 449>, [ <9, 919> ]>, <<10, 450>, [ <8, 580> ]>, <<10, 451>, [ <9, 921> ]>, <<10, 453>, [ <9, 923> ]>, <<10, 456>, [ <7, 85> ]>, <<10, 459>, [ <9, 929> ]>, <<10, 460>, [ <9, 930> ]>, <<10, 461>, [ <9, 931> ]>, <<10, 462>, [ <9, 932> ]>, <<10, 463>, [ <9, 933> ]>, <<10, 464>, [ <9, 934> ]>, <<10, 465>, [ <9, 935> ]>, <<10, 489>, [ <8, 1101> ]>, <<10, 490>, [ <7, 65> ]>, <<10, 491>, [ <9, 985> ]>, <<10, 492>, [ <9, 986> ]>, <<10, 493>, [ <9, 987> ]>, <<10, 494>, [ <9, 988> ]>, <<10, 495>, [ <9, 989> ]>, <<10, 496>, [ <9, 990> ]>, <<10, 497>, [ <9, 991> ]>, <<10, 498>, [ <9, 992> ]>, <<10, 499>, [ <9, 993> ]>, <<10, 500>, [ <9, 994> ]>, <<10, 501>, [ <9, 995> ]>, <<10, 502>, [ <9, 996> ]>, <<10, 503>, [ <9, 997> ]>, <<10, 504>, [ <9, 998> ]>, <<10, 505>, [ <9, 999> ]>, <<10, 506>, [ <9, 1000> ]>, <<10, 507>, [ <9, 1001> ]>, <<10, 508>, [ <9, 1002> ]>, <<10, 509>, [ <9, 1003> ]>, <<10, 510>, [ <9, 1004> ]>, <<10, 511>, [ <9, 1005> ]>, <<10, 512>, [ <9, 1006> ]>, <<10, 513>, [ <9, 1007> ]>, <<10, 514>, [ <9, 1008> ]>, <<10, 515>, [ <9, 1009> ]>, <<10, 516>, [ <9, 1010> ]>, <<10, 517>, [ <9, 1011> ]>, <<10, 518>, [ <9, 1012> ]>, <<10, 519>, [ <9, 1013> ]>, <<10, 520>, [ <9, 1014> ]>, <<10, 521>, [ <9, 1015> ]>, <<10, 522>, [ <9, 1016> ]>, <<10, 523>, [ <9, 1017> ]>, <<10, 524>, [ <9, 1018> ]>, <<10, 525>, [ <9, 1019> ]>, <<10, 526>, [ <9, 1020> ]>, <<10, 527>, [ <9, 1021> ]>, <<10, 528>, [ <9, 1022> ]>, <<10, 529>, [ <9, 1023> ]>, <<10, 530>, [ <9, 1024> ]>, <<10, 531>, [ <9, 1025> ]>, <<10, 532>, [ <9, 1026> ]>, <<10, 533>, [ <9, 1027> ]>, <<10, 534>, [ <9, 1028> ]>, <<10, 535>, [ <9, 1029> ]>, <<10, 536>, [ <9, 1030> ]>, <<10, 537>, [ <9, 1031> ]>, <<10, 539>, [ <9, 1033> ]>, <<10, 540>, [ <9, 1034> ]>, <<10, 542>, [ <9, 1036> ]>, <<10, 543>, [ <9, 1037> ]>, <<10, 544>, [ <9, 1038> ]>, <<10, 545>, [ <9, 1039> ]>, <<10, 546>, [ <9, 1040> ]>, <<10, 547>, [ <9, 1041> ]>, <<10, 548>, [ <9, 1042> ]>, <<10, 549>, [ <9, 1043> ]>, <<10, 550>, [ <9, 1044> ]>, <<10, 551>, [ <9, 1045> ]>, <<10, 553>, [ <9, 1047> ]>, <<10, 554>, [ <9, 1048> ]>, <<10, 555>, [ <9, 1049> ]>, <<10, 556>, [ <9, 1050> ]>, <<10, 557>, [ <9, 1051> ]>, <<10, 558>, [ <9, 1052> ]>, <<10, 561>, [ <9, 1055> ]>, <<10, 562>, [ <9, 1056> ]>, <<10, 586>, [ <9, 1111> ]>, <<10, 587>, [ <9, 1112> ]>, <<10, 588>, [ <9, 1113> ]>, <<10, 589>, [ <9, 1114> ]>, <<10, 590>, [ <9, 1115> ]>, <<10, 591>, [ <9, 1116> ]>, <<10, 592>, [ <9, 1117> ]>, <<10, 593>, [ <9, 1118> ]>, <<10, 594>, [ <9, 1119> ]>, <<10, 595>, [ <9, 1120> ]>, <<10, 596>, [ <9, 1121> ]>, <<10, 597>, [ <9, 1122> ]>, <<10, 598>, [ <9, 1123> ]>, <<10, 599>, [ <9, 1124> ]>, <<10, 600>, [ <9, 1125> ]>, <<10, 601>, [ <9, 1126> ]>, <<10, 602>, [ <9, 1127> ]>, <<10, 603>, [ <9, 1128> ]>, <<10, 604>, [ <9, 1129> ]>, <<10, 605>, [ <9, 1130> ]>, <<10, 606>, [ <9, 1131> ]>, <<10, 607>, [ <9, 1132> ]>, <<10, 608>, [ <9, 1133> ]>, <<10, 609>, [ <9, 1134> ]>, <<10, 610>, [ <9, 1135> ]>, <<10, 611>, [ <9, 1136> ]>, <<10, 612>, [ <9, 1137> ]>, <<10, 613>, [ <9, 1138> ]>, <<10, 614>, [ <9, 1139> ]>, <<10, 615>, [ <9, 1140> ]>, <<10, 616>, [ <9, 1141> ]>, <<10, 619>, [ <8, 1097> ]>, <<10, 625>, [ <6, 36>, <8, 1095> ]>, <<10, 626>, [ <7, 803> ]>, <<10, 631>, [ <6, 364> ]>, <<10, 633>, [ <9, 1151> ]>, <<10, 634>, [ <9, 1152> ]>, <<10, 637>, [ <9, 1155> ]>, <<10, 638>, [ <9, 1156> ]>, <<10, 639>, [ <9, 1157> ]>, <<10, 644>, [ <9, 1162> ]>, <<10, 649>, [ <9, 1171> ]>, <<10, 651>, [ <7, 491> ]>, <<10, 669>, [ <7, 508> ]>, <<10, 685>, [ <7, 462> ]>, <<10, 690>, [ <9, 1205> ]>, <<10, 702>, [ <7, 279> ]>, <<10, 722>, [ <8, 204> ]>, <<10, 736>, [ <8, 344> ]>, <<10, 743>, [ <8, 290> ]>, <<10, 750>, [ <8, 339> ]>, <<10, 782>, [ <6, 362>, <8, 1088> ]>, <<10, 784>, [ <8, 1133> ]>, <<10, 789>, [ <8, 651> ]>, <<10, 790>, [ <8, 619> ]>, <<10, 791>, [ <7, 585> ]>, <<10, 793>, [ <8, 1131> ]>, <<10, 794>, [ <8, 553> ]>, <<10, 796>, [ <8, 1147> ]>, <<10, 800>, [ <7, 578> ]>, <<10, 801>, [ <8, 539> ]>, <<10, 802>, [ <7, 537> ]>, <<10, 810>, [ <6, 301> ]>, <<10, 811>, [ <8, 1091> ]>, <<10, 812>, [ <7, 511> ]>, <<10, 813>, [ <8, 365> ]>, <<10, 816>, [ <8, 469> ]>, <<10, 817>, [ <8, 498> ]>, <<10, 819>, [ <8, 1125> ]>, <<10, 820>, [ <8, 516> ]>, <<10, 822>, [ <8, 330> ]>, <<10, 824>, [ <8, 643> ]>, <<10, 825>, [ <8, 279> ]>, <<10, 828>, [ <7, 584> ]>, <<10, 835>, [ <8, 558> ]>, <<10, 836>, [ <8, 1143> ]>, <<10, 837>, [ <8, 551> ]>, <<10, 839>, [ <8, 1144> ]>, <<10, 844>, [ <8, 429> ]>, <<10, 852>, [ <7, 77> ]>, <<10, 853>, [ <8, 554> ]>, <<10, 866>, [ <7, 1100> ]>, <<10, 875>, [ <7, 552> ]>, <<10, 877>, [ <7, 373> ]>, <<10, 885>, [ <7, 506> ]>, <<10, 889>, [ <8, 1117> ]>, <<10, 890>, [ <8, 1660> ]>, <<10, 892>, [ <8, 1138> ]>, <<10, 893>, [ <8, 372> ]>, <<10, 895>, [ <8, 459> ]>, <<10, 897>, [ <8, 1118> ]>, <<10, 898>, [ <8, 355> ]>, <<10, 901>, [ <7, 567> ]>, <<10, 908>, [ <8, 561> ]>, <<10, 909>, [ <8, 1148> ]>, <<10, 910>, [ <8, 480> ]>, <<10, 912>, [ <8, 1149> ]>, <<10, 913>, [ <8, 634> ]>, <<10, 915>, [ <8, 635> ]>, <<10, 916>, [ <8, 277> ]>, <<10, 923>, [ <8, 1150> ]>, <<10, 924>, [ <7, 570> ]>, <<10, 925>, [ <8, 486> ]>, <<10, 926>, [ <8, 1151> ]>, <<10, 935>, [ <8, 31> ]>, <<10, 937>, [ <8, 366> ]>, <<10, 940>, [ <8, 1664> ]>, <<10, 941>, [ <8, 511> ]>, <<10, 944>, [ <8, 229> ]>, <<10, 945>, [ <8, 493> ]>, <<10, 946>, [ <8, 363> ]>, <<10, 948>, [ <8, 1122> ]>, <<10, 949>, [ <8, 1665> ]>, <<10, 951>, [ <8, 518> ]>, <<10, 953>, [ <8, 550> ]>, <<10, 954>, [ <8, 528> ]>, <<10, 955>, [ <8, 286> ]>, <<10, 956>, [ <8, 329> ]>, <<10, 958>, [ <8, 534> ]>, <<10, 959>, [ <8, 418> ]>, <<10, 960>, [ <8, 305> ]>, <<10, 963>, [ <8, 533> ]>, <<10, 964>, [ <8, 496> ]>, <<10, 967>, [ <8, 572> ]>, <<10, 968>, [ <8, 430> ]>, <<10, 979>, [ <8, 579> ]>, <<10, 980>, [ <8, 605> ]>, <<10, 982>, [ <8, 35> ]>, <<10, 984>, [ <8, 588> ]>, <<10, 987>, [ <8, 589> ]>, <<10, 992>, [ <8, 600> ]>, <<10, 993>, [ <8, 592> ]>, <<10, 1000>, [ <8, 48> ]>, <<10, 1006>, [ <5, 15> ]>, <<10, 1010>, [ <8, 1789> ]>, <<10, 1025>, [ <8, 494> ]>, <<10, 1031>, [ <8, 492> ]>, <<10, 1043>, [ <8, 348> ]>, <<10, 1044>, [ <8, 502> ]>, <<10, 1072>, [ <8, 292> ]>, <<10, 1078>, [ <8, 241> ]>, <<10, 1079>, [ <8, 312> ]>, <<10, 1090>, [ <8, 246> ]>, <<10, 1091>, [ <8, 182> ]>, <<10, 1104>, [ <8, 364> ]>, <<10, 1105>, [ <8, 524> ]>, <<10, 1127>, [ <8, 540> ]>, <<10, 1130>, [ <8, 211> ]>, <<10, 1135>, [ <8, 537> ]>, <<10, 1139>, [ <8, 257> ]>, <<10, 1140>, [ <8, 291> ]>, <<10, 1146>, [ <8, 552> ]>, <<10, 1151>, [ <8, 419> ]>, <<10, 1152>, [ <8, 445> ]>, <<10, 1158>, [ <8, 42> ]>, <<10, 1168>, [ <5, 21>, <7, 797> ]>, <<10, 1171>, [ <7, 815> ]>, <<10, 1174>, [ <8, 499> ]>, <<10, 1185>, [ <8, 238> ]>, <<10, 1189>, [ <8, 297> ]>, <<10, 1193>, [ <7, 811> ]>, <<10, 1197>, [ <7, 821> ]>, <<10, 1199>, [ <8, 144> ]>, <<10, 1202>, [ <8, 425> ]>, <<10, 1203>, [ <8, 508> ]>, <<10, 1211>, [ <8, 265> ]>, <<10, 1219>, [ <8, 325> ]>, <<10, 1225>, [ <7, 64> ]>, <<10, 1229>, [ <8, 319> ]>, <<10, 1230>, [ <8, 324> ]>, <<10, 1233>, [ <8, 444> ]>, <<10, 1234>, [ <8, 530> ]>, <<11, 3>, [ <10, 1> ]>, <<11, 4>, [ <10, 2> ]>, <<11, 5>, [ <10, 3> ]>, <<11, 6>, [ <10, 4> ]>, <<11, 7>, [ <10, 5> ]>, <<11, 9>, [ <7, 589> ]>, <<11, 19>, [ <10, 23> ]>, <<11, 20>, [ <10, 24> ]>, <<11, 21>, [ <10, 25> ]>, <<11, 22>, [ <10, 26> ]>, <<11, 23>, [ <10, 27> ]>, <<11, 24>, [ <10, 28> ]>, <<11, 25>, [ <10, 29> ]>, <<11, 26>, [ <10, 30> ]>, <<11, 28>, [ <10, 32> ]>, <<11, 29>, [ <10, 33> ]>, <<11, 30>, [ <10, 34> ]>, <<11, 31>, [ <10, 35> ]>, <<11, 32>, [ <10, 36> ]>, <<11, 33>, [ <10, 37> ]>, <<11, 34>, [ <10, 38> ]>, <<11, 35>, [ <10, 39> ]>, <<11, 37>, [ <10, 41> ]>, <<11, 38>, [ <8, 536>, <10, 42> ]>, <<11, 39>, [ <10, 43> ]>, <<11, 40>, [ <7, 583>, <10, 44> ]>, <<11, 42>, [ <10, 46> ]>, <<11, 43>, [ <10, 47> ]>, <<11, 44>, [ <10, 48> ]>, <<11, 45>, [ <10, 49> ]>, <<11, 46>, [ <10, 50> ]>, <<11, 47>, [ <10, 51> ]>, <<11, 48>, [ <7, 481>, <10, 52> ]>, <<11, 49>, [ <10, 53> ]>, <<11, 50>, [ <10, 54> ]>, <<11, 51>, [ <10, 55> ]>, <<11, 52>, [ <10, 56> ]>, <<11, 53>, [ <10, 57> ]>, <<11, 54>, [ <10, 58> ]>, <<11, 56>, [ <10, 60> ]>, <<11, 57>, [ <10, 61> ]>, <<11, 58>, [ <10, 62> ]>, <<11, 59>, [ <8, 587>, <10, 63> ]>, <<11, 62>, [ <10, 66> ]>, <<11, 63>, [ <9, 266> ]>, <<11, 65>, [ <10, 69> ]>, <<11, 66>, [ <10, 70> ]>, <<11, 67>, [ <10, 71> ]>, <<11, 68>, [ <10, 72> ]>, <<11, 69>, [ <10, 73> ]>, <<11, 70>, [ <10, 74> ]>, <<11, 71>, [ <10, 75> ]>, <<11, 72>, [ <10, 76> ]>, <<11, 73>, [ <10, 77> ]>, <<11, 74>, [ <10, 78> ]>, <<11, 75>, [ <10, 79> ]>, <<11, 76>, [ <10, 80> ]>, <<11, 77>, [ <10, 81> ]>, <<11, 78>, [ <10, 82> ]>, <<11, 79>, [ <10, 83> ]>, <<11, 80>, [ <10, 84> ]>, <<11, 81>, [ <10, 85> ]>, <<11, 82>, [ <10, 86> ]>, <<11, 83>, [ <10, 87> ]>, <<11, 84>, [ <8, 632>, <10, 88> ]>, <<11, 85>, [ <10, 89> ]>, <<11, 86>, [ <10, 90> ]>, <<11, 87>, [ <10, 91> ]>, <<11, 88>, [ <10, 92> ]>, <<11, 90>, [ <6, 363> ]>, <<11, 91>, [ <10, 359> ]>, <<11, 93>, [ <6, 69>, <10, 361> ]>, <<11, 94>, [ <10, 362> ]>, <<11, 95>, [ <7, 540> ]>, <<11, 96>, [ <10, 364> ]>, <<11, 98>, [ <10, 366> ]>, <<11, 100>, [ <7, 597> ]>, <<11, 102>, [ <10, 370> ]>, <<11, 104>, [ <8, 1096> ]>, <<11, 106>, [ <8, 1092> ]>, <<11, 108>, [ <8, 1099> ]>, <<11, 109>, [ <10, 385> ]>, <<11, 110>, [ <9, 299> ]>, <<11, 111>, [ <10, 387> ]>, <<11, 112>, [ <10, 388> ]>, <<11, 113>, [ <10, 389> ]>, <<11, 114>, [ <8, 1106>, <10, 390> ]>, <<11, 115>, [ <9, 859> ]>, <<11, 116>, [ <8, 420>, <10, 392> ]>, <<11, 118>, [ <10, 394> ]>, <<11, 119>, [ <10, 395> ]>, <<11, 120>, [ <10, 396> ]>, <<11, 121>, [ <8, 1111>, <10, 397> ]>, <<11, 123>, [ <10, 399> ]>, <<11, 124>, [ <9, 328> ]>, <<11, 126>, [ <8, 602> ]>, <<11, 128>, [ <10, 404> ]>, <<11, 129>, [ <8, 1108>, <10, 405> ]>, <<11, 130>, [ <10, 406> ]>, <<11, 131>, [ <10, 407> ]>, <<11, 132>, [ <10, 408> ]>, <<11, 133>, [ <10, 409> ]>, <<11, 139>, [ <10, 466> ]>, <<11, 140>, [ <10, 467> ]>, <<11, 141>, [ <10, 468> ]>, <<11, 142>, [ <10, 469> ]>, <<11, 143>, [ <10, 470> ]>, <<11, 144>, [ <10, 471> ]>, <<11, 145>, [ <10, 472> ]>, <<11, 146>, [ <10, 473> ]>, <<11, 147>, [ <10, 474> ]>, <<11, 148>, [ <10, 475> ]>, <<11, 149>, [ <10, 476> ]>, <<11, 150>, [ <10, 477> ]>, <<11, 151>, [ <10, 478> ]>, <<11, 152>, [ <10, 479> ]>, <<11, 153>, [ <10, 480> ]>, <<11, 154>, [ <10, 481> ]>, <<11, 155>, [ <10, 482> ]>, <<11, 156>, [ <10, 483> ]>, <<11, 157>, [ <10, 484> ]>, <<11, 158>, [ <10, 485> ]>, <<11, 159>, [ <10, 486> ]>, <<11, 160>, [ <10, 487> ]>, <<11, 161>, [ <10, 488> ]>, <<11, 162>, [ <9, 867> ]>, <<11, 163>, [ <8, 53> ]>, <<11, 169>, [ <10, 563> ]>, <<11, 170>, [ <10, 564> ]>, <<11, 171>, [ <10, 565> ]>, <<11, 172>, [ <10, 566> ]>, <<11, 173>, [ <10, 567> ]>, <<11, 174>, [ <10, 568> ]>, <<11, 175>, [ <10, 569> ]>, <<11, 176>, [ <10, 570> ]>, <<11, 177>, [ <10, 571> ]>, <<11, 178>, [ <10, 572> ]>, <<11, 179>, [ <10, 573> ]>, <<11, 180>, [ <10, 574> ]>, <<11, 181>, [ <10, 575> ]>, <<11, 182>, [ <10, 576> ]>, <<11, 183>, [ <10, 577> ]>, <<11, 184>, [ <10, 578> ]>, <<11, 185>, [ <10, 579> ]>, <<11, 186>, [ <10, 580> ]>, <<11, 187>, [ <10, 581> ]>, <<11, 188>, [ <10, 582> ]>, <<11, 189>, [ <10, 583> ]>, <<11, 190>, [ <10, 584> ]>, <<11, 191>, [ <10, 585> ]>, <<11, 195>, [ <7, 805>, <9, 852> ]>, <<11, 197>, [ <8, 1100> ]>, <<11, 198>, [ <10, 617> ]>, <<11, 199>, [ <10, 618> ]>, <<11, 200>, [ <9, 863> ]>, <<11, 201>, [ <10, 620> ]>, <<11, 202>, [ <10, 621> ]>, <<11, 203>, [ <10, 622> ]>, <<11, 204>, [ <10, 623> ]>, <<11, 205>, [ <10, 624> ]>, <<11, 206>, [ <7, 80>, <9, 861> ]>, <<11, 207>, [ <8, 1110> ]>, <<11, 208>, [ <10, 627> ]>, <<11, 209>, [ <10, 628> ]>, <<11, 210>, [ <10, 629> ]>, <<11, 212>, [ <7, 809> ]>, <<11, 216>, [ <10, 648> ]>, <<11, 218>, [ <8, 362> ]>, <<11, 224>, [ <10, 656> ]>, <<11, 226>, [ <8, 289> ]>, <<11, 231>, [ <10, 657> ]>, <<11, 243>, [ <8, 413> ]>, <<11, 258>, [ <7, 829>, <9, 1438> ]>, <<11, 259>, [ <7, 802>, <9, 846> ]>, <<11, 260>, [ <7, 808>, <9, 854> ]>, <<11, 261>, [ <9, 904> ]>, <<11, 262>, [ <9, 893> ]>, <<11, 265>, [ <7, 20>, <9, 1158> ]>, <<11, 266>, [ <7, 800> ]>, <<11, 267>, [ <9, 848> ]>, <<11, 269>, [ <9, 887> ]>, <<11, 270>, [ <9, 334> ]>, <<11, 271>, [ <8, 606> ]>, <<11, 273>, [ <9, 900> ]>, <<11, 274>, [ <9, 276> ]>, <<11, 276>, [ <9, 928> ]>, <<11, 277>, [ <9, 295> ]>, <<11, 279>, [ <9, 901> ]>, <<11, 280>, [ <8, 555> ]>, <<11, 281>, [ <9, 223> ]>, <<11, 282>, [ <8, 412> ]>, <<11, 283>, [ <9, 902> ]>, <<11, 288>, [ <9, 1035> ]>, <<11, 292>, [ <7, 1102> ]>, <<11, 293>, [ <7, 831> ]>, <<11, 295>, [ <7, 571> ]>, <<11, 296>, [ <9, 1502> ]>, <<11, 297>, [ <9, 880> ]>, <<11, 298>, [ <8, 1662> ]>, <<11, 300>, [ <9, 906> ]>, <<11, 301>, [ <9, 1504> ]>, <<11, 303>, [ <9, 1153> ]>, <<11, 304>, [ <9, 300> ]>, <<11, 306>, [ <9, 907> ]>, <<11, 307>, [ <8, 490> ]>, <<11, 308>, [ <9, 163> ]>, <<11, 309>, [ <8, 300> ]>, <<11, 310>, [ <9, 908> ]>, <<11, 315>, [ <9, 1054> ]>, <<11, 316>, [ <9, 857> ]>, <<11, 317>, [ <8, 497> ]>, <<11, 318>, [ <9, 171> ]>, <<11, 321>, [ <9, 883> ]>, <<11, 322>, [ <9, 1507> ]>, <<11, 324>, [ <9, 898> ]>, <<11, 325>, [ <9, 211> ]>, <<11, 327>, [ <9, 212> ]>, <<11, 329>, [ <9, 885> ]>, <<11, 330>, [ <9, 169> ]>, <<11, 333>, [ <8, 604> ]>, <<11, 340>, [ <9, 249> ]>, <<11, 341>, [ <9, 920> ]>, <<11, 342>, [ <9, 274> ]>, <<11, 344>, [ <9, 922> ]>, <<11, 345>, [ <9, 327> ]>, <<11, 348>, [ <9, 322> ]>, <<11, 349>, [ <9, 265> ]>, <<11, 356>, [ <9, 924> ]>, <<11, 357>, [ <8, 607> ]>, <<11, 358>, [ <9, 279> ]>, <<11, 359>, [ <9, 925> ]>, <<11, 368>, [ <9, 17> ]>, <<11, 371>, [ <6, 296> ]>, <<11, 375>, [ <9, 1729> ]>, <<11, 391>, [ <9, 170> ]>, <<11, 392>, [ <7, 351> ]>, <<11, 397>, [ <9, 167> ]>, <<11, 407>, [ <9, 117> ]>, <<11, 408>, [ <9, 195> ]>, <<11, 416>, [ <10, 1051> ]>, <<11, 428>, [ <9, 224> ]>, <<11, 431>, [ <9, 93> ]>, <<11, 436>, [ <9, 221> ]>, <<11, 440>, [ <9, 133> ]>, <<11, 441>, [ <9, 147> ]>, <<11, 447>, [ <9, 275> ]>, <<11, 452>, [ <8, 1659> ]>, <<11, 455>, [ <8, 1253> ]>, <<11, 461>, [ <9, 214> ]>, <<11, 463>, [ <6, 312>, <8, 1094> ]>, <<11, 464>, [ <8, 1119> ]>, <<11, 466>, [ <8, 1145> ]>, <<11, 467>, [ <8, 1250> ]>, <<11, 469>, [ <9, 178> ]>, <<11, 473>, [ <6, 37>, <8, 1104> ]>, <<11, 474>, [ <8, 1132> ]>, <<11, 476>, [ <8, 1228> ]>, <<11, 482>, [ <9, 183> ]>, <<11, 485>, [ <9, 104> ]>, <<11, 489>, [ <9, 222> ]>, <<11, 491>, [ <8, 1142> ]>, <<11, 492>, [ <8, 1152> ]>, <<11, 494>, [ <8, 1219> ]>, <<11, 495>, [ <9, 103> ]>, <<11, 498>, [ <9, 146> ]>, <<11, 499>, [ <9, 206> ]>, <<11, 502>, [ <8, 1124> ]>, <<11, 504>, [ <8, 1146> ]>, <<11, 506>, [ <8, 32> ]>, <<11, 510>, [ <9, 253> ]>, <<11, 513>, [ <9, 268> ]>, <<11, 516>, [ <9, 278> ]>, <<11, 517>, [ <8, 51> ]>, <<12, 2>, [ <11, 1> ]>, <<12, 3>, [ <11, 2> ]>, <<12, 4>, [ <8, 633> ]>, <<12, 5>, [ <11, 8> ]>, <<12, 6>, [ <8, 581>, <11, 9> ]>, <<12, 7>, [ <11, 10> ]>, <<12, 9>, [ <11, 12> ]>, <<12, 10>, [ <11, 13> ]>, <<12, 11>, [ <11, 14> ]>, <<12, 12>, [ <11, 15> ]>, <<12, 13>, [ <11, 16> ]>, <<12, 14>, [ <11, 17> ]>, <<12, 15>, [ <11, 18> ]>, <<12, 16>, [ <7, 806>, <11, 90> ]>, <<12, 17>, [ <11, 91> ]>, <<12, 19>, [ <7, 87>, <11, 93> ]>, <<12, 20>, [ <9, 850> ]>, <<12, 21>, [ <11, 103> ]>, <<12, 22>, [ <9, 862>, <11, 104> ]>, <<12, 24>, [ <9, 858>, <11, 106> ]>, <<12, 25>, [ <11, 107> ]>, <<12, 26>, [ <9, 865>, <11, 108> ]>, <<12, 28>, [ <11, 134> ]>, <<12, 29>, [ <11, 135> ]>, <<12, 30>, [ <11, 136> ]>, <<12, 31>, [ <11, 137> ]>, <<12, 32>, [ <11, 138> ]>, <<12, 34>, [ <11, 164> ]>, <<12, 35>, [ <11, 165> ]>, <<12, 36>, [ <11, 166> ]>, <<12, 37>, [ <11, 167> ]>, <<12, 38>, [ <11, 168> ]>, <<12, 40>, [ <11, 192> ]>, <<12, 41>, [ <11, 193> ]>, <<12, 42>, [ <11, 194> ]>, <<12, 43>, [ <8, 1112>, <10, 369> ]>, <<12, 44>, [ <11, 196> ]>, <<12, 45>, [ <9, 866> ]>, <<12, 48>, [ <11, 215> ]>, <<12, 50>, [ <9, 168> ]>, <<12, 55>, [ <8, 1233>, <10, 782> ]>, <<12, 56>, [ <8, 1098>, <10, 360> ]>, <<12, 57>, [ <8, 1109>, <10, 363> ]>, <<12, 58>, [ <10, 403> ]>, <<12, 59>, [ <10, 391> ]>, <<12, 62>, [ <8, 1231>, <10, 625> ]>, <<12, 63>, [ <8, 1661> ]>, <<12, 64>, [ <8, 1107> ]>, <<12, 65>, [ <10, 809> ]>, <<12, 66>, [ <10, 393> ]>, <<12, 69>, [ <8, 1251>, <10, 631> ]>, <<12, 70>, [ <10, 365> ]>, <<12, 72>, [ <10, 811> ]>, <<12, 73>, [ <10, 386> ]>, <<12, 74>, [ <9, 1508> ]>, <<12, 76>, [ <10, 398> ]>, <<12, 77>, [ <10, 813> ]>, <<12, 79>, [ <10, 619> ]>, <<12, 80>, [ <10, 93> ]>, <<12, 82>, [ <10, 400> ]>, <<12, 83>, [ <9, 280> ]>, <<12, 84>, [ <10, 67> ]>, <<12, 85>, [ <9, 267> ]>, <<12, 86>, [ <10, 401> ]>, <<12, 91>, [ <10, 489> ]>, <<12, 94>, [ <7, 507> ]>, <<12, 98>, [ <10, 1024> ]>, <<12, 111>, [ <10, 68> ]>, <<12, 114>, [ <10, 31> ]>, <<12, 120>, [ <10, 64> ]>, <<12, 123>, [ <6, 15>, <9, 1907> ]>, <<12, 125>, [ <9, 1503> ]>, <<12, 127>, [ <9, 1506> ]>, <<12, 128>, [ <9, 1161> ]>, <<12, 129>, [ <9, 1159> ]>, <<12, 134>, [ <10, 45> ]>, <<12, 135>, [ <7, 599>, <9, 851> ]>, <<12, 136>, [ <9, 909> ]>, <<12, 138>, [ <9, 1160> ]>, <<12, 140>, [ <10, 40> ]>, <<12, 143>, [ <9, 886> ]>, <<12, 144>, [ <7, 586>, <9, 860> ]>, <<12, 145>, [ <9, 903> ]>, <<12, 146>, [ <9, 1154> ]>, <<12, 147>, [ <9, 1053> ]>, <<12, 148>, [ <9, 1032> ]>, <<12, 152>, [ <10, 59> ]>, <<12, 155>, [ <10, 65> ]>, <<12, 156>, [ <9, 926> ]>, <<12, 157>, [ <9, 927> ]>, <<12, 158>, [ <9, 1046> ]>, <<12, 159>, [ <9, 18> ]>, <<13, 1>, [ <12, 1> ]>, <<13, 2>, [ <9, 335>, <12, 4> ]>, <<13, 3>, [ <8, 1113>, <12, 16> ]>, <<13, 4>, [ <10, 367>, <12, 20> ]>, <<13, 5>, [ <12, 27> ]>, <<13, 6>, [ <12, 33> ]>, <<13, 7>, [ <12, 39> ]>, <<13, 9>, [ <9, 1164>, <11, 259> ]>, <<13, 10>, [ <9, 1505>, <11, 266> ]>, <<13, 11>, [ <9, 864>, <11, 92> ]>, <<13, 12>, [ <11, 267> ]>, <<13, 13>, [ <11, 105> ]>, <<13, 16>, [ <9, 1163>, <11, 195> ]>, <<13, 19>, [ <8, 495> ]>, <<13, 22>, [ <11, 390> ]>, <<13, 25>, [ <7, 830>, <10, 1168> ]>, <<13, 27>, [ <8, 1663>, <10, 810> ]>, <<13, 29>, [ <10, 812> ]>, <<13, 30>, [ <10, 632> ]>, <<13, 31>, [ <10, 626> ]>, <<13, 35>, [ <11, 11> ]>, <<13, 36>, [ <10, 402> ]>, <<13, 37>, [ <8, 608>, <10, 368> ]>, <<13, 38>, [ <10, 630> ]>, <<13, 39>, [ <10, 490> ]>, <<14, 1>, [ <10, 814>, <12, 56> ]>, <<14, 3>, [ <8, 1254>, <11, 463> ]>, <<14, 5>, [ <11, 268> ]>, <<14, 6>, [ <11, 197> ]>, <<15, 1>, [ <9, 1509>, <12, 135> ]> ];