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