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