The first 7 terms of the the sequence of weight-enumerators enumerating equivalence classes of Boolean functions under permutation of va\ riable and negation is 2 2 3 4 [1 + x + x, 1 + x + 2 x + x + x , 2 3 4 5 6 8 7 2 3 x + 1 + 3 x + 3 x + 6 x + 3 x + 3 x + x + x , x + 1 + 4 x + 6 x 4 5 6 8 7 12 10 14 9 + 19 x + 27 x + 50 x + 74 x + 56 x + 19 x + 50 x + 4 x + 56 x 13 11 15 16 2 3 4 5 + 6 x + 27 x + x + x , x + 1 + 5 x + 10 x + 47 x + 131 x 6 8 7 12 10 14 + 472 x + 3779 x + 1326 x + 65664 x + 19963 x + 133576 x 9 13 11 15 16 20 + 9013 x + 98804 x + 38073 x + 158658 x + 169112 x + 65664 x 30 22 32 18 24 26 28 + 5 x + 19963 x + x + 133576 x + 3779 x + 472 x + 47 x 25 17 21 27 31 23 19 + 1326 x + 158658 x + 38073 x + 131 x + x + 9013 x + 98804 x 29 2 3 4 5 6 8 + 10 x , x + 1 + 6 x + 16 x + 103 x + 497 x + 3253 x + 120843 x 7 12 10 14 9 + 19735 x + 73500514 x + 3561696 x + 1052201890 x + 681474 x 13 11 15 16 + 290751447 x + 16938566 x + 3492397119 x + 10666911842 x 20 30 22 + 426539774378 x + 35176482187398 x + 1745593733454 x 32 18 24 + 39785643746726 x + 78409442414 x + 5443544478011 x 26 28 25 + 13061946976545 x + 24289841497881 x + 8708686182967 x 17 21 27 + 30064448972 x + 893346071377 x + 18382330104696 x 31 23 19 + 38580161986426 x + 3186944273554 x + 189678764492 x 29 33 34 + 30151914536933 x + 38580161986426 x + 35176482187398 x 35 36 37 + 30151914536933 x + 24289841497881 x + 18382330104696 x 38 39 40 + 13061946976545 x + 8708686182967 x + 5443544478011 x 41 42 43 + 3186944273554 x + 1745593733454 x + 893346071377 x 44 45 46 47 + 426539774378 x + 189678764492 x + 78409442414 x + 30064448972 x 48 49 50 51 + 10666911842 x + 3492397119 x + 1052201890 x + 290751447 x 52 53 54 55 56 + 73500514 x + 16938566 x + 3561696 x + 681474 x + 120843 x 57 58 59 60 61 62 63 64 + 19735 x + 3253 x + 497 x + 103 x + 16 x + 6 x + x + x , x 2 3 4 5 6 8 7 + 1 + 7 x + 23 x + 203 x + 1606 x + 18435 x + 2773763 x + 221778 x 12 10 14 9 + 37504171766 x + 375158732 x + 2712509085687 x + 33297380 x 13 11 15 + 331785257145 x + 3907656327 x + 20560611034067 x 16 66 + 144992583036707 x + 34893861067694548246888415724407 x 70 + 21229656565150835185655350118824 x 74 + 7828005299378628483288328847061 x 78 82 + 1735537813708646926551922672300 x + 228519528859323372634761108297 x 86 20 + 17560628998658302790981917813 x + 185529967800951003 x 30 22 + 239052176402900698945575 x + 4639889522108312030 x 32 18 + 2290751597281990732500942 x + 5882732966056385 x 24 26 + 93548468422696368504 x + 1541641018941306715514 x 28 25 + 21007706297239523594493 x + 389155801257131862671 x 17 21 + 954428916508309 x + 954055693545381328 x 27 31 + 5823941642748774264376 x + 755712458716674299791783 x 23 19 + 21383017067838362401 x + 34048050206744705 x 29 102 + 72440178302680512469311 x + 1541641018941306715514 x 106 110 114 + 4639889522108312030 x + 5882732966056385 x + 2712509085687 x 118 122 126 + 375158732 x + 18435 x + 7 x 65 + 36555473494840521109957006199601 x 67 + 32289841592021107140202030745842 x 69 + 25187728114526460359843270154074 x 71 + 17342536360804113323143658054522 x 73 + 10532225298379665721866088201195 x 75 + 5636163824437397928482536386895 x 77 + 2654351942496157628714766264814 x 79 81 + 1098441658311031305952491518685 x + 398693643127208022349451763082 x 83 85 + 126649378647554063153135278856 x + 35121257258569385923601319394 x 87 89 + 8477545270016362313898264145 x + 1775175620379584197450534516 x 91 93 + 321222307288353935643642584 x + 50007976562001435996449184 x 95 97 + 6664001074916434992138232 x + 755712458716674299791783 x 99 101 + 72440178302680512469311 x + 5823941642748774264376 x 103 105 + 389155801257131862671 x + 21383017067838362401 x 107 109 111 + 954055693545381328 x + 34048050206744705 x + 954428916508309 x 113 115 117 + 20560611034067 x + 331785257145 x + 3907656327 x 119 121 123 125 127 + 33297380 x + 221778 x + 1606 x + 23 x + x 68 + 28965887319551366632444684437765 x 72 + 13729507963918200700698042941716 x 76 80 + 3930482674667248812273065696076 x + 672795518837240012447690122887 x 84 88 + 67847882253404099110643875139 x + 3949765556962586388780875877 x 92 96 + 129187249142093142702753347 x + 2290751597281990732500942 x 100 104 + 21007706297239523594493 x + 93548468422696368504 x 108 112 116 + 185529967800951003 x + 144992583036707 x + 37504171766 x 120 124 128 33 + 2773763 x + 203 x + x + 6664001074916434992138232 x 34 35 + 18619996099104706149982488 x + 50007976562001435996449184 x 36 37 + 129187249142093142702753347 x + 321222307288353935643642584 x 38 39 + 769242821441294142199656317 x + 1775175620379584197450534516 x 40 41 + 3949765556962586388780875877 x + 8477545270016362313898264145 x 42 43 + 17560628998658302790981917813 x + 35121257258569385923601319394 x 44 45 + 67847882253404099110643875139 x + 126649378647554063153135278856 x 46 47 + 228519528859323372634761108297 x + 398693643127208022349451763082 x 48 49 + 672795518837240012447690122887 x + 1098441658311031305952491518685 x 50 + 1735537813708646926551922672300 x 51 + 2654351942496157628714766264814 x 52 + 3930482674667248812273065696076 x 53 + 5636163824437397928482536386895 x 54 + 7828005299378628483288328847061 x 55 + 10532225298379665721866088201195 x 56 + 13729507963918200700698042941716 x 57 + 17342536360804113323143658054522 x 58 + 21229656565150835185655350118824 x 59 + 25187728114526460359843270154074 x 60 + 28965887319551366632444684437765 x 61 + 32289841592021107140202030745842 x 62 + 34893861067694548246888415724407 x 63 + 36555473494840521109957006199601 x 64 90 + 37126652766640082937217814348006 x + 769242821441294142199656317 x 94 98 + 18619996099104706149982488 x + 239052176402900698945575 x ] This took , 12.329, seconds