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