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