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