Graph forms
for C4 [ 492, 6 ] = PS(12,41;9)
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 492, 6 ] =
PS(12,41;9).
(I) Following is a form readable by MAGMA:
g:=Graph<492|{ {41, 42}, {369, 370}, {205, 206}, {123, 124}, {451, 452}, {80,
89}, {406, 415}, {404, 413}, {402, 411}, {164, 173}, {162, 171}, {160, 169},
{82, 91}, {240, 249}, {242, 251}, {244, 253}, {246, 255}, {320, 329}, {322,
331}, {324, 333}, {326, 335}, {81, 90}, {405, 414}, {161, 170}, {241, 250},
{245, 254}, {321, 330}, {325, 334}, {163, 172}, {403, 412}, {243, 252}, {323,
332}, {79, 88}, {239, 248}, {327, 336}, {74, 83}, {76, 85}, {78, 87}, {238,
247}, {328, 337}, {77, 86}, {75, 84}, {64, 96}, {410, 442}, {409, 441}, {408,
440}, {407, 439}, {406, 438}, {405, 437}, {404, 436}, {403, 435}, {402, 434},
{401, 433}, {400, 432}, {399, 431}, {398, 430}, {397, 429}, {396, 428}, {395,
427}, {394, 426}, {393, 425}, {392, 424}, {391, 423}, {390, 422}, {389, 421},
{388, 420}, {387, 419}, {386, 418}, {385, 417}, {384, 416}, {159, 191}, {158,
190}, {157, 189}, {156, 188}, {155, 187}, {154, 186}, {153, 185}, {152, 184},
{151, 183}, {150, 182}, {149, 181}, {148, 180}, {147, 179}, {146, 178}, {145,
177}, {144, 176}, {143, 175}, {142, 174}, {141, 173}, {140, 172}, {139, 171},
{138, 170}, {137, 169}, {136, 168}, {135, 167}, {134, 166}, {133, 165}, {65,
97}, {66, 98}, {67, 99}, {68, 100}, {69, 101}, {70, 102}, {71, 103}, {72, 104},
{73, 105}, {74, 106}, {75, 107}, {76, 108}, {77, 109}, {78, 110}, {79, 111},
{80, 112}, {81, 113}, {82, 114}, {215, 247}, {216, 248}, {217, 249}, {218, 250},
{219, 251}, {220, 252}, {221, 253}, {222, 254}, {223, 255}, {320, 352}, {321,
353}, {322, 354}, {323, 355}, {324, 356}, {325, 357}, {326, 358}, {327, 359},
{328, 360}, {2, 42}, {451, 491}, {450, 490}, {449, 489}, {448, 488}, {199, 239},
{198, 238}, {197, 237}, {196, 236}, {195, 235}, {194, 234}, {193, 233}, {192,
232}, {3, 43}, {4, 44}, {5, 45}, {6, 46}, {7, 47}, {16, 56}, {17, 57}, {18, 58},
{19, 59}, {20, 60}, {21, 61}, {22, 62}, {23, 63}, {84, 124}, {85, 125}, {86,
126}, {87, 127}, {256, 296}, {257, 297}, {258, 298}, {259, 299}, {260, 300},
{261, 301}, {262, 302}, {263, 303}, {272, 312}, {273, 313}, {274, 314}, {275,
315}, {276, 316}, {277, 317}, {278, 318}, {279, 319}, {336, 376}, {337, 377},
{338, 378}, {339, 379}, {340, 380}, {341, 381}, {342, 382}, {343, 383}, {1, 43},
{449, 491}, {448, 490}, {197, 239}, {196, 238}, {193, 235}, {192, 234}, {4, 46},
{5, 47}, {16, 58}, {17, 59}, {20, 62}, {21, 63}, {84, 126}, {85, 127}, {256,
298}, {257, 299}, {260, 302}, {261, 303}, {272, 314}, {273, 315}, {276, 318},
{277, 319}, {336, 378}, {337, 379}, {340, 382}, {341, 383}, {2, 44}, {450, 492},
{195, 237}, {194, 236}, {3, 45}, {18, 60}, {19, 61}, {83, 125}, {258, 300},
{259, 301}, {274, 316}, {275, 317}, {338, 380}, {339, 381}, {64, 114}, {397,
447}, {396, 446}, {393, 443}, {392, 442}, {389, 439}, {388, 438}, {385, 435},
{384, 434}, {141, 191}, {140, 190}, {137, 187}, {136, 186}, {133, 183}, {132,
182}, {129, 179}, {128, 178}, {65, 115}, {68, 118}, {69, 119}, {72, 122}, {73,
123}, {6, 48}, {395, 445}, {394, 444}, {387, 437}, {386, 436}, {199, 241}, {198,
240}, {139, 189}, {138, 188}, {131, 181}, {130, 180}, {7, 49}, {14, 56}, {15,
57}, {66, 116}, {67, 117}, {262, 304}, {263, 305}, {270, 312}, {271, 313}, {334,
376}, {335, 377}, {159, 168}, {407, 416}, {8, 48}, {202, 242}, {201, 241}, {200,
240}, {9, 49}, {10, 50}, {11, 51}, {12, 52}, {13, 53}, {14, 54}, {15, 55}, {203,
243}, {204, 244}, {205, 245}, {264, 304}, {265, 305}, {266, 306}, {267, 307},
{268, 308}, {269, 309}, {270, 310}, {271, 311}, {330, 370}, {331, 371}, {332,
372}, {333, 373}, {334, 374}, {335, 375}, {156, 165}, {410, 419}, {408, 417},
{158, 167}, {8, 50}, {201, 243}, {200, 242}, {9, 51}, {12, 54}, {13, 55}, {204,
246}, {264, 306}, {265, 307}, {268, 310}, {269, 311}, {329, 371}, {332, 374},
{333, 375}, {157, 166}, {409, 418}, {10, 52}, {391, 441}, {390, 440}, {135,
185}, {134, 184}, {11, 53}, {70, 120}, {71, 121}, {202, 244}, {203, 245}, {266,
308}, {267, 309}, {330, 372}, {331, 373}, {287, 288}, {48, 121}, {132, 205},
{130, 203}, {128, 201}, {50, 123}, {288, 361}, {290, 363}, {292, 365}, {294,
367}, {49, 122}, {129, 202}, {289, 362}, {293, 366}, {46, 96}, {399, 449}, {398,
448}, {143, 193}, {142, 192}, {47, 97}, {62, 112}, {63, 113}, {302, 352}, {303,
353}, {318, 368}, {319, 369}, {131, 204}, {291, 364}, {48, 98}, {401, 451},
{400, 450}, {153, 203}, {152, 202}, {149, 199}, {148, 198}, {145, 195}, {144,
194}, {49, 99}, {52, 102}, {53, 103}, {56, 106}, {57, 107}, {60, 110}, {61,
111}, {304, 354}, {305, 355}, {308, 358}, {309, 359}, {312, 362}, {313, 363},
{316, 366}, {317, 367}, {1, 82}, {165, 246}, {22, 64}, {447, 489}, {446, 488},
{439, 481}, {438, 480}, {415, 457}, {414, 456}, {191, 233}, {190, 232}, {183,
225}, {182, 224}, {155, 205}, {154, 204}, {147, 197}, {146, 196}, {23, 65}, {30,
72}, {31, 73}, {50, 100}, {51, 101}, {58, 108}, {59, 109}, {278, 320}, {279,
321}, {286, 328}, {306, 356}, {307, 357}, {314, 364}, {315, 365}, {47, 120},
{295, 368}, {24, 64}, {447, 487}, {446, 486}, {445, 485}, {444, 484}, {443,
483}, {442, 482}, {441, 481}, {440, 480}, {415, 455}, {414, 454}, {413, 453},
{412, 452}, {191, 231}, {190, 230}, {189, 229}, {188, 228}, {187, 227}, {186,
226}, {185, 225}, {184, 224}, {25, 65}, {26, 66}, {27, 67}, {28, 68}, {29, 69},
{30, 70}, {31, 71}, {280, 320}, {281, 321}, {282, 322}, {283, 323}, {284, 324},
{285, 325}, {286, 326}, {287, 327}, {42, 115}, {44, 117}, {46, 119}, {296, 369},
{24, 66}, {445, 487}, {444, 486}, {441, 483}, {440, 482}, {413, 455}, {412,
454}, {189, 231}, {188, 230}, {185, 227}, {184, 226}, {25, 67}, {28, 70}, {29,
71}, {280, 322}, {281, 323}, {284, 326}, {285, 327}, {45, 118}, {26, 68}, {443,
485}, {442, 484}, {411, 453}, {187, 229}, {186, 228}, {151, 201}, {150, 200},
{27, 69}, {54, 104}, {55, 105}, {282, 324}, {283, 325}, {310, 360}, {311, 361},
{43, 116}, {51, 83}, {164, 196}, {163, 195}, {162, 194}, {161, 193}, {160, 192},
{52, 84}, {53, 85}, {54, 86}, {55, 87}, {56, 88}, {57, 89}, {58, 90}, {59, 91},
{60, 92}, {61, 93}, {62, 94}, {63, 95}, {297, 329}, {298, 330}, {299, 331},
{300, 332}, {301, 333}, {302, 334}, {303, 335}, {304, 336}, {305, 337}, {306,
338}, {307, 339}, {308, 340}, {309, 341}, {310, 342}, {311, 343}, {312, 344},
{313, 345}, {314, 346}, {315, 347}, {316, 348}, {317, 349}, {318, 350}, {319,
351}, {32, 72}, {439, 479}, {438, 478}, {437, 477}, {436, 476}, {435, 475},
{434, 474}, {433, 473}, {432, 472}, {423, 463}, {422, 462}, {421, 461}, {420,
460}, {419, 459}, {418, 458}, {417, 457}, {416, 456}, {183, 223}, {182, 222},
{181, 221}, {180, 220}, {179, 219}, {178, 218}, {177, 217}, {176, 216}, {167,
207}, {166, 206}, {33, 73}, {34, 74}, {35, 75}, {36, 76}, {37, 77}, {38, 78},
{39, 79}, {32, 74}, {437, 479}, {436, 478}, {433, 475}, {432, 474}, {421, 463},
{420, 462}, {417, 459}, {416, 458}, {181, 223}, {180, 222}, {177, 219}, {176,
218}, {165, 207}, {33, 75}, {36, 78}, {37, 79}, {34, 76}, {435, 477}, {434,
476}, {419, 461}, {418, 460}, {179, 221}, {178, 220}, {35, 77}, {44, 94}, {45,
95}, {288, 338}, {289, 339}, {292, 342}, {293, 343}, {296, 346}, {297, 347},
{300, 350}, {301, 351}, {38, 80}, {431, 473}, {430, 472}, {423, 465}, {422,
464}, {175, 217}, {174, 216}, {167, 209}, {166, 208}, {39, 81}, {42, 92}, {43,
93}, {290, 340}, {291, 341}, {298, 348}, {299, 349}, {411, 492}, {40, 80}, {431,
471}, {430, 470}, {429, 469}, {428, 468}, {427, 467}, {426, 466}, {425, 465},
{424, 464}, {175, 215}, {174, 214}, {173, 213}, {172, 212}, {171, 211}, {170,
210}, {169, 209}, {168, 208}, {41, 81}, {40, 82}, {429, 471}, {428, 470}, {425,
467}, {424, 466}, {173, 215}, {172, 214}, {169, 211}, {168, 210}, {170, 212},
{427, 469}, {426, 468}, {171, 213}, {294, 344}, {295, 345}, {127, 200}, {375,
448}, {124, 197}, {378, 451}, {376, 449}, {126, 199}, {125, 198}, {377, 450},
{370, 443}, {374, 447}, {372, 445}, {373, 446}, {126, 176}, {383, 433}, {382,
432}, {127, 177}, {371, 444}, {124, 174}, {381, 431}, {380, 430}, {377, 427},
{376, 426}, {373, 423}, {372, 422}, {125, 175}, {329, 410}, {86, 128}, {379,
429}, {378, 428}, {371, 421}, {370, 420}, {119, 161}, {118, 160}, {87, 129},
{94, 136}, {95, 137}, {342, 384}, {343, 385}, {350, 392}, {351, 393}, {88, 128},
{123, 163}, {122, 162}, {121, 161}, {120, 160}, {89, 129}, {90, 130}, {91, 131},
{92, 132}, {93, 133}, {94, 134}, {95, 135}, {344, 384}, {345, 385}, {346, 386},
{347, 387}, {348, 388}, {349, 389}, {350, 390}, {351, 391}, {88, 130}, {121,
163}, {120, 162}, {89, 131}, {92, 134}, {93, 135}, {344, 386}, {345, 387}, {348,
390}, {349, 391}, {90, 132}, {375, 425}, {374, 424}, {122, 164}, {91, 133},
{346, 388}, {347, 389}, {379, 411}, {383, 415}, {382, 414}, {381, 413}, {380,
412}, {96, 136}, {369, 409}, {368, 408}, {119, 159}, {118, 158}, {117, 157},
{116, 156}, {115, 155}, {114, 154}, {113, 153}, {112, 152}, {97, 137}, {98,
138}, {99, 139}, {100, 140}, {101, 141}, {102, 142}, {103, 143}, {352, 392},
{353, 393}, {354, 394}, {355, 395}, {356, 396}, {357, 397}, {358, 398}, {359,
399}, {96, 138}, {368, 410}, {117, 159}, {116, 158}, {113, 155}, {112, 154},
{97, 139}, {100, 142}, {101, 143}, {352, 394}, {353, 395}, {356, 398}, {357,
399}, {98, 140}, {115, 157}, {114, 156}, {99, 141}, {354, 396}, {355, 397},
{102, 144}, {367, 409}, {366, 408}, {111, 153}, {110, 152}, {103, 145}, {358,
400}, {359, 401}, {83, 164}, {104, 144}, {367, 407}, {111, 151}, {110, 150},
{109, 149}, {108, 148}, {105, 145}, {106, 146}, {107, 147}, {360, 400}, {361,
401}, {362, 402}, {363, 403}, {364, 404}, {365, 405}, {366, 406}, {104, 146},
{109, 151}, {108, 150}, {105, 147}, {360, 402}, {361, 403}, {364, 406}, {365,
407}, {106, 148}, {107, 149}, {362, 404}, {363, 405}, {247, 328}, {14, 456},
{15, 457}, {22, 464}, {23, 465}, {30, 472}, {31, 473}, {38, 480}, {39, 481},
{208, 281}, {210, 283}, {212, 285}, {214, 287}, {12, 454}, {13, 455}, {24, 466},
{25, 467}, {28, 470}, {29, 471}, {40, 482}, {41, 483}, {209, 282}, {213, 286},
{1, 461}, {2, 462}, {3, 463}, {16, 476}, {17, 477}, {18, 478}, {19, 479}, {32,
492}, {10, 452}, {11, 453}, {26, 468}, {27, 469}, {206, 256}, {207, 257}, {222,
272}, {223, 273}, {211, 284}, {208, 258}, {209, 259}, {212, 262}, {213, 263},
{216, 266}, {217, 267}, {220, 270}, {221, 271}, {4, 464}, {5, 465}, {6, 466},
{7, 467}, {12, 472}, {13, 473}, {14, 474}, {15, 475}, {210, 260}, {211, 261},
{218, 268}, {219, 269}, {247, 289}, {254, 296}, {255, 297}, {207, 280}, {248,
288}, {249, 289}, {250, 290}, {251, 291}, {252, 292}, {253, 293}, {254, 294},
{255, 295}, {206, 279}, {16, 458}, {17, 459}, {20, 462}, {21, 463}, {248, 290},
{249, 291}, {252, 294}, {253, 295}, {8, 468}, {9, 469}, {10, 470}, {11, 471},
{18, 460}, {19, 461}, {214, 264}, {215, 265}, {250, 292}, {251, 293}, {224,
256}, {225, 257}, {226, 258}, {227, 259}, {228, 260}, {229, 261}, {230, 262},
{231, 263}, {232, 264}, {233, 265}, {234, 266}, {235, 267}, {236, 268}, {237,
269}, {238, 270}, {239, 271}, {240, 272}, {241, 273}, {242, 274}, {243, 275},
{244, 276}, {245, 277}, {246, 278}, {4, 487}, {8, 491}, {36, 455}, {40, 459},
{1, 484}, {3, 486}, {9, 492}, {33, 452}, {35, 454}, {41, 460}, {2, 485}, {34,
453}, {5, 488}, {7, 490}, {37, 456}, {39, 458}, {6, 489}, {38, 457}, {224, 274},
{225, 275}, {228, 278}, {229, 279}, {232, 282}, {233, 283}, {236, 286}, {237,
287}, {20, 480}, {21, 481}, {22, 482}, {23, 483}, {28, 488}, {29, 489}, {30,
490}, {31, 491}, {226, 276}, {227, 277}, {234, 284}, {235, 285}, {32, 474}, {33,
475}, {36, 478}, {37, 479}, {24, 484}, {25, 485}, {26, 486}, {27, 487}, {34,
476}, {35, 477}, {230, 280}, {231, 281} }>;
(II) A more general form is to represent the graph as the orbit of {41, 42}
under the group generated by the following permutations:
a: (1, 42)(2, 43)(3, 44)(4, 45)(5, 46)(6, 47)(7, 48)(8, 49)(9, 50)(10, 51)(11,
52)(12, 53)(13, 54)(14, 55)(15, 56)(16, 57)(17, 58)(18, 59)(19, 60)(20, 61)(21,
62)(22, 63)(23, 64)(24, 65)(25, 66)(26, 67)(27, 68)(28, 69)(29, 70)(30, 71)(31,
72)(32, 73)(33, 74)(34, 75)(35, 76)(36, 77)(37, 78)(38, 79)(39, 80)(40, 81)(41,
82)(83, 452)(84, 453)(85, 454)(86, 455)(87, 456)(88, 457)(89, 458)(90, 459)(91,
460)(92, 461)(93, 462)(94, 463)(95, 464)(96, 465)(97, 466)(98, 467)(99,
468)(100, 469)(101, 470)(102, 471)(103, 472)(104, 473)(105, 474)(106, 475)(107,
476)(108, 477)(109, 478)(110, 479)(111, 480)(112, 481)(113, 482)(114, 483)(115,
484)(116, 485)(117, 486)(118, 487)(119, 488)(120, 489)(121, 490)(122, 491)(123,
492)(124, 411)(125, 412)(126, 413)(127, 414)(128, 415)(129, 416)(130, 417)(131,
418)(132, 419)(133, 420)(134, 421)(135, 422)(136, 423)(137, 424)(138, 425)(139,
426)(140, 427)(141, 428)(142, 429)(143, 430)(144, 431)(145, 432)(146, 433)(147,
434)(148, 435)(149, 436)(150, 437)(151, 438)(152, 439)(153, 440)(154, 441)(155,
442)(156, 443)(157, 444)(158, 445)(159, 446)(160, 447)(161, 448)(162, 449)(163,
450)(164, 451)(165, 370)(166, 371)(167, 372)(168, 373)(169, 374)(170, 375)(171,
376)(172, 377)(173, 378)(174, 379)(175, 380)(176, 381)(177, 382)(178, 383)(179,
384)(180, 385)(181, 386)(182, 387)(183, 388)(184, 389)(185, 390)(186, 391)(187,
392)(188, 393)(189, 394)(190, 395)(191, 396)(192, 397)(193, 398)(194, 399)(195,
400)(196, 401)(197, 402)(198, 403)(199, 404)(200, 405)(201, 406)(202, 407)(203,
408)(204, 409)(205, 410)(206, 329)(207, 330)(208, 331)(209, 332)(210, 333)(211,
334)(212, 335)(213, 336)(214, 337)(215, 338)(216, 339)(217, 340)(218, 341)(219,
342)(220, 343)(221, 344)(222, 345)(223, 346)(224, 347)(225, 348)(226, 349)(227,
350)(228, 351)(229, 352)(230, 353)(231, 354)(232, 355)(233, 356)(234, 357)(235,
358)(236, 359)(237, 360)(238, 361)(239, 362)(240, 363)(241, 364)(242, 365)(243,
366)(244, 367)(245, 368)(246, 369)(247, 288)(248, 289)(249, 290)(250, 291)(251,
292)(252, 293)(253, 294)(254, 295)(255, 296)(256, 297)(257, 298)(258, 299)(259,
300)(260, 301)(261, 302)(262, 303)(263, 304)(264, 305)(265, 306)(266, 307)(267,
308)(268, 309)(269, 310)(270, 311)(271, 312)(272, 313)(273, 314)(274, 315)(275,
316)(276, 317)(277, 318)(278, 319)(279, 320)(280, 321)(281, 322)(282, 323)(283,
324)(284, 325)(285, 326)(286, 327)(287, 328) (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: (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21,
22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40,
41)(42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60,
61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80,
81, 82)(83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100,
101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116,
117, 118, 119, 120, 121, 122, 123)(124, 125, 126, 127, 128, 129, 130, 131, 132,
133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148,
149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163,
164)(165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179,
180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195,
196, 197, 198, 199, 200, 201, 202, 203, 204, 205)(206, 207, 208, 209, 210, 211,
212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227,
228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243,
244, 245, 246)(247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259,
260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275,
276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287)(288, 289, 290, 291,
292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307,
308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323,
324, 325, 326, 327, 328)(329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339,
340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355,
356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369)(370, 371,
372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387,
388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403,
404, 405, 406, 407, 408, 409, 410)(411, 412, 413, 414, 415, 416, 417, 418, 419,
420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435,
436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450,
451)(452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466,
467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482,
483, 484, 485, 486, 487, 488, 489, 490, 491, 492)
c: (2, 33, 41, 10)(3, 24, 40, 19)(4, 15, 39, 28)(5, 6, 38, 37)(7, 29, 36, 14)(8,
20, 35, 23)(9, 11, 34, 32)(12, 25, 31, 18)(13, 16, 30, 27)(17, 21, 26, 22)(42,
452)(43, 484, 82, 461)(44, 475, 81, 470)(45, 466, 80, 479)(46, 457, 79, 488)(47,
489, 78, 456)(48, 480, 77, 465)(49, 471, 76, 474)(50, 462, 75, 483)(51, 453, 74,
492)(52, 485, 73, 460)(53, 476, 72, 469)(54, 467, 71, 478)(55, 458, 70, 487)(56,
490, 69, 455)(57, 481, 68, 464)(58, 472, 67, 473)(59, 463, 66, 482)(60, 454, 65,
491)(61, 486, 64, 459)(62, 477, 63, 468)(83, 411)(84, 443, 123, 420)(85, 434,
122, 429)(86, 425, 121, 438)(87, 416, 120, 447)(88, 448, 119, 415)(89, 439, 118,
424)(90, 430, 117, 433)(91, 421, 116, 442)(92, 412, 115, 451)(93, 444, 114,
419)(94, 435, 113, 428)(95, 426, 112, 437)(96, 417, 111, 446)(97, 449, 110,
414)(98, 440, 109, 423)(99, 431, 108, 432)(100, 422, 107, 441)(101, 413, 106,
450)(102, 445, 105, 418)(103, 436, 104, 427)(124, 370)(125, 402, 164, 379)(126,
393, 163, 388)(127, 384, 162, 397)(128, 375, 161, 406)(129, 407, 160, 374)(130,
398, 159, 383)(131, 389, 158, 392)(132, 380, 157, 401)(133, 371, 156, 410)(134,
403, 155, 378)(135, 394, 154, 387)(136, 385, 153, 396)(137, 376, 152, 405)(138,
408, 151, 373)(139, 399, 150, 382)(140, 390, 149, 391)(141, 381, 148, 400)(142,
372, 147, 409)(143, 404, 146, 377)(144, 395, 145, 386)(165, 329)(166, 361, 205,
338)(167, 352, 204, 347)(168, 343, 203, 356)(169, 334, 202, 365)(170, 366, 201,
333)(171, 357, 200, 342)(172, 348, 199, 351)(173, 339, 198, 360)(174, 330, 197,
369)(175, 362, 196, 337)(176, 353, 195, 346)(177, 344, 194, 355)(178, 335, 193,
364)(179, 367, 192, 332)(180, 358, 191, 341)(181, 349, 190, 350)(182, 340, 189,
359)(183, 331, 188, 368)(184, 363, 187, 336)(185, 354, 186, 345)(206, 288)(207,
320, 246, 297)(208, 311, 245, 306)(209, 302, 244, 315)(210, 293, 243, 324)(211,
325, 242, 292)(212, 316, 241, 301)(213, 307, 240, 310)(214, 298, 239, 319)(215,
289, 238, 328)(216, 321, 237, 296)(217, 312, 236, 305)(218, 303, 235, 314)(219,
294, 234, 323)(220, 326, 233, 291)(221, 317, 232, 300)(222, 308, 231, 309)(223,
299, 230, 318)(224, 290, 229, 327)(225, 322, 228, 295)(226, 313, 227, 304)(248,
279, 287, 256)(249, 270, 286, 265)(250, 261, 285, 274)(251, 252, 284, 283)(253,
275, 282, 260)(254, 266, 281, 269)(255, 257, 280, 278)(258, 271, 277, 264)(259,
262, 276, 273)(263, 267, 272, 268)
C4[ 492, 6 ]
492
-1 484 82 43 461
-2 44 462 485 42
-3 45 463 486 43
-4 44 46 464 487
-5 45 47 465 488
-6 46 48 466 489
-7 47 49 467 490
-8 48 50 468 491
-9 49 51 469 492
-10 452 50 52 470
-11 453 51 53 471
-12 454 52 54 472
-13 55 473 455 53
-14 56 474 456 54
-15 55 57 475 457
-16 56 58 476 458
-17 57 59 477 459
-18 58 60 478 460
-19 59 61 479 461
-20 462 60 62 480
-21 463 61 63 481
-22 464 62 64 482
-23 465 63 65 483
-24 66 484 466 64
-25 67 485 467 65
-26 66 68 486 468
-27 67 69 487 469
-28 68 70 488 470
-29 69 71 489 471
-30 70 72 490 472
-31 473 71 73 491
-32 474 72 74 492
-33 452 475 73 75
-34 453 476 74 76
-35 77 454 477 75
-36 78 455 478 76
-37 77 79 456 479
-38 78 80 457 480
-39 79 81 458 481
-40 80 82 459 482
-41 81 42 460 483
-42 2 92 115 41
-43 1 3 93 116
-44 2 4 94 117
-45 3 5 95 118
-46 4 6 96 119
-47 5 7 97 120
-48 121 6 8 98
-49 99 122 7 9
-50 100 123 8 10
-51 11 101 83 9
-52 12 102 84 10
-53 11 13 103 85
-54 12 14 104 86
-55 13 15 105 87
-56 88 14 16 106
-57 89 15 17 107
-58 90 16 18 108
-59 91 17 19 109
-60 110 92 18 20
-61 111 93 19 21
-62 22 112 94 20
-63 23 113 95 21
-64 22 24 114 96
-65 23 25 115 97
-66 24 26 116 98
-67 99 25 27 117
-68 100 26 28 118
-69 101 27 29 119
-70 102 28 30 120
-71 121 103 29 31
-72 122 104 30 32
-73 33 123 105 31
-74 34 83 106 32
-75 33 35 84 107
-76 34 36 85 108
-77 35 37 86 109
-78 110 36 38 87
-79 88 111 37 39
-80 89 112 38 40
-81 90 113 39 41
-82 1 91 114 40
-83 125 51 74 164
-84 124 126 52 75
-85 125 127 53 76
-86 77 126 128 54
-87 55 78 127 129
-88 56 79 128 130
-89 57 80 129 131
-90 132 58 81 130
-91 133 59 82 131
-92 132 134 60 42
-93 133 135 61 43
-94 44 134 136 62
-95 45 135 137 63
-96 46 136 138 64
-97 47 137 139 65
-98 66 48 138 140
-99 67 49 139 141
-100 68 50 140 142
-101 143 69 51 141
-102 144 70 52 142
-103 143 145 71 53
-104 144 146 72 54
-105 55 145 147 73
-106 56 146 148 74
-107 57 147 149 75
-108 58 148 150 76
-109 77 59 149 151
-110 78 60 150 152
-111 79 61 151 153
-112 154 80 62 152
-113 155 81 63 153
-114 154 156 82 64
-115 155 157 42 65
-116 66 156 158 43
-117 44 67 157 159
-118 45 68 158 160
-119 46 69 159 161
-120 47 70 160 162
-121 48 71 161 163
-122 49 72 162 164
-123 124 50 73 163
-124 123 84 174 197
-125 198 83 85 175
-126 176 199 84 86
-127 177 200 85 87
-128 88 178 201 86
-129 89 179 202 87
-130 88 90 180 203
-131 89 91 181 204
-132 90 92 182 205
-133 165 91 93 183
-134 166 92 94 184
-135 167 93 95 185
-136 168 94 96 186
-137 187 169 95 97
-138 188 170 96 98
-139 99 189 171 97
-140 100 190 172 98
-141 99 101 191 173
-142 100 102 192 174
-143 101 103 193 175
-144 176 102 104 194
-145 177 103 105 195
-146 178 104 106 196
-147 179 105 107 197
-148 198 180 106 108
-149 199 181 107 109
-150 110 200 182 108
-151 111 201 183 109
-152 110 112 202 184
-153 111 113 203 185
-154 112 114 204 186
-155 187 113 115 205
-156 165 188 114 116
-157 166 189 115 117
-158 167 190 116 118
-159 168 191 117 119
-160 169 192 118 120
-161 121 170 193 119
-162 122 171 194 120
-163 121 123 172 195
-164 122 83 173 196
-165 133 156 246 207
-166 134 157 206 208
-167 209 135 158 207
-168 210 136 159 208
-169 209 211 137 160
-170 210 212 138 161
-171 211 213 139 162
-172 212 214 140 163
-173 213 215 141 164
-174 124 214 216 142
-175 143 125 215 217
-176 144 126 216 218
-177 145 127 217 219
-178 220 146 128 218
-179 221 147 129 219
-180 220 222 148 130
-181 221 223 149 131
-182 132 222 224 150
-183 133 223 225 151
-184 134 224 226 152
-185 135 225 227 153
-186 154 136 226 228
-187 155 137 227 229
-188 156 138 228 230
-189 231 157 139 229
-190 232 158 140 230
-191 231 233 159 141
-192 232 234 160 142
-193 143 233 235 161
-194 144 234 236 162
-195 145 235 237 163
-196 146 236 238 164
-197 124 147 237 239
-198 125 148 238 240
-199 126 149 239 241
-200 242 127 150 240
-201 243 128 151 241
-202 242 244 129 152
-203 243 245 130 153
-204 154 244 246 131
-205 132 155 245 206
-206 166 256 279 205
-207 165 167 257 280
-208 166 168 258 281
-209 167 169 259 282
-210 168 170 260 283
-211 169 171 261 284
-212 170 172 262 285
-213 286 171 173 263
-214 264 287 172 174
-215 265 247 173 175
-216 176 266 248 174
-217 177 267 249 175
-218 176 178 268 250
-219 177 179 269 251
-220 178 180 270 252
-221 253 179 181 271
-222 254 180 182 272
-223 255 181 183 273
-224 256 182 184 274
-225 275 257 183 185
-226 276 258 184 186
-227 187 277 259 185
-228 188 278 260 186
-229 187 189 279 261
-230 188 190 280 262
-231 189 191 281 263
-232 264 190 192 282
-233 265 191 193 283
-234 266 192 194 284
-235 267 193 195 285
-236 286 268 194 196
-237 287 269 195 197
-238 198 247 270 196
-239 199 248 271 197
-240 198 200 249 272
-241 199 201 250 273
-242 200 202 251 274
-243 275 201 203 252
-244 253 276 202 204
-245 254 277 203 205
-246 165 255 278 204
-247 289 215 238 328
-248 288 290 216 239
-249 289 291 217 240
-250 290 292 218 241
-251 242 291 293 219
-252 220 243 292 294
-253 221 244 293 295
-254 222 245 294 296
-255 297 223 246 295
-256 298 224 206 296
-257 297 299 225 207
-258 298 300 226 208
-259 209 299 301 227
-260 210 300 302 228
-261 211 301 303 229
-262 212 302 304 230
-263 231 213 303 305
-264 232 214 304 306
-265 233 215 305 307
-266 308 234 216 306
-267 309 235 217 307
-268 308 310 236 218
-269 309 311 237 219
-270 220 310 312 238
-271 221 311 313 239
-272 222 312 314 240
-273 223 313 315 241
-274 242 224 314 316
-275 243 225 315 317
-276 244 226 316 318
-277 319 245 227 317
-278 320 246 228 318
-279 319 321 206 229
-280 320 322 207 230
-281 231 321 323 208
-282 209 232 322 324
-283 210 233 323 325
-284 211 234 324 326
-285 212 235 325 327
-286 213 236 326 328
-287 288 214 237 327
-288 287 248 338 361
-289 247 249 339 362
-290 363 248 250 340
-291 341 364 249 251
-292 342 365 250 252
-293 253 343 366 251
-294 254 344 367 252
-295 253 255 345 368
-296 254 256 346 369
-297 255 257 347 329
-298 330 256 258 348
-299 331 257 259 349
-300 332 258 260 350
-301 333 259 261 351
-302 352 334 260 262
-303 353 335 261 263
-304 264 354 336 262
-305 265 355 337 263
-306 264 266 356 338
-307 265 267 357 339
-308 266 268 358 340
-309 341 267 269 359
-310 342 268 270 360
-311 343 269 271 361
-312 344 270 272 362
-313 363 345 271 273
-314 364 346 272 274
-315 275 365 347 273
-316 276 366 348 274
-317 275 277 367 349
-318 276 278 368 350
-319 277 279 369 351
-320 352 278 280 329
-321 330 353 279 281
-322 331 354 280 282
-323 332 355 281 283
-324 333 356 282 284
-325 334 357 283 285
-326 286 335 358 284
-327 287 336 359 285
-328 286 247 337 360
-329 297 320 410 371
-330 298 321 370 372
-331 299 322 371 373
-332 374 300 323 372
-333 375 301 324 373
-334 374 376 302 325
-335 375 377 303 326
-336 376 378 304 327
-337 377 379 305 328
-338 288 378 380 306
-339 289 379 381 307
-340 308 290 380 382
-341 309 291 381 383
-342 310 292 382 384
-343 385 311 293 383
-344 386 312 294 384
-345 385 387 313 295
-346 386 388 314 296
-347 297 387 389 315
-348 298 388 390 316
-349 299 389 391 317
-350 300 390 392 318
-351 319 301 391 393
-352 320 302 392 394
-353 321 303 393 395
-354 396 322 304 394
-355 397 323 305 395
-356 396 398 324 306
-357 397 399 325 307
-358 308 398 400 326
-359 309 399 401 327
-360 310 400 402 328
-361 288 311 401 403
-362 289 312 402 404
-363 290 313 403 405
-364 291 314 404 406
-365 407 292 315 405
-366 408 293 316 406
-367 407 409 294 317
-368 408 410 295 318
-369 319 409 370 296
-370 330 420 443 369
-371 331 421 444 329
-372 330 332 422 445
-373 331 333 423 446
-374 332 334 424 447
-375 333 335 425 448
-376 334 336 426 449
-377 335 337 427 450
-378 451 336 338 428
-379 429 411 337 339
-380 430 412 338 340
-381 341 431 413 339
-382 342 432 414 340
-383 341 343 433 415
-384 342 344 434 416
-385 343 345 435 417
-386 418 344 346 436
-387 419 345 347 437
-388 420 346 348 438
-389 421 347 349 439
-390 440 422 348 350
-391 441 423 349 351
-392 352 442 424 350
-393 353 443 425 351
-394 352 354 444 426
-395 353 355 445 427
-396 354 356 446 428
-397 429 355 357 447
-398 430 356 358 448
-399 431 357 359 449
-400 432 358 360 450
-401 451 433 359 361
-402 411 434 360 362
-403 363 412 435 361
-404 364 413 436 362
-405 363 365 414 437
-406 364 366 415 438
-407 365 367 416 439
-408 440 366 368 417
-409 418 441 367 369
-410 419 442 368 329
-411 453 379 402 492
-412 452 454 380 403
-413 453 455 381 404
-414 454 456 382 405
-415 455 457 383 406
-416 407 456 458 384
-417 385 408 457 459
-418 386 409 458 460
-419 387 410 459 461
-420 462 388 370 460
-421 463 389 371 461
-422 462 464 390 372
-423 463 465 391 373
-424 374 464 466 392
-425 375 465 467 393
-426 376 466 468 394
-427 377 467 469 395
-428 396 378 468 470
-429 397 379 469 471
-430 398 380 470 472
-431 473 399 381 471
-432 474 400 382 472
-433 473 475 401 383
-434 474 476 402 384
-435 385 475 477 403
-436 386 476 478 404
-437 387 477 479 405
-438 388 478 480 406
-439 407 389 479 481
-440 408 390 480 482
-441 409 391 481 483
-442 484 410 392 482
-443 485 370 393 483
-444 484 486 371 394
-445 485 487 372 395
-446 396 486 488 373
-447 374 397 487 489
-448 375 398 488 490
-449 376 399 489 491
-450 377 400 490 492
-451 452 378 401 491
-452 33 451 412 10
-453 11 34 411 413
-454 12 35 412 414
-455 13 36 413 415
-456 14 37 414 416
-457 15 38 415 417
-458 418 16 39 416
-459 419 17 40 417
-460 418 420 18 41
-461 1 419 421 19
-462 2 420 422 20
-463 3 421 423 21
-464 22 4 422 424
-465 23 5 423 425
-466 24 6 424 426
-467 25 7 425 427
-468 26 8 426 428
-469 429 27 9 427
-470 430 28 10 428
-471 11 429 431 29
-472 12 430 432 30
-473 13 431 433 31
-474 14 432 434 32
-475 33 15 433 435
-476 34 16 434 436
-477 35 17 435 437
-478 36 18 436 438
-479 37 19 437 439
-480 440 38 20 438
-481 441 39 21 439
-482 22 440 442 40
-483 23 441 443 41
-484 1 24 442 444
-485 2 25 443 445
-486 3 26 444 446
-487 4 27 445 447
-488 5 28 446 448
-489 6 29 447 449
-490 7 30 448 450
-491 451 8 31 449
-492 411 9 32 450
0