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