#BEGIN: [Thu Aug 31 16:39:21 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest1 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/david.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/david_02.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/david.col /benchmark/2022benchmark/benchmark/color04/david_02.dat c /benchmark/2022benchmark/benchmark/color04/david.col c /benchmark/2022benchmark/benchmark/color04/david_02.dat TIMEOUT 1800 c send SIGTERM to CID 5e9bf7b9f859ed967ad99835c01a256726be23c2cd6c45716d6e9a9637a37a25 s 1 3 8 10 11 18 21 24 25 26 29 30 36 38 41 44 47 48 54 56 57 61 62 64 65 69 70 75 77 78 81 82 84 85 86 t 3 6 7 8 10 11 24 25 26 28 29 30 36 38 41 44 48 50 53 54 55 56 57 59 60 61 62 64 65 75 77 78 79 82 86 a YES a 1 3 8 10 11 18 21 24 25 26 29 30 36 38 41 44 47 48 54 56 57 61 62 64 65 69 70 75 77 78 81 82 84 85 86 a 1 3 8 10 11 18 21 24 25 26 29 30 36 38 41 44 47 48 54 56 57 61 62 63 64 65 69 70 75 78 81 82 84 85 86 a 1 3 8 10 11 18 21 24 25 26 29 30 36 38 41 44 47 48 53 54 56 57 61 62 63 64 65 69 70 75 78 82 84 85 86 a 1 3 8 10 11 18 21 24 25 26 29 30 36 38 41 44 47 48 53 54 55 56 57 61 62 63 64 65 69 75 78 82 84 85 86 a 1 3 8 10 11 18 21 24 25 26 29 30 36 38 41 44 47 48 50 53 54 55 56 57 61 62 63 64 65 69 75 78 82 85 86 a 1 3 8 10 11 18 21 24 25 26 29 30 36 38 41 44 47 48 50 54 55 56 57 61 62 63 64 65 69 75 78 81 82 85 86 a 1 3 8 10 11 18 21 24 25 26 29 30 36 38 41 44 45 47 48 54 55 56 57 61 62 63 64 65 69 75 78 81 82 85 86 a 1 3 8 10 11 18 21 24 25 26 29 30 36 38 41 44 45 47 48 54 56 57 61 62 63 64 65 69 70 75 78 81 82 85 86 a 1 3 8 10 11 18 21 24 25 26 29 30 36 38 41 44 45 47 48 54 56 57 61 62 64 65 69 70 75 77 78 81 82 85 86 a 1 3 8 10 11 18 21 25 26 29 30 36 38 41 44 45 47 48 54 56 57 61 62 64 65 69 70 75 77 78 80 81 82 85 86 a 1 3 8 10 11 18 21 25 26 29 30 36 38 41 44 45 47 48 54 55 56 57 61 62 64 65 69 75 77 78 80 81 82 85 86 a 1 3 8 10 11 18 21 25 26 29 30 36 38 41 44 45 47 48 53 54 55 56 57 61 62 64 65 69 75 77 78 80 82 85 86 a 1 3 7 8 10 11 18 21 25 26 30 36 38 41 44 45 47 48 53 54 55 56 57 61 62 64 65 69 75 77 78 80 82 85 86 a 1 3 7 8 10 11 18 21 25 26 30 36 38 41 44 45 47 48 53 54 55 56 57 60 61 62 64 65 69 75 77 78 80 82 86 a 1 3 7 8 10 11 18 21 25 26 29 30 36 38 41 44 45 47 53 54 55 56 57 60 61 62 64 65 69 75 77 78 80 82 86 a 1 3 7 8 10 11 18 21 25 26 29 30 36 38 41 44 45 47 48 53 54 55 56 57 60 62 64 65 69 75 77 78 80 82 86 a 1 3 7 8 10 11 18 21 25 26 29 30 36 38 41 44 45 47 48 53 54 55 56 57 60 61 62 65 69 75 77 78 80 82 86 a 1 3 7 8 10 11 18 21 25 26 29 30 36 38 41 44 45 47 48 53 54 55 56 57 60 61 64 65 69 75 77 78 80 82 86 a 1 3 7 8 10 11 18 21 25 26 29 30 36 38 41 44 45 47 48 53 54 55 56 57 60 61 62 64 65 75 77 78 80 82 86 a 1 3 7 8 10 11 21 25 26 29 30 36 38 41 44 45 47 48 53 54 55 56 57 59 60 61 62 64 65 75 77 78 80 82 86 a 1 3 7 8 10 11 21 25 26 29 30 36 38 41 44 45 47 48 53 54 55 56 57 59 61 62 64 65 75 77 78 80 82 85 86 a 1 3 7 8 10 11 21 25 26 29 30 36 38 41 44 45 47 48 53 54 55 56 57 59 61 62 63 64 65 75 78 80 82 85 86 a 1 3 7 8 10 11 21 25 26 29 36 38 39 41 44 45 47 48 53 54 55 56 57 59 61 62 63 64 65 75 78 80 82 85 86 a 1 3 7 8 10 11 21 25 26 29 36 38 39 41 44 45 47 48 53 54 55 56 57 59 60 61 62 63 64 65 75 78 80 82 86 a 1 3 7 8 10 11 21 25 26 29 36 38 39 41 44 45 47 48 53 54 55 57 59 60 61 62 63 64 65 69 75 78 80 82 86 a 1 3 7 8 10 11 21 25 26 29 36 38 39 41 44 47 48 50 53 54 55 57 59 60 61 62 63 64 65 69 75 78 80 82 86 a 1 3 7 8 10 11 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 57 59 60 61 62 63 64 65 69 75 78 82 86 a 1 3 7 8 10 11 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 63 64 65 69 75 78 82 86 a 1 3 7 8 10 11 16 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 86 a 1 3 7 8 10 11 16 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 78 80 82 86 a 1 3 7 8 10 11 16 21 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 86 a 1 3 7 8 10 11 16 21 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 68 75 78 82 86 a 1 3 7 8 10 11 16 21 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 61 62 64 65 68 75 78 82 85 86 a 1 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 61 62 64 65 68 75 78 82 85 86 a 1 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 61 62 64 65 69 75 78 82 85 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 61 62 64 65 69 75 78 82 85 86 a 1 3 6 7 8 10 11 16 21 24 25 26 27 29 36 38 39 41 44 48 50 53 54 55 56 57 61 62 64 65 69 75 78 82 86 a 1 3 5 6 7 8 10 11 16 21 24 25 26 27 29 36 38 39 41 44 48 50 53 54 55 56 57 61 62 64 65 69 75 82 86 a 1 3 5 6 7 8 10 11 16 18 21 24 25 26 27 29 36 38 39 41 44 48 50 53 55 56 57 61 62 64 65 69 75 82 86 a 1 3 5 6 7 8 10 11 16 18 21 24 25 26 29 36 38 39 41 44 48 50 53 55 56 57 60 61 62 64 65 69 75 82 86 a 1 3 6 7 8 10 11 16 18 21 24 25 26 29 36 38 39 41 44 48 50 53 55 56 57 60 61 62 64 65 69 75 78 82 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 50 53 55 56 57 59 60 61 62 64 65 69 75 78 82 86 a 3 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 86 a 3 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 56 57 59 60 61 62 64 65 69 70 75 78 82 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 56 57 60 61 62 64 65 69 70 75 78 82 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 36 38 41 44 48 50 53 54 56 57 59 60 61 62 64 65 69 70 75 78 82 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 56 59 60 61 62 64 65 69 70 75 78 82 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 56 57 59 60 61 62 64 65 69 70 75 78 86 a 1 3 6 7 8 10 11 15 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 56 57 59 60 62 64 65 69 70 75 78 86 a 1 3 6 8 10 11 15 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 56 57 59 60 62 64 65 69 70 75 78 82 86 a 1 3 6 7 8 10 11 15 16 21 24 25 26 29 36 38 39 41 48 50 53 54 56 57 59 60 62 64 65 69 70 75 78 82 86 a 1 3 6 7 8 10 11 15 16 21 24 25 26 29 36 38 39 41 48 50 53 54 55 56 57 59 60 62 64 65 69 75 78 82 86 a 1 3 6 7 8 10 11 15 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 62 64 65 69 75 78 86 a 1 3 6 7 8 10 11 15 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 62 64 65 69 75 77 78 86 a 1 3 6 7 8 10 11 15 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 62 64 65 68 75 77 78 86 a 1 3 7 8 10 11 15 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 62 64 65 68 75 77 78 86 a 1 3 7 8 10 11 15 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 62 64 65 68 75 77 78 82 a 1 3 7 8 10 11 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 68 75 77 78 82 a 1 3 7 8 10 11 21 24 25 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 68 75 77 78 82 86 a 1 3 7 8 10 11 15 21 24 25 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 62 64 65 68 75 77 78 82 86 a 1 3 7 8 10 11 15 21 24 25 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 62 64 65 69 75 77 78 82 86 a 1 3 7 8 10 11 15 21 25 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 62 64 65 69 75 77 78 80 82 86 a 1 3 7 8 10 11 15 16 21 25 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 62 64 65 69 75 78 80 82 86 a 1 3 6 7 8 10 11 15 16 21 25 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 62 64 65 69 75 78 80 82 86 a 1 3 5 6 7 8 10 11 15 16 21 25 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 62 64 65 69 75 80 82 86 a 1 3 5 6 7 8 10 11 15 16 18 21 25 29 36 38 39 41 44 48 50 53 54 55 56 57 60 62 64 65 69 75 80 82 86 a 1 3 5 6 7 8 10 11 15 16 18 21 25 29 36 38 39 41 44 48 53 54 55 56 57 60 62 64 65 69 75 80 82 84 86 a 1 3 5 6 7 8 10 11 15 16 18 21 25 29 36 38 39 41 44 48 53 54 55 56 57 60 62 64 65 68 75 80 82 84 86 a 1 3 5 6 7 8 10 11 15 16 18 21 25 29 36 38 39 41 44 45 48 53 54 55 56 57 60 62 64 65 68 75 80 82 86 a 1 3 5 6 7 8 10 11 16 18 21 25 26 29 36 38 39 41 44 45 48 53 54 55 56 57 60 62 64 65 68 75 80 82 86 a 1 3 6 7 8 10 11 16 18 21 25 26 29 36 38 39 41 44 45 48 53 54 55 56 57 60 61 62 64 65 68 75 80 82 86 a 1 3 6 7 8 10 11 16 18 21 25 26 29 36 38 39 41 45 48 53 54 55 56 57 60 61 62 64 65 68 75 78 80 82 86 a 1 3 6 7 8 10 11 16 21 25 26 29 36 38 39 41 45 48 53 54 55 56 57 59 60 61 62 64 65 68 75 78 80 82 86 a 1 6 7 8 10 11 16 21 25 26 29 31 36 38 39 41 45 48 53 54 55 56 57 59 60 61 62 64 65 68 75 78 80 82 86 a 1 6 7 8 10 11 16 21 25 26 29 30 31 36 38 41 45 48 53 54 55 56 57 59 60 61 62 64 65 68 75 78 80 82 86 a 1 6 7 8 10 11 16 21 25 26 29 30 31 36 38 41 45 48 53 54 55 56 57 59 60 61 62 64 65 69 75 78 80 82 86 a 1 6 7 8 10 11 16 21 25 26 29 30 36 38 41 44 45 48 53 54 55 56 57 59 60 61 62 64 65 69 75 78 80 82 86 a 1 6 7 8 10 11 16 21 24 25 26 29 30 36 38 41 44 45 48 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 86 a 3 6 7 8 10 11 16 21 24 25 26 29 30 36 38 41 44 45 48 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 86 a 1 3 6 7 8 10 11 16 21 25 26 29 30 36 38 41 44 45 48 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 86 a 1 3 7 8 10 11 16 21 25 26 29 30 36 38 41 44 45 47 48 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 86 a 1 3 7 8 10 11 16 21 25 26 29 30 36 38 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 86 a 1 3 7 8 10 11 16 21 25 26 29 30 36 38 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 75 78 80 82 86 a 1 3 7 8 10 11 16 21 25 26 29 36 38 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 78 80 82 86 a 1 3 7 8 10 11 16 21 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 59 60 61 62 64 65 69 75 78 80 82 86 a 1 3 6 7 8 10 11 16 21 25 26 29 36 38 39 41 44 48 50 53 54 55 56 59 60 61 62 64 65 69 75 78 80 82 86 a 1 3 6 7 8 10 11 16 17 21 25 26 29 36 38 39 41 44 48 53 54 55 56 59 60 61 62 64 65 69 75 78 80 82 86 a 1 3 6 7 8 10 11 16 17 21 25 26 29 36 38 39 41 44 48 53 54 55 56 59 60 61 62 64 65 68 75 78 80 82 86 a 3 6 7 8 10 11 16 17 21 25 26 29 36 38 39 41 44 48 53 54 55 56 57 59 60 61 62 64 65 68 75 78 80 82 86 a 1 3 6 7 8 10 11 16 21 25 26 29 36 38 39 41 44 48 53 54 55 56 57 59 60 61 62 64 65 68 75 78 80 82 86 a 1 6 7 8 10 11 16 21 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 61 62 64 65 68 75 78 80 82 86 a 1 3 6 7 8 10 11 16 21 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 61 62 64 65 75 78 80 82 86 a 1 3 5 6 7 8 10 11 16 21 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 61 62 64 65 75 80 82 86 a 1 3 5 6 7 8 10 11 16 21 25 26 29 36 38 39 41 44 45 48 53 54 55 56 57 59 60 61 62 64 65 75 80 82 86 a 1 3 5 6 7 8 10 11 16 21 25 26 29 36 38 39 41 44 45 48 53 54 55 56 57 59 60 62 64 65 69 75 80 82 86 a 1 3 5 6 7 8 10 11 16 18 21 25 26 29 36 38 39 41 44 45 48 53 54 55 56 57 60 62 64 65 69 75 80 82 86 a 1 3 5 6 7 8 10 11 16 18 21 25 26 29 36 39 41 44 45 48 53 54 55 56 57 60 61 62 64 65 69 75 80 82 86 a 1 3 5 6 7 8 10 11 16 21 25 26 29 36 39 41 44 45 48 53 54 55 56 57 59 60 61 62 64 65 69 75 80 82 86 a 1 3 5 6 7 8 10 11 16 21 24 25 26 29 36 39 41 44 45 48 53 54 55 56 57 59 60 61 62 64 65 69 75 82 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 45 48 53 54 55 56 57 59 60 61 62 64 65 69 75 82 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 45 48 53 54 55 56 57 59 60 61 62 64 69 75 78 82 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 45 48 53 54 55 57 59 60 61 62 64 65 69 75 78 82 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 45 48 53 54 55 56 57 59 61 62 64 65 69 75 78 82 86 a 1 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 45 48 53 54 55 56 57 59 61 62 64 65 69 75 78 82 85 86 a 1 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 53 54 55 56 57 59 61 62 64 65 69 75 78 82 84 85 86 a 1 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 84 86 a 1 3 7 8 10 11 16 21 24 25 26 29 31 36 38 39 41 48 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 84 86 a 1 3 7 8 10 11 16 18 21 24 25 26 29 31 36 38 39 41 48 53 54 55 56 57 60 61 62 64 65 69 75 78 82 84 86 a 1 3 6 7 8 10 11 16 18 21 24 25 26 29 31 36 38 39 41 48 53 54 55 56 57 60 61 62 64 65 69 78 82 84 86 a 1 3 6 7 8 10 11 16 18 21 24 25 26 29 31 36 38 39 41 48 50 53 54 55 56 57 60 61 62 64 65 69 78 82 86 a 1 3 6 7 8 10 11 16 18 21 24 25 26 29 36 38 39 41 48 50 53 54 55 56 57 60 61 62 64 65 69 75 78 82 86 a 1 3 6 7 8 10 11 16 18 21 24 25 26 29 31 36 38 39 41 48 50 53 54 55 56 57 60 61 62 64 65 69 75 78 82 a 1 3 6 7 8 10 11 18 21 24 25 26 29 31 36 38 39 41 48 50 53 54 55 56 57 60 61 62 64 65 69 75 77 78 82 a 1 3 6 7 8 10 11 18 21 25 26 29 31 36 38 39 41 48 50 53 54 55 56 57 60 61 62 64 65 69 75 77 78 80 82 a 1 3 6 7 8 10 11 16 18 21 25 26 29 31 36 38 39 41 48 50 53 54 55 56 57 60 61 62 64 65 69 75 78 80 82 a 1 3 6 7 8 10 11 16 18 21 25 26 29 31 36 38 39 41 48 50 54 55 56 57 60 61 62 64 65 69 75 78 80 82 86 a 1 3 6 7 8 10 11 16 18 21 25 26 29 31 36 38 39 41 48 50 53 54 55 56 57 60 62 64 65 69 75 78 80 82 86 a 1 3 6 7 8 10 11 16 21 25 26 29 31 36 38 39 41 48 50 53 54 55 56 57 59 60 62 64 65 69 75 78 80 82 86 a 1 3 6 7 8 10 11 16 17 21 25 26 29 31 36 38 39 41 48 53 54 55 56 57 59 60 62 64 65 69 75 78 80 82 86 a 1 3 6 7 8 10 11 16 17 21 25 26 29 31 36 38 39 41 48 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 86 a 1 3 6 7 8 10 11 16 17 21 24 25 26 29 31 36 38 39 41 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 31 36 38 39 41 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 84 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 84 86 a 1 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 47 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 84 86 a 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 84 86 a 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 86 a 1 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 59 60 61 62 64 65 69 75 78 82 86 a 1 3 7 8 10 11 15 16 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 59 60 62 64 65 69 75 78 82 86 a 1 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 62 64 65 69 75 78 82 86 a 1 3 7 10 11 16 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 86 a 1 3 7 10 11 16 21 24 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 84 86 a 1 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 86 a 1 3 7 8 10 11 16 21 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 60 61 62 64 65 69 75 78 80 82 86 a 1 3 7 8 10 11 16 21 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 60 61 62 64 65 69 73 78 80 82 86 a 1 3 7 8 10 11 21 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 60 61 62 64 65 69 73 77 78 80 82 86 a 1 3 7 8 10 11 15 21 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 60 62 64 65 69 73 77 78 80 82 86 a 1 3 7 8 10 11 15 16 21 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 60 62 64 65 69 73 78 80 82 86 a 1 3 7 8 10 11 15 16 21 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 62 64 65 69 73 78 80 82 85 86 a 1 3 5 7 8 10 11 15 16 21 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 62 64 65 69 73 80 82 85 86 a 1 3 5 6 7 8 10 11 15 16 21 25 26 29 36 38 39 41 44 48 53 54 55 56 57 59 62 64 65 69 73 80 82 85 86 a 1 3 5 6 8 10 11 15 16 21 25 26 29 36 38 39 41 44 48 53 54 55 56 57 59 62 64 65 69 73 75 80 82 85 86 a 1 3 5 6 7 8 10 11 15 16 21 25 26 29 36 38 39 41 44 48 53 54 55 56 57 59 62 64 65 69 73 75 82 85 86 a 1 3 5 6 7 8 10 11 15 16 21 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 62 64 65 69 75 82 85 86 a 3 5 6 7 8 10 11 15 16 21 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 62 64 65 69 75 80 82 85 86 a 3 5 6 7 8 10 11 15 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 62 64 65 69 75 82 85 86 a 3 5 6 7 8 10 11 15 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 62 64 65 69 75 82 86 a 3 5 6 7 8 10 11 15 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 62 64 65 68 75 82 86 a 3 5 6 7 8 10 11 15 16 21 24 25 26 29 36 37 38 39 41 44 48 53 54 55 56 57 59 60 62 64 65 68 75 82 86 a 3 5 6 7 8 10 11 15 16 21 24 25 26 29 36 37 38 39 41 44 48 53 54 56 57 59 60 62 64 65 68 70 75 82 86 a 3 5 6 7 8 10 11 15 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 56 57 59 60 62 64 65 68 70 75 82 86 a 1 3 5 6 7 8 10 11 15 16 21 24 25 26 29 36 39 41 44 48 50 53 54 56 57 59 60 62 64 65 68 70 75 82 86 a 1 3 5 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 56 57 59 60 62 64 65 68 70 75 82 86 a 1 3 5 6 7 8 10 11 16 21 24 25 26 29 36 37 38 39 41 44 48 53 54 56 57 59 60 62 64 65 68 70 75 82 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 36 37 38 39 41 44 48 53 54 56 57 59 60 61 62 64 65 68 70 75 82 86 a 1 3 6 7 8 10 11 16 18 21 24 25 26 29 36 37 38 39 41 44 48 53 54 56 57 60 61 62 64 65 68 70 75 82 86 a 1 3 6 7 8 10 11 16 18 21 24 25 26 29 36 37 38 39 41 44 48 53 54 56 57 60 61 62 64 65 69 70 75 82 86 a 1 3 6 7 8 10 11 16 18 21 24 25 26 29 36 37 38 39 41 44 48 54 56 57 60 61 62 64 65 69 70 75 81 82 86 a 1 3 6 7 8 10 11 16 18 21 24 25 26 29 36 37 38 39 41 44 48 54 55 56 57 60 61 62 64 65 69 75 81 82 86 a 1 3 6 7 8 10 11 16 18 21 25 26 29 36 37 38 39 41 44 48 54 55 56 57 60 61 62 64 65 69 75 80 81 82 86 a 1 3 6 7 8 10 11 18 21 25 26 29 36 37 38 39 41 44 48 54 55 56 57 60 61 62 64 65 69 75 77 80 81 82 86 a 3 6 7 8 10 11 18 21 25 26 29 36 37 38 39 41 44 48 54 55 56 57 60 61 62 64 65 69 75 77 78 80 81 82 86 a 3 6 7 8 10 11 18 21 25 26 29 36 37 38 39 41 44 48 54 56 57 60 61 62 64 65 69 70 75 77 78 80 81 82 86 a 1 3 6 7 8 10 11 18 21 25 26 29 36 37 38 39 41 44 48 54 56 57 60 62 64 65 69 70 75 77 78 80 81 82 86 a 1 3 6 7 8 10 11 16 18 21 25 26 29 36 37 38 39 41 44 48 54 56 57 60 62 64 65 69 70 75 78 80 81 82 86 a 1 3 6 7 8 10 11 13 16 18 21 25 26 29 36 37 38 39 41 44 48 54 56 57 62 64 65 69 70 75 78 80 81 82 86 a 1 3 6 7 8 10 11 13 16 18 21 25 26 29 36 37 38 39 41 44 48 53 54 56 57 62 64 65 69 70 75 78 80 82 86 a 1 3 6 7 8 10 11 13 16 18 21 24 25 26 29 36 37 38 39 41 44 48 53 54 56 57 62 64 65 69 70 75 78 82 86 a 1 3 6 7 8 10 11 13 16 18 21 24 25 26 29 36 37 38 39 41 44 48 53 54 55 56 57 62 64 65 69 75 78 82 86 a 1 3 6 7 8 10 11 13 16 18 21 24 25 26 29 36 37 38 39 41 44 48 54 55 56 57 62 64 65 69 75 78 81 82 86 a 1 3 6 7 8 10 11 13 16 18 21 24 25 26 29 36 38 39 41 44 48 50 54 55 56 57 62 64 65 69 75 78 81 82 86 a 1 3 6 7 8 10 11 15 16 18 21 24 25 26 29 36 38 39 41 44 48 50 54 55 56 57 62 64 65 69 75 78 81 82 86 a 1 3 6 7 8 10 11 15 16 18 21 24 25 26 29 36 38 39 41 44 48 50 54 55 56 57 60 62 64 65 69 75 78 81 86 a 1 3 6 7 8 10 11 16 18 21 24 25 26 29 36 38 39 41 44 48 50 54 55 56 57 60 61 62 64 65 69 75 78 81 86 a 1 3 6 7 8 10 11 16 17 18 21 24 25 26 29 36 38 39 41 44 48 54 55 56 57 60 61 62 64 65 69 75 78 81 86 a 1 3 6 7 8 10 11 16 17 18 21 24 25 26 29 36 38 39 41 44 48 53 54 55 56 57 60 61 62 64 65 69 75 78 86 a 1 3 5 6 7 8 10 11 16 17 18 21 24 25 26 29 36 38 39 41 44 48 53 54 55 56 57 60 61 62 64 65 69 75 86 a 1 3 5 6 7 8 10 11 16 17 18 21 24 25 26 29 36 38 39 41 44 48 53 54 55 56 57 61 62 64 65 69 75 82 86 a 1 3 5 6 7 8 11 16 17 18 21 24 25 26 29 36 38 39 41 44 48 53 54 55 56 57 60 61 62 64 65 69 75 82 86 a 1 3 5 6 7 8 10 11 16 17 18 21 24 25 26 29 36 38 39 41 44 48 53 54 55 56 57 60 61 62 64 65 69 75 82 a 1 3 5 6 7 8 10 11 16 18 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 60 61 62 64 65 69 75 82 a 1 3 5 6 7 8 10 11 18 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 60 61 62 64 65 69 75 77 82 a 1 3 5 6 7 8 10 11 18 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 60 61 62 64 69 75 77 82 86 a 1 3 5 6 7 8 10 11 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 61 62 64 69 75 77 82 86 a 1 3 5 6 7 8 10 11 21 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 61 62 64 69 75 77 80 82 86 a 1 3 6 7 8 10 11 21 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 61 62 64 69 75 77 78 80 82 86 a 1 3 6 7 8 10 11 21 25 26 29 36 38 39 41 44 45 48 53 54 55 56 57 59 60 61 62 64 69 75 77 78 80 82 86 a 1 3 6 7 8 10 11 18 21 25 26 29 36 38 39 41 44 45 48 53 54 55 56 57 60 61 62 64 69 75 77 78 80 82 86 a 1 3 6 7 8 10 11 18 21 25 26 29 36 38 39 41 44 45 48 53 55 56 57 60 61 62 64 65 69 75 77 78 80 82 86 a 1 3 6 7 8 10 11 18 21 25 26 29 36 38 39 41 44 45 48 53 55 56 57 60 61 62 64 65 68 75 77 78 80 82 86 a 1 3 6 7 8 10 11 16 18 21 25 26 29 36 38 39 41 44 45 48 53 55 56 57 60 61 62 64 65 68 75 78 80 82 86 a 1 3 6 7 8 10 11 16 18 21 24 25 26 29 36 38 39 41 44 45 48 53 55 56 57 60 61 62 64 65 68 75 78 82 86 a 1 3 6 7 8 10 11 13 16 18 21 24 25 26 29 36 38 39 41 44 45 48 53 55 56 57 61 62 64 65 68 75 78 82 86 a 1 3 6 7 8 10 11 13 16 18 21 24 25 26 29 36 38 39 41 44 48 53 54 55 56 57 61 62 64 65 68 75 78 82 86 a 1 3 6 7 8 10 11 13 16 18 21 24 25 29 36 38 39 41 44 48 50 53 54 55 56 57 61 62 64 65 68 75 78 82 86 a 1 3 6 7 8 10 11 13 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 61 62 64 65 68 75 78 82 86 a 3 6 7 8 10 11 13 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 61 62 64 65 68 75 78 82 86 a 3 6 7 8 10 11 13 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 61 62 64 65 69 75 78 82 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 61 62 64 65 69 75 78 82 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 61 62 64 65 75 78 82 85 86 a 1 3 6 7 8 10 11 16 21 24 25 26 27 29 36 38 39 41 44 48 50 53 54 55 56 57 59 61 62 64 65 75 78 82 86 a 1 3 6 7 8 10 11 16 21 24 25 26 27 29 36 38 39 41 44 48 50 53 54 55 56 57 59 61 62 64 65 69 75 82 86 a 1 3 5 6 7 8 10 11 16 21 24 25 26 27 29 36 38 39 41 44 48 53 54 55 56 57 59 61 62 64 65 69 75 82 86 a 1 3 5 6 7 8 10 11 16 21 24 25 26 27 29 36 38 39 41 44 45 48 54 55 56 57 59 61 62 64 65 69 75 82 86 a 1 3 5 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 45 48 54 55 56 57 59 61 62 64 65 69 75 81 82 86 a 1 3 5 6 7 8 10 11 16 24 25 26 29 36 38 39 41 44 45 48 54 55 56 57 59 60 61 62 64 65 69 75 81 82 86 a 3 5 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 45 48 54 55 56 57 59 60 61 62 64 65 69 75 81 82 86 a 3 5 6 7 8 10 11 16 21 24 25 26 28 29 36 38 39 41 44 45 48 54 55 56 57 59 60 61 62 64 65 75 81 82 86 a 3 5 6 7 8 10 11 16 21 25 26 28 29 36 38 39 41 44 45 48 54 55 56 57 59 60 61 62 64 65 75 80 81 82 86 a 1 3 5 6 7 8 10 16 21 25 26 28 29 36 38 39 41 44 45 48 54 55 56 57 59 60 61 62 64 65 75 80 81 82 86 a 1 3 5 6 7 8 10 11 16 21 25 26 28 29 36 38 39 41 44 45 48 54 55 56 57 59 61 62 64 65 75 80 81 82 86 a 1 3 5 6 7 8 10 11 16 21 25 26 27 28 29 36 38 39 41 44 45 48 54 55 56 57 59 61 62 64 65 75 80 82 86 a 1 3 6 7 8 10 11 16 21 25 26 27 28 29 36 38 39 41 44 45 48 53 54 55 56 57 59 61 62 64 65 75 80 82 86 a 1 3 6 7 8 10 11 16 21 25 26 27 29 36 38 39 41 44 45 48 53 54 55 56 57 59 61 62 64 65 69 75 80 82 86 a 1 3 6 7 8 10 11 16 21 24 25 26 27 29 36 38 39 41 44 45 48 53 54 55 56 57 59 61 62 64 65 69 75 82 86 a 1 3 6 7 8 10 11 16 21 24 25 26 27 29 36 38 39 41 44 45 48 53 54 55 56 57 59 61 62 64 65 69 75 78 82 a 1 3 5 6 7 8 10 11 16 21 24 25 26 27 29 36 38 39 41 44 45 48 53 54 55 56 57 59 61 62 64 65 69 75 82 a 1 3 5 6 7 8 10 11 16 21 24 25 26 27 29 36 38 39 41 44 48 50 53 54 55 56 57 59 61 62 64 65 69 75 82 a 1 3 5 6 8 10 11 16 21 24 25 26 27 29 36 38 39 41 44 48 50 53 54 55 56 57 59 61 62 64 65 69 75 82 86 a 3 5 6 7 8 10 11 16 21 24 25 26 27 29 36 38 39 41 44 48 50 53 54 55 56 57 59 61 62 64 65 69 75 82 86 a 3 5 6 7 8 10 11 16 21 25 26 27 29 36 38 39 41 44 48 50 53 54 55 56 57 59 61 62 64 65 69 75 80 82 86 a 3 5 6 7 8 10 11 21 25 26 27 29 36 38 39 41 44 48 50 53 54 55 56 57 59 61 62 63 64 65 69 75 80 82 86 a 3 5 6 7 8 10 11 21 25 26 27 29 36 38 39 41 44 45 48 53 54 55 56 57 59 61 62 63 64 65 69 75 80 82 86 a 3 5 6 7 8 10 11 21 25 26 27 29 36 38 39 41 44 45 48 54 55 56 57 59 61 62 63 64 65 69 75 80 81 82 86 a 3 5 6 7 8 10 11 21 25 26 27 29 36 38 39 41 44 45 48 54 55 56 57 59 61 62 63 64 65 68 75 80 81 82 86 a 3 5 6 7 8 10 11 21 25 26 27 29 36 38 39 41 44 45 48 54 55 56 57 59 61 62 64 65 68 75 77 80 81 82 86 a 1 3 5 6 7 8 10 11 21 25 26 27 29 36 38 39 41 44 45 48 54 56 57 59 61 62 64 65 68 75 77 80 81 82 86 a 1 3 5 6 7 8 10 11 21 25 26 29 36 38 39 41 44 45 48 54 55 56 57 59 61 62 64 65 68 75 77 80 81 82 86 a 1 3 5 6 7 8 10 11 21 25 26 27 29 36 38 39 41 44 45 48 54 55 56 57 59 61 62 64 65 68 75 77 80 81 82 a 1 3 5 6 7 8 10 11 21 25 26 27 29 36 38 39 41 44 45 48 54 55 56 57 59 61 62 64 65 69 75 77 80 81 82 a 1 3 5 6 7 8 10 11 21 25 26 27 29 36 38 39 41 44 48 50 54 55 56 57 59 61 62 64 65 69 75 77 80 81 82 a 3 5 6 7 8 10 11 21 25 26 27 29 36 38 39 41 44 48 50 54 55 56 57 59 61 62 64 65 69 75 77 80 81 82 86 a 3 5 6 7 8 10 11 21 25 26 29 36 38 39 41 44 48 50 54 55 56 57 59 60 61 62 64 65 69 75 77 80 81 82 86 a 1 3 6 7 8 10 11 21 25 26 29 36 38 39 41 44 48 50 54 55 56 57 59 60 61 62 64 65 69 75 77 80 81 82 86 a 1 3 6 7 8 10 11 21 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 77 80 82 86 a 1 3 5 6 7 8 10 11 21 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 77 82 86 a 1 3 5 6 7 8 10 11 21 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 61 62 64 65 69 75 77 80 82 86 a 1 3 5 6 7 8 10 11 21 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 61 62 64 65 75 77 80 82 86 a 1 3 5 6 7 8 10 11 21 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 61 62 64 65 68 75 80 82 86 a 1 3 5 6 7 8 10 11 21 25 26 28 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 61 62 64 65 75 80 82 86 a 1 3 5 6 7 8 10 11 16 21 25 26 28 29 36 38 39 41 44 48 50 53 55 56 57 59 60 61 62 64 65 75 80 82 86 a 1 3 5 6 7 8 10 11 16 21 25 26 28 29 36 38 39 41 44 48 50 54 55 56 57 59 60 61 62 64 65 75 80 82 86 a 1 3 5 6 7 8 10 11 15 16 21 25 26 28 29 36 38 39 41 44 48 50 54 55 56 57 59 60 62 64 65 75 80 82 86 a 1 3 5 6 7 8 10 11 15 16 21 25 26 28 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 62 64 65 75 80 82 a 3 5 6 7 8 10 11 15 16 21 25 26 28 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 62 64 65 75 80 82 86 a 3 5 6 7 8 10 11 15 16 21 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 62 64 65 69 75 80 82 86 a 3 5 6 7 8 10 11 15 16 17 21 25 26 29 36 38 39 41 44 48 53 54 55 56 57 59 60 62 64 65 69 75 80 82 86 a 3 5 7 8 10 11 15 16 17 21 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 60 62 64 65 69 75 80 82 86 a 1 3 5 7 8 10 11 15 16 17 21 25 26 29 36 38 39 41 44 47 48 54 55 56 57 59 60 62 64 65 69 75 80 82 86 a 1 3 5 7 8 10 11 15 16 17 21 25 26 29 36 38 39 41 44 48 53 54 55 56 57 59 60 62 64 65 69 75 80 82 86 a 1 3 5 7 8 10 11 15 17 21 25 26 29 36 38 39 41 44 48 53 54 55 56 57 59 60 62 64 65 69 75 77 80 82 86 a 1 3 5 7 8 10 11 15 21 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 62 64 65 69 75 77 80 82 86 a 1 3 5 7 8 10 11 15 21 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 62 64 65 68 75 77 80 82 86 a 1 3 5 7 8 10 11 15 21 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 62 64 65 68 75 77 82 86 a 1 3 5 7 8 10 11 15 21 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 60 62 64 65 68 73 75 77 82 86 a 1 3 5 7 8 10 11 15 21 24 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 60 62 64 65 73 75 77 82 86 a 1 3 5 7 8 10 11 15 21 24 25 26 29 36 38 39 41 44 47 53 54 55 56 57 59 60 62 64 65 69 73 75 77 82 86 a 1 3 5 7 8 10 11 15 21 24 25 29 36 38 39 41 44 47 48 53 54 55 56 57 59 60 62 64 65 69 73 75 77 82 86 a 1 5 7 8 10 11 15 21 24 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 60 62 64 65 69 73 75 77 82 86 a 1 5 7 8 10 11 15 21 24 25 26 29 30 36 38 41 44 47 48 53 54 55 56 57 59 60 62 64 65 69 73 75 77 82 86 a 1 5 6 7 8 10 11 15 21 24 25 26 29 30 36 38 41 44 48 53 54 55 56 57 59 60 62 64 65 69 73 75 77 82 86 a 1 5 6 7 8 10 11 15 21 24 25 26 29 36 38 39 41 44 48 53 54 55 56 57 59 60 62 64 65 69 73 75 77 82 86 a 1 3 5 6 7 8 10 11 15 21 24 25 26 29 36 38 39 41 44 48 53 54 56 57 59 60 62 64 65 69 73 75 77 82 86 a 1 3 5 6 7 8 10 11 15 21 24 25 26 29 36 38 39 41 44 48 53 54 56 57 59 60 62 64 65 69 75 77 82 84 86 a 1 3 5 6 7 8 10 11 15 18 21 24 25 26 29 36 38 39 41 44 48 53 54 56 57 60 62 64 65 69 75 77 82 84 86 a 1 3 5 6 7 8 10 11 18 21 24 25 26 29 36 38 39 41 44 48 53 54 56 57 60 61 62 64 65 69 75 77 82 84 86 a 1 3 5 6 7 8 10 11 18 21 24 25 26 29 36 38 39 41 44 48 53 54 55 56 57 60 61 62 64 65 69 77 82 84 86 a 1 3 5 6 7 8 10 11 18 21 24 25 26 29 30 36 38 41 44 48 53 54 55 56 57 60 61 62 64 65 69 77 82 84 86 a 1 3 5 6 7 8 10 11 18 21 24 25 26 29 30 36 38 41 44 48 54 55 56 57 60 61 62 64 65 69 77 81 82 84 86 a 1 3 6 7 8 10 11 18 21 24 25 26 29 30 36 38 41 44 48 54 55 56 57 60 61 62 64 65 69 77 78 81 82 84 86 a 1 3 6 7 8 10 11 16 18 21 24 25 26 29 30 36 38 41 44 48 54 55 56 57 60 61 62 64 65 69 78 81 82 84 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 30 36 38 41 44 48 54 55 56 57 59 60 61 62 64 65 69 78 81 82 84 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 30 36 38 41 44 48 53 54 55 56 57 59 60 61 62 64 65 69 78 82 84 86 a 1 3 6 7 8 10 11 15 16 21 24 25 26 29 30 36 38 41 44 48 53 54 55 56 57 59 60 62 64 65 69 78 82 84 86 a 1 3 6 7 8 10 11 15 16 18 21 24 25 26 29 30 36 38 41 44 48 53 54 55 56 57 60 62 64 65 69 78 82 84 86 a 1 3 6 7 8 10 11 15 16 18 21 24 25 26 29 30 36 37 38 41 44 48 53 54 55 56 57 60 62 64 65 69 78 82 86 a 1 3 6 7 8 10 11 15 16 18 21 24 25 26 28 29 30 36 37 38 41 44 48 53 54 55 56 57 60 62 64 65 78 82 86 a 1 3 6 7 8 10 11 15 16 21 24 25 26 28 29 30 36 37 38 41 44 48 53 54 55 56 57 59 60 62 64 65 78 82 86 a 1 3 5 6 7 8 10 11 15 16 21 24 25 26 28 29 30 36 37 38 41 44 48 53 54 55 56 57 59 60 62 64 65 82 86 a 1 3 5 6 7 8 10 11 15 16 21 24 25 26 29 30 36 37 38 41 44 48 53 54 55 56 57 59 60 62 64 65 75 82 86 a 1 3 5 6 7 8 10 11 15 16 21 24 25 26 28 29 30 36 37 38 41 44 48 53 54 55 56 59 60 62 64 65 75 82 86 a 1 3 5 6 7 8 10 11 15 16 21 24 25 26 28 29 36 37 38 39 41 44 48 53 54 55 56 59 60 62 64 65 75 82 86 a 1 3 5 6 7 8 10 11 16 21 24 25 26 28 29 36 37 38 39 41 44 48 53 54 55 56 59 60 61 62 64 65 75 82 86 a 1 3 5 6 7 8 10 11 16 21 24 25 26 28 29 36 37 38 39 41 44 48 53 54 55 56 57 59 61 62 64 65 75 82 86 a 1 3 5 6 7 8 10 11 16 21 24 25 26 28 29 36 37 38 39 41 44 48 53 54 55 56 57 59 60 61 62 64 65 82 86 a 1 3 5 6 7 8 10 11 16 21 24 25 26 29 36 37 38 39 41 44 48 53 54 55 56 57 59 60 61 62 64 65 69 82 86 a 1 3 5 6 7 8 10 11 16 21 24 25 26 29 36 37 38 39 41 44 48 53 54 55 56 57 59 60 61 62 64 65 69 75 82 a 3 5 6 7 8 10 11 16 21 24 25 26 29 36 37 38 39 41 44 48 53 54 55 56 57 59 60 61 62 64 65 69 75 82 86 a 3 5 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 53 54 55 56 57 59 60 61 62 64 65 69 75 82 84 86 a 1 3 5 6 7 10 11 16 21 24 25 26 29 36 38 39 41 44 48 53 54 55 56 57 59 60 61 62 64 65 69 75 82 84 86 a 1 3 5 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 53 54 55 56 57 59 60 61 62 64 65 69 82 84 86 a 1 5 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 53 54 55 56 57 59 60 61 62 64 65 69 75 82 84 86 a 1 3 5 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 48 53 54 55 56 57 59 60 61 62 64 65 69 75 82 84 86 a 1 3 5 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 48 53 54 55 56 57 59 60 61 62 64 65 68 75 82 84 86 a 1 3 5 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 48 50 53 54 55 56 57 59 60 61 62 64 65 68 75 82 86 a 1 3 6 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 48 50 53 54 55 56 57 59 60 61 62 64 65 68 75 82 86 a 1 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 68 75 82 86 a 1 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 68 75 78 82 a 1 3 5 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 68 75 82 a 1 3 5 7 8 10 11 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 68 75 77 82 a 1 3 5 7 8 10 11 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 77 82 a 1 3 5 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 82 a 1 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 78 82 a 1 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 56 57 59 60 61 62 64 65 69 70 75 78 82 a 1 3 7 8 10 16 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 56 57 59 60 61 62 64 65 69 70 75 78 82 86 a 3 7 8 10 11 16 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 56 57 59 60 61 62 64 65 69 70 75 78 82 86 a 3 7 8 10 11 16 21 25 26 29 36 38 39 41 44 47 48 50 53 54 56 57 59 60 61 62 64 65 69 70 75 78 80 82 86 a 3 7 8 10 11 16 25 26 29 36 38 39 41 44 47 48 50 53 54 56 57 59 60 61 62 64 65 69 70 75 78 79 80 82 86 a 3 7 8 10 11 25 26 29 36 38 39 41 44 47 48 50 53 54 56 57 59 60 61 62 64 65 69 70 75 77 78 79 80 82 86 a 3 7 8 10 11 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 77 78 79 80 82 86 a 3 5 7 8 10 11 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 77 79 80 82 86 a 3 5 7 8 10 11 17 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 60 61 62 64 65 69 75 77 79 80 82 86 a 3 5 7 8 10 11 17 24 25 26 29 36 38 39 41 44 47 48 53 54 55 56 57 59 60 61 62 64 65 69 75 77 79 82 86 a 3 5 7 8 10 11 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 77 79 82 86 a 1 3 5 7 8 10 11 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 77 82 86 a 1 3 5 7 8 10 11 21 24 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 82 86 a 1 3 5 7 8 10 11 21 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 80 82 86 a 3 5 7 8 10 11 16 21 25 26 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 69 75 80 82 86 a 3 5 7 8 10 11 16 21 25 26 29 36 38 39 41 44 47 48 50 53 54 56 57 59 60 61 62 64 65 69 70 75 80 82 86 a 3 5 7 8 10 11 16 21 25 26 27 29 36 38 39 41 44 47 48 50 53 54 56 57 59 61 62 64 65 69 70 75 80 82 86 a 3 5 7 8 10 11 16 21 25 26 27 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 61 62 64 65 69 75 80 82 86 a 3 5 7 8 10 11 16 21 25 26 27 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 61 62 64 65 68 75 80 82 86 a 3 5 6 7 8 10 11 16 21 25 26 27 29 36 38 39 41 44 48 50 53 54 55 56 57 59 61 62 64 65 68 75 80 82 86 a 3 5 6 7 8 10 11 16 21 25 26 27 29 36 38 39 41 44 48 53 54 55 56 57 59 61 62 64 65 68 73 75 80 82 86 a 1 3 5 6 7 8 10 11 16 21 25 26 27 29 36 38 39 41 44 48 53 54 55 56 57 59 61 62 64 65 68 73 75 82 86 a 1 3 5 6 7 8 10 11 16 25 26 27 29 36 38 39 41 44 48 53 54 55 56 57 59 61 62 64 65 68 73 75 80 82 86 a 1 3 5 6 7 8 10 11 16 21 25 26 27 29 36 38 39 44 48 53 54 55 56 57 59 61 62 64 65 68 73 75 80 82 86 a 1 3 5 6 7 8 10 11 16 21 25 26 27 28 29 36 38 39 44 48 53 54 55 56 57 59 61 62 64 65 73 75 80 82 86 a 1 3 5 6 7 8 10 11 16 21 25 26 27 28 29 38 39 44 48 52 53 54 55 56 57 59 61 62 64 65 73 75 80 82 86 a 1 3 5 6 7 8 10 11 16 21 25 26 27 28 29 38 39 41 44 48 52 53 54 55 56 57 61 62 64 65 73 75 80 82 86 a 1 5 6 7 8 10 11 16 18 21 25 26 27 28 29 38 39 41 44 48 52 53 54 55 56 57 61 62 64 65 73 75 80 82 86 a 1 5 6 7 8 10 11 16 18 21 25 26 27 28 29 38 39 41 44 48 52 54 55 56 57 61 62 64 65 73 75 80 81 82 86 a 1 5 6 7 8 10 11 16 18 21 25 26 27 28 29 38 39 41 44 48 50 52 54 55 56 57 61 62 64 65 75 80 81 82 86 a 1 5 7 8 10 11 16 18 21 25 26 27 28 29 38 39 41 44 47 48 50 52 54 55 56 57 61 62 64 65 75 80 81 82 86 a 1 3 5 7 8 10 11 16 18 21 25 26 27 28 29 38 39 41 44 47 48 50 52 54 56 57 61 62 64 65 75 80 81 82 86 a 1 3 5 7 8 10 11 16 18 21 25 26 28 29 38 39 41 44 47 48 50 52 54 56 57 61 62 64 65 70 75 80 81 82 86 a 1 3 5 7 8 10 11 18 21 25 26 27 28 29 38 39 41 44 47 48 50 52 54 56 57 61 62 64 65 70 75 80 81 82 86 a 1 3 5 7 8 10 11 21 25 26 27 28 29 38 39 41 44 47 48 50 52 54 56 57 61 62 64 65 70 75 77 80 81 82 86 a 1 3 7 8 10 11 21 25 26 27 28 29 38 39 41 44 47 48 50 52 54 56 57 61 62 64 65 70 75 77 78 80 81 82 86 a 1 3 7 8 10 11 21 25 26 27 28 29 38 39 41 44 47 48 50 52 54 56 57 59 61 62 64 70 75 77 78 80 81 82 86 a 3 7 8 10 11 21 25 26 27 28 29 38 39 41 44 47 48 50 52 54 56 57 59 61 62 64 65 70 75 77 78 80 81 82 86 a 3 7 8 10 11 21 25 26 27 28 29 36 38 39 41 44 47 48 50 54 56 57 59 61 62 64 65 70 75 77 78 80 81 82 86 a 3 7 8 10 11 21 25 26 28 29 36 38 39 41 44 47 48 50 54 56 57 59 60 61 62 64 65 70 75 77 78 80 81 82 86 a 3 7 8 10 11 21 24 25 26 28 29 36 38 39 41 44 47 48 50 54 56 57 59 60 61 62 64 65 70 75 77 78 81 82 86 a 3 7 8 10 11 21 24 25 26 28 29 36 38 39 41 44 47 48 50 53 54 56 57 59 60 61 62 64 65 70 75 77 78 82 86 a 3 7 8 10 11 21 24 25 26 28 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 75 77 78 82 86 a 3 7 8 10 11 24 25 26 28 29 36 38 39 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 75 77 78 79 82 86 a 3 7 8 10 11 24 25 26 28 29 30 36 38 41 44 47 48 50 53 54 55 56 57 59 60 61 62 64 65 75 77 78 79 82 86 a 3 6 7 8 10 11 24 25 26 28 29 30 36 38 41 44 48 50 53 54 55 56 57 59 60 61 62 64 65 75 77 78 79 82 86 c Step: 347 #END: [Thu Aug 31 17:09:21 2023]