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