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