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