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