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