#BEGIN: [Tue Sep  5 06:24:32 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance006_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance006_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance006_graph003.col /benchmark/random_instance/random_instance006_graph003_01.dat
c /benchmark/random_instance/random_instance006_graph003.col
c /benchmark/random_instance/random_instance006_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID 98869b62f0483ac46b7516a749ea9a2f175c26bf5524f78ded4094b9675b74ff
s 31 77 67 3 28 13 30 33 72 37 53 27 66 64 4 32 15 54 63 48 10 21 52 40 17 61
t 19 2 54 24 5 17 46 31 57 9 47 28 77 59 65 41 36 56 48 21 52 7 50 68 26 40
a YES
a 3 4 10 13 15 17 21 27 28 30 31 32 33 37 40 48 52 53 54 61 63 64 66 67 72 77
a 4 10 13 15 17 21 27 28 30 31 32 33 37 40 48 52 53 54 59 61 63 64 66 67 72 77
a 4 10 13 15 17 21 26 27 28 30 31 32 33 37 40 48 52 53 54 59 61 63 64 66 67 72
a 4 10 15 17 21 26 27 28 30 31 32 33 37 40 48 52 53 54 59 61 63 64 66 67 72 77
a 4 10 15 17 21 25 26 27 28 30 31 32 33 37 40 48 52 53 54 59 61 63 64 66 67 72
a 8 10 15 17 21 25 26 27 28 30 31 32 33 37 40 48 52 53 54 59 61 63 64 66 67 72
a 7 8 10 15 17 21 25 27 28 30 31 32 33 37 40 48 52 53 54 59 61 63 64 66 67 72
a 7 8 10 15 17 21 25 27 28 30 31 32 33 37 40 48 52 53 54 57 59 61 63 66 67 72
a 7 8 10 15 17 21 25 27 28 30 31 32 33 37 40 48 52 53 54 57 59 61 62 63 66 72
a 3 7 8 10 15 17 21 25 27 28 30 31 32 33 37 40 48 52 53 54 57 61 62 63 66 72
a 3 7 8 9 10 15 17 21 25 27 28 30 31 32 33 37 40 48 52 53 54 57 61 62 63 66
a 3 7 8 9 10 15 17 21 25 27 28 30 31 32 37 40 48 52 53 54 57 61 62 63 66 71
a 3 7 8 9 10 15 17 21 25 27 28 30 31 32 37 40 48 52 53 57 61 62 63 66 71 75
a 3 7 8 9 10 15 17 21 25 27 28 30 31 32 37 40 48 52 53 61 62 63 64 66 71 75
a 3 7 8 9 10 15 17 21 27 28 30 31 32 37 40 48 52 53 61 62 63 64 66 71 75 77
a 3 7 8 9 10 15 17 21 27 28 31 32 36 37 40 48 52 53 61 62 63 64 66 71 75 77
a 3 7 8 9 10 15 17 21 25 27 28 31 32 36 37 40 48 52 53 61 62 63 64 66 71 75
a 3 7 8 9 10 15 17 21 25 27 28 31 32 36 37 40 48 52 53 57 61 62 63 66 71 75
a 3 7 8 9 10 15 17 21 27 28 31 32 36 37 40 48 52 53 57 61 62 63 66 71 75 77
a 3 7 8 9 10 15 17 21 27 28 30 31 32 37 40 48 52 53 57 61 62 63 66 71 75 77
a 3 5 7 8 9 10 15 17 21 27 28 30 31 32 37 40 48 52 53 57 61 62 63 66 75 77
a 3 5 7 8 9 10 15 17 21 27 28 30 31 32 37 40 48 52 53 54 57 61 62 63 66 77
a 3 5 7 8 9 10 15 17 21 27 28 30 32 37 40 48 49 52 53 54 57 61 62 63 66 77
a 3 5 7 8 9 10 15 17 27 28 30 32 37 40 48 49 52 53 54 57 61 62 63 66 74 77
a 3 5 7 8 10 15 17 27 28 30 32 37 40 48 49 52 53 54 57 61 62 63 66 72 74 77
a 3 5 7 8 10 15 17 21 27 28 30 32 37 40 48 49 52 53 54 57 61 62 63 66 72 77
a 3 5 7 8 10 15 17 21 27 28 30 31 32 37 40 48 52 53 54 57 61 62 63 66 72 77
a 3 7 8 10 15 17 21 27 28 30 31 32 37 40 48 52 53 54 57 61 62 63 66 71 72 77
a 3 7 8 10 15 17 21 27 28 30 31 32 33 37 40 48 52 53 54 57 61 62 63 66 72 77
a 3 7 10 13 15 17 21 27 28 30 31 32 33 37 40 48 52 53 54 57 61 62 63 66 72 77
a 3 7 10 13 15 21 27 28 30 31 32 33 37 40 48 52 53 54 57 61 62 63 66 67 72 77
a 3 7 8 10 15 21 27 28 30 31 32 33 37 40 48 52 53 54 57 61 62 63 66 67 72 77
a 7 8 10 15 21 27 28 30 31 32 33 37 40 48 52 53 54 57 59 61 62 63 66 67 72 77
a 7 8 10 15 21 27 28 30 31 33 37 40 41 48 52 53 54 57 59 61 62 63 66 67 72 77
a 3 7 8 10 15 21 27 28 30 31 33 37 40 41 48 52 53 54 57 61 62 63 66 67 72 77
a 3 7 8 10 15 21 27 28 30 31 37 40 41 48 52 53 54 57 61 62 63 66 67 71 72 77
a 3 7 8 9 10 15 21 27 28 30 31 37 40 41 48 52 53 54 57 61 62 63 66 67 71 77
a 3 7 8 9 10 15 17 21 27 28 31 37 40 41 48 52 53 54 57 61 62 63 66 67 71 77
a 3 7 9 10 15 17 21 27 28 31 36 37 40 41 48 52 53 54 57 61 62 63 66 67 71 77
a 3 7 8 10 15 17 21 27 28 31 36 37 40 41 48 52 53 54 57 61 62 63 66 67 71 77
a 3 7 8 10 15 17 21 27 28 31 36 37 40 41 48 52 53 57 61 62 63 66 67 71 75 77
a 3 7 8 10 15 17 21 28 31 36 37 40 41 43 48 52 53 57 61 62 63 66 67 71 75 77
a 7 8 10 15 17 21 26 28 31 36 37 40 41 43 48 52 53 57 61 62 63 66 67 71 75 77
a 7 8 10 15 17 21 26 28 31 32 36 37 40 43 48 52 53 57 61 62 63 66 67 71 75 77
a 7 8 10 15 17 21 26 28 31 32 36 37 40 43 48 50 52 53 57 61 62 63 66 67 71 77
a 7 8 10 15 17 21 26 28 31 32 34 36 37 40 43 48 50 52 53 57 61 62 66 67 71 77
a 7 8 10 15 17 21 26 28 31 32 33 34 36 37 40 43 48 50 52 53 57 61 62 66 67 77
a 7 8 10 15 17 21 26 28 31 32 33 34 36 37 40 43 46 50 52 53 57 61 62 66 67 77
a 7 8 9 10 15 17 21 26 28 31 32 33 34 36 37 40 43 46 50 52 53 57 61 66 67 77
a 7 9 10 15 17 21 26 28 31 32 33 34 36 37 40 42 43 46 50 52 53 57 61 66 67 77
a 7 9 10 15 17 21 26 28 32 33 34 36 37 40 42 43 46 50 52 53 54 57 61 66 67 77
a 7 10 15 17 21 26 28 31 32 33 34 36 37 40 42 43 46 50 52 53 54 57 61 66 67 77
a 7 10 15 17 21 26 28 31 32 33 34 36 37 40 42 43 46 50 52 53 54 57 59 61 66 67
a 7 9 10 15 17 21 26 28 31 32 33 34 36 37 40 42 43 46 50 52 53 54 57 59 61 66
a 7 9 10 15 17 21 26 28 31 32 33 34 36 37 39 40 42 43 46 50 52 53 54 57 59 66
a 7 9 10 15 17 21 26 28 31 32 33 34 36 37 39 40 42 43 46 50 52 54 57 59 66 67
a 7 9 10 15 17 18 21 26 28 31 32 33 34 36 37 39 40 42 43 46 50 52 54 57 59 67
a 7 9 10 15 17 18 21 26 28 31 32 33 34 36 37 40 42 43 46 50 52 54 56 57 59 67
a 7 9 10 15 17 18 21 26 28 31 32 33 34 36 37 40 42 43 46 50 52 54 56 57 59 77
a 7 9 10 15 17 18 21 26 28 31 32 33 34 36 37 40 42 43 46 50 52 54 56 57 59 68
a 2 7 9 10 15 17 18 21 26 28 31 32 34 36 37 40 42 43 46 50 52 54 56 57 59 68
a 2 7 9 10 15 18 21 26 28 31 32 34 36 37 40 42 43 46 50 52 54 56 57 59 68 78
a 2 7 9 10 15 18 21 26 28 31 32 34 36 37 40 42 43 46 50 52 54 56 57 59 68 77
a 1 2 7 9 10 15 18 21 26 28 31 32 34 36 37 40 42 43 46 50 52 54 56 57 59 68
a 1 2 7 9 10 15 18 21 26 28 31 32 34 36 37 40 42 43 46 50 52 54 56 57 59 77
a 1 2 7 9 10 15 18 21 26 28 31 32 34 36 37 40 42 43 46 50 52 54 56 59 68 77
a 1 2 7 9 10 15 18 21 26 31 32 34 36 37 40 42 43 46 50 52 54 56 57 59 68 77
a 1 2 7 9 15 18 21 26 31 32 34 36 37 38 40 42 43 46 50 52 54 56 57 59 68 77
a 1 2 7 9 15 18 21 26 31 32 34 36 37 38 40 42 43 46 50 52 54 56 57 59 68 78
a 1 2 7 9 15 18 21 26 31 32 34 36 37 38 40 42 43 46 50 54 56 57 59 68 77 78
a 1 2 7 8 9 15 18 21 26 31 32 34 36 37 38 40 42 43 46 50 54 56 57 59 77 78
a 1 2 7 8 9 15 18 21 26 31 32 34 36 37 38 40 42 43 46 50 52 54 56 57 59 77
a 1 2 7 8 9 15 18 21 26 28 31 32 34 36 37 38 40 42 43 46 50 52 54 56 57 77
a 1 2 7 8 9 15 18 21 26 28 31 32 36 37 38 40 42 43 46 47 50 52 54 56 57 77
a 1 2 7 8 9 15 18 21 26 28 31 32 36 37 38 40 42 43 47 50 52 54 56 57 71 77
a 2 7 8 9 15 18 21 26 28 31 32 36 37 38 40 42 43 47 50 52 54 56 57 71 77 78
a 2 7 9 15 18 21 26 28 31 32 36 37 38 40 42 43 47 50 52 54 56 57 68 71 77 78
a 2 7 9 15 18 21 26 28 31 32 35 36 37 38 40 42 43 47 50 52 54 56 57 68 77 78
a 1 7 9 15 18 21 26 28 31 32 35 36 37 38 40 42 43 47 50 52 54 56 57 68 77 78
a 1 7 9 15 16 18 21 26 28 31 32 35 36 37 38 42 43 47 50 52 54 56 57 68 77 78
a 1 2 7 9 15 16 18 21 26 28 31 32 35 36 37 38 42 47 50 52 54 56 57 68 77 78
a 1 2 7 9 15 16 18 21 24 26 28 31 32 35 36 37 42 47 50 52 54 56 57 68 77 78
a 1 2 7 9 15 16 18 21 24 26 28 31 32 36 37 42 47 50 52 54 56 57 68 71 77 78
a 1 2 7 9 15 16 18 21 24 26 28 31 32 36 37 42 46 47 50 52 54 56 57 68 77 78
a 1 2 7 9 15 16 18 21 24 26 28 31 32 34 36 37 42 46 47 50 52 56 57 68 77 78
a 1 2 7 9 15 16 18 21 24 26 28 31 32 34 36 37 42 46 47 50 52 56 57 68 75 78
a 1 2 7 9 15 18 21 24 26 28 31 32 34 36 37 42 46 47 50 52 56 57 59 68 75 78
a 1 2 7 9 15 18 21 24 26 28 32 34 36 37 42 46 47 49 50 52 56 57 59 68 75 78
a 1 2 7 9 15 18 21 24 26 28 32 34 36 37 42 46 47 49 50 52 56 57 59 68 77 78
a 1 2 6 7 15 18 21 24 26 28 32 34 36 37 42 46 47 49 50 52 56 57 59 68 77 78
a 1 2 6 7 15 18 21 24 26 28 32 34 36 37 42 46 49 50 52 54 56 57 59 68 77 78
a 1 2 6 7 15 18 21 24 26 28 32 34 36 37 40 42 46 49 50 52 54 56 57 59 68 77
a 2 6 7 15 18 21 24 26 28 32 34 35 36 37 40 42 46 49 50 52 54 56 57 59 68 77
a 2 6 7 15 18 21 24 26 28 32 34 35 36 37 40 42 46 49 50 52 54 57 59 61 68 77
a 1 2 6 7 15 18 21 24 26 28 32 34 35 36 37 40 42 46 49 50 52 54 57 59 61 77
a 1 2 6 7 15 18 21 24 26 28 32 34 36 37 40 42 46 47 49 50 52 54 57 59 61 77
a 1 2 6 7 15 18 21 24 26 28 32 34 35 36 37 40 42 46 47 49 50 52 54 57 61 77
a 1 2 6 7 15 18 21 24 26 28 32 34 35 36 37 40 42 46 47 49 50 52 57 61 75 77
a 1 2 6 7 15 18 21 24 26 28 32 34 35 36 37 40 46 47 49 50 52 57 59 61 75 77
a 1 2 6 7 15 18 21 24 26 28 32 34 35 36 37 40 46 47 49 50 52 57 59 75 77 78
a 1 2 6 7 15 18 21 26 28 32 34 35 36 37 40 46 47 49 50 52 57 59 68 75 77 78
a 1 2 6 7 15 18 21 26 28 32 34 35 36 37 40 46 47 49 50 52 56 57 59 75 77 78
a 1 2 6 7 15 18 21 26 28 32 34 35 36 37 40 44 46 47 49 50 56 57 59 75 77 78
a 1 2 6 7 15 18 21 26 28 32 34 35 36 37 38 40 44 46 47 49 50 56 57 59 75 77
a 1 2 6 7 15 18 21 26 28 32 34 35 37 38 40 42 44 46 47 49 50 56 57 59 75 77
a 1 2 6 7 15 17 18 21 26 28 32 34 35 37 40 42 44 46 47 49 50 56 57 59 75 77
a 1 2 6 7 15 17 18 21 26 28 32 34 35 37 40 42 44 46 47 49 50 54 56 57 59 77
a 1 2 6 7 15 17 18 21 26 28 32 34 35 36 37 40 42 44 46 47 49 50 56 57 59 77
a 1 2 6 7 15 17 18 21 26 28 32 34 35 36 37 40 42 44 46 47 49 50 57 59 61 77
a 1 2 6 7 15 17 18 21 26 28 34 35 36 37 40 42 44 46 47 49 50 57 59 61 75 77
a 1 2 6 7 15 17 18 26 28 34 35 36 37 40 42 44 46 47 49 50 57 59 61 74 75 77
a 1 2 6 7 15 17 18 26 28 32 34 35 36 37 40 42 44 46 47 49 50 57 59 61 75 77
a 1 2 6 7 15 17 18 24 26 28 32 34 35 36 37 40 42 44 46 47 49 50 57 59 61 77
a 1 2 6 7 15 17 18 24 26 28 32 34 35 36 37 42 44 46 47 49 50 54 57 59 61 77
a 1 2 6 7 10 15 17 18 26 28 32 34 35 36 37 42 44 46 47 49 50 54 57 59 61 77
a 1 2 6 7 10 15 17 18 26 28 32 34 35 36 37 42 43 44 46 47 50 54 57 59 61 77
a 1 2 6 7 10 13 15 17 18 26 28 32 34 35 37 42 43 44 46 47 50 54 57 59 61 77
a 1 2 6 7 10 13 15 16 17 18 26 28 32 34 35 37 42 43 44 46 47 50 54 57 61 77
a 1 2 6 7 10 13 15 16 17 18 26 28 32 34 35 37 42 43 44 46 47 50 54 56 57 77
a 1 2 6 7 10 13 15 16 17 18 26 32 34 35 37 42 43 44 46 47 50 54 56 57 68 77
a 1 2 6 7 10 15 16 17 18 21 26 32 34 35 37 42 43 44 46 47 50 54 56 57 68 77
a 1 2 6 7 10 15 17 18 21 26 28 32 34 35 37 42 43 44 46 47 50 54 56 57 68 77
a 1 2 6 10 15 17 18 21 26 28 32 34 35 37 42 43 44 46 47 50 54 56 57 59 68 77
a 2 6 7 10 15 17 18 21 26 28 32 34 35 37 42 43 44 46 47 50 54 56 57 59 68 77
a 2 6 7 10 15 17 18 21 26 28 32 34 35 37 42 43 44 46 47 50 54 57 59 61 68 77
a 2 6 7 10 15 17 18 21 26 28 32 34 35 37 42 44 46 47 49 50 54 57 59 61 68 77
a 2 7 10 15 17 18 21 26 28 32 34 35 36 37 42 44 46 47 49 50 54 57 59 61 68 77
a 2 6 7 10 15 17 18 21 26 28 32 34 35 36 37 42 44 46 47 49 50 54 57 61 68 77
a 2 6 7 10 15 16 17 18 21 26 32 34 35 36 37 42 44 46 47 49 50 54 57 61 68 77
a 1 2 6 7 10 15 16 17 18 21 26 32 34 35 36 42 44 46 47 49 50 54 57 61 68 77
a 1 2 6 7 10 15 16 18 21 26 29 32 34 35 36 42 44 46 47 49 50 54 57 61 68 77
a 1 2 6 7 15 16 18 21 24 26 29 32 34 35 36 42 44 46 47 49 50 54 57 61 68 77
a 1 2 6 7 15 16 18 19 21 24 26 29 32 34 35 36 44 46 47 49 50 54 57 61 68 77
a 1 2 6 7 16 18 19 21 24 26 29 32 34 35 36 44 46 47 49 50 54 57 61 65 68 77
a 1 2 6 7 16 18 19 21 24 26 29 32 34 35 36 44 46 47 49 50 57 61 65 68 75 77
a 1 2 6 7 18 19 21 24 26 29 32 34 35 36 44 46 47 49 50 57 59 61 65 68 75 77
a 1 2 6 7 12 18 19 21 24 26 29 32 34 35 36 44 46 47 49 50 59 61 65 68 75 77
a 1 2 6 7 12 16 18 19 21 24 26 29 32 34 35 36 44 46 47 49 50 61 65 68 75 77
a 1 2 6 7 12 16 18 19 21 24 26 28 32 34 35 36 44 46 47 49 50 61 65 68 75 77
a 1 6 7 12 16 17 18 19 21 24 26 28 32 34 35 36 44 46 47 49 50 61 65 68 75 77
a 1 6 7 12 16 17 18 19 21 24 26 28 32 34 35 36 46 47 49 50 52 61 65 68 75 77
a 1 2 6 7 12 16 17 18 19 21 24 26 28 32 34 36 46 47 49 50 52 61 65 68 75 77
a 1 2 6 7 12 16 17 18 19 21 24 26 28 32 34 35 36 46 47 49 50 52 65 68 75 77
a 1 2 6 7 12 17 18 19 21 24 26 28 32 34 35 36 46 47 49 50 52 59 65 68 75 77
a 1 2 6 7 12 17 18 19 21 24 26 32 34 35 36 46 47 49 50 52 56 59 65 68 75 77
a 1 2 6 7 12 17 18 19 21 24 26 32 34 35 36 46 47 49 50 52 54 56 59 65 68 77
a 1 2 6 7 17 18 19 21 24 26 32 34 35 36 46 47 49 50 52 54 56 57 59 65 68 77
a 1 2 6 7 17 18 19 21 24 26 32 34 36 46 47 48 49 50 52 54 56 57 59 65 68 77
a 1 2 6 7 17 18 19 21 24 26 32 34 36 46 47 48 49 50 52 54 57 59 61 65 68 77
a 1 2 6 7 12 17 18 19 21 24 26 32 34 36 46 47 48 49 50 52 54 59 61 65 68 77
a 1 2 6 7 8 12 17 18 19 21 24 26 32 34 36 46 47 48 49 50 52 54 59 61 65 77
a 1 2 6 7 8 12 17 18 19 21 24 26 32 34 36 44 46 47 48 49 50 54 59 61 65 77
a 1 2 6 7 8 12 17 18 19 24 26 32 34 36 44 46 47 48 49 50 54 59 61 65 74 77
a 1 2 6 8 12 17 18 19 24 26 32 34 36 44 46 47 48 49 50 54 55 59 61 65 74 77
a 1 2 6 8 12 17 18 19 24 26 28 32 34 36 44 46 47 48 49 50 54 55 59 61 74 77
a 1 2 6 7 8 12 17 18 19 24 26 28 32 34 36 44 46 47 48 49 50 54 59 61 74 77
a 1 2 6 7 8 12 17 18 24 26 28 32 34 36 44 46 47 48 49 50 54 59 61 70 74 77
a 1 2 6 7 8 17 18 24 26 28 32 34 36 44 46 47 48 49 50 54 57 59 61 70 74 77
a 1 2 6 7 17 18 24 26 28 32 34 36 44 46 47 48 49 50 54 57 59 61 68 70 74 77
a 1 2 6 7 17 18 24 26 28 32 34 35 36 44 46 47 49 50 54 57 59 61 68 70 74 77
a 1 2 6 7 10 17 18 26 28 32 34 35 36 44 46 47 49 50 54 57 59 61 68 70 74 77
a 1 2 6 7 10 17 18 26 28 32 34 35 36 44 46 47 49 50 54 56 57 59 68 70 74 77
a 1 2 6 7 10 17 18 26 28 32 34 36 44 46 47 48 49 50 54 56 57 59 68 70 74 77
a 1 2 6 7 10 17 18 26 32 34 36 44 46 47 48 49 50 54 56 57 59 65 68 70 74 77
a 1 2 6 7 17 18 26 32 34 36 40 44 46 47 48 49 50 54 56 57 59 65 68 70 74 77
a 1 2 6 7 17 18 26 32 34 36 40 46 47 48 49 50 52 54 56 57 59 65 68 70 74 77
a 1 2 6 7 17 18 24 26 32 34 36 40 46 47 48 49 50 52 54 56 57 59 65 68 74 77
a 1 2 6 7 17 18 24 26 32 34 36 40 46 47 48 49 50 52 54 57 59 61 65 68 74 77
a 1 2 6 7 17 18 24 26 32 34 36 46 47 48 49 50 52 54 57 59 61 65 68 70 74 77
a 1 2 6 7 17 18 19 24 26 32 34 36 46 47 48 49 50 52 54 57 59 61 65 68 74 77
a 1 2 6 7 17 18 19 24 26 28 32 34 36 46 47 48 49 50 52 54 57 59 61 65 74 77
a 1 2 6 7 12 17 18 19 24 26 28 32 34 36 46 47 48 49 50 52 54 59 61 65 74 77
a 1 2 6 12 17 18 19 24 26 28 32 34 36 46 47 48 49 50 52 54 55 59 61 65 74 77
a 1 2 6 12 17 18 19 24 26 28 32 34 36 40 46 47 48 49 50 52 54 55 59 61 65 77
a 1 6 12 17 18 19 24 26 28 32 34 36 40 46 47 48 49 50 52 54 55 59 61 65 74 77
a 1 6 12 17 18 19 24 26 28 32 34 36 40 46 47 48 49 50 54 55 59 61 65 68 74 77
a 1 2 6 12 18 19 24 26 28 32 34 36 40 46 47 48 49 50 54 55 59 61 65 68 74 77
a 1 2 6 12 18 19 24 26 29 32 34 36 40 46 47 48 49 50 54 55 59 61 65 68 74 77
a 1 2 6 12 18 19 24 26 29 32 34 36 40 46 47 48 49 50 55 59 61 65 68 74 75 77
a 1 2 6 12 17 18 19 24 26 32 34 36 40 46 47 48 49 50 55 59 61 65 68 74 75 77
a 1 2 4 6 12 17 18 19 24 26 32 34 40 46 47 48 49 50 55 59 61 65 68 74 75 77
a 1 2 4 6 12 17 18 19 24 26 32 34 40 44 46 47 48 49 50 55 59 61 65 68 74 77
a 1 2 4 6 12 17 19 24 26 32 34 40 44 46 47 48 49 50 55 59 61 65 68 74 75 77
a 1 2 4 6 12 15 17 19 24 26 32 34 40 44 46 47 48 49 50 55 59 61 68 74 75 77
a 1 2 4 6 12 15 17 18 19 24 26 32 34 40 44 46 47 48 49 55 59 61 68 74 75 77
a 1 2 4 6 12 15 17 18 19 24 26 32 40 44 46 47 48 49 50 55 59 61 68 74 75 77
a 1 2 4 6 12 15 17 18 19 24 26 32 40 44 46 47 48 49 50 55 59 61 63 68 75 77
a 1 2 4 6 12 15 17 18 19 24 26 32 40 44 46 47 48 49 50 54 55 59 61 63 68 77
a 2 4 5 6 12 15 17 18 19 24 26 32 40 44 46 47 48 49 50 54 55 59 61 63 68 77
a 2 4 5 6 12 15 17 18 19 24 26 32 40 44 46 47 48 49 50 54 55 59 61 63 68 74
a 2 4 5 6 12 15 17 18 19 24 26 30 32 40 44 47 48 49 50 54 55 59 61 63 68 74
a 2 4 5 6 12 15 17 18 19 24 26 30 32 40 44 47 48 49 50 54 55 59 61 63 74 77
a 2 4 5 6 15 17 18 19 24 26 30 32 40 44 47 48 49 50 54 55 59 61 63 68 74 77
a 2 4 5 6 12 15 17 18 19 24 26 30 32 40 47 48 49 50 54 55 59 61 63 68 74 77
a 1 2 4 6 12 15 17 18 19 24 26 30 32 40 47 48 49 50 54 55 59 61 63 68 74 77
a 1 2 4 6 12 15 17 19 24 26 30 32 40 47 48 49 50 54 55 59 61 63 66 68 74 77
a 2 4 5 6 12 15 17 19 24 26 30 32 40 47 48 49 50 54 55 59 61 63 66 68 74 77
a 2 4 5 6 12 15 17 19 24 26 28 30 32 40 47 48 49 50 54 55 59 61 63 66 68 74
a 4 5 6 12 15 17 19 24 26 28 30 32 40 44 47 48 49 50 54 55 59 61 63 66 68 74
a 4 5 6 12 15 19 24 26 28 30 32 40 44 47 48 49 50 54 55 59 61 63 66 68 74 77
a 4 5 6 12 15 19 24 26 28 30 40 41 44 47 48 49 50 54 55 59 61 63 66 68 74 77
a 4 5 6 12 15 17 24 26 28 30 40 41 44 47 48 49 50 54 55 59 61 63 66 68 74 77
a 4 5 6 12 15 17 19 24 26 28 30 40 41 44 47 48 49 50 54 55 59 61 63 66 74 77
a 4 5 6 12 15 17 19 24 26 28 30 40 41 44 47 48 49 50 55 59 61 63 66 74 75 77
a 2 4 5 6 12 17 19 24 26 28 30 40 41 44 47 48 49 50 55 59 61 63 66 74 75 77
a 2 4 5 6 12 15 17 19 24 26 28 30 40 41 44 47 48 49 50 55 59 61 63 66 74 75
a 2 4 5 6 12 15 17 19 24 28 30 40 41 44 47 48 49 50 55 59 61 63 66 74 75 77
a 2 4 5 6 12 15 17 19 26 28 30 40 41 44 47 48 49 50 55 59 61 63 66 74 75 77
a 2 4 5 6 12 15 17 19 24 26 28 30 40 41 44 47 48 49 50 55 59 61 63 66 75 77
a 2 4 5 6 12 15 17 19 24 26 28 30 40 41 47 48 49 50 52 55 59 61 63 66 75 77
a 2 4 5 6 12 15 17 19 24 26 28 30 40 47 48 49 50 52 55 59 61 63 66 74 75 77
a 2 4 5 6 12 15 17 19 24 26 28 30 40 44 47 48 49 50 55 59 61 63 66 74 75 77
a 2 4 5 6 12 15 17 19 24 26 28 30 40 41 44 47 48 49 50 55 59 61 63 66 74 77
a 2 4 5 6 12 15 17 19 24 26 28 30 40 41 44 47 48 49 50 55 59 63 66 74 75 77
a 4 5 6 12 15 17 19 24 26 28 30 40 41 44 47 48 49 50 55 56 59 63 66 74 75 77
a 4 5 12 15 17 19 24 26 28 30 40 41 44 47 48 49 50 55 56 59 63 66 68 74 75 77
a 2 4 5 12 15 17 19 26 28 30 40 41 44 47 48 49 50 55 56 59 63 66 68 74 75 77
a 2 4 5 12 15 19 24 26 28 30 40 41 44 47 48 49 50 55 56 59 63 66 68 74 75 77
a 2 4 5 12 15 17 19 24 28 30 40 41 44 47 48 49 50 55 56 59 63 66 68 74 75 77
a 2 4 5 12 15 17 19 24 26 28 30 40 41 44 47 48 49 50 55 56 59 63 66 68 74 77
a 1 2 4 12 15 17 19 24 26 28 30 40 41 44 47 48 49 50 55 56 59 63 66 68 74 77
a 2 4 12 15 17 19 24 26 28 30 40 41 44 47 48 49 50 55 56 59 63 66 68 74 75 77
a 2 4 12 15 17 19 24 26 28 30 40 41 47 48 49 50 52 55 56 59 63 66 68 74 75 77
a 1 2 4 12 15 17 19 24 26 28 30 40 41 47 48 50 52 55 56 59 63 66 68 74 75 77
a 1 2 4 6 12 15 17 19 24 26 28 30 40 41 47 48 50 52 55 56 59 63 68 74 75 77
a 1 2 4 6 12 15 17 19 24 26 28 30 40 41 47 48 49 50 52 55 59 63 68 74 75 77
a 2 4 5 6 12 15 17 19 24 26 28 30 40 41 47 48 49 50 52 55 59 63 68 74 75 77
a 2 4 5 6 12 15 17 19 24 26 28 30 32 40 47 48 49 50 52 55 59 63 68 74 75 77
a 2 4 5 6 12 15 17 19 24 28 30 32 40 47 48 49 50 52 55 59 61 63 68 74 75 77
a 2 4 5 6 12 15 17 19 24 28 30 32 40 47 48 49 50 52 55 59 61 63 66 68 74 77
a 2 4 5 6 12 15 17 19 24 28 30 40 47 48 49 50 52 55 59 61 63 66 68 74 75 77
a 2 4 5 6 12 15 17 19 24 26 28 30 40 47 48 49 52 55 59 61 63 66 68 74 75 77
a 2 4 5 6 12 15 17 19 24 26 28 30 40 41 47 48 49 52 55 59 61 63 66 74 75 77
a 2 4 5 6 12 15 17 19 24 26 28 30 40 41 47 48 49 52 54 55 59 61 63 66 74 77
a 2 4 5 6 12 15 17 24 26 28 30 40 41 47 48 49 50 52 54 55 59 61 63 66 74 77
a 2 4 5 6 12 15 17 19 24 26 28 30 40 41 47 48 49 50 52 54 55 59 61 66 74 77
a 1 2 4 6 12 15 17 19 24 26 28 30 40 41 47 48 49 50 52 54 55 59 61 66 74 77
a 1 2 4 9 12 15 17 19 24 26 28 30 40 41 47 48 49 50 52 54 55 59 61 66 74 77
a 1 2 4 12 15 17 19 24 26 28 30 40 41 47 48 49 50 52 54 55 59 61 63 66 74 77
a 1 2 4 9 12 15 17 19 24 26 30 40 41 47 48 49 50 52 54 55 59 61 63 66 74 77
a 1 2 4 9 12 15 17 24 26 28 30 40 41 47 48 49 50 52 54 55 59 61 63 66 74 77
a 2 4 9 12 15 17 19 24 26 28 30 40 41 47 48 49 50 52 54 55 59 61 63 66 74 77
a 2 4 9 12 15 17 19 24 26 28 30 32 40 47 48 49 50 52 54 55 59 61 63 66 74 77
a 2 4 5 9 12 15 17 19 24 26 28 30 32 40 47 48 49 50 52 54 55 59 61 63 74 77
a 2 4 5 9 12 15 17 19 24 26 28 30 32 40 47 48 50 52 54 55 59 61 63 68 74 77
a 1 2 4 9 12 15 17 19 24 26 28 30 32 40 47 48 50 52 54 55 59 61 63 68 74 77
a 1 2 4 9 12 15 17 19 24 26 28 30 32 40 47 48 50 52 55 59 61 63 68 74 75 77
a 1 2 4 9 12 15 17 19 24 26 28 30 32 34 40 47 48 50 52 55 59 61 68 74 75 77
a 2 4 9 12 15 17 19 24 26 28 30 32 34 40 47 48 50 52 55 59 61 66 68 74 75 77
a 2 4 9 12 15 17 19 24 26 28 30 32 40 47 48 50 52 55 59 61 63 66 68 74 75 77
a 2 4 9 12 15 17 19 24 26 28 30 32 40 47 48 49 50 52 55 59 61 63 66 68 74 75
a 1 2 4 9 12 15 17 19 24 26 28 30 32 40 47 48 49 50 52 55 59 61 63 66 68 74
a 1 2 4 9 12 15 17 19 24 26 28 30 32 34 40 47 48 49 50 52 55 59 61 66 68 74
a 1 2 4 12 15 17 19 24 26 28 30 32 34 40 47 48 49 50 52 54 55 59 61 66 68 74
a 1 2 4 9 12 15 17 19 26 28 30 32 34 40 47 48 49 50 52 54 55 59 61 66 68 74
a 1 2 4 12 15 17 19 26 28 30 32 34 40 47 48 49 50 52 54 55 59 61 66 68 74 77
a 1 2 4 12 15 17 19 26 28 30 34 40 41 47 48 49 50 52 54 55 59 61 66 68 74 77
a 1 2 4 12 15 17 19 24 26 28 30 34 40 41 47 48 49 50 54 55 59 61 66 68 74 77
a 1 2 4 12 15 17 19 24 26 28 30 40 41 47 48 49 50 54 55 59 61 63 66 68 74 77
a 1 2 4 12 17 19 24 26 28 30 40 41 44 47 48 49 50 54 55 59 61 63 66 68 74 77
a 1 2 4 6 12 17 19 24 26 28 30 40 41 44 47 48 49 50 54 55 59 61 63 66 68 77
a 1 2 4 6 12 17 19 24 26 28 30 40 41 47 48 49 50 52 54 55 59 61 63 66 68 77
a 1 2 4 6 12 17 19 24 26 28 30 40 41 47 48 49 50 52 54 55 59 61 63 66 68 74
a 1 2 4 6 12 15 17 19 24 26 28 30 40 41 47 48 49 50 54 55 59 61 63 66 68 74
a 1 2 4 6 12 15 17 19 24 26 28 30 40 41 47 48 49 50 55 59 61 63 66 68 74 75
a 2 4 5 6 12 15 17 19 24 26 28 30 40 41 47 48 49 50 55 59 61 63 66 68 74 75
a 2 4 5 6 12 15 17 19 24 26 28 30 40 41 47 49 50 55 59 61 63 66 68 74 75 77
a 2 4 5 6 12 15 17 19 24 26 28 30 40 41 47 48 49 50 59 61 63 66 68 74 75 77
a 2 4 5 6 12 15 17 19 24 26 28 30 40 41 47 48 49 50 54 59 61 63 66 68 74 77
a 2 4 5 6 10 12 15 17 19 26 28 30 40 41 47 48 49 50 54 59 61 63 66 68 74 77
a 2 4 5 6 10 12 15 17 19 26 28 30 40 41 47 48 50 52 54 59 61 63 66 68 74 77
a 2 4 5 6 10 12 15 17 19 26 28 30 40 41 47 48 49 50 52 54 59 61 63 66 74 77
a 2 4 6 10 12 15 17 19 26 28 30 40 41 47 48 49 50 52 54 55 59 61 63 66 74 77
a 2 4 6 10 12 15 17 19 26 28 30 32 40 47 48 49 50 52 54 55 59 61 63 66 74 77
a 2 4 10 12 15 17 19 26 28 30 32 40 47 48 49 50 52 54 55 59 61 63 66 68 74 77
a 2 4 5 10 12 15 17 19 26 28 30 32 40 47 48 49 50 52 54 55 59 61 63 66 68 74
a 2 4 5 10 12 15 17 19 26 28 30 32 33 40 48 49 50 52 54 55 59 61 63 66 68 74
a 2 4 5 10 12 15 17 19 28 30 32 33 40 48 49 50 52 54 55 59 61 63 66 68 74 77
a 2 4 5 9 10 12 15 17 19 28 30 33 40 48 49 50 52 54 55 59 61 63 66 68 74 77
a 2 4 5 9 10 12 15 17 19 26 28 33 40 48 49 50 52 54 55 59 61 63 66 68 74 77
a 2 4 5 9 10 12 15 17 19 28 32 33 40 48 49 50 52 54 55 59 61 63 66 68 74 77
a 2 4 5 9 10 12 15 19 28 32 33 40 48 49 50 52 54 55 59 61 63 66 68 74 76 77
a 2 4 5 9 10 12 15 19 28 32 33 40 46 48 50 52 54 55 59 61 63 66 68 74 76 77
a 2 4 9 10 12 15 19 28 32 33 40 46 48 50 52 54 55 59 61 63 66 67 68 74 76 77
a 4 9 10 12 15 19 26 28 32 33 40 46 48 50 52 54 55 59 61 63 66 67 68 74 76 77
a 9 10 12 15 19 26 28 32 33 40 43 46 48 50 52 54 55 59 61 63 66 67 68 74 76 77
a 9 10 12 15 19 28 32 33 36 40 43 46 48 50 52 54 55 59 61 63 66 67 68 74 76 77
a 9 10 12 15 19 28 32 33 36 40 43 46 48 50 52 54 55 59 61 62 63 66 67 74 76 77
a 9 10 12 15 19 28 32 33 36 40 43 46 48 50 52 53 54 59 61 62 63 66 67 74 76 77
a 2 9 10 12 15 19 28 32 33 36 40 43 46 48 50 52 53 54 59 61 63 66 67 74 76 77
a 2 10 12 15 19 26 28 32 33 36 40 43 46 48 50 52 53 54 59 61 63 66 67 74 76 77
a 2 10 12 15 26 28 32 33 36 37 40 43 46 48 50 52 53 54 59 61 63 66 67 74 76 77
a 2 9 10 12 15 26 28 32 33 36 37 40 43 46 48 50 52 53 54 59 61 66 67 74 76 77
a 2 8 9 10 12 15 26 32 33 36 37 40 43 46 48 50 52 53 54 59 61 66 67 74 76 77
a 2 8 9 10 12 15 26 32 33 34 36 37 40 43 46 50 52 53 54 59 61 66 67 74 76 77
a 8 9 10 12 15 26 32 33 34 36 37 40 43 46 50 52 53 54 59 61 62 66 67 74 76 77
a 8 9 10 12 15 26 32 33 34 36 37 40 43 46 48 50 52 53 59 61 62 66 67 74 76 77
a 8 9 10 12 15 19 26 32 33 34 36 40 43 46 48 50 52 53 59 61 62 66 67 74 76 77
a 8 10 12 15 19 26 32 33 34 36 40 43 46 48 50 52 53 54 59 61 62 66 67 74 76 77
a 8 10 12 15 19 26 28 32 33 34 36 40 43 46 48 50 52 53 54 59 61 62 66 67 74 76
a 7 8 10 15 19 26 28 32 33 34 36 40 43 46 48 50 52 53 54 59 61 62 66 67 74 76
a 7 8 9 10 15 19 26 28 32 33 34 36 40 43 46 48 50 52 53 54 59 61 62 66 67 74
a 7 8 9 10 15 19 26 28 32 33 34 36 40 43 46 48 50 52 53 54 59 61 62 66 67 76
a 7 8 9 10 15 19 26 28 32 33 34 36 40 43 46 48 50 52 53 54 57 59 61 62 66 67
a 7 8 9 10 15 19 26 28 32 33 34 36 40 43 46 48 50 52 53 54 57 59 62 66 67 76
a 7 8 9 10 15 19 26 28 32 33 34 36 40 43 46 48 50 52 53 54 57 59 62 67 74 76
a 7 8 9 10 15 19 26 28 32 33 34 36 40 43 46 48 50 52 54 57 59 62 67 74 76 78
a 7 8 9 10 15 19 26 28 32 33 34 36 40 43 46 48 50 52 54 57 59 62 67 74 76 77
a 7 8 9 10 15 18 19 26 28 32 33 34 36 40 43 46 48 50 52 54 57 59 62 67 74 76
a 7 8 9 10 15 18 19 26 28 32 33 34 36 40 43 46 48 50 52 54 57 59 62 67 74 78
a 7 8 9 10 18 19 26 28 32 33 34 36 40 43 46 48 50 52 54 57 59 62 65 67 74 78
a 7 8 9 10 18 19 26 28 32 33 34 36 40 43 46 48 50 52 54 57 59 62 65 67 74 77
a 7 8 9 10 18 19 26 28 32 33 34 36 40 43 46 48 50 52 54 56 57 59 62 65 74 77
a 7 8 9 10 18 19 26 28 32 33 34 36 40 43 46 50 52 54 56 57 59 62 65 74 76 77
a 7 8 10 18 19 26 28 32 33 34 36 40 43 46 50 52 54 56 57 59 62 65 74 76 77 78
a 7 8 10 18 19 26 28 29 32 33 34 36 40 43 46 50 54 56 57 59 62 65 74 76 77 78
a 7 8 10 18 19 26 28 29 32 33 36 40 43 46 50 54 56 57 59 62 65 67 74 76 77 78
a 7 8 10 18 19 26 28 29 32 33 36 40 43 46 48 50 54 56 57 59 62 67 74 76 77 78
a 7 10 18 19 26 28 29 32 33 36 40 43 46 48 50 54 56 57 59 62 67 68 74 76 77 78
a 7 10 18 19 26 28 29 32 33 36 40 43 46 48 50 54 56 57 59 62 65 67 74 76 77 78
a 7 10 19 26 28 29 32 33 36 40 43 46 48 50 54 56 57 59 62 65 67 68 74 76 77 78
a 7 10 19 26 28 29 33 36 40 41 43 46 48 50 54 56 57 59 62 65 67 68 74 76 77 78
a 7 10 19 26 28 29 36 40 41 43 46 48 50 54 56 57 58 59 62 65 67 68 74 76 77 78
a 7 10 19 26 28 29 34 36 40 41 43 46 48 50 54 56 57 58 59 62 65 67 74 76 77 78
a 7 10 19 26 28 29 34 36 41 43 44 46 48 50 54 56 57 58 59 62 65 67 74 76 77 78
a 7 10 19 20 26 28 29 34 36 41 43 44 46 48 54 56 57 58 59 62 65 67 74 76 77 78
a 7 10 19 20 26 29 34 36 41 43 44 45 46 48 54 56 57 58 59 62 65 67 74 76 77 78
a 7 10 19 20 26 29 34 36 41 44 45 46 48 51 54 56 57 58 59 62 65 67 74 76 77 78
a 7 10 19 20 26 29 34 36 41 44 45 46 48 49 51 54 56 57 58 59 62 65 74 76 77 78
a 7 10 19 20 26 29 34 36 41 44 45 46 48 49 51 56 57 58 59 62 65 74 75 76 77 78
a 7 10 19 20 26 29 34 36 41 44 45 46 48 51 56 57 58 59 62 65 67 74 75 76 77 78
a 7 10 19 20 26 29 34 36 40 41 44 46 48 51 56 57 58 59 62 65 67 74 75 76 77 78
a 7 10 19 20 26 29 34 36 40 41 44 46 48 51 56 58 59 62 64 65 67 74 75 76 77 78
a 7 10 19 20 26 29 34 36 41 44 45 46 48 51 56 58 59 62 64 65 67 74 75 76 77 78
a 7 19 20 26 28 29 34 36 41 44 45 46 48 51 56 58 59 62 64 65 67 74 75 76 77 78
a 7 19 20 26 28 29 34 36 41 44 45 46 48 51 56 57 58 59 62 65 67 74 75 76 77 78
a 7 9 19 20 26 28 29 34 36 41 45 46 48 51 56 57 58 59 62 65 67 74 75 76 77 78
a 7 9 19 20 26 28 29 34 36 41 45 46 48 51 56 57 58 59 62 66 67 74 75 76 77 78
a 7 9 10 19 20 26 28 29 34 36 41 45 46 48 56 57 58 59 62 66 67 74 75 76 77 78
a 7 9 10 19 20 26 28 29 34 36 40 41 46 48 56 57 58 59 62 66 67 74 75 76 77 78
a 7 9 10 19 20 26 28 29 34 36 40 41 46 48 54 56 57 58 59 62 66 67 74 76 77 78
a 7 9 10 19 20 26 28 29 36 40 41 46 48 54 56 57 58 59 62 63 66 67 74 76 77 78
a 5 7 9 10 19 20 26 28 29 36 40 41 46 48 54 56 57 58 59 62 63 66 74 76 77 78
a 7 9 10 15 19 20 26 28 29 36 40 41 46 48 54 56 57 58 59 62 63 66 74 76 77 78
a 5 7 9 15 19 20 26 28 29 36 40 41 46 48 54 56 57 58 59 62 63 66 74 76 77 78
a 5 7 9 15 19 20 26 28 29 36 40 41 46 48 49 54 56 57 58 59 62 63 66 74 77 78
a 5 7 9 15 19 26 28 29 36 40 41 46 48 49 50 54 56 57 58 59 62 63 66 74 77 78
a 5 7 9 15 19 24 26 28 29 36 40 41 46 48 49 50 54 56 57 58 59 63 66 74 77 78
a 5 7 9 15 19 24 26 28 29 36 40 41 46 48 50 54 56 57 58 59 63 66 68 74 77 78
a 5 7 9 15 19 24 26 28 36 40 41 46 47 48 50 54 56 57 58 59 63 66 68 74 77 78
a 2 5 7 9 15 19 24 26 28 36 40 41 46 47 48 50 54 56 57 59 63 66 68 74 77 78
a 2 5 7 9 15 19 21 24 26 28 36 40 41 46 47 48 50 54 56 57 59 63 66 68 77 78
a 2 5 7 9 15 17 19 21 24 26 28 36 40 41 46 47 48 50 54 56 57 59 63 66 68 77
a 2 5 7 9 15 17 19 21 24 26 28 31 36 40 41 46 47 48 50 54 56 57 59 63 68 77
a 2 5 7 9 15 17 19 21 24 26 28 31 36 40 41 46 47 48 50 52 54 56 57 59 68 77
a 2 5 7 9 17 19 21 24 26 28 31 36 40 41 46 47 48 50 52 54 56 57 59 65 68 77
c Step: 355
#END: [Tue Sep  5 06:54:32 2023]