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