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