digraph G {

subgraph "Subgraph Layer 40" {

rank=same;

3793 ;

4064 ;

4290 ;

4664 ;

4865 ;

5096 ;

5183 ;

5451 ;

5453 ;

}

subgraph "Subgraph Layer 41" {

rank=same;

3535 ;

4129 ;

4181 ;

4365 ;

5464 ;

}

subgraph "Subgraph Layer 42" {

rank=same;

3567 ;

3884 ;

4016 ;

4018 ;

4022 ;

4102 ;

4127 ;

4180 ;

4245 ;

4356 ;

4375 ;

4419 ;

4421 ;

4512 ;

4522 ;

4665 ;

4769 ;

4772 ;

4967 ;

5113 ;

5162 ;

5163 ;

5168 ;

5171 ;

5175 ;

5274 ;

5281 ;

5374 ;

5394 ;

5395 ;

5594 ;

5596 ;

5655 ;

5659 ;

}

subgraph "Subgraph Layer 43" {

rank=same;

3883 ;

4134 ;

4137 ;

4510 ;

4564 ;

4771 ;

5081 ;

5167 ;

}

subgraph "Subgraph Layer 44" {

rank=same;

3648 ;

3938 ;

4088 ;

4317 ;

4514 ;

4587 ;

4588 ;

4663 ;

5697 ;

}

subgraph "Subgraph Layer 45" {

rank=same;

3932 ;

4089 ;

4135 ;

4515 ;

4569 ;

4745 ;

4773 ;

4965 ;

5000 ;

5462 ;

}

subgraph "Subgraph Layer 46" {

rank=same;

3583 ;

3885 ;

4501 ;

4768 ;

4985 ;

5003 ;

5021 ;

}

subgraph "Subgraph Layer 47" {

rank=same;

3581 ;

3594 ;

3622 ;

3668 ;

3673 ;

3674 ;

3753 ;

3936 ;

4017 ;

4026 ;

4055 ;

4265 ;

4289 ;

4313 ;

4401 ;

4418 ;

4500 ;

4504 ;

4601 ;

4675 ;

4873 ;

4898 ;

4923 ;

4937 ;

5077 ;

5078 ;

5136 ;

5161 ;

5178 ;

5214 ;

5217 ;

5283 ;

5292 ;

5308 ;

5312 ;

5380 ;

5471 ;

5508 ;

5570 ;

5678 ;

}

subgraph "Subgraph Layer 48" {

rank=same;

3526 ;

3552 ;

3671 ;

3713 ;

3726 ;

3740 ;

3933 ;

3995 ;

4003 ;

4004 ;

4005 ;

4173 ;

4179 ;

4503 ;

4598 ;

4603 ;

4791 ;

4852 ;

4939 ;

4980 ;

5080 ;

5166 ;

5177 ;

5371 ;

5423 ;

5525 ;

5591 ;

}

3526 -> 4598 [constraint="False"]

3526 -> 3671 [constraint="False"]

3526 -> 4675 [constraint="True"]

3535 -> 3648 [constraint="False"]

3535 -> 3671 [constraint="False"]

3535 -> 3583 [constraint="False"]

3535 -> 3883 [constraint="False"]

3535 -> 4664 [constraint="True"]

3535 -> 5166 [constraint="False"]

3535 -> 4290 [constraint="True"]

3552 -> 4675 [constraint="True"]

3567 -> 3535 [constraint="True"]

3581 -> 3583 [constraint="True"]

3583 -> 4089 [constraint="True"]

3594 -> 3583 [constraint="True"]

3622 -> 3583 [constraint="True"]

3648 -> 3883 [constraint="True"]

3668 -> 3583 [constraint="True"]

3671 -> 5292 [constraint="True"]

3673 -> 3583 [constraint="True"]

3674 -> 3583 [constraint="True"]

3713 -> 3668 [constraint="True"]

3726 -> 3936 [constraint="True"]

3740 -> 4055 [constraint="True"]

3753 -> 3583 [constraint="True"]

3793 -> 3648 [constraint="False"]

3793 -> 4365 [constraint="False"]

3793 -> 3671 [constraint="False"]

3883 -> 3884 [constraint="True"]

3883 -> 3885 [constraint="False"]

3884 -> 4365 [constraint="True"]

3885 -> 4512 [constraint="False"]

3885 -> 3932 [constraint="True"]

3932 -> 3885 [constraint="False"]

3932 -> 3938 [constraint="True"]

3933 -> 3936 [constraint="True"]

3936 -> 3885 [constraint="True"]

3938 -> 3932 [constraint="False"]

3938 -> 4564 [constraint="True"]

3938 -> 3885 [constraint="False"]

3995 -> 3753 [constraint="True"]

4003 -> 3753 [constraint="True"]

4004 -> 3753 [constraint="True"]

4005 -> 3753 [constraint="True"]

4016 -> 3535 [constraint="True"]

4017 -> 3583 [constraint="True"]

4018 -> 3535 [constraint="True"]

4022 -> 3535 [constraint="True"]

4026 -> 3885 [constraint="True"]

4055 -> 3671 [constraint="False"]

4055 -> 3583 [constraint="True"]

4088 -> 3883 [constraint="True"]

4089 -> 3648 [constraint="True"]

4089 -> 5021 [constraint="False"]

4102 -> 3535 [constraint="True"]

4127 -> 4129 [constraint="True"]

4129 -> 3793 [constraint="True"]

4134 -> 4127 [constraint="True"]

4135 -> 3648 [constraint="True"]

4137 -> 4127 [constraint="True"]

4173 -> 3936 [constraint="True"]

4179 -> 3753 [constraint="True"]

4180 -> 4181 [constraint="True"]

4181 -> 3793 [constraint="True"]

4245 -> 3535 [constraint="True"]

4265 -> 3583 [constraint="True"]

4289 -> 3583 [constraint="True"]

4290 -> 3671 [constraint="False"]

4290 -> 3583 [constraint="False"]

4313 -> 3583 [constraint="True"]

4317 -> 3883 [constraint="True"]

4356 -> 3535 [constraint="True"]

4365 -> 3793 [constraint="True"]

4365 -> 3671 [constraint="False"]

4375 -> 4129 [constraint="True"]

4401 -> 3885 [constraint="True"]

4418 -> 3885 [constraint="True"]

4419 -> 3535 [constraint="True"]

4421 -> 3535 [constraint="True"]

4500 -> 4501 [constraint="True"]

4501 -> 3932 [constraint="True"]

4503 -> 4504 [constraint="True"]

4504 -> 3885 [constraint="True"]

4510 -> 4512 [constraint="True"]

4512 -> 3883 [constraint="False"]

4512 -> 3535 [constraint="True"]

4512 -> 3885 [constraint="False"]

4514 -> 4510 [constraint="True"]

4515 -> 4587 [constraint="True"]

4522 -> 3535 [constraint="True"]

4564 -> 4512 [constraint="True"]

4564 -> 3932 [constraint="False"]

4564 -> 3885 [constraint="False"]

4569 -> 3648 [constraint="True"]

4587 -> 5081 [constraint="True"]

4588 -> 5081 [constraint="True"]

4598 -> 3526 [constraint="False"]

4598 -> 3671 [constraint="False"]

4598 -> 4675 [constraint="True"]

4601 -> 3583 [constraint="True"]

4603 -> 3753 [constraint="True"]

4663 -> 4134 [constraint="True"]

4665 -> 3535 [constraint="True"]

4675 -> 3583 [constraint="True"]

4745 -> 3938 [constraint="True"]

4768 -> 4773 [constraint="True"]

4769 -> 3535 [constraint="True"]

4771 -> 4772 [constraint="True"]

4772 -> 3535 [constraint="True"]

4773 -> 4985 [constraint="False"]

4773 -> 3648 [constraint="True"]

4791 -> 3753 [constraint="True"]

4852 -> 3936 [constraint="True"]

4873 -> 3885 [constraint="True"]

4898 -> 3885 [constraint="True"]

4923 -> 3885 [constraint="True"]

4937 -> 3885 [constraint="True"]

4939 -> 4937 [constraint="True"]

4965 -> 4088 [constraint="True"]

4967 -> 3535 [constraint="True"]

4980 -> 4675 [constraint="True"]

4985 -> 4773 [constraint="True"]

5000 -> 3938 [constraint="True"]

5003 -> 5000 [constraint="True"]

5021 -> 4089 [constraint="True"]

5077 -> 3583 [constraint="True"]

5078 -> 3583 [constraint="True"]

5080 -> 5078 [constraint="True"]

5081 -> 5374 [constraint="True"]

5113 -> 4129 [constraint="True"]

5113 -> 4181 [constraint="True"]

5136 -> 3583 [constraint="True"]

5161 -> 3583 [constraint="True"]

5162 -> 3535 [constraint="True"]

5163 -> 3535 [constraint="True"]

5166 -> 5161 [constraint="True"]

5167 -> 5168 [constraint="True"]

5168 -> 3535 [constraint="True"]

5171 -> 3535 [constraint="True"]

5175 -> 3535 [constraint="True"]

5177 -> 5178 [constraint="True"]

5178 -> 3583 [constraint="True"]

5214 -> 3885 [constraint="True"]

5217 -> 3583 [constraint="True"]

5274 -> 3535 [constraint="True"]

5281 -> 3535 [constraint="True"]

5283 -> 3885 [constraint="True"]

5292 -> 3671 [constraint="False"]

5292 -> 3583 [constraint="True"]

5308 -> 3885 [constraint="True"]

5308 -> 5371 [constraint="False"]

5308 -> 3583 [constraint="True"]

5312 -> 3583 [constraint="True"]

5371 -> 5308 [constraint="True"]

5374 -> 3535 [constraint="True"]

5380 -> 3583 [constraint="True"]

5394 -> 4129 [constraint="True"]

5395 -> 4129 [constraint="True"]

5423 -> 3753 [constraint="True"]

5462 -> 4588 [constraint="True"]

5464 -> 4290 [constraint="True"]

5471 -> 3885 [constraint="True"]

5508 -> 3583 [constraint="True"]

5525 -> 3753 [constraint="True"]

5570 -> 3885 [constraint="True"]

5591 -> 3753 [constraint="True"]

5594 -> 3535 [constraint="True"]

5596 -> 3535 [constraint="True"]

5655 -> 3535 [constraint="True"]

5659 -> 3535 [constraint="True"]

5678 -> 3885 [constraint="True"]

5697 -> 3883 [constraint="True"]

}