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