#BEGIN: [Sun Sep 10 17:45:45 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen010x010.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen010x010_01_0612.dat
#COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning --config=longest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen010x010.col /benchmark/2022benchmark/benchmark/queen/queen010x010_01_0612.dat
s 82 1 97 29 48 60 14 63 35
t 18 76 4 35 97 23 51 82 69
a YES
a 1 14 29 35 48 60 63 82 97
a 6 14 29 35 48 60 63 82 97
a 6 14 29 35 48 60 61 82 97
a 6 14 29 35 48 60 61 73 97
a 6 14 29 48 60 61 73 85 97
a 6 29 32 48 60 61 73 85 97
a 6 13 29 32 48 60 61 85 97
a 6 13 29 32 48 60 71 85 97
a 6 13 29 32 48 60 64 71 85
a 6 13 32 48 60 64 71 85 99
a 6 13 27 32 48 64 71 85 99
a 13 27 32 48 56 64 71 85 99
a 10 13 27 32 48 56 71 85 99
a 10 13 27 32 48 56 69 71 85
a 10 13 27 32 48 56 69 71 95
a 10 13 27 32 56 69 71 88 95
a 10 13 27 42 56 69 71 88 95
a 13 27 40 42 56 69 71 88 95
a 4 27 40 42 56 69 71 88 95
a 4 19 27 40 42 56 71 88 95
a 4 19 27 40 42 56 61 88 95
a 3 19 27 40 42 56 61 88 95
a 3 19 27 40 42 61 74 88 95
a 3 19 26 40 42 61 74 88 95
a 3 19 26 42 57 61 74 88 95
a 3 19 40 42 57 61 74 88 95
a 19 23 40 42 57 61 74 88 95
a 9 23 40 42 57 61 74 88 95
a 9 26 40 42 57 61 74 88 95
a 3 26 40 42 57 61 74 88 95
a 19 26 40 42 57 61 74 88 95
a 3 19 26 40 57 61 74 88 95
a 3 19 26 32 57 61 74 88 95
a 3 26 32 49 57 61 74 88 95
a 10 26 32 49 57 61 74 88 95
a 10 12 26 49 57 61 74 88 95
a 10 12 36 49 57 61 74 88 95
a 10 23 36 49 57 61 74 88 95
a 10 23 36 42 57 61 74 88 95
a 19 23 36 42 57 61 74 88 95
a 4 19 23 36 42 57 61 88 95
a 4 19 23 42 57 61 76 88 95
a 4 20 23 42 57 61 76 88 95
a 4 20 23 39 42 61 76 88 95
a 4 23 39 42 60 61 76 88 95
a 4 19 23 42 60 61 76 88 95
a 4 17 23 42 60 61 76 88 95
a 9 17 23 42 60 61 76 88 95
a 9 23 37 42 60 61 76 88 95
a 9 14 37 42 60 61 76 88 95
a 9 13 37 42 60 61 76 88 95
a 13 29 37 42 60 61 76 88 95
a 3 29 37 42 60 61 76 88 95
a 14 29 37 42 60 61 76 88 95
a 2 14 29 37 60 61 76 88 95
a 2 14 29 37 53 61 76 88 95
a 2 14 30 37 53 61 76 88 95
a 9 14 30 37 53 61 76 88 95
a 9 12 30 37 53 61 76 88 95
a 9 12 24 37 53 61 76 88 95
a 9 12 24 37 60 61 76 88 95
a 9 12 24 47 60 61 76 88 95
a 12 24 39 47 60 61 76 88 95
a 4 12 39 47 60 61 76 88 95
a 4 23 39 47 60 61 76 88 95
a 2 23 39 47 60 61 76 88 95
a 2 23 39 47 60 64 76 88 95
a 2 18 23 39 47 60 64 76 95
a 2 23 39 47 60 64 76 81 95
a 8 23 39 47 60 64 76 81 95
a 8 22 39 47 60 64 76 81 95
a 8 13 39 47 60 64 76 81 95
a 8 12 39 47 60 64 76 81 95
a 8 12 33 47 60 64 76 81 95
a 8 12 33 47 60 64 79 81 95
a 12 26 33 47 60 64 79 81 95
a 7 12 26 33 60 64 79 81 95
a 7 12 33 48 60 64 79 81 95
a 7 12 33 48 60 64 76 81 95
a 12 29 33 48 60 64 76 81 95
a 2 29 33 48 60 64 76 81 95
a 17 29 33 48 60 64 76 81 95
a 2 17 29 48 60 64 76 81 95
a 3 17 29 48 60 64 76 81 95
a 3 17 29 48 52 64 76 81 95
a 17 29 33 48 52 64 76 81 95
a 17 29 33 48 52 64 80 81 95
a 2 17 29 33 48 64 80 81 95
a 2 16 29 33 48 64 80 81 95
a 2 16 29 33 48 67 80 81 95
a 2 16 29 48 53 67 80 81 95
a 16 29 32 48 53 67 80 81 95
a 6 29 32 48 53 67 80 81 95
a 6 19 32 48 53 67 80 81 95
a 19 24 32 48 53 67 80 81 95
a 16 24 32 48 53 67 80 81 95
a 9 16 24 32 48 53 67 80 95
a 9 16 24 32 53 67 80 88 95
a 9 16 24 41 53 67 80 88 95
a 16 24 39 41 53 67 80 88 95
a 4 16 39 41 53 67 80 88 95
a 2 16 39 41 53 67 80 88 95
a 2 16 29 41 53 67 80 88 95
a 4 16 29 41 53 67 80 88 95
a 4 16 29 41 53 67 72 88 95
a 10 16 29 41 53 67 72 88 95
a 10 16 24 41 53 67 72 88 95
a 10 16 39 41 53 67 72 88 95
a 4 16 39 41 53 67 72 88 95
a 4 20 39 41 53 67 72 88 95
a 20 24 39 41 53 67 72 88 95
a 10 24 39 41 53 67 72 88 95
a 16 24 39 41 53 67 72 88 95
a 10 16 24 39 41 53 72 88 95
a 10 16 24 41 53 69 72 88 95
a 16 24 37 41 53 69 72 88 95
a 20 24 37 41 53 69 72 88 95
a 6 20 37 41 53 69 72 88 95
a 6 30 37 41 53 69 72 88 95
a 16 30 37 41 53 69 72 88 95
a 4 16 30 41 53 69 72 88 95
a 4 16 40 41 53 69 72 88 95
a 16 24 40 41 53 69 72 88 95
a 1 16 24 40 53 69 72 88 95
a 1 16 24 40 48 53 69 72 95
a 1 16 24 40 48 53 69 82 95
a 1 16 40 48 53 69 74 82 95
a 16 21 40 48 53 69 74 82 95
a 6 21 40 48 53 69 74 82 95
a 6 11 40 48 53 69 74 82 95
a 11 27 40 48 53 69 74 82 95
a 6 27 40 48 53 69 74 82 95
a 1 27 40 48 53 69 74 82 95
a 1 13 27 40 48 69 74 82 95
a 6 13 27 40 48 69 74 82 95
a 6 13 27 40 48 61 74 82 95
a 6 27 40 48 53 61 74 82 95
a 6 12 27 40 48 53 61 74 95
a 6 19 27 40 48 53 61 74 95
a 2 19 27 40 48 53 61 74 95
a 2 19 27 40 53 61 74 88 95
a 6 19 27 40 53 61 74 88 95
a 6 19 27 32 53 61 74 88 95
a 6 19 27 32 53 61 80 88 95
a 4 19 27 32 53 61 80 88 95
a 4 19 27 32 56 61 80 88 95
a 4 19 27 42 56 61 80 88 95
a 4 27 39 42 56 61 80 88 95
a 13 27 39 42 56 61 80 88 95
a 10 13 27 39 42 56 61 88 95
a 10 13 27 39 42 61 76 88 95
a 10 14 27 39 42 61 76 88 95
a 10 14 27 39 53 61 76 88 95
a 2 14 27 39 53 61 76 88 95
a 2 20 27 39 53 61 76 88 95
a 4 20 27 39 53 61 76 88 95
a 4 12 27 39 53 61 76 88 95
a 10 12 27 39 53 61 76 88 95
a 10 12 27 39 53 61 74 88 95
a 12 27 39 46 53 61 74 88 95
a 12 27 40 46 53 61 74 88 95
a 9 12 40 46 53 61 74 88 95
a 9 12 30 46 53 61 74 88 95
a 9 30 32 46 53 61 74 88 95
a 9 15 30 32 46 53 61 74 88
a 9 15 32 46 53 61 74 88 100
a 15 27 32 46 53 61 74 88 100
a 15 27 32 46 53 69 74 88 100
a 7 15 32 46 53 69 74 88 100
a 7 15 21 46 53 69 74 88 100
a 7 15 21 46 53 69 72 88 100
a 7 15 21 39 46 53 72 88 100
a 7 14 21 39 46 53 72 88 100
a 7 14 39 46 53 65 72 88 100
a 7 14 39 46 51 65 72 88 100
a 7 14 26 39 51 65 72 88 100
a 7 13 26 39 51 65 72 88 100
a 7 13 26 39 41 65 72 88 100
a 7 13 26 39 41 60 65 72 88
a 7 13 26 39 60 65 72 88 91
a 7 13 26 39 42 60 65 88 91
a 7 14 26 39 42 60 65 88 91
a 7 14 26 39 42 60 63 88 91
a 7 14 39 42 60 63 76 88 91
a 7 14 35 42 60 63 76 88 91
a 14 29 35 42 60 63 76 88 91
a 4 29 35 42 60 63 76 88 91
a 4 17 29 42 60 63 76 88 91
a 17 29 34 42 60 63 76 88 91
a 2 17 29 34 60 63 76 88 91
a 2 15 29 34 60 63 76 88 91
a 2 15 29 34 50 63 76 88 91
a 15 29 34 50 57 63 76 88 91
a 5 29 34 50 57 63 76 88 91
a 5 29 34 50 57 62 76 88 91
a 3 29 34 50 57 62 76 88 91
a 15 29 34 50 57 62 76 88 91
a 3 15 29 34 50 57 62 76 88
a 3 15 29 31 50 57 62 76 88
a 3 15 29 31 57 62 76 88 100
a 3 15 29 41 57 62 76 88 100
a 3 15 29 41 57 64 76 88 100
a 3 15 29 41 57 64 72 88 100
a 3 16 29 41 57 64 72 88 100
a 3 16 29 41 57 64 72 88 95
a 3 16 40 41 57 64 72 88 95
a 3 26 40 41 57 64 72 88 95
a 3 19 26 40 41 57 72 88 95
a 3 19 26 40 41 57 65 72 88
a 3 19 26 34 41 57 65 72 88
a 3 19 26 41 57 65 72 88 100
a 3 19 26 31 57 65 72 88 100
a 3 26 31 49 57 65 72 88 100
a 14 26 31 49 57 65 72 88 100
a 10 14 26 31 49 57 65 72 88
a 10 14 31 49 57 65 72 88 96
a 10 23 31 49 57 65 72 88 96
a 10 17 23 31 49 65 72 88 96
a 10 17 23 31 59 65 72 88 96
a 10 17 24 31 59 65 72 88 96
a 3 17 24 31 59 65 72 88 96
a 3 17 24 40 59 65 72 88 96
a 1 17 24 40 59 65 72 88 96
a 1 17 24 40 59 65 73 88 96
a 1 17 40 42 59 65 73 88 96
a 1 14 40 42 59 65 73 88 96
a 1 27 40 42 59 65 73 88 96
a 14 27 40 42 59 65 73 88 96
a 1 14 27 40 42 65 73 88 96
a 1 14 40 42 57 65 73 88 96
a 9 14 40 42 57 65 73 88 96
a 9 14 40 42 57 65 71 88 96
a 9 23 40 42 57 65 71 88 96
a 4 23 40 42 57 65 71 88 96
a 19 23 40 42 57 65 71 88 96
a 4 19 23 40 57 65 71 88 96
a 4 19 23 50 57 65 71 88 96
a 4 19 23 36 50 57 65 71 88
a 4 19 23 36 50 52 65 71 88
a 19 23 36 50 52 65 71 88 94
a 7 19 23 36 50 65 71 88 94
a 2 19 23 36 50 65 71 88 94
a 19 23 36 50 57 65 71 88 94
a 19 23 36 42 57 65 71 88 94
a 10 23 36 42 57 65 71 88 94
a 10 16 23 42 57 65 71 88 94
a 9 16 23 42 57 65 71 88 94
a 9 16 23 50 57 65 71 88 94
a 9 16 23 31 50 57 65 88 94
a 9 16 31 50 57 65 73 88 94
a 9 12 31 50 57 65 73 88 94
a 9 26 31 50 57 65 73 88 94
a 12 26 31 50 57 65 73 88 94
a 9 12 26 31 50 57 65 73 88
a 9 14 26 31 50 57 65 73 88
a 9 14 31 50 57 65 73 88 96
a 9 12 31 50 57 65 73 88 96
a 9 12 24 31 50 65 73 88 96
a 7 12 24 31 50 65 73 88 96
a 7 12 24 31 49 65 73 88 96
a 7 12 30 31 49 65 73 88 96
a 7 14 30 31 49 65 73 88 96
a 2 14 30 31 49 65 73 88 96
a 2 17 30 31 49 65 73 88 96
a 2 17 30 34 49 65 73 88 96
a 2 17 30 34 59 65 73 88 96
a 2 17 30 31 59 65 73 88 96
a 2 14 30 31 59 65 73 88 96
a 7 14 30 31 59 65 73 88 96
a 7 14 30 42 59 65 73 88 96
a 1 14 30 42 59 65 73 88 96
a 1 17 30 42 59 65 73 88 96
a 17 30 34 42 59 65 73 88 96
a 3 17 30 34 42 59 65 88 96
a 3 30 34 42 59 65 71 88 96
a 13 30 34 42 59 65 71 88 96
a 10 13 34 42 59 65 71 88 96
a 10 27 34 42 59 65 71 88 96
a 3 27 34 42 59 65 71 88 96
a 13 27 34 42 59 65 71 88 96
a 10 13 27 34 42 59 65 88 96
a 13 27 34 42 59 65 80 88 96
a 1 13 27 42 59 65 80 88 96
a 1 13 27 42 59 65 80 84 96
a 8 13 27 42 59 65 80 84 96
a 8 11 27 42 59 65 80 84 96
a 8 11 23 42 59 65 80 84 96
a 7 11 23 42 59 65 80 84 96
a 7 11 28 42 59 65 80 84 96
a 7 13 28 42 59 65 80 84 96
a 1 13 28 42 59 65 80 84 96
a 1 13 28 40 42 59 65 84 96
a 1 13 27 40 42 59 65 84 96
a 8 13 27 40 42 59 65 84 96
a 8 11 27 40 42 59 65 84 96
a 3 11 27 40 42 59 65 84 96
a 3 11 28 40 42 59 65 84 96
a 3 28 40 42 59 65 71 84 96
a 13 28 40 42 59 65 71 84 96
a 13 27 40 42 59 65 71 84 96
a 3 27 40 42 59 65 71 84 96
a 3 19 27 40 42 65 71 84 96
a 3 19 27 40 42 68 71 84 96
a 3 27 40 42 55 68 71 84 96
a 3 20 27 42 55 68 71 84 96
a 3 20 27 34 42 55 68 71 96
a 3 20 27 39 42 55 68 71 96
a 4 20 27 39 42 55 68 71 96
a 4 20 23 39 42 55 68 71 96
a 7 20 23 39 42 55 68 71 96
a 7 20 23 39 42 54 68 71 96
a 7 20 23 39 42 54 71 88 96
a 7 20 23 39 42 54 71 88 95
a 7 20 23 39 46 54 71 88 95
a 7 20 23 46 54 69 71 88 95
a 7 20 23 42 54 69 71 88 95
a 20 23 37 42 54 69 71 88 95
a 16 23 37 42 54 69 71 88 95
a 16 30 37 42 54 69 71 88 95
a 13 30 37 42 54 69 71 88 95
a 5 13 30 37 42 54 69 71 88
a 5 13 30 37 54 69 71 88 92
a 6 13 30 37 54 69 71 88 92
a 6 13 30 37 41 54 69 88 92
a 6 13 37 41 54 69 75 88 92
a 6 13 40 41 54 69 75 88 92
a 13 26 40 41 54 69 75 88 92
a 10 13 26 41 54 69 75 88 92
a 7 13 26 41 54 69 75 88 92
a 7 13 26 50 54 69 75 88 92
a 1 13 26 50 54 69 75 88 92
a 1 13 37 50 54 69 75 88 92
a 1 16 37 50 54 69 75 88 92
a 16 23 37 50 54 69 75 88 92
a 16 23 37 50 54 69 71 88 92
a 16 23 37 50 54 69 71 85 92
a 8 16 23 37 50 54 69 85 92
a 8 16 23 31 50 54 69 85 92
a 8 16 31 50 54 69 73 85 92
a 8 16 24 31 50 69 73 85 92
a 8 16 31 50 57 69 73 85 92
a 8 16 21 50 57 69 73 85 92
a 4 16 21 50 57 69 73 85 92
a 4 18 21 50 57 69 73 85 92
a 18 21 34 50 57 69 73 85 92
a 8 21 34 50 57 69 73 85 92
a 8 11 34 50 57 69 73 85 92
a 11 26 34 50 57 69 73 85 92
a 18 26 34 50 57 69 73 85 92
a 18 26 31 50 57 69 73 85 92
a 1 18 26 50 57 69 73 85 92
a 1 18 26 32 50 57 69 73 85
a 1 18 26 32 50 69 73 85 97
a 1 18 24 32 50 69 73 85 97
a 1 16 24 32 50 69 73 85 97
a 8 16 24 32 50 69 73 85 97
a 8 11 24 32 50 69 73 85 97
a 8 11 24 50 56 69 73 85 97
a 8 11 32 50 56 69 73 85 97
a 4 11 32 50 56 69 73 85 97
a 4 18 32 50 56 69 73 85 97
a 18 24 32 50 56 69 73 85 97
a 8 24 32 50 56 69 73 85 97
a 11 24 32 50 56 69 73 85 97
a 8 11 24 32 56 69 73 85 97
a 11 24 32 48 56 69 73 85 97
a 10 11 24 32 48 56 69 85 97
a 10 11 24 48 56 69 72 85 97
a 10 11 24 43 56 69 72 85 97
a 8 11 24 43 56 69 72 85 97
a 8 11 24 40 43 56 69 72 97
a 5 11 24 40 43 56 69 72 97
a 5 11 28 40 43 56 69 72 97
a 4 11 28 40 43 56 69 72 97
a 4 11 28 43 56 69 72 85 97
a 4 11 30 43 56 69 72 85 97
a 4 11 30 35 43 56 69 72 97
a 4 11 28 35 43 56 69 72 97
a 11 28 35 43 56 69 72 84 97
a 5 11 28 43 56 69 72 84 97
a 5 11 40 43 56 69 72 84 97
a 8 11 40 43 56 69 72 84 97
a 8 15 40 43 56 69 72 84 97
a 15 28 40 43 56 69 72 84 97
a 5 28 40 43 56 69 72 84 97
a 11 28 40 43 56 69 72 84 97
a 5 11 28 40 56 69 72 84 97
a 5 13 28 40 56 69 72 84 97
a 5 13 21 40 56 69 72 84 97
a 8 13 21 40 56 69 72 84 97
a 8 15 21 40 56 69 72 84 97
a 8 15 40 41 56 69 72 84 97
a 15 28 40 41 56 69 72 84 97
a 13 28 40 41 56 69 72 84 97
a 8 13 40 41 56 69 72 84 97
a 8 13 25 40 41 56 72 84 97
a 8 13 25 40 41 59 72 84 97
a 6 13 25 40 41 59 72 84 97
a 6 13 40 41 59 65 72 84 97
a 8 13 40 41 59 65 72 84 97
a 8 16 40 41 59 65 72 84 97
a 3 16 40 41 59 65 72 84 97
a 16 28 40 41 59 65 72 84 97
a 3 28 40 41 59 65 72 84 97
a 13 28 40 41 59 65 72 84 97
a 1 13 28 40 59 65 72 84 97
a 1 13 28 40 44 59 65 72 97
a 1 16 28 40 44 59 65 72 97
a 3 16 28 40 44 59 65 72 97
a 3 16 28 40 44 59 65 81 97
a 2 16 28 40 44 59 65 81 97
a 2 16 23 40 44 59 65 81 97
a 2 16 40 44 59 65 78 81 97
a 3 16 40 44 59 65 78 81 97
a 3 16 30 44 59 65 78 81 97
a 2 16 30 44 59 65 78 81 97
a 2 16 30 33 59 65 78 81 97
a 2 14 30 33 59 65 78 81 97
a 14 30 33 46 59 65 78 81 97
a 14 30 33 46 52 65 78 81 97
a 4 30 33 46 52 65 78 81 97
a 4 30 33 49 52 65 78 81 97
a 14 30 33 49 52 65 78 81 97
a 6 14 30 49 52 65 78 81 97
a 6 13 30 49 52 65 78 81 97
a 6 13 30 44 52 65 78 81 97
a 6 13 40 44 52 65 78 81 97
a 6 19 40 44 52 65 78 81 97
a 3 19 40 44 52 65 78 81 97
a 3 19 26 40 52 65 78 81 97
a 3 19 24 40 52 65 78 81 97
a 3 19 24 50 52 65 78 81 97
a 3 19 26 50 52 65 78 81 97
a 19 26 33 50 52 65 78 81 97
a 14 26 33 50 52 65 78 81 97
a 9 14 26 33 50 52 65 78 97
a 9 14 26 33 52 65 78 90 97
a 14 26 33 49 52 65 78 90 97
a 14 26 33 49 52 65 78 90 91
a 9 14 26 33 52 65 78 90 91
a 9 14 26 33 50 52 65 78 91
a 9 26 33 50 52 65 78 84 91
a 9 13 26 50 52 65 78 84 91
a 9 13 26 50 52 65 78 84 97
a 9 13 26 40 52 65 78 84 97
a 9 11 26 40 52 65 78 84 97
a 3 11 26 40 52 65 78 84 97
a 3 19 26 40 52 65 78 84 97
a 3 19 26 50 52 65 78 84 97
a 3 11 26 50 52 65 78 84 97
a 9 11 26 50 52 65 78 84 97
a 9 26 33 50 52 65 78 84 97
a 19 26 33 50 52 65 78 84 97
a 1 19 26 33 50 52 65 84 97
a 1 18 26 33 50 52 65 84 97
a 1 18 26 33 50 52 69 84 97
a 5 18 26 33 50 52 69 84 97
a 5 18 21 33 50 52 69 84 97
a 5 18 33 50 52 69 76 84 97
a 1 18 33 50 52 69 76 84 97
a 1 18 35 50 52 69 76 84 97
a 18 23 35 50 52 69 76 84 97
a 11 23 35 50 52 69 76 84 97
a 8 11 23 50 52 69 76 84 97
a 11 23 38 50 52 69 76 84 97
a 15 23 38 50 52 69 76 84 97
a 1 15 38 50 52 69 76 84 97
a 1 15 22 38 50 69 76 84 97
a 1 15 22 38 50 63 76 84 97
a 1 19 22 38 50 63 76 84 97
a 1 19 22 35 50 63 76 84 97
a 1 19 22 35 50 58 63 84 97
a 1 16 22 35 50 58 63 84 97
a 1 16 29 35 50 58 63 84 97
a 1 16 29 35 50 58 63 82 97
a 4 16 29 35 50 58 63 82 97
a 4 11 29 35 50 58 63 82 97
a 4 11 29 35 50 63 76 82 97
a 4 29 35 50 51 63 76 82 97
a 14 29 35 50 51 63 76 82 97
a 14 29 35 48 51 63 76 82 97
a 1 14 29 35 48 63 76 82 97
a 1 14 29 35 60 63 76 82 97
a 1 14 29 48 60 63 76 82 97
a 1 14 35 48 60 63 76 82 97
a 14 29 35 48 60 63 76 82 97
a 1 29 35 48 60 63 76 82 97
a 11 29 35 48 60 63 76 82 97
a 3 11 29 35 48 60 76 82 97
a 3 29 35 48 60 61 76 82 97
a 14 29 35 48 60 61 76 82 97
a 9 14 35 48 60 61 76 82 97
a 9 14 33 48 60 61 76 82 97
a 14 29 33 48 60 61 76 82 97
a 8 14 29 33 60 61 76 82 97
a 8 14 33 45 60 61 76 82 97
a 8 29 33 45 60 61 76 82 97
a 4 29 33 45 60 61 76 82 97
a 14 29 33 45 60 61 76 82 97
a 8 14 29 45 60 61 76 82 97
a 8 14 39 45 60 61 76 82 97
a 8 13 39 45 60 61 76 82 97
a 8 24 39 45 60 61 76 82 97
a 3 24 39 45 60 61 76 82 97
a 3 18 24 39 60 61 76 82 97
a 3 18 39 44 60 61 76 82 97
a 3 15 39 44 60 61 76 82 97
a 15 23 39 44 60 61 76 82 97
a 18 23 39 44 60 61 76 82 97
a 4 18 23 39 60 61 76 82 97
a 4 18 23 35 60 61 76 82 97
a 4 18 23 35 50 61 76 82 97
a 4 18 23 35 50 51 76 82 97
a 4 18 23 35 50 69 76 82 97
a 4 11 23 35 50 69 76 82 97
a 4 11 23 38 50 69 76 82 97
a 4 23 38 50 51 69 76 82 97
a 4 18 23 50 51 69 76 82 97
a 4 18 35 50 51 69 76 82 97
a 4 23 35 50 51 69 76 82 97
a 18 23 35 50 51 69 76 82 97
a 4 18 23 35 51 69 76 82 97
#END: [Sun Sep 10 18:14:45 2023]