#BEGIN: [Mon Sep  4 15:51:51 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance006_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance006_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance006_graph001.col /benchmark/random_instance/random_instance006_graph001_01.dat
c /benchmark/random_instance/random_instance006_graph001.col
c /benchmark/random_instance/random_instance006_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID a9044a69c93cc1c392697e0e3ea6218c5699260b53417fabae37892b1a7db28e
s 47 4 44 12 63 17 49 24 27 77 6 29 43 15 75 73 52 36 31 21 57 25 5
t 11 55 67 28 10 12 44 37 27 58 65 78 15 13 76 33 57 54 17 77 71 8 53
a YES
a 4 5 6 12 15 17 21 24 25 27 29 31 36 43 44 47 49 52 57 63 73 75 77
a 4 5 6 11 12 15 17 21 24 27 29 31 36 43 44 47 49 52 57 63 73 75 77
a 4 5 6 11 12 15 17 21 24 27 29 31 36 40 43 44 47 49 52 63 73 75 77
a 4 5 6 11 15 16 17 21 24 27 29 31 36 40 43 44 47 49 52 63 73 75 77
a 4 5 6 11 15 16 17 21 24 27 29 31 36 39 43 44 47 49 52 63 73 75 77
a 5 6 11 15 16 17 21 24 27 29 31 36 39 43 44 47 49 52 63 66 73 75 77
a 4 5 11 15 16 17 21 24 27 29 31 36 39 43 44 47 49 52 63 66 73 75 77
a 4 11 15 16 17 21 24 27 29 31 36 39 43 44 47 49 52 63 66 73 74 75 77
a 4 11 15 16 17 21 24 27 29 31 36 39 42 43 44 47 49 52 63 66 73 74 75
a 4 6 11 15 16 17 21 24 27 29 31 36 39 42 43 44 47 49 52 63 66 73 74
a 4 6 11 15 16 17 21 24 27 29 31 36 39 40 42 43 44 47 49 52 63 66 73
a 4 6 11 15 16 17 21 24 27 29 31 36 39 40 42 43 44 47 49 52 63 73 75
a 4 6 11 15 16 17 21 24 27 29 31 36 39 40 42 43 44 47 49 63 66 73 75
a 4 6 11 15 16 17 21 24 27 29 31 36 39 40 42 43 44 47 49 63 66 73 74
a 4 6 11 15 16 17 21 24 27 29 31 36 39 40 42 43 44 47 49 51 63 66 74
a 4 6 11 15 16 17 21 24 27 29 31 36 39 40 43 44 47 49 51 52 63 66 74
a 4 6 11 15 16 17 24 27 29 31 36 39 40 43 44 47 49 51 52 63 66 73 74
a 4 6 11 15 16 17 24 27 29 31 36 39 40 42 43 44 47 49 51 52 63 66 73
a 6 11 15 16 17 21 24 27 29 31 36 39 40 42 43 44 47 49 51 52 63 66 73
a 4 6 11 15 16 17 21 24 27 29 36 39 40 42 43 44 47 49 51 52 63 66 73
a 4 6 11 15 16 17 21 24 27 29 31 36 39 40 42 43 44 47 49 51 52 63 73
a 4 6 11 15 16 17 21 24 27 29 31 36 39 40 42 43 44 47 49 51 52 73 74
a 4 11 15 16 17 21 24 27 29 31 36 39 40 42 43 44 47 49 51 52 63 73 74
a 4 11 14 15 16 17 21 24 27 29 31 36 39 40 42 43 44 47 49 51 63 73 74
a 4 11 14 16 17 21 24 27 29 31 36 39 40 42 43 44 47 49 51 63 69 73 74
a 4 11 14 16 17 21 24 27 29 31 33 36 39 40 42 43 44 47 49 51 69 73 74
a 4 11 14 16 17 21 24 27 29 31 33 36 39 40 42 43 44 47 49 51 66 69 74
a 4 11 14 16 17 21 24 27 29 31 33 36 39 40 42 43 44 47 49 51 63 66 69
a 4 11 14 16 17 21 24 27 29 31 33 36 39 40 42 43 44 47 49 54 63 66 69
a 4 11 14 16 17 21 24 27 29 31 33 36 39 40 42 43 44 49 54 63 65 66 69
a 4 14 16 17 21 24 27 29 31 33 36 39 40 42 43 44 47 49 54 63 65 66 69
a 4 11 14 16 17 21 24 27 29 31 33 36 39 40 42 43 44 47 49 63 65 66 69
a 4 11 14 16 17 21 24 27 29 31 33 36 39 40 43 44 47 49 54 63 65 66 69
a 4 11 14 16 17 21 24 27 29 31 33 36 39 40 43 47 49 54 63 65 66 69 74
a 4 11 14 16 17 21 24 27 29 31 33 36 39 40 42 43 47 49 54 65 66 69 74
a 4 11 14 16 17 21 24 27 29 33 36 39 40 42 43 47 49 51 54 65 66 69 74
a 4 11 16 17 21 24 27 29 33 36 39 40 42 43 44 47 49 51 54 65 66 69 74
a 4 11 16 17 21 24 27 29 31 33 36 39 40 42 43 44 49 51 54 65 66 69 74
a 4 11 16 17 21 24 27 31 33 36 39 40 42 43 44 47 49 51 54 65 66 69 74
a 4 11 16 17 21 24 31 33 36 39 40 42 43 44 47 49 51 54 63 65 66 69 74
a 4 11 16 17 21 24 33 36 39 40 42 43 44 47 49 51 52 54 63 65 66 69 74
a 4 11 16 17 21 24 33 36 39 40 42 43 44 47 49 51 52 54 63 65 66 69 73
a 4 11 16 17 21 24 27 33 36 39 40 42 43 44 47 49 51 52 54 63 65 66 69
a 4 11 16 17 21 24 27 29 33 36 39 40 42 43 44 47 49 51 52 54 63 65 69
a 4 11 16 17 21 24 27 29 31 33 36 39 40 42 43 44 47 49 51 52 54 63 65
a 4 11 16 17 21 24 27 29 31 33 36 39 40 42 43 44 47 49 51 52 54 63 69
a 4 11 16 17 21 24 27 28 29 31 33 36 39 40 42 43 44 47 51 52 54 63 69
a 4 11 16 17 21 27 28 29 31 33 36 39 40 42 43 44 47 51 52 54 63 69 76
a 4 11 16 17 21 27 29 31 33 36 39 40 42 43 44 47 51 52 54 63 69 74 76
a 4 16 17 21 27 29 31 33 36 39 40 42 43 44 47 51 52 54 63 65 69 74 76
a 4 16 17 21 27 29 31 33 36 39 40 42 43 44 47 52 54 63 65 66 69 74 76
a 4 16 17 21 25 27 29 31 33 36 39 40 42 43 44 47 52 54 63 65 66 69 74
a 4 16 17 21 25 27 29 31 33 36 39 40 42 44 47 52 54 63 65 66 69 74 76
a 4 16 17 21 25 27 29 31 33 36 39 40 44 47 52 54 61 63 65 66 69 74 76
a 4 16 17 21 25 27 29 31 33 36 39 40 42 47 52 54 61 63 65 66 69 74 76
a 16 17 21 25 27 29 31 33 36 39 40 42 43 47 52 54 61 63 65 66 69 74 76
a 16 17 21 25 27 29 31 33 36 39 40 42 43 47 52 54 61 63 65 69 74 75 76
a 16 17 21 25 27 29 31 33 36 39 40 42 43 47 52 54 61 63 65 73 74 75 76
a 16 17 21 25 27 29 31 33 36 39 40 42 43 47 52 54 61 63 65 69 73 74 75
a 16 17 21 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 69 73 75
a 16 17 21 25 27 29 31 33 36 39 42 43 44 47 52 54 61 63 65 69 73 74 75
a 16 17 21 25 27 29 31 33 36 39 42 43 44 47 54 61 63 65 69 73 74 75 76
a 16 21 25 27 29 31 33 36 39 40 42 43 44 47 54 61 63 65 69 73 74 75 76
a 16 21 25 27 28 29 31 33 36 39 42 43 44 47 54 61 63 65 69 73 74 75 76
a 16 21 25 27 28 29 31 33 36 39 40 42 43 44 47 54 61 63 65 69 73 74 75
a 16 21 25 27 28 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 73 74 75
a 16 17 21 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 73 74 75
a 16 17 21 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 66 73 74 75
a 16 17 21 25 27 29 31 36 39 40 42 43 44 47 52 54 61 63 65 66 73 74 75
a 17 21 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 66 73 74 75
a 16 21 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 66 73 74 75
a 16 17 21 25 27 29 31 33 39 40 42 43 44 47 52 54 61 63 65 66 73 74 75
a 16 17 21 25 27 29 31 33 36 39 40 42 43 44 52 54 61 63 65 66 73 74 75
a 16 17 21 25 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 66 73 74 75
a 16 17 21 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 66 73 74
a 16 17 21 25 27 29 31 33 36 39 40 42 43 47 52 54 61 63 65 66 73 74 76
a 16 21 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 66 73 74 76
a 16 17 21 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 73 74 76
a 16 17 21 25 27 29 33 36 39 40 42 43 44 47 52 54 61 63 65 69 73 74 76
a 16 17 21 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 69 73 74
a 16 17 21 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 69 74 75
a 16 17 21 24 25 27 29 31 33 39 40 42 43 44 47 52 54 61 63 65 69 74 75
a 16 17 21 24 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 69 74 75
a 16 17 21 24 25 27 29 31 33 36 39 40 42 43 47 52 54 61 63 65 69 74 75
a 16 17 20 21 25 27 29 31 33 36 39 40 42 43 47 52 54 61 63 65 69 74 75
a 17 20 21 25 27 28 29 31 33 36 39 40 42 43 47 52 54 61 63 65 69 74 75
a 17 21 25 27 28 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 69 74 75
a 21 22 25 27 28 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 69 74 75
a 21 22 25 27 28 31 33 36 39 40 42 43 44 47 52 53 54 61 63 65 69 74 75
a 21 22 25 27 28 31 33 35 36 39 40 42 43 44 47 52 53 54 61 63 65 74 75
a 4 21 22 25 27 28 31 33 35 36 39 40 42 43 47 52 53 54 61 63 65 74 75
a 4 20 21 22 25 27 28 31 33 35 36 39 40 42 43 47 52 53 54 61 63 65 75
a 4 20 21 22 25 27 28 31 33 35 36 39 40 42 43 47 53 54 61 63 65 74 75
a 4 21 22 25 27 28 31 33 35 36 39 40 42 43 44 47 53 54 61 63 65 74 75
a 4 21 22 25 27 28 31 33 35 36 39 40 42 43 44 47 52 54 61 63 65 74 75
a 21 22 25 27 28 29 31 33 35 36 39 40 42 43 44 47 52 54 61 63 65 74 75
a 4 21 22 25 28 29 31 33 35 36 39 40 42 43 44 47 52 54 61 63 65 74 75
a 4 21 22 25 28 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 69 74 75
a 4 22 25 27 28 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 69 74 75
a 4 22 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 66 69 74 75
a 22 24 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 66 69 74 75
a 22 24 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 66 73 74 75
a 17 24 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 66 73 74 75
a 16 17 24 25 27 29 33 36 39 40 42 43 44 47 52 54 61 63 65 66 73 74 75
a 16 17 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 66 73 74 75
a 16 17 24 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 65 66 73 75
a 16 17 21 24 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 66 73 75
a 16 17 21 24 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 66 74 75
a 16 17 21 24 25 27 29 31 33 36 39 40 42 43 44 47 52 61 63 66 73 74 75
a 16 21 24 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 66 73 74 75
a 21 24 25 27 29 31 33 36 39 40 42 43 44 47 52 54 61 63 66 69 73 74 75
a 16 21 24 25 27 29 31 33 36 40 42 43 44 47 52 54 61 63 66 69 73 74 75
a 16 21 24 25 27 29 31 33 36 39 40 42 43 44 52 54 61 63 66 69 73 74 75
a 16 17 21 24 25 27 29 31 33 36 39 40 42 43 44 52 54 61 63 69 73 74 75
a 4 16 17 21 24 25 27 29 31 33 36 39 42 43 44 52 54 61 63 69 73 74 75
a 4 16 17 21 24 25 27 29 31 33 36 39 40 42 43 44 52 54 61 63 69 73 75
a 4 17 21 24 25 27 29 31 33 36 39 40 42 43 44 52 54 61 63 69 73 74 75
a 4 16 21 24 25 27 29 31 33 36 39 40 42 43 44 52 54 61 63 69 73 74 75
a 4 16 21 24 25 27 29 31 33 36 39 40 42 43 44 52 54 61 63 66 69 73 74
a 4 16 21 24 25 27 29 31 33 39 40 42 43 44 52 54 55 61 63 66 69 73 74
a 4 16 21 24 25 27 29 31 33 39 40 43 44 52 54 55 61 63 66 69 73 74 77
a 4 16 17 21 24 25 27 29 31 33 39 40 43 44 52 54 55 63 66 69 73 74 77
a 4 16 17 21 24 25 27 29 31 33 39 40 42 43 44 52 54 55 63 66 69 73 74
a 16 17 21 24 25 27 29 31 33 39 40 42 43 44 49 52 54 55 63 66 69 73 74
a 4 16 17 24 25 27 29 31 33 39 40 42 43 44 49 52 54 55 63 66 69 73 74
a 16 17 24 25 27 29 31 33 39 40 42 43 44 47 49 52 54 55 63 66 69 73 74
a 16 17 24 25 27 29 31 33 39 40 42 43 44 47 51 52 54 55 63 66 69 73 74
a 4 16 17 24 25 27 29 31 33 39 40 42 43 44 47 51 52 54 63 66 69 73 74
a 4 16 17 24 25 27 29 31 33 39 40 42 43 44 47 51 52 54 55 63 66 69 74
a 4 16 17 24 25 27 29 31 33 36 39 40 42 43 44 47 51 52 54 63 66 69 74
a 16 17 24 25 27 29 31 33 36 39 40 42 43 44 47 49 51 52 54 63 66 69 74
a 14 16 17 24 25 27 29 31 33 36 39 40 42 43 44 47 49 51 54 63 66 69 74
a 14 16 22 24 25 27 29 31 33 36 39 40 42 43 44 47 49 51 54 63 66 69 74
a 14 16 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 66 69
a 14 16 21 22 24 25 27 29 31 33 36 39 40 42 43 44 47 49 51 54 63 66 69
a 14 16 21 22 24 25 27 29 31 33 39 40 42 43 44 47 49 51 54 55 63 66 69
a 14 21 22 24 25 27 29 31 33 38 39 40 42 43 44 47 49 51 54 55 63 66 69
a 14 21 22 24 25 27 29 31 33 38 39 40 42 43 44 47 49 51 54 63 65 66 69
a 14 21 22 24 25 27 29 31 38 39 40 42 43 44 47 49 51 54 63 65 66 69 73
a 14 21 22 25 27 29 31 38 39 40 42 43 44 47 49 51 54 55 63 65 66 69 73
a 14 21 25 27 29 31 33 38 39 40 42 43 44 47 49 51 54 55 63 65 66 69 73
a 14 21 24 25 27 29 31 33 38 40 42 43 44 47 49 51 54 55 63 65 66 69 73
a 21 24 25 27 29 31 33 38 40 42 43 44 47 49 51 52 54 55 63 65 66 69 73
a 21 24 27 29 31 33 38 39 40 42 43 44 47 49 51 52 54 55 63 65 66 69 73
a 21 22 24 27 29 31 33 38 39 40 42 43 44 47 49 51 52 54 55 63 65 66 69
a 21 22 24 25 27 29 31 33 38 39 40 42 43 44 47 49 51 52 54 55 63 65 66
a 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 65 66
a 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 65 66 73
a 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 65 69 73
a 14 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 65 69 73
a 14 16 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 65 69
a 14 16 22 24 25 27 29 31 33 38 39 40 42 43 44 47 49 51 54 55 63 65 69
a 14 16 22 24 25 27 29 31 33 39 40 42 43 44 47 49 51 54 55 63 65 69 74
a 14 16 22 24 25 27 29 31 33 39 40 42 43 47 49 51 54 55 63 65 66 69 74
a 14 16 22 24 25 27 29 31 33 39 40 43 44 47 49 51 54 55 63 65 66 69 74
a 14 16 22 24 25 27 29 31 39 40 42 43 44 47 49 51 54 55 63 65 66 69 74
a 14 16 24 25 27 29 31 39 40 42 43 44 47 49 51 54 55 63 65 66 69 73 74
a 4 14 16 24 25 27 29 39 40 42 43 44 47 49 51 54 55 63 65 66 69 73 74
a 4 14 24 25 27 29 31 39 40 42 43 44 47 49 51 54 55 63 65 66 69 73 74
a 4 14 21 24 25 29 31 39 40 42 43 44 47 49 51 54 55 63 65 66 69 73 74
a 4 21 24 25 27 29 31 39 40 42 43 44 47 49 51 54 55 63 65 66 69 73 74
a 4 21 24 25 27 29 31 38 39 40 42 43 44 47 49 51 54 55 63 65 66 69 73
a 4 14 21 24 25 27 29 31 38 39 40 43 44 47 49 51 54 55 63 65 66 69 73
a 4 14 16 21 24 25 27 29 31 38 39 40 43 44 47 49 51 54 55 65 66 69 73
a 4 14 16 21 22 24 25 27 29 31 38 39 43 44 47 49 51 54 55 65 66 69 73
a 14 16 21 22 24 25 27 29 31 38 39 43 44 47 49 51 54 55 63 65 66 69 73
a 14 16 21 24 25 27 29 31 33 38 39 43 44 47 49 51 54 55 63 65 66 69 73
a 14 16 21 24 25 27 29 31 33 39 40 43 44 47 49 51 54 55 63 65 66 69 73
a 14 16 21 24 25 27 29 31 33 38 39 40 43 44 47 49 51 54 55 63 65 66 73
a 14 21 22 24 25 27 29 31 33 38 39 40 43 44 47 49 51 54 55 63 65 66 73
a 14 21 24 25 27 29 31 33 38 39 40 42 43 44 47 49 51 54 55 63 65 66 73
a 14 16 24 25 27 29 31 33 38 39 40 42 43 44 47 49 51 54 55 63 65 66 73
a 16 21 24 25 27 29 31 33 38 39 40 42 43 44 47 49 51 54 55 63 65 66 73
a 16 21 24 25 27 29 33 38 39 40 42 43 44 47 49 51 54 55 63 65 66 69 73
a 16 21 24 25 27 29 33 36 38 39 40 42 43 44 47 49 51 54 63 65 66 69 73
a 21 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 65 66 69 73
a 16 21 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 65 66 69
a 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 66 69
a 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 69
a 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 63 66 69
a 16 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 52 63 65 66 69
a 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 65 66 69
a 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 63 65 66
a 2 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 65 66
a 2 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 52 54 65 66
a 2 16 21 22 24 25 27 29 33 36 38 39 40 42 43 44 47 49 51 52 54 65 66
a 2 15 16 21 22 24 25 27 29 33 36 38 39 40 42 43 44 47 49 51 52 54 65
a 2 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 65
a 2 4 16 21 22 24 25 27 31 33 36 38 39 40 42 43 44 47 49 51 52 54 65
a 2 4 16 21 22 24 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 65
a 2 4 16 21 22 24 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 65 66
a 4 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 65 66
a 4 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 65 66
a 4 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 66
a 4 16 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 66
a 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 66
a 16 21 22 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 65 66
a 2 16 21 22 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 65 66
a 2 16 21 22 25 27 29 31 33 36 38 39 40 42 43 44 49 51 52 54 63 65 66
a 2 16 21 22 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 65
a 2 16 21 22 25 27 29 31 33 36 38 39 40 43 44 47 49 51 52 54 63 65 73
a 2 16 21 22 25 27 29 31 33 36 38 39 40 42 43 44 49 51 52 54 63 65 73
a 2 16 21 22 25 27 29 31 33 36 38 39 40 42 43 49 51 52 54 62 63 65 73
a 16 21 22 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63 65 73
a 4 16 21 22 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63 65
a 4 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63
a 4 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63 65
a 4 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 54 62 63 65 69
a 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 54 62 63 65 69
a 4 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 54 62 63 65
a 4 8 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 54 62 63 65
a 4 8 14 21 22 24 25 27 29 31 33 36 38 39 42 43 47 49 51 54 62 63 65
a 4 14 16 21 22 24 25 27 29 31 33 36 38 39 42 43 47 49 51 54 62 63 65
a 4 14 16 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 54 62 63 65
a 4 14 15 16 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 54 62 63 65
a 14 15 16 21 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 54 62 63 65
a 14 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 54 62 65
a 4 14 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 54 62
a 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 62
a 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63
a 4 15 16 21 22 24 25 27 29 31 36 38 39 40 42 43 47 49 51 52 54 62 63
a 15 16 21 22 24 25 27 29 31 36 38 39 40 42 43 47 49 51 52 54 62 63 73
a 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 62 63 73
a 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 62 63 65 73
a 4 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 62 63 65
a 4 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 62 63 65 73
a 4 16 21 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 62 63 65 73
a 4 16 21 22 24 25 27 29 31 33 38 39 40 42 43 47 49 51 52 62 63 65 73
a 4 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 62 65 73
a 4 16 21 22 24 25 27 29 31 36 38 39 40 42 43 47 49 51 52 62 63 65 73
a 16 21 22 24 25 27 29 31 36 38 39 40 42 43 47 49 51 52 54 62 63 65 73
a 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63 65 73
a 15 21 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63 65 73
a 15 16 21 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 63 65 73
a 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 63 65
a 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 65
a 14 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 65
a 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 65 66
a 14 16 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 65 66
a 14 16 21 22 24 25 27 29 33 36 38 39 40 42 43 44 47 49 51 54 63 65 66
a 2 16 21 22 24 25 27 29 33 36 38 39 40 42 43 44 47 49 51 54 63 65 66
a 2 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 65 66
a 2 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 54 63 65 66
a 2 14 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 54 63 66
a 14 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 66
a 14 15 16 21 22 24 25 27 29 31 33 36 38 39 40 43 44 47 49 51 54 63 66
a 15 16 21 22 24 25 27 29 31 33 36 38 39 40 43 44 47 49 51 54 63 66 73
a 15 16 21 22 24 25 27 29 31 33 36 38 39 42 43 44 47 49 51 54 63 66 73
a 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 66
a 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63
a 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63
a 4 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 69
a 4 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 66 69
a 4 14 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 54 66 69
a 4 14 16 21 22 24 25 27 29 31 33 36 39 40 42 43 44 47 49 54 66 69 74
a 4 14 15 16 21 22 24 25 27 29 31 33 36 39 40 42 43 44 47 49 54 66 74
a 4 14 15 16 21 22 24 25 27 29 31 33 36 39 40 42 43 44 47 49 54 63 66
a 4 14 15 16 21 22 24 25 27 29 31 33 36 39 40 42 43 44 49 54 63 65 66
a 4 15 16 21 22 24 25 27 29 31 33 36 39 40 42 43 44 49 54 63 65 66 73
a 4 15 16 21 22 24 25 27 29 31 33 36 39 40 42 43 44 47 49 54 63 65 66
a 4 15 16 21 22 24 25 27 29 31 33 36 39 40 42 43 44 47 49 63 65 66 73
a 15 16 21 22 24 25 27 29 31 33 36 39 40 42 43 44 47 49 51 63 65 66 73
a 15 16 21 22 25 27 29 31 33 36 39 40 42 43 44 47 49 51 63 65 66 73 74
a 16 21 22 25 27 29 31 33 36 39 40 42 43 44 47 49 51 63 65 66 69 73 74
a 16 22 25 27 29 31 33 36 39 40 42 43 44 47 49 51 54 63 65 66 69 73 74
a 21 22 25 27 29 31 33 36 39 40 42 43 44 47 49 51 54 63 65 66 69 73 74
a 21 22 24 25 29 31 33 36 39 40 42 43 44 47 49 51 54 63 65 66 69 73 74
a 16 21 22 24 25 29 31 33 36 39 40 42 43 44 47 49 51 54 63 65 66 69 74
a 16 21 22 24 25 27 29 33 36 39 40 42 43 44 47 49 51 54 63 65 66 69 74
a 16 21 22 24 25 27 29 30 33 36 39 40 42 43 44 47 49 51 54 65 66 69 74
a 4 16 21 22 24 25 27 29 30 33 36 39 40 42 43 44 47 49 51 54 65 66 69
a 16 21 22 24 25 27 29 30 33 36 38 39 40 42 43 44 47 49 51 54 65 66 69
a 2 16 21 22 24 25 27 29 30 33 36 38 39 40 42 43 44 47 49 51 54 65 66
a 2 4 16 21 22 24 25 27 29 30 33 36 38 39 40 42 43 44 47 49 51 54 65
a 2 4 16 21 22 24 25 27 29 30 31 36 38 39 40 42 43 44 47 49 51 54 65
a 2 4 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 54
a 4 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54
a 2 4 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54
a 2 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54
a 2 4 16 21 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54
a 2 16 21 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 73
a 2 4 16 21 24 25 27 29 30 31 33 38 39 40 42 43 44 47 49 51 52 54 73
a 2 4 16 21 24 25 27 29 30 31 33 36 38 39 40 42 43 44 49 51 52 54 73
a 2 4 16 21 24 25 27 29 30 31 33 36 39 40 42 43 44 47 49 51 52 54 73
a 2 4 16 21 25 27 29 30 31 33 36 39 40 42 43 44 47 49 51 52 54 65 73
a 2 4 16 21 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 65
a 4 16 21 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 65
a 4 16 21 22 24 25 27 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 65
a 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 65
a 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 66
a 4 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 66
a 4 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 66
a 4 15 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 66
a 4 15 21 22 24 25 27 29 31 33 38 39 40 42 43 44 47 49 51 52 54 63 66
a 4 15 16 21 22 24 25 27 29 31 33 38 39 40 42 43 44 47 51 52 54 63 66
a 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 51 52 54 63 66
a 4 15 16 21 22 24 25 29 31 33 36 38 39 40 42 43 44 47 51 52 54 63 66
a 4 15 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 51 52 54 63 66
a 4 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 52 54 63 66
a 4 15 16 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 52 54 63 66
a 4 15 16 21 22 25 27 29 31 33 36 38 40 42 43 44 47 49 51 52 54 63 66
a 4 15 16 21 22 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 63 66
a 4 15 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 63 66
a 4 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 63 66 69
a 4 16 21 22 24 25 27 29 31 36 38 39 40 42 43 44 47 49 51 52 63 66 69
a 4 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 63 66
a 4 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 63 69
a 4 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 66 69
a 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 66 69
a 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 66 69
a 16 21 22 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 66 69
a 16 21 22 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 66 73
a 2 21 22 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 66 73
a 4 21 22 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 66 73
a 4 15 21 22 25 27 29 31 33 36 38 39 40 42 44 47 49 51 52 54 63 66 73
a 2 4 15 21 22 25 27 29 31 33 36 38 39 42 44 47 49 51 52 54 63 66 73
a 2 4 15 21 25 27 29 31 33 36 38 39 42 43 44 47 49 51 52 54 63 66 73
a 2 4 15 21 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 66 73
a 2 15 21 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 66 73
a 2 21 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 66 73
a 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 66 73
a 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 73
a 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 65 73
a 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 65 66 73
a 16 22 24 25 27 29 30 31 33 36 38 39 40 42 43 47 49 51 52 54 65 66 73
a 2 16 22 24 25 27 29 30 31 33 36 38 39 40 42 43 47 49 51 52 54 66 73
a 2 15 16 22 24 25 27 29 30 31 33 36 38 39 40 42 47 49 51 52 54 66 73
a 2 15 16 22 24 25 27 29 30 31 33 36 38 39 40 42 43 47 49 51 54 66 73
a 2 15 16 22 24 25 27 29 30 31 33 36 38 39 40 42 43 47 49 51 54 65 66
a 2 15 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 47 49 51 54 65 66
a 2 4 15 16 22 24 25 27 29 30 31 33 36 38 39 40 42 47 49 51 54 65 66
a 2 4 15 16 22 24 25 27 29 30 31 33 36 38 39 40 42 43 47 49 51 54 65
a 2 4 15 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 47 49 54 65
a 2 4 15 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 49 51 54 65
a 2 4 15 16 21 22 24 25 27 29 30 31 33 36 38 39 40 43 49 51 52 54 65
a 2 4 15 16 21 22 24 25 27 29 30 33 36 38 39 40 43 47 49 51 52 54 65
a 2 4 15 16 21 22 24 25 27 29 33 36 38 39 40 43 47 49 51 52 54 63 65
a 2 4 15 16 21 22 24 25 27 29 33 36 38 40 42 43 47 49 51 52 54 63 65
a 2 4 15 16 21 22 24 25 27 29 31 33 36 38 40 42 43 47 49 51 52 54 65
a 2 4 15 16 21 22 24 25 27 29 31 36 38 40 42 43 44 47 49 51 52 54 65
a 2 4 16 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 52 54 65
a 2 4 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 65
a 2 15 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 65
a 2 15 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63
a 2 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 63
a 2 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 63 73
a 2 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 73
a 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 63 73
a 15 16 21 22 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 63 65 73
a 15 16 21 22 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 65 73
a 15 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 52 65 73
a 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 52 65 66 73
a 2 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 52 65 66 73
a 2 4 16 21 22 24 27 29 31 33 36 38 39 40 42 43 44 47 49 52 65 66 73
a 2 16 21 22 24 27 29 30 31 33 36 38 39 40 42 43 44 47 49 52 65 66 73
a 2 16 21 22 24 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 65 66 73
a 2 16 21 22 24 27 30 31 33 36 38 39 40 42 43 44 47 49 51 54 65 66 73
a 2 16 21 22 24 27 29 30 31 33 36 38 39 40 42 43 44 47 49 54 65 66 73
a 2 16 21 22 24 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 54 65 66
a 2 16 21 22 24 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 65 66
a 16 21 22 24 25 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 65 66
a 15 16 21 22 24 25 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 66
a 15 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54
a 2 15 16 21 22 24 25 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54
a 2 15 16 21 22 24 25 29 30 31 33 36 38 39 40 42 43 44 49 51 52 54 65
a 2 15 16 21 22 24 27 29 30 31 33 36 38 39 40 42 43 44 49 51 52 54 65
a 2 15 16 21 22 24 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54
a 2 15 16 21 22 24 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 73
a 15 16 21 22 24 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 73
a 2 15 16 21 22 24 27 29 30 31 33 36 38 39 40 42 43 44 47 49 52 54 73
a 2 15 16 21 22 24 27 29 30 31 33 36 38 39 40 42 43 47 49 52 54 62 73
a 2 4 15 16 21 22 24 27 29 30 31 33 36 38 39 40 42 43 47 52 54 62 73
a 4 15 16 21 22 24 27 29 30 31 33 36 38 39 40 42 43 47 49 52 54 62 73
a 4 15 16 21 22 24 27 29 30 31 33 36 38 39 40 42 43 47 49 51 52 54 62
a 15 16 21 22 24 27 29 30 31 33 36 38 39 40 42 43 47 49 51 52 54 62 65
a 4 15 16 21 22 24 29 30 31 33 36 38 39 40 42 43 47 49 51 52 54 62 65
a 4 16 21 22 24 27 29 30 31 33 36 38 39 40 42 43 47 49 51 52 54 62 65
a 2 4 16 21 22 24 29 30 31 33 36 38 39 40 42 43 47 49 51 52 54 62 65
a 2 4 15 16 21 22 24 29 30 31 36 38 39 40 42 43 47 49 51 52 54 62 65
a 2 4 15 16 21 24 27 29 30 31 36 38 39 40 42 43 47 49 51 52 54 62 65
a 2 4 16 21 22 24 27 29 30 31 36 38 39 40 42 43 47 49 51 52 54 62 65
a 2 16 21 22 24 27 29 30 31 33 36 38 39 40 42 43 47 49 51 52 54 62 65
a 2 4 16 21 22 24 27 29 30 31 33 36 38 39 40 42 43 47 49 51 52 54 65
a 2 4 16 21 22 24 27 29 30 31 33 36 38 39 40 43 47 49 51 52 54 62 65
a 2 4 16 21 22 24 27 29 30 31 33 38 39 40 42 43 47 49 51 52 54 62 65
a 2 4 15 16 21 22 24 27 29 30 31 33 39 40 42 43 47 49 51 52 54 62 65
a 2 4 15 16 21 22 24 27 29 30 31 33 39 40 42 43 47 49 51 52 54 65 73
a 2 15 16 21 22 24 27 29 30 31 33 39 40 42 43 47 49 51 52 54 62 65 73
a 2 4 15 16 21 22 24 27 29 30 31 33 39 40 42 43 47 49 51 52 54 62 73
a 4 15 16 21 22 24 25 27 29 30 31 33 39 40 42 43 47 49 51 52 54 62 73
a 4 15 16 21 22 24 25 27 29 31 33 39 40 42 43 47 49 51 52 54 62 63 73
a 4 15 21 22 24 25 27 29 31 33 38 39 40 42 43 47 49 51 52 54 62 63 73
a 4 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63 73
a 4 15 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63
a 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 49 51 52 54 62 63
a 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 49 51 52 54 63
a 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 49 51 52 54 65
a 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 49 51 52 54 63 65
a 4 15 16 21 22 24 25 29 31 33 36 38 39 40 42 43 47 49 51 52 54 63 65
a 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 63
a 4 15 16 21 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63
a 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 63
a 4 15 16 21 22 24 25 27 29 31 33 38 39 40 42 43 44 47 49 51 52 54 63
a 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 52 54 63
a 2 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 52 54 63
a 2 15 16 21 22 24 25 27 29 31 36 38 39 40 42 43 44 47 49 51 52 54 63
a 2 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63
a 2 4 16 21 22 24 25 27 29 31 33 36 38 39 40 42 44 47 49 51 52 54 63
a 2 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 44 47 49 51 52 54
a 2 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52
a 2 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 44 47 49 51 52 63
a 2 4 15 16 21 22 24 25 27 31 33 36 38 39 40 42 43 44 47 49 51 52 63
a 2 15 16 21 22 24 25 27 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63
a 2 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 49 51 52 54 63
a 2 15 16 21 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63
a 2 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54
a 2 15 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52
a 2 15 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 44 47 49 51 52 54
a 2 15 16 21 22 24 25 27 29 30 31 33 36 39 40 42 43 44 47 49 51 52 54
a 2 15 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 54
a 2 4 15 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51
a 2 4 15 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 51 52
a 2 4 15 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 52 66
a 2 4 15 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 51 66
a 2 4 15 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 51 65 66
a 2 4 15 16 21 22 24 25 29 30 31 33 36 38 39 40 42 43 44 49 51 65 66
a 2 4 15 16 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 49 51 65 66
a 2 4 15 16 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 49 51 54 65
a 2 4 15 16 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 51 52 54 65
a 4 15 16 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 49 51 52 54 65
a 4 15 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 49 51 52 54
a 4 15 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54
a 4 15 21 22 24 25 27 29 30 33 36 38 39 40 42 43 44 47 49 51 52 54 65
a 4 15 21 22 24 25 27 29 30 31 36 38 39 40 42 43 44 47 49 51 52 54 65
a 4 15 21 22 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 65
a 4 15 16 21 22 24 25 27 30 31 33 36 38 39 40 42 43 44 47 49 51 52 65
a 2 4 15 16 21 22 24 25 27 30 31 33 36 38 39 40 43 44 47 49 51 52 65
a 2 4 15 16 21 22 24 25 27 30 31 33 36 38 39 40 43 47 49 51 52 62 65
a 2 4 16 21 22 24 25 27 30 31 33 36 38 39 40 43 47 49 51 52 54 62 65
a 2 4 16 21 22 24 25 27 30 31 33 36 38 39 40 42 43 47 49 51 52 54 65
a 4 16 21 22 24 25 27 30 31 33 36 38 39 40 42 43 47 49 51 52 54 62 65
a 4 16 21 22 24 25 27 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63 65
a 15 16 21 22 24 25 27 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63 65
a 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 47 49 51 52 54 62 63 65
a 15 16 21 22 24 25 27 29 31 33 36 38 39 42 43 47 49 51 52 54 62 63 65
a 15 16 21 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63 65
a 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63 65
a 16 21 24 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63 65 73
a 11 16 21 24 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63 65 73
a 11 16 21 24 27 29 31 33 38 39 40 42 43 47 49 51 52 54 55 62 63 65 73
a 11 16 21 24 27 29 31 33 38 39 40 42 43 49 51 52 54 55 62 63 65 73 78
a 11 16 21 24 27 29 31 33 38 39 40 42 43 44 49 51 52 54 55 63 65 73 78
a 11 16 17 21 24 27 29 31 33 39 40 42 43 44 49 51 52 54 55 63 65 73 78
a 11 16 17 21 27 29 31 33 39 40 42 43 44 49 51 52 54 55 63 65 73 76 78
a 11 16 17 21 27 29 31 33 39 40 43 44 49 51 52 54 55 63 65 73 76 77 78
a 10 11 16 17 21 27 29 31 33 39 40 43 44 49 52 54 55 63 65 73 76 77 78
a 10 11 13 16 17 21 27 29 31 33 39 40 43 44 49 52 54 55 63 65 76 77 78
a 10 11 13 15 16 17 21 27 29 31 33 40 43 44 49 52 54 55 63 65 76 77 78
a 10 11 13 15 16 17 21 27 28 29 31 33 40 43 44 52 54 55 63 65 76 77 78
a 10 11 12 13 15 17 21 27 28 29 31 33 40 43 44 52 54 55 63 65 76 77 78
a 8 10 11 12 13 15 17 21 27 28 29 31 33 40 43 44 54 55 63 65 76 77 78
a 8 10 11 12 13 15 17 21 27 28 29 31 33 43 44 54 55 57 63 65 76 77 78
a 8 10 11 12 13 15 17 27 28 29 31 33 37 43 44 54 55 57 63 65 76 77 78
a 8 10 11 12 13 15 17 27 28 31 33 37 43 44 54 55 57 58 63 65 76 77 78
a 8 10 11 12 13 15 17 27 28 31 33 37 44 53 54 55 57 58 63 65 76 77 78
a 8 10 11 12 13 15 17 27 28 31 33 37 44 53 54 55 57 58 65 71 76 77 78
a 8 10 11 12 13 15 17 27 28 33 37 44 53 54 55 57 58 65 67 71 76 77 78
c Step: 466
#END: [Mon Sep  4 16:21:51 2023]