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