# 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