Version abc80130

1 files changed, 1 insertions, 804 deletions

diff --git a/src/misc/extra/extraUtilMisc.c b/src/misc/extra/extraUtilMisc.c
index dff774bc..6d771990 100644
--- a/src/misc/extra/extraUtilMisc.c
+++ b/src/misc/extra/extraUtilMisc.c
@@ -209,37 +209,6 @@ int * Extra_DeriveRadixCode( int Number, int Radix, int nDigits )
     return Code;
 }
 
-/**Function*************************************************************
-
-  Synopsis    [Counts the number of ones in the bitstring.]
-
-  Description []
-
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-int Extra_CountOnes( unsigned char * pBytes, int nBytes )
-{
-    static int bit_count[256] = {
-      0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,
-      1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
-      1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
-      2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
-      1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
-      2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
-      2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
-      3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,4,5,5,6,5,6,6,7,5,6,6,7,6,7,7,8
-    };
-
-    int i, Counter;
-    Counter = 0;
-    for ( i = 0; i < nBytes; i++ )
-        Counter += bit_count[ *(pBytes+i) ];
-    return Counter;
-}
-
 /**Function********************************************************************
 
   Synopsis    [Computes the factorial.]
@@ -1305,635 +1274,6 @@ void Extra_TruthPerm6One( unsigned * uTruth, int Phase, unsigned * uTruthRes )
 
 /**Function*************************************************************
 
-  Synopsis    [Computes a phase of the 8-var function.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-void Extra_TruthExpand( int nVars, int nWords, unsigned * puTruth, unsigned uPhase, unsigned * puTruthR )
-{
-    // elementary truth tables
-    static unsigned uTruths[8][8] = {
-        { 0xAAAAAAAA,0xAAAAAAAA,0xAAAAAAAA,0xAAAAAAAA,0xAAAAAAAA,0xAAAAAAAA,0xAAAAAAAA,0xAAAAAAAA },
-        { 0xCCCCCCCC,0xCCCCCCCC,0xCCCCCCCC,0xCCCCCCCC,0xCCCCCCCC,0xCCCCCCCC,0xCCCCCCCC,0xCCCCCCCC },
-        { 0xF0F0F0F0,0xF0F0F0F0,0xF0F0F0F0,0xF0F0F0F0,0xF0F0F0F0,0xF0F0F0F0,0xF0F0F0F0,0xF0F0F0F0 },
-        { 0xFF00FF00,0xFF00FF00,0xFF00FF00,0xFF00FF00,0xFF00FF00,0xFF00FF00,0xFF00FF00,0xFF00FF00 },
-        { 0xFFFF0000,0xFFFF0000,0xFFFF0000,0xFFFF0000,0xFFFF0000,0xFFFF0000,0xFFFF0000,0xFFFF0000 }, 
-        { 0x00000000,0xFFFFFFFF,0x00000000,0xFFFFFFFF,0x00000000,0xFFFFFFFF,0x00000000,0xFFFFFFFF }, 
-        { 0x00000000,0x00000000,0xFFFFFFFF,0xFFFFFFFF,0x00000000,0x00000000,0xFFFFFFFF,0xFFFFFFFF }, 
-        { 0x00000000,0x00000000,0x00000000,0x00000000,0xFFFFFFFF,0xFFFFFFFF,0xFFFFFFFF,0xFFFFFFFF } 
-    };
-    static char Cases[256] = {
-         0, // 00000000
-         0, // 00000001
-         1, // 00000010
-         0, // 00000011
-         2, // 00000100
-        -1, // 00000101
-        -1, // 00000110
-         0, // 00000111
-         3, // 00001000
-        -1, // 00001001
-        -1, // 00001010
-        -1, // 00001011
-        -1, // 00001100
-        -1, // 00001101
-        -1, // 00001110
-         0, // 00001111
-         4, // 00010000
-        -1, // 00010001
-        -1, // 00010010
-        -1, // 00010011
-        -1, // 00010100
-        -1, // 00010101
-        -1, // 00010110
-        -1, // 00010111
-        -1, // 00011000
-        -1, // 00011001
-        -1, // 00011010
-        -1, // 00011011
-        -1, // 00011100
-        -1, // 00011101
-        -1, // 00011110
-         0, // 00011111
-         5, // 00100000
-        -1, // 00100001
-        -1, // 00100010
-        -1, // 00100011
-        -1, // 00100100
-        -1, // 00100101
-        -1, // 00100110
-        -1, // 00100111
-        -1, // 00101000
-        -1, // 00101001
-        -1, // 00101010
-        -1, // 00101011
-        -1, // 00101100
-        -1, // 00101101
-        -1, // 00101110
-        -1, // 00101111
-        -1, // 00110000
-        -1, // 00110001
-        -1, // 00110010
-        -1, // 00110011
-        -1, // 00110100
-        -1, // 00110101
-        -1, // 00110110
-        -1, // 00110111
-        -1, // 00111000
-        -1, // 00111001
-        -1, // 00111010
-        -1, // 00111011
-        -1, // 00111100
-        -1, // 00111101
-        -1, // 00111110
-         0, // 00111111
-         6, // 01000000
-        -1, // 01000001
-        -1, // 01000010
-        -1, // 01000011
-        -1, // 01000100
-        -1, // 01000101
-        -1, // 01000110
-        -1, // 01000111
-        -1, // 01001000
-        -1, // 01001001
-        -1, // 01001010
-        -1, // 01001011
-        -1, // 01001100
-        -1, // 01001101
-        -1, // 01001110
-        -1, // 01001111
-        -1, // 01010000
-        -1, // 01010001
-        -1, // 01010010
-        -1, // 01010011
-        -1, // 01010100
-        -1, // 01010101
-        -1, // 01010110
-        -1, // 01010111
-        -1, // 01011000
-        -1, // 01011001
-        -1, // 01011010
-        -1, // 01011011
-        -1, // 01011100
-        -1, // 01011101
-        -1, // 01011110
-        -1, // 01011111
-        -1, // 01100000
-        -1, // 01100001
-        -1, // 01100010
-        -1, // 01100011
-        -1, // 01100100
-        -1, // 01100101
-        -1, // 01100110
-        -1, // 01100111
-        -1, // 01101000
-        -1, // 01101001
-        -1, // 01101010
-        -1, // 01101011
-        -1, // 01101100
-        -1, // 01101101
-        -1, // 01101110
-        -1, // 01101111
-        -1, // 01110000
-        -1, // 01110001
-        -1, // 01110010
-        -1, // 01110011
-        -1, // 01110100
-        -1, // 01110101
-        -1, // 01110110
-        -1, // 01110111
-        -1, // 01111000
-        -1, // 01111001
-        -1, // 01111010
-        -1, // 01111011
-        -1, // 01111100
-        -1, // 01111101
-        -1, // 01111110
-         0, // 01111111
-         7, // 10000000
-        -1, // 10000001
-        -1, // 10000010
-        -1, // 10000011
-        -1, // 10000100
-        -1, // 10000101
-        -1, // 10000110
-        -1, // 10000111
-        -1, // 10001000
-        -1, // 10001001
-        -1, // 10001010
-        -1, // 10001011
-        -1, // 10001100
-        -1, // 10001101
-        -1, // 10001110
-        -1, // 10001111
-        -1, // 10010000
-        -1, // 10010001
-        -1, // 10010010
-        -1, // 10010011
-        -1, // 10010100
-        -1, // 10010101
-        -1, // 10010110
-        -1, // 10010111
-        -1, // 10011000
-        -1, // 10011001
-        -1, // 10011010
-        -1, // 10011011
-        -1, // 10011100
-        -1, // 10011101
-        -1, // 10011110
-        -1, // 10011111
-        -1, // 10100000
-        -1, // 10100001
-        -1, // 10100010
-        -1, // 10100011
-        -1, // 10100100
-        -1, // 10100101
-        -1, // 10100110
-        -1, // 10100111
-        -1, // 10101000
-        -1, // 10101001
-        -1, // 10101010
-        -1, // 10101011
-        -1, // 10101100
-        -1, // 10101101
-        -1, // 10101110
-        -1, // 10101111
-        -1, // 10110000
-        -1, // 10110001
-        -1, // 10110010
-        -1, // 10110011
-        -1, // 10110100
-        -1, // 10110101
-        -1, // 10110110
-        -1, // 10110111
-        -1, // 10111000
-        -1, // 10111001
-        -1, // 10111010
-        -1, // 10111011
-        -1, // 10111100
-        -1, // 10111101
-        -1, // 10111110
-        -1, // 10111111
-        -1, // 11000000
-        -1, // 11000001
-        -1, // 11000010
-        -1, // 11000011
-        -1, // 11000100
-        -1, // 11000101
-        -1, // 11000110
-        -1, // 11000111
-        -1, // 11001000
-        -1, // 11001001
-        -1, // 11001010
-        -1, // 11001011
-        -1, // 11001100
-        -1, // 11001101
-        -1, // 11001110
-        -1, // 11001111
-        -1, // 11010000
-        -1, // 11010001
-        -1, // 11010010
-        -1, // 11010011
-        -1, // 11010100
-        -1, // 11010101
-        -1, // 11010110
-        -1, // 11010111
-        -1, // 11011000
-        -1, // 11011001
-        -1, // 11011010
-        -1, // 11011011
-        -1, // 11011100
-        -1, // 11011101
-        -1, // 11011110
-        -1, // 11011111
-        -1, // 11100000
-        -1, // 11100001
-        -1, // 11100010
-        -1, // 11100011
-        -1, // 11100100
-        -1, // 11100101
-        -1, // 11100110
-        -1, // 11100111
-        -1, // 11101000
-        -1, // 11101001
-        -1, // 11101010
-        -1, // 11101011
-        -1, // 11101100
-        -1, // 11101101
-        -1, // 11101110
-        -1, // 11101111
-        -1, // 11110000
-        -1, // 11110001
-        -1, // 11110010
-        -1, // 11110011
-        -1, // 11110100
-        -1, // 11110101
-        -1, // 11110110
-        -1, // 11110111
-        -1, // 11111000
-        -1, // 11111001
-        -1, // 11111010
-        -1, // 11111011
-        -1, // 11111100
-        -1, // 11111101
-        -1, // 11111110
-         0  // 11111111
-    };
-    static char Perms[256][8] = {
-        { 0, 1, 2, 3, 4, 5, 6, 7 }, // 00000000
-        { 0, 1, 2, 3, 4, 5, 6, 7 }, // 00000001
-        { 1, 0, 2, 3, 4, 5, 6, 7 }, // 00000010
-        { 0, 1, 2, 3, 4, 5, 6, 7 }, // 00000011
-        { 1, 2, 0, 3, 4, 5, 6, 7 }, // 00000100
-        { 0, 2, 1, 3, 4, 5, 6, 7 }, // 00000101
-        { 2, 0, 1, 3, 4, 5, 6, 7 }, // 00000110
-        { 0, 1, 2, 3, 4, 5, 6, 7 }, // 00000111
-        { 1, 2, 3, 0, 4, 5, 6, 7 }, // 00001000
-        { 0, 2, 3, 1, 4, 5, 6, 7 }, // 00001001
-        { 2, 0, 3, 1, 4, 5, 6, 7 }, // 00001010
-        { 0, 1, 3, 2, 4, 5, 6, 7 }, // 00001011
-        { 2, 3, 0, 1, 4, 5, 6, 7 }, // 00001100
-        { 0, 3, 1, 2, 4, 5, 6, 7 }, // 00001101
-        { 3, 0, 1, 2, 4, 5, 6, 7 }, // 00001110
-        { 0, 1, 2, 3, 4, 5, 6, 7 }, // 00001111
-        { 1, 2, 3, 4, 0, 5, 6, 7 }, // 00010000
-        { 0, 2, 3, 4, 1, 5, 6, 7 }, // 00010001
-        { 2, 0, 3, 4, 1, 5, 6, 7 }, // 00010010
-        { 0, 1, 3, 4, 2, 5, 6, 7 }, // 00010011
-        { 2, 3, 0, 4, 1, 5, 6, 7 }, // 00010100
-        { 0, 3, 1, 4, 2, 5, 6, 7 }, // 00010101
-        { 3, 0, 1, 4, 2, 5, 6, 7 }, // 00010110
-        { 0, 1, 2, 4, 3, 5, 6, 7 }, // 00010111
-        { 2, 3, 4, 0, 1, 5, 6, 7 }, // 00011000
-        { 0, 3, 4, 1, 2, 5, 6, 7 }, // 00011001
-        { 3, 0, 4, 1, 2, 5, 6, 7 }, // 00011010
-        { 0, 1, 4, 2, 3, 5, 6, 7 }, // 00011011
-        { 3, 4, 0, 1, 2, 5, 6, 7 }, // 00011100
-        { 0, 4, 1, 2, 3, 5, 6, 7 }, // 00011101
-        { 4, 0, 1, 2, 3, 5, 6, 7 }, // 00011110
-        { 0, 1, 2, 3, 4, 5, 6, 7 }, // 00011111
-        { 1, 2, 3, 4, 5, 0, 6, 7 }, // 00100000
-        { 0, 2, 3, 4, 5, 1, 6, 7 }, // 00100001
-        { 2, 0, 3, 4, 5, 1, 6, 7 }, // 00100010
-        { 0, 1, 3, 4, 5, 2, 6, 7 }, // 00100011
-        { 2, 3, 0, 4, 5, 1, 6, 7 }, // 00100100
-        { 0, 3, 1, 4, 5, 2, 6, 7 }, // 00100101
-        { 3, 0, 1, 4, 5, 2, 6, 7 }, // 00100110
-        { 0, 1, 2, 4, 5, 3, 6, 7 }, // 00100111
-        { 2, 3, 4, 0, 5, 1, 6, 7 }, // 00101000
-        { 0, 3, 4, 1, 5, 2, 6, 7 }, // 00101001
-        { 3, 0, 4, 1, 5, 2, 6, 7 }, // 00101010
-        { 0, 1, 4, 2, 5, 3, 6, 7 }, // 00101011
-        { 3, 4, 0, 1, 5, 2, 6, 7 }, // 00101100
-        { 0, 4, 1, 2, 5, 3, 6, 7 }, // 00101101
-        { 4, 0, 1, 2, 5, 3, 6, 7 }, // 00101110
-        { 0, 1, 2, 3, 5, 4, 6, 7 }, // 00101111
-        { 2, 3, 4, 5, 0, 1, 6, 7 }, // 00110000
-        { 0, 3, 4, 5, 1, 2, 6, 7 }, // 00110001
-        { 3, 0, 4, 5, 1, 2, 6, 7 }, // 00110010
-        { 0, 1, 4, 5, 2, 3, 6, 7 }, // 00110011
-        { 3, 4, 0, 5, 1, 2, 6, 7 }, // 00110100
-        { 0, 4, 1, 5, 2, 3, 6, 7 }, // 00110101
-        { 4, 0, 1, 5, 2, 3, 6, 7 }, // 00110110
-        { 0, 1, 2, 5, 3, 4, 6, 7 }, // 00110111
-        { 3, 4, 5, 0, 1, 2, 6, 7 }, // 00111000
-        { 0, 4, 5, 1, 2, 3, 6, 7 }, // 00111001
-        { 4, 0, 5, 1, 2, 3, 6, 7 }, // 00111010
-        { 0, 1, 5, 2, 3, 4, 6, 7 }, // 00111011
-        { 4, 5, 0, 1, 2, 3, 6, 7 }, // 00111100
-        { 0, 5, 1, 2, 3, 4, 6, 7 }, // 00111101
-        { 5, 0, 1, 2, 3, 4, 6, 7 }, // 00111110
-        { 0, 1, 2, 3, 4, 5, 6, 7 }, // 00111111
-        { 1, 2, 3, 4, 5, 6, 0, 7 }, // 01000000
-        { 0, 2, 3, 4, 5, 6, 1, 7 }, // 01000001
-        { 2, 0, 3, 4, 5, 6, 1, 7 }, // 01000010
-        { 0, 1, 3, 4, 5, 6, 2, 7 }, // 01000011
-        { 2, 3, 0, 4, 5, 6, 1, 7 }, // 01000100
-        { 0, 3, 1, 4, 5, 6, 2, 7 }, // 01000101
-        { 3, 0, 1, 4, 5, 6, 2, 7 }, // 01000110
-        { 0, 1, 2, 4, 5, 6, 3, 7 }, // 01000111
-        { 2, 3, 4, 0, 5, 6, 1, 7 }, // 01001000
-        { 0, 3, 4, 1, 5, 6, 2, 7 }, // 01001001
-        { 3, 0, 4, 1, 5, 6, 2, 7 }, // 01001010
-        { 0, 1, 4, 2, 5, 6, 3, 7 }, // 01001011
-        { 3, 4, 0, 1, 5, 6, 2, 7 }, // 01001100
-        { 0, 4, 1, 2, 5, 6, 3, 7 }, // 01001101
-        { 4, 0, 1, 2, 5, 6, 3, 7 }, // 01001110
-        { 0, 1, 2, 3, 5, 6, 4, 7 }, // 01001111
-        { 2, 3, 4, 5, 0, 6, 1, 7 }, // 01010000
-        { 0, 3, 4, 5, 1, 6, 2, 7 }, // 01010001
-        { 3, 0, 4, 5, 1, 6, 2, 7 }, // 01010010
-        { 0, 1, 4, 5, 2, 6, 3, 7 }, // 01010011
-        { 3, 4, 0, 5, 1, 6, 2, 7 }, // 01010100
-        { 0, 4, 1, 5, 2, 6, 3, 7 }, // 01010101
-        { 4, 0, 1, 5, 2, 6, 3, 7 }, // 01010110
-        { 0, 1, 2, 5, 3, 6, 4, 7 }, // 01010111
-        { 3, 4, 5, 0, 1, 6, 2, 7 }, // 01011000
-        { 0, 4, 5, 1, 2, 6, 3, 7 }, // 01011001
-        { 4, 0, 5, 1, 2, 6, 3, 7 }, // 01011010
-        { 0, 1, 5, 2, 3, 6, 4, 7 }, // 01011011
-        { 4, 5, 0, 1, 2, 6, 3, 7 }, // 01011100
-        { 0, 5, 1, 2, 3, 6, 4, 7 }, // 01011101
-        { 5, 0, 1, 2, 3, 6, 4, 7 }, // 01011110
-        { 0, 1, 2, 3, 4, 6, 5, 7 }, // 01011111
-        { 2, 3, 4, 5, 6, 0, 1, 7 }, // 01100000
-        { 0, 3, 4, 5, 6, 1, 2, 7 }, // 01100001
-        { 3, 0, 4, 5, 6, 1, 2, 7 }, // 01100010
-        { 0, 1, 4, 5, 6, 2, 3, 7 }, // 01100011
-        { 3, 4, 0, 5, 6, 1, 2, 7 }, // 01100100
-        { 0, 4, 1, 5, 6, 2, 3, 7 }, // 01100101
-        { 4, 0, 1, 5, 6, 2, 3, 7 }, // 01100110
-        { 0, 1, 2, 5, 6, 3, 4, 7 }, // 01100111
-        { 3, 4, 5, 0, 6, 1, 2, 7 }, // 01101000
-        { 0, 4, 5, 1, 6, 2, 3, 7 }, // 01101001
-        { 4, 0, 5, 1, 6, 2, 3, 7 }, // 01101010
-        { 0, 1, 5, 2, 6, 3, 4, 7 }, // 01101011
-        { 4, 5, 0, 1, 6, 2, 3, 7 }, // 01101100
-        { 0, 5, 1, 2, 6, 3, 4, 7 }, // 01101101
-        { 5, 0, 1, 2, 6, 3, 4, 7 }, // 01101110
-        { 0, 1, 2, 3, 6, 4, 5, 7 }, // 01101111
-        { 3, 4, 5, 6, 0, 1, 2, 7 }, // 01110000
-        { 0, 4, 5, 6, 1, 2, 3, 7 }, // 01110001
-        { 4, 0, 5, 6, 1, 2, 3, 7 }, // 01110010
-        { 0, 1, 5, 6, 2, 3, 4, 7 }, // 01110011
-        { 4, 5, 0, 6, 1, 2, 3, 7 }, // 01110100
-        { 0, 5, 1, 6, 2, 3, 4, 7 }, // 01110101
-        { 5, 0, 1, 6, 2, 3, 4, 7 }, // 01110110
-        { 0, 1, 2, 6, 3, 4, 5, 7 }, // 01110111
-        { 4, 5, 6, 0, 1, 2, 3, 7 }, // 01111000
-        { 0, 5, 6, 1, 2, 3, 4, 7 }, // 01111001
-        { 5, 0, 6, 1, 2, 3, 4, 7 }, // 01111010
-        { 0, 1, 6, 2, 3, 4, 5, 7 }, // 01111011
-        { 5, 6, 0, 1, 2, 3, 4, 7 }, // 01111100
-        { 0, 6, 1, 2, 3, 4, 5, 7 }, // 01111101
-        { 6, 0, 1, 2, 3, 4, 5, 7 }, // 01111110
-        { 0, 1, 2, 3, 4, 5, 6, 7 }, // 01111111
-        { 1, 2, 3, 4, 5, 6, 7, 0 }, // 10000000
-        { 0, 2, 3, 4, 5, 6, 7, 1 }, // 10000001
-        { 2, 0, 3, 4, 5, 6, 7, 1 }, // 10000010
-        { 0, 1, 3, 4, 5, 6, 7, 2 }, // 10000011
-        { 2, 3, 0, 4, 5, 6, 7, 1 }, // 10000100
-        { 0, 3, 1, 4, 5, 6, 7, 2 }, // 10000101
-        { 3, 0, 1, 4, 5, 6, 7, 2 }, // 10000110
-        { 0, 1, 2, 4, 5, 6, 7, 3 }, // 10000111
-        { 2, 3, 4, 0, 5, 6, 7, 1 }, // 10001000
-        { 0, 3, 4, 1, 5, 6, 7, 2 }, // 10001001
-        { 3, 0, 4, 1, 5, 6, 7, 2 }, // 10001010
-        { 0, 1, 4, 2, 5, 6, 7, 3 }, // 10001011
-        { 3, 4, 0, 1, 5, 6, 7, 2 }, // 10001100
-        { 0, 4, 1, 2, 5, 6, 7, 3 }, // 10001101
-        { 4, 0, 1, 2, 5, 6, 7, 3 }, // 10001110
-        { 0, 1, 2, 3, 5, 6, 7, 4 }, // 10001111
-        { 2, 3, 4, 5, 0, 6, 7, 1 }, // 10010000
-        { 0, 3, 4, 5, 1, 6, 7, 2 }, // 10010001
-        { 3, 0, 4, 5, 1, 6, 7, 2 }, // 10010010
-        { 0, 1, 4, 5, 2, 6, 7, 3 }, // 10010011
-        { 3, 4, 0, 5, 1, 6, 7, 2 }, // 10010100
-        { 0, 4, 1, 5, 2, 6, 7, 3 }, // 10010101
-        { 4, 0, 1, 5, 2, 6, 7, 3 }, // 10010110
-        { 0, 1, 2, 5, 3, 6, 7, 4 }, // 10010111
-        { 3, 4, 5, 0, 1, 6, 7, 2 }, // 10011000
-        { 0, 4, 5, 1, 2, 6, 7, 3 }, // 10011001
-        { 4, 0, 5, 1, 2, 6, 7, 3 }, // 10011010
-        { 0, 1, 5, 2, 3, 6, 7, 4 }, // 10011011
-        { 4, 5, 0, 1, 2, 6, 7, 3 }, // 10011100
-        { 0, 5, 1, 2, 3, 6, 7, 4 }, // 10011101
-        { 5, 0, 1, 2, 3, 6, 7, 4 }, // 10011110
-        { 0, 1, 2, 3, 4, 6, 7, 5 }, // 10011111
-        { 2, 3, 4, 5, 6, 0, 7, 1 }, // 10100000
-        { 0, 3, 4, 5, 6, 1, 7, 2 }, // 10100001
-        { 3, 0, 4, 5, 6, 1, 7, 2 }, // 10100010
-        { 0, 1, 4, 5, 6, 2, 7, 3 }, // 10100011
-        { 3, 4, 0, 5, 6, 1, 7, 2 }, // 10100100
-        { 0, 4, 1, 5, 6, 2, 7, 3 }, // 10100101
-        { 4, 0, 1, 5, 6, 2, 7, 3 }, // 10100110
-        { 0, 1, 2, 5, 6, 3, 7, 4 }, // 10100111
-        { 3, 4, 5, 0, 6, 1, 7, 2 }, // 10101000
-        { 0, 4, 5, 1, 6, 2, 7, 3 }, // 10101001
-        { 4, 0, 5, 1, 6, 2, 7, 3 }, // 10101010
-        { 0, 1, 5, 2, 6, 3, 7, 4 }, // 10101011
-        { 4, 5, 0, 1, 6, 2, 7, 3 }, // 10101100
-        { 0, 5, 1, 2, 6, 3, 7, 4 }, // 10101101
-        { 5, 0, 1, 2, 6, 3, 7, 4 }, // 10101110
-        { 0, 1, 2, 3, 6, 4, 7, 5 }, // 10101111
-        { 3, 4, 5, 6, 0, 1, 7, 2 }, // 10110000
-        { 0, 4, 5, 6, 1, 2, 7, 3 }, // 10110001
-        { 4, 0, 5, 6, 1, 2, 7, 3 }, // 10110010
-        { 0, 1, 5, 6, 2, 3, 7, 4 }, // 10110011
-        { 4, 5, 0, 6, 1, 2, 7, 3 }, // 10110100
-        { 0, 5, 1, 6, 2, 3, 7, 4 }, // 10110101
-        { 5, 0, 1, 6, 2, 3, 7, 4 }, // 10110110
-        { 0, 1, 2, 6, 3, 4, 7, 5 }, // 10110111
-        { 4, 5, 6, 0, 1, 2, 7, 3 }, // 10111000
-        { 0, 5, 6, 1, 2, 3, 7, 4 }, // 10111001
-        { 5, 0, 6, 1, 2, 3, 7, 4 }, // 10111010
-        { 0, 1, 6, 2, 3, 4, 7, 5 }, // 10111011
-        { 5, 6, 0, 1, 2, 3, 7, 4 }, // 10111100
-        { 0, 6, 1, 2, 3, 4, 7, 5 }, // 10111101
-        { 6, 0, 1, 2, 3, 4, 7, 5 }, // 10111110
-        { 0, 1, 2, 3, 4, 5, 7, 6 }, // 10111111
-        { 2, 3, 4, 5, 6, 7, 0, 1 }, // 11000000
-        { 0, 3, 4, 5, 6, 7, 1, 2 }, // 11000001
-        { 3, 0, 4, 5, 6, 7, 1, 2 }, // 11000010
-        { 0, 1, 4, 5, 6, 7, 2, 3 }, // 11000011
-        { 3, 4, 0, 5, 6, 7, 1, 2 }, // 11000100
-        { 0, 4, 1, 5, 6, 7, 2, 3 }, // 11000101
-        { 4, 0, 1, 5, 6, 7, 2, 3 }, // 11000110
-        { 0, 1, 2, 5, 6, 7, 3, 4 }, // 11000111
-        { 3, 4, 5, 0, 6, 7, 1, 2 }, // 11001000
-        { 0, 4, 5, 1, 6, 7, 2, 3 }, // 11001001
-        { 4, 0, 5, 1, 6, 7, 2, 3 }, // 11001010
-        { 0, 1, 5, 2, 6, 7, 3, 4 }, // 11001011
-        { 4, 5, 0, 1, 6, 7, 2, 3 }, // 11001100
-        { 0, 5, 1, 2, 6, 7, 3, 4 }, // 11001101
-        { 5, 0, 1, 2, 6, 7, 3, 4 }, // 11001110
-        { 0, 1, 2, 3, 6, 7, 4, 5 }, // 11001111
-        { 3, 4, 5, 6, 0, 7, 1, 2 }, // 11010000
-        { 0, 4, 5, 6, 1, 7, 2, 3 }, // 11010001
-        { 4, 0, 5, 6, 1, 7, 2, 3 }, // 11010010
-        { 0, 1, 5, 6, 2, 7, 3, 4 }, // 11010011
-        { 4, 5, 0, 6, 1, 7, 2, 3 }, // 11010100
-        { 0, 5, 1, 6, 2, 7, 3, 4 }, // 11010101
-        { 5, 0, 1, 6, 2, 7, 3, 4 }, // 11010110
-        { 0, 1, 2, 6, 3, 7, 4, 5 }, // 11010111
-        { 4, 5, 6, 0, 1, 7, 2, 3 }, // 11011000
-        { 0, 5, 6, 1, 2, 7, 3, 4 }, // 11011001
-        { 5, 0, 6, 1, 2, 7, 3, 4 }, // 11011010
-        { 0, 1, 6, 2, 3, 7, 4, 5 }, // 11011011
-        { 5, 6, 0, 1, 2, 7, 3, 4 }, // 11011100
-        { 0, 6, 1, 2, 3, 7, 4, 5 }, // 11011101
-        { 6, 0, 1, 2, 3, 7, 4, 5 }, // 11011110
-        { 0, 1, 2, 3, 4, 7, 5, 6 }, // 11011111
-        { 3, 4, 5, 6, 7, 0, 1, 2 }, // 11100000
-        { 0, 4, 5, 6, 7, 1, 2, 3 }, // 11100001
-        { 4, 0, 5, 6, 7, 1, 2, 3 }, // 11100010
-        { 0, 1, 5, 6, 7, 2, 3, 4 }, // 11100011
-        { 4, 5, 0, 6, 7, 1, 2, 3 }, // 11100100
-        { 0, 5, 1, 6, 7, 2, 3, 4 }, // 11100101
-        { 5, 0, 1, 6, 7, 2, 3, 4 }, // 11100110
-        { 0, 1, 2, 6, 7, 3, 4, 5 }, // 11100111
-        { 4, 5, 6, 0, 7, 1, 2, 3 }, // 11101000
-        { 0, 5, 6, 1, 7, 2, 3, 4 }, // 11101001
-        { 5, 0, 6, 1, 7, 2, 3, 4 }, // 11101010
-        { 0, 1, 6, 2, 7, 3, 4, 5 }, // 11101011
-        { 5, 6, 0, 1, 7, 2, 3, 4 }, // 11101100
-        { 0, 6, 1, 2, 7, 3, 4, 5 }, // 11101101
-        { 6, 0, 1, 2, 7, 3, 4, 5 }, // 11101110
-        { 0, 1, 2, 3, 7, 4, 5, 6 }, // 11101111
-        { 4, 5, 6, 7, 0, 1, 2, 3 }, // 11110000
-        { 0, 5, 6, 7, 1, 2, 3, 4 }, // 11110001
-        { 5, 0, 6, 7, 1, 2, 3, 4 }, // 11110010
-        { 0, 1, 6, 7, 2, 3, 4, 5 }, // 11110011
-        { 5, 6, 0, 7, 1, 2, 3, 4 }, // 11110100
-        { 0, 6, 1, 7, 2, 3, 4, 5 }, // 11110101
-        { 6, 0, 1, 7, 2, 3, 4, 5 }, // 11110110
-        { 0, 1, 2, 7, 3, 4, 5, 6 }, // 11110111
-        { 5, 6, 7, 0, 1, 2, 3, 4 }, // 11111000
-        { 0, 6, 7, 1, 2, 3, 4, 5 }, // 11111001
-        { 6, 0, 7, 1, 2, 3, 4, 5 }, // 11111010
-        { 0, 1, 7, 2, 3, 4, 5, 6 }, // 11111011
-        { 6, 7, 0, 1, 2, 3, 4, 5 }, // 11111100
-        { 0, 7, 1, 2, 3, 4, 5, 6 }, // 11111101
-        { 7, 0, 1, 2, 3, 4, 5, 6 }, // 11111110
-        { 0, 1, 2, 3, 4, 5, 6, 7 }  // 11111111
-    };
-
-    assert( uPhase > 0 && uPhase < (unsigned)(1 << nVars) );
-
-    // the same function
-    if ( Cases[uPhase] == 0 )
-    {
-        int i;
-        for ( i = 0; i < nWords; i++ )
-            puTruthR[i] = puTruth[i];
-        return;
-    }
-
-    // an elementary variable
-    if ( Cases[uPhase] > 0 )
-    {
-        int i;
-        for ( i = 0; i < nWords; i++ )
-            puTruthR[i] = uTruths[Cases[uPhase]][i];
-        return;
-    }
-
-    // truth table takes one word
-    if ( nWords == 1 )
-    {
-        int i, k, nMints, iRes;
-        char * pPerm = Perms[uPhase];
-        puTruthR[0] = 0;
-        nMints = (1 << nVars);
-        for ( i = 0; i < nMints; i++ )
-            if ( puTruth[0] & (1 << i) )
-            {
-                for ( iRes = 0, k = 0; k < nVars; k++ )
-                    if ( i & (1 << pPerm[k]) )
-                        iRes |= (1 << k);
-                puTruthR[0] |= (1 << iRes);
-            }
-        return;
-    }
-    else if ( nWords == 2 )
-    {
-        int i, k, iRes;
-        char * pPerm = Perms[uPhase];
-        puTruthR[0] = puTruthR[1] = 0;
-        for ( i = 0; i < 32; i++ )
-        {
-            if ( puTruth[0] & (1 << i) )
-            {
-                for ( iRes = 0, k = 0; k < 6; k++ )
-                    if ( i & (1 << pPerm[k]) )
-                        iRes |= (1 << k);
-                if ( iRes < 32 )
-                    puTruthR[0] |= (1 << iRes);
-                else
-                    puTruthR[1] |= (1 << (iRes-32));
-            }
-        }
-        for ( ; i < 64; i++ )
-        {
-            if ( puTruth[1] & (1 << (i-32)) )
-            {
-                for ( iRes = 0, k = 0; k < 6; k++ )
-                    if ( i & (1 << pPerm[k]) )
-                        iRes |= (1 << k);
-                if ( iRes < 32 )
-                    puTruthR[0] |= (1 << iRes);
-                else
-                    puTruthR[1] |= (1 << (iRes-32));
-            }
-        }
-    }
-    // truth table takes more than one word
-    else
-    {
-        int i, k, nMints, iRes;
-        char * pPerm = Perms[uPhase];
-        for ( i = 0; i < nWords; i++ )
-            puTruthR[i] = 0;
-        nMints = (1 << nVars);
-        for ( i = 0; i < nMints; i++ )
-            if ( puTruth[i>>5] & (1 << (i&31)) )
-            {
-                for ( iRes = 0, k = 0; k < 5; k++ )
-                    if ( i & (1 << pPerm[k]) )
-                        iRes |= (1 << k);
-                puTruthR[iRes>>5] |= (1 << (iRes&31));
-            }
-    }
-}
-
-/**Function*************************************************************
-
   Synopsis    [Allocated lookup table for truth table permutation.]
 
   Description []
@@ -2041,84 +1381,6 @@ unsigned ** Extra_TruthPerm63()
 
 /**Function*************************************************************
 
-  Synopsis    [Returns the pointer to the elementary truth tables.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-unsigned ** Extra_Truths8()
-{
-    static unsigned uTruths[8][8] = {
-        { 0xAAAAAAAA,0xAAAAAAAA,0xAAAAAAAA,0xAAAAAAAA,0xAAAAAAAA,0xAAAAAAAA,0xAAAAAAAA,0xAAAAAAAA },
-        { 0xCCCCCCCC,0xCCCCCCCC,0xCCCCCCCC,0xCCCCCCCC,0xCCCCCCCC,0xCCCCCCCC,0xCCCCCCCC,0xCCCCCCCC },
-        { 0xF0F0F0F0,0xF0F0F0F0,0xF0F0F0F0,0xF0F0F0F0,0xF0F0F0F0,0xF0F0F0F0,0xF0F0F0F0,0xF0F0F0F0 },
-        { 0xFF00FF00,0xFF00FF00,0xFF00FF00,0xFF00FF00,0xFF00FF00,0xFF00FF00,0xFF00FF00,0xFF00FF00 },
-        { 0xFFFF0000,0xFFFF0000,0xFFFF0000,0xFFFF0000,0xFFFF0000,0xFFFF0000,0xFFFF0000,0xFFFF0000 }, 
-        { 0x00000000,0xFFFFFFFF,0x00000000,0xFFFFFFFF,0x00000000,0xFFFFFFFF,0x00000000,0xFFFFFFFF }, 
-        { 0x00000000,0x00000000,0xFFFFFFFF,0xFFFFFFFF,0x00000000,0x00000000,0xFFFFFFFF,0xFFFFFFFF }, 
-        { 0x00000000,0x00000000,0x00000000,0x00000000,0xFFFFFFFF,0xFFFFFFFF,0xFFFFFFFF,0xFFFFFFFF } 
-    };
-    static unsigned * puResult[8] = {
-        uTruths[0], uTruths[1], uTruths[2], uTruths[3], uTruths[4], uTruths[5], uTruths[6], uTruths[7] 
-    };
-    return (unsigned **)puResult;
-}
-
-/**Function*************************************************************
-
-  Synopsis    [Bubble-sorts components by scores in increasing order.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-void Extra_BubbleSort( int Order[], int Costs[], int nSize, int fIncreasing )
-{
-    int i, Temp, fChanges;
-    assert( nSize < 1000 );
-    for ( i = 0; i < nSize; i++ )
-        Order[i] = i;
-    if ( fIncreasing )
-    {
-        do {
-            fChanges = 0;
-            for ( i = 0; i < nSize - 1; i++ )
-            {
-                if ( Costs[Order[i]] <= Costs[Order[i+1]] )
-                    continue;
-                Temp = Order[i];
-                Order[i] = Order[i+1];
-                Order[i+1] = Temp;
-                fChanges = 1;
-            }
-        } while ( fChanges );
-    }
-    else
-    {
-        do {
-            fChanges = 0;
-            for ( i = 0; i < nSize - 1; i++ )
-            {
-                if ( Costs[Order[i]] >= Costs[Order[i+1]] )
-                    continue;
-                Temp = Order[i];
-                Order[i] = Order[i+1];
-                Order[i+1] = Temp;
-                fChanges = 1;
-            }
-        } while ( fChanges );
-    }
-}
-
-/**Function*************************************************************
-
   Synopsis    [Returns the smallest prime larger than the number.]
 
   Description []
@@ -2153,6 +1415,7 @@ unsigned int Cudd_PrimeCopy( unsigned int  p)
 
 } /* end of Cudd_Prime */
 
