ValueContext
196620{ "1723": 835695, "1726": 1097839, "1729": 1359983, "1732": 1622127, "1735": 245787, "1738": 245811, "1741": 966671, "1744": 573455, "1747": 270319646, "1750": 270401568, "1753": 270483495, "1756": 270401582, "1759": 270319664, "1762": 770118, "1765": 950342, "1768": 1278038, "1771": 1409110, "1772": 1769562, "1775": 852035, "1800": 1556522, "1802": 1359964, "1803": 1884275, "1804": 1441824, "1805": 966699, "1806": 196620, "1807": 720972, "1808": 835676, "1809": 1114204, "1810": 1622108, "1811": 442444, "1812": 196723, "1813": 426023, "1814": 966693, "1815": 1458224, "1816": 655445, "1817": 393301, "1818": 1441796, "1822": 1589285, "1823": 2147483647, "1824": 2147483647, "1825": 1097766, "1826": 1097769 }
458832{ "1723": 606243, "1726": 1491005, "1729": 655424, "1732": 1491040, "1747": 270319616, "1750": 270401538, "1753": 270483465, "1756": 270401552, "1759": 270319634, "1762": 557150, "1765": 1687618, "1800": 1490962, "1802": 393244, "1803": 983075, "1804": 1359970, "1805": 1622097, "1806": 458832, "1807": 1114127, "1808": 1507386, "1809": 835637, "1810": 933903, "1811": 704587, "1812": 753763, "1813": 1376331, "1814": 1081379, "1815": 1572884, "1816": 1146949, "1817": 950341, "1818": 163852, "1822": 1130514, "1823": 999451, "1824": 1048603, "1825": 2147483647, "1826": 2147483647 }
458844{ "1723": 999500, "1726": 1081420, "1729": 1277981, "1732": 1278001, "1747": 268763146, "1750": 268795909, "1753": 268910592, "1756": 269025285, "1759": 269058058, "1762": 426095, "1765": 426053, "1800": 409648, "1802": 1245236, "1803": 1835035, "1804": 1359944, "1805": 1736772, "1806": 458844, "1807": 1015882, "1808": 573480, "1809": 1245211, "1810": 1835060, "1811": 1081418, "1812": 1507396, "1813": 442473, "1814": 688209, "1815": 409640, "1816": 1146965, "1817": 917589, "1818": 65576, "1822": 491574, "1823": 2147483647, "1824": 2147483647, "1825": 950310, "1826": 950313 }
557097{ "1723": 606243, "1726": 1556525, "1729": 573550, "1732": 1491055, "1735": 229443, "1738": 1425502, "1747": 270319616, "1750": 270401538, "1753": 270483465, "1756": 270401552, "1759": 270319634, "1762": 622685, "1765": 1687618, "1768": 1474621, "1771": 491568, "1800": 1490962, "1802": 1130511, "1803": 1523753, "1804": 475233, "1805": 983075, "1806": 557097, "1807": 1359971, "1808": 1507396, "1809": 1081379, "1810": 1376315, "1811": 835643, "1812": 933903, "1813": 1605729, "1814": 704589, "1815": 819299, "1816": 1179717, "1817": 917573, "1818": 163852, "1822": 1130514, "1823": 999451, "1824": 1048603, "1825": 2147483647, "1826": 2147483647 }
557097{ "1723": 606243, "1726": 1556525, "1729": 573550, "1732": 1491055, "1735": 229443, "1738": 1425502, "1741": 1556533, "1744": 1458210, "1747": 270319616, "1750": 270401538, "1753": 270483465, "1756": 270401552, "1759": 270319634, "1762": 622685, "1765": 1687618, "1768": 1474621, "1771": 557104, "1772": 442416, "1775": 491579, "1800": 1490962, "1802": 1376355, "1803": 1638478, "1804": 196723, "1805": 983075, "1806": 557097, "1807": 1163279, "1808": 1523753, "1809": 458843, "1810": 720994, "1811": 1884275, "1812": 1081379, "1813": 1491002, "1814": 704573, "1815": 901135, "1816": 1179717, "1817": 917573, "1818": 163852, "1822": 1130514, "1823": 999451, "1824": 1048603, "1825": 2147483647, "1826": 2147483647 }
573480{ "1723": 999500, "1726": 1081420, "1729": 1277981, "1732": 1278001, "1747": 268763146, "1750": 268795909, "1753": 268910592, "1756": 269025285, "1759": 269058058, "1762": 426095, "1765": 426053, "1800": 409648, "1802": 442460, "1803": 1015882, "1804": 1245236, "1805": 1835035, "1806": 573480, "1807": 1343561, "1808": 1687619, "1809": 1245211, "1810": 1835060, "1811": 442474, "1812": 688207, "1813": 409640, "1814": 1081418, "1815": 1491012, "1816": 1146965, "1817": 950357, "1818": 65576, "1822": 491574, "1823": 2147483647, "1824": 2147483647, "1825": 950310, "1826": 950313 }
704565{ "1723": 786473, "1726": 1294377, "1729": 507994, "1732": 1556571, "1747": 269320202, "1750": 269352965, "1753": 269467648, "1756": 269582341, "1759": 269615114, "1762": 1015888, "1765": 1343582, "1800": 524296, "1802": 1097773, "1803": 1474590, "1804": 1228914, "1805": 1622092, "1806": 704565, "1807": 442443, "1808": 852081, "1809": 1490987, "1810": 1245268, "1811": 1605727, "1812": 655391, "1813": 999469, "1814": 458846, "1815": 835668, "1816": 1146933, "1817": 950325, "1818": 1884169, "1822": 475148, "1823": 1015846, "1824": 1064998, "1825": 2147483647, "1826": 2147483647 }
720942{ "1723": 786473, "1726": 1294377, "1747": 269320202, "1750": 269352965, "1753": 269467648, "1756": 269582341, "1759": 269615114, "1762": 1015888, "1765": 1343582, "1800": 524296, "1802": 1146963, "1803": 1638492, "1804": 1474590, "1805": 1638459, "1806": 720942, "1807": 704587, "1808": 852081, "1809": 1261682, "1810": 1359947, "1811": 1376312, "1812": 655391, "1813": 999469, "1814": 475230, "1815": 933971, "1816": 1146933, "1817": 950325, "1818": 1884169, "1822": 475148, "1823": 1015846, "1824": 1064998, "1825": 2147483647, "1826": 2147483647 }
835697{ "1723": 786473, "1726": 1294377, "1729": 507994, "1732": 1556571, "1735": 442435, "1738": 1622083, "1741": 508003, "1744": 1556579, "1747": 269320202, "1750": 269352965, "1753": 269467648, "1756": 269582341, "1759": 269615114, "1762": 1015888, "1765": 1343582, "1768": 426038, "1771": 1605686, "1772": 1867890, "1775": 688221, "1800": 524296, "1802": 1474590, "1803": 1638492, "1804": 1949815, "1805": 458847, "1806": 835697, "1807": 196660, "1808": 999469, "1809": 1097773, "1810": 1884204, "1811": 1228913, "1812": 1245268, "1813": 852052, "1814": 131191, "1815": 655391, "1816": 1179701, "1817": 917557, "1818": 1884169, "1822": 475148, "1823": 1015846, "1824": 1064998, "1825": 2147483647, "1826": 2147483647 }
852059{ "1723": 835695, "1726": 1097839, "1747": 270319646, "1750": 270401568, "1753": 270483495, "1756": 270401582, "1759": 270319664, "1762": 770118, "1765": 950342, "1800": 1556522, "1802": 1441826, "1803": 1458222, "1804": 1114220, "1805": 458828, "1806": 852059, "1807": 442419, "1808": 966693, "1809": 1327144, "1810": 1556520, "1811": 1114204, "1812": 720972, "1813": 835690, "1814": 442396, "1815": 966699, "1816": 622677, "1817": 426069, "1818": 1441796, "1822": 1589285, "1823": 2147483647, "1824": 2147483647, "1825": 1097766, "1826": 1097769 }
933903{ "1723": 606243, "1726": 1491005, "1747": 270319616, "1750": 270401538, "1753": 270483465, "1756": 270401552, "1759": 270319634, "1762": 589918, "1765": 1687618, "1800": 1490962, "1802": 704603, "1803": 1081379, "1804": 1376315, "1805": 852019, "1806": 933903, "1807": 1245283, "1808": 1622084, "1809": 1179663, "1810": 1556499, "1811": 704585, "1812": 917603, "1813": 409628, "1814": 983075, "1815": 1376339, "1816": 1146949, "1817": 950341, "1818": 163852, "1822": 1130514, "1823": 999451, "1824": 1048603, "1825": 2147483647, "1826": 2147483647 }
950287{ "1723": 606243, "1726": 1491005, "1729": 655424, "1732": 1425502, "1747": 270319616, "1750": 270401538, "1753": 270483465, "1756": 270401552, "1759": 270319634, "1762": 557150, "1765": 1687618, "1800": 1490962, "1802": 458830, "1803": 737379, "1804": 1523769, "1805": 1556501, "1806": 950287, "1807": 983075, "1808": 1376335, "1809": 720977, "1810": 1081379, "1811": 1146895, "1812": 393244, "1813": 835634, "1814": 1392739, "1815": 1622098, "1816": 1146949, "1817": 917573, "1818": 163852, "1822": 1130514, "1823": 999451, "1824": 1048603, "1825": 2147483647, "1826": 2147483647 }
966694{ "1723": 835695, "1726": 1097839, "1747": 270319646, "1750": 270401568, "1753": 270483495, "1756": 270401582, "1759": 270319664, "1762": 770118, "1765": 950342, "1800": 1638440, "1802": 1114203, "1803": 1277992, "1804": 1441825, "1805": 442420, "1806": 966694, "1807": 458827, "1808": 852062, "1809": 1458223, "1810": 1572904, "1811": 442396, "1812": 966698, "1813": 720971, "1814": 999516, "1815": 1114221, "1816": 622677, "1817": 426069, "1818": 1441796, "1822": 1589285, "1823": 2147483647, "1824": 2147483647, "1825": 1097766, "1826": 1097769 }
966699{ "1723": 835695, "1726": 1097839, "1729": 1359983, "1732": 1622127, "1735": 245787, "1738": 245811, "1747": 270319646, "1750": 270401568, "1753": 270483495, "1756": 270401582, "1759": 270319664, "1762": 770118, "1765": 950342, "1768": 1278038, "1771": 1409110, "1800": 1556522, "1802": 1425439, "1803": 606284, "1804": 852075, "1805": 442396, "1806": 966699, "1807": 1359978, "1808": 1376339, "1809": 1458224, "1810": 442444, "1811": 852059, "1812": 442419, "1813": 966693, "1814": 1163355, "1815": 1622108, "1816": 655445, "1817": 393301, "1818": 1441796, "1822": 1589285, "1823": 2147483647, "1824": 2147483647, "1825": 1097766, "1826": 1097769 }
999469{ "1723": 786473, "1726": 1294377, "1729": 507994, "1732": 1556571, "1747": 269320202, "1750": 269352965, "1753": 269467648, "1756": 269582341, "1759": 269615114, "1762": 1015888, "1765": 1343582, "1800": 524296, "1802": 1474590, "1803": 1245296, "1804": 1622094, "1805": 704573, "1806": 999469, "1807": 720991, "1808": 852052, "1809": 1097773, "1810": 1638461, "1811": 1228885, "1812": 1507424, "1813": 655391, "1814": 458826, "1815": 852081, "1816": 1146933, "1817": 917557, "1818": 1884169, "1822": 475148, "1823": 1015846, "1824": 1064998, "1825": 2147483647, "1826": 2147483647 }
999469{ "1723": 786473, "1726": 1294377, "1729": 507994, "1732": 1556571, "1735": 442435, "1738": 1622083, "1747": 269320202, "1750": 269352965, "1753": 269467648, "1756": 269582341, "1759": 269615114, "1762": 1015888, "1765": 1343582, "1768": 426038, "1771": 1605686, "1800": 524296, "1802": 1228898, "1803": 1884235, "1804": 1474590, "1805": 180284, "1806": 999469, "1807": 720980, "1808": 573546, "1809": 1376340, "1810": 1507434, "1811": 1097773, "1812": 1884221, "1813": 655391, "1814": 311387, "1815": 852081, "1816": 1179701, "1817": 917557, "1818": 1884169, "1822": 475148, "1823": 1015846, "1824": 1064998, "1825": 2147483647, "1826": 2147483647 }
1081418{ "1723": 999500, "1726": 1081420, "1729": 1277981, "1732": 1278001, "1735": 1802331, "1738": 1802307, "1741": 262235, "1744": 1327170, "1747": 268763146, "1750": 268795909, "1753": 268910592, "1756": 269025285, "1759": 269058058, "1762": 426095, "1765": 426053, "1768": 1605710, "1771": 1605743, "1772": 1474574, "1775": 1212454, "1800": 409648, "1802": 376924, "1803": 688210, "1804": 1245236, "1805": 1900555, "1806": 1081418, "1807": 1622108, "1808": 589864, "1809": 393256, "1810": 1015882, "1811": 163956, "1812": 1245211, "1813": 1556532, "1814": 1622084, "1815": 1900660, "1816": 1179733, "1817": 917589, "1818": 65576, "1822": 491574, "1823": 2147483647, "1824": 2147483647, "1825": 950310, "1826": 950313 }
1097836{ "1723": 835695, "1726": 1097839, "1729": 1359983, "1732": 1294417, "1747": 270319646, "1750": 270401568, "1753": 270483495, "1756": 270401582, "1759": 270319664, "1762": 770118, "1765": 950342, "1800": 1556522, "1802": 524364, "1803": 852060, "1804": 442396, "1805": 966699, "1806": 1097836, "1807": 1359964, "1808": 1441826, "1809": 704588, "1810": 835691, "1811": 1114203, "1812": 1376364, "1813": 1458221, "1814": 442419, "1815": 966693, "1816": 622677, "1817": 426069, "1818": 1441796, "1822": 1589285, "1823": 2147483647, "1824": 2147483647, "1825": 1097766, "1826": 1097769 }
1130511{ "1723": 606243, "1726": 1556525, "1729": 573550, "1732": 1491055, "1735": 229443, "1738": 1458210, "1747": 270319616, "1750": 270401538, "1753": 270483465, "1756": 270401552, "1759": 270319634, "1762": 622685, "1765": 1687618, "1768": 1474621, "1771": 491568, "1800": 1490962, "1802": 983075, "1803": 557097, "1804": 442449, "1805": 835683, "1806": 1130511, "1807": 1507386, "1808": 1605729, "1809": 524344, "1810": 950287, "1811": 1081379, "1812": 1523753, "1813": 1278051, "1814": 1622095, "1815": 475233, "1816": 1179717, "1817": 917573, "1818": 163852, "1822": 1130514, "1823": 999451, "1824": 1048603, "1825": 2147483647, "1826": 2147483647 }
1212469{ "1723": 606243, "1726": 1491005, "1747": 270319616, "1750": 270401538, "1753": 270483465, "1756": 270401552, "1759": 270319634, "1762": 589918, "1765": 1687618, "1800": 1622026, "1802": 1228899, "1803": 1507396, "1804": 933903, "1805": 950306, "1806": 1212469, "1807": 1556498, "1808": 704604, "1809": 1376346, "1810": 376862, "1811": 835634, "1812": 1097763, "1813": 1146895, "1814": 704582, "1815": 917603, "1816": 1146949, "1817": 950341, "1818": 163852, "1822": 1130514, "1823": 999451, "1824": 1048603, "1825": 2147483647, "1826": 2147483647 }
1245276{ "1723": 835695, "1726": 1097839, "1729": 1359983, "1732": 1622127, "1735": 245787, "1738": 245811, "1747": 270319646, "1750": 270401568, "1753": 270483495, "1756": 270401582, "1759": 270319664, "1762": 770118, "1765": 950342, "1768": 1278038, "1771": 1409110, "1800": 1556522, "1802": 426023, "1803": 966693, "1804": 442444, "1805": 196723, "1806": 1245276, "1807": 1622108, "1808": 1441823, "1809": 606284, "1810": 852059, "1811": 1376364, "1812": 1736819, "1813": 1441841, "1814": 966699, "1815": 196626, "1816": 655445, "1817": 393301, "1818": 1441796, "1822": 1589285, "1823": 2147483647, "1824": 2147483647, "1825": 1097766, "1826": 1097769 }
1245298{ "1723": 786473, "1726": 1294377, "1747": 269320202, "1750": 269352965, "1753": 269467648, "1756": 269582341, "1759": 269615114, "1762": 1015888, "1765": 1343582, "1800": 1048603, "1802": 442429, "1803": 999469, "1804": 1474590, "1805": 1163348, "1806": 1245298, "1807": 720980, "1808": 852081, "1809": 655391, "1810": 1097773, "1811": 1622077, "1812": 1376333, "1813": 1507424, "1814": 507999, "1815": 917588, "1816": 1146933, "1817": 950325, "1818": 1884169, "1822": 475148, "1823": 1015846, "1824": 1064998, "1825": 2147483647, "1826": 2147483647 }
1343562{ "1723": 999500, "1726": 1081420, "1747": 268763146, "1750": 268795909, "1753": 268910592, "1756": 269025285, "1759": 269058058, "1762": 688208, "1765": 1343568, "1800": 491547, "1802": 1245236, "1803": 1835035, "1804": 704611, "1805": 999497, "1806": 1343562, "1807": 1736773, "1808": 573481, "1809": 1261596, "1810": 1851444, "1811": 1097801, "1812": 1507395, "1813": 409640, "1814": 753738, "1815": 1032304, "1816": 1146965, "1817": 950357, "1818": 65576, "1822": 491574, "1823": 2147483647, "1824": 2147483647, "1825": 950310, "1826": 950313 }
1376334{ "1723": 786473, "1726": 1294377, "1729": 507994, "1732": 1556571, "1735": 442435, "1738": 1622083, "1747": 269320202, "1750": 269352965, "1753": 269467648, "1756": 269582341, "1759": 269615114, "1762": 1015888, "1765": 1343582, "1768": 426038, "1771": 1605686, "1800": 524296, "1802": 196664, "1803": 999469, "1804": 327772, "1805": 573546, "1806": 1376334, "1807": 1900627, "1808": 1474590, "1809": 655391, "1810": 311363, "1811": 852081, "1812": 1228899, "1813": 1507434, "1814": 1097773, "1815": 1884215, "1816": 1179701, "1817": 917557, "1818": 1884169, "1822": 475148, "1823": 1015846, "1824": 1064998, "1825": 2147483647, "1826": 2147483647 }
1458224{ "1723": 835695, "1726": 1097839, "1729": 1359983, "1732": 1294418, "1747": 270319646, "1750": 270401568, "1753": 270483495, "1756": 270401582, "1759": 270319664, "1762": 770118, "1765": 950342, "1800": 1556522, "1802": 442396, "1803": 966699, "1804": 1114204, "1805": 1376357, "1806": 1458224, "1807": 442444, "1808": 852051, "1809": 442419, "1810": 966693, "1811": 1114213, "1812": 1376348, "1813": 1441825, "1814": 622668, "1815": 852067, "1816": 622677, "1817": 393301, "1818": 1441796, "1822": 1589285, "1823": 2147483647, "1824": 2147483647, "1825": 1097766, "1826": 1097769 }
1720389{ "1723": 999500, "1726": 1081420, "1747": 268763146, "1750": 268795909, "1753": 268910592, "1756": 269025285, "1759": 269058058, "1762": 688208, "1765": 1343568, "1800": 409648, "1802": 573480, "1803": 704612, "1804": 983114, "1805": 1310794, "1806": 1720389, "1807": 1245211, "1808": 1835060, "1809": 409640, "1810": 720975, "1811": 1032304, "1812": 1081418, "1813": 1507395, "1814": 1245236, "1815": 1835035, "1816": 1146965, "1817": 950357, "1818": 65576, "1822": 491574, "1823": 2147483647, "1824": 2147483647, "1825": 950310, "1826": 950313 }
1900660{ "1723": 999500, "1726": 1081420, "1729": 1277981, "1732": 1278001, "1735": 1802331, "1738": 1802307, "1747": 268763146, "1750": 268795909, "1753": 268910592, "1756": 269025285, "1759": 269058058, "1762": 426095, "1765": 426053, "1768": 1605710, "1771": 1605743, "1800": 409648, "1802": 573480, "1803": 1015882, "1804": 360564, "1805": 1622084, "1806": 1900660, "1807": 1245236, "1808": 1802267, "1809": 1081418, "1810": 1622108, "1811": 1245211, "1812": 1835060, "1813": 442460, "1814": 704588, "1815": 409640, "1816": 1179733, "1817": 917589, "1818": 65576, "1822": 491574, "1823": 2147483647, "1824": 2147483647, "1825": 950310, "1826": 950313 }
1900660{ "1723": 999500, "1726": 1081420, "1729": 1277981, "1732": 1278001, "1735": 1802331, "1738": 1802307, "1747": 268763146, "1750": 268795909, "1753": 268910592, "1756": 269025285, "1759": 269058058, "1762": 426095, "1765": 426053, "1768": 1605710, "1771": 1605743, "1800": 409648, "1802": 573480, "1803": 1245236, "1804": 1835051, "1805": 1638492, "1806": 1900660, "1807": 426084, "1808": 1015882, "1809": 1245211, "1810": 1900563, "1811": 1081418, "1812": 1507396, "1813": 704596, "1814": 360564, "1815": 409640, "1816": 1179733, "1817": 917589, "1818": 65576, "1822": 491574, "1823": 2147483647, "1824": 2147483647, "1825": 950310, "1826": 950313 }