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