(124 -> playerspec["Terminator" "129.10.116.203" 2007])
  (125 -> playerspec["CaptainKarl2" "129.10.117.226" 2003])

round[1
    
playertrans[
    125
    offer[2035 secret (86 ) 1.0] 
    offer[2034 secret (34 ) 1.0] 
    offer[2033 secret (122 ) 1.0] 
    offer[2032 secret (44 ) 1.0] 
]
 
playertrans[
    124
    offer[2037 secret (66 127 ) 0.9651] 
    offer[2036 secret (62 127 ) 0.9841] 
    accept[2035] 
    accept[2034] 
    accept[2033] 
    accept[2032] 
]
 [acceptor paid 1.0 for challenge 2032. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2033. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2034. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2035. acceptor: 124 offerer: 125 ]
 ]
round[2
    
playertrans[
    125
    offer[2041 secret (110 ) 1.0] 
    offer[2040 secret (2 ) 1.0] 
    offer[2039 secret (30 ) 1.0] 
    offer[2038 secret (82 ) 1.0] 
    reoffer[2036 0.974] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (44 {1} v7 v8 v9 ) (44 {1} v3 v4 v5 ) (44 {1} v9 v10 v11 ) (44 {1} v5 v6 v7 ) (44 {1} v4 v5 v6 ) (44 {1} v4 v5 v6 ) (44 {1} v13 v14 v15 ) (44 {1} v9 v10 v11 ) (44 {1} v4 v5 v6 ) (44 {1} v12 v13 v14 )  [  ] 2032] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (122 {1} v16 v17 v18 ) (122 {1} v13 v14 v15 ) (122 {1} v15 v16 v17 ) (122 {1} v6 v7 v8 ) (122 {1} v5 v6 v7 ) (122 {1} v16 v17 v18 ) (122 {1} v17 v18 v19 ) (122 {1} v11 v12 v13 ) (122 {1} v0 v1 v2 ) (122 {1} v1 v2 v3 )  [  ] 2033] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (34 {1} v8 v9 v10 ) (34 {1} v4 v5 v6 ) (34 {1} v13 v14 v15 ) (34 {1} v4 v5 v6 ) (34 {1} v2 v3 v4 ) (34 {1} v10 v11 v12 ) (34 {1} v18 v19 v20 ) (34 {1} v14 v15 v16 ) (34 {1} v20 v21 v0 ) (34 {1} v2 v3 v4 )  [  ] 2034] 
    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} v18 v19 v20 ) (86 {1} v16 v17 v18 ) (86 {1} v1 v2 v3 ) (86 {1} v15 v16 v17 ) (86 {1} v16 v17 v18 ) (86 {1} v12 v13 v14 ) (86 {1} v7 v8 v9 ) (86 {1} v6 v7 v8 ) (86 {1} v2 v3 v4 ) (86 {1} v7 v8 v9 )  [  ] 2035] 
]
 
playertrans[
    124
    offer[2043 secret (20 127 ) 0.9674] 
    offer[2042 secret (122 127 ) 0.9841] 
    accept[2041] 
    accept[2040] 
    accept[2039] 
    accept[2038] 
    accept[2036] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2032] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> true) (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 -> false) (v8 -> false) (v9 -> false)  ] 2033] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2034] 
    solve[[ (v0 -> false) (v1 -> true) (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 -> false) (v8 -> false) (v9 -> false)  ] 2035] 
]
 
[secret revealed 2035 : (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 -> true) (v8 -> false) (v9 -> true) ]
 [acceptor received 1.2 for solving 0.1 of challenge 2035. acceptor: 124 offerer: 125 ]
 
[secret revealed 2034 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> true) ]
 [acceptor received 2.8 for solving 0.9 of challenge 2034. acceptor: 124 offerer: 125 ]
 
[secret revealed 2033 : (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> false) ]
 [acceptor received 0.0 for solving 0.3 of challenge 2033. acceptor: 124 offerer: 125 ]
 
[secret revealed 2032 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 0.0 for solving 0.2 of challenge 2032. acceptor: 124 offerer: 125 ]
 [acceptor paid 0.974 for challenge 2036. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2038. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2039. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2040. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2041. acceptor: 124 offerer: 125 ]
 ]
round[3
    
playertrans[
    125
    offer[2047 secret (66 ) 1.0] 
    offer[2046 secret (98 ) 1.0] 
    offer[2045 secret (64 ) 1.0] 
    offer[2044 secret (100 ) 1.0] 
    reoffer[2042 0.974] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (62 {1} v15 v16 v17 ) (62 {1} v2 v3 v4 ) (62 {1} v18 v19 v20 ) (62 {1} v19 v20 v21 ) (62 {1} v9 v10 v11 ) (62 {1} v18 v19 v20 ) (62 {1} v13 v14 v15 ) (62 {1} v0 v1 v2 ) (62 {1} v15 v16 v17 ) (62 {1} v3 v4 v5 )  [  ] 2036] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (82 {1} v13 v14 v15 ) (82 {1} v19 v20 v21 ) (82 {1} v20 v21 v0 ) (82 {1} v18 v19 v20 ) (82 {1} v1 v2 v3 ) (82 {1} v11 v12 v13 ) (82 {1} v5 v6 v7 ) (82 {1} v4 v5 v6 ) (82 {1} v20 v21 v0 ) (82 {1} v4 v5 v6 )  [  ] 2038] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (30 {1} v2 v3 v4 ) (30 {1} v9 v10 v11 ) (30 {1} v4 v5 v6 ) (30 {1} v11 v12 v13 ) (30 {1} v2 v3 v4 ) (30 {1} v21 v0 v1 ) (30 {1} v4 v5 v6 ) (30 {1} v20 v21 v0 ) (30 {1} v7 v8 v9 ) (30 {1} v5 v6 v7 )  [  ] 2039] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (2 {1} v19 v20 v21 ) (2 {1} v17 v18 v19 ) (2 {1} v5 v6 v7 ) (2 {1} v16 v17 v18 ) (2 {1} v18 v19 v20 ) (2 {1} v13 v14 v15 ) (2 {1} v10 v11 v12 ) (2 {1} v10 v11 v12 ) (2 {1} v1 v2 v3 ) (2 {1} v0 v1 v2 )  [  ] 2040] 
    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} v13 v14 v15 ) (110 {1} v17 v18 v19 ) (110 {1} v14 v15 v16 ) (110 {1} v18 v19 v20 ) (110 {1} v16 v17 v18 ) (110 {1} v11 v12 v13 ) (110 {1} v11 v12 v13 ) (110 {1} v11 v12 v13 ) (110 {1} v4 v5 v6 ) (110 {1} v6 v7 v8 )  [  ] 2041] 
]
 
playertrans[
    124
    offer[2049 secret (40 127 ) 0.9674] 
    offer[2048 secret (18 127 ) 0.9674] 
    accept[2047] 
    accept[2046] 
    accept[2045] 
    accept[2044] 
    accept[2042] 
    solve[[ (v0 -> true) (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 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2036] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (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 -> true) (v8 -> false) (v9 -> false)  ] 2038] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2039] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2040] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false)  ] 2041] 
]
 
