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