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