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