This program (written in C++) is a generalized version (to be published) for the prime factor decomposition w.r.t. the strong product using local information (neighborhoods) only and can easily be used for the recognition of so-called approximate products. preparatory work papers: "Local algorithms for the prime factorization of strong product graphs" Marc Hellmuth, Wilfried Imrich, Werner Klöckl and Peter F. Stadler http://www.bioinf.uni-leipzig.de/Publications/PREPRINTS/09-018.pdf and "Approximate Graph Products", Marc Hellmuth, Wilfried Imrich, Werner Klöckl, Peter F. Stadler http://dx.doi.org/10.1016/j.ejc.2008.09.006 First compile the source files. A general makefile is included. Then execute the program by typing: ./programm <graph-file> graph-file is the input graph, represented by an edge-list The following text is an example-output, started with a strong product H = twisted product * P3 * K3. (P3 = path on two edges, K_3 = complete graph on 3 vertices) ./programm ./exmpl/K3_P3_Moebius.dat InputGraph H: 0 <--> 36 72 9 3 12 30 33 1 10 4 13 31 34 45 39 48 66 69 37 46 40 49 67 70 81 75 84 102 105 73 82 76 85 103 106 1 <--> 37 73 10 4 13 31 34 0 2 9 11 3 5 12 14 30 32 33 35 46 40 49 67 70 36 38 45 47 39 41 48 50 66 68 69 71 82 76 85 103 106 72 74 81 83 75 77 84 86 102 104 105 107 2 <--> 38 74 11 5 14 32 35 1 10 4 13 31 34 47 41 50 68 71 37 46 40 49 67 70 83 77 86 104 107 73 82 76 85 103 106 3 <--> 39 75 12 0 6 9 15 27 30 33 4 13 1 7 10 16 28 31 34 48 36 42 45 51 63 66 69 40 49 37 43 46 52 64 67 70 84 72 78 81 87 99 102 105 76 85 73 79 82 88 100 103 106 4 <--> 40 76 13 1 7 10 16 28 31 34 3 5 12 14 0 2 6 8 9 11 15 17 27 29 30 32 33 35 49 37 43 46 52 64 67 70 39 41 48 50 36 38 42 44 45 47 51 53 63 65 66 68 69 71 85 73 79 82 88 100 103 106 75 77 84 86 72 74 78 80 81 83 87 89 99 101 102 104 105 107 5 <--> 41 77 14 2 8 11 17 29 32 35 4 13 1 7 10 16 28 31 34 50 38 44 47 53 65 68 71 40 49 37 43 46 52 64 67 70 86 74 80 83 89 101 104 107 76 85 73 79 82 88 100 103 106 6 <--> 42 78 15 3 12 30 27 7 16 4 13 31 28 51 39 48 66 63 43 52 40 49 67 64 87 75 84 102 99 79 88 76 85 103 100 7 <--> 43 79 16 4 13 31 28 6 8 15 17 3 5 12 14 30 32 27 29 52 40 49 67 64 42 44 51 53 39 41 48 50 66 68 63 65 88 76 85 103 100 78 80 87 89 75 77 84 86 102 104 99 101 8 <--> 44 80 17 5 14 32 29 7 16 4 13 31 28 53 41 50 68 65 43 52 40 49 67 64 89 77 86 104 101 79 88 76 85 103 100 9 <--> 45 81 0 18 12 3 21 10 1 19 13 4 22 36 54 48 39 57 46 37 55 49 40 58 72 90 84 75 93 82 73 91 85 76 94 10 <--> 46 82 1 19 13 4 22 9 11 0 2 18 20 12 14 3 5 21 23 37 55 49 40 58 45 47 36 38 54 56 48 50 39 41 57 59 73 91 85 76 94 81 83 72 74 90 92 84 86 75 77 93 95 11 <--> 47 83 2 20 14 5 23 10 1 19 13 4 22 38 56 50 41 59 46 37 55 49 40 58 74 92 86 77 95 82 73 91 85 76 94 12 <--> 48 84 3 21 9 15 0 6 18 24 13 4 22 10 16 1 7 19 25 39 57 45 51 36 42 54 60 49 40 58 46 52 37 43 55 61 75 93 81 87 72 78 90 96 85 76 94 82 88 73 79 91 97 13 <--> 49 85 4 22 10 16 1 7 19 25 12 14 3 5 21 23 9 11 15 17 0 2 6 8 18 20 24 26 40 58 46 52 37 43 55 61 48 50 39 41 57 59 45 47 51 53 36 38 42 44 54 56 60 62 76 94 82 88 73 79 91 97 84 86 75 77 93 95 81 83 87 89 72 74 78 80 90 92 96 98 14 <--> 50 86 5 23 11 17 2 8 20 26 13 4 22 10 16 1 7 19 25 41 59 47 53 38 44 56 62 49 40 58 46 52 37 43 55 61 77 95 83 89 74 80 92 98 85 76 94 82 88 73 79 91 97 15 <--> 51 87 6 24 12 3 21 16 7 25 13 4 22 42 60 48 39 57 52 43 61 49 40 58 78 96 84 75 93 88 79 97 85 76 94 16 <--> 52 88 7 25 13 4 22 15 17 6 8 24 26 12 14 3 5 21 23 43 61 49 40 58 51 53 42 44 60 62 48 50 39 41 57 59 79 97 85 76 94 87 89 78 80 96 98 84 86 75 77 93 95 17 <--> 53 89 8 26 14 5 23 16 7 25 13 4 22 44 62 50 41 59 52 43 61 49 40 58 80 98 86 77 95 88 79 97 85 76 94 18 <--> 54 90 9 27 21 12 30 19 10 28 22 13 31 45 63 57 48 66 55 46 64 58 49 67 81 99 93 84 102 91 82 100 94 85 103 19 <--> 55 91 10 28 22 13 31 18 20 9 11 27 29 21 23 12 14 30 32 46 64 58 49 67 54 56 45 47 63 65 57 59 48 50 66 68 82 100 94 85 103 90 92 81 83 99 101 93 95 84 86 102 104 20 <--> 56 92 11 29 23 14 32 19 10 28 22 13 31 47 65 59 50 68 55 46 64 58 49 67 83 101 95 86 104 91 82 100 94 85 103 21 <--> 57 93 12 30 18 24 9 15 27 33 22 13 31 19 25 10 16 28 34 48 66 54 60 45 51 63 69 58 49 67 55 61 46 52 64 70 84 102 90 96 81 87 99 105 94 85 103 91 97 82 88 100 106 22 <--> 58 94 13 31 19 25 10 16 28 34 21 23 12 14 30 32 18 20 24 26 9 11 15 17 27 29 33 35 49 67 55 61 46 52 64 70 57 59 48 50 66 68 54 56 60 62 45 47 51 53 63 65 69 71 85 103 91 97 82 88 100 106 93 95 84 86 102 104 90 92 96 98 81 83 87 89 99 101 105 107 23 <--> 59 95 14 32 20 26 11 17 29 35 22 13 31 19 25 10 16 28 34 50 68 56 62 47 53 65 71 58 49 67 55 61 46 52 64 70 86 104 92 98 83 89 101 107 94 85 103 91 97 82 88 100 106 24 <--> 60 96 15 33 21 12 30 25 16 34 22 13 31 51 69 57 48 66 61 52 70 58 49 67 87 105 93 84 102 97 88 106 94 85 103 25 <--> 61 97 16 34 22 13 31 24 26 15 17 33 35 21 23 12 14 30 32 52 70 58 49 67 60 62 51 53 69 71 57 59 48 50 66 68 88 106 94 85 103 96 98 87 89 105 107 93 95 84 86 102 104 26 <--> 62 98 17 35 23 14 32 25 16 34 22 13 31 53 71 59 50 68 61 52 70 58 49 67 89 107 95 86 104 97 88 106 94 85 103 27 <--> 63 99 18 30 21 3 6 28 19 31 22 4 7 54 66 57 39 42 64 55 67 58 40 43 90 102 93 75 78 100 91 103 94 76 79 28 <--> 64 100 19 31 22 4 7 27 29 18 20 30 32 21 23 3 5 6 8 55 67 58 40 43 63 65 54 56 66 68 57 59 39 41 42 44 91 103 94 76 79 99 101 90 92 102 104 93 95 75 77 78 80 29 <--> 65 101 20 32 23 5 8 28 19 31 22 4 7 56 68 59 41 44 64 55 67 58 40 43 92 104 95 77 80 100 91 103 94 76 79 30 <--> 66 102 21 27 33 18 24 0 3 6 31 22 28 34 19 25 1 4 7 57 63 69 54 60 36 39 42 67 58 64 70 55 61 37 40 43 93 99 105 90 96 72 75 78 103 94 100 106 91 97 73 76 79 31 <--> 67 103 22 28 34 19 25 1 4 7 30 32 21 23 27 29 33 35 18 20 24 26 0 2 3 5 6 8 58 64 70 55 61 37 40 43 66 68 57 59 63 65 69 71 54 56 60 62 36 38 39 41 42 44 94 100 106 91 97 73 76 79 102 104 93 95 99 101 105 107 90 92 96 98 72 74 75 77 78 80 32 <--> 68 104 23 29 35 20 26 2 5 8 31 22 28 34 19 25 1 4 7 59 65 71 56 62 38 41 44 67 58 64 70 55 61 37 40 43 95 101 107 92 98 74 77 80 103 94 100 106 91 97 73 76 79 33 <--> 69 105 24 30 21 3 0 34 25 31 22 4 1 60 66 57 39 36 70 61 67 58 40 37 96 102 93 75 72 106 97 103 94 76 73 34 <--> 70 106 25 31 22 4 1 33 35 24 26 30 32 21 23 3 5 0 2 61 67 58 40 37 69 71 60 62 66 68 57 59 39 41 36 38 97 103 94 76 73 105 107 96 98 102 104 93 95 75 77 72 74 35 <--> 71 107 26 32 23 5 2 34 25 31 22 4 1 62 68 59 41 38 70 61 67 58 40 37 98 104 95 77 74 106 97 103 94 76 73 36 <--> 0 72 45 39 48 66 69 37 46 40 49 67 70 9 3 12 30 33 1 10 4 13 31 34 81 75 84 102 105 73 82 76 85 103 106 37 <--> 1 73 46 40 49 67 70 36 38 45 47 39 41 48 50 66 68 69 71 10 4 13 31 34 0 2 9 11 3 5 12 14 30 32 33 35 82 76 85 103 106 72 74 81 83 75 77 84 86 102 104 105 107 38 <--> 2 74 47 41 50 68 71 37 46 40 49 67 70 11 5 14 32 35 1 10 4 13 31 34 83 77 86 104 107 73 82 76 85 103 106 39 <--> 3 75 48 36 42 45 51 63 66 69 40 49 37 43 46 52 64 67 70 12 0 6 9 15 27 30 33 4 13 1 7 10 16 28 31 34 84 72 78 81 87 99 102 105 76 85 73 79 82 88 100 103 106 40 <--> 4 76 49 37 43 46 52 64 67 70 39 41 48 50 36 38 42 44 45 47 51 53 63 65 66 68 69 71 13 1 7 10 16 28 31 34 3 5 12 14 0 2 6 8 9 11 15 17 27 29 30 32 33 35 85 73 79 82 88 100 103 106 75 77 84 86 72 74 78 80 81 83 87 89 99 101 102 104 105 107 41 <--> 5 77 50 38 44 47 53 65 68 71 40 49 37 43 46 52 64 67 70 14 2 8 11 17 29 32 35 4 13 1 7 10 16 28 31 34 86 74 80 83 89 101 104 107 76 85 73 79 82 88 100 103 106 42 <--> 6 78 51 39 48 66 63 43 52 40 49 67 64 15 3 12 30 27 7 16 4 13 31 28 87 75 84 102 99 79 88 76 85 103 100 43 <--> 7 79 52 40 49 67 64 42 44 51 53 39 41 48 50 66 68 63 65 16 4 13 31 28 6 8 15 17 3 5 12 14 30 32 27 29 88 76 85 103 100 78 80 87 89 75 77 84 86 102 104 99 101 44 <--> 8 80 53 41 50 68 65 43 52 40 49 67 64 17 5 14 32 29 7 16 4 13 31 28 89 77 86 104 101 79 88 76 85 103 100 45 <--> 9 81 36 54 48 39 57 46 37 55 49 40 58 0 18 12 3 21 10 1 19 13 4 22 72 90 84 75 93 82 73 91 85 76 94 46 <--> 10 82 37 55 49 40 58 45 47 36 38 54 56 48 50 39 41 57 59 1 19 13 4 22 9 11 0 2 18 20 12 14 3 5 21 23 73 91 85 76 94 81 83 72 74 90 92 84 86 75 77 93 95 47 <--> 11 83 38 56 50 41 59 46 37 55 49 40 58 2 20 14 5 23 10 1 19 13 4 22 74 92 86 77 95 82 73 91 85 76 94 48 <--> 12 84 39 57 45 51 36 42 54 60 49 40 58 46 52 37 43 55 61 3 21 9 15 0 6 18 24 13 4 22 10 16 1 7 19 25 75 93 81 87 72 78 90 96 85 76 94 82 88 73 79 91 97 49 <--> 13 85 40 58 46 52 37 43 55 61 48 50 39 41 57 59 45 47 51 53 36 38 42 44 54 56 60 62 4 22 10 16 1 7 19 25 12 14 3 5 21 23 9 11 15 17 0 2 6 8 18 20 24 26 76 94 82 88 73 79 91 97 84 86 75 77 93 95 81 83 87 89 72 74 78 80 90 92 96 98 50 <--> 14 86 41 59 47 53 38 44 56 62 49 40 58 46 52 37 43 55 61 5 23 11 17 2 8 20 26 13 4 22 10 16 1 7 19 25 77 95 83 89 74 80 92 98 85 76 94 82 88 73 79 91 97 51 <--> 15 87 42 60 48 39 57 52 43 61 49 40 58 6 24 12 3 21 16 7 25 13 4 22 78 96 84 75 93 88 79 97 85 76 94 52 <--> 16 88 43 61 49 40 58 51 53 42 44 60 62 48 50 39 41 57 59 7 25 13 4 22 15 17 6 8 24 26 12 14 3 5 21 23 79 97 85 76 94 87 89 78 80 96 98 84 86 75 77 93 95 53 <--> 17 89 44 62 50 41 59 52 43 61 49 40 58 8 26 14 5 23 16 7 25 13 4 22 80 98 86 77 95 88 79 97 85 76 94 54 <--> 18 90 45 63 57 48 66 55 46 64 58 49 67 9 27 21 12 30 19 10 28 22 13 31 81 99 93 84 102 91 82 100 94 85 103 55 <--> 19 91 46 64 58 49 67 54 56 45 47 63 65 57 59 48 50 66 68 10 28 22 13 31 18 20 9 11 27 29 21 23 12 14 30 32 82 100 94 85 103 90 92 81 83 99 101 93 95 84 86 102 104 56 <--> 20 92 47 65 59 50 68 55 46 64 58 49 67 11 29 23 14 32 19 10 28 22 13 31 83 101 95 86 104 91 82 100 94 85 103 57 <--> 21 93 48 66 54 60 45 51 63 69 58 49 67 55 61 46 52 64 70 12 30 18 24 9 15 27 33 22 13 31 19 25 10 16 28 34 84 102 90 96 81 87 99 105 94 85 103 91 97 82 88 100 106 58 <--> 22 94 49 67 55 61 46 52 64 70 57 59 48 50 66 68 54 56 60 62 45 47 51 53 63 65 69 71 13 31 19 25 10 16 28 34 21 23 12 14 30 32 18 20 24 26 9 11 15 17 27 29 33 35 85 103 91 97 82 88 100 106 93 95 84 86 102 104 90 92 96 98 81 83 87 89 99 101 105 107 59 <--> 23 95 50 68 56 62 47 53 65 71 58 49 67 55 61 46 52 64 70 14 32 20 26 11 17 29 35 22 13 31 19 25 10 16 28 34 86 104 92 98 83 89 101 107 94 85 103 91 97 82 88 100 106 60 <--> 24 96 51 69 57 48 66 61 52 70 58 49 67 15 33 21 12 30 25 16 34 22 13 31 87 105 93 84 102 97 88 106 94 85 103 61 <--> 25 97 52 70 58 49 67 60 62 51 53 69 71 57 59 48 50 66 68 16 34 22 13 31 24 26 15 17 33 35 21 23 12 14 30 32 88 106 94 85 103 96 98 87 89 105 107 93 95 84 86 102 104 62 <--> 26 98 53 71 59 50 68 61 52 70 58 49 67 17 35 23 14 32 25 16 34 22 13 31 89 107 95 86 104 97 88 106 94 85 103 63 <--> 27 99 54 66 57 39 42 64 55 67 58 40 43 18 30 21 3 6 28 19 31 22 4 7 90 102 93 75 78 100 91 103 94 76 79 64 <--> 28 100 55 67 58 40 43 63 65 54 56 66 68 57 59 39 41 42 44 19 31 22 4 7 27 29 18 20 30 32 21 23 3 5 6 8 91 103 94 76 79 99 101 90 92 102 104 93 95 75 77 78 80 65 <--> 29 101 56 68 59 41 44 64 55 67 58 40 43 20 32 23 5 8 28 19 31 22 4 7 92 104 95 77 80 100 91 103 94 76 79 66 <--> 30 102 57 63 69 54 60 36 39 42 67 58 64 70 55 61 37 40 43 21 27 33 18 24 0 3 6 31 22 28 34 19 25 1 4 7 93 99 105 90 96 72 75 78 103 94 100 106 91 97 73 76 79 67 <--> 31 103 58 64 70 55 61 37 40 43 66 68 57 59 63 65 69 71 54 56 60 62 36 38 39 41 42 44 22 28 34 19 25 1 4 7 30 32 21 23 27 29 33 35 18 20 24 26 0 2 3 5 6 8 94 100 106 91 97 73 76 79 102 104 93 95 99 101 105 107 90 92 96 98 72 74 75 77 78 80 68 <--> 32 104 59 65 71 56 62 38 41 44 67 58 64 70 55 61 37 40 43 23 29 35 20 26 2 5 8 31 22 28 34 19 25 1 4 7 95 101 107 92 98 74 77 80 103 94 100 106 91 97 73 76 79 69 <--> 33 105 60 66 57 39 36 70 61 67 58 40 37 24 30 21 3 0 34 25 31 22 4 1 96 102 93 75 72 106 97 103 94 76 73 70 <--> 34 106 61 67 58 40 37 69 71 60 62 66 68 57 59 39 41 36 38 25 31 22 4 1 33 35 24 26 30 32 21 23 3 5 0 2 97 103 94 76 73 105 107 96 98 102 104 93 95 75 77 72 74 71 <--> 35 107 62 68 59 41 38 70 61 67 58 40 37 26 32 23 5 2 34 25 31 22 4 1 98 104 95 77 74 106 97 103 94 76 73 72 <--> 0 36 81 75 84 102 105 73 82 76 85 103 106 9 3 12 30 33 1 10 4 13 31 34 45 39 48 66 69 37 46 40 49 67 70 73 <--> 1 37 82 76 85 103 106 72 74 81 83 75 77 84 86 102 104 105 107 10 4 13 31 34 0 2 9 11 3 5 12 14 30 32 33 35 46 40 49 67 70 36 38 45 47 39 41 48 50 66 68 69 71 74 <--> 2 38 83 77 86 104 107 73 82 76 85 103 106 11 5 14 32 35 1 10 4 13 31 34 47 41 50 68 71 37 46 40 49 67 70 75 <--> 3 39 84 72 78 81 87 99 102 105 76 85 73 79 82 88 100 103 106 12 0 6 9 15 27 30 33 4 13 1 7 10 16 28 31 34 48 36 42 45 51 63 66 69 40 49 37 43 46 52 64 67 70 76 <--> 4 40 85 73 79 82 88 100 103 106 75 77 84 86 72 74 78 80 81 83 87 89 99 101 102 104 105 107 13 1 7 10 16 28 31 34 3 5 12 14 0 2 6 8 9 11 15 17 27 29 30 32 33 35 49 37 43 46 52 64 67 70 39 41 48 50 36 38 42 44 45 47 51 53 63 65 66 68 69 71 77 <--> 5 41 86 74 80 83 89 101 104 107 76 85 73 79 82 88 100 103 106 14 2 8 11 17 29 32 35 4 13 1 7 10 16 28 31 34 50 38 44 47 53 65 68 71 40 49 37 43 46 52 64 67 70 78 <--> 6 42 87 75 84 102 99 79 88 76 85 103 100 15 3 12 30 27 7 16 4 13 31 28 51 39 48 66 63 43 52 40 49 67 64 79 <--> 7 43 88 76 85 103 100 78 80 87 89 75 77 84 86 102 104 99 101 16 4 13 31 28 6 8 15 17 3 5 12 14 30 32 27 29 52 40 49 67 64 42 44 51 53 39 41 48 50 66 68 63 65 80 <--> 8 44 89 77 86 104 101 79 88 76 85 103 100 17 5 14 32 29 7 16 4 13 31 28 53 41 50 68 65 43 52 40 49 67 64 81 <--> 9 45 72 90 84 75 93 82 73 91 85 76 94 0 18 12 3 21 10 1 19 13 4 22 36 54 48 39 57 46 37 55 49 40 58 82 <--> 10 46 73 91 85 76 94 81 83 72 74 90 92 84 86 75 77 93 95 1 19 13 4 22 9 11 0 2 18 20 12 14 3 5 21 23 37 55 49 40 58 45 47 36 38 54 56 48 50 39 41 57 59 83 <--> 11 47 74 92 86 77 95 82 73 91 85 76 94 2 20 14 5 23 10 1 19 13 4 22 38 56 50 41 59 46 37 55 49 40 58 84 <--> 12 48 75 93 81 87 72 78 90 96 85 76 94 82 88 73 79 91 97 3 21 9 15 0 6 18 24 13 4 22 10 16 1 7 19 25 39 57 45 51 36 42 54 60 49 40 58 46 52 37 43 55 61 85 <--> 13 49 76 94 82 88 73 79 91 97 84 86 75 77 93 95 81 83 87 89 72 74 78 80 90 92 96 98 4 22 10 16 1 7 19 25 12 14 3 5 21 23 9 11 15 17 0 2 6 8 18 20 24 26 40 58 46 52 37 43 55 61 48 50 39 41 57 59 45 47 51 53 36 38 42 44 54 56 60 62 86 <--> 14 50 77 95 83 89 74 80 92 98 85 76 94 82 88 73 79 91 97 5 23 11 17 2 8 20 26 13 4 22 10 16 1 7 19 25 41 59 47 53 38 44 56 62 49 40 58 46 52 37 43 55 61 87 <--> 15 51 78 96 84 75 93 88 79 97 85 76 94 6 24 12 3 21 16 7 25 13 4 22 42 60 48 39 57 52 43 61 49 40 58 88 <--> 16 52 79 97 85 76 94 87 89 78 80 96 98 84 86 75 77 93 95 7 25 13 4 22 15 17 6 8 24 26 12 14 3 5 21 23 43 61 49 40 58 51 53 42 44 60 62 48 50 39 41 57 59 89 <--> 17 53 80 98 86 77 95 88 79 97 85 76 94 8 26 14 5 23 16 7 25 13 4 22 44 62 50 41 59 52 43 61 49 40 58 90 <--> 18 54 81 99 93 84 102 91 82 100 94 85 103 9 27 21 12 30 19 10 28 22 13 31 45 63 57 48 66 55 46 64 58 49 67 91 <--> 19 55 82 100 94 85 103 90 92 81 83 99 101 93 95 84 86 102 104 10 28 22 13 31 18 20 9 11 27 29 21 23 12 14 30 32 46 64 58 49 67 54 56 45 47 63 65 57 59 48 50 66 68 92 <--> 20 56 83 101 95 86 104 91 82 100 94 85 103 11 29 23 14 32 19 10 28 22 13 31 47 65 59 50 68 55 46 64 58 49 67 93 <--> 21 57 84 102 90 96 81 87 99 105 94 85 103 91 97 82 88 100 106 12 30 18 24 9 15 27 33 22 13 31 19 25 10 16 28 34 48 66 54 60 45 51 63 69 58 49 67 55 61 46 52 64 70 94 <--> 22 58 85 103 91 97 82 88 100 106 93 95 84 86 102 104 90 92 96 98 81 83 87 89 99 101 105 107 13 31 19 25 10 16 28 34 21 23 12 14 30 32 18 20 24 26 9 11 15 17 27 29 33 35 49 67 55 61 46 52 64 70 57 59 48 50 66 68 54 56 60 62 45 47 51 53 63 65 69 71 95 <--> 23 59 86 104 92 98 83 89 101 107 94 85 103 91 97 82 88 100 106 14 32 20 26 11 17 29 35 22 13 31 19 25 10 16 28 34 50 68 56 62 47 53 65 71 58 49 67 55 61 46 52 64 70 96 <--> 24 60 87 105 93 84 102 97 88 106 94 85 103 15 33 21 12 30 25 16 34 22 13 31 51 69 57 48 66 61 52 70 58 49 67 97 <--> 25 61 88 106 94 85 103 96 98 87 89 105 107 93 95 84 86 102 104 16 34 22 13 31 24 26 15 17 33 35 21 23 12 14 30 32 52 70 58 49 67 60 62 51 53 69 71 57 59 48 50 66 68 98 <--> 26 62 89 107 95 86 104 97 88 106 94 85 103 17 35 23 14 32 25 16 34 22 13 31 53 71 59 50 68 61 52 70 58 49 67 99 <--> 27 63 90 102 93 75 78 100 91 103 94 76 79 18 30 21 3 6 28 19 31 22 4 7 54 66 57 39 42 64 55 67 58 40 43 100 <--> 28 64 91 103 94 76 79 99 101 90 92 102 104 93 95 75 77 78 80 19 31 22 4 7 27 29 18 20 30 32 21 23 3 5 6 8 55 67 58 40 43 63 65 54 56 66 68 57 59 39 41 42 44 101 <--> 29 65 92 104 95 77 80 100 91 103 94 76 79 20 32 23 5 8 28 19 31 22 4 7 56 68 59 41 44 64 55 67 58 40 43 102 <--> 30 66 93 99 105 90 96 72 75 78 103 94 100 106 91 97 73 76 79 21 27 33 18 24 0 3 6 31 22 28 34 19 25 1 4 7 57 63 69 54 60 36 39 42 67 58 64 70 55 61 37 40 43 103 <--> 31 67 94 100 106 91 97 73 76 79 102 104 93 95 99 101 105 107 90 92 96 98 72 74 75 77 78 80 22 28 34 19 25 1 4 7 30 32 21 23 27 29 33 35 18 20 24 26 0 2 3 5 6 8 58 64 70 55 61 37 40 43 66 68 57 59 63 65 69 71 54 56 60 62 36 38 39 41 42 44 104 <--> 32 68 95 101 107 92 98 74 77 80 103 94 100 106 91 97 73 76 79 23 29 35 20 26 2 5 8 31 22 28 34 19 25 1 4 7 59 65 71 56 62 38 41 44 67 58 64 70 55 61 37 40 43 105 <--> 33 69 96 102 93 75 72 106 97 103 94 76 73 24 30 21 3 0 34 25 31 22 4 1 60 66 57 39 36 70 61 67 58 40 37 106 <--> 34 70 97 103 94 76 73 105 107 96 98 102 104 93 95 75 77 72 74 25 31 22 4 1 33 35 24 26 30 32 21 23 3 5 0 2 61 67 58 40 37 69 71 60 62 66 68 57 59 39 41 36 38 107 <--> 35 71 98 104 95 77 74 106 97 103 94 76 73 26 32 23 5 2 34 25 31 22 4 1 62 68 59 41 38 70 61 67 58 40 37 G = H/S: 0 <--> 9 3 12 30 33 1 10 4 13 31 34 1 <--> 0 10 4 13 31 34 2 9 11 3 5 12 14 30 32 33 35 2 <--> 1 11 5 14 32 35 10 4 13 31 34 3 <--> 0 1 12 6 9 15 27 30 33 4 13 7 10 16 28 31 34 4 <--> 0 1 2 3 13 7 10 16 28 31 34 5 12 14 6 8 9 11 15 17 27 29 30 32 33 35 5 <--> 1 2 4 14 8 11 17 29 32 35 13 7 10 16 28 31 34 6 <--> 3 4 15 12 30 27 7 16 13 31 28 7 <--> 3 4 5 6 16 13 31 28 8 15 17 12 14 30 32 27 29 8 <--> 4 5 7 17 14 32 29 16 13 31 28 9 <--> 0 1 3 4 18 12 21 10 19 13 22 10 <--> 0 1 2 3 4 5 9 19 13 22 11 18 20 12 14 21 23 11 <--> 1 2 4 5 10 20 14 23 19 13 22 12 <--> 0 1 3 4 6 7 9 10 21 15 18 24 13 22 16 19 25 13 <--> 0 1 2 3 4 5 6 7 8 9 10 11 12 22 16 19 25 14 21 23 15 17 18 20 24 26 14 <--> 1 2 4 5 7 8 10 11 13 23 17 20 26 22 16 19 25 15 <--> 3 4 6 7 12 13 24 21 16 25 22 16 <--> 3 4 5 6 7 8 12 13 14 15 25 22 17 24 26 21 23 17 <--> 4 5 7 8 13 14 16 26 23 25 22 18 <--> 9 10 12 13 27 21 30 19 28 22 31 19 <--> 9 10 11 12 13 14 18 28 22 31 20 27 29 21 23 30 32 20 <--> 10 11 13 14 19 29 23 32 28 22 31 21 <--> 9 10 12 13 15 16 18 19 30 24 27 33 22 31 25 28 34 22 <--> 9 10 11 12 13 14 15 16 17 18 19 20 21 31 25 28 34 23 30 32 24 26 27 29 33 35 23 <--> 10 11 13 14 16 17 19 20 22 32 26 29 35 31 25 28 34 24 <--> 12 13 15 16 21 22 33 30 25 34 31 25 <--> 12 13 14 15 16 17 21 22 23 24 34 31 26 33 35 30 32 26 <--> 13 14 16 17 22 23 25 35 32 34 31 27 <--> 3 4 6 7 18 19 21 22 30 28 31 28 <--> 3 4 5 6 7 8 18 19 20 21 22 23 27 31 29 30 32 29 <--> 4 5 7 8 19 20 22 23 28 32 31 30 <--> 0 1 3 4 6 7 18 19 21 22 24 25 27 28 33 31 34 31 <--> 0 1 2 3 4 5 6 7 8 18 19 20 21 22 23 24 25 26 27 28 29 30 34 32 33 35 32 <--> 1 2 4 5 7 8 19 20 22 23 25 26 28 29 31 35 34 33 <--> 0 1 3 4 21 22 24 25 30 31 34 34 <--> 0 1 2 3 4 5 21 22 23 24 25 26 30 31 32 33 35 35 <--> 1 2 4 5 22 23 25 26 31 32 34 covering-ordering (BFS) of backbone_vertices: 4 13 31 22 >>> ***APPROXIMATE FACTORS of QuotientGraph G*** <<< >>> Extracted Factors of Cartesian Skeleton <<< >>> (taking largest component of each color <<< >>> without using Nstar-neighborhoods) <<< factor 0: 0 <--> 2 7 1 <--> 3 6 2 <--> 0 4 3 <--> 1 5 4 <--> 2 6 5 <--> 3 7 6 <--> 1 4 7 <--> 0 5 factor 1: 0 <--> 1 1 <--> 0 2 2 <--> 1 factor 2: 0 <--> 1 1 <--> 0 2 2 <--> 1 >>> PFD of Nstar applied now, if necessary <<< -------------------------------------- >>> *End of Neighborhood Covering* <<< INTERMEDIATE INFORMATIONS: proper_color_continuation : YES non-prime 1-Neighborhoods number of thin N : 4 number of non-thin N : 0 prime 1-Neighborhoods : 0 other Neighborhoods number of used edgeN : 0 number of used N* : 0 -------------------------------------- >>> Check and Combine Factors <<< ------------------------------------ >>> *End of PrimeFactorization* <<< ------------------------------------ >>> complete Factors: <<< K_3 >>> non-complete Factors are: <<< ** G_0 ** 0 <--> 2 1 3 4 5 1 <--> 0 3 6 2 7 8 4 5 2 <--> 0 1 9 3 10 3 <--> 0 1 6 2 10 7 9 11 4 <--> 0 1 6 9 10 11 8 5 5 <--> 0 1 10 11 4 6 <--> 1 7 3 4 8 7 <--> 1 6 3 11 10 8 <--> 1 6 9 10 4 9 <--> 2 3 8 10 4 10 <--> 2 3 7 9 4 11 8 5 11 <--> 3 7 10 5 4 ** G_1 ** 0 <--> 1 1 <--> 0 2 2 <--> 1