(153 -> playerspec["Boston_Chargers" "129.10.116.124" 2010])
  (152 -> playerspec["CaptainKarl2" "129.10.117.226" 2003])

round[1
    
playertrans[
    152
    offer[3063 secret (34 ) 1.0] 
    offer[3062 secret (52 ) 1.0] 
    offer[3061 secret (90 ) 1.0] 
    offer[3060 secret (6 ) 1.0] 
]
 
playertrans[
    153
    offer[3067 secret (50 127 ) 0.99] 
    offer[3066 secret (84 127 ) 0.99] 
    offer[3065 secret (20 127 ) 0.99] 
    offer[3064 secret (28 127 ) 0.99] 
    accept[3060] 
]
 [acceptor paid 1.0 for challenge 3060. acceptor: 153 offerer: 152 ]
 ]
round[2
    
playertrans[
    152
    offer[3071 secret (54 ) 1.0] 
    offer[3070 secret (86 ) 1.0] 
    offer[3069 secret (2 ) 1.0] 
    offer[3068 secret (84 ) 1.0] 
    reoffer[3064 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (6 {1} v10 v11 v12 ) (6 {1} v6 v7 v8 ) (6 {1} v6 v7 v8 ) (6 {1} v20 v21 v0 ) (6 {1} v18 v19 v20 ) (6 {1} v5 v6 v7 ) (6 {1} v5 v6 v7 ) (6 {1} v18 v19 v20 ) (6 {1} v20 v21 v0 ) (6 {1} v7 v8 v9 )  [  ] 3060] 
]
 
playertrans[
    153
    offer[3075 secret (8 127 ) 0.99] 
    offer[3074 secret (66 127 ) 0.99] 
    offer[3073 secret (24 127 ) 0.99] 
    offer[3072 secret (74 127 ) 0.99] 
    accept[3064] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 3060] 
]
 
[secret revealed 3060 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.0 for solving 0.5 of challenge 3060. acceptor: 153 offerer: 152 ]
 [acceptor paid 0.9799 for challenge 3064. acceptor: 153 offerer: 152 ]
 ]
round[3
    
playertrans[
    152
    offer[3079 secret (106 ) 1.0] 
    offer[3078 secret (68 ) 1.0] 
    offer[3077 secret (100 ) 1.0] 
    offer[3076 secret (60 ) 1.0] 
    reoffer[3065 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (28 {1} v1 v2 v3 ) (28 {1} v6 v7 v8 ) (28 {1} v0 v1 v2 ) (28 {1} v12 v13 v14 ) (28 {1} v5 v6 v7 ) (28 {1} v4 v5 v6 ) (28 {1} v13 v14 v15 ) (28 {1} v11 v12 v13 ) (28 {1} v7 v8 v9 ) (28 {1} v3 v4 v5 )  [  ] 3064] 
]
 
playertrans[
    153
    offer[3083 secret (10 127 ) 0.99] 
    offer[3082 secret (76 127 ) 0.99] 
    offer[3081 secret (104 127 ) 0.99] 
    offer[3080 secret (16 127 ) 0.99] 
    accept[3065] 
    solve[[ (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 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false)  ] 3064] 
]
 
[secret revealed 3064 : (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.5798999999999999 for solving 0.3 of challenge 3064. acceptor: 153 offerer: 152 ]
 [acceptor paid 0.9799 for challenge 3065. acceptor: 153 offerer: 152 ]
 ]
round[4
    
playertrans[
    152
    offer[3087 secret (28 ) 1.0] 
    offer[3086 secret (124 ) 1.0] 
    offer[3085 secret (14 ) 1.0] 
    offer[3084 secret (20 ) 1.0] 
    reoffer[3066 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (20 {1} v6 v7 v8 ) (20 {1} v17 v18 v19 ) (20 {1} v14 v15 v16 ) (20 {1} v6 v7 v8 ) (20 {1} v3 v4 v5 ) (20 {1} v3 v4 v5 ) (20 {1} v15 v16 v17 ) (20 {1} v11 v12 v13 ) (20 {1} v20 v21 v0 ) (20 {1} v15 v16 v17 )  [  ] 3065] 
]
 
playertrans[
    153
    offer[3091 secret (82 127 ) 0.99] 
    offer[3090 secret (6 127 ) 0.99] 
    offer[3089 secret (86 127 ) 0.99] 
    offer[3088 secret (102 127 ) 0.99] 
    accept[3066] 
    solve[[ (v0 -> false) (v1 -> false) (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 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false)  ] 3065] 
]
 
[secret revealed 3065 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 2.9798999999999998 for solving 1.0 of challenge 3065. acceptor: 153 offerer: 152 ]
 [acceptor paid 0.9799 for challenge 3066. acceptor: 153 offerer: 152 ]
 ]
round[5
    
playertrans[
    152
    offer[3095 secret (36 ) 1.0] 
    offer[3094 secret (38 ) 1.0] 
    offer[3093 secret (0 ) 1.0] 
    offer[3092 secret (44 ) 1.0] 
    reoffer[3082 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (84 {1} v20 v21 v0 ) (84 {1} v18 v19 v20 ) (84 {1} v3 v4 v5 ) (84 {1} v2 v3 v4 ) (84 {1} v9 v10 v11 ) (84 {1} v14 v15 v16 ) (84 {1} v16 v17 v18 ) (84 {1} v19 v20 v21 ) (84 {1} v4 v5 v6 ) (84 {1} v7 v8 v9 )  [  ] 3066] 
]
 
playertrans[
    153
    offer[3099 secret (127 128 ) 1.0] 
    offer[3098 secret (112 127 ) 0.99] 
    offer[3097 secret (118 127 ) 0.99] 
    offer[3096 secret (46 127 ) 0.99] 
    accept[3082] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 3066] 
]
 
[secret revealed 3066 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> true) ]
 [acceptor received 2.1799 for solving 0.6 of challenge 3066. acceptor: 153 offerer: 152 ]
 [acceptor paid 0.9799 for challenge 3082. acceptor: 153 offerer: 152 ]
 ]
round[6
    
playertrans[
    152
    offer[3103 secret (42 ) 1.0] 
    offer[3102 secret (50 ) 1.0] 
    offer[3101 secret (24 ) 1.0] 
    offer[3100 secret (4 ) 1.0] 
    accept[3099] 
    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} v20 v21 v0 ) (76 {1} v15 v16 v17 ) (76 {1} v6 v7 v8 ) (76 {1} v1 v2 v3 ) (76 {1} v21 v0 v1 ) (76 {1} v3 v4 v5 ) (76 {1} v17 v18 v19 ) (76 {1} v9 v10 v11 ) (76 {1} v20 v21 v0 ) (76 {1} v16 v17 v18 )  [  ] 3082] 
]
 [acceptor paid 1.0 for challenge 3099. acceptor: 152 offerer: 153 ]
 
