Enter the first block (or blockd) output file: The representations are labeled 0 through 335. Pick a calibrating representation on the most compact Cartan (c to list valid calibrators): Now pick a calibrating representation on the most split Cartan (c to list valid calibrators): Enter the second block (or blockd) output file: Allow root permutations? Y/N: Total isomorphism count is 1. [3 2 1 0] CPath SPath 0 ^0 x1 x2 x1 ^0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 1 x0 ^1 x2 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 2 x1 x0 ^1 x2 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 4 x1 x2 x3 x1 x2 x1 x0 ^1 x2 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 6 x2 x1 x0 ^1 x2 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 5 x0 x1 x2 x1 x0 ^3 ^0 x1 x2 x3 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 3 x2 x3 x0 x1 x2 x1 x0 ^2 ^0 x1 x2 x3 x2 x1 x2 x0 x1 x2 ^3 x0 ^1 7 x3 x1 x2 x1 x0 ^1 x2 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 9 x3 x0 x1 x2 x1 x0 ^3 ^0 x1 x2 x3 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 10 x3 x2 x1 x0 ^3 x2 x1 x2 ^3 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 8 x1 x2 x1 x0 ^1 x2 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 11 x2 x3 x1 x2 x1 x0 ^1 x2 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 12 ^3 x1 x2 x1 x0 x2 x1 x2 ^3 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 14 ^3 x0 x1 x2 x1 x0 ^0 x1 x2 x3 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 13 ^3 x2 x1 x0 x2 x1 x2 ^3 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 16 ^2 x1 x0 x1 ^2 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 15 ^2 x3 x1 x2 x1 x0 x1 ^2 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 17 ^2 x3 x0 x1 x2 x1 x0 ^0 x1 x2 x3 x2 x1 x2 x0 x1 x2 ^3 x0 ^1 21 ^1 x2 x3 x1 x2 x1 x0 x2 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 20 ^1 x2 x1 x0 x2 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 18 ^1 x0 x2 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 19 ^1 x3 x2 x1 x0 x2 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 22 ^0 x1 x2 x1 ^0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 23 ^0 x3 x1 x2 x1 x0 ^3 x1 x2 x3 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 25 ^0 x2 x3 x1 x2 x1 x0 ^2 x1 x2 x3 x2 x1 x2 x0 x1 x2 ^3 x0 ^1 24 ^0 x1 x2 x1 x0 ^3 x1 x2 x3 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 26 ^3 ^1 x2 x1 x0 x2 x3 x1 ^2 x0 x1 x2 x3 x1 x2 x0 ^1 27 ^3 ^0 x1 x2 x1 x0 x1 x2 x3 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 28 ^2 ^0 x3 x1 x2 x1 x0 x1 x2 x3 x2 x1 x2 x0 x1 x2 ^3 x0 ^1 29 x2 ^3 x1 x2 x1 x0 x1 x2 ^3 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 30 x2 ^3 x0 x1 x2 x1 x0 ^0 x1 x2 x3 x1 x2 x0 x1 x2 ^3 x0 ^1 31 x3 ^2 x1 x0 x1 x2 ^3 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 32 x2 ^1 x0 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 35 x2 ^1 x2 x1 x0 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 33 x2 ^1 x3 x2 x1 x0 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 34 x2 ^1 x2 x3 x1 x2 x1 x0 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 36 x1 ^2 x3 x1 x2 x1 x0 ^2 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 37 x1 ^2 x1 x0 ^2 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 38 x1 ^2 x3 x0 x1 x2 x1 x0 x0 ^1 x3 x2 x1 x2 x3 x2 x0 x1 ^2 ^0 x1 41 x1 ^0 x2 x1 ^0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 39 x1 ^0 x2 x3 x1 x2 x1 x0 x2 x1 ^0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 40 x0 ^1 x3 x2 x1 x0 ^3 x2 x3 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 42 x0 ^1 x2 x1 x0 ^3 x2 x3 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 43 x2 ^3 ^1 x2 x1 x0 x3 x1 ^2 x0 x1 x2 x3 x1 x2 x0 ^1 46 ^1 x2 ^1 x0 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 47 ^2 x1 ^2 x1 x0 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x1 ^0 x2 x1 44 ^1 x2 ^1 x3 x2 x1 x0 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 45 ^2 x1 ^2 x3 x1 x2 x1 x0 x0 x1 ^2 x3 x2 x1 x2 x3 x0 x1 ^2 x0 x1 48 x1 ^2 ^0 x3 x1 x2 x1 x0 x2 x3 x2 x1 x2 x0 x1 x2 ^3 x0 ^1 49 x2 ^3 ^0 x1 x2 x1 x0 x1 x2 x3 x1 x2 x0 x1 x2 ^3 x0 ^1 50 ^3 x0 ^1 x2 x1 x0 x2 x3 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 51 x3 x2 ^1 x0 ^1 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 53 x3 x2 ^1 x2 x1 x0 ^1 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 52 x3 x2 ^1 x2 x3 x1 x2 x1 x0 ^1 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 54 x3 x2 ^1 x3 x2 x1 x0 ^1 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 55 x3 x1 ^2 x1 x0 x2 ^3 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 56 x1 x2 ^3 x0 x1 x2 x1 x0 x0 ^1 x2 x1 x2 x3 x2 x0 x1 ^2 ^0 x1 57 x1 x2 ^3 x1 x2 x1 x0 x2 ^3 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 59 x2 x1 ^0 x2 x3 x1 x2 x1 x0 x1 ^0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 58 x2 x0 ^1 x2 x1 x0 x3 ^2 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 60 x2 x1 ^0 x1 ^0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 61 x2 x0 ^1 x3 x2 x1 x0 x3 ^2 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 64 x0 x1 ^2 x3 x0 x1 x2 x1 x0 ^1 x3 x2 x1 x2 x3 x2 x0 x1 ^2 ^0 x1 62 x0 x1 ^2 x1 x0 ^2 x3 x2 x1 ^0 x2 x3 x1 x2 x0 ^1 63 x0 x1 ^2 x3 x1 x2 x1 x0 ^2 x3 x2 x1 ^0 x2 x3 x1 x2 x0 ^1 65 ^2 x3 x2 ^1 x2 x1 x0 x1 ^2 x0 x1 x2 x3 x1 x2 x0 ^1 66 x2 x1 ^2 ^0 x3 x1 x2 x1 x0 x3 x2 x1 x2 x0 x1 x2 ^3 x0 ^1 68 x3 ^2 x1 ^2 x1 x0 x2 ^1 x0 x1 x2 x3 x1 x2 x1 ^0 x2 x1 67 ^1 x3 x2 ^1 x0 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 70 x3 ^2 x1 ^2 x3 x1 x2 x1 x0 x0 x1 x2 ^3 x1 x2 x3 x0 x1 ^2 x0 x1 69 ^1 x3 x2 ^1 x3 x2 x1 x0 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 71 x1 x2 ^3 ^1 x2 x1 x0 x3 ^2 x0 x1 x2 x3 x1 x2 x0 ^1 72 x1 x2 ^3 ^0 x1 x2 x1 x0 x2 x3 x1 x2 x0 x1 x2 ^3 x0 ^1 73 x2 ^3 x0 ^1 x2 x1 x0 x3 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 74 x0 ^1 x2 ^1 x3 x2 x1 x0 x3 x2 x1 ^0 x2 x3 x1 x2 x0 ^1 75 ^2 x0 x1 ^2 x3 x1 x2 x1 x0 x1 ^2 x3 x2 x1 x2 x3 x0 x1 ^2 x0 x1 76 x0 ^1 x2 ^1 x0 x3 x2 x1 ^0 x2 x3 x1 x2 x0 ^1 77 ^2 x0 x1 ^2 x1 x0 x3 x2 x1 ^0 x2 x3 x1 x2 x1 ^0 x2 x1 78 x0 x1 ^2 ^0 x3 x1 x2 x1 x0 x3 x2 x1 x2 x3 x2 x0 x1 ^2 ^0 x1 79 x2 x1 x2 ^3 x1 x2 x1 x0 ^3 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 80 x2 x1 x2 ^3 x0 x1 x2 x1 x0 x0 x1 x2 ^1 x3 x2 x0 x1 ^2 ^0 x1 81 x2 x3 x1 ^2 x1 x0 ^3 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 83 x1 x2 x1 ^0 ^0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 85 x1 x2 x1 ^0 x2 x3 x1 x2 x1 x0 ^0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 82 x1 x2 x0 ^1 x3 x2 x1 x0 ^0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 84 x1 x2 x0 ^1 x2 x1 x0 ^0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 86 x3 x2 x1 ^0 x1 ^0 x2 x1 x2 x0 ^1 x3 x2 ^1 89 x3 x2 x0 ^1 x3 x2 x1 x0 ^2 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 88 x3 x2 x0 ^1 x2 x1 x0 ^2 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 87 x3 x2 x1 ^0 x2 x3 x1 x2 x1 x0 x1 ^0 x2 x1 x2 x0 ^1 x3 x2 ^1 90 x3 x0 x1 ^2 x1 x0 x2 ^3 x1 ^0 x2 x3 x1 x2 x0 ^1 92 x0 x1 x2 ^3 x1 x2 x1 x0 x2 ^3 x1 ^0 x2 x3 x1 x2 x0 ^1 91 x0 x1 x2 ^3 x0 x1 x2 x1 x0 ^1 x2 x1 x2 x3 x2 x0 x1 ^2 ^0 x1 93 x3 x2 x1 ^2 ^0 x3 x1 x2 x1 x0 x2 x1 x2 x0 x1 x2 ^3 x0 ^1 96 x2 ^1 x3 x2 ^1 x0 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 97 ^3 x2 x3 x1 ^2 x1 x0 ^1 x0 x1 x2 x3 x1 x2 x1 ^0 x2 x1 94 ^3 x2 x1 x2 ^3 x1 x2 x1 x0 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 95 ^3 x2 x1 x2 ^3 x1 x2 x1 x0 x0 x1 x2 x3 x1 ^2 x0 x1 ^2 x0 x1 98 x2 x1 x2 ^3 ^0 x1 x2 x1 x0 x3 x1 x2 x0 x1 x2 ^3 x0 ^1 99 x1 ^2 x3 x2 ^1 x2 x1 x0 ^2 x0 x1 x2 x3 x1 x2 x0 ^1 100 ^1 x2 x3 x1 ^2 x1 x0 ^3 x0 x1 x2 x3 x1 x2 x0 ^1 101 x1 x2 ^3 x0 ^1 x2 x1 x0 x3 x2 x0 x1 ^2 x3 x2 x0 ^1 102 ^2 x1 x2 x0 ^1 x3 x2 x1 x0 x3 x2 x1 x2 x0 x1 x2 ^3 ^1 103 ^2 x3 x2 x0 ^1 x2 x1 x0 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 104 x0 ^1 x3 x2 ^1 x0 x2 x1 ^0 x2 x3 x1 x2 x0 ^1 105 x3 ^2 x0 x1 ^2 x1 x0 x2 x1 ^0 x2 x3 x1 x2 x1 ^0 x2 x1 106 x0 ^1 x3 x2 ^1 x3 x2 x1 x0 x2 x1 ^0 x2 x3 x1 x2 x0 ^1 107 x3 ^2 x0 x1 ^2 x3 x1 x2 x1 x0 x1 x2 ^3 x1 x2 x3 x0 x1 ^2 x0 x1 108 x0 x1 x2 ^3 ^1 x2 x1 x0 x3 ^2 x1 x2 x3 x1 x2 x0 ^1 109 x2 x0 x1 ^2 ^0 x3 x1 x2 x1 x0 x3 x2 x1 x2 x3 x0 x1 ^2 ^0 x1 110 x0 x1 x2 ^3 ^0 x1 x2 x1 x0 x2 x1 x2 x3 x2 x0 x1 ^2 ^0 x1 111 ^0 x1 x2 x0 ^1 x3 x2 x1 x0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 112 x1 ^2 x0 x1 ^2 x3 x1 x2 x1 x0 ^2 x3 x2 x1 x2 x3 x0 x1 ^2 x0 x1 113 ^0 x1 x2 x1 ^0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 114 x1 ^2 x0 x1 ^2 x1 x0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 x2 x0 x1 117 x3 x1 x2 x1 ^0 x2 x3 x1 x2 x1 x0 ^0 x2 x1 x2 x0 ^1 x3 x2 ^1 116 x3 x1 x2 x0 ^1 x2 x1 x0 ^0 x2 x1 x2 x0 ^1 x3 x2 ^1 115 x3 x1 x2 x0 ^1 x3 x2 x1 x0 ^0 x2 x1 x2 x0 ^1 x3 x2 ^1 118 x3 x1 x2 x1 ^0 ^0 x2 x1 x2 x0 ^1 x3 x2 ^1 121 x2 x0 x1 x2 ^3 x0 x1 x2 x1 x0 x1 x2 ^1 x3 x2 x0 x1 ^2 ^0 x1 120 x2 x3 x0 x1 ^2 x1 x0 ^3 x1 ^0 x2 x3 x1 x2 x0 ^1 119 x2 x0 x1 x2 ^3 x1 x2 x1 x0 ^3 x1 ^0 x2 x3 x1 x2 x0 ^1 123 ^2 x1 ^2 x3 x2 ^1 x2 x1 x0 x0 x1 x2 x3 x1 x2 x0 ^1 x3 122 ^1 x2 ^1 x3 x2 ^1 x0 x0 x1 x2 x3 x1 x2 x0 ^1 124 ^3 ^1 x2 x3 x1 ^2 x1 x0 x0 x1 x2 x3 x1 x2 x1 ^0 x2 x1 128 ^2 x1 ^2 x0 x1 ^2 x3 x1 x2 x1 x0 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x2 x0 x1 125 ^2 ^0 x1 x2 x0 ^1 x3 x2 x1 x0 x3 x2 x1 x2 x3 x0 x1 ^2 126 ^1 x2 x0 x1 ^2 ^0 x3 x1 x2 x1 x0 x3 x2 x1 x2 x3 x0 x1 ^2 x0 x1 127 ^2 ^0 x1 x2 x0 ^1 x3 x2 x1 x0 x3 x2 x1 x2 x3 x0 x1 ^2 x1 129 x3 x2 x1 x2 ^3 ^0 x1 x2 x1 x0 x1 x2 x0 x1 x2 ^3 x0 ^1 130 x2 x1 x2 ^3 x0 ^1 x2 x1 x0 x3 x2 x0 x1 x2 ^3 x0 ^1 131 x3 ^2 x1 x2 x0 ^1 x3 x2 x1 x0 x2 x1 x2 x0 x1 x2 ^3 ^1 132 x1 ^2 x3 x2 x0 ^1 x2 x1 x0 x2 x0 x1 ^2 x3 x2 x0 ^1 134 ^3 x2 x0 x1 x2 ^3 x1 x2 x1 x0 x1 x2 x3 x1 ^2 x0 x1 ^2 x0 x1 133 ^3 x2 x0 x1 x2 ^3 x1 x2 x1 x0 x1 ^0 x2 x3 x1 x2 x0 ^1 136 ^3 x2 x3 x0 x1 ^2 x1 x0 x1 ^0 x2 x3 x1 x2 x1 ^0 x2 x1 135 x2 x0 ^1 x3 x2 ^1 x0 x1 ^0 x2 x3 x1 x2 x0 ^1 137 x2 x0 x1 x2 ^3 ^0 x1 x2 x1 x0 x1 x2 x3 x2 x0 x1 ^2 ^0 x1 138 x3 x2 x0 x1 ^2 ^0 x3 x1 x2 x1 x0 x2 x1 x2 x3 x0 x1 ^2 ^0 x1 139 x0 x1 ^2 x3 x2 ^1 x2 x1 x0 ^2 x1 x2 x3 x1 x2 x0 ^1 140 x0 ^1 x2 x3 x1 ^2 x1 x0 ^3 x1 x2 x3 x1 x2 x0 ^1 142 ^0 x3 x1 x2 x0 ^1 x3 x2 x1 x0 x2 x1 x2 x0 ^1 x3 x2 ^1 141 x3 x1 ^2 x0 x1 ^2 x3 x1 x2 x1 x0 x2 ^3 x1 x2 x3 x0 x1 ^2 x0 x1 144 ^0 x3 x1 x2 x1 ^0 x2 x1 x2 x0 ^1 x3 x2 ^1 143 x3 x1 ^2 x0 x1 ^2 x1 x0 x2 x1 x2 x0 ^1 x3 x2 ^1 x2 x0 x1 145 x0 x1 x2 ^3 x0 ^1 x2 x1 x0 x3 x2 x1 ^2 x3 x2 x0 ^1 147 x2 x3 x1 x2 x1 ^0 x2 x3 x1 x2 x1 x0 ^0 x1 x2 x0 ^1 x3 x2 ^1 148 x2 x3 x1 x2 x0 ^1 x2 x1 x0 ^0 x1 x2 x0 ^1 x3 x2 ^1 149 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 ^0 x1 x2 x0 ^1 x3 x2 ^1 146 x2 x3 x1 x2 x1 ^0 ^0 x1 x2 x0 ^1 x3 x2 ^1 152 x1 x2 x0 x1 x2 ^3 x0 x1 x2 x1 x0 x2 ^1 x3 x2 x0 x1 ^2 ^0 x1 151 x1 x2 x3 x0 x1 ^2 x1 x0 ^3 ^0 x2 x3 x1 x2 x0 ^1 150 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 ^3 ^0 x2 x3 x1 x2 x0 ^1 155 x0 ^1 x2 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 154 ^3 x0 ^1 x2 x3 x1 ^2 x1 x0 x1 x2 x3 x1 x2 x1 ^0 x2 x1 153 ^2 x0 x1 ^2 x3 x2 ^1 x2 x1 x0 x1 x2 x3 x1 x2 x0 ^1 x3 157 ^1 x3 x2 x0 x1 ^2 ^0 x3 x1 x2 x1 x0 x2 x1 x2 x3 x0 x1 ^2 x0 x1 158 x3 ^2 ^0 x1 x2 x0 ^1 x3 x2 x1 x0 x2 x1 x2 x3 x0 x1 ^2 x1 156 x3 ^2 ^0 x1 x2 x0 ^1 x3 x2 x1 x0 x2 x1 x2 x3 x0 x1 ^2 159 x3 ^2 x1 ^2 x0 x1 ^2 x3 x1 x2 x1 x0 x2 x1 x2 x3 x0 x1 ^2 x1 x2 x0 x1 160 ^3 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 x1 x2 x0 x1 x2 ^3 ^1 161 x2 x1 ^2 x3 x2 x0 ^1 x2 x1 x0 x0 x1 ^2 x3 x2 x0 ^1 162 x3 x2 x1 x2 ^3 x0 ^1 x2 x1 x0 x2 x0 x1 x2 ^3 x0 ^1 166 ^3 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 x2 x3 x1 ^2 x0 x1 ^2 x0 x1 165 ^3 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 ^0 x2 x3 x1 x2 x0 ^1 164 ^3 x1 x2 x3 x0 x1 ^2 x1 x0 ^0 x2 x3 x1 x2 x1 ^0 x2 x1 163 x1 x2 x0 ^1 x3 x2 ^1 x0 ^0 x2 x3 x1 x2 x0 ^1 167 x1 x2 x0 x1 x2 ^3 ^0 x1 x2 x1 x0 x2 x3 x2 x0 x1 ^2 ^0 x1 168 x3 x2 x0 x1 x2 ^3 ^0 x1 x2 x1 x0 x1 x2 x3 x0 x1 ^2 ^0 x1 169 ^0 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 x1 x2 x0 ^1 x3 x2 ^1 170 x2 x3 x1 ^2 x0 x1 ^2 x3 x1 x2 x1 x0 ^3 x1 x2 x3 x0 x1 ^2 x0 x1 171 ^0 x2 x3 x1 x2 x1 ^0 x1 x2 x0 ^1 x3 x2 ^1 172 x2 x3 x1 ^2 x0 x1 ^2 x1 x0 x1 x2 x0 ^1 x3 x2 ^1 x2 x0 x1 173 x2 x0 x1 x2 ^3 x0 ^1 x2 x1 x0 x3 x2 x1 x2 ^3 x0 ^1 174 x0 x1 ^2 x3 x2 x0 ^1 x2 x1 x0 x2 x1 ^2 x3 x2 x0 ^1 175 ^0 x1 x2 x3 x0 x1 ^2 x1 x0 ^3 x2 x3 x1 x2 x0 ^1 178 x2 x1 x2 x0 x1 x2 ^3 x0 x1 x2 x1 x0 ^1 x3 x2 x0 x1 ^2 ^0 x1 177 x2 x1 x2 x3 x0 x1 ^2 x1 x0 x3 ^2 ^0 x1 x2 x0 ^1 176 x2 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 x3 ^2 ^0 x1 x2 x0 ^1 181 x1 x2 x3 x1 x2 x1 ^0 x2 x3 x1 x2 x1 x0 x0 ^1 x2 ^1 x3 x2 ^1 179 x1 x2 x3 x1 x2 x0 ^1 x2 x1 x0 x0 ^1 x2 ^1 x3 x2 ^1 180 x1 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 x0 ^1 x2 ^1 x3 x2 ^1 182 x1 x2 x3 x1 x2 x1 ^0 x0 ^1 x2 ^1 x3 x2 ^1 186 ^3 x2 x3 x1 ^2 x0 x1 ^2 x3 x1 x2 x1 x0 x1 x2 x3 x0 x1 ^2 x1 x2 x0 x1 183 ^3 ^0 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 x1 x2 x3 x0 x1 ^2 184 x2 ^1 x3 x2 x0 x1 ^2 ^0 x3 x1 x2 x1 x0 x1 x2 x3 x0 x1 ^2 x0 x1 185 ^3 ^0 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 x1 x2 x3 x0 x1 ^2 x1 189 ^0 x1 x2 x0 ^1 x3 x2 ^1 x0 x2 x3 x1 x2 x0 ^1 188 ^3 ^0 x1 x2 x3 x0 x1 ^2 x1 x0 x2 x3 x1 x2 x1 ^0 x2 x1 187 x1 ^2 x0 x1 ^2 x3 x2 ^1 x2 x1 x0 x2 x3 x1 x2 x0 ^1 x3 190 x3 x2 x1 ^2 x3 x2 x0 ^1 x2 x1 x0 x0 x1 x2 ^3 x0 ^1 193 x2 ^3 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 ^0 x3 x1 x2 x0 ^1 194 x2 ^3 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 x3 x1 ^2 x0 x1 ^2 x0 x1 191 x2 x1 x2 x0 ^1 x3 x2 ^1 x0 ^0 x3 x1 x2 x0 ^1 192 x2 ^3 x1 x2 x3 x0 x1 ^2 x1 x0 ^0 x3 x1 x2 x1 ^0 x2 x1 195 ^3 x1 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 x2 x0 x1 x2 ^3 ^1 196 ^2 x1 x2 x3 x1 x2 x0 ^1 x2 x1 x0 x0 x1 ^2 x3 x2 ^1 197 x2 x1 x2 x0 x1 x2 ^3 ^0 x1 x2 x1 x0 x3 x2 x0 x1 ^2 ^0 x1 198 x3 x1 x2 x0 x1 x2 ^3 ^0 x1 x2 x1 x0 x2 x3 x0 x1 ^2 ^0 x1 201 x1 ^0 x2 x3 x1 x2 x1 ^0 x2 x0 ^1 x3 x2 ^1 202 x1 x2 x3 x1 ^2 x0 x1 ^2 x1 x0 x2 x0 ^1 x3 x2 ^1 x2 x0 x1 199 x1 ^0 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 x2 x0 ^1 x3 x2 ^1 200 x1 x2 x3 x1 ^2 x0 x1 ^2 x3 x1 x2 x1 x0 ^3 x2 x3 x0 x1 ^2 x0 x1 203 x2 x0 x1 ^2 x3 x2 x0 ^1 x2 x1 x0 x1 ^2 x3 x2 x0 ^1 204 ^0 x2 x1 x2 x3 x0 x1 ^2 x1 x0 x3 ^2 x1 x2 x0 ^1 205 x3 x2 x0 x1 x2 ^3 x0 ^1 x2 x1 x0 x2 x1 x2 ^3 x0 ^1 206 x1 x2 x0 x1 x2 ^3 x0 ^1 x2 x1 x0 x2 x3 x2 x1 ^2 ^0 x1 208 x3 x2 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 ^2 ^0 x1 x2 x0 ^1 207 x3 x2 x1 x2 x0 x1 x2 ^3 x0 x1 x2 x1 x0 ^1 x2 x0 x1 ^2 ^0 x1 209 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 ^2 ^0 x1 x2 x0 ^1 211 x0 x1 x2 x3 x1 x2 x1 ^0 x2 x3 x1 x2 x1 x0 ^1 x2 ^1 x3 x2 ^1 212 x0 x1 x2 x3 x1 x2 x0 ^1 x2 x1 x0 ^1 x2 ^1 x3 x2 ^1 213 x0 x1 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 ^1 x2 ^1 x3 x2 ^1 210 x0 x1 x2 x3 x1 x2 x1 ^0 ^1 x2 ^1 x3 x2 ^1 216 ^3 x1 ^0 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 x2 x3 x0 x1 ^2 x1 215 x1 x2 ^1 x3 x2 x0 x1 ^2 ^0 x3 x1 x2 x1 x0 x2 x3 x0 x1 ^2 x0 x1 214 ^3 x1 ^0 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 x2 x3 x0 x1 ^2 217 ^3 x1 x2 x3 x1 ^2 x0 x1 ^2 x3 x1 x2 x1 x0 x2 x3 x0 x1 ^2 x1 x2 x0 x1 220 ^0 x2 x1 x2 x0 ^1 x3 x2 ^1 x0 x3 x1 x2 x0 ^1 219 x2 ^3 ^0 x1 x2 x3 x0 x1 ^2 x1 x0 x3 x1 x2 x1 ^0 x2 x1 218 x2 x1 ^2 x0 x1 ^2 x3 x2 ^1 x2 x1 x0 x3 x1 x2 x0 ^1 x3 222 ^2 x3 x2 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 ^0 x1 x2 x0 ^1 221 ^2 x3 x2 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 x1 ^2 x0 x1 ^2 x0 x1 224 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 x0 ^0 x1 x2 x0 ^1 223 ^2 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 ^0 x1 x2 x1 ^0 x2 x1 225 x2 x3 x1 x2 x0 x1 x2 ^3 ^0 x1 x2 x1 x0 x3 x0 x1 ^2 ^0 x1 226 x3 x2 x1 x2 x0 x1 x2 ^3 ^0 x1 x2 x1 x0 x2 x0 x1 ^2 ^0 x1 227 x3 ^2 x1 x2 x3 x1 x2 x0 ^1 x2 x1 x0 x0 x1 x2 ^3 ^1 228 x1 x2 ^3 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 x3 ^2 x0 x1 ^2 x0 x1 229 x1 x2 ^3 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 x0 ^1 x3 x2 ^1 230 x1 x2 ^3 x1 x2 x3 x0 x1 ^2 x1 x0 x0 ^1 x3 x2 ^1 x2 x0 x1 231 x2 x1 ^0 x2 x3 x1 x2 x1 ^0 x0 ^1 x3 x2 ^1 232 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 x2 x1 x0 ^2 x3 x2 x0 ^1 233 ^0 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 ^2 x1 x2 x0 ^1 234 x3 x2 x0 x1 ^2 x3 x2 x0 ^1 x2 x1 x0 x1 x2 ^3 x0 ^1 235 ^3 x0 x1 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 x2 x1 x2 ^3 ^1 236 ^2 x0 x1 x2 x3 x1 x2 x0 ^1 x2 x1 x0 x1 ^2 x3 x2 ^1 237 x3 x1 x2 x0 x1 x2 ^3 x0 ^1 x2 x1 x0 x2 x3 x1 ^2 ^0 x1 238 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 x2 ^1 x3 x2 ^1 239 x0 x1 x2 x3 x1 ^2 x0 x1 ^2 x3 x1 x2 x1 x0 ^3 x2 x3 x1 ^2 x0 x1 240 ^1 x0 x1 x2 x3 x1 x2 x1 ^0 x2 ^1 x3 x2 ^1 241 x0 x1 x2 x3 x1 ^2 x0 x1 ^2 x1 x0 x2 ^1 x3 x2 ^1 x2 x0 x1 242 x1 ^0 x2 x1 x2 x3 x0 x1 ^2 x1 x0 x3 x2 x1 ^2 ^0 x1 243 x2 ^3 x1 x2 x3 x1 ^2 x0 x1 ^2 x3 x1 x2 x1 x0 x3 x0 x1 ^2 x1 x2 x0 x1 246 x2 ^3 x1 ^0 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 x3 x0 x1 ^2 245 ^1 x2 x3 x1 x2 x0 x1 x2 ^3 ^0 x1 x2 x1 x0 x3 x0 x1 ^2 x0 x1 244 ^1 x2 x3 x1 x2 x0 x1 x2 ^3 ^0 x1 x2 x1 x0 x3 x0 x1 ^2 x1 247 x1 x2 ^3 ^0 x1 x2 x3 x0 x1 ^2 x1 x0 x3 x2 x1 ^0 x2 x1 249 ^2 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 x2 x1 x0 x3 x2 x0 ^1 x3 248 x1 ^0 x2 x1 x2 x0 ^1 x3 x2 ^1 x0 x3 x2 x0 ^1 250 ^0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 x0 x1 x2 x0 ^1 251 x3 x2 x1 ^2 x0 x1 ^2 x3 x2 ^1 x2 x1 x0 x1 x2 x0 ^1 x3 252 ^2 ^0 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 x1 x2 x1 ^0 x2 x1 255 ^3 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 x2 x3 x1 ^2 x1 253 ^3 x0 x1 x2 x3 x1 ^2 x0 x1 ^2 x3 x1 x2 x1 x0 x2 x3 x1 ^2 x1 x2 x0 x1 256 x0 x1 x2 ^1 x3 x2 x0 x1 ^2 ^0 x3 x1 x2 x1 x0 x2 x3 x1 ^2 x0 x1 254 ^3 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 x2 x3 x1 ^2 257 x2 x3 x2 x1 x2 x0 x1 x2 ^3 ^0 x1 x2 x1 x0 x0 x1 ^2 ^0 x1 260 x1 ^2 x3 x2 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 ^2 x0 x1 ^2 x0 x1 261 x1 ^2 x3 x2 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 x0 ^1 x2 ^1 258 x1 ^2 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 x0 ^1 x2 ^1 x2 x0 x1 259 x3 x2 x1 ^0 x2 x3 x1 x2 x1 ^0 x0 ^1 x2 ^1 262 x3 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 x2 x1 x0 x2 ^3 x0 ^1 263 x2 x3 x1 x2 x0 x1 x2 ^3 x0 ^1 x2 x1 x0 x3 x1 ^2 ^0 x1 264 x3 ^2 x0 x1 x2 x3 x1 x2 x0 ^1 x2 x1 x0 x1 x2 ^3 ^1 265 x0 x1 x2 ^3 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 ^1 x3 x2 ^1 266 x0 x1 x2 ^3 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 x3 ^2 x1 ^2 x0 x1 267 x2 ^1 x0 x1 x2 x3 x1 x2 x1 ^0 ^1 x3 x2 ^1 268 x0 x1 x2 ^3 x1 x2 x3 x0 x1 ^2 x1 x0 ^1 x3 x2 ^1 x2 x0 x1 269 x1 ^0 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 x2 x1 ^2 ^0 x1 270 x1 ^2 x0 x1 x2 x3 x1 x2 x0 ^1 x2 x1 x0 ^2 x3 x2 ^1 271 ^2 x1 ^2 x3 x2 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 x0 x1 ^2 x1 x2 x0 x1 273 ^2 x1 ^2 x3 x2 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 x0 x1 ^2 272 ^1 x2 x3 x2 x1 x2 x0 x1 x2 ^3 ^0 x1 x2 x1 x0 x0 x1 ^2 x0 x1 274 ^1 x2 x3 x2 x1 x2 x0 x1 x2 ^3 ^0 x1 x2 x1 x0 x0 x1 ^2 x1 275 x1 ^2 ^0 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 x2 x1 ^0 x2 x1 276 x3 ^2 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 x2 x1 x0 x2 x0 ^1 x3 277 x1 ^0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 x0 x2 x0 ^1 279 x0 ^1 x2 x3 x1 x2 x0 x1 x2 ^3 ^0 x1 x2 x1 x0 x3 x1 ^2 x0 x1 278 x2 ^3 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 x3 x1 ^2 280 x2 ^3 x0 x1 x2 x3 x1 ^2 x0 x1 ^2 x3 x1 x2 x1 x0 x3 x1 ^2 x1 x2 x0 x1 281 x0 ^1 x2 x3 x1 x2 x0 x1 x2 ^3 ^0 x1 x2 x1 x0 x3 x1 ^2 x1 283 x0 x1 x2 ^3 ^0 x1 x2 x3 x0 x1 ^2 x1 x0 x3 x2 ^1 x2 x0 x1 284 ^1 x2 ^1 x0 x1 x2 x3 x1 x2 x1 ^0 x3 x2 ^1 282 ^2 x1 ^2 x0 x1 x2 x3 x1 x2 x0 ^1 x2 x1 x0 x3 x2 ^1 x3 285 x2 x3 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 x2 x1 x0 ^3 x0 ^1 286 x1 x2 x3 x1 x2 x0 x1 x2 ^3 x0 ^1 x2 x1 x0 x3 ^2 ^0 x1 287 x2 x1 ^0 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 x1 ^2 ^0 x1 289 x0 x1 ^2 x3 x2 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 ^1 x2 ^1 288 x0 x1 ^2 x3 x2 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 ^2 x1 ^2 x0 x1 291 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x1 ^0 ^1 x2 ^1 290 x0 x1 ^2 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 ^1 x2 ^1 x2 x0 x1 292 x3 x1 ^2 x0 x1 x2 x3 x1 x2 x0 ^1 x2 x1 x0 x2 ^3 ^1 293 x2 x1 ^0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 x0 x0 ^1 294 ^3 x2 x3 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 x2 x1 x0 x0 ^1 x3 295 x2 x1 ^2 ^0 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 x1 ^0 x2 x1 296 ^2 x0 x1 ^2 x3 x2 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 x1 ^2 x1 x2 x0 x1 298 x0 ^1 x2 x3 x2 x1 x2 x0 x1 x2 ^3 ^0 x1 x2 x1 x0 x1 ^2 x1 299 ^2 x0 x1 ^2 x3 x2 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 x1 ^2 297 x0 ^1 x2 x3 x2 x1 x2 x0 x1 x2 ^3 ^0 x1 x2 x1 x0 x1 ^2 x0 x1 300 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x1 ^0 x2 ^1 301 x0 x1 ^2 ^0 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 x2 ^1 x2 x0 x1 302 x3 ^2 x1 ^2 x0 x1 x2 x3 x1 x2 x0 ^1 x2 x1 x0 x2 ^1 x3 304 x1 x2 ^3 ^1 x0 x1 x2 x3 x1 x2 x0 ^1 x3 x2 x1 x0 x3 ^2 305 ^0 x1 x2 x3 x1 x2 x0 x1 x2 ^3 x0 ^1 x2 x1 x0 x3 ^2 x1 303 x1 x2 ^3 x0 x1 x2 x3 x1 ^2 x0 x1 ^2 x3 x1 x2 x1 x0 x3 ^2 x1 x2 x0 x1 306 ^0 x1 x2 x3 x1 x2 x0 x1 x2 ^3 x0 ^1 x2 x1 x0 x3 ^2 x0 x1 307 x1 x2 x1 ^0 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 ^2 ^0 x1 308 x1 x2 x3 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 x2 x1 x0 ^3 ^0 x1 309 x2 x3 x1 ^2 x0 x1 x2 x3 x1 x2 x0 ^1 x2 x1 x0 ^3 ^1 310 x1 x2 x1 ^0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 x0 ^0 x1 312 ^2 x1 x2 x1 ^0 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 ^0 x2 x1 311 ^3 x1 x2 x3 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 x2 x1 x0 ^0 x3 x1 314 x2 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x1 ^0 ^1 313 x2 x0 x1 ^2 ^0 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 ^1 x2 x0 x1 315 ^3 x2 x3 x1 ^2 x0 x1 x2 x3 x1 x2 x0 ^1 x2 x1 x0 ^1 x3 318 x1 ^2 x0 x1 ^2 x3 x2 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 ^2 x1 x2 x0 x1 319 ^0 x1 x2 x1 ^0 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 ^2 x1 317 ^0 x1 x2 x1 ^0 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 ^2 x0 x1 316 x1 ^2 x0 x1 ^2 x3 x2 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 ^2 320 x2 x1 x2 ^3 x0 x1 x2 x3 x1 ^2 x0 x1 ^2 x3 x1 x2 x1 x0 ^3 x2 x1 x2 x0 x1 321 ^1 x2 x3 x1 ^2 x0 x1 x2 x3 x1 x2 x0 ^1 x2 x1 x0 ^3 x1 323 ^0 x1 x2 x3 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 x2 x1 x0 ^3 x0 x1 322 ^1 x2 x3 x1 ^2 x0 x1 x2 x3 x1 x2 x0 ^1 x2 x1 x0 ^3 324 ^3 x2 x1 x2 ^3 x0 x1 x2 x3 x1 ^2 x0 x1 ^2 x3 x1 x2 x1 x0 x3 x2 x1 x2 x0 x1 325 ^2 x1 ^2 x0 x1 ^2 x3 x2 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 x2 x1 x2 x0 x1 326 ^1 x2 x0 x1 ^2 ^0 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 x1 x2 x0 x1 330 ^3 ^1 x2 x3 x1 ^2 x0 x1 x2 x3 x1 x2 x0 ^1 x2 x1 x0 x3 327 ^2 x1 ^2 x0 x1 ^2 x3 x2 x1 x2 x0 x1 x2 ^3 x1 x2 x1 x0 x2 329 ^3 ^0 x1 x2 x3 x1 x2 x0 x1 ^2 x3 x2 x0 ^1 x2 x1 x0 x3 x0 x1 328 ^2 ^0 x1 x2 x1 ^0 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 x2 x0 x1 331 ^1 x2 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x1 ^0 x1 334 ^0 x1 x2 x1 ^0 x3 x2 x1 x2 x0 ^1 x3 x2 ^1 x0 x0 x1 332 ^3 ^1 x2 x3 x1 ^2 x0 x1 x2 x3 x1 x2 x0 ^1 x2 x1 x0 x3 x1 333 ^2 ^0 x1 x2 x1 ^0 x3 x2 x1 x2 x3 x0 x1 ^2 x1 x0 x2 x1 335 ^1 x2 ^1 x3 x2 ^1 x0 x1 x2 x3 x1 x2 x1 ^0