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