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