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