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