IsoCuttingTables.h

Go to the documentation of this file.

/* This file is part of COVISE.
 
   You can use it under the terms of the GNU Lesser General Public License
   version 2.1 or later, see lgpl-2.1.txt.
 
 * License: LGPL 2+ */
 
#ifndef CUTTING_TABLE_H
#define CUTTING_TABLE_H
 
namespace covise
{
 
static cutting_info Hex_Table[256] = {
    { /* 0: no         00000000 */
      {
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 1: yes        00000001 */
      {
        0, 1, 3, 4, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 2: yes        00000010 */
      {
        1, 0, 5, 2, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 3: yes        00000011 */
      {
        0, 3, 4, 1, 5, 2, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 4: yes        00000100 */
      {
        2, 1, 6, 3, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 5: yes        00000101 */
      {
        0, 4, 1, 3, 2, 6, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 6: yes        00000110 */
      {
        1, 0, 5, 2, 6, 3, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 7: yes        00000111 */
      {
        0, 3, 4, 1, 5, 2, 6, 3, 0, 0, 0, 0
      },
      5
    },
    { /* 8: yes        00001000 */
      {
        3, 0, 2, 7, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 9: yes        00001001 */
      {
        0, 4, 1, 3, 2, 7, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 10: yes       00001010 */
      {
        1, 5, 2, 0, 3, 7, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 11: yes       00001011 */
      {
        3, 2, 7, 0, 4, 1, 5, 2, 0, 0, 0, 0
      },
      5
    },
    { /* 12: yes       00001100 */
      {
        2, 1, 6, 3, 7, 0, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 13: yes       00001101 */
      {
        2, 1, 6, 3, 7, 0, 4, 1, 0, 0, 0, 0
      },
      5
    },
    { /* 14: yes       00001110 */
      {
        1, 0, 5, 2, 6, 3, 7, 0, 0, 0, 0, 0
      },
      5
    },
    { /* 15: yes       00001111 */
      {
        0, 4, 1, 5, 2, 6, 3, 7, 0, 0, 0, 0
      },
      6
    },
    { /* 16: yes       00010000 */
      {
        4, 0, 7, 5, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 17: yes       00010001 */
      {
        4, 7, 5, 0, 1, 3, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 18: yes       00010010 */
      {
        1, 2, 0, 5, 4, 7, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 19: yes       00010011 */
      {
        1, 5, 2, 0, 3, 4, 7, 5, 0, 0, 0, 0
      },
      5
    },
    { /* 20: yes       00010100 */
      {
        2, 3, 1, 6, 4, 0, 7, 5, 0, 0, 0, 0
      },
      7
    },
    { /* 21: yes       00010101 */
      {
        0, 1, 3, 4, 7, 5, 2, 3, 1, 6, 0, 0
      },
      8
    },
    { /* 22: yes       00010110 */
      {
        1, 0, 5, 2, 6, 3, 4, 0, 7, 5, 0, 0
      },
      8
    },
    { /* 23: yes       00010111 */
      {
        1, 5, 2, 6, 3, 0, 4, 7, 5, 0, 0, 0
      },
      9
    },
    { /* 24: yes       00011000 */
      {
        4, 5, 0, 7, 3, 2, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 25: yes       00011001 */
      {
        4, 7, 5, 0, 1, 3, 2, 7, 0, 0, 0, 0
      },
      5
    },
    { /* 26: yes       00011010 */
      {
        1, 2, 0, 5, 3, 0, 2, 7, 4, 5, 0, 7
      },
      10
    },
    { /* 27: yes       00011011 */
      {
        4, 7, 5, 1, 5, 2, 3, 2, 7, 0, 0, 0
      },
      11
    },
    { /* 28: yes       00011100 */
      {
        3, 7, 0, 2, 1, 6, 4, 0, 7, 5, 0, 0
      },
      8
    },
    { /* 29: yes       00011101 */
      {
        4, 7, 5, 0, 1, 2, 6, 3, 7, 0, 0, 0
      },
      12
    },
    { /* 30: yes       00011110 */
      {
        0, 4, 3, 1, 7, 3, 4, 5, 1, 2, 6, 0
      },
      13
    },
    { /* 31: yes       00011111 */
      {
        5, 4, 1, 6, 2, 7, 3, 4, 0, 0, 0, 0
      },
      5
    },
    { /* 32: yes       00100000 */
      {
        5, 1, 4, 6, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 33: yes       00100001 */
      {
        0, 3, 4, 1, 5, 6, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 34: yes       00100010 */
      {
        5, 4, 6, 1, 2, 0, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 35: yes       00100011 */
      {
        5, 4, 6, 1, 2, 0, 3, 4, 0, 0, 0, 0
      },
      5
    },
    { /* 36: yes       00100100 */
      {
        2, 3, 1, 6, 5, 4, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 37: yes       00100101 */
      {
        0, 1, 3, 4, 2, 3, 1, 6, 5, 1, 4, 6
      },
      10
    },
    { /* 38: yes       00100110 */
      {
        2, 6, 3, 1, 0, 5, 4, 6, 0, 0, 0, 0
      },
      5
    },
    { /* 39: yes       00100111 */
      {
        0, 3, 4, 5, 4, 6, 2, 6, 3, 0, 0, 0
      },
      11
    },
    { /* 40: yes       00101000 */
      {
        3, 0, 2, 7, 5, 1, 4, 6, 0, 0, 0, 0
      },
      7
    },
    { /* 41: yes       00101001 */
      {
        0, 4, 1, 3, 2, 7, 5, 1, 4, 6, 0, 0
      },
      8
    },
    { /* 42: yes       00101010 */
      {
        1, 2, 0, 5, 4, 6, 3, 0, 2, 7, 0, 0
      },
      8
    },
    { /* 43: yes       00101011 */
      {
        5, 4, 6, 1, 2, 3, 7, 0, 4, 0, 0, 0
      },
      12
    },
    { /* 44: yes       00101100 */
      {
        2, 1, 6, 3, 7, 0, 5, 1, 4, 6, 0, 0
      },
      8
    },
    { /* 45: yes       00101101 */
      {
        1, 0, 2, 5, 6, 5, 2, 3, 7, 0, 4, 0
      },
      13
    },
    { /* 46: yes       00101110 */
      {
        1, 0, 5, 4, 6, 2, 3, 7, 0, 0, 0, 0
      },
      9
    },
    { /* 47: yes       00101111 */
      {
        6, 5, 2, 7, 3, 4, 0, 5, 0, 0, 0, 0
      },
      5
    },
    { /* 48: yes       00110000 */
      {
        5, 6, 1, 4, 0, 7, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 49: yes       00110001 */
      {
        0, 1, 3, 4, 7, 5, 6, 1, 0, 0, 0, 0
      },
      5
    },
    { /* 50: yes       00110010 */
      {
        4, 0, 7, 5, 6, 1, 2, 0, 0, 0, 0, 0
      },
      5
    },
    { /* 51: yes       00110011 */
      {
        0, 3, 4, 7, 5, 6, 1, 2, 0, 0, 0, 0
      },
      6
    },
    { /* 52: yes       00110100 */
      {
        4, 0, 7, 5, 6, 1, 2, 3, 1, 6, 0, 0
      },
      8
    },
    { /* 53: yes       00110101 */
      {
        1, 0, 2, 5, 6, 5, 2, 3, 4, 7, 0, 0
      },
      13
    },
    { /* 54: yes       00110110 */
      {
        4, 0, 7, 5, 6, 2, 3, 1, 0, 0, 0, 0
      },
      12
    },
    { /* 55: yes       00110111 */
      {
        3, 2, 0, 7, 4, 6, 5, 2, 0, 0, 0, 0
      },
      5
    },
    { /* 56: yes       00111000 */
      {
        4, 0, 7, 5, 6, 1, 3, 0, 2, 7, 0, 0
      },
      8
    },
    { /* 57: yes       00111001 */
      {
        4, 7, 5, 6, 1, 0, 3, 2, 7, 0, 0, 0
      },
      9
    },
    { /* 58: yes       00111010 */
      {
        0, 1, 4, 3, 2, 1, 3, 7, 4, 5, 6, 0
      },
      13
    },
    { /* 59: yes       00111011 */
      {
        7, 3, 4, 6, 5, 2, 1, 3, 0, 0, 0, 0
      },
      5
    },
    { /* 60: yes       00111100 */
      {
        2, 1, 6, 3, 7, 0, 4, 0, 7, 5, 6, 1
      },
      14
    },
    { /* 61: yes       00111101 */
      {
        7, 3, 4, 6, 5, 2, 1, 0, 2, 5, 0, 0
      },
      8
    },
    { /* 62: yes       00111110 */
      {
        7, 3, 4, 6, 5, 2, 0, 1, 4, 3, 0, 0
      },
      8
    },
    { /* 63: yes       00111111 */
      {
        7, 3, 4, 6, 5, 2, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 64: yes       01000000 */
      {
        6, 2, 5, 7, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 65: yes       01000001 */
      {
        0, 1, 3, 4, 6, 2, 5, 7, 0, 0, 0, 0
      },
      7
    },
    { /* 66: yes       01000010 */
      {
        1, 0, 5, 2, 6, 7, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 67: yes       01000011 */
      {
        0, 3, 4, 1, 5, 2, 6, 2, 5, 7, 0, 0
      },
      8
    },
    { /* 68: yes       01000100 */
      {
        2, 3, 1, 6, 5, 7, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 69: yes       01000101 */
      {
        2, 3, 1, 6, 5, 7, 0, 1, 3, 4, 0, 0
      },
      8
    },
    { /* 70: yes       01000110 */
      {
        6, 5, 7, 2, 3, 1, 0, 5, 0, 0, 0, 0
      },
      5
    },
    { /* 71: yes       01000111 */
      {
        0, 3, 4, 1, 5, 6, 7, 3, 2, 0, 0, 0
      },
      12
    },
    { /* 72: yes       01001000 */
      {
        3, 0, 2, 7, 6, 5, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 73: yes       01001001 */
      {
        0, 4, 1, 3, 2, 7, 6, 2, 5, 7, 0, 0
      },
      8
    },
    { /* 74: yes       01001010 */
      {
        1, 2, 0, 5, 3, 0, 2, 7, 6, 2, 5, 7
      },
      10
    },
    { /* 75: yes       01001011 */
      {
        2, 3, 6, 1, 5, 1, 6, 7, 3, 0, 4, 0
      },
      13
    },
    { /* 76: yes       01001100 */
      {
        3, 7, 0, 2, 1, 6, 5, 7, 0, 0, 0, 0
      },
      5
    },
    { /* 77: yes       01001101 */
      {
        2, 1, 6, 5, 7, 3, 0, 4, 1, 0, 0, 0
      },
      9
    },
    { /* 78: yes       01001110 */
      {
        1, 0, 5, 6, 5, 7, 3, 7, 0, 0, 0, 0
      },
      11
    },
    { /* 79: yes       01001111 */
      {
        7, 6, 3, 4, 0, 5, 1, 6, 0, 0, 0, 0
      },
      5
    },
    { /* 80: yes       01010000 */
      {
        6, 2, 5, 7, 4, 0, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 81: yes       01010001 */
      {
        0, 1, 3, 4, 7, 5, 6, 2, 5, 7, 0, 0
      },
      8
    },
    { /* 82: yes       01010010 */
      {
        1, 2, 0, 5, 4, 5, 0, 7, 6, 2, 5, 7
      },
      10
    },
    { /* 83: yes       01010011 */
      {
        5, 4, 1, 6, 7, 4, 6, 2, 1, 0, 3, 0
      },
      13
    },
    { /* 84: yes       01010100 */
      {
        2, 3, 1, 6, 5, 7, 4, 0, 7, 5, 0, 0
      },
      8
    },
    { /* 85: yes       01010101 */
      {
        2, 3, 1, 6, 5, 7, 0, 1, 3, 4, 7, 5
      },
      14
    },
    { /* 86: yes       01010110 */
      {
        5, 1, 6, 4, 0, 1, 4, 7, 6, 2, 3, 0
      },
      13
    },
    { /* 87: yes       01010111 */
      {
        3, 2, 0, 7, 4, 6, 5, 1, 6, 4, 0, 0
      },
      8
    },
    { /* 88: yes       01011000 */
      {
        6, 2, 5, 7, 4, 5, 0, 7, 3, 0, 2, 7
      },
      10
    },
    { /* 89: yes       01011001 */
      {
        2, 1, 3, 6, 5, 1, 6, 7, 3, 0, 4, 0
      },
      13
    },
    { /* 90: yes       01011010 */
      {
        1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
      },
      15
    },
    { /* 91: yes       01011011 */
      {
        7, 3, 4, 6, 5, 4, 1, 6, 2, 1, 3, 6
      },
      10
    },
    { /* 92: yes       01011100 */
      {
        7, 3, 4, 6, 5, 6, 4, 0, 3, 2, 1, 0
      },
      13
    },
    { /* 93: yes       01011101 */
      {
        1, 0, 2, 5, 6, 4, 7, 3, 4, 6, 0, 0
      },
      8
    },
    { /* 94: yes       01011110 */
      {
        7, 3, 4, 6, 5, 1, 6, 4, 0, 1, 4, 3
      },
      10
    },
    { /* 95: yes       01011111 */
      {
        7, 3, 4, 6, 5, 1, 0, 0, 0, 0, 0, 0
      },
      4
    },
    { /* 96: yes       01100000 */
      {
        5, 1, 4, 6, 7, 2, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 97: yes       01100001 */
      {
        6, 7, 2, 5, 1, 4, 0, 1, 3, 4, 0, 0
      },
      8
    },
    { /* 98: yes       01100010 */
      {
        1, 2, 0, 5, 4, 6, 7, 2, 0, 0, 0, 0
      },
      5
    },
    { /* 99: yes       01100011 */
      {
        5, 4, 6, 7, 2, 1, 0, 3, 4, 0, 0, 4
      },
      9
    },
    { /* 100: yes      01100100 */
      {
        5, 1, 4, 6, 7, 2, 3, 1, 0, 0, 0, 0
      },
      5
    },
    { /* 101: yes      01100101 */
      {
        1, 0, 2, 5, 3, 2, 0, 4, 5, 6, 7, 0
      },
      13
    },
    { /* 102: yes      01100110 */
      {
        1, 0, 5, 4, 6, 7, 2, 3, 0, 0, 0, 0
      },
      6
    },
    { /* 103: yes      01100111 */
      {
        4, 0, 5, 7, 6, 3, 2, 0, 0, 0, 0, 0
      },
      5
    },
    { /* 104: yes      01101000 */
      {
        6, 7, 2, 5, 1, 4, 3, 0, 2, 7, 0, 0
      },
      8
    },
    { /* 105: yes      01101001 */
      {
        0, 4, 1, 3, 2, 7, 5, 1, 4, 6, 7, 2
      },
      14
    },
    { /* 106: yes      01101010 */
      {
        2, 6, 1, 3, 7, 6, 3, 0, 1, 4, 5, 0
      },
      13
    },
    { /* 107: yes      01101011 */
      {
        7, 6, 3, 4, 0, 5, 2, 3, 6, 1, 0, 0
      },
      8
    },
    { /* 108: yes      01101100 */
      {
        5, 1, 4, 6, 7, 3, 0, 1, 2, 0, 0, 0
      },
      12
    },
    { /* 109: yes      01101101 */
      {
        7, 6, 3, 4, 0, 5, 1, 5, 2, 0, 0, 0
      },
      8
    },
    { /* 110: yes      01101110 */
      {
        0, 3, 1, 4, 5, 7, 6, 3, 0, 0, 0, 0
      },
      5
    },
    { /* 111: yes      01101111 */
      {
        4, 0, 5, 7, 6, 3, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 112: yes      01110000 */
      {
        6, 7, 2, 5, 1, 4, 0, 7, 0, 0, 0, 0
      },
      5
    },
    { /* 113: yes      01110001 */
      {
        0, 1, 3, 4, 7, 6, 2, 5, 1, 0, 0, 0
      },
      12
    },
    { /* 114: yes      01110010 */
      {
        1, 2, 0, 4, 0, 7, 6, 7, 2, 0, 0, 0
      },
      11
    },
    { /* 115: yes      01110011 */
      {
        2, 6, 1, 3, 0, 7, 4, 6, 0, 0, 0, 0
      },
      5
    },
    { /* 116: yes      01110100 */
      {
        5, 1, 4, 0, 7, 6, 2, 3, 1, 0, 0, 0
      },
      9
    },
    { /* 117: yes      01110101 */
      {
        3, 2, 0, 7, 4, 6, 1, 0, 2, 5, 0, 0
      },
      8
    },
    { /* 118: yes      01110110 */
      {
        7, 4, 6, 3, 2, 0, 1, 4, 0, 0, 0, 0
      },
      5
    },
    { /* 119: yes      01110111 */
      {
        3, 2, 0, 7, 4, 6, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 120: yes      01111000 */
      {
        7, 3, 4, 6, 0, 4, 3, 2, 6, 5, 1, 0
      },
      13
    },
    { /* 121: yes      01111001 */
      {
        1, 5, 0, 2, 3, 6, 7, 3, 4, 6, 0, 0
      },
      8
    },
    { /* 122: yes      01111010 */
      {
        7, 3, 4, 6, 2, 1, 3, 6, 0, 1, 4, 3
      },
      10
    },
    { /* 123: yes      01111011 */
      {
        7, 4, 6, 3, 2, 1, 0, 0, 0, 0, 0, 0
      },
      4
    },
    { /* 124: yes      01111100 */
      {
        1, 2, 5, 0, 4, 3, 7, 3, 4, 6, 0, 0
      },
      8
    },
    { /* 125: yes      01111101 */
      {
        1, 0, 2, 5, 7, 3, 4, 6, 0, 0, 0, 0
      },
      7
    },
    { /* 126: yes      01111110 */
      {
        0, 1, 4, 3, 7, 6, 0, 0, 0, 0, 0, 0
      },
      4
    },
    { /* 127: yes      01111111 */
      {
        7, 3, 4, 6, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 128: yes      10000000 */
      {
        7, 3, 6, 4, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 129: yes      10000001 */
      {
        0, 1, 3, 4, 7, 6, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 130: yes      10000010 */
      {
        1, 2, 0, 5, 7, 4, 3, 6, 0, 0, 0, 0
      },
      7
    },
    { /* 131: yes      10000011 */
      {
        0, 3, 4, 1, 5, 2, 7, 6, 4, 3, 0, 0
      },
      8
    },
    { /* 132: yes      10000100 */
      {
        2, 1, 6, 3, 7, 4, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 133: yes      10000101 */
      {
        0, 1, 3, 4, 2, 1, 6, 3, 7, 6, 4, 3
      },
      10
    },
    { /* 134: yes      10000110 */
      {
        1, 0, 5, 2, 6, 3, 7, 6, 4, 3, 0, 0
      },
      8
    },
    { /* 135: yes      10000111 */
      {
        3, 2, 0, 7, 6, 2, 7, 4, 0, 1, 5, 0
      },
      13
    },
    { /* 136: yes      10001000 */
      {
        7, 6, 4, 3, 0, 2, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 137: yes      10001001 */
      {
        0, 4, 1, 3, 2, 7, 6, 4, 0, 0, 0, 0
      },
      5
    },
    { /* 138: yes      10001010 */
      {
        7, 6, 4, 3, 0, 2, 7, 6, 4, 3, 0, 0
      },
      8
    },
    { /* 139: yes      10001011 */
      {
        0, 4, 1, 5, 2, 3, 7, 6, 4, 0, 0, 0
      },
      9
    },
    { /* 140: yes      10001100 */
      {
        7, 6, 4, 3, 0, 2, 1, 6, 0, 0, 0, 0
      },
      5
    },
    { /* 141: yes      10001101 */
      {
        0, 4, 1, 2, 1, 6, 7, 6, 4, 0, 0, 0
      },
      11
    },
    { /* 142: yes      10001110 */
      {
        1, 0, 5, 2, 6, 7, 4, 0, 3, 0, 0, 0
      },
      12
    },
    { /* 143: yes      10001111 */
      {
        4, 7, 0, 5, 1, 6, 2, 7, 0, 0, 0, 0
      },
      5
    },
    { /* 144: yes      10010000 */
      {
        4, 5, 0, 7, 3, 6, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 145: yes      10010001 */
      {
        7, 3, 6, 4, 5, 0, 1, 3, 0, 0, 0, 0
      },
      5
    },
    { /* 146: yes      10010010 */
      {
        7, 3, 6, 4, 5, 0, 1, 0, 5, 2, 0, 0
      },
      8
    },
    { /* 147: yes      10010011 */
      {
        7, 3, 6, 4, 5, 1, 2, 0, 3, 0, 0, 0
      },
      12
    },
    { /* 148: yes      10010100 */
      {
        7, 3, 6, 4, 5, 0, 2, 6, 3, 1, 0, 0
      },
      8
    },
    { /* 149: yes      10010101 */
      {
        3, 2, 0, 7, 1, 0, 2, 6, 7, 4, 5, 0
      },
      13
    },
    { /* 150: yes      10010110 */
      {
        1, 0, 5, 2, 6, 3, 4, 5, 0, 7, 3, 6
      },
      14
    },
    { /* 151: yes      10010111 */
      {
        5, 4, 1, 6, 2, 7, 3, 2, 0, 7, 0, 0
      },
      8
    },
    { /* 152: yes      10011000 */
      {
        3, 0, 2, 7, 6, 4, 5, 0, 0, 0, 0, 0
      },
      5
    },
    { /* 153: yes      10011001 */
      {
        1, 0, 2, 3, 6, 7, 5, 4, 0, 0, 0, 0
      },
      6
    },
    { /* 154: yes      10011010 */
      {
        0, 3, 1, 4, 5, 4, 1, 2, 3, 7, 6, 0
      },
      13
    },
    { /* 155: yes      10011011 */
      {
        2, 1, 3, 6, 7, 5, 4, 1, 0, 0, 0, 0
      },
      5
    },
    { /* 156: yes      10011100 */
      {
        0, 3, 2, 1, 6, 7, 4, 5, 0, 0, 0, 0
      },
      9
    },
    { /* 157: yes      10011101 */
      {
        6, 2, 7, 5, 4, 1, 0, 2, 0, 0, 0, 0
      },
      5
    },
    { /* 158: yes      10011110 */
      {
        5, 4, 1, 6, 2, 7, 0, 1, 4, 3, 0, 0
      },
      8
    },
    { /* 159: yes      10011111 */
      {
        5, 4, 1, 6, 2, 7, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 160: yes      10100000 */
      {
        5, 1, 4, 6, 7, 3, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 161: yes      10100001 */
      {
        0, 1, 3, 4, 5, 1, 4, 6, 7, 4, 3, 6
      },
      10
    },
    { /* 162: yes      10100010 */
      {
        1, 2, 0, 5, 4, 6, 7, 6, 4, 3, 0, 0
      },
      8
    },
    { /* 163: yes      10100011 */
      {
        4, 0, 5, 7, 3, 0, 7, 6, 5, 2, 1, 0
      },
      13
    },
    { /* 164: yes      10100100 */
      {
        7, 4, 3, 6, 5, 1, 4, 6, 2, 1, 6, 3
      },
      10
    },
    { /* 165: yes      10100101 */
      {
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
      },
      15
    },
    { /* 166: yes      10100110 */
      {
        6, 5, 2, 7, 4, 5, 7, 3, 2, 0, 1, 0
      },
      13
    },
    { /* 167: yes      10100111 */
      {
        6, 7, 5, 2, 4, 0, 5, 7, 3, 2, 0, 7
      },
      10
    },
    { /* 168: yes      10101000 */
      {
        7, 6, 4, 3, 0, 2, 5, 1, 4, 6, 0, 0
      },
      8
    },
    { /* 169: yes      10101001 */
      {
        4, 0, 5, 7, 6, 7, 5, 1, 0, 2, 3, 0
      },
      13
    },
    { /* 170: yes      10101010 */
      {
        1, 2, 0, 5, 4, 6, 3, 0, 2, 7, 6, 4
      },
      14
    },
    { /* 171: yes      10101011 */
      {
        2, 1, 3, 6, 7, 5, 4, 0, 5, 7, 0, 0
      },
      8
    },
    { /* 172: yes      10101100 */
      {
        6, 7, 5, 2, 1, 2, 5, 4, 7, 0, 3, 0
      },
      13
    },
    { /* 173: yes      10101101 */
      {
        1, 0, 2, 5, 6, 7, 5, 2, 4, 0, 5, 7
      },
      10
    },
    { /* 174: yes      10101110 */
      {
        0, 3, 1, 4, 5, 7, 6, 2, 7, 5, 0, 0
      },
      8
    },
    { /* 175: yes      10101111 */
      {
        4, 1, 5, 7, 6, 2, 0, 0, 0, 0, 0, 0
      },
      4
    },
    { /* 176: yes      10110000 save */
      {
        5, 6, 1, 4, 0, 7, 3, 6, 0, 0, 0, 0
      },
      5
    },
    { /* 177: yes      10110001 */
      {
        0, 1, 3, 7, 3, 6, 5, 6, 1, 0, 0, 0
      },
      11
    },
    { /* 178: yes      10110010 */
      {
        0, 4, 7, 3, 6, 5, 1, 2, 0, 0, 0, 0
      },
      9
    },
    { /* 179: yes      10110011 */
      {
        6, 7, 5, 2, 1, 3, 0, 7, 0, 0, 0, 0
      },
      5
    },
    { /* 180: yes      10110100 */
      {
        6, 5, 2, 7, 3, 7, 2, 1, 5, 0, 4, 0
      },
      13
    },
    { /* 181: yes      10110101 */
      {
        1, 0, 2, 5, 3, 2, 0, 7, 6, 7, 5, 2
      },
      10
    },
    { /* 182: yes      10110110 */
      {
        3, 7, 2, 0, 1, 4, 6, 2, 7, 5, 0, 0
      },
      8
    },
    { /* 183: yes      10110111 */
      {
        3, 0, 7, 2, 6, 5, 0, 0, 0, 0, 0, 0
      },
      4
    },
    { /* 184: yes      10111000 */
      {
        3, 0, 2, 7, 6, 5, 1, 4, 0, 0, 0, 0
      },
      12
    },
    { /* 185: yes      10111001 */
      {
        1, 5, 0, 2, 3, 6, 7, 5, 0, 0, 0, 0
      },
      5
    },
    { /* 186: yes      10111010 */
      {
        2, 1, 3, 6, 7, 5, 0, 1, 4, 3, 0, 0
      },
      8
    },
    { /* 187: yes      10111011 */
      {
        6, 7, 5, 2, 1, 3, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 188: yes      10111100 */
      {
        1, 2, 5, 0, 4, 3, 6, 2, 7, 5, 0, 0
      },
      8
    },
    { /* 189: yes      10111101 */
      {
        6, 7, 5, 2, 1, 0, 0, 0, 0, 0, 0, 0
      },
      4
    },
    { /* 190: yes      10111110 */
      {
        0, 1, 4, 3, 6, 2, 7, 5, 0, 0, 0, 0
      },
      7
    },
    { /* 191: yes      10111111 */
      {
        6, 2, 7, 5, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 192: yes      11000000 */
      {
        6, 2, 5, 7, 4, 3, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 193: yes      11000001 */
      {
        6, 2, 5, 7, 4, 3, 0, 1, 3, 4, 0, 0
      },
      8
    },
    { /* 194: yes      11000010 */
      {
        6, 2, 5, 7, 4, 3, 1, 5, 2, 0, 0, 0
      },
      8
    },
    { /* 195: yes      11000011 */
      {
        0, 3, 4, 1, 5, 2, 6, 2, 5, 7, 4, 3
      },
      14
    },
    { /* 196: yes      11000100 */
      {
        2, 3, 1, 6, 5, 7, 4, 3, 0, 0, 0, 0
      },
      5
    },
    { /* 197: yes      11000101 */
      {
        3, 2, 0, 7, 4, 7, 0, 1, 2, 5, 6, 0
      },
      13
    },
    { /* 198: yes      11000110 */
      {
        2, 3, 1, 0, 5, 6, 7, 4, 3, 0, 0, 0
      },
      9
    },
    { /* 199: yes      11000111 */
      {
        4, 7, 0, 5, 1, 6, 3, 2, 0, 7, 0, 0
      },
      8
    },
    { /* 200: yes      11001000 */
      {
        6, 2, 5, 7, 4, 3, 0, 2, 0, 0, 0, 0
      },
      5
    },
    { /* 201: yes      11001001 */
      {
        0, 4, 1, 3, 2, 6, 5, 7, 4, 0, 0, 0
      },
      12
    },
    { /* 202: yes      11001010 */
      {
        2, 1, 3, 6, 0, 3, 1, 5, 6, 4, 7, 0
      },
      13
    },
    { /* 203: yes      11001011 */
      {
        4, 7, 0, 5, 1, 6, 2, 1, 3, 6, 0, 0
      },
      8
    },
    { /* 204: yes      11001100 */
      {
        0, 3, 1, 2, 5, 6, 4, 7, 0, 0, 0, 0
      },
      6
    },
    { /* 205: yes      11001101 */
      {
        1, 0, 2, 5, 6, 4, 7, 0, 0, 0, 0, 0
      },
      5
    },
    { /* 206: yes      11001110 */
      {
        5, 1, 6, 4, 7, 0, 3, 1, 0, 0, 0, 0
      },
      5
    },
    { /* 207: yes      11001111 */
      {
        4, 7, 0, 5, 1, 6, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 208: yes      11010000 */
      {
        4, 5, 0, 7, 3, 6, 2, 5, 0, 0, 0, 0
      },
      5
    },
    { /* 209: yes      11010001 */
      {
        7, 3, 6, 2, 5, 4, 0, 1, 3, 0, 0, 0
      },
      9
    },
    { /* 210: yes      11010010 */
      {
        5, 1, 6, 4, 2, 6, 1, 0, 4, 3, 7, 0
      },
      13
    },
    { /* 211: yes      11010011 */
      {
        2, 6, 1, 3, 0, 7, 5, 1, 6, 4, 0, 0
      },
      8
    },
    { /* 212: yes      11010100 */
      {
        2, 3, 1, 6, 5, 4, 0, 3, 7, 0, 0, 0
      },
      12
    },
    { /* 213: yes      11010101 */
      {
        5, 6, 4, 1, 0, 2, 3, 2, 0, 7, 0, 0
      },
      8
    },
    { /* 214: yes      11010110 */
      {
        0, 1, 4, 3, 7, 2, 5, 1, 6, 4, 0, 0
      },
      8
    },
    { /* 215: yes      11010111 */
      {
        3, 2, 0, 7, 5, 1, 6, 4, 0, 0, 0, 0
      },
      7
    },
    { /* 216: yes      11011000 */
      {
        3, 0, 2, 6, 2, 5, 4, 5, 0, 0, 0, 0
      },
      11
    },
    { /* 217: yes      11011001 */
      {
        5, 6, 4, 1, 0, 2, 3, 6, 0, 0, 0, 0
      },
      5
    },
    { /* 218: yes      11011010 */
      {
        0, 1, 4, 3, 2, 1, 3, 6, 5, 1, 6, 4
      },
      10
    },
    { /* 219: yes      11011011 */
      {
        5, 4, 1, 6, 2, 3, 0, 0, 0, 0, 0, 0
      },
      4
    },
    { /* 220: yes      11011100 */
      {
        0, 4, 3, 1, 2, 5, 6, 4, 0, 0, 0, 0
      },
      5
    },
    { /* 221: yes      11011101 */
      {
        5, 6, 4, 1, 0, 2, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 222: yes      11011110 */
      {
        0, 3, 1, 4, 5, 6, 0, 0, 0, 0, 0, 0
      },
      4
    },
    { /* 223: yes      11011111 */
      {
        5, 4, 1, 6, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 224: yes      11100000 */
      {
        7, 4, 3, 6, 2, 5, 1, 4, 0, 0, 0, 0
      },
      5
    },
    { /* 225: yes      11100001 */
      {
        4, 0, 5, 7, 1, 5, 0, 3, 7, 2, 6, 0
      },
      13
    },
    { /* 226: yes      11100010 */
      {
        1, 2, 0, 5, 4, 7, 3, 6, 2, 0, 0, 0
      },
      12
    },
    { /* 227: yes      11100011 */
      {
        2, 6, 1, 3, 0, 7, 4, 0, 5, 7, 0, 0
      },
      8
    },
    { /* 228: yes      11100100 */
      {
        2, 3, 1, 5, 1, 4, 7, 4, 3, 0, 0, 0
      },
      11
    },
    { /* 229: yes      11100101 */
      {
        1, 5, 0, 2, 3, 2, 0, 7, 4, 0, 5, 7
      },
      10
    },
    { /* 230: yes      11100110 */
      {
        3, 7, 2, 0, 1, 4, 5, 7, 0, 0, 0, 0
      },
      5
    },
    { /* 231: yes      11100111 */
      {
        3, 2, 0, 7, 4, 5, 0, 0, 0, 0, 0, 0
      },
      4
    },
    { /* 232: yes      11101000 */
      {
        2, 6, 5, 1, 4, 7, 3, 0, 2, 0, 0, 0
      },
      9
    },
    { /* 233: yes      11101001 */
      {
        1, 5, 0, 2, 3, 6, 4, 0, 5, 7, 0, 0
      },
      8
    },
    { /* 234: yes      11101010 */
      {
        0, 3, 1, 4, 5, 7, 2, 1, 3, 6, 0, 0
      },
      8
    },
    { /* 235: yes      11101011 */
      {
        2, 3, 6, 1, 4, 0, 5, 7, 0, 0, 0, 0
      },
      7
    },
    { /* 236: yes      11101100 */
      {
        4, 5, 7, 0, 3, 1, 2, 5, 0, 0, 0, 0
      },
      5
    },
    { /* 237: yes      11101101 */
      {
        1, 2, 5, 0, 4, 7, 0, 0, 0, 0, 0, 0
      },
      4
    },
    { /* 238: yes      11101110 */
      {
        0, 3, 1, 4, 5, 7, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 239: yes      11101111 */
      {
        4, 0, 5, 7, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 240: yes      11110000 */
      {
        0, 4, 3, 7, 2, 6, 1, 5, 0, 0, 0, 0
      },
      6
    },
    { /* 241: yes      11110001 */
      {
        3, 0, 7, 2, 6, 1, 5, 0, 0, 0, 0, 0
      },
      5
    },
    { /* 242: yes      11110010 */
      {
        0, 1, 4, 3, 7, 2, 6, 1, 0, 0, 0, 0
      },
      5
    },
    { /* 243: yes      11110011 */
      {
        2, 6, 1, 3, 0, 7, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 244: yes      11110100 */
      {
        1, 2, 5, 0, 4, 3, 7, 2, 0, 0, 0, 0
      },
      5
    },
    { /* 245: yes      11110101 */
      {
        1, 5, 0, 2, 3, 7, 0, 0, 0, 0, 0, 0
      },
      4
    },
    { /* 246: yes      11110110 */
      {
        0, 1, 4, 3, 7, 2, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 247: yes      11110111 */
      {
        3, 0, 7, 2, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 248: yes      11111000 */
      {
        2, 3, 6, 1, 5, 0, 4, 3, 0, 0, 0, 0
      },
      5
    },
    { /* 249: yes      11111001 */
      {
        2, 3, 6, 1, 5, 0, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 250: yes      11111010 */
      {
        0, 4, 3, 1, 2, 6, 0, 0, 0, 0, 0, 0
      },
      4
    },
    { /* 251: yes      11111011 */
      {
        2, 1, 3, 6, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 252: yes      11111100 */
      {
        1, 2, 5, 0, 4, 3, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 253: yes      11111101 */
      {
        1, 0, 2, 5, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 254: yes      11111110 */
      {
        0, 4, 3, 1, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 255: no       11111111 */
      {
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
      },
      0
    }
};
 
static cutting_info Tet_Table[16] = {
    { /* 0000 */
      {
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 0001 */
      {
        0, 1, 2, 3, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 0010 */
      {
        1, 2, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 0011 */
      {
        0, 2, 3, 1, 3, 2, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 0100 */
      {
        2, 0, 1, 3, 2, 3, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 0101 */
      {
        0, 3, 1, 2, 1, 3, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 0110 */
      {
        1, 0, 3, 2, 3, 0, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 0111 */
      {
        3, 0, 1, 2, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 1000 */
      {
        3, 2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 1001 */
      {
        3, 2, 1, 0, 1, 2, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 1010 */
      {
        1, 2, 0, 3, 0, 2, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 1011 */
      {
        2, 3, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 1100 */
      {
        2, 0, 1, 3, 1, 0, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 1101 */
      {
        1, 3, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 1110 */
      {
        0, 3, 2, 1, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 1111 */
      {
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
      },
      0
    }
};
 
static cutting_info Pry_Table[32] = {
    { /* 0: no         00000000 */
      {
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 1: yes        00000001 */
      {
        0, 1, 3, 4, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 2: yes        00000010 */
      {
        1, 0, 4, 2, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 3: yes        00000011 */
      {
        0, 3, 4, 1, 4, 2, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 4: yes        00000100 */
      {
        2, 1, 4, 3, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 5: yes        00000101 */
      {
        0, 4, 1, 3, 2, 4, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 6: yes        00000110 */
      {
        1, 0, 4, 2, 4, 3, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 7: yes        00000111 */
      {
        0, 3, 4, 1, 4, 2, 4, 3, 0, 0, 0, 0
      },
      5
    },
    { /* 8: yes        00001000 */
      {
        3, 4, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 9: yes        00001001 */
      {
        3, 2, 4, 0, 4, 1, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 10: yes       00001010 */
      {
        1, 4, 2, 0, 3, 4, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 11: yes       00001011 */
      {
        3, 2, 4, 0, 4, 1, 4, 2, 0, 0, 0, 0
      },
      5
    },
    { /* 12: yes       00001100 */
      {
        3, 4, 0, 2, 1, 4, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 13: yes       00001101 */
      {
        2, 1, 4, 3, 4, 0, 4, 1, 0, 0, 0, 0
      },
      5
    },
    { /* 14: yes       00001110 */
      {
        1, 0, 4, 2, 4, 3, 4, 0, 0, 0, 0, 0
      },
      5
    },
    { /* 15: yes       00001111 */
      {
        4, 1, 2, 4, 3, 0, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 16: yes       00010000 */
      {
        4, 0, 3, 4, 2, 1, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 17: yes       00010001 */
      {
        3, 0, 4, 2, 4, 1, 4, 0, 0, 0, 0, 0
      },
      5
    },
    { /* 18: yes       00010010 */
      {
        0, 1, 4, 3, 4, 2, 4, 1, 0, 0, 0, 0
      },
      5
    },
    { /* 19: yes       00010011 */
      {
        2, 4, 1, 3, 0, 4, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 20: yes       00010100 */
      {
        1, 2, 4, 0, 4, 3, 4, 2, 0, 0, 0, 0
      },
      5
    },
    { /* 21: yes       00010101 */
      {
        1, 4, 0, 2, 3, 4, 0, 0, 0, 0, 0, 0
      },
      4
    },
    { /* 22: yes       00010110 */
      {
        0, 1, 4, 3, 4, 2, 3, 5, 0, 0, 0, 0
      },
      2
    },
    { /* 23: yes       00010111 */
      {
        3, 0, 4, 2, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 24: yes       00011000 */
      {
        2, 3, 4, 1, 4, 0, 4, 3, 0, 0, 0, 0
      },
      5
    },
    { /* 25: yes       00011001 */
      {
        2, 3, 4, 1, 4, 0, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 26: yes       00011010 */
      {
        0, 4, 3, 1, 2, 4, 0, 0, 0, 0, 0, 0
      },
      4
    },
    { /* 27: yes       00011011 */
      {
        2, 4, 1, 3, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 28: yes       00011100 */
      {
        1, 2, 4, 0, 4, 3, 2, 0, 1, 5, 0, 0
      },
      2
    },
    { /* 29: yes       00011101 */
      {
        1, 4, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 30: yes       00011110 */
      {
        0, 3, 1, 4, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 31: yes       00011111 */
      {
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
      },
      0
    },
};
 
static cutting_info Psm_Table[64] = {
    { /* 0: no         00000000 */
      {
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 1: yes        00000001 */
      {
        0, 1, 2, 3, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 2: yes        00000010 */
      {
        1, 0, 4, 2, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 3: yes        00000011 */
      {
        1, 4, 2, 0, 2, 3, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 4: yes        00000100 */
      {
        2, 0, 1, 5, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 5: yes        00000101 */
      {
        0, 3, 1, 2, 1, 5, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 6: yes        00000110 */
      {
        2, 5, 0, 1, 0, 4, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 7: yes        00000111 */
      {
        0, 3, 1, 4, 2, 5, 0, 0, 0, 0, 0, 0
      },
      16
    },
    { /* 8: yes        00001000 */
      {
        3, 4, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 9: yes        00001001 */
      {
        0, 1, 2, 3, 5, 4, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 10: yes       00001010 */
      {
        1, 2, 0, 4, 3, 5, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 11: yes       00001011 */
      {
        1, 4, 2, 0, 2, 3, 5, 4, 0, 0, 0, 0
      },
      5
    },
    { /* 12: yes       00001100 */
      {
        2, 1, 5, 0, 3, 4, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 13: yes       00001101 */
      {
        3, 5, 4, 0, 1, 2, 1, 5, 0, 0, 0, 0
      },
      5
    },
    { /* 14: yes       00001110 */
      {
        1, 0, 4, 2, 5, 0, 3, 4, 0, 5, 0, 0
      },
      8
    },
    { /* 15: yes       00001111 */
      {
        4, 3, 1, 5, 2, 3, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 16: yes       00010000 */
      {
        4, 1, 3, 5, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 17: yes       00010001 */
      {
        4, 5, 1, 3, 0, 2, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 18: yes       00010010 */
      {
        1, 2, 0, 4, 3, 5, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 19: yes       00010011 */
      {
        4, 3, 5, 1, 2, 0, 2, 3, 0, 0, 0, 0
      },
      5
    },
    { /* 20: yes       00010100 */
      {
        2, 0, 1, 5, 4, 3, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 21: yes       00010101 */
      {
        0, 3, 1, 2, 1, 5, 4, 1, 3, 5, 0, 0
      },
      8
    },
    { /* 22: yes       00010110 */
      {
        2, 5, 0, 1, 0, 4, 3, 5, 0, 0, 0, 0
      },
      5
    },
    { /* 23: yes       00010111 */
      {
        3, 0, 4, 5, 4, 2, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 24: yes       00011000 */
      {
        4, 5, 1, 3, 0, 5, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 25: yes       00011001 */
      {
        0, 1, 2, 3, 5, 4, 5, 1, 0, 0, 0, 0
      },
      5
    },
    { /* 26: yes       00011010 */
      {
        3, 0, 5, 4, 5, 1, 2, 0, 0, 0, 0, 0
      },
      5
    },
    { /* 27: yes       00011011 */
      {
        5, 3, 4, 2, 1, 0, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 28: yes       00011100 */
      {
        4, 5, 1, 3, 0, 5, 2, 0, 1, 5, 0, 0
      },
      8
    },
    { /* 29: yes       00011101 */
      {
        1, 0, 2, 4, 5, 3, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 30: yes       00011110 */
      {
        0, 1, 3, 2, 5, 4, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 31: yes       00011111 */
      {
        5, 3, 4, 2, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 32: yes       00100000 */
      {
        5, 4, 3, 2, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 33: yes       00100001 */
      {
        0, 1, 2, 3, 5, 4, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 34: yes       00100010 */
      {
        1, 0, 4, 2, 5, 3, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 35: yes       00100011 */
      {
        0, 2, 3, 1, 4, 2, 5, 2, 4, 3, 0, 0
      },
      8
    },
    { /* 36: yes       00100100 */
      {
        2, 0, 1, 5, 4, 3, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 37: yes       00100101 */
      {
        0, 3, 1, 2, 1, 5, 4, 3, 0, 0, 0, 0
      },
      5
    },
    { /* 38: yes       00100110 */
      {
        5, 4, 3, 2, 0, 1, 0, 4, 0, 0, 0, 0
      },
      5
    },
    { /* 39: yes       00100111 */
      {
        3, 5, 0, 4, 1, 5, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 40: yes       00101000 */
      {
        5, 2, 4, 3, 0, 4, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 41: yes       00101001 */
      {
        5, 2, 4, 3, 4, 0, 1, 2, 0, 0, 0, 0
      },
      5
    },
    { /* 42: yes       00101010 */
      {
        5, 2, 4, 3, 4, 0, 1, 2, 0, 4, 0, 0
      },
      8
    },
    { /* 43: yes       00101011 */
      {
        2, 0, 5, 1, 4, 3, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 44: yes       00101100 */
      {
        2, 0, 1, 5, 4, 3, 4, 0, 0, 0, 0, 0
      },
      5
    },
    { /* 45: yes       00101101 */
      {
        1, 0, 2, 4, 5, 3, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 46: yes       00101110 */
      {
        0, 2, 1, 3, 4, 5, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 47: yes       00101111 */
      {
        4, 1, 5, 3, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 48: yes       00110000 */
      {
        5, 3, 2, 4, 1, 3, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 49: yes       00110001 */
      {
        5, 3, 2, 4, 1, 3, 0, 1, 2, 3, 0, 0
      },
      8
    },
    { /* 50: yes       00110010 */
      {
        1, 2, 0, 4, 3, 5, 3, 2, 0, 0, 0, 0
      },
      5
    },
    { /* 51: yes       00110011 */
      {
        2, 1, 0, 5, 3, 4, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 52: yes       00110100 */
      {
        4, 1, 3, 5, 3, 2, 0, 1, 0, 0, 0, 0
      },
      5
    },
    { /* 53: yes       00110101 */
      {
        1, 2, 4, 0, 3, 5, 0, 0, 0, 0, 0, 0
      },
      3
    },
    { /* 54: yes       00110110 */
      {
        0, 2, 1, 3, 4, 5, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 55: yes       00110111 */
      {
        3, 0, 4, 5, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 56: yes       00111000 */
      {
        0, 3, 2, 5, 1, 4, 0, 0, 0, 0, 0, 0
      },
      16
    },
    { /* 57: yes       00111001 */
      {
        2, 0, 5, 1, 4, 0, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 58: yes       00111010 */
      {
        2, 5, 1, 0, 1, 3, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 59: yes       00111011 */
      {
        2, 5, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 60: yes       00111100 */
      {
        1, 2, 4, 0, 3, 2, 0, 0, 0, 0, 0, 0
      },
      2
    },
    { /* 61: yes       00111101 */
      {
        1, 0, 2, 4, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 62: yes       00111110 */
      {
        0, 3, 2, 1, 0, 0, 0, 0, 0, 0, 0, 0
      },
      1
    },
    { /* 63: yes       00111111 */
      {
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
      },
      0
    },
};
 
static cutting_info Null_Table[16] = {
    { /* 0000 */
      {
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 0001 */
      {
        0, 1, 2, 3, 0, 0, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 0010 */
      {
        1, 2, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 0011 */
      {
        0, 2, 3, 1, 3, 2, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 0100 */
      {
        2, 0, 1, 3, 2, 3, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 0101 */
      {
        0, 3, 1, 2, 1, 3, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 0110 */
      {
        1, 0, 3, 2, 3, 0, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 0111 */
      {
        3, 0, 1, 2, 0, 0, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 1000 */
      {
        3, 2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 1001 */
      {
        3, 2, 1, 0, 1, 2, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 1010 */
      {
        1, 2, 0, 3, 0, 2, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 1011 */
      {
        2, 3, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 1100 */
      {
        2, 0, 1, 3, 1, 0, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 1101 */
      {
        1, 3, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 1110 */
      {
        0, 3, 2, 1, 0, 0, 0, 0, 0, 0, 0, 0
      },
      0
    },
    { /* 1111 */
      {
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
      },
      0
    }
};
 
static cutting_info *Cutting_Info[8] = { Null_Table, Null_Table, Null_Table, Null_Table, Tet_Table, Pry_Table, Psm_Table, Hex_Table };
 
/*static int Triangle_table[8][4] =
{
   {
      0,0,0,0
   }
   ,
   {
      0,1,2,1
   }
   ,
   {
1,0,2,1
}
,
{
2,1,0,1
}
,
{
2,0,1,1
}
,
{
1,0,2,1
}
,
{
0,1,2,1
}
,
{
0,0,0,0
}
};*/
}
#endif