(155 -> playerspec["CaptainKarl2" "129.10.117.226" 2003])
  (154 -> playerspec["Boston_Chargers" "129.10.116.124" 2010])

round[1
    
playertrans[
    154
    offer[3199 secret (72 127 ) 0.99] 
    offer[3198 secret (127 128 ) 1.0] 
    offer[3197 secret (70 127 ) 0.99] 
    offer[3196 secret (54 127 ) 0.99] 
]
 
playertrans[
    155
    offer[3203 secret (60 ) 1.0] 
    offer[3202 secret (104 ) 1.0] 
    offer[3201 secret (42 ) 1.0] 
    offer[3200 secret (8 ) 1.0] 
    accept[3198] 
]
 [acceptor paid 1.0 for challenge 3198. acceptor: 155 offerer: 154 ]
 ]
round[2
    
playertrans[
    154
    offer[3207 secret (24 127 ) 0.99] 
    offer[3206 secret (86 127 ) 0.99] 
    offer[3205 secret (68 127 ) 0.99] 
    offer[3204 secret (14 127 ) 0.99] 
    accept[3201] 
    provide[v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 v22  (128 {1} v22 v21 v20 ) (128 {1} v22 v21 v19 ) (128 {1} v22 v21 v18 ) (128 {1} v22 v21 v17 ) (128 {1} v22 v21 v16 ) (128 {1} v22 v21 v15 ) (128 {1} v22 v21 v14 ) (128 {1} v22 v21 v13 ) (128 {1} v22 v21 v12 ) (128 {1} v22 v21 v11 ) (128 {1} v22 v21 v10 ) (128 {1} v22 v21 v9 ) (128 {1} v22 v21 v8 ) (128 {1} v22 v21 v7 ) (128 {1} v22 v21 v6 ) (128 {1} v22 v21 v5 ) (128 {1} v22 v21 v4 ) (128 {1} v22 v21 v3 ) (128 {1} v22 v21 v2 ) (128 {1} v22 v21 v1 ) (128 {1} v22 v20 v19 ) (128 {1} v22 v20 v18 ) (128 {1} v22 v20 v17 ) (128 {1} v22 v20 v16 ) (128 {1} v22 v20 v15 ) (128 {1} v22 v20 v14 ) (128 {1} v22 v20 v13 ) (128 {1} v22 v20 v12 ) (128 {1} v22 v20 v11 ) (128 {1} v22 v20 v10 ) (128 {1} v22 v20 v9 ) (128 {1} v22 v20 v8 ) (128 {1} v22 v20 v7 ) (128 {1} v22 v20 v6 ) (128 {1} v22 v20 v5 ) (128 {1} v22 v20 v4 ) (128 {1} v22 v20 v3 ) (128 {1} v22 v20 v2 ) (128 {1} v22 v20 v1 ) (128 {1} v22 v19 v18 ) (128 {1} v22 v19 v17 ) (128 {1} v22 v19 v16 ) (128 {1} v22 v19 v15 ) (128 {1} v22 v19 v14 ) (128 {1} v22 v19 v13 ) (128 {1} v22 v19 v12 ) (128 {1} v22 v19 v11 ) (128 {1} v22 v19 v10 ) (128 {1} v22 v19 v9 ) (128 {1} v22 v19 v8 ) (128 {1} v22 v19 v7 ) (128 {1} v22 v19 v6 ) (128 {1} v22 v19 v5 ) (128 {1} v22 v19 v4 ) (128 {1} v22 v19 v3 ) (128 {1} v22 v19 v2 ) (128 {1} v22 v19 v1 ) (128 {1} v22 v18 v17 ) (128 {1} v22 v18 v16 ) (128 {1} v22 v18 v15 ) (128 {1} v22 v18 v14 ) (128 {1} v22 v18 v13 ) (128 {1} v22 v18 v12 ) (128 {1} v22 v18 v11 ) (128 {1} v22 v18 v10 ) (128 {1} v22 v18 v9 ) (128 {1} v22 v18 v8 ) (128 {1} v22 v18 v7 ) (128 {1} v22 v18 v6 ) (128 {1} v22 v18 v5 ) (128 {1} v22 v18 v4 ) (128 {1} v22 v18 v3 ) (128 {1} v22 v18 v2 ) (128 {1} v22 v18 v1 ) (128 {1} v22 v17 v16 ) (128 {1} v22 v17 v15 ) (128 {1} v22 v17 v14 ) (128 {1} v22 v17 v13 ) (128 {1} v22 v17 v12 ) (128 {1} v22 v17 v11 ) (128 {1} v22 v17 v10 ) (128 {1} v22 v17 v9 ) (128 {1} v22 v17 v8 ) (128 {1} v22 v17 v7 ) (128 {1} v22 v17 v6 ) (128 {1} v22 v17 v5 ) (128 {1} v22 v17 v4 ) (128 {1} v22 v17 v3 ) (128 {1} v22 v17 v2 ) (128 {1} v22 v17 v1 ) (128 {1} v22 v16 v15 ) (128 {1} v22 v16 v14 ) (128 {1} v22 v16 v13 ) (128 {1} v22 v16 v12 ) (128 {1} v22 v16 v11 ) (128 {1} v22 v16 v10 ) (128 {1} v22 v16 v9 ) (128 {1} v22 v16 v8 ) (128 {1} v22 v16 v7 ) (128 {1} v22 v16 v6 ) (128 {1} v22 v16 v5 ) (128 {1} v22 v16 v4 ) (128 {1} v22 v16 v3 ) (128 {1} v22 v16 v2 ) (128 {1} v22 v16 v1 ) (128 {1} v22 v15 v14 ) (128 {1} v22 v15 v13 ) (128 {1} v22 v15 v12 ) (128 {1} v22 v15 v11 ) (128 {1} v22 v15 v10 ) (128 {1} v22 v15 v9 ) (128 {1} v22 v15 v8 ) (128 {1} v22 v15 v7 ) (128 {1} v22 v15 v6 ) (128 {1} v22 v15 v5 ) (128 {1} v22 v15 v4 ) (128 {1} v22 v15 v3 ) (128 {1} v22 v15 v2 ) (128 {1} v22 v15 v1 ) (128 {1} v22 v14 v13 ) (128 {1} v22 v14 v12 ) (128 {1} v22 v14 v11 ) (128 {1} v22 v14 v10 ) (128 {1} v22 v14 v9 ) (128 {1} v22 v14 v8 ) (128 {1} v22 v14 v7 ) (128 {1} v22 v14 v6 ) (128 {1} v22 v14 v5 ) (128 {1} v22 v14 v4 ) (128 {1} v22 v14 v3 ) (128 {1} v22 v14 v2 ) (128 {1} v22 v14 v1 ) (128 {1} v22 v13 v12 ) (128 {1} v22 v13 v11 ) (128 {1} v22 v13 v10 ) (128 {1} v22 v13 v9 ) (128 {1} v22 v13 v8 ) (128 {1} v22 v13 v7 ) (128 {1} v22 v13 v6 ) (128 {1} v22 v13 v5 ) (128 {1} v22 v13 v4 ) (128 {1} v22 v13 v3 ) (128 {1} v22 v13 v2 ) (128 {1} v22 v13 v1 ) (128 {1} v22 v12 v11 ) (128 {1} v22 v12 v10 ) (128 {1} v22 v12 v9 ) (128 {1} v22 v12 v8 ) (128 {1} v22 v12 v7 ) (128 {1} v22 v12 v6 ) (128 {1} v22 v12 v5 ) (128 {1} v22 v12 v4 ) (128 {1} v22 v12 v3 ) (128 {1} v22 v12 v2 ) (128 {1} v22 v12 v1 ) (128 {1} v22 v11 v10 ) (128 {1} v22 v11 v9 ) (128 {1} v22 v11 v8 ) (128 {1} v22 v11 v7 ) (128 {1} v22 v11 v6 ) (128 {1} v22 v11 v5 ) (128 {1} v22 v11 v4 ) (128 {1} v22 v11 v3 ) (128 {1} v22 v11 v2 ) (128 {1} v22 v11 v1 ) (128 {1} v22 v10 v9 ) (128 {1} v22 v10 v8 ) (128 {1} v22 v10 v7 ) (128 {1} v22 v10 v6 ) (128 {1} v22 v10 v5 ) (128 {1} v22 v10 v4 ) (128 {1} v22 v10 v3 ) (128 {1} v22 v10 v2 ) (128 {1} v22 v10 v1 ) (128 {1} v22 v9 v8 ) (128 {1} v22 v9 v7 ) (128 {1} v22 v9 v6 ) (128 {1} v22 v9 v5 ) (128 {1} v22 v9 v4 ) (128 {1} v22 v9 v3 ) (128 {1} v22 v9 v2 ) (128 {1} v22 v9 v1 ) (128 {1} v22 v8 v7 ) (128 {1} v22 v8 v6 ) (128 {1} v22 v8 v5 ) (128 {1} v22 v8 v4 ) (128 {1} v22 v8 v3 ) (128 {1} v22 v8 v2 ) (128 {1} v22 v8 v1 ) (128 {1} v22 v7 v6 ) (128 {1} v22 v7 v5 ) (128 {1} v22 v7 v4 ) (128 {1} v22 v7 v3 ) (128 {1} v22 v7 v2 ) (128 {1} v22 v7 v1 ) (128 {1} v22 v6 v5 ) (128 {1} v22 v6 v4 ) (128 {1} v22 v6 v3 ) (128 {1} v22 v6 v2 ) (128 {1} v22 v6 v1 ) (128 {1} v22 v5 v4 ) (128 {1} v22 v5 v3 ) (128 {1} v22 v5 v2 ) (128 {1} v22 v5 v1 ) (128 {1} v22 v4 v3 ) (128 {1} v22 v4 v2 ) (128 {1} v22 v4 v1 ) (128 {1} v22 v3 v2 ) (128 {1} v22 v3 v1 ) (128 {1} v22 v2 v1 ) (128 {1} v21 v20 v19 ) (128 {1} v21 v20 v18 ) (128 {1} v21 v20 v17 ) (128 {1} v21 v20 v16 ) (128 {1} v21 v20 v15 ) (128 {1} v21 v20 v14 ) (128 {1} v21 v20 v13 ) (128 {1} v21 v20 v12 ) (128 {1} v21 v20 v11 ) (128 {1} v21 v20 v10 ) (128 {1} v21 v20 v9 ) (128 {1} v21 v20 v8 ) (128 {1} v21 v20 v7 ) (128 {1} v21 v20 v6 ) (128 {1} v21 v20 v5 ) (128 {1} v21 v20 v4 ) (128 {1} v21 v20 v3 ) (128 {1} v21 v20 v2 ) (128 {1} v21 v20 v1 ) (128 {1} v21 v19 v18 ) (128 {1} v21 v19 v17 ) (128 {1} v21 v19 v16 ) (128 {1} v21 v19 v15 ) (128 {1} v21 v19 v14 ) (128 {1} v21 v19 v13 ) (128 {1} v21 v19 v12 ) (128 {1} v21 v19 v11 ) (128 {1} v21 v19 v10 ) (128 {1} v21 v19 v9 ) (128 {1} v21 v19 v8 ) (128 {1} v21 v19 v7 ) (128 {1} v21 v19 v6 ) (128 {1} v21 v19 v5 ) (128 {1} v21 v19 v4 ) (128 {1} v21 v19 v3 ) (128 {1} v21 v19 v2 ) (128 {1} v21 v19 v1 ) (128 {1} v21 v18 v17 ) (128 {1} v21 v18 v16 ) (128 {1} v21 v18 v15 ) (128 {1} v21 v18 v14 ) (128 {1} v21 v18 v13 ) (128 {1} v21 v18 v12 ) (128 {1} v21 v18 v11 ) (128 {1} v21 v18 v10 ) (128 {1} v21 v18 v9 ) (128 {1} v21 v18 v8 ) (128 {1} v21 v18 v7 ) (128 {1} v21 v18 v6 ) (128 {1} v21 v18 v5 ) (128 {1} v21 v18 v4 ) (128 {1} v21 v18 v3 ) (128 {1} v21 v18 v2 ) (128 {1} v21 v18 v1 ) (128 {1} v21 v17 v16 ) (128 {1} v21 v17 v15 ) (128 {1} v21 v17 v14 ) (128 {1} v21 v17 v13 ) (128 {1} v21 v17 v12 ) (128 {1} v21 v17 v11 ) (128 {1} v21 v17 v10 ) (128 {1} v21 v17 v9 ) (128 {1} v21 v17 v8 ) (128 {1} v21 v17 v7 ) (128 {1} v21 v17 v6 ) (128 {1} v21 v17 v5 ) (128 {1} v21 v17 v4 ) (128 {1} v21 v17 v3 ) (128 {1} v21 v17 v2 ) (128 {1} v21 v17 v1 ) (128 {1} v21 v16 v15 ) (128 {1} v21 v16 v14 ) (128 {1} v21 v16 v13 ) (128 {1} v21 v16 v12 ) (128 {1} v21 v16 v11 ) (128 {1} v21 v16 v10 ) (128 {1} v21 v16 v9 ) (128 {1} v21 v16 v8 ) (128 {1} v21 v16 v7 ) (128 {1} v21 v16 v6 ) (128 {1} v21 v16 v5 ) (128 {1} v21 v16 v4 ) (128 {1} v21 v16 v3 ) (128 {1} v21 v16 v2 ) (128 {1} v21 v16 v1 ) (128 {1} v21 v15 v14 ) (128 {1} v21 v15 v13 ) (128 {1} v21 v15 v12 ) (128 {1} v21 v15 v11 ) (128 {1} v21 v15 v10 ) (128 {1} v21 v15 v9 ) (128 {1} v21 v15 v8 ) (128 {1} v21 v15 v7 ) (128 {1} v21 v15 v6 ) (128 {1} v21 v15 v5 ) (128 {1} v21 v15 v4 ) (128 {1} v21 v15 v3 ) (128 {1} v21 v15 v2 ) (128 {1} v21 v15 v1 ) (128 {1} v21 v14 v13 ) (128 {1} v21 v14 v12 ) (128 {1} v21 v14 v11 ) (128 {1} v21 v14 v10 ) (128 {1} v21 v14 v9 ) (128 {1} v21 v14 v8 ) (128 {1} v21 v14 v7 ) (128 {1} v21 v14 v6 ) (128 {1} v21 v14 v5 ) (128 {1} v21 v14 v4 ) (128 {1} v21 v14 v3 ) (128 {1} v21 v14 v2 ) (128 {1} v21 v14 v1 ) (128 {1} v21 v13 v12 ) (128 {1} v21 v13 v11 ) (128 {1} v21 v13 v10 ) (128 {1} v21 v13 v9 ) (128 {1} v21 v13 v8 ) (128 {1} v21 v13 v7 ) (128 {1} v21 v13 v6 ) (128 {1} v21 v13 v5 ) (128 {1} v21 v13 v4 ) (128 {1} v21 v13 v3 ) (128 {1} v21 v13 v2 ) (128 {1} v21 v13 v1 ) (128 {1} v21 v12 v11 ) (128 {1} v21 v12 v10 ) (128 {1} v21 v12 v9 ) (128 {1} v21 v12 v8 ) (128 {1} v21 v12 v7 ) (128 {1} v21 v12 v6 ) (128 {1} v21 v12 v5 ) (128 {1} v21 v12 v4 ) (128 {1} v21 v12 v3 ) (128 {1} v21 v12 v2 ) (128 {1} v21 v12 v1 ) (128 {1} v21 v11 v10 ) (128 {1} v21 v11 v9 ) (128 {1} v21 v11 v8 ) (128 {1} v21 v11 v7 ) (128 {1} v21 v11 v6 ) (128 {1} v21 v11 v5 ) (128 {1} v21 v11 v4 ) (128 {1} v21 v11 v3 ) (128 {1} v21 v11 v2 ) (128 {1} v21 v11 v1 ) (128 {1} v21 v10 v9 ) (128 {1} v21 v10 v8 ) (128 {1} v21 v10 v7 ) (128 {1} v21 v10 v6 ) (128 {1} v21 v10 v5 ) (128 {1} v21 v10 v4 ) (128 {1} v21 v10 v3 ) (128 {1} v21 v10 v2 ) (128 {1} v21 v10 v1 ) (128 {1} v21 v9 v8 ) (128 {1} v21 v9 v7 ) (128 {1} v21 v9 v6 ) (128 {1} v21 v9 v5 ) (128 {1} v21 v9 v4 ) (128 {1} v21 v9 v3 ) (128 {1} v21 v9 v2 ) (128 {1} v21 v9 v1 ) (128 {1} v21 v8 v7 ) (128 {1} v21 v8 v6 ) (128 {1} v21 v8 v5 ) (128 {1} v21 v8 v4 ) (128 {1} v21 v8 v3 ) (128 {1} v21 v8 v2 ) (128 {1} v21 v8 v1 ) (128 {1} v21 v7 v6 ) (128 {1} v21 v7 v5 ) (128 {1} v21 v7 v4 ) (128 {1} v21 v7 v3 ) (128 {1} v21 v7 v2 ) (128 {1} v21 v7 v1 ) (128 {1} v21 v6 v5 ) (128 {1} v21 v6 v4 ) (128 {1} v21 v6 v3 ) (128 {1} v21 v6 v2 ) (128 {1} v21 v6 v1 ) (128 {1} v21 v5 v4 ) (128 {1} v21 v5 v3 ) (128 {1} v21 v5 v2 ) (128 {1} v21 v5 v1 ) (128 {1} v21 v4 v3 ) (128 {1} v21 v4 v2 ) (128 {1} v21 v4 v1 ) (128 {1} v21 v3 v2 ) (128 {1} v21 v3 v1 ) (128 {1} v21 v2 v1 ) (128 {1} v20 v19 v18 ) (128 {1} v20 v19 v17 ) (128 {1} v20 v19 v16 ) (128 {1} v20 v19 v15 ) (128 {1} v20 v19 v14 ) (128 {1} v20 v19 v13 ) (128 {1} v20 v19 v12 ) (128 {1} v20 v19 v11 ) (128 {1} v20 v19 v10 ) (128 {1} v20 v19 v9 ) (128 {1} v20 v19 v8 ) (128 {1} v20 v19 v7 ) (128 {1} v20 v19 v6 ) (128 {1} v20 v19 v5 ) (128 {1} v20 v19 v4 ) (128 {1} v20 v19 v3 ) (128 {1} v20 v19 v2 ) (128 {1} v20 v19 v1 ) (128 {1} v20 v18 v17 ) (128 {1} v20 v18 v16 ) (128 {1} v20 v18 v15 ) (128 {1} v20 v18 v14 ) (128 {1} v20 v18 v13 ) (128 {1} v20 v18 v12 ) (128 {1} v20 v18 v11 ) (128 {1} v20 v18 v10 ) (128 {1} v20 v18 v9 ) (128 {1} v20 v18 v8 ) (128 {1} v20 v18 v7 ) (128 {1} v20 v18 v6 ) (128 {1} v20 v18 v5 ) (128 {1} v20 v18 v4 ) (128 {1} v20 v18 v3 ) (128 {1} v20 v18 v2 ) (128 {1} v20 v18 v1 ) (128 {1} v20 v17 v16 ) (128 {1} v20 v17 v15 ) (128 {1} v20 v17 v14 ) (128 {1} v20 v17 v13 ) (128 {1} v20 v17 v12 ) (128 {1} v20 v17 v11 ) (128 {1} v20 v17 v10 ) (128 {1} v20 v17 v9 ) (128 {1} v20 v17 v8 ) (128 {1} v20 v17 v7 ) (128 {1} v20 v17 v6 ) (128 {1} v20 v17 v5 ) (128 {1} v20 v17 v4 ) (128 {1} v20 v17 v3 ) (128 {1} v20 v17 v2 ) (128 {1} v20 v17 v1 ) (128 {1} v20 v16 v15 ) (128 {1} v20 v16 v14 ) (128 {1} v20 v16 v13 ) (128 {1} v20 v16 v12 ) (128 {1} v20 v16 v11 ) (128 {1} v20 v16 v10 ) (128 {1} v20 v16 v9 ) (128 {1} v20 v16 v8 ) (128 {1} v20 v16 v7 ) (128 {1} v20 v16 v6 ) (128 {1} v20 v16 v5 ) (128 {1} v20 v16 v4 ) (128 {1} v20 v16 v3 ) (128 {1} v20 v16 v2 ) (128 {1} v20 v16 v1 ) (128 {1} v20 v15 v14 ) (128 {1} v20 v15 v13 ) (128 {1} v20 v15 v12 ) (128 {1} v20 v15 v11 ) (128 {1} v20 v15 v10 ) (128 {1} v20 v15 v9 ) (128 {1} v20 v15 v8 ) (128 {1} v20 v15 v7 ) (128 {1} v20 v15 v6 ) (128 {1} v20 v15 v5 ) (128 {1} v20 v15 v4 ) (128 {1} v20 v15 v3 ) (128 {1} v20 v15 v2 ) (128 {1} v20 v15 v1 ) (128 {1} v20 v14 v13 ) (128 {1} v20 v14 v12 ) (128 {1} v20 v14 v11 ) (128 {1} v20 v14 v10 ) (128 {1} v20 v14 v9 ) (128 {1} v20 v14 v8 ) (128 {1} v20 v14 v7 ) (128 {1} v20 v14 v6 ) (128 {1} v20 v14 v5 ) (128 {1} v20 v14 v4 ) (128 {1} v20 v14 v3 ) (128 {1} v20 v14 v2 ) (128 {1} v20 v14 v1 ) (128 {1} v20 v13 v12 ) (128 {1} v20 v13 v11 ) (128 {1} v20 v13 v10 ) (128 {1} v20 v13 v9 ) (128 {1} v20 v13 v8 ) (128 {1} v20 v13 v7 ) (128 {1} v20 v13 v6 ) (128 {1} v20 v13 v5 ) (128 {1} v20 v13 v4 ) (128 {1} v20 v13 v3 ) (128 {1} v20 v13 v2 ) (128 {1} v20 v13 v1 ) (128 {1} v20 v12 v11 ) (128 {1} v20 v12 v10 ) (128 {1} v20 v12 v9 ) (128 {1} v20 v12 v8 ) (128 {1} v20 v12 v7 ) (128 {1} v20 v12 v6 ) (128 {1} v20 v12 v5 ) (128 {1} v20 v12 v4 ) (128 {1} v20 v12 v3 ) (128 {1} v20 v12 v2 ) (128 {1} v20 v12 v1 ) (128 {1} v20 v11 v10 ) (128 {1} v20 v11 v9 ) (128 {1} v20 v11 v8 ) (128 {1} v20 v11 v7 ) (128 {1} v20 v11 v6 ) (128 {1} v20 v11 v5 ) (128 {1} v20 v11 v4 ) (128 {1} v20 v11 v3 ) (128 {1} v20 v11 v2 ) (128 {1} v20 v11 v1 ) (128 {1} v20 v10 v9 ) (128 {1} v20 v10 v8 ) (128 {1} v20 v10 v7 ) (128 {1} v20 v10 v6 ) (128 {1} v20 v10 v5 ) (128 {1} v20 v10 v4 ) (128 {1} v20 v10 v3 ) (128 {1} v20 v10 v2 ) (128 {1} v20 v10 v1 ) (128 {1} v20 v9 v8 ) (128 {1} v20 v9 v7 ) (128 {1} v20 v9 v6 ) (128 {1} v20 v9 v5 ) (128 {1} v20 v9 v4 ) (128 {1} v20 v9 v3 ) (128 {1} v20 v9 v2 ) (128 {1} v20 v9 v1 ) (128 {1} v20 v8 v7 ) (128 {1} v20 v8 v6 ) (128 {1} v20 v8 v5 ) (128 {1} v20 v8 v4 ) (128 {1} v20 v8 v3 ) (128 {1} v20 v8 v2 ) (128 {1} v20 v8 v1 ) (128 {1} v20 v7 v6 ) (128 {1} v20 v7 v5 ) (128 {1} v20 v7 v4 ) (128 {1} v20 v7 v3 ) (128 {1} v20 v7 v2 ) (128 {1} v20 v7 v1 ) (128 {1} v20 v6 v5 ) (128 {1} v20 v6 v4 ) (128 {1} v20 v6 v3 ) (128 {1} v20 v6 v2 ) (128 {1} v20 v6 v1 ) (128 {1} v20 v5 v4 ) (128 {1} v20 v5 v3 ) (128 {1} v20 v5 v2 ) (128 {1} v20 v5 v1 ) (128 {1} v20 v4 v3 ) (128 {1} v20 v4 v2 ) (128 {1} v20 v4 v1 ) (128 {1} v20 v3 v2 ) (128 {1} v20 v3 v1 ) (128 {1} v20 v2 v1 ) (128 {1} v19 v18 v17 ) (128 {1} v19 v18 v16 ) (128 {1} v19 v18 v15 ) (128 {1} v19 v18 v14 ) (128 {1} v19 v18 v13 ) (128 {1} v19 v18 v12 ) (128 {1} v19 v18 v11 ) (128 {1} v19 v18 v10 ) (128 {1} v19 v18 v9 ) (128 {1} v19 v18 v8 ) (128 {1} v19 v18 v7 ) (128 {1} v19 v18 v6 ) (128 {1} v19 v18 v5 ) (128 {1} v19 v18 v4 ) (128 {1} v19 v18 v3 ) (128 {1} v19 v18 v2 ) (128 {1} v19 v18 v1 ) (128 {1} v19 v17 v16 ) (128 {1} v19 v17 v15 ) (128 {1} v19 v17 v14 ) (128 {1} v19 v17 v13 ) (128 {1} v19 v17 v12 ) (128 {1} v19 v17 v11 ) (128 {1} v19 v17 v10 ) (128 {1} v19 v17 v9 ) (128 {1} v19 v17 v8 ) (128 {1} v19 v17 v7 ) (128 {1} v19 v17 v6 ) (128 {1} v19 v17 v5 ) (128 {1} v19 v17 v4 ) (128 {1} v19 v17 v3 ) (128 {1} v19 v17 v2 ) (128 {1} v19 v17 v1 ) (128 {1} v19 v16 v15 ) (128 {1} v19 v16 v14 ) (128 {1} v19 v16 v13 ) (128 {1} v19 v16 v12 ) (128 {1} v19 v16 v11 ) (128 {1} v19 v16 v10 ) (128 {1} v19 v16 v9 ) (128 {1} v19 v16 v8 ) (128 {1} v19 v16 v7 ) (128 {1} v19 v16 v6 ) (128 {1} v19 v16 v5 ) (128 {1} v19 v16 v4 ) (128 {1} v19 v16 v3 ) (128 {1} v19 v16 v2 ) (128 {1} v19 v16 v1 ) (128 {1} v19 v15 v14 ) (128 {1} v19 v15 v13 ) (128 {1} v19 v15 v12 ) (128 {1} v19 v15 v11 ) (128 {1} v19 v15 v10 ) (128 {1} v19 v15 v9 ) (128 {1} v19 v15 v8 ) (128 {1} v19 v15 v7 ) (128 {1} v19 v15 v6 ) (128 {1} v19 v15 v5 ) (128 {1} v19 v15 v4 ) (128 {1} v19 v15 v3 ) (128 {1} v19 v15 v2 ) (128 {1} v19 v15 v1 ) (128 {1} v19 v14 v13 ) (128 {1} v19 v14 v12 ) (128 {1} v19 v14 v11 ) (128 {1} v19 v14 v10 ) (128 {1} v19 v14 v9 ) (128 {1} v19 v14 v8 ) (128 {1} v19 v14 v7 ) (128 {1} v19 v14 v6 ) (128 {1} v19 v14 v5 ) (128 {1} v19 v14 v4 ) (128 {1} v19 v14 v3 ) (128 {1} v19 v14 v2 ) (128 {1} v19 v14 v1 ) (128 {1} v19 v13 v12 ) (128 {1} v19 v13 v11 ) (128 {1} v19 v13 v10 ) (128 {1} v19 v13 v9 ) (128 {1} v19 v13 v8 ) (128 {1} v19 v13 v7 ) (128 {1} v19 v13 v6 ) (128 {1} v19 v13 v5 ) (128 {1} v19 v13 v4 ) (128 {1} v19 v13 v3 ) (128 {1} v19 v13 v2 ) (128 {1} v19 v13 v1 ) (128 {1} v19 v12 v11 ) (128 {1} v19 v12 v10 ) (128 {1} v19 v12 v9 ) (128 {1} v19 v12 v8 ) (128 {1} v19 v12 v7 ) (128 {1} v19 v12 v6 ) (128 {1} v19 v12 v5 ) (128 {1} v19 v12 v4 ) (128 {1} v19 v12 v3 ) (128 {1} v19 v12 v2 ) (128 {1} v19 v12 v1 ) (128 {1} v19 v11 v10 ) (128 {1} v19 v11 v9 ) (128 {1} v19 v11 v8 ) (128 {1} v19 v11 v7 ) (128 {1} v19 v11 v6 ) (128 {1} v19 v11 v5 ) (128 {1} v19 v11 v4 ) (128 {1} v19 v11 v3 ) (128 {1} v19 v11 v2 ) (128 {1} v19 v11 v1 ) (128 {1} v19 v10 v9 ) (128 {1} v19 v10 v8 ) (128 {1} v19 v10 v7 ) (128 {1} v19 v10 v6 ) (128 {1} v19 v10 v5 ) (128 {1} v19 v10 v4 ) (128 {1} v19 v10 v3 ) (128 {1} v19 v10 v2 ) (128 {1} v19 v10 v1 ) (128 {1} v19 v9 v8 ) (128 {1} v19 v9 v7 ) (128 {1} v19 v9 v6 ) (128 {1} v19 v9 v5 ) (128 {1} v19 v9 v4 ) (128 {1} v19 v9 v3 ) (128 {1} v19 v9 v2 ) (128 {1} v19 v9 v1 ) (128 {1} v19 v8 v7 ) (128 {1} v19 v8 v6 ) (128 {1} v19 v8 v5 ) (128 {1} v19 v8 v4 ) (128 {1} v19 v8 v3 ) (128 {1} v19 v8 v2 ) (128 {1} v19 v8 v1 ) (128 {1} v19 v7 v6 ) (128 {1} v19 v7 v5 ) (128 {1} v19 v7 v4 ) (128 {1} v19 v7 v3 ) (128 {1} v19 v7 v2 ) (128 {1} v19 v7 v1 ) (128 {1} v19 v6 v5 ) (128 {1} v19 v6 v4 ) (128 {1} v19 v6 v3 ) (128 {1} v19 v6 v2 ) (128 {1} v19 v6 v1 ) (128 {1} v19 v5 v4 ) (128 {1} v19 v5 v3 ) (128 {1} v19 v5 v2 ) (128 {1} v19 v5 v1 ) (128 {1} v19 v4 v3 ) (128 {1} v19 v4 v2 ) (128 {1} v19 v4 v1 ) (128 {1} v19 v3 v2 ) (128 {1} v19 v3 v1 ) (128 {1} v19 v2 v1 ) (128 {1} v18 v17 v16 ) (128 {1} v18 v17 v15 ) (128 {1} v18 v17 v14 ) (128 {1} v18 v17 v13 ) (128 {1} v18 v17 v12 ) (128 {1} v18 v17 v11 ) (128 {1} v18 v17 v10 ) (128 {1} v18 v17 v9 ) (128 {1} v18 v17 v8 ) (128 {1} v18 v17 v7 ) (128 {1} v18 v17 v6 ) (128 {1} v18 v17 v5 ) (128 {1} v18 v17 v4 ) (128 {1} v18 v17 v3 ) (128 {1} v18 v17 v2 ) (128 {1} v18 v17 v1 ) (128 {1} v18 v16 v15 ) (128 {1} v18 v16 v14 ) (128 {1} v18 v16 v13 ) (128 {1} v18 v16 v12 ) (128 {1} v18 v16 v11 ) (128 {1} v18 v16 v10 ) (128 {1} v18 v16 v9 ) (128 {1} v18 v16 v8 ) (128 {1} v18 v16 v7 ) (128 {1} v18 v16 v6 ) (128 {1} v18 v16 v5 ) (128 {1} v18 v16 v4 ) (128 {1} v18 v16 v3 ) (128 {1} v18 v16 v2 ) (128 {1} v18 v16 v1 ) (128 {1} v18 v15 v14 ) (128 {1} v18 v15 v13 ) (128 {1} v18 v15 v12 ) (128 {1} v18 v15 v11 ) (128 {1} v18 v15 v10 ) (128 {1} v18 v15 v9 ) (128 {1} v18 v15 v8 ) (128 {1} v18 v15 v7 ) (128 {1} v18 v15 v6 ) (128 {1} v18 v15 v5 ) (128 {1} v18 v15 v4 ) (128 {1} v18 v15 v3 ) (128 {1} v18 v15 v2 ) (128 {1} v18 v15 v1 ) (128 {1} v18 v14 v13 ) (128 {1} v18 v14 v12 ) (128 {1} v18 v14 v11 ) (128 {1} v18 v14 v10 ) (128 {1} v18 v14 v9 ) (128 {1} v18 v14 v8 ) (128 {1} v18 v14 v7 ) (128 {1} v18 v14 v6 ) (128 {1} v18 v14 v5 ) (128 {1} v18 v14 v4 ) (128 {1} v18 v14 v3 ) (128 {1} v18 v14 v2 ) (128 {1} v18 v14 v1 ) (128 {1} v18 v13 v12 ) (128 {1} v18 v13 v11 ) (128 {1} v18 v13 v10 ) (128 {1} v18 v13 v9 ) (128 {1} v18 v13 v8 ) (128 {1} v18 v13 v7 ) (128 {1} v18 v13 v6 ) (128 {1} v18 v13 v5 ) (128 {1} v18 v13 v4 ) (128 {1} v18 v13 v3 ) (128 {1} v18 v13 v2 ) (128 {1} v18 v13 v1 ) (128 {1} v18 v12 v11 ) (128 {1} v18 v12 v10 ) (128 {1} v18 v12 v9 ) (128 {1} v18 v12 v8 ) (128 {1} v18 v12 v7 ) (128 {1} v18 v12 v6 ) (128 {1} v18 v12 v5 ) (128 {1} v18 v12 v4 ) (128 {1} v18 v12 v3 ) (128 {1} v18 v12 v2 ) (128 {1} v18 v12 v1 ) (128 {1} v18 v11 v10 ) (128 {1} v18 v11 v9 ) (128 {1} v18 v11 v8 ) (128 {1} v18 v11 v7 ) (128 {1} v18 v11 v6 ) (128 {1} v18 v11 v5 ) (128 {1} v18 v11 v4 ) (128 {1} v18 v11 v3 ) (128 {1} v18 v11 v2 ) (128 {1} v18 v11 v1 ) (128 {1} v18 v10 v9 ) (128 {1} v18 v10 v8 ) (128 {1} v18 v10 v7 ) (128 {1} v18 v10 v6 ) (128 {1} v18 v10 v5 ) (128 {1} v18 v10 v4 ) (128 {1} v18 v10 v3 ) (128 {1} v18 v10 v2 ) (128 {1} v18 v10 v1 ) (128 {1} v18 v9 v8 ) (128 {1} v18 v9 v7 ) (128 {1} v18 v9 v6 ) (128 {1} v18 v9 v5 ) (128 {1} v18 v9 v4 ) (128 {1} v18 v9 v3 ) (128 {1} v18 v9 v2 ) (128 {1} v18 v9 v1 ) (128 {1} v18 v8 v7 ) (128 {1} v18 v8 v6 ) (128 {1} v18 v8 v5 ) (128 {1} v18 v8 v4 ) (128 {1} v18 v8 v3 ) (128 {1} v18 v8 v2 ) (128 {1} v18 v8 v1 ) (128 {1} v18 v7 v6 ) (128 {1} v18 v7 v5 ) (128 {1} v18 v7 v4 ) (128 {1} v18 v7 v3 ) (128 {1} v18 v7 v2 ) (128 {1} v18 v7 v1 ) (128 {1} v18 v6 v5 ) (128 {1} v18 v6 v4 ) (128 {1} v18 v6 v3 ) (128 {1} v18 v6 v2 ) (128 {1} v18 v6 v1 ) (128 {1} v18 v5 v4 ) (128 {1} v18 v5 v3 ) (128 {1} v18 v5 v2 ) (128 {1} v18 v5 v1 ) (128 {1} v18 v4 v3 ) (128 {1} v18 v4 v2 ) (128 {1} v18 v4 v1 ) (128 {1} v18 v3 v2 ) (128 {1} v18 v3 v1 ) (128 {1} v18 v2 v1 ) (128 {1} v17 v16 v15 ) (128 {1} v17 v16 v14 ) (128 {1} v17 v16 v13 ) (128 {1} v17 v16 v12 ) (128 {1} v17 v16 v11 ) (128 {1} v17 v16 v10 ) (128 {1} v17 v16 v9 ) (128 {1} v17 v16 v8 ) (128 {1} v17 v16 v7 ) (128 {1} v17 v16 v6 ) (128 {1} v17 v16 v5 ) (128 {1} v17 v16 v4 ) (128 {1} v17 v16 v3 ) (128 {1} v17 v16 v2 ) (128 {1} v17 v16 v1 ) (128 {1} v17 v15 v14 ) (128 {1} v17 v15 v13 ) (128 {1} v17 v15 v12 ) (128 {1} v17 v15 v11 ) (128 {1} v17 v15 v10 ) (128 {1} v17 v15 v9 ) (128 {1} v17 v15 v8 ) (128 {1} v17 v15 v7 ) (128 {1} v17 v15 v6 ) (128 {1} v17 v15 v5 ) (128 {1} v17 v15 v4 ) (128 {1} v17 v15 v3 ) (128 {1} v17 v15 v2 ) (128 {1} v17 v15 v1 ) (128 {1} v17 v14 v13 ) (128 {1} v17 v14 v12 ) (128 {1} v17 v14 v11 ) (128 {1} v17 v14 v10 ) (128 {1} v17 v14 v9 ) (128 {1} v17 v14 v8 ) (128 {1} v17 v14 v7 ) (128 {1} v17 v14 v6 ) (128 {1} v17 v14 v5 ) (128 {1} v17 v14 v4 ) (128 {1} v17 v14 v3 ) (128 {1} v17 v14 v2 ) (128 {1} v17 v14 v1 ) (128 {1} v17 v13 v12 ) (128 {1} v17 v13 v11 ) (128 {1} v17 v13 v10 ) (128 {1} v17 v13 v9 ) (128 {1} v17 v13 v8 ) (128 {1} v17 v13 v7 ) (128 {1} v17 v13 v6 ) (128 {1} v17 v13 v5 ) (128 {1} v17 v13 v4 ) (128 {1} v17 v13 v3 ) (128 {1} v17 v13 v2 ) (128 {1} v17 v13 v1 ) (128 {1} v17 v12 v11 ) (128 {1} v17 v12 v10 ) (128 {1} v17 v12 v9 ) (128 {1} v17 v12 v8 ) (128 {1} v17 v12 v7 ) (128 {1} v17 v12 v6 ) (128 {1} v17 v12 v5 ) (128 {1} v17 v12 v4 ) (128 {1} v17 v12 v3 ) (128 {1} v17 v12 v2 ) (128 {1} v17 v12 v1 ) (128 {1} v17 v11 v10 ) (128 {1} v17 v11 v9 ) (128 {1} v17 v11 v8 ) (128 {1} v17 v11 v7 ) (128 {1} v17 v11 v6 ) (128 {1} v17 v11 v5 ) (128 {1} v17 v11 v4 ) (128 {1} v17 v11 v3 ) (128 {1} v17 v11 v2 ) (128 {1} v17 v11 v1 ) (128 {1} v17 v10 v9 ) (128 {1} v17 v10 v8 ) (128 {1} v17 v10 v7 ) (128 {1} v17 v10 v6 ) (128 {1} v17 v10 v5 ) (128 {1} v17 v10 v4 ) (128 {1} v17 v10 v3 ) (128 {1} v17 v10 v2 ) (128 {1} v17 v10 v1 ) (128 {1} v17 v9 v8 ) (128 {1} v17 v9 v7 ) (128 {1} v17 v9 v6 ) (128 {1} v17 v9 v5 ) (128 {1} v17 v9 v4 ) (128 {1} v17 v9 v3 ) (128 {1} v17 v9 v2 ) (128 {1} v17 v9 v1 ) (128 {1} v17 v8 v7 ) (128 {1} v17 v8 v6 ) (128 {1} v17 v8 v5 ) (128 {1} v17 v8 v4 ) (128 {1} v17 v8 v3 ) (128 {1} v17 v8 v2 ) (128 {1} v17 v8 v1 ) (128 {1} v17 v7 v6 ) (128 {1} v17 v7 v5 ) (128 {1} v17 v7 v4 ) (128 {1} v17 v7 v3 ) (128 {1} v17 v7 v2 ) (128 {1} v17 v7 v1 ) (128 {1} v17 v6 v5 ) (128 {1} v17 v6 v4 ) (128 {1} v17 v6 v3 ) (128 {1} v17 v6 v2 ) (128 {1} v17 v6 v1 ) (128 {1} v17 v5 v4 ) (128 {1} v17 v5 v3 ) (128 {1} v17 v5 v2 ) (128 {1} v17 v5 v1 ) (128 {1} v17 v4 v3 ) (128 {1} v17 v4 v2 ) (128 {1} v17 v4 v1 ) (128 {1} v17 v3 v2 ) (128 {1} v17 v3 v1 ) (128 {1} v17 v2 v1 ) (128 {1} v16 v15 v14 ) (128 {1} v16 v15 v13 ) (128 {1} v16 v15 v12 ) (128 {1} v16 v15 v11 ) (128 {1} v16 v15 v10 ) (128 {1} v16 v15 v9 ) (128 {1} v16 v15 v8 ) (128 {1} v16 v15 v7 ) (128 {1} v16 v15 v6 ) (128 {1} v16 v15 v5 ) (128 {1} v16 v15 v4 ) (128 {1} v16 v15 v3 ) (128 {1} v16 v15 v2 ) (128 {1} v16 v15 v1 ) (128 {1} v16 v14 v13 ) (128 {1} v16 v14 v12 ) (128 {1} v16 v14 v11 ) (128 {1} v16 v14 v10 ) (128 {1} v16 v14 v9 ) (128 {1} v16 v14 v8 ) (128 {1} v16 v14 v7 ) (128 {1} v16 v14 v6 ) (128 {1} v16 v14 v5 ) (128 {1} v16 v14 v4 ) (128 {1} v16 v14 v3 ) (128 {1} v16 v14 v2 ) (128 {1} v16 v14 v1 ) (128 {1} v16 v13 v12 ) (128 {1} v16 v13 v11 ) (128 {1} v16 v13 v10 ) (128 {1} v16 v13 v9 ) (128 {1} v16 v13 v8 ) (128 {1} v16 v13 v7 ) (128 {1} v16 v13 v6 ) (128 {1} v16 v13 v5 ) (128 {1} v16 v13 v4 ) (128 {1} v16 v13 v3 ) (128 {1} v16 v13 v2 ) (128 {1} v16 v13 v1 ) (128 {1} v16 v12 v11 ) (128 {1} v16 v12 v10 ) (128 {1} v16 v12 v9 ) (128 {1} v16 v12 v8 ) (128 {1} v16 v12 v7 ) (128 {1} v16 v12 v6 ) (128 {1} v16 v12 v5 ) (128 {1} v16 v12 v4 ) (128 {1} v16 v12 v3 ) (128 {1} v16 v12 v2 ) (128 {1} v16 v12 v1 ) (128 {1} v16 v11 v10 ) (128 {1} v16 v11 v9 ) (128 {1} v16 v11 v8 ) (128 {1} v16 v11 v7 ) (128 {1} v16 v11 v6 ) (128 {1} v16 v11 v5 ) (128 {1} v16 v11 v4 ) (128 {1} v16 v11 v3 ) (128 {1} v16 v11 v2 ) (128 {1} v16 v11 v1 ) (128 {1} v16 v10 v9 ) (128 {1} v16 v10 v8 ) (128 {1} v16 v10 v7 ) (128 {1} v16 v10 v6 ) (128 {1} v16 v10 v5 ) (128 {1} v16 v10 v4 ) (128 {1} v16 v10 v3 ) (128 {1} v16 v10 v2 ) (128 {1} v16 v10 v1 ) (128 {1} v16 v9 v8 ) (128 {1} v16 v9 v7 ) (128 {1} v16 v9 v6 ) (128 {1} v16 v9 v5 ) (128 {1} v16 v9 v4 ) (128 {1} v16 v9 v3 ) (128 {1} v16 v9 v2 ) (128 {1} v16 v9 v1 ) (128 {1} v16 v8 v7 ) (128 {1} v16 v8 v6 ) (128 {1} v16 v8 v5 ) (128 {1} v16 v8 v4 ) (128 {1} v16 v8 v3 ) (128 {1} v16 v8 v2 ) (128 {1} v16 v8 v1 ) (128 {1} v16 v7 v6 ) (128 {1} v16 v7 v5 ) (128 {1} v16 v7 v4 ) (128 {1} v16 v7 v3 ) (128 {1} v16 v7 v2 ) (128 {1} v16 v7 v1 ) (128 {1} v16 v6 v5 ) (128 {1} v16 v6 v4 ) (128 {1} v16 v6 v3 ) (128 {1} v16 v6 v2 ) (128 {1} v16 v6 v1 ) (128 {1} v16 v5 v4 ) (128 {1} v16 v5 v3 ) (128 {1} v16 v5 v2 ) (128 {1} v16 v5 v1 ) (128 {1} v16 v4 v3 ) (128 {1} v16 v4 v2 ) (128 {1} v16 v4 v1 ) (128 {1} v16 v3 v2 ) (128 {1} v16 v3 v1 ) (128 {1} v16 v2 v1 ) (128 {1} v15 v14 v13 ) (128 {1} v15 v14 v12 ) (128 {1} v15 v14 v11 ) (128 {1} v15 v14 v10 ) (128 {1} v15 v14 v9 ) (128 {1} v15 v14 v8 ) (128 {1} v15 v14 v7 ) (128 {1} v15 v14 v6 ) (128 {1} v15 v14 v5 ) (128 {1} v15 v14 v4 ) (128 {1} v15 v14 v3 ) (128 {1} v15 v14 v2 ) (128 {1} v15 v14 v1 ) (128 {1} v15 v13 v12 ) (128 {1} v15 v13 v11 ) (128 {1} v15 v13 v10 ) (128 {1} v15 v13 v9 ) (128 {1} v15 v13 v8 ) (128 {1} v15 v13 v7 ) (128 {1} v15 v13 v6 ) (128 {1} v15 v13 v5 ) (128 {1} v15 v13 v4 ) (128 {1} v15 v13 v3 ) (128 {1} v15 v13 v2 ) (128 {1} v15 v13 v1 ) (128 {1} v15 v12 v11 ) (128 {1} v15 v12 v10 ) (128 {1} v15 v12 v9 ) (128 {1} v15 v12 v8 ) (128 {1} v15 v12 v7 ) (128 {1} v15 v12 v6 ) (128 {1} v15 v12 v5 ) (128 {1} v15 v12 v4 ) (128 {1} v15 v12 v3 ) (128 {1} v15 v12 v2 ) (128 {1} v15 v12 v1 ) (128 {1} v15 v11 v10 ) (128 {1} v15 v11 v9 ) (128 {1} v15 v11 v8 ) (128 {1} v15 v11 v7 ) (128 {1} v15 v11 v6 ) (128 {1} v15 v11 v5 ) (128 {1} v15 v11 v4 ) (128 {1} v15 v11 v3 ) (128 {1} v15 v11 v2 ) (128 {1} v15 v11 v1 ) (128 {1} v15 v10 v9 ) (128 {1} v15 v10 v8 ) (128 {1} v15 v10 v7 ) (128 {1} v15 v10 v6 ) (128 {1} v15 v10 v5 ) (128 {1} v15 v10 v4 ) (128 {1} v15 v10 v3 ) (128 {1} v15 v10 v2 ) (128 {1} v15 v10 v1 ) (128 {1} v15 v9 v8 ) (128 {1} v15 v9 v7 ) (128 {1} v15 v9 v6 ) (128 {1} v15 v9 v5 ) (128 {1} v15 v9 v4 ) (128 {1} v15 v9 v3 ) (128 {1} v15 v9 v2 ) (128 {1} v15 v9 v1 ) (128 {1} v15 v8 v7 ) (128 {1} v15 v8 v6 ) (128 {1} v15 v8 v5 ) (128 {1} v15 v8 v4 ) (128 {1} v15 v8 v3 ) (128 {1} v15 v8 v2 ) (128 {1} v15 v8 v1 ) (128 {1} v15 v7 v6 ) (128 {1} v15 v7 v5 ) (128 {1} v15 v7 v4 ) (128 {1} v15 v7 v3 ) (128 {1} v15 v7 v2 ) (128 {1} v15 v7 v1 ) (128 {1} v15 v6 v5 ) (128 {1} v15 v6 v4 ) (128 {1} v15 v6 v3 ) (128 {1} v15 v6 v2 ) (128 {1} v15 v6 v1 ) (128 {1} v15 v5 v4 ) (128 {1} v15 v5 v3 ) (128 {1} v15 v5 v2 ) (128 {1} v15 v5 v1 ) (128 {1} v15 v4 v3 ) (128 {1} v15 v4 v2 ) (128 {1} v15 v4 v1 ) (128 {1} v15 v3 v2 ) (128 {1} v15 v3 v1 ) (128 {1} v15 v2 v1 ) (128 {1} v14 v13 v12 ) (128 {1} v14 v13 v11 ) (128 {1} v14 v13 v10 ) (128 {1} v14 v13 v9 ) (128 {1} v14 v13 v8 ) (128 {1} v14 v13 v7 ) (128 {1} v14 v13 v6 ) (128 {1} v14 v13 v5 ) (128 {1} v14 v13 v4 ) (128 {1} v14 v13 v3 ) (128 {1} v14 v13 v2 ) (128 {1} v14 v13 v1 ) (128 {1} v14 v12 v11 ) (128 {1} v14 v12 v10 ) (128 {1} v14 v12 v9 ) (128 {1} v14 v12 v8 ) (128 {1} v14 v12 v7 ) (128 {1} v14 v12 v6 ) (128 {1} v14 v12 v5 ) (128 {1} v14 v12 v4 ) (128 {1} v14 v12 v3 ) (128 {1} v14 v12 v2 ) (128 {1} v14 v12 v1 ) (128 {1} v14 v11 v10 ) (128 {1} v14 v11 v9 ) (128 {1} v14 v11 v8 ) (128 {1} v14 v11 v7 ) (128 {1} v14 v11 v6 ) (128 {1} v14 v11 v5 ) (128 {1} v14 v11 v4 ) (128 {1} v14 v11 v3 ) (128 {1} v14 v11 v2 ) (128 {1} v14 v11 v1 ) (128 {1} v14 v10 v9 ) (128 {1} v14 v10 v8 ) (128 {1} v14 v10 v7 ) (128 {1} v14 v10 v6 ) (128 {1} v14 v10 v5 ) (128 {1} v14 v10 v4 ) (128 {1} v14 v10 v3 ) (128 {1} v14 v10 v2 ) (128 {1} v14 v10 v1 ) (128 {1} v14 v9 v8 ) (128 {1} v14 v9 v7 ) (128 {1} v14 v9 v6 ) (128 {1} v14 v9 v5 ) (128 {1} v14 v9 v4 ) (128 {1} v14 v9 v3 ) (128 {1} v14 v9 v2 ) (128 {1} v14 v9 v1 ) (128 {1} v14 v8 v7 ) (128 {1} v14 v8 v6 ) (128 {1} v14 v8 v5 ) (128 {1} v14 v8 v4 ) (128 {1} v14 v8 v3 ) (128 {1} v14 v8 v2 ) (128 {1} v14 v8 v1 ) (128 {1} v14 v7 v6 ) (128 {1} v14 v7 v5 ) (128 {1} v14 v7 v4 ) (128 {1} v14 v7 v3 ) (128 {1} v14 v7 v2 ) (128 {1} v14 v7 v1 ) (128 {1} v14 v6 v5 ) (128 {1} v14 v6 v4 ) (128 {1} v14 v6 v3 ) (128 {1} v14 v6 v2 ) (128 {1} v14 v6 v1 ) (128 {1} v14 v5 v4 ) (128 {1} v14 v5 v3 ) (128 {1} v14 v5 v2 ) (128 {1} v14 v5 v1 ) (128 {1} v14 v4 v3 ) (128 {1} v14 v4 v2 ) (128 {1} v14 v4 v1 ) (128 {1} v14 v3 v2 ) (128 {1} v14 v3 v1 ) (128 {1} v14 v2 v1 ) (128 {1} v13 v12 v11 ) (128 {1} v13 v12 v10 ) (128 {1} v13 v12 v9 ) (128 {1} v13 v12 v8 ) (128 {1} v13 v12 v7 ) (128 {1} v13 v12 v6 ) (128 {1} v13 v12 v5 ) (128 {1} v13 v12 v4 ) (128 {1} v13 v12 v3 ) (128 {1} v13 v12 v2 ) (128 {1} v13 v12 v1 ) (128 {1} v13 v11 v10 ) (128 {1} v13 v11 v9 ) (128 {1} v13 v11 v8 ) (128 {1} v13 v11 v7 ) (128 {1} v13 v11 v6 ) (128 {1} v13 v11 v5 ) (128 {1} v13 v11 v4 ) (128 {1} v13 v11 v3 ) (128 {1} v13 v11 v2 ) (128 {1} v13 v11 v1 ) (128 {1} v13 v10 v9 ) (128 {1} v13 v10 v8 ) (128 {1} v13 v10 v7 ) (128 {1} v13 v10 v6 ) (128 {1} v13 v10 v5 ) (128 {1} v13 v10 v4 ) (128 {1} v13 v10 v3 ) (128 {1} v13 v10 v2 ) (128 {1} v13 v10 v1 ) (128 {1} v13 v9 v8 ) (128 {1} v13 v9 v7 ) (128 {1} v13 v9 v6 ) (128 {1} v13 v9 v5 ) (128 {1} v13 v9 v4 ) (128 {1} v13 v9 v3 ) (128 {1} v13 v9 v2 ) (128 {1} v13 v9 v1 ) (128 {1} v13 v8 v7 ) (128 {1} v13 v8 v6 ) (128 {1} v13 v8 v5 ) (128 {1} v13 v8 v4 ) (128 {1} v13 v8 v3 ) (128 {1} v13 v8 v2 ) (128 {1} v13 v8 v1 ) (128 {1} v13 v7 v6 ) (128 {1} v13 v7 v5 ) (128 {1} v13 v7 v4 ) (128 {1} v13 v7 v3 ) (128 {1} v13 v7 v2 ) (128 {1} v13 v7 v1 ) (128 {1} v13 v6 v5 ) (128 {1} v13 v6 v4 ) (128 {1} v13 v6 v3 ) (128 {1} v13 v6 v2 ) (128 {1} v13 v6 v1 ) (128 {1} v13 v5 v4 ) (128 {1} v13 v5 v3 ) (128 {1} v13 v5 v2 ) (128 {1} v13 v5 v1 ) (128 {1} v13 v4 v3 ) (128 {1} v13 v4 v2 ) (128 {1} v13 v4 v1 ) (128 {1} v13 v3 v2 ) (128 {1} v13 v3 v1 ) (128 {1} v13 v2 v1 ) (128 {1} v12 v11 v10 ) (128 {1} v12 v11 v9 ) (128 {1} v12 v11 v8 ) (128 {1} v12 v11 v7 ) (128 {1} v12 v11 v6 ) (128 {1} v12 v11 v5 ) (128 {1} v12 v11 v4 ) (128 {1} v12 v11 v3 ) (128 {1} v12 v11 v2 ) (128 {1} v12 v11 v1 ) (128 {1} v12 v10 v9 ) (128 {1} v12 v10 v8 ) (128 {1} v12 v10 v7 ) (128 {1} v12 v10 v6 ) (128 {1} v12 v10 v5 ) (128 {1} v12 v10 v4 ) (128 {1} v12 v10 v3 ) (128 {1} v12 v10 v2 ) (128 {1} v12 v10 v1 ) (128 {1} v12 v9 v8 ) (128 {1} v12 v9 v7 ) (128 {1} v12 v9 v6 ) (128 {1} v12 v9 v5 ) (128 {1} v12 v9 v4 ) (128 {1} v12 v9 v3 ) (128 {1} v12 v9 v2 ) (128 {1} v12 v9 v1 ) (128 {1} v12 v8 v7 ) (128 {1} v12 v8 v6 ) (128 {1} v12 v8 v5 ) (128 {1} v12 v8 v4 ) (128 {1} v12 v8 v3 ) (128 {1} v12 v8 v2 ) (128 {1} v12 v8 v1 ) (128 {1} v12 v7 v6 ) (128 {1} v12 v7 v5 ) (128 {1} v12 v7 v4 ) (128 {1} v12 v7 v3 ) (128 {1} v12 v7 v2 ) (128 {1} v12 v7 v1 ) (128 {1} v12 v6 v5 ) (128 {1} v12 v6 v4 ) (128 {1} v12 v6 v3 ) (128 {1} v12 v6 v2 ) (128 {1} v12 v6 v1 ) (128 {1} v12 v5 v4 ) (128 {1} v12 v5 v3 ) (128 {1} v12 v5 v2 ) (128 {1} v12 v5 v1 ) (128 {1} v12 v4 v3 ) (128 {1} v12 v4 v2 ) (128 {1} v12 v4 v1 ) (128 {1} v12 v3 v2 ) (128 {1} v12 v3 v1 ) (128 {1} v12 v2 v1 ) (128 {1} v11 v10 v9 ) (128 {1} v11 v10 v8 ) (128 {1} v11 v10 v7 ) (128 {1} v11 v10 v6 ) (128 {1} v11 v10 v5 ) (128 {1} v11 v10 v4 ) (128 {1} v11 v10 v3 ) (128 {1} v11 v10 v2 ) (128 {1} v11 v10 v1 ) (128 {1} v11 v9 v8 ) (128 {1} v11 v9 v7 ) (128 {1} v11 v9 v6 ) (128 {1} v11 v9 v5 ) (128 {1} v11 v9 v4 ) (128 {1} v11 v9 v3 ) (128 {1} v11 v9 v2 ) (128 {1} v11 v9 v1 ) (128 {1} v11 v8 v7 ) (128 {1} v11 v8 v6 ) (128 {1} v11 v8 v5 ) (128 {1} v11 v8 v4 ) (128 {1} v11 v8 v3 ) (128 {1} v11 v8 v2 ) (128 {1} v11 v8 v1 ) (128 {1} v11 v7 v6 ) (128 {1} v11 v7 v5 ) (128 {1} v11 v7 v4 ) (128 {1} v11 v7 v3 ) (128 {1} v11 v7 v2 ) (128 {1} v11 v7 v1 ) (128 {1} v11 v6 v5 ) (128 {1} v11 v6 v4 ) (128 {1} v11 v6 v3 ) (128 {1} v11 v6 v2 ) (128 {1} v11 v6 v1 ) (128 {1} v11 v5 v4 ) (128 {1} v11 v5 v3 ) (128 {1} v11 v5 v2 ) (128 {1} v11 v5 v1 ) (128 {1} v11 v4 v3 ) (128 {1} v11 v4 v2 ) (128 {1} v11 v4 v1 ) (128 {1} v11 v3 v2 ) (128 {1} v11 v3 v1 ) (128 {1} v11 v2 v1 ) (128 {1} v10 v9 v8 ) (128 {1} v10 v9 v7 ) (128 {1} v10 v9 v6 ) (128 {1} v10 v9 v5 ) (128 {1} v10 v9 v4 ) (128 {1} v10 v9 v3 ) (128 {1} v10 v9 v2 ) (128 {1} v10 v9 v1 ) (128 {1} v10 v8 v7 ) (128 {1} v10 v8 v6 ) (128 {1} v10 v8 v5 ) (128 {1} v10 v8 v4 ) (128 {1} v10 v8 v3 ) (128 {1} v10 v8 v2 ) (128 {1} v10 v8 v1 ) (128 {1} v10 v7 v6 ) (128 {1} v10 v7 v5 ) (128 {1} v10 v7 v4 ) (128 {1} v10 v7 v3 ) (128 {1} v10 v7 v2 ) (128 {1} v10 v7 v1 ) (128 {1} v10 v6 v5 ) (128 {1} v10 v6 v4 ) (128 {1} v10 v6 v3 ) (128 {1} v10 v6 v2 ) (128 {1} v10 v6 v1 ) (128 {1} v10 v5 v4 ) (128 {1} v10 v5 v3 ) (128 {1} v10 v5 v2 ) (128 {1} v10 v5 v1 ) (128 {1} v10 v4 v3 ) (128 {1} v10 v4 v2 ) (128 {1} v10 v4 v1 ) (128 {1} v10 v3 v2 ) (128 {1} v10 v3 v1 ) (128 {1} v10 v2 v1 ) (128 {1} v9 v8 v7 ) (128 {1} v9 v8 v6 ) (128 {1} v9 v8 v5 ) (128 {1} v9 v8 v4 ) (128 {1} v9 v8 v3 ) (128 {1} v9 v8 v2 ) (128 {1} v9 v8 v1 ) (128 {1} v9 v7 v6 ) (128 {1} v9 v7 v5 ) (128 {1} v9 v7 v4 ) (128 {1} v9 v7 v3 ) (128 {1} v9 v7 v2 ) (128 {1} v9 v7 v1 ) (128 {1} v9 v6 v5 ) (128 {1} v9 v6 v4 ) (128 {1} v9 v6 v3 ) (128 {1} v9 v6 v2 ) (128 {1} v9 v6 v1 ) (128 {1} v9 v5 v4 ) (128 {1} v9 v5 v3 ) (128 {1} v9 v5 v2 ) (128 {1} v9 v5 v1 ) (128 {1} v9 v4 v3 ) (128 {1} v9 v4 v2 ) (128 {1} v9 v4 v1 ) (128 {1} v9 v3 v2 ) (128 {1} v9 v3 v1 ) (128 {1} v9 v2 v1 ) (128 {1} v8 v7 v6 ) (128 {1} v8 v7 v5 ) (128 {1} v8 v7 v4 ) (128 {1} v8 v7 v3 ) (128 {1} v8 v7 v2 ) (128 {1} v8 v7 v1 ) (128 {1} v8 v6 v5 ) (128 {1} v8 v6 v4 ) (128 {1} v8 v6 v3 ) (128 {1} v8 v6 v2 ) (128 {1} v8 v6 v1 ) (128 {1} v8 v5 v4 ) (128 {1} v8 v5 v3 ) (128 {1} v8 v5 v2 ) (128 {1} v8 v5 v1 ) (128 {1} v8 v4 v3 ) (128 {1} v8 v4 v2 ) (128 {1} v8 v4 v1 ) (128 {1} v8 v3 v2 ) (128 {1} v8 v3 v1 ) (128 {1} v8 v2 v1 ) (128 {1} v7 v6 v5 ) (128 {1} v7 v6 v4 ) (128 {1} v7 v6 v3 ) (128 {1} v7 v6 v2 ) (128 {1} v7 v6 v1 ) (128 {1} v7 v5 v4 ) (128 {1} v7 v5 v3 ) (128 {1} v7 v5 v2 ) (128 {1} v7 v5 v1 ) (128 {1} v7 v4 v3 ) (128 {1} v7 v4 v2 ) (128 {1} v7 v4 v1 ) (128 {1} v7 v3 v2 ) (128 {1} v7 v3 v1 ) (128 {1} v7 v2 v1 ) (128 {1} v6 v5 v4 ) (128 {1} v6 v5 v3 ) (128 {1} v6 v5 v2 ) (128 {1} v6 v5 v1 ) (128 {1} v6 v4 v3 ) (128 {1} v6 v4 v2 ) (128 {1} v6 v4 v1 ) (128 {1} v6 v3 v2 ) (128 {1} v6 v3 v1 ) (128 {1} v6 v2 v1 ) (128 {1} v5 v4 v3 ) (128 {1} v5 v4 v2 ) (128 {1} v5 v4 v1 ) (128 {1} v5 v3 v2 ) (128 {1} v5 v3 v1 ) (128 {1} v5 v2 v1 ) (128 {1} v4 v3 v2 ) (128 {1} v4 v3 v1 ) (128 {1} v4 v2 v1 ) (128 {1} v3 v2 v1 )  [  ] 3198] 
]
 [acceptor paid 1.0 for challenge 3201. acceptor: 154 offerer: 155 ]
 
playertrans[
    155
    offer[3211 secret (2 ) 1.0] 
    offer[3210 secret (94 ) 1.0] 
    offer[3209 secret (86 ) 1.0] 
    offer[3208 secret (88 ) 1.0] 
    reoffer[3206 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (42 {1} v11 v12 v13 ) (42 {1} v14 v15 v16 ) (42 {1} v14 v15 v16 ) (42 {1} v4 v5 v6 ) (42 {1} v11 v12 v13 ) (42 {1} v11 v12 v13 ) (42 {1} v5 v6 v7 ) (42 {1} v4 v5 v6 ) (42 {1} v2 v3 v4 ) (42 {1} v18 v19 v20 )  [  ] 3201] 
    solve[[ (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 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true)  ] 3198] 
]
 
[secret revealed 3198 : (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 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 3.0 for solving 1.0 of challenge 3198. acceptor: 155 offerer: 154 ]
 ]
round[3
    
playertrans[
    154
    offer[3215 secret (118 127 ) 0.99] 
    offer[3214 secret (124 127 ) 0.99] 
    offer[3213 secret (42 127 ) 0.99] 
    offer[3212 secret (94 127 ) 0.99] 
    accept[3206] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 3201] 
]
 
[secret revealed 3201 : (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 2.8 for solving 0.9 of challenge 3201. acceptor: 154 offerer: 155 ]
 [acceptor paid 0.9799 for challenge 3206. acceptor: 154 offerer: 155 ]
 
playertrans[
    155
    offer[3219 secret (52 ) 1.0] 
    offer[3218 secret (22 ) 1.0] 
    offer[3217 secret (20 ) 1.0] 
    offer[3216 secret (54 ) 1.0] 
    reoffer[3196 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (86 {1} v6 v7 v8 ) (86 {1} v6 v7 v8 ) (86 {1} v17 v18 v19 ) (86 {1} v7 v8 v9 ) (86 {1} v0 v1 v2 ) (86 {1} v21 v0 v1 ) (86 {1} v12 v13 v14 ) (86 {1} v8 v9 v10 ) (86 {1} v1 v2 v3 ) (86 {1} v13 v14 v15 )  [  ] 3206] 
]
 ]
round[4
    
playertrans[
    154
    offer[3223 secret (38 127 ) 0.99] 
    offer[3222 secret (18 127 ) 0.99] 
    offer[3221 secret (4 127 ) 0.99] 
    offer[3220 secret (6 127 ) 0.99] 
    accept[3196] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 3206] 
]
 
[secret revealed 3206 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> false) ]
 [acceptor received 1.9799 for solving 0.5 of challenge 3206. acceptor: 154 offerer: 155 ]
 [acceptor paid 0.9799 for challenge 3196. acceptor: 154 offerer: 155 ]
 
