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