playertrans[
    153
    offer[3107 secret (20 127 ) 0.99] 
    offer[3106 secret (80 127 ) 0.99] 
    offer[3105 secret (54 127 ) 0.99] 
    offer[3104 secret (26 127 ) 0.99] 
    accept[3101] 
    provide[v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 v22  (128 {1} v22 v21 v20 ) (128 {1} v22 v21 v19 ) (128 {1} v22 v21 v18 ) (128 {1} v22 v21 v17 ) (128 {1} v22 v21 v16 ) (128 {1} v22 v21 v15 ) (128 {1} v22 v21 v14 ) (128 {1} v22 v21 v13 ) (128 {1} v22 v21 v12 ) (128 {1} v22 v21 v11 ) (128 {1} v22 v21 v10 ) (128 {1} v22 v21 v9 ) (128 {1} v22 v21 v8 ) (128 {1} v22 v21 v7 ) (128 {1} v22 v21 v6 ) (128 {1} v22 v21 v5 ) (128 {1} v22 v21 v4 ) (128 {1} v22 v21 v3 ) (128 {1} v22 v21 v2 ) (128 {1} v22 v21 v1 ) (128 {1} v22 v20 v19 ) (128 {1} v22 v20 v18 ) (128 {1} v22 v20 v17 ) (128 {1} v22 v20 v16 ) (128 {1} v22 v20 v15 ) (128 {1} v22 v20 v14 ) (128 {1} v22 v20 v13 ) (128 {1} v22 v20 v12 ) (128 {1} v22 v20 v11 ) (128 {1} v22 v20 v10 ) (128 {1} v22 v20 v9 ) (128 {1} v22 v20 v8 ) (128 {1} v22 v20 v7 ) (128 {1} v22 v20 v6 ) (128 {1} v22 v20 v5 ) (128 {1} v22 v20 v4 ) (128 {1} v22 v20 v3 ) (128 {1} v22 v20 v2 ) (128 {1} v22 v20 v1 ) (128 {1} v22 v19 v18 ) (128 {1} v22 v19 v17 ) (128 {1} v22 v19 v16 ) (128 {1} v22 v19 v15 ) (128 {1} v22 v19 v14 ) (128 {1} v22 v19 v13 ) (128 {1} v22 v19 v12 ) (128 {1} v22 v19 v11 ) (128 {1} v22 v19 v10 ) (128 {1} v22 v19 v9 ) (128 {1} v22 v19 v8 ) (128 {1} v22 v19 v7 ) (128 {1} v22 v19 v6 ) (128 {1} v22 v19 v5 ) (128 {1} v22 v19 v4 ) (128 {1} v22 v19 v3 ) (128 {1} v22 v19 v2 ) (128 {1} v22 v19 v1 ) (128 {1} v22 v18 v17 ) (128 {1} v22 v18 v16 ) (128 {1} v22 v18 v15 ) (128 {1} v22 v18 v14 ) (128 {1} v22 v18 v13 ) (128 {1} v22 v18 v12 ) (128 {1} v22 v18 v11 ) (128 {1} v22 v18 v10 ) (128 {1} v22 v18 v9 ) (128 {1} v22 v18 v8 ) (128 {1} v22 v18 v7 ) (128 {1} v22 v18 v6 ) (128 {1} v22 v18 v5 ) (128 {1} v22 v18 v4 ) (128 {1} v22 v18 v3 ) (128 {1} v22 v18 v2 ) (128 {1} v22 v18 v1 ) (128 {1} v22 v17 v16 ) (128 {1} v22 v17 v15 ) (128 {1} v22 v17 v14 ) (128 {1} v22 v17 v13 ) (128 {1} v22 v17 v12 ) (128 {1} v22 v17 v11 ) (128 {1} v22 v17 v10 ) (128 {1} v22 v17 v9 ) (128 {1} v22 v17 v8 ) (128 {1} v22 v17 v7 ) (128 {1} v22 v17 v6 ) (128 {1} v22 v17 v5 ) (128 {1} v22 v17 v4 ) (128 {1} v22 v17 v3 ) (128 {1} v22 v17 v2 ) (128 {1} v22 v17 v1 ) (128 {1} v22 v16 v15 ) (128 {1} v22 v16 v14 ) (128 {1} v22 v16 v13 ) (128 {1} v22 v16 v12 ) (128 {1} v22 v16 v11 ) (128 {1} v22 v16 v10 ) (128 {1} v22 v16 v9 ) (128 {1} v22 v16 v8 ) (128 {1} v22 v16 v7 ) (128 {1} v22 v16 v6 ) (128 {1} v22 v16 v5 ) (128 {1} v22 v16 v4 ) (128 {1} v22 v16 v3 ) (128 {1} v22 v16 v2 ) (128 {1} v22 v16 v1 ) (128 {1} v22 v15 v14 ) (128 {1} v22 v15 v13 ) (128 {1} v22 v15 v12 ) (128 {1} v22 v15 v11 ) (128 {1} v22 v15 v10 ) (128 {1} v22 v15 v9 ) (128 {1} v22 v15 v8 ) (128 {1} v22 v15 v7 ) (128 {1} v22 v15 v6 ) (128 {1} v22 v15 v5 ) (128 {1} v22 v15 v4 ) (128 {1} v22 v15 v3 ) (128 {1} v22 v15 v2 ) (128 {1} v22 v15 v1 ) (128 {1} v22 v14 v13 ) (128 {1} v22 v14 v12 ) (128 {1} v22 v14 v11 ) (128 {1} v22 v14 v10 ) (128 {1} v22 v14 v9 ) (128 {1} v22 v14 v8 ) (128 {1} v22 v14 v7 ) (128 {1} v22 v14 v6 ) (128 {1} v22 v14 v5 ) (128 {1} v22 v14 v4 ) (128 {1} v22 v14 v3 ) (128 {1} v22 v14 v2 ) (128 {1} v22 v14 v1 ) (128 {1} v22 v13 v12 ) (128 {1} v22 v13 v11 ) (128 {1} v22 v13 v10 ) (128 {1} v22 v13 v9 ) (128 {1} v22 v13 v8 ) (128 {1} v22 v13 v7 ) (128 {1} v22 v13 v6 ) (128 {1} v22 v13 v5 ) (128 {1} v22 v13 v4 ) (128 {1} v22 v13 v3 ) (128 {1} v22 v13 v2 ) (128 {1} v22 v13 v1 ) (128 {1} v22 v12 v11 ) (128 {1} v22 v12 v10 ) (128 {1} v22 v12 v9 ) (128 {1} v22 v12 v8 ) (128 {1} v22 v12 v7 ) (128 {1} v22 v12 v6 ) (128 {1} v22 v12 v5 ) (128 {1} v22 v12 v4 ) (128 {1} v22 v12 v3 ) (128 {1} v22 v12 v2 ) (128 {1} v22 v12 v1 ) (128 {1} v22 v11 v10 ) (128 {1} v22 v11 v9 ) (128 {1} v22 v11 v8 ) (128 {1} v22 v11 v7 ) (128 {1} v22 v11 v6 ) (128 {1} v22 v11 v5 ) (128 {1} v22 v11 v4 ) (128 {1} v22 v11 v3 ) (128 {1} v22 v11 v2 ) (128 {1} v22 v11 v1 ) (128 {1} v22 v10 v9 ) (128 {1} v22 v10 v8 ) (128 {1} v22 v10 v7 ) (128 {1} v22 v10 v6 ) (128 {1} v22 v10 v5 ) (128 {1} v22 v10 v4 ) (128 {1} v22 v10 v3 ) (128 {1} v22 v10 v2 ) (128 {1} v22 v10 v1 ) (128 {1} v22 v9 v8 ) (128 {1} v22 v9 v7 ) (128 {1} v22 v9 v6 ) (128 {1} v22 v9 v5 ) (128 {1} v22 v9 v4 ) (128 {1} v22 v9 v3 ) (128 {1} v22 v9 v2 ) (128 {1} v22 v9 v1 ) (128 {1} v22 v8 v7 ) (128 {1} v22 v8 v6 ) (128 {1} v22 v8 v5 ) (128 {1} v22 v8 v4 ) (128 {1} v22 v8 v3 ) (128 {1} v22 v8 v2 ) (128 {1} v22 v8 v1 ) (128 {1} v22 v7 v6 ) (128 {1} v22 v7 v5 ) (128 {1} v22 v7 v4 ) (128 {1} v22 v7 v3 ) (128 {1} v22 v7 v2 ) (128 {1} v22 v7 v1 ) (128 {1} v22 v6 v5 ) (128 {1} v22 v6 v4 ) (128 {1} v22 v6 v3 ) (128 {1} v22 v6 v2 ) (128 {1} v22 v6 v1 ) (128 {1} v22 v5 v4 ) (128 {1} v22 v5 v3 ) (128 {1} v22 v5 v2 ) (128 {1} v22 v5 v1 ) (128 {1} v22 v4 v3 ) (128 {1} v22 v4 v2 ) (128 {1} v22 v4 v1 ) (128 {1} v22 v3 v2 ) (128 {1} v22 v3 v1 ) (128 {1} v22 v2 v1 ) (128 {1} v21 v20 v19 ) (128 {1} v21 v20 v18 ) (128 {1} v21 v20 v17 ) (128 {1} v21 v20 v16 ) (128 {1} v21 v20 v15 ) (128 {1} v21 v20 v14 ) (128 {1} v21 v20 v13 ) (128 {1} v21 v20 v12 ) (128 {1} v21 v20 v11 ) (128 {1} v21 v20 v10 ) (128 {1} v21 v20 v9 ) (128 {1} v21 v20 v8 ) (128 {1} v21 v20 v7 ) (128 {1} v21 v20 v6 ) (128 {1} v21 v20 v5 ) (128 {1} v21 v20 v4 ) (128 {1} v21 v20 v3 ) (128 {1} v21 v20 v2 ) (128 {1} v21 v20 v1 ) (128 {1} v21 v19 v18 ) (128 {1} v21 v19 v17 ) (128 {1} v21 v19 v16 ) (128 {1} v21 v19 v15 ) (128 {1} v21 v19 v14 ) (128 {1} v21 v19 v13 ) (128 {1} v21 v19 v12 ) (128 {1} v21 v19 v11 ) (128 {1} v21 v19 v10 ) (128 {1} v21 v19 v9 ) (128 {1} v21 v19 v8 ) (128 {1} v21 v19 v7 ) (128 {1} v21 v19 v6 ) (128 {1} v21 v19 v5 ) (128 {1} v21 v19 v4 ) (128 {1} v21 v19 v3 ) (128 {1} v21 v19 v2 ) (128 {1} v21 v19 v1 ) (128 {1} v21 v18 v17 ) (128 {1} v21 v18 v16 ) (128 {1} v21 v18 v15 ) (128 {1} v21 v18 v14 ) (128 {1} v21 v18 v13 ) (128 {1} v21 v18 v12 ) (128 {1} v21 v18 v11 ) (128 {1} v21 v18 v10 ) (128 {1} v21 v18 v9 ) (128 {1} v21 v18 v8 ) (128 {1} v21 v18 v7 ) (128 {1} v21 v18 v6 ) (128 {1} v21 v18 v5 ) (128 {1} v21 v18 v4 ) (128 {1} v21 v18 v3 ) (128 {1} v21 v18 v2 ) (128 {1} v21 v18 v1 ) (128 {1} v21 v17 v16 ) (128 {1} v21 v17 v15 ) (128 {1} v21 v17 v14 ) (128 {1} v21 v17 v13 ) (128 {1} v21 v17 v12 ) (128 {1} v21 v17 v11 ) (128 {1} v21 v17 v10 ) (128 {1} v21 v17 v9 ) (128 {1} v21 v17 v8 ) (128 {1} v21 v17 v7 ) (128 {1} v21 v17 v6 ) (128 {1} v21 v17 v5 ) (128 {1} v21 v17 v4 ) (128 {1} v21 v17 v3 ) (128 {1} v21 v17 v2 ) (128 {1} v21 v17 v1 ) (128 {1} v21 v16 v15 ) (128 {1} v21 v16 v14 ) (128 {1} v21 v16 v13 ) (128 {1} v21 v16 v12 ) (128 {1} v21 v16 v11 ) (128 {1} v21 v16 v10 ) (128 {1} v21 v16 v9 ) (128 {1} v21 v16 v8 ) (128 {1} v21 v16 v7 ) (128 {1} v21 v16 v6 ) (128 {1} v21 v16 v5 ) (128 {1} v21 v16 v4 ) (128 {1} v21 v16 v3 ) (128 {1} v21 v16 v2 ) (128 {1} v21 v16 v1 ) (128 {1} v21 v15 v14 ) (128 {1} v21 v15 v13 ) (128 {1} v21 v15 v12 ) (128 {1} v21 v15 v11 ) (128 {1} v21 v15 v10 ) (128 {1} v21 v15 v9 ) (128 {1} v21 v15 v8 ) (128 {1} v21 v15 v7 ) (128 {1} v21 v15 v6 ) (128 {1} v21 v15 v5 ) (128 {1} v21 v15 v4 ) (128 {1} v21 v15 v3 ) (128 {1} v21 v15 v2 ) (128 {1} v21 v15 v1 ) (128 {1} v21 v14 v13 ) (128 {1} v21 v14 v12 ) (128 {1} v21 v14 v11 ) (128 {1} v21 v14 v10 ) (128 {1} v21 v14 v9 ) (128 {1} v21 v14 v8 ) (128 {1} v21 v14 v7 ) (128 {1} v21 v14 v6 ) (128 {1} v21 v14 v5 ) (128 {1} v21 v14 v4 ) (128 {1} v21 v14 v3 ) (128 {1} v21 v14 v2 ) (128 {1} v21 v14 v1 ) (128 {1} v21 v13 v12 ) (128 {1} v21 v13 v11 ) (128 {1} v21 v13 v10 ) (128 {1} v21 v13 v9 ) (128 {1} v21 v13 v8 ) (128 {1} v21 v13 v7 ) (128 {1} v21 v13 v6 ) (128 {1} v21 v13 v5 ) (128 {1} v21 v13 v4 ) (128 {1} v21 v13 v3 ) (128 {1} v21 v13 v2 ) (128 {1} v21 v13 v1 ) (128 {1} v21 v12 v11 ) (128 {1} v21 v12 v10 ) (128 {1} v21 v12 v9 ) (128 {1} v21 v12 v8 ) (128 {1} v21 v12 v7 ) (128 {1} v21 v12 v6 ) (128 {1} v21 v12 v5 ) (128 {1} v21 v12 v4 ) (128 {1} v21 v12 v3 ) (128 {1} v21 v12 v2 ) (128 {1} v21 v12 v1 ) (128 {1} v21 v11 v10 ) (128 {1} v21 v11 v9 ) (128 {1} v21 v11 v8 ) (128 {1} v21 v11 v7 ) (128 {1} v21 v11 v6 ) (128 {1} v21 v11 v5 ) (128 {1} v21 v11 v4 ) (128 {1} v21 v11 v3 ) (128 {1} v21 v11 v2 ) (128 {1} v21 v11 v1 ) (128 {1} v21 v10 v9 ) (128 {1} v21 v10 v8 ) (128 {1} v21 v10 v7 ) (128 {1} v21 v10 v6 ) (128 {1} v21 v10 v5 ) (128 {1} v21 v10 v4 ) (128 {1} v21 v10 v3 ) (128 {1} v21 v10 v2 ) (128 {1} v21 v10 v1 ) (128 {1} v21 v9 v8 ) (128 {1} v21 v9 v7 ) (128 {1} v21 v9 v6 ) (128 {1} v21 v9 v5 ) (128 {1} v21 v9 v4 ) (128 {1} v21 v9 v3 ) (128 {1} v21 v9 v2 ) (128 {1} v21 v9 v1 ) (128 {1} v21 v8 v7 ) (128 {1} v21 v8 v6 ) (128 {1} v21 v8 v5 ) (128 {1} v21 v8 v4 ) (128 {1} v21 v8 v3 ) (128 {1} v21 v8 v2 ) (128 {1} v21 v8 v1 ) (128 {1} v21 v7 v6 ) (128 {1} v21 v7 v5 ) (128 {1} v21 v7 v4 ) (128 {1} v21 v7 v3 ) (128 {1} v21 v7 v2 ) (128 {1} v21 v7 v1 ) (128 {1} v21 v6 v5 ) (128 {1} v21 v6 v4 ) (128 {1} v21 v6 v3 ) (128 {1} v21 v6 v2 ) (128 {1} v21 v6 v1 ) (128 {1} v21 v5 v4 ) (128 {1} v21 v5 v3 ) (128 {1} v21 v5 v2 ) (128 {1} v21 v5 v1 ) (128 {1} v21 v4 v3 ) (128 {1} v21 v4 v2 ) (128 {1} v21 v4 v1 ) (128 {1} v21 v3 v2 ) (128 {1} v21 v3 v1 ) (128 {1} v21 v2 v1 ) (128 {1} v20 v19 v18 ) (128 {1} v20 v19 v17 ) (128 {1} v20 v19 v16 ) (128 {1} v20 v19 v15 ) (128 {1} v20 v19 v14 ) (128 {1} v20 v19 v13 ) (128 {1} v20 v19 v12 ) (128 {1} v20 v19 v11 ) (128 {1} v20 v19 v10 ) (128 {1} v20 v19 v9 ) (128 {1} v20 v19 v8 ) (128 {1} v20 v19 v7 ) (128 {1} v20 v19 v6 ) (128 {1} v20 v19 v5 ) (128 {1} v20 v19 v4 ) (128 {1} v20 v19 v3 ) (128 {1} v20 v19 v2 ) (128 {1} v20 v19 v1 ) (128 {1} v20 v18 v17 ) (128 {1} v20 v18 v16 ) (128 {1} v20 v18 v15 ) (128 {1} v20 v18 v14 ) (128 {1} v20 v18 v13 ) (128 {1} v20 v18 v12 ) (128 {1} v20 v18 v11 ) (128 {1} v20 v18 v10 ) (128 {1} v20 v18 v9 ) (128 {1} v20 v18 v8 ) (128 {1} v20 v18 v7 ) (128 {1} v20 v18 v6 ) (128 {1} v20 v18 v5 ) (128 {1} v20 v18 v4 ) (128 {1} v20 v18 v3 ) (128 {1} v20 v18 v2 ) (128 {1} v20 v18 v1 ) (128 {1} v20 v17 v16 ) (128 {1} v20 v17 v15 ) (128 {1} v20 v17 v14 ) (128 {1} v20 v17 v13 ) (128 {1} v20 v17 v12 ) (128 {1} v20 v17 v11 ) (128 {1} v20 v17 v10 ) (128 {1} v20 v17 v9 ) (128 {1} v20 v17 v8 ) (128 {1} v20 v17 v7 ) (128 {1} v20 v17 v6 ) (128 {1} v20 v17 v5 ) (128 {1} v20 v17 v4 ) (128 {1} v20 v17 v3 ) (128 {1} v20 v17 v2 ) (128 {1} v20 v17 v1 ) (128 {1} v20 v16 v15 ) (128 {1} v20 v16 v14 ) (128 {1} v20 v16 v13 ) (128 {1} v20 v16 v12 ) (128 {1} v20 v16 v11 ) (128 {1} v20 v16 v10 ) (128 {1} v20 v16 v9 ) (128 {1} v20 v16 v8 ) (128 {1} v20 v16 v7 ) (128 {1} v20 v16 v6 ) (128 {1} v20 v16 v5 ) (128 {1} v20 v16 v4 ) (128 {1} v20 v16 v3 ) (128 {1} v20 v16 v2 ) (128 {1} v20 v16 v1 ) (128 {1} v20 v15 v14 ) (128 {1} v20 v15 v13 ) (128 {1} v20 v15 v12 ) (128 {1} v20 v15 v11 ) (128 {1} v20 v15 v10 ) (128 {1} v20 v15 v9 ) (128 {1} v20 v15 v8 ) (128 {1} v20 v15 v7 ) (128 {1} v20 v15 v6 ) (128 {1} v20 v15 v5 ) (128 {1} v20 v15 v4 ) (128 {1} v20 v15 v3 ) (128 {1} v20 v15 v2 ) (128 {1} v20 v15 v1 ) (128 {1} v20 v14 v13 ) (128 {1} v20 v14 v12 ) (128 {1} v20 v14 v11 ) (128 {1} v20 v14 v10 ) (128 {1} v20 v14 v9 ) (128 {1} v20 v14 v8 ) (128 {1} v20 v14 v7 ) (128 {1} v20 v14 v6 ) (128 {1} v20 v14 v5 ) (128 {1} v20 v14 v4 ) (128 {1} v20 v14 v3 ) (128 {1} v20 v14 v2 ) (128 {1} v20 v14 v1 ) (128 {1} v20 v13 v12 ) (128 {1} v20 v13 v11 ) (128 {1} v20 v13 v10 ) (128 {1} v20 v13 v9 ) (128 {1} v20 v13 v8 ) (128 {1} v20 v13 v7 ) (128 {1} v20 v13 v6 ) (128 {1} v20 v13 v5 ) (128 {1} v20 v13 v4 ) (128 {1} v20 v13 v3 ) (128 {1} v20 v13 v2 ) (128 {1} v20 v13 v1 ) (128 {1} v20 v12 v11 ) (128 {1} v20 v12 v10 ) (128 {1} v20 v12 v9 ) (128 {1} v20 v12 v8 ) (128 {1} v20 v12 v7 ) (128 {1} v20 v12 v6 ) (128 {1} v20 v12 v5 ) (128 {1} v20 v12 v4 ) (128 {1} v20 v12 v3 ) (128 {1} v20 v12 v2 ) (128 {1} v20 v12 v1 ) (128 {1} v20 v11 v10 ) (128 {1} v20 v11 v9 ) (128 {1} v20 v11 v8 ) (128 {1} v20 v11 v7 ) (128 {1} v20 v11 v6 ) (128 {1} v20 v11 v5 ) (128 {1} v20 v11 v4 ) (128 {1} v20 v11 v3 ) (128 {1} v20 v11 v2 ) (128 {1} v20 v11 v1 ) (128 {1} v20 v10 v9 ) (128 {1} v20 v10 v8 ) (128 {1} v20 v10 v7 ) (128 {1} v20 v10 v6 ) (128 {1} v20 v10 v5 ) (128 {1} v20 v10 v4 ) (128 {1} v20 v10 v3 ) (128 {1} v20 v10 v2 ) (128 {1} v20 v10 v1 ) (128 {1} v20 v9 v8 ) (128 {1} v20 v9 v7 ) (128 {1} v20 v9 v6 ) (128 {1} v20 v9 v5 ) (128 {1} v20 v9 v4 ) (128 {1} v20 v9 v3 ) (128 {1} v20 v9 v2 ) (128 {1} v20 v9 v1 ) (128 {1} v20 v8 v7 ) (128 {1} v20 v8 v6 ) (128 {1} v20 v8 v5 ) (128 {1} v20 v8 v4 ) (128 {1} v20 v8 v3 ) (128 {1} v20 v8 v2 ) (128 {1} v20 v8 v1 ) (128 {1} v20 v7 v6 ) (128 {1} v20 v7 v5 ) (128 {1} v20 v7 v4 ) (128 {1} v20 v7 v3 ) (128 {1} v20 v7 v2 ) (128 {1} v20 v7 v1 ) (128 {1} v20 v6 v5 ) (128 {1} v20 v6 v4 ) (128 {1} v20 v6 v3 ) (128 {1} v20 v6 v2 ) (128 {1} v20 v6 v1 ) (128 {1} v20 v5 v4 ) (128 {1} v20 v5 v3 ) (128 {1} v20 v5 v2 ) (128 {1} v20 v5 v1 ) (128 {1} v20 v4 v3 ) (128 {1} v20 v4 v2 ) (128 {1} v20 v4 v1 ) (128 {1} v20 v3 v2 ) (128 {1} v20 v3 v1 ) (128 {1} v20 v2 v1 ) (128 {1} v19 v18 v17 ) (128 {1} v19 v18 v16 ) (128 {1} v19 v18 v15 ) (128 {1} v19 v18 v14 ) (128 {1} v19 v18 v13 ) (128 {1} v19 v18 v12 ) (128 {1} v19 v18 v11 ) (128 {1} v19 v18 v10 ) (128 {1} v19 v18 v9 ) (128 {1} v19 v18 v8 ) (128 {1} v19 v18 v7 ) (128 {1} v19 v18 v6 ) (128 {1} v19 v18 v5 ) (128 {1} v19 v18 v4 ) (128 {1} v19 v18 v3 ) (128 {1} v19 v18 v2 ) (128 {1} v19 v18 v1 ) (128 {1} v19 v17 v16 ) (128 {1} v19 v17 v15 ) (128 {1} v19 v17 v14 ) (128 {1} v19 v17 v13 ) (128 {1} v19 v17 v12 ) (128 {1} v19 v17 v11 ) (128 {1} v19 v17 v10 ) (128 {1} v19 v17 v9 ) (128 {1} v19 v17 v8 ) (128 {1} v19 v17 v7 ) (128 {1} v19 v17 v6 ) (128 {1} v19 v17 v5 ) (128 {1} v19 v17 v4 ) (128 {1} v19 v17 v3 ) (128 {1} v19 v17 v2 ) (128 {1} v19 v17 v1 ) (128 {1} v19 v16 v15 ) (128 {1} v19 v16 v14 ) (128 {1} v19 v16 v13 ) (128 {1} v19 v16 v12 ) (128 {1} v19 v16 v11 ) (128 {1} v19 v16 v10 ) (128 {1} v19 v16 v9 ) (128 {1} v19 v16 v8 ) (128 {1} v19 v16 v7 ) (128 {1} v19 v16 v6 ) (128 {1} v19 v16 v5 ) (128 {1} v19 v16 v4 ) (128 {1} v19 v16 v3 ) (128 {1} v19 v16 v2 ) (128 {1} v19 v16 v1 ) (128 {1} v19 v15 v14 ) (128 {1} v19 v15 v13 ) (128 {1} v19 v15 v12 ) (128 {1} v19 v15 v11 ) (128 {1} v19 v15 v10 ) (128 {1} v19 v15 v9 ) (128 {1} v19 v15 v8 ) (128 {1} v19 v15 v7 ) (128 {1} v19 v15 v6 ) (128 {1} v19 v15 v5 ) (128 {1} v19 v15 v4 ) (128 {1} v19 v15 v3 ) (128 {1} v19 v15 v2 ) (128 {1} v19 v15 v1 ) (128 {1} v19 v14 v13 ) (128 {1} v19 v14 v12 ) (128 {1} v19 v14 v11 ) (128 {1} v19 v14 v10 ) (128 {1} v19 v14 v9 ) (128 {1} v19 v14 v8 ) (128 {1} v19 v14 v7 ) (128 {1} v19 v14 v6 ) (128 {1} v19 v14 v5 ) (128 {1} v19 v14 v4 ) (128 {1} v19 v14 v3 ) (128 {1} v19 v14 v2 ) (128 {1} v19 v14 v1 ) (128 {1} v19 v13 v12 ) (128 {1} v19 v13 v11 ) (128 {1} v19 v13 v10 ) (128 {1} v19 v13 v9 ) (128 {1} v19 v13 v8 ) (128 {1} v19 v13 v7 ) (128 {1} v19 v13 v6 ) (128 {1} v19 v13 v5 ) (128 {1} v19 v13 v4 ) (128 {1} v19 v13 v3 ) (128 {1} v19 v13 v2 ) (128 {1} v19 v13 v1 ) (128 {1} v19 v12 v11 ) (128 {1} v19 v12 v10 ) (128 {1} v19 v12 v9 ) (128 {1} v19 v12 v8 ) (128 {1} v19 v12 v7 ) (128 {1} v19 v12 v6 ) (128 {1} v19 v12 v5 ) (128 {1} v19 v12 v4 ) (128 {1} v19 v12 v3 ) (128 {1} v19 v12 v2 ) (128 {1} v19 v12 v1 ) (128 {1} v19 v11 v10 ) (128 {1} v19 v11 v9 ) (128 {1} v19 v11 v8 ) (128 {1} v19 v11 v7 ) (128 {1} v19 v11 v6 ) (128 {1} v19 v11 v5 ) (128 {1} v19 v11 v4 ) (128 {1} v19 v11 v3 ) (128 {1} v19 v11 v2 ) (128 {1} v19 v11 v1 ) (128 {1} v19 v10 v9 ) (128 {1} v19 v10 v8 ) (128 {1} v19 v10 v7 ) (128 {1} v19 v10 v6 ) (128 {1} v19 v10 v5 ) (128 {1} v19 v10 v4 ) (128 {1} v19 v10 v3 ) (128 {1} v19 v10 v2 ) (128 {1} v19 v10 v1 ) (128 {1} v19 v9 v8 ) (128 {1} v19 v9 v7 ) (128 {1} v19 v9 v6 ) (128 {1} v19 v9 v5 ) (128 {1} v19 v9 v4 ) (128 {1} v19 v9 v3 ) (128 {1} v19 v9 v2 ) (128 {1} v19 v9 v1 ) (128 {1} v19 v8 v7 ) (128 {1} v19 v8 v6 ) (128 {1} v19 v8 v5 ) (128 {1} v19 v8 v4 ) (128 {1} v19 v8 v3 ) (128 {1} v19 v8 v2 ) (128 {1} v19 v8 v1 ) (128 {1} v19 v7 v6 ) (128 {1} v19 v7 v5 ) (128 {1} v19 v7 v4 ) (128 {1} v19 v7 v3 ) (128 {1} v19 v7 v2 ) (128 {1} v19 v7 v1 ) (128 {1} v19 v6 v5 ) (128 {1} v19 v6 v4 ) (128 {1} v19 v6 v3 ) (128 {1} v19 v6 v2 ) (128 {1} v19 v6 v1 ) (128 {1} v19 v5 v4 ) (128 {1} v19 v5 v3 ) (128 {1} v19 v5 v2 ) (128 {1} v19 v5 v1 ) (128 {1} v19 v4 v3 ) (128 {1} v19 v4 v2 ) (128 {1} v19 v4 v1 ) (128 {1} v19 v3 v2 ) (128 {1} v19 v3 v1 ) (128 {1} v19 v2 v1 ) (128 {1} v18 v17 v16 ) (128 {1} v18 v17 v15 ) (128 {1} v18 v17 v14 ) (128 {1} v18 v17 v13 ) (128 {1} v18 v17 v12 ) (128 {1} v18 v17 v11 ) (128 {1} v18 v17 v10 ) (128 {1} v18 v17 v9 ) (128 {1} v18 v17 v8 ) (128 {1} v18 v17 v7 ) (128 {1} v18 v17 v6 ) (128 {1} v18 v17 v5 ) (128 {1} v18 v17 v4 ) (128 {1} v18 v17 v3 ) (128 {1} v18 v17 v2 ) (128 {1} v18 v17 v1 ) (128 {1} v18 v16 v15 ) (128 {1} v18 v16 v14 ) (128 {1} v18 v16 v13 ) (128 {1} v18 v16 v12 ) (128 {1} v18 v16 v11 ) (128 {1} v18 v16 v10 ) (128 {1} v18 v16 v9 ) (128 {1} v18 v16 v8 ) (128 {1} v18 v16 v7 ) (128 {1} v18 v16 v6 ) (128 {1} v18 v16 v5 ) (128 {1} v18 v16 v4 ) (128 {1} v18 v16 v3 ) (128 {1} v18 v16 v2 ) (128 {1} v18 v16 v1 ) (128 {1} v18 v15 v14 ) (128 {1} v18 v15 v13 ) (128 {1} v18 v15 v12 ) (128 {1} v18 v15 v11 ) (128 {1} v18 v15 v10 ) (128 {1} v18 v15 v9 ) (128 {1} v18 v15 v8 ) (128 {1} v18 v15 v7 ) (128 {1} v18 v15 v6 ) (128 {1} v18 v15 v5 ) (128 {1} v18 v15 v4 ) (128 {1} v18 v15 v3 ) (128 {1} v18 v15 v2 ) (128 {1} v18 v15 v1 ) (128 {1} v18 v14 v13 ) (128 {1} v18 v14 v12 ) (128 {1} v18 v14 v11 ) (128 {1} v18 v14 v10 ) (128 {1} v18 v14 v9 ) (128 {1} v18 v14 v8 ) (128 {1} v18 v14 v7 ) (128 {1} v18 v14 v6 ) (128 {1} v18 v14 v5 ) (128 {1} v18 v14 v4 ) (128 {1} v18 v14 v3 ) (128 {1} v18 v14 v2 ) (128 {1} v18 v14 v1 ) (128 {1} v18 v13 v12 ) (128 {1} v18 v13 v11 ) (128 {1} v18 v13 v10 ) (128 {1} v18 v13 v9 ) (128 {1} v18 v13 v8 ) (128 {1} v18 v13 v7 ) (128 {1} v18 v13 v6 ) (128 {1} v18 v13 v5 ) (128 {1} v18 v13 v4 ) (128 {1} v18 v13 v3 ) (128 {1} v18 v13 v2 ) (128 {1} v18 v13 v1 ) (128 {1} v18 v12 v11 ) (128 {1} v18 v12 v10 ) (128 {1} v18 v12 v9 ) (128 {1} v18 v12 v8 ) (128 {1} v18 v12 v7 ) (128 {1} v18 v12 v6 ) (128 {1} v18 v12 v5 ) (128 {1} v18 v12 v4 ) (128 {1} v18 v12 v3 ) (128 {1} v18 v12 v2 ) (128 {1} v18 v12 v1 ) (128 {1} v18 v11 v10 ) (128 {1} v18 v11 v9 ) (128 {1} v18 v11 v8 ) (128 {1} v18 v11 v7 ) (128 {1} v18 v11 v6 ) (128 {1} v18 v11 v5 ) (128 {1} v18 v11 v4 ) (128 {1} v18 v11 v3 ) (128 {1} v18 v11 v2 ) (128 {1} v18 v11 v1 ) (128 {1} v18 v10 v9 ) (128 {1} v18 v10 v8 ) (128 {1} v18 v10 v7 ) (128 {1} v18 v10 v6 ) (128 {1} v18 v10 v5 ) (128 {1} v18 v10 v4 ) (128 {1} v18 v10 v3 ) (128 {1} v18 v10 v2 ) (128 {1} v18 v10 v1 ) (128 {1} v18 v9 v8 ) (128 {1} v18 v9 v7 ) (128 {1} v18 v9 v6 ) (128 {1} v18 v9 v5 ) (128 {1} v18 v9 v4 ) (128 {1} v18 v9 v3 ) (128 {1} v18 v9 v2 ) (128 {1} v18 v9 v1 ) (128 {1} v18 v8 v7 ) (128 {1} v18 v8 v6 ) (128 {1} v18 v8 v5 ) (128 {1} v18 v8 v4 ) (128 {1} v18 v8 v3 ) (128 {1} v18 v8 v2 ) (128 {1} v18 v8 v1 ) (128 {1} v18 v7 v6 ) (128 {1} v18 v7 v5 ) (128 {1} v18 v7 v4 ) (128 {1} v18 v7 v3 ) (128 {1} v18 v7 v2 ) (128 {1} v18 v7 v1 ) (128 {1} v18 v6 v5 ) (128 {1} v18 v6 v4 ) (128 {1} v18 v6 v3 ) (128 {1} v18 v6 v2 ) (128 {1} v18 v6 v1 ) (128 {1} v18 v5 v4 ) (128 {1} v18 v5 v3 ) (128 {1} v18 v5 v2 ) (128 {1} v18 v5 v1 ) (128 {1} v18 v4 v3 ) (128 {1} v18 v4 v2 ) (128 {1} v18 v4 v1 ) (128 {1} v18 v3 v2 ) (128 {1} v18 v3 v1 ) (128 {1} v18 v2 v1 ) (128 {1} v17 v16 v15 ) (128 {1} v17 v16 v14 ) (128 {1} v17 v16 v13 ) (128 {1} v17 v16 v12 ) (128 {1} v17 v16 v11 ) (128 {1} v17 v16 v10 ) (128 {1} v17 v16 v9 ) (128 {1} v17 v16 v8 ) (128 {1} v17 v16 v7 ) (128 {1} v17 v16 v6 ) (128 {1} v17 v16 v5 ) (128 {1} v17 v16 v4 ) (128 {1} v17 v16 v3 ) (128 {1} v17 v16 v2 ) (128 {1} v17 v16 v1 ) (128 {1} v17 v15 v14 ) (128 {1} v17 v15 v13 ) (128 {1} v17 v15 v12 ) (128 {1} v17 v15 v11 ) (128 {1} v17 v15 v10 ) (128 {1} v17 v15 v9 ) (128 {1} v17 v15 v8 ) (128 {1} v17 v15 v7 ) (128 {1} v17 v15 v6 ) (128 {1} v17 v15 v5 ) (128 {1} v17 v15 v4 ) (128 {1} v17 v15 v3 ) (128 {1} v17 v15 v2 ) (128 {1} v17 v15 v1 ) (128 {1} v17 v14 v13 ) (128 {1} v17 v14 v12 ) (128 {1} v17 v14 v11 ) (128 {1} v17 v14 v10 ) (128 {1} v17 v14 v9 ) (128 {1} v17 v14 v8 ) (128 {1} v17 v14 v7 ) (128 {1} v17 v14 v6 ) (128 {1} v17 v14 v5 ) (128 {1} v17 v14 v4 ) (128 {1} v17 v14 v3 ) (128 {1} v17 v14 v2 ) (128 {1} v17 v14 v1 ) (128 {1} v17 v13 v12 ) (128 {1} v17 v13 v11 ) (128 {1} v17 v13 v10 ) (128 {1} v17 v13 v9 ) (128 {1} v17 v13 v8 ) (128 {1} v17 v13 v7 ) (128 {1} v17 v13 v6 ) (128 {1} v17 v13 v5 ) (128 {1} v17 v13 v4 ) (128 {1} v17 v13 v3 ) (128 {1} v17 v13 v2 ) (128 {1} v17 v13 v1 ) (128 {1} v17 v12 v11 ) (128 {1} v17 v12 v10 ) (128 {1} v17 v12 v9 ) (128 {1} v17 v12 v8 ) (128 {1} v17 v12 v7 ) (128 {1} v17 v12 v6 ) (128 {1} v17 v12 v5 ) (128 {1} v17 v12 v4 ) (128 {1} v17 v12 v3 ) (128 {1} v17 v12 v2 ) (128 {1} v17 v12 v1 ) (128 {1} v17 v11 v10 ) (128 {1} v17 v11 v9 ) (128 {1} v17 v11 v8 ) (128 {1} v17 v11 v7 ) (128 {1} v17 v11 v6 ) (128 {1} v17 v11 v5 ) (128 {1} v17 v11 v4 ) (128 {1} v17 v11 v3 ) (128 {1} v17 v11 v2 ) (128 {1} v17 v11 v1 ) (128 {1} v17 v10 v9 ) (128 {1} v17 v10 v8 ) (128 {1} v17 v10 v7 ) (128 {1} v17 v10 v6 ) (128 {1} v17 v10 v5 ) (128 {1} v17 v10 v4 ) (128 {1} v17 v10 v3 ) (128 {1} v17 v10 v2 ) (128 {1} v17 v10 v1 ) (128 {1} v17 v9 v8 ) (128 {1} v17 v9 v7 ) (128 {1} v17 v9 v6 ) (128 {1} v17 v9 v5 ) (128 {1} v17 v9 v4 ) (128 {1} v17 v9 v3 ) (128 {1} v17 v9 v2 ) (128 {1} v17 v9 v1 ) (128 {1} v17 v8 v7 ) (128 {1} v17 v8 v6 ) (128 {1} v17 v8 v5 ) (128 {1} v17 v8 v4 ) (128 {1} v17 v8 v3 ) (128 {1} v17 v8 v2 ) (128 {1} v17 v8 v1 ) (128 {1} v17 v7 v6 ) (128 {1} v17 v7 v5 ) (128 {1} v17 v7 v4 ) (128 {1} v17 v7 v3 ) (128 {1} v17 v7 v2 ) (128 {1} v17 v7 v1 ) (128 {1} v17 v6 v5 ) (128 {1} v17 v6 v4 ) (128 {1} v17 v6 v3 ) (128 {1} v17 v6 v2 ) (128 {1} v17 v6 v1 ) (128 {1} v17 v5 v4 ) (128 {1} v17 v5 v3 ) (128 {1} v17 v5 v2 ) (128 {1} v17 v5 v1 ) (128 {1} v17 v4 v3 ) (128 {1} v17 v4 v2 ) (128 {1} v17 v4 v1 ) (128 {1} v17 v3 v2 ) (128 {1} v17 v3 v1 ) (128 {1} v17 v2 v1 ) (128 {1} v16 v15 v14 ) (128 {1} v16 v15 v13 ) (128 {1} v16 v15 v12 ) (128 {1} v16 v15 v11 ) (128 {1} v16 v15 v10 ) (128 {1} v16 v15 v9 ) (128 {1} v16 v15 v8 ) (128 {1} v16 v15 v7 ) (128 {1} v16 v15 v6 ) (128 {1} v16 v15 v5 ) (128 {1} v16 v15 v4 ) (128 {1} v16 v15 v3 ) (128 {1} v16 v15 v2 ) (128 {1} v16 v15 v1 ) (128 {1} v16 v14 v13 ) (128 {1} v16 v14 v12 ) (128 {1} v16 v14 v11 ) (128 {1} v16 v14 v10 ) (128 {1} v16 v14 v9 ) (128 {1} v16 v14 v8 ) (128 {1} v16 v14 v7 ) (128 {1} v16 v14 v6 ) (128 {1} v16 v14 v5 ) (128 {1} v16 v14 v4 ) (128 {1} v16 v14 v3 ) (128 {1} v16 v14 v2 ) (128 {1} v16 v14 v1 ) (128 {1} v16 v13 v12 ) (128 {1} v16 v13 v11 ) (128 {1} v16 v13 v10 ) (128 {1} v16 v13 v9 ) (128 {1} v16 v13 v8 ) (128 {1} v16 v13 v7 ) (128 {1} v16 v13 v6 ) (128 {1} v16 v13 v5 ) (128 {1} v16 v13 v4 ) (128 {1} v16 v13 v3 ) (128 {1} v16 v13 v2 ) (128 {1} v16 v13 v1 ) (128 {1} v16 v12 v11 ) (128 {1} v16 v12 v10 ) (128 {1} v16 v12 v9 ) (128 {1} v16 v12 v8 ) (128 {1} v16 v12 v7 ) (128 {1} v16 v12 v6 ) (128 {1} v16 v12 v5 ) (128 {1} v16 v12 v4 ) (128 {1} v16 v12 v3 ) (128 {1} v16 v12 v2 ) (128 {1} v16 v12 v1 ) (128 {1} v16 v11 v10 ) (128 {1} v16 v11 v9 ) (128 {1} v16 v11 v8 ) (128 {1} v16 v11 v7 ) (128 {1} v16 v11 v6 ) (128 {1} v16 v11 v5 ) (128 {1} v16 v11 v4 ) (128 {1} v16 v11 v3 ) (128 {1} v16 v11 v2 ) (128 {1} v16 v11 v1 ) (128 {1} v16 v10 v9 ) (128 {1} v16 v10 v8 ) (128 {1} v16 v10 v7 ) (128 {1} v16 v10 v6 ) (128 {1} v16 v10 v5 ) (128 {1} v16 v10 v4 ) (128 {1} v16 v10 v3 ) (128 {1} v16 v10 v2 ) (128 {1} v16 v10 v1 ) (128 {1} v16 v9 v8 ) (128 {1} v16 v9 v7 ) (128 {1} v16 v9 v6 ) (128 {1} v16 v9 v5 ) (128 {1} v16 v9 v4 ) (128 {1} v16 v9 v3 ) (128 {1} v16 v9 v2 ) (128 {1} v16 v9 v1 ) (128 {1} v16 v8 v7 ) (128 {1} v16 v8 v6 ) (128 {1} v16 v8 v5 ) (128 {1} v16 v8 v4 ) (128 {1} v16 v8 v3 ) (128 {1} v16 v8 v2 ) (128 {1} v16 v8 v1 ) (128 {1} v16 v7 v6 ) (128 {1} v16 v7 v5 ) (128 {1} v16 v7 v4 ) (128 {1} v16 v7 v3 ) (128 {1} v16 v7 v2 ) (128 {1} v16 v7 v1 ) (128 {1} v16 v6 v5 ) (128 {1} v16 v6 v4 ) (128 {1} v16 v6 v3 ) (128 {1} v16 v6 v2 ) (128 {1} v16 v6 v1 ) (128 {1} v16 v5 v4 ) (128 {1} v16 v5 v3 ) (128 {1} v16 v5 v2 ) (128 {1} v16 v5 v1 ) (128 {1} v16 v4 v3 ) (128 {1} v16 v4 v2 ) (128 {1} v16 v4 v1 ) (128 {1} v16 v3 v2 ) (128 {1} v16 v3 v1 ) (128 {1} v16 v2 v1 ) (128 {1} v15 v14 v13 ) (128 {1} v15 v14 v12 ) (128 {1} v15 v14 v11 ) (128 {1} v15 v14 v10 ) (128 {1} v15 v14 v9 ) (128 {1} v15 v14 v8 ) (128 {1} v15 v14 v7 ) (128 {1} v15 v14 v6 ) (128 {1} v15 v14 v5 ) (128 {1} v15 v14 v4 ) (128 {1} v15 v14 v3 ) (128 {1} v15 v14 v2 ) (128 {1} v15 v14 v1 ) (128 {1} v15 v13 v12 ) (128 {1} v15 v13 v11 ) (128 {1} v15 v13 v10 ) (128 {1} v15 v13 v9 ) (128 {1} v15 v13 v8 ) (128 {1} v15 v13 v7 ) (128 {1} v15 v13 v6 ) (128 {1} v15 v13 v5 ) (128 {1} v15 v13 v4 ) (128 {1} v15 v13 v3 ) (128 {1} v15 v13 v2 ) (128 {1} v15 v13 v1 ) (128 {1} v15 v12 v11 ) (128 {1} v15 v12 v10 ) (128 {1} v15 v12 v9 ) (128 {1} v15 v12 v8 ) (128 {1} v15 v12 v7 ) (128 {1} v15 v12 v6 ) (128 {1} v15 v12 v5 ) (128 {1} v15 v12 v4 ) (128 {1} v15 v12 v3 ) (128 {1} v15 v12 v2 ) (128 {1} v15 v12 v1 ) (128 {1} v15 v11 v10 ) (128 {1} v15 v11 v9 ) (128 {1} v15 v11 v8 ) (128 {1} v15 v11 v7 ) (128 {1} v15 v11 v6 ) (128 {1} v15 v11 v5 ) (128 {1} v15 v11 v4 ) (128 {1} v15 v11 v3 ) (128 {1} v15 v11 v2 ) (128 {1} v15 v11 v1 ) (128 {1} v15 v10 v9 ) (128 {1} v15 v10 v8 ) (128 {1} v15 v10 v7 ) (128 {1} v15 v10 v6 ) (128 {1} v15 v10 v5 ) (128 {1} v15 v10 v4 ) (128 {1} v15 v10 v3 ) (128 {1} v15 v10 v2 ) (128 {1} v15 v10 v1 ) (128 {1} v15 v9 v8 ) (128 {1} v15 v9 v7 ) (128 {1} v15 v9 v6 ) (128 {1} v15 v9 v5 ) (128 {1} v15 v9 v4 ) (128 {1} v15 v9 v3 ) (128 {1} v15 v9 v2 ) (128 {1} v15 v9 v1 ) (128 {1} v15 v8 v7 ) (128 {1} v15 v8 v6 ) (128 {1} v15 v8 v5 ) (128 {1} v15 v8 v4 ) (128 {1} v15 v8 v3 ) (128 {1} v15 v8 v2 ) (128 {1} v15 v8 v1 ) (128 {1} v15 v7 v6 ) (128 {1} v15 v7 v5 ) (128 {1} v15 v7 v4 ) (128 {1} v15 v7 v3 ) (128 {1} v15 v7 v2 ) (128 {1} v15 v7 v1 ) (128 {1} v15 v6 v5 ) (128 {1} v15 v6 v4 ) (128 {1} v15 v6 v3 ) (128 {1} v15 v6 v2 ) (128 {1} v15 v6 v1 ) (128 {1} v15 v5 v4 ) (128 {1} v15 v5 v3 ) (128 {1} v15 v5 v2 ) (128 {1} v15 v5 v1 ) (128 {1} v15 v4 v3 ) (128 {1} v15 v4 v2 ) (128 {1} v15 v4 v1 ) (128 {1} v15 v3 v2 ) (128 {1} v15 v3 v1 ) (128 {1} v15 v2 v1 ) (128 {1} v14 v13 v12 ) (128 {1} v14 v13 v11 ) (128 {1} v14 v13 v10 ) (128 {1} v14 v13 v9 ) (128 {1} v14 v13 v8 ) (128 {1} v14 v13 v7 ) (128 {1} v14 v13 v6 ) (128 {1} v14 v13 v5 ) (128 {1} v14 v13 v4 ) (128 {1} v14 v13 v3 ) (128 {1} v14 v13 v2 ) (128 {1} v14 v13 v1 ) (128 {1} v14 v12 v11 ) (128 {1} v14 v12 v10 ) (128 {1} v14 v12 v9 ) (128 {1} v14 v12 v8 ) (128 {1} v14 v12 v7 ) (128 {1} v14 v12 v6 ) (128 {1} v14 v12 v5 ) (128 {1} v14 v12 v4 ) (128 {1} v14 v12 v3 ) (128 {1} v14 v12 v2 ) (128 {1} v14 v12 v1 ) (128 {1} v14 v11 v10 ) (128 {1} v14 v11 v9 ) (128 {1} v14 v11 v8 ) (128 {1} v14 v11 v7 ) (128 {1} v14 v11 v6 ) (128 {1} v14 v11 v5 ) (128 {1} v14 v11 v4 ) (128 {1} v14 v11 v3 ) (128 {1} v14 v11 v2 ) (128 {1} v14 v11 v1 ) (128 {1} v14 v10 v9 ) (128 {1} v14 v10 v8 ) (128 {1} v14 v10 v7 ) (128 {1} v14 v10 v6 ) (128 {1} v14 v10 v5 ) (128 {1} v14 v10 v4 ) (128 {1} v14 v10 v3 ) (128 {1} v14 v10 v2 ) (128 {1} v14 v10 v1 ) (128 {1} v14 v9 v8 ) (128 {1} v14 v9 v7 ) (128 {1} v14 v9 v6 ) (128 {1} v14 v9 v5 ) (128 {1} v14 v9 v4 ) (128 {1} v14 v9 v3 ) (128 {1} v14 v9 v2 ) (128 {1} v14 v9 v1 ) (128 {1} v14 v8 v7 ) (128 {1} v14 v8 v6 ) (128 {1} v14 v8 v5 ) (128 {1} v14 v8 v4 ) (128 {1} v14 v8 v3 ) (128 {1} v14 v8 v2 ) (128 {1} v14 v8 v1 ) (128 {1} v14 v7 v6 ) (128 {1} v14 v7 v5 ) (128 {1} v14 v7 v4 ) (128 {1} v14 v7 v3 ) (128 {1} v14 v7 v2 ) (128 {1} v14 v7 v1 ) (128 {1} v14 v6 v5 ) (128 {1} v14 v6 v4 ) (128 {1} v14 v6 v3 ) (128 {1} v14 v6 v2 ) (128 {1} v14 v6 v1 ) (128 {1} v14 v5 v4 ) (128 {1} v14 v5 v3 ) (128 {1} v14 v5 v2 ) (128 {1} v14 v5 v1 ) (128 {1} v14 v4 v3 ) (128 {1} v14 v4 v2 ) (128 {1} v14 v4 v1 ) (128 {1} v14 v3 v2 ) (128 {1} v14 v3 v1 ) (128 {1} v14 v2 v1 ) (128 {1} v13 v12 v11 ) (128 {1} v13 v12 v10 ) (128 {1} v13 v12 v9 ) (128 {1} v13 v12 v8 ) (128 {1} v13 v12 v7 ) (128 {1} v13 v12 v6 ) (128 {1} v13 v12 v5 ) (128 {1} v13 v12 v4 ) (128 {1} v13 v12 v3 ) (128 {1} v13 v12 v2 ) (128 {1} v13 v12 v1 ) (128 {1} v13 v11 v10 ) (128 {1} v13 v11 v9 ) (128 {1} v13 v11 v8 ) (128 {1} v13 v11 v7 ) (128 {1} v13 v11 v6 ) (128 {1} v13 v11 v5 ) (128 {1} v13 v11 v4 ) (128 {1} v13 v11 v3 ) (128 {1} v13 v11 v2 ) (128 {1} v13 v11 v1 ) (128 {1} v13 v10 v9 ) (128 {1} v13 v10 v8 ) (128 {1} v13 v10 v7 ) (128 {1} v13 v10 v6 ) (128 {1} v13 v10 v5 ) (128 {1} v13 v10 v4 ) (128 {1} v13 v10 v3 ) (128 {1} v13 v10 v2 ) (128 {1} v13 v10 v1 ) (128 {1} v13 v9 v8 ) (128 {1} v13 v9 v7 ) (128 {1} v13 v9 v6 ) (128 {1} v13 v9 v5 ) (128 {1} v13 v9 v4 ) (128 {1} v13 v9 v3 ) (128 {1} v13 v9 v2 ) (128 {1} v13 v9 v1 ) (128 {1} v13 v8 v7 ) (128 {1} v13 v8 v6 ) (128 {1} v13 v8 v5 ) (128 {1} v13 v8 v4 ) (128 {1} v13 v8 v3 ) (128 {1} v13 v8 v2 ) (128 {1} v13 v8 v1 ) (128 {1} v13 v7 v6 ) (128 {1} v13 v7 v5 ) (128 {1} v13 v7 v4 ) (128 {1} v13 v7 v3 ) (128 {1} v13 v7 v2 ) (128 {1} v13 v7 v1 ) (128 {1} v13 v6 v5 ) (128 {1} v13 v6 v4 ) (128 {1} v13 v6 v3 ) (128 {1} v13 v6 v2 ) (128 {1} v13 v6 v1 ) (128 {1} v13 v5 v4 ) (128 {1} v13 v5 v3 ) (128 {1} v13 v5 v2 ) (128 {1} v13 v5 v1 ) (128 {1} v13 v4 v3 ) (128 {1} v13 v4 v2 ) (128 {1} v13 v4 v1 ) (128 {1} v13 v3 v2 ) (128 {1} v13 v3 v1 ) (128 {1} v13 v2 v1 ) (128 {1} v12 v11 v10 ) (128 {1} v12 v11 v9 ) (128 {1} v12 v11 v8 ) (128 {1} v12 v11 v7 ) (128 {1} v12 v11 v6 ) (128 {1} v12 v11 v5 ) (128 {1} v12 v11 v4 ) (128 {1} v12 v11 v3 ) (128 {1} v12 v11 v2 ) (128 {1} v12 v11 v1 ) (128 {1} v12 v10 v9 ) (128 {1} v12 v10 v8 ) (128 {1} v12 v10 v7 ) (128 {1} v12 v10 v6 ) (128 {1} v12 v10 v5 ) (128 {1} v12 v10 v4 ) (128 {1} v12 v10 v3 ) (128 {1} v12 v10 v2 ) (128 {1} v12 v10 v1 ) (128 {1} v12 v9 v8 ) (128 {1} v12 v9 v7 ) (128 {1} v12 v9 v6 ) (128 {1} v12 v9 v5 ) (128 {1} v12 v9 v4 ) (128 {1} v12 v9 v3 ) (128 {1} v12 v9 v2 ) (128 {1} v12 v9 v1 ) (128 {1} v12 v8 v7 ) (128 {1} v12 v8 v6 ) (128 {1} v12 v8 v5 ) (128 {1} v12 v8 v4 ) (128 {1} v12 v8 v3 ) (128 {1} v12 v8 v2 ) (128 {1} v12 v8 v1 ) (128 {1} v12 v7 v6 ) (128 {1} v12 v7 v5 ) (128 {1} v12 v7 v4 ) (128 {1} v12 v7 v3 ) (128 {1} v12 v7 v2 ) (128 {1} v12 v7 v1 ) (128 {1} v12 v6 v5 ) (128 {1} v12 v6 v4 ) (128 {1} v12 v6 v3 ) (128 {1} v12 v6 v2 ) (128 {1} v12 v6 v1 ) (128 {1} v12 v5 v4 ) (128 {1} v12 v5 v3 ) (128 {1} v12 v5 v2 ) (128 {1} v12 v5 v1 ) (128 {1} v12 v4 v3 ) (128 {1} v12 v4 v2 ) (128 {1} v12 v4 v1 ) (128 {1} v12 v3 v2 ) (128 {1} v12 v3 v1 ) (128 {1} v12 v2 v1 ) (128 {1} v11 v10 v9 ) (128 {1} v11 v10 v8 ) (128 {1} v11 v10 v7 ) (128 {1} v11 v10 v6 ) (128 {1} v11 v10 v5 ) (128 {1} v11 v10 v4 ) (128 {1} v11 v10 v3 ) (128 {1} v11 v10 v2 ) (128 {1} v11 v10 v1 ) (128 {1} v11 v9 v8 ) (128 {1} v11 v9 v7 ) (128 {1} v11 v9 v6 ) (128 {1} v11 v9 v5 ) (128 {1} v11 v9 v4 ) (128 {1} v11 v9 v3 ) (128 {1} v11 v9 v2 ) (128 {1} v11 v9 v1 ) (128 {1} v11 v8 v7 ) (128 {1} v11 v8 v6 ) (128 {1} v11 v8 v5 ) (128 {1} v11 v8 v4 ) (128 {1} v11 v8 v3 ) (128 {1} v11 v8 v2 ) (128 {1} v11 v8 v1 ) (128 {1} v11 v7 v6 ) (128 {1} v11 v7 v5 ) (128 {1} v11 v7 v4 ) (128 {1} v11 v7 v3 ) (128 {1} v11 v7 v2 ) (128 {1} v11 v7 v1 ) (128 {1} v11 v6 v5 ) (128 {1} v11 v6 v4 ) (128 {1} v11 v6 v3 ) (128 {1} v11 v6 v2 ) (128 {1} v11 v6 v1 ) (128 {1} v11 v5 v4 ) (128 {1} v11 v5 v3 ) (128 {1} v11 v5 v2 ) (128 {1} v11 v5 v1 ) (128 {1} v11 v4 v3 ) (128 {1} v11 v4 v2 ) (128 {1} v11 v4 v1 ) (128 {1} v11 v3 v2 ) (128 {1} v11 v3 v1 ) (128 {1} v11 v2 v1 ) (128 {1} v10 v9 v8 ) (128 {1} v10 v9 v7 ) (128 {1} v10 v9 v6 ) (128 {1} v10 v9 v5 ) (128 {1} v10 v9 v4 ) (128 {1} v10 v9 v3 ) (128 {1} v10 v9 v2 ) (128 {1} v10 v9 v1 ) (128 {1} v10 v8 v7 ) (128 {1} v10 v8 v6 ) (128 {1} v10 v8 v5 ) (128 {1} v10 v8 v4 ) (128 {1} v10 v8 v3 ) (128 {1} v10 v8 v2 ) (128 {1} v10 v8 v1 ) (128 {1} v10 v7 v6 ) (128 {1} v10 v7 v5 ) (128 {1} v10 v7 v4 ) (128 {1} v10 v7 v3 ) (128 {1} v10 v7 v2 ) (128 {1} v10 v7 v1 ) (128 {1} v10 v6 v5 ) (128 {1} v10 v6 v4 ) (128 {1} v10 v6 v3 ) (128 {1} v10 v6 v2 ) (128 {1} v10 v6 v1 ) (128 {1} v10 v5 v4 ) (128 {1} v10 v5 v3 ) (128 {1} v10 v5 v2 ) (128 {1} v10 v5 v1 ) (128 {1} v10 v4 v3 ) (128 {1} v10 v4 v2 ) (128 {1} v10 v4 v1 ) (128 {1} v10 v3 v2 ) (128 {1} v10 v3 v1 ) (128 {1} v10 v2 v1 ) (128 {1} v9 v8 v7 ) (128 {1} v9 v8 v6 ) (128 {1} v9 v8 v5 ) (128 {1} v9 v8 v4 ) (128 {1} v9 v8 v3 ) (128 {1} v9 v8 v2 ) (128 {1} v9 v8 v1 ) (128 {1} v9 v7 v6 ) (128 {1} v9 v7 v5 ) (128 {1} v9 v7 v4 ) (128 {1} v9 v7 v3 ) (128 {1} v9 v7 v2 ) (128 {1} v9 v7 v1 ) (128 {1} v9 v6 v5 ) (128 {1} v9 v6 v4 ) (128 {1} v9 v6 v3 ) (128 {1} v9 v6 v2 ) (128 {1} v9 v6 v1 ) (128 {1} v9 v5 v4 ) (128 {1} v9 v5 v3 ) (128 {1} v9 v5 v2 ) (128 {1} v9 v5 v1 ) (128 {1} v9 v4 v3 ) (128 {1} v9 v4 v2 ) (128 {1} v9 v4 v1 ) (128 {1} v9 v3 v2 ) (128 {1} v9 v3 v1 ) (128 {1} v9 v2 v1 ) (128 {1} v8 v7 v6 ) (128 {1} v8 v7 v5 ) (128 {1} v8 v7 v4 ) (128 {1} v8 v7 v3 ) (128 {1} v8 v7 v2 ) (128 {1} v8 v7 v1 ) (128 {1} v8 v6 v5 ) (128 {1} v8 v6 v4 ) (128 {1} v8 v6 v3 ) (128 {1} v8 v6 v2 ) (128 {1} v8 v6 v1 ) (128 {1} v8 v5 v4 ) (128 {1} v8 v5 v3 ) (128 {1} v8 v5 v2 ) (128 {1} v8 v5 v1 ) (128 {1} v8 v4 v3 ) (128 {1} v8 v4 v2 ) (128 {1} v8 v4 v1 ) (128 {1} v8 v3 v2 ) (128 {1} v8 v3 v1 ) (128 {1} v8 v2 v1 ) (128 {1} v7 v6 v5 ) (128 {1} v7 v6 v4 ) (128 {1} v7 v6 v3 ) (128 {1} v7 v6 v2 ) (128 {1} v7 v6 v1 ) (128 {1} v7 v5 v4 ) (128 {1} v7 v5 v3 ) (128 {1} v7 v5 v2 ) (128 {1} v7 v5 v1 ) (128 {1} v7 v4 v3 ) (128 {1} v7 v4 v2 ) (128 {1} v7 v4 v1 ) (128 {1} v7 v3 v2 ) (128 {1} v7 v3 v1 ) (128 {1} v7 v2 v1 ) (128 {1} v6 v5 v4 ) (128 {1} v6 v5 v3 ) (128 {1} v6 v5 v2 ) (128 {1} v6 v5 v1 ) (128 {1} v6 v4 v3 ) (128 {1} v6 v4 v2 ) (128 {1} v6 v4 v1 ) (128 {1} v6 v3 v2 ) (128 {1} v6 v3 v1 ) (128 {1} v6 v2 v1 ) (128 {1} v5 v4 v3 ) (128 {1} v5 v4 v2 ) (128 {1} v5 v4 v1 ) (128 {1} v5 v3 v2 ) (128 {1} v5 v3 v1 ) (128 {1} v5 v2 v1 ) (128 {1} v4 v3 v2 ) (128 {1} v4 v3 v1 ) (128 {1} v4 v2 v1 ) (128 {1} v3 v2 v1 )  [  ] 3099] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false)  ] 3082] 
]
 
