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