#BEGIN: [Sun Sep 10 02:51:35 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest1
#INSTANCE1: /benchmark/random_instance/random_instance002_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance002_graph002_01.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-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance002_graph002.col /benchmark/random_instance/random_instance002_graph002_01.dat
s 2 25 15 12 3 24 7
t 17 4 19 1 25 2 7
a YES
a 2 3 7 12 15 24 25
a 1 2 3 7 12 24 25
a 1 2 3 12 18 24 25
a 1 2 3 12 18 22 25
a 1 2 3 8 12 18 22
a 1 2 3 8 12 18 24
a 1 2 3 8 14 18 24
a 1 2 3 7 8 14 24
a 1 2 3 7 8 21 24
a 1 2 3 7 8 14 21
a 2 3 7 8 14 20 21
a 3 5 7 8 14 20 21
a 1 3 5 7 8 14 21
a 1 4 5 7 8 14 21
a 4 5 7 8 14 20 21
a 2 4 7 8 14 20 21
a 1 2 4 7 8 14 21
a 1 2 4 8 13 14 21
a 1 4 5 8 13 14 21
a 1 4 5 8 13 21 24
a 1 4 5 7 8 21 24
a 1 3 5 7 8 21 24
a 1 3 5 7 8 12 24
a 3 5 7 8 12 20 24
a 2 3 7 8 12 20 24
a 1 2 3 7 8 12 24
a 1 2 3 7 8 17 24
a 1 2 3 7 12 17 24
a 1 3 5 7 12 17 24
a 1 3 5 7 8 12 17
a 1 2 3 7 8 12 17
a 1 2 7 8 11 12 17
a 1 5 7 8 11 12 17
a 1 5 8 9 11 12 17
a 1 5 8 9 11 13 17
a 1 4 5 8 9 13 17
a 4 5 8 9 13 16 17
a 4 5 8 9 14 16 17
a 1 4 5 8 9 14 17
a 1 4 5 9 13 14 17
a 1 4 8 9 13 14 17
a 1 4 5 8 9 13 14
a 1 5 8 9 11 13 14
a 1 5 8 9 11 12 13
a 1 5 8 11 12 13 24
a 1 2 8 11 12 13 24
a 1 2 7 8 11 12 24
a 1 5 7 8 11 12 24
a 1 5 8 9 11 12 24
a 1 5 8 9 11 17 24
a 1 4 5 8 9 17 24
a 1 4 5 8 9 14 24
a 1 4 5 9 10 14 24
a 1 5 9 10 11 14 24
a 1 5 8 9 11 14 24
a 5 8 9 11 14 20 24
a 4 5 8 9 14 20 24
a 4 5 8 9 13 20 24
a 5 8 9 11 13 20 24
a 1 5 8 9 11 13 24
a 1 5 9 10 11 13 24
a 1 5 6 9 10 11 13
a 1 6 9 10 11 13 26
a 1 4 6 9 10 13 26
a 1 6 9 10 13 23 26
a 6 9 10 13 16 23 26
a 5 6 9 10 13 16 23
a 4 5 6 9 10 13 16
a 4 5 6 9 10 14 16
a 1 4 5 6 9 10 14
a 1 4 5 6 9 14 22
a 4 5 6 9 14 16 22
a 4 5 8 9 14 16 22
a 1 4 5 8 9 14 22
a 4 5 8 9 14 20 22
a 4 5 6 9 14 20 22
a 4 5 6 9 13 14 20
a 4 5 8 9 13 14 20
a 5 8 9 11 13 14 20
a 5 6 9 11 13 14 20
a 1 5 6 9 11 13 14
a 1 5 6 10 11 13 14
a 1 5 9 10 11 13 14
a 1 6 9 10 11 13 14
a 5 6 9 10 11 13 14
a 1 5 6 9 10 13 14
a 4 5 6 9 10 13 14
a 1 4 5 6 9 10 13
a 1 4 5 6 9 10 19
a 1 4 5 6 10 14 19
a 1 4 5 9 10 14 19
a 1 4 6 9 10 14 19
a 1 5 6 9 10 14 19
a 4 5 6 9 10 14 19
a 1 4 5 6 9 14 19
a 1 4 5 8 9 14 19
a 1 5 8 9 11 14 19
a 1 5 6 9 11 14 19
a 1 5 6 10 11 14 19
a 1 5 9 10 11 14 19
a 1 6 9 10 11 14 19
a 5 6 9 10 11 14 19
a 1 5 6 9 10 11 19
a 1 5 6 9 11 19 25
a 1 4 5 6 9 19 25
a 1 4 5 9 17 19 25
a 1 5 9 11 17 19 25
a 1 5 9 11 17 24 25
a 1 5 7 11 17 24 25
a 1 2 7 11 17 24 25
a 1 2 11 12 17 24 25
a 1 2 7 11 12 24 25
a 1 5 7 11 12 24 25
a 1 5 9 11 12 24 25
a 1 5 9 11 13 24 25
a 1 5 9 12 13 24 25
a 1 3 5 12 13 24 25
a 1 5 11 12 13 24 25
a 1 2 11 12 13 24 25
a 1 9 11 12 13 24 25
a 5 9 11 12 13 24 25
a 1 5 9 11 12 13 24
a 1 8 9 11 12 13 24
a 5 8 9 11 12 13 24
a 1 5 8 9 12 13 24
a 1 3 5 8 12 13 24
a 1 2 3 8 12 13 24
a 1 2 8 12 13 17 24
a 1 2 7 8 12 17 24
a 1 3 7 8 12 17 24
a 2 3 7 8 12 17 24
a 1 2 3 8 12 17 24
a 1 3 5 8 12 17 24
a 1 5 8 9 12 17 24
a 1 5 9 11 12 17 24
a 1 8 9 11 12 17 24
a 5 8 9 11 12 17 24
a 1 5 8 11 12 17 24
a 1 5 7 11 12 17 24
a 1 2 7 11 12 17 24
a 1 2 7 8 11 17 24
a 1 5 7 8 11 17 24
a 1 4 5 7 8 17 24
a 1 2 4 7 8 17 24
a 1 2 4 7 8 14 17
a 1 2 3 7 8 14 17
a 1 2 7 8 11 14 17
a 1 5 7 8 11 14 17
a 1 4 5 7 8 14 17
a 1 3 5 7 8 14 17
a 1 3 5 8 13 14 17
a 1 2 3 8 13 14 17
a 1 2 8 11 13 14 17
a 1 5 8 11 13 14 17
a 1 5 9 11 13 14 17
a 1 8 9 11 13 14 17
a 5 8 9 11 13 14 17
a 1 5 8 9 13 14 17
a 4 5 8 9 13 14 17
a 1 4 5 8 13 14 17
a 1 2 4 8 13 14 17
a 2 4 8 13 14 16 17
a 2 3 8 13 14 16 17
a 3 5 8 13 14 16 17
a 4 5 8 13 14 16 17
a 4 5 9 13 14 16 17
a 4 8 9 13 14 16 17
a 5 8 9 13 14 16 17
a 4 5 8 9 13 14 16
a 4 5 6 9 13 14 16
a 4 5 9 10 13 14 16
a 4 6 9 10 13 14 16
a 5 6 9 10 13 14 16
a 4 5 6 10 13 14 16
a 3 5 6 10 13 14 16
a 1 3 5 6 10 13 14
a 1 3 5 6 13 14 21
a 1 4 5 6 13 14 21
a 1 2 4 6 13 14 21
a 2 4 6 13 14 20 21
a 4 5 6 13 14 20 21
a 3 5 6 13 14 20 21
a 2 3 6 13 14 20 21
a 2 3 8 13 14 20 21
a 2 4 8 13 14 20 21
a 4 5 8 13 14 20 21
a 3 5 8 13 14 20 21
a 1 3 5 8 13 14 21
a 1 3 5 8 13 17 21
a 1 4 5 8 13 17 21
a 1 2 4 8 13 17 21
a 1 2 4 7 8 17 21
a 1 2 3 7 8 17 21
a 1 3 5 7 8 17 21
a 1 4 5 7 8 17 21
a 1 4 5 8 14 17 21
a 1 3 5 8 14 17 21
a 1 2 3 8 14 17 21
a 1 2 7 8 14 17 21
a 1 3 7 8 14 17 21
a 2 3 7 8 14 17 21
a 1 2 3 7 14 17 21
a 1 3 5 7 14 17 21
a 1 4 5 7 14 17 21
a 1 2 4 7 14 17 21
a 1 2 4 13 14 17 21
a 1 4 5 13 14 17 21
a 1 3 5 13 14 17 21
a 1 2 3 13 14 17 21
a 1 2 8 13 14 17 21
a 2 4 8 13 14 17 21
a 1 4 8 13 14 17 21
a 4 5 8 13 14 17 21
a 1 5 8 13 14 17 21
a 3 5 8 13 14 17 21
a 1 3 8 13 14 17 21
a 2 3 8 13 14 17 21
a 1 2 3 8 13 17 21
a 2 3 8 13 16 17 21
a 2 3 8 13 14 16 21
a 3 5 8 13 14 16 21
a 4 5 8 13 14 16 21
a 2 4 8 13 14 16 21
a 2 4 6 13 14 16 21
a 4 5 6 13 14 16 21
a 3 5 6 13 14 16 21
a 2 3 6 13 14 16 21
a 1 2 3 6 13 14 21
a 1 2 3 6 14 18 21
a 2 3 6 14 16 18 21
a 2 3 8 14 16 18 21
a 1 2 3 8 14 18 21
a 1 2 8 14 18 19 21
a 1 2 6 14 18 19 21
a 1 2 4 6 14 19 21
a 1 2 4 7 14 19 21
a 1 4 5 7 14 19 21
a 1 4 5 8 14 19 21
a 1 2 4 8 14 19 21
a 1 2 7 8 14 19 21
a 1 5 7 8 14 19 21
a 4 5 7 8 14 19 21
a 1 4 7 8 14 19 21
a 2 4 7 8 14 19 21
a 1 2 4 7 8 14 19
a 1 2 4 7 8 17 19
a 1 2 7 8 11 17 19
a 1 5 7 8 11 17 19
a 1 4 5 7 8 17 19
a 1 4 5 7 14 17 19
a 1 4 5 9 14 17 19
a 1 4 8 9 14 17 19
a 1 5 8 9 14 17 19
a 4 5 8 9 14 17 19
a 1 4 5 8 14 17 19
a 1 2 4 8 14 17 19
a 1 2 7 8 14 17 19
a 1 4 7 8 14 17 19
a 2 4 7 8 14 17 19
a 1 2 4 7 14 17 19
a 1 2 7 11 14 17 19
a 1 5 7 11 14 17 19
a 1 5 9 11 14 17 19
a 1 8 9 11 14 17 19
a 5 8 9 11 14 17 19
a 1 5 8 11 14 17 19
a 1 2 8 11 14 17 19
a 2 7 8 11 14 17 19
a 1 7 8 11 14 17 19
a 5 7 8 11 14 17 19
a 1 5 7 8 14 17 19
a 4 5 7 8 14 17 19
a 1 4 5 7 8 14 19
a 1 4 5 7 14 19 22
a 1 2 4 7 14 19 22
a 1 2 4 6 14 19 22
a 1 4 5 6 14 19 22
a 1 4 5 9 14 19 22
a 1 4 6 9 14 19 22
a 1 5 6 9 14 19 22
a 4 5 6 9 14 19 22
a 1 4 5 6 9 19 22
a 1 4 5 8 9 19 22
a 1 4 5 7 8 19 22
a 1 4 5 7 8 21 22
a 1 3 5 7 8 21 22
a 1 3 5 8 14 21 22
a 1 4 5 8 14 21 22
a 1 2 4 8 14 21 22
a 1 2 4 7 8 14 22
a 1 4 5 7 8 14 22
a 1 3 5 7 8 14 22
a 1 3 5 7 8 12 22
a 1 3 5 7 12 22 25
a 1 2 3 7 12 22 25
a 2 3 7 12 20 22 25
a 3 5 7 12 20 22 25
a 3 5 7 8 12 20 22
a 2 3 7 8 12 20 22
a 1 2 3 7 8 12 22
a 1 2 7 8 12 22 23
a 1 2 8 12 18 22 23
a 1 8 9 12 18 22 23
a 1 5 8 9 12 22 23
a 5 8 9 12 20 22 23
a 5 8 9 12 13 20 23
a 1 5 8 9 12 13 23
a 1 5 8 9 12 17 23
a 1 5 7 8 12 17 23
a 1 2 7 8 12 17 23
a 1 2 7 8 17 21 23
a 1 5 7 8 17 21 23
a 1 5 8 13 17 21 23
a 1 2 8 13 17 21 23
a 2 8 13 16 17 21 23
a 5 8 13 16 17 21 23
a 5 8 9 13 16 17 23
a 1 5 8 9 13 17 23
a 1 5 9 12 13 17 23
a 1 8 9 12 13 17 23
a 5 8 9 12 13 17 23
a 1 5 8 12 13 17 23
a 1 2 8 12 13 17 23
a 1 2 8 11 12 13 17
a 1 5 8 11 12 13 17
a 1 5 9 11 12 13 17
a 1 8 9 11 12 13 17
a 5 8 9 11 12 13 17
a 1 5 8 9 12 13 17
a 1 3 5 8 12 13 17
a 1 2 3 8 12 13 17
a 1 2 3 12 13 17 25
a 1 2 3 7 12 17 25
a 1 2 7 12 17 23 25
a 1 5 7 12 17 23 25
a 1 3 5 7 12 17 25
a 1 5 7 11 12 17 25
a 1 5 9 11 12 17 25
a 1 5 9 11 13 17 25
a 1 5 9 12 13 17 25
a 1 3 5 12 13 17 25
a 1 5 11 12 13 17 25
a 1 2 11 12 13 17 25
a 1 9 11 12 13 17 25
a 5 9 11 12 13 17 25
a 1 5 9 11 12 13 25
a 1 5 6 9 11 13 25
a 1 4 5 6 9 13 25
a 4 5 6 9 13 16 25
a 4 5 9 13 16 17 25
a 1 4 5 9 13 17 25
a 1 4 9 13 17 24 25
a 1 4 5 9 13 17 24
a 1 4 8 9 13 17 24
a 1 2 4 8 13 17 24
a 1 2 3 8 13 17 24
a 1 2 8 11 13 17 24
a 1 5 8 11 13 17 24
a 1 5 9 11 13 17 24
a 1 8 9 11 13 17 24
a 5 8 9 11 13 17 24
a 1 5 8 9 13 17 24
a 4 5 8 9 13 17 24
a 1 4 5 8 13 17 24
a 1 3 5 8 13 17 24
a 1 3 5 12 13 17 24
a 1 5 9 12 13 17 24
a 1 8 9 12 13 17 24
a 5 8 9 12 13 17 24
a 1 5 8 12 13 17 24
a 3 5 8 12 13 17 24
a 1 3 8 12 13 17 24
a 2 3 8 12 13 17 24
a 1 2 3 12 13 17 24
a 1 2 11 12 13 17 24
a 1 5 11 12 13 17 24
a 5 9 11 12 13 17 24
a 1 9 11 12 13 17 24
a 8 9 11 12 13 17 24
a 5 8 11 12 13 17 24
a 1 8 11 12 13 17 24
a 2 8 11 12 13 17 24
a 1 2 8 11 12 17 24
a 2 7 8 11 12 17 24
a 1 7 8 11 12 17 24
a 5 7 8 11 12 17 24
a 1 5 7 8 12 17 24
a 3 5 7 8 12 17 24
a 1 3 5 7 8 17 24
a 1 3 5 8 14 17 24
a 1 3 5 8 13 14 24
a 1 4 5 8 13 14 24
a 1 4 5 10 13 14 24
a 1 4 9 10 13 14 24
a 1 5 9 10 13 14 24
a 4 5 9 10 13 14 24
a 1 4 5 9 13 14 24
a 1 4 8 9 13 14 24
a 1 5 8 9 13 14 24
a 4 5 8 9 13 14 24
a 1 4 5 8 9 13 24
a 4 5 8 9 13 16 24
a 4 5 9 10 13 16 24
a 4 5 9 10 14 16 24
a 4 5 8 9 14 16 24
a 4 5 9 13 14 16 24
a 4 9 10 13 14 16 24
a 5 9 10 13 14 16 24
a 4 5 10 13 14 16 24
a 3 5 10 13 14 16 24
a 3 5 10 13 14 15 24
a 1 3 5 10 13 14 24
a 1 5 10 11 13 14 24
a 1 9 10 11 13 14 24
a 5 9 10 11 13 14 24
a 1 5 9 11 13 14 24
a 1 8 9 11 13 14 24
a 5 8 9 11 13 14 24
a 1 5 8 11 13 14 24
a 1 2 8 11 13 14 24
a 1 2 7 8 11 14 24
a 1 5 7 8 11 14 24
a 1 3 5 7 8 14 24
a 1 4 5 7 8 14 24
a 1 2 4 7 8 14 24
a 1 2 4 8 14 21 24
a 1 4 5 8 14 21 24
a 1 3 5 8 14 21 24
a 1 3 5 14 17 21 24
a 1 4 5 14 17 21 24
a 1 4 5 9 14 17 24
a 1 4 8 9 14 17 24
a 1 5 8 9 14 17 24
a 4 5 8 9 14 17 24
a 1 4 5 8 14 17 24
a 1 2 4 8 14 17 24
a 1 2 7 8 14 17 24
a 1 4 7 8 14 17 24
a 2 4 7 8 14 17 24
a 1 2 4 7 14 17 24
a 1 4 5 7 14 17 24
a 1 3 5 7 14 17 24
a 1 2 3 7 14 17 24
a 1 2 7 11 14 17 24
a 1 5 7 11 14 17 24
a 1 5 9 11 14 17 24
a 1 8 9 11 14 17 24
a 5 8 9 11 14 17 24
a 1 5 8 11 14 17 24
a 1 2 8 11 14 17 24
a 2 7 8 11 14 17 24
a 1 7 8 11 14 17 24
a 5 7 8 11 14 17 24
a 4 5 7 8 14 17 24
a 1 5 7 8 14 17 24
a 3 5 7 8 14 17 24
a 1 3 7 8 14 17 24
a 2 3 7 8 14 17 24
a 1 2 3 8 14 17 24
a 1 2 8 13 14 17 24
a 1 4 8 13 14 17 24
a 2 4 8 13 14 17 24
a 1 2 4 13 14 17 24
a 1 4 9 13 14 17 24
a 1 5 9 13 14 17 24
a 4 5 9 13 14 17 24
a 1 4 5 13 14 17 24
a 1 3 5 13 14 17 24
a 1 2 3 13 14 17 24
a 1 2 11 13 14 17 24
a 2 8 11 13 14 17 24
a 1 8 11 13 14 17 24
a 5 8 11 13 14 17 24
a 1 5 11 13 14 17 24
a 5 9 11 13 14 17 24
a 1 9 11 13 14 17 24
a 8 9 11 13 14 17 24
a 4 8 9 13 14 17 24
a 1 8 9 13 14 17 24
a 5 8 9 13 14 17 24
a 4 5 8 13 14 17 24
a 1 5 8 13 14 17 24
a 3 5 8 13 14 17 24
a 1 3 8 13 14 17 24
a 2 3 8 13 14 17 24
a 1 2 3 8 13 14 24
a 2 3 8 13 14 20 24
a 2 3 7 8 14 20 24
a 2 7 8 11 14 20 24
a 5 7 8 11 14 20 24
a 3 5 7 8 14 20 24
a 4 5 7 8 14 20 24
a 2 4 7 8 14 20 24
a 2 4 7 14 20 21 24
a 1 2 4 7 14 21 24
a 1 4 5 7 14 21 24
a 1 3 5 7 14 21 24
a 1 3 5 13 14 21 24
a 1 4 5 13 14 21 24
a 1 2 4 13 14 21 24
a 1 2 8 13 14 21 24
a 1 4 8 13 14 21 24
a 2 4 8 13 14 21 24
a 1 2 4 8 13 21 24
a 1 2 4 13 21 24 26
a 1 2 4 8 13 21 26
a 1 2 4 6 13 21 26
a 2 4 6 13 20 21 26
a 2 3 6 13 20 21 26
a 1 2 3 6 13 21 26
a 2 3 6 13 16 21 26
a 2 4 6 13 16 21 26
a 2 4 8 13 16 21 26
a 2 3 8 13 16 21 26
a 1 2 3 8 13 21 26
a 1 2 3 7 8 21 26
a 2 3 7 8 20 21 26
a 2 4 7 8 20 21 26
a 1 2 4 7 8 21 26
a 1 2 4 7 21 22 26
a 1 2 4 7 8 22 26
a 2 4 7 8 20 22 26
a 2 4 7 8 14 20 22
a 4 5 7 8 14 20 22
a 3 5 7 8 14 20 22
a 2 3 7 8 14 20 22
a 1 2 3 7 8 14 22
a 1 2 3 7 14 21 22
a 1 2 4 7 14 21 22
a 1 4 5 7 14 21 22
a 1 3 5 7 14 21 22
a 1 3 5 6 14 21 22
a 1 2 3 6 14 21 22
a 1 2 4 6 14 21 22
a 2 4 6 14 16 21 22
a 2 4 8 14 16 21 22
a 4 5 8 14 16 21 22
a 3 5 8 14 16 21 22
a 2 3 8 14 16 21 22
a 1 2 3 8 14 21 22
a 1 2 7 8 14 21 22
a 1 4 7 8 14 21 22
a 2 4 7 8 14 21 22
a 1 2 4 7 8 21 22
a 2 4 7 8 20 21 22
a 4 5 7 8 20 21 22
a 3 5 7 8 20 21 22
a 2 3 7 8 20 21 22
a 2 3 7 14 20 21 22
a 3 5 7 14 20 21 22
a 4 5 7 14 20 21 22
a 2 4 7 14 20 21 22
a 2 4 6 14 20 21 22
a 4 5 6 14 20 21 22
a 3 5 6 14 20 21 22
a 2 3 6 14 20 21 22
a 2 3 8 14 20 21 22
a 3 5 8 14 20 21 22
a 4 5 8 14 20 21 22
a 2 4 8 14 20 21 22
a 4 7 8 14 20 21 22
a 3 7 8 14 20 21 22
a 2 7 8 14 20 21 22
a 5 7 8 14 20 21 22
a 4 5 7 8 14 21 22
a 1 5 7 8 14 21 22
a 3 5 7 8 14 21 22
a 1 3 7 8 14 21 22
a 2 3 7 8 14 21 22
a 1 2 3 7 8 21 22
a 1 2 3 8 18 21 22
a 1 2 8 14 18 21 22
a 1 3 8 14 18 21 22
a 2 3 8 14 18 21 22
a 1 2 3 14 18 21 22
a 1 2 6 14 18 21 22
a 1 3 6 14 18 21 22
a 2 3 6 14 18 21 22
a 1 2 3 6 18 21 22
a 2 3 6 16 18 21 22
a 2 3 6 14 16 18 22
a 2 3 8 14 16 18 22
a 1 2 3 8 14 18 22
a 1 2 8 14 18 19 22
a 1 2 6 14 18 19 22
a 1 6 9 14 18 19 22
a 1 8 9 14 18 19 22
a 1 4 8 9 14 19 22
a 1 5 8 9 14 19 22
a 4 5 8 9 14 19 22
a 1 4 5 8 14 19 22
a 1 2 4 8 14 19 22
a 1 2 7 8 14 19 22
a 1 5 7 8 14 19 22
a 4 5 7 8 14 19 22
a 1 4 7 8 14 19 22
a 2 4 7 8 14 19 22
a 1 2 4 7 8 19 22
a 1 2 4 7 19 22 25
a 1 4 5 7 19 22 25
a 1 4 5 6 19 22 25
a 1 2 4 6 19 22 25
a 1 2 6 18 19 22 25
a 1 6 9 18 19 22 25
a 1 4 6 9 19 22 25
a 1 5 6 9 19 22 25
a 4 5 6 9 19 22 25
a 4 5 6 9 16 22 25
a 1 4 5 6 9 22 25
a 4 5 6 9 20 22 25
a 4 5 6 9 13 20 25
a 5 6 9 11 13 20 25
a 5 9 11 12 13 20 25
a 5 9 12 13 20 23 25
a 5 6 9 13 20 23 25
a 1 5 6 9 13 23 25
a 5 6 9 13 16 23 25
a 5 9 13 16 17 23 25
a 1 5 9 13 17 23 25
a 1 5 12 13 17 23 25
a 1 2 12 13 17 23 25
a 1 9 12 13 17 23 25
a 5 9 12 13 17 23 25
a 1 5 9 12 13 23 25
a 1 5 9 12 22 23 25
a 1 5 7 12 22 23 25
a 1 2 7 12 22 23 25
a 1 2 12 18 22 23 25
a 1 9 12 18 22 23 25
a 1 6 9 18 22 23 25
a 1 2 6 18 22 23 25
a 2 6 16 18 22 23 25
a 6 9 16 18 22 23 25
a 5 6 9 16 22 23 25
a 1 5 6 9 22 23 25
a 5 6 9 20 22 23 25
a 5 9 12 20 22 23 25
a 5 7 12 20 22 23 25
a 2 7 12 20 22 23 25
a 2 7 8 12 20 22 23
a 5 7 8 12 20 22 23
a 1 5 7 8 12 22 23
a 1 5 7 8 21 22 23
a 5 7 8 20 21 22 23
a 2 7 8 20 21 22 23
a 1 2 7 8 21 22 23
a 1 2 8 18 21 22 23
a 1 2 6 18 21 22 23
a 2 6 16 18 21 22 23
a 2 8 16 18 21 22 23
a 2 3 8 16 18 21 22
a 2 8 14 16 18 21 22
a 3 8 14 16 18 21 22
a 2 3 14 16 18 21 22
a 2 6 14 16 18 21 22
a 3 6 14 16 18 21 22
a 2 3 6 14 16 21 22
a 3 5 6 14 16 21 22
a 4 5 6 14 16 21 22
a 1 4 5 6 14 21 22
a 1 4 5 14 19 21 22
a 1 4 5 8 19 21 22
a 1 2 4 8 19 21 22
a 1 2 7 8 19 21 22
a 1 4 7 8 19 21 22
a 2 4 7 8 19 21 22
a 1 2 4 7 19 21 22
a 1 2 7 14 19 21 22
a 1 5 7 14 19 21 22
a 4 5 7 14 19 21 22
a 1 4 7 14 19 21 22
a 2 4 7 14 19 21 22
a 1 2 4 14 19 21 22
a 1 2 8 14 19 21 22
a 1 5 8 14 19 21 22
a 4 5 8 14 19 21 22
a 2 4 8 14 19 21 22
a 1 4 8 14 19 21 22
a 4 7 8 14 19 21 22
a 2 7 8 14 19 21 22
a 1 7 8 14 19 21 22
a 5 7 8 14 19 21 22
a 1 5 7 8 19 21 22
a 4 5 7 8 19 21 22
a 1 4 5 7 19 21 22
a 1 4 5 6 19 21 22
a 1 2 4 6 19 21 22
a 1 2 6 18 19 21 22
a 1 2 8 18 19 21 22
a 1 8 14 18 19 21 22
a 2 8 14 18 19 21 22
a 1 2 14 18 19 21 22
a 2 6 14 18 19 21 22
a 1 6 14 18 19 21 22
a 1 4 6 14 19 21 22
a 2 4 6 14 19 21 22
a 1 2 6 14 19 21 22
a 1 5 6 14 19 21 22
a 4 5 6 14 19 21 22
a 1 4 5 6 14 19 21
a 1 4 5 14 17 19 21
a 1 4 5 7 17 19 21
a 1 4 5 8 17 19 21
a 1 2 4 8 17 19 21
a 1 2 7 8 17 19 21
a 1 5 7 8 17 19 21
a 4 5 7 8 17 19 21
a 1 4 7 8 17 19 21
a 2 4 7 8 17 19 21
a 1 2 4 7 17 19 21
a 1 2 7 14 17 19 21
a 1 5 7 14 17 19 21
a 4 5 7 14 17 19 21
a 1 4 7 14 17 19 21
a 2 4 7 14 17 19 21
a 1 2 4 14 17 19 21
a 1 2 8 14 17 19 21
a 1 5 8 14 17 19 21
a 4 5 8 14 17 19 21
a 2 4 8 14 17 19 21
a 1 4 8 14 17 19 21
a 4 7 8 14 17 19 21
a 2 7 8 14 17 19 21
a 1 7 8 14 17 19 21
a 5 7 8 14 17 19 21
a 3 5 7 8 14 17 21
a 1 5 7 8 14 17 21
a 4 5 7 8 14 17 21
a 1 4 7 8 14 17 21
a 2 4 7 8 14 17 21
a 1 2 4 8 14 17 21
a 2 4 8 14 16 17 21
a 4 5 8 14 16 17 21
a 3 5 8 14 16 17 21
a 2 3 8 14 16 17 21
a 2 3 13 14 16 17 21
a 3 5 13 14 16 17 21
a 4 5 13 14 16 17 21
a 2 4 13 14 16 17 21
a 4 8 13 14 16 17 21
a 3 8 13 14 16 17 21
a 2 8 13 14 16 17 21
a 5 8 13 14 16 17 21
a 3 5 8 13 16 17 21
a 4 5 8 13 16 17 21
a 2 4 8 13 16 17 21
a 2 4 8 16 17 21 24
a 2 4 8 14 16 17 24
a 2 4 8 13 16 17 24
a 2 3 8 13 16 17 24
a 3 5 8 13 16 17 24
a 4 5 8 13 16 17 24
a 4 5 9 13 16 17 24
a 4 8 9 13 16 17 24
a 5 8 9 13 16 17 24
a 4 5 8 9 16 17 24
a 4 5 9 14 16 17 24
a 4 8 9 14 16 17 24
a 5 8 9 14 16 17 24
a 4 5 8 14 16 17 24
a 3 5 8 14 16 17 24
a 2 3 8 14 16 17 24
a 2 3 13 14 16 17 24
a 2 4 13 14 16 17 24
a 4 8 13 14 16 17 24
a 3 8 13 14 16 17 24
a 2 8 13 14 16 17 24
a 5 8 13 14 16 17 24
a 4 5 13 14 16 17 24
a 3 5 13 14 16 17 24
a 5 9 13 14 16 17 24
a 4 9 13 14 16 17 24
a 8 9 13 14 16 17 24
a 4 8 9 13 14 16 24
a 5 8 9 13 14 16 24
a 4 5 8 13 14 16 24
a 3 5 8 13 14 16 24
a 2 3 8 13 14 16 24
a 2 3 8 13 16 21 24
a 3 5 8 13 16 21 24
a 4 5 8 13 16 21 24
a 2 4 8 13 16 21 24
a 2 4 13 14 16 21 24
a 4 5 13 14 16 21 24
a 3 5 13 14 16 21 24
a 2 3 13 14 16 21 24
a 1 2 3 13 14 21 24
a 2 3 13 14 15 21 24
a 3 5 13 14 15 21 24
a 3 5 7 14 15 21 24
a 2 3 7 14 15 21 24
a 1 2 3 7 14 21 24
a 1 2 3 14 18 21 24
a 1 2 8 14 18 21 24
a 1 3 8 14 18 21 24
a 2 3 8 14 18 21 24
a 1 2 3 8 18 21 24
a 2 3 8 16 18 21 24
a 2 3 14 16 18 21 24
a 3 8 14 16 18 21 24
a 2 8 14 16 18 21 24
a 2 4 8 14 16 21 24
a 4 5 8 14 16 21 24
a 3 5 8 14 16 21 24
a 2 3 8 14 16 21 24
a 1 2 3 8 14 21 24
a 1 2 7 8 14 21 24
a 2 3 7 8 14 21 24
a 1 3 7 8 14 21 24
a 3 5 7 8 14 21 24
a 1 5 7 8 14 21 24
a 4 5 7 8 14 21 24
a 1 4 7 8 14 21 24
a 2 4 7 8 14 21 24
a 1 2 4 7 8 21 24
a 1 2 4 7 17 21 24
a 1 4 5 7 17 21 24
a 1 3 5 7 17 21 24
a 1 3 5 13 17 21 24
a 1 4 5 13 17 21 24
a 1 2 4 13 17 21 24
a 1 2 8 13 17 21 24
a 1 4 8 13 17 21 24
a 2 4 8 13 17 21 24
a 1 2 4 8 17 21 24
a 1 4 5 8 17 21 24
a 1 3 5 8 17 21 24
a 1 2 3 8 17 21 24
a 1 2 7 8 17 21 24
a 2 4 7 8 17 21 24
a 1 4 7 8 17 21 24
a 4 5 7 8 17 21 24
a 1 5 7 8 17 21 24
a 3 5 7 8 17 21 24
a 1 3 7 8 17 21 24
a 2 3 7 8 17 21 24
a 1 2 3 7 17 21 24
a 1 2 7 14 17 21 24
a 1 4 7 14 17 21 24
a 2 4 7 14 17 21 24
a 1 2 4 14 17 21 24
a 1 2 8 14 17 21 24
a 2 3 8 14 17 21 24
a 1 3 8 14 17 21 24
a 3 5 8 14 17 21 24
a 1 5 8 14 17 21 24
a 4 5 8 14 17 21 24
a 2 4 8 14 17 21 24
a 1 4 8 14 17 21 24
a 4 7 8 14 17 21 24
a 3 7 8 14 17 21 24
a 2 7 8 14 17 21 24
a 1 7 8 14 17 21 24
a 5 7 8 14 17 21 24
a 4 5 7 14 17 21 24
a 1 5 7 14 17 21 24
a 3 5 7 14 17 21 24
a 1 3 7 14 17 21 24
a 2 3 7 14 17 21 24
a 1 2 3 14 17 21 24
a 1 2 13 14 17 21 24
a 2 3 13 14 17 21 24
a 1 3 13 14 17 21 24
a 3 5 13 14 17 21 24
a 1 5 13 14 17 21 24
a 4 5 13 14 17 21 24
a 2 4 13 14 17 21 24
a 1 4 13 14 17 21 24
a 4 8 13 14 17 21 24
a 3 8 13 14 17 21 24
a 2 8 13 14 17 21 24
a 1 8 13 14 17 21 24
a 5 8 13 14 17 21 24
a 4 5 8 13 17 21 24
a 1 5 8 13 17 21 24
a 3 5 8 13 17 21 24
a 1 3 8 13 17 21 24
a 2 3 8 13 17 21 24
a 1 2 3 13 17 21 24
a 2 3 13 16 17 21 24
a 3 5 13 16 17 21 24
a 4 5 13 16 17 21 24
a 2 4 13 16 17 21 24
a 4 8 13 16 17 21 24
a 3 8 13 16 17 21 24
a 2 8 13 16 17 21 24
a 5 8 13 16 17 21 24
a 4 5 8 16 17 21 24
a 3 5 8 16 17 21 24
a 2 3 8 16 17 21 24
a 2 3 14 16 17 21 24
a 2 4 14 16 17 21 24
a 4 8 14 16 17 21 24
a 3 8 14 16 17 21 24
a 2 8 14 16 17 21 24
a 5 8 14 16 17 21 24
a 4 5 14 16 17 21 24
a 3 5 14 16 17 21 24
a 5 13 14 16 17 21 24
a 4 13 14 16 17 21 24
a 3 13 14 16 17 21 24
a 2 13 14 16 17 21 24
a 8 13 14 16 17 21 24
a 4 8 13 14 16 21 24
a 3 8 13 14 16 21 24
a 2 8 13 14 16 21 24
a 5 8 13 14 16 21 24
a 4 5 8 13 14 21 24
a 1 5 8 13 14 21 24
a 3 5 8 13 14 21 24
a 1 3 8 13 14 21 24
a 2 3 8 13 14 21 24
a 1 2 3 8 13 21 24
a 2 3 8 13 20 21 24
a 3 5 8 13 20 21 24
a 4 5 8 13 20 21 24
a 2 4 8 13 20 21 24
a 2 4 7 8 20 21 24
a 4 5 7 8 20 21 24
a 3 5 7 8 20 21 24
a 2 3 7 8 20 21 24
a 2 3 8 14 20 21 24
a 3 5 8 14 20 21 24
a 4 5 8 14 20 21 24
a 2 4 8 14 20 21 24
a 4 7 8 14 20 21 24
a 3 7 8 14 20 21 24
a 2 7 8 14 20 21 24
a 5 7 8 14 20 21 24
a 4 5 7 14 20 21 24
a 3 5 7 14 20 21 24
a 2 3 7 14 20 21 24
a 2 3 13 14 20 21 24
a 3 5 13 14 20 21 24
a 4 5 13 14 20 21 24
a 2 4 13 14 20 21 24
a 4 8 13 14 20 21 24
a 3 8 13 14 20 21 24
a 2 8 13 14 20 21 24
a 5 8 13 14 20 21 24
a 3 5 8 13 14 20 24
a 4 5 8 13 14 20 24
a 2 4 8 13 14 20 24
a 4 8 9 13 14 20 24
a 5 8 9 13 14 20 24
a 4 5 9 13 14 20 24
a 5 9 11 13 14 20 24
a 8 9 11 13 14 20 24
a 5 8 11 13 14 20 24
a 2 8 11 13 14 20 24
a 2 8 11 12 13 20 24
a 5 8 11 12 13 20 24
a 5 8 9 11 12 20 24
a 5 7 8 11 12 20 24
a 2 7 8 11 12 20 24
a 2 7 8 11 12 20 26
a 1 2 7 8 11 12 26
a 1 2 3 7 8 12 26
a 1 2 3 7 12 22 26
a 1 2 3 8 12 22 26
a 1 2 7 8 12 22 26
a 1 3 7 8 12 22 26
a 2 3 7 8 12 22 26
a 1 2 3 7 8 22 26
a 1 2 3 8 21 22 26
a 1 2 3 6 21 22 26
a 1 2 4 6 21 22 26
a 2 4 6 16 21 22 26
a 2 3 6 16 21 22 26
a 2 3 8 16 21 22 26
a 2 4 8 16 21 22 26
a 1 2 4 8 21 22 26
a 1 4 7 8 21 22 26
a 2 4 7 8 21 22 26
a 1 2 7 8 21 22 26
a 1 3 7 8 21 22 26
a 2 3 7 8 21 22 26
a 1 2 3 7 21 22 26
a 2 3 7 20 21 22 26
a 2 4 7 20 21 22 26
a 2 4 6 20 21 22 26
a 2 3 6 20 21 22 26
a 2 3 8 20 21 22 26
a 2 4 8 20 21 22 26
a 4 7 8 20 21 22 26
a 2 7 8 20 21 22 26
a 3 7 8 20 21 22 26
a 2 3 7 8 20 22 26
a 2 3 7 12 20 22 26
a 2 3 8 12 20 22 26
a 2 7 8 12 20 22 26
a 3 7 8 12 20 22 26
a 2 3 7 8 12 20 26
a 2 3 8 12 20 24 26
a 1 2 3 8 12 24 26
a 1 2 7 8 12 24 26
a 1 3 7 8 12 24 26
a 2 3 7 8 12 24 26
a 1 2 3 7 12 24 26
a 1 2 7 11 12 24 26
a 1 2 8 11 12 24 26
a 1 7 8 11 12 24 26
a 2 7 8 11 12 24 26
a 1 2 7 8 11 24 26
a 2 7 8 11 20 24 26
a 2 7 11 12 20 24 26
a 2 3 7 12 20 24 26
a 2 3 12 13 20 24 26
a 2 3 8 12 13 20 26
a 2 8 11 12 13 20 26
a 8 9 11 12 13 20 26
a 1 8 9 11 12 13 26
a 1 8 9 12 13 23 26
a 8 9 12 13 20 23 26
a 2 8 12 13 20 23 26
a 1 2 8 12 13 23 26
a 1 2 7 8 12 23 26
a 1 2 7 8 22 23 26
a 2 7 8 20 22 23 26
a 2 7 12 20 22 23 26
a 1 2 7 12 22 23 26
a 1 7 8 12 22 23 26
a 2 7 8 12 22 23 26
a 1 2 8 12 22 23 26
a 1 8 9 12 22 23 26
a 8 9 12 20 22 23 26
a 2 8 12 20 22 23 26
a 7 8 12 20 22 23 26
a 2 7 8 12 20 23 26
a 2 7 8 20 21 23 26
a 1 2 7 8 21 23 26
a 1 2 8 13 21 23 26
a 1 2 6 13 21 23 26
a 2 6 13 16 21 23 26
a 2 8 13 16 21 23 26
a 2 8 16 21 22 23 26
a 2 6 16 21 22 23 26
a 1 2 6 21 22 23 26
a 1 2 7 21 22 23 26
a 1 7 8 21 22 23 26
a 2 7 8 21 22 23 26
a 1 2 8 21 22 23 26
a 2 8 20 21 22 23 26
a 7 8 20 21 22 23 26
a 2 7 20 21 22 23 26
a 2 6 20 21 22 23 26
a 2 6 13 20 21 23 26
a 2 8 13 20 21 23 26
a 2 3 8 13 20 21 26
a 2 4 8 13 20 21 26
a 2 4 8 13 20 24 26
a 1 2 4 8 13 24 26
a 2 4 8 13 16 24 26
a 2 3 8 13 16 24 26
a 1 2 3 8 13 24 26
a 1 2 8 11 13 24 26
a 1 8 9 11 13 24 26
a 1 9 10 11 13 24 26
a 1 4 9 10 13 24 26
a 4 9 10 13 16 24 26
a 4 8 9 13 16 24 26
a 1 4 8 9 13 24 26
a 1 8 9 12 13 24 26
a 1 3 8 12 13 24 26
a 2 3 8 12 13 24 26
a 1 2 8 12 13 24 26
a 1 8 11 12 13 24 26
a 2 8 11 12 13 24 26
a 1 2 11 12 13 24 26
a 1 9 11 12 13 24 26
a 8 9 11 12 13 24 26
a 1 8 9 11 12 24 26
a 8 9 11 12 20 24 26
a 2 8 11 12 20 24 26
a 7 8 11 12 20 24 26
a 2 7 8 12 20 24 26
a 3 7 8 12 20 24 26
a 2 3 7 8 20 24 26
a 2 4 7 8 20 24 26
a 2 4 7 20 21 24 26
a 1 2 4 7 21 24 26
a 1 2 3 7 21 24 26
a 2 3 7 15 21 24 26
a 2 3 13 15 21 24 26
a 1 2 3 13 21 24 26
a 1 2 8 13 21 24 26
a 1 3 8 13 21 24 26
a 2 3 8 13 21 24 26
a 2 3 8 16 21 24 26
a 2 4 8 16 21 24 26
a 2 4 13 16 21 24 26
a 2 3 13 16 21 24 26
a 3 8 13 16 21 24 26
a 2 8 13 16 21 24 26
a 4 8 13 16 21 24 26
a 1 4 8 13 21 24 26
a 2 4 8 13 21 24 26
a 1 2 4 8 21 24 26
a 1 4 7 8 21 24 26
a 2 4 7 8 21 24 26
a 1 2 7 8 21 24 26
a 1 3 7 8 21 24 26
a 2 3 7 8 21 24 26
a 1 2 3 8 21 24 26
a 2 3 8 20 21 24 26
a 2 4 8 20 21 24 26
a 4 7 8 20 21 24 26
a 2 7 8 20 21 24 26
a 3 7 8 20 21 24 26
a 2 3 7 20 21 24 26
a 2 3 13 20 21 24 26
a 2 4 13 20 21 24 26
a 4 8 13 20 21 24 26
a 2 8 13 20 21 24 26
a 3 8 13 20 21 24 26
a 2 3 8 13 20 24 26
a 2 8 11 13 20 24 26
a 8 9 11 13 20 24 26
a 4 8 9 13 20 24 26
a 8 9 12 13 20 24 26
a 3 8 12 13 20 24 26
a 2 8 12 13 20 24 26
a 8 11 12 13 20 24 26
a 2 11 12 13 20 24 26
a 9 11 12 13 20 24 26
a 5 9 11 12 13 20 24
a 8 9 11 12 13 20 24
a 5 8 9 12 13 20 24
a 3 5 8 12 13 20 24
a 2 3 8 12 13 20 24
a 2 3 12 13 20 24 25
a 1 2 3 12 13 24 25
a 2 3 12 13 15 24 25
a 3 5 12 13 15 24 25
a 3 5 7 12 15 24 25
a 1 3 5 7 12 24 25
a 3 5 7 12 20 24 25
a 2 3 7 12 20 24 25
a 2 7 11 12 20 24 25
a 5 7 11 12 20 24 25
a 5 9 11 12 20 24 25
a 5 9 12 13 20 24 25
a 3 5 12 13 20 24 25
a 5 11 12 13 20 24 25
a 2 11 12 13 20 24 25
a 9 11 12 13 20 24 25
a 5 9 11 13 20 24 25
a 4 5 9 13 20 24 25
a 1 4 5 9 13 24 25
a 4 5 9 13 16 24 25
a 4 5 9 16 17 24 25
a 1 4 5 9 17 24 25
a 1 5 9 12 17 24 25
a 1 3 5 12 17 24 25
a 1 2 3 12 17 24 25
a 1 3 7 12 17 24 25
a 2 3 7 12 17 24 25
a 1 2 7 12 17 24 25
a 1 5 7 12 17 24 25
a 3 5 7 12 17 24 25
a 1 3 5 7 17 24 25
a 1 3 5 13 17 24 25
a 1 5 11 13 17 24 25
a 1 2 11 13 17 24 25
a 1 9 11 13 17 24 25
a 5 9 11 13 17 24 25
a 1 5 9 13 17 24 25
a 4 5 9 13 17 24 25
a 1 4 5 13 17 24 25
a 1 2 4 13 17 24 25
a 2 4 13 16 17 24 25
a 4 9 13 16 17 24 25
a 5 9 13 16 17 24 25
a 4 5 13 16 17 24 25
a 3 5 13 16 17 24 25
a 2 3 13 16 17 24 25
a 1 2 3 13 17 24 25
a 1 3 12 13 17 24 25
a 2 3 12 13 17 24 25
a 1 2 12 13 17 24 25
a 1 9 12 13 17 24 25
a 5 9 12 13 17 24 25
a 3 5 12 13 17 24 25
a 1 5 12 13 17 24 25
a 5 11 12 13 17 24 25
a 2 11 12 13 17 24 25
a 1 11 12 13 17 24 25
a 9 11 12 13 17 24 25
a 1 9 11 12 17 24 25
a 5 9 11 12 17 24 25
a 1 5 11 12 17 24 25
a 5 7 11 12 17 24 25
a 1 7 11 12 17 24 25
a 2 7 11 12 17 24 25
a 1 2 7 11 12 17 25
a 1 2 7 11 17 19 25
a 1 5 7 11 17 19 25
a 1 4 5 7 17 19 25
a 1 2 4 7 17 19 25
#END: [Sun Sep 10 03:20:36 2023]