(126 -> playerspec["CaptainKarl2" "129.10.117.226" 2003])
  (127 -> playerspec["Terminator" "129.10.116.203" 2007])

round[1
    
playertrans[
    127
    offer[2135 secret (68 127 ) 0.9651] 
    offer[2134 secret (94 127 ) 0.9841] 
]
 
playertrans[
    126
    offer[2139 secret (100 ) 1.0] 
    offer[2138 secret (40 ) 1.0] 
    offer[2137 secret (12 ) 1.0] 
    offer[2136 secret (106 ) 1.0] 
    reoffer[2134 0.974] 
]
 ]
round[2
    
playertrans[
    127
    offer[2141 secret (82 127 ) 0.9718] 
    offer[2140 secret (14 127 ) 0.9718] 
    accept[2138] 
    accept[2139] 
    accept[2136] 
    accept[2137] 
    accept[2134] 
]
 [acceptor paid 0.974 for challenge 2134. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2137. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2136. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2139. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2138. acceptor: 127 offerer: 126 ]
 
playertrans[
    126
    offer[2145 secret (66 ) 1.0] 
    offer[2144 secret (20 ) 1.0] 
    offer[2143 secret (126 ) 1.0] 
    offer[2142 secret (94 ) 1.0] 
    reoffer[2140 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  (94 {1} v2 v3 v4 ) (94 {1} v12 v13 v14 ) (94 {1} v13 v14 v15 ) (94 {1} v21 v0 v1 ) (94 {1} v15 v16 v17 ) (94 {1} v13 v14 v15 ) (94 {1} v2 v3 v4 ) (94 {1} v13 v14 v15 ) (94 {1} v13 v14 v15 ) (94 {1} v2 v3 v4 )  [  ] 2134] 
    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} v10 v11 v12 ) (12 {1} v20 v21 v0 ) (12 {1} v6 v7 v8 ) (12 {1} v15 v16 v17 ) (12 {1} v4 v5 v6 ) (12 {1} v3 v4 v5 ) (12 {1} v0 v1 v2 ) (12 {1} v3 v4 v5 ) (12 {1} v14 v15 v16 ) (12 {1} v17 v18 v19 )  [  ] 2137] 
    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} v12 v13 v14 ) (106 {1} v8 v9 v10 ) (106 {1} v13 v14 v15 ) (106 {1} v14 v15 v16 ) (106 {1} v7 v8 v9 ) (106 {1} v16 v17 v18 ) (106 {1} v7 v8 v9 ) (106 {1} v10 v11 v12 ) (106 {1} v15 v16 v17 ) (106 {1} v4 v5 v6 )  [  ] 2136] 
    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} v16 v17 v18 ) (100 {1} v8 v9 v10 ) (100 {1} v10 v11 v12 ) (100 {1} v15 v16 v17 ) (100 {1} v18 v19 v20 ) (100 {1} v9 v10 v11 ) (100 {1} v9 v10 v11 ) (100 {1} v0 v1 v2 ) (100 {1} v18 v19 v20 ) (100 {1} v5 v6 v7 )  [  ] 2139] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (40 {1} v18 v19 v20 ) (40 {1} v1 v2 v3 ) (40 {1} v10 v11 v12 ) (40 {1} v21 v0 v1 ) (40 {1} v17 v18 v19 ) (40 {1} v6 v7 v8 ) (40 {1} v9 v10 v11 ) (40 {1} v14 v15 v16 ) (40 {1} v4 v5 v6 ) (40 {1} v20 v21 v0 )  [  ] 2138] 
]
 ]
round[3
    
playertrans[
    127
    offer[2147 secret (22 127 ) 0.9748] 
    offer[2146 secret (24 127 ) 0.9651] 
    accept[2142] 
    accept[2143] 
    accept[2140] 
    accept[2145] 
    accept[2144] 
    solve[[ (v0 -> true) (v1 -> true) (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 -> false) (v9 -> false)  ] 2134] 
    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 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false)  ] 2137] 
    solve[[ (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 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2136] 
    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 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2139] 
    solve[[ (v0 -> true) (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 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2138] 
]
 
[secret revealed 2138 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 1.8 for solving 0.4 of challenge 2138. acceptor: 127 offerer: 126 ]
 
[secret revealed 2139 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ]
 [acceptor received 0.0 for solving 0.1 of challenge 2139. acceptor: 127 offerer: 126 ]
 
[secret revealed 2136 : (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.6 for solving 0.3 of challenge 2136. acceptor: 127 offerer: 126 ]
 
[secret revealed 2137 : (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) ]
 [acceptor received 2.6 for solving 0.8 of challenge 2137. acceptor: 127 offerer: 126 ]
 
[secret revealed 2134 : (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> true) ]
 [acceptor received 0.0 for solving 0.6 of challenge 2134. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2144. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2145. acceptor: 127 offerer: 126 ]
 [acceptor paid 0.9617 for challenge 2140. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2143. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2142. acceptor: 127 offerer: 126 ]
 
playertrans[
    126
    offer[2151 secret (102 ) 1.0] 
    offer[2150 secret (80 ) 1.0] 
    offer[2149 secret (98 ) 1.0] 
    offer[2148 secret (86 ) 1.0] 
    reoffer[2135 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  (20 {1} v7 v8 v9 ) (20 {1} v15 v16 v17 ) (20 {1} v0 v1 v2 ) (20 {1} v17 v18 v19 ) (20 {1} v3 v4 v5 ) (20 {1} v12 v13 v14 ) (20 {1} v6 v7 v8 ) (20 {1} v11 v12 v13 ) (20 {1} v18 v19 v20 ) (20 {1} v6 v7 v8 )  [  ] 2144] 
    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} v14 v15 v16 ) (66 {1} v0 v1 v2 ) (66 {1} v8 v9 v10 ) (66 {1} v3 v4 v5 ) (66 {1} v20 v21 v0 ) (66 {1} v4 v5 v6 ) (66 {1} v18 v19 v20 ) (66 {1} v9 v10 v11 ) (66 {1} v8 v9 v10 ) (66 {1} v5 v6 v7 )  [  ] 2145] 
    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} v10 v11 v12 ) (14 {1} v14 v15 v16 ) (14 {1} v16 v17 v18 ) (14 {1} v1 v2 v3 ) (14 {1} v12 v13 v14 ) (14 {1} v16 v17 v18 ) (14 {1} v5 v6 v7 ) (14 {1} v13 v14 v15 ) (14 {1} v6 v7 v8 ) (14 {1} v5 v6 v7 )  [  ] 2140] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (126 {1} v7 v8 v9 ) (126 {1} v9 v10 v11 ) (126 {1} v3 v4 v5 ) (126 {1} v20 v21 v0 ) (126 {1} v9 v10 v11 ) (126 {1} v20 v21 v0 ) (126 {1} v13 v14 v15 ) (126 {1} v18 v19 v20 ) (126 {1} v13 v14 v15 ) (126 {1} v19 v20 v21 )  [  ] 2143] 
    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} v5 v6 v7 ) (94 {1} v10 v11 v12 ) (94 {1} v12 v13 v14 ) (94 {1} v19 v20 v21 ) (94 {1} v5 v6 v7 ) (94 {1} v20 v21 v0 ) (94 {1} v13 v14 v15 ) (94 {1} v4 v5 v6 )  [  ] 2142] 
]
 ]
