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