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