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