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