#BEGIN: [Mon Sep  4 16:11:08 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance007_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance007_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 /benchmark/random_instance/random_instance007_graph005.col /benchmark/random_instance/random_instance007_graph005_01.dat
c /benchmark/random_instance/random_instance007_graph005.col
c /benchmark/random_instance/random_instance007_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID 6924a7d7f9cd3954ad6f0ea9b53ad0598188a5bd28f3d44ee7e67c772e223307
s 52 88 83 3 4 6 42 11 21 74 64 58 65 75 81 51 10 59 22 16 31 15 78 24 89 46 25 39 84 87 18 41
t 45 52 61 25 29 28 33 12 8 85 17 20 22 70 66 19 10 15 91 89 9 31 78 46 16 47 41 59 73 67 63 69
a YES
a 3 4 6 10 11 15 16 18 21 22 24 25 31 39 41 42 46 51 52 58 59 64 65 74 75 78 81 83 84 87 88 89
a 3 4 6 10 11 15 16 18 21 22 24 25 31 39 41 42 45 46 51 52 58 59 64 65 74 75 78 81 83 84 87 89
a 3 4 6 10 11 15 18 21 22 24 25 31 39 41 42 44 45 46 51 52 58 59 64 65 74 75 78 81 83 84 87 89
a 3 4 6 10 11 15 21 22 24 25 31 39 41 42 44 45 46 51 52 58 59 62 64 65 74 75 78 81 83 84 87 89
a 3 4 6 10 11 15 21 22 24 25 31 39 41 42 44 45 46 51 52 58 59 62 64 65 70 74 75 78 81 84 87 89
a 3 4 10 11 15 21 22 24 25 31 39 41 42 44 45 46 47 51 52 58 59 62 64 65 70 74 75 78 81 84 87 89
a 3 4 10 15 17 21 22 24 25 31 39 41 42 44 45 46 47 51 52 58 59 62 64 65 70 74 75 78 81 84 87 89
a 3 4 10 15 17 21 22 24 25 31 39 41 42 44 45 46 47 51 52 58 59 62 64 65 69 70 74 78 81 84 87 89
a 3 4 10 11 15 21 22 24 25 31 39 41 42 44 45 46 47 51 52 58 59 62 64 65 69 70 74 78 81 84 87 89
a 3 4 10 11 15 18 21 22 24 25 31 39 41 42 44 45 46 47 51 52 58 59 62 64 65 70 74 78 81 84 87 89
a 3 4 10 11 15 18 21 22 24 25 31 39 41 42 44 45 46 47 51 52 58 59 62 64 65 70 74 75 78 81 84 87
a 3 4 10 11 15 18 21 22 24 25 31 33 39 41 42 44 45 46 47 51 52 58 59 62 64 65 70 74 75 78 84 87
a 3 4 10 11 15 18 21 22 24 25 31 33 39 41 42 44 45 46 47 51 52 58 59 62 64 65 74 75 78 84 87 89
a 4 10 11 15 18 21 22 24 25 31 33 39 41 42 44 45 46 47 51 52 58 59 62 64 65 74 75 78 83 84 87 89
a 4 10 11 15 18 21 22 24 25 31 39 41 42 44 45 46 47 51 52 58 59 62 64 65 74 75 78 81 83 84 87 89
a 4 9 10 11 15 18 21 22 24 25 31 39 41 42 44 45 46 47 52 58 59 62 64 65 74 75 78 81 83 84 87 89
a 4 5 9 10 11 15 18 21 22 24 25 31 39 41 42 44 45 46 47 52 58 62 64 65 74 75 78 81 83 84 87 89
a 4 5 9 10 11 15 18 21 22 24 25 31 39 41 42 44 45 46 47 52 58 62 64 65 72 74 75 81 83 84 87 89
a 4 9 10 11 15 18 21 22 24 25 31 39 41 42 44 45 46 47 52 58 59 62 64 65 72 74 75 81 83 84 87 89
a 4 9 10 11 15 18 21 22 24 25 31 33 39 41 42 44 45 46 47 52 58 59 62 64 65 72 74 75 83 84 87 89
a 4 10 11 15 18 21 22 24 25 31 33 39 41 42 44 45 46 47 51 52 58 59 62 64 65 72 74 75 83 84 87 89
a 4 10 11 15 18 21 22 24 25 31 33 39 41 42 44 45 46 47 48 51 52 58 59 62 64 65 72 75 83 84 87 89
a 4 10 11 15 18 21 22 24 25 31 33 39 41 42 44 45 46 47 48 51 52 58 59 62 64 65 72 73 75 83 87 89
a 4 10 11 15 18 19 21 22 24 25 31 33 39 41 42 44 45 46 47 48 51 52 58 59 62 64 65 72 73 75 87 89
a 4 10 11 15 18 19 21 22 24 25 31 33 39 41 42 44 45 46 47 48 51 52 58 59 62 64 65 70 73 75 87 89
a 4 10 11 15 18 19 21 22 24 25 31 33 39 41 42 44 45 46 47 48 51 52 58 59 62 64 65 70 73 75 78 87
a 4 10 11 15 18 19 21 22 24 25 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 64 65 70 73 75 78 87
a 4 10 11 15 18 19 21 22 24 25 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 64 65 70 75 76 78 87
a 4 10 11 15 18 21 22 24 25 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 64 65 70 75 76 78 84 87
a 3 4 10 11 15 18 21 22 24 25 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 64 65 75 76 78 84 87
a 3 10 11 15 18 21 22 24 25 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 64 65 75 76 78 83 84 87
a 3 4 11 15 18 21 22 24 25 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 64 65 75 76 78 83 84 87
a 3 4 6 11 15 18 21 22 24 25 31 33 39 41 42 44 46 48 51 52 53 58 59 62 64 65 75 76 78 83 84 87
a 3 4 6 11 15 18 21 22 24 25 31 33 39 41 42 44 46 48 51 52 53 58 59 62 64 65 70 75 76 78 84 87
a 3 4 10 11 15 18 21 22 24 25 31 33 39 41 42 44 46 48 51 52 53 58 59 62 64 65 70 75 76 78 84 87
a 3 4 10 11 15 18 19 21 22 24 25 31 33 39 41 42 44 46 48 51 52 53 58 59 62 64 65 70 75 76 78 87
a 3 4 6 10 11 15 18 19 21 22 24 25 31 33 39 41 42 44 46 48 51 52 53 58 59 62 64 65 70 75 78 87
a 3 4 6 10 11 15 18 19 21 24 25 31 33 39 41 42 44 46 48 51 52 53 58 59 62 64 65 70 75 76 78 87
a 4 6 10 11 15 18 19 21 22 24 25 31 33 39 41 42 44 46 48 51 52 53 58 59 62 64 65 70 75 76 78 87
a 2 4 10 11 15 18 19 21 22 24 25 31 33 39 41 42 44 46 48 51 52 53 58 59 62 64 65 70 75 76 78 87
a 2 3 4 10 11 15 18 19 21 22 24 25 31 33 39 41 42 44 46 48 51 52 53 58 59 62 64 65 70 75 76 78
a 2 3 10 11 15 18 19 21 22 24 25 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 64 65 70 75 76 78
a 2 3 4 10 15 18 19 21 22 24 25 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 64 65 70 75 76 78
a 2 3 4 10 11 18 19 21 22 24 25 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 64 65 70 75 76 78
a 2 3 4 10 11 18 21 22 24 25 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 64 65 70 75 76 78 84
a 2 3 10 11 18 21 22 24 25 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 63 64 65 70 75 76 78 84
a 3 10 11 15 18 21 22 24 25 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 63 64 65 70 75 76 78 84
a 3 10 11 15 18 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 70 75 76 78 84
a 10 11 15 18 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 70 75 76 78 84 87
a 3 11 15 18 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 70 75 76 78 84 87
a 3 10 11 15 18 21 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 70 75 76 78 84 87
a 3 10 11 15 18 21 24 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 70 75 76 78 84 86 87
a 3 10 11 15 18 19 21 24 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 70 75 76 78 86 87
a 3 10 11 18 19 21 22 24 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 70 75 76 78 86 87
a 3 10 11 18 19 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 70 75 76 78 87
a 3 11 15 18 19 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 70 75 76 78 87
a 3 11 15 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 70 76 78 87
a 3 11 15 18 19 20 21 22 24 25 27 31 33 39 42 44 46 47 48 51 52 53 58 62 63 64 65 70 76 78 87 89
a 3 11 15 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 70 76 78 89
a 3 15 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 70 76 78 89
a 3 11 15 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 70 76 78
a 3 10 11 15 18 19 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 70 76 78
a 3 10 11 15 18 19 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 78
a 3 10 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 78
a 3 10 11 18 19 20 21 22 24 25 27 31 33 34 39 41 42 44 46 47 48 51 53 58 62 63 64 65 66 69 70 78
a 3 10 11 18 19 20 22 24 25 27 31 33 34 39 41 42 44 46 47 48 51 53 58 62 63 64 65 66 69 70 78 91
a 3 10 11 18 19 20 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 78 91
a 10 11 15 18 19 20 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 78 91
a 10 11 15 18 19 20 22 24 25 27 31 33 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 78 91
a 10 11 15 18 19 20 22 24 25 27 31 33 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 70 78 89 91
a 10 11 15 18 19 20 22 24 25 27 31 33 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 78 89
a 3 10 11 15 18 19 20 22 24 25 27 31 33 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 78
a 3 10 11 15 18 19 20 22 24 25 27 31 33 39 41 42 44 45 46 47 48 51 52 58 62 63 65 66 69 70 73 78
a 3 10 11 18 19 20 22 24 25 27 31 33 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 78
a 3 10 11 15 18 19 20 22 24 25 27 31 33 39 41 42 44 45 46 47 48 51 52 58 62 63 64 66 69 70 73 78
a 3 11 15 18 19 20 22 24 25 27 31 33 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 78
a 3 10 11 15 18 19 20 22 24 25 27 31 33 39 41 42 44 45 46 47 51 52 58 62 63 64 65 66 69 70 73 78
a 3 5 10 11 15 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 51 52 58 62 63 64 65 66 69 70 73 78
a 3 5 10 11 15 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 51 52 58 62 63 64 65 66 69 70 74 78
a 5 8 10 11 15 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 51 52 58 62 63 64 65 66 69 70 74 78
a 5 8 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 51 52 58 62 63 64 65 66 69 70 74 78 89
a 5 10 11 15 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 51 52 58 62 63 64 65 66 69 70 74 78 89
a 5 8 10 11 15 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 51 52 58 62 63 64 66 69 70 74 78 89
a 5 8 10 11 15 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 51 52 58 62 63 64 65 66 69 70 74 89
a 8 10 11 15 18 19 20 22 24 25 27 31 33 39 41 42 44 45 46 47 51 52 58 62 63 64 65 66 69 70 74 89
a 8 10 11 15 18 19 20 22 24 25 27 31 33 39 41 42 44 45 46 47 52 58 62 63 64 65 66 69 70 74 78 89
a 8 10 11 15 18 19 20 22 24 25 27 31 33 39 41 42 44 45 46 47 48 52 58 62 63 64 65 66 69 70 78 89
a 8 11 15 18 19 20 22 24 25 27 31 33 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 78 89
a 8 11 15 18 19 20 22 24 25 27 31 33 39 41 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 78 89 91
a 8 11 15 18 19 20 22 24 25 27 33 36 39 41 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 78 89 91
a 8 10 11 18 19 20 22 24 25 27 33 36 39 41 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 78 89 91
a 8 11 18 19 20 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 78 89 91
a 8 15 18 19 20 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 78 89 91
a 8 15 18 19 20 22 24 25 33 36 39 41 42 44 45 46 47 48 51 52 58 59 62 63 64 65 66 69 70 78 89 91
a 8 10 15 18 19 20 22 24 25 33 36 39 41 42 44 45 46 47 48 51 52 58 59 62 63 64 65 66 69 70 78 89
a 8 10 15 18 19 20 22 25 33 36 39 41 42 44 45 46 47 48 51 52 58 59 62 63 64 65 66 69 70 78 85 89
a 8 10 11 15 18 19 20 22 25 33 36 39 41 42 44 45 46 47 48 51 52 58 59 62 63 64 65 66 69 70 78 85
a 8 10 11 15 18 19 20 22 25 33 36 39 41 42 44 45 46 47 48 51 52 58 59 62 63 64 65 66 69 70 85 91
a 8 10 11 15 18 19 20 22 25 33 39 41 42 44 45 46 47 48 51 52 58 59 62 63 64 65 66 69 70 78 85 91
a 8 10 11 15 18 19 20 22 25 29 33 39 41 42 44 45 46 47 48 51 52 58 59 62 63 64 65 66 69 70 85 91
a 8 10 11 15 18 19 20 22 25 29 33 39 41 42 44 45 46 47 48 51 52 58 59 62 63 64 65 66 69 70 78 91
a 10 11 15 18 19 20 22 25 29 31 33 39 41 42 44 45 46 47 48 51 52 58 59 62 63 64 65 66 69 70 78 91
a 2 10 11 15 18 19 20 22 25 29 31 33 39 41 42 44 45 46 47 48 51 52 58 59 62 63 65 66 69 70 78 91
a 2 10 11 15 18 19 20 22 25 29 31 33 39 41 42 44 45 46 47 48 51 58 59 62 63 64 65 66 69 70 78 91
a 2 10 11 15 18 19 20 22 25 29 31 33 39 41 42 44 45 46 47 48 58 59 62 63 64 65 66 69 70 73 78 91
a 2 10 11 15 18 19 20 22 25 29 31 33 39 41 42 44 45 46 47 48 52 58 59 62 63 64 65 66 69 70 73 91
a 10 11 15 18 19 20 22 25 29 31 33 39 41 42 44 45 46 47 48 51 52 58 59 62 63 64 65 66 69 70 73 91
a 10 11 15 18 19 20 22 25 29 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 63 64 65 66 69 70 73 91
a 10 15 18 19 20 22 25 29 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 63 64 65 66 69 70 73 78 91
a 15 18 19 20 22 25 29 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 63 64 65 66 69 70 73 78 85 91
a 11 15 18 19 20 22 25 29 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 63 64 65 66 69 73 78 85 91
a 3 11 15 18 19 20 22 25 29 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 63 64 65 66 69 73 78 91
a 3 11 15 18 19 20 22 25 27 29 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 73 78 91
a 3 11 15 18 19 20 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 73 78 91
a 3 11 18 19 20 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 73 77 78 91
a 3 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 73 77 78
a 3 10 11 18 19 20 21 22 24 25 27 31 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 73 77 78
a 3 10 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 51 52 53 58 62 63 64 65 66 69 73 77 78
a 3 10 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 73 78
a 3 10 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 65 66 69 73 78 89
a 3 10 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 65 69 73 77 78 89
a 3 10 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 69 73 77 89
a 3 10 11 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 73 77 89
a 3 10 11 18 19 20 21 22 24 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 73 77 89
a 10 11 18 19 20 21 22 24 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 73 77 89
a 10 11 18 19 20 21 22 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 73 77 89
a 10 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 77 89
a 10 11 18 19 20 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 77 78 89
a 10 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 77 78
a 10 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77 78
a 3 10 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77
a 3 10 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 45 46 47 48 51 58 62 63 64 65 66 69 70 73 77
a 8 10 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 45 46 47 48 51 58 62 63 64 65 66 69 70 73 77
a 10 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77
a 10 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 45 46 47 48 51 52 58 62 63 64 66 69 70 73 77 78
a 8 10 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 45 46 47 48 51 52 58 62 63 64 66 69 70 77 78
a 8 10 11 18 20 21 22 24 25 27 31 33 39 41 42 44 45 46 47 48 51 52 58 62 63 64 66 69 70 73 77 78
a 8 10 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 45 46 47 48 51 52 58 62 63 64 66 69 70 73 77
a 2 8 10 11 18 19 20 21 22 24 27 31 33 39 41 42 44 45 46 47 48 51 52 58 62 63 64 66 69 70 73 77
a 2 10 11 18 19 20 21 22 24 25 27 31 33 39 41 42 44 45 46 47 48 51 52 58 62 63 64 66 69 70 73 77
a 2 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 66 69 70 73 77
a 2 10 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77
a 2 10 11 18 19 20 21 22 24 25 27 33 36 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77
a 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77
a 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 48 51 52 58 62 63 64 65 66 69 70 73 77 78
a 10 11 18 19 20 21 22 24 25 27 33 36 39 41 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77 78
a 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 70 73 77 78
a 10 11 18 19 20 21 22 24 25 27 33 36 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77 78
a 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77 78
a 10 11 18 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77 78
a 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 73 77 78
a 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 63 64 65 66 69 72 73 77 78
a 10 11 18 19 20 21 22 24 25 27 33 34 36 39 41 42 44 45 46 47 48 51 58 63 64 65 66 69 72 73 77 78
a 10 11 18 19 20 21 22 24 25 27 33 34 36 39 41 42 44 45 46 47 48 51 58 62 63 64 65 66 69 72 73 77
a 8 10 11 18 19 20 21 22 24 25 27 33 34 36 39 41 42 44 45 46 47 48 51 58 62 63 64 65 66 69 72 77
a 2 8 10 11 18 19 20 21 22 24 25 27 33 34 36 39 41 44 45 46 47 48 51 58 62 63 64 65 66 69 72 77
a 2 8 10 11 18 19 20 21 22 24 25 27 33 34 36 41 44 45 46 47 48 51 58 62 63 64 65 66 69 72 73 77
a 2 8 10 11 19 20 21 22 24 25 27 33 34 36 39 41 44 45 46 47 48 51 58 62 63 64 65 66 69 72 73 77
a 2 8 10 11 19 20 21 22 25 27 33 34 36 39 41 44 45 46 47 48 51 58 62 63 64 65 66 69 72 73 77 78
a 2 8 11 19 20 21 22 25 27 33 34 36 39 41 42 44 45 46 47 48 51 58 62 63 64 65 66 69 72 73 77 78
a 2 8 10 11 19 20 21 22 25 27 33 34 36 39 41 42 44 45 46 47 48 51 58 63 64 65 66 69 72 73 77 78
a 2 8 10 11 19 20 21 22 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 63 64 65 66 69 72 73 77 78
a 2 8 10 11 18 19 20 21 22 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 63 64 65 66 69 72 73 78
a 8 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 63 64 65 66 69 72 73 78
a 8 10 11 18 19 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 73 78
a 2 8 10 11 18 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 73 78
a 2 10 11 18 19 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 73 78
a 2 8 10 11 18 19 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 73
a 8 10 11 18 19 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 73 77
a 8 10 11 18 19 20 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 73 77
a 8 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 73 77
a 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 73 77 89
a 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 69 72 73 77 89
a 8 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 72 73 77 89
a 2 8 10 11 18 19 20 21 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 72 73 77 89
a 2 10 11 18 19 20 21 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 72 73 77 89
a 2 10 11 18 19 20 21 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 73 89
a 2 10 11 18 19 20 21 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 63 64 65 66 69 72 73 77 89
a 10 11 18 19 20 21 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 73 77 89
a 10 11 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 73 77 89
a 10 11 19 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 73 77 78 89
a 10 11 19 20 21 22 24 25 27 33 36 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 73 77 78 89
a 8 10 11 19 20 21 22 24 25 27 33 36 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 77 78 89
a 8 11 18 19 20 21 22 24 25 27 33 36 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 77 78 89
a 8 11 18 19 20 21 22 24 25 27 33 36 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 73 77 89
a 8 10 11 18 19 20 21 22 24 25 27 33 36 41 42 44 45 46 47 48 51 52 58 62 64 65 66 69 72 73 77 89
a 8 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 52 58 62 64 65 66 69 72 73 77 89
a 8 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 64 65 66 69 72 73 77
a 8 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 72 73 77
a 8 10 11 18 19 20 21 22 24 25 27 33 36 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 73 77
a 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 72 73 77
a 2 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 69 72 73 77
a 2 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 69 70 73 77
a 2 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73
a 3 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73
a 3 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 78
a 3 10 11 18 19 20 21 22 24 25 27 33 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 78
a 3 10 11 18 19 20 21 22 24 25 27 33 39 41 42 44 45 46 47 48 51 58 62 63 64 65 66 69 70 73 77 78
a 3 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 58 62 63 64 65 66 69 70 73 77 78
a 3 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 77 78
a 3 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 77 78
a 3 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 73 77
a 2 3 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 66 69 73 77
a 2 3 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 73 77
a 2 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 73 77 78
a 2 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 73 77 89
a 2 8 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 73 77
a 2 8 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73
a 2 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77
a 2 11 18 19 20 21 22 24 25 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77 78
a 2 3 11 18 20 21 22 24 25 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77 78
a 3 11 18 19 20 21 22 24 25 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77 78
a 2 3 11 18 19 20 21 22 24 25 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77
a 2 3 10 11 18 19 20 21 22 24 25 33 36 39 41 42 44 45 46 47 48 51 58 62 63 64 65 66 69 70 73 77
a 3 10 11 18 19 20 21 22 24 25 33 36 39 41 42 44 45 46 47 48 51 58 62 63 64 65 66 69 70 73 77 78
a 3 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 58 62 64 65 66 69 70 73 77 78
a 3 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 51 52 58 62 64 65 66 69 70 73 77 78
a 3 10 11 18 19 21 22 24 25 27 33 36 39 41 42 44 45 46 47 51 52 58 62 63 64 65 66 69 70 73 77 78
a 3 10 11 18 19 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77 78
a 3 10 11 18 19 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 78
a 10 11 15 18 19 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 78
a 10 11 15 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 78
a 11 15 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 78
a 10 11 15 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 73 78
a 10 11 15 18 19 20 21 22 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 78
a 10 11 15 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73
a 3 10 11 15 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 47 48 51 52 58 62 63 64 65 66 69 70 73
a 3 10 11 15 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 73
a 3 10 11 15 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 73 89
a 3 10 11 15 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 62 63 64 65 66 69 73 89
a 3 10 11 15 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 62 64 65 66 69 70 73 89
a 3 11 15 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 64 65 66 69 70 73 89
a 3 11 15 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 89
a 3 10 11 15 18 19 20 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 89
a 10 11 15 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 89
a 10 11 15 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 78 89
a 10 11 15 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 48 51 52 58 62 63 64 65 66 69 70 78 89
a 11 15 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 78 89
a 3 11 15 18 19 20 21 22 24 25 27 33 36 39 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 78 89
a 3 15 18 19 20 21 22 24 25 27 33 36 39 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 78 89
a 3 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 78 89
a 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77 78 89
a 10 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77 78
a 10 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 73 77 78
a 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 51 52 53 58 62 63 64 65 66 69 70 73 77 78
a 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 73 77 78
a 8 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 73 77 78
a 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 73 77 78 89
a 11 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 73 77 78 89
a 10 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 73 77 78 89
a 3 10 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 51 52 53 58 62 63 64 65 66 69 70 73 77 78 89
a 3 10 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 73 77 78
a 3 10 11 19 20 21 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 73 77 78
a 3 11 18 19 20 21 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 73 77 78
a 3 11 18 19 20 21 24 25 27 33 36 39 41 42 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77 78
a 3 11 18 19 20 21 22 24 25 27 33 36 39 41 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77 78
a 3 10 11 18 19 20 21 22 24 25 27 33 36 39 41 44 45 46 47 48 51 52 58 62 63 64 65 66 69 70 73 77
a 3 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 45 46 48 51 52 58 62 63 64 65 66 69 70 73 77
a 3 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 48 51 52 53 58 62 63 64 65 66 69 70 73 77
a 3 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 66 69 70 73 77
a 3 10 11 18 19 20 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 69 70 73 77
a 3 10 11 18 19 20 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 53 58 63 64 65 69 70 73 77 89
a 3 10 18 19 20 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 69 70 73 77 89
a 10 18 19 20 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 69 70 73 77 78 89
a 10 11 18 19 20 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 69 70 73 77 89
a 10 11 18 19 20 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 66 69 73 77 89
a 2 10 11 18 19 20 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 66 73 77 89
a 2 10 11 18 19 20 21 22 24 25 27 30 33 36 39 41 44 46 47 48 51 52 53 58 63 64 65 66 70 73 77 89
a 2 11 18 19 20 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 66 70 73 77 89
a 2 10 11 18 19 20 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 66 70 73 77 89
a 2 10 11 18 20 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 66 70 73 77 89
a 2 11 18 20 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 66 69 70 73 77 89
a 2 11 18 19 20 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 66 69 70 73 77
a 2 3 11 18 19 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 66 69 70 73 77
a 3 11 18 19 20 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 66 69 70 73 77
a 8 11 18 19 20 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 66 69 70 73 77
a 8 11 15 18 19 20 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 66 69 70 73
a 8 11 15 18 19 20 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 66 69 70 73 91
a 8 11 15 18 19 20 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 73 91
a 8 11 15 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 73
a 2 8 11 15 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 73
a 2 8 10 11 15 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69
a 2 3 10 11 15 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69
a 2 3 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 77
a 3 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 77 89
a 2 3 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 89
a 2 8 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 89
a 8 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 78 89
a 8 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 66 69 77 78 89
a 8 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 77 89
a 8 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 47 48 51 52 53 54 58 62 63 64 65 66 69 77 89
a 8 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 47 48 51 52 54 58 62 63 64 65 66 69 70 77 89
a 8 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 47 48 51 52 58 62 63 64 65 66 69 70 73 77 89
a 8 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 58 62 63 64 65 66 69 70 73 89
a 8 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 64 65 66 69 70 73 89
a 8 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 52 53 58 62 63 64 65 66 69 70 73 89
a 8 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 69 70 73 89
a 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 73 89
a 10 11 18 19 20 21 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 73 77 89
a 10 11 18 19 20 21 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 66 69 70 73 77 89
a 10 11 18 19 20 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 66 69 70 73 77
a 10 11 18 19 20 21 22 24 25 27 30 33 36 39 42 44 46 47 48 51 52 53 56 58 63 64 65 66 69 70 73 77
a 10 11 18 19 20 21 22 24 25 27 33 36 39 42 44 46 47 48 51 52 53 56 58 62 63 64 65 66 69 70 73 77
a 3 10 11 18 19 20 21 22 24 25 27 33 36 39 42 44 46 47 48 52 53 56 58 62 63 64 65 66 69 70 73 77
a 3 10 11 18 19 20 21 22 24 25 27 33 36 39 42 44 46 47 48 51 52 53 56 58 62 63 64 65 66 69 70 73
a 3 10 11 18 19 20 21 22 24 25 27 33 36 39 41 42 44 46 47 48 51 52 53 58 62 63 64 65 66 69 70 73
a 3 10 11 18 19 20 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 66 69 70 73
a 2 3 10 11 18 19 20 21 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 65 66 69 70 73
a 2 3 10 11 18 19 20 22 24 25 27 30 33 36 39 41 42 44 46 47 48 51 52 53 58 63 64 65 66 69 70 73
a 2 3 10 11 15 18 19 20 22 24 25 27 30 33 36 41 42 44 46 47 48 51 52 53 58 63 64 65 66 69 70 73
a 2 3 10 11 15 18 19 20 22 24 25 30 33 36 41 42 44 46 47 48 51 52 53 58 59 63 64 65 66 69 70 73
a 2 3 10 11 15 16 18 19 20 22 24 25 30 33 36 41 42 46 47 48 51 52 53 58 59 63 64 65 66 69 70 73
a 2 8 10 11 15 16 18 19 20 22 24 25 30 33 36 41 42 46 47 48 51 52 53 58 59 63 64 65 66 69 70 73
a 2 8 10 11 15 16 18 19 20 22 24 25 33 36 41 42 46 47 48 51 52 53 58 59 63 64 65 66 69 70 73 89
a 2 8 10 11 15 16 18 19 20 22 25 33 36 41 42 46 47 48 51 52 53 58 59 63 64 65 66 69 70 73 85 89
a 8 10 11 15 16 18 19 20 22 25 29 33 36 41 42 46 47 48 51 52 53 58 59 63 64 65 66 69 70 73 85 89
a 8 10 11 15 16 18 19 20 22 25 29 33 36 41 42 45 46 47 48 51 52 58 59 63 64 65 66 69 70 73 85 89
a 8 10 11 15 16 18 19 20 22 25 29 33 36 41 45 46 47 48 51 52 58 59 63 64 65 66 69 70 73 78 85 89
a 8 10 11 15 16 18 19 20 22 25 29 31 33 41 45 46 47 48 51 52 58 59 63 64 65 66 69 70 73 78 85 89
a 8 10 11 15 16 18 19 20 22 25 29 31 33 41 45 46 47 51 52 58 59 63 64 65 66 69 70 73 78 85 89 91
a 8 10 11 15 16 18 19 20 22 25 29 31 33 41 45 46 47 51 52 59 63 64 65 66 67 69 70 73 78 85 89 91
a 8 10 11 15 16 18 19 20 22 25 29 31 33 41 45 46 47 51 52 59 61 63 64 66 67 69 70 73 78 85 89 91
a 8 10 11 15 16 18 19 20 22 25 28 29 31 33 41 45 46 47 51 52 59 61 63 66 67 69 70 73 78 85 89 91
a 8 9 10 11 15 16 18 19 20 22 25 28 29 31 33 41 45 46 47 52 59 61 63 66 67 69 70 73 78 85 89 91
a 8 9 10 12 15 16 18 19 20 22 25 28 29 31 33 41 45 46 47 52 59 61 63 66 67 69 70 73 78 85 89 91
a 8 9 10 12 15 16 17 19 20 22 25 28 29 31 33 41 45 46 47 52 59 61 63 66 67 69 70 73 78 85 89 91
c Step: 325
#END: [Mon Sep  4 16:41:09 2023]