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