[secret revealed 3082 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> true) ]
 [acceptor received 2.3799 for solving 0.7 of challenge 3082. acceptor: 153 offerer: 152 ]
 [acceptor paid 1.0 for challenge 3101. acceptor: 153 offerer: 152 ]
 ]
round[7
    
playertrans[
    152
    offer[3111 secret (40 ) 1.0] 
    offer[3110 secret (58 ) 1.0] 
    offer[3109 secret (10 ) 1.0] 
    offer[3108 secret (126 ) 1.0] 
    reoffer[3090 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (24 {1} v5 v6 v7 ) (24 {1} v8 v9 v10 ) (24 {1} v11 v12 v13 ) (24 {1} v11 v12 v13 ) (24 {1} v19 v20 v21 ) (24 {1} v9 v10 v11 ) (24 {1} v15 v16 v17 ) (24 {1} v4 v5 v6 ) (24 {1} v21 v0 v1 ) (24 {1} v14 v15 v16 )  [  ] 3101] 
    solve[[ (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v22 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true)  ] 3099] 
]
 
[secret revealed 3099 : (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v22 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 3.0 for solving 1.0 of challenge 3099. acceptor: 152 offerer: 153 ]
 
playertrans[
    153
    offer[3115 secret (28 127 ) 0.99] 
    offer[3114 secret (108 127 ) 0.99] 
    offer[3113 secret (76 127 ) 0.99] 
    offer[3112 secret (56 127 ) 0.99] 
    accept[3090] 
    solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> true) (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 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> true)  ] 3101] 
]
 
