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