round[4
    
playertrans[
    127
    offer[2153 secret (114 127 ) 0.9775] 
    offer[2152 secret (48 127 ) 0.96] 
    accept[2149] 
    accept[2135] 
    accept[2148] 
    accept[2151] 
    accept[2150] 
    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 -> true) (v9 -> false)  ] 2144] 
    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 -> false) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> false)  ] 2145] 
    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 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2140] 
    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)  ] 2143] 
    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)  ] 2142] 
]
 
[secret revealed 2142 : (v0 -> true) (v1 -> false) (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 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 0.0 for solving 0.4 of challenge 2142. acceptor: 127 offerer: 126 ]
 
[secret revealed 2143 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (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 -> false) (v9 -> true) ]
 [acceptor received 0.0 for solving 0.4 of challenge 2143. acceptor: 127 offerer: 126 ]
 
[secret revealed 2140 : (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 -> true) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 0.0 for solving 0.3 of challenge 2140. acceptor: 127 offerer: 126 ]
 
[secret revealed 2145 : (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.2 for solving 0.6 of challenge 2145. acceptor: 127 offerer: 126 ]
 
[secret revealed 2144 : (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ]
 [acceptor received 2.6 for solving 0.8 of challenge 2144. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2150. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2151. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2148. acceptor: 127 offerer: 126 ]
 [acceptor paid 0.955 for challenge 2135. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2149. acceptor: 127 offerer: 126 ]
 
playertrans[
    126
    offer[2157 secret (52 ) 1.0] 
    offer[2156 secret (14 ) 1.0] 
    offer[2155 secret (124 ) 1.0] 
    offer[2154 secret (82 ) 1.0] 
    reoffer[2153 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  (80 {1} v11 v12 v13 ) (80 {1} v16 v17 v18 ) (80 {1} v2 v3 v4 ) (80 {1} v18 v19 v20 ) (80 {1} v12 v13 v14 ) (80 {1} v8 v9 v10 ) (80 {1} v3 v4 v5 ) (80 {1} v18 v19 v20 ) (80 {1} v3 v4 v5 ) (80 {1} v16 v17 v18 )  [  ] 2150] 
    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} v13 v14 v15 ) (102 {1} v7 v8 v9 ) (102 {1} v1 v2 v3 ) (102 {1} v18 v19 v20 ) (102 {1} v10 v11 v12 ) (102 {1} v19 v20 v21 ) (102 {1} v15 v16 v17 ) (102 {1} v2 v3 v4 ) (102 {1} v8 v9 v10 ) (102 {1} v21 v0 v1 )  [  ] 2151] 
    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} v11 v12 v13 ) (68 {1} v14 v15 v16 ) (68 {1} v16 v17 v18 ) (68 {1} v0 v1 v2 ) (68 {1} v4 v5 v6 ) (68 {1} v21 v0 v1 ) (68 {1} v6 v7 v8 ) (68 {1} v11 v12 v13 ) (68 {1} v20 v21 v0 ) (68 {1} v3 v4 v5 )  [  ] 2135] 
    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} v3 v4 v5 ) (86 {1} v10 v11 v12 ) (86 {1} v9 v10 v11 ) (86 {1} v11 v12 v13 ) (86 {1} v6 v7 v8 ) (86 {1} v16 v17 v18 ) (86 {1} v1 v2 v3 ) (86 {1} v18 v19 v20 ) (86 {1} v17 v18 v19 ) (86 {1} v4 v5 v6 )  [  ] 2148] 
    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} v8 v9 v10 ) (98 {1} v7 v8 v9 ) (98 {1} v5 v6 v7 ) (98 {1} v3 v4 v5 ) (98 {1} v5 v6 v7 ) (98 {1} v2 v3 v4 ) (98 {1} v10 v11 v12 ) (98 {1} v13 v14 v15 ) (98 {1} v10 v11 v12 ) (98 {1} v10 v11 v12 )  [  ] 2149] 
]
 ]
round[5
    
playertrans[
    127
    offer[2159 secret (102 127 ) 0.9775] 
    offer[2158 secret (72 127 ) 0.9674] 
    accept[2153] 
    accept[2155] 
    accept[2154] 
    accept[2157] 
    accept[2156] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2150] 
    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)  ] 2151] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (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 -> false)  ] 2135] 
    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 -> true) (v8 -> false) (v9 -> false)  ] 2148] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (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 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true)  ] 2149] 
]
 
[secret revealed 2149 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> true) (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 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 3.0 for solving 1.0 of challenge 2149. acceptor: 127 offerer: 126 ]
 
[secret revealed 2148 : (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 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 0.0 for solving 0.2 of challenge 2148. acceptor: 127 offerer: 126 ]
 
[secret revealed 2135 : (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 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.555 for solving 0.8 of challenge 2135. acceptor: 127 offerer: 126 ]
 
[secret revealed 2151 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 1.4 for solving 0.2 of challenge 2151. acceptor: 127 offerer: 126 ]
 
[secret revealed 2150 : (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ]
 [acceptor received 2.6 for solving 0.8 of challenge 2150. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2156. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2157. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2154. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2155. acceptor: 127 offerer: 126 ]
 [acceptor paid 0.9674 for challenge 2153. acceptor: 127 offerer: 126 ]
 
playertrans[
    126
    offer[2163 secret (36 ) 1.0] 
    offer[2162 secret (60 ) 1.0] 
    offer[2161 secret (110 ) 1.0] 
    offer[2160 secret (26 ) 1.0] 
    reoffer[2152 0.9499] 
    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} v18 v19 v20 ) (14 {1} v1 v2 v3 ) (14 {1} v21 v0 v1 ) (14 {1} v2 v3 v4 ) (14 {1} v9 v10 v11 ) (14 {1} v8 v9 v10 ) (14 {1} v11 v12 v13 ) (14 {1} v13 v14 v15 ) (14 {1} v5 v6 v7 ) (14 {1} v7 v8 v9 )  [  ] 2156] 
    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} v18 v19 v20 ) (52 {1} v21 v0 v1 ) (52 {1} v10 v11 v12 ) (52 {1} v8 v9 v10 ) (52 {1} v8 v9 v10 ) (52 {1} v14 v15 v16 ) (52 {1} v19 v20 v21 ) (52 {1} v16 v17 v18 ) (52 {1} v2 v3 v4 ) (52 {1} v4 v5 v6 )  [  ] 2157] 
    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} v17 v18 v19 ) (82 {1} v11 v12 v13 ) (82 {1} v0 v1 v2 ) (82 {1} v16 v17 v18 ) (82 {1} v8 v9 v10 ) (82 {1} v12 v13 v14 ) (82 {1} v3 v4 v5 ) (82 {1} v4 v5 v6 ) (82 {1} v13 v14 v15 ) (82 {1} v10 v11 v12 )  [  ] 2154] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (124 {1} v16 v17 v18 ) (124 {1} v10 v11 v12 ) (124 {1} v17 v18 v19 ) (124 {1} v11 v12 v13 ) (124 {1} v9 v10 v11 ) (124 {1} v17 v18 v19 ) (124 {1} v16 v17 v18 ) (124 {1} v4 v5 v6 ) (124 {1} v10 v11 v12 ) (124 {1} v17 v18 v19 )  [  ] 2155] 
    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} v17 v18 v19 ) (114 {1} v6 v7 v8 ) (114 {1} v3 v4 v5 ) (114 {1} v18 v19 v20 ) (114 {1} v8 v9 v10 ) (114 {1} v6 v7 v8 ) (114 {1} v0 v1 v2 ) (114 {1} v4 v5 v6 ) (114 {1} v5 v6 v7 ) (114 {1} v19 v20 v21 )  [  ] 2153] 
]
 ]
