#BEGIN: [Sat Sep  9 21:08:43 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/queen8_12.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/queen8_12_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-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/color04/queen8_12.col /benchmark/2022benchmark/benchmark/color04/queen8_12_02.dat
s 1 24 28 45 55 62 87 
t 9 16 37 58 62 83 90
a YES
a 1 24 28 45 55 62 87
a 1 24 28 55 62 83 87
a 1 28 48 55 62 83 87
a 1 20 48 55 62 83 87
a 4 20 48 55 62 83 87
a 4 20 27 48 55 62 83
a 4 20 27 48 62 83 90
a 10 20 27 48 62 83 90
a 10 19 27 48 62 83 90
a 4 19 27 48 62 83 90
a 4 19 33 48 62 83 90
a 3 19 33 48 62 83 90
a 1 19 33 48 62 83 90
a 10 19 33 48 62 83 90
a 10 16 33 48 62 83 90
a 1 16 33 48 62 83 90
a 8 16 33 48 62 83 90
a 8 13 33 48 62 83 90
a 4 13 33 48 62 83 90
a 3 13 33 48 62 83 90
a 10 13 33 48 62 83 90
a 10 17 33 48 62 83 90
a 3 17 33 48 62 83 90
a 1 17 33 48 62 83 90
a 8 17 33 48 62 83 90
a 8 17 27 48 62 83 90
a 10 17 27 48 62 83 90
a 10 13 27 48 62 83 90
a 8 13 27 48 62 83 90
a 4 13 27 48 62 83 90
a 4 21 27 48 62 83 90
a 4 21 27 41 62 83 90
a 12 21 27 41 62 83 90
a 12 20 27 41 62 83 90
a 4 20 27 41 62 83 90
a 10 20 27 41 62 83 90
a 10 13 27 41 62 83 90
a 9 13 27 41 62 83 90
a 4 13 27 41 62 83 90
a 12 13 27 41 62 83 90
a 12 22 27 41 62 83 90
a 4 22 27 41 62 83 90
a 4 22 36 41 62 83 90
a 1 22 36 41 62 83 90
a 3 22 36 41 62 83 90
a 3 21 36 41 62 83 90
a 1 21 36 41 62 83 90
a 4 21 36 41 62 83 90
a 4 20 36 41 62 83 90
a 3 20 36 41 62 83 90
a 1 20 36 41 62 83 90
a 1 16 36 41 62 83 90
a 9 16 36 41 62 83 90
a 9 13 36 41 62 83 90
a 3 13 36 41 62 83 90
a 4 13 36 41 62 83 90
a 4 13 36 45 62 83 90
a 3 13 36 45 62 83 90
a 8 13 36 45 62 83 90
a 8 22 36 45 62 83 90
a 4 22 36 45 62 83 90
a 1 22 36 45 62 83 90
a 3 22 36 45 62 83 90
a 3 22 28 45 62 83 90
a 1 22 28 45 62 83 90
a 8 22 28 45 62 83 90
a 8 22 27 45 62 83 90
a 4 22 27 45 62 83 90
a 4 20 27 45 62 83 90
a 10 20 27 45 62 83 90
a 10 17 27 45 62 83 90
a 8 17 27 45 62 83 90
a 8 13 27 45 62 83 90
a 4 13 27 45 62 83 90
a 10 13 27 45 62 83 90
a 10 13 28 45 62 83 90
a 8 13 28 45 62 83 90
a 3 13 28 45 62 83 90
a 3 20 28 45 62 83 90
a 1 20 28 45 62 83 90
a 10 20 28 45 62 83 90
a 10 20 28 37 62 83 90
a 3 20 28 37 62 83 90
a 12 20 28 37 62 83 90
a 12 19 28 37 62 83 90
a 9 19 28 37 62 83 90
a 3 19 28 37 62 83 90
a 10 19 28 37 62 83 90
a 10 19 27 37 62 83 90
a 9 19 27 37 62 83 90
a 12 19 27 37 62 83 90
a 12 17 27 37 62 83 90
a 9 17 27 37 62 83 90
a 8 17 27 37 62 83 90
a 10 17 27 37 62 83 90
a 10 20 27 37 62 83 90
a 12 20 27 37 62 83 90
a 12 20 27 43 62 83 90
a 12 13 27 43 62 83 90
a 9 13 27 43 62 83 90
a 8 13 27 43 62 83 90
a 8 22 27 43 62 83 90
a 12 22 27 43 62 83 90
a 12 22 28 43 62 83 90
a 8 22 28 43 62 83 90
a 1 22 28 43 62 83 90
a 3 22 28 43 62 83 90
a 3 20 28 43 62 83 90
a 1 20 28 43 62 83 90
a 12 20 28 43 62 83 90
a 12 13 28 43 62 83 90
a 8 13 28 43 62 83 90
a 3 13 28 43 62 83 90
a 9 13 28 43 62 83 90
a 9 13 28 60 62 83 90
a 3 13 28 60 62 83 90
a 10 13 28 60 62 83 90
a 10 19 28 60 62 83 90
a 3 19 28 60 62 83 90
a 1 19 28 60 62 83 90
a 9 19 28 60 62 83 90
a 9 19 27 60 62 83 90
a 4 19 27 60 62 83 90
a 10 19 27 60 62 83 90
a 10 13 27 60 62 83 90
a 4 13 27 60 62 83 90
a 9 13 27 60 62 83 90
a 9 17 27 60 62 83 90
a 10 17 27 60 62 83 90
a 10 17 45 60 62 83 90
a 3 17 45 60 62 83 90
a 1 17 45 60 62 83 90
a 1 15 45 60 62 83 90
a 10 15 45 60 62 83 90
a 10 20 45 60 62 83 90
a 4 20 45 60 62 83 90
a 3 20 45 60 62 83 90
a 1 20 45 60 62 83 90
a 20 28 45 60 62 83 90
a 13 28 45 60 62 83 90
a 10 28 45 60 62 83 90
a 3 28 45 60 62 83 90
a 1 28 45 60 62 83 90
a 22 28 45 60 62 83 90
a 4 22 45 60 62 83 90
a 3 22 45 60 62 83 90
a 1 22 45 60 62 83 90
a 22 27 45 60 62 83 90
a 20 27 45 60 62 83 90
a 17 27 45 60 62 83 90
a 10 27 45 60 62 83 90
a 4 27 45 60 62 83 90
a 13 27 45 60 62 83 90
a 4 13 45 60 62 83 90
a 3 13 45 60 62 83 90
a 10 13 45 60 62 83 90
a 10 16 45 60 62 83 90
a 1 16 45 60 62 83 90
a 1 16 32 60 62 83 90
a 9 16 32 60 62 83 90
a 9 17 32 60 62 83 90
a 1 17 32 60 62 83 90
a 3 17 32 60 62 83 90
a 3 17 33 60 62 83 90
a 1 17 33 60 62 83 90
a 10 17 33 60 62 83 90
a 10 19 33 60 62 83 90
a 3 19 33 60 62 83 90
a 1 19 33 60 62 83 90
a 4 19 33 60 62 83 90
a 4 13 33 60 62 83 90
a 3 13 33 60 62 83 90
a 10 13 33 60 62 83 90
a 10 15 33 60 62 83 90
a 1 15 33 60 62 83 90
a 1 16 33 60 62 83 90
a 10 16 33 60 62 83 90
a 10 16 41 60 62 83 90
a 9 16 41 60 62 83 90
a 1 16 41 60 62 83 90
a 16 33 41 60 62 83 90
a 10 33 41 60 62 83 90
a 4 33 41 60 62 83 90
a 3 33 41 60 62 83 90
a 1 33 41 60 62 83 90
a 13 33 41 60 62 83 90
a 9 13 41 60 62 83 90
a 4 13 41 60 62 83 90
a 3 13 41 60 62 83 90
a 10 13 41 60 62 83 90
a 10 20 41 60 62 83 90
a 4 20 41 60 62 83 90
a 3 20 41 60 62 83 90
a 1 20 41 60 62 83 90
a 20 27 41 60 62 83 90
a 13 27 41 60 62 83 90
a 10 27 41 60 62 83 90
a 9 27 41 60 62 83 90
a 4 27 41 60 62 83 90
a 22 27 41 60 62 83 90
a 4 22 41 60 62 83 90
a 3 22 41 60 62 83 90
a 1 22 41 60 62 83 90
a 22 32 41 60 62 83 90
a 16 32 41 60 62 83 90
a 9 32 41 60 62 83 90
a 4 32 41 60 62 83 90
a 3 32 41 60 62 83 90
a 1 32 41 60 62 83 90
a 13 32 41 60 62 83 90
a 4 13 32 60 62 83 90
a 3 13 32 60 62 83 90
a 9 13 32 60 62 83 90
a 9 15 32 60 62 83 90
a 1 15 32 60 62 83 90
a 1 15 43 60 62 83 90
a 9 15 43 60 62 83 90
a 9 16 43 60 62 83 90
a 1 16 43 60 62 83 90
a 16 33 43 60 62 83 90
a 15 33 43 60 62 83 90
a 3 33 43 60 62 83 90
a 1 33 43 60 62 83 90
a 13 33 43 60 62 83 90
a 9 13 43 60 62 83 90
a 3 13 43 60 62 83 90
a 3 22 43 60 62 83 90
a 1 22 43 60 62 83 90
a 22 27 43 60 62 83 90
a 13 27 43 60 62 83 90
a 9 27 43 60 62 83 90
a 20 27 43 60 62 83 90
a 3 20 43 60 62 83 90
a 1 20 43 60 62 83 90
a 20 28 43 60 62 83 90
a 13 28 43 60 62 83 90
a 9 28 43 60 62 83 90
a 3 28 43 60 62 83 90
a 1 28 43 60 62 83 90
a 22 28 43 60 62 83 90
a 3 22 28 60 62 83 90
a 1 22 28 60 62 83 90
a 1 22 39 60 62 83 90
a 4 22 39 60 62 83 90
a 4 20 39 60 62 83 90
a 1 20 39 60 62 83 90
a 10 20 39 60 62 83 90
a 10 19 39 60 62 83 90
a 9 19 39 60 62 83 90
a 4 19 39 60 62 83 90
a 1 19 39 60 62 83 90
a 19 33 39 60 62 83 90
a 10 33 39 60 62 83 90
a 4 33 39 60 62 83 90
a 1 33 39 60 62 83 90
a 16 33 39 60 62 83 90
a 10 16 39 60 62 83 90
a 9 16 39 60 62 83 90
a 1 16 39 60 62 83 90
a 16 32 39 60 62 83 90
a 9 32 39 60 62 83 90
a 4 32 39 60 62 83 90
a 1 32 39 60 62 83 90
a 22 32 39 60 62 83 90
a 4 22 32 60 62 83 90
a 3 22 32 60 62 83 90
a 1 22 32 60 62 83 90
a 22 32 37 60 62 83 90
a 17 32 37 60 62 83 90
a 9 32 37 60 62 83 90
a 3 32 37 60 62 83 90
a 16 32 37 60 62 83 90
a 9 16 37 60 62 83 90
a 10 16 37 60 62 83 90
a 10 20 37 60 62 83 90
a 3 20 37 60 62 83 90
a 20 28 37 60 62 83 90
a 19 28 37 60 62 83 90
a 10 28 37 60 62 83 90
a 9 28 37 60 62 83 90
a 3 28 37 60 62 83 90
a 22 28 37 60 62 83 90
a 3 22 37 60 62 83 90
a 22 27 37 60 62 83 90
a 20 27 37 60 62 83 90
a 19 27 37 60 62 83 90
a 10 27 37 60 62 83 90
a 9 27 37 60 62 83 90
a 17 27 37 60 62 83 90
a 10 17 37 60 62 83 90
a 9 17 37 60 62 83 90
a 3 17 37 60 62 83 90
a 17 33 37 60 62 83 90
a 16 33 37 60 62 83 90
a 10 33 37 60 62 83 90
a 3 33 37 60 62 83 90
a 19 33 37 60 62 83 90
a 12 19 33 37 62 83 90
a 3 19 33 37 62 83 90
a 10 19 33 37 62 83 90
a 10 19 33 53 62 83 90
a 4 19 33 53 62 83 90
a 3 19 33 53 62 83 90
a 12 19 33 53 62 83 90
a 12 15 33 53 62 83 90
a 8 15 33 53 62 83 90
a 10 15 33 53 62 83 90
a 10 13 33 53 62 83 90
a 8 13 33 53 62 83 90
a 4 13 33 53 62 83 90
a 3 13 33 53 62 83 90
a 12 13 33 53 62 83 90
a 12 16 33 53 62 83 90
a 10 16 33 53 62 83 90
a 8 16 33 53 62 83 90
a 8 16 45 53 62 83 90
a 10 16 45 53 62 83 90
a 10 15 45 53 62 83 90
a 8 15 45 53 62 83 90
a 8 22 45 53 62 83 90
a 4 22 45 53 62 83 90
a 3 22 45 53 62 83 90
a 22 36 45 53 62 83 90
a 16 36 45 53 62 83 90
a 15 36 45 53 62 83 90
a 8 36 45 53 62 83 90
a 4 36 45 53 62 83 90
a 3 36 45 53 62 83 90
a 13 36 45 53 62 83 90
a 10 13 45 53 62 83 90
a 8 13 45 53 62 83 90
a 4 13 45 53 62 83 90
a 3 13 45 53 62 83 90
a 13 28 45 53 62 83 90
a 10 28 45 53 62 83 90
a 8 28 45 53 62 83 90
a 3 28 45 53 62 83 90
a 22 28 45 53 62 83 90
a 8 22 28 53 62 83 90
a 3 22 28 53 62 83 90
a 12 22 28 53 62 83 90
a 12 19 28 53 62 83 90
a 10 19 28 53 62 83 90
a 3 19 28 53 62 83 90
a 3 21 28 53 62 83 90
a 12 21 28 53 62 83 90
a 12 21 37 53 62 83 90
a 3 21 37 53 62 83 90
a 3 21 36 37 62 83 90
a 3 20 36 37 62 83 90
a 3 22 36 37 62 83 90
a 8 22 36 37 62 83 90
a 8 16 36 37 62 83 90
a 9 16 36 37 62 83 90
a 9 17 36 37 62 83 90
a 8 17 36 37 62 83 90
a 3 17 36 37 62 83 90
a 3 19 36 37 62 83 90
a 9 19 36 37 62 83 90
a 9 19 36 56 62 83 90
a 1 19 36 56 62 83 90
a 3 19 36 56 62 83 90
a 3 13 36 56 62 83 90
a 9 13 36 56 62 83 90
a 9 15 36 56 62 83 90
a 1 15 36 56 62 83 90
a 1 16 36 56 62 83 90
a 9 16 36 56 62 83 90
a 9 16 37 56 62 83 90
a 10 16 37 56 62 83 90
a 10 19 37 56 62 83 90
a 9 19 37 56 62 83 90
a 3 19 37 56 62 83 90
a 19 33 37 56 62 83 90
a 10 33 37 56 62 83 90
a 3 33 37 56 62 83 90
a 16 33 37 56 62 83 90
a 1 16 33 56 62 83 90
a 10 16 33 56 62 83 90
a 10 16 41 56 62 83 90
a 9 16 41 56 62 83 90
a 1 16 41 56 62 83 90
a 16 33 41 56 62 83 90
a 10 33 41 56 62 83 90
a 3 33 41 56 62 83 90
a 1 33 41 56 62 83 90
a 13 33 41 56 62 83 90
a 10 13 41 56 62 83 90
a 9 13 41 56 62 83 90
a 3 13 41 56 62 83 90
a 3 21 41 56 62 83 90
a 1 21 41 56 62 83 90
a 21 36 41 56 62 83 90
a 16 36 41 56 62 83 90
a 13 36 41 56 62 83 90
a 9 36 41 56 62 83 90
a 3 36 41 56 62 83 90
a 1 36 41 56 62 83 90
a 22 36 41 56 62 83 90
a 3 22 41 56 62 83 90
a 1 22 41 56 62 83 90
a 22 27 41 56 62 83 90
a 21 27 41 56 62 83 90
a 10 27 41 56 62 83 90
a 9 27 41 56 62 83 90
a 13 27 41 56 62 83 90
a 10 13 27 56 62 83 90
a 9 13 27 56 62 83 90
a 9 19 27 56 62 83 90
a 10 19 27 56 62 83 90
a 10 19 39 56 62 83 90
a 9 19 39 56 62 83 90
a 1 19 39 56 62 83 90
a 19 33 39 56 62 83 90
a 10 33 39 56 62 83 90
a 1 33 39 56 62 83 90
a 16 33 39 56 62 83 90
a 10 16 39 56 62 83 90
a 9 16 39 56 62 83 90
a 1 16 39 56 62 83 90
a 1 21 39 56 62 83 90
a 21 36 39 56 62 83 90
a 19 36 39 56 62 83 90
a 16 36 39 56 62 83 90
a 9 36 39 56 62 83 90
a 1 36 39 56 62 83 90
a 22 36 39 56 62 83 90
a 3 22 36 56 62 83 90
a 1 22 36 56 62 83 90
a 22 36 37 56 62 83 90
a 19 36 37 56 62 83 90
a 16 36 37 56 62 83 90
a 9 36 37 56 62 83 90
a 3 36 37 56 62 83 90
a 21 36 37 56 62 83 90
a 3 21 37 56 62 83 90
a 21 27 37 56 62 83 90
a 19 27 37 56 62 83 90
a 10 27 37 56 62 83 90
a 9 27 37 56 62 83 90
a 22 27 37 56 62 83 90
a 3 22 37 56 62 83 90
a 22 28 37 56 62 83 90
a 21 28 37 56 62 83 90
a 10 28 37 56 62 83 90
a 9 28 37 56 62 83 90
a 3 28 37 56 62 83 90
a 19 28 37 56 62 83 90
a 10 19 28 56 62 83 90
a 9 19 28 56 62 83 90
a 3 19 28 56 62 83 90
a 1 19 28 56 62 83 90
a 19 28 48 56 62 83 90
a 13 28 48 56 62 83 90
a 10 28 48 56 62 83 90
a 3 28 48 56 62 83 90
a 1 28 48 56 62 83 90
a 21 28 48 56 62 83 90
a 3 21 48 56 62 83 90
a 1 21 48 56 62 83 90
a 21 27 48 56 62 83 90
a 13 27 48 56 62 83 90
a 10 27 48 56 62 83 90
a 19 27 48 56 62 83 90
a 10 19 48 56 62 83 90
a 3 19 48 56 62 83 90
a 1 19 48 56 62 83 90
a 19 33 48 56 62 83 90
a 16 33 48 56 62 83 90
a 13 33 48 56 62 83 90
a 10 33 48 56 62 83 90
a 3 33 48 56 62 83 90
a 1 33 48 56 62 83 90
a 15 33 48 56 62 83 90
a 8 15 33 48 62 83 90
a 1 15 33 48 62 83 90
a 10 15 33 48 62 83 90
a 10 15 48 55 62 83 90
a 1 15 48 55 62 83 90
a 8 15 48 55 62 83 90
a 8 13 48 55 62 83 90
a 4 13 48 55 62 83 90
a 10 13 48 55 62 83 90
a 10 13 28 55 62 83 90
a 9 13 28 55 62 83 90
a 8 13 28 55 62 83 90
a 12 13 28 55 62 83 90
a 12 20 28 55 62 83 90
a 1 20 28 55 62 83 90
a 10 20 28 55 62 83 90
a 10 20 27 55 62 83 90
a 4 20 27 55 62 83 90
a 12 20 27 55 62 83 90
a 12 17 27 55 62 83 90
a 9 17 27 55 62 83 90
a 8 17 27 55 62 83 90
a 10 17 27 55 62 83 90
a 10 13 27 55 62 83 90
a 9 13 27 55 62 83 90
a 8 13 27 55 62 83 90
a 4 13 27 55 62 83 90
a 12 13 27 55 62 83 90
a 12 21 27 55 62 83 90
a 4 21 27 55 62 83 90
a 4 21 39 55 62 83 90
a 1 21 39 55 62 83 90
a 12 21 39 55 62 83 90
a 12 32 39 55 62 83 90
a 4 32 39 55 62 83 90
a 1 32 39 55 62 83 90
a 9 32 39 55 62 83 90
a 9 34 39 55 62 83 90
a 4 34 39 55 62 83 90
a 1 34 39 55 62 83 90
a 20 34 39 55 62 83 90
a 12 20 39 55 62 83 90
a 10 20 39 55 62 83 90
a 4 20 39 55 62 83 90
a 1 20 39 55 62 83 90
a 20 36 39 55 62 83 90
a 9 36 39 55 62 83 90
a 8 36 39 55 62 83 90
a 4 36 39 55 62 83 90
a 1 36 39 55 62 83 90
a 21 36 39 55 62 83 90
a 4 21 36 55 62 83 90
a 1 21 36 55 62 83 90
a 21 36 37 55 62 83 90
a 17 36 37 55 62 83 90
a 9 36 37 55 62 83 90
a 8 36 37 55 62 83 90
a 20 36 37 55 62 83 90
a 20 28 37 55 62 83 90
a 12 28 37 55 62 83 90
a 10 28 37 55 62 83 90
a 9 28 37 55 62 83 90
a 8 28 37 55 62 83 90
a 21 28 37 55 62 83 90
a 12 21 37 55 62 83 90
a 21 27 37 55 62 83 90
a 17 27 37 55 62 83 90
a 12 27 37 55 62 83 90
a 10 27 37 55 62 83 90
a 9 27 37 55 62 83 90
a 8 27 37 55 62 83 90
a 20 27 37 55 62 83 90
a 12 20 37 55 62 83 90
a 10 20 37 55 62 83 90
a 20 34 37 55 62 83 90
a 9 34 37 55 62 83 90
a 17 34 37 55 62 83 90
a 9 17 34 55 62 83 90
a 1 17 34 55 62 83 90
a 17 34 48 55 62 83 90
a 15 34 48 55 62 83 90
a 13 34 48 55 62 83 90
a 4 34 48 55 62 83 90
a 1 34 48 55 62 83 90
a 20 34 48 55 62 83 90
a 10 20 48 55 62 83 90
a 4 20 48 55 62 83 90
a 1 20 48 55 62 83 90
a 20 28 48 55 62 83 90
a 13 28 48 55 62 83 90
a 10 28 48 55 62 83 90
a 8 28 48 55 62 83 90
a 1 28 48 55 62 83 90
a 21 28 48 55 62 83 90
a 4 21 48 55 62 83 90
a 1 21 48 55 62 83 90
a 21 27 48 55 62 83 90
a 20 27 48 55 62 83 90
a 13 27 48 55 62 83 90
a 10 27 48 55 62 83 90
a 8 27 48 55 62 83 90
a 4 27 48 55 62 83 90
a 17 27 48 55 62 83 90
a 10 17 48 55 62 83 90
a 8 17 48 55 62 83 90
a 1 17 48 55 62 83 90
a 17 32 48 55 62 83 90
a 15 32 48 55 62 83 90
a 4 32 48 55 62 83 90
a 1 32 48 55 62 83 90
a 13 32 48 55 62 83 90
a 9 13 32 55 62 83 90
a 4 13 32 55 62 83 90
a 12 13 32 55 62 83 90
a 12 32 41 55 62 83 90
a 9 32 41 55 62 83 90
a 4 32 41 55 62 83 90
a 1 32 41 55 62 83 90
a 13 32 41 55 62 83 90
a 12 13 41 55 62 83 90
a 10 13 41 55 62 83 90
a 9 13 41 55 62 83 90
a 4 13 41 55 62 83 90
a 13 34 41 55 62 83 90
a 9 34 41 55 62 83 90
a 4 34 41 55 62 83 90
a 1 34 41 55 62 83 90
a 20 34 41 55 62 83 90
a 12 20 41 55 62 83 90
a 10 20 41 55 62 83 90
a 4 20 41 55 62 83 90
a 1 20 41 55 62 83 90
a 20 27 41 55 62 83 90
a 13 27 41 55 62 83 90
a 12 27 41 55 62 83 90
a 10 27 41 55 62 83 90
a 9 27 41 55 62 83 90
a 4 27 41 55 62 83 90
a 21 27 41 55 62 83 90
a 12 21 41 55 62 83 90
a 4 21 41 55 62 83 90
a 1 21 41 55 62 83 90
a 21 36 41 55 62 83 90
a 20 36 41 55 62 83 90
a 9 36 41 55 62 83 90
a 4 36 41 55 62 83 90
a 1 36 41 55 62 83 90
a 13 36 41 55 62 83 90
a 8 13 36 55 62 83 90
a 4 13 36 55 62 83 90
a 9 13 36 55 62 83 90
a 9 15 36 55 62 83 90
a 1 15 36 55 62 83 90
a 8 15 36 55 62 83 90
a 8 15 45 55 62 83 90
a 1 15 45 55 62 83 90
a 10 15 45 55 62 83 90
a 10 13 45 55 62 83 90
a 8 13 45 55 62 83 90
a 4 13 45 55 62 83 90
a 13 28 45 55 62 83 90
a 10 28 45 55 62 83 90
a 8 28 45 55 62 83 90
a 1 28 45 55 62 83 90
a 20 28 45 55 62 83 90
a 10 20 45 55 62 83 90
a 4 20 45 55 62 83 90
a 1 20 45 55 62 83 90
a 20 27 45 55 62 83 90
a 13 27 45 55 62 83 90
a 10 27 45 55 62 83 90
a 8 27 45 55 62 83 90
a 4 27 45 55 62 83 90
a 17 27 45 55 62 83 90
a 10 17 45 55 62 83 90
a 8 17 45 55 62 83 90
a 1 17 45 55 62 83 90
a 17 36 45 55 62 83 90
a 15 36 45 55 62 83 90
a 13 36 45 55 62 83 90
a 8 36 45 55 62 83 90
a 4 36 45 55 62 83 90
a 1 36 45 55 62 83 90
a 20 36 45 55 62 83 90
a 4 20 36 45 62 83 90
a 3 20 36 45 62 83 90
a 1 20 36 45 62 83 90
a 20 36 45 52 62 83 90
a 17 36 45 52 62 83 90
a 15 36 45 52 62 83 90
a 3 36 45 52 62 83 90
a 1 36 45 52 62 83 90
a 22 36 45 52 62 83 90
a 3 22 45 52 62 83 90
a 1 22 45 52 62 83 90
a 22 27 45 52 62 83 90
a 17 27 45 52 62 83 90
a 10 27 45 52 62 83 90
a 20 27 45 52 62 83 90
a 10 20 45 52 62 83 90
a 1 20 45 52 62 83 90
a 3 20 45 52 62 83 90
a 3 20 34 52 62 83 90
a 1 20 34 52 62 83 90
a 1 15 34 52 62 83 90
a 9 15 34 52 62 83 90
a 9 17 34 52 62 83 90
a 3 17 34 52 62 83 90
a 1 17 34 52 62 83 90
a 17 34 37 52 62 83 90
a 9 34 37 52 62 83 90
a 3 34 37 52 62 83 90
a 20 34 37 52 62 83 90
a 10 20 37 52 62 83 90
a 3 20 37 52 62 83 90
a 12 20 37 52 62 83 90
a 12 33 37 52 62 83 90
a 10 33 37 52 62 83 90
a 3 33 37 52 62 83 90
a 17 33 37 52 62 83 90
a 10 17 33 52 62 83 90
a 3 17 33 52 62 83 90
a 1 17 33 52 62 83 90
a 12 17 33 52 62 83 90
a 12 15 33 52 62 83 90
a 1 15 33 52 62 83 90
a 10 15 33 52 62 83 90
a 10 15 48 52 62 83 90
a 1 15 48 52 62 83 90
a 15 33 48 52 62 83 90
a 10 33 48 52 62 83 90
a 3 33 48 52 62 83 90
a 1 33 48 52 62 83 90
a 17 33 48 52 62 83 90
a 17 34 48 52 62 83 90
a 15 34 48 52 62 83 90
a 3 34 48 52 62 83 90
a 1 34 48 52 62 83 90
a 20 34 48 52 62 83 90
a 10 20 48 52 62 83 90
a 1 20 48 52 62 83 90
a 3 20 48 52 62 83 90
a 3 21 48 52 62 83 90
a 1 21 48 52 62 83 90
a 21 27 48 52 62 83 90
a 20 27 48 52 62 83 90
a 10 27 48 52 62 83 90
a 17 27 48 52 62 83 90
a 10 17 48 52 62 83 90
a 3 17 48 52 62 83 90
a 1 17 48 52 62 83 90
a 17 32 48 52 62 83 90
a 3 32 48 52 62 83 90
a 1 32 48 52 62 83 90
a 15 32 48 52 62 83 90
a 9 15 32 52 62 83 90
a 1 15 32 52 62 83 90
a 12 15 32 52 62 83 90
a 12 22 32 52 62 83 90
a 3 22 32 52 62 83 90
a 1 22 32 52 62 83 90
a 22 32 37 52 62 83 90
a 12 32 37 52 62 83 90
a 9 32 37 52 62 83 90
a 3 32 37 52 62 83 90
a 17 32 37 52 62 83 90
a 10 17 37 52 62 83 90
a 9 17 37 52 62 83 90
a 3 17 37 52 62 83 90
a 12 17 37 52 62 83 90
a 12 21 37 52 62 83 90
a 3 21 37 52 62 83 90
a 21 27 37 52 62 83 90
a 20 27 37 52 62 83 90
a 17 27 37 52 62 83 90
a 12 27 37 52 62 83 90
a 10 27 37 52 62 83 90
a 9 27 37 52 62 83 90
a 22 27 37 52 62 83 90
a 12 22 37 52 62 83 90
a 3 22 37 52 62 83 90
a 22 36 37 52 62 83 90
a 21 36 37 52 62 83 90
a 17 36 37 52 62 83 90
a 9 36 37 52 62 83 90
a 3 36 37 52 62 83 90
a 20 36 37 52 62 83 90
a 3 20 36 52 62 83 90
a 1 20 36 52 62 83 90
a 20 36 43 52 62 83 90
a 15 36 43 52 62 83 90
a 9 36 43 52 62 83 90
a 3 36 43 52 62 83 90
a 1 36 43 52 62 83 90
a 22 36 43 52 62 83 90
a 12 22 43 52 62 83 90
a 3 22 43 52 62 83 90
a 1 22 43 52 62 83 90
a 22 27 43 52 62 83 90
a 12 27 43 52 62 83 90
a 9 27 43 52 62 83 90
a 20 27 43 52 62 83 90
a 3 20 43 52 62 83 90
a 1 20 43 52 62 83 90
a 12 20 43 52 62 83 90
a 12 33 43 52 62 83 90
a 3 33 43 52 62 83 90
a 1 33 43 52 62 83 90
a 15 33 43 52 62 83 90
a 12 15 43 52 62 83 90
a 9 15 43 52 62 83 90
a 1 15 43 52 62 83 90
a 15 34 43 52 62 83 90
a 9 34 43 52 62 83 90
a 3 34 43 52 62 83 90
a 1 34 43 52 62 83 90
a 20 34 43 52 62 83 90
a 1 20 34 43 62 83 90
a 3 20 34 43 62 83 90
a 3 13 34 43 62 83 90
a 9 13 34 43 62 83 90
a 9 16 34 43 62 83 90
a 1 16 34 43 62 83 90
a 16 34 43 53 62 83 90
a 13 34 43 53 62 83 90
a 3 34 43 53 62 83 90
a 15 34 43 53 62 83 90
a 12 15 43 53 62 83 90
a 8 15 43 53 62 83 90
a 15 33 43 53 62 83 90
a 13 33 43 53 62 83 90
a 12 33 43 53 62 83 90
a 8 33 43 53 62 83 90
a 3 33 43 53 62 83 90
a 16 33 43 53 62 83 90
a 12 16 43 53 62 83 90
a 8 16 43 53 62 83 90
a 16 36 43 53 62 83 90
a 15 36 43 53 62 83 90
a 13 36 43 53 62 83 90
a 8 36 43 53 62 83 90
a 3 36 43 53 62 83 90
a 22 36 43 53 62 83 90
a 12 22 43 53 62 83 90
a 8 22 43 53 62 83 90
a 3 22 43 53 62 83 90
a 22 28 43 53 62 83 90
a 12 28 43 53 62 83 90
a 8 28 43 53 62 83 90
a 3 28 43 53 62 83 90
a 13 28 43 53 62 83 90
a 12 13 28 53 62 83 90
a 8 13 28 53 62 83 90
a 3 13 28 53 62 83 90
a 10 13 28 53 62 83 90
a 10 13 48 53 62 83 90
a 8 13 48 53 62 83 90
a 3 13 48 53 62 83 90
a 4 13 48 53 62 83 90
a 4 21 48 53 62 83 90
a 3 21 48 53 62 83 90
a 21 28 48 53 62 83 90
a 13 28 48 53 62 83 90
a 10 28 48 53 62 83 90
a 8 28 48 53 62 83 90
a 3 28 48 53 62 83 90
a 19 28 48 53 62 83 90
a 10 19 48 53 62 83 90
a 4 19 48 53 62 83 90
a 3 19 48 53 62 83 90
a 19 33 48 53 62 83 90
a 16 33 48 53 62 83 90
a 13 33 48 53 62 83 90
a 10 33 48 53 62 83 90
a 8 33 48 53 62 83 90
a 4 33 48 53 62 83 90
a 3 33 48 53 62 83 90
a 15 33 48 53 62 83 90
a 10 15 48 53 62 83 90
a 8 15 48 53 62 83 90
a 15 32 48 53 62 83 90
a 13 32 48 53 62 83 90
a 4 32 48 53 62 83 90
a 3 32 48 53 62 83 90
a 16 32 48 53 62 83 90
a 10 16 48 53 62 83 90
a 8 16 48 53 62 83 90
a 16 34 48 53 62 83 90
a 15 34 48 53 62 83 90
a 13 34 48 53 62 83 90
a 4 34 48 53 62 83 90
a 3 34 48 53 62 83 90
a 19 34 48 53 62 83 90
a 4 19 34 53 62 83 90
a 3 19 34 53 62 83 90
a 19 34 39 53 62 83 90
a 4 34 39 53 62 83 90
a 16 34 39 53 62 83 90
a 16 33 39 53 62 83 90
a 12 33 39 53 62 83 90
a 10 33 39 53 62 83 90
a 8 33 39 53 62 83 90
a 4 33 39 53 62 83 90
a 19 33 39 53 62 83 90
a 10 19 39 53 62 83 90
a 4 19 39 53 62 83 90
a 12 19 39 53 62 83 90
a 12 22 39 53 62 83 90
a 8 22 39 53 62 83 90
a 4 22 39 53 62 83 90
a 22 32 39 53 62 83 90
a 12 32 39 53 62 83 90
a 4 32 39 53 62 83 90
a 16 32 39 53 62 83 90
a 10 16 39 53 62 83 90
a 8 16 39 53 62 83 90
a 12 16 39 53 62 83 90
a 12 21 39 53 62 83 90
a 4 21 39 53 62 83 90
a 21 36 39 53 62 83 90
a 19 36 39 53 62 83 90
a 16 36 39 53 62 83 90
a 8 36 39 53 62 83 90
a 4 36 39 53 62 83 90
a 22 36 39 53 62 83 90
a 8 22 36 53 62 83 90
a 4 22 36 53 62 83 90
a 3 22 36 53 62 83 90
a 22 36 37 53 62 83 90
a 21 36 37 53 62 83 90
a 19 36 37 53 62 83 90
a 8 36 37 53 62 83 90
a 3 36 37 53 62 83 90
a 16 36 37 53 62 83 90
a 16 34 37 53 62 83 90
a 3 34 37 53 62 83 90
a 19 34 37 53 62 83 90
a 12 19 37 53 62 83 90
a 10 19 37 53 62 83 90
a 3 19 37 53 62 83 90
a 19 33 37 53 62 83 90
a 12 33 37 53 62 83 90
a 10 33 37 53 62 83 90
a 8 33 37 53 62 83 90
a 3 33 37 53 62 83 90
a 16 33 37 53 62 83 90
a 12 16 37 53 62 83 90
a 10 16 37 53 62 83 90
a 8 16 37 53 62 83 90
a 16 32 37 53 62 83 90
a 12 32 37 53 62 83 90
a 3 32 37 53 62 83 90
a 22 32 37 53 62 83 90
a 12 22 37 53 62 83 90
a 8 22 37 53 62 83 90
a 3 22 37 53 62 83 90
a 22 28 37 53 62 83 90
a 19 28 37 53 62 83 90
a 12 28 37 53 62 83 90
a 10 28 37 53 62 83 90
a 8 28 37 53 62 83 90
a 3 28 37 53 62 83 90
a 21 28 37 53 62 83 90
a 3 21 28 37 62 83 90
a 12 21 28 37 62 83 90
a 12 21 28 58 62 83 90
a 1 21 28 58 62 83 90
a 3 21 28 58 62 83 90
a 3 20 28 58 62 83 90
a 1 20 28 58 62 83 90
a 12 20 28 58 62 83 90
a 12 13 28 58 62 83 90
a 9 13 28 58 62 83 90
a 8 13 28 58 62 83 90
a 3 13 28 58 62 83 90
a 13 28 43 58 62 83 90
a 12 28 43 58 62 83 90
a 9 28 43 58 62 83 90
a 8 28 43 58 62 83 90
a 3 28 43 58 62 83 90
a 1 28 43 58 62 83 90
a 20 28 43 58 62 83 90
a 12 20 43 58 62 83 90
a 3 20 43 58 62 83 90
a 1 20 43 58 62 83 90
a 20 27 43 58 62 83 90
a 12 27 43 58 62 83 90
a 9 27 43 58 62 83 90
a 8 27 43 58 62 83 90
a 13 27 43 58 62 83 90
a 9 13 43 58 62 83 90
a 8 13 43 58 62 83 90
a 3 13 43 58 62 83 90
a 12 13 43 58 62 83 90
a 12 15 43 58 62 83 90
a 9 15 43 58 62 83 90
a 8 15 43 58 62 83 90
a 1 15 43 58 62 83 90
a 15 33 43 58 62 83 90
a 13 33 43 58 62 83 90
a 12 33 43 58 62 83 90
a 8 33 43 58 62 83 90
a 3 33 43 58 62 83 90
a 1 33 43 58 62 83 90
a 16 33 43 58 62 83 90
a 12 16 33 58 62 83 90
a 1 16 33 58 62 83 90
a 8 16 33 58 62 83 90
a 8 16 48 58 62 83 90
a 1 16 48 58 62 83 90
a 1 15 48 58 62 83 90
a 8 15 48 58 62 83 90
a 8 17 48 58 62 83 90
a 3 17 48 58 62 83 90
a 1 17 48 58 62 83 90
a 17 33 48 58 62 83 90
a 16 33 48 58 62 83 90
a 15 33 48 58 62 83 90
a 8 33 48 58 62 83 90
a 4 33 48 58 62 83 90
a 3 33 48 58 62 83 90
a 1 33 48 58 62 83 90
a 13 33 48 58 62 83 90
a 8 13 48 58 62 83 90
a 3 13 48 58 62 83 90
a 4 13 48 58 62 83 90
a 4 21 48 58 62 83 90
a 3 21 48 58 62 83 90
a 1 21 48 58 62 83 90
a 21 28 48 58 62 83 90
a 13 28 48 58 62 83 90
a 8 28 48 58 62 83 90
a 3 28 48 58 62 83 90
a 1 28 48 58 62 83 90
a 20 28 48 58 62 83 90
a 4 20 48 58 62 83 90
a 3 20 48 58 62 83 90
a 1 20 48 58 62 83 90
a 20 27 48 58 62 83 90
a 17 27 48 58 62 83 90
a 13 27 48 58 62 83 90
a 8 27 48 58 62 83 90
a 4 27 48 58 62 83 90
a 21 27 48 58 62 83 90
a 12 21 27 58 62 83 90
a 4 21 27 58 62 83 90
a 4 21 39 58 62 83 90
a 1 21 39 58 62 83 90
a 12 21 39 58 62 83 90
a 12 33 39 58 62 83 90
a 8 33 39 58 62 83 90
a 4 33 39 58 62 83 90
a 1 33 39 58 62 83 90
a 16 33 39 58 62 83 90
a 9 16 39 58 62 83 90
a 8 16 39 58 62 83 90
a 1 16 39 58 62 83 90
a 12 16 39 58 62 83 90
a 12 20 39 58 62 83 90
a 1 20 39 58 62 83 90
a 4 20 39 58 62 83 90
a 4 20 41 58 62 83 90
a 3 20 41 58 62 83 90
a 1 20 41 58 62 83 90
a 12 20 41 58 62 83 90
a 12 16 41 58 62 83 90
a 9 16 41 58 62 83 90
a 1 16 41 58 62 83 90
a 16 33 41 58 62 83 90
a 12 33 41 58 62 83 90
a 4 33 41 58 62 83 90
a 3 33 41 58 62 83 90
a 1 33 41 58 62 83 90
a 13 33 41 58 62 83 90
a 9 13 41 58 62 83 90
a 4 13 41 58 62 83 90
a 3 13 41 58 62 83 90
a 12 13 41 58 62 83 90
a 12 21 41 58 62 83 90
a 4 21 41 58 62 83 90
a 3 21 41 58 62 83 90
a 1 21 41 58 62 83 90
a 21 27 41 58 62 83 90
a 13 27 41 58 62 83 90
a 12 27 41 58 62 83 90
a 9 27 41 58 62 83 90
a 4 27 41 58 62 83 90
a 20 27 41 58 62 83 90
a 4 20 27 58 62 83 90
a 12 20 27 58 62 83 90
a 12 20 37 58 62 83 90
a 3 20 37 58 62 83 90
a 20 28 37 58 62 83 90
a 12 28 37 58 62 83 90
a 9 28 37 58 62 83 90
a 8 28 37 58 62 83 90
a 3 28 37 58 62 83 90
a 21 28 37 58 62 83 90
a 12 21 37 58 62 83 90
a 3 21 37 58 62 83 90
a 21 27 37 58 62 83 90
a 20 27 37 58 62 83 90
a 12 27 37 58 62 83 90
a 9 27 37 58 62 83 90
a 8 27 37 58 62 83 90
a 17 27 37 58 62 83 90
a 12 17 37 58 62 83 90
a 9 17 37 58 62 83 90
a 8 17 37 58 62 83 90
a 3 17 37 58 62 83 90
a 17 33 37 58 62 83 90
a 12 33 37 58 62 83 90
a 8 33 37 58 62 83 90
a 3 33 37 58 62 83 90
a 16 33 37 58 62 83 90
a 12 16 37 58 62 83 90
a 8 16 37 58 62 83 90
a 9 16 37 58 62 83 90
#END: [Sat Sep  9 21:37:43 2023]