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