abstract.gv 770 B

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071
  1. digraph abstract {
  2. size="6,6";
  3. S24 -> 27;
  4. S24 -> 25;
  5. S1 -> 10;
  6. S1 -> 2;
  7. S35 -> 36;
  8. S35 -> 43;
  9. S30 -> 31;
  10. S30 -> 33;
  11. 9 -> 42;
  12. 9 -> T1;
  13. 25 -> T1;
  14. 25 -> 26;
  15. 27 -> T24;
  16. 2 -> 3;
  17. 2 -> 16;
  18. 2 -> 17;
  19. 2 -> T1;
  20. 2 -> 18;
  21. 10 -> 11;
  22. 10 -> 14;
  23. 10 -> T1;
  24. 10 -> 13;
  25. 10 -> 12;
  26. 31 -> T1;
  27. 31 -> 32;
  28. 33 -> T30;
  29. 33 -> 34;
  30. 42 -> 4;
  31. 26 -> 4;
  32. 3 -> 4;
  33. 16 -> 15;
  34. 17 -> 19;
  35. 18 -> 29;
  36. 11 -> 4;
  37. 14 -> 15;
  38. 37 -> 39;
  39. 37 -> 41;
  40. 37 -> 38;
  41. 37 -> 40;
  42. 13 -> 19;
  43. 12 -> 29;
  44. 43 -> 38;
  45. 43 -> 40;
  46. 36 -> 19;
  47. 32 -> 23;
  48. 34 -> 29;
  49. 39 -> 15;
  50. 41 -> 29;
  51. 38 -> 4;
  52. 40 -> 19;
  53. 4 -> 5;
  54. 19 -> 21;
  55. 19 -> 20;
  56. 19 -> 28;
  57. 5 -> 6;
  58. 5 -> T35;
  59. 5 -> 23;
  60. 21 -> 22;
  61. 20 -> 15;
  62. 28 -> 29;
  63. 6 -> 7;
  64. 15 -> T1;
  65. 22 -> 23;
  66. 22 -> T35;
  67. 29 -> T30;
  68. 7 -> T8;
  69. 23 -> T24;
  70. 23 -> T1;
  71. }