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