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