[secret revealed 3101 : (v0 -> true) (v1 -> false) (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 -> 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 3101. acceptor: 153 offerer: 152 ]
 [acceptor paid 0.9799 for challenge 3090. acceptor: 153 offerer: 152 ]
 ]
round[8
    
playertrans[
    152
    offer[3119 secret (76 ) 1.0] 
    offer[3118 secret (98 ) 1.0] 
    offer[3117 secret (102 ) 1.0] 
    offer[3116 secret (74 ) 1.0] 
    reoffer[3089 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (6 {1} v7 v8 v9 ) (6 {1} v17 v18 v19 ) (6 {1} v9 v10 v11 ) (6 {1} v19 v20 v21 ) (6 {1} v8 v9 v10 ) (6 {1} v21 v0 v1 ) (6 {1} v9 v10 v11 ) (6 {1} v6 v7 v8 ) (6 {1} v10 v11 v12 ) (6 {1} v21 v0 v1 )  [  ] 3090] 
]
 
playertrans[
    153
    offer[3123 secret (12 127 ) 0.99] 
    offer[3122 secret (84 127 ) 0.99] 
    offer[3121 secret (100 127 ) 0.99] 
    offer[3120 secret (88 127 ) 0.99] 
    accept[3089] 
    solve[[ (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 -> true) (v7 -> false) (v8 -> false) (v9 -> true)  ] 3090] 
]
 
[secret revealed 3090 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ]
 [acceptor received 2.3799 for solving 0.7 of challenge 3090. acceptor: 153 offerer: 152 ]
 [acceptor paid 0.9799 for challenge 3089. acceptor: 153 offerer: 152 ]
 ]
