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