(200 -> playerspec["Boston_Chargers" "129.10.116.124" 2010])
  (201 -> playerspec["Astro" "129.10.116.118" 2008])

round[1
    
playertrans[
    201
    offer[4083 all (94 251 ) 0.6913146853146853] 
    offer[4082 all (62 127 ) 0.6913146853146853] 
    offer[4081 all (61 137 144 ) 1.0] 
    offer[4080 secret (0 ) 1.0] 
]
 
playertrans[
    200
    offer[4085 secret (2 127 ) 0.95] 
    offer[4084 secret (4 127 ) 0.91] 
    accept[4082] 
    accept[4081] 
]
 [acceptor paid 1.0 for challenge 4081. acceptor: 200 offerer: 201 ]
 [acceptor paid 0.6913146853146853 for challenge 4082. acceptor: 200 offerer: 201 ]
 ]
round[2
    
playertrans[
    201
    offer[4089 all (94 127 ) 0.6913146853146853] 
    offer[4088 all (62 127 ) 0.6913146853146853] 
    offer[4087 all (61 137 144 ) 1.0] 
    offer[4086 secret (102 ) 1.0] 
    accept[4085] 
    accept[4084] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 v22  (137 {1} v14 v12 v9 ) (137 {1} v0 v11 v10 ) (144 {1} v11 v4 v5 ) (61 {1} v17 v2 v11 ) (144 {1} v21 v20 v14 ) (137 {1} v8 v4 v17 ) (137 {1} v17 v14 v12 ) (137 {1} v20 v9 v22 ) (137 {1} v21 v20 v15 ) (144 {1} v1 v22 v21 ) (137 {1} v3 v2 v0 ) (137 {1} v18 v21 v2 ) (144 {1} v5 v12 v6 ) (144 {1} v1 v17 v13 ) (61 {1} v5 v4 v20 ) (144 {1} v3 v17 v18 ) (137 {1} v18 v16 v2 ) (144 {1} v22 v18 v19 ) (144 {1} v7 v18 v6 ) (61 {1} v9 v10 v19 ) (61 {1} v16 v5 v7 ) (61 {1} v4 v13 v11 ) (144 {1} v3 v15 v12 ) (137 {1} v1 v19 v20 ) (61 {1} v2 v3 v21 ) (144 {1} v19 v4 v8 ) (61 {1} v0 v20 v13 ) (61 {1} v19 v13 v2 ) (137 {1} v6 v18 v16 ) (137 {1} v0 v1 v5 ) (61 {1} v20 v9 v3 ) (144 {1} v18 v14 v19 ) (144 {1} v10 v16 v18 ) (137 {1} v5 v12 v10 ) (137 {1} v19 v7 v12 ) (144 {1} v13 v7 v18 ) (144 {1} v3 v14 v21 ) (61 {1} v0 v6 v14 ) (137 {1} v18 v1 v0 ) (144 {1} v10 v9 v0 ) (144 {1} v5 v16 v0 ) (137 {1} v15 v22 v20 ) (144 {1} v4 v16 v11 ) (61 {1} v8 v7 v12 ) (137 {1} v7 v16 v8 ) (137 {1} v11 v2 v16 ) (137 {1} v7 v6 v20 ) (144 {1} v4 v17 v3 ) (61 {1} v2 v16 v14 ) (61 {1} v2 v1 v5 ) (137 {1} v16 v6 v17 ) (137 {1} v14 v11 v18 ) (144 {1} v17 v3 v14 ) (61 {1} v19 v2 v14 ) (137 {1} v2 v12 v3 ) (137 {1} v4 v8 v16 ) (137 {1} v12 v2 v19 ) (137 {1} v16 v12 v4 ) (144 {1} v4 v5 v14 ) (144 {1} v16 v12 v3 ) (137 {1} v2 v13 v3 ) (61 {1} v13 v1 v15 ) (61 {1} v12 v16 v19 ) (61 {1} v7 v12 v9 ) (137 {1} v22 v5 v19 ) (61 {1} v11 v12 v7 ) (61 {1} v19 v7 v3 ) (144 {1} v1 v19 v14 ) (61 {1} v10 v15 v2 ) (144 {1} v8 v0 v11 ) (61 {1} v19 v4 v6 ) (137 {1} v16 v7 v9 ) (144 {1} v13 v5 v15 ) (61 {1} v13 v16 v3 ) (61 {1} v12 v10 v19 ) (137 {1} v7 v6 v18 ) (144 {1} v1 v19 v16 ) (61 {1} v4 v14 v9 ) (144 {1} v16 v21 v5 ) (137 {1} v4 v8 v16 ) (144 {1} v0 v19 v16 ) (137 {1} v18 v1 v14 ) (144 {1} v16 v9 v15 ) (137 {1} v20 v6 v5 ) (137 {1} v22 v2 v3 ) (144 {1} v18 v9 v5 ) (144 {1} v19 v5 v21 ) (61 {1} v5 v10 v15 ) (144 {1} v11 v13 v6 ) (61 {1} v16 v1 v7 ) (144 {1} v5 v2 v16 ) (144 {1} v22 v6 v0 ) (61 {1} v5 v2 v6 ) (137 {1} v7 v20 v3 ) (144 {1} v3 v13 v7 ) (144 {1} v5 v22 v9 ) (144 {1} v8 v3 v15 ) (61 {1} v15 v8 v4 ) (61 {1} v19 v18 v5 ) (144 {1} v18 v6 v1 ) (144 {1} v3 v4 v14 ) (144 {1} v16 v11 v3 ) (137 {1} v19 v22 v3 ) (61 {1} v20 v0 v15 ) (61 {1} v0 v14 v13 ) (137 {1} v2 v7 v5 ) (137 {1} v13 v5 v12 ) (137 {1} v21 v17 v9 ) (137 {1} v12 v10 v13 ) (144 {1} v16 v22 v10 ) (61 {1} v3 v10 v0 ) (144 {1} v10 v4 v19 ) (137 {1} v20 v8 v0 ) (137 {1} v4 v5 v8 ) (61 {1} v16 v1 v14 ) (61 {1} v19 v5 v3 ) (144 {1} v14 v11 v9 ) (61 {1} v7 v17 v5 ) (144 {1} v14 v22 v7 ) (137 {1} v22 v18 v10 ) (137 {1} v21 v9 v20 ) (61 {1} v14 v4 v11 ) (137 {1} v2 v16 v14 ) (137 {1} v7 v4 v8 ) (61 {1} v4 v21 v17 ) (144 {1} v11 v6 v0 ) (144 {1} v3 v7 v21 ) (137 {1} v9 v1 v11 ) (144 {1} v18 v13 v14 ) (144 {1} v17 v16 v4 ) (61 {1} v15 v20 v21 ) (61 {1} v18 v2 v4 ) (137 {1} v13 v9 v5 ) (61 {1} v16 v11 v8 ) (144 {1} v16 v3 v6 ) (144 {1} v3 v11 v18 ) (137 {1} v3 v1 v19 ) (144 {1} v5 v15 v11 ) (144 {1} v8 v4 v19 ) (137 {1} v14 v5 v2 ) (61 {1} v20 v11 v2 ) (61 {1} v4 v1 v8 ) (144 {1} v11 v18 v13 ) (144 {1} v8 v1 v22 ) (144 {1} v3 v4 v2 ) (61 {1} v20 v11 v12 ) (137 {1} v7 v1 v21 ) (144 {1} v7 v12 v6 ) (137 {1} v20 v19 v1 ) (144 {1} v14 v16 v4 ) (61 {1} v20 v9 v11 ) (61 {1} v4 v1 v17 ) (137 {1} v20 v15 v1 ) (144 {1} v18 v6 v5 ) (137 {1} v11 v4 v21 ) (144 {1} v5 v8 v17 ) (137 {1} v19 v12 v2 ) (61 {1} v15 v9 v12 ) (61 {1} v13 v21 v8 ) (137 {1} v7 v3 v9 ) (61 {1} v0 v14 v10 ) (61 {1} v17 v20 v10 ) (61 {1} v8 v2 v11 ) (61 {1} v21 v2 v10 ) (137 {1} v18 v5 v14 ) (144 {1} v4 v21 v2 ) (137 {1} v16 v13 v8 ) (144 {1} v18 v20 v12 ) (137 {1} v9 v17 v18 ) (144 {1} v21 v20 v14 ) (61 {1} v4 v2 v14 ) (61 {1} v12 v8 v6 ) (61 {1} v6 v10 v0 ) (61 {1} v5 v21 v15 ) (61 {1} v13 v8 v17 ) (61 {1} v19 v22 v0 ) (61 {1} v13 v11 v1 ) (137 {1} v21 v22 v0 ) (61 {1} v10 v4 v16 ) (144 {1} v15 v0 v13 ) (137 {1} v13 v19 v21 ) (137 {1} v22 v7 v3 ) (137 {1} v0 v10 v17 ) (61 {1} v4 v18 v6 ) (61 {1} v15 v21 v19 ) (137 {1} v17 v21 v2 ) (61 {1} v17 v5 v4 ) (61 {1} v11 v0 v17 ) (137 {1} v16 v11 v5 ) (137 {1} v19 v1 v18 ) (144 {1} v14 v3 v22 ) (61 {1} v20 v12 v2 ) (61 {1} v9 v13 v10 ) (61 {1} v15 v19 v12 ) (137 {1} v6 v17 v10 ) (137 {1} v2 v17 v22 ) (61 {1} v10 v18 v13 ) (137 {1} v21 v0 v1 ) (61 {1} v5 v8 v22 ) (61 {1} v18 v13 v20 ) (137 {1} v4 v6 v18 ) (137 {1} v6 v7 v1 ) (137 {1} v3 v16 v20 ) (61 {1} v13 v4 v12 ) (144 {1} v6 v8 v14 ) (61 {1} v14 v9 v2 ) (61 {1} v2 v0 v18 ) (144 {1} v7 v11 v4 ) (144 {1} v9 v17 v20 ) (61 {1} v8 v5 v20 ) (144 {1} v4 v15 v10 ) (61 {1} v11 v0 v15 ) (144 {1} v20 v22 v14 ) (144 {1} v9 v10 v14 ) (137 {1} v19 v3 v4 ) (144 {1} v18 v19 v6 ) (144 {1} v6 v8 v20 ) (137 {1} v13 v5 v0 ) (144 {1} v6 v19 v5 ) (144 {1} v11 v14 v19 ) (61 {1} v6 v11 v3 ) (137 {1} v16 v14 v0 ) (61 {1} v10 v0 v6 ) (61 {1} v5 v9 v0 ) (137 {1} v9 v11 v5 ) (61 {1} v22 v7 v19 ) (144 {1} v14 v21 v6 ) (61 {1} v2 v18 v3 ) (61 {1} v1 v22 v16 ) (144 {1} v10 v7 v0 ) (137 {1} v14 v18 v6 ) (137 {1} v18 v1 v2 ) (144 {1} v10 v22 v7 ) (137 {1} v0 v19 v22 ) (61 {1} v17 v22 v13 ) (144 {1} v2 v1 v3 ) (61 {1} v18 v22 v1 ) (61 {1} v15 v16 v4 ) (61 {1} v4 v5 v15 ) (137 {1} v5 v10 v7 ) (61 {1} v21 v15 v11 ) (137 {1} v21 v14 v7 ) (137 {1} v19 v5 v7 ) (61 {1} v12 v18 v2 ) (61 {1} v18 v16 v17 ) (144 {1} v5 v12 v7 ) (61 {1} v5 v10 v3 ) (144 {1} v16 v14 v19 ) (144 {1} v9 v1 v10 ) (144 {1} v6 v3 v21 ) (61 {1} v6 v17 v20 ) (144 {1} v15 v17 v1 ) (61 {1} v13 v11 v22 ) (144 {1} v17 v2 v1 ) (144 {1} v19 v21 v5 ) (137 {1} v20 v16 v17 ) (144 {1} v10 v5 v3 ) (137 {1} v19 v12 v15 ) (137 {1} v17 v13 v9 ) (144 {1} v18 v2 v15 ) (144 {1} v6 v2 v7 ) (61 {1} v9 v18 v19 ) (61 {1} v10 v6 v21 ) (137 {1} v21 v22 v18 ) (61 {1} v10 v16 v17 ) (144 {1} v11 v7 v3 ) (61 {1} v14 v18 v3 ) (144 {1} v2 v13 v18 ) (144 {1} v3 v19 v4 ) (61 {1} v5 v6 v14 ) (61 {1} v20 v13 v10 ) (137 {1} v4 v6 v0 ) (137 {1} v21 v10 v7 ) (137 {1} v22 v16 v20 ) (61 {1} v12 v0 v14 ) (137 {1} v4 v14 v10 ) (144 {1} v15 v3 v13 ) (137 {1} v4 v6 v13 ) (144 {1} v14 v13 v16 ) (137 {1} v18 v1 v14 ) (61 {1} v14 v21 v1 ) (61 {1} v3 v6 v21 ) (137 {1} v9 v19 v4 ) (144 {1} v5 v11 v6 ) (137 {1} v10 v8 v20 ) (61 {1} v13 v12 v14 ) (144 {1} v13 v3 v9 ) (61 {1} v21 v15 v10 ) (144 {1} v6 v2 v19 ) (137 {1} v4 v15 v11 ) (144 {1} v14 v0 v12 ) (61 {1} v11 v7 v6 ) (144 {1} v12 v4 v6 ) (61 {1} v21 v12 v8 ) (144 {1} v10 v22 v15 ) (144 {1} v8 v15 v21 ) (144 {1} v0 v8 v1 ) (144 {1} v5 v19 v2 ) (61 {1} v4 v10 v11 ) (137 {1} v13 v4 v0 ) (61 {1} v2 v8 v7 ) (144 {1} v20 v1 v22 ) (144 {1} v1 v22 v18 ) (144 {1} v21 v11 v20 ) (61 {1} v22 v8 v3 ) (61 {1} v17 v14 v1 ) (137 {1} v12 v8 v21 ) (137 {1} v11 v12 v15 ) (61 {1} v20 v19 v10 ) (61 {1} v12 v16 v2 ) (61 {1} v13 v0 v12 ) (144 {1} v22 v18 v1 ) (137 {1} v21 v0 v3 ) (144 {1} v22 v11 v5 ) (144 {1} v19 v12 v15 ) (144 {1} v21 v19 v13 ) (144 {1} v7 v2 v1 ) (144 {1} v6 v1 v13 ) (144 {1} v6 v7 v20 ) (144 {1} v2 v11 v7 ) (61 {1} v17 v10 v2 ) (137 {1} v17 v18 v22 ) (144 {1} v1 v15 v9 ) (137 {1} v12 v6 v22 ) (61 {1} v13 v18 v0 ) (144 {1} v3 v4 v22 ) (144 {1} v4 v20 v9 ) (137 {1} v21 v4 v9 ) (61 {1} v0 v21 v16 ) (144 {1} v7 v14 v8 ) (144 {1} v20 v22 v14 ) (61 {1} v6 v21 v8 ) (61 {1} v15 v1 v18 ) (61 {1} v10 v0 v22 ) (137 {1} v12 v21 v16 ) (61 {1} v2 v19 v10 ) (144 {1} v2 v18 v22 ) (61 {1} v15 v17 v19 ) (61 {1} v10 v1 v17 ) (144 {1} v6 v19 v11 ) (61 {1} v18 v15 v11 ) (61 {1} v22 v11 v21 ) (61 {1} v14 v16 v6 ) (61 {1} v11 v20 v15 ) (61 {1} v13 v5 v2 ) (144 {1} v1 v22 v16 ) (144 {1} v16 v20 v18 ) (144 {1} v4 v3 v8 ) (144 {1} v14 v20 v18 ) (137 {1} v1 v15 v19 ) (144 {1} v8 v13 v0 ) (144 {1} v5 v11 v13 ) (61 {1} v1 v20 v11 ) (137 {1} v2 v17 v1 ) (61 {1} v1 v11 v20 ) (137 {1} v3 v17 v5 ) (61 {1} v9 v21 v16 ) (61 {1} v13 v15 v21 ) (61 {1} v14 v1 v20 ) (144 {1} v12 v9 v18 ) (144 {1} v22 v8 v10 ) (137 {1} v13 v8 v9 ) (137 {1} v20 v6 v10 ) (144 {1} v5 v17 v19 ) (61 {1} v12 v9 v15 ) (137 {1} v1 v7 v6 ) (61 {1} v17 v0 v1 ) (137 {1} v0 v14 v9 ) (61 {1} v19 v13 v4 ) (137 {1} v17 v16 v5 ) (61 {1} v0 v4 v22 ) (137 {1} v8 v17 v14 ) (144 {1} v4 v18 v5 ) (137 {1} v4 v0 v12 ) (144 {1} v21 v20 v1 ) (137 {1} v15 v12 v22 ) (137 {1} v1 v6 v10 ) (144 {1} v14 v4 v5 ) (144 {1} v4 v10 v2 ) (144 {1} v20 v11 v5 ) (137 {1} v13 v17 v20 ) (137 {1} v10 v17 v7 ) (144 {1} v18 v8 v16 ) (144 {1} v3 v2 v8 ) (61 {1} v2 v4 v12 ) (144 {1} v8 v13 v22 ) (61 {1} v3 v16 v13 ) (144 {1} v19 v0 v4 ) (137 {1} v22 v5 v14 ) (144 {1} v13 v12 v16 ) (144 {1} v16 v7 v9 ) (144 {1} v12 v20 v18 ) (137 {1} v19 v16 v12 ) (144 {1} v0 v1 v14 ) (61 {1} v0 v11 v15 ) (137 {1} v19 v8 v1 ) (144 {1} v6 v22 v10 ) (61 {1} v0 v14 v5 ) (137 {1} v20 v5 v7 ) (61 {1} v17 v22 v1 ) (137 {1} v6 v3 v12 ) (61 {1} v8 v4 v21 ) (137 {1} v13 v19 v14 ) (137 {1} v12 v8 v3 ) (137 {1} v15 v14 v5 ) (144 {1} v6 v2 v13 ) (61 {1} v16 v1 v5 ) (144 {1} v19 v16 v14 ) (137 {1} v18 v19 v12 ) (137 {1} v19 v3 v8 ) (144 {1} v21 v1 v16 ) (61 {1} v10 v16 v1 ) (61 {1} v5 v4 v15 ) (61 {1} v12 v6 v2 ) (61 {1} v20 v13 v7 ) (61 {1} v5 v22 v20 ) (144 {1} v7 v13 v10 ) (61 {1} v13 v1 v2 ) (137 {1} v20 v8 v6 ) (61 {1} v7 v22 v3 ) (137 {1} v8 v22 v20 ) (144 {1} v3 v10 v0 ) (61 {1} v21 v6 v10 ) (144 {1} v15 v3 v18 ) (137 {1} v14 v11 v13 ) (61 {1} v7 v11 v5 ) (144 {1} v19 v15 v6 ) (61 {1} v15 v22 v3 ) (144 {1} v2 v4 v1 ) (144 {1} v3 v4 v8 ) (144 {1} v4 v22 v12 ) (61 {1} v3 v19 v21 ) (144 {1} v17 v19 v14 ) (61 {1} v10 v18 v22 ) (61 {1} v7 v22 v21 ) (137 {1} v20 v17 v14 ) (61 {1} v17 v7 v10 ) (137 {1} v19 v16 v2 ) (137 {1} v2 v21 v10 ) (144 {1} v2 v6 v14 ) (144 {1} v20 v3 v18 ) (137 {1} v13 v2 v4 ) (61 {1} v21 v10 v9 ) (137 {1} v12 v21 v8 ) (61 {1} v16 v14 v8 ) (137 {1} v10 v16 v17 ) (137 {1} v0 v15 v12 ) (144 {1} v13 v11 v9 ) (144 {1} v20 v14 v1 ) (61 {1} v20 v22 v9 ) (61 {1} v1 v13 v22 ) (144 {1} v20 v5 v2 ) (137 {1} v16 v11 v8 ) (137 {1} v12 v11 v14 ) (61 {1} v17 v0 v3 ) (144 {1} v13 v22 v6 ) (144 {1} v14 v12 v0 ) (144 {1} v6 v14 v4 ) (61 {1} v2 v15 v21 ) (137 {1} v19 v8 v12 ) (144 {1} v8 v7 v2 ) (144 {1} v20 v22 v9 ) (144 {1} v2 v12 v17 ) (61 {1} v22 v2 v17 ) (144 {1} v15 v6 v22 ) (144 {1} v3 v2 v21 ) (137 {1} v22 v5 v6 ) (137 {1} v12 v8 v3 ) (61 {1} v9 v1 v7 ) (144 {1} v14 v2 v11 ) (137 {1} v9 v12 v19 ) (61 {1} v0 v21 v3 ) (137 {1} v17 v3 v19 ) (137 {1} v4 v8 v22 ) (144 {1} v13 v1 v3 ) (61 {1} v21 v8 v22 ) (61 {1} v6 v13 v12 ) (144 {1} v11 v14 v6 ) (137 {1} v17 v7 v22 ) (137 {1} v10 v18 v7 ) (137 {1} v1 v6 v18 ) (137 {1} v5 v14 v19 ) (144 {1} v5 v15 v8 ) (137 {1} v15 v16 v22 ) (137 {1} v15 v5 v17 ) (137 {1} v19 v2 v12 ) (61 {1} v6 v9 v22 ) (137 {1} v19 v16 v13 ) (61 {1} v10 v16 v13 ) (61 {1} v19 v17 v12 ) (144 {1} v5 v15 v0 ) (61 {1} v21 v1 v18 ) (61 {1} v19 v15 v22 ) (137 {1} v12 v8 v21 ) (137 {1} v13 v15 v4 ) (61 {1} v12 v9 v11 ) (137 {1} v11 v18 v1 ) (61 {1} v4 v5 v22 ) (61 {1} v10 v19 v3 ) (144 {1} v1 v11 v15 ) (144 {1} v11 v1 v14 ) (137 {1} v5 v4 v7 ) (61 {1} v21 v17 v16 ) (137 {1} v1 v8 v5 ) (144 {1} v9 v20 v16 ) (137 {1} v22 v8 v1 ) (137 {1} v19 v18 v22 ) (61 {1} v7 v22 v8 ) (137 {1} v18 v14 v11 ) (144 {1} v2 v1 v0 ) (144 {1} v6 v3 v17 ) (144 {1} v13 v1 v16 ) (144 {1} v15 v4 v21 ) (144 {1} v19 v1 v5 ) (144 {1} v8 v18 v4 ) (144 {1} v9 v14 v1 ) (144 {1} v7 v10 v20 ) (61 {1} v21 v1 v4 ) (144 {1} v10 v21 v13 ) (61 {1} v20 v2 v22 ) (144 {1} v15 v19 v13 ) (137 {1} v3 v12 v21 ) (144 {1} v21 v6 v7 ) (137 {1} v18 v12 v3 ) (61 {1} v15 v10 v14 ) (137 {1} v21 v10 v17 ) (144 {1} v20 v22 v14 ) (61 {1} v16 v4 v17 ) (61 {1} v4 v18 v2 ) (137 {1} v22 v0 v19 ) (144 {1} v19 v20 v1 ) (144 {1} v19 v9 v7 ) (137 {1} v20 v11 v4 ) (61 {1} v14 v4 v22 ) (144 {1} v4 v22 v13 ) (61 {1} v13 v19 v12 ) (137 {1} v12 v4 v18 ) (137 {1} v13 v0 v19 ) (61 {1} v18 v20 v1 ) (144 {1} v15 v21 v18 ) (137 {1} v17 v20 v13 ) (137 {1} v7 v8 v10 ) (144 {1} v15 v17 v14 ) (137 {1} v19 v2 v22 ) (137 {1} v7 v9 v4 ) (137 {1} v0 v17 v21 ) (61 {1} v13 v14 v15 ) (61 {1} v6 v12 v15 ) (137 {1} v21 v5 v1 ) (144 {1} v4 v6 v18 ) (144 {1} v3 v4 v10 ) (144 {1} v19 v22 v10 ) (137 {1} v15 v4 v6 ) (144 {1} v16 v22 v7 ) (144 {1} v22 v5 v13 ) (61 {1} v22 v12 v19 ) (61 {1} v19 v11 v1 ) (144 {1} v16 v14 v15 ) (137 {1} v2 v5 v15 ) (144 {1} v7 v10 v11 ) (144 {1} v10 v16 v3 ) (144 {1} v21 v10 v0 ) (137 {1} v7 v8 v21 ) (137 {1} v15 v3 v11 ) (61 {1} v13 v17 v0 ) (144 {1} v18 v21 v7 ) (144 {1} v18 v6 v7 ) (137 {1} v3 v16 v8 ) (137 {1} v2 v6 v3 ) (144 {1} v6 v2 v7 ) (61 {1} v15 v4 v12 ) (137 {1} v2 v10 v18 ) (137 {1} v13 v14 v20 ) (61 {1} v11 v12 v19 ) (61 {1} v10 v6 v17 ) (144 {1} v21 v4 v16 ) (137 {1} v17 v6 v19 ) (137 {1} v22 v17 v0 ) (137 {1} v21 v10 v19 ) (137 {1} v1 v5 v14 ) (61 {1} v3 v8 v4 ) (144 {1} v4 v0 v9 ) (137 {1} v18 v4 v22 ) (61 {1} v11 v0 v21 ) (61 {1} v14 v6 v12 ) (137 {1} v16 v11 v20 ) (144 {1} v1 v12 v6 ) (137 {1} v2 v17 v16 ) (144 {1} v8 v6 v2 ) (144 {1} v21 v6 v5 ) (144 {1} v1 v2 v9 ) (137 {1} v14 v8 v15 ) (144 {1} v17 v2 v22 ) (144 {1} v5 v7 v13 ) (144 {1} v8 v0 v18 ) (144 {1} v11 v10 v0 ) (144 {1} v7 v22 v15 ) (144 {1} v5 v20 v22 ) (61 {1} v15 v3 v13 ) (137 {1} v14 v7 v2 ) (61 {1} v20 v2 v5 ) (137 {1} v8 v17 v2 ) (144 {1} v11 v18 v22 ) (61 {1} v18 v16 v6 ) (61 {1} v7 v4 v13 ) (144 {1} v1 v13 v17 ) (144 {1} v10 v9 v6 ) (137 {1} v13 v21 v11 ) (137 {1} v11 v19 v18 ) (61 {1} v7 v14 v1 ) (144 {1} v1 v20 v2 ) (137 {1} v18 v19 v17 ) (137 {1} v22 v15 v1 ) (137 {1} v8 v19 v20 ) (137 {1} v2 v16 v19 ) (137 {1} v16 v12 v9 ) (144 {1} v22 v0 v10 ) (144 {1} v13 v3 v14 ) (61 {1} v9 v12 v6 ) (144 {1} v0 v20 v4 ) (144 {1} v16 v7 v13 ) (144 {1} v0 v3 v7 ) (137 {1} v19 v7 v8 ) (137 {1} v6 v13 v20 ) (61 {1} v12 v16 v10 ) (61 {1} v16 v7 v19 ) (61 {1} v13 v11 v2 ) (137 {1} v15 v3 v7 ) (137 {1} v5 v8 v1 ) (144 {1} v18 v21 v17 ) (137 {1} v17 v4 v0 ) (137 {1} v11 v8 v21 ) (137 {1} v5 v15 v22 ) (144 {1} v20 v15 v6 ) (61 {1} v10 v2 v18 ) (61 {1} v7 v21 v4 ) (61 {1} v3 v6 v13 ) (137 {1} v13 v1 v21 ) (61 {1} v15 v21 v2 ) (137 {1} v16 v6 v21 ) (61 {1} v2 v0 v18 ) (137 {1} v15 v4 v7 ) (137 {1} v12 v14 v18 ) (144 {1} v1 v9 v14 ) (137 {1} v8 v5 v0 ) (144 {1} v8 v12 v11 ) (137 {1} v8 v20 v16 ) (144 {1} v1 v8 v20 ) (61 {1} v2 v19 v3 ) (144 {1} v10 v4 v21 ) (144 {1} v21 v0 v20 ) (137 {1} v10 v17 v8 ) (137 {1} v11 v1 v18 ) (144 {1} v6 v8 v15 ) (137 {1} v14 v0 v7 ) (61 {1} v0 v1 v9 ) (137 {1} v5 v9 v18 ) (61 {1} v16 v12 v20 ) (144 {1} v21 v17 v9 ) (144 {1} v19 v10 v2 ) (144 {1} v6 v3 v0 ) (144 {1} v6 v2 v16 ) (144 {1} v12 v8 v18 ) (144 {1} v4 v18 v15 ) (144 {1} v1 v4 v0 ) (144 {1} v18 v20 v3 ) (144 {1} v19 v4 v17 ) (137 {1} v2 v4 v10 ) (144 {1} v5 v3 v13 ) (61 {1} v5 v14 v7 ) (144 {1} v20 v22 v14 ) (61 {1} v4 v19 v20 ) (137 {1} v6 v17 v21 ) (61 {1} v21 v1 v11 ) (137 {1} v9 v2 v3 ) (61 {1} v16 v21 v0 ) (137 {1} v1 v4 v8 ) (144 {1} v8 v4 v2 ) (144 {1} v10 v3 v11 ) (137 {1} v22 v17 v11 ) (61 {1} v15 v13 v2 ) (137 {1} v21 v15 v20 ) (137 {1} v15 v21 v0 ) (61 {1} v21 v8 v10 ) (61 {1} v21 v16 v10 ) (61 {1} v22 v15 v18 ) (137 {1} v16 v20 v9 ) (144 {1} v12 v6 v1 ) (144 {1} v5 v7 v14 ) (137 {1} v2 v19 v21 ) (144 {1} v19 v12 v14 ) (61 {1} v3 v5 v15 ) (137 {1} v3 v17 v20 ) (144 {1} v4 v6 v15 ) (137 {1} v11 v3 v12 ) (137 {1} v1 v4 v0 ) (137 {1} v0 v21 v14 ) (137 {1} v21 v17 v9 ) (144 {1} v16 v12 v22 ) (61 {1} v22 v10 v15 ) (61 {1} v19 v0 v16 ) (61 {1} v1 v17 v4 ) (137 {1} v20 v18 v1 ) (137 {1} v1 v6 v17 ) (137 {1} v3 v8 v0 ) (137 {1} v3 v9 v17 ) (61 {1} v21 v2 v3 ) (144 {1} v19 v12 v7 ) (61 {1} v12 v20 v16 ) (137 {1} v0 v5 v6 ) (137 {1} v4 v18 v19 ) (61 {1} v6 v4 v21 ) (144 {1} v6 v7 v12 ) (61 {1} v10 v11 v8 ) (144 {1} v7 v6 v21 ) (61 {1} v3 v5 v7 ) (137 {1} v9 v22 v4 ) (61 {1} v3 v8 v1 ) (137 {1} v13 v9 v3 ) (137 {1} v11 v6 v15 ) (137 {1} v18 v17 v13 ) (137 {1} v9 v16 v1 ) (61 {1} v11 v16 v10 ) (61 {1} v13 v12 v14 ) (61 {1} v1 v11 v4 ) (137 {1} v18 v2 v12 ) (144 {1} v14 v10 v19 ) (137 {1} v4 v21 v14 ) (144 {1} v19 v20 v12 ) (61 {1} v10 v2 v9 ) (144 {1} v12 v20 v4 ) (61 {1} v20 v10 v19 ) (144 {1} v21 v2 v18 ) (61 {1} v12 v13 v11 ) (61 {1} v13 v3 v14 ) (61 {1} v21 v12 v7 ) (137 {1} v12 v22 v11 ) (137 {1} v14 v13 v5 ) (144 {1} v0 v14 v6 ) (61 {1} v18 v16 v9 ) (61 {1} v14 v8 v22 ) (144 {1} v14 v13 v12 ) (61 {1} v16 v20 v21 ) (137 {1} v0 v8 v19 ) (61 {1} v13 v2 v7 ) (137 {1} v12 v21 v10 ) (137 {1} v12 v1 v19 ) (144 {1} v0 v8 v17 ) (61 {1} v13 v22 v19 ) (137 {1} v13 v9 v11 ) (137 {1} v21 v3 v4 ) (144 {1} v14 v2 v22 ) (144 {1} v0 v11 v15 ) (137 {1} v1 v6 v21 ) (61 {1} v7 v8 v15 ) (61 {1} v12 v6 v4 ) (144 {1} v1 v5 v16 ) (137 {1} v17 v15 v21 ) (144 {1} v9 v4 v8 ) (144 {1} v13 v16 v17 ) (137 {1} v19 v22 v15 ) (144 {1} v1 v13 v4 ) (144 {1} v19 v7 v18 ) (61 {1} v5 v21 v22 ) (137 {1} v21 v14 v19 ) (137 {1} v9 v4 v15 ) (144 {1} v16 v4 v0 ) (137 {1} v1 v3 v10 ) (144 {1} v11 v20 v1 ) (144 {1} v3 v14 v15 ) (61 {1} v3 v10 v14 ) (137 {1} v18 v14 v7 ) (144 {1} v11 v9 v6 ) (137 {1} v3 v13 v22 ) (144 {1} v8 v9 v19 ) (137 {1} v14 v12 v19 ) (144 {1} v19 v8 v1 ) (61 {1} v13 v7 v5 ) (61 {1} v12 v11 v20 ) (144 {1} v1 v18 v4 ) (137 {1} v0 v17 v7 ) (61 {1} v18 v10 v1 ) (144 {1} v11 v9 v21 ) (144 {1} v20 v14 v0 ) (137 {1} v12 v3 v6 ) (144 {1} v1 v11 v18 ) (144 {1} v0 v17 v8 ) (137 {1} v7 v21 v18 ) (61 {1} v13 v22 v16 ) (144 {1} v18 v12 v16 ) (144 {1} v6 v3 v22 ) (61 {1} v21 v2 v0 ) (61 {1} v4 v17 v7 ) (144 {1} v11 v10 v4 ) (61 {1} v6 v16 v11 ) (61 {1} v4 v2 v22 ) (144 {1} v13 v7 v3 ) (144 {1} v18 v9 v0 ) (137 {1} v22 v13 v8 ) (144 {1} v10 v22 v20 ) (144 {1} v1 v0 v12 ) (137 {1} v14 v1 v22 ) (137 {1} v22 v20 v14 ) (137 {1} v1 v8 v10 ) (137 {1} v8 v1 v17 ) (61 {1} v6 v14 v22 ) (61 {1} v7 v16 v20 ) (144 {1} v18 v1 v21 ) (144 {1} v9 v15 v5 ) (144 {1} v19 v18 v22 ) (61 {1} v3 v21 v17 ) (61 {1} v1 v22 v14 ) (137 {1} v8 v3 v16 ) (61 {1} v11 v20 v0 ) (144 {1} v12 v0 v11 ) (144 {1} v2 v16 v22 ) (137 {1} v21 v18 v7 ) (61 {1} v10 v1 v15 ) (61 {1} v8 v21 v10 ) (137 {1} v10 v6 v8 ) (61 {1} v19 v12 v9 ) (137 {1} v22 v19 v13 ) (137 {1} v2 v9 v17 ) (137 {1} v12 v22 v15 ) (137 {1} v10 v20 v5 ) (61 {1} v18 v4 v11 ) (61 {1} v22 v17 v4 ) (137 {1} v20 v14 v0 ) (144 {1} v16 v8 v15 ) (144 {1} v8 v7 v17 ) (137 {1} v21 v3 v2 ) (144 {1} v13 v16 v5 ) (144 {1} v14 v1 v17 ) (61 {1} v19 v5 v13 ) (144 {1} v9 v22 v13 ) (61 {1} v10 v16 v4 ) (137 {1} v13 v0 v10 ) (137 {1} v17 v15 v1 ) (144 {1} v19 v11 v2 ) (144 {1} v11 v5 v19 ) (137 {1} v20 v3 v13 ) (137 {1} v15 v20 v4 ) (137 {1} v1 v13 v5 ) (137 {1} v3 v6 v7 ) (137 {1} v14 v15 v10 ) (144 {1} v2 v1 v17 ) (144 {1} v14 v16 v12 ) (61 {1} v13 v2 v7 ) (137 {1} v9 v10 v15 ) (137 {1} v4 v13 v10 ) (61 {1} v7 v22 v21 ) (137 {1} v10 v15 v6 ) (144 {1} v10 v4 v11 ) (137 {1} v0 v16 v17 ) (61 {1} v4 v16 v1 ) (144 {1} v11 v19 v22 ) (61 {1} v10 v14 v15 ) (61 {1} v9 v0 v20 ) (144 {1} v21 v1 v20 ) (137 {1} v7 v0 v1 ) (144 {1} v8 v17 v9 ) (137 {1} v22 v13 v12 ) (144 {1} v0 v18 v17 ) (61 {1} v22 v12 v10 ) (137 {1} v13 v6 v15 ) (61 {1} v22 v12 v10 ) (61 {1} v17 v14 v11 ) (144 {1} v14 v4 v16 ) (144 {1} v5 v22 v16 ) (137 {1} v16 v5 v9 ) (137 {1} v8 v7 v15 ) (144 {1} v6 v9 v17 ) (137 {1} v2 v11 v19 ) (144 {1} v6 v13 v10 ) (137 {1} v11 v0 v13 ) (137 {1} v8 v4 v11 ) (144 {1} v5 v8 v20 ) (144 {1} v7 v6 v8 ) (61 {1} v3 v8 v22 ) (144 {1} v20 v5 v15 ) (144 {1} v20 v21 v6 ) (144 {1} v21 v20 v2 ) (61 {1} v7 v8 v10 ) (61 {1} v2 v1 v11 ) (144 {1} v15 v17 v11 ) (144 {1} v9 v15 v6 ) (144 {1} v3 v4 v19 ) (137 {1} v14 v19 v11 ) (61 {1} v12 v19 v13 ) (144 {1} v9 v3 v11 ) (61 {1} v3 v1 v8 ) (137 {1} v10 v9 v2 ) (61 {1} v2 v16 v18 ) (61 {1} v2 v19 v3 ) (144 {1} v10 v6 v5 ) (61 {1} v14 v21 v17 ) (137 {1} v22 v13 v4 ) (137 {1} v13 v16 v17 ) (61 {1} v13 v4 v21 ) (61 {1} v8 v13 v20 ) (144 {1} v14 v17 v18 ) (144 {1} v22 v13 v4 ) (137 {1} v20 v8 v1 ) (144 {1} v9 v7 v17 ) (61 {1} v10 v5 v0 ) (137 {1} v18 v0 v12 ) (144 {1} v12 v22 v10 ) (137 {1} v6 v10 v5 ) (137 {1} v20 v8 v2 ) (137 {1} v19 v10 v14 ) (61 {1} v21 v9 v16 ) (144 {1} v10 v14 v3 ) (144 {1} v6 v20 v10 ) (137 {1} v19 v15 v20 ) (144 {1} v19 v11 v2 ) (137 {1} v0 v2 v15 ) (61 {1} v16 v0 v10 ) (137 {1} v16 v0 v15 ) (137 {1} v1 v12 v10 ) (137 {1} v7 v19 v5 ) (144 {1} v15 v13 v9 ) (61 {1} v12 v8 v6 ) (137 {1} v4 v22 v6 ) (144 {1} v4 v3 v1 ) (61 {1} v2 v11 v9 ) (61 {1} v4 v20 v14 ) (137 {1} v9 v16 v12 ) (137 {1} v2 v16 v17 ) (61 {1} v1 v0 v2 ) (144 {1} v15 v8 v20 ) (144 {1} v13 v2 v9 ) (61 {1} v19 v18 v16 ) (137 {1} v21 v9 v2 ) (61 {1} v8 v14 v3 ) (61 {1} v17 v13 v2 ) (137 {1} v7 v16 v18 ) (61 {1} v11 v15 v3 ) (61 {1} v22 v12 v4 ) (137 {1} v10 v11 v20 ) (144 {1} v16 v15 v14 ) (137 {1} v1 v12 v17 ) (144 {1} v4 v16 v22 ) (144 {1} v21 v7 v14 ) (137 {1} v1 v11 v2 ) (61 {1} v14 v22 v16 ) (61 {1} v1 v18 v13 ) (61 {1} v14 v17 v16 ) (61 {1} v6 v5 v12 ) (137 {1} v2 v17 v4 ) (137 {1} v5 v20 v18 ) (61 {1} v9 v20 v21 ) (144 {1} v13 v7 v11 ) (61 {1} v5 v13 v3 ) (137 {1} v16 v17 v21 ) (144 {1} v16 v14 v12 ) (61 {1} v9 v15 v8 ) (144 {1} v11 v0 v19 ) (61 {1} v15 v17 v22 ) (137 {1} v13 v15 v14 ) (137 {1} v19 v5 v14 ) (137 {1} v19 v22 v8 ) (61 {1} v3 v21 v22 ) (144 {1} v17 v8 v19 ) (137 {1} v22 v21 v9 ) (61 {1} v22 v0 v21 ) (137 {1} v6 v14 v8 ) (144 {1} v4 v9 v12 ) (61 {1} v21 v19 v2 ) (144 {1} v22 v7 v13 ) (144 {1} v12 v16 v18 ) (61 {1} v0 v10 v3 ) (61 {1} v12 v16 v21 ) (144 {1} v21 v2 v8 ) (137 {1} v7 v22 v9 ) (144 {1} v0 v12 v9 ) (144 {1} v14 v4 v10 ) (137 {1} v16 v4 v15 ) (61 {1} v1 v13 v14 ) (137 {1} v6 v15 v22 ) (144 {1} v19 v20 v22 ) (137 {1} v20 v2 v10 ) (61 {1} v17 v18 v19 ) (144 {1} v4 v11 v15 ) (137 {1} v22 v3 v7 ) (137 {1} v21 v12 v4 ) (137 {1} v19 v3 v7 ) (61 {1} v13 v19 v20 ) (137 {1} v1 v22 v17 ) (61 {1} v14 v16 v3 ) (137 {1} v14 v0 v2 ) (137 {1} v14 v10 v16 ) (137 {1} v14 v5 v8 ) (137 {1} v21 v5 v10 ) (144 {1} v19 v4 v20 ) (144 {1} v22 v5 v11 ) (61 {1} v7 v10 v11 ) (144 {1} v22 v21 v17 ) (137 {1} v10 v12 v5 ) (137 {1} v19 v6 v8 ) (61 {1} v18 v14 v22 ) (144 {1} v20 v16 v3 ) (137 {1} v22 v1 v17 ) (144 {1} v14 v0 v16 ) (137 {1} v13 v4 v19 ) (61 {1} v4 v8 v1 ) (137 {1} v10 v20 v9 ) (144 {1} v2 v3 v16 ) (61 {1} v9 v2 v15 ) (144 {1} v22 v0 v4 ) (137 {1} v21 v2 v15 ) (137 {1} v18 v8 v19 ) (137 {1} v0 v9 v15 ) (137 {1} v10 v0 v1 ) (137 {1} v15 v2 v1 ) (144 {1} v21 v5 v4 ) (137 {1} v5 v16 v18 ) (144 {1} v21 v11 v8 ) (137 {1} v4 v10 v7 ) (61 {1} v12 v5 v7 ) (144 {1} v2 v10 v16 ) (61 {1} v5 v2 v13 ) (61 {1} v16 v11 v17 ) (144 {1} v22 v19 v13 ) (144 {1} v13 v22 v16 ) (137 {1} v17 v5 v19 ) (137 {1} v10 v1 v7 ) (61 {1} v13 v3 v5 ) (144 {1} v21 v10 v20 ) (61 {1} v5 v2 v19 ) (137 {1} v20 v16 v17 ) (61 {1} v4 v15 v6 ) (144 {1} v17 v14 v7 ) (144 {1} v18 v10 v22 ) (144 {1} v1 v2 v14 ) (137 {1} v16 v10 v20 ) (144 {1} v2 v6 v8 ) (137 {1} v1 v16 v5 ) (137 {1} v7 v2 v18 ) (137 {1} v20 v6 v3 ) (137 {1} v7 v8 v18 ) (144 {1} v2 v1 v6 ) (144 {1} v5 v9 v14 ) (144 {1} v4 v7 v6 ) (61 {1} v7 v9 v1 ) (61 {1} v21 v9 v18 ) (137 {1} v21 v20 v2 ) (144 {1} v21 v3 v15 ) (137 {1} v12 v21 v6 ) (137 {1} v15 v16 v12 ) (61 {1} v22 v19 v14 ) (137 {1} v16 v15 v6 ) (144 {1} v5 v9 v12 ) (144 {1} v3 v17 v5 ) (144 {1} v14 v18 v22 ) (144 {1} v13 v16 v8 ) (144 {1} v7 v2 v20 ) (137 {1} v4 v3 v11 ) (137 {1} v13 v15 v6 ) (137 {1} v8 v16 v13 ) (144 {1} v16 v22 v10 ) (137 {1} v7 v2 v12 ) (137 {1} v22 v19 v6 ) (61 {1} v7 v10 v17 ) (137 {1} v7 v11 v12 ) (61 {1} v2 v22 v4 ) (144 {1} v16 v4 v19 ) (61 {1} v9 v3 v20 ) (144 {1} v2 v8 v9 ) (61 {1} v8 v9 v13 ) (144 {1} v7 v20 v2 ) (137 {1} v12 v2 v22 ) (61 {1} v4 v11 v1 ) (144 {1} v5 v9 v7 ) (61 {1} v4 v19 v0 ) (137 {1} v0 v19 v20 ) (144 {1} v21 v10 v16 ) (61 {1} v5 v22 v20 ) (61 {1} v13 v3 v14 ) (137 {1} v4 v13 v12 ) (61 {1} v17 v22 v0 ) (144 {1} v21 v20 v8 ) (61 {1} v7 v12 v1 ) (144 {1} v12 v18 v5 ) (137 {1} v13 v10 v0 ) (61 {1} v22 v5 v14 ) (144 {1} v22 v0 v17 ) (61 {1} v3 v2 v14 ) (144 {1} v17 v18 v15 ) (137 {1} v3 v8 v6 ) (61 {1} v4 v20 v17 ) (137 {1} v21 v1 v11 ) (137 {1} v22 v3 v19 ) (61 {1} v3 v10 v9 ) (137 {1} v10 v19 v15 ) (137 {1} v2 v19 v16 ) (61 {1} v8 v5 v13 ) (144 {1} v22 v7 v11 ) (137 {1} v7 v6 v13 ) (61 {1} v16 v9 v15 ) (144 {1} v6 v0 v5 ) (137 {1} v11 v6 v13 ) (137 {1} v12 v10 v6 ) (61 {1} v8 v22 v1 ) (144 {1} v15 v13 v14 ) (137 {1} v2 v13 v18 ) (137 {1} v15 v19 v21 ) (61 {1} v20 v13 v16 ) (144 {1} v6 v22 v10 ) (137 {1} v11 v16 v14 ) (61 {1} v21 v17 v14 ) (144 {1} v18 v14 v4 ) (61 {1} v21 v17 v10 ) (61 {1} v1 v8 v11 ) (144 {1} v3 v8 v6 ) (144 {1} v19 v12 v17 ) (137 {1} v16 v9 v10 ) (137 {1} v18 v19 v8 ) (61 {1} v20 v8 v4 ) (137 {1} v1 v11 v7 ) (144 {1} v19 v10 v8 ) (61 {1} v15 v17 v5 ) (137 {1} v0 v17 v19 ) (137 {1} v19 v3 v7 ) (137 {1} v11 v16 v21 ) (137 {1} v14 v11 v17 ) (61 {1} v11 v2 v20 ) (61 {1} v4 v6 v8 ) (61 {1} v16 v19 v18 ) (61 {1} v12 v14 v1 ) (61 {1} v13 v20 v1 ) (137 {1} v12 v1 v3 ) (137 {1} v9 v20 v21 ) (144 {1} v19 v22 v14 ) (137 {1} v22 v0 v3 ) (144 {1} v16 v9 v13 ) (137 {1} v17 v8 v22 ) (144 {1} v17 v6 v19 ) (137 {1} v6 v17 v14 ) (144 {1} v0 v8 v13 ) (137 {1} v20 v17 v8 ) (61 {1} v10 v8 v9 ) (61 {1} v8 v7 v22 ) (144 {1} v3 v10 v21 ) (144 {1} v19 v5 v11 ) (137 {1} v3 v10 v17 ) (61 {1} v15 v5 v22 ) (137 {1} v14 v2 v11 ) (61 {1} v0 v9 v6 ) (144 {1} v5 v16 v18 ) (137 {1} v10 v3 v13 ) (61 {1} v4 v1 v10 ) (144 {1} v2 v19 v11 ) (144 {1} v6 v19 v1 ) (61 {1} v14 v22 v17 ) (137 {1} v19 v17 v9 ) (144 {1} v21 v8 v15 ) (61 {1} v3 v20 v0 ) (137 {1} v0 v12 v1 ) (144 {1} v20 v10 v12 ) (144 {1} v0 v11 v5 ) (144 {1} v12 v0 v1 ) (144 {1} v19 v12 v4 ) (61 {1} v13 v18 v8 ) (144 {1} v10 v21 v12 ) (137 {1} v14 v19 v9 ) (144 {1} v18 v2 v1 ) (137 {1} v19 v4 v6 ) (144 {1} v22 v16 v20 ) (137 {1} v14 v5 v18 ) (144 {1} v22 v18 v6 ) (61 {1} v22 v3 v11 ) (61 {1} v10 v22 v6 ) (144 {1} v13 v18 v21 ) (144 {1} v4 v17 v6 ) (61 {1} v13 v9 v20 ) (61 {1} v12 v8 v1 ) (137 {1} v7 v14 v8 ) (144 {1} v16 v18 v8 ) (61 {1} v7 v14 v10 ) (144 {1} v22 v20 v4 ) (144 {1} v10 v4 v18 ) (61 {1} v17 v21 v13 ) (144 {1} v10 v6 v18 ) (137 {1} v6 v17 v19 ) (144 {1} v3 v8 v21 ) (137 {1} v0 v7 v6 ) (61 {1} v2 v5 v17 ) (61 {1} v22 v18 v8 ) (144 {1} v19 v12 v4 ) (61 {1} v11 v12 v8 ) (144 {1} v6 v0 v11 ) (144 {1} v17 v15 v22 ) (137 {1} v9 v15 v21 ) (61 {1} v16 v19 v22 ) (137 {1} v10 v18 v8 ) (61 {1} v11 v20 v14 ) (144 {1} v7 v11 v2 ) (137 {1} v13 v15 v14 ) (137 {1} v20 v4 v6 ) (61 {1} v14 v11 v7 ) (137 {1} v8 v0 v12 ) (137 {1} v17 v20 v14 ) (61 {1} v2 v6 v13 ) (137 {1} v18 v13 v0 ) (137 {1} v22 v9 v0 ) (61 {1} v22 v0 v4 ) (61 {1} v21 v4 v16 ) (61 {1} v7 v4 v1 ) (137 {1} v9 v21 v17 ) (137 {1} v2 v0 v14 ) (137 {1} v8 v2 v7 ) (137 {1} v17 v18 v2 ) (144 {1} v0 v3 v10 ) (61 {1} v8 v16 v9 ) (61 {1} v0 v13 v11 ) (137 {1} v10 v16 v7 ) (137 {1} v20 v1 v13 ) (137 {1} v20 v17 v7 ) (144 {1} v4 v1 v2 ) (144 {1} v4 v8 v9 ) (144 {1} v1 v15 v3 ) (61 {1} v8 v2 v4 ) (144 {1} v2 v11 v3 ) (137 {1} v8 v13 v5 ) (137 {1} v15 v22 v8 ) (137 {1} v6 v15 v5 ) (144 {1} v16 v8 v4 ) (61 {1} v20 v22 v7 ) (144 {1} v21 v1 v15 ) (61 {1} v18 v20 v15 ) (144 {1} v0 v13 v11 ) (144 {1} v2 v20 v15 ) (61 {1} v1 v7 v0 ) (61 {1} v0 v4 v13 ) (137 {1} v2 v16 v14 ) (144 {1} v17 v11 v2 ) (61 {1} v11 v2 v4 ) (144 {1} v20 v16 v0 ) (144 {1} v22 v11 v7 ) (137 {1} v4 v1 v11 ) (61 {1} v4 v11 v5 ) (144 {1} v10 v6 v8 ) (61 {1} v16 v22 v14 ) (144 {1} v6 v17 v3 ) (144 {1} v20 v0 v9 ) (144 {1} v2 v5 v1 ) (144 {1} v5 v3 v11 ) (144 {1} v0 v12 v3 ) (144 {1} v9 v4 v14 ) (144 {1} v13 v11 v21 ) (137 {1} v4 v1 v21 ) (61 {1} v20 v18 v7 ) (137 {1} v19 v18 v17 ) (137 {1} v15 v17 v20 ) (137 {1} v5 v2 v9 ) (61 {1} v6 v19 v10 ) (144 {1} v1 v21 v10 ) (144 {1} v17 v14 v18 ) (144 {1} v8 v19 v21 ) (137 {1} v18 v13 v3 ) (144 {1} v20 v17 v8 ) (61 {1} v11 v8 v14 ) (61 {1} v12 v10 v3 ) (61 {1} v15 v12 v4 ) (144 {1} v22 v17 v14 ) (144 {1} v9 v21 v7 ) (61 {1} v17 v7 v4 ) (61 {1} v4 v17 v5 ) (61 {1} v6 v10 v7 ) (144 {1} v11 v16 v7 ) (137 {1} v20 v3 v14 ) (61 {1} v8 v20 v7 ) (137 {1} v18 v11 v21 ) (144 {1} v3 v8 v11 ) (61 {1} v13 v8 v22 ) (61 {1} v5 v18 v16 ) (144 {1} v19 v3 v20 ) (61 {1} v7 v17 v21 ) (144 {1} v21 v0 v1 ) (61 {1} v1 v9 v20 ) (144 {1} v10 v15 v14 ) (144 {1} v15 v9 v10 ) (137 {1} v3 v4 v22 ) (61 {1} v22 v20 v3 ) (61 {1} v15 v21 v17 ) (61 {1} v9 v15 v13 ) (61 {1} v3 v5 v13 ) (144 {1} v4 v15 v2 ) (144 {1} v13 v1 v9 ) (61 {1} v8 v2 v7 ) (144 {1} v22 v16 v21 ) (137 {1} v15 v18 v20 ) (144 {1} v5 v19 v11 ) (61 {1} v7 v10 v5 ) (137 {1} v9 v7 v10 ) (144 {1} v19 v6 v3 ) (144 {1} v6 v22 v7 ) (144 {1} v11 v0 v5 ) (137 {1} v8 v11 v21 ) (137 {1} v11 v19 v0 ) (137 {1} v9 v12 v17 ) (137 {1} v7 v19 v3 ) (137 {1} v1 v15 v10 ) (137 {1} v11 v14 v6 ) (144 {1} v19 v3 v10 ) (144 {1} v11 v21 v3 ) (137 {1} v7 v20 v22 ) (137 {1} v22 v16 v10 ) (137 {1} v9 v3 v21 ) (144 {1} v11 v8 v7 ) (144 {1} v8 v1 v21 ) (61 {1} v8 v22 v21 ) (137 {1} v2 v12 v17 ) (144 {1} v2 v1 v21 ) (137 {1} v22 v0 v10 ) (137 {1} v2 v20 v0 ) (61 {1} v18 v22 v2 ) (144 {1} v1 v18 v11 ) (144 {1} v11 v13 v6 ) (61 {1} v9 v12 v0 ) (61 {1} v8 v16 v21 ) (144 {1} v17 v8 v11 ) (144 {1} v15 v18 v1 ) (144 {1} v17 v9 v20 ) (144 {1} v16 v4 v17 ) (61 {1} v17 v14 v18 ) (61 {1} v3 v19 v6 ) (137 {1} v2 v17 v14 ) (137 {1} v17 v11 v18 ) (61 {1} v12 v10 v7 ) (144 {1} v12 v1 v8 ) (61 {1} v16 v1 v22 ) (144 {1} v20 v4 v16 ) (144 {1} v17 v15 v14 ) (144 {1} v10 v6 v17 ) (144 {1} v8 v16 v7 ) (144 {1} v4 v16 v14 ) (137 {1} v21 v7 v4 ) (137 {1} v15 v14 v5 ) (137 {1} v8 v0 v2 ) (137 {1} v2 v3 v4 ) (144 {1} v0 v1 v8 ) (137 {1} v18 v9 v11 ) (137 {1} v10 v16 v20 ) (61 {1} v16 v8 v11 ) (137 {1} v11 v19 v10 ) (61 {1} v0 v17 v18 ) (61 {1} v1 v5 v8 ) (144 {1} v4 v11 v21 ) (61 {1} v11 v22 v4 ) (137 {1} v0 v8 v16 ) (61 {1} v20 v15 v10 ) (144 {1} v22 v18 v2 ) (137 {1} v14 v2 v19 ) (61 {1} v17 v10 v2 ) (61 {1} v5 v16 v20 ) (61 {1} v14 v18 v2 ) (137 {1} v13 v17 v20 ) (61 {1} v10 v12 v3 ) (144 {1} v13 v5 v2 ) (61 {1} v14 v22 v11 ) (144 {1} v15 v5 v10 ) (137 {1} v12 v9 v16 ) (144 {1} v1 v6 v17 ) (137 {1} v13 v15 v18 ) (61 {1} v0 v5 v19 ) (137 {1} v20 v0 v18 ) (137 {1} v16 v17 v11 ) (144 {1} v20 v18 v22 ) (137 {1} v16 v12 v17 ) (137 {1} v22 v6 v15 ) (61 {1} v14 v18 v19 ) (144 {1} v16 v21 v22 ) (144 {1} v22 v6 v19 ) (61 {1} v16 v7 v21 ) (137 {1} v13 v15 v19 ) (144 {1} v6 v17 v16 ) (61 {1} v6 v17 v11 ) (144 {1} v13 v18 v22 ) (144 {1} v10 v16 v7 ) (61 {1} v14 v17 v10 ) (144 {1} v21 v9 v19 ) (144 {1} v3 v12 v14 ) (61 {1} v4 v8 v6 ) (144 {1} v10 v2 v5 ) (61 {1} v5 v4 v8 ) (137 {1} v4 v22 v10 ) (137 {1} v17 v8 v0 ) (61 {1} v13 v14 v19 ) (144 {1} v19 v15 v4 ) (144 {1} v11 v5 v8 ) (137 {1} v15 v6 v18 ) (137 {1} v3 v14 v7 ) (137 {1} v19 v14 v6 ) (144 {1} v16 v2 v18 ) (137 {1} v4 v14 v0 ) (144 {1} v7 v4 v3 ) (61 {1} v19 v20 v8 ) (144 {1} v11 v7 v1 ) (144 {1} v19 v17 v3 ) (61 {1} v11 v3 v22 ) (137 {1} v10 v11 v13 ) (61 {1} v17 v12 v9 ) (61 {1} v6 v13 v0 ) (144 {1} v14 v16 v4 ) (144 {1} v4 v20 v0 ) (144 {1} v20 v6 v10 ) (137 {1} v19 v14 v16 ) (137 {1} v20 v1 v7 ) (61 {1} v16 v2 v10 ) (61 {1} v6 v5 v13 ) (144 {1} v0 v8 v10 ) (144 {1} v21 v20 v3 ) (144 {1} v9 v11 v15 ) (137 {1} v19 v20 v21 ) (61 {1} v21 v18 v20 ) (137 {1} v6 v4 v20 ) (144 {1} v6 v9 v17 ) (61 {1} v2 v5 v3 ) (137 {1} v7 v3 v4 ) (144 {1} v4 v9 v20 ) (61 {1} v8 v9 v15 ) (61 {1} v3 v6 v11 ) (144 {1} v9 v13 v21 ) (61 {1} v17 v10 v7 ) (61 {1} v21 v12 v8 ) (61 {1} v17 v0 v5 ) (61 {1} v6 v22 v5 ) (61 {1} v0 v5 v16 ) (137 {1} v7 v2 v22 ) (137 {1} v22 v5 v10 ) (137 {1} v3 v13 v0 ) (61 {1} v0 v18 v3 ) (61 {1} v0 v22 v4 ) (137 {1} v17 v1 v5 ) (61 {1} v16 v7 v18 ) (137 {1} v5 v11 v10 ) (137 {1} v10 v16 v5 ) (144 {1} v8 v22 v0 ) (144 {1} v14 v17 v18 ) (137 {1} v9 v15 v12 ) (137 {1} v4 v13 v7 ) (137 {1} v14 v15 v21 ) (137 {1} v8 v12 v14 ) (61 {1} v7 v6 v10 ) (137 {1} v0 v4 v18 ) (137 {1} v18 v10 v15 ) (61 {1} v18 v5 v11 ) (137 {1} v19 v8 v7 ) (61 {1} v7 v18 v1 ) (61 {1} v12 v15 v10 ) (144 {1} v19 v11 v21 ) (137 {1} v4 v1 v8 ) (137 {1} v13 v16 v9 ) (61 {1} v0 v19 v11 ) (144 {1} v10 v5 v8 ) (137 {1} v14 v8 v6 ) (61 {1} v10 v20 v11 ) (137 {1} v11 v17 v3 ) (61 {1} v5 v7 v10 ) (61 {1} v18 v12 v14 ) (137 {1} v15 v9 v14 ) (137 {1} v4 v18 v9 ) (137 {1} v15 v12 v8 ) (137 {1} v13 v14 v0 ) (144 {1} v15 v9 v11 ) (137 {1} v5 v21 v1 ) (61 {1} v6 v17 v7 ) (61 {1} v4 v1 v22 ) (137 {1} v2 v6 v8 ) (144 {1} v22 v8 v15 ) (144 {1} v10 v7 v18 ) (137 {1} v7 v15 v10 ) (61 {1} v11 v16 v18 ) (61 {1} v22 v4 v7 ) (137 {1} v0 v11 v6 ) (137 {1} v17 v12 v7 ) (61 {1} v2 v1 v0 ) (61 {1} v22 v7 v14 ) (61 {1} v10 v9 v1 ) (61 {1} v20 v16 v8 ) (61 {1} v4 v7 v3 ) (137 {1} v7 v19 v9 ) (61 {1} v1 v6 v3 ) (137 {1} v1 v2 v11 ) (61 {1} v9 v5 v1 ) (61 {1} v1 v20 v6 ) (137 {1} v6 v9 v4 ) (144 {1} v6 v19 v15 ) (61 {1} v11 v5 v4 ) (137 {1} v12 v3 v22 ) (144 {1} v13 v8 v14 ) (137 {1} v17 v12 v0 ) (137 {1} v7 v9 v19 ) (144 {1} v7 v17 v11 ) (61 {1} v11 v2 v1 ) (144 {1} v2 v13 v19 ) (137 {1} v0 v19 v6 ) (61 {1} v16 v9 v20 ) (144 {1} v2 v17 v4 )   4081] 
    provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 v22  (62 {1} v7 v2 v4 ) (62 {1} v11 v5 v8 ) (62 {1} v7 v2 v3 ) (62 {1} v7 v9 v6 ) (62 {1} v7 v2 v1 ) (62 {1} v7 v8 v0 ) (62 {1} v7 v2 v0 ) (62 {1} v7 v1 v12 ) (62 {1} v12 v11 v5 ) (62 {1} v10 v3 v8 ) (62 {1} v7 v1 v11 ) (62 {1} v7 v1 v10 ) (62 {1} v7 v12 v5 ) (62 {1} v11 v2 v12 ) (62 {1} v7 v1 v9 ) (62 {1} v9 v3 v2 ) (62 {1} v7 v1 v8 ) (62 {1} v7 v1 v6 ) (62 {1} v12 v8 v0 ) (62 {1} v8 v7 v1 ) (62 {1} v7 v1 v5 ) (62 {1} v9 v10 v8 ) (62 {1} v11 v2 v4 ) (62 {1} v7 v1 v4 ) (62 {1} v12 v0 v10 ) (62 {1} v11 v1 v5 ) (62 {1} v7 v1 v3 ) (62 {1} v7 v1 v2 ) (62 {1} v11 v12 v6 ) (62 {1} v7 v1 v0 ) (62 {1} v7 v0 v12 ) (62 {1} v7 v0 v11 ) (62 {1} v7 v0 v10 ) (62 {1} v12 v9 v1 ) (62 {1} v7 v0 v9 ) (62 {1} v7 v0 v8 ) (62 {1} v7 v0 v6 ) (62 {1} v7 v0 v5 ) (62 {1} v11 v1 v6 ) (62 {1} v7 v0 v4 ) (62 {1} v9 v11 v7 ) (62 {1} v7 v0 v3 ) (62 {1} v7 v0 v2 ) (62 {1} v7 v0 v1 ) (62 {1} v8 v10 v6 ) (62 {1} v8 v9 v6 ) (62 {1} v6 v12 v11 ) (62 {1} v8 v12 v4 ) (62 {1} v6 v12 v10 ) (62 {1} v9 v7 v2 ) (62 {1} v6 v12 v9 ) (62 {1} v6 v12 v8 ) (62 {1} v11 v3 v12 ) (62 {1} v10 v0 v9 ) (62 {1} v6 v12 v7 ) (62 {1} v6 v12 v5 ) (62 {1} v6 v12 v4 ) (62 {1} v12 v1 v3 ) (62 {1} v11 v2 v10 ) (62 {1} v6 v12 v3 ) (62 {1} v6 v12 v2 ) (62 {1} v11 v0 v12 ) (62 {1} v7 v8 v6 ) (62 {1} v8 v9 v12 ) (62 {1} v10 v7 v1 ) (62 {1} v12 v5 v8 ) (62 {1} v11 v8 v5 ) (62 {1} v6 v12 v1 ) (62 {1} v6 v12 v0 ) (62 {1} v6 v11 v12 ) (62 {1} v8 v1 v7 ) (62 {1} v8 v6 v0 ) (62 {1} v6 v11 v10 ) (62 {1} v6 v11 v9 ) (62 {1} v6 v11 v8 ) (62 {1} v8 v11 v0 ) (62 {1} v6 v11 v7 ) (62 {1} v6 v11 v5 ) (62 {1} v11 v10 v5 ) (62 {1} v6 v11 v4 ) (62 {1} v7 v9 v3 ) (62 {1} v6 v11 v3 ) (62 {1} v6 v11 v2 ) (62 {1} v6 v11 v1 ) (62 {1} v6 v11 v0 ) (62 {1} v6 v10 v12 ) (62 {1} v6 v10 v11 ) (62 {1} v6 v10 v9 ) (62 {1} v11 v5 v4 ) (62 {1} v9 v6 v1 ) (62 {1} v10 v4 v8 ) (62 {1} v6 v10 v8 ) (62 {1} v8 v9 v2 ) (62 {1} v6 v10 v7 ) (62 {1} v11 v5 v0 ) (62 {1} v6 v10 v5 ) (62 {1} v6 v10 v4 ) (62 {1} v7 v11 v8 ) (62 {1} v10 v4 v6 ) (62 {1} v8 v2 v10 ) (62 {1} v6 v10 v3 ) (62 {1} v7 v11 v4 ) (62 {1} v8 v5 v2 ) (62 {1} v6 v10 v2 ) (62 {1} v6 v10 v1 ) (62 {1} v12 v9 v8 ) (62 {1} v6 v10 v0 ) (62 {1} v6 v9 v12 ) (62 {1} v11 v12 v3 ) (62 {1} v6 v9 v11 ) (62 {1} v11 v2 v9 ) (62 {1} v10 v1 v7 ) (62 {1} v6 v9 v10 ) (62 {1} v11 v3 v4 ) (62 {1} v9 v11 v10 ) (62 {1} v6 v9 v8 ) (62 {1} v6 v9 v7 ) (62 {1} v7 v4 v0 ) (62 {1} v6 v9 v5 ) (62 {1} v6 v9 v4 ) (62 {1} v6 v9 v3 ) (62 {1} v7 v6 v0 ) (62 {1} v6 v9 v2 ) (62 {1} v6 v9 v1 ) (62 {1} v6 v9 v0 ) (62 {1} v6 v8 v12 ) (62 {1} v8 v6 v10 ) (62 {1} v6 v8 v11 ) (62 {1} v6 v8 v10 ) (62 {1} v11 v0 v4 ) (62 {1} v6 v8 v9 ) (62 {1} v6 v8 v7 ) (62 {1} v6 v8 v5 ) (62 {1} v6 v8 v4 ) (62 {1} v6 v8 v3 ) (62 {1} v9 v7 v5 ) (62 {1} v12 v1 v6 ) (62 {1} v9 v12 v11 ) (62 {1} v6 v8 v2 ) (62 {1} v6 v8 v1 ) (62 {1} v6 v8 v0 ) (62 {1} v7 v10 v5 ) (62 {1} v8 v12 v0 ) (62 {1} v6 v7 v12 ) (62 {1} v6 v7 v11 ) (62 {1} v6 v7 v10 ) (62 {1} v6 v7 v9 ) (62 {1} v6 v7 v8 ) (62 {1} v6 v7 v5 ) (62 {1} v6 v7 v4 ) (62 {1} v6 v7 v3 ) (62 {1} v11 v4 v0 ) (62 {1} v6 v7 v2 ) (62 {1} v12 v0 v4 ) (62 {1} v6 v7 v1 ) (62 {1} v6 v7 v0 ) (62 {1} v6 v5 v12 ) (62 {1} v6 v5 v11 ) (62 {1} v6 v5 v10 ) (62 {1} v12 v2 v4 ) (62 {1} v10 v2 v12 ) (62 {1} v8 v7 v6 ) (62 {1} v11 v5 v12 ) (62 {1} v7 v6 v9 ) (62 {1} v12 v6 v9 ) (62 {1} v6 v5 v9 ) (62 {1} v10 v5 v1 ) (62 {1} v6 v5 v8 ) (62 {1} v6 v5 v7 ) (62 {1} v6 v5 v4 ) (62 {1} v6 v5 v3 ) (62 {1} v6 v5 v2 ) (62 {1} v10 v0 v3 ) (62 {1} v8 v12 v2 ) (62 {1} v6 v5 v1 ) (62 {1} v8 v4 v2 ) (62 {1} v9 v2 v3 ) (62 {1} v6 v5 v0 ) (62 {1} v7 v8 v12 ) (62 {1} v8 v4 v6 ) (62 {1} v12 v3 v5 ) (62 {1} v6 v4 v12 ) (62 {1} v8 v2 v5 ) (62 {1} v9 v11 v4 ) (62 {1} v6 v4 v11 ) (62 {1} v6 v4 v10 ) (62 {1} v10 v0 v5 ) (62 {1} v6 v4 v9 ) (62 {1} v8 v9 v4 ) (62 {1} v12 v0 v2 ) (62 {1} v8 v10 v12 ) (62 {1} v11 v7 v8 ) (62 {1} v9 v6 v0 ) (62 {1} v11 v2 v3 ) (62 {1} v8 v10 v4 ) (62 {1} v11 v12 v2 ) (62 {1} v7 v8 v5 ) (62 {1} v6 v4 v8 ) (62 {1} v6 v4 v7 ) (62 {1} v6 v4 v5 ) (62 {1} v6 v4 v3 ) (62 {1} v6 v4 v2 ) (62 {1} v9 v12 v7 ) (62 {1} v6 v4 v1 ) (62 {1} v6 v4 v0 ) (62 {1} v6 v3 v12 ) (62 {1} v9 v3 v12 ) (62 {1} v10 v7 v8 ) (62 {1} v6 v3 v11 ) (62 {1} v9 v10 v11 ) (62 {1} v6 v3 v10 ) (62 {1} v10 v9 v5 ) (62 {1} v6 v3 v9 ) (62 {1} v6 v3 v8 ) (62 {1} v6 v3 v7 ) (62 {1} v6 v3 v5 ) (62 {1} v6 v3 v4 ) (62 {1} v6 v3 v2 ) (62 {1} v7 v5 v0 ) (62 {1} v10 v4 v1 ) (62 {1} v6 v3 v1 ) (62 {1} v6 v3 v0 ) (62 {1} v9 v2 v4 ) (62 {1} v7 v12 v10 ) (62 {1} v6 v2 v12 ) (62 {1} v11 v9 v5 ) (62 {1} v11 v7 v0 ) (62 {1} v6 v2 v11 ) (62 {1} v6 v2 v10 ) (62 {1} v8 v5 v12 ) (62 {1} v12 v5 v4 ) (62 {1} v6 v2 v9 ) (62 {1} v6 v2 v8 ) (62 {1} v6 v2 v7 ) (62 {1} v6 v2 v5 ) (62 {1} v10 v11 v2 ) (62 {1} v6 v2 v4 ) (62 {1} v6 v2 v3 ) (62 {1} v6 v2 v1 ) (62 {1} v11 v4 v1 ) (62 {1} v6 v2 v0 ) (62 {1} v6 v1 v12 ) (62 {1} v6 v1 v11 ) (62 {1} v8 v5 v7 ) (62 {1} v10 v11 v4 ) (62 {1} v6 v1 v10 ) (62 {1} v6 v1 v9 ) (62 {1} v11 v6 v10 ) (62 {1} v8 v7 v10 ) (62 {1} v10 v8 v4 ) (62 {1} v10 v6 v2 ) (62 {1} v6 v1 v8 ) (62 {1} v9 v1 v5 ) (62 {1} v9 v5 v6 ) (62 {1} v6 v1 v7 ) (62 {1} v6 v1 v5 ) (62 {1} v8 v12 v3 ) (62 {1} v6 v1 v4 ) (62 {1} v6 v1 v3 ) (62 {1} v6 v1 v2 ) (62 {1} v8 v3 v9 ) (62 {1} v6 v1 v0 ) (62 {1} v6 v0 v12 ) (62 {1} v6 v0 v11 ) (62 {1} v6 v0 v10 ) (62 {1} v6 v0 v9 ) (62 {1} v7 v3 v5 ) (62 {1} v6 v0 v8 ) (62 {1} v6 v0 v7 ) (62 {1} v6 v0 v5 ) (62 {1} v6 v0 v4 ) (62 {1} v9 v0 v5 ) (62 {1} v6 v0 v3 ) (62 {1} v6 v0 v2 ) (62 {1} v8 v5 v10 ) (62 {1} v6 v0 v1 ) (62 {1} v5 v12 v11 ) (62 {1} v5 v12 v10 ) (62 {1} v11 v10 v12 ) (62 {1} v7 v8 v11 ) (62 {1} v10 v9 v8 ) (62 {1} v7 v12 v1 ) (62 {1} v5 v12 v9 ) (62 {1} v9 v4 v11 ) (62 {1} v9 v11 v6 ) (62 {1} v5 v12 v8 ) (62 {1} v7 v6 v3 ) (62 {1} v8 v11 v4 ) (62 {1} v5 v12 v7 ) (62 {1} v5 v12 v6 ) (62 {1} v10 v12 v7 ) (62 {1} v12 v8 v11 ) (62 {1} v5 v12 v4 ) (62 {1} v9 v6 v8 ) (62 {1} v10 v6 v9 ) (62 {1} v5 v12 v3 ) (62 {1} v5 v12 v2 ) (62 {1} v10 v12 v8 ) (62 {1} v5 v12 v1 ) (62 {1} v8 v7 v12 ) (62 {1} v9 v8 v10 ) (62 {1} v12 v6 v10 ) (62 {1} v8 v0 v6 ) (62 {1} v5 v12 v0 ) (62 {1} v5 v11 v12 ) (62 {1} v5 v11 v10 ) (62 {1} v5 v11 v9 ) (62 {1} v10 v2 v6 ) (62 {1} v8 v11 v2 ) (62 {1} v5 v11 v8 ) (62 {1} v12 v8 v9 ) (62 {1} v5 v11 v7 ) (62 {1} v9 v5 v4 ) (62 {1} v10 v0 v6 ) (62 {1} v5 v11 v6 ) (62 {1} v12 v10 v9 ) (62 {1} v10 v2 v11 ) (62 {1} v5 v11 v4 ) (62 {1} v5 v11 v3 ) (62 {1} v5 v11 v2 ) (62 {1} v5 v11 v1 ) (62 {1} v5 v11 v0 ) (62 {1} v7 v12 v3 ) (62 {1} v5 v10 v12 ) (62 {1} v7 v3 v0 ) (62 {1} v5 v10 v11 ) (62 {1} v12 v0 v1 ) (62 {1} v10 v9 v7 ) (62 {1} v9 v10 v5 ) (62 {1} v5 v10 v9 ) (62 {1} v12 v1 v8 ) (62 {1} v5 v10 v8 ) (62 {1} v5 v10 v7 ) (62 {1} v10 v2 v9 ) (62 {1} v9 v0 v8 ) (62 {1} v12 v3 v1 ) (62 {1} v5 v10 v6 ) (62 {1} v12 v7 v8 ) (62 {1} v8 v11 v1 ) (62 {1} v11 v12 v5 ) (62 {1} v5 v10 v4 ) (62 {1} v5 v10 v3 ) (62 {1} v5 v10 v2 ) (62 {1} v5 v10 v1 ) (62 {1} v7 v2 v5 ) (62 {1} v5 v10 v0 ) (62 {1} v5 v9 v12 ) (62 {1} v7 v12 v8 ) (62 {1} v5 v9 v11 ) (62 {1} v5 v9 v10 ) (62 {1} v5 v9 v8 ) (62 {1} v5 v9 v7 ) (62 {1} v7 v10 v9 ) (62 {1} v11 v1 v12 ) (62 {1} v9 v3 v6 ) (62 {1} v5 v9 v6 ) (62 {1} v5 v9 v4 ) (62 {1} v5 v9 v3 ) (62 {1} v10 v0 v7 ) (62 {1} v5 v9 v2 ) (62 {1} v5 v9 v1 ) (62 {1} v11 v9 v8 ) (62 {1} v5 v9 v0 ) (62 {1} v9 v7 v3 ) (62 {1} v5 v8 v12 ) (62 {1} v7 v9 v5 ) (62 {1} v8 v4 v1 ) (62 {1} v5 v8 v11 ) (62 {1} v8 v10 v1 ) (62 {1} v5 v8 v10 ) (62 {1} v5 v8 v9 ) (62 {1} v5 v8 v7 ) (62 {1} v10 v5 v3 ) (62 {1} v5 v8 v6 ) (62 {1} v9 v5 v2 ) (62 {1} v8 v2 v1 ) (62 {1} v5 v8 v4 ) (62 {1} v9 v0 v7 ) (62 {1} v7 v4 v2 ) (62 {1} v5 v8 v3 ) (62 {1} v8 v2 v3 ) (62 {1} v8 v12 v10 ) (62 {1} v7 v6 v1 ) (62 {1} v10 v8 v7 ) (62 {1} v7 v3 v9 ) (62 {1} v12 v4 v11 ) (62 {1} v5 v8 v2 ) (62 {1} v11 v7 v10 ) (62 {1} v5 v8 v1 ) (62 {1} v9 v5 v1 ) (62 {1} v8 v5 v1 ) (62 {1} v5 v8 v0 ) (62 {1} v5 v7 v12 ) (62 {1} v5 v7 v11 ) (62 {1} v10 v8 v5 ) (62 {1} v7 v5 v1 ) (62 {1} v8 v10 v9 ) (62 {1} v10 v5 v4 ) (62 {1} v5 v7 v10 ) (62 {1} v11 v1 v2 ) (62 {1} v8 v3 v6 ) (62 {1} v5 v7 v9 ) (62 {1} v9 v2 v11 ) (62 {1} v5 v7 v8 ) (62 {1} v7 v10 v2 ) (62 {1} v9 v6 v7 ) (62 {1} v8 v1 v0 ) (62 {1} v5 v7 v6 ) (62 {1} v5 v7 v4 ) (62 {1} v5 v7 v3 ) (62 {1} v8 v0 v9 ) (62 {1} v5 v7 v2 ) (62 {1} v10 v9 v1 ) (62 {1} v8 v0 v12 ) (62 {1} v5 v7 v1 ) (62 {1} v7 v2 v9 ) (62 {1} v5 v7 v0 ) (62 {1} v5 v6 v12 ) (62 {1} v7 v3 v11 ) (62 {1} v5 v6 v11 ) (62 {1} v5 v6 v10 ) (62 {1} v5 v6 v9 ) (62 {1} v10 v11 v9 ) (62 {1} v5 v6 v8 ) (62 {1} v9 v7 v10 ) (62 {1} v5 v6 v7 ) (62 {1} v7 v12 v11 ) (62 {1} v11 v3 v8 ) (62 {1} v5 v6 v4 ) (62 {1} v11 v5 v7 ) (62 {1} v5 v6 v3 ) (62 {1} v5 v6 v2 ) (62 {1} v5 v6 v1 ) (62 {1} v9 v5 v12 ) (62 {1} v5 v6 v0 ) (62 {1} v10 v4 v11 ) (62 {1} v10 v12 v3 ) (62 {1} v5 v4 v12 ) (62 {1} v5 v4 v11 ) (62 {1} v5 v4 v10 ) (62 {1} v11 v5 v1 ) (62 {1} v5 v4 v9 ) (62 {1} v5 v4 v8 ) (62 {1} v8 v12 v11 ) (62 {1} v12 v4 v8 ) (62 {1} v5 v4 v7 ) (62 {1} v8 v6 v3 ) (62 {1} v9 v0 v10 ) (62 {1} v12 v7 v0 ) (62 {1} v5 v4 v6 ) (62 {1} v9 v6 v11 ) (62 {1} v5 v4 v3 ) (62 {1} v5 v4 v2 ) (62 {1} v8 v5 v0 ) (62 {1} v5 v4 v1 ) (62 {1} v5 v4 v0 ) (62 {1} v5 v3 v12 ) (62 {1} v5 v3 v11 ) (62 {1} v12 v8 v4 ) (62 {1} v5 v3 v10 ) (62 {1} v7 v4 v6 ) (62 {1} v5 v3 v9 ) (62 {1} v5 v3 v8 ) (62 {1} v5 v3 v7 ) (62 {1} v5 v3 v6 ) (62 {1} v5 v3 v4 ) (62 {1} v12 v1 v5 ) (62 {1} v5 v3 v2 ) (62 {1} v12 v11 v0 ) (62 {1} v8 v4 v7 ) (62 {1} v5 v3 v1 ) (62 {1} v9 v5 v8 ) (62 {1} v5 v3 v0 ) (62 {1} v5 v2 v12 ) (62 {1} v12 v6 v5 ) (62 {1} v7 v2 v10 ) (62 {1} v5 v2 v11 ) (62 {1} v5 v2 v10 ) (62 {1} v7 v4 v5 ) (62 {1} v7 v6 v5 ) (62 {1} v9 v11 v0 ) (62 {1} v11 v6 v4 ) (62 {1} v5 v2 v9 ) (62 {1} v8 v9 v0 ) (62 {1} v8 v0 v11 ) (62 {1} v5 v2 v8 ) (62 {1} v5 v2 v7 ) (62 {1} v9 v10 v1 ) (62 {1} v9 v12 v5 ) (62 {1} v5 v2 v6 ) (62 {1} v5 v2 v4 ) (62 {1} v10 v7 v6 ) (62 {1} v5 v2 v3 ) (62 {1} v10 v11 v0 ) (62 {1} v5 v2 v1 ) (62 {1} v5 v2 v0 ) (62 {1} v5 v1 v12 ) (62 {1} v5 v1 v11 ) (62 {1} v8 v3 v4 ) (62 {1} v5 v1 v10 ) (62 {1} v5 v1 v9 ) (62 {1} v5 v1 v8 ) (62 {1} v5 v1 v7 ) (62 {1} v10 v7 v9 ) (62 {1} v5 v1 v6 ) (62 {1} v10 v1 v12 ) (62 {1} v5 v1 v4 ) (62 {1} v7 v2 v8 ) (62 {1} v5 v1 v3 ) (62 {1} v5 v1 v2 ) (62 {1} v10 v6 v3 ) (62 {1} v5 v1 v0 ) (62 {1} v5 v0 v12 ) (62 {1} v5 v0 v11 ) (62 {1} v5 v0 v10 ) (62 {1} v12 v5 v0 ) (62 {1} v5 v0 v9 ) (62 {1} v11 v7 v12 ) (62 {1} v5 v0 v8 ) (62 {1} v9 v4 v7 ) (62 {1} v9 v2 v7 ) (62 {1} v5 v0 v7 ) (62 {1} v7 v12 v6 ) (62 {1} v5 v0 v6 ) (62 {1} v8 v3 v11 ) (62 {1} v5 v0 v4 ) (62 {1} v5 v0 v3 ) (62 {1} v10 v7 v3 ) (62 {1} v10 v0 v8 ) (62 {1} v5 v0 v2 ) (62 {1} v5 v0 v1 ) (62 {1} v4 v12 v11 ) (62 {1} v8 v7 v3 ) (62 {1} v12 v7 v6 ) (62 {1} v4 v12 v10 ) (62 {1} v12 v11 v9 ) (62 {1} v9 v12 v3 ) (62 {1} v9 v8 v7 ) (62 {1} v4 v12 v9 ) (62 {1} v4 v12 v8 ) (62 {1} v12 v11 v3 ) (62 {1} v4 v12 v7 ) (62 {1} v7 v10 v0 ) (62 {1} v9 v4 v10 ) (62 {1} v8 v7 v11 ) (62 {1} v4 v12 v6 ) (62 {1} v4 v12 v5 ) (62 {1} v8 v1 v9 ) (62 {1} v4 v12 v3 ) (62 {1} v4 v12 v2 ) (62 {1} v4 v12 v1 ) (62 {1} v12 v10 v4 ) (62 {1} v4 v12 v0 ) (62 {1} v7 v5 v2 ) (62 {1} v4 v11 v12 ) (62 {1} v11 v8 v9 ) (62 {1} v4 v11 v10 ) (62 {1} v10 v3 v2 ) (62 {1} v4 v11 v9 ) (62 {1} v10 v0 v11 ) (62 {1} v8 v9 v11 ) (62 {1} v4 v11 v8 ) (62 {1} v4 v11 v7 ) (62 {1} v4 v11 v6 ) (62 {1} v7 v5 v10 ) (62 {1} v4 v11 v5 ) (62 {1} v12 v7 v2 ) (62 {1} v8 v0 v5 ) (62 {1} v4 v11 v3 ) (62 {1} v4 v11 v2 ) (62 {1} v4 v11 v1 ) (62 {1} v4 v11 v0 ) (62 {1} v11 v4 v10 ) (62 {1} v4 v10 v12 ) (62 {1} v4 v10 v11 ) (62 {1} v8 v6 v11 ) (62 {1} v12 v8 v2 ) (62 {1} v4 v10 v9 ) (62 {1} v7 v9 v1 ) (62 {1} v4 v10 v8 ) (62 {1} v8 v2 v12 ) (62 {1} v4 v10 v7 ) (62 {1} v11 v6 v12 ) (62 {1} v8 v2 v7 ) (62 {1} v4 v10 v6 ) (62 {1} v4 v10 v5 ) (62 {1} v9 v6 v4 ) (62 {1} v9 v3 v11 ) (62 {1} v4 v10 v3 ) (62 {1} v4 v10 v2 ) (62 {1} v10 v1 v4 ) (62 {1} v4 v10 v1 ) (62 {1} v4 v10 v0 ) (62 {1} v4 v9 v12 ) (62 {1} v10 v12 v5 ) (62 {1} v12 v5 v1 ) (62 {1} v10 v6 v11 ) (62 {1} v10 v7 v11 ) (62 {1} v9 v5 v3 ) (62 {1} v7 v4 v1 ) (62 {1} v9 v2 v6 ) (62 {1} v9 v8 v5 ) (62 {1} v4 v9 v11 ) (62 {1} v4 v9 v10 ) (62 {1} v4 v9 v8 ) (62 {1} v9 v11 v5 ) (62 {1} v11 v10 v8 ) (62 {1} v4 v9 v7 ) (62 {1} v9 v4 v5 ) (62 {1} v4 v9 v6 ) (62 {1} v12 v4 v0 ) (62 {1} v4 v9 v5 ) (62 {1} v4 v9 v3 ) (62 {1} v4 v9 v2 ) (62 {1} v4 v9 v1 ) (62 {1} v12 v6 v8 ) (62 {1} v4 v9 v0 ) (62 {1} v11 v4 v3 ) (62 {1} v9 v6 v2 ) (62 {1} v11 v4 v5 ) (62 {1} v4 v8 v12 ) (62 {1} v8 v4 v12 ) (62 {1} v4 v8 v11 ) (62 {1} v11 v0 v9 ) (62 {1} v4 v8 v10 ) (62 {1} v8 v11 v6 ) (62 {1} v11 v6 v7 ) (62 {1} v12 v4 v1 ) (62 {1} v4 v8 v9 ) (62 {1} v4 v8 v7 ) (62 {1} v4 v8 v6 ) (62 {1} v10 v5 v6 ) (62 {1} v4 v8 v5 ) (62 {1} v12 v7 v11 ) (62 {1} v10 v4 v0 ) (62 {1} v8 v5 v3 ) (62 {1} v12 v2 v1 ) (62 {1} v9 v10 v3 ) (62 {1} v9 v1 v10 ) (62 {1} v12 v9 v0 ) (62 {1} v10 v11 v6 ) (62 {1} v4 v8 v3 ) (62 {1} v7 v2 v6 ) (62 {1} v4 v8 v2 ) (62 {1} v4 v8 v1 ) (62 {1} v7 v11 v0 ) (62 {1} v4 v8 v0 ) (62 {1} v4 v7 v12 ) (62 {1} v8 v1 v10 ) (62 {1} v12 v8 v7 ) (62 {1} v4 v7 v11 ) (62 {1} v4 v7 v10 ) (62 {1} v4 v7 v9 ) (62 {1} v4 v7 v8 ) (62 {1} v4 v7 v6 ) (62 {1} v11 v7 v9 ) (62 {1} v4 v7 v5 ) (62 {1} v4 v7 v3 ) (62 {1} v4 v7 v2 ) (62 {1} v8 v7 v4 ) (62 {1} v4 v7 v1 ) (62 {1} v4 v7 v0 ) (62 {1} v9 v10 v0 ) (62 {1} v7 v6 v2 ) (62 {1} v11 v6 v8 ) (62 {1} v4 v6 v12 ) (62 {1} v8 v9 v10 ) (62 {1} v4 v6 v11 ) (62 {1} v4 v6 v10 ) (62 {1} v4 v6 v9 ) (62 {1} v4 v6 v8 ) (62 {1} v11 v12 v9 ) (62 {1} v12 v2 v3 ) (62 {1} v12 v2 v7 ) (62 {1} v4 v6 v7 ) (62 {1} v4 v6 v5 ) (62 {1} v4 v6 v3 ) (62 {1} v12 v4 v5 ) (62 {1} v11 v9 v3 ) (62 {1} v4 v6 v2 ) (62 {1} v4 v6 v1 ) (62 {1} v4 v6 v0 ) (62 {1} v4 v5 v12 ) (62 {1} v4 v5 v11 ) (62 {1} v4 v5 v10 ) (62 {1} v4 v5 v9 ) (62 {1} v9 v7 v11 ) (62 {1} v11 v6 v9 ) (62 {1} v10 v0 v2 ) (62 {1} v7 v11 v6 ) (62 {1} v4 v5 v8 ) (62 {1} v4 v5 v7 ) (62 {1} v7 v3 v8 ) (62 {1} v9 v5 v11 ) (62 {1} v9 v12 v0 ) (62 {1} v11 v8 v10 ) (62 {1} v12 v9 v6 ) (62 {1} v4 v5 v6 ) (62 {1} v4 v5 v3 ) (62 {1} v4 v5 v2 ) (62 {1} v4 v5 v1 ) (62 {1} v4 v5 v0 ) (62 {1} v4 v3 v12 ) (62 {1} v9 v1 v6 ) (62 {1} v7 v4 v12 ) (62 {1} v4 v3 v11 ) (62 {1} v4 v3 v10 ) (62 {1} v8 v3 v10 ) (62 {1} v10 v7 v5 ) (62 {1} v4 v3 v9 ) (62 {1} v4 v3 v8 ) (62 {1} v8 v10 v11 ) (62 {1} v4 v3 v7 ) (62 {1} v4 v3 v6 ) (62 {1} v4 v3 v5 ) (62 {1} v9 v6 v10 ) (62 {1} v4 v3 v2 ) (62 {1} v4 v3 v1 ) (62 {1} v4 v3 v0 ) (62 {1} v10 v1 v8 ) (62 {1} v4 v2 v12 ) (62 {1} v4 v2 v11 ) (62 {1} v4 v2 v10 ) (62 {1} v4 v2 v9 ) (62 {1} v11 v8 v2 ) (62 {1} v4 v2 v8 ) (62 {1} v4 v2 v7 ) (62 {1} v10 v3 v11 ) (62 {1} v10 v2 v8 ) (62 {1} v4 v2 v6 ) (62 {1} v4 v2 v5 ) (62 {1} v11 v10 v4 ) (62 {1} v4 v2 v3 ) (62 {1} v10 v1 v0 ) (62 {1} v4 v2 v1 ) (62 {1} v4 v2 v0 ) (62 {1} v9 v1 v0 ) (62 {1} v4 v1 v12 ) (62 {1} v4 v1 v11 ) (62 {1} v10 v5 v8 ) (62 {1} v4 v1 v10 ) (62 {1} v4 v1 v9 ) (62 {1} v8 v11 v9 ) (62 {1} v12 v1 v4 ) (62 {1} v4 v1 v8 ) (62 {1} v4 v1 v7 ) (62 {1} v4 v1 v6 ) (62 {1} v4 v1 v5 ) (62 {1} v4 v1 v3 ) (62 {1} v11 v9 v12 ) (62 {1} v4 v1 v2 ) (62 {1} v4 v1 v0 ) (62 {1} v12 v9 v2 ) (62 {1} v4 v0 v12 ) (62 {1} v8 v2 v0 ) (62 {1} v4 v0 v11 ) (62 {1} v10 v6 v0 ) (62 {1} v11 v3 v10 ) (62 {1} v4 v0 v10 ) (62 {1} v4 v0 v9 ) (62 {1} v7 v12 v9 ) (62 {1} v4 v0 v8 ) (62 {1} v4 v0 v7 ) (62 {1} v11 v10 v9 ) (62 {1} v12 v8 v10 ) (62 {1} v4 v0 v6 ) (62 {1} v4 v0 v5 ) (62 {1} v9 v8 v0 ) (62 {1} v11 v3 v6 ) (62 {1} v4 v0 v3 ) (62 {1} v10 v3 v4 ) (62 {1} v7 v4 v11 ) (62 {1} v9 v8 v12 ) (62 {1} v4 v0 v2 ) (62 {1} v12 v1 v0 ) (62 {1} v4 v0 v1 ) (62 {1} v3 v12 v11 ) (62 {1} v9 v0 v2 ) (62 {1} v10 v0 v4 ) (62 {1} v3 v12 v10 ) (62 {1} v8 v12 v7 ) (62 {1} v3 v12 v9 ) (62 {1} v11 v1 v10 ) (62 {1} v10 v4 v12 ) (62 {1} v9 v2 v8 ) (62 {1} v3 v12 v8 ) (62 {1} v3 v12 v7 ) (62 {1} v3 v12 v6 ) (62 {1} v12 v10 v1 ) (62 {1} v10 v3 v9 ) (62 {1} v3 v12 v5 ) (62 {1} v12 v5 v6 ) (62 {1} v3 v12 v4 ) (62 {1} v3 v12 v2 ) (62 {1} v3 v12 v1 ) (62 {1} v3 v12 v0 ) (62 {1} v3 v11 v12 ) (62 {1} v8 v2 v4 ) (62 {1} v3 v11 v10 ) (62 {1} v12 v7 v10 ) (62 {1} v3 v11 v9 ) (62 {1} v3 v11 v8 ) (62 {1} v3 v11 v7 ) (62 {1} v12 v2 v6 ) (62 {1} v12 v7 v1 ) (62 {1} v3 v11 v6 ) (62 {1} v3 v11 v5 ) (62 {1} v11 v6 v3 ) (62 {1} v9 v10 v7 ) (62 {1} v3 v11 v4 ) (62 {1} v11 v9 v6 ) (62 {1} v11 v1 v4 ) (62 {1} v3 v11 v2 ) (62 {1} v3 v11 v1 ) (62 {1} v11 v4 v7 ) (62 {1} v3 v11 v0 ) (62 {1} v8 v4 v10 ) (62 {1} v10 v2 v7 ) (62 {1} v10 v1 v9 ) (62 {1} v8 v1 v12 ) (62 {1} v3 v10 v12 ) (62 {1} v7 v4 v9 ) (62 {1} v11 v12 v4 ) (62 {1} v3 v10 v11 ) (62 {1} v3 v10 v9 ) (62 {1} v9 v8 v11 ) (62 {1} v3 v10 v8 ) (62 {1} v3 v10 v7 ) (62 {1} v3 v10 v6 ) (62 {1} v3 v10 v5 ) (62 {1} v12 v3 v10 ) (62 {1} v11 v10 v6 ) (62 {1} v3 v10 v4 ) (62 {1} v3 v10 v2 ) (62 {1} v12 v7 v9 ) (62 {1} v11 v1 v9 ) (62 {1} v11 v12 v0 ) (62 {1} v9 v8 v1 ) (62 {1} v9 v10 v12 ) (62 {1} v8 v5 v4 ) (62 {1} v8 v6 v12 ) (62 {1} v11 v2 v6 ) (62 {1} v3 v10 v1 ) (62 {1} v8 v10 v5 ) (62 {1} v10 v9 v12 ) (62 {1} v3 v10 v0 ) (62 {1} v3 v9 v12 ) (62 {1} v3 v9 v11 ) (62 {1} v3 v9 v10 ) (62 {1} v3 v9 v8 ) (62 {1} v7 v9 v10 ) (62 {1} v10 v8 v12 ) (62 {1} v3 v9 v7 ) (62 {1} v10 v2 v4 ) (62 {1} v3 v9 v6 ) (62 {1} v3 v9 v5 ) (62 {1} v11 v4 v9 ) (62 {1} v3 v9 v4 ) (62 {1} v3 v9 v2 ) (62 {1} v9 v12 v10 ) (62 {1} v3 v9 v1 ) (62 {1} v3 v9 v0 ) (62 {1} v3 v8 v12 ) (62 {1} v3 v8 v11 ) (62 {1} v8 v1 v3 ) (62 {1} v3 v8 v10 ) (62 {1} v3 v8 v9 ) (62 {1} v12 v1 v2 ) (62 {1} v3 v8 v7 ) (62 {1} v10 v2 v5 ) (62 {1} v7 v8 v10 ) (62 {1} v3 v8 v6 ) (62 {1} v3 v8 v5 ) (62 {1} v3 v8 v4 ) (62 {1} v3 v8 v2 ) (62 {1} v3 v8 v1 ) (62 {1} v3 v8 v0 ) (62 {1} v3 v7 v12 ) (62 {1} v10 v11 v5 ) (62 {1} v10 v6 v5 ) (62 {1} v8 v7 v9 ) (62 {1} v10 v6 v4 ) (62 {1} v3 v7 v11 ) (62 {1} v3 v7 v10 ) (62 {1} v7 v5 v4 ) (62 {1} v3 v7 v9 ) (62 {1} v3 v7 v8 ) (62 {1} v3 v7 v6 ) (62 {1} v11 v3 v7 ) (62 {1} v11 v0 v3 ) (62 {1} v3 v7 v5 ) (62 {1} v12 v6 v7 ) (62 {1} v12 v5 v10 ) (62 {1} v3 v7 v4 ) (62 {1} v8 v2 v11 ) (62 {1} v3 v7 v2 ) (62 {1} v11 v7 v5 ) (62 {1} v9 v4 v12 ) (62 {1} v9 v4 v8 ) (62 {1} v3 v7 v1 ) (62 {1} v10 v9 v11 ) (62 {1} v12 v9 v11 ) (62 {1} v3 v7 v0 ) (62 {1} v3 v6 v12 ) (62 {1} v3 v6 v11 ) (62 {1} v11 v10 v2 ) (62 {1} v7 v5 v12 ) (62 {1} v9 v7 v1 ) (62 {1} v3 v6 v10 ) (62 {1} v10 v9 v3 ) (62 {1} v12 v3 v4 ) (62 {1} v8 v2 v6 ) (62 {1} v7 v3 v12 ) (62 {1} v12 v9 v7 ) (62 {1} v3 v6 v9 ) (62 {1} v3 v6 v8 ) (62 {1} v3 v6 v7 ) (62 {1} v3 v6 v5 ) (62 {1} v12 v0 v11 ) (62 {1} v3 v6 v4 ) (62 {1} v3 v6 v2 ) (62 {1} v3 v6 v1 ) (62 {1} v3 v6 v0 ) (62 {1} v3 v5 v12 ) (62 {1} v3 v5 v11 ) (62 {1} v3 v5 v10 ) (62 {1} v3 v5 v9 ) (62 {1} v3 v5 v8 ) (62 {1} v3 v5 v7 ) (62 {1} v11 v8 v3 ) (62 {1} v3 v5 v6 ) (62 {1} v8 v4 v11 ) (62 {1} v3 v5 v4 ) (62 {1} v12 v10 v7 ) (62 {1} v3 v5 v2 ) (62 {1} v3 v5 v1 ) (62 {1} v3 v5 v0 ) (62 {1} v12 v0 v9 ) (62 {1} v3 v4 v12 ) (62 {1} v7 v11 v1 ) (62 {1} v8 v9 v3 ) (62 {1} v10 v5 v7 ) (62 {1} v11 v5 v6 ) (62 {1} v3 v4 v11 ) (62 {1} v3 v4 v10 ) (62 {1} v11 v7 v2 ) (62 {1} v3 v4 v9 ) (62 {1} v3 v4 v8 ) (62 {1} v3 v4 v7 ) (62 {1} v3 v4 v6 ) (62 {1} v9 v3 v8 ) (62 {1} v11 v8 v1 ) (62 {1} v3 v4 v5 ) (62 {1} v9 v12 v2 ) (62 {1} v11 v12 v7 ) (62 {1} v11 v4 v2 ) (62 {1} v3 v4 v2 ) (62 {1} v3 v4 v1 ) (62 {1} v3 v4 v0 ) (62 {1} v10 v11 v3 ) (62 {1} v9 v2 v1 ) (62 {1} v3 v2 v12 ) (62 {1} v3 v2 v11 ) (62 {1} v8 v9 v1 ) (62 {1} v3 v2 v10 ) (62 {1} v3 v2 v9 ) (62 {1} v9 v1 v3 ) (62 {1} v3 v2 v8 ) (62 {1} v3 v2 v7 ) (62 {1} v3 v2 v6 ) (62 {1} v3 v2 v5 ) (62 {1} v11 v3 v5 ) (62 {1} v11 v1 v3 ) (62 {1} v11 v7 v1 ) (62 {1} v3 v2 v4 ) (62 {1} v3 v2 v1 ) (62 {1} v3 v2 v0 ) (62 {1} v3 v1 v12 ) (62 {1} v3 v1 v11 ) (62 {1} v3 v1 v10 ) (62 {1} v3 v1 v9 ) (62 {1} v3 v1 v8 ) (62 {1} v10 v7 v12 ) (62 {1} v7 v3 v1 ) (62 {1} v3 v1 v7 ) (62 {1} v3 v1 v6 ) (62 {1} v3 v1 v5 ) (62 {1} v9 v2 v10 ) (62 {1} v3 v1 v4 ) (62 {1} v3 v1 v2 ) (62 {1} v3 v1 v0 ) (62 {1} v3 v0 v12 ) (62 {1} v3 v0 v11 ) (62 {1} v3 v0 v10 ) (62 {1} v3 v0 v9 ) (62 {1} v3 v0 v8 ) (62 {1} v12 v1 v10 ) (62 {1} v12 v9 v4 ) (62 {1} v3 v0 v7 ) (62 {1} v3 v0 v6 ) (62 {1} v3 v0 v5 ) (62 {1} v3 v0 v4 ) (62 {1} v3 v0 v2 ) (62 {1} v11 v5 v9 ) (62 {1} v8 v0 v1 ) (62 {1} v3 v0 v1 ) (62 {1} v7 v4 v8 ) (62 {1} v2 v12 v11 ) (62 {1} v2 v12 v10 ) (62 {1} v12 v11 v10 ) (62 {1} v9 v6 v5 ) (62 {1} v2 v12 v9 ) (62 {1} v7 v10 v6 ) (62 {1} v11 v4 v8 ) (62 {1} v10 v8 v2 ) (62 {1} v8 v6 v2 ) (62 {1} v2 v12 v8 ) (62 {1} v10 v8 v1 ) (62 {1} v2 v12 v7 ) (62 {1} v2 v12 v6 ) (62 {1} v2 v12 v5 ) (62 {1} v2 v12 v4 ) (62 {1} v2 v12 v3 ) (62 {1} v2 v12 v1 ) (62 {1} v12 v3 v2 ) (62 {1} v2 v12 v0 ) (62 {1} v12 v4 v9 ) (62 {1} v12 v3 v9 ) (62 {1} v2 v11 v12 ) (62 {1} v2 v11 v10 ) (62 {1} v7 v9 v8 ) (62 {1} v12 v6 v3 ) (62 {1} v12 v10 v6 ) (62 {1} v2 v11 v9 ) (62 {1} v2 v11 v8 ) (62 {1} v10 v8 v6 ) (62 {1} v8 v4 v9 ) (62 {1} v2 v11 v7 ) (62 {1} v12 v2 v8 ) (62 {1} v10 v3 v1 ) (62 {1} v10 v1 v6 ) (62 {1} v9 v1 v8 ) (62 {1} v2 v11 v6 ) (62 {1} v2 v11 v5 ) (62 {1} v10 v5 v12 ) (62 {1} v2 v11 v4 ) (62 {1} v2 v11 v3 ) (62 {1} v2 v11 v1 ) (62 {1} v11 v6 v1 ) (62 {1} v7 v11 v3 ) (62 {1} v2 v11 v0 ) (62 {1} v11 v9 v1 ) (62 {1} v2 v10 v12 ) (62 {1} v10 v1 v11 ) (62 {1} v2 v10 v11 ) (62 {1} v2 v10 v9 ) (62 {1} v2 v10 v8 ) (62 {1} v2 v10 v7 ) (62 {1} v2 v10 v6 ) (62 {1} v10 v12 v2 ) (62 {1} v2 v10 v5 ) (62 {1} v2 v10 v4 ) (62 {1} v11 v9 v10 ) (62 {1} v2 v10 v3 ) (62 {1} v2 v10 v1 ) (62 {1} v2 v10 v0 ) (62 {1} v2 v9 v12 ) (62 {1} v2 v9 v11 ) (62 {1} v2 v9 v10 ) (62 {1} v2 v9 v8 ) (62 {1} v8 v6 v7 ) (62 {1} v2 v9 v7 ) (62 {1} v2 v9 v6 ) (62 {1} v2 v9 v5 ) (62 {1} v8 v12 v1 ) (62 {1} v12 v3 v11 ) (62 {1} v2 v9 v4 ) (62 {1} v12 v5 v2 ) (62 {1} v12 v9 v5 ) (62 {1} v2 v9 v3 ) (62 {1} v8 v1 v5 ) (62 {1} v8 v3 v5 ) (62 {1} v11 v0 v1 ) (62 {1} v9 v3 v0 ) (62 {1} v8 v12 v6 ) (62 {1} v10 v1 v3 ) (62 {1} v9 v8 v6 ) (62 {1} v2 v9 v1 ) (62 {1} v2 v9 v0 ) (62 {1} v11 v12 v8 ) (62 {1} v2 v8 v12 ) (62 {1} v2 v8 v11 ) (62 {1} v12 v4 v6 ) (62 {1} v11 v8 v12 ) (62 {1} v10 v8 v0 ) (62 {1} v2 v8 v10 ) (62 {1} v2 v8 v9 ) (62 {1} v8 v4 v5 ) (62 {1} v2 v8 v7 ) (62 {1} v2 v8 v6 ) (62 {1} v2 v8 v5 ) (62 {1} v2 v8 v4 ) (62 {1} v8 v11 v7 ) (62 {1} v10 v12 v11 ) (62 {1} v2 v8 v3 ) (62 {1} v2 v8 v1 ) (62 {1} v2 v8 v0 ) (62 {1} v11 v10 v0 ) (62 {1} v2 v7 v12 ) (62 {1} v11 v1 v7 ) (62 {1} v12 v2 v5 ) (62 {1} v2 v7 v11 ) (62 {1} v2 v7 v10 ) (62 {1} v8 v10 v3 ) (62 {1} v2 v7 v9 ) (62 {1} v2 v7 v8 ) (62 {1} v7 v12 v4 ) (62 {1} v2 v7 v6 ) (62 {1} v2 v7 v5 ) (62 {1} v11 v7 v6 ) (62 {1} v9 v4 v1 ) (62 {1} v12 v6 v11 ) (62 {1} v10 v12 v0 ) (62 {1} v2 v7 v4 ) (62 {1} v2 v7 v3 ) (62 {1} v7 v12 v2 ) (62 {1} v11 v0 v2 ) (62 {1} v2 v7 v1 ) (62 {1} v7 v9 v4 ) (62 {1} v8 v12 v9 ) (62 {1} v8 v6 v9 ) (62 {1} v2 v7 v0 ) (62 {1} v2 v6 v12 ) (62 {1} v2 v6 v11 ) (62 {1} v2 v6 v10 ) (62 {1} v2 v6 v9 ) (62 {1} v2 v6 v8 ) (62 {1} v2 v6 v7 ) (62 {1} v2 v6 v5 ) (62 {1} v2 v6 v4 ) (62 {1} v2 v6 v3 ) (62 {1} v12 v3 v6 ) (62 {1} v2 v6 v1 ) (62 {1} v9 v11 v2 ) (62 {1} v2 v6 v0 ) (62 {1} v2 v5 v12 ) (62 {1} v2 v5 v11 ) (62 {1} v2 v5 v10 ) (62 {1} v8 v0 v4 ) (62 {1} v2 v5 v9 ) (62 {1} v2 v5 v8 ) (62 {1} v2 v5 v7 ) (62 {1} v12 v2 v0 ) (62 {1} v10 v0 v1 ) (62 {1} v9 v5 v0 ) (62 {1} v2 v5 v6 ) (62 {1} v2 v5 v4 ) (62 {1} v2 v5 v3 ) (62 {1} v9 v1 v12 ) (62 {1} v2 v5 v1 ) (62 {1} v8 v1 v6 ) (62 {1} v2 v5 v0 ) (62 {1} v12 v11 v4 ) (62 {1} v2 v4 v12 ) (62 {1} v2 v4 v11 ) (62 {1} v2 v4 v10 ) (62 {1} v2 v4 v9 ) (62 {1} v8 v3 v2 ) (62 {1} v2 v4 v8 ) (62 {1} v2 v4 v7 ) (62 {1} v12 v8 v6 ) (62 {1} v7 v8 v4 ) (62 {1} v2 v4 v6 ) (62 {1} v9 v12 v6 ) (62 {1} v2 v4 v5 ) (62 {1} v12 v11 v6 ) (62 {1} v2 v4 v3 ) (62 {1} v12 v0 v6 ) (62 {1} v2 v4 v1 ) (62 {1} v12 v9 v3 ) (62 {1} v2 v4 v0 ) (62 {1} v11 v0 v8 ) (62 {1} v2 v3 v12 ) (62 {1} v2 v3 v11 ) (62 {1} v2 v3 v10 ) (62 {1} v2 v3 v9 ) (62 {1} v2 v3 v8 ) (62 {1} v7 v8 v9 ) (62 {1} v7 v3 v2 ) (62 {1} v9 v0 v4 ) (62 {1} v12 v5 v7 ) (62 {1} v11 v1 v8 ) (62 {1} v12 v3 v8 ) (62 {1} v2 v3 v7 ) (62 {1} v12 v4 v3 ) (62 {1} v7 v8 v2 ) (62 {1} v2 v3 v6 ) (62 {1} v7 v10 v4 ) (62 {1} v2 v3 v5 ) (62 {1} v2 v3 v4 ) (62 {1} v12 v11 v8 ) (62 {1} v8 v2 v9 ) (62 {1} v2 v3 v1 ) (62 {1} v2 v3 v0 ) (62 {1} v7 v9 v2 ) (62 {1} v2 v1 v12 ) (62 {1} v11 v0 v7 ) (62 {1} v2 v1 v11 ) (62 {1} v2 v1 v10 ) (62 {1} v10 v6 v12 ) (62 {1} v9 v11 v12 ) (62 {1} v2 v1 v9 ) (62 {1} v2 v1 v8 ) (62 {1} v2 v1 v7 ) (62 {1} v2 v1 v6 ) (62 {1} v2 v1 v5 ) (62 {1} v9 v0 v12 ) (62 {1} v10 v3 v5 ) (62 {1} v2 v1 v4 ) (62 {1} v2 v1 v3 ) (62 {1} v9 v4 v0 ) (62 {1} v2 v1 v0 ) (62 {1} v2 v0 v12 ) (62 {1} v9 v11 v8 ) (62 {1} v2 v0 v11 ) (62 {1} v11 v3 v2 ) (62 {1} v2 v0 v10 ) (62 {1} v2 v0 v9 ) (62 {1} v2 v0 v8 ) (62 {1} v2 v0 v7 ) (62 {1} v2 v0 v6 ) (62 {1} v2 v0 v5 ) (62 {1} v8 v10 v2 ) (62 {1} v10 v2 v1 ) (62 {1} v10 v12 v6 ) (62 {1} v11 v9 v7 ) (62 {1} v2 v0 v4 ) (62 {1} v7 v11 v12 ) (62 {1} v2 v0 v3 ) (62 {1} v9 v2 v5 ) (62 {1} v8 v1 v11 ) (62 {1} v2 v0 v1 ) (62 {1} v12 v8 v3 ) (62 {1} v1 v12 v11 ) (62 {1} v12 v6 v1 ) (62 {1} v1 v12 v10 ) (62 {1} v1 v12 v9 ) (62 {1} v7 v11 v10 ) (62 {1} v9 v7 v8 ) (62 {1} v1 v12 v8 ) (62 {1} v12 v11 v1 ) (62 {1} v1 v12 v7 ) (62 {1} v1 v12 v6 ) (62 {1} v12 v10 v5 ) (62 {1} v1 v12 v5 ) (62 {1} v7 v9 v11 ) (62 {1} v1 v12 v4 ) (62 {1} v12 v2 v9 ) (62 {1} v1 v12 v3 ) (62 {1} v8 v7 v2 ) (62 {1} v7 v10 v11 ) (62 {1} v1 v12 v2 ) (62 {1} v1 v12 v0 ) (62 {1} v7 v10 v3 ) (62 {1} v1 v11 v12 ) (62 {1} v10 v11 v7 ) (62 {1} v12 v10 v2 ) (62 {1} v1 v11 v10 ) (62 {1} v1 v11 v9 ) (62 {1} v1 v11 v8 ) (62 {1} v9 v8 v4 ) (62 {1} v8 v10 v7 ) (62 {1} v1 v11 v7 ) (62 {1} v11 v2 v8 ) (62 {1} v9 v4 v6 ) (62 {1} v1 v11 v6 ) (62 {1} v9 v8 v3 ) (62 {1} v9 v5 v7 ) (62 {1} v1 v11 v5 ) (62 {1} v1 v11 v4 ) (62 {1} v1 v11 v3 ) (62 {1} v10 v8 v3 ) (62 {1} v10 v12 v1 ) (62 {1} v10 v11 v8 ) (62 {1} v9 v3 v4 ) (62 {1} v1 v11 v2 ) (62 {1} v1 v11 v0 ) (62 {1} v1 v10 v12 ) (62 {1} v1 v10 v11 ) (62 {1} v7 v3 v6 ) (62 {1} v10 v6 v1 ) (62 {1} v1 v10 v9 ) (62 {1} v1 v10 v8 ) (62 {1} v12 v9 v10 ) (62 {1} v7 v5 v9 ) (62 {1} v1 v10 v7 ) (62 {1} v1 v10 v6 ) (62 {1} v1 v10 v5 ) (62 {1} v9 v3 v7 ) (62 {1} v9 v7 v6 ) (62 {1} v1 v10 v4 ) (62 {1} v1 v10 v3 ) (62 {1} v1 v10 v2 ) (62 {1} v1 v10 v0 ) (62 {1} v1 v9 v12 ) (62 {1} v10 v9 v4 ) (62 {1} v11 v0 v6 ) (62 {1} v12 v1 v9 ) (62 {1} v1 v9 v11 ) (62 {1} v1 v9 v10 ) (62 {1} v11 v9 v2 ) (62 {1} v1 v9 v8 ) (62 {1} v1 v9 v7 ) (62 {1} v1 v9 v6 ) (62 {1} v9 v1 v7 ) (62 {1} v12 v6 v4 ) (62 {1} v1 v9 v5 ) (62 {1} v9 v8 v2 ) (62 {1} v11 v6 v2 ) (62 {1} v1 v9 v4 ) (62 {1} v1 v9 v3 ) (62 {1} v1 v9 v2 ) (62 {1} v9 v3 v5 ) (62 {1} v7 v6 v4 ) (62 {1} v1 v9 v0 ) (62 {1} v1 v8 v12 ) (62 {1} v7 v8 v3 ) (62 {1} v9 v0 v1 ) (62 {1} v12 v11 v2 ) (62 {1} v12 v0 v7 ) (62 {1} v1 v8 v11 ) (62 {1} v10 v5 v0 ) (62 {1} v8 v0 v7 ) (62 {1} v11 v3 v0 ) (62 {1} v8 v1 v2 ) (62 {1} v1 v8 v10 ) (62 {1} v12 v6 v2 ) (62 {1} v12 v0 v3 ) (62 {1} v11 v3 v9 ) (62 {1} v1 v8 v9 ) (62 {1} v1 v8 v7 ) (62 {1} v1 v8 v6 ) (62 {1} v9 v1 v2 ) (62 {1} v1 v8 v5 ) (62 {1} v7 v5 v6 ) (62 {1} v8 v11 v12 ) (62 {1} v1 v8 v4 ) (62 {1} v1 v8 v3 ) (62 {1} v11 v2 v7 ) (62 {1} v1 v8 v2 ) (62 {1} v12 v4 v7 ) (62 {1} v1 v8 v0 ) (62 {1} v1 v7 v12 ) (62 {1} v1 v7 v11 ) (62 {1} v1 v7 v10 ) (62 {1} v1 v7 v9 ) (62 {1} v1 v7 v8 ) (62 {1} v11 v5 v3 ) (62 {1} v1 v7 v6 ) (62 {1} v1 v7 v5 ) (62 {1} v7 v11 v9 ) (62 {1} v1 v7 v4 ) (62 {1} v12 v7 v5 ) (62 {1} v1 v7 v3 ) (62 {1} v1 v7 v2 ) (62 {1} v1 v7 v0 ) (62 {1} v1 v6 v12 ) (62 {1} v1 v6 v11 ) (62 {1} v1 v6 v10 ) (62 {1} v11 v2 v0 ) (62 {1} v1 v6 v9 ) (62 {1} v12 v4 v2 ) (62 {1} v10 v2 v3 ) (62 {1} v10 v5 v9 ) (62 {1} v1 v6 v8 ) (62 {1} v9 v4 v2 ) (62 {1} v1 v6 v7 ) (62 {1} v9 v12 v8 ) (62 {1} v9 v2 v12 ) (62 {1} v11 v10 v7 ) (62 {1} v1 v6 v5 ) (62 {1} v1 v6 v4 ) (62 {1} v11 v3 v1 ) (62 {1} v1 v6 v3 ) (62 {1} v1 v6 v2 ) (62 {1} v1 v6 v0 ) (62 {1} v1 v5 v12 ) (62 {1} v1 v5 v11 ) (62 {1} v1 v5 v10 ) (62 {1} v1 v5 v9 ) (62 {1} v1 v5 v8 ) (62 {1} v1 v5 v7 ) (62 {1} v10 v4 v2 ) (62 {1} v1 v5 v6 ) (62 {1} v1 v5 v4 ) (62 {1} v9 v10 v4 ) (62 {1} v1 v5 v3 ) (62 {1} v9 v10 v6 ) (62 {1} v9 v6 v3 ) (62 {1} v10 v3 v6 ) (62 {1} v1 v5 v2 ) (62 {1} v1 v5 v0 ) (62 {1} v1 v4 v12 ) (62 {1} v1 v4 v11 ) (62 {1} v8 v11 v10 ) (62 {1} v1 v4 v10 ) (62 {1} v1 v4 v9 ) (62 {1} v1 v4 v8 ) (62 {1} v1 v4 v7 ) (62 {1} v1 v4 v6 ) (62 {1} v10 v2 v0 ) (62 {1} v10 v7 v2 ) (62 {1} v1 v4 v5 ) (62 {1} v1 v4 v3 ) (62 {1} v8 v0 v10 ) (62 {1} v1 v4 v2 ) (62 {1} v1 v4 v0 ) (62 {1} v7 v9 v0 ) (62 {1} v12 v5 v11 ) (62 {1} v1 v3 v12 ) (62 {1} v11 v7 v3 ) (62 {1} v1 v3 v11 ) (62 {1} v1 v3 v10 ) (62 {1} v1 v3 v9 ) (62 {1} v1 v3 v8 ) (62 {1} v7 v10 v8 ) (62 {1} v11 v6 v0 ) (62 {1} v11 v2 v5 ) (62 {1} v1 v3 v7 ) (62 {1} v1 v3 v6 ) (62 {1} v1 v3 v5 ) (62 {1} v1 v3 v4 ) (62 {1} v8 v11 v5 ) (62 {1} v1 v3 v2 ) (62 {1} v10 v9 v0 ) (62 {1} v1 v3 v0 ) (62 {1} v10 v3 v7 ) (62 {1} v1 v2 v12 ) (62 {1} v8 v9 v7 ) (62 {1} v11 v10 v1 ) (62 {1} v1 v2 v11 ) (62 {1} v10 v12 v4 ) (62 {1} v8 v4 v0 ) (62 {1} v1 v2 v10 ) (62 {1} v8 v7 v5 ) (62 {1} v11 v12 v10 ) (62 {1} v12 v2 v11 ) (62 {1} v1 v2 v9 ) (62 {1} v1 v2 v8 ) (62 {1} v1 v2 v7 ) (62 {1} v1 v2 v6 ) (62 {1} v1 v2 v5 ) (62 {1} v1 v2 v4 ) (62 {1} v11 v1 v0 ) (62 {1} v9 v11 v1 ) (62 {1} v1 v2 v3 ) (62 {1} v9 v3 v1 ) (62 {1} v1 v2 v0 ) (62 {1} v1 v0 v12 ) (62 {1} v12 v0 v5 ) (62 {1} v1 v0 v11 ) (62 {1} v8 v6 v5 ) (62 {1} v9 v7 v4 ) (62 {1} v1 v0 v10 ) (62 {1} v7 v5 v3 ) (62 {1} v7 v6 v8 ) (62 {1} v12 v10 v3 ) (62 {1} v1 v0 v9 ) (62 {1} v12 v8 v1 ) (62 {1} v1 v0 v8 ) (62 {1} v9 v5 v10 ) (62 {1} v11 v0 v5 ) (62 {1} v1 v0 v7 ) (62 {1} v11 v2 v1 ) (62 {1} v1 v0 v6 ) (62 {1} v1 v0 v5 ) (62 {1} v8 v0 v2 ) (62 {1} v1 v0 v4 ) (62 {1} v1 v0 v3 ) (62 {1} v9 v12 v1 ) (62 {1} v1 v0 v2 ) (62 {1} v0 v12 v11 ) (62 {1} v9 v0 v6 ) (62 {1} v7 v2 v12 ) (62 {1} v12 v1 v7 ) (62 {1} v7 v10 v1 ) (62 {1} v0 v12 v10 ) (62 {1} v0 v12 v9 ) (62 {1} v11 v4 v6 ) (62 {1} v9 v1 v4 ) (62 {1} v0 v12 v8 ) (62 {1} v0 v12 v7 ) (62 {1} v7 v5 v8 ) (62 {1} v0 v12 v6 ) (62 {1} v0 v12 v5 ) (62 {1} v8 v3 v0 ) (62 {1} v11 v12 v1 ) (62 {1} v10 v6 v8 ) (62 {1} v9 v0 v3 ) (62 {1} v0 v12 v4 ) (62 {1} v9 v6 v12 ) (62 {1} v8 v5 v11 ) (62 {1} v10 v3 v12 ) (62 {1} v10 v4 v5 ) (62 {1} v10 v1 v5 ) (62 {1} v0 v12 v3 ) (62 {1} v0 v12 v2 ) (62 {1} v12 v2 v10 ) (62 {1} v0 v12 v1 ) (62 {1} v12 v11 v7 ) (62 {1} v0 v11 v12 ) (62 {1} v0 v11 v10 ) (62 {1} v9 v11 v3 ) (62 {1} v8 v3 v1 ) (62 {1} v0 v11 v9 ) (62 {1} v10 v3 v0 ) (62 {1} v11 v5 v10 ) (62 {1} v0 v11 v8 ) (62 {1} v0 v11 v7 ) (62 {1} v0 v11 v6 ) (62 {1} v0 v11 v5 ) (62 {1} v0 v11 v4 ) (62 {1} v0 v11 v3 ) (62 {1} v0 v11 v2 ) (62 {1} v0 v11 v1 ) (62 {1} v11 v0 v10 ) (62 {1} v12 v0 v8 ) (62 {1} v0 v10 v12 ) (62 {1} v0 v10 v11 ) (62 {1} v11 v10 v3 ) (62 {1} v0 v10 v9 ) (62 {1} v0 v10 v8 ) (62 {1} v10 v6 v7 ) (62 {1} v0 v10 v7 ) (62 {1} v0 v10 v6 ) (62 {1} v10 v9 v2 ) (62 {1} v0 v10 v5 ) (62 {1} v0 v10 v4 ) (62 {1} v8 v7 v0 ) (62 {1} v0 v10 v3 ) (62 {1} v0 v10 v2 ) (62 {1} v0 v10 v1 ) (62 {1} v7 v2 v11 ) (62 {1} v0 v9 v12 ) (62 {1} v0 v9 v11 ) (62 {1} v0 v9 v10 ) (62 {1} v0 v9 v8 ) (62 {1} v0 v9 v7 ) (62 {1} v0 v9 v6 ) (62 {1} v8 v0 v3 ) (62 {1} v12 v3 v0 ) (62 {1} v0 v9 v5 ) (62 {1} v9 v4 v3 ) (62 {1} v12 v10 v11 ) (62 {1} v0 v9 v4 ) (62 {1} v0 v9 v3 ) (62 {1} v0 v9 v2 ) (62 {1} v8 v6 v4 ) (62 {1} v11 v7 v4 ) (62 {1} v8 v3 v7 ) (62 {1} v0 v9 v1 ) (62 {1} v11 v8 v6 ) (62 {1} v0 v8 v12 ) (62 {1} v0 v8 v11 ) (62 {1} v0 v8 v10 ) (62 {1} v0 v8 v9 ) (62 {1} v0 v8 v7 ) (62 {1} v0 v8 v6 ) (62 {1} v0 v8 v5 ) (62 {1} v12 v5 v3 ) (62 {1} v7 v11 v2 ) (62 {1} v9 v2 v0 ) (62 {1} v0 v8 v4 ) (62 {1} v10 v7 v0 ) (62 {1} v12 v4 v10 ) (62 {1} v0 v8 v3 ) (62 {1} v0 v8 v2 ) (62 {1} v12 v10 v8 ) (62 {1} v0 v8 v1 ) (62 {1} v11 v8 v7 ) (62 {1} v0 v7 v12 ) (62 {1} v11 v6 v5 ) (62 {1} v0 v7 v11 ) (62 {1} v0 v7 v10 ) (62 {1} v12 v7 v4 ) (62 {1} v10 v7 v4 ) (62 {1} v8 v6 v1 ) (62 {1} v0 v7 v9 ) (62 {1} v0 v7 v8 ) (62 {1} v0 v7 v6 ) (62 {1} v0 v7 v5 ) (62 {1} v10 v8 v11 ) (62 {1} v11 v4 v12 ) (62 {1} v0 v7 v4 ) (62 {1} v11 v8 v0 ) (62 {1} v0 v7 v3 ) (62 {1} v0 v7 v2 ) (62 {1} v7 v6 v11 ) (62 {1} v8 v5 v6 ) (62 {1} v12 v5 v9 ) (62 {1} v11 v8 v4 ) (62 {1} v10 v0 v12 ) (62 {1} v7 v4 v10 ) (62 {1} v0 v7 v1 ) (62 {1} v8 v4 v3 ) (62 {1} v0 v6 v12 ) (62 {1} v9 v3 v10 ) (62 {1} v0 v6 v11 ) (62 {1} v0 v6 v10 ) (62 {1} v7 v3 v4 ) (62 {1} v0 v6 v9 ) (62 {1} v9 v0 v11 ) (62 {1} v0 v6 v8 ) (62 {1} v10 v11 v1 ) (62 {1} v10 v12 v9 ) (62 {1} v0 v6 v7 ) (62 {1} v0 v6 v5 ) (62 {1} v0 v6 v4 ) (62 {1} v7 v9 v12 ) (62 {1} v9 v7 v12 ) (62 {1} v0 v6 v3 ) (62 {1} v0 v6 v2 ) (62 {1} v0 v6 v1 ) (62 {1} v0 v5 v12 ) (62 {1} v0 v5 v11 ) (62 {1} v0 v5 v10 ) (62 {1} v0 v5 v9 ) (62 {1} v11 v9 v4 ) (62 {1} v9 v12 v4 ) (62 {1} v0 v5 v8 ) (62 {1} v0 v5 v7 ) (62 {1} v0 v5 v6 ) (62 {1} v8 v10 v0 ) (62 {1} v0 v5 v4 ) (62 {1} v0 v5 v3 ) (62 {1} v0 v5 v2 ) (62 {1} v10 v9 v6 ) (62 {1} v0 v5 v1 ) (62 {1} v12 v10 v0 ) (62 {1} v7 v4 v3 ) (62 {1} v8 v1 v4 ) (62 {1} v9 v7 v0 ) (62 {1} v0 v4 v12 ) (62 {1} v9 v1 v11 ) (62 {1} v0 v4 v11 ) (62 {1} v10 v4 v9 ) (62 {1} v11 v9 v0 ) (62 {1} v12 v1 v11 ) (62 {1} v8 v11 v3 ) (62 {1} v10 v11 v12 ) (62 {1} v0 v4 v10 ) (62 {1} v0 v4 v9 ) (62 {1} v7 v5 v11 ) (62 {1} v0 v4 v8 ) (62 {1} v10 v5 v11 ) (62 {1} v12 v8 v5 ) (62 {1} v10 v1 v2 ) (62 {1} v0 v4 v7 ) (62 {1} v8 v5 v9 ) (62 {1} v0 v4 v6 ) (62 {1} v0 v4 v5 ) (62 {1} v0 v4 v3 ) (62 {1} v12 v7 v3 ) (62 {1} v0 v4 v2 ) (62 {1} v0 v4 v1 ) (62 {1} v0 v3 v12 ) (62 {1} v10 v4 v7 ) (62 {1} v0 v3 v11 ) (62 {1} v0 v3 v10 ) (62 {1} v10 v5 v2 ) (62 {1} v0 v3 v9 ) (62 {1} v7 v12 v0 ) (62 {1} v7 v6 v12 ) (62 {1} v0 v3 v8 ) (62 {1} v0 v3 v7 ) (62 {1} v0 v3 v6 ) (62 {1} v0 v3 v5 ) (62 {1} v11 v5 v2 ) (62 {1} v0 v3 v4 ) (62 {1} v0 v3 v2 ) (62 {1} v0 v3 v1 ) (62 {1} v0 v2 v12 ) (62 {1} v0 v2 v11 ) (62 {1} v12 v6 v0 ) (62 {1} v0 v2 v10 ) (62 {1} v0 v2 v9 ) (62 {1} v0 v2 v8 ) (62 {1} v7 v8 v1 ) (62 {1} v0 v2 v7 ) (62 {1} v7 v3 v10 ) (62 {1} v9 v10 v2 ) (62 {1} v0 v2 v6 ) (62 {1} v0 v2 v5 ) (62 {1} v0 v2 v4 ) (62 {1} v8 v3 v12 ) (62 {1} v0 v2 v3 ) (62 {1} v0 v2 v1 ) (62 {1} v7 v11 v5 ) (62 {1} v7 v10 v12 ) (62 {1} v0 v1 v12 ) (62 {1} v0 v1 v11 ) (62 {1} v8 v12 v5 ) (62 {1} v8 v9 v5 ) (62 {1} v0 v1 v10 ) (62 {1} v12 v3 v7 ) (62 {1} v0 v1 v9 ) (62 {1} v0 v1 v8 ) (62 {1} v0 v1 v7 ) (62 {1} v0 v1 v6 ) (62 {1} v0 v1 v5 ) (62 {1} v7 v6 v10 ) (62 {1} v10 v4 v3 ) (62 {1} v0 v1 v4 ) (62 {1} v10 v8 v9 ) (62 {1} v0 v1 v3 ) (62 {1} v0 v1 v2 )   4082] 
]
 [acceptor paid 0.91 for challenge 4084. acceptor: 201 offerer: 200 ]
 [acceptor paid 0.95 for challenge 4085. acceptor: 201 offerer: 200 ]
 [acceptor refunded 0.91 for challenge 4084. acceptor: 200 offerer: 200 ]
 [acceptor refunded 0.95 for challenge 4085. acceptor: 200 offerer: 200 ]
 
kicked[playerspec["Boston_Chargers" "129.10.116.124" 2010] "java.lang.NullPointerException" "2/23/11 2:35:29 AM EST"]
 ]

**** Final Results *****
"Astro" : 99.83131468531468 
"Boston_Chargers" : *100.16868531468532