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