strict digraph DiskGraph {
nodesep=0.35;
subgraph cluster_graph {
color="white";
-8444760614246986176 [label="/\\ result = \"init\"\n/\\ seen = {}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"init\"\n/\\ phase = \"new\"\n/\\ reverted = 0",style = filled]
-8444760614246986176 -> 2823977658152114273 [label="",color="black",fontcolor="black"];
2823977658152114273 [label="/\\ result = \"accepted\"\n/\\ seen = {\"plan\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"plan\"\n/\\ phase = \"planned\"\n/\\ reverted = 0"];
-8444760614246986176 -> 1461858451897803253 [label="",color="black",fontcolor="black"];
1461858451897803253 [label="/\\ result = \"rejected\"\n/\\ seen = {}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"authorize\"\n/\\ phase = \"new\"\n/\\ reverted = 0"];
-8444760614246986176 -> -6487545435080497914 [label="",color="black",fontcolor="black"];
-6487545435080497914 [label="/\\ result = \"rejected\"\n/\\ seen = {}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"forge\"\n/\\ phase = \"new\"\n/\\ reverted = 0"];
-8444760614246986176 -> 3903267689998071564 [label="",color="black",fontcolor="black"];
3903267689998071564 [label="/\\ result = \"rejected\"\n/\\ seen = {}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"execute\"\n/\\ phase = \"new\"\n/\\ reverted = 0"];
-8444760614246986176 -> 4390064021362070382 [label="",color="black",fontcolor="black"];
4390064021362070382 [label="/\\ result = \"rejected\"\n/\\ seen = {}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"succeed\"\n/\\ phase = \"new\"\n/\\ reverted = 0"];
-8444760614246986176 -> -7496895436966065564 [label="",color="black",fontcolor="black"];
-7496895436966065564 [label="/\\ result = \"rejected\"\n/\\ seen = {}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"fail\"\n/\\ phase = \"new\"\n/\\ reverted = 0"];
-8444760614246986176 -> -6061063038126644756 [label="",color="black",fontcolor="black"];
-6061063038126644756 [label="/\\ result = \"rejected\"\n/\\ seen = {}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"compensate\"\n/\\ phase = \"new\"\n/\\ reverted = 0"];
-8444760614246986176 -> 1393327976406537695 [label="",color="black",fontcolor="black"];
1393327976406537695 [label="/\\ result = \"rejected\"\n/\\ seen = {}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"compensation_fail\"\n/\\ phase = \"new\"\n/\\ reverted = 0"];
-8444760614246986176 -> 5523458523798172959 [label="",color="black",fontcolor="black"];
5523458523798172959 [label="/\\ result = \"accepted\"\n/\\ seen = {\"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"cancel\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
2823977658152114273 -> -8915148153595381753 [label="",color="black",fontcolor="black"];
-8915148153595381753 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"plan\"\n/\\ phase = \"planned\"\n/\\ reverted = 0"];
2823977658152114273 -> -9120223587552028837 [label="",color="black",fontcolor="black"];
-9120223587552028837 [label="/\\ result = \"accepted\"\n/\\ seen = {\"plan\", \"authorize\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"authorize\"\n/\\ phase = \"authorized\"\n/\\ reverted = 0"];
2823977658152114273 -> 7249453837387537748 [label="",color="black",fontcolor="black"];
7249453837387537748 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"forge\"\n/\\ phase = \"planned\"\n/\\ reverted = 0"];
2823977658152114273 -> -5077376728408529750 [label="",color="black",fontcolor="black"];
-5077376728408529750 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"execute\"\n/\\ phase = \"planned\"\n/\\ reverted = 0"];
2823977658152114273 -> -5312457878864010564 [label="",color="black",fontcolor="black"];
-5312457878864010564 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"succeed\"\n/\\ phase = \"planned\"\n/\\ reverted = 0"];
2823977658152114273 -> -7314040754353790398 [label="",color="black",fontcolor="black"];
-7314040754353790398 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"fail\"\n/\\ phase = \"planned\"\n/\\ reverted = 0"];
2823977658152114273 -> -7222199910638638090 [label="",color="black",fontcolor="black"];
-7222199910638638090 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"compensate\"\n/\\ phase = \"planned\"\n/\\ reverted = 0"];
2823977658152114273 -> -2933358219797888250 [label="",color="black",fontcolor="black"];
-2933358219797888250 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"compensation_fail\"\n/\\ phase = \"planned\"\n/\\ reverted = 0"];
2823977658152114273 -> -1020849999256570847 [label="",color="black",fontcolor="black"];
-1020849999256570847 [label="/\\ result = \"accepted\"\n/\\ seen = {\"plan\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"cancel\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
1461858451897803253 -> 2823977658152114273 [label="",color="black",fontcolor="black"];
1461858451897803253 -> 1461858451897803253 [label="",color="black",fontcolor="black"];
1461858451897803253 -> -6487545435080497914 [label="",color="black",fontcolor="black"];
1461858451897803253 -> 3903267689998071564 [label="",color="black",fontcolor="black"];
1461858451897803253 -> 4390064021362070382 [label="",color="black",fontcolor="black"];
1461858451897803253 -> -7496895436966065564 [label="",color="black",fontcolor="black"];
1461858451897803253 -> -6061063038126644756 [label="",color="black",fontcolor="black"];
1461858451897803253 -> 1393327976406537695 [label="",color="black",fontcolor="black"];
1461858451897803253 -> 5523458523798172959 [label="",color="black",fontcolor="black"];
-6487545435080497914 -> 2823977658152114273 [label="",color="black",fontcolor="black"];
-6487545435080497914 -> 1461858451897803253 [label="",color="black",fontcolor="black"];
-6487545435080497914 -> -6487545435080497914 [label="",color="black",fontcolor="black"];
-6487545435080497914 -> 3903267689998071564 [label="",color="black",fontcolor="black"];
-6487545435080497914 -> 4390064021362070382 [label="",color="black",fontcolor="black"];
-6487545435080497914 -> -7496895436966065564 [label="",color="black",fontcolor="black"];
-6487545435080497914 -> -6061063038126644756 [label="",color="black",fontcolor="black"];
-6487545435080497914 -> 1393327976406537695 [label="",color="black",fontcolor="black"];
-6487545435080497914 -> 5523458523798172959 [label="",color="black",fontcolor="black"];
3903267689998071564 -> 2823977658152114273 [label="",color="black",fontcolor="black"];
3903267689998071564 -> 1461858451897803253 [label="",color="black",fontcolor="black"];
3903267689998071564 -> -6487545435080497914 [label="",color="black",fontcolor="black"];
3903267689998071564 -> 3903267689998071564 [label="",color="black",fontcolor="black"];
3903267689998071564 -> 4390064021362070382 [label="",color="black",fontcolor="black"];
3903267689998071564 -> -7496895436966065564 [label="",color="black",fontcolor="black"];
3903267689998071564 -> -6061063038126644756 [label="",color="black",fontcolor="black"];
3903267689998071564 -> 1393327976406537695 [label="",color="black",fontcolor="black"];
3903267689998071564 -> 5523458523798172959 [label="",color="black",fontcolor="black"];
4390064021362070382 -> 2823977658152114273 [label="",color="black",fontcolor="black"];
4390064021362070382 -> 1461858451897803253 [label="",color="black",fontcolor="black"];
4390064021362070382 -> -6487545435080497914 [label="",color="black",fontcolor="black"];
4390064021362070382 -> 3903267689998071564 [label="",color="black",fontcolor="black"];
4390064021362070382 -> 4390064021362070382 [label="",color="black",fontcolor="black"];
4390064021362070382 -> -7496895436966065564 [label="",color="black",fontcolor="black"];
4390064021362070382 -> -6061063038126644756 [label="",color="black",fontcolor="black"];
4390064021362070382 -> 1393327976406537695 [label="",color="black",fontcolor="black"];
4390064021362070382 -> 5523458523798172959 [label="",color="black",fontcolor="black"];
-7496895436966065564 -> 2823977658152114273 [label="",color="black",fontcolor="black"];
-7496895436966065564 -> 1461858451897803253 [label="",color="black",fontcolor="black"];
-7496895436966065564 -> -6487545435080497914 [label="",color="black",fontcolor="black"];
-7496895436966065564 -> 3903267689998071564 [label="",color="black",fontcolor="black"];
-7496895436966065564 -> 4390064021362070382 [label="",color="black",fontcolor="black"];
-7496895436966065564 -> -7496895436966065564 [label="",color="black",fontcolor="black"];
-7496895436966065564 -> -6061063038126644756 [label="",color="black",fontcolor="black"];
-7496895436966065564 -> 1393327976406537695 [label="",color="black",fontcolor="black"];
-7496895436966065564 -> 5523458523798172959 [label="",color="black",fontcolor="black"];
-6061063038126644756 -> 2823977658152114273 [label="",color="black",fontcolor="black"];
-6061063038126644756 -> 1461858451897803253 [label="",color="black",fontcolor="black"];
-6061063038126644756 -> -6487545435080497914 [label="",color="black",fontcolor="black"];
-6061063038126644756 -> 3903267689998071564 [label="",color="black",fontcolor="black"];
-6061063038126644756 -> 4390064021362070382 [label="",color="black",fontcolor="black"];
-6061063038126644756 -> -7496895436966065564 [label="",color="black",fontcolor="black"];
-6061063038126644756 -> -6061063038126644756 [label="",color="black",fontcolor="black"];
-6061063038126644756 -> 1393327976406537695 [label="",color="black",fontcolor="black"];
-6061063038126644756 -> 5523458523798172959 [label="",color="black",fontcolor="black"];
1393327976406537695 -> 2823977658152114273 [label="",color="black",fontcolor="black"];
1393327976406537695 -> 1461858451897803253 [label="",color="black",fontcolor="black"];
1393327976406537695 -> -6487545435080497914 [label="",color="black",fontcolor="black"];
1393327976406537695 -> 3903267689998071564 [label="",color="black",fontcolor="black"];
1393327976406537695 -> 4390064021362070382 [label="",color="black",fontcolor="black"];
1393327976406537695 -> -7496895436966065564 [label="",color="black",fontcolor="black"];
1393327976406537695 -> -6061063038126644756 [label="",color="black",fontcolor="black"];
1393327976406537695 -> 1393327976406537695 [label="",color="black",fontcolor="black"];
1393327976406537695 -> 5523458523798172959 [label="",color="black",fontcolor="black"];
5523458523798172959 -> -1560090301541187691 [label="",color="black",fontcolor="black"];
-1560090301541187691 [label="/\\ result = \"rejected\"\n/\\ seen = {\"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"plan\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
5523458523798172959 -> -5775670931173209906 [label="",color="black",fontcolor="black"];
-5775670931173209906 [label="/\\ result = \"rejected\"\n/\\ seen = {\"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"authorize\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
5523458523798172959 -> 8418945235121506071 [label="",color="black",fontcolor="black"];
8418945235121506071 [label="/\\ result = \"rejected\"\n/\\ seen = {\"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"forge\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
5523458523798172959 -> -8739329326738885218 [label="",color="black",fontcolor="black"];
-8739329326738885218 [label="/\\ result = \"rejected\"\n/\\ seen = {\"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"execute\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
5523458523798172959 -> 482624033410691720 [label="",color="black",fontcolor="black"];
482624033410691720 [label="/\\ result = \"rejected\"\n/\\ seen = {\"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"succeed\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
5523458523798172959 -> 6732254468999566851 [label="",color="black",fontcolor="black"];
6732254468999566851 [label="/\\ result = \"rejected\"\n/\\ seen = {\"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"fail\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
5523458523798172959 -> 871531838931622097 [label="",color="black",fontcolor="black"];
871531838931622097 [label="/\\ result = \"rejected\"\n/\\ seen = {\"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"compensate\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
5523458523798172959 -> 5969483253571377449 [label="",color="black",fontcolor="black"];
5969483253571377449 [label="/\\ result = \"rejected\"\n/\\ seen = {\"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"compensation_fail\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
5523458523798172959 -> -4185747189982073216 [label="",color="black",fontcolor="black"];
-4185747189982073216 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"cancel\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-8915148153595381753 -> -8915148153595381753 [label="",color="black",fontcolor="black"];
-8915148153595381753 -> -9120223587552028837 [label="",color="black",fontcolor="black"];
-8915148153595381753 -> 7249453837387537748 [label="",color="black",fontcolor="black"];
-8915148153595381753 -> -5077376728408529750 [label="",color="black",fontcolor="black"];
-8915148153595381753 -> -5312457878864010564 [label="",color="black",fontcolor="black"];
-8915148153595381753 -> -7314040754353790398 [label="",color="black",fontcolor="black"];
-8915148153595381753 -> -7222199910638638090 [label="",color="black",fontcolor="black"];
-8915148153595381753 -> -2933358219797888250 [label="",color="black",fontcolor="black"];
-8915148153595381753 -> -1020849999256570847 [label="",color="black",fontcolor="black"];
-9120223587552028837 -> 6301521840427033009 [label="",color="black",fontcolor="black"];
6301521840427033009 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"plan\"\n/\\ phase = \"authorized\"\n/\\ reverted = 0"];
-9120223587552028837 -> -3706825769636975509 [label="",color="black",fontcolor="black"];
-3706825769636975509 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"authorize\"\n/\\ phase = \"authorized\"\n/\\ reverted = 0"];
-9120223587552028837 -> 5586149609246426672 [label="",color="black",fontcolor="black"];
5586149609246426672 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"forge\"\n/\\ phase = \"authorized\"\n/\\ reverted = 0"];
-9120223587552028837 -> -2795719005696890799 [label="",color="black",fontcolor="black"];
-2795719005696890799 [label="/\\ result = \"accepted\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"execute\"\n/\\ phase = \"executing\"\n/\\ reverted = 0"];
-9120223587552028837 -> 3709466855087568688 [label="",color="black",fontcolor="black"];
3709466855087568688 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"succeed\"\n/\\ phase = \"authorized\"\n/\\ reverted = 0"];
-9120223587552028837 -> 2673877478489586515 [label="",color="black",fontcolor="black"];
2673877478489586515 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"fail\"\n/\\ phase = \"authorized\"\n/\\ reverted = 0"];
-9120223587552028837 -> -3811208290469631283 [label="",color="black",fontcolor="black"];
-3811208290469631283 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"compensate\"\n/\\ phase = \"authorized\"\n/\\ reverted = 0"];
-9120223587552028837 -> -7807303846230320967 [label="",color="black",fontcolor="black"];
-7807303846230320967 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"compensation_fail\"\n/\\ phase = \"authorized\"\n/\\ reverted = 0"];
-9120223587552028837 -> -8002779295837284636 [label="",color="black",fontcolor="black"];
-8002779295837284636 [label="/\\ result = \"accepted\"\n/\\ seen = {\"plan\", \"authorize\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"cancel\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
7249453837387537748 -> -8915148153595381753 [label="",color="black",fontcolor="black"];
7249453837387537748 -> -9120223587552028837 [label="",color="black",fontcolor="black"];
7249453837387537748 -> 7249453837387537748 [label="",color="black",fontcolor="black"];
7249453837387537748 -> -5077376728408529750 [label="",color="black",fontcolor="black"];
7249453837387537748 -> -5312457878864010564 [label="",color="black",fontcolor="black"];
7249453837387537748 -> -7314040754353790398 [label="",color="black",fontcolor="black"];
7249453837387537748 -> -7222199910638638090 [label="",color="black",fontcolor="black"];
7249453837387537748 -> -2933358219797888250 [label="",color="black",fontcolor="black"];
7249453837387537748 -> -1020849999256570847 [label="",color="black",fontcolor="black"];
-5077376728408529750 -> -8915148153595381753 [label="",color="black",fontcolor="black"];
-5077376728408529750 -> -9120223587552028837 [label="",color="black",fontcolor="black"];
-5077376728408529750 -> 7249453837387537748 [label="",color="black",fontcolor="black"];
-5077376728408529750 -> -5077376728408529750 [label="",color="black",fontcolor="black"];
-5077376728408529750 -> -5312457878864010564 [label="",color="black",fontcolor="black"];
-5077376728408529750 -> -7314040754353790398 [label="",color="black",fontcolor="black"];
-5077376728408529750 -> -7222199910638638090 [label="",color="black",fontcolor="black"];
-5077376728408529750 -> -2933358219797888250 [label="",color="black",fontcolor="black"];
-5077376728408529750 -> -1020849999256570847 [label="",color="black",fontcolor="black"];
-5312457878864010564 -> -8915148153595381753 [label="",color="black",fontcolor="black"];
-5312457878864010564 -> -9120223587552028837 [label="",color="black",fontcolor="black"];
-5312457878864010564 -> 7249453837387537748 [label="",color="black",fontcolor="black"];
-5312457878864010564 -> -5077376728408529750 [label="",color="black",fontcolor="black"];
-5312457878864010564 -> -5312457878864010564 [label="",color="black",fontcolor="black"];
-5312457878864010564 -> -7314040754353790398 [label="",color="black",fontcolor="black"];
-5312457878864010564 -> -7222199910638638090 [label="",color="black",fontcolor="black"];
-5312457878864010564 -> -2933358219797888250 [label="",color="black",fontcolor="black"];
-5312457878864010564 -> -1020849999256570847 [label="",color="black",fontcolor="black"];
-7314040754353790398 -> -8915148153595381753 [label="",color="black",fontcolor="black"];
-7314040754353790398 -> -9120223587552028837 [label="",color="black",fontcolor="black"];
-7314040754353790398 -> 7249453837387537748 [label="",color="black",fontcolor="black"];
-7314040754353790398 -> -5077376728408529750 [label="",color="black",fontcolor="black"];
-7314040754353790398 -> -5312457878864010564 [label="",color="black",fontcolor="black"];
-7314040754353790398 -> -7314040754353790398 [label="",color="black",fontcolor="black"];
-7314040754353790398 -> -7222199910638638090 [label="",color="black",fontcolor="black"];
-7314040754353790398 -> -2933358219797888250 [label="",color="black",fontcolor="black"];
-7314040754353790398 -> -1020849999256570847 [label="",color="black",fontcolor="black"];
-7222199910638638090 -> -8915148153595381753 [label="",color="black",fontcolor="black"];
-7222199910638638090 -> -9120223587552028837 [label="",color="black",fontcolor="black"];
-7222199910638638090 -> 7249453837387537748 [label="",color="black",fontcolor="black"];
-7222199910638638090 -> -5077376728408529750 [label="",color="black",fontcolor="black"];
-7222199910638638090 -> -5312457878864010564 [label="",color="black",fontcolor="black"];
-7222199910638638090 -> -7314040754353790398 [label="",color="black",fontcolor="black"];
-7222199910638638090 -> -7222199910638638090 [label="",color="black",fontcolor="black"];
-7222199910638638090 -> -2933358219797888250 [label="",color="black",fontcolor="black"];
-7222199910638638090 -> -1020849999256570847 [label="",color="black",fontcolor="black"];
-2933358219797888250 -> -8915148153595381753 [label="",color="black",fontcolor="black"];
-2933358219797888250 -> -9120223587552028837 [label="",color="black",fontcolor="black"];
-2933358219797888250 -> 7249453837387537748 [label="",color="black",fontcolor="black"];
-2933358219797888250 -> -5077376728408529750 [label="",color="black",fontcolor="black"];
-2933358219797888250 -> -5312457878864010564 [label="",color="black",fontcolor="black"];
-2933358219797888250 -> -7314040754353790398 [label="",color="black",fontcolor="black"];
-2933358219797888250 -> -7222199910638638090 [label="",color="black",fontcolor="black"];
-2933358219797888250 -> -2933358219797888250 [label="",color="black",fontcolor="black"];
-2933358219797888250 -> -1020849999256570847 [label="",color="black",fontcolor="black"];
-1020849999256570847 -> -7517199508534282845 [label="",color="black",fontcolor="black"];
-7517199508534282845 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"plan\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-1020849999256570847 -> -8999911159731775858 [label="",color="black",fontcolor="black"];
-8999911159731775858 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"authorize\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-1020849999256570847 -> -1078797156592594234 [label="",color="black",fontcolor="black"];
-1078797156592594234 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"forge\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-1020849999256570847 -> -9199965826324571932 [label="",color="black",fontcolor="black"];
-9199965826324571932 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"execute\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-1020849999256570847 -> 24256963942637554 [label="",color="black",fontcolor="black"];
24256963942637554 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"succeed\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-1020849999256570847 -> 8565142326418486973 [label="",color="black",fontcolor="black"];
8565142326418486973 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"fail\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-1020849999256570847 -> 4953608388929963940 [label="",color="black",fontcolor="black"];
4953608388929963940 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"compensate\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-1020849999256570847 -> -251321028573587365 [label="",color="black",fontcolor="black"];
-251321028573587365 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"compensation_fail\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-1020849999256570847 -> -6343846629726714271 [label="",color="black",fontcolor="black"];
-6343846629726714271 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = FALSE\n/\\ event = \"cancel\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-1560090301541187691 -> -1560090301541187691 [label="",color="black",fontcolor="black"];
-1560090301541187691 -> -5775670931173209906 [label="",color="black",fontcolor="black"];
-1560090301541187691 -> 8418945235121506071 [label="",color="black",fontcolor="black"];
-1560090301541187691 -> -8739329326738885218 [label="",color="black",fontcolor="black"];
-1560090301541187691 -> 482624033410691720 [label="",color="black",fontcolor="black"];
-1560090301541187691 -> 6732254468999566851 [label="",color="black",fontcolor="black"];
-1560090301541187691 -> 871531838931622097 [label="",color="black",fontcolor="black"];
-1560090301541187691 -> 5969483253571377449 [label="",color="black",fontcolor="black"];
-1560090301541187691 -> -4185747189982073216 [label="",color="black",fontcolor="black"];
-5775670931173209906 -> -1560090301541187691 [label="",color="black",fontcolor="black"];
-5775670931173209906 -> -5775670931173209906 [label="",color="black",fontcolor="black"];
-5775670931173209906 -> 8418945235121506071 [label="",color="black",fontcolor="black"];
-5775670931173209906 -> -8739329326738885218 [label="",color="black",fontcolor="black"];
-5775670931173209906 -> 482624033410691720 [label="",color="black",fontcolor="black"];
-5775670931173209906 -> 6732254468999566851 [label="",color="black",fontcolor="black"];
-5775670931173209906 -> 871531838931622097 [label="",color="black",fontcolor="black"];
-5775670931173209906 -> 5969483253571377449 [label="",color="black",fontcolor="black"];
-5775670931173209906 -> -4185747189982073216 [label="",color="black",fontcolor="black"];
8418945235121506071 -> -1560090301541187691 [label="",color="black",fontcolor="black"];
8418945235121506071 -> -5775670931173209906 [label="",color="black",fontcolor="black"];
8418945235121506071 -> 8418945235121506071 [label="",color="black",fontcolor="black"];
8418945235121506071 -> -8739329326738885218 [label="",color="black",fontcolor="black"];
8418945235121506071 -> 482624033410691720 [label="",color="black",fontcolor="black"];
8418945235121506071 -> 6732254468999566851 [label="",color="black",fontcolor="black"];
8418945235121506071 -> 871531838931622097 [label="",color="black",fontcolor="black"];
8418945235121506071 -> 5969483253571377449 [label="",color="black",fontcolor="black"];
8418945235121506071 -> -4185747189982073216 [label="",color="black",fontcolor="black"];
-8739329326738885218 -> -1560090301541187691 [label="",color="black",fontcolor="black"];
-8739329326738885218 -> -5775670931173209906 [label="",color="black",fontcolor="black"];
-8739329326738885218 -> 8418945235121506071 [label="",color="black",fontcolor="black"];
-8739329326738885218 -> -8739329326738885218 [label="",color="black",fontcolor="black"];
-8739329326738885218 -> 482624033410691720 [label="",color="black",fontcolor="black"];
-8739329326738885218 -> 6732254468999566851 [label="",color="black",fontcolor="black"];
-8739329326738885218 -> 871531838931622097 [label="",color="black",fontcolor="black"];
-8739329326738885218 -> 5969483253571377449 [label="",color="black",fontcolor="black"];
-8739329326738885218 -> -4185747189982073216 [label="",color="black",fontcolor="black"];
482624033410691720 -> -1560090301541187691 [label="",color="black",fontcolor="black"];
482624033410691720 -> -5775670931173209906 [label="",color="black",fontcolor="black"];
482624033410691720 -> 8418945235121506071 [label="",color="black",fontcolor="black"];
482624033410691720 -> -8739329326738885218 [label="",color="black",fontcolor="black"];
482624033410691720 -> 482624033410691720 [label="",color="black",fontcolor="black"];
482624033410691720 -> 6732254468999566851 [label="",color="black",fontcolor="black"];
482624033410691720 -> 871531838931622097 [label="",color="black",fontcolor="black"];
482624033410691720 -> 5969483253571377449 [label="",color="black",fontcolor="black"];
482624033410691720 -> -4185747189982073216 [label="",color="black",fontcolor="black"];
6732254468999566851 -> -1560090301541187691 [label="",color="black",fontcolor="black"];
6732254468999566851 -> -5775670931173209906 [label="",color="black",fontcolor="black"];
6732254468999566851 -> 8418945235121506071 [label="",color="black",fontcolor="black"];
6732254468999566851 -> -8739329326738885218 [label="",color="black",fontcolor="black"];
6732254468999566851 -> 482624033410691720 [label="",color="black",fontcolor="black"];
6732254468999566851 -> 6732254468999566851 [label="",color="black",fontcolor="black"];
6732254468999566851 -> 871531838931622097 [label="",color="black",fontcolor="black"];
6732254468999566851 -> 5969483253571377449 [label="",color="black",fontcolor="black"];
6732254468999566851 -> -4185747189982073216 [label="",color="black",fontcolor="black"];
871531838931622097 -> -1560090301541187691 [label="",color="black",fontcolor="black"];
871531838931622097 -> -5775670931173209906 [label="",color="black",fontcolor="black"];
871531838931622097 -> 8418945235121506071 [label="",color="black",fontcolor="black"];
871531838931622097 -> -8739329326738885218 [label="",color="black",fontcolor="black"];
871531838931622097 -> 482624033410691720 [label="",color="black",fontcolor="black"];
871531838931622097 -> 6732254468999566851 [label="",color="black",fontcolor="black"];
871531838931622097 -> 871531838931622097 [label="",color="black",fontcolor="black"];
871531838931622097 -> 5969483253571377449 [label="",color="black",fontcolor="black"];
871531838931622097 -> -4185747189982073216 [label="",color="black",fontcolor="black"];
5969483253571377449 -> -1560090301541187691 [label="",color="black",fontcolor="black"];
5969483253571377449 -> -5775670931173209906 [label="",color="black",fontcolor="black"];
5969483253571377449 -> 8418945235121506071 [label="",color="black",fontcolor="black"];
5969483253571377449 -> -8739329326738885218 [label="",color="black",fontcolor="black"];
5969483253571377449 -> 482624033410691720 [label="",color="black",fontcolor="black"];
5969483253571377449 -> 6732254468999566851 [label="",color="black",fontcolor="black"];
5969483253571377449 -> 871531838931622097 [label="",color="black",fontcolor="black"];
5969483253571377449 -> 5969483253571377449 [label="",color="black",fontcolor="black"];
5969483253571377449 -> -4185747189982073216 [label="",color="black",fontcolor="black"];
-4185747189982073216 -> -1560090301541187691 [label="",color="black",fontcolor="black"];
-4185747189982073216 -> -5775670931173209906 [label="",color="black",fontcolor="black"];
-4185747189982073216 -> 8418945235121506071 [label="",color="black",fontcolor="black"];
-4185747189982073216 -> -8739329326738885218 [label="",color="black",fontcolor="black"];
-4185747189982073216 -> 482624033410691720 [label="",color="black",fontcolor="black"];
-4185747189982073216 -> 6732254468999566851 [label="",color="black",fontcolor="black"];
-4185747189982073216 -> 871531838931622097 [label="",color="black",fontcolor="black"];
-4185747189982073216 -> 5969483253571377449 [label="",color="black",fontcolor="black"];
-4185747189982073216 -> -4185747189982073216 [label="",color="black",fontcolor="black"];
6301521840427033009 -> 6301521840427033009 [label="",color="black",fontcolor="black"];
6301521840427033009 -> -3706825769636975509 [label="",color="black",fontcolor="black"];
6301521840427033009 -> 5586149609246426672 [label="",color="black",fontcolor="black"];
6301521840427033009 -> -2795719005696890799 [label="",color="black",fontcolor="black"];
6301521840427033009 -> 3709466855087568688 [label="",color="black",fontcolor="black"];
6301521840427033009 -> 2673877478489586515 [label="",color="black",fontcolor="black"];
6301521840427033009 -> -3811208290469631283 [label="",color="black",fontcolor="black"];
6301521840427033009 -> -7807303846230320967 [label="",color="black",fontcolor="black"];
6301521840427033009 -> -8002779295837284636 [label="",color="black",fontcolor="black"];
-3706825769636975509 -> 6301521840427033009 [label="",color="black",fontcolor="black"];
-3706825769636975509 -> -3706825769636975509 [label="",color="black",fontcolor="black"];
-3706825769636975509 -> 5586149609246426672 [label="",color="black",fontcolor="black"];
-3706825769636975509 -> -2795719005696890799 [label="",color="black",fontcolor="black"];
-3706825769636975509 -> 3709466855087568688 [label="",color="black",fontcolor="black"];
-3706825769636975509 -> 2673877478489586515 [label="",color="black",fontcolor="black"];
-3706825769636975509 -> -3811208290469631283 [label="",color="black",fontcolor="black"];
-3706825769636975509 -> -7807303846230320967 [label="",color="black",fontcolor="black"];
-3706825769636975509 -> -8002779295837284636 [label="",color="black",fontcolor="black"];
5586149609246426672 -> 6301521840427033009 [label="",color="black",fontcolor="black"];
5586149609246426672 -> -3706825769636975509 [label="",color="black",fontcolor="black"];
5586149609246426672 -> 5586149609246426672 [label="",color="black",fontcolor="black"];
5586149609246426672 -> -2795719005696890799 [label="",color="black",fontcolor="black"];
5586149609246426672 -> 3709466855087568688 [label="",color="black",fontcolor="black"];
5586149609246426672 -> 2673877478489586515 [label="",color="black",fontcolor="black"];
5586149609246426672 -> -3811208290469631283 [label="",color="black",fontcolor="black"];
5586149609246426672 -> -7807303846230320967 [label="",color="black",fontcolor="black"];
5586149609246426672 -> -8002779295837284636 [label="",color="black",fontcolor="black"];
-2795719005696890799 -> -2573354477274294655 [label="",color="black",fontcolor="black"];
-2573354477274294655 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"plan\"\n/\\ phase = \"executing\"\n/\\ reverted = 0"];
-2795719005696890799 -> -5500857302269909947 [label="",color="black",fontcolor="black"];
-5500857302269909947 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"authorize\"\n/\\ phase = \"executing\"\n/\\ reverted = 0"];
-2795719005696890799 -> 1675018738746740207 [label="",color="black",fontcolor="black"];
1675018738746740207 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"forge\"\n/\\ phase = \"executing\"\n/\\ reverted = 0"];
-2795719005696890799 -> -5176445989889402730 [label="",color="black",fontcolor="black"];
-5176445989889402730 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"execute\"\n/\\ phase = \"executing\"\n/\\ reverted = 0"];
-2795719005696890799 -> 565620257448914611 [label="",color="black",fontcolor="black"];
565620257448914611 [label="/\\ result = \"accepted\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"succeed\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"succeed\"\n/\\ phase = \"done\"\n/\\ reverted = 0"];
-2795719005696890799 -> -8508720300138756834 [label="",color="black",fontcolor="black"];
-8508720300138756834 [label="/\\ result = \"accepted\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"fail\"\n/\\ phase = \"compensating\"\n/\\ reverted = 0"];
-2795719005696890799 -> -973272805954170767 [label="",color="black",fontcolor="black"];
-973272805954170767 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"compensate\"\n/\\ phase = \"executing\"\n/\\ reverted = 0"];
-2795719005696890799 -> 8504702102110754831 [label="",color="black",fontcolor="black"];
8504702102110754831 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"compensation_fail\"\n/\\ phase = \"executing\"\n/\\ reverted = 0"];
-2795719005696890799 -> 7685061723244846443 [label="",color="black",fontcolor="black"];
7685061723244846443 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"cancel\"\n/\\ phase = \"executing\"\n/\\ reverted = 0"];
3709466855087568688 -> 6301521840427033009 [label="",color="black",fontcolor="black"];
3709466855087568688 -> -3706825769636975509 [label="",color="black",fontcolor="black"];
3709466855087568688 -> 5586149609246426672 [label="",color="black",fontcolor="black"];
3709466855087568688 -> -2795719005696890799 [label="",color="black",fontcolor="black"];
3709466855087568688 -> 3709466855087568688 [label="",color="black",fontcolor="black"];
3709466855087568688 -> 2673877478489586515 [label="",color="black",fontcolor="black"];
3709466855087568688 -> -3811208290469631283 [label="",color="black",fontcolor="black"];
3709466855087568688 -> -7807303846230320967 [label="",color="black",fontcolor="black"];
3709466855087568688 -> -8002779295837284636 [label="",color="black",fontcolor="black"];
2673877478489586515 -> 6301521840427033009 [label="",color="black",fontcolor="black"];
2673877478489586515 -> -3706825769636975509 [label="",color="black",fontcolor="black"];
2673877478489586515 -> 5586149609246426672 [label="",color="black",fontcolor="black"];
2673877478489586515 -> -2795719005696890799 [label="",color="black",fontcolor="black"];
2673877478489586515 -> 3709466855087568688 [label="",color="black",fontcolor="black"];
2673877478489586515 -> 2673877478489586515 [label="",color="black",fontcolor="black"];
2673877478489586515 -> -3811208290469631283 [label="",color="black",fontcolor="black"];
2673877478489586515 -> -7807303846230320967 [label="",color="black",fontcolor="black"];
2673877478489586515 -> -8002779295837284636 [label="",color="black",fontcolor="black"];
-3811208290469631283 -> 6301521840427033009 [label="",color="black",fontcolor="black"];
-3811208290469631283 -> -3706825769636975509 [label="",color="black",fontcolor="black"];
-3811208290469631283 -> 5586149609246426672 [label="",color="black",fontcolor="black"];
-3811208290469631283 -> -2795719005696890799 [label="",color="black",fontcolor="black"];
-3811208290469631283 -> 3709466855087568688 [label="",color="black",fontcolor="black"];
-3811208290469631283 -> 2673877478489586515 [label="",color="black",fontcolor="black"];
-3811208290469631283 -> -3811208290469631283 [label="",color="black",fontcolor="black"];
-3811208290469631283 -> -7807303846230320967 [label="",color="black",fontcolor="black"];
-3811208290469631283 -> -8002779295837284636 [label="",color="black",fontcolor="black"];
-7807303846230320967 -> 6301521840427033009 [label="",color="black",fontcolor="black"];
-7807303846230320967 -> -3706825769636975509 [label="",color="black",fontcolor="black"];
-7807303846230320967 -> 5586149609246426672 [label="",color="black",fontcolor="black"];
-7807303846230320967 -> -2795719005696890799 [label="",color="black",fontcolor="black"];
-7807303846230320967 -> 3709466855087568688 [label="",color="black",fontcolor="black"];
-7807303846230320967 -> 2673877478489586515 [label="",color="black",fontcolor="black"];
-7807303846230320967 -> -3811208290469631283 [label="",color="black",fontcolor="black"];
-7807303846230320967 -> -7807303846230320967 [label="",color="black",fontcolor="black"];
-7807303846230320967 -> -8002779295837284636 [label="",color="black",fontcolor="black"];
-8002779295837284636 -> -2362452537226346257 [label="",color="black",fontcolor="black"];
-2362452537226346257 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"plan\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-8002779295837284636 -> -4255106708687314790 [label="",color="black",fontcolor="black"];
-4255106708687314790 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"authorize\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-8002779295837284636 -> -6050926495270804516 [label="",color="black",fontcolor="black"];
-6050926495270804516 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"forge\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-8002779295837284636 -> -4312129687016975428 [label="",color="black",fontcolor="black"];
-4312129687016975428 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"execute\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-8002779295837284636 -> 4912642841785554090 [label="",color="black",fontcolor="black"];
4912642841785554090 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"succeed\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-8002779295837284636 -> 3548960809357890926 [label="",color="black",fontcolor="black"];
3548960809357890926 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"fail\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-8002779295837284636 -> 22472199260789987 [label="",color="black",fontcolor="black"];
22472199260789987 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"compensate\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-8002779295837284636 -> -7582711729316081105 [label="",color="black",fontcolor="black"];
-7582711729316081105 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"compensation_fail\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-8002779295837284636 -> 1767615489293293328 [label="",color="black",fontcolor="black"];
1767615489293293328 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"cancel\"}\n/\\ applied = 0\n/\\ authorized = TRUE\n/\\ event = \"cancel\"\n/\\ phase = \"cancelled\"\n/\\ reverted = 0"];
-7517199508534282845 -> -7517199508534282845 [label="",color="black",fontcolor="black"];
-7517199508534282845 -> -8999911159731775858 [label="",color="black",fontcolor="black"];
-7517199508534282845 -> -1078797156592594234 [label="",color="black",fontcolor="black"];
-7517199508534282845 -> -9199965826324571932 [label="",color="black",fontcolor="black"];
-7517199508534282845 -> 24256963942637554 [label="",color="black",fontcolor="black"];
-7517199508534282845 -> 8565142326418486973 [label="",color="black",fontcolor="black"];
-7517199508534282845 -> 4953608388929963940 [label="",color="black",fontcolor="black"];
-7517199508534282845 -> -251321028573587365 [label="",color="black",fontcolor="black"];
-7517199508534282845 -> -6343846629726714271 [label="",color="black",fontcolor="black"];
-8999911159731775858 -> -7517199508534282845 [label="",color="black",fontcolor="black"];
-8999911159731775858 -> -8999911159731775858 [label="",color="black",fontcolor="black"];
-8999911159731775858 -> -1078797156592594234 [label="",color="black",fontcolor="black"];
-8999911159731775858 -> -9199965826324571932 [label="",color="black",fontcolor="black"];
-8999911159731775858 -> 24256963942637554 [label="",color="black",fontcolor="black"];
-8999911159731775858 -> 8565142326418486973 [label="",color="black",fontcolor="black"];
-8999911159731775858 -> 4953608388929963940 [label="",color="black",fontcolor="black"];
-8999911159731775858 -> -251321028573587365 [label="",color="black",fontcolor="black"];
-8999911159731775858 -> -6343846629726714271 [label="",color="black",fontcolor="black"];
-1078797156592594234 -> -7517199508534282845 [label="",color="black",fontcolor="black"];
-1078797156592594234 -> -8999911159731775858 [label="",color="black",fontcolor="black"];
-1078797156592594234 -> -1078797156592594234 [label="",color="black",fontcolor="black"];
-1078797156592594234 -> -9199965826324571932 [label="",color="black",fontcolor="black"];
-1078797156592594234 -> 24256963942637554 [label="",color="black",fontcolor="black"];
-1078797156592594234 -> 8565142326418486973 [label="",color="black",fontcolor="black"];
-1078797156592594234 -> 4953608388929963940 [label="",color="black",fontcolor="black"];
-1078797156592594234 -> -251321028573587365 [label="",color="black",fontcolor="black"];
-1078797156592594234 -> -6343846629726714271 [label="",color="black",fontcolor="black"];
-9199965826324571932 -> -7517199508534282845 [label="",color="black",fontcolor="black"];
-9199965826324571932 -> -8999911159731775858 [label="",color="black",fontcolor="black"];
-9199965826324571932 -> -1078797156592594234 [label="",color="black",fontcolor="black"];
-9199965826324571932 -> -9199965826324571932 [label="",color="black",fontcolor="black"];
-9199965826324571932 -> 24256963942637554 [label="",color="black",fontcolor="black"];
-9199965826324571932 -> 8565142326418486973 [label="",color="black",fontcolor="black"];
-9199965826324571932 -> 4953608388929963940 [label="",color="black",fontcolor="black"];
-9199965826324571932 -> -251321028573587365 [label="",color="black",fontcolor="black"];
-9199965826324571932 -> -6343846629726714271 [label="",color="black",fontcolor="black"];
24256963942637554 -> -7517199508534282845 [label="",color="black",fontcolor="black"];
24256963942637554 -> -8999911159731775858 [label="",color="black",fontcolor="black"];
24256963942637554 -> -1078797156592594234 [label="",color="black",fontcolor="black"];
24256963942637554 -> -9199965826324571932 [label="",color="black",fontcolor="black"];
24256963942637554 -> 24256963942637554 [label="",color="black",fontcolor="black"];
24256963942637554 -> 8565142326418486973 [label="",color="black",fontcolor="black"];
24256963942637554 -> 4953608388929963940 [label="",color="black",fontcolor="black"];
24256963942637554 -> -251321028573587365 [label="",color="black",fontcolor="black"];
24256963942637554 -> -6343846629726714271 [label="",color="black",fontcolor="black"];
8565142326418486973 -> -7517199508534282845 [label="",color="black",fontcolor="black"];
8565142326418486973 -> -8999911159731775858 [label="",color="black",fontcolor="black"];
8565142326418486973 -> -1078797156592594234 [label="",color="black",fontcolor="black"];
8565142326418486973 -> -9199965826324571932 [label="",color="black",fontcolor="black"];
8565142326418486973 -> 24256963942637554 [label="",color="black",fontcolor="black"];
8565142326418486973 -> 8565142326418486973 [label="",color="black",fontcolor="black"];
8565142326418486973 -> 4953608388929963940 [label="",color="black",fontcolor="black"];
8565142326418486973 -> -251321028573587365 [label="",color="black",fontcolor="black"];
8565142326418486973 -> -6343846629726714271 [label="",color="black",fontcolor="black"];
4953608388929963940 -> -7517199508534282845 [label="",color="black",fontcolor="black"];
4953608388929963940 -> -8999911159731775858 [label="",color="black",fontcolor="black"];
4953608388929963940 -> -1078797156592594234 [label="",color="black",fontcolor="black"];
4953608388929963940 -> -9199965826324571932 [label="",color="black",fontcolor="black"];
4953608388929963940 -> 24256963942637554 [label="",color="black",fontcolor="black"];
4953608388929963940 -> 8565142326418486973 [label="",color="black",fontcolor="black"];
4953608388929963940 -> 4953608388929963940 [label="",color="black",fontcolor="black"];
4953608388929963940 -> -251321028573587365 [label="",color="black",fontcolor="black"];
4953608388929963940 -> -6343846629726714271 [label="",color="black",fontcolor="black"];
-251321028573587365 -> -7517199508534282845 [label="",color="black",fontcolor="black"];
-251321028573587365 -> -8999911159731775858 [label="",color="black",fontcolor="black"];
-251321028573587365 -> -1078797156592594234 [label="",color="black",fontcolor="black"];
-251321028573587365 -> -9199965826324571932 [label="",color="black",fontcolor="black"];
-251321028573587365 -> 24256963942637554 [label="",color="black",fontcolor="black"];
-251321028573587365 -> 8565142326418486973 [label="",color="black",fontcolor="black"];
-251321028573587365 -> 4953608388929963940 [label="",color="black",fontcolor="black"];
-251321028573587365 -> -251321028573587365 [label="",color="black",fontcolor="black"];
-251321028573587365 -> -6343846629726714271 [label="",color="black",fontcolor="black"];
-6343846629726714271 -> -7517199508534282845 [label="",color="black",fontcolor="black"];
-6343846629726714271 -> -8999911159731775858 [label="",color="black",fontcolor="black"];
-6343846629726714271 -> -1078797156592594234 [label="",color="black",fontcolor="black"];
-6343846629726714271 -> -9199965826324571932 [label="",color="black",fontcolor="black"];
-6343846629726714271 -> 24256963942637554 [label="",color="black",fontcolor="black"];
-6343846629726714271 -> 8565142326418486973 [label="",color="black",fontcolor="black"];
-6343846629726714271 -> 4953608388929963940 [label="",color="black",fontcolor="black"];
-6343846629726714271 -> -251321028573587365 [label="",color="black",fontcolor="black"];
-6343846629726714271 -> -6343846629726714271 [label="",color="black",fontcolor="black"];
-2573354477274294655 -> -2573354477274294655 [label="",color="black",fontcolor="black"];
-2573354477274294655 -> -5500857302269909947 [label="",color="black",fontcolor="black"];
-2573354477274294655 -> 1675018738746740207 [label="",color="black",fontcolor="black"];
-2573354477274294655 -> -5176445989889402730 [label="",color="black",fontcolor="black"];
-2573354477274294655 -> 565620257448914611 [label="",color="black",fontcolor="black"];
-2573354477274294655 -> -8508720300138756834 [label="",color="black",fontcolor="black"];
-2573354477274294655 -> -973272805954170767 [label="",color="black",fontcolor="black"];
-2573354477274294655 -> 8504702102110754831 [label="",color="black",fontcolor="black"];
-2573354477274294655 -> 7685061723244846443 [label="",color="black",fontcolor="black"];
-5500857302269909947 -> -2573354477274294655 [label="",color="black",fontcolor="black"];
-5500857302269909947 -> -5500857302269909947 [label="",color="black",fontcolor="black"];
-5500857302269909947 -> 1675018738746740207 [label="",color="black",fontcolor="black"];
-5500857302269909947 -> -5176445989889402730 [label="",color="black",fontcolor="black"];
-5500857302269909947 -> 565620257448914611 [label="",color="black",fontcolor="black"];
-5500857302269909947 -> -8508720300138756834 [label="",color="black",fontcolor="black"];
-5500857302269909947 -> -973272805954170767 [label="",color="black",fontcolor="black"];
-5500857302269909947 -> 8504702102110754831 [label="",color="black",fontcolor="black"];
-5500857302269909947 -> 7685061723244846443 [label="",color="black",fontcolor="black"];
1675018738746740207 -> -2573354477274294655 [label="",color="black",fontcolor="black"];
1675018738746740207 -> -5500857302269909947 [label="",color="black",fontcolor="black"];
1675018738746740207 -> 1675018738746740207 [label="",color="black",fontcolor="black"];
1675018738746740207 -> -5176445989889402730 [label="",color="black",fontcolor="black"];
1675018738746740207 -> 565620257448914611 [label="",color="black",fontcolor="black"];
1675018738746740207 -> -8508720300138756834 [label="",color="black",fontcolor="black"];
1675018738746740207 -> -973272805954170767 [label="",color="black",fontcolor="black"];
1675018738746740207 -> 8504702102110754831 [label="",color="black",fontcolor="black"];
1675018738746740207 -> 7685061723244846443 [label="",color="black",fontcolor="black"];
-5176445989889402730 -> -2573354477274294655 [label="",color="black",fontcolor="black"];
-5176445989889402730 -> -5500857302269909947 [label="",color="black",fontcolor="black"];
-5176445989889402730 -> 1675018738746740207 [label="",color="black",fontcolor="black"];
-5176445989889402730 -> -5176445989889402730 [label="",color="black",fontcolor="black"];
-5176445989889402730 -> 565620257448914611 [label="",color="black",fontcolor="black"];
-5176445989889402730 -> -8508720300138756834 [label="",color="black",fontcolor="black"];
-5176445989889402730 -> -973272805954170767 [label="",color="black",fontcolor="black"];
-5176445989889402730 -> 8504702102110754831 [label="",color="black",fontcolor="black"];
-5176445989889402730 -> 7685061723244846443 [label="",color="black",fontcolor="black"];
565620257448914611 -> -9186276679502065865 [label="",color="black",fontcolor="black"];
-9186276679502065865 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"succeed\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"plan\"\n/\\ phase = \"done\"\n/\\ reverted = 0"];
565620257448914611 -> 4600959782832354575 [label="",color="black",fontcolor="black"];
4600959782832354575 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"succeed\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"authorize\"\n/\\ phase = \"done\"\n/\\ reverted = 0"];
565620257448914611 -> 1943717664499798218 [label="",color="black",fontcolor="black"];
1943717664499798218 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"succeed\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"forge\"\n/\\ phase = \"done\"\n/\\ reverted = 0"];
565620257448914611 -> -1803516437521454235 [label="",color="black",fontcolor="black"];
-1803516437521454235 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"succeed\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"execute\"\n/\\ phase = \"done\"\n/\\ reverted = 0"];
565620257448914611 -> 7967229042776223179 [label="",color="black",fontcolor="black"];
7967229042776223179 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"succeed\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"succeed\"\n/\\ phase = \"done\"\n/\\ reverted = 0"];
565620257448914611 -> -4934832500904528165 [label="",color="black",fontcolor="black"];
-4934832500904528165 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"succeed\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"fail\"\n/\\ phase = \"done\"\n/\\ reverted = 0"];
565620257448914611 -> -4551029408473071653 [label="",color="black",fontcolor="black"];
-4551029408473071653 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"succeed\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"compensate\"\n/\\ phase = \"done\"\n/\\ reverted = 0"];
565620257448914611 -> 6824976999223204129 [label="",color="black",fontcolor="black"];
6824976999223204129 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"succeed\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"compensation_fail\"\n/\\ phase = \"done\"\n/\\ reverted = 0"];
565620257448914611 -> 9066879821417460032 [label="",color="black",fontcolor="black"];
9066879821417460032 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"succeed\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"cancel\"\n/\\ phase = \"done\"\n/\\ reverted = 0"];
-8508720300138756834 -> -8995974677466063682 [label="",color="black",fontcolor="black"];
-8995974677466063682 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"plan\"\n/\\ phase = \"compensating\"\n/\\ reverted = 0"];
-8508720300138756834 -> 7139835458627409538 [label="",color="black",fontcolor="black"];
7139835458627409538 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"authorize\"\n/\\ phase = \"compensating\"\n/\\ reverted = 0"];
-8508720300138756834 -> -8931009005217674021 [label="",color="black",fontcolor="black"];
-8931009005217674021 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"forge\"\n/\\ phase = \"compensating\"\n/\\ reverted = 0"];
-8508720300138756834 -> -642767600435941753 [label="",color="black",fontcolor="black"];
-642767600435941753 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"execute\"\n/\\ phase = \"compensating\"\n/\\ reverted = 0"];
-8508720300138756834 -> 8072183937810082332 [label="",color="black",fontcolor="black"];
8072183937810082332 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"succeed\"\n/\\ phase = \"compensating\"\n/\\ reverted = 0"];
-8508720300138756834 -> -3014485918195009268 [label="",color="black",fontcolor="black"];
-3014485918195009268 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"fail\"\n/\\ phase = \"compensating\"\n/\\ reverted = 0"];
-8508720300138756834 -> 299954209691381280 [label="",color="black",fontcolor="black"];
299954209691381280 [label="/\\ result = \"accepted\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"compensate\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
-8508720300138756834 -> -4025901361698981377 [label="",color="black",fontcolor="black"];
-4025901361698981377 [label="/\\ result = \"accepted\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"compensation_fail\"\n/\\ phase = \"compensation_failed\"\n/\\ reverted = 0"];
-8508720300138756834 -> -1430232854661056768 [label="",color="black",fontcolor="black"];
-1430232854661056768 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"cancel\"\n/\\ phase = \"compensating\"\n/\\ reverted = 0"];
-973272805954170767 -> -2573354477274294655 [label="",color="black",fontcolor="black"];
-973272805954170767 -> -5500857302269909947 [label="",color="black",fontcolor="black"];
-973272805954170767 -> 1675018738746740207 [label="",color="black",fontcolor="black"];
-973272805954170767 -> -5176445989889402730 [label="",color="black",fontcolor="black"];
-973272805954170767 -> 565620257448914611 [label="",color="black",fontcolor="black"];
-973272805954170767 -> -8508720300138756834 [label="",color="black",fontcolor="black"];
-973272805954170767 -> -973272805954170767 [label="",color="black",fontcolor="black"];
-973272805954170767 -> 8504702102110754831 [label="",color="black",fontcolor="black"];
-973272805954170767 -> 7685061723244846443 [label="",color="black",fontcolor="black"];
8504702102110754831 -> -2573354477274294655 [label="",color="black",fontcolor="black"];
8504702102110754831 -> -5500857302269909947 [label="",color="black",fontcolor="black"];
8504702102110754831 -> 1675018738746740207 [label="",color="black",fontcolor="black"];
8504702102110754831 -> -5176445989889402730 [label="",color="black",fontcolor="black"];
8504702102110754831 -> 565620257448914611 [label="",color="black",fontcolor="black"];
8504702102110754831 -> -8508720300138756834 [label="",color="black",fontcolor="black"];
8504702102110754831 -> -973272805954170767 [label="",color="black",fontcolor="black"];
8504702102110754831 -> 8504702102110754831 [label="",color="black",fontcolor="black"];
8504702102110754831 -> 7685061723244846443 [label="",color="black",fontcolor="black"];
7685061723244846443 -> -2573354477274294655 [label="",color="black",fontcolor="black"];
7685061723244846443 -> -5500857302269909947 [label="",color="black",fontcolor="black"];
7685061723244846443 -> 1675018738746740207 [label="",color="black",fontcolor="black"];
7685061723244846443 -> -5176445989889402730 [label="",color="black",fontcolor="black"];
7685061723244846443 -> 565620257448914611 [label="",color="black",fontcolor="black"];
7685061723244846443 -> -8508720300138756834 [label="",color="black",fontcolor="black"];
7685061723244846443 -> -973272805954170767 [label="",color="black",fontcolor="black"];
7685061723244846443 -> 8504702102110754831 [label="",color="black",fontcolor="black"];
7685061723244846443 -> 7685061723244846443 [label="",color="black",fontcolor="black"];
-2362452537226346257 -> -2362452537226346257 [label="",color="black",fontcolor="black"];
-2362452537226346257 -> -4255106708687314790 [label="",color="black",fontcolor="black"];
-2362452537226346257 -> -6050926495270804516 [label="",color="black",fontcolor="black"];
-2362452537226346257 -> -4312129687016975428 [label="",color="black",fontcolor="black"];
-2362452537226346257 -> 4912642841785554090 [label="",color="black",fontcolor="black"];
-2362452537226346257 -> 3548960809357890926 [label="",color="black",fontcolor="black"];
-2362452537226346257 -> 22472199260789987 [label="",color="black",fontcolor="black"];
-2362452537226346257 -> -7582711729316081105 [label="",color="black",fontcolor="black"];
-2362452537226346257 -> 1767615489293293328 [label="",color="black",fontcolor="black"];
-4255106708687314790 -> -2362452537226346257 [label="",color="black",fontcolor="black"];
-4255106708687314790 -> -4255106708687314790 [label="",color="black",fontcolor="black"];
-4255106708687314790 -> -6050926495270804516 [label="",color="black",fontcolor="black"];
-4255106708687314790 -> -4312129687016975428 [label="",color="black",fontcolor="black"];
-4255106708687314790 -> 4912642841785554090 [label="",color="black",fontcolor="black"];
-4255106708687314790 -> 3548960809357890926 [label="",color="black",fontcolor="black"];
-4255106708687314790 -> 22472199260789987 [label="",color="black",fontcolor="black"];
-4255106708687314790 -> -7582711729316081105 [label="",color="black",fontcolor="black"];
-4255106708687314790 -> 1767615489293293328 [label="",color="black",fontcolor="black"];
-6050926495270804516 -> -2362452537226346257 [label="",color="black",fontcolor="black"];
-6050926495270804516 -> -4255106708687314790 [label="",color="black",fontcolor="black"];
-6050926495270804516 -> -6050926495270804516 [label="",color="black",fontcolor="black"];
-6050926495270804516 -> -4312129687016975428 [label="",color="black",fontcolor="black"];
-6050926495270804516 -> 4912642841785554090 [label="",color="black",fontcolor="black"];
-6050926495270804516 -> 3548960809357890926 [label="",color="black",fontcolor="black"];
-6050926495270804516 -> 22472199260789987 [label="",color="black",fontcolor="black"];
-6050926495270804516 -> -7582711729316081105 [label="",color="black",fontcolor="black"];
-6050926495270804516 -> 1767615489293293328 [label="",color="black",fontcolor="black"];
-4312129687016975428 -> -2362452537226346257 [label="",color="black",fontcolor="black"];
-4312129687016975428 -> -4255106708687314790 [label="",color="black",fontcolor="black"];
-4312129687016975428 -> -6050926495270804516 [label="",color="black",fontcolor="black"];
-4312129687016975428 -> -4312129687016975428 [label="",color="black",fontcolor="black"];
-4312129687016975428 -> 4912642841785554090 [label="",color="black",fontcolor="black"];
-4312129687016975428 -> 3548960809357890926 [label="",color="black",fontcolor="black"];
-4312129687016975428 -> 22472199260789987 [label="",color="black",fontcolor="black"];
-4312129687016975428 -> -7582711729316081105 [label="",color="black",fontcolor="black"];
-4312129687016975428 -> 1767615489293293328 [label="",color="black",fontcolor="black"];
4912642841785554090 -> -2362452537226346257 [label="",color="black",fontcolor="black"];
4912642841785554090 -> -4255106708687314790 [label="",color="black",fontcolor="black"];
4912642841785554090 -> -6050926495270804516 [label="",color="black",fontcolor="black"];
4912642841785554090 -> -4312129687016975428 [label="",color="black",fontcolor="black"];
4912642841785554090 -> 4912642841785554090 [label="",color="black",fontcolor="black"];
4912642841785554090 -> 3548960809357890926 [label="",color="black",fontcolor="black"];
4912642841785554090 -> 22472199260789987 [label="",color="black",fontcolor="black"];
4912642841785554090 -> -7582711729316081105 [label="",color="black",fontcolor="black"];
4912642841785554090 -> 1767615489293293328 [label="",color="black",fontcolor="black"];
3548960809357890926 -> -2362452537226346257 [label="",color="black",fontcolor="black"];
3548960809357890926 -> -4255106708687314790 [label="",color="black",fontcolor="black"];
3548960809357890926 -> -6050926495270804516 [label="",color="black",fontcolor="black"];
3548960809357890926 -> -4312129687016975428 [label="",color="black",fontcolor="black"];
3548960809357890926 -> 4912642841785554090 [label="",color="black",fontcolor="black"];
3548960809357890926 -> 3548960809357890926 [label="",color="black",fontcolor="black"];
3548960809357890926 -> 22472199260789987 [label="",color="black",fontcolor="black"];
3548960809357890926 -> -7582711729316081105 [label="",color="black",fontcolor="black"];
3548960809357890926 -> 1767615489293293328 [label="",color="black",fontcolor="black"];
22472199260789987 -> -2362452537226346257 [label="",color="black",fontcolor="black"];
22472199260789987 -> -4255106708687314790 [label="",color="black",fontcolor="black"];
22472199260789987 -> -6050926495270804516 [label="",color="black",fontcolor="black"];
22472199260789987 -> -4312129687016975428 [label="",color="black",fontcolor="black"];
22472199260789987 -> 4912642841785554090 [label="",color="black",fontcolor="black"];
22472199260789987 -> 3548960809357890926 [label="",color="black",fontcolor="black"];
22472199260789987 -> 22472199260789987 [label="",color="black",fontcolor="black"];
22472199260789987 -> -7582711729316081105 [label="",color="black",fontcolor="black"];
22472199260789987 -> 1767615489293293328 [label="",color="black",fontcolor="black"];
-7582711729316081105 -> -2362452537226346257 [label="",color="black",fontcolor="black"];
-7582711729316081105 -> -4255106708687314790 [label="",color="black",fontcolor="black"];
-7582711729316081105 -> -6050926495270804516 [label="",color="black",fontcolor="black"];
-7582711729316081105 -> -4312129687016975428 [label="",color="black",fontcolor="black"];
-7582711729316081105 -> 4912642841785554090 [label="",color="black",fontcolor="black"];
-7582711729316081105 -> 3548960809357890926 [label="",color="black",fontcolor="black"];
-7582711729316081105 -> 22472199260789987 [label="",color="black",fontcolor="black"];
-7582711729316081105 -> -7582711729316081105 [label="",color="black",fontcolor="black"];
-7582711729316081105 -> 1767615489293293328 [label="",color="black",fontcolor="black"];
1767615489293293328 -> -2362452537226346257 [label="",color="black",fontcolor="black"];
1767615489293293328 -> -4255106708687314790 [label="",color="black",fontcolor="black"];
1767615489293293328 -> -6050926495270804516 [label="",color="black",fontcolor="black"];
1767615489293293328 -> -4312129687016975428 [label="",color="black",fontcolor="black"];
1767615489293293328 -> 4912642841785554090 [label="",color="black",fontcolor="black"];
1767615489293293328 -> 3548960809357890926 [label="",color="black",fontcolor="black"];
1767615489293293328 -> 22472199260789987 [label="",color="black",fontcolor="black"];
1767615489293293328 -> -7582711729316081105 [label="",color="black",fontcolor="black"];
1767615489293293328 -> 1767615489293293328 [label="",color="black",fontcolor="black"];
-9186276679502065865 -> -9186276679502065865 [label="",color="black",fontcolor="black"];
-9186276679502065865 -> 4600959782832354575 [label="",color="black",fontcolor="black"];
-9186276679502065865 -> 1943717664499798218 [label="",color="black",fontcolor="black"];
-9186276679502065865 -> -1803516437521454235 [label="",color="black",fontcolor="black"];
-9186276679502065865 -> 7967229042776223179 [label="",color="black",fontcolor="black"];
-9186276679502065865 -> -4934832500904528165 [label="",color="black",fontcolor="black"];
-9186276679502065865 -> -4551029408473071653 [label="",color="black",fontcolor="black"];
-9186276679502065865 -> 6824976999223204129 [label="",color="black",fontcolor="black"];
-9186276679502065865 -> 9066879821417460032 [label="",color="black",fontcolor="black"];
4600959782832354575 -> -9186276679502065865 [label="",color="black",fontcolor="black"];
4600959782832354575 -> 4600959782832354575 [label="",color="black",fontcolor="black"];
4600959782832354575 -> 1943717664499798218 [label="",color="black",fontcolor="black"];
4600959782832354575 -> -1803516437521454235 [label="",color="black",fontcolor="black"];
4600959782832354575 -> 7967229042776223179 [label="",color="black",fontcolor="black"];
4600959782832354575 -> -4934832500904528165 [label="",color="black",fontcolor="black"];
4600959782832354575 -> -4551029408473071653 [label="",color="black",fontcolor="black"];
4600959782832354575 -> 6824976999223204129 [label="",color="black",fontcolor="black"];
4600959782832354575 -> 9066879821417460032 [label="",color="black",fontcolor="black"];
1943717664499798218 -> -9186276679502065865 [label="",color="black",fontcolor="black"];
1943717664499798218 -> 4600959782832354575 [label="",color="black",fontcolor="black"];
1943717664499798218 -> 1943717664499798218 [label="",color="black",fontcolor="black"];
1943717664499798218 -> -1803516437521454235 [label="",color="black",fontcolor="black"];
1943717664499798218 -> 7967229042776223179 [label="",color="black",fontcolor="black"];
1943717664499798218 -> -4934832500904528165 [label="",color="black",fontcolor="black"];
1943717664499798218 -> -4551029408473071653 [label="",color="black",fontcolor="black"];
1943717664499798218 -> 6824976999223204129 [label="",color="black",fontcolor="black"];
1943717664499798218 -> 9066879821417460032 [label="",color="black",fontcolor="black"];
-1803516437521454235 -> -9186276679502065865 [label="",color="black",fontcolor="black"];
-1803516437521454235 -> 4600959782832354575 [label="",color="black",fontcolor="black"];
-1803516437521454235 -> 1943717664499798218 [label="",color="black",fontcolor="black"];
-1803516437521454235 -> -1803516437521454235 [label="",color="black",fontcolor="black"];
-1803516437521454235 -> 7967229042776223179 [label="",color="black",fontcolor="black"];
-1803516437521454235 -> -4934832500904528165 [label="",color="black",fontcolor="black"];
-1803516437521454235 -> -4551029408473071653 [label="",color="black",fontcolor="black"];
-1803516437521454235 -> 6824976999223204129 [label="",color="black",fontcolor="black"];
-1803516437521454235 -> 9066879821417460032 [label="",color="black",fontcolor="black"];
7967229042776223179 -> -9186276679502065865 [label="",color="black",fontcolor="black"];
7967229042776223179 -> 4600959782832354575 [label="",color="black",fontcolor="black"];
7967229042776223179 -> 1943717664499798218 [label="",color="black",fontcolor="black"];
7967229042776223179 -> -1803516437521454235 [label="",color="black",fontcolor="black"];
7967229042776223179 -> 7967229042776223179 [label="",color="black",fontcolor="black"];
7967229042776223179 -> -4934832500904528165 [label="",color="black",fontcolor="black"];
7967229042776223179 -> -4551029408473071653 [label="",color="black",fontcolor="black"];
7967229042776223179 -> 6824976999223204129 [label="",color="black",fontcolor="black"];
7967229042776223179 -> 9066879821417460032 [label="",color="black",fontcolor="black"];
-4934832500904528165 -> -9186276679502065865 [label="",color="black",fontcolor="black"];
-4934832500904528165 -> 4600959782832354575 [label="",color="black",fontcolor="black"];
-4934832500904528165 -> 1943717664499798218 [label="",color="black",fontcolor="black"];
-4934832500904528165 -> -1803516437521454235 [label="",color="black",fontcolor="black"];
-4934832500904528165 -> 7967229042776223179 [label="",color="black",fontcolor="black"];
-4934832500904528165 -> -4934832500904528165 [label="",color="black",fontcolor="black"];
-4934832500904528165 -> -4551029408473071653 [label="",color="black",fontcolor="black"];
-4934832500904528165 -> 6824976999223204129 [label="",color="black",fontcolor="black"];
-4934832500904528165 -> 9066879821417460032 [label="",color="black",fontcolor="black"];
-4551029408473071653 -> -9186276679502065865 [label="",color="black",fontcolor="black"];
-4551029408473071653 -> 4600959782832354575 [label="",color="black",fontcolor="black"];
-4551029408473071653 -> 1943717664499798218 [label="",color="black",fontcolor="black"];
-4551029408473071653 -> -1803516437521454235 [label="",color="black",fontcolor="black"];
-4551029408473071653 -> 7967229042776223179 [label="",color="black",fontcolor="black"];
-4551029408473071653 -> -4934832500904528165 [label="",color="black",fontcolor="black"];
-4551029408473071653 -> -4551029408473071653 [label="",color="black",fontcolor="black"];
-4551029408473071653 -> 6824976999223204129 [label="",color="black",fontcolor="black"];
-4551029408473071653 -> 9066879821417460032 [label="",color="black",fontcolor="black"];
6824976999223204129 -> -9186276679502065865 [label="",color="black",fontcolor="black"];
6824976999223204129 -> 4600959782832354575 [label="",color="black",fontcolor="black"];
6824976999223204129 -> 1943717664499798218 [label="",color="black",fontcolor="black"];
6824976999223204129 -> -1803516437521454235 [label="",color="black",fontcolor="black"];
6824976999223204129 -> 7967229042776223179 [label="",color="black",fontcolor="black"];
6824976999223204129 -> -4934832500904528165 [label="",color="black",fontcolor="black"];
6824976999223204129 -> -4551029408473071653 [label="",color="black",fontcolor="black"];
6824976999223204129 -> 6824976999223204129 [label="",color="black",fontcolor="black"];
6824976999223204129 -> 9066879821417460032 [label="",color="black",fontcolor="black"];
9066879821417460032 -> -9186276679502065865 [label="",color="black",fontcolor="black"];
9066879821417460032 -> 4600959782832354575 [label="",color="black",fontcolor="black"];
9066879821417460032 -> 1943717664499798218 [label="",color="black",fontcolor="black"];
9066879821417460032 -> -1803516437521454235 [label="",color="black",fontcolor="black"];
9066879821417460032 -> 7967229042776223179 [label="",color="black",fontcolor="black"];
9066879821417460032 -> -4934832500904528165 [label="",color="black",fontcolor="black"];
9066879821417460032 -> -4551029408473071653 [label="",color="black",fontcolor="black"];
9066879821417460032 -> 6824976999223204129 [label="",color="black",fontcolor="black"];
9066879821417460032 -> 9066879821417460032 [label="",color="black",fontcolor="black"];
-8995974677466063682 -> -8995974677466063682 [label="",color="black",fontcolor="black"];
-8995974677466063682 -> 7139835458627409538 [label="",color="black",fontcolor="black"];
-8995974677466063682 -> -8931009005217674021 [label="",color="black",fontcolor="black"];
-8995974677466063682 -> -642767600435941753 [label="",color="black",fontcolor="black"];
-8995974677466063682 -> 8072183937810082332 [label="",color="black",fontcolor="black"];
-8995974677466063682 -> -3014485918195009268 [label="",color="black",fontcolor="black"];
-8995974677466063682 -> 299954209691381280 [label="",color="black",fontcolor="black"];
-8995974677466063682 -> -4025901361698981377 [label="",color="black",fontcolor="black"];
-8995974677466063682 -> -1430232854661056768 [label="",color="black",fontcolor="black"];
7139835458627409538 -> -8995974677466063682 [label="",color="black",fontcolor="black"];
7139835458627409538 -> 7139835458627409538 [label="",color="black",fontcolor="black"];
7139835458627409538 -> -8931009005217674021 [label="",color="black",fontcolor="black"];
7139835458627409538 -> -642767600435941753 [label="",color="black",fontcolor="black"];
7139835458627409538 -> 8072183937810082332 [label="",color="black",fontcolor="black"];
7139835458627409538 -> -3014485918195009268 [label="",color="black",fontcolor="black"];
7139835458627409538 -> 299954209691381280 [label="",color="black",fontcolor="black"];
7139835458627409538 -> -4025901361698981377 [label="",color="black",fontcolor="black"];
7139835458627409538 -> -1430232854661056768 [label="",color="black",fontcolor="black"];
-8931009005217674021 -> -8995974677466063682 [label="",color="black",fontcolor="black"];
-8931009005217674021 -> 7139835458627409538 [label="",color="black",fontcolor="black"];
-8931009005217674021 -> -8931009005217674021 [label="",color="black",fontcolor="black"];
-8931009005217674021 -> -642767600435941753 [label="",color="black",fontcolor="black"];
-8931009005217674021 -> 8072183937810082332 [label="",color="black",fontcolor="black"];
-8931009005217674021 -> -3014485918195009268 [label="",color="black",fontcolor="black"];
-8931009005217674021 -> 299954209691381280 [label="",color="black",fontcolor="black"];
-8931009005217674021 -> -4025901361698981377 [label="",color="black",fontcolor="black"];
-8931009005217674021 -> -1430232854661056768 [label="",color="black",fontcolor="black"];
-642767600435941753 -> -8995974677466063682 [label="",color="black",fontcolor="black"];
-642767600435941753 -> 7139835458627409538 [label="",color="black",fontcolor="black"];
-642767600435941753 -> -8931009005217674021 [label="",color="black",fontcolor="black"];
-642767600435941753 -> -642767600435941753 [label="",color="black",fontcolor="black"];
-642767600435941753 -> 8072183937810082332 [label="",color="black",fontcolor="black"];
-642767600435941753 -> -3014485918195009268 [label="",color="black",fontcolor="black"];
-642767600435941753 -> 299954209691381280 [label="",color="black",fontcolor="black"];
-642767600435941753 -> -4025901361698981377 [label="",color="black",fontcolor="black"];
-642767600435941753 -> -1430232854661056768 [label="",color="black",fontcolor="black"];
8072183937810082332 -> -8995974677466063682 [label="",color="black",fontcolor="black"];
8072183937810082332 -> 7139835458627409538 [label="",color="black",fontcolor="black"];
8072183937810082332 -> -8931009005217674021 [label="",color="black",fontcolor="black"];
8072183937810082332 -> -642767600435941753 [label="",color="black",fontcolor="black"];
8072183937810082332 -> 8072183937810082332 [label="",color="black",fontcolor="black"];
8072183937810082332 -> -3014485918195009268 [label="",color="black",fontcolor="black"];
8072183937810082332 -> 299954209691381280 [label="",color="black",fontcolor="black"];
8072183937810082332 -> -4025901361698981377 [label="",color="black",fontcolor="black"];
8072183937810082332 -> -1430232854661056768 [label="",color="black",fontcolor="black"];
-3014485918195009268 -> -8995974677466063682 [label="",color="black",fontcolor="black"];
-3014485918195009268 -> 7139835458627409538 [label="",color="black",fontcolor="black"];
-3014485918195009268 -> -8931009005217674021 [label="",color="black",fontcolor="black"];
-3014485918195009268 -> -642767600435941753 [label="",color="black",fontcolor="black"];
-3014485918195009268 -> 8072183937810082332 [label="",color="black",fontcolor="black"];
-3014485918195009268 -> -3014485918195009268 [label="",color="black",fontcolor="black"];
-3014485918195009268 -> 299954209691381280 [label="",color="black",fontcolor="black"];
-3014485918195009268 -> -4025901361698981377 [label="",color="black",fontcolor="black"];
-3014485918195009268 -> -1430232854661056768 [label="",color="black",fontcolor="black"];
299954209691381280 -> 686409844480417114 [label="",color="black",fontcolor="black"];
686409844480417114 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"plan\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
299954209691381280 -> -6633271583240298450 [label="",color="black",fontcolor="black"];
-6633271583240298450 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"authorize\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
299954209691381280 -> 2982422905820183881 [label="",color="black",fontcolor="black"];
2982422905820183881 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"forge\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
299954209691381280 -> 1171925759018501421 [label="",color="black",fontcolor="black"];
1171925759018501421 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"execute\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
299954209691381280 -> -1056293465796766882 [label="",color="black",fontcolor="black"];
-1056293465796766882 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"succeed\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
299954209691381280 -> 8170452347948699212 [label="",color="black",fontcolor="black"];
8170452347948699212 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"fail\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
299954209691381280 -> 7400097094937309468 [label="",color="black",fontcolor="black"];
7400097094937309468 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"compensate\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
299954209691381280 -> 3935886495946561026 [label="",color="black",fontcolor="black"];
3935886495946561026 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"compensation_fail\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
299954209691381280 -> 7111264835938366376 [label="",color="black",fontcolor="black"];
7111264835938366376 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"cancel\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
-4025901361698981377 -> -1329190395369286052 [label="",color="black",fontcolor="black"];
-1329190395369286052 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"plan\"\n/\\ phase = \"compensation_failed\"\n/\\ reverted = 0"];
-4025901361698981377 -> 1129652490863177490 [label="",color="black",fontcolor="black"];
1129652490863177490 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"authorize\"\n/\\ phase = \"compensation_failed\"\n/\\ reverted = 0"];
-4025901361698981377 -> -1182738155813256986 [label="",color="black",fontcolor="black"];
-1182738155813256986 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"forge\"\n/\\ phase = \"compensation_failed\"\n/\\ reverted = 0"];
-4025901361698981377 -> -1815495428654562342 [label="",color="black",fontcolor="black"];
-1815495428654562342 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"execute\"\n/\\ phase = \"compensation_failed\"\n/\\ reverted = 0"];
-4025901361698981377 -> 8644885965069917147 [label="",color="black",fontcolor="black"];
8644885965069917147 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"succeed\"\n/\\ phase = \"compensation_failed\"\n/\\ reverted = 0"];
-4025901361698981377 -> -2651133962421080612 [label="",color="black",fontcolor="black"];
-2651133962421080612 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"fail\"\n/\\ phase = \"compensation_failed\"\n/\\ reverted = 0"];
-4025901361698981377 -> 3855682678952179644 [label="",color="black",fontcolor="black"];
3855682678952179644 [label="/\\ result = \"accepted\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"compensate\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
-4025901361698981377 -> 2395834707535756107 [label="",color="black",fontcolor="black"];
2395834707535756107 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"compensation_fail\"\n/\\ phase = \"compensation_failed\"\n/\\ reverted = 0"];
-4025901361698981377 -> 4267483617338395914 [label="",color="black",fontcolor="black"];
4267483617338395914 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"cancel\"\n/\\ phase = \"compensation_failed\"\n/\\ reverted = 0"];
-1430232854661056768 -> -8995974677466063682 [label="",color="black",fontcolor="black"];
-1430232854661056768 -> 7139835458627409538 [label="",color="black",fontcolor="black"];
-1430232854661056768 -> -8931009005217674021 [label="",color="black",fontcolor="black"];
-1430232854661056768 -> -642767600435941753 [label="",color="black",fontcolor="black"];
-1430232854661056768 -> 8072183937810082332 [label="",color="black",fontcolor="black"];
-1430232854661056768 -> -3014485918195009268 [label="",color="black",fontcolor="black"];
-1430232854661056768 -> 299954209691381280 [label="",color="black",fontcolor="black"];
-1430232854661056768 -> -4025901361698981377 [label="",color="black",fontcolor="black"];
-1430232854661056768 -> -1430232854661056768 [label="",color="black",fontcolor="black"];
686409844480417114 -> 686409844480417114 [label="",color="black",fontcolor="black"];
686409844480417114 -> -6633271583240298450 [label="",color="black",fontcolor="black"];
686409844480417114 -> 2982422905820183881 [label="",color="black",fontcolor="black"];
686409844480417114 -> 1171925759018501421 [label="",color="black",fontcolor="black"];
686409844480417114 -> -1056293465796766882 [label="",color="black",fontcolor="black"];
686409844480417114 -> 8170452347948699212 [label="",color="black",fontcolor="black"];
686409844480417114 -> 7400097094937309468 [label="",color="black",fontcolor="black"];
686409844480417114 -> 3935886495946561026 [label="",color="black",fontcolor="black"];
686409844480417114 -> 7111264835938366376 [label="",color="black",fontcolor="black"];
-6633271583240298450 -> 686409844480417114 [label="",color="black",fontcolor="black"];
-6633271583240298450 -> -6633271583240298450 [label="",color="black",fontcolor="black"];
-6633271583240298450 -> 2982422905820183881 [label="",color="black",fontcolor="black"];
-6633271583240298450 -> 1171925759018501421 [label="",color="black",fontcolor="black"];
-6633271583240298450 -> -1056293465796766882 [label="",color="black",fontcolor="black"];
-6633271583240298450 -> 8170452347948699212 [label="",color="black",fontcolor="black"];
-6633271583240298450 -> 7400097094937309468 [label="",color="black",fontcolor="black"];
-6633271583240298450 -> 3935886495946561026 [label="",color="black",fontcolor="black"];
-6633271583240298450 -> 7111264835938366376 [label="",color="black",fontcolor="black"];
2982422905820183881 -> 686409844480417114 [label="",color="black",fontcolor="black"];
2982422905820183881 -> -6633271583240298450 [label="",color="black",fontcolor="black"];
2982422905820183881 -> 2982422905820183881 [label="",color="black",fontcolor="black"];
2982422905820183881 -> 1171925759018501421 [label="",color="black",fontcolor="black"];
2982422905820183881 -> -1056293465796766882 [label="",color="black",fontcolor="black"];
2982422905820183881 -> 8170452347948699212 [label="",color="black",fontcolor="black"];
2982422905820183881 -> 7400097094937309468 [label="",color="black",fontcolor="black"];
2982422905820183881 -> 3935886495946561026 [label="",color="black",fontcolor="black"];
2982422905820183881 -> 7111264835938366376 [label="",color="black",fontcolor="black"];
1171925759018501421 -> 686409844480417114 [label="",color="black",fontcolor="black"];
1171925759018501421 -> -6633271583240298450 [label="",color="black",fontcolor="black"];
1171925759018501421 -> 2982422905820183881 [label="",color="black",fontcolor="black"];
1171925759018501421 -> 1171925759018501421 [label="",color="black",fontcolor="black"];
1171925759018501421 -> -1056293465796766882 [label="",color="black",fontcolor="black"];
1171925759018501421 -> 8170452347948699212 [label="",color="black",fontcolor="black"];
1171925759018501421 -> 7400097094937309468 [label="",color="black",fontcolor="black"];
1171925759018501421 -> 3935886495946561026 [label="",color="black",fontcolor="black"];
1171925759018501421 -> 7111264835938366376 [label="",color="black",fontcolor="black"];
-1056293465796766882 -> 686409844480417114 [label="",color="black",fontcolor="black"];
-1056293465796766882 -> -6633271583240298450 [label="",color="black",fontcolor="black"];
-1056293465796766882 -> 2982422905820183881 [label="",color="black",fontcolor="black"];
-1056293465796766882 -> 1171925759018501421 [label="",color="black",fontcolor="black"];
-1056293465796766882 -> -1056293465796766882 [label="",color="black",fontcolor="black"];
-1056293465796766882 -> 8170452347948699212 [label="",color="black",fontcolor="black"];
-1056293465796766882 -> 7400097094937309468 [label="",color="black",fontcolor="black"];
-1056293465796766882 -> 3935886495946561026 [label="",color="black",fontcolor="black"];
-1056293465796766882 -> 7111264835938366376 [label="",color="black",fontcolor="black"];
8170452347948699212 -> 686409844480417114 [label="",color="black",fontcolor="black"];
8170452347948699212 -> -6633271583240298450 [label="",color="black",fontcolor="black"];
8170452347948699212 -> 2982422905820183881 [label="",color="black",fontcolor="black"];
8170452347948699212 -> 1171925759018501421 [label="",color="black",fontcolor="black"];
8170452347948699212 -> -1056293465796766882 [label="",color="black",fontcolor="black"];
8170452347948699212 -> 8170452347948699212 [label="",color="black",fontcolor="black"];
8170452347948699212 -> 7400097094937309468 [label="",color="black",fontcolor="black"];
8170452347948699212 -> 3935886495946561026 [label="",color="black",fontcolor="black"];
8170452347948699212 -> 7111264835938366376 [label="",color="black",fontcolor="black"];
7400097094937309468 -> 686409844480417114 [label="",color="black",fontcolor="black"];
7400097094937309468 -> -6633271583240298450 [label="",color="black",fontcolor="black"];
7400097094937309468 -> 2982422905820183881 [label="",color="black",fontcolor="black"];
7400097094937309468 -> 1171925759018501421 [label="",color="black",fontcolor="black"];
7400097094937309468 -> -1056293465796766882 [label="",color="black",fontcolor="black"];
7400097094937309468 -> 8170452347948699212 [label="",color="black",fontcolor="black"];
7400097094937309468 -> 7400097094937309468 [label="",color="black",fontcolor="black"];
7400097094937309468 -> 3935886495946561026 [label="",color="black",fontcolor="black"];
7400097094937309468 -> 7111264835938366376 [label="",color="black",fontcolor="black"];
3935886495946561026 -> 686409844480417114 [label="",color="black",fontcolor="black"];
3935886495946561026 -> -6633271583240298450 [label="",color="black",fontcolor="black"];
3935886495946561026 -> 2982422905820183881 [label="",color="black",fontcolor="black"];
3935886495946561026 -> 1171925759018501421 [label="",color="black",fontcolor="black"];
3935886495946561026 -> -1056293465796766882 [label="",color="black",fontcolor="black"];
3935886495946561026 -> 8170452347948699212 [label="",color="black",fontcolor="black"];
3935886495946561026 -> 7400097094937309468 [label="",color="black",fontcolor="black"];
3935886495946561026 -> 3935886495946561026 [label="",color="black",fontcolor="black"];
3935886495946561026 -> 7111264835938366376 [label="",color="black",fontcolor="black"];
7111264835938366376 -> 686409844480417114 [label="",color="black",fontcolor="black"];
7111264835938366376 -> -6633271583240298450 [label="",color="black",fontcolor="black"];
7111264835938366376 -> 2982422905820183881 [label="",color="black",fontcolor="black"];
7111264835938366376 -> 1171925759018501421 [label="",color="black",fontcolor="black"];
7111264835938366376 -> -1056293465796766882 [label="",color="black",fontcolor="black"];
7111264835938366376 -> 8170452347948699212 [label="",color="black",fontcolor="black"];
7111264835938366376 -> 7400097094937309468 [label="",color="black",fontcolor="black"];
7111264835938366376 -> 3935886495946561026 [label="",color="black",fontcolor="black"];
7111264835938366376 -> 7111264835938366376 [label="",color="black",fontcolor="black"];
-1329190395369286052 -> -1329190395369286052 [label="",color="black",fontcolor="black"];
-1329190395369286052 -> 1129652490863177490 [label="",color="black",fontcolor="black"];
-1329190395369286052 -> -1182738155813256986 [label="",color="black",fontcolor="black"];
-1329190395369286052 -> -1815495428654562342 [label="",color="black",fontcolor="black"];
-1329190395369286052 -> 8644885965069917147 [label="",color="black",fontcolor="black"];
-1329190395369286052 -> -2651133962421080612 [label="",color="black",fontcolor="black"];
-1329190395369286052 -> 3855682678952179644 [label="",color="black",fontcolor="black"];
-1329190395369286052 -> 2395834707535756107 [label="",color="black",fontcolor="black"];
-1329190395369286052 -> 4267483617338395914 [label="",color="black",fontcolor="black"];
1129652490863177490 -> -1329190395369286052 [label="",color="black",fontcolor="black"];
1129652490863177490 -> 1129652490863177490 [label="",color="black",fontcolor="black"];
1129652490863177490 -> -1182738155813256986 [label="",color="black",fontcolor="black"];
1129652490863177490 -> -1815495428654562342 [label="",color="black",fontcolor="black"];
1129652490863177490 -> 8644885965069917147 [label="",color="black",fontcolor="black"];
1129652490863177490 -> -2651133962421080612 [label="",color="black",fontcolor="black"];
1129652490863177490 -> 3855682678952179644 [label="",color="black",fontcolor="black"];
1129652490863177490 -> 2395834707535756107 [label="",color="black",fontcolor="black"];
1129652490863177490 -> 4267483617338395914 [label="",color="black",fontcolor="black"];
-1182738155813256986 -> -1329190395369286052 [label="",color="black",fontcolor="black"];
-1182738155813256986 -> 1129652490863177490 [label="",color="black",fontcolor="black"];
-1182738155813256986 -> -1182738155813256986 [label="",color="black",fontcolor="black"];
-1182738155813256986 -> -1815495428654562342 [label="",color="black",fontcolor="black"];
-1182738155813256986 -> 8644885965069917147 [label="",color="black",fontcolor="black"];
-1182738155813256986 -> -2651133962421080612 [label="",color="black",fontcolor="black"];
-1182738155813256986 -> 3855682678952179644 [label="",color="black",fontcolor="black"];
-1182738155813256986 -> 2395834707535756107 [label="",color="black",fontcolor="black"];
-1182738155813256986 -> 4267483617338395914 [label="",color="black",fontcolor="black"];
-1815495428654562342 -> -1329190395369286052 [label="",color="black",fontcolor="black"];
-1815495428654562342 -> 1129652490863177490 [label="",color="black",fontcolor="black"];
-1815495428654562342 -> -1182738155813256986 [label="",color="black",fontcolor="black"];
-1815495428654562342 -> -1815495428654562342 [label="",color="black",fontcolor="black"];
-1815495428654562342 -> 8644885965069917147 [label="",color="black",fontcolor="black"];
-1815495428654562342 -> -2651133962421080612 [label="",color="black",fontcolor="black"];
-1815495428654562342 -> 3855682678952179644 [label="",color="black",fontcolor="black"];
-1815495428654562342 -> 2395834707535756107 [label="",color="black",fontcolor="black"];
-1815495428654562342 -> 4267483617338395914 [label="",color="black",fontcolor="black"];
8644885965069917147 -> -1329190395369286052 [label="",color="black",fontcolor="black"];
8644885965069917147 -> 1129652490863177490 [label="",color="black",fontcolor="black"];
8644885965069917147 -> -1182738155813256986 [label="",color="black",fontcolor="black"];
8644885965069917147 -> -1815495428654562342 [label="",color="black",fontcolor="black"];
8644885965069917147 -> 8644885965069917147 [label="",color="black",fontcolor="black"];
8644885965069917147 -> -2651133962421080612 [label="",color="black",fontcolor="black"];
8644885965069917147 -> 3855682678952179644 [label="",color="black",fontcolor="black"];
8644885965069917147 -> 2395834707535756107 [label="",color="black",fontcolor="black"];
8644885965069917147 -> 4267483617338395914 [label="",color="black",fontcolor="black"];
-2651133962421080612 -> -1329190395369286052 [label="",color="black",fontcolor="black"];
-2651133962421080612 -> 1129652490863177490 [label="",color="black",fontcolor="black"];
-2651133962421080612 -> -1182738155813256986 [label="",color="black",fontcolor="black"];
-2651133962421080612 -> -1815495428654562342 [label="",color="black",fontcolor="black"];
-2651133962421080612 -> 8644885965069917147 [label="",color="black",fontcolor="black"];
-2651133962421080612 -> -2651133962421080612 [label="",color="black",fontcolor="black"];
-2651133962421080612 -> 3855682678952179644 [label="",color="black",fontcolor="black"];
-2651133962421080612 -> 2395834707535756107 [label="",color="black",fontcolor="black"];
-2651133962421080612 -> 4267483617338395914 [label="",color="black",fontcolor="black"];
3855682678952179644 -> 8270961119063802631 [label="",color="black",fontcolor="black"];
8270961119063802631 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"plan\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
3855682678952179644 -> 83694603094460296 [label="",color="black",fontcolor="black"];
83694603094460296 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"authorize\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
3855682678952179644 -> -4936346926314212553 [label="",color="black",fontcolor="black"];
-4936346926314212553 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"forge\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
3855682678952179644 -> 2837588891519424896 [label="",color="black",fontcolor="black"];
2837588891519424896 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"execute\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
3855682678952179644 -> -3730930670146340537 [label="",color="black",fontcolor="black"];
-3730930670146340537 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"succeed\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
3855682678952179644 -> 733385603163787281 [label="",color="black",fontcolor="black"];
733385603163787281 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"fail\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
3855682678952179644 -> -2549965357620005624 [label="",color="black",fontcolor="black"];
-2549965357620005624 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"compensate\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
3855682678952179644 -> -7872942185205524370 [label="",color="black",fontcolor="black"];
-7872942185205524370 [label="/\\ result = \"duplicate\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"compensation_fail\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
3855682678952179644 -> 4487412027508622314 [label="",color="black",fontcolor="black"];
4487412027508622314 [label="/\\ result = \"rejected\"\n/\\ seen = {\"plan\", \"authorize\", \"execute\", \"fail\", \"compensate\", \"compensation_fail\"}\n/\\ applied = 1\n/\\ authorized = TRUE\n/\\ event = \"cancel\"\n/\\ phase = \"rolled_back\"\n/\\ reverted = 1"];
2395834707535756107 -> -1329190395369286052 [label="",color="black",fontcolor="black"];
2395834707535756107 -> 1129652490863177490 [label="",color="black",fontcolor="black"];
2395834707535756107 -> -1182738155813256986 [label="",color="black",fontcolor="black"];
2395834707535756107 -> -1815495428654562342 [label="",color="black",fontcolor="black"];
2395834707535756107 -> 8644885965069917147 [label="",color="black",fontcolor="black"];
2395834707535756107 -> -2651133962421080612 [label="",color="black",fontcolor="black"];
2395834707535756107 -> 3855682678952179644 [label="",color="black",fontcolor="black"];
2395834707535756107 -> 2395834707535756107 [label="",color="black",fontcolor="black"];
2395834707535756107 -> 4267483617338395914 [label="",color="black",fontcolor="black"];
4267483617338395914 -> -1329190395369286052 [label="",color="black",fontcolor="black"];
4267483617338395914 -> 1129652490863177490 [label="",color="black",fontcolor="black"];
4267483617338395914 -> -1182738155813256986 [label="",color="black",fontcolor="black"];
4267483617338395914 -> -1815495428654562342 [label="",color="black",fontcolor="black"];
4267483617338395914 -> 8644885965069917147 [label="",color="black",fontcolor="black"];
4267483617338395914 -> -2651133962421080612 [label="",color="black",fontcolor="black"];
4267483617338395914 -> 3855682678952179644 [label="",color="black",fontcolor="black"];
4267483617338395914 -> 2395834707535756107 [label="",color="black",fontcolor="black"];
4267483617338395914 -> 4267483617338395914 [label="",color="black",fontcolor="black"];
8270961119063802631 -> 8270961119063802631 [label="",color="black",fontcolor="black"];
8270961119063802631 -> 83694603094460296 [label="",color="black",fontcolor="black"];
8270961119063802631 -> -4936346926314212553 [label="",color="black",fontcolor="black"];
8270961119063802631 -> 2837588891519424896 [label="",color="black",fontcolor="black"];
8270961119063802631 -> -3730930670146340537 [label="",color="black",fontcolor="black"];
8270961119063802631 -> 733385603163787281 [label="",color="black",fontcolor="black"];
8270961119063802631 -> -2549965357620005624 [label="",color="black",fontcolor="black"];
8270961119063802631 -> -7872942185205524370 [label="",color="black",fontcolor="black"];
8270961119063802631 -> 4487412027508622314 [label="",color="black",fontcolor="black"];
83694603094460296 -> 8270961119063802631 [label="",color="black",fontcolor="black"];
83694603094460296 -> 83694603094460296 [label="",color="black",fontcolor="black"];
83694603094460296 -> -4936346926314212553 [label="",color="black",fontcolor="black"];
83694603094460296 -> 2837588891519424896 [label="",color="black",fontcolor="black"];
83694603094460296 -> -3730930670146340537 [label="",color="black",fontcolor="black"];
83694603094460296 -> 733385603163787281 [label="",color="black",fontcolor="black"];
83694603094460296 -> -2549965357620005624 [label="",color="black",fontcolor="black"];
83694603094460296 -> -7872942185205524370 [label="",color="black",fontcolor="black"];
83694603094460296 -> 4487412027508622314 [label="",color="black",fontcolor="black"];
-4936346926314212553 -> 8270961119063802631 [label="",color="black",fontcolor="black"];
-4936346926314212553 -> 83694603094460296 [label="",color="black",fontcolor="black"];
-4936346926314212553 -> -4936346926314212553 [label="",color="black",fontcolor="black"];
-4936346926314212553 -> 2837588891519424896 [label="",color="black",fontcolor="black"];
-4936346926314212553 -> -3730930670146340537 [label="",color="black",fontcolor="black"];
-4936346926314212553 -> 733385603163787281 [label="",color="black",fontcolor="black"];
-4936346926314212553 -> -2549965357620005624 [label="",color="black",fontcolor="black"];
-4936346926314212553 -> -7872942185205524370 [label="",color="black",fontcolor="black"];
-4936346926314212553 -> 4487412027508622314 [label="",color="black",fontcolor="black"];
2837588891519424896 -> 8270961119063802631 [label="",color="black",fontcolor="black"];
2837588891519424896 -> 83694603094460296 [label="",color="black",fontcolor="black"];
2837588891519424896 -> -4936346926314212553 [label="",color="black",fontcolor="black"];
2837588891519424896 -> 2837588891519424896 [label="",color="black",fontcolor="black"];
2837588891519424896 -> -3730930670146340537 [label="",color="black",fontcolor="black"];
2837588891519424896 -> 733385603163787281 [label="",color="black",fontcolor="black"];
2837588891519424896 -> -2549965357620005624 [label="",color="black",fontcolor="black"];
2837588891519424896 -> -7872942185205524370 [label="",color="black",fontcolor="black"];
2837588891519424896 -> 4487412027508622314 [label="",color="black",fontcolor="black"];
-3730930670146340537 -> 8270961119063802631 [label="",color="black",fontcolor="black"];
-3730930670146340537 -> 83694603094460296 [label="",color="black",fontcolor="black"];
-3730930670146340537 -> -4936346926314212553 [label="",color="black",fontcolor="black"];
-3730930670146340537 -> 2837588891519424896 [label="",color="black",fontcolor="black"];
-3730930670146340537 -> -3730930670146340537 [label="",color="black",fontcolor="black"];
-3730930670146340537 -> 733385603163787281 [label="",color="black",fontcolor="black"];
-3730930670146340537 -> -2549965357620005624 [label="",color="black",fontcolor="black"];
-3730930670146340537 -> -7872942185205524370 [label="",color="black",fontcolor="black"];
-3730930670146340537 -> 4487412027508622314 [label="",color="black",fontcolor="black"];
733385603163787281 -> 8270961119063802631 [label="",color="black",fontcolor="black"];
733385603163787281 -> 83694603094460296 [label="",color="black",fontcolor="black"];
733385603163787281 -> -4936346926314212553 [label="",color="black",fontcolor="black"];
733385603163787281 -> 2837588891519424896 [label="",color="black",fontcolor="black"];
733385603163787281 -> -3730930670146340537 [label="",color="black",fontcolor="black"];
733385603163787281 -> 733385603163787281 [label="",color="black",fontcolor="black"];
733385603163787281 -> -2549965357620005624 [label="",color="black",fontcolor="black"];
733385603163787281 -> -7872942185205524370 [label="",color="black",fontcolor="black"];
733385603163787281 -> 4487412027508622314 [label="",color="black",fontcolor="black"];
-2549965357620005624 -> 8270961119063802631 [label="",color="black",fontcolor="black"];
-2549965357620005624 -> 83694603094460296 [label="",color="black",fontcolor="black"];
-2549965357620005624 -> -4936346926314212553 [label="",color="black",fontcolor="black"];
-2549965357620005624 -> 2837588891519424896 [label="",color="black",fontcolor="black"];
-2549965357620005624 -> -3730930670146340537 [label="",color="black",fontcolor="black"];
-2549965357620005624 -> 733385603163787281 [label="",color="black",fontcolor="black"];
-2549965357620005624 -> -2549965357620005624 [label="",color="black",fontcolor="black"];
-2549965357620005624 -> -7872942185205524370 [label="",color="black",fontcolor="black"];
-2549965357620005624 -> 4487412027508622314 [label="",color="black",fontcolor="black"];
-7872942185205524370 -> 8270961119063802631 [label="",color="black",fontcolor="black"];
-7872942185205524370 -> 83694603094460296 [label="",color="black",fontcolor="black"];
-7872942185205524370 -> -4936346926314212553 [label="",color="black",fontcolor="black"];
-7872942185205524370 -> 2837588891519424896 [label="",color="black",fontcolor="black"];
-7872942185205524370 -> -3730930670146340537 [label="",color="black",fontcolor="black"];
-7872942185205524370 -> 733385603163787281 [label="",color="black",fontcolor="black"];
-7872942185205524370 -> -2549965357620005624 [label="",color="black",fontcolor="black"];
-7872942185205524370 -> -7872942185205524370 [label="",color="black",fontcolor="black"];
-7872942185205524370 -> 4487412027508622314 [label="",color="black",fontcolor="black"];
4487412027508622314 -> 8270961119063802631 [label="",color="black",fontcolor="black"];
4487412027508622314 -> 83694603094460296 [label="",color="black",fontcolor="black"];
4487412027508622314 -> -4936346926314212553 [label="",color="black",fontcolor="black"];
4487412027508622314 -> 2837588891519424896 [label="",color="black",fontcolor="black"];
4487412027508622314 -> -3730930670146340537 [label="",color="black",fontcolor="black"];
4487412027508622314 -> 733385603163787281 [label="",color="black",fontcolor="black"];
4487412027508622314 -> -2549965357620005624 [label="",color="black",fontcolor="black"];
4487412027508622314 -> -7872942185205524370 [label="",color="black",fontcolor="black"];
4487412027508622314 -> 4487412027508622314 [label="",color="black",fontcolor="black"];
{rank = same; -8444760614246986176;}
{rank = same; 1393327976406537695;3903267689998071564;4390064021362070382;-7496895436966065564;-6487545435080497914;5523458523798172959;2823977658152114273;1461858451897803253;-6061063038126644756;}
{rank = same; 7249453837387537748;-7222199910638638090;-2933358219797888250;871531838931622097;-8915148153595381753;-5775670931173209906;6732254468999566851;-9120223587552028837;-7314040754353790398;-1560090301541187691;-4185747189982073216;8418945235121506071;-5077376728408529750;482624033410691720;5969483253571377449;-5312457878864010564;-1020849999256570847;-8739329326738885218;}
{rank = same; -2795719005696890799;-7517199508534282845;8565142326418486973;2673877478489586515;-1078797156592594234;-251321028573587365;3709466855087568688;-8002779295837284636;-8999911159731775858;24256963942637554;-9199965826324571932;-3706825769636975509;-6343846629726714271;6301521840427033009;-7807303846230320967;5586149609246426672;-3811208290469631283;4953608388929963940;}
{rank = same; 1675018738746740207;-973272805954170767;565620257448914611;3548960809357890926;-8508720300138756834;-2362452537226346257;-6050926495270804516;-2573354477274294655;7685061723244846443;1767615489293293328;-5176445989889402730;22472199260789987;-5500857302269909947;-4255106708687314790;4912642841785554090;8504702102110754831;-7582711729316081105;-4312129687016975428;}
{rank = same; -9186276679502065865;9066879821417460032;299954209691381280;4600959782832354575;-4551029408473071653;7139835458627409538;-4934832500904528165;1943717664499798218;-3014485918195009268;-8995974677466063682;-1803516437521454235;6824976999223204129;-642767600435941753;8072183937810082332;-1430232854661056768;7967229042776223179;-8931009005217674021;-4025901361698981377;}
{rank = same; -1815495428654562342;1129652490863177490;1171925759018501421;-1056293465796766882;-1182738155813256986;8170452347948699212;4267483617338395914;3935886495946561026;7400097094937309468;2395834707535756107;-1329190395369286052;-2651133962421080612;686409844480417114;-6633271583240298450;2982422905820183881;8644885965069917147;3855682678952179644;7111264835938366376;}
{rank = same; -2549965357620005624;8270961119063802631;-4936346926314212553;733385603163787281;-7872942185205524370;83694603094460296;2837588891519424896;-3730930670146340537;4487412027508622314;}
}
}