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