(181 -> playerspec["Astro" "129.10.116.118" 2008]) (180 -> playerspec["GreekGods" "129.10.116.242" 2004]) round[1 playertrans[ 180 offer[3143 secret (3 14 24 28 32 44 49 55 75 139 147 157 172 184 200 209 222 223 224 245 ) 0.79687074829932] offer[3142 secret (54 62 159 243 ) 0.6476190476190478] offer[3141 secret (12 15 19 21 22 34 69 70 88 89 93 103 110 113 114 115 117 151 165 172 190 210 211 226 235 244 ) 0.797592883307169] offer[3140 secret (66 99 151 155 156 194 248 ) 0.8091350826044705] ] playertrans[ 181 offer[3147 all (94 251 ) 0.6913146853146853] offer[3146 all (62 127 ) 0.6913146853146853] offer[3145 all (61 137 144 ) 1.0] offer[3144 secret (0 ) 1.0] accept[3143] accept[3142] accept[3141] accept[3140] ] [acceptor paid 0.8091350826044705 for challenge 3140. acceptor: 181 offerer: 180 ] [acceptor paid 0.797592883307169 for challenge 3141. acceptor: 181 offerer: 180 ] [acceptor paid 0.6476190476190478 for challenge 3142. acceptor: 181 offerer: 180 ] [acceptor paid 0.79687074829932 for challenge 3143. acceptor: 181 offerer: 180 ] ] round[2 playertrans[ 180 offer[3151 secret (41 50 55 70 74 82 116 124 135 138 160 174 178 182 199 ) 0.8296598639455783] offer[3150 secret (11 51 55 60 69 88 89 94 107 115 119 182 194 204 208 238 ) 0.7785714285714287] offer[3149 secret (13 21 35 47 49 82 87 99 121 161 186 197 214 235 244 251 ) 0.7523809523809522] offer[3148 secret (13 17 23 47 68 73 112 147 194 198 200 203 221 227 241 ) 0.8205895691609977] accept[3147] accept[3146] accept[3145] provide[v0 v1 v10 v11 v12 v14 v15 v16 v17 v18 v19 v2 v20 v21 v3 v4 v5 v6 v7 v8 v9 (66 {1} v17 v18 v19 ) (66 {1} v6 v7 v8 ) (66 {1} v3 v4 v5 ) (66 {1} v7 v8 v9 ) (66 {1} v5 v6 v7 ) (66 {1} v10 v11 v12 ) (66 {1} v0 v1 v2 ) (66 {1} v9 v10 v11 ) (66 {1} v15 v16 v17 ) (66 {1} v14 v15 v16 ) (66 {1} v4 v5 v6 ) (66 {1} v7 v8 v9 ) (66 {1} v15 v16 v17 ) (66 {1} v15 v16 v17 ) (66 {1} v16 v17 v18 ) (66 {1} v19 v20 v21 ) [ ] 3140] provide[v0 v1 v10 v11 v12 v13 v17 v18 v19 v2 v20 v21 v3 v4 v5 v8 v9 (34 {1} v9 v10 v11 ) (34 {1} v3 v4 v5 ) (34 {1} v0 v1 v2 ) (34 {1} v19 v20 v21 ) (34 {1} v2 v3 v4 ) (34 {1} v11 v12 v13 ) (34 {1} v3 v4 v5 ) (34 {1} v9 v10 v11 ) (34 {1} v8 v9 v10 ) (34 {1} v1 v2 v3 ) (34 {1} v17 v18 v19 ) [ ] 3141] provide[v0 v1 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v2 v20 v21 v4 v5 v6 v7 v8 v9 (54 {1} v12 v13 v14 ) (54 {1} v5 v6 v7 ) (54 {1} v20 v21 v0 ) (54 {1} v4 v5 v6 ) (54 {1} v12 v13 v14 ) (54 {1} v14 v15 v16 ) (54 {1} v6 v7 v8 ) (54 {1} v21 v0 v1 ) (54 {1} v9 v10 v11 ) (54 {1} v21 v0 v1 ) (54 {1} v0 v1 v2 ) (54 {1} v17 v18 v19 ) (54 {1} v19 v20 v21 ) (54 {1} v20 v21 v0 ) (54 {1} v20 v21 v0 ) (54 {1} v19 v20 v21 ) (54 {1} v8 v9 v10 ) (54 {1} v0 v1 v2 ) [ ] 3142] provide[v0 v1 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v2 v20 v21 v3 v4 v5 v6 v7 v8 v9 (32 {1} v6 v7 v8 ) (32 {1} v14 v15 v16 ) (32 {1} v2 v3 v4 ) (32 {1} v12 v13 v14 ) (32 {1} v11 v12 v13 ) (32 {1} v11 v12 v13 ) (32 {1} v17 v18 v19 ) (32 {1} v16 v17 v18 ) (32 {1} v18 v19 v20 ) (32 {1} v12 v13 v14 ) (32 {1} v9 v10 v11 ) (32 {1} v14 v15 v16 ) (32 {1} v2 v3 v4 ) (32 {1} v17 v18 v19 ) (32 {1} v16 v17 v18 ) (32 {1} v9 v10 v11 ) (32 {1} v3 v4 v5 ) (32 {1} v21 v0 v1 ) (32 {1} v8 v9 v10 ) [ ] 3143] ] [acceptor paid 1.0 for challenge 3145. acceptor: 180 offerer: 181 ] [acceptor paid 0.6913146853146853 for challenge 3146. acceptor: 180 offerer: 181 ] [acceptor paid 0.6913146853146853 for challenge 3147. acceptor: 180 offerer: 181 ] playertrans[ 181 offer[3155 all (94 251 ) 0.6913146853146853] offer[3154 all (62 127 ) 0.6913146853146853] offer[3153 all (61 137 144 ) 1.0] offer[3152 secret (20 ) 1.0] accept[3151] accept[3150] accept[3149] accept[3148] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 v22 (61 {1} v21 v9 v6 ) (61 {1} v18 v4 v16 ) (137 {1} v20 v18 v3 ) (137 {1} v7 v11 v16 ) (61 {1} v16 v1 v10 ) (144 {1} v12 v21 v14 ) (144 {1} v20 v3 v18 ) (61 {1} v13 v8 v20 ) (144 {1} v17 v3 v8 ) (144 {1} v12 v18 v2 ) (144 {1} v20 v8 v10 ) (61 {1} v9 v21 v4 ) (144 {1} v6 v15 v12 ) (144 {1} v16 v14 v3 ) (137 {1} v0 v15 v2 ) (144 {1} v1 v9 v21 ) (144 {1} v4 v2 v11 ) (137 {1} v18 v19 v5 ) (61 {1} v15 v19 v20 ) (144 {1} v11 v1 v18 ) (137 {1} v22 v0 v5 ) (137 {1} v1 v11 v10 ) (61 {1} v1 v12 v13 ) (144 {1} v17 v0 v15 ) (61 {1} v11 v2 v17 ) (61 {1} v1 v2 v6 ) (144 {1} v21 v2 v6 ) (61 {1} v2 v16 v5 ) (137 {1} v10 v18 v15 ) (144 {1} v7 v2 v13 ) (137 {1} v20 v18 v1 ) (137 {1} v0 v8 v20 ) (137 {1} v18 v16 v8 ) (61 {1} v2 v9 v1 ) (144 {1} v3 v18 v10 ) (144 {1} v0 v9 v7 ) (61 {1} v20 v16 v2 ) (144 {1} v22 v21 v20 ) (137 {1} v0 v9 v4 ) (144 {1} v0 v7 v12 ) (137 {1} v11 v12 v9 ) (61 {1} v9 v10 v14 ) (61 {1} v13 v22 v17 ) (61 {1} v1 v6 v8 ) (61 {1} v5 v15 v12 ) (137 {1} v10 v0 v14 ) (61 {1} v13 v17 v22 ) (137 {1} v22 v20 v4 ) (144 {1} v13 v7 v18 ) (144 {1} v21 v13 v15 ) (137 {1} v5 v17 v18 ) (144 {1} v5 v1 v17 ) (61 {1} v4 v12 v7 ) (61 {1} v13 v2 v5 ) (137 {1} v18 v6 v15 ) (61 {1} v11 v7 v21 ) (61 {1} v2 v14 v9 ) (137 {1} v5 v18 v19 ) (137 {1} v9 v5 v15 ) (61 {1} v7 v11 v9 ) (137 {1} v1 v16 v0 ) (137 {1} v11 v21 v13 ) (137 {1} v14 v15 v22 ) (61 {1} v11 v19 v8 ) (61 {1} v15 v0 v17 ) (137 {1} v2 v20 v11 ) (144 {1} v9 v22 v17 ) (137 {1} v22 v9 v4 ) (61 {1} v3 v6 v15 ) (144 {1} v2 v21 v3 ) (144 {1} v11 v6 v9 ) (61 {1} v9 v13 v0 ) (61 {1} v11 v8 v21 ) (137 {1} v12 v13 v22 ) (61 {1} v3 v8 v20 ) (137 {1} v6 v12 v17 ) (137 {1} v10 v22 v21 ) (144 {1} v12 v15 v14 ) (144 {1} v18 v9 v10 ) (137 {1} v11 v15 v16 ) (61 {1} v6 v21 v16 ) (144 {1} v0 v6 v4 ) (144 {1} v6 v10 v11 ) (144 {1} v22 v7 v6 ) (144 {1} v0 v20 v21 ) (61 {1} v18 v7 v15 ) (144 {1} v4 v19 v9 ) (137 {1} v18 v19 v15 ) (144 {1} v8 v5 v21 ) (61 {1} v15 v3 v0 ) (61 {1} v5 v21 v2 ) (144 {1} v13 v12 v4 ) (144 {1} v3 v16 v0 ) (144 {1} v16 v8 v4 ) (61 {1} v15 v9 v12 ) (144 {1} v7 v0 v5 ) (61 {1} v15 v14 v16 ) (144 {1} v11 v5 v14 ) (61 {1} v3 v11 v12 ) (61 {1} v15 v20 v14 ) (144 {1} v17 v13 v11 ) (137 {1} v16 v11 v21 ) (137 {1} v0 v4 v9 ) (144 {1} v1 v14 v18 ) (61 {1} v20 v15 v22 ) (144 {1} v3 v0 v7 ) (61 {1} v20 v13 v21 ) (61 {1} v0 v17 v22 ) (137 {1} v3 v4 v11 ) (61 {1} v12 v4 v14 ) (144 {1} v3 v22 v13 ) (144 {1} v0 v9 v6 ) (61 {1} v11 v7 v4 ) (144 {1} v17 v7 v3 ) (144 {1} v3 v6 v14 ) (61 {1} v12 v11 v5 ) (61 {1} v14 v7 v16 ) (144 {1} v7 v21 v8 ) (137 {1} v4 v13 v15 ) (137 {1} v22 v16 v18 ) (144 {1} v10 v19 v22 ) (61 {1} v13 v7 v8 ) (137 {1} v1 v22 v20 ) (61 {1} v11 v3 v8 ) (61 {1} v6 v18 v14 ) (144 {1} v10 v5 v8 ) (61 {1} v22 v18 v21 ) (137 {1} v17 v22 v0 ) (61 {1} v3 v14 v17 ) (144 {1} v1 v13 v12 ) (137 {1} v4 v6 v3 ) (137 {1} v8 v4 v7 ) (137 {1} v10 v16 v17 ) (144 {1} v5 v15 v8 ) (61 {1} v14 v11 v5 ) (137 {1} v18 v21 v10 ) (144 {1} v1 v11 v7 ) (144 {1} v16 v17 v7 ) (137 {1} v10 v0 v12 ) (61 {1} v1 v22 v16 ) (61 {1} v10 v12 v1 ) (61 {1} v2 v0 v4 ) (144 {1} v12 v20 v16 ) (144 {1} v18 v6 v9 ) (144 {1} v7 v9 v21 ) (61 {1} v8 v16 v13 ) (137 {1} v4 v5 v14 ) (144 {1} v19 v20 v3 ) (137 {1} v15 v18 v7 ) (144 {1} v18 v6 v4 ) (137 {1} v9 v5 v3 ) (137 {1} v6 v15 v1 ) (61 {1} v10 v1 v20 ) (61 {1} v7 v1 v8 ) (144 {1} v5 v6 v18 ) (61 {1} v16 v13 v7 ) (137 {1} v2 v21 v4 ) (61 {1} v14 v20 v10 ) (61 {1} v20 v13 v17 ) (61 {1} v17 v14 v10 ) (144 {1} v3 v4 v21 ) (137 {1} v10 v11 v3 ) (61 {1} v22 v7 v0 ) (144 {1} v11 v8 v15 ) (144 {1} v15 v11 v20 ) (137 {1} v12 v1 v5 ) (144 {1} v17 v2 v18 ) (137 {1} v13 v8 v21 ) (61 {1} v15 v16 v21 ) (137 {1} v5 v19 v8 ) (137 {1} v3 v17 v6 ) (144 {1} v13 v21 v8 ) (61 {1} v6 v0 v7 ) (61 {1} v6 v0 v14 ) (137 {1} v17 v0 v21 ) (137 {1} v8 v20 v0 ) (61 {1} v10 v12 v2 ) (61 {1} v11 v0 v22 ) (144 {1} v17 v7 v9 ) (144 {1} v4 v1 v12 ) (144 {1} v21 v20 v7 ) (137 {1} v1 v0 v19 ) (61 {1} v15 v22 v21 ) (61 {1} v8 v14 v12 ) (137 {1} v15 v10 v6 ) (144 {1} v19 v15 v5 ) (137 {1} v8 v10 v15 ) (61 {1} v15 v10 v21 ) (61 {1} v21 v10 v1 ) (144 {1} v14 v15 v16 ) (144 {1} v16 v17 v9 ) (61 {1} v16 v20 v10 ) (61 {1} v9 v12 v17 ) (61 {1} v8 v14 v15 ) (61 {1} v9 v13 v3 ) (144 {1} v8 v6 v1 ) (144 {1} v1 v0 v16 ) (137 {1} v21 v22 v14 ) (144 {1} v16 v0 v18 ) (144 {1} v20 v12 v15 ) (61 {1} v7 v17 v18 ) (61 {1} v9 v12 v11 ) (137 {1} v9 v17 v20 ) (144 {1} v7 v6 v18 ) (144 {1} v21 v12 v13 ) (144 {1} v1 v3 v16 ) (144 {1} v8 v7 v17 ) (137 {1} v17 v14 v7 ) (144 {1} v11 v15 v12 ) (137 {1} v6 v15 v0 ) (144 {1} v13 v4 v6 ) (144 {1} v1 v15 v17 ) (137 {1} v1 v12 v5 ) (144 {1} v22 v11 v6 ) (144 {1} v8 v17 v18 ) (144 {1} v11 v2 v7 ) (137 {1} v1 v5 v17 ) (137 {1} v14 v20 v8 ) (61 {1} v10 v22 v6 ) (61 {1} v3 v20 v22 ) (144 {1} v1 v14 v22 ) (137 {1} v5 v12 v20 ) (61 {1} v15 v12 v22 ) (137 {1} v2 v13 v0 ) (137 {1} v22 v9 v10 ) (144 {1} v11 v16 v18 ) (144 {1} v3 v15 v19 ) (137 {1} v5 v22 v3 ) (137 {1} v4 v6 v3 ) (61 {1} v13 v7 v10 ) (61 {1} v8 v1 v15 ) (137 {1} v13 v14 v2 ) (144 {1} v9 v18 v8 ) (61 {1} v13 v20 v9 ) (137 {1} v18 v7 v0 ) (137 {1} v12 v4 v1 ) (137 {1} v4 v22 v14 ) (144 {1} v0 v2 v12 ) (137 {1} v21 v13 v14 ) (137 {1} v10 v4 v6 ) (144 {1} v21 v2 v1 ) (61 {1} v12 v16 v20 ) (144 {1} v2 v20 v11 ) (144 {1} v11 v16 v4 ) (144 {1} v17 v13 v4 ) (61 {1} v1 v19 v15 ) (61 {1} v6 v16 v14 ) (61 {1} v17 v18 v6 ) (144 {1} v3 v18 v13 ) (137 {1} v14 v11 v0 ) (144 {1} v5 v16 v8 ) (144 {1} v8 v21 v22 ) (144 {1} v8 v16 v22 ) (144 {1} v0 v13 v7 ) (137 {1} v1 v18 v20 ) (137 {1} v19 v8 v9 ) (144 {1} v3 v13 v12 ) (137 {1} v1 v5 v16 ) (61 {1} v8 v11 v22 ) (137 {1} v0 v17 v22 ) (144 {1} v21 v14 v10 ) (144 {1} v21 v15 v4 ) (137 {1} v0 v17 v2 ) (137 {1} v3 v1 v20 ) (144 {1} v1 v13 v22 ) (144 {1} v17 v10 v9 ) (61 {1} v0 v16 v22 ) (144 {1} v18 v17 v15 ) (137 {1} v13 v12 v2 ) (137 {1} v16 v19 v18 ) (61 {1} v3 v5 v16 ) (144 {1} v1 v13 v5 ) (144 {1} v1 v7 v5 ) (137 {1} v5 v9 v11 ) (137 {1} v15 v12 v10 ) (137 {1} v19 v13 v1 ) (144 {1} v1 v14 v20 ) (61 {1} v12 v22 v16 ) (144 {1} v17 v22 v5 ) (137 {1} v10 v12 v15 ) (137 {1} v7 v15 v14 ) (144 {1} v20 v3 v5 ) (144 {1} v4 v19 v17 ) (144 {1} v6 v11 v13 ) (137 {1} v2 v8 v1 ) (144 {1} v10 v5 v12 ) (61 {1} v3 v6 v11 ) (61 {1} v20 v4 v2 ) (137 {1} v17 v0 v22 ) (61 {1} v21 v20 v9 ) (61 {1} v15 v13 v19 ) (144 {1} v20 v7 v2 ) (144 {1} v20 v22 v16 ) (137 {1} v12 v5 v11 ) (61 {1} v3 v2 v20 ) (61 {1} v15 v7 v19 ) (61 {1} v7 v21 v17 ) (137 {1} v17 v6 v14 ) (144 {1} v14 v16 v8 ) (144 {1} v12 v0 v22 ) (137 {1} v5 v18 v10 ) (144 {1} v20 v11 v21 ) (61 {1} v4 v7 v16 ) (61 {1} v22 v2 v14 ) (61 {1} v21 v14 v11 ) (137 {1} v10 v9 v1 ) (61 {1} v3 v4 v11 ) (137 {1} v11 v2 v22 ) (137 {1} v21 v2 v7 ) (137 {1} v13 v7 v22 ) (61 {1} v15 v13 v1 ) (144 {1} v21 v19 v20 ) (144 {1} v0 v10 v16 ) (144 {1} v16 v8 v22 ) (61 {1} v5 v11 v3 ) (144 {1} v7 v12 v20 ) (137 {1} v14 v5 v20 ) (144 {1} v17 v3 v20 ) (137 {1} v1 v19 v5 ) (61 {1} v20 v9 v14 ) (144 {1} v12 v19 v18 ) (144 {1} v14 v8 v17 ) (137 {1} v14 v2 v11 ) (137 {1} v6 v3 v4 ) (144 {1} v15 v0 v21 ) (137 {1} v8 v18 v13 ) (137 {1} v8 v1 v19 ) (144 {1} v19 v8 v20 ) (137 {1} v13 v22 v5 ) (61 {1} v12 v19 v22 ) (61 {1} v8 v6 v17 ) (144 {1} v5 v20 v17 ) (61 {1} v21 v13 v5 ) (144 {1} v10 v14 v1 ) (61 {1} v6 v0 v11 ) (137 {1} v18 v8 v16 ) (144 {1} v20 v7 v10 ) (137 {1} v9 v6 v4 ) (144 {1} v21 v8 v14 ) (137 {1} v15 v22 v12 ) (61 {1} v19 v4 v16 ) (144 {1} v2 v16 v1 ) (137 {1} v18 v14 v22 ) (144 {1} v9 v1 v15 ) (144 {1} v1 v11 v7 ) (137 {1} v0 v7 v2 ) (144 {1} v20 v4 v2 ) (137 {1} v19 v12 v0 ) (137 {1} v3 v15 v2 ) (137 {1} v22 v5 v19 ) (144 {1} v0 v18 v17 ) (61 {1} v20 v3 v7 ) (144 {1} v12 v6 v0 ) (61 {1} v2 v15 v10 ) (61 {1} v4 v2 v13 ) (61 {1} v2 v13 v12 ) (61 {1} v9 v16 v14 ) (61 {1} v15 v6 v3 ) (144 {1} v1 v22 v0 ) (144 {1} v16 v9 v1 ) (144 {1} v2 v17 v7 ) (61 {1} v13 v22 v9 ) (137 {1} v14 v9 v6 ) (144 {1} v17 v3 v6 ) (137 {1} v14 v5 v8 ) (137 {1} v6 v22 v21 ) (144 {1} v16 v10 v11 ) (61 {1} v22 v4 v5 ) (137 {1} v20 v1 v8 ) (61 {1} v11 v16 v15 ) (137 {1} v7 v16 v3 ) (137 {1} v0 v9 v1 ) (137 {1} v13 v6 v0 ) (61 {1} v13 v12 v15 ) (144 {1} v1 v2 v18 ) (61 {1} v7 v1 v12 ) (137 {1} v11 v16 v5 ) (144 {1} v8 v10 v1 ) (61 {1} v6 v11 v2 ) (144 {1} v14 v22 v18 ) (144 {1} v11 v15 v10 ) (61 {1} v12 v9 v5 ) (137 {1} v5 v2 v4 ) (61 {1} v17 v3 v21 ) (144 {1} v9 v22 v13 ) (61 {1} v5 v1 v8 ) (144 {1} v13 v5 v12 ) (144 {1} v18 v2 v17 ) (137 {1} v6 v8 v4 ) (61 {1} v9 v2 v4 ) (144 {1} v11 v5 v13 ) (144 {1} v12 v19 v9 ) (61 {1} v17 v13 v6 ) (137 {1} v4 v10 v0 ) (137 {1} v13 v11 v5 ) (61 {1} v19 v13 v9 ) (61 {1} v7 v10 v6 ) (61 {1} v1 v12 v4 ) (144 {1} v4 v22 v9 ) (137 {1} v13 v5 v12 ) (144 {1} v14 v13 v19 ) (61 {1} v7 v22 v21 ) (144 {1} v16 v7 v20 ) (144 {1} v10 v13 v19 ) (61 {1} v21 v6 v13 ) (144 {1} v15 v11 v7 ) (61 {1} v9 v4 v18 ) (61 {1} v0 v15 v10 ) (137 {1} v0 v17 v18 ) (144 {1} v8 v22 v0 ) (137 {1} v3 v6 v20 ) (61 {1} v10 v13 v0 ) (137 {1} v19 v22 v12 ) (61 {1} v3 v9 v10 ) (61 {1} v11 v19 v13 ) (61 {1} v16 v18 v7 ) (144 {1} v2 v6 v10 ) (137 {1} v16 v3 v1 ) (137 {1} v16 v11 v19 ) (61 {1} v5 v3 v17 ) (61 {1} v1 v2 v3 ) (61 {1} v14 v11 v15 ) (61 {1} v16 v7 v17 ) (61 {1} v5 v7 v3 ) (61 {1} v16 v9 v2 ) (144 {1} v6 v3 v16 ) (144 {1} v3 v6 v7 ) (144 {1} v10 v18 v3 ) (144 {1} v0 v1 v11 ) (144 {1} v12 v4 v1 ) (137 {1} v20 v13 v8 ) (144 {1} v10 v16 v11 ) (144 {1} v5 v11 v17 ) (144 {1} v20 v17 v7 ) (144 {1} v21 v8 v15 ) (144 {1} v9 v7 v14 ) (137 {1} v10 v16 v11 ) (61 {1} v19 v8 v1 ) (144 {1} v6 v0 v10 ) (144 {1} v7 v1 v16 ) (137 {1} v12 v6 v8 ) (61 {1} v12 v16 v13 ) (61 {1} v1 v0 v15 ) (144 {1} v7 v15 v19 ) (144 {1} v20 v9 v7 ) (144 {1} v17 v5 v9 ) (61 {1} v13 v12 v7 ) (137 {1} v5 v18 v20 ) (137 {1} v10 v6 v19 ) (144 {1} v8 v2 v21 ) (61 {1} v5 v7 v15 ) (61 {1} v13 v21 v10 ) (137 {1} v13 v0 v17 ) (144 {1} v4 v5 v1 ) (137 {1} v17 v7 v6 ) (137 {1} v0 v13 v21 ) (61 {1} v17 v3 v19 ) (144 {1} v20 v22 v9 ) (137 {1} v14 v3 v15 ) (144 {1} v7 v9 v0 ) (144 {1} v13 v1 v18 ) (144 {1} v14 v4 v6 ) (144 {1} v16 v5 v3 ) (144 {1} v4 v21 v10 ) (137 {1} v16 v15 v11 ) (137 {1} v16 v19 v9 ) (61 {1} v2 v18 v8 ) (137 {1} v22 v4 v13 ) (137 {1} v18 v20 v8 ) (144 {1} v1 v21 v17 ) (144 {1} v13 v7 v1 ) (144 {1} v5 v18 v21 ) (61 {1} v4 v11 v6 ) (137 {1} v10 v0 v9 ) (61 {1} v0 v22 v10 ) (144 {1} v9 v13 v17 ) (61 {1} v15 v20 v0 ) (137 {1} v1 v13 v21 ) (144 {1} v1 v18 v9 ) (137 {1} v8 v12 v4 ) (61 {1} v12 v8 v14 ) (61 {1} v6 v18 v13 ) (61 {1} v2 v16 v21 ) (61 {1} v3 v16 v4 ) (137 {1} v20 v4 v9 ) (137 {1} v3 v10 v18 ) (144 {1} v8 v16 v21 ) (144 {1} v8 v0 v1 ) (137 {1} v15 v14 v6 ) (144 {1} v17 v5 v12 ) (137 {1} v16 v22 v0 ) (61 {1} v15 v18 v13 ) (144 {1} v15 v6 v13 ) (144 {1} v20 v9 v1 ) (137 {1} v17 v2 v10 ) (61 {1} v7 v13 v10 ) (61 {1} v5 v12 v6 ) (137 {1} v5 v7 v6 ) (61 {1} v22 v7 v16 ) (144 {1} v10 v8 v0 ) (137 {1} v15 v22 v7 ) (137 {1} v9 v10 v20 ) (137 {1} v5 v19 v14 ) (137 {1} v5 v4 v17 ) (61 {1} v14 v22 v12 ) (61 {1} v15 v8 v20 ) (144 {1} v16 v11 v15 ) (144 {1} v19 v6 v2 ) (61 {1} v17 v15 v11 ) (137 {1} v15 v6 v12 ) (61 {1} v1 v6 v4 ) (144 {1} v14 v9 v16 ) (61 {1} v15 v0 v8 ) (61 {1} v5 v6 v11 ) (137 {1} v10 v21 v15 ) (61 {1} v10 v0 v13 ) (61 {1} v19 v4 v18 ) (137 {1} v6 v20 v3 ) (61 {1} v4 v9 v0 ) (137 {1} v0 v15 v22 ) (61 {1} v7 v17 v11 ) (144 {1} v3 v13 v14 ) (61 {1} v20 v8 v15 ) (144 {1} v5 v22 v14 ) (61 {1} v5 v1 v9 ) (144 {1} v14 v8 v4 ) (144 {1} v2 v0 v13 ) (61 {1} v2 v16 v21 ) (61 {1} v9 v17 v5 ) (61 {1} v1 v8 v19 ) (144 {1} v7 v0 v8 ) (61 {1} v7 v13 v18 ) (137 {1} v19 v18 v10 ) (61 {1} v7 v13 v3 ) (61 {1} v1 v11 v15 ) (137 {1} v2 v20 v13 ) (61 {1} v14 v2 v0 ) (61 {1} v13 v17 v4 ) (137 {1} v10 v9 v17 ) (144 {1} v15 v11 v22 ) (61 {1} v15 v6 v2 ) (61 {1} v13 v17 v4 ) (137 {1} v16 v21 v13 ) (61 {1} v17 v14 v21 ) (144 {1} v22 v13 v8 ) (61 {1} v21 v12 v5 ) (137 {1} v2 v8 v7 ) (61 {1} v6 v17 v8 ) (137 {1} v0 v2 v17 ) (61 {1} v1 v4 v7 ) (137 {1} v15 v18 v12 ) (137 {1} v4 v10 v11 ) (144 {1} v5 v13 v21 ) (137 {1} v3 v15 v8 ) (144 {1} v15 v5 v6 ) (61 {1} v0 v8 v20 ) (61 {1} v21 v0 v5 ) (137 {1} v0 v4 v10 ) (144 {1} v17 v3 v5 ) (144 {1} v14 v2 v19 ) (61 {1} v5 v13 v15 ) (144 {1} v20 v17 v3 ) (144 {1} v15 v7 v22 ) (144 {1} v11 v10 v4 ) (144 {1} v11 v3 v18 ) (144 {1} v0 v18 v4 ) (137 {1} v13 v19 v10 ) (61 {1} v17 v8 v18 ) (144 {1} v1 v16 v9 ) (61 {1} v22 v1 v6 ) (144 {1} v17 v15 v18 ) (137 {1} v9 v8 v12 ) (137 {1} v3 v11 v20 ) (144 {1} v6 v0 v10 ) (144 {1} v20 v18 v11 ) (61 {1} v8 v12 v5 ) (144 {1} v6 v19 v1 ) (137 {1} v17 v14 v4 ) (61 {1} v17 v15 v0 ) (137 {1} v1 v4 v9 ) (144 {1} v8 v12 v3 ) (144 {1} v3 v20 v8 ) (144 {1} v4 v9 v20 ) (61 {1} v20 v9 v6 ) (137 {1} v1 v19 v16 ) (144 {1} v14 v11 v15 ) (144 {1} v14 v2 v10 ) (137 {1} v15 v8 v1 ) (137 {1} v2 v9 v22 ) (61 {1} v18 v7 v21 ) (144 {1} v4 v17 v1 ) (144 {1} v8 v20 v21 ) (144 {1} v0 v2 v19 ) (61 {1} v2 v10 v18 ) (144 {1} v3 v19 v7 ) (137 {1} v15 v2 v9 ) (61 {1} v15 v8 v21 ) (137 {1} v7 v0 v21 ) (144 {1} v11 v9 v14 ) (144 {1} v22 v4 v1 ) (144 {1} v2 v5 v7 ) (144 {1} v8 v19 v3 ) (144 {1} v17 v8 v16 ) (137 {1} v14 v18 v2 ) (144 {1} v8 v12 v16 ) (144 {1} v20 v12 v10 ) (144 {1} v11 v15 v22 ) (144 {1} v1 v6 v14 ) (144 {1} v11 v8 v18 ) (137 {1} v16 v13 v0 ) (137 {1} v2 v4 v6 ) (61 {1} v3 v0 v5 ) (61 {1} v18 v17 v16 ) (61 {1} v20 v2 v5 ) (61 {1} v0 v18 v16 ) (61 {1} v0 v6 v9 ) (144 {1} v8 v1 v7 ) (61 {1} v19 v13 v4 ) (137 {1} v5 v10 v13 ) (137 {1} v2 v0 v20 ) (144 {1} v0 v21 v12 ) (144 {1} v9 v8 v5 ) (144 {1} v21 v13 v18 ) (144 {1} v6 v19 v21 ) (61 {1} v5 v22 v16 ) (144 {1} v2 v13 v6 ) (137 {1} v2 v11 v15 ) (137 {1} v1 v0 v18 ) (144 {1} v13 v6 v17 ) (137 {1} v16 v1 v8 ) (61 {1} v6 v20 v0 ) (137 {1} v17 v19 v1 ) (61 {1} v6 v19 v14 ) (61 {1} v10 v0 v11 ) (137 {1} v21 v16 v14 ) (137 {1} v20 v1 v10 ) (61 {1} v10 v3 v1 ) (144 {1} v18 v14 v9 ) (137 {1} v13 v10 v8 ) (144 {1} v20 v0 v13 ) (144 {1} v5 v15 v21 ) (144 {1} v13 v0 v17 ) (137 {1} v3 v2 v18 ) (144 {1} v20 v0 v15 ) (137 {1} v12 v2 v1 ) (144 {1} v3 v15 v14 ) (61 {1} v22 v4 v9 ) (144 {1} v22 v13 v6 ) (137 {1} v2 v20 v16 ) (137 {1} v21 v8 v11 ) (137 {1} v4 v6 v20 ) (137 {1} v16 v3 v21 ) (137 {1} v3 v20 v2 ) (61 {1} v8 v5 v17 ) (144 {1} v19 v9 v10 ) (61 {1} v6 v17 v11 ) (137 {1} v16 v18 v8 ) (61 {1} v0 v11 v9 ) (61 {1} v7 v5 v17 ) (144 {1} v0 v5 v17 ) (144 {1} v6 v15 v16 ) (61 {1} v16 v13 v9 ) (137 {1} v5 v13 v4 ) (61 {1} v8 v21 v14 ) (137 {1} v18 v17 v13 ) (61 {1} v18 v19 v14 ) (61 {1} v15 v14 v7 ) (61 {1} v13 v11 v20 ) (137 {1} v10 v21 v8 ) (61 {1} v16 v3 v9 ) (137 {1} v16 v5 v13 ) (61 {1} v18 v7 v3 ) (144 {1} v8 v21 v6 ) (137 {1} v12 v15 v10 ) (137 {1} v18 v19 v1 ) (144 {1} v19 v12 v11 ) (144 {1} v20 v13 v21 ) (137 {1} v11 v19 v14 ) (137 {1} v17 v2 v4 ) (144 {1} v15 v11 v0 ) (144 {1} v9 v11 v22 ) (61 {1} v3 v8 v15 ) (137 {1} v13 v0 v18 ) (144 {1} v14 v17 v10 ) (144 {1} v16 v19 v6 ) (61 {1} v6 v3 v1 ) (61 {1} v5 v13 v20 ) (144 {1} v21 v15 v18 ) (144 {1} v14 v3 v19 ) (144 {1} v0 v18 v6 ) (144 {1} v11 v1 v5 ) (144 {1} v18 v11 v20 ) (144 {1} v9 v3 v19 ) (61 {1} v21 v17 v6 ) (137 {1} v11 v19 v3 ) (137 {1} v1 v2 v21 ) (144 {1} v20 v6 v9 ) (144 {1} v3 v17 v11 ) (61 {1} v3 v9 v12 ) (144 {1} v5 v7 v15 ) (61 {1} v17 v7 v16 ) (144 {1} v11 v1 v10 ) (137 {1} v21 v10 v18 ) (144 {1} v0 v15 v14 ) (61 {1} v13 v6 v10 ) (137 {1} v20 v3 v18 ) (61 {1} v13 v17 v3 ) (61 {1} v9 v0 v19 ) (144 {1} v9 v22 v1 ) (61 {1} v10 v12 v18 ) (137 {1} v20 v9 v7 ) (61 {1} v5 v1 v0 ) (61 {1} v4 v13 v22 ) (144 {1} v5 v12 v11 ) (137 {1} v8 v12 v7 ) (61 {1} v20 v9 v2 ) (144 {1} v9 v20 v18 ) (144 {1} v14 v4 v5 ) (144 {1} v10 v16 v9 ) (61 {1} v12 v5 v6 ) (144 {1} v15 v18 v3 ) (61 {1} v0 v10 v20 ) (137 {1} v21 v18 v10 ) (137 {1} v1 v2 v21 ) (137 {1} v10 v9 v16 ) (61 {1} v7 v18 v14 ) (144 {1} v8 v10 v14 ) (144 {1} v4 v18 v10 ) (144 {1} v0 v13 v12 ) (144 {1} v22 v8 v20 ) (137 {1} v11 v2 v5 ) (61 {1} v11 v16 v7 ) (61 {1} v11 v19 v16 ) (144 {1} v21 v20 v5 ) (61 {1} v4 v18 v2 ) (137 {1} v5 v22 v12 ) (61 {1} v0 v1 v7 ) (144 {1} v1 v13 v5 ) (137 {1} v13 v11 v21 ) (137 {1} v7 v14 v5 ) (144 {1} v20 v1 v15 ) (144 {1} v6 v1 v8 ) (144 {1} v3 v20 v17 ) (144 {1} v18 v2 v12 ) (61 {1} v20 v19 v6 ) (144 {1} v3 v5 v18 ) (144 {1} v13 v19 v4 ) (144 {1} v5 v4 v12 ) (61 {1} v2 v8 v14 ) (61 {1} v1 v17 v4 ) (61 {1} v17 v22 v5 ) (61 {1} v14 v12 v6 ) (61 {1} v0 v1 v2 ) (61 {1} v6 v2 v12 ) (61 {1} v18 v10 v0 ) (144 {1} v18 v0 v11 ) (61 {1} v14 v5 v10 ) (137 {1} v5 v19 v15 ) (61 {1} v2 v13 v22 ) (61 {1} v3 v8 v1 ) (144 {1} v15 v11 v10 ) (61 {1} v21 v13 v12 ) (61 {1} v9 v20 v1 ) (137 {1} v8 v14 v6 ) (61 {1} v3 v1 v18 ) (61 {1} v6 v11 v22 ) (144 {1} v22 v19 v0 ) (61 {1} v3 v6 v0 ) (61 {1} v4 v1 v17 ) (137 {1} v6 v2 v12 ) (144 {1} v7 v6 v3 ) (144 {1} v11 v21 v0 ) (137 {1} v7 v12 v21 ) (61 {1} v22 v2 v0 ) (61 {1} v3 v5 v6 ) (61 {1} v5 v0 v4 ) (61 {1} v10 v21 v3 ) (61 {1} v22 v14 v6 ) (137 {1} v1 v7 v21 ) (61 {1} v0 v18 v22 ) (144 {1} v2 v8 v9 ) (137 {1} v0 v10 v2 ) (137 {1} v16 v1 v17 ) (137 {1} v15 v17 v14 ) (144 {1} v1 v2 v17 ) (137 {1} v16 v5 v0 ) (137 {1} v7 v15 v20 ) (61 {1} v3 v13 v21 ) (137 {1} v8 v0 v7 ) (137 {1} v2 v16 v14 ) (61 {1} v8 v12 v2 ) (61 {1} v14 v17 v0 ) (61 {1} v6 v9 v20 ) (61 {1} v8 v14 v5 ) (144 {1} v2 v3 v20 ) (144 {1} v0 v21 v13 ) (61 {1} v7 v15 v1 ) (61 {1} v16 v13 v4 ) (144 {1} v13 v15 v4 ) (137 {1} v11 v6 v3 ) (144 {1} v4 v10 v8 ) (61 {1} v13 v6 v11 ) (144 {1} v11 v3 v12 ) (144 {1} v15 v13 v2 ) (137 {1} v9 v15 v2 ) (144 {1} v3 v6 v1 ) (61 {1} v1 v4 v15 ) (137 {1} v1 v14 v9 ) (137 {1} v4 v0 v7 ) (61 {1} v14 v2 v6 ) (137 {1} v10 v20 v21 ) (61 {1} v7 v16 v2 ) (137 {1} v4 v6 v22 ) (61 {1} v6 v15 v14 ) (61 {1} v14 v11 v7 ) (137 {1} v5 v8 v14 ) (144 {1} v8 v18 v2 ) (144 {1} v19 v7 v3 ) (144 {1} v5 v14 v8 ) (144 {1} v16 v3 v11 ) (144 {1} v2 v0 v1 ) (137 {1} v11 v7 v15 ) (137 {1} v9 v13 v15 ) (61 {1} v6 v12 v3 ) (144 {1} v13 v14 v17 ) (144 {1} v15 v8 v7 ) (61 {1} v1 v6 v18 ) (144 {1} v13 v19 v15 ) (61 {1} v18 v4 v20 ) (61 {1} v15 v8 v9 ) (61 {1} v7 v0 v19 ) (61 {1} v11 v1 v3 ) (144 {1} v2 v16 v0 ) (61 {1} v0 v19 v7 ) (144 {1} v13 v14 v12 ) (137 {1} v21 v19 v18 ) (61 {1} v9 v6 v3 ) (137 {1} v12 v4 v16 ) (144 {1} v13 v21 v15 ) (144 {1} v5 v20 v17 ) (137 {1} v2 v8 v9 ) (144 {1} v2 v19 v16 ) (61 {1} v1 v8 v18 ) (144 {1} v21 v14 v0 ) (61 {1} v2 v13 v6 ) (61 {1} v2 v21 v22 ) (144 {1} v7 v12 v22 ) (137 {1} v12 v7 v18 ) (61 {1} v22 v2 v12 ) (144 {1} v19 v11 v14 ) (61 {1} v21 v8 v10 ) (144 {1} v22 v9 v7 ) (137 {1} v22 v13 v18 ) (61 {1} v12 v0 v3 ) (144 {1} v5 v19 v11 ) (144 {1} v6 v11 v2 ) (144 {1} v10 v4 v9 ) (61 {1} v21 v1 v4 ) (144 {1} v12 v13 v6 ) (144 {1} v3 v22 v6 ) (144 {1} v1 v19 v2 ) (61 {1} v12 v5 v21 ) (61 {1} v6 v0 v18 ) (61 {1} v22 v12 v11 ) (137 {1} v8 v22 v12 ) (144 {1} v12 v14 v2 ) (61 {1} v9 v8 v17 ) (144 {1} v10 v6 v20 ) (61 {1} v0 v1 v10 ) (144 {1} v13 v3 v21 ) (144 {1} v4 v18 v12 ) (137 {1} v11 v16 v4 ) (137 {1} v22 v17 v11 ) (144 {1} v2 v0 v12 ) (137 {1} v20 v14 v21 ) (144 {1} v4 v13 v21 ) (137 {1} v22 v5 v6 ) (61 {1} v15 v19 v8 ) (61 {1} v6 v11 v8 ) (144 {1} v20 v22 v7 ) (61 {1} v9 v3 v21 ) (144 {1} v22 v9 v2 ) (137 {1} v9 v16 v3 ) (61 {1} v5 v21 v17 ) (144 {1} v1 v18 v20 ) (144 {1} v12 v2 v17 ) (144 {1} v21 v18 v15 ) (61 {1} v4 v1 v6 ) (137 {1} v12 v16 v2 ) (61 {1} v12 v20 v2 ) (61 {1} v10 v11 v2 ) (61 {1} v13 v12 v20 ) (137 {1} v9 v22 v13 ) (61 {1} v2 v12 v20 ) (61 {1} v7 v18 v15 ) (144 {1} v6 v13 v21 ) (137 {1} v2 v5 v1 ) (137 {1} v2 v15 v7 ) (137 {1} v3 v2 v15 ) (144 {1} v16 v4 v5 ) (61 {1} v20 v11 v2 ) (144 {1} v0 v5 v21 ) (137 {1} v22 v14 v9 ) (144 {1} v3 v6 v15 ) (61 {1} v9 v15 v3 ) (137 {1} v5 v2 v3 ) (61 {1} v1 v8 v15 ) (144 {1} v18 v20 v14 ) (144 {1} v19 v7 v6 ) (144 {1} v17 v3 v13 ) (144 {1} v14 v17 v1 ) (61 {1} v18 v16 v17 ) (61 {1} v12 v8 v18 ) (137 {1} v16 v4 v8 ) (144 {1} v20 v1 v12 ) (61 {1} v10 v14 v19 ) (144 {1} v9 v13 v3 ) (61 {1} v12 v2 v5 ) (144 {1} v3 v15 v7 ) (61 {1} v1 v14 v9 ) (144 {1} v1 v18 v10 ) (137 {1} v9 v15 v17 ) (61 {1} v12 v6 v7 ) (144 {1} v9 v8 v17 ) (144 {1} v13 v17 v9 ) (61 {1} v11 v12 v2 ) (137 {1} v21 v5 v12 ) (137 {1} v7 v11 v3 ) (137 {1} v9 v16 v10 ) (61 {1} v20 v16 v14 ) (144 {1} v11 v10 v3 ) (61 {1} v9 v0 v6 ) (144 {1} v2 v22 v13 ) (137 {1} v22 v5 v3 ) (137 {1} v19 v5 v21 ) (137 {1} v14 v8 v7 ) (61 {1} v0 v19 v7 ) (144 {1} v19 v5 v8 ) (137 {1} v15 v14 v13 ) (144 {1} v5 v0 v15 ) (61 {1} v17 v15 v1 ) (144 {1} v8 v1 v6 ) (144 {1} v1 v7 v6 ) (61 {1} v16 v4 v5 ) (137 {1} v21 v14 v13 ) (137 {1} v15 v12 v7 ) (137 {1} v13 v12 v19 ) (144 {1} v22 v21 v14 ) (144 {1} v21 v3 v9 ) (144 {1} v19 v2 v11 ) (61 {1} v4 v2 v22 ) (144 {1} v4 v21 v0 ) (137 {1} v2 v22 v16 ) (144 {1} v6 v13 v16 ) (137 {1} v22 v19 v20 ) (61 {1} v12 v10 v11 ) (61 {1} v7 v6 v5 ) (61 {1} v9 v6 v14 ) (137 {1} v6 v7 v21 ) (137 {1} v13 v15 v11 ) (61 {1} v6 v5 v17 ) (61 {1} v13 v12 v9 ) (137 {1} v11 v22 v14 ) (61 {1} v9 v20 v14 ) (61 {1} v0 v8 v14 ) (61 {1} v16 v3 v15 ) (61 {1} v12 v14 v0 ) (137 {1} v16 v2 v12 ) (137 {1} v4 v10 v9 ) (137 {1} v18 v5 v9 ) (137 {1} v9 v16 v21 ) (137 {1} v9 v21 v4 ) (137 {1} v7 v21 v1 ) (144 {1} v6 v1 v13 ) (137 {1} v13 v3 v22 ) (144 {1} v13 v18 v10 ) (61 {1} v20 v4 v11 ) (61 {1} v22 v19 v18 ) (137 {1} v16 v10 v12 ) (61 {1} v22 v11 v4 ) (137 {1} v9 v13 v2 ) (144 {1} v5 v6 v15 ) (144 {1} v18 v1 v10 ) (137 {1} v2 v15 v1 ) (144 {1} v1 v19 v8 ) (61 {1} v13 v8 v21 ) (61 {1} v16 v13 v7 ) (61 {1} v4 v1 v13 ) (137 {1} v7 v12 v16 ) (61 {1} v17 v16 v6 ) (144 {1} v5 v15 v6 ) (137 {1} v9 v14 v5 ) (144 {1} v0 v16 v9 ) (137 {1} v14 v4 v6 ) (61 {1} v3 v13 v8 ) (144 {1} v14 v18 v13 ) (137 {1} v16 v19 v20 ) (144 {1} v17 v15 v10 ) (137 {1} v20 v4 v18 ) (61 {1} v0 v16 v4 ) (144 {1} v2 v11 v14 ) (144 {1} v3 v16 v22 ) (137 {1} v3 v7 v16 ) (61 {1} v2 v13 v21 ) (137 {1} v5 v9 v7 ) (137 {1} v17 v0 v18 ) (144 {1} v6 v14 v8 ) (61 {1} v22 v0 v4 ) (61 {1} v2 v19 v7 ) (61 {1} v22 v10 v9 ) (144 {1} v5 v7 v21 ) (144 {1} v6 v10 v13 ) (61 {1} v12 v2 v20 ) (144 {1} v20 v0 v1 ) (144 {1} v11 v6 v18 ) (144 {1} v3 v0 v14 ) (144 {1} v1 v18 v5 ) (137 {1} v20 v13 v6 ) (61 {1} v9 v10 v3 ) (137 {1} v2 v22 v13 ) (61 {1} v5 v12 v11 ) (144 {1} v10 v4 v0 ) (137 {1} v9 v13 v10 ) (137 {1} v17 v8 v1 ) (61 {1} v2 v8 v11 ) (61 {1} v4 v19 v18 ) (137 {1} v9 v3 v16 ) (137 {1} v2 v19 v13 ) (61 {1} v2 v5 v14 ) (137 {1} v17 v6 v19 ) (61 {1} v8 v15 v4 ) (137 {1} v6 v15 v2 ) (144 {1} v20 v8 v22 ) (144 {1} v5 v21 v7 ) (137 {1} v21 v11 v2 ) (61 {1} v11 v16 v3 ) (144 {1} v7 v17 v0 ) (61 {1} v18 v22 v21 ) (137 {1} v3 v22 v1 ) (137 {1} v10 v0 v6 ) (137 {1} v2 v19 v7 ) (61 {1} v19 v22 v4 ) (144 {1} v7 v6 v0 ) (137 {1} v11 v21 v4 ) (61 {1} v12 v20 v21 ) (137 {1} v12 v6 v3 ) (144 {1} v6 v14 v8 ) (144 {1} v20 v10 v13 ) (137 {1} v20 v10 v1 ) (137 {1} v14 v4 v8 ) (144 {1} v13 v1 v10 ) (61 {1} v16 v7 v20 ) (137 {1} v8 v15 v1 ) (61 {1} v22 v9 v3 ) (61 {1} v16 v1 v18 ) (61 {1} v21 v3 v5 ) (144 {1} v4 v17 v15 ) (61 {1} v2 v6 v22 ) (61 {1} v18 v14 v0 ) (137 {1} v16 v18 v4 ) (137 {1} v11 v3 v21 ) (137 {1} v0 v11 v12 ) (61 {1} v22 v19 v18 ) (144 {1} v3 v12 v15 ) (61 {1} v15 v5 v0 ) (137 {1} v22 v18 v3 ) (61 {1} v22 v6 v2 ) (61 {1} v12 v9 v4 ) (137 {1} v12 v0 v10 ) (137 {1} v16 v20 v10 ) (137 {1} v4 v20 v16 ) (144 {1} v19 v12 v16 ) (144 {1} v12 v0 v1 ) (144 {1} v4 v20 v8 ) (137 {1} v0 v11 v22 ) (144 {1} v18 v7 v10 ) (61 {1} v20 v18 v1 ) (137 {1} v0 v21 v3 ) (137 {1} v11 v22 v8 ) (144 {1} v18 v22 v7 ) (144 {1} v19 v18 v11 ) (61 {1} v10 v17 v22 ) (137 {1} v21 v15 v2 ) (144 {1} v9 v12 v19 ) (137 {1} v20 v19 v3 ) (61 {1} v1 v14 v9 ) (137 {1} v14 v7 v6 ) (61 {1} v10 v7 v2 ) (144 {1} v12 v9 v19 ) (61 {1} v16 v12 v0 ) (144 {1} v4 v10 v9 ) (144 {1} v4 v21 v22 ) (144 {1} v12 v21 v0 ) (61 {1} v10 v16 v11 ) (61 {1} v7 v13 v16 ) (137 {1} v21 v18 v13 ) (144 {1} v21 v9 v4 ) (144 {1} v18 v13 v3 ) (137 {1} v11 v16 v19 ) (144 {1} v20 v5 v3 ) (144 {1} v5 v10 v12 ) (144 {1} v8 v17 v4 ) (137 {1} v15 v14 v10 ) (61 {1} v15 v7 v4 ) (144 {1} v11 v22 v1 ) (144 {1} v19 v3 v13 ) (144 {1} v17 v13 v1 ) (144 {1} v21 v20 v3 ) (61 {1} v7 v14 v5 ) (144 {1} v13 v8 v9 ) (137 {1} v1 v10 v17 ) (61 {1} v9 v17 v20 ) (61 {1} v0 v19 v1 ) (137 {1} v6 v19 v7 ) (61 {1} v13 v0 v16 ) (144 {1} v21 v14 v4 ) (61 {1} v7 v1 v22 ) (61 {1} v11 v17 v22 ) (137 {1} v8 v17 v21 ) (61 {1} v11 v3 v5 ) (137 {1} v12 v11 v15 ) (137 {1} v11 v3 v4 ) (144 {1} v16 v3 v2 ) (144 {1} v3 v19 v14 ) (137 {1} v6 v11 v1 ) (144 {1} v15 v3 v18 ) (137 {1} v7 v14 v12 ) (144 {1} v18 v19 v13 ) (61 {1} v3 v4 v9 ) (137 {1} v11 v12 v18 ) (144 {1} v22 v15 v13 ) (61 {1} v13 v7 v6 ) (144 {1} v17 v5 v1 ) (61 {1} v20 v14 v11 ) (61 {1} v2 v5 v0 ) (61 {1} v12 v19 v22 ) (144 {1} v10 v12 v0 ) (144 {1} v14 v0 v13 ) (61 {1} v16 v2 v13 ) (137 {1} v2 v18 v5 ) (61 {1} v21 v20 v10 ) (137 {1} v5 v9 v11 ) (61 {1} v4 v12 v14 ) (144 {1} v8 v20 v4 ) (144 {1} v15 v4 v13 ) (144 {1} v22 v4 v12 ) (144 {1} v2 v13 v1 ) (144 {1} v13 v19 v0 ) (61 {1} v10 v3 v21 ) (137 {1} v3 v16 v21 ) (61 {1} v0 v11 v5 ) (144 {1} v7 v19 v16 ) (137 {1} v15 v10 v8 ) (144 {1} v7 v19 v0 ) (137 {1} v16 v21 v2 ) (144 {1} v21 v16 v9 ) (137 {1} v16 v10 v5 ) (144 {1} v19 v12 v6 ) (137 {1} v21 v2 v1 ) (61 {1} v14 v2 v18 ) (61 {1} v15 v11 v10 ) (144 {1} v15 v3 v16 ) (144 {1} v0 v14 v1 ) (137 {1} v21 v14 v18 ) (144 {1} v17 v0 v9 ) (61 {1} v14 v9 v17 ) (61 {1} v19 v22 v0 ) (144 {1} v18 v7 v14 ) (137 {1} v15 v19 v12 ) (137 {1} v21 v13 v0 ) (137 {1} v17 v3 v12 ) (61 {1} v4 v21 v12 ) (137 {1} v0 v14 v8 ) (144 {1} v20 v11 v12 ) (144 {1} v16 v6 v5 ) (137 {1} v8 v11 v22 ) (144 {1} v2 v7 v18 ) (144 {1} v17 v7 v19 ) (144 {1} v8 v11 v9 ) (144 {1} v5 v11 v16 ) (137 {1} v20 v18 v13 ) (61 {1} v13 v10 v12 ) (144 {1} v12 v19 v20 ) (61 {1} v18 v22 v17 ) (61 {1} v12 v10 v15 ) (137 {1} v15 v12 v14 ) (137 {1} v22 v16 v12 ) (137 {1} v15 v9 v16 ) (61 {1} v18 v13 v22 ) (137 {1} v9 v13 v21 ) (61 {1} v17 v11 v14 ) (61 {1} v9 v18 v15 ) (61 {1} v22 v21 v12 ) (144 {1} v15 v21 v5 ) (144 {1} v6 v16 v22 ) (144 {1} v22 v8 v13 ) (144 {1} v5 v12 v20 ) (144 {1} v20 v7 v15 ) (61 {1} v7 v10 v12 ) (144 {1} v17 v0 v6 ) (61 {1} v13 v14 v19 ) (61 {1} v21 v8 v18 ) (144 {1} v14 v12 v0 ) (144 {1} v14 v13 v9 ) (61 {1} v18 v4 v2 ) (137 {1} v9 v14 v11 ) (144 {1} v1 v6 v22 ) (137 {1} v9 v4 v7 ) (61 {1} v4 v18 v12 ) (137 {1} v7 v15 v6 ) (137 {1} v17 v4 v2 ) (144 {1} v16 v17 v11 ) (61 {1} v0 v9 v16 ) (61 {1} v3 v14 v5 ) (61 {1} v21 v7 v3 ) (137 {1} v4 v12 v6 ) (61 {1} v4 v3 v21 ) (137 {1} v8 v12 v7 ) (61 {1} v7 v0 v6 ) (61 {1} v12 v17 v5 ) (61 {1} v3 v10 v22 ) (144 {1} v2 v4 v0 ) (144 {1} v4 v9 v8 ) (61 {1} v15 v12 v7 ) (137 {1} v10 v19 v18 ) (144 {1} v17 v20 v15 ) (137 {1} v8 v15 v11 ) (61 {1} v2 v17 v4 ) (144 {1} v19 v13 v9 ) (137 {1} v9 v20 v6 ) (137 {1} v5 v9 v2 ) (144 {1} v4 v7 v14 ) (137 {1} v16 v1 v17 ) (144 {1} v14 v11 v18 ) (61 {1} v16 v18 v12 ) (137 {1} v11 v19 v15 ) (144 {1} v8 v10 v20 ) (137 {1} v19 v1 v13 ) (137 {1} v16 v12 v10 ) (137 {1} v18 v4 v5 ) (61 {1} v19 v4 v5 ) (137 {1} v17 v21 v18 ) (137 {1} v17 v7 v2 ) (137 {1} v22 v12 v15 ) (61 {1} v4 v13 v11 ) (144 {1} v7 v13 v10 ) (144 {1} v0 v10 v7 ) (144 {1} v16 v8 v9 ) (144 {1} v5 v20 v13 ) (144 {1} v17 v9 v2 ) (144 {1} v10 v17 v1 ) (144 {1} v15 v19 v3 ) (61 {1} v11 v17 v20 ) (144 {1} v18 v0 v10 ) (61 {1} v14 v19 v13 ) (137 {1} v12 v17 v1 ) (61 {1} v14 v12 v22 ) (144 {1} v2 v21 v19 ) (61 {1} v17 v1 v21 ) (137 {1} v18 v19 v1 ) (137 {1} v10 v19 v3 ) (144 {1} v14 v11 v2 ) (61 {1} v19 v5 v12 ) (137 {1} v6 v19 v16 ) (144 {1} v22 v20 v5 ) (144 {1} v5 v2 v1 ) (137 {1} v20 v10 v5 ) (61 {1} v22 v0 v2 ) (137 {1} v21 v9 v19 ) (137 {1} v15 v5 v18 ) (137 {1} v6 v11 v10 ) (144 {1} v17 v1 v22 ) (61 {1} v22 v12 v20 ) (144 {1} v19 v12 v11 ) (137 {1} v22 v18 v13 ) (137 {1} v12 v2 v22 ) (144 {1} v18 v12 v7 ) (144 {1} v1 v7 v8 ) (61 {1} v21 v17 v14 ) (61 {1} v13 v17 v2 ) (61 {1} v18 v6 v13 ) (137 {1} v17 v15 v10 ) (61 {1} v13 v7 v10 ) (137 {1} v19 v11 v14 ) (144 {1} v10 v4 v11 ) (137 {1} v2 v10 v1 ) (144 {1} v15 v12 v10 ) (61 {1} v11 v8 v1 ) (61 {1} v11 v5 v10 ) (144 {1} v15 v8 v5 ) (144 {1} v10 v13 v3 ) (137 {1} v14 v18 v15 ) (61 {1} v13 v6 v22 ) (137 {1} v13 v1 v0 ) (137 {1} v4 v0 v5 ) (144 {1} v12 v17 v5 ) (144 {1} v3 v12 v5 ) (137 {1} v6 v8 v7 ) (137 {1} v9 v12 v17 ) (144 {1} v10 v3 v8 ) (61 {1} v4 v21 v9 ) (144 {1} v18 v19 v11 ) (144 {1} v18 v12 v17 ) (144 {1} v1 v2 v4 ) (137 {1} v17 v1 v7 ) (61 {1} v2 v16 v0 ) (61 {1} v14 v8 v1 ) (137 {1} v12 v19 v14 ) (144 {1} v9 v0 v21 ) (61 {1} v8 v16 v21 ) (61 {1} v3 v20 v15 ) (144 {1} v9 v4 v17 ) (61 {1} v13 v17 v7 ) (61 {1} v5 v17 v19 ) (144 {1} v7 v17 v8 ) (144 {1} v2 v19 v8 ) (61 {1} v15 v4 v5 ) (61 {1} v11 v21 v6 ) (61 {1} v21 v14 v2 ) (61 {1} v3 v6 v8 ) (137 {1} v18 v9 v5 ) (61 {1} v18 v2 v0 ) (61 {1} v6 v9 v11 ) (61 {1} v9 v0 v19 ) (144 {1} v1 v11 v13 ) (144 {1} v15 v7 v9 ) (61 {1} v7 v4 v22 ) (137 {1} v7 v6 v18 ) (137 {1} v2 v7 v3 ) (61 {1} v20 v19 v18 ) (144 {1} v17 v14 v19 ) (137 {1} v7 v14 v0 ) (137 {1} v18 v13 v2 ) (137 {1} v12 v2 v7 ) (144 {1} v18 v17 v22 ) (61 {1} v10 v15 v5 ) (144 {1} v14 v10 v6 ) (144 {1} v0 v20 v12 ) (61 {1} v15 v3 v21 ) (144 {1} v11 v10 v20 ) (144 {1} v19 v5 v7 ) (61 {1} v8 v22 v18 ) (144 {1} v8 v2 v9 ) (137 {1} v0 v7 v13 ) (61 {1} v11 v7 v17 ) (61 {1} v6 v3 v15 ) (144 {1} v15 v16 v21 ) (144 {1} v9 v13 v10 ) (137 {1} v14 v7 v5 ) (144 {1} v1 v6 v22 ) (61 {1} v5 v22 v1 ) (137 {1} v13 v3 v19 ) (61 {1} v14 v6 v4 ) (137 {1} v20 v22 v14 ) (61 {1} v19 v4 v12 ) (137 {1} v4 v7 v8 ) (137 {1} v0 v4 v11 ) (144 {1} v14 v5 v12 ) (61 {1} v7 v8 v20 ) (137 {1} v17 v9 v18 ) (137 {1} v17 v16 v11 ) (144 {1} v7 v17 v8 ) (144 {1} v14 v19 v17 ) (61 {1} v3 v10 v0 ) (144 {1} v4 v14 v6 ) (61 {1} v18 v17 v15 ) (144 {1} v17 v19 v20 ) (137 {1} v2 v9 v4 ) (137 {1} v14 v15 v8 ) (61 {1} v7 v4 v3 ) (144 {1} v19 v10 v7 ) (144 {1} v3 v2 v5 ) (61 {1} v2 v9 v5 ) (137 {1} v19 v2 v18 ) (137 {1} v6 v9 v18 ) (137 {1} v14 v16 v3 ) (144 {1} v22 v21 v16 ) (144 {1} v12 v18 v9 ) (137 {1} v12 v21 v10 ) (144 {1} v19 v7 v8 ) (137 {1} v1 v14 v12 ) (137 {1} v22 v4 v20 ) (137 {1} v21 v7 v1 ) (61 {1} v20 v8 v14 ) (137 {1} v22 v0 v9 ) (144 {1} v4 v11 v0 ) (61 {1} v21 v4 v16 ) (144 {1} v15 v12 v2 ) (61 {1} v7 v6 v10 ) (144 {1} v17 v0 v18 ) (61 {1} v8 v18 v4 ) (137 {1} v21 v13 v9 ) (137 {1} v4 v1 v8 ) (61 {1} v16 v21 v10 ) (144 {1} v22 v15 v1 ) (137 {1} v10 v19 v20 ) (61 {1} v1 v21 v18 ) (137 {1} v6 v2 v11 ) (61 {1} v1 v8 v7 ) (137 {1} v12 v3 v14 ) (137 {1} v7 v22 v9 ) (61 {1} v20 v16 v13 ) (144 {1} v22 v10 v12 ) (137 {1} v3 v7 v15 ) (144 {1} v7 v10 v17 ) (61 {1} v1 v14 v21 ) (137 {1} v21 v5 v8 ) (144 {1} v0 v2 v10 ) (137 {1} v0 v3 v5 ) (144 {1} v12 v2 v15 ) (137 {1} v2 v5 v12 ) (137 {1} v22 v12 v18 ) (61 {1} v9 v16 v11 ) (137 {1} v18 v17 v11 ) (61 {1} v7 v17 v21 ) (137 {1} v12 v22 v17 ) (144 {1} v15 v14 v22 ) (61 {1} v11 v7 v1 ) (137 {1} v15 v14 v6 ) (144 {1} v11 v14 v0 ) (144 {1} v21 v15 v5 ) (61 {1} v0 v17 v16 ) (144 {1} v14 v3 v10 ) (144 {1} v16 v5 v6 ) (137 {1} v7 v16 v15 ) (144 {1} v11 v21 v0 ) (61 {1} v12 v5 v1 ) (137 {1} v12 v6 v11 ) (61 {1} v13 v4 v15 ) (61 {1} v17 v4 v13 ) (137 {1} v9 v8 v2 ) (137 {1} v19 v16 v2 ) (61 {1} v2 v19 v0 ) (61 {1} v12 v15 v13 ) (144 {1} v5 v16 v2 ) (61 {1} v13 v12 v1 ) (61 {1} v9 v2 v4 ) (61 {1} v20 v22 v3 ) (137 {1} v16 v5 v0 ) (61 {1} v10 v12 v8 ) (137 {1} v11 v9 v5 ) (144 {1} v11 v16 v2 ) (61 {1} v15 v3 v22 ) (137 {1} v13 v3 v14 ) (137 {1} v4 v20 v21 ) (61 {1} v16 v21 v12 ) (137 {1} v13 v19 v2 ) (144 {1} v2 v12 v8 ) (144 {1} v15 v22 v19 ) (137 {1} v2 v1 v19 ) (137 {1} v7 v18 v20 ) (61 {1} v19 v13 v14 ) (61 {1} v10 v13 v5 ) (61 {1} v4 v11 v2 ) (137 {1} v13 v16 v9 ) (61 {1} v5 v22 v17 ) (144 {1} v19 v9 v14 ) (61 {1} v16 v0 v20 ) (144 {1} v21 v19 v7 ) (61 {1} v13 v10 v18 ) (137 {1} v4 v19 v1 ) (137 {1} v11 v4 v21 ) (137 {1} v22 v11 v0 ) (144 {1} v8 v16 v18 ) (144 {1} v13 v6 v3 ) (61 {1} v6 v19 v8 ) (61 {1} v8 v21 v22 ) (137 {1} v21 v12 v10 ) (144 {1} v6 v3 v20 ) (144 {1} v13 v5 v14 ) (144 {1} v6 v8 v10 ) (144 {1} v19 v1 v22 ) (144 {1} v10 v1 v12 ) (61 {1} v15 v4 v20 ) (144 {1} v1 v5 v3 ) (144 {1} v10 v12 v5 ) (137 {1} v21 v22 v3 ) (144 {1} v6 v8 v13 ) (137 {1} v12 v2 v0 ) (137 {1} v2 v6 v0 ) (137 {1} v22 v18 v10 ) (61 {1} v0 v16 v3 ) (137 {1} v20 v0 v15 ) (137 {1} v6 v9 v16 ) (144 {1} v14 v3 v11 ) (144 {1} v20 v10 v1 ) (61 {1} v17 v13 v5 ) (137 {1} v13 v7 v5 ) (137 {1} v19 v16 v8 ) (61 {1} v14 v16 v21 ) (61 {1} v15 v18 v3 ) (144 {1} v5 v1 v8 ) (61 {1} v8 v22 v17 ) (144 {1} v14 v11 v5 ) (137 {1} v20 v17 v16 ) (137 {1} v5 v16 v8 ) (61 {1} v19 v8 v16 ) (137 {1} v8 v1 v13 ) (144 {1} v0 v8 v2 ) (61 {1} v8 v10 v2 ) 3145] 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 ) 3146] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 v22 (94 {1} v9 v3 v5 ) (94 {1} v7 v1 v11 ) (94 {1} v7 v1 v10 ) (94 {1} v9 v10 v0 ) (94 {1} v12 v2 v0 ) (94 {1} v10 v1 v2 ) (94 {1} v7 v1 v9 ) (94 {1} v7 v2 v11 ) (94 {1} v11 v8 v6 ) (94 {1} v7 v12 v3 ) (94 {1} v12 v2 v9 ) (94 {1} v9 v3 v10 ) (94 {1} v12 v6 v10 ) (94 {1} v7 v1 v8 ) (94 {1} v7 v1 v6 ) (94 {1} v10 v12 v2 ) (94 {1} v7 v1 v5 ) (94 {1} v7 v1 v4 ) (94 {1} v12 v3 v10 ) (94 {1} v12 v0 v6 ) (94 {1} v9 v4 v7 ) (94 {1} v11 v3 v0 ) (94 {1} v7 v1 v3 ) (94 {1} v7 v1 v2 ) (94 {1} v7 v1 v0 ) (94 {1} v12 v11 v0 ) (94 {1} v12 v5 v0 ) (94 {1} v7 v0 v12 ) (94 {1} v12 v3 v9 ) (94 {1} v7 v0 v11 ) (94 {1} v9 v3 v12 ) (94 {1} v7 v0 v10 ) (94 {1} v7 v0 v9 ) (94 {1} v11 v12 v0 ) (94 {1} v8 v3 v0 ) (94 {1} v12 v2 v4 ) (94 {1} v7 v0 v8 ) (94 {1} v8 v9 v2 ) (94 {1} v7 v0 v6 ) (94 {1} v7 v0 v5 ) (94 {1} v10 v2 v6 ) (94 {1} v7 v0 v4 ) (94 {1} v8 v5 v2 ) (94 {1} v11 v12 v9 ) (94 {1} v7 v0 v3 ) (94 {1} v7 v0 v2 ) (94 {1} v8 v7 v0 ) (94 {1} v7 v0 v1 ) (94 {1} v12 v7 v4 ) (94 {1} v10 v9 v0 ) (94 {1} v8 v3 v4 ) (94 {1} v6 v12 v11 ) (94 {1} v6 v12 v10 ) (94 {1} v11 v9 v5 ) (94 {1} v8 v7 v2 ) (94 {1} v6 v12 v9 ) (94 {1} v6 v12 v8 ) (94 {1} v7 v6 v8 ) (94 {1} v6 v12 v7 ) (94 {1} v6 v12 v5 ) (94 {1} v6 v12 v4 ) (94 {1} v6 v12 v3 ) (94 {1} v6 v12 v2 ) (94 {1} v10 v1 v0 ) (94 {1} v8 v7 v11 ) (94 {1} v6 v12 v1 ) (94 {1} v6 v12 v0 ) (94 {1} v6 v11 v12 ) (94 {1} v9 v8 v3 ) (94 {1} v6 v11 v10 ) (94 {1} v12 v4 v7 ) (94 {1} v6 v11 v9 ) (94 {1} v6 v11 v8 ) (94 {1} v6 v11 v7 ) (94 {1} v9 v12 v5 ) (94 {1} v12 v7 v11 ) (94 {1} v11 v12 v7 ) (94 {1} v9 v8 v7 ) (94 {1} v6 v11 v5 ) (94 {1} v10 v8 v12 ) (94 {1} v10 v5 v12 ) (94 {1} v6 v11 v4 ) (94 {1} v6 v11 v3 ) (94 {1} v7 v11 v5 ) (94 {1} v6 v11 v2 ) (94 {1} v6 v11 v1 ) (94 {1} v8 v11 v7 ) (94 {1} v11 v2 v8 ) (94 {1} v6 v11 v0 ) (94 {1} v11 v3 v5 ) (94 {1} v6 v10 v12 ) (94 {1} v7 v8 v4 ) (94 {1} v6 v10 v11 ) (94 {1} v8 v5 v9 ) (94 {1} v6 v10 v9 ) (94 {1} v6 v10 v8 ) (94 {1} v12 v7 v1 ) (94 {1} v12 v10 v8 ) (94 {1} v8 v9 v5 ) (94 {1} v6 v10 v7 ) (94 {1} v8 v11 v5 ) (94 {1} v8 v4 v2 ) (94 {1} v6 v10 v5 ) (94 {1} v6 v10 v4 ) (94 {1} v9 v11 v10 ) (94 {1} v6 v10 v3 ) (94 {1} v6 v10 v2 ) (94 {1} v6 v10 v1 ) (94 {1} v11 v2 v1 ) (94 {1} v6 v10 v0 ) (94 {1} v6 v9 v12 ) (94 {1} v6 v9 v11 ) (94 {1} v6 v9 v10 ) (94 {1} v7 v3 v4 ) (94 {1} v6 v9 v8 ) (94 {1} v10 v12 v7 ) (94 {1} v6 v9 v7 ) (94 {1} v6 v9 v5 ) (94 {1} v6 v9 v4 ) (94 {1} v7 v12 v10 ) (94 {1} v6 v9 v3 ) (94 {1} v6 v9 v2 ) (94 {1} v6 v9 v1 ) (94 {1} v6 v9 v0 ) (94 {1} v12 v2 v10 ) (94 {1} v11 v12 v2 ) (94 {1} v9 v4 v8 ) (94 {1} v6 v8 v12 ) (94 {1} v10 v3 v7 ) (94 {1} v10 v8 v7 ) (94 {1} v6 v8 v11 ) (94 {1} v6 v8 v10 ) (94 {1} v9 v10 v7 ) (94 {1} v6 v8 v9 ) (94 {1} v8 v3 v11 ) (94 {1} v6 v8 v7 ) (94 {1} v6 v8 v5 ) (94 {1} v10 v11 v12 ) (94 {1} v12 v2 v8 ) (94 {1} v6 v8 v4 ) (94 {1} v6 v8 v3 ) (94 {1} v7 v3 v11 ) (94 {1} v6 v8 v2 ) (94 {1} v9 v10 v2 ) (94 {1} v7 v2 v10 ) (94 {1} v6 v8 v1 ) (94 {1} v6 v8 v0 ) (94 {1} v6 v7 v12 ) (94 {1} v11 v10 v7 ) (94 {1} v6 v7 v11 ) (94 {1} v6 v7 v10 ) (94 {1} v6 v7 v9 ) (94 {1} v10 v0 v3 ) (94 {1} v9 v12 v10 ) (94 {1} v6 v7 v8 ) (94 {1} v8 v0 v4 ) (94 {1} v6 v7 v5 ) (94 {1} v6 v7 v4 ) (94 {1} v6 v7 v3 ) (94 {1} v10 v9 v11 ) (94 {1} v6 v7 v2 ) (94 {1} v6 v7 v1 ) (94 {1} v6 v7 v0 ) (94 {1} v7 v6 v12 ) (94 {1} v11 v10 v5 ) (94 {1} v9 v2 v12 ) (94 {1} v6 v5 v12 ) (94 {1} v10 v9 v4 ) (94 {1} v6 v5 v11 ) (94 {1} v6 v5 v10 ) (94 {1} v6 v5 v9 ) (94 {1} v12 v1 v3 ) (94 {1} v7 v12 v5 ) (94 {1} v12 v7 v2 ) (94 {1} v6 v5 v8 ) (94 {1} v11 v0 v5 ) (94 {1} v6 v5 v7 ) (94 {1} v6 v5 v4 ) (94 {1} v9 v2 v3 ) (94 {1} v6 v5 v3 ) (94 {1} v6 v5 v2 ) (94 {1} v6 v5 v1 ) (94 {1} v9 v3 v6 ) (94 {1} v11 v7 v3 ) (94 {1} v9 v4 v10 ) (94 {1} v6 v5 v0 ) (94 {1} v10 v0 v7 ) (94 {1} v6 v4 v12 ) (94 {1} v6 v4 v11 ) (94 {1} v7 v4 v9 ) (94 {1} v6 v4 v10 ) (94 {1} v6 v4 v9 ) (94 {1} v6 v4 v8 ) (94 {1} v6 v4 v7 ) (94 {1} v6 v4 v5 ) (94 {1} v6 v4 v3 ) (94 {1} v6 v4 v2 ) (94 {1} v12 v0 v10 ) (94 {1} v6 v4 v1 ) (94 {1} v6 v4 v0 ) (94 {1} v6 v3 v12 ) (94 {1} v6 v3 v11 ) (94 {1} v6 v3 v10 ) (94 {1} v10 v3 v11 ) (94 {1} v6 v3 v9 ) (94 {1} v6 v3 v8 ) (94 {1} v11 v4 v3 ) (94 {1} v9 v1 v6 ) (94 {1} v12 v3 v0 ) (94 {1} v6 v3 v7 ) (94 {1} v6 v3 v5 ) (94 {1} v11 v2 v7 ) (94 {1} v9 v10 v12 ) (94 {1} v6 v3 v4 ) (94 {1} v6 v3 v2 ) (94 {1} v6 v3 v1 ) (94 {1} v6 v3 v0 ) (94 {1} v11 v8 v5 ) (94 {1} v12 v11 v4 ) (94 {1} v6 v2 v12 ) (94 {1} v6 v2 v11 ) (94 {1} v6 v2 v10 ) (94 {1} v8 v9 v11 ) (94 {1} v12 v4 v3 ) (94 {1} v6 v2 v9 ) (94 {1} v12 v10 v3 ) (94 {1} v9 v7 v12 ) (94 {1} v6 v2 v8 ) (94 {1} v6 v2 v7 ) (94 {1} v6 v2 v5 ) (94 {1} v10 v2 v5 ) (94 {1} v9 v8 v6 ) (94 {1} v6 v2 v4 ) (94 {1} v9 v11 v3 ) (94 {1} v6 v2 v3 ) (94 {1} v6 v2 v1 ) (94 {1} v6 v2 v0 ) (94 {1} v6 v1 v12 ) (94 {1} v6 v1 v11 ) (94 {1} v6 v1 v10 ) (94 {1} v6 v1 v9 ) (94 {1} v6 v1 v8 ) (94 {1} v6 v1 v7 ) (94 {1} v6 v1 v5 ) (94 {1} v10 v6 v0 ) (94 {1} v6 v1 v4 ) (94 {1} v7 v3 v1 ) (94 {1} v8 v6 v10 ) (94 {1} v9 v10 v4 ) (94 {1} v6 v1 v3 ) (94 {1} v6 v1 v2 ) (94 {1} v12 v3 v8 ) (94 {1} v11 v7 v10 ) (94 {1} v6 v1 v0 ) (94 {1} v6 v0 v12 ) (94 {1} v6 v0 v11 ) (94 {1} v6 v0 v10 ) (94 {1} v6 v0 v9 ) (94 {1} v6 v0 v8 ) (94 {1} v9 v7 v6 ) (94 {1} v10 v2 v8 ) (94 {1} v6 v0 v7 ) (94 {1} v9 v12 v4 ) (94 {1} v6 v0 v5 ) (94 {1} v10 v1 v11 ) (94 {1} v6 v0 v4 ) (94 {1} v6 v0 v3 ) (94 {1} v7 v11 v9 ) (94 {1} v12 v4 v10 ) (94 {1} v12 v8 v1 ) (94 {1} v7 v10 v0 ) (94 {1} v6 v0 v2 ) (94 {1} v12 v9 v2 ) (94 {1} v11 v9 v10 ) (94 {1} v7 v11 v3 ) (94 {1} v6 v0 v1 ) (94 {1} v5 v12 v11 ) (94 {1} v5 v12 v10 ) (94 {1} v7 v8 v11 ) (94 {1} v5 v12 v9 ) (94 {1} v10 v1 v9 ) (94 {1} v5 v12 v8 ) (94 {1} v5 v12 v7 ) (94 {1} v5 v12 v6 ) (94 {1} v5 v12 v4 ) (94 {1} v12 v0 v3 ) (94 {1} v9 v2 v5 ) (94 {1} v5 v12 v3 ) (94 {1} v11 v8 v12 ) (94 {1} v5 v12 v2 ) (94 {1} v5 v12 v1 ) (94 {1} v8 v3 v5 ) (94 {1} v5 v12 v0 ) (94 {1} v5 v11 v12 ) (94 {1} v5 v11 v10 ) (94 {1} v8 v5 v7 ) (94 {1} v5 v11 v9 ) (94 {1} v9 v10 v6 ) (94 {1} v5 v11 v8 ) (94 {1} v8 v1 v10 ) (94 {1} v12 v1 v11 ) (94 {1} v5 v11 v7 ) (94 {1} v5 v11 v6 ) (94 {1} v8 v1 v5 ) (94 {1} v5 v11 v4 ) (94 {1} v11 v7 v5 ) (94 {1} v5 v11 v3 ) (94 {1} v8 v10 v4 ) (94 {1} v5 v11 v2 ) (94 {1} v9 v2 v11 ) (94 {1} v5 v11 v1 ) (94 {1} v10 v12 v11 ) (94 {1} v5 v11 v0 ) (94 {1} v5 v10 v12 ) (94 {1} v5 v10 v11 ) (94 {1} v7 v10 v6 ) (94 {1} v5 v10 v9 ) (94 {1} v5 v10 v8 ) (94 {1} v5 v10 v7 ) (94 {1} v9 v7 v5 ) (94 {1} v5 v10 v6 ) (94 {1} v11 v12 v6 ) (94 {1} v5 v10 v4 ) (94 {1} v5 v10 v3 ) (94 {1} v5 v10 v2 ) (94 {1} v5 v10 v1 ) (94 {1} v10 v12 v8 ) (94 {1} v5 v10 v0 ) (94 {1} v11 v8 v0 ) (94 {1} v12 v1 v10 ) (94 {1} v5 v9 v12 ) (94 {1} v5 v9 v11 ) (94 {1} v5 v9 v10 ) (94 {1} v5 v9 v8 ) (94 {1} v5 v9 v7 ) (94 {1} v5 v9 v6 ) (94 {1} v11 v4 v5 ) (94 {1} v11 v10 v4 ) (94 {1} v5 v9 v4 ) (94 {1} v5 v9 v3 ) (94 {1} v5 v9 v2 ) (94 {1} v5 v9 v1 ) (94 {1} v5 v9 v0 ) (94 {1} v5 v8 v12 ) (94 {1} v8 v2 v10 ) (94 {1} v9 v12 v1 ) (94 {1} v7 v4 v1 ) (94 {1} v5 v8 v11 ) (94 {1} v5 v8 v10 ) (94 {1} v10 v9 v12 ) (94 {1} v5 v8 v9 ) (94 {1} v5 v8 v7 ) (94 {1} v9 v8 v1 ) (94 {1} v5 v8 v6 ) (94 {1} v11 v8 v2 ) (94 {1} v7 v8 v1 ) (94 {1} v9 v5 v4 ) (94 {1} v5 v8 v4 ) (94 {1} v5 v8 v3 ) (94 {1} v7 v6 v2 ) (94 {1} v12 v5 v2 ) (94 {1} v11 v8 v9 ) (94 {1} v11 v3 v1 ) (94 {1} v5 v8 v2 ) (94 {1} v11 v10 v3 ) (94 {1} v7 v4 v12 ) (94 {1} v5 v8 v1 ) (94 {1} v5 v8 v0 ) (94 {1} v10 v11 v3 ) (94 {1} v5 v7 v12 ) (94 {1} v9 v6 v2 ) (94 {1} v5 v7 v11 ) (94 {1} v10 v1 v3 ) (94 {1} v7 v3 v9 ) (94 {1} v10 v0 v2 ) (94 {1} v12 v11 v2 ) (94 {1} v8 v2 v1 ) (94 {1} v5 v7 v10 ) (94 {1} v11 v9 v12 ) (94 {1} v12 v5 v3 ) (94 {1} v8 v6 v12 ) (94 {1} v5 v7 v9 ) (94 {1} v5 v7 v8 ) (94 {1} v9 v0 v8 ) (94 {1} v11 v12 v8 ) (94 {1} v5 v7 v6 ) (94 {1} v11 v10 v12 ) (94 {1} v5 v7 v4 ) (94 {1} v5 v7 v3 ) (94 {1} v7 v9 v3 ) (94 {1} v5 v7 v2 ) (94 {1} v5 v7 v1 ) (94 {1} v10 v6 v2 ) (94 {1} v5 v7 v0 ) (94 {1} v5 v6 v12 ) (94 {1} v7 v3 v5 ) (94 {1} v5 v6 v11 ) (94 {1} v5 v6 v10 ) (94 {1} v5 v6 v9 ) (94 {1} v7 v8 v0 ) (94 {1} v5 v6 v8 ) (94 {1} v5 v6 v7 ) (94 {1} v5 v6 v4 ) (94 {1} v11 v12 v3 ) (94 {1} v8 v1 v6 ) (94 {1} v8 v12 v7 ) (94 {1} v5 v6 v3 ) (94 {1} v5 v6 v2 ) (94 {1} v5 v6 v1 ) (94 {1} v11 v2 v4 ) (94 {1} v5 v6 v0 ) (94 {1} v7 v2 v1 ) (94 {1} v11 v3 v12 ) (94 {1} v5 v4 v12 ) (94 {1} v5 v4 v11 ) (94 {1} v10 v0 v9 ) (94 {1} v5 v4 v10 ) (94 {1} v7 v3 v12 ) (94 {1} v8 v10 v12 ) (94 {1} v11 v9 v7 ) (94 {1} v12 v0 v8 ) (94 {1} v9 v0 v10 ) (94 {1} v5 v4 v9 ) (94 {1} v5 v4 v8 ) (94 {1} v5 v4 v7 ) (94 {1} v5 v4 v6 ) (94 {1} v5 v4 v3 ) (94 {1} v7 v4 v5 ) (94 {1} v10 v11 v8 ) (94 {1} v10 v3 v4 ) (94 {1} v7 v2 v9 ) (94 {1} v5 v4 v2 ) (94 {1} v5 v4 v1 ) (94 {1} v5 v4 v0 ) (94 {1} v5 v3 v12 ) (94 {1} v5 v3 v11 ) (94 {1} v5 v3 v10 ) (94 {1} v7 v3 v8 ) (94 {1} v5 v3 v9 ) (94 {1} v12 v4 v8 ) (94 {1} v12 v1 v8 ) (94 {1} v11 v9 v4 ) (94 {1} v7 v5 v2 ) (94 {1} v9 v5 v8 ) (94 {1} v5 v3 v8 ) (94 {1} v5 v3 v7 ) (94 {1} v7 v11 v4 ) (94 {1} v5 v3 v6 ) (94 {1} v10 v1 v12 ) (94 {1} v5 v3 v4 ) (94 {1} v5 v3 v2 ) (94 {1} v10 v3 v12 ) (94 {1} v10 v8 v6 ) (94 {1} v10 v6 v1 ) (94 {1} v5 v3 v1 ) (94 {1} v12 v2 v7 ) (94 {1} v5 v3 v0 ) (94 {1} v5 v2 v12 ) (94 {1} v5 v2 v11 ) (94 {1} v5 v2 v10 ) (94 {1} v5 v2 v9 ) (94 {1} v5 v2 v8 ) (94 {1} v5 v2 v7 ) (94 {1} v5 v2 v6 ) (94 {1} v9 v11 v8 ) (94 {1} v5 v2 v4 ) (94 {1} v8 v9 v7 ) (94 {1} v8 v2 v9 ) (94 {1} v8 v12 v11 ) (94 {1} v8 v6 v7 ) (94 {1} v5 v2 v3 ) (94 {1} v8 v6 v5 ) (94 {1} v8 v5 v6 ) (94 {1} v5 v2 v1 ) (94 {1} v5 v2 v0 ) (94 {1} v10 v6 v8 ) (94 {1} v5 v1 v12 ) (94 {1} v5 v1 v11 ) (94 {1} v9 v5 v2 ) (94 {1} v10 v8 v3 ) (94 {1} v5 v1 v10 ) (94 {1} v5 v1 v9 ) (94 {1} v11 v2 v6 ) (94 {1} v11 v12 v4 ) (94 {1} v5 v1 v8 ) (94 {1} v9 v6 v1 ) (94 {1} v5 v1 v7 ) (94 {1} v11 v4 v0 ) (94 {1} v5 v1 v6 ) (94 {1} v5 v1 v4 ) (94 {1} v5 v1 v3 ) (94 {1} v5 v1 v2 ) (94 {1} v5 v1 v0 ) (94 {1} v12 v9 v8 ) (94 {1} v10 v1 v4 ) (94 {1} v8 v0 v9 ) (94 {1} v10 v5 v2 ) (94 {1} v7 v6 v10 ) (94 {1} v5 v0 v12 ) (94 {1} v5 v0 v11 ) (94 {1} v5 v0 v10 ) (94 {1} v11 v2 v3 ) (94 {1} v8 v1 v3 ) (94 {1} v8 v10 v7 ) (94 {1} v5 v0 v9 ) (94 {1} v10 v2 v0 ) (94 {1} v5 v0 v8 ) (94 {1} v5 v0 v7 ) (94 {1} v11 v7 v8 ) (94 {1} v5 v0 v6 ) (94 {1} v12 v3 v11 ) (94 {1} v5 v0 v4 ) (94 {1} v10 v12 v9 ) (94 {1} v5 v0 v3 ) (94 {1} v5 v0 v2 ) (94 {1} v5 v0 v1 ) (94 {1} v4 v12 v11 ) (94 {1} v12 v11 v10 ) (94 {1} v10 v11 v1 ) (94 {1} v10 v5 v6 ) (94 {1} v12 v6 v2 ) (94 {1} v4 v12 v10 ) (94 {1} v4 v12 v9 ) (94 {1} v4 v12 v8 ) (94 {1} v4 v12 v7 ) (94 {1} v4 v12 v6 ) (94 {1} v4 v12 v5 ) (94 {1} v4 v12 v3 ) (94 {1} v10 v5 v8 ) (94 {1} v12 v5 v1 ) (94 {1} v4 v12 v2 ) (94 {1} v4 v12 v1 ) (94 {1} v12 v0 v1 ) (94 {1} v4 v12 v0 ) (94 {1} v7 v9 v4 ) (94 {1} v4 v11 v12 ) (94 {1} v4 v11 v10 ) (94 {1} v4 v11 v9 ) (94 {1} v11 v6 v0 ) (94 {1} v4 v11 v8 ) (94 {1} v4 v11 v7 ) (94 {1} v9 v1 v3 ) (94 {1} v4 v11 v6 ) (94 {1} v11 v6 v7 ) (94 {1} v4 v11 v5 ) (94 {1} v7 v5 v10 ) (94 {1} v4 v11 v3 ) (94 {1} v4 v11 v2 ) (94 {1} v4 v11 v1 ) (94 {1} v4 v11 v0 ) (94 {1} v4 v10 v12 ) (94 {1} v4 v10 v11 ) (94 {1} v4 v10 v9 ) (94 {1} v8 v11 v3 ) (94 {1} v7 v9 v2 ) (94 {1} v7 v12 v4 ) (94 {1} v4 v10 v8 ) (94 {1} v4 v10 v7 ) (94 {1} v8 v0 v5 ) (94 {1} v11 v0 v2 ) (94 {1} v7 v3 v10 ) (94 {1} v4 v10 v6 ) (94 {1} v10 v7 v6 ) (94 {1} v4 v10 v5 ) (94 {1} v8 v5 v3 ) (94 {1} v4 v10 v3 ) (94 {1} v11 v4 v8 ) (94 {1} v9 v2 v10 ) (94 {1} v10 v6 v12 ) (94 {1} v4 v10 v2 ) (94 {1} v4 v10 v1 ) (94 {1} v10 v0 v1 ) (94 {1} v4 v10 v0 ) (94 {1} v11 v2 v10 ) (94 {1} v8 v7 v12 ) (94 {1} v4 v9 v12 ) (94 {1} v4 v9 v11 ) (94 {1} v4 v9 v10 ) (94 {1} v9 v4 v0 ) (94 {1} v4 v9 v8 ) (94 {1} v4 v9 v7 ) (94 {1} v4 v9 v6 ) (94 {1} v7 v10 v12 ) (94 {1} v4 v9 v5 ) (94 {1} v4 v9 v3 ) (94 {1} v9 v6 v11 ) (94 {1} v4 v9 v2 ) (94 {1} v7 v4 v2 ) (94 {1} v8 v2 v11 ) (94 {1} v4 v9 v1 ) (94 {1} v7 v4 v8 ) (94 {1} v4 v9 v0 ) (94 {1} v4 v8 v12 ) (94 {1} v8 v3 v1 ) (94 {1} v8 v5 v10 ) (94 {1} v12 v5 v8 ) (94 {1} v4 v8 v11 ) (94 {1} v4 v8 v10 ) (94 {1} v9 v5 v10 ) (94 {1} v4 v8 v9 ) (94 {1} v4 v8 v7 ) (94 {1} v10 v6 v11 ) (94 {1} v8 v4 v3 ) (94 {1} v8 v4 v0 ) (94 {1} v8 v4 v12 ) (94 {1} v12 v0 v7 ) (94 {1} v8 v10 v2 ) (94 {1} v11 v8 v4 ) (94 {1} v8 v4 v9 ) (94 {1} v12 v4 v2 ) (94 {1} v4 v8 v6 ) (94 {1} v4 v8 v5 ) (94 {1} v9 v6 v5 ) (94 {1} v11 v1 v12 ) (94 {1} v10 v7 v12 ) (94 {1} v8 v11 v1 ) (94 {1} v4 v8 v3 ) (94 {1} v4 v8 v2 ) (94 {1} v11 v1 v2 ) (94 {1} v11 v4 v7 ) (94 {1} v4 v8 v1 ) (94 {1} v4 v8 v0 ) (94 {1} v11 v1 v0 ) (94 {1} v9 v6 v8 ) (94 {1} v4 v7 v12 ) (94 {1} v4 v7 v11 ) (94 {1} v4 v7 v10 ) (94 {1} v4 v7 v9 ) (94 {1} v9 v0 v3 ) (94 {1} v8 v2 v6 ) (94 {1} v4 v7 v8 ) (94 {1} v4 v7 v6 ) (94 {1} v4 v7 v5 ) (94 {1} v11 v3 v6 ) (94 {1} v4 v7 v3 ) (94 {1} v4 v7 v2 ) (94 {1} v4 v7 v1 ) (94 {1} v12 v8 v3 ) (94 {1} v7 v5 v3 ) (94 {1} v8 v6 v4 ) (94 {1} v4 v7 v0 ) (94 {1} v4 v6 v12 ) (94 {1} v9 v6 v10 ) (94 {1} v9 v12 v3 ) (94 {1} v4 v6 v11 ) (94 {1} v4 v6 v10 ) (94 {1} v4 v6 v9 ) (94 {1} v9 v0 v12 ) (94 {1} v11 v6 v2 ) (94 {1} v4 v6 v8 ) (94 {1} v4 v6 v7 ) (94 {1} v4 v6 v5 ) (94 {1} v4 v6 v3 ) (94 {1} v4 v6 v2 ) (94 {1} v4 v6 v1 ) (94 {1} v4 v6 v0 ) (94 {1} v4 v5 v12 ) (94 {1} v4 v5 v11 ) (94 {1} v12 v0 v4 ) (94 {1} v10 v3 v5 ) (94 {1} v4 v5 v10 ) (94 {1} v7 v10 v5 ) (94 {1} v9 v7 v8 ) (94 {1} v4 v5 v9 ) (94 {1} v4 v5 v8 ) (94 {1} v4 v5 v7 ) (94 {1} v12 v0 v2 ) (94 {1} v4 v5 v6 ) (94 {1} v4 v5 v3 ) (94 {1} v12 v8 v0 ) (94 {1} v4 v5 v2 ) (94 {1} v4 v5 v1 ) (94 {1} v8 v12 v4 ) (94 {1} v8 v2 v7 ) (94 {1} v4 v5 v0 ) (94 {1} v4 v3 v12 ) (94 {1} v4 v3 v11 ) (94 {1} v10 v9 v1 ) (94 {1} v4 v3 v10 ) (94 {1} v12 v2 v6 ) (94 {1} v10 v11 v0 ) (94 {1} v4 v3 v9 ) (94 {1} v10 v6 v4 ) (94 {1} v8 v5 v0 ) (94 {1} v9 v2 v7 ) (94 {1} v4 v3 v8 ) (94 {1} v4 v3 v7 ) (94 {1} v10 v1 v5 ) (94 {1} v4 v3 v6 ) (94 {1} v7 v10 v9 ) (94 {1} v11 v9 v2 ) (94 {1} v12 v4 v11 ) (94 {1} v4 v3 v5 ) (94 {1} v11 v2 v9 ) (94 {1} v11 v10 v9 ) (94 {1} v4 v3 v2 ) (94 {1} v8 v11 v12 ) (94 {1} v4 v3 v1 ) (94 {1} v4 v3 v0 ) (94 {1} v4 v2 v12 ) (94 {1} v4 v2 v11 ) (94 {1} v10 v8 v5 ) (94 {1} v4 v2 v10 ) (94 {1} v4 v2 v9 ) (94 {1} v4 v2 v8 ) (94 {1} v4 v2 v7 ) (94 {1} v8 v6 v2 ) (94 {1} v4 v2 v6 ) (94 {1} v4 v2 v5 ) (94 {1} v11 v9 v1 ) (94 {1} v4 v2 v3 ) (94 {1} v11 v5 v3 ) (94 {1} v4 v2 v1 ) (94 {1} v12 v2 v11 ) (94 {1} v4 v2 v0 ) (94 {1} v4 v1 v12 ) (94 {1} v4 v1 v11 ) (94 {1} v7 v9 v6 ) (94 {1} v4 v1 v10 ) (94 {1} v4 v1 v9 ) (94 {1} v7 v8 v2 ) (94 {1} v7 v9 v10 ) (94 {1} v4 v1 v8 ) (94 {1} v4 v1 v7 ) (94 {1} v4 v1 v6 ) (94 {1} v9 v5 v0 ) (94 {1} v4 v1 v5 ) (94 {1} v7 v10 v1 ) (94 {1} v4 v1 v3 ) (94 {1} v4 v1 v2 ) (94 {1} v4 v1 v0 ) (94 {1} v4 v0 v12 ) (94 {1} v10 v7 v4 ) (94 {1} v4 v0 v11 ) (94 {1} v10 v3 v9 ) (94 {1} v4 v0 v10 ) (94 {1} v10 v6 v7 ) (94 {1} v4 v0 v9 ) (94 {1} v4 v0 v8 ) (94 {1} v4 v0 v7 ) (94 {1} v4 v0 v6 ) (94 {1} v4 v0 v5 ) (94 {1} v9 v5 v6 ) (94 {1} v4 v0 v3 ) (94 {1} v4 v0 v2 ) (94 {1} v4 v0 v1 ) (94 {1} v12 v10 v1 ) (94 {1} v8 v12 v10 ) (94 {1} v10 v11 v7 ) (94 {1} v3 v12 v11 ) (94 {1} v3 v12 v10 ) (94 {1} v9 v0 v6 ) (94 {1} v3 v12 v9 ) (94 {1} v11 v0 v3 ) (94 {1} v12 v4 v6 ) (94 {1} v11 v5 v4 ) (94 {1} v11 v0 v7 ) (94 {1} v3 v12 v8 ) (94 {1} v3 v12 v7 ) (94 {1} v10 v5 v11 ) (94 {1} v8 v3 v2 ) (94 {1} v3 v12 v6 ) (94 {1} v3 v12 v5 ) (94 {1} v9 v6 v4 ) (94 {1} v7 v8 v5 ) (94 {1} v3 v12 v4 ) (94 {1} v8 v1 v7 ) (94 {1} v7 v12 v0 ) (94 {1} v3 v12 v2 ) (94 {1} v3 v12 v1 ) (94 {1} v8 v10 v0 ) (94 {1} v3 v12 v0 ) (94 {1} v9 v5 v7 ) (94 {1} v7 v10 v3 ) (94 {1} v8 v2 v5 ) (94 {1} v12 v0 v9 ) (94 {1} v3 v11 v12 ) (94 {1} v3 v11 v10 ) (94 {1} v3 v11 v9 ) (94 {1} v10 v5 v1 ) (94 {1} v3 v11 v8 ) (94 {1} v3 v11 v7 ) (94 {1} v10 v0 v4 ) (94 {1} v3 v11 v6 ) (94 {1} v3 v11 v5 ) (94 {1} v3 v11 v4 ) (94 {1} v7 v10 v11 ) (94 {1} v7 v11 v1 ) (94 {1} v3 v11 v2 ) (94 {1} v3 v11 v1 ) (94 {1} v9 v4 v3 ) (94 {1} v10 v6 v5 ) (94 {1} v3 v11 v0 ) (94 {1} v3 v10 v12 ) (94 {1} v9 v1 v8 ) (94 {1} v3 v10 v11 ) (94 {1} v11 v1 v9 ) (94 {1} v8 v11 v6 ) (94 {1} v3 v10 v9 ) (94 {1} v8 v4 v6 ) (94 {1} v3 v10 v8 ) (94 {1} v3 v10 v7 ) (94 {1} v3 v10 v6 ) (94 {1} v3 v10 v5 ) (94 {1} v3 v10 v4 ) (94 {1} v10 v4 v9 ) (94 {1} v10 v4 v0 ) (94 {1} v3 v10 v2 ) (94 {1} v3 v10 v1 ) (94 {1} v3 v10 v0 ) (94 {1} v3 v9 v12 ) (94 {1} v3 v9 v11 ) (94 {1} v10 v5 v3 ) (94 {1} v3 v9 v10 ) (94 {1} v3 v9 v8 ) (94 {1} v12 v8 v11 ) (94 {1} v3 v9 v7 ) (94 {1} v11 v0 v4 ) (94 {1} v3 v9 v6 ) (94 {1} v10 v0 v6 ) (94 {1} v8 v7 v5 ) (94 {1} v3 v9 v5 ) (94 {1} v10 v12 v4 ) (94 {1} v10 v1 v6 ) (94 {1} v10 v9 v2 ) (94 {1} v7 v6 v4 ) (94 {1} v12 v7 v9 ) (94 {1} v9 v2 v8 ) (94 {1} v7 v5 v1 ) (94 {1} v3 v9 v4 ) (94 {1} v11 v4 v2 ) (94 {1} v3 v9 v2 ) (94 {1} v11 v7 v4 ) (94 {1} v3 v9 v1 ) (94 {1} v7 v12 v6 ) (94 {1} v3 v9 v0 ) (94 {1} v3 v8 v12 ) (94 {1} v10 v2 v7 ) (94 {1} v9 v1 v10 ) (94 {1} v9 v12 v8 ) (94 {1} v11 v7 v2 ) (94 {1} v10 v9 v8 ) (94 {1} v3 v8 v11 ) (94 {1} v10 v2 v1 ) (94 {1} v3 v8 v10 ) (94 {1} v3 v8 v9 ) (94 {1} v7 v4 v6 ) (94 {1} v3 v8 v7 ) (94 {1} v3 v8 v6 ) (94 {1} v11 v9 v3 ) (94 {1} v7 v8 v9 ) (94 {1} v3 v8 v5 ) (94 {1} v3 v8 v4 ) (94 {1} v3 v8 v2 ) (94 {1} v3 v8 v1 ) (94 {1} v3 v8 v0 ) (94 {1} v3 v7 v12 ) (94 {1} v10 v12 v1 ) (94 {1} v3 v7 v11 ) (94 {1} v3 v7 v10 ) (94 {1} v3 v7 v9 ) (94 {1} v12 v6 v7 ) (94 {1} v3 v7 v8 ) (94 {1} v3 v7 v6 ) (94 {1} v12 v8 v7 ) (94 {1} v3 v7 v5 ) (94 {1} v3 v7 v4 ) (94 {1} v7 v6 v11 ) (94 {1} v3 v7 v2 ) (94 {1} v12 v7 v6 ) (94 {1} v9 v2 v1 ) (94 {1} v11 v6 v10 ) (94 {1} v3 v7 v1 ) (94 {1} v3 v7 v0 ) (94 {1} v3 v6 v12 ) (94 {1} v9 v10 v8 ) (94 {1} v3 v6 v11 ) (94 {1} v3 v6 v10 ) (94 {1} v11 v6 v9 ) (94 {1} v3 v6 v9 ) (94 {1} v12 v9 v11 ) (94 {1} v3 v6 v8 ) (94 {1} v9 v3 v1 ) (94 {1} v3 v6 v7 ) (94 {1} v3 v6 v5 ) (94 {1} v3 v6 v4 ) (94 {1} v3 v6 v2 ) (94 {1} v8 v9 v0 ) (94 {1} v7 v11 v0 ) (94 {1} v3 v6 v1 ) (94 {1} v11 v5 v0 ) (94 {1} v3 v6 v0 ) (94 {1} v3 v5 v12 ) (94 {1} v3 v5 v11 ) (94 {1} v3 v5 v10 ) (94 {1} v3 v5 v9 ) (94 {1} v3 v5 v8 ) (94 {1} v3 v5 v7 ) (94 {1} v11 v4 v6 ) (94 {1} v10 v12 v6 ) (94 {1} v3 v5 v6 ) (94 {1} v3 v5 v4 ) (94 {1} v8 v2 v0 ) (94 {1} v9 v12 v6 ) (94 {1} v3 v5 v2 ) (94 {1} v9 v2 v6 ) (94 {1} v3 v5 v1 ) (94 {1} v8 v6 v3 ) (94 {1} v3 v5 v0 ) (94 {1} v7 v2 v3 ) (94 {1} v3 v4 v12 ) (94 {1} v12 v10 v5 ) (94 {1} v3 v4 v11 ) (94 {1} v3 v4 v10 ) (94 {1} v3 v4 v9 ) (94 {1} v9 v6 v3 ) (94 {1} v3 v4 v8 ) (94 {1} v3 v4 v7 ) (94 {1} v3 v4 v6 ) (94 {1} v3 v4 v5 ) (94 {1} v12 v10 v7 ) (94 {1} v3 v4 v2 ) (94 {1} v3 v4 v1 ) (94 {1} v7 v6 v9 ) (94 {1} v12 v5 v11 ) (94 {1} v12 v3 v5 ) (94 {1} v3 v4 v0 ) (94 {1} v12 v6 v5 ) (94 {1} v10 v11 v2 ) (94 {1} v12 v9 v3 ) (94 {1} v9 v8 v2 ) (94 {1} v3 v2 v12 ) (94 {1} v8 v10 v9 ) (94 {1} v11 v10 v8 ) (94 {1} v3 v2 v11 ) (94 {1} v3 v2 v10 ) (94 {1} v8 v5 v12 ) (94 {1} v3 v2 v9 ) (94 {1} v3 v2 v8 ) (94 {1} v3 v2 v7 ) (94 {1} v3 v2 v6 ) (94 {1} v3 v2 v5 ) (94 {1} v12 v5 v6 ) (94 {1} v3 v2 v4 ) (94 {1} v3 v2 v1 ) (94 {1} v11 v5 v2 ) (94 {1} v3 v2 v0 ) (94 {1} v3 v1 v12 ) (94 {1} v9 v11 v4 ) (94 {1} v3 v1 v11 ) (94 {1} v3 v1 v10 ) (94 {1} v3 v1 v9 ) (94 {1} v3 v1 v8 ) (94 {1} v3 v1 v7 ) (94 {1} v3 v1 v6 ) (94 {1} v3 v1 v5 ) (94 {1} v3 v1 v4 ) (94 {1} v3 v1 v2 ) (94 {1} v11 v7 v0 ) (94 {1} v12 v9 v4 ) (94 {1} v11 v3 v2 ) (94 {1} v3 v1 v0 ) (94 {1} v3 v0 v12 ) (94 {1} v12 v6 v11 ) (94 {1} v3 v0 v11 ) (94 {1} v3 v0 v10 ) (94 {1} v3 v0 v9 ) (94 {1} v3 v0 v8 ) (94 {1} v12 v0 v11 ) (94 {1} v3 v0 v7 ) (94 {1} v12 v5 v7 ) (94 {1} v12 v7 v8 ) (94 {1} v8 v10 v5 ) (94 {1} v9 v12 v0 ) (94 {1} v3 v0 v6 ) (94 {1} v3 v0 v5 ) (94 {1} v11 v0 v9 ) (94 {1} v8 v11 v0 ) (94 {1} v7 v8 v10 ) (94 {1} v3 v0 v4 ) (94 {1} v11 v7 v1 ) (94 {1} v3 v0 v2 ) (94 {1} v7 v5 v4 ) (94 {1} v11 v0 v1 ) (94 {1} v12 v10 v9 ) (94 {1} v3 v0 v1 ) (94 {1} v2 v12 v11 ) (94 {1} v2 v12 v10 ) (94 {1} v11 v8 v1 ) (94 {1} v2 v12 v9 ) (94 {1} v10 v9 v7 ) (94 {1} v9 v4 v6 ) (94 {1} v9 v5 v1 ) (94 {1} v2 v12 v8 ) (94 {1} v12 v6 v3 ) (94 {1} v2 v12 v7 ) (94 {1} v8 v10 v3 ) (94 {1} v2 v12 v6 ) (94 {1} v2 v12 v5 ) (94 {1} v7 v6 v1 ) (94 {1} v2 v12 v4 ) (94 {1} v2 v12 v3 ) (94 {1} v2 v12 v1 ) (94 {1} v2 v12 v0 ) (94 {1} v10 v0 v5 ) (94 {1} v12 v8 v4 ) (94 {1} v8 v12 v5 ) (94 {1} v2 v11 v12 ) (94 {1} v2 v11 v10 ) (94 {1} v2 v11 v9 ) (94 {1} v2 v11 v8 ) (94 {1} v2 v11 v7 ) (94 {1} v7 v8 v6 ) (94 {1} v2 v11 v6 ) (94 {1} v9 v5 v11 ) (94 {1} v9 v5 v3 ) (94 {1} v2 v11 v5 ) (94 {1} v2 v11 v4 ) (94 {1} v2 v11 v3 ) (94 {1} v9 v2 v0 ) (94 {1} v10 v12 v5 ) (94 {1} v2 v11 v1 ) (94 {1} v10 v3 v8 ) (94 {1} v2 v11 v0 ) (94 {1} v2 v10 v12 ) (94 {1} v9 v4 v12 ) (94 {1} v2 v10 v11 ) (94 {1} v2 v10 v9 ) (94 {1} v12 v7 v5 ) (94 {1} v2 v10 v8 ) (94 {1} v8 v1 v9 ) (94 {1} v7 v5 v0 ) (94 {1} v2 v10 v7 ) (94 {1} v2 v10 v6 ) (94 {1} v2 v10 v5 ) (94 {1} v7 v5 v9 ) (94 {1} v7 v12 v9 ) (94 {1} v8 v12 v0 ) (94 {1} v2 v10 v4 ) (94 {1} v7 v11 v12 ) (94 {1} v8 v0 v10 ) (94 {1} v11 v10 v6 ) (94 {1} v2 v10 v3 ) (94 {1} v2 v10 v1 ) (94 {1} v2 v10 v0 ) (94 {1} v2 v9 v12 ) (94 {1} v2 v9 v11 ) (94 {1} v9 v1 v5 ) (94 {1} v2 v9 v10 ) (94 {1} v2 v9 v8 ) (94 {1} v9 v5 v12 ) (94 {1} v2 v9 v7 ) (94 {1} v11 v4 v9 ) (94 {1} v2 v9 v6 ) (94 {1} v7 v2 v12 ) (94 {1} v10 v4 v12 ) (94 {1} v10 v7 v0 ) (94 {1} v2 v9 v5 ) (94 {1} v11 v4 v10 ) (94 {1} v8 v4 v7 ) (94 {1} v2 v9 v4 ) (94 {1} v7 v2 v8 ) (94 {1} v2 v9 v3 ) (94 {1} v2 v9 v1 ) (94 {1} v7 v5 v12 ) (94 {1} v12 v4 v1 ) (94 {1} v2 v9 v0 ) (94 {1} v2 v8 v12 ) (94 {1} v8 v1 v0 ) (94 {1} v2 v8 v11 ) (94 {1} v2 v8 v10 ) (94 {1} v2 v8 v9 ) (94 {1} v2 v8 v7 ) (94 {1} v2 v8 v6 ) (94 {1} v8 v6 v11 ) (94 {1} v11 v3 v8 ) (94 {1} v2 v8 v5 ) (94 {1} v2 v8 v4 ) (94 {1} v8 v7 v10 ) (94 {1} v2 v8 v3 ) (94 {1} v2 v8 v1 ) (94 {1} v11 v5 v1 ) (94 {1} v2 v8 v0 ) (94 {1} v7 v9 v0 ) (94 {1} v2 v7 v12 ) (94 {1} v8 v7 v3 ) (94 {1} v2 v7 v11 ) (94 {1} v8 v7 v1 ) (94 {1} v8 v2 v3 ) (94 {1} v11 v4 v12 ) (94 {1} v11 v6 v8 ) (94 {1} v12 v11 v6 ) (94 {1} v12 v6 v4 ) (94 {1} v2 v7 v10 ) (94 {1} v2 v7 v9 ) (94 {1} v11 v1 v4 ) (94 {1} v2 v7 v8 ) (94 {1} v12 v9 v5 ) (94 {1} v2 v7 v6 ) (94 {1} v2 v7 v5 ) (94 {1} v7 v4 v3 ) (94 {1} v2 v7 v4 ) (94 {1} v2 v7 v3 ) (94 {1} v8 v4 v10 ) (94 {1} v12 v8 v6 ) (94 {1} v8 v11 v4 ) (94 {1} v2 v7 v1 ) (94 {1} v2 v7 v0 ) (94 {1} v2 v6 v12 ) (94 {1} v2 v6 v11 ) (94 {1} v2 v6 v10 ) (94 {1} v8 v1 v4 ) (94 {1} v12 v4 v9 ) (94 {1} v11 v1 v8 ) (94 {1} v2 v6 v9 ) (94 {1} v8 v4 v5 ) (94 {1} v12 v3 v7 ) (94 {1} v12 v11 v5 ) (94 {1} v12 v8 v2 ) (94 {1} v2 v6 v8 ) (94 {1} v2 v6 v7 ) (94 {1} v11 v6 v5 ) (94 {1} v12 v4 v5 ) (94 {1} v8 v12 v6 ) (94 {1} v2 v6 v5 ) (94 {1} v2 v6 v4 ) (94 {1} v7 v4 v0 ) (94 {1} v2 v6 v3 ) (94 {1} v2 v6 v1 ) (94 {1} v7 v4 v11 ) (94 {1} v10 v2 v11 ) (94 {1} v7 v1 v12 ) (94 {1} v2 v6 v0 ) (94 {1} v2 v5 v12 ) (94 {1} v2 v5 v11 ) (94 {1} v2 v5 v10 ) (94 {1} v2 v5 v9 ) (94 {1} v2 v5 v8 ) (94 {1} v2 v5 v7 ) (94 {1} v2 v5 v6 ) (94 {1} v2 v5 v4 ) (94 {1} v8 v3 v12 ) (94 {1} v2 v5 v3 ) (94 {1} v11 v9 v6 ) (94 {1} v8 v0 v12 ) (94 {1} v2 v5 v1 ) (94 {1} v12 v6 v1 ) (94 {1} v10 v8 v4 ) (94 {1} v2 v5 v0 ) (94 {1} v2 v4 v12 ) (94 {1} v11 v7 v12 ) (94 {1} v2 v4 v11 ) (94 {1} v2 v4 v10 ) (94 {1} v8 v4 v11 ) (94 {1} v2 v4 v9 ) (94 {1} v2 v4 v8 ) (94 {1} v12 v10 v11 ) (94 {1} v9 v6 v0 ) (94 {1} v2 v4 v7 ) (94 {1} v10 v8 v11 ) (94 {1} v2 v4 v6 ) (94 {1} v9 v8 v4 ) (94 {1} v12 v10 v2 ) (94 {1} v2 v4 v5 ) (94 {1} v2 v4 v3 ) (94 {1} v2 v4 v1 ) (94 {1} v2 v4 v0 ) (94 {1} v2 v3 v12 ) (94 {1} v12 v2 v5 ) (94 {1} v12 v6 v8 ) (94 {1} v2 v3 v11 ) (94 {1} v8 v0 v11 ) (94 {1} v2 v3 v10 ) (94 {1} v11 v10 v1 ) (94 {1} v12 v8 v5 ) (94 {1} v2 v3 v9 ) (94 {1} v9 v3 v4 ) (94 {1} v8 v0 v3 ) (94 {1} v2 v3 v8 ) (94 {1} v9 v0 v5 ) (94 {1} v10 v4 v8 ) (94 {1} v10 v2 v9 ) (94 {1} v2 v3 v7 ) (94 {1} v8 v5 v4 ) (94 {1} v11 v9 v0 ) (94 {1} v8 v2 v12 ) (94 {1} v11 v5 v6 ) (94 {1} v10 v9 v5 ) (94 {1} v11 v9 v8 ) (94 {1} v2 v3 v6 ) (94 {1} v7 v9 v1 ) (94 {1} v8 v10 v11 ) (94 {1} v10 v1 v8 ) (94 {1} v2 v3 v5 ) (94 {1} v7 v9 v8 ) (94 {1} v10 v6 v9 ) (94 {1} v2 v3 v4 ) (94 {1} v2 v3 v1 ) (94 {1} v11 v7 v9 ) (94 {1} v2 v3 v0 ) (94 {1} v8 v9 v6 ) (94 {1} v2 v1 v12 ) (94 {1} v12 v2 v3 ) (94 {1} v9 v1 v11 ) (94 {1} v2 v1 v11 ) (94 {1} v10 v9 v6 ) (94 {1} v9 v6 v7 ) (94 {1} v2 v1 v10 ) (94 {1} v2 v1 v9 ) (94 {1} v2 v1 v8 ) (94 {1} v2 v1 v7 ) (94 {1} v11 v0 v12 ) (94 {1} v2 v1 v6 ) (94 {1} v9 v3 v0 ) (94 {1} v10 v9 v3 ) (94 {1} v2 v1 v5 ) (94 {1} v2 v1 v4 ) (94 {1} v2 v1 v3 ) (94 {1} v2 v1 v0 ) (94 {1} v2 v0 v12 ) (94 {1} v9 v0 v7 ) (94 {1} v9 v11 v1 ) (94 {1} v10 v7 v11 ) (94 {1} v11 v6 v4 ) (94 {1} v12 v11 v3 ) (94 {1} v2 v0 v11 ) (94 {1} v8 v6 v9 ) (94 {1} v8 v6 v0 ) (94 {1} v8 v9 v10 ) (94 {1} v11 v8 v10 ) (94 {1} v12 v3 v6 ) (94 {1} v2 v0 v10 ) (94 {1} v2 v0 v9 ) (94 {1} v2 v0 v8 ) (94 {1} v10 v8 v0 ) (94 {1} v2 v0 v7 ) (94 {1} v2 v0 v6 ) (94 {1} v2 v0 v5 ) (94 {1} v2 v0 v4 ) (94 {1} v2 v0 v3 ) (94 {1} v8 v11 v2 ) (94 {1} v2 v0 v1 ) (94 {1} v12 v7 v10 ) (94 {1} v12 v11 v8 ) (94 {1} v1 v12 v11 ) (94 {1} v1 v12 v10 ) (94 {1} v8 v9 v3 ) (94 {1} v10 v4 v6 ) (94 {1} v1 v12 v9 ) (94 {1} v7 v10 v2 ) (94 {1} v9 v7 v11 ) (94 {1} v1 v12 v8 ) (94 {1} v1 v12 v7 ) (94 {1} v1 v12 v6 ) (94 {1} v1 v12 v5 ) (94 {1} v7 v10 v8 ) (94 {1} v8 v1 v12 ) (94 {1} v1 v12 v4 ) (94 {1} v1 v12 v3 ) (94 {1} v1 v12 v2 ) (94 {1} v10 v3 v6 ) (94 {1} v9 v10 v1 ) (94 {1} v1 v12 v0 ) (94 {1} v1 v11 v12 ) (94 {1} v1 v11 v10 ) (94 {1} v1 v11 v9 ) (94 {1} v1 v11 v8 ) (94 {1} v1 v11 v7 ) (94 {1} v1 v11 v6 ) (94 {1} v12 v11 v9 ) (94 {1} v1 v11 v5 ) (94 {1} v1 v11 v4 ) (94 {1} v10 v11 v5 ) (94 {1} v1 v11 v3 ) (94 {1} v10 v4 v7 ) (94 {1} v1 v11 v2 ) (94 {1} v9 v7 v1 ) (94 {1} v1 v11 v0 ) (94 {1} v9 v2 v4 ) (94 {1} v10 v11 v9 ) (94 {1} v1 v10 v12 ) (94 {1} v11 v3 v10 ) (94 {1} v1 v10 v11 ) (94 {1} v10 v4 v3 ) (94 {1} v12 v3 v4 ) (94 {1} v1 v10 v9 ) (94 {1} v8 v10 v1 ) (94 {1} v1 v10 v8 ) (94 {1} v1 v10 v7 ) (94 {1} v1 v10 v6 ) (94 {1} v12 v3 v2 ) (94 {1} v1 v10 v5 ) (94 {1} v10 v4 v5 ) (94 {1} v1 v10 v4 ) (94 {1} v11 v0 v10 ) (94 {1} v1 v10 v3 ) (94 {1} v1 v10 v2 ) (94 {1} v1 v10 v0 ) (94 {1} v1 v9 v12 ) (94 {1} v1 v9 v11 ) (94 {1} v12 v1 v2 ) (94 {1} v1 v9 v10 ) (94 {1} v7 v11 v8 ) (94 {1} v12 v9 v0 ) (94 {1} v9 v8 v5 ) (94 {1} v10 v11 v6 ) (94 {1} v9 v0 v2 ) (94 {1} v1 v9 v8 ) (94 {1} v1 v9 v7 ) (94 {1} v1 v9 v6 ) (94 {1} v1 v9 v5 ) (94 {1} v11 v4 v1 ) (94 {1} v7 v10 v4 ) (94 {1} v1 v9 v4 ) (94 {1} v9 v10 v5 ) (94 {1} v1 v9 v3 ) (94 {1} v1 v9 v2 ) (94 {1} v1 v9 v0 ) (94 {1} v1 v8 v12 ) (94 {1} v1 v8 v11 ) (94 {1} v1 v8 v10 ) (94 {1} v1 v8 v9 ) (94 {1} v1 v8 v7 ) (94 {1} v1 v8 v6 ) (94 {1} v1 v8 v5 ) (94 {1} v1 v8 v4 ) (94 {1} v8 v4 v1 ) (94 {1} v10 v5 v7 ) (94 {1} v11 v12 v1 ) (94 {1} v1 v8 v3 ) (94 {1} v1 v8 v2 ) (94 {1} v1 v8 v0 ) (94 {1} v1 v7 v12 ) (94 {1} v11 v1 v5 ) (94 {1} v1 v7 v11 ) (94 {1} v9 v12 v7 ) (94 {1} v9 v3 v11 ) (94 {1} v1 v7 v10 ) (94 {1} v1 v7 v9 ) (94 {1} v1 v7 v8 ) (94 {1} v1 v7 v6 ) (94 {1} v1 v7 v5 ) (94 {1} v9 v0 v11 ) (94 {1} v10 v0 v12 ) (94 {1} v8 v1 v2 ) (94 {1} v1 v7 v4 ) (94 {1} v1 v7 v3 ) (94 {1} v11 v0 v8 ) (94 {1} v7 v11 v6 ) (94 {1} v8 v9 v4 ) (94 {1} v1 v7 v2 ) (94 {1} v1 v7 v0 ) (94 {1} v1 v6 v12 ) (94 {1} v12 v5 v10 ) (94 {1} v1 v6 v11 ) (94 {1} v1 v6 v10 ) (94 {1} v1 v6 v9 ) (94 {1} v8 v11 v10 ) (94 {1} v1 v6 v8 ) (94 {1} v12 v1 v7 ) (94 {1} v9 v0 v1 ) (94 {1} v1 v6 v7 ) (94 {1} v1 v6 v5 ) (94 {1} v1 v6 v4 ) (94 {1} v9 v0 v4 ) (94 {1} v1 v6 v3 ) (94 {1} v1 v6 v2 ) (94 {1} v1 v6 v0 ) (94 {1} v1 v5 v12 ) (94 {1} v11 v6 v12 ) (94 {1} v7 v6 v5 ) (94 {1} v9 v1 v2 ) (94 {1} v1 v5 v11 ) (94 {1} v1 v5 v10 ) (94 {1} v11 v12 v10 ) (94 {1} v1 v5 v9 ) (94 {1} v9 v12 v11 ) (94 {1} v1 v5 v8 ) (94 {1} v12 v5 v4 ) (94 {1} v10 v11 v4 ) (94 {1} v1 v5 v7 ) (94 {1} v11 v5 v12 ) (94 {1} v11 v5 v9 ) (94 {1} v1 v5 v6 ) (94 {1} v1 v5 v4 ) (94 {1} v1 v5 v3 ) (94 {1} v1 v5 v2 ) (94 {1} v8 v2 v4 ) (94 {1} v1 v5 v0 ) (94 {1} v10 v8 v9 ) (94 {1} v10 v7 v3 ) (94 {1} v7 v8 v12 ) (94 {1} v8 v0 v7 ) (94 {1} v12 v3 v1 ) (94 {1} v1 v4 v12 ) (94 {1} v7 v9 v11 ) (94 {1} v7 v12 v11 ) (94 {1} v11 v1 v7 ) (94 {1} v1 v4 v11 ) (94 {1} v1 v4 v10 ) (94 {1} v9 v12 v2 ) (94 {1} v1 v4 v9 ) (94 {1} v8 v9 v12 ) (94 {1} v8 v12 v1 ) (94 {1} v7 v6 v0 ) (94 {1} v10 v1 v7 ) (94 {1} v1 v4 v8 ) (94 {1} v9 v4 v1 ) (94 {1} v9 v4 v5 ) (94 {1} v11 v3 v7 ) (94 {1} v1 v4 v7 ) (94 {1} v8 v7 v6 ) (94 {1} v1 v4 v6 ) (94 {1} v1 v4 v5 ) (94 {1} v9 v7 v3 ) (94 {1} v1 v4 v3 ) (94 {1} v1 v4 v2 ) (94 {1} v10 v7 v8 ) (94 {1} v10 v4 v1 ) (94 {1} v12 v4 v0 ) (94 {1} v8 v5 v11 ) (94 {1} v1 v4 v0 ) (94 {1} v1 v3 v12 ) (94 {1} v1 v3 v11 ) (94 {1} v1 v3 v10 ) (94 {1} v8 v0 v1 ) (94 {1} v1 v3 v9 ) (94 {1} v1 v3 v8 ) (94 {1} v1 v3 v7 ) (94 {1} v1 v3 v6 ) (94 {1} v1 v3 v5 ) (94 {1} v1 v3 v4 ) (94 {1} v10 v5 v9 ) (94 {1} v1 v3 v2 ) (94 {1} v8 v3 v7 ) (94 {1} v10 v6 v3 ) (94 {1} v1 v3 v0 ) (94 {1} v1 v2 v12 ) (94 {1} v1 v2 v11 ) (94 {1} v1 v2 v10 ) (94 {1} v12 v11 v1 ) (94 {1} v1 v2 v9 ) (94 {1} v12 v9 v7 ) (94 {1} v1 v2 v8 ) (94 {1} v1 v2 v7 ) (94 {1} v11 v6 v1 ) (94 {1} v7 v8 v3 ) (94 {1} v1 v2 v6 ) (94 {1} v1 v2 v5 ) (94 {1} v10 v4 v11 ) (94 {1} v1 v2 v4 ) (94 {1} v1 v2 v3 ) (94 {1} v1 v2 v0 ) (94 {1} v1 v0 v12 ) (94 {1} v1 v0 v11 ) (94 {1} v1 v0 v10 ) (94 {1} v1 v0 v9 ) (94 {1} v1 v0 v8 ) (94 {1} v1 v0 v7 ) (94 {1} v10 v2 v3 ) (94 {1} v1 v0 v6 ) (94 {1} v1 v0 v5 ) (94 {1} v12 v6 v9 ) (94 {1} v11 v2 v12 ) (94 {1} v1 v0 v4 ) (94 {1} v9 v8 v0 ) (94 {1} v1 v0 v3 ) (94 {1} v12 v8 v9 ) (94 {1} v1 v0 v2 ) (94 {1} v8 v12 v3 ) (94 {1} v0 v12 v11 ) (94 {1} v11 v5 v8 ) (94 {1} v0 v12 v10 ) (94 {1} v0 v12 v9 ) (94 {1} v9 v8 v10 ) (94 {1} v9 v3 v2 ) (94 {1} v7 v3 v6 ) (94 {1} v9 v8 v11 ) (94 {1} v8 v5 v1 ) (94 {1} v0 v12 v8 ) (94 {1} v8 v12 v2 ) (94 {1} v0 v12 v7 ) (94 {1} v9 v10 v11 ) (94 {1} v0 v12 v6 ) (94 {1} v0 v12 v5 ) (94 {1} v8 v11 v9 ) (94 {1} v7 v9 v5 ) (94 {1} v0 v12 v4 ) (94 {1} v0 v12 v3 ) (94 {1} v0 v12 v2 ) (94 {1} v0 v12 v1 ) (94 {1} v8 v0 v6 ) (94 {1} v7 v2 v0 ) (94 {1} v7 v5 v8 ) (94 {1} v0 v11 v12 ) (94 {1} v0 v11 v10 ) (94 {1} v0 v11 v9 ) (94 {1} v11 v2 v5 ) (94 {1} v12 v6 v0 ) (94 {1} v0 v11 v8 ) (94 {1} v9 v6 v12 ) (94 {1} v7 v3 v2 ) (94 {1} v12 v9 v10 ) (94 {1} v11 v6 v3 ) (94 {1} v0 v11 v7 ) (94 {1} v0 v11 v6 ) (94 {1} v0 v11 v5 ) (94 {1} v0 v11 v4 ) (94 {1} v0 v11 v3 ) (94 {1} v10 v5 v0 ) (94 {1} v0 v11 v2 ) (94 {1} v0 v11 v1 ) (94 {1} v0 v10 v12 ) (94 {1} v7 v5 v6 ) (94 {1} v0 v10 v11 ) (94 {1} v10 v2 v4 ) (94 {1} v0 v10 v9 ) (94 {1} v11 v8 v7 ) (94 {1} v0 v10 v8 ) (94 {1} v11 v1 v6 ) (94 {1} v0 v10 v7 ) (94 {1} v0 v10 v6 ) (94 {1} v9 v11 v12 ) (94 {1} v0 v10 v5 ) (94 {1} v0 v10 v4 ) (94 {1} v0 v10 v3 ) (94 {1} v0 v10 v2 ) (94 {1} v0 v10 v1 ) (94 {1} v0 v9 v12 ) (94 {1} v0 v9 v11 ) (94 {1} v10 v2 v12 ) (94 {1} v7 v11 v10 ) (94 {1} v12 v7 v0 ) (94 {1} v0 v9 v10 ) (94 {1} v10 v7 v5 ) (94 {1} v0 v9 v8 ) (94 {1} v9 v11 v6 ) (94 {1} v7 v12 v1 ) (94 {1} v0 v9 v7 ) (94 {1} v0 v9 v6 ) (94 {1} v0 v9 v5 ) (94 {1} v12 v5 v9 ) (94 {1} v8 v3 v9 ) (94 {1} v7 v2 v4 ) (94 {1} v0 v9 v4 ) (94 {1} v7 v9 v12 ) (94 {1} v0 v9 v3 ) (94 {1} v11 v7 v6 ) (94 {1} v9 v7 v2 ) (94 {1} v9 v11 v0 ) (94 {1} v8 v3 v6 ) (94 {1} v9 v1 v12 ) (94 {1} v0 v9 v2 ) (94 {1} v10 v7 v2 ) (94 {1} v11 v5 v7 ) (94 {1} v9 v1 v0 ) (94 {1} v12 v0 v5 ) (94 {1} v10 v8 v2 ) (94 {1} v0 v9 v1 ) (94 {1} v12 v2 v1 ) (94 {1} v12 v1 v0 ) (94 {1} v12 v8 v10 ) (94 {1} v11 v3 v9 ) (94 {1} v11 v1 v10 ) (94 {1} v0 v8 v12 ) (94 {1} v7 v2 v5 ) (94 {1} v0 v8 v11 ) (94 {1} v0 v8 v10 ) (94 {1} v7 v6 v3 ) (94 {1} v11 v5 v10 ) (94 {1} v0 v8 v9 ) (94 {1} v8 v9 v1 ) (94 {1} v0 v8 v7 ) (94 {1} v7 v5 v11 ) (94 {1} v10 v12 v0 ) (94 {1} v10 v7 v9 ) (94 {1} v0 v8 v6 ) (94 {1} v0 v8 v5 ) (94 {1} v0 v8 v4 ) (94 {1} v11 v12 v5 ) (94 {1} v11 v0 v6 ) (94 {1} v0 v8 v3 ) (94 {1} v11 v3 v4 ) (94 {1} v0 v8 v2 ) (94 {1} v0 v8 v1 ) (94 {1} v7 v4 v10 ) (94 {1} v9 v4 v11 ) (94 {1} v0 v7 v12 ) (94 {1} v0 v7 v11 ) (94 {1} v10 v5 v4 ) (94 {1} v7 v3 v0 ) (94 {1} v0 v7 v10 ) (94 {1} v9 v7 v10 ) (94 {1} v8 v3 v10 ) (94 {1} v0 v7 v9 ) (94 {1} v10 v3 v0 ) (94 {1} v8 v6 v1 ) (94 {1} v8 v7 v4 ) (94 {1} v11 v2 v0 ) (94 {1} v10 v7 v1 ) (94 {1} v0 v7 v8 ) (94 {1} v8 v12 v9 ) (94 {1} v11 v1 v3 ) (94 {1} v0 v7 v6 ) (94 {1} v0 v7 v5 ) (94 {1} v12 v1 v4 ) (94 {1} v12 v9 v1 ) (94 {1} v0 v7 v4 ) (94 {1} v0 v7 v3 ) (94 {1} v9 v11 v7 ) (94 {1} v12 v10 v4 ) (94 {1} v0 v7 v2 ) (94 {1} v0 v7 v1 ) (94 {1} v12 v7 v3 ) (94 {1} v0 v6 v12 ) (94 {1} v12 v1 v6 ) (94 {1} v0 v6 v11 ) (94 {1} v9 v1 v4 ) (94 {1} v11 v10 v2 ) (94 {1} v0 v6 v10 ) (94 {1} v0 v6 v9 ) (94 {1} v0 v6 v8 ) (94 {1} v7 v12 v2 ) (94 {1} v10 v8 v1 ) (94 {1} v0 v6 v7 ) (94 {1} v0 v6 v5 ) (94 {1} v0 v6 v4 ) (94 {1} v0 v6 v3 ) (94 {1} v0 v6 v2 ) (94 {1} v11 v8 v3 ) (94 {1} v9 v11 v2 ) (94 {1} v0 v6 v1 ) (94 {1} v0 v5 v12 ) (94 {1} v0 v5 v11 ) (94 {1} v0 v5 v10 ) (94 {1} v9 v1 v7 ) (94 {1} v8 v7 v9 ) (94 {1} v0 v5 v9 ) (94 {1} v0 v5 v8 ) (94 {1} v8 v10 v6 ) (94 {1} v10 v0 v11 ) (94 {1} v9 v7 v4 ) (94 {1} v0 v5 v7 ) (94 {1} v9 v7 v0 ) (94 {1} v0 v5 v6 ) (94 {1} v9 v11 v5 ) (94 {1} v0 v5 v4 ) (94 {1} v0 v5 v3 ) (94 {1} v0 v5 v2 ) (94 {1} v0 v5 v1 ) (94 {1} v0 v4 v12 ) (94 {1} v12 v9 v6 ) (94 {1} v0 v4 v11 ) (94 {1} v0 v4 v10 ) (94 {1} v0 v4 v9 ) (94 {1} v0 v4 v8 ) (94 {1} v0 v4 v7 ) (94 {1} v9 v8 v12 ) (94 {1} v0 v4 v6 ) (94 {1} v0 v4 v5 ) (94 {1} v0 v4 v3 ) (94 {1} v12 v1 v5 ) (94 {1} v0 v4 v2 ) (94 {1} v7 v2 v6 ) (94 {1} v0 v4 v1 ) (94 {1} v0 v3 v12 ) (94 {1} v9 v3 v7 ) (94 {1} v0 v3 v11 ) (94 {1} v0 v3 v10 ) (94 {1} v0 v3 v9 ) (94 {1} v0 v3 v8 ) (94 {1} v0 v3 v7 ) (94 {1} v11 v10 v0 ) (94 {1} v0 v3 v6 ) (94 {1} v0 v3 v5 ) (94 {1} v0 v3 v4 ) (94 {1} v0 v3 v2 ) (94 {1} v0 v3 v1 ) (94 {1} v10 v4 v2 ) (94 {1} v0 v2 v12 ) (94 {1} v12 v1 v9 ) (94 {1} v10 v0 v8 ) (94 {1} v12 v10 v0 ) (94 {1} v0 v2 v11 ) (94 {1} v0 v2 v10 ) (94 {1} v0 v2 v9 ) (94 {1} v0 v2 v8 ) (94 {1} v0 v2 v7 ) (94 {1} v8 v1 v11 ) (94 {1} v10 v3 v1 ) (94 {1} v0 v2 v6 ) (94 {1} v0 v2 v5 ) (94 {1} v10 v3 v2 ) (94 {1} v10 v12 v3 ) (94 {1} v0 v2 v4 ) (94 {1} v9 v10 v3 ) (94 {1} v9 v3 v8 ) (94 {1} v0 v2 v3 ) (94 {1} v0 v2 v1 ) (94 {1} v0 v1 v12 ) (94 {1} v0 v1 v11 ) (94 {1} v0 v1 v10 ) (94 {1} v7 v11 v2 ) (94 {1} v12 v11 v7 ) (94 {1} v8 v0 v2 ) (94 {1} v0 v1 v9 ) (94 {1} v12 v10 v6 ) (94 {1} v0 v1 v8 ) (94 {1} v9 v4 v2 ) (94 {1} v0 v1 v7 ) (94 {1} v0 v1 v6 ) (94 {1} v0 v1 v5 ) (94 {1} v0 v1 v4 ) (94 {1} v0 v1 v3 ) (94 {1} v7 v12 v8 ) (94 {1} v0 v1 v2 ) 3147] solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> true) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> true) ] 3140] solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v8 -> true) (v9 -> true) ] 3141] solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ] 3142] solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> true) ] 3143] ] [secret revealed 3143 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ] [acceptor received 2.1652918009308992 for solving 0.6842105263157895 of challenge 3143. acceptor: 181 offerer: 180 ] [secret revealed 3142 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ] [acceptor received 2.647619047619048 for solving 1.0 of challenge 3142. acceptor: 181 offerer: 180 ] [secret revealed 3141 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> true) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 2.2521383378526236 for solving 0.7272727272727273 of challenge 3141. acceptor: 181 offerer: 180 ] [secret revealed 3140 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false) ] [acceptor received 2.1841350826044703 for solving 0.6875 of challenge 3140. acceptor: 181 offerer: 180 ] [acceptor paid 0.8205895691609977 for challenge 3148. acceptor: 181 offerer: 180 ] [acceptor paid 0.7523809523809522 for challenge 3149. acceptor: 181 offerer: 180 ] [acceptor paid 0.7785714285714287 for challenge 3150. acceptor: 181 offerer: 180 ] [acceptor paid 0.8296598639455783 for challenge 3151. acceptor: 181 offerer: 180 ] ] round[3 playertrans[ 180 offer[3159 secret (133 ) 0.9047619047619049] offer[3158 secret (26 84 88 107 ) 0.8571428571428572] offer[3157 secret (1 87 121 189 250 ) 0.6952380952380952] offer[3156 secret (67 195 ) 0.8666666666666667] reoffer[3153 0.8594104308390025] provide[v0 v1 v10 v11 v12 v13 v16 v17 v18 v19 v2 v20 v21 v3 v4 v8 v9 (68 {1} v0 v1 v2 ) (68 {1} v0 v1 v2 ) (68 {1} v20 v21 v0 ) (68 {1} v10 v11 v12 ) (68 {1} v20 v21 v0 ) (68 {1} v1 v2 v3 ) (68 {1} v17 v18 v19 ) (68 {1} v2 v3 v4 ) (68 {1} v1 v2 v3 ) (68 {1} v8 v9 v10 ) (68 {1} v18 v19 v20 ) (68 {1} v16 v17 v18 ) (68 {1} v10 v11 v12 ) (68 {1} v1 v2 v3 ) (68 {1} v11 v12 v13 ) (68 {1} v1 v2 v3 ) (68 {1} v17 v18 v19 ) [ ] 3148] provide[v0 v1 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v2 v20 v21 v3 v4 v5 v6 v7 v8 v9 (82 {1} v13 v14 v15 ) (82 {1} v13 v14 v15 ) (82 {1} v17 v18 v19 ) (82 {1} v7 v8 v9 ) (82 {1} v12 v13 v14 ) (82 {1} v10 v11 v12 ) (82 {1} v16 v17 v18 ) (82 {1} v13 v14 v15 ) (82 {1} v1 v2 v3 ) (82 {1} v5 v6 v7 ) (82 {1} v7 v8 v9 ) (82 {1} v10 v11 v12 ) (82 {1} v4 v5 v6 ) (82 {1} v10 v11 v12 ) (82 {1} v20 v21 v0 ) (82 {1} v5 v6 v7 ) (82 {1} v14 v15 v16 ) [ ] 3149] provide[v0 v1 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 v3 v4 v5 v6 v8 v9 (88 {1} v15 v16 v17 ) (88 {1} v17 v18 v19 ) (88 {1} v13 v14 v15 ) (88 {1} v8 v9 v10 ) (88 {1} v3 v4 v5 ) (88 {1} v19 v20 v21 ) (88 {1} v16 v17 v18 ) (88 {1} v18 v19 v20 ) (88 {1} v9 v10 v11 ) (88 {1} v14 v15 v16 ) (88 {1} v18 v19 v20 ) (88 {1} v10 v11 v12 ) (88 {1} v21 v0 v1 ) (88 {1} v19 v20 v21 ) (88 {1} v21 v0 v1 ) (88 {1} v4 v5 v6 ) (88 {1} v14 v15 v16 ) (88 {1} v17 v18 v19 ) [ ] 3150] provide[v1 v10 v11 v12 v13 v15 v16 v17 v18 v19 v2 v20 v21 v3 v4 v5 v6 v8 v9 (160 {1} v18 v19 v20 ) (160 {1} v9 v10 v11 ) (160 {1} v8 v9 v10 ) (160 {1} v19 v20 v21 ) (160 {1} v17 v18 v19 ) (160 {1} v11 v12 v13 ) (160 {1} v19 v20 v21 ) (160 {1} v4 v5 v6 ) (160 {1} v15 v16 v17 ) (160 {1} v1 v2 v3 ) (160 {1} v2 v3 v4 ) [ ] 3151] solve[[ (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) (v22 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] 3145] solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v2 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> true) ] 3146] solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v2 -> true) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ] 3147] ] [acceptor received 0.0 for solving 0.6853146853146853 of challenge 3147. acceptor: 180 offerer: 181 ] [acceptor received 0.0 for solving 0.6853146853146853 of challenge 3146. acceptor: 180 offerer: 181 ] [acceptor received 0.0 for solving 0.6646666666666666 of challenge 3145. acceptor: 180 offerer: 181 ] playertrans[ 181 offer[3163 all (124 127 ) 0.6913146853146853] offer[3162 all (122 127 ) 0.6913146853146853] offer[3161 all (94 127 ) 0.6913146853146853] offer[3160 secret (124 ) 1.0] accept[3153] accept[3158] accept[3159] accept[3156] accept[3157] solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v8 -> false) (v9 -> true) ] 3148] solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ] 3149] solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> true) (v8 -> false) (v9 -> false) ] 3150] solve[[ (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> 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) (v8 -> true) (v9 -> true) ] 3151] ] [secret revealed 3151 : (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 2.8296598639455786 for solving 1.0 of challenge 3151. acceptor: 181 offerer: 180 ] [secret revealed 3150 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v8 -> false) (v9 -> true) ] [acceptor received 2.6674603174603178 for solving 0.9444444444444444 of challenge 3150. acceptor: 181 offerer: 180 ] [secret revealed 3149 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ] [acceptor received 2.7523809523809524 for solving 1.0 of challenge 3149. acceptor: 181 offerer: 180 ] [secret revealed 3148 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v8 -> false) (v9 -> true) ] [acceptor received 2.1147072162198213 for solving 0.6470588235294118 of challenge 3148. acceptor: 181 offerer: 180 ] [acceptor paid 0.6952380952380952 for challenge 3157. acceptor: 181 offerer: 180 ] [acceptor paid 0.8666666666666667 for challenge 3156. acceptor: 181 offerer: 180 ] [acceptor paid 0.9047619047619049 for challenge 3159. acceptor: 181 offerer: 180 ] [acceptor paid 0.8571428571428572 for challenge 3158. acceptor: 181 offerer: 180 ] [acceptor paid 0.8594104308390025 for challenge 3153. acceptor: 181 offerer: 180 ] ] round[4 [acceptor refunded 0.6952380952380952 for challenge 3157. acceptor: 180 offerer: 180 ] [acceptor refunded 0.8666666666666667 for challenge 3156. acceptor: 180 offerer: 180 ] [acceptor refunded 0.9047619047619049 for challenge 3159. acceptor: 180 offerer: 180 ] [acceptor refunded 0.8571428571428572 for challenge 3158. acceptor: 180 offerer: 180 ] [acceptor refunded 0.8594104308390025 for challenge 3153. acceptor: 180 offerer: 180 ] kicked[playerspec["GreekGods" "129.10.116.242" 2004] "java.lang.NullPointerException" "2/23/11 12:40:22 AM EST"] ] **** Final Results ***** "Astro" : 111.58038245910558 "GreekGods" : *88.41961754089442