#BEGIN: [Sun Sep 10 11:50:01 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/DSJC125.1.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/DSJC125.1_02.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/color04/DSJC125.1.col /benchmark/2022benchmark/benchmark/color04/DSJC125.1_02.dat
s 1 3 4 7 15 20 23 24 27 28 34 39 40 43 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121 
t 1 4 7 11 15 20 23 24 27 28 33 34 39 40 46 54 59 60 61 65 68 78 87 89 90 100 101 104 107 108 109 114 117
a YES
a 1 3 4 7 15 20 23 24 27 28 34 39 40 43 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 20 23 24 27 28 34 39 40 43 46 54 59 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 20 23 24 27 28 39 40 43 46 54 59 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121 125
a 1 3 4 7 15 20 23 24 27 28 39 40 43 46 54 59 65 67 86 87 89 90 95 100 101 104 107 108 109 114 117 121 125
a 1 3 4 7 15 17 20 23 24 27 39 40 43 46 54 59 65 67 86 87 89 90 95 100 101 104 107 108 109 114 117 121 125
a 1 3 4 7 15 17 19 20 23 24 27 39 40 43 46 54 59 65 67 86 87 89 90 95 100 101 104 107 108 109 117 121 125
a 1 4 7 15 17 19 20 23 24 27 39 40 43 46 54 56 59 65 67 86 87 89 90 95 100 101 104 107 108 109 117 121 125
a 1 4 7 15 17 19 20 23 24 25 27 39 40 43 54 56 59 65 67 86 87 89 90 95 100 101 104 107 108 109 117 121 125
a 1 4 7 15 17 19 20 23 25 27 39 40 43 54 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 117 121 125
a 1 4 7 15 17 18 19 20 23 25 27 39 40 43 54 56 59 65 67 86 87 89 91 95 100 101 104 107 108 109 117 121 125
a 1 4 15 17 18 19 20 23 25 27 39 40 43 54 56 59 65 67 73 86 87 89 91 95 100 101 104 107 108 109 117 121 125
a 1 4 15 17 18 19 20 23 25 27 40 43 54 56 59 63 65 67 73 86 87 89 91 95 100 101 104 107 108 109 117 121 125
a 1 4 15 17 18 19 20 21 23 25 27 40 43 54 56 59 63 67 73 86 87 89 91 95 100 101 104 107 108 109 117 121 125
a 1 4 15 17 18 19 20 21 23 25 26 27 40 43 54 56 59 63 67 73 86 87 89 91 95 100 101 104 107 108 109 121 125
a 1 4 15 17 19 20 21 23 25 26 27 40 43 54 56 59 63 67 73 86 87 89 90 91 95 100 101 104 107 108 109 121 125
a 1 4 15 17 19 20 21 23 25 26 27 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 100 101 104 107 108 121 125
a 1 4 15 17 19 20 21 23 25 27 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 100 101 104 107 108 117 121 125
a 1 4 15 17 19 20 21 23 25 27 39 40 43 54 56 59 67 73 75 86 87 89 90 91 95 100 101 104 107 108 117 121 125
a 1 4 17 19 20 21 23 25 27 30 39 40 43 54 56 59 67 73 75 86 87 89 90 91 95 100 101 104 107 108 117 121 125
a 1 4 17 20 21 23 25 27 30 39 40 43 54 56 59 67 73 75 86 87 89 90 91 95 100 101 104 107 108 114 117 121 125
a 1 4 15 17 20 21 23 25 27 39 40 43 54 56 59 67 73 75 86 87 89 90 91 95 100 101 104 107 108 114 117 121 125
a 1 4 15 17 20 21 23 25 27 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 100 101 104 107 108 114 117 121 125
a 1 4 15 20 21 23 25 27 28 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 100 101 104 107 108 114 117 121 125
a 1 4 15 20 21 23 25 27 28 34 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 100 101 104 107 108 114 117 121
a 1 4 15 17 20 21 23 25 27 34 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 100 101 104 107 108 114 117 121
a 1 4 15 17 20 21 23 25 27 34 40 43 54 56 59 63 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121
a 1 4 15 17 19 20 21 23 25 27 34 40 43 54 56 59 63 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121
a 1 4 15 17 19 20 23 25 27 34 40 43 54 56 59 63 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121
a 1 4 15 17 19 20 23 25 27 34 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121
a 1 4 17 19 20 23 25 27 30 34 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121
a 1 4 7 17 19 20 23 25 27 30 34 39 40 43 54 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 117 121
a 1 4 7 17 19 20 23 24 25 27 30 34 39 40 43 54 56 59 65 67 86 87 89 90 95 100 101 104 107 108 109 117 121
a 1 4 7 15 17 19 20 23 24 25 27 34 39 40 43 54 56 59 65 67 86 87 89 90 95 100 101 104 107 108 109 117 121
a 1 4 7 15 17 20 23 24 25 27 34 39 40 43 54 56 59 65 67 86 87 89 90 95 100 101 104 107 108 109 114 117 121
a 1 4 7 15 20 23 24 25 27 28 34 39 40 43 54 56 59 65 67 86 87 89 90 95 100 101 104 107 108 109 114 117 121
a 1 4 7 15 20 23 24 25 27 28 34 39 40 54 56 59 65 67 78 86 87 89 90 95 100 101 104 107 108 109 114 117 121
a 1 4 7 15 17 20 23 24 25 27 34 39 40 54 56 59 65 67 78 86 87 89 90 95 100 101 104 107 108 109 114 117 121
a 1 4 7 17 20 23 24 25 27 30 34 39 40 54 56 59 65 67 78 86 87 89 90 95 100 101 104 107 108 109 114 117 121
a 1 4 7 17 20 23 24 27 30 34 39 40 46 54 56 59 65 67 78 86 87 89 90 95 100 101 104 107 108 109 114 117 121
a 1 4 7 15 17 20 23 24 27 34 39 40 46 54 56 59 65 67 78 86 87 89 90 95 100 101 104 107 108 109 114 117 121
a 1 4 7 15 20 23 24 27 28 34 39 40 46 54 56 59 65 67 78 86 87 89 90 95 100 101 104 107 108 109 114 117 121
a 1 4 7 15 20 23 24 27 28 34 39 40 43 46 54 56 59 65 67 86 87 89 90 95 100 101 104 107 108 109 114 117 121
a 1 4 7 15 17 20 23 24 27 34 39 40 43 46 54 56 59 65 67 86 87 89 90 95 100 101 104 107 108 109 114 117 121
a 1 4 7 17 20 23 24 27 30 34 39 40 43 46 54 56 59 65 67 86 87 89 90 95 100 101 104 107 108 109 114 117 121
a 1 4 7 17 20 23 24 25 27 30 34 39 40 43 54 56 59 65 67 86 87 89 90 95 100 101 104 107 108 109 114 117 121
a 1 4 7 17 20 23 25 27 30 34 39 40 43 54 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121
a 1 4 7 15 17 20 23 25 27 34 39 40 43 54 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121
a 1 4 7 15 20 23 25 27 28 34 39 40 43 54 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121
a 1 4 15 20 23 25 27 28 34 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121
a 1 4 15 20 21 23 25 27 28 34 39 40 43 54 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121
a 1 4 15 17 20 21 23 25 27 34 39 40 43 54 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121
a 1 4 17 20 21 23 25 27 30 34 39 40 43 54 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121
a 1 4 17 20 23 25 27 30 34 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121
a 1 4 15 17 20 23 25 27 34 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121
a 1 4 15 17 20 23 25 27 34 40 43 54 56 59 63 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121
a 1 4 15 20 23 25 27 28 34 40 43 54 56 59 63 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121
a 1 4 15 20 21 23 25 27 28 34 40 43 54 56 59 63 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121
a 1 4 15 20 21 23 25 27 28 34 40 43 54 56 59 61 63 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121
a 1 4 15 20 21 23 25 27 28 34 40 43 54 59 60 61 63 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121
a 1 4 15 20 23 25 27 28 34 40 43 54 59 60 61 63 65 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121
a 1 4 15 20 23 25 27 28 34 40 43 54 56 59 61 63 65 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121
a 1 4 15 20 23 25 27 28 34 39 40 43 54 56 59 61 65 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121
a 1 4 7 15 20 23 25 27 28 34 39 40 43 54 56 59 61 65 67 86 87 89 90 91 100 101 104 107 108 109 114 117 121
a 1 4 7 15 20 23 24 25 27 28 34 39 40 43 54 56 59 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 4 7 15 20 23 24 25 27 28 34 39 40 43 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 7 15 20 23 24 25 27 28 34 38 39 40 43 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 7 15 20 23 24 25 27 28 34 38 39 40 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 4 7 15 20 23 24 25 27 28 34 39 40 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 20 23 24 27 28 34 39 40 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 20 23 24 27 28 34 39 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 20 23 24 27 28 34 40 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 20 23 24 27 28 39 40 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 20 23 24 28 34 39 40 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 20 23 24 27 34 39 40 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 20 23 24 27 30 34 39 40 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 20 23 24 27 30 34 39 40 43 46 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 20 23 24 27 34 39 40 43 46 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 20 23 24 28 34 39 40 43 46 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 23 24 27 28 34 39 40 43 46 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 20 23 24 27 28 34 39 40 43 46 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 15 20 23 24 27 28 34 39 40 43 46 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 20 23 27 28 34 39 40 43 46 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 20 23 27 28 34 39 40 43 54 59 60 61 65 67 86 87 89 90 91 100 101 104 107 108 109 114 117 121
a 1 4 7 15 20 23 25 27 28 34 39 40 43 54 59 60 61 65 67 86 87 89 90 91 100 101 104 107 108 109 114 117 121
a 1 7 15 20 23 25 27 28 34 38 39 40 43 54 59 60 61 65 67 86 87 89 90 91 100 101 104 107 108 109 114 117 121
a 1 7 15 20 23 25 27 28 34 38 39 40 43 59 60 61 65 67 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121
a 1 4 7 15 20 23 25 27 28 34 39 40 43 59 60 61 65 67 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121
a 1 4 7 15 20 23 25 27 28 34 40 43 59 60 61 63 65 67 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121
a 1 4 7 15 20 23 25 27 28 34 40 43 56 59 61 63 65 67 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121
a 1 4 7 15 20 23 25 27 28 34 39 40 43 56 59 61 65 67 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121
a 1 4 15 20 23 25 27 28 34 39 40 43 56 59 61 65 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121
a 1 4 15 20 21 23 25 27 28 34 39 40 43 56 59 61 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121
a 1 4 15 20 21 23 25 27 28 34 39 40 43 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 112 114 117 121
a 1 4 15 20 23 25 27 28 34 39 40 43 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 112 114 117 121
a 1 4 15 20 23 25 27 28 34 40 43 56 59 63 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 112 114 117 121
a 1 4 15 20 21 23 25 27 28 34 40 43 56 59 63 67 73 86 87 89 90 91 95 100 101 104 107 108 109 112 114 117 121
a 1 4 15 20 21 23 25 27 28 34 40 43 56 59 61 63 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121
a 1 4 15 20 21 23 25 27 28 34 40 43 59 60 61 63 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121
a 1 4 15 20 21 23 25 27 28 34 39 40 43 59 60 61 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121
a 1 15 20 21 23 25 27 28 34 38 39 40 43 59 60 61 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121
a 1 15 20 21 23 25 27 28 34 38 39 40 43 59 60 61 67 73 75 86 87 89 90 91 100 101 104 107 108 112 114 117 121
a 1 4 15 20 21 23 25 27 28 34 39 40 43 59 60 61 67 73 75 86 87 89 90 91 100 101 104 107 108 112 114 117 121
a 1 4 15 20 21 23 25 27 28 34 40 43 59 60 61 63 67 73 75 86 87 89 90 91 100 101 104 107 108 112 114 117 121
a 1 4 15 20 21 23 25 27 28 34 40 43 56 59 61 63 67 73 75 86 87 89 90 91 100 101 104 107 108 112 114 117 121
a 1 4 15 20 21 23 25 27 28 34 39 40 43 56 59 61 67 73 75 86 87 89 90 91 100 101 104 107 108 112 114 117 121
a 1 4 15 20 21 23 25 27 28 39 40 43 56 59 61 67 73 75 86 87 89 90 91 100 101 104 107 108 112 114 117 121 125
a 1 4 15 20 21 23 25 27 28 39 40 43 56 59 67 73 75 86 87 89 90 91 95 100 101 104 107 108 112 114 117 121 125
a 1 4 15 20 21 23 25 27 28 40 43 56 59 63 67 73 75 86 87 89 90 91 95 100 101 104 107 108 112 114 117 121 125
a 1 4 15 20 21 23 25 27 28 40 43 56 59 61 63 67 73 75 86 87 89 90 91 100 101 104 107 108 112 114 117 121 125
a 1 4 15 20 21 23 25 27 28 40 43 54 56 59 61 63 67 73 75 86 87 89 90 91 100 101 104 107 108 114 117 121 125
a 1 4 15 20 21 23 25 27 28 39 40 43 54 56 59 61 67 73 75 86 87 89 90 91 100 101 104 107 108 114 117 121 125
a 1 4 15 20 21 23 25 27 28 39 40 43 54 56 59 61 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121 125
a 1 4 15 20 21 23 25 27 28 40 43 54 56 59 61 63 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121 125
a 1 4 15 20 21 23 25 27 28 40 43 54 56 59 63 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125
a 1 4 15 17 20 21 23 25 27 40 43 54 56 59 63 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125
a 1 4 15 17 19 20 21 23 25 27 40 43 54 56 59 63 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121 125
a 1 4 15 17 19 20 21 23 25 27 39 40 43 54 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121 125
a 1 4 17 19 20 21 23 25 27 30 39 40 43 54 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121 125
a 1 4 17 19 20 23 25 27 30 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121 125
a 1 4 15 17 19 20 23 25 27 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121 125
a 1 4 15 17 19 20 23 25 27 40 43 54 56 59 63 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121 125
a 1 4 7 15 17 19 20 23 25 27 40 43 54 56 59 63 65 67 86 87 89 90 91 95 100 101 104 107 108 109 117 121 125
a 1 4 7 12 15 17 19 20 23 25 27 40 43 54 56 59 63 65 67 86 87 89 90 91 95 101 104 107 108 109 117 121 125
a 1 4 7 12 15 17 20 23 25 27 40 43 54 56 59 63 65 67 86 87 89 90 91 95 101 104 107 108 109 114 117 121 125
a 1 4 7 15 17 20 23 25 27 40 43 54 56 59 63 65 67 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125
a 1 4 7 15 20 23 25 27 28 40 43 54 56 59 63 65 67 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125
a 1 4 7 12 15 20 23 25 27 28 40 43 54 56 59 63 65 67 86 87 89 90 91 95 101 104 107 108 109 114 117 121 125
a 1 4 7 12 15 20 23 25 27 28 39 40 43 54 56 59 65 67 86 87 89 90 91 95 101 104 107 108 109 114 117 121 125
a 1 4 7 12 15 17 20 23 25 27 39 40 43 54 56 59 65 67 86 87 89 90 91 95 101 104 107 108 109 114 117 121 125
a 1 4 7 12 17 20 23 25 27 30 39 40 43 54 56 59 65 67 86 87 89 90 91 95 101 104 107 108 109 114 117 121 125
a 1 4 7 12 17 20 23 24 25 27 30 39 40 43 54 56 59 65 67 86 87 89 90 95 101 104 107 108 109 114 117 121 125
a 1 4 7 12 15 17 20 23 24 25 27 39 40 43 54 56 59 65 67 86 87 89 90 95 101 104 107 108 109 114 117 121 125
a 1 4 7 15 17 20 23 24 25 27 39 40 43 54 56 59 65 67 86 87 89 90 95 100 101 104 107 108 109 114 117 121 125
a 1 4 7 15 20 23 24 25 27 28 39 40 43 54 56 59 65 67 86 87 89 90 95 100 101 104 107 108 109 114 117 121 125
a 1 4 7 15 20 23 24 25 27 28 39 40 54 56 59 65 67 78 86 87 89 90 95 100 101 104 107 108 109 114 117 121 125
a 1 4 7 15 17 20 23 24 25 27 39 40 54 56 59 65 67 78 86 87 89 90 95 100 101 104 107 108 109 114 117 121 125
a 1 4 7 17 20 23 24 25 27 30 39 40 54 56 59 65 67 78 86 87 89 90 95 100 101 104 107 108 109 114 117 121 125
a 1 4 7 17 20 23 24 27 30 39 40 46 54 56 59 65 67 78 86 87 89 90 95 100 101 104 107 108 109 114 117 121 125
a 1 4 7 15 17 20 23 24 27 39 40 46 54 56 59 65 67 78 86 87 89 90 95 100 101 104 107 108 109 114 117 121 125
a 1 4 7 15 20 23 24 27 28 39 40 46 54 56 59 65 67 78 86 87 89 90 95 100 101 104 107 108 109 114 117 121 125
a 1 4 7 15 20 23 24 27 28 39 40 43 46 54 56 59 65 67 86 87 89 90 95 100 101 104 107 108 109 114 117 121 125
a 1 4 7 15 17 20 23 24 27 39 40 43 46 54 56 59 65 67 86 87 89 90 95 100 101 104 107 108 109 114 117 121 125
a 1 4 7 17 20 23 24 27 30 39 40 43 46 54 56 59 65 67 86 87 89 90 95 100 101 104 107 108 109 114 117 121 125
a 1 4 7 17 20 23 24 25 27 30 39 40 43 54 56 59 65 67 86 87 89 90 95 100 101 104 107 108 109 114 117 121 125
a 1 4 7 17 20 23 25 27 30 39 40 43 54 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125
a 1 4 7 15 17 20 23 25 27 39 40 43 54 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125
a 1 4 7 15 20 23 25 27 28 39 40 43 54 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125
a 1 4 15 20 23 25 27 28 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125
a 1 4 15 20 21 23 25 27 28 39 40 43 54 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125
a 1 4 15 17 20 21 23 25 27 39 40 43 54 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125
a 1 4 17 20 21 23 25 27 30 39 40 43 54 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125
a 1 4 17 20 23 25 27 30 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125
a 1 4 15 17 20 23 25 27 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125
a 1 4 15 17 20 23 25 27 40 43 54 56 59 63 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125
a 1 4 15 20 23 25 27 28 40 43 54 56 59 63 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125
a 1 4 15 20 23 25 27 28 40 43 54 56 59 61 63 65 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121 125
a 1 4 15 20 23 25 27 28 39 40 43 54 56 59 61 65 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121 125
a 1 4 7 15 20 23 25 27 28 39 40 43 54 56 59 61 65 67 86 87 89 90 91 100 101 104 107 108 109 114 117 121 125
a 1 4 7 12 15 20 23 25 27 28 39 40 43 54 56 59 61 65 67 86 87 89 90 91 101 104 107 108 109 114 117 121 125
a 1 4 7 12 15 20 23 25 27 28 39 40 43 56 59 61 65 67 86 87 89 90 91 101 104 107 108 109 112 114 117 121 125
a 1 4 7 12 15 20 23 25 27 28 40 43 56 59 61 63 65 67 86 87 89 90 91 101 104 107 108 109 112 114 117 121 125
a 1 4 7 12 15 20 23 25 27 28 40 43 56 59 63 65 67 86 87 89 90 91 95 101 104 107 108 109 112 114 117 121 125
a 1 4 7 12 15 20 23 25 27 28 39 40 43 56 59 65 67 86 87 89 90 91 95 101 104 107 108 109 112 114 117 121 125
a 1 4 7 15 20 23 25 27 28 39 40 43 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 112 114 117 121 125
a 1 4 7 15 20 23 25 27 28 40 43 56 59 63 65 67 86 87 89 90 91 95 100 101 104 107 108 109 112 114 117 121 125
a 1 4 7 15 20 23 25 27 28 40 43 56 59 61 63 65 67 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121 125
a 1 4 7 15 20 23 25 27 28 39 40 43 56 59 61 65 67 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121 125
a 1 4 15 20 23 25 27 28 39 40 43 56 59 61 65 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121 125
a 1 4 15 20 21 23 25 27 28 39 40 43 56 59 61 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121 125
a 1 4 15 20 21 23 25 27 28 40 43 56 59 61 63 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121 125
a 1 4 15 20 21 23 25 27 28 40 43 56 59 63 67 73 86 87 89 90 91 95 100 101 104 107 108 109 112 114 117 121 125
a 1 4 15 20 21 23 25 27 28 39 40 43 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 112 114 117 121 125
a 1 4 15 20 23 25 27 28 39 40 43 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 112 114 117 121 125
a 1 4 15 20 23 25 27 28 40 43 56 59 63 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 112 114 117 121 125
a 1 4 15 20 23 25 27 28 40 43 56 59 61 63 65 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121 125
a 1 4 15 20 23 25 27 28 34 40 43 56 59 61 63 65 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121
a 1 4 15 20 23 25 27 28 34 40 43 59 60 61 63 65 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121
a 1 4 15 20 23 25 27 28 34 39 40 43 59 60 61 65 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121
a 1 15 20 23 25 27 28 34 38 39 40 43 59 60 61 65 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121
a 1 15 20 23 25 27 28 34 38 39 40 43 54 59 60 61 65 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121
a 1 4 15 20 23 25 27 28 34 39 40 43 54 59 60 61 65 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121
a 1 3 4 15 20 23 27 28 34 39 40 43 54 59 60 61 65 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121
a 1 3 4 15 20 23 27 28 34 39 40 43 46 54 59 60 61 65 67 73 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 15 20 21 23 27 28 34 39 40 43 46 54 59 60 61 67 73 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 15 20 21 23 27 28 34 39 40 46 54 59 60 61 67 73 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 15 20 23 27 28 34 39 40 46 54 59 60 61 65 67 73 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 20 23 27 28 34 39 40 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 20 24 27 28 34 39 40 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 23 24 27 28 34 39 40 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 20 23 24 27 28 34 39 40 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 15 20 23 24 27 28 34 39 40 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 4 7 15 20 23 24 27 28 34 39 40 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 3 4 7 15 20 23 24 27 28 34 39 40 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 7 15 20 23 24 27 28 34 39 40 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 7 15 20 23 24 27 28 34 38 39 40 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 7 15 20 23 24 27 28 34 38 39 40 43 46 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 7 15 20 23 24 27 28 34 39 40 43 46 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 4 7 15 20 23 24 27 28 34 39 40 43 46 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121
a 3 4 7 15 20 23 24 27 28 34 39 40 43 46 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 20 24 27 28 34 39 40 43 46 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121
a 3 4 7 15 20 24 27 28 34 39 40 43 46 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121 123
a 3 4 7 15 20 24 27 28 34 39 40 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121 123
a 3 4 7 15 20 24 27 28 34 39 40 46 54 59 60 61 65 67 68 78 87 89 90 100 101 104 107 108 109 114 117 121 123
a 1 3 4 7 15 20 24 27 28 34 39 40 46 54 59 60 61 65 67 68 78 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 15 23 24 27 28 34 39 40 46 54 59 60 61 65 67 68 78 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 7 20 23 24 27 28 34 39 40 46 54 59 60 61 65 67 68 78 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 4 15 20 23 24 27 28 34 39 40 46 54 59 60 61 65 67 68 78 87 89 90 100 101 104 107 108 109 114 117 121
a 1 4 7 15 20 23 24 27 28 34 39 40 46 54 59 60 61 65 67 68 78 87 89 90 100 101 104 107 108 109 114 117 121
a 3 4 7 15 20 23 24 27 28 34 39 40 46 54 59 60 61 65 67 68 78 87 89 90 100 101 104 107 108 109 114 117 121
a 1 3 7 15 20 23 24 27 28 34 39 40 46 54 59 60 61 65 67 68 78 87 89 90 100 101 104 107 108 109 114 117 121
a 1 7 15 20 23 24 27 28 34 38 39 40 46 54 59 60 61 65 67 68 78 87 89 90 100 101 104 107 108 109 114 117 121
a 1 7 15 20 23 24 27 28 33 34 38 39 40 46 54 59 60 61 65 67 68 78 87 89 90 100 101 104 107 108 109 114 117
a 1 7 11 15 20 23 24 27 28 33 34 38 39 40 46 54 59 60 61 65 68 78 87 89 90 100 101 104 107 108 109 114 117
a 1 3 7 11 15 20 23 24 27 28 33 34 39 40 46 54 59 60 61 65 68 78 87 89 90 100 101 104 107 108 109 114 117
a 3 4 7 11 15 20 23 24 27 28 33 34 39 40 46 54 59 60 61 65 68 78 87 89 90 100 101 104 107 108 109 114 117
a 1 4 7 11 15 20 23 24 27 28 33 34 39 40 46 54 59 60 61 65 68 78 87 89 90 100 101 104 107 108 109 114 117
#END: [Sun Sep 10 12:19:00 2023]