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