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