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