[secret revealed 2041 : (v0 -> false) (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 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.2 for solving 0.6 of challenge 2041. acceptor: 124 offerer: 125 ]
 
[secret revealed 2040 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.4 for solving 0.7 of challenge 2040. acceptor: 124 offerer: 125 ]
 
[secret revealed 2039 : (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ]
 [acceptor received 0.0 for solving 0.5 of challenge 2039. acceptor: 124 offerer: 125 ]
 
[secret revealed 2038 : (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ]
 [acceptor received 0.0 for solving 0.6 of challenge 2038. acceptor: 124 offerer: 125 ]
 
[secret revealed 2036 : (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.374 for solving 0.2 of challenge 2036. acceptor: 124 offerer: 125 ]
 [acceptor paid 0.974 for challenge 2042. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2044. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2045. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2046. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2047. acceptor: 124 offerer: 125 ]
 ]
round[4
    
playertrans[
    125
    offer[2053 secret (78 ) 1.0] 
    offer[2052 secret (94 ) 1.0] 
    offer[2051 secret (90 ) 1.0] 
    offer[2050 secret (102 ) 1.0] 
    reoffer[2048 0.9573] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (122 {1} v6 v7 v8 ) (122 {1} v5 v6 v7 ) (122 {1} v2 v3 v4 ) (122 {1} v3 v4 v5 ) (122 {1} v13 v14 v15 ) (122 {1} v1 v2 v3 ) (122 {1} v14 v15 v16 ) (122 {1} v16 v17 v18 ) (122 {1} v7 v8 v9 ) (122 {1} v11 v12 v13 )  [  ] 2042] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (100 {1} v13 v14 v15 ) (100 {1} v14 v15 v16 ) (100 {1} v4 v5 v6 ) (100 {1} v5 v6 v7 ) (100 {1} v21 v0 v1 ) (100 {1} v16 v17 v18 ) (100 {1} v2 v3 v4 ) (100 {1} v3 v4 v5 ) (100 {1} v4 v5 v6 ) (100 {1} v9 v10 v11 )  [  ] 2044] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (64 {1} v18 v19 v20 ) (64 {1} v3 v4 v5 ) (64 {1} v21 v0 v1 ) (64 {1} v2 v3 v4 ) (64 {1} v2 v3 v4 ) (64 {1} v18 v19 v20 ) (64 {1} v20 v21 v0 ) (64 {1} v21 v0 v1 ) (64 {1} v13 v14 v15 ) (64 {1} v9 v10 v11 )  [  ] 2045] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (98 {1} v3 v4 v5 ) (98 {1} v7 v8 v9 ) (98 {1} v3 v4 v5 ) (98 {1} v13 v14 v15 ) (98 {1} v5 v6 v7 ) (98 {1} v9 v10 v11 ) (98 {1} v12 v13 v14 ) (98 {1} v9 v10 v11 ) (98 {1} v7 v8 v9 ) (98 {1} v19 v20 v21 )  [  ] 2046] 
    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} v4 v5 v6 ) (66 {1} v20 v21 v0 ) (66 {1} v4 v5 v6 ) (66 {1} v8 v9 v10 ) (66 {1} v11 v12 v13 ) (66 {1} v0 v1 v2 ) (66 {1} v3 v4 v5 ) (66 {1} v8 v9 v10 ) (66 {1} v3 v4 v5 ) (66 {1} v2 v3 v4 )  [  ] 2047] 
]
 
playertrans[
    124
    offer[2055 secret (112 127 ) 0.9718] 
    offer[2054 secret (100 127 ) 0.9718] 
    accept[2053] 
    accept[2052] 
    accept[2051] 
    accept[2050] 
    accept[2048] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true)  ] 2042] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> true)  ] 2044] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2045] 
    solve[[ (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 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true)  ] 2046] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2047] 
]
 
[secret revealed 2047 : (v0 -> true) (v1 -> true) (v10 -> true) (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 -> true) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> false) ]
 [acceptor received 2.2 for solving 0.6 of challenge 2047. acceptor: 124 offerer: 125 ]
 
[secret revealed 2046 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 0.0 for solving 0.5 of challenge 2046. acceptor: 124 offerer: 125 ]
 
[secret revealed 2045 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ]
 [acceptor received 2.0 for solving 0.5 of challenge 2045. acceptor: 124 offerer: 125 ]
 
[secret revealed 2044 : (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 2.2 for solving 0.6 of challenge 2044. acceptor: 124 offerer: 125 ]
 
[secret revealed 2042 : (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 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ]
 [acceptor received 2.174 for solving 0.6 of challenge 2042. acceptor: 124 offerer: 125 ]
 [acceptor paid 0.9573 for challenge 2048. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2050. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2051. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2052. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2053. acceptor: 124 offerer: 125 ]
 ]
round[5
    
playertrans[
    125
    offer[2059 secret (2 ) 1.0] 
    offer[2058 secret (60 ) 1.0] 
    offer[2057 secret (16 ) 1.0] 
    offer[2056 secret (92 ) 1.0] 
    reoffer[2055 0.9617] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (18 {1} v20 v21 v0 ) (18 {1} v20 v21 v0 ) (18 {1} v2 v3 v4 ) (18 {1} v10 v11 v12 ) (18 {1} v19 v20 v21 ) (18 {1} v0 v1 v2 ) (18 {1} v19 v20 v21 ) (18 {1} v0 v1 v2 ) (18 {1} v8 v9 v10 ) (18 {1} v0 v1 v2 )  [  ] 2048] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (102 {1} v1 v2 v3 ) (102 {1} v21 v0 v1 ) (102 {1} v0 v1 v2 ) (102 {1} v11 v12 v13 ) (102 {1} v19 v20 v21 ) (102 {1} v0 v1 v2 ) (102 {1} v19 v20 v21 ) (102 {1} v2 v3 v4 ) (102 {1} v3 v4 v5 ) (102 {1} v0 v1 v2 )  [  ] 2050] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (90 {1} v7 v8 v9 ) (90 {1} v7 v8 v9 ) (90 {1} v21 v0 v1 ) (90 {1} v13 v14 v15 ) (90 {1} v12 v13 v14 ) (90 {1} v15 v16 v17 ) (90 {1} v14 v15 v16 ) (90 {1} v3 v4 v5 ) (90 {1} v11 v12 v13 ) (90 {1} v18 v19 v20 )  [  ] 2051] 
    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} v8 v9 v10 ) (94 {1} v0 v1 v2 ) (94 {1} v8 v9 v10 ) (94 {1} v0 v1 v2 ) (94 {1} v1 v2 v3 ) (94 {1} v3 v4 v5 ) (94 {1} v16 v17 v18 ) (94 {1} v16 v17 v18 ) (94 {1} v9 v10 v11 ) (94 {1} v13 v14 v15 )  [  ] 2052] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (78 {1} v9 v10 v11 ) (78 {1} v9 v10 v11 ) (78 {1} v11 v12 v13 ) (78 {1} v17 v18 v19 ) (78 {1} v20 v21 v0 ) (78 {1} v20 v21 v0 ) (78 {1} v10 v11 v12 ) (78 {1} v21 v0 v1 ) (78 {1} v18 v19 v20 ) (78 {1} v12 v13 v14 )  [  ] 2053] 
]
 