round[6
    
playertrans[
    127
    offer[2165 secret (98 127 ) 0.9718] 
    offer[2164 secret (12 127 ) 0.9651] 
    accept[2152] 
    accept[2160] 
    accept[2161] 
    accept[2162] 
    accept[2163] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (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 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2156] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> true) (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)  ] 2157] 
    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 -> false) (v9 -> false)  ] 2154] 
    solve[[ (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 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2155] 
    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 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2153] 
]
 
[secret revealed 2153 : (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ]
 [acceptor received 0.0 for solving 0.3 of challenge 2153. acceptor: 127 offerer: 126 ]
 
[secret revealed 2155 : (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.8 for solving 0.4 of challenge 2155. acceptor: 127 offerer: 126 ]
 
[secret revealed 2154 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> false) ]
 [acceptor received 0.0 for solving 0.3 of challenge 2154. acceptor: 127 offerer: 126 ]
 
[secret revealed 2157 : (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 -> 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 2157. acceptor: 127 offerer: 126 ]
 
[secret revealed 2156 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 2.2 for solving 0.6 of challenge 2156. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2163. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2162. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2161. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2160. acceptor: 127 offerer: 126 ]
 [acceptor paid 0.9499 for challenge 2152. acceptor: 127 offerer: 126 ]
 
playertrans[
    126
    offer[2169 secret (64 ) 1.0] 
    offer[2168 secret (38 ) 1.0] 
    offer[2167 secret (92 ) 1.0] 
    offer[2166 secret (22 ) 1.0] 
    reoffer[2158 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  (36 {1} v17 v18 v19 ) (36 {1} v4 v5 v6 ) (36 {1} v3 v4 v5 ) (36 {1} v21 v0 v1 ) (36 {1} v7 v8 v9 ) (36 {1} v9 v10 v11 ) (36 {1} v13 v14 v15 ) (36 {1} v5 v6 v7 ) (36 {1} v7 v8 v9 ) (36 {1} v13 v14 v15 )  [  ] 2163] 
    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} v16 v17 v18 ) (60 {1} v4 v5 v6 ) (60 {1} v8 v9 v10 ) (60 {1} v11 v12 v13 ) (60 {1} v18 v19 v20 ) (60 {1} v12 v13 v14 ) (60 {1} v12 v13 v14 ) (60 {1} v0 v1 v2 ) (60 {1} v17 v18 v19 ) (60 {1} v20 v21 v0 )  [  ] 2162] 
    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} v18 v19 v20 ) (110 {1} v20 v21 v0 ) (110 {1} v15 v16 v17 ) (110 {1} v16 v17 v18 ) (110 {1} v18 v19 v20 ) (110 {1} v20 v21 v0 ) (110 {1} v6 v7 v8 ) (110 {1} v20 v21 v0 ) (110 {1} v8 v9 v10 ) (110 {1} v11 v12 v13 )  [  ] 2161] 
    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} v1 v2 v3 ) (26 {1} v20 v21 v0 ) (26 {1} v13 v14 v15 ) (26 {1} v14 v15 v16 ) (26 {1} v3 v4 v5 ) (26 {1} v14 v15 v16 ) (26 {1} v3 v4 v5 ) (26 {1} v20 v21 v0 ) (26 {1} v11 v12 v13 ) (26 {1} v9 v10 v11 )  [  ] 2160] 
    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} v19 v20 v21 ) (48 {1} v8 v9 v10 ) (48 {1} v20 v21 v0 ) (48 {1} v4 v5 v6 ) (48 {1} v2 v3 v4 ) (48 {1} v20 v21 v0 ) (48 {1} v7 v8 v9 ) (48 {1} v2 v3 v4 ) (48 {1} v7 v8 v9 ) (48 {1} v3 v4 v5 )  [  ] 2152] 
]
 ]
round[7
    
playertrans[
    127
    offer[2171 secret (66 127 ) 0.9651] 
    offer[2170 secret (120 127 ) 0.9789] 
    accept[2168] 
    accept[2169] 
    accept[2158] 
    accept[2166] 
    accept[2167] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2163] 
    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 -> true)  ] 2162] 
    solve[[ (v0 -> true) (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 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2161] 
    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 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true)  ] 2160] 
    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 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2152] 
]
 
