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