round[9
    
playertrans[
    152
    offer[3127 secret (104 ) 1.0] 
    offer[3126 secret (88 ) 1.0] 
    offer[3125 secret (120 ) 1.0] 
    offer[3124 secret (56 ) 1.0] 
    reoffer[3072 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (86 {1} v5 v6 v7 ) (86 {1} v0 v1 v2 ) (86 {1} v17 v18 v19 ) (86 {1} v14 v15 v16 ) (86 {1} v8 v9 v10 ) (86 {1} v13 v14 v15 ) (86 {1} v0 v1 v2 ) (86 {1} v15 v16 v17 ) (86 {1} v16 v17 v18 ) (86 {1} v18 v19 v20 )  [  ] 3089] 
]
 
playertrans[
    153
    offer[3131 secret (4 127 ) 0.99] 
    offer[3130 secret (32 127 ) 0.99] 
    offer[3129 secret (106 127 ) 0.99] 
    offer[3128 secret (96 127 ) 0.99] 
    accept[3072] 
    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 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false)  ] 3089] 
]
 
[secret revealed 3089 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false) ]
 [acceptor received 1.9799 for solving 0.5 of challenge 3089. acceptor: 153 offerer: 152 ]
 [acceptor paid 0.9799 for challenge 3072. acceptor: 153 offerer: 152 ]
 ]
