#BEGIN: [Tue Sep 26 07:39:18 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance007_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance007_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance007_graph002.col /benchmark/random_instance/random_instance007_graph002_01.dat
c /benchmark/random_instance/random_instance007_graph002.col
c /benchmark/random_instance/random_instance007_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID f6ac46fa775409053c14cb8424ccec4dc62bcd32cb553f3183c566b8f7aa6e4a
s 51 76 72 10 65 79 47 81 19 71 70 84 89 36 35 26 74 27 14 25 11 8 41 55 12 50 34 62 4 38
t 48 82 59 87 2 35 17 47 39 33 42 12 89 83 43 49 67 91 58 34 26 71 25 22 44 75 66 55 11 21
a YES
a 4 8 10 11 12 14 19 25 26 27 34 35 36 38 41 47 50 51 55 62 65 70 71 72 74 76 79 81 84 89
a 4 8 10 11 12 14 19 25 26 27 34 35 38 41 42 47 50 51 55 62 65 70 71 72 74 76 79 81 84 89
a 4 8 10 11 12 14 19 25 26 34 35 38 41 42 47 50 51 55 62 65 67 70 71 72 74 76 79 81 84 89
a 4 5 8 10 11 12 14 19 25 26 34 35 38 41 42 47 50 51 55 62 65 67 71 72 74 76 79 81 84 89
a 4 5 7 8 10 11 12 14 19 25 26 34 35 38 42 47 50 51 55 62 65 67 71 72 74 76 79 81 84 89
a 4 5 7 8 10 11 12 14 19 25 26 35 38 42 43 47 50 51 55 62 65 67 71 72 74 76 79 81 84 89
a 4 5 6 7 8 10 11 12 14 19 25 26 35 38 42 43 47 50 51 55 62 65 67 71 74 76 79 81 84 89
a 4 5 6 7 8 10 11 12 14 19 25 26 35 38 42 43 47 50 51 55 62 65 67 71 72 76 79 81 84 89
a 4 5 6 7 8 10 11 12 14 19 25 26 35 38 42 43 47 50 51 55 58 62 67 71 72 76 79 81 84 89
a 4 5 6 7 8 10 11 12 14 19 25 26 35 38 42 43 47 50 51 55 58 62 67 71 74 76 79 81 84 89
a 4 5 6 7 8 10 11 12 14 18 19 25 26 35 38 42 43 47 50 51 55 58 62 71 74 76 79 81 84 89
a 4 5 6 7 8 10 12 14 18 19 25 26 35 38 42 43 47 50 51 55 58 62 65 71 74 76 79 81 84 89
a 4 5 6 7 8 10 11 12 14 18 19 25 26 35 38 42 43 47 50 51 55 58 62 65 71 74 76 79 81 84
a 4 5 6 7 8 10 11 12 14 18 19 25 26 35 38 42 43 50 51 55 58 62 65 71 74 76 79 81 84 89
a 4 5 6 7 8 10 11 12 14 18 19 25 26 35 38 42 50 51 55 58 62 65 71 74 76 79 81 84 85 89
a 4 5 6 7 8 10 11 12 14 18 19 25 26 35 38 42 50 51 52 55 58 62 65 71 74 76 79 81 84 85
a 4 5 6 7 8 10 11 12 14 18 19 25 26 35 38 42 43 50 51 52 55 58 62 65 71 74 76 79 81 84
a 4 5 6 7 10 11 12 14 18 19 25 26 35 38 42 43 50 51 52 55 58 62 65 71 74 76 79 81 84 89
a 4 5 6 7 10 11 12 14 18 19 25 26 35 38 42 43 47 50 51 52 55 58 62 65 71 74 76 79 81 84
a 4 5 6 7 10 11 12 14 18 19 25 26 27 35 38 42 43 47 50 51 55 58 62 65 71 74 76 79 81 84
a 4 5 6 7 11 12 14 18 19 25 26 27 35 38 40 42 43 47 50 51 55 58 62 65 71 74 76 79 81 84
a 4 6 7 11 12 14 18 19 25 26 27 35 38 40 42 43 45 47 50 51 55 58 62 65 71 74 76 79 81 84
a 4 6 7 11 12 14 18 19 25 26 27 35 38 40 42 45 47 50 51 55 58 62 65 71 74 76 79 81 84 85
a 4 5 6 7 11 12 14 18 19 25 26 27 35 38 40 42 45 47 50 51 55 58 62 65 71 74 76 79 84 85
a 4 5 6 7 11 12 14 18 19 25 26 27 35 38 40 42 43 45 47 50 51 55 58 62 65 71 74 76 79 84
a 4 5 6 7 11 12 14 18 19 25 26 27 35 38 40 42 43 45 47 50 51 55 58 62 65 71 76 79 84 90
a 5 6 7 11 12 14 18 19 25 26 27 35 38 40 42 43 45 47 50 51 55 58 62 65 71 74 76 79 84 90
a 4 5 6 7 11 12 14 18 19 25 26 27 35 38 40 42 45 47 50 51 55 58 62 65 71 74 76 79 84 90
a 4 5 6 7 11 12 14 18 19 25 26 27 35 38 40 42 45 47 50 51 55 58 62 65 71 74 76 79 84 89
a 4 5 6 7 11 12 18 19 25 26 27 35 38 40 42 45 47 50 51 55 58 62 65 71 74 76 79 84 85 89
a 4 5 6 7 11 12 14 18 19 25 26 35 38 40 42 45 47 50 51 55 58 62 65 71 74 76 79 84 85 89
a 4 5 6 7 11 12 14 18 25 26 35 38 40 42 45 47 50 51 55 58 61 62 65 71 74 76 79 84 85 89
a 4 5 6 7 11 12 14 18 25 26 35 38 40 42 43 45 47 50 51 55 58 61 62 65 71 74 76 79 84 89
a 4 5 6 7 11 12 14 18 25 26 35 38 40 42 43 45 47 50 51 55 58 61 62 65 71 74 76 79 81 84
a 4 5 6 7 11 12 14 18 25 26 35 38 40 42 45 47 50 51 55 58 61 62 65 71 74 76 79 81 84 85
a 4 5 6 7 8 11 12 14 18 25 26 35 38 40 42 47 50 51 55 58 61 62 65 71 74 76 79 81 84 85
a 4 5 6 7 8 11 12 14 18 25 26 27 35 38 40 42 47 50 51 55 58 61 62 65 71 74 76 79 84 85
a 4 5 6 7 8 11 12 14 18 19 25 26 27 35 38 40 42 47 50 51 55 58 62 65 71 74 76 79 84 85
a 4 5 6 7 8 11 12 14 18 19 25 26 27 35 38 40 42 47 50 51 55 58 62 65 74 76 79 84 85 89
a 4 5 6 7 8 11 12 14 18 19 25 26 27 35 38 40 42 47 50 51 55 58 62 65 74 79 81 84 85 89
a 4 5 6 7 11 12 14 18 19 25 26 27 35 38 40 42 45 47 50 51 55 58 62 65 74 79 81 84 85 89
a 4 5 6 7 11 12 14 18 19 25 26 27 35 38 40 42 45 47 50 51 55 58 62 65 71 74 79 81 85 89
a 4 5 6 7 11 12 14 18 19 25 26 27 35 38 40 42 45 47 50 51 55 58 62 65 71 74 76 79 81 85
a 4 5 6 7 11 12 14 18 19 25 26 27 35 38 42 45 47 50 51 55 58 62 65 71 74 76 79 81 84 85
a 4 5 6 7 11 12 14 18 19 25 26 27 38 42 45 47 50 51 55 58 62 65 71 74 76 79 81 84 85 89
a 5 6 7 10 11 12 14 18 19 25 26 27 38 42 45 47 50 51 55 58 62 65 71 74 76 79 81 84 85 89
a 4 5 6 7 10 11 12 14 18 19 25 26 27 38 42 45 47 50 51 55 58 62 65 71 74 76 79 81 84 85
a 4 5 6 7 10 11 12 14 18 19 25 26 27 35 38 42 45 47 50 51 55 62 65 71 74 76 79 81 84 85
a 4 5 6 7 10 11 12 14 18 19 25 26 27 35 38 42 45 47 50 51 55 62 65 71 72 74 76 79 81 84
a 4 5 6 7 10 11 12 14 19 25 26 27 35 38 42 45 47 50 51 55 62 65 71 72 74 76 79 81 84 89
a 4 5 6 7 10 11 12 14 19 25 26 27 38 42 45 47 50 51 55 58 62 65 71 72 74 76 79 81 84 89
a 4 5 6 7 11 12 14 19 25 26 27 35 38 42 45 47 50 51 55 58 62 65 71 72 74 76 79 81 84 89
a 4 5 6 7 10 11 12 14 19 25 26 35 38 42 45 47 50 51 55 58 62 65 71 72 74 76 79 81 84 89
a 4 5 6 7 10 11 12 14 19 25 26 27 35 38 42 45 47 50 51 55 58 62 65 71 72 74 76 79 81 84
a 4 5 6 7 10 11 12 14 19 25 26 27 35 38 42 43 45 47 50 51 55 62 65 71 72 74 76 79 81 84
a 4 6 7 10 11 12 14 19 25 26 27 35 38 42 43 45 47 50 51 55 58 62 65 71 72 74 76 79 81 84
a 4 5 6 10 11 12 14 19 25 26 27 35 38 42 43 45 47 50 51 55 58 62 65 71 72 74 76 79 81 84
a 4 5 6 7 10 11 12 14 19 26 27 35 38 42 43 45 47 50 51 55 58 62 65 71 72 74 76 79 81 84
a 4 5 6 7 10 11 12 14 19 25 26 27 35 38 42 43 45 47 50 51 55 58 62 65 71 72 74 76 79 84
a 4 5 6 7 10 11 12 14 18 19 25 26 27 35 38 42 43 45 47 50 51 55 58 65 71 72 74 76 79 84
a 3 4 5 6 7 10 11 12 14 18 19 25 26 35 38 42 43 45 47 50 51 55 58 65 71 72 74 76 79 84
a 3 4 5 6 7 10 11 14 18 19 25 26 35 38 42 43 45 47 50 51 55 58 65 71 72 74 76 79 81 84
a 4 5 6 7 10 11 14 18 19 25 26 35 38 42 43 45 47 50 51 55 58 65 71 72 74 76 79 81 84 89
a 4 5 6 7 10 11 12 14 18 25 26 35 38 42 43 45 47 50 51 55 58 65 71 72 74 76 79 81 84 89
a 4 5 6 7 10 11 12 14 18 25 26 35 38 43 45 47 50 51 52 55 58 65 71 72 74 76 79 81 84 89
a 4 5 6 7 10 11 12 14 18 25 26 35 38 42 43 45 47 50 51 52 55 65 71 72 74 76 79 81 84 89
a 4 5 6 7 10 11 12 14 18 25 26 35 38 42 43 45 47 50 51 52 55 61 65 71 72 74 76 79 81 84
a 4 5 6 10 11 12 14 18 25 26 35 38 42 43 45 47 50 51 52 55 61 65 71 72 74 76 79 81 84 89
a 4 5 6 11 12 14 18 25 26 35 38 40 42 43 45 47 50 51 52 55 61 65 71 72 74 76 79 81 84 89
a 4 5 6 11 12 14 18 25 26 35 38 40 42 43 45 47 50 51 52 55 61 62 65 71 72 74 76 79 81 84
a 4 5 6 11 12 18 25 26 35 38 40 42 43 44 45 47 50 51 52 55 61 62 65 71 72 74 76 79 81 84
a 4 5 6 7 11 18 25 26 35 38 40 42 43 44 45 47 50 51 52 55 61 62 65 71 72 74 76 79 81 84
a 4 5 6 7 11 18 25 26 35 38 40 42 43 44 45 47 50 51 52 55 61 62 65 71 72 74 79 81 84 89
a 4 5 6 7 11 18 25 26 35 38 40 42 44 45 47 50 51 52 55 61 62 65 71 72 74 79 81 84 85 89
a 4 5 7 11 12 18 25 26 35 38 40 42 44 45 47 50 51 52 55 61 62 65 71 72 74 79 81 84 85 89
a 4 5 6 7 11 12 18 25 26 35 38 40 42 44 45 47 50 51 52 55 61 62 65 71 72 79 81 84 85 89
a 4 5 6 7 11 12 16 18 25 26 35 38 40 42 45 47 50 51 52 55 61 62 65 71 72 79 81 84 85 89
a 4 5 6 7 11 12 16 18 25 26 35 38 40 42 45 47 50 51 52 55 58 61 62 65 71 72 79 81 84 85
a 4 5 6 7 11 12 16 18 25 26 35 38 40 42 44 45 50 51 52 55 58 61 62 65 71 72 79 81 84 85
a 4 5 6 7 11 12 16 18 25 26 35 38 40 42 44 45 47 50 52 55 58 61 62 65 71 72 79 81 84 85
a 4 5 6 7 11 12 16 18 25 26 35 38 40 42 44 45 47 50 52 55 58 61 62 65 71 72 79 81 83 85
a 4 5 6 7 11 12 16 18 26 35 38 40 42 44 45 47 50 52 55 58 61 62 65 71 72 79 81 83 85 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 44 45 47 50 55 58 61 62 65 71 72 79 81 83 85 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 44 45 47 50 55 58 61 62 65 71 72 79 81 83 84 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 44 45 47 50 55 58 61 62 65 71 72 74 79 81 84 89
a 4 5 6 7 11 12 16 25 26 27 35 38 40 42 44 45 47 50 55 58 61 62 65 71 72 74 79 81 84 89
a 4 5 6 7 11 12 16 25 26 27 35 38 40 42 44 45 47 50 55 58 61 62 65 71 72 74 79 81 83 84
a 4 5 6 7 11 12 16 18 25 26 27 35 38 40 42 44 45 47 50 55 58 61 62 65 71 72 74 79 81 83
a 4 5 6 7 11 12 16 18 25 26 27 35 38 40 42 44 45 47 50 58 61 62 65 71 72 74 79 81 83 89
a 4 6 7 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 50 58 61 62 65 71 72 74 79 81 83 89
a 4 6 7 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 49 50 58 61 62 65 71 74 79 81 83 89
a 4 6 7 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 48 49 50 58 61 62 65 71 74 79 81 83
a 4 5 6 7 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 48 49 50 58 61 62 65 71 74 79 81
a 4 5 6 7 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 48 49 50 58 61 62 65 71 74 79 84
a 4 5 6 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 48 49 50 58 61 62 65 71 74 79 81 84
a 4 5 6 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 48 49 50 55 58 61 62 65 71 74 79 81
a 4 5 6 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 48 49 50 55 58 61 65 71 74 79 81 91
a 4 5 6 11 12 16 18 25 26 27 35 38 40 42 44 45 47 48 49 50 55 58 61 65 71 74 79 81 89 91
a 4 5 6 11 12 16 18 25 26 27 35 38 40 42 44 45 47 48 49 50 55 58 61 65 71 74 79 81 83 89
a 4 5 6 11 12 16 18 25 26 27 35 38 40 42 44 45 47 48 49 55 58 61 65 68 71 74 79 81 83 89
a 4 6 11 12 16 18 25 26 27 35 38 39 40 42 44 45 47 48 49 55 58 61 65 68 71 74 79 81 83 89
a 4 6 7 11 12 16 18 25 26 27 35 38 39 40 42 44 45 47 48 49 55 58 61 65 71 74 79 81 83 89
a 4 6 11 12 16 18 25 26 27 35 38 39 40 42 43 44 45 47 48 49 55 58 61 65 71 74 79 81 83 89
a 4 6 11 12 16 18 25 26 27 35 38 39 40 43 44 45 47 48 49 50 55 58 61 65 71 74 79 81 83 89
a 4 6 7 11 12 16 18 25 26 27 35 38 39 40 43 44 45 47 48 49 50 55 58 61 65 71 79 81 83 89
a 4 6 7 11 12 16 18 25 26 27 35 38 39 40 42 43 44 45 47 48 49 50 55 58 61 65 71 79 83 89
a 4 6 7 11 12 16 18 25 26 27 35 38 39 40 43 44 45 47 48 49 50 55 58 61 65 71 79 83 84 89
a 4 6 7 11 12 16 18 25 26 27 35 38 39 40 42 43 44 45 47 48 49 50 55 58 61 65 71 79 84 89
a 4 6 7 11 12 16 18 25 26 27 35 38 39 40 42 43 44 45 47 48 50 55 58 61 65 71 76 79 84 89
a 4 6 7 11 12 16 18 25 26 27 38 39 40 42 43 44 45 47 48 50 55 58 61 65 71 73 76 79 84 89
a 4 6 7 11 12 16 18 25 26 27 38 39 40 42 43 44 45 47 48 50 55 58 61 65 73 74 76 79 84 89
a 4 6 7 11 12 16 18 25 26 38 39 40 42 43 44 45 47 48 50 55 58 61 65 73 74 76 79 81 84 89
a 4 6 7 11 12 16 18 25 26 27 38 39 40 42 43 44 45 47 48 50 55 58 61 65 74 76 79 81 84 89
a 4 6 7 11 12 18 25 26 27 38 39 40 42 43 44 45 47 48 50 55 58 61 65 74 76 79 81 83 84 89
a 4 6 7 11 12 16 18 25 26 27 38 39 40 42 43 44 45 47 48 50 55 58 61 65 74 76 79 81 83 89
a 4 5 6 7 11 12 16 18 25 26 27 38 40 42 43 44 45 47 48 50 55 58 61 65 74 76 79 81 83 89
a 4 5 6 7 11 12 16 18 25 26 27 38 40 42 43 44 45 47 48 50 58 61 65 71 74 76 79 81 83 89
a 4 5 6 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 48 50 58 61 65 71 74 76 79 81 83 89
a 4 5 6 7 11 12 16 18 25 26 27 35 38 40 42 44 45 47 48 50 58 61 65 71 74 76 79 81 83 89
a 4 5 6 7 11 12 16 18 25 26 27 35 38 40 42 44 45 47 48 58 61 62 65 71 74 76 79 81 83 89
a 4 5 6 7 11 12 16 18 25 26 27 35 38 40 42 44 45 47 48 50 58 61 62 65 71 76 79 81 83 89
a 4 5 6 7 11 12 16 18 25 26 27 35 38 40 42 44 45 47 48 50 55 58 61 62 65 71 76 79 81 83
a 4 5 6 7 11 12 16 18 25 26 27 35 38 40 42 44 45 47 48 50 55 58 61 62 65 71 76 79 81 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 44 45 47 48 50 55 58 61 62 65 71 76 77 79 81 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 44 45 47 48 50 55 58 61 62 65 71 76 77 79 81 84
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 44 45 47 48 50 55 58 61 62 65 71 76 79 81 84 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 44 45 47 48 50 55 58 61 62 65 71 76 79 81 83 89
a 4 5 6 7 11 12 18 26 27 35 38 40 42 43 44 45 47 48 50 55 58 61 62 65 71 76 79 81 83 89
a 4 5 6 7 11 12 18 26 27 35 38 40 42 43 44 45 47 48 50 55 58 62 65 71 74 76 79 81 83 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 48 50 55 62 65 71 74 76 79 81 83 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 48 50 55 58 62 65 71 74 76 79 81 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 48 50 55 58 62 71 74 76 77 79 81 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 45 47 48 50 55 58 62 71 74 76 77 79 81 84 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 48 50 55 58 62 71 74 76 77 79 81 84
a 4 5 6 7 11 12 16 18 27 35 38 40 42 43 44 45 47 48 50 55 58 62 71 74 76 77 79 81 84 89
a 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 48 50 55 58 62 71 74 76 77 79 81 84 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 48 50 55 58 62 71 74 76 79 81 84 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 48 50 55 58 62 71 74 76 79 81 83 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 50 55 58 62 65 71 74 76 79 81 83 89
a 4 5 6 7 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 50 55 58 62 65 71 74 76 79 81 89
a 4 5 6 7 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 50 55 62 65 71 74 76 79 81 83 89
a 4 5 6 7 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 55 62 65 68 71 74 76 79 81 83 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 55 62 65 68 71 74 76 77 79 81 83 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 50 55 62 65 71 74 76 77 79 81 83 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 55 61 62 65 71 74 76 77 79 81 83 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 50 55 61 62 65 71 74 76 77 79 81 83
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 50 53 55 61 62 65 71 74 76 77 81 83
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 50 53 55 61 62 65 71 74 76 77 81 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 48 50 53 55 61 62 65 71 74 76 77 81
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 48 53 55 61 62 65 68 71 74 76 77 81
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 48 53 55 58 62 65 68 71 74 76 77 81
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 48 53 55 58 62 65 68 71 76 77 81 84
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 48 53 58 62 65 68 71 74 76 77 81 84
a 4 5 6 7 9 12 16 18 26 27 35 38 40 42 43 44 45 47 48 53 58 62 65 68 71 74 76 77 81 84
a 4 5 6 7 9 12 16 18 26 27 35 38 40 42 43 44 45 47 48 58 62 65 68 71 74 76 77 79 81 84
a 4 5 6 7 9 12 16 18 26 27 35 38 40 42 43 44 45 47 48 62 65 68 71 74 76 77 79 81 84 89
a 4 6 7 9 12 16 18 26 27 35 38 40 42 43 44 45 47 48 55 62 65 68 71 74 76 77 79 81 84 89
a 4 6 7 9 12 16 18 26 27 35 38 40 42 43 44 45 47 48 58 62 65 68 71 74 76 77 79 81 84 89
a 4 5 6 7 9 12 16 18 26 27 35 38 40 42 43 44 45 47 48 58 62 65 68 71 74 76 77 81 84 89
a 4 5 6 7 9 12 16 18 26 27 35 38 40 42 43 44 45 47 48 58 62 65 68 71 74 76 79 81 84 89
a 4 5 6 7 9 12 16 18 26 27 35 38 40 42 43 44 45 47 51 58 62 65 68 71 74 76 79 81 84 89
a 4 5 6 7 9 12 16 18 26 27 35 38 40 42 43 44 45 47 58 61 62 65 68 71 74 76 79 81 84 89
a 4 5 6 7 9 12 16 18 26 27 35 38 40 42 43 44 45 47 48 58 61 62 65 68 71 74 79 81 84 89
a 4 6 7 9 12 16 18 26 27 35 38 39 40 42 43 44 45 47 48 58 61 62 65 68 71 74 79 81 84 89
a 4 6 9 12 16 18 25 26 27 35 38 39 40 42 43 44 45 47 48 58 61 62 65 68 71 74 79 81 84 89
a 4 6 7 9 12 16 18 25 26 27 35 38 39 40 42 43 44 45 47 48 58 61 62 65 68 71 74 79 81 84
a 4 5 6 7 9 12 16 18 25 26 27 35 38 40 42 43 44 45 47 48 58 61 62 65 68 71 74 79 81 84
a 4 5 6 7 9 12 16 18 25 26 27 35 38 40 42 43 44 45 47 51 58 61 62 65 68 71 74 79 81 84
a 4 5 6 7 9 12 16 18 25 26 27 35 38 40 42 43 44 45 47 51 58 61 65 68 71 74 79 81 84 91
a 4 5 6 7 9 12 16 18 25 26 27 38 40 42 43 44 45 47 51 54 58 61 65 68 71 74 79 81 84 91
a 4 5 6 7 9 12 16 18 25 26 27 32 38 42 43 44 45 47 51 54 58 61 65 68 71 74 79 81 84 91
a 4 5 6 7 9 12 16 18 25 26 27 32 38 42 43 44 45 47 51 54 58 61 65 68 71 74 79 81 84 89
a 4 6 7 9 12 16 18 25 26 27 32 38 42 43 44 45 47 51 54 58 61 65 68 71 73 74 79 81 84 89
a 4 6 7 9 12 16 18 25 26 27 32 38 42 43 44 45 47 51 54 58 61 65 68 71 73 74 79 81 84 91
a 3 4 6 7 9 12 16 18 25 26 27 32 38 42 43 44 45 47 51 54 58 61 65 68 71 73 74 79 81 84
a 3 4 6 7 9 12 16 18 25 26 27 32 38 42 43 44 45 47 51 54 58 61 65 68 71 73 74 79 81 91
a 3 4 6 7 9 12 16 18 25 26 27 32 38 42 43 44 45 47 54 58 61 65 68 71 73 74 79 81 84 91
a 3 4 6 7 11 12 16 18 25 26 27 32 38 42 43 44 45 47 54 58 61 65 68 71 73 74 79 81 84 91
a 3 4 6 7 11 12 16 18 25 26 27 38 40 42 43 44 45 47 54 58 61 65 68 71 73 74 79 81 84 91
a 3 4 6 7 11 12 16 18 25 26 27 38 40 42 43 44 45 47 50 54 58 61 65 71 73 74 79 81 84 91
a 3 4 6 7 11 12 16 18 25 26 27 38 40 42 43 44 45 47 50 51 54 58 61 65 71 74 79 81 84 91
a 3 4 6 7 11 12 16 18 25 26 27 38 40 42 43 44 45 47 51 54 58 61 65 68 71 74 79 81 84 91
a 3 4 7 11 12 16 18 25 26 27 38 40 42 43 44 45 47 51 54 58 61 65 68 71 73 74 79 81 84 91
a 3 4 6 7 11 12 16 18 25 26 27 38 40 42 43 44 45 47 51 54 58 61 65 68 71 73 74 79 81 84
a 3 4 6 7 11 12 16 18 25 26 27 38 40 42 43 44 45 47 49 51 54 58 61 65 68 71 73 74 81 84
a 3 4 6 7 11 12 16 18 25 26 27 38 40 42 43 44 45 47 49 50 51 54 58 61 65 71 73 74 81 84
a 3 4 6 7 11 12 16 18 25 26 27 38 42 43 44 45 47 49 50 51 54 58 61 65 71 73 74 81 84 91
a 3 4 6 7 11 12 16 18 25 26 27 38 40 42 43 44 45 47 49 50 51 54 58 61 65 71 73 74 81 91
a 3 4 6 7 11 12 16 18 25 26 27 38 40 42 43 44 45 47 48 49 50 54 58 61 65 71 73 74 81 91
a 3 4 6 7 11 12 16 18 25 26 27 31 38 40 42 43 44 45 47 48 49 50 54 58 61 65 71 73 74 81
a 3 4 6 7 9 12 16 18 25 26 27 31 38 40 42 43 44 45 47 48 49 50 54 58 61 65 71 73 74 81
a 3 4 6 7 9 12 16 18 25 26 27 31 38 40 42 43 44 45 47 48 49 50 54 58 61 65 71 74 79 81
a 4 6 7 9 12 16 18 25 26 27 31 38 40 42 43 44 45 47 48 49 50 54 58 61 65 71 73 74 79 81
a 3 4 6 7 9 16 18 25 26 27 31 38 40 42 43 44 45 47 48 49 50 54 58 61 65 71 73 74 79 81
a 3 4 6 7 9 16 18 25 26 31 38 40 42 43 44 45 47 48 49 50 52 54 58 61 65 71 73 74 79 81
a 3 4 6 7 9 12 16 18 25 26 31 38 40 42 44 45 47 48 49 50 52 54 58 61 65 71 73 74 79 81
a 3 4 6 7 9 12 16 18 25 26 31 38 40 42 43 44 45 47 48 49 50 54 58 61 65 71 73 74 79 81
a 3 4 6 7 9 12 16 18 25 26 38 40 42 43 44 45 47 48 49 50 54 58 61 65 71 73 74 79 81 84
a 3 4 6 7 9 12 16 18 25 26 38 40 42 43 44 45 47 48 49 50 52 58 61 65 71 73 74 79 81 84
a 3 4 6 7 9 12 16 18 25 26 38 40 42 43 44 45 47 48 49 50 52 54 58 61 65 71 73 74 81 84
a 3 4 6 7 9 12 16 18 25 26 38 40 42 43 44 47 48 49 50 52 54 58 61 65 71 73 74 79 81 84
a 3 4 6 7 12 16 18 25 26 38 40 42 43 44 47 48 49 50 52 54 55 58 61 65 71 73 74 79 81 84
a 3 4 6 7 12 16 18 25 26 31 38 40 42 43 44 47 48 49 50 52 54 55 58 61 65 71 73 74 79 81
a 3 4 6 7 12 16 18 25 26 31 33 38 40 42 43 44 47 48 49 50 52 54 55 58 61 65 71 73 74 81
a 3 4 6 7 12 16 18 25 26 31 33 38 40 42 43 44 47 48 49 50 52 54 55 58 61 65 71 73 74 83
a 3 4 6 7 12 16 18 25 26 31 38 40 42 43 44 47 48 49 50 52 54 55 58 61 65 71 73 74 79 83
a 3 4 6 7 12 16 18 25 26 31 38 40 42 43 44 45 47 48 49 50 52 54 55 58 61 65 71 73 74 79
a 3 4 6 12 16 18 25 26 31 38 40 42 43 44 45 47 48 49 50 52 54 55 58 61 65 71 73 74 79 83
a 3 4 12 16 18 25 26 31 38 40 42 43 44 45 47 48 49 50 52 54 55 58 61 65 71 73 74 79 81 83
a 4 7 12 16 18 25 26 31 38 40 42 43 44 45 47 48 49 50 52 54 55 58 61 65 71 73 74 79 81 83
a 4 7 12 16 18 25 26 31 38 40 42 43 44 45 47 48 49 52 54 55 58 61 65 68 71 73 74 79 81 83
a 4 7 12 16 18 25 26 31 38 40 42 43 44 45 47 48 49 54 55 58 61 65 68 71 73 74 79 81 83 91
a 4 7 12 16 18 25 26 27 31 38 40 42 43 44 45 47 48 49 54 55 58 61 65 68 71 73 74 79 81 83
a 3 4 7 16 18 25 26 27 31 38 40 42 43 44 45 47 48 49 54 55 58 61 65 68 71 73 74 79 81 83
a 4 7 16 18 25 26 27 31 38 40 42 43 44 45 47 48 49 54 55 58 61 65 68 71 73 74 79 81 83 89
a 4 7 16 18 25 26 27 38 40 42 43 44 45 47 48 49 54 55 58 61 65 68 71 73 74 79 81 83 84 89
a 4 7 12 16 18 25 26 27 38 40 42 43 44 45 47 48 49 54 55 58 61 65 68 71 73 74 79 81 83 84
a 4 6 7 12 16 18 25 26 27 38 40 42 43 44 45 47 48 49 54 55 58 61 65 68 71 73 74 79 83 84
a 4 5 6 7 12 16 18 25 26 27 38 40 42 43 44 45 47 48 49 54 55 58 61 65 68 71 74 79 83 84
a 4 5 6 7 11 12 16 18 25 26 27 38 40 42 44 45 47 48 49 54 55 58 61 65 68 71 74 79 83 84
a 4 6 7 11 12 16 18 25 26 27 38 40 42 44 45 47 48 49 54 55 58 61 65 68 71 73 74 79 83 84
a 4 6 7 11 12 16 18 25 26 27 38 40 42 44 45 47 48 49 54 55 58 61 65 68 71 73 74 79 83 91
a 4 6 7 11 12 16 18 25 26 27 38 40 42 44 45 47 48 49 54 55 58 61 65 68 71 73 74 79 84 91
a 4 6 7 11 12 16 18 25 26 27 32 38 42 44 45 47 48 49 54 55 58 61 65 68 71 73 74 79 84 91
a 4 6 7 11 12 16 18 25 26 27 32 38 42 43 44 45 47 48 49 54 55 58 61 65 68 71 74 79 84 91
a 6 7 11 12 16 18 25 26 27 32 38 42 43 44 45 47 48 49 54 55 58 61 65 68 71 74 79 84 89 91
a 4 6 7 11 12 18 25 26 27 32 38 42 43 44 45 47 48 49 54 55 58 61 65 68 71 74 79 84 89 91
a 4 6 7 11 12 18 25 26 27 32 38 42 43 44 45 47 49 51 54 55 58 61 65 68 71 74 79 84 89 91
a 4 6 7 11 12 18 25 26 27 38 40 42 43 44 45 47 49 51 54 55 58 61 65 68 71 74 79 84 89 91
a 4 6 7 11 12 18 25 26 27 35 38 40 42 43 44 45 47 49 51 55 58 61 65 68 71 74 79 84 89 91
a 4 6 7 11 12 18 25 26 27 35 38 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 79 84 89 91
a 4 6 7 11 12 18 22 25 26 27 35 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 79 84 89 91
a 4 6 7 11 12 18 22 25 26 27 40 42 43 44 45 47 48 49 54 55 58 61 65 68 71 74 79 84 89 91
a 4 6 7 11 12 18 25 26 27 38 40 42 43 44 45 47 48 49 54 55 58 61 65 68 71 74 79 84 89 91
a 4 6 7 11 12 18 25 26 27 38 40 42 43 44 45 47 48 49 54 55 58 61 65 68 71 74 79 83 84 89
a 4 6 7 11 12 18 25 26 27 35 38 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 79 83 84 89
a 4 6 7 11 12 18 25 26 27 35 38 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 79 81 83 84
a 4 6 7 11 12 18 25 26 27 35 38 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 79 81 83 89
a 4 6 7 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 79 81 83
a 4 5 6 7 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 81 83
a 4 5 6 7 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 83 89
a 4 5 6 7 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 81 89
a 4 5 6 7 9 12 16 18 25 26 27 35 38 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 81 89
a 4 5 6 7 9 12 16 18 22 25 26 27 35 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 81 89
a 4 5 6 7 9 12 16 18 22 25 26 27 35 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 89 91
a 4 5 6 7 9 12 16 18 22 25 26 27 35 40 42 43 44 45 47 48 49 55 58 65 68 71 74 84 89 91
a 4 5 6 7 12 16 18 22 25 26 27 35 40 42 43 44 45 47 48 49 55 58 65 68 71 74 83 84 89 91
a 4 5 6 7 12 16 18 22 25 26 27 35 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 83 84 89
a 4 5 6 7 11 12 16 18 22 25 26 27 35 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 83 89
a 4 5 6 7 11 12 16 18 22 25 26 27 35 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 81 83
a 4 5 6 11 12 16 18 22 25 26 27 35 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 81 83 89
a 4 5 6 11 12 16 18 22 25 26 35 40 42 43 44 45 47 48 49 52 55 58 61 65 68 71 74 81 83 89
a 4 5 6 7 11 12 16 18 22 25 26 35 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 81 83 89
a 4 5 6 7 11 12 16 18 22 25 26 35 40 42 43 44 45 47 48 49 55 58 59 65 68 71 74 81 83 89
a 4 6 7 11 12 16 18 22 25 26 35 40 42 43 44 45 47 48 49 55 58 59 65 68 71 74 79 81 83 89
a 5 6 7 11 12 16 18 22 25 26 35 40 42 43 44 45 47 48 49 55 58 59 65 68 71 74 79 81 83 89
a 5 6 7 11 12 16 18 22 25 26 35 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 79 81 83 89
a 6 7 11 12 16 18 22 25 26 35 40 42 43 44 45 47 48 49 55 58 61 62 65 68 71 74 79 81 83 89
a 6 7 11 12 16 18 22 25 26 35 40 42 43 44 45 47 48 55 58 61 62 65 68 71 74 76 79 81 83 89
a 5 7 11 12 16 18 22 25 26 35 40 42 43 44 45 47 48 55 58 61 62 65 68 71 74 76 79 81 83 89
a 5 7 11 12 16 18 22 25 26 35 40 42 43 44 45 47 48 55 58 59 62 65 68 71 74 76 79 81 83 89
a 5 7 11 12 16 18 22 25 26 35 40 42 43 44 45 47 48 49 55 58 59 62 65 68 71 74 79 81 83 89
a 5 7 11 12 16 18 25 26 35 38 40 42 43 44 45 47 48 49 55 58 59 62 65 68 71 74 79 81 83 89
a 5 7 11 12 16 18 25 26 35 38 40 42 43 44 45 47 48 49 52 55 58 59 62 65 68 71 74 79 81 83
a 5 7 11 12 16 18 23 25 26 35 38 40 42 43 44 45 47 48 49 52 55 58 59 62 65 68 74 79 81 83
a 5 7 11 12 16 18 23 25 26 35 38 40 42 43 44 45 47 48 49 52 55 58 59 62 65 68 74 79 81 89
a 5 7 11 12 16 18 25 26 35 38 40 42 43 44 45 47 48 49 52 55 58 59 62 65 68 71 74 79 81 89
a 5 7 11 12 16 18 25 26 35 38 40 42 43 44 45 47 48 49 52 55 58 59 62 65 68 71 74 81 83 89
a 5 7 11 12 16 18 26 33 35 38 40 42 43 44 45 47 48 49 52 55 58 59 62 65 68 71 74 81 83 89
a 5 7 11 12 16 18 23 26 33 35 38 40 42 43 44 45 47 48 49 52 55 58 59 62 65 68 74 81 83 89
a 4 5 7 11 12 16 18 23 26 33 35 38 40 42 43 44 45 47 48 49 55 58 59 62 65 68 74 81 83 89
a 4 5 7 11 12 16 18 26 33 35 38 40 42 43 44 45 47 48 49 55 58 59 62 65 68 71 74 81 83 89
a 4 5 7 11 12 16 18 26 33 35 38 40 42 43 44 45 47 48 49 55 58 61 62 65 68 71 74 81 83 89
a 4 5 7 11 12 16 18 23 26 33 35 38 40 42 43 44 45 47 48 49 55 58 61 62 65 68 74 81 83 89
a 4 5 7 11 12 16 18 23 25 26 35 38 40 42 43 44 45 47 48 49 55 58 61 62 65 68 74 81 83 89
a 4 5 7 11 12 16 18 25 26 35 38 40 42 43 44 45 47 48 49 55 58 61 62 65 68 71 74 81 83 89
a 4 5 7 11 12 16 18 25 26 35 38 40 42 43 44 45 47 48 49 55 58 61 62 65 68 71 74 81 83 84
a 4 5 6 7 11 12 16 18 25 26 35 38 40 42 43 44 45 47 48 49 55 58 61 62 65 68 71 74 83 84
a 4 5 6 7 11 12 16 18 25 26 35 38 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 83 84 91
a 4 5 6 7 11 12 16 18 25 26 35 38 40 42 43 44 45 47 48 49 50 55 58 61 65 71 74 83 84 91
a 4 5 6 7 11 12 16 18 25 26 35 38 40 42 43 44 45 47 48 49 50 55 58 61 65 71 74 83 84 89
a 4 5 6 7 11 12 16 18 25 26 35 38 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 83 84 89
a 4 5 6 7 11 12 16 18 25 26 35 38 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 83 89 91
a 4 5 6 7 11 12 16 18 25 26 35 38 40 42 43 44 45 47 48 49 55 58 61 65 68 71 74 81 83 89
a 4 5 6 7 11 12 16 18 25 26 38 40 42 43 44 45 47 48 49 54 55 58 61 65 68 71 74 81 83 89
a 4 5 6 7 11 12 16 18 25 26 32 38 42 43 44 45 47 48 49 54 55 58 61 65 68 71 74 81 83 89
a 4 5 6 7 11 12 16 18 25 26 32 38 42 43 44 45 47 48 49 53 54 55 58 61 65 68 71 74 81 83
a 4 5 6 7 11 12 16 18 25 26 32 38 42 43 44 45 47 48 53 54 55 58 61 65 68 71 74 76 81 83
a 4 5 6 7 11 12 16 25 26 32 38 42 43 44 45 47 48 53 54 55 58 61 65 67 68 71 74 76 81 83
a 4 6 7 11 12 16 25 26 32 38 42 43 44 45 47 48 53 54 55 58 61 65 67 68 71 74 76 81 83 89
a 4 6 7 11 12 16 25 26 32 33 38 42 43 44 45 47 48 53 54 55 58 61 65 67 68 71 74 81 83 89
a 4 6 7 11 12 16 25 26 32 33 38 42 43 44 45 47 48 50 53 54 55 58 61 65 67 71 74 81 83 89
a 4 6 7 11 12 16 25 26 32 38 42 43 44 45 47 48 50 53 54 55 58 61 65 67 71 74 81 83 84 89
a 4 6 7 11 12 16 25 26 32 38 42 43 44 45 47 48 50 53 54 55 58 61 65 67 71 74 76 81 83 84
a 4 6 7 11 12 16 18 25 26 32 38 42 43 44 45 47 48 50 53 54 55 58 61 65 71 74 76 81 83 84
a 4 6 7 11 12 16 18 25 26 28 32 38 43 44 45 47 48 50 53 54 55 58 61 65 71 74 76 81 83 84
a 4 6 7 11 12 16 18 25 26 28 38 43 44 45 47 48 50 52 53 54 55 58 61 65 71 74 76 81 83 84
a 6 7 11 12 16 18 25 26 28 38 40 43 44 45 47 48 50 52 53 54 55 58 61 65 71 74 76 81 83 84
a 6 7 11 12 16 18 25 26 38 40 42 43 44 45 47 48 50 52 53 54 55 58 61 65 71 74 76 81 83 84
a 6 7 11 12 16 18 25 26 27 38 40 42 43 44 45 47 48 50 53 54 55 58 61 65 71 74 76 81 83 84
a 6 7 11 12 16 18 25 26 27 38 40 42 43 44 45 47 48 50 53 55 58 61 62 65 71 74 76 81 83 84
a 5 6 7 11 16 18 25 26 27 38 40 42 43 44 45 47 48 50 53 55 58 61 62 65 71 74 76 81 83 84
a 5 6 7 11 16 18 25 26 27 38 40 42 43 44 45 47 48 53 55 58 61 62 65 68 71 74 76 81 83 84
a 5 6 7 11 16 18 25 26 27 35 38 40 42 43 44 45 47 48 53 55 58 61 62 65 68 71 74 76 83 84
a 5 6 7 11 16 18 25 26 27 30 35 38 40 42 43 44 45 47 48 53 55 58 62 65 68 71 74 76 83 84
a 5 6 7 11 16 18 26 27 30 35 38 40 42 43 44 45 47 48 53 55 58 62 65 68 71 74 76 83 84 89
a 5 6 7 11 16 18 26 27 35 38 40 42 43 44 45 47 48 53 55 58 61 62 65 68 71 74 76 83 84 89
a 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 48 53 55 58 61 62 65 68 71 74 83 84 89
a 4 5 6 7 11 12 16 18 26 27 35 38 40 42 43 44 45 47 48 53 55 58 61 65 68 71 74 83 84 89
a 4 5 6 7 11 12 18 26 27 35 38 40 42 43 44 45 47 48 53 55 58 61 65 68 71 74 83 84 89 91
a 4 5 6 7 11 12 16 18 26 27 38 40 42 43 44 45 47 48 53 55 58 61 65 68 71 74 83 84 89 91
a 4 5 6 7 11 12 16 18 26 27 32 38 42 43 44 45 47 48 53 55 58 61 65 68 71 74 83 84 89 91
a 5 6 7 11 12 16 18 26 27 32 38 42 43 44 45 47 48 53 55 58 61 65 68 71 74 81 83 84 89 91
a 5 6 11 12 16 18 25 26 27 32 38 42 43 44 45 47 48 53 55 58 61 65 68 71 74 81 83 84 89 91
a 5 6 11 12 16 18 25 26 27 35 38 42 43 44 45 47 48 53 55 58 61 65 68 71 74 81 83 84 89 91
a 5 6 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 48 53 55 58 61 65 68 71 74 81 83 84 89
a 5 6 11 12 16 18 25 26 27 35 38 40 42 43 44 45 47 48 50 53 55 58 61 65 71 74 81 83 84 89
a 5 6 11 12 16 18 25 26 27 33 35 38 40 42 43 44 45 47 48 50 53 55 58 61 65 71 74 81 83 89
a 4 5 6 11 12 16 18 25 26 27 33 35 38 40 42 43 44 45 47 48 50 53 55 58 61 65 71 74 81 83
a 4 5 6 11 12 16 18 25 26 33 35 38 40 42 43 44 45 47 48 50 52 53 55 58 61 65 71 74 81 83
a 4 5 6 11 12 16 18 25 26 33 35 38 40 42 44 45 47 48 50 52 53 55 58 61 65 71 74 81 83 85
a 4 5 6 11 12 16 18 25 26 27 33 35 38 40 42 44 45 47 48 50 53 55 58 61 65 71 74 81 83 85
a 4 5 6 7 11 16 18 25 26 27 33 35 38 40 42 44 45 47 48 50 53 55 58 61 65 71 74 81 83 85
a 4 5 6 7 11 16 18 25 26 27 33 35 38 40 42 43 44 45 47 48 50 53 55 58 61 65 71 74 81 83
a 4 5 6 7 11 16 18 25 26 27 33 35 38 40 42 43 44 45 47 48 50 53 55 58 59 65 71 74 81 83
a 5 6 7 11 16 18 25 26 27 33 35 38 40 42 43 44 45 47 48 50 53 55 58 59 65 71 74 81 83 89
a 5 6 7 11 16 18 25 26 27 33 35 38 40 42 43 44 45 47 48 53 55 58 59 65 71 72 74 81 83 89
a 4 5 6 7 11 16 18 25 26 27 33 35 38 40 42 43 44 45 47 48 53 55 58 59 65 72 74 81 83 89
a 4 5 6 11 16 18 25 26 27 33 35 38 40 42 43 44 45 47 48 53 55 58 59 65 71 72 74 81 83 89
a 4 5 6 11 12 16 18 25 26 27 33 35 38 40 42 43 44 45 47 48 53 55 58 59 65 71 72 74 81 83
a 4 5 6 11 12 16 18 22 25 26 27 33 35 40 42 43 44 45 47 48 53 55 58 59 65 71 72 74 81 83
a 4 5 6 11 12 16 18 22 25 26 27 33 35 40 42 43 44 45 47 48 53 55 58 59 65 68 71 72 74 83
a 4 5 6 11 12 16 18 22 25 26 27 35 40 42 43 44 45 47 48 53 55 58 59 65 68 71 72 74 83 89
a 4 5 6 11 12 16 18 22 25 26 30 35 40 42 43 44 45 47 48 53 55 58 59 65 68 71 72 74 83 89
a 4 5 6 11 12 16 18 22 25 26 27 30 35 40 42 43 44 47 48 53 55 58 59 65 68 71 72 74 83 89
a 4 5 6 11 12 16 18 22 25 26 30 35 40 42 43 44 47 48 52 53 55 58 59 65 68 71 72 74 83 89
a 4 5 6 11 12 16 18 22 25 26 30 35 40 42 43 44 45 47 48 52 53 55 58 59 65 68 71 74 83 89
a 4 6 11 12 16 18 21 22 25 26 30 35 40 42 43 44 45 47 48 52 53 55 58 59 65 68 71 74 83 89
a 4 6 11 12 16 18 21 22 25 26 30 33 35 40 42 43 44 45 47 48 52 53 55 58 59 65 68 71 74 83
a 4 6 7 11 12 16 18 21 22 25 26 30 35 40 42 43 44 45 47 48 52 53 55 58 59 65 68 71 74 83
a 4 6 7 11 12 16 18 21 22 25 26 28 30 35 40 43 44 45 47 48 52 53 55 58 59 65 68 71 74 83
a 4 6 11 12 16 18 21 22 25 26 28 30 35 40 43 44 45 47 48 52 53 55 58 59 62 65 68 71 74 83
a 4 6 11 12 16 18 21 22 25 26 28 30 33 35 40 43 44 45 47 48 52 53 55 58 59 62 68 71 74 83
a 4 6 7 11 12 16 18 21 22 25 26 28 30 33 35 40 43 44 45 47 48 52 53 55 58 62 68 71 74 83
a 4 6 7 11 12 16 18 21 22 25 26 28 30 33 35 40 43 44 45 47 48 52 53 55 59 62 68 71 74 83
a 6 7 11 12 16 18 21 22 25 26 28 30 33 35 40 43 44 45 47 48 49 52 53 55 59 62 68 71 74 83
a 6 7 11 12 16 18 21 22 25 26 30 33 35 40 42 43 44 45 47 48 49 52 53 55 59 62 68 71 74 83
a 4 6 11 12 16 18 21 22 25 26 30 33 35 40 42 43 44 45 47 48 49 52 53 55 59 62 68 71 74 83
a 4 6 7 11 12 16 18 21 22 25 26 30 33 35 40 42 43 44 45 47 48 49 52 55 59 62 68 71 74 83
a 4 6 7 11 12 16 18 21 22 25 26 30 33 35 39 40 42 43 44 45 47 48 49 52 55 59 62 71 74 83
a 4 6 7 11 12 16 21 22 25 26 30 33 35 39 40 42 43 44 45 47 48 49 52 55 58 59 62 71 74 83
a 4 6 7 11 12 21 22 25 26 30 33 35 39 40 42 43 44 45 47 48 49 52 55 58 59 62 71 74 83 89
a 4 6 7 11 12 21 22 25 26 30 33 35 39 40 42 43 44 45 47 48 49 52 55 58 59 62 66 71 83 89
a 4 6 7 11 12 21 22 25 26 30 33 34 35 39 40 42 43 44 45 47 48 49 52 55 58 59 66 71 83 89
a 4 6 7 11 12 21 22 25 26 30 33 34 35 39 42 43 44 45 47 48 49 52 55 58 59 66 71 83 87 89
a 2 4 6 7 11 12 21 22 25 26 30 33 34 35 39 42 43 44 47 48 49 52 55 58 59 66 71 83 87 89
a 2 4 6 7 11 12 21 22 25 26 30 33 34 35 39 42 43 44 47 48 49 55 58 59 66 67 71 83 87 89
a 2 4 7 11 12 21 22 25 26 30 33 34 35 39 42 43 44 47 48 49 55 58 59 66 67 71 83 87 89 91
a 2 4 11 12 21 22 25 26 30 33 34 35 39 42 43 44 47 48 49 55 58 59 66 67 71 75 83 87 89 91
a 2 11 12 17 21 22 25 26 30 33 34 35 39 42 43 44 47 48 49 55 58 59 66 67 71 75 83 87 89 91
a 2 11 12 17 21 22 25 26 33 34 35 39 42 43 44 47 48 49 55 58 59 66 67 71 75 82 83 87 89 91
c Step: 360
#END: [Tue Sep 26 08:09:19 2023]