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