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