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