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