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