[secret revealed 2152 : (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ]
 [acceptor received 1.7499 for solving 0.4 of challenge 2152. acceptor: 127 offerer: 126 ]
 
[secret revealed 2160 : (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 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 2.2 for solving 0.6 of challenge 2160. acceptor: 127 offerer: 126 ]
 
[secret revealed 2161 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (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.5 of challenge 2161. acceptor: 127 offerer: 126 ]
 
[secret revealed 2162 : (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 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 1.8 for solving 0.4 of challenge 2162. acceptor: 127 offerer: 126 ]
 
[secret revealed 2163 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (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 -> false) ]
 [acceptor received 1.2 for solving 0.1 of challenge 2163. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2167. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2166. acceptor: 127 offerer: 126 ]
 [acceptor paid 0.9573 for challenge 2158. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2169. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2168. acceptor: 127 offerer: 126 ]
 
playertrans[
    126
    offer[2175 secret (88 ) 1.0] 
    offer[2174 secret (64 ) 1.0] 
    offer[2173 secret (56 ) 1.0] 
    offer[2172 secret (48 ) 1.0] 
    reoffer[2141 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  (92 {1} v15 v16 v17 ) (92 {1} v3 v4 v5 ) (92 {1} v12 v13 v14 ) (92 {1} v4 v5 v6 ) (92 {1} v7 v8 v9 ) (92 {1} v12 v13 v14 ) (92 {1} v8 v9 v10 ) (92 {1} v0 v1 v2 ) (92 {1} v18 v19 v20 ) (92 {1} v18 v19 v20 )  [  ] 2167] 
    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} v15 v16 v17 ) (22 {1} v11 v12 v13 ) (22 {1} v19 v20 v21 ) (22 {1} v9 v10 v11 ) (22 {1} v18 v19 v20 ) (22 {1} v12 v13 v14 ) (22 {1} v1 v2 v3 ) (22 {1} v3 v4 v5 ) (22 {1} v0 v1 v2 ) (22 {1} v15 v16 v17 )  [  ] 2166] 
    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} v9 v10 v11 ) (72 {1} v13 v14 v15 ) (72 {1} v5 v6 v7 ) (72 {1} v13 v14 v15 ) (72 {1} v5 v6 v7 ) (72 {1} v16 v17 v18 ) (72 {1} v1 v2 v3 ) (72 {1} v5 v6 v7 ) (72 {1} v10 v11 v12 ) (72 {1} v11 v12 v13 )  [  ] 2158] 
    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} v5 v6 v7 ) (64 {1} v17 v18 v19 ) (64 {1} v13 v14 v15 ) (64 {1} v18 v19 v20 ) (64 {1} v11 v12 v13 ) (64 {1} v6 v7 v8 ) (64 {1} v1 v2 v3 ) (64 {1} v0 v1 v2 ) (64 {1} v10 v11 v12 ) (64 {1} v3 v4 v5 )  [  ] 2169] 
    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} v15 v16 v17 ) (38 {1} v17 v18 v19 ) (38 {1} v11 v12 v13 ) (38 {1} v7 v8 v9 ) (38 {1} v3 v4 v5 ) (38 {1} v5 v6 v7 ) (38 {1} v7 v8 v9 ) (38 {1} v16 v17 v18 ) (38 {1} v4 v5 v6 ) (38 {1} v7 v8 v9 )  [  ] 2168] 
]
 ]
round[8
    
playertrans[
    127
    offer[2177 secret (62 127 ) 0.9841] 
    offer[2176 secret (44 127 ) 0.9718] 
    accept[2172] 
    accept[2173] 
    accept[2174] 
    accept[2141] 
    accept[2175] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2167] 
    solve[[ (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 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true)  ] 2166] 
    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 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2158] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false)  ] 2169] 
    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 -> true) (v8 -> false) (v9 -> false)  ] 2168] 
]
 
[secret revealed 2168 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ]
 [acceptor received 2.2 for solving 0.6 of challenge 2168. acceptor: 127 offerer: 126 ]
 
[secret revealed 2169 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ]
 [acceptor received 1.6 for solving 0.3 of challenge 2169. acceptor: 127 offerer: 126 ]
 
[secret revealed 2158 : (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.1573 for solving 0.1 of challenge 2158. acceptor: 127 offerer: 126 ]
 
[secret revealed 2166 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ]
 [acceptor received 2.2 for solving 0.6 of challenge 2166. acceptor: 127 offerer: 126 ]
 
[secret revealed 2167 : (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 0.0 for solving 0.3 of challenge 2167. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2175. acceptor: 127 offerer: 126 ]
 [acceptor paid 0.9617 for challenge 2141. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2174. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2173. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2172. acceptor: 127 offerer: 126 ]
 
playertrans[
    126
    offer[2181 secret (110 ) 1.0] 
    offer[2180 secret (90 ) 1.0] 
    offer[2179 secret (114 ) 1.0] 
    offer[2178 secret (80 ) 1.0] 
    reoffer[2146 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  (82 {1} v21 v0 v1 ) (82 {1} v7 v8 v9 ) (82 {1} v19 v20 v21 ) (82 {1} v12 v13 v14 ) (82 {1} v4 v5 v6 ) (82 {1} v20 v21 v0 ) (82 {1} v21 v0 v1 ) (82 {1} v18 v19 v20 ) (82 {1} v20 v21 v0 ) (82 {1} v18 v19 v20 )  [  ] 2141] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (88 {1} v11 v12 v13 ) (88 {1} v1 v2 v3 ) (88 {1} v12 v13 v14 ) (88 {1} v10 v11 v12 ) (88 {1} v2 v3 v4 ) (88 {1} v20 v21 v0 ) (88 {1} v17 v18 v19 ) (88 {1} v16 v17 v18 ) (88 {1} v19 v20 v21 ) (88 {1} v5 v6 v7 )  [  ] 2175] 
    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} v4 v5 v6 ) (64 {1} v21 v0 v1 ) (64 {1} v1 v2 v3 ) (64 {1} v12 v13 v14 ) (64 {1} v11 v12 v13 ) (64 {1} v12 v13 v14 ) (64 {1} v18 v19 v20 ) (64 {1} v16 v17 v18 ) (64 {1} v7 v8 v9 ) (64 {1} v14 v15 v16 )  [  ] 2174] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (56 {1} v13 v14 v15 ) (56 {1} v5 v6 v7 ) (56 {1} v6 v7 v8 ) (56 {1} v14 v15 v16 ) (56 {1} v20 v21 v0 ) (56 {1} v15 v16 v17 ) (56 {1} v5 v6 v7 ) (56 {1} v7 v8 v9 ) (56 {1} v6 v7 v8 ) (56 {1} v11 v12 v13 )  [  ] 2173] 
    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} v13 v14 v15 ) (48 {1} v2 v3 v4 ) (48 {1} v12 v13 v14 ) (48 {1} v9 v10 v11 ) (48 {1} v5 v6 v7 ) (48 {1} v2 v3 v4 ) (48 {1} v21 v0 v1 ) (48 {1} v4 v5 v6 ) (48 {1} v21 v0 v1 ) (48 {1} v3 v4 v5 )  [  ] 2172] 
]
 ]
