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