playertrans[
    124
    offer[2061 secret (68 127 ) 0.9651] 
    offer[2060 secret (22 127 ) 0.9748] 
    accept[2059] 
    accept[2058] 
    accept[2057] 
    accept[2056] 
    accept[2055] 
    solve[[ (v0 -> true) (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 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2048] 
    solve[[ (v0 -> true) (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)  ] 2050] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2051] 
    solve[[ (v0 -> true) (v1 -> true) (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 -> false) (v8 -> false) (v9 -> false)  ] 2052] 
    solve[[ (v0 -> true) (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 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2053] 
]
 
[secret revealed 2053 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ]
 [acceptor received 2.0 for solving 0.5 of challenge 2053. acceptor: 124 offerer: 125 ]
 
[secret revealed 2052 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 1.6 for solving 0.3 of challenge 2052. acceptor: 124 offerer: 125 ]
 
[secret revealed 2051 : (v0 -> false) (v1 -> false) (v10 -> true) (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 -> false) (v8 -> true) (v9 -> true) ]
 [acceptor received 1.8 for solving 0.4 of challenge 2051. acceptor: 124 offerer: 125 ]
 
[secret revealed 2050 : (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 3.0 for solving 1.0 of challenge 2050. acceptor: 124 offerer: 125 ]
 
[secret revealed 2048 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ]
 [acceptor received 2.3573 for solving 0.7 of challenge 2048. acceptor: 124 offerer: 125 ]
 [acceptor paid 0.9617 for challenge 2055. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2056. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2057. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2058. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2059. acceptor: 124 offerer: 125 ]
 ]
round[6
    
playertrans[
    125
    offer[2065 secret (84 ) 1.0] 
    offer[2064 secret (18 ) 1.0] 
    offer[2063 secret (26 ) 1.0] 
    offer[2062 secret (36 ) 1.0] 
    reoffer[2043 0.9573] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (112 {1} v21 v0 v1 ) (112 {1} v20 v21 v0 ) (112 {1} v9 v10 v11 ) (112 {1} v11 v12 v13 ) (112 {1} v19 v20 v21 ) (112 {1} v15 v16 v17 ) (112 {1} v2 v3 v4 ) (112 {1} v12 v13 v14 ) (112 {1} v10 v11 v12 ) (112 {1} v6 v7 v8 )  [  ] 2055] 
    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} v6 v7 v8 ) (92 {1} v19 v20 v21 ) (92 {1} v4 v5 v6 ) (92 {1} v3 v4 v5 ) (92 {1} v14 v15 v16 ) (92 {1} v12 v13 v14 ) (92 {1} v1 v2 v3 ) (92 {1} v12 v13 v14 ) (92 {1} v21 v0 v1 ) (92 {1} v5 v6 v7 )  [  ] 2056] 
    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} v15 v16 v17 ) (16 {1} v16 v17 v18 ) (16 {1} v21 v0 v1 ) (16 {1} v3 v4 v5 ) (16 {1} v4 v5 v6 ) (16 {1} v14 v15 v16 ) (16 {1} v9 v10 v11 ) (16 {1} v6 v7 v8 ) (16 {1} v14 v15 v16 ) (16 {1} v15 v16 v17 )  [  ] 2057] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (60 {1} v0 v1 v2 ) (60 {1} v7 v8 v9 ) (60 {1} v11 v12 v13 ) (60 {1} v3 v4 v5 ) (60 {1} v18 v19 v20 ) (60 {1} v11 v12 v13 ) (60 {1} v10 v11 v12 ) (60 {1} v2 v3 v4 ) (60 {1} v14 v15 v16 ) (60 {1} v15 v16 v17 )  [  ] 2058] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (2 {1} v20 v21 v0 ) (2 {1} v21 v0 v1 ) (2 {1} v6 v7 v8 ) (2 {1} v14 v15 v16 ) (2 {1} v21 v0 v1 ) (2 {1} v19 v20 v21 ) (2 {1} v12 v13 v14 ) (2 {1} v13 v14 v15 ) (2 {1} v14 v15 v16 ) (2 {1} v19 v20 v21 )  [  ] 2059] 
]
 
playertrans[
    124
    offer[2067 secret (80 127 ) 0.9651] 
    offer[2066 secret (76 127 ) 0.9718] 
    accept[2063] 
    accept[2062] 
    accept[2043] 
    accept[2064] 
    accept[2065] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> true)  ] 2055] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (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 -> false) (v8 -> false) (v9 -> false)  ] 2056] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (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 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2057] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2058] 
    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 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2059] 
]
 
[secret revealed 2059 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 1.8 for solving 0.4 of challenge 2059. acceptor: 124 offerer: 125 ]
 
[secret revealed 2058 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> true) ]
 [acceptor received 1.6 for solving 0.3 of challenge 2058. acceptor: 124 offerer: 125 ]
 
[secret revealed 2057 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> true) (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 -> false) (v9 -> true) ]
 [acceptor received 1.8 for solving 0.4 of challenge 2057. acceptor: 124 offerer: 125 ]
 
[secret revealed 2056 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ]
 [acceptor received 0.0 for solving 0.1 of challenge 2056. acceptor: 124 offerer: 125 ]
 
[secret revealed 2055 : (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 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 1.7617 for solving 0.4 of challenge 2055. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2065. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2064. acceptor: 124 offerer: 125 ]
 [acceptor paid 0.9573 for challenge 2043. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2062. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2063. acceptor: 124 offerer: 125 ]
 ]
round[7
    
playertrans[
    125
    offer[2071 secret (12 ) 1.0] 
    offer[2070 secret (52 ) 1.0] 
    offer[2069 secret (28 ) 1.0] 
    offer[2068 secret (18 ) 1.0] 
    reoffer[2061 0.955] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (84 {1} v17 v18 v19 ) (84 {1} v20 v21 v0 ) (84 {1} v13 v14 v15 ) (84 {1} v17 v18 v19 ) (84 {1} v10 v11 v12 ) (84 {1} v14 v15 v16 ) (84 {1} v19 v20 v21 ) (84 {1} v21 v0 v1 ) (84 {1} v16 v17 v18 ) (84 {1} v6 v7 v8 )  [  ] 2065] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (18 {1} v4 v5 v6 ) (18 {1} v4 v5 v6 ) (18 {1} v1 v2 v3 ) (18 {1} v13 v14 v15 ) (18 {1} v9 v10 v11 ) (18 {1} v2 v3 v4 ) (18 {1} v10 v11 v12 ) (18 {1} v18 v19 v20 ) (18 {1} v16 v17 v18 ) (18 {1} v10 v11 v12 )  [  ] 2064] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (20 {1} v10 v11 v12 ) (20 {1} v11 v12 v13 ) (20 {1} v0 v1 v2 ) (20 {1} v7 v8 v9 ) (20 {1} v11 v12 v13 ) (20 {1} v7 v8 v9 ) (20 {1} v14 v15 v16 ) (20 {1} v9 v10 v11 ) (20 {1} v8 v9 v10 ) (20 {1} v18 v19 v20 )  [  ] 2043] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (36 {1} v8 v9 v10 ) (36 {1} v19 v20 v21 ) (36 {1} v14 v15 v16 ) (36 {1} v4 v5 v6 ) (36 {1} v11 v12 v13 ) (36 {1} v10 v11 v12 ) (36 {1} v7 v8 v9 ) (36 {1} v1 v2 v3 ) (36 {1} v14 v15 v16 ) (36 {1} v12 v13 v14 )  [  ] 2062] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (26 {1} v8 v9 v10 ) (26 {1} v19 v20 v21 ) (26 {1} v15 v16 v17 ) (26 {1} v5 v6 v7 ) (26 {1} v13 v14 v15 ) (26 {1} v12 v13 v14 ) (26 {1} v19 v20 v21 ) (26 {1} v15 v16 v17 ) (26 {1} v3 v4 v5 ) (26 {1} v2 v3 v4 )  [  ] 2063] 
]
 
