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