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