playertrans[
    124
    offer[2073 secret (112 127 ) 0.9718] 
    offer[2072 secret (58 127 ) 0.9775] 
    accept[2061] 
    accept[2070] 
    accept[2071] 
    accept[2068] 
    accept[2069] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false)  ] 2065] 
    solve[[ (v0 -> false) (v1 -> true) (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 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true)  ] 2064] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> true) (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 -> false) (v9 -> false)  ] 2043] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2062] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2063] 
]
 
[secret revealed 2063 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 1.6 for solving 0.3 of challenge 2063. acceptor: 124 offerer: 125 ]
 
[secret revealed 2062 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.0 for solving 0.5 of challenge 2062. acceptor: 124 offerer: 125 ]
 
[secret revealed 2043 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> false) ]
 [acceptor received 1.9573 for solving 0.5 of challenge 2043. acceptor: 124 offerer: 125 ]
 
[secret revealed 2064 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (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 -> false) ]
 [acceptor received 2.0 for solving 0.5 of challenge 2064. acceptor: 124 offerer: 125 ]
 
[secret revealed 2065 : (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 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.6 for solving 0.8 of challenge 2065. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2069. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2068. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2071. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2070. acceptor: 124 offerer: 125 ]
 [acceptor paid 0.955 for challenge 2061. acceptor: 124 offerer: 125 ]
 ]
round[8
    
playertrans[
    125
    offer[2077 secret (38 ) 1.0] 
    offer[2076 secret (80 ) 1.0] 
    offer[2075 secret (98 ) 1.0] 
    offer[2074 secret (84 ) 1.0] 
    reoffer[2037 0.955] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (28 {1} v4 v5 v6 ) (28 {1} v4 v5 v6 ) (28 {1} v17 v18 v19 ) (28 {1} v7 v8 v9 ) (28 {1} v18 v19 v20 ) (28 {1} v1 v2 v3 ) (28 {1} v1 v2 v3 ) (28 {1} v19 v20 v21 ) (28 {1} v10 v11 v12 ) (28 {1} v3 v4 v5 )  [  ] 2069] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (18 {1} v19 v20 v21 ) (18 {1} v12 v13 v14 ) (18 {1} v9 v10 v11 ) (18 {1} v13 v14 v15 ) (18 {1} v4 v5 v6 ) (18 {1} v12 v13 v14 ) (18 {1} v17 v18 v19 ) (18 {1} v20 v21 v0 ) (18 {1} v12 v13 v14 ) (18 {1} v0 v1 v2 )  [  ] 2068] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (12 {1} v1 v2 v3 ) (12 {1} v11 v12 v13 ) (12 {1} v1 v2 v3 ) (12 {1} v0 v1 v2 ) (12 {1} v13 v14 v15 ) (12 {1} v15 v16 v17 ) (12 {1} v6 v7 v8 ) (12 {1} v11 v12 v13 ) (12 {1} v15 v16 v17 ) (12 {1} v0 v1 v2 )  [  ] 2071] 
    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} v9 v10 v11 ) (52 {1} v1 v2 v3 ) (52 {1} v16 v17 v18 ) (52 {1} v18 v19 v20 ) (52 {1} v15 v16 v17 ) (52 {1} v17 v18 v19 ) (52 {1} v13 v14 v15 ) (52 {1} v8 v9 v10 ) (52 {1} v9 v10 v11 ) (52 {1} v15 v16 v17 )  [  ] 2070] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (68 {1} v15 v16 v17 ) (68 {1} v15 v16 v17 ) (68 {1} v14 v15 v16 ) (68 {1} v4 v5 v6 ) (68 {1} v15 v16 v17 ) (68 {1} v9 v10 v11 ) (68 {1} v6 v7 v8 ) (68 {1} v3 v4 v5 ) (68 {1} v8 v9 v10 ) (68 {1} v21 v0 v1 )  [  ] 2061] 
]
 
playertrans[
    124
    offer[2079 secret (60 127 ) 0.9775] 
    offer[2078 secret (88 127 ) 0.9718] 
    accept[2076] 
    accept[2077] 
    accept[2074] 
    accept[2075] 
    accept[2037] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2069] 
    solve[[ (v0 -> true) (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 -> false) (v8 -> false) (v9 -> true)  ] 2068] 
    solve[[ (v0 -> false) (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 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false)  ] 2071] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (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 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2070] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false)  ] 2061] 
]
 
[secret revealed 2061 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 2.355 for solving 0.7 of challenge 2061. acceptor: 124 offerer: 125 ]
 
[secret revealed 2070 : (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 -> false) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 1.8 for solving 0.4 of challenge 2070. acceptor: 124 offerer: 125 ]
 
[secret revealed 2071 : (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 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.6 for solving 0.8 of challenge 2071. acceptor: 124 offerer: 125 ]
 
[secret revealed 2068 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 1.6 for solving 0.3 of challenge 2068. acceptor: 124 offerer: 125 ]
 
[secret revealed 2069 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ]
 [acceptor received 2.2 for solving 0.6 of challenge 2069. acceptor: 124 offerer: 125 ]
 [acceptor paid 0.955 for challenge 2037. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2075. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2074. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2077. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2076. acceptor: 124 offerer: 125 ]
 ]
round[9
    
playertrans[
    125
    offer[2083 secret (48 ) 1.0] 
    offer[2082 secret (38 ) 1.0] 
    offer[2081 secret (30 ) 1.0] 
    offer[2080 secret (84 ) 1.0] 
    reoffer[2066 0.9617] 
    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} v9 v10 v11 ) (66 {1} v17 v18 v19 ) (66 {1} v4 v5 v6 ) (66 {1} v17 v18 v19 ) (66 {1} v4 v5 v6 ) (66 {1} v18 v19 v20 ) (66 {1} v17 v18 v19 ) (66 {1} v19 v20 v21 ) (66 {1} v0 v1 v2 ) (66 {1} v11 v12 v13 )  [  ] 2037] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (98 {1} v21 v0 v1 ) (98 {1} v6 v7 v8 ) (98 {1} v17 v18 v19 ) (98 {1} v20 v21 v0 ) (98 {1} v17 v18 v19 ) (98 {1} v11 v12 v13 ) (98 {1} v6 v7 v8 ) (98 {1} v19 v20 v21 ) (98 {1} v21 v0 v1 ) (98 {1} v4 v5 v6 )  [  ] 2075] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (84 {1} v12 v13 v14 ) (84 {1} v16 v17 v18 ) (84 {1} v15 v16 v17 ) (84 {1} v7 v8 v9 ) (84 {1} v14 v15 v16 ) (84 {1} v2 v3 v4 ) (84 {1} v16 v17 v18 ) (84 {1} v7 v8 v9 ) (84 {1} v7 v8 v9 ) (84 {1} v9 v10 v11 )  [  ] 2074] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (38 {1} v1 v2 v3 ) (38 {1} v15 v16 v17 ) (38 {1} v14 v15 v16 ) (38 {1} v20 v21 v0 ) (38 {1} v0 v1 v2 ) (38 {1} v10 v11 v12 ) (38 {1} v9 v10 v11 ) (38 {1} v18 v19 v20 ) (38 {1} v18 v19 v20 ) (38 {1} v14 v15 v16 )  [  ] 2077] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (80 {1} v2 v3 v4 ) (80 {1} v2 v3 v4 ) (80 {1} v18 v19 v20 ) (80 {1} v12 v13 v14 ) (80 {1} v17 v18 v19 ) (80 {1} v11 v12 v13 ) (80 {1} v0 v1 v2 ) (80 {1} v9 v10 v11 ) (80 {1} v13 v14 v15 ) (80 {1} v0 v1 v2 )  [  ] 2076] 
]
 
