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