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