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