#BEGIN: [Fri Sep 15 06:24:40 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-ai-planning-longest2
#INSTANCE1: /benchmark/random_instance/random_instance002_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance002_graph005_01.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/random_instance/random_instance002_graph005.col /benchmark/random_instance/random_instance002_graph005_01.dat
s 16 10 7 20 15 21 12
t 21 16 11 19 7 12 24
a YES
a 7 10 12 15 16 20 21
a 2 7 10 12 15 16 20
a 2 7 8 10 12 15 16
a 2 4 8 10 12 15 16
a 2 4 8 10 12 16 22
a 2 4 8 10 12 14 22
a 2 4 9 10 12 14 22
a 2 3 4 9 12 14 22
a 2 3 9 12 14 20 22
a 2 3 12 13 14 20 22
a 2 10 12 13 14 20 22
a 2 10 12 13 16 20 22
a 2 10 12 13 15 16 20
a 2 3 12 13 15 16 20
a 2 3 12 13 14 16 20
a 2 10 12 13 14 16 20
a 2 10 12 13 14 19 20
a 2 9 10 12 14 19 20
a 2 4 9 10 12 14 19
a 1 2 4 10 12 14 19
a 1 2 8 10 12 14 19
a 1 2 4 8 10 14 19
a 1 2 4 10 13 14 19
a 1 2 8 10 13 14 19
a 1 4 8 10 13 14 19
a 2 4 8 10 13 14 19
a 1 2 4 8 13 14 19
a 1 2 8 12 13 14 19
a 1 4 8 12 13 14 19
a 2 4 8 12 13 14 19
a 1 2 4 12 13 14 19
a 1 4 10 12 13 14 19
a 2 4 10 12 13 14 19
a 1 2 10 12 13 14 19
a 2 8 10 12 13 14 19
a 1 8 10 12 13 14 19
a 4 8 10 12 13 14 19
a 1 4 8 10 12 14 19
a 2 4 8 10 12 14 19
a 1 2 4 8 12 14 19
a 1 2 4 12 14 16 19
a 1 2 4 10 12 16 19
a 1 2 4 11 12 16 19
a 1 4 8 11 12 16 19
a 2 4 8 11 12 16 19
a 1 2 8 11 12 16 19
a 2 7 8 11 12 16 19
a 2 7 8 10 12 16 19
a 1 2 8 10 12 16 19
a 1 4 8 10 12 16 19
a 2 4 8 10 12 16 19
a 1 2 4 8 12 16 19
a 1 2 4 12 13 16 19
a 1 4 11 12 13 16 19
a 2 4 11 12 13 16 19
a 1 2 11 12 13 16 19
a 2 8 11 12 13 16 19
a 1 8 11 12 13 16 19
a 4 8 11 12 13 16 19
a 1 4 8 11 13 16 19
a 2 4 8 11 13 16 19
a 1 2 4 11 13 16 19
a 1 2 4 10 13 16 19
a 1 2 8 10 13 16 19
a 1 4 8 10 13 16 19
a 2 4 8 10 13 16 19
a 1 2 4 8 13 16 19
a 1 2 8 13 14 16 19
a 1 2 4 8 14 16 19
a 1 2 8 10 14 16 19
a 1 4 8 10 14 16 19
a 2 4 8 10 14 16 19
a 1 2 4 10 14 16 19
a 1 4 10 13 14 16 19
a 2 4 10 13 14 16 19
a 1 2 10 13 14 16 19
a 2 8 10 13 14 16 19
a 1 8 10 13 14 16 19
a 4 8 10 13 14 16 19
a 1 4 8 13 14 16 19
a 2 4 8 13 14 16 19
a 1 2 4 13 14 16 19
a 1 4 12 13 14 16 19
a 2 4 12 13 14 16 19
a 1 2 12 13 14 16 19
a 2 8 12 13 14 16 19
a 1 8 12 13 14 16 19
a 4 8 12 13 14 16 19
a 1 4 8 12 14 16 19
a 2 4 8 12 14 16 19
a 1 2 8 12 14 16 19
a 2 8 10 12 14 16 19
a 1 8 10 12 14 16 19
a 4 8 10 12 14 16 19
a 1 4 10 12 14 16 19
a 2 4 10 12 14 16 19
a 1 2 10 12 14 16 19
a 1 10 12 14 16 19 21
a 1 10 12 13 14 16 21
a 1 3 12 13 14 16 21
a 3 12 13 14 16 20 21
a 10 12 13 14 16 20 21
a 10 12 13 15 16 20 21
a 3 12 13 15 16 20 21
a 3 7 12 15 16 20 21
a 3 6 7 12 15 20 21
a 6 7 10 12 15 20 21
a 6 7 10 12 19 20 21
a 2 6 7 10 12 19 20
a 2 7 10 12 16 19 20
a 2 10 12 14 16 19 20
a 2 10 13 14 16 19 20
a 2 10 12 13 16 19 20
a 2 11 12 13 16 19 20
a 2 7 11 12 16 19 20
a 2 6 7 11 12 19 20
a 2 7 11 12 18 19 20
a 7 11 12 18 19 20 21
a 6 7 11 12 19 20 21
a 7 11 12 16 19 20 21
a 11 12 13 16 19 20 21
a 10 12 13 16 19 20 21
a 7 10 12 16 19 20 21
a 10 12 14 16 19 20 21
a 9 10 12 14 19 20 21
a 10 12 13 14 19 20 21
a 1 10 12 13 14 19 21
a 1 10 12 14 19 21 24
a 9 10 12 14 19 21 24
a 4 9 10 12 14 19 24
a 1 4 10 12 14 19 24
a 1 4 10 14 16 19 24
a 1 4 12 14 16 19 24
a 1 10 12 14 16 19 24
a 4 10 12 14 16 19 24
a 1 4 10 12 16 19 24
a 1 4 11 12 16 19 24
a 1 4 11 12 16 22 24
a 1 4 11 16 19 22 24
a 1 2 4 11 16 19 22
a 1 4 8 11 16 19 22
a 2 4 8 11 16 19 22
a 1 2 8 11 16 19 22
a 1 2 8 10 16 19 22
a 1 2 4 10 16 19 22
a 1 4 10 13 16 19 22
a 2 4 10 13 16 19 22
a 1 2 10 13 16 19 22
a 2 8 10 13 16 19 22
a 1 8 10 13 16 19 22
a 4 8 10 13 16 19 22
a 1 4 8 13 16 19 22
a 2 4 8 13 16 19 22
a 1 2 4 13 16 19 22
a 1 2 12 13 16 19 22
a 1 2 4 12 13 19 22
a 1 4 11 12 13 19 22
a 2 4 11 12 13 19 22
a 1 2 11 12 13 19 22
a 2 8 11 12 13 19 22
a 1 8 11 12 13 19 22
a 4 8 11 12 13 19 22
a 1 4 8 12 13 19 22
a 2 4 8 12 13 19 22
a 1 2 8 12 13 19 22
a 2 8 10 12 13 19 22
a 1 8 10 12 13 19 22
a 4 8 10 12 13 19 22
a 1 4 10 12 13 19 22
a 2 4 10 12 13 19 22
a 1 2 10 12 13 19 22
a 1 10 12 13 19 21 22
a 1 11 12 13 19 21 22
a 1 11 12 16 19 21 22
a 1 4 11 12 16 19 22
a 2 4 11 12 16 19 22
a 1 2 11 12 16 19 22
a 2 8 11 12 16 19 22
a 1 8 11 12 16 19 22
a 4 8 11 12 16 19 22
a 1 4 8 12 16 19 22
a 2 4 8 12 16 19 22
a 1 2 4 12 16 19 22
a 1 4 10 12 16 19 22
a 2 4 10 12 16 19 22
a 1 2 10 12 16 19 22
a 2 8 10 12 16 19 22
a 1 8 10 12 16 19 22
a 4 8 10 12 16 19 22
a 1 4 8 10 16 19 22
a 2 4 8 10 16 19 22
a 1 2 4 8 16 19 22
a 1 2 8 14 16 19 22
a 1 2 10 14 16 19 22
a 2 4 10 14 16 19 22
a 1 4 10 14 16 19 22
a 1 4 12 14 16 19 22
a 2 4 12 14 16 19 22
a 1 2 12 14 16 19 22
a 2 8 12 14 16 19 22
a 1 8 12 14 16 19 22
a 4 8 12 14 16 19 22
a 1 4 8 12 14 19 22
a 2 4 8 12 14 19 22
a 1 2 4 12 14 19 22
a 2 4 9 12 14 19 22
a 2 9 10 12 14 19 22
a 4 9 10 12 14 19 22
a 1 4 10 12 14 19 22
a 2 4 10 12 14 19 22
a 1 2 10 12 14 19 22
a 2 8 10 12 14 19 22
a 1 8 10 12 14 19 22
a 4 8 10 12 14 19 22
a 1 4 8 10 14 19 22
a 2 4 8 10 14 19 22
a 1 2 4 10 14 19 22
a 1 4 10 13 14 19 22
a 2 4 10 13 14 19 22
a 1 2 10 13 14 19 22
a 2 8 10 13 14 19 22
a 1 8 10 13 14 19 22
a 4 8 10 13 14 19 22
a 1 4 8 13 14 19 22
a 2 4 8 13 14 19 22
a 1 2 4 13 14 19 22
a 1 2 12 13 14 19 22
a 2 8 12 13 14 19 22
a 1 8 12 13 14 19 22
a 4 8 12 13 14 19 22
a 2 4 12 13 14 19 22
a 1 4 12 13 14 19 22
a 4 10 12 13 14 19 22
a 2 10 12 13 14 19 22
a 1 10 12 13 14 19 22
a 8 10 12 13 14 19 22
a 2 8 10 12 13 14 22
a 1 8 10 12 13 14 22
a 4 8 10 12 13 14 22
a 2 4 8 12 13 14 22
a 1 4 8 12 13 14 22
a 3 4 8 12 13 14 22
a 1 3 4 12 13 14 22
a 2 3 4 12 13 14 22
a 1 2 3 12 13 14 22
a 1 3 12 13 14 21 22
a 1 10 12 13 14 21 22
a 1 10 12 13 16 21 22
a 1 3 12 13 16 21 22
a 1 3 12 14 16 21 22
a 1 10 12 14 16 21 22
a 1 10 13 14 16 21 22
a 10 12 13 14 16 21 22
a 1 12 13 14 16 21 22
a 3 12 13 14 16 21 22
a 1 3 13 14 16 21 22
a 3 13 14 16 17 21 22
a 10 13 14 16 17 21 22
a 10 13 14 16 17 19 21
a 1 10 13 14 16 19 21
a 1 12 13 14 16 19 21
a 10 12 13 14 16 19 21
a 1 10 12 13 16 19 21
a 1 4 10 12 13 16 19
a 2 4 10 12 13 16 19
a 1 2 10 12 13 16 19
a 2 8 10 12 13 16 19
a 1 8 10 12 13 16 19
a 4 8 10 12 13 16 19
a 1 4 8 12 13 16 19
a 2 4 8 12 13 16 19
a 1 2 8 12 13 16 19
a 1 8 12 13 16 19 23
a 1 3 8 12 13 16 23
a 1 3 8 12 16 22 23
a 1 3 8 13 16 22 23
a 1 3 12 13 16 22 23
a 1 8 12 13 16 22 23
a 3 8 12 13 16 22 23
a 1 3 8 12 13 22 23
a 1 8 12 13 19 22 23
a 1 8 12 16 19 22 23
a 1 8 13 16 19 22 23
a 8 12 13 16 19 22 23
a 1 12 13 16 19 22 23
a 12 13 16 19 20 22 23
a 3 12 13 16 20 22 23
a 2 3 12 13 16 20 22
a 2 3 12 14 16 20 22
a 2 10 12 14 16 20 22
a 2 10 13 14 16 20 22
a 2 3 13 14 16 20 22
a 3 12 13 14 16 20 22
a 2 12 13 14 16 20 22
a 10 12 13 14 16 20 22
a 4 10 12 13 14 16 22
a 2 10 12 13 14 16 22
a 1 10 12 13 14 16 22
a 8 10 12 13 14 16 22
a 2 8 10 12 13 16 22
a 1 8 10 12 13 16 22
a 4 8 10 12 13 16 22
a 2 4 8 12 13 16 22
a 1 4 8 12 13 16 22
a 3 4 8 12 13 16 22
a 1 3 4 12 13 16 22
a 2 3 4 12 13 16 22
a 1 2 4 12 13 16 22
a 1 4 11 12 13 16 22
a 2 4 11 12 13 16 22
a 1 2 11 12 13 16 22
a 2 8 11 12 13 16 22
a 1 8 11 12 13 16 22
a 4 8 11 12 13 16 22
a 1 4 8 11 12 13 22
a 2 4 8 11 12 13 22
a 1 2 4 8 11 12 22
a 2 4 8 11 12 18 22
a 2 3 4 8 12 18 22
a 2 3 4 8 18 22 26
a 1 2 3 4 8 22 26
a 1 2 3 8 16 22 26
a 1 2 3 4 8 16 26
a 1 2 3 4 14 16 26
a 1 2 3 8 14 16 26
a 1 2 4 8 14 16 26
a 1 3 4 8 14 16 26
a 2 3 4 8 14 16 26
a 1 2 3 4 8 14 26
a 1 2 4 8 14 19 26
a 1 2 4 14 16 19 26
a 1 2 8 14 16 19 26
a 1 4 8 14 16 19 26
a 2 4 8 14 16 19 26
a 1 2 4 8 16 19 26
a 1 2 4 16 19 22 26
a 1 2 8 16 19 22 26
a 1 4 8 16 19 22 26
a 2 4 8 16 19 22 26
a 1 2 4 8 16 22 26
a 1 3 4 8 16 22 26
a 2 3 4 8 16 22 26
a 1 2 3 4 16 22 26
a 1 2 4 14 16 22 26
a 1 3 4 14 16 22 26
a 2 3 4 14 16 22 26
a 1 2 3 14 16 22 26
a 1 3 8 14 16 22 26
a 2 3 8 14 16 22 26
a 1 2 8 14 16 22 26
a 2 4 8 14 16 22 26
a 1 4 8 14 16 22 26
a 3 4 8 14 16 22 26
a 1 3 4 8 14 22 26
a 2 3 4 8 14 22 26
a 1 2 3 4 14 22 26
a 2 3 4 9 14 22 26
a 2 4 9 14 19 22 26
a 1 2 4 14 19 22 26
a 1 2 8 14 19 22 26
a 1 4 8 14 19 22 26
a 2 4 8 14 19 22 26
a 1 2 4 8 19 22 26
a 2 4 8 18 19 22 26
a 2 4 8 11 18 19 22
a 2 4 8 12 18 19 22
a 2 8 11 12 18 19 22
a 4 8 11 12 18 19 22
a 2 4 11 12 18 19 22
a 4 11 12 18 19 22 24
a 1 4 11 12 19 22 24
a 4 9 11 12 19 22 24
a 4 9 10 12 19 22 24
a 1 4 10 12 19 22 24
a 1 4 10 14 19 22 24
a 4 9 10 14 19 22 24
a 4 9 12 14 19 22 24
a 1 4 12 14 19 22 24
a 4 10 12 14 19 22 24
a 1 10 12 14 19 22 24
a 9 10 12 14 19 22 24
a 4 9 10 12 14 22 24
a 3 4 9 12 14 22 24
a 1 3 4 12 14 22 24
a 1 3 12 14 21 22 24
a 3 9 12 14 21 22 24
a 9 10 12 14 21 22 24
a 1 10 12 14 21 22 24
a 1 10 12 16 21 22 24
a 1 4 10 12 16 22 24
a 1 4 10 14 16 22 24
a 1 3 4 14 16 22 24
a 1 3 12 14 16 22 24
a 1 10 12 14 16 22 24
a 4 10 12 14 16 22 24
a 1 4 12 14 16 22 24
a 3 4 12 14 16 22 24
a 1 3 4 12 16 22 24
a 1 3 12 16 22 23 24
a 1 12 16 19 22 23 24
a 1 11 12 16 19 22 24
a 4 11 12 16 19 22 24
a 1 4 12 16 19 22 24
a 1 10 12 16 19 22 24
a 4 10 12 16 19 22 24
a 1 4 10 16 19 22 24
a 1 10 14 16 19 22 24
a 4 10 14 16 19 22 24
a 1 4 14 16 19 22 24
a 4 12 14 16 19 22 24
a 1 12 14 16 19 22 24
a 10 12 14 16 19 22 24
a 4 10 12 14 16 19 22
a 2 10 12 14 16 19 22
a 1 10 12 14 16 19 22
a 8 10 12 14 16 19 22
a 2 8 10 14 16 19 22
a 1 8 10 14 16 19 22
a 4 8 10 14 16 19 22
a 1 4 8 14 16 19 22
a 2 4 8 14 16 19 22
a 1 2 4 14 16 19 22
a 1 2 13 14 16 19 22
a 2 4 13 14 16 19 22
a 1 4 13 14 16 19 22
a 4 10 13 14 16 19 22
a 2 10 13 14 16 19 22
a 1 10 13 14 16 19 22
a 8 10 13 14 16 19 22
a 4 8 13 14 16 19 22
a 2 8 13 14 16 19 22
a 1 8 13 14 16 19 22
a 8 12 13 14 16 19 22
a 4 12 13 14 16 19 22
a 2 12 13 14 16 19 22
a 1 12 13 14 16 19 22
a 10 12 13 14 16 19 22
a 4 10 12 13 16 19 22
a 2 10 12 13 16 19 22
a 1 10 12 13 16 19 22
a 8 10 12 13 16 19 22
a 2 8 12 13 16 19 22
a 1 8 12 13 16 19 22
a 4 8 12 13 16 19 22
a 2 4 12 13 16 19 22
a 1 4 12 13 16 19 22
a 4 11 12 13 16 19 22
a 2 11 12 13 16 19 22
a 1 11 12 13 16 19 22
a 8 11 12 13 16 19 22
a 2 8 11 13 16 19 22
a 1 8 11 13 16 19 22
a 4 8 11 13 16 19 22
a 1 4 11 13 16 19 22
a 2 4 11 13 16 19 22
a 1 2 11 13 16 19 22
a 2 11 13 16 17 19 22
a 2 10 13 16 17 19 22
a 2 10 14 16 17 19 22
a 2 13 14 16 17 19 22
a 10 13 14 16 17 19 22
a 2 10 13 14 17 19 22
a 2 9 10 14 17 19 22
a 9 10 14 17 19 21 22
a 10 13 14 17 19 21 22
a 1 10 13 14 19 21 22
a 1 12 13 14 19 21 22
a 10 12 13 14 19 21 22
a 9 10 12 14 19 21 22
a 1 10 12 14 19 21 22
a 1 10 14 16 19 21 22
a 1 12 14 16 19 21 22
a 10 12 14 16 19 21 22
a 1 10 12 16 19 21 22
a 1 10 13 16 19 21 22
a 1 11 13 16 19 21 22
a 11 13 16 17 19 21 22
a 10 13 16 17 19 21 22
a 10 14 16 17 19 21 22
a 13 14 16 17 19 21 22
a 10 13 14 16 19 21 22
a 1 13 14 16 19 21 22
a 12 13 14 16 19 21 22
a 10 12 13 16 19 21 22
a 1 12 13 16 19 21 22
a 11 12 13 16 19 21 22
a 1 11 12 13 16 21 22
a 11 12 13 16 20 21 22
a 10 12 13 16 20 21 22
a 3 12 13 16 20 21 22
a 3 12 14 16 20 21 22
a 10 12 14 16 20 21 22
a 10 13 14 16 20 21 22
a 3 13 14 16 20 21 22
a 12 13 14 16 20 21 22
a 3 12 13 14 20 21 22
a 10 12 13 14 20 21 22
a 9 10 12 14 20 21 22
a 2 9 10 12 14 20 22
a 2 9 10 12 19 20 22
a 2 9 12 14 19 20 22
a 2 10 12 14 19 20 22
a 9 10 12 14 19 20 22
a 2 9 10 14 19 20 22
a 2 10 13 14 19 20 22
a 2 12 13 14 19 20 22
a 10 12 13 14 19 20 22
a 2 10 12 13 19 20 22
a 2 10 13 16 19 20 22
a 2 11 13 16 19 20 22
a 2 11 12 16 19 20 22
a 2 10 12 16 19 20 22
a 2 12 14 16 19 20 22
a 10 12 14 16 19 20 22
a 2 10 14 16 19 20 22
a 10 13 14 16 19 20 22
a 2 13 14 16 19 20 22
a 12 13 14 16 19 20 22
a 10 12 13 16 19 20 22
a 2 12 13 16 19 20 22
a 11 12 13 16 19 20 22
a 2 11 12 13 19 20 22
a 2 9 11 12 19 20 22
a 2 11 12 18 19 20 22
a 11 12 18 19 20 21 22
a 9 11 12 19 20 21 22
a 9 10 12 19 20 21 22
a 9 12 14 19 20 21 22
a 10 12 14 19 20 21 22
a 9 10 14 19 20 21 22
a 10 13 14 19 20 21 22
a 12 13 14 19 20 21 22
a 10 12 13 19 20 21 22
a 11 12 13 19 20 21 22
a 11 13 16 19 20 21 22
a 10 13 16 19 20 21 22
a 12 13 16 19 20 21 22
a 11 12 16 19 20 21 22
a 10 12 16 19 20 21 22
a 12 14 16 19 20 21 22
a 10 14 16 19 20 21 22
a 13 14 16 19 20 21 22
a 10 13 14 16 19 20 21
a 12 13 14 16 19 20 21
a 2 12 13 14 16 19 20
a 10 12 13 14 16 19 20
a 4 10 12 13 14 16 19
a 2 10 12 13 14 16 19
a 1 10 12 13 14 16 19
a 8 10 12 13 14 16 19
a 2 8 10 12 13 14 16
a 1 8 10 12 13 14 16
a 4 8 10 12 13 14 16
a 2 4 8 12 13 14 16
a 1 4 8 12 13 14 16
a 3 4 8 12 13 14 16
a 1 3 4 8 12 13 16
a 2 3 4 8 12 13 16
a 1 2 3 8 12 13 16
a 1 2 8 12 13 16 25
a 1 2 3 8 12 16 25
a 2 3 7 8 12 16 25
a 2 3 6 7 8 12 25
a 1 2 3 6 8 12 25
a 2 3 6 8 12 15 25
a 2 3 6 7 12 15 25
a 2 3 6 7 15 20 25
a 2 3 6 12 15 20 25
a 2 3 12 13 15 20 25
a 2 3 8 12 13 15 25
a 1 2 3 8 12 13 25
a 1 2 3 8 13 22 25
a 1 2 3 8 16 22 25
a 1 2 3 13 16 22 25
a 1 2 8 13 16 22 25
a 1 3 8 13 16 22 25
a 2 3 8 13 16 22 25
a 2 3 8 13 15 16 25
a 2 3 7 8 15 16 25
a 2 3 7 12 15 16 25
a 2 3 8 12 15 16 25
a 2 7 8 12 15 16 25
a 3 7 8 12 15 16 25
a 2 3 7 8 12 15 25
a 2 6 7 8 12 15 25
a 3 6 7 8 12 15 25
a 2 3 6 7 8 15 25
a 2 3 7 8 15 18 25
a 2 3 7 12 15 18 25
a 2 3 8 12 15 18 25
a 2 7 8 12 15 18 25
a 3 7 8 12 15 18 25
a 2 3 7 8 12 18 25
a 2 3 7 12 18 20 25
a 2 3 7 15 18 20 25
a 2 3 12 15 18 20 25
a 2 7 12 15 18 20 25
a 3 7 12 15 18 20 25
a 2 3 7 12 15 20 25
a 2 6 7 12 15 20 25
a 3 6 7 12 15 20 25
a 2 3 6 7 12 20 25
a 2 3 7 12 16 20 25
a 2 3 12 15 16 20 25
a 2 7 12 15 16 20 25
a 3 7 12 15 16 20 25
a 2 3 7 15 16 20 25
a 2 3 13 15 16 20 25
a 2 3 12 13 16 20 25
a 1 2 3 12 13 16 25
a 1 3 12 13 16 21 25
a 3 12 13 15 16 21 25
a 3 7 12 15 16 21 25
a 3 6 7 12 15 21 25
a 3 6 7 12 20 21 25
a 3 6 7 15 20 21 25
a 3 7 12 15 20 21 25
a 6 7 12 15 20 21 25
a 3 6 12 15 20 21 25
a 3 12 13 15 20 21 25
a 3 12 13 16 20 21 25
a 3 7 12 16 20 21 25
a 3 12 15 16 20 21 25
a 7 12 15 16 20 21 25
a 3 7 15 16 20 21 25
a 3 13 15 16 20 21 25
a 12 13 15 16 20 21 25
a 2 12 13 15 16 20 25
a 3 12 13 15 16 20 25
a 2 3 12 13 15 16 25
a 2 8 12 13 15 16 25
a 3 8 12 13 15 16 25
a 1 3 8 12 13 16 25
a 2 3 8 12 13 16 25
a 1 2 3 8 13 16 25
a 1 3 8 13 16 23 25
a 1 3 8 12 13 23 25
a 1 3 6 8 12 23 25
a 3 6 7 8 12 23 25
a 3 7 8 12 18 23 25
a 3 7 12 18 20 23 25
a 3 6 7 12 20 23 25
a 3 7 12 16 20 23 25
a 3 12 13 16 20 23 25
a 1 3 12 13 16 23 25
a 1 8 12 13 16 23 25
a 3 8 12 13 16 23 25
a 3 7 8 12 16 23 25
a 1 3 8 12 16 23 25
a 1 3 8 16 22 23 25
a 1 3 12 16 22 23 25
a 3 8 12 16 22 23 25
a 1 8 12 16 22 23 25
a 1 2 8 12 16 22 25
a 1 2 3 8 12 22 25
a 2 3 8 12 18 22 25
a 2 3 12 18 20 22 25
a 2 3 12 13 20 22 25
a 2 3 12 16 20 22 25
a 2 3 13 16 20 22 25
a 2 12 13 16 20 22 25
a 3 12 13 16 20 22 25
a 1 3 12 13 16 22 25
a 2 3 12 13 16 22 25
a 1 2 12 13 16 22 25
a 1 2 8 12 13 22 25
a 1 3 8 12 13 22 25
a 2 3 8 12 13 22 25
a 1 2 3 12 13 22 25
a 1 3 12 13 21 22 25
a 1 3 13 16 21 22 25
a 1 12 13 16 21 22 25
a 3 12 13 16 21 22 25
a 1 3 12 16 21 22 25
a 3 12 16 20 21 22 25
a 3 13 16 20 21 22 25
a 12 13 16 20 21 22 25
a 3 12 13 20 21 22 25
a 3 12 18 20 21 22 25
a 3 7 12 18 20 21 25
a 3 7 15 18 20 21 25
a 3 12 15 18 20 21 25
a 7 12 15 18 20 21 25
a 3 7 12 15 18 20 21
a 3 7 12 15 18 21 24
a 3 7 12 15 16 21 24
a 7 10 12 15 16 21 24
a 7 10 12 16 19 21 24
a 1 10 12 16 19 21 24
a 1 10 14 16 19 21 24
a 1 12 14 16 19 21 24
a 10 12 14 16 19 21 24
a 1 10 12 14 16 21 24
a 1 3 12 14 16 21 24
a 1 3 14 16 21 24 26
a 1 14 16 19 21 24 26
a 1 4 14 16 19 24 26
a 1 3 4 14 16 24 26
a 1 3 14 16 22 24 26
a 1 3 4 14 22 24 26
a 3 4 9 14 22 24 26
a 4 9 14 19 22 24 26
a 1 4 14 19 22 24 26
a 1 4 16 19 22 24 26
a 1 14 16 19 22 24 26
a 4 14 16 19 22 24 26
a 1 4 14 16 22 24 26
a 3 4 14 16 22 24 26
a 1 3 4 16 22 24 26
a 1 3 16 22 23 24 26
a 1 16 19 22 23 24 26
a 1 8 16 19 22 23 26
a 1 3 8 16 22 23 26
a 1 3 8 22 23 25 26
a 1 2 3 8 22 25 26
a 1 2 8 16 22 25 26
a 1 2 3 8 16 25 26
a 2 3 7 8 16 25 26
a 2 3 6 7 8 25 26
a 2 3 6 7 17 25 26
a 3 6 7 17 23 25 26
a 3 7 17 18 23 25 26
a 2 3 7 17 18 25 26
a 2 3 7 8 18 25 26
a 2 3 7 18 20 25 26
a 2 3 6 7 20 25 26
a 2 3 7 16 20 25 26
a 3 7 16 20 21 25 26
a 3 6 7 20 21 25 26
a 3 7 18 20 21 25 26
a 3 7 17 18 21 25 26
a 3 6 7 17 21 25 26
a 3 7 16 17 21 25 26
a 2 3 7 16 17 25 26
a 2 3 16 17 22 25 26
a 2 3 17 18 22 25 26
a 2 3 8 18 22 25 26
a 2 3 18 20 22 25 26
a 2 3 16 20 22 25 26
a 2 3 14 16 20 22 26
a 2 3 9 14 20 22 26
a 2 9 14 19 20 22 26
a 2 14 16 19 20 22 26
a 2 8 14 16 19 22 26
a 1 8 14 16 19 22 26
a 4 8 14 16 19 22 26
a 1 4 14 16 19 22 26
a 2 4 14 16 19 22 26
a 1 2 14 16 19 22 26
a 2 14 16 17 19 22 26
a 2 9 14 17 19 22 26
a 2 3 9 14 17 22 26
a 3 9 14 17 21 22 26
a 3 9 14 20 21 22 26
a 3 14 16 20 21 22 26
a 14 16 19 20 21 22 26
a 9 14 19 20 21 22 26
a 9 14 17 19 21 22 26
a 14 16 17 19 21 22 26
a 3 14 16 17 21 22 26
a 1 3 14 16 21 22 26
a 1 3 16 21 22 25 26
a 3 16 20 21 22 25 26
a 3 18 20 21 22 25 26
a 3 17 18 21 22 25 26
a 3 16 17 21 22 25 26
a 3 13 16 17 21 22 25
a 2 3 13 16 17 22 25
a 3 13 16 17 22 23 25
a 1 3 13 16 22 23 25
a 1 8 13 16 22 23 25
a 3 8 13 16 22 23 25
a 1 3 8 13 22 23 25
a 1 3 12 13 22 23 25
a 1 8 12 13 22 23 25
a 3 8 12 13 22 23 25
a 1 3 8 12 22 23 25
a 3 8 12 18 22 23 25
a 3 12 18 20 22 23 25
a 3 12 13 20 22 23 25
a 3 12 16 20 22 23 25
a 3 13 16 20 22 23 25
a 12 13 16 20 22 23 25
a 3 12 13 16 22 23 25
a 1 12 13 16 22 23 25
a 8 12 13 16 22 23 25
a 2 8 12 13 16 22 25
a 1 8 12 13 16 22 25
a 3 8 12 13 16 22 25
a 1 3 8 12 16 22 25
a 2 3 8 12 16 22 25
a 1 2 3 12 16 22 25
a 1 3 12 16 22 24 25
a 1 3 12 16 21 24 25
a 3 7 12 16 21 24 25
a 3 7 15 16 21 24 25
a 3 12 15 16 21 24 25
a 7 12 15 16 21 24 25
a 3 7 12 15 21 24 25
a 3 7 12 18 21 24 25
a 3 7 15 18 21 24 25
a 3 12 15 18 21 24 25
a 7 12 15 18 21 24 25
a 3 7 12 15 18 24 25
a 3 7 12 18 23 24 25
a 3 7 12 16 23 24 25
a 1 3 12 16 23 24 25
a 1 3 16 22 23 24 25
a 1 12 16 22 23 24 25
a 3 12 16 22 23 24 25
a 1 3 12 22 23 24 25
a 3 12 18 22 23 24 25
a 3 12 18 21 22 24 25
a 1 3 12 21 22 24 25
a 1 12 16 21 22 24 25
a 3 12 16 21 22 24 25
a 1 3 16 21 22 24 25
a 1 3 14 16 21 22 24
a 1 10 14 16 21 22 24
a 10 12 14 16 21 22 24
a 1 12 14 16 21 22 24
a 3 12 14 16 21 22 24
a 1 3 12 16 21 22 24
a 1 11 12 16 21 22 24
a 1 11 16 19 21 22 24
a 1 10 16 19 21 22 24
a 1 10 14 19 21 22 24
a 9 10 14 19 21 22 24
a 9 12 14 19 21 22 24
a 1 12 14 19 21 22 24
a 10 12 14 19 21 22 24
a 1 10 12 19 21 22 24
a 9 10 12 19 21 22 24
a 9 11 12 19 21 22 24
a 1 11 12 19 21 22 24
a 11 12 18 19 21 22 24
a 7 11 12 18 19 21 24
a 5 7 11 18 19 21 24
a 5 7 18 19 21 24 26
a 5 7 18 19 23 24 26
a 5 7 8 18 19 23 26
a 5 6 7 8 19 23 26
a 1 5 6 8 19 23 26
a 1 5 6 8 23 25 26
a 1 3 6 8 23 25 26
a 1 3 8 16 23 25 26
a 3 7 8 16 23 25 26
a 3 6 7 8 23 25 26
a 5 6 7 8 23 25 26
a 5 7 8 18 23 25 26
a 3 7 8 18 23 25 26
a 3 7 18 20 23 25 26
a 3 6 7 20 23 25 26
a 3 7 16 20 23 25 26
a 3 16 20 22 23 25 26
a 3 18 20 22 23 25 26
a 3 8 18 22 23 25 26
a 3 17 18 22 23 25 26
a 3 16 17 22 23 25 26
a 1 3 16 22 23 25 26
a 1 8 16 22 23 25 26
a 3 8 16 22 23 25 26
a 1 3 8 16 22 25 26
a 2 3 8 16 22 25 26
a 1 2 3 16 22 25 26
a 1 3 16 22 24 25 26
a 1 3 16 21 24 25 26
a 3 7 16 21 24 25 26
a 3 7 18 21 24 25 26
a 5 7 18 21 24 25 26
a 5 7 18 23 24 25 26
a 3 7 18 23 24 25 26
a 3 7 16 23 24 25 26
a 1 3 16 23 24 25 26
a 1 16 22 23 24 25 26
a 3 16 22 23 24 25 26
a 1 3 22 23 24 25 26
a 3 18 22 23 24 25 26
a 3 18 21 22 24 25 26
a 1 3 21 22 24 25 26
a 1 16 21 22 24 25 26
a 3 16 21 22 24 25 26
a 1 3 16 21 22 24 26
a 1 14 16 21 22 24 26
a 3 14 16 21 22 24 26
a 1 3 14 21 22 24 26
a 3 9 14 21 22 24 26
a 9 14 19 21 22 24 26
a 1 14 19 21 22 24 26
a 1 16 19 21 22 24 26
a 14 16 19 21 22 24 26
a 10 14 16 19 21 22 24
a 1 14 16 19 21 22 24
a 12 14 16 19 21 22 24
a 10 12 16 19 21 22 24
a 1 12 16 19 21 22 24
a 11 12 16 19 21 22 24
a 1 11 12 16 19 21 24
a 7 11 12 16 19 21 24
#END: [Fri Sep 15 06:53:40 2023]