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