#BEGIN: [Tue Sep  5 06:28:32 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#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 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /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 c857ca1079661975ef9d6ee53b61fe8d659bae4f18b7916e9fb5841c5a46f5fb
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 16 18 21 22 24 25 31 39 41 42 45 46 51 52 58 59 62 64 65 74 75 78 83 84 87 89
a 3 4 6 10 11 15 16 18 21 22 24 25 31 41 42 45 46 51 52 58 59 62 64 65 74 75 78 81 83 84 87 89
a 3 4 5 6 10 11 15 16 18 21 22 24 25 31 41 42 45 46 51 52 58 62 64 65 74 75 78 81 83 84 87 89
a 3 5 6 10 11 15 16 18 21 22 24 25 27 31 41 42 45 46 51 52 58 62 64 65 74 75 78 81 83 84 87 89
a 3 5 6 10 11 15 16 18 21 22 24 25 27 31 41 42 45 46 51 52 58 62 64 65 70 74 75 78 81 84 87 89
a 3 5 6 10 11 15 18 21 22 24 25 27 31 39 41 42 45 46 51 52 58 62 64 65 70 74 75 78 81 84 87 89
a 3 5 6 10 11 15 18 21 22 24 25 27 31 41 42 44 45 46 51 52 58 62 64 65 70 74 75 78 81 84 87 89
a 3 6 10 11 15 18 21 22 24 25 27 31 39 41 42 44 45 46 51 52 58 62 64 65 70 74 75 78 81 84 87 89
a 5 6 10 11 15 18 21 22 24 25 27 31 39 41 42 44 45 46 51 52 58 62 64 65 70 74 75 78 81 84 87 89
a 5 6 10 11 15 16 18 21 22 24 25 27 31 39 41 42 45 46 51 52 58 62 64 65 70 74 75 78 81 84 87 89
a 3 5 10 11 15 16 18 21 22 24 25 27 31 39 41 42 45 46 51 52 58 62 64 65 70 74 75 78 81 84 87 89
a 3 5 10 11 15 16 18 21 22 24 25 27 31 39 41 42 45 46 47 51 52 58 62 64 65 70 74 75 78 81 84 87
a 3 5 10 11 15 16 18 21 22 24 25 27 31 39 41 42 45 46 47 51 52 58 62 64 65 69 70 74 78 81 84 87
a 3 5 10 11 15 16 18 21 22 24 25 31 39 41 42 45 46 47 51 52 58 62 63 64 65 69 70 74 78 81 84 87
a 3 5 10 11 15 16 18 21 22 24 25 31 39 41 42 45 46 47 51 52 58 62 63 64 65 69 70 74 78 81 84 89
a 3 5 10 11 16 18 21 22 24 25 31 39 41 42 45 46 47 51 52 58 62 63 64 65 69 70 74 77 78 81 84 89
a 3 5 10 11 16 18 21 22 24 25 31 39 41 42 45 46 47 51 52 58 62 63 64 65 69 70 74 77 78 81 84 87
a 3 5 9 10 11 16 18 21 22 24 25 31 39 41 42 45 46 47 52 58 62 63 64 65 69 70 74 77 78 81 84 87
a 3 5 9 10 11 15 16 18 21 22 24 25 31 39 41 42 45 46 47 52 58 62 63 64 65 69 70 74 78 81 84 87
a 2 3 5 9 10 11 15 16 18 21 22 24 25 31 39 41 42 45 46 47 52 58 62 63 64 65 69 70 74 78 81 87
a 2 3 5 9 10 11 16 18 21 22 24 25 31 39 41 42 45 46 47 52 58 62 63 64 65 69 70 74 78 81 84 87
a 2 3 5 9 10 11 15 16 18 21 22 24 25 31 39 41 42 45 46 47 52 62 63 64 65 69 70 74 78 81 84 87
a 2 3 5 9 10 11 15 16 18 21 22 24 25 31 39 41 42 45 46 47 62 63 64 65 69 70 74 78 81 84 87 89
a 2 3 5 9 10 11 15 16 18 20 21 22 24 25 31 39 41 42 45 46 47 62 63 64 65 69 70 74 78 81 84 87
a 2 3 5 9 10 11 15 16 18 20 21 22 24 25 31 39 41 42 45 46 47 62 63 64 65 69 70 74 78 81 84 89
a 2 3 5 9 10 11 15 16 18 20 21 22 24 25 27 31 39 41 42 45 46 47 62 63 64 65 69 70 74 78 81 84
a 2 3 5 9 10 11 15 16 18 20 21 22 24 25 27 31 39 41 42 45 46 47 62 63 64 65 69 70 74 78 84 89
a 2 3 5 9 10 11 15 16 18 20 21 22 24 25 27 31 39 41 42 45 46 47 62 63 64 65 69 70 78 84 87 89
a 2 3 5 9 10 11 15 16 18 20 21 22 24 25 27 31 39 41 42 45 46 47 52 62 63 64 65 69 70 78 84 89
a 2 3 5 9 10 11 15 16 18 20 21 22 24 25 27 31 39 41 42 45 46 47 52 62 64 65 69 70 74 78 84 89
a 2 3 5 9 10 11 15 16 18 20 21 22 24 25 27 31 39 41 42 45 46 47 52 58 62 65 69 70 74 78 84 89
a 2 3 5 9 10 11 15 16 18 20 21 22 24 25 27 31 39 41 42 45 46 47 52 58 62 63 69 70 74 78 84 89
a 2 3 5 9 10 11 15 16 18 20 21 22 24 25 27 31 39 41 42 45 46 47 52 58 62 63 64 69 70 74 78 84
a 2 3 5 9 10 11 15 16 18 20 21 22 24 25 27 31 39 41 42 45 46 47 52 58 62 63 64 69 70 74 84 89
a 2 3 5 9 10 11 15 16 18 20 21 22 24 25 27 31 39 41 45 46 47 52 58 62 63 64 65 69 70 74 84 89
a 2 3 5 9 10 11 15 16 18 19 20 21 22 24 25 27 31 39 41 45 46 47 52 58 62 63 64 65 69 70 74 89
a 2 3 5 9 11 15 16 18 19 20 21 22 24 25 27 31 39 41 45 46 47 52 58 62 63 64 65 69 70 74 78 89
a 2 3 5 9 11 15 16 18 19 20 21 22 24 25 27 31 39 41 45 47 52 58 62 63 64 65 69 70 74 78 87 89
a 2 3 5 9 10 11 15 16 18 19 20 21 22 24 25 27 31 39 41 45 52 58 62 63 64 65 69 70 74 78 87 89
a 2 3 5 9 10 11 15 16 18 19 20 21 22 24 25 27 31 39 41 47 52 58 62 63 64 65 69 70 74 78 87 89
a 2 3 5 9 10 11 15 16 18 19 20 21 22 24 25 27 31 39 41 42 47 52 58 62 63 64 65 69 70 74 78 87
a 2 3 5 9 10 11 15 16 18 19 20 21 22 24 25 27 31 39 41 42 45 47 52 58 62 63 64 65 69 70 74 78
a 3 5 9 10 11 15 16 18 19 20 21 22 24 25 27 31 39 41 42 45 47 52 58 62 63 64 65 69 70 74 78 89
a 3 5 9 10 11 15 18 19 20 21 22 24 25 27 31 39 41 42 44 45 47 52 58 62 63 64 65 69 70 74 78 89
a 3 5 9 10 11 15 18 19 20 21 22 24 25 27 31 39 41 42 44 47 52 58 62 63 64 65 69 70 74 78 87 89
a 3 5 9 10 11 15 18 19 20 21 22 24 25 27 31 39 41 42 44 46 47 52 58 62 63 64 65 69 74 78 87 89
a 3 9 10 11 15 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 52 58 62 63 64 65 69 74 78 87 89
a 8 9 10 11 15 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 52 58 62 63 64 65 69 74 78 87 89
a 8 9 10 11 15 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 52 58 62 63 64 69 70 74 78 87 89
a 2 8 9 10 11 15 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 52 58 62 63 64 69 70 74 87 89
a 2 8 9 10 11 15 18 19 20 21 22 24 25 27 31 33 39 41 42 44 46 47 52 58 62 64 69 70 74 78 87 89
a 2 4 8 9 10 11 15 18 19 20 21 22 24 25 31 33 39 41 42 44 46 47 52 58 62 64 69 70 74 78 87 89
a 2 4 8 9 10 11 14 18 19 20 21 22 24 25 31 33 39 41 42 44 46 47 52 58 62 64 69 70 74 78 87 89
a 2 4 8 9 10 11 14 18 19 20 21 22 25 31 33 39 41 42 44 46 47 52 58 62 64 69 70 74 78 85 87 89
a 2 4 8 9 10 11 14 18 19 20 21 22 25 31 33 39 41 42 44 46 47 52 58 59 62 64 69 70 74 78 85 89
a 2 4 8 9 10 11 14 18 19 20 21 22 25 31 33 39 41 42 44 46 47 52 58 59 62 64 69 70 73 78 85 89
a 2 4 8 10 11 14 18 19 20 21 22 25 31 33 39 41 42 44 46 47 48 52 58 59 62 64 69 70 73 78 85 89
a 2 4 8 10 11 14 18 19 20 21 22 25 33 39 41 42 44 46 47 48 52 58 59 62 64 65 69 70 73 78 85 89
a 2 4 8 10 11 14 18 19 20 21 22 25 31 33 39 41 42 44 46 47 48 52 58 59 62 64 65 69 70 73 78 85
a 2 4 10 11 14 18 19 20 21 22 25 31 33 39 41 42 44 46 47 48 51 52 58 59 62 64 65 69 70 73 78 85
a 2 4 8 10 11 14 18 19 20 21 22 25 31 33 41 42 44 46 47 48 51 52 58 59 62 64 65 69 70 73 78 85
a 2 4 8 10 11 14 18 19 20 21 22 25 31 33 41 42 44 46 47 48 51 52 58 59 62 64 65 69 70 73 78 89
a 2 4 8 10 11 14 18 19 20 21 22 25 31 33 39 41 42 44 46 47 48 51 52 58 59 62 64 65 69 70 73 89
a 2 4 8 10 11 14 18 19 20 21 22 25 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 64 65 69 70 73
a 2 4 8 10 11 14 18 19 20 21 22 25 31 33 39 41 42 44 46 47 48 51 52 53 58 59 62 64 65 69 73 89
a 2 4 8 10 11 14 18 19 20 21 22 25 30 31 33 39 41 42 44 46 47 48 51 52 53 58 59 64 65 69 73 89
a 2 4 8 10 11 14 18 19 20 21 22 25 30 31 33 39 41 42 44 46 47 48 51 52 58 59 64 65 69 72 73 89
a 2 4 8 10 11 14 18 19 20 21 22 24 25 30 31 33 39 41 42 44 46 47 48 51 52 58 59 65 69 72 73 89
a 2 4 8 10 14 18 19 20 21 22 24 25 30 31 33 39 41 42 44 46 47 48 51 52 58 59 65 69 72 73 78 89
a 2 4 8 10 14 18 19 20 21 24 25 30 31 33 39 41 42 44 46 47 48 51 52 58 59 64 65 69 72 73 78 89
a 2 4 8 10 14 18 19 20 22 24 25 30 31 33 39 41 42 44 46 47 48 51 52 58 59 64 65 69 72 73 78 89
a 2 4 8 10 11 14 18 19 20 22 25 30 31 33 39 41 42 44 46 47 48 51 52 58 59 64 65 69 72 73 78 89
a 2 4 8 10 11 14 18 19 20 21 22 30 31 33 39 41 42 44 46 47 48 51 52 58 59 64 65 69 72 73 78 89
a 2 4 8 10 11 14 19 20 21 22 30 31 33 39 41 42 44 46 47 48 51 52 58 59 64 65 69 72 73 78 87 89
a 2 8 10 11 14 19 20 21 22 24 30 31 33 39 41 42 44 46 47 48 51 52 58 59 64 65 69 72 73 78 87 89
a 2 8 10 11 14 19 20 21 22 24 25 30 31 33 39 41 42 44 46 47 48 51 52 58 59 64 65 69 72 73 78 87
a 2 10 11 14 18 19 20 21 22 24 25 30 31 33 39 41 42 44 46 47 48 51 52 58 59 64 65 69 72 73 78 87
a 2 10 11 18 19 20 21 22 24 25 30 31 33 39 41 42 44 45 46 47 48 51 52 58 59 64 65 69 72 73 78 87
a 8 10 11 18 19 20 21 22 24 25 30 31 33 39 41 42 44 45 46 47 48 51 52 58 59 64 65 69 72 73 78 87
a 4 8 10 11 18 19 20 21 22 24 25 31 33 39 41 42 44 45 46 47 48 51 52 58 59 64 65 69 72 73 78 87
a 2 4 8 10 11 18 19 20 21 22 24 25 31 33 39 41 42 44 45 46 47 48 51 52 58 59 64 65 69 72 73 78
a 2 4 8 10 11 18 19 20 21 22 24 25 31 33 39 41 42 44 45 46 47 48 51 52 58 59 64 65 69 73 78 89
a 2 4 10 11 18 19 20 21 22 24 25 31 33 39 41 42 44 45 46 47 48 51 52 58 59 64 65 69 73 78 87 89
a 2 4 10 11 18 19 20 21 22 24 25 31 33 39 41 42 44 45 46 47 48 51 52 58 59 64 65 69 72 73 78 89
a 2 4 10 11 18 19 20 21 22 24 25 31 33 34 39 41 42 44 45 46 47 48 51 58 59 64 65 69 72 73 78 89
a 2 10 11 18 19 20 21 22 24 25 31 33 34 39 41 42 44 45 46 47 48 51 58 59 64 65 66 69 72 73 78 89
a 2 10 11 18 19 20 21 22 24 25 31 33 34 39 41 42 44 45 46 47 48 51 58 64 65 66 69 72 73 77 78 89
a 2 8 10 11 18 19 20 21 22 24 25 31 34 39 41 42 44 45 46 47 48 51 58 64 65 66 69 72 73 77 78 89
a 2 8 10 11 18 19 20 21 22 24 25 31 34 39 41 42 44 45 46 47 48 51 58 64 65 66 69 70 73 77 78 89
a 2 3 10 11 18 19 20 21 22 24 25 31 34 39 41 42 44 45 46 47 48 51 58 64 65 66 69 70 73 77 78 89
a 2 3 5 10 11 18 19 20 21 22 24 25 31 34 39 41 42 44 45 46 47 51 58 64 65 66 69 70 73 77 78 89
a 2 3 5 10 11 18 19 20 21 22 24 25 31 34 39 41 42 44 45 46 47 51 58 64 65 66 69 70 73 77 78 81
a 2 3 5 10 11 18 19 20 21 22 24 25 31 34 39 41 42 44 45 46 47 51 58 62 64 65 66 69 70 73 78 81
a 2 3 5 10 11 18 19 20 21 22 24 25 31 34 39 41 42 44 45 46 47 51 58 62 65 66 69 70 73 78 81 89
a 2 3 5 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 51 58 62 65 66 69 70 73 78 81
a 2 3 5 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 51 58 62 65 66 69 70 71 73 78
a 2 3 5 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 51 58 62 63 65 66 69 70 71 73
a 2 3 5 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 51 58 62 63 65 66 69 70 71 73 78
a 2 3 5 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 51 58 62 63 66 69 70 71 73 77 78
a 2 3 5 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 51 58 62 63 66 69 71 73 77 78 89
a 2 5 8 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 51 58 62 63 66 69 71 73 77 78 89
a 2 5 8 9 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 66 69 71 73 77 78 89
a 2 8 9 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 66 69 71 73 77 78 81 89
a 2 3 9 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 66 69 71 73 77 78 81 89
a 2 3 9 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 66 69 71 73 77 78 81
a 2 3 5 9 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 58 62 63 66 69 71 73 77 78 81
a 2 3 5 9 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 66 69 71 73 77 78
a 2 3 5 9 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 69 71 73 77 78 81
a 2 3 5 9 10 11 18 19 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 69 71 73 77 78 81 89
a 2 3 5 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 69 71 73 77 78 81 89
a 2 3 5 10 11 18 19 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 66 69 71 73 77 78 81 89
a 2 5 8 10 11 18 19 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 66 69 71 73 77 78 81 89
a 2 5 8 10 11 18 19 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 66 69 70 71 73 77 81 89
a 2 5 8 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 62 63 66 69 70 71 73 77 81 89
a 2 5 8 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 62 63 65 66 69 70 71 73 77 89
a 2 5 8 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 62 63 65 66 69 70 71 73 77 81
a 2 5 8 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 65 66 69 70 71 73 77
a 2 5 8 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 65 66 69 70 71 73 78
a 2 5 8 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 65 66 69 71 72 73 78
a 2 5 8 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 65 66 69 71 72 73 78 91
a 2 5 8 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 66 69 71 72 73 78 81 91
a 2 5 8 9 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 66 69 72 73 78 81 91
a 2 5 8 9 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 66 69 73 78 81 89 91
a 2 5 8 9 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 66 69 72 73 78 81 89
a 2 5 8 9 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 66 69 72 73 78 89
a 2 5 8 9 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 66 69 72 73 78 81
a 2 5 8 9 10 11 18 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 66 69 71 72 73 78 81
a 2 5 8 9 10 11 18 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 66 69 71 72 78 81 89
a 2 5 8 9 10 11 18 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 69 71 72 73 78 81 89
a 2 5 8 9 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 69 71 72 73 78 81
a 2 8 9 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 69 71 72 73 78 81 89
a 2 8 9 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 69 71 72 73 78 81 89 91
a 2 9 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 66 69 71 72 73 78 81 89 91
a 2 5 9 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 66 69 71 72 73 78 81 89
a 2 5 9 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 66 69 70 71 73 78 81 89
a 2 5 9 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 66 69 70 71 77 78 81 89
a 2 5 8 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 66 69 70 71 77 78 81 89
a 2 5 8 9 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 65 66 69 70 71 77 78 81 89
a 2 5 8 9 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 65 66 69 70 71 77 81 89
a 2 5 8 9 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 64 65 66 69 70 77 81 89
a 2 5 8 9 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 64 65 66 69 70 77 81
a 2 5 8 9 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 64 65 66 69 70 77 78
a 5 8 9 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 64 65 66 69 70 77 78
a 2 8 9 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 64 65 66 69 70 77 78
a 2 5 9 10 11 18 19 20 21 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 64 65 66 69 70 77 78
a 2 5 9 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 64 65 66 69 70 77 78 91
a 2 5 9 10 11 18 19 20 22 24 25 27 31 34 39 41 42 44 45 46 47 58 62 63 64 65 66 69 70 77 81 91
a 2 5 8 9 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 58 62 63 64 65 66 69 70 77 81 91
a 2 5 8 9 10 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 66 69 70 77 81 91
a 2 5 9 10 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 66 69 70 77 81 89 91
a 2 5 9 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 66 69 70 77 81 89
a 5 8 9 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 66 69 70 77 81 89
a 2 5 8 9 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 66 69 70 77 81 89
a 2 5 8 9 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 66 69 70 77 81 91
a 2 5 8 9 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 66 69 70 81 91
a 2 5 8 9 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 66 69 70 73 81
a 2 5 8 9 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 66 69 70 73 77
a 2 5 8 9 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 69 70 73 77 89
a 2 5 8 9 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 66 69 70 73 89
a 2 5 8 9 10 11 18 19 20 22 24 25 27 39 41 42 44 45 46 47 52 58 62 63 64 65 66 69 70 73 78 89
a 2 5 8 9 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 66 69 70 73 78
a 2 5 8 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 66 69 70 73 77 78
a 2 5 8 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 66 69 70 77 78 81
a 2 5 8 9 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 66 69 70 78 81
a 2 5 8 9 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 66 70 73 78 81
a 2 3 5 9 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 66 70 73 78 81
a 2 5 9 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 66 70 73 78 81 89
a 2 3 9 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 66 70 73 78 81 89
a 2 3 5 9 10 11 18 19 20 22 24 25 27 31 39 41 42 44 45 46 47 52 58 62 63 64 65 66 70 73 78 89
a 2 3 5 9 10 11 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 52 58 62 63 64 65 66 70 73 78 89
a 2 3 5 9 10 11 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 52 58 62 63 64 65 66 69 70 73 78
a 2 3 5 9 10 11 16 18 19 20 22 24 25 31 39 41 42 45 46 47 52 58 62 63 64 65 66 69 70 73 77 78
a 3 5 9 10 11 16 18 19 20 22 24 25 31 39 41 42 45 46 47 52 58 62 63 64 65 66 69 70 73 77 78 91
a 5 9 10 11 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 52 58 62 63 64 65 66 69 70 73 77 78 91
a 3 5 9 10 11 16 18 20 22 24 25 27 31 39 41 42 45 46 47 52 58 62 63 64 65 66 69 70 73 77 78 91
a 3 5 9 10 11 15 16 18 20 22 24 25 27 31 39 41 42 45 46 47 52 58 62 63 64 65 66 69 70 73 78 91
a 3 5 9 10 11 15 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 52 62 63 64 65 66 69 70 73 78 91
a 3 5 9 10 11 15 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 52 62 63 64 65 66 69 70 73 78 81
a 3 5 9 10 11 15 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 52 62 63 64 65 66 69 70 73 78 89
a 3 5 9 10 11 15 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 52 58 62 63 64 65 66 69 70 73 78
a 2 3 5 9 10 11 15 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 52 58 62 63 64 65 66 69 70 78
a 2 3 5 9 10 11 15 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 52 58 62 63 64 65 66 69 70 89
a 2 3 5 10 11 15 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 51 52 58 62 63 64 65 66 69 70 89
a 2 3 5 10 15 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 51 52 58 62 63 64 65 66 69 70 73 89
a 2 3 5 10 11 15 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 51 52 58 62 63 64 66 69 70 73 89
a 2 5 10 11 15 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 51 52 58 62 63 64 65 66 69 70 73 89
a 2 3 5 10 11 15 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 51 52 58 62 63 64 65 66 69 70 73
a 3 5 10 11 15 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 51 52 58 62 63 64 65 66 69 70 73 91
a 2 3 5 10 15 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 51 52 58 62 63 64 65 66 69 70 73 91
a 2 3 5 10 15 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 51 52 58 62 63 64 65 66 69 70 81 91
a 2 3 5 10 15 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 51 52 58 62 63 64 65 69 70 81 87 91
a 2 3 5 10 11 15 16 18 19 20 22 24 25 27 31 39 41 42 45 46 47 51 52 58 62 63 64 65 69 70 81 87
a 2 3 5 10 11 15 16 18 19 20 22 25 27 29 31 39 41 42 45 46 47 51 52 58 62 63 64 65 69 70 81 87
a 2 3 5 10 11 15 16 18 19 20 22 25 27 29 31 39 41 42 45 46 47 51 52 58 62 63 64 65 69 70 73 81
a 2 3 10 11 15 16 18 19 20 22 25 27 29 31 39 41 42 45 46 47 48 51 52 58 62 63 64 65 69 70 73 81
a 2 3 10 11 15 16 18 19 20 22 25 27 29 31 39 41 42 45 47 48 51 52 58 62 63 64 65 69 70 73 81 89
a 2 3 10 11 15 16 18 19 20 22 25 27 29 31 39 41 42 45 47 48 51 52 58 62 63 64 65 69 70 73 81 91
a 2 3 10 11 15 16 18 19 20 22 25 27 29 31 39 41 42 45 47 48 51 52 58 62 63 64 65 69 70 73 81 87
a 2 3 10 11 15 16 19 20 22 25 27 29 31 39 41 42 45 47 48 51 52 58 62 63 64 65 68 69 70 73 81 87
a 2 3 10 11 15 16 19 20 22 25 27 29 31 37 39 41 42 45 47 48 51 52 58 62 63 64 65 68 69 70 81 87
a 2 3 10 11 15 16 19 20 22 25 27 29 31 37 39 41 45 47 48 51 52 58 62 63 64 65 68 69 70 73 81 87
a 2 3 10 11 15 16 19 20 22 25 27 29 31 37 39 41 45 47 48 51 52 58 62 63 64 65 68 69 70 73 81 91
a 2 3 10 11 15 16 19 20 22 25 27 29 31 37 39 41 45 47 48 51 52 58 62 64 65 68 69 70 73 81 87 91
a 2 3 10 11 15 19 20 22 25 27 29 31 37 39 41 44 45 47 48 51 52 58 62 64 65 68 69 70 73 81 87 91
a 2 3 10 11 15 19 20 22 25 27 29 31 37 39 41 44 45 47 48 51 52 58 62 64 65 68 69 70 73 81 87 89
a 2 3 10 11 15 19 20 22 25 29 31 37 39 41 44 45 47 48 51 52 58 62 64 65 68 69 70 73 81 87 89 91
a 2 10 11 15 19 20 22 25 29 31 37 39 41 44 45 47 48 51 52 58 62 64 65 68 69 70 73 81 85 87 89 91
a 2 8 10 11 15 19 20 22 25 29 31 37 39 41 44 45 47 48 51 52 58 62 64 65 69 70 73 81 85 87 89 91
a 2 8 10 11 15 19 20 22 25 29 31 37 39 41 44 45 47 48 51 52 58 62 64 65 69 70 73 78 81 85 87 91
a 2 8 10 11 15 19 20 22 25 29 31 37 39 41 42 44 45 47 48 51 52 58 62 64 65 69 70 73 78 81 85 87
a 2 8 10 11 15 19 20 22 25 29 31 37 39 41 42 44 45 47 48 51 52 58 62 63 64 65 69 70 73 78 81 87
a 2 8 10 11 15 19 20 22 25 29 31 37 39 41 42 44 45 47 48 51 52 58 62 63 64 65 70 73 78 81 87 91
a 2 3 10 11 15 19 20 22 25 29 31 37 39 41 42 44 45 47 48 51 52 58 62 63 64 65 70 73 78 81 87 91
a 2 3 10 11 15 16 19 20 22 25 29 31 37 39 41 42 45 47 48 51 52 58 62 63 64 65 70 73 78 81 87 91
a 2 3 10 11 15 16 19 20 22 25 29 31 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 70 73 78 81 91
a 2 3 10 11 15 16 19 20 22 25 29 31 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 68 70 73 78 81
a 2 3 10 11 15 16 19 20 22 25 29 31 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 68 70 73 78 89
a 3 10 11 15 16 19 20 22 25 29 31 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 68 70 73 78 89 91
a 3 10 11 15 16 19 20 22 25 29 31 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 68 70 73 78 87 89
a 3 10 11 15 16 19 20 22 25 29 31 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 68 70 73 78 87 91
a 3 10 11 15 16 19 20 22 25 31 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 68 69 70 73 78 87 91
a 3 10 11 15 16 19 20 22 25 29 31 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 68 69 70 73 87 91
a 3 10 11 15 16 19 20 22 25 29 31 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 68 69 73 78 87 91
a 3 10 11 15 16 19 20 22 25 29 31 33 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 69 73 78 87 91
a 3 10 11 15 16 19 20 22 25 29 33 36 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 69 73 78 87 91
a 3 10 11 15 16 18 19 20 22 25 29 33 36 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 69 73 78 91
a 3 10 11 15 16 18 19 20 22 25 29 33 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 69 70 73 78 91
a 2 3 10 11 15 16 18 19 20 22 25 29 33 37 39 41 42 45 47 48 52 58 59 62 63 64 65 69 70 73 78 91
a 2 10 11 15 16 18 19 20 22 25 29 33 37 39 41 42 45 47 48 52 58 59 62 63 64 65 69 70 73 78 85 91
a 2 10 11 15 16 18 19 20 22 25 29 33 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 69 70 73 78 85
a 2 10 11 15 16 18 19 20 22 25 29 33 36 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 70 73 78 85
a 2 10 11 15 16 18 19 20 22 25 29 36 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 70 73 78 81 85
a 2 10 11 15 16 18 19 20 22 25 29 36 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 69 70 73 78 85
a 10 11 15 16 18 19 20 22 25 29 36 37 39 41 42 45 47 48 51 52 58 59 62 63 64 65 69 70 73 78 85 89
a 2 10 11 15 16 18 19 20 22 25 29 36 37 39 41 42 45 47 48 51 52 58 59 62 64 65 69 70 73 78 85 89
a 2 10 11 15 16 18 19 20 22 25 29 36 37 39 41 42 45 47 48 51 52 58 59 62 64 65 70 73 78 81 85 89
a 2 10 11 15 16 18 19 22 25 29 36 37 39 41 42 45 47 48 51 52 58 59 62 64 65 69 70 73 78 81 85 89
a 2 10 11 15 16 18 19 22 25 29 33 36 37 39 41 42 45 47 48 51 52 58 59 62 64 65 69 70 73 78 85 89
a 2 10 11 15 16 18 19 20 22 25 29 33 36 37 39 41 42 45 47 48 51 52 58 59 62 64 65 69 70 73 78 89
a 2 10 11 15 16 18 19 20 22 25 29 33 36 39 41 42 45 47 48 51 52 58 59 62 64 65 69 70 73 78 89 91
a 2 10 11 15 16 19 20 22 25 29 33 36 37 39 41 42 45 47 48 51 52 58 59 62 64 65 69 70 73 78 89 91
a 2 10 11 15 16 18 19 20 22 25 29 33 36 37 41 42 45 47 48 51 52 58 59 62 64 65 69 70 73 78 89 91
a 2 10 11 15 16 18 19 20 22 25 29 33 36 37 39 41 42 45 47 48 52 58 59 62 64 65 69 70 73 78 89 91
a 2 10 11 15 18 19 20 22 25 29 33 36 37 39 41 42 44 45 47 48 52 58 59 62 64 65 69 70 73 78 89 91
a 2 10 15 18 19 20 22 25 29 33 36 37 39 41 42 44 45 47 48 52 58 59 62 63 64 65 69 70 73 78 89 91
a 2 10 15 18 19 20 22 25 29 33 36 37 39 41 42 44 47 48 52 53 58 59 62 63 64 65 69 70 73 78 89 91
a 2 10 15 18 19 20 22 25 29 33 36 37 39 41 42 44 47 48 52 53 58 59 62 63 64 65 69 70 73 78 87 89
a 2 10 15 18 19 20 22 25 29 36 37 39 41 42 44 47 48 51 52 53 58 59 62 63 64 65 69 70 73 78 87 89
a 2 10 11 15 18 19 20 22 25 29 36 37 39 41 42 44 47 48 51 52 53 58 59 62 63 64 65 69 70 73 78 87
a 2 10 11 18 19 20 22 25 29 36 37 39 41 42 44 47 48 51 52 53 58 59 62 63 64 65 69 70 73 78 87 89
a 2 10 11 15 18 20 22 25 29 36 37 39 41 42 44 47 48 51 52 53 58 59 62 63 64 65 69 70 73 78 87 89
a 2 3 10 11 15 18 20 22 25 29 36 37 39 41 42 44 47 48 51 52 53 58 59 62 63 64 65 69 70 73 78 89
a 2 3 10 11 15 18 20 22 25 29 36 37 39 41 42 44 47 48 51 52 53 58 59 62 63 64 65 69 70 73 78 87
a 2 3 10 11 15 18 19 20 22 25 29 36 37 39 41 42 44 47 48 51 52 53 58 59 62 63 64 65 69 70 78 87
a 2 3 10 11 15 18 19 20 22 25 29 36 39 41 42 44 47 48 51 52 53 54 58 59 62 63 64 65 69 70 78 87
a 2 3 10 11 15 16 18 19 20 22 25 29 36 39 41 42 47 48 51 52 53 54 58 59 62 63 64 65 69 70 78 87
a 2 3 10 11 16 18 19 20 22 25 29 33 36 39 41 42 47 48 51 52 53 54 58 59 62 63 64 65 69 70 78 87
a 2 3 10 11 16 18 19 20 22 25 29 33 36 39 41 42 47 48 51 52 53 54 58 59 62 63 64 65 69 70 78 91
a 2 3 10 11 16 18 19 20 22 25 29 33 36 39 41 42 47 48 51 52 54 58 59 62 63 64 65 69 70 78 87 91
a 2 3 10 11 16 18 19 20 22 29 33 36 39 41 42 47 48 51 52 54 58 59 62 63 64 65 69 70 78 86 87 91
a 2 3 10 11 16 18 19 20 22 29 33 36 39 41 42 47 48 51 52 54 58 59 62 63 64 65 70 78 86 87 89 91
a 2 3 10 11 15 16 18 19 20 22 29 33 36 39 41 42 47 48 51 52 54 58 59 62 63 64 65 70 78 86 89 91
a 2 3 10 11 15 16 18 19 20 22 29 33 36 39 41 42 47 48 51 52 53 54 58 59 62 63 64 70 78 86 89 91
a 2 3 10 11 15 16 18 19 20 22 29 33 36 39 41 42 47 48 51 52 53 54 58 59 62 63 64 70 78 86 87 89
a 2 3 10 11 15 16 18 19 20 22 29 33 36 39 41 42 47 48 51 52 53 54 58 59 63 64 70 78 86 87 89 91
a 2 3 10 11 15 16 18 19 20 22 29 33 36 39 41 42 47 48 51 52 53 54 58 59 63 64 65 70 78 86 87 89
a 2 3 10 11 15 16 18 19 20 22 29 33 36 39 41 42 47 48 51 52 53 54 58 59 62 63 64 65 70 78 86 87
a 2 3 10 11 15 16 18 20 22 29 33 36 39 41 42 47 48 51 52 53 54 58 59 62 63 64 65 70 78 86 87 89
a 2 3 10 11 15 16 18 19 20 22 29 36 39 41 42 47 48 51 52 53 54 58 59 62 63 64 65 70 78 86 87 89
a 3 10 11 15 16 18 19 20 22 29 36 39 41 42 47 48 51 52 53 54 58 59 62 63 64 65 70 78 86 87 89 91
a 2 3 11 15 16 18 19 20 22 29 36 39 41 42 47 48 51 52 53 54 58 59 62 63 64 65 70 78 86 87 89 91
a 2 3 11 15 16 18 19 20 22 25 29 36 39 41 42 47 48 51 52 53 54 58 59 62 63 64 65 70 78 87 89 91
a 2 3 11 15 16 18 19 20 22 25 29 36 39 41 42 47 48 51 52 53 58 59 62 63 64 65 70 73 78 87 89 91
a 2 3 10 11 15 16 18 19 20 22 25 36 39 41 42 47 48 51 52 53 58 59 62 63 64 65 70 73 78 87 89 91
a 2 3 10 11 15 16 18 19 20 22 25 27 36 39 41 42 47 48 51 52 53 58 62 63 64 65 70 73 78 87 89 91
a 2 3 10 11 15 16 18 19 20 22 25 27 33 36 39 41 42 47 48 51 52 53 58 62 63 64 65 70 73 78 87 89
a 3 10 11 15 16 18 19 20 22 25 27 33 36 39 41 42 47 48 51 52 53 58 62 63 64 65 69 70 73 78 87 89
a 3 10 11 15 16 18 19 20 21 22 25 27 33 36 39 41 42 47 48 51 52 53 58 62 63 64 65 69 70 73 78 87
a 3 10 11 15 16 18 19 20 21 22 24 25 27 33 36 39 41 42 47 48 52 53 58 62 63 64 65 69 70 73 78 87
a 2 3 10 11 15 16 18 19 20 21 22 24 25 27 33 39 41 42 47 48 52 53 58 62 63 64 65 69 70 73 78 87
a 2 3 10 11 15 16 18 19 20 21 22 24 25 27 30 33 39 41 42 47 48 52 53 58 63 64 65 69 70 73 78 87
a 2 3 10 11 15 16 18 19 20 21 22 24 25 30 33 39 41 42 47 48 52 53 58 59 63 64 65 69 70 73 78 87
a 2 3 10 11 15 18 19 20 21 22 24 25 30 33 36 39 41 42 47 48 52 53 58 59 63 64 65 69 70 73 78 87
a 2 3 10 11 15 18 19 20 21 22 24 25 30 33 36 39 41 42 44 47 48 52 53 58 59 63 64 65 69 70 73 78
a 2 3 10 11 15 18 19 20 21 22 24 25 30 31 33 39 41 42 44 47 48 52 53 58 59 63 64 65 69 70 73 78
a 2 3 10 11 15 18 19 20 21 22 24 25 30 31 33 39 41 42 44 47 48 51 52 53 58 59 63 65 69 70 73 78
a 2 3 10 11 15 18 19 20 21 22 24 25 30 31 33 39 41 42 44 47 48 51 52 53 58 59 63 64 65 69 70 78
a 2 3 10 15 18 19 20 21 22 24 25 30 31 33 39 41 42 44 46 47 48 51 52 53 58 59 63 64 65 69 70 78
a 3 10 11 15 18 19 20 21 22 24 25 30 31 33 39 41 42 44 46 47 48 51 52 53 58 59 63 64 65 69 70 78
a 2 3 10 11 15 18 19 20 22 24 25 30 31 33 39 41 42 44 46 47 48 51 52 53 58 59 63 64 65 69 70 78
a 2 10 11 15 18 19 20 21 22 24 25 30 31 33 39 41 42 44 46 47 48 51 52 53 58 59 63 64 65 69 70 78
a 2 10 11 15 19 20 21 22 24 25 30 31 33 39 41 42 44 46 47 48 51 52 53 58 59 63 64 65 69 70 78 89
a 2 10 11 15 19 20 21 22 24 25 30 31 33 39 41 42 44 47 48 51 52 53 54 58 59 63 64 65 69 70 78 89
a 2 10 11 15 18 19 20 21 22 24 25 30 31 33 39 41 42 44 47 51 52 53 54 58 59 63 64 65 69 70 78 89
a 2 3 10 11 15 18 19 20 21 22 24 25 30 31 33 39 41 42 44 47 51 52 53 54 58 59 63 64 65 69 70 89
a 2 3 10 11 15 18 19 20 21 22 24 25 30 31 33 39 41 42 44 46 47 51 52 53 58 59 63 64 65 69 70 89
a 2 3 10 11 15 19 20 21 22 24 25 30 31 33 39 41 42 44 46 47 51 52 53 58 59 63 64 65 69 70 74 89
a 2 3 10 11 15 19 20 21 22 24 25 30 31 33 39 41 42 44 46 47 51 52 53 58 59 63 64 65 69 70 74 87
a 2 3 10 11 15 19 20 22 24 25 30 31 33 39 41 42 44 46 47 51 52 53 58 59 63 64 65 69 70 74 87 91
a 2 3 10 11 15 19 20 22 25 30 31 33 39 41 42 44 46 47 51 52 53 58 59 63 64 65 68 69 70 74 87 91
a 2 3 10 11 15 19 20 22 25 30 31 33 39 41 42 44 47 51 52 53 54 58 59 63 64 65 68 69 70 74 87 91
a 2 3 10 15 17 19 20 22 25 30 31 33 39 41 42 44 47 51 52 53 54 58 59 63 64 65 68 69 70 74 87 91
a 2 3 10 15 17 19 20 22 25 30 31 33 39 41 42 44 47 51 52 53 54 58 59 63 64 65 68 69 70 74 87 89
a 2 3 10 15 17 19 20 22 25 30 31 33 39 41 42 44 47 51 52 53 54 58 59 63 64 65 68 69 70 74 89 91
a 2 3 10 15 17 19 20 22 25 30 31 33 39 42 44 47 51 52 53 54 56 58 59 63 64 65 68 69 70 74 89 91
a 2 10 15 17 19 20 22 25 30 31 33 39 42 44 47 51 52 53 54 56 58 59 63 64 65 68 69 70 74 85 89 91
a 2 10 15 17 20 22 25 30 31 33 39 42 44 47 51 52 53 54 56 58 59 63 64 65 68 69 70 74 84 85 89 91
a 2 10 15 17 20 22 25 30 31 33 39 42 44 47 51 52 53 54 56 58 59 63 64 65 68 69 74 84 85 89 90 91
a 2 10 15 17 20 22 25 29 30 31 33 39 42 44 47 51 52 53 54 56 58 59 63 64 65 68 69 84 85 89 90 91
a 2 3 10 15 17 20 22 25 29 30 31 33 39 42 44 47 51 52 53 54 56 58 59 63 64 65 68 69 84 89 90 91
a 2 3 15 17 20 22 25 29 30 31 33 39 42 44 47 51 52 53 54 56 58 59 63 64 65 68 69 84 88 89 90 91
a 2 3 15 17 20 22 25 27 29 30 31 33 39 42 44 47 51 52 53 54 56 58 63 64 65 68 69 84 88 89 90 91
a 2 3 10 15 17 20 22 25 27 29 30 31 33 39 42 44 47 51 52 53 54 56 58 63 64 65 68 69 84 88 89 90
a 2 3 10 15 17 20 22 25 27 29 30 31 33 39 42 44 47 51 52 53 54 56 58 63 64 65 68 69 84 87 88 90
a 2 3 10 15 17 20 22 27 29 30 31 33 39 42 44 47 51 52 53 54 56 58 63 64 65 68 69 84 87 88 90 91
a 2 3 10 15 17 20 22 27 29 30 31 33 39 42 44 47 51 52 53 54 56 58 63 64 65 68 69 84 87 88 89 90
a 2 3 10 15 17 19 20 22 27 29 30 31 33 39 42 44 47 51 52 53 54 56 58 63 64 65 68 69 87 88 89 90
a 2 3 10 15 17 20 22 27 29 30 31 33 39 42 44 47 51 52 53 54 56 58 63 64 65 68 69 86 87 88 89 90
a 2 3 10 15 17 19 20 22 27 29 30 31 33 39 42 44 47 51 53 54 56 58 63 64 65 68 69 86 87 88 89 90
a 2 3 10 17 19 20 22 27 29 30 31 33 39 42 44 47 51 52 53 54 56 58 63 64 65 68 69 86 87 88 89 90
a 2 3 10 15 17 19 20 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 86 87 88 89 90
a 2 3 10 15 16 17 19 20 22 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 86 87 88 89 90
a 2 3 15 16 17 19 20 22 29 30 31 33 39 42 47 51 52 53 54 56 58 59 63 64 65 68 69 86 87 88 89 90
a 2 3 10 15 16 17 19 20 22 29 30 31 33 39 42 47 51 52 53 56 58 59 63 64 65 68 69 86 87 88 89 90
a 2 3 10 15 16 17 19 22 29 30 31 33 39 42 47 51 52 53 54 56 58 59 63 64 65 68 69 86 87 88 89 90
a 2 3 10 15 16 17 19 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 86 87 88 89 90
a 2 3 10 15 16 17 19 20 22 27 29 30 31 33 42 47 51 52 53 54 56 58 63 64 65 68 69 86 87 88 89 90
a 2 3 15 16 17 19 20 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 86 87 88 89 90
a 2 3 10 15 16 17 19 20 22 27 29 30 31 33 39 42 51 52 53 54 56 58 63 64 65 68 69 86 87 88 89 90
a 2 3 10 15 16 17 20 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 86 87 88 89 90
a 2 3 10 15 16 17 20 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 86 88 89 90 91
a 2 3 10 15 16 17 20 22 27 29 30 31 33 39 42 51 52 53 54 56 58 63 64 65 68 69 86 87 88 89 90 91
a 2 10 15 16 17 20 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 86 87 88 89 90 91
a 2 3 10 15 16 17 20 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 64 65 68 69 86 87 88 89 90 91
a 2 3 10 15 16 20 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 86 87 88 89 90 91
a 2 3 10 15 16 17 20 22 27 29 30 31 33 39 42 47 51 52 53 56 58 63 64 65 68 69 86 87 88 89 90 91
a 2 3 10 15 16 17 20 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 86 87 88 89 90 91
a 2 3 15 16 17 20 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 15 16 17 20 22 27 29 30 31 33 39 47 51 52 53 54 56 58 63 64 65 68 69 84 86 87 88 89 90 91
a 3 15 16 17 20 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 15 16 17 20 22 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 15 16 17 20 22 27 29 30 31 33 39 42 47 51 52 53 56 58 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 15 16 17 20 22 27 29 30 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 84 86 87 88 89 90 91
a 3 10 15 16 17 20 22 27 29 30 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 10 15 16 17 20 22 27 29 30 33 39 42 47 51 52 54 56 58 63 64 65 68 69 84 86 87 88 89 90 91
a 3 10 15 16 17 20 22 27 29 30 31 33 39 42 47 51 52 54 56 58 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 10 15 16 17 20 22 29 30 31 33 39 42 47 51 52 54 56 58 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 10 15 16 17 20 22 29 30 31 33 42 47 51 52 53 54 56 58 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 10 15 16 17 20 22 29 30 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 10 15 16 17 20 22 27 29 30 33 39 42 47 51 52 53 54 58 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 10 15 16 17 20 22 27 29 30 33 39 42 47 51 52 53 54 56 58 63 65 68 69 84 86 87 88 89 90 91
a 2 10 15 16 17 20 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 65 68 69 84 86 87 88 89 90 91
a 2 10 15 16 17 20 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 84 87 88 89 90 91
a 2 3 15 16 17 20 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 84 87 88 89 90 91
a 2 3 15 16 20 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 10 15 16 20 22 27 29 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 10 15 16 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 10 15 16 17 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 68 69 84 86 87 88 89 90 91
a 2 3 10 15 16 17 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 84 86 87 88 90 91
a 2 3 10 15 16 17 22 27 29 30 31 33 39 42 47 51 52 53 54 56 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 15 16 17 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 15 16 17 20 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 68 69 84 86 87 88 89 90 91
a 2 3 16 17 20 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 16 17 20 22 29 30 31 33 39 42 47 51 52 53 54 56 58 59 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 15 16 17 20 22 29 30 33 39 42 47 51 52 53 54 56 58 59 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 10 16 17 20 22 29 30 33 39 42 47 51 52 53 54 56 58 59 63 64 65 68 69 84 86 87 88 89 90 91
a 2 3 10 15 16 17 20 22 29 30 33 39 42 47 51 52 53 54 56 58 59 63 64 65 68 69 84 86 87 88 89 91
a 2 3 10 15 16 17 20 22 27 29 30 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 84 86 87 88 89 91
a 2 3 10 15 16 17 20 22 27 29 30 31 39 42 47 51 52 53 54 56 58 63 64 65 68 69 84 86 87 88 89 91
a 2 3 10 15 16 17 20 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 84 86 87 88 89 91
a 2 3 10 16 17 20 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 70 84 86 87 88 89 91
a 2 3 10 16 17 19 20 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 70 86 87 88 89 91
a 3 10 16 17 19 20 22 27 29 30 31 33 39 42 47 51 52 53 54 56 58 63 64 65 68 69 70 86 87 88 89 91
a 3 10 16 17 19 20 22 29 30 31 33 39 42 47 51 52 53 54 56 58 59 63 64 65 68 69 70 86 87 88 89 91
a 10 16 17 19 20 22 29 30 31 33 39 42 47 51 52 53 54 56 58 59 63 64 65 68 69 70 85 86 87 88 89 91
a 10 16 17 19 20 22 29 30 31 33 39 42 47 51 52 53 54 58 59 63 64 65 68 69 70 78 85 86 87 88 89 91
a 10 15 16 17 19 20 22 29 30 31 33 39 42 47 51 52 53 54 58 59 63 64 65 68 69 70 78 85 86 87 89 91
a 10 15 16 17 19 20 22 29 31 33 39 41 42 47 51 52 53 54 58 59 63 64 65 68 69 70 78 85 86 87 89 91
a 10 15 16 17 19 20 22 29 31 33 39 41 42 47 51 52 53 54 58 59 63 64 65 66 68 69 70 78 85 86 89 91
a 10 15 16 17 19 20 22 29 31 33 39 41 42 45 47 51 52 54 58 59 63 64 65 66 68 69 70 78 85 86 89 91
a 10 15 16 17 19 20 22 29 31 33 39 41 42 45 46 47 51 52 58 59 63 64 65 66 68 69 70 78 85 86 89 91
a 10 15 16 17 19 20 22 29 31 33 39 41 42 45 46 47 51 52 59 63 64 65 66 67 68 69 70 78 85 86 89 91
a 10 15 16 17 19 20 22 29 31 33 39 41 42 45 46 47 51 52 59 61 63 64 66 67 68 69 70 78 85 86 89 91
a 10 15 16 17 19 20 22 29 31 33 39 41 42 45 46 47 51 52 59 61 63 64 66 67 68 69 70 73 78 85 89 91
a 10 15 16 17 19 20 22 25 29 31 33 39 41 45 46 47 51 52 59 61 63 64 66 67 68 69 70 73 78 85 89 91
a 8 10 15 16 17 19 20 22 25 29 31 33 39 41 45 46 47 51 52 59 61 63 64 66 67 69 70 73 78 85 89 91
a 8 9 10 15 16 17 19 20 22 25 29 31 33 39 41 45 46 47 52 59 61 63 64 66 67 69 70 73 78 85 89 91
a 8 9 10 12 15 16 17 19 20 22 25 29 31 33 39 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: 390
#END: [Tue Sep  5 06:58:32 2023]