{ "schema_version": "0.3", "name": "[[300,8,20]]", "code_type": "CSS", "n": 300, "k": 8, "checks": { "X": [ [ 0, 80, 122, 150, 163, 166 ], [ 1, 81, 123, 151, 164, 167 ], [ 2, 82, 124, 152, 165, 168 ], [ 3, 83, 125, 153, 166, 169 ], [ 4, 84, 126, 154, 160, 167 ], [ 5, 85, 127, 155, 161, 168 ], [ 6, 86, 128, 156, 162, 169 ], [ 7, 87, 129, 157, 160, 163 ], [ 8, 88, 120, 158, 161, 164 ], [ 9, 89, 121, 159, 162, 165 ], [ 10, 90, 132, 160, 173, 176 ], [ 11, 91, 133, 161, 174, 177 ], [ 12, 92, 134, 162, 175, 178 ], [ 13, 93, 135, 163, 176, 179 ], [ 14, 94, 136, 164, 170, 177 ], [ 15, 95, 137, 165, 171, 178 ], [ 16, 96, 138, 166, 172, 179 ], [ 17, 97, 139, 167, 170, 173 ], [ 18, 98, 130, 168, 171, 174 ], [ 19, 99, 131, 169, 172, 175 ], [ 20, 100, 142, 170, 183, 186 ], [ 21, 101, 143, 171, 184, 187 ], [ 22, 102, 144, 172, 185, 188 ], [ 23, 103, 145, 173, 186, 189 ], [ 24, 104, 146, 174, 180, 187 ], [ 25, 105, 147, 175, 181, 188 ], [ 26, 106, 148, 176, 182, 189 ], [ 27, 107, 149, 177, 180, 183 ], [ 28, 108, 140, 178, 181, 184 ], [ 29, 109, 141, 179, 182, 185 ], [ 2, 30, 110, 180, 193, 196 ], [ 3, 31, 111, 181, 194, 197 ], [ 4, 32, 112, 182, 195, 198 ], [ 5, 33, 113, 183, 196, 199 ], [ 6, 34, 114, 184, 190, 197 ], [ 7, 35, 115, 185, 191, 198 ], [ 8, 36, 116, 186, 192, 199 ], [ 9, 37, 117, 187, 190, 193 ], [ 0, 38, 118, 188, 191, 194 ], [ 1, 39, 119, 189, 192, 195 ], [ 12, 40, 120, 190, 203, 206 ], [ 13, 41, 121, 191, 204, 207 ], [ 14, 42, 122, 192, 205, 208 ], [ 15, 43, 123, 193, 206, 209 ], [ 16, 44, 124, 194, 200, 207 ], [ 17, 45, 125, 195, 201, 208 ], [ 18, 46, 126, 196, 202, 209 ], [ 19, 47, 127, 197, 200, 203 ], [ 10, 48, 128, 198, 201, 204 ], [ 11, 49, 129, 199, 202, 205 ], [ 22, 50, 130, 200, 213, 216 ], [ 23, 51, 131, 201, 214, 217 ], [ 24, 52, 132, 202, 215, 218 ], [ 25, 53, 133, 203, 216, 219 ], [ 26, 54, 134, 204, 210, 217 ], [ 27, 55, 135, 205, 211, 218 ], [ 28, 56, 136, 206, 212, 219 ], [ 29, 57, 137, 207, 210, 213 ], [ 20, 58, 138, 208, 211, 214 ], [ 21, 59, 139, 209, 212, 215 ], [ 32, 60, 140, 210, 223, 226 ], [ 33, 61, 141, 211, 224, 227 ], [ 34, 62, 142, 212, 225, 228 ], [ 35, 63, 143, 213, 226, 229 ], [ 36, 64, 144, 214, 220, 227 ], [ 37, 65, 145, 215, 221, 228 ], [ 38, 66, 146, 216, 222, 229 ], [ 39, 67, 147, 217, 220, 223 ], [ 30, 68, 148, 218, 221, 224 ], [ 31, 69, 149, 219, 222, 225 ], [ 0, 42, 70, 220, 233, 236 ], [ 1, 43, 71, 221, 234, 237 ], [ 2, 44, 72, 222, 235, 238 ], [ 3, 45, 73, 223, 236, 239 ], [ 4, 46, 74, 224, 230, 237 ], [ 5, 47, 75, 225, 231, 238 ], [ 6, 48, 76, 226, 232, 239 ], [ 7, 49, 77, 227, 230, 233 ], [ 8, 40, 78, 228, 231, 234 ], [ 9, 41, 79, 229, 232, 235 ], [ 10, 52, 80, 230, 243, 246 ], [ 11, 53, 81, 231, 244, 247 ], [ 12, 54, 82, 232, 245, 248 ], [ 13, 55, 83, 233, 246, 249 ], [ 14, 56, 84, 234, 240, 247 ], [ 15, 57, 85, 235, 241, 248 ], [ 16, 58, 86, 236, 242, 249 ], [ 17, 59, 87, 237, 240, 243 ], [ 18, 50, 88, 238, 241, 244 ], [ 19, 51, 89, 239, 242, 245 ], [ 20, 62, 90, 240, 253, 256 ], [ 21, 63, 91, 241, 254, 257 ], [ 22, 64, 92, 242, 255, 258 ], [ 23, 65, 93, 243, 256, 259 ], [ 24, 66, 94, 244, 250, 257 ], [ 25, 67, 95, 245, 251, 258 ], [ 26, 68, 96, 246, 252, 259 ], [ 27, 69, 97, 247, 250, 253 ], [ 28, 60, 98, 248, 251, 254 ], [ 29, 61, 99, 249, 252, 255 ], [ 30, 72, 100, 250, 263, 266 ], [ 31, 73, 101, 251, 264, 267 ], [ 32, 74, 102, 252, 265, 268 ], [ 33, 75, 103, 253, 266, 269 ], [ 34, 76, 104, 254, 260, 267 ], [ 35, 77, 105, 255, 261, 268 ], [ 36, 78, 106, 256, 262, 269 ], [ 37, 79, 107, 257, 260, 263 ], [ 38, 70, 108, 258, 261, 264 ], [ 39, 71, 109, 259, 262, 265 ], [ 40, 82, 110, 260, 273, 276 ], [ 41, 83, 111, 261, 274, 277 ], [ 42, 84, 112, 262, 275, 278 ], [ 43, 85, 113, 263, 276, 279 ], [ 44, 86, 114, 264, 270, 277 ], [ 45, 87, 115, 265, 271, 278 ], [ 46, 88, 116, 266, 272, 279 ], [ 47, 89, 117, 267, 270, 273 ], [ 48, 80, 118, 268, 271, 274 ], [ 49, 81, 119, 269, 272, 275 ], [ 50, 92, 120, 270, 283, 286 ], [ 51, 93, 121, 271, 284, 287 ], [ 52, 94, 122, 272, 285, 288 ], [ 53, 95, 123, 273, 286, 289 ], [ 54, 96, 124, 274, 280, 287 ], [ 55, 97, 125, 275, 281, 288 ], [ 56, 98, 126, 276, 282, 289 ], [ 57, 99, 127, 277, 280, 283 ], [ 58, 90, 128, 278, 281, 284 ], [ 59, 91, 129, 279, 282, 285 ], [ 60, 102, 130, 280, 293, 296 ], [ 61, 103, 131, 281, 294, 297 ], [ 62, 104, 132, 282, 295, 298 ], [ 63, 105, 133, 283, 296, 299 ], [ 64, 106, 134, 284, 290, 297 ], [ 65, 107, 135, 285, 291, 298 ], [ 66, 108, 136, 286, 292, 299 ], [ 67, 109, 137, 287, 290, 293 ], [ 68, 100, 138, 288, 291, 294 ], [ 69, 101, 139, 289, 292, 295 ], [ 70, 112, 140, 153, 156, 290 ], [ 71, 113, 141, 154, 157, 291 ], [ 72, 114, 142, 155, 158, 292 ], [ 73, 115, 143, 156, 159, 293 ], [ 74, 116, 144, 150, 157, 294 ], [ 75, 117, 145, 151, 158, 295 ], [ 76, 118, 146, 152, 159, 296 ], [ 77, 119, 147, 150, 153, 297 ], [ 78, 110, 148, 151, 154, 298 ], [ 79, 111, 149, 152, 155, 299 ] ], "Z": [ [ 0, 144, 147, 150, 188, 220 ], [ 1, 145, 148, 151, 189, 221 ], [ 2, 146, 149, 152, 180, 222 ], [ 3, 140, 147, 153, 181, 223 ], [ 4, 141, 148, 154, 182, 224 ], [ 5, 142, 149, 155, 183, 225 ], [ 6, 140, 143, 156, 184, 226 ], [ 7, 141, 144, 157, 185, 227 ], [ 8, 142, 145, 158, 186, 228 ], [ 9, 143, 146, 159, 187, 229 ], [ 4, 7, 10, 160, 198, 230 ], [ 5, 8, 11, 161, 199, 231 ], [ 6, 9, 12, 162, 190, 232 ], [ 0, 7, 13, 163, 191, 233 ], [ 1, 8, 14, 164, 192, 234 ], [ 2, 9, 15, 165, 193, 235 ], [ 0, 3, 16, 166, 194, 236 ], [ 1, 4, 17, 167, 195, 237 ], [ 2, 5, 18, 168, 196, 238 ], [ 3, 6, 19, 169, 197, 239 ], [ 14, 17, 20, 170, 208, 240 ], [ 15, 18, 21, 171, 209, 241 ], [ 16, 19, 22, 172, 200, 242 ], [ 10, 17, 23, 173, 201, 243 ], [ 11, 18, 24, 174, 202, 244 ], [ 12, 19, 25, 175, 203, 245 ], [ 10, 13, 26, 176, 204, 246 ], [ 11, 14, 27, 177, 205, 247 ], [ 12, 15, 28, 178, 206, 248 ], [ 13, 16, 29, 179, 207, 249 ], [ 24, 27, 30, 180, 218, 250 ], [ 25, 28, 31, 181, 219, 251 ], [ 26, 29, 32, 182, 210, 252 ], [ 20, 27, 33, 183, 211, 253 ], [ 21, 28, 34, 184, 212, 254 ], [ 22, 29, 35, 185, 213, 255 ], [ 20, 23, 36, 186, 214, 256 ], [ 21, 24, 37, 187, 215, 257 ], [ 22, 25, 38, 188, 216, 258 ], [ 23, 26, 39, 189, 217, 259 ], [ 34, 37, 40, 190, 228, 260 ], [ 35, 38, 41, 191, 229, 261 ], [ 36, 39, 42, 192, 220, 262 ], [ 30, 37, 43, 193, 221, 263 ], [ 31, 38, 44, 194, 222, 264 ], [ 32, 39, 45, 195, 223, 265 ], [ 30, 33, 46, 196, 224, 266 ], [ 31, 34, 47, 197, 225, 267 ], [ 32, 35, 48, 198, 226, 268 ], [ 33, 36, 49, 199, 227, 269 ], [ 44, 47, 50, 200, 238, 270 ], [ 45, 48, 51, 201, 239, 271 ], [ 46, 49, 52, 202, 230, 272 ], [ 40, 47, 53, 203, 231, 273 ], [ 41, 48, 54, 204, 232, 274 ], [ 42, 49, 55, 205, 233, 275 ], [ 40, 43, 56, 206, 234, 276 ], [ 41, 44, 57, 207, 235, 277 ], [ 42, 45, 58, 208, 236, 278 ], [ 43, 46, 59, 209, 237, 279 ], [ 54, 57, 60, 210, 248, 280 ], [ 55, 58, 61, 211, 249, 281 ], [ 56, 59, 62, 212, 240, 282 ], [ 50, 57, 63, 213, 241, 283 ], [ 51, 58, 64, 214, 242, 284 ], [ 52, 59, 65, 215, 243, 285 ], [ 50, 53, 66, 216, 244, 286 ], [ 51, 54, 67, 217, 245, 287 ], [ 52, 55, 68, 218, 246, 288 ], [ 53, 56, 69, 219, 247, 289 ], [ 64, 67, 70, 220, 258, 290 ], [ 65, 68, 71, 221, 259, 291 ], [ 66, 69, 72, 222, 250, 292 ], [ 60, 67, 73, 223, 251, 293 ], [ 61, 68, 74, 224, 252, 294 ], [ 62, 69, 75, 225, 253, 295 ], [ 60, 63, 76, 226, 254, 296 ], [ 61, 64, 77, 227, 255, 297 ], [ 62, 65, 78, 228, 256, 298 ], [ 63, 66, 79, 229, 257, 299 ], [ 74, 77, 80, 150, 230, 268 ], [ 75, 78, 81, 151, 231, 269 ], [ 76, 79, 82, 152, 232, 260 ], [ 70, 77, 83, 153, 233, 261 ], [ 71, 78, 84, 154, 234, 262 ], [ 72, 79, 85, 155, 235, 263 ], [ 70, 73, 86, 156, 236, 264 ], [ 71, 74, 87, 157, 237, 265 ], [ 72, 75, 88, 158, 238, 266 ], [ 73, 76, 89, 159, 239, 267 ], [ 84, 87, 90, 160, 240, 278 ], [ 85, 88, 91, 161, 241, 279 ], [ 86, 89, 92, 162, 242, 270 ], [ 80, 87, 93, 163, 243, 271 ], [ 81, 88, 94, 164, 244, 272 ], [ 82, 89, 95, 165, 245, 273 ], [ 80, 83, 96, 166, 246, 274 ], [ 81, 84, 97, 167, 247, 275 ], [ 82, 85, 98, 168, 248, 276 ], [ 83, 86, 99, 169, 249, 277 ], [ 94, 97, 100, 170, 250, 288 ], [ 95, 98, 101, 171, 251, 289 ], [ 96, 99, 102, 172, 252, 280 ], [ 90, 97, 103, 173, 253, 281 ], [ 91, 98, 104, 174, 254, 282 ], [ 92, 99, 105, 175, 255, 283 ], [ 90, 93, 106, 176, 256, 284 ], [ 91, 94, 107, 177, 257, 285 ], [ 92, 95, 108, 178, 258, 286 ], [ 93, 96, 109, 179, 259, 287 ], [ 104, 107, 110, 180, 260, 298 ], [ 105, 108, 111, 181, 261, 299 ], [ 106, 109, 112, 182, 262, 290 ], [ 100, 107, 113, 183, 263, 291 ], [ 101, 108, 114, 184, 264, 292 ], [ 102, 109, 115, 185, 265, 293 ], [ 100, 103, 116, 186, 266, 294 ], [ 101, 104, 117, 187, 267, 295 ], [ 102, 105, 118, 188, 268, 296 ], [ 103, 106, 119, 189, 269, 297 ], [ 114, 117, 120, 158, 190, 270 ], [ 115, 118, 121, 159, 191, 271 ], [ 116, 119, 122, 150, 192, 272 ], [ 110, 117, 123, 151, 193, 273 ], [ 111, 118, 124, 152, 194, 274 ], [ 112, 119, 125, 153, 195, 275 ], [ 110, 113, 126, 154, 196, 276 ], [ 111, 114, 127, 155, 197, 277 ], [ 112, 115, 128, 156, 198, 278 ], [ 113, 116, 129, 157, 199, 279 ], [ 124, 127, 130, 168, 200, 280 ], [ 125, 128, 131, 169, 201, 281 ], [ 126, 129, 132, 160, 202, 282 ], [ 120, 127, 133, 161, 203, 283 ], [ 121, 128, 134, 162, 204, 284 ], [ 122, 129, 135, 163, 205, 285 ], [ 120, 123, 136, 164, 206, 286 ], [ 121, 124, 137, 165, 207, 287 ], [ 122, 125, 138, 166, 208, 288 ], [ 123, 126, 139, 167, 209, 289 ], [ 134, 137, 140, 178, 210, 290 ], [ 135, 138, 141, 179, 211, 291 ], [ 136, 139, 142, 170, 212, 292 ], [ 130, 137, 143, 171, 213, 293 ], [ 131, 138, 144, 172, 214, 294 ], [ 132, 139, 145, 173, 215, 295 ], [ 130, 133, 146, 174, 216, 296 ], [ 131, 134, 147, 175, 217, 297 ], [ 132, 135, 148, 176, 218, 298 ], [ 133, 136, 149, 177, 219, 299 ] ] }, "distance": { "d": 20, "X": { "value": 20, "confidence": "upper_bound", "witness": [ 80, 85, 91, 93, 96, 98, 101, 102, 104, 106, 107, 109, 184, 189, 221, 226, 254, 259, 263, 268 ] }, "Z": { "value": 20, "confidence": "upper_bound", "witness": [ 3, 10, 18, 34, 46, 62, 83, 86, 88, 90, 104, 127, 128, 161, 174, 197, 230, 233, 236, 277 ] } }, "provenance": { "authors": [ "@vprusso" ], "construction": "Periodic bivariate-bicycle code on Z_15 x Z_10 (n = 2*l*m = 300): x = S_15 tensor I_10, y = I_15 tensor S_10 (cyclic shifts), qubit index i*m + j in each block; A = x^0y^0 + x^8y^0 + x^12y^2, B = x^0y^0 + x^1y^3 + x^1y^6; H_X = [A|B], H_Z = [B^T|A^T] (research/kit/bb.py build_bb(15, 10, [(0, 0), (8, 0), (12, 2)], [(0, 0), (1, 3), (1, 6)])). 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 -> 20, 1000000 trials seed 102 -> 20, 1000000 trials seed 103 -> 20. 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 20, Z 20.", "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": [ [ 5.5, 7.794228634059947 ], [ 8.0, 5.196152422706632 ], [ 5.5, 0.8660254037844386 ], [ 1.5, 7.794228634059947 ], [ 11.5, 7.794228634059947 ], [ 7.0, 1.7320508075688772 ], [ 0.0, 3.4641016151377544 ], [ 6.5, 9.526279441628825 ], [ 11.0, 3.4641016151377544 ], [ 2.5, 2.598076211353316 ], [ 6.5, 6.06217782649107 ], [ 8.5, 4.330127018922193 ], [ 5.0, 5.196152422706632 ], [ 7.0, 6.928203230275509 ], [ 9.0, 3.4641016151377544 ], [ 4.0, 1.7320508075688772 ], [ 2.5, 7.794228634059947 ], [ 10.0, 6.928203230275509 ], [ 5.0, 0.0 ], [ 4.5, 4.330127018922193 ], [ 13.0, 6.928203230275509 ], [ 7.0, 1.7320508075688772 ], [ 5.0, 6.928203230275509 ], [ 8.0, 8.660254037844386 ], [ 9.0, 1.7320508075688772 ], [ 2.5, 4.330127018922193 ], [ 6.5, 11.258330249197702 ], [ 12.5, 4.330127018922193 ], [ 3.5, 0.8660254037844386 ], [ 6.0, 6.928203230275509 ], [ 11.0, 3.4641016151377544 ], [ 1.5, 0.8660254037844386 ], [ 6.5, 7.794228634059947 ], [ 10.5, 6.06217782649107 ], [ 5.5, 2.598076211353316 ], [ 0.5, 9.526279441628825 ], [ 10.5, 9.526279441628825 ], [ 7.5, 2.598076211353316 ], [ 2.5, 6.06217782649107 ], [ 7.5, 7.794228634059947 ], [ 8.0, 0.0 ], [ 1.5, 6.06217782649107 ], [ 7.5, 9.526279441628825 ], [ 9.5, 2.598076211353316 ], [ 1.5, 2.598076211353316 ], [ 6.0, 8.660254037844386 ], [ 8.0, 5.196152422706632 ], [ 3.0, 0.0 ], [ 2.5, 9.526279441628825 ], [ 11.5, 9.526279441628825 ], [ 2.0, 3.4641016151377544 ], [ 3.5, 9.526279441628825 ], [ 11.0, 6.928203230275509 ], [ 5.0, 3.4641016151377544 ], [ 1.5, 9.526279441628825 ], [ 11.0, 8.660254037844386 ], [ 9.5, 0.8660254037844386 ], [ 3.5, 4.330127018922193 ], [ 7.0, 8.660254037844386 ], [ 12.0, 3.4641016151377544 ], [ 0.5, 4.330127018922193 ], [ 8.5, 11.258330249197702 ], [ 11.5, 2.598076211353316 ], [ 4.0, 5.196152422706632 ], [ 4.0, 10.392304845413264 ], [ 12.0, 5.196152422706632 ], [ 4.5, 4.330127018922193 ], [ 2.5, 6.06217782649107 ], [ 9.0, 8.660254037844386 ], [ 7.0, 0.0 ], [ 1.5, 9.526279441628825 ], [ 10.5, 7.794228634059947 ], [ 7.0, 0.0 ], [ 0.5, 6.06217782649107 ], [ 8.5, 9.526279441628825 ], [ 8.0, 1.7320508075688772 ], [ 5.0, 3.4641016151377544 ], [ 5.5, 11.258330249197702 ], [ 11.0, 5.196152422706632 ], [ 4.5, 0.8660254037844386 ], [ 6.0, 10.392304845413264 ], [ 10.0, 5.196152422706632 ], [ 3.0, 3.4641016151377544 ], [ 5.5, 6.06217782649107 ], [ 11.5, 6.06217782649107 ], [ 4.0, 0.0 ], [ 3.5, 7.794228634059947 ], [ 9.5, 9.526279441628825 ], [ 7.5, 4.330127018922193 ], [ 6.0, 5.196152422706632 ], [ 9.5, 7.794228634059947 ], [ 6.5, 4.330127018922193 ], [ 1.0, 6.928203230275509 ], [ 8.5, 7.794228634059947 ], [ 10.0, 3.4641016151377544 ], [ 2.0, 1.7320508075688772 ], [ 5.0, 8.660254037844386 ], [ 11.5, 4.330127018922193 ], [ 5.0, 0.0 ], [ 3.5, 9.526279441628825 ], [ 11.5, 2.598076211353316 ], [ 4.0, 1.7320508075688772 ], [ 5.0, 6.928203230275509 ], [ 9.5, 7.794228634059947 ], [ 6.5, 4.330127018922193 ], [ 1.0, 8.660254037844386 ], [ 9.0, 10.392304845413264 ], [ 7.5, 4.330127018922193 ], [ 2.0, 3.4641016151377544 ], [ 5.5, 9.526279441628825 ], [ 5.0, 5.196152422706632 ], [ 1.0, 3.4641016151377544 ], [ 7.0, 10.392304845413264 ], [ 8.0, 3.4641016151377544 ], [ 5.0, 1.7320508075688772 ], [ 3.0, 10.392304845413264 ], [ 12.0, 6.928203230275509 ], [ 5.5, 2.598076211353316 ], [ 4.5, 6.06217782649107 ], [ 11.5, 9.526279441628825 ], [ 7.0, 5.196152422706632 ], [ 3.5, 6.06217782649107 ], [ 10.0, 8.660254037844386 ], [ 8.5, 0.8660254037844386 ], [ 3.0, 5.196152422706632 ], [ 6.0, 6.928203230275509 ], [ 11.0, 1.7320508075688772 ], [ 3.5, 4.330127018922193 ], [ 4.0, 6.928203230275509 ], [ 10.5, 7.794228634059947 ], [ 1.5, 2.598076211353316 ], [ 6.0, 10.392304845413264 ], [ 13.0, 5.196152422706632 ], [ 4.0, 3.4641016151377544 ], [ 4.0, 8.660254037844386 ], [ 13.0, 6.928203230275509 ], [ 8.0, 1.7320508075688772 ], [ 0.0, 6.928203230275509 ], [ 8.5, 6.06217782649107 ], [ 9.0, 5.196152422706632 ], [ 2.0, 6.928203230275509 ], [ 9.5, 9.526279441628825 ], [ 10.0, 1.7320508075688772 ], [ 2.5, 4.330127018922193 ], [ 7.5, 11.258330249197702 ], [ 10.0, 5.196152422706632 ], [ 5.0, 1.7320508075688772 ], [ 5.0, 8.660254037844386 ], [ 10.0, 6.928203230275509 ], [ 6.0, 3.4641016151377544 ], [ 9.5, 11.258330249197702 ], [ 8.5, 2.598076211353316 ], [ 3.0, 1.7320508075688772 ], [ 6.5, 9.526279441628825 ], [ 11.0, 6.928203230275509 ], [ 3.5, 0.8660254037844386 ], [ 2.0, 8.660254037844386 ], [ 8.0, 8.660254037844386 ], [ 8.5, 2.598076211353316 ], [ 1.0, 5.196152422706632 ], [ 11.5, 7.794228634059947 ], [ 6.5, 2.598076211353316 ], [ 0.5, 7.794228634059947 ], [ 8.0, 6.928203230275509 ], [ 9.0, 1.7320508075688772 ], [ 2.5, 2.598076211353316 ], [ 4.5, 7.794228634059947 ], [ 9.0, 5.196152422706632 ], [ 4.5, 2.598076211353316 ], [ 4.0, 6.928203230275509 ], [ 12.0, 3.4641016151377544 ], [ 4.0, 3.4641016151377544 ], [ 3.0, 8.660254037844386 ], [ 9.5, 6.06217782649107 ], [ 6.5, 0.8660254037844386 ], [ 3.0, 8.660254037844386 ], [ 9.0, 10.392304845413264 ], [ 8.5, 4.330127018922193 ], [ 1.0, 3.4641016151377544 ], [ 8.5, 7.794228634059947 ], [ 6.5, 0.8660254037844386 ], [ 2.0, 5.196152422706632 ], [ 7.0, 10.392304845413264 ], [ 9.0, 3.4641016151377544 ], [ 0.5, 2.598076211353316 ], [ 5.5, 9.526279441628825 ], [ 12.5, 6.06217782649107 ], [ 4.5, 0.8660254037844386 ], [ 4.5, 9.526279441628825 ], [ 9.0, 6.928203230275509 ], [ 5.5, 4.330127018922193 ], [ 3.0, 10.392304845413264 ], [ 7.5, 6.06217782649107 ], [ 6.0, 1.7320508075688772 ], [ 1.0, 6.928203230275509 ], [ 8.0, 10.392304845413264 ], [ 10.0, 1.7320508075688772 ], [ 1.0, 1.7320508075688772 ], [ 6.5, 7.794228634059947 ], [ 11.0, 5.196152422706632 ], [ 3.0, 3.4641016151377544 ], [ 7.0, 8.660254037844386 ], [ 9.5, 4.330127018922193 ], [ 3.5, 2.598076211353316 ], [ 4.5, 11.258330249197702 ], [ 12.0, 8.660254037844386 ], [ 6.0, 5.196152422706632 ], [ 3.0, 6.928203230275509 ], [ 7.0, 6.928203230275509 ], [ 9.5, 2.598076211353316 ], [ 2.5, 9.526279441628825 ], [ 12.5, 7.794228634059947 ], [ 7.0, 3.4641016151377544 ], [ 0.5, 7.794228634059947 ], [ 8.5, 11.258330249197702 ], [ 10.5, 2.598076211353316 ], [ 1.5, 4.330127018922193 ], [ 4.0, 8.660254037844386 ], [ 6.5, 6.06217782649107 ], [ 6.0, 3.4641016151377544 ], [ 4.0, 10.392304845413264 ], [ 10.0, 3.4641016151377544 ], [ 2.0, 0.0 ], [ 2.0, 10.392304845413264 ], [ 8.5, 6.06217782649107 ], [ 5.5, 0.8660254037844386 ], [ 1.5, 6.06217782649107 ], [ 10.5, 9.526279441628825 ], [ 10.5, 4.330127018922193 ], [ 3.0, 5.196152422706632 ], [ 11.0, 8.660254037844386 ], [ 7.5, 0.8660254037844386 ], [ 2.0, 5.196152422706632 ], [ 6.5, 11.258330249197702 ], [ 9.5, 6.06217782649107 ], [ 1.0, 1.7320508075688772 ], [ 2.5, 11.258330249197702 ], [ 12.0, 6.928203230275509 ], [ 6.0, 0.0 ], [ 0.5, 6.06217782649107 ], [ 13.0, 5.196152422706632 ], [ 5.5, 4.330127018922193 ], [ 4.5, 7.794228634059947 ], [ 10.0, 8.660254037844386 ], [ 6.0, 1.7320508075688772 ], [ 0.0, 5.196152422706632 ], [ 7.5, 9.526279441628825 ], [ 9.5, 4.330127018922193 ], [ 4.0, 5.196152422706632 ], [ 6.0, 8.660254037844386 ], [ 8.0, 0.0 ], [ 1.5, 4.330127018922193 ], [ 5.0, 10.392304845413264 ], [ 11.5, 4.330127018922193 ], [ 2.5, 0.8660254037844386 ], [ 5.5, 11.258330249197702 ], [ 10.5, 6.06217782649107 ], [ 7.5, 2.598076211353316 ], [ 2.0, 6.928203230275509 ], [ 7.5, 7.794228634059947 ], [ 4.5, 2.598076211353316 ], [ 2.0, 8.660254037844386 ], [ 10.0, 10.392304845413264 ], [ 7.5, 0.8660254037844386 ], [ 0.0, 5.196152422706632 ], [ 7.5, 11.258330249197702 ], [ 10.5, 4.330127018922193 ], [ 4.0, 0.0 ], [ 5.0, 10.392304845413264 ], [ 11.5, 6.06217782649107 ], [ 3.5, 2.598076211353316 ], [ 4.5, 11.258330249197702 ], [ 8.0, 6.928203230275509 ], [ 3.0, 0.0 ], [ 1.5, 7.794228634059947 ], [ 11.0, 10.392304845413264 ], [ 8.5, 0.8660254037844386 ], [ 1.0, 5.196152422706632 ], [ 8.5, 9.526279441628825 ], [ 8.0, 3.4641016151377544 ], [ 2.5, 7.794228634059947 ], [ 9.0, 8.660254037844386 ], [ 7.0, 3.4641016151377544 ], [ 3.0, 6.928203230275509 ], [ 5.5, 7.794228634059947 ], [ 12.5, 4.330127018922193 ], [ 3.0, 1.7320508075688772 ], [ 5.5, 6.06217782649107 ], [ 7.0, 5.196152422706632 ], [ 6.0, 0.0 ], [ 4.5, 9.526279441628825 ], [ 12.0, 5.196152422706632 ], [ 6.5, 2.598076211353316 ], [ 3.5, 7.794228634059947 ], [ 7.5, 6.06217782649107 ], [ 9.0, 0.0 ], [ 4.5, 6.06217782649107 ], [ 9.5, 11.258330249197702 ], [ 9.0, 6.928203230275509 ], [ 3.5, 6.06217782649107 ] ], "layers": 2 } }