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