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