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