#BEGIN: [Thu Aug 31 17:59:46 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/miles500.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/miles500_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/miles500.col /benchmark/2022benchmark/benchmark/color04/miles500_01.dat
c /benchmark/2022benchmark/benchmark/color04/miles500.col
c /benchmark/2022benchmark/benchmark/color04/miles500_01.dat
TIMEOUT 1800
c send SIGTERM to CID 380e74ba81fe773862f76c511372696c175c53c14172b982bd2f0f885c84fdea
s 1 22 27 35 37 48 70 77 84 85 99 101 104 106 112 117 119 121 
t 1 9 12 14 15 22 27 35 48 56 63 69 70 84 112 117 119 121
a YES
a 1 22 27 35 37 48 70 77 84 85 99 101 104 106 112 117 119 121
a 1 12 22 27 35 48 70 77 84 85 99 101 104 106 112 117 119 121
a 1 12 22 27 35 45 48 70 77 84 85 101 104 106 112 117 119 121
a 1 12 22 27 35 45 48 56 70 77 84 85 101 104 112 117 119 121
a 1 12 19 22 27 35 45 48 56 70 77 84 85 104 112 117 119 121
a 1 12 19 22 27 35 45 48 51 56 70 77 84 85 104 112 117 119
a 1 9 12 19 22 27 35 45 48 51 56 70 77 84 85 112 117 119
a 1 9 12 19 22 27 35 45 48 56 70 77 84 85 112 117 119 121
a 1 9 19 22 27 35 37 45 48 56 70 77 84 85 112 117 119 121
a 1 9 19 22 27 35 37 45 48 70 77 84 85 106 112 117 119 121
a 1 9 19 27 35 37 45 48 70 77 84 85 106 112 117 118 119 121
a 1 5 9 19 27 35 37 45 70 77 84 85 106 112 117 118 119 121
a 1 5 9 19 27 35 37 45 70 77 84 85 95 112 117 118 119 121
a 1 5 9 27 35 37 45 70 77 84 85 95 101 112 117 118 119 121
a 1 5 9 15 27 35 37 45 70 84 85 95 101 112 117 118 119 121
a 1 5 9 15 27 35 37 45 56 70 84 85 101 112 117 118 119 121
a 1 5 9 15 27 35 37 45 51 56 70 84 85 101 112 117 118 119
a 1 5 9 15 27 35 37 45 51 70 84 85 95 101 112 117 118 119
a 1 9 15 27 35 37 45 48 51 70 84 85 95 101 112 117 118 119
a 1 7 9 15 27 35 37 45 48 51 70 84 85 95 112 117 118 119
a 1 7 9 12 15 27 35 45 48 51 70 84 85 95 112 117 118 119
a 1 7 9 12 15 27 35 45 48 51 56 70 84 85 112 117 118 119
a 1 7 12 15 27 35 45 48 49 51 56 70 84 85 112 117 118 119
a 1 7 15 27 35 37 45 48 49 51 56 70 84 85 112 117 118 119
a 1 15 27 35 37 45 48 49 51 56 70 84 85 101 112 117 118 119
a 1 15 27 35 37 48 49 51 56 70 84 85 101 112 115 117 118 119
a 1 14 15 27 35 37 48 49 51 56 70 84 85 112 115 117 118 119
a 1 14 15 22 27 35 37 48 49 51 56 70 84 85 112 115 117 119
a 1 14 15 22 27 35 37 48 49 51 56 70 85 111 112 115 117 119
a 1 14 15 22 27 35 37 48 49 51 70 85 106 111 112 115 117 119
a 1 14 15 27 35 37 48 49 51 61 70 85 106 111 112 115 117 119
a 1 14 15 27 35 37 48 49 51 61 70 84 85 106 112 115 117 119
a 1 3 14 15 27 35 37 49 51 61 70 84 85 106 112 115 117 119
a 1 3 14 15 27 35 37 49 51 61 70 85 106 111 112 115 117 119
a 1 3 14 15 27 34 35 37 49 61 70 85 106 111 112 115 117 119
a 1 3 14 15 22 27 34 35 37 49 70 85 106 111 112 115 117 119
a 1 3 14 15 22 27 34 35 37 49 70 84 85 106 112 115 117 119
a 1 3 14 15 27 34 35 37 49 61 70 84 85 106 112 115 117 119
a 1 3 15 19 27 34 35 37 49 61 70 84 85 106 112 115 117 119
a 1 3 15 19 27 32 34 35 49 61 70 84 85 106 112 115 117 119
a 1 3 15 19 22 27 32 34 35 49 70 84 85 106 112 115 117 119
a 1 3 15 19 22 27 32 34 35 49 56 70 84 85 112 115 117 119
a 1 3 15 19 22 27 34 35 37 49 56 70 84 85 112 115 117 119
a 1 3 15 19 22 27 34 35 37 49 56 70 84 85 99 112 117 119
a 1 3 15 19 20 27 34 35 37 49 56 70 84 85 99 112 117 119
a 1 3 15 20 27 34 35 37 49 56 70 84 85 99 101 112 117 119
a 1 3 15 20 27 32 34 35 49 56 70 84 85 99 101 112 117 119
a 1 3 12 15 20 27 34 35 49 56 70 84 85 99 101 112 117 119
a 1 3 12 15 20 27 34 35 56 70 84 85 99 101 104 112 117 119
a 1 3 15 20 27 34 35 37 56 70 84 85 99 101 104 112 117 119
a 1 3 15 20 27 34 35 37 70 84 85 99 101 104 106 112 117 119
a 1 3 15 20 27 34 35 37 63 70 84 99 101 104 106 112 117 119
a 1 3 15 19 20 27 34 35 37 63 70 84 99 104 106 112 117 119
a 1 3 15 19 20 27 34 35 37 56 63 70 84 99 104 112 117 119
a 1 3 12 15 19 20 27 34 35 56 63 70 84 99 104 112 117 119
a 1 3 12 15 19 20 27 34 35 49 56 63 70 84 99 112 117 119
a 1 3 12 15 19 20 27 34 35 49 56 70 84 85 99 112 117 119
a 1 3 12 15 19 20 27 34 35 49 70 84 85 99 106 112 117 119
a 1 3 12 15 19 20 27 35 49 51 70 84 85 99 106 112 117 119
a 1 3 12 15 19 27 35 49 51 70 84 85 86 99 106 112 117 119
a 1 3 12 15 19 27 35 49 51 66 70 84 85 86 106 112 117 119
a 1 3 12 14 15 27 35 49 51 66 70 84 85 86 106 112 117 119
a 1 12 14 15 27 35 48 49 51 66 70 84 85 86 106 112 117 119
a 1 12 14 15 27 35 48 49 51 70 84 85 86 106 112 115 117 119
a 1 9 12 14 15 27 35 48 51 70 84 85 86 106 112 115 117 119
a 1 9 12 14 15 22 27 35 48 51 70 84 85 106 112 115 117 119
a 1 9 12 14 15 22 27 35 48 51 56 70 84 85 112 115 117 119
a 1 9 12 14 15 27 35 48 51 56 70 84 85 86 112 115 117 119
a 1 9 12 14 15 27 35 48 51 56 70 74 84 85 86 112 115 119
a 1 12 14 15 27 35 48 49 51 56 70 74 84 85 86 112 115 119
a 1 12 14 15 27 35 48 49 51 56 70 74 84 85 86 112 119 126
a 1 12 14 15 27 35 48 49 51 70 74 84 85 86 106 112 119 126
a 1 12 14 15 27 35 48 49 51 70 84 85 86 106 112 117 119 126
a 1 12 15 19 27 35 48 49 51 70 84 85 86 106 112 117 119 126
a 1 12 15 19 27 35 48 49 51 70 84 85 86 106 112 117 119 123
a 1 12 15 19 27 35 48 49 51 56 70 84 85 86 112 117 119 123
a 1 12 15 19 27 35 48 49 51 56 70 84 85 86 112 115 117 119
a 1 5 12 15 19 27 35 49 51 56 70 84 85 86 112 115 117 119
a 1 5 12 15 19 27 35 49 51 56 70 84 85 86 112 117 119 123
a 1 5 12 15 19 27 35 49 56 70 84 85 86 112 117 119 121 123
a 1 5 12 15 19 27 35 49 56 66 70 84 85 86 112 117 119 121
a 1 5 12 15 19 27 35 49 51 56 66 70 84 85 86 112 117 119
a 1 5 9 12 15 19 27 35 51 56 66 70 84 85 86 112 117 119
a 1 5 9 12 15 19 27 35 51 56 66 70 85 86 112 117 119 127
a 1 5 9 12 15 19 22 27 35 51 56 66 70 85 112 117 119 127
a 1 5 9 12 15 19 27 35 51 56 61 66 70 85 112 117 119 127
a 1 5 9 12 15 19 27 35 51 56 61 66 70 85 111 112 117 119
a 1 5 9 12 14 15 27 35 51 56 61 66 70 85 111 112 117 119
a 1 5 9 12 14 15 27 35 51 56 66 70 85 86 111 112 117 119
a 1 5 12 14 15 27 35 51 56 66 70 85 86 104 111 112 117 119
a 1 5 12 14 15 27 35 51 56 66 70 84 85 86 104 112 117 119
a 1 5 9 12 14 15 27 35 51 56 66 70 84 85 86 112 117 119
a 1 5 9 12 14 15 27 35 51 56 61 66 70 84 85 112 117 119
a 1 5 9 12 14 15 27 35 51 61 66 70 84 85 106 112 117 119
a 1 5 9 12 14 15 27 35 51 61 66 70 85 106 111 112 117 119
a 1 9 12 14 15 27 35 48 51 61 66 70 85 106 111 112 117 119
a 1 12 14 15 27 35 48 49 51 61 66 70 85 106 111 112 117 119
a 1 12 14 27 35 48 49 51 61 66 70 77 85 106 111 112 117 119
a 1 12 14 27 35 48 49 51 61 70 77 85 106 111 112 115 117 119
a 1 12 14 27 35 48 49 51 56 61 70 77 85 111 112 115 117 119
a 1 12 14 15 27 35 48 49 51 56 61 70 85 111 112 115 117 119
a 1 12 14 15 27 35 48 49 51 61 70 85 95 111 112 115 117 119
a 1 12 14 15 35 48 49 51 61 70 85 95 111 112 115 117 119 128
a 1 5 12 14 15 35 49 51 61 70 85 95 111 112 115 117 119 128
a 1 5 12 14 15 35 51 61 70 85 95 104 111 112 115 117 119 128
a 1 5 12 14 15 35 51 70 85 95 104 111 112 115 117 118 119 128
a 1 5 12 14 15 35 51 70 84 85 95 104 112 115 117 118 119 128
a 1 5 12 14 15 35 51 66 70 84 85 95 104 112 117 118 119 128
a 1 5 12 14 15 35 51 66 70 85 95 104 111 112 117 118 119 128
a 1 5 12 14 15 35 51 66 70 85 104 106 111 112 117 118 119 128
a 5 12 14 15 35 51 66 70 85 104 106 109 111 112 117 118 119 128
a 5 12 14 15 35 51 66 70 85 104 106 109 112 117 118 119 127 128
a 5 12 14 15 35 51 66 85 104 106 109 112 117 118 119 122 127 128
a 5 12 14 15 35 51 66 85 104 106 109 111 112 117 118 119 122 128
a 12 14 15 35 48 51 66 85 104 106 109 111 112 117 118 119 122 128
a 12 14 15 35 48 51 56 66 85 104 109 111 112 117 118 119 122 128
a 12 14 15 35 48 51 56 85 104 109 111 112 115 117 118 119 122 128
a 12 14 15 35 48 51 56 85 86 104 109 111 112 115 117 119 122 128
a 12 14 15 34 35 48 56 85 86 104 109 111 112 115 117 119 122 128
a 12 14 15 34 35 48 56 67 85 86 104 109 111 112 115 117 119 128
a 12 14 15 34 35 48 56 67 85 86 96 104 109 112 115 117 119 128
a 12 14 15 34 35 48 67 85 86 95 96 104 109 112 115 117 119 128
a 12 14 15 34 35 48 67 84 85 86 95 104 109 112 115 117 119 128
a 12 14 15 34 35 48 70 84 85 86 95 104 109 112 115 117 119 128
a 12 14 15 34 35 48 56 70 84 85 86 104 109 112 115 117 119 128
a 12 14 15 34 35 48 56 70 84 85 86 104 109 112 115 117 120 128
a 12 14 15 34 35 48 56 70 85 86 104 109 111 112 115 117 120 128
a 12 14 15 34 35 48 70 85 86 95 104 109 111 112 115 117 120 128
a 14 15 34 35 37 48 70 85 86 95 104 109 111 112 115 117 120 128
a 14 15 35 37 48 70 85 86 95 104 109 111 112 115 117 120 121 128
a 14 15 35 37 48 51 70 85 86 95 104 109 111 112 115 117 120 128
a 14 15 35 37 48 51 70 85 86 95 104 109 111 112 115 117 119 128
a 14 15 35 37 48 51 67 85 86 95 104 109 111 112 115 117 119 128
a 14 15 35 37 48 51 60 67 85 86 104 109 111 112 115 117 119 128
a 3 14 15 35 37 51 60 67 85 86 104 109 111 112 115 117 119 128
a 3 14 15 34 35 37 60 67 85 86 104 109 111 112 115 117 119 128
a 3 14 15 32 34 35 60 67 85 86 104 109 111 112 115 117 119 128
a 3 14 15 32 34 35 60 67 85 86 104 109 111 112 115 119 125 128
a 3 14 15 32 34 35 60 67 85 104 109 111 112 115 118 119 125 128
a 3 14 15 32 34 35 60 67 85 104 109 111 112 115 117 118 119 128
a 3 14 15 32 34 35 49 60 67 85 109 111 112 115 117 118 119 128
a 3 14 32 34 35 49 60 67 77 85 109 111 112 115 117 118 119 128
a 3 14 32 34 35 49 60 66 67 77 85 109 111 112 117 118 119 128
a 3 14 32 34 35 36 49 60 66 67 77 85 109 111 112 117 119 128
a 3 14 32 34 35 36 49 60 67 77 85 109 111 112 115 117 119 128
a 3 12 14 34 35 36 49 60 67 77 85 109 111 112 115 117 119 128
a 5 12 14 34 35 36 49 60 67 77 85 109 111 112 115 117 119 128
a 5 12 14 34 35 49 60 67 77 85 109 111 112 115 117 118 119 128
a 12 14 34 35 48 49 60 67 77 85 109 111 112 115 117 118 119 128
a 9 12 14 34 35 48 60 67 77 85 109 111 112 115 117 118 119 128
a 9 14 34 35 37 48 60 67 77 85 109 111 112 115 117 118 119 128
a 9 14 34 35 37 48 60 67 77 85 109 111 112 115 118 119 125 128
a 9 14 15 34 35 37 48 60 67 85 109 111 112 115 118 119 125 128
a 9 14 15 34 35 37 48 60 85 109 111 112 115 118 119 122 125 128
a 9 14 15 34 35 37 48 85 95 109 111 112 115 118 119 122 125 128
a 9 14 15 34 35 37 48 70 85 95 109 111 112 115 118 119 125 128
a 9 14 15 34 35 37 48 70 84 85 95 109 112 115 118 119 125 128
a 9 14 15 34 35 37 48 84 85 95 109 112 115 118 119 122 125 128
a 9 14 15 34 35 37 48 67 84 85 95 109 112 115 118 119 125 128
a 9 14 15 34 35 37 48 67 81 84 95 109 112 115 118 119 125 128
a 9 12 14 15 34 35 48 67 81 84 95 109 112 115 118 119 125 128
a 9 12 14 15 34 35 48 67 72 81 84 95 109 112 115 118 125 128
a 9 12 14 15 34 35 48 56 67 72 81 84 109 112 115 118 125 128
a 9 12 14 15 34 35 48 67 72 81 84 106 109 112 115 118 125 128
a 9 12 14 15 34 35 48 67 72 81 84 97 106 109 112 115 118 128
a 9 12 14 15 34 35 48 66 67 72 81 84 97 106 109 112 118 128
a 9 12 14 15 34 35 48 61 66 67 72 81 84 97 106 109 112 128
a 9 14 15 34 35 37 48 61 66 67 72 81 84 97 106 109 112 128
a 9 14 15 34 35 37 48 61 66 67 72 81 84 106 109 112 125 128
a 9 14 15 35 37 48 61 66 67 72 81 84 106 109 112 121 125 128
a 9 14 15 35 37 48 61 66 67 72 81 84 97 106 109 112 121 128
a 9 14 15 35 37 48 56 61 66 67 72 81 84 97 109 112 121 128
a 9 14 15 35 37 48 56 61 67 72 81 84 97 109 112 115 121 128
a 14 15 35 37 48 56 61 67 72 81 84 97 104 109 112 115 121 128
a 14 15 35 37 48 56 61 70 72 81 84 97 104 109 112 115 121 128
a 14 15 35 37 48 56 61 72 81 84 97 104 109 112 115 121 122 128
a 9 14 15 35 37 48 56 61 72 81 84 97 109 112 115 121 122 128
a 9 14 15 35 37 48 56 61 70 72 81 84 97 109 112 115 121 128
a 5 9 14 15 35 37 56 61 70 72 81 84 97 109 112 115 121 128
a 5 9 14 15 35 37 56 61 70 72 81 84 109 112 115 117 121 128
a 5 9 14 15 35 37 56 70 72 81 84 109 112 115 117 118 121 128
a 5 9 14 15 35 37 56 70 72 81 84 97 109 112 115 118 121 128
a 5 9 14 15 34 35 37 56 70 72 81 84 97 109 112 115 118 128
a 5 9 12 14 15 34 35 56 70 72 81 84 97 109 112 115 118 128
a 5 9 12 14 34 35 56 70 72 77 81 84 97 109 112 115 118 128
a 5 9 12 14 34 35 56 72 77 81 84 97 109 112 115 118 122 128
a 5 9 12 14 34 35 56 72 77 81 84 109 112 115 117 118 122 128
a 5 12 14 34 35 56 72 77 81 84 104 109 112 115 117 118 122 128
a 5 12 14 35 51 56 72 77 81 84 104 109 112 115 117 118 122 128
a 5 12 14 35 51 56 72 77 81 104 109 111 112 115 117 118 122 128
a 5 12 14 35 51 56 77 81 104 109 111 112 115 117 118 119 122 128
a 5 12 14 35 51 56 77 81 84 104 109 112 115 117 118 119 122 128
a 5 12 14 35 51 56 77 81 84 104 109 112 115 117 118 120 122 128
a 5 12 14 35 51 56 77 81 104 109 111 112 115 117 118 120 122 128
a 5 12 14 35 36 51 56 77 81 104 109 111 112 115 117 120 122 128
a 5 12 14 35 36 51 56 77 81 84 104 109 112 115 117 120 122 128
a 5 12 14 35 36 45 51 56 77 81 84 104 109 112 117 120 122 128
a 5 9 12 14 35 36 45 51 56 77 81 84 109 112 117 120 122 128
a 5 9 12 14 35 36 45 51 56 77 81 84 109 112 117 119 122 128
a 9 12 14 35 36 45 48 51 56 77 81 84 109 112 117 119 122 128
a 9 12 14 35 36 48 51 56 66 77 81 84 109 112 117 119 122 128
a 9 12 14 35 48 51 56 61 66 77 81 84 109 112 117 119 122 128
a 9 12 14 35 48 51 56 61 66 70 77 81 84 109 112 117 119 128
a 9 12 14 35 48 51 56 61 66 70 77 81 109 112 117 119 127 128
a 9 12 14 15 35 48 51 56 61 66 70 81 109 112 117 119 127 128
a 9 12 14 15 35 48 51 56 61 66 81 109 112 117 119 122 127 128
a 12 14 15 35 48 51 56 61 66 81 104 109 112 117 119 122 127 128
a 12 14 15 34 35 48 56 61 66 81 104 109 112 117 119 122 127 128
a 14 15 34 35 37 48 56 61 66 81 104 109 112 117 119 122 127 128
a 14 15 22 34 35 37 48 56 66 81 104 109 112 117 119 122 127 128
a 14 15 22 34 35 37 48 66 81 104 106 109 112 117 119 122 127 128
a 14 15 34 35 37 48 61 66 81 104 106 109 112 117 119 122 127 128
a 14 15 34 35 37 48 61 66 81 104 106 109 112 117 120 122 127 128
a 12 14 15 34 35 48 61 66 81 104 106 109 112 117 120 122 127 128
a 9 12 14 15 34 35 48 61 66 81 106 109 112 117 120 122 127 128
a 9 12 14 15 34 35 48 61 66 70 81 106 109 112 117 120 127 128
a 9 12 14 15 34 35 48 61 66 70 81 84 106 109 112 117 120 128
a 9 12 14 15 34 35 48 66 70 81 84 106 109 112 117 118 120 128
a 5 9 12 14 15 34 35 66 70 81 84 106 109 112 117 118 120 128
a 5 9 12 14 15 34 35 66 70 81 84 95 109 112 117 118 120 128
a 5 9 12 14 15 34 35 66 70 81 84 95 109 112 117 118 119 128
a 5 9 12 14 15 34 35 56 66 70 81 84 109 112 117 118 119 128
a 5 9 12 14 15 34 35 56 66 70 81 84 109 112 117 118 120 128
a 5 9 12 14 15 34 35 56 66 81 84 109 112 117 118 120 122 128
a 9 12 14 15 34 35 48 56 66 81 84 109 112 117 118 120 122 128
a 9 12 14 15 34 35 48 56 66 70 81 84 109 112 117 118 120 128
a 9 12 14 15 34 35 48 56 66 70 81 84 109 112 117 118 119 128
a 9 12 14 15 34 35 48 66 70 81 84 106 109 112 117 118 119 128
a 9 12 14 15 34 35 48 61 66 70 81 84 106 109 112 117 119 128
a 9 12 14 34 35 48 61 66 70 77 81 84 106 109 112 117 119 128
a 5 9 12 14 34 35 61 66 70 77 81 84 106 109 112 117 119 128
a 1 5 9 12 14 34 35 61 66 70 77 81 84 106 112 117 119 128
a 1 5 9 12 14 34 35 61 66 70 77 81 106 112 117 119 127 128
a 1 9 12 14 34 35 48 61 66 70 77 81 106 112 117 119 127 128
a 9 12 14 34 35 48 61 66 70 77 81 106 109 112 117 119 127 128
a 12 14 34 35 48 61 66 70 77 81 104 106 109 112 117 119 127 128
a 14 34 35 37 48 61 66 70 77 81 104 106 109 112 117 119 127 128
a 14 34 35 37 48 61 66 70 77 81 104 106 109 111 112 117 119 128
a 12 14 34 35 48 61 66 70 77 81 104 106 109 111 112 117 119 128
a 12 14 35 48 51 61 66 70 77 81 104 106 109 111 112 117 119 128
a 12 14 35 48 51 61 70 77 81 104 106 109 111 112 115 117 119 128
a 5 12 14 35 51 61 70 77 81 104 106 109 111 112 115 117 119 128
a 5 9 12 14 35 51 61 70 77 81 106 109 111 112 115 117 119 128
a 5 9 12 14 35 51 61 66 70 77 81 106 109 111 112 117 119 128
a 5 9 12 14 35 51 61 66 70 77 81 84 106 109 112 117 119 128
a 5 9 12 14 35 51 66 70 77 81 84 86 106 109 112 117 119 128
a 9 12 14 35 48 51 66 70 77 81 84 86 106 109 112 117 119 128
a 9 12 14 35 48 66 70 77 81 84 86 106 109 112 117 119 121 128
a 1 9 12 14 35 48 66 70 77 81 84 86 106 112 117 119 121 128
a 1 5 9 12 14 35 66 70 77 81 84 86 106 112 117 119 121 128
a 5 9 12 14 35 66 70 77 81 84 86 106 109 112 117 119 121 128
a 5 9 12 14 35 66 70 77 81 84 86 95 109 112 117 119 121 128
a 1 5 9 12 14 35 66 70 77 81 84 86 95 112 117 119 121 128
a 1 5 9 12 14 35 51 66 70 77 81 84 86 95 112 117 119 128
a 5 9 12 14 35 51 66 70 77 81 84 86 95 109 112 117 119 128
a 5 9 12 14 35 51 66 77 81 84 86 95 109 112 117 119 122 128
a 5 9 12 14 35 51 61 66 77 81 84 95 109 112 117 119 122 128
a 5 9 12 14 35 61 66 77 81 84 95 109 112 117 119 121 122 128
a 9 12 14 35 48 61 66 77 81 84 95 109 112 117 119 121 122 128
a 9 12 14 35 48 61 66 77 81 84 106 109 112 117 119 121 122 128
a 1 9 12 14 35 48 61 66 77 81 84 106 112 117 119 121 122 128
a 1 9 14 35 37 48 61 66 77 81 84 106 112 117 119 121 122 128
a 1 9 14 35 37 48 66 77 81 84 106 112 117 118 119 121 122 128
a 1 9 12 14 35 48 66 77 81 84 106 112 117 118 119 121 122 128
a 1 9 12 14 15 35 48 66 81 84 106 112 117 118 119 121 122 128
a 1 9 12 14 15 35 48 66 81 106 112 117 118 119 121 122 127 128
a 1 9 12 14 15 35 48 61 66 81 106 112 117 119 121 122 127 128
a 1 9 12 14 15 35 48 61 66 70 81 106 112 117 119 121 127 128
a 1 9 12 14 15 35 36 48 66 70 81 106 112 117 119 121 127 128
a 1 9 12 14 15 27 35 36 48 66 70 81 106 112 117 119 121 127
a 1 9 14 15 27 35 36 37 48 66 70 81 106 112 117 119 121 127
a 1 5 9 14 15 27 35 36 37 66 70 81 106 112 117 119 121 127
a 1 5 9 14 15 27 35 36 37 66 70 74 81 106 112 119 121 127
a 1 5 9 14 15 27 35 36 37 59 66 70 74 106 112 119 121 127
a 1 5 9 14 15 27 35 37 59 66 70 74 86 106 112 119 121 127
a 1 5 9 12 14 15 27 35 59 66 70 74 86 106 112 119 121 127
a 1 5 9 12 14 15 27 35 59 66 70 86 106 112 117 119 121 127
a 1 5 9 12 14 15 27 35 59 66 70 86 106 112 119 121 125 127
a 1 9 12 14 15 27 35 48 59 66 70 86 106 112 119 121 125 127
a 1 9 12 14 15 35 48 59 66 70 86 106 112 119 121 125 127 128
a 1 9 12 14 15 35 48 59 66 86 106 112 119 121 122 125 127 128
a 1 9 12 14 15 35 48 59 66 86 106 112 117 119 121 122 127 128
a 1 9 12 14 15 35 48 51 59 66 86 106 112 117 119 122 127 128
a 1 9 12 14 15 35 48 51 59 66 70 86 106 112 117 119 127 128
a 1 9 12 14 15 35 48 51 59 66 70 86 106 111 112 117 119 128
a 1 9 12 14 15 35 48 51 59 70 86 106 111 112 115 117 119 128
a 1 9 12 14 15 35 48 51 59 86 106 111 112 115 117 119 122 128
a 1 9 12 14 15 35 48 51 56 59 86 111 112 115 117 119 122 128
a 1 9 12 14 15 35 48 51 56 81 86 111 112 115 117 119 122 128
a 9 12 14 15 35 48 51 56 81 86 109 111 112 115 117 119 122 128
a 9 14 15 35 37 48 51 56 81 86 109 111 112 115 117 119 122 128
a 1 9 14 15 35 37 48 51 56 81 86 111 112 115 117 119 122 128
a 1 9 14 15 35 37 48 51 56 61 81 111 112 115 117 119 122 128
a 1 9 14 15 35 37 48 51 56 61 66 81 111 112 117 119 122 128
a 1 9 14 15 35 37 48 51 56 61 66 81 84 112 117 119 122 128
a 1 9 14 15 35 37 48 51 61 66 81 84 95 112 117 119 122 128
a 1 5 9 14 15 35 37 51 61 66 81 84 95 112 117 119 122 128
a 5 9 14 15 35 37 51 61 66 81 84 95 109 112 117 119 122 128
a 5 9 14 15 35 37 51 61 66 81 95 109 112 117 119 122 127 128
a 5 9 14 15 35 37 51 56 61 66 81 109 112 117 119 122 127 128
a 5 9 14 15 35 37 51 56 61 66 81 84 109 112 117 119 122 128
a 5 9 14 15 35 37 51 56 66 81 84 109 112 117 118 119 122 128
a 5 9 14 15 35 37 51 56 66 81 109 112 117 118 119 122 127 128
a 5 9 14 15 35 37 51 66 81 106 109 112 117 118 119 122 127 128
a 5 9 14 15 35 37 51 66 81 106 109 111 112 117 118 119 122 128
a 5 9 14 15 35 37 51 81 106 109 111 112 115 117 118 119 122 128
a 1 5 9 14 15 35 37 51 81 106 111 112 115 117 118 119 122 128
a 1 5 9 12 14 15 35 51 81 106 111 112 115 117 118 119 122 128
a 1 9 12 14 15 35 48 51 81 106 111 112 115 117 118 119 122 128
a 1 9 12 14 15 35 48 51 56 81 111 112 115 117 118 119 122 128
a 9 12 14 15 35 48 51 56 81 109 111 112 115 117 118 119 122 128
a 9 12 14 15 22 35 48 51 56 81 109 111 112 115 117 119 122 128
a 9 12 14 15 22 35 48 51 56 63 109 111 112 115 117 119 122 128
a 9 12 14 15 22 35 48 56 63 109 111 112 115 117 119 121 122 128
a 9 12 14 15 22 35 48 56 63 69 109 111 112 117 119 121 122 128
a 1 9 12 14 15 22 35 48 56 63 69 111 112 117 119 121 122 128
a 1 9 12 14 15 22 35 48 56 63 69 84 112 117 119 121 122 128
a 1 9 12 14 15 22 35 48 56 63 69 70 84 112 117 119 121 128
a 1 9 12 14 15 22 27 35 48 56 63 69 70 84 112 117 119 121
c Step: 318
#END: [Thu Aug 31 18:29:47 2023]