round[10
    
playertrans[
    152
    offer[3135 secret (122 ) 1.0] 
    offer[3134 secret (96 ) 1.0] 
    offer[3133 secret (66 ) 1.0] 
    offer[3132 secret (114 ) 1.0] 
    reoffer[3123 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (74 {1} v20 v21 v0 ) (74 {1} v1 v2 v3 ) (74 {1} v7 v8 v9 ) (74 {1} v7 v8 v9 ) (74 {1} v10 v11 v12 ) (74 {1} v16 v17 v18 ) (74 {1} v18 v19 v20 ) (74 {1} v8 v9 v10 ) (74 {1} v19 v20 v21 ) (74 {1} v21 v0 v1 )  [  ] 3072] 
]
 
playertrans[
    153
    offer[3139 secret (14 127 ) 0.99] 
    offer[3138 secret (86 127 ) 0.99] 
    offer[3137 secret (92 127 ) 0.99] 
    offer[3136 secret (122 127 ) 0.99] 
    accept[3123] 
    solve[[ (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)  ] 3072] 
]
 
[secret revealed 3072 : (v0 -> false) (v1 -> true) (v10 -> true) (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 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ]
 [acceptor received 1.5798999999999999 for solving 0.3 of challenge 3072. acceptor: 153 offerer: 152 ]
 [acceptor paid 0.9799 for challenge 3123. acceptor: 153 offerer: 152 ]
 ]
round[11
    
playertrans[
    152
    offer[3143 secret (22 ) 1.0] 
    offer[3142 secret (48 ) 1.0] 
    offer[3141 secret (24 ) 1.0] 
    offer[3140 secret (32 ) 1.0] 
    reoffer[3073 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (12 {1} v0 v1 v2 ) (12 {1} v8 v9 v10 ) (12 {1} v9 v10 v11 ) (12 {1} v12 v13 v14 ) (12 {1} v13 v14 v15 ) (12 {1} v4 v5 v6 ) (12 {1} v21 v0 v1 ) (12 {1} v18 v19 v20 ) (12 {1} v11 v12 v13 ) (12 {1} v17 v18 v19 )  [  ] 3123] 
]
 
playertrans[
    153
    offer[3147 secret (114 127 ) 0.99] 
    offer[3146 secret (126 127 ) 0.99] 
    offer[3145 secret (2 127 ) 0.99] 
    offer[3144 secret (116 127 ) 0.99] 
    accept[3073] 
    solve[[ (v0 -> true) (v1 -> false) (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 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true)  ] 3123] 
]
 
[secret revealed 3123 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ]
 [acceptor received 1.9799 for solving 0.5 of challenge 3123. acceptor: 153 offerer: 152 ]
 [acceptor paid 0.9799 for challenge 3073. acceptor: 153 offerer: 152 ]
 ]
round[12
    
playertrans[
    152
    offer[3151 secret (110 ) 1.0] 
    offer[3150 secret (78 ) 1.0] 
    offer[3149 secret (64 ) 1.0] 
    offer[3148 secret (6 ) 1.0] 
    reoffer[3114 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (24 {1} v8 v9 v10 ) (24 {1} v18 v19 v20 ) (24 {1} v5 v6 v7 ) (24 {1} v15 v16 v17 ) (24 {1} v18 v19 v20 ) (24 {1} v12 v13 v14 ) (24 {1} v18 v19 v20 ) (24 {1} v8 v9 v10 ) (24 {1} v3 v4 v5 ) (24 {1} v12 v13 v14 )  [  ] 3073] 
]
 
playertrans[
    153
    offer[3155 secret (48 127 ) 0.99] 
    offer[3154 secret (60 127 ) 0.99] 
    offer[3153 secret (94 127 ) 0.99] 
    offer[3152 secret (120 127 ) 0.99] 
    accept[3114] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> true)  ] 3073] 
]
 