round[9
    
playertrans[
    127
    offer[2183 secret (76 127 ) 0.9718] 
    offer[2182 secret (28 127 ) 0.97] 
    accept[2180] 
    accept[2181] 
    accept[2178] 
    accept[2179] 
    accept[2146] 
    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 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2141] 
    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)  ] 2175] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> true)  ] 2174] 
    solve[[ (v0 -> true) (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 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2173] 
    solve[[ (v0 -> false) (v1 -> true) (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 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false)  ] 2172] 
]
 
[secret revealed 2172 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (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 2.0 for solving 0.5 of challenge 2172. acceptor: 127 offerer: 126 ]
 
[secret revealed 2173 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> false) (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.2 for solving 0.1 of challenge 2173. acceptor: 127 offerer: 126 ]
 
[secret revealed 2174 : (v0 -> false) (v1 -> false) (v10 -> true) (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 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ]
 [acceptor received 1.8 for solving 0.4 of challenge 2174. acceptor: 127 offerer: 126 ]
 
[secret revealed 2175 : (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.2 for solving 0.1 of challenge 2175. acceptor: 127 offerer: 126 ]
 
[secret revealed 2141 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (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.1616999999999997 for solving 0.6 of challenge 2141. acceptor: 127 offerer: 126 ]
 [acceptor paid 0.955 for challenge 2146. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2179. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2178. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2181. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2180. acceptor: 127 offerer: 126 ]
 
playertrans[
    126
    offer[2187 secret (4 ) 1.0] 
    offer[2186 secret (36 ) 1.0] 
    offer[2185 secret (48 ) 1.0] 
    offer[2184 secret (34 ) 1.0] 
    reoffer[2165 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  (24 {1} v19 v20 v21 ) (24 {1} v12 v13 v14 ) (24 {1} v10 v11 v12 ) (24 {1} v11 v12 v13 ) (24 {1} v3 v4 v5 ) (24 {1} v4 v5 v6 ) (24 {1} v16 v17 v18 ) (24 {1} v8 v9 v10 ) (24 {1} v3 v4 v5 ) (24 {1} v16 v17 v18 )  [  ] 2146] 
    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} v13 v14 v15 ) (114 {1} v11 v12 v13 ) (114 {1} v14 v15 v16 ) (114 {1} v16 v17 v18 ) (114 {1} v12 v13 v14 ) (114 {1} v3 v4 v5 ) (114 {1} v14 v15 v16 ) (114 {1} v1 v2 v3 ) (114 {1} v8 v9 v10 ) (114 {1} v19 v20 v21 )  [  ] 2179] 
    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} v8 v9 v10 ) (80 {1} v19 v20 v21 ) (80 {1} v6 v7 v8 ) (80 {1} v20 v21 v0 ) (80 {1} v7 v8 v9 ) (80 {1} v16 v17 v18 ) (80 {1} v18 v19 v20 ) (80 {1} v2 v3 v4 ) (80 {1} v8 v9 v10 ) (80 {1} v7 v8 v9 )  [  ] 2178] 
    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} v8 v9 v10 ) (110 {1} v9 v10 v11 ) (110 {1} v1 v2 v3 ) (110 {1} v5 v6 v7 ) (110 {1} v7 v8 v9 ) (110 {1} v3 v4 v5 ) (110 {1} v8 v9 v10 ) (110 {1} v1 v2 v3 ) (110 {1} v3 v4 v5 )  [  ] 2181] 
    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} v16 v17 v18 ) (90 {1} v6 v7 v8 ) (90 {1} v8 v9 v10 ) (90 {1} v9 v10 v11 ) (90 {1} v19 v20 v21 ) (90 {1} v6 v7 v8 ) (90 {1} v11 v12 v13 ) (90 {1} v15 v16 v17 ) (90 {1} v15 v16 v17 ) (90 {1} v0 v1 v2 )  [  ] 2180] 
]
 ]
round[10
    
playertrans[
    127
    offer[2189 secret (20 127 ) 0.9674] 
    offer[2188 secret (82 127 ) 0.9718] 
    accept[2186] 
    accept[2165] 
    accept[2187] 
    accept[2184] 
    accept[2185] 
    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 -> true) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2146] 
    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)  ] 2179] 
    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 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true)  ] 2178] 
    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 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2181] 
    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 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2180] 
]
 
[secret revealed 2180 : (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.8 for solving 0.4 of challenge 2180. acceptor: 127 offerer: 126 ]
 
[secret revealed 2181 : (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 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.2 for solving 0.6 of challenge 2181. acceptor: 127 offerer: 126 ]
 
[secret revealed 2178 : (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 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 2.4 for solving 0.7 of challenge 2178. acceptor: 127 offerer: 126 ]
 
[secret revealed 2179 : (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 -> false) (v9 -> true) ]
 [acceptor received 1.6 for solving 0.3 of challenge 2179. acceptor: 127 offerer: 126 ]
 
[secret revealed 2146 : (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 1.355 for solving 0.2 of challenge 2146. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2185. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2184. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2187. acceptor: 127 offerer: 126 ]
 [acceptor paid 0.9617 for challenge 2165. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2186. acceptor: 127 offerer: 126 ]
 
playertrans[
    126
    offer[2193 secret (6 ) 1.0] 
    offer[2192 secret (24 ) 1.0] 
    offer[2191 secret (72 ) 1.0] 
    offer[2190 secret (92 ) 1.0] 
    reoffer[2164 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  (48 {1} v0 v1 v2 ) (48 {1} v20 v21 v0 ) (48 {1} v21 v0 v1 ) (48 {1} v7 v8 v9 ) (48 {1} v6 v7 v8 ) (48 {1} v9 v10 v11 ) (48 {1} v7 v8 v9 ) (48 {1} v4 v5 v6 ) (48 {1} v15 v16 v17 ) (48 {1} v16 v17 v18 )  [  ] 2185] 
    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} v15 v16 v17 ) (34 {1} v9 v10 v11 ) (34 {1} v12 v13 v14 ) (34 {1} v21 v0 v1 ) (34 {1} v18 v19 v20 ) (34 {1} v19 v20 v21 ) (34 {1} v11 v12 v13 ) (34 {1} v15 v16 v17 ) (34 {1} v12 v13 v14 ) (34 {1} v17 v18 v19 )  [  ] 2184] 
    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} v19 v20 v21 ) (98 {1} v18 v19 v20 ) (98 {1} v3 v4 v5 ) (98 {1} v7 v8 v9 ) (98 {1} v7 v8 v9 ) (98 {1} v21 v0 v1 ) (98 {1} v10 v11 v12 ) (98 {1} v12 v13 v14 ) (98 {1} v3 v4 v5 ) (98 {1} v10 v11 v12 )  [  ] 2165] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (4 {1} v7 v8 v9 ) (4 {1} v6 v7 v8 ) (4 {1} v21 v0 v1 ) (4 {1} v2 v3 v4 ) (4 {1} v0 v1 v2 ) (4 {1} v11 v12 v13 ) (4 {1} v6 v7 v8 ) (4 {1} v17 v18 v19 ) (4 {1} v16 v17 v18 ) (4 {1} v16 v17 v18 )  [  ] 2187] 
    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} v5 v6 v7 ) (36 {1} v9 v10 v11 ) (36 {1} v13 v14 v15 ) (36 {1} v6 v7 v8 ) (36 {1} v19 v20 v21 ) (36 {1} v2 v3 v4 ) (36 {1} v6 v7 v8 ) (36 {1} v16 v17 v18 ) (36 {1} v10 v11 v12 ) (36 {1} v10 v11 v12 )  [  ] 2186] 
]
 ]
round[11
    
playertrans[
    127
    offer[2195 secret (84 127 ) 0.9718] 
    offer[2194 secret (18 127 ) 0.9674] 
    accept[2193] 
    accept[2192] 
    accept[2190] 
    accept[2191] 
    accept[2164] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> true)  ] 2185] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true)  ] 2184] 
    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 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false)  ] 2165] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (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 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2187] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (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 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2186] 
]
 
[secret revealed 2186 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false) ]
 [acceptor received 1.6 for solving 0.3 of challenge 2186. acceptor: 127 offerer: 126 ]
 