playertrans[
    155
    offer[3227 secret (12 ) 1.0] 
    offer[3226 secret (116 ) 1.0] 
    offer[3225 secret (4 ) 1.0] 
    offer[3224 secret (76 ) 1.0] 
    reoffer[3212 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (54 {1} v5 v6 v7 ) (54 {1} v4 v5 v6 ) (54 {1} v11 v12 v13 ) (54 {1} v13 v14 v15 ) (54 {1} v2 v3 v4 ) (54 {1} v11 v12 v13 ) (54 {1} v15 v16 v17 ) (54 {1} v2 v3 v4 ) (54 {1} v19 v20 v21 ) (54 {1} v13 v14 v15 )  [  ] 3196] 
]
 ]
round[5
    
playertrans[
    154
    offer[3231 secret (66 127 ) 0.99] 
    offer[3230 secret (2 127 ) 0.99] 
    offer[3229 secret (52 127 ) 0.99] 
    offer[3228 secret (32 127 ) 0.99] 
    accept[3212] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 3196] 
]
 
[secret revealed 3196 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> true) ]
 [acceptor received 1.9799 for solving 0.5 of challenge 3196. acceptor: 154 offerer: 155 ]
 [acceptor paid 0.9799 for challenge 3212. acceptor: 154 offerer: 155 ]
 
