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