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