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