| 46 | } |
| 47 | |
| 48 | static void initRaw2Sym() { |
| 49 | Edge3 e = new Edge3(); |
| 50 | byte[] occ = new byte[11880/8]; |
| 51 | int count = 0; |
| 52 | for (int i=0; i<11880; i++) { |
| 53 | if ((occ[i>>>3]&(1<<(i&7))) == 0) { |
| 54 | e.set(i * factX[8]); |
| 55 | for (int j=0; j<8; j++) { |
| 56 | int idx = e.get(4); |
| 57 | if (idx == i) { |
| 58 | symstate[count] |= 1 << j; |
| 59 | } |
| 60 | occ[idx>>3] |= (1<<(idx&7)); |
| 61 | raw2sym[idx] = count << 3 | syminv[j]; |
| 62 | e.rot(0); |
| 63 | if ((j&1)==1) { |
| 64 | e.rot(1); |
| 65 | e.rot(2); |
| 66 | } |
| 67 | } |
| 68 | sym2raw[count++] = i; |
| 69 | } |
| 70 | } |
| 71 | // System.out.println(count); |
| 72 | } |
| 73 | |
| 74 | public static void createPrun(Handler handler) { |
| 75 | Edge3 e = new Edge3(); |