playertrans[
    155
    offer[3235 secret (74 ) 1.0] 
    offer[3234 secret (78 ) 1.0] 
    offer[3233 secret (50 ) 1.0] 
    offer[3232 secret (56 ) 1.0] 
    reoffer[3229 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (94 {1} v7 v8 v9 ) (94 {1} v4 v5 v6 ) (94 {1} v12 v13 v14 ) (94 {1} v11 v12 v13 ) (94 {1} v2 v3 v4 ) (94 {1} v4 v5 v6 ) (94 {1} v3 v4 v5 ) (94 {1} v19 v20 v21 ) (94 {1} v5 v6 v7 ) (94 {1} v14 v15 v16 )  [  ] 3212] 
]
 ]
round[6
    
playertrans[
    154
    offer[3239 secret (26 127 ) 0.99] 
    offer[3238 secret (58 127 ) 0.99] 
    offer[3237 secret (92 127 ) 0.99] 
    offer[3236 secret (110 127 ) 0.99] 
    accept[3229] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 3212] 
]
 
[secret revealed 3212 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ]
 [acceptor received 1.9799 for solving 0.5 of challenge 3212. acceptor: 154 offerer: 155 ]
 [acceptor paid 0.9799 for challenge 3229. acceptor: 154 offerer: 155 ]
 
