#BEGIN: [Tue Sep  5 06:30:58 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance008_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance008_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance008_graph002.col /benchmark/random_instance/random_instance008_graph002_01.dat
c /benchmark/random_instance/random_instance008_graph002.col
c /benchmark/random_instance/random_instance008_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID e972d8acbce27b47ed6f7cdd29aea3f9453ce67990cba3138d837b5aeb9d7519
s 87 100 17 44 81 30 7 60 48 12 80 32 15 99 103 94 49 67 38 36 47 2 21 50 61 25 24 9 13 83 70 1 23
t 35 43 101 89 66 88 97 62 77 79 92 11 45 38 87 17 103 71 93 33 2 98 94 20 90 91 41 76 53 7 49 68 61
a YES
a 1 2 7 9 12 13 15 17 21 23 24 25 30 32 36 38 44 47 48 49 50 60 61 67 70 80 81 83 87 94 99 100 103
a 1 2 7 12 13 15 17 21 23 24 25 30 32 36 38 44 47 48 49 50 60 61 67 70 79 80 81 83 87 94 99 100 103
a 1 2 6 7 12 13 15 17 21 23 24 25 30 32 36 38 44 47 48 49 50 60 61 67 70 79 80 81 87 94 99 100 103
a 1 2 6 7 12 13 17 21 23 24 25 30 32 36 38 44 47 48 49 50 60 61 67 70 79 80 81 87 88 94 99 100 103
a 1 2 6 7 12 13 17 21 23 24 25 27 30 36 38 44 47 48 49 50 60 61 67 70 79 80 81 87 88 94 99 100 103
a 1 2 6 7 12 13 15 17 21 23 24 25 27 30 36 38 44 47 48 49 50 60 61 67 70 79 80 81 87 94 99 100 103
a 1 2 6 7 12 13 15 17 21 23 24 25 27 30 34 36 38 44 47 48 49 50 60 61 67 70 79 80 81 94 99 100 103
a 1 2 6 7 12 13 15 17 21 23 24 25 27 30 34 36 38 39 44 47 48 49 50 60 61 67 70 79 80 94 99 100 103
a 1 2 6 7 12 13 15 17 21 23 24 25 30 32 34 36 38 39 44 47 48 49 50 60 61 67 70 79 80 94 99 100 103
a 1 2 6 7 12 13 15 17 21 23 24 25 30 32 34 36 37 38 39 44 47 48 49 50 60 61 67 70 79 94 99 100 103
a 1 2 6 7 12 13 17 21 23 24 25 30 32 34 36 37 38 39 44 47 48 49 50 60 61 67 70 79 94 98 99 100 103
a 1 2 6 7 12 13 17 21 23 24 25 30 32 34 36 37 38 39 44 46 47 48 49 50 60 67 70 79 94 98 99 100 103
a 1 2 6 7 12 13 15 17 21 23 24 25 30 32 34 36 37 38 39 44 46 47 48 49 50 60 67 70 79 94 98 99 100
a 1 2 6 7 12 13 15 17 21 23 24 25 30 32 34 36 37 38 39 44 46 48 49 50 58 60 67 70 79 94 98 99 100
a 1 2 6 7 12 13 15 17 21 23 24 25 30 32 34 36 37 38 39 44 48 49 50 58 60 61 67 70 79 94 98 99 100
a 1 2 6 7 9 12 13 15 17 21 23 24 25 30 32 34 36 37 38 39 44 48 49 50 58 60 61 67 70 94 98 99 100
a 1 2 6 7 9 12 13 15 17 21 23 24 25 30 32 34 36 37 38 39 44 48 49 50 58 60 67 70 94 98 99 100 103
a 1 2 6 7 9 12 13 15 17 21 23 24 25 30 32 34 36 37 38 44 48 49 50 58 60 61 67 70 94 98 99 100 103
a 1 2 6 7 9 12 13 15 17 21 23 24 25 30 32 34 36 37 38 39 44 48 49 50 58 60 61 70 94 98 99 100 103
a 1 2 6 7 9 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 48 49 50 58 60 61 70 87 94 98 99 100 103
a 1 2 6 7 9 12 13 17 21 23 24 25 30 32 36 37 38 39 44 48 49 50 58 60 61 67 70 87 94 98 99 100 103
a 1 2 6 7 9 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 48 49 50 58 60 61 67 70 87 94 98 99 100
a 1 2 6 7 9 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 48 49 50 58 60 61 67 70 87 94 99 100 103
a 1 2 6 7 9 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 48 49 50 58 60 63 67 70 87 94 99 100 103
a 1 2 6 7 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 48 49 50 58 60 63 67 70 79 87 94 99 100 103
a 1 2 6 7 13 15 17 21 23 24 25 30 32 36 37 38 39 44 48 49 50 58 60 63 67 70 79 84 87 94 99 100 103
a 1 2 6 7 13 15 17 21 23 24 25 30 32 36 37 38 39 44 46 48 49 50 58 60 63 67 70 79 84 94 99 100 103
a 1 2 6 7 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 46 48 49 50 58 60 63 67 70 79 94 99 100 103
a 1 2 6 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 46 48 49 50 58 60 63 67 70 79 94 99 100 102 103
a 2 6 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 46 48 49 50 58 60 63 67 70 79 87 94 99 100 102 103
a 1 2 6 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 46 48 49 50 58 60 63 67 70 79 87 94 99 100 102
a 1 2 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 46 48 49 50 58 60 63 67 70 79 87 94 98 99 100 102
a 1 6 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 46 48 49 50 58 60 63 67 70 79 87 94 98 99 100 102
a 1 2 6 13 15 17 21 23 24 25 30 32 36 37 38 39 44 46 48 49 50 58 60 63 67 70 79 87 94 98 99 100 102
a 1 2 6 13 15 17 21 23 24 25 30 32 36 37 38 39 44 46 48 49 50 58 60 63 67 79 87 94 98 99 100 102 103
a 1 2 6 13 15 17 21 23 24 25 30 32 36 37 38 39 44 48 49 50 58 60 61 63 67 79 87 94 98 99 100 102 103
a 1 2 6 13 15 17 21 23 24 25 30 32 36 37 38 39 44 47 48 49 50 60 61 63 67 79 87 94 98 99 100 102 103
a 1 2 6 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 47 48 49 50 60 61 63 67 79 94 98 99 100 102 103
a 1 2 6 12 13 15 17 21 23 24 30 32 36 37 38 39 44 47 48 49 50 60 61 63 67 79 87 94 98 99 100 102 103
a 1 2 6 7 12 13 15 17 21 23 24 30 32 36 37 38 39 44 47 48 49 50 60 61 63 67 79 87 94 98 99 100 103
a 2 6 7 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 47 48 49 50 60 61 63 67 79 87 94 98 99 100 103
a 2 6 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 47 48 49 50 60 61 63 67 79 87 94 98 99 100 102 103
a 2 6 10 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 47 48 49 50 60 61 63 67 79 87 94 98 100 102 103
a 2 6 7 10 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 47 48 49 50 60 61 63 67 79 87 94 98 100 103
a 2 6 7 10 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 79 87 94 98 100 103
a 1 2 6 7 10 12 13 15 17 21 23 24 25 30 32 36 37 38 44 46 47 48 49 50 60 63 67 79 87 94 98 100 103
a 1 2 6 7 10 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 79 87 94 98 100
a 1 2 6 10 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 79 87 94 98 100 103
a 1 2 6 10 12 13 15 17 21 24 25 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 2 6 7 10 12 13 15 17 21 25 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 2 6 7 10 12 13 15 17 21 24 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 2 6 7 10 12 13 15 17 21 23 24 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 103
a 1 2 6 10 12 13 15 17 21 23 24 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 2 6 7 10 12 13 15 17 21 23 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 2 6 7 10 12 13 17 21 23 24 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 2 6 7 10 13 15 17 21 23 24 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 2 6 7 10 12 13 15 17 23 24 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 2 7 10 12 13 15 17 23 24 25 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 2 7 10 12 15 16 17 23 24 25 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 2 7 10 12 15 16 17 21 23 24 25 30 32 36 37 38 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 2 6 7 10 12 15 16 17 21 23 24 25 30 32 36 37 38 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 6 7 10 12 15 16 17 21 23 24 25 30 32 36 37 38 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 6 7 10 12 15 16 17 21 24 25 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 6 7 10 12 15 16 17 21 23 25 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 6 7 10 12 15 16 17 21 23 24 25 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 103
a 1 6 7 10 12 15 16 17 21 23 24 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 6 7 10 12 15 16 17 21 23 24 25 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100
a 1 6 7 10 12 15 16 17 21 23 24 25 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 6 7 10 12 15 16 17 21 23 24 25 30 32 36 37 38 39 44 46 47 49 50 60 63 67 70 79 87 94 98 100 103
a 1 6 7 10 12 15 16 17 21 23 24 25 30 32 36 37 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 6 7 10 15 16 17 21 23 24 25 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 100 103
a 1 6 7 15 16 17 21 23 24 25 30 32 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 87 94 98 99 100 103
a 1 6 7 15 16 17 21 23 24 25 30 32 34 36 37 38 39 44 46 47 48 49 50 60 63 67 70 79 94 98 99 100 103
a 1 6 7 12 15 16 17 21 23 24 25 30 32 34 36 37 38 39 46 47 48 49 50 60 63 67 70 79 94 98 99 100 103
a 1 6 7 10 12 15 16 17 21 23 24 25 30 32 34 36 37 38 39 46 47 48 49 50 60 63 67 70 79 94 98 100 103
a 1 6 7 10 12 15 16 17 21 23 24 25 30 32 34 36 37 38 39 46 48 49 50 60 63 67 70 79 82 94 98 100 103
a 1 6 7 10 12 15 16 17 21 23 24 25 30 32 34 36 37 38 39 44 46 48 49 50 60 63 67 70 79 82 98 100 103
a 1 6 7 10 12 15 16 17 23 24 25 30 32 34 36 37 38 39 44 46 48 49 50 58 60 63 67 70 79 82 98 100 103
a 1 6 7 10 12 15 16 17 23 24 25 32 34 36 37 38 39 44 46 48 49 50 58 60 63 67 70 79 82 94 98 100 103
a 1 6 7 10 12 15 16 17 23 24 25 30 32 34 36 37 39 44 46 48 49 50 58 60 63 67 70 79 82 94 98 100 103
a 1 6 7 10 12 15 16 17 21 23 24 25 30 32 34 36 37 39 44 46 48 49 50 58 60 63 67 70 79 82 94 98 100
a 1 6 7 10 12 15 16 17 21 23 24 25 30 32 36 37 39 44 46 48 49 50 58 60 63 67 70 79 82 87 94 98 100
a 1 7 10 12 15 16 17 21 23 24 25 30 32 36 37 39 44 46 48 49 50 58 60 63 67 70 79 82 87 94 98 100 103
a 1 6 7 10 12 15 16 17 21 23 24 25 30 32 36 37 39 44 46 48 49 50 58 60 63 67 70 79 82 94 98 100 103
a 1 6 7 10 12 13 15 17 21 23 24 25 30 32 36 37 39 44 46 48 49 50 58 60 63 67 70 79 82 94 98 100 103
a 1 6 7 10 12 15 17 21 23 24 25 30 32 36 37 38 39 44 46 48 49 50 58 60 63 67 70 79 82 94 98 100 103
a 1 7 10 12 15 17 21 23 24 25 30 32 36 37 38 39 44 46 48 49 50 58 60 63 67 70 79 82 83 94 98 100 103
a 1 7 10 12 13 15 17 21 23 24 25 30 32 36 37 38 39 44 46 48 49 50 58 60 63 67 70 79 82 83 94 100 103
a 1 7 10 12 13 15 17 21 23 24 25 30 32 34 36 37 38 39 44 46 48 49 50 58 60 63 67 70 79 82 83 94 100
a 1 7 10 12 13 15 17 21 23 24 25 32 34 36 37 38 39 44 46 48 49 50 58 60 63 67 70 79 82 83 94 100 103
a 1 7 8 10 12 13 15 17 21 23 24 25 32 34 37 38 39 44 46 48 49 50 58 60 63 67 70 79 82 83 94 100 103
a 1 7 8 10 12 13 15 17 21 23 24 25 32 37 38 39 44 46 48 49 50 58 60 63 67 70 79 82 83 87 94 100 103
a 1 7 8 10 12 13 15 17 21 23 24 25 32 37 38 39 44 48 49 50 58 60 61 63 67 70 79 82 83 87 94 100 103
a 1 7 8 10 12 13 15 17 21 23 24 25 32 34 37 38 39 44 48 49 50 58 60 61 63 67 70 79 82 83 94 100 103
a 1 7 8 10 12 13 15 17 21 23 24 25 30 32 34 37 39 44 48 49 50 58 60 61 63 67 70 79 82 83 94 100 103
a 1 8 10 12 13 15 17 21 23 24 25 30 32 34 37 39 44 48 49 50 58 60 61 63 67 70 79 82 83 94 100 102 103
a 1 8 10 12 13 15 17 21 23 24 25 30 32 34 36 37 39 44 48 49 50 58 60 61 63 67 70 79 82 83 94 100 102
a 1 8 10 12 13 15 17 21 23 24 25 30 32 34 36 37 39 44 46 48 49 50 58 60 63 67 70 79 82 83 94 100 102
a 1 8 10 12 13 15 17 21 23 24 25 30 32 34 36 37 39 44 46 48 49 50 58 60 63 67 70 75 79 82 83 94 102
a 1 8 10 12 13 15 17 21 23 24 25 30 34 36 37 39 44 46 48 49 50 58 60 63 67 70 75 76 79 82 83 94 102
a 1 8 10 12 13 15 17 21 23 24 25 30 36 37 39 44 46 48 49 50 58 60 63 67 70 75 76 79 82 83 87 94 102
a 1 6 8 10 12 13 15 17 21 23 24 25 30 36 37 39 44 46 48 49 50 58 60 63 67 70 75 76 79 82 87 94 102
a 1 6 8 10 12 13 15 17 21 23 24 25 27 30 36 37 39 44 46 48 49 50 58 60 67 70 75 76 79 82 87 94 102
a 1 6 8 10 12 13 15 17 21 23 24 25 27 30 36 37 39 44 46 48 49 50 58 60 67 70 76 79 82 87 94 100 102
a 1 6 8 10 12 13 15 17 21 23 24 25 27 30 36 37 39 44 46 48 49 50 58 60 67 76 79 82 87 94 100 102 103
a 6 8 10 12 13 15 17 21 23 24 25 27 30 36 37 38 39 44 46 48 49 50 58 60 67 76 79 82 87 94 100 102 103
a 6 8 10 12 13 15 17 21 23 24 25 27 30 36 38 39 44 46 48 49 50 58 60 67 76 79 80 82 87 94 100 102 103
a 6 8 10 12 13 15 17 21 23 24 25 27 30 36 38 44 46 48 49 50 58 60 67 70 76 79 80 82 87 94 100 102 103
a 1 6 8 10 12 13 15 17 21 23 24 25 27 30 36 44 46 48 49 50 58 60 67 70 76 79 80 82 87 94 100 102 103
a 1 6 7 8 10 12 13 15 17 21 23 24 25 27 30 36 44 46 48 49 50 58 60 67 70 76 79 80 82 87 94 100 103
a 1 6 7 8 10 12 13 15 17 21 23 25 27 30 36 44 46 48 49 50 58 60 67 70 76 79 80 81 82 87 94 100 103
a 1 6 7 10 12 13 15 17 21 23 24 25 27 30 36 44 46 48 49 50 58 60 67 70 76 79 80 81 82 87 94 100 103
a 1 6 10 12 13 15 17 21 23 24 25 27 30 36 38 44 46 48 49 50 58 60 67 70 76 79 80 81 82 87 94 100 103
a 1 6 10 12 13 15 17 21 23 24 25 27 30 36 38 46 48 49 50 58 60 67 70 76 77 79 80 81 82 87 94 100 103
a 1 8 10 12 13 15 17 21 23 24 25 27 30 36 38 46 48 49 50 58 60 67 70 76 77 79 80 81 82 87 94 100 103
a 1 8 10 12 13 15 17 21 23 24 25 27 30 36 38 46 48 49 50 52 58 60 67 70 76 77 79 80 81 82 87 94 100
a 1 8 10 12 13 15 17 21 23 24 25 27 30 36 38 46 48 49 50 52 58 60 67 70 76 77 79 80 82 83 87 94 100
a 1 8 10 12 13 15 17 21 23 24 25 27 30 36 38 46 48 49 50 52 58 60 67 70 76 77 79 80 83 87 94 100 103
a 1 8 10 12 13 15 17 21 23 24 25 27 30 36 38 46 48 49 50 52 58 60 67 70 76 77 79 80 83 87 94 100 102
a 1 8 10 12 13 15 17 21 23 24 25 27 30 36 38 46 48 49 50 58 60 67 70 76 77 79 80 82 83 87 94 100 102
a 1 8 10 12 13 15 17 21 23 24 25 27 30 36 38 46 48 49 58 60 67 70 76 77 79 80 82 83 87 90 94 100 102
a 1 8 10 12 13 15 17 21 23 24 25 27 30 36 38 46 48 49 58 60 67 70 76 77 79 80 82 83 87 90 94 100 103
a 1 8 10 12 13 15 17 21 23 24 25 27 30 36 37 38 46 48 49 58 60 67 70 76 77 79 82 83 87 90 94 100 103
a 1 8 10 12 15 17 21 23 24 25 27 30 36 37 38 46 48 49 52 58 60 67 70 76 77 79 82 83 87 90 94 100 103
a 1 8 10 12 15 17 21 23 24 25 27 30 36 38 46 48 49 52 58 60 67 70 76 77 79 80 82 83 87 90 94 100 103
a 1 8 10 12 15 17 21 23 24 25 27 30 36 38 46 48 49 52 58 60 67 70 76 77 79 80 81 82 83 87 90 100 103
a 1 8 10 12 15 17 21 23 24 25 27 30 36 38 46 48 49 50 52 58 60 67 70 76 77 79 80 81 82 83 87 100 103
a 1 8 10 12 13 15 17 21 23 24 25 27 30 36 38 46 48 49 50 52 58 60 67 70 76 77 79 80 81 82 83 87 100
a 1 8 10 12 13 15 17 21 23 24 25 27 30 36 38 46 48 49 52 58 60 67 70 76 77 79 80 81 82 83 87 90 100
a 1 8 10 12 13 15 17 21 23 24 25 27 30 36 38 46 48 49 52 58 60 67 70 76 77 79 81 82 83 87 90 94 100
a 1 8 10 12 13 15 17 21 23 24 25 27 30 36 38 46 48 49 52 58 60 67 70 76 77 79 80 81 82 83 90 94 100
a 1 8 10 12 13 15 17 21 23 24 25 27 30 36 38 48 49 52 58 60 61 67 70 76 77 79 80 81 82 83 90 94 100
a 1 8 10 12 13 15 17 21 23 24 25 27 30 38 48 49 52 58 60 61 67 70 76 77 79 80 81 82 83 90 94 100 103
a 1 8 10 12 13 15 17 21 23 24 25 27 30 38 48 49 52 58 60 61 67 70 76 77 79 80 81 82 83 90 100 102 103
a 1 8 10 12 13 15 17 21 23 24 25 27 30 38 48 49 52 58 60 61 67 70 75 76 77 79 80 81 82 83 90 102 103
a 1 6 8 10 12 13 15 17 21 23 24 25 27 30 38 48 49 52 58 60 61 67 70 75 76 77 79 80 81 82 90 102 103
a 1 6 8 10 12 13 15 17 21 23 24 25 27 30 34 38 48 49 52 58 60 61 67 70 75 76 77 79 80 81 82 90 102
a 1 6 8 10 12 13 15 17 21 23 24 25 27 30 34 38 48 49 52 58 60 61 67 70 75 76 77 79 80 81 82 90 103
a 1 6 8 10 12 13 15 17 21 23 24 25 27 30 38 48 49 52 58 60 61 67 70 75 76 77 79 80 81 82 87 90 103
a 1 6 8 10 12 13 15 17 21 23 24 25 27 30 35 38 48 49 52 58 60 61 67 70 75 76 77 79 80 81 82 87 90
a 1 6 8 10 12 13 15 17 21 23 24 25 27 30 35 38 48 49 52 58 60 61 67 70 75 76 77 79 80 81 82 87 103
a 1 6 8 10 12 13 15 17 21 23 24 25 27 30 35 38 48 49 52 58 60 61 67 70 76 77 79 80 81 82 87 94 103
a 1 6 8 10 12 13 15 17 21 23 24 25 27 30 35 48 49 52 58 60 61 67 70 76 77 79 80 81 82 87 94 100 103
a 1 6 8 10 12 13 15 17 21 23 24 25 27 30 35 48 49 52 58 60 61 67 70 76 77 79 80 81 82 87 94 102 103
a 1 6 8 10 12 13 15 17 21 23 24 25 27 30 35 37 48 49 52 58 60 61 67 70 76 77 79 81 82 87 94 102 103
a 1 6 8 10 12 13 15 17 21 23 24 25 27 28 30 35 37 48 49 52 58 60 61 67 70 76 77 79 81 82 87 94 102
a 1 6 8 10 12 13 15 17 21 23 24 25 27 28 30 35 37 48 49 58 60 61 67 70 76 77 79 81 82 87 94 102 103
a 1 6 8 10 12 13 15 17 21 23 24 25 27 28 30 33 35 37 48 49 58 60 61 67 70 76 77 79 81 82 87 94 102
a 1 6 8 10 12 13 15 17 19 21 23 24 27 28 30 33 35 37 48 49 58 60 61 67 70 76 77 79 81 82 87 94 102
a 1 6 8 10 12 13 17 19 21 23 24 27 28 30 33 35 37 41 48 49 58 60 61 67 70 76 77 79 81 82 87 94 102
a 1 6 8 10 12 13 17 18 19 21 23 24 27 28 30 33 35 37 41 48 49 58 60 61 67 70 76 77 79 81 82 87 102
a 1 6 8 10 12 13 15 17 18 19 21 23 24 27 28 30 33 35 37 48 49 58 60 61 67 70 76 77 79 81 82 87 102
a 1 6 8 10 12 13 15 17 18 19 21 23 24 27 28 30 33 34 35 37 48 49 58 60 61 67 70 76 77 79 81 82 102
a 1 6 8 10 12 13 15 18 19 21 23 24 27 28 30 33 34 35 37 48 49 58 60 61 67 70 76 77 79 81 82 102 103
a 1 6 8 10 12 13 15 17 18 21 23 24 27 28 30 33 34 35 37 48 49 58 60 61 67 70 76 77 79 81 82 102 103
a 1 6 8 10 12 13 15 17 18 21 23 24 27 28 30 33 34 35 37 48 49 52 58 60 61 67 70 76 77 79 81 82 102
a 1 6 8 10 12 13 15 17 18 21 24 27 28 30 33 34 35 37 48 49 52 58 60 61 67 70 76 77 79 81 82 102 104
a 1 6 8 10 12 13 15 17 18 21 24 27 28 30 33 34 35 37 48 49 52 58 61 67 70 76 77 79 81 82 90 102 104
a 1 6 8 10 12 13 15 17 18 21 24 27 28 30 33 34 35 37 48 49 52 58 61 67 70 76 77 79 81 82 90 102 103
a 1 6 8 10 12 13 15 17 18 21 24 27 28 30 33 34 35 37 48 49 52 58 61 67 70 76 77 79 81 82 102 103 104
a 1 6 8 10 12 15 17 18 20 21 24 27 28 30 33 34 35 37 48 49 52 58 61 67 70 76 77 79 81 82 102 103 104
a 1 6 8 10 12 15 17 18 20 21 24 27 28 30 33 34 35 37 48 49 52 58 61 67 70 76 77 79 81 82 90 103 104
a 6 8 10 12 15 17 18 20 21 24 27 28 30 33 34 35 37 48 49 52 58 60 61 67 70 76 77 79 81 82 90 103 104
a 6 8 10 12 17 18 20 21 24 27 28 30 33 34 35 37 48 49 52 54 58 60 61 67 70 76 77 79 81 82 90 103 104
a 1 6 8 10 12 17 18 20 21 24 27 28 30 33 34 35 37 48 49 52 54 58 60 61 67 70 76 77 79 81 82 90 103
a 1 6 8 10 12 17 18 20 21 24 25 27 28 30 33 34 35 37 48 49 52 54 58 60 61 67 70 76 77 79 81 82 90
a 1 6 8 10 12 13 17 18 21 24 25 27 28 30 33 34 35 37 48 49 52 54 58 60 61 67 70 76 77 79 81 82 90
a 1 6 8 10 12 13 17 18 21 24 25 27 28 30 34 35 37 48 49 52 54 58 60 61 67 70 76 77 79 81 82 90 102
a 1 6 8 10 12 13 17 18 21 24 25 27 28 30 34 35 37 48 49 52 54 58 60 61 67 70 76 77 79 81 82 102 103
a 1 6 8 10 12 13 17 18 21 24 25 27 28 30 34 35 37 48 49 52 54 58 60 61 67 70 76 77 79 81 82 100 102
a 1 6 8 10 12 13 17 21 24 25 27 28 30 34 35 37 48 49 52 54 58 60 61 67 70 76 77 79 81 82 94 100 102
a 1 6 8 10 12 13 17 21 24 25 27 28 30 34 35 37 48 49 52 54 58 60 61 67 70 76 77 79 81 82 100 102 104
a 1 6 8 10 12 13 17 21 24 25 27 28 30 34 35 37 46 48 49 52 54 58 60 67 70 76 77 79 81 82 100 102 104
a 1 6 8 10 12 13 17 21 23 24 25 27 28 30 34 35 37 46 48 49 52 54 58 60 67 70 76 77 79 81 82 100 102
a 6 8 10 12 13 17 21 23 24 25 27 28 30 33 34 35 37 46 48 49 52 54 58 60 67 70 76 77 79 81 82 100 102
a 1 6 8 10 12 13 17 21 23 24 25 27 28 30 33 34 35 37 46 48 49 52 54 58 60 67 70 76 77 79 81 82 100
a 1 6 8 10 12 13 17 21 23 24 25 27 28 30 33 34 35 37 46 48 52 54 58 59 60 67 70 76 77 79 81 82 100
a 1 6 8 10 12 13 17 21 23 24 25 27 28 30 33 34 35 37 46 48 52 54 58 59 60 67 70 76 77 79 81 82 96
a 1 6 8 10 12 13 17 21 23 24 25 27 28 30 33 34 35 37 48 52 54 58 59 60 61 67 70 76 77 79 81 82 96
a 1 6 8 10 12 13 15 17 21 23 24 25 27 28 30 33 34 35 37 48 52 58 59 60 61 67 70 76 77 79 81 82 96
a 1 6 10 12 13 15 17 21 23 24 25 27 28 30 33 34 35 37 48 52 58 59 60 61 67 70 76 77 79 81 82 90 96
a 1 6 8 10 12 13 15 17 21 23 24 25 27 28 30 33 34 35 37 48 52 58 59 60 61 67 70 76 77 79 81 82 90
a 1 6 8 10 12 13 15 17 21 23 24 25 27 28 30 33 34 35 37 48 52 58 59 60 61 67 70 75 76 77 79 81 90
a 1 6 8 10 12 13 15 17 21 23 24 25 27 28 30 33 34 35 37 48 52 58 59 60 61 67 70 75 76 77 79 82 90
a 1 6 8 10 12 13 15 17 21 23 24 25 27 28 30 33 34 35 37 48 52 58 59 60 61 67 70 75 76 77 79 82 94
a 1 6 8 10 12 13 15 17 21 23 24 25 27 28 30 33 34 35 48 52 58 59 60 61 67 70 75 76 77 79 80 82 94
a 1 6 8 10 12 15 17 21 23 24 25 27 28 30 33 34 35 48 52 58 59 60 61 67 70 75 76 77 79 80 82 93 94
a 1 6 8 10 12 15 17 21 23 24 25 27 28 30 33 34 35 48 52 58 59 60 61 67 70 75 76 77 79 80 81 82 93
a 1 6 8 10 12 15 17 21 23 24 25 27 28 30 33 35 48 52 58 59 60 61 67 70 75 76 77 79 80 81 82 90 93
a 1 6 8 10 12 15 17 21 23 24 25 27 28 30 33 35 48 52 58 59 60 61 67 70 76 77 79 80 81 82 90 93 100
a 1 6 8 10 12 15 17 21 23 25 27 28 30 33 35 48 52 58 59 60 61 67 70 76 77 79 80 81 82 90 92 93 100
a 1 6 8 10 12 15 17 21 23 25 27 30 33 34 35 48 52 58 59 60 61 67 70 76 77 79 80 81 82 90 92 93 100
a 1 6 8 10 12 15 17 21 23 25 27 30 33 34 35 48 52 58 59 60 61 67 76 77 79 80 81 82 90 92 93 100 102
a 1 6 8 10 12 17 21 23 25 27 30 33 34 35 41 48 52 58 59 60 61 67 76 77 79 80 81 82 90 92 93 100 102
a 1 6 8 10 12 17 21 23 25 27 30 33 34 35 41 48 52 58 59 60 61 67 76 77 79 80 81 82 90 92 93 94 102
a 1 6 8 10 12 17 21 23 25 27 30 33 34 35 41 48 52 58 59 60 61 67 76 77 79 80 81 82 90 92 93 94 100
a 1 6 8 10 12 17 21 23 25 27 28 30 33 34 35 41 48 52 58 59 60 61 67 76 77 79 80 81 82 90 92 93 94
a 1 6 8 10 12 17 21 23 25 27 28 30 31 33 34 35 41 48 52 58 59 60 61 67 76 77 79 80 81 82 92 93 94
a 1 6 8 10 12 17 21 23 25 27 28 30 33 34 35 41 48 52 58 59 60 61 67 75 76 77 79 80 81 82 92 93 94
a 1 6 8 10 12 17 21 25 27 28 30 33 34 35 41 48 52 58 59 60 61 67 75 76 77 79 80 81 82 92 93 94 96
a 1 6 8 10 12 17 21 25 27 28 30 33 34 35 41 48 52 58 59 60 61 67 76 77 79 80 81 82 92 93 94 96 100
a 1 6 8 10 12 17 21 25 27 30 33 34 35 41 48 52 58 59 60 61 67 70 76 77 79 80 81 82 92 93 94 96 100
a 1 6 8 10 12 17 21 25 27 30 31 33 34 35 41 48 52 58 59 60 61 67 70 76 77 79 80 81 82 92 93 94 96
a 1 6 8 10 12 17 21 23 25 27 30 31 33 34 41 48 52 58 59 60 61 67 70 76 77 79 80 81 82 92 93 94 96
a 1 6 8 10 12 17 21 23 25 27 30 31 33 34 41 48 52 54 58 59 60 61 67 70 76 77 79 80 81 82 92 93 94
a 1 5 6 8 10 12 17 21 23 25 27 30 31 33 34 41 48 52 54 58 59 60 61 67 70 76 77 79 80 81 82 92 93
a 1 5 6 8 10 12 17 21 23 25 27 30 31 33 41 48 52 54 58 59 60 61 67 70 76 77 79 80 81 82 92 93 96
a 1 5 6 8 10 12 17 21 25 27 30 31 33 41 48 52 54 58 59 60 61 67 70 76 77 79 80 81 82 92 93 96 104
a 1 5 6 8 10 12 17 18 21 25 27 30 31 33 41 48 52 54 58 59 60 61 67 70 76 77 79 80 81 82 92 93 104
a 5 6 8 10 12 17 18 21 25 27 30 31 33 34 41 48 52 54 58 59 60 61 67 70 76 77 79 80 81 82 92 93 104
a 6 8 10 12 17 18 21 25 27 30 31 33 34 41 48 52 54 58 59 60 61 67 70 76 77 79 80 81 82 92 93 102 104
a 6 8 10 12 17 18 21 25 27 28 30 31 34 41 48 52 54 58 59 60 61 67 70 76 77 79 80 81 82 92 93 102 104
a 6 8 10 12 17 18 21 25 27 28 30 31 34 41 48 52 54 58 60 61 67 70 76 77 79 80 81 82 92 93 102 103 104
a 6 8 10 12 17 18 21 25 27 28 30 31 33 34 41 48 52 54 58 60 61 67 70 76 77 79 80 81 82 92 93 102 104
a 6 8 10 12 17 18 21 25 27 28 30 31 33 34 41 48 52 53 54 58 60 61 67 70 76 77 79 81 82 92 93 102 104
a 1 6 8 10 12 17 18 21 25 27 28 30 31 33 34 41 48 52 53 54 58 60 61 67 70 76 77 79 81 82 92 93 104
a 1 6 8 10 12 17 18 21 25 27 28 30 31 33 34 41 48 52 54 58 60 61 67 70 76 77 79 80 81 82 92 93 104
a 1 6 8 10 12 17 18 21 25 27 28 30 31 33 34 41 48 52 54 58 60 61 67 70 76 77 79 80 81 92 93 103 104
a 1 6 8 10 12 17 18 21 25 27 28 30 31 33 34 41 48 52 53 54 58 60 61 67 70 76 77 79 81 92 93 103 104
a 1 6 8 10 12 17 18 21 25 27 28 30 31 33 34 41 48 52 53 54 58 60 61 67 70 76 77 79 81 92 93 102 103
a 1 6 8 12 17 18 21 25 27 28 30 31 33 34 41 48 52 53 54 58 60 61 67 70 76 77 79 81 92 93 102 103 104
a 1 6 12 17 18 21 25 27 28 30 31 33 34 41 48 52 53 54 58 60 61 67 70 76 77 79 81 88 92 93 102 103 104
a 1 6 12 17 18 21 25 27 30 31 33 34 36 41 48 52 53 54 58 60 61 67 70 76 77 79 81 88 92 93 102 103 104
a 1 6 12 17 18 21 25 27 30 31 33 34 36 41 48 49 52 53 54 58 60 61 67 70 76 77 79 81 88 92 93 102 104
a 1 6 12 17 18 21 25 27 30 31 33 34 36 41 48 49 52 53 54 58 60 61 67 70 76 77 79 81 82 88 93 102 104
a 1 6 12 17 18 21 23 25 27 30 31 33 34 36 41 48 49 52 53 54 58 60 61 67 70 76 77 79 81 82 88 93 102
a 1 6 12 17 18 21 23 25 27 30 31 33 34 36 41 48 49 52 54 58 60 61 67 70 76 77 79 80 81 82 88 93 102
a 1 6 12 17 18 21 23 24 25 27 30 33 34 36 41 48 49 52 54 58 60 61 67 70 76 77 79 80 81 82 88 93 102
a 1 6 12 17 21 23 24 25 27 30 33 34 36 41 48 49 52 54 58 60 61 67 70 76 77 79 80 81 82 88 93 102 103
a 1 6 12 17 21 23 24 25 27 30 33 34 36 41 48 49 52 54 58 60 61 67 70 76 77 79 80 81 82 88 93 100 102
a 1 6 12 17 21 23 24 25 27 30 33 34 36 41 48 49 52 54 58 60 61 67 70 76 77 79 80 81 82 88 93 94 100
a 1 6 12 17 21 23 24 25 27 30 33 34 36 41 48 49 52 54 58 60 61 67 70 76 77 79 80 81 82 88 90 93 94
a 1 6 12 17 21 23 24 25 27 30 33 34 36 41 48 49 52 54 58 60 61 67 70 76 79 80 81 82 88 90 93 94 103
a 1 6 12 17 21 23 24 25 27 28 30 33 34 41 48 49 52 54 58 60 61 67 70 76 79 80 81 82 88 90 93 94 103
a 1 6 12 17 21 23 24 25 27 28 30 33 34 41 48 49 52 54 58 60 61 70 76 77 79 80 81 82 88 90 93 94 103
a 1 6 12 17 21 23 24 25 27 28 30 33 41 48 49 52 54 58 60 61 70 76 77 79 80 81 82 88 90 93 94 102 103
a 1 6 12 17 18 21 23 24 25 27 28 30 33 41 48 49 52 54 58 60 61 70 76 77 79 80 81 82 88 90 93 102 103
a 1 6 12 17 18 21 23 24 25 27 28 30 33 41 48 49 52 54 58 60 61 70 72 76 77 79 80 81 82 88 90 102 103
a 1 6 12 17 21 23 24 25 27 28 30 33 34 41 48 49 52 54 58 60 61 70 72 76 77 79 80 81 82 88 90 102 103
a 1 6 12 21 23 24 25 27 28 30 33 34 41 48 49 52 54 58 60 61 70 72 76 77 79 80 81 82 88 90 94 102 103
a 1 6 12 13 21 23 24 25 27 28 30 33 34 41 48 49 52 54 58 60 61 70 72 76 77 79 80 81 82 88 90 94 103
a 1 6 12 13 21 23 24 25 27 28 30 33 34 41 46 48 49 52 54 58 60 70 72 76 77 79 80 81 82 88 90 94 103
a 6 12 13 21 23 24 25 27 28 30 33 34 41 46 48 49 52 54 58 60 70 72 76 77 79 80 81 82 88 90 94 102 103
a 6 8 12 13 21 23 24 25 27 28 30 33 34 41 46 48 49 52 54 58 60 70 72 76 77 79 80 81 82 90 94 102 103
a 1 6 12 13 21 23 24 25 27 28 30 33 34 41 46 48 49 52 54 58 60 70 72 76 77 79 80 81 82 90 94 102 103
a 1 6 12 13 21 23 24 25 27 30 33 34 36 41 46 48 49 52 54 58 60 70 72 76 77 79 80 81 82 90 94 102 103
a 1 6 12 13 17 21 23 24 25 27 30 33 34 36 41 46 48 49 52 54 58 60 70 72 76 77 79 80 81 82 90 94 102
a 1 12 13 17 21 23 24 25 27 30 33 34 36 41 46 48 49 52 54 58 60 70 72 76 77 79 80 81 82 83 90 94 102
a 1 12 13 17 21 23 24 25 27 30 33 34 36 38 41 46 48 49 52 54 58 60 70 72 76 77 79 80 81 82 83 90 94
a 1 12 13 17 21 23 24 25 27 30 34 36 38 41 46 48 49 52 54 58 60 70 72 76 77 79 80 81 82 83 90 94 99
a 1 6 12 13 17 21 23 24 25 27 30 34 36 38 41 46 48 49 52 54 58 60 70 72 76 77 79 80 81 82 90 94 99
a 1 6 12 13 17 21 23 24 25 27 30 34 36 38 41 46 48 49 52 54 58 60 70 72 76 77 79 80 81 82 90 99 103
a 1 6 12 13 17 21 23 24 25 27 30 34 36 38 41 46 48 49 52 54 58 60 70 72 76 77 79 80 81 82 99 102 103
a 1 6 12 13 17 21 23 24 25 27 30 34 36 38 41 46 48 49 52 54 58 60 70 72 76 77 79 81 82 90 99 102 103
a 1 6 12 13 17 21 23 24 25 27 30 34 36 38 41 46 48 49 52 54 58 60 70 76 77 79 81 82 90 99 100 102 103
a 1 6 12 13 17 18 21 23 24 25 27 30 34 36 38 41 46 48 49 52 54 58 60 70 76 77 79 81 82 90 99 100 102
a 1 6 12 13 17 18 21 23 24 25 27 30 34 36 38 41 46 48 49 52 54 58 60 70 72 76 77 79 81 82 90 99 102
a 1 6 12 13 17 18 21 23 24 25 27 30 34 36 38 41 46 48 49 52 54 58 60 72 76 77 79 81 82 90 99 102 103
a 1 6 12 13 17 18 21 23 24 25 27 30 34 36 38 41 46 48 49 52 58 60 70 72 76 77 79 81 82 90 99 102 103
a 1 6 12 13 17 18 21 23 24 25 27 30 34 36 38 41 48 49 52 58 60 67 70 72 76 77 79 81 82 90 99 102 103
a 1 6 12 13 15 17 18 21 23 24 25 27 30 34 36 38 48 49 52 58 60 67 70 72 76 77 79 81 82 90 99 102 103
a 1 12 13 15 17 18 21 23 24 25 27 30 34 36 38 48 49 52 58 60 67 70 72 76 77 79 81 82 83 90 99 102 103
a 1 12 13 15 17 18 21 23 24 25 27 30 34 36 38 48 49 52 58 60 67 70 72 75 76 77 79 81 82 83 90 102 103
a 1 12 13 15 17 18 21 23 24 25 27 30 34 36 38 48 49 52 58 60 67 70 72 75 76 77 79 80 81 82 90 102 103
a 1 12 13 15 17 21 23 24 25 27 30 34 36 38 48 49 52 58 60 67 70 72 75 76 77 79 80 81 82 90 94 102 103
a 1 12 13 15 17 21 23 24 25 27 30 34 36 38 46 48 49 52 58 60 67 70 72 75 76 77 79 80 81 82 90 94 102
a 1 12 13 15 17 21 23 25 27 30 34 36 38 46 48 49 52 58 60 67 70 72 75 76 77 79 80 81 82 83 90 94 102
a 1 8 12 13 15 17 21 23 25 27 30 34 36 38 46 48 49 52 58 60 67 70 72 75 76 77 79 80 81 82 83 90 94
a 1 8 12 13 15 17 21 23 25 27 30 33 34 36 38 46 48 49 52 58 60 67 70 72 75 76 77 79 80 81 82 83 90
a 1 8 12 13 15 17 21 23 24 25 27 30 33 34 36 38 46 48 49 52 58 60 67 70 72 75 76 77 79 81 82 83 90
a 1 8 12 13 15 17 21 23 24 25 27 30 33 34 36 38 46 48 49 52 58 60 67 70 72 75 76 77 79 80 81 82 83
a 8 10 12 13 15 17 21 23 24 25 27 30 33 34 36 38 46 48 49 52 58 60 67 70 72 75 76 77 79 80 81 82 83
a 10 12 13 15 17 21 23 24 25 27 30 33 34 36 38 46 48 49 52 58 60 67 70 72 75 76 77 79 80 81 82 83 90
a 7 10 12 13 15 17 21 23 24 25 27 30 33 34 36 38 46 48 49 58 60 67 70 72 75 76 77 79 80 81 82 83 90
a 7 10 12 13 15 17 21 23 24 25 27 30 33 34 36 38 46 48 49 58 60 67 70 72 75 76 77 79 80 81 82 83 94
a 7 8 12 13 15 17 21 23 24 25 27 30 33 34 36 38 46 48 49 58 60 67 70 72 75 76 77 79 80 81 82 83 94
a 7 8 10 12 13 15 17 21 23 24 25 27 30 33 34 36 38 46 48 58 60 67 70 72 75 76 77 79 80 81 82 83 94
a 7 8 10 12 13 15 17 18 21 23 24 25 27 30 33 34 36 38 46 48 58 60 67 70 72 75 76 77 79 80 81 82 83
a 7 10 12 13 15 17 18 21 23 24 25 27 30 33 34 36 38 42 46 48 58 60 67 70 72 75 76 77 79 80 81 82 83
a 7 8 10 12 13 15 17 18 21 23 24 25 27 30 33 34 36 38 42 46 48 58 60 67 70 72 75 76 77 79 80 82 83
a 7 8 10 12 13 15 17 21 23 24 25 27 30 33 34 36 38 42 46 48 58 60 67 70 72 75 76 77 79 80 82 83 94
a 7 8 10 12 13 15 17 21 23 24 25 27 30 33 34 36 38 42 46 48 58 59 60 67 70 72 75 76 77 79 80 82 83
a 7 8 10 13 15 17 21 23 24 25 27 30 33 34 36 38 42 46 48 58 59 60 67 70 72 75 76 77 79 80 82 83 90
a 7 8 10 13 15 21 23 24 25 27 30 33 34 36 38 42 46 48 58 59 60 67 70 72 75 76 77 79 80 82 83 90 96
a 1 7 8 10 13 15 21 23 24 25 27 30 33 34 36 38 42 46 48 58 59 60 67 70 72 75 76 77 79 80 82 83 90
a 1 7 8 10 13 15 21 23 24 25 27 30 33 34 36 38 42 48 58 59 60 61 67 70 72 75 76 77 79 80 82 83 90
a 1 8 10 13 15 21 23 24 25 27 30 33 34 36 38 42 48 58 59 60 61 67 70 72 75 76 77 79 80 82 83 90 102
a 1 8 10 13 15 21 23 24 25 27 30 33 34 36 38 42 48 58 59 60 61 67 70 72 75 76 79 80 82 83 90 96 102
a 1 8 10 13 15 21 23 24 25 27 30 33 34 36 38 42 44 48 58 59 60 61 67 70 72 75 76 79 80 82 83 90 96
a 1 8 10 13 15 21 23 24 25 27 30 33 34 36 37 38 42 44 48 58 59 60 61 67 70 72 75 76 79 82 83 90 96
a 1 8 10 12 13 15 21 23 24 25 27 30 33 34 36 37 38 42 44 48 58 59 60 61 67 70 72 75 76 79 82 83 90
a 1 8 10 12 13 15 18 21 23 24 25 27 30 33 34 36 37 38 42 44 48 58 59 60 61 67 70 72 75 76 79 82 90
a 1 8 10 12 13 15 18 21 23 24 25 27 30 33 34 36 37 38 42 44 48 58 59 60 61 67 70 72 76 79 82 83 90
a 1 8 10 12 13 15 18 21 23 24 25 27 30 33 34 36 37 38 42 44 48 58 59 60 61 67 70 76 79 82 83 90 100
a 1 8 10 12 15 18 21 23 24 25 27 30 33 34 36 37 38 42 44 48 58 59 60 61 67 70 76 79 81 82 83 90 100
a 1 8 10 12 15 18 21 23 24 25 27 30 33 36 37 38 42 44 48 58 59 60 61 67 70 76 79 81 82 83 87 90 100
a 1 8 10 12 15 18 21 23 24 25 27 30 33 36 37 38 42 44 46 48 58 59 60 67 70 76 79 81 82 83 87 90 100
a 1 8 10 12 13 15 18 21 23 24 25 27 30 33 36 37 38 42 44 46 58 59 60 67 70 76 79 81 82 83 87 90 100
a 8 10 12 13 15 17 18 21 23 24 25 27 30 33 36 37 38 42 44 46 58 59 60 67 70 76 79 81 82 83 87 90 100
a 8 10 12 13 15 17 21 23 24 25 27 30 33 36 37 38 42 44 46 55 58 59 60 67 70 76 79 81 82 83 87 90 100
a 8 10 12 13 15 17 21 23 24 26 27 30 33 36 37 38 42 44 46 55 58 59 60 67 70 76 79 81 82 83 87 90 100
a 7 8 10 12 13 15 17 21 24 26 27 30 33 36 37 38 42 44 46 55 58 59 60 67 70 76 79 81 82 83 87 90 100
a 7 8 10 12 13 15 17 21 24 27 30 33 36 37 38 42 44 46 55 58 59 60 67 70 76 79 81 82 83 87 90 96 100
a 7 8 10 12 13 15 17 21 24 27 30 33 36 38 42 44 46 55 58 59 60 67 70 76 79 80 81 82 83 87 90 96 100
a 7 8 10 12 13 15 17 18 21 24 27 30 33 36 38 42 44 46 58 59 60 67 70 76 79 80 81 82 83 87 90 96 100
a 7 8 10 13 15 17 18 21 24 27 30 33 36 38 42 44 46 58 59 60 67 70 76 79 80 81 82 83 84 87 90 96 100
a 7 8 10 13 15 17 18 21 24 27 30 33 36 37 38 42 44 46 58 59 60 67 70 76 79 81 82 83 84 87 90 96 100
a 7 8 10 13 15 17 21 24 27 30 33 36 37 38 42 44 46 55 58 59 60 67 70 76 79 81 82 83 84 87 90 96 100
a 6 7 8 10 13 15 17 21 24 27 30 33 36 37 38 42 44 46 55 58 59 60 67 70 76 79 81 82 84 87 90 96 100
a 6 7 8 10 13 15 17 21 24 27 30 33 36 37 38 42 44 46 55 58 59 60 67 70 71 76 79 81 82 84 87 90 100
a 6 7 8 10 13 15 17 21 23 24 27 30 33 36 37 38 42 44 46 55 58 59 60 67 70 71 76 79 81 82 84 87 90
a 6 7 8 10 13 15 17 21 23 24 27 30 33 36 37 38 42 44 46 55 58 59 60 67 70 71 75 76 79 81 82 87 90
a 6 7 8 10 13 15 17 21 23 24 26 27 30 33 36 37 38 42 44 46 55 58 59 60 67 70 71 76 79 81 82 87 90
a 6 7 8 10 12 13 15 17 21 23 24 26 27 30 33 36 37 38 42 44 46 55 58 59 60 67 70 76 79 81 82 87 90
a 6 7 8 10 12 15 17 21 23 24 26 27 30 33 36 37 38 42 44 46 55 58 59 60 67 70 75 76 79 81 82 87 90
a 7 8 10 12 15 17 21 23 24 26 27 30 33 36 37 38 42 44 46 55 58 59 60 67 70 75 76 79 81 82 83 87 90
a 7 8 10 12 15 17 21 23 24 26 27 30 33 36 37 38 42 44 46 55 58 59 60 67 70 75 76 79 81 82 83 87 96
a 7 8 10 12 15 17 21 23 24 26 27 30 33 36 37 38 44 46 55 58 59 60 67 70 75 76 79 81 82 83 87 96 101
a 7 8 10 12 15 17 21 23 24 26 27 30 33 36 38 44 46 55 58 59 60 67 70 75 76 79 80 81 82 83 87 96 101
a 7 8 10 12 15 17 21 23 24 26 27 30 33 36 38 44 46 55 58 59 60 66 70 75 76 79 80 81 82 83 87 96 101
a 7 8 10 12 15 17 21 23 24 26 27 30 33 36 38 44 46 55 58 59 60 66 70 75 76 79 80 81 82 83 86 87 101
a 8 10 12 15 17 21 23 24 26 27 30 33 36 38 44 46 52 55 58 59 60 66 70 75 76 79 80 81 82 83 86 87 101
a 8 10 12 15 17 21 23 24 26 27 30 33 36 38 44 46 52 55 58 59 60 67 70 75 76 79 80 81 82 83 86 87 101
a 8 10 12 15 17 21 23 24 26 27 30 33 36 38 44 46 52 55 58 59 60 67 70 75 76 79 80 81 82 83 86 90 101
a 7 8 10 12 15 17 21 23 24 26 27 30 33 36 38 44 46 55 58 59 60 67 70 75 76 79 80 81 82 83 86 90 101
a 7 8 10 12 15 17 21 23 24 26 27 30 33 36 38 44 55 58 59 60 67 70 75 76 79 80 81 82 83 86 87 90 101
a 7 8 10 15 17 21 23 24 26 27 30 33 36 38 44 55 58 59 60 67 70 71 75 76 79 80 81 82 83 86 87 90 101
a 7 8 10 15 17 21 23 24 26 27 30 33 36 38 44 55 58 59 60 66 70 71 75 76 79 80 81 82 83 86 87 90 101
a 7 8 10 15 17 21 23 24 26 27 30 33 36 38 46 55 58 59 60 66 70 71 75 76 79 80 81 82 83 86 87 90 101
a 7 8 10 17 21 23 24 26 27 30 33 36 38 41 46 55 58 59 60 66 70 71 75 76 79 80 81 82 83 86 87 90 101
a 7 8 10 17 21 23 24 26 27 30 33 36 38 41 55 58 59 60 66 70 71 75 76 79 80 81 82 83 86 87 90 93 101
a 7 8 17 21 23 24 26 27 30 33 36 38 41 43 55 58 59 60 66 70 71 75 76 79 80 81 82 83 86 87 90 93 101
a 7 17 21 23 24 26 27 30 33 36 38 41 43 55 58 59 60 66 70 71 75 76 77 79 80 81 82 83 86 87 90 93 101
a 7 17 21 23 24 26 27 30 33 36 38 41 43 55 58 59 60 66 70 71 75 76 77 79 80 81 82 86 87 88 90 93 101
a 7 17 21 23 24 26 27 30 33 35 38 41 43 55 58 59 60 66 70 71 75 76 77 79 80 81 82 86 87 88 90 93 101
a 7 17 21 23 24 26 27 30 33 35 38 41 43 55 58 59 66 68 70 71 75 76 77 79 80 81 82 86 87 88 90 93 101
a 7 17 23 24 26 27 30 33 35 38 41 43 55 58 59 66 68 70 71 75 76 77 79 80 81 82 86 87 88 90 93 97 101
a 7 17 23 24 26 27 33 35 38 41 43 55 58 59 66 68 70 71 75 76 77 79 80 81 82 86 87 88 90 91 93 97 101
a 7 17 23 24 26 27 33 35 38 41 43 55 58 59 61 66 68 70 71 75 76 77 79 80 81 82 87 88 90 91 93 97 101
a 7 11 17 23 24 26 27 33 35 38 41 43 55 58 59 61 66 68 71 75 76 77 79 80 81 82 87 88 90 91 93 97 101
a 7 11 17 23 24 26 27 33 35 38 41 43 55 58 61 66 68 71 75 76 77 79 80 81 82 87 88 90 91 93 97 101 103
a 7 11 17 23 24 26 27 33 35 38 41 43 55 58 61 66 68 71 75 76 77 79 80 82 87 88 89 90 91 93 97 101 103
a 7 11 17 23 24 26 27 33 35 38 41 43 49 58 61 66 68 71 75 76 77 79 80 82 87 88 89 90 91 93 97 101 103
a 7 11 17 20 24 26 27 33 35 38 41 43 49 58 61 66 68 71 75 76 77 79 80 82 87 88 89 90 91 93 97 101 103
a 7 11 17 20 24 27 33 35 38 41 43 49 58 61 66 68 71 75 76 77 79 80 82 87 88 89 90 91 93 94 97 101 103
a 2 7 11 17 20 24 27 33 35 38 41 43 49 58 61 66 68 71 75 76 77 79 80 87 88 89 90 91 93 94 97 101 103
a 2 7 11 17 20 24 27 33 35 38 41 43 49 53 58 61 66 68 71 75 76 77 79 87 88 89 90 91 93 94 97 101 103
a 2 7 11 17 20 27 33 35 38 41 43 49 53 58 61 66 68 71 75 76 77 79 87 88 89 90 91 92 93 94 97 101 103
a 2 7 11 17 20 27 33 35 38 41 43 49 53 58 61 62 66 68 71 76 77 79 87 88 89 90 91 92 93 94 97 101 103
a 2 7 11 17 20 33 35 38 41 43 49 53 58 61 62 66 68 71 76 77 79 87 88 89 90 91 92 93 94 97 98 101 103
a 2 7 11 17 20 33 35 38 41 43 45 49 53 61 62 66 68 71 76 77 79 87 88 89 90 91 92 93 94 97 98 101 103
c Step: 350
#END: [Tue Sep  5 07:00:58 2023]