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