playertrans[
    155
    offer[3243 secret (16 ) 1.0] 
    offer[3242 secret (98 ) 1.0] 
    offer[3241 secret (48 ) 1.0] 
    offer[3240 secret (32 ) 1.0] 
    reoffer[3236 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (52 {1} v19 v20 v21 ) (52 {1} v7 v8 v9 ) (52 {1} v13 v14 v15 ) (52 {1} v0 v1 v2 ) (52 {1} v20 v21 v0 ) (52 {1} v9 v10 v11 ) (52 {1} v18 v19 v20 ) (52 {1} v14 v15 v16 ) (52 {1} v19 v20 v21 ) (52 {1} v8 v9 v10 )  [  ] 3229] 
]
 ]
round[7
    
playertrans[
    154
    offer[3247 secret (36 127 ) 0.99] 
    offer[3246 secret (96 127 ) 0.99] 
    offer[3245 secret (60 127 ) 0.99] 
    offer[3244 secret (28 127 ) 0.99] 
    accept[3236] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 3229] 
]
 
[secret revealed 3229 : (v0 -> true) (v1 -> false) (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) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 2.1799 for solving 0.6 of challenge 3229. acceptor: 154 offerer: 155 ]
 [acceptor paid 0.9799 for challenge 3236. acceptor: 154 offerer: 155 ]
 
