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