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