┌─────┬───────────────┬─────────────┬──────────────────────────┬─────────┬────────────┬──────────────────────────┬────────────────────┬─────────────────┬──────────────────────────┬─────────────────────────┬──────────────────┐ │ id │ hypertable_id │ column_name │ column_type │ aligned │ num_slices │ partitioning_func_schema │ partitioning_func │ interval_length │ compress_interval_length │ integer_now_func_schema │ integer_now_func │ ├─────┼───────────────┼─────────────┼──────────────────────────┼─────────┼────────────┼──────────────────────────┼────────────────────┼─────────────────┼──────────────────────────┼─────────────────────────┼──────────────────┤ │ 109 │ 109 │ dt │ timestamp with time zone │ t │ ∅ │ ∅ │ ∅ │ 432000000000 │ 432000000000 │ ∅ │ ∅ │ │ 110 │ 109 │ host │ text │ f │ 3 │ _timescaledb_functions │ get_partition_hash │ ∅ │ ∅ │ ∅ │ ∅ │ └─────┴───────────────┴─────────────┴──────────────────────────┴─────────┴────────────┴──────────────────────────┴────────────────────┴─────────────────┴──────────────────────────┴─────────────────────────┴──────────────────┘ (2 rows) ┌──────┬──────────────┬──────────────────────┬─────────────────────┐ │ id │ dimension_id │ range_start │ range_end │ ├──────┼──────────────┼──────────────────────┼─────────────────────┤ │ 2242 │ 109 │ 1717200000000000 │ 1717632000000000 │ │ 851 │ 109 │ 1685577600000000 │ 1686182400000000 │ │ 904 │ 109 │ 1686182400000000 │ 1686787200000000 │ │ 950 │ 109 │ 1686787200000000 │ 1687392000000000 │ │ 985 │ 109 │ 1687392000000000 │ 1687996800000000 │ │ 1006 │ 109 │ 1687996800000000 │ 1688601600000000 │ │ 1024 │ 109 │ 1688601600000000 │ 1689206400000000 │ │ 1042 │ 109 │ 1689206400000000 │ 1689552000000000 │ │ 1043 │ 109 │ 1689552000000000 │ 1689984000000000 │ │ 1044 │ 109 │ 1689984000000000 │ 1690416000000000 │ │ 1094 │ 109 │ 1690416000000000 │ 1690848000000000 │ │ 1127 │ 109 │ 1690848000000000 │ 1691280000000000 │ │ 1145 │ 109 │ 1691280000000000 │ 1691712000000000 │ │ 1146 │ 109 │ 1691712000000000 │ 1692144000000000 │ │ 1164 │ 109 │ 1692144000000000 │ 1692576000000000 │ │ 1197 │ 109 │ 1692576000000000 │ 1693008000000000 │ │ 1215 │ 109 │ 1693008000000000 │ 1693440000000000 │ │ 1248 │ 109 │ 1693440000000000 │ 1693872000000000 │ │ 1269 │ 109 │ 1693872000000000 │ 1694304000000000 │ │ 1270 │ 109 │ 1694304000000000 │ 1694736000000000 │ │ 1288 │ 109 │ 1694736000000000 │ 1695168000000000 │ │ 1289 │ 109 │ 1695168000000000 │ 1695600000000000 │ │ 1307 │ 109 │ 1695600000000000 │ 1696032000000000 │ │ 1308 │ 109 │ 1696032000000000 │ 1696464000000000 │ │ 1358 │ 109 │ 1696464000000000 │ 1696896000000000 │ │ 1427 │ 109 │ 1696896000000000 │ 1697328000000000 │ │ 1445 │ 109 │ 1697328000000000 │ 1697760000000000 │ │ 1446 │ 109 │ 1697760000000000 │ 1698192000000000 │ │ 1495 │ 109 │ 1698192000000000 │ 1698624000000000 │ │ 1528 │ 109 │ 1698624000000000 │ 1699056000000000 │ │ 1611 │ 109 │ 1699056000000000 │ 1699488000000000 │ │ 1612 │ 109 │ 1699488000000000 │ 1699920000000000 │ │ 1633 │ 109 │ 1699920000000000 │ 1700352000000000 │ │ 1634 │ 109 │ 1700352000000000 │ 1700784000000000 │ │ 1684 │ 109 │ 1700784000000000 │ 1701216000000000 │ │ 1685 │ 109 │ 1701216000000000 │ 1701648000000000 │ │ 1734 │ 109 │ 1701648000000000 │ 1702080000000000 │ │ 1735 │ 109 │ 1702080000000000 │ 1702512000000000 │ │ 1753 │ 109 │ 1702512000000000 │ 1702944000000000 │ │ 1754 │ 109 │ 1702944000000000 │ 1703376000000000 │ │ 1771 │ 109 │ 1703376000000000 │ 1703808000000000 │ │ 1772 │ 109 │ 1703808000000000 │ 1704240000000000 │ │ 1791 │ 109 │ 1704240000000000 │ 1704672000000000 │ │ 1792 │ 109 │ 1704672000000000 │ 1705104000000000 │ │ 1810 │ 109 │ 1705104000000000 │ 1705536000000000 │ │ 1811 │ 109 │ 1705536000000000 │ 1705968000000000 │ │ 1831 │ 109 │ 1705968000000000 │ 1706400000000000 │ │ 1832 │ 109 │ 1706400000000000 │ 1706832000000000 │ │ 1849 │ 109 │ 1706832000000000 │ 1707264000000000 │ │ 1850 │ 109 │ 1707264000000000 │ 1707696000000000 │ │ 1867 │ 109 │ 1707696000000000 │ 1708128000000000 │ │ 1869 │ 109 │ 1708128000000000 │ 1708560000000000 │ │ 1886 │ 109 │ 1708560000000000 │ 1708992000000000 │ │ 1887 │ 109 │ 1708992000000000 │ 1709424000000000 │ │ 1905 │ 109 │ 1709424000000000 │ 1709856000000000 │ │ 1938 │ 109 │ 1709856000000000 │ 1710288000000000 │ │ 1956 │ 109 │ 1710288000000000 │ 1710720000000000 │ │ 1957 │ 109 │ 1710720000000000 │ 1711152000000000 │ │ 1975 │ 109 │ 1711152000000000 │ 1711584000000000 │ │ 1976 │ 109 │ 1711584000000000 │ 1712016000000000 │ │ 1997 │ 109 │ 1712016000000000 │ 1712448000000000 │ │ 2030 │ 109 │ 1712448000000000 │ 1712880000000000 │ │ 2048 │ 109 │ 1712880000000000 │ 1713312000000000 │ │ 2081 │ 109 │ 1713312000000000 │ 1713744000000000 │ │ 2099 │ 109 │ 1713744000000000 │ 1714176000000000 │ │ 2100 │ 109 │ 1714176000000000 │ 1714608000000000 │ │ 2150 │ 109 │ 1714608000000000 │ 1715040000000000 │ │ 2151 │ 109 │ 1715040000000000 │ 1715472000000000 │ │ 2201 │ 109 │ 1715472000000000 │ 1715904000000000 │ │ 2202 │ 109 │ 1715904000000000 │ 1716336000000000 │ │ 2220 │ 109 │ 1716336000000000 │ 1716768000000000 │ │ 2221 │ 109 │ 1716768000000000 │ 1717200000000000 │ │ 2239 │ 110 │ 715827882 │ 1431655764 │ │ 2240 │ 110 │ -9223372036854775808 │ 715827882 │ │ 2241 │ 110 │ 1431655764 │ 9223372036854775807 │ └──────┴──────────────┴──────────────────────┴─────────────────────┘ (75 rows) ┌──────────┬────────────────────┬─────────────────┬────────────────────────────┐ │ chunk_id │ dimension_slice_id │ constraint_name │ hypertable_constraint_name │ ├──────────┼────────────────────┼─────────────────┼────────────────────────────┤ │ 4254 │ 2242 │ constraint_2242 │ ∅ │ │ 4254 │ 2240 │ constraint_2240 │ ∅ │ │ 4255 │ 2242 │ constraint_2242 │ ∅ │ │ 4255 │ 2241 │ constraint_2241 │ ∅ │ │ 4256 │ 2242 │ constraint_2242 │ ∅ │ │ 4256 │ 2239 │ constraint_2239 │ ∅ │ │ 403 │ 291 │ constraint_291 │ ∅ │ │ 404 │ 292 │ constraint_292 │ ∅ │ │ 405 │ 293 │ constraint_293 │ ∅ │ │ 406 │ 294 │ constraint_294 │ ∅ │ │ 407 │ 295 │ constraint_295 │ ∅ │ │ 408 │ 296 │ constraint_296 │ ∅ │ │ 409 │ 297 │ constraint_297 │ ∅ │ │ 410 │ 298 │ constraint_298 │ ∅ │ │ 431 │ 310 │ constraint_310 │ ∅ │ │ 1239 │ 528 │ constraint_528 │ ∅ │ │ 1240 │ 529 │ constraint_529 │ ∅ │ │ 1241 │ 530 │ constraint_530 │ ∅ │ │ 1242 │ 531 │ constraint_531 │ ∅ │ │ 1243 │ 532 │ constraint_532 │ ∅ │ │ 1244 │ 533 │ constraint_533 │ ∅ │ │ 1245 │ 534 │ constraint_534 │ ∅ │ │ 1246 │ 535 │ constraint_535 │ ∅ │ │ 1247 │ 536 │ constraint_536 │ ∅ │ │ 1248 │ 537 │ constraint_537 │ ∅ │ │ 1249 │ 538 │ constraint_538 │ ∅ │ │ 1250 │ 539 │ constraint_539 │ ∅ │ │ 1301 │ 582 │ constraint_582 │ ∅ │ │ 1302 │ 583 │ constraint_583 │ ∅ │ │ 1303 │ 584 │ constraint_584 │ ∅ │ │ 1304 │ 585 │ constraint_585 │ ∅ │ │ 1305 │ 586 │ constraint_586 │ ∅ │ │ 1308 │ 589 │ constraint_589 │ ∅ │ │ 1309 │ 590 │ constraint_590 │ ∅ │ │ 1310 │ 591 │ constraint_591 │ ∅ │ │ 1313 │ 594 │ constraint_594 │ ∅ │ │ 1314 │ 595 │ constraint_595 │ ∅ │ │ 1316 │ 597 │ constraint_597 │ ∅ │ │ 1317 │ 598 │ constraint_598 │ ∅ │ │ 1318 │ 599 │ constraint_599 │ ∅ │ │ 1319 │ 600 │ constraint_600 │ ∅ │ │ 1320 │ 601 │ constraint_601 │ ∅ │ │ 1321 │ 602 │ constraint_602 │ ∅ │ │ 1322 │ 603 │ constraint_603 │ ∅ │ │ 1323 │ 604 │ constraint_604 │ ∅ │ │ 1324 │ 605 │ constraint_605 │ ∅ │ │ 1325 │ 606 │ constraint_606 │ ∅ │ │ 1326 │ 607 │ constraint_607 │ ∅ │ │ 1327 │ 608 │ constraint_608 │ ∅ │ │ 1328 │ 609 │ constraint_609 │ ∅ │ │ 1329 │ 610 │ constraint_610 │ ∅ │ │ 1342 │ 611 │ constraint_611 │ ∅ │ │ 1343 │ 612 │ constraint_612 │ ∅ │ │ 1344 │ 613 │ constraint_613 │ ∅ │ │ 1345 │ 614 │ constraint_614 │ ∅ │ │ 1350 │ 615 │ constraint_615 │ ∅ │ │ 1351 │ 616 │ constraint_616 │ ∅ │ │ 1356 │ 617 │ constraint_617 │ ∅ │ │ 1404 │ 645 │ constraint_645 │ ∅ │ │ 1406 │ 647 │ constraint_647 │ ∅ │ │ 1408 │ 649 │ constraint_649 │ ∅ │ │ 1409 │ 650 │ constraint_650 │ ∅ │ │ 1407 │ 648 │ constraint_648 │ ∅ │ │ 1410 │ 651 │ constraint_651 │ ∅ │ │ 1411 │ 652 │ constraint_652 │ ∅ │ │ 1412 │ 653 │ constraint_653 │ ∅ │ │ 1414 │ 655 │ constraint_655 │ ∅ │ │ 1415 │ 656 │ constraint_656 │ ∅ │ │ 1416 │ 657 │ constraint_657 │ ∅ │ │ 1467 │ 670 │ constraint_670 │ ∅ │ │ 1468 │ 671 │ constraint_671 │ ∅ │ │ 1469 │ 672 │ constraint_672 │ ∅ │ │ 1493 │ 674 │ constraint_674 │ ∅ │ │ 1494 │ 675 │ constraint_675 │ ∅ │ │ 1495 │ 676 │ constraint_676 │ ∅ │ │ 1496 │ 677 │ constraint_677 │ ∅ │ │ 1497 │ 678 │ constraint_678 │ ∅ │ │ 1498 │ 679 │ constraint_679 │ ∅ │ │ 1500 │ 681 │ constraint_681 │ ∅ │ │ 1501 │ 682 │ constraint_682 │ ∅ │ │ 1503 │ 684 │ constraint_684 │ ∅ │ │ 1504 │ 685 │ constraint_685 │ ∅ │ │ 1505 │ 686 │ constraint_686 │ ∅ │ │ 1513 │ 691 │ constraint_691 │ ∅ │ │ 1514 │ 692 │ constraint_692 │ ∅ │ │ 1536 │ 695 │ constraint_695 │ ∅ │ │ 1546 │ 697 │ constraint_697 │ ∅ │ │ 1547 │ 698 │ constraint_698 │ ∅ │ │ 1551 │ 700 │ constraint_700 │ ∅ │ │ 1552 │ 701 │ constraint_701 │ ∅ │ │ 1553 │ 702 │ constraint_702 │ ∅ │ │ 1562 │ 703 │ constraint_703 │ ∅ │ │ 1564 │ 705 │ constraint_705 │ ∅ │ │ 1565 │ 706 │ constraint_706 │ ∅ │ │ 1566 │ 707 │ constraint_707 │ ∅ │ │ 1567 │ 708 │ constraint_708 │ ∅ │ │ 1568 │ 709 │ constraint_709 │ ∅ │ │ 1569 │ 710 │ constraint_710 │ ∅ │ │ 1570 │ 711 │ constraint_711 │ ∅ │ │ 1571 │ 712 │ constraint_712 │ ∅ │ │ 1572 │ 713 │ constraint_713 │ ∅ │ │ 1573 │ 714 │ constraint_714 │ ∅ │ │ 1576 │ 717 │ constraint_717 │ ∅ │ │ 1595 │ 719 │ constraint_719 │ ∅ │ │ 1596 │ 720 │ constraint_720 │ ∅ │ │ 1597 │ 721 │ constraint_721 │ ∅ │ │ 1598 │ 722 │ constraint_722 │ ∅ │ │ 1599 │ 723 │ constraint_723 │ ∅ │ │ 1600 │ 724 │ constraint_724 │ ∅ │ │ 1601 │ 725 │ constraint_725 │ ∅ │ │ 1602 │ 726 │ constraint_726 │ ∅ │ │ 1603 │ 727 │ constraint_727 │ ∅ │ │ 1604 │ 728 │ constraint_728 │ ∅ │ │ 1615 │ 729 │ constraint_729 │ ∅ │ │ 1620 │ 731 │ constraint_731 │ ∅ │ │ 1621 │ 732 │ constraint_732 │ ∅ │ │ 1622 │ 733 │ constraint_733 │ ∅ │ │ 1623 │ 734 │ constraint_734 │ ∅ │ │ 1624 │ 735 │ constraint_735 │ ∅ │ │ 1625 │ 736 │ constraint_736 │ ∅ │ │ 1626 │ 737 │ constraint_737 │ ∅ │ │ 1627 │ 738 │ constraint_738 │ ∅ │ │ 1628 │ 739 │ constraint_739 │ ∅ │ │ 1629 │ 740 │ constraint_740 │ ∅ │ │ 1630 │ 741 │ constraint_741 │ ∅ │ │ 1631 │ 742 │ constraint_742 │ ∅ │ │ 1683 │ 779 │ constraint_779 │ ∅ │ │ 1684 │ 780 │ constraint_780 │ ∅ │ │ 1687 │ 783 │ constraint_783 │ ∅ │ │ 1688 │ 784 │ constraint_784 │ ∅ │ │ 1689 │ 785 │ constraint_785 │ ∅ │ │ 1690 │ 786 │ constraint_786 │ ∅ │ │ 1691 │ 787 │ constraint_787 │ ∅ │ │ 1692 │ 788 │ constraint_788 │ ∅ │ │ 1693 │ 789 │ constraint_789 │ ∅ │ │ 1696 │ 792 │ constraint_792 │ ∅ │ │ 1697 │ 793 │ constraint_793 │ ∅ │ │ 1699 │ 795 │ constraint_795 │ ∅ │ │ 1739 │ 813 │ constraint_813 │ ∅ │ │ 1760 │ 818 │ constraint_818 │ ∅ │ │ 1793 │ 851 │ constraint_851 │ ∅ │ │ 1794 │ 851 │ constraint_851 │ ∅ │ │ 1795 │ 851 │ constraint_851 │ ∅ │ │ 1799 │ 852 │ constraint_852 │ ∅ │ │ 1832 │ 885 │ constraint_885 │ ∅ │ │ 1833 │ 886 │ constraint_886 │ ∅ │ │ 1834 │ 887 │ constraint_887 │ ∅ │ │ 1835 │ 888 │ constraint_888 │ ∅ │ │ 1837 │ 890 │ constraint_890 │ ∅ │ │ 1836 │ 889 │ constraint_889 │ ∅ │ │ 1838 │ 891 │ constraint_891 │ ∅ │ │ 1839 │ 892 │ constraint_892 │ ∅ │ │ 1841 │ 894 │ constraint_894 │ ∅ │ │ 1840 │ 893 │ constraint_893 │ ∅ │ │ 1842 │ 895 │ constraint_895 │ ∅ │ │ 1843 │ 896 │ constraint_896 │ ∅ │ │ 1844 │ 897 │ constraint_897 │ ∅ │ │ 1845 │ 898 │ constraint_898 │ ∅ │ │ 1846 │ 899 │ constraint_899 │ ∅ │ │ 1847 │ 900 │ constraint_900 │ ∅ │ │ 1848 │ 901 │ constraint_901 │ ∅ │ │ 1849 │ 902 │ constraint_902 │ ∅ │ │ 1850 │ 903 │ constraint_903 │ ∅ │ │ 1868 │ 904 │ constraint_904 │ ∅ │ │ 1869 │ 904 │ constraint_904 │ ∅ │ │ 1870 │ 904 │ constraint_904 │ ∅ │ │ 1878 │ 907 │ constraint_907 │ ∅ │ │ 1876 │ 905 │ constraint_905 │ ∅ │ │ 1877 │ 906 │ constraint_906 │ ∅ │ │ 1879 │ 908 │ constraint_908 │ ∅ │ │ 1880 │ 909 │ constraint_909 │ ∅ │ │ 1881 │ 910 │ constraint_910 │ ∅ │ │ 1882 │ 911 │ constraint_911 │ ∅ │ │ 1883 │ 912 │ constraint_912 │ ∅ │ │ 1884 │ 913 │ constraint_913 │ ∅ │ │ 1885 │ 914 │ constraint_914 │ ∅ │ │ 1886 │ 915 │ constraint_915 │ ∅ │ │ 1887 │ 916 │ constraint_916 │ ∅ │ │ 1888 │ 918 │ constraint_918 │ ∅ │ │ 1890 │ 919 │ constraint_919 │ ∅ │ │ 1889 │ 917 │ constraint_917 │ ∅ │ │ 1891 │ 920 │ constraint_920 │ ∅ │ │ 1892 │ 921 │ constraint_921 │ ∅ │ │ 1921 │ 950 │ constraint_950 │ ∅ │ │ 1922 │ 950 │ constraint_950 │ ∅ │ │ 1923 │ 950 │ constraint_950 │ ∅ │ │ 1974 │ 983 │ constraint_983 │ ∅ │ │ 1976 │ 984 │ constraint_984 │ ∅ │ │ 1978 │ 985 │ constraint_985 │ ∅ │ │ 1979 │ 985 │ constraint_985 │ ∅ │ │ 1980 │ 985 │ constraint_985 │ ∅ │ │ 1982 │ 986 │ constraint_986 │ ∅ │ │ 1983 │ 987 │ constraint_987 │ ∅ │ │ 1984 │ 988 │ constraint_988 │ ∅ │ │ 1985 │ 989 │ constraint_989 │ ∅ │ │ 1986 │ 990 │ constraint_990 │ ∅ │ │ 1987 │ 991 │ constraint_991 │ ∅ │ │ 1989 │ 992 │ constraint_992 │ ∅ │ │ 1988 │ 993 │ constraint_993 │ ∅ │ │ 1991 │ 994 │ constraint_994 │ ∅ │ │ 1990 │ 995 │ constraint_995 │ ∅ │ │ 1992 │ 996 │ constraint_996 │ ∅ │ │ 1993 │ 997 │ constraint_997 │ ∅ │ │ 1994 │ 998 │ constraint_998 │ ∅ │ │ 1995 │ 999 │ constraint_999 │ ∅ │ │ 1996 │ 1000 │ constraint_1000 │ ∅ │ │ 1997 │ 1001 │ constraint_1001 │ ∅ │ │ 1998 │ 1002 │ constraint_1002 │ ∅ │ │ 1999 │ 1003 │ constraint_1003 │ ∅ │ │ 2000 │ 1004 │ constraint_1004 │ ∅ │ │ 2021 │ 1005 │ constraint_1005 │ ∅ │ │ 2022 │ 1006 │ constraint_1006 │ ∅ │ │ 2023 │ 1006 │ constraint_1006 │ ∅ │ │ 2024 │ 1006 │ constraint_1006 │ ∅ │ │ 2032 │ 1007 │ constraint_1007 │ ∅ │ │ 2033 │ 1008 │ constraint_1008 │ ∅ │ │ 2034 │ 1009 │ constraint_1009 │ ∅ │ │ 2035 │ 1010 │ constraint_1010 │ ∅ │ │ 2036 │ 1011 │ constraint_1011 │ ∅ │ │ 2037 │ 1012 │ constraint_1012 │ ∅ │ │ 2038 │ 1013 │ constraint_1013 │ ∅ │ │ 2039 │ 1014 │ constraint_1014 │ ∅ │ │ 2040 │ 1015 │ constraint_1015 │ ∅ │ │ 2041 │ 1016 │ constraint_1016 │ ∅ │ │ 2042 │ 1017 │ constraint_1017 │ ∅ │ │ 2043 │ 1018 │ constraint_1018 │ ∅ │ │ 2044 │ 1019 │ constraint_1019 │ ∅ │ │ 2046 │ 1020 │ constraint_1020 │ ∅ │ │ 2045 │ 1021 │ constraint_1021 │ ∅ │ │ 2047 │ 1022 │ constraint_1022 │ ∅ │ │ 2048 │ 1023 │ constraint_1023 │ ∅ │ │ 2049 │ 1024 │ constraint_1024 │ ∅ │ │ 2050 │ 1024 │ constraint_1024 │ ∅ │ │ 2051 │ 1024 │ constraint_1024 │ ∅ │ │ 2057 │ 1025 │ constraint_1025 │ ∅ │ │ 2058 │ 1026 │ constraint_1026 │ ∅ │ │ 2061 │ 1029 │ constraint_1029 │ ∅ │ │ 2060 │ 1027 │ constraint_1027 │ ∅ │ │ 2059 │ 1028 │ constraint_1028 │ ∅ │ │ 2063 │ 1031 │ constraint_1031 │ ∅ │ │ 2062 │ 1030 │ constraint_1030 │ ∅ │ │ 2064 │ 1032 │ constraint_1032 │ ∅ │ │ 2065 │ 1033 │ constraint_1033 │ ∅ │ │ 2066 │ 1034 │ constraint_1034 │ ∅ │ │ 2067 │ 1035 │ constraint_1035 │ ∅ │ │ 2068 │ 1036 │ constraint_1036 │ ∅ │ │ 2069 │ 1037 │ constraint_1037 │ ∅ │ │ 2070 │ 1038 │ constraint_1038 │ ∅ │ │ 2071 │ 1039 │ constraint_1039 │ ∅ │ │ 2072 │ 1040 │ constraint_1040 │ ∅ │ │ 2073 │ 1041 │ constraint_1041 │ ∅ │ │ 2074 │ 1042 │ constraint_1042 │ ∅ │ │ 2075 │ 1042 │ constraint_1042 │ ∅ │ │ 2076 │ 1042 │ constraint_1042 │ ∅ │ │ 2077 │ 1043 │ constraint_1043 │ ∅ │ │ 2078 │ 1043 │ constraint_1043 │ ∅ │ │ 2079 │ 1043 │ constraint_1043 │ ∅ │ │ 2084 │ 1044 │ constraint_1044 │ ∅ │ │ 2085 │ 1044 │ constraint_1044 │ ∅ │ │ 2086 │ 1044 │ constraint_1044 │ ∅ │ │ 2087 │ 1045 │ constraint_1045 │ ∅ │ │ 2089 │ 1047 │ constraint_1047 │ ∅ │ │ 2088 │ 1046 │ constraint_1046 │ ∅ │ │ 2090 │ 1048 │ constraint_1048 │ ∅ │ │ 2091 │ 1049 │ constraint_1049 │ ∅ │ │ 2092 │ 1050 │ constraint_1050 │ ∅ │ │ 2093 │ 1051 │ constraint_1051 │ ∅ │ │ 2094 │ 1052 │ constraint_1052 │ ∅ │ │ 2095 │ 1053 │ constraint_1053 │ ∅ │ │ 2096 │ 1054 │ constraint_1054 │ ∅ │ │ 2097 │ 1055 │ constraint_1055 │ ∅ │ │ 2098 │ 1056 │ constraint_1056 │ ∅ │ │ 2099 │ 1057 │ constraint_1057 │ ∅ │ │ 2100 │ 1058 │ constraint_1058 │ ∅ │ │ 2101 │ 1059 │ constraint_1059 │ ∅ │ │ 2102 │ 1060 │ constraint_1060 │ ∅ │ │ 2103 │ 1061 │ constraint_1061 │ ∅ │ │ 2192 │ 1094 │ constraint_1094 │ ∅ │ │ 2193 │ 1094 │ constraint_1094 │ ∅ │ │ 2194 │ 1094 │ constraint_1094 │ ∅ │ │ 2228 │ 1127 │ constraint_1127 │ ∅ │ │ 2229 │ 1127 │ constraint_1127 │ ∅ │ │ 2230 │ 1127 │ constraint_1127 │ ∅ │ │ 2231 │ 1128 │ constraint_1128 │ ∅ │ │ 2232 │ 1129 │ constraint_1129 │ ∅ │ │ 2233 │ 1130 │ constraint_1130 │ ∅ │ │ 2234 │ 1131 │ constraint_1131 │ ∅ │ │ 2235 │ 1132 │ constraint_1132 │ ∅ │ │ 2236 │ 1133 │ constraint_1133 │ ∅ │ │ 2237 │ 1134 │ constraint_1134 │ ∅ │ │ 2238 │ 1135 │ constraint_1135 │ ∅ │ │ 2239 │ 1136 │ constraint_1136 │ ∅ │ │ 2240 │ 1137 │ constraint_1137 │ ∅ │ │ 2241 │ 1138 │ constraint_1138 │ ∅ │ │ 2242 │ 1139 │ constraint_1139 │ ∅ │ │ 2243 │ 1140 │ constraint_1140 │ ∅ │ │ 2244 │ 1141 │ constraint_1141 │ ∅ │ │ 2245 │ 1142 │ constraint_1142 │ ∅ │ │ 2246 │ 1143 │ constraint_1143 │ ∅ │ │ 2247 │ 1144 │ constraint_1144 │ ∅ │ │ 2251 │ 1145 │ constraint_1145 │ ∅ │ │ 2252 │ 1145 │ constraint_1145 │ ∅ │ │ 2253 │ 1145 │ constraint_1145 │ ∅ │ │ 2257 │ 1146 │ constraint_1146 │ ∅ │ │ 2258 │ 1146 │ constraint_1146 │ ∅ │ │ 2259 │ 1146 │ constraint_1146 │ ∅ │ │ 2260 │ 1147 │ constraint_1147 │ ∅ │ │ 2261 │ 1148 │ constraint_1148 │ ∅ │ │ 2262 │ 1149 │ constraint_1149 │ ∅ │ │ 2263 │ 1150 │ constraint_1150 │ ∅ │ │ 2264 │ 1151 │ constraint_1151 │ ∅ │ │ 2265 │ 1152 │ constraint_1152 │ ∅ │ │ 2266 │ 1153 │ constraint_1153 │ ∅ │ │ 2267 │ 1154 │ constraint_1154 │ ∅ │ │ 2268 │ 1155 │ constraint_1155 │ ∅ │ │ 2269 │ 1156 │ constraint_1156 │ ∅ │ │ 2270 │ 1157 │ constraint_1157 │ ∅ │ │ 2271 │ 1158 │ constraint_1158 │ ∅ │ │ 2272 │ 1159 │ constraint_1159 │ ∅ │ │ 2273 │ 1160 │ constraint_1160 │ ∅ │ │ 2274 │ 1161 │ constraint_1161 │ ∅ │ │ 2275 │ 1162 │ constraint_1162 │ ∅ │ │ 2276 │ 1163 │ constraint_1163 │ ∅ │ │ 2280 │ 1164 │ constraint_1164 │ ∅ │ │ 2281 │ 1164 │ constraint_1164 │ ∅ │ │ 2282 │ 1164 │ constraint_1164 │ ∅ │ │ 2322 │ 1197 │ constraint_1197 │ ∅ │ │ 2323 │ 1197 │ constraint_1197 │ ∅ │ │ 2324 │ 1197 │ constraint_1197 │ ∅ │ │ 2325 │ 1198 │ constraint_1198 │ ∅ │ │ 2326 │ 1199 │ constraint_1199 │ ∅ │ │ 2327 │ 1200 │ constraint_1200 │ ∅ │ │ 2328 │ 1201 │ constraint_1201 │ ∅ │ │ 2329 │ 1202 │ constraint_1202 │ ∅ │ │ 2330 │ 1203 │ constraint_1203 │ ∅ │ │ 2332 │ 1204 │ constraint_1204 │ ∅ │ │ 2333 │ 1205 │ constraint_1205 │ ∅ │ │ 2334 │ 1206 │ constraint_1206 │ ∅ │ │ 2335 │ 1207 │ constraint_1207 │ ∅ │ │ 2336 │ 1208 │ constraint_1208 │ ∅ │ │ 2337 │ 1209 │ constraint_1209 │ ∅ │ │ 2338 │ 1210 │ constraint_1210 │ ∅ │ │ 2341 │ 1213 │ constraint_1213 │ ∅ │ │ 2339 │ 1212 │ constraint_1212 │ ∅ │ │ 2340 │ 1211 │ constraint_1211 │ ∅ │ │ 2342 │ 1214 │ constraint_1214 │ ∅ │ │ 2397 │ 1215 │ constraint_1215 │ ∅ │ │ 2398 │ 1215 │ constraint_1215 │ ∅ │ │ 2399 │ 1215 │ constraint_1215 │ ∅ │ │ 2430 │ 1248 │ constraint_1248 │ ∅ │ │ 2431 │ 1248 │ constraint_1248 │ ∅ │ │ 2432 │ 1248 │ constraint_1248 │ ∅ │ │ 2433 │ 1249 │ constraint_1249 │ ∅ │ │ 2434 │ 1250 │ constraint_1250 │ ∅ │ │ 2435 │ 1251 │ constraint_1251 │ ∅ │ │ 2436 │ 1252 │ constraint_1252 │ ∅ │ │ 2437 │ 1253 │ constraint_1253 │ ∅ │ │ 2438 │ 1254 │ constraint_1254 │ ∅ │ │ 2439 │ 1255 │ constraint_1255 │ ∅ │ │ 2440 │ 1256 │ constraint_1256 │ ∅ │ │ 2441 │ 1257 │ constraint_1257 │ ∅ │ │ 2442 │ 1258 │ constraint_1258 │ ∅ │ │ 2443 │ 1259 │ constraint_1259 │ ∅ │ │ 2444 │ 1260 │ constraint_1260 │ ∅ │ │ 2445 │ 1261 │ constraint_1261 │ ∅ │ │ 2446 │ 1262 │ constraint_1262 │ ∅ │ │ 2447 │ 1263 │ constraint_1263 │ ∅ │ │ 2448 │ 1264 │ constraint_1264 │ ∅ │ │ 2449 │ 1265 │ constraint_1265 │ ∅ │ │ 2450 │ 1266 │ constraint_1266 │ ∅ │ │ 2451 │ 1267 │ constraint_1267 │ ∅ │ │ 2455 │ 1268 │ constraint_1268 │ ∅ │ │ 2459 │ 1269 │ constraint_1269 │ ∅ │ │ 2460 │ 1269 │ constraint_1269 │ ∅ │ │ 2461 │ 1269 │ constraint_1269 │ ∅ │ │ 2465 │ 1270 │ constraint_1270 │ ∅ │ │ 2466 │ 1270 │ constraint_1270 │ ∅ │ │ 2467 │ 1270 │ constraint_1270 │ ∅ │ │ 2468 │ 1271 │ constraint_1271 │ ∅ │ │ 2469 │ 1272 │ constraint_1272 │ ∅ │ │ 2470 │ 1273 │ constraint_1273 │ ∅ │ │ 2471 │ 1274 │ constraint_1274 │ ∅ │ │ 2472 │ 1275 │ constraint_1275 │ ∅ │ │ 2473 │ 1276 │ constraint_1276 │ ∅ │ │ 2474 │ 1277 │ constraint_1277 │ ∅ │ │ 2475 │ 1278 │ constraint_1278 │ ∅ │ │ 2476 │ 1279 │ constraint_1279 │ ∅ │ │ 2477 │ 1280 │ constraint_1280 │ ∅ │ │ 2478 │ 1281 │ constraint_1281 │ ∅ │ │ 2479 │ 1282 │ constraint_1282 │ ∅ │ │ 2480 │ 1283 │ constraint_1283 │ ∅ │ │ 2481 │ 1284 │ constraint_1284 │ ∅ │ │ 2482 │ 1285 │ constraint_1285 │ ∅ │ │ 2483 │ 1286 │ constraint_1286 │ ∅ │ │ 2484 │ 1287 │ constraint_1287 │ ∅ │ │ 2488 │ 1288 │ constraint_1288 │ ∅ │ │ 2489 │ 1288 │ constraint_1288 │ ∅ │ │ 2490 │ 1288 │ constraint_1288 │ ∅ │ │ 2494 │ 1289 │ constraint_1289 │ ∅ │ │ 2495 │ 1289 │ constraint_1289 │ ∅ │ │ 2496 │ 1289 │ constraint_1289 │ ∅ │ │ 2497 │ 1290 │ constraint_1290 │ ∅ │ │ 2498 │ 1291 │ constraint_1291 │ ∅ │ │ 2499 │ 1292 │ constraint_1292 │ ∅ │ │ 2500 │ 1293 │ constraint_1293 │ ∅ │ │ 2501 │ 1294 │ constraint_1294 │ ∅ │ │ 2502 │ 1295 │ constraint_1295 │ ∅ │ │ 2503 │ 1296 │ constraint_1296 │ ∅ │ │ 2504 │ 1297 │ constraint_1297 │ ∅ │ │ 2505 │ 1298 │ constraint_1298 │ ∅ │ │ 2506 │ 1299 │ constraint_1299 │ ∅ │ │ 2507 │ 1300 │ constraint_1300 │ ∅ │ │ 2508 │ 1301 │ constraint_1301 │ ∅ │ │ 2509 │ 1302 │ constraint_1302 │ ∅ │ │ 2510 │ 1303 │ constraint_1303 │ ∅ │ │ 2512 │ 1305 │ constraint_1305 │ ∅ │ │ 2511 │ 1304 │ constraint_1304 │ ∅ │ │ 2513 │ 1306 │ constraint_1306 │ ∅ │ │ 2518 │ 1307 │ constraint_1307 │ ∅ │ │ 2519 │ 1307 │ constraint_1307 │ ∅ │ │ 2520 │ 1307 │ constraint_1307 │ ∅ │ │ 2576 │ 1308 │ constraint_1308 │ ∅ │ │ 2577 │ 1308 │ constraint_1308 │ ∅ │ │ 2578 │ 1308 │ constraint_1308 │ ∅ │ │ 2579 │ 1309 │ constraint_1309 │ ∅ │ │ 2580 │ 1310 │ constraint_1310 │ ∅ │ │ 2581 │ 1311 │ constraint_1311 │ ∅ │ │ 2582 │ 1312 │ constraint_1312 │ ∅ │ │ 2583 │ 1313 │ constraint_1313 │ ∅ │ │ 2584 │ 1314 │ constraint_1314 │ ∅ │ │ 2585 │ 1315 │ constraint_1315 │ ∅ │ │ 2586 │ 1316 │ constraint_1316 │ ∅ │ │ 2587 │ 1317 │ constraint_1317 │ ∅ │ │ 2588 │ 1318 │ constraint_1318 │ ∅ │ │ 2589 │ 1319 │ constraint_1319 │ ∅ │ │ 2590 │ 1320 │ constraint_1320 │ ∅ │ │ 2591 │ 1321 │ constraint_1321 │ ∅ │ │ 2592 │ 1322 │ constraint_1322 │ ∅ │ │ 2593 │ 1323 │ constraint_1323 │ ∅ │ │ 2594 │ 1324 │ constraint_1324 │ ∅ │ │ 2595 │ 1325 │ constraint_1325 │ ∅ │ │ 2628 │ 1358 │ constraint_1358 │ ∅ │ │ 2629 │ 1358 │ constraint_1358 │ ∅ │ │ 2630 │ 1358 │ constraint_1358 │ ∅ │ │ 2703 │ 1394 │ constraint_1394 │ ∅ │ │ 2757 │ 1427 │ constraint_1427 │ ∅ │ │ 2758 │ 1427 │ constraint_1427 │ ∅ │ │ 2759 │ 1427 │ constraint_1427 │ ∅ │ │ 2760 │ 1428 │ constraint_1428 │ ∅ │ │ 2761 │ 1429 │ constraint_1429 │ ∅ │ │ 2762 │ 1430 │ constraint_1430 │ ∅ │ │ 2763 │ 1431 │ constraint_1431 │ ∅ │ │ 2764 │ 1432 │ constraint_1432 │ ∅ │ │ 2765 │ 1433 │ constraint_1433 │ ∅ │ │ 2766 │ 1434 │ constraint_1434 │ ∅ │ │ 2767 │ 1435 │ constraint_1435 │ ∅ │ │ 2768 │ 1436 │ constraint_1436 │ ∅ │ │ 2769 │ 1437 │ constraint_1437 │ ∅ │ │ 2770 │ 1438 │ constraint_1438 │ ∅ │ │ 2771 │ 1439 │ constraint_1439 │ ∅ │ │ 2774 │ 1442 │ constraint_1442 │ ∅ │ │ 2772 │ 1440 │ constraint_1440 │ ∅ │ │ 2773 │ 1441 │ constraint_1441 │ ∅ │ │ 2775 │ 1443 │ constraint_1443 │ ∅ │ │ 2776 │ 1444 │ constraint_1444 │ ∅ │ │ 2780 │ 1445 │ constraint_1445 │ ∅ │ │ 2781 │ 1445 │ constraint_1445 │ ∅ │ │ 2782 │ 1445 │ constraint_1445 │ ∅ │ │ 2786 │ 1446 │ constraint_1446 │ ∅ │ │ 2787 │ 1446 │ constraint_1446 │ ∅ │ │ 2788 │ 1446 │ constraint_1446 │ ∅ │ │ 2789 │ 1447 │ constraint_1447 │ ∅ │ │ 2790 │ 1448 │ constraint_1448 │ ∅ │ │ 2791 │ 1449 │ constraint_1449 │ ∅ │ │ 2792 │ 1450 │ constraint_1450 │ ∅ │ │ 2793 │ 1451 │ constraint_1451 │ ∅ │ │ 2794 │ 1452 │ constraint_1452 │ ∅ │ │ 2795 │ 1453 │ constraint_1453 │ ∅ │ │ 2796 │ 1454 │ constraint_1454 │ ∅ │ │ 2797 │ 1455 │ constraint_1455 │ ∅ │ │ 2798 │ 1456 │ constraint_1456 │ ∅ │ │ 2799 │ 1457 │ constraint_1457 │ ∅ │ │ 2800 │ 1458 │ constraint_1458 │ ∅ │ │ 2801 │ 1459 │ constraint_1459 │ ∅ │ │ 2802 │ 1460 │ constraint_1460 │ ∅ │ │ 2803 │ 1461 │ constraint_1461 │ ∅ │ │ 2804 │ 1462 │ constraint_1462 │ ∅ │ │ 2805 │ 1463 │ constraint_1463 │ ∅ │ │ 2840 │ 1495 │ constraint_1495 │ ∅ │ │ 2841 │ 1495 │ constraint_1495 │ ∅ │ │ 2842 │ 1495 │ constraint_1495 │ ∅ │ │ 2912 │ 1528 │ constraint_1528 │ ∅ │ │ 2913 │ 1528 │ constraint_1528 │ ∅ │ │ 2914 │ 1528 │ constraint_1528 │ ∅ │ │ 2915 │ 1529 │ constraint_1529 │ ∅ │ │ 2916 │ 1530 │ constraint_1530 │ ∅ │ │ 2917 │ 1531 │ constraint_1531 │ ∅ │ │ 2918 │ 1532 │ constraint_1532 │ ∅ │ │ 2919 │ 1533 │ constraint_1533 │ ∅ │ │ 2953 │ 1568 │ constraint_1568 │ ∅ │ │ 2954 │ 1567 │ constraint_1567 │ ∅ │ │ 2955 │ 1569 │ constraint_1569 │ ∅ │ │ 2956 │ 1570 │ constraint_1570 │ ∅ │ │ 2957 │ 1571 │ constraint_1571 │ ∅ │ │ 2958 │ 1572 │ constraint_1572 │ ∅ │ │ 2959 │ 1573 │ constraint_1573 │ ∅ │ │ 2960 │ 1574 │ constraint_1574 │ ∅ │ │ 2961 │ 1575 │ constraint_1575 │ ∅ │ │ 2962 │ 1576 │ constraint_1576 │ ∅ │ │ 2963 │ 1577 │ constraint_1577 │ ∅ │ │ 2964 │ 1578 │ constraint_1578 │ ∅ │ │ 3016 │ 1611 │ constraint_1611 │ ∅ │ │ 3017 │ 1611 │ constraint_1611 │ ∅ │ │ 3018 │ 1611 │ constraint_1611 │ ∅ │ │ 3021 │ 1612 │ constraint_1612 │ ∅ │ │ 3022 │ 1612 │ constraint_1612 │ ∅ │ │ 3023 │ 1612 │ constraint_1612 │ ∅ │ │ 3024 │ 1613 │ constraint_1613 │ ∅ │ │ 3025 │ 1614 │ constraint_1614 │ ∅ │ │ 3026 │ 1615 │ constraint_1615 │ ∅ │ │ 3027 │ 1616 │ constraint_1616 │ ∅ │ │ 3028 │ 1617 │ constraint_1617 │ ∅ │ │ 3029 │ 1618 │ constraint_1618 │ ∅ │ │ 3030 │ 1619 │ constraint_1619 │ ∅ │ │ 3031 │ 1620 │ constraint_1620 │ ∅ │ │ 3032 │ 1621 │ constraint_1621 │ ∅ │ │ 3033 │ 1622 │ constraint_1622 │ ∅ │ │ 3034 │ 1623 │ constraint_1623 │ ∅ │ │ 3035 │ 1624 │ constraint_1624 │ ∅ │ │ 3036 │ 1625 │ constraint_1625 │ ∅ │ │ 3037 │ 1626 │ constraint_1626 │ ∅ │ │ 3038 │ 1627 │ constraint_1627 │ ∅ │ │ 3039 │ 1628 │ constraint_1628 │ ∅ │ │ 3040 │ 1629 │ constraint_1629 │ ∅ │ │ 3041 │ 1630 │ constraint_1630 │ ∅ │ │ 3042 │ 1631 │ constraint_1631 │ ∅ │ │ 3046 │ 1632 │ constraint_1632 │ ∅ │ │ 3050 │ 1633 │ constraint_1633 │ ∅ │ │ 3051 │ 1633 │ constraint_1633 │ ∅ │ │ 3052 │ 1633 │ constraint_1633 │ ∅ │ │ 3056 │ 1634 │ constraint_1634 │ ∅ │ │ 3057 │ 1634 │ constraint_1634 │ ∅ │ │ 3058 │ 1634 │ constraint_1634 │ ∅ │ │ 3059 │ 1635 │ constraint_1635 │ ∅ │ │ 3060 │ 1636 │ constraint_1636 │ ∅ │ │ 3062 │ 1638 │ constraint_1638 │ ∅ │ │ 3061 │ 1637 │ constraint_1637 │ ∅ │ │ 3063 │ 1639 │ constraint_1639 │ ∅ │ │ 3064 │ 1640 │ constraint_1640 │ ∅ │ │ 3065 │ 1641 │ constraint_1641 │ ∅ │ │ 3066 │ 1642 │ constraint_1642 │ ∅ │ │ 3067 │ 1643 │ constraint_1643 │ ∅ │ │ 3068 │ 1644 │ constraint_1644 │ ∅ │ │ 3069 │ 1645 │ constraint_1645 │ ∅ │ │ 3070 │ 1646 │ constraint_1646 │ ∅ │ │ 3071 │ 1647 │ constraint_1647 │ ∅ │ │ 3072 │ 1648 │ constraint_1648 │ ∅ │ │ 3073 │ 1649 │ constraint_1649 │ ∅ │ │ 3074 │ 1650 │ constraint_1650 │ ∅ │ │ 3075 │ 1651 │ constraint_1651 │ ∅ │ │ 3111 │ 1684 │ constraint_1684 │ ∅ │ │ 3112 │ 1684 │ constraint_1684 │ ∅ │ │ 3113 │ 1684 │ constraint_1684 │ ∅ │ │ 3127 │ 1685 │ constraint_1685 │ ∅ │ │ 3128 │ 1685 │ constraint_1685 │ ∅ │ │ 3129 │ 1685 │ constraint_1685 │ ∅ │ │ 3152 │ 1686 │ constraint_1686 │ ∅ │ │ 3154 │ 1687 │ constraint_1687 │ ∅ │ │ 3157 │ 1688 │ constraint_1688 │ ∅ │ │ 3158 │ 1689 │ constraint_1689 │ ∅ │ │ 3159 │ 1690 │ constraint_1690 │ ∅ │ │ 3162 │ 1693 │ constraint_1693 │ ∅ │ │ 3161 │ 1692 │ constraint_1692 │ ∅ │ │ 3160 │ 1691 │ constraint_1691 │ ∅ │ │ 3164 │ 1695 │ constraint_1695 │ ∅ │ │ 3165 │ 1694 │ constraint_1694 │ ∅ │ │ 3166 │ 1696 │ constraint_1696 │ ∅ │ │ 3167 │ 1697 │ constraint_1697 │ ∅ │ │ 3168 │ 1698 │ constraint_1698 │ ∅ │ │ 3170 │ 1700 │ constraint_1700 │ ∅ │ │ 3169 │ 1699 │ constraint_1699 │ ∅ │ │ 3171 │ 1701 │ constraint_1701 │ ∅ │ │ 3209 │ 1734 │ constraint_1734 │ ∅ │ │ 3210 │ 1734 │ constraint_1734 │ ∅ │ │ 3211 │ 1734 │ constraint_1734 │ ∅ │ │ 3215 │ 1735 │ constraint_1735 │ ∅ │ │ 3216 │ 1735 │ constraint_1735 │ ∅ │ │ 3217 │ 1735 │ constraint_1735 │ ∅ │ │ 3218 │ 1737 │ constraint_1737 │ ∅ │ │ 3219 │ 1736 │ constraint_1736 │ ∅ │ │ 3220 │ 1738 │ constraint_1738 │ ∅ │ │ 3221 │ 1739 │ constraint_1739 │ ∅ │ │ 3222 │ 1740 │ constraint_1740 │ ∅ │ │ 3223 │ 1741 │ constraint_1741 │ ∅ │ │ 3224 │ 1742 │ constraint_1742 │ ∅ │ │ 3225 │ 1743 │ constraint_1743 │ ∅ │ │ 3226 │ 1744 │ constraint_1744 │ ∅ │ │ 3227 │ 1745 │ constraint_1745 │ ∅ │ │ 3228 │ 1746 │ constraint_1746 │ ∅ │ │ 3229 │ 1747 │ constraint_1747 │ ∅ │ │ 3230 │ 1748 │ constraint_1748 │ ∅ │ │ 3231 │ 1749 │ constraint_1749 │ ∅ │ │ 3232 │ 1750 │ constraint_1750 │ ∅ │ │ 3233 │ 1751 │ constraint_1751 │ ∅ │ │ 3234 │ 1752 │ constraint_1752 │ ∅ │ │ 3238 │ 1753 │ constraint_1753 │ ∅ │ │ 3239 │ 1753 │ constraint_1753 │ ∅ │ │ 3240 │ 1753 │ constraint_1753 │ ∅ │ │ 3277 │ 1754 │ constraint_1754 │ ∅ │ │ 3278 │ 1754 │ constraint_1754 │ ∅ │ │ 3279 │ 1754 │ constraint_1754 │ ∅ │ │ 3280 │ 1755 │ constraint_1755 │ ∅ │ │ 3281 │ 1756 │ constraint_1756 │ ∅ │ │ 3282 │ 1757 │ constraint_1757 │ ∅ │ │ 3283 │ 1758 │ constraint_1758 │ ∅ │ │ 3284 │ 1759 │ constraint_1759 │ ∅ │ │ 3285 │ 1760 │ constraint_1760 │ ∅ │ │ 3286 │ 1761 │ constraint_1761 │ ∅ │ │ 3287 │ 1762 │ constraint_1762 │ ∅ │ │ 3288 │ 1763 │ constraint_1763 │ ∅ │ │ 3289 │ 1764 │ constraint_1764 │ ∅ │ │ 3290 │ 1765 │ constraint_1765 │ ∅ │ │ 3291 │ 1766 │ constraint_1766 │ ∅ │ │ 3292 │ 1767 │ constraint_1767 │ ∅ │ │ 3293 │ 1768 │ constraint_1768 │ ∅ │ │ 3294 │ 1769 │ constraint_1769 │ ∅ │ │ 3295 │ 1770 │ constraint_1770 │ ∅ │ │ 3299 │ 1771 │ constraint_1771 │ ∅ │ │ 3300 │ 1771 │ constraint_1771 │ ∅ │ │ 3301 │ 1771 │ constraint_1771 │ ∅ │ │ 3302 │ 1772 │ constraint_1772 │ ∅ │ │ 3303 │ 1772 │ constraint_1772 │ ∅ │ │ 3304 │ 1772 │ constraint_1772 │ ∅ │ │ 3307 │ 1773 │ constraint_1773 │ ∅ │ │ 3309 │ 1774 │ constraint_1774 │ ∅ │ │ 3310 │ 1775 │ constraint_1775 │ ∅ │ │ 3311 │ 1776 │ constraint_1776 │ ∅ │ │ 3312 │ 1777 │ constraint_1777 │ ∅ │ │ 3314 │ 1779 │ constraint_1779 │ ∅ │ │ 3313 │ 1778 │ constraint_1778 │ ∅ │ │ 3315 │ 1780 │ constraint_1780 │ ∅ │ │ 3316 │ 1781 │ constraint_1781 │ ∅ │ │ 3317 │ 1782 │ constraint_1782 │ ∅ │ │ 3318 │ 1783 │ constraint_1783 │ ∅ │ │ 3319 │ 1784 │ constraint_1784 │ ∅ │ │ 3320 │ 1785 │ constraint_1785 │ ∅ │ │ 3321 │ 1786 │ constraint_1786 │ ∅ │ │ 3322 │ 1787 │ constraint_1787 │ ∅ │ │ 3323 │ 1788 │ constraint_1788 │ ∅ │ │ 3324 │ 1789 │ constraint_1789 │ ∅ │ │ 3325 │ 1790 │ constraint_1790 │ ∅ │ │ 3331 │ 1791 │ constraint_1791 │ ∅ │ │ 3332 │ 1791 │ constraint_1791 │ ∅ │ │ 3333 │ 1791 │ constraint_1791 │ ∅ │ │ 3371 │ 1792 │ constraint_1792 │ ∅ │ │ 3372 │ 1792 │ constraint_1792 │ ∅ │ │ 3373 │ 1792 │ constraint_1792 │ ∅ │ │ 3374 │ 1793 │ constraint_1793 │ ∅ │ │ 3375 │ 1794 │ constraint_1794 │ ∅ │ │ 3377 │ 1796 │ constraint_1796 │ ∅ │ │ 3376 │ 1795 │ constraint_1795 │ ∅ │ │ 3378 │ 1797 │ constraint_1797 │ ∅ │ │ 3380 │ 1799 │ constraint_1799 │ ∅ │ │ 3379 │ 1798 │ constraint_1798 │ ∅ │ │ 3381 │ 1800 │ constraint_1800 │ ∅ │ │ 3382 │ 1801 │ constraint_1801 │ ∅ │ │ 3383 │ 1802 │ constraint_1802 │ ∅ │ │ 3384 │ 1803 │ constraint_1803 │ ∅ │ │ 3385 │ 1804 │ constraint_1804 │ ∅ │ │ 3386 │ 1805 │ constraint_1805 │ ∅ │ │ 3387 │ 1806 │ constraint_1806 │ ∅ │ │ 3388 │ 1807 │ constraint_1807 │ ∅ │ │ 3389 │ 1808 │ constraint_1808 │ ∅ │ │ 3390 │ 1809 │ constraint_1809 │ ∅ │ │ 3413 │ 1810 │ constraint_1810 │ ∅ │ │ 3414 │ 1810 │ constraint_1810 │ ∅ │ │ 3415 │ 1810 │ constraint_1810 │ ∅ │ │ 3419 │ 1811 │ constraint_1811 │ ∅ │ │ 3420 │ 1811 │ constraint_1811 │ ∅ │ │ 3421 │ 1811 │ constraint_1811 │ ∅ │ │ 3422 │ 1812 │ constraint_1812 │ ∅ │ │ 3424 │ 1814 │ constraint_1814 │ ∅ │ │ 3423 │ 1813 │ constraint_1813 │ ∅ │ │ 3425 │ 1815 │ constraint_1815 │ ∅ │ │ 3426 │ 1816 │ constraint_1816 │ ∅ │ │ 3427 │ 1817 │ constraint_1817 │ ∅ │ │ 3428 │ 1818 │ constraint_1818 │ ∅ │ │ 3429 │ 1819 │ constraint_1819 │ ∅ │ │ 3430 │ 1820 │ constraint_1820 │ ∅ │ │ 3431 │ 1821 │ constraint_1821 │ ∅ │ │ 3432 │ 1822 │ constraint_1822 │ ∅ │ │ 3433 │ 1823 │ constraint_1823 │ ∅ │ │ 3434 │ 1824 │ constraint_1824 │ ∅ │ │ 3435 │ 1825 │ constraint_1825 │ ∅ │ │ 3436 │ 1826 │ constraint_1826 │ ∅ │ │ 3437 │ 1827 │ constraint_1827 │ ∅ │ │ 3438 │ 1828 │ constraint_1828 │ ∅ │ │ 3439 │ 1829 │ constraint_1829 │ ∅ │ │ 3440 │ 1830 │ constraint_1830 │ ∅ │ │ 3444 │ 1831 │ constraint_1831 │ ∅ │ │ 3445 │ 1831 │ constraint_1831 │ ∅ │ │ 3446 │ 1831 │ constraint_1831 │ ∅ │ │ 3452 │ 1832 │ constraint_1832 │ ∅ │ │ 3453 │ 1832 │ constraint_1832 │ ∅ │ │ 3454 │ 1832 │ constraint_1832 │ ∅ │ │ 3455 │ 1833 │ constraint_1833 │ ∅ │ │ 3456 │ 1834 │ constraint_1834 │ ∅ │ │ 3457 │ 1835 │ constraint_1835 │ ∅ │ │ 3458 │ 1836 │ constraint_1836 │ ∅ │ │ 3459 │ 1837 │ constraint_1837 │ ∅ │ │ 3460 │ 1838 │ constraint_1838 │ ∅ │ │ 3461 │ 1839 │ constraint_1839 │ ∅ │ │ 3462 │ 1840 │ constraint_1840 │ ∅ │ │ 3463 │ 1841 │ constraint_1841 │ ∅ │ │ 3464 │ 1842 │ constraint_1842 │ ∅ │ │ 3465 │ 1843 │ constraint_1843 │ ∅ │ │ 3466 │ 1844 │ constraint_1844 │ ∅ │ │ 3467 │ 1845 │ constraint_1845 │ ∅ │ │ 3468 │ 1846 │ constraint_1846 │ ∅ │ │ 3469 │ 1847 │ constraint_1847 │ ∅ │ │ 3470 │ 1848 │ constraint_1848 │ ∅ │ │ 3487 │ 1849 │ constraint_1849 │ ∅ │ │ 3488 │ 1849 │ constraint_1849 │ ∅ │ │ 3489 │ 1849 │ constraint_1849 │ ∅ │ │ 3513 │ 1850 │ constraint_1850 │ ∅ │ │ 3514 │ 1850 │ constraint_1850 │ ∅ │ │ 3515 │ 1850 │ constraint_1850 │ ∅ │ │ 3516 │ 1851 │ constraint_1851 │ ∅ │ │ 3517 │ 1852 │ constraint_1852 │ ∅ │ │ 3518 │ 1853 │ constraint_1853 │ ∅ │ │ 3519 │ 1854 │ constraint_1854 │ ∅ │ │ 3520 │ 1855 │ constraint_1855 │ ∅ │ │ 3521 │ 1856 │ constraint_1856 │ ∅ │ │ 3522 │ 1857 │ constraint_1857 │ ∅ │ │ 3523 │ 1858 │ constraint_1858 │ ∅ │ │ 3524 │ 1859 │ constraint_1859 │ ∅ │ │ 3525 │ 1860 │ constraint_1860 │ ∅ │ │ 3526 │ 1861 │ constraint_1861 │ ∅ │ │ 3527 │ 1862 │ constraint_1862 │ ∅ │ │ 3528 │ 1863 │ constraint_1863 │ ∅ │ │ 3529 │ 1864 │ constraint_1864 │ ∅ │ │ 3530 │ 1865 │ constraint_1865 │ ∅ │ │ 3531 │ 1866 │ constraint_1866 │ ∅ │ │ 3535 │ 1867 │ constraint_1867 │ ∅ │ │ 3536 │ 1867 │ constraint_1867 │ ∅ │ │ 3537 │ 1867 │ constraint_1867 │ ∅ │ │ 3540 │ 1868 │ constraint_1868 │ ∅ │ │ 3542 │ 1869 │ constraint_1869 │ ∅ │ │ 3543 │ 1869 │ constraint_1869 │ ∅ │ │ 3544 │ 1869 │ constraint_1869 │ ∅ │ │ 3545 │ 1870 │ constraint_1870 │ ∅ │ │ 3546 │ 1871 │ constraint_1871 │ ∅ │ │ 3548 │ 1873 │ constraint_1873 │ ∅ │ │ 3547 │ 1872 │ constraint_1872 │ ∅ │ │ 3549 │ 1874 │ constraint_1874 │ ∅ │ │ 3550 │ 1875 │ constraint_1875 │ ∅ │ │ 3551 │ 1876 │ constraint_1876 │ ∅ │ │ 3552 │ 1877 │ constraint_1877 │ ∅ │ │ 3553 │ 1878 │ constraint_1878 │ ∅ │ │ 3554 │ 1879 │ constraint_1879 │ ∅ │ │ 3555 │ 1880 │ constraint_1880 │ ∅ │ │ 3556 │ 1881 │ constraint_1881 │ ∅ │ │ 3557 │ 1882 │ constraint_1882 │ ∅ │ │ 3558 │ 1883 │ constraint_1883 │ ∅ │ │ 3559 │ 1884 │ constraint_1884 │ ∅ │ │ 3560 │ 1885 │ constraint_1885 │ ∅ │ │ 3568 │ 1886 │ constraint_1886 │ ∅ │ │ 3569 │ 1886 │ constraint_1886 │ ∅ │ │ 3570 │ 1886 │ constraint_1886 │ ∅ │ │ 3613 │ 1887 │ constraint_1887 │ ∅ │ │ 3614 │ 1887 │ constraint_1887 │ ∅ │ │ 3615 │ 1887 │ constraint_1887 │ ∅ │ │ 3616 │ 1890 │ constraint_1890 │ ∅ │ │ 3618 │ 1889 │ constraint_1889 │ ∅ │ │ 3617 │ 1888 │ constraint_1888 │ ∅ │ │ 3619 │ 1891 │ constraint_1891 │ ∅ │ │ 3620 │ 1892 │ constraint_1892 │ ∅ │ │ 3621 │ 1893 │ constraint_1893 │ ∅ │ │ 3622 │ 1894 │ constraint_1894 │ ∅ │ │ 3623 │ 1895 │ constraint_1895 │ ∅ │ │ 3624 │ 1896 │ constraint_1896 │ ∅ │ │ 3625 │ 1897 │ constraint_1897 │ ∅ │ │ 3626 │ 1898 │ constraint_1898 │ ∅ │ │ 3627 │ 1899 │ constraint_1899 │ ∅ │ │ 3628 │ 1900 │ constraint_1900 │ ∅ │ │ 3629 │ 1901 │ constraint_1901 │ ∅ │ │ 3630 │ 1902 │ constraint_1902 │ ∅ │ │ 3631 │ 1903 │ constraint_1903 │ ∅ │ │ 3632 │ 1904 │ constraint_1904 │ ∅ │ │ 3635 │ 1905 │ constraint_1905 │ ∅ │ │ 3636 │ 1905 │ constraint_1905 │ ∅ │ │ 3637 │ 1905 │ constraint_1905 │ ∅ │ │ 3672 │ 1938 │ constraint_1938 │ ∅ │ │ 3673 │ 1938 │ constraint_1938 │ ∅ │ │ 3674 │ 1938 │ constraint_1938 │ ∅ │ │ 3675 │ 1939 │ constraint_1939 │ ∅ │ │ 3676 │ 1940 │ constraint_1940 │ ∅ │ │ 3677 │ 1941 │ constraint_1941 │ ∅ │ │ 3678 │ 1942 │ constraint_1942 │ ∅ │ │ 3679 │ 1943 │ constraint_1943 │ ∅ │ │ 3680 │ 1944 │ constraint_1944 │ ∅ │ │ 3683 │ 1947 │ constraint_1947 │ ∅ │ │ 3682 │ 1946 │ constraint_1946 │ ∅ │ │ 3681 │ 1945 │ constraint_1945 │ ∅ │ │ 3684 │ 1948 │ constraint_1948 │ ∅ │ │ 3685 │ 1949 │ constraint_1949 │ ∅ │ │ 3686 │ 1950 │ constraint_1950 │ ∅ │ │ 3687 │ 1951 │ constraint_1951 │ ∅ │ │ 3688 │ 1952 │ constraint_1952 │ ∅ │ │ 3689 │ 1953 │ constraint_1953 │ ∅ │ │ 3690 │ 1954 │ constraint_1954 │ ∅ │ │ 3691 │ 1955 │ constraint_1955 │ ∅ │ │ 3734 │ 1956 │ constraint_1956 │ ∅ │ │ 3735 │ 1956 │ constraint_1956 │ ∅ │ │ 3736 │ 1956 │ constraint_1956 │ ∅ │ │ 3740 │ 1957 │ constraint_1957 │ ∅ │ │ 3741 │ 1957 │ constraint_1957 │ ∅ │ │ 3742 │ 1957 │ constraint_1957 │ ∅ │ │ 3743 │ 1958 │ constraint_1958 │ ∅ │ │ 3744 │ 1959 │ constraint_1959 │ ∅ │ │ 3745 │ 1960 │ constraint_1960 │ ∅ │ │ 3746 │ 1961 │ constraint_1961 │ ∅ │ │ 3747 │ 1962 │ constraint_1962 │ ∅ │ │ 3748 │ 1963 │ constraint_1963 │ ∅ │ │ 3749 │ 1964 │ constraint_1964 │ ∅ │ │ 3750 │ 1965 │ constraint_1965 │ ∅ │ │ 3751 │ 1966 │ constraint_1966 │ ∅ │ │ 3752 │ 1967 │ constraint_1967 │ ∅ │ │ 3753 │ 1968 │ constraint_1968 │ ∅ │ │ 3754 │ 1969 │ constraint_1969 │ ∅ │ │ 3755 │ 1970 │ constraint_1970 │ ∅ │ │ 3756 │ 1971 │ constraint_1971 │ ∅ │ │ 3757 │ 1972 │ constraint_1972 │ ∅ │ │ 3758 │ 1973 │ constraint_1973 │ ∅ │ │ 3759 │ 1974 │ constraint_1974 │ ∅ │ │ 3760 │ 1975 │ constraint_1975 │ ∅ │ │ 3761 │ 1975 │ constraint_1975 │ ∅ │ │ 3762 │ 1975 │ constraint_1975 │ ∅ │ │ 3786 │ 1976 │ constraint_1976 │ ∅ │ │ 3787 │ 1976 │ constraint_1976 │ ∅ │ │ 3788 │ 1976 │ constraint_1976 │ ∅ │ │ 3789 │ 1977 │ constraint_1977 │ ∅ │ │ 3790 │ 1978 │ constraint_1978 │ ∅ │ │ 3791 │ 1979 │ constraint_1979 │ ∅ │ │ 3792 │ 1980 │ constraint_1980 │ ∅ │ │ 3793 │ 1981 │ constraint_1981 │ ∅ │ │ 3794 │ 1982 │ constraint_1982 │ ∅ │ │ 3795 │ 1983 │ constraint_1983 │ ∅ │ │ 3796 │ 1984 │ constraint_1984 │ ∅ │ │ 3797 │ 1985 │ constraint_1985 │ ∅ │ │ 3798 │ 1986 │ constraint_1986 │ ∅ │ │ 3799 │ 1987 │ constraint_1987 │ ∅ │ │ 3800 │ 1988 │ constraint_1988 │ ∅ │ │ 3801 │ 1989 │ constraint_1989 │ ∅ │ │ 3802 │ 1990 │ constraint_1990 │ ∅ │ │ 3803 │ 1991 │ constraint_1991 │ ∅ │ │ 3804 │ 1992 │ constraint_1992 │ ∅ │ │ 3805 │ 1993 │ constraint_1993 │ ∅ │ │ 3806 │ 1994 │ constraint_1994 │ ∅ │ │ 3807 │ 1995 │ constraint_1995 │ ∅ │ │ 3808 │ 1996 │ constraint_1996 │ ∅ │ │ 3809 │ 1997 │ constraint_1997 │ ∅ │ │ 3810 │ 1997 │ constraint_1997 │ ∅ │ │ 3811 │ 1997 │ constraint_1997 │ ∅ │ │ 3843 │ 2030 │ constraint_2030 │ ∅ │ │ 3844 │ 2030 │ constraint_2030 │ ∅ │ │ 3845 │ 2030 │ constraint_2030 │ ∅ │ │ 3846 │ 2031 │ constraint_2031 │ ∅ │ │ 3847 │ 2032 │ constraint_2032 │ ∅ │ │ 3848 │ 2033 │ constraint_2033 │ ∅ │ │ 3849 │ 2034 │ constraint_2034 │ ∅ │ │ 3850 │ 2035 │ constraint_2035 │ ∅ │ │ 3851 │ 2036 │ constraint_2036 │ ∅ │ │ 3852 │ 2037 │ constraint_2037 │ ∅ │ │ 3853 │ 2038 │ constraint_2038 │ ∅ │ │ 3854 │ 2039 │ constraint_2039 │ ∅ │ │ 3855 │ 2040 │ constraint_2040 │ ∅ │ │ 3856 │ 2041 │ constraint_2041 │ ∅ │ │ 3857 │ 2042 │ constraint_2042 │ ∅ │ │ 3858 │ 2043 │ constraint_2043 │ ∅ │ │ 3859 │ 2044 │ constraint_2044 │ ∅ │ │ 3860 │ 2045 │ constraint_2045 │ ∅ │ │ 3861 │ 2046 │ constraint_2046 │ ∅ │ │ 3906 │ 2047 │ constraint_2047 │ ∅ │ │ 3910 │ 2048 │ constraint_2048 │ ∅ │ │ 3911 │ 2048 │ constraint_2048 │ ∅ │ │ 3912 │ 2048 │ constraint_2048 │ ∅ │ │ 3946 │ 2081 │ constraint_2081 │ ∅ │ │ 3947 │ 2081 │ constraint_2081 │ ∅ │ │ 3948 │ 2081 │ constraint_2081 │ ∅ │ │ 3949 │ 2082 │ constraint_2082 │ ∅ │ │ 3950 │ 2083 │ constraint_2083 │ ∅ │ │ 3951 │ 2084 │ constraint_2084 │ ∅ │ │ 3952 │ 2085 │ constraint_2085 │ ∅ │ │ 3953 │ 2086 │ constraint_2086 │ ∅ │ │ 3954 │ 2087 │ constraint_2087 │ ∅ │ │ 3956 │ 2089 │ constraint_2089 │ ∅ │ │ 3955 │ 2088 │ constraint_2088 │ ∅ │ │ 3957 │ 2090 │ constraint_2090 │ ∅ │ │ 3958 │ 2091 │ constraint_2091 │ ∅ │ │ 3959 │ 2092 │ constraint_2092 │ ∅ │ │ 3960 │ 2093 │ constraint_2093 │ ∅ │ │ 3961 │ 2094 │ constraint_2094 │ ∅ │ │ 3962 │ 2095 │ constraint_2095 │ ∅ │ │ 3964 │ 2097 │ constraint_2097 │ ∅ │ │ 3963 │ 2096 │ constraint_2096 │ ∅ │ │ 3965 │ 2098 │ constraint_2098 │ ∅ │ │ 3969 │ 2099 │ constraint_2099 │ ∅ │ │ 3970 │ 2099 │ constraint_2099 │ ∅ │ │ 3971 │ 2099 │ constraint_2099 │ ∅ │ │ 3975 │ 2100 │ constraint_2100 │ ∅ │ │ 3976 │ 2100 │ constraint_2100 │ ∅ │ │ 3977 │ 2100 │ constraint_2100 │ ∅ │ │ 3978 │ 2101 │ constraint_2101 │ ∅ │ │ 3979 │ 2102 │ constraint_2102 │ ∅ │ │ 3980 │ 2103 │ constraint_2103 │ ∅ │ │ 3981 │ 2104 │ constraint_2104 │ ∅ │ │ 3982 │ 2105 │ constraint_2105 │ ∅ │ │ 3983 │ 2106 │ constraint_2106 │ ∅ │ │ 3984 │ 2107 │ constraint_2107 │ ∅ │ │ 3985 │ 2108 │ constraint_2108 │ ∅ │ │ 3986 │ 2109 │ constraint_2109 │ ∅ │ │ 3987 │ 2110 │ constraint_2110 │ ∅ │ │ 3988 │ 2111 │ constraint_2111 │ ∅ │ │ 3989 │ 2112 │ constraint_2112 │ ∅ │ │ 3990 │ 2113 │ constraint_2113 │ ∅ │ │ 3991 │ 2114 │ constraint_2114 │ ∅ │ │ 3992 │ 2115 │ constraint_2115 │ ∅ │ │ 3993 │ 2116 │ constraint_2116 │ ∅ │ │ 3994 │ 2117 │ constraint_2117 │ ∅ │ │ 4097 │ 2150 │ constraint_2150 │ ∅ │ │ 4098 │ 2150 │ constraint_2150 │ ∅ │ │ 4099 │ 2150 │ constraint_2150 │ ∅ │ │ 4103 │ 2151 │ constraint_2151 │ ∅ │ │ 4104 │ 2151 │ constraint_2151 │ ∅ │ │ 4105 │ 2151 │ constraint_2151 │ ∅ │ │ 4107 │ 2153 │ constraint_2153 │ ∅ │ │ 4106 │ 2152 │ constraint_2152 │ ∅ │ │ 4108 │ 2154 │ constraint_2154 │ ∅ │ │ 4109 │ 2155 │ constraint_2155 │ ∅ │ │ 4110 │ 2156 │ constraint_2156 │ ∅ │ │ 4112 │ 2158 │ constraint_2158 │ ∅ │ │ 4111 │ 2157 │ constraint_2157 │ ∅ │ │ 4113 │ 2159 │ constraint_2159 │ ∅ │ │ 4114 │ 2160 │ constraint_2160 │ ∅ │ │ 4115 │ 2161 │ constraint_2161 │ ∅ │ │ 4116 │ 2162 │ constraint_2162 │ ∅ │ │ 4117 │ 2163 │ constraint_2163 │ ∅ │ │ 4118 │ 2164 │ constraint_2164 │ ∅ │ │ 4119 │ 2165 │ constraint_2165 │ ∅ │ │ 4120 │ 2166 │ constraint_2166 │ ∅ │ │ 4121 │ 2167 │ constraint_2167 │ ∅ │ │ 4154 │ 2200 │ constraint_2200 │ ∅ │ │ 4158 │ 2201 │ constraint_2201 │ ∅ │ │ 4159 │ 2201 │ constraint_2201 │ ∅ │ │ 4160 │ 2201 │ constraint_2201 │ ∅ │ │ 4181 │ 2202 │ constraint_2202 │ ∅ │ │ 4182 │ 2202 │ constraint_2202 │ ∅ │ │ 4183 │ 2202 │ constraint_2202 │ ∅ │ │ 4184 │ 2203 │ constraint_2203 │ ∅ │ │ 4185 │ 2204 │ constraint_2204 │ ∅ │ │ 4186 │ 2205 │ constraint_2205 │ ∅ │ │ 4187 │ 2206 │ constraint_2206 │ ∅ │ │ 4188 │ 2207 │ constraint_2207 │ ∅ │ │ 4189 │ 2208 │ constraint_2208 │ ∅ │ │ 4190 │ 2209 │ constraint_2209 │ ∅ │ │ 4191 │ 2210 │ constraint_2210 │ ∅ │ │ 4192 │ 2211 │ constraint_2211 │ ∅ │ │ 4193 │ 2212 │ constraint_2212 │ ∅ │ │ 4194 │ 2213 │ constraint_2213 │ ∅ │ │ 4195 │ 2214 │ constraint_2214 │ ∅ │ │ 4196 │ 2215 │ constraint_2215 │ ∅ │ │ 4197 │ 2216 │ constraint_2216 │ ∅ │ │ 4199 │ 2218 │ constraint_2218 │ ∅ │ │ 4198 │ 2217 │ constraint_2217 │ ∅ │ │ 4200 │ 2219 │ constraint_2219 │ ∅ │ │ 4221 │ 2220 │ constraint_2220 │ ∅ │ │ 4222 │ 2220 │ constraint_2220 │ ∅ │ │ 4223 │ 2220 │ constraint_2220 │ ∅ │ │ 4227 │ 2221 │ constraint_2221 │ ∅ │ │ 4228 │ 2221 │ constraint_2221 │ ∅ │ │ 4229 │ 2221 │ constraint_2221 │ ∅ │ │ 4230 │ 2222 │ constraint_2222 │ ∅ │ │ 4231 │ 2223 │ constraint_2223 │ ∅ │ │ 4232 │ 2224 │ constraint_2224 │ ∅ │ │ 4233 │ 2225 │ constraint_2225 │ ∅ │ │ 4234 │ 2226 │ constraint_2226 │ ∅ │ │ 4235 │ 2227 │ constraint_2227 │ ∅ │ │ 4236 │ 2228 │ constraint_2228 │ ∅ │ │ 4237 │ 2229 │ constraint_2229 │ ∅ │ │ 4238 │ 2230 │ constraint_2230 │ ∅ │ │ 4239 │ 2231 │ constraint_2231 │ ∅ │ │ 4240 │ 2232 │ constraint_2232 │ ∅ │ │ 4241 │ 2233 │ constraint_2233 │ ∅ │ │ 4242 │ 2234 │ constraint_2234 │ ∅ │ │ 4243 │ 2235 │ constraint_2235 │ ∅ │ │ 4244 │ 2236 │ constraint_2236 │ ∅ │ │ 4245 │ 2237 │ constraint_2237 │ ∅ │ │ 4247 │ 2238 │ constraint_2238 │ ∅ │ │ 4248 │ 2221 │ constraint_2221 │ ∅ │ │ 4248 │ 2239 │ constraint_2239 │ ∅ │ │ 4249 │ 2221 │ constraint_2221 │ ∅ │ │ 4249 │ 2240 │ constraint_2240 │ ∅ │ │ 4250 │ 2221 │ constraint_2221 │ ∅ │ │ 4250 │ 2241 │ constraint_2241 │ ∅ │ └──────────┴────────────────────┴─────────────────┴────────────────────────────┘ (1005 rows)