playertrans[
    155
    offer[3251 secret (26 ) 1.0] 
    offer[3250 secret (108 ) 1.0] 
    offer[3249 secret (18 ) 1.0] 
    offer[3248 secret (24 ) 1.0] 
    reoffer[3199 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (110 {1} v21 v0 v1 ) (110 {1} v15 v16 v17 ) (110 {1} v17 v18 v19 ) (110 {1} v8 v9 v10 ) (110 {1} v12 v13 v14 ) (110 {1} v20 v21 v0 ) (110 {1} v8 v9 v10 ) (110 {1} v13 v14 v15 ) (110 {1} v18 v19 v20 ) (110 {1} v13 v14 v15 )  [  ] 3236] 
]
 ]
round[8
    
playertrans[
    154
    offer[3255 secret (46 127 ) 0.99] 
    offer[3254 secret (126 127 ) 0.99] 
    offer[3253 secret (16 127 ) 0.99] 
    offer[3252 secret (98 127 ) 0.99] 
    accept[3199] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 3236] 
]
 
[secret revealed 3236 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> true) ]
 [acceptor received 0.0 for solving 0.5 of challenge 3236. acceptor: 154 offerer: 155 ]
 [acceptor paid 0.9799 for challenge 3199. acceptor: 154 offerer: 155 ]
 
