Avaldis 5: "s" left parenthesis, "a" , "l" , right parenthesis equals Start sum from "m" equals "l" to "L" , end sum, "a" Superscript, left parenthesis, "L" minus "m" , right parenthesis , Baseline left parenthesis, left parenthesis, "a" minus 1 , right parenthesis "G" left bracket, "m" , right bracket plus "a" "W" left bracket, "m" , right bracket , right parenthesissa,l=L∑m=laL−ma−1Gm+aWm
5
Avaldis 6:
6
Avaldis 7: "s" left parenthesis, "x" , 1 , right parenthesissx,1
7
Top-Level Dispute Bond Cost: left parenthesis, 3.1 , 100 , right parenthesis3.1,100
