#BEGIN: [Fri Sep  1 02:40:39 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/mug88_1.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/mug88_1_02.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/color04/mug88_1.col /benchmark/2022benchmark/benchmark/color04/mug88_1_02.dat
c /benchmark/2022benchmark/benchmark/color04/mug88_1.col
c /benchmark/2022benchmark/benchmark/color04/mug88_1_02.dat
s 4 5 8 11 14 19 21 23 28 29 33 34 38 41 45 49 50 53 56 59 64 65 70 76 79 82 85 88 
t 1 4 5 8 14 19 21 24 27 31 32 35 39 43 44 47 51 53 57 59 63 66 73 74 78 80 84 86
a YES
a 4 5 8 11 14 19 21 23 28 29 33 34 38 41 45 49 50 53 56 59 64 65 70 76 79 82 85 88
a 1 4 5 8 11 14 19 21 23 28 29 33 34 38 41 45 49 50 53 56 59 64 70 76 79 82 85 88
a 1 4 5 8 11 14 19 21 23 28 29 33 34 36 38 41 45 49 50 53 56 59 70 76 79 82 85 88
a 1 4 5 8 11 14 19 21 24 28 29 33 34 36 38 41 45 49 50 53 56 59 70 76 79 82 85 88
a 1 4 5 8 11 14 19 21 24 28 29 33 34 36 38 41 45 49 50 53 56 59 70 71 79 82 85 88
a 1 4 5 9 11 14 19 21 24 28 29 33 34 36 38 41 45 49 50 53 56 59 70 71 79 82 85 88
a 1 4 5 9 11 14 19 21 24 28 29 33 34 36 38 41 45 49 50 53 56 59 70 71 78 82 85 88
a 1 4 5 9 11 14 19 21 24 28 29 33 34 36 38 41 43 45 49 53 56 59 70 71 78 82 85 88
a 1 4 5 8 11 14 19 21 24 28 29 33 34 36 38 41 43 45 49 53 56 59 70 71 78 82 85 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 70 71 78 82 85 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 71 78 82 85 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 71 79 82 85 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 71 76 79 82 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 45 47 50 53 56 59 70 71 76 79 82 88
a 1 4 5 8 11 14 19 21 24 28 29 33 34 36 38 41 45 47 50 53 56 59 70 71 76 79 82 88
a 1 4 5 8 11 14 17 21 24 28 29 33 34 36 38 41 45 47 50 53 56 59 70 71 76 79 82 88
a 1 4 5 8 11 14 17 21 24 27 29 33 34 36 38 41 45 47 50 53 56 59 70 71 76 79 82 88
a 1 4 5 8 11 14 17 21 24 27 29 33 34 36 38 41 45 47 50 53 56 59 70 73 76 79 82 88
a 1 4 5 8 11 14 17 21 24 28 29 33 34 36 38 41 45 47 50 53 56 59 70 73 76 79 82 88
a 1 4 5 8 11 14 17 21 24 28 29 33 34 36 38 41 45 47 50 53 56 59 69 73 76 79 82 88
a 1 4 5 8 11 14 17 21 24 28 29 33 34 36 38 41 45 47 50 53 56 59 69 73 76 79 80 88
a 1 4 5 8 11 14 17 21 24 28 29 33 34 36 38 41 45 47 50 53 56 59 70 73 76 79 80 88
a 1 4 5 8 11 14 17 21 24 28 29 33 34 36 38 41 45 47 50 53 56 59 70 73 76 79 85 88
a 1 4 5 8 11 14 17 21 24 28 29 33 34 36 38 41 43 45 47 53 56 59 70 73 76 79 85 88
a 1 4 5 8 11 14 17 21 24 28 29 33 34 36 38 41 43 45 47 53 56 59 70 73 76 79 82 88
a 1 4 5 8 11 14 17 21 24 28 29 33 34 36 38 41 43 45 47 53 56 59 70 71 76 79 82 88
a 1 4 5 8 11 14 17 21 24 28 29 33 34 36 38 41 43 45 47 53 56 59 70 71 76 79 81 88
a 1 4 5 8 11 14 17 21 24 28 29 33 34 36 38 41 45 47 50 53 56 59 70 71 76 79 81 88
a 1 4 5 8 11 14 17 21 24 28 29 33 34 36 38 41 45 47 53 56 59 70 71 76 79 81 85 88
a 1 4 5 8 11 14 17 21 24 27 29 33 34 36 38 41 45 47 53 56 59 70 71 76 79 81 85 88
a 1 4 5 8 11 14 17 21 24 27 29 33 34 36 41 43 45 47 53 56 59 70 71 76 79 81 85 88
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 71 76 79 81 85 88
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 43 46 47 53 56 59 70 71 76 79 81 85 88
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 43 46 47 53 56 59 70 71 76 78 81 85 88
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 43 46 47 53 56 59 70 71 76 78 82 85 88
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 71 76 78 82 85 88
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 71 76 78 82 85 86
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 73 76 78 82 85 86
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 73 76 78 82 85 88
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 70 73 76 78 82 85 88
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 69 73 76 78 82 85 88
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 69 73 76 78 82 83 88
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 70 73 76 78 82 83 88
a 1 4 5 9 11 14 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 70 73 76 78 82 83 88
a 1 4 5 9 11 14 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 70 73 76 79 82 83 88
a 1 4 5 9 11 14 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 73 76 79 82 83 88
a 1 4 5 9 11 14 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 71 76 79 82 83 88
a 1 4 5 9 11 14 21 24 28 29 33 34 36 38 41 43 45 47 53 56 59 70 71 76 79 82 83 88
a 1 4 5 9 11 14 17 21 24 28 29 33 34 36 38 43 45 47 53 56 59 70 71 76 79 82 83 88
a 1 4 5 9 11 14 17 21 24 28 29 33 34 36 38 43 45 47 53 56 59 70 71 76 78 82 83 88
a 1 4 5 8 11 14 17 21 24 28 29 33 34 36 38 43 45 47 53 56 59 70 71 76 78 82 83 88
a 1 4 5 8 11 14 17 21 24 28 29 33 34 36 38 41 43 45 47 53 56 59 70 71 76 78 82 83
a 1 4 5 8 11 14 17 21 24 28 29 33 34 36 38 41 43 45 47 53 56 59 69 71 76 78 82 83
a 1 4 5 8 11 14 17 21 24 28 29 33 34 36 38 41 43 45 47 53 56 59 69 71 74 78 82 83
a 1 4 5 8 11 14 17 21 24 28 29 33 34 36 38 41 43 45 47 53 56 59 69 73 74 78 82 83
a 1 4 5 8 11 14 21 24 28 29 33 34 36 38 41 43 45 47 53 56 59 69 73 74 78 82 83 88
a 1 4 5 8 11 14 21 24 28 29 33 34 36 38 41 43 45 49 53 56 59 69 73 74 78 82 83 88
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 69 73 74 78 82 83 88
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 70 73 74 78 82 83 88
a 1 4 5 8 11 14 18 21 24 27 29 33 34 38 41 43 45 49 53 56 59 70 73 74 78 82 83 88
a 1 4 5 8 11 14 18 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 70 73 74 78 83 88
a 1 4 5 8 11 14 18 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 73 74 78 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 73 74 78 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 70 73 74 78 83 88
a 1 4 5 11 14 19 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 70 73 74 78 80 83 88
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 70 73 74 78 80 83 88
a 1 4 5 8 11 14 21 24 28 29 33 34 36 38 41 43 45 49 53 56 59 70 73 74 78 80 83 88
a 1 4 5 8 11 14 21 24 28 29 33 34 36 38 41 45 49 50 53 56 59 70 73 74 78 80 83 88
a 1 4 5 8 11 14 21 24 28 29 33 34 36 38 41 45 47 50 53 56 59 70 73 74 78 80 83 88
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 45 47 50 53 56 59 70 73 74 78 80 83 88
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 45 49 50 53 56 59 70 73 74 78 80 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 45 49 50 53 56 59 70 73 74 78 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 41 45 49 50 53 56 59 70 73 74 78 82 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 38 41 45 49 50 53 56 59 70 73 74 78 82 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 45 49 50 53 56 59 70 73 74 82 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 45 49 53 56 59 70 73 74 78 82 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 70 73 74 78 82 83
a 1 4 5 8 14 19 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 70 73 74 78 82 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 38 41 43 45 49 53 56 59 70 73 74 78 82 83 88
a 1 4 5 8 11 14 19 21 24 27 33 34 38 41 43 45 49 53 56 59 63 70 73 74 78 82 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 38 41 43 45 49 53 56 59 63 70 73 74 78 82 83
a 1 4 5 8 11 14 19 21 24 27 29 33 34 38 41 43 45 49 53 56 59 63 70 73 74 79 82 83
a 1 4 5 9 11 14 19 21 24 27 29 33 34 38 41 43 45 49 53 56 59 63 70 73 74 79 82 83
a 1 4 5 9 11 14 19 21 24 27 29 33 34 38 41 43 45 49 53 56 59 63 70 73 74 79 82 87
a 1 4 5 9 11 14 19 21 24 27 29 33 34 38 41 43 45 49 53 56 59 70 73 74 79 82 83 87
a 1 4 5 9 11 14 19 21 24 27 29 33 34 38 41 43 45 49 53 56 59 70 73 74 79 82 83 88
a 1 4 5 9 11 14 19 21 24 27 29 33 34 38 41 43 45 47 53 56 59 70 73 74 79 82 83 88
a 1 4 5 9 11 14 19 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 73 74 82 83 88
a 4 5 9 11 14 19 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 73 74 78 82 83 88
a 1 4 5 11 14 19 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 73 74 78 82 83 88
a 1 4 5 11 14 19 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 70 73 74 78 82 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 53 56 59 70 73 74 78 82 83 88
a 1 4 5 8 11 14 19 21 24 27 29 34 36 38 41 43 45 47 53 56 59 70 73 74 78 82 83 88
a 1 4 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 73 74 78 82 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 73 74 78 82 88
a 1 4 5 8 11 14 19 21 24 27 33 34 36 38 41 43 45 47 53 56 59 70 73 74 78 82 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 73 74 82 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 48 53 56 59 70 73 74 82 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 48 53 56 59 70 73 74 82 83 87
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 70 73 74 82 83 87
a 1 4 5 8 11 14 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 70 73 74 79 82 83 87
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 70 73 74 79 83 87
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 49 53 56 59 70 73 74 79 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 70 73 74 79 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 69 73 74 79 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 69 73 74 78 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 45 47 53 56 59 69 73 74 78 82 83 88
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 41 43 45 47 53 56 59 69 73 74 78 82 83
a 1 4 5 8 11 14 19 21 24 27 29 33 34 36 38 43 45 47 52 53 56 59 69 73 74 78 82 83
a 1 4 5 8 11 14 19 21 22 24 29 33 34 36 38 43 45 47 52 53 56 59 69 73 74 78 82 83
a 1 4 5 8 11 14 19 21 22 24 29 33 34 36 38 43 45 47 52 53 56 59 70 73 74 78 82 83
a 1 4 5 8 11 14 19 21 22 24 29 33 34 36 38 42 45 47 52 53 56 59 70 73 74 78 82 83
a 1 4 5 8 11 15 19 21 22 24 29 33 34 36 38 42 45 47 52 53 56 59 70 73 74 78 82 83
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 47 52 53 56 59 70 73 74 78 82 83
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 59 70 73 74 78 83
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 59 69 73 74 78 83
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 47 51 52 54 56 59 69 73 74 78 83
a 1 4 5 8 11 15 19 21 22 24 29 33 34 36 38 42 45 47 51 52 54 56 59 69 73 74 78 83
a 1 4 5 8 11 15 19 21 22 24 29 33 34 38 42 45 47 51 52 54 56 59 69 73 74 78 83 86
a 1 4 5 8 11 15 19 21 22 24 29 33 34 36 38 42 45 47 51 52 54 56 69 73 74 78 83 86
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 47 51 52 54 56 69 73 74 78 83 86
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 47 51 52 54 56 69 73 76 78 83 86
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 69 73 76 78 83 86
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 53 56 69 73 76 78 83 86
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 53 56 59 69 73 76 78 83
a 1 4 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 53 56 59 69 73 76 78 83 88
a 1 4 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 53 56 59 69 73 76 79 83 88
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 53 56 59 69 73 76 79 83
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 54 56 59 69 73 76 79 83
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 54 56 59 70 73 76 79 83
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 56 59 70 73 76 79 83 87
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 53 56 59 70 73 76 79 87
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 53 56 59 70 73 76 78 87
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 53 56 59 73 76 78 83 87
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 59 73 76 78 83 87
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 59 73 76 78 85 87
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 59 73 76 78 85 88
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 59 70 73 76 78 88
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 59 70 73 78 85 88
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 45 47 51 52 53 56 59 70 73 76 78 85 88
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 53 56 59 70 73 76 85 88
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 53 56 59 73 76 78 85 88
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 53 56 59 69 73 76 78 88
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 54 56 59 69 73 76 78 88
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 47 51 52 54 56 59 69 73 76 78 88
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 59 69 73 76 78 88
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 59 69 73 74 78 88
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 53 56 59 69 73 74 78 88
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 53 56 59 69 73 74 79 88
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 59 69 73 74 79 88
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 59 69 73 74 79 86
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 53 56 59 69 73 74 79 86
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 47 51 52 53 56 59 70 73 74 79 86
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 49 51 52 53 56 59 70 73 74 79 86
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 49 51 52 53 56 59 70 73 74 79 86
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 49 51 52 53 56 59 70 73 74 78 86
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 42 45 49 51 52 53 56 59 73 74 78 85 86
a 1 4 5 8 11 15 17 21 22 29 33 34 36 38 42 45 49 51 52 53 56 59 70 73 74 78 85 86
a 1 4 5 8 11 15 17 21 22 29 33 34 36 38 42 45 49 51 52 53 56 59 70 73 74 79 85 86
a 1 4 5 8 11 15 17 21 22 29 33 34 36 38 42 45 47 51 52 53 56 59 70 73 74 79 85 86
a 1 4 5 8 11 15 17 21 22 29 33 34 36 38 42 45 47 51 52 53 56 59 70 73 74 79 83 86
a 1 4 5 8 11 15 17 21 22 29 33 34 36 38 42 45 47 51 52 53 56 59 69 73 74 79 83 86
a 1 4 5 8 11 15 17 21 22 29 33 34 36 38 42 45 47 51 52 53 56 59 69 73 74 79 83 88
a 1 4 5 8 11 15 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 59 69 73 74 79 83 88
a 1 4 5 8 11 15 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 59 69 71 74 79 83 88
a 1 4 5 8 11 15 21 22 25 29 33 34 36 38 42 45 47 51 52 53 56 59 69 71 74 79 83 88
a 1 4 5 8 11 15 21 22 25 29 33 34 36 38 42 45 49 51 52 53 56 59 69 71 74 79 83 88
a 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 49 51 52 53 56 59 69 71 74 79 83 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 45 49 51 52 53 56 59 69 71 74 79 83 88
a 1 4 5 8 11 15 21 22 25 29 33 34 36 38 43 45 49 51 52 53 56 59 69 71 74 79 83 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 43 45 49 52 53 56 59 69 71 74 79 83 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 43 45 49 52 53 56 59 69 71 74 81 83 88
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 49 52 53 56 59 69 71 74 81 83 88
a 1 4 5 8 11 15 17 21 22 24 29 33 34 36 38 43 45 49 52 53 56 59 69 74 78 81 83 88
a 1 4 5 8 11 15 17 21 22 29 33 34 36 38 43 45 49 52 53 56 59 69 72 74 78 81 83 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 45 49 52 53 56 59 69 72 74 78 81 83 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 49 52 53 56 59 69 72 74 78 81 83
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 42 45 49 52 53 56 59 69 72 74 78 81 83
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 42 45 49 52 53 56 59 69 73 74 78 81 83
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 49 52 53 56 59 69 73 74 78 81 83
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 49 52 54 56 59 69 73 74 78 81 83
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 49 52 54 56 59 69 73 74 78 81 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 49 52 53 56 59 69 73 74 78 81 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 49 52 53 56 59 69 73 74 78 81 86
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 49 52 53 56 59 69 73 74 78 83 86
a 1 4 5 8 11 17 21 22 25 29 33 34 36 38 42 45 49 51 52 53 56 59 69 73 74 78 83 86
a 1 4 5 8 11 17 21 22 25 29 33 34 36 38 42 45 47 51 52 53 56 59 69 73 74 78 83 86
a 1 4 5 8 11 17 21 22 25 29 33 34 36 38 42 45 47 51 52 54 56 59 69 73 74 78 83 86
a 1 4 5 8 11 17 21 22 25 29 33 34 36 38 42 45 47 51 52 54 56 59 69 73 74 78 83 88
a 1 4 5 8 11 17 21 22 25 29 33 34 36 38 43 45 47 51 52 54 56 59 69 73 74 78 83 88
a 1 4 5 8 11 17 21 22 25 29 33 34 36 38 43 45 47 51 52 54 56 59 70 73 74 78 83 88
a 1 4 5 8 11 17 21 22 25 29 33 34 36 38 43 45 47 51 52 54 56 59 70 73 74 79 83 88
a 1 4 5 8 11 17 21 22 25 29 33 34 36 40 43 45 47 51 52 54 56 59 70 73 74 79 83 88
a 1 4 5 8 11 17 21 22 24 29 33 34 36 40 43 45 47 51 52 54 56 59 70 73 74 79 83 88
a 1 4 5 8 11 17 21 22 24 29 33 34 36 38 43 45 47 51 52 54 56 59 70 73 74 79 83 88
a 1 4 5 8 11 17 21 22 24 29 33 34 36 38 43 45 49 51 52 54 56 59 70 73 74 79 83 88
a 1 4 5 8 11 17 21 22 24 29 33 34 36 38 43 45 49 51 52 53 56 59 70 73 74 79 83 88
a 1 4 5 8 11 17 21 22 25 29 33 34 36 38 43 45 49 51 52 53 56 59 70 73 74 79 83 88
a 1 4 5 8 11 17 21 22 25 29 33 34 36 38 42 45 49 51 52 53 56 59 70 73 74 79 83 88
a 1 4 5 8 11 17 21 22 25 29 33 34 36 38 42 45 49 51 52 53 56 59 70 73 74 79 83 87
a 1 4 5 8 11 17 21 22 25 29 33 34 36 38 43 45 49 51 52 53 56 59 70 73 74 79 83 87
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 43 45 49 51 52 53 56 59 70 73 74 79 83 87
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 40 43 45 51 52 53 56 59 70 73 74 79 83 87
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 40 43 45 47 51 52 53 56 59 70 73 79 83 87
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 40 43 45 47 51 52 53 56 59 70 73 79 83 87
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 43 45 47 51 52 53 56 59 70 73 79 83 87
a 1 4 5 9 11 15 17 21 22 25 29 33 34 38 43 45 47 51 52 53 56 59 70 73 74 79 83 87
a 1 4 5 9 11 15 17 21 22 25 29 33 34 38 43 45 47 51 52 53 56 59 69 73 74 79 83 87
a 1 4 5 9 11 15 17 21 22 25 29 33 34 38 43 45 47 51 52 53 56 59 69 73 74 79 83 88
a 1 4 5 9 11 15 17 21 22 25 29 33 34 38 42 45 47 51 52 53 56 59 69 73 74 79 83 88
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 45 47 51 52 53 56 59 69 73 74 79 83 88
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 42 45 47 51 52 53 56 59 73 74 79 83 88
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 42 45 47 51 52 53 56 59 73 74 79 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 42 45 47 51 52 53 56 59 68 73 74 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 42 45 49 51 52 53 56 59 68 73 74 83 86
a 1 4 5 9 11 15 17 21 22 24 29 33 34 36 38 42 45 49 51 52 53 56 59 68 73 74 83 86
a 1 4 5 9 11 15 17 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 59 68 73 74 83 86
a 1 4 5 9 11 15 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 59 68 73 74 79 83 86
a 1 4 5 9 11 15 21 22 24 29 33 34 36 38 42 45 47 52 53 56 59 68 73 74 79 82 83 86
a 1 4 5 9 11 15 17 21 22 24 29 33 34 38 42 45 47 52 53 56 59 68 73 74 79 82 83 86
a 1 4 5 9 11 15 17 21 22 24 29 33 34 36 38 42 45 47 52 53 56 59 73 74 79 82 83 86
a 1 4 5 9 11 15 17 21 22 24 29 33 34 36 38 42 45 47 52 53 56 59 68 73 74 82 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 42 45 47 52 53 56 59 68 73 74 82 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 42 45 47 52 53 56 59 68 73 74 79 82 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 42 45 47 52 53 56 59 68 73 74 79 82 86
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 47 52 53 56 59 68 73 74 79 82 86
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 47 52 53 56 59 68 73 74 79 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 42 45 47 52 53 56 59 68 73 74 79 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 42 45 47 52 53 56 59 68 73 76 79 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 40 42 45 47 52 53 56 59 68 73 76 79 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 40 43 45 47 52 53 56 59 68 73 76 79 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 40 43 45 47 52 53 56 59 68 73 75 79 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 40 43 45 47 52 53 56 59 68 73 79 82 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 40 45 47 52 53 56 59 68 73 76 79 82 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 45 47 52 53 56 59 68 73 76 79 82 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 43 47 52 53 56 59 68 73 76 79 82 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 43 45 47 52 53 56 59 73 76 79 82 83 86
a 1 4 5 9 15 17 21 22 25 29 33 34 36 38 43 45 47 52 53 56 59 68 73 76 79 82 83 86
a 1 4 5 9 15 17 21 22 25 29 33 34 36 38 42 45 47 52 53 56 59 68 73 76 79 82 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 42 45 47 52 53 56 59 68 73 76 79 82 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 42 45 47 52 53 56 59 68 73 76 79 82 83
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 43 45 47 52 53 56 59 68 73 76 79 82 83
a 1 5 9 11 15 17 21 22 25 29 33 34 36 38 43 45 47 52 53 56 59 68 73 76 79 82 83 86
a 1 5 9 11 15 17 21 22 25 29 33 34 36 38 43 45 47 52 53 56 59 68 73 76 79 82 83 88
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 45 47 52 53 56 59 68 73 76 79 82 83 88
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 45 47 52 53 56 59 70 73 76 79 82 83 88
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 42 45 47 52 53 56 59 70 73 76 79 82 83
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 42 45 47 52 53 56 59 70 72 76 79 82 83
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 42 45 47 52 53 56 59 70 72 76 79 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 43 45 47 52 53 56 59 70 72 76 79 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 43 45 47 52 53 56 59 70 72 74 79 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 43 45 47 51 52 53 56 59 70 72 79 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 43 45 47 51 52 53 56 59 70 71 79 83 86
a 1 4 5 9 11 17 21 22 25 29 33 34 36 38 43 45 47 51 52 53 56 59 70 71 74 79 83 86
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 43 45 47 51 52 53 56 59 70 74 79 83 86
a 1 4 5 9 11 14 17 21 22 25 29 33 34 36 38 43 45 47 51 52 53 56 59 70 74 79 83 86
a 1 4 5 9 11 14 17 21 22 25 29 33 34 36 38 43 45 47 51 52 53 56 59 70 74 79 83 88
a 1 4 5 9 11 14 17 21 22 25 29 33 34 36 38 43 45 49 51 52 53 56 59 70 74 79 83 88
a 1 4 5 9 11 14 17 21 22 24 29 33 34 36 38 43 45 49 51 52 53 56 59 70 74 79 83 88
a 1 4 5 9 11 14 17 21 22 24 29 33 34 36 38 43 45 49 51 52 53 56 59 70 74 78 83 88
a 1 4 5 9 11 14 17 21 22 25 29 33 34 36 38 43 45 49 51 52 53 56 59 70 74 78 83 88
a 1 4 5 9 11 15 17 21 22 25 29 33 34 36 38 43 45 49 51 52 53 56 59 70 74 78 83 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 43 45 49 51 52 53 56 59 70 74 78 83 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 43 45 49 51 52 53 56 59 69 74 78 83 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 43 45 49 51 52 53 56 59 69 71 74 78 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 43 45 49 51 52 53 56 59 70 71 74 78 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 49 51 52 53 56 59 70 71 74 78 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 49 51 52 53 56 59 70 74 78 83 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 49 51 52 53 56 59 70 73 74 78 83 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 43 49 51 52 53 56 59 70 73 74 78 83 88
a 4 5 8 11 15 17 21 22 25 29 33 34 36 38 43 49 51 52 53 56 59 65 70 73 74 78 83 88
a 4 5 8 11 15 17 21 22 25 29 33 34 36 38 45 49 51 52 53 56 59 65 70 73 74 78 83 88
a 4 5 8 11 15 17 21 22 25 29 33 34 36 38 45 47 51 52 53 56 59 65 70 73 74 78 83 88
a 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 47 51 52 53 56 59 65 73 74 78 83 88
a 4 5 8 11 15 17 21 22 25 29 33 34 36 38 43 45 47 51 52 53 56 59 65 73 74 78 83 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 43 45 47 51 52 53 56 59 73 74 78 83 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 43 45 49 51 52 53 56 59 73 74 78 83 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 49 51 52 53 56 59 73 74 78 83 88
a 1 4 5 8 11 15 21 22 25 29 33 34 36 38 42 45 49 51 52 53 56 59 70 73 74 78 83 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 49 51 52 53 56 59 70 73 74 78 88
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 49 51 52 53 56 59 70 73 74 78 83
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 47 51 52 53 56 59 70 73 74 78 83
a 1 4 5 8 11 15 17 21 22 25 29 33 34 36 38 42 45 51 52 53 56 59 70 73 74 78 83 86
a 1 4 5 8 11 17 21 22 25 29 33 34 36 38 42 45 47 51 52 53 56 59 70 73 74 78 83 86
a 4 5 8 11 14 17 21 22 25 29 33 34 36 38 42 45 47 51 52 53 56 59 70 73 74 78 83 86
a 1 4 5 8 11 14 17 21 22 25 29 33 34 36 38 42 45 47 51 52 53 56 59 73 74 78 83 86
a 1 4 5 8 11 14 17 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 59 73 74 78 83 86
a 1 4 5 8 11 14 17 21 22 24 29 33 34 36 38 42 45 47 51 52 54 56 59 73 74 78 83 86
a 1 4 5 8 11 14 17 21 22 24 29 33 34 36 38 43 45 47 51 52 54 56 59 73 74 78 83 86
a 1 4 5 8 11 14 17 21 22 24 29 33 34 36 38 43 45 47 51 52 54 56 59 69 73 74 83 86
a 1 4 5 8 11 14 17 21 22 24 29 33 34 36 38 42 45 47 51 52 54 56 59 69 73 74 83 86
a 1 4 5 8 11 14 19 21 22 24 29 33 34 36 38 42 45 47 51 52 54 56 59 69 73 74 83 86
a 1 4 5 8 11 14 19 21 22 25 29 33 34 36 38 42 45 47 51 52 54 56 59 69 73 74 83 86
a 1 4 5 8 11 14 19 21 22 25 29 33 34 36 38 42 45 47 51 52 54 56 59 69 73 79 83 86
a 1 4 5 8 11 14 19 21 22 25 29 33 34 36 38 42 45 47 51 52 54 56 59 69 72 79 83 86
a 1 4 5 8 11 14 21 22 25 29 33 34 36 38 42 45 47 51 52 54 56 59 69 72 76 79 83 86
a 1 4 5 8 11 14 21 22 25 29 33 34 36 38 42 45 47 51 52 54 56 59 70 72 76 79 83 86
a 1 4 5 10 11 14 21 22 25 29 33 34 36 38 42 45 47 51 52 54 56 59 70 72 76 79 83 86
a 1 4 5 10 11 14 21 22 25 29 33 34 36 38 43 45 47 51 52 54 56 59 70 72 76 79 83 86
a 1 4 5 8 11 14 21 22 25 29 33 34 36 38 43 45 47 51 52 54 56 59 70 72 76 79 83 86
a 1 4 5 8 11 14 21 22 25 29 33 34 36 38 43 45 47 51 52 54 56 59 70 72 76 78 83 86
a 1 4 5 8 11 14 21 22 25 29 33 34 36 38 42 45 47 51 52 54 56 59 70 72 76 78 83 86
a 1 4 5 8 11 14 21 22 25 29 33 34 36 38 42 45 47 51 52 54 55 56 59 70 72 76 78 86
a 1 4 5 8 11 14 21 22 25 29 33 34 36 38 43 45 47 51 52 54 55 56 59 70 72 76 78 86
a 1 4 5 8 11 14 21 22 24 29 33 34 36 38 43 45 47 51 52 54 55 56 59 70 72 76 78 86
a 1 4 5 8 11 14 21 22 24 29 33 34 36 38 42 45 47 51 52 54 55 56 59 70 72 76 78 86
a 1 4 5 8 11 14 21 22 24 29 33 34 36 38 42 45 47 51 52 54 56 59 70 72 76 78 83 86
a 1 4 5 8 11 14 21 22 24 29 33 34 36 38 42 45 47 51 52 54 56 59 70 73 76 78 83 86
a 1 4 5 8 11 14 21 22 25 29 33 34 36 38 42 45 47 51 52 54 56 59 70 73 76 78 83 86
a 1 4 5 8 11 14 21 22 25 29 33 34 36 38 42 45 47 51 52 54 56 59 70 73 74 78 83 86
a 4 5 8 11 14 17 21 22 25 29 33 34 36 38 42 45 47 51 52 54 56 59 70 73 74 78 83 86
a 4 5 8 11 14 17 21 22 25 29 33 34 36 38 42 45 47 51 52 54 56 59 65 70 73 74 78 86
a 4 5 8 11 14 17 21 22 25 29 33 34 36 38 43 45 47 51 52 54 56 59 65 70 73 74 78 86
a 4 5 8 11 14 18 21 22 25 29 33 34 36 38 43 45 47 51 52 54 56 59 65 70 73 74 78 86
a 4 5 8 11 14 18 21 22 25 29 33 34 36 38 43 45 47 51 52 54 56 59 65 70 73 74 77 86
a 4 5 8 11 14 18 21 22 25 29 33 34 36 38 43 45 47 51 52 54 55 56 59 65 70 74 77 86
a 4 5 8 11 14 18 21 22 25 29 33 34 36 38 42 45 47 51 52 54 55 56 59 65 70 74 77 86
a 4 5 10 11 14 18 21 22 25 29 33 34 36 38 42 45 47 51 52 54 55 56 59 65 70 74 77 86
a 4 5 10 11 14 18 21 22 25 29 33 34 36 38 42 45 47 51 52 54 55 56 59 65 72 74 77 86
a 4 5 10 11 14 18 21 22 25 29 33 34 36 38 42 45 47 51 52 54 55 56 59 65 70 72 74 86
a 4 5 7 10 11 14 18 21 22 25 29 33 34 36 38 42 45 47 51 52 54 55 56 65 70 72 74 86
a 4 5 7 10 11 14 18 21 22 25 29 33 34 36 38 42 45 47 51 52 54 56 65 70 72 74 83 86
a 4 5 7 10 11 14 18 21 22 25 29 33 34 36 38 42 45 47 51 52 53 56 65 70 72 74 83 86
a 4 5 7 8 11 14 18 21 22 25 29 33 34 36 38 42 45 47 51 52 53 56 65 70 72 74 83 86
a 4 5 7 8 11 14 18 21 22 24 29 33 34 36 38 42 45 47 51 52 53 56 65 70 72 74 83 86
a 4 5 7 8 11 14 18 21 22 24 29 33 34 36 38 42 45 49 51 52 53 56 65 70 72 74 83 86
a 4 5 7 8 11 14 21 22 24 29 33 34 36 38 42 45 49 51 52 53 56 65 70 72 74 77 83 86
a 4 5 7 8 11 14 18 21 22 24 29 33 34 36 38 45 49 51 52 53 56 65 70 72 74 77 83 86
a 4 5 7 8 11 14 18 21 22 24 29 33 34 36 38 43 45 51 52 53 56 65 70 72 74 77 83 86
a 4 5 7 8 11 14 18 21 22 25 29 33 34 36 38 43 45 51 52 53 56 65 70 72 74 77 83 86
a 4 5 7 8 11 14 18 21 22 25 29 33 34 36 38 43 45 47 51 52 53 56 65 70 74 77 83 86
a 4 5 7 8 11 14 18 21 22 25 29 33 34 36 38 42 45 47 51 52 53 56 65 70 74 77 83 86
a 4 5 7 9 11 14 18 21 22 25 29 33 34 36 38 42 45 47 51 52 53 56 65 70 74 77 83 86
a 4 5 7 9 11 14 18 21 22 25 29 33 34 36 38 45 47 51 52 53 56 65 70 73 74 77 83 86
a 4 5 9 11 14 18 21 22 25 29 33 34 36 38 45 47 51 52 53 56 59 65 70 73 74 77 83 86
a 1 4 5 9 11 14 18 21 22 25 29 33 34 36 38 45 47 51 52 53 56 59 70 73 74 77 83 86
a 1 4 5 8 11 14 18 21 22 25 29 33 34 36 38 45 47 51 52 53 56 59 70 73 74 77 83 86
a 1 4 5 8 11 14 19 21 22 25 29 33 34 36 38 45 47 51 52 53 56 59 70 73 74 77 83 86
a 1 4 5 8 11 14 21 22 25 29 33 34 36 38 42 45 47 51 52 53 56 59 70 73 74 77 83 86
a 1 4 5 8 11 14 21 22 25 29 33 34 36 38 42 45 47 51 52 53 56 59 70 73 74 78 83 86
a 1 4 5 8 11 14 21 22 25 29 33 34 36 38 42 45 47 51 52 53 56 59 70 73 75 78 83 86
a 1 4 5 8 11 14 21 22 25 29 33 34 36 38 43 45 47 51 52 53 56 59 70 73 75 78 83 86
a 1 4 5 8 11 14 21 22 25 33 34 36 38 43 45 47 51 52 53 56 59 66 70 73 75 78 83 86
a 1 4 5 8 11 14 19 21 22 25 33 34 36 38 43 45 47 51 52 53 56 59 70 73 75 78 83 86
a 1 4 5 8 11 14 19 21 22 25 33 34 36 38 43 45 47 51 53 56 59 66 70 73 75 78 83 86
a 1 4 5 8 11 14 19 21 22 24 33 34 36 38 43 45 47 51 53 56 59 66 70 73 75 78 83 86
a 1 4 5 8 11 14 19 21 22 24 33 34 36 38 43 45 47 51 53 56 59 66 70 73 74 78 83 86
a 1 4 5 8 11 14 19 21 22 24 33 34 36 38 43 45 47 51 53 59 66 70 73 74 78 80 83 86
a 1 4 5 8 11 14 19 21 22 24 31 34 36 38 43 45 47 51 53 59 66 70 73 74 78 80 83 86
a 1 4 5 8 11 14 19 21 22 24 31 36 38 43 45 47 51 53 59 62 66 70 73 74 78 80 83 86
a 1 4 5 8 11 14 19 21 22 24 31 36 38 43 45 47 51 53 57 59 62 66 70 73 74 78 80 86
a 1 4 5 8 14 19 21 22 24 31 36 38 43 45 47 51 53 57 59 62 66 70 73 74 78 80 84 86
a 1 4 5 8 14 19 21 24 31 32 36 38 43 45 47 51 53 57 59 62 66 70 73 74 78 80 84 86
a 1 4 5 8 11 14 19 21 24 31 36 38 43 45 47 51 53 57 59 62 66 70 73 74 78 80 84 86
a 1 4 5 8 11 14 19 21 24 27 31 36 38 43 45 47 51 53 57 59 62 66 70 73 78 80 84 86
a 1 4 5 8 14 19 21 24 27 31 36 38 43 45 47 51 53 57 59 62 66 70 73 74 78 80 84 86
a 1 4 5 8 14 19 21 24 27 31 32 36 38 43 45 47 51 53 57 59 62 66 70 73 74 78 80 84
a 1 4 5 8 14 19 21 24 27 31 32 36 38 43 45 47 51 53 59 62 66 70 73 74 78 80 84 86
a 1 4 5 8 14 19 21 24 27 31 32 36 38 43 44 47 51 53 59 62 66 70 73 74 78 80 84 86
a 1 4 5 8 14 19 21 24 27 31 32 35 38 43 44 47 51 53 59 62 66 70 73 74 78 80 84 86
a 1 4 5 8 14 19 21 24 27 31 32 35 38 43 44 47 51 53 57 59 62 66 70 73 74 78 80 84
a 1 5 8 13 14 19 21 24 27 31 32 35 38 43 44 47 51 53 57 59 62 66 70 73 74 78 80 84
a 1 5 8 13 14 19 21 24 27 31 32 35 38 43 44 47 51 53 57 62 66 70 73 74 78 80 84 86
a 1 4 5 8 14 19 21 24 27 31 32 35 38 43 44 47 51 53 57 62 66 70 73 74 78 80 84 86
a 1 4 5 8 14 19 21 24 27 31 32 35 38 43 44 47 51 53 57 59 62 66 70 73 78 80 84 86
a 1 4 5 8 14 19 21 24 27 31 32 35 38 43 44 47 51 53 57 59 62 66 70 73 75 78 80 84
a 1 4 5 8 14 19 21 24 27 31 32 35 38 43 44 47 51 53 57 59 62 66 70 73 75 78 84 86
a 1 4 5 8 14 19 21 24 27 31 32 35 38 43 44 47 51 53 57 59 62 66 70 71 75 78 84 86
a 1 4 5 8 14 19 21 24 27 31 32 35 38 43 44 47 51 53 57 59 64 66 70 71 75 78 84 86
a 1 4 5 8 15 19 21 24 27 31 32 35 38 43 44 47 51 53 57 59 64 66 70 71 75 78 84 86
a 1 4 5 8 15 19 21 24 27 31 32 35 38 43 44 47 51 52 53 57 59 64 66 70 71 75 78 86
a 1 4 5 8 15 19 21 24 31 32 35 38 43 44 47 51 52 53 57 59 64 66 70 71 75 78 83 86
a 1 4 5 9 15 19 21 24 31 32 35 38 43 44 47 51 52 53 57 59 64 66 70 71 75 78 83 86
a 1 4 5 9 14 19 21 24 31 32 35 38 43 44 47 51 52 53 57 59 64 66 70 71 75 78 83 86
a 1 4 5 8 14 19 21 24 31 32 35 38 43 44 47 51 52 53 57 59 64 66 70 71 75 78 83 86
a 1 4 5 8 14 19 21 24 31 32 35 38 43 45 47 51 52 53 57 59 64 66 70 71 75 78 83 86
a 1 4 5 8 14 19 21 24 27 31 32 35 38 43 45 47 51 52 53 57 59 64 66 70 71 75 78 83
a 1 4 5 8 11 14 19 21 24 27 31 35 38 43 45 47 51 52 53 57 59 64 66 70 71 75 78 83
a 1 4 5 8 11 14 19 21 24 27 31 35 38 43 45 47 51 52 53 57 59 64 66 70 71 78 83 86
a 1 4 5 8 11 14 19 21 24 27 31 35 38 43 45 47 51 52 53 57 59 63 66 70 71 78 83 86
a 1 4 5 8 14 19 21 24 27 31 32 35 38 43 45 47 51 52 53 57 59 63 66 70 71 78 83 86
a 1 4 5 8 14 19 21 24 27 31 32 35 38 43 45 47 51 52 53 57 59 63 66 70 74 78 83 86
a 1 4 5 8 14 21 24 27 31 32 35 38 43 45 47 51 52 53 57 59 63 66 70 73 74 78 83 86
a 1 4 5 8 14 19 21 24 27 31 32 35 38 43 45 47 51 53 57 59 63 66 70 73 74 78 83 86
a 1 4 5 8 14 19 21 24 27 31 32 35 38 43 45 47 51 53 57 63 66 70 73 74 78 80 83 86
a 1 4 5 8 14 19 21 24 27 31 32 35 38 43 44 47 51 53 57 63 66 70 73 74 78 80 83 86
a 1 4 5 8 14 19 21 24 27 31 32 35 38 43 44 47 51 53 57 63 66 70 73 74 78 80 84 86
a 1 4 5 8 14 19 21 24 27 31 32 35 38 43 44 47 51 53 57 59 63 66 73 74 78 80 84 86
a 1 4 5 8 14 19 21 24 27 31 32 35 39 43 44 47 51 53 57 59 63 66 73 74 78 80 84 86
c Step: 388
#END: [Fri Sep  1 02:53:15 2023]