{ "schema_version": "0.3", "name": "[[280,6,22]]", "code_type": "CSS", "n": 280, "k": 6, "checks": { "X": [ [ 0, 85, 124, 140, 159, 246 ], [ 1, 86, 125, 141, 160, 247 ], [ 2, 87, 119, 142, 154, 248 ], [ 3, 88, 120, 143, 155, 249 ], [ 4, 89, 121, 144, 156, 250 ], [ 5, 90, 122, 145, 157, 251 ], [ 6, 84, 123, 146, 158, 245 ], [ 7, 92, 131, 147, 166, 253 ], [ 8, 93, 132, 148, 167, 254 ], [ 9, 94, 126, 149, 161, 255 ], [ 10, 95, 127, 150, 162, 256 ], [ 11, 96, 128, 151, 163, 257 ], [ 12, 97, 129, 152, 164, 258 ], [ 13, 91, 130, 153, 165, 252 ], [ 14, 99, 138, 154, 173, 260 ], [ 15, 100, 139, 155, 174, 261 ], [ 16, 101, 133, 156, 168, 262 ], [ 17, 102, 134, 157, 169, 263 ], [ 18, 103, 135, 158, 170, 264 ], [ 19, 104, 136, 159, 171, 265 ], [ 20, 98, 137, 160, 172, 259 ], [ 5, 21, 106, 161, 180, 267 ], [ 6, 22, 107, 162, 181, 268 ], [ 0, 23, 108, 163, 175, 269 ], [ 1, 24, 109, 164, 176, 270 ], [ 2, 25, 110, 165, 177, 271 ], [ 3, 26, 111, 166, 178, 272 ], [ 4, 27, 105, 167, 179, 266 ], [ 12, 28, 113, 168, 187, 274 ], [ 13, 29, 114, 169, 188, 275 ], [ 7, 30, 115, 170, 182, 276 ], [ 8, 31, 116, 171, 183, 277 ], [ 9, 32, 117, 172, 184, 278 ], [ 10, 33, 118, 173, 185, 279 ], [ 11, 34, 112, 174, 186, 273 ], [ 19, 35, 120, 141, 175, 194 ], [ 20, 36, 121, 142, 176, 195 ], [ 14, 37, 122, 143, 177, 189 ], [ 15, 38, 123, 144, 178, 190 ], [ 16, 39, 124, 145, 179, 191 ], [ 17, 40, 125, 146, 180, 192 ], [ 18, 41, 119, 140, 181, 193 ], [ 26, 42, 127, 148, 182, 201 ], [ 27, 43, 128, 149, 183, 202 ], [ 21, 44, 129, 150, 184, 196 ], [ 22, 45, 130, 151, 185, 197 ], [ 23, 46, 131, 152, 186, 198 ], [ 24, 47, 132, 153, 187, 199 ], [ 25, 48, 126, 147, 188, 200 ], [ 33, 49, 134, 155, 189, 208 ], [ 34, 50, 135, 156, 190, 209 ], [ 28, 51, 136, 157, 191, 203 ], [ 29, 52, 137, 158, 192, 204 ], [ 30, 53, 138, 159, 193, 205 ], [ 31, 54, 139, 160, 194, 206 ], [ 32, 55, 133, 154, 195, 207 ], [ 1, 40, 56, 162, 196, 215 ], [ 2, 41, 57, 163, 197, 216 ], [ 3, 35, 58, 164, 198, 210 ], [ 4, 36, 59, 165, 199, 211 ], [ 5, 37, 60, 166, 200, 212 ], [ 6, 38, 61, 167, 201, 213 ], [ 0, 39, 62, 161, 202, 214 ], [ 8, 47, 63, 169, 203, 222 ], [ 9, 48, 64, 170, 204, 223 ], [ 10, 42, 65, 171, 205, 217 ], [ 11, 43, 66, 172, 206, 218 ], [ 12, 44, 67, 173, 207, 219 ], [ 13, 45, 68, 174, 208, 220 ], [ 7, 46, 69, 168, 209, 221 ], [ 15, 54, 70, 176, 210, 229 ], [ 16, 55, 71, 177, 211, 230 ], [ 17, 49, 72, 178, 212, 224 ], [ 18, 50, 73, 179, 213, 225 ], [ 19, 51, 74, 180, 214, 226 ], [ 20, 52, 75, 181, 215, 227 ], [ 14, 53, 76, 175, 216, 228 ], [ 22, 61, 77, 183, 217, 236 ], [ 23, 62, 78, 184, 218, 237 ], [ 24, 56, 79, 185, 219, 231 ], [ 25, 57, 80, 186, 220, 232 ], [ 26, 58, 81, 187, 221, 233 ], [ 27, 59, 82, 188, 222, 234 ], [ 21, 60, 83, 182, 223, 235 ], [ 29, 68, 84, 190, 224, 243 ], [ 30, 69, 85, 191, 225, 244 ], [ 31, 63, 86, 192, 226, 238 ], [ 32, 64, 87, 193, 227, 239 ], [ 33, 65, 88, 194, 228, 240 ], [ 34, 66, 89, 195, 229, 241 ], [ 28, 67, 90, 189, 230, 242 ], [ 36, 75, 91, 197, 231, 250 ], [ 37, 76, 92, 198, 232, 251 ], [ 38, 70, 93, 199, 233, 245 ], [ 39, 71, 94, 200, 234, 246 ], [ 40, 72, 95, 201, 235, 247 ], [ 41, 73, 96, 202, 236, 248 ], [ 35, 74, 97, 196, 237, 249 ], [ 43, 82, 98, 204, 238, 257 ], [ 44, 83, 99, 205, 239, 258 ], [ 45, 77, 100, 206, 240, 252 ], [ 46, 78, 101, 207, 241, 253 ], [ 47, 79, 102, 208, 242, 254 ], [ 48, 80, 103, 209, 243, 255 ], [ 42, 81, 104, 203, 244, 256 ], [ 50, 89, 105, 211, 245, 264 ], [ 51, 90, 106, 212, 246, 265 ], [ 52, 84, 107, 213, 247, 259 ], [ 53, 85, 108, 214, 248, 260 ], [ 54, 86, 109, 215, 249, 261 ], [ 55, 87, 110, 216, 250, 262 ], [ 49, 88, 111, 210, 251, 263 ], [ 57, 96, 112, 218, 252, 271 ], [ 58, 97, 113, 219, 253, 272 ], [ 59, 91, 114, 220, 254, 266 ], [ 60, 92, 115, 221, 255, 267 ], [ 61, 93, 116, 222, 256, 268 ], [ 62, 94, 117, 223, 257, 269 ], [ 56, 95, 118, 217, 258, 270 ], [ 64, 103, 119, 225, 259, 278 ], [ 65, 104, 120, 226, 260, 279 ], [ 66, 98, 121, 227, 261, 273 ], [ 67, 99, 122, 228, 262, 274 ], [ 68, 100, 123, 229, 263, 275 ], [ 69, 101, 124, 230, 264, 276 ], [ 63, 102, 125, 224, 265, 277 ], [ 71, 110, 126, 145, 232, 266 ], [ 72, 111, 127, 146, 233, 267 ], [ 73, 105, 128, 140, 234, 268 ], [ 74, 106, 129, 141, 235, 269 ], [ 75, 107, 130, 142, 236, 270 ], [ 76, 108, 131, 143, 237, 271 ], [ 70, 109, 132, 144, 231, 272 ], [ 78, 117, 133, 152, 239, 273 ], [ 79, 118, 134, 153, 240, 274 ], [ 80, 112, 135, 147, 241, 275 ], [ 81, 113, 136, 148, 242, 276 ], [ 82, 114, 137, 149, 243, 277 ], [ 83, 115, 138, 150, 244, 278 ], [ 77, 116, 139, 151, 238, 279 ] ], "Z": [ [ 0, 41, 128, 140, 163, 202 ], [ 1, 35, 129, 141, 164, 196 ], [ 2, 36, 130, 142, 165, 197 ], [ 3, 37, 131, 143, 166, 198 ], [ 4, 38, 132, 144, 167, 199 ], [ 5, 39, 126, 145, 161, 200 ], [ 6, 40, 127, 146, 162, 201 ], [ 7, 48, 135, 147, 170, 209 ], [ 8, 42, 136, 148, 171, 203 ], [ 9, 43, 137, 149, 172, 204 ], [ 10, 44, 138, 150, 173, 205 ], [ 11, 45, 139, 151, 174, 206 ], [ 12, 46, 133, 152, 168, 207 ], [ 13, 47, 134, 153, 169, 208 ], [ 2, 14, 55, 154, 177, 216 ], [ 3, 15, 49, 155, 178, 210 ], [ 4, 16, 50, 156, 179, 211 ], [ 5, 17, 51, 157, 180, 212 ], [ 6, 18, 52, 158, 181, 213 ], [ 0, 19, 53, 159, 175, 214 ], [ 1, 20, 54, 160, 176, 215 ], [ 9, 21, 62, 161, 184, 223 ], [ 10, 22, 56, 162, 185, 217 ], [ 11, 23, 57, 163, 186, 218 ], [ 12, 24, 58, 164, 187, 219 ], [ 13, 25, 59, 165, 188, 220 ], [ 7, 26, 60, 166, 182, 221 ], [ 8, 27, 61, 167, 183, 222 ], [ 16, 28, 69, 168, 191, 230 ], [ 17, 29, 63, 169, 192, 224 ], [ 18, 30, 64, 170, 193, 225 ], [ 19, 31, 65, 171, 194, 226 ], [ 20, 32, 66, 172, 195, 227 ], [ 14, 33, 67, 173, 189, 228 ], [ 15, 34, 68, 174, 190, 229 ], [ 23, 35, 76, 175, 198, 237 ], [ 24, 36, 70, 176, 199, 231 ], [ 25, 37, 71, 177, 200, 232 ], [ 26, 38, 72, 178, 201, 233 ], [ 27, 39, 73, 179, 202, 234 ], [ 21, 40, 74, 180, 196, 235 ], [ 22, 41, 75, 181, 197, 236 ], [ 30, 42, 83, 182, 205, 244 ], [ 31, 43, 77, 183, 206, 238 ], [ 32, 44, 78, 184, 207, 239 ], [ 33, 45, 79, 185, 208, 240 ], [ 34, 46, 80, 186, 209, 241 ], [ 28, 47, 81, 187, 203, 242 ], [ 29, 48, 82, 188, 204, 243 ], [ 37, 49, 90, 189, 212, 251 ], [ 38, 50, 84, 190, 213, 245 ], [ 39, 51, 85, 191, 214, 246 ], [ 40, 52, 86, 192, 215, 247 ], [ 41, 53, 87, 193, 216, 248 ], [ 35, 54, 88, 194, 210, 249 ], [ 36, 55, 89, 195, 211, 250 ], [ 44, 56, 97, 196, 219, 258 ], [ 45, 57, 91, 197, 220, 252 ], [ 46, 58, 92, 198, 221, 253 ], [ 47, 59, 93, 199, 222, 254 ], [ 48, 60, 94, 200, 223, 255 ], [ 42, 61, 95, 201, 217, 256 ], [ 43, 62, 96, 202, 218, 257 ], [ 51, 63, 104, 203, 226, 265 ], [ 52, 64, 98, 204, 227, 259 ], [ 53, 65, 99, 205, 228, 260 ], [ 54, 66, 100, 206, 229, 261 ], [ 55, 67, 101, 207, 230, 262 ], [ 49, 68, 102, 208, 224, 263 ], [ 50, 69, 103, 209, 225, 264 ], [ 58, 70, 111, 210, 233, 272 ], [ 59, 71, 105, 211, 234, 266 ], [ 60, 72, 106, 212, 235, 267 ], [ 61, 73, 107, 213, 236, 268 ], [ 62, 74, 108, 214, 237, 269 ], [ 56, 75, 109, 215, 231, 270 ], [ 57, 76, 110, 216, 232, 271 ], [ 65, 77, 118, 217, 240, 279 ], [ 66, 78, 112, 218, 241, 273 ], [ 67, 79, 113, 219, 242, 274 ], [ 68, 80, 114, 220, 243, 275 ], [ 69, 81, 115, 221, 244, 276 ], [ 63, 82, 116, 222, 238, 277 ], [ 64, 83, 117, 223, 239, 278 ], [ 72, 84, 125, 146, 224, 247 ], [ 73, 85, 119, 140, 225, 248 ], [ 74, 86, 120, 141, 226, 249 ], [ 75, 87, 121, 142, 227, 250 ], [ 76, 88, 122, 143, 228, 251 ], [ 70, 89, 123, 144, 229, 245 ], [ 71, 90, 124, 145, 230, 246 ], [ 79, 91, 132, 153, 231, 254 ], [ 80, 92, 126, 147, 232, 255 ], [ 81, 93, 127, 148, 233, 256 ], [ 82, 94, 128, 149, 234, 257 ], [ 83, 95, 129, 150, 235, 258 ], [ 77, 96, 130, 151, 236, 252 ], [ 78, 97, 131, 152, 237, 253 ], [ 86, 98, 139, 160, 238, 261 ], [ 87, 99, 133, 154, 239, 262 ], [ 88, 100, 134, 155, 240, 263 ], [ 89, 101, 135, 156, 241, 264 ], [ 90, 102, 136, 157, 242, 265 ], [ 84, 103, 137, 158, 243, 259 ], [ 85, 104, 138, 159, 244, 260 ], [ 6, 93, 105, 167, 245, 268 ], [ 0, 94, 106, 161, 246, 269 ], [ 1, 95, 107, 162, 247, 270 ], [ 2, 96, 108, 163, 248, 271 ], [ 3, 97, 109, 164, 249, 272 ], [ 4, 91, 110, 165, 250, 266 ], [ 5, 92, 111, 166, 251, 267 ], [ 13, 100, 112, 174, 252, 275 ], [ 7, 101, 113, 168, 253, 276 ], [ 8, 102, 114, 169, 254, 277 ], [ 9, 103, 115, 170, 255, 278 ], [ 10, 104, 116, 171, 256, 279 ], [ 11, 98, 117, 172, 257, 273 ], [ 12, 99, 118, 173, 258, 274 ], [ 20, 107, 119, 142, 181, 259 ], [ 14, 108, 120, 143, 175, 260 ], [ 15, 109, 121, 144, 176, 261 ], [ 16, 110, 122, 145, 177, 262 ], [ 17, 111, 123, 146, 178, 263 ], [ 18, 105, 124, 140, 179, 264 ], [ 19, 106, 125, 141, 180, 265 ], [ 27, 114, 126, 149, 188, 266 ], [ 21, 115, 127, 150, 182, 267 ], [ 22, 116, 128, 151, 183, 268 ], [ 23, 117, 129, 152, 184, 269 ], [ 24, 118, 130, 153, 185, 270 ], [ 25, 112, 131, 147, 186, 271 ], [ 26, 113, 132, 148, 187, 272 ], [ 34, 121, 133, 156, 195, 273 ], [ 28, 122, 134, 157, 189, 274 ], [ 29, 123, 135, 158, 190, 275 ], [ 30, 124, 136, 159, 191, 276 ], [ 31, 125, 137, 160, 192, 277 ], [ 32, 119, 138, 154, 193, 278 ], [ 33, 120, 139, 155, 194, 279 ] ] }, "distance": { "d": 22, "X": { "value": 22, "confidence": "upper_bound", "witness": [ 0, 8, 19, 31, 33, 42, 60, 94, 102, 125, 127, 128, 146, 157, 182, 183, 189, 212, 240, 256, 263, 279 ] }, "Z": { "value": 22, "confidence": "upper_bound", "witness": [ 5, 7, 12, 21, 44, 49, 58, 67, 83, 90, 115, 134, 164, 176, 195, 207, 212, 221, 229, 253, 263, 274 ] } }, "provenance": { "authors": [ "@vprusso" ], "construction": "Periodic bivariate-bicycle code on Z_20 x Z_7 (n = 2*l*m = 280): x = S_20 tensor I_7, y = I_20 tensor S_7 (cyclic shifts), qubit index i*m + j in each block; A = x^0y^0 + x^12y^1 + x^17y^5, B = x^0y^0 + x^2y^5 + x^15y^1; H_X = [A|B], H_Z = [B^T|A^T] (research/kit/bb.py build_bb(20, 7, [(0, 0), (12, 1), (17, 5)], [(0, 0), (2, 5), (15, 1)])). Layout: simulated annealing of the qubit-to-site assignment on a unit-spaced triangular grid with two layers (at most two qubits per site, research/local2d/fold_layout.py anneal), measured interaction radius 7.0000.", "origin": "submission", "date": "2026-09-22", "model": "Claude Fable 5.1", "notes": "Found by a random trinomial-pair sweep over tori Z_l x Z_m with 100 <= n <= 360 aimed at the weight-6 x local-2d-bilayer cell. Distance is a witness-backed upper bound; RIS ladder (verify/gf2_fast.cpp, pair depth 8): 200000 trials seed 101 -> 22, 1000000 trials seed 102 -> 22, 1000000 trials seed 103 -> 22. Advances the weight-6 x local-2d-bilayer board; novelty vs the literature unverified. GPU RIS pass (verify/ris_gpu.py, 300,000,000 trials per side, seed 2026): lightest logical X 22, Z 22.", "search_budget": { "candidates_screened": 29988, "ris_trials_per_side": 300000000, "wall_clock_hours": 1.0, "tool": "research/kit search funnel, gf2_fast RIS, verify/ris_gpu (A40)" } }, "family": "bivariate-bicycle", "locality": { "coordinates": [ [ 8.5, 4.330127018922193 ], [ 5.5, 2.598076211353316 ], [ 8.0, 6.928203230275509 ], [ 10.0, 5.196152422706632 ], [ 2.5, 6.06217782649107 ], [ 8.0, 5.196152422706632 ], [ 0.0, 6.928203230275509 ], [ 9.0, 10.392304845413264 ], [ 3.5, 0.8660254037844386 ], [ 3.5, 9.526279441628825 ], [ 7.0, 3.4641016151377544 ], [ 5.0, 8.660254037844386 ], [ 11.5, 4.330127018922193 ], [ 5.0, 5.196152422706632 ], [ 12.5, 2.598076211353316 ], [ 5.5, 6.06217782649107 ], [ 8.0, 6.928203230275509 ], [ 4.0, 1.7320508075688772 ], [ 3.5, 9.526279441628825 ], [ 10.0, 0.0 ], [ 2.0, 6.928203230275509 ], [ 7.5, 6.06217782649107 ], [ 3.0, 1.7320508075688772 ], [ 11.0, 8.660254037844386 ], [ 6.5, 0.8660254037844386 ], [ 7.5, 9.526279441628825 ], [ 6.5, 6.06217782649107 ], [ 0.5, 4.330127018922193 ], [ 12.0, 3.4641016151377544 ], [ 0.0, 5.196152422706632 ], [ 9.0, 8.660254037844386 ], [ 3.5, 0.8660254037844386 ], [ 5.5, 7.794228634059947 ], [ 10.5, 0.8660254037844386 ], [ 5.0, 10.392304845413264 ], [ 9.0, 3.4641016151377544 ], [ 3.0, 3.4641016151377544 ], [ 11.5, 7.794228634059947 ], [ 1.0, 5.196152422706632 ], [ 6.5, 4.330127018922193 ], [ 3.5, 2.598076211353316 ], [ 5.0, 3.4641016151377544 ], [ 6.5, 2.598076211353316 ], [ 3.5, 6.06217782649107 ], [ 10.5, 4.330127018922193 ], [ 8.5, 4.330127018922193 ], [ 10.0, 10.392304845413264 ], [ 7.5, 2.598076211353316 ], [ 2.5, 9.526279441628825 ], [ 8.0, 3.4641016151377544 ], [ 4.0, 10.392304845413264 ], [ 10.0, 1.7320508075688772 ], [ 0.5, 4.330127018922193 ], [ 11.0, 3.4641016151377544 ], [ 3.5, 2.598076211353316 ], [ 9.5, 4.330127018922193 ], [ 7.5, 0.8660254037844386 ], [ 9.0, 8.660254037844386 ], [ 9.0, 5.196152422706632 ], [ 2.5, 6.06217782649107 ], [ 6.5, 9.526279441628825 ], [ 0.0, 3.4641016151377544 ], [ 6.0, 6.928203230275509 ], [ 4.5, 0.8660254037844386 ], [ 3.5, 7.794228634059947 ], [ 10.0, 0.0 ], [ 4.5, 7.794228634059947 ], [ 12.5, 4.330127018922193 ], [ 3.0, 5.196152422706632 ], [ 10.0, 8.660254037844386 ], [ 3.5, 4.330127018922193 ], [ 8.5, 7.794228634059947 ], [ 2.0, 5.196152422706632 ], [ 2.0, 6.928203230275509 ], [ 9.0, 1.7320508075688772 ], [ 2.0, 1.7320508075688772 ], [ 12.0, 6.928203230275509 ], [ 4.5, 0.8660254037844386 ], [ 9.5, 9.526279441628825 ], [ 9.5, 0.8660254037844386 ], [ 4.5, 9.526279441628825 ], [ 10.5, 4.330127018922193 ], [ 0.0, 5.196152422706632 ], [ 9.0, 6.928203230275509 ], [ 0.5, 6.06217782649107 ], [ 8.0, 5.196152422706632 ], [ 5.0, 1.7320508075688772 ], [ 7.0, 5.196152422706632 ], [ 8.5, 2.598076211353316 ], [ 3.5, 7.794228634059947 ], [ 11.5, 2.598076211353316 ], [ 5.0, 3.4641016151377544 ], [ 9.0, 10.392304845413264 ], [ 4.0, 3.4641016151377544 ], [ 4.0, 6.928203230275509 ], [ 6.0, 1.7320508075688772 ], [ 7.0, 5.196152422706632 ], [ 11.0, 5.196152422706632 ], [ 1.5, 7.794228634059947 ], [ 12.0, 3.4641016151377544 ], [ 6.0, 5.196152422706632 ], [ 8.0, 8.660254037844386 ], [ 6.0, 0.0 ], [ 4.0, 10.392304845413264 ], [ 9.5, 0.8660254037844386 ], [ 2.5, 7.794228634059947 ], [ 6.5, 4.330127018922193 ], [ 1.0, 3.4641016151377544 ], [ 11.5, 6.06217782649107 ], [ 6.0, 1.7320508075688772 ], [ 8.5, 6.06217782649107 ], [ 5.0, 6.928203230275509 ], [ 7.0, 10.392304845413264 ], [ 9.5, 4.330127018922193 ], [ 3.0, 5.196152422706632 ], [ 8.5, 9.526279441628825 ], [ 3.0, 0.0 ], [ 5.5, 9.526279441628825 ], [ 9.0, 0.0 ], [ 4.5, 6.06217782649107 ], [ 11.0, 1.7320508075688772 ], [ 5.0, 5.196152422706632 ], [ 11.5, 4.330127018922193 ], [ 0.5, 6.06217782649107 ], [ 9.5, 7.794228634059947 ], [ 3.0, 0.0 ], [ 4.5, 9.526279441628825 ], [ 5.5, 4.330127018922193 ], [ 2.5, 4.330127018922193 ], [ 10.0, 5.196152422706632 ], [ 4.0, 1.7320508075688772 ], [ 10.5, 9.526279441628825 ], [ 5.0, 1.7320508075688772 ], [ 10.5, 7.794228634059947 ], [ 8.0, 0.0 ], [ 2.5, 9.526279441628825 ], [ 9.5, 2.598076211353316 ], [ 1.5, 6.06217782649107 ], [ 10.0, 6.928203230275509 ], [ 6.0, 3.4641016151377544 ], [ 4.5, 6.06217782649107 ], [ 8.0, 1.7320508075688772 ], [ 2.0, 5.196152422706632 ], [ 12.0, 5.196152422706632 ], [ 3.5, 4.330127018922193 ], [ 9.0, 6.928203230275509 ], [ 1.0, 5.196152422706632 ], [ 8.0, 10.392304845413264 ], [ 7.0, 1.7320508075688772 ], [ 3.0, 8.660254037844386 ], [ 8.0, 3.4641016151377544 ], [ 2.5, 4.330127018922193 ], [ 9.5, 7.794228634059947 ], [ 6.0, 0.0 ], [ 8.5, 6.06217782649107 ], [ 8.5, 2.598076211353316 ], [ 7.0, 8.660254037844386 ], [ 8.5, 0.8660254037844386 ], [ 0.0, 8.660254037844386 ], [ 9.5, 2.598076211353316 ], [ 2.5, 2.598076211353316 ], [ 8.0, 8.660254037844386 ], [ 3.0, 1.7320508075688772 ], [ 7.0, 6.928203230275509 ], [ 6.5, 2.598076211353316 ], [ 7.5, 4.330127018922193 ], [ 10.0, 6.928203230275509 ], [ 1.0, 3.4641016151377544 ], [ 12.0, 6.928203230275509 ], [ 2.5, 0.8660254037844386 ], [ 6.0, 10.392304845413264 ], [ 5.0, 0.0 ], [ 4.0, 8.660254037844386 ], [ 11.5, 2.598076211353316 ], [ 5.0, 6.928203230275509 ], [ 12.5, 4.330127018922193 ], [ 2.0, 1.7320508075688772 ], [ 11.5, 7.794228634059947 ], [ 6.0, 6.928203230275509 ], [ 4.5, 7.794228634059947 ], [ 7.0, 3.4641016151377544 ], [ 1.0, 6.928203230275509 ], [ 6.5, 7.794228634059947 ], [ 0.5, 2.598076211353316 ], [ 6.5, 6.06217782649107 ], [ 5.5, 0.8660254037844386 ], [ 7.5, 9.526279441628825 ], [ 10.0, 3.4641016151377544 ], [ 3.0, 6.928203230275509 ], [ 11.0, 3.4641016151377544 ], [ 2.0, 8.660254037844386 ], [ 10.5, 6.06217782649107 ], [ 1.5, 2.598076211353316 ], [ 7.0, 6.928203230275509 ], [ 7.0, 1.7320508075688772 ], [ 5.5, 6.06217782649107 ], [ 7.5, 0.8660254037844386 ], [ 4.0, 5.196152422706632 ], [ 9.5, 6.06217782649107 ], [ 4.5, 2.598076211353316 ], [ 8.5, 9.526279441628825 ], [ 1.5, 4.330127018922193 ], [ 3.5, 6.06217782649107 ], [ 9.0, 0.0 ], [ 0.0, 8.660254037844386 ], [ 10.5, 2.598076211353316 ], [ 3.0, 3.4641016151377544 ], [ 10.5, 7.794228634059947 ], [ 8.0, 1.7320508075688772 ], [ 8.0, 10.392304845413264 ], [ 5.5, 4.330127018922193 ], [ 6.5, 7.794228634059947 ], [ 7.5, 6.06217782649107 ], [ 0.5, 7.794228634059947 ], [ 9.0, 3.4641016151377544 ], [ 4.5, 2.598076211353316 ], [ 10.0, 3.4641016151377544 ], [ 5.0, 0.0 ], [ 7.5, 7.794228634059947 ], [ 12.0, 1.7320508075688772 ], [ 7.0, 8.660254037844386 ], [ 10.5, 9.526279441628825 ], [ 2.5, 0.8660254037844386 ], [ 5.0, 10.392304845413264 ], [ 2.0, 3.4641016151377544 ], [ 5.5, 9.526279441628825 ], [ 7.0, 0.0 ], [ 1.5, 7.794228634059947 ], [ 12.5, 2.598076211353316 ], [ 1.0, 6.928203230275509 ], [ 11.5, 6.06217782649107 ], [ 5.5, 0.8660254037844386 ], [ 9.5, 9.526279441628825 ], [ 5.5, 7.794228634059947 ], [ 4.0, 6.928203230275509 ], [ 4.0, 5.196152422706632 ], [ 1.5, 4.330127018922193 ], [ 11.0, 5.196152422706632 ], [ 1.5, 2.598076211353316 ], [ 8.5, 7.794228634059947 ], [ 8.0, 0.0 ], [ 6.0, 10.392304845413264 ], [ 10.0, 1.7320508075688772 ], [ 2.5, 7.794228634059947 ], [ 10.5, 6.06217782649107 ], [ 1.5, 6.06217782649107 ], [ 9.0, 5.196152422706632 ], [ 2.5, 2.598076211353316 ], [ 7.5, 4.330127018922193 ], [ 8.5, 0.8660254037844386 ], [ 6.0, 3.4641016151377544 ], [ 9.5, 6.06217782649107 ], [ 6.0, 5.196152422706632 ], [ 11.0, 6.928203230275509 ], [ 5.5, 2.598076211353316 ], [ 7.0, 10.392304845413264 ], [ 4.0, 3.4641016151377544 ], [ 3.0, 8.660254037844386 ], [ 9.0, 1.7320508075688772 ], [ 2.0, 8.660254037844386 ], [ 11.0, 1.7320508075688772 ], [ 4.5, 4.330127018922193 ], [ 12.0, 5.196152422706632 ], [ 4.5, 4.330127018922193 ], [ 6.0, 8.660254037844386 ], [ 7.0, 0.0 ], [ 4.0, 8.660254037844386 ], [ 6.0, 8.660254037844386 ], [ 0.0, 3.4641016151377544 ], [ 7.5, 7.794228634059947 ], [ 4.0, 0.0 ], [ 10.0, 8.660254037844386 ], [ 7.5, 2.598076211353316 ], [ 5.0, 8.660254037844386 ], [ 10.5, 2.598076211353316 ], [ 3.0, 6.928203230275509 ], [ 11.0, 6.928203230275509 ], [ 2.0, 3.4641016151377544 ], [ 6.5, 9.526279441628825 ], [ 6.5, 0.8660254037844386 ] ], "layers": 2 } }