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