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