1SPEC9 = { t: {
   2  "value": -348761264,
   3  "left": {
   4  "value": -825429040,
   5  "left": {
   6  "value": -976686917,
   7  "left": {
   8  "value": -981956058,
   9  "left": {
  10  "value": -998023278,
  11  "left": {
  12  "value": -998358422,
  13  "left": {
  14  "value": -999581661,
  15  "left": {
  16  "value": -999862211,
  17  "left": {
  18  "value": -999963773,
  19  "left": nil,
  20  "right": nil
  21  },
  22  "right": {
  23  "value": -999618835,
  24  "left": nil,
  25  "right": nil
  26  }
  27  },
  28  "right": {
  29  "value": -999357649,
  30  "left": {
  31  "value": -999382814,
  32  "left": nil,
  33  "right": nil
  34  },
  35  "right": {
  36  "value": -998814090,
  37  "left": nil,
  38  "right": nil
  39  }
  40  }
  41  },
  42  "right": {
  43  "value": -998211991,
  44  "left": {
  45  "value": -998245361,
  46  "left": {
  47  "value": -998261431,
  48  "left": nil,
  49  "right": nil
  50  },
  51  "right": {
  52  "value": -998224931,
  53  "left": nil,
  54  "right": nil
  55  }
  56  },
  57  "right": {
  58  "value": -998118656,
  59  "left": {
  60  "value": -998133050,
  61  "left": nil,
  62  "right": nil
  63  },
  64  "right": {
  65  "value": -998036818,
  66  "left": nil,
  67  "right": nil
  68  }
  69  }
  70  }
  71  },
  72  "right": {
  73  "value": -984096674,
  74  "left": {
  75  "value": -993780062,
  76  "left": {
  77  "value": -997344052,
  78  "left": {
  79  "value": -997746424,
  80  "left": nil,
  81  "right": nil
  82  },
  83  "right": {
  84  "value": -995664439,
  85  "left": nil,
  86  "right": nil
  87  }
  88  },
  89  "right": {
  90  "value": -988230260,
  91  "left": {
  92  "value": -989322504,
  93  "left": nil,
  94  "right": nil
  95  },
  96  "right": {
  97  "value": -986952377,
  98  "left": nil,
  99  "right": nil
 100  }
 101  }
 102  },
 103  "right": {
 104  "value": -982815554,
 105  "left": {
 106  "value": -984016872,
 107  "left": {
 108  "value": -984078355,
 109  "left": nil,
 110  "right": nil
 111  },
 112  "right": {
 113  "value": -983710565,
 114  "left": nil,
 115  "right": nil
 116  }
 117  },
 118  "right": {
 119  "value": -982090515,
 120  "left": {
 121  "value": -982474183,
 122  "left": nil,
 123  "right": nil
 124  },
 125  "right": {
 126  "value": -982067056,
 127  "left": nil,
 128  "right": nil
 129  }
 130  }
 131  }
 132  }
 133  },
 134  "right": {
 135  "value": -978445486,
 136  "left": {
 137  "value": -980134566,
 138  "left": {
 139  "value": -981516145,
 140  "left": {
 141  "value": -981902698,
 142  "left": {
 143  "value": -981918097,
 144  "left": nil,
 145  "right": nil
 146  },
 147  "right": {
 148  "value": -981636586,
 149  "left": nil,
 150  "right": nil
 151  }
 152  },
 153  "right": {
 154  "value": -980359358,
 155  "left": nil,
 156  "right": {
 157  "value": -980246393,
 158  "left": nil,
 159  "right": nil
 160  }
 161  }
 162  },
 163  "right": {
 164  "value": -979262791,
 165  "left": {
 166  "value": -980076933,
 167  "left": {
 168  "value": -980102981,
 169  "left": nil,
 170  "right": nil
 171  },
 172  "right": {
 173  "value": -979274567,
 174  "left": nil,
 175  "right": nil
 176  }
 177  },
 178  "right": {
 179  "value": -978809425,
 180  "left": {
 181  "value": -978901594,
 182  "left": nil,
 183  "right": nil
 184  },
 185  "right": {
 186  "value": -978622780,
 187  "left": nil,
 188  "right": nil
 189  }
 190  }
 191  }
 192  },
 193  "right": {
 194  "value": -978298934,
 195  "left": {
 196  "value": -978329481,
 197  "left": {
 198  "value": -978415171,
 199  "left": {
 200  "value": -978428737,
 201  "left": nil,
 202  "right": nil
 203  },
 204  "right": {
 205  "value": -978380426,
 206  "left": nil,
 207  "right": nil
 208  }
 209  },
 210  "right": {
 211  "value": -978311047,
 212  "left": {
 213  "value": -978321587,
 214  "left": nil,
 215  "right": nil
 216  },
 217  "right": {
 218  "value": -978308902,
 219  "left": nil,
 220  "right": nil
 221  }
 222  }
 223  },
 224  "right": {
 225  "value": -977093698,
 226  "left": {
 227  "value": -978241647,
 228  "left": {
 229  "value": -978257718,
 230  "left": nil,
 231  "right": nil
 232  },
 233  "right": nil
 234  },
 235  "right": {
 236  "value": -976929768,
 237  "left": {
 238  "value": -977055878,
 239  "left": nil,
 240  "right": nil
 241  },
 242  "right": {
 243  "value": -976865288,
 244  "left": nil,
 245  "right": nil
 246  }
 247  }
 248  }
 249  }
 250  }
 251  },
 252  "right": {
 253  "value": -912955740,
 254  "left": {
 255  "value": -946532401,
 256  "left": {
 257  "value": -966717919,
 258  "left": {
 259  "value": -971501221,
 260  "left": {
 261  "value": -976169902,
 262  "left": {
 263  "value": -976513508,
 264  "left": nil,
 265  "right": nil
 266  },
 267  "right": {
 268  "value": -975417443,
 269  "left": nil,
 270  "right": nil
 271  }
 272  },
 273  "right": {
 274  "value": -966816130,
 275  "left": {
 276  "value": -969546598,
 277  "left": nil,
 278  "right": nil
 279  },
 280  "right": {
 281  "value": -966791938,
 282  "left": nil,
 283  "right": nil
 284  }
 285  }
 286  },
 287  "right": {
 288  "value": -951860507,
 289  "left": {
 290  "value": -960174471,
 291  "left": {
 292  "value": -965310121,
 293  "left": nil,
 294  "right": nil
 295  },
 296  "right": {
 297  "value": -956069874,
 298  "left": nil,
 299  "right": nil
 300  }
 301  },
 302  "right": {
 303  "value": -951804633,
 304  "left": {
 305  "value": -951844249,
 306  "left": nil,
 307  "right": nil
 308  },
 309  "right": {
 310  "value": -951402822,
 311  "left": nil,
 312  "right": nil
 313  }
 314  }
 315  }
 316  },
 317  "right": {
 318  "value": -940249230,
 319  "left": {
 320  "value": -944931577,
 321  "left": {
 322  "value": -945679402,
 323  "left": {
 324  "value": -945854193,
 325  "left": nil,
 326  "right": nil
 327  },
 328  "right": {
 329  "value": -945101996,
 330  "left": nil,
 331  "right": nil
 332  }
 333  },
 334  "right": {
 335  "value": -942846385,
 336  "left": {
 337  "value": -944237440,
 338  "left": nil,
 339  "right": nil
 340  },
 341  "right": {
 342  "value": -942765320,
 343  "left": {
 344  "value": -942765321,
 345  "left": {
 346  "value": -942765322,
 347  "left": {
 348  "value": -942765323,
 349  "left": {
 350  "value": -942765324,
 351  "left": {
 352  "value": -942765325,
 353  "left": {
 354  "value": -942765326,
 355  "left": {
 356  "value": -942765327,
 357  "left": {
 358  "value": -942765328,
 359  "left": {
 360  "value": -942765329,
 361  "left": {
 362  "value": -942765330,
 363  "left": {
 364  "value": -942765331,
 365  "left": {
 366  "value": -942765332,
 367  "left": {
 368  "value": -942765333,
 369  "left": {
 370  "value": -942765334,
 371  "left": {
 372  "value": -942765335,
 373  "left": {
 374  "value": -942765336,
 375  "left": {
 376  "value": -942765337,
 377  "left": {
 378  "value": -942765338,
 379  "left": {
 380  "value": -942765339,
 381  "left": {
 382  "value": -942765340,
 383  "left": {
 384  "value": -942765341,
 385  "left": {
 386  "value": -942765342,
 387  "left": {
 388  "value": -942765343,
 389  "left": {
 390  "value": -942765344,
 391  "left": {
 392  "value": -942765345,
 393  "left": {
 394  "value": -942765346,
 395  "left": {
 396  "value": -942765347,
 397  "left": {
 398  "value": -942765348,
 399  "left": {
 400  "value": -942765349,
 401  "left": {
 402  "value": -942765350,
 403  "left": {
 404  "value": -942765351,
 405  "left": {
 406  "value": -942765352,
 407  "left": {
 408  "value": -942765353,
 409  "left": {
 410  "value": -942765354,
 411  "left": {
 412  "value": -942765355,
 413  "left": {
 414  "value": -942765356,
 415  "left": {
 416  "value": -942765357,
 417  "left": {
 418  "value": -942765358,
 419  "left": {
 420  "value": -942765359,
 421  "left": {
 422  "value": -942765360,
 423  "left": {
 424  "value": -942765361,
 425  "left": {
 426  "value": -942765362,
 427  "left": {
 428  "value": -942765363,
 429  "left": {
 430  "value": -942765364,
 431  "left": {
 432  "value": -942765365,
 433  "left": {
 434  "value": -942765366,
 435  "left": {
 436  "value": -942765367,
 437  "left": {
 438  "value": -942765368,
 439  "left": {
 440  "value": -942765369,
 441  "left": {
 442  "value": -942765370,
 443  "left": {
 444  "value": -942765371,
 445  "left": {
 446  "value": -942765372,
 447  "left": {
 448  "value": -942765373,
 449  "left": {
 450  "value": -942765374,
 451  "left": {
 452  "value": -942765375,
 453  "left": {
 454  "value": -942765376,
 455  "left": {
 456  "value": -942765377,
 457  "left": {
 458  "value": -942765378,
 459  "left": {
 460  "value": -942765379,
 461  "left": {
 462  "value": -942765380,
 463  "left": {
 464  "value": -942765381,
 465  "left": {
 466  "value": -942765382,
 467  "left": {
 468  "value": -942765383,
 469  "left": {
 470  "value": -942765384,
 471  "left": {
 472  "value": -942765385,
 473  "left": {
 474  "value": -942765386,
 475  "left": {
 476  "value": -942765387,
 477  "left": {
 478  "value": -942765388,
 479  "left": {
 480  "value": -942765389,
 481  "left": {
 482  "value": -942765390,
 483  "left": {
 484  "value": -942765391,
 485  "left": {
 486  "value": -942765392,
 487  "left": {
 488  "value": -942765393,
 489  "left": {
 490  "value": -942765394,
 491  "left": {
 492  "value": -942765395,
 493  "left": {
 494  "value": -942765396,
 495  "left": {
 496  "value": -942765397,
 497  "left": {
 498  "value": -942765398,
 499  "left": {
 500  "value": -942765399,
 501  "left": {
 502  "value": -942765400,
 503  "left": {
 504  "value": -942765401,
 505  "left": {
 506  "value": -942765402,
 507  "left": {
 508  "value": -942765403,
 509  "left": {
 510  "value": -942765404,
 511  "left": {
 512  "value": -942765405,
 513  "left": {
 514  "value": -942765406,
 515  "left": {
 516  "value": -942765407,
 517  "left": {
 518  "value": -942765408,
 519  "left": {
 520  "value": -942765409,
 521  "left": {
 522  "value": -942765410,
 523  "left": {
 524  "value": -942765411,
 525  "left": {
 526  "value": -942765412,
 527  "left": {
 528  "value": -942765413,
 529  "left": {
 530  "value": -942765414,
 531  "left": {
 532  "value": -942765415,
 533  "left": {
 534  "value": -942765416,
 535  "left": {
 536  "value": -942765417,
 537  "left": {
 538  "value": -942765418,
 539  "left": {
 540  "value": -942765419,
 541  "left": {
 542  "value": -942765420,
 543  "left": {
 544  "value": -942765421,
 545  "left": {
 546  "value": -942765422,
 547  "left": {
 548  "value": -942765423,
 549  "left": {
 550  "value": -942765424,
 551  "left": {
 552  "value": -942765425,
 553  "left": {
 554  "value": -942765426,
 555  "left": {
 556  "value": -942765427,
 557  "left": {
 558  "value": -942765428,
 559  "left": {
 560  "value": -942765429,
 561  "left": {
 562  "value": -942765430,
 563  "left": {
 564  "value": -942765431,
 565  "left": {
 566  "value": -942765432,
 567  "left": {
 568  "value": -942765433,
 569  "left": {
 570  "value": -942765434,
 571  "left": {
 572  "value": -942765435,
 573  "left": {
 574  "value": -942765436,
 575  "left": {
 576  "value": -942765437,
 577  "left": {
 578  "value": -942765438,
 579  "left": {
 580  "value": -942765439,
 581  "left": {
 582  "value": -942765440,
 583  "left": {
 584  "value": -942765441,
 585  "left": {
 586  "value": -942765442,
 587  "left": {
 588  "value": -942765443,
 589  "left": {
 590  "value": -942765444,
 591  "left": {
 592  "value": -942765445,
 593  "left": {
 594  "value": -942765446,
 595  "left": {
 596  "value": -942765447,
 597  "left": {
 598  "value": -942765448,
 599  "left": {
 600  "value": -942765449,
 601  "left": {
 602  "value": -942765450,
 603  "left": {
 604  "value": -942765451,
 605  "left": {
 606  "value": -942765452,
 607  "left": {
 608  "value": -942765453,
 609  "left": {
 610  "value": -942765454,
 611  "left": {
 612  "value": -942765455,
 613  "left": {
 614  "value": -942765456,
 615  "left": {
 616  "value": -942765457,
 617  "left": {
 618  "value": -942765458,
 619  "left": {
 620  "value": -942765459,
 621  "left": {
 622  "value": -942765460,
 623  "left": {
 624  "value": -942765461,
 625  "left": {
 626  "value": -942765462,
 627  "left": {
 628  "value": -942765463,
 629  "left": {
 630  "value": -942765464,
 631  "left": {
 632  "value": -942765465,
 633  "left": {
 634  "value": -942765466,
 635  "left": {
 636  "value": -942765467,
 637  "left": {
 638  "value": -942765468,
 639  "left": {
 640  "value": -942765469,
 641  "left": {
 642  "value": -942765470,
 643  "left": {
 644  "value": -942765471,
 645  "left": {
 646  "value": -942765472,
 647  "left": {
 648  "value": -942765473,
 649  "left": {
 650  "value": -942765474,
 651  "left": {
 652  "value": -942765475,
 653  "left": {
 654  "value": -942765476,
 655  "left": {
 656  "value": -942765477,
 657  "left": {
 658  "value": -942765478,
 659  "left": {
 660  "value": -942765479,
 661  "left": {
 662  "value": -942765480,
 663  "left": {
 664  "value": -942765481,
 665  "left": {
 666  "value": -942765482,
 667  "left": {
 668  "value": -942765483,
 669  "left": {
 670  "value": -942765484,
 671  "left": {
 672  "value": -942765485,
 673  "left": {
 674  "value": -942765486,
 675  "left": {
 676  "value": -942765487,
 677  "left": {
 678  "value": -942765488,
 679  "left": {
 680  "value": -942765489,
 681  "left": {
 682  "value": -942765490,
 683  "left": {
 684  "value": -942765491,
 685  "left": {
 686  "value": -942765492,
 687  "left": {
 688  "value": -942765493,
 689  "left": {
 690  "value": -942765494,
 691  "left": {
 692  "value": -942765495,
 693  "left": {
 694  "value": -942765496,
 695  "left": {
 696  "value": -942765497,
 697  "left": {
 698  "value": -942765498,
 699  "left": {
 700  "value": -942765499,
 701  "left": {
 702  "value": -942765500,
 703  "left": {
 704  "value": -942765501,
 705  "left": {
 706  "value": -942765502,
 707  "left": {
 708  "value": -942765503,
 709  "left": {
 710  "value": -942765504,
 711  "left": {
 712  "value": -942765505,
 713  "left": {
 714  "value": -942765506,
 715  "left": {
 716  "value": -942765507,
 717  "left": {
 718  "value": -942765508,
 719  "left": {
 720  "value": -942765509,
 721  "left": {
 722  "value": -942765510,
 723  "left": {
 724  "value": -942765511,
 725  "left": {
 726  "value": -942765512,
 727  "left": {
 728  "value": -942765513,
 729  "left": {
 730  "value": -942765514,
 731  "left": {
 732  "value": -942765515,
 733  "left": {
 734  "value": -942765516,
 735  "left": {
 736  "value": -942765517,
 737  "left": {
 738  "value": -942765518,
 739  "left": {
 740  "value": -942765519,
 741  "left": {
 742  "value": -942765520,
 743  "left": {
 744  "value": -942765521,
 745  "left": {
 746  "value": -942765522,
 747  "left": {
 748  "value": -942765523,
 749  "left": {
 750  "value": -942765524,
 751  "left": {
 752  "value": -942765525,
 753  "left": {
 754  "value": -942765526,
 755  "left": {
 756  "value": -942765527,
 757  "left": {
 758  "value": -942765528,
 759  "left": {
 760  "value": -942765529,
 761  "left": {
 762  "value": -942765530,
 763  "left": {
 764  "value": -942765531,
 765  "left": {
 766  "value": -942765532,
 767  "left": {
 768  "value": -942765533,
 769  "left": {
 770  "value": -942765534,
 771  "left": {
 772  "value": -942765535,
 773  "left": {
 774  "value": -942765536,
 775  "left": {
 776  "value": -942765537,
 777  "left": {
 778  "value": -942765538,
 779  "left": {
 780  "value": -942765539,
 781  "left": {
 782  "value": -942765540,
 783  "left": {
 784  "value": -942765541,
 785  "left": {
 786  "value": -942765542,
 787  "left": {
 788  "value": -942765543,
 789  "left": {
 790  "value": -942765544,
 791  "left": {
 792  "value": -942765545,
 793  "left": {
 794  "value": -942765546,
 795  "left": {
 796  "value": -942765547,
 797  "left": {
 798  "value": -942765548,
 799  "left": {
 800  "value": -942765549,
 801  "left": {
 802  "value": -942765550,
 803  "left": {
 804  "value": -942765551,
 805  "left": {
 806  "value": -942765552,
 807  "left": {
 808  "value": -942765553,
 809  "left": {
 810  "value": -942765554,
 811  "left": {
 812  "value": -942765555,
 813  "left": {
 814  "value": -942765556,
 815  "left": {
 816  "value": -942765557,
 817  "left": {
 818  "value": -942765558,
 819  "left": {
 820  "value": -942765559,
 821  "left": {
 822  "value": -942765560,
 823  "left": {
 824  "value": -942765561,
 825  "left": {
 826  "value": -942765562,
 827  "left": {
 828  "value": -942765563,
 829  "left": {
 830  "value": -942765564,
 831  "left": {
 832  "value": -942765565,
 833  "left": {
 834  "value": -942765566,
 835  "left": {
 836  "value": -942765567,
 837  "left": {
 838  "value": -942765568,
 839  "left": {
 840  "value": -942765569,
 841  "left": {
 842  "value": -942765570,
 843  "left": {
 844  "value": -942765571,
 845  "left": {
 846  "value": -942765572,
 847  "left": {
 848  "value": -942765573,
 849  "left": {
 850  "value": -942765574,
 851  "left": {
 852  "value": -942765575,
 853  "left": {
 854  "value": -942765576,
 855  "left": {
 856  "value": -942765577,
 857  "left": {
 858  "value": -942765578,
 859  "left": {
 860  "value": -942765579,
 861  "left": {
 862  "value": -942765580,
 863  "left": {
 864  "value": -942765581,
 865  "left": {
 866  "value": -942765582,
 867  "left": {
 868  "value": -942765583,
 869  "left": {
 870  "value": -942765584,
 871  "left": {
 872  "value": -942765585,
 873  "left": {
 874  "value": -942765586,
 875  "left": {
 876  "value": -942765587,
 877  "left": {
 878  "value": -942765588,
 879  "left": {
 880  "value": -942765589,
 881  "left": {
 882  "value": -942765590,
 883  "left": {
 884  "value": -942765591,
 885  "left": {
 886  "value": -942765592,
 887  "left": {
 888  "value": -942765593,
 889  "left": {
 890  "value": -942765594,
 891  "left": {
 892  "value": -942765595,
 893  "left": {
 894  "value": -942765596,
 895  "left": {
 896  "value": -942765597,
 897  "left": {
 898  "value": -942765598,
 899  "left": {
 900  "value": -942765599,
 901  "left": {
 902  "value": -942765600,
 903  "left": {
 904  "value": -942765601,
 905  "left": {
 906  "value": -942765602,
 907  "left": {
 908  "value": -942765603,
 909  "left": {
 910  "value": -942765604,
 911  "left": {
 912  "value": -942765605,
 913  "left": {
 914  "value": -942765606,
 915  "left": {
 916  "value": -942765607,
 917  "left": {
 918  "value": -942765608,
 919  "left": {
 920  "value": -942765609,
 921  "left": {
 922  "value": -942765610,
 923  "left": {
 924  "value": -942765611,
 925  "left": {
 926  "value": -942765612,
 927  "left": {
 928  "value": -942765613,
 929  "left": {
 930  "value": -942765614,
 931  "left": {
 932  "value": -942765615,
 933  "left": {
 934  "value": -942765616,
 935  "left": {
 936  "value": -942765617,
 937  "left": {
 938  "value": -942765618,
 939  "left": {
 940  "value": -942765619,
 941  "left": {
 942  "value": -942765620,
 943  "left": {
 944  "value": -942765621,
 945  "left": {
 946  "value": -942765622,
 947  "left": {
 948  "value": -942765623,
 949  "left": {
 950  "value": -942765624,
 951  "left": {
 952  "value": -942765625,
 953  "left": {
 954  "value": -942765626,
 955  "left": {
 956  "value": -942765627,
 957  "left": {
 958  "value": -942765628,
 959  "left": {
 960  "value": -942765629,
 961  "left": {
 962  "value": -942765630,
 963  "left": {
 964  "value": -942765631,
 965  "left": {
 966  "value": -942765632,
 967  "left": {
 968  "value": -942765633,
 969  "left": {
 970  "value": -942765634,
 971  "left": {
 972  "value": -942765635,
 973  "left": {
 974  "value": -942765636,
 975  "left": {
 976  "value": -942765637,
 977  "left": {
 978  "value": -942765638,
 979  "left": {
 980  "value": -942765639,
 981  "left": {
 982  "value": -942765640,
 983  "left": {
 984  "value": -942765641,
 985  "left": {
 986  "value": -942765642,
 987  "left": {
 988  "value": -942765643,
 989  "left": {
 990  "value": -942765644,
 991  "left": {
 992  "value": -942765645,
 993  "left": {
 994  "value": -942765646,
 995  "left": {
 996  "value": -942765647,
 997  "left": {
 998  "value": -942765648,
 999  "left": {
1000  "value": -942765649,
1001  "left": {
1002  "value": -942765650,
1003  "left": {
1004  "value": -942765651,
1005  "left": {
1006  "value": -942765652,
1007  "left": {
1008  "value": -942765653,
1009  "left": {
1010  "value": -942765654,
1011  "left": {
1012  "value": -942765655,
1013  "left": {
1014  "value": -942765656,
1015  "left": {
1016  "value": -942765657,
1017  "left": {
1018  "value": -942765658,
1019  "left": {
1020  "value": -942765659,
1021  "left": {
1022  "value": -942765660,
1023  "left": {
1024  "value": -942765661,
1025  "left": {
1026  "value": -942765662,
1027  "left": {
1028  "value": -942765663,
1029  "left": {
1030  "value": -942765664,
1031  "left": {
1032  "value": -942765665,
1033  "left": {
1034  "value": -942765666,
1035  "left": {
1036  "value": -942765667,
1037  "left": {
1038  "value": -942765668,
1039  "left": {
1040  "value": -942765669,
1041  "left": {
1042  "value": -942765670,
1043  "left": {
1044  "value": -942765671,
1045  "left": {
1046  "value": -942765672,
1047  "left": {
1048  "value": -942765673,
1049  "left": {
1050  "value": -942765674,
1051  "left": {
1052  "value": -942765675,
1053  "left": {
1054  "value": -942765676,
1055  "left": {
1056  "value": -942765677,
1057  "left": {
1058  "value": -942765678,
1059  "left": {
1060  "value": -942765679,
1061  "left": {
1062  "value": -942765680,
1063  "left": {
1064  "value": -942765681,
1065  "left": {
1066  "value": -942765682,
1067  "left": {
1068  "value": -942765683,
1069  "left": {
1070  "value": -942765684,
1071  "left": {
1072  "value": -942765685,
1073  "left": {
1074  "value": -942765686,
1075  "left": {
1076  "value": -942765687,
1077  "left": {
1078  "value": -942765688,
1079  "left": {
1080  "value": -942765689,
1081  "left": {
1082  "value": -942765690,
1083  "left": {
1084  "value": -942765691,
1085  "left": {
1086  "value": -942765692,
1087  "left": {
1088  "value": -942765693,
1089  "left": {
1090  "value": -942765694,
1091  "left": {
1092  "value": -942765695,
1093  "left": {
1094  "value": -942765696,
1095  "left": {
1096  "value": -942765697,
1097  "left": {
1098  "value": -942765698,
1099  "left": {
1100  "value": -942765699,
1101  "left": {
1102  "value": -942765700,
1103  "left": {
1104  "value": -942765701,
1105  "left": {
1106  "value": -942765702,
1107  "left": {
1108  "value": -942765703,
1109  "left": {
1110  "value": -942765704,
1111  "left": {
1112  "value": -942765705,
1113  "left": {
1114  "value": -942765706,
1115  "left": {
1116  "value": -942765707,
1117  "left": {
1118  "value": -942765708,
1119  "left": {
1120  "value": -942765709,
1121  "left": {
1122  "value": -942765710,
1123  "left": {
1124  "value": -942765711,
1125  "left": {
1126  "value": -942765712,
1127  "left": {
1128  "value": -942765713,
1129  "left": {
1130  "value": -942765714,
1131  "left": {
1132  "value": -942765715,
1133  "left": {
1134  "value": -942765716,
1135  "left": {
1136  "value": -942765717,
1137  "left": {
1138  "value": -942765718,
1139  "left": {
1140  "value": -942765719,
1141  "left": {
1142  "value": -942765720,
1143  "left": {
1144  "value": -942765721,
1145  "left": {
1146  "value": -942765722,
1147  "left": {
1148  "value": -942765723,
1149  "left": {
1150  "value": -942765724,
1151  "left": {
1152  "value": -942765725,
1153  "left": {
1154  "value": -942765726,
1155  "left": {
1156  "value": -942765727,
1157  "left": {
1158  "value": -942765728,
1159  "left": {
1160  "value": -942765729,
1161  "left": {
1162  "value": -942765730,
1163  "left": {
1164  "value": -942765731,
1165  "left": {
1166  "value": -942765732,
1167  "left": {
1168  "value": -942765733,
1169  "left": {
1170  "value": -942765734,
1171  "left": {
1172  "value": -942765735,
1173  "left": {
1174  "value": -942765736,
1175  "left": {
1176  "value": -942765737,
1177  "left": {
1178  "value": -942765738,
1179  "left": {
1180  "value": -942765739,
1181  "left": {
1182  "value": -942765740,
1183  "left": {
1184  "value": -942765741,
1185  "left": {
1186  "value": -942765742,
1187  "left": {
1188  "value": -942765743,
1189  "left": {
1190  "value": -942765744,
1191  "left": {
1192  "value": -942765745,
1193  "left": {
1194  "value": -942765746,
1195  "left": {
1196  "value": -942765747,
1197  "left": {
1198  "value": -942765748,
1199  "left": {
1200  "value": -942765749,
1201  "left": {
1202  "value": -942765750,
1203  "left": {
1204  "value": -942765751,
1205  "left": {
1206  "value": -942765752,
1207  "left": {
1208  "value": -942765753,
1209  "left": {
1210  "value": -942765754,
1211  "left": {
1212  "value": -942765755,
1213  "left": {
1214  "value": -942765756,
1215  "left": {
1216  "value": -942765757,
1217  "left": {
1218  "value": -942765758,
1219  "left": {
1220  "value": -942765759,
1221  "left": {
1222  "value": -942765760,
1223  "left": {
1224  "value": -942765761,
1225  "left": {
1226  "value": -942765762,
1227  "left": {
1228  "value": -942765763,
1229  "left": {
1230  "value": -942765764,
1231  "left": {
1232  "value": -942765765,
1233  "left": {
1234  "value": -942765766,
1235  "left": {
1236  "value": -942765767,
1237  "left": {
1238  "value": -942765768,
1239  "left": {
1240  "value": -942765769,
1241  "left": {
1242  "value": -942765770,
1243  "left": {
1244  "value": -942765771,
1245  "left": {
1246  "value": -942765772,
1247  "left": {
1248  "value": -942765773,
1249  "left": {
1250  "value": -942765774,
1251  "left": {
1252  "value": -942765775,
1253  "left": {
1254  "value": -942765776,
1255  "left": {
1256  "value": -942765777,
1257  "left": {
1258  "value": -942765778,
1259  "left": {
1260  "value": -942765779,
1261  "left": {
1262  "value": -942765780,
1263  "left": {
1264  "value": -942765781,
1265  "left": {
1266  "value": -942765782,
1267  "left": {
1268  "value": -942765783,
1269  "left": {
1270  "value": -942765784,
1271  "left": {
1272  "value": -942765785,
1273  "left": {
1274  "value": -942765786,
1275  "left": {
1276  "value": -942765787,
1277  "left": {
1278  "value": -942765788,
1279  "left": {
1280  "value": -942765789,
1281  "left": {
1282  "value": -942765790,
1283  "left": {
1284  "value": -942765791,
1285  "left": {
1286  "value": -942765792,
1287  "left": {
1288  "value": -942765793,
1289  "left": {
1290  "value": -942765794,
1291  "left": {
1292  "value": -942765795,
1293  "left": {
1294  "value": -942765796,
1295  "left": {
1296  "value": -942765797,
1297  "left": {
1298  "value": -942765798,
1299  "left": {
1300  "value": -942765799,
1301  "left": {
1302  "value": -942765800,
1303  "left": {
1304  "value": -942765801,
1305  "left": {
1306  "value": -942765802,
1307  "left": {
1308  "value": -942765803,
1309  "left": {
1310  "value": -942765804,
1311  "left": {
1312  "value": -942765805,
1313  "left": {
1314  "value": -942765806,
1315  "left": {
1316  "value": -942765807,
1317  "left": {
1318  "value": -942765808,
1319  "left": {
1320  "value": -942765809,
1321  "left": {
1322  "value": -942765810,
1323  "left": {
1324  "value": -942765811,
1325  "left": {
1326  "value": -942765812,
1327  "left": {
1328  "value": -942765813,
1329  "left": {
1330  "value": -942765814,
1331  "left": {
1332  "value": -942765815,
1333  "left": {
1334  "value": -942765816,
1335  "left": {
1336  "value": -942765817,
1337  "left": {
1338  "value": -942765818,
1339  "left": {
1340  "value": -942765819,
1341  "left": {
1342  "value": -942765820,
1343  "left": {
1344  "value": -942765821,
1345  "left": {
1346  "value": -942765822,
1347  "left": {
1348  "value": -942765823,
1349  "left": {
1350  "value": -942765824,
1351  "left": {
1352  "value": -942765825,
1353  "left": {
1354  "value": -942765826,
1355  "left": {
1356  "value": -942765827,
1357  "left": {
1358  "value": -942765828,
1359  "left": {
1360  "value": -942765829,
1361  "left": {
1362  "value": -942765830,
1363  "left": {
1364  "value": -942765831,
1365  "left": {
1366  "value": -942765832,
1367  "left": {
1368  "value": -942765833,
1369  "left": {
1370  "value": -942765834,
1371  "left": {
1372  "value": -942765835,
1373  "left": {
1374  "value": -942765836,
1375  "left": {
1376  "value": -942765837,
1377  "left": {
1378  "value": -942765838,
1379  "left": {
1380  "value": -942765839,
1381  "left": {
1382  "value": -942765840,
1383  "left": {
1384  "value": -942765841,
1385  "left": {
1386  "value": -942765842,
1387  "left": {
1388  "value": -942765843,
1389  "left": {
1390  "value": -942765844,
1391  "left": {
1392  "value": -942765845,
1393  "left": {
1394  "value": -942765846,
1395  "left": {
1396  "value": -942765847,
1397  "left": {
1398  "value": -942765848,
1399  "left": nil,
1400  "right": nil
1401  },
1402  "right": nil
1403  },
1404  "right": nil
1405  },
1406  "right": nil
1407  },
1408  "right": nil
1409  },
1410  "right": nil
1411  },
1412  "right": nil
1413  },
1414  "right": nil
1415  },
1416  "right": nil
1417  },
1418  "right": nil
1419  },
1420  "right": nil
1421  },
1422  "right": nil
1423  },
1424  "right": nil
1425  },
1426  "right": nil
1427  },
1428  "right": nil
1429  },
1430  "right": nil
1431  },
1432  "right": nil
1433  },
1434  "right": nil
1435  },
1436  "right": nil
1437  },
1438  "right": nil
1439  },
1440  "right": nil
1441  },
1442  "right": nil
1443  },
1444  "right": nil
1445  },
1446  "right": nil
1447  },
1448  "right": nil
1449  },
1450  "right": nil
1451  },
1452  "right": nil
1453  },
1454  "right": nil
1455  },
1456  "right": nil
1457  },
1458  "right": nil
1459  },
1460  "right": nil
1461  },
1462  "right": nil
1463  },
1464  "right": nil
1465  },
1466  "right": nil
1467  },
1468  "right": nil
1469  },
1470  "right": nil
1471  },
1472  "right": nil
1473  },
1474  "right": nil
1475  },
1476  "right": nil
1477  },
1478  "right": nil
1479  },
1480  "right": nil
1481  },
1482  "right": nil
1483  },
1484  "right": nil
1485  },
1486  "right": nil
1487  },
1488  "right": nil
1489  },
1490  "right": nil
1491  },
1492  "right": nil
1493  },
1494  "right": nil
1495  },
1496  "right": nil
1497  },
1498  "right": nil
1499  },
1500  "right": nil
1501  },
1502  "right": nil
1503  },
1504  "right": nil
1505  },
1506  "right": nil
1507  },
1508  "right": nil
1509  },
1510  "right": nil
1511  },
1512  "right": nil
1513  },
1514  "right": nil
1515  },
1516  "right": nil
1517  },
1518  "right": nil
1519  },
1520  "right": nil
1521  },
1522  "right": nil
1523  },
1524  "right": nil
1525  },
1526  "right": nil
1527  },
1528  "right": nil
1529  },
1530  "right": nil
1531  },
1532  "right": nil
1533  },
1534  "right": nil
1535  },
1536  "right": nil
1537  },
1538  "right": nil
1539  },
1540  "right": nil
1541  },
1542  "right": nil
1543  },
1544  "right": nil
1545  },
1546  "right": nil
1547  },
1548  "right": nil
1549  },
1550  "right": nil
1551  },
1552  "right": nil
1553  },
1554  "right": nil
1555  },
1556  "right": nil
1557  },
1558  "right": nil
1559  },
1560  "right": nil
1561  },
1562  "right": nil
1563  },
1564  "right": nil
1565  },
1566  "right": nil
1567  },
1568  "right": nil
1569  },
1570  "right": nil
1571  },
1572  "right": nil
1573  },
1574  "right": nil
1575  },
1576  "right": nil
1577  },
1578  "right": nil
1579  },
1580  "right": nil
1581  },
1582  "right": nil
1583  },
1584  "right": nil
1585  },
1586  "right": nil
1587  },
1588  "right": nil
1589  },
1590  "right": nil
1591  },
1592  "right": nil
1593  },
1594  "right": nil
1595  },
1596  "right": nil
1597  },
1598  "right": nil
1599  },
1600  "right": nil
1601  },
1602  "right": nil
1603  },
1604  "right": nil
1605  },
1606  "right": nil
1607  },
1608  "right": nil
1609  },
1610  "right": nil
1611  },
1612  "right": nil
1613  },
1614  "right": nil
1615  },
1616  "right": nil
1617  },
1618  "right": nil
1619  },
1620  "right": nil
1621  },
1622  "right": nil
1623  },
1624  "right": nil
1625  },
1626  "right": nil
1627  },
1628  "right": nil
1629  },
1630  "right": nil
1631  },
1632  "right": nil
1633  },
1634  "right": nil
1635  },
1636  "right": nil
1637  },
1638  "right": nil
1639  },
1640  "right": nil
1641  },
1642  "right": nil
1643  },
1644  "right": nil
1645  },
1646  "right": nil
1647  },
1648  "right": nil
1649  },
1650  "right": nil
1651  },
1652  "right": nil
1653  },
1654  "right": nil
1655  },
1656  "right": nil
1657  },
1658  "right": nil
1659  },
1660  "right": nil
1661  },
1662  "right": nil
1663  },
1664  "right": nil
1665  },
1666  "right": nil
1667  },
1668  "right": nil
1669  },
1670  "right": nil
1671  },
1672  "right": nil
1673  },
1674  "right": nil
1675  },
1676  "right": nil
1677  },
1678  "right": nil
1679  },
1680  "right": nil
1681  },
1682  "right": nil
1683  },
1684  "right": nil
1685  },
1686  "right": nil
1687  },
1688  "right": nil
1689  },
1690  "right": nil
1691  },
1692  "right": nil
1693  },
1694  "right": nil
1695  },
1696  "right": nil
1697  },
1698  "right": nil
1699  },
1700  "right": nil
1701  },
1702  "right": nil
1703  },
1704  "right": nil
1705  },
1706  "right": nil
1707  },
1708  "right": nil
1709  },
1710  "right": nil
1711  },
1712  "right": nil
1713  },
1714  "right": nil
1715  },
1716  "right": nil
1717  },
1718  "right": nil
1719  },
1720  "right": nil
1721  },
1722  "right": nil
1723  },
1724  "right": nil
1725  },
1726  "right": nil
1727  },
1728  "right": nil
1729  },
1730  "right": nil
1731  },
1732  "right": nil
1733  },
1734  "right": nil
1735  },
1736  "right": nil
1737  },
1738  "right": nil
1739  },
1740  "right": nil
1741  },
1742  "right": nil
1743  },
1744  "right": nil
1745  },
1746  "right": nil
1747  },
1748  "right": nil
1749  },
1750  "right": nil
1751  },
1752  "right": nil
1753  },
1754  "right": nil
1755  },
1756  "right": nil
1757  },
1758  "right": nil
1759  },
1760  "right": nil
1761  },
1762  "right": nil
1763  },
1764  "right": nil
1765  },
1766  "right": nil
1767  },
1768  "right": nil
1769  },
1770  "right": nil
1771  },
1772  "right": nil
1773  },
1774  "right": nil
1775  },
1776  "right": nil
1777  },
1778  "right": nil
1779  },
1780  "right": nil
1781  },
1782  "right": nil
1783  },
1784  "right": nil
1785  },
1786  "right": nil
1787  },
1788  "right": nil
1789  },
1790  "right": nil
1791  },
1792  "right": nil
1793  },
1794  "right": nil
1795  },
1796  "right": nil
1797  },
1798  "right": nil
1799  },
1800  "right": nil
1801  },
1802  "right": nil
1803  },
1804  "right": nil
1805  },
1806  "right": nil
1807  },
1808  "right": nil
1809  },
1810  "right": nil
1811  },
1812  "right": nil
1813  },
1814  "right": nil
1815  },
1816  "right": nil
1817  },
1818  "right": nil
1819  },
1820  "right": nil
1821  },
1822  "right": nil
1823  },
1824  "right": nil
1825  },
1826  "right": nil
1827  },
1828  "right": nil
1829  },
1830  "right": nil
1831  },
1832  "right": nil
1833  },
1834  "right": nil
1835  },
1836  "right": nil
1837  },
1838  "right": nil
1839  },
1840  "right": nil
1841  },
1842  "right": nil
1843  },
1844  "right": nil
1845  },
1846  "right": nil
1847  },
1848  "right": nil
1849  },
1850  "right": nil
1851  },
1852  "right": nil
1853  },
1854  "right": nil
1855  },
1856  "right": nil
1857  },
1858  "right": nil
1859  },
1860  "right": nil
1861  },
1862  "right": nil
1863  },
1864  "right": nil
1865  },
1866  "right": nil
1867  },
1868  "right": nil
1869  },
1870  "right": nil
1871  },
1872  "right": nil
1873  },
1874  "right": nil
1875  },
1876  "right": nil
1877  },
1878  "right": nil
1879  },
1880  "right": nil
1881  },
1882  "right": nil
1883  },
1884  "right": nil
1885  },
1886  "right": nil
1887  },
1888  "right": nil
1889  },
1890  "right": nil
1891  },
1892  "right": nil
1893  },
1894  "right": nil
1895  },
1896  "right": nil
1897  },
1898  "right": nil
1899  },
1900  "right": nil
1901  },
1902  "right": nil
1903  },
1904  "right": nil
1905  },
1906  "right": nil
1907  },
1908  "right": nil
1909  },
1910  "right": nil
1911  },
1912  "right": nil
1913  },
1914  "right": nil
1915  },
1916  "right": nil
1917  },
1918  "right": nil
1919  },
1920  "right": nil
1921  },
1922  "right": nil
1923  },
1924  "right": nil
1925  },
1926  "right": nil
1927  },
1928  "right": nil
1929  },
1930  "right": nil
1931  },
1932  "right": nil
1933  },
1934  "right": nil
1935  },
1936  "right": nil
1937  },
1938  "right": nil
1939  },
1940  "right": nil
1941  },
1942  "right": nil
1943  },
1944  "right": nil
1945  },
1946  "right": nil
1947  },
1948  "right": nil
1949  },
1950  "right": nil
1951  },
1952  "right": nil
1953  },
1954  "right": nil
1955  },
1956  "right": nil
1957  },
1958  "right": nil
1959  },
1960  "right": nil
1961  },
1962  "right": nil
1963  },
1964  "right": nil
1965  },
1966  "right": nil
1967  },
1968  "right": nil
1969  },
1970  "right": nil
1971  },
1972  "right": nil
1973  },
1974  "right": nil
1975  },
1976  "right": nil
1977  },
1978  "right": nil
1979  },
1980  "right": nil
1981  },
1982  "right": nil
1983  },
1984  "right": nil
1985  },
1986  "right": nil
1987  },
1988  "right": nil
1989  },
1990  "right": nil
1991  },
1992  "right": nil
1993  },
1994  "right": nil
1995  },
1996  "right": nil
1997  },
1998  "right": nil
1999  },
2000  "right": nil
2001  },
2002  "right": nil
2003  },
2004  "right": nil
2005  },
2006  "right": nil
2007  },
2008  "right": nil
2009  },
2010  "right": nil
2011  },
2012  "right": nil
2013  },
2014  "right": nil
2015  },
2016  "right": nil
2017  },
2018  "right": nil
2019  },
2020  "right": nil
2021  },
2022  "right": nil
2023  },
2024  "right": nil
2025  },
2026  "right": nil
2027  },
2028  "right": nil
2029  },
2030  "right": nil
2031  },
2032  "right": nil
2033  },
2034  "right": nil
2035  },
2036  "right": nil
2037  },
2038  "right": nil
2039  },
2040  "right": nil
2041  },
2042  "right": nil
2043  },
2044  "right": nil
2045  },
2046  "right": nil
2047  },
2048  "right": nil
2049  },
2050  "right": nil
2051  },
2052  "right": nil
2053  },
2054  "right": nil
2055  },
2056  "right": nil
2057  },
2058  "right": nil
2059  },
2060  "right": nil
2061  },
2062  "right": nil
2063  },
2064  "right": nil
2065  },
2066  "right": nil
2067  },
2068  "right": nil
2069  },
2070  "right": nil
2071  },
2072  "right": nil
2073  },
2074  "right": nil
2075  },
2076  "right": nil
2077  },
2078  "right": nil
2079  },
2080  "right": nil
2081  },
2082  "right": nil
2083  },
2084  "right": nil
2085  },
2086  "right": nil
2087  },
2088  "right": nil
2089  },
2090  "right": nil
2091  },
2092  "right": nil
2093  },
2094  "right": nil
2095  },
2096  "right": nil
2097  },
2098  "right": nil
2099  },
2100  "right": nil
2101  },
2102  "right": nil
2103  },
2104  "right": nil
2105  },
2106  "right": nil
2107  },
2108  "right": nil
2109  },
2110  "right": nil
2111  },
2112  "right": nil
2113  },
2114  "right": nil
2115  },
2116  "right": nil
2117  },
2118  "right": nil
2119  },
2120  "right": nil
2121  },
2122  "right": nil
2123  },
2124  "right": nil
2125  },
2126  "right": nil
2127  },
2128  "right": nil
2129  },
2130  "right": nil
2131  },
2132  "right": nil
2133  },
2134  "right": nil
2135  },
2136  "right": nil
2137  },
2138  "right": nil
2139  },
2140  "right": nil
2141  },
2142  "right": nil
2143  },
2144  "right": nil
2145  },
2146  "right": nil
2147  },
2148  "right": nil
2149  },
2150  "right": nil
2151  },
2152  "right": nil
2153  },
2154  "right": nil
2155  },
2156  "right": nil
2157  },
2158  "right": nil
2159  },
2160  "right": nil
2161  },
2162  "right": nil
2163  },
2164  "right": nil
2165  },
2166  "right": nil
2167  },
2168  "right": nil
2169  },
2170  "right": nil
2171  },
2172  "right": nil
2173  },
2174  "right": nil
2175  },
2176  "right": nil
2177  },
2178  "right": nil
2179  },
2180  "right": nil
2181  },
2182  "right": nil
2183  },
2184  "right": nil
2185  },
2186  "right": nil
2187  },
2188  "right": nil
2189  },
2190  "right": nil
2191  },
2192  "right": nil
2193  },
2194  "right": nil
2195  },
2196  "right": nil
2197  },
2198  "right": nil
2199  },
2200  "right": nil
2201  },
2202  "right": nil
2203  },
2204  "right": nil
2205  },
2206  "right": nil
2207  },
2208  "right": nil
2209  },
2210  "right": nil
2211  },
2212  "right": nil
2213  },
2214  "right": nil
2215  },
2216  "right": nil
2217  },
2218  "right": nil
2219  },
2220  "right": nil
2221  },
2222  "right": nil
2223  },
2224  "right": nil
2225  },
2226  "right": nil
2227  },
2228  "right": nil
2229  },
2230  "right": nil
2231  },
2232  "right": nil
2233  },
2234  "right": nil
2235  },
2236  "right": nil
2237  },
2238  "right": nil
2239  },
2240  "right": nil
2241  },
2242  "right": nil
2243  },
2244  "right": nil
2245  },
2246  "right": nil
2247  },
2248  "right": nil
2249  },
2250  "right": nil
2251  },
2252  "right": nil
2253  },
2254  "right": nil
2255  },
2256  "right": nil
2257  },
2258  "right": nil
2259  },
2260  "right": nil
2261  },
2262  "right": nil
2263  },
2264  "right": nil
2265  },
2266  "right": nil
2267  },
2268  "right": nil
2269  },
2270  "right": nil
2271  },
2272  "right": nil
2273  },
2274  "right": nil
2275  },
2276  "right": nil
2277  },
2278  "right": nil
2279  },
2280  "right": nil
2281  },
2282  "right": nil
2283  },
2284  "right": nil
2285  },
2286  "right": nil
2287  },
2288  "right": nil
2289  },
2290  "right": nil
2291  },
2292  "right": nil
2293  },
2294  "right": nil
2295  },
2296  "right": nil
2297  },
2298  "right": nil
2299  },
2300  "right": nil
2301  },
2302  "right": nil
2303  },
2304  "right": nil
2305  },
2306  "right": nil
2307  },
2308  "right": nil
2309  },
2310  "right": nil
2311  },
2312  "right": nil
2313  },
2314  "right": nil
2315  },
2316  "right": nil
2317  },
2318  "right": nil
2319  },
2320  "right": nil
2321  },
2322  "right": nil
2323  },
2324  "right": nil
2325  },
2326  "right": nil
2327  },
2328  "right": nil
2329  },
2330  "right": nil
2331  },
2332  "right": nil
2333  },
2334  "right": nil
2335  },
2336  "right": nil
2337  },
2338  "right": nil
2339  },
2340  "right": nil
2341  },
2342  "right": nil
2343  },
2344  "right": nil
2345  },
2346  "right": nil
2347  },
2348  "right": nil
2349  },
2350  "right": nil
2351  },
2352  "right": nil
2353  },
2354  "right": nil
2355  },
2356  "right": nil
2357  },
2358  "right": nil
2359  },
2360  "right": nil
2361  },
2362  "right": nil
2363  },
2364  "right": nil
2365  },
2366  "right": nil
2367  },
2368  "right": nil
2369  },
2370  "right": nil
2371  },
2372  "right": nil
2373  },
2374  "right": nil
2375  },
2376  "right": nil
2377  },
2378  "right": nil
2379  },
2380  "right": nil
2381  },
2382  "right": nil
2383  },
2384  "right": nil
2385  },
2386  "right": nil
2387  },
2388  "right": nil
2389  },
2390  "right": nil
2391  },
2392  "right": nil
2393  },
2394  "right": nil
2395  },
2396  "right": nil
2397  },
2398  "right": nil
2399  },
2400  "right": nil
2401  },
2402  "right": nil
2403  },
2404  "right": nil
2405  },
2406  "right": nil
2407  },
2408  "right": nil
2409  },
2410  "right": nil
2411  },
2412  "right": nil
2413  },
2414  "right": nil
2415  },
2416  "right": nil
2417  },
2418  "right": nil
2419  },
2420  "right": nil
2421  },
2422  "right": nil
2423  },
2424  "right": nil
2425  },
2426  "right": nil
2427  },
2428  "right": nil
2429  },
2430  "right": nil
2431  },
2432  "right": nil
2433  },
2434  "right": nil
2435  },
2436  "right": nil
2437  },
2438  "right": nil
2439  },
2440  "right": nil
2441  },
2442  "right": nil
2443  },
2444  "right": nil
2445  },
2446  "right": nil
2447  },
2448  "right": nil
2449  },
2450  "right": nil
2451  },
2452  "right": nil
2453  },
2454  "right": nil
2455  },
2456  "right": nil
2457  }
2458  }
2459  },
2460  "right": {
2461  "value": -926491286,
2462  "left": {
2463  "value": -937049921,
2464  "left": {
2465  "value": -938118006,
2466  "left": nil,
2467  "right": nil
2468  },
2469  "right": {
2470  "value": -934966794,
2471  "left": nil,
2472  "right": nil
2473  }
2474  },
2475  "right": {
2476  "value": -919890687,
2477  "left": {
2478  "value": -922261332,
2479  "left": nil,
2480  "right": nil
2481  },
2482  "right": {
2483  "value": -916500837,
2484  "left": nil,
2485  "right": nil
2486  }
2487  }
2488  }
2489  }
2490  },
2491  "right": {
2492  "value": -839996431,
2493  "left": {
2494  "value": -908241332,
2495  "left": {
2496  "value": -908690644,
2497  "left": {
2498  "value": -909084194,
2499  "left": {
2500  "value": -910693229,
2501  "left": nil,
2502  "right": nil
2503  },
2504  "right": {
2505  "value": -908777947,
2506  "left": nil,
2507  "right": nil
2508  }
2509  },
2510  "right": {
2511  "value": -908301548,
2512  "left": {
2513  "value": -908556937,
2514  "left": nil,
2515  "right": nil
2516  },
2517  "right": {
2518  "value": -908279354,
2519  "left": nil,
2520  "right": nil
2521  }
2522  }
2523  },
2524  "right": {
2525  "value": -872957197,
2526  "left": {
2527  "value": -893558172,
2528  "left": {
2529  "value": -898702162,
2530  "left": nil,
2531  "right": nil
2532  },
2533  "right": {
2534  "value": -884564964,
2535  "left": nil,
2536  "right": nil
2537  }
2538  },
2539  "right": {
2540  "value": -852265269,
2541  "left": {
2542  "value": -871388365,
2543  "left": nil,
2544  "right": nil
2545  },
2546  "right": {
2547  "value": -842520725,
2548  "left": nil,
2549  "right": nil
2550  }
2551  }
2552  }
2553  },
2554  "right": {
2555  "value": -833406939,
2556  "left": {
2557  "value": -838346609,
2558  "left": {
2559  "value": -838535782,
2560  "left": {
2561  "value": -839222197,
2562  "left": nil,
2563  "right": nil
2564  },
2565  "right": {
2566  "value": -838410431,
2567  "left": nil,
2568  "right": nil
2569  }
2570  },
2571  "right": {
2572  "value": -838237524,
2573  "left": {
2574  "value": -838291935,
2575  "left": nil,
2576  "right": nil
2577  },
2578  "right": {
2579  "value": -834995458,
2580  "left": nil,
2581  "right": nil
2582  }
2583  }
2584  },
2585  "right": {
2586  "value": -827489890,
2587  "left": {
2588  "value": -831223595,
2589  "left": {
2590  "value": -832681456,
2591  "left": nil,
2592  "right": nil
2593  },
2594  "right": {
2595  "value": -828479487,
2596  "left": nil,
2597  "right": nil
2598  }
2599  },
2600  "right": {
2601  "value": -826270004,
2602  "left": {
2603  "value": -827187878,
2604  "left": nil,
2605  "right": nil
2606  },
2607  "right": {
2608  "value": -825712721,
2609  "left": nil,
2610  "right": nil
2611  }
2612  }
2613  }
2614  }
2615  }
2616  }
2617  },
2618  "right": {
2619  "value": -727921557,
2620  "left": {
2621  "value": -782711070,
2622  "left": {
2623  "value": -789693684,
2624  "left": {
2625  "value": -796278862,
2626  "left": {
2627  "value": -797246639,
2628  "left": {
2629  "value": -805276818,
2630  "left": {
2631  "value": -824328207,
2632  "left": nil,
2633  "right": nil
2634  },
2635  "right": {
2636  "value": -804425447,
2637  "left": nil,
2638  "right": nil
2639  }
2640  },
2641  "right": {
2642  "value": -796593869,
2643  "left": {
2644  "value": -797223211,
2645  "left": nil,
2646  "right": nil
2647  },
2648  "right": {
2649  "value": -796433810,
2650  "left": nil,
2651  "right": nil
2652  }
2653  }
2654  },
2655  "right": {
2656  "value": -791295704,
2657  "left": {
2658  "value": -795745574,
2659  "left": {
2660  "value": -795997935,
2661  "left": nil,
2662  "right": nil
2663  },
2664  "right": {
2665  "value": -795688566,
2666  "left": nil,
2667  "right": nil
2668  }
2669  },
2670  "right": {
2671  "value": -789882165,
2672  "left": {
2673  "value": -790243426,
2674  "left": nil,
2675  "right": nil
2676  },
2677  "right": {
2678  "value": -789829904,
2679  "left": nil,
2680  "right": nil
2681  }
2682  }
2683  }
2684  },
2685  "right": {
2686  "value": -788722539,
2687  "left": {
2688  "value": -788759215,
2689  "left": {
2690  "value": -789345018,
2691  "left": {
2692  "value": -789399222,
2693  "left": nil,
2694  "right": nil
2695  },
2696  "right": {
2697  "value": -788838980,
2698  "left": nil,
2699  "right": nil
2700  }
2701  },
2702  "right": {
2703  "value": -788733823,
2704  "left": {
2705  "value": -788744169,
2706  "left": nil,
2707  "right": nil
2708  },
2709  "right": {
2710  "value": -788729927,
2711  "left": nil,
2712  "right": nil
2713  }
2714  }
2715  },
2716  "right": {
2717  "value": -788431993,
2718  "left": {
2719  "value": -788703380,
2720  "left": {
2721  "value": -788718324,
2722  "left": nil,
2723  "right": nil
2724  },
2725  "right": {
2726  "value": -788541183,
2727  "left": nil,
2728  "right": nil
2729  }
2730  },
2731  "right": {
2732  "value": -783245235,
2733  "left": {
2734  "value": -786062786,
2735  "left": nil,
2736  "right": nil
2737  },
2738  "right": {
2739  "value": -783224886,
2740  "left": nil,
2741  "right": nil
2742  }
2743  }
2744  }
2745  }
2746  },
2747  "right": {
2748  "value": -771612228,
2749  "left": {
2750  "value": -772085253,
2751  "left": {
2752  "value": -775202964,
2753  "left": {
2754  "value": -777644141,
2755  "left": {
2756  "value": -781283315,
2757  "left": nil,
2758  "right": nil
2759  },
2760  "right": {
2761  "value": -775754215,
2762  "left": nil,
2763  "right": nil
2764  }
2765  },
2766  "right": {
2767  "value": -775119679,
2768  "left": {
2769  "value": -775136903,
2770  "left": nil,
2771  "right": nil
2772  },
2773  "right": {
2774  "value": -774874477,
2775  "left": nil,
2776  "right": nil
2777  }
2778  }
2779  },
2780  "right": {
2781  "value": -771993263,
2782  "left": {
2783  "value": -772066237,
2784  "left": {
2785  "value": -772078629,
2786  "left": nil,
2787  "right": nil
2788  },
2789  "right": {
2790  "value": -772041449,
2791  "left": nil,
2792  "right": nil
2793  }
2794  },
2795  "right": {
2796  "value": -771897675,
2797  "left": {
2798  "value": -771924541,
2799  "left": nil,
2800  "right": nil
2801  },
2802  "right": {
2803  "value": -771743468,
2804  "left": nil,
2805  "right": nil
2806  }
2807  }
2808  }
2809  },
2810  "right": {
2811  "value": -736223609,
2812  "left": {
2813  "value": -746614127,
2814  "left": {
2815  "value": -758426725,
2816  "left": {
2817  "value": -758965337,
2818  "left": nil,
2819  "right": nil
2820  },
2821  "right": {
2822  "value": -747518228,
2823  "left": nil,
2824  "right": nil
2825  }
2826  },
2827  "right": {
2828  "value": -744216639,
2829  "left": {
2830  "value": -746545851,
2831  "left": nil,
2832  "right": nil
2833  },
2834  "right": {
2835  "value": -737152615,
2836  "left": nil,
2837  "right": nil
2838  }
2839  }
2840  },
2841  "right": {
2842  "value": -732829033,
2843  "left": {
2844  "value": -735369336,
2845  "left": {
2846  "value": -736167904,
2847  "left": nil,
2848  "right": nil
2849  },
2850  "right": {
2851  "value": -734637362,
2852  "left": nil,
2853  "right": nil
2854  }
2855  },
2856  "right": {
2857  "value": -729011300,
2858  "left": {
2859  "value": -731364934,
2860  "left": nil,
2861  "right": nil
2862  },
2863  "right": {
2864  "value": -728354644,
2865  "left": nil,
2866  "right": nil
2867  }
2868  }
2869  }
2870  }
2871  }
2872  },
2873  "right": {
2874  "value": -524438514,
2875  "left": {
2876  "value": -624213132,
2877  "left": {
2878  "value": -629434975,
2879  "left": {
2880  "value": -695893971,
2881  "left": {
2882  "value": -698850992,
2883  "left": {
2884  "value": -707550713,
2885  "left": nil,
2886  "right": nil
2887  },
2888  "right": {
2889  "value": -697384186,
2890  "left": nil,
2891  "right": nil
2892  }
2893  },
2894  "right": {
2895  "value": -654208053,
2896  "left": {
2897  "value": -657854533,
2898  "left": nil,
2899  "right": nil
2900  },
2901  "right": {
2902  "value": -639501721,
2903  "left": nil,
2904  "right": nil
2905  }
2906  }
2907  },
2908  "right": {
2909  "value": -624768514,
2910  "left": {
2911  "value": -626512560,
2912  "left": {
2913  "value": -629310611,
2914  "left": nil,
2915  "right": nil
2916  },
2917  "right": {
2918  "value": -625585747,
2919  "left": nil,
2920  "right": nil
2921  }
2922  },
2923  "right": {
2924  "value": -624269229,
2925  "left": {
2926  "value": -624466388,
2927  "left": nil,
2928  "right": nil
2929  },
2930  "right": {
2931  "value": -624246420,
2932  "left": nil,
2933  "right": nil
2934  }
2935  }
2936  }
2937  },
2938  "right": {
2939  "value": -562700019,
2940  "left": {
2941  "value": -582017404,
2942  "left": {
2943  "value": -612472337,
2944  "left": {
2945  "value": -621197859,
2946  "left": nil,
2947  "right": nil
2948  },
2949  "right": {
2950  "value": -600185439,
2951  "left": nil,
2952  "right": nil
2953  }
2954  },
2955  "right": {
2956  "value": -579796769,
2957  "left": {
2958  "value": -580057004,
2959  "left": nil,
2960  "right": nil
2961  },
2962  "right": {
2963  "value": -569355174,
2964  "left": nil,
2965  "right": nil
2966  }
2967  }
2968  },
2969  "right": {
2970  "value": -535865267,
2971  "left": {
2972  "value": -554951652,
2973  "left": {
2974  "value": -559363348,
2975  "left": nil,
2976  "right": nil
2977  },
2978  "right": nil
2979  },
2980  "right": {
2981  "value": -527954895,
2982  "left": {
2983  "value": -529131405,
2984  "left": nil,
2985  "right": nil
2986  },
2987  "right": nil
2988  }
2989  }
2990  }
2991  },
2992  "right": {
2993  "value": -485733207,
2994  "left": {
2995  "value": -494589267,
2996  "left": {
2997  "value": -515597001,
2998  "left": {
2999  "value": -515719275,
3000  "left": {
3001  "value": -521654094,
3002  "left": nil,
3003  "right": nil
3004  },
3005  "right": {
3006  "value": -515643131,
3007  "left": nil,
3008  "right": nil
3009  }
3010  },
3011  "right": {
3012  "value": -506554999,
3013  "left": {
3014  "value": -514963335,
3015  "left": nil,
3016  "right": nil
3017  },
3018  "right": {
3019  "value": -502241550,
3020  "left": nil,
3021  "right": nil
3022  }
3023  }
3024  },
3025  "right": {
3026  "value": -491099440,
3027  "left": {
3028  "value": -492165585,
3029  "left": {
3030  "value": -492616306,
3031  "left": nil,
3032  "right": nil
3033  },
3034  "right": {
3035  "value": -491213318,
3036  "left": nil,
3037  "right": nil
3038  }
3039  },
3040  "right": {
3041  "value": -490055342,
3042  "left": {
3043  "value": -490243932,
3044  "left": nil,
3045  "right": nil
3046  },
3047  "right": {
3048  "value": -486356381,
3049  "left": nil,
3050  "right": nil
3051  }
3052  }
3053  }
3054  },
3055  "right": {
3056  "value": -485434191,
3057  "left": {
3058  "value": -485673863,
3059  "left": {
3060  "value": -485718953,
3061  "left": {
3062  "value": -485731755,
3063  "left": nil,
3064  "right": nil
3065  },
3066  "right": {
3067  "value": -485689742,
3068  "left": nil,
3069  "right": nil
3070  }
3071  },
3072  "right": {
3073  "value": -485624818,
3074  "left": {
3075  "value": -485636515,
3076  "left": nil,
3077  "right": nil
3078  },
3079  "right": {
3080  "value": -485450408,
3081  "left": nil,
3082  "right": nil
3083  }
3084  }
3085  },
3086  "right": {
3087  "value": -460665705,
3088  "left": {
3089  "value": -483073337,
3090  "left": {
3091  "value": -484355513,
3092  "left": nil,
3093  "right": nil
3094  },
3095  "right": {
3096  "value": -479966609,
3097  "left": nil,
3098  "right": nil
3099  }
3100  },
3101  "right": {
3102  "value": -441256929,
3103  "left": {
3104  "value": -447105237,
3105  "left": nil,
3106  "right": nil
3107  },
3108  "right": {
3109  "value": -380963797,
3110  "left": nil,
3111  "right": nil
3112  }
3113  }
3114  }
3115  }
3116  }
3117  }
3118  }
3119  },
3120  "right": {
3121  "value": 808433215,
3122  "left": {
3123  "value": 524804906,
3124  "left": {
3125  "value": -291013737,
3126  "left": {
3127  "value": -328889474,
3128  "left": {
3129  "value": -346087497,
3130  "left": {
3131  "value": -348683613,
3132  "left": {
3133  "value": -348739705,
3134  "left": {
3135  "value": -348749727,
3136  "left": nil,
3137  "right": nil
3138  },
3139  "right": {
3140  "value": -348729165,
3141  "left": nil,
3142  "right": nil
3143  }
3144  },
3145  "right": {
3146  "value": -347101856,
3147  "left": {
3148  "value": -348176820,
3149  "left": nil,
3150  "right": nil
3151  },
3152  "right": {
3153  "value": -346971194,
3154  "left": nil,
3155  "right": nil
3156  }
3157  }
3158  },
3159  "right": {
3160  "value": -336825432,
3161  "left": {
3162  "value": -337266836,
3163  "left": {
3164  "value": -342086075,
3165  "left": nil,
3166  "right": nil
3167  },
3168  "right": nil
3169  },
3170  "right": {
3171  "value": -332321730,
3172  "left": {
3173  "value": -336254431,
3174  "left": nil,
3175  "right": nil
3176  },
3177  "right": {
3178  "value": -331683813,
3179  "left": nil,
3180  "right": nil
3181  }
3182  }
3183  }
3184  },
3185  "right": {
3186  "value": -303261808,
3187  "left": {
3188  "value": -317058573,
3189  "left": {
3190  "value": -324786986,
3191  "left": {
3192  "value": -328730981,
3193  "left": nil,
3194  "right": nil
3195  },
3196  "right": {
3197  "value": -319254561,
3198  "left": nil,
3199  "right": nil
3200  }
3201  },
3202  "right": {
3203  "value": -315716303,
3204  "left": {
3205  "value": -315915225,
3206  "left": nil,
3207  "right": nil
3208  },
3209  "right": {
3210  "value": -314001573,
3211  "left": nil,
3212  "right": nil
3213  }
3214  }
3215  },
3216  "right": {
3217  "value": -296004966,
3218  "left": {
3219  "value": -296517713,
3220  "left": {
3221  "value": -298811157,
3222  "left": nil,
3223  "right": nil
3224  },
3225  "right": {
3226  "value": -296331331,
3227  "left": nil,
3228  "right": nil
3229  }
3230  },
3231  "right": {
3232  "value": -294581377,
3233  "left": {
3234  "value": -295547226,
3235  "left": nil,
3236  "right": nil
3237  },
3238  "right": {
3239  "value": -294443540,
3240  "left": nil,
3241  "right": nil
3242  }
3243  }
3244  }
3245  }
3246  },
3247  "right": {
3248  "value": 232193464,
3249  "left": {
3250  "value": 113724127,
3251  "left": {
3252  "value": -104482778,
3253  "left": {
3254  "value": -157525683,
3255  "left": {
3256  "value": -263241265,
3257  "left": nil,
3258  "right": nil
3259  },
3260  "right": {
3261  "value": -137287838,
3262  "left": nil,
3263  "right": nil
3264  }
3265  },
3266  "right": {
3267  "value": 28103714,
3268  "left": {
3269  "value": 6140342,
3270  "left": nil,
3271  "right": nil
3272  },
3273  "right": {
3274  "value": 57598178,
3275  "left": nil,
3276  "right": nil
3277  }
3278  }
3279  },
3280  "right": {
3281  "value": 198833325,
3282  "left": nil,
3283  "right": {
3284  "value": 219246942,
3285  "left": {
3286  "value": 216627206,
3287  "left": nil,
3288  "right": nil
3289  },
3290  "right": {
3291  "value": 229195554,
3292  "left": nil,
3293  "right": nil
3294  }
3295  }
3296  }
3297  },
3298  "right": {
3299  "value": 505384398,
3300  "left": {
3301  "value": 443494737,
3302  "left": {
3303  "value": 371940187,
3304  "left": {
3305  "value": 324303356,
3306  "left": nil,
3307  "right": nil
3308  },
3309  "right": {
3310  "value": 437735241,
3311  "left": nil,
3312  "right": nil
3313  }
3314  },
3315  "right": {
3316  "value": 459143684,
3317  "left": {
3318  "value": 446965164,
3319  "left": nil,
3320  "right": nil
3321  },
3322  "right": {
3323  "value": 502896026,
3324  "left": nil,
3325  "right": nil
3326  }
3327  }
3328  },
3329  "right": {
3330  "value": 524541684,
3331  "left": {
3332  "value": 512446041,
3333  "left": {
3334  "value": 511692006,
3335  "left": nil,
3336  "right": nil
3337  },
3338  "right": {
3339  "value": 520402756,
3340  "left": nil,
3341  "right": nil
3342  }
3343  },
3344  "right": {
3345  "value": 524573958,
3346  "left": {
3347  "value": 524559458,
3348  "left": nil,
3349  "right": nil
3350  },
3351  "right": {
3352  "value": 524625798,
3353  "left": nil,
3354  "right": nil
3355  }
3356  }
3357  }
3358  }
3359  }
3360  },
3361  "right": {
3362  "value": 640503933,
3363  "left": nil,
3364  "right": {
3365  "value": 760087445,
3366  "left": {
3367  "value": 711840150,
3368  "left": {
3369  "value": 688240743,
3370  "left": {
3371  "value": 658675178,
3372  "left": {
3373  "value": 656327864,
3374  "left": nil,
3375  "right": nil
3376  },
3377  "right": {
3378  "value": 668866012,
3379  "left": nil,
3380  "right": nil
3381  }
3382  },
3383  "right": {
3384  "value": 704868863,
3385  "left": {
3386  "value": 704034247,
3387  "left": nil,
3388  "right": nil
3389  },
3390  "right": {
3391  "value": 707340751,
3392  "left": nil,
3393  "right": nil
3394  }
3395  }
3396  },
3397  "right": {
3398  "value": 749739118,
3399  "left": {
3400  "value": 728112309,
3401  "left": {
3402  "value": 717193239,
3403  "left": nil,
3404  "right": nil
3405  },
3406  "right": {
3407  "value": 748824528,
3408  "left": nil,
3409  "right": nil
3410  }
3411  },
3412  "right": {
3413  "value": 759430600,
3414  "left": {
3415  "value": 756851128,
3416  "left": nil,
3417  "right": nil
3418  },
3419  "right": {
3420  "value": 760049358,
3421  "left": nil,
3422  "right": nil
3423  }
3424  }
3425  }
3426  },
3427  "right": {
3428  "value": 790434708,
3429  "left": {
3430  "value": 781237116,
3431  "left": {
3432  "value": 766995455,
3433  "left": {
3434  "value": 766069402,
3435  "left": nil,
3436  "right": nil
3437  },
3438  "right": {
3439  "value": 774211921,
3440  "left": nil,
3441  "right": nil
3442  }
3443  },
3444  "right": {
3445  "value": 784633658,
3446  "left": {
3447  "value": 782718878,
3448  "left": nil,
3449  "right": nil
3450  },
3451  "right": {
3452  "value": 787244643,
3453  "left": nil,
3454  "right": nil
3455  }
3456  }
3457  },
3458  "right": {
3459  "value": 805726634,
3460  "left": {
3461  "value": 799751344,
3462  "left": {
3463  "value": 799625393,
3464  "left": nil,
3465  "right": nil
3466  },
3467  "right": {
3468  "value": 802041231,
3469  "left": nil,
3470  "right": nil
3471  }
3472  },
3473  "right": {
3474  "value": 808411517,
3475  "left": {
3476  "value": 807649098,
3477  "left": nil,
3478  "right": nil
3479  },
3480  "right": {
3481  "value": 808422978,
3482  "left": nil,
3483  "right": nil
3484  }
3485  }
3486  }
3487  }
3488  }
3489  }
3490  },
3491  "right": {
3492  "value": 925702250,
3493  "left": {
3494  "value": 857105131,
3495  "left": {
3496  "value": 824306558,
3497  "left": {
3498  "value": 819286735,
3499  "left": {
3500  "value": 811649156,
3501  "left": {
3502  "value": 811258678,
3503  "left": {
3504  "value": 809933085,
3505  "left": nil,
3506  "right": nil
3507  },
3508  "right": {
3509  "value": 811346090,
3510  "left": nil,
3511  "right": nil
3512  }
3513  },
3514  "right": {
3515  "value": 815412004,
3516  "left": {
3517  "value": 814170698,
3518  "left": nil,
3519  "right": nil
3520  },
3521  "right": {
3522  "value": 816365237,
3523  "left": nil,
3524  "right": nil
3525  }
3526  }
3527  },
3528  "right": {
3529  "value": 821765470,
3530  "left": {
3531  "value": 819952686,
3532  "left": {
3533  "value": 819394080,
3534  "left": nil,
3535  "right": nil
3536  },
3537  "right": {
3538  "value": 820150865,
3539  "left": nil,
3540  "right": nil
3541  }
3542  },
3543  "right": {
3544  "value": 822737838,
3545  "left": {
3546  "value": 821994229,
3547  "left": nil,
3548  "right": nil
3549  },
3550  "right": {
3551  "value": 823151987,
3552  "left": nil,
3553  "right": nil
3554  }
3555  }
3556  }
3557  },
3558  "right": {
3559  "value": 844823179,
3560  "left": {
3561  "value": 825971146,
3562  "left": {
3563  "value": 824966281,
3564  "left": {
3565  "value": 824577294,
3566  "left": nil,
3567  "right": nil
3568  },
3569  "right": {
3570  "value": 825643482,
3571  "left": nil,
3572  "right": nil
3573  }
3574  },
3575  "right": {
3576  "value": 840096638,
3577  "left": {
3578  "value": 839332488,
3579  "left": nil,
3580  "right": nil
3581  },
3582  "right": {
3583  "value": 843881237,
3584  "left": nil,
3585  "right": nil
3586  }
3587  }
3588  },
3589  "right": {
3590  "value": 849073330,
3591  "left": {
3592  "value": 847410562,
3593  "left": {
3594  "value": 845577985,
3595  "left": nil,
3596  "right": nil
3597  },
3598  "right": {
3599  "value": 847562695,
3600  "left": nil,
3601  "right": nil
3602  }
3603  },
3604  "right": {
3605  "value": 852364790,
3606  "left": {
3607  "value": 849871101,
3608  "left": nil,
3609  "right": nil
3610  },
3611  "right": {
3612  "value": 853585962,
3613  "left": nil,
3614  "right": nil
3615  }
3616  }
3617  }
3618  }
3619  },
3620  "right": {
3621  "value": 861017360,
3622  "left": {
3623  "value": 858009441,
3624  "left": {
3625  "value": 857652384,
3626  "left": {
3627  "value": 857499512,
3628  "left": {
3629  "value": 857315270,
3630  "left": nil,
3631  "right": nil
3632  },
3633  "right": {
3634  "value": 857632574,
3635  "left": nil,
3636  "right": nil
3637  }
3638  },
3639  "right": {
3640  "value": 857967266,
3641  "left": {
3642  "value": 857805163,
3643  "left": nil,
3644  "right": nil
3645  },
3646  "right": {
3647  "value": 857993378,
3648  "left": nil,
3649  "right": nil
3650  }
3651  }
3652  },
3653  "right": {
3654  "value": 860532342,
3655  "left": {
3656  "value": 860285736,
3657  "left": {
3658  "value": 860088963,
3659  "left": nil,
3660  "right": nil
3661  },
3662  "right": {
3663  "value": 860344196,
3664  "left": nil,
3665  "right": nil
3666  }
3667  },
3668  "right": {
3669  "value": 860591918,
3670  "left": {
3671  "value": 860579007,
3672  "left": nil,
3673  "right": nil
3674  },
3675  "right": {
3676  "value": 860702920,
3677  "left": nil,
3678  "right": nil
3679  }
3680  }
3681  }
3682  },
3683  "right": {
3684  "value": 912057216,
3685  "left": {
3686  "value": 898436752,
3687  "left": {
3688  "value": 877000676,
3689  "left": {
3690  "value": 865287114,
3691  "left": nil,
3692  "right": nil
3693  },
3694  "right": {
3695  "value": 887597563,
3696  "left": nil,
3697  "right": nil
3698  }
3699  },
3700  "right": {
3701  "value": 908693407,
3702  "left": {
3703  "value": 901392291,
3704  "left": nil,
3705  "right": nil
3706  },
3707  "right": {
3708  "value": 909766473,
3709  "left": nil,
3710  "right": nil
3711  }
3712  }
3713  },
3714  "right": {
3715  "value": 925144665,
3716  "left": {
3717  "value": 920014631,
3718  "left": {
3719  "value": 916445327,
3720  "left": nil,
3721  "right": nil
3722  },
3723  "right": {
3724  "value": 924893700,
3725  "left": nil,
3726  "right": nil
3727  }
3728  },
3729  "right": {
3730  "value": 925619846,
3731  "left": {
3732  "value": 925179685,
3733  "left": nil,
3734  "right": nil
3735  },
3736  "right": {
3737  "value": 925671467,
3738  "left": nil,
3739  "right": nil
3740  }
3741  }
3742  }
3743  }
3744  }
3745  },
3746  "right": {
3747  "value": 999055392,
3748  "left": {
3749  "value": 976522654,
3750  "left": {
3751  "value": 932586648,
3752  "left": {
3753  "value": 926368913,
3754  "left": {
3755  "value": 926273575,
3756  "left": {
3757  "value": 926173435,
3758  "left": nil,
3759  "right": nil
3760  },
3761  "right": {
3762  "value": 926325448,
3763  "left": nil,
3764  "right": nil
3765  }
3766  },
3767  "right": {
3768  "value": 926615679,
3769  "left": {
3770  "value": 926563538,
3771  "left": nil,
3772  "right": nil
3773  },
3774  "right": {
3775  "value": 931344108,
3776  "left": nil,
3777  "right": nil
3778  }
3779  }
3780  },
3781  "right": {
3782  "value": 937629293,
3783  "left": {
3784  "value": 934077677,
3785  "left": {
3786  "value": 933642985,
3787  "left": nil,
3788  "right": nil
3789  },
3790  "right": {
3791  "value": 936508233,
3792  "left": nil,
3793  "right": nil
3794  }
3795  },
3796  "right": {
3797  "value": 955426856,
3798  "left": {
3799  "value": 946666545,
3800  "left": nil,
3801  "right": nil
3802  },
3803  "right": {
3804  "value": 959622368,
3805  "left": nil,
3806  "right": nil
3807  }
3808  }
3809  }
3810  },
3811  "right": {
3812  "value": 984593578,
3813  "left": {
3814  "value": 984570966,
3815  "left": {
3816  "value": 982972465,
3817  "left": {
3818  "value": 981354607,
3819  "left": nil,
3820  "right": nil
3821  },
3822  "right": {
3823  "value": 983519184,
3824  "left": nil,
3825  "right": nil
3826  }
3827  },
3828  "right": {
3829  "value": 984582335,
3830  "left": {
3831  "value": 984571511,
3832  "left": nil,
3833  "right": nil
3834  },
3835  "right": {
3836  "value": 984590000,
3837  "left": nil,
3838  "right": nil
3839  }
3840  }
3841  },
3842  "right": {
3843  "value": 996057745,
3844  "left": {
3845  "value": 988877153,
3846  "left": {
3847  "value": 985853834,
3848  "left": nil,
3849  "right": nil
3850  },
3851  "right": {
3852  "value": 992006148,
3853  "left": nil,
3854  "right": nil
3855  }
3856  },
3857  "right": {
3858  "value": 998537710,
3859  "left": {
3860  "value": 997890240,
3861  "left": nil,
3862  "right": nil
3863  },
3864  "right": {
3865  "value": 998651108,
3866  "left": nil,
3867  "right": nil
3868  }
3869  }
3870  }
3871  }
3872  },
3873  "right": {
3874  "value": 999605267,
3875  "left": {
3876  "value": 999404797,
3877  "left": {
3878  "value": 999274621,
3879  "left": {
3880  "value": 999245018,
3881  "left": {
3882  "value": 999093333,
3883  "left": nil,
3884  "right": nil
3885  },
3886  "right": {
3887  "value": 999256091,
3888  "left": nil,
3889  "right": nil
3890  }
3891  },
3892  "right": {
3893  "value": 999329503,
3894  "left": {
3895  "value": 999297580,
3896  "left": nil,
3897  "right": nil
3898  },
3899  "right": {
3900  "value": 999354339,
3901  "left": nil,
3902  "right": nil
3903  }
3904  }
3905  },
3906  "right": {
3907  "value": 999550476,
3908  "left": {
3909  "value": 999539035,
3910  "left": {
3911  "value": 999443689,
3912  "left": nil,
3913  "right": nil
3914  },
3915  "right": {
3916  "value": 999539177,
3917  "left": nil,
3918  "right": nil
3919  }
3920  },
3921  "right": {
3922  "value": 999574529,
3923  "left": {
3924  "value": 999562056,
3925  "left": nil,
3926  "right": nil
3927  },
3928  "right": {
3929  "value": 999586681,
3930  "left": nil,
3931  "right": nil
3932  }
3933  }
3934  }
3935  },
3936  "right": {
3937  "value": 999644338,
3938  "left": {
3939  "value": 999632051,
3940  "left": {
3941  "value": 999618317,
3942  "left": {
3943  "value": 999611501,
3944  "left": nil,
3945  "right": nil
3946  },
3947  "right": {
3948  "value": 999619083,
3949  "left": nil,
3950  "right": nil
3951  }
3952  },
3953  "right": {
3954  "value": 999636910,
3955  "left": {
3956  "value": 999635318,
3957  "left": nil,
3958  "right": nil
3959  },
3960  "right": {
3961  "value": 999642856,
3962  "left": nil,
3963  "right": nil
3964  }
3965  }
3966  },
3967  "right": {
3968  "value": 999931684,
3969  "left": {
3970  "value": 999906618,
3971  "left": {
3972  "value": 999717902,
3973  "left": nil,
3974  "right": nil
3975  },
3976  "right": {
3977  "value": 999921064,
3978  "left": nil,
3979  "right": nil
3980  }
3981  },
3982  "right": {
3983  "value": 999986026,
3984  "left": {
3985  "value": 999970275,
3986  "left": nil,
3987  "right": nil
3988  },
3989  "right": {
3990  "value": 999996331,
3991  "left": nil,
3992  "right": nil
3993  }
3994  }
3995  }
3996  }
3997  }
3998  }
3999  }
4000  }
4001},
4002queries: [-942765665, -942765799, -942765737, -942765498, 962368765, 235142701, -714600801, -982067056, 964682986, -761033710, 310778828, -827890484, 857499512, 839480959, 955426856, -167019043, -944237440, -942765469, -942765755, 656603678, -942765839, 671700394, -476502379, 808433215, -942765485, -942765577, -331908252, -942765350, -999382814, 791787847, 342619150, -639529093, 433793200, -942765668, 298090578, -942765622, 825468534, -769677309, 508148726, 118384372, -693287205, -652515683, -315716303, 924893700, 534067828, -942765506, -942765748, -785066678, 749739118, -655911547, -453449372, -976929768, -485673863, -942765512, -941092796, -942765589, -942765848, 42080873, -807853592, -942765647, 999792215, -654181579, -981902698, -201505833, 71733414, -942765546, -330636437, -852265269, 537933165, -942765334, -945679402, -766602683, 421602203, -824328207, 925144665, 612771300, -479966609, -253189773, -942765653, 232193464, -622563971, -697384186, -788097692, -942765399, 338834359, 524573958, -942765619, 2775195, -942765494, -191430959, -612483461, -942765836, -908777947, -346971194, -777546827, 333481626, 668866012, -428303986, -942765652, -942765811, -942765628, -942765644, -936005894, -942765564, -746614127, -942765430, 67964907, 926273575, -485731755, 502896026, -942765342, -483073337, -862409547, 179422177, -263241265, 589253930, 935852192, 986784962, -625585747, -942765386, 808411517, -776446092, -651562534, -910075268, 216627206, -308504722, -602991082, -942765753, -490243932, 837780276, -342319180, -942765649, 420531644, 798239455, 799625393, 737903484, -615200330, -64030747, -942765689, -864633558, -942765837, -327791709, -873277273, 851933070, -978257718, -728354644, -348176820, -465134760, 726737340, 759262654, -736167904, 931344108, -942765364, 746072623, 643512524, -942765618, -839996431, -732827954, 849073330, -942765601, -942765417, -942765773, -980359358, 895478378, 61362879, -978241647, -697639549, 503008818, -837897173, 916445327, 648403457, -469540305, -622201520, 427015249, -488276394, -827489890, 639656019, -514963335, 711986473, 21266990, 750419497, -772041449, -942765360, -154479648, -54150755, -732829033, 115963159, -750373949, 151677286, 787567267, -942765516, 876589865, -402703245, 728112309, -942765526, 512446041, 612699271, -839222197, 635046810, -621841814, -942765659, -104482778, -942765609, -451021596, -942765809, -942765591, -942765760, -942765635, -942765533, 780149574, 824966281, -527954895, 787522310, -649658202, 227981951, -485434191, 297987195, -481111496, 774211921, -317058573, -131858172, -908241332, -617863345, -107514516, -493185682, -942765782, -942765510, -838346609, -942765634, -337266836, 210131622, -942765522, 866493684, -942765700, -629435557, -468160264, 802041231, 99518198, -435322190, 805459744, -942765418, 535058133, 877000676, -624269229, 756037951, 734250741, 486193414, 998537710, -323916042, -942765456, -942765579, -942765359, 549448642, 932586648, 490867914, 510672772, -965310121, -942765607, -525354466, 656748181, -966816130, -372013363, -942765388, -942765524, -905271003, -942765717, -979274567, 642356410, -942765680, 3159540, -336583293, 219322860, -982815554, 953385179, -942765670, -942765504, 243224305, -942765443, -942765468, 360561286, -942765507, -502241550, -183948368, -942765503, -942765479, -942765575, -942765629, -189545196, -524438514, -942765821, -942765615, -942765648, -779047154, -489007441, -942765593, -942765790, 805726634, -942765592, -746545851, -942765725, 852122797, 282399095, 562971199, 105457609, -942765588, 984582335, 570875719, 819952686, -569355174, 860344196, -942765793, 819033683, -942765718, -415957632, 892068602, -706165308, 294425467, -942765450, 717193239, 356763582, 788416434, 298135577, -258525966, 999611501, -942765367, -982090515, 960347329, -803982123, -492616306, 2150735, -942765493, -942765688, -942765556, -826843717, 999329503, -982474183, -976513508, -942765803, 957590694, -171352891, -930488665, -401150324, 462528398, -942765541, -942765539, -626512560, -174171645, -942765484, 609559091, -853747608, -942765777, 925179685, 335083967, 291676348, 860285736, 56646123, -942765770, 358943865, 955774042, -942765402, -535865267, -942765658, -942765656, -638974564, -942765352, 426665782, -942765832, -942765435, -687591552, 711334169, -942765805, -942765322, -996894103, -983710565, -942765461, -942765362, -942765424, 592541345, 933642985, 187870760, -376757083, -52668063, 183819321, -942765714, -120291363, -936877528, -942765720, -296331331, -582017404, 446965164, -336825432, -942765397, -942765486, -908301548, -942765768, -942765363, -942765706, 915182702, -548113437, -684900045, -328730981, -942765490, -250104546, 982882077, -942765711, 28443640, 688863186, -32718729, 462177839, 926615679, -80452736, 719863939, -978428737, -942765453, 920874573, -718228073, -387522778, 57598178, 544229270, -942765758, -484290645, -559363348, 774617680, -942765721, -942765327, -398766003, -836885371, -90226916, -595880255, -488565724, -942765826, 802716540, -908279354, 171297962, -325201095, -296517713, 591805470, -942765361, 737292739, -942765559, -151138365, -826270004, -492165585, 6140342, -553601182, -942765743, -942765676, -458763594, -161539850, -137358218, 198833325, -942765812, -999581661, 865287114, -66339868, -303261808, 421159189, 728354591, 926325448, 252878271, -942765603, -942765813, -942765846, 808422978, -984096674, -60818763, -108706889, -942765561, -942765765, 12516720, -978901594, -942765521, 834165050, 688922225, 497705978, -117314360, -801414494, -942765783, -758965337, -900060875, 243246607, 111114453, -942765412, 445877216, -942765382, -707550713, -651863716, 140414938, -978445486, 646929948, -95456654, -942765750, -942765632, -675170861, 999636910, 609974398, -942765338, 933430812, 612706188, -942765679, -942765555, -942765780, 852309023, 938100993, -729391223, -942765329, -455538475, 816365237, -951804633, -993780062, 707340751, -805297997, -942765332, -976686917, -951784844, 752923111, -710619588, 162164749, 35437183, -346087497, -420011678, -26730366, -797223211, -942765557, -942765842, -942765661, -482070956, 435658755, -942765774, 266097597, -766772003, -315915225, -942765511, 324303356, 850111664, -506554999, -354939525, -676425575, -945101996, -942765429, 310822101, -788431993, -791295704, -910693229, -942765562, 522351147, 221824491, -942765394, -942765673, 425654640, -942765437, -740762334, -750846887, -942765535, -421303522, 149549345, -994918918, -698850992, -729011300, 176630290, -908556937, -998036818, -782711070, -712895906, -942765806, 840096638, 418679897, -942765471, -942846385, 594006202, -942765348, -228166939, 984590000, -980246393, -174036400, 440943875, 941774518, -992462194, 936508233, -942765458, -942765395, 999093333, -855236329, -942765323, 429638642, -942765571, 281385205, -470698873, 671392527, -191814686, -485718953, -942765738, 860088963, -72760923, -942765347, 783407798, 141102898, 528552593, 983519184, -848676455, 43502534, 839332488, 868501222, -942765742, 520072040, -127376904, -331683813, 847546390, -942765675, -29707017, -942765600, -942765631, -106603907, 346555212, -942765802, 860702920, -372178917, -639706507, 22257005, 131608686, -942765833, -942765621, -321367488, -942765515, -942765396, -747410754, -998133050, -167049377, 546367390, 781237116, 351471723, 997890240, 781842850, -922261332, 378946072, 821640760, -414133230, -640964288, 583656491, -942765489, 814170698, 413462917, 978075108, 509276803, -942765660, 211402268, 707747212, -942765761, -942765553, 38153784, 824306558, 766995455, 999354339, 949595450, -303885128, -578014292, -942765797, -998358422, 975196943, 958904992, 294579268, 144581573, 658675178, -772085253, 860532342, -942765354, -795997935, -781283315, -997746424, -157525683, -978321587, 101488986, 166966486, 857507291, -942765834, -772066237, -942765594, -942765794, 795814083, -35202632, -48554863, -942765723, -745595784, -942765767, 358160927, 299248116, -942765841, -942765845, 782718878, -942765445, -998814090, -347101856, -328889474, -435830551, -419419590, -321739642, -942765416, 85414332, 84699537, -884564964, 120759894, -942765451, 472304194, -942765740, -942765462, -104768738, 932380221, -888507075, -942765686, -511824405, -556339393, -518856220, -942765336, -116601099, 820150865, 579951783, -567305176, -951860507, -942765739, 373674672, -942765633, 189475183, 901392291, -942765371, -998211991, 436881507, -294443540, 593721842, -735369336, -228343661, -191317142, 184144712, -786062786, 29122315, 55136056, 710566121, 745410103, 900485076, 852364790, -306319503, -942765804, 822612906, -942765538, -942765543, -942765542, -942765620, -942765630, -628878460, -307148353, -515643131, 589381588, -734637362, -942765746, -969590598, -250754615, -942765442, -942765528, 778892051, 760049358, 384551688, -125221548, 101613886, -5068073, -431374230, -942765508, -551575194, 89678081, -942765800, -942765766, -731364934, 15542544, -797246639, -93990904, -942765422, -375556096, 747136374, -393394150, -978809425, -998170235, -942765731, -515719275, -748602685, -954748445, -239624547, -942765488, 365549112, 656327864, 988877153, -942765712, -827187878, -942765785, 748824528, -609711934, -942765569, -542929450, -942765411, -295547226, 516709861, 761218943, -16711979, -585810231, 6371233, 163758941, -448406833, -942765434, -799316963, -485450408, -823556382, -838805750, 462832704, -942765606, -942765566, -942765751, 628056417, -942765667, -486931391, -942765640, 98444416, -942765463, -942765519, -485624818, 999931684, -298811157, -900564455, -942765584, 820792369, -937049921, -364760250, -942765387, -775119679, -630995679, -758426725, -942765459, -984327626, 169580235, -942765472, -942765406, -942765608, -969546598, -532292222, -743029506, 857315270, 999443689, 271547838, 190874221, -942765585, -942765590, -594961760, 402810406, -556005728, 926402106, -868700476, 857967266, -791474506, -777644141, -624466388, -571660379, 322688673, 459143684, -942765366, 77737540, -367261331, -956069874, -942765398, 320520341, -942765616, -441318093, 584841710, -942221433, -826765132, 687117083, 944747580, -805276818, 817380733, 286089069, -942765641, 884588969, 135419252, -942765744, 640503933, -951844249, 316777688, -804425447, -342086075, -942765481, 999635318, -942765532, -596155527, -661623474, -942765552, -942765638, 760511857, 911946337, -942765745, -942765464, -242586961, -942765657, 400044257, -942765726, -281570383, -838889109, -291013737, -929662318, -995664439, -336254431, 825971146, -942765684, -848478651, 656447344, 197453564, 820250068, 999245018, -942765410, 517049050, -493790989, -942765324, 999921064, -942765671, -679670939, -942765778, -823139357, -942765474, -942765403, -942765565, -771993263, -942765838, -789882165, -978298934, -265249719, 251323238, 524625798, -942765639, 487817432, -581019011, -331144079, 853585962, 658642547, -842520725, -942765440, -942765604, 819286735, -942765801, 161159409, 385969407, -986952377, -821698233, -942765814, 202041068, -942765683, -942765692, -942765643, -942765548, -122105089, -942765752, 524804906, 677754848, -942765368, -942765505, -942765730, 985853834, -795745574, 368226882, -765862645, 851978678, 978842744, -942765823, -942765775, 984571511, -838237524, -490055342, 849871101, 819394080, -942765423, 19230540, -942765763, -332321730, -883545274, 805120716, -942765817, -657870182, -942765699, -942765573, -657854533, -942765531, -817134250, 841269278, -942765798, -942765754, -162480605, -981516145, -898702162, 697891935, 999986026, -942765449, -942765791, -942765567, -788541183, -320386285, -978622780, 441177728], x: {
4003  "value": -348761264,
4004  "left": {
4005  "value": -825429040,
4006  "left": {
4007  "value": -976865288,
4008  "left": {
4009  "value": -981956058,
4010  "left": {
4011  "value": -998023278,
4012  "left": {
4013  "value": -999357649,
4014  "left": {
4015  "value": -999618835,
4016  "left": {
4017  "value": -999862211,
4018  "left": {
4019  "value": -999963773,
4020  "left": nil,
4021  "right": nil
4022  },
4023  "right": nil
4024  },
4025  "right": nil
4026  },
4027  "right": {
4028  "value": -998224931,
4029  "left": {
4030  "value": -998245361,
4031  "left": {
4032  "value": -998261431,
4033  "left": nil,
4034  "right": nil
4035  },
4036  "right": nil
4037  },
4038  "right": {
4039  "value": -998118656,
4040  "left": nil,
4041  "right": nil
4042  }
4043  }
4044  },
4045  "right": {
4046  "value": -988230260,
4047  "left": {
4048  "value": -997344052,
4049  "left": nil,
4050  "right": {
4051  "value": -989322504,
4052  "left": nil,
4053  "right": nil
4054  }
4055  },
4056  "right": {
4057  "value": -984016872,
4058  "left": {
4059  "value": -984078355,
4060  "left": nil,
4061  "right": nil
4062  },
4063  "right": nil
4064  }
4065  }
4066  },
4067  "right": {
4068  "value": -979262791,
4069  "left": {
4070  "value": -980134566,
4071  "left": {
4072  "value": -981636586,
4073  "left": {
4074  "value": -981918097,
4075  "left": nil,
4076  "right": nil
4077  },
4078  "right": nil
4079  },
4080  "right": {
4081  "value": -980076933,
4082  "left": {
4083  "value": -980102981,
4084  "left": nil,
4085  "right": nil
4086  },
4087  "right": nil
4088  }
4089  },
4090  "right": {
4091  "value": -978308902,
4092  "left": {
4093  "value": -978329481,
4094  "left": {
4095  "value": -978415171,
4096  "left": nil,
4097  "right": {
4098  "value": -978380426,
4099  "left": nil,
4100  "right": nil
4101  }
4102  },
4103  "right": {
4104  "value": -978311047,
4105  "left": nil,
4106  "right": nil
4107  }
4108  },
4109  "right": {
4110  "value": -977093698,
4111  "left": nil,
4112  "right": {
4113  "value": -977055878,
4114  "left": nil,
4115  "right": nil
4116  }
4117  }
4118  }
4119  }
4120  },
4121  "right": {
4122  "value": -912955740,
4123  "left": {
4124  "value": -946532401,
4125  "left": {
4126  "value": -966717919,
4127  "left": {
4128  "value": -971501221,
4129  "left": {
4130  "value": -976169902,
4131  "left": nil,
4132  "right": {
4133  "value": -975417443,
4134  "left": nil,
4135  "right": nil
4136  }
4137  },
4138  "right": {
4139  "value": -966791938,
4140  "left": nil,
4141  "right": nil
4142  }
4143  },
4144  "right": {
4145  "value": -960174471,
4146  "left": nil,
4147  "right": {
4148  "value": -951402822,
4149  "left": nil,
4150  "right": nil
4151  }
4152  }
4153  },
4154  "right": {
4155  "value": -940249230,
4156  "left": {
4157  "value": -944931577,
4158  "left": {
4159  "value": -945854193,
4160  "left": nil,
4161  "right": nil
4162  },
4163  "right": {
4164  "value": -942765320,
4165  "left": {
4166  "value": -942765321,
4167  "left": {
4168  "value": -942765325,
4169  "left": {
4170  "value": -942765326,
4171  "left": {
4172  "value": -942765328,
4173  "left": {
4174  "value": -942765330,
4175  "left": {
4176  "value": -942765331,
4177  "left": {
4178  "value": -942765333,
4179  "left": {
4180  "value": -942765335,
4181  "left": {
4182  "value": -942765337,
4183  "left": {
4184  "value": -942765339,
4185  "left": {
4186  "value": -942765340,
4187  "left": {
4188  "value": -942765341,
4189  "left": {
4190  "value": -942765343,
4191  "left": {
4192  "value": -942765344,
4193  "left": {
4194  "value": -942765345,
4195  "left": {
4196  "value": -942765346,
4197  "left": {
4198  "value": -942765349,
4199  "left": {
4200  "value": -942765351,
4201  "left": {
4202  "value": -942765353,
4203  "left": {
4204  "value": -942765355,
4205  "left": {
4206  "value": -942765356,
4207  "left": {
4208  "value": -942765357,
4209  "left": {
4210  "value": -942765358,
4211  "left": {
4212  "value": -942765365,
4213  "left": {
4214  "value": -942765369,
4215  "left": {
4216  "value": -942765370,
4217  "left": {
4218  "value": -942765372,
4219  "left": {
4220  "value": -942765373,
4221  "left": {
4222  "value": -942765374,
4223  "left": {
4224  "value": -942765375,
4225  "left": {
4226  "value": -942765376,
4227  "left": {
4228  "value": -942765377,
4229  "left": {
4230  "value": -942765378,
4231  "left": {
4232  "value": -942765379,
4233  "left": {
4234  "value": -942765380,
4235  "left": {
4236  "value": -942765381,
4237  "left": {
4238  "value": -942765383,
4239  "left": {
4240  "value": -942765384,
4241  "left": {
4242  "value": -942765385,
4243  "left": {
4244  "value": -942765389,
4245  "left": {
4246  "value": -942765390,
4247  "left": {
4248  "value": -942765391,
4249  "left": {
4250  "value": -942765392,
4251  "left": {
4252  "value": -942765393,
4253  "left": {
4254  "value": -942765400,
4255  "left": {
4256  "value": -942765401,
4257  "left": {
4258  "value": -942765404,
4259  "left": {
4260  "value": -942765405,
4261  "left": {
4262  "value": -942765407,
4263  "left": {
4264  "value": -942765408,
4265  "left": {
4266  "value": -942765409,
4267  "left": {
4268  "value": -942765413,
4269  "left": {
4270  "value": -942765414,
4271  "left": {
4272  "value": -942765415,
4273  "left": {
4274  "value": -942765419,
4275  "left": {
4276  "value": -942765420,
4277  "left": {
4278  "value": -942765421,
4279  "left": {
4280  "value": -942765425,
4281  "left": {
4282  "value": -942765426,
4283  "left": {
4284  "value": -942765427,
4285  "left": {
4286  "value": -942765428,
4287  "left": {
4288  "value": -942765431,
4289  "left": {
4290  "value": -942765432,
4291  "left": {
4292  "value": -942765433,
4293  "left": {
4294  "value": -942765436,
4295  "left": {
4296  "value": -942765438,
4297  "left": {
4298  "value": -942765439,
4299  "left": {
4300  "value": -942765441,
4301  "left": {
4302  "value": -942765444,
4303  "left": {
4304  "value": -942765446,
4305  "left": {
4306  "value": -942765447,
4307  "left": {
4308  "value": -942765448,
4309  "left": {
4310  "value": -942765452,
4311  "left": {
4312  "value": -942765454,
4313  "left": {
4314  "value": -942765455,
4315  "left": {
4316  "value": -942765457,
4317  "left": {
4318  "value": -942765460,
4319  "left": {
4320  "value": -942765465,
4321  "left": {
4322  "value": -942765466,
4323  "left": {
4324  "value": -942765467,
4325  "left": {
4326  "value": -942765470,
4327  "left": {
4328  "value": -942765473,
4329  "left": {
4330  "value": -942765475,
4331  "left": {
4332  "value": -942765476,
4333  "left": {
4334  "value": -942765477,
4335  "left": {
4336  "value": -942765478,
4337  "left": {
4338  "value": -942765480,
4339  "left": {
4340  "value": -942765482,
4341  "left": {
4342  "value": -942765483,
4343  "left": {
4344  "value": -942765487,
4345  "left": {
4346  "value": -942765491,
4347  "left": {
4348  "value": -942765492,
4349  "left": {
4350  "value": -942765495,
4351  "left": {
4352  "value": -942765496,
4353  "left": {
4354  "value": -942765497,
4355  "left": {
4356  "value": -942765499,
4357  "left": {
4358  "value": -942765500,
4359  "left": {
4360  "value": -942765501,
4361  "left": {
4362  "value": -942765502,
4363  "left": {
4364  "value": -942765509,
4365  "left": {
4366  "value": -942765513,
4367  "left": {
4368  "value": -942765514,
4369  "left": {
4370  "value": -942765517,
4371  "left": {
4372  "value": -942765518,
4373  "left": {
4374  "value": -942765520,
4375  "left": {
4376  "value": -942765523,
4377  "left": {
4378  "value": -942765525,
4379  "left": {
4380  "value": -942765527,
4381  "left": {
4382  "value": -942765529,
4383  "left": {
4384  "value": -942765530,
4385  "left": {
4386  "value": -942765534,
4387  "left": {
4388  "value": -942765536,
4389  "left": {
4390  "value": -942765537,
4391  "left": {
4392  "value": -942765540,
4393  "left": {
4394  "value": -942765544,
4395  "left": {
4396  "value": -942765545,
4397  "left": {
4398  "value": -942765547,
4399  "left": {
4400  "value": -942765549,
4401  "left": {
4402  "value": -942765550,
4403  "left": {
4404  "value": -942765551,
4405  "left": {
4406  "value": -942765554,
4407  "left": {
4408  "value": -942765558,
4409  "left": {
4410  "value": -942765560,
4411  "left": {
4412  "value": -942765563,
4413  "left": {
4414  "value": -942765568,
4415  "left": {
4416  "value": -942765570,
4417  "left": {
4418  "value": -942765572,
4419  "left": {
4420  "value": -942765574,
4421  "left": {
4422  "value": -942765576,
4423  "left": {
4424  "value": -942765578,
4425  "left": {
4426  "value": -942765580,
4427  "left": {
4428  "value": -942765581,
4429  "left": {
4430  "value": -942765582,
4431  "left": {
4432  "value": -942765583,
4433  "left": {
4434  "value": -942765586,
4435  "left": {
4436  "value": -942765587,
4437  "left": {
4438  "value": -942765595,
4439  "left": {
4440  "value": -942765596,
4441  "left": {
4442  "value": -942765597,
4443  "left": {
4444  "value": -942765598,
4445  "left": {
4446  "value": -942765599,
4447  "left": {
4448  "value": -942765602,
4449  "left": {
4450  "value": -942765605,
4451  "left": {
4452  "value": -942765610,
4453  "left": {
4454  "value": -942765611,
4455  "left": {
4456  "value": -942765612,
4457  "left": {
4458  "value": -942765613,
4459  "left": {
4460  "value": -942765614,
4461  "left": {
4462  "value": -942765617,
4463  "left": {
4464  "value": -942765623,
4465  "left": {
4466  "value": -942765624,
4467  "left": {
4468  "value": -942765625,
4469  "left": {
4470  "value": -942765626,
4471  "left": {
4472  "value": -942765627,
4473  "left": {
4474  "value": -942765636,
4475  "left": {
4476  "value": -942765637,
4477  "left": {
4478  "value": -942765642,
4479  "left": {
4480  "value": -942765645,
4481  "left": {
4482  "value": -942765646,
4483  "left": {
4484  "value": -942765650,
4485  "left": {
4486  "value": -942765651,
4487  "left": {
4488  "value": -942765654,
4489  "left": {
4490  "value": -942765655,
4491  "left": {
4492  "value": -942765662,
4493  "left": {
4494  "value": -942765663,
4495  "left": {
4496  "value": -942765664,
4497  "left": {
4498  "value": -942765666,
4499  "left": {
4500  "value": -942765669,
4501  "left": {
4502  "value": -942765672,
4503  "left": {
4504  "value": -942765674,
4505  "left": {
4506  "value": -942765677,
4507  "left": {
4508  "value": -942765678,
4509  "left": {
4510  "value": -942765681,
4511  "left": {
4512  "value": -942765682,
4513  "left": {
4514  "value": -942765685,
4515  "left": {
4516  "value": -942765687,
4517  "left": {
4518  "value": -942765690,
4519  "left": {
4520  "value": -942765691,
4521  "left": {
4522  "value": -942765693,
4523  "left": {
4524  "value": -942765694,
4525  "left": {
4526  "value": -942765695,
4527  "left": {
4528  "value": -942765696,
4529  "left": {
4530  "value": -942765697,
4531  "left": {
4532  "value": -942765698,
4533  "left": {
4534  "value": -942765701,
4535  "left": {
4536  "value": -942765702,
4537  "left": {
4538  "value": -942765703,
4539  "left": {
4540  "value": -942765704,
4541  "left": {
4542  "value": -942765705,
4543  "left": {
4544  "value": -942765707,
4545  "left": {
4546  "value": -942765708,
4547  "left": {
4548  "value": -942765709,
4549  "left": {
4550  "value": -942765710,
4551  "left": {
4552  "value": -942765713,
4553  "left": {
4554  "value": -942765715,
4555  "left": {
4556  "value": -942765716,
4557  "left": {
4558  "value": -942765719,
4559  "left": {
4560  "value": -942765722,
4561  "left": {
4562  "value": -942765724,
4563  "left": {
4564  "value": -942765727,
4565  "left": {
4566  "value": -942765728,
4567  "left": {
4568  "value": -942765729,
4569  "left": {
4570  "value": -942765732,
4571  "left": {
4572  "value": -942765733,
4573  "left": {
4574  "value": -942765734,
4575  "left": {
4576  "value": -942765735,
4577  "left": {
4578  "value": -942765736,
4579  "left": {
4580  "value": -942765741,
4581  "left": {
4582  "value": -942765747,
4583  "left": {
4584  "value": -942765749,
4585  "left": {
4586  "value": -942765756,
4587  "left": {
4588  "value": -942765757,
4589  "left": {
4590  "value": -942765759,
4591  "left": {
4592  "value": -942765762,
4593  "left": {
4594  "value": -942765764,
4595  "left": {
4596  "value": -942765769,
4597  "left": {
4598  "value": -942765771,
4599  "left": {
4600  "value": -942765772,
4601  "left": {
4602  "value": -942765776,
4603  "left": {
4604  "value": -942765779,
4605  "left": {
4606  "value": -942765781,
4607  "left": {
4608  "value": -942765784,
4609  "left": {
4610  "value": -942765786,
4611  "left": {
4612  "value": -942765787,
4613  "left": {
4614  "value": -942765788,
4615  "left": {
4616  "value": -942765789,
4617  "left": {
4618  "value": -942765792,
4619  "left": {
4620  "value": -942765795,
4621  "left": {
4622  "value": -942765796,
4623  "left": {
4624  "value": -942765807,
4625  "left": {
4626  "value": -942765808,
4627  "left": {
4628  "value": -942765810,
4629  "left": {
4630  "value": -942765815,
4631  "left": {
4632  "value": -942765816,
4633  "left": {
4634  "value": -942765818,
4635  "left": {
4636  "value": -942765819,
4637  "left": {
4638  "value": -942765820,
4639  "left": {
4640  "value": -942765822,
4641  "left": {
4642  "value": -942765824,
4643  "left": {
4644  "value": -942765825,
4645  "left": {
4646  "value": -942765827,
4647  "left": {
4648  "value": -942765828,
4649  "left": {
4650  "value": -942765829,
4651  "left": {
4652  "value": -942765830,
4653  "left": {
4654  "value": -942765831,
4655  "left": {
4656  "value": -942765835,
4657  "left": {
4658  "value": -942765840,
4659  "left": {
4660  "value": -942765843,
4661  "left": {
4662  "value": -942765844,
4663  "left": {
4664  "value": -942765847,
4665  "left": nil,
4666  "right": nil
4667  },
4668  "right": nil
4669  },
4670  "right": nil
4671  },
4672  "right": nil
4673  },
4674  "right": nil
4675  },
4676  "right": nil
4677  },
4678  "right": nil
4679  },
4680  "right": nil
4681  },
4682  "right": nil
4683  },
4684  "right": nil
4685  },
4686  "right": nil
4687  },
4688  "right": nil
4689  },
4690  "right": nil
4691  },
4692  "right": nil
4693  },
4694  "right": nil
4695  },
4696  "right": nil
4697  },
4698  "right": nil
4699  },
4700  "right": nil
4701  },
4702  "right": nil
4703  },
4704  "right": nil
4705  },
4706  "right": nil
4707  },
4708  "right": nil
4709  },
4710  "right": nil
4711  },
4712  "right": nil
4713  },
4714  "right": nil
4715  },
4716  "right": nil
4717  },
4718  "right": nil
4719  },
4720  "right": nil
4721  },
4722  "right": nil
4723  },
4724  "right": nil
4725  },
4726  "right": nil
4727  },
4728  "right": nil
4729  },
4730  "right": nil
4731  },
4732  "right": nil
4733  },
4734  "right": nil
4735  },
4736  "right": nil
4737  },
4738  "right": nil
4739  },
4740  "right": nil
4741  },
4742  "right": nil
4743  },
4744  "right": nil
4745  },
4746  "right": nil
4747  },
4748  "right": nil
4749  },
4750  "right": nil
4751  },
4752  "right": nil
4753  },
4754  "right": nil
4755  },
4756  "right": nil
4757  },
4758  "right": nil
4759  },
4760  "right": nil
4761  },
4762  "right": nil
4763  },
4764  "right": nil
4765  },
4766  "right": nil
4767  },
4768  "right": nil
4769  },
4770  "right": nil
4771  },
4772  "right": nil
4773  },
4774  "right": nil
4775  },
4776  "right": nil
4777  },
4778  "right": nil
4779  },
4780  "right": nil
4781  },
4782  "right": nil
4783  },
4784  "right": nil
4785  },
4786  "right": nil
4787  },
4788  "right": nil
4789  },
4790  "right": nil
4791  },
4792  "right": nil
4793  },
4794  "right": nil
4795  },
4796  "right": nil
4797  },
4798  "right": nil
4799  },
4800  "right": nil
4801  },
4802  "right": nil
4803  },
4804  "right": nil
4805  },
4806  "right": nil
4807  },
4808  "right": nil
4809  },
4810  "right": nil
4811  },
4812  "right": nil
4813  },
4814  "right": nil
4815  },
4816  "right": nil
4817  },
4818  "right": nil
4819  },
4820  "right": nil
4821  },
4822  "right": nil
4823  },
4824  "right": nil
4825  },
4826  "right": nil
4827  },
4828  "right": nil
4829  },
4830  "right": nil
4831  },
4832  "right": nil
4833  },
4834  "right": nil
4835  },
4836  "right": nil
4837  },
4838  "right": nil
4839  },
4840  "right": nil
4841  },
4842  "right": nil
4843  },
4844  "right": nil
4845  },
4846  "right": nil
4847  },
4848  "right": nil
4849  },
4850  "right": nil
4851  },
4852  "right": nil
4853  },
4854  "right": nil
4855  },
4856  "right": nil
4857  },
4858  "right": nil
4859  },
4860  "right": nil
4861  },
4862  "right": nil
4863  },
4864  "right": nil
4865  },
4866  "right": nil
4867  },
4868  "right": nil
4869  },
4870  "right": nil
4871  },
4872  "right": nil
4873  },
4874  "right": nil
4875  },
4876  "right": nil
4877  },
4878  "right": nil
4879  },
4880  "right": nil
4881  },
4882  "right": nil
4883  },
4884  "right": nil
4885  },
4886  "right": nil
4887  },
4888  "right": nil
4889  },
4890  "right": nil
4891  },
4892  "right": nil
4893  },
4894  "right": nil
4895  },
4896  "right": nil
4897  },
4898  "right": nil
4899  },
4900  "right": nil
4901  },
4902  "right": nil
4903  },
4904  "right": nil
4905  },
4906  "right": nil
4907  },
4908  "right": nil
4909  },
4910  "right": nil
4911  },
4912  "right": nil
4913  },
4914  "right": nil
4915  },
4916  "right": nil
4917  },
4918  "right": nil
4919  },
4920  "right": nil
4921  },
4922  "right": nil
4923  },
4924  "right": nil
4925  },
4926  "right": nil
4927  },
4928  "right": nil
4929  },
4930  "right": nil
4931  },
4932  "right": nil
4933  },
4934  "right": nil
4935  },
4936  "right": nil
4937  },
4938  "right": nil
4939  },
4940  "right": nil
4941  },
4942  "right": nil
4943  },
4944  "right": nil
4945  },
4946  "right": nil
4947  },
4948  "right": nil
4949  },
4950  "right": nil
4951  },
4952  "right": nil
4953  },
4954  "right": nil
4955  },
4956  "right": nil
4957  },
4958  "right": nil
4959  },
4960  "right": nil
4961  },
4962  "right": nil
4963  },
4964  "right": nil
4965  },
4966  "right": nil
4967  },
4968  "right": nil
4969  },
4970  "right": nil
4971  },
4972  "right": nil
4973  },
4974  "right": nil
4975  },
4976  "right": nil
4977  },
4978  "right": nil
4979  },
4980  "right": nil
4981  },
4982  "right": nil
4983  },
4984  "right": nil
4985  },
4986  "right": nil
4987  },
4988  "right": nil
4989  },
4990  "right": nil
4991  },
4992  "right": nil
4993  },
4994  "right": nil
4995  },
4996  "right": nil
4997  },
4998  "right": nil
4999  },
5000  "right": nil
5001  },
5002  "right": nil
5003  },
5004  "right": nil
5005  },
5006  "right": nil
5007  },
5008  "right": nil
5009  },
5010  "right": nil
5011  },
5012  "right": nil
5013  },
5014  "right": nil
5015  },
5016  "right": nil
5017  },
5018  "right": nil
5019  },
5020  "right": nil
5021  },
5022  "right": nil
5023  },
5024  "right": nil
5025  },
5026  "right": nil
5027  },
5028  "right": nil
5029  },
5030  "right": nil
5031  },
5032  "right": nil
5033  },
5034  "right": nil
5035  },
5036  "right": nil
5037  },
5038  "right": nil
5039  },
5040  "right": nil
5041  },
5042  "right": nil
5043  },
5044  "right": nil
5045  },
5046  "right": nil
5047  },
5048  "right": nil
5049  },
5050  "right": nil
5051  },
5052  "right": nil
5053  },
5054  "right": nil
5055  },
5056  "right": nil
5057  },
5058  "right": nil
5059  },
5060  "right": nil
5061  },
5062  "right": nil
5063  },
5064  "right": nil
5065  },
5066  "right": nil
5067  },
5068  "right": nil
5069  },
5070  "right": nil
5071  },
5072  "right": nil
5073  },
5074  "right": nil
5075  },
5076  "right": nil
5077  },
5078  "right": nil
5079  },
5080  "right": nil
5081  },
5082  "right": nil
5083  },
5084  "right": nil
5085  },
5086  "right": nil
5087  },
5088  "right": nil
5089  },
5090  "right": nil
5091  },
5092  "right": nil
5093  },
5094  "right": nil
5095  },
5096  "right": nil
5097  },
5098  "right": nil
5099  },
5100  "right": nil
5101  },
5102  "right": nil
5103  },
5104  "right": nil
5105  },
5106  "right": nil
5107  },
5108  "right": nil
5109  },
5110  "right": nil
5111  },
5112  "right": nil
5113  },
5114  "right": nil
5115  },
5116  "right": nil
5117  },
5118  "right": nil
5119  },
5120  "right": nil
5121  },
5122  "right": nil
5123  },
5124  "right": nil
5125  },
5126  "right": nil
5127  },
5128  "right": nil
5129  },
5130  "right": nil
5131  },
5132  "right": nil
5133  },
5134  "right": nil
5135  },
5136  "right": nil
5137  },
5138  "right": nil
5139  },
5140  "right": nil
5141  },
5142  "right": nil
5143  },
5144  "right": nil
5145  },
5146  "right": nil
5147  },
5148  "right": nil
5149  },
5150  "right": nil
5151  },
5152  "right": nil
5153  },
5154  "right": nil
5155  },
5156  "right": nil
5157  },
5158  "right": nil
5159  },
5160  "right": nil
5161  },
5162  "right": nil
5163  },
5164  "right": nil
5165  },
5166  "right": nil
5167  }
5168  },
5169  "right": {
5170  "value": -926491286,
5171  "left": {
5172  "value": -938118006,
5173  "left": nil,
5174  "right": {
5175  "value": -934966794,
5176  "left": nil,
5177  "right": nil
5178  }
5179  },
5180  "right": {
5181  "value": -919890687,
5182  "left": nil,
5183  "right": {
5184  "value": -916500837,
5185  "left": nil,
5186  "right": nil
5187  }
5188  }
5189  }
5190  }
5191  },
5192  "right": {
5193  "value": -871388365,
5194  "left": {
5195  "value": -908690644,
5196  "left": {
5197  "value": -909084194,
5198  "left": nil,
5199  "right": nil
5200  },
5201  "right": {
5202  "value": -872957197,
5203  "left": {
5204  "value": -893558172,
5205  "left": nil,
5206  "right": nil
5207  },
5208  "right": nil
5209  }
5210  },
5211  "right": {
5212  "value": -833406939,
5213  "left": {
5214  "value": -838410431,
5215  "left": {
5216  "value": -838535782,
5217  "left": nil,
5218  "right": nil
5219  },
5220  "right": {
5221  "value": -838291935,
5222  "left": nil,
5223  "right": {
5224  "value": -834995458,
5225  "left": nil,
5226  "right": nil
5227  }
5228  }
5229  },
5230  "right": {
5231  "value": -828479487,
5232  "left": {
5233  "value": -831223595,
5234  "left": {
5235  "value": -832681456,
5236  "left": nil,
5237  "right": nil
5238  },
5239  "right": nil
5240  },
5241  "right": {
5242  "value": -825712721,
5243  "left": nil,
5244  "right": nil
5245  }
5246  }
5247  }
5248  }
5249  }
5250  },
5251  "right": {
5252  "value": -727921557,
5253  "left": {
5254  "value": -783224886,
5255  "left": {
5256  "value": -789693684,
5257  "left": {
5258  "value": -796278862,
5259  "left": {
5260  "value": -796593869,
5261  "left": nil,
5262  "right": {
5263  "value": -796433810,
5264  "left": nil,
5265  "right": nil
5266  }
5267  },
5268  "right": {
5269  "value": -795688566,
5270  "left": nil,
5271  "right": {
5272  "value": -790243426,
5273  "left": nil,
5274  "right": {
5275  "value": -789829904,
5276  "left": nil,
5277  "right": nil
5278  }
5279  }
5280  }
5281  },
5282  "right": {
5283  "value": -788722539,
5284  "left": {
5285  "value": -788759215,
5286  "left": {
5287  "value": -789345018,
5288  "left": {
5289  "value": -789399222,
5290  "left": nil,
5291  "right": nil
5292  },
5293  "right": {
5294  "value": -788838980,
5295  "left": nil,
5296  "right": nil
5297  }
5298  },
5299  "right": {
5300  "value": -788733823,
5301  "left": {
5302  "value": -788744169,
5303  "left": nil,
5304  "right": nil
5305  },
5306  "right": {
5307  "value": -788729927,
5308  "left": nil,
5309  "right": nil
5310  }
5311  }
5312  },
5313  "right": {
5314  "value": -788703380,
5315  "left": {
5316  "value": -788718324,
5317  "left": nil,
5318  "right": nil
5319  },
5320  "right": {
5321  "value": -783245235,
5322  "left": nil,
5323  "right": nil
5324  }
5325  }
5326  }
5327  },
5328  "right": {
5329  "value": -771612228,
5330  "left": {
5331  "value": -774874477,
5332  "left": {
5333  "value": -775202964,
5334  "left": {
5335  "value": -775754215,
5336  "left": nil,
5337  "right": nil
5338  },
5339  "right": {
5340  "value": -775136903,
5341  "left": nil,
5342  "right": nil
5343  }
5344  },
5345  "right": {
5346  "value": -772078629,
5347  "left": nil,
5348  "right": {
5349  "value": -771897675,
5350  "left": {
5351  "value": -771924541,
5352  "left": nil,
5353  "right": nil
5354  },
5355  "right": {
5356  "value": -771743468,
5357  "left": nil,
5358  "right": nil
5359  }
5360  }
5361  }
5362  },
5363  "right": {
5364  "value": -736223609,
5365  "left": {
5366  "value": -747518228,
5367  "left": nil,
5368  "right": {
5369  "value": -744216639,
5370  "left": nil,
5371  "right": {
5372  "value": -737152615,
5373  "left": nil,
5374  "right": nil
5375  }
5376  }
5377  },
5378  "right": nil
5379  }
5380  }
5381  },
5382  "right": {
5383  "value": -529131405,
5384  "left": {
5385  "value": -624213132,
5386  "left": {
5387  "value": -629434975,
5388  "left": {
5389  "value": -695893971,
5390  "left": nil,
5391  "right": {
5392  "value": -654208053,
5393  "left": nil,
5394  "right": {
5395  "value": -639501721,
5396  "left": nil,
5397  "right": nil
5398  }
5399  }
5400  },
5401  "right": {
5402  "value": -624768514,
5403  "left": {
5404  "value": -629310611,
5405  "left": nil,
5406  "right": nil
5407  },
5408  "right": {
5409  "value": -624246420,
5410  "left": nil,
5411  "right": nil
5412  }
5413  }
5414  },
5415  "right": {
5416  "value": -562700019,
5417  "left": {
5418  "value": -600185439,
5419  "left": {
5420  "value": -612472337,
5421  "left": {
5422  "value": -621197859,
5423  "left": nil,
5424  "right": nil
5425  },
5426  "right": nil
5427  },
5428  "right": {
5429  "value": -579796769,
5430  "left": {
5431  "value": -580057004,
5432  "left": nil,
5433  "right": nil
5434  },
5435  "right": nil
5436  }
5437  },
5438  "right": {
5439  "value": -554951652,
5440  "left": nil,
5441  "right": nil
5442  }
5443  }
5444  },
5445  "right": {
5446  "value": -485733207,
5447  "left": {
5448  "value": -494589267,
5449  "left": {
5450  "value": -515597001,
5451  "left": {
5452  "value": -521654094,
5453  "left": nil,
5454  "right": nil
5455  },
5456  "right": nil
5457  },
5458  "right": {
5459  "value": -491099440,
5460  "left": {
5461  "value": -491213318,
5462  "left": nil,
5463  "right": nil
5464  },
5465  "right": {
5466  "value": -486356381,
5467  "left": nil,
5468  "right": nil
5469  }
5470  }
5471  },
5472  "right": {
5473  "value": -485636515,
5474  "left": {
5475  "value": -485689742,
5476  "left": nil,
5477  "right": nil
5478  },
5479  "right": {
5480  "value": -460665705,
5481  "left": {
5482  "value": -484355513,
5483  "left": nil,
5484  "right": nil
5485  },
5486  "right": {
5487  "value": -441256929,
5488  "left": {
5489  "value": -447105237,
5490  "left": nil,
5491  "right": nil
5492  },
5493  "right": {
5494  "value": -380963797,
5495  "left": nil,
5496  "right": nil
5497  }
5498  }
5499  }
5500  }
5501  }
5502  }
5503  }
5504  },
5505  "right": {
5506  "value": 807649098,
5507  "left": {
5508  "value": 524559458,
5509  "left": {
5510  "value": -294581377,
5511  "left": {
5512  "value": -348683613,
5513  "left": {
5514  "value": -348739705,
5515  "left": {
5516  "value": -348749727,
5517  "left": nil,
5518  "right": nil
5519  },
5520  "right": {
5521  "value": -348729165,
5522  "left": nil,
5523  "right": nil
5524  }
5525  },
5526  "right": {
5527  "value": -314001573,
5528  "left": {
5529  "value": -319254561,
5530  "left": {
5531  "value": -324786986,
5532  "left": nil,
5533  "right": nil
5534  },
5535  "right": nil
5536  },
5537  "right": {
5538  "value": -296004966,
5539  "left": nil,
5540  "right": nil
5541  }
5542  }
5543  },
5544  "right": {
5545  "value": 229195554,
5546  "left": {
5547  "value": 113724127,
5548  "left": {
5549  "value": -137287838,
5550  "left": nil,
5551  "right": {
5552  "value": 28103714,
5553  "left": nil,
5554  "right": nil
5555  }
5556  },
5557  "right": {
5558  "value": 219246942,
5559  "left": nil,
5560  "right": nil
5561  }
5562  },
5563  "right": {
5564  "value": 505384398,
5565  "left": {
5566  "value": 443494737,
5567  "left": {
5568  "value": 371940187,
5569  "left": nil,
5570  "right": {
5571  "value": 437735241,
5572  "left": nil,
5573  "right": nil
5574  }
5575  },
5576  "right": nil
5577  },
5578  "right": {
5579  "value": 524541684,
5580  "left": {
5581  "value": 511692006,
5582  "left": nil,
5583  "right": {
5584  "value": 520402756,
5585  "left": nil,
5586  "right": nil
5587  }
5588  },
5589  "right": nil
5590  }
5591  }
5592  }
5593  },
5594  "right": {
5595  "value": 760087445,
5596  "left": {
5597  "value": 711840150,
5598  "left": {
5599  "value": 688240743,
5600  "left": nil,
5601  "right": {
5602  "value": 704868863,
5603  "left": {
5604  "value": 704034247,
5605  "left": nil,
5606  "right": nil
5607  },
5608  "right": nil
5609  }
5610  },
5611  "right": {
5612  "value": 759430600,
5613  "left": {
5614  "value": 756851128,
5615  "left": nil,
5616  "right": nil
5617  },
5618  "right": nil
5619  }
5620  },
5621  "right": {
5622  "value": 790434708,
5623  "left": {
5624  "value": 766069402,
5625  "left": nil,
5626  "right": {
5627  "value": 784633658,
5628  "left": nil,
5629  "right": {
5630  "value": 787244643,
5631  "left": nil,
5632  "right": nil
5633  }
5634  }
5635  },
5636  "right": {
5637  "value": 799751344,
5638  "left": nil,
5639  "right": nil
5640  }
5641  }
5642  }
5643  },
5644  "right": {
5645  "value": 925702250,
5646  "left": {
5647  "value": 857105131,
5648  "left": {
5649  "value": 823151987,
5650  "left": {
5651  "value": 815412004,
5652  "left": {
5653  "value": 811649156,
5654  "left": {
5655  "value": 811258678,
5656  "left": {
5657  "value": 809933085,
5658  "left": nil,
5659  "right": nil
5660  },
5661  "right": {
5662  "value": 811346090,
5663  "left": nil,
5664  "right": nil
5665  }
5666  },
5667  "right": nil
5668  },
5669  "right": {
5670  "value": 821765470,
5671  "left": nil,
5672  "right": {
5673  "value": 822737838,
5674  "left": {
5675  "value": 821994229,
5676  "left": nil,
5677  "right": nil
5678  },
5679  "right": nil
5680  }
5681  }
5682  },
5683  "right": {
5684  "value": 844823179,
5685  "left": {
5686  "value": 825643482,
5687  "left": {
5688  "value": 824577294,
5689  "left": nil,
5690  "right": nil
5691  },
5692  "right": {
5693  "value": 843881237,
5694  "left": nil,
5695  "right": nil
5696  }
5697  },
5698  "right": {
5699  "value": 847562695,
5700  "left": {
5701  "value": 847410562,
5702  "left": {
5703  "value": 845577985,
5704  "left": nil,
5705  "right": nil
5706  },
5707  "right": nil
5708  },
5709  "right": nil
5710  }
5711  }
5712  },
5713  "right": {
5714  "value": 861017360,
5715  "left": {
5716  "value": 858009441,
5717  "left": {
5718  "value": 857652384,
5719  "left": {
5720  "value": 857632574,
5721  "left": nil,
5722  "right": nil
5723  },
5724  "right": {
5725  "value": 857805163,
5726  "left": nil,
5727  "right": {
5728  "value": 857993378,
5729  "left": nil,
5730  "right": nil
5731  }
5732  }
5733  },
5734  "right": {
5735  "value": 860591918,
5736  "left": {
5737  "value": 860579007,
5738  "left": nil,
5739  "right": nil
5740  },
5741  "right": nil
5742  }
5743  },
5744  "right": {
5745  "value": 912057216,
5746  "left": {
5747  "value": 898436752,
5748  "left": {
5749  "value": 887597563,
5750  "left": nil,
5751  "right": nil
5752  },
5753  "right": {
5754  "value": 908693407,
5755  "left": nil,
5756  "right": {
5757  "value": 909766473,
5758  "left": nil,
5759  "right": nil
5760  }
5761  }
5762  },
5763  "right": {
5764  "value": 920014631,
5765  "left": nil,
5766  "right": {
5767  "value": 925619846,
5768  "left": nil,
5769  "right": {
5770  "value": 925671467,
5771  "left": nil,
5772  "right": nil
5773  }
5774  }
5775  }
5776  }
5777  }
5778  },
5779  "right": {
5780  "value": 999055392,
5781  "left": {
5782  "value": 976522654,
5783  "left": {
5784  "value": 926563538,
5785  "left": {
5786  "value": 926368913,
5787  "left": {
5788  "value": 926173435,
5789  "left": nil,
5790  "right": nil
5791  },
5792  "right": nil
5793  },
5794  "right": {
5795  "value": 937629293,
5796  "left": {
5797  "value": 934077677,
5798  "left": nil,
5799  "right": nil
5800  },
5801  "right": {
5802  "value": 946666545,
5803  "left": nil,
5804  "right": {
5805  "value": 959622368,
5806  "left": nil,
5807  "right": nil
5808  }
5809  }
5810  }
5811  },
5812  "right": {
5813  "value": 984593578,
5814  "left": {
5815  "value": 984570966,
5816  "left": {
5817  "value": 982972465,
5818  "left": {
5819  "value": 981354607,
5820  "left": nil,
5821  "right": nil
5822  },
5823  "right": nil
5824  },
5825  "right": nil
5826  },
5827  "right": {
5828  "value": 996057745,
5829  "left": {
5830  "value": 992006148,
5831  "left": nil,
5832  "right": nil
5833  },
5834  "right": {
5835  "value": 998651108,
5836  "left": nil,
5837  "right": nil
5838  }
5839  }
5840  }
5841  },
5842  "right": {
5843  "value": 999605267,
5844  "left": {
5845  "value": 999404797,
5846  "left": {
5847  "value": 999274621,
5848  "left": {
5849  "value": 999256091,
5850  "left": nil,
5851  "right": nil
5852  },
5853  "right": {
5854  "value": 999297580,
5855  "left": nil,
5856  "right": nil
5857  }
5858  },
5859  "right": {
5860  "value": 999550476,
5861  "left": {
5862  "value": 999539035,
5863  "left": nil,
5864  "right": {
5865  "value": 999539177,
5866  "left": nil,
5867  "right": nil
5868  }
5869  },
5870  "right": {
5871  "value": 999574529,
5872  "left": {
5873  "value": 999562056,
5874  "left": nil,
5875  "right": nil
5876  },
5877  "right": {
5878  "value": 999586681,
5879  "left": nil,
5880  "right": nil
5881  }
5882  }
5883  }
5884  },
5885  "right": {
5886  "value": 999644338,
5887  "left": {
5888  "value": 999632051,
5889  "left": {
5890  "value": 999618317,
5891  "left": nil,
5892  "right": {
5893  "value": 999619083,
5894  "left": nil,
5895  "right": nil
5896  }
5897  },
5898  "right": {
5899  "value": 999642856,
5900  "left": nil,
5901  "right": nil
5902  }
5903  },
5904  "right": {
5905  "value": 999906618,
5906  "left": {
5907  "value": 999717902,
5908  "left": nil,
5909  "right": nil
5910  },
5911  "right": {
5912  "value": 999970275,
5913  "left": nil,
5914  "right": {
5915  "value": 999996331,
5916  "left": nil,
5917  "right": nil
5918  }
5919  }
5920  }
5921  }
5922  }
5923  }
5924  }
5925  }
5926}}