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