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