playertrans[
    124
    offer[2085 secret (86 127 ) 0.9789] 
    offer[2084 secret (52 127 ) 0.9718] 
    accept[2066] 
    accept[2081] 
    accept[2080] 
    accept[2083] 
    accept[2082] 
    solve[[ (v0 -> true) (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 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2037] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2075] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2074] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2077] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2076] 
]
 
[secret revealed 2076 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (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 -> false) (v9 -> false) ]
 [acceptor received 2.2 for solving 0.6 of challenge 2076. acceptor: 124 offerer: 125 ]
 
[secret revealed 2077 : (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 -> true) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.0 for solving 0.5 of challenge 2077. acceptor: 124 offerer: 125 ]
 
[secret revealed 2074 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> true) ]
 [acceptor received 2.0 for solving 0.5 of challenge 2074. acceptor: 124 offerer: 125 ]
 
[secret revealed 2075 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ]
 [acceptor received 1.8 for solving 0.4 of challenge 2075. acceptor: 124 offerer: 125 ]
 
[secret revealed 2037 : (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 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 1.555 for solving 0.3 of challenge 2037. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2082. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2083. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2080. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2081. acceptor: 124 offerer: 125 ]
 [acceptor paid 0.9617 for challenge 2066. acceptor: 124 offerer: 125 ]
 ]
round[10
    
playertrans[
    125
    offer[2089 secret (50 ) 1.0] 
    offer[2088 secret (76 ) 1.0] 
    offer[2087 secret (18 ) 1.0] 
    offer[2086 secret (34 ) 1.0] 
    reoffer[2072 0.9674] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (38 {1} v18 v19 v20 ) (38 {1} v20 v21 v0 ) (38 {1} v16 v17 v18 ) (38 {1} v14 v15 v16 ) (38 {1} v13 v14 v15 ) (38 {1} v0 v1 v2 ) (38 {1} v13 v14 v15 ) (38 {1} v1 v2 v3 ) (38 {1} v15 v16 v17 ) (38 {1} v14 v15 v16 )  [  ] 2082] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (48 {1} v17 v18 v19 ) (48 {1} v4 v5 v6 ) (48 {1} v10 v11 v12 ) (48 {1} v6 v7 v8 ) (48 {1} v10 v11 v12 ) (48 {1} v6 v7 v8 ) (48 {1} v3 v4 v5 ) (48 {1} v14 v15 v16 ) (48 {1} v16 v17 v18 ) (48 {1} v16 v17 v18 )  [  ] 2083] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (84 {1} v12 v13 v14 ) (84 {1} v1 v2 v3 ) (84 {1} v15 v16 v17 ) (84 {1} v2 v3 v4 ) (84 {1} v9 v10 v11 ) (84 {1} v14 v15 v16 ) (84 {1} v16 v17 v18 ) (84 {1} v4 v5 v6 ) (84 {1} v9 v10 v11 ) (84 {1} v3 v4 v5 )  [  ] 2080] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (76 {1} v6 v7 v8 ) (76 {1} v8 v9 v10 ) (76 {1} v12 v13 v14 ) (76 {1} v14 v15 v16 ) (76 {1} v21 v0 v1 ) (76 {1} v11 v12 v13 ) (76 {1} v21 v0 v1 ) (76 {1} v14 v15 v16 ) (76 {1} v19 v20 v21 ) (76 {1} v16 v17 v18 )  [  ] 2066] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (30 {1} v15 v16 v17 ) (30 {1} v4 v5 v6 ) (30 {1} v3 v4 v5 ) (30 {1} v0 v1 v2 ) (30 {1} v21 v0 v1 ) (30 {1} v20 v21 v0 ) (30 {1} v16 v17 v18 ) (30 {1} v7 v8 v9 ) (30 {1} v4 v5 v6 ) (30 {1} v4 v5 v6 )  [  ] 2081] 
]
 
playertrans[
    124
    offer[2091 secret (102 127 ) 0.9775] 
    offer[2090 secret (96 127 ) 0.9674] 
    accept[2089] 
    accept[2088] 
    accept[2072] 
    accept[2087] 
    accept[2086] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2082] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2083] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2080] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2066] 
    solve[[ (v0 -> true) (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 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false)  ] 2081] 
]
 
[secret revealed 2081 : (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 2.0 for solving 0.5 of challenge 2081. acceptor: 124 offerer: 125 ]
 
[secret revealed 2066 : (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 1.5617 for solving 0.3 of challenge 2066. acceptor: 124 offerer: 125 ]
 
[secret revealed 2080 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 2.4 for solving 0.7 of challenge 2080. acceptor: 124 offerer: 125 ]
 
[secret revealed 2083 : (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 -> true) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> false) ]
 [acceptor received 2.4 for solving 0.7 of challenge 2083. acceptor: 124 offerer: 125 ]
 
[secret revealed 2082 : (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 0.0 for solving 0.4 of challenge 2082. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2086. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2087. acceptor: 124 offerer: 125 ]
 [acceptor paid 0.9674 for challenge 2072. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2088. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2089. acceptor: 124 offerer: 125 ]
 ]
round[11
    
playertrans[
    125
    offer[2095 secret (108 ) 1.0] 
    offer[2094 secret (64 ) 1.0] 
    offer[2093 secret (68 ) 1.0] 
    offer[2092 secret (54 ) 1.0] 
    reoffer[2054 0.9617] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (34 {1} v12 v13 v14 ) (34 {1} v2 v3 v4 ) (34 {1} v16 v17 v18 ) (34 {1} v11 v12 v13 ) (34 {1} v4 v5 v6 ) (34 {1} v3 v4 v5 ) (34 {1} v14 v15 v16 ) (34 {1} v5 v6 v7 ) (34 {1} v0 v1 v2 ) (34 {1} v1 v2 v3 )  [  ] 2086] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (18 {1} v6 v7 v8 ) (18 {1} v2 v3 v4 ) (18 {1} v16 v17 v18 ) (18 {1} v20 v21 v0 ) (18 {1} v18 v19 v20 ) (18 {1} v8 v9 v10 ) (18 {1} v8 v9 v10 ) (18 {1} v6 v7 v8 ) (18 {1} v18 v19 v20 ) (18 {1} v11 v12 v13 )  [  ] 2087] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (58 {1} v0 v1 v2 ) (58 {1} v19 v20 v21 ) (58 {1} v16 v17 v18 ) (58 {1} v10 v11 v12 ) (58 {1} v7 v8 v9 ) (58 {1} v12 v13 v14 ) (58 {1} v20 v21 v0 ) (58 {1} v11 v12 v13 ) (58 {1} v13 v14 v15 ) (58 {1} v17 v18 v19 )  [  ] 2072] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (76 {1} v10 v11 v12 ) (76 {1} v16 v17 v18 ) (76 {1} v15 v16 v17 ) (76 {1} v19 v20 v21 ) (76 {1} v3 v4 v5 ) (76 {1} v10 v11 v12 ) (76 {1} v0 v1 v2 ) (76 {1} v8 v9 v10 ) (76 {1} v9 v10 v11 ) (76 {1} v8 v9 v10 )  [  ] 2088] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (50 {1} v12 v13 v14 ) (50 {1} v21 v0 v1 ) (50 {1} v10 v11 v12 ) (50 {1} v1 v2 v3 ) (50 {1} v10 v11 v12 ) (50 {1} v20 v21 v0 ) (50 {1} v14 v15 v16 ) (50 {1} v4 v5 v6 ) (50 {1} v14 v15 v16 ) (50 {1} v9 v10 v11 )  [  ] 2089] 
]
 
