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