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