playertrans[
    155
    offer[3259 secret (34 ) 1.0] 
    offer[3258 secret (106 ) 1.0] 
    offer[3257 secret (46 ) 1.0] 
    offer[3256 secret (102 ) 1.0] 
    reoffer[3237 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (72 {1} v16 v17 v18 ) (72 {1} v0 v1 v2 ) (72 {1} v2 v3 v4 ) (72 {1} v12 v13 v14 ) (72 {1} v5 v6 v7 ) (72 {1} v18 v19 v20 ) (72 {1} v12 v13 v14 ) (72 {1} v7 v8 v9 ) (72 {1} v1 v2 v3 ) (72 {1} v11 v12 v13 )  [  ] 3199] 
]
 ]
round[9
    
playertrans[
    154
    offer[3263 secret (52 127 ) 0.99] 
    offer[3262 secret (56 127 ) 0.99] 
    offer[3261 secret (86 127 ) 0.99] 
    offer[3260 secret (88 127 ) 0.99] 
    accept[3237] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> false)  ] 3199] 
]
 
[secret revealed 3199 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> true) ]
 [acceptor received 1.9799 for solving 0.5 of challenge 3199. acceptor: 154 offerer: 155 ]
 [acceptor paid 0.9799 for challenge 3237. acceptor: 154 offerer: 155 ]
 
