#BEGIN: [Wed Aug 30 18:59:25 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/games120.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/games120_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/games120.col /benchmark/2022benchmark/benchmark/color04/games120_01.dat
c /benchmark/2022benchmark/benchmark/color04/games120.col
c /benchmark/2022benchmark/benchmark/color04/games120_01.dat
TIMEOUT 1800
c send SIGTERM to CID 86cc820ac20c5a1822d5aa9f1efd8d678d728731e1807074cd7e4e8495d21da8
s 2 5 9 27 29 42 50 57 59 64 73 79 80 81 83 87 93 98 102 109 110 115 
t 2 4 5 9 15 27 29 43 44 48 57 64 68 73 78 80 81 87 93 98 110 115
a YES
a 2 5 9 27 29 42 50 57 59 64 73 79 80 81 83 87 93 98 102 109 110 115
a 2 5 9 27 29 42 43 50 57 59 64 73 79 80 81 83 87 93 98 109 110 115
a 2 5 9 27 29 42 43 46 50 57 59 64 73 79 80 83 87 93 98 109 110 115
a 2 4 5 9 27 29 42 43 46 57 59 64 73 79 80 83 87 93 98 109 110 115
a 2 4 5 9 27 29 42 43 46 57 59 64 68 73 79 80 83 87 93 98 110 115
a 2 4 5 9 27 29 42 43 46 48 57 59 64 68 73 79 80 87 93 98 110 115
a 2 4 5 9 27 29 42 46 48 57 59 64 68 73 79 80 87 93 98 110 115 117
a 2 4 5 9 27 29 42 48 57 59 64 68 73 79 80 81 87 93 98 110 115 117
a 2 4 5 9 15 27 29 42 48 57 64 68 73 79 80 81 87 93 98 110 115 117
a 2 4 5 9 15 27 29 42 48 57 64 68 73 78 80 81 87 93 98 110 115 117
a 2 4 5 9 15 25 27 29 42 57 64 68 73 78 80 81 87 93 98 110 115 117
a 2 4 5 9 15 22 25 27 29 57 64 68 73 78 80 81 87 93 98 110 115 117
a 2 4 5 9 15 22 25 27 29 57 64 68 73 78 80 82 87 93 98 110 115 117
a 2 4 5 9 15 25 27 29 42 57 64 68 73 78 80 82 87 93 98 110 115 117
a 2 4 5 9 15 25 27 29 42 57 60 64 68 73 78 80 82 93 98 110 115 117
a 2 4 5 9 15 21 27 29 42 57 60 64 68 73 78 80 82 93 98 110 115 117
a 2 4 5 9 15 21 27 29 57 60 64 68 73 78 80 82 90 93 98 110 115 117
a 2 4 5 9 14 15 21 27 29 57 64 68 73 78 80 82 90 93 98 110 115 117
a 2 4 5 9 14 15 21 27 29 57 64 68 73 78 80 81 90 93 98 110 115 117
a 2 4 5 9 14 15 21 27 29 57 64 68 73 78 80 81 90 93 98 102 110 115
a 2 5 9 14 15 21 27 29 49 57 64 68 73 78 80 81 90 93 98 102 110 115
a 2 5 9 14 15 21 27 29 49 57 64 68 73 78 80 81 90 93 98 110 115 117
a 2 5 9 14 15 21 27 29 49 57 64 68 73 78 80 82 90 93 98 110 115 117
a 2 5 9 14 15 21 27 29 43 49 57 64 68 73 78 80 82 90 93 98 110 115
a 5 9 14 15 21 27 29 43 49 57 64 68 73 78 80 82 90 92 93 98 110 115
a 5 9 15 21 27 29 41 43 49 57 64 68 73 78 80 82 90 92 93 98 110 115
a 5 9 15 27 29 41 43 48 49 57 64 68 73 78 80 82 90 92 93 98 110 115
a 5 9 15 27 29 41 43 48 49 54 57 64 68 73 78 80 82 90 93 98 110 115
a 5 9 15 24 27 29 41 43 48 49 57 64 68 73 78 80 82 90 93 98 110 115
a 5 9 15 24 27 29 41 48 49 57 64 68 73 78 80 82 90 93 98 110 115 117
a 5 9 15 24 27 29 41 48 49 57 64 68 73 78 80 82 90 93 98 102 110 115
a 5 9 15 24 27 29 41 45 48 49 57 64 68 73 78 80 90 93 98 102 110 115
a 5 9 15 24 27 29 41 42 45 48 49 57 64 68 73 78 80 93 98 102 110 115
a 5 9 15 24 27 28 29 41 42 45 48 49 57 64 73 78 80 93 98 102 110 115
a 4 5 9 15 24 27 28 29 41 42 45 48 57 64 73 78 80 93 98 102 110 115
a 4 5 9 15 24 27 28 29 41 42 48 57 64 73 78 80 81 93 98 102 110 115
a 4 5 9 15 27 28 29 41 42 48 57 64 73 78 80 81 92 93 98 102 110 115
a 4 5 9 15 27 28 29 41 48 57 64 67 73 78 80 81 92 93 98 102 110 115
a 4 5 9 15 27 28 29 41 48 57 64 67 73 78 80 81 92 93 98 110 115 117
a 4 5 9 15 24 27 28 29 41 48 57 64 67 73 78 80 81 93 98 110 115 117
a 4 5 9 15 24 27 29 41 48 57 64 67 68 73 78 80 81 93 98 110 115 117
a 4 5 9 15 24 27 29 41 48 57 64 67 68 73 78 80 81 93 98 102 110 115
a 5 9 15 24 27 29 41 48 49 57 64 67 68 73 78 80 81 93 98 102 110 115
a 5 9 15 24 27 29 41 48 49 57 64 67 68 73 78 80 81 93 98 110 115 117
a 5 9 15 24 27 29 41 43 48 49 57 64 67 68 73 78 80 81 93 98 110 115
a 5 9 15 24 27 29 41 43 48 49 57 64 68 73 78 80 81 90 93 98 110 115
a 5 9 15 24 27 29 41 48 49 57 64 68 73 78 80 81 90 93 98 110 115 117
a 5 9 15 27 29 41 48 49 54 57 64 68 73 78 80 81 90 93 98 110 115 117
a 5 9 15 27 29 41 48 49 54 57 64 68 73 78 80 82 90 93 98 110 115 117
a 5 9 15 27 28 29 41 48 49 54 57 64 73 78 80 82 90 93 98 110 115 117
a 5 9 15 27 28 29 41 44 48 49 54 57 64 73 78 80 82 93 98 110 115 117
a 4 5 9 15 27 28 29 41 44 48 54 57 64 73 78 80 82 93 98 110 115 117
a 4 5 9 15 24 27 28 29 41 44 48 57 64 73 78 80 82 93 98 110 115 117
a 4 5 9 15 24 27 28 29 41 43 44 48 57 64 73 78 80 82 93 98 110 115
a 4 5 9 15 24 27 28 29 41 43 44 57 64 73 78 80 82 83 93 98 110 115
a 4 5 9 15 24 27 28 29 41 43 57 64 73 78 80 82 83 93 98 103 110 115
a 5 9 15 24 27 28 29 41 43 49 57 64 73 78 80 82 83 93 98 103 110 115
a 5 9 15 24 27 28 29 41 43 44 49 57 64 73 78 80 82 83 93 98 110 115
a 5 9 15 24 27 28 29 41 43 44 46 49 57 64 73 78 80 83 93 98 110 115
a 5 9 15 24 27 28 29 41 43 46 49 57 64 67 73 78 80 83 93 98 110 115
a 5 9 15 24 27 28 29 41 43 46 49 57 64 73 78 80 83 90 93 98 110 115
a 5 9 15 24 27 28 29 41 43 46 49 57 64 73 78 80 83 93 98 103 110 115
a 4 5 9 15 24 27 28 29 41 43 46 57 64 73 78 80 83 93 98 103 110 115
a 4 5 9 15 27 28 29 41 43 46 57 64 73 78 80 83 92 93 98 103 110 115
a 4 5 9 15 27 29 41 43 46 57 64 68 73 78 80 83 92 93 98 103 110 115
a 4 5 9 15 27 29 41 43 46 57 64 68 73 79 80 83 92 93 98 103 110 115
a 4 5 9 15 21 27 29 41 43 46 57 64 68 73 79 80 92 93 98 103 110 115
a 5 9 15 21 27 29 41 43 46 49 57 64 68 73 79 80 92 93 98 103 110 115
a 5 9 15 21 27 29 41 43 44 46 49 57 64 68 73 79 80 92 93 98 110 115
a 5 9 15 21 27 29 41 43 44 49 57 64 68 73 79 80 81 92 93 98 110 115
a 5 9 15 21 24 27 29 41 43 44 49 57 64 68 73 79 80 81 93 98 110 115
a 4 5 9 15 21 24 27 29 41 43 44 57 64 68 73 79 80 81 93 98 110 115
a 4 5 9 15 24 27 29 41 43 44 48 57 64 68 73 79 80 81 93 98 110 115
a 4 5 9 15 24 27 29 41 43 44 48 57 64 68 73 78 80 81 93 98 110 115
a 4 5 9 15 27 29 41 43 44 48 57 64 68 73 78 80 81 92 93 98 110 115
a 4 5 9 15 27 29 41 43 48 57 64 68 73 78 80 81 90 92 93 98 110 115
a 4 5 9 15 22 27 29 41 43 48 57 64 68 73 78 80 81 92 93 98 110 115
a 4 5 9 15 22 24 27 29 41 43 48 57 64 68 73 78 80 81 93 98 110 115
a 4 5 9 15 22 24 27 29 41 43 57 64 68 73 78 80 81 93 98 110 115 118
a 5 9 15 22 24 27 29 41 43 49 57 64 68 73 78 80 81 93 98 110 115 118
a 5 9 15 22 24 27 28 29 41 43 49 57 64 73 78 80 81 93 98 110 115 118
a 4 5 9 15 22 24 27 28 29 41 43 57 64 73 78 80 81 93 98 110 115 118
a 4 5 9 15 22 24 27 28 29 41 43 48 57 64 73 78 80 81 93 98 110 115
a 4 5 9 15 24 27 28 29 41 43 48 57 64 73 78 80 81 93 98 103 110 115
a 4 5 9 15 24 27 29 41 43 48 57 64 68 73 78 80 81 93 98 103 110 115
a 4 5 9 15 24 27 29 41 43 48 57 64 68 73 78 80 81 90 93 98 110 115
a 4 5 9 15 24 27 29 41 43 46 48 57 64 68 73 78 80 90 93 98 110 115
a 4 5 9 15 24 27 29 41 43 44 46 48 57 64 68 73 78 80 93 98 110 115
a 5 9 15 24 27 29 41 43 44 46 48 49 57 64 68 73 78 80 93 98 110 115
a 5 9 15 24 27 29 41 43 46 48 49 57 64 68 73 78 80 90 93 98 110 115
a 5 9 15 27 29 41 43 46 48 49 57 64 68 73 78 80 90 92 93 98 110 115
a 5 9 15 27 29 41 46 48 49 57 64 68 73 78 80 90 92 93 97 98 110 115
a 5 9 15 24 27 29 41 46 48 49 57 64 68 73 78 80 90 93 97 98 110 115
a 5 9 13 15 24 27 29 46 48 49 57 64 68 73 78 80 90 93 97 98 110 115
a 5 9 13 15 24 27 29 48 49 57 64 68 73 78 80 81 90 93 97 98 110 115
a 5 9 13 15 24 27 29 48 49 57 64 68 73 78 80 81 90 93 98 110 115 117
a 5 9 15 24 27 29 48 49 57 64 68 73 78 80 81 87 90 93 98 110 115 117
a 2 5 9 15 27 29 48 49 57 64 68 73 78 80 81 87 90 93 98 110 115 117
a 2 5 9 15 27 29 43 48 49 57 64 68 73 78 80 81 87 90 93 98 110 115
a 2 5 9 13 15 27 29 43 48 49 57 64 68 73 78 80 81 90 93 98 110 115
a 2 5 9 13 15 27 29 43 49 57 64 68 73 75 78 80 81 90 93 98 110 115
a 2 5 9 13 15 27 29 43 44 49 57 64 68 73 75 78 80 81 93 98 110 115
a 5 9 13 15 24 27 29 43 44 49 57 64 68 73 75 78 80 81 93 98 110 115
a 4 5 9 13 15 24 27 29 43 44 57 64 68 73 75 78 80 81 93 98 110 115
a 2 4 5 9 13 15 27 29 43 44 57 64 68 73 75 78 80 81 93 98 110 115
a 2 4 5 9 13 15 27 29 43 44 57 64 68 73 75 78 80 82 93 98 110 115
a 2 4 5 9 13 27 29 43 44 57 59 64 68 73 75 78 80 82 93 98 110 115
a 2 4 5 9 13 27 29 44 57 59 64 68 73 75 78 80 82 93 98 102 110 115
a 2 4 5 9 13 15 27 29 44 57 64 68 73 75 78 80 82 93 98 102 110 115
a 4 5 9 13 15 27 29 44 57 64 68 73 75 78 80 82 92 93 98 102 110 115
a 4 5 9 13 15 27 29 57 64 67 68 73 75 78 80 82 92 93 98 102 110 115
a 4 5 9 13 15 27 29 57 64 67 68 73 75 78 80 82 92 93 97 98 110 115
a 2 4 5 9 13 15 27 29 57 64 67 68 73 75 78 80 82 93 97 98 110 115
a 2 4 5 9 15 27 29 57 64 67 68 73 75 78 80 82 87 93 97 98 110 115
a 2 4 5 9 15 27 29 57 64 67 68 73 75 78 80 81 87 93 97 98 110 115
a 2 4 5 9 15 27 29 57 64 68 73 75 78 80 81 87 93 97 98 103 110 115
a 2 4 5 9 15 25 27 29 57 64 68 73 78 80 81 87 93 97 98 103 110 115
a 2 4 5 9 15 25 27 29 57 60 64 68 73 78 80 81 93 97 98 103 110 115
a 2 4 5 9 15 25 27 29 57 60 64 68 73 78 80 81 93 98 102 103 110 115
a 2 4 5 9 15 25 27 29 57 60 64 68 73 79 80 81 93 98 102 103 110 115
a 2 4 5 9 13 15 25 27 29 57 64 68 73 79 80 81 93 98 102 103 110 115
a 2 5 9 13 15 25 27 29 49 57 64 68 73 79 80 81 93 98 102 103 110 115
a 2 5 9 13 15 22 25 27 29 49 57 64 68 73 79 80 81 93 98 102 110 115
a 2 4 5 9 13 15 22 25 27 29 57 64 68 73 79 80 81 93 98 102 110 115
a 2 4 5 9 13 15 22 25 27 29 57 64 68 73 79 80 81 93 97 98 110 115
a 2 5 9 13 15 22 25 27 29 49 57 64 68 73 79 80 81 93 97 98 110 115
a 2 5 9 13 15 25 27 29 49 57 64 68 73 79 80 81 93 97 98 103 110 115
a 2 5 9 13 15 25 27 29 49 57 64 68 73 79 80 81 93 97 98 105 110 115
a 2 5 9 13 25 27 29 49 57 59 64 68 73 79 80 81 93 97 98 105 110 115
a 2 5 9 14 25 27 29 49 57 59 64 68 73 79 80 81 93 97 98 105 110 115
a 2 5 9 14 25 27 29 49 57 59 64 68 73 79 80 81 93 97 98 103 110 115
a 2 5 9 14 27 29 49 57 59 64 68 73 79 80 81 93 97 98 103 110 115 118
a 2 5 9 14 22 27 29 49 57 59 64 68 73 79 80 81 93 97 98 110 115 118
a 2 5 9 14 15 22 27 29 49 57 64 68 73 79 80 81 93 97 98 110 115 118
a 2 5 9 14 15 22 27 29 46 49 57 64 68 73 79 80 93 97 98 110 115 118
a 2 5 9 15 22 27 29 46 49 57 60 64 68 73 79 80 93 97 98 110 115 118
a 2 5 9 22 27 29 46 49 57 59 60 64 68 73 79 80 93 97 98 110 115 118
a 5 9 22 27 29 46 49 54 57 59 60 64 68 73 79 80 93 97 98 110 115 118
a 5 9 22 25 27 29 46 49 54 57 59 60 64 68 73 79 80 93 97 98 110 115
a 2 5 9 22 25 27 29 46 49 57 59 60 64 68 73 79 80 93 97 98 110 115
a 2 5 9 22 25 27 29 43 46 49 57 59 60 64 68 73 79 80 93 98 110 115
a 2 5 9 22 25 27 29 43 49 57 59 60 64 68 73 79 80 82 93 98 110 115
a 2 5 9 22 25 27 29 49 57 59 60 64 68 73 79 80 82 93 98 102 110 115
a 2 4 5 9 22 25 27 29 57 59 60 64 68 73 79 80 82 93 98 102 110 115
a 2 4 5 9 22 25 27 29 57 59 60 64 68 73 78 80 82 93 98 102 110 115
a 2 4 5 9 22 25 27 29 57 59 60 64 68 73 78 80 81 93 98 102 110 115
a 2 4 5 9 14 22 25 27 29 57 59 64 68 73 78 80 81 93 98 102 110 115
a 2 4 5 9 14 22 25 27 29 57 59 64 68 73 78 80 82 93 98 102 110 115
a 2 4 5 9 14 21 22 27 29 57 59 64 68 73 78 80 82 93 98 102 110 115
a 2 4 5 9 14 15 21 22 27 29 57 64 68 73 78 80 82 93 98 102 110 115
a 2 4 5 9 14 15 21 27 29 57 64 68 73 78 80 82 90 93 98 102 110 115
a 2 4 5 9 14 15 27 29 57 64 68 73 78 80 82 83 90 93 98 102 110 115
a 2 4 5 9 14 15 27 29 57 64 68 73 78 80 81 83 90 93 98 102 110 115
a 2 4 5 9 15 27 29 57 60 64 68 73 78 80 81 83 90 93 98 102 110 115
a 2 4 5 9 15 27 29 42 57 60 64 68 73 78 80 81 83 93 98 102 110 115
a 2 4 5 9 15 27 29 42 57 60 64 68 73 78 80 82 83 93 98 102 110 115
a 2 4 5 9 15 22 27 29 57 60 64 68 73 78 80 82 83 93 98 102 110 115
a 2 4 5 9 15 22 27 29 57 60 64 68 73 79 80 82 83 93 98 102 110 115
a 2 4 5 9 15 22 27 29 57 60 64 68 73 79 80 81 83 93 98 102 110 115
a 2 4 5 9 22 27 29 57 59 60 64 68 73 79 80 81 83 93 98 102 110 115
a 2 4 5 9 22 27 29 57 59 60 64 68 73 79 80 81 83 93 98 110 115 117
a 2 4 5 9 15 22 27 29 57 60 64 68 73 79 80 81 83 93 98 110 115 117
a 4 5 9 15 22 27 29 54 57 60 64 68 73 79 80 81 83 93 98 110 115 117
a 4 5 9 15 22 27 29 43 54 57 60 64 68 73 79 80 81 83 93 98 110 115
a 4 5 9 22 27 29 43 54 57 59 60 64 68 73 79 80 81 83 93 98 110 115
a 5 9 22 27 29 43 49 54 57 59 60 64 68 73 79 80 81 83 93 98 110 115
a 5 9 22 27 29 43 50 54 57 59 60 64 68 73 79 80 81 83 93 98 110 115
a 5 9 22 27 29 50 54 57 59 60 64 68 73 79 80 81 83 93 98 110 115 117
a 4 5 9 22 27 29 54 57 59 60 64 68 73 79 80 81 83 93 98 110 115 117
a 4 5 9 22 27 29 54 57 59 60 64 68 73 79 80 82 83 93 98 110 115 117
a 5 9 22 27 29 54 57 59 60 64 68 73 79 80 82 83 93 98 99 110 115 117
a 2 5 9 22 27 29 57 59 60 64 68 73 79 80 82 83 93 98 99 110 115 117
a 2 5 9 22 25 27 29 57 59 60 64 68 73 79 80 82 93 98 99 110 115 117
a 5 9 22 25 27 29 54 57 59 60 64 68 73 79 80 82 93 98 99 110 115 117
a 5 9 22 25 27 29 54 57 59 64 68 73 79 80 82 87 93 98 99 110 115 117
a 5 9 22 24 25 27 29 57 59 64 68 73 79 80 82 87 93 98 99 110 115 117
a 5 9 22 24 25 27 29 57 59 64 68 73 79 80 81 87 93 98 99 110 115 117
a 5 9 24 25 27 29 42 57 59 64 68 73 79 80 81 87 93 98 99 110 115 117
a 5 9 24 25 27 29 42 57 59 64 73 79 80 81 87 93 98 99 109 110 115 117
a 5 9 24 27 29 42 57 59 64 73 79 80 81 83 87 93 98 99 109 110 115 117
a 5 9 27 29 42 54 57 59 64 73 79 80 81 83 87 93 98 99 109 110 115 117
a 5 9 27 29 44 54 57 59 64 73 79 80 81 83 87 93 98 99 109 110 115 117
a 5 9 27 29 44 50 54 57 59 64 73 79 80 81 83 87 93 98 109 110 115 117
a 5 9 24 27 29 44 50 57 59 64 73 79 80 81 83 87 93 98 109 110 115 117
a 5 9 24 27 29 44 57 59 64 73 79 80 81 83 87 93 98 99 109 110 115 117
a 5 9 24 27 29 57 59 64 67 73 79 80 81 83 87 93 98 99 109 110 115 117
a 5 9 24 27 29 48 57 59 64 67 73 79 80 81 87 93 98 99 109 110 115 117
a 5 9 15 24 27 29 48 57 64 67 73 79 80 81 87 93 98 99 109 110 115 117
a 5 9 15 24 27 29 48 50 57 64 67 73 79 80 81 87 93 98 109 110 115 117
a 5 9 24 27 29 48 50 57 59 64 67 73 79 80 81 87 93 98 109 110 115 117
a 5 9 24 27 29 43 48 50 57 59 64 67 73 79 80 81 87 93 98 109 110 115
a 5 9 24 27 29 43 48 50 57 59 64 73 79 80 81 87 93 98 103 109 110 115
a 5 9 24 27 29 48 50 57 59 64 73 79 80 81 87 93 97 98 103 109 110 115
a 2 5 9 27 29 48 50 57 59 64 73 79 80 81 87 93 97 98 103 109 110 115
a 2 5 9 27 29 50 57 59 64 73 79 80 81 83 87 93 97 98 103 109 110 115
a 5 9 24 27 29 50 57 59 64 73 79 80 81 83 87 93 97 98 103 109 110 115
a 5 9 24 27 29 41 50 57 59 64 73 79 80 81 83 93 97 98 103 109 110 115
a 5 9 15 24 27 29 41 50 57 64 73 79 80 81 83 93 97 98 103 109 110 115
a 5 9 15 24 27 29 41 50 57 64 73 79 80 82 83 93 97 98 103 109 110 115
a 5 9 15 24 27 29 41 48 50 57 64 73 79 80 82 93 97 98 103 109 110 115
a 5 9 15 24 27 29 41 48 50 57 64 73 79 80 82 93 98 103 109 110 115 117
a 5 9 15 24 27 29 41 44 48 50 57 64 73 79 80 82 93 98 109 110 115 117
a 5 9 15 24 27 29 41 44 48 50 57 64 68 73 79 80 82 93 98 110 115 117
a 5 9 15 24 27 29 41 43 44 48 50 57 64 68 73 79 80 82 93 98 110 115
a 5 9 15 27 29 41 43 44 48 50 57 64 68 73 79 80 82 92 93 98 110 115
a 5 9 15 27 29 41 43 48 50 57 64 68 73 79 80 82 92 93 98 103 110 115
a 5 9 15 27 29 41 43 48 50 57 64 67 68 73 79 80 82 92 93 98 110 115
a 5 9 15 27 29 41 43 48 50 57 64 67 73 79 80 82 92 93 98 109 110 115
a 5 9 15 27 29 41 43 48 50 57 64 73 79 80 82 90 92 93 98 109 110 115
a 5 9 14 15 27 29 43 48 50 57 64 73 79 80 82 90 92 93 98 109 110 115
a 5 9 14 15 27 29 43 48 50 57 64 73 79 80 81 90 92 93 98 109 110 115
a 2 5 9 14 15 27 29 43 48 50 57 64 73 79 80 81 90 93 98 109 110 115
a 2 5 9 14 15 27 29 43 44 48 50 57 64 73 79 80 81 93 98 109 110 115
a 2 5 9 14 15 27 29 44 48 50 57 64 73 79 80 81 93 98 102 109 110 115
a 2 5 9 14 15 27 29 48 50 57 64 73 79 80 81 93 98 102 105 109 110 115
a 2 5 9 14 15 27 29 48 50 57 64 68 73 79 80 81 93 98 102 105 110 115
a 2 5 9 14 15 27 29 45 48 50 57 64 68 73 79 80 93 98 102 105 110 115
a 2 5 9 14 15 27 29 45 50 57 64 68 73 79 80 93 98 102 105 110 115 118
a 2 5 9 14 15 22 27 29 45 50 57 64 68 73 79 80 93 98 102 110 115 118
a 5 9 14 15 22 27 29 45 50 57 64 68 73 79 80 92 93 98 102 110 115 118
a 5 9 15 22 27 29 45 50 55 57 64 68 73 79 80 92 93 98 102 110 115 118
a 5 9 15 22 27 29 45 50 55 57 64 68 73 79 80 83 92 93 98 102 110 115
a 5 9 15 22 27 29 45 50 55 57 64 68 73 75 79 80 92 93 98 102 110 115
a 5 9 15 27 29 45 50 55 57 64 68 73 75 79 80 90 92 93 98 102 110 115
a 5 9 15 27 29 45 50 54 55 57 64 68 73 75 79 80 90 93 98 102 110 115
a 5 9 15 27 29 42 45 50 54 55 57 64 68 73 75 79 80 93 98 102 110 115
a 5 9 15 27 29 42 43 45 50 54 55 57 64 68 73 75 79 80 93 98 110 115
a 5 9 15 27 29 42 43 45 49 54 55 57 64 68 73 75 79 80 93 98 110 115
a 5 9 15 27 29 42 43 45 49 54 55 57 64 68 73 75 78 80 93 98 110 115
a 5 9 15 22 27 29 43 45 49 54 55 57 64 68 73 75 78 80 93 98 110 115
a 5 9 15 22 27 29 43 45 49 54 55 57 64 68 73 78 80 83 93 98 110 115
a 5 9 15 22 27 29 43 49 54 55 57 64 68 73 78 80 82 83 93 98 110 115
a 4 5 9 15 22 27 29 43 54 55 57 64 68 73 78 80 82 83 93 98 110 115
a 4 5 9 15 22 27 29 43 45 54 55 57 64 68 73 78 80 83 93 98 110 115
a 4 5 9 15 22 27 29 43 45 55 57 64 68 73 78 80 83 92 93 98 110 115
a 4 5 9 15 22 25 27 29 43 45 55 57 64 68 73 78 80 92 93 98 110 115
a 4 5 9 15 22 25 27 29 45 55 57 64 68 73 78 80 92 93 98 102 110 115
a 4 5 9 13 15 22 25 27 29 45 57 64 68 73 78 80 92 93 98 102 110 115
a 4 5 9 11 15 22 25 27 29 45 57 64 68 73 78 80 92 93 98 102 110 115
a 5 9 11 15 22 25 27 29 45 49 57 64 68 73 78 80 92 93 98 102 110 115
a 5 9 11 15 22 25 27 29 49 57 64 68 73 78 80 82 92 93 98 102 110 115
a 5 9 11 22 25 27 29 49 57 59 64 68 73 78 80 82 92 93 98 102 110 115
a 5 9 11 22 25 27 29 49 57 59 64 68 73 78 80 81 92 93 98 102 110 115
a 5 9 22 25 27 29 49 55 57 59 64 68 73 78 80 81 92 93 98 102 110 115
a 5 9 25 27 29 44 49 55 57 59 64 68 73 78 80 81 92 93 98 102 110 115
a 5 9 21 27 29 44 49 55 57 59 64 68 73 78 80 81 92 93 98 102 110 115
a 5 9 21 27 29 42 49 55 57 59 64 68 73 78 80 81 92 93 98 102 110 115
a 5 9 21 27 29 42 49 54 55 57 59 64 68 73 78 80 81 93 98 102 110 115
a 5 9 21 27 29 49 54 55 57 59 64 68 73 78 80 81 93 98 102 105 110 115
a 5 9 21 27 28 29 49 54 55 57 59 64 73 78 80 81 93 98 102 105 110 115
a 5 9 21 27 28 29 49 54 55 57 59 64 73 78 80 81 93 97 98 105 110 115
a 5 9 21 27 28 29 49 54 55 57 59 64 73 78 80 82 93 97 98 105 110 115
a 5 9 21 27 28 29 49 54 55 57 59 64 73 78 80 82 93 98 102 105 110 115
a 5 9 27 28 29 48 49 54 55 57 59 64 73 78 80 82 93 98 102 105 110 115
a 5 9 27 28 29 48 49 54 55 57 59 64 73 78 80 82 90 93 98 102 110 115
a 5 9 27 29 48 49 54 55 57 59 64 68 73 78 80 82 90 93 98 102 110 115
a 5 9 27 29 48 49 54 55 57 59 64 68 73 78 80 82 90 93 98 110 115 117
a 5 9 27 29 48 49 54 55 57 59 64 68 73 78 80 81 90 93 98 110 115 117
a 5 9 27 29 48 49 54 55 57 59 64 68 73 78 80 81 93 98 103 110 115 117
a 5 9 25 27 29 49 54 55 57 59 64 68 73 78 80 81 93 98 103 110 115 117
a 5 9 25 27 29 49 54 55 57 59 64 68 73 78 80 81 90 93 98 110 115 117
a 5 9 25 27 29 49 54 55 57 59 64 68 73 78 80 81 90 93 97 98 110 115
a 5 9 25 27 29 49 54 55 57 59 64 68 73 79 80 81 90 93 97 98 110 115
a 5 9 27 29 49 54 55 57 59 64 68 73 75 79 80 81 90 93 97 98 110 115
a 5 9 27 29 49 54 57 59 60 64 68 73 75 79 80 81 90 93 97 98 110 115
a 5 9 27 29 48 49 54 57 59 60 64 68 73 79 80 81 90 93 97 98 110 115
a 5 9 27 29 48 49 54 57 59 60 64 67 68 73 79 80 81 93 97 98 110 115
a 5 9 27 29 48 49 54 57 59 64 67 68 73 79 80 81 87 93 97 98 110 115
a 5 9 27 29 46 48 49 54 57 59 64 67 68 73 79 80 87 93 97 98 110 115
a 5 9 27 29 46 49 54 57 59 64 67 68 73 75 79 80 87 93 97 98 110 115
a 5 9 27 29 46 49 54 57 59 64 68 73 75 79 80 87 93 97 98 105 110 115
a 2 5 9 27 29 46 49 57 59 64 68 73 75 79 80 87 93 97 98 105 110 115
a 2 5 9 27 29 49 57 59 64 68 73 75 79 80 82 87 93 97 98 105 110 115
a 2 5 9 27 29 48 49 57 59 64 68 73 79 80 82 87 93 97 98 105 110 115
a 2 5 9 27 29 48 49 57 59 64 68 73 79 80 82 87 93 97 98 103 110 115
a 2 5 9 27 29 42 48 49 57 59 64 68 73 79 80 82 87 93 97 98 110 115
a 5 9 24 27 29 42 48 49 57 59 64 68 73 79 80 82 87 93 97 98 110 115
a 5 9 24 27 29 42 48 57 59 64 68 73 79 80 82 87 93 97 98 99 110 115
a 5 9 21 24 27 29 42 57 59 64 68 73 79 80 82 87 93 97 98 99 110 115
a 5 9 21 24 27 29 42 57 59 64 68 73 79 80 82 87 93 98 99 110 115 117
a 5 9 21 24 27 29 42 49 57 59 64 68 73 79 80 82 87 93 98 110 115 117
a 5 9 11 21 24 27 29 42 49 57 59 64 68 73 79 80 82 93 98 110 115 117
a 5 9 11 21 24 27 29 44 49 57 59 64 68 73 79 80 82 93 98 110 115 117
a 5 9 11 21 24 27 29 44 46 49 57 59 64 68 73 79 80 93 98 110 115 117
a 5 9 11 24 27 29 44 46 49 57 59 64 68 73 79 80 93 98 110 115 117 118
a 4 5 9 11 24 27 29 44 46 57 59 64 68 73 79 80 93 98 110 115 117 118
a 4 5 9 11 24 27 29 43 44 46 57 59 64 68 73 79 80 93 98 110 115 118
a 4 5 9 11 24 27 29 43 44 46 57 59 64 68 73 79 80 83 93 98 110 115
a 4 5 9 11 24 27 29 43 44 57 59 64 68 73 79 80 82 83 93 98 110 115
a 4 5 9 11 15 24 27 29 43 44 57 64 68 73 79 80 82 83 93 98 110 115
a 4 5 9 11 15 21 24 27 29 43 44 57 64 68 73 79 80 82 93 98 110 115
a 5 9 11 15 21 24 27 29 43 44 49 57 64 68 73 79 80 82 93 98 110 115
a 5 9 11 15 21 24 27 29 43 49 57 64 68 73 79 80 82 90 93 98 110 115
a 5 9 11 15 21 24 27 29 43 45 49 57 64 68 73 79 80 90 93 98 110 115
a 5 9 11 15 21 24 27 29 43 45 49 57 64 68 73 78 80 90 93 98 110 115
a 5 9 11 15 21 24 27 29 45 49 57 64 68 73 78 80 90 93 97 98 110 115
a 4 5 9 11 15 21 24 27 29 45 57 64 68 73 78 80 90 93 97 98 110 115
a 4 5 9 11 15 21 24 27 28 29 45 57 64 73 78 80 90 93 97 98 110 115
a 4 5 9 11 15 21 24 27 28 29 43 45 57 64 73 78 80 90 93 98 110 115
a 2 4 5 9 11 15 21 27 28 29 43 45 57 64 73 78 80 90 93 98 110 115
a 2 4 5 9 15 21 27 28 29 43 45 57 64 73 78 80 87 90 93 98 110 115
a 2 4 5 9 15 21 27 28 29 43 44 45 57 64 73 78 80 87 93 98 110 115
a 2 4 5 9 21 27 28 29 43 44 45 57 59 64 73 78 80 87 93 98 110 115
a 2 4 5 9 27 28 29 43 44 45 48 57 59 64 73 78 80 87 93 98 110 115
a 2 4 5 9 15 27 28 29 43 44 45 48 57 64 73 78 80 87 93 98 110 115
a 2 4 5 9 15 27 29 43 44 45 48 57 64 68 73 78 80 87 93 98 110 115
a 2 4 5 9 15 27 29 43 44 48 57 64 68 73 78 80 81 87 93 98 110 115
c Step: 306
#END: [Wed Aug 30 19:29:26 2023]