+
 /*---------------------------------------------------------------------------*/
 /* Definition of internal functions                                          */
 /*---------------------------------------------------------------------------*/
@@ -2162,72 +1425,6 @@ unsigned int Cudd_PrimeCopy( unsigned int  p)
 /*---------------------------------------------------------------------------*/
 
 
-/**Function*************************************************************
-
-  Synopsis    [Computes the permutation table for 8 variables.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-void Extra_TruthExpandGeneratePermTable()
-{
-    int i, k, nOnes, Last1, First0;
-    int iOne, iZero;
-
-    printf( "\nstatic char Cases[256] = {\n" );
-    for ( i = 0; i < 256; i++ )
-    {
-        nOnes = 0;
-        Last1 = First0 = -1;
-        for ( k = 0; k < 8; k++ )
-        {
-            if ( i & (1 << k) )
-            {
-                nOnes++;
-                Last1 = k;
-            }
-            else if ( First0 == -1 )
-                First0 = k;
-        }
-        if ( Last1 + 1 == First0 || i == 255 )
-            printf( "     %d%s", 0, (i==255? " ":",") );
-        else if ( nOnes == 1 )
-            printf( "     %d,", Last1 );
-        else
-            printf( "    -%d,", 1 );
-        printf( " // " );
-        Extra_PrintBinary( stdout, (unsigned*)&i, 8 );
-        printf( "\n" );
-    }
-    printf( "};\n" );
-
-    printf( "\nstatic char Perms[256][8] = {\n" );
-    for ( i = 0; i < 256; i++ )
-    {
-        printf( "    {" );
-        nOnes = 0;
-        for ( k = 0; k < 8; k++ )
-            if ( i & (1 << k) )
-                nOnes++;
-        iOne = 0;
-        iZero = nOnes;
-        for ( k = 0; k < 8; k++ )
-            if ( i & (1 << k) )
-                printf( "%s %d", (k==0? "":","), iOne++ );
-            else
-                printf( "%s %d", (k==0? "":","), iZero++ );
-        assert( iOne + iZero == 8 );
-        printf( " }%s // ", (i==255? " ":",") );
-        Extra_PrintBinary( stdout, (unsigned*)&i, 8 );
-        printf( "\n" );
-    }
-    printf( "};\n" );
-}
-
 ////////////////////////////////////////////////////////////////////////
 ///                       END OF FILE                                ///
 ////////////////////////////////////////////////////////////////////////