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