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