SPEC9 = { t: { "value": -348761264, "left": { "value": -825429040, "left": { "value": -976686917, "left": { "value": -981956058, "left": { "value": -998023278, "left": { "value": -998358422, "left": { "value": -999581661, "left": { "value": -999862211, "left": { "value": -999963773, "left": nil, "right": nil }, "right": { "value": -999618835, "left": nil, "right": nil } }, "right": { "value": -999357649, "left": { "value": -999382814, "left": nil, "right": nil }, "right": { "value": -998814090, "left": nil, "right": nil } } }, "right": { "value": -998211991, "left": { "value": -998245361, "left": { "value": -998261431, "left": nil, "right": nil }, "right": { "value": -998224931, "left": nil, "right": nil } }, "right": { "value": -998118656, "left": { "value": -998133050, "left": nil, "right": nil }, "right": { "value": -998036818, "left": nil, "right": nil } } } }, "right": { "value": -984096674, "left": { "value": -993780062, "left": { "value": -997344052, "left": { "value": -997746424, "left": nil, "right": nil }, "right": { "value": -995664439, "left": nil, "right": nil } }, "right": { "value": -988230260, "left": { "value": -989322504, "left": nil, "right": nil }, "right": { "value": -986952377, "left": nil, "right": nil } } }, "right": { "value": -982815554, "left": { "value": -984016872, "left": { "value": -984078355, "left": nil, "right": nil }, "right": { "value": -983710565, "left": nil, "right": nil } }, "right": { "value": -982090515, "left": { "value": -982474183, "left": nil, "right": nil }, "right": { "value": -982067056, "left": nil, "right": nil } } } } }, "right": { "value": -978445486, "left": { "value": -980134566, "left": { "value": -981516145, "left": { "value": -981902698, "left": { "value": -981918097, "left": nil, "right": nil }, "right": { "value": -981636586, "left": nil, "right": nil } }, "right": { "value": -980359358, "left": nil, "right": { "value": -980246393, "left": nil, "right": nil } } }, "right": { "value": -979262791, "left": { "value": -980076933, "left": { "value": -980102981, "left": nil, "right": nil }, "right": { "value": -979274567, "left": nil, "right": nil } }, "right": { "value": -978809425, "left": { "value": -978901594, "left": nil, "right": nil }, "right": { "value": -978622780, "left": nil, "right": nil } } } }, "right": { "value": -978298934, "left": { "value": -978329481, "left": { "value": -978415171, "left": { "value": -978428737, "left": nil, "right": nil }, "right": { "value": -978380426, "left": nil, "right": nil } }, "right": { "value": -978311047, "left": { "value": -978321587, "left": nil, "right": nil }, "right": { "value": -978308902, "left": nil, "right": nil } } }, "right": { "value": -977093698, "left": { "value": -978241647, "left": { "value": -978257718, "left": nil, "right": nil }, "right": nil }, "right": { "value": -976929768, "left": { "value": -977055878, "left": nil, "right": nil }, "right": { "value": -976865288, "left": nil, "right": nil } } } } } }, "right": { "value": -912955740, "left": { "value": -946532401, "left": { "value": -966717919, "left": { "value": -971501221, "left": { "value": -976169902, "left": { "value": -976513508, "left": nil, "right": nil }, "right": { "value": -975417443, "left": nil, "right": nil } }, "right": { "value": -966816130, "left": { "value": -969546598, "left": nil, "right": nil }, "right": { "value": -966791938, "left": nil, "right": nil } } }, "right": { "value": -951860507, "left": { "value": -960174471, "left": { "value": -965310121, "left": nil, "right": nil }, "right": { "value": -956069874, "left": nil, "right": nil } }, "right": { "value": -951804633, "left": { "value": -951844249, "left": nil, "right": nil }, "right": { "value": -951402822, "left": nil, "right": nil } } } }, "right": { "value": -940249230, "left": { "value": -944931577, "left": { "value": -945679402, "left": { "value": -945854193, "left": nil, "right": nil }, "right": { "value": -945101996, "left": nil, "right": nil } }, "right": { "value": -942846385, "left": { "value": -944237440, "left": nil, "right": nil }, "right": { "value": -942765320, "left": { "value": -942765321, "left": { "value": -942765322, "left": { "value": -942765323, "left": { "value": -942765324, "left": { "value": -942765325, "left": { "value": -942765326, "left": { "value": -942765327, "left": { "value": -942765328, "left": { "value": -942765329, "left": { "value": -942765330, "left": { "value": -942765331, "left": { "value": -942765332, "left": { "value": -942765333, "left": { "value": -942765334, "left": { "value": -942765335, "left": { "value": -942765336, "left": { "value": -942765337, "left": { "value": -942765338, "left": { "value": -942765339, "left": { "value": -942765340, "left": { "value": -942765341, "left": { "value": -942765342, "left": { "value": -942765343, "left": { "value": -942765344, "left": { "value": -942765345, "left": { "value": -942765346, "left": { "value": -942765347, "left": { "value": -942765348, "left": { "value": -942765349, "left": { "value": -942765350, "left": { "value": -942765351, "left": { "value": -942765352, "left": { "value": -942765353, "left": { "value": -942765354, "left": { "value": -942765355, "left": { "value": -942765356, "left": { "value": -942765357, "left": { "value": -942765358, "left": { "value": -942765359, "left": { "value": -942765360, "left": { "value": -942765361, "left": { "value": -942765362, "left": { "value": -942765363, "left": { "value": -942765364, "left": { "value": -942765365, "left": { "value": -942765366, "left": { "value": -942765367, "left": { "value": -942765368, "left": { "value": -942765369, "left": { "value": -942765370, "left": { "value": -942765371, "left": { "value": -942765372, "left": { "value": -942765373, "left": { "value": -942765374, "left": { "value": -942765375, "left": { "value": -942765376, "left": { "value": -942765377, "left": { "value": -942765378, "left": { "value": -942765379, "left": { "value": -942765380, "left": { "value": -942765381, "left": { "value": -942765382, "left": { "value": -942765383, "left": { "value": -942765384, "left": { "value": -942765385, "left": { "value": -942765386, "left": { "value": -942765387, "left": { "value": -942765388, "left": { "value": -942765389, "left": { "value": -942765390, "left": { "value": -942765391, "left": { "value": -942765392, "left": { "value": -942765393, "left": { "value": -942765394, "left": { "value": -942765395, "left": { "value": -942765396, "left": { "value": -942765397, "left": { "value": -942765398, "left": { "value": -942765399, "left": { "value": -942765400, "left": { "value": -942765401, "left": { "value": -942765402, "left": { "value": -942765403, "left": { "value": -942765404, "left": { "value": -942765405, "left": { "value": -942765406, "left": { "value": -942765407, "left": { "value": -942765408, "left": { "value": -942765409, "left": { "value": -942765410, "left": { "value": -942765411, "left": { "value": -942765412, "left": { "value": -942765413, "left": { "value": -942765414, "left": { "value": -942765415, "left": { "value": -942765416, "left": { "value": -942765417, "left": { "value": -942765418, "left": { "value": -942765419, "left": { "value": -942765420, "left": { "value": -942765421, "left": { "value": -942765422, "left": { "value": -942765423, "left": { "value": -942765424, "left": { "value": -942765425, "left": { "value": -942765426, "left": { "value": -942765427, "left": { "value": -942765428, "left": { "value": -942765429, "left": { "value": -942765430, "left": { "value": -942765431, "left": { "value": -942765432, "left": { "value": -942765433, "left": { "value": -942765434, "left": { "value": -942765435, "left": { "value": -942765436, "left": { "value": -942765437, "left": { "value": -942765438, "left": { "value": -942765439, "left": { "value": -942765440, "left": { "value": -942765441, "left": { "value": -942765442, "left": { "value": -942765443, "left": { "value": -942765444, "left": { "value": -942765445, "left": { "value": -942765446, "left": { "value": -942765447, "left": { "value": -942765448, "left": { "value": -942765449, "left": { "value": -942765450, "left": { "value": -942765451, "left": { "value": -942765452, "left": { "value": -942765453, "left": { "value": -942765454, "left": { "value": -942765455, "left": { "value": -942765456, "left": { "value": -942765457, "left": { "value": -942765458, "left": { "value": -942765459, "left": { "value": -942765460, "left": { "value": -942765461, "left": { "value": -942765462, "left": { "value": -942765463, "left": { "value": -942765464, "left": { "value": -942765465, "left": { "value": -942765466, "left": { "value": -942765467, "left": { "value": -942765468, "left": { "value": -942765469, "left": { "value": -942765470, "left": { "value": -942765471, "left": { "value": -942765472, "left": { "value": -942765473, "left": { "value": -942765474, "left": { "value": -942765475, "left": { "value": -942765476, "left": { "value": -942765477, "left": { "value": -942765478, "left": { "value": -942765479, "left": { "value": -942765480, "left": { "value": -942765481, "left": { "value": -942765482, "left": { "value": -942765483, "left": { "value": -942765484, "left": { "value": -942765485, "left": { "value": -942765486, "left": { "value": -942765487, "left": { "value": -942765488, "left": { "value": -942765489, "left": { "value": -942765490, "left": { "value": -942765491, "left": { "value": -942765492, "left": { "value": -942765493, "left": { "value": -942765494, "left": { "value": -942765495, "left": { "value": -942765496, "left": { "value": -942765497, "left": { "value": -942765498, "left": { "value": -942765499, "left": { "value": -942765500, "left": { "value": -942765501, "left": { "value": -942765502, "left": { "value": -942765503, "left": { "value": -942765504, "left": { "value": -942765505, "left": { "value": -942765506, "left": { "value": -942765507, "left": { "value": -942765508, "left": { "value": -942765509, "left": { "value": -942765510, "left": { "value": -942765511, "left": { "value": -942765512, "left": { "value": -942765513, "left": { "value": -942765514, "left": { "value": -942765515, "left": { "value": -942765516, "left": { "value": -942765517, "left": { "value": -942765518, "left": { "value": -942765519, "left": { "value": -942765520, "left": { "value": -942765521, "left": { "value": -942765522, "left": { "value": -942765523, "left": { "value": -942765524, "left": { "value": -942765525, "left": { "value": -942765526, "left": { "value": -942765527, "left": { "value": -942765528, "left": { "value": -942765529, "left": { "value": -942765530, "left": { "value": -942765531, "left": { "value": -942765532, "left": { "value": -942765533, "left": { "value": -942765534, "left": { "value": -942765535, "left": { "value": -942765536, "left": { "value": -942765537, "left": { "value": -942765538, "left": { "value": -942765539, "left": { "value": -942765540, "left": { "value": -942765541, "left": { "value": -942765542, "left": { "value": -942765543, "left": { "value": -942765544, "left": { "value": -942765545, "left": { "value": -942765546, "left": { "value": -942765547, "left": { "value": -942765548, "left": { "value": -942765549, "left": { "value": -942765550, "left": { "value": -942765551, "left": { "value": -942765552, "left": { "value": -942765553, "left": { "value": -942765554, "left": { "value": -942765555, "left": { "value": -942765556, "left": { "value": -942765557, "left": { "value": -942765558, "left": { "value": -942765559, "left": { "value": -942765560, "left": { "value": -942765561, "left": { "value": -942765562, "left": { "value": -942765563, "left": { "value": -942765564, "left": { "value": -942765565, "left": { "value": -942765566, "left": { "value": -942765567, "left": { "value": -942765568, "left": { "value": -942765569, "left": { "value": -942765570, "left": { "value": -942765571, "left": { "value": -942765572, "left": { "value": -942765573, "left": { "value": -942765574, "left": { "value": -942765575, "left": { "value": -942765576, "left": { "value": -942765577, "left": { "value": -942765578, "left": { "value": -942765579, "left": { "value": -942765580, "left": { "value": -942765581, "left": { "value": -942765582, "left": { "value": -942765583, "left": { "value": -942765584, "left": { "value": -942765585, "left": { "value": -942765586, "left": { "value": -942765587, "left": { "value": -942765588, "left": { "value": -942765589, "left": { "value": -942765590, "left": { "value": -942765591, "left": { "value": -942765592, "left": { "value": -942765593, "left": { "value": -942765594, "left": { "value": -942765595, "left": { "value": -942765596, "left": { "value": -942765597, "left": { "value": -942765598, "left": { "value": -942765599, "left": { "value": -942765600, "left": { "value": -942765601, "left": { "value": -942765602, "left": { "value": -942765603, "left": { "value": -942765604, "left": { "value": -942765605, "left": { "value": -942765606, "left": { "value": -942765607, "left": { "value": -942765608, "left": { "value": -942765609, "left": { "value": -942765610, "left": { "value": -942765611, "left": { "value": -942765612, "left": { "value": -942765613, "left": { "value": -942765614, "left": { "value": -942765615, "left": { "value": -942765616, "left": { "value": -942765617, "left": { "value": -942765618, "left": { "value": -942765619, "left": { "value": -942765620, "left": { "value": -942765621, "left": { "value": -942765622, "left": { "value": -942765623, "left": { "value": -942765624, "left": { "value": -942765625, "left": { "value": -942765626, "left": { "value": -942765627, "left": { "value": -942765628, "left": { "value": -942765629, "left": { "value": -942765630, "left": { "value": -942765631, "left": { "value": -942765632, "left": { "value": -942765633, "left": { "value": -942765634, "left": { "value": -942765635, "left": { "value": -942765636, "left": { "value": -942765637, "left": { "value": -942765638, "left": { "value": -942765639, "left": { "value": -942765640, "left": { "value": -942765641, "left": { "value": -942765642, "left": { "value": -942765643, "left": { "value": -942765644, "left": { "value": -942765645, "left": { "value": -942765646, "left": { "value": -942765647, "left": { "value": -942765648, "left": { "value": -942765649, "left": { "value": -942765650, "left": { "value": -942765651, "left": { "value": -942765652, "left": { "value": -942765653, "left": { "value": -942765654, "left": { "value": -942765655, "left": { "value": -942765656, "left": { "value": -942765657, "left": { "value": -942765658, "left": { "value": -942765659, "left": { "value": -942765660, "left": { "value": -942765661, "left": { "value": -942765662, "left": { "value": -942765663, "left": { "value": -942765664, "left": { "value": -942765665, "left": { "value": -942765666, "left": { "value": -942765667, "left": { "value": -942765668, "left": { "value": -942765669, "left": { "value": -942765670, "left": { "value": -942765671, "left": { "value": -942765672, "left": { "value": -942765673, "left": { "value": -942765674, "left": { "value": -942765675, "left": { "value": -942765676, "left": { "value": -942765677, "left": { "value": -942765678, "left": { "value": -942765679, "left": { "value": -942765680, "left": { "value": -942765681, "left": { "value": -942765682, "left": { "value": -942765683, "left": { "value": -942765684, "left": { "value": -942765685, "left": { "value": -942765686, "left": { "value": -942765687, "left": { "value": -942765688, "left": { "value": -942765689, "left": { "value": -942765690, "left": { "value": -942765691, "left": { "value": -942765692, "left": { "value": -942765693, "left": { "value": -942765694, "left": { "value": -942765695, "left": { "value": -942765696, "left": { "value": -942765697, "left": { "value": -942765698, "left": { "value": -942765699, "left": { "value": -942765700, "left": { "value": -942765701, "left": { "value": -942765702, "left": { "value": -942765703, "left": { "value": -942765704, "left": { "value": -942765705, "left": { "value": -942765706, "left": { "value": -942765707, "left": { "value": -942765708, "left": { "value": -942765709, "left": { "value": -942765710, "left": { "value": -942765711, "left": { "value": -942765712, "left": { "value": -942765713, "left": { "value": -942765714, "left": { "value": -942765715, "left": { "value": -942765716, "left": { "value": -942765717, "left": { "value": -942765718, "left": { "value": -942765719, "left": { "value": -942765720, "left": { "value": -942765721, "left": { "value": -942765722, "left": { "value": -942765723, "left": { "value": -942765724, "left": { "value": -942765725, "left": { "value": -942765726, "left": { "value": -942765727, "left": { "value": -942765728, "left": { "value": -942765729, "left": { "value": -942765730, "left": { "value": -942765731, "left": { "value": -942765732, "left": { "value": -942765733, "left": { "value": -942765734, "left": { "value": -942765735, "left": { "value": -942765736, "left": { "value": -942765737, "left": { "value": -942765738, "left": { "value": -942765739, "left": { "value": -942765740, "left": { "value": -942765741, "left": { "value": -942765742, "left": { "value": -942765743, "left": { "value": -942765744, "left": { "value": -942765745, "left": { "value": -942765746, "left": { "value": -942765747, "left": { "value": -942765748, "left": { "value": -942765749, "left": { "value": -942765750, "left": { "value": -942765751, "left": { "value": -942765752, "left": { "value": -942765753, "left": { "value": -942765754, "left": { "value": -942765755, "left": { "value": -942765756, "left": { "value": -942765757, "left": { "value": -942765758, "left": { "value": -942765759, "left": { "value": -942765760, "left": { "value": -942765761, "left": { "value": -942765762, "left": { "value": -942765763, "left": { "value": -942765764, "left": { "value": -942765765, "left": { "value": -942765766, "left": { "value": -942765767, "left": { "value": -942765768, "left": { "value": -942765769, "left": { "value": -942765770, "left": { "value": -942765771, "left": { "value": -942765772, "left": { "value": -942765773, "left": { "value": -942765774, "left": { "value": -942765775, "left": { "value": -942765776, "left": { "value": -942765777, "left": { "value": -942765778, "left": { "value": -942765779, "left": { "value": -942765780, "left": { "value": -942765781, "left": { "value": -942765782, "left": { "value": -942765783, "left": { "value": -942765784, "left": { "value": -942765785, "left": { "value": -942765786, "left": { "value": -942765787, "left": { "value": -942765788, "left": { "value": -942765789, "left": { "value": -942765790, "left": { "value": -942765791, "left": { "value": -942765792, "left": { "value": -942765793, "left": { "value": -942765794, "left": { "value": -942765795, "left": { "value": -942765796, "left": { "value": -942765797, "left": { "value": -942765798, "left": { "value": -942765799, "left": { "value": -942765800, "left": { "value": -942765801, "left": { "value": -942765802, "left": { "value": -942765803, "left": { "value": -942765804, "left": { "value": -942765805, "left": { "value": -942765806, "left": { "value": -942765807, "left": { "value": -942765808, "left": { "value": -942765809, "left": { "value": -942765810, "left": { "value": -942765811, "left": { "value": -942765812, "left": { "value": -942765813, "left": { "value": -942765814, "left": { "value": -942765815, "left": { "value": -942765816, "left": { "value": -942765817, "left": { "value": -942765818, "left": { "value": -942765819, "left": { "value": -942765820, "left": { "value": -942765821, "left": { "value": -942765822, "left": { "value": -942765823, "left": { "value": -942765824, "left": { "value": -942765825, "left": { "value": -942765826, "left": { "value": -942765827, "left": { "value": -942765828, "left": { "value": -942765829, "left": { "value": -942765830, "left": { "value": -942765831, "left": { "value": -942765832, "left": { "value": -942765833, "left": { "value": -942765834, "left": { "value": -942765835, "left": { "value": -942765836, "left": { "value": -942765837, "left": { "value": -942765838, "left": { "value": -942765839, "left": { "value": -942765840, "left": { "value": -942765841, "left": { "value": -942765842, "left": { "value": -942765843, "left": { "value": -942765844, "left": { "value": -942765845, "left": { "value": -942765846, "left": { "value": -942765847, "left": { "value": -942765848, "left": nil, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil } } }, "right": { "value": -926491286, "left": { "value": -937049921, "left": { "value": -938118006, "left": nil, "right": nil }, "right": { "value": -934966794, "left": nil, "right": nil } }, "right": { "value": -919890687, "left": { "value": -922261332, "left": nil, "right": nil }, "right": { "value": -916500837, "left": nil, "right": nil } } } } }, "right": { "value": -839996431, "left": { "value": -908241332, "left": { "value": -908690644, "left": { "value": -909084194, "left": { "value": -910693229, "left": nil, "right": nil }, "right": { "value": -908777947, "left": nil, "right": nil } }, "right": { "value": -908301548, "left": { "value": -908556937, "left": nil, "right": nil }, "right": { "value": -908279354, "left": nil, "right": nil } } }, "right": { "value": -872957197, "left": { "value": -893558172, "left": { "value": -898702162, "left": nil, "right": nil }, "right": { "value": -884564964, "left": nil, "right": nil } }, "right": { "value": -852265269, "left": { "value": -871388365, "left": nil, "right": nil }, "right": { "value": -842520725, "left": nil, "right": nil } } } }, "right": { "value": -833406939, "left": { "value": -838346609, "left": { "value": -838535782, "left": { "value": -839222197, "left": nil, "right": nil }, "right": { "value": -838410431, "left": nil, "right": nil } }, "right": { "value": -838237524, "left": { "value": -838291935, "left": nil, "right": nil }, "right": { "value": -834995458, "left": nil, "right": nil } } }, "right": { "value": -827489890, "left": { "value": -831223595, "left": { "value": -832681456, "left": nil, "right": nil }, "right": { "value": -828479487, "left": nil, "right": nil } }, "right": { "value": -826270004, "left": { "value": -827187878, "left": nil, "right": nil }, "right": { "value": -825712721, "left": nil, "right": nil } } } } } } }, "right": { "value": -727921557, "left": { "value": -782711070, "left": { "value": -789693684, "left": { "value": -796278862, "left": { "value": -797246639, "left": { "value": -805276818, "left": { "value": -824328207, "left": nil, "right": nil }, "right": { "value": -804425447, "left": nil, "right": nil } }, "right": { "value": -796593869, "left": { "value": -797223211, "left": nil, "right": nil }, "right": { "value": -796433810, "left": nil, "right": nil } } }, "right": { "value": -791295704, "left": { "value": -795745574, "left": { "value": -795997935, "left": nil, "right": nil }, "right": { "value": -795688566, "left": nil, "right": nil } }, "right": { "value": -789882165, "left": { "value": -790243426, "left": nil, "right": nil }, "right": { "value": -789829904, "left": nil, "right": nil } } } }, "right": { "value": -788722539, "left": { "value": -788759215, "left": { "value": -789345018, "left": { "value": -789399222, "left": nil, "right": nil }, "right": { "value": -788838980, "left": nil, "right": nil } }, "right": { "value": -788733823, "left": { "value": -788744169, "left": nil, "right": nil }, "right": { "value": -788729927, "left": nil, "right": nil } } }, "right": { "value": -788431993, "left": { "value": -788703380, "left": { "value": -788718324, "left": nil, "right": nil }, "right": { "value": -788541183, "left": nil, "right": nil } }, "right": { "value": -783245235, "left": { "value": -786062786, "left": nil, "right": nil }, "right": { "value": -783224886, "left": nil, "right": nil } } } } }, "right": { "value": -771612228, "left": { "value": -772085253, "left": { "value": -775202964, "left": { "value": -777644141, "left": { "value": -781283315, "left": nil, "right": nil }, "right": { "value": -775754215, "left": nil, "right": nil } }, "right": { "value": -775119679, "left": { "value": -775136903, "left": nil, "right": nil }, "right": { "value": -774874477, "left": nil, "right": nil } } }, "right": { "value": -771993263, "left": { "value": -772066237, "left": { "value": -772078629, "left": nil, "right": nil }, "right": { "value": -772041449, "left": nil, "right": nil } }, "right": { "value": -771897675, "left": { "value": -771924541, "left": nil, "right": nil }, "right": { "value": -771743468, "left": nil, "right": nil } } } }, "right": { "value": -736223609, "left": { "value": -746614127, "left": { "value": -758426725, "left": { "value": -758965337, "left": nil, "right": nil }, "right": { "value": -747518228, "left": nil, "right": nil } }, "right": { "value": -744216639, "left": { "value": -746545851, "left": nil, "right": nil }, "right": { "value": -737152615, "left": nil, "right": nil } } }, "right": { "value": -732829033, "left": { "value": -735369336, "left": { "value": -736167904, "left": nil, "right": nil }, "right": { "value": -734637362, "left": nil, "right": nil } }, "right": { "value": -729011300, "left": { "value": -731364934, "left": nil, "right": nil }, "right": { "value": -728354644, "left": nil, "right": nil } } } } } }, "right": { "value": -524438514, "left": { "value": -624213132, "left": { "value": -629434975, "left": { "value": -695893971, "left": { "value": -698850992, "left": { "value": -707550713, "left": nil, "right": nil }, "right": { "value": -697384186, "left": nil, "right": nil } }, "right": { "value": -654208053, "left": { "value": -657854533, "left": nil, "right": nil }, "right": { "value": -639501721, "left": nil, "right": nil } } }, "right": { "value": -624768514, "left": { "value": -626512560, "left": { "value": -629310611, "left": nil, "right": nil }, "right": { "value": -625585747, "left": nil, "right": nil } }, "right": { "value": -624269229, "left": { "value": -624466388, "left": nil, "right": nil }, "right": { "value": -624246420, "left": nil, "right": nil } } } }, "right": { "value": -562700019, "left": { "value": -582017404, "left": { "value": -612472337, "left": { "value": -621197859, "left": nil, "right": nil }, "right": { "value": -600185439, "left": nil, "right": nil } }, "right": { "value": -579796769, "left": { "value": -580057004, "left": nil, "right": nil }, "right": { "value": -569355174, "left": nil, "right": nil } } }, "right": { "value": -535865267, "left": { "value": -554951652, "left": { "value": -559363348, "left": nil, "right": nil }, "right": nil }, "right": { "value": -527954895, "left": { "value": -529131405, "left": nil, "right": nil }, "right": nil } } } }, "right": { "value": -485733207, "left": { "value": -494589267, "left": { "value": -515597001, "left": { "value": -515719275, "left": { "value": -521654094, "left": nil, "right": nil }, "right": { "value": -515643131, "left": nil, "right": nil } }, "right": { "value": -506554999, "left": { "value": -514963335, "left": nil, "right": nil }, "right": { "value": -502241550, "left": nil, "right": nil } } }, "right": { "value": -491099440, "left": { "value": -492165585, "left": { "value": -492616306, "left": nil, "right": nil }, "right": { "value": -491213318, "left": nil, "right": nil } }, "right": { "value": -490055342, "left": { "value": -490243932, "left": nil, "right": nil }, "right": { "value": -486356381, "left": nil, "right": nil } } } }, "right": { "value": -485434191, "left": { "value": -485673863, "left": { "value": -485718953, "left": { "value": -485731755, "left": nil, "right": nil }, "right": { "value": -485689742, "left": nil, "right": nil } }, "right": { "value": -485624818, "left": { "value": -485636515, "left": nil, "right": nil }, "right": { "value": -485450408, "left": nil, "right": nil } } }, "right": { "value": -460665705, "left": { "value": -483073337, "left": { "value": -484355513, "left": nil, "right": nil }, "right": { "value": -479966609, "left": nil, "right": nil } }, "right": { "value": -441256929, "left": { "value": -447105237, "left": nil, "right": nil }, "right": { "value": -380963797, "left": nil, "right": nil } } } } } } } }, "right": { "value": 808433215, "left": { "value": 524804906, "left": { "value": -291013737, "left": { "value": -328889474, "left": { "value": -346087497, "left": { "value": -348683613, "left": { "value": -348739705, "left": { "value": -348749727, "left": nil, "right": nil }, "right": { "value": -348729165, "left": nil, "right": nil } }, "right": { "value": -347101856, "left": { "value": -348176820, "left": nil, "right": nil }, "right": { "value": -346971194, "left": nil, "right": nil } } }, "right": { "value": -336825432, "left": { "value": -337266836, "left": { "value": -342086075, "left": nil, "right": nil }, "right": nil }, "right": { "value": -332321730, "left": { "value": -336254431, "left": nil, "right": nil }, "right": { "value": -331683813, "left": nil, "right": nil } } } }, "right": { "value": -303261808, "left": { "value": -317058573, "left": { "value": -324786986, "left": { "value": -328730981, "left": nil, "right": nil }, "right": { "value": -319254561, "left": nil, "right": nil } }, "right": { "value": -315716303, "left": { "value": -315915225, "left": nil, "right": nil }, "right": { "value": -314001573, "left": nil, "right": nil } } }, "right": { "value": -296004966, "left": { "value": -296517713, "left": { "value": -298811157, "left": nil, "right": nil }, "right": { "value": -296331331, "left": nil, "right": nil } }, "right": { "value": -294581377, "left": { "value": -295547226, "left": nil, "right": nil }, "right": { "value": -294443540, "left": nil, "right": nil } } } } }, "right": { "value": 232193464, "left": { "value": 113724127, "left": { "value": -104482778, "left": { "value": -157525683, "left": { "value": -263241265, "left": nil, "right": nil }, "right": { "value": -137287838, "left": nil, "right": nil } }, "right": { "value": 28103714, "left": { "value": 6140342, "left": nil, "right": nil }, "right": { "value": 57598178, "left": nil, "right": nil } } }, "right": { "value": 198833325, "left": nil, "right": { "value": 219246942, "left": { "value": 216627206, "left": nil, "right": nil }, "right": { "value": 229195554, "left": nil, "right": nil } } } }, "right": { "value": 505384398, "left": { "value": 443494737, "left": { "value": 371940187, "left": { "value": 324303356, "left": nil, "right": nil }, "right": { "value": 437735241, "left": nil, "right": nil } }, "right": { "value": 459143684, "left": { "value": 446965164, "left": nil, "right": nil }, "right": { "value": 502896026, "left": nil, "right": nil } } }, "right": { "value": 524541684, "left": { "value": 512446041, "left": { "value": 511692006, "left": nil, "right": nil }, "right": { "value": 520402756, "left": nil, "right": nil } }, "right": { "value": 524573958, "left": { "value": 524559458, "left": nil, "right": nil }, "right": { "value": 524625798, "left": nil, "right": nil } } } } } }, "right": { "value": 640503933, "left": nil, "right": { "value": 760087445, "left": { "value": 711840150, "left": { "value": 688240743, "left": { "value": 658675178, "left": { "value": 656327864, "left": nil, "right": nil }, "right": { "value": 668866012, "left": nil, "right": nil } }, "right": { "value": 704868863, "left": { "value": 704034247, "left": nil, "right": nil }, "right": { "value": 707340751, "left": nil, "right": nil } } }, "right": { "value": 749739118, "left": { "value": 728112309, "left": { "value": 717193239, "left": nil, "right": nil }, "right": { "value": 748824528, "left": nil, "right": nil } }, "right": { "value": 759430600, "left": { "value": 756851128, "left": nil, "right": nil }, "right": { "value": 760049358, "left": nil, "right": nil } } } }, "right": { "value": 790434708, "left": { "value": 781237116, "left": { "value": 766995455, "left": { "value": 766069402, "left": nil, "right": nil }, "right": { "value": 774211921, "left": nil, "right": nil } }, "right": { "value": 784633658, "left": { "value": 782718878, "left": nil, "right": nil }, "right": { "value": 787244643, "left": nil, "right": nil } } }, "right": { "value": 805726634, "left": { "value": 799751344, "left": { "value": 799625393, "left": nil, "right": nil }, "right": { "value": 802041231, "left": nil, "right": nil } }, "right": { "value": 808411517, "left": { "value": 807649098, "left": nil, "right": nil }, "right": { "value": 808422978, "left": nil, "right": nil } } } } } } }, "right": { "value": 925702250, "left": { "value": 857105131, "left": { "value": 824306558, "left": { "value": 819286735, "left": { "value": 811649156, "left": { "value": 811258678, "left": { "value": 809933085, "left": nil, "right": nil }, "right": { "value": 811346090, "left": nil, "right": nil } }, "right": { "value": 815412004, "left": { "value": 814170698, "left": nil, "right": nil }, "right": { "value": 816365237, "left": nil, "right": nil } } }, "right": { "value": 821765470, "left": { "value": 819952686, "left": { "value": 819394080, "left": nil, "right": nil }, "right": { "value": 820150865, "left": nil, "right": nil } }, "right": { "value": 822737838, "left": { "value": 821994229, "left": nil, "right": nil }, "right": { "value": 823151987, "left": nil, "right": nil } } } }, "right": { "value": 844823179, "left": { "value": 825971146, "left": { "value": 824966281, "left": { "value": 824577294, "left": nil, "right": nil }, "right": { "value": 825643482, "left": nil, "right": nil } }, "right": { "value": 840096638, "left": { "value": 839332488, "left": nil, "right": nil }, "right": { "value": 843881237, "left": nil, "right": nil } } }, "right": { "value": 849073330, "left": { "value": 847410562, "left": { "value": 845577985, "left": nil, "right": nil }, "right": { "value": 847562695, "left": nil, "right": nil } }, "right": { "value": 852364790, "left": { "value": 849871101, "left": nil, "right": nil }, "right": { "value": 853585962, "left": nil, "right": nil } } } } }, "right": { "value": 861017360, "left": { "value": 858009441, "left": { "value": 857652384, "left": { "value": 857499512, "left": { "value": 857315270, "left": nil, "right": nil }, "right": { "value": 857632574, "left": nil, "right": nil } }, "right": { "value": 857967266, "left": { "value": 857805163, "left": nil, "right": nil }, "right": { "value": 857993378, "left": nil, "right": nil } } }, "right": { "value": 860532342, "left": { "value": 860285736, "left": { "value": 860088963, "left": nil, "right": nil }, "right": { "value": 860344196, "left": nil, "right": nil } }, "right": { "value": 860591918, "left": { "value": 860579007, "left": nil, "right": nil }, "right": { "value": 860702920, "left": nil, "right": nil } } } }, "right": { "value": 912057216, "left": { "value": 898436752, "left": { "value": 877000676, "left": { "value": 865287114, "left": nil, "right": nil }, "right": { "value": 887597563, "left": nil, "right": nil } }, "right": { "value": 908693407, "left": { "value": 901392291, "left": nil, "right": nil }, "right": { "value": 909766473, "left": nil, "right": nil } } }, "right": { "value": 925144665, "left": { "value": 920014631, "left": { "value": 916445327, "left": nil, "right": nil }, "right": { "value": 924893700, "left": nil, "right": nil } }, "right": { "value": 925619846, "left": { "value": 925179685, "left": nil, "right": nil }, "right": { "value": 925671467, "left": nil, "right": nil } } } } } }, "right": { "value": 999055392, "left": { "value": 976522654, "left": { "value": 932586648, "left": { "value": 926368913, "left": { "value": 926273575, "left": { "value": 926173435, "left": nil, "right": nil }, "right": { "value": 926325448, "left": nil, "right": nil } }, "right": { "value": 926615679, "left": { "value": 926563538, "left": nil, "right": nil }, "right": { "value": 931344108, "left": nil, "right": nil } } }, "right": { "value": 937629293, "left": { "value": 934077677, "left": { "value": 933642985, "left": nil, "right": nil }, "right": { "value": 936508233, "left": nil, "right": nil } }, "right": { "value": 955426856, "left": { "value": 946666545, "left": nil, "right": nil }, "right": { "value": 959622368, "left": nil, "right": nil } } } }, "right": { "value": 984593578, "left": { "value": 984570966, "left": { "value": 982972465, "left": { "value": 981354607, "left": nil, "right": nil }, "right": { "value": 983519184, "left": nil, "right": nil } }, "right": { "value": 984582335, "left": { "value": 984571511, "left": nil, "right": nil }, "right": { "value": 984590000, "left": nil, "right": nil } } }, "right": { "value": 996057745, "left": { "value": 988877153, "left": { "value": 985853834, "left": nil, "right": nil }, "right": { "value": 992006148, "left": nil, "right": nil } }, "right": { "value": 998537710, "left": { "value": 997890240, "left": nil, "right": nil }, "right": { "value": 998651108, "left": nil, "right": nil } } } } }, "right": { "value": 999605267, "left": { "value": 999404797, "left": { "value": 999274621, "left": { "value": 999245018, "left": { "value": 999093333, "left": nil, "right": nil }, "right": { "value": 999256091, "left": nil, "right": nil } }, "right": { "value": 999329503, "left": { "value": 999297580, "left": nil, "right": nil }, "right": { "value": 999354339, "left": nil, "right": nil } } }, "right": { "value": 999550476, "left": { "value": 999539035, "left": { "value": 999443689, "left": nil, "right": nil }, "right": { "value": 999539177, "left": nil, "right": nil } }, "right": { "value": 999574529, "left": { "value": 999562056, "left": nil, "right": nil }, "right": { "value": 999586681, "left": nil, "right": nil } } } }, "right": { "value": 999644338, "left": { "value": 999632051, "left": { "value": 999618317, "left": { "value": 999611501, "left": nil, "right": nil }, "right": { "value": 999619083, "left": nil, "right": nil } }, "right": { "value": 999636910, "left": { "value": 999635318, "left": nil, "right": nil }, "right": { "value": 999642856, "left": nil, "right": nil } } }, "right": { "value": 999931684, "left": { "value": 999906618, "left": { "value": 999717902, "left": nil, "right": nil }, "right": { "value": 999921064, "left": nil, "right": nil } }, "right": { "value": 999986026, "left": { "value": 999970275, "left": nil, "right": nil }, "right": { "value": 999996331, "left": nil, "right": nil } } } } } } } } }, queries: [-942765665, -942765799, -942765737, -942765498, 962368765, 235142701, -714600801, -982067056, 964682986, -761033710, 310778828, -827890484, 857499512, 839480959, 955426856, -167019043, -944237440, -942765469, -942765755, 656603678, -942765839, 671700394, -476502379, 808433215, -942765485, -942765577, -331908252, -942765350, -999382814, 791787847, 342619150, -639529093, 433793200, -942765668, 298090578, -942765622, 825468534, -769677309, 508148726, 118384372, -693287205, -652515683, -315716303, 924893700, 534067828, -942765506, -942765748, -785066678, 749739118, -655911547, -453449372, -976929768, -485673863, -942765512, -941092796, -942765589, -942765848, 42080873, -807853592, -942765647, 999792215, -654181579, -981902698, -201505833, 71733414, -942765546, -330636437, -852265269, 537933165, -942765334, -945679402, -766602683, 421602203, -824328207, 925144665, 612771300, -479966609, -253189773, -942765653, 232193464, -622563971, -697384186, -788097692, -942765399, 338834359, 524573958, -942765619, 2775195, -942765494, -191430959, -612483461, -942765836, -908777947, -346971194, -777546827, 333481626, 668866012, -428303986, -942765652, -942765811, -942765628, -942765644, -936005894, -942765564, -746614127, -942765430, 67964907, 926273575, -485731755, 502896026, -942765342, -483073337, -862409547, 179422177, -263241265, 589253930, 935852192, 986784962, -625585747, -942765386, 808411517, -776446092, -651562534, -910075268, 216627206, -308504722, -602991082, -942765753, -490243932, 837780276, -342319180, -942765649, 420531644, 798239455, 799625393, 737903484, -615200330, -64030747, -942765689, -864633558, -942765837, -327791709, -873277273, 851933070, -978257718, -728354644, -348176820, -465134760, 726737340, 759262654, -736167904, 931344108, -942765364, 746072623, 643512524, -942765618, -839996431, -732827954, 849073330, -942765601, -942765417, -942765773, -980359358, 895478378, 61362879, -978241647, -697639549, 503008818, -837897173, 916445327, 648403457, -469540305, -622201520, 427015249, -488276394, -827489890, 639656019, -514963335, 711986473, 21266990, 750419497, -772041449, -942765360, -154479648, -54150755, -732829033, 115963159, -750373949, 151677286, 787567267, -942765516, 876589865, -402703245, 728112309, -942765526, 512446041, 612699271, -839222197, 635046810, -621841814, -942765659, -104482778, -942765609, -451021596, -942765809, -942765591, -942765760, -942765635, -942765533, 780149574, 824966281, -527954895, 787522310, -649658202, 227981951, -485434191, 297987195, -481111496, 774211921, -317058573, -131858172, -908241332, -617863345, -107514516, -493185682, -942765782, -942765510, -838346609, -942765634, -337266836, 210131622, -942765522, 866493684, -942765700, -629435557, -468160264, 802041231, 99518198, -435322190, 805459744, -942765418, 535058133, 877000676, -624269229, 756037951, 734250741, 486193414, 998537710, -323916042, -942765456, -942765579, -942765359, 549448642, 932586648, 490867914, 510672772, -965310121, -942765607, -525354466, 656748181, -966816130, -372013363, -942765388, -942765524, -905271003, -942765717, -979274567, 642356410, -942765680, 3159540, -336583293, 219322860, -982815554, 953385179, -942765670, -942765504, 243224305, -942765443, -942765468, 360561286, -942765507, -502241550, -183948368, -942765503, -942765479, -942765575, -942765629, -189545196, -524438514, -942765821, -942765615, -942765648, -779047154, -489007441, -942765593, -942765790, 805726634, -942765592, -746545851, -942765725, 852122797, 282399095, 562971199, 105457609, -942765588, 984582335, 570875719, 819952686, -569355174, 860344196, -942765793, 819033683, -942765718, -415957632, 892068602, -706165308, 294425467, -942765450, 717193239, 356763582, 788416434, 298135577, -258525966, 999611501, -942765367, -982090515, 960347329, -803982123, -492616306, 2150735, -942765493, -942765688, -942765556, -826843717, 999329503, -982474183, -976513508, -942765803, 957590694, -171352891, -930488665, -401150324, 462528398, -942765541, -942765539, -626512560, -174171645, -942765484, 609559091, -853747608, -942765777, 925179685, 335083967, 291676348, 860285736, 56646123, -942765770, 358943865, 955774042, -942765402, -535865267, -942765658, -942765656, -638974564, -942765352, 426665782, -942765832, -942765435, -687591552, 711334169, -942765805, -942765322, -996894103, -983710565, -942765461, -942765362, -942765424, 592541345, 933642985, 187870760, -376757083, -52668063, 183819321, -942765714, -120291363, -936877528, -942765720, -296331331, -582017404, 446965164, -336825432, -942765397, -942765486, -908301548, -942765768, -942765363, -942765706, 915182702, -548113437, -684900045, -328730981, -942765490, -250104546, 982882077, -942765711, 28443640, 688863186, -32718729, 462177839, 926615679, -80452736, 719863939, -978428737, -942765453, 920874573, -718228073, -387522778, 57598178, 544229270, -942765758, -484290645, -559363348, 774617680, -942765721, -942765327, -398766003, -836885371, -90226916, -595880255, -488565724, -942765826, 802716540, -908279354, 171297962, -325201095, -296517713, 591805470, -942765361, 737292739, -942765559, -151138365, -826270004, -492165585, 6140342, -553601182, -942765743, -942765676, -458763594, -161539850, -137358218, 198833325, -942765812, -999581661, 865287114, -66339868, -303261808, 421159189, 728354591, 926325448, 252878271, -942765603, -942765813, -942765846, 808422978, -984096674, -60818763, -108706889, -942765561, -942765765, 12516720, -978901594, -942765521, 834165050, 688922225, 497705978, -117314360, -801414494, -942765783, -758965337, -900060875, 243246607, 111114453, -942765412, 445877216, -942765382, -707550713, -651863716, 140414938, -978445486, 646929948, -95456654, -942765750, -942765632, -675170861, 999636910, 609974398, -942765338, 933430812, 612706188, -942765679, -942765555, -942765780, 852309023, 938100993, -729391223, -942765329, -455538475, 816365237, -951804633, -993780062, 707340751, -805297997, -942765332, -976686917, -951784844, 752923111, -710619588, 162164749, 35437183, -346087497, -420011678, -26730366, -797223211, -942765557, -942765842, -942765661, -482070956, 435658755, -942765774, 266097597, -766772003, -315915225, -942765511, 324303356, 850111664, -506554999, -354939525, -676425575, -945101996, -942765429, 310822101, -788431993, -791295704, -910693229, -942765562, 522351147, 221824491, -942765394, -942765673, 425654640, -942765437, -740762334, -750846887, -942765535, -421303522, 149549345, -994918918, -698850992, -729011300, 176630290, -908556937, -998036818, -782711070, -712895906, -942765806, 840096638, 418679897, -942765471, -942846385, 594006202, -942765348, -228166939, 984590000, -980246393, -174036400, 440943875, 941774518, -992462194, 936508233, -942765458, -942765395, 999093333, -855236329, -942765323, 429638642, -942765571, 281385205, -470698873, 671392527, -191814686, -485718953, -942765738, 860088963, -72760923, -942765347, 783407798, 141102898, 528552593, 983519184, -848676455, 43502534, 839332488, 868501222, -942765742, 520072040, -127376904, -331683813, 847546390, -942765675, -29707017, -942765600, -942765631, -106603907, 346555212, -942765802, 860702920, -372178917, -639706507, 22257005, 131608686, -942765833, -942765621, -321367488, -942765515, -942765396, -747410754, -998133050, -167049377, 546367390, 781237116, 351471723, 997890240, 781842850, -922261332, 378946072, 821640760, -414133230, -640964288, 583656491, -942765489, 814170698, 413462917, 978075108, 509276803, -942765660, 211402268, 707747212, -942765761, -942765553, 38153784, 824306558, 766995455, 999354339, 949595450, -303885128, -578014292, -942765797, -998358422, 975196943, 958904992, 294579268, 144581573, 658675178, -772085253, 860532342, -942765354, -795997935, -781283315, -997746424, -157525683, -978321587, 101488986, 166966486, 857507291, -942765834, -772066237, -942765594, -942765794, 795814083, -35202632, -48554863, -942765723, -745595784, -942765767, 358160927, 299248116, -942765841, -942765845, 782718878, -942765445, -998814090, -347101856, -328889474, -435830551, -419419590, -321739642, -942765416, 85414332, 84699537, -884564964, 120759894, -942765451, 472304194, -942765740, -942765462, -104768738, 932380221, -888507075, -942765686, -511824405, -556339393, -518856220, -942765336, -116601099, 820150865, 579951783, -567305176, -951860507, -942765739, 373674672, -942765633, 189475183, 901392291, -942765371, -998211991, 436881507, -294443540, 593721842, -735369336, -228343661, -191317142, 184144712, -786062786, 29122315, 55136056, 710566121, 745410103, 900485076, 852364790, -306319503, -942765804, 822612906, -942765538, -942765543, -942765542, -942765620, -942765630, -628878460, -307148353, -515643131, 589381588, -734637362, -942765746, -969590598, -250754615, -942765442, -942765528, 778892051, 760049358, 384551688, -125221548, 101613886, -5068073, -431374230, -942765508, -551575194, 89678081, -942765800, -942765766, -731364934, 15542544, -797246639, -93990904, -942765422, -375556096, 747136374, -393394150, -978809425, -998170235, -942765731, -515719275, -748602685, -954748445, -239624547, -942765488, 365549112, 656327864, 988877153, -942765712, -827187878, -942765785, 748824528, -609711934, -942765569, -542929450, -942765411, -295547226, 516709861, 761218943, -16711979, -585810231, 6371233, 163758941, -448406833, -942765434, -799316963, -485450408, -823556382, -838805750, 462832704, -942765606, -942765566, -942765751, 628056417, -942765667, -486931391, -942765640, 98444416, -942765463, -942765519, -485624818, 999931684, -298811157, -900564455, -942765584, 820792369, -937049921, -364760250, -942765387, -775119679, -630995679, -758426725, -942765459, -984327626, 169580235, -942765472, -942765406, -942765608, -969546598, -532292222, -743029506, 857315270, 999443689, 271547838, 190874221, -942765585, -942765590, -594961760, 402810406, -556005728, 926402106, -868700476, 857967266, -791474506, -777644141, -624466388, -571660379, 322688673, 459143684, -942765366, 77737540, -367261331, -956069874, -942765398, 320520341, -942765616, -441318093, 584841710, -942221433, -826765132, 687117083, 944747580, -805276818, 817380733, 286089069, -942765641, 884588969, 135419252, -942765744, 640503933, -951844249, 316777688, -804425447, -342086075, -942765481, 999635318, -942765532, -596155527, -661623474, -942765552, -942765638, 760511857, 911946337, -942765745, -942765464, -242586961, -942765657, 400044257, -942765726, -281570383, -838889109, -291013737, -929662318, -995664439, -336254431, 825971146, -942765684, -848478651, 656447344, 197453564, 820250068, 999245018, -942765410, 517049050, -493790989, -942765324, 999921064, -942765671, -679670939, -942765778, -823139357, -942765474, -942765403, -942765565, -771993263, -942765838, -789882165, -978298934, -265249719, 251323238, 524625798, -942765639, 487817432, -581019011, -331144079, 853585962, 658642547, -842520725, -942765440, -942765604, 819286735, -942765801, 161159409, 385969407, -986952377, -821698233, -942765814, 202041068, -942765683, -942765692, -942765643, -942765548, -122105089, -942765752, 524804906, 677754848, -942765368, -942765505, -942765730, 985853834, -795745574, 368226882, -765862645, 851978678, 978842744, -942765823, -942765775, 984571511, -838237524, -490055342, 849871101, 819394080, -942765423, 19230540, -942765763, -332321730, -883545274, 805120716, -942765817, -657870182, -942765699, -942765573, -657854533, -942765531, -817134250, 841269278, -942765798, -942765754, -162480605, -981516145, -898702162, 697891935, 999986026, -942765449, -942765791, -942765567, -788541183, -320386285, -978622780, 441177728], x: { "value": -348761264, "left": { "value": -825429040, "left": { "value": -976865288, "left": { "value": -981956058, "left": { "value": -998023278, "left": { "value": -999357649, "left": { "value": -999618835, "left": { "value": -999862211, "left": { "value": -999963773, "left": nil, "right": nil }, "right": nil }, "right": nil }, "right": { "value": -998224931, "left": { "value": -998245361, "left": { "value": -998261431, "left": nil, "right": nil }, "right": nil }, "right": { "value": -998118656, "left": nil, "right": nil } } }, "right": { "value": -988230260, "left": { "value": -997344052, "left": nil, "right": { "value": -989322504, "left": nil, "right": nil } }, "right": { "value": -984016872, "left": { "value": -984078355, "left": nil, "right": nil }, "right": nil } } }, "right": { "value": -979262791, "left": { "value": -980134566, "left": { "value": -981636586, "left": { "value": -981918097, "left": nil, "right": nil }, "right": nil }, "right": { "value": -980076933, "left": { "value": -980102981, "left": nil, "right": nil }, "right": nil } }, "right": { "value": -978308902, "left": { "value": -978329481, "left": { "value": -978415171, "left": nil, "right": { "value": -978380426, "left": nil, "right": nil } }, "right": { "value": -978311047, "left": nil, "right": nil } }, "right": { "value": -977093698, "left": nil, "right": { "value": -977055878, "left": nil, "right": nil } } } } }, "right": { "value": -912955740, "left": { "value": -946532401, "left": { "value": -966717919, "left": { "value": -971501221, "left": { "value": -976169902, "left": nil, "right": { "value": -975417443, "left": nil, "right": nil } }, "right": { "value": -966791938, "left": nil, "right": nil } }, "right": { "value": -960174471, "left": nil, "right": { "value": -951402822, "left": nil, "right": nil } } }, "right": { "value": -940249230, "left": { "value": -944931577, "left": { "value": -945854193, "left": nil, "right": nil }, "right": { "value": -942765320, "left": { "value": -942765321, "left": { "value": -942765325, "left": { "value": -942765326, "left": { "value": -942765328, "left": { "value": -942765330, "left": { "value": -942765331, "left": { "value": -942765333, "left": { "value": -942765335, "left": { "value": -942765337, "left": { "value": -942765339, "left": { "value": -942765340, "left": { "value": -942765341, "left": { "value": -942765343, "left": { "value": -942765344, "left": { "value": -942765345, "left": { "value": -942765346, "left": { "value": -942765349, "left": { "value": -942765351, "left": { "value": -942765353, "left": { "value": -942765355, "left": { "value": -942765356, "left": { "value": -942765357, "left": { "value": -942765358, "left": { "value": -942765365, "left": { "value": -942765369, "left": { "value": -942765370, "left": { "value": -942765372, "left": { "value": -942765373, "left": { "value": -942765374, "left": { "value": -942765375, "left": { "value": -942765376, "left": { "value": -942765377, "left": { "value": -942765378, "left": { "value": -942765379, "left": { "value": -942765380, "left": { "value": -942765381, "left": { "value": -942765383, "left": { "value": -942765384, "left": { "value": -942765385, "left": { "value": -942765389, "left": { "value": -942765390, "left": { "value": -942765391, "left": { "value": -942765392, "left": { "value": -942765393, "left": { "value": -942765400, "left": { "value": -942765401, "left": { "value": -942765404, "left": { "value": -942765405, "left": { "value": -942765407, "left": { "value": -942765408, "left": { "value": -942765409, "left": { "value": -942765413, "left": { "value": -942765414, "left": { "value": -942765415, "left": { "value": -942765419, "left": { "value": -942765420, "left": { "value": -942765421, "left": { "value": -942765425, "left": { "value": -942765426, "left": { "value": -942765427, "left": { "value": -942765428, "left": { "value": -942765431, "left": { "value": -942765432, "left": { "value": -942765433, "left": { "value": -942765436, "left": { "value": -942765438, "left": { "value": -942765439, "left": { "value": -942765441, "left": { "value": -942765444, "left": { "value": -942765446, "left": { "value": -942765447, "left": { "value": -942765448, "left": { "value": -942765452, "left": { "value": -942765454, "left": { "value": -942765455, "left": { "value": -942765457, "left": { "value": -942765460, "left": { "value": -942765465, "left": { "value": -942765466, "left": { "value": -942765467, "left": { "value": -942765470, "left": { "value": -942765473, "left": { "value": -942765475, "left": { "value": -942765476, "left": { "value": -942765477, "left": { "value": -942765478, "left": { "value": -942765480, "left": { "value": -942765482, "left": { "value": -942765483, "left": { "value": -942765487, "left": { "value": -942765491, "left": { "value": -942765492, "left": { "value": -942765495, "left": { "value": -942765496, "left": { "value": -942765497, "left": { "value": -942765499, "left": { "value": -942765500, "left": { "value": -942765501, "left": { "value": -942765502, "left": { "value": -942765509, "left": { "value": -942765513, "left": { "value": -942765514, "left": { "value": -942765517, "left": { "value": -942765518, "left": { "value": -942765520, "left": { "value": -942765523, "left": { "value": -942765525, "left": { "value": -942765527, "left": { "value": -942765529, "left": { "value": -942765530, "left": { "value": -942765534, "left": { "value": -942765536, "left": { "value": -942765537, "left": { "value": -942765540, "left": { "value": -942765544, "left": { "value": -942765545, "left": { "value": -942765547, "left": { "value": -942765549, "left": { "value": -942765550, "left": { "value": -942765551, "left": { "value": -942765554, "left": { "value": -942765558, "left": { "value": -942765560, "left": { "value": -942765563, "left": { "value": -942765568, "left": { "value": -942765570, "left": { "value": -942765572, "left": { "value": -942765574, "left": { "value": -942765576, "left": { "value": -942765578, "left": { "value": -942765580, "left": { "value": -942765581, "left": { "value": -942765582, "left": { "value": -942765583, "left": { "value": -942765586, "left": { "value": -942765587, "left": { "value": -942765595, "left": { "value": -942765596, "left": { "value": -942765597, "left": { "value": -942765598, "left": { "value": -942765599, "left": { "value": -942765602, "left": { "value": -942765605, "left": { "value": -942765610, "left": { "value": -942765611, "left": { "value": -942765612, "left": { "value": -942765613, "left": { "value": -942765614, "left": { "value": -942765617, "left": { "value": -942765623, "left": { "value": -942765624, "left": { "value": -942765625, "left": { "value": -942765626, "left": { "value": -942765627, "left": { "value": -942765636, "left": { "value": -942765637, "left": { "value": -942765642, "left": { "value": -942765645, "left": { "value": -942765646, "left": { "value": -942765650, "left": { "value": -942765651, "left": { "value": -942765654, "left": { "value": -942765655, "left": { "value": -942765662, "left": { "value": -942765663, "left": { "value": -942765664, "left": { "value": -942765666, "left": { "value": -942765669, "left": { "value": -942765672, "left": { "value": -942765674, "left": { "value": -942765677, "left": { "value": -942765678, "left": { "value": -942765681, "left": { "value": -942765682, "left": { "value": -942765685, "left": { "value": -942765687, "left": { "value": -942765690, "left": { "value": -942765691, "left": { "value": -942765693, "left": { "value": -942765694, "left": { "value": -942765695, "left": { "value": -942765696, "left": { "value": -942765697, "left": { "value": -942765698, "left": { "value": -942765701, "left": { "value": -942765702, "left": { "value": -942765703, "left": { "value": -942765704, "left": { "value": -942765705, "left": { "value": -942765707, "left": { "value": -942765708, "left": { "value": -942765709, "left": { "value": -942765710, "left": { "value": -942765713, "left": { "value": -942765715, "left": { "value": -942765716, "left": { "value": -942765719, "left": { "value": -942765722, "left": { "value": -942765724, "left": { "value": -942765727, "left": { "value": -942765728, "left": { "value": -942765729, "left": { "value": -942765732, "left": { "value": -942765733, "left": { "value": -942765734, "left": { "value": -942765735, "left": { "value": -942765736, "left": { "value": -942765741, "left": { "value": -942765747, "left": { "value": -942765749, "left": { "value": -942765756, "left": { "value": -942765757, "left": { "value": -942765759, "left": { "value": -942765762, "left": { "value": -942765764, "left": { "value": -942765769, "left": { "value": -942765771, "left": { "value": -942765772, "left": { "value": -942765776, "left": { "value": -942765779, "left": { "value": -942765781, "left": { "value": -942765784, "left": { "value": -942765786, "left": { "value": -942765787, "left": { "value": -942765788, "left": { "value": -942765789, "left": { "value": -942765792, "left": { "value": -942765795, "left": { "value": -942765796, "left": { "value": -942765807, "left": { "value": -942765808, "left": { "value": -942765810, "left": { "value": -942765815, "left": { "value": -942765816, "left": { "value": -942765818, "left": { "value": -942765819, "left": { "value": -942765820, "left": { "value": -942765822, "left": { "value": -942765824, "left": { "value": -942765825, "left": { "value": -942765827, "left": { "value": -942765828, "left": { "value": -942765829, "left": { "value": -942765830, "left": { "value": -942765831, "left": { "value": -942765835, "left": { "value": -942765840, "left": { "value": -942765843, "left": { "value": -942765844, "left": { "value": -942765847, "left": nil, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil }, "right": nil } }, "right": { "value": -926491286, "left": { "value": -938118006, "left": nil, "right": { "value": -934966794, "left": nil, "right": nil } }, "right": { "value": -919890687, "left": nil, "right": { "value": -916500837, "left": nil, "right": nil } } } } }, "right": { "value": -871388365, "left": { "value": -908690644, "left": { "value": -909084194, "left": nil, "right": nil }, "right": { "value": -872957197, "left": { "value": -893558172, "left": nil, "right": nil }, "right": nil } }, "right": { "value": -833406939, "left": { "value": -838410431, "left": { "value": -838535782, "left": nil, "right": nil }, "right": { "value": -838291935, "left": nil, "right": { "value": -834995458, "left": nil, "right": nil } } }, "right": { "value": -828479487, "left": { "value": -831223595, "left": { "value": -832681456, "left": nil, "right": nil }, "right": nil }, "right": { "value": -825712721, "left": nil, "right": nil } } } } } }, "right": { "value": -727921557, "left": { "value": -783224886, "left": { "value": -789693684, "left": { "value": -796278862, "left": { "value": -796593869, "left": nil, "right": { "value": -796433810, "left": nil, "right": nil } }, "right": { "value": -795688566, "left": nil, "right": { "value": -790243426, "left": nil, "right": { "value": -789829904, "left": nil, "right": nil } } } }, "right": { "value": -788722539, "left": { "value": -788759215, "left": { "value": -789345018, "left": { "value": -789399222, "left": nil, "right": nil }, "right": { "value": -788838980, "left": nil, "right": nil } }, "right": { "value": -788733823, "left": { "value": -788744169, "left": nil, "right": nil }, "right": { "value": -788729927, "left": nil, "right": nil } } }, "right": { "value": -788703380, "left": { "value": -788718324, "left": nil, "right": nil }, "right": { "value": -783245235, "left": nil, "right": nil } } } }, "right": { "value": -771612228, "left": { "value": -774874477, "left": { "value": -775202964, "left": { "value": -775754215, "left": nil, "right": nil }, "right": { "value": -775136903, "left": nil, "right": nil } }, "right": { "value": -772078629, "left": nil, "right": { "value": -771897675, "left": { "value": -771924541, "left": nil, "right": nil }, "right": { "value": -771743468, "left": nil, "right": nil } } } }, "right": { "value": -736223609, "left": { "value": -747518228, "left": nil, "right": { "value": -744216639, "left": nil, "right": { "value": -737152615, "left": nil, "right": nil } } }, "right": nil } } }, "right": { "value": -529131405, "left": { "value": -624213132, "left": { "value": -629434975, "left": { "value": -695893971, "left": nil, "right": { "value": -654208053, "left": nil, "right": { "value": -639501721, "left": nil, "right": nil } } }, "right": { "value": -624768514, "left": { "value": -629310611, "left": nil, "right": nil }, "right": { "value": -624246420, "left": nil, "right": nil } } }, "right": { "value": -562700019, "left": { "value": -600185439, "left": { "value": -612472337, "left": { "value": -621197859, "left": nil, "right": nil }, "right": nil }, "right": { "value": -579796769, "left": { "value": -580057004, "left": nil, "right": nil }, "right": nil } }, "right": { "value": -554951652, "left": nil, "right": nil } } }, "right": { "value": -485733207, "left": { "value": -494589267, "left": { "value": -515597001, "left": { "value": -521654094, "left": nil, "right": nil }, "right": nil }, "right": { "value": -491099440, "left": { "value": -491213318, "left": nil, "right": nil }, "right": { "value": -486356381, "left": nil, "right": nil } } }, "right": { "value": -485636515, "left": { "value": -485689742, "left": nil, "right": nil }, "right": { "value": -460665705, "left": { "value": -484355513, "left": nil, "right": nil }, "right": { "value": -441256929, "left": { "value": -447105237, "left": nil, "right": nil }, "right": { "value": -380963797, "left": nil, "right": nil } } } } } } } }, "right": { "value": 807649098, "left": { "value": 524559458, "left": { "value": -294581377, "left": { "value": -348683613, "left": { "value": -348739705, "left": { "value": -348749727, "left": nil, "right": nil }, "right": { "value": -348729165, "left": nil, "right": nil } }, "right": { "value": -314001573, "left": { "value": -319254561, "left": { "value": -324786986, "left": nil, "right": nil }, "right": nil }, "right": { "value": -296004966, "left": nil, "right": nil } } }, "right": { "value": 229195554, "left": { "value": 113724127, "left": { "value": -137287838, "left": nil, "right": { "value": 28103714, "left": nil, "right": nil } }, "right": { "value": 219246942, "left": nil, "right": nil } }, "right": { "value": 505384398, "left": { "value": 443494737, "left": { "value": 371940187, "left": nil, "right": { "value": 437735241, "left": nil, "right": nil } }, "right": nil }, "right": { "value": 524541684, "left": { "value": 511692006, "left": nil, "right": { "value": 520402756, "left": nil, "right": nil } }, "right": nil } } } }, "right": { "value": 760087445, "left": { "value": 711840150, "left": { "value": 688240743, "left": nil, "right": { "value": 704868863, "left": { "value": 704034247, "left": nil, "right": nil }, "right": nil } }, "right": { "value": 759430600, "left": { "value": 756851128, "left": nil, "right": nil }, "right": nil } }, "right": { "value": 790434708, "left": { "value": 766069402, "left": nil, "right": { "value": 784633658, "left": nil, "right": { "value": 787244643, "left": nil, "right": nil } } }, "right": { "value": 799751344, "left": nil, "right": nil } } } }, "right": { "value": 925702250, "left": { "value": 857105131, "left": { "value": 823151987, "left": { "value": 815412004, "left": { "value": 811649156, "left": { "value": 811258678, "left": { "value": 809933085, "left": nil, "right": nil }, "right": { "value": 811346090, "left": nil, "right": nil } }, "right": nil }, "right": { "value": 821765470, "left": nil, "right": { "value": 822737838, "left": { "value": 821994229, "left": nil, "right": nil }, "right": nil } } }, "right": { "value": 844823179, "left": { "value": 825643482, "left": { "value": 824577294, "left": nil, "right": nil }, "right": { "value": 843881237, "left": nil, "right": nil } }, "right": { "value": 847562695, "left": { "value": 847410562, "left": { "value": 845577985, "left": nil, "right": nil }, "right": nil }, "right": nil } } }, "right": { "value": 861017360, "left": { "value": 858009441, "left": { "value": 857652384, "left": { "value": 857632574, "left": nil, "right": nil }, "right": { "value": 857805163, "left": nil, "right": { "value": 857993378, "left": nil, "right": nil } } }, "right": { "value": 860591918, "left": { "value": 860579007, "left": nil, "right": nil }, "right": nil } }, "right": { "value": 912057216, "left": { "value": 898436752, "left": { "value": 887597563, "left": nil, "right": nil }, "right": { "value": 908693407, "left": nil, "right": { "value": 909766473, "left": nil, "right": nil } } }, "right": { "value": 920014631, "left": nil, "right": { "value": 925619846, "left": nil, "right": { "value": 925671467, "left": nil, "right": nil } } } } } }, "right": { "value": 999055392, "left": { "value": 976522654, "left": { "value": 926563538, "left": { "value": 926368913, "left": { "value": 926173435, "left": nil, "right": nil }, "right": nil }, "right": { "value": 937629293, "left": { "value": 934077677, "left": nil, "right": nil }, "right": { "value": 946666545, "left": nil, "right": { "value": 959622368, "left": nil, "right": nil } } } }, "right": { "value": 984593578, "left": { "value": 984570966, "left": { "value": 982972465, "left": { "value": 981354607, "left": nil, "right": nil }, "right": nil }, "right": nil }, "right": { "value": 996057745, "left": { "value": 992006148, "left": nil, "right": nil }, "right": { "value": 998651108, "left": nil, "right": nil } } } }, "right": { "value": 999605267, "left": { "value": 999404797, "left": { "value": 999274621, "left": { "value": 999256091, "left": nil, "right": nil }, "right": { "value": 999297580, "left": nil, "right": nil } }, "right": { "value": 999550476, "left": { "value": 999539035, "left": nil, "right": { "value": 999539177, "left": nil, "right": nil } }, "right": { "value": 999574529, "left": { "value": 999562056, "left": nil, "right": nil }, "right": { "value": 999586681, "left": nil, "right": nil } } } }, "right": { "value": 999644338, "left": { "value": 999632051, "left": { "value": 999618317, "left": nil, "right": { "value": 999619083, "left": nil, "right": nil } }, "right": { "value": 999642856, "left": nil, "right": nil } }, "right": { "value": 999906618, "left": { "value": 999717902, "left": nil, "right": nil }, "right": { "value": 999970275, "left": nil, "right": { "value": 999996331, "left": nil, "right": nil } } } } } } } } }}