playertrans[
    124
    offer[2097 secret (54 127 ) 0.9789] 
    offer[2096 secret (12 127 ) 0.9651] 
    accept[2093] 
    accept[2092] 
    accept[2095] 
    accept[2094] 
    accept[2054] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2086] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2087] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2072] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2088] 
    solve[[ (v0 -> false) (v1 -> true) (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 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2089] 
]
 
[secret revealed 2089 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ]
 [acceptor received 0.0 for solving 0.3 of challenge 2089. acceptor: 124 offerer: 125 ]
 
[secret revealed 2088 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> false) ]
 [acceptor received 0.0 for solving 0.2 of challenge 2088. acceptor: 124 offerer: 125 ]
 
[secret revealed 2072 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 1.7674 for solving 0.4 of challenge 2072. acceptor: 124 offerer: 125 ]
 
[secret revealed 2087 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.2 for solving 0.6 of challenge 2087. acceptor: 124 offerer: 125 ]
 
[secret revealed 2086 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> false) ]
 [acceptor received 2.2 for solving 0.6 of challenge 2086. acceptor: 124 offerer: 125 ]
 [acceptor paid 0.9617 for challenge 2054. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2094. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2095. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2092. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2093. acceptor: 124 offerer: 125 ]
 ]
round[12
    
playertrans[
    125
    offer[2101 secret (8 ) 1.0] 
    offer[2100 secret (94 ) 1.0] 
    offer[2099 secret (102 ) 1.0] 
    offer[2098 secret (52 ) 1.0] 
    reoffer[2067 0.955] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (100 {1} v7 v8 v9 ) (100 {1} v9 v10 v11 ) (100 {1} v10 v11 v12 ) (100 {1} v4 v5 v6 ) (100 {1} v10 v11 v12 ) (100 {1} v2 v3 v4 ) (100 {1} v17 v18 v19 ) (100 {1} v14 v15 v16 ) (100 {1} v3 v4 v5 ) (100 {1} v13 v14 v15 )  [  ] 2054] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (64 {1} v3 v4 v5 ) (64 {1} v12 v13 v14 ) (64 {1} v17 v18 v19 ) (64 {1} v13 v14 v15 ) (64 {1} v0 v1 v2 ) (64 {1} v1 v2 v3 ) (64 {1} v5 v6 v7 ) (64 {1} v6 v7 v8 ) (64 {1} v14 v15 v16 ) (64 {1} v8 v9 v10 )  [  ] 2094] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (108 {1} v14 v15 v16 ) (108 {1} v20 v21 v0 ) (108 {1} v19 v20 v21 ) (108 {1} v8 v9 v10 ) (108 {1} v1 v2 v3 ) (108 {1} v0 v1 v2 ) (108 {1} v19 v20 v21 ) (108 {1} v16 v17 v18 ) (108 {1} v19 v20 v21 ) (108 {1} v8 v9 v10 )  [  ] 2095] 
    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} v18 v19 v20 ) (54 {1} v8 v9 v10 ) (54 {1} v17 v18 v19 ) (54 {1} v12 v13 v14 ) (54 {1} v11 v12 v13 ) (54 {1} v6 v7 v8 ) (54 {1} v2 v3 v4 ) (54 {1} v12 v13 v14 ) (54 {1} v8 v9 v10 ) (54 {1} v19 v20 v21 )  [  ] 2092] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (68 {1} v4 v5 v6 ) (68 {1} v13 v14 v15 ) (68 {1} v20 v21 v0 ) (68 {1} v2 v3 v4 ) (68 {1} v11 v12 v13 ) (68 {1} v11 v12 v13 ) (68 {1} v9 v10 v11 ) (68 {1} v14 v15 v16 ) (68 {1} v8 v9 v10 ) (68 {1} v5 v6 v7 )  [  ] 2093] 
]
 
playertrans[
    124
    offer[2103 secret (66 127 ) 0.9651] 
    offer[2102 secret (56 127 ) 0.9718] 
    accept[2100] 
    accept[2101] 
    accept[2067] 
    accept[2098] 
    accept[2099] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> false)  ] 2054] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true)  ] 2094] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (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 -> false) (v9 -> false)  ] 2095] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2092] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2093] 
]
 
[secret revealed 2093 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.4 for solving 0.7 of challenge 2093. acceptor: 124 offerer: 125 ]
 
[secret revealed 2092 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (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 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 1.6 for solving 0.3 of challenge 2092. acceptor: 124 offerer: 125 ]
 
[secret revealed 2095 : (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 2.0 for solving 0.5 of challenge 2095. acceptor: 124 offerer: 125 ]
 
[secret revealed 2094 : (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 1.6 for solving 0.3 of challenge 2094. acceptor: 124 offerer: 125 ]
 
[secret revealed 2054 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ]
 [acceptor received 1.7617 for solving 0.4 of challenge 2054. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2099. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2098. acceptor: 124 offerer: 125 ]
 [acceptor paid 0.955 for challenge 2067. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2101. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2100. acceptor: 124 offerer: 125 ]
 ]
round[13
    
playertrans[
    125
    offer[2107 secret (120 ) 1.0] 
    offer[2106 secret (28 ) 1.0] 
    offer[2105 secret (34 ) 1.0] 
    offer[2104 secret (52 ) 1.0] 
    reoffer[2103 0.955] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (102 {1} v11 v12 v13 ) (102 {1} v11 v12 v13 ) (102 {1} v5 v6 v7 ) (102 {1} v20 v21 v0 ) (102 {1} v0 v1 v2 ) (102 {1} v6 v7 v8 ) (102 {1} v3 v4 v5 ) (102 {1} v13 v14 v15 ) (102 {1} v1 v2 v3 ) (102 {1} v12 v13 v14 )  [  ] 2099] 
    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} v11 v12 v13 ) (52 {1} v0 v1 v2 ) (52 {1} v18 v19 v20 ) (52 {1} v0 v1 v2 ) (52 {1} v5 v6 v7 ) (52 {1} v10 v11 v12 ) (52 {1} v20 v21 v0 ) (52 {1} v3 v4 v5 ) (52 {1} v15 v16 v17 ) (52 {1} v20 v21 v0 )  [  ] 2098] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (80 {1} v12 v13 v14 ) (80 {1} v4 v5 v6 ) (80 {1} v13 v14 v15 ) (80 {1} v16 v17 v18 ) (80 {1} v8 v9 v10 ) (80 {1} v3 v4 v5 ) (80 {1} v20 v21 v0 ) (80 {1} v17 v18 v19 ) (80 {1} v0 v1 v2 ) (80 {1} v13 v14 v15 )  [  ] 2067] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (8 {1} v10 v11 v12 ) (8 {1} v12 v13 v14 ) (8 {1} v5 v6 v7 ) (8 {1} v4 v5 v6 ) (8 {1} v10 v11 v12 ) (8 {1} v21 v0 v1 ) (8 {1} v8 v9 v10 ) (8 {1} v15 v16 v17 ) (8 {1} v14 v15 v16 ) (8 {1} v1 v2 v3 )  [  ] 2101] 
    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} v1 v2 v3 ) (94 {1} v10 v11 v12 ) (94 {1} v7 v8 v9 ) (94 {1} v1 v2 v3 ) (94 {1} v7 v8 v9 ) (94 {1} v6 v7 v8 ) (94 {1} v20 v21 v0 ) (94 {1} v15 v16 v17 ) (94 {1} v7 v8 v9 ) (94 {1} v2 v3 v4 )  [  ] 2100] 
]
 
