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