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