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