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