playertrans[
    155
    offer[3267 secret (124 ) 1.0] 
    offer[3266 secret (38 ) 1.0] 
    offer[3265 secret (66 ) 1.0] 
    offer[3264 secret (0 ) 1.0] 
    reoffer[3204 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (92 {1} v9 v10 v11 ) (92 {1} v20 v21 v0 ) (92 {1} v18 v19 v20 ) (92 {1} v3 v4 v5 ) (92 {1} v7 v8 v9 ) (92 {1} v8 v9 v10 ) (92 {1} v6 v7 v8 ) (92 {1} v3 v4 v5 ) (92 {1} v7 v8 v9 ) (92 {1} v11 v12 v13 )  [  ] 3237] 
]
 ]
round[10
    
playertrans[
    154
    offer[3271 secret (80 127 ) 0.99] 
    offer[3270 secret (104 127 ) 0.99] 
    offer[3269 secret (10 127 ) 0.99] 
    offer[3268 secret (106 127 ) 0.99] 
    accept[3204] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 3237] 
]
 
[secret revealed 3237 : (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> true) ]
 [acceptor received 2.5799000000000003 for solving 0.8 of challenge 3237. acceptor: 154 offerer: 155 ]
 [acceptor paid 0.9799 for challenge 3204. acceptor: 154 offerer: 155 ]
 
