ValueContext
229443{ "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 }
229443{ "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 }
229443{ "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 }
245787{ "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 }
245787{ "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 }
245787{ "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 }
442435{ "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 }
442435{ "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 }
442435{ "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 }
1802331{ "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 }
1802331{ "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 }
1802331{ "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 }