[secret revealed 3073 : (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ]
 [acceptor received 2.7799 for solving 0.9 of challenge 3073. acceptor: 153 offerer: 152 ]
 [acceptor paid 0.9799 for challenge 3114. acceptor: 153 offerer: 152 ]
 ]
round[13
    
playertrans[
    152
    offer[3159 secret (72 ) 1.0] 
    offer[3158 secret (46 ) 1.0] 
    offer[3157 secret (108 ) 1.0] 
    offer[3156 secret (80 ) 1.0] 
    reoffer[3120 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (108 {1} v19 v20 v21 ) (108 {1} v16 v17 v18 ) (108 {1} v1 v2 v3 ) (108 {1} v19 v20 v21 ) (108 {1} v15 v16 v17 ) (108 {1} v0 v1 v2 ) (108 {1} v20 v21 v0 ) (108 {1} v17 v18 v19 ) (108 {1} v6 v7 v8 ) (108 {1} v9 v10 v11 )  [  ] 3114] 
]
 
playertrans[
    153
    offer[3163 secret (78 127 ) 0.99] 
    offer[3162 secret (44 127 ) 0.99] 
    offer[3161 secret (12 127 ) 0.99] 
    offer[3160 secret (58 127 ) 0.99] 
    accept[3120] 
    solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false)  ] 3114] 
]
 
