  (101 -> playerspec["Team 3" "127.0.0.1" 1747])
  (100 -> playerspec["Team 1" "127.0.0.1" 1745])
  (102 -> playerspec["Team 2" "127.0.0.1" 1746])

round[1
    
playertrans[
    101
    offer[503 secret (2 127 ) 0.999999] 
    offer[502 secret (4 127 ) 0.999999] 
    offer[501 secret (6 127 ) 0.999999] 
    offer[500 secret (8 127 ) 0.999999] 
]
 
playertrans[
    102
    offer[507 secret (10 127 ) 0.999999] 
    offer[506 secret (12 127 ) 0.999999] 
    offer[505 secret (14 127 ) 0.999999] 
    offer[504 secret (16 127 ) 0.999999] 
    reoffer[501 0.989899] 
]
 
playertrans[
    100
    offer[511 secret (18 127 ) 0.999999] 
    offer[510 secret (20 127 ) 0.999999] 
    offer[509 secret (22 127 ) 0.999999] 
    offer[508 secret (24 127 ) 0.999999] 
    reoffer[503 0.989899] 
]
 ]
round[2
    
playertrans[
    100
    offer[515 secret (26 127 ) 0.999999] 
    offer[514 secret (28 127 ) 0.999999] 
    offer[513 secret (30 127 ) 0.999999] 
    offer[512 secret (32 127 ) 0.999999] 
    reoffer[500 0.989899] 
]
 
playertrans[
    101
    offer[519 secret (34 127 ) 0.999999] 
    offer[518 secret (36 127 ) 0.999999] 
    offer[517 secret (38 127 ) 0.999999] 
    offer[516 secret (40 127 ) 0.999999] 
    reoffer[512 0.989899] 
]
 
playertrans[
    102
    offer[523 secret (42 127 ) 0.999999] 
    offer[522 secret (44 127 ) 0.999999] 
    offer[521 secret (46 127 ) 0.999999] 
    offer[520 secret (48 127 ) 0.999999] 
    reoffer[511 0.989899] 
]
 ]
round[3
    
playertrans[
    101
    offer[527 secret (50 127 ) 0.999999] 
    offer[526 secret (52 127 ) 0.999999] 
    offer[525 secret (54 127 ) 0.999999] 
    offer[524 secret (56 127 ) 0.999999] 
    reoffer[513 0.989899] 
]
 
playertrans[
    100
    offer[531 secret (58 127 ) 0.999999] 
    offer[530 secret (60 127 ) 0.999999] 
    offer[529 secret (62 127 ) 0.999999] 
    offer[528 secret (64 127 ) 0.999999] 
    reoffer[524 0.989899] 
]
 
playertrans[
    102
    offer[535 secret (66 127 ) 0.999999] 
    offer[534 secret (68 127 ) 0.999999] 
    offer[533 secret (70 127 ) 0.999999] 
    offer[532 secret (72 127 ) 0.999999] 
    reoffer[530 0.989899] 
]
 ]
round[4
    
playertrans[
    102
    offer[539 secret (74 127 ) 0.999999] 
    offer[538 secret (76 127 ) 0.999999] 
    offer[537 secret (78 127 ) 0.999999] 
    offer[536 secret (80 127 ) 0.999999] 
    reoffer[518 0.989899] 
]
 
playertrans[
    100
    offer[543 secret (82 127 ) 0.999999] 
    offer[542 secret (84 127 ) 0.999999] 
    offer[541 secret (86 127 ) 0.999999] 
    offer[540 secret (88 127 ) 0.999999] 
    reoffer[525 0.989899] 
]
 
playertrans[
    101
    offer[547 secret (90 127 ) 0.999999] 
    offer[546 secret (92 127 ) 0.999999] 
    offer[545 secret (94 127 ) 0.999999] 
    offer[544 secret (96 127 ) 0.999999] 
    reoffer[504 0.989899] 
]
 ]
round[5
    
playertrans[
    102
    offer[551 secret (98 127 ) 0.999999] 
    offer[550 secret (100 127 ) 0.999999] 
    offer[549 secret (102 127 ) 0.999999] 
    offer[548 secret (104 127 ) 0.999999] 
    reoffer[516 0.989899] 
]
 
playertrans[
    101
    offer[555 secret (106 127 ) 0.999999] 
    offer[554 secret (108 127 ) 0.999999] 
    offer[553 secret (110 127 ) 0.999999] 
    offer[552 secret (112 127 ) 0.999999] 
    reoffer[551 0.989899] 
]
 
playertrans[
    100
    offer[559 secret (114 127 ) 0.999999] 
    offer[558 secret (116 127 ) 0.999999] 
    offer[557 secret (118 127 ) 0.999999] 
    offer[556 secret (120 127 ) 0.999999] 
    reoffer[523 0.989899] 
]
 ]
round[6
    
playertrans[
    102
    offer[563 secret (122 127 ) 0.999999] 
    offer[562 secret (124 127 ) 0.999999] 
    offer[561 secret (126 127 ) 0.999999] 
    offer[560 secret (98 ) 1.0] 
    reoffer[527 0.989899] 
]
 
playertrans[
    100
    offer[567 secret (133 ) 1.0] 
    offer[566 secret (234 ) 1.0] 
    offer[565 secret (194 ) 1.0] 
    offer[564 secret (101 ) 1.0] 
    reoffer[502 0.989899] 
]
 
playertrans[
    101
    offer[571 secret (19 ) 1.0] 
    offer[570 secret (203 ) 1.0] 
    offer[569 secret (22 ) 1.0] 
    offer[568 secret (13 ) 1.0] 
    reoffer[535 0.989899] 
]
 ]
round[7
    
playertrans[
    101
    offer[575 secret (115 ) 1.0] 
    offer[574 secret (215 ) 1.0] 
    offer[573 secret (89 ) 1.0] 
    offer[572 secret (123 ) 1.0] 
    reoffer[557 0.989899] 
]
 
playertrans[
    100
    offer[579 secret (196 ) 1.0] 
    offer[578 secret (21 ) 1.0] 
    offer[577 secret (30 ) 1.0] 
    offer[576 secret (56 ) 1.0] 
    reoffer[557 0.979799] 
]
 
playertrans[
    102
    offer[583 secret (116 ) 1.0] 
    offer[582 secret (217 ) 1.0] 
    offer[581 secret (71 ) 1.0] 
    offer[580 secret (186 ) 1.0] 
    accept[557] 
]
 [acceptor paid 0.979799 for challenge 557. acceptor: 102 offerer: 100 ]
 ]
