#BEGIN: [Wed Aug 30 19:59:31 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-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 -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 8b8f421619026e8d40b3255a156a186ce0523569327b3cd6e5a4b1a07792d658
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 15 22 27 35 48 70 84 85 99 101 104 106 112 117 119 121
a 1 2 12 15 22 27 35 48 70 85 99 101 104 106 112 117 119 121
a 1 2 12 15 19 22 27 35 48 70 85 99 104 106 112 117 119 121
a 1 2 3 12 15 19 22 27 35 70 85 99 104 106 112 117 119 121
a 1 2 3 15 19 22 27 35 37 70 85 99 104 106 112 117 119 121
a 1 3 15 19 22 27 35 37 70 84 85 99 104 106 112 117 119 121
a 1 3 10 15 19 22 27 35 37 70 85 99 104 106 112 117 119 121
a 1 3 10 15 19 22 27 35 37 70 85 95 99 104 112 117 119 121
a 1 3 10 15 19 22 27 35 37 56 70 85 99 104 112 117 119 121
a 1 3 10 15 19 22 27 32 35 56 70 85 99 104 112 117 119 121
a 1 3 10 12 15 19 22 27 35 56 70 85 99 104 112 117 119 121
a 1 3 12 15 19 22 27 35 56 70 85 99 104 112 117 119 121 127
a 1 3 12 15 19 22 27 35 56 63 70 99 104 112 117 119 121 127
a 1 3 12 15 19 22 27 35 63 70 99 104 106 112 117 119 121 127
a 1 5 12 15 19 22 27 35 63 70 99 104 106 112 117 119 121 127
a 1 5 12 15 19 22 27 35 63 70 84 99 104 106 112 117 119 121
a 1 5 12 15 19 25 27 35 63 70 84 99 104 106 112 117 119 121
a 1 3 12 15 19 25 27 35 63 70 84 99 104 106 112 117 119 121
a 1 3 15 19 25 27 35 37 63 70 84 99 104 106 112 117 119 121
a 1 5 15 19 25 27 35 37 63 70 84 99 104 106 112 117 119 121
a 1 5 15 19 25 27 35 37 63 70 99 104 106 112 117 119 121 127
a 1 5 15 19 27 35 37 46 63 70 99 104 106 112 117 119 121 127
a 1 15 19 27 35 37 46 48 63 70 99 104 106 112 117 119 121 127
a 1 2 15 19 27 35 37 46 48 63 70 99 104 106 112 117 119 121
a 1 2 12 15 19 27 35 46 48 63 70 99 104 106 112 117 119 121
a 1 2 12 15 19 27 35 46 48 51 63 70 99 104 106 112 117 119
a 1 2 12 15 19 27 35 46 48 51 63 70 95 99 104 112 117 119
a 1 12 15 19 27 35 46 48 51 63 70 93 95 99 104 112 117 119
a 1 12 15 27 35 46 48 51 63 70 93 95 99 101 104 112 117 119
a 1 12 15 27 35 46 48 63 70 93 95 99 101 104 112 117 119 121
a 1 12 15 27 35 46 48 56 63 70 93 99 101 104 112 117 119 121
a 1 12 15 27 35 46 48 56 63 70 75 99 101 104 112 117 119 121
a 1 12 15 19 27 35 46 48 56 63 70 75 99 104 112 117 119 121
a 1 12 15 19 27 35 46 48 56 70 75 81 99 104 112 117 119 121
a 1 2 12 15 19 27 35 46 48 56 70 81 99 104 112 117 119 121
a 1 2 15 19 27 35 37 46 48 56 70 81 99 104 112 117 119 121
a 1 2 5 15 19 27 35 37 46 56 70 81 99 104 112 117 119 121
a 1 2 5 15 19 27 35 37 46 51 56 70 81 99 104 112 117 119
a 1 2 5 19 27 35 37 46 51 56 70 77 81 99 104 112 117 119
a 1 2 5 19 27 35 37 46 51 56 70 77 85 99 104 112 117 119
a 1 2 5 12 19 27 35 46 51 56 70 77 85 99 104 112 117 119
a 1 2 5 12 19 27 35 46 51 70 77 85 95 99 104 112 117 119
a 1 2 3 12 19 27 35 46 51 70 77 85 95 99 104 112 117 119
a 1 2 3 19 27 32 35 46 51 70 77 85 95 99 104 112 117 119
a 1 2 3 15 19 27 32 35 46 51 70 85 95 99 104 112 117 119
a 1 2 3 12 15 19 27 35 46 51 70 85 95 99 104 112 117 119
a 1 3 12 15 19 27 35 46 51 70 85 95 99 104 112 117 119 127
a 1 3 12 15 19 27 35 46 70 85 95 99 104 112 117 119 121 127
a 1 3 12 15 19 27 35 46 70 85 99 104 106 112 117 119 121 127
a 1 3 12 15 19 27 35 46 70 84 85 99 104 106 112 117 119 121
a 1 3 15 19 27 32 35 46 70 84 85 99 104 106 112 117 119 121
a 1 3 15 19 27 32 35 70 82 84 85 99 104 106 112 117 119 121
a 1 3 15 19 27 32 35 70 84 85 99 104 106 112 117 118 119 121
a 1 3 15 19 27 32 35 36 70 84 85 99 104 106 112 117 119 121
a 1 3 15 19 27 32 35 36 70 84 85 95 99 104 112 117 119 121
a 1 3 15 19 27 32 34 35 36 70 84 85 95 99 104 112 117 119
a 1 3 15 19 27 32 34 35 36 70 85 95 99 104 112 117 119 127
a 1 2 3 15 19 27 32 34 35 36 70 85 95 99 104 112 117 119
a 1 2 3 15 19 27 32 34 35 36 63 70 95 99 104 112 117 119
a 1 3 15 19 27 32 34 35 36 63 70 95 99 104 112 117 119 127
a 1 3 15 27 32 34 35 36 63 70 95 99 101 104 112 117 119 127
a 1 3 15 27 32 34 35 36 49 63 70 95 99 101 112 117 119 127
a 1 3 15 27 32 34 35 36 49 63 70 84 95 99 101 112 117 119
a 1 3 15 27 32 35 36 49 51 63 70 84 95 99 101 112 117 119
a 1 3 12 15 27 35 36 49 51 63 70 84 95 99 101 112 117 119
a 1 5 12 15 27 35 36 49 51 63 70 84 95 99 101 112 117 119
a 1 5 12 15 27 35 46 49 51 63 70 84 95 99 101 112 117 119
a 1 5 12 15 27 35 46 49 51 63 70 84 99 101 106 112 117 119
a 1 3 12 15 27 35 46 49 51 63 70 84 99 101 106 112 117 119
a 1 3 12 27 35 46 49 51 63 70 77 84 99 101 106 112 117 119
a 1 3 12 27 35 49 51 61 63 70 77 84 99 101 106 112 117 119
a 1 12 27 35 48 49 51 61 63 70 77 84 99 101 106 112 117 119
a 1 27 35 37 48 49 51 61 63 70 77 84 99 101 106 112 117 119
a 1 27 35 37 48 49 51 61 63 70 77 84 95 99 101 112 117 119
a 1 27 35 37 46 48 49 51 63 70 77 84 95 99 101 112 117 119
a 1 27 35 37 46 48 49 51 63 70 77 84 99 101 106 112 117 119
a 1 15 27 35 37 46 48 49 51 63 70 84 99 101 106 112 117 119
a 1 15 27 35 37 46 48 49 51 63 70 84 95 99 101 112 117 119
a 1 15 19 27 35 37 46 48 49 51 63 70 84 95 99 112 117 119
a 1 15 19 27 35 37 48 49 51 63 70 84 95 99 112 117 118 119
a 1 19 27 35 37 48 49 51 63 70 77 84 95 99 112 117 118 119
a 1 19 20 27 35 37 48 49 51 63 70 77 84 95 99 112 117 119
a 1 19 20 27 35 37 48 49 51 63 70 77 84 99 106 112 117 119
a 1 5 19 20 27 35 37 49 51 63 70 77 84 99 106 112 117 119
a 1 5 20 27 35 37 49 51 63 70 77 84 99 101 106 112 117 119
a 1 5 9 20 27 35 37 51 63 70 77 84 99 101 106 112 117 119
a 1 5 9 20 27 35 37 63 70 77 84 99 101 106 112 117 119 121
a 1 5 20 27 35 37 63 70 77 84 99 101 104 106 112 117 119 121
a 1 20 27 35 37 48 63 70 77 84 99 101 104 106 112 117 119 121
a 1 9 20 27 35 37 48 63 70 77 84 99 101 106 112 117 119 121
a 1 9 20 27 35 37 48 70 77 81 84 99 101 106 112 117 119 121
a 1 9 27 35 37 48 70 77 81 84 99 101 106 112 117 118 119 121
a 1 9 15 27 35 37 48 70 81 84 99 101 106 112 117 118 119 121
a 1 9 15 27 35 37 48 70 81 84 101 106 112 117 118 119 121 123
a 1 9 15 27 35 37 48 56 70 81 84 101 112 117 118 119 121 123
a 1 9 15 27 34 35 37 48 56 70 81 84 101 112 117 118 119 123
a 1 9 15 27 34 35 37 48 56 70 81 84 99 101 112 117 118 119
a 1 9 12 15 27 34 35 48 56 70 81 84 99 101 112 117 118 119
a 1 12 15 27 34 35 48 56 70 81 84 99 101 104 112 117 118 119
a 1 12 15 27 34 35 48 56 63 70 84 99 101 104 112 117 118 119
a 1 12 15 27 34 35 48 56 63 70 99 101 104 112 117 118 119 127
a 1 12 15 27 35 48 56 63 70 99 101 104 112 117 118 119 121 127
a 1 12 27 35 48 56 63 70 77 99 101 104 112 117 118 119 121 127
a 1 12 27 34 35 48 56 63 70 77 99 101 104 112 117 118 119 127
a 1 12 27 34 35 48 56 63 70 77 99 101 104 112 116 117 119 127
a 1 12 27 35 48 51 56 63 70 77 99 101 104 112 116 117 119 127
a 1 12 15 27 35 48 51 56 63 70 99 101 104 112 116 117 119 127
a 1 12 15 27 35 46 48 51 56 63 70 99 101 104 112 117 119 127
a 1 12 15 27 35 48 51 56 63 70 99 101 104 112 117 118 119 127
a 1 12 15 27 35 48 51 56 63 70 84 99 101 104 112 117 118 119
a 1 12 15 27 35 48 56 63 70 84 99 101 104 112 117 118 119 121
a 1 12 15 27 35 46 48 56 63 70 84 99 101 104 112 117 119 121
a 1 12 15 27 35 46 48 56 63 70 99 101 104 111 112 117 119 121
a 1 12 15 27 34 35 46 48 56 63 70 99 101 104 111 112 117 119
a 1 12 15 27 34 35 46 48 56 63 70 84 99 101 104 112 117 119
a 1 12 15 27 35 46 48 51 56 63 70 84 99 101 104 112 117 119
a 1 12 15 27 35 46 48 51 63 70 84 99 101 104 106 112 117 119
a 1 12 15 27 35 46 48 63 70 84 99 101 104 106 112 117 119 121
a 1 12 15 27 34 35 46 48 63 70 84 99 101 104 106 112 117 119
a 1 3 12 15 27 34 35 46 63 70 84 99 101 104 106 112 117 119
a 1 3 11 12 15 27 34 35 46 70 84 99 101 104 106 112 117 119
a 1 3 11 15 27 32 34 35 46 70 84 99 101 104 106 112 117 119
a 1 2 3 11 15 27 32 34 35 46 70 99 101 104 106 112 117 119
a 1 2 3 11 15 27 32 34 35 46 56 70 99 101 104 112 117 119
a 1 3 11 15 27 32 34 35 46 56 70 84 99 101 104 112 117 119
a 1 3 11 15 27 32 35 46 56 70 84 99 101 104 112 117 119 121
a 1 3 11 15 27 32 35 46 51 56 70 84 99 101 104 112 117 119
a 1 3 11 15 27 32 35 46 51 56 70 93 99 101 104 112 117 119
a 1 3 11 15 27 32 35 46 51 70 93 99 101 104 106 112 117 119
a 1 3 11 15 27 32 35 46 51 70 99 101 104 106 111 112 117 119
a 1 3 11 15 19 27 32 35 46 51 70 99 104 106 111 112 117 119
a 1 3 11 15 19 27 32 35 46 51 70 84 99 104 106 112 117 119
a 1 3 11 15 27 32 35 46 51 70 84 99 101 104 106 112 117 119
a 1 3 11 15 27 35 37 46 51 70 84 99 101 104 106 112 117 119
a 1 3 11 15 27 35 37 46 51 70 93 99 101 104 106 112 117 119
a 1 3 11 15 27 35 37 46 70 93 99 101 104 106 112 117 119 121
a 1 3 11 12 15 27 35 46 70 93 99 101 104 106 112 117 119 121
a 1 3 11 12 15 19 27 35 46 70 93 99 104 106 112 117 119 121
a 1 3 11 12 15 19 27 35 46 70 99 104 106 112 117 119 121 127
a 1 3 11 12 15 19 27 34 35 46 70 99 104 106 112 117 119 127
a 1 3 11 12 15 19 27 34 35 46 70 95 99 104 112 117 119 127
a 1 11 12 15 19 27 34 35 46 48 70 95 99 104 112 117 119 127
a 1 5 11 12 15 19 27 34 35 46 70 95 99 104 112 117 119 127
a 1 5 11 12 15 19 27 34 35 46 70 99 104 106 112 117 119 127
a 1 5 11 12 15 19 27 34 35 70 86 99 104 106 112 117 119 127
a 1 5 11 12 15 19 27 35 70 86 99 104 106 112 117 119 121 127
a 1 2 5 11 12 15 19 27 35 70 86 99 104 106 112 117 119 121
a 1 2 5 11 12 15 27 35 70 86 99 101 104 106 112 117 119 121
a 1 5 11 12 15 27 35 70 86 99 101 104 106 112 117 119 121 127
a 1 5 11 12 15 27 35 70 84 86 99 101 104 106 112 117 119 121
a 1 11 12 15 27 35 48 70 84 86 99 101 104 106 112 117 119 121
a 1 11 12 15 27 35 36 48 70 84 99 101 104 106 112 117 119 121
a 1 2 11 12 15 27 35 36 48 70 99 101 104 106 112 117 119 121
a 1 11 12 15 27 35 36 48 70 99 101 104 106 111 112 117 119 121
a 1 5 11 12 15 27 35 36 70 99 101 104 106 111 112 117 119 121
a 1 5 12 15 27 35 36 63 70 99 101 104 106 111 112 117 119 121
a 1 5 15 27 35 36 37 63 70 99 101 104 106 111 112 117 119 121
a 1 5 15 27 35 36 37 63 70 84 99 101 104 106 112 117 119 121
a 1 5 15 27 35 36 37 63 70 99 101 104 106 112 117 119 121 127
a 1 15 27 35 36 37 48 63 70 99 101 104 106 112 117 119 121 127
a 1 15 27 35 37 46 48 63 70 99 101 104 106 112 117 119 121 127
a 1 2 15 27 35 37 46 48 63 70 99 101 104 106 112 117 119 121
a 1 2 15 22 27 35 37 48 63 70 99 101 104 106 112 117 119 121
a 1 2 12 15 22 27 35 48 63 70 99 101 104 106 112 117 119 121
a 1 10 12 15 22 27 35 48 63 70 99 101 104 106 112 117 119 121
a 1 10 12 15 22 27 35 48 51 63 70 99 101 104 106 112 117 119
a 1 10 12 15 19 22 27 35 48 51 63 70 99 104 106 112 117 119
a 1 2 12 15 19 22 27 35 48 51 63 70 99 104 106 112 117 119
a 1 2 9 12 15 19 22 27 35 48 51 63 70 99 106 112 117 119
a 1 2 9 12 15 19 22 27 35 48 63 70 99 106 112 117 119 121
a 1 2 9 12 15 19 27 35 36 48 63 70 99 106 112 117 119 121
a 1 2 9 12 15 19 27 35 36 48 56 63 70 99 112 117 119 121
a 1 2 5 9 12 15 19 27 35 36 56 63 70 99 112 117 119 121
a 1 2 5 9 12 15 27 35 36 56 63 70 99 101 112 117 119 121
a 1 2 5 9 12 15 27 35 46 56 63 70 99 101 112 117 119 121
a 1 2 5 9 12 15 27 35 46 56 70 81 99 101 112 117 119 121
a 1 2 5 9 12 15 27 35 46 70 81 99 101 106 112 117 119 121
a 1 2 5 12 15 27 35 46 70 81 99 101 104 106 112 117 119 121
a 1 2 5 12 15 19 27 35 46 70 81 99 104 106 112 117 119 121
a 1 2 5 12 15 19 27 35 36 70 81 99 104 106 112 117 119 121
a 1 2 5 12 15 19 27 35 70 81 99 104 106 112 117 118 119 121
a 1 2 5 12 15 19 27 35 51 70 81 99 104 106 112 117 118 119
a 1 2 5 12 15 19 27 35 51 70 81 95 99 104 112 117 118 119
a 1 2 5 12 15 19 27 35 70 81 95 99 104 112 117 118 119 121
a 1 5 12 15 19 27 35 70 81 84 95 99 104 112 117 118 119 121
a 1 5 9 12 15 19 27 35 70 81 84 95 99 112 117 118 119 121
a 1 5 9 12 15 19 27 35 70 81 95 99 111 112 117 118 119 121
a 1 5 9 12 19 27 35 70 77 81 95 99 111 112 117 118 119 121
a 1 5 9 12 19 27 35 70 77 81 95 111 112 115 117 118 119 121
a 1 5 9 12 19 27 35 70 77 81 106 111 112 115 117 118 119 121
a 1 5 9 19 27 35 37 70 77 81 106 111 112 115 117 118 119 121
a 1 5 9 19 27 35 37 51 70 77 81 106 111 112 115 117 118 119
a 1 5 9 19 22 27 35 37 51 70 77 81 106 111 112 115 117 119
a 1 5 9 19 22 27 35 37 51 70 77 81 84 106 112 115 117 119
a 1 5 9 19 22 27 35 37 51 70 77 81 84 95 112 115 117 119
a 1 9 19 22 27 35 37 48 51 70 77 81 84 95 112 115 117 119
a 1 9 19 27 35 36 37 48 51 70 77 81 84 95 112 115 117 119
a 1 9 12 19 27 35 36 48 51 70 77 81 84 95 112 115 117 119
a 1 9 12 15 19 27 35 36 48 51 70 81 84 95 112 115 117 119
a 1 9 12 15 19 27 35 36 48 51 70 81 84 95 112 117 119 126
a 1 9 12 15 19 27 35 48 51 70 81 84 86 95 112 117 119 126
a 1 9 12 15 19 27 35 48 70 81 84 86 95 112 117 119 121 126
a 1 9 12 15 27 35 48 70 81 84 86 95 101 112 117 119 121 126
a 1 5 9 12 15 27 35 70 81 84 86 95 101 112 117 119 121 126
a 1 5 9 12 15 27 35 36 70 81 84 95 101 112 117 119 121 126
a 1 5 9 12 15 27 35 36 51 70 81 84 95 101 112 117 119 126
a 1 5 12 15 27 35 36 51 70 81 84 95 101 104 112 117 119 126
a 1 5 15 27 35 36 37 51 70 81 84 95 101 104 112 117 119 126
a 1 5 15 27 35 36 37 51 56 70 81 84 101 104 112 117 119 126
a 1 5 15 27 35 36 37 51 70 81 84 101 104 106 112 117 119 126
a 1 5 15 27 35 36 37 51 70 81 84 101 104 106 112 115 117 119
a 1 5 15 27 35 36 37 51 70 81 84 95 101 104 112 115 117 119
a 1 5 15 27 35 36 37 51 70 81 95 101 104 111 112 115 117 119
a 1 5 15 27 35 36 37 70 81 95 101 104 111 112 115 117 119 121
a 1 5 12 15 27 35 36 70 81 95 101 104 111 112 115 117 119 121
a 1 5 12 15 27 35 36 56 70 81 101 104 111 112 115 117 119 121
a 1 5 12 15 27 35 36 56 70 81 84 101 104 112 115 117 119 121
a 1 5 12 15 27 35 36 51 56 70 81 84 101 104 112 115 117 119
a 1 5 12 15 27 35 36 51 56 70 81 84 101 104 112 117 119 126
a 1 5 12 14 15 27 35 36 51 56 70 81 84 104 112 117 119 126
a 1 5 12 14 15 27 35 36 56 70 81 84 104 112 117 119 121 126
a 1 5 14 15 27 35 36 37 56 70 81 84 104 112 117 119 121 126
a 1 5 14 15 27 35 36 37 56 70 81 84 104 112 115 117 119 121
a 1 5 14 15 27 35 36 37 70 81 84 104 106 112 115 117 119 121
a 1 5 14 15 27 35 36 37 70 81 104 106 111 112 115 117 119 121
a 1 14 15 27 35 36 37 48 70 81 104 106 111 112 115 117 119 121
a 1 9 14 15 27 35 36 37 48 70 81 106 111 112 115 117 119 121
a 1 9 14 15 27 35 36 37 48 51 70 81 106 111 112 115 117 119
a 1 9 15 19 27 35 36 37 48 51 70 81 106 111 112 115 117 119
a 1 9 15 19 27 35 37 48 51 61 70 81 106 111 112 115 117 119
a 1 9 14 15 27 35 37 48 51 61 70 81 106 111 112 115 117 119
a 1 14 15 27 35 37 48 51 61 70 81 104 106 111 112 115 117 119
a 1 14 15 27 35 37 48 51 70 81 104 106 111 112 115 117 118 119
a 1 9 14 15 27 35 37 48 51 70 81 106 111 112 115 117 118 119
a 1 9 14 15 27 35 37 48 51 59 70 106 111 112 115 117 118 119
a 1 9 14 15 27 35 37 48 51 59 61 70 106 111 112 115 117 119
a 1 9 14 15 35 37 48 51 59 61 70 106 111 112 115 117 119 128
a 1 9 14 15 34 35 37 48 59 61 70 106 111 112 115 117 119 128
a 1 9 14 15 27 34 35 37 48 59 61 70 106 111 112 115 117 119
a 1 9 14 15 27 34 35 37 48 59 61 66 70 106 111 112 117 119
a 1 9 14 15 27 35 37 48 51 59 61 66 70 106 111 112 117 119
a 1 9 15 27 35 37 48 51 59 61 66 70 101 106 111 112 117 119
a 1 9 15 27 35 37 48 51 59 61 66 70 84 101 106 112 117 119
a 1 9 15 27 35 37 48 51 56 59 61 66 70 84 101 112 117 119
a 1 9 15 27 35 37 48 56 59 61 66 70 84 101 112 117 119 121
a 1 9 15 27 35 37 48 59 61 66 70 84 101 106 112 117 119 121
a 1 9 15 27 35 37 48 59 66 70 84 86 101 106 112 117 119 121
a 1 9 15 27 35 37 48 59 70 84 86 99 101 106 112 117 119 121
a 1 5 9 15 27 35 37 59 70 84 86 99 101 106 112 117 119 121
a 1 5 9 15 27 35 37 51 59 70 84 86 99 101 106 112 117 119
a 1 5 9 15 27 35 37 51 59 66 70 84 86 101 106 112 117 119
a 1 5 9 12 15 27 35 51 59 66 70 84 86 101 106 112 117 119
a 1 5 9 12 15 27 35 51 59 61 66 70 84 101 106 112 117 119
a 1 5 9 15 27 35 37 51 59 61 66 70 84 101 106 112 117 119
a 1 5 9 15 27 35 37 51 61 66 70 81 84 101 106 112 117 119
a 1 5 9 15 27 35 37 51 61 66 70 81 84 95 101 112 117 119
a 1 9 15 27 35 37 48 51 61 66 70 81 84 95 101 112 117 119
a 1 9 15 27 35 37 48 61 66 70 81 84 95 101 112 117 119 121
a 1 5 9 15 27 35 37 61 66 70 81 84 95 101 112 117 119 121
a 1 5 9 15 27 35 37 61 66 70 81 84 101 106 112 117 119 121
a 1 5 15 27 35 37 61 66 70 81 84 101 104 106 112 117 119 121
a 1 5 15 27 35 37 56 61 66 70 81 84 101 104 112 117 119 121
a 1 5 15 27 34 35 37 56 61 66 70 81 84 101 104 112 117 119
a 1 5 14 15 27 34 35 37 56 61 66 70 81 84 104 112 117 119
a 1 5 12 14 15 27 34 35 56 61 66 70 81 84 104 112 117 119
a 1 5 12 14 15 34 35 56 61 66 70 81 84 104 112 117 119 128
a 1 5 12 14 15 22 34 35 56 66 70 81 84 104 112 117 119 128
a 1 12 14 15 22 34 35 48 56 66 70 81 84 104 112 117 119 128
a 1 12 14 15 22 34 35 48 56 66 70 81 104 111 112 117 119 128
a 1 12 14 15 22 34 35 48 56 66 70 81 104 111 112 119 125 128
a 12 14 15 22 34 35 48 56 66 70 81 104 109 111 112 119 125 128
a 12 14 15 22 34 35 48 56 66 70 81 104 109 111 112 117 119 128
a 12 14 15 22 34 35 48 56 66 81 104 109 111 112 117 119 122 128
a 12 14 15 22 34 35 48 56 66 81 104 109 111 112 117 120 122 128
a 12 14 15 22 34 35 48 60 66 81 104 109 111 112 117 120 122 128
a 12 14 15 22 34 35 48 60 66 72 81 104 109 111 112 117 122 128
a 12 14 15 22 35 48 51 60 66 72 81 104 109 111 112 117 122 128
a 12 14 15 22 35 48 51 60 66 67 72 81 104 109 111 112 117 128
a 12 14 15 35 48 51 60 66 67 72 81 86 104 109 111 112 117 128
a 12 14 15 35 48 60 66 67 72 81 86 104 109 111 112 117 121 128
a 12 14 15 35 48 60 66 67 81 86 104 109 111 112 117 119 121 128
a 12 14 15 35 48 51 60 66 67 81 86 104 109 111 112 117 119 128
a 12 14 15 35 36 48 51 60 66 67 81 104 109 111 112 117 119 128
a 12 14 15 35 36 48 51 66 67 81 89 104 109 111 112 117 119 128
a 12 14 15 35 36 48 66 67 81 89 104 109 111 112 117 119 121 128
a 12 14 35 36 48 66 67 77 81 89 104 109 111 112 117 119 121 128
a 9 12 14 35 36 48 66 67 77 81 89 109 111 112 117 119 121 128
a 9 12 14 22 35 48 66 67 77 81 89 109 111 112 117 119 121 128
a 9 12 14 22 35 48 51 66 67 77 81 89 109 111 112 117 119 128
a 9 12 14 22 35 48 51 66 67 77 81 89 109 111 112 117 120 128
a 9 14 22 35 37 48 51 66 67 77 81 89 109 111 112 117 120 128
a 9 14 22 35 37 48 51 60 66 67 77 81 109 111 112 117 120 128
a 9 14 22 35 37 48 60 66 67 77 81 109 111 112 117 120 121 128
a 9 14 22 35 37 48 60 66 67 72 77 81 109 111 112 117 121 128
a 9 14 35 36 37 48 60 66 67 72 77 81 109 111 112 117 121 128
a 9 14 35 36 37 48 60 66 67 72 77 81 109 112 117 121 127 128
a 5 9 14 35 36 37 60 66 67 72 77 81 109 112 117 121 127 128
a 5 9 12 14 35 36 60 66 67 72 77 81 109 112 117 121 127 128
a 5 9 12 14 35 36 60 66 72 77 81 109 112 117 121 122 127 128
a 5 9 12 14 22 35 60 66 72 77 81 109 112 117 121 122 127 128
a 5 9 12 14 22 35 60 69 72 77 81 109 112 117 121 122 127 128
a 5 9 12 14 22 35 56 69 72 77 81 109 112 117 121 122 127 128
a 5 9 12 14 15 22 35 56 69 72 81 109 112 117 121 122 127 128
a 5 9 12 14 15 22 35 56 69 72 81 109 111 112 117 121 122 128
a 5 9 12 14 15 22 35 56 69 72 81 84 109 112 117 121 122 128
a 5 9 12 14 15 22 35 56 69 81 84 109 112 117 119 121 122 128
a 5 9 12 14 15 22 35 56 69 70 81 84 109 112 117 119 121 128
a 1 5 9 12 14 15 22 35 56 69 70 81 84 112 117 119 121 128
a 1 9 12 14 15 22 35 48 56 69 70 81 84 112 117 119 121 128
a 1 9 12 14 15 22 27 35 48 56 69 70 81 84 112 117 119 121
a 1 9 12 14 15 22 27 35 48 56 69 70 84 85 112 117 119 121
a 1 9 12 14 15 22 27 35 48 56 63 69 70 84 112 117 119 121
c Step: 313
#END: [Wed Aug 30 20:29:32 2023]