digraph G {
  graph [rankdir="LR"];
  0 [color="black" fillcolor="green" shape="circle" style="filled"];
  2 [color="black" fillcolor="white" shape="circle" style="filled"];
  4 [color="black" fillcolor="white" shape="circle" style="filled"];
  6 [color="black" fillcolor="white" shape="circle" style="filled"];
  5 [color="black" fillcolor="white" shape="circle" style="filled"];
  7 [color="black" fillcolor="white" shape="circle" style="filled"];
  9 [color="black" fillcolor="white" shape="circle" style="filled"];
  10 [color="black" fillcolor="white" shape="circle" style="filled"];
  21 [color="black" fillcolor="white" shape="circle" style="filled"];
  18 [color="black" fillcolor="white" shape="circle" style="filled"];
  23 [color="black" fillcolor="white" shape="circle" style="filled"];
  20 [color="black" fillcolor="white" shape="circle" style="filled"];
  12 [color="black" fillcolor="white" shape="circle" style="filled"];
  22 [color="black" fillcolor="white" shape="circle" style="filled"];
  14 [color="black" fillcolor="white" shape="circle" style="filled"];
  19 [color="black" fillcolor="white" shape="circle" style="filled"];
  8 [color="black" fillcolor="white" shape="circle" style="filled"];
  13 [color="black" fillcolor="white" shape="circle" style="filled"];
  15 [color="black" fillcolor="white" shape="circle" style="filled"];
  24 [color="black" fillcolor="white" shape="circle" style="filled"];
  17 [color="black" fillcolor="white" shape="circle" style="filled"];
  26 [color="black" fillcolor="white" shape="circle" style="filled"];
  16 [color="black" fillcolor="white" shape="circle" style="filled"];
  25 [color="black" fillcolor="white" shape="circle" style="filled"];
  27 [color="black" fillcolor="white" shape="circle" style="filled"];
  3 [color="black" fillcolor="white" shape="circle" style="filled"];
  29 [color="black" fillcolor="white" shape="circle" style="filled"];
  11 [color="black" fillcolor="white" shape="circle" style="filled"];
  36 [color="black" fillcolor="white" shape="circle" style="filled"];
  1 [color="black" fillcolor="white" shape="circle" style="filled"];
  30 [color="black" fillcolor="white" shape="circle" style="filled"];
  33 [color="black" fillcolor="white" shape="circle" style="filled"];
  32 [color="black" fillcolor="white" shape="circle" style="filled"];
  38 [color="black" fillcolor="white" shape="circle" style="filled"];
  35 [color="black" fillcolor="white" shape="circle" style="filled"];
  34 [color="black" fillcolor="white" shape="circle" style="filled"];
  37 [color="black" fillcolor="white" shape="circle" style="filled"];
  31 [color="black" fillcolor="white" shape="circle" style="filled"];
  28 [color="black" fillcolor="white" shape="circle" style="filled"];
  4 -> 6 [label="FirstTask:start"];
  6 -> 5 [label="FirstTask:end"];
  2 -> 4 [label=""];
  7 -> 9 [label=""];
  12 -> 14 [label="MakeJoy:start"];
  14 -> 13 [label="MakeJoy:end"];
  10 -> 12 [label=""];
  15 -> 17 [label="DrinkBeers:start"];
  17 -> 16 [label="DrinkBeers:end"];
  13 -> 15 [label=""];
  16 -> 11 [label=""];
  9 -> 10 [label="[everyoneHappy]"];
  11 -> 8 [label=""];
  18 -> 20 [label="DrinkBeer:start"];
  20 -> 19 [label="DrinkBeer:end"];
  9 -> 18 [label="[(someoneHappy and not(everyoneHappy))]"];
  19 -> 8 [label=""];
  21 -> 23 [label="DoNothingSpecial:start"];
  23 -> 22 [label="DoNothingSpecial:end"];
  9 -> 21 [label="[(not(someoneHappy) and not(everyoneHappy))]"];
  22 -> 8 [label=""];
  5 -> 7 [label=""];
  24 -> 26 [label=""];
  27 -> 29 [label=""];
  30 -> 32 [label="DoSomething:start"];
  32 -> 31 [label="DoSomething:end"];
  29 -> 30 [label="[somethingToDo]"];
  31 -> 28 [label=""];
  33 -> 35 [label="DoNothing:start"];
  35 -> 34 [label="DoNothing:end"];
  29 -> 33 [label="[nothingToDo]"];
  34 -> 28 [label=""];
  36 -> 38 [label="WaitAndSee:start"];
  38 -> 37 [label="WaitAndSee:end"];
  29 -> 36 [label="[(not(someoneHappy) and not(everyoneHappy))]"];
  37 -> 28 [label=""];
  26 -> 25 [label="[endOfTheDay]"];
  26 -> 27 [label="[not(endOfTheDay)]"];
  28 -> 26 [label=""];
  8 -> 24 [label=""];
  25 -> 3 [label=""];
  0 -> 2 [label=""];
  3 -> 1 [label=""];
}