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