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