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