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