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