[secret revealed 2187 : (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 2187. acceptor: 127 offerer: 126 ]
 
[secret revealed 2165 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (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.1616999999999997 for solving 0.6 of challenge 2165. acceptor: 127 offerer: 126 ]
 
[secret revealed 2184 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (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 -> true) (v9 -> true) ]
 [acceptor received 2.4 for solving 0.7 of challenge 2184. acceptor: 127 offerer: 126 ]
 
[secret revealed 2185 : (v0 -> true) (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 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ]
 [acceptor received 2.2 for solving 0.6 of challenge 2185. acceptor: 127 offerer: 126 ]
 [acceptor paid 0.955 for challenge 2164. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2191. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2190. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2192. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2193. acceptor: 127 offerer: 126 ]
 
playertrans[
    126
    offer[2199 secret (4 ) 1.0] 
    offer[2198 secret (30 ) 1.0] 
    offer[2197 secret (114 ) 1.0] 
    offer[2196 secret (112 ) 1.0] 
    reoffer[2176 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  (12 {1} v7 v8 v9 ) (12 {1} v3 v4 v5 ) (12 {1} v8 v9 v10 ) (12 {1} v10 v11 v12 ) (12 {1} v12 v13 v14 ) (12 {1} v11 v12 v13 ) (12 {1} v2 v3 v4 ) (12 {1} v20 v21 v0 ) (12 {1} v21 v0 v1 ) (12 {1} v13 v14 v15 )  [  ] 2164] 
    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} v6 v7 v8 ) (72 {1} v21 v0 v1 ) (72 {1} v6 v7 v8 ) (72 {1} v15 v16 v17 ) (72 {1} v3 v4 v5 ) (72 {1} v20 v21 v0 ) (72 {1} v4 v5 v6 ) (72 {1} v4 v5 v6 ) (72 {1} v2 v3 v4 ) (72 {1} v13 v14 v15 )  [  ] 2191] 
    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} v1 v2 v3 ) (92 {1} v1 v2 v3 ) (92 {1} v19 v20 v21 ) (92 {1} v9 v10 v11 ) (92 {1} v20 v21 v0 ) (92 {1} v5 v6 v7 ) (92 {1} v6 v7 v8 ) (92 {1} v21 v0 v1 ) (92 {1} v3 v4 v5 ) (92 {1} v7 v8 v9 )  [  ] 2190] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (24 {1} v19 v20 v21 ) (24 {1} v3 v4 v5 ) (24 {1} v12 v13 v14 ) (24 {1} v17 v18 v19 ) (24 {1} v16 v17 v18 ) (24 {1} v7 v8 v9 ) (24 {1} v12 v13 v14 ) (24 {1} v16 v17 v18 ) (24 {1} v8 v9 v10 ) (24 {1} v13 v14 v15 )  [  ] 2192] 
    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} v19 v20 v21 ) (6 {1} v6 v7 v8 ) (6 {1} v2 v3 v4 ) (6 {1} v14 v15 v16 ) (6 {1} v10 v11 v12 ) (6 {1} v16 v17 v18 ) (6 {1} v7 v8 v9 ) (6 {1} v18 v19 v20 ) (6 {1} v15 v16 v17 ) (6 {1} v12 v13 v14 )  [  ] 2193] 
]
 ]
round[12
    
playertrans[
    127
    offer[2201 secret (86 127 ) 0.9789] 
    offer[2200 secret (74 127 ) 0.9718] 
    accept[2199] 
    accept[2198] 
    accept[2197] 
    accept[2196] 
    accept[2176] 
    solve[[ (v0 -> false) (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 -> true) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2164] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (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)  ] 2191] 
    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 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2190] 
    solve[[ (v0 -> false) (v1 -> false) (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 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false)  ] 2192] 
    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 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2193] 
]
 
[secret revealed 2193 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 1.4 for solving 0.2 of challenge 2193. acceptor: 127 offerer: 126 ]
 
[secret revealed 2192 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> true) (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 0.0 for solving 0.1 of challenge 2192. acceptor: 127 offerer: 126 ]
 
[secret revealed 2190 : (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 -> true) (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 2190. acceptor: 127 offerer: 126 ]
 
[secret revealed 2191 : (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 -> false) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 0.0 for solving 0.2 of challenge 2191. acceptor: 127 offerer: 126 ]
 
[secret revealed 2164 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 1.955 for solving 0.5 of challenge 2164. acceptor: 127 offerer: 126 ]
 [acceptor paid 0.9617 for challenge 2176. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2196. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2197. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2198. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2199. acceptor: 127 offerer: 126 ]
 
playertrans[
    126
    offer[2205 secret (122 ) 1.0] 
    offer[2204 secret (10 ) 1.0] 
    offer[2203 secret (118 ) 1.0] 
    offer[2202 secret (68 ) 1.0] 
    reoffer[2171 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  (44 {1} v19 v20 v21 ) (44 {1} v5 v6 v7 ) (44 {1} v16 v17 v18 ) (44 {1} v21 v0 v1 ) (44 {1} v1 v2 v3 ) (44 {1} v10 v11 v12 ) (44 {1} v0 v1 v2 ) (44 {1} v13 v14 v15 ) (44 {1} v6 v7 v8 ) (44 {1} v16 v17 v18 )  [  ] 2176] 
    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} v16 v17 v18 ) (112 {1} v2 v3 v4 ) (112 {1} v0 v1 v2 ) (112 {1} v10 v11 v12 ) (112 {1} v12 v13 v14 ) (112 {1} v10 v11 v12 ) (112 {1} v16 v17 v18 ) (112 {1} v0 v1 v2 ) (112 {1} v11 v12 v13 ) (112 {1} v15 v16 v17 )  [  ] 2196] 
    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} v12 v13 v14 ) (114 {1} v11 v12 v13 ) (114 {1} v15 v16 v17 ) (114 {1} v10 v11 v12 ) (114 {1} v19 v20 v21 ) (114 {1} v5 v6 v7 ) (114 {1} v7 v8 v9 ) (114 {1} v12 v13 v14 ) (114 {1} v8 v9 v10 ) (114 {1} v18 v19 v20 )  [  ] 2197] 
    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} v7 v8 v9 ) (30 {1} v0 v1 v2 ) (30 {1} v16 v17 v18 ) (30 {1} v0 v1 v2 ) (30 {1} v12 v13 v14 ) (30 {1} v4 v5 v6 ) (30 {1} v13 v14 v15 ) (30 {1} v16 v17 v18 ) (30 {1} v8 v9 v10 ) (30 {1} v18 v19 v20 )  [  ] 2198] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (4 {1} v11 v12 v13 ) (4 {1} v6 v7 v8 ) (4 {1} v4 v5 v6 ) (4 {1} v6 v7 v8 ) (4 {1} v1 v2 v3 ) (4 {1} v16 v17 v18 ) (4 {1} v7 v8 v9 ) (4 {1} v12 v13 v14 ) (4 {1} v1 v2 v3 ) (4 {1} v2 v3 v4 )  [  ] 2199] 
]
 ]
