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