playertrans[
    124
    offer[2109 secret (46 127 ) 0.9775] 
    offer[2108 secret (84 127 ) 0.9718] 
    accept[2104] 
    accept[2105] 
    accept[2106] 
    accept[2107] 
    accept[2103] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2099] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false)  ] 2098] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2067] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> true)  ] 2101] 
    solve[[ (v0 -> true) (v1 -> true) (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 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2100] 
]
 
[secret revealed 2100 : (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 -> false) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 1.8 for solving 0.4 of challenge 2100. acceptor: 124 offerer: 125 ]
 
[secret revealed 2101 : (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 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.0 for solving 0.5 of challenge 2101. acceptor: 124 offerer: 125 ]
 
[secret revealed 2067 : (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 2.755 for solving 0.9 of challenge 2067. acceptor: 124 offerer: 125 ]
 
[secret revealed 2098 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (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 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.4 for solving 0.7 of challenge 2098. acceptor: 124 offerer: 125 ]
 
[secret revealed 2099 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 1.8 for solving 0.4 of challenge 2099. acceptor: 124 offerer: 125 ]
 [acceptor paid 0.955 for challenge 2103. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2107. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2106. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2105. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2104. acceptor: 124 offerer: 125 ]
 ]
round[14
    
playertrans[
    125
    offer[2113 secret (16 ) 1.0] 
    offer[2112 secret (74 ) 1.0] 
    offer[2111 secret (104 ) 1.0] 
    offer[2110 secret (58 ) 1.0] 
    reoffer[2090 0.9573] 
    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} v10 v11 v12 ) (66 {1} v2 v3 v4 ) (66 {1} v8 v9 v10 ) (66 {1} v15 v16 v17 ) (66 {1} v14 v15 v16 ) (66 {1} v18 v19 v20 ) (66 {1} v20 v21 v0 ) (66 {1} v15 v16 v17 ) (66 {1} v0 v1 v2 ) (66 {1} v4 v5 v6 )  [  ] 2103] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (120 {1} v5 v6 v7 ) (120 {1} v21 v0 v1 ) (120 {1} v7 v8 v9 ) (120 {1} v5 v6 v7 ) (120 {1} v10 v11 v12 ) (120 {1} v1 v2 v3 ) (120 {1} v9 v10 v11 ) (120 {1} v13 v14 v15 ) (120 {1} v5 v6 v7 ) (120 {1} v7 v8 v9 )  [  ] 2107] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (28 {1} v3 v4 v5 ) (28 {1} v3 v4 v5 ) (28 {1} v14 v15 v16 ) (28 {1} v12 v13 v14 ) (28 {1} v3 v4 v5 ) (28 {1} v17 v18 v19 ) (28 {1} v17 v18 v19 ) (28 {1} v13 v14 v15 ) (28 {1} v6 v7 v8 ) (28 {1} v0 v1 v2 )  [  ] 2106] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (34 {1} v18 v19 v20 ) (34 {1} v5 v6 v7 ) (34 {1} v10 v11 v12 ) (34 {1} v10 v11 v12 ) (34 {1} v12 v13 v14 ) (34 {1} v12 v13 v14 ) (34 {1} v7 v8 v9 ) (34 {1} v13 v14 v15 ) (34 {1} v18 v19 v20 ) (34 {1} v0 v1 v2 )  [  ] 2105] 
    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} v20 v21 v0 ) (52 {1} v8 v9 v10 ) (52 {1} v8 v9 v10 ) (52 {1} v11 v12 v13 ) (52 {1} v2 v3 v4 ) (52 {1} v21 v0 v1 ) (52 {1} v14 v15 v16 ) (52 {1} v17 v18 v19 ) (52 {1} v9 v10 v11 ) (52 {1} v17 v18 v19 )  [  ] 2104] 
]
 
playertrans[
    124
    offer[2115 secret (42 127 ) 0.9718] 
    offer[2114 secret (80 127 ) 0.9651] 
    accept[2110] 
    accept[2111] 
    accept[2090] 
    accept[2113] 
    accept[2112] 
    solve[[ (v0 -> true) (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 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2103] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> true) (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 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true)  ] 2107] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> false)  ] 2106] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> true) (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 -> true) (v8 -> false) (v9 -> false)  ] 2105] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2104] 
]
 
[secret revealed 2104 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ]
 [acceptor received 2.4 for solving 0.7 of challenge 2104. acceptor: 124 offerer: 125 ]
 
[secret revealed 2105 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 2.8 for solving 0.9 of challenge 2105. acceptor: 124 offerer: 125 ]
 
[secret revealed 2106 : (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.4 for solving 0.7 of challenge 2106. acceptor: 124 offerer: 125 ]
 
[secret revealed 2107 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> true) ]
 [acceptor received 1.8 for solving 0.4 of challenge 2107. acceptor: 124 offerer: 125 ]
 
[secret revealed 2103 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 1.955 for solving 0.5 of challenge 2103. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2112. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2113. acceptor: 124 offerer: 125 ]
 [acceptor paid 0.9573 for challenge 2090. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2111. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2110. acceptor: 124 offerer: 125 ]
 ]
