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