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