#BEGIN: [Tue Sep  5 06:24:44 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance007_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance007_graph003_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_instance007_graph003.col /benchmark/random_instance/random_instance007_graph003_01.dat
c /benchmark/random_instance/random_instance007_graph003.col
c /benchmark/random_instance/random_instance007_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID f67164316772ff52267967f323cc1b9e1c5cf19730bb4f2a5dee09a694713fdb
s 79 50 76 31 56 85 15 82 11 87 45 13 34 81 29 36 72 58 47 6 46 9 12 33 86 88 77 18 91 20 17 43
t 67 15 45 19 22 66 56 79 91 27 49 43 4 90 18 40 82 6 36 42 20 3 88 46 32 28 85 81 70 33 65 76
a YES
a 6 9 11 12 13 15 17 18 20 29 31 33 34 36 43 45 46 47 50 56 58 72 76 77 79 81 82 85 86 87 88 91
a 6 9 11 12 13 15 17 18 20 29 33 34 36 43 45 46 47 49 50 56 58 72 76 77 79 81 82 85 86 87 88 91
a 9 11 12 13 15 17 18 20 29 33 34 36 43 45 46 47 49 50 56 58 62 72 76 77 79 81 82 85 86 87 88 91
a 4 11 12 13 15 17 18 20 29 33 34 36 43 45 46 47 49 50 56 58 62 72 76 77 79 81 82 85 86 87 88 91
a 4 11 12 15 17 18 20 29 33 34 36 43 45 46 47 49 50 56 58 62 65 72 76 77 79 81 82 85 86 87 88 91
a 4 11 12 15 17 18 20 28 29 33 34 36 43 45 46 47 49 50 56 58 65 72 76 77 79 81 82 85 86 87 88 91
a 4 11 12 15 18 20 28 29 33 34 36 43 45 46 47 49 50 56 58 62 65 72 76 77 79 81 82 85 86 87 88 91
a 4 11 12 15 17 18 20 28 29 33 34 36 43 45 46 47 49 50 56 58 62 65 72 76 77 79 81 85 86 87 88 91
a 11 12 15 17 18 20 28 29 33 34 36 41 43 45 46 47 49 50 56 58 62 65 72 76 77 79 81 85 86 87 88 91
a 11 12 15 17 18 20 28 29 33 34 36 41 43 45 46 47 49 50 56 58 62 65 76 77 79 80 81 85 86 87 88 91
a 12 15 17 18 20 28 29 33 34 36 41 43 45 46 47 49 50 56 58 62 65 74 76 77 79 80 81 85 86 87 88 91
a 6 12 15 17 18 20 28 29 33 34 36 41 43 45 46 47 49 50 56 58 65 74 76 77 79 80 81 85 86 87 88 91
a 6 12 15 17 18 20 28 29 33 34 36 41 43 45 46 47 49 50 56 58 65 74 76 77 78 79 80 81 85 86 87 88
a 6 11 12 15 17 18 20 28 29 33 36 41 43 45 46 47 49 50 56 58 65 74 76 77 78 79 80 81 85 86 87 88
a 6 11 12 15 17 18 20 28 29 33 36 41 43 45 46 47 49 50 56 58 65 74 76 77 78 79 80 81 85 86 87 91
a 6 11 15 17 18 20 28 29 33 36 41 43 45 46 47 49 50 56 58 65 74 76 77 78 79 80 81 85 86 87 88 91
a 6 11 15 17 18 20 28 29 33 34 36 41 45 46 47 49 50 56 58 65 74 76 77 78 79 80 81 85 86 87 88 91
a 6 11 15 17 18 20 28 29 33 34 36 41 43 45 46 47 49 50 56 58 65 74 76 77 78 79 80 81 85 86 87 91
a 6 11 12 15 17 18 20 28 29 33 34 36 41 43 45 46 47 49 50 56 58 65 74 76 77 78 79 80 81 85 87 91
a 6 11 12 15 17 18 20 28 29 33 34 36 41 43 45 46 47 49 50 56 58 65 74 76 77 78 79 80 81 85 87 88
a 6 11 12 15 17 18 20 28 33 34 36 41 42 43 45 46 47 49 50 56 58 65 74 76 77 78 79 80 81 85 87 88
a 6 11 12 15 17 18 20 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 65 74 76 77 78 79 80 81 85 87
a 6 11 12 15 17 18 20 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 65 74 76 77 78 79 80 85 87 88
a 11 12 15 17 18 20 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 65 74 76 77 78 79 80 81 85 87 88
a 11 12 15 17 18 20 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 65 74 76 77 78 79 80 81 85 86 88
a 11 12 15 17 18 20 28 29 33 34 36 41 43 45 46 47 49 50 53 56 58 65 74 76 77 78 79 80 81 85 86 88
a 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 65 74 76 77 78 79 80 81 85 86
a 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 65 74 76 77 78 79 80 81 85
a 6 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 65 74 76 77 78 79 80 81
a 6 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 65 74 76 77 78 79 81 87
a 6 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 65 74 76 77 78 79 81 87 88
a 6 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 65 74 76 77 78 79 81 85 87
a 6 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 65 74 76 77 78 79 81 85 86
a 6 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 65 74 76 77 78 79 81 85
a 6 11 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 65 74 76 77 78 79 81 85 87
a 11 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 65 74 76 77 78 79 80 81 85 87
a 11 12 15 17 18 20 27 28 29 34 36 41 43 44 45 46 47 49 50 53 56 58 65 74 76 77 78 79 80 81 85 87
a 11 12 15 17 18 20 27 28 29 34 36 41 43 44 45 46 47 49 50 53 56 58 62 65 74 76 77 78 79 80 81 85
a 11 12 15 17 18 20 27 28 29 34 36 43 44 45 46 47 49 50 53 56 58 62 65 74 76 77 78 79 80 81 85 87
a 2 11 12 15 17 18 20 27 28 29 34 36 43 44 45 46 47 49 50 56 58 62 65 74 76 77 78 79 80 81 85 87
a 2 11 12 15 17 18 20 27 28 29 33 34 36 43 44 45 46 47 49 50 56 58 62 65 74 76 77 78 79 81 85 87
a 2 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 62 74 76 77 78 79 81 85 87
a 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 62 74 76 77 78 79 81 85 87 91
a 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 60 62 74 76 77 78 79 81 85 87 91
a 11 12 15 17 18 20 27 28 29 33 34 41 43 44 45 46 47 49 50 56 58 60 62 74 76 77 78 79 81 85 87 91
a 4 11 12 15 17 18 20 27 28 29 33 34 41 43 44 45 46 47 49 50 56 58 60 62 74 76 77 79 81 85 87 91
a 11 12 15 17 18 20 27 28 29 33 34 41 43 44 45 46 47 49 50 56 58 60 62 74 76 77 79 80 81 85 87 91
a 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 74 76 77 79 80 81 85 87
a 4 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 74 76 77 79 81 85 87
a 4 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 74 76 77 79 81 85 91
a 4 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 47 49 50 53 56 58 60 62 74 76 77 79 81 85 91
a 4 11 12 15 17 18 20 27 28 29 34 36 41 43 44 45 46 47 49 50 53 56 58 60 62 74 76 77 79 81 85 91
a 4 11 12 15 17 18 20 27 28 29 34 36 41 43 44 45 46 47 49 50 53 56 58 60 62 74 76 77 79 81 85 86
a 4 11 12 15 17 20 27 28 29 34 36 41 43 44 45 46 47 49 50 53 56 58 60 62 74 76 77 79 81 85 86 87
a 4 11 12 15 17 20 27 28 29 34 36 41 43 45 46 47 49 50 53 56 58 60 62 72 74 76 77 79 81 85 86 87
a 11 12 15 17 18 20 27 28 29 34 36 41 43 45 46 47 49 50 53 56 58 60 62 72 74 76 77 79 81 85 86 87
a 11 12 15 17 18 20 27 28 29 34 36 41 43 45 46 47 49 50 53 56 58 60 62 72 74 76 77 79 81 85 86 88
a 4 11 12 15 17 18 20 27 28 29 34 36 41 43 45 46 47 49 50 53 56 60 62 72 74 76 77 79 81 85 86 88
a 11 12 15 17 18 20 27 28 29 33 34 36 41 43 45 46 47 49 50 53 56 60 62 72 74 76 77 79 81 85 86 88
a 12 15 17 18 20 27 28 29 33 34 36 41 43 45 46 47 49 50 53 56 58 60 62 72 74 76 77 79 81 85 86 88
a 11 12 17 18 20 27 28 29 33 34 36 41 43 45 46 47 49 50 53 56 58 60 62 72 74 76 77 79 81 85 86 88
a 11 12 15 17 18 20 27 28 29 33 34 36 43 45 46 47 49 50 53 56 58 60 62 72 74 76 77 79 81 85 86 88
a 11 12 15 17 18 20 27 28 29 33 34 36 41 43 45 46 47 49 50 53 56 58 60 62 72 74 76 77 79 85 86 88
a 11 12 15 17 18 20 27 28 29 33 34 36 41 43 45 46 47 49 50 53 56 58 60 62 65 72 74 76 77 79 85 86
a 4 11 12 15 17 18 20 27 28 29 33 34 36 41 43 45 46 47 49 50 53 56 58 60 62 65 72 74 76 77 85 86
a 4 11 12 15 17 18 27 28 29 33 34 36 41 43 45 46 47 49 50 53 56 58 60 62 65 72 74 76 77 81 85 86
a 4 11 15 17 18 20 27 28 29 33 34 36 41 43 45 46 47 49 50 53 56 58 60 62 65 72 74 76 77 81 85 86
a 11 12 15 17 18 20 27 28 29 33 34 36 41 43 45 46 47 49 50 53 56 58 60 62 65 72 74 76 77 81 85 86
a 11 12 15 17 18 20 27 28 29 33 36 41 43 45 46 47 49 50 53 56 58 60 62 65 72 74 76 77 81 85 86 87
a 11 12 15 17 18 20 27 28 29 33 34 36 41 43 45 46 49 50 53 56 58 60 62 65 72 74 76 77 81 85 86 87
a 4 11 12 15 17 18 20 27 28 29 33 34 36 41 43 45 46 49 50 53 56 58 60 62 65 72 74 76 77 85 86 87
a 4 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 49 50 53 56 58 60 62 65 74 76 77 85 86 87
a 4 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 60 62 65 74 76 77 85 86
a 2 4 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 85 86
a 2 4 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 86 91
a 2 4 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 85 86 91
a 2 4 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 81 85 91
a 2 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 81 85 91
a 2 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 81 85 88 91
a 2 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 50 56 58 60 62 65 74 76 77 78 81 85 88 91
a 2 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 81 85 88
a 2 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 81 85 86
a 2 11 12 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 81 85 86
a 2 11 12 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 79 81 85 86
a 2 11 12 17 18 20 27 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 79 81 85 86 89
a 2 11 12 17 18 20 27 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 79 81 86 87 89
a 2 11 12 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 79 81 86 87
a 2 11 12 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 79 81 87 88
a 2 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 79 81 87
a 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 60 62 65 74 76 77 79 81 87
a 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 60 62 65 74 76 77 81 87 88
a 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 60 62 65 74 76 77 81 85 87
a 11 12 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 60 62 65 74 76 77 79 81 85 87
a 4 11 12 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 53 58 60 62 65 74 76 77 79 81 85 87
a 4 11 12 17 18 20 27 28 29 33 34 36 40 41 43 44 45 46 47 49 53 58 60 62 65 74 76 77 79 81 85 87
a 4 11 12 17 18 20 27 28 29 33 34 36 40 41 43 44 45 46 47 49 53 58 60 62 65 74 76 77 79 81 85 91
a 4 11 12 15 17 18 20 27 28 29 33 34 36 40 41 43 44 45 46 47 49 53 58 60 62 65 74 76 77 79 81 85
a 11 12 15 17 18 20 27 28 29 33 34 36 40 41 43 44 45 46 47 49 53 58 60 62 65 74 76 77 79 80 81 85
a 11 12 15 17 18 20 27 28 29 33 34 36 40 41 43 44 45 46 47 49 53 58 60 62 65 74 76 77 79 80 81 91
a 11 12 17 18 20 27 28 29 33 34 36 40 41 43 44 45 46 47 49 53 58 60 62 65 74 76 77 79 80 81 87 91
a 2 11 12 17 18 20 27 28 29 33 34 36 40 41 43 44 45 46 47 49 58 60 62 65 74 76 77 79 80 81 87 91
a 2 11 12 17 18 20 27 28 33 34 36 40 41 42 43 44 45 46 47 49 58 60 62 65 74 76 77 79 80 81 87 91
a 2 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 58 60 62 65 74 76 77 79 80 81 87 91
a 2 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 58 60 62 65 74 76 77 79 80 81 86 87
a 2 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 56 58 60 62 65 74 76 77 79 80 81 86
a 2 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 56 58 60 62 65 74 76 77 79 80 81 86
a 2 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 65 74 76 77 79 80 81 86
a 2 11 12 15 17 18 20 27 28 29 33 34 36 43 44 45 46 47 49 50 56 58 60 65 74 76 77 78 79 80 81 86
a 2 11 12 15 17 18 20 27 28 29 33 34 36 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81
a 2 11 12 15 17 18 27 28 29 33 34 36 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81 88
a 2 11 12 15 17 18 27 28 33 34 36 42 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81 88
a 2 11 12 15 18 27 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81 88
a 11 12 15 18 27 28 33 34 36 41 42 43 44 45 46 47 49 50 53 56 58 60 62 65 74 76 77 78 79 80 81 88
a 11 12 15 18 27 28 33 34 36 41 42 43 44 45 46 47 49 50 53 56 58 60 62 65 74 76 77 78 79 81 85 88
a 2 11 12 15 18 27 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 81 85 88
a 2 11 12 15 17 18 27 28 33 34 36 41 42 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 81 85 88
a 2 11 12 15 17 18 27 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 85 88
a 2 11 12 15 17 18 27 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 85 86
a 2 11 12 15 17 18 20 27 28 33 34 36 41 42 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 85 86
a 2 11 12 15 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 85 86
a 11 12 15 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 50 53 56 58 60 62 65 74 76 77 78 79 85 86
a 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 50 53 56 58 60 62 65 74 76 77 78 79 86
a 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 50 53 56 58 60 62 65 74 76 78 79 85 86
a 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 50 53 56 58 60 62 65 74 78 79 85 86 88
a 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 50 53 56 58 60 62 65 74 78 79 85 86 87
a 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 50 53 56 58 60 62 65 74 77 79 85 86 87
a 11 12 15 17 18 20 27 28 33 34 36 41 42 44 45 46 47 49 50 53 56 58 60 62 65 74 77 79 85 86 87 88
a 11 12 15 17 18 20 27 28 33 36 41 42 43 44 45 46 47 49 50 53 56 58 60 62 65 74 77 79 85 86 87 88
a 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 50 53 56 58 60 65 74 77 79 85 86 87 88
a 2 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 65 74 77 79 85 86 87 88
a 2 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 62 65 74 77 79 85 86 87
a 2 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 62 65 74 77 79 81 85 86
a 2 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 62 65 74 77 78 79 81 85
a 2 11 12 15 17 18 20 27 28 33 34 36 41 42 44 45 46 47 49 50 56 58 60 62 65 74 77 78 79 81 85 91
a 2 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 62 65 74 77 78 79 81 85 91
a 2 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 62 65 77 78 79 81 85 91
a 2 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 62 65 77 78 79 80 81 85
a 2 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 62 65 77 78 79 80 81 88
a 2 11 12 15 17 18 20 27 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 62 65 77 78 79 80 81 86
a 2 11 12 15 17 18 20 27 28 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 77 78 79 80 81 86
a 2 11 12 15 17 18 20 28 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81 86
a 2 11 12 15 17 18 20 27 28 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 76 77 78 79 80 81 86
a 2 11 12 15 17 18 20 27 28 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 76 77 78 79 80 81 88
a 2 11 12 15 17 18 20 27 28 33 34 36 41 43 44 45 46 47 49 50 56 58 62 65 76 77 78 79 80 81 86 88
a 2 12 15 17 18 20 27 28 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 76 77 78 79 80 81 86 88
a 2 12 15 17 18 20 27 28 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81 86
a 2 12 15 17 18 27 28 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81 86 87
a 2 15 17 18 20 27 28 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81 86 87
a 2 12 15 17 20 27 28 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81 86 87
a 2 12 14 15 17 20 27 28 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 79 80 81 86 87
a 2 12 15 17 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 79 80 81 86 87
a 2 12 15 17 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81 86
a 2 11 12 15 17 20 27 28 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81 86
a 2 11 12 15 17 18 20 27 28 33 34 36 41 43 44 45 46 47 49 50 56 58 62 65 74 76 77 78 79 80 81 86
a 11 12 15 17 18 20 27 28 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81 86
a 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81
a 11 12 15 17 18 20 22 27 28 29 33 34 36 43 44 45 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81
a 11 12 15 17 18 20 27 28 29 33 34 36 43 44 45 46 47 49 50 53 56 58 60 62 65 74 76 77 78 79 80 81
a 11 12 15 17 18 20 27 28 29 33 34 36 43 44 45 46 47 49 50 53 56 58 60 62 65 74 76 77 78 79 80 91
a 11 12 15 17 18 20 27 28 29 33 34 36 43 44 45 47 49 50 53 56 58 60 62 65 74 76 77 78 79 80 88 91
a 11 12 15 17 18 20 27 28 33 34 36 42 43 44 45 47 49 50 53 56 58 60 62 65 74 76 77 78 79 80 88 91
a 11 12 15 17 18 19 20 27 28 33 34 36 42 43 45 47 49 50 53 56 58 60 62 65 74 76 77 78 79 80 88 91
a 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 47 49 50 53 56 58 60 62 65 74 76 77 78 79 80 88
a 11 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 62 65 74 76 77 78 79 80 88
a 11 15 17 18 19 20 27 28 33 34 36 42 43 45 46 47 49 50 53 56 58 60 62 65 74 76 77 78 79 80 81 88
a 11 12 15 17 18 19 20 27 28 33 34 36 42 43 45 46 47 49 50 53 56 58 60 62 65 74 76 77 78 79 80 88
a 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 60 62 65 74 76 77 78 79 80 88
a 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 60 62 65 74 76 77 78 79 80 87
a 2 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 60 62 65 74 76 77 78 79 80 87
a 2 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 46 47 49 50 56 60 62 65 74 76 77 78 79 80 81 87
a 2 11 12 15 17 19 20 27 28 33 34 36 41 42 43 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81 87
a 2 11 12 15 17 19 20 27 28 33 34 36 40 41 42 43 46 47 49 56 58 60 62 65 74 76 77 78 79 80 81 87
a 2 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 46 47 49 56 58 60 62 65 74 76 77 78 79 80 81 87
a 2 11 12 15 18 19 20 27 28 33 34 36 41 42 43 46 47 49 56 58 60 62 65 74 76 77 78 79 80 81 87 91
a 2 11 12 15 18 19 20 27 28 33 34 36 41 42 43 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81 87
a 2 11 12 15 17 18 19 20 27 28 34 36 41 42 43 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81 87
a 2 11 12 15 17 18 19 20 27 28 34 36 41 42 43 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81 85
a 2 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 46 47 49 50 56 58 60 62 65 74 76 77 78 79 80 81
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 46 47 49 50 56 58 60 65 74 76 77 78 79 80 81
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 76 77 79 80 81
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 76 77 79 80 81 91
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 76 77 79 81 86 91
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 50 56 58 60 65 76 77 78 79 81 86 91
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 50 56 58 60 65 74 76 77 78 79 81 86
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 50 56 58 60 65 74 76 77 78 79 80 81
a 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 50 53 56 58 60 65 74 76 77 78 79 80 81
a 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 50 53 56 58 60 65 76 77 78 79 80 81 87
a 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 50 53 56 58 60 65 76 77 78 79 80 81 91
a 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 50 53 56 58 60 65 76 77 78 79 81 87 91
a 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 50 53 56 58 60 65 76 77 78 79 81 87 88
a 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 50 53 56 58 60 65 76 77 78 79 81 86 88
a 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 50 53 56 58 60 65 76 77 78 79 81 86 87
a 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 76 77 78 79 81 86
a 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 76 77 78 79 80 81 86
a 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 76 77 78 79 80 81 91
a 6 8 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 77 78 79 80 81 91
a 6 8 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 77 78 79 80 81 87
a 6 8 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 77 78 79 80 81 85
a 6 8 11 12 15 17 18 19 20 24 27 28 33 34 36 42 43 45 46 47 49 50 56 58 60 65 77 78 79 80 81 85
a 6 8 11 12 15 17 18 19 20 24 27 28 33 34 36 42 43 45 46 47 49 50 56 58 60 65 77 78 79 80 81 82
a 6 8 11 12 15 17 18 19 22 24 27 28 33 34 36 42 43 45 46 47 49 50 56 58 60 65 77 78 79 80 81 82
a 6 8 11 12 15 17 18 19 22 24 25 27 28 33 34 36 42 43 45 46 47 49 50 56 58 60 65 77 79 80 81 82
a 6 8 11 12 15 17 18 19 22 24 25 27 28 33 34 36 40 42 43 45 46 47 49 56 58 60 65 77 79 80 81 82
a 6 8 11 12 15 17 18 19 22 24 25 27 28 33 34 36 42 43 45 46 47 49 56 58 60 65 77 79 80 81 82 86
a 6 8 12 15 17 18 19 22 24 25 27 28 33 34 36 42 43 45 46 47 49 50 56 58 60 65 77 79 80 81 82 86
a 2 6 8 12 15 17 18 19 24 25 27 28 33 34 36 42 43 45 46 47 49 50 56 58 60 65 77 79 80 81 82 86
a 2 6 8 12 15 17 18 19 20 24 27 28 33 34 36 42 43 45 46 47 49 50 56 58 60 65 77 79 80 81 82 86
a 2 6 8 12 15 17 18 19 20 24 27 28 33 34 36 42 43 45 46 47 49 50 56 58 60 65 77 79 80 81 86 91
a 2 6 8 12 15 17 18 19 20 24 27 28 33 34 36 42 43 45 46 47 49 50 56 58 60 65 79 80 81 86 90 91
a 2 6 8 12 15 17 18 20 24 27 28 33 34 36 42 43 45 46 47 49 50 56 58 60 65 78 79 80 81 86 90 91
a 2 6 8 12 15 17 18 20 21 24 27 28 33 34 36 42 43 45 46 47 49 50 56 60 65 78 79 80 81 86 90 91
a 2 6 12 15 17 18 20 21 24 27 28 33 34 36 42 43 45 46 47 49 50 56 60 65 78 79 80 81 86 88 90 91
a 2 6 12 15 17 18 19 20 21 24 27 28 33 34 36 42 43 45 46 47 49 50 56 60 65 78 79 80 81 86 88 91
a 2 6 12 15 17 18 19 20 21 24 27 33 34 36 42 43 45 46 47 49 50 56 60 65 78 79 80 81 86 88 89 91
a 2 12 15 17 18 19 20 21 24 27 33 34 36 42 43 45 46 47 49 50 56 60 62 65 78 79 80 81 86 88 89 91
a 2 11 12 15 17 18 19 20 24 27 33 34 36 42 43 45 46 47 49 50 56 60 62 65 78 79 80 81 86 88 89 91
a 2 11 12 15 17 18 19 20 27 33 34 36 42 43 45 46 47 49 50 56 60 62 65 78 79 80 81 86 87 88 89 91
a 2 11 12 15 17 18 19 20 27 33 34 36 42 43 45 46 47 49 50 56 58 60 62 65 79 80 81 86 87 88 89 91
a 2 11 12 15 17 18 19 20 27 33 34 36 41 42 43 45 46 47 49 50 56 58 60 62 65 79 80 81 86 87 88 89
a 2 11 12 15 17 18 19 20 27 33 34 36 41 42 43 45 46 47 49 50 56 58 60 62 65 77 79 80 81 86 87 88
a 2 11 12 15 17 18 19 20 27 33 34 36 41 42 43 45 46 47 49 50 56 58 60 62 65 77 79 80 81 85 86 87
a 2 11 12 15 17 18 19 20 27 33 34 36 41 42 43 45 46 47 49 50 56 58 60 62 65 77 78 79 80 81 85 86
a 2 11 12 15 17 18 19 20 27 33 34 36 42 43 45 46 47 49 50 56 58 60 62 65 77 78 79 80 81 85 86 88
a 11 12 15 17 18 19 20 27 33 34 36 41 42 43 45 46 47 49 50 56 58 60 62 65 77 78 79 80 81 85 86 88
a 6 11 12 15 17 18 19 20 27 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 77 78 79 80 81 85 86 88
a 6 11 12 15 17 18 19 20 27 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 77 78 79 80 81 85 86
a 6 11 12 15 17 18 19 20 27 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 76 77 78 79 80 81 85
a 6 11 12 15 18 19 20 27 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 74 76 77 78 79 80 81 85
a 6 11 12 15 18 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 74 76 77 78 79 80 81 85
a 6 11 12 15 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 74 76 77 78 79 80 81
a 6 11 12 15 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 74 76 77 78 79 80 85
a 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 74 76 77 78 79 80
a 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 74 76 77 78 79 88
a 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 74 76 77 79 81 88
a 4 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 74 76 77 79 81
a 4 6 11 12 14 15 17 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 74 76 77 79 81
a 4 6 11 12 14 15 17 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 74 76 77 79 91
a 4 6 11 14 15 17 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 74 76 77 79 85 91
a 4 6 11 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 74 76 77 79 85 91
a 4 6 11 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 74 76 77 79 85 87
a 4 6 11 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 72 74 76 77 79 87
a 4 6 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 45 47 49 50 53 56 58 60 65 72 74 76 77 79 87
a 4 6 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 74 76 77 79 87
a 4 6 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 74 76 79 87 88
a 4 6 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 46 47 49 50 53 56 58 60 65 72 74 76 79 87 88
a 4 6 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 46 47 49 50 53 56 58 60 65 72 74 76 79 86 87
a 4 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 46 47 49 50 53 56 58 60 65 72 74 76 77 79 86 87
a 4 6 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 46 47 49 50 53 56 58 60 65 72 74 76 77 79 86
a 4 6 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 46 47 49 50 53 56 58 60 65 72 74 76 77 86 91
a 4 6 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 72 74 77 86 91
a 4 6 11 12 14 15 17 19 25 27 28 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 72 74 77 79 86 91
a 4 6 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 72 74 77 79 91
a 4 6 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 72 74 77 79 86
a 4 6 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 72 74 77 79 85
a 4 6 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 72 74 76 77 85
a 4 6 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 72 74 76 77 87
a 6 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 72 74 76 77 79 87
a 4 6 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 72 74 76 77 79 87
a 4 6 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 58 60 65 72 74 76 77 79 86 87
a 4 6 11 12 14 15 17 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 58 60 65 72 74 76 77 79 86 87
a 4 11 12 14 15 17 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 72 74 76 77 79 86 87
a 4 11 12 14 15 17 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 72 74 76 77 86 87 91
a 4 11 12 15 17 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 72 74 76 77 79 86 87 91
a 4 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 72 74 76 77 79 86 91
a 4 11 12 14 15 17 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 72 74 76 77 79 86 91
a 4 11 12 14 15 17 19 20 27 28 33 34 36 42 43 45 46 47 49 50 56 58 60 65 72 74 76 77 79 85 86 91
a 4 11 12 14 15 17 19 20 22 27 28 33 34 36 42 43 45 46 47 49 50 56 58 60 65 72 76 77 79 85 86 91
a 4 11 12 14 15 17 19 20 27 28 33 34 36 42 43 45 46 47 49 50 53 56 58 60 65 72 76 77 79 85 86 91
a 4 11 12 15 17 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 72 76 77 79 85 86 91
a 4 11 12 15 17 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 72 76 77 79 85 88 91
a 4 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 72 76 77 85 88 91
a 4 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 72 76 85 88 91
a 4 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 72 76 81 85 88 91
a 4 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 72 76 81 85 88
a 4 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 62 65 72 76 81 85 88
a 4 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 53 56 58 60 62 63 65 72 76 81 85 88
a 4 11 12 14 15 17 19 20 27 28 33 34 36 41 42 43 45 46 47 49 53 56 58 60 62 63 65 72 76 81 85 88
a 4 11 12 14 15 17 19 20 27 28 33 34 36 40 41 42 43 45 46 47 49 53 56 58 60 62 63 65 72 76 81 88
a 4 11 12 14 15 17 19 20 27 28 33 34 36 40 41 42 43 45 46 47 49 53 56 58 60 62 63 65 72 74 76 81
a 4 11 12 14 15 17 19 20 27 28 33 34 36 40 41 42 43 45 46 47 49 53 56 58 60 62 63 65 72 74 76 88
a 4 11 12 14 15 17 19 20 27 28 33 34 36 40 41 42 43 45 46 47 49 53 56 58 60 62 63 65 72 74 76 87
a 4 11 12 14 15 17 19 20 27 28 33 34 36 40 41 42 43 45 46 47 49 53 56 58 60 62 65 72 74 76 77 87
a 4 11 12 14 15 17 19 25 27 28 33 34 36 40 41 42 43 45 46 47 49 53 56 58 60 62 65 72 74 76 77 87
a 4 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 62 65 72 74 76 77 87
a 4 11 12 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 62 65 72 74 76 77 91
a 4 12 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 62 65 72 74 76 77 88 91
a 4 12 14 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 62 65 72 74 76 77 81 88
a 4 12 15 17 18 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 62 65 72 74 76 77 81 88
a 11 12 15 17 18 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 62 65 72 74 76 77 81 88
a 4 11 12 15 17 18 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 62 65 72 74 76 77 81
a 4 11 12 15 17 18 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 62 65 72 74 76 81 88
a 4 11 12 15 17 18 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 62 65 72 74 76 79 81
a 11 12 15 17 18 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 62 65 72 74 76 79 81 91
a 11 12 15 17 18 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 62 65 72 74 79 81 86 91
a 4 11 12 15 17 19 25 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 62 65 72 74 79 81 86 91
a 4 11 12 15 17 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 62 65 72 74 79 81 86 91
a 4 6 11 12 15 17 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 72 74 79 81 86 91
a 4 6 11 12 15 17 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 53 56 58 60 65 72 74 77 79 81 91
a 4 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 53 56 58 60 65 72 74 77 79 81 91
a 4 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 53 56 58 60 65 72 74 77 79 87 91
a 4 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 53 56 58 60 65 72 76 77 79 87 91
a 4 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 53 56 58 60 65 72 76 79 86 87 91
a 4 6 11 12 15 17 18 19 20 27 28 33 34 36 40 41 42 43 45 46 47 49 53 56 58 60 65 72 76 79 87 91
a 4 6 11 12 15 17 18 19 20 27 28 33 34 36 40 41 42 43 45 46 47 49 53 56 58 65 72 76 79 81 87 91
a 4 6 11 12 15 18 19 20 27 28 33 34 36 40 41 42 43 45 46 47 49 53 56 58 65 66 72 76 79 81 87 91
a 4 6 11 12 15 18 19 20 27 28 33 34 36 40 41 42 43 45 46 47 49 53 56 58 65 66 72 76 79 81 88 91
a 4 6 11 12 15 18 19 20 27 28 33 34 36 40 41 42 43 45 46 47 49 53 56 58 65 66 72 79 81 85 88 91
a 4 6 11 12 15 18 19 20 27 28 33 34 36 40 41 42 43 45 46 47 49 53 56 58 60 65 72 79 81 85 88 91
a 4 6 11 12 15 18 19 20 27 28 33 34 36 40 41 42 43 45 46 49 53 56 58 60 65 72 79 81 85 87 88 91
a 4 6 11 12 15 18 19 20 27 28 33 34 36 40 41 42 43 45 46 49 53 56 58 60 65 76 79 81 85 87 88 91
a 4 6 11 12 15 18 19 20 27 28 33 36 40 41 42 43 45 46 49 53 56 58 60 65 67 76 79 81 85 87 88 91
a 4 6 11 12 15 18 19 20 27 28 33 36 40 42 43 45 46 49 53 56 58 60 65 67 76 77 79 81 85 87 88 91
a 4 6 11 12 15 18 19 20 27 28 33 36 40 42 43 45 46 49 56 58 60 65 67 76 77 79 81 82 85 87 88 91
a 4 6 11 12 15 18 19 20 27 28 33 36 40 42 43 45 46 49 54 56 58 60 65 67 76 77 81 82 85 87 88 91
a 4 6 11 12 15 18 19 20 27 28 33 36 40 41 42 43 45 46 49 54 56 58 60 65 67 76 77 81 85 87 88 91
a 4 6 11 12 15 18 20 27 28 33 36 40 41 42 43 44 45 46 49 54 56 58 60 65 67 76 77 81 85 87 88 91
a 4 6 11 12 15 18 20 27 28 33 36 40 41 42 43 44 45 46 49 54 56 58 65 66 67 76 77 81 85 87 88 91
a 4 6 11 12 14 15 20 27 28 33 36 40 41 42 43 44 45 46 49 54 56 58 65 66 67 76 77 81 85 87 88 91
a 4 6 11 12 14 15 20 27 28 33 36 40 42 43 44 45 46 49 54 56 58 65 66 67 76 77 81 82 85 87 88 91
a 4 6 11 12 14 15 20 27 28 33 36 40 42 43 44 45 46 49 53 54 56 58 65 66 67 76 77 81 85 87 88 91
a 6 11 12 14 15 20 27 28 33 36 40 42 43 44 45 46 49 53 54 56 58 65 66 67 76 77 80 81 85 87 88 91
a 6 11 12 14 15 20 27 28 33 36 39 40 42 43 44 45 46 49 53 54 56 65 66 67 76 77 80 81 85 87 88 91
a 6 12 14 15 20 26 27 28 33 36 39 40 42 43 44 45 46 49 53 54 56 65 66 67 76 77 80 81 85 87 88 91
a 6 12 14 15 25 26 27 28 33 36 39 40 42 43 44 45 46 49 53 54 56 65 66 67 76 77 80 81 85 87 88 91
a 6 11 14 15 25 26 27 28 33 36 39 40 42 43 44 45 46 49 53 54 56 65 66 67 76 77 80 81 85 87 88 91
a 5 6 11 14 15 25 26 27 28 33 36 39 40 42 43 44 45 46 49 54 56 65 66 67 76 77 80 81 85 87 88 91
a 5 6 11 14 15 19 25 26 27 28 33 36 39 40 42 43 45 46 49 54 56 65 66 67 76 77 80 81 85 87 88 91
a 5 6 11 15 18 19 25 26 27 28 33 36 39 40 42 43 45 46 49 54 56 65 66 67 76 77 80 81 85 87 88 91
a 6 11 15 18 19 25 26 27 28 33 36 39 40 42 43 45 46 49 54 56 65 66 67 76 77 80 81 82 85 87 88 91
a 6 11 15 18 19 22 25 26 27 28 33 36 39 40 42 43 45 46 49 54 56 65 66 67 76 77 80 81 82 85 88 91
a 6 11 14 15 19 22 25 26 27 28 33 36 39 40 42 43 45 46 49 54 56 65 66 67 76 77 80 81 82 85 88 91
a 6 11 14 15 19 22 24 25 26 27 28 33 36 39 40 42 43 45 46 49 54 56 65 66 67 77 80 81 82 85 88 91
a 6 11 14 15 19 22 24 25 26 27 28 33 36 39 40 42 43 45 46 49 54 56 60 65 67 77 80 81 82 85 88 91
a 6 11 14 15 19 22 24 25 26 27 28 33 36 39 40 42 43 45 46 47 49 54 56 60 65 77 80 81 82 85 88 91
a 6 11 14 15 17 19 22 24 25 26 27 28 33 36 39 40 42 43 45 46 47 49 54 56 60 65 77 80 81 82 85 88
a 6 11 14 15 17 19 22 24 25 26 27 28 33 36 39 40 42 43 45 46 47 49 54 56 60 65 77 80 81 82 85 91
a 11 12 14 15 17 19 22 24 25 26 27 28 33 36 39 40 42 43 45 46 47 49 54 56 60 65 77 80 81 82 85 91
a 11 12 14 15 17 19 22 24 25 26 27 28 33 36 39 40 42 43 45 46 47 49 54 56 60 65 77 80 81 82 85 88
a 11 12 14 15 17 19 22 24 25 26 27 28 33 36 39 40 42 43 45 46 47 49 56 60 65 77 80 81 82 85 88 91
a 11 12 14 15 17 19 22 24 25 26 27 28 33 36 39 40 42 43 45 46 47 49 56 60 65 72 77 81 82 85 88 91
a 11 12 15 17 18 19 22 24 25 26 27 28 33 36 39 40 42 43 45 46 47 49 56 60 65 72 77 81 82 85 88 91
a 11 12 15 17 18 19 22 24 25 26 27 28 33 36 39 40 42 43 45 46 47 49 56 60 65 72 77 79 81 82 88 91
a 6 11 12 15 17 18 22 24 25 26 27 28 33 36 39 40 42 43 45 46 47 49 56 60 65 72 77 79 81 82 88 91
a 6 11 12 15 17 18 22 24 25 26 27 28 33 36 39 42 43 45 46 47 49 56 60 65 72 77 79 81 82 86 88 91
a 6 11 12 15 17 18 22 24 25 26 27 28 33 36 39 42 43 45 46 47 49 56 60 65 72 77 79 81 82 85 86 88
a 11 12 15 17 18 22 24 25 26 27 28 33 36 39 42 43 45 46 47 49 56 60 62 65 72 77 79 81 82 85 86 88
a 11 12 15 17 18 22 24 25 26 27 28 33 36 39 42 43 45 46 47 49 56 60 62 65 72 74 77 79 81 85 86 88
a 11 12 15 17 18 22 24 25 26 27 28 33 36 39 42 43 45 46 47 49 56 60 62 63 65 72 74 79 81 85 86 88
a 11 12 15 17 18 22 24 25 26 27 28 33 36 39 42 43 45 46 47 49 56 60 62 63 65 72 79 81 82 85 86 88
a 11 12 15 17 18 19 22 24 25 26 27 28 33 36 39 42 43 45 46 47 49 56 60 62 63 65 72 79 81 82 85 86
a 11 15 17 18 19 22 24 25 26 27 28 33 36 39 42 43 45 46 47 49 56 60 62 63 65 72 79 81 82 85 86 88
a 11 15 17 18 19 22 24 25 26 27 28 33 36 39 42 43 45 46 47 49 56 60 62 63 65 72 74 79 81 85 86 88
a 11 15 17 18 19 22 24 25 26 27 28 33 36 39 42 43 45 46 47 49 56 60 62 63 65 72 74 79 81 85 86 91
a 11 15 16 17 18 19 22 25 26 27 28 33 36 39 42 43 45 46 47 49 56 60 62 63 65 72 74 79 81 85 86 91
a 4 11 15 16 17 18 19 22 25 26 27 28 33 36 42 43 45 46 47 49 56 60 62 63 65 72 74 79 81 85 86 91
a 4 11 15 16 17 18 19 22 25 26 27 28 33 36 42 43 45 47 49 56 57 60 62 63 65 72 74 79 81 85 86 91
a 4 11 15 16 17 18 19 22 25 26 27 28 33 36 42 43 45 47 49 56 57 60 62 63 65 72 74 76 79 81 85 86
a 4 11 15 16 18 19 22 25 26 27 28 33 36 42 43 45 47 49 56 57 60 62 63 65 72 74 76 79 81 85 86 91
a 4 11 15 16 18 19 22 26 27 28 33 36 42 43 45 46 47 49 56 57 60 62 63 65 72 74 76 79 81 85 86 91
a 4 11 15 18 19 22 26 27 28 33 36 42 43 45 46 47 49 56 57 60 62 63 65 72 74 76 79 81 85 86 88 91
a 4 11 15 18 19 20 22 27 28 33 36 42 43 45 46 47 49 56 57 60 62 63 65 72 74 76 79 81 85 86 88 91
a 4 11 15 18 19 20 22 27 28 33 36 42 43 45 46 47 49 56 57 60 62 63 65 72 76 79 81 82 85 86 88 91
a 3 4 11 15 18 19 20 22 27 28 33 36 42 43 45 46 47 49 56 57 60 62 65 72 76 79 81 82 85 86 88 91
a 3 4 15 18 19 20 22 27 28 33 36 42 43 45 46 47 49 56 57 60 62 65 70 72 76 79 81 82 85 86 88 91
a 3 4 15 18 19 20 22 27 28 32 33 36 42 43 45 46 47 49 56 57 60 62 65 70 72 76 79 81 82 85 88 91
a 3 4 15 18 19 20 22 27 28 32 33 36 42 43 45 46 47 49 56 57 60 62 65 70 76 79 81 82 85 88 90 91
a 3 4 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 47 49 56 57 62 65 70 76 79 81 82 85 88 90 91
a 3 4 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 47 49 56 57 65 66 70 76 79 81 82 85 88 90 91
a 3 4 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 49 56 57 65 66 67 70 76 79 81 82 85 88 90 91
a 3 4 6 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 49 56 65 66 67 70 76 79 81 82 85 88 90 91
c Step: 369
#END: [Tue Sep  5 06:54:45 2023]