#BEGIN: [Mon Sep  4 22:00:18 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance009_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance009_graph001_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/random_instance/random_instance009_graph001.col /benchmark/random_instance/random_instance009_graph001_01.dat
c /benchmark/random_instance/random_instance009_graph001.col
c /benchmark/random_instance/random_instance009_graph001_01.dat
s 61 47 13 56 103 55 92 19 73 14 111 91 95 23 50 33 85 10 108 34 74 53 88 113 41 110 62 48 86 31 1 15 101
t 92 87 114 43 15 90 73 25 98 42 61 85 8 78 11 100 104 40 10 32 51 41 19 7 103 27 107 80 117 72 31 86 110
a YES
a 1 10 13 14 15 19 23 31 33 34 41 47 48 50 53 55 56 61 62 73 74 85 86 88 91 92 95 101 103 108 110 111 113
a 1 10 13 14 15 19 23 31 33 34 41 47 48 50 53 55 56 60 61 62 73 85 86 88 91 92 95 101 103 108 110 111 113
a 1 10 13 14 15 18 19 23 31 33 34 41 47 48 50 53 55 56 60 61 62 73 85 86 88 91 92 95 101 103 108 110 111
a 1 10 13 14 15 18 19 23 31 34 41 47 48 50 53 55 56 60 61 62 73 85 86 88 91 92 95 101 103 108 110 111 113
a 1 10 13 14 15 18 19 23 31 34 41 47 48 50 53 55 56 61 62 73 85 86 88 91 92 95 101 103 108 110 111 113 114
a 10 13 14 15 18 19 23 31 33 34 41 47 48 50 53 55 56 61 62 73 85 86 88 91 92 95 101 103 108 110 111 113 114
a 10 13 14 15 18 19 23 31 33 34 41 47 48 50 53 55 56 61 62 73 85 86 88 91 92 95 98 101 103 108 110 111 114
a 1 10 13 14 15 18 19 23 31 33 34 47 48 50 53 55 56 61 62 73 85 86 88 91 92 95 98 101 103 108 110 111 114
a 1 9 10 13 14 15 18 19 31 33 34 47 48 50 53 55 56 61 62 73 85 86 88 91 92 95 98 101 103 108 110 111 114
a 1 9 10 13 14 15 18 19 29 31 33 34 47 48 50 53 55 56 61 62 73 85 86 88 91 92 95 98 101 103 108 110 111
a 1 9 10 13 14 15 18 19 31 33 34 47 48 50 53 55 56 60 61 62 73 85 86 88 91 92 95 98 101 103 108 110 111
a 1 9 10 13 14 15 18 19 31 33 34 47 48 50 53 55 56 60 61 62 73 85 86 88 91 92 95 98 101 103 107 108 110
a 1 9 10 13 14 15 18 19 31 33 34 47 48 50 53 55 56 60 61 62 85 86 88 91 92 95 98 101 103 107 108 110 111
a 1 9 10 13 14 15 18 19 31 33 34 47 48 50 53 55 56 60 61 62 83 85 86 88 91 92 95 98 101 103 108 110 111
a 1 9 10 13 14 15 18 19 22 31 33 47 48 50 53 55 56 60 61 62 83 85 86 88 91 92 95 98 101 103 108 110 111
a 1 9 10 13 14 15 18 19 22 31 33 43 47 48 50 53 55 56 60 61 62 83 85 86 88 91 92 95 98 101 103 110 111
a 1 9 10 13 14 15 18 19 22 31 33 43 47 48 50 53 55 56 61 62 83 85 86 88 91 92 95 98 101 103 110 111 114
a 1 9 10 13 14 15 18 19 22 29 31 33 43 47 48 50 53 55 56 62 83 85 86 88 91 92 95 98 101 103 110 111 114
a 1 9 10 13 15 18 19 22 29 31 33 42 43 47 48 50 53 55 56 62 83 85 86 88 91 92 95 98 101 103 110 111 114
a 1 9 10 13 15 18 19 22 29 31 33 42 43 47 48 50 53 55 56 62 83 85 86 88 91 95 98 101 103 108 110 111 114
a 1 9 10 13 14 15 18 19 22 29 31 33 43 47 48 50 53 55 56 62 83 85 86 88 91 95 98 101 103 108 110 111 114
a 1 9 10 13 14 18 19 22 29 31 33 43 47 48 50 53 55 56 62 83 85 86 88 91 92 95 98 101 103 108 110 111 114
a 1 10 13 14 18 19 22 29 31 33 43 47 48 50 53 55 56 62 80 83 85 86 88 91 92 95 98 101 103 108 110 111 114
a 1 10 13 14 18 19 22 29 31 33 43 47 48 50 53 55 56 62 80 83 85 86 88 91 92 95 98 101 103 108 110 114 117
a 10 13 14 15 18 19 22 29 31 33 43 47 48 50 53 55 56 62 80 83 85 86 88 91 92 95 98 101 103 108 110 114 117
a 3 10 13 14 15 18 19 22 29 31 33 43 47 48 50 53 55 56 62 80 83 85 86 88 91 92 95 98 101 103 108 110 117
a 3 10 13 14 15 18 19 22 29 31 33 43 47 48 50 53 55 56 62 80 83 85 86 88 91 92 95 98 101 103 108 110 111
a 1 3 10 13 14 15 18 19 22 29 31 33 43 47 48 50 53 55 56 62 80 83 85 88 91 92 95 98 101 103 108 110 111
a 1 10 13 14 15 18 19 22 29 31 33 43 47 48 50 53 55 56 62 80 83 85 88 91 92 95 98 101 103 108 110 111 114
a 1 10 13 14 15 18 19 22 29 31 33 43 47 48 50 53 55 62 80 82 83 85 88 91 92 95 98 101 103 108 110 111 114
a 1 10 13 14 15 18 19 22 29 31 33 43 47 48 50 53 55 56 62 80 82 83 85 88 91 92 95 98 101 103 108 110 111
a 1 10 13 14 15 18 19 22 29 31 33 39 43 47 48 50 53 55 56 62 80 82 83 85 88 91 92 95 98 101 103 108 110
a 1 10 13 14 15 18 19 22 29 31 33 39 43 47 48 50 53 55 56 62 80 82 83 85 88 91 92 95 98 101 103 108 116
a 1 10 13 14 15 18 19 22 29 31 33 39 43 47 48 50 52 53 55 56 62 80 82 83 85 88 91 92 95 98 101 103 108
a 1 10 13 14 15 18 19 22 25 29 31 33 39 43 47 48 50 52 53 55 62 80 82 83 85 88 91 92 95 98 101 103 108
a 1 10 13 14 15 18 19 22 25 29 31 33 39 43 46 47 48 50 52 53 55 62 80 82 83 85 88 91 92 95 98 101 108
a 1 3 10 13 14 15 18 19 22 25 29 31 33 39 43 46 47 48 50 52 53 55 62 80 82 83 85 88 91 92 95 98 101
a 1 3 10 13 14 15 18 19 22 25 29 31 33 39 43 47 48 50 52 53 55 62 80 82 83 85 88 91 92 95 98 101 116
a 1 3 10 13 14 15 18 19 22 25 29 31 33 39 43 47 48 50 52 53 55 62 80 82 83 85 88 91 92 95 98 108 116
a 1 10 13 14 15 18 19 22 25 29 31 33 39 43 47 48 50 52 53 55 62 80 82 83 85 88 91 92 95 98 108 111 116
a 1 10 13 14 15 18 19 22 29 31 33 39 43 47 48 50 52 53 55 62 80 82 83 85 88 91 92 95 98 108 111 114 116
a 1 10 13 14 15 18 19 22 29 31 33 39 43 47 48 50 52 55 62 80 82 83 85 88 91 92 95 97 98 108 111 114 116
a 1 10 13 14 15 18 19 22 29 31 39 40 43 47 48 50 52 55 62 80 82 83 85 88 91 92 95 97 98 108 111 114 116
a 1 10 13 14 15 17 18 19 22 29 31 39 40 43 47 48 50 52 55 62 80 82 83 85 88 91 92 97 98 108 111 114 116
a 1 10 13 14 15 17 18 19 22 29 31 39 40 43 47 48 50 52 55 77 80 82 83 85 88 91 92 97 98 108 111 114 116
a 1 9 10 13 14 15 17 18 19 22 29 31 39 40 43 47 48 50 52 55 77 82 83 85 88 91 92 97 98 108 111 114 116
a 1 9 10 13 14 15 17 18 19 22 25 29 31 39 43 47 48 50 52 55 77 82 83 85 88 91 92 97 98 108 111 114 116
a 1 9 10 13 14 15 17 18 19 22 25 29 31 39 43 47 48 50 52 55 63 77 82 83 85 88 91 92 98 108 111 114 116
a 1 9 10 13 14 15 17 18 19 22 25 29 31 39 43 47 48 50 52 63 77 82 83 85 88 91 92 98 108 110 111 114 116
a 1 9 10 13 14 15 17 18 19 22 25 29 31 39 43 45 47 48 50 52 63 77 82 83 85 88 91 92 98 108 111 114 116
a 1 9 10 13 14 17 18 19 22 25 29 31 39 43 45 47 48 50 52 63 76 77 82 83 85 88 91 92 98 108 111 114 116
a 1 9 10 13 14 17 18 19 22 25 29 31 39 43 45 47 48 50 52 60 63 76 77 82 83 85 88 91 92 98 108 111 116
a 1 9 10 13 14 18 19 22 25 29 31 39 43 45 47 48 50 52 60 63 76 77 82 83 85 88 91 92 95 98 108 111 116
a 1 9 10 13 14 18 19 22 25 29 31 39 43 47 48 50 52 60 63 76 77 82 83 85 88 91 92 95 98 108 110 111 116
a 1 9 10 13 14 18 19 22 25 29 31 33 39 43 47 50 52 60 63 76 77 82 83 85 88 91 92 95 98 108 110 111 116
a 1 9 10 13 14 18 19 22 24 25 29 31 33 39 43 47 50 52 60 63 76 77 82 83 85 88 92 95 98 108 110 111 116
a 1 9 10 13 14 18 19 22 24 25 29 31 33 39 43 45 47 50 52 60 63 76 77 82 83 85 88 92 95 98 108 111 116
a 1 9 10 13 14 18 19 22 24 25 29 31 33 39 43 45 47 50 52 60 63 76 77 82 83 85 88 92 95 98 108 116 117
a 1 9 10 13 14 18 19 22 24 25 29 31 33 39 43 45 47 50 52 63 76 77 82 83 85 88 92 95 98 108 114 116 117
a 1 9 10 13 14 18 19 22 24 25 31 33 39 43 45 47 50 52 63 76 77 82 83 85 88 92 95 98 107 108 114 116 117
a 1 9 10 13 14 18 19 22 24 25 31 32 33 39 43 45 47 50 52 63 76 77 82 83 85 88 92 95 107 108 114 116 117
a 1 9 10 13 14 18 19 22 25 31 32 33 39 43 45 47 50 52 63 76 77 82 83 85 88 91 92 95 107 108 114 116 117
a 1 9 10 13 14 18 19 22 25 26 31 32 33 39 43 45 47 50 52 63 76 77 82 83 85 88 91 95 107 108 114 116 117
a 1 9 10 13 14 18 19 22 26 31 32 33 39 43 44 45 47 50 52 63 76 77 82 83 85 88 91 95 107 108 114 116 117
a 1 9 10 13 14 18 19 22 26 31 32 33 39 43 44 45 47 50 52 63 76 77 82 83 85 88 91 95 107 108 111 114 116
a 1 9 10 13 14 18 19 22 26 31 32 33 39 43 44 45 47 50 52 63 76 77 82 83 85 88 91 95 101 107 111 114 116
a 1 9 10 13 14 18 19 22 26 31 32 33 39 44 45 47 50 52 63 76 77 82 83 85 88 91 95 101 107 108 111 114 116
a 1 9 10 13 14 18 19 22 26 31 32 33 39 44 45 47 50 52 76 77 82 83 85 88 91 95 98 101 107 108 111 114 116
a 1 10 13 14 18 19 22 26 31 32 33 39 44 45 47 50 52 76 77 80 82 83 85 88 91 95 98 101 107 108 111 114 116
a 1 10 13 14 18 19 22 26 31 32 33 35 39 44 45 47 50 52 76 77 80 82 85 88 91 95 98 101 107 108 111 114 116
a 1 10 13 14 18 19 22 26 31 32 33 35 39 44 45 47 50 52 76 77 80 82 85 88 91 95 98 101 103 107 108 111 114
a 1 8 10 14 18 19 22 26 31 32 33 35 39 44 45 47 50 52 76 77 80 82 85 88 91 95 98 101 103 107 108 111 114
a 1 8 10 14 18 19 22 26 31 32 33 35 39 44 45 47 50 52 62 76 80 82 85 88 91 95 98 101 103 107 108 111 114
a 1 8 10 14 18 19 22 24 26 31 32 33 35 39 44 45 47 50 52 62 76 80 82 85 88 95 98 101 103 107 108 111 114
a 1 8 10 14 18 19 22 24 26 31 32 33 35 39 44 45 47 50 62 76 80 82 85 87 88 95 98 101 103 107 108 111 114
a 1 8 10 14 18 19 22 24 26 31 32 33 35 39 44 45 47 50 58 62 76 80 82 85 87 95 98 101 103 107 108 111 114
a 1 8 10 14 18 19 22 24 26 31 32 33 35 39 44 45 47 50 52 58 62 76 80 82 85 95 98 101 103 107 108 111 114
a 1 8 10 14 18 19 22 24 26 31 32 33 35 39 44 45 47 50 52 58 62 76 80 82 85 88 95 98 103 107 108 111 114
a 1 8 10 14 18 19 22 24 26 31 32 33 35 39 44 45 47 50 52 58 62 76 80 82 85 88 93 95 98 103 107 111 114
a 1 8 10 14 18 19 22 24 26 31 32 33 35 39 44 45 47 50 52 58 62 76 80 82 85 88 93 95 98 103 108 111 114
a 1 3 8 10 14 18 19 22 24 26 31 32 33 35 39 44 45 47 50 52 58 62 76 80 82 85 88 93 98 103 108 111 114
a 1 3 8 10 14 18 19 22 24 26 31 32 33 35 39 44 45 47 50 52 58 62 76 80 82 85 93 98 101 103 108 111 114
a 1 3 10 14 17 18 19 22 24 26 31 32 33 35 39 44 45 47 50 52 58 62 76 80 82 85 93 98 101 103 108 111 114
a 1 3 10 14 15 17 18 19 22 24 26 31 32 33 35 39 44 45 47 50 52 58 62 80 82 85 93 98 101 103 108 111 114
a 1 3 8 10 14 15 18 19 22 24 26 31 32 33 35 39 44 45 47 50 52 58 62 80 82 85 93 98 101 103 108 111 114
a 1 3 8 10 14 15 18 19 22 24 26 31 32 33 35 39 44 45 47 50 52 58 62 80 82 85 93 98 103 108 111 114 116
a 1 3 8 10 14 18 19 22 24 26 31 32 33 35 39 44 45 47 50 52 58 62 76 80 82 85 93 98 103 108 111 114 116
a 1 3 6 8 10 14 18 19 22 24 26 31 32 33 35 39 44 45 47 50 52 58 62 76 80 82 85 98 103 108 111 114 116
a 1 3 6 8 10 14 18 19 22 24 26 31 32 33 35 39 44 45 47 50 52 58 62 76 80 82 85 98 103 104 108 111 114
a 1 3 6 10 13 14 18 19 22 24 26 31 32 33 35 39 44 45 47 50 52 58 62 76 80 82 85 98 103 104 108 111 114
a 1 3 10 13 14 18 19 22 24 26 31 32 33 35 39 44 45 47 50 52 58 62 76 80 82 85 93 98 103 104 108 111 114
a 1 3 10 13 14 17 18 19 22 24 26 31 32 33 35 39 44 45 47 50 52 58 62 76 80 82 85 93 98 103 104 108 111
a 1 3 10 13 14 17 19 22 24 26 31 32 33 35 39 44 45 47 50 52 58 62 76 80 82 85 89 93 98 103 104 108 111
a 1 3 10 13 14 17 19 24 26 31 32 33 35 39 44 45 47 50 52 58 62 76 80 82 85 89 93 98 103 104 108 111 114
a 3 10 13 14 17 19 24 26 31 32 33 35 39 44 45 47 50 52 58 62 76 80 82 85 89 93 98 102 103 104 108 111 114
a 3 10 13 14 17 19 21 24 26 31 32 33 35 39 44 45 47 52 58 62 76 80 82 85 89 93 98 102 103 104 108 111 114
a 3 10 13 14 17 19 21 24 26 31 32 33 35 39 44 45 47 52 58 62 76 80 82 85 89 93 102 103 104 108 111 113 114
a 3 7 10 13 14 17 19 21 24 26 31 32 33 35 39 44 45 47 52 58 62 76 80 82 85 89 93 102 103 104 108 111 113
a 3 7 10 13 14 17 19 20 21 24 26 31 32 33 35 39 44 45 47 52 58 62 76 80 82 85 89 93 102 103 104 108 111
a 3 7 10 13 14 17 19 20 21 22 24 26 31 32 33 35 39 44 47 52 58 62 76 80 82 85 89 93 102 103 104 108 111
a 3 7 10 13 14 17 19 20 21 22 24 26 31 32 33 35 39 44 47 52 58 62 76 80 82 85 89 93 102 103 104 108 113
a 3 7 10 13 14 17 19 20 21 22 24 26 31 32 33 35 44 47 52 58 62 76 80 82 85 89 93 101 102 103 104 108 113
a 3 6 7 10 13 14 17 19 20 21 22 24 26 31 32 33 35 44 47 52 58 62 76 80 82 85 89 101 102 103 104 108 113
a 3 6 7 10 13 14 17 19 20 21 22 24 26 32 33 35 44 47 52 58 62 64 76 80 82 85 89 101 102 103 104 108 113
a 3 6 7 10 13 14 17 19 20 21 22 24 26 32 33 35 44 47 52 58 62 64 76 80 82 85 89 101 102 103 104 108 111
a 3 6 7 10 13 14 17 19 20 21 22 24 26 32 33 35 39 44 47 52 62 64 76 80 82 85 89 101 102 103 104 108 111
a 3 6 7 10 13 14 17 19 20 21 22 24 26 32 33 35 39 44 47 52 62 64 76 80 82 85 89 101 102 104 108 111 116
a 3 6 7 10 13 14 17 19 20 21 22 24 26 29 32 33 35 39 44 47 52 62 64 76 80 82 85 89 101 102 104 108 111
a 3 6 7 10 13 14 17 19 20 21 22 24 26 29 32 33 35 39 44 47 52 60 62 64 76 80 82 85 89 101 102 108 111
a 3 6 7 10 13 14 17 19 20 21 22 24 26 29 32 33 35 39 44 47 52 60 62 64 76 80 82 85 101 102 108 111 116
a 3 6 7 10 13 14 17 19 20 21 22 24 26 29 32 33 35 39 44 47 52 60 62 64 76 80 82 85 89 101 102 108 116
a 3 6 7 10 13 14 17 19 20 21 22 24 26 29 32 33 35 39 44 45 47 52 60 62 64 76 80 82 85 89 101 108 116
a 3 6 7 10 13 14 17 19 20 21 22 24 26 29 32 33 35 39 44 45 47 52 60 62 64 76 80 82 85 89 101 102 108
a 3 6 7 10 13 14 17 19 20 21 22 24 26 29 32 33 35 39 44 45 47 52 60 62 64 76 80 82 85 89 102 108 116
a 3 6 7 10 13 14 17 19 20 21 22 24 26 29 32 33 35 39 44 45 47 52 60 62 64 76 80 82 85 89 102 108 111
a 3 6 7 10 13 14 17 19 20 21 22 24 26 29 32 33 35 39 44 45 47 52 59 60 62 64 76 80 82 85 89 102 108
a 3 6 7 10 13 14 17 19 20 21 22 24 26 29 32 33 35 39 44 45 47 52 59 60 62 64 76 80 82 85 89 102 116
a 3 7 10 13 14 17 19 20 21 22 24 26 29 32 33 35 39 44 45 47 52 59 60 62 64 76 80 82 85 89 93 102 116
a 3 7 10 13 14 17 19 20 21 22 24 26 29 32 33 35 39 44 45 47 52 59 60 62 64 76 80 82 85 89 93 102 103
a 3 7 10 13 14 17 19 20 21 22 24 26 29 32 33 35 39 44 45 47 52 59 62 64 76 80 82 85 89 93 102 103 104
a 3 7 10 13 14 17 19 20 21 22 24 26 29 32 33 35 39 44 45 47 52 59 62 64 76 80 82 85 89 93 102 104 111
a 3 7 10 13 17 19 20 21 22 24 26 28 29 32 33 35 39 44 45 47 52 59 62 64 76 80 82 85 89 93 102 104 111
a 3 7 10 13 17 19 20 21 22 24 26 28 29 32 33 35 39 44 45 47 52 59 62 64 76 80 82 85 89 93 104 108 111
a 3 7 10 13 17 19 20 21 22 24 26 28 29 32 33 35 39 44 45 47 52 59 62 64 76 80 82 85 89 93 101 108 111
a 3 7 13 17 19 20 21 22 24 26 28 29 32 33 35 39 44 45 47 52 59 62 64 76 80 82 85 89 93 101 108 111 114
a 3 7 13 17 19 20 21 22 24 26 28 29 32 33 35 39 44 45 47 52 59 62 64 76 80 82 85 89 93 101 104 108 114
a 1 3 7 13 17 19 20 21 22 24 26 28 29 32 33 35 39 44 45 47 52 59 62 64 76 80 82 85 89 93 101 104 114
a 1 3 7 13 17 19 20 21 22 24 26 28 29 32 33 35 39 44 45 47 52 59 62 64 76 80 82 85 89 101 103 104 114
a 1 3 7 13 17 19 20 21 22 24 26 28 29 32 33 35 39 44 45 47 52 59 62 64 76 80 82 85 89 93 101 103 114
a 3 7 13 17 19 20 21 22 24 26 28 29 32 33 35 39 44 45 47 52 58 59 62 64 76 80 82 85 89 93 101 103 114
a 3 7 13 17 19 20 21 22 24 26 28 29 32 33 35 39 44 45 47 52 58 59 62 64 76 80 82 85 89 93 101 103 104
a 3 7 13 17 19 20 21 22 24 26 28 29 33 35 39 44 45 47 52 58 59 62 64 76 80 81 82 85 89 93 101 103 104
a 3 7 10 13 17 19 20 22 24 26 28 29 33 35 39 44 45 47 52 58 59 62 64 76 80 81 82 85 89 93 101 103 104
a 3 7 10 13 17 19 20 21 22 24 26 28 29 33 35 39 44 45 47 52 58 59 62 64 76 80 81 82 85 89 93 101 104
a 1 3 7 10 13 17 19 20 21 22 24 26 28 29 33 35 39 44 45 47 52 58 59 62 64 76 80 81 82 85 89 93 101
a 1 3 7 10 13 17 19 20 21 22 24 26 28 29 33 35 39 44 45 47 52 58 59 62 64 76 80 81 82 85 89 93 104
a 1 3 7 10 13 17 19 20 21 22 24 26 28 29 33 35 39 44 45 47 52 58 59 62 64 76 80 81 82 85 89 93 103
a 1 3 7 10 13 17 19 20 21 22 24 26 28 29 33 35 39 44 45 47 52 58 59 62 64 76 80 81 82 85 89 103 114
a 3 7 10 13 17 19 20 21 22 24 26 28 29 33 35 39 44 45 47 52 58 59 62 64 76 80 81 82 85 89 103 104 114
a 3 7 10 13 17 19 20 21 22 24 26 28 29 33 35 37 39 44 45 47 58 59 62 64 76 80 81 82 85 89 103 104 114
a 3 5 7 10 13 17 19 20 21 22 24 26 28 29 33 35 37 39 44 45 47 58 59 64 76 80 81 82 85 89 103 104 114
a 3 5 7 10 13 17 20 21 22 24 26 28 29 33 35 37 39 44 45 47 58 59 64 76 80 81 82 85 89 103 104 113 114
a 3 5 7 10 13 17 20 21 22 24 26 28 29 33 35 37 39 44 47 58 59 64 75 76 80 81 82 85 89 103 104 113 114
a 3 5 7 10 13 17 20 21 22 24 26 28 29 33 35 37 39 44 47 58 59 64 75 76 80 81 82 85 89 101 103 104 113
a 3 5 7 10 13 17 20 21 22 24 26 28 29 33 35 37 39 44 47 58 59 64 75 76 80 81 82 85 89 93 101 103 104
a 3 5 7 10 13 17 21 22 24 26 28 29 33 35 37 39 44 47 56 58 59 64 75 76 80 81 82 85 89 93 101 103 104
a 3 5 7 10 13 17 21 22 24 26 28 29 33 35 37 44 47 56 58 59 64 75 76 80 81 82 85 86 89 93 101 103 104
a 3 5 7 13 17 21 22 24 26 28 29 33 35 37 44 47 56 58 59 64 66 75 76 80 81 82 85 86 89 93 101 103 104
a 3 5 7 13 17 21 22 24 26 28 29 33 35 37 44 47 56 58 59 63 64 66 75 76 81 82 85 86 89 93 101 103 104
a 1 3 5 7 13 17 21 22 24 26 28 29 33 35 37 44 47 56 58 59 63 64 66 75 76 81 82 85 86 89 93 101 103
a 1 3 5 7 13 17 20 21 22 24 26 28 29 33 35 37 44 47 58 59 63 64 66 75 76 81 82 85 86 89 93 101 103
a 1 3 5 7 13 19 20 21 22 24 26 28 29 33 35 37 44 47 58 59 63 64 66 75 76 81 82 85 86 89 93 101 103
a 3 5 7 13 19 20 21 22 24 26 28 29 33 35 37 44 47 58 59 63 64 66 75 76 81 82 85 86 89 93 101 102 103
a 3 5 7 13 19 20 21 22 24 26 29 33 35 37 44 47 58 59 63 64 66 75 76 81 82 85 86 89 93 98 101 102 103
a 3 5 7 13 19 20 21 22 24 26 29 33 35 37 44 58 59 63 64 66 68 75 76 81 82 85 86 89 93 98 101 102 103
a 5 7 13 17 19 20 21 22 24 26 29 33 35 37 44 58 59 63 64 66 68 75 76 81 82 85 86 89 93 98 101 102 103
a 7 13 17 19 20 21 22 24 26 29 33 35 37 44 58 59 63 64 66 68 75 76 81 82 85 86 89 93 98 101 102 103 104
a 3 7 13 19 20 21 22 24 26 29 33 35 37 44 58 59 63 64 66 68 75 76 81 82 85 86 89 93 98 101 102 103 104
a 3 7 13 14 19 20 21 22 24 26 29 33 35 37 44 58 59 63 64 66 68 76 81 82 85 86 89 93 98 101 102 103 104
a 3 7 13 14 19 20 21 22 24 26 29 33 35 37 44 58 59 63 64 66 68 72 76 81 82 85 86 93 98 101 102 103 104
a 1 3 7 13 14 19 20 21 22 24 26 29 33 35 37 44 58 59 63 64 66 68 72 76 81 82 85 86 93 98 101 103 104
a 1 3 7 14 17 19 20 21 22 24 26 29 33 35 37 44 58 59 63 64 66 68 72 76 81 82 85 86 93 98 101 103 104
a 1 3 7 14 17 19 20 21 22 24 26 29 35 37 44 58 59 63 64 66 68 72 76 81 82 85 86 93 98 100 101 103 104
a 1 3 7 14 17 19 20 21 22 24 26 29 35 37 44 58 59 64 66 68 72 76 80 81 82 85 86 93 98 100 101 103 104
a 1 3 7 14 17 19 20 21 22 24 26 35 37 44 58 59 64 66 68 72 76 80 81 82 84 85 86 93 98 100 101 103 104
a 1 3 7 14 17 19 21 22 24 26 35 37 44 58 59 64 66 68 72 76 80 81 82 84 85 86 93 98 100 101 103 104 110
a 1 3 7 13 14 17 19 21 22 24 26 35 37 44 58 59 64 66 68 72 76 80 81 82 84 85 86 93 98 100 101 103 104
a 1 3 7 13 14 16 17 21 22 24 26 35 37 44 58 59 64 66 68 72 76 80 81 82 84 85 86 93 98 100 101 103 104
a 1 3 7 13 14 16 17 21 22 24 26 27 35 37 44 58 59 64 66 68 72 76 80 81 82 84 85 86 93 98 100 101 103
a 1 3 13 14 16 17 21 22 24 26 27 35 37 38 44 58 59 64 66 68 72 76 80 81 82 84 85 86 93 98 100 101 103
a 1 3 13 14 15 16 17 21 22 24 26 27 35 37 38 44 58 59 64 66 68 72 80 81 82 84 85 86 93 98 100 101 103
a 3 13 14 15 16 17 21 22 24 26 27 35 37 38 44 58 59 64 66 68 72 80 81 82 84 85 86 93 98 100 101 102 103
a 3 13 14 15 16 17 21 22 24 26 27 35 37 38 44 58 59 64 66 72 80 81 82 84 85 86 93 98 100 101 102 103 116
a 3 13 14 15 16 17 21 22 24 26 27 35 37 38 44 53 58 59 64 66 72 80 82 84 85 86 93 98 100 101 102 103 116
a 3 13 14 15 16 17 21 22 24 26 27 35 37 38 44 53 58 59 64 66 72 80 82 84 85 86 93 98 100 101 103 110 116
a 3 13 14 15 16 17 21 22 24 26 27 35 37 38 44 53 58 59 64 66 72 80 82 84 85 86 93 98 100 101 103 104 116
a 3 13 14 15 16 17 21 22 24 26 27 35 37 38 44 53 56 58 59 64 66 72 80 82 84 85 86 93 98 100 101 103 104
a 3 13 15 16 17 21 22 24 26 27 35 37 38 44 53 56 58 59 64 66 72 75 80 82 84 85 86 93 98 100 101 103 104
a 3 13 15 16 17 21 22 24 26 27 35 37 38 44 53 56 58 59 64 66 72 75 80 82 84 85 86 93 98 100 101 102 103
a 3 13 15 16 17 21 22 24 26 27 35 37 38 44 53 56 58 59 64 66 72 75 80 82 84 85 86 93 98 100 101 102 108
a 3 15 16 17 21 22 24 26 27 35 37 38 44 53 56 58 59 64 66 72 75 80 82 84 85 86 93 98 100 101 102 108 116
a 1 3 15 16 17 21 22 24 26 27 35 37 38 44 53 56 58 59 64 66 72 75 80 82 84 85 86 93 98 100 101 108 116
a 1 3 13 15 16 17 21 22 24 26 27 35 37 38 44 53 56 58 59 64 66 72 75 80 82 84 85 86 93 98 100 101 108
a 1 3 13 15 16 17 21 22 24 26 27 35 37 38 44 56 58 59 64 66 72 75 80 81 82 84 85 86 93 98 100 101 108
a 1 3 13 15 16 17 21 22 24 26 27 35 37 38 44 56 58 59 64 66 72 75 80 81 82 84 85 86 93 98 100 101 104
a 1 3 13 15 16 17 21 22 24 26 27 35 37 38 44 56 58 59 64 66 72 75 80 81 82 84 85 86 93 98 100 101 116
a 1 13 15 16 17 21 22 24 26 27 35 37 38 44 56 58 59 64 66 72 75 80 81 82 84 85 86 87 93 98 100 101 116
a 1 5 13 16 17 21 22 24 26 27 35 37 38 44 56 58 59 64 66 72 75 80 81 82 84 85 86 87 93 98 100 101 116
a 1 3 5 13 16 17 21 22 24 26 27 35 37 38 44 56 58 59 64 66 72 75 80 81 82 84 85 86 87 93 98 100 101
a 1 3 5 6 13 16 17 21 22 24 26 27 35 37 38 44 56 58 59 64 66 72 75 80 81 82 84 85 86 87 98 100 101
a 3 5 6 13 16 17 21 22 24 26 27 35 37 38 44 56 58 59 64 66 72 75 80 81 82 84 85 86 87 98 100 101 102
a 3 5 6 13 16 17 21 22 24 26 27 35 37 38 44 56 58 59 64 66 72 75 80 81 82 84 85 86 87 100 101 102 115
a 3 5 6 12 13 16 17 21 22 24 27 35 37 38 44 56 58 59 64 66 72 75 80 81 82 84 85 86 87 100 101 102 115
a 3 5 6 7 12 13 16 17 21 22 24 27 35 37 44 56 58 59 64 66 72 75 80 81 82 84 85 86 87 100 101 102 115
a 2 3 5 6 7 12 13 16 17 21 22 24 27 35 37 44 56 58 59 64 66 72 75 80 81 82 84 86 87 100 101 102 115
a 2 3 5 6 7 12 13 16 17 21 22 24 27 35 37 44 56 58 59 64 66 72 75 80 81 82 84 86 87 96 100 102 115
a 2 3 5 6 7 12 13 16 17 22 24 27 35 37 44 56 58 59 64 66 72 74 75 80 81 82 84 86 87 96 100 102 115
a 2 3 5 6 7 12 13 14 16 17 22 24 27 35 37 44 56 58 59 64 66 72 74 80 81 82 84 86 87 96 100 102 115
a 2 3 5 6 7 12 13 14 16 17 22 24 27 35 37 44 56 58 59 64 66 74 80 81 82 84 86 87 89 96 100 102 115
a 2 3 5 6 7 12 13 14 15 16 17 22 24 27 35 37 44 56 58 59 64 66 74 80 81 82 84 87 89 96 100 102 115
a 2 3 5 6 7 12 13 14 15 16 17 22 24 27 35 37 44 56 58 59 64 66 74 80 81 82 84 89 96 100 102 104 115
a 2 3 5 6 7 12 13 14 15 16 17 21 22 24 27 35 37 44 56 58 59 64 66 74 80 81 82 84 89 96 100 102 104
a 2 3 5 6 7 12 13 14 15 16 17 21 22 24 27 35 37 44 56 58 59 64 66 68 74 80 81 82 84 89 96 100 102
a 2 3 5 6 7 12 13 14 15 16 17 21 22 24 27 35 37 44 56 58 59 64 66 68 74 80 81 82 84 87 89 96 100
a 2 3 5 6 7 12 13 14 15 16 17 21 22 24 27 35 37 44 56 59 64 66 68 74 80 81 82 84 87 89 96 100 115
a 3 5 6 7 12 13 14 15 16 17 21 22 24 27 35 37 44 56 59 64 66 68 74 80 81 82 84 87 89 96 100 104 115
a 5 6 7 12 13 14 15 16 17 21 22 24 27 35 37 44 56 59 64 66 68 74 80 81 82 84 86 87 89 96 100 104 115
a 5 6 7 12 13 14 15 16 17 21 22 24 27 35 37 44 56 59 64 66 68 74 80 81 82 84 86 87 89 96 100 104 110
a 2 5 6 7 12 13 14 15 16 17 21 22 24 27 35 37 44 56 59 64 66 68 74 80 81 82 84 86 87 89 96 100 104
a 2 5 6 7 13 14 15 16 17 21 22 24 27 35 37 44 56 59 64 66 68 74 80 81 82 84 86 87 89 96 97 100 104
a 2 3 5 6 7 13 14 15 16 17 22 24 27 35 37 44 56 59 64 66 68 74 80 81 82 84 86 87 89 96 97 100 104
a 2 3 5 6 7 13 14 15 16 17 22 24 27 35 37 41 44 56 59 64 66 68 74 80 81 82 84 86 87 89 96 97 100
a 2 3 5 6 7 13 14 15 16 17 22 24 27 35 37 41 44 56 59 64 66 68 80 81 82 84 86 87 89 96 97 100 115
a 2 3 5 6 7 12 13 14 15 16 17 22 24 27 35 37 41 44 56 59 64 66 68 80 81 82 84 86 87 89 96 97 115
a 2 3 5 7 12 13 14 15 16 17 22 24 27 35 37 41 44 56 59 64 66 68 80 81 82 84 86 87 89 96 97 104 115
a 2 3 5 7 12 13 14 15 16 17 22 24 27 35 37 41 44 56 59 64 66 68 80 81 82 84 86 87 89 96 100 104 115
a 2 3 5 7 12 13 14 15 16 17 22 24 27 35 37 41 44 56 59 66 68 80 81 82 84 86 87 89 92 96 100 104 115
a 2 3 5 7 12 13 14 15 16 17 24 27 35 37 41 44 56 59 66 68 80 81 82 84 86 87 89 90 92 96 100 104 115
a 2 3 5 7 13 14 15 16 17 24 27 35 37 41 44 56 59 61 66 68 80 81 82 84 86 87 89 90 92 96 100 104 115
a 2 3 5 7 13 14 15 16 17 24 27 35 37 41 44 56 59 61 66 68 80 81 82 84 86 87 89 90 92 100 104 110 115
a 2 3 5 7 13 14 15 16 17 24 27 35 37 41 44 59 61 66 68 80 81 82 84 86 87 89 90 92 98 100 104 110 115
a 2 3 5 7 13 14 15 16 17 24 27 37 41 44 59 61 66 68 80 81 82 84 86 87 89 90 92 98 100 104 110 115 117
a 2 5 7 13 14 15 16 17 24 27 37 41 44 59 61 66 68 80 81 82 84 86 87 89 90 92 98 100 104 107 110 115 117
a 2 7 13 14 15 16 17 24 27 37 41 44 59 61 66 68 78 80 81 82 84 86 87 89 90 92 98 100 104 107 110 115 117
a 7 13 14 15 16 17 24 27 37 41 44 59 61 66 68 78 80 81 82 84 86 87 89 90 92 98 100 104 107 110 114 115 117
a 7 13 14 15 16 17 24 27 37 41 44 59 61 66 68 72 78 80 81 82 84 86 87 90 92 98 100 104 107 110 114 115 117
a 7 13 14 15 16 17 24 27 37 41 44 59 61 66 68 72 78 80 81 82 85 86 87 90 92 98 100 104 107 110 114 115 117
a 7 13 14 15 16 17 24 27 37 41 59 61 66 68 72 78 80 81 82 85 86 87 90 92 98 100 103 104 107 110 114 115 117
a 7 13 14 15 16 24 27 37 41 51 59 61 66 68 72 78 80 81 82 85 86 87 90 92 98 100 103 104 107 110 114 115 117
a 7 13 14 15 16 24 25 27 37 41 51 59 61 68 72 78 80 81 82 85 86 87 90 92 98 100 103 104 107 110 114 115 117
a 7 10 13 14 15 24 25 27 37 41 51 59 61 68 72 78 80 81 82 85 86 87 90 92 98 100 103 104 107 110 114 115 117
a 7 10 13 14 15 19 24 25 27 37 41 51 59 61 68 72 78 80 81 82 85 86 87 90 92 98 100 103 104 107 110 114 117
a 7 10 13 14 15 19 24 25 27 31 37 41 51 59 61 68 72 78 80 82 85 86 87 90 92 98 100 103 104 107 110 114 117
a 7 10 13 14 15 19 24 25 27 31 41 43 51 59 61 68 72 78 80 82 85 86 87 90 92 98 100 103 104 107 110 114 117
a 7 8 10 14 15 19 24 25 27 31 41 43 51 59 61 68 72 78 80 82 85 86 87 90 92 98 100 103 104 107 110 114 117
a 7 8 10 11 14 15 19 24 25 27 31 41 43 51 59 61 72 78 80 82 85 86 87 90 92 98 100 103 104 107 110 114 117
a 7 8 10 11 14 15 19 24 25 27 31 40 41 43 51 61 72 78 80 82 85 86 87 90 92 98 100 103 104 107 110 114 117
a 7 8 10 11 14 15 19 24 25 27 31 32 40 41 43 51 61 72 78 80 85 86 87 90 92 98 100 103 104 107 110 114 117
a 7 8 10 11 15 19 24 25 27 31 32 40 41 43 51 61 72 73 78 80 85 86 87 90 92 98 100 103 104 107 110 114 117
a 7 8 10 11 15 19 25 27 31 32 40 41 42 43 51 61 72 73 78 80 85 86 87 90 92 98 100 103 104 107 110 114 117
c Step: 239
#END: [Mon Sep  4 22:09:52 2023]