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