round[13
    
playertrans[
    127
    offer[2207 secret (94 127 ) 0.9841] 
    offer[2206 secret (124 127 ) 0.9841] 
    accept[2171] 
    accept[2205] 
    accept[2204] 
    accept[2203] 
    accept[2202] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> true) (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 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2176] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2196] 
    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 -> true) (v8 -> false) (v9 -> false)  ] 2197] 
    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 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2198] 
    solve[[ (v0 -> false) (v1 -> false) (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 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2199] 
]
 
[secret revealed 2199 : (v0 -> true) (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 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 2.0 for solving 0.5 of challenge 2199. acceptor: 127 offerer: 126 ]
 
[secret revealed 2198 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false) ]
 [acceptor received 0.0 for solving 0.6 of challenge 2198. acceptor: 127 offerer: 126 ]
 
[secret revealed 2197 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 1.6 for solving 0.3 of challenge 2197. acceptor: 127 offerer: 126 ]
 
[secret revealed 2196 : (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.2 for solving 0.6 of challenge 2196. acceptor: 127 offerer: 126 ]
 
[secret revealed 2176 : (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 2176. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2202. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2203. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2204. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2205. acceptor: 127 offerer: 126 ]
 [acceptor paid 0.955 for challenge 2171. acceptor: 127 offerer: 126 ]
 
playertrans[
    126
    offer[2211 secret (94 ) 1.0] 
    offer[2210 secret (46 ) 1.0] 
    offer[2209 secret (108 ) 1.0] 
    offer[2208 secret (56 ) 1.0] 
    reoffer[2183 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  (68 {1} v18 v19 v20 ) (68 {1} v13 v14 v15 ) (68 {1} v1 v2 v3 ) (68 {1} v16 v17 v18 ) (68 {1} v11 v12 v13 ) (68 {1} v4 v5 v6 ) (68 {1} v16 v17 v18 ) (68 {1} v9 v10 v11 ) (68 {1} v18 v19 v20 ) (68 {1} v15 v16 v17 )  [  ] 2202] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (118 {1} v2 v3 v4 ) (118 {1} v1 v2 v3 ) (118 {1} v4 v5 v6 ) (118 {1} v18 v19 v20 ) (118 {1} v21 v0 v1 ) (118 {1} v4 v5 v6 ) (118 {1} v10 v11 v12 ) (118 {1} v19 v20 v21 ) (118 {1} v0 v1 v2 ) (118 {1} v13 v14 v15 )  [  ] 2203] 
    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} v0 v1 v2 ) (10 {1} v8 v9 v10 ) (10 {1} v8 v9 v10 ) (10 {1} v1 v2 v3 ) (10 {1} v12 v13 v14 ) (10 {1} v14 v15 v16 ) (10 {1} v17 v18 v19 ) (10 {1} v5 v6 v7 ) (10 {1} v0 v1 v2 ) (10 {1} v13 v14 v15 )  [  ] 2204] 
    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} v15 v16 v17 ) (122 {1} v13 v14 v15 ) (122 {1} v16 v17 v18 ) (122 {1} v9 v10 v11 ) (122 {1} v13 v14 v15 ) (122 {1} v11 v12 v13 ) (122 {1} v1 v2 v3 ) (122 {1} v15 v16 v17 ) (122 {1} v4 v5 v6 ) (122 {1} v5 v6 v7 )  [  ] 2205] 
    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} v0 v1 v2 ) (66 {1} v21 v0 v1 ) (66 {1} v6 v7 v8 ) (66 {1} v16 v17 v18 ) (66 {1} v19 v20 v21 ) (66 {1} v0 v1 v2 ) (66 {1} v0 v1 v2 ) (66 {1} v17 v18 v19 ) (66 {1} v20 v21 v0 ) (66 {1} v18 v19 v20 )  [  ] 2171] 
]
 ]
round[14
    
playertrans[
    127
    offer[2213 secret (34 127 ) 0.9651] 
    offer[2212 secret (12 127 ) 0.9651] 
    accept[2183] 
    accept[2208] 
    accept[2209] 
    accept[2210] 
    accept[2211] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2202] 
    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 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2203] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (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 -> true) (v9 -> false)  ] 2204] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2205] 
    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 -> true) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2171] 
]
 
[secret revealed 2171 : (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 1.755 for solving 0.4 of challenge 2171. acceptor: 127 offerer: 126 ]
 
[secret revealed 2205 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> true) ]
 [acceptor received 2.4 for solving 0.7 of challenge 2205. acceptor: 127 offerer: 126 ]
 
[secret revealed 2204 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.8 for solving 0.9 of challenge 2204. acceptor: 127 offerer: 126 ]
 
[secret revealed 2203 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> false) ]
 [acceptor received 0.0 for solving 0.5 of challenge 2203. acceptor: 127 offerer: 126 ]
 
[secret revealed 2202 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 2.8 for solving 0.9 of challenge 2202. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2211. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2210. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2209. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2208. acceptor: 127 offerer: 126 ]
 [acceptor paid 0.9617 for challenge 2183. acceptor: 127 offerer: 126 ]
 
playertrans[
    126
    offer[2217 secret (56 ) 1.0] 
    offer[2216 secret (20 ) 1.0] 
    offer[2215 secret (70 ) 1.0] 
    offer[2214 secret (38 ) 1.0] 
    reoffer[2200 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  (94 {1} v10 v11 v12 ) (94 {1} v14 v15 v16 ) (94 {1} v8 v9 v10 ) (94 {1} v4 v5 v6 ) (94 {1} v4 v5 v6 ) (94 {1} v11 v12 v13 ) (94 {1} v15 v16 v17 ) (94 {1} v1 v2 v3 ) (94 {1} v13 v14 v15 ) (94 {1} v10 v11 v12 )  [  ] 2211] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (46 {1} v17 v18 v19 ) (46 {1} v8 v9 v10 ) (46 {1} v17 v18 v19 ) (46 {1} v9 v10 v11 ) (46 {1} v17 v18 v19 ) (46 {1} v2 v3 v4 ) (46 {1} v21 v0 v1 ) (46 {1} v1 v2 v3 ) (46 {1} v8 v9 v10 ) (46 {1} v2 v3 v4 )  [  ] 2210] 
    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} v3 v4 v5 ) (108 {1} v4 v5 v6 ) (108 {1} v21 v0 v1 ) (108 {1} v1 v2 v3 ) (108 {1} v17 v18 v19 ) (108 {1} v5 v6 v7 ) (108 {1} v11 v12 v13 ) (108 {1} v7 v8 v9 ) (108 {1} v10 v11 v12 ) (108 {1} v16 v17 v18 )  [  ] 2209] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (56 {1} v3 v4 v5 ) (56 {1} v4 v5 v6 ) (56 {1} v20 v21 v0 ) (56 {1} v7 v8 v9 ) (56 {1} v2 v3 v4 ) (56 {1} v7 v8 v9 ) (56 {1} v15 v16 v17 ) (56 {1} v13 v14 v15 ) (56 {1} v6 v7 v8 ) (56 {1} v20 v21 v0 )  [  ] 2208] 
    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} v12 v13 v14 ) (76 {1} v20 v21 v0 ) (76 {1} v14 v15 v16 ) (76 {1} v4 v5 v6 ) (76 {1} v2 v3 v4 ) (76 {1} v5 v6 v7 ) (76 {1} v7 v8 v9 ) (76 {1} v13 v14 v15 ) (76 {1} v19 v20 v21 ) (76 {1} v10 v11 v12 )  [  ] 2183] 
]
 ]
