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