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