[secret revealed 3114 : (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 2.1799 for solving 0.6 of challenge 3114. acceptor: 153 offerer: 152 ]
 [acceptor paid 0.9799 for challenge 3120. acceptor: 153 offerer: 152 ]
 ]
round[14
    
playertrans[
    152
    offer[3167 secret (18 ) 1.0] 
    offer[3166 secret (92 ) 1.0] 
    offer[3165 secret (30 ) 1.0] 
    offer[3164 secret (94 ) 1.0] 
    reoffer[3088 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (88 {1} v9 v10 v11 ) (88 {1} v3 v4 v5 ) (88 {1} v8 v9 v10 ) (88 {1} v12 v13 v14 ) (88 {1} v17 v18 v19 ) (88 {1} v7 v8 v9 ) (88 {1} v3 v4 v5 ) (88 {1} v20 v21 v0 ) (88 {1} v7 v8 v9 ) (88 {1} v11 v12 v13 )  [  ] 3120] 
]
 
playertrans[
    153
    offer[3171 secret (110 127 ) 0.99] 
    offer[3170 secret (88 127 ) 0.99] 
    offer[3169 secret (42 127 ) 0.99] 
    offer[3168 secret (74 127 ) 0.99] 
    accept[3088] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false)  ] 3120] 
]
 
[secret revealed 3120 : (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.1799 for solving 0.6 of challenge 3120. acceptor: 153 offerer: 152 ]
 [acceptor paid 0.9799 for challenge 3088. acceptor: 153 offerer: 152 ]
 ]
round[15
    
playertrans[
    152
    offer[3175 secret (16 ) 1.0] 
    offer[3174 secret (62 ) 1.0] 
    offer[3173 secret (118 ) 1.0] 
    offer[3172 secret (70 ) 1.0] 
    reoffer[3098 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (102 {1} v0 v1 v2 ) (102 {1} v7 v8 v9 ) (102 {1} v16 v17 v18 ) (102 {1} v7 v8 v9 ) (102 {1} v21 v0 v1 ) (102 {1} v16 v17 v18 ) (102 {1} v12 v13 v14 ) (102 {1} v5 v6 v7 ) (102 {1} v14 v15 v16 ) (102 {1} v6 v7 v8 )  [  ] 3088] 
]
 
playertrans[
    153
    offer[3179 secret (22 127 ) 0.99] 
    offer[3178 secret (36 127 ) 0.99] 
    offer[3177 secret (30 127 ) 0.99] 
    offer[3176 secret (124 127 ) 0.99] 
    accept[3098] 
    solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false)  ] 3088] 
]
 
[secret revealed 3088 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> true) ]
 [acceptor received 2.5799000000000003 for solving 0.8 of challenge 3088. acceptor: 153 offerer: 152 ]
 [acceptor paid 0.9799 for challenge 3098. acceptor: 153 offerer: 152 ]
 ]
round[16
    /* OverTime Round: Offers/Accepts/Reoffers are ignored */

 
playertrans[
    152
    offer[3183 secret (8 ) 1.0] 
    offer[3182 secret (26 ) 1.0] 
    offer[3181 secret (116 ) 1.0] 
    offer[3180 secret (82 ) 1.0] 
    reoffer[3144 0.9799] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21  (112 {1} v8 v9 v10 ) (112 {1} v21 v0 v1 ) (112 {1} v20 v21 v0 ) (112 {1} v1 v2 v3 ) (112 {1} v7 v8 v9 ) (112 {1} v15 v16 v17 ) (112 {1} v14 v15 v16 ) (112 {1} v20 v21 v0 ) (112 {1} v14 v15 v16 ) (112 {1} v20 v21 v0 )  [  ] 3098] 
]
 
playertrans[
    153
    offer[3187 secret (62 127 ) 0.99] 
    offer[3186 secret (90 127 ) 0.99] 
    offer[3185 secret (18 127 ) 0.99] 
    offer[3184 secret (102 127 ) 0.99] 
    accept[3165] 
    solve[[ (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (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 -> true)  ] 3098] 
]
 
[secret revealed 3098 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (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 -> false) (v8 -> true) (v9 -> true) ]
 [acceptor received 2.9798999999999998 for solving 1.0 of challenge 3098. acceptor: 153 offerer: 152 ]
 ]
round[17
    /* OverTime Round: Offers/Accepts/Reoffers are ignored */

 
playertrans[
    152
    offer[3191 secret (26 ) 1.0] 
    offer[3190 secret (8 ) 1.0] 
    offer[3189 secret (12 ) 1.0] 
    offer[3188 secret (112 ) 1.0] 
    reoffer[3178 0.9799] 
]
 
playertrans[
    153
    offer[3195 secret (102 127 ) 0.99] 
    offer[3194 secret (72 127 ) 0.99] 
    offer[3193 secret (108 127 ) 0.99] 
    offer[3192 secret (34 127 ) 0.99] 
    accept[3165] 
]
 ]

**** Final Results *****
"Boston_Chargers" : 117.2 
"CaptainKarl2" : 82.8