round[15
    
playertrans[
    125
    offer[2119 secret (10 ) 1.0] 
    offer[2118 secret (106 ) 1.0] 
    offer[2117 secret (22 ) 1.0] 
    offer[2116 secret (26 ) 1.0] 
    reoffer[2108 0.9617] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (74 {1} v21 v0 v1 ) (74 {1} v13 v14 v15 ) (74 {1} v7 v8 v9 ) (74 {1} v21 v0 v1 ) (74 {1} v7 v8 v9 ) (74 {1} v16 v17 v18 ) (74 {1} v15 v16 v17 ) (74 {1} v13 v14 v15 ) (74 {1} v16 v17 v18 ) (74 {1} v12 v13 v14 )  [  ] 2112] 
    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} v7 v8 v9 ) (16 {1} v18 v19 v20 ) (16 {1} v16 v17 v18 ) (16 {1} v19 v20 v21 ) (16 {1} v4 v5 v6 ) (16 {1} v19 v20 v21 ) (16 {1} v17 v18 v19 ) (16 {1} v8 v9 v10 ) (16 {1} v9 v10 v11 ) (16 {1} v15 v16 v17 )  [  ] 2113] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (96 {1} v8 v9 v10 ) (96 {1} v20 v21 v0 ) (96 {1} v7 v8 v9 ) (96 {1} v5 v6 v7 ) (96 {1} v10 v11 v12 ) (96 {1} v10 v11 v12 ) (96 {1} v16 v17 v18 ) (96 {1} v1 v2 v3 ) (96 {1} v15 v16 v17 ) (96 {1} v16 v17 v18 )  [  ] 2090] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (104 {1} v19 v20 v21 ) (104 {1} v17 v18 v19 ) (104 {1} v2 v3 v4 ) (104 {1} v15 v16 v17 ) (104 {1} v6 v7 v8 ) (104 {1} v3 v4 v5 ) (104 {1} v11 v12 v13 ) (104 {1} v0 v1 v2 ) (104 {1} v6 v7 v8 ) (104 {1} v0 v1 v2 )  [  ] 2111] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (58 {1} v12 v13 v14 ) (58 {1} v7 v8 v9 ) (58 {1} v19 v20 v21 ) (58 {1} v14 v15 v16 ) (58 {1} v6 v7 v8 ) (58 {1} v21 v0 v1 ) (58 {1} v5 v6 v7 ) (58 {1} v21 v0 v1 ) (58 {1} v6 v7 v8 ) (58 {1} v21 v0 v1 )  [  ] 2110] 
]
 
playertrans[
    124
    offer[2121 secret (118 127 ) 0.9841] 
    offer[2120 secret (106 127 ) 0.9789] 
    accept[2108] 
    accept[2119] 
    accept[2118] 
    accept[2117] 
    accept[2116] 
    solve[[ (v0 -> true) (v1 -> true) (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 -> false) (v8 -> false) (v9 -> false)  ] 2112] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (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 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2113] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2090] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2111] 
    solve[[ (v0 -> true) (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 -> true) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2110] 
]
 
[secret revealed 2110 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ]
 [acceptor received 1.6 for solving 0.3 of challenge 2110. acceptor: 124 offerer: 125 ]
 
[secret revealed 2111 : (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ]
 [acceptor received 1.8 for solving 0.4 of challenge 2111. acceptor: 124 offerer: 125 ]
 
[secret revealed 2090 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> true) ]
 [acceptor received 1.7573 for solving 0.4 of challenge 2090. acceptor: 124 offerer: 125 ]
 
[secret revealed 2113 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (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 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 1.8 for solving 0.4 of challenge 2113. acceptor: 124 offerer: 125 ]
 
[secret revealed 2112 : (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> false) ]
 [acceptor received 0.0 for solving 0.2 of challenge 2112. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2116. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2117. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2118. acceptor: 124 offerer: 125 ]
 [acceptor paid 1.0 for challenge 2119. acceptor: 124 offerer: 125 ]
 [acceptor paid 0.9617 for challenge 2108. acceptor: 124 offerer: 125 ]
 ]
round[16
    /* OverTime Round: Offers/Accepts/Reoffers are ignored */

 
playertrans[
    125
    offer[2125 secret (8 ) 1.0] 
    offer[2124 secret (54 ) 1.0] 
    offer[2123 secret (122 ) 1.0] 
    offer[2122 secret (66 ) 1.0] 
    reoffer[2115 0.9617] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (26 {1} v12 v13 v14 ) (26 {1} v20 v21 v0 ) (26 {1} v13 v14 v15 ) (26 {1} v12 v13 v14 ) (26 {1} v5 v6 v7 ) (26 {1} v13 v14 v15 ) (26 {1} v20 v21 v0 ) (26 {1} v10 v11 v12 ) (26 {1} v3 v4 v5 ) (26 {1} v9 v10 v11 )  [  ] 2116] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (22 {1} v2 v3 v4 ) (22 {1} v11 v12 v13 ) (22 {1} v21 v0 v1 ) (22 {1} v2 v3 v4 ) (22 {1} v19 v20 v21 ) (22 {1} v4 v5 v6 ) (22 {1} v7 v8 v9 ) (22 {1} v18 v19 v20 ) (22 {1} v16 v17 v18 ) (22 {1} v14 v15 v16 )  [  ] 2117] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (106 {1} v15 v16 v17 ) (106 {1} v13 v14 v15 ) (106 {1} v16 v17 v18 ) (106 {1} v0 v1 v2 ) (106 {1} v5 v6 v7 ) (106 {1} v11 v12 v13 ) (106 {1} v4 v5 v6 ) (106 {1} v1 v2 v3 ) (106 {1} v3 v4 v5 ) (106 {1} v2 v3 v4 )  [  ] 2118] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (10 {1} v6 v7 v8 ) (10 {1} v16 v17 v18 ) (10 {1} v5 v6 v7 ) (10 {1} v6 v7 v8 ) (10 {1} v13 v14 v15 ) (10 {1} v5 v6 v7 ) (10 {1} v10 v11 v12 ) (10 {1} v1 v2 v3 ) (10 {1} v3 v4 v5 ) (10 {1} v18 v19 v20 )  [  ] 2119] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (84 {1} v3 v4 v5 ) (84 {1} v14 v15 v16 ) (84 {1} v16 v17 v18 ) (84 {1} v12 v13 v14 ) (84 {1} v20 v21 v0 ) (84 {1} v4 v5 v6 ) (84 {1} v0 v1 v2 ) (84 {1} v4 v5 v6 ) (84 {1} v20 v21 v0 ) (84 {1} v16 v17 v18 )  [  ] 2108] 
]
 
playertrans[
    124
    offer[2127 secret (72 127 ) 0.9674] 
    offer[2126 secret (124 127 ) 0.9841] 
    solve[[ (v0 -> true) (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 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2116] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (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 -> true) (v8 -> false) (v9 -> false)  ] 2117] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (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 -> false) (v8 -> false) (v9 -> false)  ] 2118] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (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 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2119] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2108] 
]
 
[secret revealed 2108 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> true) ]
 [acceptor received 2.3617 for solving 0.7 of challenge 2108. acceptor: 124 offerer: 125 ]
 
[secret revealed 2119 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> true) ]
 [acceptor received 2.6 for solving 0.8 of challenge 2119. acceptor: 124 offerer: 125 ]
 
[secret revealed 2118 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 0.0 for solving 0.2 of challenge 2118. acceptor: 124 offerer: 125 ]
 
[secret revealed 2117 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> true) ]
 [acceptor received 2.2 for solving 0.6 of challenge 2117. acceptor: 124 offerer: 125 ]
 
[secret revealed 2116 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> false) (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.6 for solving 0.3 of challenge 2116. acceptor: 124 offerer: 125 ]
 ]
round[17
    /* OverTime Round: Offers/Accepts/Reoffers are ignored */

 
playertrans[
    125
    offer[2131 secret (24 ) 1.0] 
    offer[2130 secret (114 ) 1.0] 
    offer[2129 secret (32 ) 1.0] 
    offer[2128 secret (50 ) 1.0] 
    reoffer[2084 0.9617] 
]
 
playertrans[
    124
    offer[2133 secret (116 127 ) 0.9775] 
    offer[2132 secret (100 127 ) 0.9718] 
]
 ]

**** Final Results *****
"Terminator" : 154.79999999999998 
"CaptainKarl2" : 45.2