playertrans[
    155
    offer[3275 secret (62 ) 1.0] 
    offer[3274 secret (10 ) 1.0] 
    offer[3273 secret (36 ) 1.0] 
    offer[3272 secret (30 ) 1.0] 
    reoffer[3220 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (14 {1} v9 v10 v11 ) (14 {1} v5 v6 v7 ) (14 {1} v9 v10 v11 ) (14 {1} v4 v5 v6 ) (14 {1} v1 v2 v3 ) (14 {1} v18 v19 v20 ) (14 {1} v4 v5 v6 ) (14 {1} v13 v14 v15 ) (14 {1} v10 v11 v12 ) (14 {1} v16 v17 v18 )  [  ] 3204] 
]
 ]
round[11
    
playertrans[
    154
    offer[3279 secret (14 127 ) 0.99] 
    offer[3278 secret (122 127 ) 0.99] 
    offer[3277 secret (12 127 ) 0.99] 
    offer[3276 secret (40 127 ) 0.99] 
    accept[3220] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true)  ] 3204] 
]
 
[secret revealed 3204 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> true) ]
 [acceptor received 2.3799 for solving 0.7 of challenge 3204. acceptor: 154 offerer: 155 ]
 [acceptor paid 0.9799 for challenge 3220. acceptor: 154 offerer: 155 ]
 
playertrans[
    155
    offer[3283 secret (114 ) 1.0] 
    offer[3282 secret (110 ) 1.0] 
    offer[3281 secret (82 ) 1.0] 
    offer[3280 secret (28 ) 1.0] 
    reoffer[3231 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (6 {1} v16 v17 v18 ) (6 {1} v16 v17 v18 ) (6 {1} v0 v1 v2 ) (6 {1} v0 v1 v2 ) (6 {1} v1 v2 v3 ) (6 {1} v18 v19 v20 ) (6 {1} v0 v1 v2 ) (6 {1} v15 v16 v17 ) (6 {1} v9 v10 v11 ) (6 {1} v21 v0 v1 )  [  ] 3220] 
]
 ]
round[12
    
playertrans[
    154
    offer[3287 secret (112 127 ) 0.99] 
    offer[3286 secret (90 127 ) 0.99] 
    offer[3285 secret (108 127 ) 0.99] 
    offer[3284 secret (100 127 ) 0.99] 
    accept[3231] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true)  ] 3220] 
]
 
[secret revealed 3220 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.1799 for solving 0.6 of challenge 3220. acceptor: 154 offerer: 155 ]
 [acceptor paid 0.9799 for challenge 3231. acceptor: 154 offerer: 155 ]
 
playertrans[
    155
    offer[3291 secret (126 ) 1.0] 
    offer[3290 secret (70 ) 1.0] 
    offer[3289 secret (58 ) 1.0] 
    offer[3288 secret (6 ) 1.0] 
    reoffer[3253 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (66 {1} v19 v20 v21 ) (66 {1} v3 v4 v5 ) (66 {1} v0 v1 v2 ) (66 {1} v0 v1 v2 ) (66 {1} v17 v18 v19 ) (66 {1} v8 v9 v10 ) (66 {1} v19 v20 v21 ) (66 {1} v13 v14 v15 ) (66 {1} v6 v7 v8 ) (66 {1} v9 v10 v11 )  [  ] 3231] 
]
 ]
round[13
    
playertrans[
    154
    offer[3295 secret (64 127 ) 0.99] 
    offer[3294 secret (84 127 ) 0.99] 
    offer[3293 secret (102 127 ) 0.99] 
    offer[3292 secret (62 127 ) 0.99] 
    accept[3253] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 3231] 
]
 
[secret revealed 3231 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> true) ]
 [acceptor received 2.3799 for solving 0.7 of challenge 3231. acceptor: 154 offerer: 155 ]
 [acceptor paid 0.9799 for challenge 3253. acceptor: 154 offerer: 155 ]
 
playertrans[
    155
    offer[3299 secret (120 ) 1.0] 
    offer[3298 secret (84 ) 1.0] 
    offer[3297 secret (122 ) 1.0] 
    offer[3296 secret (40 ) 1.0] 
    reoffer[3228 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (16 {1} v8 v9 v10 ) (16 {1} v5 v6 v7 ) (16 {1} v11 v12 v13 ) (16 {1} v6 v7 v8 ) (16 {1} v15 v16 v17 ) (16 {1} v11 v12 v13 ) (16 {1} v7 v8 v9 ) (16 {1} v4 v5 v6 ) (16 {1} v0 v1 v2 ) (16 {1} v16 v17 v18 )  [  ] 3253] 
]
 ]
round[14
    
playertrans[
    154
    offer[3303 secret (114 127 ) 0.99] 
    offer[3302 secret (82 127 ) 0.99] 
    offer[3301 secret (120 127 ) 0.99] 
    offer[3300 secret (72 127 ) 0.99] 
    accept[3228] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true)  ] 3253] 
]
 
[secret revealed 3253 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false) ]
 [acceptor received 1.9799 for solving 0.5 of challenge 3253. acceptor: 154 offerer: 155 ]
 [acceptor paid 0.9799 for challenge 3228. acceptor: 154 offerer: 155 ]
 
playertrans[
    155
    offer[3307 secret (44 ) 1.0] 
    offer[3306 secret (118 ) 1.0] 
    offer[3305 secret (80 ) 1.0] 
    offer[3304 secret (100 ) 1.0] 
    reoffer[3303 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (32 {1} v1 v2 v3 ) (32 {1} v5 v6 v7 ) (32 {1} v7 v8 v9 ) (32 {1} v21 v0 v1 ) (32 {1} v15 v16 v17 ) (32 {1} v3 v4 v5 ) (32 {1} v18 v19 v20 ) (32 {1} v3 v4 v5 ) (32 {1} v4 v5 v6 ) (32 {1} v2 v3 v4 )  [  ] 3228] 
]
 ]
round[15
    
playertrans[
    154
    offer[3311 secret (48 127 ) 0.99] 
    offer[3310 secret (76 127 ) 0.99] 
    offer[3309 secret (66 127 ) 0.99] 
    offer[3308 secret (116 127 ) 0.99] 
    accept[3303] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> true)  ] 3228] 
]
 
[secret revealed 3228 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.3799 for solving 0.7 of challenge 3228. acceptor: 154 offerer: 155 ]
 [acceptor paid 0.9799 for challenge 3303. acceptor: 154 offerer: 155 ]
 
playertrans[
    155
    offer[3315 secret (72 ) 1.0] 
    offer[3314 secret (90 ) 1.0] 
    offer[3313 secret (14 ) 1.0] 
    offer[3312 secret (112 ) 1.0] 
    reoffer[3254 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (114 {1} v5 v6 v7 ) (114 {1} v5 v6 v7 ) (114 {1} v9 v10 v11 ) (114 {1} v20 v21 v0 ) (114 {1} v10 v11 v12 ) (114 {1} v18 v19 v20 ) (114 {1} v0 v1 v2 ) (114 {1} v18 v19 v20 ) (114 {1} v20 v21 v0 ) (114 {1} v11 v12 v13 )  [  ] 3303] 
]
 ]
round[16
    /* OverTime Round: Offers/Accepts/Reoffers are ignored */

 
playertrans[
    154
    offer[3319 secret (94 127 ) 0.99] 
    offer[3318 secret (8 127 ) 0.99] 
    offer[3317 secret (114 127 ) 0.99] 
    offer[3316 secret (6 127 ) 0.99] 
    accept[3254] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true)  ] 3303] 
]
 
[secret revealed 3303 : (v0 -> true) (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) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 1.9799 for solving 0.5 of challenge 3303. acceptor: 154 offerer: 155 ]
 
playertrans[
    155
    offer[3323 secret (96 ) 1.0] 
    offer[3322 secret (64 ) 1.0] 
    offer[3321 secret (92 ) 1.0] 
    offer[3320 secret (42 ) 1.0] 
    reoffer[3293 0.9799] 
]
 ]
round[17
    /* OverTime Round: Offers/Accepts/Reoffers are ignored */

 
playertrans[
    154
    offer[3327 secret (22 127 ) 0.99] 
    offer[3326 secret (30 127 ) 0.99] 
    offer[3325 secret (127 128 ) 1.0] 
    offer[3324 secret (50 127 ) 0.99] 
    accept[3254] 
]
 
playertrans[
    155
    offer[3331 secret (64 ) 1.0] 
    offer[3330 secret (42 ) 1.0] 
    offer[3329 secret (96 ) 1.0] 
    offer[3328 secret (68 ) 1.0] 
    reoffer[3278 0.9799] 
]
 ]

**** Final Results *****
"Boston_Chargers" : 113.02010000000001 
"CaptainKarl2" : 86.97989999999999