Graph forms
for C4 [ 488, 11 ] = SDD(W(61,2))
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 488, 11 ] =
SDD(W(61,2)).
(I) Following is a form readable by MAGMA:
g:=Graph<488|{ {34, 255}, {33, 255}, {32, 255}, {30, 254}, {28, 253}, {31, 254},
{29, 255}, {29, 254}, {24, 252}, {26, 254}, {25, 252}, {27, 253}, {26, 253},
{18, 250}, {20, 252}, {16, 249}, {19, 250}, {17, 251}, {23, 253}, {17, 250},
{23, 252}, {22, 251}, {21, 251}, {20, 251}, {6, 246}, {8, 248}, {4, 245}, {7,
246}, {5, 247}, {11, 249}, {5, 246}, {11, 248}, {1, 245}, {14, 250}, {12, 248},
{13, 248}, {3, 245}, {15, 249}, {1, 246}, {14, 249}, {2, 245}, {10, 247}, {9,
247}, {8, 247}, {72, 328}, {167, 423}, {165, 421}, {164, 421}, {167, 422}, {69,
327}, {170, 424}, {75, 329}, {164, 422}, {73, 330}, {79, 332}, {160, 419}, {166,
421}, {66, 326}, {173, 425}, {78, 330}, {161, 421}, {161, 420}, {173, 424},
{162, 420}, {174, 424}, {64, 327}, {175, 424}, {76, 331}, {163, 420}, {67, 328},
{172, 423}, {91, 336}, {148, 415}, {147, 415}, {239, 483}, {238, 482}, {237,
481}, {236, 480}, {223, 467}, {222, 466}, {221, 465}, {220, 464}, {207, 451},
{206, 450}, {205, 449}, {204, 448}, {191, 435}, {190, 434}, {189, 433}, {188,
432}, {171, 423}, {146, 415}, {239, 482}, {237, 480}, {223, 466}, {221, 464},
{207, 450}, {205, 448}, {191, 434}, {189, 432}, {170, 423}, {144, 414}, {168,
422}, {70, 329}, {238, 481}, {222, 465}, {206, 449}, {190, 433}, {169, 422},
{94, 337}, {145, 414}, {141, 413}, {143, 415}, {140, 413}, {143, 414}, {45,
319}, {93, 335}, {140, 414}, {136, 411}, {244, 487}, {240, 483}, {220, 463},
{216, 459}, {212, 455}, {208, 451}, {188, 431}, {142, 413}, {42, 318}, {243,
487}, {242, 486}, {241, 485}, {240, 484}, {219, 463}, {218, 462}, {217, 461},
{216, 460}, {211, 455}, {210, 454}, {209, 453}, {208, 452}, {187, 431}, {186,
430}, {184, 428}, {90, 334}, {137, 413}, {137, 412}, {243, 486}, {241, 484},
{219, 462}, {217, 460}, {211, 454}, {209, 452}, {187, 430}, {185, 428}, {184,
429}, {138, 412}, {40, 319}, {242, 485}, {218, 461}, {210, 453}, {186, 429},
{88, 335}, {139, 412}, {36, 316}, {179, 427}, {177, 425}, {84, 332}, {129, 409},
{131, 411}, {128, 409}, {179, 426}, {176, 425}, {131, 410}, {33, 315}, {182,
428}, {176, 426}, {87, 333}, {81, 331}, {39, 317}, {128, 410}, {134, 412}, {37,
318}, {178, 425}, {85, 334}, {130, 409}, {135, 411}, {244, 488}, {215, 459},
{214, 458}, {213, 457}, {212, 456}, {183, 427}, {134, 411}, {215, 458}, {213,
456}, {182, 427}, {132, 410}, {180, 426}, {34, 317}, {214, 457}, {181, 426},
{82, 333}, {133, 410}, {24, 312}, {32, 256}, {120, 344}, {21, 311}, {35, 257},
{27, 313}, {117, 343}, {123, 345}, {25, 314}, {35, 256}, {31, 316}, {121, 346},
{127, 348}, {18, 310}, {38, 258}, {36, 256}, {30, 314}, {114, 342}, {126, 346},
{37, 256}, {39, 257}, {16, 311}, {112, 343}, {38, 257}, {28, 315}, {124, 347},
{42, 258}, {44, 260}, {40, 257}, {43, 258}, {41, 259}, {47, 261}, {19, 312},
{47, 260}, {41, 258}, {115, 344}, {46, 259}, {45, 259}, {22, 313}, {44, 259},
{118, 345}, {3, 307}, {96, 336}, {56, 264}, {54, 262}, {52, 261}, {55, 262},
{53, 263}, {99, 337}, {59, 265}, {146, 416}, {2, 305}, {236, 479}, {232, 475},
{228, 471}, {224, 467}, {103, 340}, {97, 338}, {59, 264}, {53, 262}, {7, 308},
{6, 306}, {235, 479}, {234, 478}, {233, 477}, {232, 476}, {227, 471}, {226,
470}, {225, 469}, {224, 468}, {102, 338}, {62, 266}, {60, 264}, {50, 262}, {48,
260}, {149, 417}, {49, 260}, {235, 478}, {233, 476}, {227, 470}, {225, 468},
{61, 264}, {149, 416}, {51, 261}, {63, 265}, {150, 416}, {50, 261}, {234, 477},
{226, 469}, {100, 339}, {62, 265}, {151, 416}, {12, 308}, {108, 340}, {153,
417}, {155, 419}, {152, 417}, {155, 418}, {9, 307}, {111, 341}, {105, 339}, {15,
309}, {152, 418}, {158, 420}, {13, 310}, {109, 342}, {154, 417}, {159, 419},
{231, 475}, {230, 474}, {229, 473}, {228, 472}, {58, 263}, {231, 474}, {229,
472}, {158, 419}, {57, 263}, {156, 418}, {10, 309}, {230, 473}, {106, 341}, {56,
263}, {157, 418}, {78, 270}, {80, 272}, {159, 479}, {76, 269}, {79, 270}, {160,
481}, {163, 482}, {77, 271}, {83, 273}, {156, 478}, {162, 480}, {77, 270}, {83,
272}, {72, 268}, {86, 274}, {84, 272}, {74, 270}, {153, 477}, {165, 481}, {73,
268}, {85, 272}, {154, 479}, {166, 483}, {75, 269}, {87, 273}, {74, 269}, {86,
273}, {66, 266}, {171, 483}, {92, 276}, {90, 274}, {68, 268}, {147, 475}, {64,
265}, {175, 486}, {172, 485}, {91, 274}, {88, 273}, {67, 266}, {148, 477}, {151,
478}, {65, 267}, {174, 484}, {168, 482}, {95, 277}, {89, 275}, {71, 269}, {144,
474}, {150, 476}, {52, 383}, {95, 276}, {89, 274}, {71, 268}, {65, 266}, {51,
383}, {50, 383}, {169, 484}, {94, 275}, {70, 267}, {145, 476}, {48, 382}, {93,
275}, {69, 267}, {49, 382}, {92, 275}, {68, 267}, {45, 381}, {183, 487}, {47,
383}, {135, 471}, {44, 381}, {185, 488}, {47, 382}, {136, 473}, {139, 474}, {44,
382}, {180, 486}, {132, 470}, {138, 472}, {40, 379}, {46, 381}, {41, 381}, {177,
485}, {129, 469}, {141, 473}, {41, 380}, {178, 487}, {130, 471}, {142, 475},
{42, 380}, {43, 380}, {33, 377}, {35, 379}, {32, 377}, {35, 378}, {32, 378},
{38, 380}, {34, 377}, {39, 379}, {38, 379}, {181, 488}, {82, 271}, {133, 472},
{36, 378}, {81, 271}, {37, 378}, {80, 271}, {21, 373}, {23, 375}, {126, 286},
{20, 373}, {23, 374}, {124, 285}, {127, 286}, {20, 374}, {26, 376}, {125, 287},
{16, 371}, {22, 373}, {125, 286}, {17, 373}, {29, 377}, {120, 284}, {122, 286},
{17, 372}, {29, 376}, {121, 284}, {18, 372}, {30, 376}, {123, 285}, {19, 372},
{31, 376}, {122, 285}, {114, 282}, {116, 284}, {112, 281}, {115, 282}, {4, 366},
{113, 283}, {119, 285}, {4, 367}, {113, 282}, {43, 320}, {28, 375}, {119, 284},
{3, 367}, {27, 375}, {2, 367}, {26, 375}, {118, 283}, {1, 367}, {24, 374}, {117,
283}, {25, 374}, {46, 321}, {116, 283}, {48, 320}, {104, 280}, {102, 278}, {1,
368}, {103, 278}, {100, 277}, {51, 321}, {107, 281}, {101, 279}, {49, 322},
{204, 447}, {200, 443}, {196, 439}, {192, 435}, {107, 280}, {101, 278}, {55,
324}, {5, 369}, {203, 447}, {202, 446}, {201, 445}, {200, 444}, {195, 439},
{194, 438}, {193, 437}, {192, 436}, {110, 282}, {108, 280}, {98, 278}, {96,
276}, {54, 322}, {5, 368}, {203, 446}, {201, 444}, {195, 438}, {193, 436}, {109,
280}, {97, 276}, {6, 368}, {111, 281}, {99, 277}, {7, 368}, {202, 445}, {194,
437}, {110, 281}, {98, 277}, {52, 323}, {9, 369}, {60, 324}, {11, 371}, {8,
369}, {11, 370}, {8, 370}, {63, 325}, {57, 323}, {14, 372}, {10, 369}, {61,
326}, {15, 371}, {199, 443}, {198, 442}, {197, 441}, {196, 440}, {14, 371},
{199, 442}, {197, 440}, {106, 279}, {157, 480}, {12, 370}, {105, 279}, {13,
370}, {198, 441}, {104, 279}, {58, 325}, {63, 447}, {176, 304}, {174, 302}, {64,
449}, {175, 302}, {172, 301}, {67, 450}, {60, 446}, {179, 305}, {173, 303}, {66,
448}, {173, 302}, {179, 304}, {57, 445}, {182, 306}, {180, 304}, {170, 302},
{168, 300}, {69, 449}, {58, 447}, {181, 304}, {169, 300}, {70, 451}, {171, 301},
{239, 361}, {238, 360}, {231, 353}, {230, 352}, {223, 345}, {222, 344}, {215,
337}, {214, 336}, {207, 329}, {206, 328}, {199, 321}, {198, 320}, {191, 313},
{190, 312}, {183, 305}, {170, 301}, {239, 360}, {231, 352}, {223, 344}, {215,
336}, {207, 328}, {199, 320}, {191, 312}, {182, 305}, {51, 443}, {75, 451},
{162, 298}, {164, 300}, {52, 445}, {238, 359}, {236, 357}, {234, 355}, {232,
353}, {222, 343}, {220, 341}, {218, 339}, {216, 337}, {206, 327}, {204, 325},
{202, 323}, {200, 321}, {190, 311}, {188, 309}, {186, 307}, {79, 454}, {76,
453}, {55, 446}, {160, 297}, {163, 298}, {48, 442}, {237, 359}, {236, 358},
{233, 355}, {232, 354}, {221, 343}, {220, 342}, {217, 339}, {216, 338}, {205,
327}, {204, 326}, {201, 323}, {200, 322}, {189, 311}, {188, 310}, {184, 306},
{78, 452}, {72, 450}, {54, 444}, {161, 299}, {167, 301}, {161, 298}, {237, 358},
{233, 354}, {221, 342}, {217, 338}, {205, 326}, {201, 322}, {189, 310}, {185,
306}, {184, 307}, {167, 300}, {49, 444}, {73, 452}, {166, 299}, {165, 299},
{235, 357}, {234, 356}, {219, 341}, {218, 340}, {203, 325}, {202, 324}, {187,
309}, {186, 308}, {164, 299}, {235, 356}, {219, 340}, {203, 324}, {187, 308},
{39, 439}, {87, 455}, {40, 441}, {91, 458}, {88, 457}, {43, 442}, {36, 438},
{90, 456}, {84, 454}, {42, 440}, {33, 437}, {93, 457}, {81, 453}, {45, 441},
{34, 439}, {94, 459}, {82, 455}, {46, 443}, {208, 329}, {244, 365}, {242, 363},
{240, 361}, {214, 335}, {212, 333}, {210, 331}, {208, 330}, {244, 366}, {241,
363}, {240, 362}, {213, 335}, {212, 334}, {209, 331}, {209, 330}, {241, 362},
{213, 334}, {37, 440}, {178, 303}, {85, 456}, {130, 287}, {129, 287}, {243,
365}, {242, 364}, {211, 333}, {210, 332}, {177, 303}, {128, 287}, {243, 364},
{211, 332}, {176, 303}, {15, 431}, {111, 463}, {128, 288}, {16, 433}, {112,
465}, {19, 434}, {115, 466}, {12, 430}, {108, 462}, {18, 432}, {114, 464}, {131,
289}, {131, 288}, {9, 429}, {105, 461}, {21, 433}, {117, 465}, {132, 288}, {134,
290}, {10, 431}, {106, 463}, {22, 435}, {118, 467}, {133, 288}, {135, 289},
{134, 289}, {27, 435}, {99, 459}, {123, 467}, {138, 290}, {140, 292}, {2, 427},
{103, 462}, {100, 461}, {31, 438}, {28, 437}, {7, 430}, {124, 469}, {127, 470},
{136, 289}, {139, 290}, {6, 428}, {102, 460}, {96, 458}, {30, 436}, {24, 434},
{120, 466}, {126, 468}, {137, 291}, {143, 293}, {137, 290}, {143, 292}, {25,
436}, {97, 460}, {121, 468}, {142, 291}, {3, 429}, {141, 291}, {140, 291}, {150,
294}, {152, 296}, {148, 293}, {151, 294}, {50, 384}, {149, 295}, {155, 297},
{149, 294}, {155, 296}, {53, 385}, {144, 292}, {146, 294}, {156, 296}, {158,
298}, {53, 384}, {145, 292}, {157, 296}, {54, 384}, {147, 293}, {159, 297}, {55,
384}, {146, 293}, {158, 297}, {57, 385}, {59, 387}, {56, 385}, {230, 351}, {228,
349}, {226, 347}, {224, 345}, {59, 386}, {56, 386}, {229, 351}, {228, 350},
{225, 347}, {224, 346}, {62, 388}, {58, 385}, {229, 350}, {225, 346}, {63, 387},
{13, 432}, {109, 464}, {62, 387}, {154, 295}, {60, 386}, {227, 349}, {226, 348},
{153, 295}, {61, 386}, {227, 348}, {152, 295}, {69, 389}, {168, 360}, {71, 391},
{68, 389}, {71, 390}, {68, 390}, {171, 361}, {74, 392}, {165, 359}, {64, 387},
{175, 364}, {169, 362}, {70, 389}, {65, 389}, {174, 362}, {77, 393}, {162, 358},
{65, 388}, {77, 392}, {66, 388}, {78, 392}, {67, 388}, {172, 363}, {79, 392},
{160, 359}, {76, 391}, {163, 360}, {75, 391}, {74, 391}, {72, 390}, {73, 390},
{166, 361}, {93, 397}, {95, 399}, {92, 397}, {95, 398}, {92, 398}, {141, 351},
{88, 395}, {94, 397}, {89, 397}, {138, 350}, {89, 396}, {90, 396}, {91, 396},
{185, 366}, {136, 351}, {81, 393}, {180, 364}, {83, 395}, {132, 348}, {80, 393},
{83, 394}, {80, 394}, {183, 365}, {177, 363}, {86, 396}, {129, 347}, {135, 349},
{82, 393}, {181, 366}, {133, 350}, {87, 395}, {86, 395}, {84, 394}, {85, 394},
{178, 365}, {130, 349}, {117, 405}, {119, 407}, {116, 405}, {119, 406}, {116,
406}, {122, 408}, {112, 403}, {118, 405}, {113, 405}, {125, 409}, {113, 404},
{125, 408}, {114, 404}, {126, 408}, {115, 404}, {127, 408}, {100, 399}, {124,
407}, {139, 352}, {4, 488}, {99, 399}, {123, 407}, {98, 399}, {122, 407}, {96,
398}, {120, 406}, {97, 398}, {121, 406}, {142, 353}, {144, 352}, {98, 400},
{147, 353}, {145, 354}, {151, 356}, {101, 401}, {150, 354}, {101, 400}, {102,
400}, {103, 400}, {148, 355}, {105, 401}, {107, 403}, {156, 356}, {104, 401},
{198, 319}, {196, 317}, {194, 315}, {192, 313}, {107, 402}, {104, 402}, {197,
319}, {196, 318}, {193, 315}, {192, 314}, {110, 404}, {153, 355}, {159, 357},
{106, 401}, {197, 318}, {193, 314}, {157, 358}, {111, 403}, {61, 448}, {110,
403}, {108, 402}, {195, 317}, {194, 316}, {109, 402}, {195, 316}, {154, 357}
}>;
(II) A more general form is to represent the graph as the orbit of {34, 255}
under the group generated by the following permutations:
a: (1, 2, 179, 176, 173, 170, 167, 164, 161, 158, 155, 152, 149, 146, 143, 140,
137, 134, 131, 128, 125, 122, 119, 116, 113, 110, 107, 104, 101, 98, 95, 92, 89,
86, 83, 80, 77, 74, 71, 68, 65, 62, 59, 56, 53, 50, 47, 44, 41, 38, 35, 32, 29,
26, 23, 20, 17, 14, 11, 8, 5)(3, 182, 181, 178, 175, 172, 169, 166, 163, 160,
157, 154, 151, 148, 145, 142, 139, 136, 133, 130, 127, 124, 121, 118, 115, 112,
109, 106, 103, 100, 97, 94, 91, 88, 85, 82, 79, 76, 73, 70, 67, 64, 61, 58, 55,
52, 49, 46, 43, 40, 37, 34, 31, 28, 25, 22, 19, 16, 13, 10, 7)(4, 183, 180, 177,
174, 171, 168, 165, 162, 159, 156, 153, 150, 147, 144, 141, 138, 135, 132, 129,
126, 123, 120, 117, 114, 111, 108, 105, 102, 99, 96, 93, 90, 87, 84, 81, 78, 75,
72, 69, 66, 63, 60, 57, 54, 51, 48, 45, 42, 39, 36, 33, 30, 27, 24, 21, 18, 15,
12, 9, 6)(184, 185, 244, 243, 242, 241, 240, 239, 238, 237, 236, 235, 234, 233,
232, 231, 230, 229, 228, 227, 226, 225, 224, 223, 222, 221, 220, 219, 218, 217,
216, 215, 214, 213, 212, 211, 210, 209, 208, 207, 206, 205, 204, 203, 202, 201,
200, 199, 198, 197, 196, 195, 194, 193, 192, 191, 190, 189, 188, 187, 186)(245,
305, 304, 303, 302, 301, 300, 299, 298, 297, 296, 295, 294, 293, 292, 291, 290,
289, 288, 287, 286, 285, 284, 283, 282, 281, 280, 279, 278, 277, 276, 275, 274,
273, 272, 271, 270, 269, 268, 267, 266, 265, 264, 263, 262, 261, 260, 259, 258,
257, 256, 255, 254, 253, 252, 251, 250, 249, 248, 247, 246)(306, 366, 365, 364,
363, 362, 361, 360, 359, 358, 357, 356, 355, 354, 353, 352, 351, 350, 349, 348,
347, 346, 345, 344, 343, 342, 341, 340, 339, 338, 337, 336, 335, 334, 333, 332,
331, 330, 329, 328, 327, 326, 325, 324, 323, 322, 321, 320, 319, 318, 317, 316,
315, 314, 313, 312, 311, 310, 309, 308, 307)(367, 427, 426, 425, 424, 423, 422,
421, 420, 419, 418, 417, 416, 415, 414, 413, 412, 411, 410, 409, 408, 407, 406,
405, 404, 403, 402, 401, 400, 399, 398, 397, 396, 395, 394, 393, 392, 391, 390,
389, 388, 387, 386, 385, 384, 383, 382, 381, 380, 379, 378, 377, 376, 375, 374,
373, 372, 371, 370, 369, 368)(428, 488, 487, 486, 485, 484, 483, 482, 481, 480,
479, 478, 477, 476, 475, 474, 473, 472, 471, 470, 469, 468, 467, 466, 465, 464,
463, 462, 461, 460, 459, 458, 457, 456, 455, 454, 453, 452, 451, 450, 449, 448,
447, 446, 445, 444, 443, 442, 441, 440, 439, 438, 437, 436, 435, 434, 433, 432,
431, 430, 429) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (356, 478)
c: (53, 55)(56, 60)(57, 202)(58, 203)(263, 324)(385, 446)
d: (71, 73)(74, 78)(75, 208)(76, 209)(269, 330)(391, 452)
e: (317, 439)
f: (350, 472)
g: (318, 440)
h: (349, 471)
m: (164, 166)(167, 171)(168, 239)(169, 240)(300, 361)(422, 483)
n1: (245, 367)
a1: (86, 88)(89, 93)(90, 213)(91, 214)(274, 335)(396, 457)
b1: (125, 127)(128, 132)(129, 226)(130, 227)(287, 348)(409, 470)
c1: (143, 145)(146, 150)(147, 232)(148, 233)(293, 354)(415, 476)
d1: (116, 118)(119, 123)(120, 223)(121, 224)(284, 345)(406, 467)
e1: (80, 82)(83, 87)(84, 211)(85, 212)(272, 333)(394, 455)
f1: (323, 445)
g1: (77, 79)(80, 84)(81, 210)(82, 211)(271, 332)(393, 454)
h1: (311, 433)
m1: (344, 466)
n2: (355, 477)
a2: (315, 437)
b2: (348, 470)
c2: (176, 178)(179, 183)(180, 243)(181, 244)(304, 365)(426, 487)
d2: (92, 94)(95, 99)(96, 215)(97, 216)(276, 337)(398, 459)
e2: (104, 106)(107, 111)(108, 219)(109, 220)(280, 341)(402, 463)
f2: (83, 85)(86, 90)(87, 212)(88, 213)(273, 334)(395, 456)
g2: (44, 46)(47, 51)(48, 199)(49, 200)(260, 321)(382, 443)
h2: (134, 136)(137, 141)(138, 229)(139, 230)(290, 351)(412, 473)
m2: (146, 148)(149, 153)(150, 233)(151, 234)(294, 355)(416, 477)
n3: (321, 443)
a3: (59, 61)(62, 66)(63, 204)(64, 205)(265, 326)(387, 448)
b3: (101, 103)(104, 108)(105, 218)(106, 219)(279, 340)(401, 462)
c3: (98, 100)(101, 105)(102, 217)(103, 218)(278, 339)(400, 461)
d3: (65, 67)(68, 72)(69, 206)(70, 207)(267, 328)(389, 450)
e3: (314, 436)
f3: (345, 467)
g3: (29, 31)(32, 36)(33, 194)(34, 195)(255, 316)(377, 438)
h3: (89, 91)(92, 96)(93, 214)(94, 215)(275, 336)(397, 458)
m3: (23, 25)(26, 30)(27, 192)(28, 193)(253, 314)(375, 436)
n4: (362, 484)
a4: (329, 451)
b4: (366, 488)
c4: (333, 455)
d4: (50, 52)(53, 57)(54, 201)(55, 202)(262, 323)(384, 445)
e4: (309, 431)
f4: (342, 464)
g4: (319, 441)
h4: (352, 474)
m4: (363, 485)
n5: (332, 454)
a5: (95, 97)(98, 102)(99, 216)(100, 217)(277, 338)(399, 460)
b5: (32, 34)(35, 39)(36, 195)(37, 196)(256, 317)(378, 439)
c5: (325, 447)
d5: (320, 442)
e5: (351, 473)
f5: (119, 121)(122, 126)(123, 224)(124, 225)(285, 346)(407, 468)
g5: (308, 430)
h5: (339, 461)
m5: (41, 43)(44, 48)(45, 198)(46, 199)(259, 320)(381, 442)
n6: (20, 22)(23, 27)(24, 191)(25, 192)(252, 313)(374, 435)
a6: (140, 142)(143, 147)(144, 231)(145, 232)(292, 353)(414, 475)
b6: (107, 109)(110, 114)(111, 220)(112, 221)(281, 342)(403, 464)
c6: (68, 70)(71, 75)(72, 207)(73, 208)(268, 329)(390, 451)
d6: (322, 444)
e6: (113, 115)(116, 120)(117, 222)(118, 223)(283, 344)(405, 466)
f6: (2, 4)(179, 181)(182, 185)(183, 244)(305, 366)(427, 488)
g6: (338, 460)
h6: (365, 487)
m6: (334, 456)
n7: (47, 49)(50, 54)(51, 200)(52, 201)(261, 322)(383, 444)
a7: (137, 139)(140, 144)(141, 230)(142, 231)(291, 352)(413, 474)
b7: (316, 438)
c7: (347, 469)
d7: (246, 368)
e7: (167, 169)(170, 174)(171, 240)(172, 241)(301, 362)(423, 484)
f7: (358, 480)
g7: (307, 429)
h7: (340, 462)
m7: (155, 157)(158, 162)(159, 236)(160, 237)(297, 358)(419, 480)
n8: (312, 434)
a8: (343, 465)
b8: (360, 482)
c8: (330, 452)
d8: (361, 483)
e8: (327, 449)
f8: (14, 16)(17, 21)(18, 189)(19, 190)(250, 311)(372, 433)
g8: (324, 446)
h8: (17, 19)(20, 24)(21, 190)(22, 191)(251, 312)(373, 434)
m8: (2, 5)(3, 6)(4, 7)(8, 179)(9, 182)(10, 183)(11, 176)(12, 181)(13, 180)(14,
173)(15, 178)(16, 177)(17, 170)(18, 175)(19, 174)(20, 167)(21, 172)(22, 171)(23,
164)(24, 169)(25, 168)(26, 161)(27, 166)(28, 165)(29, 158)(30, 163)(31, 162)(32,
155)(33, 160)(34, 159)(35, 152)(36, 157)(37, 156)(38, 149)(39, 154)(40, 153)(41,
146)(42, 151)(43, 150)(44, 143)(45, 148)(46, 147)(47, 140)(48, 145)(49, 144)(50,
137)(51, 142)(52, 141)(53, 134)(54, 139)(55, 138)(56, 131)(57, 136)(58, 135)(59,
128)(60, 133)(61, 132)(62, 125)(63, 130)(64, 129)(65, 122)(66, 127)(67, 126)(68,
119)(69, 124)(70, 123)(71, 116)(72, 121)(73, 120)(74, 113)(75, 118)(76, 117)(77,
110)(78, 115)(79, 114)(80, 107)(81, 112)(82, 111)(83, 104)(84, 109)(85, 108)(86,
101)(87, 106)(88, 105)(89, 98)(90, 103)(91, 102)(92, 95)(93, 100)(94, 99)(96,
97)(185, 186)(187, 244)(188, 243)(189, 242)(190, 241)(191, 240)(192, 239)(193,
238)(194, 237)(195, 236)(196, 235)(197, 234)(198, 233)(199, 232)(200, 231)(201,
230)(202, 229)(203, 228)(204, 227)(205, 226)(206, 225)(207, 224)(208, 223)(209,
222)(210, 221)(211, 220)(212, 219)(213, 218)(214, 217)(215, 216)(245, 246)(247,
305)(248, 304)(249, 303)(250, 302)(251, 301)(252, 300)(253, 299)(254, 298)(255,
297)(256, 296)(257, 295)(258, 294)(259, 293)(260, 292)(261, 291)(262, 290)(263,
289)(264, 288)(265, 287)(266, 286)(267, 285)(268, 284)(269, 283)(270, 282)(271,
281)(272, 280)(273, 279)(274, 278)(275, 277)(306, 307)(308, 366)(309, 365)(310,
364)(311, 363)(312, 362)(313, 361)(314, 360)(315, 359)(316, 358)(317, 357)(318,
356)(319, 355)(320, 354)(321, 353)(322, 352)(323, 351)(324, 350)(325, 349)(326,
348)(327, 347)(328, 346)(329, 345)(330, 344)(331, 343)(332, 342)(333, 341)(334,
340)(335, 339)(336, 338)(367, 368)(369, 427)(370, 426)(371, 425)(372, 424)(373,
423)(374, 422)(375, 421)(376, 420)(377, 419)(378, 418)(379, 417)(380, 416)(381,
415)(382, 414)(383, 413)(384, 412)(385, 411)(386, 410)(387, 409)(388, 408)(389,
407)(390, 406)(391, 405)(392, 404)(393, 403)(394, 402)(395, 401)(396, 400)(397,
399)(428, 429)(430, 488)(431, 487)(432, 486)(433, 485)(434, 484)(435, 483)(436,
482)(437, 481)(438, 480)(439, 479)(440, 478)(441, 477)(442, 476)(443, 475)(444,
474)(445, 473)(446, 472)(447, 471)(448, 470)(449, 469)(450, 468)(451, 467)(452,
466)(453, 465)(454, 464)(455, 463)(456, 462)(457, 461)(458, 460)
n9: (335, 457)
a9: (128, 130)(131, 135)(132, 227)(133, 228)(288, 349)(410, 471)
b9: (313, 435)
c9: (346, 468)
d9: (173, 175)(176, 180)(177, 242)(178, 243)(303, 364)(425, 486)
e9: (354, 476)
f9: (306, 428)
g9: (337, 459)
h9: (170, 172)(173, 177)(174, 241)(175, 242)(302, 363)(424, 485)
m9: (110, 112)(113, 117)(114, 221)(115, 222)(282, 343)(404, 465)
n10: (357, 479)
a10: (8, 10)(11, 15)(12, 187)(13, 188)(248, 309)(370, 431)
b10: (158, 160)(161, 165)(162, 237)(163, 238)(298, 359)(420, 481)
c10: (326, 448)
d10: (35, 37)(38, 42)(39, 196)(40, 197)(257, 318)(379, 440)
e10: (359, 481)
f10: (328, 450)
g10: (364, 486)
h10: (331, 453)
m10: (56, 58)(59, 63)(60, 203)(61, 204)(264, 325)(386, 447)
n11: (353, 475)
a11: (62, 64)(65, 69)(66, 205)(67, 206)(266, 327)(388, 449)
b11: (38, 40)(41, 45)(42, 197)(43, 198)(258, 319)(380, 441)
c11: (336, 458)
d11: (131, 133)(134, 138)(135, 228)(136, 229)(289, 350)(411, 472)
e11: (310, 432)
f11: (341, 463)
g11: (74, 76)(77, 81)(78, 209)(79, 210)(270, 331)(392, 453)
h11: (152, 154)(155, 159)(156, 235)(157, 236)(296, 357)(418, 479)
m11: (149, 151)(152, 156)(153, 234)(154, 235)(295, 356)(417, 478)
n12: (26, 28)(29, 33)(30, 193)(31, 194)(254, 315)(376, 437)
a12: (161, 163)(164, 168)(165, 238)(166, 239)(299, 360)(421, 482)
b12: (11, 13)(14, 18)(15, 188)(16, 189)(249, 310)(371, 432)
c12: (122, 124)(125, 129)(126, 225)(127, 226)(286, 347)(408, 469)
C4[ 488, 11 ]
488
-1 245 246 367 368
-2 245 367 305 427
-3 429 245 367 307
-4 245 366 367 488
-5 246 247 368 369
-6 246 368 306 428
-7 308 430 246 368
-8 247 248 369 370
-9 429 247 369 307
-10 309 431 247 369
-11 248 249 370 371
-12 308 430 248 370
-13 310 432 248 370
-14 249 250 371 372
-15 309 431 249 371
-16 311 433 249 371
-17 250 251 372 373
-18 310 432 250 372
-19 312 434 250 372
-20 374 251 252 373
-21 311 433 251 373
-22 313 435 251 373
-23 253 374 375 252
-24 374 312 434 252
-25 374 314 436 252
-26 253 254 375 376
-27 253 375 313 435
-28 253 375 315 437
-29 254 255 376 377
-30 254 376 314 436
-31 254 376 316 438
-32 255 256 377 378
-33 255 377 315 437
-34 255 377 317 439
-35 256 257 378 379
-36 256 378 316 438
-37 440 256 378 318
-38 257 258 379 380
-39 257 379 317 439
-40 319 441 257 379
-41 258 259 380 381
-42 440 258 380 318
-43 320 442 258 380
-44 259 260 381 382
-45 319 441 259 381
-46 321 443 259 381
-47 260 261 382 383
-48 320 442 260 382
-49 322 444 260 382
-50 261 262 383 384
-51 321 443 261 383
-52 323 445 261 383
-53 385 262 263 384
-54 322 444 262 384
-55 324 446 262 384
-56 264 385 386 263
-57 385 323 445 263
-58 385 325 447 263
-59 264 265 386 387
-60 264 386 324 446
-61 264 386 326 448
-62 265 266 387 388
-63 265 387 325 447
-64 265 387 327 449
-65 266 267 388 389
-66 266 388 326 448
-67 266 388 328 450
-68 267 268 389 390
-69 267 389 327 449
-70 451 267 389 329
-71 268 269 390 391
-72 268 390 328 450
-73 330 452 268 390
-74 269 270 391 392
-75 451 269 391 329
-76 331 453 269 391
-77 270 271 392 393
-78 330 452 270 392
-79 332 454 270 392
-80 271 272 393 394
-81 331 453 271 393
-82 333 455 271 393
-83 272 273 394 395
-84 332 454 272 394
-85 334 456 272 394
-86 396 273 274 395
-87 333 455 273 395
-88 335 457 273 395
-89 275 396 397 274
-90 396 334 456 274
-91 396 336 458 274
-92 275 276 397 398
-93 275 397 335 457
-94 275 397 337 459
-95 276 277 398 399
-96 276 398 336 458
-97 276 398 338 460
-98 277 278 399 400
-99 277 399 337 459
-100 277 399 339 461
-101 278 279 400 401
-102 278 400 338 460
-103 462 278 400 340
-104 279 280 401 402
-105 279 401 339 461
-106 341 463 279 401
-107 280 281 402 403
-108 462 280 402 340
-109 342 464 280 402
-110 281 282 403 404
-111 341 463 281 403
-112 343 465 281 403
-113 282 283 404 405
-114 342 464 282 404
-115 344 466 282 404
-116 283 284 405 406
-117 343 465 283 405
-118 345 467 283 405
-119 407 284 285 406
-120 344 466 284 406
-121 346 468 284 406
-122 286 407 408 285
-123 407 345 467 285
-124 407 347 469 285
-125 286 287 408 409
-126 286 408 346 468
-127 286 408 348 470
-128 287 288 409 410
-129 287 409 347 469
-130 287 409 349 471
-131 288 289 410 411
-132 288 410 348 470
-133 288 410 350 472
-134 289 290 411 412
-135 289 411 349 471
-136 473 289 411 351
-137 290 291 412 413
-138 290 412 350 472
-139 352 474 290 412
-140 291 292 413 414
-141 473 291 413 351
-142 353 475 291 413
-143 292 293 414 415
-144 352 474 292 414
-145 354 476 292 414
-146 293 294 415 416
-147 353 475 293 415
-148 355 477 293 415
-149 294 295 416 417
-150 354 476 294 416
-151 356 478 294 416
-152 418 295 296 417
-153 355 477 295 417
-154 357 479 295 417
-155 297 418 419 296
-156 418 356 478 296
-157 418 358 480 296
-158 297 298 419 420
-159 297 419 357 479
-160 297 419 359 481
-161 298 299 420 421
-162 298 420 358 480
-163 298 420 360 482
-164 299 300 421 422
-165 299 421 359 481
-166 299 421 361 483
-167 300 301 422 423
-168 300 422 360 482
-169 484 300 422 362
-170 301 302 423 424
-171 301 423 361 483
-172 363 485 301 423
-173 302 303 424 425
-174 484 302 424 362
-175 364 486 302 424
-176 303 304 425 426
-177 363 485 303 425
-178 365 487 303 425
-179 304 305 426 427
-180 364 486 304 426
-181 366 488 304 426
-182 305 306 427 428
-183 365 487 305 427
-184 429 306 307 428
-185 366 488 306 428
-186 308 429 430 307
-187 308 309 430 431
-188 309 310 431 432
-189 310 311 432 433
-190 311 312 433 434
-191 312 313 434 435
-192 313 314 435 436
-193 314 315 436 437
-194 315 316 437 438
-195 316 317 438 439
-196 440 317 318 439
-197 319 440 441 318
-198 319 320 441 442
-199 320 321 442 443
-200 321 322 443 444
-201 322 323 444 445
-202 323 324 445 446
-203 324 325 446 447
-204 325 326 447 448
-205 326 327 448 449
-206 327 328 449 450
-207 451 328 329 450
-208 330 451 452 329
-209 330 331 452 453
-210 331 332 453 454
-211 332 333 454 455
-212 333 334 455 456
-213 334 335 456 457
-214 335 336 457 458
-215 336 337 458 459
-216 337 338 459 460
-217 338 339 460 461
-218 462 339 340 461
-219 341 462 463 340
-220 341 342 463 464
-221 342 343 464 465
-222 343 344 465 466
-223 344 345 466 467
-224 345 346 467 468
-225 346 347 468 469
-226 347 348 469 470
-227 348 349 470 471
-228 349 350 471 472
-229 473 350 351 472
-230 352 473 474 351
-231 352 353 474 475
-232 353 354 475 476
-233 354 355 476 477
-234 355 356 477 478
-235 356 357 478 479
-236 357 358 479 480
-237 358 359 480 481
-238 359 360 481 482
-239 360 361 482 483
-240 484 361 362 483
-241 363 484 485 362
-242 363 364 485 486
-243 364 365 486 487
-244 365 366 487 488
-245 1 2 3 4
-246 1 5 6 7
-247 5 8 9 10
-248 11 12 13 8
-249 11 14 15 16
-250 14 17 18 19
-251 22 17 20 21
-252 23 24 25 20
-253 23 26 27 28
-254 26 29 30 31
-255 33 34 29 32
-256 35 36 37 32
-257 35 38 39 40
-258 38 41 42 43
-259 44 45 46 41
-260 44 47 48 49
-261 47 50 51 52
-262 55 50 53 54
-263 56 57 58 53
-264 56 59 60 61
-265 59 62 63 64
-266 66 67 62 65
-267 68 69 70 65
-268 68 71 72 73
-269 71 74 75 76
-270 77 78 79 74
-271 77 80 81 82
-272 80 83 84 85
-273 88 83 86 87
-274 89 90 91 86
-275 89 92 93 94
-276 92 95 96 97
-277 99 100 95 98
-278 101 102 103 98
-279 101 104 105 106
-280 104 107 108 109
-281 110 111 112 107
-282 110 113 114 115
-283 113 116 117 118
-284 121 116 119 120
-285 122 123 124 119
-286 122 125 126 127
-287 125 128 129 130
-288 132 133 128 131
-289 134 135 136 131
-290 134 137 138 139
-291 137 140 141 142
-292 143 144 145 140
-293 143 146 147 148
-294 146 149 150 151
-295 154 149 152 153
-296 155 156 157 152
-297 155 158 159 160
-298 158 161 162 163
-299 165 166 161 164
-300 167 168 169 164
-301 167 170 171 172
-302 170 173 174 175
-303 176 177 178 173
-304 176 179 180 181
-305 2 179 182 183
-306 6 182 184 185
-307 3 184 9 186
-308 187 12 7 186
-309 187 188 15 10
-310 188 13 189 18
-311 189 190 16 21
-312 24 190 191 19
-313 22 191 27 192
-314 25 192 193 30
-315 33 28 193 194
-316 36 194 195 31
-317 34 39 195 196
-318 37 42 196 197
-319 198 45 40 197
-320 198 199 48 43
-321 199 46 200 51
-322 200 201 49 54
-323 57 201 202 52
-324 55 202 60 203
-325 58 203 204 63
-326 66 61 204 205
-327 69 205 206 64
-328 67 72 206 207
-329 70 75 207 208
-330 209 78 73 208
-331 209 210 81 76
-332 210 79 211 84
-333 211 212 82 87
-334 90 212 213 85
-335 88 213 93 214
-336 91 214 215 96
-337 99 94 215 216
-338 102 216 217 97
-339 100 105 217 218
-340 103 108 218 219
-341 220 111 106 219
-342 220 221 114 109
-343 221 112 222 117
-344 222 223 115 120
-345 123 223 224 118
-346 121 224 126 225
-347 124 225 226 129
-348 132 127 226 227
-349 135 227 228 130
-350 133 138 228 229
-351 136 141 229 230
-352 231 144 139 230
-353 231 232 147 142
-354 232 145 233 150
-355 233 234 148 153
-356 156 234 235 151
-357 154 235 159 236
-358 157 236 237 162
-359 165 160 237 238
-360 168 238 239 163
-361 166 171 239 240
-362 169 174 240 241
-363 242 177 172 241
-364 242 243 180 175
-365 243 178 244 183
-366 244 4 181 185
-367 1 2 3 4
-368 1 5 6 7
-369 5 8 9 10
-370 11 12 13 8
-371 11 14 15 16
-372 14 17 18 19
-373 22 17 20 21
-374 23 24 25 20
-375 23 26 27 28
-376 26 29 30 31
-377 33 34 29 32
-378 35 36 37 32
-379 35 38 39 40
-380 38 41 42 43
-381 44 45 46 41
-382 44 47 48 49
-383 47 50 51 52
-384 55 50 53 54
-385 56 57 58 53
-386 56 59 60 61
-387 59 62 63 64
-388 66 67 62 65
-389 68 69 70 65
-390 68 71 72 73
-391 71 74 75 76
-392 77 78 79 74
-393 77 80 81 82
-394 80 83 84 85
-395 88 83 86 87
-396 89 90 91 86
-397 89 92 93 94
-398 92 95 96 97
-399 99 100 95 98
-400 101 102 103 98
-401 101 104 105 106
-402 104 107 108 109
-403 110 111 112 107
-404 110 113 114 115
-405 113 116 117 118
-406 121 116 119 120
-407 122 123 124 119
-408 122 125 126 127
-409 125 128 129 130
-410 132 133 128 131
-411 134 135 136 131
-412 134 137 138 139
-413 137 140 141 142
-414 143 144 145 140
-415 143 146 147 148
-416 146 149 150 151
-417 154 149 152 153
-418 155 156 157 152
-419 155 158 159 160
-420 158 161 162 163
-421 165 166 161 164
-422 167 168 169 164
-423 167 170 171 172
-424 170 173 174 175
-425 176 177 178 173
-426 176 179 180 181
-427 2 179 182 183
-428 6 182 184 185
-429 3 184 9 186
-430 187 12 7 186
-431 187 188 15 10
-432 188 13 189 18
-433 189 190 16 21
-434 24 190 191 19
-435 22 191 27 192
-436 25 192 193 30
-437 33 28 193 194
-438 36 194 195 31
-439 34 39 195 196
-440 37 42 196 197
-441 198 45 40 197
-442 198 199 48 43
-443 199 46 200 51
-444 200 201 49 54
-445 57 201 202 52
-446 55 202 60 203
-447 58 203 204 63
-448 66 61 204 205
-449 69 205 206 64
-450 67 72 206 207
-451 70 75 207 208
-452 209 78 73 208
-453 209 210 81 76
-454 210 79 211 84
-455 211 212 82 87
-456 90 212 213 85
-457 88 213 93 214
-458 91 214 215 96
-459 99 94 215 216
-460 102 216 217 97
-461 100 105 217 218
-462 103 108 218 219
-463 220 111 106 219
-464 220 221 114 109
-465 221 112 222 117
-466 222 223 115 120
-467 123 223 224 118
-468 121 224 126 225
-469 124 225 226 129
-470 132 127 226 227
-471 135 227 228 130
-472 133 138 228 229
-473 136 141 229 230
-474 231 144 139 230
-475 231 232 147 142
-476 232 145 233 150
-477 233 234 148 153
-478 156 234 235 151
-479 154 235 159 236
-480 157 236 237 162
-481 165 160 237 238
-482 168 238 239 163
-483 166 171 239 240
-484 169 174 240 241
-485 242 177 172 241
-486 242 243 180 175
-487 243 178 244 183
-488 244 4 181 185
0