#BEGIN: [Fri Sep  1 02:15:04 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /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
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 4 5 9 27 29 42 57 59 64 73 79 80 81 83 87 93 98 102 109 110 115
a 2 4 5 9 27 29 44 57 59 64 73 79 80 81 83 87 93 98 102 109 110 115
a 2 4 5 9 27 29 57 59 64 73 79 80 81 83 87 90 93 98 102 109 110 115
a 2 4 5 9 27 29 57 59 64 68 73 79 80 81 83 87 90 93 98 102 110 115
a 2 4 5 9 27 29 42 57 59 64 68 73 79 80 81 83 87 93 98 102 110 115
a 2 4 5 9 27 29 42 57 59 60 64 68 73 79 80 81 83 93 98 102 110 115
a 2 4 5 9 27 29 44 57 59 60 64 68 73 79 80 81 83 93 98 102 110 115
a 2 4 5 9 11 27 29 44 57 59 64 68 73 79 80 81 83 93 98 102 110 115
a 2 4 5 9 11 27 29 42 57 59 64 68 73 79 80 81 83 93 98 102 110 115
a 4 5 9 11 27 29 42 57 59 64 68 73 79 80 81 83 92 93 98 102 110 115
a 4 5 9 11 27 29 42 57 59 64 68 73 79 80 81 83 92 93 98 110 115 117
a 4 5 9 11 27 29 42 57 59 64 68 73 75 79 80 81 92 93 98 110 115 117
a 4 5 9 11 27 29 42 43 57 59 64 68 73 75 79 80 81 92 93 98 110 115
a 4 5 9 11 27 29 42 57 59 64 68 73 75 79 80 81 92 93 98 102 110 115
a 4 5 9 11 27 29 57 59 64 68 73 75 79 80 81 92 93 98 102 105 110 115
a 4 5 9 11 27 29 57 59 64 68 73 75 79 80 82 92 93 98 102 105 110 115
a 4 5 9 11 27 29 57 59 64 68 73 79 80 82 83 92 93 98 102 105 110 115
a 4 5 9 11 27 29 57 59 64 68 73 79 80 82 83 92 93 97 98 105 110 115
a 4 5 9 11 27 29 57 59 64 68 73 79 80 81 83 92 93 97 98 105 110 115
a 4 5 9 11 27 29 48 57 59 64 68 73 79 80 81 92 93 97 98 105 110 115
a 4 5 9 11 27 29 45 48 57 59 64 68 73 79 80 92 93 97 98 105 110 115
a 2 4 5 9 11 27 29 45 48 57 59 64 68 73 79 80 93 97 98 105 110 115
a 2 4 5 9 11 27 29 45 48 57 59 64 68 73 78 80 93 97 98 105 110 115
a 2 4 5 9 11 27 29 48 57 59 64 68 73 78 80 82 93 97 98 105 110 115
a 2 4 5 9 11 27 29 48 57 59 64 68 73 78 80 81 93 97 98 105 110 115
a 2 4 5 9 11 27 29 48 57 59 64 68 73 78 80 81 93 97 98 103 110 115
a 4 5 9 11 27 29 48 57 59 64 68 73 78 80 81 92 93 97 98 103 110 115
a 4 5 9 11 27 29 42 48 57 59 64 68 73 78 80 81 92 93 97 98 110 115
a 4 5 9 11 27 29 42 48 57 59 64 68 73 78 80 81 92 93 98 102 110 115
a 4 5 9 11 27 29 42 48 57 59 64 68 73 79 80 81 92 93 98 102 110 115
a 4 5 9 11 27 29 42 48 57 59 64 68 73 79 80 81 92 93 97 98 110 115
a 4 5 9 11 27 29 48 57 59 64 68 73 79 80 81 92 93 97 98 103 110 115
a 4 5 9 11 27 29 43 48 57 59 64 68 73 79 80 81 92 93 98 103 110 115
a 4 5 9 11 15 27 29 43 48 57 64 68 73 79 80 81 92 93 98 103 110 115
a 4 5 9 15 27 29 41 43 48 57 64 68 73 79 80 81 92 93 98 103 110 115
a 4 5 9 27 29 41 43 48 57 59 64 68 73 79 80 81 92 93 98 103 110 115
a 4 5 9 25 27 29 41 43 57 59 64 68 73 79 80 81 92 93 98 103 110 115
a 4 5 9 25 27 29 41 43 57 59 64 73 79 80 81 92 93 98 103 109 110 115
a 4 5 9 27 29 41 43 57 59 64 73 75 79 80 81 92 93 98 103 109 110 115
a 4 5 9 27 29 41 43 57 59 64 68 73 75 79 80 81 92 93 98 103 110 115
a 5 9 27 29 41 43 49 57 59 64 68 73 75 79 80 81 92 93 98 103 110 115
a 5 9 15 27 29 41 43 49 57 64 68 73 75 79 80 81 92 93 98 103 110 115
a 5 9 11 15 27 29 43 49 57 64 68 73 75 79 80 81 92 93 98 103 110 115
a 5 9 11 15 27 29 43 45 49 57 64 68 73 75 79 80 92 93 98 103 110 115
a 5 9 11 15 27 29 43 44 45 49 57 64 68 73 75 79 80 92 93 98 110 115
a 5 9 11 15 27 29 43 44 45 49 57 64 68 73 75 78 80 92 93 98 110 115
a 5 9 11 15 27 29 42 43 45 49 57 64 68 73 75 78 80 92 93 98 110 115
a 5 9 11 15 27 29 42 43 45 49 57 64 68 73 78 80 83 92 93 98 110 115
a 4 5 9 11 15 27 29 42 43 45 57 64 68 73 78 80 83 92 93 98 110 115
a 4 5 9 11 15 27 29 43 45 57 64 68 73 78 80 83 92 93 98 103 110 115
a 4 5 9 15 27 29 41 43 45 57 64 68 73 78 80 83 92 93 98 103 110 115
a 4 5 9 15 21 27 29 41 43 45 57 64 68 73 78 80 92 93 98 103 110 115
a 4 5 9 15 21 27 29 41 43 57 64 68 73 78 80 81 92 93 98 103 110 115
a 4 5 9 11 15 21 27 29 43 57 64 68 73 78 80 81 92 93 98 103 110 115
a 4 5 9 11 15 21 27 29 57 64 68 73 78 80 81 92 93 97 98 103 110 115
a 4 5 9 11 15 21 27 29 45 57 64 68 73 78 80 92 93 97 98 103 110 115
a 4 5 9 11 15 21 27 29 45 57 64 68 73 79 80 92 93 97 98 103 110 115
a 4 5 9 15 21 27 29 41 45 57 64 68 73 79 80 92 93 97 98 103 110 115
a 4 5 9 15 21 27 29 41 42 45 57 64 68 73 79 80 92 93 97 98 110 115
a 4 5 9 15 21 27 29 42 45 55 57 64 68 73 79 80 92 93 97 98 110 115
a 4 5 9 15 21 27 29 42 45 55 57 64 68 73 79 80 92 93 98 102 110 115
a 4 5 9 21 27 29 42 45 55 57 59 64 68 73 79 80 92 93 98 102 110 115
a 4 5 9 21 27 29 45 55 57 59 64 68 73 79 80 92 93 98 102 105 110 115
a 5 9 21 27 29 45 49 55 57 59 64 68 73 79 80 92 93 98 102 105 110 115
a 5 9 21 27 29 41 45 49 57 59 64 68 73 79 80 92 93 98 102 105 110 115
a 5 9 25 27 29 41 45 49 57 59 64 68 73 79 80 92 93 98 102 105 110 115
a 4 5 9 25 27 29 41 45 57 59 64 68 73 79 80 92 93 98 102 105 110 115
a 4 5 9 25 27 29 41 45 57 59 64 68 73 79 80 90 92 93 98 102 110 115
a 4 5 9 24 25 27 29 41 45 57 59 64 68 73 79 80 90 93 98 102 110 115
a 4 5 9 24 25 27 29 41 45 57 59 64 68 73 79 80 93 98 102 105 110 115
a 4 5 9 24 25 27 29 41 45 57 59 64 68 73 79 80 93 97 98 105 110 115
a 4 5 9 24 25 27 29 41 45 57 59 64 68 73 79 80 90 93 97 98 110 115
a 4 5 9 24 25 27 29 41 42 45 57 59 64 68 73 79 80 93 97 98 110 115
a 4 5 9 24 25 27 29 41 42 45 57 59 64 68 73 79 80 93 98 102 110 115
a 4 5 9 15 24 25 27 29 41 42 45 57 64 68 73 79 80 93 98 102 110 115
a 4 5 9 15 24 25 27 29 41 45 57 64 68 73 79 80 93 98 102 103 110 115
a 4 5 9 15 24 25 27 29 41 45 57 64 73 79 80 93 98 102 103 109 110 115
a 4 5 9 24 25 27 29 41 45 57 59 64 73 79 80 93 98 102 103 109 110 115
a 4 5 9 24 25 27 29 41 43 45 57 59 64 73 79 80 93 98 103 109 110 115
a 4 5 9 24 25 27 29 41 43 45 57 59 64 73 79 80 90 93 98 109 110 115
a 4 5 9 24 25 27 29 41 43 45 57 59 64 68 73 79 80 90 93 98 110 115
a 4 5 9 24 25 27 29 41 43 57 59 64 68 73 79 80 82 90 93 98 110 115
a 5 9 24 25 27 29 41 43 57 59 64 68 73 79 80 82 90 93 98 99 110 115
a 5 9 24 25 27 29 41 43 44 57 59 64 68 73 79 80 82 93 98 99 110 115
a 5 9 24 25 27 29 41 43 44 49 57 59 64 68 73 79 80 82 93 98 110 115
a 5 9 15 24 25 27 29 41 43 44 49 57 64 68 73 79 80 82 93 98 110 115
a 5 9 15 21 24 27 29 41 43 44 49 57 64 68 73 79 80 82 93 98 110 115
a 5 9 15 21 24 27 29 41 43 44 50 57 64 68 73 79 80 82 93 98 110 115
a 5 9 15 21 24 27 29 41 43 44 46 50 57 64 68 73 79 80 93 98 110 115
a 4 5 9 15 21 24 27 29 41 43 44 46 57 64 68 73 79 80 93 98 110 115
a 4 5 9 15 21 24 27 29 41 43 44 46 57 64 68 73 78 80 93 98 110 115
a 4 5 9 15 21 24 27 29 41 43 46 57 64 68 73 78 80 93 98 103 110 115
a 4 5 9 15 21 24 27 29 41 43 46 57 64 68 73 79 80 93 98 103 110 115
a 5 9 15 21 24 27 29 41 43 46 50 57 64 68 73 79 80 93 98 103 110 115
a 5 9 15 21 24 27 29 41 43 46 50 57 64 73 79 80 93 98 103 109 110 115
a 5 9 15 21 24 27 29 41 43 50 57 64 73 79 80 82 93 98 103 109 110 115
a 5 9 15 21 27 29 41 43 50 57 64 73 79 80 82 92 93 98 103 109 110 115
a 5 9 21 27 29 41 43 50 57 59 64 73 79 80 82 92 93 98 103 109 110 115
a 5 9 21 27 29 41 50 57 59 64 73 79 80 82 92 93 98 102 103 109 110 115
a 5 9 21 27 29 41 45 50 57 59 64 73 79 80 92 93 98 102 103 109 110 115
a 5 9 21 27 29 41 45 50 57 59 64 68 73 79 80 92 93 98 102 103 110 115
a 5 9 21 27 29 41 50 57 59 64 68 73 79 80 81 92 93 98 102 103 110 115
a 5 9 21 27 29 41 49 57 59 64 68 73 79 80 81 92 93 98 102 103 110 115
a 5 9 27 29 41 49 57 59 64 68 73 79 80 81 92 93 98 102 103 110 115 118
a 5 9 13 27 29 49 57 59 64 68 73 79 80 81 92 93 98 102 103 110 115 118
a 5 9 13 21 27 29 49 57 59 64 68 73 79 80 81 92 93 98 102 103 110 115
a 5 9 13 21 24 27 29 49 57 59 64 68 73 79 80 81 93 98 102 103 110 115
a 5 9 13 21 22 24 27 29 49 57 59 64 68 73 79 80 81 93 98 102 110 115
a 5 9 13 21 22 24 27 29 49 57 59 64 68 73 79 80 81 93 97 98 110 115
a 5 9 13 21 22 24 27 29 50 57 59 64 68 73 79 80 81 93 97 98 110 115
a 5 9 13 21 24 27 29 42 50 57 59 64 68 73 79 80 81 93 97 98 110 115
a 5 9 13 21 27 29 42 50 57 59 64 68 73 79 80 81 92 93 97 98 110 115
a 5 9 14 21 27 29 42 50 57 59 64 68 73 79 80 81 92 93 97 98 110 115
a 5 9 14 15 21 27 29 42 50 57 64 68 73 79 80 81 92 93 97 98 110 115
a 2 5 9 14 15 21 27 29 42 50 57 64 68 73 79 80 81 93 97 98 110 115
a 2 5 9 14 21 27 29 42 50 57 59 64 68 73 79 80 81 93 97 98 110 115
a 2 5 9 14 21 27 29 50 57 59 64 68 73 79 80 81 93 97 98 103 110 115
a 2 5 9 14 21 27 29 45 50 57 59 64 68 73 79 80 93 97 98 103 110 115
a 2 5 9 14 21 27 29 45 50 57 59 64 68 73 79 80 93 97 98 105 110 115
a 2 5 9 14 27 29 45 50 57 59 64 68 73 79 80 83 93 97 98 105 110 115
a 2 5 9 14 27 29 45 50 57 59 64 68 73 79 80 83 93 98 102 105 110 115
a 2 5 9 14 27 29 45 50 57 59 64 73 79 80 83 93 98 102 105 109 110 115
a 2 5 9 14 27 29 45 50 57 59 64 73 75 79 80 93 98 102 105 109 110 115
a 2 5 9 14 27 29 45 48 50 57 59 64 73 79 80 93 98 102 105 109 110 115
a 2 5 9 14 27 29 45 48 50 57 59 64 68 73 79 80 93 98 102 105 110 115
a 2 5 9 14 27 29 48 50 57 59 64 68 73 79 80 81 93 98 102 105 110 115
a 2 5 9 14 27 29 50 57 59 64 68 73 79 80 81 83 93 98 102 105 110 115
a 2 5 9 14 15 27 29 50 57 64 68 73 79 80 81 83 93 98 102 105 110 115
a 2 5 9 14 15 27 29 45 50 57 64 68 73 79 80 83 93 98 102 105 110 115
a 2 5 9 14 15 27 29 45 50 57 64 68 73 75 79 80 93 98 102 105 110 115
a 2 5 9 14 15 27 29 44 45 50 57 64 68 73 75 79 80 93 98 102 110 115
a 2 5 9 14 15 27 29 44 45 50 57 64 73 75 79 80 93 98 102 109 110 115
a 5 9 14 15 27 29 44 45 50 57 64 73 75 79 80 92 93 98 102 109 110 115
a 5 9 14 15 27 29 44 50 57 64 73 75 79 80 81 92 93 98 102 109 110 115
a 5 9 14 15 27 29 50 57 64 67 73 75 79 80 81 92 93 98 102 109 110 115
a 4 5 9 14 15 27 29 57 64 67 73 75 79 80 81 92 93 98 102 109 110 115
a 4 5 9 14 15 27 29 57 64 67 68 73 75 79 80 81 92 93 98 102 110 115
a 2 4 5 9 14 15 27 29 57 64 67 68 73 75 79 80 81 93 98 102 110 115
a 2 5 9 14 15 27 29 57 64 67 68 73 75 79 80 81 93 98 99 102 110 115
a 2 5 9 14 27 29 57 59 64 67 68 73 75 79 80 81 93 98 99 102 110 115
a 2 5 9 14 27 29 57 59 64 67 73 75 79 80 81 93 98 99 102 109 110 115
a 2 5 9 14 27 29 43 57 59 64 67 73 75 79 80 81 93 98 99 109 110 115
a 2 4 5 9 14 27 29 43 57 59 64 67 73 75 79 80 81 93 98 109 110 115
a 2 4 5 9 14 27 29 43 57 59 64 67 73 79 80 81 83 93 98 109 110 115
a 2 4 5 9 14 25 27 29 43 57 59 64 67 73 79 80 81 93 98 109 110 115
a 2 4 5 9 14 25 27 29 57 59 64 67 73 79 80 81 93 98 109 110 115 117
a 2 4 5 9 14 25 27 29 57 59 64 67 73 79 80 81 93 98 102 109 110 115
a 2 4 5 9 14 15 25 27 29 57 64 67 73 79 80 81 93 98 102 109 110 115
a 2 4 5 9 14 15 25 27 29 57 64 67 68 73 79 80 81 93 98 102 110 115
a 2 4 5 9 14 15 25 27 29 57 64 67 68 73 79 80 81 93 98 110 115 117
a 2 4 5 9 14 15 25 27 29 57 64 67 68 73 79 80 82 93 98 110 115 117
a 2 4 5 9 14 15 25 27 29 43 57 64 67 68 73 79 80 82 93 98 110 115
a 2 4 5 9 14 15 25 27 29 43 57 64 68 73 79 80 82 90 93 98 110 115
a 2 4 5 9 14 15 25 27 29 43 45 57 64 68 73 79 80 90 93 98 110 115
a 2 4 5 9 14 15 25 27 29 43 45 57 64 73 79 80 90 93 98 109 110 115
a 2 4 5 9 15 25 27 29 43 45 57 64 73 79 80 87 90 93 98 109 110 115
a 2 4 5 9 15 25 27 29 43 46 57 64 73 79 80 87 90 93 98 109 110 115
a 4 5 9 15 25 27 29 43 46 54 57 64 73 79 80 87 90 93 98 109 110 115
a 4 5 9 15 25 27 29 41 43 46 54 57 64 73 79 80 90 93 98 109 110 115
a 4 5 9 15 21 27 29 41 43 46 54 57 64 73 79 80 90 93 98 109 110 115
a 4 5 9 15 21 27 29 41 43 45 54 57 64 73 79 80 90 93 98 109 110 115
a 4 5 9 15 21 27 29 41 43 45 54 57 64 68 73 79 80 90 93 98 110 115
a 4 5 9 15 27 29 41 43 45 54 57 64 68 73 79 80 90 93 98 110 115 118
a 4 5 9 15 27 29 41 43 45 54 57 64 73 79 80 90 93 98 109 110 115 118
a 4 5 9 15 27 29 41 43 45 54 57 64 73 79 80 83 90 93 98 109 110 115
a 4 5 9 15 27 29 41 43 46 54 57 64 73 79 80 83 90 93 98 109 110 115
a 4 5 9 15 27 29 43 46 54 55 57 64 73 79 80 83 90 93 98 109 110 115
a 4 5 9 15 27 29 43 45 54 55 57 64 73 79 80 83 90 93 98 109 110 115
a 4 5 9 15 24 27 29 43 45 55 57 64 73 79 80 83 90 93 98 109 110 115
a 5 9 15 24 27 29 43 45 50 55 57 64 73 79 80 83 90 93 98 109 110 115
a 5 9 15 24 27 29 43 45 50 55 57 64 68 73 79 80 83 90 93 98 110 115
a 5 9 15 24 27 29 43 45 48 50 55 57 64 68 73 79 80 90 93 98 110 115
a 5 9 15 24 27 29 43 45 48 50 55 57 64 73 79 80 90 93 98 109 110 115
a 4 5 9 15 24 27 29 43 45 48 55 57 64 73 79 80 90 93 98 109 110 115
a 4 5 9 15 24 27 29 43 46 48 55 57 64 73 79 80 90 93 98 109 110 115
a 4 5 9 15 27 29 43 46 48 54 55 57 64 73 79 80 90 93 98 109 110 115
a 4 5 9 15 27 29 43 46 48 54 55 57 64 73 79 80 93 98 103 109 110 115
a 4 5 9 15 22 27 29 43 46 48 54 55 57 64 73 79 80 93 98 109 110 115
a 4 5 9 15 27 29 42 43 46 48 54 55 57 64 73 79 80 93 98 109 110 115
a 4 5 9 15 27 29 42 43 46 54 55 57 64 73 79 80 93 98 109 110 115 118
a 4 5 9 15 27 29 43 46 54 55 57 64 73 79 80 90 93 98 109 110 115 118
a 4 5 9 15 24 27 29 43 46 55 57 64 73 79 80 90 93 98 109 110 115 118
a 4 5 9 24 27 29 43 46 55 57 59 64 73 79 80 90 93 98 109 110 115 118
a 4 5 9 24 27 29 43 46 55 57 59 64 73 79 80 93 98 103 109 110 115 118
a 4 5 9 24 27 29 43 45 55 57 59 64 73 79 80 93 98 103 109 110 115 118
a 4 5 9 24 27 29 43 45 55 57 59 64 68 73 79 80 93 98 103 110 115 118
a 4 5 9 24 27 29 43 45 55 57 59 64 68 73 78 80 93 98 103 110 115 118
a 5 9 24 27 29 43 45 49 55 57 59 64 68 73 78 80 93 98 103 110 115 118
a 5 9 24 27 29 43 45 48 49 55 57 59 64 68 73 78 80 93 98 103 110 115
a 5 9 15 24 27 29 43 45 48 49 55 57 64 68 73 78 80 93 98 103 110 115
a 5 9 15 24 27 28 29 43 45 48 49 55 57 64 73 78 80 93 98 103 110 115
a 5 9 15 24 27 28 29 43 46 48 49 55 57 64 73 78 80 93 98 103 110 115
a 5 9 15 27 28 29 43 46 48 49 55 57 64 73 78 80 92 93 98 103 110 115
a 5 9 15 27 28 29 43 46 49 55 57 64 73 78 80 92 93 98 103 110 115 118
a 5 9 15 27 28 29 42 43 46 49 55 57 64 73 78 80 92 93 98 110 115 118
a 5 9 15 27 29 42 43 46 49 55 57 64 68 73 78 80 92 93 98 110 115 118
a 4 5 9 15 27 29 42 43 46 55 57 64 68 73 78 80 92 93 98 110 115 118
a 4 5 9 15 21 27 29 42 43 46 55 57 64 68 73 78 80 92 93 98 110 115
a 4 5 9 15 27 29 42 43 46 48 55 57 64 68 73 78 80 92 93 98 110 115
a 4 5 9 15 27 29 42 43 46 48 55 57 64 68 73 79 80 92 93 98 110 115
a 5 9 15 27 29 42 43 46 48 55 57 64 68 73 79 80 92 93 98 99 110 115
a 5 9 15 27 29 42 46 48 55 57 64 68 73 79 80 92 93 97 98 99 110 115
a 5 9 15 27 29 42 46 48 55 57 64 73 79 80 92 93 97 98 99 109 110 115
a 5 9 15 27 29 46 48 55 57 64 73 79 80 92 93 97 98 99 103 109 110 115
a 5 9 15 27 29 41 46 48 57 64 73 79 80 92 93 97 98 99 103 109 110 115
a 5 9 27 29 41 46 48 57 59 64 73 79 80 92 93 97 98 99 103 109 110 115
a 5 9 27 29 41 46 48 57 59 64 68 73 79 80 92 93 97 98 99 103 110 115
a 5 9 27 29 41 46 48 54 57 59 64 68 73 79 80 93 97 98 99 103 110 115
a 5 9 27 29 41 46 48 50 54 57 59 64 68 73 79 80 93 97 98 103 110 115
a 5 9 27 29 41 43 46 48 50 54 57 59 64 68 73 79 80 93 98 103 110 115
a 5 9 27 29 41 43 46 48 54 57 59 64 68 73 79 80 93 98 99 103 110 115
a 5 9 27 29 41 43 46 48 54 57 59 64 68 73 79 80 90 93 98 99 110 115
a 5 9 27 29 41 43 46 48 54 57 59 64 67 68 73 79 80 93 98 99 110 115
a 5 9 27 29 41 43 46 48 50 54 57 59 64 67 68 73 79 80 93 98 110 115
a 4 5 9 27 29 41 43 46 48 54 57 59 64 67 68 73 79 80 93 98 110 115
a 4 5 9 27 29 41 42 43 46 48 54 57 59 64 68 73 79 80 93 98 110 115
a 4 5 9 27 29 41 42 43 45 48 54 57 59 64 68 73 79 80 93 98 110 115
a 4 5 6 9 27 29 42 43 45 48 54 57 59 64 68 73 79 80 93 98 110 115
a 4 5 6 9 27 29 43 44 45 48 54 57 59 64 68 73 79 80 93 98 110 115
a 4 5 9 27 29 43 44 45 48 54 57 59 60 64 68 73 79 80 93 98 110 115
a 2 4 5 9 27 29 43 44 45 48 57 59 60 64 68 73 79 80 93 98 110 115
a 2 4 5 9 27 29 43 45 48 57 59 60 64 68 73 79 80 93 98 103 110 115
a 2 4 5 9 27 29 43 45 48 57 59 60 64 73 79 80 93 98 103 109 110 115
a 2 4 5 9 25 27 29 43 45 57 59 60 64 73 79 80 93 98 103 109 110 115
a 2 4 5 9 25 27 29 43 46 57 59 60 64 73 79 80 93 98 103 109 110 115
a 2 4 5 9 27 29 43 46 57 59 60 64 73 79 80 83 93 98 103 109 110 115
a 2 4 5 9 27 29 43 44 46 57 59 60 64 73 79 80 83 93 98 109 110 115
a 2 4 5 9 27 29 43 44 45 57 59 60 64 73 79 80 83 93 98 109 110 115
a 2 4 5 9 15 27 29 43 44 45 57 60 64 73 79 80 83 93 98 109 110 115
a 2 4 5 9 11 15 27 29 43 44 45 57 64 73 79 80 83 93 98 109 110 115
a 2 4 5 9 11 15 27 29 42 43 45 57 64 73 79 80 83 93 98 109 110 115
a 2 4 5 9 15 27 29 42 43 45 57 64 73 79 80 83 87 93 98 109 110 115
a 2 4 5 9 15 27 29 43 44 45 57 64 73 79 80 83 87 93 98 109 110 115
a 2 4 5 9 15 27 29 43 44 45 48 57 64 73 79 80 87 93 98 109 110 115
a 2 4 5 9 15 27 29 42 43 45 48 57 64 73 79 80 87 93 98 109 110 115
a 2 4 5 9 15 27 29 42 45 48 57 64 73 79 80 87 93 97 98 109 110 115
a 2 4 5 9 15 27 29 42 45 48 57 64 68 73 79 80 87 93 97 98 110 115
a 4 5 9 15 24 27 29 42 45 48 57 64 68 73 79 80 87 93 97 98 110 115
a 4 5 9 15 24 27 29 42 46 48 57 64 68 73 79 80 87 93 97 98 110 115
a 5 9 15 24 27 29 42 46 48 49 57 64 68 73 79 80 87 93 97 98 110 115
a 5 9 15 21 24 27 29 42 46 49 57 64 68 73 79 80 87 93 97 98 110 115
a 2 5 9 15 21 27 29 42 46 49 57 64 68 73 79 80 87 93 97 98 110 115
a 2 5 9 15 21 27 29 42 49 57 64 68 73 79 80 81 87 93 97 98 110 115
a 2 5 9 15 27 29 42 49 57 64 68 73 79 80 81 87 93 97 98 110 115 118
a 2 5 9 15 27 29 49 57 64 68 73 79 80 81 87 93 97 98 105 110 115 118
a 2 5 9 15 27 29 49 57 64 68 73 79 80 81 87 93 97 98 103 110 115 118
a 2 5 9 15 27 29 49 57 64 68 73 79 80 81 87 93 98 103 110 115 117 118
a 2 5 9 15 27 29 43 49 57 64 68 73 79 80 81 87 93 98 103 110 115 118
a 2 5 9 15 27 29 42 43 49 57 64 68 73 79 80 81 87 93 98 110 115 118
a 2 5 9 15 27 29 43 49 57 64 68 73 79 80 81 87 90 93 98 110 115 118
a 5 9 15 24 27 29 43 49 57 64 68 73 79 80 81 87 90 93 98 110 115 118
a 5 9 15 24 27 29 42 43 49 57 64 68 73 79 80 81 87 93 98 110 115 118
a 5 9 15 24 27 29 42 43 49 57 64 68 73 78 80 81 87 93 98 110 115 118
a 4 5 9 15 24 27 29 42 43 57 64 68 73 78 80 81 87 93 98 110 115 118
a 2 4 5 9 15 27 29 42 43 57 64 68 73 78 80 81 87 93 98 110 115 118
a 2 4 5 9 15 27 29 42 43 57 60 64 68 73 78 80 81 93 98 110 115 118
a 2 4 5 9 15 27 29 43 57 60 64 68 73 78 80 81 93 98 103 110 115 118
a 2 5 9 15 27 29 43 49 57 60 64 68 73 78 80 81 93 98 103 110 115 118
a 2 5 9 15 27 29 49 57 60 64 68 73 78 80 81 93 98 102 103 110 115 118
a 2 5 9 27 29 49 57 59 60 64 68 73 78 80 81 93 98 102 103 110 115 118
a 2 5 9 21 27 29 49 57 59 60 64 68 73 78 80 81 93 98 102 103 110 115
a 2 5 9 21 27 29 49 57 59 60 64 68 73 78 80 81 93 97 98 103 110 115
a 2 5 9 15 21 27 29 49 57 60 64 68 73 78 80 81 93 97 98 103 110 115
a 2 5 9 15 21 27 29 42 49 57 60 64 68 73 78 80 81 93 97 98 110 115
a 2 5 9 15 21 27 29 42 49 57 60 64 68 73 79 80 81 93 97 98 110 115
a 2 5 9 15 21 27 29 42 57 60 64 68 73 79 80 81 93 97 98 99 110 115
a 2 5 9 15 21 27 29 42 57 64 68 73 79 80 81 87 93 97 98 99 110 115
a 2 5 9 15 21 27 29 57 64 68 73 79 80 81 87 90 93 97 98 99 110 115
a 2 5 9 15 25 27 29 57 64 68 73 79 80 81 87 90 93 97 98 99 110 115
a 2 5 9 15 25 27 29 57 64 68 73 79 80 82 87 90 93 97 98 99 110 115
a 2 5 9 15 21 27 29 57 64 68 73 79 80 82 87 90 93 97 98 99 110 115
a 2 4 5 9 15 21 27 29 57 64 68 73 79 80 82 87 90 93 97 98 110 115
a 2 4 5 9 15 21 27 29 57 64 68 73 78 80 82 87 90 93 97 98 110 115
a 2 4 5 9 21 27 29 57 59 64 68 73 78 80 82 87 90 93 97 98 110 115
a 2 4 5 9 21 27 29 57 59 64 68 73 78 80 82 87 90 93 98 102 110 115
a 4 5 9 21 24 27 29 57 59 64 68 73 78 80 82 87 90 93 98 102 110 115
a 4 5 9 24 25 27 29 57 59 64 68 73 78 80 82 87 90 93 98 102 110 115
a 4 5 9 24 25 27 29 57 59 64 68 73 79 80 82 87 90 93 98 102 110 115
a 5 9 24 25 27 29 57 59 64 68 73 79 80 82 87 90 93 98 99 102 110 115
a 5 9 24 25 27 29 57 59 64 73 79 80 82 87 90 93 98 99 102 109 110 115
a 5 9 24 25 27 29 42 57 59 64 73 79 80 82 87 93 98 99 102 109 110 115
a 5 9 24 25 27 29 42 43 57 59 64 73 79 80 82 87 93 98 99 109 110 115
a 5 9 24 25 27 29 43 57 59 64 73 79 80 82 87 90 93 98 99 109 110 115
a 4 5 9 24 25 27 29 43 57 59 64 73 79 80 82 87 90 93 98 109 110 115
a 4 5 9 24 25 27 29 43 57 59 64 73 79 80 82 87 93 98 103 109 110 115
a 4 5 9 24 25 27 29 43 57 59 64 68 73 79 80 82 87 93 98 103 110 115
a 4 5 9 24 27 29 43 48 57 59 64 68 73 79 80 82 87 93 98 103 110 115
a 4 5 9 27 29 43 48 54 57 59 64 68 73 79 80 82 87 93 98 103 110 115
a 4 5 9 27 29 43 45 48 54 57 59 64 68 73 79 80 87 93 98 103 110 115
a 4 5 9 25 27 29 43 45 54 57 59 64 68 73 79 80 87 93 98 103 110 115
a 4 5 9 15 25 27 29 43 45 54 57 64 68 73 79 80 87 93 98 103 110 115
a 4 5 9 15 25 27 29 41 43 45 54 57 64 68 73 79 80 93 98 103 110 115
a 4 5 9 15 25 27 29 41 43 45 54 57 64 68 73 78 80 93 98 103 110 115
a 5 9 15 25 27 29 41 43 45 49 54 57 64 68 73 78 80 93 98 103 110 115
a 5 9 15 25 27 29 43 45 49 54 55 57 64 68 73 78 80 93 98 103 110 115
a 5 9 15 25 27 29 43 45 49 54 55 57 64 68 73 79 80 93 98 103 110 115
a 4 5 9 15 25 27 29 43 45 54 55 57 64 68 73 79 80 93 98 103 110 115
a 4 5 9 15 25 27 29 43 45 54 55 57 64 68 73 78 80 93 98 103 110 115
a 4 5 9 15 25 27 29 43 44 45 54 55 57 64 68 73 78 80 93 98 110 115
a 4 5 9 15 25 27 29 43 45 54 55 57 64 67 68 73 78 80 93 98 110 115
a 4 5 9 15 25 27 29 45 54 55 57 64 67 68 73 78 80 93 98 102 110 115
a 4 5 9 15 25 27 29 44 45 54 55 57 64 68 73 78 80 93 98 102 110 115
a 4 5 9 15 25 27 29 44 54 55 57 64 68 73 78 80 81 93 98 102 110 115
a 4 5 9 15 25 27 29 44 55 57 64 68 73 78 80 81 92 93 98 102 110 115
a 5 9 15 25 27 29 44 49 55 57 64 68 73 78 80 81 92 93 98 102 110 115
a 5 9 15 25 27 29 49 55 57 64 68 73 78 80 81 92 93 98 102 103 110 115
a 5 9 15 25 27 29 49 55 57 64 68 73 79 80 81 92 93 98 102 103 110 115
a 5 9 15 25 27 29 49 55 57 64 68 73 79 80 81 92 93 97 98 103 110 115
a 5 9 15 25 27 29 49 54 55 57 64 68 73 79 80 81 93 97 98 103 110 115
a 5 9 15 25 27 29 49 54 57 64 68 73 79 80 81 87 93 97 98 103 110 115
a 5 9 15 25 27 29 49 54 57 64 68 73 78 80 81 87 93 97 98 103 110 115
a 2 5 9 15 25 27 29 49 57 64 68 73 78 80 81 87 93 97 98 103 110 115
a 2 5 9 15 27 29 49 57 64 68 73 75 78 80 81 87 93 97 98 103 110 115
a 2 5 9 27 29 49 57 59 64 68 73 75 78 80 81 87 93 97 98 103 110 115
a 2 5 9 27 29 49 57 59 64 68 73 75 79 80 81 87 93 97 98 103 110 115
a 2 5 9 27 29 49 57 59 64 68 73 75 79 80 81 87 93 98 103 110 115 117
a 2 5 9 27 29 49 57 59 64 68 73 75 78 80 81 87 93 98 103 110 115 117
a 2 5 9 27 29 49 57 59 64 68 73 78 80 81 83 87 93 98 103 110 115 117
a 5 9 27 29 49 54 57 59 64 68 73 78 80 81 83 87 93 98 103 110 115 117
a 5 9 27 29 49 54 57 59 64 68 73 78 80 81 83 87 90 93 98 110 115 117
a 5 9 27 29 42 49 54 57 59 64 68 73 78 80 81 83 87 93 98 110 115 117
a 5 9 27 29 42 43 49 54 57 59 64 68 73 78 80 81 83 87 93 98 110 115
a 5 9 27 28 29 42 43 49 54 57 59 64 73 78 80 81 83 87 93 98 110 115
a 5 9 21 27 28 29 42 43 49 54 57 59 64 73 78 80 81 87 93 98 110 115
a 5 9 21 27 28 29 43 44 49 54 57 59 64 73 78 80 81 87 93 98 110 115
a 5 9 27 28 29 43 44 49 54 57 59 64 73 78 80 81 83 87 93 98 110 115
a 5 9 27 28 29 41 43 44 49 54 57 59 64 73 78 80 81 83 93 98 110 115
a 5 9 27 28 29 41 43 44 48 49 54 57 59 64 73 78 80 81 93 98 110 115
a 5 9 27 28 29 41 44 48 49 54 57 59 64 73 78 80 81 93 98 102 110 115
a 5 9 27 28 29 44 48 49 54 57 59 64 73 78 80 81 87 93 98 102 110 115
a 2 5 9 27 28 29 44 48 49 57 59 64 73 78 80 81 87 93 98 102 110 115
a 2 5 9 15 27 28 29 44 48 49 57 64 73 78 80 81 87 93 98 102 110 115
a 2 4 5 9 15 27 28 29 44 48 57 64 73 78 80 81 87 93 98 102 110 115
a 2 4 5 9 15 27 28 29 44 48 57 64 73 78 80 81 87 93 98 110 115 117
a 2 4 5 9 15 27 28 29 44 48 57 60 64 73 78 80 81 93 98 110 115 117
a 2 4 5 9 15 27 28 29 44 48 57 60 64 73 78 80 82 93 98 110 115 117
a 2 4 5 9 15 27 29 44 48 57 60 64 68 73 78 80 82 93 98 110 115 117
a 2 4 5 9 15 27 29 44 57 60 64 68 73 78 80 82 83 93 98 110 115 117
a 2 4 5 9 27 29 44 57 59 60 64 68 73 78 80 82 83 93 98 110 115 117
a 2 4 5 9 27 29 43 44 57 59 60 64 68 73 78 80 82 83 93 98 110 115
a 2 4 5 9 27 28 29 43 44 57 59 60 64 73 78 80 82 83 93 98 110 115
a 2 4 5 9 27 28 29 43 57 59 60 64 73 78 80 82 83 93 98 103 110 115
a 2 4 5 9 27 28 29 43 48 57 59 60 64 73 78 80 82 93 98 103 110 115
a 2 4 5 9 27 28 29 48 57 59 60 64 73 78 80 82 93 97 98 103 110 115
a 2 4 5 9 27 29 48 57 59 60 64 68 73 78 80 82 93 97 98 103 110 115
a 2 4 5 9 27 29 57 59 60 64 68 73 78 80 82 83 93 97 98 103 110 115
a 2 4 5 9 27 29 57 59 60 64 68 73 78 80 82 83 90 93 97 98 110 115
a 2 4 5 9 27 28 29 57 59 60 64 73 78 80 82 83 90 93 97 98 110 115
a 2 5 9 27 28 29 49 57 59 60 64 73 78 80 82 83 90 93 97 98 110 115
a 2 5 9 27 29 49 57 59 60 64 68 73 78 80 82 83 90 93 97 98 110 115
a 5 9 27 29 49 54 57 59 60 64 68 73 78 80 82 83 90 93 97 98 110 115
a 5 9 15 27 29 49 54 57 60 64 68 73 78 80 82 83 90 93 97 98 110 115
a 5 9 15 27 29 43 49 54 57 60 64 68 73 78 80 82 83 90 93 98 110 115
a 5 9 15 27 29 49 54 57 60 64 68 73 78 80 82 83 90 93 98 102 110 115
a 5 9 15 27 29 49 54 57 60 64 68 73 79 80 82 83 90 93 98 102 110 115
a 5 6 9 15 27 29 49 54 57 64 68 73 79 80 82 83 90 93 98 102 110 115
a 5 6 9 27 29 49 54 57 59 64 68 73 79 80 82 83 90 93 98 102 110 115
a 5 6 9 27 29 50 54 57 59 64 68 73 79 80 82 83 90 93 98 102 110 115
a 4 5 6 9 27 29 54 57 59 64 68 73 79 80 82 83 90 93 98 102 110 115
a 4 5 6 9 15 27 29 54 57 64 68 73 79 80 82 83 90 93 98 102 110 115
a 4 5 6 9 15 27 29 48 54 57 64 68 73 79 80 82 90 93 98 102 110 115
a 5 6 9 15 27 29 48 50 54 57 64 68 73 79 80 82 90 93 98 102 110 115
a 5 6 9 15 27 29 48 50 54 57 64 73 79 80 82 90 93 98 102 109 110 115
a 5 6 9 15 27 29 44 48 50 54 57 64 73 79 80 82 93 98 102 109 110 115
a 5 6 9 15 27 29 44 48 50 54 57 64 68 73 79 80 82 93 98 102 110 115
a 5 6 9 15 27 29 43 44 48 50 54 57 64 68 73 79 80 82 93 98 110 115
a 5 9 15 27 29 43 44 48 50 54 55 57 64 68 73 79 80 82 93 98 110 115
a 5 9 15 27 29 41 43 44 48 50 54 57 64 68 73 79 80 82 93 98 110 115
a 4 5 9 15 27 29 41 43 44 48 54 57 64 68 73 79 80 82 93 98 110 115
a 4 5 9 15 24 27 29 41 43 44 48 57 64 68 73 79 80 82 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 43 44 48 57 64 68 73 79 80 81 87 93 98 110 115
a 2 4 5 9 15 27 29 43 44 48 57 64 68 73 79 80 81 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: 374
#END: [Fri Sep  1 02:29:31 2023]