#BEGIN: [Mon Sep  4 21:51:42 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance006_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance006_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance006_graph002.col /benchmark/random_instance/random_instance006_graph002_01.dat
c /benchmark/random_instance/random_instance006_graph002.col
c /benchmark/random_instance/random_instance006_graph002_01.dat
s 15 8 7 16 46 3 25 13 72 41 59 65 66 12 73 52 63 4 24 29 40 69 45 77
t 64 56 34 59 1 58 42 27 44 23 25 43 57 50 74 21 39 66 48 37 52 77 22 16
a YES
a 3 4 7 8 12 13 15 16 24 25 29 40 41 45 46 52 59 63 65 66 69 72 73 77
a 3 4 7 8 12 13 15 16 24 25 29 40 41 45 46 52 56 59 63 66 69 72 73 77
a 3 4 7 8 12 13 15 16 24 25 29 40 41 44 45 46 52 56 59 63 66 69 72 77
a 3 4 7 8 12 13 15 16 24 25 29 40 41 44 45 46 50 52 56 59 63 66 72 77
a 3 4 7 8 12 13 15 16 24 25 29 40 41 44 46 50 52 56 59 63 66 72 74 77
a 3 4 7 8 12 13 15 24 25 29 40 41 44 46 50 52 56 57 59 63 66 72 74 77
a 3 4 7 8 12 15 16 24 25 29 40 41 44 46 50 52 56 57 59 63 66 72 74 77
a 3 4 7 8 12 13 15 16 24 29 40 41 44 46 50 52 56 57 59 63 66 72 74 77
a 3 4 7 8 13 15 16 24 29 40 41 44 45 46 50 52 56 57 59 63 66 72 74 77
a 3 4 7 8 13 15 16 24 29 40 41 44 46 50 52 56 57 58 59 63 66 72 74 77
a 3 4 7 8 12 13 15 24 29 40 41 44 46 50 52 56 57 58 59 63 66 72 74 77
a 3 4 7 8 12 13 15 24 25 29 40 41 44 46 50 52 56 57 58 59 63 66 72 77
a 3 4 8 12 13 15 24 25 29 40 41 44 46 50 52 56 57 58 59 63 66 72 74 77
a 3 7 8 12 13 15 24 25 29 40 41 44 46 50 52 56 57 58 59 63 66 72 74 77
a 3 7 12 13 15 16 24 25 29 40 41 44 46 50 52 56 57 58 59 63 66 72 74 77
a 3 7 12 13 15 16 24 25 28 29 40 41 44 46 50 52 56 58 59 63 66 72 74 77
a 3 7 12 13 15 16 24 25 28 29 40 41 44 46 48 50 52 56 58 59 63 66 72 74
a 3 7 8 12 13 15 16 24 25 28 29 40 41 44 46 48 50 52 56 58 59 63 66 74
a 3 7 8 12 13 15 24 25 28 29 40 41 44 46 48 50 52 56 58 59 63 66 72 74
a 3 7 8 12 13 15 24 25 28 29 40 41 44 46 48 50 52 58 59 63 66 72 74 77
a 3 7 8 12 13 15 16 24 25 28 29 40 41 44 46 48 50 52 58 59 63 66 72 74
a 3 7 8 12 13 15 16 20 24 25 28 29 40 41 44 46 48 50 52 58 59 63 72 74
a 3 7 8 12 13 15 16 20 24 25 29 40 41 44 46 48 50 52 58 59 63 72 74 77
a 3 7 8 12 13 15 16 20 24 25 29 40 41 44 45 46 48 50 52 59 63 72 74 77
a 3 7 8 13 15 16 20 24 25 29 32 40 41 44 45 46 48 50 52 59 63 72 74 77
a 2 3 8 13 15 16 20 24 25 29 32 40 41 44 45 46 48 50 52 59 63 72 74 77
a 2 3 8 13 15 16 24 25 29 32 40 41 44 45 46 48 50 52 59 63 66 72 74 77
a 2 3 8 12 13 15 16 24 25 29 40 41 44 45 46 48 50 52 59 63 66 72 74 77
a 2 3 8 12 13 15 16 24 25 29 40 41 44 45 48 50 52 57 59 63 66 72 74 77
a 2 3 8 12 13 15 16 25 29 40 41 44 45 48 50 52 56 57 59 63 66 72 74 77
a 2 3 4 8 12 13 15 16 25 29 40 41 44 45 50 52 56 57 59 63 66 72 74 77
a 2 3 4 12 13 15 16 24 25 29 40 41 44 45 50 52 56 57 59 63 66 72 74 77
a 2 3 4 12 13 15 16 25 29 40 41 44 45 49 50 52 56 57 59 63 66 72 74 77
a 2 3 4 8 12 13 15 16 25 29 40 41 44 45 49 50 52 56 57 63 66 72 74 77
a 2 3 4 8 12 13 15 16 25 29 40 41 44 45 49 50 52 57 59 63 66 72 74 77
a 2 3 8 11 12 13 15 16 25 29 40 41 44 45 49 50 52 57 59 63 66 72 74 77
a 3 8 11 12 13 15 16 25 29 40 41 44 45 49 50 52 56 57 59 63 66 72 74 77
a 3 8 11 12 13 15 16 22 25 29 40 41 44 45 49 50 52 57 59 63 66 72 74 77
a 2 3 8 11 12 13 15 16 22 25 40 41 44 45 49 50 52 57 59 63 66 72 74 77
a 2 3 8 11 12 13 16 22 25 29 40 41 44 45 49 50 52 57 59 63 66 72 74 77
a 2 3 8 11 12 13 16 20 22 25 29 40 41 44 45 49 50 52 57 59 63 72 74 77
a 2 3 8 11 12 13 16 22 25 29 40 41 44 45 49 50 52 56 57 59 63 72 74 77
a 2 8 11 12 13 16 21 22 25 29 40 41 44 45 49 50 52 56 57 59 63 72 74 77
a 2 8 11 12 13 15 16 21 22 25 29 40 41 44 45 50 52 56 57 59 63 72 74 77
a 2 8 11 12 13 15 16 20 21 22 25 29 40 41 44 45 50 52 57 59 63 72 74 77
a 2 3 8 11 12 13 15 16 20 22 25 29 40 41 44 45 50 52 57 59 63 72 74 77
a 2 3 8 11 12 13 15 16 20 22 25 29 41 44 45 48 50 52 57 59 63 72 74 77
a 2 3 8 11 12 13 16 20 22 23 25 29 41 44 45 48 50 52 57 59 63 72 74 77
a 2 3 8 11 12 13 16 20 22 23 25 29 39 41 44 45 48 50 52 57 59 63 74 77
a 2 3 8 11 12 13 16 22 23 25 29 39 41 44 45 48 50 52 57 59 63 72 74 77
a 2 3 8 11 12 13 16 22 23 25 29 39 41 44 45 48 50 52 57 63 72 74 76 77
a 2 8 11 12 13 16 22 23 25 27 29 39 41 44 45 48 50 52 57 63 72 74 76 77
a 2 5 8 11 12 13 16 22 23 25 29 39 41 44 45 48 50 52 57 63 72 74 76 77
a 2 5 8 11 12 13 16 22 23 25 29 39 41 44 45 48 50 52 57 59 63 72 74 77
a 2 3 5 8 11 12 13 16 22 23 25 29 39 41 44 45 48 50 52 57 59 63 72 77
a 2 3 5 8 11 12 13 16 22 23 25 29 39 41 44 45 50 52 57 59 63 66 72 77
a 2 3 5 8 11 12 13 16 22 23 25 29 39 44 45 49 50 52 57 59 63 66 72 77
a 2 3 5 8 11 12 13 16 22 23 25 29 39 41 44 45 49 50 52 57 59 63 66 77
a 2 3 5 8 11 12 13 16 22 23 25 29 39 41 44 45 49 52 57 59 63 66 74 77
a 2 3 5 8 11 12 13 16 22 23 25 29 39 41 45 49 50 52 57 59 63 66 74 77
a 2 3 5 8 11 12 13 16 22 23 25 29 33 39 41 45 49 50 52 57 59 63 66 74
a 2 3 5 8 11 12 13 16 22 23 25 29 33 39 40 41 45 49 50 52 57 63 66 74
a 2 5 8 11 12 13 16 21 22 23 25 29 33 39 40 41 45 49 50 52 57 63 66 74
a 2 5 8 11 12 13 16 21 22 23 25 29 33 39 40 41 45 49 50 52 57 63 66 76
a 5 8 11 12 13 16 21 22 23 25 29 33 39 40 41 44 45 49 50 52 57 63 66 76
a 5 8 9 11 12 13 16 21 22 23 25 29 33 39 40 41 44 45 49 50 52 57 63 66
a 5 8 9 12 13 16 21 22 23 25 29 33 39 40 41 44 45 49 50 52 57 63 66 74
a 4 5 8 12 13 16 21 22 23 25 29 33 39 40 41 44 45 49 50 52 57 63 66 74
a 4 5 8 12 13 16 21 22 23 25 27 29 33 39 40 41 44 45 49 50 52 57 63 66
a 4 5 12 13 16 21 22 23 25 27 29 33 39 40 41 44 45 49 50 52 57 59 63 66
a 2 4 5 13 16 21 22 23 25 27 29 33 39 40 41 44 45 49 50 52 57 59 63 66
a 2 4 5 13 16 21 22 23 25 27 29 33 39 40 41 44 45 49 50 52 57 59 63 64
a 2 4 5 13 16 21 22 23 25 27 29 32 33 39 40 41 44 45 49 50 52 59 63 64
a 2 4 5 13 16 21 22 23 25 27 29 32 33 35 39 40 41 44 45 49 50 52 59 63
a 2 4 5 13 16 20 22 23 25 27 29 32 33 35 39 40 41 44 45 49 50 52 59 63
a 4 5 10 13 16 20 22 23 25 27 29 32 33 35 39 40 41 44 45 49 50 52 59 63
a 4 5 13 16 20 22 23 25 27 29 32 33 35 39 40 41 44 45 49 50 52 59 63 74
a 4 5 10 13 16 20 22 23 25 27 29 32 33 35 39 40 41 44 45 49 50 52 59 74
a 4 5 10 13 16 22 23 25 27 29 32 33 35 39 40 41 42 44 45 49 50 52 59 74
a 5 10 11 13 16 22 23 25 27 29 32 33 35 39 40 41 42 44 45 49 50 52 59 74
a 10 11 13 16 21 22 23 25 27 29 32 33 35 39 40 41 42 44 45 49 50 52 59 74
a 10 11 13 16 21 22 23 25 27 29 33 35 39 40 41 42 44 45 49 50 52 57 59 74
a 10 11 12 13 21 22 23 25 27 29 33 35 39 40 41 42 44 45 49 50 52 57 59 74
a 10 11 12 13 16 21 22 23 25 27 29 33 35 39 41 42 44 45 49 50 52 57 59 74
a 10 11 12 13 16 21 22 23 25 27 29 33 39 40 41 42 44 45 49 50 52 57 59 74
a 8 10 11 12 13 16 21 22 23 25 27 29 33 39 40 41 42 44 45 49 50 52 59 74
a 10 11 12 13 16 20 21 22 23 25 27 29 33 39 40 41 42 44 45 49 50 52 59 74
a 8 10 11 12 13 16 20 21 22 23 25 27 29 39 40 41 42 44 45 49 50 52 59 74
a 8 10 11 12 13 16 20 21 22 23 25 27 29 39 40 41 42 44 45 49 50 52 59 77
a 8 10 11 12 13 16 20 21 22 23 25 27 29 33 39 40 41 42 44 45 49 50 52 59
a 8 10 11 12 13 16 20 21 22 23 25 27 29 33 39 40 41 44 45 49 50 52 57 59
a 8 10 11 12 13 16 20 22 23 25 27 29 33 39 40 41 44 45 49 50 52 57 59 63
a 8 10 11 13 16 20 22 23 25 27 29 33 39 40 41 44 45 49 50 52 57 59 63 74
a 8 10 11 12 13 16 20 22 23 25 27 29 33 39 40 41 44 45 49 50 52 59 63 74
a 8 10 11 13 16 20 22 23 25 27 29 32 33 39 40 41 44 45 49 50 52 59 63 74
a 2 8 11 13 16 20 22 23 25 27 29 32 33 39 40 41 44 45 49 50 52 59 63 74
a 2 8 11 13 16 20 22 23 25 27 29 32 33 39 40 41 42 44 45 49 50 52 59 74
a 8 10 11 13 16 20 22 23 25 27 29 32 33 39 40 41 42 44 45 49 50 52 59 74
a 8 10 11 13 16 20 21 22 23 25 27 29 32 33 39 40 41 42 44 45 49 50 52 59
a 8 10 11 13 16 20 21 22 23 25 27 29 33 39 40 41 42 44 45 49 50 52 57 59
a 8 10 11 13 16 20 21 22 23 25 27 29 33 39 40 41 42 44 45 49 50 52 57 76
a 8 10 11 13 16 20 21 22 23 25 27 29 33 40 41 42 44 45 49 50 52 57 68 76
a 8 10 11 13 16 20 21 22 23 25 27 29 32 33 40 41 42 44 45 49 50 52 68 76
a 8 10 11 13 16 20 21 22 23 25 27 29 32 33 39 40 41 42 44 45 49 50 52 76
a 8 10 11 13 16 20 21 22 23 25 27 29 32 39 40 41 42 44 45 49 50 52 72 76
a 8 10 11 13 16 20 21 22 23 25 27 29 32 39 40 41 42 44 49 50 52 58 72 76
a 8 10 11 13 16 20 21 22 23 27 29 32 39 40 41 42 44 49 50 52 58 60 72 76
a 8 10 11 13 16 20 21 22 23 27 29 32 39 40 41 42 44 48 50 52 58 60 72 76
a 8 10 11 13 16 20 21 23 27 29 32 39 40 41 42 44 48 50 52 58 60 72 74 76
a 8 10 11 13 16 20 21 23 27 29 32 39 40 41 42 44 45 48 50 52 60 72 74 76
a 8 10 11 13 16 17 20 21 23 27 29 32 39 40 41 42 44 45 48 50 52 60 74 76
a 8 11 13 16 17 20 21 23 27 29 32 33 39 40 41 42 44 45 48 50 52 60 74 76
a 8 11 13 16 17 21 23 27 29 32 33 39 40 41 42 44 45 48 50 52 56 60 74 76
a 10 11 13 16 17 21 23 27 29 32 33 39 40 41 42 44 45 48 50 52 56 60 74 76
a 10 11 13 16 17 21 22 23 27 29 32 33 39 40 41 42 44 45 48 50 52 56 74 76
a 10 11 13 16 17 21 22 23 27 29 33 39 40 41 42 44 45 48 50 52 56 57 74 76
a 8 10 11 13 16 17 21 22 23 27 29 33 39 40 41 42 44 45 48 50 52 56 57 76
a 8 9 10 11 13 16 17 21 22 23 27 29 33 39 40 41 42 44 45 48 50 52 56 57
a 8 9 10 11 12 13 17 21 22 23 27 29 33 39 40 41 42 44 45 48 50 52 56 57
a 8 9 10 11 12 13 17 21 22 23 27 29 33 39 40 41 44 45 48 50 52 56 57 63
a 8 9 10 11 12 13 17 21 22 23 25 27 29 33 39 40 41 44 45 50 52 56 57 63
a 8 9 10 11 12 13 17 21 22 23 25 27 29 33 40 41 44 45 50 52 56 57 63 68
a 8 9 10 11 12 13 16 17 21 22 23 27 29 33 40 41 44 45 50 52 56 57 63 68
a 8 9 10 11 12 13 16 17 21 22 23 27 29 33 40 41 44 45 50 52 56 57 63 76
a 9 10 11 12 13 16 17 21 22 23 27 29 33 35 40 41 44 45 50 52 56 57 63 76
a 9 10 11 12 13 16 17 21 22 23 27 29 33 35 40 41 44 45 50 52 56 57 63 74
a 5 9 10 11 12 13 16 21 22 23 27 29 33 35 40 41 44 45 50 52 56 57 63 74
a 2 5 9 11 12 13 16 21 22 23 27 29 33 35 40 41 44 45 50 52 56 57 63 74
a 2 5 9 12 13 16 21 22 23 27 29 33 35 40 41 44 45 48 50 52 56 57 63 74
a 2 5 9 11 12 13 16 21 22 23 27 29 33 40 41 44 45 48 50 52 56 57 63 74
a 2 5 9 11 12 13 16 20 21 22 23 27 29 33 40 41 44 45 48 50 52 57 63 74
a 2 5 8 9 11 12 13 16 20 21 22 23 27 29 33 40 41 44 45 48 50 52 57 74
a 2 5 8 9 11 12 13 16 20 21 22 23 27 29 33 40 41 44 45 50 52 57 74 76
a 2 5 8 9 11 12 13 16 20 21 22 23 27 29 33 40 41 44 45 50 52 57 63 76
a 2 5 8 9 11 12 13 16 20 21 22 23 25 27 29 33 40 41 44 45 50 52 57 63
a 2 5 8 9 11 12 13 16 20 21 22 23 25 27 29 33 40 41 44 45 48 50 57 63
a 2 5 8 9 11 12 13 16 20 21 22 23 25 27 29 33 40 41 44 45 48 57 63 68
a 2 5 8 9 11 12 13 16 21 22 23 25 27 29 33 40 41 44 45 48 56 57 63 68
a 2 5 8 9 11 12 13 16 21 22 23 25 27 29 33 40 41 44 45 48 56 57 63 76
a 2 5 8 9 11 12 13 16 21 22 23 25 27 29 33 39 40 41 44 45 48 56 57 63
a 2 5 8 9 11 12 13 16 21 22 23 25 27 29 33 40 41 44 45 48 56 57 63 74
a 2 5 8 9 11 12 13 16 21 22 23 25 27 29 33 39 40 41 44 45 48 56 63 74
a 2 5 8 9 11 12 13 16 20 21 22 23 25 27 29 33 39 40 41 44 45 48 63 74
a 2 5 8 9 11 12 13 16 20 21 22 23 25 27 29 33 40 41 44 45 48 63 68 74
a 2 5 8 9 11 12 13 16 20 21 22 23 25 27 29 33 41 44 45 48 52 63 68 74
a 2 5 8 9 11 12 13 16 20 21 22 23 25 27 29 33 41 45 48 52 63 68 73 74
a 2 5 8 11 12 13 16 20 21 22 23 25 27 29 33 40 41 45 48 52 63 68 73 74
a 2 5 8 11 12 13 16 20 21 22 23 25 27 29 33 40 41 45 48 52 63 68 73 76
a 2 5 8 9 11 12 13 16 20 21 22 23 25 27 29 33 41 45 48 52 63 68 73 76
a 2 5 8 9 11 12 13 16 20 21 22 25 27 29 31 33 41 45 48 52 63 68 73 76
a 2 5 8 9 11 12 13 16 20 21 22 25 27 29 31 33 39 41 45 48 52 63 73 76
a 2 5 8 9 11 12 13 16 20 21 22 25 27 29 31 33 39 41 45 48 52 61 63 73
a 2 5 8 9 11 12 13 16 20 21 22 25 27 29 31 33 39 41 45 48 52 61 63 74
a 2 5 8 9 11 12 13 16 20 21 22 25 27 29 31 33 39 41 42 45 48 52 61 74
a 2 5 8 9 11 12 13 16 20 21 22 25 27 29 31 33 39 41 42 45 48 61 74 76
a 2 5 8 9 11 12 13 16 20 21 22 25 27 29 31 33 39 41 42 45 48 52 74 76
a 2 5 8 9 11 12 13 16 20 21 22 25 27 29 33 39 41 42 45 48 52 61 74 76
a 5 8 9 11 12 13 16 20 21 22 25 27 29 33 39 41 42 44 45 48 52 61 74 76
a 2 8 9 11 12 13 16 20 21 22 25 27 29 33 39 41 42 44 45 48 52 61 74 76
a 8 9 10 11 12 13 16 20 21 22 25 27 29 33 39 41 42 44 45 48 52 61 74 76
a 8 9 10 11 12 13 16 20 22 25 27 29 33 39 41 42 44 45 48 52 61 67 74 76
a 8 9 10 12 13 16 20 21 22 25 27 29 33 39 41 42 44 45 48 52 61 67 74 76
a 8 9 10 12 13 16 20 21 22 23 25 27 29 33 39 41 42 44 45 48 52 61 74 76
a 5 8 9 10 12 13 16 20 21 22 23 25 27 29 33 39 41 42 44 45 48 61 74 76
a 8 9 10 11 12 13 16 20 21 22 23 25 27 29 33 39 41 42 44 45 48 61 74 76
a 5 8 9 10 11 12 13 16 20 21 22 23 25 27 29 33 39 41 42 44 45 48 74 76
a 5 9 10 11 12 13 16 20 21 22 23 25 27 29 33 39 41 42 44 45 48 52 74 76
a 5 9 10 11 12 13 16 20 21 22 23 25 27 29 39 41 42 44 45 48 52 72 74 76
a 9 10 11 12 13 16 20 21 22 23 25 27 29 39 40 41 42 44 45 48 52 72 74 76
a 8 9 10 11 12 13 16 20 21 22 23 25 27 29 39 40 41 42 44 45 48 52 72 74
a 8 9 10 11 12 13 16 20 21 22 23 25 27 29 39 40 41 42 44 45 49 52 72 74
a 4 8 9 10 12 13 16 20 21 22 23 25 27 29 39 40 41 42 44 45 49 52 72 74
a 4 8 9 10 12 13 16 20 21 22 23 25 27 29 39 40 41 42 44 45 49 50 72 74
a 4 5 8 9 10 12 13 16 20 21 22 23 25 27 29 39 40 41 42 44 45 50 72 74
a 4 5 8 9 10 12 13 16 20 21 22 23 25 27 39 40 41 42 44 45 49 50 72 74
a 4 5 8 9 10 12 13 16 20 21 22 23 25 27 39 40 41 42 44 45 49 50 72 76
a 4 5 8 9 10 12 13 16 20 21 22 23 25 27 39 40 41 42 44 45 49 50 57 72
a 4 5 8 9 10 12 13 16 20 21 22 23 25 27 39 40 41 42 44 45 49 50 57 76
a 2 4 5 8 9 12 13 16 20 21 22 23 25 27 39 40 41 42 44 45 49 50 57 76
a 2 4 5 8 9 12 13 16 20 21 22 23 25 27 39 40 41 42 44 45 49 57 74 76
a 2 4 5 8 9 12 13 16 20 21 22 23 25 27 39 40 41 42 44 45 49 57 72 74
a 2 5 8 9 12 13 16 20 21 22 23 25 27 39 40 41 42 44 45 49 50 57 72 74
a 2 4 5 8 9 12 13 16 21 22 23 25 27 39 40 41 42 44 45 49 50 57 72 74
a 2 4 5 8 9 12 13 16 21 22 23 25 27 39 41 42 44 45 49 50 57 66 72 74
a 4 5 8 9 12 13 16 21 22 23 25 27 39 40 41 42 44 45 49 50 57 66 72 74
a 2 4 5 8 9 12 13 16 21 22 23 25 27 39 40 41 42 44 45 49 50 57 66 74
a 2 4 5 8 9 12 13 16 20 21 22 23 25 27 39 40 41 42 44 45 49 50 57 74
a 2 4 5 8 9 12 13 16 20 21 22 23 25 27 29 39 40 41 42 44 45 49 57 74
a 2 4 5 8 12 13 16 20 21 22 23 25 27 29 39 40 41 42 44 45 49 57 74 76
a 4 5 8 12 13 16 20 21 22 23 25 27 29 39 40 41 42 44 45 49 52 57 74 76
a 4 5 8 12 13 16 20 21 22 23 25 27 29 39 40 41 42 45 49 50 52 57 74 76
a 2 4 5 8 12 13 16 20 21 22 23 25 27 29 39 40 41 42 45 49 50 52 57 74
a 2 4 5 8 12 13 16 20 21 22 23 25 27 29 33 39 40 41 42 45 49 52 57 74
a 2 4 5 8 9 12 13 16 20 21 22 23 25 27 29 33 39 40 41 42 45 49 57 74
a 2 4 5 8 9 12 13 16 20 21 22 23 25 27 29 33 34 39 41 42 45 49 57 74
a 2 4 5 8 12 13 16 20 21 22 23 25 27 29 33 34 39 41 42 45 49 57 74 76
a 2 4 5 9 12 13 16 20 21 22 23 25 27 29 33 34 39 41 42 45 49 57 74 76
a 2 4 5 12 13 16 20 21 22 23 25 27 29 33 34 39 41 42 45 49 50 57 74 76
a 2 4 5 8 12 13 16 20 21 22 23 27 29 33 34 39 41 42 45 49 50 57 74 76
a 2 4 5 8 9 12 13 16 20 21 22 23 27 29 33 34 39 42 45 49 50 57 74 76
a 4 5 8 9 12 13 16 20 21 22 23 25 27 29 33 34 39 42 45 49 50 57 74 76
a 4 5 8 9 12 13 16 20 21 22 23 25 27 29 33 39 40 42 45 49 50 57 74 76
a 2 4 5 9 12 13 16 20 21 22 23 25 27 29 33 39 40 42 45 49 50 57 74 76
a 2 4 5 9 12 13 16 20 21 22 23 25 27 29 39 40 42 45 49 50 57 72 74 76
a 2 4 5 9 12 13 16 20 21 22 23 25 27 29 39 40 42 45 49 50 57 72 76 77
a 2 4 5 9 12 13 16 20 21 22 23 25 27 29 39 40 42 45 49 50 57 74 76 77
a 4 5 9 10 12 13 16 20 21 22 23 25 27 29 39 40 42 45 49 50 57 74 76 77
a 4 5 8 9 10 12 13 16 20 21 22 23 25 27 29 39 40 42 45 49 50 74 76 77
a 5 8 9 10 11 12 13 16 20 21 22 23 25 27 29 39 40 42 45 49 50 74 76 77
a 5 8 9 10 11 12 13 16 20 21 22 25 27 29 39 40 41 42 45 49 50 74 76 77
a 5 9 10 11 12 13 16 20 21 22 23 25 27 29 39 40 41 42 45 49 50 74 76 77
a 5 9 10 11 12 13 16 20 21 22 23 25 27 29 39 40 41 42 49 50 58 74 76 77
a 5 8 9 10 11 12 13 16 20 21 22 23 25 27 29 39 40 42 49 50 58 74 76 77
a 5 8 9 10 11 13 16 20 21 22 23 25 27 29 39 40 41 42 49 50 58 74 76 77
a 5 8 9 10 11 12 13 16 20 21 22 23 25 27 29 39 40 41 42 49 58 74 76 77
a 5 8 9 10 11 12 13 16 20 21 22 23 25 29 39 40 41 42 49 57 58 74 76 77
a 5 8 9 10 11 12 13 16 20 21 22 23 25 29 39 40 41 42 44 49 57 74 76 77
a 5 8 9 10 11 12 13 16 20 21 22 23 25 29 39 40 41 42 44 45 49 57 74 77
a 5 8 9 10 11 12 13 16 20 21 22 23 25 29 39 40 41 42 44 45 49 57 72 77
a 5 8 9 10 11 12 13 16 20 21 22 23 25 29 39 40 41 42 44 45 50 57 72 77
a 5 9 10 11 12 13 16 20 21 22 23 25 27 29 39 40 41 42 44 45 50 57 72 77
a 5 8 9 10 11 12 13 16 20 21 22 23 25 27 29 39 40 41 42 44 45 50 57 72
a 5 8 9 10 11 12 13 16 20 21 22 23 25 29 39 40 41 42 44 45 49 50 57 72
a 5 8 9 10 11 12 13 16 20 21 22 23 25 29 39 40 41 42 44 45 49 50 57 74
a 5 8 9 10 11 12 13 16 20 21 22 23 25 29 39 40 41 42 45 49 50 57 72 74
a 5 9 10 11 12 13 16 20 21 22 23 25 29 35 39 40 41 42 45 49 50 57 72 74
a 5 9 10 11 12 13 16 20 21 22 23 25 27 29 35 39 40 41 42 49 50 57 72 74
a 5 9 10 11 12 13 16 20 21 22 23 25 27 29 35 39 40 41 42 49 50 57 72 77
a 5 9 10 11 12 13 16 20 21 22 23 25 27 29 35 39 40 41 45 49 50 57 72 77
a 5 9 10 11 12 13 16 20 21 22 23 25 27 29 35 39 40 41 42 45 49 50 57 77
a 5 9 10 11 12 16 20 21 22 23 25 27 29 35 39 40 41 42 45 49 50 57 74 77
a 5 9 10 11 12 16 21 22 23 25 27 29 35 39 40 41 42 45 49 50 52 57 74 77
a 5 9 11 12 13 16 21 22 23 25 27 29 35 39 40 41 42 45 49 50 52 57 74 77
a 5 9 11 12 13 16 21 22 23 25 27 29 35 39 40 41 45 49 50 52 57 63 74 77
a 2 5 9 11 12 13 16 21 22 23 25 27 29 35 39 40 41 49 50 52 57 63 74 77
a 2 5 9 11 12 13 16 20 21 22 23 25 27 29 35 39 40 41 49 50 52 57 63 74
a 2 5 9 11 12 13 16 20 21 22 23 25 27 29 39 40 41 45 49 50 52 57 63 74
a 2 5 9 12 13 16 20 21 22 23 25 27 29 35 39 40 41 45 49 50 52 57 63 74
a 2 4 5 9 12 13 16 21 22 23 25 27 29 35 39 40 41 45 49 50 52 57 63 74
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 45 49 50 52 57 63 74
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 45 49 52 56 57 63 74
a 2 4 5 8 12 13 16 21 22 23 25 27 29 39 40 41 45 49 50 52 56 57 63 74
a 2 4 5 8 12 13 16 21 22 23 27 29 39 40 41 45 49 50 52 56 57 63 72 74
a 2 4 5 8 9 12 13 16 21 22 23 27 29 39 40 41 45 49 50 52 57 63 72 74
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 45 49 50 57 63 72 74
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 45 49 50 57 63 74 77
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 39 40 45 49 50 52 57 63 74 77
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 39 40 44 45 49 50 52 57 63 74
a 2 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 44 45 49 50 52 57 63 74
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 44 45 49 50 52 57 63
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 45 49 50 52 57 63 72
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 45 50 52 56 57 63 72
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 45 52 56 57 63 72 74
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 45 52 56 57 63 72 76
a 2 4 5 8 9 12 13 16 22 23 25 27 29 39 40 41 45 50 52 56 57 63 72 76
a 4 5 8 9 12 13 16 22 23 25 27 29 39 40 41 45 50 52 56 57 63 72 74 76
a 4 5 8 9 12 13 16 22 23 25 27 29 39 40 41 45 50 52 56 57 63 72 74 77
a 4 8 9 12 13 16 22 23 25 27 29 39 40 41 44 45 50 52 56 57 63 72 74 77
a 4 5 8 12 13 16 22 23 25 27 29 39 40 41 44 45 50 52 56 57 63 72 74 77
a 4 5 8 12 13 16 22 23 25 27 29 39 40 41 44 45 49 50 52 56 57 63 72 74
a 4 5 8 12 13 16 22 23 25 27 29 33 39 40 41 44 45 49 50 52 56 57 63 74
a 4 5 8 9 12 13 16 22 23 25 27 29 33 39 40 41 44 45 49 50 52 56 57 63
a 4 5 8 9 12 13 16 22 23 25 27 29 33 39 40 41 44 45 49 50 52 56 63 74
a 4 5 8 9 12 13 16 22 23 25 27 29 33 40 41 44 45 49 50 52 56 63 74 76
a 2 4 5 8 9 12 13 16 22 23 25 27 29 33 40 41 44 45 49 50 52 56 63 74
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 33 40 41 44 45 49 50 52 56 63
a 2 4 5 8 9 12 13 16 22 23 25 27 29 33 40 41 44 45 49 50 52 56 63 68
a 2 5 8 9 12 13 16 21 22 23 25 27 29 33 40 41 44 45 49 50 52 56 63 68
a 2 5 8 9 12 13 16 21 22 23 25 27 29 40 41 44 45 49 50 52 56 63 68 77
a 2 5 8 9 12 13 16 20 21 22 23 25 27 29 40 41 44 45 49 50 52 63 68 77
a 2 5 8 9 11 12 13 16 20 21 22 23 25 27 29 40 41 44 45 49 50 63 68 77
a 2 5 8 9 11 13 16 20 21 22 23 25 27 29 40 41 44 45 49 50 63 68 74 77
a 2 5 8 9 11 13 16 20 21 22 23 25 27 29 40 44 45 49 50 57 63 68 74 77
a 2 5 8 9 11 13 16 20 21 22 23 25 29 40 41 44 45 49 50 57 63 68 74 77
a 2 5 8 9 11 12 13 16 20 21 22 23 25 29 40 41 44 45 49 50 57 68 74 77
a 2 5 8 9 11 13 16 20 21 22 23 25 29 40 41 42 44 45 49 50 57 68 74 77
a 2 5 8 9 11 13 16 20 21 22 23 25 27 29 40 41 42 44 45 49 57 68 74 77
a 2 5 8 9 11 13 16 20 21 22 23 25 27 29 40 41 42 44 45 49 57 72 74 77
a 2 5 9 11 13 16 20 21 22 23 25 27 29 35 40 41 42 44 45 49 57 72 74 77
a 2 5 9 11 13 16 20 21 22 23 25 27 29 35 40 41 42 44 45 49 57 68 74 77
a 2 5 9 11 13 16 20 21 22 23 25 27 29 35 40 41 42 44 45 49 57 68 74 76
a 2 5 9 11 13 16 20 21 22 23 25 27 29 35 40 41 42 44 45 49 57 72 74 76
a 2 5 9 11 13 16 20 21 22 23 25 29 35 40 41 42 44 45 49 57 72 74 76 77
a 2 5 9 11 13 16 20 21 22 23 25 29 35 40 41 42 44 45 49 50 57 72 74 76
a 2 5 9 11 13 16 21 22 23 25 29 35 40 41 42 44 45 49 50 56 57 72 74 76
a 2 5 9 11 13 16 21 22 23 25 29 35 39 40 41 42 44 45 49 50 56 57 72 74
a 2 5 8 9 11 13 16 21 22 23 25 29 39 40 41 42 44 45 49 50 56 57 72 74
a 2 4 5 8 9 13 16 21 22 23 25 29 39 40 41 42 44 45 49 50 56 57 72 74
a 2 4 5 8 9 13 16 21 22 23 25 29 39 40 41 44 45 49 50 52 56 57 72 74
a 2 4 5 8 13 16 21 22 23 25 27 29 39 40 41 44 45 49 50 52 56 57 72 74
a 2 4 5 13 16 21 22 23 25 27 29 39 40 41 44 45 49 50 52 56 57 59 72 74
a 2 4 5 13 16 21 22 23 25 27 29 39 40 41 44 45 49 50 52 56 57 59 66 74
a 2 4 5 13 16 21 22 23 25 27 29 39 40 41 44 49 50 52 56 57 59 66 74 77
a 4 5 13 16 21 22 23 25 27 29 39 40 41 44 49 50 52 56 57 58 59 66 74 77
a 4 5 13 16 21 22 23 25 27 39 40 41 42 44 49 50 52 56 57 58 59 66 74 77
a 4 5 16 21 22 23 25 27 39 40 41 42 44 49 50 52 56 57 58 59 64 66 74 77
a 4 5 16 21 22 23 25 27 34 39 41 42 44 49 50 52 56 57 58 59 64 66 74 77
a 4 16 21 22 23 25 27 34 37 39 41 42 44 49 50 52 56 57 58 59 64 66 74 77
a 1 4 16 21 22 23 25 27 34 37 39 41 42 44 50 52 56 57 58 59 64 66 74 77
a 1 4 16 21 22 23 25 27 34 37 39 42 43 44 50 52 56 57 58 59 64 66 74 77
a 1 16 21 22 23 25 27 34 37 39 42 43 44 48 50 52 56 57 58 59 64 66 74 77
c Step: 300
#END: [Mon Sep  4 22:01:24 2023]