#BEGIN: [Mon Sep  4 22:01:53 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance010_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance010_graph005_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_instance010_graph005.col /benchmark/random_instance/random_instance010_graph005_01.dat
c /benchmark/random_instance/random_instance010_graph005.col
c /benchmark/random_instance/random_instance010_graph005_01.dat
s 111 53 90 35 89 33 91 110 21 77 130 61 124 49 59 85 6 23 40 100 39 97 104 4 118 17 62 103 128 87 67 96 75 70 73 10 105 18 83 5
t 113 1 20 18 66 29 12 44 127 63 4 106 49 6 70 27 26 57 103 78 122 39 16 65 110 129 55 14 56 77 75 130 128 105 58 53 61 45 87 67
a YES
a 4 5 6 10 17 18 21 23 33 35 39 40 49 53 59 61 62 67 70 73 75 77 83 85 87 89 90 91 96 97 100 103 104 105 110 111 118 124 128 130
a 4 5 6 10 17 18 23 33 35 39 40 49 53 59 61 62 67 70 73 75 77 83 85 87 89 90 91 96 97 100 103 104 105 110 111 113 118 124 128 130
a 4 5 6 10 14 17 18 23 33 35 39 40 49 53 59 61 62 67 70 73 75 77 83 85 87 90 91 96 97 100 103 104 105 110 111 113 118 124 128 130
a 1 4 5 6 10 14 17 18 23 33 35 39 40 49 53 59 61 62 67 70 73 75 77 83 85 87 90 91 96 97 103 104 105 110 111 113 118 124 128 130
a 1 4 5 6 10 14 17 18 23 33 35 39 40 49 50 53 59 61 62 67 70 73 75 83 85 87 90 91 96 97 103 104 105 110 111 113 118 124 128 130
a 1 4 5 6 10 14 17 18 23 33 35 39 40 49 53 58 59 61 62 67 70 73 75 83 85 87 90 91 96 97 103 104 105 110 111 113 118 124 128 130
a 1 4 5 6 10 14 17 18 23 33 35 39 40 49 53 58 59 61 62 70 73 75 83 85 87 90 91 94 96 97 103 104 105 110 111 113 118 124 128 130
a 1 4 5 6 10 14 17 18 23 33 35 39 40 49 53 58 59 61 62 70 73 75 83 85 87 90 91 94 97 103 104 105 110 111 113 118 121 124 128 130
a 1 5 6 10 14 17 18 23 33 35 39 40 49 53 58 59 61 62 70 73 75 83 85 87 90 91 94 97 103 104 105 110 111 112 113 118 121 124 128 130
a 1 5 6 10 14 17 18 23 33 35 39 40 49 53 58 59 61 62 64 70 73 75 83 85 87 90 91 94 97 103 104 105 110 111 112 113 118 121 124 128
a 1 5 6 10 14 17 18 23 33 35 39 49 53 58 59 61 62 64 70 73 75 83 85 87 90 91 94 97 103 104 105 110 111 112 113 118 119 121 124 128
a 1 5 6 10 14 17 18 23 33 39 49 53 54 58 59 61 62 64 70 73 75 83 85 87 90 91 94 97 103 104 105 110 111 112 113 118 119 121 124 128
a 1 5 6 10 14 17 18 23 33 39 49 53 54 59 61 62 64 70 73 75 77 83 85 87 90 91 94 97 103 104 105 110 111 112 113 118 119 121 124 128
a 1 5 6 10 17 18 23 33 39 41 49 53 54 59 61 62 64 70 73 75 77 83 85 87 90 91 94 97 103 104 105 110 111 112 113 118 119 121 124 128
a 1 5 6 10 17 18 23 33 39 41 49 53 54 59 61 62 64 70 73 75 77 83 85 87 90 91 94 97 103 104 105 109 110 111 112 113 118 119 121 124
a 1 5 6 10 17 18 23 33 39 41 49 53 54 59 61 62 64 70 73 75 77 83 85 87 90 91 94 97 103 104 105 109 110 111 112 113 118 119 121 128
a 5 6 10 17 18 23 33 39 41 49 53 54 59 61 62 64 70 73 75 77 83 85 87 90 91 94 97 100 103 104 105 109 110 111 112 113 118 119 121 128
a 5 6 10 17 18 23 29 33 39 49 53 54 59 61 62 64 70 73 75 77 83 85 87 90 91 94 97 100 103 104 105 109 110 111 112 113 118 119 121 128
a 5 6 10 17 18 23 29 33 39 49 53 54 59 61 62 64 70 73 75 77 83 85 87 90 91 94 97 100 103 104 105 109 110 111 112 113 118 119 121 124
a 5 6 10 17 18 23 29 33 39 49 53 54 59 61 62 64 70 73 75 77 83 85 87 90 91 94 97 100 103 104 105 109 110 111 112 113 118 119 124 128
a 5 6 10 17 18 23 29 33 39 49 53 54 59 61 62 63 64 70 73 75 77 83 85 87 90 91 94 97 100 103 104 105 109 110 111 112 113 118 119 128
a 5 6 10 17 18 23 29 33 39 49 53 54 58 59 61 62 63 64 70 73 75 77 83 85 87 90 91 94 97 103 104 105 109 110 111 112 113 118 119 128
a 2 5 6 10 17 18 23 29 33 39 49 53 54 58 59 61 62 63 64 70 73 75 77 83 85 87 90 91 94 97 103 104 105 110 111 112 113 118 119 128
a 2 5 6 10 17 18 23 28 29 33 39 49 53 54 58 59 61 62 63 64 70 73 75 77 83 85 87 90 91 94 97 103 104 105 110 111 112 113 118 119
a 2 5 6 10 17 18 23 28 29 33 39 49 53 54 58 59 61 62 63 64 70 73 75 77 83 85 87 90 91 94 97 103 104 105 110 111 112 113 118 121
a 2 5 6 10 17 18 23 28 29 33 39 49 53 54 58 61 62 63 64 70 73 75 77 83 85 87 90 91 94 97 98 103 104 105 110 111 112 113 118 121
a 2 5 6 10 13 17 18 23 28 29 33 39 49 53 54 58 61 62 63 64 70 73 75 77 83 85 87 90 91 94 97 98 103 104 105 110 111 113 118 121
a 2 5 6 10 13 17 18 23 28 29 33 39 49 53 58 61 62 63 64 70 73 75 77 83 85 87 90 91 94 97 98 103 104 105 110 111 113 118 121 128
a 2 5 6 10 13 17 18 23 28 29 33 39 49 53 54 58 61 62 63 64 70 73 75 77 83 85 87 90 91 97 98 103 104 105 110 111 113 118 121 128
a 2 5 6 10 13 17 18 23 28 29 33 39 49 53 54 58 61 62 63 64 66 70 73 75 77 83 85 87 91 97 98 103 104 105 110 111 113 118 121 128
a 1 2 5 6 10 13 17 18 23 29 33 39 49 53 54 58 61 62 63 64 66 70 73 75 77 83 85 87 91 97 98 103 104 105 110 111 113 118 121 128
a 1 2 5 6 10 13 17 18 23 29 33 39 49 53 54 58 61 62 63 64 70 73 75 77 83 85 87 90 91 97 98 103 104 105 110 111 113 118 121 128
a 1 2 5 6 13 14 17 18 23 29 33 39 49 53 54 58 61 62 63 64 70 73 75 77 83 85 87 90 91 97 98 103 104 105 110 111 113 118 121 128
a 1 2 5 6 13 14 17 18 23 29 33 39 49 53 54 58 61 62 63 64 67 70 73 75 77 83 85 87 90 91 97 98 103 104 105 110 111 113 118 128
a 1 2 5 6 13 14 17 18 23 29 33 39 49 53 54 58 61 62 63 64 67 70 73 75 77 83 85 87 90 91 97 98 103 104 105 106 110 111 113 118
a 1 2 5 6 13 14 17 18 23 29 33 39 49 53 54 58 61 62 63 64 67 70 73 75 77 83 85 87 90 91 97 98 103 104 105 106 110 111 113 119
a 1 2 5 6 14 17 18 23 29 33 39 49 53 54 58 61 62 63 64 67 70 73 75 77 83 85 87 90 91 97 98 103 104 105 106 110 111 113 119 128
a 1 2 5 14 17 18 23 29 33 39 49 53 54 58 61 62 63 64 67 70 73 75 77 83 85 87 90 91 97 98 103 104 105 106 110 111 113 118 119 128
a 1 2 5 14 17 18 23 29 33 39 49 53 55 58 61 62 63 64 67 70 73 75 77 83 85 87 90 91 97 98 103 104 105 106 110 111 113 118 119 128
a 1 2 5 14 17 18 23 29 33 39 49 53 55 57 58 61 62 63 64 67 70 73 75 77 83 85 87 90 91 97 98 103 104 105 106 110 111 113 118 119
a 1 2 5 14 17 18 23 29 33 39 49 53 55 57 58 61 62 63 64 67 70 73 75 77 83 84 87 90 91 97 98 103 104 105 106 110 111 113 118 119
a 1 2 5 7 14 17 18 23 29 33 49 53 55 57 58 61 62 63 64 67 70 73 75 77 83 84 87 90 91 97 98 103 104 105 106 110 111 113 118 119
a 1 2 5 6 14 17 18 23 29 33 49 53 55 57 58 61 62 63 64 67 70 73 75 77 83 84 87 90 91 97 98 103 104 105 106 110 111 113 118 119
a 1 2 5 6 14 17 18 23 29 33 43 49 53 57 58 61 62 63 64 67 70 73 75 77 83 84 87 90 91 97 98 103 104 105 106 110 111 113 118 119
a 1 2 5 6 14 17 18 23 29 33 43 49 53 57 58 61 62 64 67 70 73 75 77 83 84 87 90 91 97 98 103 104 105 106 110 111 113 118 119 124
a 1 2 5 6 14 17 18 23 29 33 43 49 53 57 58 61 62 64 67 70 73 75 77 83 84 87 90 91 97 98 103 104 105 106 110 113 118 119 124 127
a 1 2 5 6 14 17 18 23 29 33 43 49 53 57 58 61 62 64 67 70 73 75 77 83 84 87 90 97 98 103 104 105 106 110 113 118 119 123 124 127
a 1 2 5 6 14 17 18 23 29 33 43 49 53 57 58 61 62 64 67 70 73 75 77 83 84 87 90 97 98 103 104 105 106 110 113 118 119 121 123 124
a 1 2 5 6 14 17 18 23 29 33 43 49 53 57 58 61 62 64 67 70 73 75 77 83 84 87 90 91 97 98 103 104 105 106 110 113 118 119 121 124
a 1 2 5 6 17 18 23 29 33 43 49 53 57 58 61 62 64 67 70 73 75 77 83 84 87 90 91 97 98 103 104 105 106 110 113 118 119 121 124 127
a 1 2 5 6 17 18 20 23 29 33 43 49 53 57 58 61 62 64 67 70 73 75 77 83 84 87 90 91 97 98 103 104 105 106 110 113 118 119 124 127
a 1 2 5 6 17 18 20 23 33 43 49 53 57 58 61 62 64 67 70 73 75 77 83 84 87 90 91 96 97 98 103 104 105 106 110 113 118 119 124 127
a 1 2 5 6 17 18 20 23 33 49 53 57 58 61 62 64 67 70 73 75 77 83 84 87 90 91 96 97 98 103 104 105 106 110 113 118 119 124 127 128
a 1 2 5 6 13 17 18 20 23 33 49 57 58 61 62 64 67 70 73 75 77 83 84 87 90 91 96 97 98 103 104 105 106 110 113 118 119 124 127 128
a 1 2 5 6 13 14 17 18 20 23 33 49 57 58 61 62 64 67 70 73 75 77 83 84 87 90 91 96 97 98 103 104 105 106 110 113 118 119 124 127
a 2 3 5 6 13 14 17 18 20 23 33 49 57 58 61 62 64 67 70 73 75 77 83 84 87 90 91 96 97 98 103 104 105 106 110 113 118 119 124 127
a 2 3 5 6 11 13 14 17 18 20 23 33 57 58 61 62 64 67 70 73 75 77 83 84 87 90 91 96 97 98 103 104 105 106 110 113 118 119 124 127
a 2 3 5 6 11 13 14 17 18 20 23 33 57 58 61 62 64 67 70 73 75 77 83 84 87 90 91 93 96 97 98 103 104 105 106 110 113 118 119 124
a 2 3 5 6 11 13 14 18 20 23 33 57 58 61 62 64 67 70 73 75 77 83 84 87 90 91 93 96 97 98 103 104 105 106 110 113 118 119 124 125
a 2 3 5 11 13 14 18 20 23 33 39 57 58 61 62 64 67 70 73 75 77 83 84 87 90 91 93 96 97 98 103 104 105 106 110 113 118 119 124 125
a 2 3 5 11 13 14 18 20 23 33 39 57 58 61 62 64 67 70 73 75 77 83 84 87 90 91 93 96 97 98 103 104 105 106 110 113 118 119 124 128
a 2 3 5 11 13 14 18 20 23 33 39 53 57 58 61 62 64 67 70 73 75 77 83 84 87 90 91 93 96 97 98 103 104 105 106 110 113 119 124 128
a 2 3 5 11 13 14 18 20 23 33 39 53 57 58 61 62 64 67 70 73 75 77 83 84 87 90 91 93 96 97 98 103 104 105 106 110 113 119 124 127
a 2 3 5 11 13 14 18 20 23 33 39 53 57 58 61 62 64 70 73 75 77 83 84 87 90 91 93 96 97 98 103 104 105 106 109 110 113 119 124 127
a 2 3 5 11 13 14 18 23 28 33 39 53 57 58 61 62 64 70 73 75 77 83 84 87 90 91 93 96 97 98 103 104 105 106 109 110 113 119 124 127
a 2 3 5 11 13 14 18 28 33 37 39 53 57 58 61 62 64 70 73 75 77 83 84 87 90 91 93 96 97 98 103 104 105 106 109 110 113 119 124 127
a 2 3 5 11 13 14 28 33 37 39 44 53 57 58 61 62 64 70 73 75 77 83 84 87 90 91 93 96 97 98 103 104 105 106 109 110 113 119 124 127
a 2 3 5 11 13 14 26 28 33 37 39 44 53 57 58 61 62 64 70 73 75 77 84 87 90 91 93 96 97 98 103 104 105 106 109 110 113 119 124 127
a 2 3 5 11 13 14 26 28 33 37 39 44 53 57 58 61 62 64 70 73 75 77 84 87 90 93 96 97 98 103 104 105 106 109 110 113 119 124 127 129
a 2 3 5 11 13 14 26 28 33 37 39 44 53 57 58 61 62 64 70 75 77 84 87 90 93 96 97 98 103 104 105 106 109 110 113 119 122 124 127 129
a 2 3 5 11 13 14 26 28 33 37 39 44 53 57 58 61 62 64 70 75 77 84 87 93 96 97 98 103 104 105 106 109 110 113 116 119 122 124 127 129
a 2 3 5 11 13 14 26 28 33 37 39 53 57 58 61 62 64 70 75 77 84 87 93 96 97 98 103 104 105 106 109 110 113 116 118 119 122 124 127 129
a 2 3 5 11 13 14 26 28 33 37 39 53 57 58 61 62 64 70 75 77 84 87 93 96 97 98 103 104 105 106 109 110 113 116 118 119 123 124 127 129
a 2 3 5 11 14 26 28 33 37 39 53 57 58 61 62 64 70 75 77 84 87 93 96 97 98 103 104 105 106 109 110 112 113 116 118 119 123 124 127 129
a 2 3 5 11 14 26 28 33 37 39 53 57 58 61 62 64 70 75 77 84 87 90 93 96 97 98 103 104 105 106 109 110 112 113 116 118 119 123 124 129
a 2 3 5 11 14 26 28 33 37 39 44 53 57 58 61 62 64 70 75 77 84 87 90 93 96 97 98 103 104 105 106 109 110 112 113 116 119 123 124 129
a 1 2 5 11 14 26 28 33 37 39 44 53 57 58 61 62 64 70 75 77 84 87 90 93 96 97 98 103 104 105 106 109 110 112 113 116 119 123 124 129
a 1 2 5 11 14 26 28 33 37 39 44 53 57 58 61 62 64 70 75 77 84 87 90 93 96 97 98 103 104 105 106 109 112 113 116 119 122 123 124 129
a 1 2 5 11 14 26 28 33 37 39 44 53 57 58 61 62 64 70 75 77 84 87 90 93 96 97 98 103 104 105 106 109 112 113 116 119 122 123 124 127
a 1 2 5 11 14 26 28 33 37 39 44 47 53 57 58 61 62 64 70 75 77 84 87 90 93 96 97 98 103 104 105 106 109 112 113 116 119 122 123 124
a 1 2 5 11 14 26 28 33 37 39 44 47 53 57 58 61 62 64 70 75 77 84 87 90 93 96 97 98 103 104 105 106 109 112 113 116 119 123 124 127
a 1 2 5 11 14 26 28 33 37 39 44 47 53 57 58 61 62 64 70 75 77 84 87 90 93 96 97 98 103 104 105 106 109 112 113 116 119 123 124 125
a 1 2 5 11 14 25 26 28 33 37 39 44 47 53 57 58 61 62 64 70 75 77 84 87 90 93 96 97 98 103 104 106 109 112 113 116 119 123 124 125
a 1 2 5 10 11 14 25 28 33 37 39 44 47 53 57 58 61 62 64 70 75 77 84 87 90 93 96 97 98 103 104 106 109 112 113 116 119 123 124 125
a 1 2 5 10 11 14 25 27 28 33 37 39 44 47 53 57 58 61 62 64 70 75 77 84 87 93 96 97 98 103 104 106 109 112 113 116 119 123 124 125
a 1 2 5 10 11 14 27 28 33 37 39 44 47 53 57 58 61 62 64 70 75 77 84 87 93 96 97 98 103 104 106 109 112 113 116 119 123 124 125 127
a 1 2 5 10 11 14 27 28 33 37 39 44 47 53 57 58 61 62 64 70 75 77 84 87 93 96 97 98 103 104 106 109 112 113 116 119 122 123 124 125
a 1 2 5 10 11 14 27 28 33 37 39 44 47 53 57 58 61 62 70 75 77 84 87 93 96 97 98 103 104 106 109 112 113 116 119 122 123 124 125 130
a 1 5 10 11 14 27 28 33 37 39 44 47 53 57 58 61 62 70 75 77 84 87 93 96 97 98 103 104 106 107 109 112 113 116 119 122 123 124 125 130
a 1 5 10 11 14 16 27 28 33 37 39 44 47 53 57 58 61 62 70 75 77 87 93 96 97 98 103 104 106 107 109 112 113 116 119 122 123 124 125 130
a 1 5 10 11 14 16 28 33 37 39 44 47 53 57 58 61 62 70 75 77 87 90 93 96 97 98 103 104 106 107 109 112 113 116 119 122 123 124 125 130
a 1 5 10 11 14 16 28 33 37 39 44 47 57 58 61 62 70 75 77 87 90 93 96 97 98 103 104 106 107 109 112 113 116 119 122 123 124 125 129 130
a 1 5 10 11 14 16 28 33 37 39 44 47 57 58 61 62 70 75 77 87 90 93 96 97 98 103 104 106 107 109 112 113 116 119 122 123 124 125 128 129
a 1 5 10 11 14 16 28 33 37 39 44 47 53 57 58 61 62 70 75 77 87 93 96 97 98 103 104 106 107 109 112 113 116 119 122 123 124 125 128 129
a 1 5 10 11 14 16 33 37 39 44 47 53 57 58 61 62 70 75 77 87 93 96 97 98 103 104 106 107 109 112 113 116 119 122 123 124 125 127 128 129
a 1 5 10 11 14 16 33 37 39 44 47 53 57 58 61 62 70 75 77 87 93 96 97 98 103 104 105 106 107 109 112 113 116 119 122 123 124 125 127 128
a 1 5 10 11 14 16 27 33 37 39 44 47 53 57 58 61 62 70 75 77 87 93 96 97 98 103 104 105 106 107 109 112 113 116 119 122 123 124 125 127
a 1 5 10 11 14 16 27 33 37 39 44 47 53 56 57 58 61 70 75 77 87 93 96 97 98 103 104 105 106 107 109 112 113 116 119 122 123 124 125 127
a 1 5 10 11 14 16 22 27 33 37 39 44 47 53 56 57 58 61 70 75 77 87 93 96 97 98 103 104 105 106 107 109 112 113 119 122 123 124 125 127
a 1 5 10 11 14 16 22 27 33 37 39 44 46 47 53 56 57 58 61 70 75 77 87 93 96 97 98 103 104 105 106 107 109 112 113 119 122 123 124 125
a 3 5 10 11 14 16 22 27 33 37 39 44 46 47 53 56 57 58 61 70 75 77 87 93 96 97 98 103 104 105 106 107 109 112 113 119 122 123 124 125
a 3 5 10 11 14 16 22 26 27 33 37 39 44 46 47 53 56 57 58 61 70 75 77 87 93 96 97 98 103 104 105 106 107 109 112 113 119 122 123 124
a 3 5 10 11 14 16 22 26 27 33 37 39 44 46 47 53 56 58 61 70 75 77 87 93 96 97 98 103 104 105 106 107 109 112 113 119 122 123 124 128
a 1 5 10 11 14 16 22 26 27 33 37 39 44 46 47 53 56 58 61 70 75 77 87 93 96 97 98 103 104 105 106 107 109 112 113 119 122 123 124 128
a 1 5 10 11 14 16 22 26 27 33 37 39 44 46 47 53 56 58 61 70 75 77 87 93 96 97 98 103 104 105 106 107 109 112 113 119 122 123 124 129
a 1 5 10 11 14 16 22 26 27 33 37 39 44 46 47 53 56 58 61 70 75 77 87 93 96 97 98 103 104 105 106 107 109 112 113 119 122 123 124 125
a 1 5 10 11 14 16 18 22 26 27 33 37 39 44 46 47 53 56 58 61 70 75 77 87 93 96 97 98 104 105 106 107 109 112 113 119 122 123 124 125
a 1 5 10 11 14 16 18 22 26 27 33 37 39 44 46 47 53 56 58 61 70 75 77 87 93 96 97 98 104 105 106 107 109 112 113 116 119 122 123 124
a 1 5 10 11 14 16 18 22 26 27 33 37 39 44 46 47 53 56 58 61 70 75 77 87 93 96 97 98 104 105 106 107 109 113 116 119 122 123 124 129
a 1 5 10 11 14 16 18 22 26 27 33 37 39 44 46 47 53 56 58 61 70 75 77 87 93 96 97 98 104 105 106 107 109 113 116 119 122 123 124 128
a 1 5 10 11 14 16 18 22 26 27 33 37 39 44 46 47 53 56 58 61 70 75 77 78 87 93 96 97 98 105 106 107 109 113 116 119 122 123 124 128
a 5 10 11 14 16 18 22 26 27 33 35 37 39 44 46 47 53 56 58 61 70 75 77 78 87 93 96 97 98 105 106 107 109 113 116 119 122 123 124 128
a 5 10 11 14 16 18 22 26 27 33 35 37 39 44 46 47 53 56 58 61 70 75 77 78 87 91 93 96 97 98 105 106 107 109 113 116 119 122 124 128
a 5 10 11 14 16 18 22 26 27 33 35 37 39 44 46 47 53 56 58 61 70 75 77 78 87 91 93 96 97 98 105 106 107 109 112 113 116 119 122 124
a 5 10 11 14 16 18 22 26 27 33 35 37 39 44 46 47 53 56 58 61 70 75 77 78 91 93 96 97 98 105 106 107 109 112 113 116 119 122 124 127
a 5 10 11 14 16 18 26 27 33 35 37 39 44 46 47 53 56 58 61 70 75 77 78 91 93 96 97 98 103 105 106 107 109 112 113 116 119 122 124 127
a 5 10 11 14 16 18 26 27 33 35 37 39 44 47 53 56 58 61 70 75 77 78 91 93 96 97 98 103 105 106 107 109 112 113 116 119 122 124 127 130
a 1 5 10 11 14 16 18 26 27 33 35 37 39 44 47 53 56 58 61 70 75 77 78 91 93 96 97 98 103 105 106 107 109 112 113 116 119 122 124 130
a 1 5 10 11 14 16 18 26 27 33 35 39 40 44 47 53 56 58 61 70 75 77 78 91 93 96 97 98 103 105 106 107 109 112 113 116 119 122 124 130
a 1 5 10 11 14 16 18 26 27 33 35 39 40 44 47 53 56 58 61 70 75 77 78 93 96 97 98 103 105 106 107 109 112 113 116 119 122 124 129 130
a 1 5 10 11 14 16 18 26 27 33 35 39 40 44 47 53 56 58 61 67 70 75 77 78 93 96 97 98 103 105 106 107 112 113 116 119 122 124 129 130
a 1 5 10 11 14 16 18 26 27 33 35 39 40 44 47 53 56 58 61 67 70 75 77 78 93 96 97 98 103 105 106 107 112 113 116 119 122 124 128 129
a 1 5 10 11 14 16 18 26 27 33 35 39 40 44 45 47 53 56 58 61 67 70 75 77 78 93 96 97 98 103 105 106 112 113 116 119 122 124 128 129
a 1 5 10 11 14 16 18 26 27 33 35 36 39 40 44 45 47 53 56 58 61 67 70 75 77 78 96 97 98 103 105 106 112 113 116 119 122 124 128 129
a 1 5 10 11 14 16 18 26 27 33 35 36 39 40 44 45 47 53 56 58 61 67 70 75 77 78 91 96 97 98 103 105 106 112 113 116 119 122 124 128
a 1 5 10 11 14 16 18 26 27 33 35 36 39 40 44 45 47 53 56 58 61 67 70 75 77 78 91 96 97 98 103 105 106 112 113 116 119 124 128 130
a 1 5 10 11 14 16 18 27 33 35 36 39 40 44 45 47 53 56 58 61 67 70 75 77 78 83 91 96 97 98 103 105 106 112 113 116 119 124 128 130
a 1 5 10 11 14 16 18 22 27 33 35 36 39 40 44 45 47 53 56 58 61 67 70 75 77 78 83 91 96 97 98 103 105 106 112 113 116 119 124 128
a 5 10 11 14 16 18 22 27 33 35 36 39 40 44 45 47 53 56 58 61 67 70 75 77 78 83 85 91 96 97 98 103 105 106 112 113 116 119 124 128
a 5 10 11 14 16 18 22 27 33 35 36 39 40 44 45 47 53 56 58 61 67 70 75 77 78 83 85 91 97 98 103 105 106 112 113 116 119 121 124 128
a 5 10 11 16 18 22 27 33 35 36 39 40 44 45 47 53 56 58 61 67 70 75 77 78 83 85 89 91 97 98 103 105 106 112 113 116 119 121 124 128
a 5 10 11 16 18 22 27 33 35 36 39 40 44 45 47 53 56 58 61 67 70 75 77 78 83 85 89 91 97 98 103 105 106 112 113 116 121 124 128 130
a 5 10 11 16 18 22 27 33 35 36 39 40 44 45 47 53 56 58 61 66 67 70 75 77 78 83 85 89 91 97 98 103 105 106 112 116 121 124 128 130
a 5 10 11 16 19 22 27 33 35 36 39 40 44 45 47 53 56 58 61 66 67 70 75 77 78 83 85 89 91 97 98 103 105 106 112 116 121 124 128 130
a 5 10 11 16 19 22 27 33 35 36 39 40 44 45 47 53 56 58 61 66 67 70 75 77 78 83 85 89 91 97 98 103 105 106 112 113 116 121 128 130
a 5 10 11 16 19 22 27 33 35 36 39 40 44 45 47 56 58 61 66 67 70 75 77 78 83 85 89 91 97 98 103 105 106 112 113 116 119 121 128 130
a 5 10 11 16 19 22 27 33 35 36 39 40 44 45 47 56 58 61 66 70 75 77 78 83 85 89 91 97 98 103 105 106 109 112 113 116 119 121 128 130
a 5 10 11 16 18 19 22 27 33 35 36 39 40 44 45 47 56 58 61 66 70 75 77 78 83 85 89 91 97 98 103 105 106 109 112 113 116 119 121 130
a 5 10 11 16 18 19 22 27 33 35 39 40 44 45 47 56 58 61 66 70 75 77 78 83 85 89 91 93 97 98 103 105 106 109 112 113 116 119 121 130
a 5 10 11 16 18 19 22 27 33 35 40 44 45 47 56 58 61 66 70 75 77 78 83 85 89 91 93 97 98 103 105 106 109 112 113 116 119 121 128 130
a 1 5 10 11 16 18 19 22 27 33 35 40 44 45 47 56 58 61 66 70 75 77 78 83 85 89 91 93 97 98 103 105 106 109 112 113 116 119 121 128
a 1 5 10 11 16 18 19 22 27 34 35 40 44 45 47 56 58 61 66 70 75 77 78 83 85 89 91 93 97 98 103 105 106 109 112 113 116 119 121 128
a 1 5 10 11 16 18 19 22 27 34 35 40 44 47 56 58 61 66 70 75 77 78 83 85 89 91 93 97 98 103 105 106 107 109 112 113 116 119 121 128
a 1 5 10 11 12 16 18 19 22 27 34 35 40 44 47 56 58 61 66 70 75 77 78 83 85 89 91 93 98 103 105 106 107 109 112 113 116 119 121 128
a 1 5 7 10 11 12 16 18 19 22 27 34 35 40 44 47 56 58 61 66 70 75 77 78 83 85 89 91 93 98 103 105 106 107 109 112 113 116 119 121
a 1 5 7 10 11 12 16 18 19 22 27 34 35 40 44 47 56 58 61 66 70 75 77 78 83 85 89 91 93 98 103 105 106 107 109 112 113 116 121 130
a 1 5 7 10 11 12 16 18 19 22 27 34 35 40 44 47 56 58 61 66 70 75 77 78 83 89 91 93 98 103 105 106 107 109 112 113 116 121 127 130
a 1 5 7 10 11 12 16 18 19 22 26 27 34 35 40 44 47 56 58 61 66 70 75 77 78 89 91 93 98 103 105 106 107 109 112 113 116 121 127 130
a 1 5 7 10 11 12 16 18 19 22 26 27 34 35 40 44 47 56 58 61 66 70 75 77 89 91 93 98 103 104 105 106 107 109 112 113 116 121 127 130
a 1 5 7 10 11 12 16 18 19 22 26 27 34 35 40 44 47 56 58 61 66 70 75 77 89 91 93 98 103 104 105 106 107 109 112 113 116 121 128 130
a 1 5 7 10 11 12 16 18 19 22 26 27 34 35 40 44 47 55 56 58 61 66 70 75 77 89 91 93 98 103 104 105 106 107 109 112 113 116 128 130
a 1 5 10 11 12 16 18 19 22 26 27 34 35 40 44 47 53 55 56 58 61 66 70 75 77 89 91 93 98 103 104 105 106 107 109 112 113 116 128 130
a 1 5 10 11 12 16 18 19 22 27 34 35 40 44 47 53 55 56 58 61 66 70 75 77 89 91 93 98 103 104 105 106 107 109 112 113 116 127 128 130
a 1 5 7 10 11 12 16 18 19 22 27 34 35 40 44 47 53 55 58 61 66 70 75 77 89 91 93 98 103 104 105 106 107 109 112 113 116 127 128 130
a 1 5 7 10 11 12 16 18 19 22 27 34 35 40 44 47 53 55 58 61 66 70 75 77 89 93 98 103 104 105 106 107 109 112 113 116 119 127 128 130
a 1 5 7 10 11 12 16 18 19 22 26 27 34 35 40 44 47 53 55 58 61 66 70 75 77 89 93 98 103 104 105 106 107 109 112 113 116 127 128 130
a 1 5 10 11 12 16 18 19 22 26 27 34 35 40 44 47 53 55 58 61 66 70 75 77 89 93 98 103 104 105 106 107 109 112 113 116 119 127 128 130
a 1 5 10 11 12 16 18 19 22 26 27 34 35 40 44 47 53 55 58 61 66 70 75 77 78 89 93 98 103 105 106 107 109 112 113 116 119 127 128 130
a 1 5 10 11 12 16 18 19 22 26 27 34 35 40 44 47 53 55 58 61 66 70 75 77 78 89 93 98 103 105 106 107 109 112 113 116 119 125 127 130
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 40 44 47 53 55 58 61 66 70 75 77 78 89 93 98 103 105 106 107 109 112 113 116 119 125 127
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 40 44 47 53 55 58 61 66 70 75 78 89 93 98 103 105 106 107 109 112 113 116 119 125 127 129
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 40 44 47 53 55 58 61 66 70 75 77 78 89 93 98 103 105 106 107 109 112 113 116 119 125 129
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 40 44 47 53 55 58 61 66 70 75 77 78 89 93 98 105 106 107 109 112 113 116 119 123 125 129
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 44 46 47 53 55 58 61 66 70 75 77 78 89 93 98 105 106 107 109 112 113 116 119 123 125 129
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 44 46 47 53 55 58 61 66 70 75 77 78 89 93 98 105 106 107 109 112 113 116 119 122 123 125
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 44 46 47 53 55 58 61 66 70 75 77 78 89 93 98 105 106 107 109 112 113 116 119 122 123 128
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 44 46 47 53 55 56 58 61 66 70 75 77 78 89 93 98 105 106 107 109 112 113 116 119 123 128
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 44 47 53 55 56 58 61 66 70 75 77 78 89 93 98 105 106 107 109 112 113 116 119 123 128 129
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 44 47 53 55 56 58 61 66 70 75 77 78 82 89 93 98 105 106 107 109 112 113 116 119 123 128
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 44 47 53 55 56 58 61 66 70 75 77 78 82 89 93 98 105 106 107 109 112 113 116 119 123 125
a 1 5 10 11 12 14 16 18 19 22 26 27 34 35 39 44 47 53 55 56 58 61 66 70 75 77 78 82 93 98 105 106 107 109 112 113 116 119 123 125
a 1 5 10 11 12 14 16 18 19 22 26 27 34 35 39 44 47 53 55 56 58 61 66 70 75 77 78 82 93 98 105 106 107 112 113 116 119 123 125 127
a 1 5 10 11 12 14 16 18 19 22 26 27 34 35 39 44 47 53 55 56 58 61 66 67 70 75 77 78 82 93 98 105 106 107 112 113 116 119 123 127
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 44 47 53 55 56 58 61 66 67 70 75 77 78 82 93 98 105 106 107 112 113 116 119 122 123 127
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 44 47 53 56 58 61 66 67 70 75 77 78 82 93 98 105 106 107 112 113 116 119 122 123 127 128
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 44 47 53 56 58 61 66 67 70 75 77 78 82 93 98 105 106 107 112 113 116 119 122 123 127 129
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 44 47 53 55 56 58 61 66 67 70 75 77 78 82 93 98 105 106 107 112 113 116 119 122 123 129
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 44 47 53 55 56 58 61 66 67 70 75 77 78 82 87 93 98 105 106 107 112 113 116 119 122 123
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 44 47 53 55 56 58 61 66 70 75 77 78 82 87 89 93 98 105 106 107 112 113 116 119 122 123
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 44 47 53 55 56 58 61 66 70 75 77 78 82 87 89 93 98 105 106 107 112 113 116 119 122 127
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 44 47 53 55 56 58 61 66 67 70 75 77 78 82 87 89 93 98 105 106 107 112 113 116 119 122
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 44 47 53 55 56 58 61 66 67 70 75 77 78 82 87 89 93 98 105 106 107 112 113 116 119 130
a 1 5 10 11 12 16 18 19 22 26 27 34 35 39 44 47 53 55 56 58 61 66 67 70 75 77 78 82 87 89 93 98 105 106 107 112 113 116 119 127
a 1 5 10 11 12 14 16 18 19 22 26 27 34 35 39 44 47 53 55 56 58 61 66 67 70 75 77 78 82 87 93 98 105 106 107 112 113 116 119 127
a 1 5 10 11 12 14 16 18 19 22 26 27 34 35 39 44 47 53 55 58 61 66 67 70 75 77 78 82 87 93 98 105 106 107 112 113 116 119 127 128
a 1 5 10 11 12 14 16 18 22 26 27 34 35 39 44 47 53 55 58 61 66 67 70 75 77 78 82 87 93 98 105 106 107 112 113 116 119 123 127 128
a 1 5 7 10 11 12 14 16 18 22 26 27 34 35 44 47 53 55 58 61 66 67 70 75 77 78 82 87 93 98 105 106 107 112 113 116 119 123 127 128
a 1 5 7 11 12 14 16 18 19 22 26 27 34 35 44 47 53 55 58 61 66 67 70 75 77 78 82 87 93 98 105 106 107 112 113 116 119 123 127 128
a 1 5 7 11 12 14 16 18 19 22 26 27 34 35 44 47 53 55 58 61 66 70 75 77 78 82 87 93 98 105 106 107 109 112 113 116 119 123 127 128
a 1 5 7 12 14 16 18 19 22 26 27 34 35 44 47 53 55 56 58 61 66 70 75 77 78 82 87 93 98 105 106 107 109 112 113 116 119 123 127 128
a 1 5 7 12 14 16 18 19 22 26 27 34 35 44 47 53 55 56 58 61 66 70 75 77 78 82 87 93 98 105 106 107 109 112 113 116 119 123 125 127
a 1 5 7 12 14 16 18 19 22 26 27 34 35 44 47 53 56 58 61 66 70 75 77 78 82 87 93 96 98 105 106 107 109 112 113 116 119 123 125 127
a 1 5 7 10 12 14 16 18 19 22 26 27 34 35 44 47 53 56 58 61 66 70 75 77 78 82 87 93 96 98 105 106 107 109 112 113 116 119 123 125
a 1 5 7 10 11 12 14 16 18 19 22 26 27 34 35 44 47 53 56 58 61 66 70 75 77 82 87 93 96 98 105 106 107 109 112 113 116 119 123 125
a 1 5 7 10 11 12 14 16 18 19 22 26 27 34 35 44 47 53 56 58 61 66 70 75 77 82 87 93 96 98 105 106 107 109 112 113 116 119 122 125
a 1 5 7 10 11 12 14 16 18 19 22 26 27 34 35 40 44 47 53 56 58 61 66 70 75 77 82 87 93 96 98 105 106 107 109 112 113 116 122 125
a 1 5 7 10 11 12 14 16 18 19 22 26 27 34 35 40 44 47 53 56 58 61 66 70 75 77 82 87 93 96 98 105 106 107 109 112 113 116 122 127
a 1 5 7 10 11 12 14 16 18 19 22 26 27 34 35 40 44 47 53 56 58 61 66 70 75 77 82 87 93 96 98 105 106 107 109 112 113 116 127 129
a 1 5 7 10 11 12 14 16 18 19 22 26 27 34 35 40 44 47 53 56 58 61 66 70 75 77 82 87 93 96 98 105 106 107 109 112 113 122 127 129
a 1 5 7 10 11 12 14 16 18 19 22 26 27 34 35 40 44 47 53 56 58 61 66 70 75 77 78 87 93 96 98 105 106 107 109 112 113 122 127 129
a 1 5 7 10 11 12 14 16 18 19 22 26 27 34 35 40 44 53 56 58 61 66 70 75 77 78 87 93 96 98 105 106 107 109 112 113 122 127 128 129
a 1 5 7 10 11 12 14 16 18 19 26 27 34 35 40 44 53 56 58 61 66 70 75 77 78 87 93 96 98 103 105 106 107 109 112 113 122 127 128 129
a 1 5 7 10 11 12 14 16 18 19 26 27 35 40 44 53 56 58 61 63 66 70 75 77 78 87 93 96 98 103 105 106 107 109 112 113 122 127 128 129
a 1 5 10 11 12 14 16 18 19 26 27 35 39 40 44 53 56 58 61 63 66 70 75 77 78 87 93 96 98 103 105 106 107 109 112 113 122 127 128 129
a 1 5 11 12 14 16 18 19 26 27 35 39 40 44 53 56 58 61 63 66 70 75 77 78 87 93 96 98 103 105 106 107 109 112 113 122 127 128 129 130
a 1 5 6 11 12 14 16 18 19 26 27 35 39 40 44 53 56 58 61 63 66 70 75 77 78 87 93 98 103 105 106 107 109 112 113 122 127 128 129 130
a 1 6 11 12 14 16 18 19 26 27 35 39 40 44 53 55 56 58 61 63 66 70 75 77 78 87 93 98 103 105 106 107 109 112 113 122 127 128 129 130
a 1 6 11 12 14 16 18 19 26 27 39 40 44 53 55 56 58 61 63 65 66 70 75 77 78 87 93 98 103 105 106 107 109 112 113 122 127 128 129 130
a 1 6 11 12 14 16 18 19 26 27 39 40 44 53 55 56 58 61 63 65 66 67 70 75 77 78 87 93 98 103 105 106 107 112 113 122 127 128 129 130
a 1 6 11 12 14 16 18 19 26 27 39 40 44 53 55 56 58 61 63 65 66 67 70 75 77 78 87 98 103 105 106 107 110 112 113 122 127 128 129 130
a 1 6 11 12 14 16 18 19 20 26 27 39 44 53 55 56 58 61 63 65 66 67 70 75 77 78 87 98 103 105 106 107 110 112 113 122 127 128 129 130
a 1 6 11 12 14 16 18 20 26 27 29 39 44 53 55 56 58 61 63 65 66 67 70 75 77 78 87 98 103 105 106 107 110 112 113 122 127 128 129 130
a 1 6 12 14 16 18 20 26 27 29 39 44 53 55 56 57 58 61 63 65 66 67 70 75 77 78 87 98 103 105 106 107 110 112 113 122 127 128 129 130
a 1 6 12 14 16 18 20 26 27 29 39 44 45 53 55 56 57 58 61 63 65 66 67 70 75 77 78 87 98 103 105 106 110 112 113 122 127 128 129 130
a 1 6 12 14 16 18 20 26 27 29 39 44 45 49 53 55 56 57 58 61 63 65 66 67 70 75 77 78 87 103 105 106 110 112 113 122 127 128 129 130
a 1 4 6 12 14 16 18 20 26 27 29 39 44 45 49 53 55 56 57 58 61 63 65 66 67 70 75 77 78 87 103 105 106 110 113 122 127 128 129 130
c Step: 215
#END: [Mon Sep  4 22:10:58 2023]