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