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