# Nanotrav Version #0.13, Release date 2015/7/15
# nanotrav/nanotrav -p 1 -trav -image part -autodyn -automethod sifting -drop -scc -shortpaths bellman ./nanotrav/s382.blif
# CUDD Version 3.0.0
Order before final reordering
FM TEST CLR TESTL FML OLATCH_Y2L OLATCHVUC_6 OLATCHVUC_5 
OLATCH_R1L OLATCH_G2L OLATCH_G1L OLATCH_FEL C3_Q3 C3_Q2 C3_Q1 C3_Q0 
UC_16 UC_17 UC_18 UC_19 UC_8 UC_9 UC_10 UC_11 
Number of inputs = 24
Building transition relation. Time = 0.00 sec
Transition relation: 21 parts 21 latches 229 nodes
Traversing. Time = 0.00 sec
S0: 22 nodes 1 leaves 1 minterms
From[1]: 40 nodes 1 leaves 5 minterms
Reached[1]: 56 nodes 1 leaves 6 minterms
6
6
From[2]: 19 nodes 1 leaves 8 minterms
Reached[2]: 59 nodes 1 leaves 14 minterms
14
14
From[3]: 20 nodes 1 leaves 12 minterms
Reached[3]: 61 nodes 1 leaves 26 minterms
26
26
From[4]: 18 nodes 1 leaves 16 minterms
Reached[4]: 63 nodes 1 leaves 42 minterms
42
42
From[5]: 20 nodes 1 leaves 20 minterms
Reached[5]: 68 nodes 1 leaves 62 minterms
62
62
From[6]: 19 nodes 1 leaves 24 minterms
Reached[6]: 71 nodes 1 leaves 86 minterms
86
86
From[7]: 20 nodes 1 leaves 28 minterms
Reached[7]: 70 nodes 1 leaves 114 minterms
114
114
From[8]: 17 nodes 1 leaves 32 minterms
Reached[8]: 71 nodes 1 leaves 146 minterms
146
146
From[9]: 20 nodes 1 leaves 36 minterms
Reached[9]: 77 nodes 1 leaves 182 minterms
182
182
From[10]: 22 nodes 1 leaves 36 minterms
Reached[10]: 78 nodes 1 leaves 218 minterms
218
218
From[11]: 26 nodes 1 leaves 40 minterms
Reached[11]: 81 nodes 1 leaves 258 minterms
258
258
From[12]: 22 nodes 1 leaves 40 minterms
Reached[12]: 85 nodes 1 leaves 298 minterms
298
298
From[13]: 26 nodes 1 leaves 40 minterms
Reached[13]: 82 nodes 1 leaves 338 minterms
338
338
From[14]: 22 nodes 1 leaves 40 minterms
Reached[14]: 83 nodes 1 leaves 378 minterms
378
378
From[15]: 26 nodes 1 leaves 40 minterms
Reached[15]: 84 nodes 1 leaves 418 minterms
418
418
From[16]: 23 nodes 1 leaves 40 minterms
Reached[16]: 85 nodes 1 leaves 458 minterms
458
458
From[17]: 26 nodes 1 leaves 40 minterms
Reached[17]: 79 nodes 1 leaves 498 minterms
498
498
From[18]: 20 nodes 1 leaves 40 minterms
Reached[18]: 77 nodes 1 leaves 538 minterms
538
538
From[19]: 24 nodes 1 leaves 40 minterms
Reached[19]: 80 nodes 1 leaves 578 minterms
578
578
From[20]: 19 nodes 1 leaves 40 minterms
Reached[20]: 81 nodes 1 leaves 618 minterms
618
618
From[21]: 27 nodes 1 leaves 40 minterms
Reached[21]: 85 nodes 1 leaves 658 minterms
658
658
From[22]: 23 nodes 1 leaves 40 minterms
Reached[22]: 89 nodes 1 leaves 698 minterms
698
698
From[23]: 27 nodes 1 leaves 40 minterms
Reached[23]: 86 nodes 1 leaves 738 minterms
738
738
From[24]: 23 nodes 1 leaves 40 minterms
Reached[24]: 87 nodes 1 leaves 778 minterms
778
778
From[25]: 27 nodes 1 leaves 40 minterms
Reached[25]: 88 nodes 1 leaves 818 minterms
818
818
From[26]: 24 nodes 1 leaves 40 minterms
Reached[26]: 89 nodes 1 leaves 858 minterms
858
858
From[27]: 27 nodes 1 leaves 40 minterms
Reached[27]: 83 nodes 1 leaves 898 minterms
898
898
From[28]: 21 nodes 1 leaves 40 minterms
Reached[28]: 81 nodes 1 leaves 938 minterms
938
938
From[29]: 25 nodes 1 leaves 40 minterms
Reached[29]: 80 nodes 1 leaves 978 minterms
978
978
From[30]: 19 nodes 1 leaves 40 minterms
Reached[30]: 81 nodes 1 leaves 1018 minterms
1018
1018
From[31]: 26 nodes 1 leaves 40 minterms
Reached[31]: 84 nodes 1 leaves 1058 minterms
1058
1058
From[32]: 36 nodes 1 leaves 44 minterms
Reached[32]: 101 nodes 1 leaves 1102 minterms
1102
1102
From[33]: 39 nodes 1 leaves 44 minterms
Reached[33]: 98 nodes 1 leaves 1146 minterms
1146
1146
From[34]: 36 nodes 1 leaves 44 minterms
Reached[34]: 99 nodes 1 leaves 1190 minterms
1190
1190
From[35]: 38 nodes 1 leaves 44 minterms
Reached[35]: 100 nodes 1 leaves 1234 minterms
1234
1234
From[36]: 37 nodes 1 leaves 44 minterms
Reached[36]: 101 nodes 1 leaves 1278 minterms
1278
1278
From[37]: 39 nodes 1 leaves 44 minterms
Reached[37]: 95 nodes 1 leaves 1322 minterms
1322
1322
From[38]: 34 nodes 1 leaves 44 minterms
Reached[38]: 93 nodes 1 leaves 1366 minterms
1366
1366
From[39]: 35 nodes 1 leaves 44 minterms
Reached[39]: 93 nodes 1 leaves 1410 minterms
1410
1410
From[40]: 36 nodes 1 leaves 40 minterms
Reached[40]: 96 nodes 1 leaves 1450 minterms
1450
1450
From[41]: 25 nodes 1 leaves 44 minterms
Reached[41]: 100 nodes 1 leaves 1494 minterms
1494
1494
From[42]: 43 nodes 1 leaves 52 minterms
Reached[42]: 120 nodes 1 leaves 1546 minterms
1546
1546
From[43]: 46 nodes 1 leaves 56 minterms
Reached[43]: 117 nodes 1 leaves 1602 minterms
1602
1602
From[44]: 43 nodes 1 leaves 60 minterms
Reached[44]: 118 nodes 1 leaves 1662 minterms
1662
1662
From[45]: 45 nodes 1 leaves 64 minterms
Reached[45]: 119 nodes 1 leaves 1726 minterms
1726
1726
From[46]: 60 nodes 1 leaves 72 minterms
Reached[46]: 138 nodes 1 leaves 1798 minterms
1798
1798
From[47]: 62 nodes 1 leaves 76 minterms
Reached[47]: 132 nodes 1 leaves 1874 minterms
1874
1874
From[48]: 57 nodes 1 leaves 80 minterms
Reached[48]: 130 nodes 1 leaves 1954 minterms
1954
1954
From[49]: 58 nodes 1 leaves 84 minterms
Reached[49]: 130 nodes 1 leaves 2038 minterms
2038
2038
From[50]: 59 nodes 1 leaves 76 minterms
Reached[50]: 138 nodes 1 leaves 2114 minterms
2114
2114
From[51]: 44 nodes 1 leaves 96 minterms
Reached[51]: 140 nodes 1 leaves 2210 minterms
2210
2210
From[52]: 46 nodes 1 leaves 88 minterms
Reached[52]: 144 nodes 1 leaves 2298 minterms
2298
2298
From[53]: 49 nodes 1 leaves 88 minterms
Reached[53]: 141 nodes 1 leaves 2386 minterms
2386
2386
From[54]: 45 nodes 1 leaves 88 minterms
Reached[54]: 140 nodes 1 leaves 2474 minterms
2474
2474
From[55]: 47 nodes 1 leaves 88 minterms
Reached[55]: 138 nodes 1 leaves 2562 minterms
2562
2562
From[56]: 49 nodes 1 leaves 88 minterms
Reached[56]: 146 nodes 1 leaves 2650 minterms
2650
2650
From[57]: 51 nodes 1 leaves 88 minterms
Reached[57]: 139 nodes 1 leaves 2738 minterms
2738
2738
From[58]: 45 nodes 1 leaves 88 minterms
Reached[58]: 134 nodes 1 leaves 2826 minterms
2826
2826
From[59]: 48 nodes 1 leaves 88 minterms
Reached[59]: 133 nodes 1 leaves 2914 minterms
2914
2914
From[60]: 47 nodes 1 leaves 80 minterms
Reached[60]: 143 nodes 1 leaves 2994 minterms
2994
2994
From[61]: 48 nodes 1 leaves 88 minterms
Reached[61]: 147 nodes 1 leaves 3082 minterms
3082
3082
From[62]: 47 nodes 1 leaves 88 minterms
Reached[62]: 151 nodes 1 leaves 3170 minterms
3170
3170
From[63]: 50 nodes 1 leaves 88 minterms
Reached[63]: 148 nodes 1 leaves 3258 minterms
3258
3258
From[64]: 46 nodes 1 leaves 88 minterms
Reached[64]: 147 nodes 1 leaves 3346 minterms
3346
3346
From[65]: 48 nodes 1 leaves 88 minterms
Reached[65]: 145 nodes 1 leaves 3434 minterms
3434
3434
From[66]: 52 nodes 1 leaves 88 minterms
Reached[66]: 155 nodes 1 leaves 3522 minterms
3522
3522
From[67]: 54 nodes 1 leaves 88 minterms
Reached[67]: 147 nodes 1 leaves 3610 minterms
3610
3610
From[68]: 47 nodes 1 leaves 88 minterms
Reached[68]: 140 nodes 1 leaves 3698 minterms
3698
3698
From[69]: 50 nodes 1 leaves 88 minterms
Reached[69]: 136 nodes 1 leaves 3786 minterms
3786
3786
From[70]: 47 nodes 1 leaves 80 minterms
Reached[70]: 146 nodes 1 leaves 3866 minterms
3866
3866
From[71]: 47 nodes 1 leaves 88 minterms
Reached[71]: 149 nodes 1 leaves 3954 minterms
3954
3954
From[72]: 46 nodes 1 leaves 88 minterms
Reached[72]: 153 nodes 1 leaves 4042 minterms
4042
4042
From[73]: 49 nodes 1 leaves 88 minterms
Reached[73]: 150 nodes 1 leaves 4130 minterms
4130
4130
From[74]: 45 nodes 1 leaves 88 minterms
Reached[74]: 148 nodes 1 leaves 4218 minterms
4218
4218
From[75]: 47 nodes 1 leaves 88 minterms
Reached[75]: 146 nodes 1 leaves 4306 minterms
4306
4306
From[76]: 49 nodes 1 leaves 88 minterms
Reached[76]: 154 nodes 1 leaves 4394 minterms
4394
4394
From[77]: 51 nodes 1 leaves 88 minterms
Reached[77]: 146 nodes 1 leaves 4482 minterms
4482
4482
From[78]: 45 nodes 1 leaves 88 minterms
Reached[78]: 140 nodes 1 leaves 4570 minterms
4570
4570
From[79]: 48 nodes 1 leaves 88 minterms
Reached[79]: 136 nodes 1 leaves 4658 minterms
4658
4658
From[80]: 47 nodes 1 leaves 80 minterms
Reached[80]: 146 nodes 1 leaves 4738 minterms
4738
4738
From[81]: 50 nodes 1 leaves 88 minterms
Reached[81]: 152 nodes 1 leaves 4826 minterms
4826
4826
From[82]: 54 nodes 1 leaves 92 minterms
Reached[82]: 170 nodes 1 leaves 4918 minterms
4918
4918
From[83]: 57 nodes 1 leaves 92 minterms
Reached[83]: 167 nodes 1 leaves 5010 minterms
5010
5010
From[84]: 53 nodes 1 leaves 92 minterms
Reached[84]: 165 nodes 1 leaves 5102 minterms
5102
5102
From[85]: 55 nodes 1 leaves 92 minterms
Reached[85]: 163 nodes 1 leaves 5194 minterms
5194
5194
From[86]: 63 nodes 1 leaves 92 minterms
Reached[86]: 172 nodes 1 leaves 5286 minterms
5286
5286
From[87]: 65 nodes 1 leaves 92 minterms
Reached[87]: 164 nodes 1 leaves 5378 minterms
5378
5378
From[88]: 56 nodes 1 leaves 92 minterms
Reached[88]: 156 nodes 1 leaves 5470 minterms
5470
5470
From[89]: 59 nodes 1 leaves 92 minterms
Reached[89]: 150 nodes 1 leaves 5562 minterms
5562
5562
From[90]: 53 nodes 1 leaves 80 minterms
Reached[90]: 156 nodes 1 leaves 5642 minterms
5642
5642
From[91]: 42 nodes 1 leaves 92 minterms
Reached[91]: 157 nodes 1 leaves 5734 minterms
5734
5734
From[92]: 50 nodes 1 leaves 92 minterms
Reached[92]: 171 nodes 1 leaves 5826 minterms
5826
5826
From[93]: 53 nodes 1 leaves 92 minterms
Reached[93]: 167 nodes 1 leaves 5918 minterms
5918
5918
From[94]: 49 nodes 1 leaves 92 minterms
Reached[94]: 165 nodes 1 leaves 6010 minterms
6010
6010
From[95]: 51 nodes 1 leaves 92 minterms
Reached[95]: 163 nodes 1 leaves 6102 minterms
6102
6102
From[96]: 53 nodes 1 leaves 92 minterms
Reached[96]: 169 nodes 1 leaves 6194 minterms
6194
6194
From[97]: 55 nodes 1 leaves 92 minterms
Reached[97]: 161 nodes 1 leaves 6286 minterms
6286
6286
From[98]: 49 nodes 1 leaves 92 minterms
Reached[98]: 155 nodes 1 leaves 6378 minterms
6378
6378
From[99]: 52 nodes 1 leaves 92 minterms
Reached[99]: 151 nodes 1 leaves 6470 minterms
6470
6470
From[100]: 52 nodes 1 leaves 80 minterms
Reached[100]: 159 nodes 1 leaves 6550 minterms
6550
6550
From[101]: 48 nodes 1 leaves 88 minterms
Reached[101]: 162 nodes 1 leaves 6638 minterms
6638
6638
From[102]: 48 nodes 1 leaves 80 minterms
Reached[102]: 166 nodes 1 leaves 6718 minterms
6718
6718
From[103]: 51 nodes 1 leaves 76 minterms
Reached[103]: 162 nodes 1 leaves 6794 minterms
6794
6794
From[104]: 47 nodes 1 leaves 72 minterms
Reached[104]: 160 nodes 1 leaves 6866 minterms
6866
6866
From[105]: 49 nodes 1 leaves 68 minterms
Reached[105]: 158 nodes 1 leaves 6934 minterms
6934
6934
From[106]: 52 nodes 1 leaves 64 minterms
Reached[106]: 164 nodes 1 leaves 6998 minterms
6998
6998
From[107]: 54 nodes 1 leaves 60 minterms
Reached[107]: 156 nodes 1 leaves 7058 minterms
7058
7058
From[108]: 46 nodes 1 leaves 56 minterms
Reached[108]: 149 nodes 1 leaves 7114 minterms
7114
7114
From[109]: 49 nodes 1 leaves 52 minterms
Reached[109]: 143 nodes 1 leaves 7166 minterms
7166
7166
From[110]: 50 nodes 1 leaves 43 minterms
Reached[110]: 142 nodes 1 leaves 7209 minterms
7209
7209
From[111]: 37 nodes 1 leaves 48 minterms
Reached[111]: 145 nodes 1 leaves 7257 minterms
7257
7257
From[112]: 36 nodes 1 leaves 48 minterms
Reached[112]: 149 nodes 1 leaves 7305 minterms
7305
7305
From[113]: 39 nodes 1 leaves 48 minterms
Reached[113]: 146 nodes 1 leaves 7353 minterms
7353
7353
From[114]: 36 nodes 1 leaves 48 minterms
Reached[114]: 144 nodes 1 leaves 7401 minterms
7401
7401
From[115]: 35 nodes 1 leaves 48 minterms
Reached[115]: 143 nodes 1 leaves 7449 minterms
7449
7449
From[116]: 38 nodes 1 leaves 48 minterms
Reached[116]: 147 nodes 1 leaves 7497 minterms
7497
7497
From[117]: 40 nodes 1 leaves 48 minterms
Reached[117]: 141 nodes 1 leaves 7545 minterms
7545
7545
From[118]: 36 nodes 1 leaves 48 minterms
Reached[118]: 135 nodes 1 leaves 7593 minterms
7593
7593
From[119]: 35 nodes 1 leaves 48 minterms
Reached[119]: 135 nodes 1 leaves 7641 minterms
7641
7641
From[120]: 36 nodes 1 leaves 40 minterms
Reached[120]: 142 nodes 1 leaves 7681 minterms
7681
7681
From[121]: 38 nodes 1 leaves 48 minterms
Reached[121]: 146 nodes 1 leaves 7729 minterms
7729
7729
From[122]: 37 nodes 1 leaves 48 minterms
Reached[122]: 150 nodes 1 leaves 7777 minterms
7777
7777
From[123]: 40 nodes 1 leaves 48 minterms
Reached[123]: 147 nodes 1 leaves 7825 minterms
7825
7825
From[124]: 37 nodes 1 leaves 48 minterms
Reached[124]: 145 nodes 1 leaves 7873 minterms
7873
7873
From[125]: 36 nodes 1 leaves 48 minterms
Reached[125]: 144 nodes 1 leaves 7921 minterms
7921
7921
From[126]: 40 nodes 1 leaves 48 minterms
Reached[126]: 149 nodes 1 leaves 7969 minterms
7969
7969
From[127]: 42 nodes 1 leaves 48 minterms
Reached[127]: 143 nodes 1 leaves 8017 minterms
8017
8017
From[128]: 38 nodes 1 leaves 48 minterms
Reached[128]: 136 nodes 1 leaves 8065 minterms
8065
8065
From[129]: 36 nodes 1 leaves 48 minterms
Reached[129]: 135 nodes 1 leaves 8113 minterms
8113
8113
From[130]: 36 nodes 1 leaves 40 minterms
Reached[130]: 142 nodes 1 leaves 8153 minterms
8153
8153
From[131]: 37 nodes 1 leaves 48 minterms
Reached[131]: 145 nodes 1 leaves 8201 minterms
8201
8201
From[132]: 36 nodes 1 leaves 48 minterms
Reached[132]: 149 nodes 1 leaves 8249 minterms
8249
8249
From[133]: 39 nodes 1 leaves 48 minterms
Reached[133]: 146 nodes 1 leaves 8297 minterms
8297
8297
From[134]: 36 nodes 1 leaves 48 minterms
Reached[134]: 144 nodes 1 leaves 8345 minterms
8345
8345
From[135]: 35 nodes 1 leaves 48 minterms
Reached[135]: 143 nodes 1 leaves 8393 minterms
8393
8393
From[136]: 38 nodes 1 leaves 48 minterms
Reached[136]: 147 nodes 1 leaves 8441 minterms
8441
8441
From[137]: 40 nodes 1 leaves 48 minterms
Reached[137]: 141 nodes 1 leaves 8489 minterms
8489
8489
From[138]: 36 nodes 1 leaves 48 minterms
Reached[138]: 135 nodes 1 leaves 8537 minterms
8537
8537
From[139]: 35 nodes 1 leaves 48 minterms
Reached[139]: 135 nodes 1 leaves 8585 minterms
8585
8585
From[140]: 36 nodes 1 leaves 40 minterms
Reached[140]: 142 nodes 1 leaves 8625 minterms
8625
8625
From[141]: 36 nodes 1 leaves 44 minterms
Reached[141]: 141 nodes 1 leaves 8669 minterms
8669
8669
From[142]: 35 nodes 1 leaves 40 minterms
Reached[142]: 142 nodes 1 leaves 8709 minterms
8709
8709
From[143]: 36 nodes 1 leaves 36 minterms
Reached[143]: 137 nodes 1 leaves 8745 minterms
8745
8745
From[144]: 34 nodes 1 leaves 32 minterms
Reached[144]: 132 nodes 1 leaves 8777 minterms
8777
8777
From[145]: 33 nodes 1 leaves 28 minterms
Reached[145]: 127 nodes 1 leaves 8805 minterms
8805
8805
From[146]: 34 nodes 1 leaves 20 minterms
Reached[146]: 125 nodes 1 leaves 8825 minterms
8825
8825
From[147]: 35 nodes 1 leaves 16 minterms
Reached[147]: 118 nodes 1 leaves 8841 minterms
8841
8841
From[148]: 32 nodes 1 leaves 12 minterms
Reached[148]: 108 nodes 1 leaves 8853 minterms
8853
8853
From[149]: 19 nodes 1 leaves 8 minterms
Reached[149]: 100 nodes 1 leaves 8861 minterms
8861
8861
From[150]: 20 nodes 1 leaves 4 minterms
Reached[150]: 95 nodes 1 leaves 8865 minterms
8865
8865
depth = 150
R: 95 nodes 1 leaves 8865 minterms
Building transition relation. Time = 0.02 sec
Transition relation: 21 parts 21 latches 229 nodes
Computing SCCs. Time = 0.02 sec
S0: 22 nodes 1 leaves 1 minterms
From[1]: 40 nodes 1 leaves 5 minterms
Reached[1]: 56 nodes 1 leaves 6 minterms
From[2]: 19 nodes 1 leaves 8 minterms
Reached[2]: 59 nodes 1 leaves 14 minterms
From[3]: 20 nodes 1 leaves 12 minterms
Reached[3]: 61 nodes 1 leaves 26 minterms
From[4]: 18 nodes 1 leaves 16 minterms
Reached[4]: 63 nodes 1 leaves 42 minterms
From[5]: 20 nodes 1 leaves 20 minterms
Reached[5]: 68 nodes 1 leaves 62 minterms
From[6]: 19 nodes 1 leaves 24 minterms
Reached[6]: 71 nodes 1 leaves 86 minterms
From[7]: 20 nodes 1 leaves 28 minterms
Reached[7]: 70 nodes 1 leaves 114 minterms
From[8]: 17 nodes 1 leaves 32 minterms
Reached[8]: 71 nodes 1 leaves 146 minterms
From[9]: 20 nodes 1 leaves 36 minterms
Reached[9]: 77 nodes 1 leaves 182 minterms
From[10]: 22 nodes 1 leaves 36 minterms
Reached[10]: 78 nodes 1 leaves 218 minterms
From[11]: 26 nodes 1 leaves 40 minterms
Reached[11]: 81 nodes 1 leaves 258 minterms
From[12]: 22 nodes 1 leaves 40 minterms
Reached[12]: 85 nodes 1 leaves 298 minterms
From[13]: 26 nodes 1 leaves 40 minterms
Reached[13]: 82 nodes 1 leaves 338 minterms
From[14]: 22 nodes 1 leaves 40 minterms
Reached[14]: 83 nodes 1 leaves 378 minterms
From[15]: 26 nodes 1 leaves 40 minterms
Reached[15]: 84 nodes 1 leaves 418 minterms
From[16]: 23 nodes 1 leaves 40 minterms
Reached[16]: 85 nodes 1 leaves 458 minterms
From[17]: 26 nodes 1 leaves 40 minterms
Reached[17]: 79 nodes 1 leaves 498 minterms
From[18]: 20 nodes 1 leaves 40 minterms
Reached[18]: 77 nodes 1 leaves 538 minterms
From[19]: 24 nodes 1 leaves 40 minterms
Reached[19]: 80 nodes 1 leaves 578 minterms
From[20]: 19 nodes 1 leaves 40 minterms
Reached[20]: 81 nodes 1 leaves 618 minterms
From[21]: 27 nodes 1 leaves 40 minterms
Reached[21]: 85 nodes 1 leaves 658 minterms
From[22]: 23 nodes 1 leaves 40 minterms
Reached[22]: 89 nodes 1 leaves 698 minterms
From[23]: 27 nodes 1 leaves 40 minterms
Reached[23]: 86 nodes 1 leaves 738 minterms
From[24]: 23 nodes 1 leaves 40 minterms
Reached[24]: 87 nodes 1 leaves 778 minterms
From[25]: 27 nodes 1 leaves 40 minterms
Reached[25]: 88 nodes 1 leaves 818 minterms
From[26]: 24 nodes 1 leaves 40 minterms
Reached[26]: 89 nodes 1 leaves 858 minterms
From[27]: 27 nodes 1 leaves 40 minterms
Reached[27]: 83 nodes 1 leaves 898 minterms
From[28]: 21 nodes 1 leaves 40 minterms
Reached[28]: 81 nodes 1 leaves 938 minterms
From[29]: 25 nodes 1 leaves 40 minterms
Reached[29]: 80 nodes 1 leaves 978 minterms
From[30]: 19 nodes 1 leaves 40 minterms
Reached[30]: 81 nodes 1 leaves 1018 minterms
From[31]: 26 nodes 1 leaves 40 minterms
Reached[31]: 84 nodes 1 leaves 1058 minterms
From[32]: 36 nodes 1 leaves 44 minterms
Reached[32]: 101 nodes 1 leaves 1102 minterms
From[33]: 39 nodes 1 leaves 44 minterms
Reached[33]: 98 nodes 1 leaves 1146 minterms
From[34]: 36 nodes 1 leaves 44 minterms
Reached[34]: 99 nodes 1 leaves 1190 minterms
From[35]: 38 nodes 1 leaves 44 minterms
Reached[35]: 100 nodes 1 leaves 1234 minterms
From[36]: 37 nodes 1 leaves 44 minterms
Reached[36]: 101 nodes 1 leaves 1278 minterms
From[37]: 39 nodes 1 leaves 44 minterms
Reached[37]: 95 nodes 1 leaves 1322 minterms
From[38]: 34 nodes 1 leaves 44 minterms
Reached[38]: 93 nodes 1 leaves 1366 minterms
From[39]: 35 nodes 1 leaves 44 minterms
Reached[39]: 93 nodes 1 leaves 1410 minterms
From[40]: 36 nodes 1 leaves 40 minterms
Reached[40]: 96 nodes 1 leaves 1450 minterms
From[41]: 25 nodes 1 leaves 44 minterms
Reached[41]: 100 nodes 1 leaves 1494 minterms
From[42]: 43 nodes 1 leaves 52 minterms
Reached[42]: 120 nodes 1 leaves 1546 minterms
From[43]: 46 nodes 1 leaves 56 minterms
Reached[43]: 117 nodes 1 leaves 1602 minterms
From[44]: 43 nodes 1 leaves 60 minterms
Reached[44]: 118 nodes 1 leaves 1662 minterms
From[45]: 45 nodes 1 leaves 64 minterms
Reached[45]: 119 nodes 1 leaves 1726 minterms
From[46]: 60 nodes 1 leaves 72 minterms
Reached[46]: 138 nodes 1 leaves 1798 minterms
From[47]: 62 nodes 1 leaves 76 minterms
Reached[47]: 132 nodes 1 leaves 1874 minterms
From[48]: 57 nodes 1 leaves 80 minterms
Reached[48]: 130 nodes 1 leaves 1954 minterms
From[49]: 58 nodes 1 leaves 84 minterms
Reached[49]: 130 nodes 1 leaves 2038 minterms
From[50]: 59 nodes 1 leaves 76 minterms
Reached[50]: 138 nodes 1 leaves 2114 minterms
From[51]: 44 nodes 1 leaves 96 minterms
Reached[51]: 140 nodes 1 leaves 2210 minterms
From[52]: 46 nodes 1 leaves 88 minterms
Reached[52]: 144 nodes 1 leaves 2298 minterms
From[53]: 49 nodes 1 leaves 88 minterms
Reached[53]: 141 nodes 1 leaves 2386 minterms
From[54]: 45 nodes 1 leaves 88 minterms
Reached[54]: 140 nodes 1 leaves 2474 minterms
From[55]: 47 nodes 1 leaves 88 minterms
Reached[55]: 138 nodes 1 leaves 2562 minterms
From[56]: 49 nodes 1 leaves 88 minterms
Reached[56]: 146 nodes 1 leaves 2650 minterms
From[57]: 51 nodes 1 leaves 88 minterms
Reached[57]: 139 nodes 1 leaves 2738 minterms
From[58]: 45 nodes 1 leaves 88 minterms
Reached[58]: 134 nodes 1 leaves 2826 minterms
From[59]: 48 nodes 1 leaves 88 minterms
Reached[59]: 133 nodes 1 leaves 2914 minterms
From[60]: 47 nodes 1 leaves 80 minterms
Reached[60]: 143 nodes 1 leaves 2994 minterms
From[61]: 48 nodes 1 leaves 88 minterms
Reached[61]: 147 nodes 1 leaves 3082 minterms
From[62]: 47 nodes 1 leaves 88 minterms
Reached[62]: 151 nodes 1 leaves 3170 minterms
From[63]: 50 nodes 1 leaves 88 minterms
Reached[63]: 148 nodes 1 leaves 3258 minterms
From[64]: 46 nodes 1 leaves 88 minterms
Reached[64]: 147 nodes 1 leaves 3346 minterms
From[65]: 48 nodes 1 leaves 88 minterms
Reached[65]: 145 nodes 1 leaves 3434 minterms
From[66]: 52 nodes 1 leaves 88 minterms
Reached[66]: 155 nodes 1 leaves 3522 minterms
From[67]: 54 nodes 1 leaves 88 minterms
Reached[67]: 147 nodes 1 leaves 3610 minterms
From[68]: 47 nodes 1 leaves 88 minterms
Reached[68]: 140 nodes 1 leaves 3698 minterms
From[69]: 50 nodes 1 leaves 88 minterms
Reached[69]: 136 nodes 1 leaves 3786 minterms
From[70]: 47 nodes 1 leaves 80 minterms
Reached[70]: 146 nodes 1 leaves 3866 minterms
From[71]: 47 nodes 1 leaves 88 minterms
Reached[71]: 149 nodes 1 leaves 3954 minterms
From[72]: 46 nodes 1 leaves 88 minterms
Reached[72]: 153 nodes 1 leaves 4042 minterms
From[73]: 49 nodes 1 leaves 88 minterms
Reached[73]: 150 nodes 1 leaves 4130 minterms
From[74]: 45 nodes 1 leaves 88 minterms
Reached[74]: 148 nodes 1 leaves 4218 minterms
From[75]: 47 nodes 1 leaves 88 minterms
Reached[75]: 146 nodes 1 leaves 4306 minterms
From[76]: 49 nodes 1 leaves 88 minterms
Reached[76]: 154 nodes 1 leaves 4394 minterms
From[77]: 51 nodes 1 leaves 88 minterms
Reached[77]: 146 nodes 1 leaves 4482 minterms
From[78]: 45 nodes 1 leaves 88 minterms
Reached[78]: 140 nodes 1 leaves 4570 minterms
From[79]: 48 nodes 1 leaves 88 minterms
Reached[79]: 136 nodes 1 leaves 4658 minterms
From[80]: 47 nodes 1 leaves 80 minterms
Reached[80]: 146 nodes 1 leaves 4738 minterms
From[81]: 50 nodes 1 leaves 88 minterms
Reached[81]: 152 nodes 1 leaves 4826 minterms
From[82]: 54 nodes 1 leaves 92 minterms
Reached[82]: 170 nodes 1 leaves 4918 minterms
From[83]: 57 nodes 1 leaves 92 minterms
Reached[83]: 167 nodes 1 leaves 5010 minterms
From[84]: 53 nodes 1 leaves 92 minterms
Reached[84]: 165 nodes 1 leaves 5102 minterms
From[85]: 55 nodes 1 leaves 92 minterms
Reached[85]: 163 nodes 1 leaves 5194 minterms
From[86]: 63 nodes 1 leaves 92 minterms
Reached[86]: 172 nodes 1 leaves 5286 minterms
From[87]: 65 nodes 1 leaves 92 minterms
Reached[87]: 164 nodes 1 leaves 5378 minterms
From[88]: 56 nodes 1 leaves 92 minterms
Reached[88]: 156 nodes 1 leaves 5470 minterms
From[89]: 59 nodes 1 leaves 92 minterms
Reached[89]: 150 nodes 1 leaves 5562 minterms
From[90]: 53 nodes 1 leaves 80 minterms
Reached[90]: 156 nodes 1 leaves 5642 minterms
From[91]: 42 nodes 1 leaves 92 minterms
Reached[91]: 157 nodes 1 leaves 5734 minterms
From[92]: 50 nodes 1 leaves 92 minterms
Reached[92]: 171 nodes 1 leaves 5826 minterms
From[93]: 53 nodes 1 leaves 92 minterms
Reached[93]: 167 nodes 1 leaves 5918 minterms
From[94]: 49 nodes 1 leaves 92 minterms
Reached[94]: 165 nodes 1 leaves 6010 minterms
From[95]: 51 nodes 1 leaves 92 minterms
Reached[95]: 163 nodes 1 leaves 6102 minterms
From[96]: 53 nodes 1 leaves 92 minterms
Reached[96]: 169 nodes 1 leaves 6194 minterms
From[97]: 55 nodes 1 leaves 92 minterms
Reached[97]: 161 nodes 1 leaves 6286 minterms
From[98]: 49 nodes 1 leaves 92 minterms
Reached[98]: 155 nodes 1 leaves 6378 minterms
From[99]: 52 nodes 1 leaves 92 minterms
Reached[99]: 151 nodes 1 leaves 6470 minterms
From[100]: 52 nodes 1 leaves 80 minterms
Reached[100]: 159 nodes 1 leaves 6550 minterms
From[101]: 48 nodes 1 leaves 88 minterms
Reached[101]: 162 nodes 1 leaves 6638 minterms
From[102]: 48 nodes 1 leaves 80 minterms
Reached[102]: 166 nodes 1 leaves 6718 minterms
From[103]: 51 nodes 1 leaves 76 minterms
Reached[103]: 162 nodes 1 leaves 6794 minterms
From[104]: 47 nodes 1 leaves 72 minterms
Reached[104]: 160 nodes 1 leaves 6866 minterms
From[105]: 49 nodes 1 leaves 68 minterms
Reached[105]: 158 nodes 1 leaves 6934 minterms
From[106]: 52 nodes 1 leaves 64 minterms
Reached[106]: 164 nodes 1 leaves 6998 minterms
From[107]: 54 nodes 1 leaves 60 minterms
Reached[107]: 156 nodes 1 leaves 7058 minterms
From[108]: 46 nodes 1 leaves 56 minterms
Reached[108]: 149 nodes 1 leaves 7114 minterms
From[109]: 49 nodes 1 leaves 52 minterms
Reached[109]: 143 nodes 1 leaves 7166 minterms
From[110]: 50 nodes 1 leaves 43 minterms
Reached[110]: 142 nodes 1 leaves 7209 minterms
From[111]: 37 nodes 1 leaves 48 minterms
Reached[111]: 145 nodes 1 leaves 7257 minterms
From[112]: 36 nodes 1 leaves 48 minterms
Reached[112]: 149 nodes 1 leaves 7305 minterms
From[113]: 39 nodes 1 leaves 48 minterms
Reached[113]: 146 nodes 1 leaves 7353 minterms
From[114]: 36 nodes 1 leaves 48 minterms
Reached[114]: 144 nodes 1 leaves 7401 minterms
From[115]: 35 nodes 1 leaves 48 minterms
Reached[115]: 143 nodes 1 leaves 7449 minterms
From[116]: 38 nodes 1 leaves 48 minterms
Reached[116]: 147 nodes 1 leaves 7497 minterms
From[117]: 40 nodes 1 leaves 48 minterms
Reached[117]: 141 nodes 1 leaves 7545 minterms
From[118]: 36 nodes 1 leaves 48 minterms
Reached[118]: 135 nodes 1 leaves 7593 minterms
From[119]: 35 nodes 1 leaves 48 minterms
Reached[119]: 135 nodes 1 leaves 7641 minterms
From[120]: 36 nodes 1 leaves 40 minterms
Reached[120]: 142 nodes 1 leaves 7681 minterms
From[121]: 38 nodes 1 leaves 48 minterms
Reached[121]: 146 nodes 1 leaves 7729 minterms
From[122]: 37 nodes 1 leaves 48 minterms
Reached[122]: 150 nodes 1 leaves 7777 minterms
From[123]: 40 nodes 1 leaves 48 minterms
Reached[123]: 147 nodes 1 leaves 7825 minterms
From[124]: 37 nodes 1 leaves 48 minterms
Reached[124]: 145 nodes 1 leaves 7873 minterms
From[125]: 36 nodes 1 leaves 48 minterms
Reached[125]: 144 nodes 1 leaves 7921 minterms
From[126]: 40 nodes 1 leaves 48 minterms
Reached[126]: 149 nodes 1 leaves 7969 minterms
From[127]: 42 nodes 1 leaves 48 minterms
Reached[127]: 143 nodes 1 leaves 8017 minterms
From[128]: 38 nodes 1 leaves 48 minterms
Reached[128]: 136 nodes 1 leaves 8065 minterms
From[129]: 36 nodes 1 leaves 48 minterms
Reached[129]: 135 nodes 1 leaves 8113 minterms
From[130]: 36 nodes 1 leaves 40 minterms
Reached[130]: 142 nodes 1 leaves 8153 minterms
From[131]: 37 nodes 1 leaves 48 minterms
Reached[131]: 145 nodes 1 leaves 8201 minterms
From[132]: 36 nodes 1 leaves 48 minterms
Reached[132]: 149 nodes 1 leaves 8249 minterms
From[133]: 39 nodes 1 leaves 48 minterms
Reached[133]: 146 nodes 1 leaves 8297 minterms
From[134]: 36 nodes 1 leaves 48 minterms
Reached[134]: 144 nodes 1 leaves 8345 minterms
From[135]: 35 nodes 1 leaves 48 minterms
Reached[135]: 143 nodes 1 leaves 8393 minterms
From[136]: 38 nodes 1 leaves 48 minterms
Reached[136]: 147 nodes 1 leaves 8441 minterms
From[137]: 40 nodes 1 leaves 48 minterms
Reached[137]: 141 nodes 1 leaves 8489 minterms
From[138]: 36 nodes 1 leaves 48 minterms
Reached[138]: 135 nodes 1 leaves 8537 minterms
From[139]: 35 nodes 1 leaves 48 minterms
Reached[139]: 135 nodes 1 leaves 8585 minterms
From[140]: 36 nodes 1 leaves 40 minterms
Reached[140]: 142 nodes 1 leaves 8625 minterms
From[141]: 36 nodes 1 leaves 44 minterms
Reached[141]: 141 nodes 1 leaves 8669 minterms
From[142]: 35 nodes 1 leaves 40 minterms
Reached[142]: 142 nodes 1 leaves 8709 minterms
From[143]: 36 nodes 1 leaves 36 minterms
Reached[143]: 137 nodes 1 leaves 8745 minterms
From[144]: 34 nodes 1 leaves 32 minterms
Reached[144]: 132 nodes 1 leaves 8777 minterms
From[145]: 33 nodes 1 leaves 28 minterms
Reached[145]: 127 nodes 1 leaves 8805 minterms
From[146]: 34 nodes 1 leaves 20 minterms
Reached[146]: 125 nodes 1 leaves 8825 minterms
From[147]: 35 nodes 1 leaves 16 minterms
Reached[147]: 118 nodes 1 leaves 8841 minterms
From[148]: 32 nodes 1 leaves 12 minterms
Reached[148]: 108 nodes 1 leaves 8853 minterms
From[149]: 19 nodes 1 leaves 8 minterms
Reached[149]: 100 nodes 1 leaves 8861 minterms
From[150]: 20 nodes 1 leaves 4 minterms
Reached[150]: 95 nodes 1 leaves 8865 minterms
S0: 22 nodes 1 leaves 1 minterms
SCC[0]: 22 nodes 1 leaves 1 minterms
S0: 22 nodes 1 leaves 1 minterms
From[1]: 40 nodes 1 leaves 5 minterms
Reached[1]: 57 nodes 1 leaves 6 minterms
From[2]: 37 nodes 1 leaves 8 minterms
Reached[2]: 80 nodes 1 leaves 14 minterms
From[3]: 37 nodes 1 leaves 16 minterms
Reached[3]: 89 nodes 1 leaves 30 minterms
From[4]: 37 nodes 1 leaves 24 minterms
Reached[4]: 95 nodes 1 leaves 54 minterms
From[5]: 37 nodes 1 leaves 32 minterms
Reached[5]: 99 nodes 1 leaves 86 minterms
From[6]: 38 nodes 1 leaves 40 minterms
Reached[6]: 105 nodes 1 leaves 126 minterms
From[7]: 38 nodes 1 leaves 48 minterms
Reached[7]: 112 nodes 1 leaves 174 minterms
From[8]: 37 nodes 1 leaves 56 minterms
Reached[8]: 114 nodes 1 leaves 230 minterms
From[9]: 37 nodes 1 leaves 64 minterms
Reached[9]: 110 nodes 1 leaves 294 minterms
From[10]: 39 nodes 1 leaves 72 minterms
Reached[10]: 111 nodes 1 leaves 366 minterms
From[11]: 47 nodes 1 leaves 76 minterms
Reached[11]: 123 nodes 1 leaves 442 minterms
From[12]: 67 nodes 1 leaves 84 minterms
Reached[12]: 149 nodes 1 leaves 526 minterms
From[13]: 63 nodes 1 leaves 96 minterms
Reached[13]: 150 nodes 1 leaves 622 minterms
From[14]: 64 nodes 1 leaves 100 minterms
Reached[14]: 152 nodes 1 leaves 722 minterms
From[15]: 62 nodes 1 leaves 104 minterms
Reached[15]: 152 nodes 1 leaves 826 minterms
From[16]: 80 nodes 1 leaves 112 minterms
Reached[16]: 172 nodes 1 leaves 938 minterms
From[17]: 79 nodes 1 leaves 116 minterms
Reached[17]: 171 nodes 1 leaves 1054 minterms
From[18]: 77 nodes 1 leaves 120 minterms
Reached[18]: 167 nodes 1 leaves 1174 minterms
From[19]: 72 nodes 1 leaves 124 minterms
Reached[19]: 160 nodes 1 leaves 1298 minterms
From[20]: 72 nodes 1 leaves 132 minterms
Reached[20]: 160 nodes 1 leaves 1430 minterms
From[21]: 57 nodes 1 leaves 136 minterms
Reached[21]: 169 nodes 1 leaves 1566 minterms
From[22]: 71 nodes 1 leaves 120 minterms
Reached[22]: 183 nodes 1 leaves 1686 minterms
From[23]: 66 nodes 1 leaves 128 minterms
Reached[23]: 183 nodes 1 leaves 1814 minterms
From[24]: 66 nodes 1 leaves 128 minterms
Reached[24]: 183 nodes 1 leaves 1942 minterms
From[25]: 64 nodes 1 leaves 128 minterms
Reached[25]: 180 nodes 1 leaves 2070 minterms
From[26]: 70 nodes 1 leaves 128 minterms
Reached[26]: 189 nodes 1 leaves 2198 minterms
From[27]: 69 nodes 1 leaves 128 minterms
Reached[27]: 186 nodes 1 leaves 2326 minterms
From[28]: 66 nodes 1 leaves 128 minterms
Reached[28]: 179 nodes 1 leaves 2454 minterms
From[29]: 63 nodes 1 leaves 128 minterms
Reached[29]: 167 nodes 1 leaves 2582 minterms
From[30]: 62 nodes 1 leaves 128 minterms
Reached[30]: 165 nodes 1 leaves 2710 minterms
From[31]: 61 nodes 1 leaves 128 minterms
Reached[31]: 175 nodes 1 leaves 2838 minterms
From[32]: 71 nodes 1 leaves 120 minterms
Reached[32]: 183 nodes 1 leaves 2958 minterms
From[33]: 79 nodes 1 leaves 128 minterms
Reached[33]: 184 nodes 1 leaves 3086 minterms
From[34]: 76 nodes 1 leaves 124 minterms
Reached[34]: 182 nodes 1 leaves 3210 minterms
From[35]: 76 nodes 1 leaves 120 minterms
Reached[35]: 177 nodes 1 leaves 3330 minterms
From[36]: 82 nodes 1 leaves 116 minterms
Reached[36]: 184 nodes 1 leaves 3446 minterms
From[37]: 83 nodes 1 leaves 112 minterms
Reached[37]: 177 nodes 1 leaves 3558 minterms
From[38]: 77 nodes 1 leaves 108 minterms
Reached[38]: 166 nodes 1 leaves 3666 minterms
From[39]: 77 nodes 1 leaves 104 minterms
Reached[39]: 154 nodes 1 leaves 3770 minterms
From[40]: 71 nodes 1 leaves 96 minterms
Reached[40]: 151 nodes 1 leaves 3866 minterms
From[41]: 61 nodes 1 leaves 92 minterms
Reached[41]: 151 nodes 1 leaves 3958 minterms
From[42]: 67 nodes 1 leaves 84 minterms
Reached[42]: 154 nodes 1 leaves 4042 minterms
From[43]: 49 nodes 1 leaves 88 minterms
Reached[43]: 152 nodes 1 leaves 4130 minterms
From[44]: 45 nodes 1 leaves 88 minterms
Reached[44]: 153 nodes 1 leaves 4218 minterms
From[45]: 47 nodes 1 leaves 88 minterms
Reached[45]: 149 nodes 1 leaves 4306 minterms
From[46]: 49 nodes 1 leaves 88 minterms
Reached[46]: 157 nodes 1 leaves 4394 minterms
From[47]: 51 nodes 1 leaves 88 minterms
Reached[47]: 153 nodes 1 leaves 4482 minterms
From[48]: 45 nodes 1 leaves 88 minterms
Reached[48]: 150 nodes 1 leaves 4570 minterms
From[49]: 48 nodes 1 leaves 88 minterms
Reached[49]: 140 nodes 1 leaves 4658 minterms
From[50]: 43 nodes 1 leaves 88 minterms
Reached[50]: 142 nodes 1 leaves 4746 minterms
From[51]: 50 nodes 1 leaves 88 minterms
Reached[51]: 150 nodes 1 leaves 4834 minterms
From[52]: 62 nodes 1 leaves 80 minterms
Reached[52]: 172 nodes 1 leaves 4914 minterms
From[53]: 57 nodes 1 leaves 92 minterms
Reached[53]: 170 nodes 1 leaves 5006 minterms
From[54]: 53 nodes 1 leaves 92 minterms
Reached[54]: 171 nodes 1 leaves 5098 minterms
From[55]: 55 nodes 1 leaves 92 minterms
Reached[55]: 167 nodes 1 leaves 5190 minterms
From[56]: 63 nodes 1 leaves 92 minterms
Reached[56]: 176 nodes 1 leaves 5282 minterms
From[57]: 65 nodes 1 leaves 92 minterms
Reached[57]: 172 nodes 1 leaves 5374 minterms
From[58]: 56 nodes 1 leaves 92 minterms
Reached[58]: 167 nodes 1 leaves 5466 minterms
From[59]: 59 nodes 1 leaves 92 minterms
Reached[59]: 155 nodes 1 leaves 5558 minterms
From[60]: 48 nodes 1 leaves 92 minterms
Reached[60]: 151 nodes 1 leaves 5650 minterms
From[61]: 42 nodes 1 leaves 92 minterms
Reached[61]: 155 nodes 1 leaves 5742 minterms
From[62]: 55 nodes 1 leaves 80 minterms
Reached[62]: 173 nodes 1 leaves 5822 minterms
From[63]: 53 nodes 1 leaves 92 minterms
Reached[63]: 170 nodes 1 leaves 5914 minterms
From[64]: 49 nodes 1 leaves 92 minterms
Reached[64]: 171 nodes 1 leaves 6006 minterms
From[65]: 51 nodes 1 leaves 92 minterms
Reached[65]: 167 nodes 1 leaves 6098 minterms
From[66]: 53 nodes 1 leaves 92 minterms
Reached[66]: 173 nodes 1 leaves 6190 minterms
From[67]: 55 nodes 1 leaves 92 minterms
Reached[67]: 169 nodes 1 leaves 6282 minterms
From[68]: 49 nodes 1 leaves 92 minterms
Reached[68]: 166 nodes 1 leaves 6374 minterms
From[69]: 52 nodes 1 leaves 92 minterms
Reached[69]: 156 nodes 1 leaves 6466 minterms
From[70]: 47 nodes 1 leaves 92 minterms
Reached[70]: 154 nodes 1 leaves 6558 minterms
From[71]: 48 nodes 1 leaves 88 minterms
Reached[71]: 160 nodes 1 leaves 6646 minterms
From[72]: 66 nodes 1 leaves 75 minterms
Reached[72]: 156 nodes 1 leaves 6721 minterms
From[73]: 51 nodes 1 leaves 76 minterms
Reached[73]: 153 nodes 1 leaves 6797 minterms
From[74]: 47 nodes 1 leaves 72 minterms
Reached[74]: 154 nodes 1 leaves 6869 minterms
From[75]: 49 nodes 1 leaves 68 minterms
Reached[75]: 150 nodes 1 leaves 6937 minterms
From[76]: 52 nodes 1 leaves 64 minterms
Reached[76]: 156 nodes 1 leaves 7001 minterms
From[77]: 54 nodes 1 leaves 60 minterms
Reached[77]: 152 nodes 1 leaves 7061 minterms
From[78]: 46 nodes 1 leaves 56 minterms
Reached[78]: 148 nodes 1 leaves 7117 minterms
From[79]: 49 nodes 1 leaves 52 minterms
Reached[79]: 136 nodes 1 leaves 7169 minterms
From[80]: 34 nodes 1 leaves 48 minterms
Reached[80]: 135 nodes 1 leaves 7217 minterms
From[81]: 37 nodes 1 leaves 48 minterms
Reached[81]: 140 nodes 1 leaves 7265 minterms
From[82]: 40 nodes 1 leaves 40 minterms
Reached[82]: 147 nodes 1 leaves 7305 minterms
From[83]: 39 nodes 1 leaves 48 minterms
Reached[83]: 145 nodes 1 leaves 7353 minterms
From[84]: 36 nodes 1 leaves 48 minterms
Reached[84]: 146 nodes 1 leaves 7401 minterms
From[85]: 35 nodes 1 leaves 48 minterms
Reached[85]: 143 nodes 1 leaves 7449 minterms
From[86]: 38 nodes 1 leaves 48 minterms
Reached[86]: 147 nodes 1 leaves 7497 minterms
From[87]: 40 nodes 1 leaves 48 minterms
Reached[87]: 145 nodes 1 leaves 7545 minterms
From[88]: 36 nodes 1 leaves 48 minterms
Reached[88]: 142 nodes 1 leaves 7593 minterms
From[89]: 35 nodes 1 leaves 48 minterms
Reached[89]: 136 nodes 1 leaves 7641 minterms
From[90]: 34 nodes 1 leaves 48 minterms
Reached[90]: 135 nodes 1 leaves 7689 minterms
From[91]: 38 nodes 1 leaves 48 minterms
Reached[91]: 141 nodes 1 leaves 7737 minterms
From[92]: 41 nodes 1 leaves 40 minterms
Reached[92]: 148 nodes 1 leaves 7777 minterms
From[93]: 40 nodes 1 leaves 48 minterms
Reached[93]: 146 nodes 1 leaves 7825 minterms
From[94]: 37 nodes 1 leaves 48 minterms
Reached[94]: 147 nodes 1 leaves 7873 minterms
From[95]: 36 nodes 1 leaves 48 minterms
Reached[95]: 144 nodes 1 leaves 7921 minterms
From[96]: 40 nodes 1 leaves 48 minterms
Reached[96]: 149 nodes 1 leaves 7969 minterms
From[97]: 42 nodes 1 leaves 48 minterms
Reached[97]: 147 nodes 1 leaves 8017 minterms
From[98]: 38 nodes 1 leaves 48 minterms
Reached[98]: 143 nodes 1 leaves 8065 minterms
From[99]: 36 nodes 1 leaves 48 minterms
Reached[99]: 136 nodes 1 leaves 8113 minterms
From[100]: 34 nodes 1 leaves 48 minterms
Reached[100]: 135 nodes 1 leaves 8161 minterms
From[101]: 37 nodes 1 leaves 48 minterms
Reached[101]: 140 nodes 1 leaves 8209 minterms
From[102]: 40 nodes 1 leaves 40 minterms
Reached[102]: 147 nodes 1 leaves 8249 minterms
From[103]: 39 nodes 1 leaves 48 minterms
Reached[103]: 145 nodes 1 leaves 8297 minterms
From[104]: 36 nodes 1 leaves 48 minterms
Reached[104]: 146 nodes 1 leaves 8345 minterms
From[105]: 35 nodes 1 leaves 48 minterms
Reached[105]: 143 nodes 1 leaves 8393 minterms
From[106]: 38 nodes 1 leaves 48 minterms
Reached[106]: 147 nodes 1 leaves 8441 minterms
From[107]: 40 nodes 1 leaves 48 minterms
Reached[107]: 145 nodes 1 leaves 8489 minterms
From[108]: 36 nodes 1 leaves 48 minterms
Reached[108]: 142 nodes 1 leaves 8537 minterms
From[109]: 35 nodes 1 leaves 48 minterms
Reached[109]: 136 nodes 1 leaves 8585 minterms
From[110]: 34 nodes 1 leaves 48 minterms
Reached[110]: 135 nodes 1 leaves 8633 minterms
From[111]: 36 nodes 1 leaves 44 minterms
Reached[111]: 133 nodes 1 leaves 8677 minterms
From[112]: 40 nodes 1 leaves 36 minterms
Reached[112]: 137 nodes 1 leaves 8713 minterms
From[113]: 36 nodes 1 leaves 36 minterms
Reached[113]: 133 nodes 1 leaves 8749 minterms
From[114]: 34 nodes 1 leaves 32 minterms
Reached[114]: 129 nodes 1 leaves 8781 minterms
From[115]: 33 nodes 1 leaves 28 minterms
Reached[115]: 123 nodes 1 leaves 8809 minterms
From[116]: 34 nodes 1 leaves 20 minterms
Reached[116]: 122 nodes 1 leaves 8829 minterms
From[117]: 35 nodes 1 leaves 16 minterms
Reached[117]: 116 nodes 1 leaves 8845 minterms
From[118]: 32 nodes 1 leaves 12 minterms
Reached[118]: 107 nodes 1 leaves 8857 minterms
From[119]: 19 nodes 1 leaves 8 minterms
Reached[119]: 95 nodes 1 leaves 8865 minterms
S0: 22 nodes 1 leaves 1 minterms
SCC[1]: 22 nodes 1 leaves 1 minterms
S0: 22 nodes 1 leaves 1 minterms
From[1]: 40 nodes 1 leaves 5 minterms
Reached[1]: 59 nodes 1 leaves 6 minterms
From[2]: 23 nodes 1 leaves 12 minterms
Reached[2]: 76 nodes 1 leaves 18 minterms
From[3]: 23 nodes 1 leaves 20 minterms
Reached[3]: 80 nodes 1 leaves 38 minterms
From[4]: 27 nodes 1 leaves 24 minterms
Reached[4]: 84 nodes 1 leaves 62 minterms
From[5]: 27 nodes 1 leaves 32 minterms
Reached[5]: 83 nodes 1 leaves 94 minterms
From[6]: 26 nodes 1 leaves 36 minterms
Reached[6]: 86 nodes 1 leaves 130 minterms
From[7]: 27 nodes 1 leaves 40 minterms
Reached[7]: 87 nodes 1 leaves 170 minterms
From[8]: 26 nodes 1 leaves 44 minterms
Reached[8]: 88 nodes 1 leaves 214 minterms
From[9]: 28 nodes 1 leaves 40 minterms
Reached[9]: 89 nodes 1 leaves 254 minterms
From[10]: 28 nodes 1 leaves 40 minterms
Reached[10]: 87 nodes 1 leaves 294 minterms
From[11]: 31 nodes 1 leaves 40 minterms
Reached[11]: 89 nodes 1 leaves 334 minterms
From[12]: 30 nodes 1 leaves 40 minterms
Reached[12]: 92 nodes 1 leaves 374 minterms
From[13]: 30 nodes 1 leaves 40 minterms
Reached[13]: 95 nodes 1 leaves 414 minterms
From[14]: 32 nodes 1 leaves 40 minterms
Reached[14]: 92 nodes 1 leaves 454 minterms
From[15]: 30 nodes 1 leaves 40 minterms
Reached[15]: 94 nodes 1 leaves 494 minterms
From[16]: 30 nodes 1 leaves 40 minterms
Reached[16]: 92 nodes 1 leaves 534 minterms
From[17]: 27 nodes 1 leaves 40 minterms
Reached[17]: 92 nodes 1 leaves 574 minterms
From[18]: 28 nodes 1 leaves 40 minterms
Reached[18]: 91 nodes 1 leaves 614 minterms
From[19]: 28 nodes 1 leaves 40 minterms
Reached[19]: 92 nodes 1 leaves 654 minterms
From[20]: 28 nodes 1 leaves 40 minterms
Reached[20]: 90 nodes 1 leaves 694 minterms
From[21]: 32 nodes 1 leaves 40 minterms
Reached[21]: 92 nodes 1 leaves 734 minterms
From[22]: 31 nodes 1 leaves 40 minterms
Reached[22]: 96 nodes 1 leaves 774 minterms
From[23]: 31 nodes 1 leaves 40 minterms
Reached[23]: 99 nodes 1 leaves 814 minterms
From[24]: 33 nodes 1 leaves 40 minterms
Reached[24]: 96 nodes 1 leaves 854 minterms
From[25]: 31 nodes 1 leaves 40 minterms
Reached[25]: 98 nodes 1 leaves 894 minterms
From[26]: 31 nodes 1 leaves 40 minterms
Reached[26]: 92 nodes 1 leaves 934 minterms
From[27]: 27 nodes 1 leaves 40 minterms
Reached[27]: 92 nodes 1 leaves 974 minterms
From[28]: 28 nodes 1 leaves 40 minterms
Reached[28]: 91 nodes 1 leaves 1014 minterms
From[29]: 28 nodes 1 leaves 40 minterms
Reached[29]: 92 nodes 1 leaves 1054 minterms
From[30]: 28 nodes 1 leaves 40 minterms
Reached[30]: 90 nodes 1 leaves 1094 minterms
From[31]: 31 nodes 1 leaves 40 minterms
Reached[31]: 92 nodes 1 leaves 1134 minterms
From[32]: 43 nodes 1 leaves 44 minterms
Reached[32]: 108 nodes 1 leaves 1178 minterms
From[33]: 44 nodes 1 leaves 48 minterms
Reached[33]: 111 nodes 1 leaves 1226 minterms
From[34]: 47 nodes 1 leaves 44 minterms
Reached[34]: 111 nodes 1 leaves 1270 minterms
From[35]: 42 nodes 1 leaves 48 minterms
Reached[35]: 113 nodes 1 leaves 1318 minterms
From[36]: 44 nodes 1 leaves 44 minterms
Reached[36]: 108 nodes 1 leaves 1362 minterms
From[37]: 41 nodes 1 leaves 44 minterms
Reached[37]: 108 nodes 1 leaves 1406 minterms
From[38]: 26 nodes 1 leaves 44 minterms
Reached[38]: 105 nodes 1 leaves 1450 minterms
From[39]: 28 nodes 1 leaves 40 minterms
Reached[39]: 106 nodes 1 leaves 1490 minterms
From[40]: 28 nodes 1 leaves 40 minterms
Reached[40]: 104 nodes 1 leaves 1530 minterms
From[41]: 33 nodes 1 leaves 40 minterms
Reached[41]: 106 nodes 1 leaves 1570 minterms
From[42]: 50 nodes 1 leaves 52 minterms
Reached[42]: 127 nodes 1 leaves 1622 minterms
From[43]: 51 nodes 1 leaves 68 minterms
Reached[43]: 130 nodes 1 leaves 1690 minterms
From[44]: 54 nodes 1 leaves 68 minterms
Reached[44]: 130 nodes 1 leaves 1758 minterms
From[45]: 49 nodes 1 leaves 84 minterms
Reached[45]: 132 nodes 1 leaves 1842 minterms
From[46]: 70 nodes 1 leaves 84 minterms
Reached[46]: 142 nodes 1 leaves 1926 minterms
From[47]: 64 nodes 1 leaves 92 minterms
Reached[47]: 138 nodes 1 leaves 2018 minterms
From[48]: 49 nodes 1 leaves 96 minterms
Reached[48]: 135 nodes 1 leaves 2114 minterms
From[49]: 51 nodes 1 leaves 88 minterms
Reached[49]: 136 nodes 1 leaves 2202 minterms
From[50]: 56 nodes 1 leaves 88 minterms
Reached[50]: 139 nodes 1 leaves 2290 minterms
From[51]: 62 nodes 1 leaves 84 minterms
Reached[51]: 144 nodes 1 leaves 2374 minterms
From[52]: 53 nodes 1 leaves 92 minterms
Reached[52]: 145 nodes 1 leaves 2466 minterms
From[53]: 54 nodes 1 leaves 88 minterms
Reached[53]: 148 nodes 1 leaves 2554 minterms
From[54]: 54 nodes 1 leaves 84 minterms
Reached[54]: 144 nodes 1 leaves 2638 minterms
From[55]: 47 nodes 1 leaves 84 minterms
Reached[55]: 143 nodes 1 leaves 2722 minterms
From[56]: 57 nodes 1 leaves 88 minterms
Reached[56]: 142 nodes 1 leaves 2810 minterms
From[57]: 50 nodes 1 leaves 88 minterms
Reached[57]: 142 nodes 1 leaves 2898 minterms
From[58]: 51 nodes 1 leaves 88 minterms
Reached[58]: 141 nodes 1 leaves 2986 minterms
From[59]: 51 nodes 1 leaves 88 minterms
Reached[59]: 142 nodes 1 leaves 3074 minterms
From[60]: 56 nodes 1 leaves 88 minterms
Reached[60]: 145 nodes 1 leaves 3162 minterms
From[61]: 63 nodes 1 leaves 84 minterms
Reached[61]: 150 nodes 1 leaves 3246 minterms
From[62]: 54 nodes 1 leaves 92 minterms
Reached[62]: 152 nodes 1 leaves 3338 minterms
From[63]: 55 nodes 1 leaves 88 minterms
Reached[63]: 155 nodes 1 leaves 3426 minterms
From[64]: 55 nodes 1 leaves 84 minterms
Reached[64]: 150 nodes 1 leaves 3510 minterms
From[65]: 48 nodes 1 leaves 84 minterms
Reached[65]: 147 nodes 1 leaves 3594 minterms
From[66]: 59 nodes 1 leaves 88 minterms
Reached[66]: 145 nodes 1 leaves 3682 minterms
From[67]: 50 nodes 1 leaves 88 minterms
Reached[67]: 145 nodes 1 leaves 3770 minterms
From[68]: 51 nodes 1 leaves 88 minterms
Reached[68]: 144 nodes 1 leaves 3858 minterms
From[69]: 51 nodes 1 leaves 88 minterms
Reached[69]: 145 nodes 1 leaves 3946 minterms
From[70]: 56 nodes 1 leaves 88 minterms
Reached[70]: 148 nodes 1 leaves 4034 minterms
From[71]: 62 nodes 1 leaves 84 minterms
Reached[71]: 152 nodes 1 leaves 4118 minterms
From[72]: 53 nodes 1 leaves 92 minterms
Reached[72]: 153 nodes 1 leaves 4210 minterms
From[73]: 54 nodes 1 leaves 88 minterms
Reached[73]: 156 nodes 1 leaves 4298 minterms
From[74]: 54 nodes 1 leaves 84 minterms
Reached[74]: 151 nodes 1 leaves 4382 minterms
From[75]: 47 nodes 1 leaves 84 minterms
Reached[75]: 149 nodes 1 leaves 4466 minterms
From[76]: 57 nodes 1 leaves 88 minterms
Reached[76]: 145 nodes 1 leaves 4554 minterms
From[77]: 50 nodes 1 leaves 88 minterms
Reached[77]: 145 nodes 1 leaves 4642 minterms
From[78]: 51 nodes 1 leaves 88 minterms
Reached[78]: 144 nodes 1 leaves 4730 minterms
From[79]: 51 nodes 1 leaves 88 minterms
Reached[79]: 145 nodes 1 leaves 4818 minterms
From[80]: 56 nodes 1 leaves 88 minterms
Reached[80]: 148 nodes 1 leaves 4906 minterms
From[81]: 65 nodes 1 leaves 84 minterms
Reached[81]: 152 nodes 1 leaves 4990 minterms
From[82]: 67 nodes 1 leaves 96 minterms
Reached[82]: 170 nodes 1 leaves 5086 minterms
From[83]: 65 nodes 1 leaves 96 minterms
Reached[83]: 173 nodes 1 leaves 5182 minterms
From[84]: 72 nodes 1 leaves 88 minterms
Reached[84]: 171 nodes 1 leaves 5270 minterms
From[85]: 61 nodes 1 leaves 92 minterms
Reached[85]: 167 nodes 1 leaves 5362 minterms
From[86]: 71 nodes 1 leaves 92 minterms
Reached[86]: 162 nodes 1 leaves 5454 minterms
From[87]: 58 nodes 1 leaves 92 minterms
Reached[87]: 156 nodes 1 leaves 5546 minterms
From[88]: 47 nodes 1 leaves 92 minterms
Reached[88]: 152 nodes 1 leaves 5638 minterms
From[89]: 47 nodes 1 leaves 88 minterms
Reached[89]: 153 nodes 1 leaves 5726 minterms
From[90]: 52 nodes 1 leaves 88 minterms
Reached[90]: 155 nodes 1 leaves 5814 minterms
From[91]: 58 nodes 1 leaves 84 minterms
Reached[91]: 159 nodes 1 leaves 5898 minterms
From[92]: 60 nodes 1 leaves 96 minterms
Reached[92]: 170 nodes 1 leaves 5994 minterms
From[93]: 61 nodes 1 leaves 96 minterms
Reached[93]: 173 nodes 1 leaves 6090 minterms
From[94]: 65 nodes 1 leaves 88 minterms
Reached[94]: 171 nodes 1 leaves 6178 minterms
From[95]: 57 nodes 1 leaves 92 minterms
Reached[95]: 169 nodes 1 leaves 6270 minterms
From[96]: 64 nodes 1 leaves 92 minterms
Reached[96]: 163 nodes 1 leaves 6362 minterms
From[97]: 57 nodes 1 leaves 92 minterms
Reached[97]: 159 nodes 1 leaves 6454 minterms
From[98]: 50 nodes 1 leaves 92 minterms
Reached[98]: 155 nodes 1 leaves 6546 minterms
From[99]: 50 nodes 1 leaves 88 minterms
Reached[99]: 156 nodes 1 leaves 6634 minterms
From[100]: 55 nodes 1 leaves 88 minterms
Reached[100]: 158 nodes 1 leaves 6722 minterms
From[101]: 64 nodes 1 leaves 80 minterms
Reached[101]: 162 nodes 1 leaves 6802 minterms
From[102]: 55 nodes 1 leaves 80 minterms
Reached[102]: 165 nodes 1 leaves 6882 minterms
From[103]: 56 nodes 1 leaves 68 minterms
Reached[103]: 168 nodes 1 leaves 6950 minterms
From[104]: 73 nodes 1 leaves 59 minterms
Reached[104]: 152 nodes 1 leaves 7009 minterms
From[105]: 50 nodes 1 leaves 52 minterms
Reached[105]: 149 nodes 1 leaves 7061 minterms
From[106]: 55 nodes 1 leaves 52 minterms
Reached[106]: 141 nodes 1 leaves 7113 minterms
From[107]: 40 nodes 1 leaves 48 minterms
Reached[107]: 141 nodes 1 leaves 7161 minterms
From[108]: 41 nodes 1 leaves 48 minterms
Reached[108]: 140 nodes 1 leaves 7209 minterms
From[109]: 39 nodes 1 leaves 48 minterms
Reached[109]: 141 nodes 1 leaves 7257 minterms
From[110]: 43 nodes 1 leaves 48 minterms
Reached[110]: 141 nodes 1 leaves 7305 minterms
From[111]: 49 nodes 1 leaves 44 minterms
Reached[111]: 145 nodes 1 leaves 7349 minterms
From[112]: 41 nodes 1 leaves 52 minterms
Reached[112]: 147 nodes 1 leaves 7401 minterms
From[113]: 42 nodes 1 leaves 48 minterms
Reached[113]: 150 nodes 1 leaves 7449 minterms
From[114]: 45 nodes 1 leaves 44 minterms
Reached[114]: 147 nodes 1 leaves 7493 minterms
From[115]: 43 nodes 1 leaves 44 minterms
Reached[115]: 145 nodes 1 leaves 7537 minterms
From[116]: 41 nodes 1 leaves 48 minterms
Reached[116]: 141 nodes 1 leaves 7585 minterms
From[117]: 40 nodes 1 leaves 48 minterms
Reached[117]: 141 nodes 1 leaves 7633 minterms
From[118]: 41 nodes 1 leaves 48 minterms
Reached[118]: 140 nodes 1 leaves 7681 minterms
From[119]: 39 nodes 1 leaves 48 minterms
Reached[119]: 141 nodes 1 leaves 7729 minterms
From[120]: 43 nodes 1 leaves 48 minterms
Reached[120]: 141 nodes 1 leaves 7777 minterms
From[121]: 50 nodes 1 leaves 44 minterms
Reached[121]: 145 nodes 1 leaves 7821 minterms
From[122]: 42 nodes 1 leaves 52 minterms
Reached[122]: 148 nodes 1 leaves 7873 minterms
From[123]: 43 nodes 1 leaves 48 minterms
Reached[123]: 151 nodes 1 leaves 7921 minterms
From[124]: 46 nodes 1 leaves 44 minterms
Reached[124]: 148 nodes 1 leaves 7965 minterms
From[125]: 44 nodes 1 leaves 44 minterms
Reached[125]: 144 nodes 1 leaves 8009 minterms
From[126]: 42 nodes 1 leaves 48 minterms
Reached[126]: 141 nodes 1 leaves 8057 minterms
From[127]: 40 nodes 1 leaves 48 minterms
Reached[127]: 141 nodes 1 leaves 8105 minterms
From[128]: 41 nodes 1 leaves 48 minterms
Reached[128]: 140 nodes 1 leaves 8153 minterms
From[129]: 39 nodes 1 leaves 48 minterms
Reached[129]: 141 nodes 1 leaves 8201 minterms
From[130]: 43 nodes 1 leaves 48 minterms
Reached[130]: 141 nodes 1 leaves 8249 minterms
From[131]: 49 nodes 1 leaves 44 minterms
Reached[131]: 145 nodes 1 leaves 8293 minterms
From[132]: 41 nodes 1 leaves 52 minterms
Reached[132]: 147 nodes 1 leaves 8345 minterms
From[133]: 42 nodes 1 leaves 48 minterms
Reached[133]: 150 nodes 1 leaves 8393 minterms
From[134]: 45 nodes 1 leaves 44 minterms
Reached[134]: 147 nodes 1 leaves 8437 minterms
From[135]: 43 nodes 1 leaves 44 minterms
Reached[135]: 145 nodes 1 leaves 8481 minterms
From[136]: 41 nodes 1 leaves 48 minterms
Reached[136]: 141 nodes 1 leaves 8529 minterms
From[137]: 40 nodes 1 leaves 48 minterms
Reached[137]: 141 nodes 1 leaves 8577 minterms
From[138]: 41 nodes 1 leaves 48 minterms
Reached[138]: 140 nodes 1 leaves 8625 minterms
From[139]: 39 nodes 1 leaves 48 minterms
Reached[139]: 141 nodes 1 leaves 8673 minterms
From[140]: 43 nodes 1 leaves 48 minterms
Reached[140]: 141 nodes 1 leaves 8721 minterms
From[141]: 45 nodes 1 leaves 40 minterms
Reached[141]: 145 nodes 1 leaves 8761 minterms
From[142]: 36 nodes 1 leaves 40 minterms
Reached[142]: 140 nodes 1 leaves 8801 minterms
From[143]: 37 nodes 1 leaves 28 minterms
Reached[143]: 138 nodes 1 leaves 8829 minterms
From[144]: 44 nodes 1 leaves 20 minterms
Reached[144]: 128 nodes 1 leaves 8849 minterms
From[145]: 32 nodes 1 leaves 12 minterms
Reached[145]: 120 nodes 1 leaves 8861 minterms
From[146]: 19 nodes 1 leaves 8 minterms
Reached[146]: 108 nodes 1 leaves 8869 minterms
S0: 22 nodes 1 leaves 1 minterms
SCC[2]: 22 nodes 1 leaves 1 minterms
S0: 22 nodes 1 leaves 1 minterms
From[1]: 40 nodes 1 leaves 5 minterms
Reached[1]: 58 nodes 1 leaves 6 minterms
From[2]: 33 nodes 1 leaves 12 minterms
Reached[2]: 87 nodes 1 leaves 18 minterms
From[3]: 33 nodes 1 leaves 20 minterms
Reached[3]: 94 nodes 1 leaves 38 minterms
From[4]: 32 nodes 1 leaves 28 minterms
Reached[4]: 97 nodes 1 leaves 66 minterms
From[5]: 33 nodes 1 leaves 36 minterms
Reached[5]: 102 nodes 1 leaves 102 minterms
From[6]: 49 nodes 1 leaves 40 minterms
Reached[6]: 110 nodes 1 leaves 142 minterms
From[7]: 50 nodes 1 leaves 52 minterms
Reached[7]: 123 nodes 1 leaves 194 minterms
From[8]: 51 nodes 1 leaves 60 minterms
Reached[8]: 128 nodes 1 leaves 254 minterms
From[9]: 50 nodes 1 leaves 68 minterms
Reached[9]: 130 nodes 1 leaves 322 minterms
From[10]: 52 nodes 1 leaves 76 minterms
Reached[10]: 133 nodes 1 leaves 398 minterms
From[11]: 54 nodes 1 leaves 80 minterms
Reached[11]: 137 nodes 1 leaves 478 minterms
From[12]: 60 nodes 1 leaves 88 minterms
Reached[12]: 148 nodes 1 leaves 566 minterms
From[13]: 58 nodes 1 leaves 88 minterms
Reached[13]: 148 nodes 1 leaves 654 minterms
From[14]: 58 nodes 1 leaves 88 minterms
Reached[14]: 144 nodes 1 leaves 742 minterms
From[15]: 52 nodes 1 leaves 88 minterms
Reached[15]: 143 nodes 1 leaves 830 minterms
From[16]: 56 nodes 1 leaves 80 minterms
Reached[16]: 150 nodes 1 leaves 910 minterms
From[17]: 54 nodes 1 leaves 88 minterms
Reached[17]: 159 nodes 1 leaves 998 minterms
From[18]: 56 nodes 1 leaves 88 minterms
Reached[18]: 157 nodes 1 leaves 1086 minterms
From[19]: 53 nodes 1 leaves 88 minterms
Reached[19]: 153 nodes 1 leaves 1174 minterms
From[20]: 54 nodes 1 leaves 88 minterms
Reached[20]: 150 nodes 1 leaves 1262 minterms
From[21]: 48 nodes 1 leaves 88 minterms
Reached[21]: 151 nodes 1 leaves 1350 minterms
From[22]: 59 nodes 1 leaves 88 minterms
Reached[22]: 162 nodes 1 leaves 1438 minterms
From[23]: 57 nodes 1 leaves 88 minterms
Reached[23]: 161 nodes 1 leaves 1526 minterms
From[24]: 57 nodes 1 leaves 88 minterms
Reached[24]: 154 nodes 1 leaves 1614 minterms
From[25]: 52 nodes 1 leaves 88 minterms
Reached[25]: 151 nodes 1 leaves 1702 minterms
From[26]: 57 nodes 1 leaves 80 minterms
Reached[26]: 158 nodes 1 leaves 1782 minterms
From[27]: 57 nodes 1 leaves 88 minterms
Reached[27]: 169 nodes 1 leaves 1870 minterms
From[28]: 59 nodes 1 leaves 88 minterms
Reached[28]: 167 nodes 1 leaves 1958 minterms
From[29]: 56 nodes 1 leaves 88 minterms
Reached[29]: 163 nodes 1 leaves 2046 minterms
From[30]: 57 nodes 1 leaves 88 minterms
Reached[30]: 155 nodes 1 leaves 2134 minterms
From[31]: 50 nodes 1 leaves 88 minterms
Reached[31]: 156 nodes 1 leaves 2222 minterms
From[32]: 62 nodes 1 leaves 88 minterms
Reached[32]: 168 nodes 1 leaves 2310 minterms
From[33]: 74 nodes 1 leaves 92 minterms
Reached[33]: 179 nodes 1 leaves 2402 minterms
From[34]: 73 nodes 1 leaves 92 minterms
Reached[34]: 170 nodes 1 leaves 2494 minterms
From[35]: 67 nodes 1 leaves 92 minterms
Reached[35]: 165 nodes 1 leaves 2586 minterms
From[36]: 68 nodes 1 leaves 84 minterms
Reached[36]: 172 nodes 1 leaves 2670 minterms
From[37]: 68 nodes 1 leaves 92 minterms
Reached[37]: 181 nodes 1 leaves 2762 minterms
From[38]: 77 nodes 1 leaves 100 minterms
Reached[38]: 190 nodes 1 leaves 2862 minterms
From[39]: 75 nodes 1 leaves 104 minterms
Reached[39]: 186 nodes 1 leaves 2966 minterms
From[40]: 73 nodes 1 leaves 108 minterms
Reached[40]: 179 nodes 1 leaves 3074 minterms
From[41]: 73 nodes 1 leaves 108 minterms
Reached[41]: 179 nodes 1 leaves 3182 minterms
From[42]: 70 nodes 1 leaves 116 minterms
Reached[42]: 192 nodes 1 leaves 3298 minterms
From[43]: 75 nodes 1 leaves 120 minterms
Reached[43]: 193 nodes 1 leaves 3418 minterms
From[44]: 73 nodes 1 leaves 124 minterms
Reached[44]: 185 nodes 1 leaves 3542 minterms
From[45]: 69 nodes 1 leaves 128 minterms
Reached[45]: 181 nodes 1 leaves 3670 minterms
From[46]: 75 nodes 1 leaves 120 minterms
Reached[46]: 193 nodes 1 leaves 3790 minterms
From[47]: 73 nodes 1 leaves 136 minterms
Reached[47]: 201 nodes 1 leaves 3926 minterms
From[48]: 75 nodes 1 leaves 132 minterms
Reached[48]: 199 nodes 1 leaves 4058 minterms
From[49]: 73 nodes 1 leaves 132 minterms
Reached[49]: 194 nodes 1 leaves 4190 minterms
From[50]: 70 nodes 1 leaves 132 minterms
Reached[50]: 187 nodes 1 leaves 4322 minterms
From[51]: 71 nodes 1 leaves 128 minterms
Reached[51]: 185 nodes 1 leaves 4450 minterms
From[52]: 58 nodes 1 leaves 128 minterms
Reached[52]: 195 nodes 1 leaves 4578 minterms
From[53]: 62 nodes 1 leaves 120 minterms
Reached[53]: 186 nodes 1 leaves 4698 minterms
From[54]: 57 nodes 1 leaves 116 minterms
Reached[54]: 176 nodes 1 leaves 4814 minterms
From[55]: 57 nodes 1 leaves 112 minterms
Reached[55]: 167 nodes 1 leaves 4926 minterms
From[56]: 57 nodes 1 leaves 100 minterms
Reached[56]: 176 nodes 1 leaves 5026 minterms
From[57]: 56 nodes 1 leaves 104 minterms
Reached[57]: 178 nodes 1 leaves 5130 minterms
From[58]: 56 nodes 1 leaves 100 minterms
Reached[58]: 177 nodes 1 leaves 5230 minterms
From[59]: 56 nodes 1 leaves 96 minterms
Reached[59]: 172 nodes 1 leaves 5326 minterms
From[60]: 53 nodes 1 leaves 92 minterms
Reached[60]: 162 nodes 1 leaves 5418 minterms
From[61]: 55 nodes 1 leaves 92 minterms
Reached[61]: 158 nodes 1 leaves 5510 minterms
From[62]: 49 nodes 1 leaves 88 minterms
Reached[62]: 171 nodes 1 leaves 5598 minterms
From[63]: 51 nodes 1 leaves 88 minterms
Reached[63]: 162 nodes 1 leaves 5686 minterms
From[64]: 45 nodes 1 leaves 88 minterms
Reached[64]: 157 nodes 1 leaves 5774 minterms
From[65]: 48 nodes 1 leaves 88 minterms
Reached[65]: 151 nodes 1 leaves 5862 minterms
From[66]: 47 nodes 1 leaves 80 minterms
Reached[66]: 162 nodes 1 leaves 5942 minterms
From[67]: 50 nodes 1 leaves 88 minterms
Reached[67]: 169 nodes 1 leaves 6030 minterms
From[68]: 54 nodes 1 leaves 92 minterms
Reached[68]: 187 nodes 1 leaves 6122 minterms
From[69]: 57 nodes 1 leaves 92 minterms
Reached[69]: 183 nodes 1 leaves 6214 minterms
From[70]: 53 nodes 1 leaves 92 minterms
Reached[70]: 179 nodes 1 leaves 6306 minterms
From[71]: 55 nodes 1 leaves 92 minterms
Reached[71]: 175 nodes 1 leaves 6398 minterms
From[72]: 63 nodes 1 leaves 92 minterms
Reached[72]: 189 nodes 1 leaves 6490 minterms
From[73]: 65 nodes 1 leaves 92 minterms
Reached[73]: 180 nodes 1 leaves 6582 minterms
From[74]: 56 nodes 1 leaves 92 minterms
Reached[74]: 173 nodes 1 leaves 6674 minterms
From[75]: 59 nodes 1 leaves 92 minterms
Reached[75]: 164 nodes 1 leaves 6766 minterms
From[76]: 53 nodes 1 leaves 80 minterms
Reached[76]: 171 nodes 1 leaves 6846 minterms
From[77]: 42 nodes 1 leaves 92 minterms
Reached[77]: 173 nodes 1 leaves 6938 minterms
From[78]: 50 nodes 1 leaves 92 minterms
Reached[78]: 187 nodes 1 leaves 7030 minterms
From[79]: 53 nodes 1 leaves 92 minterms
Reached[79]: 182 nodes 1 leaves 7122 minterms
From[80]: 49 nodes 1 leaves 92 minterms
Reached[80]: 178 nodes 1 leaves 7214 minterms
From[81]: 51 nodes 1 leaves 92 minterms
Reached[81]: 174 nodes 1 leaves 7306 minterms
From[82]: 53 nodes 1 leaves 92 minterms
Reached[82]: 185 nodes 1 leaves 7398 minterms
From[83]: 55 nodes 1 leaves 92 minterms
Reached[83]: 176 nodes 1 leaves 7490 minterms
From[84]: 49 nodes 1 leaves 92 minterms
Reached[84]: 171 nodes 1 leaves 7582 minterms
From[85]: 52 nodes 1 leaves 92 minterms
Reached[85]: 165 nodes 1 leaves 7674 minterms
From[86]: 52 nodes 1 leaves 80 minterms
Reached[86]: 174 nodes 1 leaves 7754 minterms
From[87]: 48 nodes 1 leaves 88 minterms
Reached[87]: 176 nodes 1 leaves 7842 minterms
From[88]: 48 nodes 1 leaves 80 minterms
Reached[88]: 180 nodes 1 leaves 7922 minterms
From[89]: 51 nodes 1 leaves 76 minterms
Reached[89]: 175 nodes 1 leaves 7998 minterms
From[90]: 47 nodes 1 leaves 72 minterms
Reached[90]: 171 nodes 1 leaves 8070 minterms
From[91]: 49 nodes 1 leaves 68 minterms
Reached[91]: 167 nodes 1 leaves 8138 minterms
From[92]: 52 nodes 1 leaves 64 minterms
Reached[92]: 176 nodes 1 leaves 8202 minterms
From[93]: 54 nodes 1 leaves 60 minterms
Reached[93]: 167 nodes 1 leaves 8262 minterms
From[94]: 46 nodes 1 leaves 56 minterms
Reached[94]: 161 nodes 1 leaves 8318 minterms
From[95]: 49 nodes 1 leaves 52 minterms
Reached[95]: 153 nodes 1 leaves 8370 minterms
From[96]: 50 nodes 1 leaves 43 minterms
Reached[96]: 150 nodes 1 leaves 8413 minterms
From[97]: 37 nodes 1 leaves 48 minterms
Reached[97]: 152 nodes 1 leaves 8461 minterms
From[98]: 36 nodes 1 leaves 48 minterms
Reached[98]: 156 nodes 1 leaves 8509 minterms
From[99]: 39 nodes 1 leaves 48 minterms
Reached[99]: 152 nodes 1 leaves 8557 minterms
From[100]: 36 nodes 1 leaves 48 minterms
Reached[100]: 148 nodes 1 leaves 8605 minterms
From[101]: 35 nodes 1 leaves 44 minterms
Reached[101]: 145 nodes 1 leaves 8649 minterms
From[102]: 36 nodes 1 leaves 40 minterms
Reached[102]: 144 nodes 1 leaves 8689 minterms
From[103]: 37 nodes 1 leaves 36 minterms
Reached[103]: 136 nodes 1 leaves 8725 minterms
From[104]: 34 nodes 1 leaves 32 minterms
Reached[104]: 129 nodes 1 leaves 8757 minterms
From[105]: 23 nodes 1 leaves 28 minterms
Reached[105]: 123 nodes 1 leaves 8785 minterms
From[106]: 20 nodes 1 leaves 20 minterms
Reached[106]: 125 nodes 1 leaves 8805 minterms
From[107]: 33 nodes 1 leaves 20 minterms
Reached[107]: 122 nodes 1 leaves 8825 minterms
From[108]: 32 nodes 1 leaves 16 minterms
Reached[108]: 120 nodes 1 leaves 8841 minterms
From[109]: 33 nodes 1 leaves 12 minterms
Reached[109]: 113 nodes 1 leaves 8853 minterms
From[110]: 21 nodes 1 leaves 8 minterms
Reached[110]: 106 nodes 1 leaves 8861 minterms
From[111]: 20 nodes 1 leaves 4 minterms
Reached[111]: 96 nodes 1 leaves 8865 minterms
S0: 22 nodes 1 leaves 1 minterms
SCC[3]: 22 nodes 1 leaves 1 minterms
S0: 22 nodes 1 leaves 1 minterms
From[1]: 37 nodes 1 leaves 5 minterms
Reached[1]: 56 nodes 1 leaves 6 minterms
From[2]: 31 nodes 1 leaves 12 minterms
Reached[2]: 70 nodes 1 leaves 18 minterms
From[3]: 30 nodes 1 leaves 20 minterms
Reached[3]: 72 nodes 1 leaves 38 minterms
From[4]: 33 nodes 1 leaves 28 minterms
Reached[4]: 78 nodes 1 leaves 66 minterms
From[5]: 44 nodes 1 leaves 40 minterms
Reached[5]: 93 nodes 1 leaves 106 minterms
From[6]: 45 nodes 1 leaves 48 minterms
Reached[6]: 100 nodes 1 leaves 154 minterms
From[7]: 45 nodes 1 leaves 56 minterms
Reached[7]: 101 nodes 1 leaves 210 minterms
From[8]: 47 nodes 1 leaves 64 minterms
Reached[8]: 103 nodes 1 leaves 274 minterms
From[9]: 45 nodes 1 leaves 72 minterms
Reached[9]: 104 nodes 1 leaves 346 minterms
From[10]: 45 nodes 1 leaves 80 minterms
Reached[10]: 110 nodes 1 leaves 426 minterms
From[11]: 51 nodes 1 leaves 76 minterms
Reached[11]: 121 nodes 1 leaves 502 minterms
From[12]: 51 nodes 1 leaves 88 minterms
Reached[12]: 122 nodes 1 leaves 590 minterms
From[13]: 47 nodes 1 leaves 88 minterms
Reached[13]: 126 nodes 1 leaves 678 minterms
From[14]: 49 nodes 1 leaves 88 minterms
Reached[14]: 123 nodes 1 leaves 766 minterms
From[15]: 44 nodes 1 leaves 88 minterms
Reached[15]: 127 nodes 1 leaves 854 minterms
From[16]: 51 nodes 1 leaves 88 minterms
Reached[16]: 131 nodes 1 leaves 942 minterms
From[17]: 50 nodes 1 leaves 88 minterms
Reached[17]: 132 nodes 1 leaves 1030 minterms
From[18]: 53 nodes 1 leaves 88 minterms
Reached[18]: 128 nodes 1 leaves 1118 minterms
From[19]: 48 nodes 1 leaves 88 minterms
Reached[19]: 124 nodes 1 leaves 1206 minterms
From[20]: 50 nodes 1 leaves 88 minterms
Reached[20]: 126 nodes 1 leaves 1294 minterms
From[21]: 55 nodes 1 leaves 80 minterms
Reached[21]: 140 nodes 1 leaves 1374 minterms
From[22]: 58 nodes 1 leaves 88 minterms
Reached[22]: 141 nodes 1 leaves 1462 minterms
From[23]: 54 nodes 1 leaves 88 minterms
Reached[23]: 142 nodes 1 leaves 1550 minterms
From[24]: 53 nodes 1 leaves 88 minterms
Reached[24]: 137 nodes 1 leaves 1638 minterms
From[25]: 45 nodes 1 leaves 88 minterms
Reached[25]: 141 nodes 1 leaves 1726 minterms
From[26]: 49 nodes 1 leaves 88 minterms
Reached[26]: 142 nodes 1 leaves 1814 minterms
From[27]: 48 nodes 1 leaves 88 minterms
Reached[27]: 143 nodes 1 leaves 1902 minterms
From[28]: 51 nodes 1 leaves 88 minterms
Reached[28]: 139 nodes 1 leaves 1990 minterms
From[29]: 46 nodes 1 leaves 88 minterms
Reached[29]: 134 nodes 1 leaves 2078 minterms
From[30]: 48 nodes 1 leaves 88 minterms
Reached[30]: 132 nodes 1 leaves 2166 minterms
From[31]: 49 nodes 1 leaves 80 minterms
Reached[31]: 143 nodes 1 leaves 2246 minterms
From[32]: 51 nodes 1 leaves 88 minterms
Reached[32]: 142 nodes 1 leaves 2334 minterms
From[33]: 58 nodes 1 leaves 92 minterms
Reached[33]: 156 nodes 1 leaves 2426 minterms
From[34]: 60 nodes 1 leaves 92 minterms
Reached[34]: 150 nodes 1 leaves 2518 minterms
From[35]: 55 nodes 1 leaves 92 minterms
Reached[35]: 154 nodes 1 leaves 2610 minterms
From[36]: 61 nodes 1 leaves 92 minterms
Reached[36]: 157 nodes 1 leaves 2702 minterms
From[37]: 61 nodes 1 leaves 92 minterms
Reached[37]: 158 nodes 1 leaves 2794 minterms
From[38]: 64 nodes 1 leaves 92 minterms
Reached[38]: 154 nodes 1 leaves 2886 minterms
From[39]: 59 nodes 1 leaves 92 minterms
Reached[39]: 149 nodes 1 leaves 2978 minterms
From[40]: 61 nodes 1 leaves 92 minterms
Reached[40]: 148 nodes 1 leaves 3070 minterms
From[41]: 68 nodes 1 leaves 80 minterms
Reached[41]: 160 nodes 1 leaves 3150 minterms
From[42]: 60 nodes 1 leaves 92 minterms
Reached[42]: 159 nodes 1 leaves 3242 minterms
From[43]: 67 nodes 1 leaves 100 minterms
Reached[43]: 170 nodes 1 leaves 3342 minterms
From[44]: 66 nodes 1 leaves 104 minterms
Reached[44]: 163 nodes 1 leaves 3446 minterms
From[45]: 58 nodes 1 leaves 108 minterms
Reached[45]: 167 nodes 1 leaves 3554 minterms
From[46]: 61 nodes 1 leaves 112 minterms
Reached[46]: 168 nodes 1 leaves 3666 minterms
From[47]: 69 nodes 1 leaves 120 minterms
Reached[47]: 178 nodes 1 leaves 3786 minterms
From[48]: 72 nodes 1 leaves 124 minterms
Reached[48]: 174 nodes 1 leaves 3910 minterms
From[49]: 66 nodes 1 leaves 128 minterms
Reached[49]: 169 nodes 1 leaves 4038 minterms
From[50]: 62 nodes 1 leaves 132 minterms
Reached[50]: 168 nodes 1 leaves 4170 minterms
From[51]: 71 nodes 1 leaves 116 minterms
Reached[51]: 182 nodes 1 leaves 4286 minterms
From[52]: 57 nodes 1 leaves 144 minterms
Reached[52]: 180 nodes 1 leaves 4430 minterms
From[53]: 55 nodes 1 leaves 136 minterms
Reached[53]: 180 nodes 1 leaves 4566 minterms
From[54]: 56 nodes 1 leaves 136 minterms
Reached[54]: 174 nodes 1 leaves 4702 minterms
From[55]: 51 nodes 1 leaves 136 minterms
Reached[55]: 176 nodes 1 leaves 4838 minterms
From[56]: 55 nodes 1 leaves 136 minterms
Reached[56]: 175 nodes 1 leaves 4974 minterms
From[57]: 59 nodes 1 leaves 136 minterms
Reached[57]: 183 nodes 1 leaves 5110 minterms
From[58]: 62 nodes 1 leaves 136 minterms
Reached[58]: 177 nodes 1 leaves 5246 minterms
From[59]: 55 nodes 1 leaves 136 minterms
Reached[59]: 170 nodes 1 leaves 5382 minterms
From[60]: 50 nodes 1 leaves 136 minterms
Reached[60]: 167 nodes 1 leaves 5518 minterms
From[61]: 60 nodes 1 leaves 120 minterms
Reached[61]: 184 nodes 1 leaves 5638 minterms
From[62]: 63 nodes 1 leaves 136 minterms
Reached[62]: 185 nodes 1 leaves 5774 minterms
From[63]: 58 nodes 1 leaves 136 minterms
Reached[63]: 184 nodes 1 leaves 5910 minterms
From[64]: 58 nodes 1 leaves 136 minterms
Reached[64]: 177 nodes 1 leaves 6046 minterms
From[65]: 52 nodes 1 leaves 136 minterms
Reached[65]: 178 nodes 1 leaves 6182 minterms
From[66]: 55 nodes 1 leaves 136 minterms
Reached[66]: 176 nodes 1 leaves 6318 minterms
From[67]: 61 nodes 1 leaves 132 minterms
Reached[67]: 180 nodes 1 leaves 6450 minterms
From[68]: 64 nodes 1 leaves 128 minterms
Reached[68]: 174 nodes 1 leaves 6578 minterms
From[69]: 56 nodes 1 leaves 124 minterms
Reached[69]: 166 nodes 1 leaves 6702 minterms
From[70]: 56 nodes 1 leaves 120 minterms
Reached[70]: 161 nodes 1 leaves 6822 minterms
From[71]: 52 nodes 1 leaves 100 minterms
Reached[71]: 174 nodes 1 leaves 6922 minterms
From[72]: 60 nodes 1 leaves 108 minterms
Reached[72]: 173 nodes 1 leaves 7030 minterms
From[73]: 56 nodes 1 leaves 104 minterms
Reached[73]: 173 nodes 1 leaves 7134 minterms
From[74]: 58 nodes 1 leaves 100 minterms
Reached[74]: 167 nodes 1 leaves 7234 minterms
From[75]: 49 nodes 1 leaves 96 minterms
Reached[75]: 166 nodes 1 leaves 7330 minterms
From[76]: 52 nodes 1 leaves 88 minterms
Reached[76]: 158 nodes 1 leaves 7418 minterms
From[77]: 47 nodes 1 leaves 80 minterms
Reached[77]: 159 nodes 1 leaves 7498 minterms
From[78]: 49 nodes 1 leaves 76 minterms
Reached[78]: 154 nodes 1 leaves 7574 minterms
From[79]: 44 nodes 1 leaves 72 minterms
Reached[79]: 149 nodes 1 leaves 7646 minterms
From[80]: 46 nodes 1 leaves 68 minterms
Reached[80]: 148 nodes 1 leaves 7714 minterms
From[81]: 49 nodes 1 leaves 60 minterms
Reached[81]: 149 nodes 1 leaves 7774 minterms
From[82]: 50 nodes 1 leaves 56 minterms
Reached[82]: 151 nodes 1 leaves 7830 minterms
From[83]: 52 nodes 1 leaves 56 minterms
Reached[83]: 155 nodes 1 leaves 7886 minterms
From[84]: 46 nodes 1 leaves 52 minterms
Reached[84]: 144 nodes 1 leaves 7938 minterms
From[85]: 38 nodes 1 leaves 44 minterms
Reached[85]: 145 nodes 1 leaves 7982 minterms
From[86]: 40 nodes 1 leaves 44 minterms
Reached[86]: 145 nodes 1 leaves 8026 minterms
From[87]: 39 nodes 1 leaves 44 minterms
Reached[87]: 146 nodes 1 leaves 8070 minterms
From[88]: 41 nodes 1 leaves 44 minterms
Reached[88]: 141 nodes 1 leaves 8114 minterms
From[89]: 36 nodes 1 leaves 44 minterms
Reached[89]: 139 nodes 1 leaves 8158 minterms
From[90]: 37 nodes 1 leaves 44 minterms
Reached[90]: 138 nodes 1 leaves 8202 minterms
From[91]: 35 nodes 1 leaves 40 minterms
Reached[91]: 136 nodes 1 leaves 8242 minterms
From[92]: 23 nodes 1 leaves 44 minterms
Reached[92]: 136 nodes 1 leaves 8286 minterms
From[93]: 35 nodes 1 leaves 44 minterms
Reached[93]: 146 nodes 1 leaves 8330 minterms
From[94]: 38 nodes 1 leaves 44 minterms
Reached[94]: 144 nodes 1 leaves 8374 minterms
From[95]: 35 nodes 1 leaves 44 minterms
Reached[95]: 145 nodes 1 leaves 8418 minterms
From[96]: 37 nodes 1 leaves 44 minterms
Reached[96]: 145 nodes 1 leaves 8462 minterms
From[97]: 36 nodes 1 leaves 44 minterms
Reached[97]: 146 nodes 1 leaves 8506 minterms
From[98]: 38 nodes 1 leaves 44 minterms
Reached[98]: 141 nodes 1 leaves 8550 minterms
From[99]: 33 nodes 1 leaves 44 minterms
Reached[99]: 139 nodes 1 leaves 8594 minterms
From[100]: 34 nodes 1 leaves 44 minterms
Reached[100]: 139 nodes 1 leaves 8638 minterms
From[101]: 35 nodes 1 leaves 40 minterms
Reached[101]: 139 nodes 1 leaves 8678 minterms
From[102]: 19 nodes 1 leaves 40 minterms
Reached[102]: 134 nodes 1 leaves 8718 minterms
From[103]: 21 nodes 1 leaves 32 minterms
Reached[103]: 134 nodes 1 leaves 8750 minterms
From[104]: 22 nodes 1 leaves 28 minterms
Reached[104]: 130 nodes 1 leaves 8778 minterms
From[105]: 20 nodes 1 leaves 24 minterms
Reached[105]: 128 nodes 1 leaves 8802 minterms
From[106]: 22 nodes 1 leaves 20 minterms
Reached[106]: 124 nodes 1 leaves 8822 minterms
From[107]: 21 nodes 1 leaves 16 minterms
Reached[107]: 123 nodes 1 leaves 8838 minterms
From[108]: 22 nodes 1 leaves 12 minterms
Reached[108]: 117 nodes 1 leaves 8850 minterms
From[109]: 19 nodes 1 leaves 8 minterms
Reached[109]: 114 nodes 1 leaves 8858 minterms
From[110]: 20 nodes 1 leaves 4 minterms
Reached[110]: 108 nodes 1 leaves 8862 minterms
From[111]: 22 nodes 1 leaves 3 minterms
Reached[111]: 97 nodes 1 leaves 8865 minterms
S0: 22 nodes 1 leaves 1 minterms
SCC[4]: 22 nodes 1 leaves 1 minterms
S0: 22 nodes 1 leaves 1 minterms
From[1]: 37 nodes 1 leaves 5 minterms
Reached[1]: 54 nodes 1 leaves 6 minterms
From[2]: 31 nodes 1 leaves 12 minterms
Reached[2]: 69 nodes 1 leaves 18 minterms
From[3]: 30 nodes 1 leaves 20 minterms
Reached[3]: 72 nodes 1 leaves 38 minterms
From[4]: 39 nodes 1 leaves 28 minterms
Reached[4]: 82 nodes 1 leaves 66 minterms
From[5]: 38 nodes 1 leaves 32 minterms
Reached[5]: 84 nodes 1 leaves 98 minterms
From[6]: 38 nodes 1 leaves 36 minterms
Reached[6]: 90 nodes 1 leaves 134 minterms
From[7]: 38 nodes 1 leaves 40 minterms
Reached[7]: 93 nodes 1 leaves 174 minterms
From[8]: 39 nodes 1 leaves 44 minterms
Reached[8]: 93 nodes 1 leaves 218 minterms
From[9]: 37 nodes 1 leaves 48 minterms
Reached[9]: 94 nodes 1 leaves 266 minterms
From[10]: 37 nodes 1 leaves 52 minterms
Reached[10]: 100 nodes 1 leaves 318 minterms
From[11]: 37 nodes 1 leaves 48 minterms
Reached[11]: 102 nodes 1 leaves 366 minterms
From[12]: 39 nodes 1 leaves 48 minterms
Reached[12]: 104 nodes 1 leaves 414 minterms
From[13]: 33 nodes 1 leaves 44 minterms
Reached[13]: 108 nodes 1 leaves 458 minterms
From[14]: 26 nodes 1 leaves 40 minterms
Reached[14]: 104 nodes 1 leaves 498 minterms
From[15]: 22 nodes 1 leaves 40 minterms
Reached[15]: 105 nodes 1 leaves 538 minterms
From[16]: 26 nodes 1 leaves 40 minterms
Reached[16]: 107 nodes 1 leaves 578 minterms
From[17]: 23 nodes 1 leaves 40 minterms
Reached[17]: 108 nodes 1 leaves 618 minterms
From[18]: 26 nodes 1 leaves 40 minterms
Reached[18]: 102 nodes 1 leaves 658 minterms
From[19]: 20 nodes 1 leaves 40 minterms
Reached[19]: 100 nodes 1 leaves 698 minterms
From[20]: 24 nodes 1 leaves 40 minterms
Reached[20]: 101 nodes 1 leaves 738 minterms
From[21]: 19 nodes 1 leaves 40 minterms
Reached[21]: 103 nodes 1 leaves 778 minterms
From[22]: 27 nodes 1 leaves 40 minterms
Reached[22]: 106 nodes 1 leaves 818 minterms
From[23]: 23 nodes 1 leaves 40 minterms
Reached[23]: 110 nodes 1 leaves 858 minterms
From[24]: 27 nodes 1 leaves 40 minterms
Reached[24]: 106 nodes 1 leaves 898 minterms
From[25]: 23 nodes 1 leaves 40 minterms
Reached[25]: 107 nodes 1 leaves 938 minterms
From[26]: 27 nodes 1 leaves 40 minterms
Reached[26]: 109 nodes 1 leaves 978 minterms
From[27]: 24 nodes 1 leaves 40 minterms
Reached[27]: 110 nodes 1 leaves 1018 minterms
From[28]: 27 nodes 1 leaves 40 minterms
Reached[28]: 104 nodes 1 leaves 1058 minterms
From[29]: 21 nodes 1 leaves 40 minterms
Reached[29]: 102 nodes 1 leaves 1098 minterms
From[30]: 25 nodes 1 leaves 40 minterms
Reached[30]: 101 nodes 1 leaves 1138 minterms
From[31]: 19 nodes 1 leaves 40 minterms
Reached[31]: 103 nodes 1 leaves 1178 minterms
From[32]: 26 nodes 1 leaves 40 minterms
Reached[32]: 105 nodes 1 leaves 1218 minterms
From[33]: 36 nodes 1 leaves 44 minterms
Reached[33]: 122 nodes 1 leaves 1262 minterms
From[34]: 39 nodes 1 leaves 44 minterms
Reached[34]: 118 nodes 1 leaves 1306 minterms
From[35]: 36 nodes 1 leaves 44 minterms
Reached[35]: 119 nodes 1 leaves 1350 minterms
From[36]: 38 nodes 1 leaves 44 minterms
Reached[36]: 121 nodes 1 leaves 1394 minterms
From[37]: 37 nodes 1 leaves 44 minterms
Reached[37]: 122 nodes 1 leaves 1438 minterms
From[38]: 39 nodes 1 leaves 44 minterms
Reached[38]: 116 nodes 1 leaves 1482 minterms
From[39]: 34 nodes 1 leaves 44 minterms
Reached[39]: 114 nodes 1 leaves 1526 minterms
From[40]: 35 nodes 1 leaves 44 minterms
Reached[40]: 114 nodes 1 leaves 1570 minterms
From[41]: 36 nodes 1 leaves 40 minterms
Reached[41]: 114 nodes 1 leaves 1610 minterms
From[42]: 25 nodes 1 leaves 44 minterms
Reached[42]: 117 nodes 1 leaves 1654 minterms
From[43]: 43 nodes 1 leaves 52 minterms
Reached[43]: 137 nodes 1 leaves 1706 minterms
From[44]: 46 nodes 1 leaves 56 minterms
Reached[44]: 133 nodes 1 leaves 1762 minterms
From[45]: 43 nodes 1 leaves 60 minterms
Reached[45]: 134 nodes 1 leaves 1822 minterms
From[46]: 45 nodes 1 leaves 64 minterms
Reached[46]: 136 nodes 1 leaves 1886 minterms
From[47]: 60 nodes 1 leaves 72 minterms
Reached[47]: 152 nodes 1 leaves 1958 minterms
From[48]: 62 nodes 1 leaves 76 minterms
Reached[48]: 146 nodes 1 leaves 2034 minterms
From[49]: 57 nodes 1 leaves 80 minterms
Reached[49]: 144 nodes 1 leaves 2114 minterms
From[50]: 58 nodes 1 leaves 84 minterms
Reached[50]: 144 nodes 1 leaves 2198 minterms
From[51]: 59 nodes 1 leaves 76 minterms
Reached[51]: 151 nodes 1 leaves 2274 minterms
From[52]: 44 nodes 1 leaves 96 minterms
Reached[52]: 152 nodes 1 leaves 2370 minterms
From[53]: 46 nodes 1 leaves 88 minterms
Reached[53]: 156 nodes 1 leaves 2458 minterms
From[54]: 49 nodes 1 leaves 88 minterms
Reached[54]: 152 nodes 1 leaves 2546 minterms
From[55]: 45 nodes 1 leaves 88 minterms
Reached[55]: 151 nodes 1 leaves 2634 minterms
From[56]: 47 nodes 1 leaves 88 minterms
Reached[56]: 150 nodes 1 leaves 2722 minterms
From[57]: 49 nodes 1 leaves 88 minterms
Reached[57]: 158 nodes 1 leaves 2810 minterms
From[58]: 51 nodes 1 leaves 88 minterms
Reached[58]: 151 nodes 1 leaves 2898 minterms
From[59]: 45 nodes 1 leaves 88 minterms
Reached[59]: 146 nodes 1 leaves 2986 minterms
From[60]: 48 nodes 1 leaves 88 minterms
Reached[60]: 145 nodes 1 leaves 3074 minterms
From[61]: 47 nodes 1 leaves 80 minterms
Reached[61]: 156 nodes 1 leaves 3154 minterms
From[62]: 48 nodes 1 leaves 88 minterms
Reached[62]: 159 nodes 1 leaves 3242 minterms
From[63]: 47 nodes 1 leaves 88 minterms
Reached[63]: 163 nodes 1 leaves 3330 minterms
From[64]: 50 nodes 1 leaves 88 minterms
Reached[64]: 159 nodes 1 leaves 3418 minterms
From[65]: 46 nodes 1 leaves 88 minterms
Reached[65]: 158 nodes 1 leaves 3506 minterms
From[66]: 48 nodes 1 leaves 88 minterms
Reached[66]: 157 nodes 1 leaves 3594 minterms
From[67]: 52 nodes 1 leaves 88 minterms
Reached[67]: 167 nodes 1 leaves 3682 minterms
From[68]: 54 nodes 1 leaves 88 minterms
Reached[68]: 159 nodes 1 leaves 3770 minterms
From[69]: 47 nodes 1 leaves 88 minterms
Reached[69]: 152 nodes 1 leaves 3858 minterms
From[70]: 50 nodes 1 leaves 88 minterms
Reached[70]: 148 nodes 1 leaves 3946 minterms
From[71]: 47 nodes 1 leaves 80 minterms
Reached[71]: 159 nodes 1 leaves 4026 minterms
From[72]: 47 nodes 1 leaves 88 minterms
Reached[72]: 161 nodes 1 leaves 4114 minterms
From[73]: 46 nodes 1 leaves 88 minterms
Reached[73]: 165 nodes 1 leaves 4202 minterms
From[74]: 49 nodes 1 leaves 88 minterms
Reached[74]: 161 nodes 1 leaves 4290 minterms
From[75]: 45 nodes 1 leaves 88 minterms
Reached[75]: 159 nodes 1 leaves 4378 minterms
From[76]: 47 nodes 1 leaves 88 minterms
Reached[76]: 158 nodes 1 leaves 4466 minterms
From[77]: 49 nodes 1 leaves 88 minterms
Reached[77]: 166 nodes 1 leaves 4554 minterms
From[78]: 51 nodes 1 leaves 88 minterms
Reached[78]: 158 nodes 1 leaves 4642 minterms
From[79]: 45 nodes 1 leaves 88 minterms
Reached[79]: 152 nodes 1 leaves 4730 minterms
From[80]: 48 nodes 1 leaves 88 minterms
Reached[80]: 148 nodes 1 leaves 4818 minterms
From[81]: 47 nodes 1 leaves 80 minterms
Reached[81]: 159 nodes 1 leaves 4898 minterms
From[82]: 50 nodes 1 leaves 88 minterms
Reached[82]: 164 nodes 1 leaves 4986 minterms
From[83]: 54 nodes 1 leaves 92 minterms
Reached[83]: 182 nodes 1 leaves 5078 minterms
From[84]: 57 nodes 1 leaves 92 minterms
Reached[84]: 178 nodes 1 leaves 5170 minterms
From[85]: 53 nodes 1 leaves 92 minterms
Reached[85]: 176 nodes 1 leaves 5262 minterms
From[86]: 55 nodes 1 leaves 92 minterms
Reached[86]: 175 nodes 1 leaves 5354 minterms
From[87]: 63 nodes 1 leaves 92 minterms
Reached[87]: 184 nodes 1 leaves 5446 minterms
From[88]: 65 nodes 1 leaves 92 minterms
Reached[88]: 176 nodes 1 leaves 5538 minterms
From[89]: 56 nodes 1 leaves 92 minterms
Reached[89]: 168 nodes 1 leaves 5630 minterms
From[90]: 59 nodes 1 leaves 92 minterms
Reached[90]: 162 nodes 1 leaves 5722 minterms
From[91]: 53 nodes 1 leaves 80 minterms
Reached[91]: 168 nodes 1 leaves 5802 minterms
From[92]: 42 nodes 1 leaves 92 minterms
Reached[92]: 168 nodes 1 leaves 5894 minterms
From[93]: 50 nodes 1 leaves 92 minterms
Reached[93]: 182 nodes 1 leaves 5986 minterms
From[94]: 53 nodes 1 leaves 92 minterms
Reached[94]: 177 nodes 1 leaves 6078 minterms
From[95]: 49 nodes 1 leaves 92 minterms
Reached[95]: 175 nodes 1 leaves 6170 minterms
From[96]: 51 nodes 1 leaves 92 minterms
Reached[96]: 174 nodes 1 leaves 6262 minterms
From[97]: 53 nodes 1 leaves 92 minterms
Reached[97]: 180 nodes 1 leaves 6354 minterms
From[98]: 55 nodes 1 leaves 92 minterms
Reached[98]: 172 nodes 1 leaves 6446 minterms
From[99]: 49 nodes 1 leaves 92 minterms
Reached[99]: 166 nodes 1 leaves 6538 minterms
From[100]: 52 nodes 1 leaves 92 minterms
Reached[100]: 162 nodes 1 leaves 6630 minterms
From[101]: 52 nodes 1 leaves 80 minterms
Reached[101]: 171 nodes 1 leaves 6710 minterms
From[102]: 48 nodes 1 leaves 88 minterms
Reached[102]: 173 nodes 1 leaves 6798 minterms
From[103]: 48 nodes 1 leaves 80 minterms
Reached[103]: 177 nodes 1 leaves 6878 minterms
From[104]: 51 nodes 1 leaves 76 minterms
Reached[104]: 172 nodes 1 leaves 6954 minterms
From[105]: 47 nodes 1 leaves 72 minterms
Reached[105]: 170 nodes 1 leaves 7026 minterms
From[106]: 49 nodes 1 leaves 68 minterms
Reached[106]: 169 nodes 1 leaves 7094 minterms
From[107]: 52 nodes 1 leaves 64 minterms
Reached[107]: 175 nodes 1 leaves 7158 minterms
From[108]: 54 nodes 1 leaves 60 minterms
Reached[108]: 167 nodes 1 leaves 7218 minterms
From[109]: 46 nodes 1 leaves 56 minterms
Reached[109]: 160 nodes 1 leaves 7274 minterms
From[110]: 49 nodes 1 leaves 52 minterms
Reached[110]: 154 nodes 1 leaves 7326 minterms
From[111]: 50 nodes 1 leaves 43 minterms
Reached[111]: 152 nodes 1 leaves 7369 minterms
From[112]: 37 nodes 1 leaves 48 minterms
Reached[112]: 154 nodes 1 leaves 7417 minterms
From[113]: 36 nodes 1 leaves 48 minterms
Reached[113]: 158 nodes 1 leaves 7465 minterms
From[114]: 39 nodes 1 leaves 48 minterms
Reached[114]: 154 nodes 1 leaves 7513 minterms
From[115]: 36 nodes 1 leaves 48 minterms
Reached[115]: 152 nodes 1 leaves 7561 minterms
From[116]: 35 nodes 1 leaves 48 minterms
Reached[116]: 152 nodes 1 leaves 7609 minterms
From[117]: 38 nodes 1 leaves 48 minterms
Reached[117]: 156 nodes 1 leaves 7657 minterms
From[118]: 40 nodes 1 leaves 48 minterms
Reached[118]: 150 nodes 1 leaves 7705 minterms
From[119]: 36 nodes 1 leaves 48 minterms
Reached[119]: 144 nodes 1 leaves 7753 minterms
From[120]: 35 nodes 1 leaves 48 minterms
Reached[120]: 144 nodes 1 leaves 7801 minterms
From[121]: 36 nodes 1 leaves 40 minterms
Reached[121]: 152 nodes 1 leaves 7841 minterms
From[122]: 38 nodes 1 leaves 48 minterms
Reached[122]: 155 nodes 1 leaves 7889 minterms
From[123]: 37 nodes 1 leaves 48 minterms
Reached[123]: 159 nodes 1 leaves 7937 minterms
From[124]: 40 nodes 1 leaves 48 minterms
Reached[124]: 155 nodes 1 leaves 7985 minterms
From[125]: 37 nodes 1 leaves 48 minterms
Reached[125]: 153 nodes 1 leaves 8033 minterms
From[126]: 36 nodes 1 leaves 48 minterms
Reached[126]: 153 nodes 1 leaves 8081 minterms
From[127]: 40 nodes 1 leaves 48 minterms
Reached[127]: 158 nodes 1 leaves 8129 minterms
From[128]: 42 nodes 1 leaves 48 minterms
Reached[128]: 152 nodes 1 leaves 8177 minterms
From[129]: 38 nodes 1 leaves 48 minterms
Reached[129]: 145 nodes 1 leaves 8225 minterms
From[130]: 36 nodes 1 leaves 48 minterms
Reached[130]: 144 nodes 1 leaves 8273 minterms
From[131]: 36 nodes 1 leaves 40 minterms
Reached[131]: 152 nodes 1 leaves 8313 minterms
From[132]: 37 nodes 1 leaves 48 minterms
Reached[132]: 154 nodes 1 leaves 8361 minterms
From[133]: 36 nodes 1 leaves 48 minterms
Reached[133]: 158 nodes 1 leaves 8409 minterms
From[134]: 39 nodes 1 leaves 48 minterms
Reached[134]: 154 nodes 1 leaves 8457 minterms
From[135]: 36 nodes 1 leaves 48 minterms
Reached[135]: 152 nodes 1 leaves 8505 minterms
From[136]: 35 nodes 1 leaves 48 minterms
Reached[136]: 152 nodes 1 leaves 8553 minterms
From[137]: 38 nodes 1 leaves 48 minterms
Reached[137]: 156 nodes 1 leaves 8601 minterms
From[138]: 40 nodes 1 leaves 48 minterms
Reached[138]: 150 nodes 1 leaves 8649 minterms
From[139]: 36 nodes 1 leaves 48 minterms
Reached[139]: 144 nodes 1 leaves 8697 minterms
From[140]: 35 nodes 1 leaves 48 minterms
Reached[140]: 144 nodes 1 leaves 8745 minterms
From[141]: 36 nodes 1 leaves 40 minterms
Reached[141]: 152 nodes 1 leaves 8785 minterms
From[142]: 36 nodes 1 leaves 44 minterms
Reached[142]: 150 nodes 1 leaves 8829 minterms
From[143]: 35 nodes 1 leaves 40 minterms
Reached[143]: 151 nodes 1 leaves 8869 minterms
From[144]: 36 nodes 1 leaves 36 minterms
Reached[144]: 145 nodes 1 leaves 8905 minterms
From[145]: 34 nodes 1 leaves 32 minterms
Reached[145]: 141 nodes 1 leaves 8937 minterms
From[146]: 33 nodes 1 leaves 28 minterms
Reached[146]: 136 nodes 1 leaves 8965 minterms
From[147]: 34 nodes 1 leaves 20 minterms
Reached[147]: 134 nodes 1 leaves 8985 minterms
From[148]: 35 nodes 1 leaves 16 minterms
Reached[148]: 127 nodes 1 leaves 9001 minterms
From[149]: 32 nodes 1 leaves 12 minterms
Reached[149]: 117 nodes 1 leaves 9013 minterms
From[150]: 19 nodes 1 leaves 8 minterms
Reached[150]: 109 nodes 1 leaves 9021 minterms
From[151]: 20 nodes 1 leaves 4 minterms
Reached[151]: 104 nodes 1 leaves 9025 minterms
S0: 22 nodes 1 leaves 1 minterms
SCC[5]: 22 nodes 1 leaves 1 minterms
S0: 22 nodes 1 leaves 1 minterms
From[1]: 33 nodes 1 leaves 5 minterms
Reached[1]: 52 nodes 1 leaves 6 minterms
From[2]: 32 nodes 1 leaves 12 minterms
Reached[2]: 72 nodes 1 leaves 18 minterms
From[3]: 32 nodes 1 leaves 20 minterms
Reached[3]: 75 nodes 1 leaves 38 minterms
From[4]: 31 nodes 1 leaves 28 minterms
Reached[4]: 77 nodes 1 leaves 66 minterms
From[5]: 31 nodes 1 leaves 36 minterms
Reached[5]: 82 nodes 1 leaves 102 minterms
From[6]: 39 nodes 1 leaves 48 minterms
Reached[6]: 97 nodes 1 leaves 150 minterms
From[7]: 42 nodes 1 leaves 56 minterms
Reached[7]: 101 nodes 1 leaves 206 minterms
From[8]: 41 nodes 1 leaves 64 minterms
Reached[8]: 101 nodes 1 leaves 270 minterms
From[9]: 40 nodes 1 leaves 72 minterms
Reached[9]: 105 nodes 1 leaves 342 minterms
From[10]: 42 nodes 1 leaves 84 minterms
Reached[10]: 113 nodes 1 leaves 426 minterms
From[11]: 50 nodes 1 leaves 76 minterms
Reached[11]: 125 nodes 1 leaves 502 minterms
From[12]: 50 nodes 1 leaves 88 minterms
Reached[12]: 126 nodes 1 leaves 590 minterms
From[13]: 52 nodes 1 leaves 88 minterms
Reached[13]: 129 nodes 1 leaves 678 minterms
From[14]: 52 nodes 1 leaves 88 minterms
Reached[14]: 125 nodes 1 leaves 766 minterms
From[15]: 47 nodes 1 leaves 88 minterms
Reached[15]: 127 nodes 1 leaves 854 minterms
From[16]: 53 nodes 1 leaves 88 minterms
Reached[16]: 133 nodes 1 leaves 942 minterms
From[17]: 56 nodes 1 leaves 88 minterms
Reached[17]: 133 nodes 1 leaves 1030 minterms
From[18]: 54 nodes 1 leaves 88 minterms
Reached[18]: 125 nodes 1 leaves 1118 minterms
From[19]: 45 nodes 1 leaves 88 minterms
Reached[19]: 124 nodes 1 leaves 1206 minterms
From[20]: 46 nodes 1 leaves 88 minterms
Reached[20]: 129 nodes 1 leaves 1294 minterms
From[21]: 47 nodes 1 leaves 80 minterms
Reached[21]: 139 nodes 1 leaves 1374 minterms
From[22]: 57 nodes 1 leaves 96 minterms
Reached[22]: 152 nodes 1 leaves 1470 minterms
From[23]: 59 nodes 1 leaves 100 minterms
Reached[23]: 155 nodes 1 leaves 1570 minterms
From[24]: 59 nodes 1 leaves 104 minterms
Reached[24]: 148 nodes 1 leaves 1674 minterms
From[25]: 54 nodes 1 leaves 108 minterms
Reached[25]: 150 nodes 1 leaves 1782 minterms
From[26]: 60 nodes 1 leaves 112 minterms
Reached[26]: 156 nodes 1 leaves 1894 minterms
From[27]: 63 nodes 1 leaves 116 minterms
Reached[27]: 155 nodes 1 leaves 2010 minterms
From[28]: 60 nodes 1 leaves 120 minterms
Reached[28]: 145 nodes 1 leaves 2130 minterms
From[29]: 53 nodes 1 leaves 124 minterms
Reached[29]: 141 nodes 1 leaves 2254 minterms
From[30]: 56 nodes 1 leaves 128 minterms
Reached[30]: 145 nodes 1 leaves 2382 minterms
From[31]: 58 nodes 1 leaves 120 minterms
Reached[31]: 156 nodes 1 leaves 2502 minterms
From[32]: 59 nodes 1 leaves 128 minterms
Reached[32]: 157 nodes 1 leaves 2630 minterms
From[33]: 72 nodes 1 leaves 132 minterms
Reached[33]: 172 nodes 1 leaves 2762 minterms
From[34]: 71 nodes 1 leaves 132 minterms
Reached[34]: 165 nodes 1 leaves 2894 minterms
From[35]: 69 nodes 1 leaves 132 minterms
Reached[35]: 166 nodes 1 leaves 3026 minterms
From[36]: 74 nodes 1 leaves 132 minterms
Reached[36]: 176 nodes 1 leaves 3158 minterms
From[37]: 77 nodes 1 leaves 132 minterms
Reached[37]: 173 nodes 1 leaves 3290 minterms
From[38]: 72 nodes 1 leaves 132 minterms
Reached[38]: 162 nodes 1 leaves 3422 minterms
From[39]: 69 nodes 1 leaves 132 minterms
Reached[39]: 153 nodes 1 leaves 3554 minterms
From[40]: 66 nodes 1 leaves 132 minterms
Reached[40]: 158 nodes 1 leaves 3686 minterms
From[41]: 66 nodes 1 leaves 120 minterms
Reached[41]: 167 nodes 1 leaves 3806 minterms
From[42]: 60 nodes 1 leaves 132 minterms
Reached[42]: 169 nodes 1 leaves 3938 minterms
From[43]: 67 nodes 1 leaves 132 minterms
Reached[43]: 175 nodes 1 leaves 4070 minterms
From[44]: 66 nodes 1 leaves 132 minterms
Reached[44]: 168 nodes 1 leaves 4202 minterms
From[45]: 64 nodes 1 leaves 132 minterms
Reached[45]: 169 nodes 1 leaves 4334 minterms
From[46]: 67 nodes 1 leaves 132 minterms
Reached[46]: 177 nodes 1 leaves 4466 minterms
From[47]: 70 nodes 1 leaves 132 minterms
Reached[47]: 174 nodes 1 leaves 4598 minterms
From[48]: 66 nodes 1 leaves 132 minterms
Reached[48]: 164 nodes 1 leaves 4730 minterms
From[49]: 63 nodes 1 leaves 132 minterms
Reached[49]: 156 nodes 1 leaves 4862 minterms
From[50]: 62 nodes 1 leaves 132 minterms
Reached[50]: 161 nodes 1 leaves 4994 minterms
From[51]: 61 nodes 1 leaves 120 minterms
Reached[51]: 172 nodes 1 leaves 5114 minterms
From[52]: 56 nodes 1 leaves 132 minterms
Reached[52]: 182 nodes 1 leaves 5246 minterms
From[53]: 61 nodes 1 leaves 124 minterms
Reached[53]: 185 nodes 1 leaves 5370 minterms
From[54]: 58 nodes 1 leaves 120 minterms
Reached[54]: 177 nodes 1 leaves 5490 minterms
From[55]: 57 nodes 1 leaves 116 minterms
Reached[55]: 178 nodes 1 leaves 5606 minterms
From[56]: 68 nodes 1 leaves 112 minterms
Reached[56]: 185 nodes 1 leaves 5718 minterms
From[57]: 69 nodes 1 leaves 108 minterms
Reached[57]: 182 nodes 1 leaves 5826 minterms
From[58]: 63 nodes 1 leaves 104 minterms
Reached[58]: 169 nodes 1 leaves 5930 minterms
From[59]: 60 nodes 1 leaves 100 minterms
Reached[59]: 158 nodes 1 leaves 6030 minterms
From[60]: 55 nodes 1 leaves 96 minterms
Reached[60]: 153 nodes 1 leaves 6126 minterms
From[61]: 53 nodes 1 leaves 84 minterms
Reached[61]: 163 nodes 1 leaves 6210 minterms
From[62]: 50 nodes 1 leaves 92 minterms
Reached[62]: 171 nodes 1 leaves 6302 minterms
From[63]: 53 nodes 1 leaves 92 minterms
Reached[63]: 173 nodes 1 leaves 6394 minterms
From[64]: 49 nodes 1 leaves 92 minterms
Reached[64]: 167 nodes 1 leaves 6486 minterms
From[65]: 51 nodes 1 leaves 92 minterms
Reached[65]: 168 nodes 1 leaves 6578 minterms
From[66]: 53 nodes 1 leaves 92 minterms
Reached[66]: 173 nodes 1 leaves 6670 minterms
From[67]: 55 nodes 1 leaves 92 minterms
Reached[67]: 170 nodes 1 leaves 6762 minterms
From[68]: 49 nodes 1 leaves 92 minterms
Reached[68]: 162 nodes 1 leaves 6854 minterms
From[69]: 52 nodes 1 leaves 92 minterms
Reached[69]: 154 nodes 1 leaves 6946 minterms
From[70]: 47 nodes 1 leaves 92 minterms
Reached[70]: 156 nodes 1 leaves 7038 minterms
From[71]: 61 nodes 1 leaves 79 minterms
Reached[71]: 156 nodes 1 leaves 7117 minterms
From[72]: 48 nodes 1 leaves 80 minterms
Reached[72]: 154 nodes 1 leaves 7197 minterms
From[73]: 51 nodes 1 leaves 76 minterms
Reached[73]: 156 nodes 1 leaves 7273 minterms
From[74]: 47 nodes 1 leaves 72 minterms
Reached[74]: 150 nodes 1 leaves 7345 minterms
From[75]: 49 nodes 1 leaves 68 minterms
Reached[75]: 151 nodes 1 leaves 7413 minterms
From[76]: 52 nodes 1 leaves 64 minterms
Reached[76]: 155 nodes 1 leaves 7477 minterms
From[77]: 54 nodes 1 leaves 60 minterms
Reached[77]: 152 nodes 1 leaves 7537 minterms
From[78]: 46 nodes 1 leaves 56 minterms
Reached[78]: 143 nodes 1 leaves 7593 minterms
From[79]: 49 nodes 1 leaves 52 minterms
Reached[79]: 133 nodes 1 leaves 7645 minterms
From[80]: 34 nodes 1 leaves 48 minterms
Reached[80]: 136 nodes 1 leaves 7693 minterms
From[81]: 37 nodes 1 leaves 40 minterms
Reached[81]: 146 nodes 1 leaves 7733 minterms
From[82]: 36 nodes 1 leaves 48 minterms
Reached[82]: 144 nodes 1 leaves 7781 minterms
From[83]: 39 nodes 1 leaves 48 minterms
Reached[83]: 147 nodes 1 leaves 7829 minterms
From[84]: 36 nodes 1 leaves 48 minterms
Reached[84]: 141 nodes 1 leaves 7877 minterms
From[85]: 35 nodes 1 leaves 48 minterms
Reached[85]: 143 nodes 1 leaves 7925 minterms
From[86]: 38 nodes 1 leaves 48 minterms
Reached[86]: 146 nodes 1 leaves 7973 minterms
From[87]: 40 nodes 1 leaves 48 minterms
Reached[87]: 145 nodes 1 leaves 8021 minterms
From[88]: 36 nodes 1 leaves 48 minterms
Reached[88]: 137 nodes 1 leaves 8069 minterms
From[89]: 35 nodes 1 leaves 48 minterms
Reached[89]: 133 nodes 1 leaves 8117 minterms
From[90]: 34 nodes 1 leaves 48 minterms
Reached[90]: 136 nodes 1 leaves 8165 minterms
From[91]: 38 nodes 1 leaves 40 minterms
Reached[91]: 146 nodes 1 leaves 8205 minterms
From[92]: 37 nodes 1 leaves 48 minterms
Reached[92]: 144 nodes 1 leaves 8253 minterms
From[93]: 40 nodes 1 leaves 48 minterms
Reached[93]: 147 nodes 1 leaves 8301 minterms
From[94]: 37 nodes 1 leaves 48 minterms
Reached[94]: 141 nodes 1 leaves 8349 minterms
From[95]: 36 nodes 1 leaves 48 minterms
Reached[95]: 143 nodes 1 leaves 8397 minterms
From[96]: 40 nodes 1 leaves 48 minterms
Reached[96]: 146 nodes 1 leaves 8445 minterms
From[97]: 42 nodes 1 leaves 48 minterms
Reached[97]: 145 nodes 1 leaves 8493 minterms
From[98]: 38 nodes 1 leaves 48 minterms
Reached[98]: 136 nodes 1 leaves 8541 minterms
From[99]: 36 nodes 1 leaves 48 minterms
Reached[99]: 131 nodes 1 leaves 8589 minterms
From[100]: 34 nodes 1 leaves 48 minterms
Reached[100]: 134 nodes 1 leaves 8637 minterms
From[101]: 36 nodes 1 leaves 36 minterms
Reached[101]: 139 nodes 1 leaves 8673 minterms
From[102]: 35 nodes 1 leaves 40 minterms
Reached[102]: 136 nodes 1 leaves 8713 minterms
From[103]: 36 nodes 1 leaves 36 minterms
Reached[103]: 135 nodes 1 leaves 8749 minterms
From[104]: 34 nodes 1 leaves 32 minterms
Reached[104]: 129 nodes 1 leaves 8781 minterms
From[105]: 33 nodes 1 leaves 28 minterms
Reached[105]: 126 nodes 1 leaves 8809 minterms
From[106]: 34 nodes 1 leaves 20 minterms
Reached[106]: 124 nodes 1 leaves 8829 minterms
From[107]: 35 nodes 1 leaves 16 minterms
Reached[107]: 118 nodes 1 leaves 8845 minterms
From[108]: 32 nodes 1 leaves 12 minterms
Reached[108]: 108 nodes 1 leaves 8857 minterms
From[109]: 19 nodes 1 leaves 8 minterms
Reached[109]: 97 nodes 1 leaves 8865 minterms
S0: 22 nodes 1 leaves 1 minterms
SCC[6]: 22 nodes 1 leaves 1 minterms
S0: 22 nodes 1 leaves 1 minterms
From[1]: 36 nodes 1 leaves 5 minterms
Reached[1]: 54 nodes 1 leaves 6 minterms
From[2]: 32 nodes 1 leaves 12 minterms
Reached[2]: 71 nodes 1 leaves 18 minterms
From[3]: 33 nodes 1 leaves 20 minterms
Reached[3]: 75 nodes 1 leaves 38 minterms
From[4]: 43 nodes 1 leaves 32 minterms
Reached[4]: 87 nodes 1 leaves 70 minterms
From[5]: 42 nodes 1 leaves 40 minterms
Reached[5]: 91 nodes 1 leaves 110 minterms
From[6]: 41 nodes 1 leaves 48 minterms
Reached[6]: 96 nodes 1 leaves 158 minterms
From[7]: 43 nodes 1 leaves 56 minterms
Reached[7]: 102 nodes 1 leaves 214 minterms
From[8]: 45 nodes 1 leaves 68 minterms
Reached[8]: 104 nodes 1 leaves 282 minterms
From[9]: 47 nodes 1 leaves 76 minterms
Reached[9]: 112 nodes 1 leaves 358 minterms
From[10]: 47 nodes 1 leaves 84 minterms
Reached[10]: 118 nodes 1 leaves 442 minterms
From[11]: 54 nodes 1 leaves 76 minterms
Reached[11]: 126 nodes 1 leaves 518 minterms
From[12]: 51 nodes 1 leaves 88 minterms
Reached[12]: 128 nodes 1 leaves 606 minterms
From[13]: 49 nodes 1 leaves 88 minterms
Reached[13]: 130 nodes 1 leaves 694 minterms
From[14]: 58 nodes 1 leaves 88 minterms
Reached[14]: 133 nodes 1 leaves 782 minterms
From[15]: 57 nodes 1 leaves 88 minterms
Reached[15]: 134 nodes 1 leaves 870 minterms
From[16]: 53 nodes 1 leaves 88 minterms
Reached[16]: 133 nodes 1 leaves 958 minterms
From[17]: 50 nodes 1 leaves 88 minterms
Reached[17]: 134 nodes 1 leaves 1046 minterms
From[18]: 48 nodes 1 leaves 88 minterms
Reached[18]: 130 nodes 1 leaves 1134 minterms
From[19]: 46 nodes 1 leaves 88 minterms
Reached[19]: 131 nodes 1 leaves 1222 minterms
From[20]: 48 nodes 1 leaves 88 minterms
Reached[20]: 134 nodes 1 leaves 1310 minterms
From[21]: 50 nodes 1 leaves 80 minterms
Reached[21]: 141 nodes 1 leaves 1390 minterms
From[22]: 49 nodes 1 leaves 88 minterms
Reached[22]: 142 nodes 1 leaves 1478 minterms
From[23]: 47 nodes 1 leaves 88 minterms
Reached[23]: 144 nodes 1 leaves 1566 minterms
From[24]: 53 nodes 1 leaves 88 minterms
Reached[24]: 144 nodes 1 leaves 1654 minterms
From[25]: 52 nodes 1 leaves 88 minterms
Reached[25]: 144 nodes 1 leaves 1742 minterms
From[26]: 48 nodes 1 leaves 88 minterms
Reached[26]: 141 nodes 1 leaves 1830 minterms
From[27]: 48 nodes 1 leaves 88 minterms
Reached[27]: 140 nodes 1 leaves 1918 minterms
From[28]: 49 nodes 1 leaves 88 minterms
Reached[28]: 136 nodes 1 leaves 2006 minterms
From[29]: 48 nodes 1 leaves 88 minterms
Reached[29]: 138 nodes 1 leaves 2094 minterms
From[30]: 50 nodes 1 leaves 88 minterms
Reached[30]: 137 nodes 1 leaves 2182 minterms
From[31]: 51 nodes 1 leaves 80 minterms
Reached[31]: 144 nodes 1 leaves 2262 minterms
From[32]: 49 nodes 1 leaves 88 minterms
Reached[32]: 143 nodes 1 leaves 2350 minterms
From[33]: 58 nodes 1 leaves 92 minterms
Reached[33]: 158 nodes 1 leaves 2442 minterms
From[34]: 65 nodes 1 leaves 92 minterms
Reached[34]: 159 nodes 1 leaves 2534 minterms
From[35]: 64 nodes 1 leaves 92 minterms
Reached[35]: 159 nodes 1 leaves 2626 minterms
From[36]: 60 nodes 1 leaves 92 minterms
Reached[36]: 155 nodes 1 leaves 2718 minterms
From[37]: 59 nodes 1 leaves 92 minterms
Reached[37]: 152 nodes 1 leaves 2810 minterms
From[38]: 59 nodes 1 leaves 92 minterms
Reached[38]: 148 nodes 1 leaves 2902 minterms
From[39]: 56 nodes 1 leaves 92 minterms
Reached[39]: 149 nodes 1 leaves 2994 minterms
From[40]: 59 nodes 1 leaves 92 minterms
Reached[40]: 149 nodes 1 leaves 3086 minterms
From[41]: 62 nodes 1 leaves 80 minterms
Reached[41]: 155 nodes 1 leaves 3166 minterms
From[42]: 50 nodes 1 leaves 92 minterms
Reached[42]: 155 nodes 1 leaves 3258 minterms
From[43]: 60 nodes 1 leaves 100 minterms
Reached[43]: 168 nodes 1 leaves 3358 minterms
From[44]: 66 nodes 1 leaves 104 minterms
Reached[44]: 168 nodes 1 leaves 3462 minterms
From[45]: 65 nodes 1 leaves 108 minterms
Reached[45]: 168 nodes 1 leaves 3570 minterms
From[46]: 61 nodes 1 leaves 112 minterms
Reached[46]: 165 nodes 1 leaves 3682 minterms
From[47]: 67 nodes 1 leaves 120 minterms
Reached[47]: 174 nodes 1 leaves 3802 minterms
From[48]: 69 nodes 1 leaves 124 minterms
Reached[48]: 170 nodes 1 leaves 3926 minterms
From[49]: 66 nodes 1 leaves 124 minterms
Reached[49]: 167 nodes 1 leaves 4050 minterms
From[50]: 67 nodes 1 leaves 124 minterms
Reached[50]: 167 nodes 1 leaves 4174 minterms
From[51]: 66 nodes 1 leaves 108 minterms
Reached[51]: 181 nodes 1 leaves 4282 minterms
From[52]: 50 nodes 1 leaves 128 minterms
Reached[52]: 179 nodes 1 leaves 4410 minterms
From[53]: 51 nodes 1 leaves 116 minterms
Reached[53]: 179 nodes 1 leaves 4526 minterms
From[54]: 57 nodes 1 leaves 108 minterms
Reached[54]: 175 nodes 1 leaves 4634 minterms
From[55]: 54 nodes 1 leaves 104 minterms
Reached[55]: 171 nodes 1 leaves 4738 minterms
From[56]: 52 nodes 1 leaves 100 minterms
Reached[56]: 163 nodes 1 leaves 4838 minterms
From[57]: 51 nodes 1 leaves 96 minterms
Reached[57]: 163 nodes 1 leaves 4934 minterms
From[58]: 51 nodes 1 leaves 88 minterms
Reached[58]: 155 nodes 1 leaves 5022 minterms
From[59]: 45 nodes 1 leaves 88 minterms
Reached[59]: 149 nodes 1 leaves 5110 minterms
From[60]: 48 nodes 1 leaves 88 minterms
Reached[60]: 145 nodes 1 leaves 5198 minterms
From[61]: 47 nodes 1 leaves 80 minterms
Reached[61]: 156 nodes 1 leaves 5278 minterms
From[62]: 48 nodes 1 leaves 88 minterms
Reached[62]: 159 nodes 1 leaves 5366 minterms
From[63]: 47 nodes 1 leaves 88 minterms
Reached[63]: 162 nodes 1 leaves 5454 minterms
From[64]: 50 nodes 1 leaves 88 minterms
Reached[64]: 159 nodes 1 leaves 5542 minterms
From[65]: 46 nodes 1 leaves 88 minterms
Reached[65]: 158 nodes 1 leaves 5630 minterms
From[66]: 48 nodes 1 leaves 88 minterms
Reached[66]: 156 nodes 1 leaves 5718 minterms
From[67]: 52 nodes 1 leaves 88 minterms
Reached[67]: 166 nodes 1 leaves 5806 minterms
From[68]: 54 nodes 1 leaves 88 minterms
Reached[68]: 158 nodes 1 leaves 5894 minterms
From[69]: 47 nodes 1 leaves 88 minterms
Reached[69]: 151 nodes 1 leaves 5982 minterms
From[70]: 50 nodes 1 leaves 88 minterms
Reached[70]: 145 nodes 1 leaves 6070 minterms
From[71]: 47 nodes 1 leaves 80 minterms
Reached[71]: 156 nodes 1 leaves 6150 minterms
From[72]: 47 nodes 1 leaves 88 minterms
Reached[72]: 158 nodes 1 leaves 6238 minterms
From[73]: 46 nodes 1 leaves 88 minterms
Reached[73]: 161 nodes 1 leaves 6326 minterms
From[74]: 49 nodes 1 leaves 88 minterms
Reached[74]: 158 nodes 1 leaves 6414 minterms
From[75]: 45 nodes 1 leaves 88 minterms
Reached[75]: 157 nodes 1 leaves 6502 minterms
From[76]: 47 nodes 1 leaves 88 minterms
Reached[76]: 155 nodes 1 leaves 6590 minterms
From[77]: 49 nodes 1 leaves 88 minterms
Reached[77]: 163 nodes 1 leaves 6678 minterms
From[78]: 51 nodes 1 leaves 88 minterms
Reached[78]: 155 nodes 1 leaves 6766 minterms
From[79]: 45 nodes 1 leaves 88 minterms
Reached[79]: 149 nodes 1 leaves 6854 minterms
From[80]: 48 nodes 1 leaves 88 minterms
Reached[80]: 145 nodes 1 leaves 6942 minterms
From[81]: 47 nodes 1 leaves 80 minterms
Reached[81]: 156 nodes 1 leaves 7022 minterms
From[82]: 50 nodes 1 leaves 88 minterms
Reached[82]: 161 nodes 1 leaves 7110 minterms
From[83]: 54 nodes 1 leaves 92 minterms
Reached[83]: 177 nodes 1 leaves 7202 minterms
From[84]: 57 nodes 1 leaves 92 minterms
Reached[84]: 174 nodes 1 leaves 7294 minterms
From[85]: 53 nodes 1 leaves 92 minterms
Reached[85]: 173 nodes 1 leaves 7386 minterms
From[86]: 55 nodes 1 leaves 92 minterms
Reached[86]: 171 nodes 1 leaves 7478 minterms
From[87]: 63 nodes 1 leaves 92 minterms
Reached[87]: 179 nodes 1 leaves 7570 minterms
From[88]: 65 nodes 1 leaves 92 minterms
Reached[88]: 171 nodes 1 leaves 7662 minterms
From[89]: 56 nodes 1 leaves 92 minterms
Reached[89]: 162 nodes 1 leaves 7754 minterms
From[90]: 59 nodes 1 leaves 92 minterms
Reached[90]: 154 nodes 1 leaves 7846 minterms
From[91]: 53 nodes 1 leaves 80 minterms
Reached[91]: 161 nodes 1 leaves 7926 minterms
From[92]: 42 nodes 1 leaves 92 minterms
Reached[92]: 161 nodes 1 leaves 8018 minterms
From[93]: 50 nodes 1 leaves 92 minterms
Reached[93]: 174 nodes 1 leaves 8110 minterms
From[94]: 53 nodes 1 leaves 92 minterms
Reached[94]: 170 nodes 1 leaves 8202 minterms
From[95]: 49 nodes 1 leaves 92 minterms
Reached[95]: 169 nodes 1 leaves 8294 minterms
From[96]: 51 nodes 1 leaves 92 minterms
Reached[96]: 167 nodes 1 leaves 8386 minterms
From[97]: 53 nodes 1 leaves 92 minterms
Reached[97]: 173 nodes 1 leaves 8478 minterms
From[98]: 55 nodes 1 leaves 92 minterms
Reached[98]: 165 nodes 1 leaves 8570 minterms
From[99]: 49 nodes 1 leaves 92 minterms
Reached[99]: 159 nodes 1 leaves 8662 minterms
From[100]: 52 nodes 1 leaves 92 minterms
Reached[100]: 155 nodes 1 leaves 8754 minterms
From[101]: 52 nodes 1 leaves 80 minterms
Reached[101]: 164 nodes 1 leaves 8834 minterms
From[102]: 44 nodes 1 leaves 84 minterms
Reached[102]: 160 nodes 1 leaves 8918 minterms
From[103]: 44 nodes 1 leaves 72 minterms
Reached[103]: 160 nodes 1 leaves 8990 minterms
From[104]: 45 nodes 1 leaves 64 minterms
Reached[104]: 155 nodes 1 leaves 9054 minterms
From[105]: 42 nodes 1 leaves 56 minterms
Reached[105]: 151 nodes 1 leaves 9110 minterms
From[106]: 44 nodes 1 leaves 48 minterms
Reached[106]: 145 nodes 1 leaves 9158 minterms
From[107]: 42 nodes 1 leaves 36 minterms
Reached[107]: 142 nodes 1 leaves 9194 minterms
From[108]: 43 nodes 1 leaves 28 minterms
Reached[108]: 134 nodes 1 leaves 9222 minterms
From[109]: 35 nodes 1 leaves 20 minterms
Reached[109]: 126 nodes 1 leaves 9242 minterms
From[110]: 32 nodes 1 leaves 12 minterms
Reached[110]: 114 nodes 1 leaves 9254 minterms
From[111]: 22 nodes 1 leaves 3 minterms
Reached[111]: 104 nodes 1 leaves 9257 minterms
S0: 22 nodes 1 leaves 1 minterms
SCC[7]: 22 nodes 1 leaves 1 minterms
S0: 22 nodes 1 leaves 1 minterms
From[1]: 37 nodes 1 leaves 5 minterms
Reached[1]: 56 nodes 1 leaves 6 minterms
From[2]: 20 nodes 1 leaves 12 minterms
Reached[2]: 59 nodes 1 leaves 18 minterms
From[3]: 26 nodes 1 leaves 16 minterms
Reached[3]: 68 nodes 1 leaves 34 minterms
From[4]: 26 nodes 1 leaves 24 minterms
Reached[4]: 68 nodes 1 leaves 58 minterms
From[5]: 26 nodes 1 leaves 28 minterms
Reached[5]: 73 nodes 1 leaves 86 minterms
From[6]: 27 nodes 1 leaves 32 minterms
Reached[6]: 72 nodes 1 leaves 118 minterms
From[7]: 25 nodes 1 leaves 36 minterms
Reached[7]: 74 nodes 1 leaves 154 minterms
From[8]: 26 nodes 1 leaves 40 minterms
Reached[8]: 76 nodes 1 leaves 194 minterms
From[9]: 28 nodes 1 leaves 40 minterms
Reached[9]: 78 nodes 1 leaves 234 minterms
From[10]: 28 nodes 1 leaves 40 minterms
Reached[10]: 76 nodes 1 leaves 274 minterms
From[11]: 27 nodes 1 leaves 40 minterms
Reached[11]: 82 nodes 1 leaves 314 minterms
From[12]: 26 nodes 1 leaves 40 minterms
Reached[12]: 82 nodes 1 leaves 354 minterms
From[13]: 31 nodes 1 leaves 40 minterms
Reached[13]: 82 nodes 1 leaves 394 minterms
From[14]: 31 nodes 1 leaves 40 minterms
Reached[14]: 82 nodes 1 leaves 434 minterms
From[15]: 32 nodes 1 leaves 40 minterms
Reached[15]: 82 nodes 1 leaves 474 minterms
From[16]: 30 nodes 1 leaves 40 minterms
Reached[16]: 81 nodes 1 leaves 514 minterms
From[17]: 29 nodes 1 leaves 40 minterms
Reached[17]: 79 nodes 1 leaves 554 minterms
From[18]: 26 nodes 1 leaves 40 minterms
Reached[18]: 79 nodes 1 leaves 594 minterms
From[19]: 28 nodes 1 leaves 40 minterms
Reached[19]: 81 nodes 1 leaves 634 minterms
From[20]: 28 nodes 1 leaves 40 minterms
Reached[20]: 79 nodes 1 leaves 674 minterms
From[21]: 28 nodes 1 leaves 40 minterms
Reached[21]: 86 nodes 1 leaves 714 minterms
From[22]: 27 nodes 1 leaves 40 minterms
Reached[22]: 86 nodes 1 leaves 754 minterms
From[23]: 32 nodes 1 leaves 40 minterms
Reached[23]: 86 nodes 1 leaves 794 minterms
From[24]: 32 nodes 1 leaves 40 minterms
Reached[24]: 86 nodes 1 leaves 834 minterms
From[25]: 33 nodes 1 leaves 40 minterms
Reached[25]: 86 nodes 1 leaves 874 minterms
From[26]: 31 nodes 1 leaves 40 minterms
Reached[26]: 85 nodes 1 leaves 914 minterms
From[27]: 30 nodes 1 leaves 40 minterms
Reached[27]: 79 nodes 1 leaves 954 minterms
From[28]: 26 nodes 1 leaves 40 minterms
Reached[28]: 79 nodes 1 leaves 994 minterms
From[29]: 28 nodes 1 leaves 40 minterms
Reached[29]: 81 nodes 1 leaves 1034 minterms
From[30]: 28 nodes 1 leaves 40 minterms
Reached[30]: 79 nodes 1 leaves 1074 minterms
From[31]: 27 nodes 1 leaves 40 minterms
Reached[31]: 85 nodes 1 leaves 1114 minterms
From[32]: 39 nodes 1 leaves 44 minterms
Reached[32]: 98 nodes 1 leaves 1158 minterms
From[33]: 46 nodes 1 leaves 44 minterms
Reached[33]: 102 nodes 1 leaves 1202 minterms
From[34]: 44 nodes 1 leaves 48 minterms
Reached[34]: 101 nodes 1 leaves 1250 minterms
From[35]: 46 nodes 1 leaves 44 minterms
Reached[35]: 101 nodes 1 leaves 1294 minterms
From[36]: 44 nodes 1 leaves 44 minterms
Reached[36]: 99 nodes 1 leaves 1338 minterms
From[37]: 43 nodes 1 leaves 44 minterms
Reached[37]: 94 nodes 1 leaves 1382 minterms
From[38]: 40 nodes 1 leaves 44 minterms
Reached[38]: 94 nodes 1 leaves 1426 minterms
From[39]: 26 nodes 1 leaves 44 minterms
Reached[39]: 95 nodes 1 leaves 1470 minterms
From[40]: 28 nodes 1 leaves 40 minterms
Reached[40]: 93 nodes 1 leaves 1510 minterms
From[41]: 29 nodes 1 leaves 40 minterms
Reached[41]: 101 nodes 1 leaves 1550 minterms
From[42]: 46 nodes 1 leaves 52 minterms
Reached[42]: 117 nodes 1 leaves 1602 minterms
From[43]: 53 nodes 1 leaves 60 minterms
Reached[43]: 121 nodes 1 leaves 1662 minterms
From[44]: 51 nodes 1 leaves 76 minterms
Reached[44]: 120 nodes 1 leaves 1738 minterms
From[45]: 53 nodes 1 leaves 72 minterms
Reached[45]: 120 nodes 1 leaves 1810 minterms
From[46]: 70 nodes 1 leaves 80 minterms
Reached[46]: 136 nodes 1 leaves 1890 minterms
From[47]: 68 nodes 1 leaves 88 minterms
Reached[47]: 131 nodes 1 leaves 1978 minterms
From[48]: 62 nodes 1 leaves 92 minterms
Reached[48]: 127 nodes 1 leaves 2070 minterms
From[49]: 49 nodes 1 leaves 92 minterms
Reached[49]: 128 nodes 1 leaves 2162 minterms
From[50]: 56 nodes 1 leaves 88 minterms
Reached[50]: 131 nodes 1 leaves 2250 minterms
From[51]: 57 nodes 1 leaves 84 minterms
Reached[51]: 142 nodes 1 leaves 2334 minterms
From[52]: 51 nodes 1 leaves 92 minterms
Reached[52]: 141 nodes 1 leaves 2426 minterms
From[53]: 54 nodes 1 leaves 88 minterms
Reached[53]: 139 nodes 1 leaves 2514 minterms
From[54]: 53 nodes 1 leaves 84 minterms
Reached[54]: 138 nodes 1 leaves 2598 minterms
From[55]: 54 nodes 1 leaves 84 minterms
Reached[55]: 137 nodes 1 leaves 2682 minterms
From[56]: 58 nodes 1 leaves 88 minterms
Reached[56]: 140 nodes 1 leaves 2770 minterms
From[57]: 55 nodes 1 leaves 92 minterms
Reached[57]: 132 nodes 1 leaves 2862 minterms
From[58]: 50 nodes 1 leaves 88 minterms
Reached[58]: 132 nodes 1 leaves 2950 minterms
From[59]: 51 nodes 1 leaves 84 minterms
Reached[59]: 134 nodes 1 leaves 3034 minterms
From[60]: 56 nodes 1 leaves 88 minterms
Reached[60]: 137 nodes 1 leaves 3122 minterms
From[61]: 58 nodes 1 leaves 84 minterms
Reached[61]: 149 nodes 1 leaves 3206 minterms
From[62]: 52 nodes 1 leaves 92 minterms
Reached[62]: 148 nodes 1 leaves 3298 minterms
From[63]: 55 nodes 1 leaves 88 minterms
Reached[63]: 146 nodes 1 leaves 3386 minterms
From[64]: 54 nodes 1 leaves 84 minterms
Reached[64]: 145 nodes 1 leaves 3470 minterms
From[65]: 55 nodes 1 leaves 84 minterms
Reached[65]: 143 nodes 1 leaves 3554 minterms
From[66]: 60 nodes 1 leaves 88 minterms
Reached[66]: 146 nodes 1 leaves 3642 minterms
From[67]: 57 nodes 1 leaves 92 minterms
Reached[67]: 135 nodes 1 leaves 3734 minterms
From[68]: 50 nodes 1 leaves 88 minterms
Reached[68]: 135 nodes 1 leaves 3822 minterms
From[69]: 51 nodes 1 leaves 84 minterms
Reached[69]: 137 nodes 1 leaves 3906 minterms
From[70]: 56 nodes 1 leaves 88 minterms
Reached[70]: 140 nodes 1 leaves 3994 minterms
From[71]: 57 nodes 1 leaves 84 minterms
Reached[71]: 151 nodes 1 leaves 4078 minterms
From[72]: 51 nodes 1 leaves 92 minterms
Reached[72]: 149 nodes 1 leaves 4170 minterms
From[73]: 54 nodes 1 leaves 88 minterms
Reached[73]: 147 nodes 1 leaves 4258 minterms
From[74]: 53 nodes 1 leaves 84 minterms
Reached[74]: 146 nodes 1 leaves 4342 minterms
From[75]: 54 nodes 1 leaves 84 minterms
Reached[75]: 144 nodes 1 leaves 4426 minterms
From[76]: 58 nodes 1 leaves 88 minterms
Reached[76]: 146 nodes 1 leaves 4514 minterms
From[77]: 55 nodes 1 leaves 92 minterms
Reached[77]: 135 nodes 1 leaves 4606 minterms
From[78]: 50 nodes 1 leaves 88 minterms
Reached[78]: 135 nodes 1 leaves 4694 minterms
From[79]: 51 nodes 1 leaves 84 minterms
Reached[79]: 137 nodes 1 leaves 4778 minterms
From[80]: 56 nodes 1 leaves 88 minterms
Reached[80]: 140 nodes 1 leaves 4866 minterms
From[81]: 60 nodes 1 leaves 84 minterms
Reached[81]: 154 nodes 1 leaves 4950 minterms
From[82]: 68 nodes 1 leaves 96 minterms
Reached[82]: 166 nodes 1 leaves 5046 minterms
From[83]: 72 nodes 1 leaves 92 minterms
Reached[83]: 168 nodes 1 leaves 5138 minterms
From[84]: 67 nodes 1 leaves 92 minterms
Reached[84]: 166 nodes 1 leaves 5230 minterms
From[85]: 62 nodes 1 leaves 88 minterms
Reached[85]: 164 nodes 1 leaves 5318 minterms
From[86]: 69 nodes 1 leaves 92 minterms
Reached[86]: 164 nodes 1 leaves 5410 minterms
From[87]: 69 nodes 1 leaves 96 minterms
Reached[87]: 151 nodes 1 leaves 5506 minterms
From[88]: 56 nodes 1 leaves 92 minterms
Reached[88]: 145 nodes 1 leaves 5598 minterms
From[89]: 47 nodes 1 leaves 88 minterms
Reached[89]: 145 nodes 1 leaves 5686 minterms
From[90]: 52 nodes 1 leaves 88 minterms
Reached[90]: 148 nodes 1 leaves 5774 minterms
From[91]: 53 nodes 1 leaves 84 minterms
Reached[91]: 158 nodes 1 leaves 5858 minterms
From[92]: 61 nodes 1 leaves 96 minterms
Reached[92]: 166 nodes 1 leaves 5954 minterms
From[93]: 65 nodes 1 leaves 92 minterms
Reached[93]: 168 nodes 1 leaves 6046 minterms
From[94]: 60 nodes 1 leaves 92 minterms
Reached[94]: 166 nodes 1 leaves 6138 minterms
From[95]: 58 nodes 1 leaves 88 minterms
Reached[95]: 164 nodes 1 leaves 6226 minterms
From[96]: 62 nodes 1 leaves 92 minterms
Reached[96]: 163 nodes 1 leaves 6318 minterms
From[97]: 62 nodes 1 leaves 96 minterms
Reached[97]: 152 nodes 1 leaves 6414 minterms
From[98]: 55 nodes 1 leaves 92 minterms
Reached[98]: 148 nodes 1 leaves 6506 minterms
From[99]: 50 nodes 1 leaves 88 minterms
Reached[99]: 148 nodes 1 leaves 6594 minterms
From[100]: 55 nodes 1 leaves 88 minterms
Reached[100]: 151 nodes 1 leaves 6682 minterms
From[101]: 59 nodes 1 leaves 80 minterms
Reached[101]: 163 nodes 1 leaves 6762 minterms
From[102]: 53 nodes 1 leaves 80 minterms
Reached[102]: 161 nodes 1 leaves 6842 minterms
From[103]: 72 nodes 1 leaves 71 minterms
Reached[103]: 148 nodes 1 leaves 6913 minterms
From[104]: 55 nodes 1 leaves 60 minterms
Reached[104]: 147 nodes 1 leaves 6973 minterms
From[105]: 56 nodes 1 leaves 56 minterms
Reached[105]: 145 nodes 1 leaves 7029 minterms
From[106]: 56 nodes 1 leaves 56 minterms
Reached[106]: 144 nodes 1 leaves 7085 minterms
From[107]: 55 nodes 1 leaves 56 minterms
Reached[107]: 131 nodes 1 leaves 7141 minterms
From[108]: 38 nodes 1 leaves 48 minterms
Reached[108]: 131 nodes 1 leaves 7189 minterms
From[109]: 41 nodes 1 leaves 44 minterms
Reached[109]: 133 nodes 1 leaves 7233 minterms
From[110]: 43 nodes 1 leaves 48 minterms
Reached[110]: 133 nodes 1 leaves 7281 minterms
From[111]: 45 nodes 1 leaves 44 minterms
Reached[111]: 144 nodes 1 leaves 7325 minterms
From[112]: 39 nodes 1 leaves 52 minterms
Reached[112]: 142 nodes 1 leaves 7377 minterms
From[113]: 42 nodes 1 leaves 48 minterms
Reached[113]: 141 nodes 1 leaves 7425 minterms
From[114]: 44 nodes 1 leaves 44 minterms
Reached[114]: 140 nodes 1 leaves 7469 minterms
From[115]: 45 nodes 1 leaves 44 minterms
Reached[115]: 140 nodes 1 leaves 7513 minterms
From[116]: 46 nodes 1 leaves 48 minterms
Reached[116]: 138 nodes 1 leaves 7561 minterms
From[117]: 41 nodes 1 leaves 52 minterms
Reached[117]: 131 nodes 1 leaves 7613 minterms
From[118]: 38 nodes 1 leaves 48 minterms
Reached[118]: 131 nodes 1 leaves 7661 minterms
From[119]: 41 nodes 1 leaves 44 minterms
Reached[119]: 133 nodes 1 leaves 7705 minterms
From[120]: 43 nodes 1 leaves 48 minterms
Reached[120]: 133 nodes 1 leaves 7753 minterms
From[121]: 46 nodes 1 leaves 44 minterms
Reached[121]: 145 nodes 1 leaves 7797 minterms
From[122]: 40 nodes 1 leaves 52 minterms
Reached[122]: 143 nodes 1 leaves 7849 minterms
From[123]: 43 nodes 1 leaves 48 minterms
Reached[123]: 142 nodes 1 leaves 7897 minterms
From[124]: 45 nodes 1 leaves 44 minterms
Reached[124]: 141 nodes 1 leaves 7941 minterms
From[125]: 46 nodes 1 leaves 44 minterms
Reached[125]: 141 nodes 1 leaves 7985 minterms
From[126]: 48 nodes 1 leaves 48 minterms
Reached[126]: 139 nodes 1 leaves 8033 minterms
From[127]: 42 nodes 1 leaves 52 minterms
Reached[127]: 131 nodes 1 leaves 8085 minterms
From[128]: 38 nodes 1 leaves 48 minterms
Reached[128]: 131 nodes 1 leaves 8133 minterms
From[129]: 41 nodes 1 leaves 44 minterms
Reached[129]: 133 nodes 1 leaves 8177 minterms
From[130]: 43 nodes 1 leaves 48 minterms
Reached[130]: 133 nodes 1 leaves 8225 minterms
From[131]: 45 nodes 1 leaves 44 minterms
Reached[131]: 144 nodes 1 leaves 8269 minterms
From[132]: 39 nodes 1 leaves 52 minterms
Reached[132]: 142 nodes 1 leaves 8321 minterms
From[133]: 42 nodes 1 leaves 48 minterms
Reached[133]: 141 nodes 1 leaves 8369 minterms
From[134]: 44 nodes 1 leaves 44 minterms
Reached[134]: 140 nodes 1 leaves 8413 minterms
From[135]: 45 nodes 1 leaves 44 minterms
Reached[135]: 140 nodes 1 leaves 8457 minterms
From[136]: 46 nodes 1 leaves 48 minterms
Reached[136]: 138 nodes 1 leaves 8505 minterms
From[137]: 41 nodes 1 leaves 52 minterms
Reached[137]: 131 nodes 1 leaves 8557 minterms
From[138]: 38 nodes 1 leaves 48 minterms
Reached[138]: 131 nodes 1 leaves 8605 minterms
From[139]: 41 nodes 1 leaves 44 minterms
Reached[139]: 133 nodes 1 leaves 8649 minterms
From[140]: 43 nodes 1 leaves 48 minterms
Reached[140]: 133 nodes 1 leaves 8697 minterms
From[141]: 41 nodes 1 leaves 40 minterms
Reached[141]: 139 nodes 1 leaves 8737 minterms
From[142]: 34 nodes 1 leaves 40 minterms
Reached[142]: 135 nodes 1 leaves 8777 minterms
From[143]: 42 nodes 1 leaves 32 minterms
Reached[143]: 125 nodes 1 leaves 8809 minterms
From[144]: 34 nodes 1 leaves 20 minterms
Reached[144]: 122 nodes 1 leaves 8829 minterms
From[145]: 35 nodes 1 leaves 16 minterms
Reached[145]: 119 nodes 1 leaves 8845 minterms
From[146]: 32 nodes 1 leaves 12 minterms
Reached[146]: 109 nodes 1 leaves 8857 minterms
From[147]: 19 nodes 1 leaves 8 minterms
Reached[147]: 97 nodes 1 leaves 8865 minterms
S0: 22 nodes 1 leaves 1 minterms
SCC[8]: 22 nodes 1 leaves 1 minterms
S0: 22 nodes 1 leaves 1 minterms
From[1]: 40 nodes 1 leaves 5 minterms
Reached[1]: 59 nodes 1 leaves 6 minterms
From[2]: 35 nodes 1 leaves 12 minterms
Reached[2]: 87 nodes 1 leaves 18 minterms
From[3]: 35 nodes 1 leaves 20 minterms
Reached[3]: 93 nodes 1 leaves 38 minterms
From[4]: 34 nodes 1 leaves 28 minterms
Reached[4]: 98 nodes 1 leaves 66 minterms
From[5]: 35 nodes 1 leaves 32 minterms
Reached[5]: 107 nodes 1 leaves 98 minterms
From[6]: 47 nodes 1 leaves 44 minterms
Reached[6]: 107 nodes 1 leaves 142 minterms
From[7]: 46 nodes 1 leaves 52 minterms
Reached[7]: 116 nodes 1 leaves 194 minterms
From[8]: 46 nodes 1 leaves 60 minterms
Reached[8]: 120 nodes 1 leaves 254 minterms
From[9]: 44 nodes 1 leaves 68 minterms
Reached[9]: 127 nodes 1 leaves 322 minterms
From[10]: 49 nodes 1 leaves 80 minterms
Reached[10]: 130 nodes 1 leaves 402 minterms
From[11]: 53 nodes 1 leaves 84 minterms
Reached[11]: 136 nodes 1 leaves 486 minterms
From[12]: 64 nodes 1 leaves 96 minterms
Reached[12]: 151 nodes 1 leaves 582 minterms
From[13]: 63 nodes 1 leaves 100 minterms
Reached[13]: 154 nodes 1 leaves 682 minterms
From[14]: 64 nodes 1 leaves 104 minterms
Reached[14]: 150 nodes 1 leaves 786 minterms
From[15]: 62 nodes 1 leaves 96 minterms
Reached[15]: 158 nodes 1 leaves 882 minterms
From[16]: 67 nodes 1 leaves 112 minterms
Reached[16]: 161 nodes 1 leaves 994 minterms
From[17]: 66 nodes 1 leaves 116 minterms
Reached[17]: 166 nodes 1 leaves 1110 minterms
From[18]: 64 nodes 1 leaves 120 minterms
Reached[18]: 160 nodes 1 leaves 1230 minterms
From[19]: 57 nodes 1 leaves 124 minterms
Reached[19]: 161 nodes 1 leaves 1354 minterms
From[20]: 60 nodes 1 leaves 128 minterms
Reached[20]: 163 nodes 1 leaves 1482 minterms
From[21]: 60 nodes 1 leaves 132 minterms
Reached[21]: 166 nodes 1 leaves 1614 minterms
From[22]: 68 nodes 1 leaves 128 minterms
Reached[22]: 171 nodes 1 leaves 1742 minterms
From[23]: 67 nodes 1 leaves 128 minterms
Reached[23]: 172 nodes 1 leaves 1870 minterms
From[24]: 67 nodes 1 leaves 128 minterms
Reached[24]: 166 nodes 1 leaves 1998 minterms
From[25]: 65 nodes 1 leaves 120 minterms
Reached[25]: 172 nodes 1 leaves 2118 minterms
From[26]: 72 nodes 1 leaves 128 minterms
Reached[26]: 177 nodes 1 leaves 2246 minterms
From[27]: 71 nodes 1 leaves 128 minterms
Reached[27]: 180 nodes 1 leaves 2374 minterms
From[28]: 67 nodes 1 leaves 128 minterms
Reached[28]: 173 nodes 1 leaves 2502 minterms
From[29]: 64 nodes 1 leaves 128 minterms
Reached[29]: 168 nodes 1 leaves 2630 minterms
From[30]: 61 nodes 1 leaves 128 minterms
Reached[30]: 166 nodes 1 leaves 2758 minterms
From[31]: 60 nodes 1 leaves 128 minterms
Reached[31]: 171 nodes 1 leaves 2886 minterms
From[32]: 66 nodes 1 leaves 128 minterms
Reached[32]: 175 nodes 1 leaves 3014 minterms
From[33]: 79 nodes 1 leaves 132 minterms
Reached[33]: 190 nodes 1 leaves 3146 minterms
From[34]: 78 nodes 1 leaves 132 minterms
Reached[34]: 183 nodes 1 leaves 3278 minterms
From[35]: 77 nodes 1 leaves 124 minterms
Reached[35]: 189 nodes 1 leaves 3402 minterms
From[36]: 80 nodes 1 leaves 132 minterms
Reached[36]: 192 nodes 1 leaves 3534 minterms
From[37]: 81 nodes 1 leaves 132 minterms
Reached[37]: 194 nodes 1 leaves 3666 minterms
From[38]: 77 nodes 1 leaves 132 minterms
Reached[38]: 186 nodes 1 leaves 3798 minterms
From[39]: 75 nodes 1 leaves 132 minterms
Reached[39]: 180 nodes 1 leaves 3930 minterms
From[40]: 71 nodes 1 leaves 132 minterms
Reached[40]: 179 nodes 1 leaves 4062 minterms
From[41]: 80 nodes 1 leaves 128 minterms
Reached[41]: 186 nodes 1 leaves 4190 minterms
From[42]: 76 nodes 1 leaves 136 minterms
Reached[42]: 205 nodes 1 leaves 4326 minterms
From[43]: 83 nodes 1 leaves 140 minterms
Reached[43]: 211 nodes 1 leaves 4466 minterms
From[44]: 82 nodes 1 leaves 140 minterms
Reached[44]: 205 nodes 1 leaves 4606 minterms
From[45]: 86 nodes 1 leaves 128 minterms
Reached[45]: 212 nodes 1 leaves 4734 minterms
From[46]: 90 nodes 1 leaves 140 minterms
Reached[46]: 216 nodes 1 leaves 4874 minterms
From[47]: 91 nodes 1 leaves 140 minterms
Reached[47]: 218 nodes 1 leaves 5014 minterms
From[48]: 86 nodes 1 leaves 136 minterms
Reached[48]: 209 nodes 1 leaves 5150 minterms
From[49]: 82 nodes 1 leaves 136 minterms
Reached[49]: 201 nodes 1 leaves 5286 minterms
From[50]: 74 nodes 1 leaves 136 minterms
Reached[50]: 196 nodes 1 leaves 5422 minterms
From[51]: 73 nodes 1 leaves 132 minterms
Reached[51]: 193 nodes 1 leaves 5554 minterms
From[52]: 71 nodes 1 leaves 136 minterms
Reached[52]: 199 nodes 1 leaves 5690 minterms
From[53]: 69 nodes 1 leaves 124 minterms
Reached[53]: 196 nodes 1 leaves 5814 minterms
From[54]: 66 nodes 1 leaves 120 minterms
Reached[54]: 188 nodes 1 leaves 5934 minterms
From[55]: 68 nodes 1 leaves 104 minterms
Reached[55]: 194 nodes 1 leaves 6038 minterms
From[56]: 69 nodes 1 leaves 112 minterms
Reached[56]: 195 nodes 1 leaves 6150 minterms
From[57]: 70 nodes 1 leaves 108 minterms
Reached[57]: 194 nodes 1 leaves 6258 minterms
From[58]: 65 nodes 1 leaves 104 minterms
Reached[58]: 183 nodes 1 leaves 6362 minterms
From[59]: 65 nodes 1 leaves 100 minterms
Reached[59]: 176 nodes 1 leaves 6462 minterms
From[60]: 61 nodes 1 leaves 96 minterms
Reached[60]: 168 nodes 1 leaves 6558 minterms
From[61]: 63 nodes 1 leaves 92 minterms
Reached[61]: 170 nodes 1 leaves 6650 minterms
From[62]: 48 nodes 1 leaves 80 minterms
Reached[62]: 171 nodes 1 leaves 6730 minterms
From[63]: 51 nodes 1 leaves 76 minterms
Reached[63]: 168 nodes 1 leaves 6806 minterms
From[64]: 47 nodes 1 leaves 72 minterms
Reached[64]: 165 nodes 1 leaves 6878 minterms
From[65]: 64 nodes 1 leaves 63 minterms
Reached[65]: 160 nodes 1 leaves 6941 minterms
From[66]: 52 nodes 1 leaves 64 minterms
Reached[66]: 163 nodes 1 leaves 7005 minterms
From[67]: 54 nodes 1 leaves 60 minterms
Reached[67]: 163 nodes 1 leaves 7065 minterms
From[68]: 46 nodes 1 leaves 56 minterms
Reached[68]: 156 nodes 1 leaves 7121 minterms
From[69]: 49 nodes 1 leaves 52 minterms
Reached[69]: 148 nodes 1 leaves 7173 minterms
From[70]: 34 nodes 1 leaves 48 minterms
Reached[70]: 147 nodes 1 leaves 7221 minterms
From[71]: 37 nodes 1 leaves 48 minterms
Reached[71]: 150 nodes 1 leaves 7269 minterms
From[72]: 36 nodes 1 leaves 48 minterms
Reached[72]: 151 nodes 1 leaves 7317 minterms
From[73]: 39 nodes 1 leaves 48 minterms
Reached[73]: 149 nodes 1 leaves 7365 minterms
From[74]: 36 nodes 1 leaves 48 minterms
Reached[74]: 146 nodes 1 leaves 7413 minterms
From[75]: 37 nodes 1 leaves 40 minterms
Reached[75]: 153 nodes 1 leaves 7453 minterms
From[76]: 38 nodes 1 leaves 48 minterms
Reached[76]: 154 nodes 1 leaves 7501 minterms
From[77]: 40 nodes 1 leaves 48 minterms
Reached[77]: 156 nodes 1 leaves 7549 minterms
From[78]: 36 nodes 1 leaves 48 minterms
Reached[78]: 150 nodes 1 leaves 7597 minterms
From[79]: 35 nodes 1 leaves 48 minterms
Reached[79]: 148 nodes 1 leaves 7645 minterms
From[80]: 34 nodes 1 leaves 48 minterms
Reached[80]: 147 nodes 1 leaves 7693 minterms
From[81]: 38 nodes 1 leaves 48 minterms
Reached[81]: 151 nodes 1 leaves 7741 minterms
From[82]: 37 nodes 1 leaves 48 minterms
Reached[82]: 152 nodes 1 leaves 7789 minterms
From[83]: 40 nodes 1 leaves 48 minterms
Reached[83]: 150 nodes 1 leaves 7837 minterms
From[84]: 37 nodes 1 leaves 48 minterms
Reached[84]: 147 nodes 1 leaves 7885 minterms
From[85]: 38 nodes 1 leaves 40 minterms
Reached[85]: 154 nodes 1 leaves 7925 minterms
From[86]: 40 nodes 1 leaves 48 minterms
Reached[86]: 156 nodes 1 leaves 7973 minterms
From[87]: 42 nodes 1 leaves 48 minterms
Reached[87]: 158 nodes 1 leaves 8021 minterms
From[88]: 38 nodes 1 leaves 48 minterms
Reached[88]: 151 nodes 1 leaves 8069 minterms
From[89]: 36 nodes 1 leaves 48 minterms
Reached[89]: 148 nodes 1 leaves 8117 minterms
From[90]: 34 nodes 1 leaves 48 minterms
Reached[90]: 147 nodes 1 leaves 8165 minterms
From[91]: 37 nodes 1 leaves 48 minterms
Reached[91]: 150 nodes 1 leaves 8213 minterms
From[92]: 36 nodes 1 leaves 48 minterms
Reached[92]: 151 nodes 1 leaves 8261 minterms
From[93]: 39 nodes 1 leaves 48 minterms
Reached[93]: 149 nodes 1 leaves 8309 minterms
From[94]: 36 nodes 1 leaves 48 minterms
Reached[94]: 146 nodes 1 leaves 8357 minterms
From[95]: 37 nodes 1 leaves 40 minterms
Reached[95]: 153 nodes 1 leaves 8397 minterms
From[96]: 38 nodes 1 leaves 48 minterms
Reached[96]: 154 nodes 1 leaves 8445 minterms
From[97]: 40 nodes 1 leaves 48 minterms
Reached[97]: 156 nodes 1 leaves 8493 minterms
From[98]: 36 nodes 1 leaves 48 minterms
Reached[98]: 150 nodes 1 leaves 8541 minterms
From[99]: 35 nodes 1 leaves 48 minterms
Reached[99]: 148 nodes 1 leaves 8589 minterms
From[100]: 34 nodes 1 leaves 48 minterms
Reached[100]: 147 nodes 1 leaves 8637 minterms
From[101]: 36 nodes 1 leaves 44 minterms
Reached[101]: 148 nodes 1 leaves 8681 minterms
From[102]: 35 nodes 1 leaves 40 minterms
Reached[102]: 143 nodes 1 leaves 8721 minterms
From[103]: 36 nodes 1 leaves 36 minterms
Reached[103]: 139 nodes 1 leaves 8757 minterms
From[104]: 34 nodes 1 leaves 32 minterms
Reached[104]: 134 nodes 1 leaves 8789 minterms
From[105]: 38 nodes 1 leaves 24 minterms
Reached[105]: 134 nodes 1 leaves 8813 minterms
From[106]: 34 nodes 1 leaves 20 minterms
Reached[106]: 131 nodes 1 leaves 8833 minterms
From[107]: 35 nodes 1 leaves 16 minterms
Reached[107]: 128 nodes 1 leaves 8849 minterms
From[108]: 32 nodes 1 leaves 12 minterms
Reached[108]: 117 nodes 1 leaves 8861 minterms
From[109]: 19 nodes 1 leaves 8 minterms
Reached[109]: 107 nodes 1 leaves 8869 minterms
S0: 22 nodes 1 leaves 1 minterms
SCC[9]: 22 nodes 1 leaves 1 minterms
More than 10 SCCs. Only the first 10 are computed.
@@@@@@@@@@@@@@@@@@@@@
Terminating after 151 iterations
Distance Matrix: 1194 nodes 152 leaves 8865 minterms
Order after short path computation
FM TEST CLR TESTL FML OLATCH_Y2L OLATCHVUC_6 OLATCHVUC_5 
OLATCH_R1L OLATCH_G2L OLATCH_G1L OLATCH_FEL C3_Q3 C3_Q2 C3_Q1 C3_Q0 
UC_16 UC_17 UC_18 UC_19 UC_8 UC_9 UC_10 UC_11 
**** CUDD modifiable parameters ****
Hard limit for cache size: 2796202
Cache hit threshold for resizing: 30%
Garbage collection enabled: yes
Limit for fast unique table growth: 1677721
Maximum number of variables sifted per reordering: 1000
Maximum number of variable swaps per reordering: 2000000
Maximum growth while sifting a variable: 1.2
Dynamic reordering of BDDs enabled: yes
Default BDD reordering method: 4
Dynamic reordering of ZDDs enabled: no
Default ZDD reordering method: 4
Realignment of ZDDs to BDDs enabled: no
Realignment of BDDs to ZDDs enabled: no
Dead nodes counted in triggering reordering: no
Group checking criterion: 7
Recombination threshold: 0
Symmetry violation threshold: 10
Arc violation threshold: 10
GA population size: 0
Number of crossovers for GA: 0
Next reordering threshold: 4004
**** CUDD non-modifiable parameters ****
Memory in use: 11285152
Peak number of nodes: 134904
Peak number of live nodes: 3927
Number of BDD variables: 87
Number of ZDD variables: 0
Number of cache entries: 131072
Number of cache look-ups: 1261573
Number of cache hits: 372031
Number of cache insertions: 920113
Number of cache collisions: 467699
Number of cache deletions: 344369
Cache used slots = 94.64% (expected 94.56%)
Soft limit for cache size: 332800
Number of buckets in unique table: 83200
Used buckets in unique table: 64.41% (expected 64.12%)
Number of BDD and ADD nodes: 129608
Number of ZDD nodes: 0
Number of dead BDD and ADD nodes: 129343
Number of dead ZDD nodes: 0
Total number of nodes allocated: 1105700
Total number of nodes reclaimed: 687182
Garbage collections so far: 10
Time for garbage collection: 0.03 sec
Reorderings so far: 0
Time for reordering: 0.00 sec
Final size: 168
total time = 0.29 sec
Runtime Statistics
------------------
Machine name: crozzon
User time      0.3 seconds
System time    0.0 seconds

Average resident text size       =     0K
Average resident data+stack size =     0K
Maximum resident size            = 14644K

Virtual memory limit             = unlimited (unlimited)
Major page faults = 0
Minor page faults = 2956
Swaps = 0
Input blocks = 16
Output blocks = 248
Context switch (voluntary) = 1
Context switch (involuntary) = 1
