System checked as an APSTS(v) with v=85 on {A,B,0,1,...(v-3)} with A=v-2, B=v-1, a block AB0, a generic labelling w.r.t. {A,B}, and no blocks 0w(w+4) (mod v-2). 1190 blocks follow. 0 1 8 0 2 9 0 3 12 0 4 5 0 6 13 0 7 16 0 10 17 0 11 20 0 14 21 0 15 24 0 18 25 0 19 28 0 22 29 0 23 32 0 26 33 0 27 36 0 30 37 0 31 40 0 34 41 0 35 44 0 38 45 0 39 48 0 42 49 0 43 52 0 46 53 0 47 56 0 50 57 0 51 60 0 54 61 0 55 64 0 58 65 0 59 68 0 62 69 0 63 72 0 66 73 0 67 76 0 70 77 0 71 80 0 74 81 0 75 82 0 78 79 0 83 84 1 2 83 1 3 60 1 4 84 1 5 76 1 6 56 1 7 40 1 9 16 1 10 22 1 11 49 1 12 74 1 13 43 1 14 68 1 15 62 1 17 24 1 18 32 1 19 72 1 20 23 1 21 39 1 25 66 1 26 42 1 27 52 1 28 36 1 29 41 1 30 71 1 31 51 1 33 46 1 34 78 1 35 57 1 37 53 1 38 59 1 44 73 1 45 63 1 47 77 1 48 54 1 50 70 1 55 80 1 58 67 1 61 75 1 64 82 1 65 81 1 69 79 2 3 71 2 4 36 2 5 84 2 6 78 2 7 69 2 8 12 2 10 56 2 11 62 2 13 31 2 14 80 2 15 30 2 16 64 2 17 48 2 18 46 2 19 68 2 20 59 2 21 50 2 22 47 2 23 25 2 24 74 2 26 67 2 27 40 2 28 44 2 29 54 2 32 34 2 33 79 2 35 75 2 37 39 2 38 81 2 41 73 2 42 63 2 43 66 2 45 77 2 49 52 2 51 53 2 55 70 2 57 82 2 58 76 2 60 72 2 61 65 3 4 83 3 5 54 3 6 82 3 7 46 3 8 84 3 9 14 3 10 20 3 11 44 3 13 69 3 15 78 3 16 18 3 17 53 3 19 56 3 21 30 3 22 55 3 23 68 3 24 61 3 25 63 3 26 72 3 27 66 3 28 73 3 29 32 3 31 49 3 33 57 3 34 65 3 35 58 3 36 80 3 37 40 3 38 79 3 39 62 3 41 52 3 42 81 3 43 64 3 45 59 3 47 75 3 48 74 3 50 76 3 51 77 3 67 70 4 6 58 4 7 67 4 8 37 4 9 80 4 10 54 4 11 39 4 12 51 4 13 66 4 14 43 4 15 76 4 16 71 4 17 22 4 18 34 4 19 42 4 20 31 4 21 63 4 23 55 4 24 78 4 25 60 4 26 48 4 27 68 4 28 35 4 29 53 4 30 77 4 32 72 4 33 40 4 38 69 4 41 49 4 44 47 4 45 50 4 46 79 4 52 70 4 56 65 4 57 74 4 59 62 4 61 82 4 64 73 4 75 81 5 6 83 5 7 52 5 8 59 5 9 49 5 10 44 5 11 28 5 12 21 5 13 24 5 14 51 5 15 66 5 16 69 5 17 32 5 18 22 5 19 62 5 20 42 5 23 61 5 25 70 5 26 58 5 27 74 5 29 56 5 30 72 5 31 79 5 33 71 5 34 67 5 35 64 5 36 40 5 37 60 5 38 57 5 39 77 5 41 78 5 43 68 5 45 47 5 46 50 5 48 55 5 53 75 5 63 82 5 65 73 5 80 81 6 7 57 6 8 68 6 9 84 6 10 40 6 11 67 6 12 53 6 14 63 6 15 45 6 16 55 6 17 44 6 18 48 6 19 52 6 20 49 6 21 29 6 22 32 6 23 37 6 24 25 6 26 73 6 27 76 6 28 64 6 30 66 6 31 34 6 33 61 6 35 62 6 36 69 6 38 39 6 41 47 6 42 43 6 46 81 6 50 74 6 51 72 6 54 60 6 59 65 6 70 80 6 71 79 6 75 77 7 8 83 7 9 17 7 10 68 7 11 81 7 12 84 7 13 15 7 14 49 7 18 26 7 19 80 7 20 66 7 21 72 7 22 64 7 23 62 7 24 36 7 25 28 7 27 70 7 29 33 7 30 61 7 31 60 7 32 71 7 34 82 7 35 43 7 37 59 7 38 73 7 39 76 7 41 48 7 42 77 7 44 50 7 45 56 7 47 54 7 51 63 7 53 79 7 55 75 7 58 78 7 65 74 8 9 24 8 10 70 8 11 21 8 13 41 8 14 32 8 15 57 8 16 74 8 17 67 8 18 47 8 19 50 8 20 69 8 22 65 8 23 33 8 25 35 8 26 40 8 27 72 8 28 42 8 29 51 8 30 73 8 31 48 8 34 52 8 36 44 8 38 56 8 39 45 8 43 61 8 46 76 8 49 54 8 53 81 8 55 78 8 58 64 8 60 66 8 62 82 8 63 79 8 71 75 8 77 80 9 10 83 9 11 46 9 12 66 9 13 35 9 15 71 9 18 36 9 19 54 9 20 25 9 21 75 9 22 82 9 23 81 9 26 52 9 27 38 9 28 55 9 29 57 9 30 60 9 31 62 9 32 51 9 33 77 9 34 56 9 37 79 9 39 43 9 40 50 9 41 69 9 42 44 9 45 64 9 47 58 9 48 68 9 53 76 9 59 61 9 63 73 9 65 67 9 70 74 9 72 78 10 11 52 10 12 37 10 13 84 10 14 58 10 15 65 10 16 77 10 18 38 10 19 82 10 21 78 10 23 45 10 24 27 10 25 29 10 26 69 10 28 80 10 30 48 10 31 33 10 32 50 10 34 57 10 35 49 10 36 75 10 39 74 10 41 63 10 42 76 10 43 81 10 46 61 10 47 66 10 51 59 10 53 71 10 55 73 10 60 64 10 62 67 10 72 79 11 12 83 11 13 38 11 14 70 11 15 23 11 16 84 11 17 78 11 18 68 11 19 53 11 22 69 11 24 80 11 25 34 11 26 71 11 27 82 11 29 72 11 30 36 11 31 63 11 32 65 11 33 51 11 35 37 11 40 73 11 41 45 11 42 64 11 43 77 11 47 60 11 48 57 11 50 66 11 54 56 11 55 58 11 59 74 11 61 76 11 75 79 12 13 76 12 14 67 12 15 80 12 16 41 12 17 56 12 18 39 12 19 65 12 20 58 12 22 49 12 23 44 12 24 46 12 25 68 12 26 64 12 27 48 12 28 34 12 29 62 12 30 78 12 31 73 12 32 81 12 33 82 12 35 45 12 36 77 12 38 63 12 40 79 12 42 60 12 43 69 12 47 61 12 50 72 12 52 55 12 54 70 12 57 75 12 59 71 13 14 83 13 16 51 13 17 20 13 18 81 13 19 37 13 21 23 13 22 30 13 25 59 13 26 80 13 27 29 13 28 40 13 32 79 13 33 50 13 34 42 13 36 71 13 39 70 13 44 57 13 45 74 13 46 75 13 47 62 13 48 82 13 49 65 13 52 77 13 53 78 13 54 72 13 55 68 13 56 64 13 58 60 13 61 73 13 63 67 14 15 75 14 16 53 14 17 84 14 18 42 14 19 73 14 20 27 14 22 60 14 23 77 14 24 54 14 25 37 14 26 61 14 28 81 14 29 76 14 30 57 14 31 69 14 33 66 14 34 45 14 35 82 14 36 62 14 38 64 14 39 72 14 40 47 14 41 65 14 44 78 14 46 52 14 48 71 14 50 59 14 55 79 14 56 74 15 16 83 15 17 43 15 18 53 15 19 70 15 20 84 15 21 40 15 22 54 15 25 73 15 26 28 15 27 44 15 29 35 15 31 46 15 32 67 15 33 59 15 34 47 15 36 55 15 37 42 15 38 68 15 39 41 15 48 77 15 49 79 15 50 64 15 51 61 15 52 56 15 58 63 15 60 81 15 69 74 15 72 82 16 17 49 16 19 43 16 20 37 16 21 57 16 22 26 16 23 66 16 24 38 16 25 81 16 27 75 16 28 68 16 29 40 16 30 67 16 31 82 16 32 42 16 33 44 16 34 62 16 35 48 16 36 60 16 39 46 16 45 61 16 47 70 16 50 78 16 52 58 16 54 80 16 56 79 16 59 72 16 63 65 16 73 76 17 18 83 17 19 61 17 21 60 17 23 27 17 25 42 17 26 55 17 28 30 17 29 65 17 31 39 17 33 58 17 34 79 17 35 59 17 36 72 17 37 68 17 38 82 17 40 45 17 41 74 17 46 62 17 47 71 17 50 51 17 52 66 17 54 64 17 57 80 17 63 70 17 69 76 17 73 75 17 77 81 18 19 29 18 20 75 18 21 84 18 23 78 18 24 70 18 27 80 18 28 31 18 30 76 18 33 67 18 35 65 18 37 69 18 40 57 18 41 54 18 43 72 18 44 61 18 45 55 18 49 64 18 50 56 18 51 73 18 52 62 18 58 66 18 59 82 18 60 63 18 71 77 18 74 79 19 20 83 19 21 36 19 22 38 19 23 57 19 24 84 19 25 48 19 26 76 19 27 35 19 30 31 19 32 45 19 33 75 19 34 40 19 39 63 19 41 71 19 44 77 19 46 60 19 47 55 19 49 69 19 51 78 19 58 74 19 59 66 19 64 81 19 67 79 20 21 47 20 22 33 20 24 63 20 26 45 20 28 52 20 29 46 20 30 54 20 32 70 20 34 38 20 35 51 20 36 50 20 39 56 20 40 48 20 41 80 20 43 74 20 44 81 20 53 82 20 55 67 20 57 76 20 60 77 20 61 72 20 62 78 20 64 65 20 68 71 20 73 79 21 22 83 21 24 48 21 25 46 21 26 62 21 27 51 21 28 33 21 31 55 21 32 59 21 34 81 21 35 79 21 37 41 21 38 74 21 42 67 21 43 54 21 44 64 21 45 69 21 49 73 21 52 71 21 53 77 21 56 58 21 61 68 21 65 80 21 66 70 21 76 82 22 23 58 22 24 34 22 25 84 22 27 41 22 28 56 22 31 77 22 35 67 22 36 37 22 39 50 22 40 51 22 42 53 22 43 59 22 44 70 22 45 80 22 46 68 22 48 61 22 52 76 22 57 66 22 62 73 22 63 78 22 71 74 22 72 75 22 79 81 23 24 83 23 26 35 23 28 84 23 29 39 23 30 75 23 31 76 23 34 80 23 36 54 23 38 40 23 41 51 23 42 73 23 43 82 23 46 65 23 47 74 23 48 59 23 49 53 23 50 67 23 52 69 23 56 63 23 60 79 23 64 71 23 70 72 24 26 68 24 28 62 24 29 66 24 30 52 24 31 41 24 32 53 24 33 64 24 35 72 24 37 76 24 39 75 24 40 69 24 42 57 24 43 71 24 44 55 24 45 51 24 47 65 24 49 81 24 50 73 24 56 59 24 58 82 24 60 67 24 77 79 25 26 83 25 27 61 25 30 47 25 31 65 25 32 55 25 33 38 25 36 49 25 39 78 25 40 76 25 41 43 25 44 45 25 50 58 25 51 62 25 52 79 25 53 69 25 54 71 25 56 80 25 57 72 25 64 75 25 67 77 25 74 82 26 27 56 26 29 84 26 30 41 26 31 81 26 32 78 26 34 77 26 36 57 26 37 75 26 38 50 26 39 59 26 43 46 26 44 53 26 47 79 26 49 74 26 51 66 26 54 63 26 60 82 26 65 70 27 28 83 27 30 81 27 31 78 27 32 84 27 33 54 27 34 55 27 37 64 27 39 60 27 42 62 27 43 57 27 45 49 27 46 58 27 47 50 27 53 63 27 59 67 27 65 79 27 69 77 27 71 73 28 29 43 28 32 47 28 37 45 28 38 54 28 39 66 28 41 76 28 46 82 28 48 53 28 49 77 28 50 60 28 51 65 28 57 78 28 58 70 28 59 79 28 61 67 28 63 75 28 69 71 28 72 74 29 30 83 29 31 47 29 34 44 29 36 63 29 37 74 29 38 67 29 42 70 29 45 82 29 48 60 29 49 78 29 50 68 29 52 73 29 55 71 29 58 77 29 59 75 29 61 81 29 64 79 29 69 80 30 32 35 30 33 84 30 34 39 30 38 80 30 40 62 30 42 51 30 43 55 30 44 63 30 45 53 30 46 64 30 49 70 30 50 79 30 56 69 30 58 59 30 65 82 30 68 74 31 32 83 31 35 56 31 36 84 31 37 44 31 38 71 31 42 58 31 43 70 31 45 68 31 50 61 31 52 67 31 53 57 31 54 59 31 64 72 31 66 75 31 74 80 32 33 36 32 37 73 32 38 48 32 39 64 32 40 75 32 41 66 32 43 60 32 44 52 32 46 63 32 49 57 32 54 62 32 56 82 32 58 69 32 61 77 32 68 80 32 74 76 33 34 83 33 35 76 33 37 70 33 39 52 33 41 81 33 42 78 33 43 56 33 45 72 33 47 63 33 48 49 33 53 68 33 55 65 33 60 74 33 62 80 33 69 73 34 35 46 34 36 59 34 37 84 34 43 73 34 48 51 34 49 68 34 50 69 34 53 60 34 54 76 34 58 72 34 61 63 34 64 66 34 70 71 34 74 75 35 36 83 35 38 61 35 39 42 35 40 84 35 41 50 35 47 53 35 52 74 35 54 55 35 60 80 35 63 69 35 66 81 35 68 70 35 71 78 35 73 77 36 38 52 36 39 82 36 41 67 36 42 56 36 43 65 36 45 70 36 46 51 36 47 64 36 48 58 36 53 74 36 61 79 36 66 76 36 68 78 36 73 81 37 38 83 37 43 50 37 46 72 37 47 78 37 48 67 37 49 82 37 51 80 37 52 65 37 54 81 37 55 57 37 56 61 37 58 71 37 62 77 37 63 66 38 41 84 38 42 72 38 43 78 38 44 49 38 46 77 38 47 51 38 53 66 38 55 62 38 58 75 38 60 70 38 65 76 39 40 83 39 44 84 39 47 73 39 49 55 39 51 68 39 53 58 39 54 79 39 57 65 39 61 69 39 67 80 39 71 81 40 41 82 40 42 59 40 43 49 40 44 46 40 52 60 40 53 65 40 54 67 40 55 81 40 56 70 40 58 80 40 61 78 40 63 71 40 64 68 40 66 74 40 72 77 41 42 83 41 44 62 41 46 56 41 53 64 41 55 72 41 57 68 41 58 79 41 59 77 41 60 61 41 70 75 42 45 84 42 46 71 42 47 82 42 48 65 42 50 55 42 52 75 42 54 69 42 61 74 42 66 80 42 68 79 43 44 83 43 45 58 43 47 67 43 48 84 43 51 75 43 53 80 43 62 79 43 63 76 44 48 75 44 51 71 44 54 58 44 56 66 44 59 69 44 60 68 44 65 72 44 67 74 44 76 79 44 80 82 45 46 83 45 48 76 45 52 81 45 54 73 45 57 62 45 60 75 45 65 78 45 66 79 45 67 71 46 47 80 46 48 69 46 49 84 46 54 66 46 55 74 46 57 70 46 59 73 46 67 78 47 48 83 47 49 72 47 52 84 47 57 69 47 59 76 47 68 81 48 50 81 48 52 63 48 56 72 48 62 64 48 66 78 48 70 79 48 73 80 49 50 83 49 51 58 49 56 71 49 59 63 49 60 76 49 61 80 49 62 75 49 66 67 50 52 54 50 53 84 50 62 71 50 63 80 50 65 75 50 77 82 51 52 83 51 54 74 51 55 76 51 56 84 51 57 79 51 64 69 51 67 81 51 70 82 52 53 61 52 57 59 52 64 80 52 68 72 52 78 82 53 54 83 53 55 59 53 56 67 53 62 70 53 72 73 54 57 84 54 65 77 54 68 82 54 75 78 55 56 83 55 60 84 55 61 66 55 63 77 55 69 82 56 57 77 56 60 62 56 68 75 56 73 78 56 76 81 57 58 83 57 60 73 57 61 71 57 63 81 57 64 67 58 61 84 58 62 81 58 68 73 59 60 83 59 64 84 59 70 81 59 78 80 60 65 71 60 69 78 61 62 83 61 64 70 62 63 74 62 65 84 62 66 72 62 68 76 63 64 83 63 68 84 64 74 78 64 76 77 65 66 83 65 68 69 66 68 77 66 69 84 66 71 82 67 68 83 67 69 75 67 72 84 67 73 82 69 70 83 69 72 81 70 73 84 70 76 78 71 72 83 71 76 84 72 76 80 73 74 83 74 77 84 75 76 83 75 80 84 77 78 83 78 81 84 79 80 83 79 82 84 81 82 83 cycle on {A,B} of length 82 1 2 5 6 9 10 13 14 17 18 21 22 25 26 29 30 33 34 37 38 41 42 45 46 49 50 53 54 57 58 61 62 65 66 69 70 73 74 77 78 81 82 79 80 75 76 71 72 67 68 63 64 59 60 55 56 51 52 47 48 43 44 39 40 35 36 31 32 27 28 23 24 19 20 15 16 11 12 7 8 3 4 pairs with 0 and differences mod v-2 1 8 7 2 9 7 3 12 9 4 5 1 6 13 7 7 16 9 10 17 7 11 20 9 14 21 7 15 24 9 18 25 7 19 28 9 22 29 7 23 32 9 26 33 7 27 36 9 30 37 7 31 40 9 34 41 7 35 44 9 38 45 7 39 48 9 42 49 7 43 52 9 46 53 7 47 56 9 50 57 7 51 60 9 54 61 7 55 64 9 58 65 7 59 68 9 62 69 7 63 72 9 66 73 7 67 76 9 70 77 7 71 80 9 74 81 7 75 82 7 78 79 1