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