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