round[8
    
playertrans[
    100
    offer[587 secret (118 127 ) 0.999999] 
    offer[586 secret (112 ) 1.0] 
    offer[585 secret (50 ) 1.0] 
    offer[584 secret (28 ) 1.0] 
    reoffer[581 0.9899] 
    provide[v1 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v2 v20 v21 v22 v3 v4 v5 v6 v7 v8 v9  (118 {1} v22 v21 v20 ) (118 {1} v22 v21 v19 ) (118 {1} v22 v21 v18 ) (118 {1} v22 v21 v17 ) (118 {1} v22 v21 v16 ) (118 {1} v22 v21 v15 ) (118 {1} v22 v21 v14 ) (118 {1} v22 v21 v13 ) (118 {1} v22 v21 v12 ) (118 {1} v22 v21 v11 ) (118 {1} v22 v21 v10 ) (118 {1} v22 v21 v9 ) (118 {1} v22 v21 v8 ) (118 {1} v22 v21 v7 ) (118 {1} v22 v21 v6 ) (118 {1} v22 v21 v5 ) (118 {1} v22 v21 v4 ) (118 {1} v22 v21 v3 ) (118 {1} v22 v21 v2 ) (118 {1} v22 v21 v1 ) (118 {1} v22 v20 v19 ) (118 {1} v22 v20 v18 ) (118 {1} v22 v20 v17 ) (118 {1} v22 v20 v16 ) (118 {1} v22 v20 v15 ) (118 {1} v22 v20 v14 ) (118 {1} v22 v20 v13 ) (118 {1} v22 v20 v12 ) (118 {1} v22 v20 v11 ) (118 {1} v22 v20 v10 ) (118 {1} v22 v20 v9 ) (118 {1} v22 v20 v8 ) (118 {1} v22 v20 v7 ) (118 {1} v22 v20 v6 ) (118 {1} v22 v20 v5 ) (118 {1} v22 v20 v4 ) (118 {1} v22 v20 v3 ) (118 {1} v22 v20 v2 ) (118 {1} v22 v20 v1 ) (118 {1} v22 v19 v18 ) (118 {1} v22 v19 v17 ) (118 {1} v22 v19 v16 ) (118 {1} v22 v19 v15 ) (118 {1} v22 v19 v14 ) (118 {1} v22 v19 v13 ) (118 {1} v22 v19 v12 ) (118 {1} v22 v19 v11 ) (118 {1} v22 v19 v10 ) (118 {1} v22 v19 v9 ) (118 {1} v22 v19 v8 ) (118 {1} v22 v19 v7 ) (118 {1} v22 v19 v6 ) (118 {1} v22 v19 v5 ) (118 {1} v22 v19 v4 ) (118 {1} v22 v19 v3 ) (118 {1} v22 v19 v2 ) (118 {1} v22 v19 v1 ) (118 {1} v22 v18 v17 ) (118 {1} v22 v18 v16 ) (118 {1} v22 v18 v15 ) (118 {1} v22 v18 v14 ) (118 {1} v22 v18 v13 ) (118 {1} v22 v18 v12 ) (118 {1} v22 v18 v11 ) (118 {1} v22 v18 v10 ) (118 {1} v22 v18 v9 ) (118 {1} v22 v18 v8 ) (118 {1} v22 v18 v7 ) (118 {1} v22 v18 v6 ) (118 {1} v22 v18 v5 ) (118 {1} v22 v18 v4 ) (118 {1} v22 v18 v3 ) (118 {1} v22 v18 v2 ) (118 {1} v22 v18 v1 ) (118 {1} v22 v17 v16 ) (118 {1} v22 v17 v15 ) (118 {1} v22 v17 v14 ) (118 {1} v22 v17 v13 ) (118 {1} v22 v17 v12 ) (118 {1} v22 v17 v11 ) (118 {1} v22 v17 v10 ) (118 {1} v22 v17 v9 ) (118 {1} v22 v17 v8 ) (118 {1} v22 v17 v7 ) (118 {1} v22 v17 v6 ) (118 {1} v22 v17 v5 ) (118 {1} v22 v17 v4 ) (118 {1} v22 v17 v3 ) (118 {1} v22 v17 v2 ) (118 {1} v22 v17 v1 ) (118 {1} v22 v16 v15 ) (118 {1} v22 v16 v14 ) (118 {1} v22 v16 v13 ) (118 {1} v22 v16 v12 ) (118 {1} v22 v16 v11 ) (118 {1} v22 v16 v10 ) (118 {1} v22 v16 v9 ) (118 {1} v22 v16 v8 ) (118 {1} v22 v16 v7 ) (118 {1} v22 v16 v6 ) (118 {1} v22 v16 v5 ) (118 {1} v22 v16 v4 ) (118 {1} v22 v16 v3 ) (118 {1} v22 v16 v2 ) (118 {1} v22 v16 v1 ) (118 {1} v22 v15 v14 ) (118 {1} v22 v15 v13 ) (118 {1} v22 v15 v12 ) (118 {1} v22 v15 v11 ) (118 {1} v22 v15 v10 ) (118 {1} v22 v15 v9 ) (118 {1} v22 v15 v8 ) (118 {1} v22 v15 v7 ) (118 {1} v22 v15 v6 ) (118 {1} v22 v15 v5 ) (118 {1} v22 v15 v4 ) (118 {1} v22 v15 v3 ) (118 {1} v22 v15 v2 ) (118 {1} v22 v15 v1 ) (118 {1} v22 v14 v13 ) (118 {1} v22 v14 v12 ) (118 {1} v22 v14 v11 ) (118 {1} v22 v14 v10 ) (118 {1} v22 v14 v9 ) (118 {1} v22 v14 v8 ) (118 {1} v22 v14 v7 ) (118 {1} v22 v14 v6 ) (118 {1} v22 v14 v5 ) (118 {1} v22 v14 v4 ) (118 {1} v22 v14 v3 ) (118 {1} v22 v14 v2 ) (118 {1} v22 v14 v1 ) (118 {1} v22 v13 v12 ) (118 {1} v22 v13 v11 ) (118 {1} v22 v13 v10 ) (118 {1} v22 v13 v9 ) (118 {1} v22 v13 v8 ) (118 {1} v22 v13 v7 ) (118 {1} v22 v13 v6 ) (118 {1} v22 v13 v5 ) (118 {1} v22 v13 v4 ) (118 {1} v22 v13 v3 ) (118 {1} v22 v13 v2 ) (118 {1} v22 v13 v1 ) (118 {1} v22 v12 v11 ) (118 {1} v22 v12 v10 ) (118 {1} v22 v12 v9 ) (118 {1} v22 v12 v8 ) (118 {1} v22 v12 v7 ) (118 {1} v22 v12 v6 ) (118 {1} v22 v12 v5 ) (118 {1} v22 v12 v4 ) (118 {1} v22 v12 v3 ) (118 {1} v22 v12 v2 ) (118 {1} v22 v12 v1 ) (118 {1} v22 v11 v10 ) (118 {1} v22 v11 v9 ) (118 {1} v22 v11 v8 ) (118 {1} v22 v11 v7 ) (118 {1} v22 v11 v6 ) (118 {1} v22 v11 v5 ) (118 {1} v22 v11 v4 ) (118 {1} v22 v11 v3 ) (118 {1} v22 v11 v2 ) (118 {1} v22 v11 v1 ) (118 {1} v22 v10 v9 ) (118 {1} v22 v10 v8 ) (118 {1} v22 v10 v7 ) (118 {1} v22 v10 v6 ) (118 {1} v22 v10 v5 ) (118 {1} v22 v10 v4 ) (118 {1} v22 v10 v3 ) (118 {1} v22 v10 v2 ) (118 {1} v22 v10 v1 ) (118 {1} v22 v9 v8 ) (118 {1} v22 v9 v7 ) (118 {1} v22 v9 v6 ) (118 {1} v22 v9 v5 ) (118 {1} v22 v9 v4 ) (118 {1} v22 v9 v3 ) (118 {1} v22 v9 v2 ) (118 {1} v22 v9 v1 ) (118 {1} v22 v8 v7 ) (118 {1} v22 v8 v6 ) (118 {1} v22 v8 v5 ) (118 {1} v22 v8 v4 ) (118 {1} v22 v8 v3 ) (118 {1} v22 v8 v2 ) (118 {1} v22 v8 v1 ) (118 {1} v22 v7 v6 ) (118 {1} v22 v7 v5 ) (118 {1} v22 v7 v4 ) (118 {1} v22 v7 v3 ) (118 {1} v22 v7 v2 ) (118 {1} v22 v7 v1 ) (118 {1} v22 v6 v5 ) (118 {1} v22 v6 v4 ) (118 {1} v22 v6 v3 ) (118 {1} v22 v6 v2 ) (118 {1} v22 v6 v1 ) (118 {1} v22 v5 v4 ) (118 {1} v22 v5 v3 ) (118 {1} v22 v5 v2 ) (118 {1} v22 v5 v1 ) (118 {1} v22 v4 v3 ) (118 {1} v22 v4 v2 ) (118 {1} v22 v4 v1 ) (118 {1} v22 v3 v2 ) (118 {1} v22 v3 v1 ) (118 {1} v22 v2 v1 ) (118 {1} v21 v20 v19 ) (118 {1} v21 v20 v18 ) (118 {1} v21 v20 v17 ) (118 {1} v21 v20 v16 ) (118 {1} v21 v20 v15 ) (118 {1} v21 v20 v14 ) (118 {1} v21 v20 v13 ) (118 {1} v21 v20 v12 ) (118 {1} v21 v20 v11 ) (118 {1} v21 v20 v10 ) (118 {1} v21 v20 v9 ) (118 {1} v21 v20 v8 ) (118 {1} v21 v20 v7 ) (118 {1} v21 v20 v6 ) (118 {1} v21 v20 v5 ) (118 {1} v21 v20 v4 ) (118 {1} v21 v20 v3 ) (118 {1} v21 v20 v2 ) (118 {1} v21 v20 v1 ) (118 {1} v21 v19 v18 ) (118 {1} v21 v19 v17 ) (118 {1} v21 v19 v16 ) (118 {1} v21 v19 v15 ) (118 {1} v21 v19 v14 ) (118 {1} v21 v19 v13 ) (118 {1} v21 v19 v12 ) (118 {1} v21 v19 v11 ) (118 {1} v21 v19 v10 ) (118 {1} v21 v19 v9 ) (118 {1} v21 v19 v8 ) (118 {1} v21 v19 v7 ) (118 {1} v21 v19 v6 ) (118 {1} v21 v19 v5 ) (118 {1} v21 v19 v4 ) (118 {1} v21 v19 v3 ) (118 {1} v21 v19 v2 ) (118 {1} v21 v19 v1 ) (118 {1} v21 v18 v17 ) (118 {1} v21 v18 v16 ) (118 {1} v21 v18 v15 ) (118 {1} v21 v18 v14 ) (118 {1} v21 v18 v13 ) (118 {1} v21 v18 v12 ) (118 {1} v21 v18 v11 ) (118 {1} v21 v18 v10 ) (118 {1} v21 v18 v9 ) (118 {1} v21 v18 v8 ) (118 {1} v21 v18 v7 ) (118 {1} v21 v18 v6 ) (118 {1} v21 v18 v5 ) (118 {1} v21 v18 v4 ) (118 {1} v21 v18 v3 ) (118 {1} v21 v18 v2 ) (118 {1} v21 v18 v1 ) (118 {1} v21 v17 v16 ) (118 {1} v21 v17 v15 ) (118 {1} v21 v17 v14 ) (118 {1} v21 v17 v13 ) (118 {1} v21 v17 v12 ) (118 {1} v21 v17 v11 ) (118 {1} v21 v17 v10 ) (118 {1} v21 v17 v9 ) (118 {1} v21 v17 v8 ) (118 {1} v21 v17 v7 ) (118 {1} v21 v17 v6 ) (118 {1} v21 v17 v5 ) (118 {1} v21 v17 v4 ) (118 {1} v21 v17 v3 ) (118 {1} v21 v17 v2 ) (118 {1} v21 v17 v1 ) (118 {1} v21 v16 v15 ) (118 {1} v21 v16 v14 ) (118 {1} v21 v16 v13 ) (118 {1} v21 v16 v12 ) (118 {1} v21 v16 v11 ) (118 {1} v21 v16 v10 ) (118 {1} v21 v16 v9 ) (118 {1} v21 v16 v8 ) (118 {1} v21 v16 v7 ) (118 {1} v21 v16 v6 ) (118 {1} v21 v16 v5 ) (118 {1} v21 v16 v4 ) (118 {1} v21 v16 v3 ) (118 {1} v21 v16 v2 ) (118 {1} v21 v16 v1 ) (118 {1} v21 v15 v14 ) (118 {1} v21 v15 v13 ) (118 {1} v21 v15 v12 ) (118 {1} v21 v15 v11 ) (118 {1} v21 v15 v10 ) (118 {1} v21 v15 v9 ) (118 {1} v21 v15 v8 ) (118 {1} v21 v15 v7 ) (118 {1} v21 v15 v6 ) (118 {1} v21 v15 v5 ) (118 {1} v21 v15 v4 ) (118 {1} v21 v15 v3 ) (118 {1} v21 v15 v2 ) (118 {1} v21 v15 v1 ) (118 {1} v21 v14 v13 ) (118 {1} v21 v14 v12 ) (118 {1} v21 v14 v11 ) (118 {1} v21 v14 v10 ) (118 {1} v21 v14 v9 ) (118 {1} v21 v14 v8 ) (118 {1} v21 v14 v7 ) (118 {1} v21 v14 v6 ) (118 {1} v21 v14 v5 ) (118 {1} v21 v14 v4 ) (118 {1} v21 v14 v3 ) (118 {1} v21 v14 v2 ) (118 {1} v21 v14 v1 ) (118 {1} v21 v13 v12 ) (118 {1} v21 v13 v11 ) (118 {1} v21 v13 v10 ) (118 {1} v21 v13 v9 ) (118 {1} v21 v13 v8 ) (118 {1} v21 v13 v7 ) (118 {1} v21 v13 v6 ) (118 {1} v21 v13 v5 ) (118 {1} v21 v13 v4 ) (118 {1} v21 v13 v3 ) (118 {1} v21 v13 v2 ) (118 {1} v21 v13 v1 ) (118 {1} v21 v12 v11 ) (118 {1} v21 v12 v10 ) (118 {1} v21 v12 v9 ) (118 {1} v21 v12 v8 ) (118 {1} v21 v12 v7 ) (118 {1} v21 v12 v6 ) (118 {1} v21 v12 v5 ) (118 {1} v21 v12 v4 ) (118 {1} v21 v12 v3 ) (118 {1} v21 v12 v2 ) (118 {1} v21 v12 v1 ) (118 {1} v21 v11 v10 ) (118 {1} v21 v11 v9 ) (118 {1} v21 v11 v8 ) (118 {1} v21 v11 v7 ) (118 {1} v21 v11 v6 ) (118 {1} v21 v11 v5 ) (118 {1} v21 v11 v4 ) (118 {1} v21 v11 v3 ) (118 {1} v21 v11 v2 ) (118 {1} v21 v11 v1 ) (118 {1} v21 v10 v9 ) (118 {1} v21 v10 v8 ) (118 {1} v21 v10 v7 ) (118 {1} v21 v10 v6 ) (118 {1} v21 v10 v5 ) (118 {1} v21 v10 v4 ) (118 {1} v21 v10 v3 ) (118 {1} v21 v10 v2 ) (118 {1} v21 v10 v1 ) (118 {1} v21 v9 v8 ) (118 {1} v21 v9 v7 ) (118 {1} v21 v9 v6 ) (118 {1} v21 v9 v5 ) (118 {1} v21 v9 v4 ) (118 {1} v21 v9 v3 ) (118 {1} v21 v9 v2 ) (118 {1} v21 v9 v1 ) (118 {1} v21 v8 v7 ) (118 {1} v21 v8 v6 ) (118 {1} v21 v8 v5 ) (118 {1} v21 v8 v4 ) (118 {1} v21 v8 v3 ) (118 {1} v21 v8 v2 ) (118 {1} v21 v8 v1 ) (118 {1} v21 v7 v6 ) (118 {1} v21 v7 v5 ) (118 {1} v21 v7 v4 ) (118 {1} v21 v7 v3 ) (118 {1} v21 v7 v2 ) (118 {1} v21 v7 v1 ) (118 {1} v21 v6 v5 ) (118 {1} v21 v6 v4 ) (118 {1} v21 v6 v3 ) (118 {1} v21 v6 v2 ) (118 {1} v21 v6 v1 ) (118 {1} v21 v5 v4 ) (118 {1} v21 v5 v3 ) (118 {1} v21 v5 v2 ) (118 {1} v21 v5 v1 ) (118 {1} v21 v4 v3 ) (118 {1} v21 v4 v2 ) (118 {1} v21 v4 v1 ) (118 {1} v21 v3 v2 ) (118 {1} v21 v3 v1 ) (118 {1} v21 v2 v1 ) (118 {1} v20 v19 v18 ) (118 {1} v20 v19 v17 ) (118 {1} v20 v19 v16 ) (118 {1} v20 v19 v15 ) (118 {1} v20 v19 v14 ) (118 {1} v20 v19 v13 ) (118 {1} v20 v19 v12 ) (118 {1} v20 v19 v11 ) (118 {1} v20 v19 v10 ) (118 {1} v20 v19 v9 ) (118 {1} v20 v19 v8 ) (118 {1} v20 v19 v7 ) (118 {1} v20 v19 v6 ) (118 {1} v20 v19 v5 ) (118 {1} v20 v19 v4 ) (118 {1} v20 v19 v3 ) (118 {1} v20 v19 v2 ) (118 {1} v20 v19 v1 ) (118 {1} v20 v18 v17 ) (118 {1} v20 v18 v16 ) (118 {1} v20 v18 v15 ) (118 {1} v20 v18 v14 ) (118 {1} v20 v18 v13 ) (118 {1} v20 v18 v12 ) (118 {1} v20 v18 v11 ) (118 {1} v20 v18 v10 ) (118 {1} v20 v18 v9 ) (118 {1} v20 v18 v8 ) (118 {1} v20 v18 v7 ) (118 {1} v20 v18 v6 ) (118 {1} v20 v18 v5 ) (118 {1} v20 v18 v4 ) (118 {1} v20 v18 v3 ) (118 {1} v20 v18 v2 ) (118 {1} v20 v18 v1 ) (118 {1} v20 v17 v16 ) (118 {1} v20 v17 v15 ) (118 {1} v20 v17 v14 ) (118 {1} v20 v17 v13 ) (118 {1} v20 v17 v12 ) (118 {1} v20 v17 v11 ) (118 {1} v20 v17 v10 ) (118 {1} v20 v17 v9 ) (118 {1} v20 v17 v8 ) (118 {1} v20 v17 v7 ) (118 {1} v20 v17 v6 ) (118 {1} v20 v17 v5 ) (118 {1} v20 v17 v4 ) (118 {1} v20 v17 v3 ) (118 {1} v20 v17 v2 ) (118 {1} v20 v17 v1 ) (118 {1} v20 v16 v15 ) (118 {1} v20 v16 v14 ) (118 {1} v20 v16 v13 ) (118 {1} v20 v16 v12 ) (118 {1} v20 v16 v11 ) (118 {1} v20 v16 v10 ) (118 {1} v20 v16 v9 ) (118 {1} v20 v16 v8 ) (118 {1} v20 v16 v7 ) (118 {1} v20 v16 v6 ) (118 {1} v20 v16 v5 ) (118 {1} v20 v16 v4 ) (118 {1} v20 v16 v3 ) (118 {1} v20 v16 v2 ) (118 {1} v20 v16 v1 ) (118 {1} v20 v15 v14 ) (118 {1} v20 v15 v13 ) (118 {1} v20 v15 v12 ) (118 {1} v20 v15 v11 ) (118 {1} v20 v15 v10 ) (118 {1} v20 v15 v9 ) (118 {1} v20 v15 v8 ) (118 {1} v20 v15 v7 ) (118 {1} v20 v15 v6 ) (118 {1} v20 v15 v5 ) (118 {1} v20 v15 v4 ) (118 {1} v20 v15 v3 ) (118 {1} v20 v15 v2 ) (118 {1} v20 v15 v1 ) (118 {1} v20 v14 v13 ) (118 {1} v20 v14 v12 ) (118 {1} v20 v14 v11 ) (118 {1} v20 v14 v10 ) (118 {1} v20 v14 v9 ) (118 {1} v20 v14 v8 ) (118 {1} v20 v14 v7 ) (118 {1} v20 v14 v6 ) (118 {1} v20 v14 v5 ) (118 {1} v20 v14 v4 ) (118 {1} v20 v14 v3 ) (118 {1} v20 v14 v2 ) (118 {1} v20 v14 v1 ) (118 {1} v20 v13 v12 ) (118 {1} v20 v13 v11 ) (118 {1} v20 v13 v10 ) (118 {1} v20 v13 v9 ) (118 {1} v20 v13 v8 ) (118 {1} v20 v13 v7 ) (118 {1} v20 v13 v6 ) (118 {1} v20 v13 v5 ) (118 {1} v20 v13 v4 ) (118 {1} v20 v13 v3 ) (118 {1} v20 v13 v2 ) (118 {1} v20 v13 v1 ) (118 {1} v20 v12 v11 ) (118 {1} v20 v12 v10 ) (118 {1} v20 v12 v9 ) (118 {1} v20 v12 v8 ) (118 {1} v20 v12 v7 ) (118 {1} v20 v12 v6 ) (118 {1} v20 v12 v5 ) (118 {1} v20 v12 v4 ) (118 {1} v20 v12 v3 ) (118 {1} v20 v12 v2 ) (118 {1} v20 v12 v1 ) (118 {1} v20 v11 v10 ) (118 {1} v20 v11 v9 ) (118 {1} v20 v11 v8 ) (118 {1} v20 v11 v7 ) (118 {1} v20 v11 v6 ) (118 {1} v20 v11 v5 ) (118 {1} v20 v11 v4 ) (118 {1} v20 v11 v3 ) (118 {1} v20 v11 v2 ) (118 {1} v20 v11 v1 ) (118 {1} v20 v10 v9 ) (118 {1} v20 v10 v8 ) (118 {1} v20 v10 v7 ) (118 {1} v20 v10 v6 ) (118 {1} v20 v10 v5 ) (118 {1} v20 v10 v4 ) (118 {1} v20 v10 v3 ) (118 {1} v20 v10 v2 ) (118 {1} v20 v10 v1 ) (118 {1} v20 v9 v8 ) (118 {1} v20 v9 v7 ) (118 {1} v20 v9 v6 ) (118 {1} v20 v9 v5 ) (118 {1} v20 v9 v4 ) (118 {1} v20 v9 v3 ) (118 {1} v20 v9 v2 ) (118 {1} v20 v9 v1 ) (118 {1} v20 v8 v7 ) (118 {1} v20 v8 v6 ) (118 {1} v20 v8 v5 ) (118 {1} v20 v8 v4 ) (118 {1} v20 v8 v3 ) (118 {1} v20 v8 v2 ) (118 {1} v20 v8 v1 ) (118 {1} v20 v7 v6 ) (118 {1} v20 v7 v5 ) (118 {1} v20 v7 v4 ) (118 {1} v20 v7 v3 ) (118 {1} v20 v7 v2 ) (118 {1} v20 v7 v1 ) (118 {1} v20 v6 v5 ) (118 {1} v20 v6 v4 ) (118 {1} v20 v6 v3 ) (118 {1} v20 v6 v2 ) (118 {1} v20 v6 v1 ) (118 {1} v20 v5 v4 ) (118 {1} v20 v5 v3 ) (118 {1} v20 v5 v2 ) (118 {1} v20 v5 v1 ) (118 {1} v20 v4 v3 ) (118 {1} v20 v4 v2 ) (118 {1} v20 v4 v1 ) (118 {1} v20 v3 v2 ) (118 {1} v20 v3 v1 ) (118 {1} v20 v2 v1 ) (118 {1} v19 v18 v17 ) (118 {1} v19 v18 v16 ) (118 {1} v19 v18 v15 ) (118 {1} v19 v18 v14 ) (118 {1} v19 v18 v13 ) (118 {1} v19 v18 v12 ) (118 {1} v19 v18 v11 ) (118 {1} v19 v18 v10 ) (118 {1} v19 v18 v9 ) (118 {1} v19 v18 v8 ) (118 {1} v19 v18 v7 ) (118 {1} v19 v18 v6 ) (118 {1} v19 v18 v5 ) (118 {1} v19 v18 v4 ) (118 {1} v19 v18 v3 ) (118 {1} v19 v18 v2 ) (118 {1} v19 v18 v1 ) (118 {1} v19 v17 v16 ) (118 {1} v19 v17 v15 ) (118 {1} v19 v17 v14 ) (118 {1} v19 v17 v13 ) (118 {1} v19 v17 v12 ) (118 {1} v19 v17 v11 ) (118 {1} v19 v17 v10 ) (118 {1} v19 v17 v9 ) (118 {1} v19 v17 v8 ) (118 {1} v19 v17 v7 ) (118 {1} v19 v17 v6 ) (118 {1} v19 v17 v5 ) (118 {1} v19 v17 v4 ) (118 {1} v19 v17 v3 ) (118 {1} v19 v17 v2 ) (118 {1} v19 v17 v1 ) (118 {1} v19 v16 v15 ) (118 {1} v19 v16 v14 ) (118 {1} v19 v16 v13 ) (118 {1} v19 v16 v12 ) (118 {1} v19 v16 v11 ) (118 {1} v19 v16 v10 ) (118 {1} v19 v16 v9 ) (118 {1} v19 v16 v8 ) (118 {1} v19 v16 v7 ) (118 {1} v19 v16 v6 ) (118 {1} v19 v16 v5 ) (118 {1} v19 v16 v4 ) (118 {1} v19 v16 v3 ) (118 {1} v19 v16 v2 ) (118 {1} v19 v16 v1 ) (118 {1} v19 v15 v14 ) (118 {1} v19 v15 v13 ) (118 {1} v19 v15 v12 ) (118 {1} v19 v15 v11 ) (118 {1} v19 v15 v10 ) (118 {1} v19 v15 v9 ) (118 {1} v19 v15 v8 ) (118 {1} v19 v15 v7 ) (118 {1} v19 v15 v6 ) (118 {1} v19 v15 v5 ) (118 {1} v19 v15 v4 ) (118 {1} v19 v15 v3 ) (118 {1} v19 v15 v2 ) (118 {1} v19 v15 v1 ) (118 {1} v19 v14 v13 ) (118 {1} v19 v14 v12 ) (118 {1} v19 v14 v11 ) (118 {1} v19 v14 v10 ) (118 {1} v19 v14 v9 ) (118 {1} v19 v14 v8 ) (118 {1} v19 v14 v7 ) (118 {1} v19 v14 v6 ) (118 {1} v19 v14 v5 ) (118 {1} v19 v14 v4 ) (118 {1} v19 v14 v3 ) (118 {1} v19 v14 v2 ) (118 {1} v19 v14 v1 ) (118 {1} v19 v13 v12 ) (118 {1} v19 v13 v11 ) (118 {1} v19 v13 v10 ) (118 {1} v19 v13 v9 ) (118 {1} v19 v13 v8 ) (118 {1} v19 v13 v7 ) (118 {1} v19 v13 v6 ) (118 {1} v19 v13 v5 ) (118 {1} v19 v13 v4 ) (118 {1} v19 v13 v3 ) (118 {1} v19 v13 v2 ) (118 {1} v19 v13 v1 ) (118 {1} v19 v12 v11 ) (118 {1} v19 v12 v10 ) (118 {1} v19 v12 v9 ) (118 {1} v19 v12 v8 ) (118 {1} v19 v12 v7 ) (118 {1} v19 v12 v6 ) (118 {1} v19 v12 v5 ) (118 {1} v19 v12 v4 ) (118 {1} v19 v12 v3 ) (118 {1} v19 v12 v2 ) (118 {1} v19 v12 v1 ) (118 {1} v19 v11 v10 ) (118 {1} v19 v11 v9 ) (118 {1} v19 v11 v8 ) (118 {1} v19 v11 v7 ) (118 {1} v19 v11 v6 ) (118 {1} v19 v11 v5 ) (118 {1} v19 v11 v4 ) (118 {1} v19 v11 v3 ) (118 {1} v19 v11 v2 ) (118 {1} v19 v11 v1 ) (118 {1} v19 v10 v9 ) (118 {1} v19 v10 v8 ) (118 {1} v19 v10 v7 ) (118 {1} v19 v10 v6 ) (118 {1} v19 v10 v5 ) (118 {1} v19 v10 v4 ) (118 {1} v19 v10 v3 ) (118 {1} v19 v10 v2 ) (118 {1} v19 v10 v1 ) (118 {1} v19 v9 v8 ) (118 {1} v19 v9 v7 ) (118 {1} v19 v9 v6 ) (118 {1} v19 v9 v5 ) (118 {1} v19 v9 v4 ) (118 {1} v19 v9 v3 ) (118 {1} v19 v9 v2 ) (118 {1} v19 v9 v1 ) (118 {1} v19 v8 v7 ) (118 {1} v19 v8 v6 ) (118 {1} v19 v8 v5 ) (118 {1} v19 v8 v4 ) (118 {1} v19 v8 v3 ) (118 {1} v19 v8 v2 ) (118 {1} v19 v8 v1 ) (118 {1} v19 v7 v6 ) (118 {1} v19 v7 v5 ) (118 {1} v19 v7 v4 ) (118 {1} v19 v7 v3 ) (118 {1} v19 v7 v2 ) (118 {1} v19 v7 v1 ) (118 {1} v19 v6 v5 ) (118 {1} v19 v6 v4 ) (118 {1} v19 v6 v3 ) (118 {1} v19 v6 v2 ) (118 {1} v19 v6 v1 ) (118 {1} v19 v5 v4 ) (118 {1} v19 v5 v3 ) (118 {1} v19 v5 v2 ) (118 {1} v19 v5 v1 ) (118 {1} v19 v4 v3 ) (118 {1} v19 v4 v2 ) (118 {1} v19 v4 v1 ) (118 {1} v19 v3 v2 ) (118 {1} v19 v3 v1 ) (118 {1} v19 v2 v1 ) (118 {1} v18 v17 v16 ) (118 {1} v18 v17 v15 ) (118 {1} v18 v17 v14 ) (118 {1} v18 v17 v13 ) (118 {1} v18 v17 v12 ) (118 {1} v18 v17 v11 ) (118 {1} v18 v17 v10 ) (118 {1} v18 v17 v9 ) (118 {1} v18 v17 v8 ) (118 {1} v18 v17 v7 ) (118 {1} v18 v17 v6 ) (118 {1} v18 v17 v5 ) (118 {1} v18 v17 v4 ) (118 {1} v18 v17 v3 ) (118 {1} v18 v17 v2 ) (118 {1} v18 v17 v1 ) (118 {1} v18 v16 v15 ) (118 {1} v18 v16 v14 ) (118 {1} v18 v16 v13 ) (118 {1} v18 v16 v12 ) (118 {1} v18 v16 v11 ) (118 {1} v18 v16 v10 ) (118 {1} v18 v16 v9 ) (118 {1} v18 v16 v8 ) (118 {1} v18 v16 v7 ) (118 {1} v18 v16 v6 ) (118 {1} v18 v16 v5 ) (118 {1} v18 v16 v4 ) (118 {1} v18 v16 v3 ) (118 {1} v18 v16 v2 ) (118 {1} v18 v16 v1 ) (118 {1} v18 v15 v14 ) (118 {1} v18 v15 v13 ) (118 {1} v18 v15 v12 ) (118 {1} v18 v15 v11 ) (118 {1} v18 v15 v10 ) (118 {1} v18 v15 v9 ) (118 {1} v18 v15 v8 ) (118 {1} v18 v15 v7 ) (118 {1} v18 v15 v6 ) (118 {1} v18 v15 v5 ) (118 {1} v18 v15 v4 ) (118 {1} v18 v15 v3 ) (118 {1} v18 v15 v2 ) (118 {1} v18 v15 v1 ) (118 {1} v18 v14 v13 ) (118 {1} v18 v14 v12 ) (118 {1} v18 v14 v11 ) (118 {1} v18 v14 v10 ) (118 {1} v18 v14 v9 ) (118 {1} v18 v14 v8 ) (118 {1} v18 v14 v7 ) (118 {1} v18 v14 v6 ) (118 {1} v18 v14 v5 ) (118 {1} v18 v14 v4 ) (118 {1} v18 v14 v3 ) (118 {1} v18 v14 v2 ) (118 {1} v18 v14 v1 ) (118 {1} v18 v13 v12 ) (118 {1} v18 v13 v11 ) (118 {1} v18 v13 v10 ) (118 {1} v18 v13 v9 ) (118 {1} v18 v13 v8 ) (118 {1} v18 v13 v7 ) (118 {1} v18 v13 v6 ) (118 {1} v18 v13 v5 ) (118 {1} v18 v13 v4 ) (118 {1} v18 v13 v3 ) (118 {1} v18 v13 v2 ) (118 {1} v18 v13 v1 ) (118 {1} v18 v12 v11 ) (118 {1} v18 v12 v10 ) (118 {1} v18 v12 v9 ) (118 {1} v18 v12 v8 ) (118 {1} v18 v12 v7 ) (118 {1} v18 v12 v6 ) (118 {1} v18 v12 v5 ) (118 {1} v18 v12 v4 ) (118 {1} v18 v12 v3 ) (118 {1} v18 v12 v2 ) (118 {1} v18 v12 v1 ) (118 {1} v18 v11 v10 ) (118 {1} v18 v11 v9 ) (118 {1} v18 v11 v8 ) (118 {1} v18 v11 v7 ) (118 {1} v18 v11 v6 ) (118 {1} v18 v11 v5 ) (118 {1} v18 v11 v4 ) (118 {1} v18 v11 v3 ) (118 {1} v18 v11 v2 ) (118 {1} v18 v11 v1 ) (118 {1} v18 v10 v9 ) (118 {1} v18 v10 v8 ) (118 {1} v18 v10 v7 ) (118 {1} v18 v10 v6 ) (118 {1} v18 v10 v5 ) (118 {1} v18 v10 v4 ) (118 {1} v18 v10 v3 ) (118 {1} v18 v10 v2 ) (118 {1} v18 v10 v1 ) (118 {1} v18 v9 v8 ) (118 {1} v18 v9 v7 ) (118 {1} v18 v9 v6 ) (118 {1} v18 v9 v5 ) (118 {1} v18 v9 v4 ) (118 {1} v18 v9 v3 ) (118 {1} v18 v9 v2 ) (118 {1} v18 v9 v1 ) (118 {1} v18 v8 v7 ) (118 {1} v18 v8 v6 ) (118 {1} v18 v8 v5 ) (118 {1} v18 v8 v4 ) (118 {1} v18 v8 v3 ) (118 {1} v18 v8 v2 ) (118 {1} v18 v8 v1 ) (118 {1} v18 v7 v6 ) (118 {1} v18 v7 v5 ) (118 {1} v18 v7 v4 ) (118 {1} v18 v7 v3 ) (118 {1} v18 v7 v2 ) (118 {1} v18 v7 v1 ) (118 {1} v18 v6 v5 ) (118 {1} v18 v6 v4 ) (118 {1} v18 v6 v3 ) (118 {1} v18 v6 v2 ) (118 {1} v18 v6 v1 ) (118 {1} v18 v5 v4 ) (118 {1} v18 v5 v3 ) (118 {1} v18 v5 v2 ) (118 {1} v18 v5 v1 ) (118 {1} v18 v4 v3 ) (118 {1} v18 v4 v2 ) (118 {1} v18 v4 v1 ) (118 {1} v18 v3 v2 ) (118 {1} v18 v3 v1 ) (118 {1} v18 v2 v1 ) (118 {1} v17 v16 v15 ) (118 {1} v17 v16 v14 ) (118 {1} v17 v16 v13 ) (118 {1} v17 v16 v12 ) (118 {1} v17 v16 v11 ) (118 {1} v17 v16 v10 ) (118 {1} v17 v16 v9 ) (118 {1} v17 v16 v8 ) (118 {1} v17 v16 v7 ) (118 {1} v17 v16 v6 ) (118 {1} v17 v16 v5 ) (118 {1} v17 v16 v4 ) (118 {1} v17 v16 v3 ) (118 {1} v17 v16 v2 ) (118 {1} v17 v16 v1 ) (118 {1} v17 v15 v14 ) (118 {1} v17 v15 v13 ) (118 {1} v17 v15 v12 ) (118 {1} v17 v15 v11 ) (118 {1} v17 v15 v10 ) (118 {1} v17 v15 v9 ) (118 {1} v17 v15 v8 ) (118 {1} v17 v15 v7 ) (118 {1} v17 v15 v6 ) (118 {1} v17 v15 v5 ) (118 {1} v17 v15 v4 ) (118 {1} v17 v15 v3 ) (118 {1} v17 v15 v2 ) (118 {1} v17 v15 v1 ) (118 {1} v17 v14 v13 ) (118 {1} v17 v14 v12 ) (118 {1} v17 v14 v11 ) (118 {1} v17 v14 v10 ) (118 {1} v17 v14 v9 ) (118 {1} v17 v14 v8 ) (118 {1} v17 v14 v7 ) (118 {1} v17 v14 v6 ) (118 {1} v17 v14 v5 ) (118 {1} v17 v14 v4 ) (118 {1} v17 v14 v3 ) (118 {1} v17 v14 v2 ) (118 {1} v17 v14 v1 ) (118 {1} v17 v13 v12 ) (118 {1} v17 v13 v11 ) (118 {1} v17 v13 v10 ) (118 {1} v17 v13 v9 ) (118 {1} v17 v13 v8 ) (118 {1} v17 v13 v7 ) (118 {1} v17 v13 v6 ) (118 {1} v17 v13 v5 ) (118 {1} v17 v13 v4 ) (118 {1} v17 v13 v3 ) (118 {1} v17 v13 v2 ) (118 {1} v17 v13 v1 ) (118 {1} v17 v12 v11 ) (118 {1} v17 v12 v10 ) (118 {1} v17 v12 v9 ) (118 {1} v17 v12 v8 ) (118 {1} v17 v12 v7 ) (118 {1} v17 v12 v6 ) (118 {1} v17 v12 v5 ) (118 {1} v17 v12 v4 ) (118 {1} v17 v12 v3 ) (118 {1} v17 v12 v2 ) (118 {1} v17 v12 v1 ) (118 {1} v17 v11 v10 ) (118 {1} v17 v11 v9 ) (118 {1} v17 v11 v8 ) (118 {1} v17 v11 v7 ) (118 {1} v17 v11 v6 ) (118 {1} v17 v11 v5 ) (118 {1} v17 v11 v4 ) (118 {1} v17 v11 v3 ) (118 {1} v17 v11 v2 ) (118 {1} v17 v11 v1 ) (118 {1} v17 v10 v9 ) (118 {1} v17 v10 v8 ) (118 {1} v17 v10 v7 ) (118 {1} v17 v10 v6 ) (118 {1} v17 v10 v5 ) (118 {1} v17 v10 v4 ) (118 {1} v17 v10 v3 ) (118 {1} v17 v10 v2 ) (118 {1} v17 v10 v1 ) (118 {1} v17 v9 v8 ) (118 {1} v17 v9 v7 ) (118 {1} v17 v9 v6 ) (118 {1} v17 v9 v5 ) (118 {1} v17 v9 v4 ) (118 {1} v17 v9 v3 ) (118 {1} v17 v9 v2 ) (118 {1} v17 v9 v1 ) (118 {1} v17 v8 v7 ) (118 {1} v17 v8 v6 ) (118 {1} v17 v8 v5 ) (118 {1} v17 v8 v4 ) (118 {1} v17 v8 v3 ) (118 {1} v17 v8 v2 ) (118 {1} v17 v8 v1 ) (118 {1} v17 v7 v6 ) (118 {1} v17 v7 v5 ) (118 {1} v17 v7 v4 ) (118 {1} v17 v7 v3 ) (118 {1} v17 v7 v2 ) (118 {1} v17 v7 v1 ) (118 {1} v17 v6 v5 ) (118 {1} v17 v6 v4 ) (118 {1} v17 v6 v3 ) (118 {1} v17 v6 v2 ) (118 {1} v17 v6 v1 ) (118 {1} v17 v5 v4 ) (118 {1} v17 v5 v3 ) (118 {1} v17 v5 v2 ) (118 {1} v17 v5 v1 ) (118 {1} v17 v4 v3 ) (118 {1} v17 v4 v2 ) (118 {1} v17 v4 v1 ) (118 {1} v17 v3 v2 ) (118 {1} v17 v3 v1 ) (118 {1} v17 v2 v1 ) (118 {1} v16 v15 v14 ) (118 {1} v16 v15 v13 ) (118 {1} v16 v15 v12 ) (118 {1} v16 v15 v11 ) (118 {1} v16 v15 v10 ) (118 {1} v16 v15 v9 ) (118 {1} v16 v15 v8 ) (118 {1} v16 v15 v7 ) (118 {1} v16 v15 v6 ) (118 {1} v16 v15 v5 ) (118 {1} v16 v15 v4 ) (118 {1} v16 v15 v3 ) (118 {1} v16 v15 v2 ) (118 {1} v16 v15 v1 ) (118 {1} v16 v14 v13 ) (118 {1} v16 v14 v12 ) (118 {1} v16 v14 v11 ) (118 {1} v16 v14 v10 ) (118 {1} v16 v14 v9 ) (118 {1} v16 v14 v8 ) (118 {1} v16 v14 v7 ) (118 {1} v16 v14 v6 ) (118 {1} v16 v14 v5 ) (118 {1} v16 v14 v4 ) (118 {1} v16 v14 v3 ) (118 {1} v16 v14 v2 ) (118 {1} v16 v14 v1 ) (118 {1} v16 v13 v12 ) (118 {1} v16 v13 v11 ) (118 {1} v16 v13 v10 ) (118 {1} v16 v13 v9 ) (118 {1} v16 v13 v8 ) (118 {1} v16 v13 v7 ) (118 {1} v16 v13 v6 ) (118 {1} v16 v13 v5 ) (118 {1} v16 v13 v4 ) (118 {1} v16 v13 v3 ) (118 {1} v16 v13 v2 ) (118 {1} v16 v13 v1 ) (118 {1} v16 v12 v11 ) (118 {1} v16 v12 v10 ) (118 {1} v16 v12 v9 ) (118 {1} v16 v12 v8 ) (118 {1} v16 v12 v7 ) (118 {1} v16 v12 v6 ) (118 {1} v16 v12 v5 ) (118 {1} v16 v12 v4 ) (118 {1} v16 v12 v3 ) (118 {1} v16 v12 v2 ) (118 {1} v16 v12 v1 ) (118 {1} v16 v11 v10 ) (118 {1} v16 v11 v9 ) (118 {1} v16 v11 v8 ) (118 {1} v16 v11 v7 ) (118 {1} v16 v11 v6 ) (118 {1} v16 v11 v5 ) (118 {1} v16 v11 v4 ) (118 {1} v16 v11 v3 ) (118 {1} v16 v11 v2 ) (118 {1} v16 v11 v1 ) (118 {1} v16 v10 v9 ) (118 {1} v16 v10 v8 ) (118 {1} v16 v10 v7 ) (118 {1} v16 v10 v6 ) (118 {1} v16 v10 v5 ) (118 {1} v16 v10 v4 ) (118 {1} v16 v10 v3 ) (118 {1} v16 v10 v2 ) (118 {1} v16 v10 v1 ) (118 {1} v16 v9 v8 ) (118 {1} v16 v9 v7 ) (118 {1} v16 v9 v6 ) (118 {1} v16 v9 v5 ) (118 {1} v16 v9 v4 ) (118 {1} v16 v9 v3 ) (118 {1} v16 v9 v2 ) (118 {1} v16 v9 v1 ) (118 {1} v16 v8 v7 ) (118 {1} v16 v8 v6 ) (118 {1} v16 v8 v5 ) (118 {1} v16 v8 v4 ) (118 {1} v16 v8 v3 ) (118 {1} v16 v8 v2 ) (118 {1} v16 v8 v1 ) (118 {1} v16 v7 v6 ) (118 {1} v16 v7 v5 ) (118 {1} v16 v7 v4 ) (118 {1} v16 v7 v3 ) (118 {1} v16 v7 v2 ) (118 {1} v16 v7 v1 ) (118 {1} v16 v6 v5 ) (118 {1} v16 v6 v4 ) (118 {1} v16 v6 v3 ) (118 {1} v16 v6 v2 ) (118 {1} v16 v6 v1 ) (118 {1} v16 v5 v4 ) (118 {1} v16 v5 v3 ) (118 {1} v16 v5 v2 ) (118 {1} v16 v5 v1 ) (118 {1} v16 v4 v3 ) (118 {1} v16 v4 v2 ) (118 {1} v16 v4 v1 ) (118 {1} v16 v3 v2 ) (118 {1} v16 v3 v1 ) (118 {1} v16 v2 v1 ) (118 {1} v15 v14 v13 ) (118 {1} v15 v14 v12 ) (118 {1} v15 v14 v11 ) (118 {1} v15 v14 v10 ) (118 {1} v15 v14 v9 ) (118 {1} v15 v14 v8 ) (118 {1} v15 v14 v7 ) (118 {1} v15 v14 v6 ) (118 {1} v15 v14 v5 ) (118 {1} v15 v14 v4 ) (118 {1} v15 v14 v3 ) (118 {1} v15 v14 v2 ) (118 {1} v15 v14 v1 ) (118 {1} v15 v13 v12 ) (118 {1} v15 v13 v11 ) (118 {1} v15 v13 v10 ) (118 {1} v15 v13 v9 ) (118 {1} v15 v13 v8 ) (118 {1} v15 v13 v7 ) (118 {1} v15 v13 v6 ) (118 {1} v15 v13 v5 ) (118 {1} v15 v13 v4 ) (118 {1} v15 v13 v3 ) (118 {1} v15 v13 v2 ) (118 {1} v15 v13 v1 ) (118 {1} v15 v12 v11 ) (118 {1} v15 v12 v10 ) (118 {1} v15 v12 v9 ) (118 {1} v15 v12 v8 ) (118 {1} v15 v12 v7 ) (118 {1} v15 v12 v6 ) (118 {1} v15 v12 v5 ) (118 {1} v15 v12 v4 ) (118 {1} v15 v12 v3 ) (118 {1} v15 v12 v2 ) (118 {1} v15 v12 v1 ) (118 {1} v15 v11 v10 ) (118 {1} v15 v11 v9 ) (118 {1} v15 v11 v8 ) (118 {1} v15 v11 v7 ) (118 {1} v15 v11 v6 ) (118 {1} v15 v11 v5 ) (118 {1} v15 v11 v4 ) (118 {1} v15 v11 v3 ) (118 {1} v15 v11 v2 ) (118 {1} v15 v11 v1 ) (118 {1} v15 v10 v9 ) (118 {1} v15 v10 v8 ) (118 {1} v15 v10 v7 ) (118 {1} v15 v10 v6 ) (118 {1} v15 v10 v5 ) (118 {1} v15 v10 v4 ) (118 {1} v15 v10 v3 ) (118 {1} v15 v10 v2 ) (118 {1} v15 v10 v1 ) (118 {1} v15 v9 v8 ) (118 {1} v15 v9 v7 ) (118 {1} v15 v9 v6 ) (118 {1} v15 v9 v5 ) (118 {1} v15 v9 v4 ) (118 {1} v15 v9 v3 ) (118 {1} v15 v9 v2 ) (118 {1} v15 v9 v1 ) (118 {1} v15 v8 v7 ) (118 {1} v15 v8 v6 ) (118 {1} v15 v8 v5 ) (118 {1} v15 v8 v4 ) (118 {1} v15 v8 v3 ) (118 {1} v15 v8 v2 ) (118 {1} v15 v8 v1 ) (118 {1} v15 v7 v6 ) (118 {1} v15 v7 v5 ) (118 {1} v15 v7 v4 ) (118 {1} v15 v7 v3 ) (118 {1} v15 v7 v2 ) (118 {1} v15 v7 v1 ) (118 {1} v15 v6 v5 ) (118 {1} v15 v6 v4 ) (118 {1} v15 v6 v3 ) (118 {1} v15 v6 v2 ) (118 {1} v15 v6 v1 ) (118 {1} v15 v5 v4 ) (118 {1} v15 v5 v3 ) (118 {1} v15 v5 v2 ) (118 {1} v15 v5 v1 ) (118 {1} v15 v4 v3 ) (118 {1} v15 v4 v2 ) (118 {1} v15 v4 v1 ) (118 {1} v15 v3 v2 ) (118 {1} v15 v3 v1 ) (118 {1} v15 v2 v1 ) (118 {1} v14 v13 v12 ) (118 {1} v14 v13 v11 ) (118 {1} v14 v13 v10 ) (118 {1} v14 v13 v9 ) (118 {1} v14 v13 v8 ) (118 {1} v14 v13 v7 ) (118 {1} v14 v13 v6 ) (118 {1} v14 v13 v5 ) (118 {1} v14 v13 v4 ) (118 {1} v14 v13 v3 ) (118 {1} v14 v13 v2 ) (118 {1} v14 v13 v1 ) (118 {1} v14 v12 v11 ) (118 {1} v14 v12 v10 ) (118 {1} v14 v12 v9 ) (118 {1} v14 v12 v8 ) (118 {1} v14 v12 v7 ) (118 {1} v14 v12 v6 ) (118 {1} v14 v12 v5 ) (118 {1} v14 v12 v4 ) (118 {1} v14 v12 v3 ) (118 {1} v14 v12 v2 ) (118 {1} v14 v12 v1 ) (118 {1} v14 v11 v10 ) (118 {1} v14 v11 v9 ) (118 {1} v14 v11 v8 ) (118 {1} v14 v11 v7 ) (118 {1} v14 v11 v6 ) (118 {1} v14 v11 v5 ) (118 {1} v14 v11 v4 ) (118 {1} v14 v11 v3 ) (118 {1} v14 v11 v2 ) (118 {1} v14 v11 v1 ) (118 {1} v14 v10 v9 ) (118 {1} v14 v10 v8 ) (118 {1} v14 v10 v7 ) (118 {1} v14 v10 v6 ) (118 {1} v14 v10 v5 ) (118 {1} v14 v10 v4 ) (118 {1} v14 v10 v3 ) (118 {1} v14 v10 v2 ) (118 {1} v14 v10 v1 ) (118 {1} v14 v9 v8 ) (118 {1} v14 v9 v7 ) (118 {1} v14 v9 v6 ) (118 {1} v14 v9 v5 ) (118 {1} v14 v9 v4 ) (118 {1} v14 v9 v3 ) (118 {1} v14 v9 v2 ) (118 {1} v14 v9 v1 ) (118 {1} v14 v8 v7 ) (118 {1} v14 v8 v6 ) (118 {1} v14 v8 v5 ) (118 {1} v14 v8 v4 ) (118 {1} v14 v8 v3 ) (118 {1} v14 v8 v2 ) (118 {1} v14 v8 v1 ) (118 {1} v14 v7 v6 ) (118 {1} v14 v7 v5 ) (118 {1} v14 v7 v4 ) (118 {1} v14 v7 v3 ) (118 {1} v14 v7 v2 ) (118 {1} v14 v7 v1 ) (118 {1} v14 v6 v5 ) (118 {1} v14 v6 v4 ) (118 {1} v14 v6 v3 ) (118 {1} v14 v6 v2 ) (118 {1} v14 v6 v1 ) (118 {1} v14 v5 v4 ) (118 {1} v14 v5 v3 ) (118 {1} v14 v5 v2 ) (118 {1} v14 v5 v1 ) (118 {1} v14 v4 v3 ) (118 {1} v14 v4 v2 ) (118 {1} v14 v4 v1 ) (118 {1} v14 v3 v2 ) (118 {1} v14 v3 v1 ) (118 {1} v14 v2 v1 ) (118 {1} v13 v12 v11 ) (118 {1} v13 v12 v10 ) (118 {1} v13 v12 v9 ) (118 {1} v13 v12 v8 ) (118 {1} v13 v12 v7 ) (118 {1} v13 v12 v6 ) (118 {1} v13 v12 v5 ) (118 {1} v13 v12 v4 ) (118 {1} v13 v12 v3 ) (118 {1} v13 v12 v2 ) (118 {1} v13 v12 v1 ) (118 {1} v13 v11 v10 ) (118 {1} v13 v11 v9 ) (118 {1} v13 v11 v8 ) (118 {1} v13 v11 v7 ) (118 {1} v13 v11 v6 ) (118 {1} v13 v11 v5 ) (118 {1} v13 v11 v4 ) (118 {1} v13 v11 v3 ) (118 {1} v13 v11 v2 ) (118 {1} v13 v11 v1 ) (118 {1} v13 v10 v9 ) (118 {1} v13 v10 v8 ) (118 {1} v13 v10 v7 ) (118 {1} v13 v10 v6 ) (118 {1} v13 v10 v5 ) (118 {1} v13 v10 v4 ) (118 {1} v13 v10 v3 ) (118 {1} v13 v10 v2 ) (118 {1} v13 v10 v1 ) (118 {1} v13 v9 v8 ) (118 {1} v13 v9 v7 ) (118 {1} v13 v9 v6 ) (118 {1} v13 v9 v5 ) (118 {1} v13 v9 v4 ) (118 {1} v13 v9 v3 ) (118 {1} v13 v9 v2 ) (118 {1} v13 v9 v1 ) (118 {1} v13 v8 v7 ) (118 {1} v13 v8 v6 ) (118 {1} v13 v8 v5 ) (118 {1} v13 v8 v4 ) (118 {1} v13 v8 v3 ) (118 {1} v13 v8 v2 ) (118 {1} v13 v8 v1 ) (118 {1} v13 v7 v6 ) (118 {1} v13 v7 v5 ) (118 {1} v13 v7 v4 ) (118 {1} v13 v7 v3 ) (118 {1} v13 v7 v2 ) (118 {1} v13 v7 v1 ) (118 {1} v13 v6 v5 ) (118 {1} v13 v6 v4 ) (118 {1} v13 v6 v3 ) (118 {1} v13 v6 v2 ) (118 {1} v13 v6 v1 ) (118 {1} v13 v5 v4 ) (118 {1} v13 v5 v3 ) (118 {1} v13 v5 v2 ) (118 {1} v13 v5 v1 ) (118 {1} v13 v4 v3 ) (118 {1} v13 v4 v2 ) (118 {1} v13 v4 v1 ) (118 {1} v13 v3 v2 ) (118 {1} v13 v3 v1 ) (118 {1} v13 v2 v1 ) (118 {1} v12 v11 v10 ) (118 {1} v12 v11 v9 ) (118 {1} v12 v11 v8 ) (118 {1} v12 v11 v7 ) (118 {1} v12 v11 v6 ) (118 {1} v12 v11 v5 ) (118 {1} v12 v11 v4 ) (118 {1} v12 v11 v3 ) (118 {1} v12 v11 v2 ) (118 {1} v12 v11 v1 ) (118 {1} v12 v10 v9 ) (118 {1} v12 v10 v8 ) (118 {1} v12 v10 v7 ) (118 {1} v12 v10 v6 ) (118 {1} v12 v10 v5 ) (118 {1} v12 v10 v4 ) (118 {1} v12 v10 v3 ) (118 {1} v12 v10 v2 ) (118 {1} v12 v10 v1 ) (118 {1} v12 v9 v8 ) (118 {1} v12 v9 v7 ) (118 {1} v12 v9 v6 ) (118 {1} v12 v9 v5 ) (118 {1} v12 v9 v4 ) (118 {1} v12 v9 v3 ) (118 {1} v12 v9 v2 ) (118 {1} v12 v9 v1 ) (118 {1} v12 v8 v7 ) (118 {1} v12 v8 v6 ) (118 {1} v12 v8 v5 ) (118 {1} v12 v8 v4 ) (118 {1} v12 v8 v3 ) (118 {1} v12 v8 v2 ) (118 {1} v12 v8 v1 ) (118 {1} v12 v7 v6 ) (118 {1} v12 v7 v5 ) (118 {1} v12 v7 v4 ) (118 {1} v12 v7 v3 ) (118 {1} v12 v7 v2 ) (118 {1} v12 v7 v1 ) (118 {1} v12 v6 v5 ) (118 {1} v12 v6 v4 ) (118 {1} v12 v6 v3 ) (118 {1} v12 v6 v2 ) (118 {1} v12 v6 v1 ) (118 {1} v12 v5 v4 ) (118 {1} v12 v5 v3 ) (118 {1} v12 v5 v2 ) (118 {1} v12 v5 v1 ) (118 {1} v12 v4 v3 ) (118 {1} v12 v4 v2 ) (118 {1} v12 v4 v1 ) (118 {1} v12 v3 v2 ) (118 {1} v12 v3 v1 ) (118 {1} v12 v2 v1 ) (118 {1} v11 v10 v9 ) (118 {1} v11 v10 v8 ) (118 {1} v11 v10 v7 ) (118 {1} v11 v10 v6 ) (118 {1} v11 v10 v5 ) (118 {1} v11 v10 v4 ) (118 {1} v11 v10 v3 ) (118 {1} v11 v10 v2 ) (118 {1} v11 v10 v1 ) (118 {1} v11 v9 v8 ) (118 {1} v11 v9 v7 ) (118 {1} v11 v9 v6 ) (118 {1} v11 v9 v5 ) (118 {1} v11 v9 v4 ) (118 {1} v11 v9 v3 ) (118 {1} v11 v9 v2 ) (118 {1} v11 v9 v1 ) (118 {1} v11 v8 v7 ) (118 {1} v11 v8 v6 ) (118 {1} v11 v8 v5 ) (118 {1} v11 v8 v4 ) (118 {1} v11 v8 v3 ) (118 {1} v11 v8 v2 ) (118 {1} v11 v8 v1 ) (118 {1} v11 v7 v6 ) (118 {1} v11 v7 v5 ) (118 {1} v11 v7 v4 ) (118 {1} v11 v7 v3 ) (118 {1} v11 v7 v2 ) (118 {1} v11 v7 v1 ) (118 {1} v11 v6 v5 ) (118 {1} v11 v6 v4 ) (118 {1} v11 v6 v3 ) (118 {1} v11 v6 v2 ) (118 {1} v11 v6 v1 ) (118 {1} v11 v5 v4 ) (118 {1} v11 v5 v3 ) (118 {1} v11 v5 v2 ) (118 {1} v11 v5 v1 ) (118 {1} v11 v4 v3 ) (118 {1} v11 v4 v2 ) (118 {1} v11 v4 v1 ) (118 {1} v11 v3 v2 ) (118 {1} v11 v3 v1 ) (118 {1} v11 v2 v1 ) (118 {1} v10 v9 v8 ) (118 {1} v10 v9 v7 ) (118 {1} v10 v9 v6 ) (118 {1} v10 v9 v5 ) (118 {1} v10 v9 v4 ) (118 {1} v10 v9 v3 ) (118 {1} v10 v9 v2 ) (118 {1} v10 v9 v1 ) (118 {1} v10 v8 v7 ) (118 {1} v10 v8 v6 ) (118 {1} v10 v8 v5 ) (118 {1} v10 v8 v4 ) (118 {1} v10 v8 v3 ) (118 {1} v10 v8 v2 ) (118 {1} v10 v8 v1 ) (118 {1} v10 v7 v6 ) (118 {1} v10 v7 v5 ) (118 {1} v10 v7 v4 ) (118 {1} v10 v7 v3 ) (118 {1} v10 v7 v2 ) (118 {1} v10 v7 v1 ) (118 {1} v10 v6 v5 ) (118 {1} v10 v6 v4 ) (118 {1} v10 v6 v3 ) (118 {1} v10 v6 v2 ) (118 {1} v10 v6 v1 ) (118 {1} v10 v5 v4 ) (118 {1} v10 v5 v3 ) (118 {1} v10 v5 v2 ) (118 {1} v10 v5 v1 ) (118 {1} v10 v4 v3 ) (118 {1} v10 v4 v2 ) (118 {1} v10 v4 v1 ) (118 {1} v10 v3 v2 ) (118 {1} v10 v3 v1 ) (118 {1} v10 v2 v1 ) (118 {1} v9 v8 v7 ) (118 {1} v9 v8 v6 ) (118 {1} v9 v8 v5 ) (118 {1} v9 v8 v4 ) (118 {1} v9 v8 v3 ) (118 {1} v9 v8 v2 ) (118 {1} v9 v8 v1 ) (118 {1} v9 v7 v6 ) (118 {1} v9 v7 v5 ) (118 {1} v9 v7 v4 ) (118 {1} v9 v7 v3 ) (118 {1} v9 v7 v2 ) (118 {1} v9 v7 v1 ) (118 {1} v9 v6 v5 ) (118 {1} v9 v6 v4 ) (118 {1} v9 v6 v3 ) (118 {1} v9 v6 v2 ) (118 {1} v9 v6 v1 ) (118 {1} v9 v5 v4 ) (118 {1} v9 v5 v3 ) (118 {1} v9 v5 v2 ) (118 {1} v9 v5 v1 ) (118 {1} v9 v4 v3 ) (118 {1} v9 v4 v2 ) (118 {1} v9 v4 v1 ) (118 {1} v9 v3 v2 ) (118 {1} v9 v3 v1 ) (118 {1} v9 v2 v1 ) (118 {1} v8 v7 v6 ) (118 {1} v8 v7 v5 ) (118 {1} v8 v7 v4 ) (118 {1} v8 v7 v3 ) (118 {1} v8 v7 v2 ) (118 {1} v8 v7 v1 ) (118 {1} v8 v6 v5 ) (118 {1} v8 v6 v4 ) (118 {1} v8 v6 v3 ) (118 {1} v8 v6 v2 ) (118 {1} v8 v6 v1 ) (118 {1} v8 v5 v4 ) (118 {1} v8 v5 v3 ) (118 {1} v8 v5 v2 ) (118 {1} v8 v5 v1 ) (118 {1} v8 v4 v3 ) (118 {1} v8 v4 v2 ) (118 {1} v8 v4 v1 ) (118 {1} v8 v3 v2 ) (118 {1} v8 v3 v1 ) (118 {1} v8 v2 v1 ) (118 {1} v7 v6 v5 ) (118 {1} v7 v6 v4 ) (118 {1} v7 v6 v3 ) (118 {1} v7 v6 v2 ) (118 {1} v7 v6 v1 ) (118 {1} v7 v5 v4 ) (118 {1} v7 v5 v3 ) (118 {1} v7 v5 v2 ) (118 {1} v7 v5 v1 ) (118 {1} v7 v4 v3 ) (118 {1} v7 v4 v2 ) (118 {1} v7 v4 v1 ) (118 {1} v7 v3 v2 ) (118 {1} v7 v3 v1 ) (118 {1} v7 v2 v1 ) (118 {1} v6 v5 v4 ) (118 {1} v6 v5 v3 ) (118 {1} v6 v5 v2 ) (118 {1} v6 v5 v1 ) (118 {1} v6 v4 v3 ) (118 {1} v6 v4 v2 ) (118 {1} v6 v4 v1 ) (118 {1} v6 v3 v2 ) (118 {1} v6 v3 v1 ) (118 {1} v6 v2 v1 ) (118 {1} v5 v4 v3 ) (118 {1} v5 v4 v2 ) (118 {1} v5 v4 v1 ) (118 {1} v5 v3 v2 ) (118 {1} v5 v3 v1 ) (118 {1} v5 v2 v1 ) (118 {1} v4 v3 v2 ) (118 {1} v4 v3 v1 ) (118 {1} v4 v2 v1 ) (118 {1} v3 v2 v1 )  [  ] 557] 
]
 
playertrans[
    101
    offer[591 secret (93 ) 1.0] 
    offer[590 secret (70 ) 1.0] 
    offer[589 secret (86 ) 1.0] 
    offer[588 secret (139 ) 1.0] 
    reoffer[543 0.989899] 
]
 
playertrans[
    102
    offer[595 secret (62 ) 1.0] 
    offer[594 secret (65 ) 1.0] 
    offer[593 secret (68 ) 1.0] 
    offer[592 secret (223 ) 1.0] 
    reoffer[566 0.9899] 
    solve[[ (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v22 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> true)  ] 557] 
]
 
[secret revealed 557 : (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v22 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.372006792207792 for solving 0.6961038961038961 of challenge 557. acceptor: 102 offerer: 100 ]
 ]
round[9
    
playertrans[
    101
    offer[599 secret (158 ) 1.0] 
    offer[598 secret (82 ) 1.0] 
    offer[597 secret (73 ) 1.0] 
    offer[596 secret (205 ) 1.0] 
    reoffer[511 0.979799] 
]
 
playertrans[
    100
    offer[603 secret (3 ) 1.0] 
    offer[602 secret (83 ) 1.0] 
    offer[601 secret (130 ) 1.0] 
    offer[600 secret (193 ) 1.0] 
    accept[511] 
]
 [acceptor paid 0.979799 for challenge 511. acceptor: 100 offerer: 101 ]
 
playertrans[
    102
    offer[607 secret (18 127 ) 0.999999] 
    offer[606 secret (58 ) 1.0] 
    offer[605 secret (175 ) 1.0] 
    offer[604 secret (88 ) 1.0] 
    reoffer[598 0.9899] 
]
 ]
round[10
    
playertrans[
    100
    offer[611 secret (55 ) 1.0] 
    offer[610 secret (84 ) 1.0] 
    offer[609 secret (87 ) 1.0] 
    offer[608 secret (214 ) 1.0] 
    reoffer[604 0.9899] 
]
 
playertrans[
    102
    offer[615 secret (191 ) 1.0] 
    offer[614 secret (137 ) 1.0] 
    offer[613 secret (192 ) 1.0] 
    offer[612 secret (176 ) 1.0] 
    reoffer[603 0.9899] 
]
 
playertrans[
    101
    offer[619 secret (147 ) 1.0] 
    offer[618 secret (199 ) 1.0] 
    offer[617 secret (46 ) 1.0] 
    offer[616 secret (142 ) 1.0] 
    reoffer[562 0.989899] 
    provide[v1 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v2 v20 v21 v22 v3 v4 v5 v6 v7 v8 v9  (18 {1} v22 v21 v20 ) (18 {1} v22 v21 v19 ) (18 {1} v22 v21 v18 ) (18 {1} v22 v21 v17 ) (18 {1} v22 v21 v16 ) (18 {1} v22 v21 v15 ) (18 {1} v22 v21 v14 ) (18 {1} v22 v21 v13 ) (18 {1} v22 v21 v12 ) (18 {1} v22 v21 v11 ) (18 {1} v22 v21 v10 ) (18 {1} v22 v21 v9 ) (18 {1} v22 v21 v8 ) (18 {1} v22 v21 v7 ) (18 {1} v22 v21 v6 ) (18 {1} v22 v21 v5 ) (18 {1} v22 v21 v4 ) (18 {1} v22 v21 v3 ) (18 {1} v22 v21 v2 ) (18 {1} v22 v21 v1 ) (18 {1} v22 v20 v19 ) (18 {1} v22 v20 v18 ) (18 {1} v22 v20 v17 ) (18 {1} v22 v20 v16 ) (18 {1} v22 v20 v15 ) (18 {1} v22 v20 v14 ) (18 {1} v22 v20 v13 ) (18 {1} v22 v20 v12 ) (18 {1} v22 v20 v11 ) (18 {1} v22 v20 v10 ) (18 {1} v22 v20 v9 ) (18 {1} v22 v20 v8 ) (18 {1} v22 v20 v7 ) (18 {1} v22 v20 v6 ) (18 {1} v22 v20 v5 ) (18 {1} v22 v20 v4 ) (18 {1} v22 v20 v3 ) (18 {1} v22 v20 v2 ) (18 {1} v22 v20 v1 ) (18 {1} v22 v19 v18 ) (18 {1} v22 v19 v17 ) (18 {1} v22 v19 v16 ) (18 {1} v22 v19 v15 ) (18 {1} v22 v19 v14 ) (18 {1} v22 v19 v13 ) (18 {1} v22 v19 v12 ) (18 {1} v22 v19 v11 ) (18 {1} v22 v19 v10 ) (18 {1} v22 v19 v9 ) (18 {1} v22 v19 v8 ) (18 {1} v22 v19 v7 ) (18 {1} v22 v19 v6 ) (18 {1} v22 v19 v5 ) (18 {1} v22 v19 v4 ) (18 {1} v22 v19 v3 ) (18 {1} v22 v19 v2 ) (18 {1} v22 v19 v1 ) (18 {1} v22 v18 v17 ) (18 {1} v22 v18 v16 ) (18 {1} v22 v18 v15 ) (18 {1} v22 v18 v14 ) (18 {1} v22 v18 v13 ) (18 {1} v22 v18 v12 ) (18 {1} v22 v18 v11 ) (18 {1} v22 v18 v10 ) (18 {1} v22 v18 v9 ) (18 {1} v22 v18 v8 ) (18 {1} v22 v18 v7 ) (18 {1} v22 v18 v6 ) (18 {1} v22 v18 v5 ) (18 {1} v22 v18 v4 ) (18 {1} v22 v18 v3 ) (18 {1} v22 v18 v2 ) (18 {1} v22 v18 v1 ) (18 {1} v22 v17 v16 ) (18 {1} v22 v17 v15 ) (18 {1} v22 v17 v14 ) (18 {1} v22 v17 v13 ) (18 {1} v22 v17 v12 ) (18 {1} v22 v17 v11 ) (18 {1} v22 v17 v10 ) (18 {1} v22 v17 v9 ) (18 {1} v22 v17 v8 ) (18 {1} v22 v17 v7 ) (18 {1} v22 v17 v6 ) (18 {1} v22 v17 v5 ) (18 {1} v22 v17 v4 ) (18 {1} v22 v17 v3 ) (18 {1} v22 v17 v2 ) (18 {1} v22 v17 v1 ) (18 {1} v22 v16 v15 ) (18 {1} v22 v16 v14 ) (18 {1} v22 v16 v13 ) (18 {1} v22 v16 v12 ) (18 {1} v22 v16 v11 ) (18 {1} v22 v16 v10 ) (18 {1} v22 v16 v9 ) (18 {1} v22 v16 v8 ) (18 {1} v22 v16 v7 ) (18 {1} v22 v16 v6 ) (18 {1} v22 v16 v5 ) (18 {1} v22 v16 v4 ) (18 {1} v22 v16 v3 ) (18 {1} v22 v16 v2 ) (18 {1} v22 v16 v1 ) (18 {1} v22 v15 v14 ) (18 {1} v22 v15 v13 ) (18 {1} v22 v15 v12 ) (18 {1} v22 v15 v11 ) (18 {1} v22 v15 v10 ) (18 {1} v22 v15 v9 ) (18 {1} v22 v15 v8 ) (18 {1} v22 v15 v7 ) (18 {1} v22 v15 v6 ) (18 {1} v22 v15 v5 ) (18 {1} v22 v15 v4 ) (18 {1} v22 v15 v3 ) (18 {1} v22 v15 v2 ) (18 {1} v22 v15 v1 ) (18 {1} v22 v14 v13 ) (18 {1} v22 v14 v12 ) (18 {1} v22 v14 v11 ) (18 {1} v22 v14 v10 ) (18 {1} v22 v14 v9 ) (18 {1} v22 v14 v8 ) (18 {1} v22 v14 v7 ) (18 {1} v22 v14 v6 ) (18 {1} v22 v14 v5 ) (18 {1} v22 v14 v4 ) (18 {1} v22 v14 v3 ) (18 {1} v22 v14 v2 ) (18 {1} v22 v14 v1 ) (18 {1} v22 v13 v12 ) (18 {1} v22 v13 v11 ) (18 {1} v22 v13 v10 ) (18 {1} v22 v13 v9 ) (18 {1} v22 v13 v8 ) (18 {1} v22 v13 v7 ) (18 {1} v22 v13 v6 ) (18 {1} v22 v13 v5 ) (18 {1} v22 v13 v4 ) (18 {1} v22 v13 v3 ) (18 {1} v22 v13 v2 ) (18 {1} v22 v13 v1 ) (18 {1} v22 v12 v11 ) (18 {1} v22 v12 v10 ) (18 {1} v22 v12 v9 ) (18 {1} v22 v12 v8 ) (18 {1} v22 v12 v7 ) (18 {1} v22 v12 v6 ) (18 {1} v22 v12 v5 ) (18 {1} v22 v12 v4 ) (18 {1} v22 v12 v3 ) (18 {1} v22 v12 v2 ) (18 {1} v22 v12 v1 ) (18 {1} v22 v11 v10 ) (18 {1} v22 v11 v9 ) (18 {1} v22 v11 v8 ) (18 {1} v22 v11 v7 ) (18 {1} v22 v11 v6 ) (18 {1} v22 v11 v5 ) (18 {1} v22 v11 v4 ) (18 {1} v22 v11 v3 ) (18 {1} v22 v11 v2 ) (18 {1} v22 v11 v1 ) (18 {1} v22 v10 v9 ) (18 {1} v22 v10 v8 ) (18 {1} v22 v10 v7 ) (18 {1} v22 v10 v6 ) (18 {1} v22 v10 v5 ) (18 {1} v22 v10 v4 ) (18 {1} v22 v10 v3 ) (18 {1} v22 v10 v2 ) (18 {1} v22 v10 v1 ) (18 {1} v22 v9 v8 ) (18 {1} v22 v9 v7 ) (18 {1} v22 v9 v6 ) (18 {1} v22 v9 v5 ) (18 {1} v22 v9 v4 ) (18 {1} v22 v9 v3 ) (18 {1} v22 v9 v2 ) (18 {1} v22 v9 v1 ) (18 {1} v22 v8 v7 ) (18 {1} v22 v8 v6 ) (18 {1} v22 v8 v5 ) (18 {1} v22 v8 v4 ) (18 {1} v22 v8 v3 ) (18 {1} v22 v8 v2 ) (18 {1} v22 v8 v1 ) (18 {1} v22 v7 v6 ) (18 {1} v22 v7 v5 ) (18 {1} v22 v7 v4 ) (18 {1} v22 v7 v3 ) (18 {1} v22 v7 v2 ) (18 {1} v22 v7 v1 ) (18 {1} v22 v6 v5 ) (18 {1} v22 v6 v4 ) (18 {1} v22 v6 v3 ) (18 {1} v22 v6 v2 ) (18 {1} v22 v6 v1 ) (18 {1} v22 v5 v4 ) (18 {1} v22 v5 v3 ) (18 {1} v22 v5 v2 ) (18 {1} v22 v5 v1 ) (18 {1} v22 v4 v3 ) (18 {1} v22 v4 v2 ) (18 {1} v22 v4 v1 ) (18 {1} v22 v3 v2 ) (18 {1} v22 v3 v1 ) (18 {1} v22 v2 v1 ) (18 {1} v21 v20 v19 ) (18 {1} v21 v20 v18 ) (18 {1} v21 v20 v17 ) (18 {1} v21 v20 v16 ) (18 {1} v21 v20 v15 ) (18 {1} v21 v20 v14 ) (18 {1} v21 v20 v13 ) (18 {1} v21 v20 v12 ) (18 {1} v21 v20 v11 ) (18 {1} v21 v20 v10 ) (18 {1} v21 v20 v9 ) (18 {1} v21 v20 v8 ) (18 {1} v21 v20 v7 ) (18 {1} v21 v20 v6 ) (18 {1} v21 v20 v5 ) (18 {1} v21 v20 v4 ) (18 {1} v21 v20 v3 ) (18 {1} v21 v20 v2 ) (18 {1} v21 v20 v1 ) (18 {1} v21 v19 v18 ) (18 {1} v21 v19 v17 ) (18 {1} v21 v19 v16 ) (18 {1} v21 v19 v15 ) (18 {1} v21 v19 v14 ) (18 {1} v21 v19 v13 ) (18 {1} v21 v19 v12 ) (18 {1} v21 v19 v11 ) (18 {1} v21 v19 v10 ) (18 {1} v21 v19 v9 ) (18 {1} v21 v19 v8 ) (18 {1} v21 v19 v7 ) (18 {1} v21 v19 v6 ) (18 {1} v21 v19 v5 ) (18 {1} v21 v19 v4 ) (18 {1} v21 v19 v3 ) (18 {1} v21 v19 v2 ) (18 {1} v21 v19 v1 ) (18 {1} v21 v18 v17 ) (18 {1} v21 v18 v16 ) (18 {1} v21 v18 v15 ) (18 {1} v21 v18 v14 ) (18 {1} v21 v18 v13 ) (18 {1} v21 v18 v12 ) (18 {1} v21 v18 v11 ) (18 {1} v21 v18 v10 ) (18 {1} v21 v18 v9 ) (18 {1} v21 v18 v8 ) (18 {1} v21 v18 v7 ) (18 {1} v21 v18 v6 ) (18 {1} v21 v18 v5 ) (18 {1} v21 v18 v4 ) (18 {1} v21 v18 v3 ) (18 {1} v21 v18 v2 ) (18 {1} v21 v18 v1 ) (18 {1} v21 v17 v16 ) (18 {1} v21 v17 v15 ) (18 {1} v21 v17 v14 ) (18 {1} v21 v17 v13 ) (18 {1} v21 v17 v12 ) (18 {1} v21 v17 v11 ) (18 {1} v21 v17 v10 ) (18 {1} v21 v17 v9 ) (18 {1} v21 v17 v8 ) (18 {1} v21 v17 v7 ) (18 {1} v21 v17 v6 ) (18 {1} v21 v17 v5 ) (18 {1} v21 v17 v4 ) (18 {1} v21 v17 v3 ) (18 {1} v21 v17 v2 ) (18 {1} v21 v17 v1 ) (18 {1} v21 v16 v15 ) (18 {1} v21 v16 v14 ) (18 {1} v21 v16 v13 ) (18 {1} v21 v16 v12 ) (18 {1} v21 v16 v11 ) (18 {1} v21 v16 v10 ) (18 {1} v21 v16 v9 ) (18 {1} v21 v16 v8 ) (18 {1} v21 v16 v7 ) (18 {1} v21 v16 v6 ) (18 {1} v21 v16 v5 ) (18 {1} v21 v16 v4 ) (18 {1} v21 v16 v3 ) (18 {1} v21 v16 v2 ) (18 {1} v21 v16 v1 ) (18 {1} v21 v15 v14 ) (18 {1} v21 v15 v13 ) (18 {1} v21 v15 v12 ) (18 {1} v21 v15 v11 ) (18 {1} v21 v15 v10 ) (18 {1} v21 v15 v9 ) (18 {1} v21 v15 v8 ) (18 {1} v21 v15 v7 ) (18 {1} v21 v15 v6 ) (18 {1} v21 v15 v5 ) (18 {1} v21 v15 v4 ) (18 {1} v21 v15 v3 ) (18 {1} v21 v15 v2 ) (18 {1} v21 v15 v1 ) (18 {1} v21 v14 v13 ) (18 {1} v21 v14 v12 ) (18 {1} v21 v14 v11 ) (18 {1} v21 v14 v10 ) (18 {1} v21 v14 v9 ) (18 {1} v21 v14 v8 ) (18 {1} v21 v14 v7 ) (18 {1} v21 v14 v6 ) (18 {1} v21 v14 v5 ) (18 {1} v21 v14 v4 ) (18 {1} v21 v14 v3 ) (18 {1} v21 v14 v2 ) (18 {1} v21 v14 v1 ) (18 {1} v21 v13 v12 ) (18 {1} v21 v13 v11 ) (18 {1} v21 v13 v10 ) (18 {1} v21 v13 v9 ) (18 {1} v21 v13 v8 ) (18 {1} v21 v13 v7 ) (18 {1} v21 v13 v6 ) (18 {1} v21 v13 v5 ) (18 {1} v21 v13 v4 ) (18 {1} v21 v13 v3 ) (18 {1} v21 v13 v2 ) (18 {1} v21 v13 v1 ) (18 {1} v21 v12 v11 ) (18 {1} v21 v12 v10 ) (18 {1} v21 v12 v9 ) (18 {1} v21 v12 v8 ) (18 {1} v21 v12 v7 ) (18 {1} v21 v12 v6 ) (18 {1} v21 v12 v5 ) (18 {1} v21 v12 v4 ) (18 {1} v21 v12 v3 ) (18 {1} v21 v12 v2 ) (18 {1} v21 v12 v1 ) (18 {1} v21 v11 v10 ) (18 {1} v21 v11 v9 ) (18 {1} v21 v11 v8 ) (18 {1} v21 v11 v7 ) (18 {1} v21 v11 v6 ) (18 {1} v21 v11 v5 ) (18 {1} v21 v11 v4 ) (18 {1} v21 v11 v3 ) (18 {1} v21 v11 v2 ) (18 {1} v21 v11 v1 ) (18 {1} v21 v10 v9 ) (18 {1} v21 v10 v8 ) (18 {1} v21 v10 v7 ) (18 {1} v21 v10 v6 ) (18 {1} v21 v10 v5 ) (18 {1} v21 v10 v4 ) (18 {1} v21 v10 v3 ) (18 {1} v21 v10 v2 ) (18 {1} v21 v10 v1 ) (18 {1} v21 v9 v8 ) (18 {1} v21 v9 v7 ) (18 {1} v21 v9 v6 ) (18 {1} v21 v9 v5 ) (18 {1} v21 v9 v4 ) (18 {1} v21 v9 v3 ) (18 {1} v21 v9 v2 ) (18 {1} v21 v9 v1 ) (18 {1} v21 v8 v7 ) (18 {1} v21 v8 v6 ) (18 {1} v21 v8 v5 ) (18 {1} v21 v8 v4 ) (18 {1} v21 v8 v3 ) (18 {1} v21 v8 v2 ) (18 {1} v21 v8 v1 ) (18 {1} v21 v7 v6 ) (18 {1} v21 v7 v5 ) (18 {1} v21 v7 v4 ) (18 {1} v21 v7 v3 ) (18 {1} v21 v7 v2 ) (18 {1} v21 v7 v1 ) (18 {1} v21 v6 v5 ) (18 {1} v21 v6 v4 ) (18 {1} v21 v6 v3 ) (18 {1} v21 v6 v2 ) (18 {1} v21 v6 v1 ) (18 {1} v21 v5 v4 ) (18 {1} v21 v5 v3 ) (18 {1} v21 v5 v2 ) (18 {1} v21 v5 v1 ) (18 {1} v21 v4 v3 ) (18 {1} v21 v4 v2 ) (18 {1} v21 v4 v1 ) (18 {1} v21 v3 v2 ) (18 {1} v21 v3 v1 ) (18 {1} v21 v2 v1 ) (18 {1} v20 v19 v18 ) (18 {1} v20 v19 v17 ) (18 {1} v20 v19 v16 ) (18 {1} v20 v19 v15 ) (18 {1} v20 v19 v14 ) (18 {1} v20 v19 v13 ) (18 {1} v20 v19 v12 ) (18 {1} v20 v19 v11 ) (18 {1} v20 v19 v10 ) (18 {1} v20 v19 v9 ) (18 {1} v20 v19 v8 ) (18 {1} v20 v19 v7 ) (18 {1} v20 v19 v6 ) (18 {1} v20 v19 v5 ) (18 {1} v20 v19 v4 ) (18 {1} v20 v19 v3 ) (18 {1} v20 v19 v2 ) (18 {1} v20 v19 v1 ) (18 {1} v20 v18 v17 ) (18 {1} v20 v18 v16 ) (18 {1} v20 v18 v15 ) (18 {1} v20 v18 v14 ) (18 {1} v20 v18 v13 ) (18 {1} v20 v18 v12 ) (18 {1} v20 v18 v11 ) (18 {1} v20 v18 v10 ) (18 {1} v20 v18 v9 ) (18 {1} v20 v18 v8 ) (18 {1} v20 v18 v7 ) (18 {1} v20 v18 v6 ) (18 {1} v20 v18 v5 ) (18 {1} v20 v18 v4 ) (18 {1} v20 v18 v3 ) (18 {1} v20 v18 v2 ) (18 {1} v20 v18 v1 ) (18 {1} v20 v17 v16 ) (18 {1} v20 v17 v15 ) (18 {1} v20 v17 v14 ) (18 {1} v20 v17 v13 ) (18 {1} v20 v17 v12 ) (18 {1} v20 v17 v11 ) (18 {1} v20 v17 v10 ) (18 {1} v20 v17 v9 ) (18 {1} v20 v17 v8 ) (18 {1} v20 v17 v7 ) (18 {1} v20 v17 v6 ) (18 {1} v20 v17 v5 ) (18 {1} v20 v17 v4 ) (18 {1} v20 v17 v3 ) (18 {1} v20 v17 v2 ) (18 {1} v20 v17 v1 ) (18 {1} v20 v16 v15 ) (18 {1} v20 v16 v14 ) (18 {1} v20 v16 v13 ) (18 {1} v20 v16 v12 ) (18 {1} v20 v16 v11 ) (18 {1} v20 v16 v10 ) (18 {1} v20 v16 v9 ) (18 {1} v20 v16 v8 ) (18 {1} v20 v16 v7 ) (18 {1} v20 v16 v6 ) (18 {1} v20 v16 v5 ) (18 {1} v20 v16 v4 ) (18 {1} v20 v16 v3 ) (18 {1} v20 v16 v2 ) (18 {1} v20 v16 v1 ) (18 {1} v20 v15 v14 ) (18 {1} v20 v15 v13 ) (18 {1} v20 v15 v12 ) (18 {1} v20 v15 v11 ) (18 {1} v20 v15 v10 ) (18 {1} v20 v15 v9 ) (18 {1} v20 v15 v8 ) (18 {1} v20 v15 v7 ) (18 {1} v20 v15 v6 ) (18 {1} v20 v15 v5 ) (18 {1} v20 v15 v4 ) (18 {1} v20 v15 v3 ) (18 {1} v20 v15 v2 ) (18 {1} v20 v15 v1 ) (18 {1} v20 v14 v13 ) (18 {1} v20 v14 v12 ) (18 {1} v20 v14 v11 ) (18 {1} v20 v14 v10 ) (18 {1} v20 v14 v9 ) (18 {1} v20 v14 v8 ) (18 {1} v20 v14 v7 ) (18 {1} v20 v14 v6 ) (18 {1} v20 v14 v5 ) (18 {1} v20 v14 v4 ) (18 {1} v20 v14 v3 ) (18 {1} v20 v14 v2 ) (18 {1} v20 v14 v1 ) (18 {1} v20 v13 v12 ) (18 {1} v20 v13 v11 ) (18 {1} v20 v13 v10 ) (18 {1} v20 v13 v9 ) (18 {1} v20 v13 v8 ) (18 {1} v20 v13 v7 ) (18 {1} v20 v13 v6 ) (18 {1} v20 v13 v5 ) (18 {1} v20 v13 v4 ) (18 {1} v20 v13 v3 ) (18 {1} v20 v13 v2 ) (18 {1} v20 v13 v1 ) (18 {1} v20 v12 v11 ) (18 {1} v20 v12 v10 ) (18 {1} v20 v12 v9 ) (18 {1} v20 v12 v8 ) (18 {1} v20 v12 v7 ) (18 {1} v20 v12 v6 ) (18 {1} v20 v12 v5 ) (18 {1} v20 v12 v4 ) (18 {1} v20 v12 v3 ) (18 {1} v20 v12 v2 ) (18 {1} v20 v12 v1 ) (18 {1} v20 v11 v10 ) (18 {1} v20 v11 v9 ) (18 {1} v20 v11 v8 ) (18 {1} v20 v11 v7 ) (18 {1} v20 v11 v6 ) (18 {1} v20 v11 v5 ) (18 {1} v20 v11 v4 ) (18 {1} v20 v11 v3 ) (18 {1} v20 v11 v2 ) (18 {1} v20 v11 v1 ) (18 {1} v20 v10 v9 ) (18 {1} v20 v10 v8 ) (18 {1} v20 v10 v7 ) (18 {1} v20 v10 v6 ) (18 {1} v20 v10 v5 ) (18 {1} v20 v10 v4 ) (18 {1} v20 v10 v3 ) (18 {1} v20 v10 v2 ) (18 {1} v20 v10 v1 ) (18 {1} v20 v9 v8 ) (18 {1} v20 v9 v7 ) (18 {1} v20 v9 v6 ) (18 {1} v20 v9 v5 ) (18 {1} v20 v9 v4 ) (18 {1} v20 v9 v3 ) (18 {1} v20 v9 v2 ) (18 {1} v20 v9 v1 ) (18 {1} v20 v8 v7 ) (18 {1} v20 v8 v6 ) (18 {1} v20 v8 v5 ) (18 {1} v20 v8 v4 ) (18 {1} v20 v8 v3 ) (18 {1} v20 v8 v2 ) (18 {1} v20 v8 v1 ) (18 {1} v20 v7 v6 ) (18 {1} v20 v7 v5 ) (18 {1} v20 v7 v4 ) (18 {1} v20 v7 v3 ) (18 {1} v20 v7 v2 ) (18 {1} v20 v7 v1 ) (18 {1} v20 v6 v5 ) (18 {1} v20 v6 v4 ) (18 {1} v20 v6 v3 ) (18 {1} v20 v6 v2 ) (18 {1} v20 v6 v1 ) (18 {1} v20 v5 v4 ) (18 {1} v20 v5 v3 ) (18 {1} v20 v5 v2 ) (18 {1} v20 v5 v1 ) (18 {1} v20 v4 v3 ) (18 {1} v20 v4 v2 ) (18 {1} v20 v4 v1 ) (18 {1} v20 v3 v2 ) (18 {1} v20 v3 v1 ) (18 {1} v20 v2 v1 ) (18 {1} v19 v18 v17 ) (18 {1} v19 v18 v16 ) (18 {1} v19 v18 v15 ) (18 {1} v19 v18 v14 ) (18 {1} v19 v18 v13 ) (18 {1} v19 v18 v12 ) (18 {1} v19 v18 v11 ) (18 {1} v19 v18 v10 ) (18 {1} v19 v18 v9 ) (18 {1} v19 v18 v8 ) (18 {1} v19 v18 v7 ) (18 {1} v19 v18 v6 ) (18 {1} v19 v18 v5 ) (18 {1} v19 v18 v4 ) (18 {1} v19 v18 v3 ) (18 {1} v19 v18 v2 ) (18 {1} v19 v18 v1 ) (18 {1} v19 v17 v16 ) (18 {1} v19 v17 v15 ) (18 {1} v19 v17 v14 ) (18 {1} v19 v17 v13 ) (18 {1} v19 v17 v12 ) (18 {1} v19 v17 v11 ) (18 {1} v19 v17 v10 ) (18 {1} v19 v17 v9 ) (18 {1} v19 v17 v8 ) (18 {1} v19 v17 v7 ) (18 {1} v19 v17 v6 ) (18 {1} v19 v17 v5 ) (18 {1} v19 v17 v4 ) (18 {1} v19 v17 v3 ) (18 {1} v19 v17 v2 ) (18 {1} v19 v17 v1 ) (18 {1} v19 v16 v15 ) (18 {1} v19 v16 v14 ) (18 {1} v19 v16 v13 ) (18 {1} v19 v16 v12 ) (18 {1} v19 v16 v11 ) (18 {1} v19 v16 v10 ) (18 {1} v19 v16 v9 ) (18 {1} v19 v16 v8 ) (18 {1} v19 v16 v7 ) (18 {1} v19 v16 v6 ) (18 {1} v19 v16 v5 ) (18 {1} v19 v16 v4 ) (18 {1} v19 v16 v3 ) (18 {1} v19 v16 v2 ) (18 {1} v19 v16 v1 ) (18 {1} v19 v15 v14 ) (18 {1} v19 v15 v13 ) (18 {1} v19 v15 v12 ) (18 {1} v19 v15 v11 ) (18 {1} v19 v15 v10 ) (18 {1} v19 v15 v9 ) (18 {1} v19 v15 v8 ) (18 {1} v19 v15 v7 ) (18 {1} v19 v15 v6 ) (18 {1} v19 v15 v5 ) (18 {1} v19 v15 v4 ) (18 {1} v19 v15 v3 ) (18 {1} v19 v15 v2 ) (18 {1} v19 v15 v1 ) (18 {1} v19 v14 v13 ) (18 {1} v19 v14 v12 ) (18 {1} v19 v14 v11 ) (18 {1} v19 v14 v10 ) (18 {1} v19 v14 v9 ) (18 {1} v19 v14 v8 ) (18 {1} v19 v14 v7 ) (18 {1} v19 v14 v6 ) (18 {1} v19 v14 v5 ) (18 {1} v19 v14 v4 ) (18 {1} v19 v14 v3 ) (18 {1} v19 v14 v2 ) (18 {1} v19 v14 v1 ) (18 {1} v19 v13 v12 ) (18 {1} v19 v13 v11 ) (18 {1} v19 v13 v10 ) (18 {1} v19 v13 v9 ) (18 {1} v19 v13 v8 ) (18 {1} v19 v13 v7 ) (18 {1} v19 v13 v6 ) (18 {1} v19 v13 v5 ) (18 {1} v19 v13 v4 ) (18 {1} v19 v13 v3 ) (18 {1} v19 v13 v2 ) (18 {1} v19 v13 v1 ) (18 {1} v19 v12 v11 ) (18 {1} v19 v12 v10 ) (18 {1} v19 v12 v9 ) (18 {1} v19 v12 v8 ) (18 {1} v19 v12 v7 ) (18 {1} v19 v12 v6 ) (18 {1} v19 v12 v5 ) (18 {1} v19 v12 v4 ) (18 {1} v19 v12 v3 ) (18 {1} v19 v12 v2 ) (18 {1} v19 v12 v1 ) (18 {1} v19 v11 v10 ) (18 {1} v19 v11 v9 ) (18 {1} v19 v11 v8 ) (18 {1} v19 v11 v7 ) (18 {1} v19 v11 v6 ) (18 {1} v19 v11 v5 ) (18 {1} v19 v11 v4 ) (18 {1} v19 v11 v3 ) (18 {1} v19 v11 v2 ) (18 {1} v19 v11 v1 ) (18 {1} v19 v10 v9 ) (18 {1} v19 v10 v8 ) (18 {1} v19 v10 v7 ) (18 {1} v19 v10 v6 ) (18 {1} v19 v10 v5 ) (18 {1} v19 v10 v4 ) (18 {1} v19 v10 v3 ) (18 {1} v19 v10 v2 ) (18 {1} v19 v10 v1 ) (18 {1} v19 v9 v8 ) (18 {1} v19 v9 v7 ) (18 {1} v19 v9 v6 ) (18 {1} v19 v9 v5 ) (18 {1} v19 v9 v4 ) (18 {1} v19 v9 v3 ) (18 {1} v19 v9 v2 ) (18 {1} v19 v9 v1 ) (18 {1} v19 v8 v7 ) (18 {1} v19 v8 v6 ) (18 {1} v19 v8 v5 ) (18 {1} v19 v8 v4 ) (18 {1} v19 v8 v3 ) (18 {1} v19 v8 v2 ) (18 {1} v19 v8 v1 ) (18 {1} v19 v7 v6 ) (18 {1} v19 v7 v5 ) (18 {1} v19 v7 v4 ) (18 {1} v19 v7 v3 ) (18 {1} v19 v7 v2 ) (18 {1} v19 v7 v1 ) (18 {1} v19 v6 v5 ) (18 {1} v19 v6 v4 ) (18 {1} v19 v6 v3 ) (18 {1} v19 v6 v2 ) (18 {1} v19 v6 v1 ) (18 {1} v19 v5 v4 ) (18 {1} v19 v5 v3 ) (18 {1} v19 v5 v2 ) (18 {1} v19 v5 v1 ) (18 {1} v19 v4 v3 ) (18 {1} v19 v4 v2 ) (18 {1} v19 v4 v1 ) (18 {1} v19 v3 v2 ) (18 {1} v19 v3 v1 ) (18 {1} v19 v2 v1 ) (18 {1} v18 v17 v16 ) (18 {1} v18 v17 v15 ) (18 {1} v18 v17 v14 ) (18 {1} v18 v17 v13 ) (18 {1} v18 v17 v12 ) (18 {1} v18 v17 v11 ) (18 {1} v18 v17 v10 ) (18 {1} v18 v17 v9 ) (18 {1} v18 v17 v8 ) (18 {1} v18 v17 v7 ) (18 {1} v18 v17 v6 ) (18 {1} v18 v17 v5 ) (18 {1} v18 v17 v4 ) (18 {1} v18 v17 v3 ) (18 {1} v18 v17 v2 ) (18 {1} v18 v17 v1 ) (18 {1} v18 v16 v15 ) (18 {1} v18 v16 v14 ) (18 {1} v18 v16 v13 ) (18 {1} v18 v16 v12 ) (18 {1} v18 v16 v11 ) (18 {1} v18 v16 v10 ) (18 {1} v18 v16 v9 ) (18 {1} v18 v16 v8 ) (18 {1} v18 v16 v7 ) (18 {1} v18 v16 v6 ) (18 {1} v18 v16 v5 ) (18 {1} v18 v16 v4 ) (18 {1} v18 v16 v3 ) (18 {1} v18 v16 v2 ) (18 {1} v18 v16 v1 ) (18 {1} v18 v15 v14 ) (18 {1} v18 v15 v13 ) (18 {1} v18 v15 v12 ) (18 {1} v18 v15 v11 ) (18 {1} v18 v15 v10 ) (18 {1} v18 v15 v9 ) (18 {1} v18 v15 v8 ) (18 {1} v18 v15 v7 ) (18 {1} v18 v15 v6 ) (18 {1} v18 v15 v5 ) (18 {1} v18 v15 v4 ) (18 {1} v18 v15 v3 ) (18 {1} v18 v15 v2 ) (18 {1} v18 v15 v1 ) (18 {1} v18 v14 v13 ) (18 {1} v18 v14 v12 ) (18 {1} v18 v14 v11 ) (18 {1} v18 v14 v10 ) (18 {1} v18 v14 v9 ) (18 {1} v18 v14 v8 ) (18 {1} v18 v14 v7 ) (18 {1} v18 v14 v6 ) (18 {1} v18 v14 v5 ) (18 {1} v18 v14 v4 ) (18 {1} v18 v14 v3 ) (18 {1} v18 v14 v2 ) (18 {1} v18 v14 v1 ) (18 {1} v18 v13 v12 ) (18 {1} v18 v13 v11 ) (18 {1} v18 v13 v10 ) (18 {1} v18 v13 v9 ) (18 {1} v18 v13 v8 ) (18 {1} v18 v13 v7 ) (18 {1} v18 v13 v6 ) (18 {1} v18 v13 v5 ) (18 {1} v18 v13 v4 ) (18 {1} v18 v13 v3 ) (18 {1} v18 v13 v2 ) (18 {1} v18 v13 v1 ) (18 {1} v18 v12 v11 ) (18 {1} v18 v12 v10 ) (18 {1} v18 v12 v9 ) (18 {1} v18 v12 v8 ) (18 {1} v18 v12 v7 ) (18 {1} v18 v12 v6 ) (18 {1} v18 v12 v5 ) (18 {1} v18 v12 v4 ) (18 {1} v18 v12 v3 ) (18 {1} v18 v12 v2 ) (18 {1} v18 v12 v1 ) (18 {1} v18 v11 v10 ) (18 {1} v18 v11 v9 ) (18 {1} v18 v11 v8 ) (18 {1} v18 v11 v7 ) (18 {1} v18 v11 v6 ) (18 {1} v18 v11 v5 ) (18 {1} v18 v11 v4 ) (18 {1} v18 v11 v3 ) (18 {1} v18 v11 v2 ) (18 {1} v18 v11 v1 ) (18 {1} v18 v10 v9 ) (18 {1} v18 v10 v8 ) (18 {1} v18 v10 v7 ) (18 {1} v18 v10 v6 ) (18 {1} v18 v10 v5 ) (18 {1} v18 v10 v4 ) (18 {1} v18 v10 v3 ) (18 {1} v18 v10 v2 ) (18 {1} v18 v10 v1 ) (18 {1} v18 v9 v8 ) (18 {1} v18 v9 v7 ) (18 {1} v18 v9 v6 ) (18 {1} v18 v9 v5 ) (18 {1} v18 v9 v4 ) (18 {1} v18 v9 v3 ) (18 {1} v18 v9 v2 ) (18 {1} v18 v9 v1 ) (18 {1} v18 v8 v7 ) (18 {1} v18 v8 v6 ) (18 {1} v18 v8 v5 ) (18 {1} v18 v8 v4 ) (18 {1} v18 v8 v3 ) (18 {1} v18 v8 v2 ) (18 {1} v18 v8 v1 ) (18 {1} v18 v7 v6 ) (18 {1} v18 v7 v5 ) (18 {1} v18 v7 v4 ) (18 {1} v18 v7 v3 ) (18 {1} v18 v7 v2 ) (18 {1} v18 v7 v1 ) (18 {1} v18 v6 v5 ) (18 {1} v18 v6 v4 ) (18 {1} v18 v6 v3 ) (18 {1} v18 v6 v2 ) (18 {1} v18 v6 v1 ) (18 {1} v18 v5 v4 ) (18 {1} v18 v5 v3 ) (18 {1} v18 v5 v2 ) (18 {1} v18 v5 v1 ) (18 {1} v18 v4 v3 ) (18 {1} v18 v4 v2 ) (18 {1} v18 v4 v1 ) (18 {1} v18 v3 v2 ) (18 {1} v18 v3 v1 ) (18 {1} v18 v2 v1 ) (18 {1} v17 v16 v15 ) (18 {1} v17 v16 v14 ) (18 {1} v17 v16 v13 ) (18 {1} v17 v16 v12 ) (18 {1} v17 v16 v11 ) (18 {1} v17 v16 v10 ) (18 {1} v17 v16 v9 ) (18 {1} v17 v16 v8 ) (18 {1} v17 v16 v7 ) (18 {1} v17 v16 v6 ) (18 {1} v17 v16 v5 ) (18 {1} v17 v16 v4 ) (18 {1} v17 v16 v3 ) (18 {1} v17 v16 v2 ) (18 {1} v17 v16 v1 ) (18 {1} v17 v15 v14 ) (18 {1} v17 v15 v13 ) (18 {1} v17 v15 v12 ) (18 {1} v17 v15 v11 ) (18 {1} v17 v15 v10 ) (18 {1} v17 v15 v9 ) (18 {1} v17 v15 v8 ) (18 {1} v17 v15 v7 ) (18 {1} v17 v15 v6 ) (18 {1} v17 v15 v5 ) (18 {1} v17 v15 v4 ) (18 {1} v17 v15 v3 ) (18 {1} v17 v15 v2 ) (18 {1} v17 v15 v1 ) (18 {1} v17 v14 v13 ) (18 {1} v17 v14 v12 ) (18 {1} v17 v14 v11 ) (18 {1} v17 v14 v10 ) (18 {1} v17 v14 v9 ) (18 {1} v17 v14 v8 ) (18 {1} v17 v14 v7 ) (18 {1} v17 v14 v6 ) (18 {1} v17 v14 v5 ) (18 {1} v17 v14 v4 ) (18 {1} v17 v14 v3 ) (18 {1} v17 v14 v2 ) (18 {1} v17 v14 v1 ) (18 {1} v17 v13 v12 ) (18 {1} v17 v13 v11 ) (18 {1} v17 v13 v10 ) (18 {1} v17 v13 v9 ) (18 {1} v17 v13 v8 ) (18 {1} v17 v13 v7 ) (18 {1} v17 v13 v6 ) (18 {1} v17 v13 v5 ) (18 {1} v17 v13 v4 ) (18 {1} v17 v13 v3 ) (18 {1} v17 v13 v2 ) (18 {1} v17 v13 v1 ) (18 {1} v17 v12 v11 ) (18 {1} v17 v12 v10 ) (18 {1} v17 v12 v9 ) (18 {1} v17 v12 v8 ) (18 {1} v17 v12 v7 ) (18 {1} v17 v12 v6 ) (18 {1} v17 v12 v5 ) (18 {1} v17 v12 v4 ) (18 {1} v17 v12 v3 ) (18 {1} v17 v12 v2 ) (18 {1} v17 v12 v1 ) (18 {1} v17 v11 v10 ) (18 {1} v17 v11 v9 ) (18 {1} v17 v11 v8 ) (18 {1} v17 v11 v7 ) (18 {1} v17 v11 v6 ) (18 {1} v17 v11 v5 ) (18 {1} v17 v11 v4 ) (18 {1} v17 v11 v3 ) (18 {1} v17 v11 v2 ) (18 {1} v17 v11 v1 ) (18 {1} v17 v10 v9 ) (18 {1} v17 v10 v8 ) (18 {1} v17 v10 v7 ) (18 {1} v17 v10 v6 ) (18 {1} v17 v10 v5 ) (18 {1} v17 v10 v4 ) (18 {1} v17 v10 v3 ) (18 {1} v17 v10 v2 ) (18 {1} v17 v10 v1 ) (18 {1} v17 v9 v8 ) (18 {1} v17 v9 v7 ) (18 {1} v17 v9 v6 ) (18 {1} v17 v9 v5 ) (18 {1} v17 v9 v4 ) (18 {1} v17 v9 v3 ) (18 {1} v17 v9 v2 ) (18 {1} v17 v9 v1 ) (18 {1} v17 v8 v7 ) (18 {1} v17 v8 v6 ) (18 {1} v17 v8 v5 ) (18 {1} v17 v8 v4 ) (18 {1} v17 v8 v3 ) (18 {1} v17 v8 v2 ) (18 {1} v17 v8 v1 ) (18 {1} v17 v7 v6 ) (18 {1} v17 v7 v5 ) (18 {1} v17 v7 v4 ) (18 {1} v17 v7 v3 ) (18 {1} v17 v7 v2 ) (18 {1} v17 v7 v1 ) (18 {1} v17 v6 v5 ) (18 {1} v17 v6 v4 ) (18 {1} v17 v6 v3 ) (18 {1} v17 v6 v2 ) (18 {1} v17 v6 v1 ) (18 {1} v17 v5 v4 ) (18 {1} v17 v5 v3 ) (18 {1} v17 v5 v2 ) (18 {1} v17 v5 v1 ) (18 {1} v17 v4 v3 ) (18 {1} v17 v4 v2 ) (18 {1} v17 v4 v1 ) (18 {1} v17 v3 v2 ) (18 {1} v17 v3 v1 ) (18 {1} v17 v2 v1 ) (18 {1} v16 v15 v14 ) (18 {1} v16 v15 v13 ) (18 {1} v16 v15 v12 ) (18 {1} v16 v15 v11 ) (18 {1} v16 v15 v10 ) (18 {1} v16 v15 v9 ) (18 {1} v16 v15 v8 ) (18 {1} v16 v15 v7 ) (18 {1} v16 v15 v6 ) (18 {1} v16 v15 v5 ) (18 {1} v16 v15 v4 ) (18 {1} v16 v15 v3 ) (18 {1} v16 v15 v2 ) (18 {1} v16 v15 v1 ) (18 {1} v16 v14 v13 ) (18 {1} v16 v14 v12 ) (18 {1} v16 v14 v11 ) (18 {1} v16 v14 v10 ) (18 {1} v16 v14 v9 ) (18 {1} v16 v14 v8 ) (18 {1} v16 v14 v7 ) (18 {1} v16 v14 v6 ) (18 {1} v16 v14 v5 ) (18 {1} v16 v14 v4 ) (18 {1} v16 v14 v3 ) (18 {1} v16 v14 v2 ) (18 {1} v16 v14 v1 ) (18 {1} v16 v13 v12 ) (18 {1} v16 v13 v11 ) (18 {1} v16 v13 v10 ) (18 {1} v16 v13 v9 ) (18 {1} v16 v13 v8 ) (18 {1} v16 v13 v7 ) (18 {1} v16 v13 v6 ) (18 {1} v16 v13 v5 ) (18 {1} v16 v13 v4 ) (18 {1} v16 v13 v3 ) (18 {1} v16 v13 v2 ) (18 {1} v16 v13 v1 ) (18 {1} v16 v12 v11 ) (18 {1} v16 v12 v10 ) (18 {1} v16 v12 v9 ) (18 {1} v16 v12 v8 ) (18 {1} v16 v12 v7 ) (18 {1} v16 v12 v6 ) (18 {1} v16 v12 v5 ) (18 {1} v16 v12 v4 ) (18 {1} v16 v12 v3 ) (18 {1} v16 v12 v2 ) (18 {1} v16 v12 v1 ) (18 {1} v16 v11 v10 ) (18 {1} v16 v11 v9 ) (18 {1} v16 v11 v8 ) (18 {1} v16 v11 v7 ) (18 {1} v16 v11 v6 ) (18 {1} v16 v11 v5 ) (18 {1} v16 v11 v4 ) (18 {1} v16 v11 v3 ) (18 {1} v16 v11 v2 ) (18 {1} v16 v11 v1 ) (18 {1} v16 v10 v9 ) (18 {1} v16 v10 v8 ) (18 {1} v16 v10 v7 ) (18 {1} v16 v10 v6 ) (18 {1} v16 v10 v5 ) (18 {1} v16 v10 v4 ) (18 {1} v16 v10 v3 ) (18 {1} v16 v10 v2 ) (18 {1} v16 v10 v1 ) (18 {1} v16 v9 v8 ) (18 {1} v16 v9 v7 ) (18 {1} v16 v9 v6 ) (18 {1} v16 v9 v5 ) (18 {1} v16 v9 v4 ) (18 {1} v16 v9 v3 ) (18 {1} v16 v9 v2 ) (18 {1} v16 v9 v1 ) (18 {1} v16 v8 v7 ) (18 {1} v16 v8 v6 ) (18 {1} v16 v8 v5 ) (18 {1} v16 v8 v4 ) (18 {1} v16 v8 v3 ) (18 {1} v16 v8 v2 ) (18 {1} v16 v8 v1 ) (18 {1} v16 v7 v6 ) (18 {1} v16 v7 v5 ) (18 {1} v16 v7 v4 ) (18 {1} v16 v7 v3 ) (18 {1} v16 v7 v2 ) (18 {1} v16 v7 v1 ) (18 {1} v16 v6 v5 ) (18 {1} v16 v6 v4 ) (18 {1} v16 v6 v3 ) (18 {1} v16 v6 v2 ) (18 {1} v16 v6 v1 ) (18 {1} v16 v5 v4 ) (18 {1} v16 v5 v3 ) (18 {1} v16 v5 v2 ) (18 {1} v16 v5 v1 ) (18 {1} v16 v4 v3 ) (18 {1} v16 v4 v2 ) (18 {1} v16 v4 v1 ) (18 {1} v16 v3 v2 ) (18 {1} v16 v3 v1 ) (18 {1} v16 v2 v1 ) (18 {1} v15 v14 v13 ) (18 {1} v15 v14 v12 ) (18 {1} v15 v14 v11 ) (18 {1} v15 v14 v10 ) (18 {1} v15 v14 v9 ) (18 {1} v15 v14 v8 ) (18 {1} v15 v14 v7 ) (18 {1} v15 v14 v6 ) (18 {1} v15 v14 v5 ) (18 {1} v15 v14 v4 ) (18 {1} v15 v14 v3 ) (18 {1} v15 v14 v2 ) (18 {1} v15 v14 v1 ) (18 {1} v15 v13 v12 ) (18 {1} v15 v13 v11 ) (18 {1} v15 v13 v10 ) (18 {1} v15 v13 v9 ) (18 {1} v15 v13 v8 ) (18 {1} v15 v13 v7 ) (18 {1} v15 v13 v6 ) (18 {1} v15 v13 v5 ) (18 {1} v15 v13 v4 ) (18 {1} v15 v13 v3 ) (18 {1} v15 v13 v2 ) (18 {1} v15 v13 v1 ) (18 {1} v15 v12 v11 ) (18 {1} v15 v12 v10 ) (18 {1} v15 v12 v9 ) (18 {1} v15 v12 v8 ) (18 {1} v15 v12 v7 ) (18 {1} v15 v12 v6 ) (18 {1} v15 v12 v5 ) (18 {1} v15 v12 v4 ) (18 {1} v15 v12 v3 ) (18 {1} v15 v12 v2 ) (18 {1} v15 v12 v1 ) (18 {1} v15 v11 v10 ) (18 {1} v15 v11 v9 ) (18 {1} v15 v11 v8 ) (18 {1} v15 v11 v7 ) (18 {1} v15 v11 v6 ) (18 {1} v15 v11 v5 ) (18 {1} v15 v11 v4 ) (18 {1} v15 v11 v3 ) (18 {1} v15 v11 v2 ) (18 {1} v15 v11 v1 ) (18 {1} v15 v10 v9 ) (18 {1} v15 v10 v8 ) (18 {1} v15 v10 v7 ) (18 {1} v15 v10 v6 ) (18 {1} v15 v10 v5 ) (18 {1} v15 v10 v4 ) (18 {1} v15 v10 v3 ) (18 {1} v15 v10 v2 ) (18 {1} v15 v10 v1 ) (18 {1} v15 v9 v8 ) (18 {1} v15 v9 v7 ) (18 {1} v15 v9 v6 ) (18 {1} v15 v9 v5 ) (18 {1} v15 v9 v4 ) (18 {1} v15 v9 v3 ) (18 {1} v15 v9 v2 ) (18 {1} v15 v9 v1 ) (18 {1} v15 v8 v7 ) (18 {1} v15 v8 v6 ) (18 {1} v15 v8 v5 ) (18 {1} v15 v8 v4 ) (18 {1} v15 v8 v3 ) (18 {1} v15 v8 v2 ) (18 {1} v15 v8 v1 ) (18 {1} v15 v7 v6 ) (18 {1} v15 v7 v5 ) (18 {1} v15 v7 v4 ) (18 {1} v15 v7 v3 ) (18 {1} v15 v7 v2 ) (18 {1} v15 v7 v1 ) (18 {1} v15 v6 v5 ) (18 {1} v15 v6 v4 ) (18 {1} v15 v6 v3 ) (18 {1} v15 v6 v2 ) (18 {1} v15 v6 v1 ) (18 {1} v15 v5 v4 ) (18 {1} v15 v5 v3 ) (18 {1} v15 v5 v2 ) (18 {1} v15 v5 v1 ) (18 {1} v15 v4 v3 ) (18 {1} v15 v4 v2 ) (18 {1} v15 v4 v1 ) (18 {1} v15 v3 v2 ) (18 {1} v15 v3 v1 ) (18 {1} v15 v2 v1 ) (18 {1} v14 v13 v12 ) (18 {1} v14 v13 v11 ) (18 {1} v14 v13 v10 ) (18 {1} v14 v13 v9 ) (18 {1} v14 v13 v8 ) (18 {1} v14 v13 v7 ) (18 {1} v14 v13 v6 ) (18 {1} v14 v13 v5 ) (18 {1} v14 v13 v4 ) (18 {1} v14 v13 v3 ) (18 {1} v14 v13 v2 ) (18 {1} v14 v13 v1 ) (18 {1} v14 v12 v11 ) (18 {1} v14 v12 v10 ) (18 {1} v14 v12 v9 ) (18 {1} v14 v12 v8 ) (18 {1} v14 v12 v7 ) (18 {1} v14 v12 v6 ) (18 {1} v14 v12 v5 ) (18 {1} v14 v12 v4 ) (18 {1} v14 v12 v3 ) (18 {1} v14 v12 v2 ) (18 {1} v14 v12 v1 ) (18 {1} v14 v11 v10 ) (18 {1} v14 v11 v9 ) (18 {1} v14 v11 v8 ) (18 {1} v14 v11 v7 ) (18 {1} v14 v11 v6 ) (18 {1} v14 v11 v5 ) (18 {1} v14 v11 v4 ) (18 {1} v14 v11 v3 ) (18 {1} v14 v11 v2 ) (18 {1} v14 v11 v1 ) (18 {1} v14 v10 v9 ) (18 {1} v14 v10 v8 ) (18 {1} v14 v10 v7 ) (18 {1} v14 v10 v6 ) (18 {1} v14 v10 v5 ) (18 {1} v14 v10 v4 ) (18 {1} v14 v10 v3 ) (18 {1} v14 v10 v2 ) (18 {1} v14 v10 v1 ) (18 {1} v14 v9 v8 ) (18 {1} v14 v9 v7 ) (18 {1} v14 v9 v6 ) (18 {1} v14 v9 v5 ) (18 {1} v14 v9 v4 ) (18 {1} v14 v9 v3 ) (18 {1} v14 v9 v2 ) (18 {1} v14 v9 v1 ) (18 {1} v14 v8 v7 ) (18 {1} v14 v8 v6 ) (18 {1} v14 v8 v5 ) (18 {1} v14 v8 v4 ) (18 {1} v14 v8 v3 ) (18 {1} v14 v8 v2 ) (18 {1} v14 v8 v1 ) (18 {1} v14 v7 v6 ) (18 {1} v14 v7 v5 ) (18 {1} v14 v7 v4 ) (18 {1} v14 v7 v3 ) (18 {1} v14 v7 v2 ) (18 {1} v14 v7 v1 ) (18 {1} v14 v6 v5 ) (18 {1} v14 v6 v4 ) (18 {1} v14 v6 v3 ) (18 {1} v14 v6 v2 ) (18 {1} v14 v6 v1 ) (18 {1} v14 v5 v4 ) (18 {1} v14 v5 v3 ) (18 {1} v14 v5 v2 ) (18 {1} v14 v5 v1 ) (18 {1} v14 v4 v3 ) (18 {1} v14 v4 v2 ) (18 {1} v14 v4 v1 ) (18 {1} v14 v3 v2 ) (18 {1} v14 v3 v1 ) (18 {1} v14 v2 v1 ) (18 {1} v13 v12 v11 ) (18 {1} v13 v12 v10 ) (18 {1} v13 v12 v9 ) (18 {1} v13 v12 v8 ) (18 {1} v13 v12 v7 ) (18 {1} v13 v12 v6 ) (18 {1} v13 v12 v5 ) (18 {1} v13 v12 v4 ) (18 {1} v13 v12 v3 ) (18 {1} v13 v12 v2 ) (18 {1} v13 v12 v1 ) (18 {1} v13 v11 v10 ) (18 {1} v13 v11 v9 ) (18 {1} v13 v11 v8 ) (18 {1} v13 v11 v7 ) (18 {1} v13 v11 v6 ) (18 {1} v13 v11 v5 ) (18 {1} v13 v11 v4 ) (18 {1} v13 v11 v3 ) (18 {1} v13 v11 v2 ) (18 {1} v13 v11 v1 ) (18 {1} v13 v10 v9 ) (18 {1} v13 v10 v8 ) (18 {1} v13 v10 v7 ) (18 {1} v13 v10 v6 ) (18 {1} v13 v10 v5 ) (18 {1} v13 v10 v4 ) (18 {1} v13 v10 v3 ) (18 {1} v13 v10 v2 ) (18 {1} v13 v10 v1 ) (18 {1} v13 v9 v8 ) (18 {1} v13 v9 v7 ) (18 {1} v13 v9 v6 ) (18 {1} v13 v9 v5 ) (18 {1} v13 v9 v4 ) (18 {1} v13 v9 v3 ) (18 {1} v13 v9 v2 ) (18 {1} v13 v9 v1 ) (18 {1} v13 v8 v7 ) (18 {1} v13 v8 v6 ) (18 {1} v13 v8 v5 ) (18 {1} v13 v8 v4 ) (18 {1} v13 v8 v3 ) (18 {1} v13 v8 v2 ) (18 {1} v13 v8 v1 ) (18 {1} v13 v7 v6 ) (18 {1} v13 v7 v5 ) (18 {1} v13 v7 v4 ) (18 {1} v13 v7 v3 ) (18 {1} v13 v7 v2 ) (18 {1} v13 v7 v1 ) (18 {1} v13 v6 v5 ) (18 {1} v13 v6 v4 ) (18 {1} v13 v6 v3 ) (18 {1} v13 v6 v2 ) (18 {1} v13 v6 v1 ) (18 {1} v13 v5 v4 ) (18 {1} v13 v5 v3 ) (18 {1} v13 v5 v2 ) (18 {1} v13 v5 v1 ) (18 {1} v13 v4 v3 ) (18 {1} v13 v4 v2 ) (18 {1} v13 v4 v1 ) (18 {1} v13 v3 v2 ) (18 {1} v13 v3 v1 ) (18 {1} v13 v2 v1 ) (18 {1} v12 v11 v10 ) (18 {1} v12 v11 v9 ) (18 {1} v12 v11 v8 ) (18 {1} v12 v11 v7 ) (18 {1} v12 v11 v6 ) (18 {1} v12 v11 v5 ) (18 {1} v12 v11 v4 ) (18 {1} v12 v11 v3 ) (18 {1} v12 v11 v2 ) (18 {1} v12 v11 v1 ) (18 {1} v12 v10 v9 ) (18 {1} v12 v10 v8 ) (18 {1} v12 v10 v7 ) (18 {1} v12 v10 v6 ) (18 {1} v12 v10 v5 ) (18 {1} v12 v10 v4 ) (18 {1} v12 v10 v3 ) (18 {1} v12 v10 v2 ) (18 {1} v12 v10 v1 ) (18 {1} v12 v9 v8 ) (18 {1} v12 v9 v7 ) (18 {1} v12 v9 v6 ) (18 {1} v12 v9 v5 ) (18 {1} v12 v9 v4 ) (18 {1} v12 v9 v3 ) (18 {1} v12 v9 v2 ) (18 {1} v12 v9 v1 ) (18 {1} v12 v8 v7 ) (18 {1} v12 v8 v6 ) (18 {1} v12 v8 v5 ) (18 {1} v12 v8 v4 ) (18 {1} v12 v8 v3 ) (18 {1} v12 v8 v2 ) (18 {1} v12 v8 v1 ) (18 {1} v12 v7 v6 ) (18 {1} v12 v7 v5 ) (18 {1} v12 v7 v4 ) (18 {1} v12 v7 v3 ) (18 {1} v12 v7 v2 ) (18 {1} v12 v7 v1 ) (18 {1} v12 v6 v5 ) (18 {1} v12 v6 v4 ) (18 {1} v12 v6 v3 ) (18 {1} v12 v6 v2 ) (18 {1} v12 v6 v1 ) (18 {1} v12 v5 v4 ) (18 {1} v12 v5 v3 ) (18 {1} v12 v5 v2 ) (18 {1} v12 v5 v1 ) (18 {1} v12 v4 v3 ) (18 {1} v12 v4 v2 ) (18 {1} v12 v4 v1 ) (18 {1} v12 v3 v2 ) (18 {1} v12 v3 v1 ) (18 {1} v12 v2 v1 ) (18 {1} v11 v10 v9 ) (18 {1} v11 v10 v8 ) (18 {1} v11 v10 v7 ) (18 {1} v11 v10 v6 ) (18 {1} v11 v10 v5 ) (18 {1} v11 v10 v4 ) (18 {1} v11 v10 v3 ) (18 {1} v11 v10 v2 ) (18 {1} v11 v10 v1 ) (18 {1} v11 v9 v8 ) (18 {1} v11 v9 v7 ) (18 {1} v11 v9 v6 ) (18 {1} v11 v9 v5 ) (18 {1} v11 v9 v4 ) (18 {1} v11 v9 v3 ) (18 {1} v11 v9 v2 ) (18 {1} v11 v9 v1 ) (18 {1} v11 v8 v7 ) (18 {1} v11 v8 v6 ) (18 {1} v11 v8 v5 ) (18 {1} v11 v8 v4 ) (18 {1} v11 v8 v3 ) (18 {1} v11 v8 v2 ) (18 {1} v11 v8 v1 ) (18 {1} v11 v7 v6 ) (18 {1} v11 v7 v5 ) (18 {1} v11 v7 v4 ) (18 {1} v11 v7 v3 ) (18 {1} v11 v7 v2 ) (18 {1} v11 v7 v1 ) (18 {1} v11 v6 v5 ) (18 {1} v11 v6 v4 ) (18 {1} v11 v6 v3 ) (18 {1} v11 v6 v2 ) (18 {1} v11 v6 v1 ) (18 {1} v11 v5 v4 ) (18 {1} v11 v5 v3 ) (18 {1} v11 v5 v2 ) (18 {1} v11 v5 v1 ) (18 {1} v11 v4 v3 ) (18 {1} v11 v4 v2 ) (18 {1} v11 v4 v1 ) (18 {1} v11 v3 v2 ) (18 {1} v11 v3 v1 ) (18 {1} v11 v2 v1 ) (18 {1} v10 v9 v8 ) (18 {1} v10 v9 v7 ) (18 {1} v10 v9 v6 ) (18 {1} v10 v9 v5 ) (18 {1} v10 v9 v4 ) (18 {1} v10 v9 v3 ) (18 {1} v10 v9 v2 ) (18 {1} v10 v9 v1 ) (18 {1} v10 v8 v7 ) (18 {1} v10 v8 v6 ) (18 {1} v10 v8 v5 ) (18 {1} v10 v8 v4 ) (18 {1} v10 v8 v3 ) (18 {1} v10 v8 v2 ) (18 {1} v10 v8 v1 ) (18 {1} v10 v7 v6 ) (18 {1} v10 v7 v5 ) (18 {1} v10 v7 v4 ) (18 {1} v10 v7 v3 ) (18 {1} v10 v7 v2 ) (18 {1} v10 v7 v1 ) (18 {1} v10 v6 v5 ) (18 {1} v10 v6 v4 ) (18 {1} v10 v6 v3 ) (18 {1} v10 v6 v2 ) (18 {1} v10 v6 v1 ) (18 {1} v10 v5 v4 ) (18 {1} v10 v5 v3 ) (18 {1} v10 v5 v2 ) (18 {1} v10 v5 v1 ) (18 {1} v10 v4 v3 ) (18 {1} v10 v4 v2 ) (18 {1} v10 v4 v1 ) (18 {1} v10 v3 v2 ) (18 {1} v10 v3 v1 ) (18 {1} v10 v2 v1 ) (18 {1} v9 v8 v7 ) (18 {1} v9 v8 v6 ) (18 {1} v9 v8 v5 ) (18 {1} v9 v8 v4 ) (18 {1} v9 v8 v3 ) (18 {1} v9 v8 v2 ) (18 {1} v9 v8 v1 ) (18 {1} v9 v7 v6 ) (18 {1} v9 v7 v5 ) (18 {1} v9 v7 v4 ) (18 {1} v9 v7 v3 ) (18 {1} v9 v7 v2 ) (18 {1} v9 v7 v1 ) (18 {1} v9 v6 v5 ) (18 {1} v9 v6 v4 ) (18 {1} v9 v6 v3 ) (18 {1} v9 v6 v2 ) (18 {1} v9 v6 v1 ) (18 {1} v9 v5 v4 ) (18 {1} v9 v5 v3 ) (18 {1} v9 v5 v2 ) (18 {1} v9 v5 v1 ) (18 {1} v9 v4 v3 ) (18 {1} v9 v4 v2 ) (18 {1} v9 v4 v1 ) (18 {1} v9 v3 v2 ) (18 {1} v9 v3 v1 ) (18 {1} v9 v2 v1 ) (18 {1} v8 v7 v6 ) (18 {1} v8 v7 v5 ) (18 {1} v8 v7 v4 ) (18 {1} v8 v7 v3 ) (18 {1} v8 v7 v2 ) (18 {1} v8 v7 v1 ) (18 {1} v8 v6 v5 ) (18 {1} v8 v6 v4 ) (18 {1} v8 v6 v3 ) (18 {1} v8 v6 v2 ) (18 {1} v8 v6 v1 ) (18 {1} v8 v5 v4 ) (18 {1} v8 v5 v3 ) (18 {1} v8 v5 v2 ) (18 {1} v8 v5 v1 ) (18 {1} v8 v4 v3 ) (18 {1} v8 v4 v2 ) (18 {1} v8 v4 v1 ) (18 {1} v8 v3 v2 ) (18 {1} v8 v3 v1 ) (18 {1} v8 v2 v1 ) (18 {1} v7 v6 v5 ) (18 {1} v7 v6 v4 ) (18 {1} v7 v6 v3 ) (18 {1} v7 v6 v2 ) (18 {1} v7 v6 v1 ) (18 {1} v7 v5 v4 ) (18 {1} v7 v5 v3 ) (18 {1} v7 v5 v2 ) (18 {1} v7 v5 v1 ) (18 {1} v7 v4 v3 ) (18 {1} v7 v4 v2 ) (18 {1} v7 v4 v1 ) (18 {1} v7 v3 v2 ) (18 {1} v7 v3 v1 ) (18 {1} v7 v2 v1 ) (18 {1} v6 v5 v4 ) (18 {1} v6 v5 v3 ) (18 {1} v6 v5 v2 ) (18 {1} v6 v5 v1 ) (18 {1} v6 v4 v3 ) (18 {1} v6 v4 v2 ) (18 {1} v6 v4 v1 ) (18 {1} v6 v3 v2 ) (18 {1} v6 v3 v1 ) (18 {1} v6 v2 v1 ) (18 {1} v5 v4 v3 ) (18 {1} v5 v4 v2 ) (18 {1} v5 v4 v1 ) (18 {1} v5 v3 v2 ) (18 {1} v5 v3 v1 ) (18 {1} v5 v2 v1 ) (18 {1} v4 v3 v2 ) (18 {1} v4 v3 v1 ) (18 {1} v4 v2 v1 ) (18 {1} v3 v2 v1 )  [  ] 511] 
]
 ]
round[11
    
playertrans[
    101
    offer[623 secret (235 ) 1.0] 
    offer[622 secret (39 ) 1.0] 
    offer[621 secret (145 ) 1.0] 
    offer[620 secret (209 ) 1.0] 
    reoffer[515 0.989899] 
]
 
playertrans[
    100
    offer[627 secret (229 ) 1.0] 
    offer[626 secret (8 ) 1.0] 
    offer[625 secret (213 ) 1.0] 
    offer[624 secret (67 ) 1.0] 
    reoffer[617 0.9899] 
    solve[[ (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v22 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 511] 
]
 
[secret revealed 511 : (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v22 -> false) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false) ]
 [acceptor received 1.6681106883116883 for solving 0.34415584415584416 of challenge 511. acceptor: 100 offerer: 101 ]
 
playertrans[
    102
    offer[631 secret (31 ) 1.0] 
    offer[630 secret (181 ) 1.0] 
    offer[629 secret (109 ) 1.0] 
    offer[628 secret (80 ) 1.0] 
    reoffer[555 0.989899] 
]
 ]
round[12
    
playertrans[
    100
    offer[635 secret (128 ) 1.0] 
    offer[634 secret (119 ) 1.0] 
    offer[633 secret (6 ) 1.0] 
    offer[632 secret (211 ) 1.0] 
    reoffer[561 0.989899] 
]
 
playertrans[
    101
    offer[639 secret (125 ) 1.0] 
    offer[638 secret (237 ) 1.0] 
    offer[637 secret (163 ) 1.0] 
    offer[636 secret (245 ) 1.0] 
    reoffer[542 0.989899] 
]
 
playertrans[
    102
    offer[643 secret (195 ) 1.0] 
    offer[642 secret (132 ) 1.0] 
    offer[641 secret (54 ) 1.0] 
    offer[640 secret (44 ) 1.0] 
    reoffer[596 0.9899] 
]
 ]
round[13
    
playertrans[
    102
    offer[647 secret (144 ) 1.0] 
    offer[646 secret (246 ) 1.0] 
    offer[645 secret (230 ) 1.0] 
    offer[644 secret (170 ) 1.0] 
    reoffer[600 0.9899] 
]
 
playertrans[
    100
    offer[651 secret (177 ) 1.0] 
    offer[650 secret (201 ) 1.0] 
    offer[649 secret (4 ) 1.0] 
    offer[648 secret (126 ) 1.0] 
    reoffer[642 0.9899] 
]
 
playertrans[
    101
    offer[655 secret (61 ) 1.0] 
    offer[654 secret (69 ) 1.0] 
    offer[653 secret (249 ) 1.0] 
    offer[652 secret (59 ) 1.0] 
    reoffer[625 0.9899] 
]
 ]
round[14
    
playertrans[
    101
    offer[659 secret (64 ) 1.0] 
    offer[658 secret (148 ) 1.0] 
    offer[657 secret (151 ) 1.0] 
    offer[656 secret (15 ) 1.0] 
    reoffer[518 0.979799] 
]
 
playertrans[
    100
    offer[663 secret (241 ) 1.0] 
    offer[662 secret (24 ) 1.0] 
    offer[661 secret (198 ) 1.0] 
    offer[660 secret (187 ) 1.0] 
    accept[518] 
]
 [acceptor paid 0.979799 for challenge 518. acceptor: 100 offerer: 101 ]
 
playertrans[
    102
    offer[667 secret (36 127 ) 0.999999] 
    offer[666 secret (113 ) 1.0] 
    offer[665 secret (161 ) 1.0] 
    offer[664 secret (32 ) 1.0] 
    reoffer[610 0.9899] 
]
 ]
round[15
    
playertrans[
    102
    offer[671 secret (11 ) 1.0] 
    offer[670 secret (167 ) 1.0] 
    offer[669 secret (57 ) 1.0] 
    offer[668 secret (238 ) 1.0] 
    reoffer[601 0.9899] 
]
 
playertrans[
    101
    offer[675 secret (25 ) 1.0] 
    offer[674 secret (232 ) 1.0] 
    offer[673 secret (156 ) 1.0] 
    offer[672 secret (117 ) 1.0] 
    reoffer[668 0.9899] 
    provide[v1 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v2 v20 v21 v22 v3 v4 v5 v6 v7 v8 v9  (36 {1} v22 v21 v20 ) (36 {1} v22 v21 v19 ) (36 {1} v22 v21 v18 ) (36 {1} v22 v21 v17 ) (36 {1} v22 v21 v16 ) (36 {1} v22 v21 v15 ) (36 {1} v22 v21 v14 ) (36 {1} v22 v21 v13 ) (36 {1} v22 v21 v12 ) (36 {1} v22 v21 v11 ) (36 {1} v22 v21 v10 ) (36 {1} v22 v21 v9 ) (36 {1} v22 v21 v8 ) (36 {1} v22 v21 v7 ) (36 {1} v22 v21 v6 ) (36 {1} v22 v21 v5 ) (36 {1} v22 v21 v4 ) (36 {1} v22 v21 v3 ) (36 {1} v22 v21 v2 ) (36 {1} v22 v21 v1 ) (36 {1} v22 v20 v19 ) (36 {1} v22 v20 v18 ) (36 {1} v22 v20 v17 ) (36 {1} v22 v20 v16 ) (36 {1} v22 v20 v15 ) (36 {1} v22 v20 v14 ) (36 {1} v22 v20 v13 ) (36 {1} v22 v20 v12 ) (36 {1} v22 v20 v11 ) (36 {1} v22 v20 v10 ) (36 {1} v22 v20 v9 ) (36 {1} v22 v20 v8 ) (36 {1} v22 v20 v7 ) (36 {1} v22 v20 v6 ) (36 {1} v22 v20 v5 ) (36 {1} v22 v20 v4 ) (36 {1} v22 v20 v3 ) (36 {1} v22 v20 v2 ) (36 {1} v22 v20 v1 ) (36 {1} v22 v19 v18 ) (36 {1} v22 v19 v17 ) (36 {1} v22 v19 v16 ) (36 {1} v22 v19 v15 ) (36 {1} v22 v19 v14 ) (36 {1} v22 v19 v13 ) (36 {1} v22 v19 v12 ) (36 {1} v22 v19 v11 ) (36 {1} v22 v19 v10 ) (36 {1} v22 v19 v9 ) (36 {1} v22 v19 v8 ) (36 {1} v22 v19 v7 ) (36 {1} v22 v19 v6 ) (36 {1} v22 v19 v5 ) (36 {1} v22 v19 v4 ) (36 {1} v22 v19 v3 ) (36 {1} v22 v19 v2 ) (36 {1} v22 v19 v1 ) (36 {1} v22 v18 v17 ) (36 {1} v22 v18 v16 ) (36 {1} v22 v18 v15 ) (36 {1} v22 v18 v14 ) (36 {1} v22 v18 v13 ) (36 {1} v22 v18 v12 ) (36 {1} v22 v18 v11 ) (36 {1} v22 v18 v10 ) (36 {1} v22 v18 v9 ) (36 {1} v22 v18 v8 ) (36 {1} v22 v18 v7 ) (36 {1} v22 v18 v6 ) (36 {1} v22 v18 v5 ) (36 {1} v22 v18 v4 ) (36 {1} v22 v18 v3 ) (36 {1} v22 v18 v2 ) (36 {1} v22 v18 v1 ) (36 {1} v22 v17 v16 ) (36 {1} v22 v17 v15 ) (36 {1} v22 v17 v14 ) (36 {1} v22 v17 v13 ) (36 {1} v22 v17 v12 ) (36 {1} v22 v17 v11 ) (36 {1} v22 v17 v10 ) (36 {1} v22 v17 v9 ) (36 {1} v22 v17 v8 ) (36 {1} v22 v17 v7 ) (36 {1} v22 v17 v6 ) (36 {1} v22 v17 v5 ) (36 {1} v22 v17 v4 ) (36 {1} v22 v17 v3 ) (36 {1} v22 v17 v2 ) (36 {1} v22 v17 v1 ) (36 {1} v22 v16 v15 ) (36 {1} v22 v16 v14 ) (36 {1} v22 v16 v13 ) (36 {1} v22 v16 v12 ) (36 {1} v22 v16 v11 ) (36 {1} v22 v16 v10 ) (36 {1} v22 v16 v9 ) (36 {1} v22 v16 v8 ) (36 {1} v22 v16 v7 ) (36 {1} v22 v16 v6 ) (36 {1} v22 v16 v5 ) (36 {1} v22 v16 v4 ) (36 {1} v22 v16 v3 ) (36 {1} v22 v16 v2 ) (36 {1} v22 v16 v1 ) (36 {1} v22 v15 v14 ) (36 {1} v22 v15 v13 ) (36 {1} v22 v15 v12 ) (36 {1} v22 v15 v11 ) (36 {1} v22 v15 v10 ) (36 {1} v22 v15 v9 ) (36 {1} v22 v15 v8 ) (36 {1} v22 v15 v7 ) (36 {1} v22 v15 v6 ) (36 {1} v22 v15 v5 ) (36 {1} v22 v15 v4 ) (36 {1} v22 v15 v3 ) (36 {1} v22 v15 v2 ) (36 {1} v22 v15 v1 ) (36 {1} v22 v14 v13 ) (36 {1} v22 v14 v12 ) (36 {1} v22 v14 v11 ) (36 {1} v22 v14 v10 ) (36 {1} v22 v14 v9 ) (36 {1} v22 v14 v8 ) (36 {1} v22 v14 v7 ) (36 {1} v22 v14 v6 ) (36 {1} v22 v14 v5 ) (36 {1} v22 v14 v4 ) (36 {1} v22 v14 v3 ) (36 {1} v22 v14 v2 ) (36 {1} v22 v14 v1 ) (36 {1} v22 v13 v12 ) (36 {1} v22 v13 v11 ) (36 {1} v22 v13 v10 ) (36 {1} v22 v13 v9 ) (36 {1} v22 v13 v8 ) (36 {1} v22 v13 v7 ) (36 {1} v22 v13 v6 ) (36 {1} v22 v13 v5 ) (36 {1} v22 v13 v4 ) (36 {1} v22 v13 v3 ) (36 {1} v22 v13 v2 ) (36 {1} v22 v13 v1 ) (36 {1} v22 v12 v11 ) (36 {1} v22 v12 v10 ) (36 {1} v22 v12 v9 ) (36 {1} v22 v12 v8 ) (36 {1} v22 v12 v7 ) (36 {1} v22 v12 v6 ) (36 {1} v22 v12 v5 ) (36 {1} v22 v12 v4 ) (36 {1} v22 v12 v3 ) (36 {1} v22 v12 v2 ) (36 {1} v22 v12 v1 ) (36 {1} v22 v11 v10 ) (36 {1} v22 v11 v9 ) (36 {1} v22 v11 v8 ) (36 {1} v22 v11 v7 ) (36 {1} v22 v11 v6 ) (36 {1} v22 v11 v5 ) (36 {1} v22 v11 v4 ) (36 {1} v22 v11 v3 ) (36 {1} v22 v11 v2 ) (36 {1} v22 v11 v1 ) (36 {1} v22 v10 v9 ) (36 {1} v22 v10 v8 ) (36 {1} v22 v10 v7 ) (36 {1} v22 v10 v6 ) (36 {1} v22 v10 v5 ) (36 {1} v22 v10 v4 ) (36 {1} v22 v10 v3 ) (36 {1} v22 v10 v2 ) (36 {1} v22 v10 v1 ) (36 {1} v22 v9 v8 ) (36 {1} v22 v9 v7 ) (36 {1} v22 v9 v6 ) (36 {1} v22 v9 v5 ) (36 {1} v22 v9 v4 ) (36 {1} v22 v9 v3 ) (36 {1} v22 v9 v2 ) (36 {1} v22 v9 v1 ) (36 {1} v22 v8 v7 ) (36 {1} v22 v8 v6 ) (36 {1} v22 v8 v5 ) (36 {1} v22 v8 v4 ) (36 {1} v22 v8 v3 ) (36 {1} v22 v8 v2 ) (36 {1} v22 v8 v1 ) (36 {1} v22 v7 v6 ) (36 {1} v22 v7 v5 ) (36 {1} v22 v7 v4 ) (36 {1} v22 v7 v3 ) (36 {1} v22 v7 v2 ) (36 {1} v22 v7 v1 ) (36 {1} v22 v6 v5 ) (36 {1} v22 v6 v4 ) (36 {1} v22 v6 v3 ) (36 {1} v22 v6 v2 ) (36 {1} v22 v6 v1 ) (36 {1} v22 v5 v4 ) (36 {1} v22 v5 v3 ) (36 {1} v22 v5 v2 ) (36 {1} v22 v5 v1 ) (36 {1} v22 v4 v3 ) (36 {1} v22 v4 v2 ) (36 {1} v22 v4 v1 ) (36 {1} v22 v3 v2 ) (36 {1} v22 v3 v1 ) (36 {1} v22 v2 v1 ) (36 {1} v21 v20 v19 ) (36 {1} v21 v20 v18 ) (36 {1} v21 v20 v17 ) (36 {1} v21 v20 v16 ) (36 {1} v21 v20 v15 ) (36 {1} v21 v20 v14 ) (36 {1} v21 v20 v13 ) (36 {1} v21 v20 v12 ) (36 {1} v21 v20 v11 ) (36 {1} v21 v20 v10 ) (36 {1} v21 v20 v9 ) (36 {1} v21 v20 v8 ) (36 {1} v21 v20 v7 ) (36 {1} v21 v20 v6 ) (36 {1} v21 v20 v5 ) (36 {1} v21 v20 v4 ) (36 {1} v21 v20 v3 ) (36 {1} v21 v20 v2 ) (36 {1} v21 v20 v1 ) (36 {1} v21 v19 v18 ) (36 {1} v21 v19 v17 ) (36 {1} v21 v19 v16 ) (36 {1} v21 v19 v15 ) (36 {1} v21 v19 v14 ) (36 {1} v21 v19 v13 ) (36 {1} v21 v19 v12 ) (36 {1} v21 v19 v11 ) (36 {1} v21 v19 v10 ) (36 {1} v21 v19 v9 ) (36 {1} v21 v19 v8 ) (36 {1} v21 v19 v7 ) (36 {1} v21 v19 v6 ) (36 {1} v21 v19 v5 ) (36 {1} v21 v19 v4 ) (36 {1} v21 v19 v3 ) (36 {1} v21 v19 v2 ) (36 {1} v21 v19 v1 ) (36 {1} v21 v18 v17 ) (36 {1} v21 v18 v16 ) (36 {1} v21 v18 v15 ) (36 {1} v21 v18 v14 ) (36 {1} v21 v18 v13 ) (36 {1} v21 v18 v12 ) (36 {1} v21 v18 v11 ) (36 {1} v21 v18 v10 ) (36 {1} v21 v18 v9 ) (36 {1} v21 v18 v8 ) (36 {1} v21 v18 v7 ) (36 {1} v21 v18 v6 ) (36 {1} v21 v18 v5 ) (36 {1} v21 v18 v4 ) (36 {1} v21 v18 v3 ) (36 {1} v21 v18 v2 ) (36 {1} v21 v18 v1 ) (36 {1} v21 v17 v16 ) (36 {1} v21 v17 v15 ) (36 {1} v21 v17 v14 ) (36 {1} v21 v17 v13 ) (36 {1} v21 v17 v12 ) (36 {1} v21 v17 v11 ) (36 {1} v21 v17 v10 ) (36 {1} v21 v17 v9 ) (36 {1} v21 v17 v8 ) (36 {1} v21 v17 v7 ) (36 {1} v21 v17 v6 ) (36 {1} v21 v17 v5 ) (36 {1} v21 v17 v4 ) (36 {1} v21 v17 v3 ) (36 {1} v21 v17 v2 ) (36 {1} v21 v17 v1 ) (36 {1} v21 v16 v15 ) (36 {1} v21 v16 v14 ) (36 {1} v21 v16 v13 ) (36 {1} v21 v16 v12 ) (36 {1} v21 v16 v11 ) (36 {1} v21 v16 v10 ) (36 {1} v21 v16 v9 ) (36 {1} v21 v16 v8 ) (36 {1} v21 v16 v7 ) (36 {1} v21 v16 v6 ) (36 {1} v21 v16 v5 ) (36 {1} v21 v16 v4 ) (36 {1} v21 v16 v3 ) (36 {1} v21 v16 v2 ) (36 {1} v21 v16 v1 ) (36 {1} v21 v15 v14 ) (36 {1} v21 v15 v13 ) (36 {1} v21 v15 v12 ) (36 {1} v21 v15 v11 ) (36 {1} v21 v15 v10 ) (36 {1} v21 v15 v9 ) (36 {1} v21 v15 v8 ) (36 {1} v21 v15 v7 ) (36 {1} v21 v15 v6 ) (36 {1} v21 v15 v5 ) (36 {1} v21 v15 v4 ) (36 {1} v21 v15 v3 ) (36 {1} v21 v15 v2 ) (36 {1} v21 v15 v1 ) (36 {1} v21 v14 v13 ) (36 {1} v21 v14 v12 ) (36 {1} v21 v14 v11 ) (36 {1} v21 v14 v10 ) (36 {1} v21 v14 v9 ) (36 {1} v21 v14 v8 ) (36 {1} v21 v14 v7 ) (36 {1} v21 v14 v6 ) (36 {1} v21 v14 v5 ) (36 {1} v21 v14 v4 ) (36 {1} v21 v14 v3 ) (36 {1} v21 v14 v2 ) (36 {1} v21 v14 v1 ) (36 {1} v21 v13 v12 ) (36 {1} v21 v13 v11 ) (36 {1} v21 v13 v10 ) (36 {1} v21 v13 v9 ) (36 {1} v21 v13 v8 ) (36 {1} v21 v13 v7 ) (36 {1} v21 v13 v6 ) (36 {1} v21 v13 v5 ) (36 {1} v21 v13 v4 ) (36 {1} v21 v13 v3 ) (36 {1} v21 v13 v2 ) (36 {1} v21 v13 v1 ) (36 {1} v21 v12 v11 ) (36 {1} v21 v12 v10 ) (36 {1} v21 v12 v9 ) (36 {1} v21 v12 v8 ) (36 {1} v21 v12 v7 ) (36 {1} v21 v12 v6 ) (36 {1} v21 v12 v5 ) (36 {1} v21 v12 v4 ) (36 {1} v21 v12 v3 ) (36 {1} v21 v12 v2 ) (36 {1} v21 v12 v1 ) (36 {1} v21 v11 v10 ) (36 {1} v21 v11 v9 ) (36 {1} v21 v11 v8 ) (36 {1} v21 v11 v7 ) (36 {1} v21 v11 v6 ) (36 {1} v21 v11 v5 ) (36 {1} v21 v11 v4 ) (36 {1} v21 v11 v3 ) (36 {1} v21 v11 v2 ) (36 {1} v21 v11 v1 ) (36 {1} v21 v10 v9 ) (36 {1} v21 v10 v8 ) (36 {1} v21 v10 v7 ) (36 {1} v21 v10 v6 ) (36 {1} v21 v10 v5 ) (36 {1} v21 v10 v4 ) (36 {1} v21 v10 v3 ) (36 {1} v21 v10 v2 ) (36 {1} v21 v10 v1 ) (36 {1} v21 v9 v8 ) (36 {1} v21 v9 v7 ) (36 {1} v21 v9 v6 ) (36 {1} v21 v9 v5 ) (36 {1} v21 v9 v4 ) (36 {1} v21 v9 v3 ) (36 {1} v21 v9 v2 ) (36 {1} v21 v9 v1 ) (36 {1} v21 v8 v7 ) (36 {1} v21 v8 v6 ) (36 {1} v21 v8 v5 ) (36 {1} v21 v8 v4 ) (36 {1} v21 v8 v3 ) (36 {1} v21 v8 v2 ) (36 {1} v21 v8 v1 ) (36 {1} v21 v7 v6 ) (36 {1} v21 v7 v5 ) (36 {1} v21 v7 v4 ) (36 {1} v21 v7 v3 ) (36 {1} v21 v7 v2 ) (36 {1} v21 v7 v1 ) (36 {1} v21 v6 v5 ) (36 {1} v21 v6 v4 ) (36 {1} v21 v6 v3 ) (36 {1} v21 v6 v2 ) (36 {1} v21 v6 v1 ) (36 {1} v21 v5 v4 ) (36 {1} v21 v5 v3 ) (36 {1} v21 v5 v2 ) (36 {1} v21 v5 v1 ) (36 {1} v21 v4 v3 ) (36 {1} v21 v4 v2 ) (36 {1} v21 v4 v1 ) (36 {1} v21 v3 v2 ) (36 {1} v21 v3 v1 ) (36 {1} v21 v2 v1 ) (36 {1} v20 v19 v18 ) (36 {1} v20 v19 v17 ) (36 {1} v20 v19 v16 ) (36 {1} v20 v19 v15 ) (36 {1} v20 v19 v14 ) (36 {1} v20 v19 v13 ) (36 {1} v20 v19 v12 ) (36 {1} v20 v19 v11 ) (36 {1} v20 v19 v10 ) (36 {1} v20 v19 v9 ) (36 {1} v20 v19 v8 ) (36 {1} v20 v19 v7 ) (36 {1} v20 v19 v6 ) (36 {1} v20 v19 v5 ) (36 {1} v20 v19 v4 ) (36 {1} v20 v19 v3 ) (36 {1} v20 v19 v2 ) (36 {1} v20 v19 v1 ) (36 {1} v20 v18 v17 ) (36 {1} v20 v18 v16 ) (36 {1} v20 v18 v15 ) (36 {1} v20 v18 v14 ) (36 {1} v20 v18 v13 ) (36 {1} v20 v18 v12 ) (36 {1} v20 v18 v11 ) (36 {1} v20 v18 v10 ) (36 {1} v20 v18 v9 ) (36 {1} v20 v18 v8 ) (36 {1} v20 v18 v7 ) (36 {1} v20 v18 v6 ) (36 {1} v20 v18 v5 ) (36 {1} v20 v18 v4 ) (36 {1} v20 v18 v3 ) (36 {1} v20 v18 v2 ) (36 {1} v20 v18 v1 ) (36 {1} v20 v17 v16 ) (36 {1} v20 v17 v15 ) (36 {1} v20 v17 v14 ) (36 {1} v20 v17 v13 ) (36 {1} v20 v17 v12 ) (36 {1} v20 v17 v11 ) (36 {1} v20 v17 v10 ) (36 {1} v20 v17 v9 ) (36 {1} v20 v17 v8 ) (36 {1} v20 v17 v7 ) (36 {1} v20 v17 v6 ) (36 {1} v20 v17 v5 ) (36 {1} v20 v17 v4 ) (36 {1} v20 v17 v3 ) (36 {1} v20 v17 v2 ) (36 {1} v20 v17 v1 ) (36 {1} v20 v16 v15 ) (36 {1} v20 v16 v14 ) (36 {1} v20 v16 v13 ) (36 {1} v20 v16 v12 ) (36 {1} v20 v16 v11 ) (36 {1} v20 v16 v10 ) (36 {1} v20 v16 v9 ) (36 {1} v20 v16 v8 ) (36 {1} v20 v16 v7 ) (36 {1} v20 v16 v6 ) (36 {1} v20 v16 v5 ) (36 {1} v20 v16 v4 ) (36 {1} v20 v16 v3 ) (36 {1} v20 v16 v2 ) (36 {1} v20 v16 v1 ) (36 {1} v20 v15 v14 ) (36 {1} v20 v15 v13 ) (36 {1} v20 v15 v12 ) (36 {1} v20 v15 v11 ) (36 {1} v20 v15 v10 ) (36 {1} v20 v15 v9 ) (36 {1} v20 v15 v8 ) (36 {1} v20 v15 v7 ) (36 {1} v20 v15 v6 ) (36 {1} v20 v15 v5 ) (36 {1} v20 v15 v4 ) (36 {1} v20 v15 v3 ) (36 {1} v20 v15 v2 ) (36 {1} v20 v15 v1 ) (36 {1} v20 v14 v13 ) (36 {1} v20 v14 v12 ) (36 {1} v20 v14 v11 ) (36 {1} v20 v14 v10 ) (36 {1} v20 v14 v9 ) (36 {1} v20 v14 v8 ) (36 {1} v20 v14 v7 ) (36 {1} v20 v14 v6 ) (36 {1} v20 v14 v5 ) (36 {1} v20 v14 v4 ) (36 {1} v20 v14 v3 ) (36 {1} v20 v14 v2 ) (36 {1} v20 v14 v1 ) (36 {1} v20 v13 v12 ) (36 {1} v20 v13 v11 ) (36 {1} v20 v13 v10 ) (36 {1} v20 v13 v9 ) (36 {1} v20 v13 v8 ) (36 {1} v20 v13 v7 ) (36 {1} v20 v13 v6 ) (36 {1} v20 v13 v5 ) (36 {1} v20 v13 v4 ) (36 {1} v20 v13 v3 ) (36 {1} v20 v13 v2 ) (36 {1} v20 v13 v1 ) (36 {1} v20 v12 v11 ) (36 {1} v20 v12 v10 ) (36 {1} v20 v12 v9 ) (36 {1} v20 v12 v8 ) (36 {1} v20 v12 v7 ) (36 {1} v20 v12 v6 ) (36 {1} v20 v12 v5 ) (36 {1} v20 v12 v4 ) (36 {1} v20 v12 v3 ) (36 {1} v20 v12 v2 ) (36 {1} v20 v12 v1 ) (36 {1} v20 v11 v10 ) (36 {1} v20 v11 v9 ) (36 {1} v20 v11 v8 ) (36 {1} v20 v11 v7 ) (36 {1} v20 v11 v6 ) (36 {1} v20 v11 v5 ) (36 {1} v20 v11 v4 ) (36 {1} v20 v11 v3 ) (36 {1} v20 v11 v2 ) (36 {1} v20 v11 v1 ) (36 {1} v20 v10 v9 ) (36 {1} v20 v10 v8 ) (36 {1} v20 v10 v7 ) (36 {1} v20 v10 v6 ) (36 {1} v20 v10 v5 ) (36 {1} v20 v10 v4 ) (36 {1} v20 v10 v3 ) (36 {1} v20 v10 v2 ) (36 {1} v20 v10 v1 ) (36 {1} v20 v9 v8 ) (36 {1} v20 v9 v7 ) (36 {1} v20 v9 v6 ) (36 {1} v20 v9 v5 ) (36 {1} v20 v9 v4 ) (36 {1} v20 v9 v3 ) (36 {1} v20 v9 v2 ) (36 {1} v20 v9 v1 ) (36 {1} v20 v8 v7 ) (36 {1} v20 v8 v6 ) (36 {1} v20 v8 v5 ) (36 {1} v20 v8 v4 ) (36 {1} v20 v8 v3 ) (36 {1} v20 v8 v2 ) (36 {1} v20 v8 v1 ) (36 {1} v20 v7 v6 ) (36 {1} v20 v7 v5 ) (36 {1} v20 v7 v4 ) (36 {1} v20 v7 v3 ) (36 {1} v20 v7 v2 ) (36 {1} v20 v7 v1 ) (36 {1} v20 v6 v5 ) (36 {1} v20 v6 v4 ) (36 {1} v20 v6 v3 ) (36 {1} v20 v6 v2 ) (36 {1} v20 v6 v1 ) (36 {1} v20 v5 v4 ) (36 {1} v20 v5 v3 ) (36 {1} v20 v5 v2 ) (36 {1} v20 v5 v1 ) (36 {1} v20 v4 v3 ) (36 {1} v20 v4 v2 ) (36 {1} v20 v4 v1 ) (36 {1} v20 v3 v2 ) (36 {1} v20 v3 v1 ) (36 {1} v20 v2 v1 ) (36 {1} v19 v18 v17 ) (36 {1} v19 v18 v16 ) (36 {1} v19 v18 v15 ) (36 {1} v19 v18 v14 ) (36 {1} v19 v18 v13 ) (36 {1} v19 v18 v12 ) (36 {1} v19 v18 v11 ) (36 {1} v19 v18 v10 ) (36 {1} v19 v18 v9 ) (36 {1} v19 v18 v8 ) (36 {1} v19 v18 v7 ) (36 {1} v19 v18 v6 ) (36 {1} v19 v18 v5 ) (36 {1} v19 v18 v4 ) (36 {1} v19 v18 v3 ) (36 {1} v19 v18 v2 ) (36 {1} v19 v18 v1 ) (36 {1} v19 v17 v16 ) (36 {1} v19 v17 v15 ) (36 {1} v19 v17 v14 ) (36 {1} v19 v17 v13 ) (36 {1} v19 v17 v12 ) (36 {1} v19 v17 v11 ) (36 {1} v19 v17 v10 ) (36 {1} v19 v17 v9 ) (36 {1} v19 v17 v8 ) (36 {1} v19 v17 v7 ) (36 {1} v19 v17 v6 ) (36 {1} v19 v17 v5 ) (36 {1} v19 v17 v4 ) (36 {1} v19 v17 v3 ) (36 {1} v19 v17 v2 ) (36 {1} v19 v17 v1 ) (36 {1} v19 v16 v15 ) (36 {1} v19 v16 v14 ) (36 {1} v19 v16 v13 ) (36 {1} v19 v16 v12 ) (36 {1} v19 v16 v11 ) (36 {1} v19 v16 v10 ) (36 {1} v19 v16 v9 ) (36 {1} v19 v16 v8 ) (36 {1} v19 v16 v7 ) (36 {1} v19 v16 v6 ) (36 {1} v19 v16 v5 ) (36 {1} v19 v16 v4 ) (36 {1} v19 v16 v3 ) (36 {1} v19 v16 v2 ) (36 {1} v19 v16 v1 ) (36 {1} v19 v15 v14 ) (36 {1} v19 v15 v13 ) (36 {1} v19 v15 v12 ) (36 {1} v19 v15 v11 ) (36 {1} v19 v15 v10 ) (36 {1} v19 v15 v9 ) (36 {1} v19 v15 v8 ) (36 {1} v19 v15 v7 ) (36 {1} v19 v15 v6 ) (36 {1} v19 v15 v5 ) (36 {1} v19 v15 v4 ) (36 {1} v19 v15 v3 ) (36 {1} v19 v15 v2 ) (36 {1} v19 v15 v1 ) (36 {1} v19 v14 v13 ) (36 {1} v19 v14 v12 ) (36 {1} v19 v14 v11 ) (36 {1} v19 v14 v10 ) (36 {1} v19 v14 v9 ) (36 {1} v19 v14 v8 ) (36 {1} v19 v14 v7 ) (36 {1} v19 v14 v6 ) (36 {1} v19 v14 v5 ) (36 {1} v19 v14 v4 ) (36 {1} v19 v14 v3 ) (36 {1} v19 v14 v2 ) (36 {1} v19 v14 v1 ) (36 {1} v19 v13 v12 ) (36 {1} v19 v13 v11 ) (36 {1} v19 v13 v10 ) (36 {1} v19 v13 v9 ) (36 {1} v19 v13 v8 ) (36 {1} v19 v13 v7 ) (36 {1} v19 v13 v6 ) (36 {1} v19 v13 v5 ) (36 {1} v19 v13 v4 ) (36 {1} v19 v13 v3 ) (36 {1} v19 v13 v2 ) (36 {1} v19 v13 v1 ) (36 {1} v19 v12 v11 ) (36 {1} v19 v12 v10 ) (36 {1} v19 v12 v9 ) (36 {1} v19 v12 v8 ) (36 {1} v19 v12 v7 ) (36 {1} v19 v12 v6 ) (36 {1} v19 v12 v5 ) (36 {1} v19 v12 v4 ) (36 {1} v19 v12 v3 ) (36 {1} v19 v12 v2 ) (36 {1} v19 v12 v1 ) (36 {1} v19 v11 v10 ) (36 {1} v19 v11 v9 ) (36 {1} v19 v11 v8 ) (36 {1} v19 v11 v7 ) (36 {1} v19 v11 v6 ) (36 {1} v19 v11 v5 ) (36 {1} v19 v11 v4 ) (36 {1} v19 v11 v3 ) (36 {1} v19 v11 v2 ) (36 {1} v19 v11 v1 ) (36 {1} v19 v10 v9 ) (36 {1} v19 v10 v8 ) (36 {1} v19 v10 v7 ) (36 {1} v19 v10 v6 ) (36 {1} v19 v10 v5 ) (36 {1} v19 v10 v4 ) (36 {1} v19 v10 v3 ) (36 {1} v19 v10 v2 ) (36 {1} v19 v10 v1 ) (36 {1} v19 v9 v8 ) (36 {1} v19 v9 v7 ) (36 {1} v19 v9 v6 ) (36 {1} v19 v9 v5 ) (36 {1} v19 v9 v4 ) (36 {1} v19 v9 v3 ) (36 {1} v19 v9 v2 ) (36 {1} v19 v9 v1 ) (36 {1} v19 v8 v7 ) (36 {1} v19 v8 v6 ) (36 {1} v19 v8 v5 ) (36 {1} v19 v8 v4 ) (36 {1} v19 v8 v3 ) (36 {1} v19 v8 v2 ) (36 {1} v19 v8 v1 ) (36 {1} v19 v7 v6 ) (36 {1} v19 v7 v5 ) (36 {1} v19 v7 v4 ) (36 {1} v19 v7 v3 ) (36 {1} v19 v7 v2 ) (36 {1} v19 v7 v1 ) (36 {1} v19 v6 v5 ) (36 {1} v19 v6 v4 ) (36 {1} v19 v6 v3 ) (36 {1} v19 v6 v2 ) (36 {1} v19 v6 v1 ) (36 {1} v19 v5 v4 ) (36 {1} v19 v5 v3 ) (36 {1} v19 v5 v2 ) (36 {1} v19 v5 v1 ) (36 {1} v19 v4 v3 ) (36 {1} v19 v4 v2 ) (36 {1} v19 v4 v1 ) (36 {1} v19 v3 v2 ) (36 {1} v19 v3 v1 ) (36 {1} v19 v2 v1 ) (36 {1} v18 v17 v16 ) (36 {1} v18 v17 v15 ) (36 {1} v18 v17 v14 ) (36 {1} v18 v17 v13 ) (36 {1} v18 v17 v12 ) (36 {1} v18 v17 v11 ) (36 {1} v18 v17 v10 ) (36 {1} v18 v17 v9 ) (36 {1} v18 v17 v8 ) (36 {1} v18 v17 v7 ) (36 {1} v18 v17 v6 ) (36 {1} v18 v17 v5 ) (36 {1} v18 v17 v4 ) (36 {1} v18 v17 v3 ) (36 {1} v18 v17 v2 ) (36 {1} v18 v17 v1 ) (36 {1} v18 v16 v15 ) (36 {1} v18 v16 v14 ) (36 {1} v18 v16 v13 ) (36 {1} v18 v16 v12 ) (36 {1} v18 v16 v11 ) (36 {1} v18 v16 v10 ) (36 {1} v18 v16 v9 ) (36 {1} v18 v16 v8 ) (36 {1} v18 v16 v7 ) (36 {1} v18 v16 v6 ) (36 {1} v18 v16 v5 ) (36 {1} v18 v16 v4 ) (36 {1} v18 v16 v3 ) (36 {1} v18 v16 v2 ) (36 {1} v18 v16 v1 ) (36 {1} v18 v15 v14 ) (36 {1} v18 v15 v13 ) (36 {1} v18 v15 v12 ) (36 {1} v18 v15 v11 ) (36 {1} v18 v15 v10 ) (36 {1} v18 v15 v9 ) (36 {1} v18 v15 v8 ) (36 {1} v18 v15 v7 ) (36 {1} v18 v15 v6 ) (36 {1} v18 v15 v5 ) (36 {1} v18 v15 v4 ) (36 {1} v18 v15 v3 ) (36 {1} v18 v15 v2 ) (36 {1} v18 v15 v1 ) (36 {1} v18 v14 v13 ) (36 {1} v18 v14 v12 ) (36 {1} v18 v14 v11 ) (36 {1} v18 v14 v10 ) (36 {1} v18 v14 v9 ) (36 {1} v18 v14 v8 ) (36 {1} v18 v14 v7 ) (36 {1} v18 v14 v6 ) (36 {1} v18 v14 v5 ) (36 {1} v18 v14 v4 ) (36 {1} v18 v14 v3 ) (36 {1} v18 v14 v2 ) (36 {1} v18 v14 v1 ) (36 {1} v18 v13 v12 ) (36 {1} v18 v13 v11 ) (36 {1} v18 v13 v10 ) (36 {1} v18 v13 v9 ) (36 {1} v18 v13 v8 ) (36 {1} v18 v13 v7 ) (36 {1} v18 v13 v6 ) (36 {1} v18 v13 v5 ) (36 {1} v18 v13 v4 ) (36 {1} v18 v13 v3 ) (36 {1} v18 v13 v2 ) (36 {1} v18 v13 v1 ) (36 {1} v18 v12 v11 ) (36 {1} v18 v12 v10 ) (36 {1} v18 v12 v9 ) (36 {1} v18 v12 v8 ) (36 {1} v18 v12 v7 ) (36 {1} v18 v12 v6 ) (36 {1} v18 v12 v5 ) (36 {1} v18 v12 v4 ) (36 {1} v18 v12 v3 ) (36 {1} v18 v12 v2 ) (36 {1} v18 v12 v1 ) (36 {1} v18 v11 v10 ) (36 {1} v18 v11 v9 ) (36 {1} v18 v11 v8 ) (36 {1} v18 v11 v7 ) (36 {1} v18 v11 v6 ) (36 {1} v18 v11 v5 ) (36 {1} v18 v11 v4 ) (36 {1} v18 v11 v3 ) (36 {1} v18 v11 v2 ) (36 {1} v18 v11 v1 ) (36 {1} v18 v10 v9 ) (36 {1} v18 v10 v8 ) (36 {1} v18 v10 v7 ) (36 {1} v18 v10 v6 ) (36 {1} v18 v10 v5 ) (36 {1} v18 v10 v4 ) (36 {1} v18 v10 v3 ) (36 {1} v18 v10 v2 ) (36 {1} v18 v10 v1 ) (36 {1} v18 v9 v8 ) (36 {1} v18 v9 v7 ) (36 {1} v18 v9 v6 ) (36 {1} v18 v9 v5 ) (36 {1} v18 v9 v4 ) (36 {1} v18 v9 v3 ) (36 {1} v18 v9 v2 ) (36 {1} v18 v9 v1 ) (36 {1} v18 v8 v7 ) (36 {1} v18 v8 v6 ) (36 {1} v18 v8 v5 ) (36 {1} v18 v8 v4 ) (36 {1} v18 v8 v3 ) (36 {1} v18 v8 v2 ) (36 {1} v18 v8 v1 ) (36 {1} v18 v7 v6 ) (36 {1} v18 v7 v5 ) (36 {1} v18 v7 v4 ) (36 {1} v18 v7 v3 ) (36 {1} v18 v7 v2 ) (36 {1} v18 v7 v1 ) (36 {1} v18 v6 v5 ) (36 {1} v18 v6 v4 ) (36 {1} v18 v6 v3 ) (36 {1} v18 v6 v2 ) (36 {1} v18 v6 v1 ) (36 {1} v18 v5 v4 ) (36 {1} v18 v5 v3 ) (36 {1} v18 v5 v2 ) (36 {1} v18 v5 v1 ) (36 {1} v18 v4 v3 ) (36 {1} v18 v4 v2 ) (36 {1} v18 v4 v1 ) (36 {1} v18 v3 v2 ) (36 {1} v18 v3 v1 ) (36 {1} v18 v2 v1 ) (36 {1} v17 v16 v15 ) (36 {1} v17 v16 v14 ) (36 {1} v17 v16 v13 ) (36 {1} v17 v16 v12 ) (36 {1} v17 v16 v11 ) (36 {1} v17 v16 v10 ) (36 {1} v17 v16 v9 ) (36 {1} v17 v16 v8 ) (36 {1} v17 v16 v7 ) (36 {1} v17 v16 v6 ) (36 {1} v17 v16 v5 ) (36 {1} v17 v16 v4 ) (36 {1} v17 v16 v3 ) (36 {1} v17 v16 v2 ) (36 {1} v17 v16 v1 ) (36 {1} v17 v15 v14 ) (36 {1} v17 v15 v13 ) (36 {1} v17 v15 v12 ) (36 {1} v17 v15 v11 ) (36 {1} v17 v15 v10 ) (36 {1} v17 v15 v9 ) (36 {1} v17 v15 v8 ) (36 {1} v17 v15 v7 ) (36 {1} v17 v15 v6 ) (36 {1} v17 v15 v5 ) (36 {1} v17 v15 v4 ) (36 {1} v17 v15 v3 ) (36 {1} v17 v15 v2 ) (36 {1} v17 v15 v1 ) (36 {1} v17 v14 v13 ) (36 {1} v17 v14 v12 ) (36 {1} v17 v14 v11 ) (36 {1} v17 v14 v10 ) (36 {1} v17 v14 v9 ) (36 {1} v17 v14 v8 ) (36 {1} v17 v14 v7 ) (36 {1} v17 v14 v6 ) (36 {1} v17 v14 v5 ) (36 {1} v17 v14 v4 ) (36 {1} v17 v14 v3 ) (36 {1} v17 v14 v2 ) (36 {1} v17 v14 v1 ) (36 {1} v17 v13 v12 ) (36 {1} v17 v13 v11 ) (36 {1} v17 v13 v10 ) (36 {1} v17 v13 v9 ) (36 {1} v17 v13 v8 ) (36 {1} v17 v13 v7 ) (36 {1} v17 v13 v6 ) (36 {1} v17 v13 v5 ) (36 {1} v17 v13 v4 ) (36 {1} v17 v13 v3 ) (36 {1} v17 v13 v2 ) (36 {1} v17 v13 v1 ) (36 {1} v17 v12 v11 ) (36 {1} v17 v12 v10 ) (36 {1} v17 v12 v9 ) (36 {1} v17 v12 v8 ) (36 {1} v17 v12 v7 ) (36 {1} v17 v12 v6 ) (36 {1} v17 v12 v5 ) (36 {1} v17 v12 v4 ) (36 {1} v17 v12 v3 ) (36 {1} v17 v12 v2 ) (36 {1} v17 v12 v1 ) (36 {1} v17 v11 v10 ) (36 {1} v17 v11 v9 ) (36 {1} v17 v11 v8 ) (36 {1} v17 v11 v7 ) (36 {1} v17 v11 v6 ) (36 {1} v17 v11 v5 ) (36 {1} v17 v11 v4 ) (36 {1} v17 v11 v3 ) (36 {1} v17 v11 v2 ) (36 {1} v17 v11 v1 ) (36 {1} v17 v10 v9 ) (36 {1} v17 v10 v8 ) (36 {1} v17 v10 v7 ) (36 {1} v17 v10 v6 ) (36 {1} v17 v10 v5 ) (36 {1} v17 v10 v4 ) (36 {1} v17 v10 v3 ) (36 {1} v17 v10 v2 ) (36 {1} v17 v10 v1 ) (36 {1} v17 v9 v8 ) (36 {1} v17 v9 v7 ) (36 {1} v17 v9 v6 ) (36 {1} v17 v9 v5 ) (36 {1} v17 v9 v4 ) (36 {1} v17 v9 v3 ) (36 {1} v17 v9 v2 ) (36 {1} v17 v9 v1 ) (36 {1} v17 v8 v7 ) (36 {1} v17 v8 v6 ) (36 {1} v17 v8 v5 ) (36 {1} v17 v8 v4 ) (36 {1} v17 v8 v3 ) (36 {1} v17 v8 v2 ) (36 {1} v17 v8 v1 ) (36 {1} v17 v7 v6 ) (36 {1} v17 v7 v5 ) (36 {1} v17 v7 v4 ) (36 {1} v17 v7 v3 ) (36 {1} v17 v7 v2 ) (36 {1} v17 v7 v1 ) (36 {1} v17 v6 v5 ) (36 {1} v17 v6 v4 ) (36 {1} v17 v6 v3 ) (36 {1} v17 v6 v2 ) (36 {1} v17 v6 v1 ) (36 {1} v17 v5 v4 ) (36 {1} v17 v5 v3 ) (36 {1} v17 v5 v2 ) (36 {1} v17 v5 v1 ) (36 {1} v17 v4 v3 ) (36 {1} v17 v4 v2 ) (36 {1} v17 v4 v1 ) (36 {1} v17 v3 v2 ) (36 {1} v17 v3 v1 ) (36 {1} v17 v2 v1 ) (36 {1} v16 v15 v14 ) (36 {1} v16 v15 v13 ) (36 {1} v16 v15 v12 ) (36 {1} v16 v15 v11 ) (36 {1} v16 v15 v10 ) (36 {1} v16 v15 v9 ) (36 {1} v16 v15 v8 ) (36 {1} v16 v15 v7 ) (36 {1} v16 v15 v6 ) (36 {1} v16 v15 v5 ) (36 {1} v16 v15 v4 ) (36 {1} v16 v15 v3 ) (36 {1} v16 v15 v2 ) (36 {1} v16 v15 v1 ) (36 {1} v16 v14 v13 ) (36 {1} v16 v14 v12 ) (36 {1} v16 v14 v11 ) (36 {1} v16 v14 v10 ) (36 {1} v16 v14 v9 ) (36 {1} v16 v14 v8 ) (36 {1} v16 v14 v7 ) (36 {1} v16 v14 v6 ) (36 {1} v16 v14 v5 ) (36 {1} v16 v14 v4 ) (36 {1} v16 v14 v3 ) (36 {1} v16 v14 v2 ) (36 {1} v16 v14 v1 ) (36 {1} v16 v13 v12 ) (36 {1} v16 v13 v11 ) (36 {1} v16 v13 v10 ) (36 {1} v16 v13 v9 ) (36 {1} v16 v13 v8 ) (36 {1} v16 v13 v7 ) (36 {1} v16 v13 v6 ) (36 {1} v16 v13 v5 ) (36 {1} v16 v13 v4 ) (36 {1} v16 v13 v3 ) (36 {1} v16 v13 v2 ) (36 {1} v16 v13 v1 ) (36 {1} v16 v12 v11 ) (36 {1} v16 v12 v10 ) (36 {1} v16 v12 v9 ) (36 {1} v16 v12 v8 ) (36 {1} v16 v12 v7 ) (36 {1} v16 v12 v6 ) (36 {1} v16 v12 v5 ) (36 {1} v16 v12 v4 ) (36 {1} v16 v12 v3 ) (36 {1} v16 v12 v2 ) (36 {1} v16 v12 v1 ) (36 {1} v16 v11 v10 ) (36 {1} v16 v11 v9 ) (36 {1} v16 v11 v8 ) (36 {1} v16 v11 v7 ) (36 {1} v16 v11 v6 ) (36 {1} v16 v11 v5 ) (36 {1} v16 v11 v4 ) (36 {1} v16 v11 v3 ) (36 {1} v16 v11 v2 ) (36 {1} v16 v11 v1 ) (36 {1} v16 v10 v9 ) (36 {1} v16 v10 v8 ) (36 {1} v16 v10 v7 ) (36 {1} v16 v10 v6 ) (36 {1} v16 v10 v5 ) (36 {1} v16 v10 v4 ) (36 {1} v16 v10 v3 ) (36 {1} v16 v10 v2 ) (36 {1} v16 v10 v1 ) (36 {1} v16 v9 v8 ) (36 {1} v16 v9 v7 ) (36 {1} v16 v9 v6 ) (36 {1} v16 v9 v5 ) (36 {1} v16 v9 v4 ) (36 {1} v16 v9 v3 ) (36 {1} v16 v9 v2 ) (36 {1} v16 v9 v1 ) (36 {1} v16 v8 v7 ) (36 {1} v16 v8 v6 ) (36 {1} v16 v8 v5 ) (36 {1} v16 v8 v4 ) (36 {1} v16 v8 v3 ) (36 {1} v16 v8 v2 ) (36 {1} v16 v8 v1 ) (36 {1} v16 v7 v6 ) (36 {1} v16 v7 v5 ) (36 {1} v16 v7 v4 ) (36 {1} v16 v7 v3 ) (36 {1} v16 v7 v2 ) (36 {1} v16 v7 v1 ) (36 {1} v16 v6 v5 ) (36 {1} v16 v6 v4 ) (36 {1} v16 v6 v3 ) (36 {1} v16 v6 v2 ) (36 {1} v16 v6 v1 ) (36 {1} v16 v5 v4 ) (36 {1} v16 v5 v3 ) (36 {1} v16 v5 v2 ) (36 {1} v16 v5 v1 ) (36 {1} v16 v4 v3 ) (36 {1} v16 v4 v2 ) (36 {1} v16 v4 v1 ) (36 {1} v16 v3 v2 ) (36 {1} v16 v3 v1 ) (36 {1} v16 v2 v1 ) (36 {1} v15 v14 v13 ) (36 {1} v15 v14 v12 ) (36 {1} v15 v14 v11 ) (36 {1} v15 v14 v10 ) (36 {1} v15 v14 v9 ) (36 {1} v15 v14 v8 ) (36 {1} v15 v14 v7 ) (36 {1} v15 v14 v6 ) (36 {1} v15 v14 v5 ) (36 {1} v15 v14 v4 ) (36 {1} v15 v14 v3 ) (36 {1} v15 v14 v2 ) (36 {1} v15 v14 v1 ) (36 {1} v15 v13 v12 ) (36 {1} v15 v13 v11 ) (36 {1} v15 v13 v10 ) (36 {1} v15 v13 v9 ) (36 {1} v15 v13 v8 ) (36 {1} v15 v13 v7 ) (36 {1} v15 v13 v6 ) (36 {1} v15 v13 v5 ) (36 {1} v15 v13 v4 ) (36 {1} v15 v13 v3 ) (36 {1} v15 v13 v2 ) (36 {1} v15 v13 v1 ) (36 {1} v15 v12 v11 ) (36 {1} v15 v12 v10 ) (36 {1} v15 v12 v9 ) (36 {1} v15 v12 v8 ) (36 {1} v15 v12 v7 ) (36 {1} v15 v12 v6 ) (36 {1} v15 v12 v5 ) (36 {1} v15 v12 v4 ) (36 {1} v15 v12 v3 ) (36 {1} v15 v12 v2 ) (36 {1} v15 v12 v1 ) (36 {1} v15 v11 v10 ) (36 {1} v15 v11 v9 ) (36 {1} v15 v11 v8 ) (36 {1} v15 v11 v7 ) (36 {1} v15 v11 v6 ) (36 {1} v15 v11 v5 ) (36 {1} v15 v11 v4 ) (36 {1} v15 v11 v3 ) (36 {1} v15 v11 v2 ) (36 {1} v15 v11 v1 ) (36 {1} v15 v10 v9 ) (36 {1} v15 v10 v8 ) (36 {1} v15 v10 v7 ) (36 {1} v15 v10 v6 ) (36 {1} v15 v10 v5 ) (36 {1} v15 v10 v4 ) (36 {1} v15 v10 v3 ) (36 {1} v15 v10 v2 ) (36 {1} v15 v10 v1 ) (36 {1} v15 v9 v8 ) (36 {1} v15 v9 v7 ) (36 {1} v15 v9 v6 ) (36 {1} v15 v9 v5 ) (36 {1} v15 v9 v4 ) (36 {1} v15 v9 v3 ) (36 {1} v15 v9 v2 ) (36 {1} v15 v9 v1 ) (36 {1} v15 v8 v7 ) (36 {1} v15 v8 v6 ) (36 {1} v15 v8 v5 ) (36 {1} v15 v8 v4 ) (36 {1} v15 v8 v3 ) (36 {1} v15 v8 v2 ) (36 {1} v15 v8 v1 ) (36 {1} v15 v7 v6 ) (36 {1} v15 v7 v5 ) (36 {1} v15 v7 v4 ) (36 {1} v15 v7 v3 ) (36 {1} v15 v7 v2 ) (36 {1} v15 v7 v1 ) (36 {1} v15 v6 v5 ) (36 {1} v15 v6 v4 ) (36 {1} v15 v6 v3 ) (36 {1} v15 v6 v2 ) (36 {1} v15 v6 v1 ) (36 {1} v15 v5 v4 ) (36 {1} v15 v5 v3 ) (36 {1} v15 v5 v2 ) (36 {1} v15 v5 v1 ) (36 {1} v15 v4 v3 ) (36 {1} v15 v4 v2 ) (36 {1} v15 v4 v1 ) (36 {1} v15 v3 v2 ) (36 {1} v15 v3 v1 ) (36 {1} v15 v2 v1 ) (36 {1} v14 v13 v12 ) (36 {1} v14 v13 v11 ) (36 {1} v14 v13 v10 ) (36 {1} v14 v13 v9 ) (36 {1} v14 v13 v8 ) (36 {1} v14 v13 v7 ) (36 {1} v14 v13 v6 ) (36 {1} v14 v13 v5 ) (36 {1} v14 v13 v4 ) (36 {1} v14 v13 v3 ) (36 {1} v14 v13 v2 ) (36 {1} v14 v13 v1 ) (36 {1} v14 v12 v11 ) (36 {1} v14 v12 v10 ) (36 {1} v14 v12 v9 ) (36 {1} v14 v12 v8 ) (36 {1} v14 v12 v7 ) (36 {1} v14 v12 v6 ) (36 {1} v14 v12 v5 ) (36 {1} v14 v12 v4 ) (36 {1} v14 v12 v3 ) (36 {1} v14 v12 v2 ) (36 {1} v14 v12 v1 ) (36 {1} v14 v11 v10 ) (36 {1} v14 v11 v9 ) (36 {1} v14 v11 v8 ) (36 {1} v14 v11 v7 ) (36 {1} v14 v11 v6 ) (36 {1} v14 v11 v5 ) (36 {1} v14 v11 v4 ) (36 {1} v14 v11 v3 ) (36 {1} v14 v11 v2 ) (36 {1} v14 v11 v1 ) (36 {1} v14 v10 v9 ) (36 {1} v14 v10 v8 ) (36 {1} v14 v10 v7 ) (36 {1} v14 v10 v6 ) (36 {1} v14 v10 v5 ) (36 {1} v14 v10 v4 ) (36 {1} v14 v10 v3 ) (36 {1} v14 v10 v2 ) (36 {1} v14 v10 v1 ) (36 {1} v14 v9 v8 ) (36 {1} v14 v9 v7 ) (36 {1} v14 v9 v6 ) (36 {1} v14 v9 v5 ) (36 {1} v14 v9 v4 ) (36 {1} v14 v9 v3 ) (36 {1} v14 v9 v2 ) (36 {1} v14 v9 v1 ) (36 {1} v14 v8 v7 ) (36 {1} v14 v8 v6 ) (36 {1} v14 v8 v5 ) (36 {1} v14 v8 v4 ) (36 {1} v14 v8 v3 ) (36 {1} v14 v8 v2 ) (36 {1} v14 v8 v1 ) (36 {1} v14 v7 v6 ) (36 {1} v14 v7 v5 ) (36 {1} v14 v7 v4 ) (36 {1} v14 v7 v3 ) (36 {1} v14 v7 v2 ) (36 {1} v14 v7 v1 ) (36 {1} v14 v6 v5 ) (36 {1} v14 v6 v4 ) (36 {1} v14 v6 v3 ) (36 {1} v14 v6 v2 ) (36 {1} v14 v6 v1 ) (36 {1} v14 v5 v4 ) (36 {1} v14 v5 v3 ) (36 {1} v14 v5 v2 ) (36 {1} v14 v5 v1 ) (36 {1} v14 v4 v3 ) (36 {1} v14 v4 v2 ) (36 {1} v14 v4 v1 ) (36 {1} v14 v3 v2 ) (36 {1} v14 v3 v1 ) (36 {1} v14 v2 v1 ) (36 {1} v13 v12 v11 ) (36 {1} v13 v12 v10 ) (36 {1} v13 v12 v9 ) (36 {1} v13 v12 v8 ) (36 {1} v13 v12 v7 ) (36 {1} v13 v12 v6 ) (36 {1} v13 v12 v5 ) (36 {1} v13 v12 v4 ) (36 {1} v13 v12 v3 ) (36 {1} v13 v12 v2 ) (36 {1} v13 v12 v1 ) (36 {1} v13 v11 v10 ) (36 {1} v13 v11 v9 ) (36 {1} v13 v11 v8 ) (36 {1} v13 v11 v7 ) (36 {1} v13 v11 v6 ) (36 {1} v13 v11 v5 ) (36 {1} v13 v11 v4 ) (36 {1} v13 v11 v3 ) (36 {1} v13 v11 v2 ) (36 {1} v13 v11 v1 ) (36 {1} v13 v10 v9 ) (36 {1} v13 v10 v8 ) (36 {1} v13 v10 v7 ) (36 {1} v13 v10 v6 ) (36 {1} v13 v10 v5 ) (36 {1} v13 v10 v4 ) (36 {1} v13 v10 v3 ) (36 {1} v13 v10 v2 ) (36 {1} v13 v10 v1 ) (36 {1} v13 v9 v8 ) (36 {1} v13 v9 v7 ) (36 {1} v13 v9 v6 ) (36 {1} v13 v9 v5 ) (36 {1} v13 v9 v4 ) (36 {1} v13 v9 v3 ) (36 {1} v13 v9 v2 ) (36 {1} v13 v9 v1 ) (36 {1} v13 v8 v7 ) (36 {1} v13 v8 v6 ) (36 {1} v13 v8 v5 ) (36 {1} v13 v8 v4 ) (36 {1} v13 v8 v3 ) (36 {1} v13 v8 v2 ) (36 {1} v13 v8 v1 ) (36 {1} v13 v7 v6 ) (36 {1} v13 v7 v5 ) (36 {1} v13 v7 v4 ) (36 {1} v13 v7 v3 ) (36 {1} v13 v7 v2 ) (36 {1} v13 v7 v1 ) (36 {1} v13 v6 v5 ) (36 {1} v13 v6 v4 ) (36 {1} v13 v6 v3 ) (36 {1} v13 v6 v2 ) (36 {1} v13 v6 v1 ) (36 {1} v13 v5 v4 ) (36 {1} v13 v5 v3 ) (36 {1} v13 v5 v2 ) (36 {1} v13 v5 v1 ) (36 {1} v13 v4 v3 ) (36 {1} v13 v4 v2 ) (36 {1} v13 v4 v1 ) (36 {1} v13 v3 v2 ) (36 {1} v13 v3 v1 ) (36 {1} v13 v2 v1 ) (36 {1} v12 v11 v10 ) (36 {1} v12 v11 v9 ) (36 {1} v12 v11 v8 ) (36 {1} v12 v11 v7 ) (36 {1} v12 v11 v6 ) (36 {1} v12 v11 v5 ) (36 {1} v12 v11 v4 ) (36 {1} v12 v11 v3 ) (36 {1} v12 v11 v2 ) (36 {1} v12 v11 v1 ) (36 {1} v12 v10 v9 ) (36 {1} v12 v10 v8 ) (36 {1} v12 v10 v7 ) (36 {1} v12 v10 v6 ) (36 {1} v12 v10 v5 ) (36 {1} v12 v10 v4 ) (36 {1} v12 v10 v3 ) (36 {1} v12 v10 v2 ) (36 {1} v12 v10 v1 ) (36 {1} v12 v9 v8 ) (36 {1} v12 v9 v7 ) (36 {1} v12 v9 v6 ) (36 {1} v12 v9 v5 ) (36 {1} v12 v9 v4 ) (36 {1} v12 v9 v3 ) (36 {1} v12 v9 v2 ) (36 {1} v12 v9 v1 ) (36 {1} v12 v8 v7 ) (36 {1} v12 v8 v6 ) (36 {1} v12 v8 v5 ) (36 {1} v12 v8 v4 ) (36 {1} v12 v8 v3 ) (36 {1} v12 v8 v2 ) (36 {1} v12 v8 v1 ) (36 {1} v12 v7 v6 ) (36 {1} v12 v7 v5 ) (36 {1} v12 v7 v4 ) (36 {1} v12 v7 v3 ) (36 {1} v12 v7 v2 ) (36 {1} v12 v7 v1 ) (36 {1} v12 v6 v5 ) (36 {1} v12 v6 v4 ) (36 {1} v12 v6 v3 ) (36 {1} v12 v6 v2 ) (36 {1} v12 v6 v1 ) (36 {1} v12 v5 v4 ) (36 {1} v12 v5 v3 ) (36 {1} v12 v5 v2 ) (36 {1} v12 v5 v1 ) (36 {1} v12 v4 v3 ) (36 {1} v12 v4 v2 ) (36 {1} v12 v4 v1 ) (36 {1} v12 v3 v2 ) (36 {1} v12 v3 v1 ) (36 {1} v12 v2 v1 ) (36 {1} v11 v10 v9 ) (36 {1} v11 v10 v8 ) (36 {1} v11 v10 v7 ) (36 {1} v11 v10 v6 ) (36 {1} v11 v10 v5 ) (36 {1} v11 v10 v4 ) (36 {1} v11 v10 v3 ) (36 {1} v11 v10 v2 ) (36 {1} v11 v10 v1 ) (36 {1} v11 v9 v8 ) (36 {1} v11 v9 v7 ) (36 {1} v11 v9 v6 ) (36 {1} v11 v9 v5 ) (36 {1} v11 v9 v4 ) (36 {1} v11 v9 v3 ) (36 {1} v11 v9 v2 ) (36 {1} v11 v9 v1 ) (36 {1} v11 v8 v7 ) (36 {1} v11 v8 v6 ) (36 {1} v11 v8 v5 ) (36 {1} v11 v8 v4 ) (36 {1} v11 v8 v3 ) (36 {1} v11 v8 v2 ) (36 {1} v11 v8 v1 ) (36 {1} v11 v7 v6 ) (36 {1} v11 v7 v5 ) (36 {1} v11 v7 v4 ) (36 {1} v11 v7 v3 ) (36 {1} v11 v7 v2 ) (36 {1} v11 v7 v1 ) (36 {1} v11 v6 v5 ) (36 {1} v11 v6 v4 ) (36 {1} v11 v6 v3 ) (36 {1} v11 v6 v2 ) (36 {1} v11 v6 v1 ) (36 {1} v11 v5 v4 ) (36 {1} v11 v5 v3 ) (36 {1} v11 v5 v2 ) (36 {1} v11 v5 v1 ) (36 {1} v11 v4 v3 ) (36 {1} v11 v4 v2 ) (36 {1} v11 v4 v1 ) (36 {1} v11 v3 v2 ) (36 {1} v11 v3 v1 ) (36 {1} v11 v2 v1 ) (36 {1} v10 v9 v8 ) (36 {1} v10 v9 v7 ) (36 {1} v10 v9 v6 ) (36 {1} v10 v9 v5 ) (36 {1} v10 v9 v4 ) (36 {1} v10 v9 v3 ) (36 {1} v10 v9 v2 ) (36 {1} v10 v9 v1 ) (36 {1} v10 v8 v7 ) (36 {1} v10 v8 v6 ) (36 {1} v10 v8 v5 ) (36 {1} v10 v8 v4 ) (36 {1} v10 v8 v3 ) (36 {1} v10 v8 v2 ) (36 {1} v10 v8 v1 ) (36 {1} v10 v7 v6 ) (36 {1} v10 v7 v5 ) (36 {1} v10 v7 v4 ) (36 {1} v10 v7 v3 ) (36 {1} v10 v7 v2 ) (36 {1} v10 v7 v1 ) (36 {1} v10 v6 v5 ) (36 {1} v10 v6 v4 ) (36 {1} v10 v6 v3 ) (36 {1} v10 v6 v2 ) (36 {1} v10 v6 v1 ) (36 {1} v10 v5 v4 ) (36 {1} v10 v5 v3 ) (36 {1} v10 v5 v2 ) (36 {1} v10 v5 v1 ) (36 {1} v10 v4 v3 ) (36 {1} v10 v4 v2 ) (36 {1} v10 v4 v1 ) (36 {1} v10 v3 v2 ) (36 {1} v10 v3 v1 ) (36 {1} v10 v2 v1 ) (36 {1} v9 v8 v7 ) (36 {1} v9 v8 v6 ) (36 {1} v9 v8 v5 ) (36 {1} v9 v8 v4 ) (36 {1} v9 v8 v3 ) (36 {1} v9 v8 v2 ) (36 {1} v9 v8 v1 ) (36 {1} v9 v7 v6 ) (36 {1} v9 v7 v5 ) (36 {1} v9 v7 v4 ) (36 {1} v9 v7 v3 ) (36 {1} v9 v7 v2 ) (36 {1} v9 v7 v1 ) (36 {1} v9 v6 v5 ) (36 {1} v9 v6 v4 ) (36 {1} v9 v6 v3 ) (36 {1} v9 v6 v2 ) (36 {1} v9 v6 v1 ) (36 {1} v9 v5 v4 ) (36 {1} v9 v5 v3 ) (36 {1} v9 v5 v2 ) (36 {1} v9 v5 v1 ) (36 {1} v9 v4 v3 ) (36 {1} v9 v4 v2 ) (36 {1} v9 v4 v1 ) (36 {1} v9 v3 v2 ) (36 {1} v9 v3 v1 ) (36 {1} v9 v2 v1 ) (36 {1} v8 v7 v6 ) (36 {1} v8 v7 v5 ) (36 {1} v8 v7 v4 ) (36 {1} v8 v7 v3 ) (36 {1} v8 v7 v2 ) (36 {1} v8 v7 v1 ) (36 {1} v8 v6 v5 ) (36 {1} v8 v6 v4 ) (36 {1} v8 v6 v3 ) (36 {1} v8 v6 v2 ) (36 {1} v8 v6 v1 ) (36 {1} v8 v5 v4 ) (36 {1} v8 v5 v3 ) (36 {1} v8 v5 v2 ) (36 {1} v8 v5 v1 ) (36 {1} v8 v4 v3 ) (36 {1} v8 v4 v2 ) (36 {1} v8 v4 v1 ) (36 {1} v8 v3 v2 ) (36 {1} v8 v3 v1 ) (36 {1} v8 v2 v1 ) (36 {1} v7 v6 v5 ) (36 {1} v7 v6 v4 ) (36 {1} v7 v6 v3 ) (36 {1} v7 v6 v2 ) (36 {1} v7 v6 v1 ) (36 {1} v7 v5 v4 ) (36 {1} v7 v5 v3 ) (36 {1} v7 v5 v2 ) (36 {1} v7 v5 v1 ) (36 {1} v7 v4 v3 ) (36 {1} v7 v4 v2 ) (36 {1} v7 v4 v1 ) (36 {1} v7 v3 v2 ) (36 {1} v7 v3 v1 ) (36 {1} v7 v2 v1 ) (36 {1} v6 v5 v4 ) (36 {1} v6 v5 v3 ) (36 {1} v6 v5 v2 ) (36 {1} v6 v5 v1 ) (36 {1} v6 v4 v3 ) (36 {1} v6 v4 v2 ) (36 {1} v6 v4 v1 ) (36 {1} v6 v3 v2 ) (36 {1} v6 v3 v1 ) (36 {1} v6 v2 v1 ) (36 {1} v5 v4 v3 ) (36 {1} v5 v4 v2 ) (36 {1} v5 v4 v1 ) (36 {1} v5 v3 v2 ) (36 {1} v5 v3 v1 ) (36 {1} v5 v2 v1 ) (36 {1} v4 v3 v2 ) (36 {1} v4 v3 v1 ) (36 {1} v4 v2 v1 ) (36 {1} v3 v2 v1 )  [  ] 518] 
]
 
playertrans[
    100
    offer[679 secret (72 ) 1.0] 
    offer[678 secret (106 ) 1.0] 
    offer[677 secret (179 ) 1.0] 
    offer[676 secret (105 ) 1.0] 
    reoffer[607 0.989899] 
    solve[[ (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v22 -> false) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> true)  ] 518] 
]
 
[secret revealed 518 : (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v22 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false) ]
 [acceptor received 1.5330457532467532 for solving 0.2766233766233766 of challenge 518. acceptor: 100 offerer: 101 ]
 ]
round[16
    /* OverTime Round: Offers/Accepts/Reoffers are ignored */

 
playertrans[
    102
    offer[683 secret (219 ) 1.0] 
    offer[682 secret (204 ) 1.0] 
    offer[681 secret (180 ) 1.0] 
    offer[680 secret (36 ) 1.0] 
    reoffer[543 0.979799] 
]
 
playertrans[
    100
    offer[687 secret (207 ) 1.0] 
    offer[686 secret (17 ) 1.0] 
    offer[685 secret (150 ) 1.0] 
    offer[684 secret (166 ) 1.0] 
    reoffer[553 0.989899] 
]
 
playertrans[
    101
    offer[691 secret (34 ) 1.0] 
    offer[690 secret (74 ) 1.0] 
    offer[689 secret (252 ) 1.0] 
    offer[688 secret (85 ) 1.0] 
    reoffer[523 0.979799] 
]
 ]
round[17
    /* OverTime Round: Offers/Accepts/Reoffers are ignored */

 
playertrans[
    102
    offer[695 secret (2 ) 1.0] 
    offer[694 secret (184 ) 1.0] 
    offer[693 secret (146 ) 1.0] 
    offer[692 secret (10 ) 1.0] 
    reoffer[558 0.989899] 
]
 
playertrans[
    101
    offer[699 secret (254 ) 1.0] 
    offer[698 secret (221 ) 1.0] 
    offer[697 secret (53 ) 1.0] 
    offer[696 secret (108 ) 1.0] 
    reoffer[530 0.979799] 
]
 
playertrans[
    100
    offer[703 secret (81 ) 1.0] 
    offer[702 secret (33 ) 1.0] 
    offer[701 secret (63 ) 1.0] 
    offer[700 secret (18 ) 1.0] 
    reoffer[513 0.979799] 
]
 ]

**** Final Results *****
"Team 2" : 101.3922077922078 
"Team 1" : 99.84935064935064 
"Team 3" : 98.75844155844156