#BEGIN: [Thu Aug 31 16:38:13 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/david.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/david_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/david.col /benchmark/2022benchmark/benchmark/color04/david_01.dat
c /benchmark/2022benchmark/benchmark/color04/david.col
c /benchmark/2022benchmark/benchmark/color04/david_01.dat
TIMEOUT 1800
c send SIGTERM to CID 2922b7d30672ce45ebc70b9df99ded02d5b53d626a96f3191925b11d30425753
s 1 3 7 8 10 11 18 21 24 25 26 29 30 36 38 41 44 47 48 54 56 57 61 62 64 65 69 70 75 77 78 81 82 84 85 86 
t 1 3 6 7 8 10 11 16 17 18 21 24 25 26 27 29 30 36 38 41 44 48 54 55 56 57 61 62 64 65 68 75 78 81 82 86
a YES
a 1 3 7 8 10 11 18 21 24 25 26 29 30 36 38 41 44 47 48 54 56 57 61 62 64 65 69 70 75 77 78 81 82 84 85 86
a 1 3 7 8 10 11 16 18 21 24 25 26 29 30 36 38 41 44 47 48 54 56 57 61 62 64 65 69 70 75 78 81 82 84 85 86
a 1 3 7 8 10 11 16 18 21 24 25 26 29 30 31 36 38 41 47 48 54 56 57 61 62 64 65 69 70 75 78 81 82 84 85 86
a 1 3 7 8 10 11 16 18 21 24 25 26 29 30 31 36 38 41 47 48 54 56 57 61 62 64 65 69 70 73 75 78 81 82 85 86
a 1 3 7 8 10 11 16 18 21 24 25 26 27 29 30 31 36 38 41 47 48 54 56 57 61 62 64 65 69 70 73 75 78 81 82 86
a 1 3 7 8 10 11 16 18 21 24 25 26 27 29 30 31 36 38 41 47 48 54 55 56 57 61 62 64 65 69 73 75 78 81 82 86
a 1 3 7 8 10 11 16 17 18 21 24 25 26 27 29 30 31 36 38 41 47 48 54 55 56 57 61 62 64 65 69 75 78 81 82 86
a 1 3 7 8 10 11 16 17 18 21 24 25 26 27 29 30 31 36 38 41 47 48 51 54 55 56 57 61 62 64 65 75 78 81 82 86
a 1 3 7 8 10 11 16 17 18 21 24 25 26 27 29 30 31 38 41 47 48 51 52 54 55 56 57 61 62 64 65 75 78 81 82 86
a 1 3 7 8 10 11 16 17 18 21 24 25 26 27 29 30 31 38 41 47 48 51 52 54 56 57 61 62 64 65 70 75 78 81 82 86
a 1 3 6 7 8 10 11 16 17 18 21 24 25 26 27 29 30 31 38 41 48 51 52 54 56 57 61 62 64 65 70 75 78 81 82 86
a 1 3 6 7 8 10 11 16 17 18 21 24 25 26 27 29 30 31 38 41 48 51 52 54 55 56 57 61 62 64 65 75 78 81 82 86
a 1 3 6 7 8 10 11 16 17 18 21 24 25 26 27 28 29 30 31 38 41 48 52 54 55 56 57 61 62 64 65 75 78 81 82 86
a 1 3 6 7 8 10 11 17 18 21 24 25 26 27 28 29 30 31 38 41 48 52 54 55 56 57 61 62 63 64 65 75 78 81 82 86
a 1 3 6 7 8 10 11 17 18 21 24 25 26 27 28 29 30 31 38 41 48 52 54 56 57 61 62 63 64 65 70 75 78 81 82 86
a 1 3 6 7 8 10 11 18 21 24 25 26 27 28 29 30 31 38 41 48 52 54 56 57 61 62 63 64 65 70 75 78 81 82 84 86
a 1 3 6 7 8 10 11 18 21 24 25 26 27 28 29 31 38 39 41 48 52 54 56 57 61 62 63 64 65 70 75 78 81 82 84 86
a 1 3 6 7 8 10 11 18 21 24 25 26 27 28 29 31 38 39 41 48 52 54 55 56 57 61 62 63 64 65 75 78 81 82 84 86
a 1 3 6 7 8 10 11 18 21 24 25 26 27 28 29 31 38 39 41 48 52 54 55 56 57 61 62 64 65 75 77 78 81 82 84 86
a 1 3 6 7 8 10 11 16 18 21 24 25 26 27 28 29 31 38 39 41 48 52 54 55 56 57 61 62 64 65 75 78 81 82 84 86
a 1 3 6 7 8 10 11 16 17 18 21 24 25 26 27 28 29 31 38 39 41 48 52 54 55 56 57 61 62 64 65 75 78 81 82 86
a 1 3 6 7 8 10 11 16 17 18 21 24 25 26 28 29 31 38 39 41 48 52 54 55 56 57 61 62 64 65 75 78 81 82 85 86
a 1 3 7 8 10 11 16 17 18 21 24 25 26 28 29 31 38 39 41 47 48 52 54 55 56 57 61 62 64 65 75 78 81 82 85 86
a 1 3 7 8 10 11 16 17 18 21 25 26 28 29 31 38 39 41 47 48 52 54 55 56 57 61 62 64 65 75 78 80 81 82 85 86
a 1 3 7 8 10 11 17 18 21 25 26 28 29 31 38 39 41 47 48 52 54 55 56 57 61 62 63 64 65 75 78 80 81 82 85 86
a 1 3 7 8 10 11 18 21 25 26 28 29 31 38 39 41 47 48 52 54 55 56 57 61 62 63 64 65 75 78 80 81 82 84 85 86
a 1 3 7 8 10 11 18 21 24 25 26 28 29 31 38 39 41 47 48 52 54 55 56 57 61 62 63 64 65 75 78 81 82 84 85 86
a 1 3 7 8 10 11 18 21 24 25 26 28 29 31 38 39 41 47 48 52 54 55 56 57 61 62 64 65 75 77 78 81 82 84 85 86
a 1 3 7 8 10 11 18 21 25 26 28 29 31 38 39 41 47 48 52 54 55 56 57 61 62 64 65 75 77 78 80 81 82 84 85 86
a 1 3 7 8 10 11 18 21 25 26 28 29 31 38 39 41 47 48 52 54 56 57 61 62 64 65 70 75 77 78 80 81 82 84 85 86
a 1 3 7 8 10 11 16 18 21 25 26 28 29 31 38 39 41 47 48 52 54 56 57 61 62 64 65 70 75 78 80 81 82 84 85 86
a 1 3 7 8 10 11 16 18 21 25 26 28 29 31 38 39 41 47 48 52 54 56 57 60 61 62 64 65 70 75 78 80 81 82 84 86
a 1 3 7 8 10 11 16 18 21 25 26 27 28 29 31 38 39 41 47 48 52 54 56 57 61 62 64 65 70 75 78 80 81 82 84 86
a 1 3 7 8 10 11 16 18 21 25 26 27 29 31 38 39 41 47 48 51 52 54 56 57 61 62 64 65 70 75 78 80 81 82 84 86
a 1 3 7 8 10 11 18 21 25 26 27 29 31 38 39 41 47 48 51 52 54 56 57 61 62 64 65 70 75 77 78 80 81 82 84 86
a 1 3 7 8 10 11 18 21 25 26 27 29 31 38 39 41 47 48 51 52 53 54 56 57 61 62 64 65 70 75 77 78 80 82 84 86
a 1 3 7 8 10 11 18 21 25 26 27 29 31 38 39 41 45 47 48 51 52 53 54 56 57 61 62 64 65 70 75 77 78 80 82 86
a 1 3 7 8 10 11 16 18 21 25 26 27 29 31 38 39 41 45 47 48 51 52 53 54 56 57 61 62 64 65 70 75 78 80 82 86
a 1 3 7 8 10 11 16 18 21 24 25 26 27 29 31 38 39 41 45 47 48 51 52 53 54 56 57 61 62 64 65 70 75 78 82 86
a 1 3 7 8 10 11 16 18 21 24 25 26 27 29 31 38 39 41 45 47 48 51 52 53 54 55 56 57 61 62 64 65 75 78 82 86
a 1 3 7 8 10 11 16 17 18 21 24 25 26 27 29 31 38 39 41 47 48 51 52 53 54 55 56 57 61 62 64 65 75 78 82 86
a 1 3 7 8 10 11 17 18 21 24 25 26 27 29 31 38 39 41 47 48 51 52 53 54 55 56 57 61 62 64 65 75 77 78 82 86
a 1 3 7 8 10 11 17 18 21 24 25 26 27 29 31 38 39 41 47 48 51 52 54 55 56 57 61 62 64 65 75 77 78 81 82 86
a 1 3 7 8 10 11 17 18 21 24 25 26 27 28 29 31 38 39 41 47 48 52 54 55 56 57 61 62 64 65 75 77 78 81 82 86
a 1 3 7 8 10 11 17 18 21 25 26 27 28 29 31 38 39 41 47 48 52 54 55 56 57 61 62 64 65 75 77 78 80 81 82 86
a 1 3 7 8 10 11 17 18 21 25 26 27 28 29 31 38 39 41 47 48 52 54 55 56 57 61 62 63 64 65 75 78 80 81 82 86
a 1 3 7 8 10 11 17 18 21 25 26 27 28 29 31 38 39 41 47 48 52 54 56 57 61 62 63 64 65 70 75 78 80 81 82 86
a 1 3 7 8 10 11 15 17 18 21 25 26 27 28 29 31 38 39 41 47 48 52 54 56 57 62 63 64 65 70 75 78 80 81 82 86
a 1 3 7 8 10 11 15 17 18 21 24 25 26 27 28 29 31 38 39 41 47 48 52 54 56 57 62 63 64 65 70 75 78 81 82 86
a 1 3 7 8 10 11 15 17 18 21 24 25 26 28 29 31 38 39 41 47 48 52 54 56 57 60 62 63 64 65 70 75 78 81 82 86
a 1 3 7 8 10 11 15 17 18 21 24 25 26 28 29 31 38 39 41 47 48 52 54 56 57 62 63 64 65 70 75 78 81 82 85 86
a 1 3 7 8 10 11 15 16 17 18 21 24 25 26 28 29 31 38 39 41 47 48 52 54 56 57 62 64 65 70 75 78 81 82 85 86
a 1 3 7 8 10 11 16 17 18 21 24 25 26 28 29 31 38 39 41 47 48 52 54 56 57 61 62 64 65 70 75 78 81 82 85 86
a 1 3 7 8 10 11 16 17 18 21 24 25 26 28 29 30 31 38 41 47 48 52 54 56 57 61 62 64 65 70 75 78 81 82 85 86
a 1 3 7 8 10 11 16 17 18 21 24 25 26 28 29 30 31 36 38 41 47 48 54 56 57 61 62 64 65 70 75 78 81 82 85 86
a 1 3 6 7 8 10 11 16 17 18 21 24 25 26 28 29 30 31 36 38 41 48 54 56 57 61 62 64 65 70 75 78 81 82 85 86
a 1 3 6 7 8 10 11 16 17 18 21 24 25 26 29 30 31 36 38 41 48 54 56 57 61 62 64 65 69 70 75 78 81 82 85 86
a 1 3 6 7 8 10 11 16 17 18 21 24 25 26 29 30 31 36 38 41 48 54 56 57 61 62 64 65 68 70 75 78 81 82 85 86
a 1 3 6 7 8 10 11 16 17 18 21 24 25 26 29 31 36 38 39 41 48 54 56 57 61 62 64 65 68 70 75 78 81 82 85 86
a 1 3 6 7 8 10 11 16 17 18 21 24 25 26 28 29 31 36 38 39 41 48 54 56 57 61 62 64 65 70 75 78 81 82 85 86
a 1 3 6 7 8 10 11 16 18 21 24 25 26 28 29 31 36 37 38 39 41 48 54 56 57 61 62 64 65 70 75 78 81 82 85 86
a 1 3 6 7 8 10 11 16 18 21 24 25 26 27 28 29 31 36 37 38 39 41 48 54 56 57 61 62 64 65 70 75 78 81 82 86
a 1 3 7 8 10 11 16 18 21 24 25 26 27 28 29 31 36 37 38 39 41 47 48 54 56 57 61 62 64 65 70 75 78 81 82 86
a 1 3 7 8 10 11 16 18 21 24 25 26 27 28 29 31 36 37 38 39 41 47 48 54 55 56 57 61 62 64 65 75 78 81 82 86
a 1 3 7 8 10 11 16 18 21 24 25 26 27 28 29 31 36 37 38 39 41 47 48 53 54 55 56 57 61 62 64 65 75 78 82 86
a 1 3 7 8 10 11 15 16 18 21 24 25 26 27 28 29 31 36 37 38 39 41 47 48 53 54 55 56 57 62 64 65 75 78 82 86
a 1 3 6 7 8 10 11 15 16 18 21 24 25 26 27 28 29 31 36 37 38 39 41 48 53 54 55 56 57 62 64 65 75 78 82 86
a 1 3 6 7 8 10 11 15 16 18 21 24 25 26 27 29 31 36 37 38 39 41 48 51 53 54 55 56 57 62 64 65 75 78 82 86
a 1 3 6 7 8 10 11 15 16 18 21 24 25 26 27 29 31 37 38 39 41 48 51 52 53 54 55 56 57 62 64 65 75 78 82 86
a 1 3 6 7 8 10 11 15 16 17 18 21 24 25 26 27 29 31 38 39 41 48 51 52 53 54 55 56 57 62 64 65 75 78 82 86
a 1 3 6 7 8 10 11 15 16 17 18 21 24 25 26 27 29 30 31 38 41 48 51 52 53 54 55 56 57 62 64 65 75 78 82 86
a 1 3 6 7 8 10 11 15 16 17 18 21 24 25 26 27 28 29 30 31 38 41 48 52 53 54 55 56 57 62 64 65 75 78 82 86
a 1 3 6 7 8 10 11 15 16 17 18 21 25 26 27 28 29 30 31 38 41 48 52 53 54 55 56 57 62 64 65 75 78 80 82 86
a 1 3 6 7 8 10 11 15 17 18 21 25 26 27 28 29 30 31 38 41 48 52 53 54 55 56 57 62 64 65 75 77 78 80 82 86
a 1 3 6 7 8 10 11 15 17 18 21 24 25 26 27 28 29 30 31 38 41 48 52 53 54 55 56 57 62 64 65 75 77 78 82 86
a 1 3 7 8 10 11 15 17 18 21 24 25 26 27 28 29 30 31 38 41 47 48 52 53 54 55 56 57 62 64 65 75 77 78 82 86
a 1 3 7 8 10 11 15 17 18 21 24 25 26 27 28 29 31 38 39 41 47 48 52 53 54 55 56 57 62 64 65 75 77 78 82 86
a 1 3 7 8 10 11 15 18 21 24 25 26 27 28 29 31 38 39 41 47 48 52 53 54 55 56 57 62 64 65 75 77 78 82 84 86
a 1 3 7 8 10 11 15 16 18 21 24 25 26 27 28 29 31 38 39 41 47 48 52 53 54 55 56 57 62 64 65 75 78 82 84 86
a 1 3 7 8 10 11 15 16 18 21 25 26 27 28 29 31 38 39 41 47 48 52 53 54 55 56 57 62 64 65 75 78 80 82 84 86
a 1 3 7 8 10 11 15 16 18 21 25 26 27 28 29 31 38 39 41 47 48 52 54 55 56 57 62 64 65 75 78 80 81 82 84 86
a 1 3 7 8 10 11 15 16 18 21 24 25 26 27 28 29 31 38 39 41 47 48 52 54 55 56 57 62 64 65 75 78 81 82 84 86
a 1 3 7 8 10 11 15 16 18 21 24 25 26 27 28 29 31 36 38 39 41 47 48 54 55 56 57 62 64 65 75 78 81 82 84 86
a 1 3 7 8 10 11 15 16 18 21 24 25 26 27 28 29 31 36 37 38 39 41 47 48 54 55 56 57 62 64 65 75 78 81 82 86
a 1 3 7 8 10 11 15 16 21 24 25 26 27 28 29 31 36 37 38 39 41 47 48 54 55 56 57 59 62 64 65 75 78 81 82 86
a 1 3 7 8 10 11 15 16 21 24 25 26 27 28 29 31 36 37 38 39 41 47 48 53 54 55 56 57 59 62 64 65 75 78 82 86
a 1 3 7 8 10 11 15 16 21 24 25 26 27 29 31 36 37 38 39 41 47 48 53 54 55 56 57 59 62 64 65 68 75 78 82 86
a 1 3 7 8 10 11 15 16 21 24 25 26 27 29 30 31 36 37 38 41 47 48 53 54 55 56 57 59 62 64 65 68 75 78 82 86
a 1 3 7 8 10 11 15 16 17 21 24 25 26 27 29 30 31 36 38 41 47 48 53 54 55 56 57 59 62 64 65 68 75 78 82 86
a 1 3 7 8 10 11 15 16 17 21 24 25 26 27 29 30 31 36 38 41 47 48 54 55 56 57 59 62 64 65 68 75 78 81 82 86
a 1 3 7 8 10 11 15 16 17 21 25 26 27 29 30 31 36 38 41 47 48 54 55 56 57 59 62 64 65 68 75 78 80 81 82 86
a 1 3 7 8 10 11 15 16 17 21 25 26 27 29 31 36 38 39 41 47 48 54 55 56 57 59 62 64 65 68 75 78 80 81 82 86
a 1 3 7 8 10 11 15 17 21 25 26 27 29 31 36 38 39 41 47 48 54 55 56 57 59 62 63 64 65 68 75 78 80 81 82 86
a 1 3 7 8 10 11 15 21 25 26 27 29 31 36 38 39 41 47 48 54 55 56 57 59 62 63 64 65 68 75 78 80 81 82 84 86
a 1 3 7 8 10 11 15 21 25 26 27 29 31 36 38 39 41 47 48 54 56 57 59 62 63 64 65 68 70 75 78 80 81 82 84 86
a 1 3 7 8 10 11 15 21 25 26 27 29 31 36 38 39 41 47 48 53 54 56 57 59 62 63 64 65 68 70 75 78 80 82 84 86
a 1 3 7 8 10 11 21 25 26 27 29 31 36 38 39 41 47 48 53 54 56 57 59 61 62 63 64 65 68 70 75 78 80 82 84 86
a 1 3 7 8 10 11 21 25 26 27 29 31 36 38 39 41 47 48 53 54 55 56 57 59 61 62 63 64 65 68 75 78 80 82 84 86
a 1 3 7 8 10 11 18 21 25 26 27 29 31 36 38 39 41 47 48 53 54 55 56 57 61 62 63 64 65 68 75 78 80 82 84 86
a 1 3 7 8 10 11 18 21 25 26 27 29 31 36 38 39 41 47 48 51 53 54 55 56 57 61 62 63 64 65 75 78 80 82 84 86
a 1 3 7 8 10 11 18 21 25 26 27 29 31 36 37 38 39 41 47 48 51 53 54 55 56 57 61 62 63 64 65 75 78 80 82 86
a 1 3 7 8 10 11 15 18 21 25 26 27 29 31 36 37 38 39 41 47 48 51 53 54 55 56 57 62 63 64 65 75 78 80 82 86
a 1 3 7 8 10 11 15 18 21 25 26 27 29 31 36 37 38 39 41 47 48 53 54 55 56 57 62 63 64 65 68 75 78 80 82 86
a 1 3 7 8 10 11 13 15 18 21 25 26 29 31 36 37 38 39 41 47 48 53 54 55 56 57 62 63 64 65 68 75 78 80 82 86
a 1 3 7 8 10 11 13 15 21 25 26 29 31 36 37 38 39 41 47 48 53 54 55 56 57 59 62 63 64 65 68 75 78 80 82 86
a 1 3 7 8 10 11 13 15 21 25 26 29 31 36 37 38 39 41 47 48 53 54 56 57 59 62 63 64 65 68 70 75 78 80 82 86
a 1 3 7 8 10 11 13 15 21 25 26 29 31 36 37 38 39 41 47 48 51 53 54 56 57 59 62 63 64 65 70 75 78 80 82 86
a 1 3 7 8 10 11 13 15 21 25 26 29 31 36 37 38 39 41 47 48 51 53 54 55 56 57 59 62 63 64 65 75 78 80 82 86
a 1 3 7 8 10 11 15 21 25 26 27 29 31 36 37 38 39 41 47 48 51 53 54 55 56 57 59 62 63 64 65 75 78 80 82 86
a 1 3 7 8 10 11 15 21 25 26 27 29 31 37 38 39 41 47 48 51 52 53 54 55 56 57 59 62 63 64 65 75 78 80 82 86
a 1 3 7 8 10 11 15 21 25 26 27 29 31 37 38 39 41 47 48 51 52 53 54 56 57 59 62 63 64 65 70 75 78 80 82 86
a 1 3 7 8 10 11 15 17 21 25 26 27 29 31 38 39 41 47 48 51 52 53 54 56 57 59 62 63 64 65 70 75 78 80 82 86
a 1 3 7 8 10 11 15 16 17 21 25 26 27 29 31 38 39 41 47 48 51 52 53 54 56 57 59 62 64 65 70 75 78 80 82 86
a 1 3 7 8 10 11 15 16 17 21 25 26 27 29 31 38 39 41 47 48 51 52 54 56 57 59 62 64 65 70 75 78 80 81 82 86
a 1 3 7 8 10 11 15 16 17 21 25 26 27 29 31 38 39 41 47 48 51 52 54 55 56 57 59 62 64 65 75 78 80 81 82 86
a 1 3 7 8 10 11 15 16 17 21 25 26 27 28 29 31 38 39 41 47 48 52 54 55 56 57 59 62 64 65 75 78 80 81 82 86
a 1 3 7 8 10 11 15 16 21 25 26 27 28 29 31 38 39 41 47 48 52 54 55 56 57 59 62 64 65 73 75 78 80 81 82 86
a 1 3 7 8 10 11 15 16 21 25 26 27 28 29 38 39 41 44 47 48 52 54 55 56 57 59 62 64 65 73 75 78 80 81 82 86
a 1 3 7 8 10 11 15 16 21 25 26 27 29 38 39 41 44 47 48 51 52 54 55 56 57 59 62 64 65 73 75 78 80 81 82 86
a 1 3 7 8 10 11 15 16 18 21 25 26 27 29 38 39 41 44 47 48 51 52 54 55 56 57 62 64 65 73 75 78 80 81 82 86
a 1 3 7 8 10 11 15 16 18 21 25 26 27 29 37 38 39 41 44 47 48 51 52 54 55 56 57 62 64 65 75 78 80 81 82 86
a 1 3 7 8 10 11 15 16 17 18 21 25 26 27 29 38 39 41 44 47 48 51 52 54 55 56 57 62 64 65 75 78 80 81 82 86
a 1 3 7 8 10 11 15 16 17 18 21 25 26 27 29 38 39 41 44 47 48 51 52 53 54 55 56 57 62 64 65 75 78 80 82 86
a 1 3 7 8 10 11 15 16 17 18 21 25 26 27 29 30 38 41 44 47 48 51 52 53 54 55 56 57 62 64 65 75 78 80 82 86
a 1 3 7 8 10 11 13 15 16 17 18 21 25 26 29 30 38 41 44 47 48 51 52 53 54 55 56 57 62 64 65 75 78 80 82 86
a 1 3 7 8 10 11 13 15 16 17 18 21 25 26 29 30 31 38 41 47 48 51 52 53 54 55 56 57 62 64 65 75 78 80 82 86
a 1 3 7 8 10 11 13 15 16 17 21 25 26 29 30 31 38 41 47 48 51 52 53 54 55 56 57 59 62 64 65 75 78 80 82 86
a 1 3 7 8 10 11 15 16 17 21 25 26 27 29 30 31 38 41 47 48 51 52 53 54 55 56 57 59 62 64 65 75 78 80 82 86
a 1 3 7 8 10 11 15 16 17 21 25 26 27 29 30 38 41 44 47 48 51 52 53 54 55 56 57 59 62 64 65 75 78 80 82 86
a 1 3 7 8 10 11 16 17 21 25 26 27 29 30 38 41 44 47 48 51 52 53 54 55 56 57 59 61 62 64 65 75 78 80 82 86
a 1 3 7 8 10 11 16 17 21 25 26 27 28 29 30 38 41 44 47 48 52 53 54 55 56 57 59 61 62 64 65 75 78 80 82 86
a 1 3 7 8 10 11 16 17 21 25 26 27 28 29 30 38 41 44 47 48 52 54 55 56 57 59 61 62 64 65 75 78 80 81 82 86
a 1 3 7 8 10 11 16 17 21 25 26 27 28 29 30 38 41 44 47 48 52 54 56 57 59 61 62 64 65 70 75 78 80 81 82 86
a 1 3 7 8 10 11 16 17 21 25 26 27 28 29 30 36 38 41 44 47 48 54 56 57 59 61 62 64 65 70 75 78 80 81 82 86
a 1 3 7 8 10 11 16 17 21 25 26 27 28 29 30 36 38 41 44 47 48 53 54 56 57 59 61 62 64 65 70 75 78 80 82 86
a 1 3 7 8 10 11 16 17 21 24 25 26 27 28 29 30 36 38 41 44 47 48 53 54 56 57 59 61 62 64 65 70 75 78 82 86
a 1 3 7 8 10 11 16 17 21 24 25 26 28 29 30 36 38 41 44 47 48 53 54 56 57 59 60 61 62 64 65 70 75 78 82 86
a 1 3 7 8 10 11 17 21 24 25 26 28 29 30 36 38 41 44 47 48 53 54 56 57 59 60 61 62 63 64 65 70 75 78 82 86
a 1 3 7 8 10 11 17 21 24 25 26 28 29 30 38 41 44 47 48 52 53 54 56 57 59 60 61 62 63 64 65 70 75 78 82 86
a 1 3 7 8 10 11 17 21 24 25 26 28 29 30 31 38 41 47 48 52 53 54 56 57 59 60 61 62 63 64 65 70 75 78 82 86
a 1 3 7 8 10 11 21 24 25 26 28 29 30 31 38 41 47 48 52 53 54 56 57 59 60 61 62 63 64 65 70 75 78 82 84 86
a 1 3 7 8 10 11 13 21 24 25 26 28 29 30 31 38 41 47 48 52 53 54 56 57 59 61 62 63 64 65 70 75 78 82 84 86
a 1 3 7 8 10 11 21 24 25 26 28 29 30 31 38 41 47 48 52 53 54 56 57 59 61 62 63 64 65 70 75 78 82 84 85 86
a 1 3 7 8 10 11 21 24 25 26 27 28 29 30 31 38 41 47 48 52 53 54 56 57 59 61 62 63 64 65 70 75 78 82 84 86
a 1 3 7 8 10 11 21 24 25 26 27 29 30 31 38 41 47 48 51 52 53 54 56 57 59 61 62 63 64 65 70 75 78 82 84 86
a 1 3 7 8 10 11 18 21 24 25 26 27 29 30 31 38 41 47 48 51 52 53 54 56 57 61 62 63 64 65 70 75 78 82 84 86
a 1 3 7 8 10 11 16 18 21 24 25 26 27 29 30 31 38 41 47 48 51 52 53 54 56 57 61 62 64 65 70 75 78 82 84 86
a 1 3 7 8 10 11 16 18 21 24 25 26 27 29 30 31 38 41 47 48 51 52 53 54 55 56 57 61 62 64 65 75 78 82 84 86
a 1 3 7 8 10 11 16 18 21 24 25 26 27 29 30 31 38 41 47 48 51 52 54 55 56 57 61 62 64 65 75 78 81 82 84 86
a 1 3 7 8 10 11 18 21 24 25 26 27 29 30 31 38 41 47 48 51 52 54 55 56 57 61 62 63 64 65 75 78 81 82 84 86
a 1 3 7 8 10 11 18 21 24 25 26 27 29 31 38 39 41 47 48 51 52 54 55 56 57 61 62 63 64 65 75 78 81 82 84 86
a 1 3 7 8 10 11 18 21 24 25 26 27 29 31 38 39 41 47 48 51 52 54 55 56 57 61 62 63 64 65 73 75 78 81 82 86
a 1 3 7 8 10 11 18 21 24 25 26 27 29 38 39 41 44 47 48 51 52 54 55 56 57 61 62 63 64 65 73 75 78 81 82 86
a 1 3 5 7 8 10 11 18 21 24 25 26 27 29 38 39 41 44 47 48 51 52 54 55 56 57 61 62 63 64 65 73 75 81 82 86
a 1 3 5 7 8 10 11 18 21 24 25 26 27 29 38 39 41 44 47 48 51 52 54 55 56 57 61 62 63 64 65 75 81 82 84 86
a 1 3 7 8 10 11 18 21 24 25 26 27 29 38 39 41 44 47 48 51 52 54 55 56 57 61 62 63 64 65 75 78 81 82 84 86
a 1 3 7 8 10 11 18 21 24 25 26 27 28 29 38 39 41 44 47 48 52 54 55 56 57 61 62 63 64 65 75 78 81 82 84 86
a 1 3 7 8 10 11 18 21 24 25 26 28 29 38 39 41 44 47 48 52 54 55 56 57 60 61 62 63 64 65 75 78 81 82 84 86
a 1 3 7 8 10 11 21 24 25 26 28 29 38 39 41 44 47 48 52 54 55 56 57 59 60 61 62 63 64 65 75 78 81 82 84 86
a 1 3 7 8 10 11 21 24 25 26 27 28 29 38 39 41 44 47 48 52 54 55 56 57 59 61 62 63 64 65 75 78 81 82 84 86
a 1 3 7 8 10 11 21 24 25 26 27 28 29 38 39 41 44 47 48 50 52 54 55 56 57 59 61 62 63 64 65 75 78 81 82 86
a 1 3 7 8 10 11 21 24 25 26 27 29 38 39 41 44 47 48 50 51 52 54 55 56 57 59 61 62 63 64 65 75 78 81 82 86
a 1 3 7 8 10 11 21 24 25 26 27 29 38 39 41 44 47 48 50 51 52 54 56 57 59 61 62 63 64 65 70 75 78 81 82 86
a 1 3 7 8 10 11 21 24 25 26 27 29 31 38 39 41 47 48 50 51 52 54 56 57 59 61 62 63 64 65 70 75 78 81 82 86
a 1 3 7 8 10 11 21 24 25 26 27 28 29 31 38 39 41 47 48 50 52 54 56 57 59 61 62 63 64 65 70 75 78 81 82 86
a 1 3 7 8 10 11 16 21 24 25 26 27 28 29 31 38 39 41 47 48 50 52 54 56 57 59 61 62 64 65 70 75 78 81 82 86
a 1 3 7 8 10 11 16 21 24 25 26 27 28 29 38 39 41 44 47 48 50 52 54 56 57 59 61 62 64 65 70 75 78 81 82 86
a 1 3 7 8 10 11 16 18 21 24 25 26 27 28 29 38 39 41 44 47 48 50 52 54 56 57 61 62 64 65 70 75 78 81 82 86
a 1 3 7 8 10 11 16 18 21 24 25 26 27 28 29 38 39 41 44 47 48 50 52 53 54 56 57 61 62 64 65 70 75 78 82 86
a 1 3 7 8 10 11 16 21 24 25 26 27 28 29 38 39 41 44 47 48 50 52 53 54 56 57 59 61 62 64 65 70 75 78 82 86
a 1 3 7 8 10 11 21 24 25 26 27 28 29 38 39 41 44 47 48 50 52 53 54 56 57 59 61 62 64 65 70 75 77 78 82 86
a 1 3 7 8 10 11 21 24 25 26 27 28 29 38 39 41 44 47 48 50 52 53 54 56 57 59 61 62 63 64 65 70 75 78 82 86
a 1 3 7 8 10 11 21 24 25 26 27 28 29 38 39 41 44 45 47 48 52 53 54 56 57 59 61 62 63 64 65 70 75 78 82 86
a 1 3 7 8 10 11 21 24 25 26 28 29 38 39 41 44 45 47 48 52 53 54 56 57 59 61 62 63 64 65 70 75 78 82 85 86
a 1 3 7 8 10 11 18 21 24 25 26 28 29 38 39 41 44 45 47 48 52 53 54 56 57 61 62 63 64 65 70 75 78 82 85 86
a 1 3 7 8 10 11 18 21 24 25 26 28 29 38 39 41 44 45 47 48 52 53 54 56 57 61 62 64 65 70 75 77 78 82 85 86
a 1 3 7 8 10 11 18 21 24 25 26 28 29 38 39 41 44 45 47 48 52 53 54 55 56 57 61 62 64 65 75 77 78 82 85 86
a 1 3 7 8 10 11 18 21 24 25 26 28 29 38 39 41 44 47 48 50 52 53 54 55 56 57 61 62 64 65 75 77 78 82 85 86
a 1 3 7 8 10 11 18 21 24 25 26 28 29 38 39 41 44 47 48 50 52 53 54 55 56 57 60 61 62 64 65 75 77 78 82 86
a 1 3 7 8 10 11 18 21 24 25 26 28 29 38 39 41 44 45 47 48 52 53 54 55 56 57 60 61 62 64 65 75 77 78 82 86
a 1 3 7 8 10 11 18 21 24 25 26 28 29 36 38 39 41 44 45 47 48 53 54 55 56 57 60 61 62 64 65 75 77 78 82 86
a 1 3 7 8 10 11 18 21 24 25 26 28 29 36 38 39 41 44 47 48 50 53 54 55 56 57 60 61 62 64 65 75 77 78 82 86
a 1 3 7 8 10 11 18 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 60 61 62 64 65 69 75 77 78 82 86
a 1 3 7 8 10 11 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 77 78 82 86
a 1 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 86
a 1 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 45 47 48 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 86
a 1 3 7 8 10 11 21 24 25 26 29 36 38 39 41 44 45 47 48 53 54 55 56 57 59 60 61 62 64 65 69 75 77 78 82 86
a 1 3 7 8 10 11 21 24 25 26 29 36 38 39 41 44 45 47 48 54 55 56 57 59 60 61 62 64 65 69 75 77 78 81 82 86
a 1 3 7 8 10 11 21 24 25 26 29 36 38 39 41 44 45 47 48 54 56 57 59 60 61 62 64 65 69 70 75 77 78 81 82 86
a 1 3 7 8 10 11 21 25 26 29 36 38 39 41 44 45 47 48 54 56 57 59 60 61 62 64 65 69 70 75 77 78 80 81 82 86
a 1 3 5 7 8 10 11 21 25 26 29 36 38 39 41 44 45 47 48 54 56 57 59 60 61 62 64 65 69 70 75 77 80 81 82 86
a 1 3 5 7 8 10 11 21 25 26 29 36 38 39 41 44 45 47 48 53 54 56 57 59 60 61 62 64 65 69 70 75 77 80 82 86
a 1 3 5 7 8 10 11 21 24 25 26 29 36 38 39 41 44 45 47 48 53 54 56 57 59 60 61 62 64 65 69 70 75 77 82 86
a 1 3 5 7 8 10 11 17 21 24 25 26 29 36 38 39 41 44 47 48 53 54 56 57 59 60 61 62 64 65 69 70 75 77 82 86
a 1 3 5 7 8 10 11 17 21 24 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 60 61 62 64 65 69 75 77 82 86
a 1 3 5 7 8 10 11 13 17 21 24 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 61 62 64 65 69 75 77 82 86
a 1 3 5 7 8 10 11 13 21 24 25 26 29 36 38 39 41 44 45 47 48 53 54 55 56 57 59 61 62 64 65 69 75 77 82 86
a 1 3 5 7 8 10 11 13 21 24 25 26 29 36 38 39 41 44 45 47 48 53 54 56 57 59 61 62 64 65 69 70 75 77 82 86
a 1 3 5 7 8 10 11 13 15 21 24 25 26 29 36 38 39 41 44 45 47 48 53 54 56 57 59 62 64 65 69 70 75 77 82 86
a 1 3 7 8 10 11 13 15 21 24 25 26 29 36 38 39 41 44 45 47 48 53 54 56 57 59 62 64 65 69 70 75 77 78 82 86
a 1 3 7 8 10 11 13 15 17 21 24 25 26 29 36 38 39 41 44 47 48 53 54 56 57 59 62 64 65 69 70 75 77 78 82 86
a 1 3 7 8 10 11 13 15 16 17 21 24 25 26 29 36 38 39 41 44 47 48 53 54 56 57 59 62 64 65 69 70 75 78 82 86
a 1 3 7 8 10 11 13 15 16 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 56 57 59 62 64 65 69 70 75 78 82 86
a 1 3 7 8 10 11 13 15 16 21 24 25 26 29 36 38 39 41 44 47 48 50 51 53 54 56 57 59 62 64 65 70 75 78 82 86
a 1 3 7 8 10 11 13 15 21 24 25 26 29 36 38 39 41 44 47 48 50 51 53 54 56 57 59 62 63 64 65 70 75 78 82 86
a 1 3 7 8 10 11 13 15 21 24 25 26 29 36 38 39 41 44 47 48 50 51 53 54 56 57 59 62 64 65 70 75 77 78 82 86
a 1 3 6 7 8 10 11 13 15 21 24 25 26 29 36 38 39 41 44 48 50 51 53 54 56 57 59 62 64 65 70 75 77 78 82 86
a 1 3 6 7 8 10 11 13 15 18 21 24 25 26 29 36 38 39 41 44 48 50 51 53 54 56 57 62 64 65 70 75 77 78 82 86
a 1 3 6 7 8 10 11 13 15 18 21 24 25 26 29 36 38 39 41 44 48 50 53 54 56 57 62 64 65 69 70 75 77 78 82 86
a 1 3 6 7 8 10 11 13 15 18 21 24 25 26 29 36 38 39 41 44 48 50 53 54 56 57 62 64 65 68 70 75 77 78 82 86
a 1 3 6 7 8 10 11 13 15 18 21 24 25 26 29 30 36 38 41 44 48 50 53 54 56 57 62 64 65 68 70 75 77 78 82 86
a 1 3 6 7 8 10 11 13 15 18 21 25 26 29 30 36 38 41 44 48 50 53 54 56 57 62 64 65 68 70 75 77 78 80 82 86
a 1 3 6 7 8 10 11 13 15 18 21 25 26 29 30 36 38 41 44 48 53 54 56 57 62 64 65 68 70 75 77 78 80 82 84 86
a 1 3 6 7 8 10 11 13 15 18 21 25 26 29 30 36 38 41 44 48 53 54 55 56 57 62 64 65 68 75 77 78 80 82 84 86
a 1 3 6 7 8 10 11 13 15 18 21 25 26 29 30 36 38 41 44 48 51 53 54 55 56 57 62 64 65 75 77 78 80 82 84 86
a 1 3 6 7 8 10 11 13 15 18 21 25 26 29 30 36 38 41 44 48 51 53 54 55 56 57 62 63 64 65 75 78 80 82 84 86
a 1 3 6 7 8 10 11 13 15 18 21 24 25 26 29 30 36 38 41 44 48 51 53 54 55 56 57 62 63 64 65 75 78 82 84 86
a 1 3 6 7 8 10 11 13 15 18 21 24 25 26 29 30 36 38 41 44 48 53 54 55 56 57 62 63 64 65 68 75 78 82 84 86
a 1 3 6 7 8 10 11 13 15 18 21 24 25 26 29 30 36 38 41 44 48 50 53 54 55 56 57 62 63 64 65 68 75 78 82 86
a 1 3 7 8 10 11 13 15 18 21 24 25 26 29 30 36 38 41 44 47 48 50 53 54 55 56 57 62 63 64 65 68 75 78 82 86
a 1 3 7 8 10 11 13 15 18 21 25 26 29 30 36 38 41 44 47 48 50 53 54 55 56 57 62 63 64 65 68 75 78 80 82 86
a 1 3 7 8 10 11 15 18 21 25 26 29 30 36 38 41 44 47 48 50 53 54 55 56 57 62 63 64 65 68 75 78 80 82 85 86
a 1 3 7 8 10 11 15 18 21 25 26 29 30 36 38 41 44 47 48 50 54 55 56 57 62 63 64 65 68 75 78 80 81 82 85 86
a 1 3 7 8 10 11 15 18 21 25 26 27 29 30 36 38 41 44 47 48 50 54 55 56 57 62 63 64 65 68 75 78 80 81 82 86
a 1 3 7 8 10 11 15 21 25 26 27 29 30 36 38 41 44 47 48 50 54 55 56 57 59 62 63 64 65 68 75 78 80 81 82 86
a 1 3 7 8 10 11 15 21 25 26 27 29 30 36 37 38 41 44 47 48 54 55 56 57 59 62 63 64 65 68 75 78 80 81 82 86
a 1 3 7 8 10 11 15 21 25 26 27 29 30 36 37 38 41 44 47 48 54 55 56 57 59 62 63 64 65 69 75 78 80 81 82 86
a 1 3 7 8 10 11 21 25 26 27 29 30 36 37 38 41 44 47 48 54 55 56 57 59 61 62 63 64 65 69 75 78 80 81 82 86
a 1 3 7 8 10 11 21 25 26 27 29 30 36 37 38 41 44 47 48 54 55 56 57 59 61 62 64 65 69 75 77 78 80 81 82 86
a 1 3 7 8 10 11 16 21 25 26 27 29 30 36 37 38 41 44 47 48 54 55 56 57 59 61 62 64 65 69 75 78 80 81 82 86
a 1 3 7 8 10 11 16 21 25 26 27 29 30 36 37 38 41 44 47 48 53 54 55 56 57 59 61 62 64 65 69 75 78 80 82 86
a 1 3 7 8 10 11 16 21 24 25 26 27 29 30 36 37 38 41 44 47 48 53 54 55 56 57 59 61 62 64 65 69 75 78 82 86
a 1 3 5 7 8 10 11 16 21 24 25 26 27 29 30 36 37 38 41 44 47 48 53 54 55 56 57 59 61 62 64 65 69 75 82 86
a 1 3 5 7 8 10 11 16 18 21 24 25 26 27 29 30 36 37 38 41 44 47 48 53 54 55 56 57 61 62 64 65 69 75 82 86
a 1 3 5 7 8 10 11 16 18 21 24 25 26 27 29 30 36 38 41 44 47 48 53 54 55 56 57 61 62 64 65 69 75 82 84 86
a 1 3 5 6 7 8 10 11 16 18 21 24 25 26 27 29 30 36 38 41 44 48 53 54 55 56 57 61 62 64 65 69 75 82 84 86
a 1 3 5 6 7 8 10 11 18 21 24 25 26 27 29 30 36 38 41 44 48 53 54 55 56 57 61 62 63 64 65 69 75 82 84 86
a 1 3 5 6 7 8 10 11 18 21 24 25 26 29 30 36 38 41 44 48 53 54 55 56 57 61 62 63 64 65 69 75 82 84 85 86
a 1 3 5 6 7 8 10 11 18 21 24 25 26 29 30 36 38 41 44 48 53 54 55 56 57 61 62 64 65 69 75 77 82 84 85 86
a 1 3 5 6 7 8 10 11 18 21 24 25 26 29 30 36 38 41 44 48 53 54 55 56 57 60 61 62 64 65 69 75 77 82 84 86
a 1 3 6 7 8 10 11 18 21 24 25 26 29 30 36 38 41 44 48 53 54 55 56 57 60 61 62 64 65 69 75 77 78 82 84 86
a 1 3 7 8 10 11 18 21 24 25 26 29 30 36 38 41 44 47 48 53 54 55 56 57 60 61 62 64 65 69 75 77 78 82 84 86
a 1 3 7 8 10 11 18 21 24 25 26 29 30 36 37 38 41 44 47 48 53 54 55 56 57 60 61 62 64 65 69 75 77 78 82 86
a 1 3 7 8 10 11 18 21 25 26 29 30 36 37 38 41 44 47 48 53 54 55 56 57 60 61 62 64 65 69 75 77 78 80 82 86
a 1 3 7 8 10 11 18 21 25 26 29 30 36 38 41 44 47 48 53 54 55 56 57 60 61 62 64 65 69 73 75 77 78 80 82 86
a 1 3 7 8 10 11 18 21 25 26 29 30 36 38 41 44 47 48 54 55 56 57 60 61 62 64 65 69 73 75 77 78 80 81 82 86
a 1 3 7 8 10 11 18 21 25 26 29 30 36 38 41 44 47 48 50 54 55 56 57 60 61 62 64 65 69 75 77 78 80 81 82 86
a 1 3 7 8 10 11 18 21 25 26 29 30 36 38 41 44 47 48 50 54 55 56 57 61 62 64 65 69 75 77 78 80 81 82 85 86
a 1 3 7 8 10 11 13 18 21 25 26 29 30 36 38 41 44 47 48 50 54 55 56 57 61 62 64 65 69 75 77 78 80 81 82 86
a 1 3 7 8 10 11 13 18 21 25 26 29 30 31 36 38 41 47 48 50 54 55 56 57 61 62 64 65 69 75 77 78 80 81 82 86
a 1 3 7 8 10 11 13 18 21 25 26 29 31 36 38 39 41 47 48 50 54 55 56 57 61 62 64 65 69 75 77 78 80 81 82 86
a 1 3 7 8 10 11 13 18 21 25 26 29 31 36 38 39 41 45 47 48 54 55 56 57 61 62 64 65 69 75 77 78 80 81 82 86
a 1 3 7 8 10 11 13 18 21 25 26 29 31 36 38 39 41 45 47 48 53 54 55 56 57 61 62 64 65 69 75 77 78 80 82 86
a 1 3 7 8 10 11 13 16 18 21 25 26 29 31 36 38 39 41 45 47 48 53 54 55 56 57 61 62 64 65 69 75 78 80 82 86
a 1 3 7 8 10 11 13 16 18 21 25 26 28 29 31 36 38 39 41 45 47 48 53 54 55 56 57 61 62 64 65 75 78 80 82 86
a 1 3 7 8 10 11 13 15 16 18 21 25 26 28 29 31 36 38 39 41 45 47 48 53 54 55 56 57 62 64 65 75 78 80 82 86
a 1 3 7 8 10 11 13 15 18 21 25 26 28 29 31 36 38 39 41 45 47 48 53 54 55 56 57 62 64 65 75 77 78 80 82 86
a 1 3 7 8 10 11 13 15 18 21 25 26 28 29 31 36 38 39 41 45 47 48 53 54 55 56 57 62 63 64 65 75 78 80 82 86
a 1 3 7 8 10 11 13 15 18 21 25 26 29 31 36 38 39 41 45 47 48 51 53 54 55 56 57 62 63 64 65 75 78 80 82 86
a 1 3 7 8 10 11 13 15 18 21 25 26 29 31 36 38 39 41 45 47 48 51 54 55 56 57 62 63 64 65 75 78 80 81 82 86
a 1 3 7 8 10 11 13 15 18 21 25 26 29 30 31 36 38 41 45 47 48 51 54 55 56 57 62 63 64 65 75 78 80 81 82 86
a 1 3 7 8 10 11 13 15 18 21 24 25 26 29 30 31 36 38 41 45 47 48 51 54 55 56 57 62 63 64 65 75 78 81 82 86
a 1 3 7 8 10 11 13 15 18 21 24 25 26 29 30 36 38 41 44 45 47 48 51 54 55 56 57 62 63 64 65 75 78 81 82 86
a 1 3 7 8 10 11 15 18 21 24 25 26 27 29 30 36 38 41 44 45 47 48 51 54 55 56 57 62 63 64 65 75 78 81 82 86
a 1 3 7 8 10 11 18 21 24 25 26 27 29 30 36 38 41 44 45 47 48 51 54 55 56 57 61 62 63 64 65 75 78 81 82 86
a 1 3 7 8 10 11 18 21 24 25 26 27 28 29 30 36 38 41 44 45 47 48 54 55 56 57 61 62 63 64 65 75 78 81 82 86
a 1 3 7 8 10 11 18 21 24 25 26 28 29 30 36 38 41 44 45 47 48 54 55 56 57 60 61 62 63 64 65 75 78 81 82 86
a 1 3 5 7 8 10 11 18 21 24 25 26 28 29 30 36 38 41 44 45 47 48 54 55 56 57 60 61 62 63 64 65 75 81 82 86
a 1 3 5 7 8 10 11 18 21 25 26 28 29 30 36 38 41 44 45 47 48 54 55 56 57 60 61 62 63 64 65 75 80 81 82 86
a 1 3 5 7 8 10 11 18 21 25 26 28 29 30 36 38 41 44 45 47 48 53 54 55 56 57 60 61 62 63 64 65 75 80 82 86
a 1 3 5 7 8 10 11 17 18 21 25 26 28 29 30 36 38 41 44 47 48 53 54 55 56 57 60 61 62 63 64 65 75 80 82 86
a 1 3 5 7 8 10 11 17 18 21 24 25 26 28 29 30 36 38 41 44 47 48 53 54 55 56 57 60 61 62 63 64 65 75 82 86
a 1 3 5 7 8 10 11 17 18 21 24 25 26 28 29 30 36 38 41 44 47 48 53 54 55 56 57 60 61 62 64 65 75 77 82 86
a 1 3 5 7 8 10 11 18 21 24 25 26 28 29 30 36 38 41 44 47 48 53 54 55 56 57 60 61 62 64 65 73 75 77 82 86
a 1 3 5 7 8 10 11 18 21 24 25 26 28 29 30 36 38 41 44 47 48 53 54 55 56 57 60 61 62 63 64 65 73 75 82 86
a 1 3 5 7 8 10 11 18 21 24 25 26 28 29 30 36 38 41 44 47 48 54 55 56 57 60 61 62 63 64 65 73 75 81 82 86
a 1 3 5 6 7 8 10 11 18 21 24 25 26 28 29 30 36 38 41 44 48 54 55 56 57 60 61 62 63 64 65 73 75 81 82 86
a 1 3 5 6 7 8 10 11 18 21 24 25 26 28 29 30 36 38 41 44 48 53 54 55 56 57 60 61 62 63 64 65 73 75 82 86
a 1 3 5 6 7 8 10 11 21 24 25 26 28 29 30 36 38 41 44 48 53 54 55 56 57 59 60 61 62 63 64 65 73 75 82 86
a 1 3 5 6 7 8 10 11 15 21 24 25 26 28 29 30 36 38 41 44 48 53 54 55 56 57 59 60 62 63 64 65 73 75 82 86
a 1 3 5 6 7 8 10 11 15 21 24 25 26 28 29 36 38 39 41 44 48 53 54 55 56 57 59 60 62 63 64 65 73 75 82 86
a 1 3 5 6 7 8 10 11 15 21 24 25 26 29 36 38 39 41 44 48 53 54 55 56 57 59 60 62 63 64 65 68 73 75 82 86
a 1 3 5 6 7 8 10 11 15 18 21 24 25 26 29 36 38 39 41 44 48 53 54 55 56 57 60 62 63 64 65 68 73 75 82 86
a 1 3 5 6 7 8 10 11 15 16 18 21 24 25 26 29 36 38 39 41 44 48 53 54 55 56 57 60 62 64 65 68 73 75 82 86
a 1 3 5 6 7 8 10 11 15 16 18 21 24 25 26 29 36 38 39 41 44 48 54 55 56 57 60 62 64 65 68 73 75 81 82 86
a 1 3 5 6 7 8 10 11 15 16 21 24 25 26 29 36 38 39 41 44 48 54 55 56 57 59 60 62 64 65 68 73 75 81 82 86
a 1 3 5 6 7 8 10 11 15 16 21 25 26 29 36 38 39 41 44 48 54 55 56 57 59 60 62 64 65 68 73 75 80 81 82 86
a 1 3 6 7 8 10 11 15 16 21 25 26 29 36 38 39 41 44 48 54 55 56 57 59 60 62 64 65 68 73 75 78 80 81 82 86
a 1 3 6 7 8 10 11 16 21 25 26 29 36 38 39 41 44 48 54 55 56 57 59 60 61 62 64 65 68 73 75 78 80 81 82 86
a 1 3 6 7 8 10 11 16 21 25 26 29 36 38 39 41 44 48 54 55 56 57 59 61 62 64 65 68 73 75 78 80 81 82 85 86
a 1 3 7 8 10 11 16 21 25 26 29 36 38 39 41 44 47 48 54 55 56 57 59 61 62 64 65 68 73 75 78 80 81 82 85 86
a 1 3 7 8 10 11 15 16 21 25 26 29 36 38 39 41 44 47 48 54 55 56 57 59 62 64 65 68 73 75 78 80 81 82 85 86
a 1 3 7 8 10 11 15 16 21 25 26 29 31 36 38 39 41 47 48 54 55 56 57 59 62 64 65 68 73 75 78 80 81 82 85 86
a 1 3 7 8 10 11 16 21 25 26 29 31 36 38 39 41 47 48 54 55 56 57 59 61 62 64 65 68 73 75 78 80 81 82 85 86
a 1 3 7 8 10 11 16 21 25 26 29 31 36 38 39 41 47 48 54 56 57 59 61 62 64 65 68 70 73 75 78 80 81 82 85 86
a 1 3 7 8 10 11 16 21 25 26 29 36 38 39 41 44 47 48 54 56 57 59 61 62 64 65 68 70 73 75 78 80 81 82 85 86
a 1 3 5 7 8 10 11 16 21 25 26 29 36 38 39 41 44 47 48 54 56 57 59 61 62 64 65 68 70 73 75 80 81 82 85 86
a 1 3 5 7 8 10 11 16 17 21 25 26 29 36 38 39 41 44 47 48 54 56 57 59 61 62 64 65 68 70 75 80 81 82 85 86
a 1 3 5 7 8 10 11 16 17 21 25 26 29 36 38 39 41 44 47 48 53 54 56 57 59 61 62 64 65 68 70 75 80 82 85 86
a 1 3 5 7 8 10 11 16 17 18 21 25 26 29 36 38 39 41 44 47 48 53 54 56 57 61 62 64 65 68 70 75 80 82 85 86
a 1 3 5 6 7 8 10 11 16 17 18 21 25 26 29 36 38 39 41 44 48 53 54 56 57 61 62 64 65 68 70 75 80 82 85 86
a 1 3 5 6 7 8 10 11 16 17 18 21 25 26 29 36 38 39 41 44 48 54 56 57 61 62 64 65 68 70 75 80 81 82 85 86
a 1 3 5 6 7 8 10 11 16 17 18 21 25 26 29 30 36 38 41 44 48 54 56 57 61 62 64 65 68 70 75 80 81 82 85 86
a 1 3 5 6 7 8 10 11 13 16 17 18 21 25 26 29 30 36 38 41 44 48 54 56 57 61 62 64 65 68 70 75 80 81 82 86
a 1 3 5 6 7 8 10 11 16 17 18 21 25 26 27 29 30 36 38 41 44 48 54 56 57 61 62 64 65 68 70 75 80 81 82 86
a 1 3 6 7 8 10 11 16 17 18 21 25 26 27 29 30 36 38 41 44 48 54 56 57 61 62 64 65 68 70 75 78 80 81 82 86
a 1 3 6 7 8 10 11 16 17 18 21 24 25 26 27 29 30 36 38 41 44 48 54 56 57 61 62 64 65 68 70 75 78 81 82 86
a 1 3 6 7 8 10 11 16 17 18 21 24 25 26 27 29 30 36 38 41 44 48 54 55 56 57 61 62 64 65 68 75 78 81 82 86
c Step: 307
#END: [Thu Aug 31 17:08:14 2023]