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