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