package archive; // -- renderGraph $Revision: 1.2 $ -- // -- parameters $Revision: 1.3 $ -- // -- parameterUse $Revision: 1.2 $ -- // -- arrange $Revision: 1.2 $ -- // -- arrangePlus $Revision$ -- // -- arrangeAnnotate $Revision: 1.2 $ -- // generating...hex // -- arrangeMain $Revision: 1.2 $ -- // -- arrangeInvariant $Revision: 1.2 $ -- // stack sizes = 23 1 // cases considered= 1000 // stack sizes = 26 1 // cases considered= 2000 // stack sizes = 23 2 // cases considered= 3000 // stack sizes = 32 2 // cases considered= 4000 // stack sizes = 50 3 // cases considered= 5000 // stack sizes = 14 6 // cases considered= 6000 // stack sizes = 21 6 // cases considered= 7000 // stack sizes = 19 6 // cases considered= 8000 // stack sizes = 19 6 // cases considered= 9000 // stack sizes = 24 7 // cases considered= 10000 // stack sizes = 8 7 // cases considered= 11000 // stack sizes = 22 9 // cases considered= 12000 // stack sizes = 17 9 // cases considered= 13000 // stack sizes = 17 9 // cases considered= 14000 // stack sizes = 10 9 // cases considered= 15000 // stack sizes = 20 12 // cases considered= 16000 // stack sizes = 17 12 // cases considered= 17000 // stack sizes = 20 14 // cases considered= 18000 // stack sizes = 11 14 // cases considered= 19000 // stack sizes = 5 14 // cases considered= 20000 // stack sizes = 18 23 // cases considered= 21000 // stack sizes = 5 37 // cases considered= 22000 // stack sizes = 35 66 // cases considered= 23000 // stack sizes = 1 76 // cases considered= 24000 // stack sizes = 32 76 // cases considered= 25000 // stack sizes = 24 76 // cases considered= 26000 // stack sizes = 24 76 // cases considered= 27000 // stack sizes = 25 76 // cases considered= 28000 // stack sizes = 17 76 // cases considered= 29000 // stack sizes = 24 76 // cases considered= 30000 // stack sizes = 23 76 // cases considered= 31000 // stack sizes = 14 76 // cases considered= 32000 // stack sizes = 8 76 // cases considered= 33000 // stack sizes = 19 76 // cases considered= 34000 // stack sizes = 9 76 // cases considered= 35000 // stack sizes = 24 76 // cases considered= 36000 // stack sizes = 6 76 // cases considered= 37000 // stack sizes = 11 76 // cases considered= 38000 // stack sizes = 30 76 // cases considered= 39000 // stack sizes = 21 77 // cases considered= 40000 // stack sizes = 21 77 // cases considered= 41000 // stack sizes = 17 77 // cases considered= 42000 // stack sizes = 7 77 // cases considered= 43000 // stack sizes = 27 79 // cases considered= 44000 // stack sizes = 11 90 // cases considered= 45000 // stack sizes = 23 90 // cases considered= 46000 // stack sizes = 32 90 // cases considered= 47000 // stack sizes = 12 90 // cases considered= 48000 // stack sizes = 16 90 // cases considered= 49000 // stack sizes = 20 90 // cases considered= 50000 // stack sizes = 21 99 // cases considered= 51000 // stack sizes = 19 100 // cases considered= 52000 // stack sizes = 5 123 // cases considered= 53000 // stack sizes = 8 136 // cases considered= 54000 // stack sizes = 27 141 // cases considered= 55000 // stack sizes = 5 144 // cases considered= 56000 // stack sizes = 10 147 // cases considered= 57000 // stack sizes = 28 155 // cases considered= 58000 // stack sizes = 28 157 // cases considered= 59000 // stack sizes = 52 157 // cases considered= 60000 // stack sizes = 46 157 // cases considered= 61000 // stack sizes = 33 157 // cases considered= 62000 // stack sizes = 25 157 // cases considered= 63000 // stack sizes = 26 157 // cases considered= 64000 // stack sizes = 58 157 // cases considered= 65000 // stack sizes = 85 157 // cases considered= 66000 // stack sizes = 50 157 // cases considered= 67000 // stack sizes = 13 157 // cases considered= 68000 // stack sizes = 11 157 // cases considered= 69000 // stack sizes = 16 157 // cases considered= 70000 // stack sizes = 14 159 // cases considered= 71000 // stack sizes = 38 159 // cases considered= 72000 // stack sizes = 31 159 // cases considered= 73000 // stack sizes = 32 159 // cases considered= 74000 // stack sizes = 21 159 // cases considered= 75000 // stack sizes = 31 159 // cases considered= 76000 // stack sizes = 10 159 // cases considered= 77000 // stack sizes = 9 159 // cases considered= 78000 // stack sizes = 22 159 // cases considered= 79000 // stack sizes = 26 159 // cases considered= 80000 // stack sizes = 9 159 // cases considered= 81000 // stack sizes = 14 161 // cases considered= 82000 // stack sizes = 45 161 // cases considered= 83000 // stack sizes = 26 161 // cases considered= 84000 // stack sizes = 29 161 // cases considered= 85000 // stack sizes = 21 161 // cases considered= 86000 // stack sizes = 22 162 // cases considered= 87000 // stack sizes = 30 164 // cases considered= 88000 // stack sizes = 34 164 // cases considered= 89000 // stack sizes = 4 166 // cases considered= 90000 // stack sizes = 39 166 // cases considered= 91000 // stack sizes = 18 166 // cases considered= 92000 // stack sizes = 7 166 // cases considered= 93000 // stack sizes = 12 167 // cases considered= 94000 // stack sizes = 32 171 // cases considered= 95000 // stack sizes = 18 171 // cases considered= 96000 // stack sizes = 8 172 // cases considered= 97000 // stack sizes = 15 172 // cases considered= 98000 // stack sizes = 13 175 // cases considered= 99000 // stack sizes = 19 175 // cases considered= 100000 // stack sizes = 24 175 // cases considered= 101000 // stack sizes = 5 175 // cases considered= 102000 // stack sizes = 6 175 // cases considered= 103000 // stack sizes = 9 175 // cases considered= 104000 // stack sizes = 6 175 // cases considered= 105000 // stack sizes = 40 175 // cases considered= 106000 // stack sizes = 25 175 // cases considered= 107000 // stack sizes = 10 175 // cases considered= 108000 // stack sizes = 14 176 // cases considered= 109000 // stack sizes = 14 176 // cases considered= 110000 // stack sizes = 20 176 // cases considered= 111000 // stack sizes = 14 176 // cases considered= 112000 // stack sizes = 56 176 // cases considered= 113000 // stack sizes = 13 176 // cases considered= 114000 // stack sizes = 8 176 // cases considered= 115000 // stack sizes = 36 176 // cases considered= 116000 // stack sizes = 7 176 // cases considered= 117000 // stack sizes = 53 176 // cases considered= 118000 // stack sizes = 12 176 // cases considered= 119000 // stack sizes = 5 176 // cases considered= 120000 // stack sizes = 12 176 // cases considered= 121000 // stack sizes = 10 176 // cases considered= 122000 // stack sizes = 7 176 // cases considered= 123000 // stack sizes = 15 176 // cases considered= 124000 // stack sizes = 26 176 // cases considered= 125000 // stack sizes = 6 176 // cases considered= 126000 // stack sizes = 4 176 // cases considered= 127000 // stack sizes = 5 176 // cases considered= 128000 // stack sizes = 3 176 // cases considered= 129000 // stack sizes = 17 176 // cases considered= 130000 // stack sizes = 1 176 // cases considered= 131000 // stack sizes = 3 176 // cases considered= 132000 // Total pops: 132309 // stack size = 176 // count = 132309 public class graphHEX { final public static String data[] = { " 0 11 6 6 9 8 4 1 5 5 6 5 1 0 2 3 0 1 3 3 3 1 4 3 3 4 7 3 7 4 8 3 7 8 6 3 8 9 6 3 7 6 2 3 3 7 2 3 2 0 3", " 0 11 6 0 1 2 3 4 5 5 0 5 6 7 8 3 6 5 9 3 9 5 4 3 9 4 8 3 8 4 3 3 9 8 7 3 7 6 9 3 0 8 3 3 0 3 2 3 2 1 0", " 0 12 6 0 4 9 7 8 3 4 0 3 8 2 3 2 8 7 3 2 7 6 3 6 7 9 3 6 9 5 3 5 9 4 3 5 4 0 3 1 6 5 3 1 0 2 3 2 6 1 3 5 0 1", " 0 13 6 0 3 8 10 7 2 4 0 2 7 1 3 1 7 6 3 6 7 10 4 6 10 9 5 3 9 10 8 3 9 8 4 3 4 8 3 3 4 3 0 3 4 0 5 3 5 0 1 3 5 9 4 3 1 6 5", " 0 13 6 10 6 1 0 2 7 4 10 7 2 8 3 8 2 3 3 3 2 0 3 3 0 4 3 4 0 1 4 4 1 5 9 3 5 1 6 3 5 6 10 3 9 5 10 3 9 10 8 3 9 8 3 3 3 4 9", " 0 14 6 1 0 2 7 10 6 4 1 6 10 5 3 5 10 9 3 9 10 7 3 9 7 8 3 8 7 2 3 8 2 3 3 3 2 0 3 3 0 1 3 3 1 4 3 4 1 5 3 4 5 9 3 4 9 8 3 8 3 4", " 0 12 6 0 2 3 8 7 1 4 0 1 6 5 3 6 1 7 3 6 7 9 3 9 7 8 3 9 8 4 3 4 8 3 3 4 3 0 3 3 2 0 3 4 0 5 3 9 4 5 3 5 6 9", " 0 13 6 0 1 2 3 4 5 4 0 5 6 7 3 6 5 8 3 8 5 4 3 8 4 3 3 8 3 9 4 9 3 2 10 3 6 8 9 3 10 2 1 3 10 1 0 3 10 0 7 3 9 10 7 3 7 6 9", " 0 15 6 10 11 7 8 9 4 4 10 4 0 5 3 0 4 3 3 3 4 9 3 3 9 8 3 3 8 2 4 2 8 7 1 3 0 3 2 3 1 7 6 3 6 7 11 3 6 11 10 3 6 10 5 3 1 6 5 3 1 5 0 3 0 2 1", " 0 11 6 2 4 9 3 0 1 3 2 1 0 5 2 0 3 7 6 3 7 3 8 3 8 3 9 3 8 9 4 3 8 4 5 3 7 8 5 3 5 4 2 3 5 2 6 3 6 7 5", " 0 11 6 8 4 0 1 5 9 3 8 9 5 5 8 5 1 6 7 3 6 1 2 3 2 1 0 3 2 0 3 3 3 0 4 3 3 4 8 3 3 8 7 3 2 3 7 3 7 6 2", " 0 15 6 2 4 9 3 1 0 3 2 0 1 5 2 1 3 7 6 3 7 3 8 3 8 3 9 3 8 9 10 3 10 9 4 3 10 4 5 3 5 4 2 3 5 2 6 3 5 6 11 3 10 5 11 3 8 10 11 3 7 8 11 3 11 6 7", " 0 12 6 2 5 9 4 1 0 3 2 0 1 4 2 1 3 7 3 3 1 4 3 3 4 8 3 8 4 9 3 8 9 6 3 6 9 5 3 6 5 2 3 6 2 7 3 8 6 7 3 7 3 8", " 0 16 6 8 11 6 1 2 7 3 8 7 2 4 8 2 0 3 3 0 2 1 3 0 1 5 3 5 1 6 3 5 6 10 3 10 6 11 3 10 11 9 3 9 11 8 3 9 8 3 3 9 3 4 3 4 3 0 3 4 0 5 3 4 5 10 3 10 9 4", " 0 11 6 1 7 8 4 5 6 3 1 6 5 3 1 5 0 3 0 5 4 3 0 4 3 3 3 4 7 3 4 8 7 3 2 0 3 3 2 7 1 3 1 0 2 3 3 7 2", " 0 11 6 6 2 0 3 7 8 3 6 8 7 3 6 7 4 3 4 7 3 3 4 3 1 3 1 3 0 3 1 0 2 3 5 4 1 3 5 2 6 3 6 4 5 3 1 2 5", " 0 11 6 7 5 2 3 6 8 3 7 8 6 3 7 6 4 3 4 6 3 3 4 3 0 3 0 3 2 3 0 2 1 3 1 2 5 3 1 5 4 3 5 7 4 3 4 0 1", " 0 11 6 8 6 1 0 2 7 3 8 7 2 3 8 2 3 3 3 2 0 3 3 0 4 3 4 0 1 3 4 1 5 3 5 1 6 3 5 6 8 3 5 8 3 3 3 4 5", " 0 12 6 0 1 6 9 4 5 3 0 5 4 3 0 4 3 3 3 4 9 3 3 9 8 3 8 9 6 3 8 6 7 3 7 6 1 3 7 1 2 3 2 1 0 3 2 0 3 4 3 8 7 2", " 0 15 6 2 3 10 7 8 9 3 2 9 8 3 2 8 1 3 1 8 7 3 1 7 6 3 6 7 10 3 6 10 4 3 4 10 3 3 4 3 0 3 0 3 2 3 0 2 1 3 5 4 0 3 5 1 6 3 6 4 5 3 0 1 5", " 0 13 6 1 0 2 8 6 7 3 1 7 6 3 1 6 5 3 5 6 8 3 5 8 9 3 9 8 2 3 9 2 3 3 3 2 0 3 3 0 4 3 4 0 1 3 4 1 5 3 4 5 9 3 9 3 4", " 0 13 6 8 6 2 3 7 9 3 8 9 7 3 8 7 4 3 4 7 3 3 4 3 0 3 0 3 2 3 0 2 1 3 1 2 6 3 1 6 5 3 5 6 8 3 5 8 4 3 1 5 4 3 4 0 1", " 0 13 6 4 0 5 10 8 9 3 4 9 8 3 4 8 7 3 7 8 10 3 7 10 6 3 6 10 5 3 6 5 1 3 1 5 0 3 1 0 2 3 2 0 3 3 3 0 4 3 3 4 7 5 7 6 1 2 3", " 0 13 6 2 5 9 4 1 0 3 2 0 1 3 2 1 3 3 3 1 4 3 3 4 7 3 7 4 8 3 8 4 9 3 8 9 5 3 8 5 6 3 6 5 2 3 6 2 3 3 6 3 7 3 7 8 6", " 0 14 6 9 7 3 0 4 8 3 9 8 4 3 9 4 5 3 5 4 0 3 5 0 1 3 1 0 2 3 2 0 3 3 2 3 7 3 2 7 6 3 6 7 10 3 10 7 9 3 10 9 5 4 6 10 5 1 3 1 2 6", " 0 15 6 3 4 10 7 8 9 3 3 9 8 3 3 8 2 3 2 8 7 3 2 7 1 3 1 7 6 3 6 7 10 3 6 10 4 3 6 4 5 3 5 4 0 3 0 4 3 3 0 3 2 3 0 2 1 3 5 0 1 3 1 6 5", " 0 13 6 6 2 0 3 7 9 3 6 9 7 3 6 7 8 3 8 7 3 3 8 3 5 3 5 3 4 3 4 3 0 3 4 0 1 3 1 0 2 3 1 2 5 3 5 2 6 3 5 4 1 3 6 8 5", " 0 16 6 5 6 10 3 4 11 3 5 11 4 3 5 4 0 3 0 4 3 3 0 3 2 3 2 3 9 3 9 3 10 3 9 10 7 3 7 10 6 3 7 6 1 3 1 6 5 3 1 5 0 4 1 0 2 8 3 7 1 8 3 9 7 8 3 8 2 9", " 0 14 6 7 8 5 1 6 10 3 7 10 6 3 7 6 2 3 2 6 1 3 2 1 0 3 0 1 4 3 4 1 5 3 4 5 9 3 9 5 8 3 9 8 3 3 3 8 7 3 3 7 2 3 3 2 0 4 0 4 9 3", " 0 15 6 7 8 9 5 6 10 3 7 10 6 3 7 6 1 3 1 6 5 3 1 5 0 3 0 5 4 3 4 5 9 3 4 9 3 3 3 9 8 3 3 8 2 3 2 8 7 3 2 7 1 3 2 1 0 3 3 2 0 3 0 4 3", " 0 17 6 4 10 9 2 0 3 3 4 3 0 3 4 0 1 3 1 0 2 3 1 2 7 3 7 2 8 3 8 2 9 3 8 9 11 3 11 9 10 3 11 10 5 3 5 10 4 3 5 4 1 3 5 1 6 3 6 1 7 3 6 7 8 3 6 8 11 3 11 5 6", " 0 19 6 0 1 2 3 4 5 3 0 5 4 3 0 4 6 3 6 4 3 3 6 3 7 3 7 3 8 3 8 3 2 3 8 2 9 3 9 2 1 3 9 1 10 3 10 1 0 3 10 0 6 3 10 6 11 3 11 6 7 3 11 7 12 3 12 7 8 3 12 8 9 3 12 9 10 3 10 11 12", " 0 20 6 8 12 6 1 7 13 3 8 13 7 3 8 7 2 3 2 7 1 3 2 1 0 3 0 1 5 3 5 1 6 3 5 6 11 3 11 6 12 3 11 12 10 3 10 12 9 3 9 12 8 3 9 8 2 4 9 2 0 3 3 10 9 3 3 3 0 4 3 4 0 5 3 4 5 11 3 4 11 10 3 10 3 4", " 0 18 6 4 5 12 9 10 11 3 4 11 10 3 4 10 3 3 3 10 9 3 3 9 2 3 2 9 8 3 8 9 12 3 8 12 6 3 6 12 5 3 6 5 1 3 1 5 0 3 0 5 4 3 0 4 3 3 0 3 2 4 1 0 2 7 3 7 2 8 3 7 8 6 3 6 1 7", " 0 16 6 5 1 6 8 10 11 3 5 11 10 3 5 10 9 3 9 10 8 3 9 8 3 3 3 8 7 3 7 8 6 3 7 6 2 3 2 6 1 3 2 1 0 3 0 1 4 3 4 1 5 3 4 5 9 3 4 9 3 3 0 4 3 4 3 7 2 0", " 0 17 6 8 3 9 6 10 11 3 8 11 10 3 8 10 7 3 7 10 6 3 7 6 1 3 1 6 5 3 5 6 9 3 5 9 4 3 4 9 3 3 4 3 0 3 0 3 2 3 2 3 8 3 2 8 7 3 2 7 1 3 0 2 1 3 0 1 5 3 5 4 0", " 0 24 6 14 8 2 3 9 15 3 14 15 9 3 14 9 10 3 10 9 3 3 10 3 4 3 4 3 0 3 0 3 2 3 0 2 1 3 1 2 7 3 7 2 8 3 7 8 12 3 12 8 13 3 13 8 14 3 13 14 10 4 13 10 4 11 3 12 13 11 3 11 4 5 3 5 4 0 3 5 0 1 3 5 1 6 3 6 1 7 3 6 7 12 3 6 12 11 3 11 5 6", " 0 11 6 1 3 8 7 2 0 3 1 0 2 3 1 2 5 3 5 2 6 3 6 2 7 3 6 7 8 3 6 8 4 3 4 8 3 3 4 3 1 3 4 1 5 3 5 6 4", " 0 12 6 0 4 8 7 2 3 3 0 3 2 3 0 2 1 3 1 2 6 3 6 2 7 3 6 7 8 3 6 8 9 3 9 8 4 3 9 4 5 3 5 4 0 3 5 0 1 4 1 6 9 5", " 0 13 6 5 9 8 3 0 4 3 5 4 0 3 5 0 1 3 1 0 2 3 2 0 3 3 2 3 8 3 2 8 7 3 7 8 9 3 7 9 6 3 6 9 5 3 6 5 1 3 7 6 1 3 1 2 7", " 0 13 6 2 6 9 5 1 0 3 2 0 1 3 2 1 3 3 3 1 4 3 4 1 5 3 4 5 9 3 4 9 8 3 8 9 7 3 7 9 6 3 7 6 2 3 7 2 3 3 8 7 3 3 3 4 8", " 0 15 6 9 6 2 7 8 10 3 9 10 8 3 9 8 4 3 4 8 3 3 3 8 7 3 3 7 2 3 3 2 0 3 0 2 1 3 1 2 6 3 1 6 5 3 5 6 9 3 5 9 4 3 5 4 0 3 4 3 0 3 0 1 5", " 0 14 6 8 5 1 6 7 10 3 8 10 7 3 8 7 3 3 3 7 2 3 2 7 6 3 2 6 1 3 2 1 0 3 0 1 4 3 4 1 5 3 4 5 9 3 9 5 8 3 9 8 3 4 0 4 9 3 3 3 2 0", " 0 16 6 8 9 5 10 7 11 3 8 11 7 3 8 7 2 3 2 7 6 3 6 7 10 3 6 10 5 3 6 5 1 3 1 5 4 3 4 5 9 3 4 9 3 3 3 9 8 3 3 8 2 3 3 2 0 4 0 2 6 1 3 4 3 0 3 0 1 4", " 0 12 6 0 1 6 7 4 5 3 0 5 4 3 0 4 3 3 3 4 9 3 9 4 7 3 9 7 8 3 8 7 1 3 7 6 1 3 8 1 2 3 2 1 0 3 2 0 3 4 3 9 8 2", " 0 15 6 5 6 10 7 8 9 3 5 9 8 3 5 8 4 3 4 8 3 3 3 8 7 3 3 7 2 3 2 7 6 3 7 10 6 3 2 6 1 3 1 6 5 3 1 5 4 3 0 2 1 3 0 4 3 3 3 2 0 3 1 4 0", " 0 13 6 5 7 1 8 4 9 3 5 9 4 3 5 4 0 3 0 4 3 3 3 4 8 3 3 8 2 3 2 8 1 3 2 1 0 3 6 5 0 3 0 3 2 3 6 1 7 3 7 5 6 3 0 1 6", " 0 11 6 6 8 4 0 1 5 3 6 5 1 3 6 1 7 3 7 1 2 3 2 1 0 3 2 0 3 3 3 0 4 3 3 4 7 3 6 7 4 3 7 2 3 3 4 8 6", " 0 12 6 1 6 9 8 4 5 3 1 5 4 3 1 4 0 3 0 4 3 3 3 4 8 3 3 8 7 3 7 8 9 3 7 9 6 3 7 6 2 3 2 6 1 3 2 1 0 4 0 3 7 2", " 0 13 6 7 2 3 4 8 9 3 7 9 8 3 7 8 6 3 6 8 5 3 5 8 4 3 5 4 0 3 0 4 3 3 0 3 2 3 0 2 1 3 1 2 7 3 1 7 6 3 1 6 5 3 5 0 1", " 0 14 6 3 0 4 10 8 9 3 3 9 8 3 3 8 7 3 7 8 6 3 6 8 10 3 6 10 5 3 5 10 4 3 5 4 0 3 5 0 1 3 1 0 2 3 2 0 3 3 2 3 7 4 1 2 7 6 3 6 5 1", " 0 15 6 7 3 8 9 6 10 3 7 10 6 3 7 6 1 3 1 6 5 3 5 6 9 3 5 9 4 3 4 9 8 3 4 8 3 3 4 3 0 3 0 3 2 3 2 3 7 3 2 7 1 3 0 2 1 3 5 4 0 3 0 1 5", " 0 16 6 5 0 1 6 10 11 3 5 11 10 3 5 10 9 3 9 10 7 3 7 10 6 3 7 6 2 3 2 6 1 3 2 1 0 3 2 0 3 3 3 0 4 3 4 0 5 3 4 5 9 3 4 9 8 3 8 9 7 4 8 7 2 3 3 3 4 8", " 0 13 6 2 0 3 8 6 7 3 2 7 6 3 2 6 5 3 5 6 10 3 10 6 8 3 10 8 9 3 9 8 3 3 9 3 4 3 4 3 0 3 4 0 1 3 1 0 2 3 1 2 5 5 5 10 9 4 1", " 0 16 6 6 1 0 2 7 11 3 6 11 7 3 6 7 10 3 10 7 8 3 8 7 2 3 8 2 3 3 3 2 0 3 3 0 4 3 4 0 1 3 4 1 5 3 5 1 6 3 5 6 10 4 5 10 8 9 3 9 8 3 3 9 3 4 3 4 5 9", " 0 16 6 9 5 1 6 10 11 3 9 11 10 3 9 10 8 3 8 10 7 3 7 10 6 3 7 6 2 3 2 6 1 3 2 1 0 3 0 1 5 3 0 5 4 3 4 5 9 3 4 9 8 4 0 4 8 3 3 3 8 7 3 3 7 2 3 2 0 3", " 0 15 6 8 3 0 4 9 10 3 8 10 9 3 8 9 6 3 6 9 5 3 5 9 4 3 5 4 1 3 1 4 0 3 1 0 2 3 2 0 3 3 2 3 7 3 7 3 8 3 7 8 6 3 2 7 6 3 1 2 6 3 6 5 1", " 0 16 6 6 1 2 7 10 11 3 6 11 10 3 6 10 9 3 9 10 8 3 8 10 7 3 8 7 3 3 3 7 2 3 3 2 0 3 0 2 1 3 0 1 5 3 5 1 6 3 5 6 9 3 5 9 4 3 4 9 8 4 4 8 3 0 3 0 5 4", " 0 17 6 9 4 0 1 5 10 3 9 10 5 3 9 5 11 3 11 5 6 3 6 5 1 3 6 1 2 3 2 1 0 3 2 0 3 3 3 0 4 3 3 4 8 3 8 4 9 3 8 9 11 3 8 11 7 3 7 11 6 3 7 6 2 3 7 2 3 3 3 8 7", " 0 18 6 3 9 12 7 2 8 3 3 8 2 3 3 2 0 3 0 2 1 3 1 2 7 3 1 7 6 3 6 7 12 3 6 12 11 3 11 12 9 3 11 9 10 3 10 9 4 3 4 9 3 3 4 3 0 4 10 4 0 5 3 5 0 1 3 5 1 6 3 5 6 11 3 11 10 5", " 0 20 6 8 2 3 9 12 13 3 8 13 12 3 8 12 11 3 11 12 10 3 10 12 9 3 10 9 4 3 4 9 3 3 4 3 0 3 0 3 2 3 0 2 1 3 1 2 7 3 7 2 8 3 7 8 11 3 7 11 6 4 6 11 10 5 3 5 10 4 3 5 4 0 3 5 0 1 3 1 7 6 3 6 5 1", " 0 20 6 7 1 0 2 8 13 3 7 13 8 3 7 8 12 3 12 8 9 3 9 8 2 3 9 2 3 3 3 2 0 3 3 0 4 3 4 0 1 3 4 1 5 3 5 1 6 3 6 1 7 3 6 7 12 3 6 12 11 3 11 12 9 4 11 9 3 10 3 10 3 4 3 10 4 5 3 5 6 11 3 11 10 5", " 0 18 6 9 7 2 0 3 8 3 9 8 3 3 9 3 10 3 10 3 4 3 4 3 0 3 4 0 1 3 1 0 2 3 1 2 6 3 6 2 7 3 6 7 12 3 12 7 11 3 11 7 9 3 11 9 10 3 11 10 5 3 5 10 4 3 5 4 1 4 5 1 6 12 3 12 11 5", " 0 20 6 9 13 7 2 3 8 3 9 8 3 3 9 3 4 3 4 3 0 3 0 3 2 3 0 2 1 3 1 2 7 3 1 7 6 3 6 7 12 3 12 7 13 3 12 13 10 3 10 13 9 3 10 9 4 4 10 4 5 11 3 5 4 0 3 5 0 1 3 5 1 6 3 12 10 11 3 6 12 11 3 11 5 6", " 0 18 6 8 2 0 3 9 12 3 8 12 9 3 8 9 11 3 11 9 10 3 10 9 3 3 10 3 4 3 4 3 0 3 4 0 5 3 5 0 1 3 1 0 2 3 1 2 7 3 7 2 8 3 7 8 11 3 7 11 6 3 6 11 10 4 6 10 4 5 3 1 7 6 3 6 5 1", " 0 24 6 2 6 11 5 1 0 3 2 0 1 3 2 1 3 3 3 1 4 3 4 1 5 3 4 5 10 3 10 5 11 3 10 11 15 3 15 11 12 3 12 11 6 3 12 6 13 3 13 6 7 3 7 6 2 3 7 2 3 3 7 3 8 4 8 3 4 9 3 9 4 10 3 9 10 15 3 13 7 8 3 9 15 14 3 14 15 12 3 14 12 13 3 14 13 8 3 8 9 14", " 0 18 6 11 12 9 3 4 10 3 11 10 4 3 11 4 5 3 5 4 0 3 0 4 3 3 0 3 2 3 2 3 8 3 8 3 9 3 8 9 12 3 8 12 7 3 7 12 6 3 6 12 11 3 6 11 5 4 6 5 0 1 3 1 0 2 3 2 8 7 3 1 2 7 3 7 6 1", " 0 18 6 11 8 9 4 10 12 3 11 12 10 3 11 10 6 3 6 10 5 3 5 10 4 3 5 4 0 3 0 4 3 3 3 4 9 3 3 9 8 3 3 8 2 3 2 8 7 3 7 8 11 3 7 11 6 4 2 7 6 1 3 1 6 5 3 1 5 0 3 0 3 2 3 2 1 0", " 0 18 6 11 12 9 3 4 10 3 11 10 4 3 11 4 5 3 5 4 0 3 0 4 3 3 0 3 2 3 2 3 8 3 8 3 9 3 8 9 12 3 8 12 7 3 7 12 6 3 6 12 11 3 6 11 5 3 6 5 1 3 1 5 0 4 1 0 2 7 3 2 8 7 3 7 6 1", " 0 19 6 9 4 10 6 11 12 3 9 12 11 3 9 11 8 3 8 11 7 3 7 11 6 3 7 6 1 3 1 6 5 3 5 6 10 3 5 10 4 3 5 4 0 3 0 4 3 3 3 4 9 3 3 9 8 3 3 8 2 3 2 8 7 3 2 7 1 3 2 1 0 3 1 5 0 3 0 3 2", " 0 18 6 9 3 0 1 4 10 3 9 10 4 3 9 4 11 3 11 4 5 3 5 4 1 3 5 1 6 3 6 1 2 3 2 1 0 3 2 0 3 3 2 3 7 3 7 3 8 3 8 3 9 3 8 9 11 3 8 11 12 3 12 11 5 3 12 5 6 4 12 6 2 7 3 7 8 12", " 0 22 6 2 6 11 5 1 0 3 2 0 1 3 2 1 3 3 3 1 4 3 4 1 5 3 4 5 9 3 9 5 10 3 10 5 11 3 10 11 12 3 12 11 6 3 12 6 13 3 13 6 7 3 7 6 2 3 7 2 3 4 7 3 4 8 3 8 4 9 3 13 7 8 3 8 9 14 3 14 9 10 3 14 10 12 3 14 12 13 3 13 8 14", " 0 22 6 2 6 11 5 1 0 3 2 0 1 3 2 1 3 3 3 1 4 3 4 1 5 3 4 5 9 3 9 5 10 3 10 5 11 3 10 11 12 3 12 11 6 3 12 6 13 3 13 6 7 3 7 6 2 3 7 2 3 4 13 7 3 8 3 8 3 4 3 8 4 9 3 8 9 14 3 14 9 10 3 14 10 12 3 14 12 13 3 13 8 14", " 0 22 6 1 3 8 7 2 0 3 1 0 2 3 1 2 5 3 5 2 6 3 6 2 7 3 6 7 12 3 12 7 13 3 13 7 8 3 13 8 9 3 9 8 3 3 9 3 10 3 10 3 4 3 4 3 1 3 4 1 5 3 4 5 11 3 11 5 6 4 11 6 12 14 3 10 4 11 3 10 11 14 3 9 10 14 3 13 9 14 3 14 12 13", " 0 22 6 6 1 7 14 12 13 3 6 13 12 3 6 12 11 3 11 12 10 3 10 12 14 3 10 14 9 3 9 14 8 3 8 14 7 3 8 7 2 3 2 7 1 3 2 1 0 3 0 1 5 3 5 1 6 3 5 6 11 3 5 11 4 3 4 11 10 3 4 10 9 4 4 9 3 0 3 3 9 8 3 0 5 4 3 3 8 2 3 2 0 3", " 0 20 6 2 6 11 5 1 0 3 2 0 1 3 2 1 3 3 3 1 4 3 4 1 5 3 4 5 9 3 9 5 10 3 10 5 11 3 10 11 12 3 12 11 6 3 12 6 13 3 13 6 7 3 7 6 2 3 7 2 3 3 7 3 8 3 8 3 4 3 8 4 9 3 8 9 13 4 9 10 12 13 3 13 7 8", " 0 13 6 0 2 7 10 6 1 3 0 1 5 3 5 1 6 5 0 5 6 9 4 3 9 6 10 3 9 10 8 3 8 10 7 3 8 7 3 3 3 7 2 3 3 2 0 3 3 0 4 3 8 3 4 3 4 9 8", " 0 11 6 3 5 9 4 2 0 3 3 0 1 3 1 0 2 3 1 2 4 5 3 1 4 8 7 3 8 4 9 3 8 9 6 3 6 9 5 3 6 5 3 3 6 3 7 3 7 8 6", " 0 11 6 2 6 8 4 5 1 3 2 1 0 3 0 1 5 3 0 5 4 3 0 4 3 3 3 4 8 5 3 8 9 7 2 3 6 2 7 3 2 0 3 3 6 7 9 3 9 8 6", " 0 11 6 4 8 7 3 0 1 3 4 1 2 3 2 1 0 3 2 0 3 3 2 3 6 3 6 3 7 3 6 7 8 3 5 2 6 3 5 8 4 3 4 2 5 3 6 8 5", " 0 13 6 1 0 2 7 9 6 3 1 6 5 3 5 6 9 3 5 9 7 3 5 7 8 3 8 7 2 3 8 2 3 3 3 2 0 3 3 0 1 3 4 8 3 3 4 1 5 3 5 8 4 3 3 1 4", " 0 11 6 0 3 8 6 7 2 3 0 2 1 3 1 2 7 3 1 7 6 3 1 6 5 3 5 6 8 3 5 8 4 3 4 8 3 3 4 3 0 3 5 4 0 3 0 1 5", " 0 13 6 3 6 9 5 2 0 3 3 0 1 3 1 0 2 3 1 2 5 3 1 5 4 3 4 5 9 3 4 9 8 3 8 9 6 3 8 6 7 3 7 6 3 3 7 3 4 3 3 1 4 3 4 8 7", " 0 11 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 3 3 6 3 7 3 7 3 8 3 8 3 2 3 8 2 1 3 8 1 0 3 7 8 0 3 0 6 7", " 0 13 6 1 2 7 8 9 6 3 1 6 5 3 5 6 9 3 5 9 8 3 5 8 4 3 4 8 3 3 3 8 7 3 3 7 2 3 3 2 0 3 0 2 1 3 0 1 4 3 1 5 4 3 4 3 0", " 0 15 6 7 10 5 0 1 6 3 7 6 2 3 2 6 1 3 2 1 0 3 2 0 3 3 3 0 4 3 4 0 5 3 4 5 10 3 4 10 9 3 9 10 7 3 9 7 8 3 8 7 2 3 8 2 3 3 3 4 9 3 9 8 3", " 0 14 6 2 3 9 6 10 8 3 2 8 7 3 7 8 10 3 7 10 6 3 7 6 1 3 1 6 5 3 5 6 9 3 5 9 4 3 4 9 3 3 4 3 0 3 0 3 2 3 0 2 1 3 2 7 1 4 1 5 4 0", " 0 17 6 7 9 4 5 10 11 3 7 11 6 3 6 11 10 3 6 10 5 3 6 5 1 3 1 5 0 3 0 5 4 3 0 4 3 3 3 4 9 3 3 9 8 3 8 9 7 3 8 7 1 3 7 6 1 3 2 3 8 3 2 1 0 3 0 3 2 3 8 1 2", " 0 15 6 3 9 6 1 7 8 3 3 8 2 3 2 8 7 3 2 7 1 3 2 1 0 3 0 1 5 3 5 1 6 3 5 6 10 3 10 6 9 3 10 9 4 3 4 9 3 3 4 3 0 3 3 2 0 3 4 0 5 3 5 10 4", " 0 15 6 1 8 9 5 10 7 3 1 7 6 3 6 7 10 3 6 10 5 3 6 5 0 3 0 5 4 3 4 5 9 3 4 9 3 3 3 9 8 3 3 8 2 3 2 8 1 3 2 1 0 3 1 6 0 3 3 2 0 3 0 4 3", " 0 11 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 3 3 7 3 2 3 7 2 8 3 8 2 1 3 8 1 0 3 8 0 6 3 6 7 8", " 0 11 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 3 3 7 3 2 3 7 2 8 3 8 2 1 3 8 1 0 3 7 8 0 3 0 6 7", " 0 12 6 8 4 0 1 5 9 3 8 9 6 3 6 9 5 3 6 5 2 3 2 5 1 3 2 1 0 3 2 0 3 3 3 0 4 3 3 4 7 3 7 4 8 3 7 8 6 4 6 2 3 7", " 0 15 6 0 2 6 10 5 1 3 0 1 4 3 4 1 5 3 4 5 9 3 9 5 10 3 9 10 6 3 9 6 7 3 7 6 2 3 7 2 3 3 3 2 0 3 3 0 4 3 8 7 3 3 8 4 9 3 9 7 8 3 3 4 8", " 0 13 6 6 2 3 7 8 9 3 6 9 5 3 5 9 8 3 5 8 4 3 4 8 7 3 4 7 3 3 4 3 0 3 0 3 2 3 0 2 1 3 1 2 6 3 1 6 5 3 1 5 4 3 4 0 1", " 0 17 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 3 3 7 3 2 3 7 2 8 3 8 2 1 3 8 1 9 3 9 1 0 3 9 0 10 3 10 0 6 3 10 6 11 3 11 6 7 3 11 7 8 3 11 8 9 3 9 10 11", " 0 13 6 0 4 6 9 8 3 3 0 3 2 3 2 3 8 3 2 8 7 3 7 8 9 3 7 9 6 3 7 6 1 3 1 6 5 3 5 6 4 3 5 4 0 3 1 5 0 3 1 0 2 3 2 7 1", " 0 14 6 2 0 3 8 10 7 3 2 7 6 3 6 7 10 3 6 10 9 3 9 10 8 3 9 8 3 3 9 3 4 3 4 3 1 3 1 3 0 3 1 0 2 3 1 2 5 3 5 2 6 4 5 6 9 4 3 4 1 5", " 0 15 6 0 4 7 10 9 3 3 0 3 2 3 2 3 9 3 2 9 8 3 8 9 10 3 8 10 7 3 8 7 1 3 1 7 6 3 6 7 4 3 6 4 5 3 5 4 0 3 5 0 1 3 1 0 2 3 1 6 5 3 2 8 1", " 0 13 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 3 3 7 3 8 4 8 3 2 9 3 9 2 1 3 9 1 0 4 8 9 0 10 3 10 0 6 3 10 6 7 3 7 8 10", " 0 11 6 2 3 8 5 6 7 3 2 7 1 3 1 7 6 3 1 6 0 3 0 6 5 3 0 5 4 3 4 5 8 3 4 8 3 3 0 4 3 3 0 3 2 3 2 1 0", " 0 13 6 8 5 1 0 2 6 3 8 6 7 3 7 6 2 3 7 2 3 3 3 2 0 3 3 0 4 3 4 0 1 3 4 1 5 3 4 5 9 3 9 5 8 3 9 8 3 3 8 7 3 3 3 4 9", " 0 12 6 0 1 5 9 8 4 3 0 4 3 3 3 4 8 3 3 8 7 3 7 8 9 3 7 9 6 3 6 9 5 3 6 5 1 3 6 1 2 3 2 1 0 3 2 0 3 4 3 7 6 2", " 0 13 6 2 6 9 8 5 1 3 2 1 0 3 0 1 5 3 0 5 4 3 4 5 8 3 4 8 7 3 7 8 9 3 7 9 6 3 7 6 3 3 3 6 2 3 3 2 0 3 3 0 4 3 4 7 3", " 0 13 6 5 7 8 9 3 4 3 5 4 0 3 0 4 3 3 0 3 2 3 2 3 9 3 2 9 1 3 1 9 8 3 1 8 7 3 1 7 6 3 6 7 5 3 6 5 0 3 1 6 0 3 0 2 1", " 0 14 6 0 3 8 10 7 2 3 0 2 1 3 1 2 7 3 1 7 6 3 6 7 10 3 6 10 9 3 9 10 8 3 9 8 3 3 9 3 4 3 4 3 0 3 4 0 5 3 5 0 1 3 5 1 6 4 6 9 4 5", " 0 13 6 3 4 5 6 7 9 3 3 9 8 3 8 9 7 3 8 7 2 3 2 7 6 3 2 6 1 3 1 6 5 3 1 5 0 3 0 5 4 3 0 4 3 3 0 3 2 3 3 8 2 3 2 1 0", " 0 14 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 3 3 7 3 8 3 8 3 2 3 8 2 9 3 9 2 1 3 9 1 0 4 8 9 0 10 3 10 0 6 3 10 6 7 3 7 8 10", " 0 14 6 7 8 3 4 9 10 3 7 10 6 3 6 10 9 3 6 9 5 3 5 9 4 3 5 4 0 3 0 4 3 3 0 3 2 3 2 3 8 3 2 8 7 3 2 7 1 3 1 7 6 4 1 6 5 0 3 0 2 1", " 0 13 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 3 3 7 3 8 3 8 3 2 3 8 2 9 3 9 2 1 3 9 1 0 3 9 0 10 3 10 0 6 5 6 7 8 9 10", " 0 15 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 3 3 7 3 8 3 8 3 2 3 8 2 9 3 9 2 1 3 9 1 0 3 9 0 10 3 10 0 6 3 10 6 7 3 10 7 8 3 8 9 10", " 0 13 6 0 3 7 10 6 2 3 0 2 1 3 1 2 6 3 1 6 5 3 5 6 10 3 5 10 9 3 9 10 7 3 9 7 8 3 8 7 3 3 8 3 4 3 4 3 0 3 4 0 1 5 1 5 9 8 4", " 0 16 6 3 7 11 6 2 0 3 3 0 1 3 1 0 2 3 1 2 5 3 5 2 6 3 5 6 10 3 10 6 11 3 10 11 8 3 8 11 7 3 8 7 4 3 4 7 3 3 4 3 1 4 4 1 5 9 3 9 5 10 3 9 10 8 3 8 4 9", " 0 14 6 6 7 9 3 4 10 3 6 10 5 3 5 10 4 3 5 4 0 3 0 4 3 3 0 3 2 3 2 3 9 3 2 9 8 3 8 9 7 3 8 7 1 3 1 7 6 3 1 6 5 3 1 5 0 4 0 2 8 1", " 0 17 6 7 8 10 4 5 11 3 7 11 6 3 6 11 5 3 6 5 0 3 0 5 4 3 0 4 3 3 3 4 10 3 3 10 9 3 9 10 8 3 9 8 1 3 1 8 7 3 1 7 6 3 1 6 0 3 2 9 1 3 2 0 3 3 3 9 2 3 1 0 2", " 0 15 6 8 4 1 5 9 10 3 8 10 7 3 7 10 9 3 7 9 6 3 6 9 5 3 6 5 2 3 2 5 1 3 2 1 0 3 0 1 4 3 0 4 3 3 3 4 8 3 3 8 7 3 3 7 6 3 3 6 2 3 2 0 3", " 0 17 6 3 8 11 7 2 0 3 3 0 1 3 1 0 2 3 1 2 6 3 6 2 7 3 6 7 10 3 10 7 11 3 10 11 9 3 9 11 8 3 9 8 4 3 4 8 3 3 4 3 1 3 4 1 5 3 5 1 6 3 5 6 10 3 5 10 9 3 9 4 5", " 0 19 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 3 3 7 3 8 3 8 3 2 3 8 2 9 3 9 2 1 3 9 1 10 3 10 1 0 3 10 0 6 3 10 6 11 3 11 6 7 3 11 7 12 3 12 7 8 3 12 8 9 3 12 9 10 3 10 11 12", " 0 18 6 0 4 9 12 8 3 3 0 3 2 3 2 3 8 3 2 8 7 3 7 8 12 3 7 12 11 3 11 12 9 3 11 9 10 3 10 9 4 3 10 4 5 3 5 4 0 3 5 0 1 3 1 0 2 4 1 2 7 6 3 6 7 11 3 6 11 10 3 6 10 5 3 5 1 6", " 0 18 6 3 10 12 7 8 9 3 3 9 2 3 2 9 8 3 2 8 1 3 1 8 7 3 1 7 6 3 6 7 12 3 6 12 11 3 11 12 10 3 11 10 4 3 4 10 3 3 4 3 0 3 0 3 2 3 0 2 1 4 0 1 6 5 3 5 6 11 3 5 11 4 3 4 0 5", " 0 16 6 7 9 3 4 10 11 3 7 11 6 3 6 11 10 3 6 10 5 3 5 10 4 3 5 4 0 3 0 4 3 3 0 3 2 3 2 3 9 3 2 9 8 3 8 9 7 3 8 7 1 3 1 7 6 3 1 6 5 3 1 5 0 4 0 2 8 1", " 0 17 6 3 0 4 9 11 8 3 3 8 7 3 7 8 11 3 7 11 10 3 10 11 9 3 10 9 5 3 5 9 4 3 5 4 1 3 1 4 0 3 1 0 2 3 2 0 3 3 2 3 6 3 6 3 7 3 6 7 10 3 6 10 5 3 6 5 1 3 1 2 6", " 0 15 6 4 1 2 5 10 9 3 4 9 8 3 8 9 10 3 8 10 7 3 7 10 5 3 7 5 6 3 6 5 2 3 6 2 3 3 3 2 0 3 0 2 1 3 0 1 4 3 3 0 4 3 3 4 8 3 3 8 7 3 7 6 3", " 0 18 6 7 8 3 9 11 12 3 7 12 6 3 6 12 11 3 6 11 10 3 10 11 9 3 10 9 4 3 4 9 3 3 4 3 0 3 0 3 2 3 2 3 8 3 2 8 7 3 2 7 1 3 1 7 6 4 1 6 10 5 3 5 10 4 3 5 4 0 3 0 2 1 3 1 5 0", " 0 16 6 8 11 6 1 2 7 3 8 7 3 3 3 7 2 3 3 2 0 3 0 2 1 3 0 1 5 3 5 1 6 3 5 6 10 3 10 6 9 3 9 6 11 3 9 11 8 3 9 8 4 3 4 8 3 3 4 3 0 4 4 0 5 10 3 10 9 4", " 0 22 6 11 5 0 1 6 12 3 11 12 13 3 13 12 6 3 13 6 7 3 7 6 1 3 7 1 2 3 2 1 0 3 2 0 3 3 3 0 4 3 4 0 5 3 4 5 10 3 10 5 11 3 10 11 14 3 14 11 13 4 14 13 7 8 3 8 7 2 3 8 2 3 3 8 3 9 3 9 3 4 3 9 4 10 3 9 10 14 3 14 8 9", " 0 15 6 2 0 3 5 10 9 3 2 9 8 3 8 9 10 3 8 10 6 3 6 10 5 3 6 5 1 3 1 5 4 3 4 5 3 3 4 3 0 3 1 4 0 3 1 0 2 3 7 6 1 3 7 2 8 3 8 6 7 3 1 2 7", " 0 15 6 5 9 10 8 3 4 3 5 4 0 3 0 4 3 3 0 3 2 3 2 3 8 3 2 8 1 3 1 8 7 3 7 8 10 3 7 10 9 3 7 9 6 3 6 9 5 3 6 5 1 3 1 5 0 3 1 7 6 3 0 2 1", " 0 16 6 2 6 11 5 1 0 3 2 0 3 3 3 0 1 3 3 1 4 3 4 1 5 3 4 5 9 3 9 5 10 3 10 5 11 3 10 11 6 3 10 6 7 3 7 6 2 3 7 2 8 3 8 2 3 4 8 3 4 9 3 9 10 7 3 7 8 9", " 0 16 6 9 10 5 1 6 11 3 9 11 7 3 7 11 6 3 7 6 2 3 2 6 1 3 2 1 0 3 0 1 4 3 4 1 5 3 4 5 10 3 4 10 3 3 3 10 9 3 3 9 8 3 8 9 7 3 8 7 2 4 3 8 2 0 3 0 4 3", " 0 17 6 7 8 9 4 10 11 3 7 11 6 3 6 11 10 3 6 10 5 3 5 10 4 3 5 4 0 3 0 4 3 3 3 4 9 3 3 9 8 3 3 8 2 3 2 8 7 3 2 7 1 3 1 7 6 3 1 6 5 3 1 5 0 3 2 1 0 3 0 3 2", " 0 20 6 9 13 7 1 2 8 3 9 8 3 3 3 8 2 3 3 2 0 3 0 2 1 3 0 1 5 3 5 1 6 3 6 1 7 3 6 7 13 3 6 13 12 3 12 13 11 3 11 13 9 3 11 9 10 3 10 9 3 4 10 3 0 4 3 4 0 5 3 5 6 12 3 4 5 12 3 4 12 11 3 11 10 4", " 0 20 6 3 10 13 7 8 9 3 3 9 2 3 2 9 8 3 2 8 1 3 1 8 7 3 1 7 6 3 6 7 12 3 12 7 13 3 12 13 10 3 12 10 11 3 11 10 4 3 4 10 3 3 4 3 0 3 0 3 2 3 0 2 1 4 0 1 6 5 3 6 12 11 3 5 6 11 3 5 11 4 3 4 0 5", " 0 18 6 6 12 10 3 4 11 3 6 11 5 3 5 11 4 3 5 4 0 3 0 4 3 3 0 3 2 3 2 3 9 3 9 3 10 3 9 10 12 3 9 12 8 3 8 12 7 3 7 12 6 3 7 6 1 3 1 6 5 3 1 5 0 3 1 0 2 4 8 7 1 2 3 2 9 8", " 0 15 6 1 6 10 9 4 5 3 1 5 0 3 0 5 4 3 0 4 3 3 3 4 9 3 3 9 2 3 2 9 8 3 8 9 10 3 8 10 7 3 7 10 6 3 7 6 1 3 7 1 2 3 2 1 0 3 2 8 7 3 0 3 2", " 0 16 6 0 2 7 11 6 1 3 0 1 5 3 5 1 6 3 5 6 10 3 10 6 11 3 10 11 9 3 9 11 8 3 8 11 7 3 8 7 3 3 3 7 2 3 3 2 0 3 3 0 4 3 4 0 5 4 4 5 10 9 3 8 3 4 3 4 9 8", " 0 20 6 1 6 11 10 4 5 3 1 5 0 3 0 5 4 3 0 4 3 3 3 4 10 3 3 10 9 3 9 10 13 3 13 10 11 3 13 11 12 3 12 11 6 3 12 6 7 3 7 6 1 3 7 1 2 3 2 1 0 4 2 0 3 9 3 2 9 8 3 8 9 13 3 8 13 12 3 8 12 7 3 7 2 8", " 0 20 6 2 3 9 12 13 8 3 2 8 7 3 7 8 13 3 7 13 6 3 6 13 12 3 6 12 11 3 11 12 10 3 10 12 9 3 10 9 4 3 4 9 3 3 4 3 0 3 0 3 2 3 0 2 1 3 1 2 7 3 1 7 6 4 1 6 11 5 3 0 1 5 3 4 0 5 3 10 4 5 3 5 11 10", " 0 20 6 8 13 11 5 6 12 3 8 12 7 3 7 12 6 3 7 6 1 3 1 6 5 3 1 5 0 3 0 5 4 3 4 5 11 3 4 11 10 3 10 11 13 3 10 13 9 3 9 13 8 3 9 8 2 3 2 8 7 3 2 7 1 3 2 1 0 4 9 2 0 3 3 3 0 4 3 3 4 10 3 10 9 3", " 0 18 6 5 10 9 4 0 1 3 5 1 2 3 2 1 0 3 2 0 3 3 3 0 4 3 3 4 7 3 7 4 8 3 8 4 9 3 8 9 12 3 12 9 10 3 12 10 11 3 11 10 5 3 11 5 6 3 6 5 2 3 6 2 3 3 6 3 7 3 11 6 7 4 7 8 12 11", " 0 24 6 4 12 15 9 10 11 3 4 11 3 3 3 11 10 3 3 10 2 3 2 10 9 3 2 9 8 3 8 9 14 3 14 9 15 3 14 15 13 3 13 15 12 3 13 12 6 3 6 12 5 3 5 12 4 3 5 4 0 3 0 4 3 3 0 3 2 4 0 2 8 1 3 5 0 1 3 6 5 1 3 1 8 7 3 7 8 14 3 7 14 13 3 7 13 6 3 6 1 7", " 0 13 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 8 3 8 4 3 3 8 3 1 3 3 2 1 3 8 1 0 3 9 7 8 3 9 0 6 3 6 7 9 3 8 0 9", " 0 11 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 8 3 8 4 3 3 8 3 1 3 3 2 1 3 8 1 0 3 7 8 0 3 0 6 7", " 0 13 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 8 3 8 4 3 3 8 3 2 3 7 8 2 3 7 2 9 3 9 2 1 3 9 1 0 3 7 9 0 3 0 6 7", " 0 16 6 10 9 3 0 1 4 3 10 4 5 3 5 4 1 3 5 1 6 3 6 1 2 3 2 1 0 3 2 0 3 3 2 3 7 3 7 3 8 3 8 3 9 3 8 9 10 3 8 10 11 3 11 10 5 4 11 5 6 7 3 6 2 7 3 7 8 11", " 0 17 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 8 3 8 4 3 3 8 3 2 3 8 2 9 3 9 2 10 3 10 2 1 3 10 1 0 3 10 0 11 3 11 0 6 3 11 6 7 3 11 7 9 3 7 8 9 3 9 10 11", " 0 18 6 7 9 3 10 11 12 3 7 12 6 3 6 12 11 3 6 11 5 3 5 11 4 3 4 11 10 3 4 10 3 3 4 3 0 3 0 3 2 3 2 3 9 3 2 9 8 3 8 9 7 3 8 7 1 3 1 7 6 3 1 6 5 3 1 5 0 3 5 4 0 4 0 2 8 1", " 0 15 6 6 2 0 3 7 10 3 6 10 9 3 9 10 7 3 9 7 8 3 8 7 4 3 4 7 3 3 4 3 1 3 1 3 0 3 1 0 2 3 1 2 5 3 5 2 6 3 5 6 8 3 6 9 8 3 4 1 5 3 5 8 4", " 0 16 6 6 2 0 3 7 11 3 6 11 10 3 10 11 7 3 10 7 8 3 8 7 4 3 4 7 3 3 4 3 1 3 1 3 0 3 1 0 2 3 1 2 5 3 5 2 6 3 5 6 9 3 9 6 10 3 9 10 8 4 5 9 8 4 3 4 1 5", " 0 18 6 5 1 0 2 6 11 3 5 11 10 3 10 11 6 3 10 6 12 3 12 6 7 3 7 6 2 3 7 2 3 3 3 2 0 3 3 0 1 3 3 1 4 3 4 1 5 3 4 5 9 3 9 5 10 3 9 10 12 3 9 12 8 3 8 12 7 4 8 7 3 4 3 4 9 8", " 0 19 6 6 1 0 2 7 12 3 6 12 11 3 11 12 7 3 11 7 10 3 10 7 8 3 8 7 2 3 8 2 3 3 3 2 0 3 3 0 4 3 4 0 1 3 4 1 5 3 5 1 6 3 5 6 10 3 6 11 10 3 5 10 9 3 9 10 8 3 9 8 3 3 9 3 4 3 4 5 9", " 0 20 6 5 6 12 13 10 11 3 5 11 4 3 4 11 10 3 4 10 3 3 3 10 9 3 9 10 13 3 9 13 8 3 8 13 12 3 8 12 7 3 7 12 6 3 7 6 1 3 1 6 5 3 1 5 0 3 0 5 4 3 0 4 3 4 0 3 9 2 3 2 9 8 3 2 8 7 3 2 7 1 3 1 0 2", " 0 20 6 1 2 8 12 11 7 3 1 7 6 3 6 7 11 3 6 11 10 3 10 11 13 3 13 11 12 3 13 12 9 3 9 12 8 3 9 8 3 3 3 8 2 3 3 2 0 3 0 2 1 3 0 1 5 3 5 1 6 3 5 6 10 3 5 10 4 4 4 10 13 9 3 4 9 3 3 4 3 0 3 0 5 4", " 0 20 6 6 1 2 7 13 12 3 6 12 11 3 11 12 13 3 11 13 9 3 9 13 8 3 8 13 7 3 8 7 3 3 3 7 2 3 3 2 0 3 0 2 1 3 0 1 5 3 5 1 6 3 5 6 10 3 10 6 11 3 10 11 9 3 10 9 4 3 4 9 8 4 4 8 3 0 3 4 0 5 3 5 10 4", " 0 24 6 7 1 2 8 14 13 3 7 13 12 3 12 13 14 3 12 14 15 3 15 14 9 3 9 14 8 3 9 8 3 3 3 8 2 3 3 2 0 3 0 2 1 3 0 1 5 3 5 1 6 3 6 1 7 3 6 7 11 3 11 7 12 3 11 12 15 3 11 15 10 4 10 15 9 4 3 4 9 3 3 4 3 0 3 4 0 5 3 6 11 10 3 5 6 10 3 10 4 5", " 0 22 6 3 9 13 12 7 8 3 3 8 2 3 2 8 7 3 2 7 1 3 1 7 6 3 6 7 12 3 6 12 11 3 11 12 14 3 14 12 13 3 14 13 9 3 14 9 10 3 10 9 4 3 4 9 3 3 4 3 0 3 0 3 2 3 0 2 1 4 0 1 6 5 3 5 6 11 3 11 14 10 3 5 11 10 3 5 10 4 3 4 0 5", " 0 22 6 1 0 2 9 13 8 3 1 8 7 3 7 8 13 3 7 13 12 3 12 13 14 3 14 13 9 3 14 9 10 3 10 9 3 3 3 9 2 3 3 2 0 3 3 0 4 3 4 0 5 3 5 0 1 3 5 1 6 3 6 1 7 3 6 7 12 3 6 12 11 4 11 12 14 10 3 10 3 4 3 11 10 4 3 11 4 5 3 5 6 11", " 0 12 6 3 8 7 1 2 0 3 4 3 0 3 9 3 4 3 7 3 9 3 7 8 3 3 6 7 9 3 1 7 6 3 5 1 6 3 0 1 5 3 0 2 1 3 4 0 5 4 5 6 9 4", " 0 15 6 5 9 6 7 10 8 3 4 5 8 3 1 5 4 3 6 5 1 3 6 9 5 3 2 6 1 3 7 6 2 3 3 7 2 3 8 7 3 3 8 10 7 3 4 8 3 3 3 2 0 3 1 4 0 3 0 2 1 3 0 4 3", " 0 17 6 6 9 8 4 5 1 3 6 1 2 3 2 1 0 3 0 1 5 3 0 5 4 3 0 4 3 3 3 4 8 3 3 8 7 3 7 8 11 3 11 8 9 3 11 9 10 3 10 9 6 3 10 6 7 3 7 6 2 3 7 11 10 3 2 0 3 3 3 7 2", " 0 22 6 8 9 10 11 14 13 3 8 13 7 3 7 13 12 3 12 13 14 3 12 14 11 3 12 11 6 3 6 11 10 3 6 10 5 3 5 10 4 3 4 10 9 3 4 9 3 3 3 9 8 3 3 8 2 3 2 8 7 3 2 7 1 4 1 7 12 6 3 1 6 5 3 1 5 0 3 0 5 4 3 0 4 3 3 0 3 2 3 2 1 0", " 0 13 6 1 6 8 9 7 5 3 1 5 4 3 4 5 3 3 3 5 7 3 3 7 2 3 2 7 6 3 6 7 9 3 2 6 1 3 9 8 6 3 0 3 2 3 0 1 4 3 4 3 0 3 2 1 0", " 0 11 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 8 3 8 4 3 5 8 3 0 6 9 3 0 3 2 3 9 6 7 3 2 1 0 3 7 8 9", " 0 13 6 5 1 2 0 3 6 3 5 6 10 3 10 6 7 3 7 6 3 3 7 3 4 3 4 3 0 5 4 0 5 9 8 3 1 5 0 3 9 5 10 3 0 2 1 3 8 9 10 3 8 10 7 3 7 4 8", " 0 11 6 3 8 4 0 5 7 3 3 7 2 3 2 7 6 3 6 7 5 3 6 5 1 3 1 5 0 3 1 0 2 3 3 2 0 3 2 6 1 3 3 0 4 3 4 8 3", " 0 11 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 8 3 8 4 3 3 8 3 2 3 8 2 0 3 2 1 0 3 8 0 6 3 6 7 8", " 0 15 6 6 10 9 5 1 2 3 6 2 3 3 3 2 0 3 0 2 1 3 0 1 4 3 4 1 5 3 4 5 8 3 8 5 9 3 8 9 10 3 8 10 7 3 7 10 6 3 7 6 3 3 8 7 3 3 4 8 3 3 3 0 4", " 0 18 6 5 1 6 11 12 10 3 5 10 4 3 4 10 9 3 9 10 12 3 9 12 8 3 8 12 11 3 8 11 7 3 7 11 6 3 7 6 2 3 2 6 1 3 2 1 0 3 0 1 5 3 0 5 4 4 0 4 9 3 3 3 9 8 3 3 8 7 3 3 7 2 3 2 0 3", " 0 19 6 9 3 0 4 10 12 3 9 12 7 3 7 12 11 3 11 12 10 3 11 10 5 3 5 10 4 3 5 4 1 3 1 4 0 3 1 0 2 3 2 0 3 3 2 3 8 3 8 3 9 3 8 9 7 3 2 8 7 3 2 7 6 3 6 7 11 3 6 11 5 3 6 5 1 3 1 2 6", " 0 19 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 8 3 8 4 3 3 8 3 9 3 9 3 2 3 9 2 10 3 10 2 1 3 10 1 11 3 11 1 0 3 11 0 6 3 11 6 12 3 12 6 7 3 12 7 8 3 12 8 9 3 12 9 10 3 10 11 12", " 0 22 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 8 3 8 4 3 3 8 3 9 3 9 3 2 3 9 2 10 3 10 2 1 3 10 1 11 3 11 1 0 3 11 0 12 3 12 0 6 3 12 6 13 3 13 6 7 3 13 7 8 4 13 8 9 14 3 14 9 10 3 14 10 11 3 14 11 12 3 12 13 14", " 0 24 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 8 3 8 4 3 3 8 3 9 3 9 3 10 3 10 3 2 3 10 2 11 3 11 2 1 3 11 1 12 3 12 1 0 3 12 0 13 3 13 0 6 3 13 6 14 3 14 6 7 3 14 7 8 3 14 8 9 4 13 14 9 15 3 15 9 10 3 15 10 11 3 15 11 12 3 12 13 15", " 0 15 6 2 9 10 3 4 8 3 2 8 1 3 1 8 7 3 7 8 4 3 7 4 5 3 5 4 0 3 0 4 3 3 0 3 2 3 9 2 3 3 0 2 1 3 3 10 9 3 6 5 0 3 6 1 7 3 7 5 6 3 0 1 6", " 0 13 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 8 3 8 4 9 3 9 4 3 3 9 3 1 3 3 2 1 3 9 1 0 3 8 9 0 3 8 0 6 3 6 7 8", " 0 15 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 8 3 8 4 9 3 9 4 3 3 9 3 2 3 9 2 1 3 9 1 10 3 8 9 10 3 10 1 0 3 8 10 0 3 8 0 6 3 6 7 8", " 0 15 6 6 1 0 2 3 7 3 6 7 10 3 10 7 8 3 8 7 4 3 4 7 3 3 4 3 1 3 0 1 3 3 4 1 5 3 3 2 0 3 5 1 6 3 5 6 9 3 9 6 10 3 9 10 8 3 8 4 5 3 5 9 8", // }; /* Added Oct 26, 1997 }; //Generator complete. All 6-gons determined -- sort $Revision: 1.2 $ -- size = 176 recent size = 429 -- arrange $Revision: 1.2 $ -- -- arrangeInvariant $Revision: 1.2 $ -- //// combined size = 427 //// addition size = 253 public class graphUNKNOWN { final static String data[] = { */ " 0 11 6 9 6 2 0 3 7 5 9 7 3 4 8 3 4 3 0 3 4 0 1 3 1 0 2 3 1 2 6 3 1 6 5 3 4 1 5 3 8 4 5 3 9 8 5 3 5 6 9", " 0 11 6 8 4 0 1 5 9 5 8 9 5 6 7 3 6 5 1 3 6 1 2 3 2 1 0 3 2 0 3 3 3 0 4 3 3 4 8 3 3 8 7 3 2 3 7 3 7 6 2", " 0 15 6 0 1 5 10 9 4 5 0 4 9 8 3 3 8 9 10 3 8 10 11 3 11 10 5 3 11 5 6 3 6 5 1 3 6 1 2 3 2 1 0 3 2 0 3 3 2 3 7 3 6 2 7 3 11 6 7 3 8 11 7 3 7 3 8", " 0 13 6 2 5 10 4 1 0 5 2 0 1 3 7 3 3 1 4 3 3 4 8 3 8 4 9 3 9 4 10 3 9 10 5 3 9 5 6 3 8 9 6 3 6 5 2 3 6 2 7 3 8 6 7 3 7 3 8", " 0 11 6 5 1 0 2 6 9 5 5 9 6 7 8 3 7 6 3 3 3 6 2 3 3 2 1 3 2 0 1 3 3 1 4 3 4 1 5 3 7 3 4 3 8 7 4 3 4 5 8", " 0 11 6 8 9 4 5 1 6 5 8 6 1 2 7 3 2 1 0 3 0 1 5 3 0 5 4 3 0 4 3 3 2 0 3 3 3 4 8 3 4 9 8 3 3 8 7 3 7 2 3", " 0 13 6 0 4 8 10 7 3 5 0 3 7 6 2 3 6 7 9 3 9 7 10 3 9 10 8 3 9 8 5 3 6 9 5 3 5 8 4 3 5 4 1 3 6 5 1 3 2 6 1 3 0 2 1 3 1 4 0", " 0 13 6 2 6 10 5 1 0 5 2 0 1 3 8 3 3 1 4 3 4 1 5 3 4 5 10 3 4 10 9 3 3 4 9 3 9 10 7 3 7 10 6 3 7 6 2 3 7 2 8 3 9 7 8 3 8 3 9", " 0 15 6 5 1 0 2 6 10 5 5 10 6 11 9 3 11 6 7 3 7 6 2 3 7 2 3 3 3 2 1 3 2 0 1 3 3 1 4 3 4 1 5 3 4 5 9 3 4 9 8 3 3 4 8 3 7 3 8 3 11 7 8 3 8 9 11", " 0 15 6 7 11 10 5 1 6 5 7 6 1 0 2 3 0 1 4 3 4 1 5 3 4 5 9 3 9 5 10 3 9 10 8 3 8 10 7 3 10 11 7 3 8 7 2 3 8 2 3 3 9 8 3 3 4 9 3 3 0 4 3 3 3 2 0", " 0 11 6 3 4 7 9 8 6 5 3 6 5 1 2 3 5 6 7 3 7 6 8 3 5 7 4 3 8 9 7 3 5 4 0 3 1 5 0 3 0 4 3 3 0 3 2 3 2 1 0", " 0 11 6 3 7 6 2 0 1 5 3 1 4 5 9 3 4 1 2 3 1 0 2 3 5 4 2 3 5 2 6 3 5 6 8 3 9 5 8 3 8 6 7 3 8 7 3 3 3 9 8", " 0 11 6 4 5 8 6 9 7 5 4 7 3 0 1 3 3 7 6 3 7 9 6 3 3 6 5 3 6 8 5 3 3 5 2 3 2 5 4 3 0 3 2 3 1 0 2 3 2 4 1", " 0 11 6 8 6 1 2 7 3 5 8 3 0 4 9 3 0 3 2 3 3 7 2 3 0 2 1 3 4 0 1 3 4 1 5 3 5 1 6 3 5 6 8 3 5 8 9 3 9 4 5", " 0 11 6 0 1 2 3 4 5 5 0 5 6 7 8 3 6 5 3 3 5 4 3 3 6 3 2 3 6 2 9 3 7 6 9 3 9 2 0 3 2 1 0 3 9 0 8 3 8 7 9", " 0 13 6 1 5 10 8 9 4 5 1 4 7 3 0 3 7 4 8 3 4 9 8 3 7 8 10 3 7 10 6 3 3 7 6 3 6 10 5 3 6 5 2 3 3 6 2 3 2 5 1 3 2 1 0 3 0 3 2", " 0 13 6 4 5 6 9 10 8 5 4 8 7 3 0 3 7 8 9 3 8 10 9 3 7 9 6 3 7 6 2 3 3 7 2 3 2 6 1 3 1 6 5 3 1 5 4 3 1 4 0 3 2 1 0 3 0 3 2", " 0 17 6 4 5 10 11 12 9 5 4 9 8 3 0 3 8 9 11 3 9 12 11 3 8 11 10 3 8 10 7 3 3 8 7 3 7 10 6 3 6 10 5 3 6 5 1 3 1 5 4 3 1 4 0 3 1 0 2 3 6 1 2 3 7 6 2 3 3 7 2 3 2 0 3", " 0 11 6 2 0 1 3 7 6 5 2 6 8 9 5 3 8 6 3 3 6 7 3 3 8 3 4 3 4 3 1 3 4 1 5 3 2 5 1 3 4 5 9 3 1 0 2 3 9 8 4", " 0 13 6 0 1 2 3 4 5 5 0 5 6 7 8 3 6 5 3 3 5 4 3 3 6 3 9 3 9 3 2 3 9 2 10 3 10 2 0 3 2 1 0 3 10 0 8 3 10 8 7 3 9 10 7 3 7 6 9", " 0 15 6 4 5 6 10 11 9 5 4 9 8 3 0 3 8 9 10 3 9 11 10 3 8 10 7 3 7 10 6 3 7 6 2 3 2 6 1 3 1 6 5 3 1 5 4 3 1 4 0 3 2 1 0 3 2 0 3 3 7 2 3 3 3 8 7", " 0 11 6 3 4 5 1 6 8 5 3 8 9 7 2 3 9 8 6 3 7 9 6 3 2 7 6 3 2 6 1 3 2 1 0 3 3 2 0 3 0 1 5 3 0 5 4 3 4 3 0", " 0 11 6 7 8 4 9 5 6 5 7 6 1 0 2 3 1 6 5 3 0 1 5 3 0 5 4 3 5 9 4 3 0 4 3 3 3 4 8 3 2 0 3 3 7 2 3 3 3 8 7", " 0 11 6 5 1 2 3 6 8 5 5 8 9 7 4 3 9 8 6 3 7 9 6 3 7 6 3 3 4 7 3 3 4 3 0 3 0 3 2 3 0 2 1 3 0 1 5 3 5 4 0", " 0 11 6 4 0 1 2 5 8 5 4 8 9 6 7 3 9 8 5 3 6 9 5 3 6 5 2 3 6 2 3 3 7 6 3 3 3 2 0 3 2 1 0 3 3 0 4 3 4 7 3", " 0 11 6 7 9 6 1 0 2 5 7 2 3 4 8 3 3 2 0 3 4 3 0 3 4 0 1 3 4 1 5 3 8 4 5 3 5 1 6 3 5 6 9 3 8 5 9 3 9 7 8", " 0 13 6 1 0 2 6 10 5 5 1 5 9 8 4 3 9 5 10 3 8 9 10 3 8 10 6 3 8 6 7 3 4 8 7 3 7 6 2 3 7 2 3 3 4 7 3 3 3 2 0 3 3 0 1 3 1 4 3", " 0 15 6 4 5 11 7 8 10 5 4 10 9 3 0 3 9 10 8 3 3 9 8 3 3 8 7 3 3 7 2 3 0 3 2 3 2 7 6 3 6 7 11 3 6 11 5 3 6 5 1 3 2 6 1 3 0 2 1 3 4 0 1 3 1 5 4", " 0 11 6 0 1 2 3 4 5 5 0 5 6 7 8 3 6 5 4 3 7 6 4 3 7 4 9 3 9 4 3 3 9 3 0 3 1 0 3 3 9 0 8 3 3 2 1 3 8 7 9", " 0 13 6 4 9 10 8 3 1 5 4 1 0 2 5 3 0 1 3 3 2 0 3 3 2 3 7 3 7 3 8 3 7 8 10 3 7 10 6 3 2 7 6 3 5 2 6 3 6 10 9 3 5 6 9 3 9 4 5", " 0 13 6 7 2 3 0 4 8 5 7 8 9 10 6 3 9 8 4 3 10 9 4 3 10 4 5 3 5 4 0 3 5 0 1 3 1 0 2 3 0 3 2 3 1 2 7 3 1 7 6 3 5 1 6 3 6 10 5", " 0 11 6 0 1 2 3 4 5 5 0 5 6 7 8 3 6 5 4 3 6 4 1 3 2 1 4 3 6 1 9 3 4 3 2 3 9 1 0 3 7 6 9 3 8 7 9 3 9 0 8", " 0 11 6 2 6 4 5 1 0 5 2 0 3 8 7 3 3 0 1 3 3 1 4 3 1 5 4 3 3 4 9 3 9 4 6 3 8 3 9 3 9 6 7 3 6 2 7 3 7 8 9", " 0 13 6 8 9 5 10 6 7 5 8 7 1 0 2 3 1 7 6 3 1 6 5 3 6 10 5 3 1 5 4 3 4 5 9 3 0 1 4 3 4 9 3 3 0 4 3 3 3 9 8 3 3 8 2 3 2 0 3", " 0 11 6 5 1 0 2 6 9 5 5 9 7 3 8 3 7 9 6 3 7 6 2 3 3 7 2 3 3 2 0 3 3 0 4 3 8 3 4 3 4 0 1 3 4 1 5 3 5 8 4", " 0 11 6 7 8 9 4 5 6 5 7 6 1 0 2 3 1 6 5 3 1 5 4 3 0 1 4 3 0 4 3 3 3 4 9 3 3 9 8 3 3 8 2 3 8 7 2 3 2 0 3", " 0 13 6 2 3 7 8 10 6 5 2 6 9 5 1 3 9 6 10 3 9 10 8 3 5 9 8 3 5 8 4 3 4 8 7 3 4 7 3 3 4 3 0 3 5 4 0 3 1 5 0 3 2 1 0 3 0 3 2", " 0 13 6 1 4 9 8 3 0 5 1 0 2 7 6 3 2 0 3 3 2 3 8 3 7 2 8 3 7 8 10 3 10 8 9 3 10 9 5 3 5 9 4 3 5 4 1 3 5 1 6 3 10 5 6 3 6 7 10", " 0 17 6 10 12 7 2 8 9 5 10 9 3 0 4 3 3 9 8 3 3 8 2 3 0 3 2 3 0 2 1 3 1 2 7 3 1 7 6 3 6 7 12 3 6 12 11 3 11 12 10 3 11 10 4 3 11 4 5 3 6 11 5 3 1 6 5 3 0 1 5 3 5 4 0", " 0 11 6 2 0 3 7 9 6 5 2 6 8 4 5 3 8 6 9 3 8 9 7 3 8 7 3 3 4 8 3 3 4 3 1 3 1 3 0 3 1 0 2 3 1 2 5 3 5 4 1", " 0 13 6 10 9 4 5 6 7 5 10 7 1 2 8 3 1 7 6 3 1 6 5 3 1 5 0 3 2 1 0 3 0 5 4 3 0 4 3 3 2 0 3 3 3 4 9 3 3 9 8 3 9 10 8 3 8 2 3", " 0 15 6 3 4 9 10 11 8 5 3 8 7 1 2 3 7 8 11 3 7 11 10 3 7 10 6 3 1 7 6 3 6 10 9 3 6 9 5 3 1 6 5 3 5 9 4 3 5 4 0 3 1 5 0 3 2 1 0 3 3 2 0 3 0 4 3", " 0 11 6 8 7 2 0 1 3 5 8 3 4 9 6 3 4 3 1 3 4 1 5 3 5 1 2 3 1 0 2 3 5 2 6 3 6 2 7 3 5 6 9 3 7 8 6 3 9 4 5", " 0 13 6 10 5 1 0 2 6 5 10 6 7 8 9 3 7 6 2 3 7 2 3 3 3 2 1 3 2 0 1 3 3 1 4 3 4 1 5 3 4 5 9 3 5 10 9 3 4 9 8 3 3 4 8 3 8 7 3", " 0 11 6 0 1 2 3 4 5 5 0 5 6 7 8 3 6 5 4 3 6 4 9 3 9 4 3 3 9 3 8 3 0 8 3 3 9 8 7 3 7 6 9 3 0 3 2 3 2 1 0", " 0 11 6 6 7 2 0 3 8 5 6 8 9 5 1 3 9 8 3 3 9 3 4 3 4 3 0 3 4 0 1 3 1 0 2 3 4 1 5 3 5 9 4 3 6 1 2 3 2 7 6", " 0 13 6 7 10 9 5 1 6 5 7 6 2 3 4 3 2 6 1 3 2 1 0 3 0 1 5 3 0 5 4 3 4 5 8 3 0 4 3 3 3 2 0 3 8 5 9 3 7 4 8 3 10 7 8 3 8 9 10", " 0 13 6 10 9 3 4 5 6 5 10 6 1 2 7 3 1 6 5 3 1 5 0 3 0 5 4 3 0 4 3 3 0 3 2 3 2 3 8 3 2 1 0 3 8 3 9 3 7 2 8 3 10 7 8 3 8 9 10", " 0 13 6 3 4 0 5 9 8 5 3 8 10 7 2 3 10 8 9 3 10 9 6 3 6 9 5 3 6 5 1 3 1 5 0 3 1 0 2 3 3 2 0 3 1 2 7 3 0 4 3 3 6 1 7 3 7 10 6", " 0 15 6 5 9 8 4 0 1 5 5 1 2 6 10 3 2 1 0 3 2 0 3 3 3 0 4 3 3 4 7 3 7 4 8 3 7 8 11 3 11 8 9 3 11 9 10 3 9 5 10 3 11 10 6 3 7 11 6 3 3 7 6 3 6 2 3", " 0 13 6 0 1 2 3 4 5 5 0 5 6 7 8 3 6 5 4 3 6 4 9 3 9 4 10 3 10 4 3 3 10 3 0 3 1 0 3 3 10 0 8 3 3 2 1 3 9 10 8 3 9 8 7 3 7 6 9", " 0 11 6 0 1 2 3 4 5 5 0 5 6 7 8 3 6 5 9 3 9 5 4 3 9 4 8 3 0 8 4 3 9 8 7 3 7 6 9 3 0 4 3 3 1 0 3 3 3 2 1", " 0 13 6 4 8 10 9 6 7 5 4 7 3 0 1 3 3 7 2 3 2 7 6 3 2 6 1 3 1 6 5 3 2 1 0 3 0 3 2 3 5 6 9 3 4 1 5 3 5 9 8 3 9 10 8 3 8 4 5", " 0 15 6 1 6 7 8 11 5 5 1 5 10 4 0 3 10 5 9 3 9 5 11 3 9 11 8 3 9 8 4 3 4 8 3 3 4 10 9 3 3 8 7 3 0 4 3 3 3 7 2 3 0 3 2 3 2 7 6 3 2 6 1 3 1 0 2", " 0 15 6 8 7 3 0 1 4 5 8 4 5 9 11 3 5 4 2 3 2 4 1 3 2 1 0 3 2 0 3 3 5 2 3 3 5 3 6 3 6 3 7 3 9 5 6 3 6 7 10 3 9 6 10 3 10 7 8 3 10 8 11 3 11 9 10", " 0 13 6 0 1 2 3 4 5 5 0 5 6 7 8 3 6 5 9 3 9 5 4 3 9 4 10 3 10 4 3 3 10 3 8 3 0 8 3 3 10 8 7 3 0 3 2 3 2 1 0 3 9 10 7 3 7 6 9", " 0 15 6 0 1 2 3 4 5 5 0 5 6 7 8 3 6 5 9 3 9 5 4 3 9 4 10 3 10 4 3 3 10 3 8 3 0 8 3 3 10 8 11 3 0 3 2 3 2 1 0 3 11 8 7 3 9 10 11 3 6 9 11 3 11 7 6", " 0 15 6 0 1 2 3 4 5 5 0 5 6 7 8 3 6 5 9 3 9 5 4 3 9 4 10 3 10 4 11 3 11 4 3 3 11 3 0 3 1 0 3 3 11 0 8 3 3 2 1 3 10 11 8 3 10 8 7 3 9 10 7 3 7 6 9", " 0 20 6 6 11 4 0 5 1 4 6 1 0 2 3 1 5 0 3 2 0 3 3 3 0 4 3 3 4 9 3 9 4 10 3 10 4 11 3 10 11 12 3 12 11 6 3 12 6 7 3 7 6 2 3 7 2 8 3 8 2 3 3 8 3 9 3 8 9 13 3 13 9 10 3 13 10 12 3 13 12 7 3 7 8 13", " 0 12 6 1 3 7 6 2 0 4 1 0 2 5 3 5 2 6 3 5 6 9 3 9 6 8 3 8 6 7 3 8 7 3 3 8 3 4 3 4 3 1 3 4 1 5 3 4 5 9 3 9 8 4", " 0 18 6 4 9 8 3 0 1 4 4 1 0 2 3 2 0 3 3 2 3 6 3 6 3 7 3 7 3 8 3 7 8 12 3 12 8 9 3 12 9 10 3 10 9 4 3 10 4 5 3 5 4 2 3 5 2 6 3 5 6 11 3 11 6 7 3 11 7 12 3 11 12 10 3 10 5 11", " 0 12 6 7 2 0 3 8 9 4 7 9 8 5 3 5 8 4 3 4 8 3 3 4 3 0 3 4 0 1 3 1 0 2 3 1 2 6 3 6 2 7 3 6 7 5 3 1 6 5 3 5 4 1", " 0 12 6 7 8 4 5 6 9 4 7 9 6 2 3 2 6 1 3 1 6 5 3 1 5 4 3 1 4 0 3 0 4 3 3 3 4 8 3 3 8 7 3 3 7 2 3 0 3 2 3 2 1 0", " 0 12 6 8 5 1 2 6 9 4 8 9 6 7 3 7 6 3 3 3 6 2 3 3 2 0 3 0 2 1 3 0 1 5 3 0 5 4 3 4 5 8 3 4 8 7 3 4 7 3 3 3 0 4", " 0 14 6 1 2 6 10 9 5 4 1 5 9 4 3 4 9 8 3 8 9 10 3 8 10 7 3 7 10 6 3 7 6 2 3 7 2 3 3 3 2 0 3 0 2 1 3 0 1 4 3 3 0 4 3 3 4 8 3 8 7 3", " 0 13 6 5 9 8 3 0 4 4 5 4 0 1 3 1 0 2 3 2 0 3 3 2 3 7 3 7 3 8 3 7 8 10 3 10 8 9 4 10 9 5 6 3 6 5 1 3 6 1 2 3 6 2 7 3 7 10 6", " 0 13 6 5 1 2 6 10 9 4 5 9 10 8 3 8 10 7 3 7 10 6 3 7 6 3 3 3 6 2 3 3 2 0 3 0 2 1 3 0 1 5 4 0 5 8 4 3 3 0 4 3 7 3 4 3 4 8 7", " 0 15 6 8 11 7 2 0 3 4 8 3 0 4 3 4 0 1 3 1 0 2 3 1 2 6 3 6 2 7 3 6 7 10 3 10 7 11 3 10 11 9 3 9 11 8 4 9 8 4 5 3 5 4 1 3 5 1 6 3 5 6 10 3 10 9 5", " 0 12 6 1 3 8 7 2 0 4 1 0 2 5 3 5 2 6 3 6 2 7 3 6 7 10 3 10 7 8 3 10 8 9 3 9 8 3 3 9 3 4 3 4 3 1 3 4 1 5 5 5 6 10 9 4", " 0 15 6 10 7 2 3 8 11 4 10 11 8 9 3 9 8 4 3 4 8 3 3 4 3 0 3 0 3 2 3 0 2 1 3 1 2 7 3 1 7 6 3 6 7 10 3 6 10 9 4 6 9 4 5 3 5 4 0 3 5 0 1 3 1 6 5", " 0 13 6 0 4 8 10 7 3 4 0 3 7 2 3 2 7 6 3 6 7 10 3 6 10 9 3 9 10 8 3 9 8 5 3 5 8 4 3 5 4 1 3 1 4 0 3 1 0 2 3 1 2 6 4 6 9 5 1", " 0 16 6 5 10 9 3 0 4 4 5 4 0 1 3 1 0 2 3 2 0 3 3 2 3 8 3 8 3 9 3 8 9 11 3 11 9 10 3 11 10 6 3 6 10 5 3 6 5 1 3 6 1 7 3 7 1 2 3 7 2 8 3 7 8 11 3 11 6 7", " 0 18 6 1 7 12 11 5 6 4 1 6 5 0 3 0 5 4 3 4 5 11 3 4 11 10 3 10 11 12 3 10 12 9 3 9 12 8 3 8 12 7 3 8 7 1 3 8 1 2 3 2 1 0 3 2 0 3 3 3 0 4 3 3 4 10 3 3 10 9 3 9 8 2 3 2 3 9", " 0 16 6 8 3 0 1 4 9 4 8 9 4 10 3 10 4 5 3 5 4 1 3 5 1 6 3 6 1 2 3 2 1 0 3 2 0 3 3 2 3 7 3 7 3 8 3 7 8 11 3 11 8 10 3 6 2 7 3 6 7 11 3 5 6 11 3 11 10 5", " 0 18 6 11 7 8 3 9 12 4 11 12 9 10 3 10 9 4 3 4 9 3 3 4 3 0 3 0 3 2 3 2 3 8 3 2 8 7 3 2 7 1 3 1 7 6 3 6 7 11 3 6 11 10 3 6 10 5 3 5 10 4 3 5 4 0 3 0 2 1 3 5 0 1 3 1 6 5", " 0 16 6 0 1 2 3 4 5 4 0 5 4 6 3 6 4 7 3 7 4 8 3 8 4 3 3 8 3 2 3 8 2 9 3 9 2 10 3 10 2 1 3 10 1 0 3 10 0 11 3 11 0 6 3 7 8 9 3 9 10 11 3 7 9 11 3 11 6 7", " 0 18 6 0 1 2 3 4 5 4 0 5 4 6 3 6 4 7 3 7 4 8 3 8 4 3 3 8 3 9 3 9 3 1 3 3 2 1 3 9 1 10 3 10 1 0 3 10 0 11 3 11 0 6 3 11 6 7 3 11 7 12 3 12 7 8 3 12 8 9 3 12 9 10 3 10 11 12", " 0 12 6 7 3 0 4 8 9 4 7 9 5 6 3 5 9 4 3 9 8 4 3 5 4 0 3 5 0 1 3 6 5 1 3 1 0 2 3 2 0 3 3 2 3 7 3 2 7 6 3 6 1 2", " 0 12 6 9 4 0 1 5 6 4 9 6 7 8 3 7 6 1 3 6 5 1 3 7 1 2 3 2 1 0 3 2 0 3 3 3 0 4 3 3 4 9 3 3 9 8 3 2 3 8 3 8 7 2", " 0 16 6 6 1 0 2 7 8 4 6 8 9 11 3 9 8 2 3 8 7 2 3 9 2 3 3 3 2 0 3 3 0 4 3 4 0 1 3 4 1 5 3 5 1 6 3 5 6 11 3 5 11 10 3 4 5 10 3 3 4 10 3 9 3 10 3 10 11 9", " 0 18 6 12 8 2 3 9 10 4 12 10 4 11 3 4 10 3 3 10 9 3 3 4 3 0 3 0 3 2 3 0 2 1 3 1 2 7 3 7 2 8 3 7 8 12 3 7 12 6 3 6 12 11 3 1 7 6 3 1 6 5 3 0 1 5 3 4 0 5 3 11 4 5 3 5 6 11", " 0 20 6 13 8 2 3 9 10 4 13 10 4 11 3 4 10 3 3 10 9 3 3 4 3 0 3 0 3 2 3 0 2 1 3 1 2 7 3 7 2 8 3 7 8 12 3 12 8 13 3 12 13 11 3 12 11 6 3 7 12 6 3 1 7 6 3 6 11 5 3 5 11 4 3 5 4 0 3 5 0 1 3 1 6 5", " 0 13 6 1 2 7 8 10 6 4 1 6 9 5 3 9 6 10 4 9 10 8 4 3 4 8 3 3 3 8 7 3 3 7 2 3 3 2 0 3 4 3 0 3 5 9 4 3 5 4 0 3 1 5 0 3 0 2 1", " 0 17 6 8 12 11 7 2 3 4 8 3 0 4 3 0 3 2 4 0 2 7 1 3 1 7 6 3 6 7 11 3 6 11 10 3 10 11 12 3 10 12 9 3 9 12 8 3 9 8 4 3 9 4 5 3 10 9 5 3 4 0 1 3 5 4 1 3 5 1 6 3 6 10 5", " 0 12 6 2 8 9 5 6 7 4 2 7 1 0 3 1 7 6 3 1 6 5 3 1 5 4 3 0 1 4 3 4 5 9 3 4 9 3 3 3 9 8 3 3 8 2 3 3 2 0 3 0 4 3", " 0 12 6 7 8 9 4 5 6 4 7 6 1 2 3 1 6 5 3 1 5 4 3 1 4 0 3 2 1 0 3 0 4 3 3 3 4 9 3 3 9 8 3 3 8 2 3 8 7 2 3 2 0 3", " 0 14 6 4 5 10 7 8 9 4 4 9 3 0 3 3 9 8 3 3 8 7 3 3 7 2 3 0 3 2 3 2 7 6 3 6 7 10 3 6 10 5 3 6 5 1 3 2 6 1 3 1 5 4 3 1 4 0 3 0 2 1", " 0 14 6 8 10 5 1 6 7 4 8 7 2 3 3 2 7 6 3 2 6 1 3 2 1 0 3 3 2 0 3 0 1 4 3 4 1 5 3 4 5 9 3 9 5 10 3 9 10 8 3 9 8 3 3 4 9 3 3 3 0 4", " 0 16 6 1 0 2 7 11 6 4 1 6 10 5 3 10 6 11 3 10 11 7 3 10 7 9 3 5 10 9 3 9 7 8 3 8 7 2 3 8 2 3 3 3 2 0 3 3 0 1 3 3 1 4 3 4 1 5 3 8 3 4 3 9 8 4 3 4 5 9", " 0 18 6 11 10 5 0 1 6 4 11 6 2 7 3 2 6 1 3 2 1 0 3 2 0 3 3 7 2 3 3 3 0 4 3 4 0 5 3 4 5 9 3 9 5 10 3 9 10 12 3 12 10 11 3 12 11 7 3 12 7 8 3 8 7 3 3 9 12 8 3 4 9 8 3 8 3 4", " 0 20 6 8 9 4 10 13 12 4 8 12 11 7 3 11 12 13 3 11 13 10 3 11 10 6 3 7 11 6 3 6 10 5 3 5 10 4 3 5 4 0 3 0 4 3 3 3 4 9 3 3 9 8 3 3 8 2 3 2 8 7 3 0 3 2 3 0 2 1 3 5 0 1 3 6 5 1 3 7 6 1 3 1 2 7", " 0 15 6 0 3 8 11 7 2 4 0 2 6 1 3 6 2 7 3 6 7 10 4 10 7 11 8 3 10 8 9 3 9 8 3 3 9 3 4 3 4 3 0 3 4 0 1 3 4 1 5 3 9 4 5 3 10 9 5 3 6 10 5 3 5 1 6", " 0 13 6 0 1 2 3 4 5 4 0 5 6 7 3 6 5 4 3 6 4 8 4 8 4 3 9 3 9 3 2 3 9 2 10 3 10 2 1 3 10 1 0 3 10 0 7 3 9 10 7 3 8 9 7 3 7 6 8", " 0 15 6 2 3 9 10 11 8 4 2 8 7 1 3 7 8 11 3 7 11 6 4 6 11 10 5 3 5 10 4 3 4 10 9 3 4 9 3 3 4 3 0 3 5 4 0 3 0 3 2 3 0 2 1 3 5 0 1 3 6 5 1 3 1 7 6", " 0 12 6 3 8 6 7 2 0 4 3 0 1 4 3 1 0 2 3 1 2 5 3 5 2 6 3 2 7 6 3 5 6 9 3 9 6 8 3 9 8 3 3 9 3 4 3 5 9 4 3 4 1 5", " 0 16 6 0 3 8 11 7 2 4 0 2 6 1 3 6 2 7 3 6 7 10 3 10 7 8 3 7 11 8 3 10 8 9 3 9 8 3 3 9 3 4 3 4 3 0 3 4 0 1 3 4 1 5 3 9 4 5 3 10 9 5 3 6 10 5 3 5 1 6", " 0 13 6 9 10 5 6 7 8 4 9 8 2 3 3 2 8 7 3 2 7 1 3 1 7 6 4 1 6 5 0 3 0 5 4 3 4 5 10 3 4 10 9 3 4 9 3 3 0 4 3 3 0 3 2 3 2 1 0", " 0 13 6 1 6 10 8 9 5 4 1 5 4 0 3 4 5 9 3 4 9 3 3 3 9 8 4 3 8 7 2 3 7 8 10 3 7 10 6 3 2 7 6 3 0 4 3 3 0 3 2 3 1 0 2 3 2 6 1", " 0 12 6 5 6 7 2 8 9 4 5 9 4 0 3 4 9 8 3 4 8 3 3 3 8 2 3 3 2 0 3 0 2 1 3 0 4 3 3 1 2 7 3 5 0 1 3 6 5 1 3 1 7 6", " 0 12 6 9 7 2 3 4 8 4 9 8 5 6 3 5 8 4 3 5 4 0 3 0 4 3 3 0 3 2 3 0 2 1 3 1 2 7 3 1 7 6 3 7 9 6 3 1 6 5 3 5 0 1", " 0 13 6 1 2 3 7 10 6 4 1 6 9 5 3 9 6 10 3 9 10 8 3 8 10 7 3 8 7 3 3 8 3 4 3 4 3 0 3 0 3 2 3 0 2 1 3 0 1 5 3 4 0 5 4 5 9 8 4", " 0 14 6 3 9 5 10 7 8 4 3 8 2 0 3 2 8 7 3 2 7 6 3 6 7 10 3 6 10 5 3 6 5 1 3 1 5 4 3 4 5 9 3 4 9 3 3 4 3 0 3 1 4 0 3 1 0 2 3 2 6 1", " 0 13 6 0 1 2 3 4 5 4 0 5 6 7 3 6 5 4 3 6 4 8 3 8 4 3 3 8 3 9 4 9 3 2 10 3 10 2 1 3 10 1 0 3 10 0 7 3 9 10 7 3 7 6 8 3 8 9 7", " 0 12 6 6 7 8 2 3 9 4 6 9 4 5 3 4 9 3 3 4 3 0 3 0 3 2 3 0 2 1 3 1 2 7 3 2 8 7 3 1 7 6 3 1 6 5 3 0 1 5 3 5 4 0", " 0 16 6 4 5 10 11 8 9 4 4 9 3 0 3 3 9 8 3 3 8 7 3 7 8 11 3 7 11 6 3 6 11 5 3 11 10 5 3 6 5 1 3 1 5 4 3 1 4 0 3 1 0 2 3 6 1 2 3 2 0 3 3 2 3 7 3 7 6 2", " 0 13 6 0 1 2 3 4 5 4 0 5 6 7 3 6 5 4 3 6 4 8 3 8 4 3 3 8 3 9 3 9 3 2 4 9 2 1 10 3 10 1 0 3 10 0 7 3 9 10 7 3 7 6 8 3 8 9 7", " 0 14 6 2 6 10 5 1 0 4 2 0 3 7 3 3 0 1 3 3 1 4 3 4 1 5 3 4 5 9 3 9 5 10 3 9 10 6 3 9 6 8 3 8 6 7 3 6 2 7 3 8 7 3 3 8 3 4 3 4 9 8", " 0 13 6 0 1 2 3 4 5 4 0 5 6 7 3 6 5 4 3 6 4 8 3 8 4 3 3 8 3 9 3 9 3 2 3 9 2 1 3 9 1 10 3 10 1 0 3 10 0 7 4 8 9 10 7 3 7 6 8", " 0 16 6 3 8 9 7 2 0 4 3 0 1 4 3 1 0 2 3 1 2 6 3 6 2 7 3 6 7 11 3 11 7 9 3 11 9 10 3 10 9 3 3 9 8 3 3 10 3 4 3 10 4 5 3 5 4 1 3 5 1 6 3 5 6 11 3 11 10 5", " 0 12 6 10 8 3 4 5 9 4 10 9 6 7 3 6 9 5 3 6 5 1 3 1 5 4 3 1 4 0 3 0 4 3 3 0 3 2 3 2 3 8 3 2 8 7 3 8 10 7 5 7 6 1 0 2", " 0 16 6 9 4 0 1 5 10 4 9 10 11 8 3 11 10 5 3 11 5 6 3 6 5 1 3 6 1 2 3 2 1 0 3 2 0 3 3 3 0 4 3 3 4 8 3 4 9 8 3 3 8 7 3 7 8 11 3 7 11 6 3 7 6 2 3 2 3 7", " 0 13 6 0 1 2 3 4 5 4 0 5 6 7 3 6 5 4 3 6 4 8 3 8 4 3 3 8 3 9 3 9 3 2 3 9 2 10 3 10 2 1 3 10 1 0 3 10 0 7 4 8 9 10 7 3 7 6 8", " 0 13 6 8 9 5 1 6 10 4 8 10 7 3 3 7 10 6 3 7 6 2 3 2 6 1 3 2 1 0 3 0 1 5 3 0 5 4 3 4 5 9 3 4 9 8 3 4 8 3 3 0 4 3 4 3 7 2 0", " 0 14 6 3 9 10 6 7 8 4 3 8 2 0 3 2 8 7 3 2 7 1 3 1 7 6 3 1 6 5 3 5 6 10 3 5 10 4 3 4 10 9 3 4 9 3 3 4 3 0 3 5 4 0 3 1 5 0 3 0 2 1", " 0 17 6 6 7 8 9 10 12 4 6 12 11 5 3 11 12 10 3 11 10 4 3 4 10 9 3 4 9 3 3 3 9 8 3 3 8 2 3 2 8 7 3 2 7 1 3 1 7 6 3 1 6 5 3 1 5 0 4 0 5 11 4 3 0 4 3 3 0 3 2 3 2 1 0", " 0 18 6 9 12 11 6 7 8 4 9 8 2 3 3 2 8 7 3 2 7 1 3 1 7 6 3 1 6 5 3 5 6 11 3 5 11 4 3 4 11 10 3 10 11 12 3 10 12 9 3 10 9 3 3 4 10 3 3 4 3 0 3 0 3 2 3 0 2 1 3 0 1 5 3 5 4 0", " 0 14 6 1 2 3 4 8 7 4 1 7 10 6 3 10 7 8 3 10 8 9 3 9 8 4 3 9 4 5 3 5 4 0 3 0 4 3 3 0 3 2 3 0 2 1 3 5 0 1 3 5 1 6 3 9 5 6 3 6 10 9", " 0 18 6 11 7 8 3 9 12 4 11 12 10 6 3 10 12 9 3 10 9 4 3 4 9 3 3 4 3 0 3 0 3 2 3 2 3 8 3 2 8 7 3 2 7 1 3 1 7 6 3 7 11 6 3 1 6 5 3 5 6 10 3 5 10 4 3 5 4 0 3 0 2 1 3 1 5 0", " 0 15 6 4 5 6 7 11 10 4 4 10 9 3 3 9 10 11 3 9 11 8 3 8 11 7 3 8 7 2 3 2 7 1 3 1 7 6 3 1 6 5 3 1 5 0 3 0 5 4 3 0 4 3 3 0 3 2 4 3 9 8 2 3 2 1 0", " 0 16 6 5 10 9 4 0 1 4 5 1 2 6 3 2 1 0 3 2 0 3 3 3 0 4 3 3 4 7 3 7 4 8 3 8 4 9 3 8 9 10 3 8 10 11 3 11 10 5 3 11 5 6 3 11 6 7 3 3 7 6 3 7 8 11 3 6 2 3", " 0 20 6 11 12 8 3 9 13 4 11 13 10 6 3 10 13 9 3 10 9 4 3 4 9 3 3 4 3 0 3 0 3 2 3 2 3 8 3 2 8 7 3 7 8 11 3 8 12 11 3 7 11 6 3 7 6 1 3 2 7 1 3 0 2 1 3 1 6 5 3 5 6 10 3 5 10 4 3 5 4 0 3 0 1 5", " 0 18 6 12 10 4 0 5 11 4 12 11 6 7 3 6 11 5 3 6 5 1 3 1 5 0 3 1 0 2 3 2 0 3 3 3 0 4 3 3 4 9 3 9 4 10 3 9 10 12 3 9 12 8 3 8 12 7 3 3 9 8 3 2 3 8 3 2 8 7 3 1 2 7 3 7 6 1", " 0 14 6 5 1 0 2 6 9 4 5 9 10 8 3 10 9 6 3 10 6 7 3 7 6 3 3 3 6 2 3 3 2 1 3 2 0 1 3 3 1 4 3 4 1 5 3 4 5 8 3 4 8 7 3 8 10 7 3 7 3 4", " 0 12 6 5 0 1 6 7 9 4 5 9 8 4 3 8 9 7 3 8 7 3 3 3 7 2 3 2 7 6 3 2 6 1 3 2 1 0 3 3 2 0 3 3 0 4 3 0 5 4 3 4 8 3", " 0 14 6 5 9 10 8 4 1 4 5 1 0 2 3 0 1 4 3 0 4 3 3 3 4 7 3 7 4 8 3 7 8 10 3 7 10 6 3 6 10 5 3 10 9 5 3 6 5 2 3 3 7 6 3 3 6 2 3 2 0 3", " 0 16 6 0 1 4 9 8 3 4 0 3 7 2 3 7 3 8 3 7 8 11 3 11 8 10 3 10 8 9 3 10 9 4 3 10 4 5 3 5 4 1 3 5 1 6 3 6 1 2 3 1 0 2 3 11 10 5 3 11 5 6 3 7 11 6 3 6 2 7", " 0 16 6 5 10 11 9 3 4 4 5 4 0 1 3 0 4 3 3 0 3 2 3 2 3 8 3 8 3 9 3 8 9 11 3 8 11 7 3 7 11 6 3 6 11 10 3 6 10 5 3 6 5 1 3 7 6 1 3 7 1 2 3 1 0 2 3 2 8 7", " 0 16 6 8 10 11 7 2 3 4 8 3 0 4 3 0 3 2 3 0 2 1 3 1 2 6 3 6 2 7 3 6 7 9 3 9 7 10 3 7 11 10 3 9 10 8 3 9 8 5 3 5 8 4 3 6 9 5 3 1 6 5 3 1 5 4 3 4 0 1", " 0 18 6 11 9 10 4 0 5 4 11 5 1 6 3 1 5 0 3 1 0 2 3 2 0 3 3 3 0 4 3 3 4 8 3 8 4 9 3 4 10 9 3 8 9 12 3 12 9 11 3 12 11 6 3 12 6 7 3 8 12 7 3 3 8 7 3 2 3 7 3 2 7 6 3 6 1 2", " 0 18 6 10 12 9 4 0 5 4 10 5 1 6 3 1 5 0 3 1 0 2 3 2 0 3 3 3 0 4 3 3 4 8 3 8 4 9 3 8 9 11 3 11 9 10 3 9 12 10 3 11 10 6 3 11 6 7 3 8 11 7 3 3 8 7 3 2 3 7 3 2 7 6 3 6 1 2", " 0 16 6 0 1 2 3 4 5 4 0 5 6 7 3 6 5 8 3 8 5 3 3 5 4 3 3 8 3 9 3 9 3 2 3 9 2 10 3 10 2 0 3 2 1 0 3 10 0 7 3 10 7 11 3 9 10 11 3 8 9 11 3 6 8 11 3 11 7 6", " 0 13 6 7 10 6 1 2 3 4 7 3 4 8 3 4 3 0 3 0 3 2 3 0 2 1 4 4 0 1 5 3 5 1 6 3 5 6 9 3 9 6 10 3 9 10 7 3 9 7 8 3 5 9 8 3 8 4 5", " 0 15 6 7 2 0 3 8 11 4 7 11 10 6 3 10 11 9 3 9 11 8 3 9 8 3 3 9 3 4 3 4 3 0 3 4 0 5 3 5 0 1 3 1 0 2 3 10 9 4 3 1 2 7 3 1 7 6 3 5 1 6 4 6 10 4 5", " 0 16 6 11 10 5 1 6 7 4 11 7 3 8 3 3 7 2 3 2 7 6 3 2 6 1 3 2 1 0 3 0 1 5 3 0 5 4 3 4 5 9 3 9 5 10 3 3 2 0 3 9 10 11 3 9 11 8 3 4 9 8 3 4 8 3 3 3 0 4", " 0 14 6 7 10 8 4 9 6 4 7 6 1 2 3 1 6 5 3 5 6 9 3 5 9 4 3 5 4 0 3 0 4 3 3 3 4 8 3 3 8 7 3 8 10 7 3 3 7 2 3 1 5 0 3 2 1 0 3 0 3 2", " 0 18 6 1 2 0 3 8 7 4 1 7 12 6 3 12 7 9 3 9 7 8 3 9 8 3 3 9 3 10 3 10 3 4 3 4 3 0 3 4 0 5 3 5 0 1 3 0 2 1 3 5 1 6 3 12 9 10 3 12 10 11 3 6 12 11 3 11 10 4 3 11 4 5 3 5 6 11", " 0 20 6 13 8 1 0 2 9 4 13 9 10 12 3 10 9 3 3 3 9 2 3 3 2 0 3 3 0 4 3 4 0 5 3 5 0 1 3 5 1 6 3 6 1 7 3 7 1 8 3 10 3 4 3 7 8 13 3 7 13 12 3 6 7 12 3 6 12 11 3 11 12 10 3 11 10 4 3 11 4 5 3 5 6 11", " 0 18 6 3 8 9 7 2 0 4 3 0 4 11 3 4 0 1 3 1 0 2 3 1 2 6 3 6 2 7 3 6 7 12 3 12 7 10 3 10 7 9 3 10 9 3 3 9 8 3 3 10 3 11 3 12 10 11 3 12 11 5 3 5 11 4 3 6 12 5 3 1 6 5 3 5 4 1", " 0 11 6 0 2 5 9 4 1 3 0 1 4 5 0 4 8 7 3 3 8 4 9 3 7 8 9 3 7 9 6 3 6 9 5 3 6 5 2 3 6 2 3 3 2 0 3 3 3 7 6", " 0 11 6 0 2 6 7 5 1 3 0 1 5 5 0 5 8 9 4 3 8 5 7 3 8 7 2 3 7 6 2 3 8 2 3 3 3 2 0 3 3 0 4 3 9 8 3 3 3 4 9", " 0 11 6 0 4 9 8 2 3 3 0 3 2 5 0 2 7 6 1 3 7 2 8 3 7 8 9 3 7 9 5 3 6 7 5 3 5 9 4 3 5 4 1 3 4 0 1 3 1 6 5", " 0 11 6 1 5 9 3 0 4 3 1 4 0 5 1 0 2 7 6 3 2 0 3 3 2 3 8 3 8 3 5 3 3 9 5 3 8 5 6 3 5 1 6 3 8 6 7 3 7 2 8", " 0 13 6 0 1 2 3 4 5 3 0 5 4 5 0 4 6 7 8 3 6 4 3 3 6 3 9 3 9 3 1 3 3 2 1 3 9 1 10 3 10 1 0 3 10 0 8 3 10 8 7 3 9 10 7 3 7 6 9", " 0 11 6 0 4 5 9 2 3 3 0 3 2 5 0 2 8 7 1 3 8 2 9 3 8 9 6 3 6 9 5 3 6 5 1 3 0 1 5 3 6 1 7 3 5 4 0 3 7 8 6", " 0 13 6 4 1 5 10 8 9 3 4 9 8 5 4 8 7 3 0 3 7 8 10 3 7 10 6 3 6 10 5 3 6 5 2 3 2 5 1 3 2 1 0 3 1 4 0 3 2 0 3 3 6 2 3 3 3 7 6", " 0 12 6 5 1 6 7 8 9 3 5 9 8 4 5 8 4 0 3 4 8 7 3 4 7 6 3 4 6 3 3 0 4 3 3 3 6 2 3 2 6 1 3 2 1 0 3 1 5 0 3 0 3 2", " 0 12 6 3 7 6 1 0 2 3 3 2 0 4 3 0 4 8 3 4 0 1 3 4 1 5 3 5 1 6 3 5 6 7 3 5 7 9 3 9 7 8 3 7 3 8 3 9 8 4 3 4 5 9", " 0 14 6 1 3 7 6 2 0 3 1 0 2 4 1 2 5 4 3 5 2 6 3 5 6 10 3 10 6 7 3 10 7 8 3 8 7 3 3 8 3 4 3 3 1 4 3 9 10 8 3 9 4 5 3 5 10 9 3 8 4 9", " 0 20 6 11 8 3 9 12 13 3 11 13 12 4 11 12 10 6 3 10 12 9 3 10 9 4 3 4 9 3 3 4 3 0 3 0 3 2 3 2 3 8 3 2 8 7 3 7 8 11 3 7 11 6 3 7 6 1 3 2 7 1 3 0 2 1 3 1 6 5 3 5 6 10 3 5 10 4 3 5 4 0 3 0 1 5", " 0 14 6 0 2 6 10 5 1 3 0 1 5 4 0 5 9 4 3 9 5 10 3 9 10 8 3 8 10 7 3 7 10 6 3 7 6 2 3 7 2 3 3 3 2 0 3 3 0 4 3 8 7 3 3 8 3 4 3 4 9 8", " 0 18 6 9 4 10 6 11 12 3 9 12 11 4 9 11 7 8 3 7 11 6 3 7 6 1 3 1 6 5 3 5 6 10 3 5 10 4 3 5 4 0 3 0 4 3 3 3 4 9 3 3 9 8 3 1 5 0 3 1 0 2 3 7 1 2 3 8 7 2 3 2 0 3 3 3 8 2", " 0 20 6 12 9 10 6 11 13 3 12 13 11 4 12 11 7 8 3 7 11 6 3 7 6 1 3 1 6 5 3 5 6 10 3 5 10 4 3 4 10 9 3 4 9 3 3 3 9 8 3 9 12 8 3 3 8 2 3 2 8 7 3 2 7 1 3 2 1 0 3 0 1 5 3 0 5 4 3 0 4 3 3 3 2 0", " 0 18 6 0 2 6 11 5 1 3 0 1 5 4 0 5 10 4 3 10 5 11 3 10 11 9 3 9 11 12 3 12 11 6 3 12 6 7 3 7 6 2 3 7 2 3 3 3 2 0 3 3 0 4 3 3 4 8 3 7 3 8 3 12 7 8 3 9 12 8 3 9 8 4 3 4 10 9", " 0 14 6 0 3 9 8 1 2 3 0 2 1 4 0 1 6 5 3 6 1 7 3 7 1 8 3 7 8 9 3 7 9 10 3 10 9 4 3 4 9 3 3 4 3 0 3 4 0 5 3 6 7 10 3 10 4 5 3 5 6 10", " 0 18 6 1 7 12 11 5 6 3 1 6 5 4 1 5 4 0 3 4 5 10 3 10 5 11 3 10 11 12 3 10 12 9 3 9 12 8 3 8 12 7 3 8 7 2 3 2 7 1 3 2 1 0 3 4 10 9 3 4 9 3 3 0 4 3 3 3 9 8 3 3 8 2 3 2 0 3", " 0 16 6 0 3 9 8 1 2 3 0 2 1 4 0 1 6 5 3 6 1 7 3 7 1 8 3 7 8 10 3 10 8 3 3 8 9 3 3 10 3 4 3 4 3 0 3 4 0 5 3 4 5 11 3 10 4 11 3 7 10 11 3 6 7 11 3 11 5 6", " 0 12 6 0 1 2 3 4 5 3 0 5 4 3 0 4 6 3 6 4 3 3 6 3 7 3 7 3 8 3 8 3 2 3 8 2 9 3 9 2 1 4 9 1 0 6 3 9 6 7 3 7 8 9", " 0 15 6 10 6 1 2 7 11 3 10 11 9 4 9 11 8 4 3 8 11 7 3 8 7 3 3 3 7 2 3 3 2 0 3 0 2 1 3 0 1 5 4 5 1 6 10 3 5 10 9 3 5 9 4 3 0 5 4 3 4 8 3 3 3 0 4", " 0 11 6 5 2 3 6 9 8 3 5 8 7 3 7 8 6 3 8 9 6 3 7 6 4 3 4 6 3 3 4 3 0 3 0 3 2 3 0 2 1 3 1 2 5 5 5 7 4 0 1", " 0 13 6 2 0 3 8 10 7 3 2 7 6 3 6 7 8 3 7 10 8 3 6 8 9 3 9 8 3 3 9 3 4 3 4 3 0 3 4 0 1 3 1 0 2 5 1 2 6 9 5 3 5 9 4 3 4 1 5", " 0 14 6 6 9 5 1 0 2 3 6 2 3 3 3 2 1 3 2 0 1 3 3 1 4 3 4 1 5 3 4 5 8 3 8 5 9 3 8 9 10 3 10 9 6 4 10 6 3 7 3 7 3 4 3 7 4 8 3 8 10 7", " 0 11 6 0 1 5 8 9 4 3 0 4 3 3 3 4 8 3 4 9 8 3 3 8 7 3 7 8 5 3 7 5 6 3 6 5 2 3 2 5 1 3 2 1 0 5 0 3 7 6 2", " 0 14 6 0 1 2 3 4 5 3 0 5 6 3 6 5 3 3 5 4 3 3 6 3 7 3 7 3 2 3 7 2 8 3 8 2 9 3 9 2 1 3 9 1 0 4 8 9 0 10 3 10 0 6 3 10 6 7 3 7 8 10", " 0 18 6 0 1 2 3 4 5 3 0 5 6 3 6 5 3 3 5 4 3 3 6 3 7 3 7 3 2 3 7 2 8 3 8 2 9 3 9 2 1 3 9 1 10 3 10 1 0 4 10 0 11 12 3 11 0 6 3 11 6 7 3 11 7 8 3 12 11 8 3 12 8 9 3 9 10 12", " 0 11 6 1 4 8 7 2 3 3 1 3 0 3 0 3 2 5 1 0 2 6 5 3 6 2 7 3 6 7 9 3 9 7 8 3 9 8 4 3 9 4 5 3 4 1 5 3 5 6 9", " 0 13 6 10 7 2 0 3 8 3 10 8 9 3 9 8 3 4 9 3 4 5 3 4 3 0 3 4 0 1 3 1 0 2 3 1 2 6 4 6 2 7 10 3 6 10 9 3 6 9 5 3 1 6 5 3 5 4 1", " 0 11 6 6 8 3 0 4 5 3 6 5 1 3 1 5 4 3 1 4 0 3 1 0 2 3 2 0 3 3 2 3 7 3 7 3 8 3 7 8 9 3 9 8 6 5 6 1 2 7 9", " 0 13 6 9 7 2 0 3 8 3 9 8 4 3 4 8 3 3 4 3 0 3 4 0 1 3 1 0 2 3 1 2 6 3 6 2 7 3 6 7 10 3 10 7 9 5 10 9 4 1 5 3 5 1 6 3 6 10 5", " 0 12 6 5 1 0 2 6 9 3 5 9 7 3 7 9 6 3 7 6 2 3 7 2 8 3 8 2 3 3 3 2 0 3 3 0 1 3 3 1 4 3 4 1 5 4 4 5 7 8 3 8 3 4", " 0 11 6 7 9 6 1 0 2 3 7 2 3 3 3 2 0 3 3 0 1 3 3 1 4 3 4 1 5 3 5 1 6 3 5 6 9 3 5 9 8 3 8 9 7 5 7 3 4 5 8", " 0 12 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 3 3 6 3 7 3 7 3 8 3 8 3 2 3 8 2 9 3 9 2 1 3 9 1 0 4 7 8 9 0 3 0 6 7", " 0 11 6 7 9 6 1 0 2 3 7 2 3 3 3 2 0 3 3 0 1 3 3 1 4 3 4 1 5 3 5 1 6 3 5 6 8 3 8 6 9 3 8 9 7 5 7 3 4 5 8", " 0 15 6 3 6 10 5 2 0 3 3 0 1 3 1 0 2 3 1 2 5 3 1 5 4 3 4 5 9 3 9 5 10 3 9 10 11 3 11 10 6 3 11 6 7 3 7 6 3 5 7 3 1 4 8 3 8 4 9 3 8 9 11 3 11 7 8", " 0 16 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 3 3 6 3 7 3 7 3 8 3 8 3 2 3 8 2 9 3 9 2 1 3 9 1 10 3 10 1 0 4 10 0 7 11 3 0 6 7 3 11 7 8 3 11 8 9 3 9 10 11", " 0 11 6 2 3 4 8 9 7 3 2 7 6 3 6 7 9 3 6 9 5 3 5 9 4 3 9 8 4 3 5 4 1 3 1 4 3 3 1 3 0 3 0 3 2 5 2 6 5 1 0", " 0 13 6 8 4 5 9 6 10 3 8 10 7 3 7 10 6 3 7 6 1 3 1 6 5 3 6 9 5 3 1 5 0 3 0 5 4 3 0 4 3 3 3 4 8 5 3 8 7 1 2 3 2 1 0 3 0 3 2", " 0 14 6 9 5 1 6 7 10 3 9 10 8 3 8 10 7 3 8 7 2 3 2 7 1 3 7 6 1 3 2 1 0 3 0 1 5 3 0 5 4 3 4 5 9 4 4 9 8 3 3 3 8 2 3 3 2 0 3 0 4 3", " 0 11 6 5 8 7 3 0 4 3 5 4 1 3 1 4 0 3 1 0 2 3 2 0 3 3 2 3 7 3 2 7 6 3 6 7 8 3 6 8 9 3 9 8 5 5 5 1 2 6 9", " 0 12 6 7 9 6 2 0 3 3 7 3 4 3 4 3 0 3 4 0 1 3 1 0 2 3 1 2 6 3 1 6 5 3 5 6 8 3 8 6 9 3 8 9 7 4 5 8 7 4 3 4 1 5", " 0 11 6 7 9 3 4 5 6 3 7 6 1 3 1 6 5 3 1 5 0 3 0 5 4 3 0 4 3 3 0 3 2 3 2 3 8 3 8 3 9 3 8 9 7 5 7 1 0 2 8", " 0 11 6 5 2 6 3 7 9 3 5 9 8 3 8 9 7 3 8 7 4 3 4 7 3 3 4 3 0 3 0 3 2 3 3 6 2 3 0 2 1 3 1 2 5 5 5 8 4 0 1", " 0 14 6 9 3 4 0 5 10 3 9 10 6 3 6 10 5 3 6 5 1 3 1 5 0 3 1 0 2 3 2 0 3 3 0 4 3 3 2 3 8 3 8 3 9 4 8 9 6 7 3 7 6 1 3 7 1 2 3 2 8 7", " 0 12 6 5 9 8 4 0 1 3 5 1 2 3 2 1 0 3 2 0 3 3 3 0 4 3 3 4 7 3 7 4 8 3 7 8 9 3 7 9 6 3 6 9 5 4 6 5 2 3 3 3 7 6", " 0 11 6 2 3 4 5 9 8 3 2 8 7 3 7 8 9 3 7 9 6 3 6 9 5 3 6 5 1 3 1 5 4 3 1 4 3 3 1 3 0 3 0 3 2 5 2 7 6 1 0", " 0 11 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 3 3 7 3 8 3 8 3 2 3 8 2 9 3 9 2 1 3 9 1 0 5 0 6 7 8 9", " 0 14 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 3 3 7 3 8 3 8 3 2 3 8 2 9 3 9 2 1 3 9 1 0 4 9 0 6 10 3 10 6 7 3 8 9 10 3 10 7 8", " 0 15 6 0 3 7 11 6 2 3 0 2 1 3 1 2 6 3 1 6 5 3 5 6 11 3 5 11 10 3 10 11 7 3 10 7 8 3 8 7 3 3 8 3 4 3 4 3 0 5 4 0 1 5 9 3 9 5 10 3 9 10 8 3 8 4 9", " 0 16 6 9 4 0 1 5 10 3 9 10 11 3 11 10 5 3 11 5 6 3 6 5 1 3 6 1 2 3 2 1 0 3 2 0 3 3 3 0 4 3 3 4 8 3 8 4 9 4 8 9 11 7 3 7 11 6 3 7 6 2 3 7 2 3 3 3 8 7", " 0 16 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 3 3 7 3 8 3 8 3 2 3 8 2 9 3 9 2 10 3 10 2 1 3 10 1 0 4 9 10 0 11 3 11 0 6 3 11 6 7 3 11 7 8 3 8 9 11", " 0 14 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 3 3 7 3 8 3 8 3 9 3 9 3 2 3 9 2 1 3 9 1 0 4 8 9 0 10 3 10 0 6 3 10 6 7 3 7 8 10", " 0 13 6 3 6 10 5 2 0 3 3 0 1 3 1 0 2 3 1 2 4 3 4 2 5 3 4 5 8 3 8 5 9 3 9 5 10 3 9 10 6 3 9 6 7 3 7 6 3 5 7 3 1 4 8 3 8 9 7", " 0 16 6 9 10 6 1 7 11 3 9 11 8 3 8 11 7 3 8 7 2 3 2 7 1 3 2 1 0 3 0 1 5 3 5 1 6 3 5 6 10 3 5 10 4 3 4 10 9 4 4 9 8 3 3 3 8 2 3 0 5 4 3 0 4 3 3 3 2 0", " 0 16 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 3 3 7 3 8 3 8 3 9 3 9 3 2 3 9 2 1 3 9 1 10 3 10 1 0 4 10 0 11 8 3 11 0 6 3 8 9 10 3 11 6 7 3 7 8 11", " 0 18 6 5 0 1 6 11 10 3 5 10 9 3 9 10 11 3 9 11 12 3 12 11 6 3 12 6 7 3 7 6 2 3 2 6 1 3 2 1 0 3 2 0 3 3 3 0 4 3 4 0 5 4 4 5 9 8 3 8 9 12 3 8 12 7 3 7 2 3 3 8 7 3 3 3 4 8", " 0 18 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 3 3 7 3 8 3 8 3 9 3 9 3 2 3 9 2 10 3 10 2 1 3 10 1 0 4 10 0 11 12 3 11 0 6 3 11 6 7 3 11 7 8 3 9 10 12 3 8 9 12 3 12 11 8", " 0 20 6 3 0 4 10 13 9 3 3 9 8 3 8 9 13 3 8 13 12 3 12 13 10 3 12 10 11 3 11 10 5 3 5 10 4 3 5 4 1 3 1 4 0 3 1 0 2 3 2 0 3 4 2 3 8 7 3 7 8 12 3 7 12 11 3 7 11 6 3 6 11 5 3 6 5 1 3 6 1 2 3 2 7 6", " 0 20 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 3 3 7 3 8 3 8 3 9 3 9 3 2 3 9 2 10 3 10 2 1 3 10 1 11 3 11 1 0 4 11 0 12 13 3 12 0 6 3 12 6 7 3 12 7 8 3 13 12 8 3 13 8 9 3 13 9 10 3 10 11 13", " 0 12 6 1 5 9 8 3 4 3 1 4 0 3 0 4 3 3 0 3 2 3 2 3 7 3 7 3 8 3 7 8 5 3 8 9 5 3 7 5 6 3 6 5 1 4 6 1 0 2 3 2 7 6", " 0 14 6 3 0 4 9 10 8 3 3 8 7 3 7 8 10 3 7 10 6 3 6 10 5 3 5 10 9 3 5 9 4 3 5 4 1 3 1 4 0 3 1 0 2 3 2 0 3 4 2 3 7 6 3 6 5 1 3 1 2 6", " 0 16 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 8 3 8 4 3 3 8 3 2 3 8 2 9 3 9 2 10 3 10 2 1 3 10 1 0 4 10 0 6 11 3 11 6 7 3 7 8 9 3 11 7 9 3 9 10 11", " 0 16 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 8 3 8 4 3 3 8 3 2 3 8 2 9 3 9 2 10 3 10 2 1 3 10 1 0 4 9 10 0 11 3 11 0 6 3 11 6 7 3 7 8 9 3 9 11 7", " 0 18 6 2 0 3 8 12 7 3 2 7 6 3 6 7 12 3 6 12 11 3 11 12 9 3 9 12 8 3 9 8 3 3 9 3 10 3 10 3 4 3 4 3 0 3 4 0 1 3 1 0 2 4 1 2 6 5 3 5 6 11 3 11 9 10 3 5 11 10 3 5 10 4 3 4 1 5", " 0 13 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 8 3 8 4 3 3 8 3 9 3 9 3 1 3 3 2 1 3 9 1 0 5 9 0 6 7 10 3 8 9 10 3 10 7 8", " 0 16 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 8 3 8 4 3 3 8 3 9 3 9 3 1 3 3 2 1 3 9 1 0 4 9 0 10 11 3 10 0 6 3 10 6 7 3 8 9 11 3 7 8 11 3 11 10 7", " 0 18 6 5 1 0 2 6 11 3 5 11 10 3 10 11 6 3 10 6 12 3 12 6 7 3 7 6 2 3 7 2 3 3 3 2 1 3 2 0 1 3 3 1 4 3 4 1 5 4 4 5 10 9 3 9 10 12 3 9 12 8 3 8 12 7 3 8 7 3 3 8 3 4 3 4 9 8", " 0 18 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 8 3 8 4 3 3 8 3 9 3 9 3 1 3 3 2 1 3 9 1 10 3 10 1 0 4 10 0 11 12 3 11 0 6 3 11 6 7 3 12 11 7 3 12 7 8 3 12 8 9 3 9 10 12", " 0 13 6 10 6 2 0 3 7 3 10 7 8 3 8 7 3 3 8 3 9 3 9 3 4 3 4 3 0 3 4 0 1 3 1 0 2 3 1 2 6 3 1 6 5 3 5 6 10 5 5 10 8 9 4 3 4 1 5", " 0 14 6 3 7 10 6 2 0 3 3 0 1 3 1 0 2 3 1 2 4 3 4 2 5 3 5 2 6 3 5 6 9 3 9 6 10 3 9 10 7 3 9 7 8 3 8 7 3 4 8 3 1 4 3 5 9 8 3 8 4 5", " 0 16 6 5 0 1 6 11 10 3 5 10 9 3 9 10 11 3 9 11 8 3 8 11 7 3 7 11 6 3 7 6 2 3 2 6 1 3 2 1 0 3 2 0 3 3 3 0 4 3 4 0 5 4 4 5 9 8 3 7 2 3 3 8 7 3 3 3 4 8", " 0 18 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 8 3 8 4 3 3 8 3 9 3 9 3 2 3 9 2 10 3 10 2 1 3 10 1 0 4 10 0 11 12 3 11 0 6 3 9 10 12 3 11 6 7 3 8 9 12 3 7 8 12 3 12 11 7", " 0 18 6 6 11 10 4 0 5 3 6 5 1 3 1 5 0 3 1 0 2 3 2 0 3 3 3 0 4 3 3 4 9 3 9 4 10 3 9 10 12 3 12 10 11 3 12 11 7 3 7 11 6 4 7 6 1 2 3 7 2 8 3 8 2 3 3 8 3 9 3 8 9 12 3 12 7 8", " 0 20 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 8 3 8 4 3 3 8 3 9 3 9 3 2 3 9 2 10 3 10 2 11 3 11 2 1 3 11 1 0 4 11 0 6 12 3 12 6 7 3 10 11 12 3 12 7 13 3 13 7 8 3 13 8 9 3 13 9 10 3 10 12 13", " 0 20 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 8 3 8 4 3 3 8 3 9 3 9 3 2 3 9 2 10 3 10 2 11 3 11 2 1 3 11 1 0 4 10 11 0 12 3 12 0 6 3 12 6 7 3 12 7 13 3 13 7 8 3 13 8 9 3 13 9 10 3 10 12 13", " 0 20 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 8 3 8 4 3 3 8 3 9 3 9 3 10 3 10 3 2 3 10 2 1 3 10 1 11 3 11 1 0 4 11 0 12 13 3 12 0 6 3 12 6 7 3 9 10 11 3 9 11 13 3 8 9 13 3 7 8 13 3 13 12 7", " 0 20 6 0 3 7 12 6 2 3 0 2 1 3 1 2 6 3 1 6 5 3 5 6 11 3 11 6 12 3 11 12 13 3 13 12 8 3 8 12 7 3 8 7 3 3 8 3 9 3 9 3 4 3 4 3 0 4 4 0 1 5 3 13 8 9 3 13 9 10 3 11 13 10 3 5 11 10 3 4 5 10 3 10 9 4", " 0 22 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 8 3 8 4 3 3 8 3 9 3 9 3 10 3 10 3 2 3 10 2 11 3 11 2 1 3 11 1 0 4 11 0 12 13 3 12 0 6 3 12 6 7 3 10 11 13 3 9 10 13 3 13 12 14 3 14 12 7 3 14 7 8 3 14 8 9 3 9 13 14", " 0 11 6 8 3 4 5 9 6 3 8 6 7 3 7 6 1 3 1 6 5 3 6 9 5 3 1 5 4 3 1 4 0 3 0 4 3 3 0 3 2 3 2 3 8 5 8 7 1 0 2", " 0 16 6 10 7 2 8 11 9 3 10 9 4 3 4 9 3 3 3 9 8 3 9 11 8 3 3 8 2 3 3 2 0 3 0 2 1 3 1 2 7 3 1 7 6 3 6 7 10 4 6 10 4 5 3 5 4 0 3 4 3 0 3 5 0 1 3 1 6 5", " 0 13 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 3 3 5 4 3 3 7 3 8 3 8 3 2 3 8 2 1 5 8 1 0 9 10 3 7 8 10 3 6 7 10 3 6 10 9 3 9 0 6", " 0 11 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 3 3 5 4 3 3 7 3 8 3 8 3 2 3 8 2 1 3 8 1 9 3 9 1 0 5 0 6 7 8 9", " 0 13 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 3 3 5 4 3 3 7 3 8 3 8 3 2 3 8 2 9 3 9 2 1 3 9 1 0 5 8 9 0 6 10 3 7 8 10 3 10 6 7", " 0 15 6 6 10 5 1 0 2 3 6 2 7 3 7 2 3 3 3 2 1 3 2 0 1 3 3 1 4 3 4 1 5 3 4 5 9 3 9 5 10 3 9 10 11 3 11 10 6 5 11 6 7 3 8 3 8 3 4 3 8 4 9 3 9 11 8", " 0 16 6 0 1 5 9 10 4 3 0 4 3 3 3 4 8 3 8 4 9 3 4 10 9 3 8 9 11 3 11 9 5 3 11 5 6 3 6 5 1 3 6 1 2 3 2 1 0 4 2 0 3 7 3 7 3 8 3 7 8 11 3 7 11 6 3 6 2 7", " 0 18 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 3 3 5 4 3 3 7 3 8 3 8 3 2 3 8 2 9 3 9 2 10 3 10 2 1 3 10 1 0 4 9 10 0 11 3 11 0 6 3 11 6 12 3 12 6 7 3 12 7 8 3 12 8 9 3 9 11 12", " 0 20 6 10 13 8 3 9 4 3 10 4 5 3 5 4 0 3 0 4 3 3 4 9 3 3 0 3 2 3 2 3 8 3 2 8 7 3 7 8 12 3 12 8 13 3 12 13 11 3 11 13 10 4 11 10 5 6 3 6 5 1 3 1 5 0 3 1 0 2 3 1 2 7 3 6 1 7 3 6 7 12 3 12 11 6", " 0 17 6 8 3 0 4 9 12 3 8 12 11 3 11 12 10 3 10 12 9 4 10 9 4 5 3 5 4 1 3 1 4 0 3 1 0 2 3 2 0 3 3 2 3 7 3 7 3 8 4 7 8 11 6 3 6 11 5 3 11 10 5 3 6 5 1 3 6 1 2 3 2 7 6", " 0 15 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 4 7 4 8 9 3 8 4 3 3 8 3 10 3 10 3 2 3 10 2 11 4 11 2 1 0 3 11 0 6 3 11 6 9 3 6 7 9 3 10 11 9 3 9 8 10", " 0 11 6 9 4 0 5 1 6 3 9 6 7 3 7 6 2 3 2 6 1 3 2 1 0 3 1 5 0 3 2 0 3 3 3 0 4 3 3 4 8 3 8 4 9 5 9 7 2 3 8", " 0 13 6 0 3 8 10 7 2 3 0 2 1 3 1 2 6 3 6 2 7 3 6 7 8 3 7 10 8 3 6 8 5 3 5 8 3 3 5 3 9 3 9 3 4 3 4 3 0 5 5 9 4 0 1 3 1 6 5", " 0 11 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 3 3 7 3 8 3 8 3 2 3 8 2 1 3 8 1 9 3 9 1 0 5 0 6 7 8 9", " 0 13 6 1 5 9 8 4 0 3 1 0 2 3 2 0 3 3 3 0 4 3 3 4 8 3 3 8 7 3 7 8 9 3 7 9 10 3 10 9 5 3 10 5 6 3 6 5 1 5 7 10 6 1 2 3 2 3 7", " 0 14 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 3 3 7 3 8 3 8 3 9 3 9 3 2 3 9 2 1 3 9 1 10 3 10 1 0 4 10 0 6 8 3 6 7 8 3 8 9 10", " 0 13 6 10 6 1 0 2 7 3 10 7 8 3 8 7 3 3 3 7 2 3 3 2 0 3 3 0 4 3 4 0 5 3 5 0 1 3 5 1 6 3 5 6 9 3 9 6 10 5 9 10 8 3 4 3 4 5 9", " 0 16 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 3 3 7 3 8 3 8 3 9 3 9 3 2 3 9 2 10 3 10 2 1 3 10 1 0 4 9 10 0 11 3 11 0 6 3 6 7 8 3 11 6 8 3 8 9 11", " 0 17 6 3 7 11 6 2 0 3 3 0 4 3 4 0 1 3 1 0 2 3 1 2 6 3 1 6 5 3 5 6 10 3 10 6 11 3 10 11 12 3 12 11 7 3 12 7 8 3 8 7 3 5 8 3 4 5 9 3 4 1 5 3 9 5 10 3 9 10 12 3 12 8 9", " 0 18 6 11 7 2 3 8 12 3 11 12 10 3 10 12 9 3 9 12 8 3 9 8 3 3 9 3 4 3 4 3 0 3 0 3 2 3 0 2 1 3 1 2 7 3 1 7 6 3 6 7 11 4 6 11 10 5 3 5 10 4 3 10 9 4 3 5 4 0 3 5 0 1 3 1 6 5", " 0 18 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 3 3 7 3 8 3 8 3 9 3 9 3 2 3 9 2 10 3 10 2 11 3 11 2 1 3 11 1 0 4 10 11 0 12 3 12 0 6 3 6 7 8 3 12 6 8 3 12 8 9 3 9 10 12", " 0 15 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 8 3 8 4 2 3 4 3 2 3 8 2 9 3 9 2 1 3 9 1 10 3 10 1 0 5 9 10 0 6 11 3 8 9 11 3 7 8 11 3 11 6 7", " 0 16 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 8 3 8 4 2 3 4 3 2 3 8 2 9 3 9 2 1 3 9 1 10 3 10 1 0 4 10 0 6 11 3 11 6 7 3 11 7 8 3 11 8 9 3 9 10 11", " 0 13 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 8 3 8 4 3 3 8 3 2 3 8 2 9 3 9 2 1 3 9 1 10 3 10 1 0 5 9 10 0 6 7 3 7 8 9", " 0 15 6 0 3 8 11 7 2 3 0 2 1 3 1 2 6 3 6 2 7 3 6 7 10 3 10 7 11 3 10 11 8 3 10 8 5 3 5 8 9 3 9 8 3 3 9 3 4 3 4 3 0 5 5 9 4 0 1 3 6 10 5 3 5 1 6", " 0 17 6 9 4 0 1 5 10 3 9 10 12 3 12 10 11 3 11 10 5 3 11 5 6 3 6 5 1 3 6 1 2 3 2 1 0 3 2 0 3 3 3 0 4 3 3 4 8 3 8 4 9 5 8 9 12 11 7 3 7 11 6 3 7 6 2 3 7 2 3 3 3 8 7", " 0 18 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 8 3 8 4 3 3 8 3 9 3 9 3 10 3 10 3 2 3 10 2 1 3 10 1 0 4 9 10 0 11 3 11 0 6 3 11 6 12 3 12 6 7 3 12 7 8 3 12 8 9 3 9 11 12", " 0 20 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 8 3 8 4 3 3 8 3 9 3 9 3 10 3 10 3 2 3 10 2 11 3 11 2 1 3 11 1 0 4 10 11 0 12 3 12 0 6 3 9 10 12 3 9 12 13 3 8 9 13 3 7 8 13 3 6 7 13 3 13 12 6", " 0 11 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 8 3 8 4 9 3 9 4 3 3 9 3 1 3 3 2 1 3 9 1 0 5 0 6 7 8 9", " 0 13 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 8 3 8 4 9 3 9 4 3 3 9 3 1 3 3 2 1 3 9 1 0 5 8 9 0 6 10 3 10 6 7 3 7 8 10", " 0 17 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 8 3 8 4 9 3 9 4 3 3 9 3 10 3 10 3 1 3 3 2 1 3 10 1 0 5 10 0 6 11 12 3 9 10 12 3 8 9 12 3 11 6 7 3 11 7 8 3 8 12 11", " 0 20 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 8 3 8 4 9 3 9 4 3 3 9 3 10 3 10 3 1 3 3 2 1 3 10 1 0 4 10 0 11 12 3 11 0 6 3 9 10 12 3 8 9 12 3 12 11 13 3 8 12 13 3 7 8 13 3 6 7 13 3 13 11 6", " 0 22 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 4 3 7 4 8 3 8 4 9 3 9 4 3 3 9 3 10 3 10 3 11 3 11 3 2 3 11 2 1 3 11 1 0 4 10 11 0 12 3 12 0 6 3 12 6 13 3 13 6 7 3 13 7 8 3 13 8 14 3 14 8 9 3 14 9 10 3 14 10 12 3 12 13 14", " 0 12 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 8 3 8 5 4 3 8 4 3 3 8 3 9 4 9 3 2 0 3 2 1 0 3 9 0 6 3 7 8 9 3 9 6 7", " 0 11 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 8 3 8 5 4 3 8 4 9 3 9 4 2 3 4 3 2 3 9 2 1 3 9 1 0 5 0 6 7 8 9", " 0 22 6 7 13 14 12 6 1 3 7 1 2 3 2 1 0 3 0 1 5 3 5 1 6 3 5 6 10 3 10 6 11 3 11 6 12 4 11 12 7 8 3 13 7 12 3 8 7 2 3 12 14 13 3 8 2 3 3 3 2 0 3 3 0 4 3 4 0 5 3 4 5 10 3 4 10 9 3 9 10 11 3 9 11 8 3 9 8 3 3 3 4 9", " 0 13 6 0 1 2 3 4 5 3 0 5 6 3 6 5 7 3 7 5 8 3 8 5 4 3 8 4 9 3 9 4 10 3 10 4 3 3 10 3 2 3 10 2 1 3 9 10 1 3 9 1 0 5 0 6 7 8 9"}; };