digraph pastafarianism {
ordering=out;
graph [fontname="times-roman"];
node [fontname="times-roman"];
edge [fontname="times-roman"];
"3966e37f-61fa-4266-b3a2-b5719d0eaa54" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label="?", shape=box, style=filled, width=0.01];
"2670a901-5db5-4886-a69c-57f55807a77b" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
"3966e37f-61fa-4266-b3a2-b5719d0eaa54" -> "2670a901-5db5-4886-a69c-57f55807a77b";
"b8e77d71-eee6-46b1-bf56-ba4bc655b1d3" [fillcolor=ghostwhite, fontcolor=black, fontsize=20, label=Inverter, shape=ellipse, style=filled];
"2670a901-5db5-4886-a69c-57f55807a77b" -> "b8e77d71-eee6-46b1-bf56-ba4bc655b1d3";
"c98609a2-cfb4-4456-9563-0153cdaf77f1" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="At(Robot,Coffee)", shape=ellipse, style=filled];
"b8e77d71-eee6-46b1-bf56-ba4bc655b1d3" -> "c98609a2-cfb4-4456-9563-0153cdaf77f1";
"ecfbef2b-c1e5-4ba4-a734-b1eaecb78128" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label="?", shape=box, style=filled, width=0.01];
"2670a901-5db5-4886-a69c-57f55807a77b" -> "ecfbef2b-c1e5-4ba4-a734-b1eaecb78128";
"5ea6af3b-4ed9-4c31-9893-6599911c89bc" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
"ecfbef2b-c1e5-4ba4-a734-b1eaecb78128" -> "5ea6af3b-4ed9-4c31-9893-6599911c89bc";
"55c2a21d-6684-4273-8231-5fa834dd2c32" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Nothing)", shape=ellipse, style=filled];
"5ea6af3b-4ed9-4c31-9893-6599911c89bc" -> "55c2a21d-6684-4273-8231-5fa834dd2c32";
"f95979e2-7328-44e4-9eaa-a4d7e8351751" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PickUp(Coffee)", shape=box, style=filled];
"5ea6af3b-4ed9-4c31-9893-6599911c89bc" -> "f95979e2-7328-44e4-9eaa-a4d7e8351751";
"b49cc444-b073-4f14-b709-70be469292d2" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PutDown(Anything,Anywhere)", shape=box, style=filled];
"ecfbef2b-c1e5-4ba4-a734-b1eaecb78128" -> "b49cc444-b073-4f14-b709-70be469292d2";
"09f2f623-a9ed-4637-9a03-e3eba9e1368d" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label="?", shape=box, style=filled, width=0.01];
"2670a901-5db5-4886-a69c-57f55807a77b" -> "09f2f623-a9ed-4637-9a03-e3eba9e1368d";
"b9ebf069-8434-403e-a6f7-4641fe9ef0c0" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
"09f2f623-a9ed-4637-9a03-e3eba9e1368d" -> "b9ebf069-8434-403e-a6f7-4641fe9ef0c0";
"49275b8a-b220-4222-a76f-20c273db7137" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Coffee)", shape=ellipse, style=filled];
"b9ebf069-8434-403e-a6f7-4641fe9ef0c0" -> "49275b8a-b220-4222-a76f-20c273db7137";
"0672b275-28ef-4275-9a0e-f1d35deb9de8" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="At(Robot,WaterTable)", shape=ellipse, style=filled];
"b9ebf069-8434-403e-a6f7-4641fe9ef0c0" -> "0672b275-28ef-4275-9a0e-f1d35deb9de8";
"ce0b68ed-9606-4d17-8ef9-0f2f60b778c8" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PutDown(Coffee,WaterTable)", shape=box, style=filled];
"b9ebf069-8434-403e-a6f7-4641fe9ef0c0" -> "ce0b68ed-9606-4d17-8ef9-0f2f60b778c8";
"05155dc9-7a6a-4129-b869-7ed4254a82e2" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="MoveTo(WaterTable)", shape=box, style=filled];
"09f2f623-a9ed-4637-9a03-e3eba9e1368d" -> "05155dc9-7a6a-4129-b869-7ed4254a82e2";
"ea7271b8-6f06-4b73-a495-bd19b149b6c2" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
"3966e37f-61fa-4266-b3a2-b5719d0eaa54" -> "ea7271b8-6f06-4b73-a495-bd19b149b6c2";
"7301fc34-e40d-472c-bc73-7e5c6b7d39c6" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="At(Robot,Coffee)", shape=ellipse, style=filled];
"ea7271b8-6f06-4b73-a495-bd19b149b6c2" -> "7301fc34-e40d-472c-bc73-7e5c6b7d39c6";
"ad3774e1-4c5c-4120-901b-8208a465a2d4" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label="?", shape=box, style=filled, width=0.01];
"ea7271b8-6f06-4b73-a495-bd19b149b6c2" -> "ad3774e1-4c5c-4120-901b-8208a465a2d4";
"98f9d98b-1647-4cfc-8715-65f7a6bf37de" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
"ad3774e1-4c5c-4120-901b-8208a465a2d4" -> "98f9d98b-1647-4cfc-8715-65f7a6bf37de";
"07528c29-c1a1-4e7e-97b4-beebafe55e6f" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Nothing)", shape=ellipse, style=filled];
"98f9d98b-1647-4cfc-8715-65f7a6bf37de" -> "07528c29-c1a1-4e7e-97b4-beebafe55e6f";
"af81f991-d3c8-4560-bf5b-ea7d0755c0d2" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PickUp(Coffee)", shape=box, style=filled];
"98f9d98b-1647-4cfc-8715-65f7a6bf37de" -> "af81f991-d3c8-4560-bf5b-ea7d0755c0d2";
"97577672-eeb2-4921-bb7b-e232a3dcd886" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PutDown(Anything,Anywhere)", shape=box, style=filled];
"ad3774e1-4c5c-4120-901b-8208a465a2d4" -> "97577672-eeb2-4921-bb7b-e232a3dcd886";
"6382c654-de14-45ca-a1b4-a5767d0120c3" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label="?", shape=box, style=filled, width=0.01];
"ea7271b8-6f06-4b73-a495-bd19b149b6c2" -> "6382c654-de14-45ca-a1b4-a5767d0120c3";
"7870a21a-2410-414c-b408-bc3b39c28f1e" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
"6382c654-de14-45ca-a1b4-a5767d0120c3" -> "7870a21a-2410-414c-b408-bc3b39c28f1e";
"05e4706c-93e8-4361-8acb-87af236afeeb" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Coffee)", shape=ellipse, style=filled];
"7870a21a-2410-414c-b408-bc3b39c28f1e" -> "05e4706c-93e8-4361-8acb-87af236afeeb";
"938a274e-cf4d-45ed-a821-2497c3f72a64" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="At(Robot,BrightTable6)", shape=ellipse, style=filled];
"7870a21a-2410-414c-b408-bc3b39c28f1e" -> "938a274e-cf4d-45ed-a821-2497c3f72a64";
"c0c19eae-dc22-4038-83d7-45304bba30ee" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PutDown(Coffee,BrightTable6)", shape=box, style=filled];
"7870a21a-2410-414c-b408-bc3b39c28f1e" -> "c0c19eae-dc22-4038-83d7-45304bba30ee";
"594058dd-ed6d-468e-b493-f1076d6f811e" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="MoveTo(BrightTable6)", shape=box, style=filled];
"6382c654-de14-45ca-a1b4-a5767d0120c3" -> "594058dd-ed6d-468e-b493-f1076d6f811e";
}