#BEGIN: [Thu Sep 14 20:58:19 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/3-Insertions_3.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/3-Insertions_3_02.dat
#COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning --config=longest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/color04/3-Insertions_3.col /benchmark/2022benchmark/benchmark/color04/3-Insertions_3_02.dat
s 1 3 5 7 11 23 24 25 26 27 28 29 30 31 32 33 45 46 48 49 50 51 52 53 54 55 
t 1 3 5 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 48 49 50 51 52 53 54 55
a YES
a 1 3 5 7 11 23 24 25 26 27 28 29 30 31 32 33 45 46 48 49 50 51 52 53 54 55
a 1 3 5 7 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 55
a 1 3 5 7 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54
a 1 3 5 7 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54
a 1 3 5 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54
a 1 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54
a 1 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 48 49 50 51 52 53 54 55
a 2 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 48 49 50 51 52 53 54 55
a 2 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54
a 2 4 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54
a 2 4 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 48 49 50 51 52 53 54 55
a 2 4 6 8 10 23 24 25 26 27 28 29 30 31 32 33 45 46 48 49 50 51 52 53 54 55
a 2 4 6 8 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54
a 2 4 6 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54
a 2 4 6 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 48 49 50 51 52 53 54 55
a 2 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 48 49 50 51 52 53 54 55
a 2 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54
a 3 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54
a 3 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 48 49 50 51 52 53 54 55
a 1 3 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 48 49 50 51 52 53 54 55
a 1 3 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54
a 1 3 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 55
a 3 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 55
a 2 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 55
a 2 4 6 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 55
a 2 4 6 8 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 55
a 2 4 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 55
a 2 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 55
a 1 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 55
a 1 3 5 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 55
a 1 3 5 7 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 55
a 1 3 5 7 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 54 55
a 1 3 5 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 54 55
a 1 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 54 55
a 2 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 54 55
a 2 4 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 54 55
a 2 4 6 8 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 54 55
a 2 4 6 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 54 55
a 2 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 54 55
a 3 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 54 55
a 1 3 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 54 55
a 1 3 5 7 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 54 55
a 1 3 5 7 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 53 54 55
a 1 3 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 53 54 55
a 3 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 53 54 55
a 2 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 53 54 55
a 2 4 6 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 53 54 55
a 2 4 6 8 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 53 54 55
a 2 4 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 53 54 55
a 2 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 53 54 55
a 1 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 53 54 55
a 1 3 5 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 53 54 55
a 1 3 5 7 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 53 54 55
a 1 3 5 7 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 52 53 54 55
a 1 3 5 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 52 53 54 55
a 1 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 52 53 54 55
a 2 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 52 53 54 55
a 2 4 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 52 53 54 55
a 2 4 6 8 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 52 53 54 55
a 2 4 6 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 52 53 54 55
a 2 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 52 53 54 55
a 3 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 52 53 54 55
a 1 3 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 52 53 54 55
a 1 3 5 7 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 52 53 54 55
a 1 3 5 7 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 51 52 53 54 55
a 1 3 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 51 52 53 54 55
a 3 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 51 52 53 54 55
a 2 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 51 52 53 54 55
a 2 4 6 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 51 52 53 54 55
a 2 4 6 8 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 51 52 53 54 55
a 2 4 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 51 52 53 54 55
a 2 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 51 52 53 54 55
a 1 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 51 52 53 54 55
a 1 3 5 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 51 52 53 54 55
a 1 3 5 7 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 51 52 53 54 55
a 1 3 5 7 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 50 51 52 53 54 55
a 1 3 5 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 50 51 52 53 54 55
a 1 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 50 51 52 53 54 55
a 2 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 50 51 52 53 54 55
a 2 4 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 50 51 52 53 54 55
a 2 4 6 8 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 50 51 52 53 54 55
a 2 4 6 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 50 51 52 53 54 55
a 2 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 50 51 52 53 54 55
a 3 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 50 51 52 53 54 55
a 1 3 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 50 51 52 53 54 55
a 1 3 5 7 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 50 51 52 53 54 55
a 1 3 5 7 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 49 50 51 52 53 54 55
a 1 3 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 49 50 51 52 53 54 55
a 3 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 49 50 51 52 53 54 55
a 2 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 49 50 51 52 53 54 55
a 2 4 6 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 49 50 51 52 53 54 55
a 2 4 6 8 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 49 50 51 52 53 54 55
a 2 4 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 49 50 51 52 53 54 55
a 2 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 49 50 51 52 53 54 55
a 1 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 49 50 51 52 53 54 55
a 1 3 5 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 49 50 51 52 53 54 55
a 1 3 5 7 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 49 50 51 52 53 54 55
a 1 3 5 7 9 23 24 25 26 27 28 29 30 31 32 33 45 46 48 49 50 51 52 53 54 55
a 1 3 5 7 9 23 24 25 26 27 28 29 30 31 32 33 45 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 23 24 25 26 27 28 29 30 31 32 33 45 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 23 24 25 26 27 28 29 30 31 32 33 45 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 23 24 25 26 27 28 29 30 31 32 33 45 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 23 24 25 26 27 28 29 30 31 32 33 45 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 23 24 25 26 27 28 29 30 31 32 33 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 23 24 25 26 27 28 29 30 31 32 33 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 23 24 25 26 27 28 29 30 31 32 33 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 23 24 25 26 27 28 29 30 31 32 33 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 23 24 25 26 27 28 29 30 31 32 33 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 23 24 25 26 27 28 29 30 31 32 33 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 23 24 25 26 27 28 29 30 31 32 33 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 23 24 25 26 27 28 29 30 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 23 24 25 26 27 28 29 30 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 23 24 25 26 27 28 29 30 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 23 24 25 26 27 28 29 30 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 23 24 25 26 27 28 29 30 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 23 24 25 26 27 28 29 30 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 23 24 25 26 27 28 29 30 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 23 24 25 26 27 28 29 30 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 23 24 25 26 27 28 29 30 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 23 24 25 26 27 28 29 30 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 23 24 25 26 27 28 29 30 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 22 23 24 25 26 27 28 29 30 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 22 23 24 25 26 27 28 29 30 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 22 23 24 25 26 27 28 29 30 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 22 23 24 25 26 27 28 29 30 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 22 23 24 25 26 27 28 29 30 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 23 24 25 26 27 28 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 23 24 25 26 27 28 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 23 24 25 26 27 28 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 23 24 25 26 27 28 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 23 24 25 26 27 28 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 23 24 25 26 27 28 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 23 24 25 26 27 28 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 23 24 25 26 27 28 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 23 24 25 26 27 28 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 23 24 25 26 27 28 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 23 24 25 26 27 28 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 18 23 24 25 26 27 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 18 23 24 25 26 27 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 14 18 23 25 26 27 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 14 18 23 25 26 27 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 12 14 18 23 25 27 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 12 14 18 23 25 27 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 12 14 18 23 25 27 29 30 31 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 12 14 16 18 23 25 27 29 31 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 12 14 16 18 23 25 27 29 31 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 12 14 16 23 25 27 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 12 14 16 23 25 27 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 12 14 16 23 25 27 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 12 16 23 25 27 28 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 12 16 23 25 27 28 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 12 16 20 23 25 27 28 29 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 12 16 20 23 25 27 28 29 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 12 16 20 23 25 27 28 29 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 12 16 20 21 23 25 27 28 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 12 16 20 21 23 25 27 28 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 16 20 21 23 24 25 27 28 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 16 20 21 23 24 25 27 28 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 16 17 20 21 23 24 27 28 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 16 17 20 21 23 24 27 28 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 13 16 17 20 21 24 27 28 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 13 17 20 21 24 26 27 28 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 13 17 21 24 26 27 28 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 13 17 21 24 26 27 28 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 13 17 21 24 26 27 28 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 13 15 17 21 24 26 28 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 13 15 17 21 24 26 28 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 13 15 17 24 26 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 13 15 17 24 26 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 13 15 17 24 26 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 13 17 24 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 13 17 24 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 13 17 24 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 13 17 24 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 17 23 24 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 17 23 24 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 17 23 24 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 17 21 23 24 26 27 28 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 17 21 23 24 26 27 28 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 17 21 23 24 26 27 28 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 17 21 23 24 26 27 28 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 17 20 21 23 24 26 27 28 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 17 20 21 23 24 26 27 28 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 17 20 21 23 24 26 27 28 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 20 21 23 24 25 26 27 28 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 20 21 23 24 25 26 27 28 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 20 21 23 24 25 26 27 28 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 20 21 23 24 25 26 27 28 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 21 23 24 25 26 27 28 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 21 23 24 25 26 27 28 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 21 23 24 25 26 27 28 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 21 23 24 25 26 27 28 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 21 23 24 25 26 27 28 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 23 24 25 26 27 28 29 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 23 24 25 26 27 28 29 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 23 24 25 26 27 28 29 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 23 24 25 26 27 28 29 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 23 24 25 26 27 28 29 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 23 24 25 26 27 28 29 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 23 24 25 26 27 28 29 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 23 24 25 26 27 28 29 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 23 24 25 26 27 28 29 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 23 24 25 26 27 28 29 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 23 24 25 26 27 28 29 30 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 20 23 24 25 26 27 28 29 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 20 23 24 25 26 27 28 29 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 20 23 24 25 26 27 28 29 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 20 23 24 25 26 27 28 29 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 20 23 24 25 26 27 28 29 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 16 20 23 24 25 27 28 29 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 16 20 23 24 25 27 28 29 31 32 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 16 20 23 24 25 27 28 29 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 16 20 23 24 25 27 28 29 31 32 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 16 23 24 25 27 28 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 16 23 24 25 27 28 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 16 23 24 25 27 28 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 16 23 24 25 27 28 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 23 24 25 26 27 28 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 23 24 25 26 27 28 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 23 24 25 26 27 28 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 23 24 25 26 27 28 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 23 24 25 26 27 28 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 23 24 25 26 27 28 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 23 24 25 26 27 28 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 23 24 25 26 27 28 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 23 24 25 26 27 28 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 23 24 25 26 27 28 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 23 24 25 26 27 28 29 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 23 24 25 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 23 24 25 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 23 24 25 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 23 24 25 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 23 24 25 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 23 24 25 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 23 24 25 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 23 24 25 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 23 24 25 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 23 24 25 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 23 24 25 26 27 28 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 23 24 25 26 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 23 24 25 26 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 23 24 25 26 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 23 24 25 26 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 23 24 25 26 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 23 24 25 26 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 23 24 25 26 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 23 24 25 26 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 23 24 25 26 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 23 24 25 26 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 23 24 25 26 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 14 23 25 26 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 14 23 25 26 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 14 23 25 26 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 14 23 25 26 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 14 23 25 26 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 12 14 23 25 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 12 14 23 25 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 12 14 23 25 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 12 14 23 25 27 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 12 23 25 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 12 23 25 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 23 24 25 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 23 24 25 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 23 24 25 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 23 24 25 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 23 24 25 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 23 24 25 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 23 24 25 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 23 24 25 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 23 24 25 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 23 24 25 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 23 24 25 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 23 24 25 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 23 24 25 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 23 24 25 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 23 24 25 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 23 24 25 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 23 24 25 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 23 24 25 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 23 24 25 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 23 24 25 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 23 24 25 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 23 24 25 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 15 24 25 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 15 24 25 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 15 24 25 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 15 24 25 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 15 24 25 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 13 15 24 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 13 15 24 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 13 15 24 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 13 15 24 26 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 13 24 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 13 24 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 23 24 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 23 24 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 23 24 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 23 24 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 23 24 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 23 24 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 23 24 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 23 24 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 23 24 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 23 24 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 23 24 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 23 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 23 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 23 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 23 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 23 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 23 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 23 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 23 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 23 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 23 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 23 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 11 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 11 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 11 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 11 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 11 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 9 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 10 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 10 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 10 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 10 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 8 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 7 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 5 7 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 5 7 9 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 7 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 7 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 5 7 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 5 7 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 6 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 6 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 4 6 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 4 7 8 11 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 7 8 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 7 8 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 7 8 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 8 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 8 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 8 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 6 8 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 6 8 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 4 6 8 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 6 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 6 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 5 6 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 4 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 4 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 4 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 5 6 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 2 5 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 5 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 3 5 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 47 48 49 50 51 52 53 54 55
a 1 3 5 9 10 23 24 25 26 27 28 29 30 31 32 33 45 46 48 49 50 51 52 53 54 55
#END: [Thu Sep 14 21:27:18 2023]