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