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