round[15
    
playertrans[
    127
    offer[2219 secret (56 127 ) 0.9718] 
    offer[2218 secret (58 127 ) 0.9775] 
    accept[2214] 
    accept[2215] 
    accept[2216] 
    accept[2217] 
    accept[2200] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (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 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2211] 
    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)  ] 2210] 
    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 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false)  ] 2209] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (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 -> true)  ] 2208] 
    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 -> false) (v9 -> false)  ] 2183] 
]
 
[secret revealed 2183 : (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 0.0 for solving 0.0 of challenge 2183. acceptor: 127 offerer: 126 ]
 
[secret revealed 2208 : (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.0 for solving 0.5 of challenge 2208. acceptor: 127 offerer: 126 ]
 
[secret revealed 2209 : (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 -> false) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.0 for solving 0.5 of challenge 2209. acceptor: 127 offerer: 126 ]
 
[secret revealed 2210 : (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 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ]
 [acceptor received 2.2 for solving 0.6 of challenge 2210. acceptor: 127 offerer: 126 ]
 
[secret revealed 2211 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.6 for solving 0.8 of challenge 2211. acceptor: 127 offerer: 126 ]
 [acceptor paid 0.9617 for challenge 2200. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2217. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2216. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2215. acceptor: 127 offerer: 126 ]
 [acceptor paid 1.0 for challenge 2214. acceptor: 127 offerer: 126 ]
 
playertrans[
    126
    offer[2223 secret (10 ) 1.0] 
    offer[2222 secret (84 ) 1.0] 
    offer[2221 secret (62 ) 1.0] 
    offer[2220 secret (100 ) 1.0] 
    reoffer[2177 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  (74 {1} v5 v6 v7 ) (74 {1} v10 v11 v12 ) (74 {1} v8 v9 v10 ) (74 {1} v17 v18 v19 ) (74 {1} v10 v11 v12 ) (74 {1} v7 v8 v9 ) (74 {1} v20 v21 v0 ) (74 {1} v13 v14 v15 ) (74 {1} v2 v3 v4 ) (74 {1} v15 v16 v17 )  [  ] 2200] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (56 {1} v4 v5 v6 ) (56 {1} v21 v0 v1 ) (56 {1} v4 v5 v6 ) (56 {1} v16 v17 v18 ) (56 {1} v16 v17 v18 ) (56 {1} v3 v4 v5 ) (56 {1} v18 v19 v20 ) (56 {1} v19 v20 v21 ) (56 {1} v19 v20 v21 ) (56 {1} v8 v9 v10 )  [  ] 2217] 
    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} v18 v19 v20 ) (20 {1} v7 v8 v9 ) (20 {1} v5 v6 v7 ) (20 {1} v14 v15 v16 ) (20 {1} v9 v10 v11 ) (20 {1} v20 v21 v0 ) (20 {1} v20 v21 v0 ) (20 {1} v10 v11 v12 ) (20 {1} v3 v4 v5 )  [  ] 2216] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (70 {1} v16 v17 v18 ) (70 {1} v17 v18 v19 ) (70 {1} v11 v12 v13 ) (70 {1} v20 v21 v0 ) (70 {1} v21 v0 v1 ) (70 {1} v7 v8 v9 ) (70 {1} v5 v6 v7 ) (70 {1} v16 v17 v18 ) (70 {1} v4 v5 v6 ) (70 {1} v2 v3 v4 )  [  ] 2215] 
    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} v12 v13 v14 ) (38 {1} v13 v14 v15 ) (38 {1} v11 v12 v13 ) (38 {1} v1 v2 v3 ) (38 {1} v2 v3 v4 ) (38 {1} v7 v8 v9 ) (38 {1} v18 v19 v20 ) (38 {1} v2 v3 v4 ) (38 {1} v7 v8 v9 ) (38 {1} v11 v12 v13 )  [  ] 2214] 
]
 ]
round[16
    /* OverTime Round: Offers/Accepts/Reoffers are ignored */

 
playertrans[
    127
    offer[2225 secret (78 127 ) 0.9775] 
    offer[2224 secret (114 127 ) 0.9775] 
    accept[2177] 
    accept[2220] 
    accept[2221] 
    accept[2222] 
    accept[2223] 
    solve[[ (v0 -> true) (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 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 2200] 
    solve[[ (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 -> true) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2217] 
    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 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 2216] 
    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 -> false) (v9 -> false)  ] 2215] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false)  ] 2214] 
]
 
[secret revealed 2214 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 3.0 for solving 1.0 of challenge 2214. acceptor: 127 offerer: 126 ]
 
[secret revealed 2215 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> true) ]
 [acceptor received 0.0 for solving 0.2 of challenge 2215. acceptor: 127 offerer: 126 ]
 
[secret revealed 2216 : (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 -> false) (v9 -> true) ]
 [acceptor received 2.0 for solving 0.5 of challenge 2216. acceptor: 127 offerer: 126 ]
 
[secret revealed 2217 : (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 0.0 for solving 0.2 of challenge 2217. acceptor: 127 offerer: 126 ]
 
[secret revealed 2200 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> false) ]
 [acceptor received 0.0 for solving 0.1 of challenge 2200. acceptor: 127 offerer: 126 ]
 
playertrans[
    126
    offer[2229 secret (46 ) 1.0] 
    offer[2228 secret (58 ) 1.0] 
    offer[2227 secret (76 ) 1.0] 
    offer[2226 secret (114 ) 1.0] 
    reoffer[2147 0.9647] 
]
 ]
round[17
    /* OverTime Round: Offers/Accepts/Reoffers are ignored */

 
playertrans[
    127
    offer[2231 secret (44 127 ) 0.9718] 
    offer[2230 secret (98 127 ) 0.9718] 
    accept[2177] 
    accept[2220] 
    accept[2221] 
    accept[2222] 
    accept[2223] 
]
 
playertrans[
    126
    offer[2235 secret (54 ) 1.0] 
    offer[2234 secret (116 ) 1.0] 
    offer[2233 secret (12 ) 1.0] 
    offer[2232 secret (8 ) 1.0] 
    reoffer[2170 0.9688] 
]
 ]

**** Final Results *****
"Terminator" : 134.97350000000003 
"CaptainKarl2" : 65.02649999999997