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