master
1SPEC10 = { t: {
2 "value": 221807748,
3 "left": {
4 "value": -990916866,
5 "left": {
6 "value": -995302986,
7 "left": nil,
8 "right": {
9 "value": -994200157,
10 "left": {
11 "value": -995198936,
12 "left": {
13 "value": -995264952,
14 "left": {
15 "value": -995280098,
16 "left": {
17 "value": -995290367,
18 "left": {
19 "value": -995295554,
20 "left": nil,
21 "right": {
22 "value": -995291001,
23 "left": nil,
24 "right": nil
25 }
26 },
27 "right": {
28 "value": -995281763,
29 "left": {
30 "value": -995287062,
31 "left": nil,
32 "right": nil
33 },
34 "right": {
35 "value": -995281063,
36 "left": nil,
37 "right": nil
38 }
39 }
40 },
41 "right": {
42 "value": -995268544,
43 "left": {
44 "value": -995273082,
45 "left": {
46 "value": -995277598,
47 "left": nil,
48 "right": nil
49 },
50 "right": {
51 "value": -995269755,
52 "left": nil,
53 "right": nil
54 }
55 },
56 "right": {
57 "value": -995265174,
58 "left": {
59 "value": -995267714,
60 "left": nil,
61 "right": nil
62 },
63 "right": {
64 "value": -995265028,
65 "left": nil,
66 "right": nil
67 }
68 }
69 }
70 },
71 "right": {
72 "value": -995234484,
73 "left": {
74 "value": -995246257,
75 "left": {
76 "value": -995263887,
77 "left": {
78 "value": -995264552,
79 "left": nil,
80 "right": nil
81 },
82 "right": {
83 "value": -995263209,
84 "left": nil,
85 "right": nil
86 }
87 },
88 "right": {
89 "value": -995244277,
90 "left": {
91 "value": -995245297,
92 "left": nil,
93 "right": nil
94 },
95 "right": {
96 "value": -995236255,
97 "left": nil,
98 "right": nil
99 }
100 }
101 },
102 "right": {
103 "value": -995213546,
104 "left": {
105 "value": -995224178,
106 "left": {
107 "value": -995230556,
108 "left": nil,
109 "right": nil
110 },
111 "right": {
112 "value": -995216606,
113 "left": nil,
114 "right": nil
115 }
116 },
117 "right": {
118 "value": -995199242,
119 "left": {
120 "value": -995205954,
121 "left": nil,
122 "right": nil
123 },
124 "right": {
125 "value": -995199219,
126 "left": nil,
127 "right": nil
128 }
129 }
130 }
131 }
132 },
133 "right": {
134 "value": -994295455,
135 "left": {
136 "value": -994436943,
137 "left": {
138 "value": -994714984,
139 "left": {
140 "value": -995081844,
141 "left": {
142 "value": -995166285,
143 "left": nil,
144 "right": nil
145 },
146 "right": {
147 "value": -994811470,
148 "left": nil,
149 "right": nil
150 }
151 },
152 "right": {
153 "value": -994562197,
154 "left": {
155 "value": -994624369,
156 "left": nil,
157 "right": nil
158 },
159 "right": {
160 "value": -994471968,
161 "left": nil,
162 "right": nil
163 }
164 }
165 },
166 "right": {
167 "value": -994385110,
168 "left": {
169 "value": -994410494,
170 "left": {
171 "value": -994426683,
172 "left": nil,
173 "right": nil
174 },
175 "right": {
176 "value": -994395951,
177 "left": nil,
178 "right": nil
179 }
180 },
181 "right": {
182 "value": -994322817,
183 "left": {
184 "value": -994367146,
185 "left": nil,
186 "right": nil
187 },
188 "right": {
189 "value": -994308705,
190 "left": nil,
191 "right": nil
192 }
193 }
194 }
195 },
196 "right": {
197 "value": -994243624,
198 "left": {
199 "value": -994259373,
200 "left": {
201 "value": -994269769,
202 "left": {
203 "value": -994285094,
204 "left": nil,
205 "right": nil
206 },
207 "right": {
208 "value": -994266644,
209 "left": nil,
210 "right": nil
211 }
212 },
213 "right": {
214 "value": -994248065,
215 "left": {
216 "value": -994253179,
217 "left": nil,
218 "right": nil
219 },
220 "right": {
221 "value": -994244722,
222 "left": nil,
223 "right": nil
224 }
225 }
226 },
227 "right": {
228 "value": -994211910,
229 "left": {
230 "value": -994231670,
231 "left": {
232 "value": -994233406,
233 "left": nil,
234 "right": nil
235 },
236 "right": {
237 "value": -994215339,
238 "left": nil,
239 "right": nil
240 }
241 },
242 "right": {
243 "value": -994210498,
244 "left": {
245 "value": -994210846,
246 "left": nil,
247 "right": nil
248 },
249 "right": {
250 "value": -994201300,
251 "left": nil,
252 "right": nil
253 }
254 }
255 }
256 }
257 }
258 },
259 "right": {
260 "value": -992744368,
261 "left": {
262 "value": -993142739,
263 "left": {
264 "value": -993550243,
265 "left": {
266 "value": -993657636,
267 "left": {
268 "value": -993773158,
269 "left": {
270 "value": -994006957,
271 "left": nil,
272 "right": nil
273 },
274 "right": {
275 "value": -993740673,
276 "left": nil,
277 "right": nil
278 }
279 },
280 "right": {
281 "value": -993630840,
282 "left": {
283 "value": -993642998,
284 "left": nil,
285 "right": nil
286 },
287 "right": {
288 "value": -993580932,
289 "left": nil,
290 "right": nil
291 }
292 }
293 },
294 "right": {
295 "value": -993498498,
296 "left": {
297 "value": -993526310,
298 "left": {
299 "value": -993537749,
300 "left": nil,
301 "right": nil
302 },
303 "right": {
304 "value": -993508525,
305 "left": nil,
306 "right": nil
307 }
308 },
309 "right": {
310 "value": -993248577,
311 "left": {
312 "value": -993403104,
313 "left": nil,
314 "right": nil
315 },
316 "right": {
317 "value": -993233699,
318 "left": nil,
319 "right": nil
320 }
321 }
322 }
323 },
324 "right": {
325 "value": -993113065,
326 "left": {
327 "value": -993126398,
328 "left": {
329 "value": -993133564,
330 "left": {
331 "value": -993140337,
332 "left": nil,
333 "right": nil
334 },
335 "right": {
336 "value": -993128683,
337 "left": nil,
338 "right": nil
339 }
340 },
341 "right": nil
342 },
343 "right": {
344 "value": -993057332,
345 "left": {
346 "value": -993097652,
347 "left": {
348 "value": -993100302,
349 "left": nil,
350 "right": nil
351 },
352 "right": {
353 "value": -993079555,
354 "left": nil,
355 "right": nil
356 }
357 },
358 "right": {
359 "value": -992931616,
360 "left": {
361 "value": -993039878,
362 "left": nil,
363 "right": nil
364 },
365 "right": {
366 "value": -992817660,
367 "left": nil,
368 "right": nil
369 }
370 }
371 }
372 }
373 },
374 "right": {
375 "value": -991545728,
376 "left": {
377 "value": -992515050,
378 "left": {
379 "value": -992585004,
380 "left": {
381 "value": -992698224,
382 "left": {
383 "value": -992720116,
384 "left": nil,
385 "right": nil
386 },
387 "right": {
388 "value": -992602146,
389 "left": nil,
390 "right": nil
391 }
392 },
393 "right": nil
394 },
395 "right": {
396 "value": -991689179,
397 "left": {
398 "value": -991870815,
399 "left": {
400 "value": -992460092,
401 "left": nil,
402 "right": nil
403 },
404 "right": {
405 "value": -991738176,
406 "left": nil,
407 "right": nil
408 }
409 },
410 "right": {
411 "value": -991637735,
412 "left": {
413 "value": -991655566,
414 "left": nil,
415 "right": nil
416 },
417 "right": nil
418 }
419 }
420 },
421 "right": {
422 "value": -991365170,
423 "left": {
424 "value": -991494592,
425 "left": {
426 "value": -991510829,
427 "left": {
428 "value": -991523352,
429 "left": nil,
430 "right": nil
431 },
432 "right": {
433 "value": -991497277,
434 "left": nil,
435 "right": nil
436 }
437 },
438 "right": {
439 "value": -991418080,
440 "left": {
441 "value": -991437157,
442 "left": nil,
443 "right": nil
444 },
445 "right": {
446 "value": -991379758,
447 "left": nil,
448 "right": nil
449 }
450 }
451 },
452 "right": {
453 "value": -991026283,
454 "left": {
455 "value": -991164547,
456 "left": {
457 "value": -991321589,
458 "left": nil,
459 "right": nil
460 },
461 "right": {
462 "value": -991132227,
463 "left": nil,
464 "right": nil
465 }
466 },
467 "right": {
468 "value": -990990382,
469 "left": {
470 "value": -991011936,
471 "left": nil,
472 "right": nil
473 },
474 "right": {
475 "value": -990927474,
476 "left": nil,
477 "right": nil
478 }
479 }
480 }
481 }
482 }
483 }
484 }
485 },
486 "right": {
487 "value": -931933709,
488 "left": {
489 "value": -936951920,
490 "left": {
491 "value": -962708514,
492 "left": {
493 "value": -987931090,
494 "left": {
495 "value": -989199107,
496 "left": {
497 "value": -989449324,
498 "left": {
499 "value": -990791684,
500 "left": {
501 "value": -990885257,
502 "left": nil,
503 "right": nil
504 },
505 "right": {
506 "value": -990469336,
507 "left": nil,
508 "right": nil
509 }
510 },
511 "right": {
512 "value": -989329021,
513 "left": {
514 "value": -989346768,
515 "left": nil,
516 "right": nil
517 },
518 "right": {
519 "value": -989247271,
520 "left": nil,
521 "right": nil
522 }
523 }
524 },
525 "right": {
526 "value": -988321086,
527 "left": {
528 "value": -989121768,
529 "left": {
530 "value": -989144366,
531 "left": nil,
532 "right": nil
533 },
534 "right": {
535 "value": -988399265,
536 "left": nil,
537 "right": nil
538 }
539 },
540 "right": {
541 "value": -988251860,
542 "left": {
543 "value": -988274909,
544 "left": nil,
545 "right": nil
546 },
547 "right": {
548 "value": -988138129,
549 "left": nil,
550 "right": nil
551 }
552 }
553 }
554 },
555 "right": {
556 "value": -967915158,
557 "left": {
558 "value": -987764158,
559 "left": {
560 "value": -987785644,
561 "left": {
562 "value": -987896002,
563 "left": nil,
564 "right": nil
565 },
566 "right": {
567 "value": -987774362,
568 "left": nil,
569 "right": nil
570 }
571 },
572 "right": {
573 "value": -986536174,
574 "left": {
575 "value": -986945147,
576 "left": nil,
577 "right": nil
578 },
579 "right": {
580 "value": -981305897,
581 "left": nil,
582 "right": nil
583 }
584 }
585 },
586 "right": {
587 "value": -967812059,
588 "left": {
589 "value": -967843170,
590 "left": {
591 "value": -967889461,
592 "left": nil,
593 "right": nil
594 },
595 "right": {
596 "value": -967824377,
597 "left": nil,
598 "right": nil
599 }
600 },
601 "right": {
602 "value": -964722727,
603 "left": {
604 "value": -964971628,
605 "left": nil,
606 "right": nil
607 },
608 "right": {
609 "value": -963189233,
610 "left": nil,
611 "right": nil
612 }
613 }
614 }
615 }
616 },
617 "right": {
618 "value": -954542471,
619 "left": {
620 "value": -957476618,
621 "left": {
622 "value": -962080027,
623 "left": {
624 "value": -962649696,
625 "left": {
626 "value": -962693651,
627 "left": nil,
628 "right": nil
629 },
630 "right": {
631 "value": -962390662,
632 "left": nil,
633 "right": nil
634 }
635 },
636 "right": {
637 "value": -960684763,
638 "left": {
639 "value": -961906894,
640 "left": nil,
641 "right": nil
642 },
643 "right": {
644 "value": -960448837,
645 "left": nil,
646 "right": nil
647 }
648 }
649 },
650 "right": {
651 "value": -955542728,
652 "left": {
653 "value": -957264945,
654 "left": {
655 "value": -957305485,
656 "left": nil,
657 "right": nil
658 },
659 "right": {
660 "value": -955996413,
661 "left": nil,
662 "right": nil
663 }
664 },
665 "right": {
666 "value": -954584408,
667 "left": {
668 "value": -954854478,
669 "left": nil,
670 "right": nil
671 },
672 "right": {
673 "value": -954569475,
674 "left": nil,
675 "right": nil
676 }
677 }
678 }
679 },
680 "right": {
681 "value": -944051615,
682 "left": {
683 "value": -949258410,
684 "left": {
685 "value": -950954191,
686 "left": {
687 "value": -953712611,
688 "left": nil,
689 "right": nil
690 },
691 "right": {
692 "value": -950572750,
693 "left": nil,
694 "right": nil
695 }
696 },
697 "right": {
698 "value": -945978638,
699 "left": {
700 "value": -948541337,
701 "left": nil,
702 "right": nil
703 },
704 "right": {
705 "value": -945577706,
706 "left": nil,
707 "right": nil
708 }
709 }
710 },
711 "right": {
712 "value": -937801179,
713 "left": {
714 "value": -942440254,
715 "left": {
716 "value": -942799544,
717 "left": nil,
718 "right": nil
719 },
720 "right": {
721 "value": -939182843,
722 "left": nil,
723 "right": nil
724 }
725 },
726 "right": {
727 "value": -937259754,
728 "left": {
729 "value": -937484227,
730 "left": nil,
731 "right": nil
732 },
733 "right": {
734 "value": -937043898,
735 "left": nil,
736 "right": nil
737 }
738 }
739 }
740 }
741 }
742 },
743 "right": {
744 "value": -935437625,
745 "left": {
746 "value": -936823510,
747 "left": {
748 "value": -936850196,
749 "left": {
750 "value": -936927775,
751 "left": {
752 "value": -936939569,
753 "left": {
754 "value": -936950104,
755 "left": nil,
756 "right": nil
757 },
758 "right": {
759 "value": -936933575,
760 "left": nil,
761 "right": nil
762 }
763 },
764 "right": {
765 "value": -936916048,
766 "left": {
767 "value": -936924657,
768 "left": nil,
769 "right": nil
770 },
771 "right": {
772 "value": -936895446,
773 "left": nil,
774 "right": nil
775 }
776 }
777 },
778 "right": {
779 "value": -936837192,
780 "left": {
781 "value": -936849311,
782 "left": {
783 "value": -936850116,
784 "left": nil,
785 "right": nil
786 },
787 "right": {
788 "value": -936848757,
789 "left": nil,
790 "right": nil
791 }
792 },
793 "right": {
794 "value": -936826312,
795 "left": {
796 "value": -936835655,
797 "left": nil,
798 "right": nil
799 },
800 "right": {
801 "value": -936825753,
802 "left": nil,
803 "right": nil
804 }
805 }
806 }
807 },
808 "right": {
809 "value": -936715442,
810 "left": {
811 "value": -936774659,
812 "left": {
813 "value": -936805845,
814 "left": {
815 "value": -936822782,
816 "left": nil,
817 "right": nil
818 },
819 "right": {
820 "value": -936788387,
821 "left": nil,
822 "right": nil
823 }
824 },
825 "right": {
826 "value": -936732051,
827 "left": {
828 "value": -936745948,
829 "left": nil,
830 "right": nil
831 },
832 "right": {
833 "value": -936724048,
834 "left": nil,
835 "right": nil
836 }
837 }
838 },
839 "right": {
840 "value": -936008677,
841 "left": {
842 "value": -936542996,
843 "left": {
844 "value": -936632871,
845 "left": nil,
846 "right": nil
847 },
848 "right": {
849 "value": -936485591,
850 "left": nil,
851 "right": nil
852 }
853 },
854 "right": {
855 "value": -935654801,
856 "left": {
857 "value": -935813227,
858 "left": nil,
859 "right": nil
860 },
861 "right": {
862 "value": -935614652,
863 "left": nil,
864 "right": nil
865 }
866 }
867 }
868 }
869 },
870 "right": {
871 "value": -932435931,
872 "left": {
873 "value": -933881532,
874 "left": {
875 "value": -934914980,
876 "left": {
877 "value": -935092247,
878 "left": {
879 "value": -935134851,
880 "left": nil,
881 "right": nil
882 },
883 "right": {
884 "value": -935016937,
885 "left": nil,
886 "right": nil
887 }
888 },
889 "right": {
890 "value": -934495917,
891 "left": {
892 "value": -934752317,
893 "left": nil,
894 "right": nil
895 },
896 "right": {
897 "value": -934404777,
898 "left": nil,
899 "right": nil
900 }
901 }
902 },
903 "right": {
904 "value": -932590026,
905 "left": {
906 "value": -932690165,
907 "left": {
908 "value": -933648866,
909 "left": nil,
910 "right": nil
911 },
912 "right": {
913 "value": -932619810,
914 "left": nil,
915 "right": nil
916 }
917 },
918 "right": {
919 "value": -932504804,
920 "left": {
921 "value": -932547894,
922 "left": nil,
923 "right": nil
924 },
925 "right": {
926 "value": -932494112,
927 "left": nil,
928 "right": nil
929 }
930 }
931 }
932 },
933 "right": {
934 "value": -932132768,
935 "left": {
936 "value": -932235798,
937 "left": {
938 "value": -932281492,
939 "left": {
940 "value": -932335993,
941 "left": nil,
942 "right": nil
943 },
944 "right": {
945 "value": -932267258,
946 "left": nil,
947 "right": nil
948 }
949 },
950 "right": {
951 "value": -932146423,
952 "left": {
953 "value": -932225013,
954 "left": nil,
955 "right": nil
956 },
957 "right": {
958 "value": -932142467,
959 "left": nil,
960 "right": nil
961 }
962 }
963 },
964 "right": {
965 "value": -932057316,
966 "left": {
967 "value": -932090098,
968 "left": {
969 "value": -932108986,
970 "left": nil,
971 "right": nil
972 },
973 "right": {
974 "value": -932067692,
975 "left": nil,
976 "right": nil
977 }
978 },
979 "right": {
980 "value": -932036998,
981 "left": {
982 "value": -932047082,
983 "left": nil,
984 "right": nil
985 },
986 "right": {
987 "value": -932008078,
988 "left": nil,
989 "right": nil
990 }
991 }
992 }
993 }
994 }
995 }
996 },
997 "right": {
998 "value": 139496665,
999 "left": {
1000 "value": -114468874,
1001 "left": {
1002 "value": -547690037,
1003 "left": {
1004 "value": -608470208,
1005 "left": {
1006 "value": -631885634,
1007 "left": {
1008 "value": -885748812,
1009 "left": {
1010 "value": -901539666,
1011 "left": nil,
1012 "right": nil
1013 },
1014 "right": {
1015 "value": -870979153,
1016 "left": {
1017 "value": -870979154,
1018 "left": {
1019 "value": -870979155,
1020 "left": {
1021 "value": -870979156,
1022 "left": {
1023 "value": -870979157,
1024 "left": {
1025 "value": -870979158,
1026 "left": {
1027 "value": -870979159,
1028 "left": {
1029 "value": -870979160,
1030 "left": {
1031 "value": -870979161,
1032 "left": {
1033 "value": -870979162,
1034 "left": {
1035 "value": -870979163,
1036 "left": {
1037 "value": -870979164,
1038 "left": {
1039 "value": -870979165,
1040 "left": {
1041 "value": -870979166,
1042 "left": {
1043 "value": -870979167,
1044 "left": {
1045 "value": -870979168,
1046 "left": {
1047 "value": -870979169,
1048 "left": {
1049 "value": -870979170,
1050 "left": {
1051 "value": -870979171,
1052 "left": {
1053 "value": -870979172,
1054 "left": {
1055 "value": -870979173,
1056 "left": {
1057 "value": -870979174,
1058 "left": {
1059 "value": -870979175,
1060 "left": {
1061 "value": -870979176,
1062 "left": {
1063 "value": -870979177,
1064 "left": {
1065 "value": -870979178,
1066 "left": {
1067 "value": -870979179,
1068 "left": {
1069 "value": -870979180,
1070 "left": {
1071 "value": -870979181,
1072 "left": {
1073 "value": -870979182,
1074 "left": {
1075 "value": -870979183,
1076 "left": {
1077 "value": -870979184,
1078 "left": {
1079 "value": -870979185,
1080 "left": {
1081 "value": -870979186,
1082 "left": {
1083 "value": -870979187,
1084 "left": {
1085 "value": -870979188,
1086 "left": {
1087 "value": -870979189,
1088 "left": {
1089 "value": -870979190,
1090 "left": {
1091 "value": -870979191,
1092 "left": {
1093 "value": -870979192,
1094 "left": {
1095 "value": -870979193,
1096 "left": {
1097 "value": -870979194,
1098 "left": {
1099 "value": -870979195,
1100 "left": {
1101 "value": -870979196,
1102 "left": {
1103 "value": -870979197,
1104 "left": {
1105 "value": -870979198,
1106 "left": {
1107 "value": -870979199,
1108 "left": {
1109 "value": -870979200,
1110 "left": {
1111 "value": -870979201,
1112 "left": {
1113 "value": -870979202,
1114 "left": {
1115 "value": -870979203,
1116 "left": {
1117 "value": -870979204,
1118 "left": {
1119 "value": -870979205,
1120 "left": {
1121 "value": -870979206,
1122 "left": {
1123 "value": -870979207,
1124 "left": {
1125 "value": -870979208,
1126 "left": {
1127 "value": -870979209,
1128 "left": {
1129 "value": -870979210,
1130 "left": {
1131 "value": -870979211,
1132 "left": {
1133 "value": -870979212,
1134 "left": {
1135 "value": -870979213,
1136 "left": {
1137 "value": -870979214,
1138 "left": {
1139 "value": -870979215,
1140 "left": {
1141 "value": -870979216,
1142 "left": {
1143 "value": -870979217,
1144 "left": {
1145 "value": -870979218,
1146 "left": {
1147 "value": -870979219,
1148 "left": {
1149 "value": -870979220,
1150 "left": {
1151 "value": -870979221,
1152 "left": {
1153 "value": -870979222,
1154 "left": {
1155 "value": -870979223,
1156 "left": {
1157 "value": -870979224,
1158 "left": {
1159 "value": -870979225,
1160 "left": {
1161 "value": -870979226,
1162 "left": {
1163 "value": -870979227,
1164 "left": {
1165 "value": -870979228,
1166 "left": {
1167 "value": -870979229,
1168 "left": {
1169 "value": -870979230,
1170 "left": {
1171 "value": -870979231,
1172 "left": {
1173 "value": -870979232,
1174 "left": {
1175 "value": -870979233,
1176 "left": {
1177 "value": -870979234,
1178 "left": {
1179 "value": -870979235,
1180 "left": {
1181 "value": -870979236,
1182 "left": {
1183 "value": -870979237,
1184 "left": {
1185 "value": -870979238,
1186 "left": {
1187 "value": -870979239,
1188 "left": {
1189 "value": -870979240,
1190 "left": {
1191 "value": -870979241,
1192 "left": {
1193 "value": -870979242,
1194 "left": {
1195 "value": -870979243,
1196 "left": {
1197 "value": -870979244,
1198 "left": {
1199 "value": -870979245,
1200 "left": {
1201 "value": -870979246,
1202 "left": {
1203 "value": -870979247,
1204 "left": {
1205 "value": -870979248,
1206 "left": {
1207 "value": -870979249,
1208 "left": {
1209 "value": -870979250,
1210 "left": {
1211 "value": -870979251,
1212 "left": {
1213 "value": -870979252,
1214 "left": {
1215 "value": -870979253,
1216 "left": {
1217 "value": -870979254,
1218 "left": {
1219 "value": -870979255,
1220 "left": {
1221 "value": -870979256,
1222 "left": {
1223 "value": -870979257,
1224 "left": {
1225 "value": -870979258,
1226 "left": {
1227 "value": -870979259,
1228 "left": {
1229 "value": -870979260,
1230 "left": {
1231 "value": -870979261,
1232 "left": {
1233 "value": -870979262,
1234 "left": {
1235 "value": -870979263,
1236 "left": {
1237 "value": -870979264,
1238 "left": {
1239 "value": -870979265,
1240 "left": {
1241 "value": -870979266,
1242 "left": {
1243 "value": -870979267,
1244 "left": {
1245 "value": -870979268,
1246 "left": {
1247 "value": -870979269,
1248 "left": {
1249 "value": -870979270,
1250 "left": {
1251 "value": -870979271,
1252 "left": {
1253 "value": -870979272,
1254 "left": {
1255 "value": -870979273,
1256 "left": {
1257 "value": -870979274,
1258 "left": {
1259 "value": -870979275,
1260 "left": {
1261 "value": -870979276,
1262 "left": nil,
1263 "right": nil
1264 },
1265 "right": nil
1266 },
1267 "right": nil
1268 },
1269 "right": nil
1270 },
1271 "right": nil
1272 },
1273 "right": nil
1274 },
1275 "right": nil
1276 },
1277 "right": nil
1278 },
1279 "right": nil
1280 },
1281 "right": nil
1282 },
1283 "right": nil
1284 },
1285 "right": nil
1286 },
1287 "right": nil
1288 },
1289 "right": nil
1290 },
1291 "right": nil
1292 },
1293 "right": nil
1294 },
1295 "right": nil
1296 },
1297 "right": nil
1298 },
1299 "right": nil
1300 },
1301 "right": nil
1302 },
1303 "right": nil
1304 },
1305 "right": nil
1306 },
1307 "right": nil
1308 },
1309 "right": nil
1310 },
1311 "right": nil
1312 },
1313 "right": nil
1314 },
1315 "right": nil
1316 },
1317 "right": nil
1318 },
1319 "right": nil
1320 },
1321 "right": nil
1322 },
1323 "right": nil
1324 },
1325 "right": nil
1326 },
1327 "right": nil
1328 },
1329 "right": nil
1330 },
1331 "right": nil
1332 },
1333 "right": nil
1334 },
1335 "right": nil
1336 },
1337 "right": nil
1338 },
1339 "right": nil
1340 },
1341 "right": nil
1342 },
1343 "right": nil
1344 },
1345 "right": nil
1346 },
1347 "right": nil
1348 },
1349 "right": nil
1350 },
1351 "right": nil
1352 },
1353 "right": nil
1354 },
1355 "right": nil
1356 },
1357 "right": nil
1358 },
1359 "right": nil
1360 },
1361 "right": nil
1362 },
1363 "right": nil
1364 },
1365 "right": nil
1366 },
1367 "right": nil
1368 },
1369 "right": nil
1370 },
1371 "right": nil
1372 },
1373 "right": nil
1374 },
1375 "right": nil
1376 },
1377 "right": nil
1378 },
1379 "right": nil
1380 },
1381 "right": nil
1382 },
1383 "right": nil
1384 },
1385 "right": nil
1386 },
1387 "right": nil
1388 },
1389 "right": nil
1390 },
1391 "right": nil
1392 },
1393 "right": nil
1394 },
1395 "right": nil
1396 },
1397 "right": nil
1398 },
1399 "right": nil
1400 },
1401 "right": nil
1402 },
1403 "right": nil
1404 },
1405 "right": nil
1406 },
1407 "right": nil
1408 },
1409 "right": nil
1410 },
1411 "right": nil
1412 },
1413 "right": nil
1414 },
1415 "right": nil
1416 },
1417 "right": nil
1418 },
1419 "right": nil
1420 },
1421 "right": nil
1422 },
1423 "right": nil
1424 },
1425 "right": nil
1426 },
1427 "right": nil
1428 },
1429 "right": nil
1430 },
1431 "right": nil
1432 },
1433 "right": nil
1434 },
1435 "right": nil
1436 },
1437 "right": nil
1438 },
1439 "right": nil
1440 },
1441 "right": nil
1442 },
1443 "right": nil
1444 },
1445 "right": nil
1446 },
1447 "right": nil
1448 },
1449 "right": nil
1450 },
1451 "right": nil
1452 },
1453 "right": nil
1454 },
1455 "right": nil
1456 },
1457 "right": nil
1458 },
1459 "right": nil
1460 },
1461 "right": nil
1462 },
1463 "right": nil
1464 },
1465 "right": nil
1466 },
1467 "right": nil
1468 },
1469 "right": nil
1470 },
1471 "right": nil
1472 },
1473 "right": nil
1474 },
1475 "right": nil
1476 },
1477 "right": nil
1478 },
1479 "right": nil
1480 },
1481 "right": nil
1482 },
1483 "right": nil
1484 },
1485 "right": nil
1486 },
1487 "right": nil
1488 },
1489 "right": nil
1490 },
1491 "right": nil
1492 },
1493 "right": nil
1494 },
1495 "right": nil
1496 },
1497 "right": nil
1498 },
1499 "right": nil
1500 },
1501 "right": nil
1502 },
1503 "right": nil
1504 },
1505 "right": nil
1506 },
1507 "right": nil
1508 },
1509 "right": nil
1510 }
1511 },
1512 "right": {
1513 "value": -624500760,
1514 "left": {
1515 "value": -628231889,
1516 "left": nil,
1517 "right": nil
1518 },
1519 "right": {
1520 "value": -620080304,
1521 "left": nil,
1522 "right": nil
1523 }
1524 }
1525 },
1526 "right": {
1527 "value": -607969768,
1528 "left": {
1529 "value": -608262486,
1530 "left": {
1531 "value": -608318559,
1532 "left": nil,
1533 "right": nil
1534 },
1535 "right": {
1536 "value": -608110784,
1537 "left": nil,
1538 "right": nil
1539 }
1540 },
1541 "right": {
1542 "value": -581529830,
1543 "left": {
1544 "value": -598010873,
1545 "left": nil,
1546 "right": nil
1547 },
1548 "right": {
1549 "value": -562720675,
1550 "left": nil,
1551 "right": nil
1552 }
1553 }
1554 }
1555 },
1556 "right": {
1557 "value": -328307409,
1558 "left": {
1559 "value": -534608050,
1560 "left": {
1561 "value": -538517143,
1562 "left": {
1563 "value": -542833010,
1564 "left": nil,
1565 "right": nil
1566 },
1567 "right": {
1568 "value": -536927766,
1569 "left": nil,
1570 "right": nil
1571 }
1572 },
1573 "right": {
1574 "value": -428971026,
1575 "left": {
1576 "value": -485430049,
1577 "left": nil,
1578 "right": nil
1579 },
1580 "right": {
1581 "value": -396328449,
1582 "left": nil,
1583 "right": nil
1584 }
1585 }
1586 },
1587 "right": {
1588 "value": -159795548,
1589 "left": {
1590 "value": -172731429,
1591 "left": {
1592 "value": -200534112,
1593 "left": nil,
1594 "right": nil
1595 },
1596 "right": {
1597 "value": -167446328,
1598 "left": nil,
1599 "right": nil
1600 }
1601 },
1602 "right": {
1603 "value": -119623941,
1604 "left": {
1605 "value": -144441751,
1606 "left": nil,
1607 "right": nil
1608 },
1609 "right": {
1610 "value": -116794092,
1611 "left": nil,
1612 "right": nil
1613 }
1614 }
1615 }
1616 }
1617 },
1618 "right": {
1619 "value": -22468120,
1620 "left": {
1621 "value": -56258798,
1622 "left": {
1623 "value": -56482307,
1624 "left": {
1625 "value": -61799270,
1626 "left": {
1627 "value": -105549138,
1628 "left": nil,
1629 "right": nil
1630 },
1631 "right": {
1632 "value": -58930074,
1633 "left": nil,
1634 "right": nil
1635 }
1636 },
1637 "right": {
1638 "value": -56371673,
1639 "left": {
1640 "value": -56405741,
1641 "left": nil,
1642 "right": nil
1643 },
1644 "right": {
1645 "value": -56359061,
1646 "left": nil,
1647 "right": nil
1648 }
1649 }
1650 },
1651 "right": {
1652 "value": -48330611,
1653 "left": {
1654 "value": -50540116,
1655 "left": {
1656 "value": -54729257,
1657 "left": nil,
1658 "right": nil
1659 },
1660 "right": {
1661 "value": -49362221,
1662 "left": nil,
1663 "right": nil
1664 }
1665 },
1666 "right": {
1667 "value": -43657152,
1668 "left": {
1669 "value": -43826756,
1670 "left": nil,
1671 "right": nil
1672 },
1673 "right": {
1674 "value": -35645127,
1675 "left": nil,
1676 "right": nil
1677 }
1678 }
1679 }
1680 },
1681 "right": {
1682 "value": 137657700,
1683 "left": {
1684 "value": 100844991,
1685 "left": {
1686 "value": 64948352,
1687 "left": {
1688 "value": 42124053,
1689 "left": nil,
1690 "right": nil
1691 },
1692 "right": {
1693 "value": 90857743,
1694 "left": nil,
1695 "right": nil
1696 }
1697 },
1698 "right": {
1699 "value": 125786198,
1700 "left": {
1701 "value": 121642899,
1702 "left": nil,
1703 "right": nil
1704 },
1705 "right": {
1706 "value": 131901712,
1707 "left": nil,
1708 "right": nil
1709 }
1710 }
1711 },
1712 "right": {
1713 "value": 139059933,
1714 "left": {
1715 "value": 138646990,
1716 "left": {
1717 "value": 137683491,
1718 "left": nil,
1719 "right": nil
1720 },
1721 "right": {
1722 "value": 138924710,
1723 "left": nil,
1724 "right": nil
1725 }
1726 },
1727 "right": {
1728 "value": 139285536,
1729 "left": {
1730 "value": 139261620,
1731 "left": nil,
1732 "right": nil
1733 },
1734 "right": {
1735 "value": 139401660,
1736 "left": nil,
1737 "right": nil
1738 }
1739 }
1740 }
1741 }
1742 }
1743 },
1744 "right": {
1745 "value": 156152886,
1746 "left": {
1747 "value": 143893207,
1748 "left": {
1749 "value": 139592306,
1750 "left": {
1751 "value": 139572135,
1752 "left": {
1753 "value": 139548978,
1754 "left": {
1755 "value": 139532992,
1756 "left": nil,
1757 "right": nil
1758 },
1759 "right": {
1760 "value": 139560291,
1761 "left": nil,
1762 "right": nil
1763 }
1764 },
1765 "right": {
1766 "value": 139582244,
1767 "left": {
1768 "value": 139572732,
1769 "left": nil,
1770 "right": nil
1771 },
1772 "right": {
1773 "value": 139590972,
1774 "left": nil,
1775 "right": nil
1776 }
1777 }
1778 },
1779 "right": {
1780 "value": 143366100,
1781 "left": {
1782 "value": 140783122,
1783 "left": {
1784 "value": 140213477,
1785 "left": nil,
1786 "right": nil
1787 },
1788 "right": {
1789 "value": 140820931,
1790 "left": nil,
1791 "right": nil
1792 }
1793 },
1794 "right": {
1795 "value": 143739169,
1796 "left": {
1797 "value": 143502112,
1798 "left": nil,
1799 "right": nil
1800 },
1801 "right": {
1802 "value": 143852032,
1803 "left": nil,
1804 "right": nil
1805 }
1806 }
1807 }
1808 },
1809 "right": {
1810 "value": 154473723,
1811 "left": {
1812 "value": 153367254,
1813 "left": {
1814 "value": 147316718,
1815 "left": {
1816 "value": 146101215,
1817 "left": nil,
1818 "right": nil
1819 },
1820 "right": {
1821 "value": 150756178,
1822 "left": nil,
1823 "right": nil
1824 }
1825 },
1826 "right": {
1827 "value": 153460819,
1828 "left": {
1829 "value": 153416956,
1830 "left": nil,
1831 "right": nil
1832 },
1833 "right": {
1834 "value": 154239432,
1835 "left": nil,
1836 "right": nil
1837 }
1838 }
1839 },
1840 "right": {
1841 "value": 156033063,
1842 "left": {
1843 "value": 155638458,
1844 "left": {
1845 "value": 155423570,
1846 "left": nil,
1847 "right": nil
1848 },
1849 "right": {
1850 "value": 155656452,
1851 "left": nil,
1852 "right": nil
1853 }
1854 },
1855 "right": {
1856 "value": 156097125,
1857 "left": {
1858 "value": 156085421,
1859 "left": nil,
1860 "right": nil
1861 },
1862 "right": {
1863 "value": 156128836,
1864 "left": nil,
1865 "right": nil
1866 }
1867 }
1868 }
1869 }
1870 },
1871 "right": {
1872 "value": 200980433,
1873 "left": {
1874 "value": 165040430,
1875 "left": {
1876 "value": 161924438,
1877 "left": {
1878 "value": 160738114,
1879 "left": {
1880 "value": 158293486,
1881 "left": nil,
1882 "right": nil
1883 },
1884 "right": {
1885 "value": 161525636,
1886 "left": nil,
1887 "right": nil
1888 }
1889 },
1890 "right": {
1891 "value": 164086279,
1892 "left": {
1893 "value": 162148949,
1894 "left": nil,
1895 "right": nil
1896 },
1897 "right": {
1898 "value": 164368506,
1899 "left": nil,
1900 "right": nil
1901 }
1902 }
1903 },
1904 "right": {
1905 "value": 184049242,
1906 "left": {
1907 "value": 173021150,
1908 "left": {
1909 "value": 170737860,
1910 "left": nil,
1911 "right": nil
1912 },
1913 "right": {
1914 "value": 180060912,
1915 "left": nil,
1916 "right": nil
1917 }
1918 },
1919 "right": {
1920 "value": 190789340,
1921 "left": {
1922 "value": 184990221,
1923 "left": nil,
1924 "right": nil
1925 },
1926 "right": {
1927 "value": 192259445,
1928 "left": nil,
1929 "right": nil
1930 }
1931 }
1932 }
1933 },
1934 "right": {
1935 "value": 213358504,
1936 "left": {
1937 "value": 212202526,
1938 "left": {
1939 "value": 210849324,
1940 "left": {
1941 "value": 204833109,
1942 "left": nil,
1943 "right": nil
1944 },
1945 "right": {
1946 "value": 211644774,
1947 "left": nil,
1948 "right": nil
1949 }
1950 },
1951 "right": {
1952 "value": 213006608,
1953 "left": {
1954 "value": 212808546,
1955 "left": nil,
1956 "right": nil
1957 },
1958 "right": {
1959 "value": 213341540,
1960 "left": nil,
1961 "right": nil
1962 }
1963 }
1964 },
1965 "right": {
1966 "value": 214757877,
1967 "left": {
1968 "value": 214097828,
1969 "left": {
1970 "value": 213395995,
1971 "left": nil,
1972 "right": nil
1973 },
1974 "right": {
1975 "value": 214222398,
1976 "left": nil,
1977 "right": nil
1978 }
1979 },
1980 "right": {
1981 "value": 218212873,
1982 "left": {
1983 "value": 215020320,
1984 "left": nil,
1985 "right": nil
1986 },
1987 "right": {
1988 "value": 220507910,
1989 "left": nil,
1990 "right": nil
1991 }
1992 }
1993 }
1994 }
1995 }
1996 }
1997 }
1998 }
1999 },
2000 "right": {
2001 "value": 343672030,
2002 "left": {
2003 "value": 321314681,
2004 "left": {
2005 "value": 275006101,
2006 "left": {
2007 "value": 258312075,
2008 "left": {
2009 "value": 255054797,
2010 "left": {
2011 "value": 235493466,
2012 "left": {
2013 "value": 226632113,
2014 "left": {
2015 "value": 225820506,
2016 "left": {
2017 "value": 223128933,
2018 "left": nil,
2019 "right": nil
2020 },
2021 "right": {
2022 "value": 226598596,
2023 "left": nil,
2024 "right": nil
2025 }
2026 },
2027 "right": {
2028 "value": 231014896,
2029 "left": {
2030 "value": 227194555,
2031 "left": nil,
2032 "right": nil
2033 },
2034 "right": {
2035 "value": 232078836,
2036 "left": nil,
2037 "right": nil
2038 }
2039 }
2040 },
2041 "right": {
2042 "value": 244052242,
2043 "left": {
2044 "value": 240763493,
2045 "left": {
2046 "value": 236321088,
2047 "left": nil,
2048 "right": nil
2049 },
2050 "right": {
2051 "value": 241237649,
2052 "left": nil,
2053 "right": nil
2054 }
2055 },
2056 "right": {
2057 "value": 248212468,
2058 "left": {
2059 "value": 246214968,
2060 "left": nil,
2061 "right": nil
2062 },
2063 "right": {
2064 "value": 248320665,
2065 "left": nil,
2066 "right": nil
2067 }
2068 }
2069 }
2070 },
2071 "right": {
2072 "value": 257525658,
2073 "left": {
2074 "value": 257014361,
2075 "left": {
2076 "value": 256347141,
2077 "left": {
2078 "value": 255533651,
2079 "left": nil,
2080 "right": nil
2081 },
2082 "right": {
2083 "value": 256803609,
2084 "left": nil,
2085 "right": nil
2086 }
2087 },
2088 "right": {
2089 "value": 257191230,
2090 "left": {
2091 "value": 257167879,
2092 "left": nil,
2093 "right": nil
2094 },
2095 "right": {
2096 "value": 257328393,
2097 "left": nil,
2098 "right": nil
2099 }
2100 }
2101 },
2102 "right": {
2103 "value": 257566990,
2104 "left": {
2105 "value": 257551645,
2106 "left": {
2107 "value": 257538525,
2108 "left": nil,
2109 "right": nil
2110 },
2111 "right": {
2112 "value": 257556328,
2113 "left": nil,
2114 "right": nil
2115 }
2116 },
2117 "right": {
2118 "value": 258062794,
2119 "left": {
2120 "value": 258041069,
2121 "left": nil,
2122 "right": nil
2123 },
2124 "right": {
2125 "value": 258077605,
2126 "left": nil,
2127 "right": nil
2128 }
2129 }
2130 }
2131 }
2132 },
2133 "right": {
2134 "value": 273874169,
2135 "left": {
2136 "value": 271131837,
2137 "left": {
2138 "value": 269895426,
2139 "left": {
2140 "value": 258360118,
2141 "left": {
2142 "value": 258344684,
2143 "left": nil,
2144 "right": nil
2145 },
2146 "right": {
2147 "value": 267646607,
2148 "left": nil,
2149 "right": nil
2150 }
2151 },
2152 "right": {
2153 "value": 270253069,
2154 "left": {
2155 "value": 270077284,
2156 "left": nil,
2157 "right": nil
2158 },
2159 "right": {
2160 "value": 270616137,
2161 "left": nil,
2162 "right": nil
2163 }
2164 }
2165 },
2166 "right": {
2167 "value": 273852360,
2168 "left": {
2169 "value": 272272443,
2170 "left": {
2171 "value": 271855214,
2172 "left": nil,
2173 "right": nil
2174 },
2175 "right": {
2176 "value": 273154953,
2177 "left": nil,
2178 "right": nil
2179 }
2180 },
2181 "right": {
2182 "value": 273862724,
2183 "left": {
2184 "value": 273855675,
2185 "left": nil,
2186 "right": nil
2187 },
2188 "right": {
2189 "value": 273865013,
2190 "left": nil,
2191 "right": nil
2192 }
2193 }
2194 }
2195 },
2196 "right": {
2197 "value": 274926783,
2198 "left": {
2199 "value": 274028237,
2200 "left": {
2201 "value": 273996085,
2202 "left": {
2203 "value": 273969991,
2204 "left": nil,
2205 "right": nil
2206 },
2207 "right": {
2208 "value": 274008095,
2209 "left": nil,
2210 "right": nil
2211 }
2212 },
2213 "right": {
2214 "value": 274551799,
2215 "left": {
2216 "value": 274072567,
2217 "left": nil,
2218 "right": nil
2219 },
2220 "right": {
2221 "value": 274801498,
2222 "left": nil,
2223 "right": nil
2224 }
2225 }
2226 },
2227 "right": {
2228 "value": 274994093,
2229 "left": {
2230 "value": 274978195,
2231 "left": {
2232 "value": 274941395,
2233 "left": nil,
2234 "right": nil
2235 },
2236 "right": {
2237 "value": 274982217,
2238 "left": nil,
2239 "right": nil
2240 }
2241 },
2242 "right": {
2243 "value": 274996845,
2244 "left": {
2245 "value": 274996133,
2246 "left": nil,
2247 "right": nil
2248 },
2249 "right": {
2250 "value": 275000175,
2251 "left": nil,
2252 "right": nil
2253 }
2254 }
2255 }
2256 }
2257 }
2258 },
2259 "right": {
2260 "value": 303517924,
2261 "left": {
2262 "value": 278966006,
2263 "left": {
2264 "value": 277798407,
2265 "left": {
2266 "value": 277758226,
2267 "left": {
2268 "value": 276225134,
2269 "left": {
2270 "value": 275524368,
2271 "left": nil,
2272 "right": nil
2273 },
2274 "right": {
2275 "value": 277690795,
2276 "left": nil,
2277 "right": nil
2278 }
2279 },
2280 "right": {
2281 "value": 277772835,
2282 "left": {
2283 "value": 277759377,
2284 "left": nil,
2285 "right": nil
2286 },
2287 "right": {
2288 "value": 277786974,
2289 "left": nil,
2290 "right": nil
2291 }
2292 }
2293 },
2294 "right": {
2295 "value": 278627816,
2296 "left": {
2297 "value": 278033829,
2298 "left": {
2299 "value": 278018932,
2300 "left": nil,
2301 "right": nil
2302 },
2303 "right": {
2304 "value": 278397899,
2305 "left": nil,
2306 "right": nil
2307 }
2308 },
2309 "right": {
2310 "value": 278716937,
2311 "left": {
2312 "value": 278647224,
2313 "left": nil,
2314 "right": nil
2315 },
2316 "right": {
2317 "value": 278778011,
2318 "left": nil,
2319 "right": nil
2320 }
2321 }
2322 }
2323 },
2324 "right": {
2325 "value": 279496240,
2326 "left": {
2327 "value": 279103095,
2328 "left": {
2329 "value": 279019258,
2330 "left": {
2331 "value": 278995414,
2332 "left": nil,
2333 "right": nil
2334 },
2335 "right": {
2336 "value": 279036672,
2337 "left": nil,
2338 "right": nil
2339 }
2340 },
2341 "right": {
2342 "value": 279344107,
2343 "left": {
2344 "value": 279311767,
2345 "left": nil,
2346 "right": nil
2347 },
2348 "right": {
2349 "value": 279388783,
2350 "left": nil,
2351 "right": nil
2352 }
2353 }
2354 },
2355 "right": {
2356 "value": 283217167,
2357 "left": {
2358 "value": 281884333,
2359 "left": {
2360 "value": 281850316,
2361 "left": nil,
2362 "right": nil
2363 },
2364 "right": {
2365 "value": 282174024,
2366 "left": nil,
2367 "right": nil
2368 }
2369 },
2370 "right": {
2371 "value": 298533889,
2372 "left": {
2373 "value": 292195244,
2374 "left": nil,
2375 "right": nil
2376 },
2377 "right": {
2378 "value": 303144613,
2379 "left": nil,
2380 "right": nil
2381 }
2382 }
2383 }
2384 }
2385 },
2386 "right": {
2387 "value": 318205448,
2388 "left": {
2389 "value": 307505978,
2390 "left": {
2391 "value": 303921723,
2392 "left": {
2393 "value": 303580722,
2394 "left": {
2395 "value": 303565898,
2396 "left": nil,
2397 "right": nil
2398 },
2399 "right": {
2400 "value": 303748670,
2401 "left": nil,
2402 "right": nil
2403 }
2404 },
2405 "right": {
2406 "value": 305327073,
2407 "left": {
2408 "value": 304294838,
2409 "left": nil,
2410 "right": nil
2411 },
2412 "right": {
2413 "value": 306324381,
2414 "left": nil,
2415 "right": nil
2416 }
2417 }
2418 },
2419 "right": {
2420 "value": 309055973,
2421 "left": {
2422 "value": 308800172,
2423 "left": {
2424 "value": 308480404,
2425 "left": nil,
2426 "right": nil
2427 },
2428 "right": {
2429 "value": 309020988,
2430 "left": nil,
2431 "right": nil
2432 }
2433 },
2434 "right": {
2435 "value": 313329180,
2436 "left": {
2437 "value": 311019697,
2438 "left": nil,
2439 "right": nil
2440 },
2441 "right": {
2442 "value": 314157153,
2443 "left": nil,
2444 "right": nil
2445 }
2446 }
2447 }
2448 },
2449 "right": {
2450 "value": 320263723,
2451 "left": {
2452 "value": 319275095,
2453 "left": {
2454 "value": 318231142,
2455 "left": {
2456 "value": 318216283,
2457 "left": nil,
2458 "right": nil
2459 },
2460 "right": {
2461 "value": 319057774,
2462 "left": nil,
2463 "right": nil
2464 }
2465 },
2466 "right": {
2467 "value": 320207854,
2468 "left": {
2469 "value": 320049435,
2470 "left": nil,
2471 "right": nil
2472 },
2473 "right": {
2474 "value": 320251562,
2475 "left": nil,
2476 "right": nil
2477 }
2478 }
2479 },
2480 "right": {
2481 "value": 320375518,
2482 "left": {
2483 "value": 320348284,
2484 "left": {
2485 "value": 320329737,
2486 "left": nil,
2487 "right": nil
2488 },
2489 "right": {
2490 "value": 320360535,
2491 "left": nil,
2492 "right": nil
2493 }
2494 },
2495 "right": {
2496 "value": 320784350,
2497 "left": {
2498 "value": 320477768,
2499 "left": nil,
2500 "right": nil
2501 },
2502 "right": {
2503 "value": 321207606,
2504 "left": nil,
2505 "right": nil
2506 }
2507 }
2508 }
2509 }
2510 }
2511 }
2512 },
2513 "right": {
2514 "value": 341672279,
2515 "left": {
2516 "value": 333748918,
2517 "left": {
2518 "value": 321942476,
2519 "left": {
2520 "value": 321751335,
2521 "left": {
2522 "value": 321654870,
2523 "left": nil,
2524 "right": {
2525 "value": 321709349,
2526 "left": {
2527 "value": 321699012,
2528 "left": nil,
2529 "right": nil
2530 },
2531 "right": {
2532 "value": 321720424,
2533 "left": nil,
2534 "right": nil
2535 }
2536 }
2537 },
2538 "right": {
2539 "value": 321886473,
2540 "left": {
2541 "value": 321799633,
2542 "left": {
2543 "value": 321767864,
2544 "left": nil,
2545 "right": nil
2546 },
2547 "right": {
2548 "value": 321836453,
2549 "left": nil,
2550 "right": nil
2551 }
2552 },
2553 "right": {
2554 "value": 321918543,
2555 "left": {
2556 "value": 321908428,
2557 "left": nil,
2558 "right": nil
2559 },
2560 "right": {
2561 "value": 321929766,
2562 "left": nil,
2563 "right": nil
2564 }
2565 }
2566 }
2567 },
2568 "right": {
2569 "value": 322059073,
2570 "left": {
2571 "value": 322021579,
2572 "left": {
2573 "value": 321968864,
2574 "left": nil,
2575 "right": {
2576 "value": 321999083,
2577 "left": nil,
2578 "right": nil
2579 }
2580 },
2581 "right": {
2582 "value": 322041831,
2583 "left": {
2584 "value": 322031729,
2585 "left": nil,
2586 "right": nil
2587 },
2588 "right": {
2589 "value": 322048919,
2590 "left": nil,
2591 "right": nil
2592 }
2593 }
2594 },
2595 "right": {
2596 "value": 329530371,
2597 "left": {
2598 "value": 325823337,
2599 "left": {
2600 "value": 325307054,
2601 "left": nil,
2602 "right": nil
2603 },
2604 "right": {
2605 "value": 328288760,
2606 "left": nil,
2607 "right": nil
2608 }
2609 },
2610 "right": {
2611 "value": 331746622,
2612 "left": {
2613 "value": 331231354,
2614 "left": nil,
2615 "right": nil
2616 },
2617 "right": {
2618 "value": 333310011,
2619 "left": nil,
2620 "right": nil
2621 }
2622 }
2623 }
2624 }
2625 },
2626 "right": {
2627 "value": 337113773,
2628 "left": {
2629 "value": 335711481,
2630 "left": {
2631 "value": 334312008,
2632 "left": {
2633 "value": 334042313,
2634 "left": {
2635 "value": 333797898,
2636 "left": nil,
2637 "right": nil
2638 },
2639 "right": {
2640 "value": 334200895,
2641 "left": nil,
2642 "right": nil
2643 }
2644 },
2645 "right": {
2646 "value": 335575788,
2647 "left": {
2648 "value": 335056209,
2649 "left": nil,
2650 "right": nil
2651 },
2652 "right": {
2653 "value": 335615853,
2654 "left": nil,
2655 "right": nil
2656 }
2657 }
2658 },
2659 "right": {
2660 "value": 336655978,
2661 "left": {
2662 "value": 336021585,
2663 "left": {
2664 "value": 335821195,
2665 "left": nil,
2666 "right": nil
2667 },
2668 "right": {
2669 "value": 336429191,
2670 "left": nil,
2671 "right": nil
2672 }
2673 },
2674 "right": {
2675 "value": 336693405,
2676 "left": {
2677 "value": 336667840,
2678 "left": nil,
2679 "right": nil
2680 },
2681 "right": {
2682 "value": 336803210,
2683 "left": nil,
2684 "right": nil
2685 }
2686 }
2687 }
2688 },
2689 "right": {
2690 "value": 338253196,
2691 "left": {
2692 "value": 337140732,
2693 "left": {
2694 "value": 337127761,
2695 "left": {
2696 "value": 337116660,
2697 "left": nil,
2698 "right": nil
2699 },
2700 "right": {
2701 "value": 337135523,
2702 "left": nil,
2703 "right": nil
2704 }
2705 },
2706 "right": {
2707 "value": 338077478,
2708 "left": {
2709 "value": 337277315,
2710 "left": nil,
2711 "right": nil
2712 },
2713 "right": {
2714 "value": 338119109,
2715 "left": nil,
2716 "right": nil
2717 }
2718 }
2719 },
2720 "right": {
2721 "value": 338289902,
2722 "left": {
2723 "value": 338272199,
2724 "left": {
2725 "value": 338264402,
2726 "left": nil,
2727 "right": nil
2728 },
2729 "right": {
2730 "value": 338288382,
2731 "left": nil,
2732 "right": nil
2733 }
2734 },
2735 "right": {
2736 "value": 341050298,
2737 "left": {
2738 "value": 339873389,
2739 "left": nil,
2740 "right": nil
2741 },
2742 "right": {
2743 "value": 341257405,
2744 "left": nil,
2745 "right": nil
2746 }
2747 }
2748 }
2749 }
2750 }
2751 },
2752 "right": {
2753 "value": 343286660,
2754 "left": {
2755 "value": 343152177,
2756 "left": {
2757 "value": 341710156,
2758 "left": {
2759 "value": 341685840,
2760 "left": {
2761 "value": 341678505,
2762 "left": {
2763 "value": 341677230,
2764 "left": nil,
2765 "right": nil
2766 },
2767 "right": {
2768 "value": 341683701,
2769 "left": nil,
2770 "right": nil
2771 }
2772 },
2773 "right": {
2774 "value": 341698404,
2775 "left": {
2776 "value": 341693938,
2777 "left": nil,
2778 "right": nil
2779 },
2780 "right": {
2781 "value": 341704812,
2782 "left": nil,
2783 "right": nil
2784 }
2785 }
2786 },
2787 "right": {
2788 "value": 342189770,
2789 "left": {
2790 "value": 341862253,
2791 "left": {
2792 "value": 341791052,
2793 "left": nil,
2794 "right": nil
2795 },
2796 "right": {
2797 "value": 341914339,
2798 "left": nil,
2799 "right": nil
2800 }
2801 },
2802 "right": {
2803 "value": 342794301,
2804 "left": {
2805 "value": 342610617,
2806 "left": nil,
2807 "right": nil
2808 },
2809 "right": {
2810 "value": 342921895,
2811 "left": nil,
2812 "right": nil
2813 }
2814 }
2815 }
2816 },
2817 "right": {
2818 "value": 343245182,
2819 "left": {
2820 "value": 343195226,
2821 "left": nil,
2822 "right": {
2823 "value": 343219902,
2824 "left": {
2825 "value": 343207162,
2826 "left": nil,
2827 "right": nil
2828 },
2829 "right": {
2830 "value": 343232286,
2831 "left": nil,
2832 "right": nil
2833 }
2834 }
2835 },
2836 "right": {
2837 "value": 343264069,
2838 "left": {
2839 "value": 343263058,
2840 "left": {
2841 "value": 343257613,
2842 "left": nil,
2843 "right": nil
2844 },
2845 "right": {
2846 "value": 343263787,
2847 "left": nil,
2848 "right": nil
2849 }
2850 },
2851 "right": {
2852 "value": 343276440,
2853 "left": {
2854 "value": 343275661,
2855 "left": nil,
2856 "right": nil
2857 },
2858 "right": {
2859 "value": 343277151,
2860 "left": nil,
2861 "right": nil
2862 }
2863 }
2864 }
2865 }
2866 },
2867 "right": {
2868 "value": 343543049,
2869 "left": {
2870 "value": 343479561,
2871 "left": {
2872 "value": 343332870,
2873 "left": {
2874 "value": 343314395,
2875 "left": {
2876 "value": 343304196,
2877 "left": nil,
2878 "right": nil
2879 },
2880 "right": {
2881 "value": 343316780,
2882 "left": nil,
2883 "right": nil
2884 }
2885 },
2886 "right": {
2887 "value": 343391685,
2888 "left": {
2889 "value": 343367756,
2890 "left": nil,
2891 "right": nil
2892 },
2893 "right": {
2894 "value": 343402533,
2895 "left": nil,
2896 "right": nil
2897 }
2898 }
2899 },
2900 "right": {
2901 "value": 343524903,
2902 "left": {
2903 "value": 343495058,
2904 "left": {
2905 "value": 343492573,
2906 "left": nil,
2907 "right": nil
2908 },
2909 "right": {
2910 "value": 343508767,
2911 "left": nil,
2912 "right": nil
2913 }
2914 },
2915 "right": {
2916 "value": 343531974,
2917 "left": {
2918 "value": 343526288,
2919 "left": nil,
2920 "right": nil
2921 },
2922 "right": {
2923 "value": 343533620,
2924 "left": nil,
2925 "right": nil
2926 }
2927 }
2928 }
2929 },
2930 "right": {
2931 "value": 343626099,
2932 "left": {
2933 "value": 343556345,
2934 "left": {
2935 "value": 343544760,
2936 "left": {
2937 "value": 343544574,
2938 "left": nil,
2939 "right": nil
2940 },
2941 "right": {
2942 "value": 343546715,
2943 "left": nil,
2944 "right": nil
2945 }
2946 },
2947 "right": {
2948 "value": 343598243,
2949 "left": {
2950 "value": 343573848,
2951 "left": nil,
2952 "right": nil
2953 },
2954 "right": {
2955 "value": 343612154,
2956 "left": nil,
2957 "right": nil
2958 }
2959 }
2960 },
2961 "right": {
2962 "value": 343646763,
2963 "left": {
2964 "value": 343636642,
2965 "left": {
2966 "value": 343635140,
2967 "left": nil,
2968 "right": nil
2969 },
2970 "right": {
2971 "value": 343645635,
2972 "left": nil,
2973 "right": nil
2974 }
2975 },
2976 "right": {
2977 "value": 343661941,
2978 "left": {
2979 "value": 343646873,
2980 "left": nil,
2981 "right": nil
2982 },
2983 "right": {
2984 "value": 343663764,
2985 "left": nil,
2986 "right": nil
2987 }
2988 }
2989 }
2990 }
2991 }
2992 }
2993 }
2994 },
2995 "right": {
2996 "value": 607697877,
2997 "left": {
2998 "value": 471363126,
2999 "left": {
3000 "value": 404653170,
3001 "left": {
3002 "value": 352193829,
3003 "left": {
3004 "value": 350461987,
3005 "left": {
3006 "value": 349678714,
3007 "left": {
3008 "value": 345754502,
3009 "left": {
3010 "value": 344924379,
3011 "left": nil,
3012 "right": nil
3013 },
3014 "right": {
3015 "value": 347548310,
3016 "left": nil,
3017 "right": nil
3018 }
3019 },
3020 "right": {
3021 "value": 350059718,
3022 "left": {
3023 "value": 349740816,
3024 "left": nil,
3025 "right": nil
3026 },
3027 "right": {
3028 "value": 350181217,
3029 "left": nil,
3030 "right": nil
3031 }
3032 }
3033 },
3034 "right": {
3035 "value": 350855860,
3036 "left": {
3037 "value": 350520527,
3038 "left": {
3039 "value": 350494845,
3040 "left": nil,
3041 "right": nil
3042 },
3043 "right": {
3044 "value": 350678789,
3045 "left": nil,
3046 "right": nil
3047 }
3048 },
3049 "right": {
3050 "value": 350911629,
3051 "left": {
3052 "value": 350886868,
3053 "left": nil,
3054 "right": nil
3055 },
3056 "right": {
3057 "value": 351363545,
3058 "left": nil,
3059 "right": nil
3060 }
3061 }
3062 }
3063 },
3064 "right": {
3065 "value": 389192158,
3066 "left": {
3067 "value": 372892547,
3068 "left": {
3069 "value": 371399052,
3070 "left": {
3071 "value": 361405280,
3072 "left": nil,
3073 "right": nil
3074 },
3075 "right": {
3076 "value": 372157991,
3077 "left": nil,
3078 "right": nil
3079 }
3080 },
3081 "right": {
3082 "value": 378915304,
3083 "left": {
3084 "value": 374543183,
3085 "left": nil,
3086 "right": nil
3087 },
3088 "right": {
3089 "value": 384010371,
3090 "left": nil,
3091 "right": nil
3092 }
3093 }
3094 },
3095 "right": {
3096 "value": 392750269,
3097 "left": {
3098 "value": 391152775,
3099 "left": {
3100 "value": 390565116,
3101 "left": nil,
3102 "right": nil
3103 },
3104 "right": {
3105 "value": 392454065,
3106 "left": nil,
3107 "right": nil
3108 }
3109 },
3110 "right": {
3111 "value": 396143851,
3112 "left": {
3113 "value": 392846730,
3114 "left": nil,
3115 "right": nil
3116 },
3117 "right": nil
3118 }
3119 }
3120 }
3121 },
3122 "right": {
3123 "value": 418423800,
3124 "left": {
3125 "value": 415639965,
3126 "left": {
3127 "value": 409304277,
3128 "left": {
3129 "value": 404754013,
3130 "left": {
3131 "value": 404742545,
3132 "left": nil,
3133 "right": nil
3134 },
3135 "right": {
3136 "value": 406858890,
3137 "left": nil,
3138 "right": nil
3139 }
3140 },
3141 "right": {
3142 "value": 412193181,
3143 "left": {
3144 "value": 410695154,
3145 "left": nil,
3146 "right": nil
3147 },
3148 "right": {
3149 "value": 412769159,
3150 "left": nil,
3151 "right": nil
3152 }
3153 }
3154 },
3155 "right": {
3156 "value": 417549455,
3157 "left": {
3158 "value": 416060176,
3159 "left": {
3160 "value": 415680988,
3161 "left": nil,
3162 "right": nil
3163 },
3164 "right": {
3165 "value": 416143384,
3166 "left": nil,
3167 "right": nil
3168 }
3169 },
3170 "right": {
3171 "value": 418340545,
3172 "left": {
3173 "value": 417671578,
3174 "left": nil,
3175 "right": nil
3176 },
3177 "right": {
3178 "value": 418411882,
3179 "left": nil,
3180 "right": nil
3181 }
3182 }
3183 }
3184 },
3185 "right": {
3186 "value": 460540503,
3187 "left": {
3188 "value": 425577160,
3189 "left": {
3190 "value": 422850677,
3191 "left": {
3192 "value": 419496115,
3193 "left": nil,
3194 "right": nil
3195 },
3196 "right": {
3197 "value": 423424218,
3198 "left": nil,
3199 "right": nil
3200 }
3201 },
3202 "right": {
3203 "value": 453565138,
3204 "left": {
3205 "value": 433403643,
3206 "left": nil,
3207 "right": nil
3208 },
3209 "right": {
3210 "value": 455010194,
3211 "left": nil,
3212 "right": nil
3213 }
3214 }
3215 },
3216 "right": {
3217 "value": 462628974,
3218 "left": {
3219 "value": 461191782,
3220 "left": {
3221 "value": 460697924,
3222 "left": nil,
3223 "right": nil
3224 },
3225 "right": {
3226 "value": 461357078,
3227 "left": nil,
3228 "right": nil
3229 }
3230 },
3231 "right": {
3232 "value": 464057738,
3233 "left": {
3234 "value": 463827226,
3235 "left": nil,
3236 "right": nil
3237 },
3238 "right": {
3239 "value": 464617093,
3240 "left": nil,
3241 "right": nil
3242 }
3243 }
3244 }
3245 }
3246 }
3247 },
3248 "right": {
3249 "value": 526504849,
3250 "left": {
3251 "value": 514067807,
3252 "left": {
3253 "value": 507295331,
3254 "left": {
3255 "value": 471415187,
3256 "left": {
3257 "value": 471380915,
3258 "left": {
3259 "value": 471371552,
3260 "left": nil,
3261 "right": nil
3262 },
3263 "right": {
3264 "value": 471396945,
3265 "left": nil,
3266 "right": nil
3267 }
3268 },
3269 "right": {
3270 "value": 478577923,
3271 "left": {
3272 "value": 472508310,
3273 "left": nil,
3274 "right": nil
3275 },
3276 "right": {
3277 "value": 489950796,
3278 "left": nil,
3279 "right": nil
3280 }
3281 }
3282 },
3283 "right": {
3284 "value": 509868486,
3285 "left": {
3286 "value": 508788790,
3287 "left": {
3288 "value": 507802383,
3289 "left": nil,
3290 "right": nil
3291 },
3292 "right": {
3293 "value": 509580287,
3294 "left": nil,
3295 "right": nil
3296 }
3297 },
3298 "right": {
3299 "value": 510924776,
3300 "left": {
3301 "value": 510850515,
3302 "left": nil,
3303 "right": nil
3304 },
3305 "right": {
3306 "value": 511173619,
3307 "left": nil,
3308 "right": nil
3309 }
3310 }
3311 }
3312 },
3313 "right": {
3314 "value": 514155957,
3315 "left": {
3316 "value": 514082278,
3317 "left": {
3318 "value": 514069631,
3319 "left": {
3320 "value": 514068411,
3321 "left": nil,
3322 "right": nil
3323 },
3324 "right": {
3325 "value": 514081910,
3326 "left": nil,
3327 "right": nil
3328 }
3329 },
3330 "right": {
3331 "value": 514133388,
3332 "left": {
3333 "value": 514105836,
3334 "left": nil,
3335 "right": nil
3336 },
3337 "right": {
3338 "value": 514144952,
3339 "left": nil,
3340 "right": nil
3341 }
3342 }
3343 },
3344 "right": {
3345 "value": 514343224,
3346 "left": {
3347 "value": 514241835,
3348 "left": {
3349 "value": 514216897,
3350 "left": nil,
3351 "right": nil
3352 },
3353 "right": {
3354 "value": 514307398,
3355 "left": nil,
3356 "right": nil
3357 }
3358 },
3359 "right": {
3360 "value": 524794170,
3361 "left": {
3362 "value": 515952233,
3363 "left": nil,
3364 "right": nil
3365 },
3366 "right": {
3367 "value": 525568725,
3368 "left": nil,
3369 "right": nil
3370 }
3371 }
3372 }
3373 }
3374 },
3375 "right": {
3376 "value": 575106644,
3377 "left": {
3378 "value": 556614744,
3379 "left": {
3380 "value": 546348510,
3381 "left": nil,
3382 "right": {
3383 "value": 547663603,
3384 "left": {
3385 "value": 547501722,
3386 "left": nil,
3387 "right": nil
3388 },
3389 "right": {
3390 "value": 548946546,
3391 "left": nil,
3392 "right": nil
3393 }
3394 }
3395 },
3396 "right": {
3397 "value": 564444914,
3398 "left": {
3399 "value": 557367817,
3400 "left": {
3401 "value": 557011155,
3402 "left": nil,
3403 "right": nil
3404 },
3405 "right": {
3406 "value": 560978436,
3407 "left": nil,
3408 "right": nil
3409 }
3410 },
3411 "right": {
3412 "value": 572756089,
3413 "left": {
3414 "value": 564628566,
3415 "left": nil,
3416 "right": nil
3417 },
3418 "right": {
3419 "value": 572802540,
3420 "left": nil,
3421 "right": nil
3422 }
3423 }
3424 }
3425 },
3426 "right": {
3427 "value": 578082292,
3428 "left": {
3429 "value": 577705603,
3430 "left": {
3431 "value": 576857270,
3432 "left": {
3433 "value": 576033029,
3434 "left": nil,
3435 "right": nil
3436 },
3437 "right": {
3438 "value": 577114128,
3439 "left": nil,
3440 "right": nil
3441 }
3442 },
3443 "right": {
3444 "value": 578004123,
3445 "left": {
3446 "value": 577838807,
3447 "left": nil,
3448 "right": nil
3449 },
3450 "right": {
3451 "value": 578039592,
3452 "left": nil,
3453 "right": nil
3454 }
3455 }
3456 },
3457 "right": {
3458 "value": 596185882,
3459 "left": {
3460 "value": 581507616,
3461 "left": {
3462 "value": 579855049,
3463 "left": nil,
3464 "right": nil
3465 },
3466 "right": {
3467 "value": 586358454,
3468 "left": nil,
3469 "right": nil
3470 }
3471 },
3472 "right": {
3473 "value": 602692519,
3474 "left": {
3475 "value": 599482567,
3476 "left": nil,
3477 "right": nil
3478 },
3479 "right": {
3480 "value": 606478687,
3481 "left": nil,
3482 "right": nil
3483 }
3484 }
3485 }
3486 }
3487 }
3488 }
3489 },
3490 "right": {
3491 "value": 636940266,
3492 "left": {
3493 "value": 618047883,
3494 "left": {
3495 "value": 613578726,
3496 "left": {
3497 "value": 610914803,
3498 "left": {
3499 "value": 608915448,
3500 "left": {
3501 "value": 608800253,
3502 "left": {
3503 "value": 608156814,
3504 "left": nil,
3505 "right": nil
3506 },
3507 "right": {
3508 "value": 608856413,
3509 "left": nil,
3510 "right": nil
3511 }
3512 },
3513 "right": {
3514 "value": 609860336,
3515 "left": {
3516 "value": 609531732,
3517 "left": nil,
3518 "right": nil
3519 },
3520 "right": {
3521 "value": 610784070,
3522 "left": nil,
3523 "right": nil
3524 }
3525 }
3526 },
3527 "right": {
3528 "value": 613208306,
3529 "left": {
3530 "value": 611404435,
3531 "left": {
3532 "value": 611321346,
3533 "left": nil,
3534 "right": nil
3535 },
3536 "right": {
3537 "value": 611685153,
3538 "left": nil,
3539 "right": nil
3540 }
3541 },
3542 "right": {
3543 "value": 613241184,
3544 "left": {
3545 "value": 613228647,
3546 "left": nil,
3547 "right": nil
3548 },
3549 "right": {
3550 "value": 613370285,
3551 "left": nil,
3552 "right": nil
3553 }
3554 }
3555 }
3556 },
3557 "right": {
3558 "value": 616040255,
3559 "left": {
3560 "value": 614689335,
3561 "left": {
3562 "value": 614395995,
3563 "left": {
3564 "value": 614030504,
3565 "left": nil,
3566 "right": nil
3567 },
3568 "right": {
3569 "value": 614630818,
3570 "left": nil,
3571 "right": nil
3572 }
3573 },
3574 "right": {
3575 "value": 615976618,
3576 "left": {
3577 "value": 614769641,
3578 "left": nil,
3579 "right": nil
3580 },
3581 "right": {
3582 "value": 616014671,
3583 "left": nil,
3584 "right": nil
3585 }
3586 }
3587 },
3588 "right": {
3589 "value": 617415812,
3590 "left": {
3591 "value": 617296765,
3592 "left": {
3593 "value": 617250330,
3594 "left": nil,
3595 "right": nil
3596 },
3597 "right": {
3598 "value": 617374615,
3599 "left": nil,
3600 "right": nil
3601 }
3602 },
3603 "right": {
3604 "value": 617558713,
3605 "left": {
3606 "value": 617494703,
3607 "left": nil,
3608 "right": nil
3609 },
3610 "right": {
3611 "value": 617989595,
3612 "left": nil,
3613 "right": nil
3614 }
3615 }
3616 }
3617 }
3618 },
3619 "right": {
3620 "value": 623341335,
3621 "left": {
3622 "value": 619510548,
3623 "left": {
3624 "value": 618539215,
3625 "left": {
3626 "value": 618232691,
3627 "left": {
3628 "value": 618103487,
3629 "left": nil,
3630 "right": nil
3631 },
3632 "right": {
3633 "value": 618518359,
3634 "left": nil,
3635 "right": nil
3636 }
3637 },
3638 "right": {
3639 "value": 618918310,
3640 "left": {
3641 "value": 618654421,
3642 "left": nil,
3643 "right": nil
3644 },
3645 "right": {
3646 "value": 619249549,
3647 "left": nil,
3648 "right": nil
3649 }
3650 }
3651 },
3652 "right": {
3653 "value": 622255892,
3654 "left": {
3655 "value": 621963005,
3656 "left": {
3657 "value": 620695366,
3658 "left": nil,
3659 "right": nil
3660 },
3661 "right": {
3662 "value": 621996329,
3663 "left": nil,
3664 "right": nil
3665 }
3666 },
3667 "right": {
3668 "value": 622962804,
3669 "left": {
3670 "value": 622920386,
3671 "left": nil,
3672 "right": nil
3673 },
3674 "right": {
3675 "value": 623237046,
3676 "left": nil,
3677 "right": nil
3678 }
3679 }
3680 }
3681 },
3682 "right": {
3683 "value": 631116733,
3684 "left": {
3685 "value": 623938199,
3686 "left": {
3687 "value": 623458289,
3688 "left": {
3689 "value": 623384215,
3690 "left": nil,
3691 "right": nil
3692 },
3693 "right": {
3694 "value": 623589496,
3695 "left": nil,
3696 "right": nil
3697 }
3698 },
3699 "right": {
3700 "value": 629937466,
3701 "left": {
3702 "value": 628528351,
3703 "left": nil,
3704 "right": nil
3705 },
3706 "right": {
3707 "value": 630692917,
3708 "left": nil,
3709 "right": nil
3710 }
3711 }
3712 },
3713 "right": {
3714 "value": 633442595,
3715 "left": {
3716 "value": 632710631,
3717 "left": {
3718 "value": 631211774,
3719 "left": nil,
3720 "right": nil
3721 },
3722 "right": {
3723 "value": 632744738,
3724 "left": nil,
3725 "right": nil
3726 }
3727 },
3728 "right": {
3729 "value": 636829334,
3730 "left": {
3731 "value": 635476084,
3732 "left": nil,
3733 "right": nil
3734 },
3735 "right": {
3736 "value": 636913898,
3737 "left": nil,
3738 "right": nil
3739 }
3740 }
3741 }
3742 }
3743 }
3744 },
3745 "right": {
3746 "value": 826543300,
3747 "left": {
3748 "value": 672117235,
3749 "left": {
3750 "value": 639649755,
3751 "left": {
3752 "value": 638018210,
3753 "left": {
3754 "value": 637414224,
3755 "left": {
3756 "value": 637020805,
3757 "left": nil,
3758 "right": nil
3759 },
3760 "right": {
3761 "value": 637623422,
3762 "left": nil,
3763 "right": nil
3764 }
3765 },
3766 "right": {
3767 "value": 638204755,
3768 "left": {
3769 "value": 638044888,
3770 "left": nil,
3771 "right": nil
3772 },
3773 "right": {
3774 "value": 638310163,
3775 "left": nil,
3776 "right": nil
3777 }
3778 }
3779 },
3780 "right": {
3781 "value": 658146309,
3782 "left": {
3783 "value": 651172853,
3784 "left": {
3785 "value": 643147577,
3786 "left": nil,
3787 "right": nil
3788 },
3789 "right": {
3790 "value": 653457035,
3791 "left": nil,
3792 "right": nil
3793 }
3794 },
3795 "right": {
3796 "value": 662540093,
3797 "left": {
3798 "value": 658569504,
3799 "left": nil,
3800 "right": nil
3801 },
3802 "right": {
3803 "value": 671010419,
3804 "left": nil,
3805 "right": nil
3806 }
3807 }
3808 }
3809 },
3810 "right": {
3811 "value": 684337693,
3812 "left": {
3813 "value": 679737782,
3814 "left": {
3815 "value": 677234482,
3816 "left": {
3817 "value": 676277806,
3818 "left": nil,
3819 "right": nil
3820 },
3821 "right": {
3822 "value": 679273040,
3823 "left": nil,
3824 "right": nil
3825 }
3826 },
3827 "right": {
3828 "value": 680664462,
3829 "left": {
3830 "value": 679906242,
3831 "left": nil,
3832 "right": nil
3833 },
3834 "right": {
3835 "value": 682027653,
3836 "left": nil,
3837 "right": nil
3838 }
3839 }
3840 },
3841 "right": {
3842 "value": 779297477,
3843 "left": {
3844 "value": 687661810,
3845 "left": {
3846 "value": 685313675,
3847 "left": nil,
3848 "right": nil
3849 },
3850 "right": {
3851 "value": 735708937,
3852 "left": nil,
3853 "right": nil
3854 }
3855 },
3856 "right": {
3857 "value": 826419113,
3858 "left": {
3859 "value": 794090641,
3860 "left": nil,
3861 "right": nil
3862 },
3863 "right": {
3864 "value": 826519659,
3865 "left": nil,
3866 "right": nil
3867 }
3868 }
3869 }
3870 }
3871 },
3872 "right": {
3873 "value": 873829356,
3874 "left": {
3875 "value": 859337459,
3876 "left": {
3877 "value": 826756127,
3878 "left": {
3879 "value": 826562229,
3880 "left": {
3881 "value": 826550999,
3882 "left": nil,
3883 "right": nil
3884 },
3885 "right": {
3886 "value": 826658898,
3887 "left": nil,
3888 "right": nil
3889 }
3890 },
3891 "right": {
3892 "value": 853065495,
3893 "left": {
3894 "value": 832914444,
3895 "left": nil,
3896 "right": nil
3897 },
3898 "right": {
3899 "value": 856907003,
3900 "left": nil,
3901 "right": nil
3902 }
3903 }
3904 },
3905 "right": {
3906 "value": 871617073,
3907 "left": {
3908 "value": 866154148,
3909 "left": {
3910 "value": 861642952,
3911 "left": nil,
3912 "right": nil
3913 },
3914 "right": {
3915 "value": 871191622,
3916 "left": nil,
3917 "right": nil
3918 }
3919 },
3920 "right": {
3921 "value": 871759806,
3922 "left": {
3923 "value": 871643764,
3924 "left": nil,
3925 "right": nil
3926 },
3927 "right": {
3928 "value": 872537234,
3929 "left": nil,
3930 "right": nil
3931 }
3932 }
3933 }
3934 },
3935 "right": {
3936 "value": 952299923,
3937 "left": {
3938 "value": 923643686,
3939 "left": {
3940 "value": 918429334,
3941 "left": {
3942 "value": 882719750,
3943 "left": nil,
3944 "right": nil
3945 },
3946 "right": {
3947 "value": 919039628,
3948 "left": nil,
3949 "right": nil
3950 }
3951 },
3952 "right": {
3953 "value": 941795946,
3954 "left": {
3955 "value": 932016784,
3956 "left": nil,
3957 "right": nil
3958 },
3959 "right": {
3960 "value": 950193116,
3961 "left": nil,
3962 "right": nil
3963 }
3964 }
3965 },
3966 "right": {
3967 "value": 996218144,
3968 "left": {
3969 "value": 982763973,
3970 "left": {
3971 "value": 972929311,
3972 "left": nil,
3973 "right": nil
3974 },
3975 "right": {
3976 "value": 993515411,
3977 "left": nil,
3978 "right": nil
3979 }
3980 },
3981 "right": {
3982 "value": 998068264,
3983 "left": {
3984 "value": 996612676,
3985 "left": nil,
3986 "right": nil
3987 },
3988 "right": {
3989 "value": 999879525,
3990 "left": nil,
3991 "right": nil
3992 }
3993 }
3994 }
3995 }
3996 }
3997 }
3998 }
3999 }
4000 }
4001},
4002queries: [728751367, -932335993, 822255280, 461357078, -336882146, 248214836, -111576214, -993580932, 320360535, -389179306, -995230556, -264098242, 322031729, 617415812, 304294838, 472508310, -875346347, 143852032, 139261620, 715378332, 352241045, -467300403, 675419963, -961906894, 676277806, -634956189, -64150425, 412769159, 514130241, 214757877, -993140337, 5875048, -935813227, 581543432, -717960475, 335615853, -628595198, -870979181, -165057080, 303565898, 71672189, 578004123, -121241589, 12456713, -980816627, 403567586, 277758226, 475266128, 813892078, -990469336, -989199107, 788986719, 336693405, 337277315, -870979210, 682027653, 713569276, -766188218, -995291001, -42882028, -35645127, -870979267, -183638709, 932016784, 325307054, 514067807, -826266814, 996218144, -606859429, 709413333, -807252994, 342284715, 459620668, -889721903, 343495058, -957337455, -993508525, 201676582, 153416956, 191562829, -933648866, 597474904, 42124053, -43826756, -635481856, 333310011, -995198936, -995263887, -598010873, -674043767, -290227099, -870979212, -395455126, 383987308, -954569475, 439683224, 859337459, 381507831, 226632113, -261175997, 334312008, 747608238, 335647009, 321918543, 341672279, -870979213, 274996133, -908016299, -991738176, 173935545, -342185242, 229255184, -995280098, -870979272, 245803446, -167446328, 281117984, -192155332, -585048447, -804445735, 415639965, -991545728, 942794044, -56371673, -77647384, -1991603, -936907840, -936849311, -727357181, -697355940, -989121768, -988138129, -857257640, -120086417, 138924710, 343508767, -870979162, -995234484, -145591324, -941705444, 45983500, 185191162, 336667840, 972929311, 321654870, 745816455, -142588783, -198160435, 306975938, -870979265, 90857743, 331231354, 576033029, -960243817, 729701028, -870979208, 968748243, 319057774, 54149993, -994215339, -870979176, 949551633, -870979252, 505208718, 270253069, 114708079, 343332870, -870979171, 899278474, -173226596, 337127761, -992602146, 156033063, -454496899, -870979226, -932142467, -666975211, -870979251, 211644774, -502225443, -870979179, -556113672, 575106644, -200076418, 336803210, 139560291, -809670438, -991437157, -188377371, 552932380, 973053622, 271074370, -608470208, 631889527, 307505978, 273865013, -991365170, 410695154, -502048482, 610784070, 239575727, 618539215, 343402533, -883716002, 100844991, -793267832, -741396436, -229308349, 343543049, 343391685, 320263723, -995302986, -538237572, -989329021, 251261626, -990927474, -870979157, -932494112, -192992695, -870979177, 64861753, -362692071, -887423566, 333797898, 883852082, 918429334, -175637700, -904336916, 864535362, -408016030, 617989595, 988484327, 622047838, 349740816, -870979227, -501057959, -995265028, -936916048, -85880391, -870979167, -264332044, 632732987, -631476006, -189902633, 637623422, 329530371, 87845325, -881532166, 147316718, 231014896, -23772330, -508381641, -162894422, 662540093, -994210846, 184394533, 620801438, -977348789, 143739169, 338288382, -27304200, -470187584, -670398706, 674257091, -857106149, -989247271, -995244277, 779297477, 257538525, 343544760, -934404777, 274551799, -960448837, 140783122, 812896948, -630553096, 818800783, -208310078, -41925079, 180060912, 350911629, -185080957, -962693651, -988274909, -21920522, 343277151, 613370285, -995236255, -382907932, -936850196, -994714984, 716977490, 341678505, -843541638, 283131512, 254946062, 618918310, 258360118, 621996329, 258344684, 911336240, -228752476, 560978436, 559800308, -172155161, -426075363, -870979211, 226598596, 385389338, 487029885, 258463683, -22468120, -941946434, 679737782, -646699401, -600562252, -870979169, 343257613, -86047217, 974328503, -276612113, -870979224, 161924438, 350059718, -622902792, -775435439, -916087866, -379037182, -288394071, -936632871, 645889498, -113170658, 573508129, 955649759, 613228647, -558019667, 343207162, -253635600, -646737931, 573412502, 158293486, -988251860, -936850116, -842914937, -698296177, 219099039, 260125377, 279415631, -43669633, 871617073, -211890080, 866154148, 637414224, -56482307, 514105836, -936826312, 343672030, -901539666, 481819539, 215020320, -828944725, 20718211, -506446545, -981586349, -543479545, -701979285, 139532992, 856907003, 995635584, 169793368, -427393446, -870979192, 137683491, -128097038, -21120603, -840730891, 364787012, 658146309, -608262486, 318216283, -870979235, 501125235, -935016937, 341862253, -170238662, 415972193, 394180447, 256347141, -870979266, -995290367, 623384215, 373731725, -933881532, 574848216, 390890445, -932090098, 556767849, 986250481, 847250815, 219087893, -26397520, -870979232, 623938199, 902627394, 412193181, -702255874, -994200157, 840211999, -884909023, 341791052, 537904796, 271855214, -942799544, -52493153, -180454125, -485627319, 150756178, 40503697, 213341540, -934914980, 616829322, -634504086, -265326593, 655116819, -716584061, 916659154, 341677230, 336021585, -934495917, 525568725, 35602353, 258062794, 474890626, -870979222, -537066972, 322493221, -151833496, -870979180, 430169098, 343626099, -631885634, -112013358, 638310163, -56359061, 622255892, 695689123, 857843793, 991813863, -294583648, 564628566, -972092709, -994471968, 871643764, -512038059, 267646607, -936774659, 908328006, -837342026, 308480404, -870979271, -251643751, 962453936, 611685153, -994436943, -645116133, 292969563, -990916866, 274941395, -870979268, 343152177, 343635140, 16490015, 862370254, -879436340, -870979255, -932132768, -911601471, 623237046, 431828873, -30789032, 969107690, -934752317, -131562039, 630211558, -993097652, 257014361, 278018932, 281884333, -995281063, 613208306, -992698224, -870979259, -690001262, -235410849, 160738114, 271131837, 649158455, -996170595, -870979202, -736467522, -990885257, -30301047, -834748285, -870979206, -728167890, 139582244, 613578726, -421935488, -302290129, -936950104, 240118082, 139592306, 618103487, -870979236, -870979231, -870979184, 241237649, -993128683, 264292938, -936927775, -936805845, -885748812, 258041069, -682376130, 432265101, 162148949, -691369465, 584865682, -518887685, -54729257, -18960018, -750949272, 744782652, 389192158, 431009059, -967812059, -220836411, 318205448, -117592222, 578082292, -419274257, 418340545, -95394572, 460697924, -655515107, -874791728, 100825436, 378915304, 486481935, -164755523, -993039878, -948695210, 565499688, -435254707, -773703670, 679906242, 981516635, -870979199, 515952233, 349678714, -835306148, -870979156, 514144952, 631211774, 463827226, -994210498, -936485591, 873829356, 768035709, -870979262, 765842730, 662183644, 66011192, -929189183, -127083164, -994248065, 619513193, 335056209, -808459013, -780733968, 898008330, 825863814, -964979228, -870979189, 69959181, -671606386, 321942476, 384146376, -870979244, -870979249, 998068264, 292195244, 617284425, 617296765, -257161284, 618173403, -587979366, -425631355, 306342179, -870979253, -338686855, 522756897, 342189770, 735708937, 334568471, -892965897, -986945147, -61799270, -991870815, 341914339, 615976618, 338253196, 338264402, 621963005, 110354890, 374543183, 489899171, 681233378, -700785832, 716295818, 882327865, 121160297, 200851730, -634298142, -607969768, 320348284, -715955205, -954542471, -870979203, 184049242, 614769641, 882719750, -987931090, -937259754, -15022847, 237064982, 80885305, 773875436, -658784122, 157610031, 905905473, -991164547, 611321346, -230271444, 487017754, 675633614, -949258410, -648756074, 826543300, 23922675, -493058396, 279036672, 496090525, -936823510, 244052242, 404742545, -460823463, 341257405, -573731135, -991321589, 508788790, 836930814, 258077605, 704605665, 350520527, -994624369, 655395808, 616722134, -936825753, -952777692, -936951920, -936939569, 322041831, 509580287, 605781326, 526504849, -621244368, -995264952, 580062932, -137596557, -473129994, 298328845, 248212468, -997517027, 509146210, -285021756, -962708514, 140213477, -933236970, 156503715, 11337436, 425577160, -12900058, 918455959, -186674498, -870979182, -770374389, -932281492, -992720116, -317151573, 728503632, 614689335, 417549455, -995199242, 807543660, 139572135, 274028237, 274996845, -118877438, 633758777, -133995579, 471396945, 274982217, 256803609, -870979275, 792324359, -932590026, 564444914, -269878264, 866017801, -135511646, 613106263, 936419980, 343263058, 637020805, -881253394, 776967162, 146101215, -281986571, -991523352, -992817660, 740691745, -951377005, -870979153, 143161766, -36532679, -870979217, 120581003, 317155732, -945978638, 910171293, 344924379, 65399226, 952299923, 131911966, 127022072, -935325820, -468549158, 333971949, 811674716, -991418080, -870979174, 213006608, -595925775, 156097125, -633883346, -592141162, -870979207, -828132079, 42873107, -870979220, 874318083, -870979170, -48330611, 202067164, -995031631, 296496570, 501524383, -994259373, -955542728, 361405280, -393118416, -89641074, -490426322, 545484226, 321908428, 345754502, -870979245, -118398510, -89907156, 269769650, 781172403, 370845895, -870979254, -653422810, 502512399, -195307639, -733072196, 551028412, 359884264, -993100302, 343524903, 581748765, 396605876, 321886473, 314157153, -932008078, -954584408, 514133388, -482061669, -931933709, 257328393, 308800172, 993515411, 923643686, -177509898, 666355919, -957476618, 596185882, 161964116, -932225013, -870979183, 778734657, 38187669, -305757437, -616382183, 248086249, 872537234, 522353521, 387898652, -867971882, -761788885, 577114128, -870979223, -935134851, 321751335, 404653170, 653457035, 826658898, -526787625, -819413015, -993740673, -609521704, 591628418, -994253179, 883340900, -399411267, -991011936, 343263787, 691292081, 235873054, 971462441, -810830114, -987785644, 731044826, -870979214, 344763256, -686997064, 972092606, -534920509, -910527632, 618232691, -962390662, 524794170, 341704812, -957264945, -964674924, -991637735, 343573848, -967824377, -994244722, 240763493, -870979258, -569391029, 622962804, -932036998, -465339019, -114468874, 842068933, 343556345, -994231670, -346523061, 625186755, 453565138, 191720933, 351363545, -870979209, -601964435, 830693899, -427886011, 90854352, -995273082, 92976194, 677049122, -874554325, 626054220, 891796679, 842123715, 200980433, 217300167, 617250330, 343526288, -994410494, -992460092, 272272443, 341050298, -321789722, 611404435, 321767864, -54657755, 685313675, -81968763, 158754745, 350678789, 617374615, 318231142, 391152775, -989144366, -950572750, 164368506, 309578520, -988399265, -994811470, 277786974, -993642998, -330571612, -870979200, 676583510, 496205825, 577838807, 408619001, -991689179, 343661941, 607697877, 303517924, -870979166, 623589496, -954854478, 320784350, -993057332, 279767354, 416143384, 526172591, -899097856, -757563626, 270077284, 321709349, 309055973, 461191782, 632836985, 996612676, 320477768, 856593002, 478577923, 350181217, 884938042, -424182545, 384010371, 633784520, -994426683, -848776966, 321455175, 557367817, -994211910, 342610617, -545053053, -870979215, -565597761, -870979178, 599482567, -860888966, 128964867, -125743457, 744388637, -870979163, -175495011, 42496934, -987764158, 343264069, 572802540, -870979228, -160123777, -991510829, 628340360, 489284372, 334555374, -238655486, -234866626, 888667756, -75135455, 581507616, 343245182, 462628974, -305776294, 609862015, 274978195, -1000000000, 110541120, 79463610, -257665582, 415680988, 320251562, 347548310, 279019258, -995268544, 1000000000, 86505204, 510924776, 343479561, 547501722], x: {
4003 "value": 221807748,
4004 "left": {
4005 "value": -990990382,
4006 "left": {
4007 "value": -994201300,
4008 "left": {
4009 "value": -995199219,
4010 "left": {
4011 "value": -995265174,
4012 "left": {
4013 "value": -995281763,
4014 "left": {
4015 "value": -995295554,
4016 "left": nil,
4017 "right": {
4018 "value": -995287062,
4019 "left": nil,
4020 "right": nil
4021 }
4022 },
4023 "right": {
4024 "value": -995269755,
4025 "left": {
4026 "value": -995277598,
4027 "left": nil,
4028 "right": nil
4029 },
4030 "right": {
4031 "value": -995267714,
4032 "left": nil,
4033 "right": nil
4034 }
4035 }
4036 },
4037 "right": {
4038 "value": -995245297,
4039 "left": {
4040 "value": -995246257,
4041 "left": {
4042 "value": -995264552,
4043 "left": nil,
4044 "right": {
4045 "value": -995263209,
4046 "left": nil,
4047 "right": nil
4048 }
4049 },
4050 "right": nil
4051 },
4052 "right": {
4053 "value": -995213546,
4054 "left": {
4055 "value": -995224178,
4056 "left": nil,
4057 "right": {
4058 "value": -995216606,
4059 "left": nil,
4060 "right": nil
4061 }
4062 },
4063 "right": {
4064 "value": -995205954,
4065 "left": nil,
4066 "right": nil
4067 }
4068 }
4069 }
4070 },
4071 "right": {
4072 "value": -994295455,
4073 "left": {
4074 "value": -994562197,
4075 "left": {
4076 "value": -995081844,
4077 "left": {
4078 "value": -995166285,
4079 "left": nil,
4080 "right": nil
4081 },
4082 "right": nil
4083 },
4084 "right": {
4085 "value": -994385110,
4086 "left": {
4087 "value": -994395951,
4088 "left": nil,
4089 "right": nil
4090 },
4091 "right": {
4092 "value": -994322817,
4093 "left": {
4094 "value": -994367146,
4095 "left": nil,
4096 "right": nil
4097 },
4098 "right": {
4099 "value": -994308705,
4100 "left": nil,
4101 "right": nil
4102 }
4103 }
4104 }
4105 },
4106 "right": {
4107 "value": -994243624,
4108 "left": {
4109 "value": -994266644,
4110 "left": {
4111 "value": -994269769,
4112 "left": {
4113 "value": -994285094,
4114 "left": nil,
4115 "right": nil
4116 },
4117 "right": nil
4118 },
4119 "right": nil
4120 },
4121 "right": {
4122 "value": -994233406,
4123 "left": nil,
4124 "right": nil
4125 }
4126 }
4127 }
4128 },
4129 "right": {
4130 "value": -992744368,
4131 "left": {
4132 "value": -993142739,
4133 "left": {
4134 "value": -993550243,
4135 "left": {
4136 "value": -993657636,
4137 "left": {
4138 "value": -993773158,
4139 "left": {
4140 "value": -994006957,
4141 "left": nil,
4142 "right": nil
4143 },
4144 "right": nil
4145 },
4146 "right": {
4147 "value": -993630840,
4148 "left": nil,
4149 "right": nil
4150 }
4151 },
4152 "right": {
4153 "value": -993498498,
4154 "left": {
4155 "value": -993526310,
4156 "left": {
4157 "value": -993537749,
4158 "left": nil,
4159 "right": nil
4160 },
4161 "right": nil
4162 },
4163 "right": {
4164 "value": -993248577,
4165 "left": {
4166 "value": -993403104,
4167 "left": nil,
4168 "right": nil
4169 },
4170 "right": {
4171 "value": -993233699,
4172 "left": nil,
4173 "right": nil
4174 }
4175 }
4176 }
4177 },
4178 "right": {
4179 "value": -993113065,
4180 "left": {
4181 "value": -993126398,
4182 "left": {
4183 "value": -993133564,
4184 "left": nil,
4185 "right": nil
4186 },
4187 "right": nil
4188 },
4189 "right": {
4190 "value": -993079555,
4191 "left": nil,
4192 "right": {
4193 "value": -992931616,
4194 "left": nil,
4195 "right": nil
4196 }
4197 }
4198 }
4199 },
4200 "right": {
4201 "value": -991655566,
4202 "left": {
4203 "value": -992515050,
4204 "left": {
4205 "value": -992585004,
4206 "left": nil,
4207 "right": nil
4208 },
4209 "right": nil
4210 },
4211 "right": {
4212 "value": -991379758,
4213 "left": {
4214 "value": -991494592,
4215 "left": {
4216 "value": -991497277,
4217 "left": nil,
4218 "right": nil
4219 },
4220 "right": nil
4221 },
4222 "right": {
4223 "value": -991026283,
4224 "left": {
4225 "value": -991132227,
4226 "left": nil,
4227 "right": nil
4228 },
4229 "right": nil
4230 }
4231 }
4232 }
4233 }
4234 },
4235 "right": {
4236 "value": -932047082,
4237 "left": {
4238 "value": -937043898,
4239 "left": {
4240 "value": -963189233,
4241 "left": {
4242 "value": -988321086,
4243 "left": {
4244 "value": -989346768,
4245 "left": {
4246 "value": -989449324,
4247 "left": {
4248 "value": -990791684,
4249 "left": nil,
4250 "right": nil
4251 },
4252 "right": nil
4253 },
4254 "right": nil
4255 },
4256 "right": {
4257 "value": -967915158,
4258 "left": {
4259 "value": -987774362,
4260 "left": {
4261 "value": -987896002,
4262 "left": nil,
4263 "right": nil
4264 },
4265 "right": {
4266 "value": -986536174,
4267 "left": nil,
4268 "right": {
4269 "value": -981305897,
4270 "left": nil,
4271 "right": nil
4272 }
4273 }
4274 },
4275 "right": {
4276 "value": -967843170,
4277 "left": {
4278 "value": -967889461,
4279 "left": nil,
4280 "right": nil
4281 },
4282 "right": {
4283 "value": -964722727,
4284 "left": {
4285 "value": -964971628,
4286 "left": nil,
4287 "right": nil
4288 },
4289 "right": nil
4290 }
4291 }
4292 }
4293 },
4294 "right": {
4295 "value": -955996413,
4296 "left": {
4297 "value": -960684763,
4298 "left": {
4299 "value": -962080027,
4300 "left": {
4301 "value": -962649696,
4302 "left": nil,
4303 "right": nil
4304 },
4305 "right": nil
4306 },
4307 "right": {
4308 "value": -957305485,
4309 "left": nil,
4310 "right": nil
4311 }
4312 },
4313 "right": {
4314 "value": -944051615,
4315 "left": {
4316 "value": -950954191,
4317 "left": {
4318 "value": -953712611,
4319 "left": nil,
4320 "right": nil
4321 },
4322 "right": {
4323 "value": -948541337,
4324 "left": nil,
4325 "right": {
4326 "value": -945577706,
4327 "left": nil,
4328 "right": nil
4329 }
4330 }
4331 },
4332 "right": {
4333 "value": -937801179,
4334 "left": {
4335 "value": -942440254,
4336 "left": nil,
4337 "right": {
4338 "value": -939182843,
4339 "left": nil,
4340 "right": nil
4341 }
4342 },
4343 "right": {
4344 "value": -937484227,
4345 "left": nil,
4346 "right": nil
4347 }
4348 }
4349 }
4350 }
4351 },
4352 "right": {
4353 "value": -935437625,
4354 "left": {
4355 "value": -936835655,
4356 "left": {
4357 "value": -936895446,
4358 "left": {
4359 "value": -936933575,
4360 "left": nil,
4361 "right": {
4362 "value": -936924657,
4363 "left": nil,
4364 "right": nil
4365 }
4366 },
4367 "right": {
4368 "value": -936837192,
4369 "left": {
4370 "value": -936848757,
4371 "left": nil,
4372 "right": nil
4373 },
4374 "right": nil
4375 }
4376 },
4377 "right": {
4378 "value": -936715442,
4379 "left": {
4380 "value": -936788387,
4381 "left": {
4382 "value": -936822782,
4383 "left": nil,
4384 "right": nil
4385 },
4386 "right": {
4387 "value": -936732051,
4388 "left": {
4389 "value": -936745948,
4390 "left": nil,
4391 "right": nil
4392 },
4393 "right": {
4394 "value": -936724048,
4395 "left": nil,
4396 "right": nil
4397 }
4398 }
4399 },
4400 "right": {
4401 "value": -936008677,
4402 "left": {
4403 "value": -936542996,
4404 "left": nil,
4405 "right": nil
4406 },
4407 "right": {
4408 "value": -935654801,
4409 "left": nil,
4410 "right": {
4411 "value": -935614652,
4412 "left": nil,
4413 "right": nil
4414 }
4415 }
4416 }
4417 }
4418 },
4419 "right": {
4420 "value": -932435931,
4421 "left": {
4422 "value": -935092247,
4423 "left": nil,
4424 "right": {
4425 "value": -932619810,
4426 "left": {
4427 "value": -932690165,
4428 "left": nil,
4429 "right": nil
4430 },
4431 "right": {
4432 "value": -932504804,
4433 "left": {
4434 "value": -932547894,
4435 "left": nil,
4436 "right": nil
4437 },
4438 "right": nil
4439 }
4440 }
4441 },
4442 "right": {
4443 "value": -932146423,
4444 "left": {
4445 "value": -932235798,
4446 "left": {
4447 "value": -932267258,
4448 "left": nil,
4449 "right": nil
4450 },
4451 "right": nil
4452 },
4453 "right": {
4454 "value": -932057316,
4455 "left": {
4456 "value": -932108986,
4457 "left": nil,
4458 "right": {
4459 "value": -932067692,
4460 "left": nil,
4461 "right": nil
4462 }
4463 },
4464 "right": nil
4465 }
4466 }
4467 }
4468 }
4469 },
4470 "right": {
4471 "value": 139496665,
4472 "left": {
4473 "value": -116794092,
4474 "left": {
4475 "value": -547690037,
4476 "left": {
4477 "value": -620080304,
4478 "left": {
4479 "value": -870979154,
4480 "left": {
4481 "value": -870979155,
4482 "left": {
4483 "value": -870979158,
4484 "left": {
4485 "value": -870979159,
4486 "left": {
4487 "value": -870979160,
4488 "left": {
4489 "value": -870979161,
4490 "left": {
4491 "value": -870979164,
4492 "left": {
4493 "value": -870979165,
4494 "left": {
4495 "value": -870979168,
4496 "left": {
4497 "value": -870979172,
4498 "left": {
4499 "value": -870979173,
4500 "left": {
4501 "value": -870979175,
4502 "left": {
4503 "value": -870979185,
4504 "left": {
4505 "value": -870979186,
4506 "left": {
4507 "value": -870979187,
4508 "left": {
4509 "value": -870979188,
4510 "left": {
4511 "value": -870979190,
4512 "left": {
4513 "value": -870979191,
4514 "left": {
4515 "value": -870979193,
4516 "left": {
4517 "value": -870979194,
4518 "left": {
4519 "value": -870979195,
4520 "left": {
4521 "value": -870979196,
4522 "left": {
4523 "value": -870979197,
4524 "left": {
4525 "value": -870979198,
4526 "left": {
4527 "value": -870979201,
4528 "left": {
4529 "value": -870979204,
4530 "left": {
4531 "value": -870979205,
4532 "left": {
4533 "value": -870979216,
4534 "left": {
4535 "value": -870979218,
4536 "left": {
4537 "value": -870979219,
4538 "left": {
4539 "value": -870979221,
4540 "left": {
4541 "value": -870979225,
4542 "left": {
4543 "value": -870979229,
4544 "left": {
4545 "value": -870979230,
4546 "left": {
4547 "value": -870979233,
4548 "left": {
4549 "value": -870979234,
4550 "left": {
4551 "value": -870979237,
4552 "left": {
4553 "value": -870979238,
4554 "left": {
4555 "value": -870979239,
4556 "left": {
4557 "value": -870979240,
4558 "left": {
4559 "value": -870979241,
4560 "left": {
4561 "value": -870979242,
4562 "left": {
4563 "value": -870979243,
4564 "left": {
4565 "value": -870979246,
4566 "left": {
4567 "value": -870979247,
4568 "left": {
4569 "value": -870979248,
4570 "left": {
4571 "value": -870979250,
4572 "left": {
4573 "value": -870979256,
4574 "left": {
4575 "value": -870979257,
4576 "left": {
4577 "value": -870979260,
4578 "left": {
4579 "value": -870979261,
4580 "left": {
4581 "value": -870979263,
4582 "left": {
4583 "value": -870979264,
4584 "left": {
4585 "value": -870979269,
4586 "left": {
4587 "value": -870979270,
4588 "left": {
4589 "value": -870979273,
4590 "left": {
4591 "value": -870979274,
4592 "left": {
4593 "value": -870979276,
4594 "left": nil,
4595 "right": nil
4596 },
4597 "right": nil
4598 },
4599 "right": nil
4600 },
4601 "right": nil
4602 },
4603 "right": nil
4604 },
4605 "right": nil
4606 },
4607 "right": nil
4608 },
4609 "right": nil
4610 },
4611 "right": nil
4612 },
4613 "right": nil
4614 },
4615 "right": nil
4616 },
4617 "right": nil
4618 },
4619 "right": nil
4620 },
4621 "right": nil
4622 },
4623 "right": nil
4624 },
4625 "right": nil
4626 },
4627 "right": nil
4628 },
4629 "right": nil
4630 },
4631 "right": nil
4632 },
4633 "right": nil
4634 },
4635 "right": nil
4636 },
4637 "right": nil
4638 },
4639 "right": nil
4640 },
4641 "right": nil
4642 },
4643 "right": nil
4644 },
4645 "right": nil
4646 },
4647 "right": nil
4648 },
4649 "right": nil
4650 },
4651 "right": nil
4652 },
4653 "right": nil
4654 },
4655 "right": nil
4656 },
4657 "right": nil
4658 },
4659 "right": nil
4660 },
4661 "right": nil
4662 },
4663 "right": nil
4664 },
4665 "right": nil
4666 },
4667 "right": nil
4668 },
4669 "right": nil
4670 },
4671 "right": nil
4672 },
4673 "right": nil
4674 },
4675 "right": nil
4676 },
4677 "right": nil
4678 },
4679 "right": nil
4680 },
4681 "right": nil
4682 },
4683 "right": nil
4684 },
4685 "right": nil
4686 },
4687 "right": nil
4688 },
4689 "right": nil
4690 },
4691 "right": nil
4692 },
4693 "right": nil
4694 },
4695 "right": nil
4696 },
4697 "right": nil
4698 },
4699 "right": nil
4700 },
4701 "right": nil
4702 },
4703 "right": nil
4704 },
4705 "right": nil
4706 },
4707 "right": nil
4708 },
4709 "right": {
4710 "value": -624500760,
4711 "left": {
4712 "value": -628231889,
4713 "left": nil,
4714 "right": nil
4715 },
4716 "right": nil
4717 }
4718 },
4719 "right": {
4720 "value": -608110784,
4721 "left": {
4722 "value": -608318559,
4723 "left": nil,
4724 "right": nil
4725 },
4726 "right": {
4727 "value": -581529830,
4728 "left": nil,
4729 "right": {
4730 "value": -562720675,
4731 "left": nil,
4732 "right": nil
4733 }
4734 }
4735 }
4736 },
4737 "right": {
4738 "value": -328307409,
4739 "left": {
4740 "value": -534608050,
4741 "left": {
4742 "value": -538517143,
4743 "left": {
4744 "value": -542833010,
4745 "left": nil,
4746 "right": nil
4747 },
4748 "right": {
4749 "value": -536927766,
4750 "left": nil,
4751 "right": nil
4752 }
4753 },
4754 "right": {
4755 "value": -428971026,
4756 "left": {
4757 "value": -485430049,
4758 "left": nil,
4759 "right": nil
4760 },
4761 "right": {
4762 "value": -396328449,
4763 "left": nil,
4764 "right": nil
4765 }
4766 }
4767 },
4768 "right": {
4769 "value": -159795548,
4770 "left": {
4771 "value": -172731429,
4772 "left": {
4773 "value": -200534112,
4774 "left": nil,
4775 "right": nil
4776 },
4777 "right": nil
4778 },
4779 "right": {
4780 "value": -119623941,
4781 "left": {
4782 "value": -144441751,
4783 "left": nil,
4784 "right": nil
4785 },
4786 "right": nil
4787 }
4788 }
4789 }
4790 },
4791 "right": {
4792 "value": -43657152,
4793 "left": {
4794 "value": -56258798,
4795 "left": {
4796 "value": -58930074,
4797 "left": {
4798 "value": -105549138,
4799 "left": nil,
4800 "right": nil
4801 },
4802 "right": {
4803 "value": -56405741,
4804 "left": nil,
4805 "right": nil
4806 }
4807 },
4808 "right": {
4809 "value": -49362221,
4810 "left": {
4811 "value": -50540116,
4812 "left": nil,
4813 "right": nil
4814 },
4815 "right": nil
4816 }
4817 },
4818 "right": {
4819 "value": 137657700,
4820 "left": {
4821 "value": 64948352,
4822 "left": nil,
4823 "right": {
4824 "value": 125786198,
4825 "left": {
4826 "value": 121642899,
4827 "left": nil,
4828 "right": nil
4829 },
4830 "right": {
4831 "value": 131901712,
4832 "left": nil,
4833 "right": nil
4834 }
4835 }
4836 },
4837 "right": {
4838 "value": 139059933,
4839 "left": {
4840 "value": 138646990,
4841 "left": nil,
4842 "right": nil
4843 },
4844 "right": {
4845 "value": 139285536,
4846 "left": nil,
4847 "right": {
4848 "value": 139401660,
4849 "left": nil,
4850 "right": nil
4851 }
4852 }
4853 }
4854 }
4855 }
4856 },
4857 "right": {
4858 "value": 156152886,
4859 "left": {
4860 "value": 143893207,
4861 "left": {
4862 "value": 139590972,
4863 "left": {
4864 "value": 139548978,
4865 "left": nil,
4866 "right": {
4867 "value": 139572732,
4868 "left": nil,
4869 "right": nil
4870 }
4871 },
4872 "right": {
4873 "value": 143366100,
4874 "left": {
4875 "value": 140820931,
4876 "left": nil,
4877 "right": nil
4878 },
4879 "right": {
4880 "value": 143502112,
4881 "left": nil,
4882 "right": nil
4883 }
4884 }
4885 },
4886 "right": {
4887 "value": 154473723,
4888 "left": {
4889 "value": 153367254,
4890 "left": nil,
4891 "right": {
4892 "value": 153460819,
4893 "left": nil,
4894 "right": {
4895 "value": 154239432,
4896 "left": nil,
4897 "right": nil
4898 }
4899 }
4900 },
4901 "right": {
4902 "value": 155656452,
4903 "left": {
4904 "value": 155638458,
4905 "left": {
4906 "value": 155423570,
4907 "left": nil,
4908 "right": nil
4909 },
4910 "right": nil
4911 },
4912 "right": {
4913 "value": 156085421,
4914 "left": nil,
4915 "right": {
4916 "value": 156128836,
4917 "left": nil,
4918 "right": nil
4919 }
4920 }
4921 }
4922 }
4923 },
4924 "right": {
4925 "value": 192259445,
4926 "left": {
4927 "value": 165040430,
4928 "left": {
4929 "value": 161525636,
4930 "left": nil,
4931 "right": {
4932 "value": 164086279,
4933 "left": nil,
4934 "right": nil
4935 }
4936 },
4937 "right": {
4938 "value": 173021150,
4939 "left": {
4940 "value": 170737860,
4941 "left": nil,
4942 "right": nil
4943 },
4944 "right": {
4945 "value": 190789340,
4946 "left": {
4947 "value": 184990221,
4948 "left": nil,
4949 "right": nil
4950 },
4951 "right": nil
4952 }
4953 }
4954 },
4955 "right": {
4956 "value": 213358504,
4957 "left": {
4958 "value": 212202526,
4959 "left": {
4960 "value": 210849324,
4961 "left": {
4962 "value": 204833109,
4963 "left": nil,
4964 "right": nil
4965 },
4966 "right": nil
4967 },
4968 "right": {
4969 "value": 212808546,
4970 "left": nil,
4971 "right": nil
4972 }
4973 },
4974 "right": {
4975 "value": 214222398,
4976 "left": {
4977 "value": 214097828,
4978 "left": {
4979 "value": 213395995,
4980 "left": nil,
4981 "right": nil
4982 },
4983 "right": nil
4984 },
4985 "right": {
4986 "value": 218212873,
4987 "left": nil,
4988 "right": {
4989 "value": 220507910,
4990 "left": nil,
4991 "right": nil
4992 }
4993 }
4994 }
4995 }
4996 }
4997 }
4998 }
4999 }
5000 },
5001 "right": {
5002 "value": 343663764,
5003 "left": {
5004 "value": 321314681,
5005 "left": {
5006 "value": 275006101,
5007 "left": {
5008 "value": 258312075,
5009 "left": {
5010 "value": 255054797,
5011 "left": {
5012 "value": 235493466,
5013 "left": {
5014 "value": 225820506,
5015 "left": {
5016 "value": 223128933,
5017 "left": nil,
5018 "right": nil
5019 },
5020 "right": {
5021 "value": 227194555,
5022 "left": nil,
5023 "right": {
5024 "value": 232078836,
5025 "left": nil,
5026 "right": nil
5027 }
5028 }
5029 },
5030 "right": {
5031 "value": 236321088,
5032 "left": nil,
5033 "right": {
5034 "value": 246214968,
5035 "left": nil,
5036 "right": {
5037 "value": 248320665,
5038 "left": nil,
5039 "right": nil
5040 }
5041 }
5042 }
5043 },
5044 "right": {
5045 "value": 257525658,
5046 "left": {
5047 "value": 255533651,
5048 "left": nil,
5049 "right": {
5050 "value": 257191230,
5051 "left": {
5052 "value": 257167879,
5053 "left": nil,
5054 "right": nil
5055 },
5056 "right": nil
5057 }
5058 },
5059 "right": {
5060 "value": 257566990,
5061 "left": {
5062 "value": 257551645,
5063 "left": nil,
5064 "right": {
5065 "value": 257556328,
5066 "left": nil,
5067 "right": nil
5068 }
5069 },
5070 "right": nil
5071 }
5072 }
5073 },
5074 "right": {
5075 "value": 273874169,
5076 "left": {
5077 "value": 270616137,
5078 "left": {
5079 "value": 269895426,
5080 "left": nil,
5081 "right": nil
5082 },
5083 "right": {
5084 "value": 273852360,
5085 "left": {
5086 "value": 273154953,
5087 "left": nil,
5088 "right": nil
5089 },
5090 "right": {
5091 "value": 273862724,
5092 "left": {
5093 "value": 273855675,
5094 "left": nil,
5095 "right": nil
5096 },
5097 "right": nil
5098 }
5099 }
5100 },
5101 "right": {
5102 "value": 274926783,
5103 "left": {
5104 "value": 274008095,
5105 "left": {
5106 "value": 273996085,
5107 "left": {
5108 "value": 273969991,
5109 "left": nil,
5110 "right": nil
5111 },
5112 "right": nil
5113 },
5114 "right": {
5115 "value": 274072567,
5116 "left": nil,
5117 "right": {
5118 "value": 274801498,
5119 "left": nil,
5120 "right": nil
5121 }
5122 }
5123 },
5124 "right": {
5125 "value": 274994093,
5126 "left": nil,
5127 "right": {
5128 "value": 275000175,
5129 "left": nil,
5130 "right": nil
5131 }
5132 }
5133 }
5134 }
5135 },
5136 "right": {
5137 "value": 303144613,
5138 "left": {
5139 "value": 278966006,
5140 "left": {
5141 "value": 277798407,
5142 "left": {
5143 "value": 277690795,
5144 "left": {
5145 "value": 276225134,
5146 "left": {
5147 "value": 275524368,
5148 "left": nil,
5149 "right": nil
5150 },
5151 "right": nil
5152 },
5153 "right": {
5154 "value": 277772835,
5155 "left": {
5156 "value": 277759377,
5157 "left": nil,
5158 "right": nil
5159 },
5160 "right": nil
5161 }
5162 },
5163 "right": {
5164 "value": 278627816,
5165 "left": {
5166 "value": 278033829,
5167 "left": nil,
5168 "right": {
5169 "value": 278397899,
5170 "left": nil,
5171 "right": nil
5172 }
5173 },
5174 "right": {
5175 "value": 278716937,
5176 "left": {
5177 "value": 278647224,
5178 "left": nil,
5179 "right": nil
5180 },
5181 "right": {
5182 "value": 278778011,
5183 "left": nil,
5184 "right": nil
5185 }
5186 }
5187 }
5188 },
5189 "right": {
5190 "value": 279496240,
5191 "left": {
5192 "value": 279103095,
5193 "left": {
5194 "value": 278995414,
5195 "left": nil,
5196 "right": nil
5197 },
5198 "right": {
5199 "value": 279344107,
5200 "left": {
5201 "value": 279311767,
5202 "left": nil,
5203 "right": nil
5204 },
5205 "right": {
5206 "value": 279388783,
5207 "left": nil,
5208 "right": nil
5209 }
5210 }
5211 },
5212 "right": {
5213 "value": 283217167,
5214 "left": {
5215 "value": 281850316,
5216 "left": nil,
5217 "right": {
5218 "value": 282174024,
5219 "left": nil,
5220 "right": nil
5221 }
5222 },
5223 "right": {
5224 "value": 298533889,
5225 "left": nil,
5226 "right": nil
5227 }
5228 }
5229 }
5230 },
5231 "right": {
5232 "value": 313329180,
5233 "left": {
5234 "value": 306324381,
5235 "left": {
5236 "value": 303921723,
5237 "left": {
5238 "value": 303580722,
5239 "left": nil,
5240 "right": {
5241 "value": 303748670,
5242 "left": nil,
5243 "right": nil
5244 }
5245 },
5246 "right": {
5247 "value": 305327073,
5248 "left": nil,
5249 "right": nil
5250 }
5251 },
5252 "right": {
5253 "value": 309020988,
5254 "left": nil,
5255 "right": {
5256 "value": 311019697,
5257 "left": nil,
5258 "right": nil
5259 }
5260 }
5261 },
5262 "right": {
5263 "value": 320207854,
5264 "left": {
5265 "value": 319275095,
5266 "left": nil,
5267 "right": {
5268 "value": 320049435,
5269 "left": nil,
5270 "right": nil
5271 }
5272 },
5273 "right": {
5274 "value": 320375518,
5275 "left": {
5276 "value": 320329737,
5277 "left": nil,
5278 "right": nil
5279 },
5280 "right": {
5281 "value": 321207606,
5282 "left": nil,
5283 "right": nil
5284 }
5285 }
5286 }
5287 }
5288 }
5289 },
5290 "right": {
5291 "value": 339873389,
5292 "left": {
5293 "value": 333748918,
5294 "left": {
5295 "value": 321929766,
5296 "left": {
5297 "value": 321720424,
5298 "left": {
5299 "value": 321699012,
5300 "left": nil,
5301 "right": nil
5302 },
5303 "right": {
5304 "value": 321836453,
5305 "left": {
5306 "value": 321799633,
5307 "left": nil,
5308 "right": nil
5309 },
5310 "right": nil
5311 }
5312 },
5313 "right": {
5314 "value": 322059073,
5315 "left": {
5316 "value": 322021579,
5317 "left": {
5318 "value": 321968864,
5319 "left": nil,
5320 "right": {
5321 "value": 321999083,
5322 "left": nil,
5323 "right": nil
5324 }
5325 },
5326 "right": {
5327 "value": 322048919,
5328 "left": nil,
5329 "right": nil
5330 }
5331 },
5332 "right": {
5333 "value": 328288760,
5334 "left": {
5335 "value": 325823337,
5336 "left": nil,
5337 "right": nil
5338 },
5339 "right": {
5340 "value": 331746622,
5341 "left": nil,
5342 "right": nil
5343 }
5344 }
5345 }
5346 },
5347 "right": {
5348 "value": 337113773,
5349 "left": {
5350 "value": 335711481,
5351 "left": {
5352 "value": 334200895,
5353 "left": {
5354 "value": 334042313,
5355 "left": nil,
5356 "right": nil
5357 },
5358 "right": {
5359 "value": 335575788,
5360 "left": nil,
5361 "right": nil
5362 }
5363 },
5364 "right": {
5365 "value": 336655978,
5366 "left": {
5367 "value": 335821195,
5368 "left": nil,
5369 "right": {
5370 "value": 336429191,
5371 "left": nil,
5372 "right": nil
5373 }
5374 },
5375 "right": nil
5376 }
5377 },
5378 "right": {
5379 "value": 338119109,
5380 "left": {
5381 "value": 337140732,
5382 "left": {
5383 "value": 337116660,
5384 "left": nil,
5385 "right": {
5386 "value": 337135523,
5387 "left": nil,
5388 "right": nil
5389 }
5390 },
5391 "right": {
5392 "value": 338077478,
5393 "left": nil,
5394 "right": nil
5395 }
5396 },
5397 "right": {
5398 "value": 338289902,
5399 "left": {
5400 "value": 338272199,
5401 "left": nil,
5402 "right": nil
5403 },
5404 "right": nil
5405 }
5406 }
5407 }
5408 },
5409 "right": {
5410 "value": 343286660,
5411 "left": {
5412 "value": 342921895,
5413 "left": {
5414 "value": 341710156,
5415 "left": {
5416 "value": 341685840,
5417 "left": {
5418 "value": 341683701,
5419 "left": nil,
5420 "right": nil
5421 },
5422 "right": {
5423 "value": 341698404,
5424 "left": {
5425 "value": 341693938,
5426 "left": nil,
5427 "right": nil
5428 },
5429 "right": nil
5430 }
5431 },
5432 "right": {
5433 "value": 342794301,
5434 "left": nil,
5435 "right": nil
5436 }
5437 },
5438 "right": {
5439 "value": 343232286,
5440 "left": {
5441 "value": 343195226,
5442 "left": nil,
5443 "right": {
5444 "value": 343219902,
5445 "left": nil,
5446 "right": nil
5447 }
5448 },
5449 "right": {
5450 "value": 343276440,
5451 "left": {
5452 "value": 343275661,
5453 "left": nil,
5454 "right": nil
5455 },
5456 "right": nil
5457 }
5458 }
5459 },
5460 "right": {
5461 "value": 343533620,
5462 "left": {
5463 "value": 343367756,
5464 "left": {
5465 "value": 343316780,
5466 "left": {
5467 "value": 343314395,
5468 "left": {
5469 "value": 343304196,
5470 "left": nil,
5471 "right": nil
5472 },
5473 "right": nil
5474 },
5475 "right": nil
5476 },
5477 "right": {
5478 "value": 343492573,
5479 "left": nil,
5480 "right": {
5481 "value": 343531974,
5482 "left": nil,
5483 "right": nil
5484 }
5485 }
5486 },
5487 "right": {
5488 "value": 343612154,
5489 "left": {
5490 "value": 343546715,
5491 "left": {
5492 "value": 343544574,
5493 "left": nil,
5494 "right": nil
5495 },
5496 "right": {
5497 "value": 343598243,
5498 "left": nil,
5499 "right": nil
5500 }
5501 },
5502 "right": {
5503 "value": 343646763,
5504 "left": {
5505 "value": 343636642,
5506 "left": nil,
5507 "right": {
5508 "value": 343645635,
5509 "left": nil,
5510 "right": nil
5511 }
5512 },
5513 "right": {
5514 "value": 343646873,
5515 "left": nil,
5516 "right": nil
5517 }
5518 }
5519 }
5520 }
5521 }
5522 }
5523 },
5524 "right": {
5525 "value": 606478687,
5526 "left": {
5527 "value": 471363126,
5528 "left": {
5529 "value": 396143851,
5530 "left": {
5531 "value": 352193829,
5532 "left": {
5533 "value": 350461987,
5534 "left": nil,
5535 "right": {
5536 "value": 350855860,
5537 "left": {
5538 "value": 350494845,
5539 "left": nil,
5540 "right": nil
5541 },
5542 "right": {
5543 "value": 350886868,
5544 "left": nil,
5545 "right": nil
5546 }
5547 }
5548 },
5549 "right": {
5550 "value": 372892547,
5551 "left": {
5552 "value": 371399052,
5553 "left": nil,
5554 "right": {
5555 "value": 372157991,
5556 "left": nil,
5557 "right": nil
5558 }
5559 },
5560 "right": {
5561 "value": 392750269,
5562 "left": {
5563 "value": 390565116,
5564 "left": nil,
5565 "right": {
5566 "value": 392454065,
5567 "left": nil,
5568 "right": nil
5569 }
5570 },
5571 "right": {
5572 "value": 392846730,
5573 "left": nil,
5574 "right": nil
5575 }
5576 }
5577 }
5578 },
5579 "right": {
5580 "value": 418423800,
5581 "left": {
5582 "value": 409304277,
5583 "left": {
5584 "value": 404754013,
5585 "left": nil,
5586 "right": {
5587 "value": 406858890,
5588 "left": nil,
5589 "right": nil
5590 }
5591 },
5592 "right": {
5593 "value": 416060176,
5594 "left": nil,
5595 "right": {
5596 "value": 417671578,
5597 "left": nil,
5598 "right": {
5599 "value": 418411882,
5600 "left": nil,
5601 "right": nil
5602 }
5603 }
5604 }
5605 },
5606 "right": {
5607 "value": 460540503,
5608 "left": {
5609 "value": 423424218,
5610 "left": {
5611 "value": 422850677,
5612 "left": {
5613 "value": 419496115,
5614 "left": nil,
5615 "right": nil
5616 },
5617 "right": nil
5618 },
5619 "right": {
5620 "value": 433403643,
5621 "left": nil,
5622 "right": {
5623 "value": 455010194,
5624 "left": nil,
5625 "right": nil
5626 }
5627 }
5628 },
5629 "right": {
5630 "value": 464057738,
5631 "left": nil,
5632 "right": {
5633 "value": 464617093,
5634 "left": nil,
5635 "right": nil
5636 }
5637 }
5638 }
5639 }
5640 },
5641 "right": {
5642 "value": 514343224,
5643 "left": {
5644 "value": 511173619,
5645 "left": {
5646 "value": 507295331,
5647 "left": {
5648 "value": 471415187,
5649 "left": {
5650 "value": 471380915,
5651 "left": {
5652 "value": 471371552,
5653 "left": nil,
5654 "right": nil
5655 },
5656 "right": nil
5657 },
5658 "right": {
5659 "value": 489950796,
5660 "left": nil,
5661 "right": nil
5662 }
5663 },
5664 "right": {
5665 "value": 509868486,
5666 "left": {
5667 "value": 507802383,
5668 "left": nil,
5669 "right": nil
5670 },
5671 "right": {
5672 "value": 510850515,
5673 "left": nil,
5674 "right": nil
5675 }
5676 }
5677 },
5678 "right": {
5679 "value": 514155957,
5680 "left": {
5681 "value": 514082278,
5682 "left": {
5683 "value": 514069631,
5684 "left": {
5685 "value": 514068411,
5686 "left": nil,
5687 "right": nil
5688 },
5689 "right": {
5690 "value": 514081910,
5691 "left": nil,
5692 "right": nil
5693 }
5694 },
5695 "right": nil
5696 },
5697 "right": {
5698 "value": 514241835,
5699 "left": {
5700 "value": 514216897,
5701 "left": nil,
5702 "right": nil
5703 },
5704 "right": {
5705 "value": 514307398,
5706 "left": nil,
5707 "right": nil
5708 }
5709 }
5710 }
5711 },
5712 "right": {
5713 "value": 572756089,
5714 "left": {
5715 "value": 556614744,
5716 "left": {
5717 "value": 546348510,
5718 "left": nil,
5719 "right": {
5720 "value": 547663603,
5721 "left": nil,
5722 "right": {
5723 "value": 548946546,
5724 "left": nil,
5725 "right": nil
5726 }
5727 }
5728 },
5729 "right": {
5730 "value": 557011155,
5731 "left": nil,
5732 "right": nil
5733 }
5734 },
5735 "right": {
5736 "value": 578039592,
5737 "left": {
5738 "value": 577705603,
5739 "left": {
5740 "value": 576857270,
5741 "left": nil,
5742 "right": nil
5743 },
5744 "right": nil
5745 },
5746 "right": {
5747 "value": 586358454,
5748 "left": {
5749 "value": 579855049,
5750 "left": nil,
5751 "right": nil
5752 },
5753 "right": {
5754 "value": 602692519,
5755 "left": nil,
5756 "right": nil
5757 }
5758 }
5759 }
5760 }
5761 }
5762 },
5763 "right": {
5764 "value": 636940266,
5765 "left": {
5766 "value": 618047883,
5767 "left": {
5768 "value": 613241184,
5769 "left": {
5770 "value": 610914803,
5771 "left": {
5772 "value": 608915448,
5773 "left": {
5774 "value": 608800253,
5775 "left": {
5776 "value": 608156814,
5777 "left": nil,
5778 "right": nil
5779 },
5780 "right": {
5781 "value": 608856413,
5782 "left": nil,
5783 "right": nil
5784 }
5785 },
5786 "right": {
5787 "value": 609860336,
5788 "left": {
5789 "value": 609531732,
5790 "left": nil,
5791 "right": nil
5792 },
5793 "right": nil
5794 }
5795 },
5796 "right": nil
5797 },
5798 "right": {
5799 "value": 616040255,
5800 "left": {
5801 "value": 614630818,
5802 "left": {
5803 "value": 614395995,
5804 "left": {
5805 "value": 614030504,
5806 "left": nil,
5807 "right": nil
5808 },
5809 "right": nil
5810 },
5811 "right": {
5812 "value": 616014671,
5813 "left": nil,
5814 "right": nil
5815 }
5816 },
5817 "right": {
5818 "value": 617558713,
5819 "left": {
5820 "value": 617494703,
5821 "left": nil,
5822 "right": nil
5823 },
5824 "right": nil
5825 }
5826 }
5827 },
5828 "right": {
5829 "value": 623341335,
5830 "left": {
5831 "value": 619510548,
5832 "left": {
5833 "value": 618518359,
5834 "left": nil,
5835 "right": {
5836 "value": 618654421,
5837 "left": nil,
5838 "right": {
5839 "value": 619249549,
5840 "left": nil,
5841 "right": nil
5842 }
5843 }
5844 },
5845 "right": {
5846 "value": 620695366,
5847 "left": nil,
5848 "right": {
5849 "value": 622920386,
5850 "left": nil,
5851 "right": nil
5852 }
5853 }
5854 },
5855 "right": {
5856 "value": 631116733,
5857 "left": {
5858 "value": 623458289,
5859 "left": nil,
5860 "right": {
5861 "value": 629937466,
5862 "left": {
5863 "value": 628528351,
5864 "left": nil,
5865 "right": nil
5866 },
5867 "right": {
5868 "value": 630692917,
5869 "left": nil,
5870 "right": nil
5871 }
5872 }
5873 },
5874 "right": {
5875 "value": 633442595,
5876 "left": {
5877 "value": 632710631,
5878 "left": nil,
5879 "right": {
5880 "value": 632744738,
5881 "left": nil,
5882 "right": nil
5883 }
5884 },
5885 "right": {
5886 "value": 636829334,
5887 "left": {
5888 "value": 635476084,
5889 "left": nil,
5890 "right": nil
5891 },
5892 "right": {
5893 "value": 636913898,
5894 "left": nil,
5895 "right": nil
5896 }
5897 }
5898 }
5899 }
5900 }
5901 },
5902 "right": {
5903 "value": 826519659,
5904 "left": {
5905 "value": 672117235,
5906 "left": {
5907 "value": 639649755,
5908 "left": {
5909 "value": 638018210,
5910 "left": nil,
5911 "right": {
5912 "value": 638204755,
5913 "left": {
5914 "value": 638044888,
5915 "left": nil,
5916 "right": nil
5917 },
5918 "right": nil
5919 }
5920 },
5921 "right": {
5922 "value": 651172853,
5923 "left": {
5924 "value": 643147577,
5925 "left": nil,
5926 "right": nil
5927 },
5928 "right": {
5929 "value": 658569504,
5930 "left": nil,
5931 "right": {
5932 "value": 671010419,
5933 "left": nil,
5934 "right": nil
5935 }
5936 }
5937 }
5938 },
5939 "right": {
5940 "value": 684337693,
5941 "left": {
5942 "value": 679273040,
5943 "left": {
5944 "value": 677234482,
5945 "left": nil,
5946 "right": nil
5947 },
5948 "right": {
5949 "value": 680664462,
5950 "left": nil,
5951 "right": nil
5952 }
5953 },
5954 "right": {
5955 "value": 687661810,
5956 "left": nil,
5957 "right": {
5958 "value": 826419113,
5959 "left": {
5960 "value": 794090641,
5961 "left": nil,
5962 "right": nil
5963 },
5964 "right": nil
5965 }
5966 }
5967 }
5968 },
5969 "right": {
5970 "value": 871759806,
5971 "left": {
5972 "value": 853065495,
5973 "left": {
5974 "value": 826756127,
5975 "left": {
5976 "value": 826562229,
5977 "left": {
5978 "value": 826550999,
5979 "left": nil,
5980 "right": nil
5981 },
5982 "right": nil
5983 },
5984 "right": {
5985 "value": 832914444,
5986 "left": nil,
5987 "right": nil
5988 }
5989 },
5990 "right": {
5991 "value": 871191622,
5992 "left": {
5993 "value": 861642952,
5994 "left": nil,
5995 "right": nil
5996 },
5997 "right": nil
5998 }
5999 },
6000 "right": {
6001 "value": 950193116,
6002 "left": {
6003 "value": 919039628,
6004 "left": nil,
6005 "right": {
6006 "value": 941795946,
6007 "left": nil,
6008 "right": nil
6009 }
6010 },
6011 "right": {
6012 "value": 982763973,
6013 "left": nil,
6014 "right": {
6015 "value": 999879525,
6016 "left": nil,
6017 "right": nil
6018 }
6019 }
6020 }
6021 }
6022 }
6023 }
6024 }
6025 }
6026}}