Last active
April 3, 2018 11:49
-
-
Save gousiosg/362dc2c3adb680c5459cb0becaebeaf4 to your computer and use it in GitHub Desktop.
Revisions
-
gousiosg revised this gist
Apr 3, 2018 . 2 changed files with 651 additions and 43 deletions.There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode charactersOriginal file line number Diff line number Diff line change @@ -12,10 +12,8 @@ digraph g { 2 -> 55; 2 -> 200; 3 -> 54; 4 -> 40; 5 -> 39; @@ -30,7 +28,6 @@ digraph g { 8 -> "end"; 9 -> 40; 10 -> 44; @@ -44,7 +41,6 @@ digraph g { 13 -> 141; 13 -> 64; 14 -> 40; 15 -> "end"; @@ -78,7 +74,6 @@ digraph g { 23 -> 11; 23 -> 34; 24 -> 45; 25 -> 14; @@ -96,7 +91,6 @@ digraph g { 29 -> "?"; // 13? 29 -> 82; 30 -> 51; 31 -> 190; @@ -124,7 +118,6 @@ digraph g { 37 -> 30; 37 -> 160; 38 -> 54; 39 -> "end"; @@ -142,7 +135,6 @@ digraph g { 43 -> "end"; 44 -> 15; 45 -> 134; @@ -164,7 +156,6 @@ digraph g { 50 -> "end"; 51 -> "end"; 52 -> 143; 53 -> 75; @@ -173,7 +164,6 @@ digraph g { 54 -> 20; 54 -> 90; 55 -> 187; 56 -> 80; @@ -189,7 +179,6 @@ digraph g { 60 -> "end"; 61 -> 40; 62 -> 196; @@ -229,7 +218,6 @@ digraph g { 73 -> "end"; 74 -> 120; 75 -> 53; @@ -248,7 +236,6 @@ digraph g { 79 -> 11; 79 -> 23; 80 -> 143; 81 -> "end"; @@ -271,10 +258,8 @@ digraph g { 87 -> 120; 87 -> 74; 88 -> 32; 89 -> 15; 90 -> 46; @@ -303,15 +288,12 @@ digraph g { 97 -> 182; 97 -> 65; 98 -> 40; 99 -> "end"; 100 -> 10; 101 -> 143; 102 -> 63; @@ -331,22 +313,19 @@ digraph g { 106 -> 85; 106 -> 98; 107 -> 15; 108 -> "end"; 109 -> 67; 109 -> 170; 110 -> 145; 111 -> 54; 111 -> 17; 111 -> 197; 112 -> 193; 113 -> "end"; @@ -357,10 +336,8 @@ digraph g { 115 -> "end"; 116 -> 77; 117 -> 166; 118 -> 16; @@ -375,7 +352,6 @@ digraph g { 121 -> 131; 121 -> 45; 122 -> 181; 123 -> "end"; @@ -386,7 +362,6 @@ digraph g { 125 -> "end"; 126 -> 146; 127 -> 8; @@ -403,7 +378,6 @@ digraph g { 131 -> "end"; 132 -> 10; 133 -> "end"; @@ -426,17 +400,13 @@ digraph g { 137 -> 106; 137 -> 25; 138 -> 15; 139 -> "end"; 140 -> 45; 142 -> 50; 143 -> 93; @@ -458,15 +428,12 @@ digraph g { 148 -> "end"; 149 -> 40; 150 -> "end"; 151 -> 45; 152 -> 146; 153 -> 165; @@ -475,7 +442,6 @@ digraph g { 154 -> 131; 154 -> 45; 155 -> 184; 156 -> "end"; @@ -497,12 +463,10 @@ digraph g { 161 -> 24; 161 -> 24; 162 -> 145; 163 -> "end"; 164 -> 143; 165 -> "end"; @@ -531,7 +495,6 @@ digraph g { 173 -> "end"; 174 -> 181; 175 -> 5; @@ -560,7 +523,6 @@ digraph g { 182 -> "end"; 183 -> 159; 184 -> 4; @@ -573,7 +535,6 @@ digraph g { 186 -> "end"; 187 -> 103; 188 -> "end"; @@ -595,7 +556,6 @@ digraph g { 194 -> 172; 194 -> 161; 195 -> 158; 196 -> "end"; @@ -617,7 +577,6 @@ digraph g { 201 -> 150; 201 -> 209; 202 -> 159; 203 -> 19; @@ -629,10 +588,8 @@ digraph g { 205 -> 41; 205 -> 15; 206 -> 166; 207 -> 123; 208 -> 108; This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode charactersOriginal file line number Diff line number Diff line change @@ -0,0 +1,651 @@ digraph g { rankdir=LR; graph [fontname = "helvetica"]; node [shape=record, fontname = "helvetica"]; edge [fontname = "helvetica"]; 1 -> 95; 1 -> 10; 2 -> 78; 2 -> 135; 2 -> 55; 2 -> 200; 3 -> "bored"; 3 -> 54; 4 -> "bored"; 4 -> 40; 5 -> 39; 5 -> 12; 6 -> 22; 6 -> 203; 6 -> 178; 7 -> 186; 7 -> 15; 8 -> "end"; 9 -> "bored"; 9 -> 40; 10 -> 44; 10 -> 205; 11 -> "end"; 12 -> 174; 12 -> 122; 13 -> 141; 13 -> 64; 14 -> "bored"; 14 -> 40; 15 -> "end"; 16 -> 194; 16 -> 151; 17 -> 115; 17 -> 76; 17 -> 157; 17 -> 102; 18 -> 38; 18 -> 211; 18 -> 3; 19 -> end; 20 -> 191; 20 -> 116; 21 -> 97; 21 -> 182; 21 -> 65; 21 -> 195; 22 -> 46; 22 -> 179; 22 -> 62; 23 -> 11; 23 -> "?"; 24 -> "bored"; 24 -> 45; 25 -> 14; 25 -> 149; 25 -> 142; 25 -> 158; 26 -> "end"; 27 -> 125; 27 -> 15; 28 -> "end"; 29 -> "?"; // 13? 29 -> 82; 30 -> "bored"; 30 -> 51; 31 -> 190; 31 -> 72; 31 -> 67; 31 -> 170; 32 -> 125; 32 -> 26; 32 -> 42; 33 -> 69; 33 -> 188; 34 -> 163; 34 -> 139; 35 -> "end"; 36 -> 111; 36 -> 183; 36 -> 202; 37 -> 30; 37 -> 30; 37 -> 160; 38 -> "bored"; 38 -> 54; 39 -> "end"; 40 -> 21; 40 -> 31; 41 -> 78; 41 -> 2; 41 -> 135; 41 -> 200; 42 -> "?"; 42 -> 86; 43 -> "end"; 44 -> "bored"; 44 -> 15; 45 -> 134; 45 -> 15; 46 -> 6; 46 -> 178; 46 -> 203; 47 -> 83; 47 -> 29; 48 -> "end"; 49 -> 21; 49 -> 31; 49 -> 185; 50 -> "end"; 51 -> "end"; 52 -> "bored"; 52 -> 143; 53 -> 75; 53 -> 105; 54 -> 20; 54 -> 90; 55 -> "bored"; 55 -> 187; 56 -> 80; 56 -> 101; 57 -> "end"; 58 -> 84; 58 -> 44; 59 -> 119; 59 -> 15; 60 -> "end"; 61 -> "bored"; 61 -> 40; 62 -> 196; 62 -> 22; 62 -> 179; 63 -> 127; 63 -> 15; 64 -> "end"; 65 -> 54; 65 -> 17; 65 -> 197; 66 -> 53; 66 -> "?"; 67 -> 176; 67 -> 124; 68 -> 24; 68 -> 61; 68 -> 24; 69 -> "end"; 70 -> 167; 70 -> 109; 70 -> 65; 71 -> 60; 71 -> 100; 72 -> 117; 72 -> 206; 73 -> "end"; 74 -> "bored"; 74 -> 120; 75 -> 53; 75 -> 105; 76 -> 66; 76 -> 15; 77 -> "end"; 78 -> 200; 78 -> 135; 78 -> 55; 78 -> 2; 79 -> 11; 79 -> 23; 80 -> "bored"; 80 -> 143; 81 -> "end"; 82 -> "end"; 83 -> 152; 83 -> 126; 83 -> 133; 84 -> "end"; 85 -> 204; 85 -> 71; 86 -> 148; 86 -> 27; 86 -> 27; 87 -> 120; 87 -> 74; 88 -> "bored"; 88 -> 32; 89 -> "bored"; 89 -> 15; 90 -> 46; 90 -> 114; 91 -> 56; 91 -> 164; 91 -> 52; 92 -> 145; 92 -> 168; 93 -> 112; 93 -> 104; 94 -> 169; 94 -> 132; 94 -> 107; 95 -> 36; 95 -> 45; 96 -> "end"; 97 -> 147; 97 -> 182; 97 -> 65; 98 -> "bored"; 98 -> 40; 99 -> "end"; 100 -> "bored"; 100 -> 10; 101 -> "bored"; 101 -> 143; 102 -> 63; 102 -> 15; 103 -> "end"; 104 -> 192; 104 -> 45; 105 -> 177; 105 -> 52; 105 -> 164; 106 -> 160; 106 -> 138; 106 -> 85; 106 -> 98; 107 -> "bored"; 107 -> 15; 108 -> "end"; 109 -> 67; 109 -> 170; 110 -> "bored"; 110 -> 145; 111 -> 54; 111 -> 17; 111 -> 197; 112 -> "bored"; 112 -> 193; 113 -> "end"; 114 -> 22; 114 -> 179; 114 -> 62; 115 -> "end"; 116 -> "bored"; 116 -> 77; 117 -> "bored"; 117 -> 166; 118 -> 16; 118 -> 9; 119 -> "end"; 120 -> 144; 120 -> 140; 120 -> 50; 121 -> 131; 121 -> 45; 122 -> "bored"; 122 -> 181; 123 -> "end"; 124 -> 198; 124 -> 113; 123 -> 28; 125 -> "end"; 126 -> "bored"; 126 -> 146; 127 -> 8; 127 -> 6; 128 -> 92; 128 -> 145; 129 -> 137; 129 -> 17; 130 -> 162; 130 -> 145; 131 -> "end"; 132 -> "bored"; 132 -> 10; 133 -> "end"; 134 -> 59; 134 -> 171; 134 -> 15; 135 -> 78; 135 -> 2; 135 -> 55; 135 -> 200; 136 -> 130; 136 -> 173; 136 -> 110; 136 -> 145; 137 -> 155; 137 -> 106; 137 -> 25; 138 -> "bored"; 138 -> 15; 139 -> "end"; 140 -> "bored"; 140 -> 45; 141 -> "bored"; 142 -> "bored"; 142 -> 50; 143 -> "?"; 143 -> 57; 144 -> "end"; 145 -> 152; 145 -> 57; 145 -> 133; 146 -> "88"; 146 -> "?"; 146 -> 121; 147 -> 25; 147 -> 182; 147 -> 65; 148 -> "end"; 149 -> "bored"; 149 -> 40; 150 -> "end"; 151 -> "bored"; 151 -> 45; 152 -> "bored"; 152 -> 146; 153 -> 165; 153 -> 45; 154 -> 131; 154 -> 45; 155 -> "bored"; 155 -> 184; 156 -> "end"; 157 -> 73; 157 -> 43; 158 -> 94; 158 -> 18; 158 -> 180; 159 -> 31; 159 -> 21; 159 -> 49; 160 -> "end"; 161 -> 61; 161 -> 24; 161 -> 24; 162 -> "bored"; 162 -> 145; 163 -> "end"; 164 -> "bored"; 164 -> 143; 165 -> "end"; 166 -> 43; 166 -> 73; 166 -> 105; 167 -> 123; 167 -> 207; 168 -> 70; 168 -> 210; 169 -> "end"; 170 -> 189; 170 -> 27; 171 -> 59; 171 -> 15; 172 -> 24; 172 -> 61; 172 -> 24; 173 -> "end"; 174 -> "bored"; 174 -> 181; 175 -> 5; 175 -> 12; 176 -> "end"; 177 -> 91; 177 -> 52; 177 -> 164; 178 -> 208; 178 -> 5; 178 -> 203; 179 -> 201; 179 -> 62; 179 -> 22; 180 -> 119; 180 -> 89; 181 -> 7; 181 -> 7; 181 -> 13; 182 -> "end"; 183 -> "bored"; 183 -> 159; 184 -> 4; 184 -> 99; 184 -> 4; 185 -> 21; 185 -> 31; 185 -> 129; 186 -> "end"; 187 -> "bored"; 187 -> 103; 188 -> "end"; 189 -> 153; 189 -> 45; 190 -> 128; 190 -> 137; 191 -> "end"; 192 -> "end"; 193 -> 79; 193 -> 45; 194 -> 68; 194 -> 172; 194 -> 161; 195 -> "bored"; 195 -> 158; 196 -> "end"; 197 -> "end"; 198 -> 113; 198 -> 28; 199 -> 115; 199 -> 76; 199 -> 157; 200 -> 78; 200 -> 135; 200 -> 55; 200 -> 2; 201 -> 150; 201 -> 209; 202 -> "bored"; 202 -> 159; 203 -> 19; 203 -> 6; 203 -> 178; 204 -> "end"; 205 -> 41; 205 -> 15; 206 -> "bored"; 206 -> 166; 207 -> "bored"; 207 -> 123; 208 -> 108; 208 -> 81; 209 -> "end"; 210 -> 170; 210 -> 72; 211 -> 156; 211 -> 199; } //vim:autocmd BufWritePost * !dot -Tpdf trivizas.dot > trivizas.pdf -
Apr 3, 2018 .There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode charactersOriginal file line number Diff line number Diff line change @@ -0,0 +1,651 @@ digraph g { rankdir=LR; graph [fontname = "helvetica"]; node [shape=record, fontname = "helvetica"]; edge [fontname = "helvetica"]; 1 -> 95; 1 -> 10; 2 -> 78; 2 -> 135; 2 -> 55; 2 -> 200; // 3 -> "bored"; 3 -> 54; // 4 -> "bored"; 4 -> 40; 5 -> 39; 5 -> 12; 6 -> 22; 6 -> 203; 6 -> 178; 7 -> 186; 7 -> 15; 8 -> "end"; // 9 -> "bored"; 9 -> 40; 10 -> 44; 10 -> 205; 11 -> "end"; 12 -> 174; 12 -> 122; 13 -> 141; 13 -> 64; // 14 -> "bored"; 14 -> 40; 15 -> "end"; 16 -> 194; 16 -> 151; 17 -> 115; 17 -> 76; 17 -> 157; 17 -> 102; 18 -> 38; 18 -> 211; 18 -> 3; 19 -> end; 20 -> 191; 20 -> 116; 21 -> 97; 21 -> 182; 21 -> 65; 21 -> 195; 22 -> 46; 22 -> 179; 22 -> 62; 23 -> 11; 23 -> 34; // 24 -> "bored"; 24 -> 45; 25 -> 14; 25 -> 149; 25 -> 142; 25 -> 158; 26 -> "end"; 27 -> 125; 27 -> 15; 28 -> "end"; 29 -> "?"; // 13? 29 -> 82; // 30 -> "bored"; 30 -> 51; 31 -> 190; 31 -> 72; 31 -> 67; 31 -> 170; 32 -> 125; 32 -> 26; 32 -> 42; 33 -> 69; 33 -> 188; 34 -> 163; 34 -> 139; 35 -> "end"; 36 -> 111; 36 -> 183; 36 -> 202; 37 -> 30; 37 -> 30; 37 -> 160; // 38 -> "bored"; 38 -> 54; 39 -> "end"; 40 -> 21; 40 -> 31; 41 -> 78; 41 -> 2; 41 -> 135; 41 -> 200; 42 -> "?"; 42 -> 86; 43 -> "end"; // 44 -> "bored"; 44 -> 15; 45 -> 134; 45 -> 15; 46 -> 6; 46 -> 178; 46 -> 203; 47 -> 83; 47 -> 29; 48 -> "end"; 49 -> 21; 49 -> 31; 49 -> 185; 50 -> "end"; 51 -> "end"; // 52 -> "bored"; 52 -> 143; 53 -> 75; 53 -> 105; 54 -> 20; 54 -> 90; // 55 -> "bored"; 55 -> 187; 56 -> 80; 56 -> 101; 57 -> "end"; 58 -> 84; 58 -> 44; 59 -> 119; 59 -> 15; 60 -> "end"; // 61 -> "bored"; 61 -> 40; 62 -> 196; 62 -> 22; 62 -> 179; 63 -> 127; 63 -> 15; 64 -> "end"; 65 -> 54; 65 -> 17; 65 -> 197; 66 -> 58; 66 -> 15; 67 -> 176; 67 -> 124; 68 -> 24; 68 -> 61; 68 -> 24; 69 -> "end"; 70 -> 167; 70 -> 109; 70 -> 65; 71 -> 60; 71 -> 100; 72 -> 117; 72 -> 206; 73 -> "end"; // 74 -> "bored"; 74 -> 120; 75 -> 53; 75 -> 105; 76 -> 66; 76 -> 15; 77 -> "end"; 78 -> 200; 78 -> 135; 78 -> 55; 78 -> 2; 79 -> 11; 79 -> 23; // 80 -> "bored"; 80 -> 143; 81 -> "end"; 82 -> "end"; 83 -> 152; 83 -> 126; 83 -> 133; 84 -> "end"; 85 -> 204; 85 -> 71; 86 -> 148; 86 -> 27; 86 -> 27; 87 -> 120; 87 -> 74; // 88 -> "bored"; 88 -> 32; // 89 -> "bored"; 89 -> 15; 90 -> 46; 90 -> 114; 91 -> 56; 91 -> 164; 91 -> 52; 92 -> 145; 92 -> 168; 93 -> 112; 93 -> 104; 94 -> 169; 94 -> 132; 94 -> 107; 95 -> 36; 95 -> 45; 96 -> "end"; 97 -> 147; 97 -> 182; 97 -> 65; // 98 -> "bored"; 98 -> 40; 99 -> "end"; // 100 -> "bored"; 100 -> 10; // 101 -> "bored"; 101 -> 143; 102 -> 63; 102 -> 15; 103 -> "end"; 104 -> 192; 104 -> 45; 105 -> 177; 105 -> 52; 105 -> 164; 106 -> 160; 106 -> 138; 106 -> 85; 106 -> 98; // 107 -> "bored"; 107 -> 15; 108 -> "end"; 109 -> 67; 109 -> 170; // 110 -> "bored"; 110 -> 145; 111 -> 54; 111 -> 17; 111 -> 197; // 112 -> "bored"; 112 -> 193; 113 -> "end"; 114 -> 22; 114 -> 179; 114 -> 62; 115 -> "end"; // 116 -> "bored"; 116 -> 77; // 117 -> "bored"; 117 -> 166; 118 -> 16; 118 -> 9; 119 -> "end"; 120 -> 144; 120 -> 140; 120 -> 50; 121 -> 131; 121 -> 45; // 122 -> "bored"; 122 -> 181; 123 -> "end"; 124 -> 198; 124 -> 113; 123 -> 28; 125 -> "end"; // 126 -> "bored"; 126 -> 146; 127 -> 8; 127 -> 6; 128 -> 92; 128 -> 145; 129 -> 137; 129 -> 17; 130 -> 162; 130 -> 145; 131 -> "end"; // 132 -> "bored"; 132 -> 10; 133 -> "end"; 134 -> 59; 134 -> 171; 134 -> 15; 135 -> 78; 135 -> 2; 135 -> 55; 135 -> 200; 136 -> 130; 136 -> 173; 136 -> 110; 136 -> 145; 137 -> 155; 137 -> 106; 137 -> 25; // 138 -> "bored"; 138 -> 15; 139 -> "end"; // 140 -> "bored"; 140 -> 45; // 141 -> "bored"; // 142 -> "bored"; 142 -> 50; 143 -> 93; 143 -> 57; 144 -> "end"; 145 -> 152; 145 -> 57; 145 -> 133; 146 -> "88"; 146 -> "?"; 146 -> 121; 147 -> 25; 147 -> 182; 147 -> 65; 148 -> "end"; // 149 -> "bored"; 149 -> 40; 150 -> "end"; // 151 -> "bored"; 151 -> 45; // 152 -> "bored"; 152 -> 146; 153 -> 165; 153 -> 45; 154 -> 131; 154 -> 45; // 155 -> "bored"; 155 -> 184; 156 -> "end"; 157 -> 73; 157 -> 43; 158 -> 94; 158 -> 18; 158 -> 180; 159 -> 31; 159 -> 21; 159 -> 49; 160 -> "end"; 161 -> 61; 161 -> 24; 161 -> 24; // 162 -> "bored"; 162 -> 145; 163 -> "end"; // 164 -> "bored"; 164 -> 143; 165 -> "end"; 166 -> 43; 166 -> 73; 166 -> 105; 167 -> 123; 167 -> 207; 168 -> 70; 168 -> 210; 169 -> "end"; 170 -> 189; 170 -> 27; 171 -> 59; 171 -> 15; 172 -> 24; 172 -> 61; 172 -> 24; 173 -> "end"; // 174 -> "bored"; 174 -> 181; 175 -> 5; 175 -> 12; 176 -> "end"; 177 -> 91; 177 -> 52; 177 -> 164; 178 -> 208; 178 -> 5; 178 -> 203; 179 -> 201; 179 -> 62; 179 -> 22; 180 -> 119; 180 -> 89; 181 -> 7; 181 -> 7; 181 -> 13; 182 -> "end"; // 183 -> "bored"; 183 -> 159; 184 -> 4; 184 -> 99; 184 -> 4; 185 -> 21; 185 -> 31; 185 -> 129; 186 -> "end"; // 187 -> "bored"; 187 -> 103; 188 -> "end"; 189 -> 153; 189 -> 45; 190 -> 128; 190 -> 137; 191 -> "end"; 192 -> "end"; 193 -> 79; 193 -> 45; 194 -> 68; 194 -> 172; 194 -> 161; // 195 -> "bored"; 195 -> 158; 196 -> "end"; 197 -> "end"; 198 -> 113; 198 -> 28; 199 -> 115; 199 -> 76; 199 -> 157; 200 -> 78; 200 -> 135; 200 -> 55; 200 -> 2; 201 -> 150; 201 -> 209; // 202 -> "bored"; 202 -> 159; 203 -> 19; 203 -> 6; 203 -> 178; 204 -> "end"; 205 -> 41; 205 -> 15; // 206 -> "bored"; 206 -> 166; // 207 -> "bored"; 207 -> 123; 208 -> 108; 208 -> 81; 209 -> "end"; 210 -> 170; 210 -> 72; 211 -> 156; 211 -> 199; } //vim:autocmd BufWritePost * !dot -Tpdf trivizas.dot > trivizas.pdf