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