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