#BEGIN: [Tue Sep 26 06:05:14 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#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 /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 7bff003484e1e842022bec4d225803c1b9785f4cefb7e5707a41ecf8ce2aa632
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 27 31 34 35 38 41 42 47 50 51 55 62 65 70 71 72 74 76 79 81 89
a 4 8 10 11 12 14 19 25 26 27 31 34 35 38 39 41 42 47 50 51 55 62 65 70 71 74 76 79 81 89
a 4 6 8 10 11 12 14 19 25 26 27 31 34 35 38 39 41 42 47 50 51 55 62 65 71 74 76 79 81 89
a 4 6 8 10 11 12 14 19 25 26 27 31 34 35 36 38 39 41 47 50 51 55 62 65 71 74 76 79 81 89
a 4 6 8 9 10 12 14 19 25 26 27 31 34 35 36 38 39 41 47 50 51 55 62 65 71 74 76 79 81 89
a 4 6 8 9 10 12 14 19 25 26 27 31 34 35 36 38 39 41 47 49 50 51 55 62 65 71 74 79 81 89
a 4 6 8 9 10 12 14 19 25 26 27 34 35 36 38 39 41 47 49 50 51 55 62 65 71 74 79 81 84 89
a 4 8 9 10 12 14 19 25 26 27 34 35 36 38 39 41 47 49 50 51 55 62 65 70 71 74 79 81 84 89
a 4 8 9 10 12 14 19 25 26 34 35 36 38 39 41 47 49 50 51 52 55 62 65 70 71 74 79 81 84 89
a 4 8 9 10 12 14 19 25 26 31 34 35 36 38 39 41 47 49 50 51 52 55 62 65 70 71 74 79 81 89
a 4 8 9 10 12 14 19 25 26 31 34 35 36 38 39 41 47 50 51 52 55 62 65 70 71 74 76 79 81 89
a 4 7 8 9 10 12 14 19 25 26 31 34 35 36 38 39 47 50 51 52 55 62 65 70 71 74 76 79 81 89
a 4 7 8 9 10 12 14 19 25 26 31 34 35 38 39 42 47 50 51 52 55 62 65 70 71 74 76 79 81 89
a 4 6 7 8 9 10 12 14 19 25 26 31 34 35 38 39 42 47 50 51 52 55 62 65 71 74 76 79 81 89
a 4 6 7 8 9 10 12 14 19 25 26 31 35 38 39 42 43 47 50 51 52 55 62 65 71 74 76 79 81 89
a 4 6 7 8 9 10 12 14 19 25 26 31 35 38 39 42 43 47 50 51 52 55 58 62 65 71 74 76 79 89
a 6 7 8 9 10 12 14 19 25 26 31 35 38 39 42 43 47 50 51 52 55 58 62 65 71 74 76 79 81 89
a 4 6 7 8 9 10 12 14 19 25 26 31 35 38 39 42 47 50 51 52 55 58 62 65 71 74 76 79 81 89
a 6 7 8 9 10 12 14 18 19 25 26 31 35 38 39 42 47 50 51 52 55 58 62 65 71 74 76 79 81 89
a 6 7 8 9 10 12 14 18 19 25 26 31 35 38 39 42 43 47 50 51 52 55 58 62 71 74 76 79 81 89
a 6 7 8 9 10 12 14 18 19 25 26 35 38 39 42 43 47 50 51 52 55 58 62 71 74 76 79 81 84 89
a 6 7 8 9 10 12 14 18 19 25 26 35 38 39 42 43 47 50 51 52 55 58 62 71 76 79 81 84 87 89
a 6 7 9 10 12 14 18 19 25 26 35 38 39 42 43 47 50 51 52 55 58 62 65 71 76 79 81 84 87 89
a 6 7 9 10 12 14 18 19 25 26 35 38 39 42 43 47 50 51 52 55 58 62 65 71 74 76 79 81 84 89
a 6 7 9 10 12 14 18 19 25 26 35 38 39 42 43 45 47 50 51 52 55 58 62 65 71 74 76 79 81 84
a 6 7 9 10 12 14 18 19 25 26 35 38 39 42 43 45 47 49 50 51 52 55 58 62 65 71 74 79 81 84
a 4 6 7 10 12 14 18 19 25 26 35 38 39 42 43 45 47 49 50 51 52 55 58 62 65 71 74 79 81 84
a 4 7 9 10 12 14 18 19 25 26 35 38 39 42 43 45 47 49 50 51 52 55 58 62 65 71 74 79 81 84
a 4 6 7 9 10 12 14 18 19 25 26 35 38 39 42 43 45 47 49 50 51 52 55 58 62 65 71 74 79 81
a 4 6 7 9 10 12 14 18 19 25 26 35 38 39 42 43 45 47 49 50 51 52 55 58 62 65 71 74 81 84
a 4 6 7 9 10 12 14 18 19 25 26 27 35 38 39 42 43 45 47 49 50 51 55 58 62 65 71 74 81 84
a 4 6 7 9 10 12 14 18 19 25 26 27 31 35 38 39 42 43 45 47 49 50 51 55 58 62 65 71 74 81
a 4 7 9 10 12 14 18 19 25 26 27 31 35 38 39 42 43 45 47 49 50 51 55 58 62 65 71 74 79 81
a 4 7 9 10 12 14 18 19 25 26 27 31 35 38 39 42 43 45 47 49 50 51 55 58 62 65 71 79 81 89
a 4 7 9 10 12 14 18 19 25 26 27 31 35 38 39 42 45 47 49 50 51 55 58 62 65 71 79 81 87 89
a 4 7 9 10 12 14 18 19 25 26 27 31 35 38 39 42 43 45 47 49 50 51 55 58 62 65 71 79 81 87
a 4 7 9 10 12 14 18 19 25 26 31 35 38 39 42 43 45 47 49 50 51 52 55 58 62 65 71 79 81 87
a 4 7 9 10 12 14 18 19 25 26 31 35 38 39 42 43 45 47 49 50 52 55 58 59 62 65 71 79 81 87
a 7 9 10 12 14 18 19 25 26 31 35 38 39 42 43 45 47 49 50 52 55 58 59 62 65 71 79 81 87 89
a 6 7 9 10 12 14 18 19 25 26 31 38 39 42 43 45 47 49 50 52 55 58 59 62 65 71 79 81 87 89
a 6 7 9 10 12 14 18 19 25 26 31 35 38 39 42 43 45 47 49 50 52 55 58 59 62 65 71 79 81 89
a 6 7 10 11 12 14 18 19 25 26 31 35 38 39 42 43 45 47 49 50 52 55 58 59 62 65 71 79 81 89
a 6 10 11 12 14 18 19 25 26 31 35 38 39 42 43 45 47 49 50 52 55 58 59 62 65 71 79 81 87 89
a 1 6 10 11 12 14 18 19 25 26 31 35 38 39 42 43 45 47 49 50 52 55 58 59 62 65 71 79 87 89
a 1 6 7 10 11 12 14 18 19 25 26 31 35 38 39 42 43 45 47 49 50 52 55 58 59 62 65 79 87 89
a 1 6 7 10 11 12 14 18 19 25 26 31 35 38 39 42 43 45 47 49 50 52 55 58 59 62 65 71 79 87
a 1 4 6 7 10 11 12 14 18 19 25 26 31 38 39 42 43 45 47 49 50 52 55 58 59 62 65 71 79 87
a 4 6 7 10 11 12 14 18 19 25 26 31 38 39 42 43 45 47 49 50 52 55 58 59 62 65 71 79 81 87
a 4 7 10 11 12 14 18 19 25 26 31 35 38 39 42 43 45 47 49 50 52 55 58 59 62 65 71 79 81 87
a 4 6 7 10 11 12 14 18 19 25 26 31 35 38 39 42 43 45 47 49 52 55 58 59 62 65 71 79 81 87
a 4 6 7 10 11 12 14 18 19 25 26 31 35 38 39 42 43 45 47 49 51 52 55 58 62 65 71 79 81 87
a 1 4 6 7 10 11 12 14 18 19 25 26 31 35 38 39 42 43 45 47 49 51 52 55 58 62 65 71 79 87
a 1 4 6 7 10 11 14 18 19 25 26 31 35 38 39 42 43 45 47 49 50 51 52 55 58 62 65 71 79 87
a 1 4 6 7 10 11 14 18 19 25 26 31 35 38 39 42 43 45 47 49 50 52 55 58 59 62 65 71 79 87
a 1 4 6 7 10 11 14 18 19 25 31 35 38 39 42 43 45 47 49 50 52 55 58 59 62 65 71 78 79 87
a 1 4 6 7 10 11 14 18 19 25 31 35 38 39 42 43 45 47 49 50 51 52 55 58 62 65 71 78 79 87
a 4 6 7 10 11 14 18 19 25 31 35 38 39 42 43 45 47 49 50 51 52 55 58 62 65 71 78 79 81 87
a 4 6 7 10 11 14 18 19 25 31 35 38 39 42 43 45 47 49 50 52 55 58 59 62 65 71 78 79 81 87
a 4 6 7 9 10 14 18 19 25 31 35 38 39 42 43 45 47 49 50 52 55 58 59 62 65 71 78 79 81 87
a 4 6 7 9 10 18 19 25 31 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 78 79 81 87
a 4 6 7 9 10 18 19 25 31 35 38 39 42 43 44 45 47 49 50 51 52 55 58 62 65 71 78 79 81 87
a 6 7 9 10 12 18 19 25 31 35 38 39 42 43 44 45 47 49 50 51 52 55 58 62 65 71 78 79 81 87
a 6 7 9 10 12 18 19 25 31 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 78 79 81 87
a 6 9 10 12 18 19 25 31 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 78 79 81 87 89
a 6 7 9 10 12 18 19 25 31 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 78 79 81 89
a 6 7 9 10 12 18 19 25 31 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 78 79 81 87 89
a 7 9 10 12 18 19 25 31 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 78 79 81 87 89
a 6 7 10 12 18 19 25 31 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 78 79 81 87 89
a 6 7 9 10 18 19 25 31 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 78 79 81 87 89
a 6 7 9 10 18 19 25 31 33 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 78 81 87 89
a 6 7 9 10 12 18 19 25 31 33 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 78 81 87
a 7 9 10 12 18 19 25 31 33 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 78 81 87 89
a 7 10 11 12 18 19 25 31 33 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 78 81 87 89
a 4 10 11 12 18 19 25 31 33 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 78 81 87 89
a 4 6 10 11 12 18 19 25 31 33 35 38 39 42 43 44 45 47 49 50 52 58 59 62 65 71 78 81 87 89
a 4 6 10 12 18 19 25 31 33 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 78 81 87 89
a 4 6 10 12 18 19 25 26 31 33 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 81 87 89
a 4 6 12 18 19 25 26 31 33 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 81 83 87 89
a 4 6 12 18 19 25 26 31 33 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 74 81 83 89
a 4 6 11 12 18 19 25 26 31 33 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 74 81 89
a 4 6 11 12 18 19 25 26 30 31 33 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 74 89
a 6 11 12 18 19 25 26 30 31 33 35 38 39 40 42 43 44 45 47 49 50 52 55 58 59 62 65 71 74 89
a 4 6 11 12 18 19 25 26 30 31 33 35 38 39 40 42 43 44 45 47 49 50 52 55 58 59 62 65 71 89
a 4 6 11 12 18 19 25 26 30 31 33 35 38 39 40 42 43 44 45 47 49 50 52 55 58 59 62 71 74 89
a 6 7 11 12 18 19 25 26 30 31 33 35 38 39 40 42 43 44 45 47 49 50 52 55 58 59 62 71 74 89
a 6 7 11 12 18 19 25 30 31 33 35 38 39 40 42 43 44 45 47 49 50 52 55 58 59 62 71 74 78 89
a 7 11 12 18 19 25 30 31 33 35 38 39 40 42 43 44 45 47 49 50 52 55 58 59 62 71 74 78 83 89
a 7 11 12 18 19 25 31 33 35 38 39 40 42 43 44 45 47 49 50 52 55 58 59 62 71 74 78 81 83 89
a 7 11 12 18 19 25 31 33 35 38 39 40 42 43 44 45 47 49 50 52 55 58 59 62 65 71 74 78 81 83
a 7 11 12 18 19 25 26 31 33 35 38 39 40 42 43 44 45 47 49 50 52 55 58 59 62 65 71 74 81 83
a 4 11 12 18 19 25 26 31 33 35 38 39 40 42 43 44 45 47 49 50 52 55 58 59 62 65 71 74 81 83
a 4 7 12 18 19 25 26 31 33 35 38 39 40 42 43 44 45 47 49 50 52 55 58 59 62 65 71 74 81 83
a 4 6 7 12 18 19 25 26 31 33 35 38 39 40 42 43 44 45 47 50 52 55 58 59 62 65 71 74 81 83
a 4 6 7 12 18 19 25 26 27 31 33 35 38 39 40 42 43 44 45 47 50 55 58 59 62 65 71 74 81 83
a 4 7 12 18 19 25 26 27 31 33 35 38 39 40 42 43 44 45 47 50 55 58 59 62 65 71 74 81 83 89
a 7 12 18 19 25 26 27 31 33 35 38 39 40 42 43 44 45 47 49 50 55 58 59 62 65 71 74 81 83 89
a 6 12 18 19 25 26 27 31 33 35 38 39 40 42 43 44 45 47 49 50 55 58 59 62 65 71 74 81 83 89
a 6 7 12 18 19 25 26 27 31 33 35 38 39 40 42 43 44 45 47 49 50 55 58 59 62 65 71 74 81 83
a 6 7 9 12 18 19 25 26 27 31 33 35 38 39 40 42 43 44 45 47 49 50 55 58 59 62 65 71 74 81
a 4 6 7 9 12 18 19 25 26 27 31 33 35 38 39 40 42 43 44 45 47 49 50 55 58 59 62 65 71 74
a 4 6 7 9 10 12 18 19 25 26 27 31 33 35 38 39 42 43 44 45 47 49 50 55 58 59 62 65 71 74
a 6 7 9 10 12 18 19 25 26 27 31 33 35 38 39 42 43 44 45 47 49 50 55 58 59 62 65 71 74 81
a 4 6 7 9 10 12 18 19 25 26 27 33 35 38 39 42 43 44 45 47 49 50 55 58 59 62 65 71 74 81
a 4 6 7 10 12 18 19 25 26 27 31 33 35 38 39 42 43 44 45 47 49 50 55 58 59 62 65 71 74 81
a 4 6 7 9 10 12 18 19 25 26 27 31 33 35 38 39 42 43 44 45 49 50 55 58 59 62 65 71 74 81
a 4 6 7 9 10 12 18 19 25 26 27 31 33 35 38 39 42 43 44 45 47 49 50 55 58 59 65 71 74 81
a 4 6 7 9 10 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 55 58 59 65 71 74 79 81
a 4 6 7 9 10 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 55 58 59 62 65 71 74 79
a 4 7 9 10 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 55 58 59 62 65 71 74 79 81
a 4 7 9 10 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 55 58 59 62 65 71 74 81 89
a 4 7 9 10 12 18 19 25 26 31 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 74 81 89
a 7 9 10 12 18 19 25 26 31 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 74 79 81 89
a 7 9 10 12 18 19 25 26 31 35 38 39 42 43 44 45 47 49 50 51 52 55 58 62 65 71 74 79 81 89
a 7 9 10 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 51 55 58 62 65 71 74 79 81 89
a 7 9 10 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 51 55 58 62 65 71 79 81 87 89
a 7 10 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 51 55 58 62 65 71 79 81 87 89
a 4 7 10 11 12 18 19 25 26 27 31 38 39 42 43 44 45 47 49 50 51 55 58 62 65 71 79 81 87 89
a 4 7 10 11 12 18 19 25 26 27 31 38 39 42 43 44 45 47 49 50 55 58 59 62 65 71 79 81 87 89
a 7 10 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 55 58 59 62 65 71 79 81 87 89
a 7 10 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 50 55 58 59 62 65 71 76 79 81 87 89
a 4 7 10 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 50 58 59 62 65 71 76 79 81 87 89
a 4 7 9 10 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 50 58 59 62 65 71 76 79 81 87 89
a 4 7 10 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 50 55 58 59 62 65 71 76 79 81 87 89
a 4 6 7 10 18 19 25 26 27 31 35 38 39 42 43 44 45 47 50 55 58 59 62 65 71 76 79 81 87 89
a 4 6 7 10 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 50 55 58 59 62 65 71 76 79 87 89
a 4 6 7 10 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 50 55 58 59 62 65 71 76 79 87 90
a 4 6 7 10 12 18 19 25 26 31 35 38 39 42 43 44 45 47 50 52 55 58 59 62 65 71 76 79 87 90
a 1 4 6 7 10 12 18 19 25 26 31 35 38 39 42 43 44 45 47 50 52 55 58 59 62 65 76 79 87 90
a 1 4 6 7 10 12 18 25 26 31 35 38 39 42 43 44 45 47 50 52 55 58 59 62 65 71 76 79 87 90
a 1 6 7 10 12 18 19 25 26 31 35 38 39 42 43 44 45 47 50 52 55 58 59 62 65 71 76 79 87 90
a 1 4 6 7 10 12 18 19 25 26 31 35 38 39 42 43 44 45 47 50 52 55 58 62 65 71 76 79 87 90
a 1 4 6 7 10 11 12 18 19 25 26 31 35 38 39 42 43 44 45 47 50 52 55 58 62 65 71 79 87 90
a 4 6 7 10 11 12 18 19 25 26 31 35 38 39 42 43 44 45 47 50 51 52 55 58 62 65 71 79 87 90
a 4 6 10 11 12 18 19 25 26 31 35 38 39 42 43 44 45 47 50 51 52 55 58 62 65 71 76 79 87 90
a 4 6 7 10 11 12 18 19 25 26 31 35 38 39 42 43 44 45 47 51 52 55 58 62 65 71 76 79 87 90
a 4 6 7 10 11 12 18 19 25 26 31 35 38 39 42 43 44 45 47 51 52 55 58 62 65 71 76 79 87 89
a 4 6 7 10 11 12 18 19 25 26 31 35 38 39 42 43 44 45 51 52 55 58 62 65 71 76 79 81 87 89
a 6 7 10 11 12 18 19 25 26 31 35 38 39 42 43 44 45 47 51 52 55 58 62 65 71 76 79 81 87 89
a 6 7 10 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 51 55 58 62 65 71 76 79 81 87 89
a 4 6 7 10 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 51 55 58 62 65 71 76 79 81 89
a 4 6 10 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 50 51 55 58 62 65 71 76 79 81 89
a 4 6 10 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 51 55 58 62 65 71 79 81 89
a 6 10 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 51 55 58 62 65 71 79 81 87 89
a 6 7 10 11 12 18 19 25 26 27 31 35 38 39 43 44 45 47 49 50 51 55 58 62 65 71 79 81 87 89
a 6 7 10 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 51 55 58 62 65 71 79 81 89
a 4 6 7 10 11 12 18 19 25 26 27 31 35 38 42 43 44 45 47 49 50 51 55 58 62 65 71 79 81 89
a 4 7 10 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 51 55 58 62 65 71 79 81 89
a 4 6 7 10 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 51 55 58 62 65 71 79 81
a 4 6 7 10 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 51 55 58 62 65 71 81 89
a 4 6 7 10 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 51 58 62 65 71 79 81 89
a 4 6 7 10 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 55 58 62 65 71 79 81 89
a 4 6 7 10 11 12 18 19 25 27 31 35 38 39 42 43 44 45 47 49 50 55 58 62 65 71 79 81 87 89
a 4 7 10 11 12 18 19 25 27 31 35 38 39 42 43 44 45 47 49 50 51 55 58 62 65 71 79 81 87 89
a 4 6 7 10 11 12 18 19 25 27 31 35 38 39 42 43 44 45 47 49 50 51 55 58 62 65 71 79 81 89
a 6 7 10 11 12 18 19 25 27 31 35 38 39 42 43 44 45 47 49 50 51 55 58 62 65 71 79 81 87 89
a 6 7 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 51 55 58 62 65 71 79 81 87 89
a 6 7 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 49 50 55 58 59 62 65 71 79 81 87 89
a 6 7 10 11 12 18 19 25 26 27 31 35 38 39 42 43 44 45 47 50 55 58 59 62 65 71 79 81 87 89
a 6 7 10 11 12 18 19 25 26 31 35 38 39 42 43 44 45 47 50 52 55 58 59 62 65 71 79 81 87 89
a 4 6 7 10 11 12 18 19 25 26 31 35 38 39 42 43 44 45 47 50 52 55 58 59 62 65 71 79 81 87
a 4 6 7 11 12 18 19 25 26 31 35 38 39 42 43 44 45 47 49 50 52 55 58 59 62 65 71 79 81 87
a 4 6 7 11 12 18 25 26 31 35 38 39 42 43 44 45 47 48 49 50 52 55 58 59 62 65 71 79 81 87
a 4 6 7 11 12 18 25 26 31 35 38 39 42 43 44 45 47 48 49 52 55 58 59 62 65 71 79 81 87 89
a 4 6 7 11 12 18 25 26 31 35 38 39 40 42 43 44 45 47 48 49 52 55 58 59 62 65 71 79 81 89
a 6 7 11 12 16 18 25 26 31 35 38 39 40 42 43 44 45 47 48 49 52 55 58 59 62 65 71 79 81 89
a 6 7 11 12 16 18 25 26 31 35 38 39 40 42 43 44 45 47 48 49 50 52 55 58 59 62 65 71 79 81
a 6 7 11 12 16 18 25 26 27 31 35 38 39 40 42 43 44 45 47 48 49 50 55 58 59 62 65 71 79 81
a 6 7 11 12 16 18 25 26 27 31 35 38 39 40 42 43 44 45 47 48 49 50 55 58 59 62 65 71 81 83
a 6 7 11 12 16 18 25 26 27 31 35 38 39 40 42 43 44 45 47 48 49 50 55 58 59 62 65 71 74 83
a 7 11 12 16 18 25 26 27 31 35 38 39 40 42 43 44 45 47 48 49 50 55 58 59 62 65 71 74 81 83
a 7 11 12 16 18 23 25 26 27 31 35 38 39 40 42 43 44 45 47 48 49 50 55 58 59 62 65 74 81 83
a 11 12 16 18 23 25 26 27 31 35 38 39 40 42 43 44 45 47 48 49 50 55 58 59 62 65 74 79 81 83
a 4 12 16 18 23 25 26 27 31 35 38 39 40 42 43 44 45 47 48 49 50 55 58 59 62 65 74 79 81 83
a 4 7 16 18 23 25 26 27 31 35 38 39 40 42 43 44 45 47 48 49 50 55 58 59 62 65 74 79 81 83
a 4 7 12 16 18 23 25 26 27 31 35 38 39 40 42 43 44 45 47 48 49 50 55 58 59 62 65 74 79 83
a 4 7 12 16 18 23 25 26 27 31 35 38 39 40 42 43 44 45 47 48 49 50 55 58 61 62 65 74 79 83
a 4 7 12 16 18 23 25 26 27 31 35 38 39 40 42 43 44 45 47 48 50 55 58 61 62 65 74 79 81 83
a 4 7 11 12 16 18 23 25 26 27 31 35 38 39 40 42 43 44 45 47 48 50 55 58 62 65 74 79 81 83
a 7 11 12 16 18 23 25 26 27 31 35 38 39 40 42 43 44 45 47 48 50 55 58 61 62 65 74 79 81 83
a 7 12 16 18 23 25 26 27 31 35 38 39 40 42 43 44 45 47 48 50 55 58 61 62 65 74 79 81 83 89
a 7 12 16 18 23 25 26 31 35 38 39 40 42 43 44 45 47 48 50 52 55 58 61 62 65 74 79 81 83 89
a 7 12 16 18 23 25 26 31 35 38 39 40 42 43 44 45 47 48 52 55 58 61 62 65 68 74 79 81 83 89
a 7 11 12 16 18 23 25 26 31 35 38 39 40 42 43 44 45 47 48 52 55 61 62 65 68 74 79 81 83 89
a 7 11 12 16 18 23 25 26 31 35 38 39 40 42 43 44 45 47 48 52 55 58 61 62 65 68 74 79 81 83
a 7 11 12 16 18 23 25 26 31 38 39 40 42 43 44 45 47 48 52 55 58 61 62 65 68 73 74 79 81 83
a 6 7 11 12 16 18 25 26 31 38 39 40 42 43 44 45 47 48 52 55 58 61 62 65 68 73 74 79 81 83
a 6 7 11 12 16 18 25 26 31 38 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 73 74 79 83
a 7 11 12 16 18 25 26 31 38 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 73 74 79 83
a 7 11 12 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 73 74 79 83
a 7 11 12 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 73 74 79 81
a 7 11 12 16 18 22 25 26 31 35 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 74 79 81
a 11 12 16 18 22 25 26 31 35 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 74 79 81 83
a 6 11 16 18 22 25 26 31 35 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 74 79 81 83
a 6 7 11 16 18 22 25 26 31 35 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 74 79 81
a 6 7 11 16 18 22 25 26 35 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 74 79 81 83
a 6 7 11 16 18 22 25 26 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 73 74 79 81 83
a 6 7 11 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 73 74 81 83
a 7 11 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 73 74 79 81 83
a 7 11 12 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 73 74 79 81 83
a 7 11 12 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 73 74 81 83
a 7 12 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 73 74 79 81 83
a 6 7 12 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 73 74 79 81 83
a 6 7 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 73 74 79 81 83
a 6 7 11 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 73 74 79 83
a 6 11 12 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 73 74 79 83
a 6 11 12 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 61 65 68 71 73 74 79 81 83
a 6 7 11 12 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 65 68 71 73 74 79 81 83
a 6 7 11 12 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 61 65 68 71 73 74 79 81
a 6 7 11 12 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 61 62 65 68 71 73 74 79
a 6 7 11 12 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 61 62 68 71 73 74 79 83
a 6 7 11 12 16 18 22 25 26 30 31 39 40 42 43 44 45 47 48 49 52 55 58 62 68 71 73 74 79 83
a 6 7 11 12 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 62 68 71 73 74 79 81 83
a 6 7 11 12 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 62 65 71 73 74 79 81 83
a 6 7 11 12 16 18 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 59 62 65 71 74 79 81 83
a 6 7 11 12 16 18 21 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 59 62 65 71 74 79 83
a 7 11 12 16 18 21 22 25 26 31 39 40 42 43 44 45 47 48 49 52 55 58 59 62 65 68 71 74 79 83
a 7 11 12 16 18 21 22 25 26 30 31 39 40 42 43 44 45 47 48 49 52 55 58 59 62 65 68 71 74 83
a 7 11 12 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 49 52 55 58 59 62 65 68 71 74 83
a 11 12 16 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 49 52 55 58 59 62 65 68 71 74 83
a 6 11 12 16 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 49 52 55 58 59 62 65 68 71 74
a 6 11 12 16 18 22 25 26 30 31 35 39 40 42 43 44 45 47 48 49 52 55 58 59 62 65 68 71 74 83
a 6 12 16 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 49 52 55 58 59 62 65 68 71 74 83
a 6 12 16 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 49 52 55 58 59 62 65 68 71 74 79 83
a 6 12 16 18 21 22 25 26 31 35 39 40 42 43 44 45 47 48 49 52 55 58 59 62 65 68 71 74 79 83
a 6 12 16 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 49 52 55 58 59 62 65 68 71 74 79 83
a 6 12 16 18 21 22 25 26 30 31 39 40 42 43 44 45 47 48 49 52 55 58 59 62 65 68 71 74 79 83
a 6 12 16 18 21 22 25 26 30 31 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 79 83
a 6 12 16 18 21 22 25 26 30 31 39 40 42 43 44 47 48 52 55 58 59 62 65 68 71 74 76 79 83 89
a 6 12 16 18 21 22 25 26 30 31 35 39 40 42 43 44 47 48 52 55 58 59 62 65 68 71 74 76 79 89
a 6 12 16 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 89
a 4 6 12 16 18 21 22 25 26 30 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 89
a 4 11 12 16 18 21 22 25 26 30 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 89
a 4 11 12 16 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 68 71 74 76 89
a 4 7 11 12 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 68 71 74 76 89
a 4 7 11 12 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 68 71 74 76 89
a 4 7 11 12 16 18 21 22 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 68 71 74 76 89
a 7 11 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 68 71 74 76 89
a 7 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 68 71 74 76 83 89
a 7 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 68 71 74 76 83
a 7 11 12 16 18 21 22 25 26 27 30 35 39 40 42 43 44 45 47 48 55 58 59 62 65 68 71 74 76 83
a 7 11 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 68 71 76 83
a 6 7 11 12 16 18 21 22 25 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 68 71 76 83
a 6 7 11 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 71 76 83
a 6 7 11 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 58 59 62 65 71 74 76 83
a 6 7 11 12 16 18 21 22 25 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 71 74 76 83
a 4 6 7 11 12 16 18 21 25 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 71 74 76 83
a 4 6 11 12 16 18 21 25 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 71 74 76 83
a 4 6 11 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 71 76 83
a 4 6 11 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 68 71 83
a 4 6 11 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 68 71 74 83
a 4 7 11 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 68 71 74 83
a 7 11 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 68 71 74 83
a 7 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 68 71 74 79 83
a 7 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 68 71 74 76 79
a 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 68 71 74 76 79 89
a 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 49 55 58 59 62 65 68 71 74 79 89
a 11 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 49 55 58 59 62 65 68 71 74 79
a 7 11 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 49 55 58 59 62 68 71 74 79
a 7 11 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 49 55 58 59 62 68 74 79 89
a 11 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 49 55 58 59 62 68 71 74 79 89
a 11 12 16 18 21 22 25 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 68 71 74 76 79 89
a 11 12 16 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 68 71 74 76 79 89
a 11 12 16 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 68 71 74 76 79 90
a 11 12 16 18 21 22 25 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 68 71 74 76 79 83 90
a 11 12 16 18 21 22 25 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 79 83
a 11 12 18 21 22 25 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 79 83 90
a 4 11 12 18 21 22 25 30 31 35 39 40 42 43 44 45 48 52 55 58 59 62 65 68 71 74 76 79 83 90
a 4 11 12 16 18 21 22 25 30 31 35 39 40 42 43 44 45 48 52 55 58 59 62 65 68 71 74 76 79 90
a 4 11 12 16 18 21 22 25 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 74 76 79 90
a 4 11 12 16 18 21 22 25 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 74 76 83 90
a 4 11 12 16 18 21 22 25 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 83
a 4 11 12 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 83
a 4 11 16 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 83
a 4 11 12 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 83
a 11 12 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 77 83
a 11 12 16 18 21 22 26 30 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 77 79 83
a 11 12 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 77 79
a 12 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 77 79 83
a 4 12 16 18 21 22 26 30 31 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 77 79 83
a 4 12 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 77 79
a 4 12 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 68 71 74 76 77 79 90
a 4 12 16 18 21 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 68 71 74 76 77 79 83 90
a 4 16 18 21 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 77 79 83 90
a 4 16 18 21 22 26 30 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 77 79 83 90
a 4 6 16 18 21 22 26 30 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 77 79 90
a 4 11 16 18 21 22 26 30 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 77 79 90
a 11 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 77 79 90
a 11 16 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 77 79 83 90
a 11 16 18 21 22 26 30 31 35 39 40 42 43 44 47 48 52 55 58 59 62 65 68 71 74 76 77 79 83 90
a 11 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 74 76 77 79 83 90
a 11 16 18 21 22 23 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 74 76 77 79 90
a 11 12 16 18 21 22 23 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 74 76 79 90
a 11 12 16 18 21 22 23 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 74 76 79 89
a 11 12 16 18 21 22 23 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 74 77 79 89
a 11 12 16 18 21 22 23 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 68 74 77 79 89
a 11 12 18 21 22 23 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 68 74 76 77 79 89
a 12 16 18 21 22 23 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 68 74 76 77 79 89
a 7 12 16 18 21 22 23 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 68 74 76 77 79
a 7 11 12 16 18 21 22 23 26 27 30 31 35 39 40 42 43 44 45 47 48 58 59 62 65 68 74 76 77 79
a 7 11 12 16 18 21 22 23 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 68 74 76 77
a 7 11 12 16 18 21 22 23 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 68 76 77 89
a 7 12 16 18 21 22 23 26 27 30 31 35 39 40 42 43 44 45 47 48 55 58 59 62 65 68 74 76 77 89
a 7 11 12 16 18 21 22 23 26 27 30 31 35 39 40 42 43 44 45 47 48 58 59 62 65 68 74 76 77 89
a 7 11 12 16 18 21 23 26 27 30 31 35 39 40 42 43 44 45 47 48 58 59 62 65 68 74 76 77 79 89
a 7 11 12 16 18 21 23 26 30 31 35 39 40 42 43 44 45 47 48 52 58 59 62 65 68 74 76 77 79 89
a 7 11 12 16 18 21 23 26 30 31 35 39 40 42 43 44 45 47 48 52 58 59 62 65 68 74 76 77 79 90
a 11 12 16 18 21 23 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 74 76 77 79 90
a 7 11 12 16 18 21 23 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 74 76 79 90
a 7 11 12 16 18 21 22 23 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 74 76 79 90
a 7 12 16 18 21 22 23 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 74 76 79 90
a 7 11 12 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 74 76 79 90
a 11 12 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 74 76 77 79 90
a 7 11 12 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 76 77 79 90
a 7 12 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 74 76 77 79 90
a 7 12 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 58 59 62 65 68 71 74 76 77 79 90
a 4 7 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 58 59 62 65 68 71 74 76 77 79 90
a 7 11 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 58 59 62 65 68 71 74 76 77 79 90
a 4 11 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 58 59 62 65 68 71 74 76 77 79 90
a 4 7 11 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 58 59 62 65 68 71 74 77 79 90
a 4 7 11 16 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 52 58 59 62 65 68 71 74 79 90
a 4 7 11 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 79 90
a 7 11 16 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 79 90
a 4 7 11 16 18 21 22 25 26 30 31 35 39 40 42 43 44 45 48 52 55 58 59 62 65 68 71 74 79 90
a 4 7 11 12 16 18 21 22 25 26 30 31 35 39 40 42 43 44 45 48 52 55 58 59 62 65 68 71 74 79
a 7 11 12 16 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 79
a 7 11 16 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 79
a 7 11 16 18 21 22 25 26 30 31 35 39 40 42 44 45 47 48 52 55 58 59 62 65 68 71 74 76 79 83
a 7 11 16 18 21 22 25 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 83
a 7 11 12 16 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 83
a 7 11 12 18 21 22 26 30 31 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 76 77 83
a 7 11 12 18 21 22 26 30 31 33 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 77 83
a 7 11 12 18 21 22 26 30 33 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 77 83 89
a 7 11 12 18 22 26 30 33 34 35 39 40 42 43 44 45 47 48 52 55 58 59 62 65 68 71 74 77 83 89
a 7 11 12 18 21 22 26 30 33 34 35 39 40 42 43 44 47 48 52 55 58 59 62 65 68 71 74 77 83 89
a 7 11 12 17 18 21 22 26 30 33 34 35 39 40 42 43 44 47 48 55 58 59 62 65 68 71 74 77 83 89
a 2 7 11 12 17 18 21 22 26 30 33 34 35 39 42 43 44 47 48 55 58 59 62 65 68 71 74 77 83 89
a 2 7 11 12 17 18 21 22 26 30 33 34 35 39 42 43 44 47 48 55 58 59 65 68 71 74 77 83 89 91
a 2 7 11 12 17 21 22 26 30 33 34 35 39 42 43 44 47 48 55 58 59 65 67 68 71 74 77 83 89 91
a 2 7 11 12 17 21 22 26 30 33 34 35 39 42 43 44 47 48 49 55 58 59 65 67 68 71 74 83 89 91
a 2 7 11 12 17 21 22 25 26 30 33 34 35 39 42 43 44 47 48 49 55 58 59 65 67 71 74 83 89 91
a 2 7 11 12 17 21 22 25 26 30 33 34 35 39 42 43 44 47 48 49 55 58 59 65 67 71 83 87 89 91
a 2 7 11 12 17 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 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: 345
#END: [Tue Sep 26 06:35:15 2023]