#BEGIN: [Sun Sep 10 17:41:33 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen008x008.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen008x008_01_4136.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/queen008x008.col /benchmark/2022benchmark/benchmark/queen/queen008x008_01_4136.dat
s 25 3 47 50 14 24 37
t 4 41 62 51 29 24 39
a YES
a 3 14 24 25 37 47 50
a 14 24 25 37 47 50 60
a 3 14 24 37 47 50 60
a 14 24 27 37 47 50 60
a 14 17 27 37 47 50 60
a 14 17 27 37 48 50 60
a 14 17 31 37 48 50 60
a 2 14 17 31 37 48 60
a 2 14 17 31 37 43 60
a 2 17 31 37 43 54 60
a 2 12 17 31 37 43 54
a 2 12 17 32 37 43 54
a 7 12 17 32 37 43 54
a 7 12 17 32 37 54 59
a 2 12 17 32 37 54 59
a 2 15 17 32 37 54 59
a 4 15 17 32 37 54 59
a 4 15 17 32 34 54 59
a 4 15 21 32 34 54 59
a 1 15 21 32 34 54 59
a 1 15 21 34 44 54 59
a 1 15 32 34 44 54 59
a 1 21 32 34 44 54 59
a 15 21 32 34 44 54 59
a 1 15 21 32 44 54 59
a 2 15 21 32 44 54 59
a 2 15 21 25 44 54 59
a 2 15 21 25 44 54 64
a 2 15 21 33 44 54 64
a 2 21 31 33 44 54 64
a 11 21 31 33 44 54 64
a 6 11 21 31 33 44 64
a 6 11 21 31 33 50 64
a 6 11 21 31 44 50 64
a 6 11 21 33 44 50 64
a 6 11 31 33 44 50 64
a 6 21 31 33 44 50 64
a 11 21 31 33 44 50 64
a 6 11 21 31 33 44 50
a 6 11 31 33 44 50 61
a 6 11 32 33 44 50 61
a 7 11 32 33 44 50 61
a 7 11 24 33 44 50 61
a 7 24 27 33 44 50 61
a 14 24 27 33 44 50 61
a 3 14 24 33 44 50 61
a 3 14 24 33 44 55 61
a 2 14 24 33 44 55 61
a 2 24 27 33 44 55 61
a 14 24 27 33 44 55 61
a 2 14 27 33 44 55 61
a 8 14 27 33 44 55 61
a 8 14 18 33 44 55 61
a 3 14 18 33 44 55 61
a 3 18 32 33 44 55 61
a 6 18 32 33 44 55 61
a 6 11 32 33 44 55 61
a 11 22 32 33 44 55 61
a 2 22 32 33 44 55 61
a 3 22 32 33 44 55 61
a 3 9 22 32 44 55 61
a 3 9 22 32 42 55 61
a 3 9 20 32 42 55 61
a 3 9 32 38 42 55 61
a 4 9 32 38 42 55 61
a 4 9 19 32 38 42 61
a 4 15 19 32 38 42 61
a 4 15 19 32 38 41 61
a 4 15 19 32 38 49 61
a 15 19 32 38 44 49 61
a 3 15 32 38 44 49 61
a 3 18 32 38 44 49 61
a 15 18 32 38 44 49 61
a 3 15 18 32 38 44 61
a 1 15 18 32 38 44 61
a 1 15 18 32 38 51 61
a 1 12 18 32 38 51 61
a 7 12 18 32 38 51 61
a 7 12 17 32 38 51 61
a 7 12 17 32 38 50 61
a 7 12 17 27 38 50 61
a 7 17 27 38 48 50 61
a 4 17 27 38 48 50 61
a 4 14 17 27 48 50 61
a 4 14 27 33 48 50 61
a 4 23 27 33 48 50 61
a 4 10 23 27 33 48 61
a 4 10 23 27 48 49 61
a 4 10 23 38 48 49 61
a 4 23 26 38 48 49 61
a 4 15 26 38 48 49 61
a 4 15 19 38 48 49 61
a 4 15 27 38 48 49 61
a 4 10 27 38 48 49 61
a 4 23 27 38 48 49 61
a 10 23 27 38 48 49 61
a 4 10 23 27 38 49 61
a 8 10 23 27 38 49 61
a 8 10 27 38 44 49 61
a 8 10 27 39 44 49 61
a 10 24 27 39 44 49 61
a 2 24 27 39 44 49 61
a 2 22 27 39 44 49 61
a 10 22 27 39 44 49 61
a 5 10 22 27 39 44 49
a 5 10 22 39 44 49 59
a 5 10 22 25 39 44 59
a 5 10 25 39 44 54 59
a 8 10 25 39 44 54 59
a 8 10 20 25 39 54 59
a 5 10 20 25 39 54 59
a 5 10 20 25 48 54 59
a 7 10 20 25 48 54 59
a 7 10 20 33 48 54 59
a 7 10 20 32 33 54 59
a 7 10 20 32 33 43 54
a 7 20 32 33 43 54 58
a 7 13 32 33 43 54 58
a 7 13 17 32 43 54 58
a 7 12 17 32 43 54 58
a 7 12 17 32 38 43 58
a 7 13 17 32 38 43 58
a 13 17 32 38 43 55 58
a 12 17 32 38 43 55 58
a 4 17 32 38 43 55 58
a 4 9 32 38 43 55 58
a 4 21 32 38 43 55 58
a 9 21 32 38 43 55 58
a 4 9 21 32 38 43 55
a 4 9 21 26 38 43 55
a 4 16 21 26 38 43 55
a 4 16 21 26 38 43 63
a 4 16 21 26 38 41 63
a 4 21 26 38 41 51 63
a 8 21 26 38 41 51 63
a 8 10 21 38 41 51 63
a 4 10 21 38 41 51 63
a 4 10 32 38 41 51 63
a 4 21 32 38 41 51 63
a 10 21 32 38 41 51 63
a 4 10 21 32 38 41 63
a 4 10 21 32 38 43 63
a 4 10 21 32 33 43 63
a 6 10 21 32 33 43 63
a 6 10 21 32 33 44 63
a 6 11 21 32 33 44 63
a 6 11 21 32 33 50 63
a 6 11 21 33 44 50 63
a 6 11 32 33 44 50 63
a 6 21 32 33 44 50 63
a 11 21 32 33 44 50 63
a 6 11 21 32 44 50 63
a 1 11 21 32 44 50 63
a 1 11 21 40 44 50 63
a 6 11 21 40 44 50 63
a 6 21 25 40 44 50 63
a 6 19 25 40 44 50 63
a 14 19 25 40 44 50 63
a 3 14 25 40 44 50 63
a 3 14 24 25 44 50 63
a 3 13 24 25 44 50 63
a 3 13 25 38 44 50 63
a 13 19 25 38 44 50 63
a 13 19 32 38 44 50 63
a 1 13 32 38 44 50 63
a 3 13 32 38 44 50 63
a 3 13 32 33 44 50 63
a 3 13 24 33 44 50 63
a 3 14 24 33 44 50 63
a 3 14 24 29 33 44 63
a 3 14 24 29 34 44 63
a 3 24 29 34 44 49 63
a 3 24 29 34 46 49 63
a 3 16 29 34 46 49 63
a 4 16 29 34 46 49 63
a 4 16 19 29 34 49 63
a 4 19 29 34 48 49 63
a 4 14 19 29 34 48 63
a 4 14 17 29 34 48 63
a 4 14 17 29 48 51 63
a 4 14 17 34 48 51 63
a 4 14 17 29 34 51 63
a 4 17 29 34 46 51 63
a 12 17 29 34 46 51 63
a 12 24 29 34 46 51 63
a 4 24 29 34 46 51 63
a 4 14 24 29 34 51 63
a 1 14 24 29 34 51 63
a 1 14 29 34 48 51 63
a 4 14 29 34 48 51 63
a 4 17 29 34 48 51 63
a 14 17 29 34 48 51 63
a 4 14 17 29 34 48 51
a 4 14 17 29 34 48 59
a 4 14 17 29 34 55 59
a 4 16 17 29 34 55 59
a 4 16 17 29 42 55 59
a 6 16 17 29 42 55 59
a 6 16 17 29 39 42 59
a 4 16 17 29 39 42 59
a 4 16 17 29 42 54 59
a 4 16 17 29 39 54 59
a 4 16 17 29 34 54 59
a 4 16 17 29 34 46 59
a 4 16 29 34 46 49 59
a 4 23 29 34 46 49 59
a 4 23 29 34 48 49 59
a 4 10 23 29 48 49 59
a 6 10 23 29 48 49 59
a 6 10 23 29 40 49 59
a 6 10 29 40 44 49 59
a 6 18 29 40 44 49 59
a 6 12 18 29 40 49 59
a 12 18 29 40 46 49 59
a 12 23 29 40 46 49 59
a 2 12 23 40 46 49 59
a 2 12 23 27 40 46 49
a 2 12 23 27 40 46 57
a 2 23 27 40 46 52 57
a 2 21 27 40 46 52 57
a 2 15 21 27 40 46 52
a 2 15 17 27 40 46 52
a 5 15 17 27 40 46 52
a 5 15 17 27 40 46 58
a 5 15 17 27 46 56 58
a 4 15 17 27 46 56 58
a 4 15 21 27 46 56 58
a 4 15 21 33 46 56 58
a 4 15 27 33 46 56 58
a 4 21 27 33 46 56 58
a 15 21 27 33 46 56 58
a 4 15 21 27 33 46 56
a 4 15 21 27 33 56 62
a 4 10 21 27 33 56 62
a 4 10 23 27 33 56 62
a 4 10 23 33 43 56 62
a 4 10 21 33 43 56 62
a 10 21 31 33 43 56 62
a 6 10 21 31 33 43 56
a 6 10 21 31 33 44 56
a 6 10 31 33 44 56 61
a 6 18 31 33 44 56 61
a 3 18 31 33 44 56 61
a 14 18 31 33 44 56 61
a 3 14 18 31 44 56 61
a 1 14 18 31 44 56 61
a 1 14 18 39 44 56 61
a 1 14 27 39 44 56 61
a 1 22 27 39 44 56 61
a 10 22 27 39 44 56 61
a 5 10 22 27 39 44 56
a 5 10 27 39 44 56 57
a 5 10 24 27 39 44 57
a 5 10 24 39 44 54 57
a 5 11 24 39 44 54 57
a 5 11 24 34 44 54 57
a 5 11 24 34 44 55 57
a 5 11 24 30 34 55 57
a 5 11 24 30 42 55 57
a 5 11 30 40 42 55 57
a 5 20 30 40 42 55 57
a 5 9 20 30 40 42 55
a 5 9 20 30 40 55 59
a 5 9 20 30 42 55 59
a 5 9 20 30 40 42 59
a 5 15 20 30 40 42 59
a 1 15 20 30 40 42 59
a 1 15 20 30 40 53 59
a 1 15 20 30 42 53 59
a 1 15 20 30 40 42 53
a 1 20 30 40 42 53 63
a 1 11 30 40 42 53 63
a 1 11 30 40 42 52 63
a 5 11 30 40 42 52 63
a 5 17 30 40 42 52 63
a 11 17 30 40 42 52 63
a 5 11 17 30 40 42 52
a 5 15 17 30 40 42 52
a 5 15 17 27 40 42 52
a 5 15 27 40 42 52 62
a 1 15 27 40 42 52 62
a 1 23 27 40 42 52 62
a 1 12 23 27 40 42 62
a 1 12 23 27 40 50 62
a 1 12 23 40 45 50 62
a 1 11 23 40 45 50 62
a 1 11 23 40 45 50 60
a 6 11 23 40 45 50 60
a 6 11 17 40 45 50 60
a 7 11 17 40 45 50 60
a 7 17 30 40 45 50 60
a 11 17 30 40 45 50 60
a 1 11 30 40 45 50 60
a 7 11 30 40 45 50 60
a 7 19 30 40 45 50 60
a 7 19 25 40 45 50 60
a 6 19 25 40 45 50 60
a 14 19 25 40 45 50 60
a 2 14 19 25 40 45 60
a 2 15 19 25 40 45 60
a 2 15 19 30 40 45 60
a 2 15 19 30 40 41 60
a 2 15 19 30 40 49 60
a 2 15 19 40 45 49 60
a 2 15 30 40 45 49 60
a 2 19 30 40 45 49 60
a 15 19 30 40 45 49 60
a 2 15 19 30 45 49 60
a 15 19 30 34 45 49 60
a 8 19 30 34 45 49 60
a 8 11 30 34 45 49 60
a 8 11 23 34 45 49 60
a 8 11 23 26 45 49 60
a 6 11 23 26 45 49 60
a 6 11 23 26 40 49 60
a 6 23 26 40 43 49 60
a 6 10 23 40 43 49 60
a 6 10 23 29 40 49 60
a 6 10 23 40 45 49 60
a 6 11 23 40 45 49 60
a 6 11 26 40 45 49 60
a 6 23 26 40 45 49 60
a 3 23 26 40 45 49 60
a 11 23 26 40 45 49 60
a 1 11 23 26 40 45 60
a 6 11 23 26 40 45 60
a 6 11 26 40 45 55 60
a 6 11 17 40 45 55 60
a 11 17 30 40 45 55 60
a 2 17 30 40 45 55 60
a 2 14 17 40 45 55 60
a 2 14 17 27 40 55 60
a 2 14 17 40 43 55 60
a 2 17 30 40 43 55 60
a 5 17 30 40 43 55 60
a 5 9 30 40 43 55 60
a 5 9 24 30 43 55 60
a 5 9 24 30 35 55 60
a 5 9 24 30 34 55 60
a 5 11 24 30 34 55 60
a 5 11 24 30 41 55 60
a 5 11 30 40 41 55 60
a 5 18 30 40 41 55 60
a 5 15 18 30 40 41 60
a 5 15 18 30 35 41 60
a 5 15 18 30 41 56 60
a 5 15 18 30 35 56 60
a 1 15 18 30 35 56 60
a 1 15 30 35 45 56 60
a 1 15 30 34 45 56 60
a 15 17 30 34 45 56 60
a 7 17 30 34 45 56 60
a 7 19 30 34 45 56 60
a 15 19 30 34 45 56 60
a 4 15 19 30 34 45 56
a 4 15 19 34 45 56 62
a 4 15 19 32 34 45 62
a 4 15 32 34 45 51 62
a 1 15 32 34 45 51 62
a 1 15 21 32 34 51 62
a 4 15 21 32 34 51 62
a 4 9 21 32 34 51 62
a 4 9 21 32 34 47 51
a 4 21 32 34 47 51 57
a 4 10 21 32 47 51 57
a 6 10 21 32 47 51 57
a 6 10 21 32 36 47 51
a 6 10 21 25 36 47 51
a 6 21 25 36 47 51 64
a 6 21 26 36 47 51 64
a 6 9 21 26 47 51 64
a 4 9 21 26 47 51 64
a 4 9 21 26 38 51 64
a 4 15 21 26 38 51 64
a 4 15 21 26 41 51 64
a 4 15 21 38 41 51 64
a 4 15 26 38 41 51 64
a 4 21 26 38 41 51 64
a 15 21 26 38 41 51 64
a 4 15 21 26 38 41 51
a 4 15 26 38 41 51 61
a 4 15 32 38 41 51 61
a 4 10 32 38 41 51 61
a 7 10 32 38 41 51 61
a 7 12 32 38 41 51 61
a 12 18 32 38 41 51 61
a 7 18 32 38 41 51 61
a 15 18 32 38 41 51 61
a 15 18 28 38 41 51 61
a 8 18 28 38 41 51 61
a 8 18 28 39 41 51 61
a 8 14 18 39 41 51 61
a 8 14 26 39 41 51 61
a 4 14 26 39 41 51 61
a 4 24 26 39 41 51 61
a 14 24 26 39 41 51 61
a 4 14 24 26 39 51 61
a 1 14 24 26 39 51 61
a 1 14 20 26 39 51 61
a 8 14 20 26 39 51 61
a 8 9 20 26 39 51 61
a 8 9 20 26 46 51 61
a 7 9 20 26 46 51 61
a 7 9 20 26 48 51 61
a 7 9 26 38 48 51 61
a 4 9 26 38 48 51 61
a 4 15 26 38 48 51 61
a 1 15 26 38 48 51 61
a 1 15 18 38 48 51 61
a 15 18 28 38 48 51 61
a 15 17 28 38 48 51 61
a 5 15 17 28 38 48 51
a 5 15 17 28 38 48 58
a 5 15 17 28 48 54 58
a 5 11 17 28 48 54 58
a 5 11 17 31 48 54 58
a 5 11 17 31 34 48 54
a 5 11 17 28 34 48 54
a 5 15 17 28 34 48 54
a 5 15 17 34 48 54 60
a 5 11 17 34 48 54 60
a 5 17 31 34 48 54 60
a 11 17 31 34 48 54 60
a 5 11 31 34 48 54 60
a 1 11 31 34 48 54 60
a 1 11 21 31 34 54 60
a 8 11 21 31 34 54 60
a 8 11 21 31 41 54 60
a 8 11 31 37 41 54 60
a 8 11 26 37 41 54 60
a 7 11 26 37 41 54 60
a 7 24 26 37 41 54 60
a 3 24 26 37 41 54 60
a 11 24 26 37 41 54 60
a 7 11 24 26 37 54 60
a 7 11 26 37 48 54 60
a 7 11 17 37 48 54 60
a 11 17 31 37 48 54 60
a 2 17 31 37 48 54 60
a 2 15 17 37 48 54 60
a 2 15 25 37 48 54 60
a 2 15 25 37 48 54 59
a 2 15 17 37 48 54 59
a 4 15 17 37 48 54 59
a 4 15 26 37 48 54 59
a 15 20 26 37 48 54 59
a 7 20 26 37 48 54 59
a 7 20 25 37 48 54 59
a 15 20 25 37 48 54 59
a 5 15 20 25 48 54 59
a 5 15 20 25 48 54 58
a 5 15 20 25 35 48 54
a 5 10 20 25 35 48 54
a 5 10 20 31 35 48 54
a 5 10 20 31 35 48 57
a 5 10 20 31 48 54 57
a 5 10 20 35 48 54 57
a 5 10 31 35 48 54 57
a 5 20 31 35 48 54 57
a 10 20 31 35 48 54 57
a 5 10 20 31 35 54 57
a 5 16 20 31 35 54 57
a 5 16 20 31 35 46 57
a 5 16 18 31 35 46 57
a 5 18 31 35 46 56 57
a 12 18 31 35 46 56 57
a 6 12 18 31 35 56 57
a 6 12 18 31 37 56 57
a 6 12 31 37 42 56 57
a 6 12 17 31 37 42 56
a 6 12 17 31 42 56 61
a 6 17 31 36 42 56 61
a 6 19 31 36 42 56 61
a 6 16 19 31 36 42 61
a 6 16 19 31 36 49 61
a 2 16 19 31 36 49 61
a 2 19 31 36 48 49 61
a 6 19 31 36 48 49 61
a 6 11 31 36 48 49 61
a 6 10 31 36 48 49 61
a 6 10 23 36 48 49 61
a 6 11 23 36 48 49 61
a 6 11 26 36 48 49 61
a 6 23 26 36 48 49 61
a 11 23 26 36 48 49 61
a 6 11 23 26 36 49 61
a 11 23 26 36 46 49 61
a 3 23 26 36 46 49 61
a 3 16 26 36 46 49 61
a 3 24 26 36 46 49 61
a 11 24 26 36 46 49 61
a 7 11 24 26 36 46 61
a 7 11 24 26 36 41 61
a 11 24 26 36 41 55 61
a 3 24 26 36 41 55 61
a 14 24 26 36 41 55 61
a 3 14 24 36 41 55 61
a 2 14 24 36 41 55 61
a 2 24 30 36 41 55 61
a 11 24 30 36 41 55 61
a 11 24 30 36 42 55 61
a 11 17 30 36 42 55 61
a 6 11 17 36 42 55 61
a 6 11 32 36 42 55 61
a 6 17 32 36 42 55 61
a 11 17 32 36 42 55 61
a 6 11 17 32 42 55 61
a 6 12 17 32 42 55 61
a 12 17 32 38 42 55 61
a 4 17 32 38 42 55 61
a 4 16 17 38 42 55 61
a 4 16 27 38 42 55 61
a 16 17 27 38 42 55 61
a 8 17 27 38 42 55 61
a 4 17 27 38 42 55 61
a 12 17 27 38 42 55 61
a 8 12 17 27 38 42 61
a 8 12 23 27 38 42 61
a 1 12 23 27 38 42 61
a 1 12 23 27 42 56 61
a 1 12 22 27 42 56 61
a 1 22 27 39 42 56 61
a 1 16 22 27 39 42 61
a 1 16 22 27 39 42 52
a 5 16 22 27 39 42 52
a 5 16 17 27 39 42 52
a 5 16 27 39 42 52 62
a 1 16 27 39 42 52 62
a 1 16 29 39 42 52 62
a 16 19 29 39 42 52 62
a 9 19 29 39 42 52 62
a 9 19 29 40 42 52 62
a 3 9 29 40 42 52 62
a 3 23 29 40 42 52 62
a 1 23 29 40 42 52 62
a 9 23 29 40 42 52 62
a 6 9 23 29 40 42 52
a 3 9 23 29 40 42 52
a 3 9 23 29 42 52 64
a 6 9 23 29 42 52 64
a 6 9 29 39 42 52 64
a 6 17 29 39 42 52 64
a 6 11 17 39 42 52 64
a 5 11 17 39 42 52 64
a 5 11 22 39 42 52 64
a 5 9 22 39 42 52 64
a 5 22 27 39 42 52 64
a 5 17 27 39 42 52 64
a 5 15 17 27 42 52 64
a 5 15 17 27 38 42 64
a 4 15 17 27 38 42 64
a 4 15 27 38 42 53 64
a 4 23 27 38 42 53 64
a 12 23 27 38 42 53 64
a 12 23 25 38 42 53 64
a 3 23 25 38 42 53 64
a 3 15 25 38 42 53 64
a 3 15 20 25 42 53 64
a 3 15 20 25 42 54 64
a 5 15 20 25 42 54 64
a 5 20 25 39 42 54 64
a 5 16 20 25 39 42 54
a 5 16 20 39 42 54 57
a 5 16 20 31 42 54 57
a 3 16 20 31 42 54 57
a 3 20 31 37 42 54 57
a 3 20 32 37 42 54 57
a 3 15 20 32 37 42 54
a 15 20 32 37 42 54 59
a 4 15 32 37 42 54 59
a 15 17 32 37 42 54 59
a 4 17 32 37 42 54 59
a 12 17 32 37 42 54 59
a 8 12 17 37 42 54 59
a 8 12 25 37 42 54 59
a 8 20 25 37 42 54 59
a 15 20 25 37 42 54 59
a 5 15 20 25 42 54 59
a 5 16 20 25 42 54 59
a 5 16 20 39 42 54 59
a 1 16 20 39 42 54 59
a 1 16 29 39 42 54 59
a 4 16 29 39 42 54 59
a 4 17 29 39 42 54 59
a 16 17 29 39 42 54 59
a 4 16 17 39 42 54 59
a 5 16 17 39 42 54 59
a 5 16 25 39 42 54 59
a 16 20 25 39 42 54 59
a 5 20 25 39 42 54 59
a 8 20 25 39 42 54 59
a 8 13 25 39 42 54 59
a 8 13 23 25 42 54 59
a 8 12 23 25 42 54 59
a 8 12 23 25 42 53 59
a 6 12 23 25 42 53 59
a 6 23 25 36 42 53 59
a 6 16 25 36 42 53 59
a 6 16 25 36 47 53 59
a 6 10 25 36 47 53 59
a 6 10 21 25 36 47 59
a 6 16 21 25 36 47 59
a 6 16 21 26 36 47 59
a 6 16 21 26 36 55 59
a 6 16 21 25 36 55 59
a 6 16 25 36 42 55 59
a 5 16 25 36 42 55 59
a 5 16 17 36 42 55 59
a 6 16 17 36 42 55 59
a 6 17 32 36 42 55 59
a 13 17 32 36 42 55 59
a 13 17 30 36 42 55 59
a 5 17 30 36 42 55 59
a 5 17 30 40 42 55 59
a 5 9 30 40 42 55 59
a 5 20 30 40 42 55 59
a 9 20 30 40 42 55 59
a 5 9 20 40 42 55 59
a 5 20 25 40 42 55 59
a 5 15 20 25 40 42 59
a 15 20 25 40 42 53 59
a 1 15 20 40 42 53 59
a 1 15 30 40 42 53 59
a 15 20 30 40 42 53 59
a 1 20 30 40 42 53 59
a 9 20 30 40 42 53 59
a 7 9 20 30 40 53 59
a 7 10 20 30 40 53 59
a 7 10 20 30 33 53 59
a 7 10 20 33 48 53 59
a 7 10 22 33 48 53 59
a 7 10 22 25 48 53 59
a 7 10 20 25 48 53 59
a 7 10 25 36 48 53 59
a 6 10 25 36 48 53 59
a 10 23 25 36 48 53 59
a 6 23 25 36 48 53 59
a 2 23 25 36 48 53 59
a 2 14 25 36 48 53 59
a 2 14 19 25 36 48 53
a 2 14 19 25 48 53 63
a 2 14 19 25 40 53 63
a 2 14 19 40 41 53 63
a 2 19 30 40 41 53 63
a 2 19 30 40 41 52 63
a 2 14 19 40 41 52 63
a 14 19 29 40 41 52 63
a 3 14 29 40 41 52 63
a 3 14 26 40 41 52 63
a 3 14 26 37 41 52 63
a 8 14 26 37 41 52 63
a 8 11 26 37 41 52 63
a 11 22 26 37 41 52 63
a 3 22 26 37 41 52 63
a 3 22 32 37 41 52 63
a 2 22 32 37 41 52 63
a 11 22 32 37 41 52 63
a 7 11 22 32 37 41 52
a 7 11 32 37 41 52 62
a 7 18 32 37 41 52 62
a 3 18 32 37 41 52 62
a 15 18 32 37 41 52 62
a 3 15 18 32 37 52 62
a 3 15 32 37 42 52 62
a 3 9 32 37 42 52 62
a 3 9 32 37 47 52 62
a 3 18 32 37 47 52 62
a 3 13 18 32 47 52 62
a 1 13 18 32 47 52 62
a 1 13 18 32 47 51 62
a 1 12 18 32 47 51 62
a 1 12 32 34 47 51 62
a 1 12 24 34 47 51 62
a 1 12 24 29 34 51 62
a 7 12 24 29 34 51 62
a 7 9 24 29 34 51 62
a 4 9 24 29 34 51 62
a 4 9 24 34 47 51 62
a 5 9 24 34 47 51 62
a 5 24 28 34 47 51 62
a 9 24 28 34 47 51 62
a 5 9 28 34 47 51 62
a 8 9 28 34 47 51 62
a 8 9 21 34 47 51 62
a 4 9 21 34 47 51 62
a 4 9 32 34 47 51 62
a 4 21 32 34 47 51 62
a 1 21 32 34 47 51 62
a 9 21 32 34 47 51 62
a 4 9 21 32 47 51 62
a 4 10 21 32 47 51 62
a 4 10 21 32 41 51 62
a 4 15 21 32 41 51 62
a 2 15 21 32 41 51 62
a 2 21 32 36 41 51 62
a 10 21 32 36 41 51 62
a 7 10 32 36 41 51 62
a 7 10 24 36 41 51 62
a 5 10 24 36 41 51 62
a 5 10 31 36 41 51 62
a 10 21 31 36 41 51 62
a 2 21 31 36 41 51 62
a 2 21 31 36 41 51 64
a 2 14 31 36 41 51 64
a 2 14 31 36 41 53 64
a 3 14 31 36 41 53 64
a 3 14 18 31 41 53 64
a 3 14 18 31 33 53 64
a 3 14 20 31 33 53 64
a 14 20 31 33 43 53 64
a 2 14 31 33 43 53 64
a 14 18 31 33 43 53 64
a 6 18 31 33 43 53 64
a 6 16 18 31 33 43 53
a 6 16 18 28 33 43 53
a 6 16 28 33 43 53 63
a 2 16 28 33 43 53 63
a 2 24 28 33 43 53 63
a 2 14 24 33 43 53 63
a 4 14 24 33 43 53 63
a 4 10 24 33 43 53 63
a 4 24 30 33 43 53 63
a 2 24 30 33 43 53 63
a 10 24 30 33 43 53 63
a 4 10 30 33 43 53 63
a 10 20 30 33 43 53 63
a 10 20 30 40 43 53 63
a 1 20 30 40 43 53 63
a 1 14 20 40 43 53 63
a 1 14 20 40 43 53 58
a 1 14 20 31 43 53 58
a 14 20 31 33 43 53 58
a 8 14 20 31 33 53 58
a 3 14 20 31 33 53 58
a 14 20 31 33 48 53 58
a 1 14 20 31 48 53 58
a 1 14 31 36 48 53 58
a 1 11 31 36 48 53 58
a 6 11 31 36 48 53 58
a 6 19 31 36 48 53 58
a 14 19 31 36 48 53 58
a 14 19 25 36 48 53 58
a 6 19 25 36 48 53 58
a 7 19 25 36 48 53 58
a 7 19 25 38 48 53 58
a 15 19 25 38 48 53 58
a 4 15 19 38 48 53 58
a 4 15 27 38 48 53 58
a 4 15 17 27 38 48 58
a 5 15 17 27 38 48 58
a 5 15 17 27 48 52 58
a 5 15 17 27 40 52 58
a 5 15 17 27 46 52 58
a 5 15 17 40 46 52 58
a 5 11 17 40 46 52 58
a 7 11 17 40 46 52 58
a 7 17 27 40 46 52 58
a 5 17 27 40 46 52 58
a 15 17 27 40 46 52 58
a 5 15 27 40 46 52 58
a 15 21 27 40 46 52 58
a 15 21 27 33 46 52 58
a 8 21 27 33 46 52 58
a 8 21 27 33 47 52 58
a 8 14 27 33 47 52 58
a 8 14 27 33 47 53 58
a 4 14 27 33 47 53 58
a 4 24 27 33 47 53 58
a 14 24 27 33 47 53 58
a 4 14 24 27 33 47 53
a 4 10 24 27 33 47 53
a 4 10 24 30 33 47 53
a 4 10 30 33 47 53 59
a 8 10 30 33 47 53 59
a 8 18 30 33 47 53 59
a 8 14 18 33 47 53 59
a 8 18 28 33 47 53 59
a 6 18 28 33 47 53 59
a 16 18 28 33 47 53 59
a 6 16 28 33 47 53 59
a 16 22 28 33 47 53 59
a 2 16 22 28 33 53 59
a 2 22 28 33 48 53 59
a 2 23 28 33 48 53 59
a 6 23 28 33 48 53 59
a 6 18 28 33 48 53 59
a 15 18 28 33 48 53 59
a 2 15 28 33 48 53 59
a 2 15 28 33 48 54 59
a 2 13 28 33 48 54 59
a 2 23 28 33 48 54 59
a 13 23 28 33 48 54 59
a 2 13 23 28 48 54 59
a 2 13 17 28 48 54 59
a 2 15 17 28 48 54 59
a 5 15 17 28 48 54 59
a 5 15 28 34 48 54 59
a 5 17 28 34 48 54 59
a 15 17 28 34 48 54 59
a 5 15 17 34 48 54 59
a 4 15 17 34 48 54 59
a 4 17 29 34 48 54 59
a 7 17 29 34 48 54 59
a 7 12 17 29 34 54 59
a 7 12 17 29 34 54 64
a 7 12 17 29 34 51 64
a 7 12 17 34 45 51 64
a 7 12 22 34 45 51 64
a 7 12 22 25 45 51 64
a 2 12 22 25 45 51 64
a 2 22 25 39 45 51 64
a 2 14 25 39 45 51 64
a 14 20 25 39 45 51 64
a 14 20 26 39 45 51 64
a 4 14 26 39 45 51 64
a 4 14 26 39 41 51 64
a 4 14 29 39 41 51 64
a 14 18 29 39 41 51 64
a 14 18 29 39 41 52 64
a 3 14 18 29 41 52 64
a 3 14 18 29 33 52 64
a 3 14 18 33 47 52 64
a 3 13 18 33 47 52 64
a 13 18 30 33 47 52 64
a 8 13 18 30 33 47 52
a 8 13 18 33 47 52 62
a 3 13 18 33 47 52 62
a 3 13 32 33 47 52 62
a 3 18 32 33 47 52 62
a 13 18 32 33 47 52 62
a 3 13 18 32 33 47 62
a 3 13 32 33 47 50 62
a 3 13 24 33 47 50 62
a 3 24 28 33 47 50 62
a 13 24 28 33 47 50 62
a 3 13 28 33 47 50 62
a 3 16 28 33 47 50 62
a 3 16 18 28 33 47 62
a 3 13 18 28 33 47 62
a 8 13 18 28 33 47 62
a 8 13 18 28 47 51 62
a 8 13 18 28 39 51 62
a 8 18 28 39 41 51 62
a 5 18 28 39 41 51 62
a 5 15 18 28 41 51 62
a 5 15 18 40 41 51 62
a 5 18 28 40 41 51 62
a 15 18 28 40 41 51 62
a 5 15 28 40 41 51 62
a 2 15 28 40 41 51 62
a 2 15 28 40 45 51 62
a 2 15 25 40 45 51 62
a 2 12 25 40 45 51 62
a 7 12 25 40 45 51 62
a 7 10 25 40 45 51 62
a 10 20 25 40 45 51 62
a 7 20 25 40 45 51 62
a 15 20 25 40 45 51 62
a 3 15 20 25 40 45 62
a 3 15 20 40 45 49 62
a 3 15 20 32 45 49 62
a 3 15 32 34 45 49 62
a 4 15 32 34 45 49 62
a 4 19 32 34 45 49 62
a 15 19 32 34 45 49 62
a 4 15 19 34 45 49 62
a 4 16 19 34 45 49 62
a 4 16 19 39 45 49 62
a 4 16 19 39 45 50 62
a 16 19 25 39 45 50 62
a 16 20 25 39 45 50 62
a 3 16 20 25 45 50 62
a 3 20 25 40 45 50 62
a 7 20 25 40 45 50 62
a 7 19 25 40 45 50 62
a 7 12 25 40 45 50 62
a 12 23 25 40 45 50 62
a 3 23 25 40 45 50 62
a 3 23 28 40 45 50 62
a 11 23 28 40 45 50 62
a 6 11 23 28 40 45 50
a 6 11 17 28 40 45 50
a 6 11 17 28 39 45 50
a 6 16 17 28 39 45 50
a 6 16 17 28 39 50 61
a 6 11 17 28 39 50 61
a 6 11 17 28 48 50 61
a 6 11 17 31 48 50 61
a 6 11 31 33 48 50 61
a 6 11 23 33 48 50 61
a 6 11 28 33 48 50 61
a 6 23 28 33 48 50 61
a 11 23 28 33 48 50 61
a 6 11 23 28 48 50 61
a 6 9 23 28 48 50 61
a 9 23 28 38 48 50 61
a 4 9 23 38 48 50 61
a 4 9 23 35 48 50 61
a 6 9 23 35 48 50 61
a 6 9 31 35 48 50 61
a 9 20 31 35 48 50 61
a 1 20 31 35 48 50 61
a 1 14 20 31 48 50 61
a 14 20 31 33 48 50 61
a 3 14 20 31 33 50 61
a 3 16 20 31 33 50 61
a 3 16 20 33 46 50 61
a 3 16 31 33 46 50 61
a 3 20 31 33 46 50 61
a 16 20 31 33 46 50 61
a 3 16 20 31 46 50 61
a 16 20 31 35 46 50 61
a 9 20 31 35 46 50 61
a 8 9 20 31 35 46 61
a 8 9 20 31 35 46 58
a 5 9 20 31 35 46 58
a 5 9 20 31 35 48 58
a 5 20 31 35 48 54 58
a 1 20 31 35 48 54 58
a 1 15 20 35 48 54 58
a 5 15 20 35 48 54 58
a 5 15 25 35 48 54 58
a 5 20 25 35 48 54 58
a 15 20 25 35 48 54 58
a 5 15 20 25 35 48 58
a 5 15 20 25 35 46 58
a 5 15 20 25 40 46 58
a 3 15 20 25 40 46 58
a 3 15 20 25 40 45 58
a 3 14 20 25 40 45 58
a 3 14 20 25 40 55 58
a 3 14 20 40 45 55 58
a 3 14 25 40 45 55 58
a 3 20 25 40 45 55 58
a 14 20 25 40 45 55 58
a 3 14 20 25 45 55 58
a 8 14 20 25 45 55 58
a 8 14 20 33 45 55 58
a 3 14 20 33 45 55 58
a 3 20 32 33 45 55 58
a 3 22 32 33 45 55 58
a 11 22 32 33 45 55 58
a 6 11 32 33 45 55 58
a 6 11 17 32 45 55 58
a 6 12 17 32 45 55 58
a 6 12 32 35 45 55 58
a 12 22 32 35 45 55 58
a 12 22 25 35 45 55 58
a 8 12 25 35 45 55 58
a 6 12 25 35 45 55 58
a 6 12 25 40 45 55 58
a 6 12 17 40 45 55 58
a 6 11 17 40 45 55 58
a 6 11 17 28 40 45 58
a 6 11 17 28 39 45 58
a 6 17 28 39 45 56 58
a 6 17 28 39 43 56 58
a 6 9 28 39 43 56 58
a 5 9 28 39 43 56 58
a 5 9 22 28 39 56 58
a 5 22 28 39 41 56 58
a 5 11 22 28 39 41 58
a 5 11 24 28 39 41 58
a 5 11 24 28 41 54 58
a 5 11 24 39 41 54 58
a 5 11 28 39 41 54 58
a 5 24 28 39 41 54 58
a 11 24 28 39 41 54 58
a 5 11 24 28 39 54 58
a 5 11 17 28 39 54 58
a 8 11 17 28 39 54 58
a 8 13 17 28 39 54 58
a 13 17 28 39 43 54 58
a 5 17 28 39 43 54 58
a 5 24 28 39 43 54 58
a 13 24 28 39 43 54 58
a 2 13 24 28 39 43 54
a 2 13 24 28 39 54 57
a 2 13 24 39 44 54 57
a 2 13 19 39 44 54 57
a 2 13 19 32 44 54 57
a 7 13 19 32 44 54 57
a 7 19 32 34 44 54 57
a 7 11 32 34 44 54 57
a 11 21 32 34 44 54 57
a 11 21 31 34 44 54 57
a 5 11 31 34 44 54 57
a 5 11 31 34 48 54 57
a 5 11 28 34 48 54 57
a 11 23 28 34 48 54 57
a 11 23 28 34 48 53 57
a 6 11 23 28 48 53 57
a 6 11 23 28 40 53 57
a 6 11 23 40 42 53 57
a 6 12 23 40 42 53 57
a 12 23 27 40 42 53 57
a 1 12 23 27 40 42 53
a 1 12 23 40 42 53 59
a 6 12 23 40 42 53 59
a 6 12 25 40 42 53 59
a 6 23 25 40 42 53 59
a 12 23 25 40 42 53 59
a 6 12 23 25 40 42 59
a 6 12 25 40 42 55 59
a 6 12 17 40 42 55 59
a 6 17 29 40 42 55 59
a 12 17 29 40 42 55 59
a 6 12 29 40 42 55 59
a 6 9 29 40 42 55 59
a 6 9 23 29 40 42 59
a 6 12 23 29 40 42 59
a 1 12 23 29 40 42 59
a 1 12 23 29 42 54 59
a 1 12 23 29 34 54 59
a 1 23 29 34 48 54 59
a 4 23 29 34 48 54 59
a 4 10 23 29 48 54 59
a 4 10 23 33 48 54 59
a 4 23 29 33 48 54 59
a 10 23 29 33 48 54 59
a 4 10 29 33 48 54 59
a 7 10 29 33 48 54 59
a 7 10 29 33 44 54 59
a 7 10 32 33 44 54 59
a 7 13 32 33 44 54 59
a 2 13 32 33 44 54 59
a 2 15 32 33 44 54 59
a 15 21 32 33 44 54 59
a 2 21 32 33 44 54 59
a 10 21 32 33 44 54 59
a 6 10 21 32 33 44 59
a 6 10 21 33 44 56 59
a 6 10 21 25 44 56 59
a 6 10 25 39 44 56 59
a 5 10 25 39 44 56 59
a 5 22 25 39 44 56 59
a 10 22 25 39 44 56 59
a 5 10 22 39 44 56 59
a 5 9 22 39 44 56 59
a 5 9 22 34 44 56 59
a 5 9 22 34 44 55 59
a 9 22 32 34 44 55 59
a 9 21 32 34 44 55 59
a 6 9 21 32 44 55 59
a 6 21 32 33 44 55 59
a 2 21 32 33 44 55 59
a 2 13 32 33 44 55 59
a 13 18 32 33 44 55 59
a 6 18 32 33 44 55 59
a 6 18 29 33 44 55 59
a 14 18 29 33 44 55 59
a 3 14 18 29 33 44 55
a 3 14 24 29 33 44 55
a 3 14 24 29 34 44 55
a 3 9 24 29 34 44 55
a 3 9 24 29 34 55 60
a 3 14 24 29 34 55 60
a 3 14 24 29 41 55 60
a 3 14 24 26 41 55 60
a 3 14 26 40 41 55 60
a 3 14 18 40 41 55 60
a 3 14 29 40 41 55 60
a 3 18 29 40 41 55 60
a 14 18 29 40 41 55 60
a 3 14 18 29 41 55 60
a 3 16 18 29 41 55 60
a 16 18 29 35 41 55 60
a 5 16 18 35 41 55 60
a 5 16 18 38 41 55 60
a 3 16 18 38 41 55 60
a 3 16 26 38 41 55 60
a 16 21 26 38 41 55 60
a 8 21 26 38 41 55 60
a 8 11 21 26 41 55 60
a 11 21 26 40 41 55 60
a 6 11 21 26 40 55 60
a 6 9 21 26 40 55 60
a 6 9 21 40 43 55 60
a 6 9 26 40 43 55 60
a 6 21 26 40 43 55 60
a 9 21 26 40 43 55 60
a 6 9 21 26 43 55 60
a 9 21 26 38 43 55 60
a 16 21 26 38 43 55 60
a 1 16 21 26 38 43 60
a 1 16 21 26 43 54 60
a 1 16 21 31 43 54 60
a 2 16 21 31 43 54 60
a 2 16 21 31 41 54 60
a 2 16 19 31 41 54 60
a 2 16 31 35 41 54 60
a 5 16 31 35 41 54 60
a 5 16 18 31 35 41 60
a 5 18 31 35 41 56 60
a 5 15 18 35 41 56 60
a 5 18 30 35 41 56 60
a 15 18 30 35 41 56 60
a 5 15 30 35 41 56 60
a 5 10 30 35 41 56 60
a 5 10 22 35 41 56 60
a 5 10 22 25 35 56 60
a 10 22 25 35 45 56 60
a 6 10 25 35 45 56 60
a 6 23 25 35 45 56 60
a 10 23 25 35 45 56 60
a 6 10 23 25 35 45 60
a 8 10 23 25 35 45 60
a 8 10 23 25 35 54 60
a 8 10 23 35 41 54 60
a 8 10 31 35 41 54 60
a 5 10 31 35 41 54 60
a 5 10 24 35 41 54 60
a 10 24 29 35 41 54 60
a 10 23 29 35 41 54 60
a 10 23 29 35 48 54 60
a 1 23 29 35 48 54 60
a 1 13 23 35 48 54 60
a 2 13 23 35 48 54 60
a 2 13 25 35 48 54 60
a 2 15 25 35 48 54 60
a 5 15 25 35 48 54 60
a 5 10 25 35 48 54 60
a 10 23 25 35 48 54 60
a 2 23 25 35 48 54 60
a 13 23 25 35 48 54 60
a 8 13 23 25 35 54 60
a 2 13 23 25 35 54 60
a 2 13 24 25 35 54 60
a 2 13 24 25 35 55 60
a 2 13 24 30 35 55 60
a 2 24 30 35 41 55 60
a 5 24 30 35 41 55 60
a 5 18 30 35 41 55 60
a 8 18 30 35 41 55 60
a 8 18 30 35 41 55 61
a 8 12 18 35 41 55 61
a 12 18 32 35 41 55 61
a 2 12 32 35 41 55 61
a 2 22 32 35 41 55 61
a 12 22 32 35 41 55 61
a 2 12 22 32 35 41 61
a 2 12 22 32 41 51 61
a 7 12 22 32 41 51 61
a 7 10 22 32 41 51 61
a 7 10 32 36 41 51 61
a 7 10 24 36 41 51 61
a 7 24 26 36 41 51 61
a 14 24 26 36 41 51 61
a 1 14 24 26 36 51 61
a 1 14 24 26 36 47 51
a 1 13 24 26 36 47 51
a 1 13 24 36 47 51 62
a 1 13 32 36 47 51 62
a 1 21 32 36 47 51 62
a 10 21 32 36 47 51 62
a 10 21 25 36 47 51 62
a 5 10 25 36 47 51 62
a 10 24 25 36 47 51 62
a 5 24 25 36 47 51 62
a 13 24 25 36 47 51 62
a 7 13 24 25 36 51 62
a 2 13 24 25 36 51 62
a 2 13 24 25 39 51 62
a 2 13 24 28 39 51 62
a 2 24 28 39 41 51 62
a 5 24 28 39 41 51 62
a 5 10 24 39 41 51 62
a 4 10 24 39 41 51 62
a 4 10 29 39 41 51 62
a 10 24 29 39 41 51 62
a 4 24 29 39 41 51 62
#END: [Sun Sep 10 18:10:33 2023]