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