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